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/201012091434/p2cudf-user-1.10/randa651ed.cudf.difficult.log.runsolver ./p2cudf-user-1.10 /home/misc2010/data/2010/difficult//randa651ed.cudf /home/misc2010/tmp/201012091434/p2cudf-user-1.10/randa651ed.cudf.difficult.result -changed,-removed,-unmet_recommends,-new 

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.03 1.05 1.03 3/39 32350
/proc/meminfo: memFree=428332/1048576 swapFree=2095372/2097144
[pid=32349] ppid=32348 vsize=2572 CPUtime=0
/proc/32349/stat : 32349 (p2cudf-user-1.1) R 32348 32349 25521 34816 25544 4202496 360 0 0 0 0 0 0 0 25 0 1 0 900558502 2633728 273 1283457024 134512640 135304128 4287380144 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/32349/statm: 643 273 233 194 0 29 0
[pid=32350] ppid=32349 vsize=2572 CPUtime=0
/proc/32350/stat : 32350 (p2cudf-user-1.1) R 32349 32349 25521 34816 25544 4202560 0 0 0 0 0 0 0 0 25 0 1 0 900558502 2633728 40 1283457024 134512640 135304128 4287380144 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/32350/statm: 643 40 0 194 0 29 0

[startup+0.144274 s]
/proc/loadavg: 1.03 1.05 1.03 3/39 32350
/proc/meminfo: memFree=428332/1048576 swapFree=2095372/2097144
[pid=32349] ppid=32348 vsize=2572 CPUtime=0
/proc/32349/stat : 32349 (p2cudf-user-1.1) S 32348 32349 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 25 0 1 0 900558502 2633728 273 1283457024 134512640 135304128 4287380144 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32349/statm: 643 273 233 194 0 29 0
[pid=32350] ppid=32349 vsize=2576 CPUtime=0.03
/proc/32350/stat : 32350 (p2cudf) S 32349 32349 25521 34816 25544 4202496 393 2997 0 1 0 1 2 0 25 0 1 0 900558502 2637824 282 1283457024 134512640 135304128 4294642128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32350/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5148

[startup+0.204291 s]
/proc/loadavg: 1.03 1.05 1.03 3/39 32350
/proc/meminfo: memFree=428332/1048576 swapFree=2095372/2097144
[pid=32349] ppid=32348 vsize=2572 CPUtime=0
/proc/32349/stat : 32349 (p2cudf-user-1.1) S 32348 32349 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 25 0 1 0 900558502 2633728 273 1283457024 134512640 135304128 4287380144 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32349/statm: 643 273 233 194 0 29 0
[pid=32350] ppid=32349 vsize=2576 CPUtime=0.03
/proc/32350/stat : 32350 (p2cudf) S 32349 32349 25521 34816 25544 4202496 393 2997 0 1 0 1 2 0 25 0 1 0 900558502 2637824 282 1283457024 134512640 135304128 4294642128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32350/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5148

[startup+0.30432 s]
/proc/loadavg: 1.03 1.05 1.03 3/39 32350
/proc/meminfo: memFree=428332/1048576 swapFree=2095372/2097144
[pid=32349] ppid=32348 vsize=2572 CPUtime=0
/proc/32349/stat : 32349 (p2cudf-user-1.1) S 32348 32349 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 25 0 1 0 900558502 2633728 273 1283457024 134512640 135304128 4287380144 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32349/statm: 643 273 233 194 0 29 0
[pid=32350] ppid=32349 vsize=2576 CPUtime=0.03
/proc/32350/stat : 32350 (p2cudf) S 32349 32349 25521 34816 25544 4202496 393 2997 0 1 0 1 2 0 25 0 1 0 900558502 2637824 282 1283457024 134512640 135304128 4294642128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32350/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5148

[startup+0.704402 s]
/proc/loadavg: 1.03 1.05 1.03 3/39 32350
/proc/meminfo: memFree=428332/1048576 swapFree=2095372/2097144
[pid=32349] ppid=32348 vsize=2572 CPUtime=0
/proc/32349/stat : 32349 (p2cudf-user-1.1) S 32348 32349 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 25 0 1 0 900558502 2633728 273 1283457024 134512640 135304128 4287380144 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32349/statm: 643 273 233 194 0 29 0
[pid=32350] ppid=32349 vsize=2576 CPUtime=0.03
/proc/32350/stat : 32350 (p2cudf) S 32349 32349 25521 34816 25544 4202496 393 2997 0 1 0 1 2 0 25 0 1 0 900558502 2637824 282 1283457024 134512640 135304128 4294642128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32350/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5148

[startup+1.50466 s]
/proc/loadavg: 1.03 1.05 1.03 5/50 32372
/proc/meminfo: memFree=390192/1048576 swapFree=2095372/2097144
[pid=32349] ppid=32348 vsize=2572 CPUtime=0
/proc/32349/stat : 32349 (p2cudf-user-1.1) S 32348 32349 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 25 0 1 0 900558502 2633728 273 1283457024 134512640 135304128 4287380144 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32349/statm: 643 273 233 194 0 29 0
[pid=32350] ppid=32349 vsize=2576 CPUtime=0.03
/proc/32350/stat : 32350 (p2cudf) S 32349 32349 25521 34816 25544 4202496 393 2997 0 1 0 1 2 0 25 0 1 0 900558502 2637824 282 1283457024 134512640 135304128 4294642128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32350/statm: 644 282 241 194 0 30 0
[pid=32363] ppid=32350 vsize=874960 CPUtime=1.47
/proc/32363/stat : 32363 (java) S 32350 32349 25521 34816 25544 4202496 19437 0 1 0 138 9 0 0 25 0 10 0 900558505 895959040 16732 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32363/statm: 218740 16732 1732 10 0 215830 0
[pid=32363/tid=32364] ppid=32350 vsize=874960 CPUtime=0.79
/proc/32363/task/32364/stat : 32364 (java) R 32350 32349 25521 34816 25544 4202560 11123 0 1 0 74 5 0 0 25 0 10 0 900558506 895959040 16732 1283457024 134512640 134550932 4290528384 18446744073709551615 4095889905 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32363/tid=32365] ppid=32350 vsize=874960 CPUtime=0
/proc/32363/task/32365/stat : 32365 (java) S 32350 32349 25521 34816 25544 4202560 5 0 0 0 0 0 0 0 17 0 10 0 900558508 895959040 16732 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32366] ppid=32350 vsize=874960 CPUtime=0
/proc/32363/task/32366/stat : 32366 (java) S 32350 32349 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 25 0 10 0 900558508 895959040 16732 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32367] ppid=32350 vsize=874960 CPUtime=0
/proc/32363/task/32367/stat : 32367 (java) S 32350 32349 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 10 0 900558508 895959040 16732 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32368] ppid=32350 vsize=874960 CPUtime=0
/proc/32363/task/32368/stat : 32368 (java) S 32350 32349 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900558511 895959040 16732 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32369] ppid=32350 vsize=874960 CPUtime=0.38
/proc/32363/task/32369/stat : 32369 (java) R 32350 32349 25521 34816 25544 4202560 6606 0 0 0 36 2 0 0 23 0 10 0 900558511 895959040 16732 1283457024 134512640 134550932 4290528384 18446744073709551615 4150364480 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32363/tid=32370] ppid=32350 vsize=874960 CPUtime=0.27
/proc/32363/task/32370/stat : 32370 (java) R 32350 32349 25521 34816 25544 4202560 593 0 0 0 26 1 0 0 25 0 10 0 900558511 895959040 16732 1283457024 134512640 134550932 4290528384 18446744073709551615 4151993757 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32363/tid=32371] ppid=32350 vsize=874960 CPUtime=0
/proc/32363/task/32371/stat : 32371 (java) S 32350 32349 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 25 0 10 0 900558511 895959040 16732 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32372] ppid=32350 vsize=874960 CPUtime=0
/proc/32363/task/32372/stat : 32372 (java) S 32350 32349 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 10 0 900558511 895959040 16732 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 880108

[startup+3.10441 s]
/proc/loadavg: 1.03 1.05 1.03 4/50 32372
/proc/meminfo: memFree=319744/1048576 swapFree=2095372/2097144
[pid=32349] ppid=32348 vsize=2572 CPUtime=0
/proc/32349/stat : 32349 (p2cudf-user-1.1) S 32348 32349 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 25 0 1 0 900558502 2633728 273 1283457024 134512640 135304128 4287380144 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32349/statm: 643 273 233 194 0 29 0
[pid=32350] ppid=32349 vsize=2576 CPUtime=0.03
/proc/32350/stat : 32350 (p2cudf) S 32349 32349 25521 34816 25544 4202496 393 2997 0 1 0 1 2 0 25 0 1 0 900558502 2637824 282 1283457024 134512640 135304128 4294642128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32350/statm: 644 282 241 194 0 30 0
[pid=32363] ppid=32350 vsize=897084 CPUtime=3.05
/proc/32363/stat : 32363 (java) S 32350 32349 25521 34816 25544 4202496 48821 0 1 0 286 19 0 0 25 0 10 0 900558505 918614016 41223 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32363/statm: 224271 41223 1732 10 0 221361 0
[pid=32363/tid=32364] ppid=32350 vsize=897084 CPUtime=1.31
/proc/32363/task/32364/stat : 32364 (java) R 32350 32349 25521 34816 25544 4202560 29760 0 1 0 121 10 0 0 25 0 10 0 900558506 918614016 41223 1283457024 134512640 134550932 4290528384 18446744073709551615 4095908986 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32363/tid=32365] ppid=32350 vsize=897084 CPUtime=0
/proc/32363/task/32365/stat : 32365 (java) S 32350 32349 25521 34816 25544 4202560 5 0 0 0 0 0 0 0 16 0 10 0 900558508 918614016 41223 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32366] ppid=32350 vsize=897084 CPUtime=0
/proc/32363/task/32366/stat : 32366 (java) S 32350 32349 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 25 0 10 0 900558508 918614016 41223 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32367] ppid=32350 vsize=897084 CPUtime=0
/proc/32363/task/32367/stat : 32367 (java) S 32350 32349 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 10 0 900558508 918614016 41223 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32368] ppid=32350 vsize=897084 CPUtime=0
/proc/32363/task/32368/stat : 32368 (java) S 32350 32349 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900558511 918614016 41223 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32369] ppid=32350 vsize=897084 CPUtime=0.86
/proc/32363/task/32369/stat : 32369 (java) S 32350 32349 25521 34816 25544 4202560 12165 0 0 0 82 4 0 0 25 0 10 0 900558511 918614016 41223 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32370] ppid=32350 vsize=897084 CPUtime=0.87
/proc/32363/task/32370/stat : 32370 (java) S 32350 32349 25521 34816 25544 4202560 5781 0 0 0 82 5 0 0 23 0 10 0 900558511 918614016 41223 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32371] ppid=32350 vsize=897084 CPUtime=0
/proc/32363/task/32371/stat : 32371 (java) S 32350 32349 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 25 0 10 0 900558511 918614016 41223 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32372] ppid=32350 vsize=897084 CPUtime=0
/proc/32363/task/32372/stat : 32372 (java) S 32350 32349 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 10 0 900558511 918614016 41223 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 902232

[startup+6.3071 s]
/proc/loadavg: 1.03 1.05 1.03 2/50 32372
/proc/meminfo: memFree=117412/1048576 swapFree=2095372/2097144
[pid=32349] ppid=32348 vsize=2572 CPUtime=0
/proc/32349/stat : 32349 (p2cudf-user-1.1) S 32348 32349 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 25 0 1 0 900558502 2633728 273 1283457024 134512640 135304128 4287380144 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32349/statm: 643 273 233 194 0 29 0
[pid=32350] ppid=32349 vsize=2576 CPUtime=0.03
/proc/32350/stat : 32350 (p2cudf) S 32349 32349 25521 34816 25544 4202496 393 2997 0 1 0 1 2 0 25 0 1 0 900558502 2637824 282 1283457024 134512640 135304128 4294642128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32350/statm: 644 282 241 194 0 30 0
[pid=32363] ppid=32350 vsize=896700 CPUtime=6.23
/proc/32363/stat : 32363 (java) S 32350 32349 25521 34816 25544 4202496 85316 0 1 0 592 31 0 0 25 0 11 0 900558505 918220800 76030 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32363/statm: 224175 76030 1790 10 0 221265 0
[pid=32363/tid=32364] ppid=32350 vsize=896700 CPUtime=2.67
/proc/32363/task/32364/stat : 32364 (java) R 32350 32349 25521 34816 25544 4202560 50468 0 1 0 250 17 0 0 25 0 11 0 900558506 918220800 76030 1283457024 134512640 134550932 4290528384 18446744073709551615 4096634851 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32363/tid=32365] ppid=32350 vsize=896700 CPUtime=0.32
/proc/32363/task/32365/stat : 32365 (java) S 32350 32349 25521 34816 25544 4202560 13963 0 0 0 28 4 0 0 16 0 11 0 900558508 918220800 76030 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32366] ppid=32350 vsize=896700 CPUtime=0
/proc/32363/task/32366/stat : 32366 (java) S 32350 32349 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 18 0 11 0 900558508 918220800 76030 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32367] ppid=32350 vsize=896700 CPUtime=0
/proc/32363/task/32367/stat : 32367 (java) S 32350 32349 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900558508 918220800 76030 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32368] ppid=32350 vsize=896700 CPUtime=0
/proc/32363/task/32368/stat : 32368 (java) S 32350 32349 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900558511 918220800 76030 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32369] ppid=32350 vsize=896700 CPUtime=0.86
/proc/32363/task/32369/stat : 32369 (java) S 32350 32349 25521 34816 25544 4202560 12165 0 0 0 82 4 0 0 25 0 11 0 900558511 918220800 76030 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32370] ppid=32350 vsize=896700 CPUtime=2.36
/proc/32363/task/32370/stat : 32370 (java) S 32350 32349 25521 34816 25544 4202560 7604 0 0 0 231 5 0 0 15 0 11 0 900558511 918220800 76030 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32371] ppid=32350 vsize=896700 CPUtime=0
/proc/32363/task/32371/stat : 32371 (java) S 32350 32349 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 25 0 11 0 900558511 918220800 76030 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32372] ppid=32350 vsize=896700 CPUtime=0
/proc/32363/task/32372/stat : 32372 (java) S 32350 32349 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 900558511 918220800 76030 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 901848

[startup+12.7086 s]
/proc/loadavg: 1.03 1.05 1.03 2/51 32373
/proc/meminfo: memFree=84552/1048576 swapFree=2095372/2097144
[pid=32349] ppid=32348 vsize=2572 CPUtime=0
/proc/32349/stat : 32349 (p2cudf-user-1.1) S 32348 32349 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 25 0 1 0 900558502 2633728 273 1283457024 134512640 135304128 4287380144 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32349/statm: 643 273 233 194 0 29 0
[pid=32350] ppid=32349 vsize=2576 CPUtime=0.03
/proc/32350/stat : 32350 (p2cudf) S 32349 32349 25521 34816 25544 4202496 393 2997 0 1 0 1 2 0 25 0 1 0 900558502 2637824 282 1283457024 134512640 135304128 4294642128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32350/statm: 644 282 241 194 0 30 0
[pid=32363] ppid=32350 vsize=893104 CPUtime=12.63
/proc/32363/stat : 32363 (java) S 32350 32349 25521 34816 25544 4202496 94354 0 1 0 1230 33 0 0 25 0 11 0 900558505 914538496 84169 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32363/statm: 223276 84169 1792 10 0 220366 0
[pid=32363/tid=32364] ppid=32350 vsize=893104 CPUtime=8.47
/proc/32363/task/32364/stat : 32364 (java) R 32350 32349 25521 34816 25544 4202560 50470 0 1 0 830 17 0 0 25 0 11 0 900558506 914538496 84169 1283457024 134512640 134550932 4290528384 18446744073709551615 4096692001 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32363/tid=32365] ppid=32350 vsize=893104 CPUtime=0.72
/proc/32363/task/32365/stat : 32365 (java) S 32350 32349 25521 34816 25544 4202560 22974 0 0 0 66 6 0 0 15 0 11 0 900558508 914538496 84169 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32366] ppid=32350 vsize=893104 CPUtime=0
/proc/32363/task/32366/stat : 32366 (java) S 32350 32349 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 18 0 11 0 900558508 914538496 84169 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32367] ppid=32350 vsize=893104 CPUtime=0
/proc/32363/task/32367/stat : 32367 (java) S 32350 32349 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900558508 914538496 84169 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32368] ppid=32350 vsize=893104 CPUtime=0
/proc/32363/task/32368/stat : 32368 (java) S 32350 32349 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900558511 914538496 84169 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32369] ppid=32350 vsize=893104 CPUtime=0.86
/proc/32363/task/32369/stat : 32369 (java) S 32350 32349 25521 34816 25544 4202560 12165 0 0 0 82 4 0 0 25 0 11 0 900558511 914538496 84169 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32370] ppid=32350 vsize=893104 CPUtime=2.55
/proc/32363/task/32370/stat : 32370 (java) S 32350 32349 25521 34816 25544 4202560 7629 0 0 0 250 5 0 0 16 0 11 0 900558511 914538496 84169 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32371] ppid=32350 vsize=893104 CPUtime=0
/proc/32363/task/32371/stat : 32371 (java) S 32350 32349 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 25 0 11 0 900558511 914538496 84169 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32372] ppid=32350 vsize=893104 CPUtime=0
/proc/32363/task/32372/stat : 32372 (java) S 32350 32349 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 900558511 914538496 84169 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32373] ppid=32350 vsize=893104 CPUtime=0
/proc/32363/task/32373/stat : 32373 (java) S 32350 32349 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 24 0 11 0 900559059 914538496 84169 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 898252

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

[startup+12.8086 s]
/proc/loadavg: 1.03 1.05 1.03 2/51 32373
/proc/meminfo: memFree=84552/1048576 swapFree=2095372/2097144
[pid=32349] ppid=32348 vsize=2572 CPUtime=0
/proc/32349/stat : 32349 (p2cudf-user-1.1) S 32348 32349 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 25 0 1 0 900558502 2633728 273 1283457024 134512640 135304128 4287380144 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32349/statm: 643 273 233 194 0 29 0
[pid=32350] ppid=32349 vsize=2576 CPUtime=0.03
/proc/32350/stat : 32350 (p2cudf) S 32349 32349 25521 34816 25544 4202496 393 2997 0 1 0 1 2 0 25 0 1 0 900558502 2637824 282 1283457024 134512640 135304128 4294642128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32350/statm: 644 282 241 194 0 30 0
[pid=32363] ppid=32350 vsize=893104 CPUtime=12.73
/proc/32363/stat : 32363 (java) S 32350 32349 25521 34816 25544 4202496 94354 0 1 0 1240 33 0 0 25 0 11 0 900558505 914538496 84169 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32363/statm: 223276 84169 1792 10 0 220366 0
[pid=32363/tid=32364] ppid=32350 vsize=893104 CPUtime=8.57
/proc/32363/task/32364/stat : 32364 (java) R 32350 32349 25521 34816 25544 4202560 50470 0 1 0 840 17 0 0 25 0 11 0 900558506 914538496 84169 1283457024 134512640 134550932 4290528384 18446744073709551615 4096834623 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32363/tid=32365] ppid=32350 vsize=893104 CPUtime=0.72
/proc/32363/task/32365/stat : 32365 (java) S 32350 32349 25521 34816 25544 4202560 22974 0 0 0 66 6 0 0 15 0 11 0 900558508 914538496 84169 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32366] ppid=32350 vsize=893104 CPUtime=0
/proc/32363/task/32366/stat : 32366 (java) S 32350 32349 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 18 0 11 0 900558508 914538496 84169 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32367] ppid=32350 vsize=893104 CPUtime=0
/proc/32363/task/32367/stat : 32367 (java) S 32350 32349 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900558508 914538496 84169 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32368] ppid=32350 vsize=893104 CPUtime=0
/proc/32363/task/32368/stat : 32368 (java) S 32350 32349 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900558511 914538496 84169 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32369] ppid=32350 vsize=893104 CPUtime=0.86
/proc/32363/task/32369/stat : 32369 (java) S 32350 32349 25521 34816 25544 4202560 12165 0 0 0 82 4 0 0 25 0 11 0 900558511 914538496 84169 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32370] ppid=32350 vsize=893104 CPUtime=2.55
/proc/32363/task/32370/stat : 32370 (java) S 32350 32349 25521 34816 25544 4202560 7629 0 0 0 250 5 0 0 16 0 11 0 900558511 914538496 84169 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32371] ppid=32350 vsize=893104 CPUtime=0
/proc/32363/task/32371/stat : 32371 (java) S 32350 32349 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 25 0 11 0 900558511 914538496 84169 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32372] ppid=32350 vsize=893104 CPUtime=0
/proc/32363/task/32372/stat : 32372 (java) S 32350 32349 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 900558511 914538496 84169 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32373] ppid=32350 vsize=893104 CPUtime=0
/proc/32363/task/32373/stat : 32373 (java) S 32350 32349 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 24 0 11 0 900559059 914538496 84169 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.76
Current children cumulated vsize (KiB) 898252

[startup+19.2103 s]
/proc/loadavg: 1.02 1.05 1.03 2/51 32373
/proc/meminfo: memFree=83932/1048576 swapFree=2095372/2097144
[pid=32349] ppid=32348 vsize=2572 CPUtime=0
/proc/32349/stat : 32349 (p2cudf-user-1.1) S 32348 32349 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 25 0 1 0 900558502 2633728 273 1283457024 134512640 135304128 4287380144 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32349/statm: 643 273 233 194 0 29 0
[pid=32350] ppid=32349 vsize=2576 CPUtime=0.03
/proc/32350/stat : 32350 (p2cudf) S 32349 32349 25521 34816 25544 4202496 393 2997 0 1 0 1 2 0 25 0 1 0 900558502 2637824 282 1283457024 134512640 135304128 4294642128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32350/statm: 644 282 241 194 0 30 0
[pid=32363] ppid=32350 vsize=893104 CPUtime=19.12
/proc/32363/stat : 32363 (java) S 32350 32349 25521 34816 25544 4202496 94735 0 1 0 1879 33 0 0 25 0 11 0 900558505 914538496 84550 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32363/statm: 223276 84550 1793 10 0 220366 0
[pid=32363/tid=32364] ppid=32350 vsize=893104 CPUtime=14.17
/proc/32363/task/32364/stat : 32364 (java) R 32350 32349 25521 34816 25544 4202560 50471 0 1 0 1400 17 0 0 25 0 11 0 900558506 914538496 84550 1283457024 134512640 134550932 4290528384 18446744073709551615 4096773492 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32363/tid=32365] ppid=32350 vsize=893104 CPUtime=1.26
/proc/32363/task/32365/stat : 32365 (java) S 32350 32349 25521 34816 25544 4202560 23292 0 0 0 120 6 0 0 16 0 11 0 900558508 914538496 84550 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32366] ppid=32350 vsize=893104 CPUtime=0
/proc/32363/task/32366/stat : 32366 (java) S 32350 32349 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 18 0 11 0 900558508 914538496 84550 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32367] ppid=32350 vsize=893104 CPUtime=0
/proc/32363/task/32367/stat : 32367 (java) S 32350 32349 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900558508 914538496 84550 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32368] ppid=32350 vsize=893104 CPUtime=0
/proc/32363/task/32368/stat : 32368 (java) S 32350 32349 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900558511 914538496 84550 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32369] ppid=32350 vsize=893104 CPUtime=0.86
/proc/32363/task/32369/stat : 32369 (java) S 32350 32349 25521 34816 25544 4202560 12165 0 0 0 82 4 0 0 25 0 11 0 900558511 914538496 84550 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32370] ppid=32350 vsize=893104 CPUtime=2.81
/proc/32363/task/32370/stat : 32370 (java) S 32350 32349 25521 34816 25544 4202560 7691 0 0 0 276 5 0 0 15 0 11 0 900558511 914538496 84550 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32371] ppid=32350 vsize=893104 CPUtime=0
/proc/32363/task/32371/stat : 32371 (java) S 32350 32349 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 25 0 11 0 900558511 914538496 84550 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32372] ppid=32350 vsize=893104 CPUtime=0
/proc/32363/task/32372/stat : 32372 (java) S 32350 32349 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 900558511 914538496 84550 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32373] ppid=32350 vsize=893104 CPUtime=0
/proc/32363/task/32373/stat : 32373 (java) S 32350 32349 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 24 0 11 0 900559059 914538496 84550 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19.15
Current children cumulated vsize (KiB) 898252

[startup+22.411 s]
/proc/loadavg: 1.02 1.05 1.03 2/51 32373
/proc/meminfo: memFree=83064/1048576 swapFree=2095372/2097144
[pid=32349] ppid=32348 vsize=2572 CPUtime=0
/proc/32349/stat : 32349 (p2cudf-user-1.1) S 32348 32349 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 25 0 1 0 900558502 2633728 273 1283457024 134512640 135304128 4287380144 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32349/statm: 643 273 233 194 0 29 0
[pid=32350] ppid=32349 vsize=2576 CPUtime=0.03
/proc/32350/stat : 32350 (p2cudf) S 32349 32349 25521 34816 25544 4202496 393 2997 0 1 0 1 2 0 25 0 1 0 900558502 2637824 282 1283457024 134512640 135304128 4294642128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32350/statm: 644 282 241 194 0 30 0
[pid=32363] ppid=32350 vsize=893104 CPUtime=22.32
/proc/32363/stat : 32363 (java) S 32350 32349 25521 34816 25544 4202496 94735 0 1 0 2199 33 0 0 25 0 11 0 900558505 914538496 84550 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32363/statm: 223276 84550 1793 10 0 220366 0
[pid=32363/tid=32364] ppid=32350 vsize=893104 CPUtime=17.37
/proc/32363/task/32364/stat : 32364 (java) R 32350 32349 25521 34816 25544 4202560 50471 0 1 0 1720 17 0 0 25 0 11 0 900558506 914538496 84550 1283457024 134512640 134550932 4290528384 18446744073709551615 4096773726 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32363/tid=32365] ppid=32350 vsize=893104 CPUtime=1.26
/proc/32363/task/32365/stat : 32365 (java) S 32350 32349 25521 34816 25544 4202560 23292 0 0 0 120 6 0 0 15 0 11 0 900558508 914538496 84550 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32366] ppid=32350 vsize=893104 CPUtime=0
/proc/32363/task/32366/stat : 32366 (java) S 32350 32349 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 18 0 11 0 900558508 914538496 84550 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32367] ppid=32350 vsize=893104 CPUtime=0
/proc/32363/task/32367/stat : 32367 (java) S 32350 32349 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900558508 914538496 84550 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32368] ppid=32350 vsize=893104 CPUtime=0
/proc/32363/task/32368/stat : 32368 (java) S 32350 32349 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900558511 914538496 84550 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32369] ppid=32350 vsize=893104 CPUtime=0.86
/proc/32363/task/32369/stat : 32369 (java) S 32350 32349 25521 34816 25544 4202560 12165 0 0 0 82 4 0 0 25 0 11 0 900558511 914538496 84550 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32370] ppid=32350 vsize=893104 CPUtime=2.81
/proc/32363/task/32370/stat : 32370 (java) S 32350 32349 25521 34816 25544 4202560 7691 0 0 0 276 5 0 0 15 0 11 0 900558511 914538496 84550 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32371] ppid=32350 vsize=893104 CPUtime=0
/proc/32363/task/32371/stat : 32371 (java) S 32350 32349 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 25 0 11 0 900558511 914538496 84550 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32372] ppid=32350 vsize=893104 CPUtime=0
/proc/32363/task/32372/stat : 32372 (java) S 32350 32349 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 900558511 914538496 84550 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32373] ppid=32350 vsize=893104 CPUtime=0
/proc/32363/task/32373/stat : 32373 (java) S 32350 32349 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 24 0 11 0 900559059 914538496 84550 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 22.35
Current children cumulated vsize (KiB) 898252

[startup+24.0114 s]
/proc/loadavg: 1.02 1.04 1.03 2/51 32373
/proc/meminfo: memFree=83064/1048576 swapFree=2095372/2097144
[pid=32349] ppid=32348 vsize=2572 CPUtime=0
/proc/32349/stat : 32349 (p2cudf-user-1.1) S 32348 32349 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 25 0 1 0 900558502 2633728 273 1283457024 134512640 135304128 4287380144 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32349/statm: 643 273 233 194 0 29 0
[pid=32350] ppid=32349 vsize=2576 CPUtime=0.03
/proc/32350/stat : 32350 (p2cudf) S 32349 32349 25521 34816 25544 4202496 393 2997 0 1 0 1 2 0 25 0 1 0 900558502 2637824 282 1283457024 134512640 135304128 4294642128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32350/statm: 644 282 241 194 0 30 0
[pid=32363] ppid=32350 vsize=893104 CPUtime=23.92
/proc/32363/stat : 32363 (java) S 32350 32349 25521 34816 25544 4202496 94736 0 1 0 2359 33 0 0 25 0 11 0 900558505 914538496 84551 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32363/statm: 223276 84551 1793 10 0 220366 0
[pid=32363/tid=32364] ppid=32350 vsize=893104 CPUtime=18.95
/proc/32363/task/32364/stat : 32364 (java) R 32350 32349 25521 34816 25544 4202560 50471 0 1 0 1878 17 0 0 25 0 11 0 900558506 914538496 84551 1283457024 134512640 134550932 4290528384 18446744073709551615 4095724256 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32363/tid=32365] ppid=32350 vsize=893104 CPUtime=1.26
/proc/32363/task/32365/stat : 32365 (java) S 32350 32349 25521 34816 25544 4202560 23292 0 0 0 120 6 0 0 15 0 11 0 900558508 914538496 84551 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32366] ppid=32350 vsize=893104 CPUtime=0
/proc/32363/task/32366/stat : 32366 (java) S 32350 32349 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 18 0 11 0 900558508 914538496 84551 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32367] ppid=32350 vsize=893104 CPUtime=0
/proc/32363/task/32367/stat : 32367 (java) S 32350 32349 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900558508 914538496 84551 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32368] ppid=32350 vsize=893104 CPUtime=0
/proc/32363/task/32368/stat : 32368 (java) S 32350 32349 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900558511 914538496 84551 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32369] ppid=32350 vsize=893104 CPUtime=0.86
/proc/32363/task/32369/stat : 32369 (java) S 32350 32349 25521 34816 25544 4202560 12165 0 0 0 82 4 0 0 25 0 11 0 900558511 914538496 84551 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32370] ppid=32350 vsize=893104 CPUtime=2.83
/proc/32363/task/32370/stat : 32370 (java) S 32350 32349 25521 34816 25544 4202560 7692 0 0 0 278 5 0 0 15 0 11 0 900558511 914538496 84551 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32371] ppid=32350 vsize=893104 CPUtime=0
/proc/32363/task/32371/stat : 32371 (java) S 32350 32349 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 25 0 11 0 900558511 914538496 84551 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32372] ppid=32350 vsize=893104 CPUtime=0
/proc/32363/task/32372/stat : 32372 (java) S 32350 32349 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 900558511 914538496 84551 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32373] ppid=32350 vsize=893104 CPUtime=0
/proc/32363/task/32373/stat : 32373 (java) S 32350 32349 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 24 0 11 0 900559059 914538496 84551 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.95
Current children cumulated vsize (KiB) 898252

[startup+24.4057 s]
/proc/loadavg: 1.02 1.04 1.03 1/52 32374
/proc/meminfo: memFree=82932/1048576 swapFree=2095372/2097144
[pid=32349] ppid=32348 vsize=2572 CPUtime=0
/proc/32349/stat : 32349 (p2cudf-user-1.1) S 32348 32349 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 25 0 1 0 900558502 2633728 273 1283457024 134512640 135304128 4287380144 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32349/statm: 643 273 233 194 0 29 0
[pid=32350] ppid=32349 vsize=2576 CPUtime=0.03
/proc/32350/stat : 32350 (p2cudf) S 32349 32349 25521 34816 25544 4202496 393 2997 0 1 0 1 2 0 25 0 1 0 900558502 2637824 282 1283457024 134512640 135304128 4294642128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32350/statm: 644 282 241 194 0 30 0
[pid=32363] ppid=32350 vsize=893428 CPUtime=24.08
/proc/32363/stat : 32363 (java) S 32350 32349 25521 34816 25544 4202496 94750 0 1 0 2375 33 0 0 25 0 12 0 900558505 914870272 84565 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32363/statm: 223357 84565 1793 10 0 220447 0
[pid=32363/tid=32364] ppid=32350 vsize=893428 CPUtime=19.08
/proc/32363/task/32364/stat : 32364 (java) S 32350 32349 25521 34816 25544 4202560 50478 0 1 0 1891 17 0 0 25 0 12 0 900558506 914870272 84565 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32365] ppid=32350 vsize=893428 CPUtime=1.26
/proc/32363/task/32365/stat : 32365 (java) S 32350 32349 25521 34816 25544 4202560 23292 0 0 0 120 6 0 0 15 0 12 0 900558508 914870272 84565 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32366] ppid=32350 vsize=893428 CPUtime=0
/proc/32363/task/32366/stat : 32366 (java) S 32350 32349 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 18 0 12 0 900558508 914870272 84565 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32367] ppid=32350 vsize=893428 CPUtime=0
/proc/32363/task/32367/stat : 32367 (java) S 32350 32349 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 12 0 900558508 914870272 84565 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32368] ppid=32350 vsize=893428 CPUtime=0
/proc/32363/task/32368/stat : 32368 (java) S 32350 32349 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 12 0 900558511 914870272 84565 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32369] ppid=32350 vsize=893428 CPUtime=0.86
/proc/32363/task/32369/stat : 32369 (java) S 32350 32349 25521 34816 25544 4202560 12165 0 0 0 82 4 0 0 25 0 12 0 900558511 914870272 84565 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32370] ppid=32350 vsize=893428 CPUtime=2.86
/proc/32363/task/32370/stat : 32370 (java) S 32350 32349 25521 34816 25544 4202560 7695 0 0 0 281 5 0 0 15 0 12 0 900558511 914870272 84565 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32371] ppid=32350 vsize=893428 CPUtime=0
/proc/32363/task/32371/stat : 32371 (java) S 32350 32349 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 25 0 12 0 900558511 914870272 84565 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32372] ppid=32350 vsize=893428 CPUtime=0
/proc/32363/task/32372/stat : 32372 (java) S 32350 32349 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 12 0 900558511 914870272 84565 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32373] ppid=32350 vsize=893428 CPUtime=0
/proc/32363/task/32373/stat : 32373 (java) S 32350 32349 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 24 0 12 0 900559059 914870272 84565 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=32363/tid=32374] ppid=32350 vsize=893428 CPUtime=0
/proc/32363/task/32374/stat : 32374 (java) S 32350 32349 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 12 0 900560920 914870272 84565 1283457024 134512640 134550932 4290528384 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.11
Current children cumulated vsize (KiB) 898576

[startup+24.8116 s]
/proc/loadavg: 1.02 1.04 1.03 1/52 32374
/proc/meminfo: memFree=82932/1048576 swapFree=2095372/2097144
[pid=32349] ppid=32348 vsize=2572 CPUtime=0
/proc/32349/stat : 32349 (p2cudf-user-1.1) S 32348 32349 25521 34816 25544 4202496 378 0 0 0 0 0 0 0 25 0 1 0 900558502 2633728 273 1283457024 134512640 135304128 4287380144 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32349/statm: 643 273 233 194 0 29 0
[pid=32350] ppid=32349 vsize=2576 CPUtime=0.03
/proc/32350/stat : 32350 (p2cudf) S 32349 32349 25521 34816 25544 4202496 393 2997 0 1 0 1 2 0 25 0 1 0 900558502 2637824 282 1283457024 134512640 135304128 4294642128 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32350/statm: 644 282 241 194 0 30 0
[pid=32363] ppid=32350 vsize=0 CPUtime=24.15
/proc/32363/stat : 32363 (java) Z 32350 32349 25521 34816 25544 4203532 94756 0 1 0 2377 38 0 0 18 0 2 0 900558505 0 0 1283457024 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32363/statm: 0 0 0 0 0 0 0
[pid=32363/tid=32364] ppid=32350 vsize=0 CPUtime=19.1
/proc/32363/task/32364/stat : 32364 (java) R 32350 32349 25521 34816 25544 4203588 50479 0 1 0 1891 19 0 0 19 0 2 0 900558506 0 0 1283457024 0 0 0 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.18
Current children cumulated vsize (KiB) 5148

Child status: 0
Real time (s): 24.8277
CPU time (s): 24.2135
CPU user time (s): 23.7975
CPU system time (s): 0.416026
CPU usage (%): 97.5263
Max. virtual memory (cumulated for all children) (KiB): 906944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.7975
system time used= 0.416026
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98544
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= 1183
involuntary context switches= 1428

runsolver used 0 second user time and 0 second system time

The end