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/9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./p2cudf-user-1.10 /home/misc2010/data/2010/debian-dudf//9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf /home/misc2010/tmp/201012091434/p2cudf-user-1.10/9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debian-dudf.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.18 1.06 1.01 3/39 31710
/proc/meminfo: memFree=396236/1048576 swapFree=2095372/2097144
[pid=31709] ppid=31708 vsize=2572 CPUtime=0
/proc/31709/stat : 31709 (p2cudf-user-1.1) R 31708 31709 25521 34816 25544 4202496 360 0 0 0 0 0 0 0 25 0 1 0 900484789 2633728 274 1283457024 134512640 135304128 4289729728 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/31709/statm: 643 274 233 194 0 29 0
[pid=31710] ppid=31709 vsize=2572 CPUtime=0
/proc/31710/stat : 31710 (p2cudf-user-1.1) R 31709 31709 25521 34816 25544 4202560 0 0 0 0 0 0 0 0 25 0 1 0 900484789 2633728 41 1283457024 134512640 135304128 4289729728 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/31710/statm: 643 41 0 194 0 29 0

[startup+0.124415 s]
/proc/loadavg: 1.18 1.06 1.01 3/39 31710
/proc/meminfo: memFree=396236/1048576 swapFree=2095372/2097144
[pid=31709] ppid=31708 vsize=2572 CPUtime=0
/proc/31709/stat : 31709 (p2cudf-user-1.1) S 31708 31709 25521 34816 25544 4202496 379 0 0 0 0 0 0 0 25 0 1 0 900484789 2633728 274 1283457024 134512640 135304128 4289729728 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31709/statm: 643 274 233 194 0 29 0
[pid=31710] ppid=31709 vsize=2576 CPUtime=0.03
/proc/31710/stat : 31710 (p2cudf) S 31709 31709 25521 34816 25544 4202496 392 2992 0 1 0 1 2 0 25 0 1 0 900484789 2637824 282 1283457024 134512640 135304128 4290125120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31710/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5148

[startup+0.204441 s]
/proc/loadavg: 1.18 1.06 1.01 3/39 31710
/proc/meminfo: memFree=396236/1048576 swapFree=2095372/2097144
[pid=31709] ppid=31708 vsize=2572 CPUtime=0
/proc/31709/stat : 31709 (p2cudf-user-1.1) S 31708 31709 25521 34816 25544 4202496 379 0 0 0 0 0 0 0 25 0 1 0 900484789 2633728 274 1283457024 134512640 135304128 4289729728 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31709/statm: 643 274 233 194 0 29 0
[pid=31710] ppid=31709 vsize=2576 CPUtime=0.03
/proc/31710/stat : 31710 (p2cudf) S 31709 31709 25521 34816 25544 4202496 392 2992 0 1 0 1 2 0 25 0 1 0 900484789 2637824 282 1283457024 134512640 135304128 4290125120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31710/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5148

[startup+0.304457 s]
/proc/loadavg: 1.18 1.06 1.01 3/39 31710
/proc/meminfo: memFree=396236/1048576 swapFree=2095372/2097144
[pid=31709] ppid=31708 vsize=2572 CPUtime=0
/proc/31709/stat : 31709 (p2cudf-user-1.1) S 31708 31709 25521 34816 25544 4202496 379 0 0 0 0 0 0 0 25 0 1 0 900484789 2633728 274 1283457024 134512640 135304128 4289729728 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31709/statm: 643 274 233 194 0 29 0
[pid=31710] ppid=31709 vsize=2576 CPUtime=0.03
/proc/31710/stat : 31710 (p2cudf) S 31709 31709 25521 34816 25544 4202496 392 2992 0 1 0 1 2 0 25 0 1 0 900484789 2637824 282 1283457024 134512640 135304128 4290125120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31710/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5148

[startup+0.704504 s]
/proc/loadavg: 1.18 1.06 1.01 3/39 31710
/proc/meminfo: memFree=396236/1048576 swapFree=2095372/2097144
[pid=31709] ppid=31708 vsize=2572 CPUtime=0
/proc/31709/stat : 31709 (p2cudf-user-1.1) S 31708 31709 25521 34816 25544 4202496 379 0 0 0 0 0 0 0 25 0 1 0 900484789 2633728 274 1283457024 134512640 135304128 4289729728 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31709/statm: 643 274 233 194 0 29 0
[pid=31710] ppid=31709 vsize=2576 CPUtime=0.03
/proc/31710/stat : 31710 (p2cudf) S 31709 31709 25521 34816 25544 4202496 392 2992 0 1 0 1 2 0 25 0 1 0 900484789 2637824 282 1283457024 134512640 135304128 4290125120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31710/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.18 1.06 1.01 5/50 31732
/proc/meminfo: memFree=353268/1048576 swapFree=2095372/2097144
[pid=31709] ppid=31708 vsize=2572 CPUtime=0
/proc/31709/stat : 31709 (p2cudf-user-1.1) S 31708 31709 25521 34816 25544 4202496 379 0 0 0 0 0 0 0 25 0 1 0 900484789 2633728 274 1283457024 134512640 135304128 4289729728 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31709/statm: 643 274 233 194 0 29 0
[pid=31710] ppid=31709 vsize=2576 CPUtime=0.03
/proc/31710/stat : 31710 (p2cudf) S 31709 31709 25521 34816 25544 4202496 392 2992 0 1 0 1 2 0 25 0 1 0 900484789 2637824 282 1283457024 134512640 135304128 4290125120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31710/statm: 644 282 241 194 0 30 0
[pid=31723] ppid=31710 vsize=883108 CPUtime=1.47
/proc/31723/stat : 31723 (java) S 31710 31709 25521 34816 25544 4202496 21304 0 1 0 142 5 0 0 25 0 10 0 900484793 904302592 17511 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31723/statm: 220777 17511 1729 10 0 217867 0
[pid=31723/tid=31724] ppid=31710 vsize=883108 CPUtime=0.79
/proc/31723/task/31724/stat : 31724 (java) R 31710 31709 25521 34816 25544 4202560 10414 0 1 0 76 3 0 0 25 0 10 0 900484793 904302592 17511 1283457024 134512640 134550932 4294297568 18446744073709551615 4095105176 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31723/tid=31725] ppid=31710 vsize=883108 CPUtime=0
/proc/31723/task/31725/stat : 31725 (java) S 31710 31709 25521 34816 25544 4202560 5 0 0 0 0 0 0 0 18 0 10 0 900484795 904302592 17511 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 0 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31726] ppid=31710 vsize=883108 CPUtime=0
/proc/31723/task/31726/stat : 31726 (java) S 31710 31709 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 25 0 10 0 900484795 904302592 17511 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31727] ppid=31710 vsize=883108 CPUtime=0
/proc/31723/task/31727/stat : 31727 (java) S 31710 31709 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 10 0 900484795 904302592 17511 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31728] ppid=31710 vsize=883108 CPUtime=0
/proc/31723/task/31728/stat : 31728 (java) S 31710 31709 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900484798 904302592 17511 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31729] ppid=31710 vsize=883108 CPUtime=0.38
/proc/31723/task/31729/stat : 31729 (java) R 31710 31709 25521 34816 25544 4202560 6884 0 0 0 38 0 0 0 22 0 10 0 900484798 904302592 17511 1283457024 134512640 134550932 4294297568 18446744073709551615 4148836828 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31723/tid=31730] ppid=31710 vsize=883108 CPUtime=0.27
/proc/31723/task/31730/stat : 31730 (java) R 31710 31709 25521 34816 25544 4202560 2892 0 0 0 27 0 0 0 25 0 10 0 900484798 904302592 17511 1283457024 134512640 134550932 4294297568 18446744073709551615 4151591635 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31723/tid=31731] ppid=31710 vsize=883108 CPUtime=0
/proc/31723/task/31731/stat : 31731 (java) S 31710 31709 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900484798 904302592 17511 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31732] ppid=31710 vsize=883108 CPUtime=0
/proc/31723/task/31732/stat : 31732 (java) S 31710 31709 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 10 0 900484798 904302592 17511 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 888256

[startup+3.10494 s]
/proc/loadavg: 1.18 1.06 1.01 4/50 31732
/proc/meminfo: memFree=297420/1048576 swapFree=2095372/2097144
[pid=31709] ppid=31708 vsize=2572 CPUtime=0
/proc/31709/stat : 31709 (p2cudf-user-1.1) S 31708 31709 25521 34816 25544 4202496 379 0 0 0 0 0 0 0 25 0 1 0 900484789 2633728 274 1283457024 134512640 135304128 4289729728 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31709/statm: 643 274 233 194 0 29 0
[pid=31710] ppid=31709 vsize=2576 CPUtime=0.03
/proc/31710/stat : 31710 (p2cudf) S 31709 31709 25521 34816 25544 4202496 392 2992 0 1 0 1 2 0 25 0 1 0 900484789 2637824 282 1283457024 134512640 135304128 4290125120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31710/statm: 644 282 241 194 0 30 0
[pid=31723] ppid=31710 vsize=919868 CPUtime=3.07
/proc/31723/stat : 31723 (java) S 31710 31709 25521 34816 25544 4202496 42170 0 1 0 298 9 0 0 25 0 10 0 900484793 941944832 31503 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31723/statm: 229967 31503 1732 10 0 227057 0
[pid=31723/tid=31724] ppid=31710 vsize=919868 CPUtime=1.01
/proc/31723/task/31724/stat : 31724 (java) R 31710 31709 25521 34816 25544 4202560 14906 0 1 0 97 4 0 0 25 0 10 0 900484793 941944832 31503 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31723/tid=31725] ppid=31710 vsize=919868 CPUtime=0
/proc/31723/task/31725/stat : 31725 (java) S 31710 31709 25521 34816 25544 4202560 5 0 0 0 0 0 0 0 18 0 10 0 900484795 941944832 31503 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 0 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31726] ppid=31710 vsize=919868 CPUtime=0
/proc/31723/task/31726/stat : 31726 (java) S 31710 31709 25521 34816 25544 4202560 9 0 0 0 0 0 0 0 25 0 10 0 900484795 941944832 31503 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31727] ppid=31710 vsize=919868 CPUtime=0
/proc/31723/task/31727/stat : 31727 (java) S 31710 31709 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 10 0 900484795 941944832 31503 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31728] ppid=31710 vsize=919868 CPUtime=0
/proc/31723/task/31728/stat : 31728 (java) S 31710 31709 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900484798 941944832 31503 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31729] ppid=31710 vsize=919868 CPUtime=1.05
/proc/31723/task/31729/stat : 31729 (java) R 31710 31709 25521 34816 25544 4202560 15123 0 0 0 104 1 0 0 25 0 10 0 900484798 941944832 31503 1283457024 134512640 134550932 4294297568 18446744073709551615 4147874174 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31723/tid=31730] ppid=31710 vsize=919868 CPUtime=0.98
/proc/31723/task/31730/stat : 31730 (java) R 31710 31709 25521 34816 25544 4202560 11027 0 0 0 96 2 0 0 25 0 10 0 900484798 941944832 31503 1283457024 134512640 134550932 4294297568 18446744073709551615 4149702518 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31723/tid=31731] ppid=31710 vsize=919868 CPUtime=0
/proc/31723/task/31731/stat : 31731 (java) S 31710 31709 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900484798 941944832 31503 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31732] ppid=31710 vsize=919868 CPUtime=0
/proc/31723/task/31732/stat : 31732 (java) S 31710 31709 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 10 0 900484798 941944832 31503 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 925016

[startup+6.32797 s]
/proc/loadavg: 1.24 1.08 1.02 2/50 31732
/proc/meminfo: memFree=60976/1048576 swapFree=2095372/2097144
[pid=31709] ppid=31708 vsize=2572 CPUtime=0
/proc/31709/stat : 31709 (p2cudf-user-1.1) S 31708 31709 25521 34816 25544 4202496 379 0 0 0 0 0 0 0 25 0 1 0 900484789 2633728 274 1283457024 134512640 135304128 4289729728 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31709/statm: 643 274 233 194 0 29 0
[pid=31710] ppid=31709 vsize=2576 CPUtime=0.03
/proc/31710/stat : 31710 (p2cudf) S 31709 31709 25521 34816 25544 4202496 392 2992 0 1 0 1 2 0 25 0 1 0 900484789 2637824 282 1283457024 134512640 135304128 4290125120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31710/statm: 644 282 241 194 0 30 0
[pid=31723] ppid=31710 vsize=916624 CPUtime=6.11
/proc/31723/stat : 31723 (java) S 31710 31709 25521 34816 25544 4202496 93547 0 1 0 584 27 0 0 25 0 10 0 900484793 938622976 81997 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31723/statm: 229156 81997 1764 10 0 226246 0
[pid=31723/tid=31724] ppid=31710 vsize=916624 CPUtime=2.45
/proc/31723/task/31724/stat : 31724 (java) R 31710 31709 25521 34816 25544 4202560 50393 0 1 0 226 19 0 0 25 0 10 0 900484793 938622976 81997 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31723/tid=31725] ppid=31710 vsize=916624 CPUtime=0.33
/proc/31723/task/31725/stat : 31725 (java) R 31710 31709 25521 34816 25544 4202560 15009 0 0 0 30 3 0 0 15 0 10 0 900484795 938622976 81997 1283457024 134512640 134550932 4294297568 18446744073709551615 4151952393 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=31723/tid=31726] ppid=31710 vsize=916624 CPUtime=0
/proc/31723/task/31726/stat : 31726 (java) S 31710 31709 25521 34816 25544 4202560 10 0 0 0 0 0 0 0 18 0 10 0 900484795 938622976 81997 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31727] ppid=31710 vsize=916624 CPUtime=0
/proc/31723/task/31727/stat : 31727 (java) S 31710 31709 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 10 0 900484795 938622976 81997 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31728] ppid=31710 vsize=916624 CPUtime=0
/proc/31723/task/31728/stat : 31728 (java) S 31710 31709 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900484798 938622976 81997 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31729] ppid=31710 vsize=916624 CPUtime=1.11
/proc/31723/task/31729/stat : 31729 (java) S 31710 31709 25521 34816 25544 4202560 15199 0 0 0 110 1 0 0 25 0 10 0 900484798 938622976 81997 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31730] ppid=31710 vsize=916624 CPUtime=2.19
/proc/31723/task/31730/stat : 31730 (java) S 31710 31709 25521 34816 25544 4202560 11834 0 0 0 217 2 0 0 16 0 10 0 900484798 938622976 81997 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31731] ppid=31710 vsize=916624 CPUtime=0
/proc/31723/task/31731/stat : 31731 (java) S 31710 31709 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900484798 938622976 81997 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31732] ppid=31710 vsize=916624 CPUtime=0
/proc/31723/task/31732/stat : 31732 (java) S 31710 31709 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 10 0 900484798 938622976 81997 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 921772

[startup+12.7097 s]
/proc/loadavg: 1.22 1.07 1.02 2/51 31733
/proc/meminfo: memFree=5856/1048576 swapFree=2095372/2097144
[pid=31709] ppid=31708 vsize=2572 CPUtime=0
/proc/31709/stat : 31709 (p2cudf-user-1.1) S 31708 31709 25521 34816 25544 4202496 379 0 0 0 0 0 0 0 25 0 1 0 900484789 2633728 274 1283457024 134512640 135304128 4289729728 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31709/statm: 643 274 233 194 0 29 0
[pid=31710] ppid=31709 vsize=2576 CPUtime=0.03
/proc/31710/stat : 31710 (p2cudf) S 31709 31709 25521 34816 25544 4202496 392 2992 0 1 0 1 2 0 25 0 1 0 900484789 2637824 282 1283457024 134512640 135304128 4290125120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31710/statm: 644 282 241 194 0 30 0
[pid=31723] ppid=31710 vsize=916404 CPUtime=12.5
/proc/31723/stat : 31723 (java) S 31710 31709 25521 34816 25544 4202496 110591 0 1 0 1214 36 0 0 25 0 11 0 900484793 938397696 98905 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31723/statm: 229101 98905 1792 10 0 226191 0
[pid=31723/tid=31724] ppid=31710 vsize=916404 CPUtime=6.91
/proc/31723/task/31724/stat : 31724 (java) R 31710 31709 25521 34816 25544 4202560 50470 0 1 0 671 20 0 0 25 0 11 0 900484793 938397696 98905 1283457024 134512640 134550932 4294297568 18446744073709551615 4095738642 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31723/tid=31725] ppid=31710 vsize=916404 CPUtime=0.82
/proc/31723/task/31725/stat : 31725 (java) S 31710 31709 25521 34816 25544 4202560 31765 0 0 0 72 10 0 0 16 0 11 0 900484795 938397696 98905 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 0 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31726] ppid=31710 vsize=916404 CPUtime=0
/proc/31723/task/31726/stat : 31726 (java) S 31710 31709 25521 34816 25544 4202560 10 0 0 0 0 0 0 0 18 0 11 0 900484795 938397696 98905 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31727] ppid=31710 vsize=916404 CPUtime=0
/proc/31723/task/31727/stat : 31727 (java) S 31710 31709 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900484795 938397696 98905 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31728] ppid=31710 vsize=916404 CPUtime=0
/proc/31723/task/31728/stat : 31728 (java) S 31710 31709 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900484798 938397696 98905 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31729] ppid=31710 vsize=916404 CPUtime=1.11
/proc/31723/task/31729/stat : 31729 (java) S 31710 31709 25521 34816 25544 4202560 15199 0 0 0 110 1 0 0 25 0 11 0 900484798 938397696 98905 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31730] ppid=31710 vsize=916404 CPUtime=3.62
/proc/31723/task/31730/stat : 31730 (java) S 31710 31709 25521 34816 25544 4202560 12041 0 0 0 358 4 0 0 15 0 11 0 900484798 938397696 98905 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31731] ppid=31710 vsize=916404 CPUtime=0
/proc/31723/task/31731/stat : 31731 (java) S 31710 31709 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900484798 938397696 98905 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31732] ppid=31710 vsize=916404 CPUtime=0
/proc/31723/task/31732/stat : 31732 (java) S 31710 31709 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 900484798 938397696 98905 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31733] ppid=31710 vsize=916404 CPUtime=0
/proc/31723/task/31733/stat : 31733 (java) S 31710 31709 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 11 0 900485663 938397696 98905 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 921552

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

[startup+12.8098 s]
/proc/loadavg: 1.22 1.07 1.02 2/51 31733
/proc/meminfo: memFree=5856/1048576 swapFree=2095372/2097144
[pid=31709] ppid=31708 vsize=2572 CPUtime=0
/proc/31709/stat : 31709 (p2cudf-user-1.1) S 31708 31709 25521 34816 25544 4202496 379 0 0 0 0 0 0 0 25 0 1 0 900484789 2633728 274 1283457024 134512640 135304128 4289729728 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31709/statm: 643 274 233 194 0 29 0
[pid=31710] ppid=31709 vsize=2576 CPUtime=0.03
/proc/31710/stat : 31710 (p2cudf) S 31709 31709 25521 34816 25544 4202496 392 2992 0 1 0 1 2 0 25 0 1 0 900484789 2637824 282 1283457024 134512640 135304128 4290125120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31710/statm: 644 282 241 194 0 30 0
[pid=31723] ppid=31710 vsize=916404 CPUtime=12.6
/proc/31723/stat : 31723 (java) S 31710 31709 25521 34816 25544 4202496 110591 0 1 0 1224 36 0 0 25 0 11 0 900484793 938397696 98905 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31723/statm: 229101 98905 1792 10 0 226191 0
[pid=31723/tid=31724] ppid=31710 vsize=916404 CPUtime=7.01
/proc/31723/task/31724/stat : 31724 (java) R 31710 31709 25521 34816 25544 4202560 50470 0 1 0 681 20 0 0 25 0 11 0 900484793 938397696 98905 1283457024 134512640 134550932 4294297568 18446744073709551615 4096747924 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31723/tid=31725] ppid=31710 vsize=916404 CPUtime=0.82
/proc/31723/task/31725/stat : 31725 (java) S 31710 31709 25521 34816 25544 4202560 31765 0 0 0 72 10 0 0 16 0 11 0 900484795 938397696 98905 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 0 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31726] ppid=31710 vsize=916404 CPUtime=0
/proc/31723/task/31726/stat : 31726 (java) S 31710 31709 25521 34816 25544 4202560 10 0 0 0 0 0 0 0 18 0 11 0 900484795 938397696 98905 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31727] ppid=31710 vsize=916404 CPUtime=0
/proc/31723/task/31727/stat : 31727 (java) S 31710 31709 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900484795 938397696 98905 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31728] ppid=31710 vsize=916404 CPUtime=0
/proc/31723/task/31728/stat : 31728 (java) S 31710 31709 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900484798 938397696 98905 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31729] ppid=31710 vsize=916404 CPUtime=1.11
/proc/31723/task/31729/stat : 31729 (java) S 31710 31709 25521 34816 25544 4202560 15199 0 0 0 110 1 0 0 25 0 11 0 900484798 938397696 98905 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31730] ppid=31710 vsize=916404 CPUtime=3.62
/proc/31723/task/31730/stat : 31730 (java) S 31710 31709 25521 34816 25544 4202560 12041 0 0 0 358 4 0 0 15 0 11 0 900484798 938397696 98905 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31731] ppid=31710 vsize=916404 CPUtime=0
/proc/31723/task/31731/stat : 31731 (java) S 31710 31709 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900484798 938397696 98905 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31732] ppid=31710 vsize=916404 CPUtime=0
/proc/31723/task/31732/stat : 31732 (java) S 31710 31709 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 900484798 938397696 98905 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31733] ppid=31710 vsize=916404 CPUtime=0
/proc/31723/task/31733/stat : 31733 (java) S 31710 31709 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 11 0 900485663 938397696 98905 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 921552

[startup+16.0106 s]
/proc/loadavg: 1.20 1.07 1.02 2/51 31733
/proc/meminfo: memFree=5856/1048576 swapFree=2095372/2097144
[pid=31709] ppid=31708 vsize=2572 CPUtime=0
/proc/31709/stat : 31709 (p2cudf-user-1.1) S 31708 31709 25521 34816 25544 4202496 379 0 0 0 0 0 0 0 25 0 1 0 900484789 2633728 274 1283457024 134512640 135304128 4289729728 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31709/statm: 643 274 233 194 0 29 0
[pid=31710] ppid=31709 vsize=2576 CPUtime=0.03
/proc/31710/stat : 31710 (p2cudf) S 31709 31709 25521 34816 25544 4202496 392 2992 0 1 0 1 2 0 25 0 1 0 900484789 2637824 282 1283457024 134512640 135304128 4290125120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31710/statm: 644 282 241 194 0 30 0
[pid=31723] ppid=31710 vsize=916404 CPUtime=15.8
/proc/31723/stat : 31723 (java) S 31710 31709 25521 34816 25544 4202496 110599 0 1 0 1544 36 0 0 25 0 11 0 900484793 938397696 98913 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31723/statm: 229101 98913 1792 10 0 226191 0
[pid=31723/tid=31724] ppid=31710 vsize=916404 CPUtime=10.12
/proc/31723/task/31724/stat : 31724 (java) R 31710 31709 25521 34816 25544 4202560 50470 0 1 0 992 20 0 0 25 0 11 0 900484793 938397696 98913 1283457024 134512640 134550932 4294297568 18446744073709551615 4096747589 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31723/tid=31725] ppid=31710 vsize=916404 CPUtime=0.82
/proc/31723/task/31725/stat : 31725 (java) S 31710 31709 25521 34816 25544 4202560 31765 0 0 0 72 10 0 0 15 0 11 0 900484795 938397696 98913 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 0 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31726] ppid=31710 vsize=916404 CPUtime=0
/proc/31723/task/31726/stat : 31726 (java) S 31710 31709 25521 34816 25544 4202560 10 0 0 0 0 0 0 0 18 0 11 0 900484795 938397696 98913 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31727] ppid=31710 vsize=916404 CPUtime=0
/proc/31723/task/31727/stat : 31727 (java) S 31710 31709 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900484795 938397696 98913 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31728] ppid=31710 vsize=916404 CPUtime=0
/proc/31723/task/31728/stat : 31728 (java) S 31710 31709 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900484798 938397696 98913 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31729] ppid=31710 vsize=916404 CPUtime=1.11
/proc/31723/task/31729/stat : 31729 (java) S 31710 31709 25521 34816 25544 4202560 15199 0 0 0 110 1 0 0 25 0 11 0 900484798 938397696 98913 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31730] ppid=31710 vsize=916404 CPUtime=3.72
/proc/31723/task/31730/stat : 31730 (java) S 31710 31709 25521 34816 25544 4202560 12049 0 0 0 368 4 0 0 15 0 11 0 900484798 938397696 98913 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31731] ppid=31710 vsize=916404 CPUtime=0
/proc/31723/task/31731/stat : 31731 (java) S 31710 31709 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900484798 938397696 98913 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31732] ppid=31710 vsize=916404 CPUtime=0
/proc/31723/task/31732/stat : 31732 (java) S 31710 31709 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 900484798 938397696 98913 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31733] ppid=31710 vsize=916404 CPUtime=0
/proc/31723/task/31733/stat : 31733 (java) S 31710 31709 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 11 0 900485663 938397696 98913 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 15.83
Current children cumulated vsize (KiB) 921552

[startup+17.6111 s]
/proc/loadavg: 1.20 1.07 1.02 2/51 31733
/proc/meminfo: memFree=5856/1048576 swapFree=2095372/2097144
[pid=31709] ppid=31708 vsize=2572 CPUtime=0
/proc/31709/stat : 31709 (p2cudf-user-1.1) S 31708 31709 25521 34816 25544 4202496 379 0 0 0 0 0 0 0 25 0 1 0 900484789 2633728 274 1283457024 134512640 135304128 4289729728 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31709/statm: 643 274 233 194 0 29 0
[pid=31710] ppid=31709 vsize=2576 CPUtime=0.03
/proc/31710/stat : 31710 (p2cudf) S 31709 31709 25521 34816 25544 4202496 392 2992 0 1 0 1 2 0 25 0 1 0 900484789 2637824 282 1283457024 134512640 135304128 4290125120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31710/statm: 644 282 241 194 0 30 0
[pid=31723] ppid=31710 vsize=916404 CPUtime=17.39
/proc/31723/stat : 31723 (java) S 31710 31709 25521 34816 25544 4202496 110599 0 1 0 1702 37 0 0 25 0 11 0 900484793 938397696 98913 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31723/statm: 229101 98913 1792 10 0 226191 0
[pid=31723/tid=31724] ppid=31710 vsize=916404 CPUtime=11.72
/proc/31723/task/31724/stat : 31724 (java) R 31710 31709 25521 34816 25544 4202560 50470 0 1 0 1150 22 0 0 25 0 11 0 900484793 938397696 98913 1283457024 134512640 134550932 4294297568 18446744073709551615 4096696238 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31723/tid=31725] ppid=31710 vsize=916404 CPUtime=0.82
/proc/31723/task/31725/stat : 31725 (java) S 31710 31709 25521 34816 25544 4202560 31765 0 0 0 72 10 0 0 15 0 11 0 900484795 938397696 98913 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 0 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31726] ppid=31710 vsize=916404 CPUtime=0
/proc/31723/task/31726/stat : 31726 (java) S 31710 31709 25521 34816 25544 4202560 10 0 0 0 0 0 0 0 18 0 11 0 900484795 938397696 98913 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31727] ppid=31710 vsize=916404 CPUtime=0
/proc/31723/task/31727/stat : 31727 (java) S 31710 31709 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900484795 938397696 98913 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31728] ppid=31710 vsize=916404 CPUtime=0
/proc/31723/task/31728/stat : 31728 (java) S 31710 31709 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900484798 938397696 98913 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31729] ppid=31710 vsize=916404 CPUtime=1.11
/proc/31723/task/31729/stat : 31729 (java) S 31710 31709 25521 34816 25544 4202560 15199 0 0 0 110 1 0 0 25 0 11 0 900484798 938397696 98913 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31730] ppid=31710 vsize=916404 CPUtime=3.72
/proc/31723/task/31730/stat : 31730 (java) S 31710 31709 25521 34816 25544 4202560 12049 0 0 0 368 4 0 0 15 0 11 0 900484798 938397696 98913 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31731] ppid=31710 vsize=916404 CPUtime=0
/proc/31723/task/31731/stat : 31731 (java) S 31710 31709 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900484798 938397696 98913 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31732] ppid=31710 vsize=916404 CPUtime=0
/proc/31723/task/31732/stat : 31732 (java) S 31710 31709 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 900484798 938397696 98913 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31733] ppid=31710 vsize=916404 CPUtime=0
/proc/31723/task/31733/stat : 31733 (java) S 31710 31709 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 11 0 900485663 938397696 98913 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 17.42
Current children cumulated vsize (KiB) 921552

[startup+18.4114 s]
/proc/loadavg: 1.20 1.07 1.02 2/51 31733
/proc/meminfo: memFree=5856/1048576 swapFree=2095372/2097144
[pid=31709] ppid=31708 vsize=2572 CPUtime=0
/proc/31709/stat : 31709 (p2cudf-user-1.1) S 31708 31709 25521 34816 25544 4202496 379 0 0 0 0 0 0 0 25 0 1 0 900484789 2633728 274 1283457024 134512640 135304128 4289729728 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31709/statm: 643 274 233 194 0 29 0
[pid=31710] ppid=31709 vsize=2576 CPUtime=0.03
/proc/31710/stat : 31710 (p2cudf) S 31709 31709 25521 34816 25544 4202496 392 2992 0 1 0 1 2 0 25 0 1 0 900484789 2637824 282 1283457024 134512640 135304128 4290125120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31710/statm: 644 282 241 194 0 30 0
[pid=31723] ppid=31710 vsize=916404 CPUtime=18.19
/proc/31723/stat : 31723 (java) S 31710 31709 25521 34816 25544 4202496 110599 0 1 0 1782 37 0 0 25 0 11 0 900484793 938397696 98913 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31723/statm: 229101 98913 1792 10 0 226191 0
[pid=31723/tid=31724] ppid=31710 vsize=916404 CPUtime=12.52
/proc/31723/task/31724/stat : 31724 (java) R 31710 31709 25521 34816 25544 4202560 50470 0 1 0 1230 22 0 0 25 0 11 0 900484793 938397696 98913 1283457024 134512640 134550932 4294297568 18446744073709551615 4096633767 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31723/tid=31725] ppid=31710 vsize=916404 CPUtime=0.82
/proc/31723/task/31725/stat : 31725 (java) S 31710 31709 25521 34816 25544 4202560 31765 0 0 0 72 10 0 0 15 0 11 0 900484795 938397696 98913 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 0 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31726] ppid=31710 vsize=916404 CPUtime=0
/proc/31723/task/31726/stat : 31726 (java) S 31710 31709 25521 34816 25544 4202560 10 0 0 0 0 0 0 0 18 0 11 0 900484795 938397696 98913 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31727] ppid=31710 vsize=916404 CPUtime=0
/proc/31723/task/31727/stat : 31727 (java) S 31710 31709 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 11 0 900484795 938397696 98913 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31728] ppid=31710 vsize=916404 CPUtime=0
/proc/31723/task/31728/stat : 31728 (java) S 31710 31709 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900484798 938397696 98913 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31729] ppid=31710 vsize=916404 CPUtime=1.11
/proc/31723/task/31729/stat : 31729 (java) S 31710 31709 25521 34816 25544 4202560 15199 0 0 0 110 1 0 0 25 0 11 0 900484798 938397696 98913 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31730] ppid=31710 vsize=916404 CPUtime=3.72
/proc/31723/task/31730/stat : 31730 (java) S 31710 31709 25521 34816 25544 4202560 12049 0 0 0 368 4 0 0 15 0 11 0 900484798 938397696 98913 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31731] ppid=31710 vsize=916404 CPUtime=0
/proc/31723/task/31731/stat : 31731 (java) S 31710 31709 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 11 0 900484798 938397696 98913 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31732] ppid=31710 vsize=916404 CPUtime=0
/proc/31723/task/31732/stat : 31732 (java) S 31710 31709 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 11 0 900484798 938397696 98913 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31733] ppid=31710 vsize=916404 CPUtime=0
/proc/31723/task/31733/stat : 31733 (java) S 31710 31709 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 11 0 900485663 938397696 98913 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 18.22
Current children cumulated vsize (KiB) 921552

[startup+18.8056 s]
/proc/loadavg: 1.20 1.07 1.02 1/52 31734
/proc/meminfo: memFree=5848/1048576 swapFree=2095372/2097144
[pid=31709] ppid=31708 vsize=2572 CPUtime=0
/proc/31709/stat : 31709 (p2cudf-user-1.1) S 31708 31709 25521 34816 25544 4202496 379 0 0 0 0 0 0 0 25 0 1 0 900484789 2633728 274 1283457024 134512640 135304128 4289729728 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31709/statm: 643 274 233 194 0 29 0
[pid=31710] ppid=31709 vsize=2576 CPUtime=0.03
/proc/31710/stat : 31710 (p2cudf) S 31709 31709 25521 34816 25544 4202496 392 2992 0 1 0 1 2 0 25 0 1 0 900484789 2637824 282 1283457024 134512640 135304128 4290125120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31710/statm: 644 282 241 194 0 30 0
[pid=31723] ppid=31710 vsize=916728 CPUtime=18.37
/proc/31723/stat : 31723 (java) S 31710 31709 25521 34816 25544 4202496 110611 0 1 0 1800 37 0 0 25 0 12 0 900484793 938729472 98925 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31723/statm: 229182 98925 1792 10 0 226272 0
[pid=31723/tid=31724] ppid=31710 vsize=916728 CPUtime=12.68
/proc/31723/task/31724/stat : 31724 (java) S 31710 31709 25521 34816 25544 4202560 50477 0 1 0 1246 22 0 0 25 0 12 0 900484793 938729472 98925 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31725] ppid=31710 vsize=916728 CPUtime=0.82
/proc/31723/task/31725/stat : 31725 (java) S 31710 31709 25521 34816 25544 4202560 31765 0 0 0 72 10 0 0 15 0 12 0 900484795 938729472 98925 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 0 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31726] ppid=31710 vsize=916728 CPUtime=0
/proc/31723/task/31726/stat : 31726 (java) S 31710 31709 25521 34816 25544 4202560 10 0 0 0 0 0 0 0 18 0 12 0 900484795 938729472 98925 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31727] ppid=31710 vsize=916728 CPUtime=0
/proc/31723/task/31727/stat : 31727 (java) S 31710 31709 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 12 0 900484795 938729472 98925 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31728] ppid=31710 vsize=916728 CPUtime=0
/proc/31723/task/31728/stat : 31728 (java) S 31710 31709 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 12 0 900484798 938729472 98925 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31729] ppid=31710 vsize=916728 CPUtime=1.11
/proc/31723/task/31729/stat : 31729 (java) S 31710 31709 25521 34816 25544 4202560 15199 0 0 0 110 1 0 0 25 0 12 0 900484798 938729472 98925 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31730] ppid=31710 vsize=916728 CPUtime=3.74
/proc/31723/task/31730/stat : 31730 (java) S 31710 31709 25521 34816 25544 4202560 12050 0 0 0 370 4 0 0 16 0 12 0 900484798 938729472 98925 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31731] ppid=31710 vsize=916728 CPUtime=0
/proc/31723/task/31731/stat : 31731 (java) S 31710 31709 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 12 0 900484798 938729472 98925 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31732] ppid=31710 vsize=916728 CPUtime=0
/proc/31723/task/31732/stat : 31732 (java) S 31710 31709 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 12 0 900484798 938729472 98925 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31733] ppid=31710 vsize=916728 CPUtime=0
/proc/31723/task/31733/stat : 31733 (java) S 31710 31709 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 12 0 900485663 938729472 98925 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31734] ppid=31710 vsize=916728 CPUtime=0
/proc/31723/task/31734/stat : 31734 (java) S 31710 31709 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 12 0 900486649 938729472 98925 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 18.4
Current children cumulated vsize (KiB) 921876

[startup+19.2098 s]
/proc/loadavg: 1.20 1.07 1.02 1/52 31734
/proc/meminfo: memFree=5848/1048576 swapFree=2095372/2097144
[pid=31709] ppid=31708 vsize=2572 CPUtime=0
/proc/31709/stat : 31709 (p2cudf-user-1.1) S 31708 31709 25521 34816 25544 4202496 379 0 0 0 0 0 0 0 25 0 1 0 900484789 2633728 274 1283457024 134512640 135304128 4289729728 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31709/statm: 643 274 233 194 0 29 0
[pid=31710] ppid=31709 vsize=2576 CPUtime=0.03
/proc/31710/stat : 31710 (p2cudf) S 31709 31709 25521 34816 25544 4202496 392 2992 0 1 0 1 2 0 25 0 1 0 900484789 2637824 282 1283457024 134512640 135304128 4290125120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31710/statm: 644 282 241 194 0 30 0
[pid=31723] ppid=31710 vsize=916728 CPUtime=18.47
/proc/31723/stat : 31723 (java) S 31710 31709 25521 34816 25544 4202496 110618 0 1 0 1809 38 0 0 25 0 12 0 900484793 938729472 98932 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31723/statm: 229182 98932 1792 10 0 226272 0
[pid=31723/tid=31724] ppid=31710 vsize=916728 CPUtime=12.68
/proc/31723/task/31724/stat : 31724 (java) S 31710 31709 25521 34816 25544 4202560 50477 0 1 0 1246 22 0 0 25 0 12 0 900484793 938729472 98932 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31725] ppid=31710 vsize=916728 CPUtime=0.82
/proc/31723/task/31725/stat : 31725 (java) S 31710 31709 25521 34816 25544 4202560 31765 0 0 0 72 10 0 0 15 0 12 0 900484795 938729472 98932 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 0 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31726] ppid=31710 vsize=916728 CPUtime=0
/proc/31723/task/31726/stat : 31726 (java) S 31710 31709 25521 34816 25544 4202560 10 0 0 0 0 0 0 0 18 0 12 0 900484795 938729472 98932 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31727] ppid=31710 vsize=916728 CPUtime=0
/proc/31723/task/31727/stat : 31727 (java) S 31710 31709 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 12 0 900484795 938729472 98932 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31728] ppid=31710 vsize=916728 CPUtime=0
/proc/31723/task/31728/stat : 31728 (java) S 31710 31709 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 12 0 900484798 938729472 98932 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31729] ppid=31710 vsize=916728 CPUtime=1.11
/proc/31723/task/31729/stat : 31729 (java) S 31710 31709 25521 34816 25544 4202560 15199 0 0 0 110 1 0 0 25 0 12 0 900484798 938729472 98932 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31730] ppid=31710 vsize=916728 CPUtime=3.78
/proc/31723/task/31730/stat : 31730 (java) S 31710 31709 25521 34816 25544 4202560 12055 0 0 0 374 4 0 0 15 0 12 0 900484798 938729472 98932 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31731] ppid=31710 vsize=916728 CPUtime=0
/proc/31723/task/31731/stat : 31731 (java) S 31710 31709 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 12 0 900484798 938729472 98932 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31732] ppid=31710 vsize=916728 CPUtime=0
/proc/31723/task/31732/stat : 31732 (java) S 31710 31709 25521 34816 25544 4202560 2 0 0 0 0 0 0 0 15 0 12 0 900484798 938729472 98932 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31733] ppid=31710 vsize=916728 CPUtime=0
/proc/31723/task/31733/stat : 31733 (java) S 31710 31709 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 12 0 900485663 938729472 98932 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 18446612133130957184 0 0 -1 0 0 0 0
[pid=31723/tid=31734] ppid=31710 vsize=916728 CPUtime=0.05
/proc/31723/task/31734/stat : 31734 (java) R 31710 31709 25521 34816 25544 4202560 6 0 0 0 4 1 0 0 20 0 12 0 900486649 938729472 98932 1283457024 134512640 134550932 4294297568 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 18.5
Current children cumulated vsize (KiB) 921876

[startup+19.303 s]
/proc/loadavg: 1.20 1.07 1.02 1/52 31734
/proc/meminfo: memFree=5848/1048576 swapFree=2095372/2097144
[pid=31709] ppid=31708 vsize=2572 CPUtime=0
/proc/31709/stat : 31709 (p2cudf-user-1.1) S 31708 31709 25521 34816 25544 4202496 379 0 0 0 0 0 0 0 25 0 1 0 900484789 2633728 274 1283457024 134512640 135304128 4289729728 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31709/statm: 643 274 233 194 0 29 0
[pid=31710] ppid=31709 vsize=2576 CPUtime=0.03
/proc/31710/stat : 31710 (p2cudf) S 31709 31709 25521 34816 25544 4202496 392 2992 0 1 0 1 2 0 25 0 1 0 900484789 2637824 282 1283457024 134512640 135304128 4290125120 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/31710/statm: 644 282 241 194 0 30 0
[pid=31723] ppid=31710 vsize=0 CPUtime=18.57
/proc/31723/stat : 31723 (java) Z 31710 31709 25521 34816 25544 4203532 110627 0 1 0 1815 42 0 0 18 0 2 0 900484793 0 0 1283457024 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31723/statm: 0 0 0 0 0 0 0
[pid=31723/tid=31724] ppid=31710 vsize=0 CPUtime=12.69
/proc/31723/task/31724/stat : 31724 (java) R 31710 31709 25521 34816 25544 4203588 50478 0 1 0 1246 23 0 0 19 0 2 0 900484793 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) 18.6
Current children cumulated vsize (KiB) 5148

Child status: 0
Real time (s): 19.3318
CPU time (s): 18.6372
CPU user time (s): 18.1771
CPU system time (s): 0.460028
CPU usage (%): 96.407
Max. virtual memory (cumulated for all children) (KiB): 929732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.1771
system time used= 0.460028
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114409
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= 1246
involuntary context switches= 1400

runsolver used 0 second user time and 0.012 second system time

The end