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 (3330 MiB free)
memory of node 1: 16384 MiB (1246 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403318-1568985857/watcher-4403318-1568985857 -o /tmp/evaluation-result-4403318-1568985857/solver-4403318-1568985857 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568967595-6471 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=801022688 HOME/instance-4403318-1568985857.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=11080, runsolver pid=11077
[startup+0.100161 s]*
/proc/loadavg: 2.04 1.64 1.48 3/220 11137
/proc/meminfo: memFree=4680248/32770624 swapFree=66974484/67108860
[pid=11080] ppid=11077 vsize=9972712 memory=18596 CPUtime=0.09 cores=0,2,4,6
/proc/11080/stat : 11080 (java) S 11077 11080 6440 0 -1 1077944320 4380 13400 0 0 1 0 5 3 20 0 6 0 474852500 10212057088 4649 33554432000 4194304 4196468 140722705419888 140722705402432 140534048689911 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
/proc/11080/statm: 2493178 4649 1933 1 0 2481616 0
[pid=11080/tid=11133] ppid=11077 vsize=9972712 memory=8514726395714820750 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11133/stat : 11133 (java) R 11077 11080 6440 0 -1 4202560 2173 13400 0 0 0 0 5 3 20 0 6 0 474852509 10212057088 4649 33554432000 4194304 4196468 140722705419888 140534020526672 140534048711837 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11134] ppid=11077 vsize=9972712 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11134/stat : 11134 (java) S 11077 11080 6440 0 -1 1077944384 2 13400 0 0 0 0 5 3 20 0 6 0 474852510 10212057088 4649 33554432000 4194304 4196468 140722705419888 140534052932752 140534048700117 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11135] ppid=11077 vsize=9972712 memory=140526816937600 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11135/stat : 11135 (java) S 11077 11080 6440 0 -1 1077944384 1 13400 0 0 0 0 5 3 20 0 6 0 474852510 10212057088 4649 33554432000 4194304 4196468 140722705419888 140533951822864 140534048700117 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11136] ppid=11077 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11136/stat : 11136 (java) S 11077 11080 6440 0 -1 1077944384 1 13400 0 0 0 0 5 3 20 0 6 0 474852510 10212057088 4649 33554432000 4194304 4196468 140722705419888 140533950770064 140534048700117 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11137] ppid=11077 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11137/stat : 11137 (java) S 11077 11080 6440 0 -1 1077944384 2 13400 0 0 0 0 5 3 20 0 6 0 474852510 10212057088 4649 33554432000 4194304 4196468 140722705419888 140533949717264 140534048700117 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18596 KiB
[startup+0.210204 s]*
/proc/loadavg: 2.04 1.64 1.48 3/229 11146
/proc/meminfo: memFree=4663612/32770624 swapFree=66974484/67108860
[pid=11080] ppid=11077 vsize=10820164 memory=39852 CPUtime=0.27 cores=0,2,4,6
/proc/11080/stat : 11080 (java) S 11077 11080 6440 0 -1 1077944320 7356 13400 0 0 18 1 5 3 20 0 15 0 474852500 11079847936 9963 33554432000 4194304 4196468 140722705419888 140722705402432 140534048689911 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
/proc/11080/statm: 2705041 9963 3323 1 0 2667149 0
[pid=11080/tid=11133] ppid=11077 vsize=10820164 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/11080/task/11133/stat : 11133 (java) R 11077 11080 6440 0 -1 4202560 3819 13400 0 0 10 1 5 3 20 0 15 0 474852509 11079847936 9963 33554432000 4194304 4196468 140722705419888 140534020514120 140534048701846 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11134] ppid=11077 vsize=10820164 memory=364 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11134/stat : 11134 (java) S 11077 11080 6440 0 -1 1077944384 2 13400 0 0 0 0 5 3 20 0 15 0 474852510 11079847936 9963 33554432000 4194304 4196468 140722705419888 140534052932752 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11135] ppid=11077 vsize=10820164 memory=288370902968649344 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11135/stat : 11135 (java) S 11077 11080 6440 0 -1 1077944384 1 13400 0 0 0 0 5 3 20 0 15 0 474852510 11079847936 9963 33554432000 4194304 4196468 140722705419888 140533951822864 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11136] ppid=11077 vsize=10820164 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11136/stat : 11136 (java) S 11077 11080 6440 0 -1 1077944384 1 13400 0 0 0 0 5 3 20 0 15 0 474852510 11079847936 9963 33554432000 4194304 4196468 140722705419888 140533950770064 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11137] ppid=11077 vsize=10820164 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11137/stat : 11137 (java) S 11077 11080 6440 0 -1 1077944384 2 13400 0 0 0 0 5 3 20 0 15 0 474852510 11079847936 9963 33554432000 4194304 4196468 140722705419888 140533949717264 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11138] ppid=11077 vsize=10820164 memory=140526816937600 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11138/stat : 11138 (java) S 11077 11080 6440 0 -1 1077944384 2 13400 0 0 0 0 5 3 20 0 15 0 474852512 11079847936 9963 33554432000 4194304 4196468 140722705419888 140533052082544 140534048701058 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11139] ppid=11077 vsize=10820176 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11139/stat : 11139 (java) S 11077 11080 6440 0 -1 1077944384 33 13400 0 0 0 0 5 3 20 0 15 0 474852512 11079860224 9963 33554432000 4194304 4196468 140722705419888 140533051028512 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11140] ppid=11077 vsize=10820176 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11140/stat : 11140 (java) S 11077 11080 6440 0 -1 1077944384 1 13400 0 0 0 0 5 3 20 0 15 0 474852512 11079860224 9963 33554432000 4194304 4196468 140722705419888 140532940530544 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11141] ppid=11077 vsize=10820176 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11141/stat : 11141 (java) S 11077 11080 6440 0 -1 1077944384 3 13400 0 0 0 0 5 3 20 0 15 0 474852515 11079860224 9963 33554432000 4194304 4196468 140722705419888 140532633130832 140534048708507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11142] ppid=11077 vsize=10820176 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11080/task/11142/stat : 11142 (java) R 11077 11080 6440 0 -1 4202560 340 13400 0 0 1 0 5 3 20 0 15 0 474852515 11079860224 9963 33554432000 4194304 4196468 140722705419888 140533017471856 140534033503158 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11143] ppid=11077 vsize=10820176 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/11080/task/11143/stat : 11143 (java) S 11077 11080 6440 0 -1 1077944384 331 13400 0 0 1 0 5 3 20 0 15 0 474852515 11079860224 9963 33554432000 4194304 4196468 140722705419888 140533016419056 140534048701058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11144] ppid=11077 vsize=10820184 memory=140526816937600 CPUtime=0.11 cores=0,2,4,6
/proc/11080/task/11144/stat : 11144 (java) S 11077 11080 6440 0 -1 1077944384 609 13400 0 0 3 0 5 3 20 0 15 0 474852515 11079868416 9963 33554432000 4194304 4196468 140722705419888 140533015366256 140534048701058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11145] ppid=11077 vsize=10820184 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11145/stat : 11145 (java) S 11077 11080 6440 0 -1 1077944384 3 13400 0 0 0 0 5 3 20 0 15 0 474852515 11079868416 9963 33554432000 4194304 4196468 140722705419888 140532599573216 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11146] ppid=11077 vsize=10820184 memory=140526816937600 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11146/stat : 11146 (java) S 11077 11080 6440 0 -1 1077944384 1 13400 0 0 0 0 5 3 20 0 15 0 474852515 11079868416 9963 33554432000 4194304 4196468 140722705419888 140533014313648 140534048701058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820164 KiB
Current children cumulated memory: 39852 KiB
[startup+0.310552 s]*
/proc/loadavg: 2.04 1.64 1.48 4/229 11146
/proc/meminfo: memFree=4650572/32770624 swapFree=66974484/67108860
[pid=11080] ppid=11077 vsize=10820196 memory=48240 CPUtime=0.41 cores=0,2,4,6
/proc/11080/stat : 11080 (java) S 11077 11080 6440 0 -1 1077944320 10797 13400 0 0 30 3 5 3 20 0 15 0 474852500 11079880704 12060 33554432000 4194304 4196468 140722705419888 140722705402432 140534048689911 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
/proc/11080/statm: 2705049 12060 3343 1 0 2667149 0
[pid=11080/tid=11133] ppid=11077 vsize=10820196 memory=1398722017469774279 CPUtime=0.29 cores=0,2,4,6
/proc/11080/task/11133/stat : 11133 (java) R 11077 11080 6440 0 -1 4202560 7235 13400 0 0 19 2 5 3 20 0 15 0 474852509 11079880704 12060 33554432000 4194304 4196468 140722705419888 140534020498832 140534032770398 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11134] ppid=11077 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11134/stat : 11134 (java) S 11077 11080 6440 0 -1 1077944384 2 13400 0 0 0 0 5 3 20 0 15 0 474852510 11079880704 12060 33554432000 4194304 4196468 140722705419888 140534052932752 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11135] ppid=11077 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11135/stat : 11135 (java) S 11077 11080 6440 0 -1 1077944384 1 13400 0 0 0 0 5 3 20 0 15 0 474852510 11079880704 12060 33554432000 4194304 4196468 140722705419888 140533951822864 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11136] ppid=11077 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11136/stat : 11136 (java) S 11077 11080 6440 0 -1 1077944384 1 13400 0 0 0 0 5 3 20 0 15 0 474852510 11079880704 12060 33554432000 4194304 4196468 140722705419888 140533950770064 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11137] ppid=11077 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11137/stat : 11137 (java) S 11077 11080 6440 0 -1 1077944384 2 13400 0 0 0 0 5 3 20 0 15 0 474852510 11079880704 12060 33554432000 4194304 4196468 140722705419888 140533949717264 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11138] ppid=11077 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11138/stat : 11138 (java) S 11077 11080 6440 0 -1 1077944384 2 13400 0 0 0 0 5 3 20 0 15 0 474852512 11079880704 12060 33554432000 4194304 4196468 140722705419888 140533052082544 140534048701058 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11139] ppid=11077 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11139/stat : 11139 (java) S 11077 11080 6440 0 -1 1077944384 33 13400 0 0 0 0 5 3 20 0 15 0 474852512 11079880704 12060 33554432000 4194304 4196468 140722705419888 140533051028512 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11140] ppid=11077 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11140/stat : 11140 (java) S 11077 11080 6440 0 -1 1077944384 1 13400 0 0 0 0 5 3 20 0 15 0 474852512 11079880704 12060 33554432000 4194304 4196468 140722705419888 140532940530544 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11141] ppid=11077 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11141/stat : 11141 (java) S 11077 11080 6440 0 -1 1077944384 3 13400 0 0 0 0 5 3 20 0 15 0 474852515 11079880704 12060 33554432000 4194304 4196468 140722705419888 140532633130832 140534048708507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11142] ppid=11077 vsize=10820196 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/11080/task/11142/stat : 11142 (java) S 11077 11080 6440 0 -1 1077944384 349 13400 0 0 2 0 5 3 20 0 15 0 474852515 11079880704 12060 33554432000 4194304 4196468 140722705419888 140533017471856 140534048701058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11143] ppid=11077 vsize=10820196 memory=-1 CPUtime=0.1 cores=0,2,4,6
/proc/11080/task/11143/stat : 11143 (java) S 11077 11080 6440 0 -1 1077944384 332 13400 0 0 2 0 5 3 20 0 15 0 474852515 11079880704 12060 33554432000 4194304 4196468 140722705419888 140533016419056 140534048701058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11144] ppid=11077 vsize=10820196 memory=140526816937600 CPUtime=0.13 cores=0,2,4,6
/proc/11080/task/11144/stat : 11144 (java) S 11077 11080 6440 0 -1 1077944384 628 13400 0 0 5 0 5 3 20 0 15 0 474852515 11079880704 12060 33554432000 4194304 4196468 140722705419888 140533015366256 140534048701058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11145] ppid=11077 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11145/stat : 11145 (java) S 11077 11080 6440 0 -1 1077944384 3 13400 0 0 0 0 5 3 20 0 15 0 474852515 11079880704 12060 33554432000 4194304 4196468 140722705419888 140532599573216 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11146] ppid=11077 vsize=10820196 memory=140526816937600 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11146/stat : 11146 (java) S 11077 11080 6440 0 -1 1077944384 1 13400 0 0 0 0 5 3 20 0 15 0 474852515 11079880704 12060 33554432000 4194304 4196468 140722705419888 140533014313648 140534048701058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 48240 KiB
[startup+0.700632 s]
/proc/loadavg: 2.04 1.64 1.48 7/229 11146
/proc/meminfo: memFree=4636168/32770624 swapFree=66974484/67108860
[pid=11080] ppid=11077 vsize=10824364 memory=81376 CPUtime=1.15 cores=0,2,4,6
/proc/11080/stat : 11080 (java) S 11077 11080 6440 0 -1 1077944320 15108 13400 0 0 102 5 5 3 20 0 15 0 474852500 11084148736 20344 33554432000 4194304 4196468 140722705419888 140722705402432 140534048689911 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
/proc/11080/statm: 2706091 20344 3510 1 0 2668173 0
[pid=11080/tid=11133] ppid=11077 vsize=10824364 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/11080/task/11133/stat : 11133 (java) R 11077 11080 6440 0 -1 4202560 10383 13400 0 0 55 4 5 3 20 0 15 0 474852509 11084148736 20344 33554432000 4194304 4196468 140722705419888 140534020505824 140534048711837 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11134] ppid=11077 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11134/stat : 11134 (java) S 11077 11080 6440 0 -1 1077944384 2 13400 0 0 0 0 5 3 20 0 15 0 474852510 11084148736 20344 33554432000 4194304 4196468 140722705419888 140534052932752 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11135] ppid=11077 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11135/stat : 11135 (java) S 11077 11080 6440 0 -1 1077944384 1 13400 0 0 0 0 5 3 20 0 15 0 474852510 11084148736 20344 33554432000 4194304 4196468 140722705419888 140533951822864 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11136] ppid=11077 vsize=10824364 memory=281053399402464 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11136/stat : 11136 (java) S 11077 11080 6440 0 -1 1077944384 1 13400 0 0 0 0 5 3 20 0 15 0 474852510 11084148736 20344 33554432000 4194304 4196468 140722705419888 140533950770064 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11137] ppid=11077 vsize=10824364 memory=140526699556784 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11137/stat : 11137 (java) S 11077 11080 6440 0 -1 1077944384 2 13400 0 0 0 0 5 3 20 0 15 0 474852510 11084148736 20344 33554432000 4194304 4196468 140722705419888 140533949717264 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11138] ppid=11077 vsize=10824364 memory=140527034958406 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11138/stat : 11138 (java) S 11077 11080 6440 0 -1 1077944384 5 13400 0 0 0 0 5 3 20 0 15 0 474852512 11084148736 20344 33554432000 4194304 4196468 140722705419888 140533052082544 140534048701058 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11139] ppid=11077 vsize=10824364 memory=1552 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11139/stat : 11139 (java) S 11077 11080 6440 0 -1 1077944384 33 13400 0 0 0 0 5 3 20 0 15 0 474852512 11084148736 20344 33554432000 4194304 4196468 140722705419888 140533051028512 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11140] ppid=11077 vsize=10824364 memory=7092418796125250880 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11140/stat : 11140 (java) S 11077 11080 6440 0 -1 1077944384 1 13400 0 0 0 0 5 3 20 0 15 0 474852512 11084148736 20344 33554432000 4194304 4196468 140722705419888 140532940530544 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11141] ppid=11077 vsize=10824364 memory=7453282923411564372 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11141/stat : 11141 (java) S 11077 11080 6440 0 -1 1077944384 3 13400 0 0 0 0 5 3 20 0 15 0 474852515 11084148736 20344 33554432000 4194304 4196468 140722705419888 140532633130832 140534048708507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11142] ppid=11077 vsize=10824364 memory=5787213827163908199 CPUtime=0.24 cores=0,2,4,6
/proc/11080/task/11142/stat : 11142 (java) R 11077 11080 6440 0 -1 4202560 880 13400 0 0 16 0 5 3 20 0 15 0 474852515 11084148736 20344 33554432000 4194304 4196468 140722705419888 140533017471856 140534030211248 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11143] ppid=11077 vsize=10824364 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/11080/task/11143/stat : 11143 (java) S 11077 11080 6440 0 -1 1077944384 757 13400 0 0 12 0 5 3 20 0 15 0 474852515 11084148736 20344 33554432000 4194304 4196468 140722705419888 140533016419056 140534048701058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11144] ppid=11077 vsize=10824364 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/11080/task/11144/stat : 11144 (java) S 11077 11080 6440 0 -1 1077944384 828 13400 0 0 17 0 5 3 20 0 15 0 474852515 11084148736 20344 33554432000 4194304 4196468 140722705419888 140533015366256 140534048701058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11145] ppid=11077 vsize=10824364 memory=3620 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11145/stat : 11145 (java) S 11077 11080 6440 0 -1 1077944384 3 13400 0 0 0 0 5 3 20 0 15 0 474852515 11084148736 20344 33554432000 4194304 4196468 140722705419888 140532599573216 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11146] ppid=11077 vsize=10824364 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11146/stat : 11146 (java) S 11077 11080 6440 0 -1 1077944384 1 13400 0 0 0 0 5 3 20 0 15 0 474852515 11084148736 20344 33554432000 4194304 4196468 140722705419888 140533014313648 140534048701058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 81376 KiB
[startup+1.50104 s]
/proc/loadavg: 2.04 1.64 1.48 3/229 11146
/proc/meminfo: memFree=4591116/32770624 swapFree=66974484/67108860
[pid=11080] ppid=11077 vsize=10834680 memory=169596 CPUtime=2.47 cores=0,2,4,6
/proc/11080/stat : 11080 (java) S 11077 11080 6440 0 -1 1077944320 23878 13400 0 0 229 10 5 3 20 0 15 0 474852500 11094712320 42399 33554432000 4194304 4196468 140722705419888 140722705402432 140534048689911 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
/proc/11080/statm: 2708670 42399 3584 1 0 2670733 0
[pid=11080/tid=11133] ppid=11077 vsize=10834680 memory=9252 CPUtime=1.44 cores=0,2,4,6
/proc/11080/task/11133/stat : 11133 (java) R 11077 11080 6440 0 -1 4202560 15770 13400 0 0 130 6 5 3 20 0 15 0 474852509 11094712320 42399 33554432000 4194304 4196468 140722705419888 140534020491224 140534034070098 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11134] ppid=11077 vsize=10834680 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11134/stat : 11134 (java) S 11077 11080 6440 0 -1 1077944384 23 13400 0 0 0 0 5 3 20 0 15 0 474852510 11094712320 42399 33554432000 4194304 4196468 140722705419888 140534052932752 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11135] ppid=11077 vsize=10834680 memory=2350632 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11135/stat : 11135 (java) S 11077 11080 6440 0 -1 1077944384 366 13400 0 0 0 0 5 3 20 0 15 0 474852510 11094712320 42399 33554432000 4194304 4196468 140722705419888 140533951822864 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11136] ppid=11077 vsize=10834680 memory=1408 CPUtime=0.09 cores=0,2,4,6
/proc/11080/task/11136/stat : 11136 (java) S 11077 11080 6440 0 -1 1077944384 96 13400 0 0 1 0 5 3 20 0 15 0 474852510 11094712320 42399 33554432000 4194304 4196468 140722705419888 140533950770064 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11137] ppid=11077 vsize=10834680 memory=81376 CPUtime=0.09 cores=0,2,4,6
/proc/11080/task/11137/stat : 11137 (java) S 11077 11080 6440 0 -1 1077944384 72 13400 0 0 1 0 5 3 20 0 15 0 474852510 11094712320 42399 33554432000 4194304 4196468 140722705419888 140533949717264 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11138] ppid=11077 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11080/task/11138/stat : 11138 (java) S 11077 11080 6440 0 -1 1077944384 1631 13400 0 0 1 0 5 3 20 0 15 0 474852512 11094712320 42399 33554432000 4194304 4196468 140722705419888 140533052082544 140534048701058 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11139] ppid=11077 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11139/stat : 11139 (java) S 11077 11080 6440 0 -1 1077944384 34 13400 0 0 0 0 5 3 20 0 15 0 474852512 11094712320 42399 33554432000 4194304 4196468 140722705419888 140533051028576 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11140] ppid=11077 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11140/stat : 11140 (java) S 11077 11080 6440 0 -1 1077944384 1 13400 0 0 0 0 5 3 20 0 15 0 474852512 11094712320 42399 33554432000 4194304 4196468 140722705419888 140532940530560 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11141] ppid=11077 vsize=10834680 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11141/stat : 11141 (java) S 11077 11080 6440 0 -1 1077944384 3 13400 0 0 0 0 5 3 20 0 15 0 474852515 11094712320 42399 33554432000 4194304 4196468 140722705419888 140532633130832 140534048708507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11142] ppid=11077 vsize=10834680 memory=4638778398332698720 CPUtime=0.34 cores=0,2,4,6
/proc/11080/task/11142/stat : 11142 (java) S 11077 11080 6440 0 -1 1077944384 1009 13400 0 0 26 0 5 3 20 0 15 0 474852515 11094712320 42399 33554432000 4194304 4196468 140722705419888 140533017471856 140534048701058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11143] ppid=11077 vsize=10834680 memory=281053399390544 CPUtime=0.31 cores=0,2,4,6
/proc/11080/task/11143/stat : 11143 (java) S 11077 11080 6440 0 -1 1077944384 899 13400 0 0 23 0 5 3 20 0 15 0 474852515 11094712320 42399 33554432000 4194304 4196468 140722705419888 140533016419056 140534048701058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11144] ppid=11077 vsize=10834680 memory=6944656425123290226 CPUtime=0.49 cores=0,2,4,6
/proc/11080/task/11144/stat : 11144 (java) R 11077 11080 6440 0 -1 4202560 1762 13400 0 0 41 0 5 3 20 0 15 0 474852515 11094712320 42399 33554432000 4194304 4196468 140722705419888 140533015366256 140534027310880 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11145] ppid=11077 vsize=10834680 memory=-7233780906022716832 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11145/stat : 11145 (java) S 11077 11080 6440 0 -1 1077944384 3 13400 0 0 0 0 5 3 20 0 15 0 474852515 11094712320 42399 33554432000 4194304 4196468 140722705419888 140532599573216 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11146] ppid=11077 vsize=10834680 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11146/stat : 11146 (java) S 11077 11080 6440 0 -1 1077944384 1 13400 0 0 0 0 5 3 20 0 15 0 474852515 11094712320 42399 33554432000 4194304 4196468 140722705419888 140533014313648 140534048701058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
Current children cumulated CPU time: 2.47 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
/proc/11080/task/11133/stat : 11133 (java) R 11077 11080 6440 0 -1 4202560 57981 13400 0 0 223592 49 5 3 20 0 15 0 474852509 11107315712 241024 33554432000 4194304 4196468 140722705419888 140534020525520 140533640238708 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11134] ppid=11077 vsize=10846988 memory=964096 CPUtime=11.83 cores=0,2,4,6
/proc/11080/task/11134/stat : 11134 (java) S 11077 11080 6440 0 -1 1077944384 9573 13400 0 0 1116 59 5 3 20 0 15 0 474852510 11107315712 241024 33554432000 4194304 4196468 140722705419888 140534052932752 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11135] ppid=11077 vsize=10846988 memory=964096 CPUtime=11.82 cores=0,2,4,6
/proc/11080/task/11135/stat : 11135 (java) S 11077 11080 6440 0 -1 1077944384 7186 13400 0 0 1112 62 5 3 20 0 15 0 474852510 11107315712 241024 33554432000 4194304 4196468 140722705419888 140533951822864 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11136] ppid=11077 vsize=10846988 memory=964096 CPUtime=11.87 cores=0,2,4,6
/proc/11080/task/11136/stat : 11136 (java) S 11077 11080 6440 0 -1 1077944384 9048 13400 0 0 1118 61 5 3 20 0 15 0 474852510 11107315712 241024 33554432000 4194304 4196468 140722705419888 140533950770064 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11137] ppid=11077 vsize=10846988 memory=964096 CPUtime=11.88 cores=0,2,4,6
/proc/11080/task/11137/stat : 11137 (java) S 11077 11080 6440 0 -1 1077944384 8529 13400 0 0 1116 64 5 3 20 0 15 0 474852510 11107315712 241024 33554432000 4194304 4196468 140722705419888 140533949717264 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11138] ppid=11077 vsize=10846988 memory=964096 CPUtime=11.15 cores=0,2,4,6
/proc/11080/task/11138/stat : 11138 (java) S 11077 11080 6440 0 -1 1077944384 11518 13400 0 0 1053 54 5 3 20 0 15 0 474852512 11107315712 241024 33554432000 4194304 4196468 140722705419888 140533052082544 140534048701058 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11139] ppid=11077 vsize=10846988 memory=133 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11139/stat : 11139 (java) S 11077 11080 6440 0 -1 1077944384 40 13400 0 0 0 0 5 3 20 0 15 0 474852512 11107315712 241024 33554432000 4194304 4196468 140722705419888 140533051028576 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11140] ppid=11077 vsize=10846988 memory=612 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11140/stat : 11140 (java) S 11077 11080 6440 0 -1 1077944384 10 13400 0 0 0 0 5 3 20 0 15 0 474852512 11107315712 241024 33554432000 4194304 4196468 140722705419888 140532940530560 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11141] ppid=11077 vsize=10846988 memory=964096 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11141/stat : 11141 (java) S 11077 11080 6440 0 -1 1077944384 3 13400 0 0 0 0 5 3 20 0 15 0 474852515 11107315712 241024 33554432000 4194304 4196468 140722705419888 140532633130832 140534048708507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11142] ppid=11077 vsize=10846988 memory=964096 CPUtime=2.62 cores=0,2,4,6
/proc/11080/task/11142/stat : 11142 (java) S 11077 11080 6440 0 -1 1077944384 15652 13400 0 0 250 4 5 3 20 0 15 0 474852515 11107315712 241024 33554432000 4194304 4196468 140722705419888 140533017471856 140534048701058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11143] ppid=11077 vsize=10846988 memory=3620 CPUtime=2.63 cores=0,2,4,6
/proc/11080/task/11143/stat : 11143 (java) S 11077 11080 6440 0 -1 1077944384 24262 13400 0 0 251 4 5 3 20 0 15 0 474852515 11107315712 241024 33554432000 4194304 4196468 140722705419888 140533016419056 140534048701058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11144] ppid=11077 vsize=10846988 memory=54340 CPUtime=1.63 cores=0,2,4,6
/proc/11080/task/11144/stat : 11144 (java) S 11077 11080 6440 0 -1 1077944384 11028 13400 0 0 152 3 5 3 20 0 15 0 474852515 11107315712 241024 33554432000 4194304 4196468 140722705419888 140533015366256 140534048701058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11145] ppid=11077 vsize=10846988 memory=964096 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11145/stat : 11145 (java) S 11077 11080 6440 0 -1 1077944384 3 13400 0 0 0 0 5 3 20 0 15 0 474852515 11107315712 241024 33554432000 4194304 4196468 140722705419888 140532599573216 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11146] ppid=11077 vsize=10846988 memory=964096 CPUtime=1.51 cores=0,2,4,6
/proc/11080/task/11146/stat : 11146 (java) S 11077 11080 6440 0 -1 1077944384 849 13400 0 0 71 72 5 3 20 0 15 0 474852515 11107315712 241024 33554432000 4194304 4196468 140722705419888 140533014313648 140534048701058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
Current children cumulated CPU time: 2302.81 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 964096 KiB
[startup+2322.3 s]
/proc/loadavg: 0.75 0.70 0.79 2/207 11685
/proc/meminfo: memFree=6107460/32770624 swapFree=66974496/67108860
[pid=11080] ppid=11077 vsize=10846988 memory=966144 CPUtime=2363.8 cores=0,2,4,6
/proc/11080/stat : 11080 (java) S 11077 11080 6440 0 -1 1077944320 159157 13400 0 0 236002 370 5 3 20 0 15 0 474852500 11107315712 241536 33554432000 4194304 4196468 140722705419888 140722705402432 140534048689911 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
/proc/11080/statm: 2711747 241536 3623 1 0 2673805 0
[pid=11080/tid=11133] ppid=11077 vsize=10846988 memory=966144 CPUtime=2295.8 cores=0,2,4,6
/proc/11080/task/11133/stat : 11133 (java) R 11077 11080 6440 0 -1 4202560 58700 13400 0 0 229522 50 5 3 20 0 15 0 474852509 11107315712 241536 33554432000 4194304 4196468 140722705419888 140534020525168 140533641722205 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11134] ppid=11077 vsize=10846988 memory=966144 CPUtime=12.16 cores=0,2,4,6
/proc/11080/task/11134/stat : 11134 (java) S 11077 11080 6440 0 -1 1077944384 9792 13400 0 0 1147 61 5 3 20 0 15 0 474852510 11107315712 241536 33554432000 4194304 4196468 140722705419888 140534052932752 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11135] ppid=11077 vsize=10846988 memory=966144 CPUtime=12.16 cores=0,2,4,6
/proc/11080/task/11135/stat : 11135 (java) S 11077 11080 6440 0 -1 1077944384 7231 13400 0 0 1144 64 5 3 20 0 15 0 474852510 11107315712 241536 33554432000 4194304 4196468 140722705419888 140533951822864 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11136] ppid=11077 vsize=10846988 memory=966144 CPUtime=12.21 cores=0,2,4,6
/proc/11080/task/11136/stat : 11136 (java) S 11077 11080 6440 0 -1 1077944384 9101 13400 0 0 1150 63 5 3 20 0 15 0 474852510 11107315712 241536 33554432000 4194304 4196468 140722705419888 140533950770064 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11137] ppid=11077 vsize=10846988 memory=12040 CPUtime=12.21 cores=0,2,4,6
/proc/11080/task/11137/stat : 11137 (java) S 11077 11080 6440 0 -1 1077944384 8538 13400 0 0 1148 65 5 3 20 0 15 0 474852510 11107315712 241536 33554432000 4194304 4196468 140722705419888 140533949717264 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11138] ppid=11077 vsize=10846988 memory=27984 CPUtime=11.45 cores=0,2,4,6
/proc/11080/task/11138/stat : 11138 (java) S 11077 11080 6440 0 -1 1077944384 11724 13400 0 0 1082 55 5 3 20 0 15 0 474852512 11107315712 241536 33554432000 4194304 4196468 140722705419888 140533052082544 140534048701058 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11139] ppid=11077 vsize=10846988 memory=966144 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11139/stat : 11139 (java) S 11077 11080 6440 0 -1 1077944384 40 13400 0 0 0 0 5 3 20 0 15 0 474852512 11107315712 241536 33554432000 4194304 4196468 140722705419888 140533051028576 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11140] ppid=11077 vsize=10846988 memory=966144 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11140/stat : 11140 (java) S 11077 11080 6440 0 -1 1077944384 10 13400 0 0 0 0 5 3 20 0 15 0 474852512 11107315712 241536 33554432000 4194304 4196468 140722705419888 140532940530560 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11141] ppid=11077 vsize=10846988 memory=964096 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11141/stat : 11141 (java) S 11077 11080 6440 0 -1 1077944384 3 13400 0 0 0 0 5 3 20 0 15 0 474852515 11107315712 241536 33554432000 4194304 4196468 140722705419888 140532633130832 140534048708507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11142] ppid=11077 vsize=10846988 memory=964096 CPUtime=2.62 cores=0,2,4,6
/proc/11080/task/11142/stat : 11142 (java) S 11077 11080 6440 0 -1 1077944384 15655 13400 0 0 250 4 5 3 20 0 15 0 474852515 11107315712 241536 33554432000 4194304 4196468 140722705419888 140533017471856 140534048701058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11143] ppid=11077 vsize=10846988 memory=964096 CPUtime=2.63 cores=0,2,4,6
/proc/11080/task/11143/stat : 11143 (java) S 11077 11080 6440 0 -1 1077944384 24265 13400 0 0 251 4 5 3 20 0 15 0 474852515 11107315712 241536 33554432000 4194304 4196468 140722705419888 140533016419056 140534048701058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11144] ppid=11077 vsize=10846988 memory=3620 CPUtime=1.63 cores=0,2,4,6
/proc/11080/task/11144/stat : 11144 (java) S 11077 11080 6440 0 -1 1077944384 11030 13400 0 0 152 3 5 3 20 0 15 0 474852515 11107315712 241536 33554432000 4194304 4196468 140722705419888 140533015366256 140534048701058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11145] ppid=11077 vsize=10846988 memory=3620 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11145/stat : 11145 (java) S 11077 11080 6440 0 -1 1077944384 3 13400 0 0 0 0 5 3 20 0 15 0 474852515 11107315712 241536 33554432000 4194304 4196468 140722705419888 140532599573216 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11146] ppid=11077 vsize=10846988 memory=54340 CPUtime=1.55 cores=0,2,4,6
/proc/11080/task/11146/stat : 11146 (java) S 11077 11080 6440 0 -1 1077944384 857 13400 0 0 73 74 5 3 20 0 15 0 474852515 11107315712 241536 33554432000 4194304 4196468 140722705419888 140533014313648 140534048701058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
Current children cumulated CPU time: 2363.8 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 966144 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2357.9 s]
/proc/loadavg: 0.61 0.67 0.77 2/207 11689
/proc/meminfo: memFree=6107588/32770624 swapFree=66974496/67108860
[pid=11080] ppid=11077 vsize=10846988 memory=966144 CPUtime=2400.01 cores=0,2,4,6
/proc/11080/stat : 11080 (java) S 11077 11080 6440 0 -1 1077944320 159794 13400 0 0 239617 376 5 3 20 0 15 0 474852500 11107315712 241536 33554432000 4194304 4196468 140722705419888 140722705402432 140534048689911 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
/proc/11080/statm: 2711747 241536 3623 1 0 2673805 0
[pid=11080/tid=11133] ppid=11077 vsize=10846988 memory=966144 CPUtime=2331.01 cores=0,2,4,6
/proc/11080/task/11133/stat : 11133 (java) R 11077 11080 6440 0 -1 4202560 59114 13400 0 0 233043 50 5 3 20 0 15 0 474852509 11107315712 241536 33554432000 4194304 4196468 140722705419888 140534020524864 140533639817351 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11134] ppid=11077 vsize=10846988 memory=966144 CPUtime=12.37 cores=0,2,4,6
/proc/11080/task/11134/stat : 11134 (java) S 11077 11080 6440 0 -1 1077944384 9942 13400 0 0 1167 62 5 3 20 0 15 0 474852510 11107315712 241536 33554432000 4194304 4196468 140722705419888 140534052932752 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11135] ppid=11077 vsize=10846988 memory=966144 CPUtime=12.35 cores=0,2,4,6
/proc/11080/task/11135/stat : 11135 (java) S 11077 11080 6440 0 -1 1077944384 7258 13400 0 0 1163 64 5 3 20 0 15 0 474852510 11107315712 241536 33554432000 4194304 4196468 140722705419888 140533951822864 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11136] ppid=11077 vsize=10846988 memory=966144 CPUtime=12.4 cores=0,2,4,6
/proc/11080/task/11136/stat : 11136 (java) S 11077 11080 6440 0 -1 1077944384 9102 13400 0 0 1169 63 5 3 20 0 15 0 474852510 11107315712 241536 33554432000 4194304 4196468 140722705419888 140533950770064 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11137] ppid=11077 vsize=10846988 memory=966144 CPUtime=12.41 cores=0,2,4,6
/proc/11080/task/11137/stat : 11137 (java) S 11077 11080 6440 0 -1 1077944384 8560 13400 0 0 1167 66 5 3 20 0 15 0 474852510 11107315712 241536 33554432000 4194304 4196468 140722705419888 140533949717264 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11138] ppid=11077 vsize=10846988 memory=281053400153216 CPUtime=11.63 cores=0,2,4,6
/proc/11080/task/11138/stat : 11138 (java) S 11077 11080 6440 0 -1 1077944384 11746 13400 0 0 1098 57 5 3 20 0 15 0 474852512 11107315712 241536 33554432000 4194304 4196468 140722705419888 140533052082544 140534048701058 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11139] ppid=11077 vsize=10846988 memory=-7094132109863559211 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11139/stat : 11139 (java) S 11077 11080 6440 0 -1 1077944384 40 13400 0 0 0 0 5 3 20 0 15 0 474852512 11107315712 241536 33554432000 4194304 4196468 140722705419888 140533051028576 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11140] ppid=11077 vsize=10846988 memory=281053399330192 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11140/stat : 11140 (java) S 11077 11080 6440 0 -1 1077944384 10 13400 0 0 0 0 5 3 20 0 15 0 474852512 11107315712 241536 33554432000 4194304 4196468 140722705419888 140532940530560 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11141] ppid=11077 vsize=10846988 memory=966144 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11141/stat : 11141 (java) S 11077 11080 6440 0 -1 1077944384 3 13400 0 0 0 0 5 3 20 0 15 0 474852515 11107315712 241536 33554432000 4194304 4196468 140722705419888 140532633130832 140534048708507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11142] ppid=11077 vsize=10846988 memory=966144 CPUtime=2.62 cores=0,2,4,6
/proc/11080/task/11142/stat : 11142 (java) S 11077 11080 6440 0 -1 1077944384 15655 13400 0 0 250 4 5 3 20 0 15 0 474852515 11107315712 241536 33554432000 4194304 4196468 140722705419888 140533017471856 140534048701058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11143] ppid=11077 vsize=10846988 memory=966144 CPUtime=2.63 cores=0,2,4,6
/proc/11080/task/11143/stat : 11143 (java) S 11077 11080 6440 0 -1 1077944384 24265 13400 0 0 251 4 5 3 20 0 15 0 474852515 11107315712 241536 33554432000 4194304 4196468 140722705419888 140533016419056 140534048701058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11144] ppid=11077 vsize=10846988 memory=3620 CPUtime=1.63 cores=0,2,4,6
/proc/11080/task/11144/stat : 11144 (java) S 11077 11080 6440 0 -1 1077944384 11030 13400 0 0 152 3 5 3 20 0 15 0 474852515 11107315712 241536 33554432000 4194304 4196468 140722705419888 140533015366256 140534048701058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11145] ppid=11077 vsize=10846988 memory=966144 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11145/stat : 11145 (java) S 11077 11080 6440 0 -1 1077944384 3 13400 0 0 0 0 5 3 20 0 15 0 474852515 11107315712 241536 33554432000 4194304 4196468 140722705419888 140532599573216 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11146] ppid=11077 vsize=10846988 memory=966144 CPUtime=1.57 cores=0,2,4,6
/proc/11080/task/11146/stat : 11146 (java) S 11077 11080 6440 0 -1 1077944384 858 13400 0 0 74 75 5 3 20 0 15 0 474852515 11107315712 241536 33554432000 4194304 4196468 140722705419888 140533014313648 140534048701058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 966144 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2357.93 s]
# the end of solver process 11080 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.25 s, system=3.80567 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2357.9 s]
/proc/loadavg: 0.61 0.67 0.77 2/207 11689
/proc/meminfo: memFree=6107588/32770624 swapFree=66974496/67108860
[pid=11080] ppid=11077 vsize=10846988 memory=966144 CPUtime=2400.01 cores=0,2,4,6
/proc/11080/stat : 11080 (java) S 11077 11080 6440 0 -1 1077944320 159794 13400 0 0 239617 376 5 3 20 0 15 0 474852500 11107315712 241536 33554432000 4194304 4196468 140722705419888 140722705402432 140534048689911 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
/proc/11080/statm: 2711747 241536 3623 1 0 2673805 0
[pid=11080/tid=11133] ppid=11077 vsize=10846988 memory=966144 CPUtime=2331.01 cores=0,2,4,6
/proc/11080/task/11133/stat : 11133 (java) R 11077 11080 6440 0 -1 4202560 59114 13400 0 0 233043 50 5 3 20 0 15 0 474852509 11107315712 241536 33554432000 4194304 4196468 140722705419888 140534020524864 140533639817351 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11134] ppid=11077 vsize=10846988 memory=966144 CPUtime=12.37 cores=0,2,4,6
/proc/11080/task/11134/stat : 11134 (java) S 11077 11080 6440 0 -1 1077944384 9942 13400 0 0 1167 62 5 3 20 0 15 0 474852510 11107315712 241536 33554432000 4194304 4196468 140722705419888 140534052932752 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11135] ppid=11077 vsize=10846988 memory=966144 CPUtime=12.35 cores=0,2,4,6
/proc/11080/task/11135/stat : 11135 (java) S 11077 11080 6440 0 -1 1077944384 7258 13400 0 0 1163 64 5 3 20 0 15 0 474852510 11107315712 241536 33554432000 4194304 4196468 140722705419888 140533951822864 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11136] ppid=11077 vsize=10846988 memory=966144 CPUtime=12.4 cores=0,2,4,6
/proc/11080/task/11136/stat : 11136 (java) S 11077 11080 6440 0 -1 1077944384 9102 13400 0 0 1169 63 5 3 20 0 15 0 474852510 11107315712 241536 33554432000 4194304 4196468 140722705419888 140533950770064 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11137] ppid=11077 vsize=10846988 memory=966144 CPUtime=12.41 cores=0,2,4,6
/proc/11080/task/11137/stat : 11137 (java) S 11077 11080 6440 0 -1 1077944384 8560 13400 0 0 1167 66 5 3 20 0 15 0 474852510 11107315712 241536 33554432000 4194304 4196468 140722705419888 140533949717264 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11138] ppid=11077 vsize=10846988 memory=281053400153216 CPUtime=11.63 cores=0,2,4,6
/proc/11080/task/11138/stat : 11138 (java) S 11077 11080 6440 0 -1 1077944384 11746 13400 0 0 1098 57 5 3 20 0 15 0 474852512 11107315712 241536 33554432000 4194304 4196468 140722705419888 140533052082544 140534048701058 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11139] ppid=11077 vsize=10846988 memory=-7094132109863559211 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11139/stat : 11139 (java) S 11077 11080 6440 0 -1 1077944384 40 13400 0 0 0 0 5 3 20 0 15 0 474852512 11107315712 241536 33554432000 4194304 4196468 140722705419888 140533051028576 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11140] ppid=11077 vsize=10846988 memory=281053399330192 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11140/stat : 11140 (java) S 11077 11080 6440 0 -1 1077944384 10 13400 0 0 0 0 5 3 20 0 15 0 474852512 11107315712 241536 33554432000 4194304 4196468 140722705419888 140532940530560 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11141] ppid=11077 vsize=10846988 memory=966144 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11141/stat : 11141 (java) S 11077 11080 6440 0 -1 1077944384 3 13400 0 0 0 0 5 3 20 0 15 0 474852515 11107315712 241536 33554432000 4194304 4196468 140722705419888 140532633130832 140534048708507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11142] ppid=11077 vsize=10846988 memory=966144 CPUtime=2.62 cores=0,2,4,6
/proc/11080/task/11142/stat : 11142 (java) S 11077 11080 6440 0 -1 1077944384 15655 13400 0 0 250 4 5 3 20 0 15 0 474852515 11107315712 241536 33554432000 4194304 4196468 140722705419888 140533017471856 140534048701058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11143] ppid=11077 vsize=10846988 memory=966144 CPUtime=2.63 cores=0,2,4,6
/proc/11080/task/11143/stat : 11143 (java) S 11077 11080 6440 0 -1 1077944384 24265 13400 0 0 251 4 5 3 20 0 15 0 474852515 11107315712 241536 33554432000 4194304 4196468 140722705419888 140533016419056 140534048701058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11144] ppid=11077 vsize=10846988 memory=3620 CPUtime=1.63 cores=0,2,4,6
/proc/11080/task/11144/stat : 11144 (java) S 11077 11080 6440 0 -1 1077944384 11030 13400 0 0 152 3 5 3 20 0 15 0 474852515 11107315712 241536 33554432000 4194304 4196468 140722705419888 140533015366256 140534048701058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11145] ppid=11077 vsize=10846988 memory=966144 CPUtime=0.08 cores=0,2,4,6
/proc/11080/task/11145/stat : 11145 (java) S 11077 11080 6440 0 -1 1077944384 3 13400 0 0 0 0 5 3 20 0 15 0 474852515 11107315712 241536 33554432000 4194304 4196468 140722705419888 140532599573216 140534048700117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
[pid=11080/tid=11146] ppid=11077 vsize=10846988 memory=966144 CPUtime=1.57 cores=0,2,4,6
/proc/11080/task/11146/stat : 11146 (java) S 11077 11080 6440 0 -1 1077944384 858 13400 0 0 74 75 5 3 20 0 15 0 474852515 11107315712 241536 33554432000 4194304 4196468 140722705419888 140533014313648 140534048701058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 35807232 140722705427184 140722705429701 140722705429701 140722705432527 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 966144 KiB
Child status: 143
Real time (s): 2357.93
CPU time (s): 2400.06
CPU user time (s): 2396.25
CPU system time (s): 3.80567
CPU usage (%): 101.786
Max. virtual memory (cumulated for all children) (KiB): 10849744
Max. memory (cumulated for all children) (KiB): 966144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.25
system time used= 3.80566
maximum resident set size= 970360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174078
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 304059
involuntary context switches= 8215
# summary of solver processes directly reported to runsolver:
# pid: 11080
# total CPU time (s): 2400.06
# total CPU user time (s): 2396.25
# total CPU system time (s): 3.80567
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.3161 second user time and 22.0364 second system time
The end