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/201108241238/p2cudf-trendy-1.13/rand21.cudf.dudf-random.log.runsolver ./p2cudf-trendy-1.13 /home/misc2010/data/2011/dudf-random//rand21.cudf /home/misc2010/tmp/201108241238/p2cudf-trendy-1.13/rand21.cudf.dudf-random.result 

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.12 1.04 0.97 5/35 3534
/proc/meminfo: memFree=656284/1048576 swapFree=0/0
[pid=3532] ppid=3531 vsize=2564 CPUtime=0
/proc/3532/stat : 3532 (p2cudf-trendy-1) S 3531 3532 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 962979 2625536 269 1283457024 134512640 135304128 4293873952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3532/statm: 641 269 230 194 0 28 0
[pid=3533] ppid=3532 vsize=2564 CPUtime=0
/proc/3533/stat : 3533 (p2cudf) R 3532 3532 1511 34817 1511 4202496 345 0 0 0 0 0 0 0 25 0 1 0 962979 2625536 271 1283457024 134512640 135304128 4294838784 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/3533/statm: 641 271 231 194 0 28 0
[pid=3534] ppid=3533 vsize=2564 CPUtime=0
/proc/3534/stat : 3534 (p2cudf) R 3533 3532 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 962979 2625536 40 1283457024 134512640 135304128 4294838784 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/3534/statm: 641 40 0 194 0 28 0

[startup+0.165958 s]
/proc/loadavg: 1.12 1.04 0.97 5/35 3534
/proc/meminfo: memFree=656284/1048576 swapFree=0/0
[pid=3532] ppid=3531 vsize=2564 CPUtime=0
/proc/3532/stat : 3532 (p2cudf-trendy-1) S 3531 3532 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 962979 2625536 269 1283457024 134512640 135304128 4293873952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3532/statm: 641 269 230 194 0 28 0
[pid=3533] ppid=3532 vsize=2568 CPUtime=0.02
/proc/3533/stat : 3533 (p2cudf) S 3532 3532 1511 34817 1511 4202496 391 3017 0 1 0 0 2 0 25 0 1 0 962979 2629632 280 1283457024 134512640 135304128 4294838784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3533/statm: 642 280 239 194 0 29 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5132

[startup+0.20596 s]
/proc/loadavg: 1.12 1.04 0.97 5/35 3534
/proc/meminfo: memFree=656284/1048576 swapFree=0/0
[pid=3532] ppid=3531 vsize=2564 CPUtime=0
/proc/3532/stat : 3532 (p2cudf-trendy-1) S 3531 3532 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 962979 2625536 269 1283457024 134512640 135304128 4293873952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3532/statm: 641 269 230 194 0 28 0
[pid=3533] ppid=3532 vsize=2568 CPUtime=0.02
/proc/3533/stat : 3533 (p2cudf) S 3532 3532 1511 34817 1511 4202496 391 3017 0 1 0 0 2 0 25 0 1 0 962979 2629632 280 1283457024 134512640 135304128 4294838784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3533/statm: 642 280 239 194 0 29 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5132

[startup+0.30598 s]
/proc/loadavg: 1.12 1.04 0.97 5/35 3534
/proc/meminfo: memFree=656284/1048576 swapFree=0/0
[pid=3532] ppid=3531 vsize=2564 CPUtime=0
/proc/3532/stat : 3532 (p2cudf-trendy-1) S 3531 3532 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 962979 2625536 269 1283457024 134512640 135304128 4293873952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3532/statm: 641 269 230 194 0 28 0
[pid=3533] ppid=3532 vsize=2568 CPUtime=0.02
/proc/3533/stat : 3533 (p2cudf) S 3532 3532 1511 34817 1511 4202496 391 3017 0 1 0 0 2 0 25 0 1 0 962979 2629632 280 1283457024 134512640 135304128 4294838784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3533/statm: 642 280 239 194 0 29 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5132

[startup+0.706064 s]
/proc/loadavg: 1.12 1.04 0.97 5/35 3534
/proc/meminfo: memFree=656284/1048576 swapFree=0/0
[pid=3532] ppid=3531 vsize=2564 CPUtime=0
/proc/3532/stat : 3532 (p2cudf-trendy-1) S 3531 3532 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 962979 2625536 269 1283457024 134512640 135304128 4293873952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3532/statm: 641 269 230 194 0 28 0
[pid=3533] ppid=3532 vsize=2568 CPUtime=0.02
/proc/3533/stat : 3533 (p2cudf) S 3532 3532 1511 34817 1511 4202496 391 3017 0 1 0 0 2 0 25 0 1 0 962979 2629632 280 1283457024 134512640 135304128 4294838784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3533/statm: 642 280 239 194 0 29 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5132

[startup+1.50627 s]
/proc/loadavg: 1.35 1.09 0.99 4/45 3555
/proc/meminfo: memFree=617320/1048576 swapFree=0/0
[pid=3532] ppid=3531 vsize=2564 CPUtime=0
/proc/3532/stat : 3532 (p2cudf-trendy-1) S 3531 3532 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 962979 2625536 269 1283457024 134512640 135304128 4293873952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3532/statm: 641 269 230 194 0 28 0
[pid=3533] ppid=3532 vsize=2568 CPUtime=0.02
/proc/3533/stat : 3533 (p2cudf) S 3532 3532 1511 34817 1511 4202496 391 3017 0 1 0 0 2 0 25 0 1 0 962979 2629632 280 1283457024 134512640 135304128 4294838784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3533/statm: 642 280 239 194 0 29 0
[pid=3546] ppid=3533 vsize=879860 CPUtime=1.47
/proc/3546/stat : 3546 (java) S 3533 3532 1511 34817 1511 4202496 21209 0 1 0 137 10 0 0 25 0 10 0 962982 900976640 18300 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3546/statm: 219965 18300 1724 10 0 217056 0
[pid=3546/tid=3547] ppid=3533 vsize=879860 CPUtime=0.76
/proc/3546/task/3547/stat : 3547 (java) R 3533 3532 1511 34817 1511 4202560 11028 0 1 0 72 4 0 0 25 0 10 0 962983 900976640 18300 1283457024 134512640 134550932 4288672432 18446744073709551615 4149724384 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3546/tid=3548] ppid=3533 vsize=879860 CPUtime=0
/proc/3546/task/3548/stat : 3548 (java) S 3533 3532 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 17 0 10 0 962984 900976640 18300 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 0 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3549] ppid=3533 vsize=879860 CPUtime=0
/proc/3546/task/3549/stat : 3549 (java) S 3533 3532 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 25 0 10 0 962985 900976640 18300 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3550] ppid=3533 vsize=879860 CPUtime=0
/proc/3546/task/3550/stat : 3550 (java) S 3533 3532 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 10 0 962985 900976640 18300 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3551] ppid=3533 vsize=879860 CPUtime=0
/proc/3546/task/3551/stat : 3551 (java) S 3533 3532 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 962987 900976640 18300 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3552] ppid=3533 vsize=879860 CPUtime=0.55
/proc/3546/task/3552/stat : 3552 (java) R 3533 3532 1511 34817 1511 4202560 7940 0 0 0 50 5 0 0 22 0 10 0 962987 900976640 18300 1283457024 134512640 134550932 4288672432 18446744073709551615 4150492640 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3546/tid=3553] ppid=3533 vsize=879860 CPUtime=0.13
/proc/3546/task/3553/stat : 3553 (java) S 3533 3532 1511 34817 1511 4202560 1160 0 0 0 13 0 0 0 20 0 10 0 962987 900976640 18300 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3554] ppid=3533 vsize=879860 CPUtime=0
/proc/3546/task/3554/stat : 3554 (java) S 3533 3532 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 962987 900976640 18300 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3555] ppid=3533 vsize=879860 CPUtime=0
/proc/3546/task/3555/stat : 3555 (java) S 3533 3532 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 962987 900976640 18300 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 884992

[startup+3.10665 s]
/proc/loadavg: 1.35 1.09 0.99 2/45 3555
/proc/meminfo: memFree=485384/1048576 swapFree=0/0
[pid=3532] ppid=3531 vsize=2564 CPUtime=0
/proc/3532/stat : 3532 (p2cudf-trendy-1) S 3531 3532 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 962979 2625536 269 1283457024 134512640 135304128 4293873952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3532/statm: 641 269 230 194 0 28 0
[pid=3533] ppid=3532 vsize=2568 CPUtime=0.02
/proc/3533/stat : 3533 (p2cudf) S 3532 3532 1511 34817 1511 4202496 391 3017 0 1 0 0 2 0 25 0 1 0 962979 2629632 280 1283457024 134512640 135304128 4294838784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3533/statm: 642 280 239 194 0 29 0
[pid=3546] ppid=3533 vsize=879860 CPUtime=3.08
/proc/3546/stat : 3546 (java) S 3533 3532 1511 34817 1511 4202496 71290 0 1 0 283 25 0 0 25 0 10 0 962982 900976640 68381 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3546/statm: 219965 68381 1743 10 0 217056 0
[pid=3546/tid=3547] ppid=3533 vsize=879860 CPUtime=1.88
/proc/3546/task/3547/stat : 3547 (java) R 3533 3532 1511 34817 1511 4202560 50091 0 1 0 172 16 0 0 25 0 10 0 962983 900976640 68381 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3546/tid=3548] ppid=3533 vsize=879860 CPUtime=0.22
/proc/3546/task/3548/stat : 3548 (java) S 3533 3532 1511 34817 1511 4202560 10976 0 0 0 19 3 0 0 16 0 10 0 962984 900976640 68381 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 0 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3549] ppid=3533 vsize=879860 CPUtime=0
/proc/3546/task/3549/stat : 3549 (java) S 3533 3532 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 10 0 962985 900976640 68381 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3550] ppid=3533 vsize=879860 CPUtime=0
/proc/3546/task/3550/stat : 3550 (java) S 3533 3532 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 10 0 962985 900976640 68381 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3551] ppid=3533 vsize=879860 CPUtime=0
/proc/3546/task/3551/stat : 3551 (java) S 3533 3532 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 962987 900976640 68381 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3552] ppid=3533 vsize=879860 CPUtime=0.81
/proc/3546/task/3552/stat : 3552 (java) R 3533 3532 1511 34817 1511 4202560 7986 0 0 0 76 5 0 0 16 0 10 0 962987 900976640 68381 1283457024 134512640 134550932 4288672432 18446744073709551615 4152306521 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3546/tid=3553] ppid=3533 vsize=879860 CPUtime=0.13
/proc/3546/task/3553/stat : 3553 (java) S 3533 3532 1511 34817 1511 4202560 1160 0 0 0 13 0 0 0 20 0 10 0 962987 900976640 68381 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3554] ppid=3533 vsize=879860 CPUtime=0
/proc/3546/task/3554/stat : 3554 (java) S 3533 3532 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 962987 900976640 68381 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3555] ppid=3533 vsize=879860 CPUtime=0
/proc/3546/task/3555/stat : 3555 (java) S 3533 3532 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 10 0 962987 900976640 68381 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 884992

[startup+6.30771 s]
/proc/loadavg: 1.35 1.09 0.99 3/46 3556
/proc/meminfo: memFree=332856/1048576 swapFree=0/0
[pid=3532] ppid=3531 vsize=2564 CPUtime=0
/proc/3532/stat : 3532 (p2cudf-trendy-1) S 3531 3532 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 962979 2625536 269 1283457024 134512640 135304128 4293873952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3532/statm: 641 269 230 194 0 28 0
[pid=3533] ppid=3532 vsize=2568 CPUtime=0.02
/proc/3533/stat : 3533 (p2cudf) S 3532 3532 1511 34817 1511 4202496 391 3017 0 1 0 0 2 0 25 0 1 0 962979 2629632 280 1283457024 134512640 135304128 4294838784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3533/statm: 642 280 239 194 0 29 0
[pid=3546] ppid=3533 vsize=880184 CPUtime=6.27
/proc/3546/stat : 3546 (java) S 3533 3532 1511 34817 1511 4202496 85277 0 1 0 596 31 0 0 25 0 11 0 962982 901308416 82368 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3546/statm: 220046 82368 1779 10 0 217137 0
[pid=3546/tid=3547] ppid=3533 vsize=880184 CPUtime=3.34
/proc/3546/task/3547/stat : 3547 (java) R 3533 3532 1511 34817 1511 4202560 50271 0 1 0 317 17 0 0 25 0 11 0 962983 901308416 82368 1283457024 134512640 134550932 4288672432 18446744073709551615 4096646116 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3546/tid=3548] ppid=3533 vsize=880184 CPUtime=0.53
/proc/3546/task/3548/stat : 3548 (java) S 3533 3532 1511 34817 1511 4202560 24564 0 0 0 45 8 0 0 16 0 11 0 962984 901308416 82368 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 0 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3549] ppid=3533 vsize=880184 CPUtime=0
/proc/3546/task/3549/stat : 3549 (java) S 3533 3532 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 962985 901308416 82368 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3550] ppid=3533 vsize=880184 CPUtime=0
/proc/3546/task/3550/stat : 3550 (java) S 3533 3532 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 962985 901308416 82368 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3551] ppid=3533 vsize=880184 CPUtime=0
/proc/3546/task/3551/stat : 3551 (java) S 3533 3532 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 962987 901308416 82368 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3552] ppid=3533 vsize=880184 CPUtime=2.24
/proc/3546/task/3552/stat : 3552 (java) S 3533 3532 1511 34817 1511 4202560 8201 0 0 0 219 5 0 0 16 0 11 0 962987 901308416 82368 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3553] ppid=3533 vsize=880184 CPUtime=0.13
/proc/3546/task/3553/stat : 3553 (java) S 3533 3532 1511 34817 1511 4202560 1160 0 0 0 13 0 0 0 20 0 11 0 962987 901308416 82368 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3554] ppid=3533 vsize=880184 CPUtime=0
/proc/3546/task/3554/stat : 3554 (java) S 3533 3532 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 962987 901308416 82368 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3555] ppid=3533 vsize=880184 CPUtime=0
/proc/3546/task/3555/stat : 3555 (java) S 3533 3532 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 962987 901308416 82368 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3556] ppid=3533 vsize=880184 CPUtime=0
/proc/3546/task/3556/stat : 3556 (java) S 3533 3532 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 963518 901308416 82368 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 885316

[startup+12.7102 s]
/proc/loadavg: 1.30 1.09 0.99 2/46 3556
/proc/meminfo: memFree=332492/1048576 swapFree=0/0
[pid=3532] ppid=3531 vsize=2564 CPUtime=0
/proc/3532/stat : 3532 (p2cudf-trendy-1) S 3531 3532 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 962979 2625536 269 1283457024 134512640 135304128 4293873952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3532/statm: 641 269 230 194 0 28 0
[pid=3533] ppid=3532 vsize=2568 CPUtime=0.02
/proc/3533/stat : 3533 (p2cudf) S 3532 3532 1511 34817 1511 4202496 391 3017 0 1 0 0 2 0 25 0 1 0 962979 2629632 280 1283457024 134512640 135304128 4294838784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3533/statm: 642 280 239 194 0 29 0
[pid=3546] ppid=3533 vsize=880184 CPUtime=12.67
/proc/3546/stat : 3546 (java) S 3533 3532 1511 34817 1511 4202496 85329 0 1 0 1236 31 0 0 25 0 11 0 962982 901308416 82420 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3546/statm: 220046 82420 1782 10 0 217137 0
[pid=3546/tid=3547] ppid=3533 vsize=880184 CPUtime=9.3
/proc/3546/task/3547/stat : 3547 (java) R 3533 3532 1511 34817 1511 4202560 50279 0 1 0 913 17 0 0 25 0 11 0 962983 901308416 82420 1283457024 134512640 134550932 4288672432 18446744073709551615 4096844828 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3546/tid=3548] ppid=3533 vsize=880184 CPUtime=0.53
/proc/3546/task/3548/stat : 3548 (java) S 3533 3532 1511 34817 1511 4202560 24564 0 0 0 45 8 0 0 16 0 11 0 962984 901308416 82420 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 0 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3549] ppid=3533 vsize=880184 CPUtime=0
/proc/3546/task/3549/stat : 3549 (java) S 3533 3532 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 962985 901308416 82420 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3550] ppid=3533 vsize=880184 CPUtime=0
/proc/3546/task/3550/stat : 3550 (java) S 3533 3532 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 962985 901308416 82420 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3551] ppid=3533 vsize=880184 CPUtime=0
/proc/3546/task/3551/stat : 3551 (java) S 3533 3532 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 962987 901308416 82420 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3552] ppid=3533 vsize=880184 CPUtime=2.68
/proc/3546/task/3552/stat : 3552 (java) S 3533 3532 1511 34817 1511 4202560 8245 0 0 0 263 5 0 0 15 0 11 0 962987 901308416 82420 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3553] ppid=3533 vsize=880184 CPUtime=0.13
/proc/3546/task/3553/stat : 3553 (java) S 3533 3532 1511 34817 1511 4202560 1160 0 0 0 13 0 0 0 20 0 11 0 962987 901308416 82420 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3554] ppid=3533 vsize=880184 CPUtime=0
/proc/3546/task/3554/stat : 3554 (java) S 3533 3532 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 962987 901308416 82420 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3555] ppid=3533 vsize=880184 CPUtime=0
/proc/3546/task/3555/stat : 3555 (java) S 3533 3532 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 962987 901308416 82420 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3556] ppid=3533 vsize=880184 CPUtime=0
/proc/3546/task/3556/stat : 3556 (java) S 3533 3532 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 963518 901308416 82420 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 885316

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

[startup+15.911 s]
/proc/loadavg: 1.30 1.09 0.99 2/46 3556
/proc/meminfo: memFree=332492/1048576 swapFree=0/0
[pid=3532] ppid=3531 vsize=2564 CPUtime=0
/proc/3532/stat : 3532 (p2cudf-trendy-1) S 3531 3532 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 962979 2625536 269 1283457024 134512640 135304128 4293873952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3532/statm: 641 269 230 194 0 28 0
[pid=3533] ppid=3532 vsize=2568 CPUtime=0.02
/proc/3533/stat : 3533 (p2cudf) S 3532 3532 1511 34817 1511 4202496 391 3017 0 1 0 0 2 0 25 0 1 0 962979 2629632 280 1283457024 134512640 135304128 4294838784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3533/statm: 642 280 239 194 0 29 0
[pid=3546] ppid=3533 vsize=880184 CPUtime=15.87
/proc/3546/stat : 3546 (java) S 3533 3532 1511 34817 1511 4202496 85344 0 1 0 1556 31 0 0 25 0 11 0 962982 901308416 82435 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3546/statm: 220046 82435 1784 10 0 217137 0
[pid=3546/tid=3547] ppid=3533 vsize=880184 CPUtime=12.38
/proc/3546/task/3547/stat : 3547 (java) R 3533 3532 1511 34817 1511 4202560 50280 0 1 0 1221 17 0 0 25 0 11 0 962983 901308416 82435 1283457024 134512640 134550932 4288672432 18446744073709551615 4095782738 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3546/tid=3548] ppid=3533 vsize=880184 CPUtime=0.53
/proc/3546/task/3548/stat : 3548 (java) S 3533 3532 1511 34817 1511 4202560 24564 0 0 0 45 8 0 0 15 0 11 0 962984 901308416 82435 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 0 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3549] ppid=3533 vsize=880184 CPUtime=0
/proc/3546/task/3549/stat : 3549 (java) S 3533 3532 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 962985 901308416 82435 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3550] ppid=3533 vsize=880184 CPUtime=0
/proc/3546/task/3550/stat : 3550 (java) S 3533 3532 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 962985 901308416 82435 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3551] ppid=3533 vsize=880184 CPUtime=0
/proc/3546/task/3551/stat : 3551 (java) S 3533 3532 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 962987 901308416 82435 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3552] ppid=3533 vsize=880184 CPUtime=2.79
/proc/3546/task/3552/stat : 3552 (java) S 3533 3532 1511 34817 1511 4202560 8259 0 0 0 274 5 0 0 15 0 11 0 962987 901308416 82435 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3553] ppid=3533 vsize=880184 CPUtime=0.13
/proc/3546/task/3553/stat : 3553 (java) S 3533 3532 1511 34817 1511 4202560 1160 0 0 0 13 0 0 0 20 0 11 0 962987 901308416 82435 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3554] ppid=3533 vsize=880184 CPUtime=0
/proc/3546/task/3554/stat : 3554 (java) S 3533 3532 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 962987 901308416 82435 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3555] ppid=3533 vsize=880184 CPUtime=0
/proc/3546/task/3555/stat : 3555 (java) S 3533 3532 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 962987 901308416 82435 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3556] ppid=3533 vsize=880184 CPUtime=0
/proc/3546/task/3556/stat : 3556 (java) S 3533 3532 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 963518 901308416 82435 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 15.89
Current children cumulated vsize (KiB) 885316

[startup+17.5214 s]
/proc/loadavg: 1.27 1.09 0.99 3/46 3556
/proc/meminfo: memFree=332492/1048576 swapFree=0/0
[pid=3532] ppid=3531 vsize=2564 CPUtime=0
/proc/3532/stat : 3532 (p2cudf-trendy-1) S 3531 3532 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 962979 2625536 269 1283457024 134512640 135304128 4293873952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3532/statm: 641 269 230 194 0 28 0
[pid=3533] ppid=3532 vsize=2568 CPUtime=0.02
/proc/3533/stat : 3533 (p2cudf) S 3532 3532 1511 34817 1511 4202496 391 3017 0 1 0 0 2 0 25 0 1 0 962979 2629632 280 1283457024 134512640 135304128 4294838784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3533/statm: 642 280 239 194 0 29 0
[pid=3546] ppid=3533 vsize=880184 CPUtime=17.47
/proc/3546/stat : 3546 (java) S 3533 3532 1511 34817 1511 4202496 85350 0 1 0 1716 31 0 0 25 0 11 0 962982 901308416 82441 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3546/statm: 220046 82441 1788 10 0 217137 0
[pid=3546/tid=3547] ppid=3533 vsize=880184 CPUtime=13.74
/proc/3546/task/3547/stat : 3547 (java) R 3533 3532 1511 34817 1511 4202560 50280 0 1 0 1357 17 0 0 25 0 11 0 962983 901308416 82441 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3546/tid=3548] ppid=3533 vsize=880184 CPUtime=0.76
/proc/3546/task/3548/stat : 3548 (java) R 3533 3532 1511 34817 1511 4202560 24566 0 0 0 68 8 0 0 16 0 11 0 962984 901308416 82441 1283457024 134512640 134550932 4288672432 18446744073709551615 4153187149 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=3546/tid=3549] ppid=3533 vsize=880184 CPUtime=0
/proc/3546/task/3549/stat : 3549 (java) S 3533 3532 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 962985 901308416 82441 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3550] ppid=3533 vsize=880184 CPUtime=0
/proc/3546/task/3550/stat : 3550 (java) S 3533 3532 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 962985 901308416 82441 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3551] ppid=3533 vsize=880184 CPUtime=0
/proc/3546/task/3551/stat : 3551 (java) S 3533 3532 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 962987 901308416 82441 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3552] ppid=3533 vsize=880184 CPUtime=2.81
/proc/3546/task/3552/stat : 3552 (java) S 3533 3532 1511 34817 1511 4202560 8263 0 0 0 276 5 0 0 16 0 11 0 962987 901308416 82441 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3553] ppid=3533 vsize=880184 CPUtime=0.13
/proc/3546/task/3553/stat : 3553 (java) S 3533 3532 1511 34817 1511 4202560 1160 0 0 0 13 0 0 0 20 0 11 0 962987 901308416 82441 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3554] ppid=3533 vsize=880184 CPUtime=0
/proc/3546/task/3554/stat : 3554 (java) S 3533 3532 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 962987 901308416 82441 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3555] ppid=3533 vsize=880184 CPUtime=0
/proc/3546/task/3555/stat : 3555 (java) S 3533 3532 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 962987 901308416 82441 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3556] ppid=3533 vsize=880184 CPUtime=0
/proc/3546/task/3556/stat : 3556 (java) S 3533 3532 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 963518 901308416 82441 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 17.49
Current children cumulated vsize (KiB) 885316

[startup+19.1117 s]
/proc/loadavg: 1.27 1.09 0.99 2/46 3556
/proc/meminfo: memFree=295664/1048576 swapFree=0/0
[pid=3532] ppid=3531 vsize=2564 CPUtime=0
/proc/3532/stat : 3532 (p2cudf-trendy-1) S 3531 3532 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 962979 2625536 269 1283457024 134512640 135304128 4293873952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3532/statm: 641 269 230 194 0 28 0
[pid=3533] ppid=3532 vsize=2568 CPUtime=0.02
/proc/3533/stat : 3533 (p2cudf) S 3532 3532 1511 34817 1511 4202496 391 3017 0 1 0 0 2 0 25 0 1 0 962979 2629632 280 1283457024 134512640 135304128 4294838784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3533/statm: 642 280 239 194 0 29 0
[pid=3546] ppid=3533 vsize=880184 CPUtime=19.06
/proc/3546/stat : 3546 (java) S 3533 3532 1511 34817 1511 4202496 94525 0 1 0 1870 36 0 0 25 0 11 0 962982 901308416 91616 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3546/statm: 220046 91616 1788 10 0 217137 0
[pid=3546/tid=3547] ppid=3533 vsize=880184 CPUtime=15.09
/proc/3546/task/3547/stat : 3547 (java) R 3533 3532 1511 34817 1511 4202560 50280 0 1 0 1491 18 0 0 25 0 11 0 962983 901308416 91616 1283457024 134512640 134550932 4288672432 18446744073709551615 4096643500 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3546/tid=3548] ppid=3533 vsize=880184 CPUtime=0.99
/proc/3546/task/3548/stat : 3548 (java) S 3533 3532 1511 34817 1511 4202560 33741 0 0 0 86 13 0 0 15 0 11 0 962984 901308416 91616 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 0 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3549] ppid=3533 vsize=880184 CPUtime=0
/proc/3546/task/3549/stat : 3549 (java) S 3533 3532 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 962985 901308416 91616 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3550] ppid=3533 vsize=880184 CPUtime=0
/proc/3546/task/3550/stat : 3550 (java) S 3533 3532 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 962985 901308416 91616 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3551] ppid=3533 vsize=880184 CPUtime=0
/proc/3546/task/3551/stat : 3551 (java) S 3533 3532 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 962987 901308416 91616 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3552] ppid=3533 vsize=880184 CPUtime=2.82
/proc/3546/task/3552/stat : 3552 (java) S 3533 3532 1511 34817 1511 4202560 8263 0 0 0 277 5 0 0 15 0 11 0 962987 901308416 91616 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3553] ppid=3533 vsize=880184 CPUtime=0.13
/proc/3546/task/3553/stat : 3553 (java) S 3533 3532 1511 34817 1511 4202560 1160 0 0 0 13 0 0 0 20 0 11 0 962987 901308416 91616 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3554] ppid=3533 vsize=880184 CPUtime=0
/proc/3546/task/3554/stat : 3554 (java) S 3533 3532 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 962987 901308416 91616 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3555] ppid=3533 vsize=880184 CPUtime=0
/proc/3546/task/3555/stat : 3555 (java) S 3533 3532 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 962987 901308416 91616 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3556] ppid=3533 vsize=880184 CPUtime=0
/proc/3546/task/3556/stat : 3556 (java) S 3533 3532 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 11 0 963518 901308416 91616 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19.08
Current children cumulated vsize (KiB) 885316

[startup+19.9071 s]
/proc/loadavg: 1.27 1.09 0.99 3/46 3556
/proc/meminfo: memFree=295664/1048576 swapFree=0/0
[pid=3532] ppid=3531 vsize=2564 CPUtime=0
/proc/3532/stat : 3532 (p2cudf-trendy-1) S 3531 3532 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 962979 2625536 269 1283457024 134512640 135304128 4293873952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3532/statm: 641 269 230 194 0 28 0
[pid=3533] ppid=3532 vsize=2568 CPUtime=0.02
/proc/3533/stat : 3533 (p2cudf) S 3532 3532 1511 34817 1511 4202496 391 3017 0 1 0 0 2 0 25 0 1 0 962979 2629632 280 1283457024 134512640 135304128 4294838784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3533/statm: 642 280 239 194 0 29 0
[pid=3546] ppid=3533 vsize=880508 CPUtime=19.68
/proc/3546/stat : 3546 (java) S 3533 3532 1511 34817 1511 4202496 94539 0 1 0 1932 36 0 0 25 0 11 0 962982 901640192 91630 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3546/statm: 220127 91630 1789 10 0 217218 0
[pid=3546/tid=3547] ppid=3533 vsize=880508 CPUtime=15.68
/proc/3546/task/3547/stat : 3547 (java) S 3533 3532 1511 34817 1511 4202560 50289 0 1 0 1550 18 0 0 25 0 11 0 962983 901640192 91630 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3548] ppid=3533 vsize=880508 CPUtime=0.99
/proc/3546/task/3548/stat : 3548 (java) S 3533 3532 1511 34817 1511 4202560 33741 0 0 0 86 13 0 0 16 0 11 0 962984 901640192 91630 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 0 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3549] ppid=3533 vsize=880508 CPUtime=0
/proc/3546/task/3549/stat : 3549 (java) S 3533 3532 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 962985 901640192 91630 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3550] ppid=3533 vsize=880508 CPUtime=0
/proc/3546/task/3550/stat : 3550 (java) S 3533 3532 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 962985 901640192 91630 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3551] ppid=3533 vsize=880508 CPUtime=0
/proc/3546/task/3551/stat : 3551 (java) S 3533 3532 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 962987 901640192 91630 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3552] ppid=3533 vsize=880508 CPUtime=2.85
/proc/3546/task/3552/stat : 3552 (java) S 3533 3532 1511 34817 1511 4202560 8263 0 0 0 280 5 0 0 16 0 11 0 962987 901640192 91630 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3553] ppid=3533 vsize=880508 CPUtime=0.13
/proc/3546/task/3553/stat : 3553 (java) S 3533 3532 1511 34817 1511 4202560 1160 0 0 0 13 0 0 0 20 0 11 0 962987 901640192 91630 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3554] ppid=3533 vsize=880508 CPUtime=0
/proc/3546/task/3554/stat : 3554 (java) S 3533 3532 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 962987 901640192 91630 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3555] ppid=3533 vsize=880508 CPUtime=0
/proc/3546/task/3555/stat : 3555 (java) S 3533 3532 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 962987 901640192 91630 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19.7
Current children cumulated vsize (KiB) 885640

[startup+20.3152 s]
/proc/loadavg: 1.27 1.09 0.99 3/46 3556
/proc/meminfo: memFree=295664/1048576 swapFree=0/0
[pid=3532] ppid=3531 vsize=2564 CPUtime=0
/proc/3532/stat : 3532 (p2cudf-trendy-1) S 3531 3532 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 962979 2625536 269 1283457024 134512640 135304128 4293873952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3532/statm: 641 269 230 194 0 28 0
[pid=3533] ppid=3532 vsize=2568 CPUtime=0.02
/proc/3533/stat : 3533 (p2cudf) S 3532 3532 1511 34817 1511 4202496 391 3017 0 1 0 0 2 0 25 0 1 0 962979 2629632 280 1283457024 134512640 135304128 4294838784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3533/statm: 642 280 239 194 0 29 0
[pid=3546] ppid=3533 vsize=880508 CPUtime=19.77
/proc/3546/stat : 3546 (java) S 3533 3532 1511 34817 1511 4202496 94540 0 1 0 1939 38 0 0 25 0 11 0 962982 901640192 91631 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3546/statm: 220127 91631 1789 10 0 217218 0
[pid=3546/tid=3547] ppid=3533 vsize=880508 CPUtime=15.68
/proc/3546/task/3547/stat : 3547 (java) S 3533 3532 1511 34817 1511 4202560 50289 0 1 0 1550 18 0 0 25 0 11 0 962983 901640192 91631 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3548] ppid=3533 vsize=880508 CPUtime=0.99
/proc/3546/task/3548/stat : 3548 (java) S 3533 3532 1511 34817 1511 4202560 33741 0 0 0 86 13 0 0 16 0 11 0 962984 901640192 91631 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 0 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3549] ppid=3533 vsize=880508 CPUtime=0
/proc/3546/task/3549/stat : 3549 (java) S 3533 3532 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 962985 901640192 91631 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3550] ppid=3533 vsize=880508 CPUtime=0
/proc/3546/task/3550/stat : 3550 (java) S 3533 3532 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 962985 901640192 91631 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3551] ppid=3533 vsize=880508 CPUtime=0
/proc/3546/task/3551/stat : 3551 (java) S 3533 3532 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 962987 901640192 91631 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3552] ppid=3533 vsize=880508 CPUtime=2.86
/proc/3546/task/3552/stat : 3552 (java) S 3533 3532 1511 34817 1511 4202560 8263 0 0 0 281 5 0 0 15 0 11 0 962987 901640192 91631 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3553] ppid=3533 vsize=880508 CPUtime=0.13
/proc/3546/task/3553/stat : 3553 (java) S 3533 3532 1511 34817 1511 4202560 1160 0 0 0 13 0 0 0 20 0 11 0 962987 901640192 91631 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3554] ppid=3533 vsize=880508 CPUtime=0
/proc/3546/task/3554/stat : 3554 (java) S 3533 3532 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 962987 901640192 91631 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3555] ppid=3533 vsize=880508 CPUtime=0
/proc/3546/task/3555/stat : 3555 (java) S 3533 3532 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 962987 901640192 91631 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19.79
Current children cumulated vsize (KiB) 885640

[startup+20.4152 s]
/proc/loadavg: 1.27 1.09 0.99 3/46 3556
/proc/meminfo: memFree=295664/1048576 swapFree=0/0
[pid=3532] ppid=3531 vsize=2564 CPUtime=0
/proc/3532/stat : 3532 (p2cudf-trendy-1) S 3531 3532 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 18 0 1 0 962979 2625536 269 1283457024 134512640 135304128 4293873952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3532/statm: 641 269 230 194 0 28 0
[pid=3533] ppid=3532 vsize=2568 CPUtime=0.02
/proc/3533/stat : 3533 (p2cudf) S 3532 3532 1511 34817 1511 4202496 391 3017 0 1 0 0 2 0 25 0 1 0 962979 2629632 280 1283457024 134512640 135304128 4294838784 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/3533/statm: 642 280 239 194 0 29 0
[pid=3546] ppid=3533 vsize=880508 CPUtime=19.86
/proc/3546/stat : 3546 (java) S 3533 3532 1511 34817 1511 4202496 94540 0 1 0 1948 38 0 0 25 0 11 0 962982 901640192 91631 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/3546/statm: 220127 91631 1789 10 0 217218 0
[pid=3546/tid=3547] ppid=3533 vsize=880508 CPUtime=15.68
/proc/3546/task/3547/stat : 3547 (java) S 3533 3532 1511 34817 1511 4202560 50289 0 1 0 1550 18 0 0 25 0 11 0 962983 901640192 91631 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3548] ppid=3533 vsize=880508 CPUtime=0.99
/proc/3546/task/3548/stat : 3548 (java) S 3533 3532 1511 34817 1511 4202560 33741 0 0 0 86 13 0 0 16 0 11 0 962984 901640192 91631 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 0 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3549] ppid=3533 vsize=880508 CPUtime=0
/proc/3546/task/3549/stat : 3549 (java) S 3533 3532 1511 34817 1511 4202560 9 0 0 0 0 0 0 0 18 0 11 0 962985 901640192 91631 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3550] ppid=3533 vsize=880508 CPUtime=0
/proc/3546/task/3550/stat : 3550 (java) S 3533 3532 1511 34817 1511 4202560 6 0 0 0 0 0 0 0 18 0 11 0 962985 901640192 91631 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3551] ppid=3533 vsize=880508 CPUtime=0
/proc/3546/task/3551/stat : 3551 (java) S 3533 3532 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 962987 901640192 91631 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3552] ppid=3533 vsize=880508 CPUtime=2.92
/proc/3546/task/3552/stat : 3552 (java) S 3533 3532 1511 34817 1511 4202560 8263 0 0 0 287 5 0 0 15 0 11 0 962987 901640192 91631 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3553] ppid=3533 vsize=880508 CPUtime=0.13
/proc/3546/task/3553/stat : 3553 (java) S 3533 3532 1511 34817 1511 4202560 1160 0 0 0 13 0 0 0 20 0 11 0 962987 901640192 91631 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3554] ppid=3533 vsize=880508 CPUtime=0
/proc/3546/task/3554/stat : 3554 (java) S 3533 3532 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 11 0 962987 901640192 91631 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
[pid=3546/tid=3555] ppid=3533 vsize=880508 CPUtime=0
/proc/3546/task/3555/stat : 3555 (java) S 3533 3532 1511 34817 1511 4202560 2 0 0 0 0 0 0 0 15 0 11 0 962987 901640192 91631 1283457024 134512640 134550932 4288672432 18446744073709551615 4294960130 0 4 0 16800975 18446612133275972928 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19.88
Current children cumulated vsize (KiB) 885640

Child status: 0
Real time (s): 20.4993
CPU time (s): 19.9372
CPU user time (s): 19.5212
CPU system time (s): 0.416026
CPU usage (%): 97.2583
Max. virtual memory (cumulated for all children) (KiB): 885640

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

runsolver used 0 second user time and 0 second system time

The end