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 (14729 MiB free)
memory of node 1: 16384 MiB (14399 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396276-1568410354/watcher-4396276-1568410354 -o /tmp/evaluation-result-4396276-1568410354/solver-4396276-1568410354 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568389496-7295 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1382092796 HOME/instance-4396276-1568410354.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=11172, runsolver pid=11169
Current StackSize limit: 8192 KiB
[startup+0.100117 s]*
/proc/loadavg: 1.14 1.38 1.41 2/218 11229
/proc/meminfo: memFree=29820088/32770624 swapFree=66997428/67108860
[pid=11172] ppid=11169 vsize=9972712 memory=16816 CPUtime=0.09 cores=0,2,4,6
/proc/11172/stat : 11172 (java) S 11169 11172 7264 0 -1 1077944320 4456 13559 0 0 1 1 5 2 20 0 6 0 417290046 10212057088 4204 33554432000 4194304 4196468 140729189141040 140729189123584 139817552248567 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
/proc/11172/statm: 2493178 4204 1935 1 0 2481616 0
[pid=11172/tid=11225] ppid=11169 vsize=9972712 memory=-8617482348318186131 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11225/stat : 11225 (java) R 11169 11172 7264 0 -1 4202560 2273 13559 0 0 0 0 5 2 20 0 6 0 417290055 10212057088 4204 33554432000 4194304 4196468 140729189141040 139817524085328 139817533642301 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11226] ppid=11169 vsize=9972712 memory=-9181546050914066336 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11226/stat : 11226 (java) S 11169 11172 7264 0 -1 1077944384 2 13559 0 0 0 0 5 2 20 0 6 0 417290056 10212057088 4270 33554432000 4194304 4196468 140729189141040 139817556490896 139817552258773 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11227] ppid=11169 vsize=9972712 memory=140336687015552 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11227/stat : 11227 (java) S 11169 11172 7264 0 -1 1077944384 1 13559 0 0 0 0 5 2 20 0 6 0 417290056 10212057088 4270 33554432000 4194304 4196468 140729189141040 139817444764176 139817552258773 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11228] ppid=11169 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11228/stat : 11228 (java) S 11169 11172 7264 0 -1 1077944384 1 13559 0 0 0 0 5 2 20 0 6 0 417290056 10212057088 4270 33554432000 4194304 4196468 140729189141040 139817443711376 139817552258773 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11229] ppid=11169 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11229/stat : 11229 (java) S 11169 11172 7264 0 -1 1077944384 2 13559 0 0 0 0 5 2 20 0 6 0 417290056 10212057088 4270 33554432000 4194304 4196468 140729189141040 139817442658576 139817552258773 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16816 KiB
[startup+0.209855 s]*
/proc/loadavg: 1.14 1.38 1.41 4/227 11238
/proc/meminfo: memFree=29800388/32770624 swapFree=66997428/67108860
[pid=11172] ppid=11169 vsize=10819664 memory=41196 CPUtime=0.25 cores=0,2,4,6
/proc/11172/stat : 11172 (java) S 11169 11172 7264 0 -1 1077944320 7139 13559 0 0 17 1 5 2 20 0 15 0 417290046 11079335936 10299 33554432000 4194304 4196468 140729189141040 140729189123584 139817552248567 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
/proc/11172/statm: 2704916 10299 3162 1 0 2667149 0
[pid=11172/tid=11225] ppid=11169 vsize=10819664 memory=7100839852556125036 CPUtime=0.19 cores=0,2,4,6
/proc/11172/task/11225/stat : 11225 (java) R 11169 11172 7264 0 -1 4202560 3605 13559 0 0 11 1 5 2 20 0 15 0 417290055 11079335936 10299 33554432000 4194304 4196468 140729189141040 139817524072928 139817532524354 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11226] ppid=11169 vsize=10819664 memory=-9181546050914066336 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11226/stat : 11226 (java) S 11169 11172 7264 0 -1 1077944384 2 13559 0 0 0 0 5 2 20 0 15 0 417290056 11079335936 10299 33554432000 4194304 4196468 140729189141040 139817556490896 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11227] ppid=11169 vsize=10819664 memory=140336687015552 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11227/stat : 11227 (java) S 11169 11172 7264 0 -1 1077944384 1 13559 0 0 0 0 5 2 20 0 15 0 417290056 11079335936 10299 33554432000 4194304 4196468 140729189141040 139817444764176 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11228] ppid=11169 vsize=10819664 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11228/stat : 11228 (java) S 11169 11172 7264 0 -1 1077944384 1 13559 0 0 0 0 5 2 20 0 15 0 417290056 11079335936 10299 33554432000 4194304 4196468 140729189141040 139817443711376 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11229] ppid=11169 vsize=10819664 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11229/stat : 11229 (java) S 11169 11172 7264 0 -1 1077944384 2 13559 0 0 0 0 5 2 20 0 15 0 417290056 11079335936 10299 33554432000 4194304 4196468 140729189141040 139817442658576 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11230] ppid=11169 vsize=10819664 memory=140336687015552 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11230/stat : 11230 (java) S 11169 11172 7264 0 -1 1077944384 2 13559 0 0 0 0 5 2 20 0 15 0 417290058 11079335936 10299 33554432000 4194304 4196468 140729189141040 139817011592048 139817552259714 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11231] ppid=11169 vsize=10819664 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11231/stat : 11231 (java) S 11169 11172 7264 0 -1 1077944384 33 13559 0 0 0 0 5 2 20 0 15 0 417290058 11079335936 10299 33554432000 4194304 4196468 140729189141040 139817010538016 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11232] ppid=11169 vsize=10819664 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11232/stat : 11232 (java) S 11169 11172 7264 0 -1 1077944384 1 13559 0 0 0 0 5 2 20 0 15 0 417290058 11079335936 10299 33554432000 4194304 4196468 140729189141040 139816888952176 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11233] ppid=11169 vsize=10819664 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11233/stat : 11233 (java) S 11169 11172 7264 0 -1 1077944384 2 13559 0 0 0 0 5 2 20 0 15 0 417290061 11079335936 10299 33554432000 4194304 4196468 140729189141040 139816284973392 139817552267163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11234] ppid=11169 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11172/task/11234/stat : 11234 (java) S 11169 11172 7264 0 -1 1077944384 496 13559 0 0 1 0 5 2 20 0 15 0 417290061 11079335936 10299 33554432000 4194304 4196468 140729189141040 139816976980336 139817552259714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11235] ppid=11169 vsize=10819664 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11235/stat : 11235 (java) S 11169 11172 7264 0 -1 1077944384 175 13559 0 0 0 0 5 2 20 0 15 0 417290061 11079335936 10299 33554432000 4194304 4196468 140729189141040 139816975927536 139817552259714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11236] ppid=11169 vsize=10819664 memory=140336687015552 CPUtime=0.1 cores=0,2,4,6
/proc/11172/task/11236/stat : 11236 (java) S 11169 11172 7264 0 -1 1077944384 609 13559 0 0 3 0 5 2 20 0 15 0 417290061 11079335936 10299 33554432000 4194304 4196468 140729189141040 139816974874736 139817552259714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11237] ppid=11169 vsize=10819664 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11237/stat : 11237 (java) S 11169 11172 7264 0 -1 1077944384 3 13559 0 0 0 0 5 2 20 0 15 0 417290061 11079335936 10299 33554432000 4194304 4196468 140729189141040 139815815211232 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11238] ppid=11169 vsize=10819664 memory=140336687015552 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11238/stat : 11238 (java) S 11169 11172 7264 0 -1 1077944384 1 13559 0 0 0 0 5 2 20 0 15 0 417290062 11079335936 10299 33554432000 4194304 4196468 140729189141040 139816973823152 139817552259714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 41196 KiB
[startup+0.318159 s]*
/proc/loadavg: 1.14 1.38 1.41 3/227 11238
/proc/meminfo: memFree=29787732/32770624 swapFree=66997428/67108860
[pid=11172] ppid=11169 vsize=10820264 memory=52576 CPUtime=0.4 cores=0,2,4,6
/proc/11172/stat : 11172 (java) S 11169 11172 7264 0 -1 1077944320 10880 13559 0 0 30 3 5 2 20 0 15 0 417290046 11079950336 13144 33554432000 4194304 4196468 140729189141040 140729189123584 139817552248567 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
/proc/11172/statm: 2705066 13144 3302 1 0 2667149 0
[pid=11172/tid=11225] ppid=11169 vsize=10820264 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/11172/task/11225/stat : 11225 (java) R 11169 11172 7264 0 -1 4202560 7328 13559 0 0 20 2 5 2 20 0 15 0 417290055 11079950336 13144 33554432000 4194304 4196468 140729189141040 139817524074096 139817552270493 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11226] ppid=11169 vsize=10820264 memory=5794839009258007142 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11226/stat : 11226 (java) S 11169 11172 7264 0 -1 1077944384 2 13559 0 0 0 0 5 2 20 0 15 0 417290056 11079950336 13144 33554432000 4194304 4196468 140729189141040 139817556490896 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11227] ppid=11169 vsize=10820264 memory=5787213827347079232 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11227/stat : 11227 (java) S 11169 11172 7264 0 -1 1077944384 1 13559 0 0 0 0 5 2 20 0 15 0 417290056 11079950336 13144 33554432000 4194304 4196468 140729189141040 139817444764176 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11228] ppid=11169 vsize=10820264 memory=7649539703715350465 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11228/stat : 11228 (java) S 11169 11172 7264 0 -1 1077944384 1 13559 0 0 0 0 5 2 20 0 15 0 417290056 11079950336 13144 33554432000 4194304 4196468 140729189141040 139817443711376 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11229] ppid=11169 vsize=10820264 memory=4872558044660077418 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11229/stat : 11229 (java) S 11169 11172 7264 0 -1 1077944384 2 13559 0 0 0 0 5 2 20 0 15 0 417290056 11079950336 13144 33554432000 4194304 4196468 140729189141040 139817442658576 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11230] ppid=11169 vsize=10820264 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11230/stat : 11230 (java) S 11169 11172 7264 0 -1 1077944384 2 13559 0 0 0 0 5 2 20 0 15 0 417290058 11079950336 13144 33554432000 4194304 4196468 140729189141040 139817011592048 139817552259714 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11231] ppid=11169 vsize=10820264 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11231/stat : 11231 (java) S 11169 11172 7264 0 -1 1077944384 33 13559 0 0 0 0 5 2 20 0 15 0 417290058 11079950336 13144 33554432000 4194304 4196468 140729189141040 139817010538016 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11232] ppid=11169 vsize=10820264 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11232/stat : 11232 (java) S 11169 11172 7264 0 -1 1077944384 1 13559 0 0 0 0 5 2 20 0 15 0 417290058 11079950336 13144 33554432000 4194304 4196468 140729189141040 139816888952176 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11233] ppid=11169 vsize=10820264 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11233/stat : 11233 (java) S 11169 11172 7264 0 -1 1077944384 2 13559 0 0 0 0 5 2 20 0 15 0 417290061 11079950336 13144 33554432000 4194304 4196468 140729189141040 139816284973392 139817552267163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11234] ppid=11169 vsize=10820264 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11172/task/11234/stat : 11234 (java) S 11169 11172 7264 0 -1 1077944384 497 13559 0 0 1 0 5 2 20 0 15 0 417290061 11079950336 13144 33554432000 4194304 4196468 140729189141040 139816976980336 139817552259714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11235] ppid=11169 vsize=10820264 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11172/task/11235/stat : 11235 (java) S 11169 11172 7264 0 -1 1077944384 184 13559 0 0 1 0 5 2 20 0 15 0 417290061 11079950336 13144 33554432000 4194304 4196468 140729189141040 139816975927536 139817552259714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11236] ppid=11169 vsize=10820264 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/11172/task/11236/stat : 11236 (java) S 11169 11172 7264 0 -1 1077944384 619 13559 0 0 5 0 5 2 20 0 15 0 417290061 11079950336 13144 33554432000 4194304 4196468 140729189141040 139816974874736 139817552259714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11237] ppid=11169 vsize=10820264 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11237/stat : 11237 (java) S 11169 11172 7264 0 -1 1077944384 3 13559 0 0 0 0 5 2 20 0 15 0 417290061 11079950336 13144 33554432000 4194304 4196468 140729189141040 139815815211232 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11238] ppid=11169 vsize=10820264 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11238/stat : 11238 (java) S 11169 11172 7264 0 -1 1077944384 1 13559 0 0 0 0 5 2 20 0 15 0 417290062 11079950336 13144 33554432000 4194304 4196468 140729189141040 139816973823152 139817552259714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820264 KiB
Current children cumulated memory: 52576 KiB
[startup+0.700678 s]
/proc/loadavg: 1.14 1.38 1.41 3/227 11238
/proc/meminfo: memFree=29773452/32770624 swapFree=66997428/67108860
[pid=11172] ppid=11169 vsize=10824360 memory=85300 CPUtime=1.09 cores=0,2,4,6
/proc/11172/stat : 11172 (java) S 11169 11172 7264 0 -1 1077944320 15075 13559 0 0 98 4 5 2 20 0 15 0 417290046 11084144640 21325 33554432000 4194304 4196468 140729189141040 140729189123584 139817552248567 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
/proc/11172/statm: 2706090 21325 3503 1 0 2668173 0
[pid=11172/tid=11225] ppid=11169 vsize=10824360 memory=2241 CPUtime=0.65 cores=0,2,4,6
/proc/11172/task/11225/stat : 11225 (java) R 11169 11172 7264 0 -1 4202560 10269 13559 0 0 55 3 5 2 20 0 15 0 417290055 11084144640 21325 33554432000 4194304 4196468 140729189141040 139817524032736 139817544485694 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11226] ppid=11169 vsize=10824360 memory=2244 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11226/stat : 11226 (java) S 11169 11172 7264 0 -1 1077944384 2 13559 0 0 0 0 5 2 20 0 15 0 417290056 11084144640 21325 33554432000 4194304 4196468 140729189141040 139817556490896 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11227] ppid=11169 vsize=10824360 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11227/stat : 11227 (java) S 11169 11172 7264 0 -1 1077944384 1 13559 0 0 0 0 5 2 20 0 15 0 417290056 11084144640 21325 33554432000 4194304 4196468 140729189141040 139817444764176 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11228] ppid=11169 vsize=10824360 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11228/stat : 11228 (java) S 11169 11172 7264 0 -1 1077944384 1 13559 0 0 0 0 5 2 20 0 15 0 417290056 11084144640 21325 33554432000 4194304 4196468 140729189141040 139817443711376 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11229] ppid=11169 vsize=10824360 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11229/stat : 11229 (java) S 11169 11172 7264 0 -1 1077944384 2 13559 0 0 0 0 5 2 20 0 15 0 417290056 11084144640 21325 33554432000 4194304 4196468 140729189141040 139817442658576 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11230] ppid=11169 vsize=10824360 memory=6944652177228980320 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11230/stat : 11230 (java) S 11169 11172 7264 0 -1 1077944384 5 13559 0 0 0 0 5 2 20 0 15 0 417290058 11084144640 21325 33554432000 4194304 4196468 140729189141040 139817011592048 139817552259714 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11231] ppid=11169 vsize=10824360 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11231/stat : 11231 (java) S 11169 11172 7264 0 -1 1077944384 33 13559 0 0 0 0 5 2 20 0 15 0 417290058 11084144640 21325 33554432000 4194304 4196468 140729189141040 139817010538016 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11232] ppid=11169 vsize=10824360 memory=6943526294502006880 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11232/stat : 11232 (java) S 11169 11172 7264 0 -1 1077944384 1 13559 0 0 0 0 5 2 20 0 15 0 417290058 11084144640 21325 33554432000 4194304 4196468 140729189141040 139816888952176 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11233] ppid=11169 vsize=10824360 memory=6944656592455097440 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11233/stat : 11233 (java) S 11169 11172 7264 0 -1 1077944384 2 13559 0 0 0 0 5 2 20 0 15 0 417290061 11084144640 21325 33554432000 4194304 4196468 140729189141040 139816284973392 139817552267163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11234] ppid=11169 vsize=10824360 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/11172/task/11234/stat : 11234 (java) S 11169 11172 7264 0 -1 1077944384 874 13559 0 0 9 0 5 2 20 0 15 0 417290061 11084144640 21325 33554432000 4194304 4196468 140729189141040 139816976980336 139817552259714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11235] ppid=11169 vsize=10824360 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/11172/task/11235/stat : 11235 (java) R 11169 11172 7264 0 -1 4202560 787 13559 0 0 14 0 5 2 20 0 15 0 417290061 11084144640 21325 33554432000 4194304 4196468 140729189141040 139816975927536 139817537137985 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11236] ppid=11169 vsize=10824360 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/11172/task/11236/stat : 11236 (java) S 11169 11172 7264 0 -1 1077944384 888 13559 0 0 17 0 5 2 20 0 15 0 417290061 11084144640 21325 33554432000 4194304 4196468 140729189141040 139816974874736 139817552259714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11237] ppid=11169 vsize=10824360 memory=280673160003824 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11237/stat : 11237 (java) S 11169 11172 7264 0 -1 1077944384 3 13559 0 0 0 0 5 2 20 0 15 0 417290061 11084144640 21325 33554432000 4194304 4196468 140729189141040 139815815211232 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11238] ppid=11169 vsize=10824360 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11238/stat : 11238 (java) S 11169 11172 7264 0 -1 1077944384 1 13559 0 0 0 0 5 2 20 0 15 0 417290062 11084144640 21325 33554432000 4194304 4196468 140729189141040 139816973823152 139817552259714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 85300 KiB
[startup+1.50077 s]
/proc/loadavg: 1.14 1.38 1.41 5/227 11238
/proc/meminfo: memFree=29724380/32770624 swapFree=66997428/67108860
[pid=11172] ppid=11169 vsize=10826484 memory=213492 CPUtime=3.56 cores=0,2,4,6
/proc/11172/stat : 11172 (java) S 11169 11172 7264 0 -1 1077944320 31686 13559 0 0 341 8 5 2 20 0 15 0 417290046 11086319616 53307 33554432000 4194304 4196468 140729189141040 140729189123584 139817552248567 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
/proc/11172/statm: 2706621 53373 3549 1 0 2668685 0
[pid=11172/tid=11225] ppid=11169 vsize=10826484 memory=0 CPUtime=1.45 cores=0,2,4,6
/proc/11172/task/11225/stat : 11225 (java) R 11169 11172 7264 0 -1 4202560 11443 13559 0 0 133 5 5 2 20 0 15 0 417290055 11086319616 53373 33554432000 4194304 4196468 140729189141040 139817524065776 139817111619450 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11226] ppid=11169 vsize=10826484 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11226/stat : 11226 (java) S 11169 11172 7264 0 -1 1077944384 2 13559 0 0 0 0 5 2 20 0 15 0 417290056 11086319616 53373 33554432000 4194304 4196468 140729189141040 139817556490896 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11227] ppid=11169 vsize=10826484 memory=3184238256656272944 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11227/stat : 11227 (java) S 11169 11172 7264 0 -1 1077944384 1 13559 0 0 0 0 5 2 20 0 15 0 417290056 11086319616 53373 33554432000 4194304 4196468 140729189141040 139817444764176 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11228] ppid=11169 vsize=10826484 memory=280673160580832 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11228/stat : 11228 (java) S 11169 11172 7264 0 -1 1077944384 1 13559 0 0 0 0 5 2 20 0 15 0 417290056 11086319616 53373 33554432000 4194304 4196468 140729189141040 139817443711376 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11229] ppid=11169 vsize=10826484 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11229/stat : 11229 (java) S 11169 11172 7264 0 -1 1077944384 2 13559 0 0 0 0 5 2 20 0 15 0 417290056 11086319616 53373 33554432000 4194304 4196468 140729189141040 139817442658576 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11230] ppid=11169 vsize=10826484 memory=3472468615628117840 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11230/stat : 11230 (java) S 11169 11172 7264 0 -1 1077944384 5 13559 0 0 0 0 5 2 20 0 15 0 417290058 11086319616 53373 33554432000 4194304 4196468 140729189141040 139817011592048 139817552259714 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11231] ppid=11169 vsize=10826484 memory=6943526294502006880 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11231/stat : 11231 (java) S 11169 11172 7264 0 -1 1077944384 33 13559 0 0 0 0 5 2 20 0 15 0 417290058 11086319616 53373 33554432000 4194304 4196468 140729189141040 139817010538016 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11232] ppid=11169 vsize=10826484 memory=6944656592455359580 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11232/stat : 11232 (java) S 11169 11172 7264 0 -1 1077944384 1 13559 0 0 0 0 5 2 20 0 15 0 417290058 11086319616 53373 33554432000 4194304 4196468 140729189141040 139816888952176 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11233] ppid=11169 vsize=10826484 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11233/stat : 11233 (java) S 11169 11172 7264 0 -1 1077944384 2 13559 0 0 0 0 5 2 20 0 15 0 417290061 11086319616 53373 33554432000 4194304 4196468 140729189141040 139816284973392 139817552267163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11234] ppid=11169 vsize=10826484 memory=56 CPUtime=0.9 cores=0,2,4,6
/proc/11172/task/11234/stat : 11234 (java) R 11169 11172 7264 0 -1 4202560 8599 13559 0 0 82 1 5 2 20 0 15 0 417290061 11086319616 53373 33554432000 4194304 4196468 140729189141040 139816976965800 139817537170393 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11235] ppid=11169 vsize=10826484 memory=2670038 CPUtime=0.93 cores=0,2,4,6
/proc/11172/task/11235/stat : 11235 (java) R 11169 11172 7264 0 -1 4202560 7881 13559 0 0 85 1 5 2 20 0 15 0 417290061 11086319616 53373 33554432000 4194304 4196468 140729189141040 139816975912024 139817531492361 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11236] ppid=11169 vsize=10826484 memory=2671444 CPUtime=0.46 cores=0,2,4,6
/proc/11172/task/11236/stat : 11236 (java) S 11169 11172 7264 0 -1 1077944384 1523 13559 0 0 39 0 5 2 20 0 15 0 417290061 11086319616 53373 33554432000 4194304 4196468 140729189141040 139816974874736 139817552259714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11237] ppid=11169 vsize=10826484 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11237/stat : 11237 (java) S 11169 11172 7264 0 -1 1077944384 3 13559 0 0 0 0 5 2 20 0 15 0 417290061 11086319616 53373 33554432000 4194304 4196468 140729189141040 139815815211232 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11238] ppid=11169 vsize=10826484 memory=280673160025920 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11238/stat : 11238 (java) S 11169 11172 7264 0 -1 1077944384 1 13559 0 0 0 0 5 2 20 0 15 0 417290062 11086319616 53373 33554432000 4194304 4196468 140729189141040 139816973823152 139817552259714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
Current children cumulated CPU time: 3.56 s
Current children cumulated vsize: 10826484 KiB
################
# More data... #
################
/proc/11172/task/11225/stat : 11225 (java) R 11169 11172 7264 0 -1 4202560 139135 13559 0 0 236513 58 5 2 20 0 15 0 417290055 11109408768 481461 33554432000 4194304 4196468 140729189141040 139817524083664 139817115277216 0 4 0 16800975 0 0 0 -1 4 0 0 15 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11226] ppid=11169 vsize=10849032 memory=1915124 CPUtime=12.77 cores=0,2,4,6
/proc/11172/task/11226/stat : 11226 (java) S 11169 11172 7264 0 -1 1077944384 41101 13559 0 0 1228 42 5 2 20 0 15 0 417290056 11109408768 481461 33554432000 4194304 4196468 140729189141040 139817556490896 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11227] ppid=11169 vsize=10849032 memory=1917108 CPUtime=12.74 cores=0,2,4,6
/proc/11172/task/11227/stat : 11227 (java) S 11169 11172 7264 0 -1 1077944384 51042 13559 0 0 1224 43 5 2 20 0 15 0 417290056 11109408768 481461 33554432000 4194304 4196468 140729189141040 139817444764176 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11228] ppid=11169 vsize=10849032 memory=1925844 CPUtime=12.75 cores=0,2,4,6
/proc/11172/task/11228/stat : 11228 (java) S 11169 11172 7264 0 -1 1077944384 45007 13559 0 0 1224 44 5 2 20 0 15 0 417290056 11109408768 481461 33554432000 4194304 4196468 140729189141040 139817443711376 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11229] ppid=11169 vsize=10849032 memory=1925844 CPUtime=12.75 cores=0,2,4,6
/proc/11172/task/11229/stat : 11229 (java) S 11169 11172 7264 0 -1 1077944384 41138 13559 0 0 1225 43 5 2 20 0 15 0 417290056 11109408768 481461 33554432000 4194304 4196468 140729189141040 139817442658576 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11230] ppid=11169 vsize=10849032 memory=1925844 CPUtime=2.19 cores=0,2,4,6
/proc/11172/task/11230/stat : 11230 (java) S 11169 11172 7264 0 -1 1077944384 29063 13559 0 0 187 25 5 2 20 0 15 0 417290058 11109408768 481461 33554432000 4194304 4196468 140729189141040 139817011592048 139817552259714 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11231] ppid=11169 vsize=10849032 memory=1917108 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11231/stat : 11231 (java) S 11169 11172 7264 0 -1 1077944384 62 13559 0 0 0 0 5 2 20 0 15 0 417290058 11109408768 481461 33554432000 4194304 4196468 140729189141040 139817010538080 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11232] ppid=11169 vsize=10849032 memory=1917108 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11232/stat : 11232 (java) S 11169 11172 7264 0 -1 1077944384 12 13559 0 0 0 0 5 2 20 0 15 0 417290058 11109408768 481461 33554432000 4194304 4196468 140729189141040 139816888952192 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11233] ppid=11169 vsize=10849032 memory=1915124 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11233/stat : 11233 (java) S 11169 11172 7264 0 -1 1077944384 2 13559 0 0 0 0 5 2 20 0 15 0 417290061 11109408768 481461 33554432000 4194304 4196468 140729189141040 139816284973392 139817552267163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11234] ppid=11169 vsize=10849032 memory=1915124 CPUtime=7.95 cores=0,2,4,6
/proc/11172/task/11234/stat : 11234 (java) S 11169 11172 7264 0 -1 1077944384 51560 13559 0 0 782 6 5 2 20 0 15 0 417290061 11109408768 481461 33554432000 4194304 4196468 140729189141040 139816976980336 139817552259714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 28 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11235] ppid=11169 vsize=10849032 memory=1925844 CPUtime=8.78 cores=0,2,4,6
/proc/11172/task/11235/stat : 11235 (java) S 11169 11172 7264 0 -1 1077944384 57422 13559 0 0 864 7 5 2 20 0 15 0 417290061 11109408768 481461 33554432000 4194304 4196468 140729189141040 139816975927536 139817552259714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11236] ppid=11169 vsize=10849032 memory=26196 CPUtime=2.65 cores=0,2,4,6
/proc/11172/task/11236/stat : 11236 (java) S 11169 11172 7264 0 -1 1077944384 77868 13559 0 0 252 6 5 2 20 0 15 0 417290061 11109408768 481461 33554432000 4194304 4196468 140729189141040 139816974874736 139817552259714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 52 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11237] ppid=11169 vsize=10849032 memory=26196 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11237/stat : 11237 (java) S 11169 11172 7264 0 -1 1077944384 3 13559 0 0 0 0 5 2 20 0 15 0 417290061 11109408768 481461 33554432000 4194304 4196468 140729189141040 139815815211232 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11238] ppid=11169 vsize=10849032 memory=984 CPUtime=1.2 cores=0,2,4,6
/proc/11172/task/11238/stat : 11238 (java) S 11169 11172 7264 0 -1 1077944384 2100 13559 0 0 60 53 5 2 20 0 15 0 417290062 11109408768 481461 33554432000 4194304 4196468 140729189141040 139816973823152 139817552259714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 52 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
Current children cumulated CPU time: 2439.05 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 1925844 KiB
[startup+2442.3 s]
/proc/loadavg: 1.20 1.41 1.49 3/227 11743
/proc/meminfo: memFree=28184952/32770624 swapFree=66997452/67108860
[pid=11172] ppid=11169 vsize=10849032 memory=1922084 CPUtime=2500.23 cores=0,2,4,6
/proc/11172/stat : 11172 (java) S 11169 11172 7264 0 -1 1077944320 541384 13559 0 0 249704 312 5 2 20 0 15 0 417290046 11109408768 480521 33554432000 4194304 4196468 140729189141040 140729189123584 139817552248567 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
/proc/11172/statm: 2712258 480521 3637 1 0 2674317 0
[pid=11172/tid=11225] ppid=11169 vsize=10849032 memory=1924136 CPUtime=2425.24 cores=0,2,4,6
/proc/11172/task/11225/stat : 11225 (java) R 11169 11172 7264 0 -1 4202560 140176 13559 0 0 242459 58 5 2 20 0 15 0 417290055 11109408768 480521 33554432000 4194304 4196468 140729189141040 139817524083568 139817119395808 0 4 0 16800975 0 0 0 -1 2 0 0 15 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11226] ppid=11169 vsize=10849032 memory=1921068 CPUtime=13.17 cores=0,2,4,6
/proc/11172/task/11226/stat : 11226 (java) S 11169 11172 7264 0 -1 1077944384 41601 13559 0 0 1268 42 5 2 20 0 15 0 417290056 11109408768 480521 33554432000 4194304 4196468 140729189141040 139817556490896 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11227] ppid=11169 vsize=10849032 memory=1921068 CPUtime=13.15 cores=0,2,4,6
/proc/11172/task/11227/stat : 11227 (java) S 11169 11172 7264 0 -1 1077944384 51566 13559 0 0 1264 44 5 2 20 0 15 0 417290056 11109408768 480521 33554432000 4194304 4196468 140729189141040 139817444764176 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11228] ppid=11169 vsize=10849032 memory=1921068 CPUtime=13.15 cores=0,2,4,6
/proc/11172/task/11228/stat : 11228 (java) S 11169 11172 7264 0 -1 1077944384 45401 13559 0 0 1264 44 5 2 20 0 15 0 417290056 11109408768 480521 33554432000 4194304 4196468 140729189141040 139817443711376 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11229] ppid=11169 vsize=10849032 memory=1921068 CPUtime=13.15 cores=0,2,4,6
/proc/11172/task/11229/stat : 11229 (java) S 11169 11172 7264 0 -1 1077944384 42062 13559 0 0 1265 43 5 2 20 0 15 0 417290056 11109408768 480521 33554432000 4194304 4196468 140729189141040 139817442658576 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11230] ppid=11169 vsize=10849032 memory=1924136 CPUtime=2.27 cores=0,2,4,6
/proc/11172/task/11230/stat : 11230 (java) S 11169 11172 7264 0 -1 1077944384 29319 13559 0 0 195 25 5 2 20 0 15 0 417290058 11109408768 480521 33554432000 4194304 4196468 140729189141040 139817011592048 139817552259714 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11231] ppid=11169 vsize=10849032 memory=1924136 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11231/stat : 11231 (java) S 11169 11172 7264 0 -1 1077944384 62 13559 0 0 0 0 5 2 20 0 15 0 417290058 11109408768 480521 33554432000 4194304 4196468 140729189141040 139817010538080 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11232] ppid=11169 vsize=10849032 memory=1921068 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11232/stat : 11232 (java) S 11169 11172 7264 0 -1 1077944384 12 13559 0 0 0 0 5 2 20 0 15 0 417290058 11109408768 480521 33554432000 4194304 4196468 140729189141040 139816888952192 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11233] ppid=11169 vsize=10849032 memory=1922084 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11233/stat : 11233 (java) S 11169 11172 7264 0 -1 1077944384 2 13559 0 0 0 0 5 2 20 0 15 0 417290061 11109408768 480521 33554432000 4194304 4196468 140729189141040 139816284973392 139817552267163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11234] ppid=11169 vsize=10849032 memory=1921068 CPUtime=7.95 cores=0,2,4,6
/proc/11172/task/11234/stat : 11234 (java) S 11169 11172 7264 0 -1 1077944384 51562 13559 0 0 782 6 5 2 20 0 15 0 417290061 11109408768 480521 33554432000 4194304 4196468 140729189141040 139816976980336 139817552259714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 28 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11235] ppid=11169 vsize=10849032 memory=0 CPUtime=8.78 cores=0,2,4,6
/proc/11172/task/11235/stat : 11235 (java) S 11169 11172 7264 0 -1 1077944384 57424 13559 0 0 864 7 5 2 20 0 15 0 417290061 11109408768 480521 33554432000 4194304 4196468 140729189141040 139816975927536 139817552259714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11236] ppid=11169 vsize=10849032 memory=6791534058613427641 CPUtime=2.65 cores=0,2,4,6
/proc/11172/task/11236/stat : 11236 (java) S 11169 11172 7264 0 -1 1077944384 77870 13559 0 0 252 6 5 2 20 0 15 0 417290061 11109408768 480521 33554432000 4194304 4196468 140729189141040 139816974874736 139817552259714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 52 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11237] ppid=11169 vsize=10849032 memory=288230617509003574 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11237/stat : 11237 (java) S 11169 11172 7264 0 -1 1077944384 3 13559 0 0 0 0 5 2 20 0 15 0 417290061 11109408768 480521 33554432000 4194304 4196468 140729189141040 139815815211232 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11238] ppid=11169 vsize=10849032 memory=1921068 CPUtime=1.24 cores=0,2,4,6
/proc/11172/task/11238/stat : 11238 (java) S 11169 11172 7264 0 -1 1077944384 2118 13559 0 0 62 55 5 2 20 0 15 0 417290062 11109408768 480521 33554432000 4194304 4196468 140729189141040 139816973823152 139817552259714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 52 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
Current children cumulated CPU time: 2500.23 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 1922084 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2461.8 s]
/proc/loadavg: 1.22 1.40 1.49 3/227 11743
/proc/meminfo: memFree=28227012/32770624 swapFree=66997452/67108860
[pid=11172] ppid=11169 vsize=10849032 memory=1892332 CPUtime=2520.08 cores=0,2,4,6
/proc/11172/stat : 11172 (java) S 11169 11172 7264 0 -1 1077944320 544545 13559 0 0 251688 313 5 2 20 0 15 0 417290046 11109408768 473083 33554432000 4194304 4196468 140729189141040 140729189123584 139817552248567 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
/proc/11172/statm: 2712258 473083 3637 1 0 2674317 0
[pid=11172/tid=11225] ppid=11169 vsize=10849032 memory=6791534058613427641 CPUtime=2444.56 cores=0,2,4,6
/proc/11172/task/11225/stat : 11225 (java) R 11169 11172 7264 0 -1 4202560 141002 13559 0 0 244391 58 5 2 20 0 15 0 417290055 11109408768 473083 33554432000 4194304 4196468 140729189141040 139817524083664 139817124418914 0 4 0 16800975 0 0 0 -1 2 0 0 15 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11226] ppid=11169 vsize=10849032 memory=2116 CPUtime=13.3 cores=0,2,4,6
/proc/11172/task/11226/stat : 11226 (java) S 11169 11172 7264 0 -1 1077944384 42451 13559 0 0 1280 43 5 2 20 0 15 0 417290056 11109408768 473083 33554432000 4194304 4196468 140729189141040 139817556490896 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11227] ppid=11169 vsize=10849032 memory=10284 CPUtime=13.28 cores=0,2,4,6
/proc/11172/task/11227/stat : 11227 (java) S 11169 11172 7264 0 -1 1077944384 51908 13559 0 0 1277 44 5 2 20 0 15 0 417290056 11109408768 473083 33554432000 4194304 4196468 140729189141040 139817444764176 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11228] ppid=11169 vsize=10849032 memory=12024 CPUtime=13.27 cores=0,2,4,6
/proc/11172/task/11228/stat : 11228 (java) S 11169 11172 7264 0 -1 1077944384 45798 13559 0 0 1276 44 5 2 20 0 15 0 417290056 11109408768 473083 33554432000 4194304 4196468 140729189141040 139817443711376 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11229] ppid=11169 vsize=10849032 memory=1556 CPUtime=13.27 cores=0,2,4,6
/proc/11172/task/11229/stat : 11229 (java) S 11169 11172 7264 0 -1 1077944384 42568 13559 0 0 1277 43 5 2 20 0 15 0 417290056 11109408768 473083 33554432000 4194304 4196468 140729189141040 139817442658576 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11230] ppid=11169 vsize=10849032 memory=6791534058613427641 CPUtime=2.3 cores=0,2,4,6
/proc/11172/task/11230/stat : 11230 (java) S 11169 11172 7264 0 -1 1077944384 29537 13559 0 0 197 26 5 2 20 0 15 0 417290058 11109408768 473083 33554432000 4194304 4196468 140729189141040 139817011592048 139817552259714 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11231] ppid=11169 vsize=10849032 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11231/stat : 11231 (java) S 11169 11172 7264 0 -1 1077944384 62 13559 0 0 0 0 5 2 20 0 15 0 417290058 11109408768 473083 33554432000 4194304 4196468 140729189141040 139817010538080 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11232] ppid=11169 vsize=10849032 memory=107 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11232/stat : 11232 (java) S 11169 11172 7264 0 -1 1077944384 12 13559 0 0 0 0 5 2 20 0 15 0 417290058 11109408768 473083 33554432000 4194304 4196468 140729189141040 139816888952192 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11233] ppid=11169 vsize=10849032 memory=2049 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11233/stat : 11233 (java) S 11169 11172 7264 0 -1 1077944384 2 13559 0 0 0 0 5 2 20 0 15 0 417290061 11109408768 473083 33554432000 4194304 4196468 140729189141040 139816284973392 139817552267163 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11234] ppid=11169 vsize=10849032 memory=590 CPUtime=7.95 cores=0,2,4,6
/proc/11172/task/11234/stat : 11234 (java) S 11169 11172 7264 0 -1 1077944384 51564 13559 0 0 782 6 5 2 20 0 15 0 417290061 11109408768 473083 33554432000 4194304 4196468 140729189141040 139816976980336 139817552259714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 28 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11235] ppid=11169 vsize=10849032 memory=16127 CPUtime=8.78 cores=0,2,4,6
/proc/11172/task/11235/stat : 11235 (java) S 11169 11172 7264 0 -1 1077944384 57426 13559 0 0 864 7 5 2 20 0 15 0 417290061 11109408768 473083 33554432000 4194304 4196468 140729189141040 139816975927536 139817552259714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11236] ppid=11169 vsize=10849032 memory=500 CPUtime=2.65 cores=0,2,4,6
/proc/11172/task/11236/stat : 11236 (java) S 11169 11172 7264 0 -1 1077944384 77872 13559 0 0 252 6 5 2 20 0 15 0 417290061 11109408768 473083 33554432000 4194304 4196468 140729189141040 139816974874736 139817552259714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 52 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11237] ppid=11169 vsize=10849032 memory=928 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11237/stat : 11237 (java) S 11169 11172 7264 0 -1 1077944384 3 13559 0 0 0 0 5 2 20 0 15 0 417290061 11109408768 473083 33554432000 4194304 4196468 140729189141040 139815815211232 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11238] ppid=11169 vsize=10849032 memory=1528 CPUtime=1.24 cores=0,2,4,6
/proc/11172/task/11238/stat : 11238 (java) S 11169 11172 7264 0 -1 1077944384 2134 13559 0 0 62 55 5 2 20 0 15 0 417290062 11109408768 473083 33554432000 4194304 4196468 140729189141040 139816973823152 139817552259714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 52 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 1892332 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2461.94 s]
# the end of solver process 11172 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.08 s, system=3.18023 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2461.91 s]
/proc/loadavg: 1.22 1.40 1.49 3/227 11743
/proc/meminfo: memFree=28227012/32770624 swapFree=66997452/67108860
[pid=11172] ppid=11169 vsize=11045648 memory=1896432 CPUtime=2520.19 cores=0,2,4,6
/proc/11172/stat : 11172 (java) S 11169 11172 7264 0 -1 1077944320 544693 13559 0 0 251699 313 5 2 20 0 17 0 417290046 11310743552 474108 33554432000 4194304 4196468 140729189141040 140729189123584 139817552248567 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
/proc/11172/statm: 2761412 474108 3637 1 0 2723471 0
[pid=11172/tid=11225] ppid=11169 vsize=11045648 memory=1893356 CPUtime=2444.66 cores=0,2,4,6
/proc/11172/task/11225/stat : 11225 (java) R 11169 11172 7264 0 -1 4202560 141002 13559 0 0 244401 58 5 2 20 0 17 0 417290055 11310743552 474108 33554432000 4194304 4196468 140729189141040 139817524083664 139817113358562 0 4 0 16800975 0 0 0 -1 2 0 0 15 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11226] ppid=11169 vsize=11045648 memory=1894384 CPUtime=13.3 cores=0,2,4,6
/proc/11172/task/11226/stat : 11226 (java) S 11169 11172 7264 0 -1 1077944384 42451 13559 0 0 1280 43 5 2 20 0 17 0 417290056 11310743552 474108 33554432000 4194304 4196468 140729189141040 139817556490896 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11227] ppid=11169 vsize=11045648 memory=1897972 CPUtime=13.28 cores=0,2,4,6
/proc/11172/task/11227/stat : 11227 (java) S 11169 11172 7264 0 -1 1077944384 51908 13559 0 0 1277 44 5 2 20 0 17 0 417290056 11310743552 474108 33554432000 4194304 4196468 140729189141040 139817444764176 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11228] ppid=11169 vsize=11045648 memory=280673162051584 CPUtime=13.27 cores=0,2,4,6
/proc/11172/task/11228/stat : 11228 (java) S 11169 11172 7264 0 -1 1077944384 45798 13559 0 0 1276 44 5 2 20 0 17 0 417290056 11310743552 474108 33554432000 4194304 4196468 140729189141040 139817443711376 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11229] ppid=11169 vsize=11045648 memory=1948438758913 CPUtime=13.27 cores=0,2,4,6
/proc/11172/task/11229/stat : 11229 (java) S 11169 11172 7264 0 -1 1077944384 42568 13559 0 0 1277 43 5 2 20 0 17 0 417290056 11310743552 474108 33554432000 4194304 4196468 140729189141040 139817442658576 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11230] ppid=11169 vsize=11045648 memory=1893356 CPUtime=2.3 cores=0,2,4,6
/proc/11172/task/11230/stat : 11230 (java) S 11169 11172 7264 0 -1 1077944384 29537 13559 0 0 197 26 5 2 20 0 17 0 417290058 11310743552 474108 33554432000 4194304 4196468 140729189141040 139817011592048 139817552259714 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11231] ppid=11169 vsize=11045648 memory=1893356 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11231/stat : 11231 (java) S 11169 11172 7264 0 -1 1077944384 62 13559 0 0 0 0 5 2 20 0 17 0 417290058 11310743552 474108 33554432000 4194304 4196468 140729189141040 139817010538080 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11232] ppid=11169 vsize=11045648 memory=5924 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11232/stat : 11232 (java) S 11169 11172 7264 0 -1 1077944384 12 13559 0 0 0 0 5 2 20 0 17 0 417290058 11310743552 474108 33554432000 4194304 4196468 140729189141040 139816888952192 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11233] ppid=11169 vsize=11045648 memory=1894384 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11233/stat : 11233 (java) S 11169 11172 7264 0 -1 1077944384 90 13559 0 0 0 0 5 2 20 0 17 0 417290061 11310743552 474108 33554432000 4194304 4196468 140729189141040 139816284973392 139817552267163 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11234] ppid=11169 vsize=11045648 memory=1894384 CPUtime=7.95 cores=0,2,4,6
/proc/11172/task/11234/stat : 11234 (java) S 11169 11172 7264 0 -1 1077944384 51564 13559 0 0 782 6 5 2 20 0 17 0 417290061 11310743552 474108 33554432000 4194304 4196468 140729189141040 139816976980336 139817552259714 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 28 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11235] ppid=11169 vsize=11045648 memory=1925844 CPUtime=8.78 cores=0,2,4,6
/proc/11172/task/11235/stat : 11235 (java) S 11169 11172 7264 0 -1 1077944384 57426 13559 0 0 864 7 5 2 20 0 17 0 417290061 11310743552 474108 33554432000 4194304 4196468 140729189141040 139816975927536 139817552259714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11236] ppid=11169 vsize=11045648 memory=3539887805510925906 CPUtime=2.65 cores=0,2,4,6
/proc/11172/task/11236/stat : 11236 (java) S 11169 11172 7264 0 -1 1077944384 77872 13559 0 0 252 6 5 2 20 0 17 0 417290061 11310743552 474108 33554432000 4194304 4196468 140729189141040 139816974874736 139817552259714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 52 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11237] ppid=11169 vsize=11045648 memory=1448 CPUtime=0.07 cores=0,2,4,6
/proc/11172/task/11237/stat : 11237 (java) S 11169 11172 7264 0 -1 1077944384 3 13559 0 0 0 0 5 2 20 0 17 0 417290061 11310743552 474108 33554432000 4194304 4196468 140729189141040 139815815211232 139817552258773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
[pid=11172/tid=11238] ppid=11169 vsize=11045648 memory=876 CPUtime=1.24 cores=0,2,4,6
/proc/11172/task/11238/stat : 11238 (java) S 11169 11172 7264 0 -1 1077944384 2134 13559 0 0 62 55 5 2 20 0 17 0 417290062 11310743552 474108 33554432000 4194304 4196468 140729189141040 139816973823152 139817552259714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 52 0 0 6293624 6294260 30765056 140729189145327 140729189147845 140729189147845 140729189150671 0
Current children cumulated CPU time: 2520.19 s
Current children cumulated vsize: 11045648 KiB
Current children cumulated memory: 1896432 KiB
Child status: 143
Real time (s): 2461.94
CPU time (s): 2520.26
CPU user time (s): 2517.08
CPU system time (s): 3.18023
CPU usage (%): 102.369
Max. virtual memory (cumulated for all children) (KiB): 11045648
Max. memory (cumulated for all children) (KiB): 3551128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.08
system time used= 3.18023
maximum resident set size= 3551140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 558890
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104818
involuntary context switches= 7182
# summary of solver processes directly reported to runsolver:
# pid: 11172
# total CPU time (s): 2520.26
# total CPU user time (s): 2517.08
# total CPU system time (s): 3.18023
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.8557 second user time and 22.1341 second system time
The end