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/gj-trendy-solver-1.0/rand283.cudf.user-upgrades.log.runsolver ./gj-trendy-solver-1.0 /home/misc2010/data/2011/user-upgrades/rand283.cudf /home/misc2010/tmp/201108241238/gj-trendy-solver-1.0/rand283.cudf.user-upgrades.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.18 1.06 1.01 3/37 12679
/proc/meminfo: memFree=478444/1048576 swapFree=0/0
[pid=12677] ppid=12676 vsize=2568 CPUtime=0
/proc/12677/stat : 12677 (gj-trendy-solve) S 12676 12677 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 24 0 1 0 2974512 2629632 269 1283457024 134512640 135304128 4286833232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12677/statm: 642 269 229 194 0 29 0
[pid=12678] ppid=12677 vsize=11360 CPUtime=0.01
/proc/12678/stat : 12678 (java) S 12677 12677 1511 34817 1511 4202496 917 0 0 0 0 1 0 0 24 0 2 0 2974512 11632640 651 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0
/proc/12678/statm: 2840 651 285 10 0 1186 0
[pid=12678/tid=12679] ppid=12677 vsize=11360 CPUtime=0
/proc/12678/task/12679/stat : 12679 (java) R 12677 12677 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 2 0 2974513 11632640 651 1283457024 134512640 134550932 4289465344 18446744073709551615 4159942248 0 0 0 0 0 0 0 -1 0 0 0 0

[startup+0.195408 s]
/proc/loadavg: 1.18 1.06 1.01 3/37 12679
/proc/meminfo: memFree=478444/1048576 swapFree=0/0
[pid=12677] ppid=12676 vsize=2568 CPUtime=0
/proc/12677/stat : 12677 (gj-trendy-solve) S 12676 12677 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 24 0 1 0 2974512 2629632 269 1283457024 134512640 135304128 4286833232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12677/statm: 642 269 229 194 0 29 0
[pid=12678] ppid=12677 vsize=410104 CPUtime=0.2
/proc/12678/stat : 12678 (java) S 12677 12677 1511 34817 1511 4202496 4295 0 1 0 18 2 0 0 24 0 9 0 2974512 419946496 3723 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12678/statm: 102526 3723 1944 10 0 96674 0
[pid=12678/tid=12679] ppid=12677 vsize=410104 CPUtime=0.17
/proc/12678/task/12679/stat : 12679 (java) R 12677 12677 1511 34817 1511 4202560 3104 0 1 0 17 0 0 0 25 0 9 0 2974513 419946496 3723 1283457024 134512640 134550932 4289465344 18446744073709551615 4115299485 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412672

[startup+0.205405 s]
/proc/loadavg: 1.18 1.06 1.01 3/37 12679
/proc/meminfo: memFree=478444/1048576 swapFree=0/0
[pid=12677] ppid=12676 vsize=2568 CPUtime=0
/proc/12677/stat : 12677 (gj-trendy-solve) S 12676 12677 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 24 0 1 0 2974512 2629632 269 1283457024 134512640 135304128 4286833232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12677/statm: 642 269 229 194 0 29 0
[pid=12678] ppid=12677 vsize=410104 CPUtime=0.21
/proc/12678/stat : 12678 (java) S 12677 12677 1511 34817 1511 4202496 4355 0 1 0 19 2 0 0 24 0 9 0 2974512 419946496 3783 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12678/statm: 102526 3783 1944 10 0 96674 0
[pid=12678/tid=12679] ppid=12677 vsize=410104 CPUtime=0.18
/proc/12678/task/12679/stat : 12679 (java) R 12677 12677 1511 34817 1511 4202560 3164 0 1 0 18 0 0 0 25 0 9 0 2974513 419946496 3783 1283457024 134512640 134550932 4289465344 18446744073709551615 4151251424 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 412672

[startup+0.305441 s]
/proc/loadavg: 1.18 1.06 1.01 3/37 12679
/proc/meminfo: memFree=478444/1048576 swapFree=0/0
[pid=12677] ppid=12676 vsize=2568 CPUtime=0
/proc/12677/stat : 12677 (gj-trendy-solve) S 12676 12677 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 24 0 1 0 2974512 2629632 269 1283457024 134512640 135304128 4286833232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12677/statm: 642 269 229 194 0 29 0
[pid=12678] ppid=12677 vsize=410388 CPUtime=0.31
/proc/12678/stat : 12678 (java) S 12677 12677 1511 34817 1511 4202496 5398 0 1 0 29 2 0 0 24 0 9 0 2974512 420237312 4825 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12678/statm: 102597 4825 1956 10 0 96745 0
[pid=12678/tid=12679] ppid=12677 vsize=410388 CPUtime=0.24
/proc/12678/task/12679/stat : 12679 (java) R 12677 12677 1511 34817 1511 4202560 3529 0 1 0 24 0 0 0 25 0 9 0 2974513 420237312 4825 1283457024 134512640 134550932 4289465344 18446744073709551615 4115439350 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 412956

[startup+0.705582 s]
/proc/loadavg: 1.18 1.06 1.01 3/37 12679
/proc/meminfo: memFree=478444/1048576 swapFree=0/0
[pid=12677] ppid=12676 vsize=2568 CPUtime=0
/proc/12677/stat : 12677 (gj-trendy-solve) S 12676 12677 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 24 0 1 0 2974512 2629632 269 1283457024 134512640 135304128 4286833232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12677/statm: 642 269 229 194 0 29 0
[pid=12678] ppid=12677 vsize=410680 CPUtime=0.7
/proc/12678/stat : 12678 (java) S 12677 12677 1511 34817 1511 4202496 12754 0 1 0 65 5 0 0 24 0 9 0 2974512 420536320 11995 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12678/statm: 102670 11995 2901 10 0 96818 0
[pid=12678/tid=12679] ppid=12677 vsize=410680 CPUtime=0.44
/proc/12678/task/12679/stat : 12679 (java) R 12677 12677 1511 34817 1511 4202560 4185 0 1 0 42 2 0 0 25 0 9 0 2974513 420536320 11995 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413248

[startup+1.50583 s]
/proc/loadavg: 1.18 1.06 1.01 2/45 12687
/proc/meminfo: memFree=421268/1048576 swapFree=0/0
[pid=12677] ppid=12676 vsize=2568 CPUtime=0
/proc/12677/stat : 12677 (gj-trendy-solve) S 12676 12677 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 24 0 1 0 2974512 2629632 269 1283457024 134512640 135304128 4286833232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12677/statm: 642 269 229 194 0 29 0
[pid=12678] ppid=12677 vsize=410812 CPUtime=1.5
/proc/12678/stat : 12678 (java) S 12677 12677 1511 34817 1511 4202496 27426 0 1 0 140 10 0 0 24 0 9 0 2974512 420671488 26667 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12678/statm: 102703 26667 2901 10 0 96851 0
[pid=12678/tid=12679] ppid=12677 vsize=410812 CPUtime=0.76
/proc/12678/task/12679/stat : 12679 (java) R 12677 12677 1511 34817 1511 4202560 6713 0 1 0 74 2 0 0 25 0 9 0 2974513 420671488 26667 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12678/tid=12681] ppid=12677 vsize=410812 CPUtime=0.69
/proc/12678/task/12681/stat : 12681 (java) R 12677 12677 1511 34817 1511 4202560 19336 0 0 0 62 7 0 0 19 0 9 0 2974514 420671488 26667 1283457024 134512640 134550932 4289465344 18446744073709551615 4151926184 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=12678/tid=12682] ppid=12677 vsize=410812 CPUtime=0
/proc/12678/task/12682/stat : 12682 (java) S 12677 12677 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 2974514 420671488 26667 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12683] ppid=12677 vsize=410812 CPUtime=0
/proc/12678/task/12683/stat : 12683 (java) S 12677 12677 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 2974514 420671488 26667 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12684] ppid=12677 vsize=410812 CPUtime=0
/proc/12678/task/12684/stat : 12684 (java) S 12677 12677 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 2974515 420671488 26667 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12685] ppid=12677 vsize=410812 CPUtime=0.04
/proc/12678/task/12685/stat : 12685 (java) S 12677 12677 1511 34817 1511 4202560 438 0 0 0 4 0 0 0 17 0 9 0 2974515 420671488 26667 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12686] ppid=12677 vsize=410812 CPUtime=0
/proc/12678/task/12686/stat : 12686 (java) S 12677 12677 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 2974515 420671488 26667 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12687] ppid=12677 vsize=410812 CPUtime=0
/proc/12678/task/12687/stat : 12687 (java) S 12677 12677 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 2974515 420671488 26667 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413380

[startup+3.12631 s]
/proc/loadavg: 1.16 1.05 1.01 3/45 12687
/proc/meminfo: memFree=348728/1048576 swapFree=0/0
[pid=12677] ppid=12676 vsize=2568 CPUtime=0
/proc/12677/stat : 12677 (gj-trendy-solve) S 12676 12677 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 24 0 1 0 2974512 2629632 269 1283457024 134512640 135304128 4286833232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12677/statm: 642 269 229 194 0 29 0
[pid=12678] ppid=12677 vsize=410812 CPUtime=3.12
/proc/12678/stat : 12678 (java) S 12677 12677 1511 34817 1511 4202496 52690 0 1 0 296 16 0 0 24 0 9 0 2974512 420671488 51931 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12678/statm: 102703 51931 2901 10 0 96851 0
[pid=12678/tid=12679] ppid=12677 vsize=410812 CPUtime=1.36
/proc/12678/task/12679/stat : 12679 (java) R 12677 12677 1511 34817 1511 4202560 13865 0 1 0 134 2 0 0 25 0 9 0 2974513 420671488 51931 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12678/tid=12681] ppid=12677 vsize=410812 CPUtime=1.68
/proc/12678/task/12681/stat : 12681 (java) R 12677 12677 1511 34817 1511 4202560 37444 0 0 0 156 12 0 0 15 0 9 0 2974514 420671488 51931 1283457024 134512640 134550932 4289465344 18446744073709551615 4151845792 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=12678/tid=12682] ppid=12677 vsize=410812 CPUtime=0
/proc/12678/task/12682/stat : 12682 (java) S 12677 12677 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 2974514 420671488 51931 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12683] ppid=12677 vsize=410812 CPUtime=0
/proc/12678/task/12683/stat : 12683 (java) S 12677 12677 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 2974514 420671488 51931 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12684] ppid=12677 vsize=410812 CPUtime=0
/proc/12678/task/12684/stat : 12684 (java) S 12677 12677 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 2974515 420671488 51931 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12685] ppid=12677 vsize=410812 CPUtime=0.04
/proc/12678/task/12685/stat : 12685 (java) S 12677 12677 1511 34817 1511 4202560 442 0 0 0 4 0 0 0 15 0 9 0 2974515 420671488 51931 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12686] ppid=12677 vsize=410812 CPUtime=0
/proc/12678/task/12686/stat : 12686 (java) S 12677 12677 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 2974515 420671488 51931 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12687] ppid=12677 vsize=410812 CPUtime=0
/proc/12678/task/12687/stat : 12687 (java) S 12677 12677 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 2974515 420671488 51931 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 413380

[startup+6.307 s]
/proc/loadavg: 1.16 1.05 1.01 2/45 12687
/proc/meminfo: memFree=212708/1048576 swapFree=0/0
[pid=12677] ppid=12676 vsize=2568 CPUtime=0
/proc/12677/stat : 12677 (gj-trendy-solve) S 12676 12677 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 24 0 1 0 2974512 2629632 269 1283457024 134512640 135304128 4286833232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12677/statm: 642 269 229 194 0 29 0
[pid=12678] ppid=12677 vsize=439984 CPUtime=6.3
/proc/12678/stat : 12678 (java) S 12677 12677 1511 34817 1511 4202496 78231 0 1 0 607 23 0 0 24 0 9 0 2974512 450543616 77466 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12678/statm: 109996 77466 2902 10 0 104144 0
[pid=12678/tid=12679] ppid=12677 vsize=439984 CPUtime=2.22
/proc/12678/task/12679/stat : 12679 (java) R 12677 12677 1511 34817 1511 4202560 13881 0 1 0 219 3 0 0 25 0 9 0 2974513 450543616 77466 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12678/tid=12681] ppid=12677 vsize=439984 CPUtime=3.98
/proc/12678/task/12681/stat : 12681 (java) R 12677 12677 1511 34817 1511 4202560 62950 0 0 0 380 18 0 0 16 0 9 0 2974514 450543616 77466 1283457024 134512640 134550932 4289465344 18446744073709551615 4153039387 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=12678/tid=12682] ppid=12677 vsize=439984 CPUtime=0
/proc/12678/task/12682/stat : 12682 (java) S 12677 12677 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 2974514 450543616 77466 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12683] ppid=12677 vsize=439984 CPUtime=0
/proc/12678/task/12683/stat : 12683 (java) S 12677 12677 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 2974514 450543616 77466 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12684] ppid=12677 vsize=439984 CPUtime=0
/proc/12678/task/12684/stat : 12684 (java) S 12677 12677 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 2974515 450543616 77466 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12685] ppid=12677 vsize=439984 CPUtime=0.08
/proc/12678/task/12685/stat : 12685 (java) S 12677 12677 1511 34817 1511 4202560 461 0 0 0 8 0 0 0 15 0 9 0 2974515 450543616 77466 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12686] ppid=12677 vsize=439984 CPUtime=0
/proc/12678/task/12686/stat : 12686 (java) S 12677 12677 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 2974515 450543616 77466 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12687] ppid=12677 vsize=439984 CPUtime=0
/proc/12678/task/12687/stat : 12687 (java) S 12677 12677 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 2974515 450543616 77466 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 442552

[startup+12.7089 s]
/proc/loadavg: 1.21 1.07 1.01 2/46 12689
/proc/meminfo: memFree=207616/1048576 swapFree=0/0
[pid=12677] ppid=12676 vsize=2568 CPUtime=0
/proc/12677/stat : 12677 (gj-trendy-solve) S 12676 12677 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 24 0 1 0 2974512 2629632 269 1283457024 134512640 135304128 4286833232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12677/statm: 642 269 229 194 0 29 0
[pid=12678] ppid=12677 vsize=411924 CPUtime=12.68
/proc/12678/stat : 12678 (java) S 12677 12677 1511 34817 1511 4202496 99934 0 1 0 1234 34 0 0 24 0 10 0 2974512 421810176 70662 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12678/statm: 102981 70662 2918 10 0 97126 0
[pid=12678/tid=12679] ppid=12677 vsize=411924 CPUtime=4.44
/proc/12678/task/12679/stat : 12679 (java) R 12677 12677 1511 34817 1511 4202560 14136 0 1 0 441 3 0 0 25 0 10 0 2974513 421810176 70662 1283457024 134512640 134550932 4289465344 18446744073709551615 4115274005 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12678/tid=12681] ppid=12677 vsize=411924 CPUtime=8.08
/proc/12678/task/12681/stat : 12681 (java) S 12677 12677 1511 34817 1511 4202560 84315 0 0 0 779 29 0 0 16 0 10 0 2974514 421810176 70662 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12682] ppid=12677 vsize=411924 CPUtime=0
/proc/12678/task/12682/stat : 12682 (java) S 12677 12677 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 2974514 421810176 70662 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12683] ppid=12677 vsize=411924 CPUtime=0
/proc/12678/task/12683/stat : 12683 (java) S 12677 12677 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 2974514 421810176 70662 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12684] ppid=12677 vsize=411924 CPUtime=0
/proc/12678/task/12684/stat : 12684 (java) S 12677 12677 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 2974515 421810176 70662 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12685] ppid=12677 vsize=411924 CPUtime=0.13
/proc/12678/task/12685/stat : 12685 (java) S 12677 12677 1511 34817 1511 4202560 539 0 0 0 13 0 0 0 15 0 10 0 2974515 421810176 70662 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12686] ppid=12677 vsize=411924 CPUtime=0
/proc/12678/task/12686/stat : 12686 (java) S 12677 12677 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 2974515 421810176 70662 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12687] ppid=12677 vsize=411924 CPUtime=0
/proc/12678/task/12687/stat : 12687 (java) S 12677 12677 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 2974515 421810176 70662 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12689] ppid=12677 vsize=411924 CPUtime=0
/proc/12678/task/12689/stat : 12689 (java) S 12677 12677 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 2975628 421810176 70662 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 414492

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

[startup+12.8089 s]
/proc/loadavg: 1.21 1.07 1.01 2/46 12689
/proc/meminfo: memFree=207616/1048576 swapFree=0/0
[pid=12677] ppid=12676 vsize=2568 CPUtime=0
/proc/12677/stat : 12677 (gj-trendy-solve) S 12676 12677 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 24 0 1 0 2974512 2629632 269 1283457024 134512640 135304128 4286833232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12677/statm: 642 269 229 194 0 29 0
[pid=12678] ppid=12677 vsize=411924 CPUtime=12.78
/proc/12678/stat : 12678 (java) S 12677 12677 1511 34817 1511 4202496 99934 0 1 0 1244 34 0 0 24 0 10 0 2974512 421810176 70662 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12678/statm: 102981 70662 2918 10 0 97126 0
[pid=12678/tid=12679] ppid=12677 vsize=411924 CPUtime=4.54
/proc/12678/task/12679/stat : 12679 (java) R 12677 12677 1511 34817 1511 4202560 14136 0 1 0 451 3 0 0 25 0 10 0 2974513 421810176 70662 1283457024 134512640 134550932 4289465344 18446744073709551615 4116149328 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12678/tid=12681] ppid=12677 vsize=411924 CPUtime=8.08
/proc/12678/task/12681/stat : 12681 (java) S 12677 12677 1511 34817 1511 4202560 84315 0 0 0 779 29 0 0 16 0 10 0 2974514 421810176 70662 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12682] ppid=12677 vsize=411924 CPUtime=0
/proc/12678/task/12682/stat : 12682 (java) S 12677 12677 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 2974514 421810176 70662 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12683] ppid=12677 vsize=411924 CPUtime=0
/proc/12678/task/12683/stat : 12683 (java) S 12677 12677 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 2974514 421810176 70662 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12684] ppid=12677 vsize=411924 CPUtime=0
/proc/12678/task/12684/stat : 12684 (java) S 12677 12677 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 2974515 421810176 70662 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12685] ppid=12677 vsize=411924 CPUtime=0.13
/proc/12678/task/12685/stat : 12685 (java) S 12677 12677 1511 34817 1511 4202560 539 0 0 0 13 0 0 0 15 0 10 0 2974515 421810176 70662 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12686] ppid=12677 vsize=411924 CPUtime=0
/proc/12678/task/12686/stat : 12686 (java) S 12677 12677 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 2974515 421810176 70662 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12687] ppid=12677 vsize=411924 CPUtime=0
/proc/12678/task/12687/stat : 12687 (java) S 12677 12677 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 2974515 421810176 70662 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12689] ppid=12677 vsize=411924 CPUtime=0
/proc/12678/task/12689/stat : 12689 (java) S 12677 12677 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 2975628 421810176 70662 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.78
Current children cumulated vsize (KiB) 414492

[startup+14.4093 s]
/proc/loadavg: 1.21 1.07 1.01 2/46 12689
/proc/meminfo: memFree=207616/1048576 swapFree=0/0
[pid=12677] ppid=12676 vsize=2568 CPUtime=0
/proc/12677/stat : 12677 (gj-trendy-solve) S 12676 12677 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 24 0 1 0 2974512 2629632 269 1283457024 134512640 135304128 4286833232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12677/statm: 642 269 229 194 0 29 0
[pid=12678] ppid=12677 vsize=411924 CPUtime=14.37
/proc/12678/stat : 12678 (java) S 12677 12677 1511 34817 1511 4202496 99940 0 1 0 1403 34 0 0 24 0 10 0 2974512 421810176 70668 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12678/statm: 102981 70668 2920 10 0 97126 0
[pid=12678/tid=12679] ppid=12677 vsize=411924 CPUtime=6.1
/proc/12678/task/12679/stat : 12679 (java) R 12677 12677 1511 34817 1511 4202560 14136 0 1 0 607 3 0 0 25 0 10 0 2974513 421810176 70668 1283457024 134512640 134550932 4289465344 18446744073709551615 4116173998 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12678/tid=12681] ppid=12677 vsize=411924 CPUtime=8.11
/proc/12678/task/12681/stat : 12681 (java) S 12677 12677 1511 34817 1511 4202560 84317 0 0 0 782 29 0 0 16 0 10 0 2974514 421810176 70668 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12682] ppid=12677 vsize=411924 CPUtime=0
/proc/12678/task/12682/stat : 12682 (java) S 12677 12677 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 2974514 421810176 70668 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12683] ppid=12677 vsize=411924 CPUtime=0
/proc/12678/task/12683/stat : 12683 (java) S 12677 12677 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 2974514 421810176 70668 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12684] ppid=12677 vsize=411924 CPUtime=0
/proc/12678/task/12684/stat : 12684 (java) S 12677 12677 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 2974515 421810176 70668 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12685] ppid=12677 vsize=411924 CPUtime=0.13
/proc/12678/task/12685/stat : 12685 (java) S 12677 12677 1511 34817 1511 4202560 543 0 0 0 13 0 0 0 15 0 10 0 2974515 421810176 70668 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12686] ppid=12677 vsize=411924 CPUtime=0
/proc/12678/task/12686/stat : 12686 (java) S 12677 12677 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 2974515 421810176 70668 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12687] ppid=12677 vsize=411924 CPUtime=0
/proc/12678/task/12687/stat : 12687 (java) S 12677 12677 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 2974515 421810176 70668 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12689] ppid=12677 vsize=411924 CPUtime=0
/proc/12678/task/12689/stat : 12689 (java) S 12677 12677 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 2975628 421810176 70668 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 14.37
Current children cumulated vsize (KiB) 414492

[startup+15.2095 s]
/proc/loadavg: 1.21 1.07 1.01 2/46 12689
/proc/meminfo: memFree=207616/1048576 swapFree=0/0
[pid=12677] ppid=12676 vsize=2568 CPUtime=0
/proc/12677/stat : 12677 (gj-trendy-solve) S 12676 12677 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 24 0 1 0 2974512 2629632 269 1283457024 134512640 135304128 4286833232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12677/statm: 642 269 229 194 0 29 0
[pid=12678] ppid=12677 vsize=411924 CPUtime=15.17
/proc/12678/stat : 12678 (java) S 12677 12677 1511 34817 1511 4202496 99940 0 1 0 1483 34 0 0 24 0 10 0 2974512 421810176 70668 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12678/statm: 102981 70668 2920 10 0 97126 0
[pid=12678/tid=12679] ppid=12677 vsize=411924 CPUtime=6.9
/proc/12678/task/12679/stat : 12679 (java) R 12677 12677 1511 34817 1511 4202560 14136 0 1 0 687 3 0 0 25 0 10 0 2974513 421810176 70668 1283457024 134512640 134550932 4289465344 18446744073709551615 4116271365 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12678/tid=12681] ppid=12677 vsize=411924 CPUtime=8.11
/proc/12678/task/12681/stat : 12681 (java) S 12677 12677 1511 34817 1511 4202560 84317 0 0 0 782 29 0 0 16 0 10 0 2974514 421810176 70668 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12682] ppid=12677 vsize=411924 CPUtime=0
/proc/12678/task/12682/stat : 12682 (java) S 12677 12677 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 2974514 421810176 70668 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12683] ppid=12677 vsize=411924 CPUtime=0
/proc/12678/task/12683/stat : 12683 (java) S 12677 12677 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 2974514 421810176 70668 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12684] ppid=12677 vsize=411924 CPUtime=0
/proc/12678/task/12684/stat : 12684 (java) S 12677 12677 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 2974515 421810176 70668 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12685] ppid=12677 vsize=411924 CPUtime=0.13
/proc/12678/task/12685/stat : 12685 (java) S 12677 12677 1511 34817 1511 4202560 543 0 0 0 13 0 0 0 15 0 10 0 2974515 421810176 70668 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12686] ppid=12677 vsize=411924 CPUtime=0
/proc/12678/task/12686/stat : 12686 (java) S 12677 12677 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 2974515 421810176 70668 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12687] ppid=12677 vsize=411924 CPUtime=0
/proc/12678/task/12687/stat : 12687 (java) S 12677 12677 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 2974515 421810176 70668 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12689] ppid=12677 vsize=411924 CPUtime=0
/proc/12678/task/12689/stat : 12689 (java) S 12677 12677 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 2975628 421810176 70668 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 15.17
Current children cumulated vsize (KiB) 414492

[startup+16.0097 s]
/proc/loadavg: 1.21 1.07 1.01 2/46 12689
/proc/meminfo: memFree=207616/1048576 swapFree=0/0
[pid=12677] ppid=12676 vsize=2568 CPUtime=0
/proc/12677/stat : 12677 (gj-trendy-solve) S 12676 12677 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 24 0 1 0 2974512 2629632 269 1283457024 134512640 135304128 4286833232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12677/statm: 642 269 229 194 0 29 0
[pid=12678] ppid=12677 vsize=411924 CPUtime=15.97
/proc/12678/stat : 12678 (java) S 12677 12677 1511 34817 1511 4202496 99941 0 1 0 1563 34 0 0 24 0 10 0 2974512 421810176 70669 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12678/statm: 102981 70669 2920 10 0 97126 0
[pid=12678/tid=12679] ppid=12677 vsize=411924 CPUtime=7.69
/proc/12678/task/12679/stat : 12679 (java) R 12677 12677 1511 34817 1511 4202560 14136 0 1 0 766 3 0 0 25 0 10 0 2974513 421810176 70669 1283457024 134512640 134550932 4289465344 18446744073709551615 4116266620 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12678/tid=12681] ppid=12677 vsize=411924 CPUtime=8.11
/proc/12678/task/12681/stat : 12681 (java) S 12677 12677 1511 34817 1511 4202560 84317 0 0 0 782 29 0 0 16 0 10 0 2974514 421810176 70669 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12682] ppid=12677 vsize=411924 CPUtime=0
/proc/12678/task/12682/stat : 12682 (java) S 12677 12677 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 2974514 421810176 70669 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12683] ppid=12677 vsize=411924 CPUtime=0
/proc/12678/task/12683/stat : 12683 (java) S 12677 12677 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 2974514 421810176 70669 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12684] ppid=12677 vsize=411924 CPUtime=0
/proc/12678/task/12684/stat : 12684 (java) S 12677 12677 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 2974515 421810176 70669 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12685] ppid=12677 vsize=411924 CPUtime=0.14
/proc/12678/task/12685/stat : 12685 (java) S 12677 12677 1511 34817 1511 4202560 544 0 0 0 14 0 0 0 15 0 10 0 2974515 421810176 70669 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12686] ppid=12677 vsize=411924 CPUtime=0
/proc/12678/task/12686/stat : 12686 (java) S 12677 12677 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 2974515 421810176 70669 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12687] ppid=12677 vsize=411924 CPUtime=0
/proc/12678/task/12687/stat : 12687 (java) S 12677 12677 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 2974515 421810176 70669 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12689] ppid=12677 vsize=411924 CPUtime=0
/proc/12678/task/12689/stat : 12689 (java) S 12677 12677 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 2975628 421810176 70669 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 15.97
Current children cumulated vsize (KiB) 414492

[startup+16.4024 s]
/proc/loadavg: 1.21 1.07 1.01 2/46 12689
/proc/meminfo: memFree=207616/1048576 swapFree=0/0
[pid=12677] ppid=12676 vsize=2568 CPUtime=0
/proc/12677/stat : 12677 (gj-trendy-solve) S 12676 12677 1511 34817 1511 4202496 373 0 0 0 0 0 0 0 24 0 1 0 2974512 2629632 269 1283457024 134512640 135304128 4286833232 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/12677/statm: 642 269 229 194 0 29 0
[pid=12678] ppid=12677 vsize=411924 CPUtime=16.35
/proc/12678/stat : 12678 (java) S 12677 12677 1511 34817 1511 4202496 99943 0 1 0 1601 34 0 0 24 0 9 0 2974512 421810176 70671 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12678/statm: 102981 70671 2921 10 0 97126 0
[pid=12678/tid=12679] ppid=12677 vsize=411924 CPUtime=8.04
/proc/12678/task/12679/stat : 12679 (java) S 12677 12677 1511 34817 1511 4202560 14136 0 1 0 801 3 0 0 25 0 9 0 2974513 421810176 70671 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12681] ppid=12677 vsize=411924 CPUtime=8.14
/proc/12678/task/12681/stat : 12681 (java) S 12677 12677 1511 34817 1511 4202560 84317 0 0 0 785 29 0 0 16 0 9 0 2974514 421810176 70671 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 0 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12682] ppid=12677 vsize=411924 CPUtime=0
/proc/12678/task/12682/stat : 12682 (java) S 12677 12677 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 9 0 2974514 421810176 70671 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12683] ppid=12677 vsize=411924 CPUtime=0
/proc/12678/task/12683/stat : 12683 (java) S 12677 12677 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 9 0 2974514 421810176 70671 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12684] ppid=12677 vsize=411924 CPUtime=0
/proc/12678/task/12684/stat : 12684 (java) S 12677 12677 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 2974515 421810176 70671 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12685] ppid=12677 vsize=411924 CPUtime=0.14
/proc/12678/task/12685/stat : 12685 (java) S 12677 12677 1511 34817 1511 4202560 545 0 0 0 14 0 0 0 15 0 9 0 2974515 421810176 70671 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12686] ppid=12677 vsize=411924 CPUtime=0
/proc/12678/task/12686/stat : 12686 (java) S 12677 12677 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 2974515 421810176 70671 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
[pid=12678/tid=12687] ppid=12677 vsize=411924 CPUtime=0
/proc/12678/task/12687/stat : 12687 (java) S 12677 12677 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 2974515 421810176 70671 1283457024 134512640 134550932 4289465344 18446744073709551615 4294960130 0 4 0 16800975 18446612133393236096 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 16.35
Current children cumulated vsize (KiB) 414492

Child status: 0
Real time (s): 16.46
CPU time (s): 16.369
CPU user time (s): 16.013
CPU system time (s): 0.356022
CPU usage (%): 99.4471
Max. virtual memory (cumulated for all children) (KiB): 442552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.013
system time used= 0.356022
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100331
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1109
involuntary context switches= 1333

runsolver used 0 second user time and 0 second system time

The end