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 (8532 MiB free)
memory of node 1: 16384 MiB (10596 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296140-1532623921/watcher-4296140-1532623921 -o /tmp/evaluation-result-4296140-1532623921/solver-4296140-1532623921 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532621454-11758 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=50446101 HOME/instance-4296140-1532623921.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=12060, runsolver pid=12057
[startup+0.100148 s]*
/proc/loadavg: 1.30 1.31 1.35 3/205 12115
/proc/meminfo: memFree=19583420/32770624 swapFree=67108860/67108860
[pid=12060] ppid=12057 vsize=9972712 memory=16548 CPUtime=0.08 cores=0,2,4,6
/proc/12060/stat : 12060 (java) S 12057 12060 8081 0 -1 1077944320 4309 13405 0 0 1 0 4 3 20 0 6 0 79955302 10212057088 4137 33554432000 4194304 4196468 140726335637696 140726335620240 140159599025911 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
/proc/12060/statm: 2493178 4137 1932 1 0 2481616 0
[pid=12060/tid=12113] ppid=12057 vsize=9972712 memory=4279135704047321741 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12113/stat : 12113 (java) R 12057 12060 8081 0 -1 4202560 2128 13405 0 0 0 0 4 3 20 0 6 0 79955311 10212057088 4203 33554432000 4194304 4196468 140726335637696 140159570862672 140159583106398 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12114] ppid=12057 vsize=9972712 memory=8257237230052613020 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12114/stat : 12114 (java) S 12057 12060 8081 0 -1 1077944384 1 13405 0 0 0 0 4 3 20 0 6 0 79955312 10212057088 4203 33554432000 4194304 4196468 140726335637696 140159603268240 140159599036117 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12115] ppid=12057 vsize=9972712 memory=140410233947776 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12115/stat : 12115 (java) S 12057 12060 8081 0 -1 1077944384 1 13405 0 0 0 0 4 3 20 0 6 0 79955312 10212057088 4203 33554432000 4194304 4196468 140726335637696 140159491541520 140159599036117 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12116] ppid=12057 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12116/stat : 12116 (java) S 12057 12060 8081 0 -1 1077944384 2 13405 0 0 0 0 4 3 20 0 6 0 79955312 10212057088 4203 33554432000 4194304 4196468 140726335637696 140159490488720 140159599036117 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12117] ppid=12057 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12117/stat : 12117 (java) S 12057 12060 8081 0 -1 1077944384 2 13405 0 0 0 0 4 3 20 0 6 0 79955312 10212057088 4203 33554432000 4194304 4196468 140726335637696 140159489435920 140159599036117 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16548 KiB
[startup+0.210137 s]*
/proc/loadavg: 1.30 1.31 1.35 3/216 12126
/proc/meminfo: memFree=19562612/32770624 swapFree=67108860/67108860
[pid=12060] ppid=12057 vsize=10818856 memory=41108 CPUtime=0.26 cores=0,2,4,6
/proc/12060/stat : 12060 (java) S 12057 12060 8081 0 -1 1077944320 8695 13405 0 0 17 2 4 3 20 0 15 0 79955302 11078508544 10277 33554432000 4194304 4196468 140726335637696 140726335620240 140159599025911 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
/proc/12060/statm: 2704714 10277 2934 1 0 2667149 0
[pid=12060/tid=12113] ppid=12057 vsize=10818856 memory=-6517102902069810590 CPUtime=0.18 cores=0,2,4,6
/proc/12060/task/12113/stat : 12113 (java) R 12057 12060 8081 0 -1 4202560 5227 13405 0 0 10 1 4 3 20 0 15 0 79955311 11078508544 10277 33554432000 4194304 4196468 140726335637696 140159570823568 140159583106398 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12114] ppid=12057 vsize=10818856 memory=-7025452035940392864 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12114/stat : 12114 (java) S 12057 12060 8081 0 -1 1077944384 1 13405 0 0 0 0 4 3 20 0 15 0 79955312 11078508544 10277 33554432000 4194304 4196468 140726335637696 140159603268240 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12115] ppid=12057 vsize=10818856 memory=140410233947776 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12115/stat : 12115 (java) S 12057 12060 8081 0 -1 1077944384 1 13405 0 0 0 0 4 3 20 0 15 0 79955312 11078508544 10277 33554432000 4194304 4196468 140726335637696 140159491541520 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12116] ppid=12057 vsize=10818856 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12116/stat : 12116 (java) S 12057 12060 8081 0 -1 1077944384 2 13405 0 0 0 0 4 3 20 0 15 0 79955312 11078508544 10277 33554432000 4194304 4196468 140726335637696 140159490488720 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12117] ppid=12057 vsize=10818856 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12117/stat : 12117 (java) S 12057 12060 8081 0 -1 1077944384 2 13405 0 0 0 0 4 3 20 0 15 0 79955312 11078508544 10277 33554432000 4194304 4196468 140726335637696 140159489435920 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12118] ppid=12057 vsize=10818856 memory=140410233947776 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12118/stat : 12118 (java) S 12057 12060 8081 0 -1 1077944384 2 13405 0 0 0 0 4 3 20 0 15 0 79955313 11078508544 10277 33554432000 4194304 4196468 140726335637696 140159058570096 140159599037058 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12119] ppid=12057 vsize=10818856 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12119/stat : 12119 (java) S 12057 12060 8081 0 -1 1077944384 33 13405 0 0 0 0 4 3 20 0 15 0 79955314 11078508544 10277 33554432000 4194304 4196468 140726335637696 140159057516064 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12120] ppid=12057 vsize=10818856 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12120/stat : 12120 (java) S 12057 12060 8081 0 -1 1077944384 1 13405 0 0 0 0 4 3 20 0 15 0 79955314 11078508544 10277 33554432000 4194304 4196468 140726335637696 140158473069936 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12121] ppid=12057 vsize=10818856 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12121/stat : 12121 (java) S 12057 12060 8081 0 -1 1077944384 3 13405 0 0 0 0 4 3 20 0 15 0 79955316 11078508544 10277 33554432000 4194304 4196468 140726335637696 140158165670224 140159599044507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12122] ppid=12057 vsize=10818856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12060/task/12122/stat : 12122 (java) S 12057 12060 8081 0 -1 1077944384 352 13405 0 0 1 0 4 3 20 0 15 0 79955316 11078508544 10277 33554432000 4194304 4196468 140726335637696 140159023958384 140159599037058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12123] ppid=12057 vsize=10818856 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12123/stat : 12123 (java) S 12057 12060 8081 0 -1 1077944384 260 13405 0 0 0 0 4 3 20 0 15 0 79955316 11078508544 10277 33554432000 4194304 4196468 140726335637696 140159022905584 140159599037058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12124] ppid=12057 vsize=10818856 memory=140410233947776 CPUtime=0.1 cores=0,2,4,6
/proc/12060/task/12124/stat : 12124 (java) S 12057 12060 8081 0 -1 1077944384 619 13405 0 0 3 0 4 3 20 0 15 0 79955317 11078508544 10277 33554432000 4194304 4196468 140726335637696 140159021852784 140159599037058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12125] ppid=12057 vsize=10818856 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12125/stat : 12125 (java) S 12057 12060 8081 0 -1 1077944384 3 13405 0 0 0 0 4 3 20 0 15 0 79955317 11078508544 10277 33554432000 4194304 4196468 140726335637696 140158132111584 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12126] ppid=12057 vsize=10818856 memory=140410233947776 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12126/stat : 12126 (java) S 12057 12060 8081 0 -1 1077944384 1 13405 0 0 0 0 4 3 20 0 15 0 79955317 11078508544 10277 33554432000 4194304 4196468 140726335637696 140159020801200 140159599037058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818856 KiB
Current children cumulated memory: 41108 KiB
[startup+0.310457 s]*
/proc/loadavg: 1.30 1.31 1.35 6/216 12126
/proc/meminfo: memFree=19550952/32770624 swapFree=67108860/67108860
[pid=12060] ppid=12057 vsize=10819352 memory=51984 CPUtime=0.38 cores=0,2,4,6
/proc/12060/stat : 12060 (java) S 12057 12060 8081 0 -1 1077944320 10589 13405 0 0 29 2 4 3 20 0 15 0 79955302 11079016448 12996 33554432000 4194304 4196468 140726335637696 140726335620240 140159599025911 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
/proc/12060/statm: 2704838 12996 3065 1 0 2667149 0
[pid=12060/tid=12113] ppid=12057 vsize=10819352 memory=6791534058613427641 CPUtime=0.27 cores=0,2,4,6
/proc/12060/task/12113/stat : 12113 (java) R 12057 12060 8081 0 -1 4202560 7176 13405 0 0 19 1 4 3 20 0 15 0 79955311 11079016448 13062 33554432000 4194304 4196468 140726335637696 140159570837920 140159579301739 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12114] ppid=12057 vsize=10819352 memory=7591212250142101840 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12114/stat : 12114 (java) S 12057 12060 8081 0 -1 1077944384 1 13405 0 0 0 0 4 3 20 0 15 0 79955312 11079016448 13062 33554432000 4194304 4196468 140726335637696 140159603268240 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12115] ppid=12057 vsize=10819352 memory=2076 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12115/stat : 12115 (java) S 12057 12060 8081 0 -1 1077944384 1 13405 0 0 0 0 4 3 20 0 15 0 79955312 11079016448 13062 33554432000 4194304 4196468 140726335637696 140159491541520 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12116] ppid=12057 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12116/stat : 12116 (java) S 12057 12060 8081 0 -1 1077944384 2 13405 0 0 0 0 4 3 20 0 15 0 79955312 11079016448 13062 33554432000 4194304 4196468 140726335637696 140159490488720 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12117] ppid=12057 vsize=10819352 memory=4126316290023845779 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12117/stat : 12117 (java) S 12057 12060 8081 0 -1 1077944384 2 13405 0 0 0 0 4 3 20 0 15 0 79955312 11079016448 13062 33554432000 4194304 4196468 140726335637696 140159489435920 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12118] ppid=12057 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12118/stat : 12118 (java) S 12057 12060 8081 0 -1 1077944384 2 13405 0 0 0 0 4 3 20 0 15 0 79955313 11079016448 13062 33554432000 4194304 4196468 140726335637696 140159058570096 140159599037058 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12119] ppid=12057 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12119/stat : 12119 (java) S 12057 12060 8081 0 -1 1077944384 33 13405 0 0 0 0 4 3 20 0 15 0 79955314 11079016448 13062 33554432000 4194304 4196468 140726335637696 140159057516064 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12120] ppid=12057 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12120/stat : 12120 (java) S 12057 12060 8081 0 -1 1077944384 1 13405 0 0 0 0 4 3 20 0 15 0 79955314 11079016448 13062 33554432000 4194304 4196468 140726335637696 140158473069936 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12121] ppid=12057 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12121/stat : 12121 (java) S 12057 12060 8081 0 -1 1077944384 3 13405 0 0 0 0 4 3 20 0 15 0 79955316 11079016448 13062 33554432000 4194304 4196468 140726335637696 140158165670224 140159599044507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12122] ppid=12057 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12060/task/12122/stat : 12122 (java) S 12057 12060 8081 0 -1 1077944384 352 13405 0 0 1 0 4 3 20 0 15 0 79955316 11079016448 13062 33554432000 4194304 4196468 140726335637696 140159023958384 140159599037058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12123] ppid=12057 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/12060/task/12123/stat : 12123 (java) S 12057 12060 8081 0 -1 1077944384 263 13405 0 0 1 0 4 3 20 0 15 0 79955316 11079016448 13062 33554432000 4194304 4196468 140726335637696 140159022905584 140159599037058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12124] ppid=12057 vsize=10819352 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/12060/task/12124/stat : 12124 (java) S 12057 12060 8081 0 -1 1077944384 624 13405 0 0 5 0 4 3 20 0 15 0 79955317 11079016448 13062 33554432000 4194304 4196468 140726335637696 140159021852784 140159599037058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12125] ppid=12057 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12125/stat : 12125 (java) S 12057 12060 8081 0 -1 1077944384 3 13405 0 0 0 0 4 3 20 0 15 0 79955317 11079016448 13062 33554432000 4194304 4196468 140726335637696 140158132111584 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12126] ppid=12057 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12126/stat : 12126 (java) S 12057 12060 8081 0 -1 1077944384 1 13405 0 0 0 0 4 3 20 0 15 0 79955317 11079016448 13062 33554432000 4194304 4196468 140726335637696 140159020801200 140159599037058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 51984 KiB
[startup+0.700709 s]
/proc/loadavg: 1.30 1.31 1.35 4/200 12128
/proc/meminfo: memFree=20500944/32770624 swapFree=67108860/67108860
[pid=12060] ppid=12057 vsize=10819352 memory=84884 CPUtime=0.99 cores=0,2,4,6
/proc/12060/stat : 12060 (java) S 12057 12060 8081 0 -1 1077944320 16901 13405 0 0 88 4 4 3 20 0 15 0 79955302 11079016448 21221 33554432000 4194304 4196468 140726335637696 140726335620240 140159599025911 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
/proc/12060/statm: 2704838 21221 3237 1 0 2667149 0
[pid=12060/tid=12113] ppid=12057 vsize=10819352 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/12060/task/12113/stat : 12113 (java) R 12057 12060 8081 0 -1 4202560 12454 13405 0 0 56 3 4 3 20 0 15 0 79955311 11079016448 21221 33554432000 4194304 4196468 140726335637696 140159570849440 140159579301291 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12114] ppid=12057 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12114/stat : 12114 (java) S 12057 12060 8081 0 -1 1077944384 1 13405 0 0 0 0 4 3 20 0 15 0 79955312 11079016448 21221 33554432000 4194304 4196468 140726335637696 140159603268240 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12115] ppid=12057 vsize=10819352 memory=8751464017575425845 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12115/stat : 12115 (java) S 12057 12060 8081 0 -1 1077944384 1 13405 0 0 0 0 4 3 20 0 15 0 79955312 11079016448 21221 33554432000 4194304 4196468 140726335637696 140159491541520 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12116] ppid=12057 vsize=10819352 memory=5859276991658285160 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12116/stat : 12116 (java) S 12057 12060 8081 0 -1 1077944384 2 13405 0 0 0 0 4 3 20 0 15 0 79955312 11079016448 21221 33554432000 4194304 4196468 140726335637696 140159490488720 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12117] ppid=12057 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12117/stat : 12117 (java) S 12057 12060 8081 0 -1 1077944384 2 13405 0 0 0 0 4 3 20 0 15 0 79955312 11079016448 21221 33554432000 4194304 4196468 140726335637696 140159489435920 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12118] ppid=12057 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12118/stat : 12118 (java) S 12057 12060 8081 0 -1 1077944384 5 13405 0 0 0 0 4 3 20 0 15 0 79955313 11079016448 21221 33554432000 4194304 4196468 140726335637696 140159058570096 140159599037058 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12119] ppid=12057 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12119/stat : 12119 (java) S 12057 12060 8081 0 -1 1077944384 33 13405 0 0 0 0 4 3 20 0 15 0 79955314 11079016448 21221 33554432000 4194304 4196468 140726335637696 140159057516064 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12120] ppid=12057 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12120/stat : 12120 (java) S 12057 12060 8081 0 -1 1077944384 1 13405 0 0 0 0 4 3 20 0 15 0 79955314 11079016448 21221 33554432000 4194304 4196468 140726335637696 140158473069936 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12121] ppid=12057 vsize=10819352 memory=6656426216303648864 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12121/stat : 12121 (java) S 12057 12060 8081 0 -1 1077944384 3 13405 0 0 0 0 4 3 20 0 15 0 79955316 11079016448 21221 33554432000 4194304 4196468 140726335637696 140158165670224 140159599044507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12122] ppid=12057 vsize=10819352 memory=6656426216303648864 CPUtime=0.14 cores=0,2,4,6
/proc/12060/task/12122/stat : 12122 (java) S 12057 12060 8081 0 -1 1077944384 617 13405 0 0 7 0 4 3 20 0 15 0 79955316 11079016448 21221 33554432000 4194304 4196468 140726335637696 140159023958384 140159599037058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12123] ppid=12057 vsize=10819352 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/12060/task/12123/stat : 12123 (java) S 12057 12060 8081 0 -1 1077944384 917 13405 0 0 10 0 4 3 20 0 15 0 79955316 11079016448 21221 33554432000 4194304 4196468 140726335637696 140159022905584 140159599037058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12124] ppid=12057 vsize=10819352 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/12060/task/12124/stat : 12124 (java) S 12057 12060 8081 0 -1 1077944384 670 13405 0 0 13 0 4 3 20 0 15 0 79955317 11079016448 21221 33554432000 4194304 4196468 140726335637696 140159021852784 140159599037058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12125] ppid=12057 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12125/stat : 12125 (java) S 12057 12060 8081 0 -1 1077944384 3 13405 0 0 0 0 4 3 20 0 15 0 79955317 11079016448 21221 33554432000 4194304 4196468 140726335637696 140158132111584 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12126] ppid=12057 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12126/stat : 12126 (java) S 12057 12060 8081 0 -1 1077944384 1 13405 0 0 0 0 4 3 20 0 15 0 79955317 11079016448 21221 33554432000 4194304 4196468 140726335637696 140159020801200 140159599037058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 84884 KiB
[startup+1.50078 s]
/proc/loadavg: 1.30 1.31 1.35 6/218 12160
/proc/meminfo: memFree=20403384/32770624 swapFree=67108860/67108860
[pid=12060] ppid=12057 vsize=10832204 memory=199592 CPUtime=2.73 cores=0,2,4,6
/proc/12060/stat : 12060 (java) S 12057 12060 8081 0 -1 1077944320 24616 13405 0 0 257 9 4 3 20 0 15 0 79955302 11092176896 49898 33554432000 4194304 4196468 140726335637696 140726335620240 140159599025911 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
/proc/12060/statm: 2708051 49898 3470 1 0 2669709 0
[pid=12060/tid=12113] ppid=12057 vsize=10832204 memory=0 CPUtime=1.43 cores=0,2,4,6
/proc/12060/task/12113/stat : 12113 (java) S 12057 12060 8081 0 -1 1077944384 17288 13405 0 0 131 5 4 3 20 0 15 0 79955311 11092176896 49898 33554432000 4194304 4196468 140726335637696 140159570831088 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12114] ppid=12057 vsize=10832204 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12114/stat : 12114 (java) S 12057 12060 8081 0 -1 1077944384 178 13405 0 0 0 0 4 3 20 0 15 0 79955312 11092176896 49898 33554432000 4194304 4196468 140726335637696 140159603268240 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12115] ppid=12057 vsize=10832204 memory=280820262705088 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12115/stat : 12115 (java) S 12057 12060 8081 0 -1 1077944384 19 13405 0 0 0 0 4 3 20 0 15 0 79955312 11092176896 49898 33554432000 4194304 4196468 140726335637696 140159491541520 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12116] ppid=12057 vsize=10832204 memory=280820262709504 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12116/stat : 12116 (java) S 12057 12060 8081 0 -1 1077944384 25 13405 0 0 0 0 4 3 20 0 15 0 79955312 11092176896 49898 33554432000 4194304 4196468 140726335637696 140159490488720 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12117] ppid=12057 vsize=10832204 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12117/stat : 12117 (java) S 12057 12060 8081 0 -1 1077944384 61 13405 0 0 0 0 4 3 20 0 15 0 79955312 11092176896 49898 33554432000 4194304 4196468 140726335637696 140159489435920 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12118] ppid=12057 vsize=10832204 memory=23844 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12118/stat : 12118 (java) R 12057 12060 8081 0 -1 4202560 461 13405 0 0 0 0 4 3 20 0 15 0 79955313 11092176896 49898 33554432000 4194304 4196468 140726335637696 140159058568384 140159584022181 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12119] ppid=12057 vsize=10832204 memory=2420 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12119/stat : 12119 (java) S 12057 12060 8081 0 -1 1077944384 33 13405 0 0 0 0 4 3 20 0 15 0 79955314 11092176896 49898 33554432000 4194304 4196468 140726335637696 140159057516064 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12120] ppid=12057 vsize=10832204 memory=1292 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12120/stat : 12120 (java) S 12057 12060 8081 0 -1 1077944384 1 13405 0 0 0 0 4 3 20 0 15 0 79955314 11092176896 49898 33554432000 4194304 4196468 140726335637696 140158473069936 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12121] ppid=12057 vsize=10832204 memory=1728 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12121/stat : 12121 (java) S 12057 12060 8081 0 -1 1077944384 3 13405 0 0 0 0 4 3 20 0 15 0 79955316 11092176896 49898 33554432000 4194304 4196468 140726335637696 140158165670224 140159599044507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12122] ppid=12057 vsize=10832204 memory=796 CPUtime=0.46 cores=0,2,4,6
/proc/12060/task/12122/stat : 12122 (java) S 12057 12060 8081 0 -1 1077944384 1206 13405 0 0 39 0 4 3 20 0 15 0 79955316 11092176896 49898 33554432000 4194304 4196468 140726335637696 140159023958384 140159599037058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12123] ppid=12057 vsize=10832204 memory=1012 CPUtime=0.51 cores=0,2,4,6
/proc/12060/task/12123/stat : 12123 (java) S 12057 12060 8081 0 -1 1077944384 1678 13405 0 0 44 0 4 3 20 0 15 0 79955316 11092176896 49898 33554432000 4194304 4196468 140726335637696 140159022905584 140159599037058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12124] ppid=12057 vsize=10832204 memory=1228 CPUtime=0.45 cores=0,2,4,6
/proc/12060/task/12124/stat : 12124 (java) S 12057 12060 8081 0 -1 1077944384 1470 13405 0 0 38 0 4 3 20 0 15 0 79955317 11092176896 49898 33554432000 4194304 4196468 140726335637696 140159021852784 140159599037058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12125] ppid=12057 vsize=10832204 memory=1704 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12125/stat : 12125 (java) S 12057 12060 8081 0 -1 1077944384 3 13405 0 0 0 0 4 3 20 0 15 0 79955317 11092176896 49898 33554432000 4194304 4196468 140726335637696 140158132111584 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12126] ppid=12057 vsize=10832204 memory=9996 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12126/stat : 12126 (java) S 12057 12060 8081 0 -1 1077944384 1 13405 0 0 0 0 4 3 20 0 15 0 79955317 11092176896 49898 33554432000 4194304 4196468 140726335637696 140159020801200 140159599037058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
Current children cumulated CPU time: 2.73 s
Current children cumulated vsize: 10832204 KiB
################
# More data... #
################
/proc/12060/task/12113/stat : 12113 (java) R 12057 12060 8081 0 -1 4202560 75503 13405 0 0 236529 34 4 3 20 0 15 0 79955311 11178180608 201070 33554432000 4194304 4196468 140726335637696 140159570859728 140159175735932 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12114] ppid=12057 vsize=10916192 memory=68 CPUtime=7.08 cores=0,2,4,6
/proc/12060/task/12114/stat : 12114 (java) S 12057 12060 8081 0 -1 1077944384 8168 13405 0 0 666 35 4 3 20 0 15 0 79955312 11178180608 201070 33554432000 4194304 4196468 140726335637696 140159603268240 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12115] ppid=12057 vsize=10916192 memory=4616 CPUtime=7.11 cores=0,2,4,6
/proc/12060/task/12115/stat : 12115 (java) S 12057 12060 8081 0 -1 1077944384 10033 13405 0 0 669 35 4 3 20 0 15 0 79955312 11178180608 201070 33554432000 4194304 4196468 140726335637696 140159491541520 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12116] ppid=12057 vsize=10916192 memory=1424 CPUtime=7.05 cores=0,2,4,6
/proc/12060/task/12116/stat : 12116 (java) S 12057 12060 8081 0 -1 1077944384 6506 13405 0 0 660 38 4 3 20 0 15 0 79955312 11178180608 201070 33554432000 4194304 4196468 140726335637696 140159490488720 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12117] ppid=12057 vsize=10916192 memory=804264 CPUtime=7.1 cores=0,2,4,6
/proc/12060/task/12117/stat : 12117 (java) S 12057 12060 8081 0 -1 1077944384 9667 13405 0 0 667 36 4 3 20 0 15 0 79955312 11178180608 201070 33554432000 4194304 4196468 140726335637696 140159489435920 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12118] ppid=12057 vsize=10916192 memory=804264 CPUtime=6.8 cores=0,2,4,6
/proc/12060/task/12118/stat : 12118 (java) S 12057 12060 8081 0 -1 1077944384 11146 13405 0 0 638 35 4 3 20 0 15 0 79955313 11178180608 201070 33554432000 4194304 4196468 140726335637696 140159058570096 140159599037058 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12119] ppid=12057 vsize=10916192 memory=804264 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12119/stat : 12119 (java) S 12057 12060 8081 0 -1 1077944384 38 13405 0 0 0 0 4 3 20 0 15 0 79955314 11178180608 201070 33554432000 4194304 4196468 140726335637696 140159057516128 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12120] ppid=12057 vsize=10916192 memory=804264 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12120/stat : 12120 (java) S 12057 12060 8081 0 -1 1077944384 4 13405 0 0 0 0 4 3 20 0 15 0 79955314 11178180608 201070 33554432000 4194304 4196468 140726335637696 140158473069952 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12121] ppid=12057 vsize=10916192 memory=804280 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12121/stat : 12121 (java) S 12057 12060 8081 0 -1 1077944384 3 13405 0 0 0 0 4 3 20 0 15 0 79955316 11178180608 201070 33554432000 4194304 4196468 140726335637696 140158165670224 140159599044507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12122] ppid=12057 vsize=10916192 memory=804280 CPUtime=4.8 cores=0,2,4,6
/proc/12060/task/12122/stat : 12122 (java) S 12057 12060 8081 0 -1 1077944384 20562 13405 0 0 469 4 4 3 20 0 15 0 79955316 11178180608 201070 33554432000 4194304 4196468 140726335637696 140159023958384 140159599037058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12123] ppid=12057 vsize=10916192 memory=1704 CPUtime=4.83 cores=0,2,4,6
/proc/12060/task/12123/stat : 12123 (java) S 12057 12060 8081 0 -1 1077944384 24061 13405 0 0 472 4 4 3 20 0 15 0 79955316 11178180608 201070 33554432000 4194304 4196468 140726335637696 140159022905584 140159599037058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12124] ppid=12057 vsize=10916192 memory=6791534058613427641 CPUtime=1.93 cores=0,2,4,6
/proc/12060/task/12124/stat : 12124 (java) S 12057 12060 8081 0 -1 1077944384 17739 13405 0 0 183 3 4 3 20 0 15 0 79955317 11178180608 201070 33554432000 4194304 4196468 140726335637696 140159021852784 140159599037058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12125] ppid=12057 vsize=10916192 memory=2420 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12125/stat : 12125 (java) S 12057 12060 8081 0 -1 1077944384 3 13405 0 0 0 0 4 3 20 0 15 0 79955317 11178180608 201070 33554432000 4194304 4196468 140726335637696 140158132111584 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12126] ppid=12057 vsize=10916192 memory=4136 CPUtime=1.45 cores=0,2,4,6
/proc/12060/task/12126/stat : 12126 (java) S 12057 12060 8081 0 -1 1077944384 2027 13405 0 0 70 68 4 3 20 0 15 0 79955317 11178180608 201070 33554432000 4194304 4196468 140726335637696 140159020801200 140159599037058 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
Current children cumulated CPU time: 2413.33 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 804280 KiB
[startup+2442.3 s]
/proc/loadavg: 1.41 1.34 1.38 3/216 12356
/proc/meminfo: memFree=18856884/32770624 swapFree=67108860/67108860
[pid=12060] ppid=12057 vsize=10916192 memory=804304 CPUtime=2473.85 cores=0,2,4,6
/proc/12060/stat : 12060 (java) S 12057 12060 8081 0 -1 1077944320 189164 13405 0 0 247127 251 4 3 20 0 15 0 79955302 11178180608 201076 33554432000 4194304 4196468 140726335637696 140726335620240 140159599025911 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
/proc/12060/statm: 2729048 201076 3522 1 0 2690701 0
[pid=12060/tid=12113] ppid=12057 vsize=10916192 memory=804288 CPUtime=2425.29 cores=0,2,4,6
/proc/12060/task/12113/stat : 12113 (java) R 12057 12060 8081 0 -1 4202560 76151 13405 0 0 242488 34 4 3 20 0 15 0 79955311 11178180608 201076 33554432000 4194304 4196468 140726335637696 140159570860240 140159175712647 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12114] ppid=12057 vsize=10916192 memory=804288 CPUtime=7.25 cores=0,2,4,6
/proc/12060/task/12114/stat : 12114 (java) S 12057 12060 8081 0 -1 1077944384 8210 13405 0 0 683 35 4 3 20 0 15 0 79955312 11178180608 201076 33554432000 4194304 4196468 140726335637696 140159603268240 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12115] ppid=12057 vsize=10916192 memory=804288 CPUtime=7.3 cores=0,2,4,6
/proc/12060/task/12115/stat : 12115 (java) S 12057 12060 8081 0 -1 1077944384 10119 13405 0 0 687 36 4 3 20 0 15 0 79955312 11178180608 201076 33554432000 4194304 4196468 140726335637696 140159491541520 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12116] ppid=12057 vsize=10916192 memory=804288 CPUtime=7.23 cores=0,2,4,6
/proc/12060/task/12116/stat : 12116 (java) S 12057 12060 8081 0 -1 1077944384 6869 13405 0 0 677 39 4 3 20 0 15 0 79955312 11178180608 201076 33554432000 4194304 4196468 140726335637696 140159490488720 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12117] ppid=12057 vsize=10916192 memory=804304 CPUtime=7.28 cores=0,2,4,6
/proc/12060/task/12117/stat : 12117 (java) S 12057 12060 8081 0 -1 1077944384 9700 13405 0 0 684 37 4 3 20 0 15 0 79955312 11178180608 201076 33554432000 4194304 4196468 140726335637696 140159489435920 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12118] ppid=12057 vsize=10916192 memory=804304 CPUtime=6.97 cores=0,2,4,6
/proc/12060/task/12118/stat : 12118 (java) S 12057 12060 8081 0 -1 1077944384 11461 13405 0 0 654 36 4 3 20 0 15 0 79955313 11178180608 201076 33554432000 4194304 4196468 140726335637696 140159058570096 140159599037058 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12119] ppid=12057 vsize=10916192 memory=689 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12119/stat : 12119 (java) S 12057 12060 8081 0 -1 1077944384 38 13405 0 0 0 0 4 3 20 0 15 0 79955314 11178180608 201076 33554432000 4194304 4196468 140726335637696 140159057516128 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12120] ppid=12057 vsize=10916192 memory=804288 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12120/stat : 12120 (java) S 12057 12060 8081 0 -1 1077944384 4 13405 0 0 0 0 4 3 20 0 15 0 79955314 11178180608 201076 33554432000 4194304 4196468 140726335637696 140158473069952 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12121] ppid=12057 vsize=10916192 memory=4136 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12121/stat : 12121 (java) S 12057 12060 8081 0 -1 1077944384 3 13405 0 0 0 0 4 3 20 0 15 0 79955316 11178180608 201076 33554432000 4194304 4196468 140726335637696 140158165670224 140159599044507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12122] ppid=12057 vsize=10916192 memory=804288 CPUtime=4.8 cores=0,2,4,6
/proc/12060/task/12122/stat : 12122 (java) S 12057 12060 8081 0 -1 1077944384 20564 13405 0 0 469 4 4 3 20 0 15 0 79955316 11178180608 201076 33554432000 4194304 4196468 140726335637696 140159023958384 140159599037058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12123] ppid=12057 vsize=10916192 memory=804288 CPUtime=4.83 cores=0,2,4,6
/proc/12060/task/12123/stat : 12123 (java) S 12057 12060 8081 0 -1 1077944384 24063 13405 0 0 472 4 4 3 20 0 15 0 79955316 11178180608 201076 33554432000 4194304 4196468 140726335637696 140159022905584 140159599037058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12124] ppid=12057 vsize=10916192 memory=804288 CPUtime=1.93 cores=0,2,4,6
/proc/12060/task/12124/stat : 12124 (java) S 12057 12060 8081 0 -1 1077944384 17741 13405 0 0 183 3 4 3 20 0 15 0 79955317 11178180608 201076 33554432000 4194304 4196468 140726335637696 140159021852784 140159599037058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12125] ppid=12057 vsize=10916192 memory=3292 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12125/stat : 12125 (java) S 12057 12060 8081 0 -1 1077944384 3 13405 0 0 0 0 4 3 20 0 15 0 79955317 11178180608 201076 33554432000 4194304 4196468 140726335637696 140158132111584 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12126] ppid=12057 vsize=10916192 memory=804304 CPUtime=1.48 cores=0,2,4,6
/proc/12060/task/12126/stat : 12126 (java) S 12057 12060 8081 0 -1 1077944384 2047 13405 0 0 71 70 4 3 20 0 15 0 79955317 11178180608 201076 33554432000 4194304 4196468 140726335637696 140159020801200 140159599037058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
Current children cumulated CPU time: 2473.85 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 804304 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2488.11 s]
/proc/loadavg: 1.29 1.32 1.37 3/216 12357
/proc/meminfo: memFree=18854720/32770624 swapFree=67108860/67108860
[pid=12060] ppid=12057 vsize=10916192 memory=804344 CPUtime=2520.06 cores=0,2,4,6
/proc/12060/stat : 12060 (java) S 12057 12060 8081 0 -1 1077944320 189664 13405 0 0 251745 254 4 3 20 0 15 0 79955302 11178180608 201086 33554432000 4194304 4196468 140726335637696 140726335620240 140159599025911 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
/proc/12060/statm: 2729048 201086 3522 1 0 2690701 0
[pid=12060/tid=12113] ppid=12057 vsize=10916192 memory=0 CPUtime=2470.78 cores=0,2,4,6
/proc/12060/task/12113/stat : 12113 (java) R 12057 12060 8081 0 -1 4202560 76481 13405 0 0 247036 35 4 3 20 0 15 0 79955311 11178180608 201086 33554432000 4194304 4196468 140726335637696 140159570860544 140159175733811 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12114] ppid=12057 vsize=10916192 memory=804344 CPUtime=7.39 cores=0,2,4,6
/proc/12060/task/12114/stat : 12114 (java) S 12057 12060 8081 0 -1 1077944384 8240 13405 0 0 696 36 4 3 20 0 15 0 79955312 11178180608 201086 33554432000 4194304 4196468 140726335637696 140159603268240 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12115] ppid=12057 vsize=10916192 memory=804344 CPUtime=7.43 cores=0,2,4,6
/proc/12060/task/12115/stat : 12115 (java) S 12057 12060 8081 0 -1 1077944384 10161 13405 0 0 700 36 4 3 20 0 15 0 79955312 11178180608 201086 33554432000 4194304 4196468 140726335637696 140159491541520 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12116] ppid=12057 vsize=10916192 memory=804344 CPUtime=7.38 cores=0,2,4,6
/proc/12060/task/12116/stat : 12116 (java) S 12057 12060 8081 0 -1 1077944384 6886 13405 0 0 691 40 4 3 20 0 15 0 79955312 11178180608 201086 33554432000 4194304 4196468 140726335637696 140159490488720 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12117] ppid=12057 vsize=10916192 memory=804344 CPUtime=7.43 cores=0,2,4,6
/proc/12060/task/12117/stat : 12117 (java) S 12057 12060 8081 0 -1 1077944384 9710 13405 0 0 698 38 4 3 20 0 15 0 79955312 11178180608 201086 33554432000 4194304 4196468 140726335637696 140159489435920 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12118] ppid=12057 vsize=10916192 memory=804344 CPUtime=7.11 cores=0,2,4,6
/proc/12060/task/12118/stat : 12118 (java) S 12057 12060 8081 0 -1 1077944384 11512 13405 0 0 667 37 4 3 20 0 15 0 79955313 11178180608 201086 33554432000 4194304 4196468 140726335637696 140159058570096 140159599037058 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12119] ppid=12057 vsize=10916192 memory=804344 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12119/stat : 12119 (java) S 12057 12060 8081 0 -1 1077944384 38 13405 0 0 0 0 4 3 20 0 15 0 79955314 11178180608 201086 33554432000 4194304 4196468 140726335637696 140159057516128 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12120] ppid=12057 vsize=10916192 memory=804344 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12120/stat : 12120 (java) S 12057 12060 8081 0 -1 1077944384 4 13405 0 0 0 0 4 3 20 0 15 0 79955314 11178180608 201086 33554432000 4194304 4196468 140726335637696 140158473069952 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12121] ppid=12057 vsize=10916192 memory=804344 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12121/stat : 12121 (java) S 12057 12060 8081 0 -1 1077944384 3 13405 0 0 0 0 4 3 20 0 15 0 79955316 11178180608 201086 33554432000 4194304 4196468 140726335637696 140158165670224 140159599044507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12122] ppid=12057 vsize=10916192 memory=804344 CPUtime=4.8 cores=0,2,4,6
/proc/12060/task/12122/stat : 12122 (java) S 12057 12060 8081 0 -1 1077944384 20566 13405 0 0 469 4 4 3 20 0 15 0 79955316 11178180608 201086 33554432000 4194304 4196468 140726335637696 140159023958384 140159599037058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12123] ppid=12057 vsize=10916192 memory=804344 CPUtime=4.83 cores=0,2,4,6
/proc/12060/task/12123/stat : 12123 (java) S 12057 12060 8081 0 -1 1077944384 24065 13405 0 0 472 4 4 3 20 0 15 0 79955316 11178180608 201086 33554432000 4194304 4196468 140726335637696 140159022905584 140159599037058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12124] ppid=12057 vsize=10916192 memory=804344 CPUtime=1.93 cores=0,2,4,6
/proc/12060/task/12124/stat : 12124 (java) S 12057 12060 8081 0 -1 1077944384 17743 13405 0 0 183 3 4 3 20 0 15 0 79955317 11178180608 201086 33554432000 4194304 4196468 140726335637696 140159021852784 140159599037058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12125] ppid=12057 vsize=10916192 memory=804344 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12125/stat : 12125 (java) S 12057 12060 8081 0 -1 1077944384 3 13405 0 0 0 0 4 3 20 0 15 0 79955317 11178180608 201086 33554432000 4194304 4196468 140726335637696 140158132111584 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12126] ppid=12057 vsize=10916192 memory=8532 CPUtime=1.51 cores=0,2,4,6
/proc/12060/task/12126/stat : 12126 (java) S 12057 12060 8081 0 -1 1077944384 2061 13405 0 0 73 71 4 3 20 0 15 0 79955317 11178180608 201086 33554432000 4194304 4196468 140726335637696 140159020801200 140159599037058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 804344 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2488.14 s]
# the end of solver process 12060 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.52 s, system=2.58974 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2488.11 s]
/proc/loadavg: 1.29 1.32 1.37 3/216 12357
/proc/meminfo: memFree=18854720/32770624 swapFree=67108860/67108860
[pid=12060] ppid=12057 vsize=10916192 memory=804344 CPUtime=2520.06 cores=0,2,4,6
/proc/12060/stat : 12060 (java) S 12057 12060 8081 0 -1 1077944320 189664 13405 0 0 251745 254 4 3 20 0 15 0 79955302 11178180608 201086 33554432000 4194304 4196468 140726335637696 140726335620240 140159599025911 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
/proc/12060/statm: 2729048 201086 3522 1 0 2690701 0
[pid=12060/tid=12113] ppid=12057 vsize=10916192 memory=0 CPUtime=2470.78 cores=0,2,4,6
/proc/12060/task/12113/stat : 12113 (java) R 12057 12060 8081 0 -1 4202560 76481 13405 0 0 247036 35 4 3 20 0 15 0 79955311 11178180608 201086 33554432000 4194304 4196468 140726335637696 140159570860544 140159175733811 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12114] ppid=12057 vsize=10916192 memory=804344 CPUtime=7.39 cores=0,2,4,6
/proc/12060/task/12114/stat : 12114 (java) S 12057 12060 8081 0 -1 1077944384 8240 13405 0 0 696 36 4 3 20 0 15 0 79955312 11178180608 201086 33554432000 4194304 4196468 140726335637696 140159603268240 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12115] ppid=12057 vsize=10916192 memory=804344 CPUtime=7.43 cores=0,2,4,6
/proc/12060/task/12115/stat : 12115 (java) S 12057 12060 8081 0 -1 1077944384 10161 13405 0 0 700 36 4 3 20 0 15 0 79955312 11178180608 201086 33554432000 4194304 4196468 140726335637696 140159491541520 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12116] ppid=12057 vsize=10916192 memory=804344 CPUtime=7.38 cores=0,2,4,6
/proc/12060/task/12116/stat : 12116 (java) S 12057 12060 8081 0 -1 1077944384 6886 13405 0 0 691 40 4 3 20 0 15 0 79955312 11178180608 201086 33554432000 4194304 4196468 140726335637696 140159490488720 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12117] ppid=12057 vsize=10916192 memory=804344 CPUtime=7.43 cores=0,2,4,6
/proc/12060/task/12117/stat : 12117 (java) S 12057 12060 8081 0 -1 1077944384 9710 13405 0 0 698 38 4 3 20 0 15 0 79955312 11178180608 201086 33554432000 4194304 4196468 140726335637696 140159489435920 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12118] ppid=12057 vsize=10916192 memory=804344 CPUtime=7.11 cores=0,2,4,6
/proc/12060/task/12118/stat : 12118 (java) S 12057 12060 8081 0 -1 1077944384 11512 13405 0 0 667 37 4 3 20 0 15 0 79955313 11178180608 201086 33554432000 4194304 4196468 140726335637696 140159058570096 140159599037058 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12119] ppid=12057 vsize=10916192 memory=804344 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12119/stat : 12119 (java) S 12057 12060 8081 0 -1 1077944384 38 13405 0 0 0 0 4 3 20 0 15 0 79955314 11178180608 201086 33554432000 4194304 4196468 140726335637696 140159057516128 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12120] ppid=12057 vsize=10916192 memory=804344 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12120/stat : 12120 (java) S 12057 12060 8081 0 -1 1077944384 4 13405 0 0 0 0 4 3 20 0 15 0 79955314 11178180608 201086 33554432000 4194304 4196468 140726335637696 140158473069952 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12121] ppid=12057 vsize=10916192 memory=804344 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12121/stat : 12121 (java) S 12057 12060 8081 0 -1 1077944384 3 13405 0 0 0 0 4 3 20 0 15 0 79955316 11178180608 201086 33554432000 4194304 4196468 140726335637696 140158165670224 140159599044507 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12122] ppid=12057 vsize=10916192 memory=804344 CPUtime=4.8 cores=0,2,4,6
/proc/12060/task/12122/stat : 12122 (java) S 12057 12060 8081 0 -1 1077944384 20566 13405 0 0 469 4 4 3 20 0 15 0 79955316 11178180608 201086 33554432000 4194304 4196468 140726335637696 140159023958384 140159599037058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12123] ppid=12057 vsize=10916192 memory=804344 CPUtime=4.83 cores=0,2,4,6
/proc/12060/task/12123/stat : 12123 (java) S 12057 12060 8081 0 -1 1077944384 24065 13405 0 0 472 4 4 3 20 0 15 0 79955316 11178180608 201086 33554432000 4194304 4196468 140726335637696 140159022905584 140159599037058 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12124] ppid=12057 vsize=10916192 memory=804344 CPUtime=1.93 cores=0,2,4,6
/proc/12060/task/12124/stat : 12124 (java) S 12057 12060 8081 0 -1 1077944384 17743 13405 0 0 183 3 4 3 20 0 15 0 79955317 11178180608 201086 33554432000 4194304 4196468 140726335637696 140159021852784 140159599037058 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12125] ppid=12057 vsize=10916192 memory=804344 CPUtime=0.07 cores=0,2,4,6
/proc/12060/task/12125/stat : 12125 (java) S 12057 12060 8081 0 -1 1077944384 3 13405 0 0 0 0 4 3 20 0 15 0 79955317 11178180608 201086 33554432000 4194304 4196468 140726335637696 140158132111584 140159599036117 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
[pid=12060/tid=12126] ppid=12057 vsize=10916192 memory=8532 CPUtime=1.51 cores=0,2,4,6
/proc/12060/task/12126/stat : 12126 (java) S 12057 12060 8081 0 -1 1077944384 2061 13405 0 0 73 71 4 3 20 0 15 0 79955317 11178180608 201086 33554432000 4194304 4196468 140726335637696 140159020801200 140159599037058 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32940032 140726335646320 140726335649116 140726335649116 140726335651791 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 804344 KiB
Child status: 143
Real time (s): 2488.14
CPU time (s): 2520.11
CPU user time (s): 2517.52
CPU system time (s): 2.58974
CPU usage (%): 101.285
Max. virtual memory (cumulated for all children) (KiB): 10916972
Max. memory (cumulated for all children) (KiB): 842176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.52
system time used= 2.58974
maximum resident set size= 844224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 204188
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 205359
involuntary context switches= 7972
# summary of solver processes directly reported to runsolver:
# pid: 12060
# total CPU time (s): 2520.11
# total CPU user time (s): 2517.52
# total CPU system time (s): 2.58974
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5053 second user time and 23.6886 second system time
The end