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 (14127 MiB free)
memory of node 1: 16384 MiB (9374 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4263228-1502622875/watcher-4263228-1502622875 -o /tmp/evaluation-result-4263228-1502622875/solver-4263228-1502622875 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node114-1502619125-747 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4263228-1502622875.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1204, runsolver pid=1201
[startup+0.100096 s]*
/proc/loadavg: 2.08 2.09 2.27 3/217 1219
/proc/meminfo: memFree=24045784/32770624 swapFree=67108860/67108860
[pid=1204] ppid=1201 vsize=10555400 memory=31344 CPUtime=0.12 cores=0,2,4,6
/proc/1204/stat : 1204 (java) S 1201 1204 30942 0 -1 1077944320 6362 0 0 0 11 1 0 0 20 0 15 0 95375329 10808729600 7836 33554432000 4194304 4196468 140733268031728 140733268014272 139886760771319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
/proc/1204/statm: 2638850 7836 2841 1 0 2627263 0
[pid=1204/tid=1206] ppid=1201 vsize=10555400 memory=7022364594140610616 CPUtime=0.09 cores=0,2,4,6
/proc/1204/task/1206/stat : 1206 (java) R 1201 1204 30942 0 -1 4202560 4227 0 0 0 8 1 0 0 20 0 15 0 95375329 10808729600 7836 33554432000 4194304 4196468 140733268031728 139886764992832 139886753022832 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1207] ppid=1201 vsize=10555400 memory=343 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1207/stat : 1207 (java) S 1201 1204 30942 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95375330 10808729600 7836 33554432000 4194304 4196468 140733268031728 139886686845584 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1208] ppid=1201 vsize=10555400 memory=140298251763297 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1208/stat : 1208 (java) S 1201 1204 30942 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95375330 10808729600 7836 33554432000 4194304 4196468 140733268031728 139886685792784 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1209] ppid=1201 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1209/stat : 1209 (java) S 1201 1204 30942 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95375330 10808729600 7836 33554432000 4194304 4196468 140733268031728 139886684739984 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1210] ppid=1201 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1210/stat : 1210 (java) S 1201 1204 30942 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95375330 10808729600 7836 33554432000 4194304 4196468 140733268031728 139886683687184 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1211] ppid=1201 vsize=10555400 memory=140298251748992 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1211/stat : 1211 (java) S 1201 1204 30942 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95375332 10808729600 7836 33554432000 4194304 4196468 140733268031728 139886253402992 139886760782466 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1212] ppid=1201 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1212/stat : 1212 (java) S 1201 1204 30942 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95375332 10808729600 7836 33554432000 4194304 4196468 140733268031728 139886252348960 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1213] ppid=1201 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1213/stat : 1213 (java) S 1201 1204 30942 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95375332 10808729600 7836 33554432000 4194304 4196468 140733268031728 139886251296112 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1214] ppid=1201 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1214/stat : 1214 (java) S 1201 1204 30942 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95375335 10808729600 7836 33554432000 4194304 4196468 140733268031728 139886250244432 139886760789915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1215] ppid=1201 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1215/stat : 1215 (java) S 1201 1204 30942 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 95375335 10808729600 7836 33554432000 4194304 4196468 140733268031728 139886249191792 139886760782466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1216] ppid=1201 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1216/stat : 1216 (java) S 1201 1204 30942 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 15 0 95375335 10808729600 7836 33554432000 4194304 4196468 140733268031728 139886248138992 139886760782466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1217] ppid=1201 vsize=10555400 memory=140298251748992 CPUtime=0.01 cores=0,2,4,6
/proc/1204/task/1217/stat : 1217 (java) R 1201 1204 30942 0 -1 4202560 350 0 0 0 1 0 0 0 20 0 15 0 95375335 10808729600 7836 33554432000 4194304 4196468 140733268031728 139886247086192 139886739392288 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1218] ppid=1201 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1218/stat : 1218 (java) S 1201 1204 30942 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95375335 10808729600 7836 33554432000 4194304 4196468 140733268031728 139886246033632 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1219] ppid=1201 vsize=10555400 memory=140298251748992 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1219/stat : 1219 (java) S 1201 1204 30942 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95375335 10808729600 7836 33554432000 4194304 4196468 140733268031728 139886244981936 139886760782466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 31344 KiB
[startup+0.210585 s]*
/proc/loadavg: 2.08 2.09 2.27 3/217 1219
/proc/meminfo: memFree=24037844/32770624 swapFree=67108860/67108860
[pid=1204] ppid=1201 vsize=10555400 memory=39880 CPUtime=0.29 cores=0,2,4,6
/proc/1204/stat : 1204 (java) S 1201 1204 30942 0 -1 1077944320 7480 0 0 0 28 1 0 0 20 0 15 0 95375329 10808729600 9970 33554432000 4194304 4196468 140733268031728 140733268014272 139886760771319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
/proc/1204/statm: 2638850 9970 2936 1 0 2627263 0
[pid=1204/tid=1206] ppid=1201 vsize=10555400 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/1204/task/1206/stat : 1206 (java) R 1201 1204 30942 0 -1 4202560 4694 0 0 0 19 1 0 0 20 0 15 0 95375329 10808729600 9970 33554432000 4194304 4196468 140733268031728 139886765003968 139886363487368 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1207] ppid=1201 vsize=10555400 memory=343 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1207/stat : 1207 (java) S 1201 1204 30942 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95375330 10808729600 9970 33554432000 4194304 4196468 140733268031728 139886686845584 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1208] ppid=1201 vsize=10555400 memory=140298251763297 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1208/stat : 1208 (java) S 1201 1204 30942 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95375330 10808729600 9970 33554432000 4194304 4196468 140733268031728 139886685792784 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1209] ppid=1201 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1209/stat : 1209 (java) S 1201 1204 30942 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95375330 10808729600 9970 33554432000 4194304 4196468 140733268031728 139886684739984 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1210] ppid=1201 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1210/stat : 1210 (java) S 1201 1204 30942 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95375330 10808729600 9970 33554432000 4194304 4196468 140733268031728 139886683687184 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1211] ppid=1201 vsize=10555400 memory=140298251748992 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1211/stat : 1211 (java) S 1201 1204 30942 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95375332 10808729600 9970 33554432000 4194304 4196468 140733268031728 139886253402992 139886760782466 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1212] ppid=1201 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1212/stat : 1212 (java) S 1201 1204 30942 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95375332 10808729600 9970 33554432000 4194304 4196468 140733268031728 139886252348960 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1213] ppid=1201 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1213/stat : 1213 (java) S 1201 1204 30942 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95375332 10808729600 9970 33554432000 4194304 4196468 140733268031728 139886251296112 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1214] ppid=1201 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1214/stat : 1214 (java) S 1201 1204 30942 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95375335 10808729600 9970 33554432000 4194304 4196468 140733268031728 139886250244432 139886760789915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1215] ppid=1201 vsize=10555400 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/1204/task/1215/stat : 1215 (java) S 1201 1204 30942 0 -1 1077944384 411 0 0 0 1 0 0 0 20 0 15 0 95375335 10808729600 9970 33554432000 4194304 4196468 140733268031728 139886249191792 139886760782466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1216] ppid=1201 vsize=10555400 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/1204/task/1216/stat : 1216 (java) S 1201 1204 30942 0 -1 1077944384 205 0 0 0 1 0 0 0 20 0 15 0 95375335 10808729600 9970 33554432000 4194304 4196468 140733268031728 139886248138992 139886760782466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1217] ppid=1201 vsize=10555400 memory=140298251748992 CPUtime=0.05 cores=0,2,4,6
/proc/1204/task/1217/stat : 1217 (java) R 1201 1204 30942 0 -1 4202560 811 0 0 0 5 0 0 0 20 0 15 0 95375335 10808729600 9970 33554432000 4194304 4196468 140733268031728 139886247086192 139886744851806 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1218] ppid=1201 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1218/stat : 1218 (java) S 1201 1204 30942 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95375335 10808729600 9970 33554432000 4194304 4196468 140733268031728 139886246033632 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1219] ppid=1201 vsize=10555400 memory=140298251748992 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1219/stat : 1219 (java) S 1201 1204 30942 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95375335 10808729600 9970 33554432000 4194304 4196468 140733268031728 139886244981936 139886760782466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 39880 KiB
[startup+0.310199 s]*
/proc/loadavg: 2.08 2.09 2.27 5/217 1219
/proc/meminfo: memFree=24031020/32770624 swapFree=67108860/67108860
[pid=1204] ppid=1201 vsize=10555476 memory=47032 CPUtime=0.52 cores=0,2,4,6
/proc/1204/stat : 1204 (java) S 1201 1204 30942 0 -1 1077944320 8231 0 0 0 50 2 0 0 20 0 15 0 95375329 10808807424 11758 33554432000 4194304 4196468 140733268031728 140733268014272 139886760771319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
/proc/1204/statm: 2638869 11758 3044 1 0 2627263 0
[pid=1204/tid=1206] ppid=1201 vsize=10555476 memory=6935054825532540783 CPUtime=0.3 cores=0,2,4,6
/proc/1204/task/1206/stat : 1206 (java) R 1201 1204 30942 0 -1 4202560 5067 0 0 0 29 1 0 0 20 0 15 0 95375329 10808807424 11758 33554432000 4194304 4196468 140733268031728 139886765007840 139886363512737 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1207] ppid=1201 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1207/stat : 1207 (java) S 1201 1204 30942 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95375330 10808807424 11758 33554432000 4194304 4196468 140733268031728 139886686845584 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1208] ppid=1201 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1208/stat : 1208 (java) S 1201 1204 30942 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95375330 10808807424 11758 33554432000 4194304 4196468 140733268031728 139886685792784 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1209] ppid=1201 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1209/stat : 1209 (java) S 1201 1204 30942 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95375330 10808807424 11758 33554432000 4194304 4196468 140733268031728 139886684739984 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1210] ppid=1201 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1210/stat : 1210 (java) S 1201 1204 30942 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95375330 10808807424 11758 33554432000 4194304 4196468 140733268031728 139886683687184 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1211] ppid=1201 vsize=10555476 memory=140298251748992 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1211/stat : 1211 (java) S 1201 1204 30942 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95375332 10808807424 11758 33554432000 4194304 4196468 140733268031728 139886253402992 139886760782466 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1212] ppid=1201 vsize=10555476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1212/stat : 1212 (java) S 1201 1204 30942 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95375332 10808807424 11758 33554432000 4194304 4196468 140733268031728 139886252348960 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1213] ppid=1201 vsize=10555476 memory=280596253435840 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1213/stat : 1213 (java) S 1201 1204 30942 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95375332 10808807424 11758 33554432000 4194304 4196468 140733268031728 139886251296112 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1214] ppid=1201 vsize=10555476 memory=2273 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1214/stat : 1214 (java) S 1201 1204 30942 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95375335 10808807424 11758 33554432000 4194304 4196468 140733268031728 139886250244432 139886760789915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1215] ppid=1201 vsize=10555476 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/1204/task/1215/stat : 1215 (java) R 1201 1204 30942 0 -1 1077944384 531 0 0 0 4 0 0 0 20 0 15 0 95375335 10808807424 11758 33554432000 4194304 4196468 140733268031728 139886249191792 139886760782466 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1216] ppid=1201 vsize=10555476 memory=140298126625119 CPUtime=0.04 cores=0,2,4,6
/proc/1204/task/1216/stat : 1216 (java) S 1201 1204 30942 0 -1 1077944384 343 0 0 0 4 0 0 0 20 0 15 0 95375335 10808807424 11758 33554432000 4194304 4196468 140733268031728 139886248138992 139886760782466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1217] ppid=1201 vsize=10555476 memory=140298251748992 CPUtime=0.12 cores=0,2,4,6
/proc/1204/task/1217/stat : 1217 (java) S 1201 1204 30942 0 -1 1077944384 929 0 0 0 12 0 0 0 20 0 15 0 95375335 10808807424 11758 33554432000 4194304 4196468 140733268031728 139886247086192 139886760782466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1218] ppid=1201 vsize=10555476 memory=140298126630303 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1218/stat : 1218 (java) S 1201 1204 30942 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95375335 10808807424 11758 33554432000 4194304 4196468 140733268031728 139886246033632 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1219] ppid=1201 vsize=10555476 memory=140298347124321 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1219/stat : 1219 (java) S 1201 1204 30942 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95375335 10808807424 11758 33554432000 4194304 4196468 140733268031728 139886244981936 139886760782466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 47032 KiB
[startup+0.70484 s]
/proc/loadavg: 2.08 2.09 2.27 5/217 1219
/proc/meminfo: memFree=23965040/32770624 swapFree=67108860/67108860
[pid=1204] ppid=1201 vsize=10555476 memory=217612 CPUtime=1.73 cores=0,2,4,6
/proc/1204/stat : 1204 (java) S 1201 1204 30942 0 -1 1077944320 11815 0 0 0 166 7 0 0 20 0 15 0 95375329 10808807424 54403 33554432000 4194304 4196468 140733268031728 140733268014272 139886760771319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
/proc/1204/statm: 2638869 54403 3095 1 0 2627263 0
[pid=1204/tid=1206] ppid=1201 vsize=10555476 memory=0 CPUtime=0.64 cores=0,2,4,6
/proc/1204/task/1206/stat : 1206 (java) S 1201 1204 30942 0 -1 1077944384 5403 0 0 0 61 3 0 0 20 0 15 0 95375329 10808807424 54403 33554432000 4194304 4196468 140733268031728 139886764989616 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1207] ppid=1201 vsize=10555476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/1204/task/1207/stat : 1207 (java) R 1201 1204 30942 0 -1 4202560 21 0 0 0 1 0 0 0 20 0 15 0 95375330 10808807424 54403 33554432000 4194304 4196468 140733268031728 139886686843384 139886745795043 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1208] ppid=1201 vsize=10555476 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/1204/task/1208/stat : 1208 (java) R 1201 1204 30942 0 -1 4202560 27 0 0 0 3 0 0 0 20 0 15 0 95375330 10808807424 54403 33554432000 4194304 4196468 140733268031728 139886685792784 139886745799193 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1209] ppid=1201 vsize=10555476 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/1204/task/1209/stat : 1209 (java) R 1201 1204 30942 0 -1 4202560 34 0 0 0 3 0 0 0 20 0 15 0 95375330 10808807424 54403 33554432000 4194304 4196468 140733268031728 139886684737616 139886745799202 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1210] ppid=1201 vsize=10555476 memory=8319106358720278582 CPUtime=0.01 cores=0,2,4,6
/proc/1204/task/1210/stat : 1210 (java) R 1201 1204 30942 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 15 0 95375330 10808807424 54403 33554432000 4194304 4196468 140733268031728 139886683687072 139886745793440 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1211] ppid=1201 vsize=10555476 memory=6003407431529424466 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1211/stat : 1211 (java) S 1201 1204 30942 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 95375332 10808807424 54403 33554432000 4194304 4196468 140733268031728 139886253401504 139886760781525 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1212] ppid=1201 vsize=10555476 memory=7594873740214157412 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1212/stat : 1212 (java) S 1201 1204 30942 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95375332 10808807424 54403 33554432000 4194304 4196468 140733268031728 139886252348960 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1213] ppid=1201 vsize=10555476 memory=5860981183527407972 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1213/stat : 1213 (java) S 1201 1204 30942 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95375332 10808807424 54915 33554432000 4194304 4196468 140733268031728 139886251296112 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1214] ppid=1201 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1214/stat : 1214 (java) S 1201 1204 30942 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95375335 10808807424 54915 33554432000 4194304 4196468 140733268031728 139886250244432 139886760789915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1215] ppid=1201 vsize=10555476 memory=0 CPUtime=0.34 cores=0,2,4,6
/proc/1204/task/1215/stat : 1215 (java) S 1201 1204 30942 0 -1 1077944384 1890 0 0 0 34 0 0 0 20 0 15 0 95375335 10808807424 54915 33554432000 4194304 4196468 140733268031728 139886249183072 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1216] ppid=1201 vsize=10555476 memory=15608 CPUtime=0.35 cores=0,2,4,6
/proc/1204/task/1216/stat : 1216 (java) S 1201 1204 30942 0 -1 1077944384 1427 0 0 0 35 0 0 0 20 0 15 0 95375335 10808807424 54915 33554432000 4194304 4196468 140733268031728 139886248130272 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1217] ppid=1201 vsize=10555476 memory=1236 CPUtime=0.24 cores=0,2,4,6
/proc/1204/task/1217/stat : 1217 (java) S 1201 1204 30942 0 -1 1077944384 1630 0 0 0 24 0 0 0 20 0 15 0 95375335 10808807424 54915 33554432000 4194304 4196468 140733268031728 139886247086192 139886760782466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1218] ppid=1201 vsize=10555476 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1218/stat : 1218 (java) S 1201 1204 30942 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95375335 10808807424 54915 33554432000 4194304 4196468 140733268031728 139886246033632 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1219] ppid=1201 vsize=10555476 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1219/stat : 1219 (java) S 1201 1204 30942 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95375335 10808807424 54915 33554432000 4194304 4196468 140733268031728 139886244981936 139886760782466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 217612 KiB
[startup+1.50078 s]
/proc/loadavg: 2.08 2.09 2.27 4/217 1219
/proc/meminfo: memFree=23779860/32770624 swapFree=67108860/67108860
[pid=1204] ppid=1201 vsize=10555476 memory=468944 CPUtime=3.77 cores=0,2,4,6
/proc/1204/stat : 1204 (java) S 1201 1204 30942 0 -1 1077944320 13523 0 0 0 350 27 0 0 20 0 15 0 95375329 10808807424 117236 33554432000 4194304 4196468 140733268031728 140733268014272 139886760771319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
/proc/1204/statm: 2638869 117236 3135 1 0 2627263 0
[pid=1204/tid=1206] ppid=1201 vsize=10555476 memory=359460 CPUtime=1.28 cores=0,2,4,6
/proc/1204/task/1206/stat : 1206 (java) R 1201 1204 30942 0 -1 4202560 5465 0 0 0 123 5 0 0 20 0 15 0 95375329 10808807424 117236 33554432000 4194304 4196468 140733268031728 139886765010032 139886367133248 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1207] ppid=1201 vsize=10555476 memory=1236 CPUtime=0.16 cores=0,2,4,6
/proc/1204/task/1207/stat : 1207 (java) S 1201 1204 30942 0 -1 1077944384 155 0 0 0 12 4 0 0 20 0 15 0 95375330 10808807424 117236 33554432000 4194304 4196468 140733268031728 139886686845584 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1208] ppid=1201 vsize=10555476 memory=1792 CPUtime=0.19 cores=0,2,4,6
/proc/1204/task/1208/stat : 1208 (java) S 1201 1204 30942 0 -1 1077944384 167 0 0 0 14 5 0 0 20 0 15 0 95375330 10808807424 117236 33554432000 4194304 4196468 140733268031728 139886685792784 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1209] ppid=1201 vsize=10555476 memory=1156 CPUtime=0.18 cores=0,2,4,6
/proc/1204/task/1209/stat : 1209 (java) S 1201 1204 30942 0 -1 1077944384 166 0 0 0 14 4 0 0 20 0 15 0 95375330 10808807424 117236 33554432000 4194304 4196468 140733268031728 139886684739984 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1210] ppid=1201 vsize=10555476 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/1204/task/1210/stat : 1210 (java) S 1201 1204 30942 0 -1 1077944384 173 0 0 0 11 4 0 0 20 0 15 0 95375330 10808807424 117236 33554432000 4194304 4196468 140733268031728 139886683687184 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1211] ppid=1201 vsize=10555476 memory=145499332293242 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1211/stat : 1211 (java) S 1201 1204 30942 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 15 0 95375332 10808807424 117236 33554432000 4194304 4196468 140733268031728 139886253402992 139886760782466 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
################
# More data... #
################
/proc/1204/task/1209/stat : 1209 (java) S 1201 1204 30942 0 -1 1077944384 2071 0 0 0 171 33 0 0 20 0 16 0 95375330 10876968960 520279 33554432000 4194304 4196468 140733268031728 139886684739984 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1210] ppid=1201 vsize=10622040 memory=2081116 CPUtime=2 cores=0,2,4,6
/proc/1204/task/1210/stat : 1210 (java) S 1201 1204 30942 0 -1 1077944384 2555 0 0 0 167 33 0 0 20 0 16 0 95375330 10876968960 520279 33554432000 4194304 4196468 140733268031728 139886683687184 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1211] ppid=1201 vsize=10622040 memory=2081116 CPUtime=0.61 cores=0,2,4,6
/proc/1204/task/1211/stat : 1211 (java) S 1201 1204 30942 0 -1 1077944384 9563 0 0 0 58 3 0 0 20 0 16 0 95375332 10876968960 520279 33554432000 4194304 4196468 140733268031728 139886253402992 139886760782466 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1212] ppid=1201 vsize=10622040 memory=2081116 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1212/stat : 1212 (java) S 1201 1204 30942 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 16 0 95375332 10876968960 520279 33554432000 4194304 4196468 140733268031728 139886252349024 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1213] ppid=1201 vsize=10622040 memory=2081116 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1213/stat : 1213 (java) S 1201 1204 30942 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 95375332 10876968960 520279 33554432000 4194304 4196468 140733268031728 139886251296128 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1214] ppid=1201 vsize=10622040 memory=2081116 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1214/stat : 1214 (java) S 1201 1204 30942 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95375335 10876968960 520279 33554432000 4194304 4196468 140733268031728 139886250244432 139886760789915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1215] ppid=1201 vsize=10622040 memory=2081116 CPUtime=1.65 cores=0,2,4,6
/proc/1204/task/1215/stat : 1215 (java) S 1201 1204 30942 0 -1 1077944384 8479 0 0 0 164 1 0 0 20 0 16 0 95375335 10876968960 520279 33554432000 4194304 4196468 140733268031728 139886249191792 139886760782466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1216] ppid=1201 vsize=10622040 memory=2081116 CPUtime=1.37 cores=0,2,4,6
/proc/1204/task/1216/stat : 1216 (java) S 1201 1204 30942 0 -1 1077944384 6625 0 0 0 136 1 0 0 20 0 16 0 95375335 10876968960 520279 33554432000 4194304 4196468 140733268031728 139886248138992 139886760782466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1217] ppid=1201 vsize=10622040 memory=2081116 CPUtime=0.4 cores=0,2,4,6
/proc/1204/task/1217/stat : 1217 (java) S 1201 1204 30942 0 -1 1077944384 4280 0 0 0 39 1 0 0 20 0 16 0 95375335 10876968960 520279 33554432000 4194304 4196468 140733268031728 139886247086192 139886760782466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1218] ppid=1201 vsize=10622040 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1218/stat : 1218 (java) S 1201 1204 30942 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95375335 10876968960 520279 33554432000 4194304 4196468 140733268031728 139886246033632 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1219] ppid=1201 vsize=10622040 memory=2081116 CPUtime=1.46 cores=0,2,4,6
/proc/1204/task/1219/stat : 1219 (java) S 1201 1204 30942 0 -1 1077944384 2050 0 0 0 69 77 0 0 20 0 16 0 95375335 10876968960 520279 33554432000 4194304 4196468 140733268031728 139886244981936 139886760782466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1220] ppid=1201 vsize=10622040 memory=2081116 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1220/stat : 1220 (java) S 1201 1204 30942 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95375597 10876968960 520279 33554432000 4194304 4196468 140733268031728 139886243927472 139886760782466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
Current children cumulated CPU time: 2453.67 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 2081116 KiB
[startup+2502.3 s]
/proc/loadavg: 2.02 2.04 2.39 3/217 1566
/proc/meminfo: memFree=17903252/32770624 swapFree=67108860/67108860
[pid=1204] ppid=1201 vsize=10622040 memory=2138460 CPUtime=2513.71 cores=0,2,4,6
/proc/1204/stat : 1204 (java) S 1201 1204 30942 0 -1 1077944320 93820 0 0 0 251152 219 0 0 20 0 16 0 95375329 10876968960 534615 33554432000 4194304 4196468 140733268031728 140733268014272 139886760771319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
/proc/1204/statm: 2655510 534615 3169 1 0 2643904 0
[pid=1204/tid=1206] ppid=1201 vsize=10622040 memory=2113884 CPUtime=2499.96 cores=0,2,4,6
/proc/1204/task/1206/stat : 1206 (java) R 1201 1204 30942 0 -1 4202560 52292 0 0 0 249977 19 0 0 20 0 16 0 95375329 10876968960 534615 33554432000 4194304 4196468 140733268031728 139886765010256 139886368147684 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1207] ppid=1201 vsize=10622040 memory=2109788 CPUtime=2.02 cores=0,2,4,6
/proc/1204/task/1207/stat : 1207 (java) S 1201 1204 30942 0 -1 1077944384 2372 0 0 0 170 32 0 0 20 0 16 0 95375330 10876968960 534615 33554432000 4194304 4196468 140733268031728 139886686845584 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1208] ppid=1201 vsize=10622040 memory=2115932 CPUtime=2.05 cores=0,2,4,6
/proc/1204/task/1208/stat : 1208 (java) S 1201 1204 30942 0 -1 1077944384 2075 0 0 0 172 33 0 0 20 0 16 0 95375330 10876968960 534615 33554432000 4194304 4196468 140733268031728 139886685792784 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1209] ppid=1201 vsize=10622040 memory=2115932 CPUtime=2.04 cores=0,2,4,6
/proc/1204/task/1209/stat : 1209 (java) S 1201 1204 30942 0 -1 1077944384 2071 0 0 0 171 33 0 0 20 0 16 0 95375330 10876968960 534615 33554432000 4194304 4196468 140733268031728 139886684739984 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1210] ppid=1201 vsize=10622040 memory=2122076 CPUtime=2 cores=0,2,4,6
/proc/1204/task/1210/stat : 1210 (java) S 1201 1204 30942 0 -1 1077944384 2555 0 0 0 167 33 0 0 20 0 16 0 95375330 10876968960 534615 33554432000 4194304 4196468 140733268031728 139886683687184 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1211] ppid=1201 vsize=10622040 memory=2138460 CPUtime=0.61 cores=0,2,4,6
/proc/1204/task/1211/stat : 1211 (java) S 1201 1204 30942 0 -1 1077944384 9570 0 0 0 58 3 0 0 20 0 16 0 95375332 10876968960 534615 33554432000 4194304 4196468 140733268031728 139886253402992 139886760782466 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1212] ppid=1201 vsize=10622040 memory=2138460 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1212/stat : 1212 (java) S 1201 1204 30942 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 16 0 95375332 10876968960 534615 33554432000 4194304 4196468 140733268031728 139886252349024 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1213] ppid=1201 vsize=10622040 memory=2132316 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1213/stat : 1213 (java) S 1201 1204 30942 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 95375332 10876968960 534615 33554432000 4194304 4196468 140733268031728 139886251296128 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1214] ppid=1201 vsize=10622040 memory=2132316 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1214/stat : 1214 (java) S 1201 1204 30942 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95375335 10876968960 534615 33554432000 4194304 4196468 140733268031728 139886250244432 139886760789915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1215] ppid=1201 vsize=10622040 memory=2132316 CPUtime=1.65 cores=0,2,4,6
/proc/1204/task/1215/stat : 1215 (java) S 1201 1204 30942 0 -1 1077944384 8485 0 0 0 164 1 0 0 20 0 16 0 95375335 10876968960 534615 33554432000 4194304 4196468 140733268031728 139886249191792 139886760782466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1216] ppid=1201 vsize=10622040 memory=27536 CPUtime=1.37 cores=0,2,4,6
/proc/1204/task/1216/stat : 1216 (java) S 1201 1204 30942 0 -1 1077944384 6629 0 0 0 136 1 0 0 20 0 16 0 95375335 10876968960 534615 33554432000 4194304 4196468 140733268031728 139886248138992 139886760782466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1217] ppid=1201 vsize=10622040 memory=1292 CPUtime=0.4 cores=0,2,4,6
/proc/1204/task/1217/stat : 1217 (java) S 1201 1204 30942 0 -1 1077944384 4284 0 0 0 39 1 0 0 20 0 16 0 95375335 10876968960 534615 33554432000 4194304 4196468 140733268031728 139886247086192 139886760782466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1218] ppid=1201 vsize=10622040 memory=2128220 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1218/stat : 1218 (java) S 1201 1204 30942 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95375335 10876968960 534615 33554432000 4194304 4196468 140733268031728 139886246033632 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1219] ppid=1201 vsize=10622040 memory=2126172 CPUtime=1.5 cores=0,2,4,6
/proc/1204/task/1219/stat : 1219 (java) S 1201 1204 30942 0 -1 1077944384 2082 0 0 0 70 80 0 0 20 0 16 0 95375335 10876968960 534615 33554432000 4194304 4196468 140733268031728 139886244981936 139886760782466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1220] ppid=1201 vsize=10622040 memory=2136412 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1220/stat : 1220 (java) S 1201 1204 30942 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95375597 10876968960 534615 33554432000 4194304 4196468 140733268031728 139886243927472 139886760782466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
Current children cumulated CPU time: 2513.71 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 2138460 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2508.6 s]
/proc/loadavg: 2.02 2.04 2.39 3/217 1566
/proc/meminfo: memFree=17895132/32770624 swapFree=67108860/67108860
[pid=1204] ppid=1201 vsize=10622040 memory=2148700 CPUtime=2520.02 cores=0,2,4,6
/proc/1204/stat : 1204 (java) S 1201 1204 30942 0 -1 1077944320 93950 0 0 0 251782 220 0 0 20 0 16 0 95375329 10876968960 537175 33554432000 4194304 4196468 140733268031728 140733268014272 139886760771319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
/proc/1204/statm: 2655510 537175 3169 1 0 2643904 0
[pid=1204/tid=1206] ppid=1201 vsize=10622040 memory=291045332933148985 CPUtime=2506.26 cores=0,2,4,6
/proc/1204/task/1206/stat : 1206 (java) R 1201 1204 30942 0 -1 4202560 52422 0 0 0 250607 19 0 0 20 0 16 0 95375329 10876968960 537175 33554432000 4194304 4196468 140733268031728 139886765010256 139886367844223 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1207] ppid=1201 vsize=10622040 memory=16104766677714557 CPUtime=2.02 cores=0,2,4,6
/proc/1204/task/1207/stat : 1207 (java) S 1201 1204 30942 0 -1 1077944384 2372 0 0 0 170 32 0 0 20 0 16 0 95375330 10876968960 537175 33554432000 4194304 4196468 140733268031728 139886686845584 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1208] ppid=1201 vsize=10622040 memory=8514726395715349656 CPUtime=2.05 cores=0,2,4,6
/proc/1204/task/1208/stat : 1208 (java) S 1201 1204 30942 0 -1 1077944384 2075 0 0 0 172 33 0 0 20 0 16 0 95375330 10876968960 537175 33554432000 4194304 4196468 140733268031728 139886685792784 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1209] ppid=1201 vsize=10622040 memory=3047711553320166262 CPUtime=2.04 cores=0,2,4,6
/proc/1204/task/1209/stat : 1209 (java) S 1201 1204 30942 0 -1 1077944384 2071 0 0 0 171 33 0 0 20 0 16 0 95375330 10876968960 537175 33554432000 4194304 4196468 140733268031728 139886684739984 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1210] ppid=1201 vsize=10622040 memory=8514701219730523551 CPUtime=2 cores=0,2,4,6
/proc/1204/task/1210/stat : 1210 (java) S 1201 1204 30942 0 -1 1077944384 2555 0 0 0 167 33 0 0 20 0 16 0 95375330 10876968960 537175 33554432000 4194304 4196468 140733268031728 139886683687184 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1211] ppid=1201 vsize=10622040 memory=7596565867201450324 CPUtime=0.61 cores=0,2,4,6
/proc/1204/task/1211/stat : 1211 (java) S 1201 1204 30942 0 -1 1077944384 9570 0 0 0 58 3 0 0 20 0 16 0 95375332 10876968960 537175 33554432000 4194304 4196468 140733268031728 139886253402992 139886760782466 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1212] ppid=1201 vsize=10622040 memory=7013342023187720299 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1212/stat : 1212 (java) S 1201 1204 30942 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 16 0 95375332 10876968960 537175 33554432000 4194304 4196468 140733268031728 139886252349024 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1213] ppid=1201 vsize=10622040 memory=7440056992597305454 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1213/stat : 1213 (java) S 1201 1204 30942 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 95375332 10876968960 537175 33554432000 4194304 4196468 140733268031728 139886251296128 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1214] ppid=1201 vsize=10622040 memory=7019467088023532081 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1214/stat : 1214 (java) S 1201 1204 30942 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95375335 10876968960 537175 33554432000 4194304 4196468 140733268031728 139886250244432 139886760789915 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1215] ppid=1201 vsize=10622040 memory=0 CPUtime=1.65 cores=0,2,4,6
/proc/1204/task/1215/stat : 1215 (java) S 1201 1204 30942 0 -1 1077944384 8485 0 0 0 164 1 0 0 20 0 16 0 95375335 10876968960 537175 33554432000 4194304 4196468 140733268031728 139886249191792 139886760782466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1216] ppid=1201 vsize=10622040 memory=86276 CPUtime=1.37 cores=0,2,4,6
/proc/1204/task/1216/stat : 1216 (java) S 1201 1204 30942 0 -1 1077944384 6629 0 0 0 136 1 0 0 20 0 16 0 95375335 10876968960 537175 33554432000 4194304 4196468 140733268031728 139886248138992 139886760782466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1217] ppid=1201 vsize=10622040 memory=9047017150487036575 CPUtime=0.4 cores=0,2,4,6
/proc/1204/task/1217/stat : 1217 (java) S 1201 1204 30942 0 -1 1077944384 4284 0 0 0 39 1 0 0 20 0 16 0 95375335 10876968960 537175 33554432000 4194304 4196468 140733268031728 139886247086192 139886760782466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1218] ppid=1201 vsize=10622040 memory=-8412656567318647667 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1218/stat : 1218 (java) S 1201 1204 30942 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 95375335 10876968960 537175 33554432000 4194304 4196468 140733268031728 139886246033632 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1219] ppid=1201 vsize=10622040 memory=7381227618607785792 CPUtime=1.51 cores=0,2,4,6
/proc/1204/task/1219/stat : 1219 (java) S 1201 1204 30942 0 -1 1077944384 2082 0 0 0 71 80 0 0 20 0 16 0 95375335 10876968960 537175 33554432000 4194304 4196468 140733268031728 139886244981936 139886760782466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1220] ppid=1201 vsize=10622040 memory=4629771062077588875 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1220/stat : 1220 (java) S 1201 1204 30942 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 95375597 10876968960 537175 33554432000 4194304 4196468 140733268031728 139886243927472 139886760782466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10622040 KiB
Current children cumulated memory: 2148700 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2508.87 s]
# the end of solver process 1204 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.93 s, system=2.21574 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2508.8 s]
/proc/loadavg: 2.02 2.04 2.39 3/217 1566
/proc/meminfo: memFree=17895132/32770624 swapFree=67108860/67108860
[pid=1204] ppid=1201 vsize=10821732 memory=2157144 CPUtime=2520.05 cores=0,2,4,6
/proc/1204/stat : 1204 (java) S 1201 1204 30942 0 -1 1077944320 94372 0 0 0 251785 220 0 0 20 0 17 0 95375329 11081453568 539286 33554432000 4194304 4196468 140733268031728 140733268014272 139886760771319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
/proc/1204/statm: 2705433 539286 3173 1 0 2693827 0
[pid=1204/tid=1206] ppid=1201 vsize=10821732 memory=8112282956445269571 CPUtime=2506.3 cores=0,2,4,6
/proc/1204/task/1206/stat : 1206 (java) S 1201 1204 30942 0 -1 1077944384 52467 0 0 0 250610 20 0 0 20 0 17 0 95375329 11081453568 539286 33554432000 4194304 4196468 140733268031728 139886765014192 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1207] ppid=1201 vsize=10821732 memory=1204 CPUtime=2.02 cores=0,2,4,6
/proc/1204/task/1207/stat : 1207 (java) S 1201 1204 30942 0 -1 1077944384 2372 0 0 0 170 32 0 0 20 0 17 0 95375330 11081453568 539286 33554432000 4194304 4196468 140733268031728 139886686845584 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1208] ppid=1201 vsize=10821732 memory=15872 CPUtime=2.05 cores=0,2,4,6
/proc/1204/task/1208/stat : 1208 (java) S 1201 1204 30942 0 -1 1077944384 2075 0 0 0 172 33 0 0 20 0 17 0 95375330 11081453568 539286 33554432000 4194304 4196468 140733268031728 139886685792784 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1209] ppid=1201 vsize=10821732 memory=2344 CPUtime=2.04 cores=0,2,4,6
/proc/1204/task/1209/stat : 1209 (java) S 1201 1204 30942 0 -1 1077944384 2071 0 0 0 171 33 0 0 20 0 17 0 95375330 11081453568 539286 33554432000 4194304 4196468 140733268031728 139886684739984 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1210] ppid=1201 vsize=10821732 memory=1576 CPUtime=2 cores=0,2,4,6
/proc/1204/task/1210/stat : 1210 (java) S 1201 1204 30942 0 -1 1077944384 2555 0 0 0 167 33 0 0 20 0 17 0 95375330 11081453568 539286 33554432000 4194304 4196468 140733268031728 139886683687184 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1211] ppid=1201 vsize=10821732 memory=932 CPUtime=0.61 cores=0,2,4,6
/proc/1204/task/1211/stat : 1211 (java) S 1201 1204 30942 0 -1 1077944384 9570 0 0 0 58 3 0 0 20 0 17 0 95375332 11081453568 539286 33554432000 4194304 4196468 140733268031728 139886253402992 139886760782466 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1212] ppid=1201 vsize=10821732 memory=2081116 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1212/stat : 1212 (java) S 1201 1204 30942 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 17 0 95375332 11081453568 539286 33554432000 4194304 4196468 140733268031728 139886252349024 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1213] ppid=1201 vsize=10821732 memory=33 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1213/stat : 1213 (java) S 1201 1204 30942 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 95375332 11081453568 539286 33554432000 4194304 4196468 140733268031728 139886251296128 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1214] ppid=1201 vsize=10821732 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1214/stat : 1214 (java) S 1201 1204 30942 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 17 0 95375335 11081453568 539286 33554432000 4194304 4196468 140733268031728 139886250244432 139886760789915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1215] ppid=1201 vsize=10821732 memory=15636 CPUtime=1.65 cores=0,2,4,6
/proc/1204/task/1215/stat : 1215 (java) S 1201 1204 30942 0 -1 1077944384 8485 0 0 0 164 1 0 0 20 0 17 0 95375335 11081453568 539286 33554432000 4194304 4196468 140733268031728 139886249191792 139886760782466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1216] ppid=1201 vsize=10821732 memory=1236 CPUtime=1.37 cores=0,2,4,6
/proc/1204/task/1216/stat : 1216 (java) S 1201 1204 30942 0 -1 1077944384 6629 0 0 0 136 1 0 0 20 0 17 0 95375335 11081453568 539286 33554432000 4194304 4196468 140733268031728 139886248138992 139886760782466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1217] ppid=1201 vsize=10821732 memory=1792 CPUtime=0.4 cores=0,2,4,6
/proc/1204/task/1217/stat : 1217 (java) S 1201 1204 30942 0 -1 1077944384 4404 0 0 0 39 1 0 0 20 0 17 0 95375335 11081453568 539286 33554432000 4194304 4196468 140733268031728 139886247086192 139886760782466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1218] ppid=1201 vsize=10821732 memory=68 CPUtime=0 cores=0,2,4,6
/proc/1204/task/1218/stat : 1218 (java) S 1201 1204 30942 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 95375335 11081453568 539286 33554432000 4194304 4196468 140733268031728 139886246033632 139886760781525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
[pid=1204/tid=1219] ppid=1201 vsize=10821732 memory=7233434456779875431 CPUtime=1.51 cores=0,2,4,6
/proc/1204/task/1219/stat : 1219 (java) S 1201 1204 30942 0 -1 1077944384 2082 0 0 0 71 80 0 0 20 0 17 0 95375335 11081453568 539286 33554432000 4194304 4196468 140733268031728 139886244981936 139886760782466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21032960 140733268038790 140733268038943 140733268038943 140733268041679 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10821732 KiB
Current children cumulated memory: 2157144 KiB
Child status: 143
Real time (s): 2508.87
CPU time (s): 2520.14
CPU user time (s): 2517.93
CPU system time (s): 2.21574
CPU usage (%): 100.449
Max. virtual memory (cumulated for all children) (KiB): 10821732
Max. memory (cumulated for all children) (KiB): 2157144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.93
system time used= 2.21575
maximum resident set size= 2161564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94647
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56909
involuntary context switches= 1054
# summary of solver processes directly reported to runsolver:
# pid: 1204
# total CPU time (s): 2520.14
# total CPU user time (s): 2517.93
# total CPU system time (s): 2.21574
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.0658 second user time and 17.2359 second system time
The end