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/rand2fe899.cudf.difficult.log.runsolver ./p2cudf-user-1.10 /home/misc2010/data/2010/difficult//rand2fe899.cudf /home/misc2010/tmp/201012091434/p2cudf-user-1.10/rand2fe899.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.08 1.11 0.91 5/39 27551
/proc/meminfo: memFree=499220/1048576 swapFree=2095372/2097144
[pid=27549] ppid=27548 vsize=2572 CPUtime=0
/proc/27549/stat : 27549 (p2cudf-user-1.1) S 27548 27549 25521 34816 25544 4202496 376 0 0 0 0 0 0 0 18 0 1 0 900002885 2633728 272 1283457024 134512640 135304128 4291173968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27549/statm: 643 272 233 194 0 29 0
[pid=27550] ppid=27549 vsize=2572 CPUtime=0
/proc/27550/stat : 27550 (p2cudf) S 27549 27549 25521 34816 25544 4202496 355 0 0 0 0 0 0 0 25 0 1 0 900002885 2633728 274 1283457024 134512640 135304128 4294635984 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0
/proc/27550/statm: 643 274 234 194 0 29 0
[pid=27551] ppid=27550 vsize=2572 CPUtime=0
/proc/27551/stat : 27551 (p2cudf) R 27550 27549 25521 34816 25544 4202560 91 0 0 0 0 0 0 0 25 0 1 0 900002885 2633728 116 1283457024 134512640 135304128 4294635984 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/27551/statm: 643 116 75 194 0 29 0
[pid=27552] ppid=27551 vsize=2572 CPUtime=0
/proc/27552/stat : 27552 (p2cudf) R 27551 27549 25521 34816 25544 4202560 0 0 0 0 0 0 0 0 25 0 1 0 900002885 2633728 41 1283457024 134512640 135304128 4294635984 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/27552/statm: 643 41 0 194 0 29 0

[startup+0.166805 s]
/proc/loadavg: 1.08 1.11 0.91 5/39 27551
/proc/meminfo: memFree=499220/1048576 swapFree=2095372/2097144
[pid=27549] ppid=27548 vsize=2572 CPUtime=0
/proc/27549/stat : 27549 (p2cudf-user-1.1) S 27548 27549 25521 34816 25544 4202496 376 0 0 0 0 0 0 0 18 0 1 0 900002885 2633728 272 1283457024 134512640 135304128 4291173968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27549/statm: 643 272 233 194 0 29 0
[pid=27550] ppid=27549 vsize=2576 CPUtime=0.03
/proc/27550/stat : 27550 (p2cudf) S 27549 27549 25521 34816 25544 4202496 394 2983 0 1 0 0 2 1 25 0 1 0 900002885 2637824 282 1283457024 134512640 135304128 4294635984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27550/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5148

[startup+0.206809 s]
/proc/loadavg: 1.08 1.11 0.91 5/39 27551
/proc/meminfo: memFree=499220/1048576 swapFree=2095372/2097144
[pid=27549] ppid=27548 vsize=2572 CPUtime=0
/proc/27549/stat : 27549 (p2cudf-user-1.1) S 27548 27549 25521 34816 25544 4202496 376 0 0 0 0 0 0 0 18 0 1 0 900002885 2633728 272 1283457024 134512640 135304128 4291173968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27549/statm: 643 272 233 194 0 29 0
[pid=27550] ppid=27549 vsize=2576 CPUtime=0.03
/proc/27550/stat : 27550 (p2cudf) S 27549 27549 25521 34816 25544 4202496 394 2983 0 1 0 0 2 1 25 0 1 0 900002885 2637824 282 1283457024 134512640 135304128 4294635984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27550/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5148

[startup+0.306826 s]
/proc/loadavg: 1.08 1.11 0.91 5/39 27551
/proc/meminfo: memFree=499220/1048576 swapFree=2095372/2097144
[pid=27549] ppid=27548 vsize=2572 CPUtime=0
/proc/27549/stat : 27549 (p2cudf-user-1.1) S 27548 27549 25521 34816 25544 4202496 376 0 0 0 0 0 0 0 18 0 1 0 900002885 2633728 272 1283457024 134512640 135304128 4291173968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27549/statm: 643 272 233 194 0 29 0
[pid=27550] ppid=27549 vsize=2576 CPUtime=0.03
/proc/27550/stat : 27550 (p2cudf) S 27549 27549 25521 34816 25544 4202496 394 2983 0 1 0 0 2 1 25 0 1 0 900002885 2637824 282 1283457024 134512640 135304128 4294635984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27550/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5148

[startup+0.706926 s]
/proc/loadavg: 1.08 1.11 0.91 5/39 27551
/proc/meminfo: memFree=499220/1048576 swapFree=2095372/2097144
[pid=27549] ppid=27548 vsize=2572 CPUtime=0
/proc/27549/stat : 27549 (p2cudf-user-1.1) S 27548 27549 25521 34816 25544 4202496 376 0 0 0 0 0 0 0 18 0 1 0 900002885 2633728 272 1283457024 134512640 135304128 4291173968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27549/statm: 643 272 233 194 0 29 0
[pid=27550] ppid=27549 vsize=2576 CPUtime=0.03
/proc/27550/stat : 27550 (p2cudf) S 27549 27549 25521 34816 25544 4202496 394 2983 0 1 0 0 2 1 25 0 1 0 900002885 2637824 282 1283457024 134512640 135304128 4294635984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27550/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5148

[startup+1.50709 s]
/proc/loadavg: 1.08 1.11 0.91 4/49 27572
/proc/meminfo: memFree=455728/1048576 swapFree=2095372/2097144
[pid=27549] ppid=27548 vsize=2572 CPUtime=0
/proc/27549/stat : 27549 (p2cudf-user-1.1) S 27548 27549 25521 34816 25544 4202496 376 0 0 0 0 0 0 0 18 0 1 0 900002885 2633728 272 1283457024 134512640 135304128 4291173968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27549/statm: 643 272 233 194 0 29 0
[pid=27550] ppid=27549 vsize=2576 CPUtime=0.03
/proc/27550/stat : 27550 (p2cudf) S 27549 27549 25521 34816 25544 4202496 394 2983 0 1 0 0 2 1 25 0 1 0 900002885 2637824 282 1283457024 134512640 135304128 4294635984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27550/statm: 644 282 241 194 0 30 0
[pid=27563] ppid=27550 vsize=871964 CPUtime=1.44
/proc/27563/stat : 27563 (java) S 27550 27549 25521 34816 25544 4202496 19549 0 1 0 132 12 0 0 25 0 10 0 900002890 892891136 17819 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27563/statm: 217991 17819 1741 10 0 215081 0
[pid=27563/tid=27564] ppid=27550 vsize=871964 CPUtime=0.92
/proc/27563/task/27564/stat : 27564 (java) R 27550 27549 25521 34816 25544 4202560 12873 0 1 0 83 9 0 0 25 0 10 0 900002891 892891136 17819 1283457024 134512640 134550932 4292681360 18446744073709551615 4095965110 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27563/tid=27565] ppid=27550 vsize=871964 CPUtime=0
/proc/27563/task/27565/stat : 27565 (java) S 27550 27549 25521 34816 25544 4202560 5 0 0 0 0 0 0 0 18 0 10 0 900002892 892891136 17819 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27566] ppid=27550 vsize=871964 CPUtime=0
/proc/27563/task/27566/stat : 27566 (java) S 27550 27549 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 25 0 10 0 900002893 892891136 17819 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27567] ppid=27550 vsize=871964 CPUtime=0
/proc/27563/task/27567/stat : 27567 (java) S 27550 27549 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 10 0 900002893 892891136 17819 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27568] ppid=27550 vsize=871964 CPUtime=0
/proc/27563/task/27568/stat : 27568 (java) S 27550 27549 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900002895 892891136 17819 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27569] ppid=27550 vsize=871964 CPUtime=0.26
/proc/27563/task/27569/stat : 27569 (java) R 27550 27549 25521 34816 25544 4202560 4582 0 0 0 24 2 0 0 21 0 10 0 900002895 892891136 17819 1283457024 134512640 134550932 4292681360 18446744073709551615 4151891880 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27563/tid=27570] ppid=27550 vsize=871964 CPUtime=0.24
/proc/27563/task/27570/stat : 27570 (java) R 27550 27549 25521 34816 25544 4202560 978 0 0 0 24 0 0 0 25 0 10 0 900002895 892891136 17819 1283457024 134512640 134550932 4292681360 18446744073709551615 4152664612 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27563/tid=27571] ppid=27550 vsize=871964 CPUtime=0
/proc/27563/task/27571/stat : 27571 (java) S 27550 27549 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 25 0 10 0 900002895 892891136 17819 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27572] ppid=27550 vsize=871964 CPUtime=0
/proc/27563/task/27572/stat : 27572 (java) S 27550 27549 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 10 0 900002895 892891136 17819 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 877112

[startup+3.10698 s]
/proc/loadavg: 1.08 1.11 0.91 4/49 27572
/proc/meminfo: memFree=396916/1048576 swapFree=2095372/2097144
[pid=27549] ppid=27548 vsize=2572 CPUtime=0
/proc/27549/stat : 27549 (p2cudf-user-1.1) S 27548 27549 25521 34816 25544 4202496 376 0 0 0 0 0 0 0 18 0 1 0 900002885 2633728 272 1283457024 134512640 135304128 4291173968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27549/statm: 643 272 233 194 0 29 0
[pid=27550] ppid=27549 vsize=2576 CPUtime=0.03
/proc/27550/stat : 27550 (p2cudf) S 27549 27549 25521 34816 25544 4202496 394 2983 0 1 0 0 2 1 25 0 1 0 900002885 2637824 282 1283457024 134512640 135304128 4294635984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27550/statm: 644 282 241 194 0 30 0
[pid=27563] ppid=27550 vsize=889208 CPUtime=3.04
/proc/27563/stat : 27563 (java) S 27550 27549 25521 34816 25544 4202496 57951 0 1 0 279 25 0 0 25 0 10 0 900002890 910548992 52782 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27563/statm: 222302 52782 1741 10 0 219392 0
[pid=27563/tid=27564] ppid=27550 vsize=889208 CPUtime=1.65
/proc/27563/task/27564/stat : 27564 (java) R 27550 27549 25521 34816 25544 4202560 43412 0 1 0 144 21 0 0 25 0 10 0 900002891 910548992 52782 1283457024 134512640 134550932 4292681360 18446744073709551615 4095883267 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27563/tid=27565] ppid=27550 vsize=889208 CPUtime=0
/proc/27563/task/27565/stat : 27565 (java) S 27550 27549 25521 34816 25544 4202560 5 0 0 0 0 0 0 0 18 0 10 0 900002892 910548992 52782 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27566] ppid=27550 vsize=889208 CPUtime=0
/proc/27563/task/27566/stat : 27566 (java) S 27550 27549 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 25 0 10 0 900002893 910548992 52782 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27567] ppid=27550 vsize=889208 CPUtime=0
/proc/27563/task/27567/stat : 27567 (java) S 27550 27549 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 10 0 900002893 910548992 52782 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27568] ppid=27550 vsize=889208 CPUtime=0
/proc/27563/task/27568/stat : 27568 (java) S 27550 27549 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900002895 910548992 52782 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27569] ppid=27550 vsize=889208 CPUtime=0.75
/proc/27563/task/27569/stat : 27569 (java) S 27550 27549 25521 34816 25544 4202560 8327 0 0 0 73 2 0 0 19 0 10 0 900002895 910548992 52782 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27570] ppid=27550 vsize=889208 CPUtime=0.6
/proc/27563/task/27570/stat : 27570 (java) S 27550 27549 25521 34816 25544 4202560 5096 0 0 0 60 0 0 0 21 0 10 0 900002895 910548992 52782 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27571] ppid=27550 vsize=889208 CPUtime=0
/proc/27563/task/27571/stat : 27571 (java) S 27550 27549 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 25 0 10 0 900002895 910548992 52782 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27572] ppid=27550 vsize=889208 CPUtime=0
/proc/27563/task/27572/stat : 27572 (java) S 27550 27549 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 10 0 900002895 910548992 52782 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 894356

[startup+6.30859 s]
/proc/loadavg: 1.23 1.14 0.92 3/50 27573
/proc/meminfo: memFree=195508/1048576 swapFree=2095372/2097144
[pid=27549] ppid=27548 vsize=2572 CPUtime=0
/proc/27549/stat : 27549 (p2cudf-user-1.1) S 27548 27549 25521 34816 25544 4202496 376 0 0 0 0 0 0 0 18 0 1 0 900002885 2633728 272 1283457024 134512640 135304128 4291173968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27549/statm: 643 272 233 194 0 29 0
[pid=27550] ppid=27549 vsize=2576 CPUtime=0.03
/proc/27550/stat : 27550 (p2cudf) S 27549 27549 25521 34816 25544 4202496 394 2983 0 1 0 0 2 1 25 0 1 0 900002885 2637824 282 1283457024 134512640 135304128 4294635984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27550/statm: 644 282 241 194 0 30 0
[pid=27563] ppid=27550 vsize=889532 CPUtime=6.23
/proc/27563/stat : 27563 (java) S 27550 27549 25521 34816 25544 4202496 81290 0 1 0 592 31 0 0 25 0 11 0 900002890 910880768 74251 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27563/statm: 222383 74251 1792 10 0 219473 0
[pid=27563/tid=27564] ppid=27550 vsize=889532 CPUtime=2.77
/proc/27563/task/27564/stat : 27564 (java) R 27550 27549 25521 34816 25544 4202560 50449 0 1 0 255 22 0 0 25 0 11 0 900002891 910880768 74251 1283457024 134512640 134550932 4292681360 18446744073709551615 4096657073 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27563/tid=27565] ppid=27550 vsize=889532 CPUtime=0.32
/proc/27563/task/27565/stat : 27565 (java) S 27550 27549 25521 34816 25544 4202560 13965 0 0 0 28 4 0 0 16 0 11 0 900002892 910880768 74251 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27566] ppid=27550 vsize=889532 CPUtime=0
/proc/27563/task/27566/stat : 27566 (java) S 27550 27549 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 18 0 11 0 900002893 910880768 74251 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27567] ppid=27550 vsize=889532 CPUtime=0
/proc/27563/task/27567/stat : 27567 (java) S 27550 27549 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900002893 910880768 74251 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27568] ppid=27550 vsize=889532 CPUtime=0
/proc/27563/task/27568/stat : 27568 (java) S 27550 27549 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900002895 910880768 74251 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27569] ppid=27550 vsize=889532 CPUtime=1.43
/proc/27563/task/27569/stat : 27569 (java) S 27550 27549 25521 34816 25544 4202560 10536 0 0 0 140 3 0 0 16 0 11 0 900002895 910880768 74251 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27570] ppid=27550 vsize=889532 CPUtime=1.68
/proc/27563/task/27570/stat : 27570 (java) S 27550 27549 25521 34816 25544 4202560 5223 0 0 0 168 0 0 0 15 0 11 0 900002895 910880768 74251 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27571] ppid=27550 vsize=889532 CPUtime=0
/proc/27563/task/27571/stat : 27571 (java) S 27550 27549 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 25 0 11 0 900002895 910880768 74251 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27572] ppid=27550 vsize=889532 CPUtime=0
/proc/27563/task/27572/stat : 27572 (java) S 27550 27549 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 900002895 910880768 74251 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27573] ppid=27550 vsize=889532 CPUtime=0
/proc/27563/task/27573/stat : 27573 (java) S 27550 27549 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 11 0 900003421 910880768 74251 1283457024 134512640 134550932 4292681360 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) 894680

[startup+12.7096 s]
/proc/loadavg: 1.21 1.14 0.92 2/50 27573
/proc/meminfo: memFree=161780/1048576 swapFree=2095372/2097144
[pid=27549] ppid=27548 vsize=2572 CPUtime=0
/proc/27549/stat : 27549 (p2cudf-user-1.1) S 27548 27549 25521 34816 25544 4202496 376 0 0 0 0 0 0 0 18 0 1 0 900002885 2633728 272 1283457024 134512640 135304128 4291173968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27549/statm: 643 272 233 194 0 29 0
[pid=27550] ppid=27549 vsize=2576 CPUtime=0.03
/proc/27550/stat : 27550 (p2cudf) S 27549 27549 25521 34816 25544 4202496 394 2983 0 1 0 0 2 1 25 0 1 0 900002885 2637824 282 1283457024 134512640 135304128 4294635984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27550/statm: 644 282 241 194 0 30 0
[pid=27563] ppid=27550 vsize=885140 CPUtime=12.63
/proc/27563/stat : 27563 (java) S 27550 27549 25521 34816 25544 4202496 90750 0 1 0 1230 33 0 0 25 0 11 0 900002890 906383360 82622 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27563/statm: 221285 82622 1793 10 0 218375 0
[pid=27563/tid=27564] ppid=27550 vsize=885140 CPUtime=8.47
/proc/27563/task/27564/stat : 27564 (java) R 27550 27549 25521 34816 25544 4202560 50449 0 1 0 825 22 0 0 25 0 11 0 900002891 906383360 82622 1283457024 134512640 134550932 4292681360 18446744073709551615 4096686992 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27563/tid=27565] ppid=27550 vsize=885140 CPUtime=0.73
/proc/27563/task/27565/stat : 27565 (java) S 27550 27549 25521 34816 25544 4202560 23349 0 0 0 67 6 0 0 15 0 11 0 900002892 906383360 82622 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27566] ppid=27550 vsize=885140 CPUtime=0
/proc/27563/task/27566/stat : 27566 (java) S 27550 27549 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 18 0 11 0 900002893 906383360 82622 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27567] ppid=27550 vsize=885140 CPUtime=0
/proc/27563/task/27567/stat : 27567 (java) S 27550 27549 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900002893 906383360 82622 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27568] ppid=27550 vsize=885140 CPUtime=0
/proc/27563/task/27568/stat : 27568 (java) S 27550 27549 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900002895 906383360 82622 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27569] ppid=27550 vsize=885140 CPUtime=1.43
/proc/27563/task/27569/stat : 27569 (java) S 27550 27549 25521 34816 25544 4202560 10536 0 0 0 140 3 0 0 16 0 11 0 900002895 906383360 82622 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27570] ppid=27550 vsize=885140 CPUtime=1.98
/proc/27563/task/27570/stat : 27570 (java) S 27550 27549 25521 34816 25544 4202560 5299 0 0 0 197 1 0 0 15 0 11 0 900002895 906383360 82622 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27571] ppid=27550 vsize=885140 CPUtime=0
/proc/27563/task/27571/stat : 27571 (java) S 27550 27549 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 25 0 11 0 900002895 906383360 82622 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27572] ppid=27550 vsize=885140 CPUtime=0
/proc/27563/task/27572/stat : 27572 (java) S 27550 27549 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 900002895 906383360 82622 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27573] ppid=27550 vsize=885140 CPUtime=0
/proc/27563/task/27573/stat : 27573 (java) S 27550 27549 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 11 0 900003421 906383360 82622 1283457024 134512640 134550932 4292681360 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) 890288

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

[startup+12.8096 s]
/proc/loadavg: 1.21 1.14 0.92 2/50 27573
/proc/meminfo: memFree=161780/1048576 swapFree=2095372/2097144
[pid=27549] ppid=27548 vsize=2572 CPUtime=0
/proc/27549/stat : 27549 (p2cudf-user-1.1) S 27548 27549 25521 34816 25544 4202496 376 0 0 0 0 0 0 0 18 0 1 0 900002885 2633728 272 1283457024 134512640 135304128 4291173968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27549/statm: 643 272 233 194 0 29 0
[pid=27550] ppid=27549 vsize=2576 CPUtime=0.03
/proc/27550/stat : 27550 (p2cudf) S 27549 27549 25521 34816 25544 4202496 394 2983 0 1 0 0 2 1 25 0 1 0 900002885 2637824 282 1283457024 134512640 135304128 4294635984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27550/statm: 644 282 241 194 0 30 0
[pid=27563] ppid=27550 vsize=885140 CPUtime=12.73
/proc/27563/stat : 27563 (java) S 27550 27549 25521 34816 25544 4202496 90750 0 1 0 1240 33 0 0 25 0 11 0 900002890 906383360 82622 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27563/statm: 221285 82622 1793 10 0 218375 0
[pid=27563/tid=27564] ppid=27550 vsize=885140 CPUtime=8.57
/proc/27563/task/27564/stat : 27564 (java) R 27550 27549 25521 34816 25544 4202560 50449 0 1 0 835 22 0 0 25 0 11 0 900002891 906383360 82622 1283457024 134512640 134550932 4292681360 18446744073709551615 4096730903 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27563/tid=27565] ppid=27550 vsize=885140 CPUtime=0.73
/proc/27563/task/27565/stat : 27565 (java) S 27550 27549 25521 34816 25544 4202560 23349 0 0 0 67 6 0 0 15 0 11 0 900002892 906383360 82622 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27566] ppid=27550 vsize=885140 CPUtime=0
/proc/27563/task/27566/stat : 27566 (java) S 27550 27549 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 18 0 11 0 900002893 906383360 82622 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27567] ppid=27550 vsize=885140 CPUtime=0
/proc/27563/task/27567/stat : 27567 (java) S 27550 27549 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900002893 906383360 82622 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27568] ppid=27550 vsize=885140 CPUtime=0
/proc/27563/task/27568/stat : 27568 (java) S 27550 27549 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900002895 906383360 82622 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27569] ppid=27550 vsize=885140 CPUtime=1.43
/proc/27563/task/27569/stat : 27569 (java) S 27550 27549 25521 34816 25544 4202560 10536 0 0 0 140 3 0 0 16 0 11 0 900002895 906383360 82622 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27570] ppid=27550 vsize=885140 CPUtime=1.98
/proc/27563/task/27570/stat : 27570 (java) S 27550 27549 25521 34816 25544 4202560 5299 0 0 0 197 1 0 0 15 0 11 0 900002895 906383360 82622 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27571] ppid=27550 vsize=885140 CPUtime=0
/proc/27563/task/27571/stat : 27571 (java) S 27550 27549 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 25 0 11 0 900002895 906383360 82622 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27572] ppid=27550 vsize=885140 CPUtime=0
/proc/27563/task/27572/stat : 27572 (java) S 27550 27549 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 900002895 906383360 82622 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27573] ppid=27550 vsize=885140 CPUtime=0
/proc/27563/task/27573/stat : 27573 (java) S 27550 27549 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 11 0 900003421 906383360 82622 1283457024 134512640 134550932 4292681360 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) 890288

[startup+16.0101 s]
/proc/loadavg: 1.20 1.14 0.92 2/50 27573
/proc/meminfo: memFree=161780/1048576 swapFree=2095372/2097144
[pid=27549] ppid=27548 vsize=2572 CPUtime=0
/proc/27549/stat : 27549 (p2cudf-user-1.1) S 27548 27549 25521 34816 25544 4202496 376 0 0 0 0 0 0 0 18 0 1 0 900002885 2633728 272 1283457024 134512640 135304128 4291173968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27549/statm: 643 272 233 194 0 29 0
[pid=27550] ppid=27549 vsize=2576 CPUtime=0.03
/proc/27550/stat : 27550 (p2cudf) S 27549 27549 25521 34816 25544 4202496 394 2983 0 1 0 0 2 1 25 0 1 0 900002885 2637824 282 1283457024 134512640 135304128 4294635984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27550/statm: 644 282 241 194 0 30 0
[pid=27563] ppid=27550 vsize=885140 CPUtime=15.93
/proc/27563/stat : 27563 (java) S 27550 27549 25521 34816 25544 4202496 90754 0 1 0 1560 33 0 0 25 0 11 0 900002890 906383360 82626 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27563/statm: 221285 82626 1793 10 0 218375 0
[pid=27563/tid=27564] ppid=27550 vsize=885140 CPUtime=11.74
/proc/27563/task/27564/stat : 27564 (java) R 27550 27549 25521 34816 25544 4202560 50449 0 1 0 1152 22 0 0 25 0 11 0 900002891 906383360 82626 1283457024 134512640 134550932 4292681360 18446744073709551615 4096599751 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27563/tid=27565] ppid=27550 vsize=885140 CPUtime=0.73
/proc/27563/task/27565/stat : 27565 (java) S 27550 27549 25521 34816 25544 4202560 23349 0 0 0 67 6 0 0 15 0 11 0 900002892 906383360 82626 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27566] ppid=27550 vsize=885140 CPUtime=0
/proc/27563/task/27566/stat : 27566 (java) S 27550 27549 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 18 0 11 0 900002893 906383360 82626 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27567] ppid=27550 vsize=885140 CPUtime=0
/proc/27563/task/27567/stat : 27567 (java) S 27550 27549 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900002893 906383360 82626 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27568] ppid=27550 vsize=885140 CPUtime=0
/proc/27563/task/27568/stat : 27568 (java) S 27550 27549 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900002895 906383360 82626 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27569] ppid=27550 vsize=885140 CPUtime=1.43
/proc/27563/task/27569/stat : 27569 (java) S 27550 27549 25521 34816 25544 4202560 10536 0 0 0 140 3 0 0 16 0 11 0 900002895 906383360 82626 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27570] ppid=27550 vsize=885140 CPUtime=2.01
/proc/27563/task/27570/stat : 27570 (java) S 27550 27549 25521 34816 25544 4202560 5303 0 0 0 200 1 0 0 15 0 11 0 900002895 906383360 82626 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27571] ppid=27550 vsize=885140 CPUtime=0
/proc/27563/task/27571/stat : 27571 (java) S 27550 27549 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 25 0 11 0 900002895 906383360 82626 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27572] ppid=27550 vsize=885140 CPUtime=0
/proc/27563/task/27572/stat : 27572 (java) S 27550 27549 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 900002895 906383360 82626 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27573] ppid=27550 vsize=885140 CPUtime=0
/proc/27563/task/27573/stat : 27573 (java) S 27550 27549 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 11 0 900003421 906383360 82626 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 15.96
Current children cumulated vsize (KiB) 890288

[startup+19.2105 s]
/proc/loadavg: 1.18 1.13 0.92 2/50 27573
/proc/meminfo: memFree=161036/1048576 swapFree=2095372/2097144
[pid=27549] ppid=27548 vsize=2572 CPUtime=0
/proc/27549/stat : 27549 (p2cudf-user-1.1) S 27548 27549 25521 34816 25544 4202496 376 0 0 0 0 0 0 0 18 0 1 0 900002885 2633728 272 1283457024 134512640 135304128 4291173968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27549/statm: 643 272 233 194 0 29 0
[pid=27550] ppid=27549 vsize=2576 CPUtime=0.03
/proc/27550/stat : 27550 (p2cudf) S 27549 27549 25521 34816 25544 4202496 394 2983 0 1 0 0 2 1 25 0 1 0 900002885 2637824 282 1283457024 134512640 135304128 4294635984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27550/statm: 644 282 241 194 0 30 0
[pid=27563] ppid=27550 vsize=885140 CPUtime=19.13
/proc/27563/stat : 27563 (java) S 27550 27549 25521 34816 25544 4202496 90931 0 1 0 1879 34 0 0 25 0 11 0 900002890 906383360 82803 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27563/statm: 221285 82803 1793 10 0 218375 0
[pid=27563/tid=27564] ppid=27550 vsize=885140 CPUtime=14.67
/proc/27563/task/27564/stat : 27564 (java) R 27550 27549 25521 34816 25544 4202560 50449 0 1 0 1444 23 0 0 25 0 11 0 900002891 906383360 82803 1283457024 134512640 134550932 4292681360 18446744073709551615 4096619673 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27563/tid=27565] ppid=27550 vsize=885140 CPUtime=1
/proc/27563/task/27565/stat : 27565 (java) S 27550 27549 25521 34816 25544 4202560 23525 0 0 0 94 6 0 0 15 0 11 0 900002892 906383360 82803 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27566] ppid=27550 vsize=885140 CPUtime=0
/proc/27563/task/27566/stat : 27566 (java) S 27550 27549 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 18 0 11 0 900002893 906383360 82803 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27567] ppid=27550 vsize=885140 CPUtime=0
/proc/27563/task/27567/stat : 27567 (java) S 27550 27549 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900002893 906383360 82803 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27568] ppid=27550 vsize=885140 CPUtime=0
/proc/27563/task/27568/stat : 27568 (java) S 27550 27549 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900002895 906383360 82803 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27569] ppid=27550 vsize=885140 CPUtime=1.43
/proc/27563/task/27569/stat : 27569 (java) S 27550 27549 25521 34816 25544 4202560 10536 0 0 0 140 3 0 0 16 0 11 0 900002895 906383360 82803 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27570] ppid=27550 vsize=885140 CPUtime=2.01
/proc/27563/task/27570/stat : 27570 (java) S 27550 27549 25521 34816 25544 4202560 5304 0 0 0 200 1 0 0 15 0 11 0 900002895 906383360 82803 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27571] ppid=27550 vsize=885140 CPUtime=0
/proc/27563/task/27571/stat : 27571 (java) S 27550 27549 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 25 0 11 0 900002895 906383360 82803 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27572] ppid=27550 vsize=885140 CPUtime=0
/proc/27563/task/27572/stat : 27572 (java) R 27550 27549 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 900002895 906383360 82803 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27563/tid=27573] ppid=27550 vsize=885140 CPUtime=0
/proc/27563/task/27573/stat : 27573 (java) S 27550 27549 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 11 0 900003421 906383360 82803 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19.16
Current children cumulated vsize (KiB) 890288

[startup+20.8107 s]
/proc/loadavg: 1.18 1.13 0.92 3/50 27573
/proc/meminfo: memFree=161036/1048576 swapFree=2095372/2097144
[pid=27549] ppid=27548 vsize=2572 CPUtime=0
/proc/27549/stat : 27549 (p2cudf-user-1.1) S 27548 27549 25521 34816 25544 4202496 376 0 0 0 0 0 0 0 18 0 1 0 900002885 2633728 272 1283457024 134512640 135304128 4291173968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27549/statm: 643 272 233 194 0 29 0
[pid=27550] ppid=27549 vsize=2576 CPUtime=0.03
/proc/27550/stat : 27550 (p2cudf) S 27549 27549 25521 34816 25544 4202496 394 2983 0 1 0 0 2 1 25 0 1 0 900002885 2637824 282 1283457024 134512640 135304128 4294635984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27550/statm: 644 282 241 194 0 30 0
[pid=27563] ppid=27550 vsize=885140 CPUtime=20.73
/proc/27563/stat : 27563 (java) S 27550 27549 25521 34816 25544 4202496 90931 0 1 0 2039 34 0 0 25 0 11 0 900002890 906383360 82803 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27563/statm: 221285 82803 1793 10 0 218375 0
[pid=27563/tid=27564] ppid=27550 vsize=885140 CPUtime=16.27
/proc/27563/task/27564/stat : 27564 (java) R 27550 27549 25521 34816 25544 4202560 50449 0 1 0 1604 23 0 0 25 0 11 0 900002891 906383360 82803 1283457024 134512640 134550932 4292681360 18446744073709551615 4096621679 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27563/tid=27565] ppid=27550 vsize=885140 CPUtime=1
/proc/27563/task/27565/stat : 27565 (java) S 27550 27549 25521 34816 25544 4202560 23525 0 0 0 94 6 0 0 15 0 11 0 900002892 906383360 82803 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27566] ppid=27550 vsize=885140 CPUtime=0
/proc/27563/task/27566/stat : 27566 (java) S 27550 27549 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 18 0 11 0 900002893 906383360 82803 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27567] ppid=27550 vsize=885140 CPUtime=0
/proc/27563/task/27567/stat : 27567 (java) S 27550 27549 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900002893 906383360 82803 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27568] ppid=27550 vsize=885140 CPUtime=0
/proc/27563/task/27568/stat : 27568 (java) S 27550 27549 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900002895 906383360 82803 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27569] ppid=27550 vsize=885140 CPUtime=1.43
/proc/27563/task/27569/stat : 27569 (java) S 27550 27549 25521 34816 25544 4202560 10536 0 0 0 140 3 0 0 16 0 11 0 900002895 906383360 82803 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27570] ppid=27550 vsize=885140 CPUtime=2.01
/proc/27563/task/27570/stat : 27570 (java) S 27550 27549 25521 34816 25544 4202560 5304 0 0 0 200 1 0 0 15 0 11 0 900002895 906383360 82803 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27571] ppid=27550 vsize=885140 CPUtime=0
/proc/27563/task/27571/stat : 27571 (java) S 27550 27549 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 25 0 11 0 900002895 906383360 82803 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27572] ppid=27550 vsize=885140 CPUtime=0
/proc/27563/task/27572/stat : 27572 (java) S 27550 27549 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 900002895 906383360 82803 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27573] ppid=27550 vsize=885140 CPUtime=0
/proc/27563/task/27573/stat : 27573 (java) S 27550 27549 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 11 0 900003421 906383360 82803 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 20.76
Current children cumulated vsize (KiB) 890288

[startup+21.2001 s]
/proc/loadavg: 1.18 1.13 0.92 2/50 27573
/proc/meminfo: memFree=161036/1048576 swapFree=2095372/2097144
[pid=27549] ppid=27548 vsize=2572 CPUtime=0
/proc/27549/stat : 27549 (p2cudf-user-1.1) S 27548 27549 25521 34816 25544 4202496 376 0 0 0 0 0 0 0 18 0 1 0 900002885 2633728 272 1283457024 134512640 135304128 4291173968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27549/statm: 643 272 233 194 0 29 0
[pid=27550] ppid=27549 vsize=2576 CPUtime=0.03
/proc/27550/stat : 27550 (p2cudf) S 27549 27549 25521 34816 25544 4202496 394 2983 0 1 0 0 2 1 25 0 1 0 900002885 2637824 282 1283457024 134512640 135304128 4294635984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27550/statm: 644 282 241 194 0 30 0
[pid=27563] ppid=27550 vsize=885464 CPUtime=21.04
/proc/27563/stat : 27563 (java) S 27550 27549 25521 34816 25544 4202496 90946 0 1 0 2070 34 0 0 25 0 12 0 900002890 906715136 82818 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27563/statm: 221366 82818 1793 10 0 218456 0
[pid=27563/tid=27564] ppid=27550 vsize=885464 CPUtime=16.56
/proc/27563/task/27564/stat : 27564 (java) S 27550 27549 25521 34816 25544 4202560 50457 0 1 0 1633 23 0 0 25 0 12 0 900002891 906715136 82818 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27565] ppid=27550 vsize=885464 CPUtime=1
/proc/27563/task/27565/stat : 27565 (java) S 27550 27549 25521 34816 25544 4202560 23525 0 0 0 94 6 0 0 15 0 12 0 900002892 906715136 82818 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27566] ppid=27550 vsize=885464 CPUtime=0
/proc/27563/task/27566/stat : 27566 (java) S 27550 27549 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 18 0 12 0 900002893 906715136 82818 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27567] ppid=27550 vsize=885464 CPUtime=0
/proc/27563/task/27567/stat : 27567 (java) S 27550 27549 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 12 0 900002893 906715136 82818 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27568] ppid=27550 vsize=885464 CPUtime=0
/proc/27563/task/27568/stat : 27568 (java) S 27550 27549 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 12 0 900002895 906715136 82818 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27569] ppid=27550 vsize=885464 CPUtime=1.43
/proc/27563/task/27569/stat : 27569 (java) S 27550 27549 25521 34816 25544 4202560 10536 0 0 0 140 3 0 0 16 0 12 0 900002895 906715136 82818 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27570] ppid=27550 vsize=885464 CPUtime=2.03
/proc/27563/task/27570/stat : 27570 (java) S 27550 27549 25521 34816 25544 4202560 5307 0 0 0 202 1 0 0 15 0 12 0 900002895 906715136 82818 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27571] ppid=27550 vsize=885464 CPUtime=0
/proc/27563/task/27571/stat : 27571 (java) S 27550 27549 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 25 0 12 0 900002895 906715136 82818 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27572] ppid=27550 vsize=885464 CPUtime=0
/proc/27563/task/27572/stat : 27572 (java) S 27550 27549 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 12 0 900002895 906715136 82818 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27573] ppid=27550 vsize=885464 CPUtime=0
/proc/27563/task/27573/stat : 27573 (java) S 27550 27549 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 12 0 900003421 906715136 82818 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 21.07
Current children cumulated vsize (KiB) 890612

[startup+21.605 s]
/proc/loadavg: 1.18 1.13 0.92 2/50 27573
/proc/meminfo: memFree=161036/1048576 swapFree=2095372/2097144
[pid=27549] ppid=27548 vsize=2572 CPUtime=0
/proc/27549/stat : 27549 (p2cudf-user-1.1) S 27548 27549 25521 34816 25544 4202496 376 0 0 0 0 0 0 0 18 0 1 0 900002885 2633728 272 1283457024 134512640 135304128 4291173968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27549/statm: 643 272 233 194 0 29 0
[pid=27550] ppid=27549 vsize=2576 CPUtime=0.03
/proc/27550/stat : 27550 (p2cudf) S 27549 27549 25521 34816 25544 4202496 394 2983 0 1 0 0 2 1 25 0 1 0 900002885 2637824 282 1283457024 134512640 135304128 4294635984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27550/statm: 644 282 241 194 0 30 0
[pid=27563] ppid=27550 vsize=885464 CPUtime=21.04
/proc/27563/stat : 27563 (java) S 27550 27549 25521 34816 25544 4202496 90946 0 1 0 2070 34 0 0 25 0 12 0 900002890 906715136 82818 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27563/statm: 221366 82818 1793 10 0 218456 0
[pid=27563/tid=27564] ppid=27550 vsize=885464 CPUtime=16.56
/proc/27563/task/27564/stat : 27564 (java) S 27550 27549 25521 34816 25544 4202560 50457 0 1 0 1633 23 0 0 25 0 12 0 900002891 906715136 82818 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27565] ppid=27550 vsize=885464 CPUtime=1
/proc/27563/task/27565/stat : 27565 (java) S 27550 27549 25521 34816 25544 4202560 23525 0 0 0 94 6 0 0 15 0 12 0 900002892 906715136 82818 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27566] ppid=27550 vsize=885464 CPUtime=0
/proc/27563/task/27566/stat : 27566 (java) S 27550 27549 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 18 0 12 0 900002893 906715136 82818 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27567] ppid=27550 vsize=885464 CPUtime=0
/proc/27563/task/27567/stat : 27567 (java) S 27550 27549 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 12 0 900002893 906715136 82818 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27568] ppid=27550 vsize=885464 CPUtime=0
/proc/27563/task/27568/stat : 27568 (java) S 27550 27549 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 12 0 900002895 906715136 82818 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27569] ppid=27550 vsize=885464 CPUtime=1.43
/proc/27563/task/27569/stat : 27569 (java) S 27550 27549 25521 34816 25544 4202560 10536 0 0 0 140 3 0 0 16 0 12 0 900002895 906715136 82818 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27570] ppid=27550 vsize=885464 CPUtime=2.03
/proc/27563/task/27570/stat : 27570 (java) S 27550 27549 25521 34816 25544 4202560 5307 0 0 0 202 1 0 0 15 0 12 0 900002895 906715136 82818 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27571] ppid=27550 vsize=885464 CPUtime=0
/proc/27563/task/27571/stat : 27571 (java) S 27550 27549 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 25 0 12 0 900002895 906715136 82818 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27572] ppid=27550 vsize=885464 CPUtime=0
/proc/27563/task/27572/stat : 27572 (java) S 27550 27549 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 12 0 900002895 906715136 82818 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27563/tid=27573] ppid=27550 vsize=885464 CPUtime=0
/proc/27563/task/27573/stat : 27573 (java) S 27550 27549 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 12 0 900003421 906715136 82818 1283457024 134512640 134550932 4292681360 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 21.07
Current children cumulated vsize (KiB) 890612

[startup+21.709 s]
/proc/loadavg: 1.18 1.13 0.92 2/50 27573
/proc/meminfo: memFree=161036/1048576 swapFree=2095372/2097144
[pid=27549] ppid=27548 vsize=2572 CPUtime=0
/proc/27549/stat : 27549 (p2cudf-user-1.1) S 27548 27549 25521 34816 25544 4202496 376 0 0 0 0 0 0 0 18 0 1 0 900002885 2633728 272 1283457024 134512640 135304128 4291173968 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27549/statm: 643 272 233 194 0 29 0
[pid=27550] ppid=27549 vsize=2576 CPUtime=0.03
/proc/27550/stat : 27550 (p2cudf) S 27549 27549 25521 34816 25544 4202496 394 2983 0 1 0 0 2 1 25 0 1 0 900002885 2637824 282 1283457024 134512640 135304128 4294635984 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27550/statm: 644 282 241 194 0 30 0
[pid=27563] ppid=27550 vsize=0 CPUtime=21.11
/proc/27563/stat : 27563 (java) Z 27550 27549 25521 34816 25544 4203532 90951 0 1 0 2072 39 0 0 18 0 2 0 900002890 0 0 1283457024 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27563/statm: 0 0 0 0 0 0 0
[pid=27563/tid=27564] ppid=27550 vsize=0 CPUtime=16.59
/proc/27563/task/27564/stat : 27564 (java) R 27550 27549 25521 34816 25544 4203588 50458 0 1 0 1633 26 0 0 20 0 2 0 900002891 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) 21.14
Current children cumulated vsize (KiB) 5148

Child status: 0
Real time (s): 21.726
CPU time (s): 21.1533
CPU user time (s): 20.7413
CPU system time (s): 0.412025
CPU usage (%): 97.3641
Max. virtual memory (cumulated for all children) (KiB): 898044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.7413
system time used= 0.412025
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94722
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= 1102
involuntary context switches= 1287

runsolver used 0 second user time and 0.008 second system time

The end