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 (6717 MiB free)
memory of node 1: 16384 MiB (9831 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293990-1532413601/watcher-4293990-1532413601 -o /tmp/evaluation-result-4293990-1532413601/solver-4293990-1532413601 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532413601-12740 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1720988143 -superng HOME/instance-4293990-1532413601.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
Current StackSize limit: 8192 KiB
solver pid=12791, runsolver pid=12782
[startup+0.102942 s]*
/proc/loadavg: 1.72 1.95 2.02 2/201 12883
/proc/meminfo: memFree=16926068/32770624 swapFree=67108860/67108860
[pid=12791] ppid=12782 vsize=9972712 memory=18328 CPUtime=0.1 cores=0,2,4,6
/proc/12791/stat : 12791 (java) S 12782 12791 12709 0 -1 1077944320 4249 13196 0 0 1 1 6 2 20 0 6 0 58923295 10212057088 4582 33554432000 4194304 4196468 140731290486288 140731290468832 140031352663799 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
/proc/12791/statm: 2493178 4582 1930 1 0 2481616 0
[pid=12791/tid=12875] ppid=12782 vsize=9972712 memory=4628411388058700198 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12875/stat : 12875 (java) R 12782 12791 12709 0 -1 4202560 2061 13196 0 0 0 0 6 2 20 0 6 0 58923304 10212057088 4582 33554432000 4194304 4196468 140731290486288 140031324500560 140031338346325 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12880] ppid=12782 vsize=9972712 memory=5793855688961092025 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12880/stat : 12880 (java) S 12782 12791 12709 0 -1 1077944384 2 13196 0 0 0 0 6 2 20 0 6 0 58923305 10212057088 4582 33554432000 4194304 4196468 140731290486288 140031356905744 140031352674005 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12881] ppid=12782 vsize=9972712 memory=140437951198848 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12881/stat : 12881 (java) S 12782 12791 12709 0 -1 1077944384 1 13196 0 0 0 0 6 2 20 0 6 0 58923305 10212057088 4582 33554432000 4194304 4196468 140731290486288 140031245179280 140031352674005 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12882] ppid=12782 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12882/stat : 12882 (java) S 12782 12791 12709 0 -1 1077944384 1 13196 0 0 0 0 6 2 20 0 6 0 58923305 10212057088 4582 33554432000 4194304 4196468 140731290486288 140031244126736 140031352674005 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12883] ppid=12782 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12883/stat : 12883 (java) S 12782 12791 12709 0 -1 1077944384 2 13196 0 0 0 0 6 2 20 0 6 0 58923305 10212057088 4648 33554432000 4194304 4196468 140731290486288 140031243074192 140031352674005 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18328 KiB
[startup+0.210371 s]*
/proc/loadavg: 1.72 1.95 2.02 3/219 12901
/proc/meminfo: memFree=16882996/32770624 swapFree=67108860/67108860
[pid=12791] ppid=12782 vsize=10818904 memory=40716 CPUtime=0.25 cores=0,2,4,6
/proc/12791/stat : 12791 (java) S 12782 12791 12709 0 -1 1077944320 7394 13196 0 0 15 2 6 2 20 0 15 0 58923295 11078557696 10179 33554432000 4194304 4196468 140731290486288 140731290468832 140031352663799 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
/proc/12791/statm: 2704726 10179 2969 1 0 2667149 0
[pid=12791/tid=12875] ppid=12782 vsize=10818904 memory=-8540663193526752614 CPUtime=0.18 cores=0,2,4,6
/proc/12791/task/12875/stat : 12875 (java) R 12782 12791 12709 0 -1 4202560 4113 13196 0 0 9 1 6 2 20 0 15 0 58923304 11078557696 10245 33554432000 4194304 4196468 140731290486288 140031324480912 140031332939559 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12880] ppid=12782 vsize=10818904 memory=4211974164155989386 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12880/stat : 12880 (java) S 12782 12791 12709 0 -1 1077944384 2 13196 0 0 0 0 6 2 20 0 15 0 58923305 11078557696 10245 33554432000 4194304 4196468 140731290486288 140031356905744 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12881] ppid=12782 vsize=10818904 memory=140437951198848 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12881/stat : 12881 (java) S 12782 12791 12709 0 -1 1077944384 1 13196 0 0 0 0 6 2 20 0 15 0 58923305 11078557696 10245 33554432000 4194304 4196468 140731290486288 140031245179280 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12882] ppid=12782 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12882/stat : 12882 (java) S 12782 12791 12709 0 -1 1077944384 1 13196 0 0 0 0 6 2 20 0 15 0 58923305 11078557696 10311 33554432000 4194304 4196468 140731290486288 140031244126736 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12883] ppid=12782 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12883/stat : 12883 (java) S 12782 12791 12709 0 -1 1077944384 2 13196 0 0 0 0 6 2 20 0 15 0 58923305 11078557696 10311 33554432000 4194304 4196468 140731290486288 140031243074192 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12887] ppid=12782 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12887/stat : 12887 (java) S 12782 12791 12709 0 -1 1077944384 2 13196 0 0 0 0 6 2 20 0 15 0 58923307 11078557696 10311 33554432000 4194304 4196468 140731290486288 140030812043760 140031352674946 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12888] ppid=12782 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12888/stat : 12888 (java) S 12782 12791 12709 0 -1 1077944384 33 13196 0 0 0 0 6 2 20 0 15 0 58923307 11078557696 10311 33554432000 4194304 4196468 140731290486288 140030810989984 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12889] ppid=12782 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12889/stat : 12889 (java) S 12782 12791 12709 0 -1 1077944384 1 13196 0 0 0 0 6 2 20 0 15 0 58923307 11078557696 10311 33554432000 4194304 4196468 140731290486288 140030228030960 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12896] ppid=12782 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12896/stat : 12896 (java) S 12782 12791 12709 0 -1 1077944384 3 13196 0 0 0 0 6 2 20 0 15 0 58923310 11078557696 10311 33554432000 4194304 4196468 140731290486288 140029920631504 140031352682395 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12897] ppid=12782 vsize=10818904 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/12791/task/12897/stat : 12897 (java) S 12782 12791 12709 0 -1 1077944384 496 13196 0 0 1 0 6 2 20 0 15 0 58923310 11078557696 10311 33554432000 4194304 4196468 140731290486288 140030777432048 140031352674946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12898] ppid=12782 vsize=10818904 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/12791/task/12898/stat : 12898 (java) S 12782 12791 12709 0 -1 1077944384 90 13196 0 0 1 0 6 2 20 0 15 0 58923310 11078557696 10311 33554432000 4194304 4196468 140731290486288 140030776379504 140031352674946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12899] ppid=12782 vsize=10818904 memory=140437951198848 CPUtime=0.11 cores=0,2,4,6
/proc/12791/task/12899/stat : 12899 (java) S 12782 12791 12709 0 -1 1077944384 548 13196 0 0 3 0 6 2 20 0 15 0 58923310 11078557696 10311 33554432000 4194304 4196468 140731290486288 140030775326960 140031352674946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12900] ppid=12782 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12900/stat : 12900 (java) S 12782 12791 12709 0 -1 1077944384 3 13196 0 0 0 0 6 2 20 0 15 0 58923310 11078557696 10311 33554432000 4194304 4196468 140731290486288 140029887072864 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12901] ppid=12782 vsize=10818904 memory=140437951198848 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12901/stat : 12901 (java) S 12782 12791 12709 0 -1 1077944384 1 13196 0 0 0 0 6 2 20 0 15 0 58923310 11078557696 10311 33554432000 4194304 4196468 140731290486288 140030774274864 140031352674946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 40716 KiB
[startup+0.310425 s]*
/proc/loadavg: 1.72 1.95 2.02 3/219 12901
/proc/meminfo: memFree=16860340/32770624 swapFree=67108860/67108860
[pid=12791] ppid=12782 vsize=10819352 memory=52964 CPUtime=0.38 cores=0,2,4,6
/proc/12791/stat : 12791 (java) S 12782 12791 12709 0 -1 1077944320 10297 13196 0 0 26 4 6 2 20 0 15 0 58923295 11079016448 13241 33554432000 4194304 4196468 140731290486288 140731290468832 140031352663799 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
/proc/12791/statm: 2704838 13241 3088 1 0 2667149 0
[pid=12791/tid=12875] ppid=12782 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/12791/task/12875/stat : 12875 (java) R 12782 12791 12709 0 -1 4202560 6920 13196 0 0 18 2 6 2 20 0 15 0 58923304 11079016448 13241 33554432000 4194304 4196468 140731290486288 140031324475808 140031336744286 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12880] ppid=12782 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12880/stat : 12880 (java) S 12782 12791 12709 0 -1 1077944384 2 13196 0 0 0 0 6 2 20 0 15 0 58923305 11079016448 13241 33554432000 4194304 4196468 140731290486288 140031356905744 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12881] ppid=12782 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12881/stat : 12881 (java) S 12782 12791 12709 0 -1 1077944384 1 13196 0 0 0 0 6 2 20 0 15 0 58923305 11079016448 13241 33554432000 4194304 4196468 140731290486288 140031245179280 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12882] ppid=12782 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12882/stat : 12882 (java) S 12782 12791 12709 0 -1 1077944384 1 13196 0 0 0 0 6 2 20 0 15 0 58923305 11079016448 13241 33554432000 4194304 4196468 140731290486288 140031244126736 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12883] ppid=12782 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12883/stat : 12883 (java) S 12782 12791 12709 0 -1 1077944384 2 13196 0 0 0 0 6 2 20 0 15 0 58923305 11079016448 13241 33554432000 4194304 4196468 140731290486288 140031243074192 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12887] ppid=12782 vsize=10819352 memory=140437951198847 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12887/stat : 12887 (java) S 12782 12791 12709 0 -1 1077944384 2 13196 0 0 0 0 6 2 20 0 15 0 58923307 11079016448 13241 33554432000 4194304 4196468 140731290486288 140030812043760 140031352674946 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12888] ppid=12782 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12888/stat : 12888 (java) S 12782 12791 12709 0 -1 1077944384 33 13196 0 0 0 0 6 2 20 0 15 0 58923307 11079016448 13241 33554432000 4194304 4196468 140731290486288 140030810989984 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12889] ppid=12782 vsize=10819352 memory=140437951198848 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12889/stat : 12889 (java) S 12782 12791 12709 0 -1 1077944384 1 13196 0 0 0 0 6 2 20 0 15 0 58923307 11079016448 13241 33554432000 4194304 4196468 140731290486288 140030228030960 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12896] ppid=12782 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12896/stat : 12896 (java) S 12782 12791 12709 0 -1 1077944384 3 13196 0 0 0 0 6 2 20 0 15 0 58923310 11079016448 13241 33554432000 4194304 4196468 140731290486288 140029920631504 140031352682395 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12897] ppid=12782 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/12791/task/12897/stat : 12897 (java) S 12782 12791 12709 0 -1 1077944384 497 13196 0 0 1 0 6 2 20 0 15 0 58923310 11079016448 13241 33554432000 4194304 4196468 140731290486288 140030777432048 140031352674946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12898] ppid=12782 vsize=10819352 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/12791/task/12898/stat : 12898 (java) S 12782 12791 12709 0 -1 1077944384 90 13196 0 0 1 0 6 2 20 0 15 0 58923310 11079016448 13241 33554432000 4194304 4196468 140731290486288 140030776379504 140031352674946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12899] ppid=12782 vsize=10819352 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/12791/task/12899/stat : 12899 (java) S 12782 12791 12709 0 -1 1077944384 557 13196 0 0 4 0 6 2 20 0 15 0 58923310 11079016448 13241 33554432000 4194304 4196468 140731290486288 140030775326960 140031352674946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12900] ppid=12782 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12900/stat : 12900 (java) S 12782 12791 12709 0 -1 1077944384 3 13196 0 0 0 0 6 2 20 0 15 0 58923310 11079016448 13241 33554432000 4194304 4196468 140731290486288 140029887072864 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12901] ppid=12782 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12901/stat : 12901 (java) S 12782 12791 12709 0 -1 1077944384 1 13196 0 0 0 0 6 2 20 0 15 0 58923310 11079016448 13241 33554432000 4194304 4196468 140731290486288 140030774274864 140031352674946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 52964 KiB
[startup+0.700759 s]
/proc/loadavg: 1.72 1.95 2.02 3/219 12901
/proc/meminfo: memFree=16841644/32770624 swapFree=67108860/67108860
[pid=12791] ppid=12782 vsize=10819352 memory=84800 CPUtime=0.98 cores=0,2,4,6
/proc/12791/stat : 12791 (java) S 12782 12791 12709 0 -1 1077944320 16402 13196 0 0 85 5 6 2 20 0 15 0 58923295 11079016448 21200 33554432000 4194304 4196468 140731290486288 140731290468832 140031352663799 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
/proc/12791/statm: 2704838 21200 3237 1 0 2667149 0
[pid=12791/tid=12875] ppid=12782 vsize=10819352 memory=18588 CPUtime=0.66 cores=0,2,4,6
/proc/12791/task/12875/stat : 12875 (java) R 12782 12791 12709 0 -1 4202560 12014 13196 0 0 54 4 6 2 20 0 15 0 58923304 11079016448 21200 33554432000 4194304 4196468 140731290486288 140031324486800 140031335858745 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12880] ppid=12782 vsize=10819352 memory=4580 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12880/stat : 12880 (java) S 12782 12791 12709 0 -1 1077944384 2 13196 0 0 0 0 6 2 20 0 15 0 58923305 11079016448 21200 33554432000 4194304 4196468 140731290486288 140031356905744 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12881] ppid=12782 vsize=10819352 memory=140437847581171 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12881/stat : 12881 (java) S 12782 12791 12709 0 -1 1077944384 1 13196 0 0 0 0 6 2 20 0 15 0 58923305 11079016448 21200 33554432000 4194304 4196468 140731290486288 140031245179280 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12882] ppid=12782 vsize=10819352 memory=140441135612811 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12882/stat : 12882 (java) S 12782 12791 12709 0 -1 1077944384 1 13196 0 0 0 0 6 2 20 0 15 0 58923305 11079016448 21200 33554432000 4194304 4196468 140731290486288 140031244126736 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12883] ppid=12782 vsize=10819352 memory=1792 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12883/stat : 12883 (java) S 12782 12791 12709 0 -1 1077944384 2 13196 0 0 0 0 6 2 20 0 15 0 58923305 11079016448 21200 33554432000 4194304 4196468 140731290486288 140031243074192 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12887] ppid=12782 vsize=10819352 memory=6296143700806424935 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12887/stat : 12887 (java) S 12782 12791 12709 0 -1 1077944384 5 13196 0 0 0 0 6 2 20 0 15 0 58923307 11079016448 21200 33554432000 4194304 4196468 140731290486288 140030812043760 140031352674946 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12888] ppid=12782 vsize=10819352 memory=8099279071866868837 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12888/stat : 12888 (java) S 12782 12791 12709 0 -1 1077944384 33 13196 0 0 0 0 6 2 20 0 15 0 58923307 11079016448 21200 33554432000 4194304 4196468 140731290486288 140030810989984 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12889] ppid=12782 vsize=10819352 memory=6004820471124940137 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12889/stat : 12889 (java) S 12782 12791 12709 0 -1 1077944384 1 13196 0 0 0 0 6 2 20 0 15 0 58923307 11079016448 21200 33554432000 4194304 4196468 140731290486288 140030228030960 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12896] ppid=12782 vsize=10819352 memory=3054156605368933524 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12896/stat : 12896 (java) S 12782 12791 12709 0 -1 1077944384 3 13196 0 0 0 0 6 2 20 0 15 0 58923310 11079016448 21200 33554432000 4194304 4196468 140731290486288 140029920631504 140031352682395 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12897] ppid=12782 vsize=10819352 memory=8326441112149131689 CPUtime=0.14 cores=0,2,4,6
/proc/12791/task/12897/stat : 12897 (java) S 12782 12791 12709 0 -1 1077944384 855 13196 0 0 6 0 6 2 20 0 15 0 58923310 11079016448 21200 33554432000 4194304 4196468 140731290486288 140030777432048 140031352674946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12898] ppid=12782 vsize=10819352 memory=-7025452035940392864 CPUtime=0.18 cores=0,2,4,6
/proc/12791/task/12898/stat : 12898 (java) S 12782 12791 12709 0 -1 1077944384 683 13196 0 0 10 0 6 2 20 0 15 0 58923310 11079016448 21200 33554432000 4194304 4196468 140731290486288 140030776379504 140031352674946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12899] ppid=12782 vsize=10819352 memory=6944656592452807326 CPUtime=0.21 cores=0,2,4,6
/proc/12791/task/12899/stat : 12899 (java) S 12782 12791 12709 0 -1 1077944384 610 13196 0 0 13 0 6 2 20 0 15 0 58923310 11079016448 21200 33554432000 4194304 4196468 140731290486288 140030775326960 140031352674946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12900] ppid=12782 vsize=10819352 memory=-9178176116494409632 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12900/stat : 12900 (java) S 12782 12791 12709 0 -1 1077944384 3 13196 0 0 0 0 6 2 20 0 15 0 58923310 11079016448 21200 33554432000 4194304 4196468 140731290486288 140029887072864 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12901] ppid=12782 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12901/stat : 12901 (java) S 12782 12791 12709 0 -1 1077944384 1 13196 0 0 0 0 6 2 20 0 15 0 58923310 11079016448 21200 33554432000 4194304 4196468 140731290486288 140030774274864 140031352674946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 84800 KiB
[startup+1.50139 s]
/proc/loadavg: 1.72 1.95 2.02 3/219 12901
/proc/meminfo: memFree=16749408/32770624 swapFree=67108860/67108860
[pid=12791] ppid=12782 vsize=10828108 memory=243576 CPUtime=2.87 cores=0,2,4,6
/proc/12791/stat : 12791 (java) S 12782 12791 12709 0 -1 1077944320 22141 13196 0 0 268 11 6 2 20 0 15 0 58923295 11087982592 60894 33554432000 4194304 4196468 140731290486288 140731290468832 140031352663799 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
/proc/12791/statm: 2707027 60894 3472 1 0 2668685 0
[pid=12791/tid=12875] ppid=12782 vsize=10828108 memory=0 CPUtime=1.44 cores=0,2,4,6
/proc/12791/task/12875/stat : 12875 (java) R 12782 12791 12709 0 -1 4202560 14614 13196 0 0 129 7 6 2 20 0 15 0 58923304 11087982592 60894 33554432000 4194304 4196468 140731290486288 140031324494720 140030916042675 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12880] ppid=12782 vsize=10828108 memory=98256 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12880/stat : 12880 (java) S 12782 12791 12709 0 -1 1077944384 76 13196 0 0 0 0 6 2 20 0 15 0 58923305 11087982592 60894 33554432000 4194304 4196468 140731290486288 140031356905744 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12881] ppid=12782 vsize=10828108 memory=5790086053191909267 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12881/stat : 12881 (java) S 12782 12791 12709 0 -1 1077944384 276 13196 0 0 0 0 6 2 20 0 15 0 58923305 11087982592 60894 33554432000 4194304 4196468 140731290486288 140031245179280 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12882] ppid=12782 vsize=10828108 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12882/stat : 12882 (java) S 12782 12791 12709 0 -1 1077944384 79 13196 0 0 0 0 6 2 20 0 15 0 58923305 11087982592 60894 33554432000 4194304 4196468 140731290486288 140031244126736 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12883] ppid=12782 vsize=10828108 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12883/stat : 12883 (java) S 12782 12791 12709 0 -1 1077944384 13 13196 0 0 0 0 6 2 20 0 15 0 58923305 11087982592 60894 33554432000 4194304 4196468 140731290486288 140031243074192 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12887] ppid=12782 vsize=10828108 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12887/stat : 12887 (java) S 12782 12791 12709 0 -1 1077944384 93 13196 0 0 0 0 6 2 20 0 15 0 58923307 11087982592 60894 33554432000 4194304 4196468 140731290486288 140030812043760 140031352674946 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12888] ppid=12782 vsize=10828108 memory=-6221781267475802396 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12888/stat : 12888 (java) S 12782 12791 12709 0 -1 1077944384 34 13196 0 0 0 0 6 2 20 0 15 0 58923307 11087982592 60894 33554432000 4194304 4196468 140731290486288 140030810989984 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12889] ppid=12782 vsize=10828108 memory=4132 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12889/stat : 12889 (java) S 12782 12791 12709 0 -1 1077944384 2 13196 0 0 0 0 6 2 20 0 15 0 58923307 11087982592 60894 33554432000 4194304 4196468 140731290486288 140030228030976 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12896] ppid=12782 vsize=10828108 memory=2196 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12896/stat : 12896 (java) S 12782 12791 12709 0 -1 1077944384 3 13196 0 0 0 0 6 2 20 0 15 0 58923310 11087982592 60894 33554432000 4194304 4196468 140731290486288 140029920631504 140031352682395 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12897] ppid=12782 vsize=10828108 memory=0 CPUtime=0.57 cores=0,2,4,6
/proc/12791/task/12897/stat : 12897 (java) R 12782 12791 12709 0 -1 4202560 1776 13196 0 0 49 0 6 2 20 0 15 0 58923310 11087982592 60894 33554432000 4194304 4196468 140731290486288 140030777418072 140031334208030 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12898] ppid=12782 vsize=10828108 memory=195787090880627 CPUtime=0.57 cores=0,2,4,6
/proc/12791/task/12898/stat : 12898 (java) R 12782 12791 12709 0 -1 4202560 1395 13196 0 0 49 0 6 2 20 0 15 0 58923310 11087982592 60894 33554432000 4194304 4196468 140731290486288 140030776362816 140031332500140 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12899] ppid=12782 vsize=10828108 memory=318075 CPUtime=0.43 cores=0,2,4,6
/proc/12791/task/12899/stat : 12899 (java) R 12782 12791 12709 0 -1 4202560 1588 13196 0 0 35 0 6 2 20 0 15 0 58923310 11087982592 60894 33554432000 4194304 4196468 140731290486288 140030775326960 140031352685146 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12900] ppid=12782 vsize=10828108 memory=4638778415513030992 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12900/stat : 12900 (java) S 12782 12791 12709 0 -1 1077944384 3 13196 0 0 0 0 6 2 20 0 15 0 58923310 11087982592 60894 33554432000 4194304 4196468 140731290486288 140029887072864 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12901] ppid=12782 vsize=10828108 memory=6935649255776346176 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12901/stat : 12901 (java) S 12782 12791 12709 0 -1 1077944384 1 13196 0 0 0 0 6 2 20 0 15 0 58923310 11087982592 60894 33554432000 4194304 4196468 140731290486288 140030774274864 140031352674946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
Current children cumulated CPU time: 2.87 s
Current children cumulated vsize: 10828108 KiB
################
# More data... #
################
/proc/12791/task/12875/stat : 12875 (java) R 12782 12791 12709 0 -1 4202560 195541 13196 0 0 236063 87 6 2 20 0 15 0 58923304 11178180608 582909 33554432000 4194304 4196468 140731290486288 140031324061728 140030930319714 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12880] ppid=12782 vsize=10916192 memory=2335736 CPUtime=13.09 cores=0,2,4,6
/proc/12791/task/12880/stat : 12880 (java) S 12782 12791 12709 0 -1 1077944384 27060 13196 0 0 1270 31 6 2 20 0 15 0 58923305 11178180608 582909 33554432000 4194304 4196468 140731290486288 140031356905744 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12881] ppid=12782 vsize=10916192 memory=2332664 CPUtime=13.05 cores=0,2,4,6
/proc/12791/task/12881/stat : 12881 (java) S 12782 12791 12709 0 -1 1077944384 48152 13196 0 0 1267 30 6 2 20 0 15 0 58923305 11178180608 582909 33554432000 4194304 4196468 140731290486288 140031245179280 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12882] ppid=12782 vsize=10916192 memory=2332148 CPUtime=13.08 cores=0,2,4,6
/proc/12791/task/12882/stat : 12882 (java) S 12782 12791 12709 0 -1 1077944384 34215 13196 0 0 1269 31 6 2 20 0 15 0 58923305 11178180608 582909 33554432000 4194304 4196468 140731290486288 140031244126736 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12883] ppid=12782 vsize=10916192 memory=2331636 CPUtime=13.03 cores=0,2,4,6
/proc/12791/task/12883/stat : 12883 (java) S 12782 12791 12709 0 -1 1077944384 38848 13196 0 0 1266 29 6 2 20 0 15 0 58923305 11178180608 582909 33554432000 4194304 4196468 140731290486288 140031243074192 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12887] ppid=12782 vsize=10916192 memory=2331636 CPUtime=6.3 cores=0,2,4,6
/proc/12791/task/12887/stat : 12887 (java) S 12782 12791 12709 0 -1 1077944384 27562 13196 0 0 595 27 6 2 20 0 15 0 58923307 11178180608 582909 33554432000 4194304 4196468 140731290486288 140030812043760 140031352674946 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12888] ppid=12782 vsize=10916192 memory=2196 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12888/stat : 12888 (java) S 12782 12791 12709 0 -1 1077944384 41 13196 0 0 0 0 6 2 20 0 15 0 58923307 11178180608 582909 33554432000 4194304 4196468 140731290486288 140030810990112 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12889] ppid=12782 vsize=10916192 memory=7811889795971834723 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12889/stat : 12889 (java) S 12782 12791 12709 0 -1 1077944384 2 13196 0 0 0 0 6 2 20 0 15 0 58923307 11178180608 582909 33554432000 4194304 4196468 140731290486288 140030228030976 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12896] ppid=12782 vsize=10916192 memory=2331636 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12896/stat : 12896 (java) S 12782 12791 12709 0 -1 1077944384 3 13196 0 0 0 0 6 2 20 0 15 0 58923310 11178180608 582909 33554432000 4194304 4196468 140731290486288 140029920631504 140031352682395 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12897] ppid=12782 vsize=10916192 memory=2331636 CPUtime=6.3 cores=0,2,4,6
/proc/12791/task/12897/stat : 12897 (java) S 12782 12791 12709 0 -1 1077944384 59216 13196 0 0 615 7 6 2 20 0 15 0 58923310 11178180608 582909 33554432000 4194304 4196468 140731290486288 140030777432048 140031352674946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12898] ppid=12782 vsize=10916192 memory=928 CPUtime=5.64 cores=0,2,4,6
/proc/12791/task/12898/stat : 12898 (java) S 12782 12791 12709 0 -1 1077944384 60848 13196 0 0 549 7 6 2 20 0 15 0 58923310 11178180608 582909 33554432000 4194304 4196468 140731290486288 140030776379504 140031352674946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12899] ppid=12782 vsize=10916192 memory=2244 CPUtime=2.23 cores=0,2,4,6
/proc/12791/task/12899/stat : 12899 (java) S 12782 12791 12709 0 -1 1077944384 47428 13196 0 0 209 6 6 2 20 0 15 0 58923310 11178180608 582909 33554432000 4194304 4196468 140731290486288 140030775326960 140031352674946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12900] ppid=12782 vsize=10916192 memory=1792 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12900/stat : 12900 (java) S 12782 12791 12709 0 -1 1077944384 3 13196 0 0 0 0 6 2 20 0 15 0 58923310 11178180608 582909 33554432000 4194304 4196468 140731290486288 140029887072864 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12901] ppid=12782 vsize=10916192 memory=1232 CPUtime=1.75 cores=0,2,4,6
/proc/12791/task/12901/stat : 12901 (java) S 12782 12791 12709 0 -1 1077944384 4470 13196 0 0 83 84 6 2 20 0 15 0 58923310 11178180608 582909 33554432000 4194304 4196468 140731290486288 140030774274864 140031352674946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 21 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
Current children cumulated CPU time: 2435.43 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 2331636 KiB
[startup+2442.3 s]
/proc/loadavg: 1.52 1.56 1.98 3/218 13514
/proc/meminfo: memFree=12481304/32770624 swapFree=67108860/67108860
[pid=12791] ppid=12782 vsize=10916192 memory=2311112 CPUtime=2496.7 cores=0,2,4,6
/proc/12791/stat : 12791 (java) S 12782 12791 12709 0 -1 1077944320 550281 13196 0 0 249337 325 6 2 20 0 15 0 58923295 11178180608 577778 33554432000 4194304 4196468 140731290486288 140731290468832 140031352663799 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
/proc/12791/statm: 2729048 577778 3537 1 0 2690701 0
[pid=12791/tid=12875] ppid=12782 vsize=10916192 memory=2323428 CPUtime=2420.93 cores=0,2,4,6
/proc/12791/task/12875/stat : 12875 (java) R 12782 12791 12709 0 -1 4202560 197283 13196 0 0 241997 88 6 2 20 0 15 0 58923304 11178180608 577778 33554432000 4194304 4196468 140731290486288 140031323545440 140030930319714 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12880] ppid=12782 vsize=10916192 memory=2324452 CPUtime=13.5 cores=0,2,4,6
/proc/12791/task/12880/stat : 12880 (java) S 12782 12791 12709 0 -1 1077944384 27741 13196 0 0 1311 31 6 2 20 0 15 0 58923305 11178180608 577778 33554432000 4194304 4196468 140731290486288 140031356905744 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12881] ppid=12782 vsize=10916192 memory=2318296 CPUtime=13.46 cores=0,2,4,6
/proc/12791/task/12881/stat : 12881 (java) S 12782 12791 12709 0 -1 1077944384 48373 13196 0 0 1307 31 6 2 20 0 15 0 58923305 11178180608 577778 33554432000 4194304 4196468 140731290486288 140031245179280 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12882] ppid=12782 vsize=10916192 memory=2317268 CPUtime=13.49 cores=0,2,4,6
/proc/12791/task/12882/stat : 12882 (java) S 12782 12791 12709 0 -1 1077944384 34648 13196 0 0 1310 31 6 2 20 0 15 0 58923305 11178180608 577778 33554432000 4194304 4196468 140731290486288 140031244126736 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12883] ppid=12782 vsize=10916192 memory=8384 CPUtime=13.45 cores=0,2,4,6
/proc/12791/task/12883/stat : 12883 (java) S 12782 12791 12709 0 -1 1077944384 39016 13196 0 0 1307 30 6 2 20 0 15 0 58923305 11178180608 577778 33554432000 4194304 4196468 140731290486288 140031243074192 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12887] ppid=12782 vsize=10916192 memory=2314192 CPUtime=6.5 cores=0,2,4,6
/proc/12791/task/12887/stat : 12887 (java) S 12782 12791 12709 0 -1 1077944384 27751 13196 0 0 614 28 6 2 20 0 15 0 58923307 11178180608 577778 33554432000 4194304 4196468 140731290486288 140030812043760 140031352674946 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12888] ppid=12782 vsize=10916192 memory=18652 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12888/stat : 12888 (java) S 12782 12791 12709 0 -1 1077944384 41 13196 0 0 0 0 6 2 20 0 15 0 58923307 11178180608 577778 33554432000 4194304 4196468 140731290486288 140030810990112 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12889] ppid=12782 vsize=10916192 memory=2311112 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12889/stat : 12889 (java) S 12782 12791 12709 0 -1 1077944384 2 13196 0 0 0 0 6 2 20 0 15 0 58923307 11178180608 577778 33554432000 4194304 4196468 140731290486288 140030228030976 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12896] ppid=12782 vsize=10916192 memory=2311112 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12896/stat : 12896 (java) S 12782 12791 12709 0 -1 1077944384 3 13196 0 0 0 0 6 2 20 0 15 0 58923310 11178180608 577778 33554432000 4194304 4196468 140731290486288 140029920631504 140031352682395 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12897] ppid=12782 vsize=10916192 memory=2313676 CPUtime=6.31 cores=0,2,4,6
/proc/12791/task/12897/stat : 12897 (java) S 12782 12791 12709 0 -1 1077944384 59592 13196 0 0 615 8 6 2 20 0 15 0 58923310 11178180608 577778 33554432000 4194304 4196468 140731290486288 140030777432048 140031352674946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12898] ppid=12782 vsize=10916192 memory=2313676 CPUtime=5.66 cores=0,2,4,6
/proc/12791/task/12898/stat : 12898 (java) S 12782 12791 12709 0 -1 1077944384 61181 13196 0 0 551 7 6 2 20 0 15 0 58923310 11178180608 577778 33554432000 4194304 4196468 140731290486288 140030776379504 140031352674946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12899] ppid=12782 vsize=10916192 memory=792 CPUtime=2.23 cores=0,2,4,6
/proc/12791/task/12899/stat : 12899 (java) S 12782 12791 12709 0 -1 1077944384 47956 13196 0 0 209 6 6 2 20 0 15 0 58923310 11178180608 577778 33554432000 4194304 4196468 140731290486288 140030775326960 140031352674946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12900] ppid=12782 vsize=10916192 memory=2312140 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12900/stat : 12900 (java) S 12782 12791 12709 0 -1 1077944384 3 13196 0 0 0 0 6 2 20 0 15 0 58923310 11178180608 577778 33554432000 4194304 4196468 140731290486288 140029887072864 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12901] ppid=12782 vsize=10916192 memory=2314704 CPUtime=1.79 cores=0,2,4,6
/proc/12791/task/12901/stat : 12901 (java) S 12782 12791 12709 0 -1 1077944384 4503 13196 0 0 84 87 6 2 20 0 15 0 58923310 11178180608 577778 33554432000 4194304 4196468 140731290486288 140030774274864 140031352674946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 21 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
Current children cumulated CPU time: 2496.7 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 2311112 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2465 s]*
/proc/loadavg: 1.65 1.59 1.98 3/218 13514
/proc/meminfo: memFree=11731420/32770624 swapFree=67108860/67108860
[pid=12791] ppid=12782 vsize=10916192 memory=2301880 CPUtime=2520.01 cores=0,2,4,6
/proc/12791/stat : 12791 (java) S 12782 12791 12709 0 -1 1077944320 553102 13196 0 0 251666 327 6 2 20 0 15 0 58923295 11178180608 575470 33554432000 4194304 4196468 140731290486288 140731290468832 140031352663799 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
/proc/12791/statm: 2729048 575470 3537 1 0 2690701 0
[pid=12791/tid=12875] ppid=12782 vsize=10916192 memory=6791534058613427641 CPUtime=2443.38 cores=0,2,4,6
/proc/12791/task/12875/stat : 12875 (java) R 12782 12791 12709 0 -1 4202560 198356 13196 0 0 244242 88 6 2 20 0 15 0 58923304 11178180608 575470 33554432000 4194304 4196468 140731290486288 140031323202528 140030920264858 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12880] ppid=12782 vsize=10916192 memory=-7003737579269690708 CPUtime=13.65 cores=0,2,4,6
/proc/12791/task/12880/stat : 12880 (java) S 12782 12791 12709 0 -1 1077944384 28298 13196 0 0 1326 31 6 2 20 0 15 0 58923305 11178180608 575470 33554432000 4194304 4196468 140731290486288 140031356905744 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12881] ppid=12782 vsize=10916192 memory=3224 CPUtime=13.62 cores=0,2,4,6
/proc/12791/task/12881/stat : 12881 (java) S 12782 12791 12709 0 -1 1077944384 48471 13196 0 0 1323 31 6 2 20 0 15 0 58923305 11178180608 575470 33554432000 4194304 4196468 140731290486288 140031245179280 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12882] ppid=12782 vsize=10916192 memory=2302904 CPUtime=13.66 cores=0,2,4,6
/proc/12791/task/12882/stat : 12882 (java) S 12782 12791 12709 0 -1 1077944384 34722 13196 0 0 1327 31 6 2 20 0 15 0 58923305 11178180608 575470 33554432000 4194304 4196468 140731290486288 140031244126736 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12883] ppid=12782 vsize=10916192 memory=1408 CPUtime=13.6 cores=0,2,4,6
/proc/12791/task/12883/stat : 12883 (java) S 12782 12791 12709 0 -1 1077944384 39204 13196 0 0 1322 30 6 2 20 0 15 0 58923305 11178180608 575470 33554432000 4194304 4196468 140731290486288 140031243074192 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12887] ppid=12782 vsize=10916192 memory=2772 CPUtime=6.58 cores=0,2,4,6
/proc/12791/task/12887/stat : 12887 (java) S 12782 12791 12709 0 -1 1077944384 27940 13196 0 0 622 28 6 2 20 0 15 0 58923307 11178180608 575470 33554432000 4194304 4196468 140731290486288 140030812043760 140031352674946 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12888] ppid=12782 vsize=10916192 memory=170 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12888/stat : 12888 (java) S 12782 12791 12709 0 -1 1077944384 41 13196 0 0 0 0 6 2 20 0 15 0 58923307 11178180608 575470 33554432000 4194304 4196468 140731290486288 140030810990112 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12889] ppid=12782 vsize=10916192 memory=94 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12889/stat : 12889 (java) S 12782 12791 12709 0 -1 1077944384 2 13196 0 0 0 0 6 2 20 0 15 0 58923307 11178180608 575470 33554432000 4194304 4196468 140731290486288 140030228030976 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12896] ppid=12782 vsize=10916192 memory=88 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12896/stat : 12896 (java) S 12782 12791 12709 0 -1 1077944384 3 13196 0 0 0 0 6 2 20 0 15 0 58923310 11178180608 575470 33554432000 4194304 4196468 140731290486288 140029920631504 140031352682395 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12897] ppid=12782 vsize=10916192 memory=624 CPUtime=6.32 cores=0,2,4,6
/proc/12791/task/12897/stat : 12897 (java) S 12782 12791 12709 0 -1 1077944384 59769 13196 0 0 616 8 6 2 20 0 15 0 58923310 11178180608 575470 33554432000 4194304 4196468 140731290486288 140030777432048 140031352674946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12898] ppid=12782 vsize=10916192 memory=3926 CPUtime=5.77 cores=0,2,4,6
/proc/12791/task/12898/stat : 12898 (java) S 12782 12791 12709 0 -1 1077944384 61625 13196 0 0 562 7 6 2 20 0 15 0 58923310 11178180608 575470 33554432000 4194304 4196468 140731290486288 140030776379504 140031352674946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12899] ppid=12782 vsize=10916192 memory=6791534058613427641 CPUtime=2.23 cores=0,2,4,6
/proc/12791/task/12899/stat : 12899 (java) S 12782 12791 12709 0 -1 1077944384 47958 13196 0 0 209 6 6 2 20 0 15 0 58923310 11178180608 575470 33554432000 4194304 4196468 140731290486288 140030775326960 140031352674946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12900] ppid=12782 vsize=10916192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12900/stat : 12900 (java) S 12782 12791 12709 0 -1 1077944384 3 13196 0 0 0 0 6 2 20 0 15 0 58923310 11178180608 575470 33554432000 4194304 4196468 140731290486288 140029887072864 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12901] ppid=12782 vsize=10916192 memory=47 CPUtime=1.81 cores=0,2,4,6
/proc/12791/task/12901/stat : 12901 (java) S 12782 12791 12709 0 -1 1077944384 4522 13196 0 0 85 88 6 2 20 0 15 0 58923310 11178180608 575470 33554432000 4194304 4196468 140731290486288 140030774274864 140031352674946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 21 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 2301880 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2465.19 s]
# the end of solver process 12791 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.92 s, system=3.31245 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2465.11 s]
/proc/loadavg: 1.65 1.59 1.98 3/218 13514
/proc/meminfo: memFree=11731420/32770624 swapFree=67108860/67108860
[pid=12791] ppid=12782 vsize=11112808 memory=2305976 CPUtime=2520.14 cores=0,2,4,6
/proc/12791/stat : 12791 (java) S 12782 12791 12709 0 -1 1077944320 553254 13196 0 0 251679 327 6 2 20 0 17 0 58923295 11379515392 576494 33554432000 4194304 4196468 140731290486288 140731290468832 140031352663799 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
/proc/12791/statm: 2778202 576494 3537 1 0 2739855 0
[pid=12791/tid=12875] ppid=12782 vsize=11112808 memory=2301880 CPUtime=2443.47 cores=0,2,4,6
/proc/12791/task/12875/stat : 12875 (java) R 12782 12791 12709 0 -1 4202560 198356 13196 0 0 244251 88 6 2 20 0 17 0 58923304 11379515392 576494 33554432000 4194304 4196468 140731290486288 140031320645008 140030930320296 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12880] ppid=12782 vsize=11112808 memory=8384 CPUtime=13.66 cores=0,2,4,6
/proc/12791/task/12880/stat : 12880 (java) S 12782 12791 12709 0 -1 1077944384 28298 13196 0 0 1327 31 6 2 20 0 17 0 58923305 11379515392 576494 33554432000 4194304 4196468 140731290486288 140031356905744 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12881] ppid=12782 vsize=11112808 memory=2324452 CPUtime=13.63 cores=0,2,4,6
/proc/12791/task/12881/stat : 12881 (java) S 12782 12791 12709 0 -1 1077944384 48471 13196 0 0 1324 31 6 2 20 0 17 0 58923305 11379515392 576494 33554432000 4194304 4196468 140731290486288 140031245179280 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12882] ppid=12782 vsize=11112808 memory=2304956 CPUtime=13.66 cores=0,2,4,6
/proc/12791/task/12882/stat : 12882 (java) S 12782 12791 12709 0 -1 1077944384 34722 13196 0 0 1327 31 6 2 20 0 17 0 58923305 11379515392 576494 33554432000 4194304 4196468 140731290486288 140031244126736 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12883] ppid=12782 vsize=11112808 memory=2303416 CPUtime=13.61 cores=0,2,4,6
/proc/12791/task/12883/stat : 12883 (java) S 12782 12791 12709 0 -1 1077944384 39268 13196 0 0 1323 30 6 2 20 0 17 0 58923305 11379515392 576494 33554432000 4194304 4196468 140731290486288 140031243074192 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12887] ppid=12782 vsize=11112808 memory=2301880 CPUtime=6.58 cores=0,2,4,6
/proc/12791/task/12887/stat : 12887 (java) S 12782 12791 12709 0 -1 1077944384 27940 13196 0 0 622 28 6 2 20 0 17 0 58923307 11379515392 576494 33554432000 4194304 4196468 140731290486288 140030812043760 140031352674946 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12888] ppid=12782 vsize=11112808 memory=4616 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12888/stat : 12888 (java) S 12782 12791 12709 0 -1 1077944384 41 13196 0 0 0 0 6 2 20 0 17 0 58923307 11379515392 576494 33554432000 4194304 4196468 140731290486288 140030810990112 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12889] ppid=12782 vsize=11112808 memory=2301880 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12889/stat : 12889 (java) S 12782 12791 12709 0 -1 1077944384 2 13196 0 0 0 0 6 2 20 0 17 0 58923307 11379515392 576494 33554432000 4194304 4196468 140731290486288 140030228030976 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12896] ppid=12782 vsize=11112808 memory=2303932 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12896/stat : 12896 (java) S 12782 12791 12709 0 -1 1077944384 45 13196 0 0 0 0 6 2 20 0 17 0 58923310 11379515392 576494 33554432000 4194304 4196468 140731290486288 140029920631504 140031352682395 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12897] ppid=12782 vsize=11112808 memory=624 CPUtime=6.32 cores=0,2,4,6
/proc/12791/task/12897/stat : 12897 (java) S 12782 12791 12709 0 -1 1077944384 59769 13196 0 0 616 8 6 2 20 0 17 0 58923310 11379515392 576494 33554432000 4194304 4196468 140731290486288 140030777432048 140031352674946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12898] ppid=12782 vsize=11112808 memory=2301880 CPUtime=5.77 cores=0,2,4,6
/proc/12791/task/12898/stat : 12898 (java) S 12782 12791 12709 0 -1 1077944384 61625 13196 0 0 562 7 6 2 20 0 17 0 58923310 11379515392 576494 33554432000 4194304 4196468 140731290486288 140030776379504 140031352674946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12899] ppid=12782 vsize=11112808 memory=1792 CPUtime=2.23 cores=0,2,4,6
/proc/12791/task/12899/stat : 12899 (java) S 12782 12791 12709 0 -1 1077944384 47958 13196 0 0 209 6 6 2 20 0 17 0 58923310 11379515392 576494 33554432000 4194304 4196468 140731290486288 140030775326960 140031352674946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12900] ppid=12782 vsize=11112808 memory=2301880 CPUtime=0.08 cores=0,2,4,6
/proc/12791/task/12900/stat : 12900 (java) S 12782 12791 12709 0 -1 1077944384 3 13196 0 0 0 0 6 2 20 0 17 0 58923310 11379515392 576494 33554432000 4194304 4196468 140731290486288 140029887072864 140031352674005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
[pid=12791/tid=12901] ppid=12782 vsize=11112808 memory=2302392 CPUtime=1.81 cores=0,2,4,6
/proc/12791/task/12901/stat : 12901 (java) S 12782 12791 12709 0 -1 1077944384 4522 13196 0 0 85 88 6 2 20 0 17 0 58923310 11379515392 576494 33554432000 4194304 4196468 140731290486288 140030774274864 140031352674946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 21 0 0 6293624 6294260 25985024 140731290495147 140731290498396 140731290498396 140731290501071 0
Current children cumulated CPU time: 2520.14 s
Current children cumulated vsize: 11112808 KiB
Current children cumulated memory: 2305976 KiB
Child status: 143
Real time (s): 2465.19
CPU time (s): 2520.23
CPU user time (s): 2516.92
CPU system time (s): 3.31245
CPU usage (%): 102.233
Max. virtual memory (cumulated for all children) (KiB): 11112808
Max. memory (cumulated for all children) (KiB): 3175508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.92
system time used= 3.31245
maximum resident set size= 3175620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 567200
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113509
involuntary context switches= 7590
# summary of solver processes directly reported to runsolver:
# pid: 12791
# total CPU time (s): 2520.23
# total CPU user time (s): 2516.92
# total CPU system time (s): 3.31245
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.7601 second user time and 23.8091 second system time
The end