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: runsolver -s SIGUSR1 -M 1124 -C 300 -d 10 -w /tmp/misc2012/2012-09-02-22:42/full/p2cudf-full-1.15/trendy-size/upgrade/difficult/rand83.cudf.log.runsolver /home/competition/p2cudf-full-1.15/p2cudf-full-1.15 /home/competition/data/upgrade/difficult/rand83.cudf /tmp/misc2012/2012-09-02-22:42/full/p2cudf-full-1.15/trendy-size/upgrade/difficult/rand83.cudf.result -count(removed),-sum(solution,installedsize),-notuptodate(solution),-unsat_recommends(solution),-count(new) 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 300 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 330 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.10 1.11 1.10 2/64 18802
/proc/meminfo: memFree=624444/1022884 swapFree=0/0
[pid=18802] ppid=18801 vsize=9168 CPUtime=0
/proc/18802/stat : 18802 (p2cudf-full-1.1) S 18801 18802 1745 0 -1 4202496 425 0 0 0 0 0 0 0 20 0 1 0 119940919 9388032 325 18446744073709551615 4194304 5129932 140736104530096 140736104527768 140634530600736 0 0 16781316 65536 0 0 0 17 0 0 0 0 0 0
/proc/18802/statm: 2292 325 275 229 0 52 0

[startup+0.169018 s]
/proc/loadavg: 1.10 1.11 1.10 2/64 18802
/proc/meminfo: memFree=624444/1022884 swapFree=0/0
[pid=18802] ppid=18801 vsize=9168 CPUtime=0
/proc/18802/stat : 18802 (p2cudf-full-1.1) S 18801 18802 1745 0 -1 4202496 456 292 0 0 0 0 0 0 20 0 1 0 119940919 9388032 330 18446744073709551615 4194304 5129932 140736104530096 140736104528240 140634530456670 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/18802/statm: 2292 330 280 229 0 52 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9168

[startup+0.200298 s]
/proc/loadavg: 1.10 1.11 1.10 2/64 18802
/proc/meminfo: memFree=624444/1022884 swapFree=0/0
[pid=18802] ppid=18801 vsize=9168 CPUtime=0
/proc/18802/stat : 18802 (p2cudf-full-1.1) S 18801 18802 1745 0 -1 4202496 456 292 0 0 0 0 0 0 20 0 1 0 119940919 9388032 330 18446744073709551615 4194304 5129932 140736104530096 140736104528240 140634530456670 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/18802/statm: 2292 330 280 229 0 52 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9168

[startup+0.300313 s]
/proc/loadavg: 1.10 1.11 1.10 2/64 18802
/proc/meminfo: memFree=624444/1022884 swapFree=0/0
[pid=18802] ppid=18801 vsize=9168 CPUtime=0
/proc/18802/stat : 18802 (p2cudf-full-1.1) S 18801 18802 1745 0 -1 4202496 456 292 0 0 0 0 0 0 20 0 1 0 119940919 9388032 330 18446744073709551615 4194304 5129932 140736104530096 140736104528240 140634530456670 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/18802/statm: 2292 330 280 229 0 52 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9168

[startup+0.700229 s]
/proc/loadavg: 1.10 1.11 1.10 2/64 18802
/proc/meminfo: memFree=624444/1022884 swapFree=0/0
[pid=18802] ppid=18801 vsize=9168 CPUtime=0
/proc/18802/stat : 18802 (p2cudf-full-1.1) S 18801 18802 1745 0 -1 4202496 456 292 0 0 0 0 0 0 20 0 1 0 119940919 9388032 330 18446744073709551615 4194304 5129932 140736104530096 140736104528240 140634530456670 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/18802/statm: 2292 330 280 229 0 52 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9168

[startup+1.50069 s]
/proc/loadavg: 1.10 1.11 1.10 4/75 18814
/proc/meminfo: memFree=578840/1022884 swapFree=0/0
[pid=18802] ppid=18801 vsize=9168 CPUtime=0
/proc/18802/stat : 18802 (p2cudf-full-1.1) S 18801 18802 1745 0 -1 4202496 456 292 0 0 0 0 0 0 20 0 1 0 119940919 9388032 330 18446744073709551615 4194304 5129932 140736104530096 140736104528240 140634530456670 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/18802/statm: 2292 330 280 229 0 52 0
[pid=18805] ppid=18802 vsize=1058456 CPUtime=1.46
/proc/18805/stat : 18805 (java) S 18802 18802 1745 0 -1 4202496 33510 0 0 0 130 16 0 0 20 0 10 0 119940920 1083858944 29914 18446744073709551615 4194304 4228012 140734800297840 140734800288864 140075117858421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18805/statm: 264614 29914 2348 9 0 251964 0
[pid=18805/tid=18806] ppid=18802 vsize=1058456 CPUtime=0.66
/proc/18805/task/18806/stat : 18806 (java) R 18802 18802 1745 0 -1 4202560 14345 0 0 0 58 8 0 0 20 0 10 0 119940921 1083858944 29914 18446744073709551615 4194304 4228012 140734800297840 140075124384416 140075022177193 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0
[pid=18805/tid=18807] ppid=18802 vsize=1058456 CPUtime=0
/proc/18805/task/18807/stat : 18807 (java) S 18802 18802 1745 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 10 0 119940923 1083858944 29914 18446744073709551615 4194304 4228012 140734800297840 140075017030784 140075117872715 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18808] ppid=18802 vsize=1058456 CPUtime=0
/proc/18805/task/18808/stat : 18808 (java) S 18802 18802 1745 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 10 0 119940924 1083858944 29914 18446744073709551615 4194304 4228012 140734800297840 140075015976976 140075117871828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18809] ppid=18802 vsize=1058456 CPUtime=0
/proc/18805/task/18809/stat : 18809 (java) S 18802 18802 1745 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 10 0 119940924 1083858944 29914 18446744073709551615 4194304 4228012 140734800297840 140075014924192 140075117871828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18810] ppid=18802 vsize=1058456 CPUtime=0
/proc/18805/task/18810/stat : 18810 (java) S 18802 18802 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 119940927 1083858944 29914 18446744073709551615 4194304 4228012 140734800297840 140075013872624 140075117880352 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18811] ppid=18802 vsize=1058456 CPUtime=0.38
/proc/18805/task/18811/stat : 18811 (java) R 18802 18802 1745 0 -1 4202560 9867 0 0 0 36 2 0 0 20 0 10 0 119940927 1083858944 29914 18446744073709551615 4194304 4228012 140734800297840 140075012805256 140075103529142 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18812] ppid=18802 vsize=1058456 CPUtime=0.39
/proc/18805/task/18812/stat : 18812 (java) R 18802 18802 1745 0 -1 4202560 8005 0 0 0 35 4 0 0 20 0 10 0 119940927 1083858944 29914 18446744073709551615 4194304 4228012 140734800297840 140075011755160 140075103703414 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18813] ppid=18802 vsize=1058456 CPUtime=0
/proc/18805/task/18813/stat : 18813 (java) S 18802 18802 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 119940927 1083858944 29914 18446744073709551615 4194304 4228012 140734800297840 140075010714832 140075117871828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18814] ppid=18802 vsize=1058456 CPUtime=0
/proc/18805/task/18814/stat : 18814 (java) S 18802 18802 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 119940927 1083858944 29914 18446744073709551615 4194304 4228012 140734800297840 140075009662336 140075117872715 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 1067624

[startup+3.10075 s]
/proc/loadavg: 1.10 1.11 1.10 4/75 18814
/proc/meminfo: memFree=473316/1022884 swapFree=0/0
[pid=18802] ppid=18801 vsize=9168 CPUtime=0
/proc/18802/stat : 18802 (p2cudf-full-1.1) S 18801 18802 1745 0 -1 4202496 456 292 0 0 0 0 0 0 20 0 1 0 119940919 9388032 330 18446744073709551615 4194304 5129932 140736104530096 140736104528240 140634530456670 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/18802/statm: 2292 330 280 229 0 52 0
[pid=18805] ppid=18802 vsize=1056392 CPUtime=3.04
/proc/18805/stat : 18805 (java) S 18802 18802 1745 0 -1 4202496 75983 0 0 0 272 32 0 0 20 0 10 0 119940920 1081745408 71024 18446744073709551615 4194304 4228012 140734800297840 140734800288864 140075117858421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18805/statm: 264098 71024 2368 9 0 251448 0
[pid=18805/tid=18806] ppid=18802 vsize=1056392 CPUtime=1.54
/proc/18805/task/18806/stat : 18806 (java) R 18802 18802 1745 0 -1 4202560 47407 0 0 0 134 20 0 0 20 0 10 0 119940921 1081745408 71024 18446744073709551615 4194304 4228012 140734800297840 140075124384448 140075022191104 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0
[pid=18805/tid=18807] ppid=18802 vsize=1056392 CPUtime=0.16
/proc/18805/task/18807/stat : 18807 (java) S 18802 18802 1745 0 -1 4202560 7974 0 0 0 13 3 0 0 20 0 10 0 119940923 1081745408 71024 18446744073709551615 4194304 4228012 140734800297840 140075017030784 140075117872715 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18808] ppid=18802 vsize=1056392 CPUtime=0
/proc/18805/task/18808/stat : 18808 (java) S 18802 18802 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 119940924 1081745408 71024 18446744073709551615 4194304 4228012 140734800297840 140075015976976 140075117871828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18809] ppid=18802 vsize=1056392 CPUtime=0
/proc/18805/task/18809/stat : 18809 (java) S 18802 18802 1745 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 119940924 1081745408 71024 18446744073709551615 4194304 4228012 140734800297840 140075014924192 140075117871828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18810] ppid=18802 vsize=1056392 CPUtime=0
/proc/18805/task/18810/stat : 18810 (java) S 18802 18802 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 119940927 1081745408 71024 18446744073709551615 4194304 4228012 140734800297840 140075013872624 140075117880352 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18811] ppid=18802 vsize=1056392 CPUtime=0.63
/proc/18805/task/18811/stat : 18811 (java) S 18802 18802 1745 0 -1 4202560 10623 0 0 0 60 3 0 0 20 0 10 0 119940927 1081745408 71024 18446744073709551615 4194304 4228012 140734800297840 140075012819984 140075117871828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18812] ppid=18802 vsize=1056392 CPUtime=0.69
/proc/18805/task/18812/stat : 18812 (java) S 18802 18802 1745 0 -1 4202560 8686 0 0 0 64 5 0 0 20 0 10 0 119940927 1081745408 71024 18446744073709551615 4194304 4228012 140734800297840 140075011767312 140075117871828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18813] ppid=18802 vsize=1056392 CPUtime=0
/proc/18805/task/18813/stat : 18813 (java) S 18802 18802 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 119940927 1081745408 71024 18446744073709551615 4194304 4228012 140734800297840 140075010714832 140075117871828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18814] ppid=18802 vsize=1056392 CPUtime=0
/proc/18805/task/18814/stat : 18814 (java) S 18802 18802 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 119940927 1081745408 71024 18446744073709551615 4194304 4228012 140734800297840 140075009662336 140075117872715 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 1065560

[startup+6.30073 s]
/proc/loadavg: 1.10 1.11 1.10 2/75 18814
/proc/meminfo: memFree=177576/1022884 swapFree=0/0
[pid=18802] ppid=18801 vsize=9168 CPUtime=0
/proc/18802/stat : 18802 (p2cudf-full-1.1) S 18801 18802 1745 0 -1 4202496 456 292 0 0 0 0 0 0 20 0 1 0 119940919 9388032 330 18446744073709551615 4194304 5129932 140736104530096 140736104528240 140634530456670 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/18802/statm: 2292 330 280 229 0 52 0
[pid=18805] ppid=18802 vsize=1056392 CPUtime=6.19
/proc/18805/stat : 18805 (java) S 18802 18802 1745 0 -1 4202496 129465 0 0 0 567 52 0 0 20 0 10 0 119940920 1081745408 124146 18446744073709551615 4194304 4228012 140734800297840 140734800288864 140075117858421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18805/statm: 264098 124146 2369 9 0 251448 0
[pid=18805/tid=18806] ppid=18802 vsize=1056392 CPUtime=3.28
/proc/18805/task/18806/stat : 18806 (java) S 18802 18802 1745 0 -1 4202560 47409 0 0 0 306 22 0 0 20 0 10 0 119940921 1081745408 124146 18446744073709551615 4194304 4228012 140734800297840 140075124392368 140075117871828 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0
[pid=18805/tid=18807] ppid=18802 vsize=1056392 CPUtime=1.48
/proc/18805/task/18807/stat : 18807 (java) R 18802 18802 1745 0 -1 4202560 61425 0 0 0 128 20 0 0 20 0 10 0 119940923 1081745408 124146 18446744073709551615 4194304 4228012 140734800297840 140075017030160 140075102169175 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18808] ppid=18802 vsize=1056392 CPUtime=0
/proc/18805/task/18808/stat : 18808 (java) S 18802 18802 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 119940924 1081745408 124146 18446744073709551615 4194304 4228012 140734800297840 140075015976976 140075117871828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18809] ppid=18802 vsize=1056392 CPUtime=0
/proc/18805/task/18809/stat : 18809 (java) S 18802 18802 1745 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 119940924 1081745408 124146 18446744073709551615 4194304 4228012 140734800297840 140075014924192 140075117871828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18810] ppid=18802 vsize=1056392 CPUtime=0
/proc/18805/task/18810/stat : 18810 (java) S 18802 18802 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 119940927 1081745408 124146 18446744073709551615 4194304 4228012 140734800297840 140075013872624 140075117880352 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18811] ppid=18802 vsize=1056392 CPUtime=0.66
/proc/18805/task/18811/stat : 18811 (java) S 18802 18802 1745 0 -1 4202560 10650 0 0 0 63 3 0 0 20 0 10 0 119940927 1081745408 124146 18446744073709551615 4194304 4228012 140734800297840 140075012819984 140075117871828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18812] ppid=18802 vsize=1056392 CPUtime=0.72
/proc/18805/task/18812/stat : 18812 (java) S 18802 18802 1745 0 -1 4202560 8688 0 0 0 67 5 0 0 20 0 10 0 119940927 1081745408 124146 18446744073709551615 4194304 4228012 140734800297840 140075011767312 140075117871828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18813] ppid=18802 vsize=1056392 CPUtime=0
/proc/18805/task/18813/stat : 18813 (java) S 18802 18802 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 119940927 1081745408 124146 18446744073709551615 4194304 4228012 140734800297840 140075010714832 140075117871828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18814] ppid=18802 vsize=1056392 CPUtime=0
/proc/18805/task/18814/stat : 18814 (java) S 18802 18802 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 119940927 1081745408 124146 18446744073709551615 4194304 4228012 140734800297840 140075009662336 140075117872715 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 1065560

[startup+12.7008 s]
/proc/loadavg: 1.25 1.14 1.11 3/75 18814
/proc/meminfo: memFree=9804/1022884 swapFree=0/0
[pid=18802] ppid=18801 vsize=9168 CPUtime=0
/proc/18802/stat : 18802 (p2cudf-full-1.1) S 18801 18802 1745 0 -1 4202496 456 292 0 0 0 0 0 0 20 0 1 0 119940919 9388032 330 18446744073709551615 4194304 5129932 140736104530096 140736104528240 140634530456670 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/18802/statm: 2292 330 280 229 0 52 0
[pid=18805] ppid=18802 vsize=1056392 CPUtime=12.46
/proc/18805/stat : 18805 (java) S 18802 18802 1745 0 -1 4202496 159410 0 0 0 1183 63 0 0 20 0 10 0 119940920 1081745408 151373 18446744073709551615 4194304 4228012 140734800297840 140734800288864 140075117858421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18805/statm: 264098 151373 2376 9 0 251448 0
[pid=18805/tid=18806] ppid=18802 vsize=1056392 CPUtime=6.11
/proc/18805/task/18806/stat : 18806 (java) R 18802 18802 1745 0 -1 4202560 47752 0 0 0 588 23 0 0 20 0 10 0 119940921 1081745408 151373 18446744073709551615 4194304 4228012 140734800297840 140075124392488 140075021856704 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0
[pid=18805/tid=18807] ppid=18802 vsize=1056392 CPUtime=2.14
/proc/18805/task/18807/stat : 18807 (java) S 18802 18802 1745 0 -1 4202560 83699 0 0 0 186 28 0 0 20 0 10 0 119940923 1081745408 151373 18446744073709551615 4194304 4228012 140734800297840 140075017030784 140075117872715 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18808] ppid=18802 vsize=1056392 CPUtime=0
/proc/18805/task/18808/stat : 18808 (java) S 18802 18802 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 119940924 1081745408 151373 18446744073709551615 4194304 4228012 140734800297840 140075015976976 140075117871828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18809] ppid=18802 vsize=1056392 CPUtime=0
/proc/18805/task/18809/stat : 18809 (java) S 18802 18802 1745 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 119940924 1081745408 151373 18446744073709551615 4194304 4228012 140734800297840 140075014924192 140075117871828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18810] ppid=18802 vsize=1056392 CPUtime=0
/proc/18805/task/18810/stat : 18810 (java) S 18802 18802 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 119940927 1081745408 151373 18446744073709551615 4194304 4228012 140734800297840 140075013872624 140075117880352 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18811] ppid=18802 vsize=1056392 CPUtime=2.01
/proc/18805/task/18811/stat : 18811 (java) R 18802 18802 1745 0 -1 4202560 14997 0 0 0 196 5 0 0 20 0 10 0 119940927 1081745408 151373 18446744073709551615 4194304 4228012 140734800297840 140075012819728 140075102162800 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18812] ppid=18802 vsize=1056392 CPUtime=2.16
/proc/18805/task/18812/stat : 18812 (java) R 18802 18802 1745 0 -1 4202560 11669 0 0 0 210 6 0 0 20 0 10 0 119940927 1081745408 151373 18446744073709551615 4194304 4228012 140734800297840 140075011767056 140075102162594 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18813] ppid=18802 vsize=1056392 CPUtime=0
/proc/18805/task/18813/stat : 18813 (java) S 18802 18802 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 119940927 1081745408 151373 18446744073709551615 4194304 4228012 140734800297840 140075010714832 140075117871828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18814] ppid=18802 vsize=1056392 CPUtime=0
/proc/18805/task/18814/stat : 18814 (java) S 18802 18802 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 119940927 1081745408 151373 18446744073709551615 4194304 4228012 140734800297840 140075009662336 140075117872715 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 1065560

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

[startup+12.801 s]
/proc/loadavg: 1.25 1.14 1.11 3/75 18814
/proc/meminfo: memFree=9804/1022884 swapFree=0/0
[pid=18802] ppid=18801 vsize=9168 CPUtime=0
/proc/18802/stat : 18802 (p2cudf-full-1.1) S 18801 18802 1745 0 -1 4202496 456 292 0 0 0 0 0 0 20 0 1 0 119940919 9388032 330 18446744073709551615 4194304 5129932 140736104530096 140736104528240 140634530456670 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/18802/statm: 2292 330 280 229 0 52 0
[pid=18805] ppid=18802 vsize=1056392 CPUtime=12.56
/proc/18805/stat : 18805 (java) S 18802 18802 1745 0 -1 4202496 159424 0 0 0 1193 63 0 0 20 0 10 0 119940920 1081745408 151387 18446744073709551615 4194304 4228012 140734800297840 140734800288864 140075117858421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18805/statm: 264098 151387 2376 9 0 251448 0
[pid=18805/tid=18806] ppid=18802 vsize=1056392 CPUtime=6.15
/proc/18805/task/18806/stat : 18806 (java) R 18802 18802 1745 0 -1 4202560 47758 0 0 0 592 23 0 0 20 0 10 0 119940921 1081745408 151387 18446744073709551615 4194304 4228012 140734800297840 140075124392264 140075021814126 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0
[pid=18805/tid=18807] ppid=18802 vsize=1056392 CPUtime=2.14
/proc/18805/task/18807/stat : 18807 (java) S 18802 18802 1745 0 -1 4202560 83699 0 0 0 186 28 0 0 20 0 10 0 119940923 1081745408 151387 18446744073709551615 4194304 4228012 140734800297840 140075017030784 140075117872715 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18808] ppid=18802 vsize=1056392 CPUtime=0
/proc/18805/task/18808/stat : 18808 (java) S 18802 18802 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 119940924 1081745408 151387 18446744073709551615 4194304 4228012 140734800297840 140075015976976 140075117871828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18809] ppid=18802 vsize=1056392 CPUtime=0
/proc/18805/task/18809/stat : 18809 (java) S 18802 18802 1745 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 119940924 1081745408 151387 18446744073709551615 4194304 4228012 140734800297840 140075014924192 140075117871828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18810] ppid=18802 vsize=1056392 CPUtime=0
/proc/18805/task/18810/stat : 18810 (java) S 18802 18802 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 119940927 1081745408 151387 18446744073709551615 4194304 4228012 140734800297840 140075013872624 140075117880352 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18811] ppid=18802 vsize=1056392 CPUtime=2.05
/proc/18805/task/18811/stat : 18811 (java) R 18802 18802 1745 0 -1 4202560 15003 0 0 0 200 5 0 0 20 0 10 0 119940927 1081745408 151387 18446744073709551615 4194304 4228012 140734800297840 140075012819728 140075099198784 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18812] ppid=18802 vsize=1056392 CPUtime=2.18
/proc/18805/task/18812/stat : 18812 (java) R 18802 18802 1745 0 -1 4202560 11671 0 0 0 212 6 0 0 20 0 10 0 119940927 1081745408 151387 18446744073709551615 4194304 4228012 140734800297840 140075011767056 140075100706022 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18813] ppid=18802 vsize=1056392 CPUtime=0
/proc/18805/task/18813/stat : 18813 (java) S 18802 18802 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 119940927 1081745408 151387 18446744073709551615 4194304 4228012 140734800297840 140075010714832 140075117871828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18814] ppid=18802 vsize=1056392 CPUtime=0
/proc/18805/task/18814/stat : 18814 (java) S 18802 18802 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 119940927 1081745408 151387 18446744073709551615 4194304 4228012 140734800297840 140075009662336 140075117872715 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 1065560

[startup+14.4079 s]
/proc/loadavg: 1.25 1.14 1.11 2/76 18815
/proc/meminfo: memFree=9672/1022884 swapFree=0/0
[pid=18802] ppid=18801 vsize=9168 CPUtime=0
/proc/18802/stat : 18802 (p2cudf-full-1.1) S 18801 18802 1745 0 -1 4202496 456 292 0 0 0 0 0 0 20 0 1 0 119940919 9388032 330 18446744073709551615 4194304 5129932 140736104530096 140736104528240 140634530456670 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/18802/statm: 2292 330 280 229 0 52 0
[pid=18805] ppid=18802 vsize=1057420 CPUtime=14.14
/proc/18805/stat : 18805 (java) S 18802 18802 1745 0 -1 4202496 159495 0 0 0 1350 64 0 0 20 0 11 0 119940920 1082798080 151458 18446744073709551615 4194304 4228012 140734800297840 140734800288864 140075117858421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18805/statm: 264355 151458 2380 9 0 251705 0
[pid=18805/tid=18806] ppid=18802 vsize=1057420 CPUtime=7.25
/proc/18805/task/18806/stat : 18806 (java) R 18802 18802 1745 0 -1 4202560 47789 0 0 0 701 24 0 0 20 0 11 0 119940921 1082798080 151458 18446744073709551615 4194304 4228012 140734800297840 140075124392248 140075023201332 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0
[pid=18805/tid=18807] ppid=18802 vsize=1057420 CPUtime=2.15
/proc/18805/task/18807/stat : 18807 (java) S 18802 18802 1745 0 -1 4202560 83700 0 0 0 186 29 0 0 20 0 11 0 119940923 1082798080 151458 18446744073709551615 4194304 4228012 140734800297840 140075017030784 140075117872715 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18808] ppid=18802 vsize=1057420 CPUtime=0
/proc/18805/task/18808/stat : 18808 (java) S 18802 18802 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 119940924 1082798080 151458 18446744073709551615 4194304 4228012 140734800297840 140075015976976 140075117871828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18809] ppid=18802 vsize=1057420 CPUtime=0
/proc/18805/task/18809/stat : 18809 (java) S 18802 18802 1745 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 119940924 1082798080 151458 18446744073709551615 4194304 4228012 140734800297840 140075014924192 140075117871828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18810] ppid=18802 vsize=1057420 CPUtime=0
/proc/18805/task/18810/stat : 18810 (java) S 18802 18802 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 119940927 1082798080 151458 18446744073709551615 4194304 4228012 140734800297840 140075013872624 140075117880352 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18811] ppid=18802 vsize=1057420 CPUtime=2.26
/proc/18805/task/18811/stat : 18811 (java) S 18802 18802 1745 0 -1 4202560 15017 0 0 0 221 5 0 0 20 0 11 0 119940927 1082798080 151458 18446744073709551615 4194304 4228012 140734800297840 140075012819984 140075117871828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18812] ppid=18802 vsize=1057420 CPUtime=2.45
/proc/18805/task/18812/stat : 18812 (java) S 18802 18802 1745 0 -1 4202560 11690 0 0 0 239 6 0 0 20 0 11 0 119940927 1082798080 151458 18446744073709551615 4194304 4228012 140734800297840 140075011767312 140075117871828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18813] ppid=18802 vsize=1057420 CPUtime=0
/proc/18805/task/18813/stat : 18813 (java) S 18802 18802 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119940927 1082798080 151458 18446744073709551615 4194304 4228012 140734800297840 140075010714832 140075117871828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18814] ppid=18802 vsize=1057420 CPUtime=0
/proc/18805/task/18814/stat : 18814 (java) S 18802 18802 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119940927 1082798080 151458 18446744073709551615 4194304 4228012 140734800297840 140075009662336 140075117872715 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18815] ppid=18802 vsize=1057420 CPUtime=0
/proc/18805/task/18815/stat : 18815 (java) S 18802 18802 1745 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 119942206 1082798080 151458 18446744073709551615 4194304 4228012 140734800297840 140075008468832 140075117872715 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 14.14
Current children cumulated vsize (KiB) 1066588

[startup+16.0008 s]
/proc/loadavg: 1.23 1.14 1.10 2/76 18815
/proc/meminfo: memFree=14136/1022884 swapFree=0/0
[pid=18802] ppid=18801 vsize=9168 CPUtime=0
/proc/18802/stat : 18802 (p2cudf-full-1.1) S 18801 18802 1745 0 -1 4202496 456 292 0 0 0 0 0 0 20 0 1 0 119940919 9388032 330 18446744073709551615 4194304 5129932 140736104530096 140736104528240 140634530456670 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/18802/statm: 2292 330 280 229 0 52 0
[pid=18805] ppid=18802 vsize=1057420 CPUtime=15.72
/proc/18805/stat : 18805 (java) S 18802 18802 1745 0 -1 4202496 159511 0 0 0 1507 65 0 0 20 0 11 0 119940920 1082798080 150216 18446744073709551615 4194304 4228012 140734800297840 140734800288864 140075117858421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18805/statm: 264355 150216 2381 9 0 251705 0
[pid=18805/tid=18806] ppid=18802 vsize=1057420 CPUtime=8.61
/proc/18805/task/18806/stat : 18806 (java) R 18802 18802 1745 0 -1 4202560 47794 0 0 0 837 24 0 0 20 0 11 0 119940921 1082798080 150216 18446744073709551615 4194304 4228012 140734800297840 140075124383648 140075023194991 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0
[pid=18805/tid=18807] ppid=18802 vsize=1057420 CPUtime=2.15
/proc/18805/task/18807/stat : 18807 (java) S 18802 18802 1745 0 -1 4202560 83700 0 0 0 186 29 0 0 20 0 11 0 119940923 1082798080 150216 18446744073709551615 4194304 4228012 140734800297840 140075017030784 140075117872715 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18808] ppid=18802 vsize=1057420 CPUtime=0
/proc/18805/task/18808/stat : 18808 (java) S 18802 18802 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 119940924 1082798080 150216 18446744073709551615 4194304 4228012 140734800297840 140075015976976 140075117871828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18809] ppid=18802 vsize=1057420 CPUtime=0
/proc/18805/task/18809/stat : 18809 (java) S 18802 18802 1745 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 119940924 1082798080 150216 18446744073709551615 4194304 4228012 140734800297840 140075014924192 140075117871828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18810] ppid=18802 vsize=1057420 CPUtime=0
/proc/18805/task/18810/stat : 18810 (java) S 18802 18802 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 119940927 1082798080 150216 18446744073709551615 4194304 4228012 140734800297840 140075013872624 140075117880352 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18811] ppid=18802 vsize=1057420 CPUtime=2.38
/proc/18805/task/18811/stat : 18811 (java) S 18802 18802 1745 0 -1 4202560 15025 0 0 0 233 5 0 0 20 0 11 0 119940927 1082798080 150216 18446744073709551615 4194304 4228012 140734800297840 140075012819984 140075117871828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18812] ppid=18802 vsize=1057420 CPUtime=2.54
/proc/18805/task/18812/stat : 18812 (java) S 18802 18802 1745 0 -1 4202560 11693 0 0 0 248 6 0 0 20 0 11 0 119940927 1082798080 150216 18446744073709551615 4194304 4228012 140734800297840 140075011767312 140075117871828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18813] ppid=18802 vsize=1057420 CPUtime=0
/proc/18805/task/18813/stat : 18813 (java) S 18802 18802 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119940927 1082798080 150216 18446744073709551615 4194304 4228012 140734800297840 140075010714832 140075117871828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18814] ppid=18802 vsize=1057420 CPUtime=0
/proc/18805/task/18814/stat : 18814 (java) S 18802 18802 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119940927 1082798080 150216 18446744073709551615 4194304 4228012 140734800297840 140075009662336 140075117872715 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18815] ppid=18802 vsize=1057420 CPUtime=0
/proc/18805/task/18815/stat : 18815 (java) S 18802 18802 1745 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 119942206 1082798080 150216 18446744073709551615 4194304 4228012 140734800297840 140075008468832 140075117872715 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 15.72
Current children cumulated vsize (KiB) 1066588

[startup+16.8008 s]
/proc/loadavg: 1.23 1.14 1.10 2/76 18815
/proc/meminfo: memFree=14136/1022884 swapFree=0/0
[pid=18802] ppid=18801 vsize=9168 CPUtime=0
/proc/18802/stat : 18802 (p2cudf-full-1.1) S 18801 18802 1745 0 -1 4202496 456 292 0 0 0 0 0 0 20 0 1 0 119940919 9388032 330 18446744073709551615 4194304 5129932 140736104530096 140736104528240 140634530456670 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/18802/statm: 2292 330 280 229 0 52 0
[pid=18805] ppid=18802 vsize=1058448 CPUtime=16.45
/proc/18805/stat : 18805 (java) S 18802 18802 1745 0 -1 4202496 159537 0 0 0 1580 65 0 0 20 0 11 0 119940920 1083850752 150240 18446744073709551615 4194304 4228012 140734800297840 140734800288864 140075117858421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18805/statm: 264612 150240 2381 9 0 251962 0
[pid=18805/tid=18806] ppid=18802 vsize=1058448 CPUtime=9.19
/proc/18805/task/18806/stat : 18806 (java) S 18802 18802 1745 0 -1 4202560 47802 0 0 0 895 24 0 0 20 0 11 0 119940921 1083850752 150240 18446744073709551615 4194304 4228012 140734800297840 140075124392880 140075117871828 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0
[pid=18805/tid=18807] ppid=18802 vsize=1058448 CPUtime=2.15
/proc/18805/task/18807/stat : 18807 (java) S 18802 18802 1745 0 -1 4202560 83700 0 0 0 186 29 0 0 20 0 11 0 119940923 1083850752 150240 18446744073709551615 4194304 4228012 140734800297840 140075017030784 140075117872715 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18808] ppid=18802 vsize=1058448 CPUtime=0
/proc/18805/task/18808/stat : 18808 (java) S 18802 18802 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 119940924 1083850752 150240 18446744073709551615 4194304 4228012 140734800297840 140075015976976 140075117871828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18809] ppid=18802 vsize=1058448 CPUtime=0
/proc/18805/task/18809/stat : 18809 (java) S 18802 18802 1745 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 119940924 1083850752 150240 18446744073709551615 4194304 4228012 140734800297840 140075014924192 140075117871828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18810] ppid=18802 vsize=1058448 CPUtime=0
/proc/18805/task/18810/stat : 18810 (java) S 18802 18802 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 119940927 1083850752 150240 18446744073709551615 4194304 4228012 140734800297840 140075013872624 140075117880352 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18811] ppid=18802 vsize=1058448 CPUtime=2.43
/proc/18805/task/18811/stat : 18811 (java) S 18802 18802 1745 0 -1 4202560 15029 0 0 0 238 5 0 0 20 0 11 0 119940927 1083850752 150240 18446744073709551615 4194304 4228012 140734800297840 140075012819984 140075117871828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18812] ppid=18802 vsize=1058448 CPUtime=2.64
/proc/18805/task/18812/stat : 18812 (java) S 18802 18802 1745 0 -1 4202560 11701 0 0 0 258 6 0 0 20 0 11 0 119940927 1083850752 150240 18446744073709551615 4194304 4228012 140734800297840 140075011767312 140075117871828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18813] ppid=18802 vsize=1058448 CPUtime=0
/proc/18805/task/18813/stat : 18813 (java) S 18802 18802 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119940927 1083850752 150240 18446744073709551615 4194304 4228012 140734800297840 140075010714832 140075117871828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18814] ppid=18802 vsize=1058448 CPUtime=0
/proc/18805/task/18814/stat : 18814 (java) S 18802 18802 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119940927 1083850752 150240 18446744073709551615 4194304 4228012 140734800297840 140075009662336 140075117872715 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 16.45
Current children cumulated vsize (KiB) 1067616

[startup+17.2008 s]
/proc/loadavg: 1.23 1.14 1.10 2/76 18815
/proc/meminfo: memFree=14136/1022884 swapFree=0/0
[pid=18802] ppid=18801 vsize=9168 CPUtime=0
/proc/18802/stat : 18802 (p2cudf-full-1.1) S 18801 18802 1745 0 -1 4202496 456 292 0 0 0 0 0 0 20 0 1 0 119940919 9388032 330 18446744073709551615 4194304 5129932 140736104530096 140736104528240 140634530456670 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/18802/statm: 2292 330 280 229 0 52 0
[pid=18805] ppid=18802 vsize=1058448 CPUtime=16.46
/proc/18805/stat : 18805 (java) S 18802 18802 1745 0 -1 4202496 159537 0 0 0 1581 65 0 0 20 0 11 0 119940920 1083850752 150240 18446744073709551615 4194304 4228012 140734800297840 140734800288864 140075117858421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18805/statm: 264612 150240 2381 9 0 251962 0
[pid=18805/tid=18806] ppid=18802 vsize=1058448 CPUtime=9.19
/proc/18805/task/18806/stat : 18806 (java) S 18802 18802 1745 0 -1 4202560 47802 0 0 0 895 24 0 0 20 0 11 0 119940921 1083850752 150240 18446744073709551615 4194304 4228012 140734800297840 140075124392880 140075117871828 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0
[pid=18805/tid=18807] ppid=18802 vsize=1058448 CPUtime=2.15
/proc/18805/task/18807/stat : 18807 (java) S 18802 18802 1745 0 -1 4202560 83700 0 0 0 186 29 0 0 20 0 11 0 119940923 1083850752 150240 18446744073709551615 4194304 4228012 140734800297840 140075017030784 140075117872715 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18808] ppid=18802 vsize=1058448 CPUtime=0
/proc/18805/task/18808/stat : 18808 (java) S 18802 18802 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 119940924 1083850752 150240 18446744073709551615 4194304 4228012 140734800297840 140075015976976 140075117871828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18809] ppid=18802 vsize=1058448 CPUtime=0
/proc/18805/task/18809/stat : 18809 (java) S 18802 18802 1745 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 119940924 1083850752 150240 18446744073709551615 4194304 4228012 140734800297840 140075014924192 140075117871828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18810] ppid=18802 vsize=1058448 CPUtime=0
/proc/18805/task/18810/stat : 18810 (java) S 18802 18802 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 119940927 1083850752 150240 18446744073709551615 4194304 4228012 140734800297840 140075013872624 140075117880352 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18811] ppid=18802 vsize=1058448 CPUtime=2.43
/proc/18805/task/18811/stat : 18811 (java) S 18802 18802 1745 0 -1 4202560 15029 0 0 0 238 5 0 0 20 0 11 0 119940927 1083850752 150240 18446744073709551615 4194304 4228012 140734800297840 140075012819984 140075117871828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18812] ppid=18802 vsize=1058448 CPUtime=2.64
/proc/18805/task/18812/stat : 18812 (java) S 18802 18802 1745 0 -1 4202560 11701 0 0 0 258 6 0 0 20 0 11 0 119940927 1083850752 150240 18446744073709551615 4194304 4228012 140734800297840 140075011767312 140075117871828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18813] ppid=18802 vsize=1058448 CPUtime=0
/proc/18805/task/18813/stat : 18813 (java) S 18802 18802 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119940927 1083850752 150240 18446744073709551615 4194304 4228012 140734800297840 140075010714832 140075117871828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18814] ppid=18802 vsize=1058448 CPUtime=0
/proc/18805/task/18814/stat : 18814 (java) S 18802 18802 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119940927 1083850752 150240 18446744073709551615 4194304 4228012 140734800297840 140075009662336 140075117872715 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 16.46
Current children cumulated vsize (KiB) 1067616

[startup+17.3007 s]
/proc/loadavg: 1.23 1.14 1.10 2/76 18815
/proc/meminfo: memFree=14136/1022884 swapFree=0/0
[pid=18802] ppid=18801 vsize=9168 CPUtime=0
/proc/18802/stat : 18802 (p2cudf-full-1.1) S 18801 18802 1745 0 -1 4202496 456 292 0 0 0 0 0 0 20 0 1 0 119940919 9388032 330 18446744073709551615 4194304 5129932 140736104530096 140736104528240 140634530456670 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/18802/statm: 2292 330 280 229 0 52 0
[pid=18805] ppid=18802 vsize=1058448 CPUtime=16.53
/proc/18805/stat : 18805 (java) S 18802 18802 1745 0 -1 4202496 159539 0 0 0 1586 67 0 0 20 0 11 0 119940920 1083850752 150242 18446744073709551615 4194304 4228012 140734800297840 140734800288864 140075117858421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18805/statm: 264612 150242 2381 9 0 251962 0
[pid=18805/tid=18806] ppid=18802 vsize=1058448 CPUtime=9.19
/proc/18805/task/18806/stat : 18806 (java) S 18802 18802 1745 0 -1 4202560 47802 0 0 0 895 24 0 0 20 0 11 0 119940921 1083850752 150242 18446744073709551615 4194304 4228012 140734800297840 140075124392880 140075117871828 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0
[pid=18805/tid=18807] ppid=18802 vsize=1058448 CPUtime=2.15
/proc/18805/task/18807/stat : 18807 (java) S 18802 18802 1745 0 -1 4202560 83700 0 0 0 186 29 0 0 20 0 11 0 119940923 1083850752 150242 18446744073709551615 4194304 4228012 140734800297840 140075017030784 140075117872715 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18808] ppid=18802 vsize=1058448 CPUtime=0
/proc/18805/task/18808/stat : 18808 (java) S 18802 18802 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 119940924 1083850752 150242 18446744073709551615 4194304 4228012 140734800297840 140075015976976 140075117871828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18809] ppid=18802 vsize=1058448 CPUtime=0
/proc/18805/task/18809/stat : 18809 (java) S 18802 18802 1745 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 119940924 1083850752 150242 18446744073709551615 4194304 4228012 140734800297840 140075014924192 140075117871828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18810] ppid=18802 vsize=1058448 CPUtime=0
/proc/18805/task/18810/stat : 18810 (java) S 18802 18802 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 119940927 1083850752 150242 18446744073709551615 4194304 4228012 140734800297840 140075013872624 140075117880352 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18811] ppid=18802 vsize=1058448 CPUtime=2.43
/proc/18805/task/18811/stat : 18811 (java) R 18802 18802 1745 0 -1 4202560 15029 0 0 0 238 5 0 0 20 0 11 0 119940927 1083850752 150242 18446744073709551615 4194304 4228012 140734800297840 140075012819984 140075117871828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18812] ppid=18802 vsize=1058448 CPUtime=2.64
/proc/18805/task/18812/stat : 18812 (java) S 18802 18802 1745 0 -1 4202560 11701 0 0 0 258 6 0 0 20 0 11 0 119940927 1083850752 150242 18446744073709551615 4194304 4228012 140734800297840 140075011767312 140075117871828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18813] ppid=18802 vsize=1058448 CPUtime=0
/proc/18805/task/18813/stat : 18813 (java) S 18802 18802 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119940927 1083850752 150242 18446744073709551615 4194304 4228012 140734800297840 140075010714832 140075117871828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18805/tid=18814] ppid=18802 vsize=1058448 CPUtime=0
/proc/18805/task/18814/stat : 18814 (java) S 18802 18802 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 119940927 1083850752 150242 18446744073709551615 4194304 4228012 140734800297840 140075009662336 140075117872715 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 16.53
Current children cumulated vsize (KiB) 1067616

Child status: 0
Real time (s): 17.3915
CPU time (s): 16.633
CPU user time (s): 15.925
CPU system time (s): 0.708044
CPU usage (%): 95.639
Max. virtual memory (cumulated for all children) (KiB): 1070556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.925
system time used= 0.708044
maximum resident set size= 605868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160312
page faults= 0
swaps= 0
block input operations= 68424
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1247
involuntary context switches= 4210

runsolver used 0.096006 second user time and 0.092005 second system time

The end