runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3458605-1307150869/watcher-3458605-1307150869 -o /tmp/evaluation-result-3458605-1307150869/solver-3458605-1307150869 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458605-1307150869.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.99 2.04 2.00 2/558 1270
/proc/meminfo: memFree=30106636/32950928 swapFree=41528364/67111528
[pid=1270] ppid=1268 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/1270/stat : 1270 (java) R 1268 1270 31166 0 -1 4202496 947 0 0 0 0 0 0 0 25 0 1 0 826685633 23580672 691 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251809318320 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1270/statm: 5757 692 509 9 0 124 0
[pid=1270/tid=1271] ppid=1268 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1271/stat : 1271 (java) R 1268 1270 31166 0 -1 4202560 8890 0 1 0 0 0 0 0 25 0 2 0 826685633 13850947584 9706 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251813934139 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.095058 s]
/proc/loadavg: 1.99 2.04 2.00 2/558 1270
/proc/meminfo: memFree=30106636/32950928 swapFree=41528364/67111528
[pid=1270] ppid=1268 vsize=13621684 CPUtime=0.09 cores=1,3,5,7
/proc/1270/stat : 1270 (java) S 1268 1270 31166 0 -1 4202496 15330 0 1 0 8 1 0 0 25 0 18 0 826685633 13948604416 15027 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1270/statm: 3405421 15027 2089 9 0 3396155 0
[pid=1270/tid=1271] ppid=1268 vsize=13621684 CPUtime=0.08 cores=1,3,5,7
/proc/1270/task/1271/stat : 1271 (java) R 1268 1270 31166 0 -1 4202560 13549 0 1 0 7 1 0 0 25 0 18 0 826685633 13948604416 15028 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 47022177661699 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13621684
[startup+0.10088 s]
/proc/loadavg: 1.99 2.04 2.00 2/558 1270
/proc/meminfo: memFree=30106636/32950928 swapFree=41528364/67111528
[pid=1270] ppid=1268 vsize=13621684 CPUtime=0.1 cores=1,3,5,7
/proc/1270/stat : 1270 (java) S 1268 1270 31166 0 -1 4202496 15460 0 1 0 9 1 0 0 25 0 18 0 826685633 13948604416 15157 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1270/statm: 3405421 15157 2093 9 0 3396155 0
[pid=1270/tid=1271] ppid=1268 vsize=13621684 CPUtime=0.09 cores=1,3,5,7
/proc/1270/task/1271/stat : 1271 (java) R 1268 1270 31166 0 -1 4202560 13654 0 1 0 8 1 0 0 25 0 18 0 826685633 13948604416 15157 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 47022178727256 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621684
[startup+0.300852 s]
/proc/loadavg: 1.99 2.04 2.00 2/558 1270
/proc/meminfo: memFree=30106636/32950928 swapFree=41528364/67111528
[pid=1270] ppid=1268 vsize=13623960 CPUtime=0.46 cores=1,3,5,7
/proc/1270/stat : 1270 (java) S 1268 1270 31166 0 -1 4202496 23816 0 1 0 44 2 0 0 25 0 18 0 826685633 13950935040 23275 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1270/statm: 3405990 23279 2200 9 0 3396724 0
[pid=1270/tid=1271] ppid=1268 vsize=13623960 CPUtime=0.29 cores=1,3,5,7
/proc/1270/task/1271/stat : 1271 (java) R 1268 1270 31166 0 -1 4202560 21143 0 1 0 27 2 0 0 25 0 18 0 826685633 13950935040 23281 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 46912505539245 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 13623960
[startup+0.700788 s]
/proc/loadavg: 1.99 2.04 2.00 2/558 1270
/proc/meminfo: memFree=30106636/32950928 swapFree=41528364/67111528
[pid=1270] ppid=1268 vsize=13627960 CPUtime=1.1 cores=1,3,5,7
/proc/1270/stat : 1270 (java) S 1268 1270 31166 0 -1 4202496 52965 0 1 0 105 5 0 0 25 0 18 0 826685633 13955031040 51043 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1270/statm: 3406990 51046 2205 9 0 3397724 0
[pid=1270/tid=1271] ppid=1268 vsize=13627960 CPUtime=0.68 cores=1,3,5,7
/proc/1270/task/1271/stat : 1271 (java) R 1268 1270 31166 0 -1 4202560 46834 0 1 0 64 4 0 0 25 0 18 0 826685633 13955031040 51048 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 46912505574224 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 13627960
[startup+1.50065 s]
/proc/loadavg: 1.99 2.04 2.00 4/578 1311
/proc/meminfo: memFree=29810976/32950928 swapFree=41528364/67111528
[pid=1270] ppid=1268 vsize=13627960 CPUtime=1.93 cores=1,3,5,7
/proc/1270/stat : 1270 (java) S 1268 1270 31166 0 -1 4202496 119170 0 1 0 179 14 0 0 25 0 18 0 826685633 13955031040 117249 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1270/statm: 3406990 117252 2205 9 0 3397724 0
[pid=1270/tid=1271] ppid=1268 vsize=13627960 CPUtime=1.48 cores=1,3,5,7
/proc/1270/task/1271/stat : 1271 (java) R 1268 1270 31166 0 -1 4202560 113037 0 1 0 135 13 0 0 25 0 18 0 826685633 13955031040 117253 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 46912505539366 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1270/tid=1273] ppid=1268 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1273/stat : 1273 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826685635 13955031040 117255 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
[pid=1270/tid=1274] ppid=1268 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1274/stat : 1274 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826685635 13955031040 117257 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
[pid=1270/tid=1275] ppid=1268 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1275/stat : 1275 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826685635 13955031040 117259 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
[pid=1270/tid=1276] ppid=1268 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1276/stat : 1276 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826685635 13955031040 117261 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
[pid=1270/tid=1277] ppid=1268 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1277/stat : 1277 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826685635 13955031040 117263 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
[pid=1270/tid=1278] ppid=1268 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1278/stat : 1278 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826685635 13955031040 117265 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
[pid=1270/tid=1279] ppid=1268 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1279/stat : 1279 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826685635 13955031040 117267 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
[pid=1270/tid=1280] ppid=1268 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1280/stat : 1280 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826685635 13955031040 117269 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
[pid=1270/tid=1281] ppid=1268 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1281/stat : 1281 (java) S 1268 1270 31166 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 826685636 13955031040 117271 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056704 0 0 0 16800975 18446604466731906112 0 0 -1 1 0 0 0
[pid=1270/tid=1282] ppid=1268 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1282/stat : 1282 (java) S 1268 1270 31166 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 826685637 13955031040 117273 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 1 0 0 0
[pid=1270/tid=1283] ppid=1268 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1283/stat : 1283 (java) S 1268 1270 31166 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 826685637 13955031040 117275 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 1 0 0 0
[pid=1270/tid=1284] ppid=1268 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1284/stat : 1284 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826685639 13955031040 117276 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826063793 0 4 0 16800975 18446604466731906112 0 0 -1 1 0 0 0
[pid=1270/tid=1285] ppid=1268 vsize=13627960 CPUtime=0.2 cores=1,3,5,7
/proc/1270/task/1285/stat : 1285 (java) S 1268 1270 31166 0 -1 4202560 1096 0 0 0 20 0 0 0 17 0 18 0 826685639 13955031040 117276 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 5 0 0 0
[pid=1270/tid=1286] ppid=1268 vsize=13627960 CPUtime=0.22 cores=1,3,5,7
/proc/1270/task/1286/stat : 1286 (java) S 1268 1270 31166 0 -1 4202560 3892 0 0 0 22 0 0 0 16 0 18 0 826685639 13955031040 117278 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
[pid=1270/tid=1287] ppid=1268 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1287/stat : 1287 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826685639 13955031040 117280 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 1 0 0 0
[pid=1270/tid=1288] ppid=1268 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1288/stat : 1288 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 826685639 13955031040 117282 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056704 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 13627960
[startup+3.10138 s]
/proc/loadavg: 1.99 2.04 2.00 4/596 1329
/proc/meminfo: memFree=29177876/32950928 swapFree=41528364/67111528
[pid=1270] ppid=1268 vsize=13627960 CPUtime=3.53 cores=1,3,5,7
/proc/1270/stat : 1270 (java) S 1268 1270 31166 0 -1 4202496 242051 0 1 0 325 28 0 0 25 0 18 0 826685633 13955031040 240129 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1270/statm: 3406990 240132 2205 9 0 3397724 0
[pid=1270/tid=1271] ppid=1268 vsize=13627960 CPUtime=3.09 cores=1,3,5,7
/proc/1270/task/1271/stat : 1271 (java) R 1268 1270 31166 0 -1 4202560 235917 0 1 0 282 27 0 0 25 0 18 0 826685633 13955031040 240133 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 46912505587011 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1270/tid=1273] ppid=1268 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1273/stat : 1273 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826685635 13955031040 240135 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
[pid=1270/tid=1274] ppid=1268 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1274/stat : 1274 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826685635 13955031040 240137 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
[pid=1270/tid=1275] ppid=1268 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1275/stat : 1275 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826685635 13955031040 240139 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
[pid=1270/tid=1276] ppid=1268 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1276/stat : 1276 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826685635 13955031040 240141 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
[pid=1270/tid=1277] ppid=1268 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1277/stat : 1277 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826685635 13955031040 240143 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
[pid=1270/tid=1278] ppid=1268 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1278/stat : 1278 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826685635 13955031040 240145 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
[pid=1270/tid=1279] ppid=1268 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1279/stat : 1279 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826685635 13955031040 240147 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
[pid=1270/tid=1280] ppid=1268 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1280/stat : 1280 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826685635 13955031040 240149 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
[pid=1270/tid=1281] ppid=1268 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1281/stat : 1281 (java) S 1268 1270 31166 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 826685636 13955031040 240151 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056704 0 0 0 16800975 18446604466731906112 0 0 -1 1 0 0 0
[pid=1270/tid=1282] ppid=1268 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1282/stat : 1282 (java) S 1268 1270 31166 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 826685637 13955031040 240151 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 1 0 0 0
[pid=1270/tid=1283] ppid=1268 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1283/stat : 1283 (java) S 1268 1270 31166 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 826685637 13955031040 240152 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 1 0 0 0
[pid=1270/tid=1284] ppid=1268 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1284/stat : 1284 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826685639 13955031040 240154 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826063793 0 4 0 16800975 18446604466731906112 0 0 -1 1 0 0 0
[pid=1270/tid=1285] ppid=1268 vsize=13627960 CPUtime=0.2 cores=1,3,5,7
/proc/1270/task/1285/stat : 1285 (java) S 1268 1270 31166 0 -1 4202560 1096 0 0 0 20 0 0 0 17 0 18 0 826685639 13955031040 240156 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 5 0 0 0
[pid=1270/tid=1286] ppid=1268 vsize=13627960 CPUtime=0.22 cores=1,3,5,7
/proc/1270/task/1286/stat : 1286 (java) S 1268 1270 31166 0 -1 4202560 3892 0 0 0 22 0 0 0 15 0 18 0 826685639 13955031040 240158 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
[pid=1270/tid=1287] ppid=1268 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1287/stat : 1287 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 826685639 13955031040 240160 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 1 0 0 0
[pid=1270/tid=1288] ppid=1268 vsize=13627960 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1288/stat : 1288 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 826685639 13955031040 240162 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056704 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.53
Current children cumulated vsize (KiB) 13627960
[startup+6.30084 s]
/proc/loadavg: 1.99 2.04 2.00 3/598 1376
/proc/meminfo: memFree=28679052/32950928 swapFree=41528364/67111528
[pid=1270] ppid=1268 vsize=13628988 CPUtime=6.92 cores=1,3,5,7
/proc/1270/stat : 1270 (java) S 1268 1270 31166 0 -1 4202496 289775 0 1 0 659 33 0 0 25 0 19 0 826685633 13956083712 287779 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1270/statm: 3407247 287779 2222 9 0 3397981 0
[pid=1270/tid=1271] ppid=1268 vsize=13628988 CPUtime=6.28 cores=1,3,5,7
/proc/1270/task/1271/stat : 1271 (java) R 1268 1270 31166 0 -1 4202560 283509 0 1 0 596 32 0 0 25 0 19 0 826685633 13956083712 287779 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 46912505766693 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1270/tid=1273] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1273/stat : 1273 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826685635 13956083712 287779 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
[pid=1270/tid=1274] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1274/stat : 1274 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826685635 13956083712 287779 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
[pid=1270/tid=1275] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1275/stat : 1275 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826685635 13956083712 287779 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
[pid=1270/tid=1276] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1276/stat : 1276 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826685635 13956083712 287779 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
[pid=1270/tid=1277] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1277/stat : 1277 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826685635 13956083712 287779 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
[pid=1270/tid=1278] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1278/stat : 1278 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826685635 13956083712 287779 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
[pid=1270/tid=1279] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1279/stat : 1279 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826685635 13956083712 287779 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
[pid=1270/tid=1280] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1280/stat : 1280 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826685635 13956083712 287779 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
[pid=1270/tid=1281] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1281/stat : 1281 (java) S 1268 1270 31166 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 826685636 13956083712 287779 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056704 0 0 0 16800975 18446604466731906112 0 0 -1 1 0 0 0
[pid=1270/tid=1282] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1282/stat : 1282 (java) S 1268 1270 31166 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 826685637 13956083712 287779 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 1 0 0 0
[pid=1270/tid=1283] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1283/stat : 1283 (java) S 1268 1270 31166 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826685637 13956083712 287779 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 1 0 0 0
[pid=1270/tid=1284] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1284/stat : 1284 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826685639 13956083712 287779 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826063793 0 4 0 16800975 18446604466731906112 0 0 -1 1 0 0 0
[pid=1270/tid=1285] ppid=1268 vsize=13628988 CPUtime=0.35 cores=1,3,5,7
/proc/1270/task/1285/stat : 1285 (java) S 1268 1270 31166 0 -1 4202560 1211 0 0 0 35 0 0 0 15 0 19 0 826685639 13956083712 287779 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 5 0 0 0
[pid=1270/tid=1286] ppid=1268 vsize=13628988 CPUtime=0.27 cores=1,3,5,7
/proc/1270/task/1286/stat : 1286 (java) S 1268 1270 31166 0 -1 4202560 3894 0 0 0 27 0 0 0 16 0 19 0 826685639 13956083712 287779 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
[pid=1270/tid=1287] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1287/stat : 1287 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826685639 13956083712 287779 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 1 0 0 0
[pid=1270/tid=1288] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1288/stat : 1288 (java) S 1268 1270 31166 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 826685639 13956083712 287779 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056704 0 4 0 16800975 18446604466731906112 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=1270/tid=1278] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1278/stat : 1278 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826685635 13956083712 321671 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
[pid=1270/tid=1279] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1279/stat : 1279 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826685635 13956083712 321671 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
[pid=1270/tid=1280] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1280/stat : 1280 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826685635 13956083712 321671 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
[pid=1270/tid=1281] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1281/stat : 1281 (java) S 1268 1270 31166 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 826685636 13956083712 321671 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056704 0 0 0 16800975 18446604466731906112 0 0 -1 1 0 0 0
[pid=1270/tid=1282] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1282/stat : 1282 (java) S 1268 1270 31166 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 826685637 13956083712 321671 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 1 0 0 0
[pid=1270/tid=1283] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1283/stat : 1283 (java) S 1268 1270 31166 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826685637 13956083712 321671 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 1 0 0 0
[pid=1270/tid=1284] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1284/stat : 1284 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826685639 13956083712 321671 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826063793 0 4 0 16800975 18446604466731906112 0 0 -1 1 0 0 0
[pid=1270/tid=1285] ppid=1268 vsize=13628988 CPUtime=0.54 cores=1,3,5,7
/proc/1270/task/1285/stat : 1285 (java) S 1268 1270 31166 0 -1 4202560 1243 0 0 0 54 0 0 0 15 0 19 0 826685639 13956083712 321671 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 5 0 0 0
[pid=1270/tid=1286] ppid=1268 vsize=13628988 CPUtime=0.5 cores=1,3,5,7
/proc/1270/task/1286/stat : 1286 (java) S 1268 1270 31166 0 -1 4202560 5791 0 0 0 50 0 0 0 15 0 19 0 826685639 13956083712 321671 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 3 0 0 0
[pid=1270/tid=1287] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1287/stat : 1287 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826685639 13956083712 321671 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 1 0 0 0
[pid=1270/tid=1288] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1288/stat : 1288 (java) S 1268 1270 31166 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 826685639 13956083712 321671 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056704 0 4 0 16800975 18446604466731906112 0 0 -1 3 0 0 0
[pid=1270/tid=1376] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1376/stat : 1376 (java) S 1268 1270 31166 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826686017 13956083712 321671 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056704 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1663.38
Current children cumulated vsize (KiB) 13628988
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/598 1422
/proc/meminfo: memFree=28450468/32950928 swapFree=41528364/67111528
[pid=1270] ppid=1268 vsize=13628988 CPUtime=1723.38 cores=1,3,5,7
/proc/1270/stat : 1270 (java) S 1268 1270 31166 0 -1 4202496 327184 0 1 0 172300 38 0 0 25 0 19 0 826685633 13956083712 323130 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1270/statm: 3407247 323130 2226 9 0 3397981 0
[pid=1270/tid=1271] ppid=1268 vsize=13628988 CPUtime=1722.31 cores=1,3,5,7
/proc/1270/task/1271/stat : 1271 (java) R 1268 1270 31166 0 -1 4202560 318887 0 1 0 172194 37 0 0 25 0 19 0 826685633 13956083712 323130 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 46912505815884 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1270/tid=1273] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1273/stat : 1273 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826685635 13956083712 323130 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
[pid=1270/tid=1274] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1274/stat : 1274 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826685635 13956083712 323130 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
[pid=1270/tid=1275] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1275/stat : 1275 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826685635 13956083712 323130 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
[pid=1270/tid=1276] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1276/stat : 1276 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826685635 13956083712 323130 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
[pid=1270/tid=1277] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1277/stat : 1277 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826685635 13956083712 323130 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
[pid=1270/tid=1278] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1278/stat : 1278 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826685635 13956083712 323130 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
[pid=1270/tid=1279] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1279/stat : 1279 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826685635 13956083712 323130 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
[pid=1270/tid=1280] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1280/stat : 1280 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826685635 13956083712 323130 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
[pid=1270/tid=1281] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1281/stat : 1281 (java) S 1268 1270 31166 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 826685636 13956083712 323130 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056704 0 0 0 16800975 18446604466731906112 0 0 -1 1 0 0 0
[pid=1270/tid=1282] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1282/stat : 1282 (java) S 1268 1270 31166 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 826685637 13956083712 323130 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 1 0 0 0
[pid=1270/tid=1283] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1283/stat : 1283 (java) S 1268 1270 31166 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826685637 13956083712 323130 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 1 0 0 0
[pid=1270/tid=1284] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1284/stat : 1284 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826685639 13956083712 323130 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826063793 0 4 0 16800975 18446604466731906112 0 0 -1 1 0 0 0
[pid=1270/tid=1285] ppid=1268 vsize=13628988 CPUtime=0.54 cores=1,3,5,7
/proc/1270/task/1285/stat : 1285 (java) S 1268 1270 31166 0 -1 4202560 1243 0 0 0 54 0 0 0 15 0 19 0 826685639 13956083712 323130 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 5 0 0 0
[pid=1270/tid=1286] ppid=1268 vsize=13628988 CPUtime=0.5 cores=1,3,5,7
/proc/1270/task/1286/stat : 1286 (java) S 1268 1270 31166 0 -1 4202560 5791 0 0 0 50 0 0 0 15 0 19 0 826685639 13956083712 323130 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 3 0 0 0
[pid=1270/tid=1287] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1287/stat : 1287 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826685639 13956083712 323130 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 1 0 0 0
[pid=1270/tid=1288] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1288/stat : 1288 (java) S 1268 1270 31166 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 826685639 13956083712 323130 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056704 0 4 0 16800975 18446604466731906112 0 0 -1 3 0 0 0
[pid=1270/tid=1376] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1376/stat : 1376 (java) S 1268 1270 31166 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826686017 13956083712 323130 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056704 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1723.38
Current children cumulated vsize (KiB) 13628988
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/598 1424
/proc/meminfo: memFree=28442844/32950928 swapFree=41528364/67111528
[pid=1270] ppid=1268 vsize=13628988 CPUtime=1783.37 cores=1,3,5,7
/proc/1270/stat : 1270 (java) S 1268 1270 31166 0 -1 4202496 328468 0 1 0 178299 38 0 0 25 0 19 0 826685633 13956083712 324412 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1270/statm: 3407247 324412 2226 9 0 3397981 0
[pid=1270/tid=1271] ppid=1268 vsize=13628988 CPUtime=1782.31 cores=1,3,5,7
/proc/1270/task/1271/stat : 1271 (java) R 1268 1270 31166 0 -1 4202560 320169 0 1 0 178194 37 0 0 25 0 19 0 826685633 13956083712 324412 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 46912505766643 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1270/tid=1273] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1273/stat : 1273 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826685635 13956083712 324412 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
[pid=1270/tid=1274] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1274/stat : 1274 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826685635 13956083712 324412 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
[pid=1270/tid=1275] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1275/stat : 1275 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826685635 13956083712 324412 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
[pid=1270/tid=1276] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1276/stat : 1276 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826685635 13956083712 324412 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
[pid=1270/tid=1277] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1277/stat : 1277 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826685635 13956083712 324412 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
[pid=1270/tid=1278] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1278/stat : 1278 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826685635 13956083712 324412 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
[pid=1270/tid=1279] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1279/stat : 1279 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826685635 13956083712 324412 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
[pid=1270/tid=1280] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1280/stat : 1280 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826685635 13956083712 324412 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
[pid=1270/tid=1281] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1281/stat : 1281 (java) S 1268 1270 31166 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 826685636 13956083712 324412 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056704 0 0 0 16800975 18446604466731906112 0 0 -1 1 0 0 0
[pid=1270/tid=1282] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1282/stat : 1282 (java) S 1268 1270 31166 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 826685637 13956083712 324412 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 1 0 0 0
[pid=1270/tid=1283] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1283/stat : 1283 (java) S 1268 1270 31166 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826685637 13956083712 324412 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 1 0 0 0
[pid=1270/tid=1284] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1284/stat : 1284 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826685639 13956083712 324412 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826063793 0 4 0 16800975 18446604466731906112 0 0 -1 1 0 0 0
[pid=1270/tid=1285] ppid=1268 vsize=13628988 CPUtime=0.54 cores=1,3,5,7
/proc/1270/task/1285/stat : 1285 (java) S 1268 1270 31166 0 -1 4202560 1243 0 0 0 54 0 0 0 15 0 19 0 826685639 13956083712 324412 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 5 0 0 0
[pid=1270/tid=1286] ppid=1268 vsize=13628988 CPUtime=0.5 cores=1,3,5,7
/proc/1270/task/1286/stat : 1286 (java) S 1268 1270 31166 0 -1 4202560 5791 0 0 0 50 0 0 0 15 0 19 0 826685639 13956083712 324412 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 3 0 0 0
[pid=1270/tid=1287] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1287/stat : 1287 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826685639 13956083712 324412 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 1 0 0 0
[pid=1270/tid=1288] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1288/stat : 1288 (java) S 1268 1270 31166 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 826685639 13956083712 324412 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056704 0 4 0 16800975 18446604466731906112 0 0 -1 3 0 0 0
[pid=1270/tid=1376] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1376/stat : 1376 (java) S 1268 1270 31166 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826686017 13956083712 324412 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056704 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1783.37
Current children cumulated vsize (KiB) 13628988
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1799 s]
/proc/loadavg: 2.00 2.01 2.00 3/598 1424
/proc/meminfo: memFree=28442820/32950928 swapFree=41528364/67111528
[pid=1270] ppid=1268 vsize=13628988 CPUtime=1800.09 cores=1,3,5,7
/proc/1270/stat : 1270 (java) S 1268 1270 31166 0 -1 4202496 328678 0 1 0 179970 39 0 0 25 0 19 0 826685633 13956083712 324620 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/1270/statm: 3407247 324620 2226 9 0 3397981 0
[pid=1270/tid=1271] ppid=1268 vsize=13628988 CPUtime=1799.03 cores=1,3,5,7
/proc/1270/task/1271/stat : 1271 (java) R 1268 1270 31166 0 -1 4202560 320377 0 1 0 179866 37 0 0 25 0 19 0 826685633 13956083712 324620 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 46912505767129 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1270/tid=1273] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1273/stat : 1273 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826685635 13956083712 324620 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
[pid=1270/tid=1274] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1274/stat : 1274 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826685635 13956083712 324620 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
[pid=1270/tid=1275] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1275/stat : 1275 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826685635 13956083712 324620 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
[pid=1270/tid=1276] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1276/stat : 1276 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826685635 13956083712 324620 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
[pid=1270/tid=1277] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1277/stat : 1277 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826685635 13956083712 324620 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
[pid=1270/tid=1278] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1278/stat : 1278 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826685635 13956083712 324620 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
[pid=1270/tid=1279] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1279/stat : 1279 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826685635 13956083712 324620 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
[pid=1270/tid=1280] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1280/stat : 1280 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826685635 13956083712 324620 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
[pid=1270/tid=1281] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1281/stat : 1281 (java) S 1268 1270 31166 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 826685636 13956083712 324620 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056704 0 0 0 16800975 18446604466731906112 0 0 -1 1 0 0 0
[pid=1270/tid=1282] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1282/stat : 1282 (java) S 1268 1270 31166 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 826685637 13956083712 324620 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 1 0 0 0
[pid=1270/tid=1283] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1283/stat : 1283 (java) S 1268 1270 31166 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826685637 13956083712 324620 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 1 0 0 0
[pid=1270/tid=1284] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1284/stat : 1284 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826685639 13956083712 324620 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826063793 0 4 0 16800975 18446604466731906112 0 0 -1 1 0 0 0
[pid=1270/tid=1285] ppid=1268 vsize=13628988 CPUtime=0.54 cores=1,3,5,7
/proc/1270/task/1285/stat : 1285 (java) S 1268 1270 31166 0 -1 4202560 1243 0 0 0 54 0 0 0 15 0 19 0 826685639 13956083712 324620 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 5 0 0 0
[pid=1270/tid=1286] ppid=1268 vsize=13628988 CPUtime=0.5 cores=1,3,5,7
/proc/1270/task/1286/stat : 1286 (java) S 1268 1270 31166 0 -1 4202560 5791 0 0 0 50 0 0 0 15 0 19 0 826685639 13956083712 324620 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 3 0 0 0
[pid=1270/tid=1287] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1287/stat : 1287 (java) S 1268 1270 31166 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826685639 13956083712 324620 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056089 0 4 0 16800975 18446604466731906112 0 0 -1 1 0 0 0
[pid=1270/tid=1288] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1288/stat : 1288 (java) S 1268 1270 31166 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 826685639 13956083712 324620 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056704 0 4 0 16800975 18446604466731906112 0 0 -1 3 0 0 0
[pid=1270/tid=1376] ppid=1268 vsize=13628988 CPUtime=0 cores=1,3,5,7
/proc/1270/task/1376/stat : 1376 (java) S 1268 1270 31166 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826686017 13956083712 324620 33554432000 1073741824 1073778376 140734777367360 18446744073709551615 251826056704 0 4 0 16800975 18446604466731906112 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 13628988
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1799.08
CPU time (s): 1800.18
CPU user time (s): 1799.73
CPU system time (s): 0.441932
CPU usage (%): 100.061
Max. virtual memory (cumulated for all children) (KiB): 13628988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.73
system time used= 0.441932
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 328715
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 36699
involuntary context switches= 25613
runsolver used 10.1935 second user time and 23.4534 second system time
The end