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 (6661 MiB free)
memory of node 1: 16384 MiB (4100 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304589-1534118695/watcher-4304589-1534118695 -o /tmp/evaluation-result-4304589-1534118695/solver-4304589-1534118695 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534097917-15760 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=62939491 HOME/instance-4304589-1534118695.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
solver pid=19744, runsolver pid=19741
Current StackSize limit: 8192 KiB
[startup+0.100089 s]*
/proc/loadavg: 1.70 1.75 1.77 3/207 19801
/proc/meminfo: memFree=11013780/32770624 swapFree=67108504/67108860
[pid=19744] ppid=19741 vsize=10005480 memory=16548 CPUtime=0.09 cores=0,2,4,6
/proc/19744/stat : 19744 (java) S 19741 19744 15729 0 -1 1077944320 4317 13057 0 0 1 0 5 3 20 0 6 0 229432646 10245611520 4137 33554432000 4194304 4196468 140728527784944 140728527767488 140244025880311 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
/proc/19744/statm: 2501370 4137 1932 1 0 2489808 0
[pid=19744/tid=19797] ppid=19741 vsize=10005480 memory=4279135704047321741 CPUtime=0.09 cores=0,2,4,6
/proc/19744/task/19797/stat : 19797 (java) R 19741 19744 15729 0 -1 4202560 2148 13057 0 0 1 0 5 3 20 0 6 0 229432656 10245611520 4203 33554432000 4194304 4196468 140728527784944 140243997717072 140244009960798 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19798] ppid=19741 vsize=10005480 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19798/stat : 19798 (java) S 19741 19744 15729 0 -1 1077944384 2 13057 0 0 0 0 5 3 20 0 6 0 229432656 10245611520 4203 33554432000 4194304 4196468 140728527784944 140244030123152 140244025890517 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19799] ppid=19741 vsize=10005480 memory=139801538209408 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19799/stat : 19799 (java) S 19741 19744 15729 0 -1 1077944384 2 13057 0 0 0 0 5 3 20 0 6 0 229432656 10245611520 4203 33554432000 4194304 4196468 140728527784944 140243911388176 140244025890517 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19800] ppid=19741 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19800/stat : 19800 (java) S 19741 19744 15729 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 6 0 229432656 10245611520 4203 33554432000 4194304 4196468 140728527784944 140243910335376 140244025890517 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19801] ppid=19741 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19801/stat : 19801 (java) S 19741 19744 15729 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 6 0 229432656 10245611520 4203 33554432000 4194304 4196468 140728527784944 140243909282576 140244025890517 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16548 KiB
[startup+0.210685 s]*
/proc/loadavg: 1.70 1.75 1.77 3/216 19810
/proc/meminfo: memFree=10991036/32770624 swapFree=67108504/67108860
[pid=19744] ppid=19741 vsize=10982744 memory=41576 CPUtime=0.26 cores=0,2,4,6
/proc/19744/stat : 19744 (java) S 19741 19744 15729 0 -1 1077944320 7078 13057 0 0 17 1 5 3 20 0 15 0 229432646 11246329856 10394 33554432000 4194304 4196468 140728527784944 140728527767488 140244025880311 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
/proc/19744/statm: 2745686 10394 2946 1 0 2708109 0
[pid=19744/tid=19797] ppid=19741 vsize=10982744 memory=-6517102902069810590 CPUtime=0.19 cores=0,2,4,6
/proc/19744/task/19797/stat : 19797 (java) R 19741 19744 15729 0 -1 4202560 3633 13057 0 0 10 1 5 3 20 0 15 0 229432656 11246329856 10394 33554432000 4194304 4196468 140728527784944 140243997702216 140244007443815 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19798] ppid=19741 vsize=10982744 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19798/stat : 19798 (java) S 19741 19744 15729 0 -1 1077944384 2 13057 0 0 0 0 5 3 20 0 15 0 229432656 11246329856 10394 33554432000 4194304 4196468 140728527784944 140244030123152 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19799] ppid=19741 vsize=10982744 memory=139801538209408 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19799/stat : 19799 (java) S 19741 19744 15729 0 -1 1077944384 2 13057 0 0 0 0 5 3 20 0 15 0 229432656 11246329856 10394 33554432000 4194304 4196468 140728527784944 140243911388176 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19800] ppid=19741 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19800/stat : 19800 (java) S 19741 19744 15729 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 229432656 11246329856 10394 33554432000 4194304 4196468 140728527784944 140243910335376 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19801] ppid=19741 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19801/stat : 19801 (java) S 19741 19744 15729 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 229432656 11246329856 10394 33554432000 4194304 4196468 140728527784944 140243909282576 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19802] ppid=19741 vsize=10982744 memory=139801538209408 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19802/stat : 19802 (java) S 19741 19744 15729 0 -1 1077944384 2 13057 0 0 0 0 5 3 20 0 15 0 229432658 11246329856 10394 33554432000 4194304 4196468 140728527784944 140243518937456 140244025891458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19803] ppid=19741 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19803/stat : 19803 (java) S 19741 19744 15729 0 -1 1077944384 13 13057 0 0 0 0 5 3 20 0 15 0 229432658 11246329856 10394 33554432000 4194304 4196468 140728527784944 140242828911648 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19804] ppid=19741 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19804/stat : 19804 (java) S 19741 19744 15729 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 229432659 11246329856 10394 33554432000 4194304 4196468 140728527784944 140242627584880 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19805] ppid=19741 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19805/stat : 19805 (java) S 19741 19744 15729 0 -1 1077944384 3 13057 0 0 0 0 5 3 20 0 15 0 229432661 11246329856 10394 33554432000 4194304 4196468 140728527784944 140242320185168 140244025898907 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19806] ppid=19741 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/19744/task/19806/stat : 19806 (java) S 19741 19744 15729 0 -1 1077944384 356 13057 0 0 1 0 5 3 20 0 15 0 229432661 11246329856 10394 33554432000 4194304 4196468 140728527784944 140243517885296 140244025891458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19807] ppid=19741 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19807/stat : 19807 (java) S 19741 19744 15729 0 -1 1077944384 249 13057 0 0 0 0 5 3 20 0 15 0 229432661 11246329856 10394 33554432000 4194304 4196468 140728527784944 140243516832496 140244025891458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19808] ppid=19741 vsize=10982744 memory=139801538209408 CPUtime=0.11 cores=0,2,4,6
/proc/19744/task/19808/stat : 19808 (java) S 19741 19744 15729 0 -1 1077944384 614 13057 0 0 3 0 5 3 20 0 15 0 229432661 11246329856 10394 33554432000 4194304 4196468 140728527784944 140243515779696 140244025891458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19809] ppid=19741 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19809/stat : 19809 (java) S 19741 19744 15729 0 -1 1077944384 3 13057 0 0 0 0 5 3 20 0 15 0 229432661 11246329856 10394 33554432000 4194304 4196468 140728527784944 140241889389280 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19810] ppid=19741 vsize=10982744 memory=139801538209408 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19810/stat : 19810 (java) S 19741 19744 15729 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 229432662 11246329856 10394 33554432000 4194304 4196468 140728527784944 140243514727088 140244025891458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 41576 KiB
[startup+0.310196 s]*
/proc/loadavg: 1.70 1.75 1.77 3/216 19810
/proc/meminfo: memFree=10979376/32770624 swapFree=67108504/67108860
[pid=19744] ppid=19741 vsize=10983192 memory=53172 CPUtime=0.38 cores=0,2,4,6
/proc/19744/stat : 19744 (java) S 19741 19744 15729 0 -1 1077944320 9875 13057 0 0 28 2 5 3 20 0 15 0 229432646 11246788608 13293 33554432000 4194304 4196468 140728527784944 140728527767488 140244025880311 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
/proc/19744/statm: 2745798 13293 3065 1 0 2708109 0
[pid=19744/tid=19797] ppid=19741 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/19744/task/19797/stat : 19797 (java) R 19741 19744 15729 0 -1 4202560 6554 13057 0 0 19 1 5 3 20 0 15 0 229432656 11246788608 13423 33554432000 4194304 4196468 140728527784944 140243997692320 140244006156071 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19798] ppid=19741 vsize=10983192 memory=7084813469699035216 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19798/stat : 19798 (java) S 19741 19744 15729 0 -1 1077944384 2 13057 0 0 0 0 5 3 20 0 15 0 229432656 11246788608 13423 33554432000 4194304 4196468 140728527784944 140244030123152 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19799] ppid=19741 vsize=10983192 memory=2076 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19799/stat : 19799 (java) S 19741 19744 15729 0 -1 1077944384 2 13057 0 0 0 0 5 3 20 0 15 0 229432656 11246788608 13423 33554432000 4194304 4196468 140728527784944 140243911388176 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19800] ppid=19741 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19800/stat : 19800 (java) S 19741 19744 15729 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 229432656 11246788608 13423 33554432000 4194304 4196468 140728527784944 140243910335376 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19801] ppid=19741 vsize=10983192 memory=4872558044660077418 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19801/stat : 19801 (java) S 19741 19744 15729 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 229432656 11246788608 13423 33554432000 4194304 4196468 140728527784944 140243909282576 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19802] ppid=19741 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19802/stat : 19802 (java) S 19741 19744 15729 0 -1 1077944384 2 13057 0 0 0 0 5 3 20 0 15 0 229432658 11246788608 13489 33554432000 4194304 4196468 140728527784944 140243518937456 140244025891458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19803] ppid=19741 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19803/stat : 19803 (java) S 19741 19744 15729 0 -1 1077944384 13 13057 0 0 0 0 5 3 20 0 15 0 229432658 11246788608 13489 33554432000 4194304 4196468 140728527784944 140242828911648 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19804] ppid=19741 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19804/stat : 19804 (java) S 19741 19744 15729 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 229432659 11246788608 13489 33554432000 4194304 4196468 140728527784944 140242627584880 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19805] ppid=19741 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19805/stat : 19805 (java) S 19741 19744 15729 0 -1 1077944384 3 13057 0 0 0 0 5 3 20 0 15 0 229432661 11246788608 13489 33554432000 4194304 4196468 140728527784944 140242320185168 140244025898907 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19806] ppid=19741 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/19744/task/19806/stat : 19806 (java) S 19741 19744 15729 0 -1 1077944384 356 13057 0 0 1 0 5 3 20 0 15 0 229432661 11246788608 13489 33554432000 4194304 4196468 140728527784944 140243517885296 140244025891458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19807] ppid=19741 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/19744/task/19807/stat : 19807 (java) S 19741 19744 15729 0 -1 1077944384 256 13057 0 0 1 0 5 3 20 0 15 0 229432661 11246788608 13489 33554432000 4194304 4196468 140728527784944 140243516832496 140244025891458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19808] ppid=19741 vsize=10983192 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/19744/task/19808/stat : 19808 (java) S 19741 19744 15729 0 -1 1077944384 620 13057 0 0 4 0 5 3 20 0 15 0 229432661 11246788608 13489 33554432000 4194304 4196468 140728527784944 140243515779696 140244025891458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19809] ppid=19741 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19809/stat : 19809 (java) S 19741 19744 15729 0 -1 1077944384 3 13057 0 0 0 0 5 3 20 0 15 0 229432661 11246788608 13489 33554432000 4194304 4196468 140728527784944 140241889389280 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19810] ppid=19741 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19810/stat : 19810 (java) S 19741 19744 15729 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 229432662 11246788608 13489 33554432000 4194304 4196468 140728527784944 140243514727088 140244025891458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 53172 KiB
[startup+0.700725 s]
/proc/loadavg: 1.70 1.75 1.77 3/216 19810
/proc/meminfo: memFree=10967964/32770624 swapFree=67108504/67108860
[pid=19744] ppid=19741 vsize=10983192 memory=88384 CPUtime=0.99 cores=0,2,4,6
/proc/19744/stat : 19744 (java) S 19741 19744 15729 0 -1 1077944320 16767 13057 0 0 87 4 5 3 20 0 15 0 229432646 11246788608 22096 33554432000 4194304 4196468 140728527784944 140728527767488 140244025880311 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
/proc/19744/statm: 2745798 22096 3238 1 0 2708109 0
[pid=19744/tid=19797] ppid=19741 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/19744/task/19797/stat : 19797 (java) R 19741 19744 15729 0 -1 4202560 12248 13057 0 0 55 3 5 3 20 0 15 0 229432656 11246788608 22096 33554432000 4194304 4196468 140728527784944 140243997703312 140244006155979 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19798] ppid=19741 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19798/stat : 19798 (java) S 19741 19744 15729 0 -1 1077944384 2 13057 0 0 0 0 5 3 20 0 15 0 229432656 11246788608 22096 33554432000 4194304 4196468 140728527784944 140244030123152 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19799] ppid=19741 vsize=10983192 memory=3816 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19799/stat : 19799 (java) S 19741 19744 15729 0 -1 1077944384 2 13057 0 0 0 0 5 3 20 0 15 0 229432656 11246788608 22096 33554432000 4194304 4196468 140728527784944 140243911388176 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19800] ppid=19741 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19800/stat : 19800 (java) S 19741 19744 15729 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 229432656 11246788608 22096 33554432000 4194304 4196468 140728527784944 140243910335376 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19801] ppid=19741 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19801/stat : 19801 (java) S 19741 19744 15729 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 229432656 11246788608 22096 33554432000 4194304 4196468 140728527784944 140243909282576 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19802] ppid=19741 vsize=10983192 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19802/stat : 19802 (java) S 19741 19744 15729 0 -1 1077944384 5 13057 0 0 0 0 5 3 20 0 15 0 229432658 11246788608 22096 33554432000 4194304 4196468 140728527784944 140243518937456 140244025891458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19803] ppid=19741 vsize=10983192 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19803/stat : 19803 (java) S 19741 19744 15729 0 -1 1077944384 13 13057 0 0 0 0 5 3 20 0 15 0 229432658 11246788608 22096 33554432000 4194304 4196468 140728527784944 140242828911648 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19804] ppid=19741 vsize=10983192 memory=8836 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19804/stat : 19804 (java) S 19741 19744 15729 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 229432659 11246788608 22096 33554432000 4194304 4196468 140728527784944 140242627584880 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19805] ppid=19741 vsize=10983192 memory=11044 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19805/stat : 19805 (java) S 19741 19744 15729 0 -1 1077944384 3 13057 0 0 0 0 5 3 20 0 15 0 229432661 11246788608 22096 33554432000 4194304 4196468 140728527784944 140242320185168 140244025898907 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19806] ppid=19741 vsize=10983192 memory=13252 CPUtime=0.15 cores=0,2,4,6
/proc/19744/task/19806/stat : 19806 (java) S 19741 19744 15729 0 -1 1077944384 693 13057 0 0 7 0 5 3 20 0 15 0 229432661 11246788608 22096 33554432000 4194304 4196468 140728527784944 140243517885296 140244025891458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19807] ppid=19741 vsize=10983192 memory=15460 CPUtime=0.17 cores=0,2,4,6
/proc/19744/task/19807/stat : 19807 (java) S 19741 19744 15729 0 -1 1077944384 882 13057 0 0 9 0 5 3 20 0 15 0 229432661 11246788608 22096 33554432000 4194304 4196468 140728527784944 140243516832496 140244025891458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19808] ppid=19741 vsize=10983192 memory=17668 CPUtime=0.21 cores=0,2,4,6
/proc/19744/task/19808/stat : 19808 (java) S 19741 19744 15729 0 -1 1077944384 715 13057 0 0 13 0 5 3 20 0 15 0 229432661 11246788608 22096 33554432000 4194304 4196468 140728527784944 140243515779696 140244025891458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19809] ppid=19741 vsize=10983192 memory=19876 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19809/stat : 19809 (java) S 19741 19744 15729 0 -1 1077944384 3 13057 0 0 0 0 5 3 20 0 15 0 229432661 11246788608 22096 33554432000 4194304 4196468 140728527784944 140241889389280 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19810] ppid=19741 vsize=10983192 memory=22084 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19810/stat : 19810 (java) S 19741 19744 15729 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 229432662 11246788608 22096 33554432000 4194304 4196468 140728527784944 140243514727088 140244025891458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88384 KiB
[startup+1.50073 s]
/proc/loadavg: 1.70 1.75 1.77 3/216 19810
/proc/meminfo: memFree=10924628/32770624 swapFree=67108504/67108860
[pid=19744] ppid=19741 vsize=10998092 memory=177520 CPUtime=2.26 cores=0,2,4,6
/proc/19744/stat : 19744 (java) S 19741 19744 15729 0 -1 1077944320 23924 13057 0 0 207 11 5 3 20 0 15 0 229432646 11262046208 44380 33554432000 4194304 4196468 140728527784944 140728527767488 140244025880311 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
/proc/19744/statm: 2749523 44380 3469 1 0 2711181 0
[pid=19744/tid=19797] ppid=19741 vsize=10998092 memory=0 CPUtime=1.43 cores=0,2,4,6
/proc/19744/task/19797/stat : 19797 (java) R 19741 19744 15729 0 -1 4202560 17851 13057 0 0 129 6 5 3 20 0 15 0 229432656 11262046208 44380 33554432000 4194304 4196468 140728527784944 140243997697792 140244012066040 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19798] ppid=19741 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19798/stat : 19798 (java) S 19741 19744 15729 0 -1 1077944384 28 13057 0 0 0 0 5 3 20 0 15 0 229432656 11262046208 44380 33554432000 4194304 4196468 140728527784944 140244030123152 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19799] ppid=19741 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19799/stat : 19799 (java) S 19741 19744 15729 0 -1 1077944384 58 13057 0 0 0 0 5 3 20 0 15 0 229432656 11262046208 44380 33554432000 4194304 4196468 140728527784944 140243911388176 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19800] ppid=19741 vsize=10998092 memory=3539892194917298225 CPUtime=0.09 cores=0,2,4,6
/proc/19744/task/19800/stat : 19800 (java) S 19741 19744 15729 0 -1 1077944384 199 13057 0 0 1 0 5 3 20 0 15 0 229432656 11262046208 44380 33554432000 4194304 4196468 140728527784944 140243910335376 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19801] ppid=19741 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19801/stat : 19801 (java) S 19741 19744 15729 0 -1 1077944384 18 13057 0 0 0 0 5 3 20 0 15 0 229432656 11262046208 44380 33554432000 4194304 4196468 140728527784944 140243909282576 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19802] ppid=19741 vsize=10998092 memory=-7965959130280075168 CPUtime=0.09 cores=0,2,4,6
/proc/19744/task/19802/stat : 19802 (java) S 19741 19744 15729 0 -1 1077944384 53 13057 0 0 1 0 5 3 20 0 15 0 229432658 11262046208 44380 33554432000 4194304 4196468 140728527784944 140243518937456 140244025891458 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19803] ppid=19741 vsize=10998092 memory=279602773698816 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19803/stat : 19803 (java) S 19741 19744 15729 0 -1 1077944384 14 13057 0 0 0 0 5 3 20 0 15 0 229432658 11262046208 44380 33554432000 4194304 4196468 140728527784944 140242828911712 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19804] ppid=19741 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19804/stat : 19804 (java) S 19741 19744 15729 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 229432659 11262046208 44380 33554432000 4194304 4196468 140728527784944 140242627584896 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19805] ppid=19741 vsize=10998092 memory=4552 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19805/stat : 19805 (java) S 19741 19744 15729 0 -1 1077944384 3 13057 0 0 0 0 5 3 20 0 15 0 229432661 11262046208 44380 33554432000 4194304 4196468 140728527784944 140242320185168 140244025898907 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19806] ppid=19741 vsize=10998092 memory=3732 CPUtime=0.27 cores=0,2,4,6
/proc/19744/task/19806/stat : 19806 (java) R 19741 19744 15729 0 -1 4202560 1205 13057 0 0 19 0 5 3 20 0 15 0 229432661 11262046208 44380 33554432000 4194304 4196468 140728527784944 140243517885296 140244007401408 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19807] ppid=19741 vsize=10998092 memory=1228 CPUtime=0.3 cores=0,2,4,6
/proc/19744/task/19807/stat : 19807 (java) S 19741 19744 15729 0 -1 1077944384 1051 13057 0 0 22 0 5 3 20 0 15 0 229432661 11262046208 44380 33554432000 4194304 4196468 140728527784944 140243516832496 140244025891458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19808] ppid=19741 vsize=10998092 memory=10624 CPUtime=0.38 cores=0,2,4,6
/proc/19744/task/19808/stat : 19808 (java) S 19741 19744 15729 0 -1 1077944384 1242 13057 0 0 30 0 5 3 20 0 15 0 229432661 11262046208 44380 33554432000 4194304 4196468 140728527784944 140243515779696 140244025891458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19809] ppid=19741 vsize=10998092 memory=1624 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19809/stat : 19809 (java) S 19741 19744 15729 0 -1 1077944384 3 13057 0 0 0 0 5 3 20 0 15 0 229432661 11262046208 44380 33554432000 4194304 4196468 140728527784944 140241889389280 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19810] ppid=19741 vsize=10998092 memory=6776 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19810/stat : 19810 (java) S 19741 19744 15729 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 229432662 11262046208 44380 33554432000 4194304 4196468 140728527784944 140243514727088 140244025891458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
Current children cumulated CPU time: 2.26 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
[startup+3.11015 s]
/proc/loadavg: 1.81 1.77 1.77 4/216 19810
/proc/meminfo: memFree=10804140/32770624 swapFree=67108504/67108860
[pid=19744] ppid=19741 vsize=11010400 memory=244388 CPUtime=5.71 cores=0,2,4,6
/proc/19744/stat : 19744 (java) S 19741 19744 15729 0 -1 1077944320 34225 13057 0 0 547 16 5 3 20 0 15 0 229432646 11274649600 61097 33554432000 4194304 4196468 140728527784944 140728527767488 140244025880311 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
/proc/19744/statm: 2752600 61097 3492 1 0 2714253 0
[pid=19744/tid=19797] ppid=19741 vsize=11010400 memory=279602774117696 CPUtime=2.99 cores=0,2,4,6
/proc/19744/task/19797/stat : 19797 (java) R 19741 19744 15729 0 -1 4202560 23394 13057 0 0 282 9 5 3 20 0 15 0 229432656 11274649600 61097 33554432000 4194304 4196468 140728527784944 140243997710080 140244009960798 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19798] ppid=19741 vsize=11010400 memory=388 CPUtime=0.11 cores=0,2,4,6
/proc/19744/task/19798/stat : 19798 (java) S 19741 19744 15729 0 -1 1077944384 39 13057 0 0 3 0 5 3 20 0 15 0 229432656 11274649600 61097 33554432000 4194304 4196468 140728527784944 140244030123152 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19799] ppid=19741 vsize=11010400 memory=6943526294502006880 CPUtime=0.11 cores=0,2,4,6
/proc/19744/task/19799/stat : 19799 (java) S 19741 19744 15729 0 -1 1077944384 79 13057 0 0 3 0 5 3 20 0 15 0 229432656 11274649600 61097 33554432000 4194304 4196468 140728527784944 140243911388176 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19800] ppid=19741 vsize=11010400 memory=56 CPUtime=0.11 cores=0,2,4,6
/proc/19744/task/19800/stat : 19800 (java) S 19741 19744 15729 0 -1 1077944384 243 13057 0 0 3 0 5 3 20 0 15 0 229432656 11274649600 61097 33554432000 4194304 4196468 140728527784944 140243910335376 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19801] ppid=19741 vsize=11010400 memory=7886128541231821106 CPUtime=0.1 cores=0,2,4,6
/proc/19744/task/19801/stat : 19801 (java) S 19741 19744 15729 0 -1 1077944384 19 13057 0 0 2 0 5 3 20 0 15 0 229432656 11274649600 61097 33554432000 4194304 4196468 140728527784944 140243909282576 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19802] ppid=19741 vsize=11010400 memory=8389687274550539058 CPUtime=0.11 cores=0,2,4,6
/proc/19744/task/19802/stat : 19802 (java) S 19741 19744 15729 0 -1 1077944384 1011 13057 0 0 3 0 5 3 20 0 15 0 229432658 11274649600 61097 33554432000 4194304 4196468 140728527784944 140243518937456 140244025891458 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19803] ppid=19741 vsize=11010400 memory=7093353333258711750 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19803/stat : 19803 (java) S 19741 19744 15729 0 -1 1077944384 14 13057 0 0 0 0 5 3 20 0 15 0 229432658 11274649600 61097 33554432000 4194304 4196468 140728527784944 140242828911712 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19804] ppid=19741 vsize=11010400 memory=279602773952000 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19804/stat : 19804 (java) S 19741 19744 15729 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 229432659 11274649600 61097 33554432000 4194304 4196468 140728527784944 140242627584896 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19805] ppid=19741 vsize=11010400 memory=7956567955459234152 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19805/stat : 19805 (java) S 19741 19744 15729 0 -1 1077944384 3 13057 0 0 0 0 5 3 20 0 15 0 229432661 11274649600 61097 33554432000 4194304 4196468 140728527784944 140242320185168 140244025898907 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19806] ppid=19741 vsize=11010400 memory=6940161746003911504 CPUtime=0.7 cores=0,2,4,6
/proc/19744/task/19806/stat : 19806 (java) S 19741 19744 15729 0 -1 1077944384 1515 13057 0 0 62 0 5 3 20 0 15 0 229432661 11274649600 61097 33554432000 4194304 4196468 140728527784944 140243517885296 140244025891458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19807] ppid=19741 vsize=11010400 memory=7447093755344480597 CPUtime=0.86 cores=0,2,4,6
/proc/19744/task/19807/stat : 19807 (java) S 19741 19744 15729 0 -1 1077944384 1836 13057 0 0 78 0 5 3 20 0 15 0 229432661 11274649600 61097 33554432000 4194304 4196468 140728527784944 140243516832496 140244025891458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19808] ppid=19741 vsize=11010400 memory=288230574492221466 CPUtime=1.17 cores=0,2,4,6
/proc/19744/task/19808/stat : 19808 (java) S 19741 19744 15729 0 -1 1077944384 3871 13057 0 0 108 1 5 3 20 0 15 0 229432661 11274649600 61097 33554432000 4194304 4196468 140728527784944 140243515779696 140244025891458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19809] ppid=19741 vsize=11010400 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19809/stat : 19809 (java) S 19741 19744 15729 0 -1 1077944384 3 13057 0 0 0 0 5 3 20 0 15 0 229432661 11274649600 61097 33554432000 4194304 4196468 140728527784944 140241889389280 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19810] ppid=19741 vsize=11010400 memory=2193 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19810/stat : 19810 (java) S 19741 19744 15729 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 229432662 11274649600 61097 33554432000 4194304 4196468 140728527784944 140243514727088 140244025891458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
Current children cumulated CPU time: 5.71 s
Current children cumulated vsize: 11010400 KiB
Current children cumulated memory: 244388 KiB
[startup+3.79127 s]
# the end of solver process 19744 was just reported to runsolver
# cumulated CPU time of all completed processes: user=7.44525 s, system=0.251875 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20084 s]
/proc/loadavg: 1.81 1.77 1.77 4/216 19810
/proc/meminfo: memFree=10804140/32770624 swapFree=67108504/67108860
[pid=19744] ppid=19741 vsize=11010400 memory=245928 CPUtime=5.9 cores=0,2,4,6
/proc/19744/stat : 19744 (java) S 19741 19744 15729 0 -1 1077944320 34604 13057 0 0 566 16 5 3 20 0 15 0 229432646 11274649600 61482 33554432000 4194304 4196468 140728527784944 140728527767488 140244025880311 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
/proc/19744/statm: 2752600 61482 3492 1 0 2714253 0
[pid=19744/tid=19797] ppid=19741 vsize=11010400 memory=0 CPUtime=3.08 cores=0,2,4,6
/proc/19744/task/19797/stat : 19797 (java) R 19741 19744 15729 0 -1 4202560 23645 13057 0 0 291 9 5 3 20 0 15 0 229432656 11274649600 61482 33554432000 4194304 4196468 140728527784944 140243997714400 140243584031208 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19798] ppid=19741 vsize=11010400 memory=6656426216303648864 CPUtime=0.11 cores=0,2,4,6
/proc/19744/task/19798/stat : 19798 (java) S 19741 19744 15729 0 -1 1077944384 39 13057 0 0 3 0 5 3 20 0 15 0 229432656 11274649600 61482 33554432000 4194304 4196468 140728527784944 140244030123152 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19799] ppid=19741 vsize=11010400 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/19744/task/19799/stat : 19799 (java) S 19741 19744 15729 0 -1 1077944384 79 13057 0 0 3 0 5 3 20 0 15 0 229432656 11274649600 61482 33554432000 4194304 4196468 140728527784944 140243911388176 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19800] ppid=19741 vsize=11010400 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/19744/task/19800/stat : 19800 (java) S 19741 19744 15729 0 -1 1077944384 243 13057 0 0 3 0 5 3 20 0 15 0 229432656 11274649600 61482 33554432000 4194304 4196468 140728527784944 140243910335376 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19801] ppid=19741 vsize=11010400 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/19744/task/19801/stat : 19801 (java) S 19741 19744 15729 0 -1 1077944384 19 13057 0 0 2 0 5 3 20 0 15 0 229432656 11274649600 61482 33554432000 4194304 4196468 140728527784944 140243909282576 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19802] ppid=19741 vsize=11010400 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/19744/task/19802/stat : 19802 (java) S 19741 19744 15729 0 -1 1077944384 1011 13057 0 0 3 0 5 3 20 0 15 0 229432658 11274649600 61482 33554432000 4194304 4196468 140728527784944 140243518937456 140244025891458 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19803] ppid=19741 vsize=11010400 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19803/stat : 19803 (java) S 19741 19744 15729 0 -1 1077944384 14 13057 0 0 0 0 5 3 20 0 15 0 229432658 11274649600 61482 33554432000 4194304 4196468 140728527784944 140242828911712 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19804] ppid=19741 vsize=11010400 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19804/stat : 19804 (java) S 19741 19744 15729 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 229432659 11274649600 61482 33554432000 4194304 4196468 140728527784944 140242627584896 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19805] ppid=19741 vsize=11010400 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19805/stat : 19805 (java) S 19741 19744 15729 0 -1 1077944384 3 13057 0 0 0 0 5 3 20 0 15 0 229432661 11274649600 61482 33554432000 4194304 4196468 140728527784944 140242320185168 140244025898907 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19806] ppid=19741 vsize=11010400 memory=0 CPUtime=0.72 cores=0,2,4,6
/proc/19744/task/19806/stat : 19806 (java) S 19741 19744 15729 0 -1 1077944384 1530 13057 0 0 64 0 5 3 20 0 15 0 229432661 11274649600 61482 33554432000 4194304 4196468 140728527784944 140243517885296 140244025891458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19807] ppid=19741 vsize=11010400 memory=1068 CPUtime=0.88 cores=0,2,4,6
/proc/19744/task/19807/stat : 19807 (java) S 19741 19744 15729 0 -1 1077944384 1847 13057 0 0 80 0 5 3 20 0 15 0 229432661 11274649600 61482 33554432000 4194304 4196468 140728527784944 140243516832496 140244025891458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19808] ppid=19741 vsize=11010400 memory=15084 CPUtime=1.21 cores=0,2,4,6
/proc/19744/task/19808/stat : 19808 (java) R 19741 19744 15729 0 -1 4202560 3972 13057 0 0 112 1 5 3 20 0 15 0 229432661 11274649600 61482 33554432000 4194304 4196468 140728527784944 140243515776064 140244018977028 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19809] ppid=19741 vsize=11010400 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19809/stat : 19809 (java) S 19741 19744 15729 0 -1 1077944384 3 13057 0 0 0 0 5 3 20 0 15 0 229432661 11274649600 61482 33554432000 4194304 4196468 140728527784944 140241889389280 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19810] ppid=19741 vsize=11010400 memory=6788 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19810/stat : 19810 (java) S 19741 19744 15729 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 229432662 11274649600 61482 33554432000 4194304 4196468 140728527784944 140243514727088 140244025891458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
Current children cumulated CPU time: 5.9 s
Current children cumulated vsize: 11010400 KiB
Current children cumulated memory: 245928 KiB
[startup+3.60074 s]
/proc/loadavg: 1.81 1.77 1.77 4/216 19810
/proc/meminfo: memFree=10804140/32770624 swapFree=67108504/67108860
[pid=19744] ppid=19741 vsize=11077984 memory=316756 CPUtime=7.18 cores=0,2,4,6
/proc/19744/stat : 19744 (java) S 19741 19744 15729 0 -1 1077944320 64353 13057 0 0 690 20 5 3 20 0 15 0 229432646 11343855616 79189 33554432000 4194304 4196468 140728527784944 140728527767488 140244025880311 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
/proc/19744/statm: 2769496 79189 3495 1 0 2731149 0
[pid=19744/tid=19797] ppid=19741 vsize=11077984 memory=0 CPUtime=3.47 cores=0,2,4,6
/proc/19744/task/19797/stat : 19797 (java) R 19741 19744 15729 0 -1 4202560 44485 13057 0 0 328 11 5 3 20 0 15 0 229432656 11343855616 79189 33554432000 4194304 4196468 140728527784944 140243997710176 140244003891158 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19798] ppid=19741 vsize=11077984 memory=279602774490784 CPUtime=0.11 cores=0,2,4,6
/proc/19744/task/19798/stat : 19798 (java) S 19741 19744 15729 0 -1 1077944384 39 13057 0 0 3 0 5 3 20 0 15 0 229432656 11343855616 79189 33554432000 4194304 4196468 140728527784944 140244030123152 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19799] ppid=19741 vsize=11077984 memory=139801387247664 CPUtime=0.11 cores=0,2,4,6
/proc/19744/task/19799/stat : 19799 (java) S 19741 19744 15729 0 -1 1077944384 79 13057 0 0 3 0 5 3 20 0 15 0 229432656 11343855616 79189 33554432000 4194304 4196468 140728527784944 140243911388176 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19800] ppid=19741 vsize=11077984 memory=6791534058613427641 CPUtime=0.11 cores=0,2,4,6
/proc/19744/task/19800/stat : 19800 (java) S 19741 19744 15729 0 -1 1077944384 243 13057 0 0 3 0 5 3 20 0 15 0 229432656 11343855616 79189 33554432000 4194304 4196468 140728527784944 140243910335376 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19801] ppid=19741 vsize=11077984 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/19744/task/19801/stat : 19801 (java) S 19741 19744 15729 0 -1 1077944384 19 13057 0 0 2 0 5 3 20 0 15 0 229432656 11343855616 79189 33554432000 4194304 4196468 140728527784944 140243909282576 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19802] ppid=19741 vsize=11077984 memory=-9174445032661854264 CPUtime=0.11 cores=0,2,4,6
/proc/19744/task/19802/stat : 19802 (java) S 19741 19744 15729 0 -1 1077944384 1510 13057 0 0 3 0 5 3 20 0 15 0 229432658 11343855616 79189 33554432000 4194304 4196468 140728527784944 140243518937456 140244025891458 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19803] ppid=19741 vsize=11077984 memory=6944656575208382560 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19803/stat : 19803 (java) S 19741 19744 15729 0 -1 1077944384 14 13057 0 0 0 0 5 3 20 0 15 0 229432658 11343855616 79189 33554432000 4194304 4196468 140728527784944 140242828911712 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19804] ppid=19741 vsize=11077984 memory=6944656592387989600 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19804/stat : 19804 (java) S 19741 19744 15729 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 229432659 11343855616 79189 33554432000 4194304 4196468 140728527784944 140242627584896 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19805] ppid=19741 vsize=11077984 memory=6944656592455360604 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19805/stat : 19805 (java) S 19741 19744 15729 0 -1 1077944384 3 13057 0 0 0 0 5 3 20 0 15 0 229432661 11343855616 79189 33554432000 4194304 4196468 140728527784944 140242320185168 140244025898907 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19806] ppid=19741 vsize=11077984 memory=8562125494162282060 CPUtime=1.09 cores=0,2,4,6
/proc/19744/task/19806/stat : 19806 (java) R 19741 19744 15729 0 -1 4202560 5340 13057 0 0 100 1 5 3 20 0 15 0 229432661 11343855616 79189 33554432000 4194304 4196468 140728527784944 140243517871320 140244007424785 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19807] ppid=19741 vsize=11077984 memory=1414353297708861353 CPUtime=1.27 cores=0,2,4,6
/proc/19744/task/19807/stat : 19807 (java) R 19741 19744 15729 0 -1 4202560 5156 13057 0 0 119 0 5 3 20 0 15 0 229432661 11343855616 79189 33554432000 4194304 4196468 140728527784944 140243516818024 140244010987993 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19808] ppid=19741 vsize=11077984 memory=-7522837415797432223 CPUtime=1.34 cores=0,2,4,6
/proc/19744/task/19808/stat : 19808 (java) R 19741 19744 15729 0 -1 1077944384 5257 13057 0 0 124 2 5 3 20 0 15 0 229432661 11343855616 79189 33554432000 4194304 4196468 140728527784944 140243515779696 140244025891458 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19809] ppid=19741 vsize=11077984 memory=-7522837583045875833 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19809/stat : 19809 (java) S 19741 19744 15729 0 -1 1077944384 3 13057 0 0 0 0 5 3 20 0 15 0 229432661 11343855616 79189 33554432000 4194304 4196468 140728527784944 140241889389280 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19810] ppid=19741 vsize=11077984 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19810/stat : 19810 (java) S 19741 19744 15729 0 -1 1077944384 7 13057 0 0 0 0 5 3 20 0 15 0 229432662 11343855616 79189 33554432000 4194304 4196468 140728527784944 140243514727088 140244025891458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
Current children cumulated CPU time: 7.18 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 316756 KiB
[startup+3.70965 s]
/proc/loadavg: 1.81 1.77 1.77 4/216 19810
/proc/meminfo: memFree=10804140/32770624 swapFree=67108504/67108860
[pid=19744] ppid=19741 vsize=11080256 memory=321120 CPUtime=7.53 cores=0,2,4,6
/proc/19744/stat : 19744 (java) S 19741 19744 15729 0 -1 1077944320 65104 13057 0 0 725 20 5 3 20 0 15 0 229432646 11346182144 80280 33554432000 4194304 4196468 140728527784944 140728527767488 140244025880311 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
/proc/19744/statm: 2770064 80280 3495 1 0 2731717 0
[pid=19744/tid=19797] ppid=19741 vsize=11080256 memory=279602773964512 CPUtime=3.57 cores=0,2,4,6
/proc/19744/task/19797/stat : 19797 (java) R 19741 19744 15729 0 -1 4202560 44759 13057 0 0 338 11 5 3 20 0 15 0 229432656 11346182144 80280 33554432000 4194304 4196468 140728527784944 140243997715160 140244025892246 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19798] ppid=19741 vsize=11080256 memory=5939522674102593367 CPUtime=0.11 cores=0,2,4,6
/proc/19744/task/19798/stat : 19798 (java) S 19741 19744 15729 0 -1 1077944384 39 13057 0 0 3 0 5 3 20 0 15 0 229432656 11346182144 80280 33554432000 4194304 4196468 140728527784944 140244030123152 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19799] ppid=19741 vsize=11080256 memory=7884790762938253666 CPUtime=0.11 cores=0,2,4,6
/proc/19744/task/19799/stat : 19799 (java) S 19741 19744 15729 0 -1 1077944384 79 13057 0 0 3 0 5 3 20 0 15 0 229432656 11346182144 80280 33554432000 4194304 4196468 140728527784944 140243911388176 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19800] ppid=19741 vsize=11080256 memory=6791534058613427641 CPUtime=0.11 cores=0,2,4,6
/proc/19744/task/19800/stat : 19800 (java) S 19741 19744 15729 0 -1 1077944384 243 13057 0 0 3 0 5 3 20 0 15 0 229432656 11346182144 80280 33554432000 4194304 4196468 140728527784944 140243910335376 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19801] ppid=19741 vsize=11080256 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/19744/task/19801/stat : 19801 (java) S 19741 19744 15729 0 -1 1077944384 19 13057 0 0 2 0 5 3 20 0 15 0 229432656 11346182144 80280 33554432000 4194304 4196468 140728527784944 140243909282576 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19802] ppid=19741 vsize=11080256 memory=7156609311619769938 CPUtime=0.11 cores=0,2,4,6
/proc/19744/task/19802/stat : 19802 (java) S 19741 19744 15729 0 -1 1077944384 1510 13057 0 0 3 0 5 3 20 0 15 0 229432658 11346182144 80280 33554432000 4194304 4196468 140728527784944 140243518937456 140244025891458 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19803] ppid=19741 vsize=11080256 memory=7301860488413079888 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19803/stat : 19803 (java) S 19741 19744 15729 0 -1 1077944384 14 13057 0 0 0 0 5 3 20 0 15 0 229432658 11346182144 80280 33554432000 4194304 4196468 140728527784944 140242828911712 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19804] ppid=19741 vsize=11080256 memory=7085680916039755858 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19804/stat : 19804 (java) S 19741 19744 15729 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 229432659 11346182144 80280 33554432000 4194304 4196468 140728527784944 140242627584896 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19805] ppid=19741 vsize=11080256 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19805/stat : 19805 (java) S 19741 19744 15729 0 -1 1077944384 3 13057 0 0 0 0 5 3 20 0 15 0 229432661 11346182144 80280 33554432000 4194304 4196468 140728527784944 140242320185168 140244025898907 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19806] ppid=19741 vsize=11080256 memory=576583242059703325 CPUtime=1.2 cores=0,2,4,6
/proc/19744/task/19806/stat : 19806 (java) R 19741 19744 15729 0 -1 4202560 5355 13057 0 0 111 1 5 3 20 0 15 0 229432661 11346182144 80280 33554432000 4194304 4196468 140728527784944 140243517866688 140244009348272 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19807] ppid=19741 vsize=11080256 memory=288283359824861331 CPUtime=1.39 cores=0,2,4,6
/proc/19744/task/19807/stat : 19807 (java) R 19741 19744 15729 0 -1 4202560 5520 13057 0 0 130 1 5 3 20 0 15 0 229432661 11346182144 80280 33554432000 4194304 4196468 140728527784944 140243516818024 140244007424529 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19808] ppid=19741 vsize=11080256 memory=0 CPUtime=1.37 cores=0,2,4,6
/proc/19744/task/19808/stat : 19808 (java) S 19741 19744 15729 0 -1 1077944384 5355 13057 0 0 127 2 5 3 20 0 15 0 229432661 11346182144 80280 33554432000 4194304 4196468 140728527784944 140243515779536 140244025901501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19809] ppid=19741 vsize=11080256 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19809/stat : 19809 (java) S 19741 19744 15729 0 -1 1077944384 3 13057 0 0 0 0 5 3 20 0 15 0 229432661 11346182144 80280 33554432000 4194304 4196468 140728527784944 140241889389280 140244025890517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
[pid=19744/tid=19810] ppid=19741 vsize=11080256 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19744/task/19810/stat : 19810 (java) S 19741 19744 15729 0 -1 1077944384 7 13057 0 0 0 0 5 3 20 0 15 0 229432662 11346182144 80280 33554432000 4194304 4196468 140728527784944 140243514727088 140244025891458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21381120 140728527792750 140728527795548 140728527795548 140728527798223 0
Current children cumulated CPU time: 7.53 s
Current children cumulated vsize: 11080256 KiB
Current children cumulated memory: 321120 KiB
Child status: 0
Real time (s): 3.79132
CPU time (s): 7.69713
CPU user time (s): 7.44525
CPU system time (s): 0.251875
CPU usage (%): 203.02
Max. virtual memory (cumulated for all children) (KiB): 11080256
Max. memory (cumulated for all children) (KiB): 321120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.44525
system time used= 0.251875
maximum resident set size= 324172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78541
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6412
involuntary context switches= 57
# summary of solver processes directly reported to runsolver:
# pid: 19744
# total CPU time (s): 7.69713
# total CPU user time (s): 7.44525
# total CPU system time (s): 0.251875
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.04445 second user time and 0.074807 second system time
The end