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 (4641 MiB free)
memory of node 1: 16384 MiB (7023 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294126-1532429688/watcher-4294126-1532429688 -o /tmp/evaluation-result-4294126-1532429688/solver-4294126-1532429688 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532414812-13980 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1031566437 HOME/instance-4294126-1532429688.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=17066, runsolver pid=17063
Current StackSize limit: 8192 KiB
[startup+0.100161 s]*
/proc/loadavg: 1.42 1.43 1.47 2/203 17119
/proc/meminfo: memFree=11942896/32770624 swapFree=67108852/67108860
[pid=17066] ppid=17063 vsize=9972712 memory=16480 CPUtime=0.09 cores=0,2,4,6
/proc/17066/stat : 17066 (java) S 17063 17066 13949 0 -1 1077944320 3753 12838 0 0 1 0 5 3 20 0 6 0 60531932 10212057088 4120 33554432000 4194304 4196468 140737247247312 140737247229856 140206500003575 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
/proc/17066/statm: 2493178 4120 1552 1 0 2481616 0
[pid=17066/tid=17119] ppid=17063 vsize=9972712 memory=4279135703913365901 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17119/stat : 17119 (java) R 17063 17066 13949 0 -1 4202560 1609 12838 0 0 0 0 5 3 20 0 6 0 60531942 10212057088 4186 33554432000 4194304 4196468 140737247247312 140206471840336 140206423080557 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17120] ppid=17063 vsize=9972712 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17120/stat : 17120 (java) S 17063 17066 13949 0 -1 1077944384 1 12838 0 0 0 0 5 3 20 0 6 0 60531942 10212057088 4186 33554432000 4194304 4196468 140737247247312 140206504246160 140206500013781 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17121] ppid=17063 vsize=9972712 memory=140597976278656 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17121/stat : 17121 (java) S 17063 17066 13949 0 -1 1077944384 1 12838 0 0 0 0 5 3 20 0 6 0 60531942 10212057088 4186 33554432000 4194304 4196468 140737247247312 140206392519440 140206500013781 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17122] ppid=17063 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17122/stat : 17122 (java) S 17063 17066 13949 0 -1 1077944384 2 12838 0 0 0 0 5 3 20 0 6 0 60531942 10212057088 4186 33554432000 4194304 4196468 140737247247312 140206391467152 140206500013781 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17123] ppid=17063 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17123/stat : 17123 (java) S 17063 17066 13949 0 -1 1077944384 1 12838 0 0 0 0 5 3 20 0 6 0 60531942 10212057088 4186 33554432000 4194304 4196468 140737247247312 140206390414352 140206500013781 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16480 KiB
[startup+0.215877 s]*
/proc/loadavg: 1.42 1.43 1.47 3/216 17132
/proc/meminfo: memFree=11918924/32770624 swapFree=67108852/67108860
[pid=17066] ppid=17063 vsize=10818904 memory=38780 CPUtime=0.25 cores=0,2,4,6
/proc/17066/stat : 17066 (java) S 17063 17066 13949 0 -1 1077944320 6966 12838 0 0 16 1 5 3 20 0 15 0 60531932 11078557696 9695 33554432000 4194304 4196468 140737247247312 140737247229856 140206500003575 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
/proc/17066/statm: 2704726 9695 2961 1 0 2667149 0
[pid=17066/tid=17119] ppid=17063 vsize=10818904 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/17066/task/17119/stat : 17119 (java) R 17063 17066 13949 0 -1 4202560 3505 12838 0 0 10 0 5 3 20 0 15 0 60531942 11078557696 9695 33554432000 4194304 4196468 140737247247312 140206471825480 140206480279251 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17120] ppid=17063 vsize=10818904 memory=345 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17120/stat : 17120 (java) S 17063 17066 13949 0 -1 1077944384 1 12838 0 0 0 0 5 3 20 0 15 0 60531942 11078557696 9695 33554432000 4194304 4196468 140737247247312 140206504246160 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17121] ppid=17063 vsize=10818904 memory=140597976609121 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17121/stat : 17121 (java) S 17063 17066 13949 0 -1 1077944384 1 12838 0 0 0 0 5 3 20 0 15 0 60531942 11078557696 9695 33554432000 4194304 4196468 140737247247312 140206392519440 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17122] ppid=17063 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17122/stat : 17122 (java) S 17063 17066 13949 0 -1 1077944384 2 12838 0 0 0 0 5 3 20 0 15 0 60531942 11078557696 9695 33554432000 4194304 4196468 140737247247312 140206391467152 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17123] ppid=17063 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17123/stat : 17123 (java) S 17063 17066 13949 0 -1 1077944384 1 12838 0 0 0 0 5 3 20 0 15 0 60531942 11078557696 9695 33554432000 4194304 4196468 140737247247312 140206390414352 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17124] ppid=17063 vsize=10818904 memory=140597976278656 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17124/stat : 17124 (java) S 17063 17066 13949 0 -1 1077944384 2 12838 0 0 0 0 5 3 20 0 15 0 60531944 11078557696 9695 33554432000 4194304 4196468 140737247247312 140205959489648 140206500014722 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17125] ppid=17063 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17125/stat : 17125 (java) S 17063 17066 13949 0 -1 1077944384 33 12838 0 0 0 0 5 3 20 0 15 0 60531944 11078557696 9695 33554432000 4194304 4196468 140737247247312 140205958435616 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17126] ppid=17063 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17126/stat : 17126 (java) S 17063 17066 13949 0 -1 1077944384 1 12838 0 0 0 0 5 3 20 0 15 0 60531944 11078557696 9695 33554432000 4194304 4196468 140737247247312 140205382165616 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17127] ppid=17063 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17127/stat : 17127 (java) S 17063 17066 13949 0 -1 1077944384 3 12838 0 0 0 0 5 3 20 0 15 0 60531947 11078557696 9695 33554432000 4194304 4196468 140737247247312 140205074765904 140206500022171 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17128] ppid=17063 vsize=10818904 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/17066/task/17128/stat : 17128 (java) S 17063 17066 13949 0 -1 1077944384 408 12838 0 0 1 0 5 3 20 0 15 0 60531947 11078557696 9695 33554432000 4194304 4196468 140737247247312 140205924878960 140206500014722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17129] ppid=17063 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17129/stat : 17129 (java) S 17063 17066 13949 0 -1 1077944384 187 12838 0 0 0 0 5 3 20 0 15 0 60531947 11078557696 9695 33554432000 4194304 4196468 140737247247312 140205923826160 140206500014722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17130] ppid=17063 vsize=10818904 memory=140597976278656 CPUtime=0.11 cores=0,2,4,6
/proc/17066/task/17130/stat : 17130 (java) S 17063 17066 13949 0 -1 1077944384 628 12838 0 0 3 0 5 3 20 0 15 0 60531947 11078557696 9695 33554432000 4194304 4196468 140737247247312 140205922773872 140206500014722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17131] ppid=17063 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17131/stat : 17131 (java) S 17063 17066 13949 0 -1 1077944384 3 12838 0 0 0 0 5 3 20 0 15 0 60531947 11078557696 9695 33554432000 4194304 4196468 140737247247312 140205041208288 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17132] ppid=17063 vsize=10818904 memory=140597976278656 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17132/stat : 17132 (java) S 17063 17066 13949 0 -1 1077944384 1 12838 0 0 0 0 5 3 20 0 15 0 60531948 11078557696 9695 33554432000 4194304 4196468 140737247247312 140205921720752 140206500014722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 38780 KiB
[startup+0.310116 s]*
/proc/loadavg: 1.42 1.43 1.47 3/216 17132
/proc/meminfo: memFree=11905712/32770624 swapFree=67108852/67108860
[pid=17066] ppid=17063 vsize=10819352 memory=51636 CPUtime=0.37 cores=0,2,4,6
/proc/17066/stat : 17066 (java) S 17063 17066 13949 0 -1 1077944320 9483 12838 0 0 27 2 5 3 20 0 15 0 60531932 11079016448 12909 33554432000 4194304 4196468 140737247247312 140737247229856 140206500003575 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
/proc/17066/statm: 2704838 12909 3080 1 0 2667149 0
[pid=17066/tid=17119] ppid=17063 vsize=10819352 memory=6791534058613427641 CPUtime=0.27 cores=0,2,4,6
/proc/17066/task/17119/stat : 17119 (java) R 17063 17066 13949 0 -1 4202560 6010 12838 0 0 18 1 5 3 20 0 15 0 60531942 11079016448 12909 33554432000 4194304 4196468 140737247247312 140206471815584 140206481556880 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17120] ppid=17063 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17120/stat : 17120 (java) S 17063 17066 13949 0 -1 1077944384 1 12838 0 0 0 0 5 3 20 0 15 0 60531942 11079016448 12909 33554432000 4194304 4196468 140737247247312 140206504246160 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17121] ppid=17063 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17121/stat : 17121 (java) S 17063 17066 13949 0 -1 1077944384 1 12838 0 0 0 0 5 3 20 0 15 0 60531942 11079016448 12909 33554432000 4194304 4196468 140737247247312 140206392519440 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17122] ppid=17063 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17122/stat : 17122 (java) S 17063 17066 13949 0 -1 1077944384 2 12838 0 0 0 0 5 3 20 0 15 0 60531942 11079016448 12909 33554432000 4194304 4196468 140737247247312 140206391467152 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17123] ppid=17063 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17123/stat : 17123 (java) S 17063 17066 13949 0 -1 1077944384 1 12838 0 0 0 0 5 3 20 0 15 0 60531942 11079016448 12909 33554432000 4194304 4196468 140737247247312 140206390414352 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17124] ppid=17063 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17124/stat : 17124 (java) S 17063 17066 13949 0 -1 1077944384 2 12838 0 0 0 0 5 3 20 0 15 0 60531944 11079016448 12909 33554432000 4194304 4196468 140737247247312 140205959489648 140206500014722 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17125] ppid=17063 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17125/stat : 17125 (java) S 17063 17066 13949 0 -1 1077944384 33 12838 0 0 0 0 5 3 20 0 15 0 60531944 11079016448 12909 33554432000 4194304 4196468 140737247247312 140205958435616 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17126] ppid=17063 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17126/stat : 17126 (java) S 17063 17066 13949 0 -1 1077944384 1 12838 0 0 0 0 5 3 20 0 15 0 60531944 11079016448 12909 33554432000 4194304 4196468 140737247247312 140205382165616 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17127] ppid=17063 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17127/stat : 17127 (java) S 17063 17066 13949 0 -1 1077944384 3 12838 0 0 0 0 5 3 20 0 15 0 60531947 11079016448 12909 33554432000 4194304 4196468 140737247247312 140205074765904 140206500022171 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17128] ppid=17063 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/17066/task/17128/stat : 17128 (java) S 17063 17066 13949 0 -1 1077944384 410 12838 0 0 1 0 5 3 20 0 15 0 60531947 11079016448 12909 33554432000 4194304 4196468 140737247247312 140205924878960 140206500014722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17129] ppid=17063 vsize=10819352 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/17066/task/17129/stat : 17129 (java) S 17063 17066 13949 0 -1 1077944384 187 12838 0 0 1 0 5 3 20 0 15 0 60531947 11079016448 12909 33554432000 4194304 4196468 140737247247312 140205923826160 140206500014722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17130] ppid=17063 vsize=10819352 memory=140597976278656 CPUtime=0.13 cores=0,2,4,6
/proc/17066/task/17130/stat : 17130 (java) S 17063 17066 13949 0 -1 1077944384 638 12838 0 0 5 0 5 3 20 0 15 0 60531947 11079016448 12909 33554432000 4194304 4196468 140737247247312 140205922773872 140206500014722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17131] ppid=17063 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17131/stat : 17131 (java) S 17063 17066 13949 0 -1 1077944384 3 12838 0 0 0 0 5 3 20 0 15 0 60531947 11079016448 12909 33554432000 4194304 4196468 140737247247312 140205041208288 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17132] ppid=17063 vsize=10819352 memory=140597976278656 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17132/stat : 17132 (java) S 17063 17066 13949 0 -1 1077944384 1 12838 0 0 0 0 5 3 20 0 15 0 60531948 11079016448 12909 33554432000 4194304 4196468 140737247247312 140205921720752 140206500014722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 51636 KiB
[startup+0.700761 s]
/proc/loadavg: 1.42 1.43 1.47 3/216 17132
/proc/meminfo: memFree=11895112/32770624 swapFree=67108852/67108860
[pid=17066] ppid=17063 vsize=10819352 memory=85980 CPUtime=0.97 cores=0,2,4,6
/proc/17066/stat : 17066 (java) S 17063 17066 13949 0 -1 1077944320 16127 12838 0 0 85 4 5 3 20 0 15 0 60531932 11079016448 21495 33554432000 4194304 4196468 140737247247312 140737247229856 140206500003575 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
/proc/17066/statm: 2704838 21495 3237 1 0 2667149 0
[pid=17066/tid=17119] ppid=17063 vsize=10819352 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/17066/task/17119/stat : 17119 (java) R 17063 17066 13949 0 -1 4202560 11612 12838 0 0 55 2 5 3 20 0 15 0 60531942 11079016448 21495 33554432000 4194304 4196468 140737247247312 140206471831456 140206481568545 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17120] ppid=17063 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17120/stat : 17120 (java) S 17063 17066 13949 0 -1 1077944384 1 12838 0 0 0 0 5 3 20 0 15 0 60531942 11079016448 21495 33554432000 4194304 4196468 140737247247312 140206504246160 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17121] ppid=17063 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17121/stat : 17121 (java) S 17063 17066 13949 0 -1 1077944384 1 12838 0 0 0 0 5 3 20 0 15 0 60531942 11079016448 21495 33554432000 4194304 4196468 140737247247312 140206392519440 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17122] ppid=17063 vsize=10819352 memory=140597834953520 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17122/stat : 17122 (java) S 17063 17066 13949 0 -1 1077944384 2 12838 0 0 0 0 5 3 20 0 15 0 60531942 11079016448 21495 33554432000 4194304 4196468 140737247247312 140206391467152 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17123] ppid=17063 vsize=10819352 memory=140600049402444 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17123/stat : 17123 (java) S 17063 17066 13949 0 -1 1077944384 1 12838 0 0 0 0 5 3 20 0 15 0 60531942 11079016448 21495 33554432000 4194304 4196468 140737247247312 140206390414352 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17124] ppid=17063 vsize=10819352 memory=4612 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17124/stat : 17124 (java) S 17063 17066 13949 0 -1 1077944384 5 12838 0 0 0 0 5 3 20 0 15 0 60531944 11079016448 21495 33554432000 4194304 4196468 140737247247312 140205959489648 140206500014722 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17125] ppid=17063 vsize=10819352 memory=4639098309541128813 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17125/stat : 17125 (java) S 17063 17066 13949 0 -1 1077944384 33 12838 0 0 0 0 5 3 20 0 15 0 60531944 11079016448 21495 33554432000 4194304 4196468 140737247247312 140205958435616 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17126] ppid=17063 vsize=10819352 memory=7885635084775281010 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17126/stat : 17126 (java) S 17063 17066 13949 0 -1 1077944384 1 12838 0 0 0 0 5 3 20 0 15 0 60531944 11079016448 21495 33554432000 4194304 4196468 140737247247312 140205382165616 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17127] ppid=17063 vsize=10819352 memory=4044 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17127/stat : 17127 (java) S 17063 17066 13949 0 -1 1077944384 3 12838 0 0 0 0 5 3 20 0 15 0 60531947 11079016448 21495 33554432000 4194304 4196468 140737247247312 140205074765904 140206500022171 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17128] ppid=17063 vsize=10819352 memory=11328 CPUtime=0.14 cores=0,2,4,6
/proc/17066/task/17128/stat : 17128 (java) S 17063 17066 13949 0 -1 1077944384 818 12838 0 0 6 0 5 3 20 0 15 0 60531947 11079016448 21495 33554432000 4194304 4196468 140737247247312 140205924878960 140206500014722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17129] ppid=17063 vsize=10819352 memory=16432 CPUtime=0.17 cores=0,2,4,6
/proc/17066/task/17129/stat : 17129 (java) S 17063 17066 13949 0 -1 1077944384 769 12838 0 0 9 0 5 3 20 0 15 0 60531947 11079016448 21495 33554432000 4194304 4196468 140737247247312 140205923826160 140206500014722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17130] ppid=17063 vsize=10819352 memory=1792 CPUtime=0.21 cores=0,2,4,6
/proc/17066/task/17130/stat : 17130 (java) S 17063 17066 13949 0 -1 1077944384 687 12838 0 0 13 0 5 3 20 0 15 0 60531947 11079016448 21495 33554432000 4194304 4196468 140737247247312 140205922773872 140206500014722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17131] ppid=17063 vsize=10819352 memory=644 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17131/stat : 17131 (java) S 17063 17066 13949 0 -1 1077944384 3 12838 0 0 0 0 5 3 20 0 15 0 60531947 11079016448 21495 33554432000 4194304 4196468 140737247247312 140205041208288 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17132] ppid=17063 vsize=10819352 memory=956 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17132/stat : 17132 (java) S 17063 17066 13949 0 -1 1077944384 1 12838 0 0 0 0 5 3 20 0 15 0 60531948 11079016448 21495 33554432000 4194304 4196468 140737247247312 140205921720752 140206500014722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 85980 KiB
[startup+1.50849 s]
/proc/loadavg: 1.42 1.43 1.47 3/216 17132
/proc/meminfo: memFree=11851944/32770624 swapFree=67108852/67108860
[pid=17066] ppid=17063 vsize=10834252 memory=177668 CPUtime=2.35 cores=0,2,4,6
/proc/17066/stat : 17066 (java) S 17063 17066 13949 0 -1 1077944320 23052 12838 0 0 218 9 5 3 20 0 15 0 60531932 11094274048 44417 33554432000 4194304 4196468 140737247247312 140737247229856 140206500003575 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
/proc/17066/statm: 2708563 44417 3473 1 0 2670221 0
[pid=17066/tid=17119] ppid=17063 vsize=10834252 memory=63036 CPUtime=1.42 cores=0,2,4,6
/proc/17066/task/17119/stat : 17119 (java) R 17063 17066 13949 0 -1 4202560 16820 12838 0 0 129 5 5 3 20 0 15 0 60531942 11094274048 44417 33554432000 4194304 4196468 140737247247312 140206471818512 140206500024922 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17120] ppid=17063 vsize=10834252 memory=6791534058613427641 CPUtime=0.09 cores=0,2,4,6
/proc/17066/task/17120/stat : 17120 (java) S 17063 17066 13949 0 -1 1077944384 30 12838 0 0 1 0 5 3 20 0 15 0 60531942 11094274048 44417 33554432000 4194304 4196468 140737247247312 140206504246160 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17121] ppid=17063 vsize=10834252 memory=281195669938336 CPUtime=0.09 cores=0,2,4,6
/proc/17066/task/17121/stat : 17121 (java) S 17063 17066 13949 0 -1 1077944384 215 12838 0 0 1 0 5 3 20 0 15 0 60531942 11094274048 44417 33554432000 4194304 4196468 140737247247312 140206392519440 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17122] ppid=17063 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/17066/task/17122/stat : 17122 (java) S 17063 17066 13949 0 -1 1077944384 53 12838 0 0 1 0 5 3 20 0 15 0 60531942 11094274048 44417 33554432000 4194304 4196468 140737247247312 140206391467152 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17123] ppid=17063 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/17066/task/17123/stat : 17123 (java) S 17063 17066 13949 0 -1 1077944384 25 12838 0 0 1 0 5 3 20 0 15 0 60531942 11094274048 44417 33554432000 4194304 4196468 140737247247312 140206390414352 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17124] ppid=17063 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/17066/task/17124/stat : 17124 (java) S 17063 17066 13949 0 -1 1077944384 57 12838 0 0 1 0 5 3 20 0 15 0 60531944 11094274048 44417 33554432000 4194304 4196468 140737247247312 140205959489648 140206500014722 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17125] ppid=17063 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17125/stat : 17125 (java) S 17063 17066 13949 0 -1 1077944384 33 12838 0 0 0 0 5 3 20 0 15 0 60531944 11094274048 44417 33554432000 4194304 4196468 140737247247312 140205958435680 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17126] ppid=17063 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17126/stat : 17126 (java) S 17063 17066 13949 0 -1 1077944384 2 12838 0 0 0 0 5 3 20 0 15 0 60531944 11094274048 44417 33554432000 4194304 4196468 140737247247312 140205382165632 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17127] ppid=17063 vsize=10834252 memory=-5921431000321636112 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17127/stat : 17127 (java) S 17063 17066 13949 0 -1 1077944384 3 12838 0 0 0 0 5 3 20 0 15 0 60531947 11094274048 44417 33554432000 4194304 4196468 140737247247312 140205074765904 140206500022171 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17128] ppid=17063 vsize=10834252 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/17066/task/17128/stat : 17128 (java) R 17063 17066 13949 0 -1 4202560 1048 12838 0 0 19 0 5 3 20 0 15 0 60531947 11094274048 44417 33554432000 4194304 4196468 140737247247312 140205924878960 140206485129567 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17129] ppid=17063 vsize=10834252 memory=0 CPUtime=0.34 cores=0,2,4,6
/proc/17066/task/17129/stat : 17129 (java) S 17063 17066 13949 0 -1 1077944384 1254 12838 0 0 26 0 5 3 20 0 15 0 60531947 11094274048 44417 33554432000 4194304 4196468 140737247247312 140205923826160 140206500014722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17130] ppid=17063 vsize=10834252 memory=6791534058613427641 CPUtime=0.43 cores=0,2,4,6
/proc/17066/task/17130/stat : 17130 (java) S 17063 17066 13949 0 -1 1077944384 1318 12838 0 0 35 0 5 3 20 0 15 0 60531947 11094274048 44417 33554432000 4194304 4196468 140737247247312 140205922773872 140206500014722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17131] ppid=17063 vsize=10834252 memory=4638778398332698720 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17131/stat : 17131 (java) S 17063 17066 13949 0 -1 1077944384 3 12838 0 0 0 0 5 3 20 0 15 0 60531947 11094274048 44417 33554432000 4194304 4196468 140737247247312 140205041208288 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17132] ppid=17063 vsize=10834252 memory=281195670182784 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17132/stat : 17132 (java) S 17063 17066 13949 0 -1 1077944384 1 12838 0 0 0 0 5 3 20 0 15 0 60531948 11094274048 44417 33554432000 4194304 4196468 140737247247312 140205921720752 140206500014722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
Current children cumulated CPU time: 2.35 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/17066/task/17119/stat : 17119 (java) R 17063 17066 13949 0 -1 4202560 116364 12838 0 0 235602 62 5 3 20 0 15 0 60531942 11176083456 465236 33554432000 4194304 4196468 140737247247312 140206471837664 140206090157386 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17120] ppid=17063 vsize=10914144 memory=1860888 CPUtime=13.64 cores=0,2,4,6
/proc/17066/task/17120/stat : 17120 (java) S 17063 17066 13949 0 -1 1077944384 41340 12838 0 0 1305 51 5 3 20 0 15 0 60531942 11176083456 465236 33554432000 4194304 4196468 140737247247312 140206504246160 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17121] ppid=17063 vsize=10914144 memory=1860932 CPUtime=13.68 cores=0,2,4,6
/proc/17066/task/17121/stat : 17121 (java) S 17063 17066 13949 0 -1 1077944384 35431 12838 0 0 1309 51 5 3 20 0 15 0 60531942 11176083456 465236 33554432000 4194304 4196468 140737247247312 140206392519440 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17122] ppid=17063 vsize=10914144 memory=1860936 CPUtime=13.65 cores=0,2,4,6
/proc/17066/task/17122/stat : 17122 (java) S 17063 17066 13949 0 -1 1077944384 38332 12838 0 0 1309 48 5 3 20 0 15 0 60531942 11176083456 465236 33554432000 4194304 4196468 140737247247312 140206391467152 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17123] ppid=17063 vsize=10914144 memory=1860944 CPUtime=13.66 cores=0,2,4,6
/proc/17066/task/17123/stat : 17123 (java) S 17063 17066 13949 0 -1 1077944384 35384 12838 0 0 1308 50 5 3 20 0 15 0 60531942 11176083456 465236 33554432000 4194304 4196468 140737247247312 140206390414352 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17124] ppid=17063 vsize=10914144 memory=1860944 CPUtime=8.52 cores=0,2,4,6
/proc/17066/task/17124/stat : 17124 (java) S 17063 17066 13949 0 -1 1077944384 29812 12838 0 0 798 46 5 3 20 0 15 0 60531944 11176083456 465236 33554432000 4194304 4196468 140737247247312 140205959489648 140206500014722 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17125] ppid=17063 vsize=10914144 memory=1860932 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17125/stat : 17125 (java) S 17063 17066 13949 0 -1 1077944384 44 12838 0 0 0 0 5 3 20 0 15 0 60531944 11176083456 465236 33554432000 4194304 4196468 140737247247312 140205958435744 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17126] ppid=17063 vsize=10914144 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17126/stat : 17126 (java) S 17063 17066 13949 0 -1 1077944384 12 12838 0 0 0 0 5 3 20 0 15 0 60531944 11176083456 465236 33554432000 4194304 4196468 140737247247312 140205382165632 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17127] ppid=17063 vsize=10914144 memory=2604 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17127/stat : 17127 (java) S 17063 17066 13949 0 -1 1077944384 3 12838 0 0 0 0 5 3 20 0 15 0 60531947 11176083456 465236 33554432000 4194304 4196468 140737247247312 140205074765904 140206500022171 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17128] ppid=17063 vsize=10914144 memory=1860944 CPUtime=9.57 cores=0,2,4,6
/proc/17066/task/17128/stat : 17128 (java) S 17063 17066 13949 0 -1 1077944384 16083 12838 0 0 944 5 5 3 20 0 15 0 60531947 11176083456 465236 33554432000 4194304 4196468 140737247247312 140205924878960 140206500014722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17129] ppid=17063 vsize=10914144 memory=1860932 CPUtime=9.69 cores=0,2,4,6
/proc/17066/task/17129/stat : 17129 (java) S 17063 17066 13949 0 -1 1077944384 10541 12838 0 0 956 5 5 3 20 0 15 0 60531947 11176083456 465236 33554432000 4194304 4196468 140737247247312 140205923826160 140206500014722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17130] ppid=17063 vsize=10914144 memory=6791534058613427641 CPUtime=3.78 cores=0,2,4,6
/proc/17066/task/17130/stat : 17130 (java) S 17063 17066 13949 0 -1 1077944384 25825 12838 0 0 363 7 5 3 20 0 15 0 60531947 11176083456 465236 33554432000 4194304 4196468 140737247247312 140205922773872 140206500014722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17131] ppid=17063 vsize=10914144 memory=3848 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17131/stat : 17131 (java) S 17063 17066 13949 0 -1 1077944384 3 12838 0 0 0 0 5 3 20 0 15 0 60531947 11176083456 465236 33554432000 4194304 4196468 140737247247312 140205041208288 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17132] ppid=17063 vsize=10914144 memory=1860944 CPUtime=1.44 cores=0,2,4,6
/proc/17066/task/17132/stat : 17132 (java) S 17063 17066 13949 0 -1 1077944384 1836 12838 0 0 70 66 5 3 20 0 15 0 60531948 11176083456 465236 33554432000 4194304 4196468 140737247247312 140205921720752 140206500014722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
Current children cumulated CPU time: 2443.74 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1860944 KiB
[startup+2442.3 s]
/proc/loadavg: 1.25 1.29 1.37 3/215 17363
/proc/meminfo: memFree=11290724/32770624 swapFree=67108852/67108860
[pid=17066] ppid=17063 vsize=10914144 memory=1861040 CPUtime=2504.79 cores=0,2,4,6
/proc/17066/stat : 17066 (java) S 17063 17066 13949 0 -1 1077944320 359535 12838 0 0 250115 356 5 3 20 0 15 0 60531932 11176083456 465260 33554432000 4194304 4196468 140737247247312 140737247229856 140206500003575 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
/proc/17066/statm: 2728536 465260 3532 1 0 2690189 0
[pid=17066/tid=17119] ppid=17063 vsize=10914144 memory=1861040 CPUtime=2415.98 cores=0,2,4,6
/proc/17066/task/17119/stat : 17119 (java) R 17063 17066 13949 0 -1 4202560 117988 12838 0 0 241528 62 5 3 20 0 15 0 60531942 11176083456 465260 33554432000 4194304 4196468 140737247247312 140206471838032 140206071153507 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17120] ppid=17063 vsize=10914144 memory=1861040 CPUtime=14.01 cores=0,2,4,6
/proc/17066/task/17120/stat : 17120 (java) S 17063 17066 13949 0 -1 1077944384 42968 12838 0 0 1341 52 5 3 20 0 15 0 60531942 11176083456 465260 33554432000 4194304 4196468 140737247247312 140206504246160 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17121] ppid=17063 vsize=10914144 memory=1861040 CPUtime=14.05 cores=0,2,4,6
/proc/17066/task/17121/stat : 17121 (java) S 17063 17066 13949 0 -1 1077944384 37093 12838 0 0 1345 52 5 3 20 0 15 0 60531942 11176083456 465260 33554432000 4194304 4196468 140737247247312 140206392519440 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17122] ppid=17063 vsize=10914144 memory=1860988 CPUtime=14.02 cores=0,2,4,6
/proc/17066/task/17122/stat : 17122 (java) S 17063 17066 13949 0 -1 1077944384 38718 12838 0 0 1345 49 5 3 20 0 15 0 60531942 11176083456 465260 33554432000 4194304 4196468 140737247247312 140206391467152 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17123] ppid=17063 vsize=10914144 memory=1861028 CPUtime=14.03 cores=0,2,4,6
/proc/17066/task/17123/stat : 17123 (java) S 17063 17066 13949 0 -1 1077944384 35666 12838 0 0 1344 51 5 3 20 0 15 0 60531942 11176083456 465260 33554432000 4194304 4196468 140737247247312 140206390414352 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17124] ppid=17063 vsize=10914144 memory=1861032 CPUtime=8.77 cores=0,2,4,6
/proc/17066/task/17124/stat : 17124 (java) S 17063 17066 13949 0 -1 1077944384 30509 12838 0 0 822 47 5 3 20 0 15 0 60531944 11176083456 465260 33554432000 4194304 4196468 140737247247312 140205959489648 140206500014722 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17125] ppid=17063 vsize=10914144 memory=1861040 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17125/stat : 17125 (java) S 17063 17066 13949 0 -1 1077944384 44 12838 0 0 0 0 5 3 20 0 15 0 60531944 11176083456 465260 33554432000 4194304 4196468 140737247247312 140205958435744 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17126] ppid=17063 vsize=10914144 memory=1861040 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17126/stat : 17126 (java) S 17063 17066 13949 0 -1 1077944384 12 12838 0 0 0 0 5 3 20 0 15 0 60531944 11176083456 465260 33554432000 4194304 4196468 140737247247312 140205382165632 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17127] ppid=17063 vsize=10914144 memory=1861040 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17127/stat : 17127 (java) S 17063 17066 13949 0 -1 1077944384 3 12838 0 0 0 0 5 3 20 0 15 0 60531947 11176083456 465260 33554432000 4194304 4196468 140737247247312 140205074765904 140206500022171 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17128] ppid=17063 vsize=10914144 memory=1861040 CPUtime=9.57 cores=0,2,4,6
/proc/17066/task/17128/stat : 17128 (java) S 17063 17066 13949 0 -1 1077944384 16087 12838 0 0 944 5 5 3 20 0 15 0 60531947 11176083456 465260 33554432000 4194304 4196468 140737247247312 140205924878960 140206500014722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17129] ppid=17063 vsize=10914144 memory=1861040 CPUtime=9.69 cores=0,2,4,6
/proc/17066/task/17129/stat : 17129 (java) S 17063 17066 13949 0 -1 1077944384 10546 12838 0 0 956 5 5 3 20 0 15 0 60531947 11176083456 465260 33554432000 4194304 4196468 140737247247312 140205923826160 140206500014722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17130] ppid=17063 vsize=10914144 memory=1861040 CPUtime=3.78 cores=0,2,4,6
/proc/17066/task/17130/stat : 17130 (java) S 17063 17066 13949 0 -1 1077944384 25831 12838 0 0 363 7 5 3 20 0 15 0 60531947 11176083456 465260 33554432000 4194304 4196468 140737247247312 140205922773872 140206500014722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17131] ppid=17063 vsize=10914144 memory=1861040 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17131/stat : 17131 (java) S 17063 17066 13949 0 -1 1077944384 3 12838 0 0 0 0 5 3 20 0 15 0 60531947 11176083456 465260 33554432000 4194304 4196468 140737247247312 140205041208288 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17132] ppid=17063 vsize=10914144 memory=4612 CPUtime=1.48 cores=0,2,4,6
/proc/17066/task/17132/stat : 17132 (java) S 17063 17066 13949 0 -1 1077944384 1877 12838 0 0 72 68 5 3 20 0 15 0 60531948 11176083456 465260 33554432000 4194304 4196468 140737247247312 140205921720752 140206500014722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
Current children cumulated CPU time: 2504.79 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1861040 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2457.3 s]
/proc/loadavg: 1.25 1.29 1.37 3/215 17363
/proc/meminfo: memFree=11290724/32770624 swapFree=67108852/67108860
[pid=17066] ppid=17063 vsize=10914144 memory=1861068 CPUtime=2520.05 cores=0,2,4,6
/proc/17066/stat : 17066 (java) S 17063 17066 13949 0 -1 1077944320 362334 12838 0 0 251639 358 5 3 20 0 15 0 60531932 11176083456 465267 33554432000 4194304 4196468 140737247247312 140737247229856 140206500003575 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
/proc/17066/statm: 2728536 465267 3532 1 0 2690189 0
[pid=17066/tid=17119] ppid=17063 vsize=10914144 memory=1861068 CPUtime=2430.81 cores=0,2,4,6
/proc/17066/task/17119/stat : 17119 (java) R 17063 17066 13949 0 -1 4202560 118607 12838 0 0 243011 62 5 3 20 0 15 0 60531942 11176083456 465267 33554432000 4194304 4196468 140737247247312 140206471838144 140206085884069 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17120] ppid=17063 vsize=10914144 memory=1861068 CPUtime=14.1 cores=0,2,4,6
/proc/17066/task/17120/stat : 17120 (java) S 17063 17066 13949 0 -1 1077944384 43027 12838 0 0 1350 52 5 3 20 0 15 0 60531942 11176083456 465267 33554432000 4194304 4196468 140737247247312 140206504246160 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17121] ppid=17063 vsize=10914144 memory=1861068 CPUtime=14.14 cores=0,2,4,6
/proc/17066/task/17121/stat : 17121 (java) S 17063 17066 13949 0 -1 1077944384 38716 12838 0 0 1354 52 5 3 20 0 15 0 60531942 11176083456 465267 33554432000 4194304 4196468 140737247247312 140206392519440 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17122] ppid=17063 vsize=10914144 memory=1861068 CPUtime=14.11 cores=0,2,4,6
/proc/17066/task/17122/stat : 17122 (java) S 17063 17066 13949 0 -1 1077944384 38855 12838 0 0 1354 49 5 3 20 0 15 0 60531942 11176083456 465267 33554432000 4194304 4196468 140737247247312 140206391467152 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17123] ppid=17063 vsize=10914144 memory=1861068 CPUtime=14.13 cores=0,2,4,6
/proc/17066/task/17123/stat : 17123 (java) S 17063 17066 13949 0 -1 1077944384 35712 12838 0 0 1353 52 5 3 20 0 15 0 60531942 11176083456 465267 33554432000 4194304 4196468 140737247247312 140206390414352 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17124] ppid=17063 vsize=10914144 memory=1861060 CPUtime=8.84 cores=0,2,4,6
/proc/17066/task/17124/stat : 17124 (java) S 17063 17066 13949 0 -1 1077944384 30806 12838 0 0 828 48 5 3 20 0 15 0 60531944 11176083456 465267 33554432000 4194304 4196468 140737247247312 140205959489648 140206500014722 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17125] ppid=17063 vsize=10914144 memory=1861040 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17125/stat : 17125 (java) S 17063 17066 13949 0 -1 1077944384 44 12838 0 0 0 0 5 3 20 0 15 0 60531944 11176083456 465267 33554432000 4194304 4196468 140737247247312 140205958435744 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17126] ppid=17063 vsize=10914144 memory=1861032 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17126/stat : 17126 (java) S 17063 17066 13949 0 -1 1077944384 12 12838 0 0 0 0 5 3 20 0 15 0 60531944 11176083456 465267 33554432000 4194304 4196468 140737247247312 140205382165632 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17127] ppid=17063 vsize=10914144 memory=1861028 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17127/stat : 17127 (java) S 17063 17066 13949 0 -1 1077944384 3 12838 0 0 0 0 5 3 20 0 15 0 60531947 11176083456 465267 33554432000 4194304 4196468 140737247247312 140205074765904 140206500022171 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17128] ppid=17063 vsize=10914144 memory=1860988 CPUtime=9.57 cores=0,2,4,6
/proc/17066/task/17128/stat : 17128 (java) S 17063 17066 13949 0 -1 1077944384 16089 12838 0 0 944 5 5 3 20 0 15 0 60531947 11176083456 465267 33554432000 4194304 4196468 140737247247312 140205924878960 140206500014722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17129] ppid=17063 vsize=10914144 memory=1861040 CPUtime=9.69 cores=0,2,4,6
/proc/17066/task/17129/stat : 17129 (java) S 17063 17066 13949 0 -1 1077944384 10549 12838 0 0 956 5 5 3 20 0 15 0 60531947 11176083456 465267 33554432000 4194304 4196468 140737247247312 140205923826160 140206500014722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17130] ppid=17063 vsize=10914144 memory=1861040 CPUtime=3.78 cores=0,2,4,6
/proc/17066/task/17130/stat : 17130 (java) S 17063 17066 13949 0 -1 1077944384 25834 12838 0 0 363 7 5 3 20 0 15 0 60531947 11176083456 465267 33554432000 4194304 4196468 140737247247312 140205922773872 140206500014722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17131] ppid=17063 vsize=10914144 memory=1861068 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17131/stat : 17131 (java) S 17063 17066 13949 0 -1 1077944384 3 12838 0 0 0 0 5 3 20 0 15 0 60531947 11176083456 465267 33554432000 4194304 4196468 140737247247312 140205041208288 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17132] ppid=17063 vsize=10914144 memory=1861068 CPUtime=1.49 cores=0,2,4,6
/proc/17066/task/17132/stat : 17132 (java) S 17063 17066 13949 0 -1 1077944384 1887 12838 0 0 72 69 5 3 20 0 15 0 60531948 11176083456 465267 33554432000 4194304 4196468 140737247247312 140205921720752 140206500014722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1861068 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2457.34 s]
# the end of solver process 17066 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.48 s, system=3.64129 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2457.3 s]
/proc/loadavg: 1.25 1.29 1.37 3/215 17363
/proc/meminfo: memFree=11290724/32770624 swapFree=67108852/67108860
[pid=17066] ppid=17063 vsize=10914144 memory=1861068 CPUtime=2520.05 cores=0,2,4,6
/proc/17066/stat : 17066 (java) S 17063 17066 13949 0 -1 1077944320 362334 12838 0 0 251639 358 5 3 20 0 15 0 60531932 11176083456 465267 33554432000 4194304 4196468 140737247247312 140737247229856 140206500003575 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
/proc/17066/statm: 2728536 465267 3532 1 0 2690189 0
[pid=17066/tid=17119] ppid=17063 vsize=10914144 memory=1861068 CPUtime=2430.81 cores=0,2,4,6
/proc/17066/task/17119/stat : 17119 (java) R 17063 17066 13949 0 -1 4202560 118607 12838 0 0 243011 62 5 3 20 0 15 0 60531942 11176083456 465267 33554432000 4194304 4196468 140737247247312 140206471838144 140206085884069 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17120] ppid=17063 vsize=10914144 memory=1861068 CPUtime=14.1 cores=0,2,4,6
/proc/17066/task/17120/stat : 17120 (java) S 17063 17066 13949 0 -1 1077944384 43027 12838 0 0 1350 52 5 3 20 0 15 0 60531942 11176083456 465267 33554432000 4194304 4196468 140737247247312 140206504246160 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17121] ppid=17063 vsize=10914144 memory=1861068 CPUtime=14.14 cores=0,2,4,6
/proc/17066/task/17121/stat : 17121 (java) S 17063 17066 13949 0 -1 1077944384 38716 12838 0 0 1354 52 5 3 20 0 15 0 60531942 11176083456 465267 33554432000 4194304 4196468 140737247247312 140206392519440 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17122] ppid=17063 vsize=10914144 memory=1861068 CPUtime=14.11 cores=0,2,4,6
/proc/17066/task/17122/stat : 17122 (java) S 17063 17066 13949 0 -1 1077944384 38855 12838 0 0 1354 49 5 3 20 0 15 0 60531942 11176083456 465267 33554432000 4194304 4196468 140737247247312 140206391467152 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17123] ppid=17063 vsize=10914144 memory=1861068 CPUtime=14.13 cores=0,2,4,6
/proc/17066/task/17123/stat : 17123 (java) S 17063 17066 13949 0 -1 1077944384 35712 12838 0 0 1353 52 5 3 20 0 15 0 60531942 11176083456 465267 33554432000 4194304 4196468 140737247247312 140206390414352 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17124] ppid=17063 vsize=10914144 memory=1861060 CPUtime=8.84 cores=0,2,4,6
/proc/17066/task/17124/stat : 17124 (java) S 17063 17066 13949 0 -1 1077944384 30806 12838 0 0 828 48 5 3 20 0 15 0 60531944 11176083456 465267 33554432000 4194304 4196468 140737247247312 140205959489648 140206500014722 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17125] ppid=17063 vsize=10914144 memory=1861040 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17125/stat : 17125 (java) S 17063 17066 13949 0 -1 1077944384 44 12838 0 0 0 0 5 3 20 0 15 0 60531944 11176083456 465267 33554432000 4194304 4196468 140737247247312 140205958435744 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17126] ppid=17063 vsize=10914144 memory=1861032 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17126/stat : 17126 (java) S 17063 17066 13949 0 -1 1077944384 12 12838 0 0 0 0 5 3 20 0 15 0 60531944 11176083456 465267 33554432000 4194304 4196468 140737247247312 140205382165632 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17127] ppid=17063 vsize=10914144 memory=1861028 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17127/stat : 17127 (java) S 17063 17066 13949 0 -1 1077944384 3 12838 0 0 0 0 5 3 20 0 15 0 60531947 11176083456 465267 33554432000 4194304 4196468 140737247247312 140205074765904 140206500022171 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17128] ppid=17063 vsize=10914144 memory=1860988 CPUtime=9.57 cores=0,2,4,6
/proc/17066/task/17128/stat : 17128 (java) S 17063 17066 13949 0 -1 1077944384 16089 12838 0 0 944 5 5 3 20 0 15 0 60531947 11176083456 465267 33554432000 4194304 4196468 140737247247312 140205924878960 140206500014722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17129] ppid=17063 vsize=10914144 memory=1861040 CPUtime=9.69 cores=0,2,4,6
/proc/17066/task/17129/stat : 17129 (java) S 17063 17066 13949 0 -1 1077944384 10549 12838 0 0 956 5 5 3 20 0 15 0 60531947 11176083456 465267 33554432000 4194304 4196468 140737247247312 140205923826160 140206500014722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17130] ppid=17063 vsize=10914144 memory=1861040 CPUtime=3.78 cores=0,2,4,6
/proc/17066/task/17130/stat : 17130 (java) S 17063 17066 13949 0 -1 1077944384 25834 12838 0 0 363 7 5 3 20 0 15 0 60531947 11176083456 465267 33554432000 4194304 4196468 140737247247312 140205922773872 140206500014722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17131] ppid=17063 vsize=10914144 memory=1861068 CPUtime=0.08 cores=0,2,4,6
/proc/17066/task/17131/stat : 17131 (java) S 17063 17066 13949 0 -1 1077944384 3 12838 0 0 0 0 5 3 20 0 15 0 60531947 11176083456 465267 33554432000 4194304 4196468 140737247247312 140205041208288 140206500013781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
[pid=17066/tid=17132] ppid=17063 vsize=10914144 memory=1861068 CPUtime=1.49 cores=0,2,4,6
/proc/17066/task/17132/stat : 17132 (java) S 17063 17066 13949 0 -1 1077944384 1887 12838 0 0 72 69 5 3 20 0 15 0 60531948 11176083456 465267 33554432000 4194304 4196468 140737247247312 140205921720752 140206500014722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30666752 140737247255150 140737247257948 140737247257948 140737247260623 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 1861068 KiB
Child status: 143
Real time (s): 2457.34
CPU time (s): 2520.12
CPU user time (s): 2516.48
CPU system time (s): 3.64129
CPU usage (%): 102.555
Max. virtual memory (cumulated for all children) (KiB): 10914144
Max. memory (cumulated for all children) (KiB): 2004824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.48
system time used= 3.64129
maximum resident set size= 2006852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 380538
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 237091
involuntary context switches= 9563
# summary of solver processes directly reported to runsolver:
# pid: 17066
# total CPU time (s): 2520.12
# total CPU user time (s): 2516.48
# total CPU system time (s): 3.64129
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.9815 second user time and 23.748 second system time
The end