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/8222799a-9af8-11df-8b50-00163e46d37a.cudf.dudf-real.log.runsolver ./p2cudf-user-1.13 /home/misc2010/data/2011/dudf-real//8222799a-9af8-11df-8b50-00163e46d37a.cudf /home/misc2010/tmp/201108291842/p2cudf-user-1.13/8222799a-9af8-11df-8b50-00163e46d37a.cudf.dudf-real.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.66 1.39 1.23 3/36 27510
/proc/meminfo: memFree=636768/1048576 swapFree=0/0
[pid=27509] ppid=27508 vsize=2568 CPUtime=0
/proc/27509/stat : 27509 (p2cudf-user-1.1) R 27508 27509 17511 34816 17511 4202496 356 0 0 0 0 0 0 0 25 0 1 0 46466544 2629632 270 1283457024 134512640 135304128 4287122000 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/27509/statm: 642 270 230 194 0 29 0
[pid=27510] ppid=27509 vsize=2568 CPUtime=0
/proc/27510/stat : 27510 (p2cudf-user-1.1) R 27509 27509 17511 34816 17511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 46466544 2629632 40 1283457024 134512640 135304128 4287122000 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/27510/statm: 642 40 0 194 0 29 0

[startup+0.159629 s]
/proc/loadavg: 1.66 1.39 1.23 3/36 27510
/proc/meminfo: memFree=636768/1048576 swapFree=0/0
[pid=27509] ppid=27508 vsize=2568 CPUtime=0
/proc/27509/stat : 27509 (p2cudf-user-1.1) S 27508 27509 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 46466544 2629632 270 1283457024 134512640 135304128 4287122000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27509/statm: 642 270 230 194 0 29 0
[pid=27510] ppid=27509 vsize=2576 CPUtime=0.02
/proc/27510/stat : 27510 (p2cudf) S 27509 27509 17511 34816 17511 4202496 391 3015 0 1 0 0 1 1 25 0 1 0 46466544 2637824 281 1283457024 134512640 135304128 4291765984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27510/statm: 644 281 239 194 0 31 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5144

[startup+0.209643 s]
/proc/loadavg: 1.66 1.39 1.23 3/36 27510
/proc/meminfo: memFree=636768/1048576 swapFree=0/0
[pid=27509] ppid=27508 vsize=2568 CPUtime=0
/proc/27509/stat : 27509 (p2cudf-user-1.1) S 27508 27509 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 46466544 2629632 270 1283457024 134512640 135304128 4287122000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27509/statm: 642 270 230 194 0 29 0
[pid=27510] ppid=27509 vsize=2576 CPUtime=0.02
/proc/27510/stat : 27510 (p2cudf) S 27509 27509 17511 34816 17511 4202496 391 3015 0 1 0 0 1 1 25 0 1 0 46466544 2637824 281 1283457024 134512640 135304128 4291765984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27510/statm: 644 281 239 194 0 31 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5144

[startup+0.309662 s]
/proc/loadavg: 1.66 1.39 1.23 3/36 27510
/proc/meminfo: memFree=636768/1048576 swapFree=0/0
[pid=27509] ppid=27508 vsize=2568 CPUtime=0
/proc/27509/stat : 27509 (p2cudf-user-1.1) S 27508 27509 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 46466544 2629632 270 1283457024 134512640 135304128 4287122000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27509/statm: 642 270 230 194 0 29 0
[pid=27510] ppid=27509 vsize=2576 CPUtime=0.02
/proc/27510/stat : 27510 (p2cudf) S 27509 27509 17511 34816 17511 4202496 391 3015 0 1 0 0 1 1 25 0 1 0 46466544 2637824 281 1283457024 134512640 135304128 4291765984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27510/statm: 644 281 239 194 0 31 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5144

[startup+0.709789 s]
/proc/loadavg: 1.66 1.39 1.23 3/36 27510
/proc/meminfo: memFree=636768/1048576 swapFree=0/0
[pid=27509] ppid=27508 vsize=2568 CPUtime=0
/proc/27509/stat : 27509 (p2cudf-user-1.1) S 27508 27509 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 46466544 2629632 270 1283457024 134512640 135304128 4287122000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27509/statm: 642 270 230 194 0 29 0
[pid=27510] ppid=27509 vsize=2576 CPUtime=0.02
/proc/27510/stat : 27510 (p2cudf) S 27509 27509 17511 34816 17511 4202496 391 3015 0 1 0 0 1 1 25 0 1 0 46466544 2637824 281 1283457024 134512640 135304128 4291765984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27510/statm: 644 281 239 194 0 31 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5144

[startup+1.51003 s]
/proc/loadavg: 1.66 1.39 1.23 4/47 27532
/proc/meminfo: memFree=580552/1048576 swapFree=0/0
[pid=27509] ppid=27508 vsize=2568 CPUtime=0
/proc/27509/stat : 27509 (p2cudf-user-1.1) S 27508 27509 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 46466544 2629632 270 1283457024 134512640 135304128 4287122000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27509/statm: 642 270 230 194 0 29 0
[pid=27510] ppid=27509 vsize=2576 CPUtime=0.02
/proc/27510/stat : 27510 (p2cudf) S 27509 27509 17511 34816 17511 4202496 391 3015 0 1 0 0 1 1 25 0 1 0 46466544 2637824 281 1283457024 134512640 135304128 4291765984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27510/statm: 644 281 239 194 0 31 0
[pid=27523] ppid=27510 vsize=889972 CPUtime=1.47
/proc/27523/stat : 27523 (java) S 27510 27509 17511 34816 17511 4202496 21593 0 1 0 137 10 0 0 25 0 10 0 46466548 911331328 19139 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27523/statm: 222493 19139 1723 10 0 219584 0
[pid=27523/tid=27524] ppid=27510 vsize=889972 CPUtime=0.62
/proc/27523/task/27524/stat : 27524 (java) R 27510 27509 17511 34816 17511 4202560 9821 0 1 0 57 5 0 0 25 0 10 0 46466549 911331328 19139 1283457024 134512640 134550932 4292005312 18446744073709551615 4094614698 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27523/tid=27525] ppid=27510 vsize=889972 CPUtime=0
/proc/27523/task/27525/stat : 27525 (java) S 27510 27509 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 17 0 10 0 46466550 911331328 19139 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 0 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=27523/tid=27526] ppid=27510 vsize=889972 CPUtime=0
/proc/27523/task/27526/stat : 27526 (java) S 27510 27509 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 46466551 911331328 19139 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=27523/tid=27527] ppid=27510 vsize=889972 CPUtime=0
/proc/27523/task/27527/stat : 27527 (java) S 27510 27509 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46466551 911331328 19139 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=27523/tid=27528] ppid=27510 vsize=889972 CPUtime=0
/proc/27523/task/27528/stat : 27528 (java) S 27510 27509 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46466553 911331328 19139 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=27523/tid=27529] ppid=27510 vsize=889972 CPUtime=0.55
/proc/27523/task/27529/stat : 27529 (java) R 27510 27509 17511 34816 17511 4202560 4488 0 0 0 54 1 0 0 25 0 10 0 46466553 911331328 19139 1283457024 134512640 134550932 4292005312 18446744073709551615 4152025515 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27523/tid=27530] ppid=27510 vsize=889972 CPUtime=0.27
/proc/27523/task/27530/stat : 27530 (java) R 27510 27509 17511 34816 17511 4202560 6205 0 0 0 25 2 0 0 23 0 10 0 46466553 911331328 19139 1283457024 134512640 134550932 4292005312 18446744073709551615 4149523021 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27523/tid=27531] ppid=27510 vsize=889972 CPUtime=0
/proc/27523/task/27531/stat : 27531 (java) S 27510 27509 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46466553 911331328 19139 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=27523/tid=27532] ppid=27510 vsize=889972 CPUtime=0
/proc/27523/task/27532/stat : 27532 (java) S 27510 27509 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 46466553 911331328 19139 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 895116

[startup+3.13047 s]
/proc/loadavg: 1.66 1.39 1.23 3/47 27532
/proc/meminfo: memFree=474036/1048576 swapFree=0/0
[pid=27509] ppid=27508 vsize=2568 CPUtime=0
/proc/27509/stat : 27509 (p2cudf-user-1.1) S 27508 27509 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 46466544 2629632 270 1283457024 134512640 135304128 4287122000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27509/statm: 642 270 230 194 0 29 0
[pid=27510] ppid=27509 vsize=2576 CPUtime=0.02
/proc/27510/stat : 27510 (p2cudf) S 27509 27509 17511 34816 17511 4202496 391 3015 0 1 0 0 1 1 25 0 1 0 46466544 2637824 281 1283457024 134512640 135304128 4291765984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27510/statm: 644 281 239 194 0 31 0
[pid=27523] ppid=27510 vsize=887984 CPUtime=3.09
/proc/27523/stat : 27523 (java) S 27510 27509 17511 34816 17511 4202496 69597 0 1 0 279 30 0 0 25 0 10 0 46466548 909295616 66834 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27523/statm: 221996 66834 1742 10 0 219087 0
[pid=27523/tid=27524] ppid=27510 vsize=887984 CPUtime=1.56
/proc/27523/task/27524/stat : 27524 (java) R 27510 27509 17511 34816 17511 4202560 50091 0 1 0 136 20 0 0 25 0 10 0 46466549 909295616 66834 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27523/tid=27525] ppid=27510 vsize=887984 CPUtime=0.17
/proc/27523/task/27525/stat : 27525 (java) R 27510 27509 17511 34816 17511 4202560 7626 0 0 0 13 4 0 0 15 0 10 0 46466550 909295616 66834 1283457024 134512640 134550932 4292005312 18446744073709551615 4148773240 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=27523/tid=27526] ppid=27510 vsize=887984 CPUtime=0
/proc/27523/task/27526/stat : 27526 (java) S 27510 27509 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 46466551 909295616 66834 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=27523/tid=27527] ppid=27510 vsize=887984 CPUtime=0
/proc/27523/task/27527/stat : 27527 (java) S 27510 27509 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46466551 909295616 66834 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=27523/tid=27528] ppid=27510 vsize=887984 CPUtime=0
/proc/27523/task/27528/stat : 27528 (java) S 27510 27509 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46466553 909295616 66834 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=27523/tid=27529] ppid=27510 vsize=887984 CPUtime=0.85
/proc/27523/task/27529/stat : 27529 (java) S 27510 27509 17511 34816 17511 4202560 4528 0 0 0 84 1 0 0 22 0 10 0 46466553 909295616 66834 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=27523/tid=27530] ppid=27510 vsize=887984 CPUtime=0.47
/proc/27523/task/27530/stat : 27530 (java) S 27510 27509 17511 34816 17511 4202560 6279 0 0 0 45 2 0 0 16 0 10 0 46466553 909295616 66834 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=27523/tid=27531] ppid=27510 vsize=887984 CPUtime=0
/proc/27523/task/27531/stat : 27531 (java) S 27510 27509 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46466553 909295616 66834 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=27523/tid=27532] ppid=27510 vsize=887984 CPUtime=0
/proc/27523/task/27532/stat : 27532 (java) R 27510 27509 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 46466553 909295616 66834 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 893128

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

[startup+3.22053 s]
/proc/loadavg: 1.66 1.39 1.23 3/47 27532
/proc/meminfo: memFree=474036/1048576 swapFree=0/0
[pid=27509] ppid=27508 vsize=2568 CPUtime=0
/proc/27509/stat : 27509 (p2cudf-user-1.1) S 27508 27509 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 46466544 2629632 270 1283457024 134512640 135304128 4287122000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27509/statm: 642 270 230 194 0 29 0
[pid=27510] ppid=27509 vsize=2576 CPUtime=0.02
/proc/27510/stat : 27510 (p2cudf) S 27509 27509 17511 34816 17511 4202496 391 3015 0 1 0 0 1 1 25 0 1 0 46466544 2637824 281 1283457024 134512640 135304128 4291765984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27510/statm: 644 281 239 194 0 31 0
[pid=27523] ppid=27510 vsize=887984 CPUtime=3.18
/proc/27523/stat : 27523 (java) S 27510 27509 17511 34816 17511 4202496 73757 0 1 0 288 30 0 0 25 0 10 0 46466548 909295616 70994 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27523/statm: 221996 70994 1742 10 0 219087 0
[pid=27523/tid=27524] ppid=27510 vsize=887984 CPUtime=1.56
/proc/27523/task/27524/stat : 27524 (java) R 27510 27509 17511 34816 17511 4202560 50091 0 1 0 136 20 0 0 25 0 10 0 46466549 909295616 70994 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27523/tid=27525] ppid=27510 vsize=887984 CPUtime=0.26
/proc/27523/task/27525/stat : 27525 (java) R 27510 27509 17511 34816 17511 4202560 11786 0 0 0 21 5 0 0 16 0 10 0 46466550 909295616 70994 1283457024 134512640 134550932 4292005312 18446744073709551615 4149539055 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=27523/tid=27526] ppid=27510 vsize=887984 CPUtime=0
/proc/27523/task/27526/stat : 27526 (java) S 27510 27509 17511 34816 17511 4202560 8 0 0 0 0 0 0 0 25 0 10 0 46466551 909295616 70994 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=27523/tid=27527] ppid=27510 vsize=887984 CPUtime=0
/proc/27523/task/27527/stat : 27527 (java) S 27510 27509 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 46466551 909295616 70994 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=27523/tid=27528] ppid=27510 vsize=887984 CPUtime=0
/proc/27523/task/27528/stat : 27528 (java) S 27510 27509 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46466553 909295616 70994 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=27523/tid=27529] ppid=27510 vsize=887984 CPUtime=0.85
/proc/27523/task/27529/stat : 27529 (java) S 27510 27509 17511 34816 17511 4202560 4528 0 0 0 84 1 0 0 22 0 10 0 46466553 909295616 70994 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=27523/tid=27530] ppid=27510 vsize=887984 CPUtime=0.47
/proc/27523/task/27530/stat : 27530 (java) S 27510 27509 17511 34816 17511 4202560 6279 0 0 0 45 2 0 0 16 0 10 0 46466553 909295616 70994 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=27523/tid=27531] ppid=27510 vsize=887984 CPUtime=0
/proc/27523/task/27531/stat : 27531 (java) S 27510 27509 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46466553 909295616 70994 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=27523/tid=27532] ppid=27510 vsize=887984 CPUtime=0
/proc/27523/task/27532/stat : 27532 (java) S 27510 27509 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 46466553 909295616 70994 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.2
Current children cumulated vsize (KiB) 893128

[startup+4.81097 s]
/proc/loadavg: 1.76 1.41 1.24 3/48 27533
/proc/meminfo: memFree=355360/1048576 swapFree=0/0
[pid=27509] ppid=27508 vsize=2568 CPUtime=0
/proc/27509/stat : 27509 (p2cudf-user-1.1) S 27508 27509 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 46466544 2629632 270 1283457024 134512640 135304128 4287122000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27509/statm: 642 270 230 194 0 29 0
[pid=27510] ppid=27509 vsize=2576 CPUtime=0.02
/proc/27510/stat : 27510 (p2cudf) S 27509 27509 17511 34816 17511 4202496 391 3015 0 1 0 0 1 1 25 0 1 0 46466544 2637824 281 1283457024 134512640 135304128 4291765984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27510/statm: 644 281 239 194 0 31 0
[pid=27523] ppid=27510 vsize=888308 CPUtime=4.76
/proc/27523/stat : 27523 (java) S 27510 27509 17511 34816 17511 4202496 74630 0 1 0 444 32 0 0 25 0 11 0 46466548 909627392 71867 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27523/statm: 222077 71867 1771 10 0 219168 0
[pid=27523/tid=27524] ppid=27510 vsize=888308 CPUtime=2.25
/proc/27523/task/27524/stat : 27524 (java) R 27510 27509 17511 34816 17511 4202560 50273 0 1 0 203 22 0 0 25 0 11 0 46466549 909627392 71867 1283457024 134512640 134550932 4292005312 18446744073709551615 4095546754 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27523/tid=27525] ppid=27510 vsize=888308 CPUtime=0.27
/proc/27523/task/27525/stat : 27525 (java) S 27510 27509 17511 34816 17511 4202560 12164 0 0 0 22 5 0 0 16 0 11 0 46466550 909627392 71867 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 0 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=27523/tid=27526] ppid=27510 vsize=888308 CPUtime=0
/proc/27523/task/27526/stat : 27526 (java) S 27510 27509 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 46466551 909627392 71867 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=27523/tid=27527] ppid=27510 vsize=888308 CPUtime=0
/proc/27523/task/27527/stat : 27527 (java) S 27510 27509 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46466551 909627392 71867 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=27523/tid=27528] ppid=27510 vsize=888308 CPUtime=0
/proc/27523/task/27528/stat : 27528 (java) S 27510 27509 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46466553 909627392 71867 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=27523/tid=27529] ppid=27510 vsize=888308 CPUtime=1.59
/proc/27523/task/27529/stat : 27529 (java) S 27510 27509 17511 34816 17511 4202560 4808 0 0 0 158 1 0 0 16 0 11 0 46466553 909627392 71867 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=27523/tid=27530] ppid=27510 vsize=888308 CPUtime=0.62
/proc/27523/task/27530/stat : 27530 (java) S 27510 27509 17511 34816 17511 4202560 6304 0 0 0 60 2 0 0 16 0 11 0 46466553 909627392 71867 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=27523/tid=27531] ppid=27510 vsize=888308 CPUtime=0
/proc/27523/task/27531/stat : 27531 (java) S 27510 27509 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46466553 909627392 71867 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=27523/tid=27532] ppid=27510 vsize=888308 CPUtime=0
/proc/27523/task/27532/stat : 27532 (java) S 27510 27509 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46466553 909627392 71867 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=27523/tid=27533] ppid=27510 vsize=888308 CPUtime=0
/proc/27523/task/27533/stat : 27533 (java) S 27510 27509 17511 34816 17511 4202560 5 0 0 0 0 0 0 0 25 0 11 0 46466975 909627392 71867 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.78
Current children cumulated vsize (KiB) 893452

[startup+5.60772 s]
/proc/loadavg: 1.76 1.41 1.24 1/48 27534
/proc/meminfo: memFree=354996/1048576 swapFree=0/0
[pid=27509] ppid=27508 vsize=2568 CPUtime=0
/proc/27509/stat : 27509 (p2cudf-user-1.1) S 27508 27509 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 46466544 2629632 270 1283457024 134512640 135304128 4287122000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27509/statm: 642 270 230 194 0 29 0
[pid=27510] ppid=27509 vsize=2576 CPUtime=0.02
/proc/27510/stat : 27510 (p2cudf) S 27509 27509 17511 34816 17511 4202496 391 3015 0 1 0 0 1 1 25 0 1 0 46466544 2637824 281 1283457024 134512640 135304128 4291765984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27510/statm: 644 281 239 194 0 31 0
[pid=27523] ppid=27510 vsize=888632 CPUtime=5.35
/proc/27523/stat : 27523 (java) S 27510 27509 17511 34816 17511 4202496 74682 0 1 0 503 32 0 0 25 0 11 0 46466548 909959168 71919 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27523/statm: 222158 71919 1775 10 0 219249 0
[pid=27523/tid=27524] ppid=27510 vsize=888632 CPUtime=2.54
/proc/27523/task/27524/stat : 27524 (java) S 27510 27509 17511 34816 17511 4202560 50288 0 1 0 232 22 0 0 25 0 11 0 46466549 909959168 71919 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=27523/tid=27525] ppid=27510 vsize=888632 CPUtime=0.27
/proc/27523/task/27525/stat : 27525 (java) S 27510 27509 17511 34816 17511 4202560 12164 0 0 0 22 5 0 0 16 0 11 0 46466550 909959168 71919 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 0 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=27523/tid=27526] ppid=27510 vsize=888632 CPUtime=0
/proc/27523/task/27526/stat : 27526 (java) S 27510 27509 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 46466551 909959168 71919 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=27523/tid=27527] ppid=27510 vsize=888632 CPUtime=0
/proc/27523/task/27527/stat : 27527 (java) S 27510 27509 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 46466551 909959168 71919 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=27523/tid=27528] ppid=27510 vsize=888632 CPUtime=0
/proc/27523/task/27528/stat : 27528 (java) S 27510 27509 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46466553 909959168 71919 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=27523/tid=27529] ppid=27510 vsize=888632 CPUtime=1.89
/proc/27523/task/27529/stat : 27529 (java) S 27510 27509 17511 34816 17511 4202560 4840 0 0 0 188 1 0 0 16 0 11 0 46466553 909959168 71919 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=27523/tid=27530] ppid=27510 vsize=888632 CPUtime=0.62
/proc/27523/task/27530/stat : 27530 (java) S 27510 27509 17511 34816 17511 4202560 6304 0 0 0 60 2 0 0 16 0 11 0 46466553 909959168 71919 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=27523/tid=27531] ppid=27510 vsize=888632 CPUtime=0
/proc/27523/task/27531/stat : 27531 (java) S 27510 27509 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 46466553 909959168 71919 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=27523/tid=27532] ppid=27510 vsize=888632 CPUtime=0
/proc/27523/task/27532/stat : 27532 (java) S 27510 27509 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 46466553 909959168 71919 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=27523/tid=27534] ppid=27510 vsize=888632 CPUtime=0
/proc/27523/task/27534/stat : 27534 (java) S 27510 27509 17511 34816 17511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 46467085 909959168 71919 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.37
Current children cumulated vsize (KiB) 893776

[startup+6.00938 s]
/proc/loadavg: 1.76 1.41 1.24 1/48 27534
/proc/meminfo: memFree=354996/1048576 swapFree=0/0
[pid=27509] ppid=27508 vsize=2568 CPUtime=0
/proc/27509/stat : 27509 (p2cudf-user-1.1) S 27508 27509 17511 34816 17511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 46466544 2629632 270 1283457024 134512640 135304128 4287122000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27509/statm: 642 270 230 194 0 29 0
[pid=27510] ppid=27509 vsize=2576 CPUtime=0.02
/proc/27510/stat : 27510 (p2cudf) S 27509 27509 17511 34816 17511 4202496 391 3015 0 1 0 0 1 1 25 0 1 0 46466544 2637824 281 1283457024 134512640 135304128 4291765984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27510/statm: 644 281 239 194 0 31 0
[pid=27523] ppid=27510 vsize=888632 CPUtime=5.45
/proc/27523/stat : 27523 (java) S 27510 27509 17511 34816 17511 4202496 74686 0 1 0 511 34 0 0 25 0 10 0 46466548 909959168 71923 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27523/statm: 222158 71923 1776 10 0 219249 0
[pid=27523/tid=27524] ppid=27510 vsize=888632 CPUtime=2.54
/proc/27523/task/27524/stat : 27524 (java) S 27510 27509 17511 34816 17511 4202560 50288 0 1 0 232 22 0 0 19 0 10 0 46466549 909959168 71923 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=27523/tid=27525] ppid=27510 vsize=888632 CPUtime=0.27
/proc/27523/task/27525/stat : 27525 (java) S 27510 27509 17511 34816 17511 4202560 12164 0 0 0 22 5 0 0 16 0 10 0 46466550 909959168 71923 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 0 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=27523/tid=27526] ppid=27510 vsize=888632 CPUtime=0
/proc/27523/task/27526/stat : 27526 (java) S 27510 27509 17511 34816 17511 4202560 9 0 0 0 0 0 0 0 18 0 10 0 46466551 909959168 71923 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=27523/tid=27527] ppid=27510 vsize=888632 CPUtime=0
/proc/27523/task/27527/stat : 27527 (java) S 27510 27509 17511 34816 17511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 46466551 909959168 71923 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=27523/tid=27528] ppid=27510 vsize=888632 CPUtime=0
/proc/27523/task/27528/stat : 27528 (java) S 27510 27509 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46466553 909959168 71923 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=27523/tid=27529] ppid=27510 vsize=888632 CPUtime=1.9
/proc/27523/task/27529/stat : 27529 (java) S 27510 27509 17511 34816 17511 4202560 4842 0 0 0 189 1 0 0 15 0 10 0 46466553 909959168 71923 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=27523/tid=27530] ppid=27510 vsize=888632 CPUtime=0.62
/proc/27523/task/27530/stat : 27530 (java) S 27510 27509 17511 34816 17511 4202560 6304 0 0 0 60 2 0 0 16 0 10 0 46466553 909959168 71923 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=27523/tid=27531] ppid=27510 vsize=888632 CPUtime=0
/proc/27523/task/27531/stat : 27531 (java) S 27510 27509 17511 34816 17511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 46466553 909959168 71923 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
[pid=27523/tid=27532] ppid=27510 vsize=888632 CPUtime=0
/proc/27523/task/27532/stat : 27532 (java) S 27510 27509 17511 34816 17511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 46466553 909959168 71923 1283457024 134512640 134550932 4292005312 18446744073709551615 4294960130 0 4 0 16800975 18446612133194181568 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.47
Current children cumulated vsize (KiB) 893776

Child status: 0
Real time (s): 6.07739
CPU time (s): 5.48834
CPU user time (s): 5.12432
CPU system time (s): 0.364022
CPU usage (%): 90.3075
Max. virtual memory (cumulated for all children) (KiB): 895116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.12432
system time used= 0.364022
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78492
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= 771
involuntary context switches= 759

runsolver used 0.012 second user time and 0 second system time

The end