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 (15130 MiB free)
memory of node 1: 16384 MiB (15415 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274199-1502653350/watcher-4274199-1502653350 -o /tmp/evaluation-result-4274199-1502653350/solver-4274199-1502653350 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502652501-6258 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1658303645 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274199-1502653350.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=6288, runsolver pid=6285
[startup+0.102594 s]*
/proc/loadavg: 1.08 1.67 1.87 3/202 6306
/proc/meminfo: memFree=31255392/32770624 swapFree=67108860/67108860
[pid=6288] ppid=6285 vsize=13906484 memory=21944 CPUtime=0.05 cores=0,2,4,6
/proc/6288/stat : 6288 (java) S 6285 6288 8289 0 -1 1077944320 4941 0 0 0 4 1 0 0 20 0 14 0 113150146 14240239616 5486 18446744073709551615 4194304 4196468 140736981058480 140736981041024 140544173162231 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 4 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
/proc/6288/statm: 3476621 5486 2583 1 0 3466118 0
[pid=6288/tid=6291] ppid=6285 vsize=13906484 memory=4134931597813703226 CPUtime=0.04 cores=0,2,4,6
/proc/6288/task/6291/stat : 6291 (java) D 6285 6288 8289 0 -1 4202560 3042 0 0 0 4 0 0 0 20 0 14 0 113150151 14240239616 5486 18446744073709551615 4194304 4196468 140736981058480 140544177399712 140544173184253 0 4 1 16800974 18446744071580418449 0 0 -1 0 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6294] ppid=6285 vsize=13906484 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6294/stat : 6294 (java) S 6285 6288 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 113150152 14240239616 5486 18446744073709551615 4194304 4196468 140736981058480 140544092576912 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6296] ppid=6285 vsize=13906484 memory=140341757597312 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6296/stat : 6296 (java) S 6285 6288 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 113150152 14240239616 5486 18446744073709551615 4194304 4196468 140736981058480 140544091524112 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6297] ppid=6285 vsize=13906484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6297/stat : 6297 (java) S 6285 6288 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 113150152 14240239616 5486 18446744073709551615 4194304 4196468 140736981058480 140544090471312 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6299] ppid=6285 vsize=13906484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6299/stat : 6299 (java) S 6285 6288 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 113150152 14240239616 5486 18446744073709551615 4194304 4196468 140736981058480 140544089418512 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6301] ppid=6285 vsize=13906484 memory=140341757597312 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6301/stat : 6301 (java) S 6285 6288 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 113150153 14240239616 5486 18446744073709551615 4194304 4196468 140736981058480 140543358892400 140544173173378 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6303] ppid=6285 vsize=13906484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6303/stat : 6303 (java) S 6285 6288 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 113150154 14240239616 5486 18446744073709551615 4194304 4196468 140736981058480 140543357838368 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6304] ppid=6285 vsize=13906484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6304/stat : 6304 (java) S 6285 6288 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 113150154 14240239616 5486 18446744073709551615 4194304 4196468 140736981058480 140543356785520 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6306] ppid=6285 vsize=13906484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6306/stat : 6306 (java) S 6285 6288 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 113150156 14240239616 5486 18446744073709551615 4194304 4196468 140736981058480 140543355733840 140544173180827 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6307] ppid=6285 vsize=13906484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6307/stat : 6307 (java) S 6285 6288 8289 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 14 0 113150156 14240239616 5486 18446744073709551615 4194304 4196468 140736981058480 140543354682224 140544173173378 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6309] ppid=6285 vsize=13906484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6309/stat : 6309 (java) S 6285 6288 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 113150156 14240239616 5486 18446744073709551615 4194304 4196468 140736981058480 140543353629424 140544173173378 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6311] ppid=6285 vsize=13906484 memory=140341757597312 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6311/stat : 6311 (java) S 6285 6288 8289 0 -1 1077944384 215 0 0 0 0 0 0 0 20 0 14 0 113150156 14240239616 5486 18446744073709551615 4194304 4196468 140736981058480 140543352576624 140544173173378 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6314] ppid=6285 vsize=13906484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6314/stat : 6314 (java) S 6285 6288 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 113150156 14240239616 5486 18446744073709551615 4194304 4196468 140736981058480 140543351524064 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13906484 KiB
Current children cumulated memory: 21944 KiB
[startup+0.210743 s]*
/proc/loadavg: 1.08 1.67 1.87 3/213 6317
/proc/meminfo: memFree=31240764/32770624 swapFree=67108860/67108860
[pid=6288] ppid=6285 vsize=13975920 memory=33776 CPUtime=0.13 cores=0,2,4,6
/proc/6288/stat : 6288 (java) S 6285 6288 8289 0 -1 1077944320 9407 0 0 0 11 2 0 0 20 0 15 0 113150146 14311342080 8444 18446744073709551615 4194304 4196468 140736981058480 140736981041024 140544173162231 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 4 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
/proc/6288/statm: 3493980 8444 3383 1 0 3482759 0
[pid=6288/tid=6291] ppid=6285 vsize=13975920 memory=8318255677412212789 CPUtime=0.1 cores=0,2,4,6
/proc/6288/task/6291/stat : 6291 (java) R 6285 6288 8289 0 -1 4202560 7370 0 0 0 8 2 0 0 20 0 15 0 113150151 14311342080 8444 18446744073709551615 4194304 4196468 140736981058480 140544177378720 140544173184157 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6294] ppid=6285 vsize=13975920 memory=330 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6294/stat : 6294 (java) S 6285 6288 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113150152 14311342080 8444 18446744073709551615 4194304 4196468 140736981058480 140544092576912 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6296] ppid=6285 vsize=13975920 memory=140341757612595 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6296/stat : 6296 (java) S 6285 6288 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113150152 14311342080 8444 18446744073709551615 4194304 4196468 140736981058480 140544091524112 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6297] ppid=6285 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6297/stat : 6297 (java) S 6285 6288 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113150152 14311342080 8444 18446744073709551615 4194304 4196468 140736981058480 140544090471312 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6299] ppid=6285 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6299/stat : 6299 (java) S 6285 6288 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113150152 14311342080 8444 18446744073709551615 4194304 4196468 140736981058480 140544089418512 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6301] ppid=6285 vsize=13975920 memory=140341757597312 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6301/stat : 6301 (java) S 6285 6288 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113150153 14311342080 8444 18446744073709551615 4194304 4196468 140736981058480 140543358892400 140544173173378 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6303] ppid=6285 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6303/stat : 6303 (java) S 6285 6288 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113150154 14311342080 8444 18446744073709551615 4194304 4196468 140736981058480 140543357838368 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6304] ppid=6285 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6304/stat : 6304 (java) S 6285 6288 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113150154 14311342080 8444 18446744073709551615 4194304 4196468 140736981058480 140543356785520 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6306] ppid=6285 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6306/stat : 6306 (java) S 6285 6288 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113150156 14311342080 8444 18446744073709551615 4194304 4196468 140736981058480 140543355733840 140544173180827 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6307] ppid=6285 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6307/stat : 6307 (java) S 6285 6288 8289 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 113150156 14311342080 8444 18446744073709551615 4194304 4196468 140736981058480 140543354682224 140544173173378 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6309] ppid=6285 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6309/stat : 6309 (java) S 6285 6288 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113150156 14311342080 8444 18446744073709551615 4194304 4196468 140736981058480 140543353629424 140544173173378 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6311] ppid=6285 vsize=13975920 memory=140341757597312 CPUtime=0.01 cores=0,2,4,6
/proc/6288/task/6311/stat : 6311 (java) R 6285 6288 8289 0 -1 4202560 362 0 0 0 1 0 0 0 20 0 15 0 113150156 14311342080 8444 18446744073709551615 4194304 4196468 140736981058480 140543352576624 140544152094521 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6314] ppid=6285 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6314/stat : 6314 (java) S 6285 6288 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113150156 14311342080 8444 18446744073709551615 4194304 4196468 140736981058480 140543351524064 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6316] ppid=6285 vsize=13975920 memory=140341757597312 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6316/stat : 6316 (java) S 6285 6288 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113150162 14311342080 8444 18446744073709551615 4194304 4196468 140736981058480 140543350471344 140544173173378 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 33776 KiB
[startup+0.310562 s]*
/proc/loadavg: 1.08 1.67 1.87 4/213 6317
/proc/meminfo: memFree=31218856/32770624 swapFree=67108860/67108860
[pid=6288] ppid=6285 vsize=13975920 memory=43020 CPUtime=0.3 cores=0,2,4,6
/proc/6288/stat : 6288 (java) S 6285 6288 8289 0 -1 1077944320 10981 0 0 0 26 4 0 0 20 0 15 0 113150146 14311342080 10755 18446744073709551615 4194304 4196468 140736981058480 140736981041024 140544173162231 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 4 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
/proc/6288/statm: 3493980 10755 3617 1 0 3482759 0
[pid=6288/tid=6291] ppid=6285 vsize=13975920 memory=4209341120841998394 CPUtime=0.19 cores=0,2,4,6
/proc/6288/task/6291/stat : 6291 (java) R 6285 6288 8289 0 -1 4202560 8511 0 0 0 17 2 0 0 20 0 15 0 113150151 14311342080 10755 18446744073709551615 4194304 4196468 140736981058480 140544177388384 140544157242718 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6294] ppid=6285 vsize=13975920 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6294/stat : 6294 (java) S 6285 6288 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113150152 14311342080 10755 18446744073709551615 4194304 4196468 140736981058480 140544092576912 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6296] ppid=6285 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6296/stat : 6296 (java) S 6285 6288 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113150152 14311342080 10755 18446744073709551615 4194304 4196468 140736981058480 140544091524112 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6297] ppid=6285 vsize=13975920 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6297/stat : 6297 (java) S 6285 6288 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113150152 14311342080 10755 18446744073709551615 4194304 4196468 140736981058480 140544090471312 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6299] ppid=6285 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6299/stat : 6299 (java) S 6285 6288 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113150152 14311342080 10755 18446744073709551615 4194304 4196468 140736981058480 140544089418512 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6301] ppid=6285 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6301/stat : 6301 (java) S 6285 6288 8289 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 113150153 14311342080 10755 18446744073709551615 4194304 4196468 140736981058480 140543358892400 140544173173378 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6303] ppid=6285 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6303/stat : 6303 (java) S 6285 6288 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113150154 14311342080 10755 18446744073709551615 4194304 4196468 140736981058480 140543357838368 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6304] ppid=6285 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6304/stat : 6304 (java) S 6285 6288 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113150154 14311342080 10755 18446744073709551615 4194304 4196468 140736981058480 140543356785520 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6306] ppid=6285 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6306/stat : 6306 (java) S 6285 6288 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113150156 14311342080 10755 18446744073709551615 4194304 4196468 140736981058480 140543355733840 140544173180827 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6307] ppid=6285 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/6288/task/6307/stat : 6307 (java) S 6285 6288 8289 0 -1 1077944384 420 0 0 0 1 0 0 0 20 0 15 0 113150156 14311342080 10755 18446744073709551615 4194304 4196468 140736981058480 140543354682224 140544173173378 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6309] ppid=6285 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6309/stat : 6309 (java) S 6285 6288 8289 0 -1 1077944384 215 0 0 0 0 0 0 0 20 0 15 0 113150156 14311342080 10755 18446744073709551615 4194304 4196468 140736981058480 140543353629424 140544173173378 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6311] ppid=6285 vsize=13975920 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/6288/task/6311/stat : 6311 (java) S 6285 6288 8289 0 -1 1077944384 457 0 0 0 5 0 0 0 20 0 15 0 113150156 14311342080 10755 18446744073709551615 4194304 4196468 140736981058480 140543352576624 140544173173378 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6314] ppid=6285 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6314/stat : 6314 (java) S 6285 6288 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113150156 14311342080 10755 18446744073709551615 4194304 4196468 140736981058480 140543351524064 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6316] ppid=6285 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6316/stat : 6316 (java) S 6285 6288 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113150162 14311342080 10755 18446744073709551615 4194304 4196468 140736981058480 140543350471344 140544173173378 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 43020 KiB
[startup+0.70079 s]
/proc/loadavg: 1.08 1.67 1.87 4/213 6317
/proc/meminfo: memFree=31195008/32770624 swapFree=67108860/67108860
[pid=6288] ppid=6285 vsize=13977988 memory=69368 CPUtime=1.04 cores=0,2,4,6
/proc/6288/stat : 6288 (java) S 6285 6288 8289 0 -1 1077944320 14044 0 0 0 98 6 0 0 20 0 15 0 113150146 14313459712 17342 18446744073709551615 4194304 4196468 140736981058480 140736981041024 140544173162231 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 4 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
/proc/6288/statm: 3494497 17342 3732 1 0 3483271 0
[pid=6288/tid=6291] ppid=6285 vsize=13977988 memory=54808 CPUtime=0.58 cores=0,2,4,6
/proc/6288/task/6291/stat : 6291 (java) R 6285 6288 8289 0 -1 4202560 10548 0 0 0 54 4 0 0 20 0 15 0 113150151 14313459712 17342 18446744073709551615 4194304 4196468 140736981058480 140544177398576 140544173184157 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6294] ppid=6285 vsize=13977988 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6294/stat : 6294 (java) S 6285 6288 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113150152 14313459712 17342 18446744073709551615 4194304 4196468 140736981058480 140544092576912 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6296] ppid=6285 vsize=13977988 memory=2440 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6296/stat : 6296 (java) S 6285 6288 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113150152 14313459712 17342 18446744073709551615 4194304 4196468 140736981058480 140544091524112 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6297] ppid=6285 vsize=13977988 memory=8025788822668141932 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6297/stat : 6297 (java) S 6285 6288 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113150152 14313459712 17342 18446744073709551615 4194304 4196468 140736981058480 140544090471312 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6299] ppid=6285 vsize=13977988 memory=7957126533135815507 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6299/stat : 6299 (java) S 6285 6288 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113150152 14313459712 17342 18446744073709551615 4194304 4196468 140736981058480 140544089418512 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6301] ppid=6285 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6301/stat : 6301 (java) S 6285 6288 8289 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 113150153 14313459712 17342 18446744073709551615 4194304 4196468 140736981058480 140543358892400 140544173173378 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6303] ppid=6285 vsize=13977988 memory=14356 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6303/stat : 6303 (java) S 6285 6288 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113150154 14313459712 17342 18446744073709551615 4194304 4196468 140736981058480 140543357838368 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6304] ppid=6285 vsize=13977988 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6304/stat : 6304 (java) S 6285 6288 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113150154 14313459712 17342 18446744073709551615 4194304 4196468 140736981058480 140543356785520 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6306] ppid=6285 vsize=13977988 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6306/stat : 6306 (java) S 6285 6288 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113150156 14313459712 17342 18446744073709551615 4194304 4196468 140736981058480 140543355733840 140544173180827 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6307] ppid=6285 vsize=13977988 memory=11136 CPUtime=0.1 cores=0,2,4,6
/proc/6288/task/6307/stat : 6307 (java) S 6285 6288 8289 0 -1 1077944384 654 0 0 0 10 0 0 0 20 0 15 0 113150156 14313459712 17342 18446744073709551615 4194304 4196468 140736981058480 140543354682224 140544173173378 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6309] ppid=6285 vsize=13977988 memory=5788 CPUtime=0.1 cores=0,2,4,6
/proc/6288/task/6309/stat : 6309 (java) S 6285 6288 8289 0 -1 1077944384 626 0 0 0 10 0 0 0 20 0 15 0 113150156 14313459712 17342 18446744073709551615 4194304 4196468 140736981058480 140543353629424 140544173173378 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6311] ppid=6285 vsize=13977988 memory=4612 CPUtime=0.22 cores=0,2,4,6
/proc/6288/task/6311/stat : 6311 (java) S 6285 6288 8289 0 -1 1077944384 834 0 0 0 22 0 0 0 20 0 15 0 113150156 14313459712 17342 18446744073709551615 4194304 4196468 140736981058480 140543352576624 140544173173378 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6314] ppid=6285 vsize=13977988 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6314/stat : 6314 (java) S 6285 6288 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113150156 14313459712 17342 18446744073709551615 4194304 4196468 140736981058480 140543351524064 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6316] ppid=6285 vsize=13977988 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6316/stat : 6316 (java) S 6285 6288 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113150162 14313459712 17342 18446744073709551615 4194304 4196468 140736981058480 140543350471344 140544173173378 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 69368 KiB
[startup+1.50075 s]
/proc/loadavg: 1.08 1.67 1.87 5/198 6332
/proc/meminfo: memFree=31195184/32770624 swapFree=67108860/67108860
[pid=6288] ppid=6285 vsize=13980036 memory=137252 CPUtime=3.2 cores=0,2,4,6
/proc/6288/stat : 6288 (java) S 6285 6288 8289 0 -1 1077944320 28834 0 0 0 309 11 0 0 20 0 15 0 113150146 14315556864 34313 18446744073709551615 4194304 4196468 140736981058480 140736981041024 140544173162231 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 4 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
/proc/6288/statm: 3495009 34313 3757 1 0 3483783 0
[pid=6288/tid=6291] ppid=6285 vsize=13980036 memory=124192 CPUtime=1.37 cores=0,2,4,6
/proc/6288/task/6291/stat : 6291 (java) R 6285 6288 8289 0 -1 4202560 13821 0 0 0 130 7 0 0 20 0 15 0 113150151 14315556864 34313 18446744073709551615 4194304 4196468 140736981058480 140544177397448 140543766609088 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6294] ppid=6285 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6294/stat : 6294 (java) S 6285 6288 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113150152 14315556864 34313 18446744073709551615 4194304 4196468 140736981058480 140544092576912 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6296] ppid=6285 vsize=13980036 memory=4404 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6296/stat : 6296 (java) S 6285 6288 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113150152 14315556864 34313 18446744073709551615 4194304 4196468 140736981058480 140544091524112 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6297] ppid=6285 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6297/stat : 6297 (java) S 6285 6288 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113150152 14315556864 34313 18446744073709551615 4194304 4196468 140736981058480 140544090471312 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6299] ppid=6285 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6299/stat : 6299 (java) S 6285 6288 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113150152 14315556864 34313 18446744073709551615 4194304 4196468 140736981058480 140544089418512 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6301] ppid=6285 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6301/stat : 6301 (java) S 6285 6288 8289 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 113150153 14315556864 34313 18446744073709551615 4194304 4196468 140736981058480 140543358892400 140544173173378 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6303] ppid=6285 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6303/stat : 6303 (java) S 6285 6288 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113150154 14315556864 34313 18446744073709551615 4194304 4196468 140736981058480 140543357838368 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
################
# More data... #
################
/proc/6288/task/6291/stat : 6291 (java) R 6285 6288 8289 0 -1 4202560 24089 0 0 0 243605 21 0 0 20 0 15 0 113150151 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140544177400768 140543768026526 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6294] ppid=6285 vsize=13980036 memory=215848 CPUtime=2.2 cores=0,2,4,6
/proc/6288/task/6294/stat : 6294 (java) S 6285 6288 8289 0 -1 1077944384 1965 0 0 0 202 18 0 0 20 0 15 0 113150152 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140544092576912 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6296] ppid=6285 vsize=13980036 memory=211668 CPUtime=2.21 cores=0,2,4,6
/proc/6288/task/6296/stat : 6296 (java) S 6285 6288 8289 0 -1 1077944384 1995 0 0 0 201 20 0 0 20 0 15 0 113150152 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140544091524112 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6297] ppid=6285 vsize=13980036 memory=213800 CPUtime=2.24 cores=0,2,4,6
/proc/6288/task/6297/stat : 6297 (java) S 6285 6288 8289 0 -1 1077944384 1566 0 0 0 204 20 0 0 20 0 15 0 113150152 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140544090471312 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6299] ppid=6285 vsize=13980036 memory=213800 CPUtime=2.21 cores=0,2,4,6
/proc/6288/task/6299/stat : 6299 (java) S 6285 6288 8289 0 -1 1077944384 2628 0 0 0 201 20 0 0 20 0 15 0 113150152 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140544089418512 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6301] ppid=6285 vsize=13980036 memory=213800 CPUtime=2.32 cores=0,2,4,6
/proc/6288/task/6301/stat : 6301 (java) S 6285 6288 8289 0 -1 1077944384 4063 0 0 0 216 16 0 0 20 0 15 0 113150153 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140543358892400 140544173173378 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6303] ppid=6285 vsize=13980036 memory=213800 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6303/stat : 6303 (java) S 6285 6288 8289 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 113150154 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140543357838432 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6304] ppid=6285 vsize=13980036 memory=215848 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6304/stat : 6304 (java) S 6285 6288 8289 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 113150154 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140543356785536 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6306] ppid=6285 vsize=13980036 memory=213800 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6306/stat : 6306 (java) S 6285 6288 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113150156 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140543355733840 140544173180827 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6307] ppid=6285 vsize=13980036 memory=215848 CPUtime=1.76 cores=0,2,4,6
/proc/6288/task/6307/stat : 6307 (java) S 6285 6288 8289 0 -1 1077944384 8810 0 0 0 175 1 0 0 20 0 15 0 113150156 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140543354682224 140544173173378 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6309] ppid=6285 vsize=13980036 memory=215848 CPUtime=1.81 cores=0,2,4,6
/proc/6288/task/6309/stat : 6309 (java) S 6285 6288 8289 0 -1 1077944384 11259 0 0 0 180 1 0 0 20 0 15 0 113150156 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140543353629424 140544173173378 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6311] ppid=6285 vsize=13980036 memory=215848 CPUtime=0.48 cores=0,2,4,6
/proc/6288/task/6311/stat : 6311 (java) S 6285 6288 8289 0 -1 1077944384 6231 0 0 0 47 1 0 0 20 0 15 0 113150156 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140543352576624 140544173173378 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6314] ppid=6285 vsize=13980036 memory=215848 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6314/stat : 6314 (java) S 6285 6288 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113150156 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140543351524064 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6316] ppid=6285 vsize=13980036 memory=215848 CPUtime=0.71 cores=0,2,4,6
/proc/6288/task/6316/stat : 6316 (java) S 6285 6288 8289 0 -1 1077944384 554 0 0 0 28 43 0 0 20 0 15 0 113150162 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140543350471344 140544173173378 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
Current children cumulated CPU time: 2452.28 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 215848 KiB
[startup+2502.3 s]
/proc/loadavg: 1.60 1.45 1.44 3/217 6963
/proc/meminfo: memFree=30667424/32770624 swapFree=67108860/67108860
[pid=6288] ppid=6285 vsize=13980036 memory=215848 CPUtime=2512.43 cores=0,2,4,6
/proc/6288/stat : 6288 (java) S 6285 6288 8289 0 -1 1077944320 65046 0 0 0 251119 124 0 0 20 0 15 0 113150146 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140736981041024 140544173162231 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 4 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
/proc/6288/statm: 3495009 53962 3794 1 0 3483783 0
[pid=6288/tid=6291] ppid=6285 vsize=13980036 memory=215848 CPUtime=2496.1 cores=0,2,4,6
/proc/6288/task/6291/stat : 6291 (java) R 6285 6288 8289 0 -1 4202560 24258 0 0 0 249589 21 0 0 20 0 15 0 113150151 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140544177400688 140543766718430 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6294] ppid=6285 vsize=13980036 memory=215848 CPUtime=2.25 cores=0,2,4,6
/proc/6288/task/6294/stat : 6294 (java) S 6285 6288 8289 0 -1 1077944384 2024 0 0 0 207 18 0 0 20 0 15 0 113150152 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140544092576912 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6296] ppid=6285 vsize=13980036 memory=215848 CPUtime=2.26 cores=0,2,4,6
/proc/6288/task/6296/stat : 6296 (java) S 6285 6288 8289 0 -1 1077944384 1998 0 0 0 206 20 0 0 20 0 15 0 113150152 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140544091524112 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6297] ppid=6285 vsize=13980036 memory=215848 CPUtime=2.29 cores=0,2,4,6
/proc/6288/task/6297/stat : 6297 (java) S 6285 6288 8289 0 -1 1077944384 1571 0 0 0 209 20 0 0 20 0 15 0 113150152 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140544090471312 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6299] ppid=6285 vsize=13980036 memory=215848 CPUtime=2.26 cores=0,2,4,6
/proc/6288/task/6299/stat : 6299 (java) S 6285 6288 8289 0 -1 1077944384 2631 0 0 0 206 20 0 0 20 0 15 0 113150152 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140544089418512 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6301] ppid=6285 vsize=13980036 memory=215848 CPUtime=2.37 cores=0,2,4,6
/proc/6288/task/6301/stat : 6301 (java) S 6285 6288 8289 0 -1 1077944384 4221 0 0 0 221 16 0 0 20 0 15 0 113150153 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140543358892400 140544173173378 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6303] ppid=6285 vsize=13980036 memory=215848 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6303/stat : 6303 (java) S 6285 6288 8289 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 113150154 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140543357838432 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6304] ppid=6285 vsize=13980036 memory=215848 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6304/stat : 6304 (java) S 6285 6288 8289 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 113150154 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140543356785536 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6306] ppid=6285 vsize=13980036 memory=215848 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6306/stat : 6306 (java) S 6285 6288 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113150156 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140543355733840 140544173180827 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6307] ppid=6285 vsize=13980036 memory=140341613600120 CPUtime=1.77 cores=0,2,4,6
/proc/6288/task/6307/stat : 6307 (java) S 6285 6288 8289 0 -1 1077944384 8810 0 0 0 175 2 0 0 20 0 15 0 113150156 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140543354682224 140544173173378 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6309] ppid=6285 vsize=13980036 memory=215848 CPUtime=1.81 cores=0,2,4,6
/proc/6288/task/6309/stat : 6309 (java) S 6285 6288 8289 0 -1 1077944384 11259 0 0 0 180 1 0 0 20 0 15 0 113150156 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140543353629424 140544173173378 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6311] ppid=6285 vsize=13980036 memory=215848 CPUtime=0.49 cores=0,2,4,6
/proc/6288/task/6311/stat : 6311 (java) S 6285 6288 8289 0 -1 1077944384 6231 0 0 0 47 2 0 0 20 0 15 0 113150156 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140543352576624 140544173173378 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6314] ppid=6285 vsize=13980036 memory=215848 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6314/stat : 6314 (java) S 6285 6288 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113150156 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140543351524064 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6316] ppid=6285 vsize=13980036 memory=4168 CPUtime=0.73 cores=0,2,4,6
/proc/6288/task/6316/stat : 6316 (java) S 6285 6288 8289 0 -1 1077944384 567 0 0 0 29 44 0 0 20 0 15 0 113150162 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140543350471344 140544173173378 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
Current children cumulated CPU time: 2512.43 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 215848 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2509.9 s]
/proc/loadavg: 1.55 1.44 1.44 3/197 7010
/proc/meminfo: memFree=31076196/32770624 swapFree=67108860/67108860
[pid=6288] ppid=6285 vsize=13980036 memory=215848 CPUtime=2520.05 cores=0,2,4,6
/proc/6288/stat : 6288 (java) S 6285 6288 8289 0 -1 1077944320 65058 0 0 0 251881 124 0 0 20 0 15 0 113150146 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140736981041024 140544173162231 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 4 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
/proc/6288/statm: 3495009 53962 3794 1 0 3483783 0
[pid=6288/tid=6291] ppid=6285 vsize=13980036 memory=215848 CPUtime=2503.68 cores=0,2,4,6
/proc/6288/task/6291/stat : 6291 (java) R 6285 6288 8289 0 -1 4202560 24270 0 0 0 250347 21 0 0 20 0 15 0 113150151 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140544177400672 140544154001732 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6294] ppid=6285 vsize=13980036 memory=215848 CPUtime=2.26 cores=0,2,4,6
/proc/6288/task/6294/stat : 6294 (java) S 6285 6288 8289 0 -1 1077944384 2024 0 0 0 208 18 0 0 20 0 15 0 113150152 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140544092576912 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6296] ppid=6285 vsize=13980036 memory=215848 CPUtime=2.27 cores=0,2,4,6
/proc/6288/task/6296/stat : 6296 (java) S 6285 6288 8289 0 -1 1077944384 1998 0 0 0 207 20 0 0 20 0 15 0 113150152 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140544091524112 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6297] ppid=6285 vsize=13980036 memory=6944656592455350634 CPUtime=2.3 cores=0,2,4,6
/proc/6288/task/6297/stat : 6297 (java) S 6285 6288 8289 0 -1 1077944384 1571 0 0 0 210 20 0 0 20 0 15 0 113150152 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140544090471312 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6299] ppid=6285 vsize=13980036 memory=4168 CPUtime=2.26 cores=0,2,4,6
/proc/6288/task/6299/stat : 6299 (java) S 6285 6288 8289 0 -1 1077944384 2631 0 0 0 206 20 0 0 20 0 15 0 113150152 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140544089418512 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6301] ppid=6285 vsize=13980036 memory=215848 CPUtime=2.37 cores=0,2,4,6
/proc/6288/task/6301/stat : 6301 (java) S 6285 6288 8289 0 -1 1077944384 4221 0 0 0 221 16 0 0 20 0 15 0 113150153 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140543358892400 140544173173378 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6303] ppid=6285 vsize=13980036 memory=215848 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6303/stat : 6303 (java) S 6285 6288 8289 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 113150154 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140543357838432 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6304] ppid=6285 vsize=13980036 memory=215848 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6304/stat : 6304 (java) S 6285 6288 8289 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 113150154 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140543356785536 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6306] ppid=6285 vsize=13980036 memory=215848 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6306/stat : 6306 (java) S 6285 6288 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113150156 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140543355733840 140544173180827 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6307] ppid=6285 vsize=13980036 memory=215848 CPUtime=1.77 cores=0,2,4,6
/proc/6288/task/6307/stat : 6307 (java) S 6285 6288 8289 0 -1 1077944384 8810 0 0 0 175 2 0 0 20 0 15 0 113150156 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140543354682224 140544173173378 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6309] ppid=6285 vsize=13980036 memory=215848 CPUtime=1.81 cores=0,2,4,6
/proc/6288/task/6309/stat : 6309 (java) S 6285 6288 8289 0 -1 1077944384 11259 0 0 0 180 1 0 0 20 0 15 0 113150156 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140543353629424 140544173173378 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6311] ppid=6285 vsize=13980036 memory=55 CPUtime=0.49 cores=0,2,4,6
/proc/6288/task/6311/stat : 6311 (java) S 6285 6288 8289 0 -1 1077944384 6231 0 0 0 47 2 0 0 20 0 15 0 113150156 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140543352576624 140544173173378 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6314] ppid=6285 vsize=13980036 memory=54940 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6314/stat : 6314 (java) S 6285 6288 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113150156 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140543351524064 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6316] ppid=6285 vsize=13980036 memory=1296 CPUtime=0.73 cores=0,2,4,6
/proc/6288/task/6316/stat : 6316 (java) S 6285 6288 8289 0 -1 1077944384 567 0 0 0 29 44 0 0 20 0 15 0 113150162 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140543350471344 140544173173378 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 215848 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2509.91 s]
# the end of solver process 6288 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.82 s, system=1.25149 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2509.9 s]
/proc/loadavg: 1.55 1.44 1.44 3/197 7010
/proc/meminfo: memFree=31076196/32770624 swapFree=67108860/67108860
[pid=6288] ppid=6285 vsize=13980036 memory=215848 CPUtime=2520.05 cores=0,2,4,6
/proc/6288/stat : 6288 (java) S 6285 6288 8289 0 -1 1077944320 65058 0 0 0 251881 124 0 0 20 0 15 0 113150146 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140736981041024 140544173162231 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 4 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
/proc/6288/statm: 3495009 53962 3794 1 0 3483783 0
[pid=6288/tid=6291] ppid=6285 vsize=13980036 memory=215848 CPUtime=2503.68 cores=0,2,4,6
/proc/6288/task/6291/stat : 6291 (java) R 6285 6288 8289 0 -1 4202560 24270 0 0 0 250347 21 0 0 20 0 15 0 113150151 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140544177400672 140544154001732 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6294] ppid=6285 vsize=13980036 memory=215848 CPUtime=2.26 cores=0,2,4,6
/proc/6288/task/6294/stat : 6294 (java) S 6285 6288 8289 0 -1 1077944384 2024 0 0 0 208 18 0 0 20 0 15 0 113150152 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140544092576912 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6296] ppid=6285 vsize=13980036 memory=215848 CPUtime=2.27 cores=0,2,4,6
/proc/6288/task/6296/stat : 6296 (java) S 6285 6288 8289 0 -1 1077944384 1998 0 0 0 207 20 0 0 20 0 15 0 113150152 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140544091524112 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6297] ppid=6285 vsize=13980036 memory=6944656592455350634 CPUtime=2.3 cores=0,2,4,6
/proc/6288/task/6297/stat : 6297 (java) S 6285 6288 8289 0 -1 1077944384 1571 0 0 0 210 20 0 0 20 0 15 0 113150152 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140544090471312 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6299] ppid=6285 vsize=13980036 memory=4168 CPUtime=2.26 cores=0,2,4,6
/proc/6288/task/6299/stat : 6299 (java) S 6285 6288 8289 0 -1 1077944384 2631 0 0 0 206 20 0 0 20 0 15 0 113150152 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140544089418512 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6301] ppid=6285 vsize=13980036 memory=215848 CPUtime=2.37 cores=0,2,4,6
/proc/6288/task/6301/stat : 6301 (java) S 6285 6288 8289 0 -1 1077944384 4221 0 0 0 221 16 0 0 20 0 15 0 113150153 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140543358892400 140544173173378 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6303] ppid=6285 vsize=13980036 memory=215848 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6303/stat : 6303 (java) S 6285 6288 8289 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 113150154 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140543357838432 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6304] ppid=6285 vsize=13980036 memory=215848 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6304/stat : 6304 (java) S 6285 6288 8289 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 113150154 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140543356785536 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6306] ppid=6285 vsize=13980036 memory=215848 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6306/stat : 6306 (java) S 6285 6288 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113150156 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140543355733840 140544173180827 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6307] ppid=6285 vsize=13980036 memory=215848 CPUtime=1.77 cores=0,2,4,6
/proc/6288/task/6307/stat : 6307 (java) S 6285 6288 8289 0 -1 1077944384 8810 0 0 0 175 2 0 0 20 0 15 0 113150156 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140543354682224 140544173173378 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6309] ppid=6285 vsize=13980036 memory=215848 CPUtime=1.81 cores=0,2,4,6
/proc/6288/task/6309/stat : 6309 (java) S 6285 6288 8289 0 -1 1077944384 11259 0 0 0 180 1 0 0 20 0 15 0 113150156 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140543353629424 140544173173378 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6311] ppid=6285 vsize=13980036 memory=55 CPUtime=0.49 cores=0,2,4,6
/proc/6288/task/6311/stat : 6311 (java) S 6285 6288 8289 0 -1 1077944384 6231 0 0 0 47 2 0 0 20 0 15 0 113150156 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140543352576624 140544173173378 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6314] ppid=6285 vsize=13980036 memory=54940 CPUtime=0 cores=0,2,4,6
/proc/6288/task/6314/stat : 6314 (java) S 6285 6288 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113150156 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140543351524064 140544173172437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
[pid=6288/tid=6316] ppid=6285 vsize=13980036 memory=1296 CPUtime=0.73 cores=0,2,4,6
/proc/6288/task/6316/stat : 6316 (java) S 6285 6288 8289 0 -1 1077944384 567 0 0 0 29 44 0 0 20 0 15 0 113150162 14315556864 53962 18446744073709551615 4194304 4196468 140736981058480 140543350471344 140544173173378 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27561984 140736981066094 140736981066281 140736981066281 140736981069775 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 215848 KiB
Child status: 143
Real time (s): 2509.91
CPU time (s): 2520.08
CPU user time (s): 2518.82
CPU system time (s): 1.25149
CPU usage (%): 100.405
Max. virtual memory (cumulated for all children) (KiB): 13980036
Max. memory (cumulated for all children) (KiB): 227032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.82
system time used= 1.25149
maximum resident set size= 227036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65232
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 119648
involuntary context switches= 6493
# summary of solver processes directly reported to runsolver:
# pid: 6288
# total CPU time (s): 2520.08
# total CPU user time (s): 2518.82
# total CPU system time (s): 1.25149
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1687 second user time and 22.0334 second system time
The end