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 (5597 MiB free)
memory of node 1: 16384 MiB (11955 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293873-1532381817/watcher-4293873-1532381817 -o /tmp/evaluation-result-4293873-1532381817/solver-4293873-1532381817 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532356582-12263 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=956023574 HOME/instance-4293873-1532381817.xml
running on 4 cores: 1,3,5,7
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=16639, runsolver pid=16636
[startup+0.100141 s]*
/proc/loadavg: 1.47 1.46 1.47 3/206 16696
/proc/meminfo: memFree=17966916/32770624 swapFree=67108860/67108860
[pid=16639] ppid=16636 vsize=9972712 memory=19120 CPUtime=0.08 cores=1,3,5,7
/proc/16639/stat : 16639 (java) S 16636 16639 12231 0 -1 1077944320 4404 13147 0 0 1 0 5 2 20 0 6 0 55744964 10212057088 4780 33554432000 4194304 4196468 140724597512944 140724597495488 140708713934583 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
/proc/16639/statm: 2493178 4780 1934 1 0 2481616 0
[pid=16639/tid=16692] ppid=16636 vsize=9972712 memory=4279135703912971920 CPUtime=0.08 cores=1,3,5,7
/proc/16639/task/16692/stat : 16692 (java) R 16636 16639 12231 0 -1 4202560 2227 13147 0 0 1 0 5 2 20 0 6 0 55744973 10212057088 4780 33554432000 4194304 4196468 140724597512944 140708685771344 140708699246585 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16693] ppid=16636 vsize=9972712 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16693/stat : 16693 (java) S 16636 16639 12231 0 -1 1077944384 1 13147 0 0 0 0 5 2 20 0 6 0 55744973 10212057088 4780 33554432000 4194304 4196468 140724597512944 140708718176528 140708713944789 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16694] ppid=16636 vsize=9972712 memory=140541613938304 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16694/stat : 16694 (java) S 16636 16639 12231 0 -1 1077944384 1 13147 0 0 0 0 5 2 20 0 6 0 55744973 10212057088 4780 33554432000 4194304 4196468 140724597512944 140708632996240 140708713944789 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16695] ppid=16636 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16695/stat : 16695 (java) S 16636 16639 12231 0 -1 1077944384 1 13147 0 0 0 0 5 2 20 0 6 0 55744973 10212057088 4780 33554432000 4194304 4196468 140724597512944 140708286224912 140708713944789 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16696] ppid=16636 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16696/stat : 16696 (java) S 16636 16639 12231 0 -1 1077944384 2 13147 0 0 0 0 5 2 20 0 6 0 55744973 10212057088 4780 33554432000 4194304 4196468 140724597512944 140708285172368 140708713944789 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 19120 KiB
[startup+0.20981 s]*
/proc/loadavg: 1.47 1.46 1.47 3/215 16705
/proc/meminfo: memFree=17948476/32770624 swapFree=67108860/67108860
[pid=16639] ppid=16636 vsize=10821524 memory=44288 CPUtime=0.25 cores=1,3,5,7
/proc/16639/stat : 16639 (java) S 16636 16639 12231 0 -1 1077944320 8310 13147 0 0 17 1 5 2 20 0 15 0 55744964 11081240576 11072 33554432000 4194304 4196468 140724597512944 140724597495488 140708713934583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
/proc/16639/statm: 2705381 11072 2947 1 0 2667804 0
[pid=16639/tid=16692] ppid=16636 vsize=10819896 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/16639/task/16692/stat : 16692 (java) R 16636 16639 12231 0 -1 4202560 5145 13147 0 0 11 1 5 2 20 0 15 0 55744973 11079573504 10748 33554432000 4194304 4196468 140724597512944 140708685759392 140708706651687 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16693] ppid=16636 vsize=10818904 memory=342 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16693/stat : 16693 (java) S 16636 16639 12231 0 -1 1077944384 1 13147 0 0 0 0 5 2 20 0 15 0 55744973 11078557696 10740 33554432000 4194304 4196468 140724597512944 140708718176528 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16694] ppid=16636 vsize=10818904 memory=288370917765650048 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16694/stat : 16694 (java) S 16636 16639 12231 0 -1 1077944384 1 13147 0 0 0 0 5 2 20 0 15 0 55744973 11078557696 10740 33554432000 4194304 4196468 140724597512944 140708632996240 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16695] ppid=16636 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16695/stat : 16695 (java) S 16636 16639 12231 0 -1 1077944384 1 13147 0 0 0 0 5 2 20 0 15 0 55744973 11078557696 10740 33554432000 4194304 4196468 140724597512944 140708286224912 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16696] ppid=16636 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16696/stat : 16696 (java) S 16636 16639 12231 0 -1 1077944384 2 13147 0 0 0 0 5 2 20 0 15 0 55744973 11078557696 10740 33554432000 4194304 4196468 140724597512944 140708285172368 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16697] ppid=16636 vsize=10818904 memory=140541613938304 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16697/stat : 16697 (java) S 16636 16639 12231 0 -1 1077944384 2 13147 0 0 0 0 5 2 20 0 15 0 55744975 11078557696 10740 33554432000 4194304 4196468 140724597512944 140708240595440 140708713945730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16698] ppid=16636 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16698/stat : 16698 (java) S 16636 16639 12231 0 -1 1077944384 13 13147 0 0 0 0 5 2 20 0 15 0 55744975 11078557696 10740 33554432000 4194304 4196468 140724597512944 140707624904096 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16699] ppid=16636 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16699/stat : 16699 (java) S 16636 16639 12231 0 -1 1077944384 1 13147 0 0 0 0 5 2 20 0 15 0 55744975 11078557696 10740 33554432000 4194304 4196468 140724597512944 140707490686448 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16700] ppid=16636 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16700/stat : 16700 (java) S 16636 16639 12231 0 -1 1077944384 3 13147 0 0 0 0 5 2 20 0 15 0 55744978 11078557696 10740 33554432000 4194304 4196468 140724597512944 140707250395856 140708713953179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16701] ppid=16636 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16639/task/16701/stat : 16701 (java) S 16636 16639 12231 0 -1 1077944384 483 13147 0 0 1 0 5 2 20 0 15 0 55744978 11078557696 10740 33554432000 4194304 4196468 140724597512944 140708239542256 140708713945730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16702] ppid=16636 vsize=10818936 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16702/stat : 16702 (java) S 16636 16639 12231 0 -1 1077944384 126 13147 0 0 0 0 5 2 20 0 15 0 55744978 11078590464 10740 33554432000 4194304 4196468 140724597512944 140708238489712 140708713945730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16703] ppid=16636 vsize=10818936 memory=140541613938304 CPUtime=0.1 cores=1,3,5,7
/proc/16639/task/16703/stat : 16703 (java) S 16636 16639 12231 0 -1 1077944384 613 13147 0 0 3 0 5 2 20 0 15 0 55744978 11078590464 10740 33554432000 4194304 4196468 140724597512944 140708237437168 140708713945730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16704] ppid=16636 vsize=10818936 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16704/stat : 16704 (java) S 16636 16639 12231 0 -1 1077944384 3 13147 0 0 0 0 5 2 20 0 15 0 55744978 11078590464 10740 33554432000 4194304 4196468 140724597512944 140707216837216 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16705] ppid=16636 vsize=10818936 memory=140541613938304 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16705/stat : 16705 (java) S 16636 16639 12231 0 -1 1077944384 1 13147 0 0 0 0 5 2 20 0 15 0 55744979 11078590464 10805 33554432000 4194304 4196468 140724597512944 140708236385072 140708713945730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10821524 KiB
Current children cumulated memory: 44288 KiB
[startup+0.310171 s]*
/proc/loadavg: 1.47 1.46 1.47 3/215 16705
/proc/meminfo: memFree=17935328/32770624 swapFree=67108860/67108860
[pid=16639] ppid=16636 vsize=10819352 memory=53420 CPUtime=0.37 cores=1,3,5,7
/proc/16639/stat : 16639 (java) S 16636 16639 12231 0 -1 1077944320 10441 13147 0 0 28 2 5 2 20 0 15 0 55744964 11079016448 13355 33554432000 4194304 4196468 140724597512944 140724597495488 140708713934583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
/proc/16639/statm: 2704838 13355 3066 1 0 2667149 0
[pid=16639/tid=16692] ppid=16636 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/16639/task/16692/stat : 16692 (java) R 16636 16639 12231 0 -1 4202560 6998 13147 0 0 19 2 5 2 20 0 15 0 55744973 11079016448 13355 33554432000 4194304 4196468 140724597512944 140708685746592 140708698015070 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16693] ppid=16636 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16693/stat : 16693 (java) S 16636 16639 12231 0 -1 1077944384 1 13147 0 0 0 0 5 2 20 0 15 0 55744973 11079016448 13355 33554432000 4194304 4196468 140724597512944 140708718176528 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16694] ppid=16636 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16694/stat : 16694 (java) S 16636 16639 12231 0 -1 1077944384 1 13147 0 0 0 0 5 2 20 0 15 0 55744973 11079016448 13355 33554432000 4194304 4196468 140724597512944 140708632996240 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16695] ppid=16636 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16695/stat : 16695 (java) S 16636 16639 12231 0 -1 1077944384 1 13147 0 0 0 0 5 2 20 0 15 0 55744973 11079016448 13355 33554432000 4194304 4196468 140724597512944 140708286224912 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16696] ppid=16636 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16696/stat : 16696 (java) S 16636 16639 12231 0 -1 1077944384 2 13147 0 0 0 0 5 2 20 0 15 0 55744973 11079016448 13355 33554432000 4194304 4196468 140724597512944 140708285172368 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16697] ppid=16636 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16697/stat : 16697 (java) S 16636 16639 12231 0 -1 1077944384 2 13147 0 0 0 0 5 2 20 0 15 0 55744975 11079016448 13355 33554432000 4194304 4196468 140724597512944 140708240595440 140708713945730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16698] ppid=16636 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16698/stat : 16698 (java) S 16636 16639 12231 0 -1 1077944384 13 13147 0 0 0 0 5 2 20 0 15 0 55744975 11079016448 13355 33554432000 4194304 4196468 140724597512944 140707624904096 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16699] ppid=16636 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16699/stat : 16699 (java) S 16636 16639 12231 0 -1 1077944384 1 13147 0 0 0 0 5 2 20 0 15 0 55744975 11079016448 13355 33554432000 4194304 4196468 140724597512944 140707490686448 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16700] ppid=16636 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16700/stat : 16700 (java) S 16636 16639 12231 0 -1 1077944384 3 13147 0 0 0 0 5 2 20 0 15 0 55744978 11079016448 13355 33554432000 4194304 4196468 140724597512944 140707250395856 140708713953179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16701] ppid=16636 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16639/task/16701/stat : 16701 (java) S 16636 16639 12231 0 -1 1077944384 483 13147 0 0 1 0 5 2 20 0 15 0 55744978 11079016448 13355 33554432000 4194304 4196468 140724597512944 140708239542256 140708713945730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16702] ppid=16636 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/16639/task/16702/stat : 16702 (java) S 16636 16639 12231 0 -1 1077944384 129 13147 0 0 1 0 5 2 20 0 15 0 55744978 11079016448 13355 33554432000 4194304 4196468 140724597512944 140708238489712 140708713945730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16703] ppid=16636 vsize=10819352 memory=140541613938304 CPUtime=0.12 cores=1,3,5,7
/proc/16639/task/16703/stat : 16703 (java) R 16636 16639 12231 0 -1 4202560 619 13147 0 0 5 0 5 2 20 0 15 0 55744978 11079016448 13355 33554432000 4194304 4196468 140724597512944 140708237437168 140708692850089 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16704] ppid=16636 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16704/stat : 16704 (java) S 16636 16639 12231 0 -1 1077944384 3 13147 0 0 0 0 5 2 20 0 15 0 55744978 11079016448 13355 33554432000 4194304 4196468 140724597512944 140707216837216 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16705] ppid=16636 vsize=10819352 memory=140541613938304 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16705/stat : 16705 (java) S 16636 16639 12231 0 -1 1077944384 1 13147 0 0 0 0 5 2 20 0 15 0 55744979 11079016448 13355 33554432000 4194304 4196468 140724597512944 140708236385072 140708713945730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53420 KiB
[startup+0.700752 s]
/proc/loadavg: 1.47 1.46 1.47 3/215 16705
/proc/meminfo: memFree=17924784/32770624 swapFree=67108860/67108860
[pid=16639] ppid=16636 vsize=10819352 memory=86528 CPUtime=0.97 cores=1,3,5,7
/proc/16639/stat : 16639 (java) S 16636 16639 12231 0 -1 1077944320 16784 13147 0 0 86 4 5 2 20 0 15 0 55744964 11079016448 21632 33554432000 4194304 4196468 140724597512944 140724597495488 140708713934583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
/proc/16639/statm: 2704838 21632 3237 1 0 2667149 0
[pid=16639/tid=16692] ppid=16636 vsize=10819352 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/16639/task/16692/stat : 16692 (java) R 16636 16639 12231 0 -1 4202560 12267 13147 0 0 55 3 5 2 20 0 15 0 55744973 11079016448 21632 33554432000 4194304 4196468 140724597512944 140708685755408 140708695499553 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16693] ppid=16636 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16693/stat : 16693 (java) S 16636 16639 12231 0 -1 1077944384 1 13147 0 0 0 0 5 2 20 0 15 0 55744973 11079016448 21632 33554432000 4194304 4196468 140724597512944 140708718176528 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16694] ppid=16636 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16694/stat : 16694 (java) S 16636 16639 12231 0 -1 1077944384 1 13147 0 0 0 0 5 2 20 0 15 0 55744973 11079016448 21632 33554432000 4194304 4196468 140724597512944 140708632996240 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16695] ppid=16636 vsize=10819352 memory=140541463507728 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16695/stat : 16695 (java) S 16636 16639 12231 0 -1 1077944384 1 13147 0 0 0 0 5 2 20 0 15 0 55744973 11079016448 21632 33554432000 4194304 4196468 140724597512944 140708286224912 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16696] ppid=16636 vsize=10819352 memory=140544214827616 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16696/stat : 16696 (java) S 16636 16639 12231 0 -1 1077944384 2 13147 0 0 0 0 5 2 20 0 15 0 55744973 11079016448 21632 33554432000 4194304 4196468 140724597512944 140708285172368 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16697] ppid=16636 vsize=10819352 memory=1228 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16697/stat : 16697 (java) S 16636 16639 12231 0 -1 1077944384 5 13147 0 0 0 0 5 2 20 0 15 0 55744975 11079016448 21632 33554432000 4194304 4196468 140724597512944 140708240595440 140708713945730 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16698] ppid=16636 vsize=10819352 memory=4639098309541126758 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16698/stat : 16698 (java) S 16636 16639 12231 0 -1 1077944384 13 13147 0 0 0 0 5 2 20 0 15 0 55744975 11079016448 21632 33554432000 4194304 4196468 140724597512944 140707624904096 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16699] ppid=16636 vsize=10819352 memory=7885635084775281010 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16699/stat : 16699 (java) S 16636 16639 12231 0 -1 1077944384 1 13147 0 0 0 0 5 2 20 0 15 0 55744975 11079016448 21632 33554432000 4194304 4196468 140724597512944 140707490686448 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16700] ppid=16636 vsize=10819352 memory=18464 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16700/stat : 16700 (java) S 16636 16639 12231 0 -1 1077944384 3 13147 0 0 0 0 5 2 20 0 15 0 55744978 11079016448 21632 33554432000 4194304 4196468 140724597512944 140707250395856 140708713953179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16701] ppid=16636 vsize=10819352 memory=11456 CPUtime=0.17 cores=1,3,5,7
/proc/16639/task/16701/stat : 16701 (java) S 16636 16639 12231 0 -1 1077944384 1067 13147 0 0 10 0 5 2 20 0 15 0 55744978 11079016448 21632 33554432000 4194304 4196468 140724597512944 140708239542256 140708713945730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16702] ppid=16636 vsize=10819352 memory=4052 CPUtime=0.13 cores=1,3,5,7
/proc/16639/task/16702/stat : 16702 (java) S 16636 16639 12231 0 -1 1077944384 509 13147 0 0 6 0 5 2 20 0 15 0 55744978 11079016448 21632 33554432000 4194304 4196468 140724597512944 140708238489712 140708713945730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16703] ppid=16636 vsize=10819352 memory=644 CPUtime=0.2 cores=1,3,5,7
/proc/16639/task/16703/stat : 16703 (java) S 16636 16639 12231 0 -1 1077944384 717 13147 0 0 13 0 5 2 20 0 15 0 55744978 11079016448 21632 33554432000 4194304 4196468 140724597512944 140708237437168 140708713945730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16704] ppid=16636 vsize=10819352 memory=1792 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16704/stat : 16704 (java) S 16636 16639 12231 0 -1 1077944384 3 13147 0 0 0 0 5 2 20 0 15 0 55744978 11079016448 21632 33554432000 4194304 4196468 140724597512944 140707216837216 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16705] ppid=16636 vsize=10819352 memory=1232 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16705/stat : 16705 (java) S 16636 16639 12231 0 -1 1077944384 1 13147 0 0 0 0 5 2 20 0 15 0 55744979 11079016448 21632 33554432000 4194304 4196468 140724597512944 140708236385072 140708713945730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86528 KiB
[startup+1.50075 s]
/proc/loadavg: 1.47 1.46 1.47 3/215 16705
/proc/meminfo: memFree=17878692/32770624 swapFree=67108860/67108860
[pid=16639] ppid=16636 vsize=10834252 memory=177848 CPUtime=2.26 cores=1,3,5,7
/proc/16639/stat : 16639 (java) S 16636 16639 12231 0 -1 1077944320 24120 13147 0 0 209 10 5 2 20 0 15 0 55744964 11094274048 44462 33554432000 4194304 4196468 140724597512944 140724597495488 140708713934583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
/proc/16639/statm: 2708563 44462 3472 1 0 2670221 0
[pid=16639/tid=16692] ppid=16636 vsize=10834252 memory=63404 CPUtime=1.42 cores=1,3,5,7
/proc/16639/task/16692/stat : 16692 (java) R 16636 16639 12231 0 -1 4202560 17920 13147 0 0 129 6 5 2 20 0 15 0 55744973 11094274048 44462 33554432000 4194304 4196468 140724597512944 140708685766528 140708698015070 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16693] ppid=16636 vsize=10834252 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/16639/task/16693/stat : 16693 (java) S 16636 16639 12231 0 -1 1077944384 193 13147 0 0 1 0 5 2 20 0 15 0 55744973 11094274048 44462 33554432000 4194304 4196468 140724597512944 140708718176528 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16694] ppid=16636 vsize=10834252 memory=281082927046816 CPUtime=0.08 cores=1,3,5,7
/proc/16639/task/16694/stat : 16694 (java) S 16636 16639 12231 0 -1 1077944384 19 13147 0 0 1 0 5 2 20 0 15 0 55744973 11094274048 44462 33554432000 4194304 4196468 140724597512944 140708632996240 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16695] ppid=16636 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16639/task/16695/stat : 16695 (java) S 16636 16639 12231 0 -1 1077944384 22 13147 0 0 1 0 5 2 20 0 15 0 55744973 11094274048 44462 33554432000 4194304 4196468 140724597512944 140708286224912 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16696] ppid=16636 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16639/task/16696/stat : 16696 (java) S 16636 16639 12231 0 -1 1077944384 75 13147 0 0 1 0 5 2 20 0 15 0 55744973 11094274048 44468 33554432000 4194304 4196468 140724597512944 140708285172368 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16697] ppid=16636 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16639/task/16697/stat : 16697 (java) S 16636 16639 12231 0 -1 1077944384 64 13147 0 0 1 0 5 2 20 0 15 0 55744975 11094274048 44468 33554432000 4194304 4196468 140724597512944 140708240595440 140708713945730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16698] ppid=16636 vsize=10834252 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16698/stat : 16698 (java) S 16636 16639 12231 0 -1 1077944384 14 13147 0 0 0 0 5 2 20 0 15 0 55744975 11094274048 44468 33554432000 4194304 4196468 140724597512944 140707624904160 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16699] ppid=16636 vsize=10834252 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16699/stat : 16699 (java) S 16636 16639 12231 0 -1 1077944384 1 13147 0 0 0 0 5 2 20 0 15 0 55744975 11094274048 44468 33554432000 4194304 4196468 140724597512944 140707490686464 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16700] ppid=16636 vsize=10834252 memory=-2746958450906831424 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16700/stat : 16700 (java) S 16636 16639 12231 0 -1 1077944384 3 13147 0 0 0 0 5 2 20 0 15 0 55744978 11094274048 44468 33554432000 4194304 4196468 140724597512944 140707250395856 140708713953179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16701] ppid=16636 vsize=10834252 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/16639/task/16701/stat : 16701 (java) S 16636 16639 12231 0 -1 1077944384 1532 13147 0 0 22 0 5 2 20 0 15 0 55744978 11094274048 44468 33554432000 4194304 4196468 140724597512944 140708239542256 140708713945730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16702] ppid=16636 vsize=10834252 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/16639/task/16702/stat : 16702 (java) S 16636 16639 12231 0 -1 1077944384 735 13147 0 0 16 0 5 2 20 0 15 0 55744978 11094274048 44468 33554432000 4194304 4196468 140724597512944 140708238489712 140708713945730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16703] ppid=16636 vsize=10834252 memory=6791534058613427641 CPUtime=0.4 cores=1,3,5,7
/proc/16639/task/16703/stat : 16703 (java) S 16636 16639 12231 0 -1 1077944384 1345 13147 0 0 33 0 5 2 20 0 15 0 55744978 11094274048 44468 33554432000 4194304 4196468 140724597512944 140708237437168 140708713945730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16704] ppid=16636 vsize=10834252 memory=4638778398332698720 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16704/stat : 16704 (java) S 16636 16639 12231 0 -1 1077944384 3 13147 0 0 0 0 5 2 20 0 15 0 55744978 11094274048 44468 33554432000 4194304 4196468 140724597512944 140707216837216 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16705] ppid=16636 vsize=10834252 memory=281082927291264 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16705/stat : 16705 (java) S 16636 16639 12231 0 -1 1077944384 1 13147 0 0 0 0 5 2 20 0 15 0 55744979 11094274048 44468 33554432000 4194304 4196468 140724597512944 140708236385072 140708713945730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
Current children cumulated CPU time: 2.26 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/16639/task/16692/stat : 16692 (java) R 16636 16639 12231 0 -1 4202560 94612 13147 0 0 235519 51 5 2 20 0 15 0 55744973 11178180608 226235 33554432000 4194304 4196468 140724597512944 140708685770112 140708327293061 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16693] ppid=16636 vsize=10916192 memory=904940 CPUtime=12.08 cores=1,3,5,7
/proc/16639/task/16693/stat : 16693 (java) S 16636 16639 12231 0 -1 1077944384 13585 13147 0 0 1145 56 5 2 20 0 15 0 55744973 11178180608 226235 33554432000 4194304 4196468 140724597512944 140708718176528 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16694] ppid=16636 vsize=10916192 memory=56 CPUtime=12.09 cores=1,3,5,7
/proc/16639/task/16694/stat : 16694 (java) S 16636 16639 12231 0 -1 1077944384 9532 13147 0 0 1142 60 5 2 20 0 15 0 55744973 11178180608 226235 33554432000 4194304 4196468 140724597512944 140708632996240 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16695] ppid=16636 vsize=10916192 memory=904940 CPUtime=12.04 cores=1,3,5,7
/proc/16639/task/16695/stat : 16695 (java) S 16636 16639 12231 0 -1 1077944384 22182 13147 0 0 1139 58 5 2 20 0 15 0 55744973 11178180608 226235 33554432000 4194304 4196468 140724597512944 140708286224912 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16696] ppid=16636 vsize=10916192 memory=904940 CPUtime=12.1 cores=1,3,5,7
/proc/16639/task/16696/stat : 16696 (java) S 16636 16639 12231 0 -1 1077944384 12688 13147 0 0 1143 60 5 2 20 0 15 0 55744973 11178180608 226235 33554432000 4194304 4196468 140724597512944 140708285172368 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16697] ppid=16636 vsize=10916192 memory=904940 CPUtime=11.06 cores=1,3,5,7
/proc/16639/task/16697/stat : 16697 (java) S 16636 16639 12231 0 -1 1077944384 14289 13147 0 0 1034 65 5 2 20 0 15 0 55744975 11178180608 226235 33554432000 4194304 4196468 140724597512944 140708240595440 140708713945730 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16698] ppid=16636 vsize=10916192 memory=904940 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16698/stat : 16698 (java) S 16636 16639 12231 0 -1 1077944384 15 13147 0 0 0 0 5 2 20 0 15 0 55744975 11178180608 226235 33554432000 4194304 4196468 140724597512944 140707624904224 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16699] ppid=16636 vsize=10916192 memory=904940 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16699/stat : 16699 (java) S 16636 16639 12231 0 -1 1077944384 2 13147 0 0 0 0 5 2 20 0 15 0 55744975 11178180608 226235 33554432000 4194304 4196468 140724597512944 140707490686464 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16700] ppid=16636 vsize=10916192 memory=904940 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16700/stat : 16700 (java) S 16636 16639 12231 0 -1 1077944384 3 13147 0 0 0 0 5 2 20 0 15 0 55744978 11178180608 226235 33554432000 4194304 4196468 140724597512944 140707250395856 140708713953179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16701] ppid=16636 vsize=10916192 memory=904940 CPUtime=7.32 cores=1,3,5,7
/proc/16639/task/16701/stat : 16701 (java) S 16636 16639 12231 0 -1 1077944384 33165 13147 0 0 719 6 5 2 20 0 15 0 55744978 11178180608 226235 33554432000 4194304 4196468 140724597512944 140708239542256 140708713945730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16702] ppid=16636 vsize=10916192 memory=904940 CPUtime=6.46 cores=1,3,5,7
/proc/16639/task/16702/stat : 16702 (java) S 16636 16639 12231 0 -1 1077944384 34727 13147 0 0 635 4 5 2 20 0 15 0 55744978 11178180608 226235 33554432000 4194304 4196468 140724597512944 140708238489712 140708713945730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16703] ppid=16636 vsize=10916192 memory=904940 CPUtime=3.11 cores=1,3,5,7
/proc/16639/task/16703/stat : 16703 (java) S 16636 16639 12231 0 -1 1077944384 33887 13147 0 0 298 6 5 2 20 0 15 0 55744978 11178180608 226235 33554432000 4194304 4196468 140724597512944 140708237437168 140708713945730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16704] ppid=16636 vsize=10916192 memory=904940 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16704/stat : 16704 (java) S 16636 16639 12231 0 -1 1077944384 3 13147 0 0 0 0 5 2 20 0 15 0 55744978 11178180608 226235 33554432000 4194304 4196468 140724597512944 140707216837216 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16705] ppid=16636 vsize=10916192 memory=4136 CPUtime=1.35 cores=1,3,5,7
/proc/16639/task/16705/stat : 16705 (java) S 16636 16639 12231 0 -1 1077944384 1594 13147 0 0 61 67 5 2 20 0 15 0 55744979 11178180608 226235 33554432000 4194304 4196468 140724597512944 140708236385072 140708713945730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
Current children cumulated CPU time: 2432.85 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 904940 KiB
[startup+2442.3 s]
/proc/loadavg: 1.34 1.42 1.44 3/215 16951
/proc/meminfo: memFree=16805776/32770624 swapFree=67108860/67108860
[pid=16639] ppid=16636 vsize=10916192 memory=904940 CPUtime=2493.7 cores=1,3,5,7
/proc/16639/stat : 16639 (java) S 16636 16639 12231 0 -1 1077944320 273959 13147 0 0 248987 376 5 2 20 0 15 0 55744964 11178180608 226235 33554432000 4194304 4196468 140724597512944 140724597495488 140708713934583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
/proc/16639/statm: 2729048 226235 3527 1 0 2690701 0
[pid=16639/tid=16692] ppid=16636 vsize=10916192 memory=904940 CPUtime=2415.15 cores=1,3,5,7
/proc/16639/task/16692/stat : 16692 (java) R 16636 16639 12231 0 -1 4202560 95256 13147 0 0 241457 51 5 2 20 0 15 0 55744973 11178180608 226235 33554432000 4194304 4196468 140724597512944 140708685769184 140708328668228 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16693] ppid=16636 vsize=10916192 memory=904940 CPUtime=12.37 cores=1,3,5,7
/proc/16639/task/16693/stat : 16693 (java) S 16636 16639 12231 0 -1 1077944384 13976 13147 0 0 1172 58 5 2 20 0 15 0 55744973 11178180608 226235 33554432000 4194304 4196468 140724597512944 140708718176528 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16694] ppid=16636 vsize=10916192 memory=904940 CPUtime=12.38 cores=1,3,5,7
/proc/16639/task/16694/stat : 16694 (java) S 16636 16639 12231 0 -1 1077944384 9599 13147 0 0 1170 61 5 2 20 0 15 0 55744973 11178180608 226235 33554432000 4194304 4196468 140724597512944 140708632996240 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16695] ppid=16636 vsize=10916192 memory=904940 CPUtime=12.34 cores=1,3,5,7
/proc/16639/task/16695/stat : 16695 (java) S 16636 16639 12231 0 -1 1077944384 22214 13147 0 0 1168 59 5 2 20 0 15 0 55744973 11178180608 226235 33554432000 4194304 4196468 140724597512944 140708286224912 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16696] ppid=16636 vsize=10916192 memory=904940 CPUtime=12.39 cores=1,3,5,7
/proc/16639/task/16696/stat : 16696 (java) S 16636 16639 12231 0 -1 1077944384 12799 13147 0 0 1171 61 5 2 20 0 15 0 55744973 11178180608 226235 33554432000 4194304 4196468 140724597512944 140708285172368 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16697] ppid=16636 vsize=10916192 memory=904940 CPUtime=11.32 cores=1,3,5,7
/proc/16639/task/16697/stat : 16697 (java) S 16636 16639 12231 0 -1 1077944384 14504 13147 0 0 1058 67 5 2 20 0 15 0 55744975 11178180608 226235 33554432000 4194304 4196468 140724597512944 140708240595440 140708713945730 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16698] ppid=16636 vsize=10916192 memory=904940 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16698/stat : 16698 (java) S 16636 16639 12231 0 -1 1077944384 15 13147 0 0 0 0 5 2 20 0 15 0 55744975 11178180608 226235 33554432000 4194304 4196468 140724597512944 140707624904224 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16699] ppid=16636 vsize=10916192 memory=904940 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16699/stat : 16699 (java) S 16636 16639 12231 0 -1 1077944384 2 13147 0 0 0 0 5 2 20 0 15 0 55744975 11178180608 226235 33554432000 4194304 4196468 140724597512944 140707490686464 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16700] ppid=16636 vsize=10916192 memory=4136 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16700/stat : 16700 (java) S 16636 16639 12231 0 -1 1077944384 3 13147 0 0 0 0 5 2 20 0 15 0 55744978 11178180608 226235 33554432000 4194304 4196468 140724597512944 140707250395856 140708713953179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16701] ppid=16636 vsize=10916192 memory=17880 CPUtime=7.32 cores=1,3,5,7
/proc/16639/task/16701/stat : 16701 (java) S 16636 16639 12231 0 -1 1077944384 33169 13147 0 0 719 6 5 2 20 0 15 0 55744978 11178180608 226235 33554432000 4194304 4196468 140724597512944 140708239542256 140708713945730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16702] ppid=16636 vsize=10916192 memory=904940 CPUtime=6.46 cores=1,3,5,7
/proc/16639/task/16702/stat : 16702 (java) S 16636 16639 12231 0 -1 1077944384 34731 13147 0 0 635 4 5 2 20 0 15 0 55744978 11178180608 226235 33554432000 4194304 4196468 140724597512944 140708238489712 140708713945730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16703] ppid=16636 vsize=10916192 memory=17880 CPUtime=3.11 cores=1,3,5,7
/proc/16639/task/16703/stat : 16703 (java) S 16636 16639 12231 0 -1 1077944384 33891 13147 0 0 298 6 5 2 20 0 15 0 55744978 11178180608 226235 33554432000 4194304 4196468 140724597512944 140708237437168 140708713945730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16704] ppid=16636 vsize=10916192 memory=904940 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16704/stat : 16704 (java) S 16636 16639 12231 0 -1 1077944384 3 13147 0 0 0 0 5 2 20 0 15 0 55744978 11178180608 226235 33554432000 4194304 4196468 140724597512944 140707216837216 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16705] ppid=16636 vsize=10916192 memory=904940 CPUtime=1.37 cores=1,3,5,7
/proc/16639/task/16705/stat : 16705 (java) S 16636 16639 12231 0 -1 1077944384 1604 13147 0 0 62 68 5 2 20 0 15 0 55744979 11178180608 226235 33554432000 4194304 4196468 140724597512944 140708236385072 140708713945730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
Current children cumulated CPU time: 2493.7 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 904940 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2468.3 s]
/proc/loadavg: 1.29 1.40 1.43 3/215 16951
/proc/meminfo: memFree=16805900/32770624 swapFree=67108860/67108860
[pid=16639] ppid=16636 vsize=10916192 memory=904940 CPUtime=2520.06 cores=1,3,5,7
/proc/16639/stat : 16639 (java) S 16636 16639 12231 0 -1 1077944320 274519 13147 0 0 251620 379 5 2 20 0 15 0 55744964 11178180608 226235 33554432000 4194304 4196468 140724597512944 140724597495488 140708713934583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
/proc/16639/statm: 2729048 226235 3527 1 0 2690701 0
[pid=16639/tid=16692] ppid=16636 vsize=10916192 memory=904940 CPUtime=2440.88 cores=1,3,5,7
/proc/16639/task/16692/stat : 16692 (java) R 16636 16639 12231 0 -1 4202560 95505 13147 0 0 244029 52 5 2 20 0 15 0 55744973 11178180608 226235 33554432000 4194304 4196468 140724597512944 140708685769296 140708326187399 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16693] ppid=16636 vsize=10916192 memory=904940 CPUtime=12.5 cores=1,3,5,7
/proc/16639/task/16693/stat : 16693 (java) S 16636 16639 12231 0 -1 1077944384 13987 13147 0 0 1184 59 5 2 20 0 15 0 55744973 11178180608 226235 33554432000 4194304 4196468 140724597512944 140708718176528 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16694] ppid=16636 vsize=10916192 memory=904940 CPUtime=12.5 cores=1,3,5,7
/proc/16639/task/16694/stat : 16694 (java) S 16636 16639 12231 0 -1 1077944384 9618 13147 0 0 1182 61 5 2 20 0 15 0 55744973 11178180608 226235 33554432000 4194304 4196468 140724597512944 140708632996240 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16695] ppid=16636 vsize=10916192 memory=904940 CPUtime=12.47 cores=1,3,5,7
/proc/16639/task/16695/stat : 16695 (java) S 16636 16639 12231 0 -1 1077944384 22257 13147 0 0 1180 60 5 2 20 0 15 0 55744973 11178180608 226235 33554432000 4194304 4196468 140724597512944 140708286224912 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16696] ppid=16636 vsize=10916192 memory=904940 CPUtime=12.52 cores=1,3,5,7
/proc/16639/task/16696/stat : 16696 (java) S 16636 16639 12231 0 -1 1077944384 12848 13147 0 0 1183 62 5 2 20 0 15 0 55744973 11178180608 226235 33554432000 4194304 4196468 140724597512944 140708285172368 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16697] ppid=16636 vsize=10916192 memory=904940 CPUtime=11.43 cores=1,3,5,7
/proc/16639/task/16697/stat : 16697 (java) S 16636 16639 12231 0 -1 1077944384 14680 13147 0 0 1069 67 5 2 20 0 15 0 55744975 11178180608 226235 33554432000 4194304 4196468 140724597512944 140708240595440 140708713945730 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16698] ppid=16636 vsize=10916192 memory=904940 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16698/stat : 16698 (java) S 16636 16639 12231 0 -1 1077944384 15 13147 0 0 0 0 5 2 20 0 15 0 55744975 11178180608 226235 33554432000 4194304 4196468 140724597512944 140707624904224 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16699] ppid=16636 vsize=10916192 memory=904940 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16699/stat : 16699 (java) S 16636 16639 12231 0 -1 1077944384 2 13147 0 0 0 0 5 2 20 0 15 0 55744975 11178180608 226235 33554432000 4194304 4196468 140724597512944 140707490686464 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16700] ppid=16636 vsize=10916192 memory=904940 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16700/stat : 16700 (java) S 16636 16639 12231 0 -1 1077944384 3 13147 0 0 0 0 5 2 20 0 15 0 55744978 11178180608 226235 33554432000 4194304 4196468 140724597512944 140707250395856 140708713953179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16701] ppid=16636 vsize=10916192 memory=904940 CPUtime=7.32 cores=1,3,5,7
/proc/16639/task/16701/stat : 16701 (java) S 16636 16639 12231 0 -1 1077944384 33169 13147 0 0 719 6 5 2 20 0 15 0 55744978 11178180608 226235 33554432000 4194304 4196468 140724597512944 140708239542256 140708713945730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16702] ppid=16636 vsize=10916192 memory=904940 CPUtime=6.46 cores=1,3,5,7
/proc/16639/task/16702/stat : 16702 (java) S 16636 16639 12231 0 -1 1077944384 34731 13147 0 0 635 4 5 2 20 0 15 0 55744978 11178180608 226235 33554432000 4194304 4196468 140724597512944 140708238489712 140708713945730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16703] ppid=16636 vsize=10916192 memory=904940 CPUtime=3.11 cores=1,3,5,7
/proc/16639/task/16703/stat : 16703 (java) S 16636 16639 12231 0 -1 1077944384 33891 13147 0 0 298 6 5 2 20 0 15 0 55744978 11178180608 226235 33554432000 4194304 4196468 140724597512944 140708237437168 140708713945730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16704] ppid=16636 vsize=10916192 memory=904940 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16704/stat : 16704 (java) S 16636 16639 12231 0 -1 1077944384 3 13147 0 0 0 0 5 2 20 0 15 0 55744978 11178180608 226235 33554432000 4194304 4196468 140724597512944 140707216837216 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16705] ppid=16636 vsize=10916192 memory=904940 CPUtime=1.39 cores=1,3,5,7
/proc/16639/task/16705/stat : 16705 (java) S 16636 16639 12231 0 -1 1077944384 1617 13147 0 0 63 69 5 2 20 0 15 0 55744979 11178180608 226235 33554432000 4194304 4196468 140724597512944 140708236385072 140708713945730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 904940 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2468.33 s]
# the end of solver process 16639 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.27 s, system=3.83284 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2468.3 s]
/proc/loadavg: 1.29 1.40 1.43 3/215 16951
/proc/meminfo: memFree=16805900/32770624 swapFree=67108860/67108860
[pid=16639] ppid=16636 vsize=10916192 memory=904940 CPUtime=2520.06 cores=1,3,5,7
/proc/16639/stat : 16639 (java) S 16636 16639 12231 0 -1 1077944320 274519 13147 0 0 251620 379 5 2 20 0 15 0 55744964 11178180608 226235 33554432000 4194304 4196468 140724597512944 140724597495488 140708713934583 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
/proc/16639/statm: 2729048 226235 3527 1 0 2690701 0
[pid=16639/tid=16692] ppid=16636 vsize=10916192 memory=904940 CPUtime=2440.88 cores=1,3,5,7
/proc/16639/task/16692/stat : 16692 (java) R 16636 16639 12231 0 -1 4202560 95505 13147 0 0 244029 52 5 2 20 0 15 0 55744973 11178180608 226235 33554432000 4194304 4196468 140724597512944 140708685769296 140708326187399 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16693] ppid=16636 vsize=10916192 memory=904940 CPUtime=12.5 cores=1,3,5,7
/proc/16639/task/16693/stat : 16693 (java) S 16636 16639 12231 0 -1 1077944384 13987 13147 0 0 1184 59 5 2 20 0 15 0 55744973 11178180608 226235 33554432000 4194304 4196468 140724597512944 140708718176528 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16694] ppid=16636 vsize=10916192 memory=904940 CPUtime=12.5 cores=1,3,5,7
/proc/16639/task/16694/stat : 16694 (java) S 16636 16639 12231 0 -1 1077944384 9618 13147 0 0 1182 61 5 2 20 0 15 0 55744973 11178180608 226235 33554432000 4194304 4196468 140724597512944 140708632996240 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16695] ppid=16636 vsize=10916192 memory=904940 CPUtime=12.47 cores=1,3,5,7
/proc/16639/task/16695/stat : 16695 (java) S 16636 16639 12231 0 -1 1077944384 22257 13147 0 0 1180 60 5 2 20 0 15 0 55744973 11178180608 226235 33554432000 4194304 4196468 140724597512944 140708286224912 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16696] ppid=16636 vsize=10916192 memory=904940 CPUtime=12.52 cores=1,3,5,7
/proc/16639/task/16696/stat : 16696 (java) S 16636 16639 12231 0 -1 1077944384 12848 13147 0 0 1183 62 5 2 20 0 15 0 55744973 11178180608 226235 33554432000 4194304 4196468 140724597512944 140708285172368 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16697] ppid=16636 vsize=10916192 memory=904940 CPUtime=11.43 cores=1,3,5,7
/proc/16639/task/16697/stat : 16697 (java) S 16636 16639 12231 0 -1 1077944384 14680 13147 0 0 1069 67 5 2 20 0 15 0 55744975 11178180608 226235 33554432000 4194304 4196468 140724597512944 140708240595440 140708713945730 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16698] ppid=16636 vsize=10916192 memory=904940 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16698/stat : 16698 (java) S 16636 16639 12231 0 -1 1077944384 15 13147 0 0 0 0 5 2 20 0 15 0 55744975 11178180608 226235 33554432000 4194304 4196468 140724597512944 140707624904224 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16699] ppid=16636 vsize=10916192 memory=904940 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16699/stat : 16699 (java) S 16636 16639 12231 0 -1 1077944384 2 13147 0 0 0 0 5 2 20 0 15 0 55744975 11178180608 226235 33554432000 4194304 4196468 140724597512944 140707490686464 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16700] ppid=16636 vsize=10916192 memory=904940 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16700/stat : 16700 (java) S 16636 16639 12231 0 -1 1077944384 3 13147 0 0 0 0 5 2 20 0 15 0 55744978 11178180608 226235 33554432000 4194304 4196468 140724597512944 140707250395856 140708713953179 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16701] ppid=16636 vsize=10916192 memory=904940 CPUtime=7.32 cores=1,3,5,7
/proc/16639/task/16701/stat : 16701 (java) S 16636 16639 12231 0 -1 1077944384 33169 13147 0 0 719 6 5 2 20 0 15 0 55744978 11178180608 226235 33554432000 4194304 4196468 140724597512944 140708239542256 140708713945730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16702] ppid=16636 vsize=10916192 memory=904940 CPUtime=6.46 cores=1,3,5,7
/proc/16639/task/16702/stat : 16702 (java) S 16636 16639 12231 0 -1 1077944384 34731 13147 0 0 635 4 5 2 20 0 15 0 55744978 11178180608 226235 33554432000 4194304 4196468 140724597512944 140708238489712 140708713945730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16703] ppid=16636 vsize=10916192 memory=904940 CPUtime=3.11 cores=1,3,5,7
/proc/16639/task/16703/stat : 16703 (java) S 16636 16639 12231 0 -1 1077944384 33891 13147 0 0 298 6 5 2 20 0 15 0 55744978 11178180608 226235 33554432000 4194304 4196468 140724597512944 140708237437168 140708713945730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16704] ppid=16636 vsize=10916192 memory=904940 CPUtime=0.07 cores=1,3,5,7
/proc/16639/task/16704/stat : 16704 (java) S 16636 16639 12231 0 -1 1077944384 3 13147 0 0 0 0 5 2 20 0 15 0 55744978 11178180608 226235 33554432000 4194304 4196468 140724597512944 140707216837216 140708713944789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
[pid=16639/tid=16705] ppid=16636 vsize=10916192 memory=904940 CPUtime=1.39 cores=1,3,5,7
/proc/16639/task/16705/stat : 16705 (java) S 16636 16639 12231 0 -1 1077944384 1617 13147 0 0 63 69 5 2 20 0 15 0 55744979 11178180608 226235 33554432000 4194304 4196468 140724597512944 140708236385072 140708713945730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11935744 140724597516911 140724597519708 140724597519708 140724597522383 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 904940 KiB
Child status: 143
Real time (s): 2468.33
CPU time (s): 2520.11
CPU user time (s): 2516.27
CPU system time (s): 3.83284
CPU usage (%): 102.098
Max. virtual memory (cumulated for all children) (KiB): 10916852
Max. memory (cumulated for all children) (KiB): 904940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.27
system time used= 3.83284
maximum resident set size= 909156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 288937
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 306668
involuntary context switches= 6366
# summary of solver processes directly reported to runsolver:
# pid: 16639
# total CPU time (s): 2520.11
# total CPU user time (s): 2516.27
# total CPU system time (s): 3.83284
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.1869 second user time and 25.3715 second system time
The end