runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201108291842/p2cudf-user-1.13/rand740.cudf.user-upgrades.log.runsolver ./p2cudf-user-1.13 /home/misc2010/data/2011/user-upgrades/rand740.cudf /home/misc2010/tmp/201108291842/p2cudf-user-1.13/rand740.cudf.user-upgrades.result -notuptodate,-removed,-changed 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.39 1.27 1.20 3/35 24742
/proc/meminfo: memFree=305556/1048576 swapFree=0/0
[pid=24741] ppid=24740 vsize=2568 CPUtime=0
/proc/24741/stat : 24741 (p2cudf-user-1.1) R 24740 24741 17511 34816 17511 4202496 357 0 0 0 0 0 0 0 25 0 1 0 46316329 2629632 270 1283457024 134512640 135304128 4294052128 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/24741/statm: 642 270 230 194 0 29 0
[pid=24742] ppid=24741 vsize=2568 CPUtime=0
/proc/24742/stat : 24742 (p2cudf-user-1.1) R 24741 24741 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 46316329 2629632 40 1283457024 134512640 135304128 4294052128 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/24742/statm: 642 40 0 194 0 29 0

[startup+0.194004 s]
/proc/loadavg: 1.39 1.27 1.20 3/35 24742
/proc/meminfo: memFree=305556/1048576 swapFree=0/0
[pid=24741] ppid=24740 vsize=2568 CPUtime=0
/proc/24741/stat : 24741 (p2cudf-user-1.1) S 24740 24741 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 25 0 1 0 46316329 2629632 270 1283457024 134512640 135304128 4294052128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24741/statm: 642 270 230 194 0 29 0
[pid=24742] ppid=24741 vsize=2572 CPUtime=0.03
/proc/24742/stat : 24742 (p2cudf) S 24741 24741 17511 34816 17511 4202496 389 3012 0 1 0 1 2 0 25 0 1 0 46316329 2633728 279 1283457024 134512640 135304128 4290358720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24742/statm: 643 279 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.203998 s]
/proc/loadavg: 1.39 1.27 1.20 3/35 24742
/proc/meminfo: memFree=305556/1048576 swapFree=0/0
[pid=24741] ppid=24740 vsize=2568 CPUtime=0
/proc/24741/stat : 24741 (p2cudf-user-1.1) S 24740 24741 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 25 0 1 0 46316329 2629632 270 1283457024 134512640 135304128 4294052128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24741/statm: 642 270 230 194 0 29 0
[pid=24742] ppid=24741 vsize=2572 CPUtime=0.03
/proc/24742/stat : 24742 (p2cudf) S 24741 24741 17511 34816 17511 4202496 389 3012 0 1 0 1 2 0 25 0 1 0 46316329 2633728 279 1283457024 134512640 135304128 4290358720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24742/statm: 643 279 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.304035 s]
/proc/loadavg: 1.39 1.27 1.20 3/35 24742
/proc/meminfo: memFree=305556/1048576 swapFree=0/0
[pid=24741] ppid=24740 vsize=2568 CPUtime=0
/proc/24741/stat : 24741 (p2cudf-user-1.1) S 24740 24741 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 25 0 1 0 46316329 2629632 270 1283457024 134512640 135304128 4294052128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24741/statm: 642 270 230 194 0 29 0
[pid=24742] ppid=24741 vsize=2572 CPUtime=0.03
/proc/24742/stat : 24742 (p2cudf) S 24741 24741 17511 34816 17511 4202496 389 3012 0 1 0 1 2 0 25 0 1 0 46316329 2633728 279 1283457024 134512640 135304128 4290358720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24742/statm: 643 279 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+0.704149 s]
/proc/loadavg: 1.39 1.27 1.20 3/35 24742
/proc/meminfo: memFree=305556/1048576 swapFree=0/0
[pid=24741] ppid=24740 vsize=2568 CPUtime=0
/proc/24741/stat : 24741 (p2cudf-user-1.1) S 24740 24741 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 25 0 1 0 46316329 2629632 270 1283457024 134512640 135304128 4294052128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24741/statm: 642 270 230 194 0 29 0
[pid=24742] ppid=24741 vsize=2572 CPUtime=0.03
/proc/24742/stat : 24742 (p2cudf) S 24741 24741 17511 34816 17511 4202496 389 3012 0 1 0 1 2 0 25 0 1 0 46316329 2633728 279 1283457024 134512640 135304128 4290358720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24742/statm: 643 279 239 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5140

[startup+1.50436 s]
/proc/loadavg: 1.59 1.32 1.21 4/46 24764
/proc/meminfo: memFree=251384/1048576 swapFree=0/0
[pid=24741] ppid=24740 vsize=2568 CPUtime=0
/proc/24741/stat : 24741 (p2cudf-user-1.1) S 24740 24741 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 25 0 1 0 46316329 2629632 270 1283457024 134512640 135304128 4294052128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24741/statm: 642 270 230 194 0 29 0
[pid=24742] ppid=24741 vsize=2572 CPUtime=0.03
/proc/24742/stat : 24742 (p2cudf) S 24741 24741 17511 34816 17511 4202496 389 3012 0 1 0 1 2 0 25 0 1 0 46316329 2633728 279 1283457024 134512640 135304128 4290358720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24742/statm: 643 279 239 194 0 30 0
[pid=24755] ppid=24742 vsize=892180 CPUtime=1.46
/proc/24755/stat : 24755 (java) S 24742 24741 17511 34816 17511 4202496 22762 0 1 0 138 8 0 0 25 0 10 0 46316333 913592320 20104 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24755/statm: 223045 20104 1724 10 0 220136 0
[pid=24755/tid=24756] ppid=24742 vsize=892180 CPUtime=0.77
/proc/24755/task/24756/stat : 24756 (java) R 24742 24741 17511 34816 17511 4202560 10333 0 1 0 71 6 0 0 25 0 10 0 46316334 913592320 20104 1283457024 134512640 134550932 4289414000 18446744073709551615 4095879662 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24755/tid=24757] ppid=24742 vsize=892180 CPUtime=0
/proc/24755/task/24757/stat : 24757 (java) S 24742 24741 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 15 0 10 0 46316335 913592320 20104 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24755/tid=24758] ppid=24742 vsize=892180 CPUtime=0
/proc/24755/task/24758/stat : 24758 (java) S 24742 24741 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 25 0 10 0 46316336 913592320 20104 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24755/tid=24759] ppid=24742 vsize=892180 CPUtime=0
/proc/24755/task/24759/stat : 24759 (java) S 24742 24741 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46316336 913592320 20104 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24755/tid=24760] ppid=24742 vsize=892180 CPUtime=0
/proc/24755/task/24760/stat : 24760 (java) S 24742 24741 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46316339 913592320 20104 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24755/tid=24761] ppid=24742 vsize=892180 CPUtime=0.36
/proc/24755/task/24761/stat : 24761 (java) R 24742 24741 17511 34816 17511 4202560 6723 0 0 0 36 0 0 0 25 0 10 0 46316339 913592320 20104 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24755/tid=24762] ppid=24742 vsize=892180 CPUtime=0.31
/proc/24755/task/24762/stat : 24762 (java) S 24742 24741 17511 34816 17511 4202560 4624 0 0 0 31 0 0 0 25 0 10 0 46316339 913592320 20104 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24755/tid=24763] ppid=24742 vsize=892180 CPUtime=0
/proc/24755/task/24763/stat : 24763 (java) S 24742 24741 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46316339 913592320 20104 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24755/tid=24764] ppid=24742 vsize=892180 CPUtime=0
/proc/24755/task/24764/stat : 24764 (java) S 24742 24741 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 46316339 913592320 20104 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 897320

[startup+3.10477 s]
/proc/loadavg: 1.59 1.32 1.21 2/46 24764
/proc/meminfo: memFree=162352/1048576 swapFree=0/0
[pid=24741] ppid=24740 vsize=2568 CPUtime=0
/proc/24741/stat : 24741 (p2cudf-user-1.1) S 24740 24741 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 25 0 1 0 46316329 2629632 270 1283457024 134512640 135304128 4294052128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24741/statm: 642 270 230 194 0 29 0
[pid=24742] ppid=24741 vsize=2572 CPUtime=0.03
/proc/24742/stat : 24742 (p2cudf) S 24741 24741 17511 34816 17511 4202496 389 3012 0 1 0 1 2 0 25 0 1 0 46316329 2633728 279 1283457024 134512640 135304128 4290358720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24742/statm: 643 279 239 194 0 30 0
[pid=24755] ppid=24742 vsize=890084 CPUtime=3.06
/proc/24755/stat : 24755 (java) S 24742 24741 17511 34816 17511 4202496 73379 0 1 0 278 28 0 0 25 0 10 0 46316333 911446016 70586 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24755/statm: 222521 70586 1732 10 0 219612 0
[pid=24755/tid=24756] ppid=24742 vsize=890084 CPUtime=1.78
/proc/24755/task/24756/stat : 24756 (java) R 24742 24741 17511 34816 17511 4202560 50039 0 1 0 155 23 0 0 25 0 10 0 46316334 911446016 70586 1283457024 134512640 134550932 4289414000 18446744073709551615 4095883769 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24755/tid=24757] ppid=24742 vsize=890084 CPUtime=0.23
/proc/24755/task/24757/stat : 24757 (java) S 24742 24741 17511 34816 17511 4202560 10771 0 0 0 22 1 0 0 16 0 10 0 46316335 911446016 70586 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24755/tid=24758] ppid=24742 vsize=890084 CPUtime=0
/proc/24755/task/24758/stat : 24758 (java) S 24742 24741 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 10 0 46316336 911446016 70586 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24755/tid=24759] ppid=24742 vsize=890084 CPUtime=0
/proc/24755/task/24759/stat : 24759 (java) S 24742 24741 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 46316336 911446016 70586 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24755/tid=24760] ppid=24742 vsize=890084 CPUtime=0
/proc/24755/task/24760/stat : 24760 (java) S 24742 24741 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46316339 911446016 70586 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24755/tid=24761] ppid=24742 vsize=890084 CPUtime=0.38
/proc/24755/task/24761/stat : 24761 (java) S 24742 24741 17511 34816 17511 4202560 6748 0 0 0 38 0 0 0 25 0 10 0 46316339 911446016 70586 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24755/tid=24762] ppid=24742 vsize=890084 CPUtime=0.63
/proc/24755/task/24762/stat : 24762 (java) S 24742 24741 17511 34816 17511 4202560 4743 0 0 0 62 1 0 0 15 0 10 0 46316339 911446016 70586 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24755/tid=24763] ppid=24742 vsize=890084 CPUtime=0
/proc/24755/task/24763/stat : 24763 (java) S 24742 24741 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46316339 911446016 70586 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24755/tid=24764] ppid=24742 vsize=890084 CPUtime=0
/proc/24755/task/24764/stat : 24764 (java) S 24742 24741 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 46316339 911446016 70586 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 895224

[startup+6.30435 s]
/proc/loadavg: 1.59 1.32 1.21 2/47 24765
/proc/meminfo: memFree=27680/1048576 swapFree=0/0
[pid=24741] ppid=24740 vsize=2568 CPUtime=0
/proc/24741/stat : 24741 (p2cudf-user-1.1) S 24740 24741 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 25 0 1 0 46316329 2629632 270 1283457024 134512640 135304128 4294052128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24741/statm: 642 270 230 194 0 29 0
[pid=24742] ppid=24741 vsize=2572 CPUtime=0.03
/proc/24742/stat : 24742 (p2cudf) S 24741 24741 17511 34816 17511 4202496 389 3012 0 1 0 1 2 0 25 0 1 0 46316329 2633728 279 1283457024 134512640 135304128 4290358720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24742/statm: 643 279 239 194 0 30 0
[pid=24755] ppid=24742 vsize=890732 CPUtime=6.12
/proc/24755/stat : 24755 (java) S 24742 24741 17511 34816 17511 4202496 74212 0 1 0 584 28 0 0 25 0 11 0 46316333 912109568 71044 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24755/statm: 222683 71044 1777 10 0 219774 0
[pid=24755/tid=24756] ppid=24742 vsize=890732 CPUtime=3.11
/proc/24755/task/24756/stat : 24756 (java) S 24742 24741 17511 34816 17511 4202560 50288 0 1 0 288 23 0 0 25 0 11 0 46316334 912109568 71044 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24755/tid=24757] ppid=24742 vsize=890732 CPUtime=0.23
/proc/24755/task/24757/stat : 24757 (java) S 24742 24741 17511 34816 17511 4202560 10771 0 0 0 22 1 0 0 16 0 11 0 46316335 912109568 71044 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24755/tid=24758] ppid=24742 vsize=890732 CPUtime=0
/proc/24755/task/24758/stat : 24758 (java) S 24742 24741 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 46316336 912109568 71044 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24755/tid=24759] ppid=24742 vsize=890732 CPUtime=0
/proc/24755/task/24759/stat : 24759 (java) S 24742 24741 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46316336 912109568 71044 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24755/tid=24760] ppid=24742 vsize=890732 CPUtime=0
/proc/24755/task/24760/stat : 24760 (java) S 24742 24741 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46316339 912109568 71044 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24755/tid=24761] ppid=24742 vsize=890732 CPUtime=0.38
/proc/24755/task/24761/stat : 24761 (java) S 24742 24741 17511 34816 17511 4202560 6748 0 0 0 38 0 0 0 25 0 11 0 46316339 912109568 71044 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24755/tid=24762] ppid=24742 vsize=890732 CPUtime=2.36
/proc/24755/task/24762/stat : 24762 (java) S 24742 24741 17511 34816 17511 4202560 5318 0 0 0 235 1 0 0 16 0 11 0 46316339 912109568 71044 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24755/tid=24763] ppid=24742 vsize=890732 CPUtime=0
/proc/24755/task/24763/stat : 24763 (java) S 24742 24741 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46316339 912109568 71044 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24755/tid=24764] ppid=24742 vsize=890732 CPUtime=0
/proc/24755/task/24764/stat : 24764 (java) S 24742 24741 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46316339 912109568 71044 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 895872

Solver just ended. Dumping a history of the last processes samples

[startup+6.40434 s]
/proc/loadavg: 1.59 1.32 1.21 2/47 24765
/proc/meminfo: memFree=27680/1048576 swapFree=0/0
[pid=24741] ppid=24740 vsize=2568 CPUtime=0
/proc/24741/stat : 24741 (p2cudf-user-1.1) S 24740 24741 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 25 0 1 0 46316329 2629632 270 1283457024 134512640 135304128 4294052128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24741/statm: 642 270 230 194 0 29 0
[pid=24742] ppid=24741 vsize=2572 CPUtime=0.03
/proc/24742/stat : 24742 (p2cudf) S 24741 24741 17511 34816 17511 4202496 389 3012 0 1 0 1 2 0 25 0 1 0 46316329 2633728 279 1283457024 134512640 135304128 4290358720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24742/statm: 643 279 239 194 0 30 0
[pid=24755] ppid=24742 vsize=890732 CPUtime=6.12
/proc/24755/stat : 24755 (java) S 24742 24741 17511 34816 17511 4202496 74212 0 1 0 584 28 0 0 25 0 11 0 46316333 912109568 71044 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24755/statm: 222683 71044 1777 10 0 219774 0
[pid=24755/tid=24756] ppid=24742 vsize=890732 CPUtime=3.11
/proc/24755/task/24756/stat : 24756 (java) S 24742 24741 17511 34816 17511 4202560 50288 0 1 0 288 23 0 0 25 0 11 0 46316334 912109568 71044 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24755/tid=24757] ppid=24742 vsize=890732 CPUtime=0.23
/proc/24755/task/24757/stat : 24757 (java) S 24742 24741 17511 34816 17511 4202560 10771 0 0 0 22 1 0 0 16 0 11 0 46316335 912109568 71044 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24755/tid=24758] ppid=24742 vsize=890732 CPUtime=0
/proc/24755/task/24758/stat : 24758 (java) S 24742 24741 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 46316336 912109568 71044 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24755/tid=24759] ppid=24742 vsize=890732 CPUtime=0
/proc/24755/task/24759/stat : 24759 (java) S 24742 24741 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46316336 912109568 71044 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24755/tid=24760] ppid=24742 vsize=890732 CPUtime=0
/proc/24755/task/24760/stat : 24760 (java) S 24742 24741 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46316339 912109568 71044 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24755/tid=24761] ppid=24742 vsize=890732 CPUtime=0.38
/proc/24755/task/24761/stat : 24761 (java) S 24742 24741 17511 34816 17511 4202560 6748 0 0 0 38 0 0 0 25 0 11 0 46316339 912109568 71044 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24755/tid=24762] ppid=24742 vsize=890732 CPUtime=2.36
/proc/24755/task/24762/stat : 24762 (java) S 24742 24741 17511 34816 17511 4202560 5318 0 0 0 235 1 0 0 16 0 11 0 46316339 912109568 71044 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24755/tid=24763] ppid=24742 vsize=890732 CPUtime=0
/proc/24755/task/24763/stat : 24763 (java) S 24742 24741 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46316339 912109568 71044 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24755/tid=24764] ppid=24742 vsize=890732 CPUtime=0
/proc/24755/task/24764/stat : 24764 (java) S 24742 24741 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46316339 912109568 71044 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 895872

[startup+6.60438 s]
/proc/loadavg: 1.63 1.33 1.22 1/47 24766
/proc/meminfo: memFree=27432/1048576 swapFree=0/0
[pid=24741] ppid=24740 vsize=2568 CPUtime=0
/proc/24741/stat : 24741 (p2cudf-user-1.1) S 24740 24741 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 25 0 1 0 46316329 2629632 270 1283457024 134512640 135304128 4294052128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24741/statm: 642 270 230 194 0 29 0
[pid=24742] ppid=24741 vsize=2572 CPUtime=0.03
/proc/24742/stat : 24742 (p2cudf) S 24741 24741 17511 34816 17511 4202496 389 3012 0 1 0 1 2 0 25 0 1 0 46316329 2633728 279 1283457024 134512640 135304128 4290358720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24742/statm: 643 279 239 194 0 30 0
[pid=24755] ppid=24742 vsize=890732 CPUtime=6.12
/proc/24755/stat : 24755 (java) S 24742 24741 17511 34816 17511 4202496 74212 0 1 0 584 28 0 0 25 0 11 0 46316333 912109568 71044 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24755/statm: 222683 71044 1777 10 0 219774 0
[pid=24755/tid=24756] ppid=24742 vsize=890732 CPUtime=3.11
/proc/24755/task/24756/stat : 24756 (java) S 24742 24741 17511 34816 17511 4202560 50288 0 1 0 288 23 0 0 25 0 11 0 46316334 912109568 71044 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24755/tid=24757] ppid=24742 vsize=890732 CPUtime=0.23
/proc/24755/task/24757/stat : 24757 (java) S 24742 24741 17511 34816 17511 4202560 10771 0 0 0 22 1 0 0 16 0 11 0 46316335 912109568 71044 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24755/tid=24758] ppid=24742 vsize=890732 CPUtime=0
/proc/24755/task/24758/stat : 24758 (java) S 24742 24741 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 46316336 912109568 71044 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24755/tid=24759] ppid=24742 vsize=890732 CPUtime=0
/proc/24755/task/24759/stat : 24759 (java) S 24742 24741 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46316336 912109568 71044 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24755/tid=24760] ppid=24742 vsize=890732 CPUtime=0
/proc/24755/task/24760/stat : 24760 (java) S 24742 24741 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46316339 912109568 71044 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24755/tid=24761] ppid=24742 vsize=890732 CPUtime=0.38
/proc/24755/task/24761/stat : 24761 (java) S 24742 24741 17511 34816 17511 4202560 6748 0 0 0 38 0 0 0 25 0 11 0 46316339 912109568 71044 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24755/tid=24762] ppid=24742 vsize=890732 CPUtime=2.36
/proc/24755/task/24762/stat : 24762 (java) S 24742 24741 17511 34816 17511 4202560 5318 0 0 0 235 1 0 0 16 0 11 0 46316339 912109568 71044 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24755/tid=24763] ppid=24742 vsize=890732 CPUtime=0
/proc/24755/task/24763/stat : 24763 (java) S 24742 24741 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46316339 912109568 71044 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24755/tid=24764] ppid=24742 vsize=890732 CPUtime=0
/proc/24755/task/24764/stat : 24764 (java) S 24742 24741 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46316339 912109568 71044 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24755/tid=24766] ppid=24742 vsize=890732 CPUtime=0
/proc/24755/task/24766/stat : 24766 (java) S 24742 24741 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 46316947 912109568 71044 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 895872

[startup+6.70636 s]
/proc/loadavg: 1.63 1.33 1.22 1/47 24766
/proc/meminfo: memFree=27432/1048576 swapFree=0/0
[pid=24741] ppid=24740 vsize=2568 CPUtime=0
/proc/24741/stat : 24741 (p2cudf-user-1.1) S 24740 24741 17511 34816 17511 4202496 375 0 0 0 0 0 0 0 25 0 1 0 46316329 2629632 270 1283457024 134512640 135304128 4294052128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24741/statm: 642 270 230 194 0 29 0
[pid=24742] ppid=24741 vsize=2572 CPUtime=0.03
/proc/24742/stat : 24742 (p2cudf) S 24741 24741 17511 34816 17511 4202496 389 3012 0 1 0 1 2 0 25 0 1 0 46316329 2633728 279 1283457024 134512640 135304128 4290358720 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/24742/statm: 643 279 239 194 0 30 0
[pid=24755] ppid=24742 vsize=890732 CPUtime=6.14
/proc/24755/stat : 24755 (java) S 24742 24741 17511 34816 17511 4202496 74212 0 1 0 586 28 0 0 25 0 11 0 46316333 912109568 71044 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/24755/statm: 222683 71044 1777 10 0 219774 0
[pid=24755/tid=24756] ppid=24742 vsize=890732 CPUtime=3.11
/proc/24755/task/24756/stat : 24756 (java) S 24742 24741 17511 34816 17511 4202560 50288 0 1 0 288 23 0 0 25 0 11 0 46316334 912109568 71044 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24755/tid=24757] ppid=24742 vsize=890732 CPUtime=0.23
/proc/24755/task/24757/stat : 24757 (java) S 24742 24741 17511 34816 17511 4202560 10771 0 0 0 22 1 0 0 16 0 11 0 46316335 912109568 71044 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 0 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24755/tid=24758] ppid=24742 vsize=890732 CPUtime=0
/proc/24755/task/24758/stat : 24758 (java) S 24742 24741 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 46316336 912109568 71044 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24755/tid=24759] ppid=24742 vsize=890732 CPUtime=0
/proc/24755/task/24759/stat : 24759 (java) S 24742 24741 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46316336 912109568 71044 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24755/tid=24760] ppid=24742 vsize=890732 CPUtime=0
/proc/24755/task/24760/stat : 24760 (java) S 24742 24741 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46316339 912109568 71044 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24755/tid=24761] ppid=24742 vsize=890732 CPUtime=0.38
/proc/24755/task/24761/stat : 24761 (java) S 24742 24741 17511 34816 17511 4202560 6748 0 0 0 38 0 0 0 25 0 11 0 46316339 912109568 71044 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24755/tid=24762] ppid=24742 vsize=890732 CPUtime=2.37
/proc/24755/task/24762/stat : 24762 (java) S 24742 24741 17511 34816 17511 4202560 5318 0 0 0 236 1 0 0 15 0 11 0 46316339 912109568 71044 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24755/tid=24763] ppid=24742 vsize=890732 CPUtime=0
/proc/24755/task/24763/stat : 24763 (java) S 24742 24741 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46316339 912109568 71044 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24755/tid=24764] ppid=24742 vsize=890732 CPUtime=0
/proc/24755/task/24764/stat : 24764 (java) S 24742 24741 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46316339 912109568 71044 1283457024 134512640 134550932 4289414000 18446744073709551615 4294960130 0 4 0 16800975 18446612133395358784 0 0 -1 0 0 0 0
[pid=24755/tid=24766] ppid=24742 vsize=890732 CPUtime=0
/proc/24755/task/24766/stat : 24766 (java) R 24742 24741 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 20 0 11 0 46316947 912109568 71044 1283457024 134512640 134550932 4289414000 18446744073709551615 4095615736 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 895872

Child status: 0
Real time (s): 6.79612
CPU time (s): 6.24039
CPU user time (s): 5.89637
CPU system time (s): 0.344021
CPU usage (%): 91.8228
Max. virtual memory (cumulated for all children) (KiB): 897676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.89637
system time used= 0.344021
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78014
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 738
involuntary context switches= 735

runsolver used 0.012 second user time and 0 second system time

The end