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 (15119 MiB free)
memory of node 1: 16384 MiB (14345 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273173-1502872288/watcher-4273173-1502872288 -o /tmp/evaluation-result-4273173-1502872288/solver-4273173-1502872288 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node113-1502868957-30858 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 1436474959 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273173-1502872288.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=31156, runsolver pid=31153
[startup+0.100095 s]*
/proc/loadavg: 1.16 1.31 1.32 3/215 31171
/proc/meminfo: memFree=30150668/32770624 swapFree=67108860/67108860
[pid=31156] ppid=31153 vsize=13980164 memory=36724 CPUtime=0.13 cores=0,2,4,6
/proc/31156/stat : 31156 (java) S 31153 31156 27081 0 -1 1077944320 8569 0 0 0 12 1 0 0 20 0 15 0 120316393 14315687936 9181 33554432000 4194304 4196468 140736564434928 140736564417472 140717553897207 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
/proc/31156/statm: 3495041 9181 3413 1 0 3482761 0
[pid=31156/tid=31158] ppid=31153 vsize=13980164 memory=-8341402584602547068 CPUtime=0.09 cores=0,2,4,6
/proc/31156/task/31158/stat : 31158 (java) R 31153 31156 27081 0 -1 4202560 6518 0 0 0 8 1 0 0 20 0 15 0 120316394 14315687936 9181 33554432000 4194304 4196468 140736564434928 140717558103200 140717537977694 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31159] ppid=31153 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31159/stat : 31159 (java) S 31153 31156 27081 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120316394 14315687936 9181 33554432000 4194304 4196468 140736564434928 140717491497616 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31160] ppid=31153 vsize=13980164 memory=139877759133312 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31160/stat : 31160 (java) S 31153 31156 27081 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120316394 14315687936 9181 33554432000 4194304 4196468 140736564434928 140717148609040 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31161] ppid=31153 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31161/stat : 31161 (java) S 31153 31156 27081 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120316394 14315687936 9181 33554432000 4194304 4196468 140736564434928 140717147556240 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31162] ppid=31153 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31162/stat : 31162 (java) S 31153 31156 27081 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120316395 14315687936 9181 33554432000 4194304 4196468 140736564434928 140717146503440 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31163] ppid=31153 vsize=13980164 memory=139877759133312 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31163/stat : 31163 (java) S 31153 31156 27081 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120316396 14315687936 9181 33554432000 4194304 4196468 140736564434928 140717096000368 140717553908354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31164] ppid=31153 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31164/stat : 31164 (java) S 31153 31156 27081 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120316396 14315687936 9181 33554432000 4194304 4196468 140736564434928 140717094946336 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31165] ppid=31153 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31165/stat : 31165 (java) S 31153 31156 27081 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 120316396 14315687936 9181 33554432000 4194304 4196468 140736564434928 140717093893488 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31166] ppid=31153 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31166/stat : 31166 (java) S 31153 31156 27081 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120316399 14315687936 9181 33554432000 4194304 4196468 140736564434928 140717092841808 140717553915803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31167] ppid=31153 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31167/stat : 31167 (java) S 31153 31156 27081 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 120316399 14315687936 9181 33554432000 4194304 4196468 140736564434928 140717091789168 140717553908354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31168] ppid=31153 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31168/stat : 31168 (java) S 31153 31156 27081 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 120316399 14315687936 9181 33554432000 4194304 4196468 140736564434928 140717090736368 140717553908354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31169] ppid=31153 vsize=13980164 memory=139877759133312 CPUtime=0.02 cores=0,2,4,6
/proc/31156/task/31169/stat : 31169 (java) S 31153 31156 27081 0 -1 1077944384 373 0 0 0 2 0 0 0 20 0 15 0 120316399 14315687936 9181 33554432000 4194304 4196468 140736564434928 140717089683568 140717553908354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31170] ppid=31153 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31170/stat : 31170 (java) S 31153 31156 27081 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120316399 14315687936 9181 33554432000 4194304 4196468 140736564434928 140717088631008 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31171] ppid=31153 vsize=13980164 memory=139877759133312 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31171/stat : 31171 (java) S 31153 31156 27081 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120316399 14315687936 9181 33554432000 4194304 4196468 140736564434928 140716458372272 140717553908354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13980164 KiB
Current children cumulated memory: 36724 KiB
[startup+0.210632 s]*
/proc/loadavg: 1.16 1.31 1.32 4/215 31171
/proc/meminfo: memFree=30141236/32770624 swapFree=67108860/67108860
[pid=31156] ppid=31153 vsize=13980164 memory=45864 CPUtime=0.3 cores=0,2,4,6
/proc/31156/stat : 31156 (java) S 31153 31156 27081 0 -1 1077944320 9578 0 0 0 28 2 0 0 20 0 15 0 120316393 14315687936 11466 33554432000 4194304 4196468 140736564434928 140736564417472 140717553897207 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
/proc/31156/statm: 3495041 11466 3619 1 0 3482761 0
[pid=31156/tid=31158] ppid=31153 vsize=13980164 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/31156/task/31158/stat : 31158 (java) R 31153 31156 27081 0 -1 4202560 7130 0 0 0 18 2 0 0 20 0 15 0 120316394 14315687936 11466 33554432000 4194304 4196468 140736564434928 140717558105328 140717537977694 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31159] ppid=31153 vsize=13980164 memory=339 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31159/stat : 31159 (java) S 31153 31156 27081 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120316394 14315687936 11466 33554432000 4194304 4196468 140736564434928 140717491497616 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31160] ppid=31153 vsize=13980164 memory=3905377817774859936 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31160/stat : 31160 (java) S 31153 31156 27081 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120316394 14315687936 11466 33554432000 4194304 4196468 140736564434928 140717148609040 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31161] ppid=31153 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31161/stat : 31161 (java) S 31153 31156 27081 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120316394 14315687936 11466 33554432000 4194304 4196468 140736564434928 140717147556240 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31162] ppid=31153 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31162/stat : 31162 (java) S 31153 31156 27081 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120316395 14315687936 11466 33554432000 4194304 4196468 140736564434928 140717146503440 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31163] ppid=31153 vsize=13980164 memory=139877759133312 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31163/stat : 31163 (java) S 31153 31156 27081 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 120316396 14315687936 11466 33554432000 4194304 4196468 140736564434928 140717096000368 140717553908354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31164] ppid=31153 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31164/stat : 31164 (java) S 31153 31156 27081 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120316396 14315687936 11466 33554432000 4194304 4196468 140736564434928 140717094946336 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31165] ppid=31153 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31165/stat : 31165 (java) S 31153 31156 27081 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 120316396 14315687936 11466 33554432000 4194304 4196468 140736564434928 140717093893488 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31166] ppid=31153 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31166/stat : 31166 (java) S 31153 31156 27081 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120316399 14315687936 11466 33554432000 4194304 4196468 140736564434928 140717092841808 140717553915803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31167] ppid=31153 vsize=13980164 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/31156/task/31167/stat : 31167 (java) S 31153 31156 27081 0 -1 1077944384 361 0 0 0 1 0 0 0 20 0 15 0 120316399 14315687936 11466 33554432000 4194304 4196468 140736564434928 140717091789168 140717553908354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31168] ppid=31153 vsize=13980164 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/31156/task/31168/stat : 31168 (java) S 31153 31156 27081 0 -1 1077944384 256 0 0 0 2 0 0 0 20 0 15 0 120316399 14315687936 11466 33554432000 4194304 4196468 140736564434928 140717090736368 140717553908354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31169] ppid=31153 vsize=13980164 memory=139877759133312 CPUtime=0.05 cores=0,2,4,6
/proc/31156/task/31169/stat : 31169 (java) S 31153 31156 27081 0 -1 1077944384 450 0 0 0 5 0 0 0 20 0 15 0 120316399 14315687936 11466 33554432000 4194304 4196468 140736564434928 140717089683568 140717553908354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31170] ppid=31153 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31170/stat : 31170 (java) S 31153 31156 27081 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120316399 14315687936 11466 33554432000 4194304 4196468 140736564434928 140717088631008 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31171] ppid=31153 vsize=13980164 memory=139877759133312 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31171/stat : 31171 (java) S 31153 31156 27081 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120316399 14315687936 11466 33554432000 4194304 4196468 140736564434928 140716458372272 140717553908354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 13980164 KiB
Current children cumulated memory: 45864 KiB
[startup+0.310313 s]*
/proc/loadavg: 1.16 1.31 1.32 3/215 31171
/proc/meminfo: memFree=30134536/32770624 swapFree=67108860/67108860
[pid=31156] ppid=31153 vsize=13980184 memory=53352 CPUtime=0.48 cores=0,2,4,6
/proc/31156/stat : 31156 (java) S 31153 31156 27081 0 -1 1077944320 10524 0 0 0 46 2 0 0 20 0 15 0 120316393 14315708416 13338 33554432000 4194304 4196468 140736564434928 140736564417472 140717553897207 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
/proc/31156/statm: 3495046 13338 3710 1 0 3482761 0
[pid=31156/tid=31158] ppid=31153 vsize=13980184 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/31156/task/31158/stat : 31158 (java) R 31153 31156 27081 0 -1 4202560 7657 0 0 0 27 2 0 0 20 0 15 0 120316394 14315708416 13338 33554432000 4194304 4196468 140736564434928 140717558121632 140717553909142 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31159] ppid=31153 vsize=13980184 memory=288230596118052887 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31159/stat : 31159 (java) S 31153 31156 27081 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120316394 14315708416 13338 33554432000 4194304 4196468 140736564434928 140717491497616 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31160] ppid=31153 vsize=13980184 memory=4048930055897294496 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31160/stat : 31160 (java) S 31153 31156 27081 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120316394 14315708416 13338 33554432000 4194304 4196468 140736564434928 140717148609040 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31161] ppid=31153 vsize=13980184 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31161/stat : 31161 (java) S 31153 31156 27081 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120316394 14315708416 13338 33554432000 4194304 4196468 140736564434928 140717147556240 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31162] ppid=31153 vsize=13980184 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31162/stat : 31162 (java) S 31153 31156 27081 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120316395 14315708416 13338 33554432000 4194304 4196468 140736564434928 140717146503440 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31163] ppid=31153 vsize=13980184 memory=139877759133312 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31163/stat : 31163 (java) S 31153 31156 27081 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 120316396 14315708416 13338 33554432000 4194304 4196468 140736564434928 140717096000368 140717553908354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31164] ppid=31153 vsize=13980184 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31164/stat : 31164 (java) S 31153 31156 27081 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120316396 14315708416 13338 33554432000 4194304 4196468 140736564434928 140717094946336 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31165] ppid=31153 vsize=13980184 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31165/stat : 31165 (java) S 31153 31156 27081 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 120316396 14315708416 13338 33554432000 4194304 4196468 140736564434928 140717093893488 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31166] ppid=31153 vsize=13980184 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31166/stat : 31166 (java) S 31153 31156 27081 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120316399 14315708416 13338 33554432000 4194304 4196468 140736564434928 140717092841808 140717553915803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31167] ppid=31153 vsize=13980184 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/31156/task/31167/stat : 31167 (java) S 31153 31156 27081 0 -1 1077944384 577 0 0 0 5 0 0 0 20 0 15 0 120316399 14315708416 13338 33554432000 4194304 4196468 140736564434928 140717091789168 140717553908354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31168] ppid=31153 vsize=13980184 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/31156/task/31168/stat : 31168 (java) S 31153 31156 27081 0 -1 1077944384 443 0 0 0 4 0 0 0 20 0 15 0 120316399 14315708416 13338 33554432000 4194304 4196468 140736564434928 140717090736368 140717553908354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31169] ppid=31153 vsize=13980184 memory=139877759133312 CPUtime=0.08 cores=0,2,4,6
/proc/31156/task/31169/stat : 31169 (java) R 31153 31156 27081 0 -1 4202560 466 0 0 0 8 0 0 0 20 0 15 0 120316399 14315708416 13338 33554432000 4194304 4196468 140736564434928 140717089683568 140717532029946 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31170] ppid=31153 vsize=13980184 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31170/stat : 31170 (java) S 31153 31156 27081 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120316399 14315708416 13338 33554432000 4194304 4196468 140736564434928 140717088631008 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31171] ppid=31153 vsize=13980184 memory=139877759133312 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31171/stat : 31171 (java) S 31153 31156 27081 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120316399 14315708416 13338 33554432000 4194304 4196468 140736564434928 140716458372272 140717553908354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 13980184 KiB
Current children cumulated memory: 53352 KiB
[startup+0.700712 s]
/proc/loadavg: 1.16 1.31 1.32 5/215 31171
/proc/meminfo: memFree=30120948/32770624 swapFree=67108860/67108860
[pid=31156] ppid=31153 vsize=13984280 memory=82484 CPUtime=1.24 cores=0,2,4,6
/proc/31156/stat : 31156 (java) S 31153 31156 27081 0 -1 1077944320 13159 0 0 0 120 4 0 0 20 0 15 0 120316393 14319902720 20621 33554432000 4194304 4196468 140736564434928 140736564417472 140717553897207 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
/proc/31156/statm: 3496070 20621 3765 1 0 3483785 0
[pid=31156/tid=31158] ppid=31153 vsize=13984280 memory=1732 CPUtime=0.67 cores=0,2,4,6
/proc/31156/task/31158/stat : 31158 (java) R 31153 31156 27081 0 -1 4202560 8823 0 0 0 64 3 0 0 20 0 15 0 120316394 14319902720 20621 33554432000 4194304 4196468 140736564434928 140717558133120 140717553919133 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31159] ppid=31153 vsize=13984280 memory=1948 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31159/stat : 31159 (java) S 31153 31156 27081 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120316394 14319902720 20621 33554432000 4194304 4196468 140736564434928 140717491497616 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31160] ppid=31153 vsize=13984280 memory=800 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31160/stat : 31160 (java) S 31153 31156 27081 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120316394 14319902720 20621 33554432000 4194304 4196468 140736564434928 140717148609040 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31161] ppid=31153 vsize=13984280 memory=12068 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31161/stat : 31161 (java) S 31153 31156 27081 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120316394 14319902720 20621 33554432000 4194304 4196468 140736564434928 140717147556240 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31162] ppid=31153 vsize=13984280 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31162/stat : 31162 (java) S 31153 31156 27081 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120316395 14319902720 20621 33554432000 4194304 4196468 140736564434928 140717146503440 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31163] ppid=31153 vsize=13984280 memory=5792 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31163/stat : 31163 (java) S 31153 31156 27081 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 120316396 14319902720 20621 33554432000 4194304 4196468 140736564434928 140717096000368 140717553908354 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31164] ppid=31153 vsize=13984280 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31164/stat : 31164 (java) S 31153 31156 27081 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 120316396 14319902720 20621 33554432000 4194304 4196468 140736564434928 140717094946336 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31165] ppid=31153 vsize=13984280 memory=8572 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31165/stat : 31165 (java) S 31153 31156 27081 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 120316396 14319902720 20621 33554432000 4194304 4196468 140736564434928 140717093893488 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31166] ppid=31153 vsize=13984280 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31166/stat : 31166 (java) S 31153 31156 27081 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120316399 14319902720 20621 33554432000 4194304 4196468 140736564434928 140717092841808 140717553915803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31167] ppid=31153 vsize=13984280 memory=7452706766398776640 CPUtime=0.12 cores=0,2,4,6
/proc/31156/task/31167/stat : 31167 (java) S 31153 31156 27081 0 -1 1077944384 665 0 0 0 12 0 0 0 20 0 15 0 120316399 14319902720 20621 33554432000 4194304 4196468 140736564434928 140717091789168 140717553908354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31168] ppid=31153 vsize=13984280 memory=7881696724453321575 CPUtime=0.12 cores=0,2,4,6
/proc/31156/task/31168/stat : 31168 (java) S 31153 31156 27081 0 -1 1077944384 891 0 0 0 12 0 0 0 20 0 15 0 120316399 14319902720 20621 33554432000 4194304 4196468 140736564434928 140717090736368 140717553908354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31169] ppid=31153 vsize=13984280 memory=7440065680911650896 CPUtime=0.3 cores=0,2,4,6
/proc/31156/task/31169/stat : 31169 (java) S 31153 31156 27081 0 -1 1077944384 1399 0 0 0 30 0 0 0 20 0 15 0 120316399 14319902720 20621 33554432000 4194304 4196468 140736564434928 140717089683568 140717553908354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31170] ppid=31153 vsize=13984280 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31170/stat : 31170 (java) S 31153 31156 27081 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120316399 14319902720 20621 33554432000 4194304 4196468 140736564434928 140717088631008 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31171] ppid=31153 vsize=13984280 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31171/stat : 31171 (java) S 31153 31156 27081 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120316399 14319902720 20621 33554432000 4194304 4196468 140736564434928 140716458372272 140717553908354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 13984280 KiB
Current children cumulated memory: 82484 KiB
[startup+1.50081 s]
/proc/loadavg: 1.16 1.31 1.32 5/215 31171
/proc/meminfo: memFree=30068648/32770624 swapFree=67108860/67108860
[pid=31156] ppid=31153 vsize=13986328 memory=178976 CPUtime=3.59 cores=0,2,4,6
/proc/31156/stat : 31156 (java) S 31153 31156 27081 0 -1 1077944320 24887 0 0 0 351 8 0 0 20 0 15 0 120316393 14321999872 44744 33554432000 4194304 4196468 140736564434928 140736564417472 140717553897207 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
/proc/31156/statm: 3496582 44744 3795 1 0 3484297 0
[pid=31156/tid=31158] ppid=31153 vsize=13986328 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/31156/task/31158/stat : 31158 (java) R 31153 31156 27081 0 -1 4202560 11200 0 0 0 142 4 0 0 20 0 15 0 120316394 14321999872 44744 33554432000 4194304 4196468 140736564434928 140717558131928 140717178743680 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31159] ppid=31153 vsize=13986328 memory=-6951259422114956437 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31159/stat : 31159 (java) S 31153 31156 27081 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120316394 14321999872 44744 33554432000 4194304 4196468 140736564434928 140717491497616 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31160] ppid=31153 vsize=13986328 memory=-6509546260019855295 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31160/stat : 31160 (java) S 31153 31156 27081 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120316394 14321999872 44744 33554432000 4194304 4196468 140736564434928 140717148609040 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31161] ppid=31153 vsize=13986328 memory=-7390251449858225344 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31161/stat : 31161 (java) S 31153 31156 27081 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 120316394 14321999872 44744 33554432000 4194304 4196468 140736564434928 140717147556240 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31162] ppid=31153 vsize=13986328 memory=4134692831991786133 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31162/stat : 31162 (java) S 31153 31156 27081 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 120316395 14321999872 44744 33554432000 4194304 4196468 140736564434928 140717146503440 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31163] ppid=31153 vsize=13986328 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31163/stat : 31163 (java) S 31153 31156 27081 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 120316396 14321999872 44744 33554432000 4194304 4196468 140736564434928 140717096000368 140717553908354 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
################
# More data... #
################
/proc/31156/task/31158/stat : 31158 (java) R 31153 31156 27081 0 -1 4202560 72102 0 0 0 235448 50 0 0 20 0 15 0 120316394 14321999872 115381 33554432000 4194304 4196468 140736564434928 140717558135680 140717180905383 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31159] ppid=31153 vsize=13986328 memory=433044 CPUtime=16.33 cores=0,2,4,6
/proc/31156/task/31159/stat : 31159 (java) S 31153 31156 27081 0 -1 1077944384 11375 0 0 0 1562 71 0 0 20 0 15 0 120316394 14321999872 115381 33554432000 4194304 4196468 140736564434928 140717491497616 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31160] ppid=31153 vsize=13986328 memory=447760 CPUtime=16.33 cores=0,2,4,6
/proc/31156/task/31160/stat : 31160 (java) S 31153 31156 27081 0 -1 1077944384 12793 0 0 0 1561 72 0 0 20 0 15 0 120316394 14321999872 115381 33554432000 4194304 4196468 140736564434928 140717148609040 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31161] ppid=31153 vsize=13986328 memory=446220 CPUtime=16.33 cores=0,2,4,6
/proc/31156/task/31161/stat : 31161 (java) S 31153 31156 27081 0 -1 1077944384 13964 0 0 0 1563 70 0 0 20 0 15 0 120316394 14321999872 115381 33554432000 4194304 4196468 140736564434928 140717147556240 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31162] ppid=31153 vsize=13986328 memory=461524 CPUtime=16.3 cores=0,2,4,6
/proc/31156/task/31162/stat : 31162 (java) S 31153 31156 27081 0 -1 1077944384 11398 0 0 0 1556 74 0 0 20 0 15 0 120316395 14321999872 115381 33554432000 4194304 4196468 140736564434928 140717146503440 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31163] ppid=31153 vsize=13986328 memory=448268 CPUtime=7.33 cores=0,2,4,6
/proc/31156/task/31163/stat : 31163 (java) S 31153 31156 27081 0 -1 1077944384 32646 0 0 0 660 73 0 0 20 0 15 0 120316396 14321999872 115381 33554432000 4194304 4196468 140736564434928 140717096000368 140717553908354 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 53 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31164] ppid=31153 vsize=13986328 memory=456112 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31164/stat : 31164 (java) S 31153 31156 27081 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 120316396 14321999872 115381 33554432000 4194304 4196468 140736564434928 140717094946400 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31165] ppid=31153 vsize=13986328 memory=33 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31165/stat : 31165 (java) S 31153 31156 27081 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 120316396 14321999872 115381 33554432000 4194304 4196468 140736564434928 140717093893504 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31166] ppid=31153 vsize=13986328 memory=364 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31166/stat : 31166 (java) S 31153 31156 27081 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120316399 14321999872 115381 33554432000 4194304 4196468 140736564434928 140717092841808 140717553915803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31167] ppid=31153 vsize=13986328 memory=84 CPUtime=3.04 cores=0,2,4,6
/proc/31156/task/31167/stat : 31167 (java) S 31153 31156 27081 0 -1 1077944384 31549 0 0 0 301 3 0 0 20 0 15 0 120316399 14321999872 115381 33554432000 4194304 4196468 140736564434928 140717091789168 140717553908354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31168] ppid=31153 vsize=13986328 memory=431504 CPUtime=3.06 cores=0,2,4,6
/proc/31156/task/31168/stat : 31168 (java) S 31153 31156 27081 0 -1 1077944384 30057 0 0 0 301 5 0 0 20 0 15 0 120316399 14321999872 115381 33554432000 4194304 4196468 140736564434928 140717090736368 140717553908354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31169] ppid=31153 vsize=13986328 memory=1712 CPUtime=0.97 cores=0,2,4,6
/proc/31156/task/31169/stat : 31169 (java) S 31153 31156 27081 0 -1 1077944384 26063 0 0 0 94 3 0 0 20 0 15 0 120316399 14321999872 115381 33554432000 4194304 4196468 140736564434928 140717089683568 140717553908354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31170] ppid=31153 vsize=13986328 memory=448268 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31170/stat : 31170 (java) S 31153 31156 27081 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120316399 14321999872 115381 33554432000 4194304 4196468 140736564434928 140717088631008 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31171] ppid=31153 vsize=13986328 memory=5792 CPUtime=1.46 cores=0,2,4,6
/proc/31156/task/31171/stat : 31171 (java) S 31153 31156 27081 0 -1 1077944384 1324 0 0 0 68 78 0 0 20 0 15 0 120316399 14321999872 115381 33554432000 4194304 4196468 140736564434928 140716458372272 140717553908354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 59 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
Current children cumulated CPU time: 2436.22 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 461524 KiB
[startup+2442.3 s]
/proc/loadavg: 1.14 1.27 1.36 3/215 31267
/proc/meminfo: memFree=30551244/32770624 swapFree=67108860/67108860
[pid=31156] ppid=31153 vsize=13986328 memory=441940 CPUtime=2497.37 cores=0,2,4,6
/proc/31156/stat : 31156 (java) S 31153 31156 27081 0 -1 1077944320 249041 0 0 0 249292 445 0 0 20 0 15 0 120316393 14321999872 110485 33554432000 4194304 4196468 140736564434928 140736564417472 140717553897207 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
/proc/31156/statm: 3496582 110485 3857 1 0 3484297 0
[pid=31156/tid=31158] ppid=31153 vsize=13986328 memory=442452 CPUtime=2414.27 cores=0,2,4,6
/proc/31156/task/31158/stat : 31158 (java) R 31153 31156 27081 0 -1 4202560 74141 0 0 0 241376 51 0 0 20 0 15 0 120316394 14321999872 110485 33554432000 4194304 4196468 140736564434928 140717558135344 140717178069753 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31159] ppid=31153 vsize=13986328 memory=456160 CPUtime=16.73 cores=0,2,4,6
/proc/31156/task/31159/stat : 31159 (java) S 31153 31156 27081 0 -1 1077944384 11724 0 0 0 1600 73 0 0 20 0 15 0 120316394 14321999872 110485 33554432000 4194304 4196468 140736564434928 140717491497616 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31160] ppid=31153 vsize=13986328 memory=446924 CPUtime=16.74 cores=0,2,4,6
/proc/31156/task/31160/stat : 31160 (java) S 31153 31156 27081 0 -1 1077944384 13323 0 0 0 1600 74 0 0 20 0 15 0 120316394 14321999872 110485 33554432000 4194304 4196468 140736564434928 140717148609040 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31161] ppid=31153 vsize=13986328 memory=443848 CPUtime=16.75 cores=0,2,4,6
/proc/31156/task/31161/stat : 31161 (java) S 31153 31156 27081 0 -1 1077944384 14497 0 0 0 1603 72 0 0 20 0 15 0 120316394 14321999872 110485 33554432000 4194304 4196468 140736564434928 140717147556240 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31162] ppid=31153 vsize=13986328 memory=454108 CPUtime=16.7 cores=0,2,4,6
/proc/31156/task/31162/stat : 31162 (java) S 31153 31156 27081 0 -1 1077944384 11808 0 0 0 1594 76 0 0 20 0 15 0 120316395 14321999872 110485 33554432000 4194304 4196468 140736564434928 140717146503440 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31163] ppid=31153 vsize=13986328 memory=440768 CPUtime=7.51 cores=0,2,4,6
/proc/31156/task/31163/stat : 31163 (java) S 31153 31156 27081 0 -1 1077944384 32845 0 0 0 677 74 0 0 20 0 15 0 120316396 14321999872 110485 33554432000 4194304 4196468 140736564434928 140717096000368 140717553908354 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 53 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31164] ppid=31153 vsize=13986328 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31164/stat : 31164 (java) S 31153 31156 27081 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 120316396 14321999872 110485 33554432000 4194304 4196468 140736564434928 140717094946400 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31165] ppid=31153 vsize=13986328 memory=444368 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31165/stat : 31165 (java) S 31153 31156 27081 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 120316396 14321999872 110485 33554432000 4194304 4196468 140736564434928 140717093893504 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31166] ppid=31153 vsize=13986328 memory=443992 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31166/stat : 31166 (java) S 31153 31156 27081 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120316399 14321999872 110485 33554432000 4194304 4196468 140736564434928 140717092841808 140717553915803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31167] ppid=31153 vsize=13986328 memory=443480 CPUtime=3.04 cores=0,2,4,6
/proc/31156/task/31167/stat : 31167 (java) S 31153 31156 27081 0 -1 1077944384 31551 0 0 0 301 3 0 0 20 0 15 0 120316399 14321999872 110485 33554432000 4194304 4196468 140736564434928 140717091789168 140717553908354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31168] ppid=31153 vsize=13986328 memory=442452 CPUtime=3.06 cores=0,2,4,6
/proc/31156/task/31168/stat : 31168 (java) S 31153 31156 27081 0 -1 1077944384 30065 0 0 0 301 5 0 0 20 0 15 0 120316399 14321999872 110485 33554432000 4194304 4196468 140736564434928 140717090736368 140717553908354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31169] ppid=31153 vsize=13986328 memory=441940 CPUtime=0.97 cores=0,2,4,6
/proc/31156/task/31169/stat : 31169 (java) S 31153 31156 27081 0 -1 1077944384 26344 0 0 0 94 3 0 0 20 0 15 0 120316399 14321999872 110485 33554432000 4194304 4196468 140736564434928 140717089683568 140717553908354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31170] ppid=31153 vsize=13986328 memory=448976 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31170/stat : 31170 (java) S 31153 31156 27081 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120316399 14321999872 110485 33554432000 4194304 4196468 140736564434928 140717088631008 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31171] ppid=31153 vsize=13986328 memory=442968 CPUtime=1.5 cores=0,2,4,6
/proc/31156/task/31171/stat : 31171 (java) S 31153 31156 27081 0 -1 1077944384 1340 0 0 0 69 81 0 0 20 0 15 0 120316399 14321999872 110485 33554432000 4194304 4196468 140736564434928 140716458372272 140717553908354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 59 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
Current children cumulated CPU time: 2497.37 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 441940 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2464.5 s]
/proc/loadavg: 1.09 1.25 1.35 3/215 31345
/proc/meminfo: memFree=30745932/32770624 swapFree=67108860/67108860
[pid=31156] ppid=31153 vsize=13986328 memory=469704 CPUtime=2520.01 cores=0,2,4,6
/proc/31156/stat : 31156 (java) S 31153 31156 27081 0 -1 1077944320 250316 0 0 0 251552 449 0 0 20 0 15 0 120316393 14321999872 117426 33554432000 4194304 4196468 140736564434928 140736564417472 140717553897207 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
/proc/31156/statm: 3496582 117426 3857 1 0 3484297 0
[pid=31156/tid=31158] ppid=31153 vsize=13986328 memory=469860 CPUtime=2436.21 cores=0,2,4,6
/proc/31156/task/31158/stat : 31158 (java) R 31153 31156 27081 0 -1 4202560 74966 0 0 0 243570 51 0 0 20 0 15 0 120316394 14321999872 117426 33554432000 4194304 4196468 140736564434928 140717558135408 140717178325391 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31159] ppid=31153 vsize=13986328 memory=470372 CPUtime=16.89 cores=0,2,4,6
/proc/31156/task/31159/stat : 31159 (java) S 31153 31156 27081 0 -1 1077944384 11823 0 0 0 1615 74 0 0 20 0 15 0 120316394 14321999872 117426 33554432000 4194304 4196468 140736564434928 140717491497616 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31160] ppid=31153 vsize=13986328 memory=470884 CPUtime=16.89 cores=0,2,4,6
/proc/31156/task/31160/stat : 31160 (java) S 31153 31156 27081 0 -1 1077944384 13430 0 0 0 1614 75 0 0 20 0 15 0 120316394 14321999872 117426 33554432000 4194304 4196468 140736564434928 140717148609040 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31161] ppid=31153 vsize=13986328 memory=473960 CPUtime=16.9 cores=0,2,4,6
/proc/31156/task/31161/stat : 31161 (java) S 31153 31156 27081 0 -1 1077944384 14558 0 0 0 1617 73 0 0 20 0 15 0 120316394 14321999872 117426 33554432000 4194304 4196468 140736564434928 140717147556240 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31162] ppid=31153 vsize=13986328 memory=442452 CPUtime=16.85 cores=0,2,4,6
/proc/31156/task/31162/stat : 31162 (java) S 31153 31156 27081 0 -1 1077944384 11866 0 0 0 1609 76 0 0 20 0 15 0 120316395 14321999872 117426 33554432000 4194304 4196468 140736564434928 140717146503440 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31163] ppid=31153 vsize=13986328 memory=454108 CPUtime=7.59 cores=0,2,4,6
/proc/31156/task/31163/stat : 31163 (java) S 31153 31156 27081 0 -1 1077944384 32868 0 0 0 684 75 0 0 20 0 15 0 120316396 14321999872 117426 33554432000 4194304 4196468 140736564434928 140717096000368 140717553908354 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 53 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31164] ppid=31153 vsize=13986328 memory=446924 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31164/stat : 31164 (java) S 31153 31156 27081 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 120316396 14321999872 117426 33554432000 4194304 4196468 140736564434928 140717094946400 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31165] ppid=31153 vsize=13986328 memory=475500 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31165/stat : 31165 (java) S 31153 31156 27081 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 120316396 14321999872 117426 33554432000 4194304 4196468 140736564434928 140717093893504 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31166] ppid=31153 vsize=13986328 memory=469860 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31166/stat : 31166 (java) S 31153 31156 27081 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120316399 14321999872 117426 33554432000 4194304 4196468 140736564434928 140717092841808 140717553915803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31167] ppid=31153 vsize=13986328 memory=4612 CPUtime=3.04 cores=0,2,4,6
/proc/31156/task/31167/stat : 31167 (java) S 31153 31156 27081 0 -1 1077944384 31551 0 0 0 301 3 0 0 20 0 15 0 120316399 14321999872 117426 33554432000 4194304 4196468 140736564434928 140717091789168 140717553908354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31168] ppid=31153 vsize=13986328 memory=469704 CPUtime=3.06 cores=0,2,4,6
/proc/31156/task/31168/stat : 31168 (java) S 31153 31156 27081 0 -1 1077944384 30065 0 0 0 301 5 0 0 20 0 15 0 120316399 14321999872 117426 33554432000 4194304 4196468 140736564434928 140717090736368 140717553908354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31169] ppid=31153 vsize=13986328 memory=476012 CPUtime=0.98 cores=0,2,4,6
/proc/31156/task/31169/stat : 31169 (java) S 31153 31156 27081 0 -1 1077944384 26444 0 0 0 95 3 0 0 20 0 15 0 120316399 14321999872 117426 33554432000 4194304 4196468 140736564434928 140717089683568 140717553908354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31170] ppid=31153 vsize=13986328 memory=251257 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31170/stat : 31170 (java) S 31153 31156 27081 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120316399 14321999872 117426 33554432000 4194304 4196468 140736564434928 140717088631008 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31171] ppid=31153 vsize=13986328 memory=470884 CPUtime=1.52 cores=0,2,4,6
/proc/31156/task/31171/stat : 31171 (java) S 31153 31156 27081 0 -1 1077944384 1342 0 0 0 70 82 0 0 20 0 15 0 120316399 14321999872 117426 33554432000 4194304 4196468 140736564434928 140716458372272 140717553908354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 59 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 469704 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2464.53 s]
# the end of solver process 31156 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.54 s, system=4.49943 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2464.5 s]
/proc/loadavg: 1.09 1.25 1.35 3/215 31345
/proc/meminfo: memFree=30745932/32770624 swapFree=67108860/67108860
[pid=31156] ppid=31153 vsize=13986328 memory=469704 CPUtime=2520.01 cores=0,2,4,6
/proc/31156/stat : 31156 (java) S 31153 31156 27081 0 -1 1077944320 250316 0 0 0 251552 449 0 0 20 0 15 0 120316393 14321999872 117426 33554432000 4194304 4196468 140736564434928 140736564417472 140717553897207 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
/proc/31156/statm: 3496582 117426 3857 1 0 3484297 0
[pid=31156/tid=31158] ppid=31153 vsize=13986328 memory=469860 CPUtime=2436.21 cores=0,2,4,6
/proc/31156/task/31158/stat : 31158 (java) R 31153 31156 27081 0 -1 4202560 74966 0 0 0 243570 51 0 0 20 0 15 0 120316394 14321999872 117426 33554432000 4194304 4196468 140736564434928 140717558135408 140717178325391 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31159] ppid=31153 vsize=13986328 memory=470372 CPUtime=16.89 cores=0,2,4,6
/proc/31156/task/31159/stat : 31159 (java) S 31153 31156 27081 0 -1 1077944384 11823 0 0 0 1615 74 0 0 20 0 15 0 120316394 14321999872 117426 33554432000 4194304 4196468 140736564434928 140717491497616 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31160] ppid=31153 vsize=13986328 memory=470884 CPUtime=16.89 cores=0,2,4,6
/proc/31156/task/31160/stat : 31160 (java) S 31153 31156 27081 0 -1 1077944384 13430 0 0 0 1614 75 0 0 20 0 15 0 120316394 14321999872 117426 33554432000 4194304 4196468 140736564434928 140717148609040 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31161] ppid=31153 vsize=13986328 memory=473960 CPUtime=16.9 cores=0,2,4,6
/proc/31156/task/31161/stat : 31161 (java) S 31153 31156 27081 0 -1 1077944384 14558 0 0 0 1617 73 0 0 20 0 15 0 120316394 14321999872 117426 33554432000 4194304 4196468 140736564434928 140717147556240 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31162] ppid=31153 vsize=13986328 memory=442452 CPUtime=16.85 cores=0,2,4,6
/proc/31156/task/31162/stat : 31162 (java) S 31153 31156 27081 0 -1 1077944384 11866 0 0 0 1609 76 0 0 20 0 15 0 120316395 14321999872 117426 33554432000 4194304 4196468 140736564434928 140717146503440 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31163] ppid=31153 vsize=13986328 memory=454108 CPUtime=7.59 cores=0,2,4,6
/proc/31156/task/31163/stat : 31163 (java) S 31153 31156 27081 0 -1 1077944384 32868 0 0 0 684 75 0 0 20 0 15 0 120316396 14321999872 117426 33554432000 4194304 4196468 140736564434928 140717096000368 140717553908354 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 53 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31164] ppid=31153 vsize=13986328 memory=446924 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31164/stat : 31164 (java) S 31153 31156 27081 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 120316396 14321999872 117426 33554432000 4194304 4196468 140736564434928 140717094946400 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31165] ppid=31153 vsize=13986328 memory=475500 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31165/stat : 31165 (java) S 31153 31156 27081 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 120316396 14321999872 117426 33554432000 4194304 4196468 140736564434928 140717093893504 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31166] ppid=31153 vsize=13986328 memory=469860 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31166/stat : 31166 (java) S 31153 31156 27081 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120316399 14321999872 117426 33554432000 4194304 4196468 140736564434928 140717092841808 140717553915803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31167] ppid=31153 vsize=13986328 memory=4612 CPUtime=3.04 cores=0,2,4,6
/proc/31156/task/31167/stat : 31167 (java) S 31153 31156 27081 0 -1 1077944384 31551 0 0 0 301 3 0 0 20 0 15 0 120316399 14321999872 117426 33554432000 4194304 4196468 140736564434928 140717091789168 140717553908354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31168] ppid=31153 vsize=13986328 memory=469704 CPUtime=3.06 cores=0,2,4,6
/proc/31156/task/31168/stat : 31168 (java) S 31153 31156 27081 0 -1 1077944384 30065 0 0 0 301 5 0 0 20 0 15 0 120316399 14321999872 117426 33554432000 4194304 4196468 140736564434928 140717090736368 140717553908354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31169] ppid=31153 vsize=13986328 memory=476012 CPUtime=0.98 cores=0,2,4,6
/proc/31156/task/31169/stat : 31169 (java) S 31153 31156 27081 0 -1 1077944384 26444 0 0 0 95 3 0 0 20 0 15 0 120316399 14321999872 117426 33554432000 4194304 4196468 140736564434928 140717089683568 140717553908354 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31170] ppid=31153 vsize=13986328 memory=251257 CPUtime=0 cores=0,2,4,6
/proc/31156/task/31170/stat : 31170 (java) S 31153 31156 27081 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 120316399 14321999872 117426 33554432000 4194304 4196468 140736564434928 140717088631008 140717553907413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
[pid=31156/tid=31171] ppid=31153 vsize=13986328 memory=470884 CPUtime=1.52 cores=0,2,4,6
/proc/31156/task/31171/stat : 31171 (java) S 31153 31156 27081 0 -1 1077944384 1342 0 0 0 70 82 0 0 20 0 15 0 120316399 14321999872 117426 33554432000 4194304 4196468 140736564434928 140716458372272 140717553908354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 59 0 0 6293624 6294260 35602432 140736564442218 140736564442399 140736564442399 140736564445135 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 469704 KiB
Child status: 143
Real time (s): 2464.53
CPU time (s): 2520.04
CPU user time (s): 2515.54
CPU system time (s): 4.49943
CPU usage (%): 102.253
Max. virtual memory (cumulated for all children) (KiB): 13986328
Max. memory (cumulated for all children) (KiB): 1477572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.54
system time used= 4.49943
maximum resident set size= 1493864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 250536
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 253195
involuntary context switches= 7986
# summary of solver processes directly reported to runsolver:
# pid: 31156
# total CPU time (s): 2520.04
# total CPU user time (s): 2515.54
# total CPU system time (s): 4.49943
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.0295 second user time and 24.76 second system time
The end