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 (4904 MiB free)
memory of node 1: 16384 MiB (6337 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305486-1534076941/watcher-4305486-1534076941 -o /tmp/evaluation-result-4305486-1534076941/solver-4305486-1534076941 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534060441-16801 --watchdog 2580 scop.sh 11g scop.jar -order minisat_release default HOME HOME/instance-4305486-1534076941.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
solver pid=21340, runsolver pid=21337
Current StackSize limit: 8192 KiB
[startup+0.100932 s]*
/proc/loadavg: 2.01 2.04 2.05 3/222 21357
/proc/meminfo: memFree=11448964/32770624 swapFree=67108860/67108860
[pid=21340] ppid=21337 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21340/stat : 21340 (scop.sh) S 21337 21340 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225257300 115843072 349 33554432000 4194304 5098028 140727662531024 140727662528280 140633827091068 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 38608896 140727662539840 140727662540039 140727662540039 140727662542797 0
/proc/21340/statm: 28282 349 296 221 0 87 0
[pid=21343] ppid=21340 vsize=15012476 memory=75244 CPUtime=0.11 cores=0,2,4,6
/proc/21343/stat : 21343 (java) S 21340 21340 16770 0 -1 1077944320 6420 0 0 0 9 2 0 0 20 0 15 0 225257300 15372775424 18811 33554432000 4194304 4196468 140721183399632 140721183382176 139705579335415 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
/proc/21343/statm: 3753119 18811 2745 1 0 3715579 0
[pid=21343/tid=21344] ppid=21340 vsize=15012476 memory=-6076338605661667271 CPUtime=0.08 cores=0,2,4,6
/proc/21343/task/21344/stat : 21344 (java) R 21340 21340 16770 0 -1 4202560 4550 0 0 0 7 1 0 0 20 0 15 0 225257301 15372775424 18876 33554432000 4194304 4196468 140721183399632 139705551147400 139705563415902 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21345] ppid=21340 vsize=15012476 memory=8303054830060986464 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21345/stat : 21345 (java) S 21340 21340 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225257302 15372775424 18876 33554432000 4194304 4196468 140721183399632 139705583577360 139705579345621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21346] ppid=21340 vsize=15012476 memory=140288253658752 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21346/stat : 21346 (java) S 21340 21340 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225257302 15372775424 18876 33554432000 4194304 4196468 140721183399632 139705359280528 139705579345621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21347] ppid=21340 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21347/stat : 21347 (java) S 21340 21340 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225257302 15372775424 18876 33554432000 4194304 4196468 140721183399632 139705358227984 139705579345621 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21348] ppid=21340 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21348/stat : 21348 (java) S 21340 21340 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225257302 15372775424 18876 33554432000 4194304 4196468 140721183399632 139705357175440 139705579345621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21349] ppid=21340 vsize=15012476 memory=140288253658752 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21349/stat : 21349 (java) S 21340 21340 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225257304 15372775424 18876 33554432000 4194304 4196468 140721183399632 139704918825456 139705579346562 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21350] ppid=21340 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21350/stat : 21350 (java) S 21340 21340 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225257304 15372775424 18876 33554432000 4194304 4196468 140721183399632 139704213169568 139705579345621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21351] ppid=21340 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21351/stat : 21351 (java) S 21340 21340 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225257304 15372775424 18876 33554432000 4194304 4196468 140721183399632 139703944734192 139705579345621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21352] ppid=21340 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21352/stat : 21352 (java) S 21340 21340 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225257307 15372775424 18876 33554432000 4194304 4196468 140721183399632 139703570225872 139705579354011 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21353] ppid=21340 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21353/stat : 21353 (java) S 21340 21340 16770 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 225257307 15372775424 18876 33554432000 4194304 4196468 140721183399632 139704917772272 139705579346562 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21354] ppid=21340 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21354/stat : 21354 (java) S 21340 21340 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225257307 15372775424 18876 33554432000 4194304 4196468 140721183399632 139704916719728 139705579346562 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21355] ppid=21340 vsize=15012476 memory=140288253658752 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21355/stat : 21355 (java) R 21340 21340 16770 0 -1 4202560 267 0 0 0 0 0 0 0 20 0 15 0 225257307 15372775424 18876 33554432000 4194304 4196468 140721183399632 139704915667184 139705571572542 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21356] ppid=21340 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21356/stat : 21356 (java) S 21340 21340 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225257307 15372775424 18876 33554432000 4194304 4196468 140721183399632 139703072320096 139705579345621 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21357] ppid=21340 vsize=15012476 memory=140288253658752 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21357/stat : 21357 (java) S 21340 21340 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225257307 15372775424 18876 33554432000 4194304 4196468 140721183399632 139704914615088 139705579346562 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 76640 KiB
[startup+0.210645 s]*
/proc/loadavg: 2.01 2.04 2.05 3/222 21357
/proc/meminfo: memFree=11435632/32770624 swapFree=67108860/67108860
[pid=21340] ppid=21337 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21340/stat : 21340 (scop.sh) S 21337 21340 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225257300 115843072 349 33554432000 4194304 5098028 140727662531024 140727662528280 140633827091068 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 38608896 140727662539840 140727662540039 140727662540039 140727662542797 0
/proc/21340/statm: 28282 349 296 221 0 87 0
[pid=21343] ppid=21340 vsize=15012476 memory=88580 CPUtime=0.25 cores=0,2,4,6
/proc/21343/stat : 21343 (java) S 21340 21340 16770 0 -1 1077944320 9968 0 0 0 22 3 0 0 20 0 15 0 225257300 15372775424 22145 33554432000 4194304 4196468 140721183399632 140721183382176 139705579335415 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
/proc/21343/statm: 3753119 22145 2874 1 0 3715579 0
[pid=21343/tid=21344] ppid=21340 vsize=15012476 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/21343/task/21344/stat : 21344 (java) R 21340 21340 16770 0 -1 4202560 7883 0 0 0 18 2 0 0 20 0 15 0 225257301 15372775424 22145 33554432000 4194304 4196468 140721183399632 139705551161808 139705579356762 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21345] ppid=21340 vsize=15012476 memory=365 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21345/stat : 21345 (java) S 21340 21340 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225257302 15372775424 22145 33554432000 4194304 4196468 140721183399632 139705583577360 139705579345621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21346] ppid=21340 vsize=15012476 memory=140288254853470 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21346/stat : 21346 (java) S 21340 21340 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225257302 15372775424 22145 33554432000 4194304 4196468 140721183399632 139705359280528 139705579345621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21347] ppid=21340 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21347/stat : 21347 (java) S 21340 21340 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225257302 15372775424 22145 33554432000 4194304 4196468 140721183399632 139705358227984 139705579345621 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21348] ppid=21340 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21348/stat : 21348 (java) S 21340 21340 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225257302 15372775424 22145 33554432000 4194304 4196468 140721183399632 139705357175440 139705579345621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21349] ppid=21340 vsize=15012476 memory=140288253658752 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21349/stat : 21349 (java) S 21340 21340 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225257304 15372775424 22145 33554432000 4194304 4196468 140721183399632 139704918825456 139705579346562 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21350] ppid=21340 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21350/stat : 21350 (java) S 21340 21340 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225257304 15372775424 22145 33554432000 4194304 4196468 140721183399632 139704213169568 139705579345621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21351] ppid=21340 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21351/stat : 21351 (java) S 21340 21340 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225257304 15372775424 22145 33554432000 4194304 4196468 140721183399632 139703944734192 139705579345621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21352] ppid=21340 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21352/stat : 21352 (java) S 21340 21340 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225257307 15372775424 22145 33554432000 4194304 4196468 140721183399632 139703570225872 139705579354011 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21353] ppid=21340 vsize=15012476 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/21343/task/21353/stat : 21353 (java) S 21340 21340 16770 0 -1 1077944384 450 0 0 0 1 0 0 0 20 0 15 0 225257307 15372775424 22145 33554432000 4194304 4196468 140721183399632 139704917772272 139705579346562 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21354] ppid=21340 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21354/stat : 21354 (java) S 21340 21340 16770 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 225257307 15372775424 22145 33554432000 4194304 4196468 140721183399632 139704916719728 139705579346562 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21355] ppid=21340 vsize=15012476 memory=140288253658752 CPUtime=0.03 cores=0,2,4,6
/proc/21343/task/21355/stat : 21355 (java) R 21340 21340 16770 0 -1 4202560 285 0 0 0 3 0 0 0 20 0 15 0 225257307 15372775424 22145 33554432000 4194304 4196468 140721183399632 139704915667184 139705579347350 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21356] ppid=21340 vsize=15012476 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21356/stat : 21356 (java) S 21340 21340 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225257307 15372775424 22145 33554432000 4194304 4196468 140721183399632 139703072320096 139705579345621 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21357] ppid=21340 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21357/stat : 21357 (java) S 21340 21340 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225257307 15372775424 22145 33554432000 4194304 4196468 140721183399632 139704914615088 139705579346562 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 89976 KiB
[startup+0.310634 s]*
/proc/loadavg: 2.01 2.04 2.05 3/222 21357
/proc/meminfo: memFree=11432344/32770624 swapFree=67108860/67108860
[pid=21340] ppid=21337 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21340/stat : 21340 (scop.sh) S 21337 21340 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225257300 115843072 349 33554432000 4194304 5098028 140727662531024 140727662528280 140633827091068 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 38608896 140727662539840 140727662540039 140727662540039 140727662542797 0
/proc/21340/statm: 28282 349 296 221 0 87 0
[pid=21343] ppid=21340 vsize=15012476 memory=92360 CPUtime=0.42 cores=0,2,4,6
/proc/21343/stat : 21343 (java) S 21340 21340 16770 0 -1 1077944320 10499 0 0 0 39 3 0 0 20 0 15 0 225257300 15372775424 23090 33554432000 4194304 4196468 140721183399632 140721183382176 139705579335415 0 0 2 16800973 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
/proc/21343/statm: 3753119 23090 3022 1 0 3715579 0
[pid=21343/tid=21344] ppid=21340 vsize=15012476 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/21343/task/21344/stat : 21344 (java) R 21340 21340 16770 0 -1 4202560 8254 0 0 0 27 2 0 0 20 0 15 0 225257301 15372775424 23090 33554432000 4194304 4196468 140721183399632 139705551130864 139705563415902 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21345] ppid=21340 vsize=15012476 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21345/stat : 21345 (java) S 21340 21340 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225257302 15372775424 23090 33554432000 4194304 4196468 140721183399632 139705583577360 139705579345621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21346] ppid=21340 vsize=15012476 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21346/stat : 21346 (java) S 21340 21340 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225257302 15372775424 23090 33554432000 4194304 4196468 140721183399632 139705359280528 139705579345621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21347] ppid=21340 vsize=15012476 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21347/stat : 21347 (java) S 21340 21340 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225257302 15372775424 23090 33554432000 4194304 4196468 140721183399632 139705358227984 139705579345621 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21348] ppid=21340 vsize=15012476 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21348/stat : 21348 (java) S 21340 21340 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225257302 15372775424 23090 33554432000 4194304 4196468 140721183399632 139705357175440 139705579345621 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21349] ppid=21340 vsize=15012476 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21349/stat : 21349 (java) S 21340 21340 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225257304 15372775424 23090 33554432000 4194304 4196468 140721183399632 139704918825456 139705579346562 0 0 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21350] ppid=21340 vsize=15012476 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21350/stat : 21350 (java) S 21340 21340 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225257304 15372775424 23090 33554432000 4194304 4196468 140721183399632 139704213169568 139705579345621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21351] ppid=21340 vsize=15012476 memory=7827413994055111515 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21351/stat : 21351 (java) S 21340 21340 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225257304 15372775424 23090 33554432000 4194304 4196468 140721183399632 139703944734192 139705579345621 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21352] ppid=21340 vsize=15012476 memory=8508281356422055839 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21352/stat : 21352 (java) S 21340 21340 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225257307 15372775424 23090 33554432000 4194304 4196468 140721183399632 139703570225872 139705579354011 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21353] ppid=21340 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/21343/task/21353/stat : 21353 (java) S 21340 21340 16770 0 -1 1077944384 475 0 0 0 2 0 0 0 20 0 15 0 225257307 15372775424 23090 33554432000 4194304 4196468 140721183399632 139704917772272 139705579346562 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21354] ppid=21340 vsize=15012476 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/21343/task/21354/stat : 21354 (java) S 21340 21340 16770 0 -1 1077944384 134 0 0 0 2 0 0 0 20 0 15 0 225257307 15372775424 23090 33554432000 4194304 4196468 140721183399632 139704916719728 139705579346562 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21355] ppid=21340 vsize=15012476 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/21343/task/21355/stat : 21355 (java) S 21340 21340 16770 0 -1 1077944384 304 0 0 0 7 0 0 0 20 0 15 0 225257307 15372775424 23090 33554432000 4194304 4196468 140721183399632 139704915667184 139705579346562 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21356] ppid=21340 vsize=15012476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21356/stat : 21356 (java) S 21340 21340 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225257307 15372775424 23090 33554432000 4194304 4196468 140721183399632 139703072320096 139705579345621 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21357] ppid=21340 vsize=15012476 memory=3761410793958088753 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21357/stat : 21357 (java) S 21340 21340 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225257307 15372775424 23090 33554432000 4194304 4196468 140721183399632 139704914615088 139705579346562 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 15125604 KiB
Current children cumulated memory: 93756 KiB
[startup+0.700758 s]
/proc/loadavg: 2.01 2.04 2.05 3/222 21357
/proc/meminfo: memFree=11407912/32770624 swapFree=67108860/67108860
[pid=21340] ppid=21337 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21340/stat : 21340 (scop.sh) S 21337 21340 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225257300 115843072 349 33554432000 4194304 5098028 140727662531024 140727662528280 140633827091068 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 38608896 140727662539840 140727662540039 140727662540039 140727662542797 0
/proc/21340/statm: 28282 349 296 221 0 87 0
[pid=21343] ppid=21340 vsize=15018748 memory=134860 CPUtime=1.02 cores=0,2,4,6
/proc/21343/stat : 21343 (java) S 21340 21340 16770 0 -1 1077944320 17319 0 0 0 96 6 0 0 20 0 15 0 225257300 15379197952 33715 33554432000 4194304 4196468 140721183399632 140721183382176 139705579335415 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
/proc/21343/statm: 3754687 33715 3136 1 0 3716091 0
[pid=21343/tid=21344] ppid=21340 vsize=15018748 memory=-7816663703405220396 CPUtime=0.66 cores=0,2,4,6
/proc/21343/task/21344/stat : 21344 (java) R 21340 21340 16770 0 -1 4202560 14567 0 0 0 62 4 0 0 20 0 15 0 225257301 15379197952 33715 33554432000 4194304 4196468 140721183399632 139705551166224 139705579357341 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21345] ppid=21340 vsize=15018748 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21345/stat : 21345 (java) S 21340 21340 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225257302 15379197952 33715 33554432000 4194304 4196468 140721183399632 139705583577360 139705579345621 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21346] ppid=21340 vsize=15018748 memory=61140 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21346/stat : 21346 (java) S 21340 21340 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225257302 15379197952 33715 33554432000 4194304 4196468 140721183399632 139705359280528 139705579345621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21347] ppid=21340 vsize=15018748 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21347/stat : 21347 (java) S 21340 21340 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225257302 15379197952 33715 33554432000 4194304 4196468 140721183399632 139705358227984 139705579345621 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21348] ppid=21340 vsize=15018748 memory=2416 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21348/stat : 21348 (java) S 21340 21340 16770 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 225257302 15379197952 33715 33554432000 4194304 4196468 140721183399632 139705357175440 139705579345621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21349] ppid=21340 vsize=15018748 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21349/stat : 21349 (java) S 21340 21340 16770 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 225257304 15379197952 33715 33554432000 4194304 4196468 140721183399632 139704918825456 139705579346562 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21350] ppid=21340 vsize=15018748 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21350/stat : 21350 (java) S 21340 21340 16770 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 225257304 15379197952 33715 33554432000 4194304 4196468 140721183399632 139704213169568 139705579345621 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21351] ppid=21340 vsize=15018748 memory=796 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21351/stat : 21351 (java) S 21340 21340 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225257304 15379197952 33715 33554432000 4194304 4196468 140721183399632 139703944734192 139705579345621 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21352] ppid=21340 vsize=15018748 memory=5408 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21352/stat : 21352 (java) S 21340 21340 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225257307 15379197952 33715 33554432000 4194304 4196468 140721183399632 139703570225872 139705579354011 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21353] ppid=21340 vsize=15018748 memory=876 CPUtime=0.08 cores=0,2,4,6
/proc/21343/task/21353/stat : 21353 (java) R 21340 21340 16770 0 -1 4202560 659 0 0 0 8 0 0 0 20 0 15 0 225257307 15379197952 33715 33554432000 4194304 4196468 140721183399632 139704917753568 139705562834558 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21354] ppid=21340 vsize=15018748 memory=10096 CPUtime=0.09 cores=0,2,4,6
/proc/21343/task/21354/stat : 21354 (java) S 21340 21340 16770 0 -1 1077944384 355 0 0 0 9 0 0 0 20 0 15 0 225257307 15379197952 33715 33554432000 4194304 4196468 140721183399632 139704916719728 139705579346562 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21355] ppid=21340 vsize=15018748 memory=1228 CPUtime=0.15 cores=0,2,4,6
/proc/21343/task/21355/stat : 21355 (java) R 21340 21340 16770 0 -1 4202560 403 0 0 0 15 0 0 0 20 0 15 0 225257307 15379197952 33715 33554432000 4194304 4196468 140721183399632 139704915667184 139705556559568 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21356] ppid=21340 vsize=15018748 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21356/stat : 21356 (java) S 21340 21340 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225257307 15379197952 33715 33554432000 4194304 4196468 140721183399632 139703072320096 139705579345621 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21357] ppid=21340 vsize=15018748 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21357/stat : 21357 (java) S 21340 21340 16770 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 225257307 15379197952 33715 33554432000 4194304 4196468 140721183399632 139704914615088 139705579346562 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 15131876 KiB
Current children cumulated memory: 136256 KiB
[startup+1.50091 s]
/proc/loadavg: 2.01 2.04 2.05 4/222 21357
/proc/meminfo: memFree=11151268/32770624 swapFree=67108860/67108860
[pid=21340] ppid=21337 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21340/stat : 21340 (scop.sh) S 21337 21340 16770 0 -1 4202496 559 321 0 0 0 0 0 0 20 0 1 0 225257300 115843072 349 33554432000 4194304 5098028 140727662531024 140727662528280 140633827091068 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 38608896 140727662539840 140727662540039 140727662540039 140727662542797 0
/proc/21340/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
Solver just ended.
Dumping a history of the last processes samples
[startup+984.201 s]*
/proc/loadavg: 4.49 4.05 3.10 6/221 21388
/proc/meminfo: memFree=444620/32770624 swapFree=67108860/67108860
[pid=21343] ppid=21337 vsize=15024968 memory=12084772 CPUtime=2524.43 cores=0,2,4,6
/proc/21343/stat : 21343 (java) S 21337 21340 16770 0 -1 1077944320 9944049 0 0 0 248774 3669 0 0 20 0 15 0 225257300 15385567232 3021193 33554432000 4194304 4196468 140721183399632 140721183382176 139705579335415 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
/proc/21343/statm: 3756242 3021193 3247 1 0 3717627 0
[pid=21343/tid=21344] ppid=21337 vsize=15024968 memory=4872558044660077418 CPUtime=466.97 cores=0,2,4,6
/proc/21343/task/21344/stat : 21344 (java) S 21337 21340 16770 0 -1 1077944384 360980 0 0 0 46616 81 0 0 20 0 15 0 225257301 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139705551173872 139705579345621 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21345] ppid=21337 vsize=15024968 memory=4126316290023845779 CPUtime=509.4 cores=0,2,4,6
/proc/21343/task/21345/stat : 21345 (java) R 21337 21340 16770 0 -1 4202560 2486754 0 0 0 50015 925 0 0 20 0 15 0 225257302 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139705583577480 139705571963623 0 4 2 25189581 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21346] ppid=21337 vsize=15024968 memory=1704 CPUtime=510.75 cores=0,2,4,6
/proc/21343/task/21346/stat : 21346 (java) R 21337 21340 16770 0 -1 4202560 1894293 0 0 0 50297 778 0 0 20 0 15 0 225257302 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139705359280336 139705564331893 0 4 2 25189581 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21347] ppid=21337 vsize=15024968 memory=796 CPUtime=509.23 cores=0,2,4,6
/proc/21343/task/21347/stat : 21347 (java) R 21337 21340 16770 0 -1 4202560 2181072 0 0 0 50039 884 0 0 20 0 15 0 225257302 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139705358228104 139705565094232 0 4 2 25189581 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21348] ppid=21337 vsize=15024968 memory=5408 CPUtime=509.63 cores=0,2,4,6
/proc/21343/task/21348/stat : 21348 (java) R 21337 21340 16770 0 -1 4202560 2193464 0 0 0 50039 924 0 0 20 0 15 0 225257302 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139705357175560 139705564035892 0 4 2 25189581 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21349] ppid=21337 vsize=15024968 memory=876 CPUtime=3.23 cores=0,2,4,6
/proc/21343/task/21349/stat : 21349 (java) S 21337 21340 16770 0 -1 1077944384 771559 0 0 0 272 51 0 0 20 0 15 0 225257304 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139704918824000 139705579345621 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21350] ppid=21337 vsize=15024968 memory=33992 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21350/stat : 21350 (java) S 21337 21340 16770 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 225257304 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139704213169632 139705579345621 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21351] ppid=21337 vsize=15024968 memory=4048 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21351/stat : 21351 (java) S 21337 21340 16770 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 225257304 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139703944734208 139705579345621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21352] ppid=21337 vsize=15024968 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21352/stat : 21352 (java) S 21337 21340 16770 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 225257307 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139703570225520 139705579345621 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21353] ppid=21337 vsize=15024968 memory=636 CPUtime=6.33 cores=0,2,4,6
/proc/21343/task/21353/stat : 21353 (java) S 21337 21340 16770 0 -1 1077944384 17413 0 0 0 631 2 0 0 20 0 15 0 225257307 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139704917772032 139705579345621 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21354] ppid=21337 vsize=15024968 memory=960 CPUtime=6.89 cores=0,2,4,6
/proc/21343/task/21354/stat : 21354 (java) S 21337 21340 16770 0 -1 1077944384 16607 0 0 0 687 2 0 0 20 0 15 0 225257307 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139704916719776 139705579345621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21355] ppid=21337 vsize=15024968 memory=1232 CPUtime=1.11 cores=0,2,4,6
/proc/21343/task/21355/stat : 21355 (java) S 21337 21340 16770 0 -1 1077944384 18522 0 0 0 107 4 0 0 20 0 15 0 225257307 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139704915667232 139705579345621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21356] ppid=21337 vsize=15024968 memory=2460 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21356/stat : 21356 (java) S 21337 21340 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225257307 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139703072320096 139705579345621 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21357] ppid=21337 vsize=15024968 memory=932 CPUtime=0.8 cores=0,2,4,6
/proc/21343/task/21357/stat : 21357 (java) S 21337 21340 16770 0 -1 1077944384 2036 0 0 0 37 43 0 0 20 0 15 0 225257307 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139704914615088 139705579346562 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
Current cumulated CPU time of completed processes: 0.003498 s
Current children cumulated CPU time: 2524.43 s
Current children cumulated vsize: 15024968 KiB
Current children cumulated memory: 12084772 KiB
[startup+984.601 s]
/proc/loadavg: 4.49 4.05 3.10 6/221 21388
/proc/meminfo: memFree=444620/32770624 swapFree=67108860/67108860
[pid=21343] ppid=21337 vsize=15024968 memory=12084772 CPUtime=2525.97 cores=0,2,4,6
/proc/21343/stat : 21343 (java) S 21337 21340 16770 0 -1 1077944320 9946851 0 0 0 248927 3670 0 0 20 0 15 0 225257300 15385567232 3021193 33554432000 4194304 4196468 140721183399632 140721183382176 139705579335415 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
/proc/21343/statm: 3756242 3021193 3247 1 0 3717627 0
[pid=21343/tid=21344] ppid=21337 vsize=15024968 memory=2100 CPUtime=466.97 cores=0,2,4,6
/proc/21343/task/21344/stat : 21344 (java) S 21337 21340 16770 0 -1 1077944384 360980 0 0 0 46616 81 0 0 20 0 15 0 225257301 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139705551173872 139705579345621 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21345] ppid=21337 vsize=15024968 memory=7528 CPUtime=509.78 cores=0,2,4,6
/proc/21343/task/21345/stat : 21345 (java) R 21337 21340 16770 0 -1 4202560 2487625 0 0 0 50053 925 0 0 20 0 15 0 225257302 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139705583577480 139705572439067 0 4 2 25189581 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21346] ppid=21337 vsize=15024968 memory=840 CPUtime=511.14 cores=0,2,4,6
/proc/21343/task/21346/stat : 21346 (java) R 21337 21340 16770 0 -1 4202560 1895515 0 0 0 50335 779 0 0 20 0 15 0 225257302 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139705359280336 139705564035032 0 4 2 25189581 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21347] ppid=21337 vsize=15024968 memory=4872558044660077418 CPUtime=509.61 cores=0,2,4,6
/proc/21343/task/21347/stat : 21347 (java) R 21337 21340 16770 0 -1 4202560 2181133 0 0 0 50076 885 0 0 20 0 15 0 225257302 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139705358227792 139705571963623 0 4 2 25189581 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21348] ppid=21337 vsize=15024968 memory=876 CPUtime=510.01 cores=0,2,4,6
/proc/21343/task/21348/stat : 21348 (java) R 21337 21340 16770 0 -1 4202560 2194114 0 0 0 50077 924 0 0 20 0 15 0 225257302 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139705357175248 139705571963623 0 4 2 25189581 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21349] ppid=21337 vsize=15024968 memory=10096 CPUtime=3.23 cores=0,2,4,6
/proc/21343/task/21349/stat : 21349 (java) S 21337 21340 16770 0 -1 1077944384 771559 0 0 0 272 51 0 0 20 0 15 0 225257304 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139704918824000 139705579345621 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21350] ppid=21337 vsize=15024968 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21350/stat : 21350 (java) S 21337 21340 16770 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 225257304 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139704213169632 139705579345621 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21351] ppid=21337 vsize=15024968 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21351/stat : 21351 (java) S 21337 21340 16770 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 225257304 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139703944734208 139705579345621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21352] ppid=21337 vsize=15024968 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21352/stat : 21352 (java) S 21337 21340 16770 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 225257307 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139703570225520 139705579345621 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21353] ppid=21337 vsize=15024968 memory=8804 CPUtime=6.33 cores=0,2,4,6
/proc/21343/task/21353/stat : 21353 (java) S 21337 21340 16770 0 -1 1077944384 17413 0 0 0 631 2 0 0 20 0 15 0 225257307 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139704917772032 139705579345621 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21354] ppid=21337 vsize=15024968 memory=4616 CPUtime=6.89 cores=0,2,4,6
/proc/21343/task/21354/stat : 21354 (java) S 21337 21340 16770 0 -1 1077944384 16607 0 0 0 687 2 0 0 20 0 15 0 225257307 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139704916719776 139705579345621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21355] ppid=21337 vsize=15024968 memory=1428 CPUtime=1.11 cores=0,2,4,6
/proc/21343/task/21355/stat : 21355 (java) S 21337 21340 16770 0 -1 1077944384 18522 0 0 0 107 4 0 0 20 0 15 0 225257307 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139704915667232 139705579345621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21356] ppid=21337 vsize=15024968 memory=15880 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21356/stat : 21356 (java) S 21337 21340 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225257307 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139703072320096 139705579345621 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21357] ppid=21337 vsize=15024968 memory=16228 CPUtime=0.8 cores=0,2,4,6
/proc/21343/task/21357/stat : 21357 (java) S 21337 21340 16770 0 -1 1077944384 2036 0 0 0 37 43 0 0 20 0 15 0 225257307 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139704914615088 139705579346562 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
Current cumulated CPU time of completed processes: 0.003498 s
Current children cumulated CPU time: 2525.97 s
Current children cumulated vsize: 15024968 KiB
Current children cumulated memory: 12084772 KiB
[startup+985.001 s]
/proc/loadavg: 4.49 4.05 3.10 6/221 21388
/proc/meminfo: memFree=444620/32770624 swapFree=67108860/67108860
[pid=21343] ppid=21337 vsize=15024968 memory=12084772 CPUtime=2527.55 cores=0,2,4,6
/proc/21343/stat : 21343 (java) S 21337 21340 16770 0 -1 1077944320 9949057 0 0 0 249085 3670 0 0 20 0 15 0 225257300 15385567232 3021193 33554432000 4194304 4196468 140721183399632 140721183382176 139705579335415 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
/proc/21343/statm: 3756242 3021193 3247 1 0 3717627 0
[pid=21343/tid=21344] ppid=21337 vsize=15024968 memory=2240 CPUtime=466.97 cores=0,2,4,6
/proc/21343/task/21344/stat : 21344 (java) S 21337 21340 16770 0 -1 1077944384 360980 0 0 0 46616 81 0 0 20 0 15 0 225257301 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139705551173872 139705579345621 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21345] ppid=21337 vsize=15024968 memory=4124 CPUtime=510.18 cores=0,2,4,6
/proc/21343/task/21345/stat : 21345 (java) R 21337 21340 16770 0 -1 4202560 2488120 0 0 0 50093 925 0 0 20 0 15 0 225257302 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139705583577480 139705571963623 0 4 2 25189581 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21346] ppid=21337 vsize=15024968 memory=4872558044660077418 CPUtime=511.54 cores=0,2,4,6
/proc/21343/task/21346/stat : 21346 (java) R 21337 21340 16770 0 -1 4202560 1896366 0 0 0 50375 779 0 0 20 0 15 0 225257302 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139705359280648 139705571963623 0 4 2 25189581 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21347] ppid=21337 vsize=15024968 memory=61156 CPUtime=510.01 cores=0,2,4,6
/proc/21343/task/21347/stat : 21347 (java) R 21337 21340 16770 0 -1 4202560 2181566 0 0 0 50116 885 0 0 20 0 15 0 225257302 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139705358228104 139705560888666 0 4 2 25189581 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21348] ppid=21337 vsize=15024968 memory=1240 CPUtime=510.41 cores=0,2,4,6
/proc/21343/task/21348/stat : 21348 (java) R 21337 21340 16770 0 -1 4202560 2194541 0 0 0 50117 924 0 0 20 0 15 0 225257302 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139705357175560 139705564035327 0 4 2 25189581 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21349] ppid=21337 vsize=15024968 memory=2416 CPUtime=3.23 cores=0,2,4,6
/proc/21343/task/21349/stat : 21349 (java) S 21337 21340 16770 0 -1 1077944384 771559 0 0 0 272 51 0 0 20 0 15 0 225257304 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139704918824000 139705579345621 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21350] ppid=21337 vsize=15024968 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21350/stat : 21350 (java) S 21337 21340 16770 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 225257304 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139704213169632 139705579345621 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21351] ppid=21337 vsize=15024968 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21351/stat : 21351 (java) S 21337 21340 16770 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 225257304 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139703944734208 139705579345621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21352] ppid=21337 vsize=15024968 memory=796 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21352/stat : 21352 (java) S 21337 21340 16770 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 225257307 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139703570225520 139705579345621 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21353] ppid=21337 vsize=15024968 memory=6791534058613427641 CPUtime=6.33 cores=0,2,4,6
/proc/21343/task/21353/stat : 21353 (java) S 21337 21340 16770 0 -1 1077944384 17413 0 0 0 631 2 0 0 20 0 15 0 225257307 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139704917772032 139705579345621 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21354] ppid=21337 vsize=15024968 memory=0 CPUtime=6.89 cores=0,2,4,6
/proc/21343/task/21354/stat : 21354 (java) S 21337 21340 16770 0 -1 1077944384 16607 0 0 0 687 2 0 0 20 0 15 0 225257307 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139704916719776 139705579345621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21355] ppid=21337 vsize=15024968 memory=4420 CPUtime=1.11 cores=0,2,4,6
/proc/21343/task/21355/stat : 21355 (java) S 21337 21340 16770 0 -1 1077944384 18522 0 0 0 107 4 0 0 20 0 15 0 225257307 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139704915667232 139705579345621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21356] ppid=21337 vsize=15024968 memory=6628 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21356/stat : 21356 (java) S 21337 21340 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225257307 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139703072320096 139705579345621 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21357] ppid=21337 vsize=15024968 memory=12084772 CPUtime=0.8 cores=0,2,4,6
/proc/21343/task/21357/stat : 21357 (java) S 21337 21340 16770 0 -1 1077944384 2036 0 0 0 37 43 0 0 20 0 15 0 225257307 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139704914615088 139705579346562 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
Current cumulated CPU time of completed processes: 0.003498 s
Current children cumulated CPU time: 2527.55 s
Current children cumulated vsize: 15024968 KiB
Current children cumulated memory: 12084772 KiB
[startup+985.101 s]
/proc/loadavg: 4.49 4.05 3.10 6/221 21388
/proc/meminfo: memFree=444620/32770624 swapFree=67108860/67108860
[pid=21343] ppid=21337 vsize=15024968 memory=12084772 CPUtime=2527.95 cores=0,2,4,6
/proc/21343/stat : 21343 (java) S 21337 21340 16770 0 -1 1077944320 9949659 0 0 0 249125 3670 0 0 20 0 15 0 225257300 15385567232 3021193 33554432000 4194304 4196468 140721183399632 140721183382176 139705579335415 0 0 2 25189581 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
/proc/21343/statm: 3756242 3021193 3247 1 0 3717627 0
[pid=21343/tid=21344] ppid=21337 vsize=15024968 memory=12084772 CPUtime=466.97 cores=0,2,4,6
/proc/21343/task/21344/stat : 21344 (java) S 21337 21340 16770 0 -1 1077944384 360980 0 0 0 46616 81 0 0 20 0 15 0 225257301 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139705551173872 139705579345621 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21345] ppid=21337 vsize=15024968 memory=12084772 CPUtime=510.28 cores=0,2,4,6
/proc/21343/task/21345/stat : 21345 (java) R 21337 21340 16770 0 -1 4202560 2488252 0 0 0 50103 925 0 0 20 0 15 0 225257302 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139705583577480 139705571963623 0 4 2 25189581 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21346] ppid=21337 vsize=15024968 memory=1396 CPUtime=511.64 cores=0,2,4,6
/proc/21343/task/21346/stat : 21346 (java) R 21337 21340 16770 0 -1 4202560 1896526 0 0 0 50385 779 0 0 20 0 15 0 225257302 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139705359280648 139705560945048 0 4 2 25189581 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21347] ppid=21337 vsize=15024968 memory=12084772 CPUtime=510.11 cores=0,2,4,6
/proc/21343/task/21347/stat : 21347 (java) R 21337 21340 16770 0 -1 4202560 2181727 0 0 0 50126 885 0 0 20 0 15 0 225257302 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139705358228104 139705564035327 0 4 2 25189581 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21348] ppid=21337 vsize=15024968 memory=12084772 CPUtime=510.51 cores=0,2,4,6
/proc/21343/task/21348/stat : 21348 (java) R 21337 21340 16770 0 -1 4202560 2194690 0 0 0 50127 924 0 0 20 0 15 0 225257302 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139705357175560 139705571963623 0 4 2 25189581 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21349] ppid=21337 vsize=15024968 memory=12084772 CPUtime=3.23 cores=0,2,4,6
/proc/21343/task/21349/stat : 21349 (java) S 21337 21340 16770 0 -1 1077944384 771559 0 0 0 272 51 0 0 20 0 15 0 225257304 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139704918824000 139705579345621 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21350] ppid=21337 vsize=15024968 memory=12084772 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21350/stat : 21350 (java) S 21337 21340 16770 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 225257304 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139704213169632 139705579345621 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21351] ppid=21337 vsize=15024968 memory=12084772 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21351/stat : 21351 (java) S 21337 21340 16770 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 225257304 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139703944734208 139705579345621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21352] ppid=21337 vsize=15024968 memory=12084772 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21352/stat : 21352 (java) S 21337 21340 16770 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 225257307 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139703570225520 139705579345621 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21353] ppid=21337 vsize=15024968 memory=12084772 CPUtime=6.33 cores=0,2,4,6
/proc/21343/task/21353/stat : 21353 (java) S 21337 21340 16770 0 -1 1077944384 17413 0 0 0 631 2 0 0 20 0 15 0 225257307 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139704917772032 139705579345621 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21354] ppid=21337 vsize=15024968 memory=12084772 CPUtime=6.89 cores=0,2,4,6
/proc/21343/task/21354/stat : 21354 (java) S 21337 21340 16770 0 -1 1077944384 16607 0 0 0 687 2 0 0 20 0 15 0 225257307 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139704916719776 139705579345621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21355] ppid=21337 vsize=15024968 memory=12084772 CPUtime=1.11 cores=0,2,4,6
/proc/21343/task/21355/stat : 21355 (java) S 21337 21340 16770 0 -1 1077944384 18522 0 0 0 107 4 0 0 20 0 15 0 225257307 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139704915667232 139705579345621 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21356] ppid=21337 vsize=15024968 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/21343/task/21356/stat : 21356 (java) S 21337 21340 16770 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 225257307 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139703072320096 139705579345621 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
[pid=21343/tid=21357] ppid=21337 vsize=15024968 memory=12084772 CPUtime=0.8 cores=0,2,4,6
/proc/21343/task/21357/stat : 21357 (java) S 21337 21340 16770 0 -1 1077944384 2036 0 0 0 37 43 0 0 20 0 15 0 225257307 15385567232 3021193 33554432000 4194304 4196468 140721183399632 139704914615088 139705579346562 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15437824 140721183405062 140721183405361 140721183405361 140721183408079 0
Current cumulated CPU time of completed processes: 0.003498 s
Current children cumulated CPU time: 2527.95 s
Current children cumulated vsize: 15024968 KiB
Current children cumulated memory: 12084772 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 985.26
CPU time (s): 2528.14
CPU user time (s): 2491.28
CPU system time (s): 36.8654
CPU usage (%): 256.596
Max. virtual memory (cumulated for all children) (KiB): 15138096
Max. memory (cumulated for all children) (KiB): 12086168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2491.28
system time used= 36.8654
maximum resident set size= 12084948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9950802
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48574
involuntary context switches= 21951
# summary of solver processes directly reported to runsolver:
# pid: 21340,21343
# total CPU time (s): 2528.14
# total CPU user time (s): 2491.28
# total CPU system time (s): 36.8654
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.55978 second user time and 8.828 second system time
The end