runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (13381 MiB free)
memory of node 1: 16384 MiB (12145 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302741-1532894873/watcher-4302741-1532894873 -o /tmp/evaluation-result-4302741-1532894873/solver-4302741-1532894873 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532893331-28700 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1696860784 -superng HOME/instance-4302741-1532894873.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=30800, runsolver pid=30797
[startup+0.100165 s]*
/proc/loadavg: 1.76 1.76 1.63 3/210 30857
/proc/meminfo: memFree=26134552/32770624 swapFree=67108744/67108860
[pid=30800] ppid=30797 vsize=10005480 memory=16816 CPUtime=0.09 cores=0,2,4,6
/proc/30800/stat : 30800 (java) S 30797 30800 19273 0 -1 1077944320 4359 13353 0 0 1 1 4 3 20 0 6 0 107050569 10245611520 4204 33554432000 4194304 4196468 140734105194144 140734105176688 139850584981239 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
/proc/30800/statm: 2501370 4204 1935 1 0 2489808 0
[pid=30800/tid=30853] ppid=30797 vsize=10005480 memory=4279135704013571469 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30853/stat : 30853 (java) R 30797 30800 19273 0 -1 4202560 2169 13353 0 0 0 0 4 3 20 0 6 0 107050578 10245611520 4204 33554432000 4194304 4196468 140734105194144 139850556818000 139850569061756 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30854] ppid=30797 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30854/stat : 30854 (java) S 30797 30800 19273 0 -1 1077944384 1 13353 0 0 0 0 4 3 20 0 6 0 107050579 10245611520 4204 33554432000 4194304 4196468 140734105194144 139850589224080 139850584991445 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30855] ppid=30797 vsize=10005480 memory=140418519963264 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30855/stat : 30855 (java) S 30797 30800 19273 0 -1 1077944384 1 13353 0 0 0 0 4 3 20 0 6 0 107050579 10245611520 4204 33554432000 4194304 4196468 140734105194144 139850124618768 139850584991445 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30856] ppid=30797 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30856/stat : 30856 (java) S 30797 30800 19273 0 -1 1077944384 1 13353 0 0 0 0 4 3 20 0 6 0 107050579 10245611520 4204 33554432000 4194304 4196468 140734105194144 139850123565968 139850584991445 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30857] ppid=30797 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30857/stat : 30857 (java) S 30797 30800 19273 0 -1 1077944384 2 13353 0 0 0 0 4 3 20 0 6 0 107050579 10245611520 4204 33554432000 4194304 4196468 140734105194144 139850122513168 139850584991445 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16816 KiB
[startup+0.210251 s]*
/proc/loadavg: 1.76 1.76 1.63 3/219 30866
/proc/meminfo: memFree=26110948/32770624 swapFree=67108744/67108860
[pid=30800] ppid=30797 vsize=10982744 memory=44988 CPUtime=0.26 cores=0,2,4,6
/proc/30800/stat : 30800 (java) S 30797 30800 19273 0 -1 1077944320 7968 13353 0 0 17 2 4 3 20 0 15 0 107050569 11246329856 11247 33554432000 4194304 4196468 140734105194144 140734105176688 139850584981239 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
/proc/30800/statm: 2745686 11247 2957 1 0 2708109 0
[pid=30800/tid=30853] ppid=30797 vsize=10982744 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/30800/task/30853/stat : 30853 (java) R 30797 30800 19273 0 -1 4202560 4578 13353 0 0 10 1 4 3 20 0 15 0 107050578 11246329856 11313 33554432000 4194304 4196468 140734105194144 139850556777280 139850565256988 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30854] ppid=30797 vsize=10982744 memory=364 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30854/stat : 30854 (java) S 30797 30800 19273 0 -1 1077944384 1 13353 0 0 0 0 4 3 20 0 15 0 107050579 11246329856 11313 33554432000 4194304 4196468 140734105194144 139850589224080 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30855] ppid=30797 vsize=10982744 memory=140418519990655 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30855/stat : 30855 (java) S 30797 30800 19273 0 -1 1077944384 1 13353 0 0 0 0 4 3 20 0 15 0 107050579 11246329856 11313 33554432000 4194304 4196468 140734105194144 139850124618768 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30856] ppid=30797 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30856/stat : 30856 (java) S 30797 30800 19273 0 -1 1077944384 1 13353 0 0 0 0 4 3 20 0 15 0 107050579 11246329856 11313 33554432000 4194304 4196468 140734105194144 139850123565968 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30857] ppid=30797 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30857/stat : 30857 (java) S 30797 30800 19273 0 -1 1077944384 2 13353 0 0 0 0 4 3 20 0 15 0 107050579 11246329856 11313 33554432000 4194304 4196468 140734105194144 139850122513168 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30858] ppid=30797 vsize=10982744 memory=140418519963264 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30858/stat : 30858 (java) S 30797 30800 19273 0 -1 1077944384 2 13353 0 0 0 0 4 3 20 0 15 0 107050580 11246329856 11313 33554432000 4194304 4196468 140734105194144 139850010851696 139850584992386 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30859] ppid=30797 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30859/stat : 30859 (java) S 30797 30800 19273 0 -1 1077944384 13 13353 0 0 0 0 4 3 20 0 15 0 107050581 11246329856 11313 33554432000 4194304 4196468 140734105194144 139849436750880 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30860] ppid=30797 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30860/stat : 30860 (java) S 30797 30800 19273 0 -1 1077944384 1 13353 0 0 0 0 4 3 20 0 15 0 107050581 11246329856 11313 33554432000 4194304 4196468 140734105194144 139849235424112 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30861] ppid=30797 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30861/stat : 30861 (java) S 30797 30800 19273 0 -1 1077944384 3 13353 0 0 0 0 4 3 20 0 15 0 107050583 11246329856 11313 33554432000 4194304 4196468 140734105194144 139848928024400 139850584999835 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30862] ppid=30797 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30800/task/30862/stat : 30862 (java) S 30797 30800 19273 0 -1 1077944384 424 13353 0 0 1 0 4 3 20 0 15 0 107050583 11246329856 11313 33554432000 4194304 4196468 140734105194144 139850009799536 139850584992386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30863] ppid=30797 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/30800/task/30863/stat : 30863 (java) S 30797 30800 19273 0 -1 1077944384 193 13353 0 0 1 0 4 3 20 0 15 0 107050583 11246329856 11313 33554432000 4194304 4196468 140734105194144 139850008746736 139850584992386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30864] ppid=30797 vsize=10982744 memory=140418519963264 CPUtime=0.1 cores=0,2,4,6
/proc/30800/task/30864/stat : 30864 (java) S 30797 30800 19273 0 -1 1077944384 601 13353 0 0 3 0 4 3 20 0 15 0 107050583 11246329856 11313 33554432000 4194304 4196468 140734105194144 139850007693936 139850584992386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30865] ppid=30797 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30865/stat : 30865 (java) S 30797 30800 19273 0 -1 1077944384 3 13353 0 0 0 0 4 3 20 0 15 0 107050584 11246329856 11313 33554432000 4194304 4196468 140734105194144 139848497228512 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30866] ppid=30797 vsize=10982744 memory=140418519963264 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30866/stat : 30866 (java) S 30797 30800 19273 0 -1 1077944384 1 13353 0 0 0 0 4 3 20 0 15 0 107050584 11246329856 11313 33554432000 4194304 4196468 140734105194144 139850006641328 139850584992386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 44988 KiB
[startup+0.310367 s]*
/proc/loadavg: 1.76 1.76 1.63 3/219 30866
/proc/meminfo: memFree=26098916/32770624 swapFree=67108744/67108860
[pid=30800] ppid=30797 vsize=10983192 memory=55964 CPUtime=0.37 cores=0,2,4,6
/proc/30800/stat : 30800 (java) S 30797 30800 19273 0 -1 1077944320 10544 13353 0 0 28 2 4 3 20 0 15 0 107050569 11246788608 13991 33554432000 4194304 4196468 140734105194144 140734105176688 139850584981239 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
/proc/30800/statm: 2745798 13991 3076 1 0 2708109 0
[pid=30800/tid=30853] ppid=30797 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/30800/task/30853/stat : 30853 (java) R 30797 30800 19273 0 -1 4202560 7093 13353 0 0 19 2 4 3 20 0 15 0 107050578 11246788608 13991 33554432000 4194304 4196468 140734105194144 139850556793248 139850585003165 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30854] ppid=30797 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30854/stat : 30854 (java) S 30797 30800 19273 0 -1 1077944384 1 13353 0 0 0 0 4 3 20 0 15 0 107050579 11246788608 13991 33554432000 4194304 4196468 140734105194144 139850589224080 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30855] ppid=30797 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30855/stat : 30855 (java) S 30797 30800 19273 0 -1 1077944384 1 13353 0 0 0 0 4 3 20 0 15 0 107050579 11246788608 13991 33554432000 4194304 4196468 140734105194144 139850124618768 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30856] ppid=30797 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30856/stat : 30856 (java) S 30797 30800 19273 0 -1 1077944384 1 13353 0 0 0 0 4 3 20 0 15 0 107050579 11246788608 13991 33554432000 4194304 4196468 140734105194144 139850123565968 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30857] ppid=30797 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30857/stat : 30857 (java) S 30797 30800 19273 0 -1 1077944384 2 13353 0 0 0 0 4 3 20 0 15 0 107050579 11246788608 13991 33554432000 4194304 4196468 140734105194144 139850122513168 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30858] ppid=30797 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30858/stat : 30858 (java) S 30797 30800 19273 0 -1 1077944384 2 13353 0 0 0 0 4 3 20 0 15 0 107050580 11246788608 13991 33554432000 4194304 4196468 140734105194144 139850010851696 139850584992386 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30859] ppid=30797 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30859/stat : 30859 (java) S 30797 30800 19273 0 -1 1077944384 13 13353 0 0 0 0 4 3 20 0 15 0 107050581 11246788608 13991 33554432000 4194304 4196468 140734105194144 139849436750880 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30860] ppid=30797 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30860/stat : 30860 (java) S 30797 30800 19273 0 -1 1077944384 1 13353 0 0 0 0 4 3 20 0 15 0 107050581 11246788608 13991 33554432000 4194304 4196468 140734105194144 139849235424112 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30861] ppid=30797 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30861/stat : 30861 (java) S 30797 30800 19273 0 -1 1077944384 3 13353 0 0 0 0 4 3 20 0 15 0 107050583 11246788608 13991 33554432000 4194304 4196468 140734105194144 139848928024400 139850584999835 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30862] ppid=30797 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30800/task/30862/stat : 30862 (java) S 30797 30800 19273 0 -1 1077944384 427 13353 0 0 1 0 4 3 20 0 15 0 107050583 11246788608 13991 33554432000 4194304 4196468 140734105194144 139850009799536 139850584992386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30863] ppid=30797 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/30800/task/30863/stat : 30863 (java) S 30797 30800 19273 0 -1 1077944384 193 13353 0 0 1 0 4 3 20 0 15 0 107050583 11246788608 13991 33554432000 4194304 4196468 140734105194144 139850008746736 139850584992386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30864] ppid=30797 vsize=10983192 memory=140418519963264 CPUtime=0.12 cores=0,2,4,6
/proc/30800/task/30864/stat : 30864 (java) S 30797 30800 19273 0 -1 1077944384 611 13353 0 0 5 0 4 3 20 0 15 0 107050583 11246788608 13991 33554432000 4194304 4196468 140734105194144 139850007693936 139850584992386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30865] ppid=30797 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30865/stat : 30865 (java) S 30797 30800 19273 0 -1 1077944384 3 13353 0 0 0 0 4 3 20 0 15 0 107050584 11246788608 13991 33554432000 4194304 4196468 140734105194144 139848497228512 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30866] ppid=30797 vsize=10983192 memory=140418519963264 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30866/stat : 30866 (java) S 30797 30800 19273 0 -1 1077944384 1 13353 0 0 0 0 4 3 20 0 15 0 107050584 11246788608 13991 33554432000 4194304 4196468 140734105194144 139850006641328 139850584992386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55964 KiB
[startup+0.700709 s]
/proc/loadavg: 1.76 1.76 1.63 3/219 30866
/proc/meminfo: memFree=26087316/32770624 swapFree=67108744/67108860
[pid=30800] ppid=30797 vsize=10983192 memory=88416 CPUtime=0.98 cores=0,2,4,6
/proc/30800/stat : 30800 (java) S 30797 30800 19273 0 -1 1077944320 16769 13353 0 0 87 4 4 3 20 0 15 0 107050569 11246788608 22104 33554432000 4194304 4196468 140734105194144 140734105176688 139850584981239 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
/proc/30800/statm: 2745798 22104 3238 1 0 2708109 0
[pid=30800/tid=30853] ppid=30797 vsize=10983192 memory=280836771701184 CPUtime=0.66 cores=0,2,4,6
/proc/30800/task/30853/stat : 30853 (java) R 30797 30800 19273 0 -1 4202560 12205 13353 0 0 56 3 4 3 20 0 15 0 107050578 11246788608 22104 33554432000 4194304 4196468 140734105194144 139850556802960 139850474483387 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30854] ppid=30797 vsize=10983192 memory=280836771701376 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30854/stat : 30854 (java) S 30797 30800 19273 0 -1 1077944384 1 13353 0 0 0 0 4 3 20 0 15 0 107050579 11246788608 22104 33554432000 4194304 4196468 140734105194144 139850589224080 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30855] ppid=30797 vsize=10983192 memory=280836771498000 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30855/stat : 30855 (java) S 30797 30800 19273 0 -1 1077944384 1 13353 0 0 0 0 4 3 20 0 15 0 107050579 11246788608 22104 33554432000 4194304 4196468 140734105194144 139850124618768 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30856] ppid=30797 vsize=10983192 memory=33 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30856/stat : 30856 (java) S 30797 30800 19273 0 -1 1077944384 1 13353 0 0 0 0 4 3 20 0 15 0 107050579 11246788608 22104 33554432000 4194304 4196468 140734105194144 139850123565968 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30857] ppid=30797 vsize=10983192 memory=140418385850864 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30857/stat : 30857 (java) S 30797 30800 19273 0 -1 1077944384 2 13353 0 0 0 0 4 3 20 0 15 0 107050579 11246788608 22104 33554432000 4194304 4196468 140734105194144 139850122513168 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30858] ppid=30797 vsize=10983192 memory=140419660776022 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30858/stat : 30858 (java) S 30797 30800 19273 0 -1 1077944384 5 13353 0 0 0 0 4 3 20 0 15 0 107050580 11246788608 22104 33554432000 4194304 4196468 140734105194144 139850010851696 139850584992386 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30859] ppid=30797 vsize=10983192 memory=1200 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30859/stat : 30859 (java) S 30797 30800 19273 0 -1 1077944384 13 13353 0 0 0 0 4 3 20 0 15 0 107050581 11246788608 22104 33554432000 4194304 4196468 140734105194144 139849436750880 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30860] ppid=30797 vsize=10983192 memory=7014751519616751185 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30860/stat : 30860 (java) S 30797 30800 19273 0 -1 1077944384 1 13353 0 0 0 0 4 3 20 0 15 0 107050581 11246788608 22104 33554432000 4194304 4196468 140734105194144 139849235424112 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30861] ppid=30797 vsize=10983192 memory=7811891939479414610 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30861/stat : 30861 (java) S 30797 30800 19273 0 -1 1077944384 3 13353 0 0 0 0 4 3 20 0 15 0 107050583 11246788608 22104 33554432000 4194304 4196468 140734105194144 139848928024400 139850584999835 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30862] ppid=30797 vsize=10983192 memory=6076878065162868073 CPUtime=0.16 cores=0,2,4,6
/proc/30800/task/30862/stat : 30862 (java) S 30797 30800 19273 0 -1 1077944384 1096 13353 0 0 9 0 4 3 20 0 15 0 107050583 11246788608 22104 33554432000 4194304 4196468 140734105194144 139850009799536 139850584992386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30863] ppid=30797 vsize=10983192 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/30800/task/30863/stat : 30863 (java) S 30797 30800 19273 0 -1 1077944384 553 13353 0 0 7 0 4 3 20 0 15 0 107050583 11246788608 22104 33554432000 4194304 4196468 140734105194144 139850008746736 139850584992386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30864] ppid=30797 vsize=10983192 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/30800/task/30864/stat : 30864 (java) S 30797 30800 19273 0 -1 1077944384 692 13353 0 0 13 0 4 3 20 0 15 0 107050583 11246788608 22104 33554432000 4194304 4196468 140734105194144 139850007693936 139850584992386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30865] ppid=30797 vsize=10983192 memory=4096 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30865/stat : 30865 (java) S 30797 30800 19273 0 -1 1077944384 3 13353 0 0 0 0 4 3 20 0 15 0 107050584 11246788608 22104 33554432000 4194304 4196468 140734105194144 139848497228512 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30866] ppid=30797 vsize=10983192 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30866/stat : 30866 (java) S 30797 30800 19273 0 -1 1077944384 1 13353 0 0 0 0 4 3 20 0 15 0 107050584 11246788608 22104 33554432000 4194304 4196468 140734105194144 139850006641328 139850584992386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88416 KiB
[startup+1.50071 s]
/proc/loadavg: 1.76 1.76 1.63 3/219 30866
/proc/meminfo: memFree=26057856/32770624 swapFree=67108744/67108860
[pid=30800] ppid=30797 vsize=10991948 memory=234324 CPUtime=3.11 cores=0,2,4,6
/proc/30800/stat : 30800 (java) S 30797 30800 19273 0 -1 1077944320 23032 13353 0 0 295 9 4 3 20 0 15 0 107050569 11255754752 58581 33554432000 4194304 4196468 140734105194144 140734105176688 139850584981239 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
/proc/30800/statm: 2747987 58581 3476 1 0 2709645 0
[pid=30800/tid=30853] ppid=30797 vsize=10991948 memory=13884 CPUtime=1.43 cores=0,2,4,6
/proc/30800/task/30853/stat : 30853 (java) R 30797 30800 19273 0 -1 4202560 15057 13353 0 0 130 6 4 3 20 0 15 0 107050578 11255754752 58581 33554432000 4194304 4196468 140734105194144 139850556813728 139850564567526 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30854] ppid=30797 vsize=10991948 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/30800/task/30854/stat : 30854 (java) S 30797 30800 19273 0 -1 1077944384 52 13353 0 0 1 0 4 3 20 0 15 0 107050579 11255754752 58581 33554432000 4194304 4196468 140734105194144 139850589224080 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30855] ppid=30797 vsize=10991948 memory=1404 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30855/stat : 30855 (java) S 30797 30800 19273 0 -1 1077944384 87 13353 0 0 0 0 4 3 20 0 15 0 107050579 11255754752 58581 33554432000 4194304 4196468 140734105194144 139850124618768 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30856] ppid=30797 vsize=10991948 memory=3156 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30856/stat : 30856 (java) S 30797 30800 19273 0 -1 1077944384 1 13353 0 0 0 0 4 3 20 0 15 0 107050579 11255754752 58581 33554432000 4194304 4196468 140734105194144 139850123565968 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30857] ppid=30797 vsize=10991948 memory=88416 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30857/stat : 30857 (java) S 30797 30800 19273 0 -1 1077944384 200 13353 0 0 0 0 4 3 20 0 15 0 107050579 11255754752 58581 33554432000 4194304 4196468 140734105194144 139850122513168 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30858] ppid=30797 vsize=10991948 memory=280836771701184 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30858/stat : 30858 (java) S 30797 30800 19273 0 -1 1077944384 95 13353 0 0 0 0 4 3 20 0 15 0 107050580 11255754752 58581 33554432000 4194304 4196468 140734105194144 139850010851696 139850584992386 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30859] ppid=30797 vsize=10991948 memory=280836771701376 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30859/stat : 30859 (java) S 30797 30800 19273 0 -1 1077944384 13 13353 0 0 0 0 4 3 20 0 15 0 107050581 11255754752 58581 33554432000 4194304 4196468 140734105194144 139849436750880 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30860] ppid=30797 vsize=10991948 memory=280836771497632 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30860/stat : 30860 (java) S 30797 30800 19273 0 -1 1077944384 1 13353 0 0 0 0 4 3 20 0 15 0 107050581 11255754752 58581 33554432000 4194304 4196468 140734105194144 139849235424112 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30861] ppid=30797 vsize=10991948 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30861/stat : 30861 (java) S 30797 30800 19273 0 -1 1077944384 3 13353 0 0 0 0 4 3 20 0 15 0 107050583 11255754752 58581 33554432000 4194304 4196468 140734105194144 139848928024400 139850584999835 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30862] ppid=30797 vsize=10991948 memory=4638778398332698720 CPUtime=0.69 cores=0,2,4,6
/proc/30800/task/30862/stat : 30862 (java) R 30797 30800 19273 0 -1 4202560 2515 13353 0 0 62 0 4 3 20 0 15 0 107050583 11255754752 58581 33554432000 4194304 4196468 140734105194144 139850009789136 139850568510048 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30863] ppid=30797 vsize=10991948 memory=280836771978112 CPUtime=0.63 cores=0,2,4,6
/proc/30800/task/30863/stat : 30863 (java) R 30797 30800 19273 0 -1 4202560 1311 13353 0 0 56 0 4 3 20 0 15 0 107050583 11255754752 58581 33554432000 4194304 4196468 140734105194144 139850008735472 139850564443466 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30864] ppid=30797 vsize=10991948 memory=-7522837583129502606 CPUtime=0.48 cores=0,2,4,6
/proc/30800/task/30864/stat : 30864 (java) R 30797 30800 19273 0 -1 1077944384 1501 13353 0 0 41 0 4 3 20 0 15 0 107050583 11255754752 58581 33554432000 4194304 4196468 140734105194144 139850007693936 139850584992386 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30865] ppid=30797 vsize=10991948 memory=6944656592452807323 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30865/stat : 30865 (java) S 30797 30800 19273 0 -1 1077944384 3 13353 0 0 0 0 4 3 20 0 15 0 107050584 11255754752 58581 33554432000 4194304 4196468 140734105194144 139848497228512 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30866] ppid=30797 vsize=10991948 memory=6944656591801719708 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30866/stat : 30866 (java) S 30797 30800 19273 0 -1 1077944384 1 13353 0 0 0 0 4 3 20 0 15 0 107050584 11255754752 58581 33554432000 4194304 4196468 140734105194144 139850006641328 139850584992386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
Current children cumulated CPU time: 3.11 s
Current children cumulated vsize: 10991948 KiB
################
# More data... #
################
[startup+106.563 s]
# the end of solver process 30800 was just reported to runsolver
# cumulated CPU time of all completed processes: user=255.165 s, system=5.05123 s
Solver just ended.
Dumping a history of the last processes samples
[startup+105.601 s]
/proc/loadavg: 3.87 2.38 1.86 9/219 30995
/proc/meminfo: memFree=18679596/32770624 swapFree=67108744/67108860
[pid=30800] ppid=30797 vsize=11073888 memory=5447132 CPUtime=256.64 cores=0,2,4,6
/proc/30800/stat : 30800 (java) S 30797 30800 19273 0 -1 1077944320 316331 13353 0 0 25162 495 4 3 20 0 15 0 107050569 11339661312 1361783 33554432000 4194304 4196468 140734105194144 140734105176688 139850584981239 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
/proc/30800/statm: 2768472 1361783 3523 1 0 2730125 0
[pid=30800/tid=30853] ppid=30797 vsize=11073888 memory=5447128 CPUtime=52.58 cores=0,2,4,6
/proc/30800/task/30853/stat : 30853 (java) S 30797 30800 19273 0 -1 1077944384 32498 13353 0 0 5235 16 4 3 20 0 15 0 107050578 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139850556815312 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30854] ppid=30797 vsize=11073888 memory=5447120 CPUtime=47.37 cores=0,2,4,6
/proc/30800/task/30854/stat : 30854 (java) R 30797 30800 19273 0 -1 4202560 40056 13353 0 0 4616 114 4 3 20 0 15 0 107050579 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139850589223976 139850577609447 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30855] ppid=30797 vsize=11073888 memory=-7385047718117218973 CPUtime=47.88 cores=0,2,4,6
/proc/30800/task/30855/stat : 30855 (java) R 30797 30800 19273 0 -1 4202560 109963 13353 0 0 4658 123 4 3 20 0 15 0 107050579 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139850124618352 139850577609447 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30856] ppid=30797 vsize=11073888 memory=7594591109874339943 CPUtime=48.09 cores=0,2,4,6
/proc/30800/task/30856/stat : 30856 (java) R 30797 30800 19273 0 -1 4202560 45486 13353 0 0 4690 112 4 3 20 0 15 0 107050579 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139850123566168 139850566577115 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30857] ppid=30797 vsize=11073888 memory=7813865652928602452 CPUtime=47.28 cores=0,2,4,6
/proc/30800/task/30857/stat : 30857 (java) R 30797 30800 19273 0 -1 4202560 27408 13353 0 0 4603 118 4 3 20 0 15 0 107050579 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139850122513064 139850577609447 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30858] ppid=30797 vsize=11073888 memory=6791534058613427641 CPUtime=4.53 cores=0,2,4,6
/proc/30800/task/30858/stat : 30858 (java) S 30797 30800 19273 0 -1 1077944384 43218 13353 0 0 444 2 4 3 20 0 15 0 107050580 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139850010850016 139850584991445 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30859] ppid=30797 vsize=11073888 memory=1844 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30859/stat : 30859 (java) S 30797 30800 19273 0 -1 1077944384 17 13353 0 0 0 0 4 3 20 0 15 0 107050581 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139849436750944 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30860] ppid=30797 vsize=11073888 memory=1008 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30860/stat : 30860 (java) S 30797 30800 19273 0 -1 1077944384 1 13353 0 0 0 0 4 3 20 0 15 0 107050581 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139849235424128 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30861] ppid=30797 vsize=11073888 memory=5404 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30861/stat : 30861 (java) S 30797 30800 19273 0 -1 1077944384 7 13353 0 0 0 0 4 3 20 0 15 0 107050583 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139848928024048 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30862] ppid=30797 vsize=11073888 memory=6791534058613427641 CPUtime=3.89 cores=0,2,4,6
/proc/30800/task/30862/stat : 30862 (java) S 30797 30800 19273 0 -1 1077944384 5036 13353 0 0 381 1 4 3 20 0 15 0 107050583 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139850009799584 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30863] ppid=30797 vsize=11073888 memory=30656 CPUtime=3.72 cores=0,2,4,6
/proc/30800/task/30863/stat : 30863 (java) S 30797 30800 19273 0 -1 1077944384 3921 13353 0 0 364 1 4 3 20 0 15 0 107050583 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139850008746496 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30864] ppid=30797 vsize=11073888 memory=2396 CPUtime=1.71 cores=0,2,4,6
/proc/30800/task/30864/stat : 30864 (java) S 30797 30800 19273 0 -1 1077944384 6239 13353 0 0 162 2 4 3 20 0 15 0 107050583 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139850007693984 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30865] ppid=30797 vsize=11073888 memory=1292 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30865/stat : 30865 (java) S 30797 30800 19273 0 -1 1077944384 3 13353 0 0 0 0 4 3 20 0 15 0 107050584 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139848497228512 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30866] ppid=30797 vsize=11073888 memory=6791534058613427641 CPUtime=0.12 cores=0,2,4,6
/proc/30800/task/30866/stat : 30866 (java) S 30797 30800 19273 0 -1 1077944384 285 13353 0 0 3 2 4 3 20 0 15 0 107050584 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139850006641328 139850584992386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
Current children cumulated CPU time: 256.64 s
Current children cumulated vsize: 11073888 KiB
Current children cumulated memory: 5447132 KiB
[startup+106.001 s]*
/proc/loadavg: 3.87 2.38 1.86 9/219 30995
/proc/meminfo: memFree=18675252/32770624 swapFree=67108744/67108860
[pid=30800] ppid=30797 vsize=11073888 memory=5447132 CPUtime=258.22 cores=0,2,4,6
/proc/30800/stat : 30800 (java) S 30797 30800 19273 0 -1 1077944320 316360 13353 0 0 25320 495 4 3 20 0 15 0 107050569 11339661312 1361783 33554432000 4194304 4196468 140734105194144 140734105176688 139850584981239 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
/proc/30800/statm: 2768472 1361783 3523 1 0 2730125 0
[pid=30800/tid=30853] ppid=30797 vsize=11073888 memory=6791534058613427641 CPUtime=52.58 cores=0,2,4,6
/proc/30800/task/30853/stat : 30853 (java) S 30797 30800 19273 0 -1 1077944384 32498 13353 0 0 5235 16 4 3 20 0 15 0 107050578 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139850556815312 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30854] ppid=30797 vsize=11073888 memory=4872558044660077418 CPUtime=47.76 cores=0,2,4,6
/proc/30800/task/30854/stat : 30854 (java) R 30797 30800 19273 0 -1 4202560 40056 13353 0 0 4655 114 4 3 20 0 15 0 107050579 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139850589223664 139850577609447 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30855] ppid=30797 vsize=11073888 memory=2240 CPUtime=48.27 cores=0,2,4,6
/proc/30800/task/30855/stat : 30855 (java) R 30797 30800 19273 0 -1 4202560 109963 13353 0 0 4697 123 4 3 20 0 15 0 107050579 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139850124618664 139850577609447 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30856] ppid=30797 vsize=11073888 memory=4124 CPUtime=48.5 cores=0,2,4,6
/proc/30800/task/30856/stat : 30856 (java) R 30797 30800 19273 0 -1 4202560 45516 13353 0 0 4731 112 4 3 20 0 15 0 107050579 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139850123566168 139850569932363 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30857] ppid=30797 vsize=11073888 memory=2196 CPUtime=47.66 cores=0,2,4,6
/proc/30800/task/30857/stat : 30857 (java) R 30797 30800 19273 0 -1 4202560 27408 13353 0 0 4641 118 4 3 20 0 15 0 107050579 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139850122513064 139850577609447 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30858] ppid=30797 vsize=11073888 memory=7636 CPUtime=4.53 cores=0,2,4,6
/proc/30800/task/30858/stat : 30858 (java) S 30797 30800 19273 0 -1 1077944384 43218 13353 0 0 444 2 4 3 20 0 15 0 107050580 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139850010850016 139850584991445 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30859] ppid=30797 vsize=11073888 memory=836 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30859/stat : 30859 (java) S 30797 30800 19273 0 -1 1077944384 17 13353 0 0 0 0 4 3 20 0 15 0 107050581 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139849436750944 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30860] ppid=30797 vsize=11073888 memory=1796 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30860/stat : 30860 (java) S 30797 30800 19273 0 -1 1077944384 1 13353 0 0 0 0 4 3 20 0 15 0 107050581 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139849235424128 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30861] ppid=30797 vsize=11073888 memory=916 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30861/stat : 30861 (java) S 30797 30800 19273 0 -1 1077944384 7 13353 0 0 0 0 4 3 20 0 15 0 107050583 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139848928024048 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30862] ppid=30797 vsize=11073888 memory=3848 CPUtime=3.89 cores=0,2,4,6
/proc/30800/task/30862/stat : 30862 (java) S 30797 30800 19273 0 -1 1077944384 5036 13353 0 0 381 1 4 3 20 0 15 0 107050583 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139850009799584 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30863] ppid=30797 vsize=11073888 memory=4108 CPUtime=3.72 cores=0,2,4,6
/proc/30800/task/30863/stat : 30863 (java) S 30797 30800 19273 0 -1 1077944384 3921 13353 0 0 364 1 4 3 20 0 15 0 107050583 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139850008746496 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30864] ppid=30797 vsize=11073888 memory=2700 CPUtime=1.71 cores=0,2,4,6
/proc/30800/task/30864/stat : 30864 (java) S 30797 30800 19273 0 -1 1077944384 6239 13353 0 0 162 2 4 3 20 0 15 0 107050583 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139850007693984 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30865] ppid=30797 vsize=11073888 memory=2700 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30865/stat : 30865 (java) S 30797 30800 19273 0 -1 1077944384 3 13353 0 0 0 0 4 3 20 0 15 0 107050584 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139848497228512 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30866] ppid=30797 vsize=11073888 memory=1408 CPUtime=0.12 cores=0,2,4,6
/proc/30800/task/30866/stat : 30866 (java) S 30797 30800 19273 0 -1 1077944384 285 13353 0 0 3 2 4 3 20 0 15 0 107050584 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139850006641328 139850584992386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
Current children cumulated CPU time: 258.22 s
Current children cumulated vsize: 11073888 KiB
Current children cumulated memory: 5447132 KiB
[startup+106.401 s]
/proc/loadavg: 3.87 2.38 1.86 9/219 30995
/proc/meminfo: memFree=18675252/32770624 swapFree=67108744/67108860
[pid=30800] ppid=30797 vsize=11073888 memory=5447132 CPUtime=259.73 cores=0,2,4,6
/proc/30800/stat : 30800 (java) S 30797 30800 19273 0 -1 1077944320 316384 13353 0 0 25470 496 4 3 20 0 15 0 107050569 11339661312 1361783 33554432000 4194304 4196468 140734105194144 140734105176688 139850584981239 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
/proc/30800/statm: 2768472 1361783 3523 1 0 2730125 0
[pid=30800/tid=30853] ppid=30797 vsize=11073888 memory=6944656592455360604 CPUtime=52.58 cores=0,2,4,6
/proc/30800/task/30853/stat : 30853 (java) S 30797 30800 19273 0 -1 1077944384 32498 13353 0 0 5235 16 4 3 20 0 15 0 107050578 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139850556815312 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30854] ppid=30797 vsize=11073888 memory=5447120 CPUtime=48.13 cores=0,2,4,6
/proc/30800/task/30854/stat : 30854 (java) R 30797 30800 19273 0 -1 4202560 40056 13353 0 0 4692 114 4 3 20 0 15 0 107050579 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139850589223976 139850577609447 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30855] ppid=30797 vsize=11073888 memory=6791534058613427641 CPUtime=48.64 cores=0,2,4,6
/proc/30800/task/30855/stat : 30855 (java) R 30797 30800 19273 0 -1 4202560 109963 13353 0 0 4734 123 4 3 20 0 15 0 107050579 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139850124618664 139850577609447 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30856] ppid=30797 vsize=11073888 memory=30656 CPUtime=48.89 cores=0,2,4,6
/proc/30800/task/30856/stat : 30856 (java) R 30797 30800 19273 0 -1 4202560 45539 13353 0 0 4770 112 4 3 20 0 15 0 107050579 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139850123566168 139850569678878 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30857] ppid=30797 vsize=11073888 memory=2396 CPUtime=48.04 cores=0,2,4,6
/proc/30800/task/30857/stat : 30857 (java) R 30797 30800 19273 0 -1 4202560 27408 13353 0 0 4679 118 4 3 20 0 15 0 107050579 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139850122512752 139850577609447 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30858] ppid=30797 vsize=11073888 memory=1292 CPUtime=4.53 cores=0,2,4,6
/proc/30800/task/30858/stat : 30858 (java) S 30797 30800 19273 0 -1 1077944384 43218 13353 0 0 444 2 4 3 20 0 15 0 107050580 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139850010850016 139850584991445 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30859] ppid=30797 vsize=11073888 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30859/stat : 30859 (java) S 30797 30800 19273 0 -1 1077944384 17 13353 0 0 0 0 4 3 20 0 15 0 107050581 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139849436750944 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30860] ppid=30797 vsize=11073888 memory=4639939496134862184 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30860/stat : 30860 (java) S 30797 30800 19273 0 -1 1077944384 1 13353 0 0 0 0 4 3 20 0 15 0 107050581 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139849235424128 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30861] ppid=30797 vsize=11073888 memory=7090988413152880236 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30861/stat : 30861 (java) S 30797 30800 19273 0 -1 1077944384 7 13353 0 0 0 0 4 3 20 0 15 0 107050583 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139848928024048 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30862] ppid=30797 vsize=11073888 memory=7090988413152880236 CPUtime=3.89 cores=0,2,4,6
/proc/30800/task/30862/stat : 30862 (java) S 30797 30800 19273 0 -1 1077944384 5036 13353 0 0 381 1 4 3 20 0 15 0 107050583 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139850009799584 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30863] ppid=30797 vsize=11073888 memory=5447128 CPUtime=3.72 cores=0,2,4,6
/proc/30800/task/30863/stat : 30863 (java) S 30797 30800 19273 0 -1 1077944384 3921 13353 0 0 364 1 4 3 20 0 15 0 107050583 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139850008746496 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30864] ppid=30797 vsize=11073888 memory=288230596050944315 CPUtime=1.71 cores=0,2,4,6
/proc/30800/task/30864/stat : 30864 (java) S 30797 30800 19273 0 -1 1077944384 6239 13353 0 0 162 2 4 3 20 0 15 0 107050583 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139850007693984 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30865] ppid=30797 vsize=11073888 memory=15534111569742379 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30865/stat : 30865 (java) S 30797 30800 19273 0 -1 1077944384 3 13353 0 0 0 0 4 3 20 0 15 0 107050584 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139848497228512 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30866] ppid=30797 vsize=11073888 memory=3848 CPUtime=0.12 cores=0,2,4,6
/proc/30800/task/30866/stat : 30866 (java) S 30797 30800 19273 0 -1 1077944384 285 13353 0 0 3 2 4 3 20 0 15 0 107050584 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139850006641328 139850584992386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
Current children cumulated CPU time: 259.73 s
Current children cumulated vsize: 11073888 KiB
Current children cumulated memory: 5447132 KiB
[startup+106.501 s]
/proc/loadavg: 3.87 2.38 1.86 9/219 30995
/proc/meminfo: memFree=18675252/32770624 swapFree=67108744/67108860
[pid=30800] ppid=30797 vsize=11073888 memory=5447132 CPUtime=260.12 cores=0,2,4,6
/proc/30800/stat : 30800 (java) S 30797 30800 19273 0 -1 1077944320 316388 13353 0 0 25509 496 4 3 20 0 15 0 107050569 11339661312 1361783 33554432000 4194304 4196468 140734105194144 140734105176688 139850584981239 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
/proc/30800/statm: 2768472 1361783 3523 1 0 2730125 0
[pid=30800/tid=30853] ppid=30797 vsize=11073888 memory=280836771901792 CPUtime=52.58 cores=0,2,4,6
/proc/30800/task/30853/stat : 30853 (java) S 30797 30800 19273 0 -1 1077944384 32498 13353 0 0 5235 16 4 3 20 0 15 0 107050578 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139850556815312 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30854] ppid=30797 vsize=11073888 memory=5447132 CPUtime=48.23 cores=0,2,4,6
/proc/30800/task/30854/stat : 30854 (java) R 30797 30800 19273 0 -1 4202560 40056 13353 0 0 4702 114 4 3 20 0 15 0 107050579 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139850589223664 139850577609447 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30855] ppid=30797 vsize=11073888 memory=5447128 CPUtime=48.73 cores=0,2,4,6
/proc/30800/task/30855/stat : 30855 (java) R 30797 30800 19273 0 -1 4202560 109963 13353 0 0 4743 123 4 3 20 0 15 0 107050579 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139850124618664 139850577609447 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30856] ppid=30797 vsize=11073888 memory=5447128 CPUtime=48.99 cores=0,2,4,6
/proc/30800/task/30856/stat : 30856 (java) R 30797 30800 19273 0 -1 4202560 45543 13353 0 0 4780 112 4 3 20 0 15 0 107050579 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139850123566168 139850566577056 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30857] ppid=30797 vsize=11073888 memory=4659140 CPUtime=48.13 cores=0,2,4,6
/proc/30800/task/30857/stat : 30857 (java) R 30797 30800 19273 0 -1 4202560 27408 13353 0 0 4688 118 4 3 20 0 15 0 107050579 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139850122513064 139850577609447 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30858] ppid=30797 vsize=11073888 memory=5447120 CPUtime=4.53 cores=0,2,4,6
/proc/30800/task/30858/stat : 30858 (java) S 30797 30800 19273 0 -1 1077944384 43218 13353 0 0 444 2 4 3 20 0 15 0 107050580 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139850010850016 139850584991445 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30859] ppid=30797 vsize=11073888 memory=4665372 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30859/stat : 30859 (java) S 30797 30800 19273 0 -1 1077944384 17 13353 0 0 0 0 4 3 20 0 15 0 107050581 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139849436750944 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30860] ppid=30797 vsize=11073888 memory=5443012 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30860/stat : 30860 (java) S 30797 30800 19273 0 -1 1077944384 1 13353 0 0 0 0 4 3 20 0 15 0 107050581 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139849235424128 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30861] ppid=30797 vsize=11073888 memory=56 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30861/stat : 30861 (java) S 30797 30800 19273 0 -1 1077944384 7 13353 0 0 0 0 4 3 20 0 15 0 107050583 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139848928024048 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30862] ppid=30797 vsize=11073888 memory=5447132 CPUtime=3.89 cores=0,2,4,6
/proc/30800/task/30862/stat : 30862 (java) S 30797 30800 19273 0 -1 1077944384 5036 13353 0 0 381 1 4 3 20 0 15 0 107050583 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139850009799584 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30863] ppid=30797 vsize=11073888 memory=4108 CPUtime=3.72 cores=0,2,4,6
/proc/30800/task/30863/stat : 30863 (java) S 30797 30800 19273 0 -1 1077944384 3921 13353 0 0 364 1 4 3 20 0 15 0 107050583 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139850008746496 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30864] ppid=30797 vsize=11073888 memory=0 CPUtime=1.71 cores=0,2,4,6
/proc/30800/task/30864/stat : 30864 (java) S 30797 30800 19273 0 -1 1077944384 6239 13353 0 0 162 2 4 3 20 0 15 0 107050583 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139850007693984 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30865] ppid=30797 vsize=11073888 memory=2257 CPUtime=0.07 cores=0,2,4,6
/proc/30800/task/30865/stat : 30865 (java) S 30797 30800 19273 0 -1 1077944384 3 13353 0 0 0 0 4 3 20 0 15 0 107050584 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139848497228512 139850584991445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
[pid=30800/tid=30866] ppid=30797 vsize=11073888 memory=5447128 CPUtime=0.12 cores=0,2,4,6
/proc/30800/task/30866/stat : 30866 (java) S 30797 30800 19273 0 -1 1077944384 285 13353 0 0 3 2 4 3 20 0 15 0 107050584 11339661312 1361783 33554432000 4194304 4196468 140734105194144 139850006641328 139850584992386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27160576 140734105201256 140734105204065 140734105204065 140734105206735 0
Current children cumulated CPU time: 260.12 s
Current children cumulated vsize: 11073888 KiB
Current children cumulated memory: 5447132 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 106.563
CPU time (s): 260.216
CPU user time (s): 255.165
CPU system time (s): 5.05123
CPU usage (%): 244.191
Max. virtual memory (cumulated for all children) (KiB): 11139424
Max. memory (cumulated for all children) (KiB): 5447132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 255.165
system time used= 5.05123
maximum resident set size= 5447424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 329743
page faults= 0
swaps= 0
block input operations= 0
block output operations= 280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12679
involuntary context switches= 3861
# summary of solver processes directly reported to runsolver:
# pid: 30800
# total CPU time (s): 260.216
# total CPU user time (s): 255.165
# total CPU system time (s): 5.05123
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.569416 second user time and 1.14808 second system time
The end