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 (9347 MiB free)
memory of node 1: 16384 MiB (11597 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387987-1568292991/watcher-4387987-1568292991 -o /tmp/evaluation-result-4387987-1568292991/solver-4387987-1568292991 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568286731-10042 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4387987-1568292991.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=12286, runsolver pid=12283
[startup+0.100062 s]*
/proc/loadavg: 2.16 2.19 2.13 3/234 12303
/proc/meminfo: memFree=21386300/32770624 swapFree=66999124/67108860
[pid=12286] ppid=12283 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12286/stat : 12286 (scop.sh) S 12283 12286 9001 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405237541 115843072 349 33554432000 4194304 5098028 140725743343200 140725743340456 140090472694396 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27947008 140725743350627 140725743350896 140725743350896 140725743353805 0
/proc/12286/statm: 28282 349 296 221 0 87 0
[pid=12289] ppid=12286 vsize=15014680 memory=75624 CPUtime=0.11 cores=1,3,5,7
/proc/12289/stat : 12289 (java) S 12286 12286 9001 0 -1 1077944320 7119 0 0 0 9 2 0 0 20 0 15 0 405237541 15375032320 18840 33554432000 4194304 4196468 140726393044976 140726393027520 139712134319863 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
/proc/12289/statm: 3753670 18840 2866 1 0 3716075 0
[pid=12289/tid=12290] ppid=12286 vsize=15016308 memory=-6221860069109448643 CPUtime=0.09 cores=1,3,5,7
/proc/12289/task/12290/stat : 12290 (java) R 12286 12286 9001 0 -1 4202560 5160 0 0 0 7 2 0 0 20 0 15 0 405237541 15376699392 19104 33554432000 4194304 4196468 140726393044976 139712106104112 139712126999581 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12291] ppid=12286 vsize=15016308 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12291/stat : 12291 (java) S 12286 12286 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405237543 15376699392 19104 33554432000 4194304 4196468 140726393044976 139712138562576 139712134330069 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12292] ppid=12286 vsize=15016308 memory=139721713399424 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12292/stat : 12292 (java) S 12286 12286 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405237543 15376699392 19170 33554432000 4194304 4196468 140726393044976 139711937338512 139712134330069 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12293] ppid=12286 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12293/stat : 12293 (java) S 12286 12286 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405237543 15376699392 19170 33554432000 4194304 4196468 140726393044976 139711936285456 139712134330069 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12294] ppid=12286 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12294/stat : 12294 (java) S 12286 12286 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405237543 15376699392 19170 33554432000 4194304 4196468 140726393044976 139711935232912 139712134330069 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12295] ppid=12286 vsize=15016308 memory=139721713399424 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12295/stat : 12295 (java) S 12286 12286 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405237544 15376699392 19170 33554432000 4194304 4196468 140726393044976 139711104362736 139712134331010 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12296] ppid=12286 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12296/stat : 12296 (java) S 12286 12286 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405237545 15376699392 19236 33554432000 4194304 4196468 140726393044976 139710722729120 139712134330069 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12297] ppid=12286 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12297/stat : 12297 (java) S 12286 12286 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405237545 15376699392 19236 33554432000 4194304 4196468 140726393044976 139710454293232 139712134330069 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12298] ppid=12286 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12298/stat : 12298 (java) S 12286 12286 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405237547 15376699392 19236 33554432000 4194304 4196468 140726393044976 139710079784912 139712134338459 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12299] ppid=12286 vsize=15016308 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12299/stat : 12299 (java) S 12286 12286 9001 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 405237547 15376699392 19236 33554432000 4194304 4196468 140726393044976 139711103310576 139712134331010 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12300] ppid=12286 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12300/stat : 12300 (java) S 12286 12286 9001 0 -1 1077944384 389 0 0 0 0 0 0 0 20 0 15 0 405237547 15376699392 19302 33554432000 4194304 4196468 140726393044976 139711102258032 139712134331010 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12301] ppid=12286 vsize=15016308 memory=139721713399424 CPUtime=0.01 cores=1,3,5,7
/proc/12289/task/12301/stat : 12301 (java) S 12286 12286 9001 0 -1 1077944384 472 0 0 0 1 0 0 0 20 0 15 0 405237547 15376699392 19302 33554432000 4194304 4196468 140726393044976 139711101204976 139712134331010 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12302] ppid=12286 vsize=15016308 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12302/stat : 12302 (java) S 12286 12286 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405237548 15376699392 19302 33554432000 4194304 4196468 140726393044976 139709581880160 139712134330069 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12303] ppid=12286 vsize=15016308 memory=139721713399424 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12303/stat : 12303 (java) S 12286 12286 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405237548 15376699392 19302 33554432000 4194304 4196468 140726393044976 139711100152368 139712134331010 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15127808 KiB
Current children cumulated memory: 77020 KiB
[startup+0.211006 s]*
/proc/loadavg: 2.16 2.19 2.13 3/234 12303
/proc/meminfo: memFree=21370492/32770624 swapFree=66999124/67108860
[pid=12286] ppid=12283 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12286/stat : 12286 (scop.sh) S 12283 12286 9001 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405237541 115843072 349 33554432000 4194304 5098028 140725743343200 140725743340456 140090472694396 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27947008 140725743350627 140725743350896 140725743350896 140725743353805 0
/proc/12286/statm: 28282 349 296 221 0 87 0
[pid=12289] ppid=12286 vsize=15012696 memory=87024 CPUtime=0.25 cores=1,3,5,7
/proc/12289/stat : 12289 (java) S 12286 12286 9001 0 -1 1077944320 11273 0 0 0 22 3 0 0 20 0 15 0 405237541 15373000704 21756 33554432000 4194304 4196468 140726393044976 140726393027520 139712134319863 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
/proc/12289/statm: 3753174 21756 2937 1 0 3715579 0
[pid=12289/tid=12290] ppid=12286 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/12289/task/12290/stat : 12290 (java) R 12286 12286 9001 0 -1 4202560 8989 0 0 0 17 3 0 0 20 0 15 0 405237541 15373000704 21756 33554432000 4194304 4196468 140726393044976 139712106135104 139712134331798 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12291] ppid=12286 vsize=15012696 memory=398 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12291/stat : 12291 (java) S 12286 12286 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405237543 15373000704 21756 33554432000 4194304 4196468 140726393044976 139712138562576 139712134330069 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12292] ppid=12286 vsize=15012696 memory=139721713411070 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12292/stat : 12292 (java) S 12286 12286 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405237543 15373000704 21756 33554432000 4194304 4196468 140726393044976 139711937338512 139712134330069 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12293] ppid=12286 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12293/stat : 12293 (java) S 12286 12286 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405237543 15373000704 21756 33554432000 4194304 4196468 140726393044976 139711936285456 139712134330069 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12294] ppid=12286 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12294/stat : 12294 (java) S 12286 12286 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405237543 15373000704 21756 33554432000 4194304 4196468 140726393044976 139711935232912 139712134330069 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12295] ppid=12286 vsize=15012696 memory=139721713399424 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12295/stat : 12295 (java) S 12286 12286 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405237544 15373000704 21756 33554432000 4194304 4196468 140726393044976 139711104362736 139712134331010 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12296] ppid=12286 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12296/stat : 12296 (java) S 12286 12286 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405237545 15373000704 21756 33554432000 4194304 4196468 140726393044976 139710722729120 139712134330069 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12297] ppid=12286 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12297/stat : 12297 (java) S 12286 12286 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405237545 15373000704 21756 33554432000 4194304 4196468 140726393044976 139710454293232 139712134330069 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12298] ppid=12286 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12298/stat : 12298 (java) S 12286 12286 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405237547 15373000704 21756 33554432000 4194304 4196468 140726393044976 139710079784912 139712134338459 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12299] ppid=12286 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12299/stat : 12299 (java) S 12286 12286 9001 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 405237547 15373000704 21756 33554432000 4194304 4196468 140726393044976 139711103310576 139712134331010 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12300] ppid=12286 vsize=15012696 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/12289/task/12300/stat : 12300 (java) S 12286 12286 9001 0 -1 1077944384 422 0 0 0 1 0 0 0 20 0 15 0 405237547 15373000704 21756 33554432000 4194304 4196468 140726393044976 139711102258032 139712134331010 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12301] ppid=12286 vsize=15012696 memory=139721713399424 CPUtime=0.03 cores=1,3,5,7
/proc/12289/task/12301/stat : 12301 (java) S 12286 12286 9001 0 -1 1077944384 486 0 0 0 3 0 0 0 20 0 15 0 405237547 15373000704 21756 33554432000 4194304 4196468 140726393044976 139711101204976 139712134331010 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12302] ppid=12286 vsize=15012696 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12302/stat : 12302 (java) S 12286 12286 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405237548 15373000704 21756 33554432000 4194304 4196468 140726393044976 139709581880160 139712134330069 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12303] ppid=12286 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12303/stat : 12303 (java) S 12286 12286 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405237548 15373000704 21756 33554432000 4194304 4196468 140726393044976 139711100152368 139712134331010 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 88420 KiB
[startup+0.31184 s]*
/proc/loadavg: 2.16 2.19 2.13 3/234 12303
/proc/meminfo: memFree=21367816/32770624 swapFree=66999124/67108860
[pid=12286] ppid=12283 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12286/stat : 12286 (scop.sh) S 12283 12286 9001 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405237541 115843072 349 33554432000 4194304 5098028 140725743343200 140725743340456 140090472694396 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27947008 140725743350627 140725743350896 140725743350896 140725743353805 0
/proc/12286/statm: 28282 349 296 221 0 87 0
[pid=12289] ppid=12286 vsize=15012696 memory=90436 CPUtime=0.43 cores=1,3,5,7
/proc/12289/stat : 12289 (java) S 12286 12286 9001 0 -1 1077944320 12187 0 0 0 39 4 0 0 20 0 15 0 405237541 15373000704 22609 33554432000 4194304 4196468 140726393044976 140726393027520 139712134319863 0 0 2 16800973 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
/proc/12289/statm: 3753174 22609 3031 1 0 3715579 0
[pid=12289/tid=12290] ppid=12286 vsize=15012696 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/12289/task/12290/stat : 12290 (java) R 12286 12286 9001 0 -1 4202560 9733 0 0 0 27 3 0 0 20 0 15 0 405237541 15373000704 22609 33554432000 4194304 4196468 140726393044976 139712106119792 139712115883392 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12291] ppid=12286 vsize=15012696 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12291/stat : 12291 (java) S 12286 12286 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405237543 15373000704 22609 33554432000 4194304 4196468 140726393044976 139712138562576 139712134330069 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12292] ppid=12286 vsize=15012696 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12292/stat : 12292 (java) S 12286 12286 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405237543 15373000704 22609 33554432000 4194304 4196468 140726393044976 139711937338512 139712134330069 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12293] ppid=12286 vsize=15012696 memory=7379517702019849078 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12293/stat : 12293 (java) S 12286 12286 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405237543 15373000704 22609 33554432000 4194304 4196468 140726393044976 139711936285456 139712134330069 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12294] ppid=12286 vsize=15012696 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12294/stat : 12294 (java) S 12286 12286 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405237543 15373000704 22609 33554432000 4194304 4196468 140726393044976 139711935232912 139712134330069 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12295] ppid=12286 vsize=15012696 memory=4498404016631593313 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12295/stat : 12295 (java) S 12286 12286 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405237544 15373000704 22609 33554432000 4194304 4196468 140726393044976 139711104362736 139712134331010 0 0 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12296] ppid=12286 vsize=15012696 memory=-6519613052471072158 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12296/stat : 12296 (java) S 12286 12286 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405237545 15373000704 22609 33554432000 4194304 4196468 140726393044976 139710722729120 139712134330069 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12297] ppid=12286 vsize=15012696 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12297/stat : 12297 (java) S 12286 12286 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405237545 15373000704 22609 33554432000 4194304 4196468 140726393044976 139710454293232 139712134330069 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12298] ppid=12286 vsize=15012696 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12298/stat : 12298 (java) S 12286 12286 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405237547 15373000704 22609 33554432000 4194304 4196468 140726393044976 139710079784912 139712134338459 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12299] ppid=12286 vsize=15012696 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/12289/task/12299/stat : 12299 (java) S 12286 12286 9001 0 -1 1077944384 97 0 0 0 1 0 0 0 20 0 15 0 405237547 15373000704 22609 33554432000 4194304 4196468 140726393044976 139711103310576 139712134331010 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12300] ppid=12286 vsize=15012696 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/12289/task/12300/stat : 12300 (java) S 12286 12286 9001 0 -1 1077944384 518 0 0 0 3 0 0 0 20 0 15 0 405237547 15373000704 22609 33554432000 4194304 4196468 140726393044976 139711102258032 139712134331010 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12301] ppid=12286 vsize=15012696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12289/task/12301/stat : 12301 (java) S 12286 12286 9001 0 -1 1077944384 506 0 0 0 7 0 0 0 20 0 15 0 405237547 15373000704 22609 33554432000 4194304 4196468 140726393044976 139711101204976 139712134331010 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12302] ppid=12286 vsize=15012696 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12302/stat : 12302 (java) S 12286 12286 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405237548 15373000704 22609 33554432000 4194304 4196468 140726393044976 139709581880160 139712134330069 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12303] ppid=12286 vsize=15012696 memory=3472615277469905968 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12303/stat : 12303 (java) S 12286 12286 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405237548 15373000704 22609 33554432000 4194304 4196468 140726393044976 139711100152368 139712134331010 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91832 KiB
[startup+0.700755 s]
/proc/loadavg: 2.16 2.19 2.13 3/234 12303
/proc/meminfo: memFree=21344252/32770624 swapFree=66999124/67108860
[pid=12286] ppid=12283 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12286/stat : 12286 (scop.sh) S 12283 12286 9001 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405237541 115843072 349 33554432000 4194304 5098028 140725743343200 140725743340456 140090472694396 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27947008 140725743350627 140725743350896 140725743350896 140725743353805 0
/proc/12286/statm: 28282 349 296 221 0 87 0
[pid=12289] ppid=12286 vsize=15018968 memory=126612 CPUtime=0.94 cores=1,3,5,7
/proc/12289/stat : 12289 (java) S 12286 12286 9001 0 -1 1077944320 19444 0 0 0 88 6 0 0 20 0 15 0 405237541 15379423232 31653 33554432000 4194304 4196468 140726393044976 140726393027520 139712134319863 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
/proc/12289/statm: 3754742 31653 3195 1 0 3716091 0
[pid=12289/tid=12290] ppid=12286 vsize=15018968 memory=2372 CPUtime=0.65 cores=1,3,5,7
/proc/12289/task/12290/stat : 12290 (java) R 12286 12286 9001 0 -1 4202560 16634 0 0 0 60 5 0 0 20 0 15 0 405237541 15379423232 31653 33554432000 4194304 4196468 140726393044976 139712106159136 139712134341789 0 4 2 25189581 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12291] ppid=12286 vsize=15018968 memory=116 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12291/stat : 12291 (java) S 12286 12286 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405237543 15379423232 31653 33554432000 4194304 4196468 140726393044976 139712138562576 139712134330069 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12292] ppid=12286 vsize=15018968 memory=2129119 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12292/stat : 12292 (java) S 12286 12286 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405237543 15379423232 31653 33554432000 4194304 4196468 140726393044976 139711937338512 139712134330069 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12293] ppid=12286 vsize=15018968 memory=2141618 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12293/stat : 12293 (java) S 12286 12286 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405237543 15379423232 31653 33554432000 4194304 4196468 140726393044976 139711936285456 139712134330069 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12294] ppid=12286 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12294/stat : 12294 (java) S 12286 12286 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405237543 15379423232 31653 33554432000 4194304 4196468 140726393044976 139711935232912 139712134330069 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12295] ppid=12286 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12295/stat : 12295 (java) S 12286 12286 9001 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405237544 15379423232 31653 33554432000 4194304 4196468 140726393044976 139711104362736 139712134331010 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12296] ppid=12286 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12296/stat : 12296 (java) S 12286 12286 9001 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405237545 15379423232 31653 33554432000 4194304 4196468 140726393044976 139710722729120 139712134330069 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12297] ppid=12286 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12297/stat : 12297 (java) S 12286 12286 9001 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405237545 15379423232 31653 33554432000 4194304 4196468 140726393044976 139710454293232 139712134330069 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12298] ppid=12286 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12298/stat : 12298 (java) S 12286 12286 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405237547 15379423232 31653 33554432000 4194304 4196468 140726393044976 139710079784912 139712134338459 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12299] ppid=12286 vsize=15018968 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/12289/task/12299/stat : 12299 (java) S 12286 12286 9001 0 -1 1077944384 178 0 0 0 5 0 0 0 20 0 15 0 405237547 15379423232 31653 33554432000 4194304 4196468 140726393044976 139711103310576 139712134331010 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12300] ppid=12286 vsize=15018968 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12289/task/12300/stat : 12300 (java) S 12286 12286 9001 0 -1 1077944384 729 0 0 0 8 0 0 0 20 0 15 0 405237547 15379423232 31653 33554432000 4194304 4196468 140726393044976 139711102258032 139712134331010 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12301] ppid=12286 vsize=15018968 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/12289/task/12301/stat : 12301 (java) R 12286 12286 9001 0 -1 4202560 566 0 0 0 13 0 0 0 20 0 15 0 405237547 15379423232 31653 33554432000 4194304 4196468 140726393044976 139711101204976 139712134341210 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12302] ppid=12286 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12302/stat : 12302 (java) S 12286 12286 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405237548 15379423232 31653 33554432000 4194304 4196468 140726393044976 139709581880160 139712134330069 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12303] ppid=12286 vsize=15018968 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12303/stat : 12303 (java) S 12286 12286 9001 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405237548 15379423232 31653 33554432000 4194304 4196468 140726393044976 139711100152368 139712134331010 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
Current children cumulated CPU time: 0.94 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 128008 KiB
[startup+1.50079 s]
/proc/loadavg: 2.16 2.19 2.13 6/234 12303
/proc/meminfo: memFree=21304668/32770624 swapFree=66999124/67108860
[pid=12286] ppid=12283 vsize=113128 memory=1396 CPUtime=0 cores=1,3,5,7
/proc/12286/stat : 12286 (scop.sh) S 12283 12286 9001 0 -1 4202496 555 321 0 0 0 0 0 0 20 0 1 0 405237541 115843072 349 33554432000 4194304 5098028 140725743343200 140725743340456 140090472694396 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27947008 140725743350627 140725743350896 140725743350896 140725743353805 0
/proc/12286/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
Solver just ended.
Dumping a history of the last processes samples
[startup+1174.41 s]
/proc/loadavg: 3.61 3.73 3.03 6/233 12435
/proc/meminfo: memFree=9345204/32770624 swapFree=66999124/67108860
[pid=12289] ppid=12283 vsize=15025188 memory=12074364 CPUtime=2520.86 cores=1,3,5,7
/proc/12289/stat : 12289 (java) S 12283 12286 9001 0 -1 1077944320 320634 0 0 0 251074 1012 0 0 20 0 15 0 405237541 15385792512 3018591 33554432000 4194304 4196468 140726393044976 140726393027520 139712134319863 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
/proc/12289/statm: 3756297 3018591 3302 1 0 3717627 0
[pid=12289/tid=12290] ppid=12283 vsize=15025188 memory=2828 CPUtime=715 cores=1,3,5,7
/proc/12289/task/12290/stat : 12290 (java) S 12283 12286 9001 0 -1 1077944384 72979 0 0 0 71445 55 0 0 20 0 15 0 405237541 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139712106156144 139712134330069 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12291] ppid=12283 vsize=15025188 memory=1048 CPUtime=446.95 cores=1,3,5,7
/proc/12289/task/12291/stat : 12291 (java) R 12283 12286 9001 0 -1 4202560 30848 0 0 0 44459 236 0 0 20 0 15 0 405237543 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139712138562776 139712119017421 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12292] ppid=12283 vsize=15025188 memory=14004 CPUtime=447.5 cores=1,3,5,7
/proc/12289/task/12292/stat : 12292 (java) R 12283 12286 9001 0 -1 4202560 30836 0 0 0 44518 232 0 0 20 0 15 0 405237543 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139711937338712 139712119017502 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12293] ppid=12283 vsize=15025188 memory=14060 CPUtime=450.25 cores=1,3,5,7
/proc/12289/task/12293/stat : 12293 (java) R 12283 12286 9001 0 -1 4202560 31904 0 0 0 44819 206 0 0 20 0 15 0 405237543 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139711936285344 139712119017615 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12294] ppid=12283 vsize=15025188 memory=2116 CPUtime=446.72 cores=1,3,5,7
/proc/12289/task/12294/stat : 12294 (java) R 12283 12286 9001 0 -1 4202560 25456 0 0 0 44423 249 0 0 20 0 15 0 405237543 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139711935233112 139712119017638 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12295] ppid=12283 vsize=15025188 memory=17452 CPUtime=2.42 cores=1,3,5,7
/proc/12289/task/12295/stat : 12295 (java) S 12283 12286 9001 0 -1 1077944384 66971 0 0 0 238 4 0 0 20 0 15 0 405237544 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139711104361056 139712134330069 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12296] ppid=12283 vsize=15025188 memory=532 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12296/stat : 12296 (java) S 12283 12286 9001 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 405237545 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139710722729184 139712134330069 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12297] ppid=12283 vsize=15025188 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12297/stat : 12297 (java) S 12283 12286 9001 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 405237545 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139710454293248 139712134330069 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12298] ppid=12283 vsize=15025188 memory=932 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12298/stat : 12298 (java) S 12283 12286 9001 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 405237547 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139710079784560 139712134330069 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12299] ppid=12283 vsize=15025188 memory=3680 CPUtime=5.1 cores=1,3,5,7
/proc/12289/task/12299/stat : 12299 (java) S 12283 12286 9001 0 -1 1077944384 24479 0 0 0 507 3 0 0 20 0 15 0 405237547 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139711103310576 139712134331010 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12300] ppid=12283 vsize=15025188 memory=864 CPUtime=4.83 cores=1,3,5,7
/proc/12289/task/12300/stat : 12300 (java) S 12283 12286 9001 0 -1 1077944384 18099 0 0 0 480 3 0 0 20 0 15 0 405237547 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139711102258032 139712134331010 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12301] ppid=12283 vsize=15025188 memory=1436 CPUtime=1.36 cores=1,3,5,7
/proc/12289/task/12301/stat : 12301 (java) S 12283 12286 9001 0 -1 1077944384 16891 0 0 0 133 3 0 0 20 0 15 0 405237547 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139711101204976 139712134331010 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12302] ppid=12283 vsize=15025188 memory=1540 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12302/stat : 12302 (java) S 12283 12286 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405237548 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139709581880160 139712134330069 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12303] ppid=12283 vsize=15025188 memory=772 CPUtime=0.65 cores=1,3,5,7
/proc/12289/task/12303/stat : 12303 (java) S 12283 12286 9001 0 -1 1077944384 770 0 0 0 32 33 0 0 20 0 15 0 405237548 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139711100152368 139712134331010 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
Current cumulated CPU time of completed processes: 0.003569 s
Current children cumulated CPU time: 2520.86 s
Current children cumulated vsize: 15025188 KiB
Current children cumulated memory: 12074364 KiB
[startup+1175.2 s]
/proc/loadavg: 3.61 3.73 3.03 6/233 12435
/proc/meminfo: memFree=9343156/32770624 swapFree=66999124/67108860
[pid=12289] ppid=12283 vsize=15025188 memory=12074364 CPUtime=2524.01 cores=1,3,5,7
/proc/12289/stat : 12289 (java) S 12283 12286 9001 0 -1 1077944320 320697 0 0 0 251389 1012 0 0 20 0 15 0 405237541 15385792512 3018591 33554432000 4194304 4196468 140726393044976 140726393027520 139712134319863 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
/proc/12289/statm: 3756297 3018591 3302 1 0 3717627 0
[pid=12289/tid=12290] ppid=12283 vsize=15025188 memory=612 CPUtime=715 cores=1,3,5,7
/proc/12289/task/12290/stat : 12290 (java) S 12283 12286 9001 0 -1 1077944384 72979 0 0 0 71445 55 0 0 20 0 15 0 405237541 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139712106156144 139712134330069 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12291] ppid=12283 vsize=15025188 memory=1220 CPUtime=447.74 cores=1,3,5,7
/proc/12289/task/12291/stat : 12291 (java) R 12283 12286 9001 0 -1 4202560 30848 0 0 0 44538 236 0 0 20 0 15 0 405237543 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139712138562776 139712119270468 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12292] ppid=12283 vsize=15025188 memory=14004 CPUtime=448.29 cores=1,3,5,7
/proc/12289/task/12292/stat : 12292 (java) R 12283 12286 9001 0 -1 4202560 30836 0 0 0 44597 232 0 0 20 0 15 0 405237543 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139711937338712 139712115916592 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12293] ppid=12283 vsize=15025188 memory=3624 CPUtime=451.03 cores=1,3,5,7
/proc/12289/task/12293/stat : 12293 (java) R 12283 12286 9001 0 -1 4202560 31960 0 0 0 44897 206 0 0 20 0 15 0 405237543 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139711936285344 139712119017638 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12294] ppid=12283 vsize=15025188 memory=36768 CPUtime=447.51 cores=1,3,5,7
/proc/12289/task/12294/stat : 12294 (java) R 12283 12286 9001 0 -1 4202560 25463 0 0 0 44502 249 0 0 20 0 15 0 405237543 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139711935233112 139712115916874 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12295] ppid=12283 vsize=15025188 memory=920 CPUtime=2.42 cores=1,3,5,7
/proc/12289/task/12295/stat : 12295 (java) S 12283 12286 9001 0 -1 1077944384 66971 0 0 0 238 4 0 0 20 0 15 0 405237544 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139711104361056 139712134330069 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12296] ppid=12283 vsize=15025188 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12296/stat : 12296 (java) S 12283 12286 9001 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 405237545 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139710722729184 139712134330069 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12297] ppid=12283 vsize=15025188 memory=2848 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12297/stat : 12297 (java) S 12283 12286 9001 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 405237545 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139710454293248 139712134330069 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12298] ppid=12283 vsize=15025188 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12298/stat : 12298 (java) S 12283 12286 9001 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 405237547 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139710079784560 139712134330069 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12299] ppid=12283 vsize=15025188 memory=532 CPUtime=5.1 cores=1,3,5,7
/proc/12289/task/12299/stat : 12299 (java) S 12283 12286 9001 0 -1 1077944384 24479 0 0 0 507 3 0 0 20 0 15 0 405237547 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139711103310624 139712134330069 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12300] ppid=12283 vsize=15025188 memory=1556 CPUtime=4.83 cores=1,3,5,7
/proc/12289/task/12300/stat : 12300 (java) S 12283 12286 9001 0 -1 1077944384 18099 0 0 0 480 3 0 0 20 0 15 0 405237547 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139711102258080 139712134330069 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12301] ppid=12283 vsize=15025188 memory=932 CPUtime=1.36 cores=1,3,5,7
/proc/12289/task/12301/stat : 12301 (java) S 12283 12286 9001 0 -1 1077944384 16891 0 0 0 133 3 0 0 20 0 15 0 405237547 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139711101204736 139712134330069 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12302] ppid=12283 vsize=15025188 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12302/stat : 12302 (java) S 12283 12286 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405237548 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139709581880160 139712134330069 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12303] ppid=12283 vsize=15025188 memory=864 CPUtime=0.65 cores=1,3,5,7
/proc/12289/task/12303/stat : 12303 (java) S 12283 12286 9001 0 -1 1077944384 770 0 0 0 32 33 0 0 20 0 15 0 405237548 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139711100152368 139712134331010 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
Current cumulated CPU time of completed processes: 0.003569 s
Current children cumulated CPU time: 2524.01 s
Current children cumulated vsize: 15025188 KiB
Current children cumulated memory: 12074364 KiB
[startup+1176 s]*
/proc/loadavg: 3.72 3.75 3.04 6/233 12435
/proc/meminfo: memFree=9343404/32770624 swapFree=66999124/67108860
[pid=12289] ppid=12283 vsize=15025188 memory=12074364 CPUtime=2527.23 cores=1,3,5,7
/proc/12289/stat : 12289 (java) S 12283 12286 9001 0 -1 1077944320 320710 0 0 0 251711 1012 0 0 20 0 15 0 405237541 15385792512 3018591 33554432000 4194304 4196468 140726393044976 140726393027520 139712134319863 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
/proc/12289/statm: 3756297 3018591 3302 1 0 3717627 0
[pid=12289/tid=12290] ppid=12283 vsize=15025188 memory=1398720917958146503 CPUtime=715 cores=1,3,5,7
/proc/12289/task/12290/stat : 12290 (java) S 12283 12286 9001 0 -1 1077944384 72979 0 0 0 71445 55 0 0 20 0 15 0 405237541 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139712106156144 139712134330069 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12291] ppid=12283 vsize=15025188 memory=4872558044660077418 CPUtime=448.55 cores=1,3,5,7
/proc/12289/task/12291/stat : 12291 (java) R 12283 12286 9001 0 -1 4202560 30854 0 0 0 44619 236 0 0 20 0 15 0 405237543 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139712138562776 139712119305159 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12292] ppid=12283 vsize=15025188 memory=-7673225154500992928 CPUtime=449.1 cores=1,3,5,7
/proc/12289/task/12292/stat : 12292 (java) R 12283 12286 9001 0 -1 4202560 30843 0 0 0 44678 232 0 0 20 0 15 0 405237543 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139711937338712 139712119017638 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12293] ppid=12283 vsize=15025188 memory=-7812736537705029536 CPUtime=451.82 cores=1,3,5,7
/proc/12289/task/12293/stat : 12293 (java) R 12283 12286 9001 0 -1 4202560 31960 0 0 0 44976 206 0 0 20 0 15 0 405237543 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139711936285344 139712118774620 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12294] ppid=12283 vsize=15025188 memory=-7812736537705029536 CPUtime=448.32 cores=1,3,5,7
/proc/12289/task/12294/stat : 12294 (java) R 12283 12286 9001 0 -1 4202560 25463 0 0 0 44583 249 0 0 20 0 15 0 405237543 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139711935233112 139712119305159 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12295] ppid=12283 vsize=15025188 memory=4945125699554088323 CPUtime=2.42 cores=1,3,5,7
/proc/12289/task/12295/stat : 12295 (java) S 12283 12286 9001 0 -1 1077944384 66971 0 0 0 238 4 0 0 20 0 15 0 405237544 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139711104361056 139712134330069 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12296] ppid=12283 vsize=15025188 memory=-8990767739041718176 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12296/stat : 12296 (java) S 12283 12286 9001 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 405237545 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139710722729184 139712134330069 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12297] ppid=12283 vsize=15025188 memory=-7673225154500992928 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12297/stat : 12297 (java) S 12283 12286 9001 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 405237545 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139710454293248 139712134330069 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12298] ppid=12283 vsize=15025188 memory=-7812736537705029536 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12298/stat : 12298 (java) S 12283 12286 9001 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 405237547 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139710079784560 139712134330069 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12299] ppid=12283 vsize=15025188 memory=3672 CPUtime=5.1 cores=1,3,5,7
/proc/12289/task/12299/stat : 12299 (java) S 12283 12286 9001 0 -1 1077944384 24479 0 0 0 507 3 0 0 20 0 15 0 405237547 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139711103310624 139712134330069 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12300] ppid=12283 vsize=15025188 memory=1412 CPUtime=4.83 cores=1,3,5,7
/proc/12289/task/12300/stat : 12300 (java) S 12283 12286 9001 0 -1 1077944384 18099 0 0 0 480 3 0 0 20 0 15 0 405237547 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139711102258080 139712134330069 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12301] ppid=12283 vsize=15025188 memory=3540 CPUtime=1.36 cores=1,3,5,7
/proc/12289/task/12301/stat : 12301 (java) S 12283 12286 9001 0 -1 1077944384 16891 0 0 0 133 3 0 0 20 0 15 0 405237547 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139711101204736 139712134330069 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12302] ppid=12283 vsize=15025188 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12302/stat : 12302 (java) S 12283 12286 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405237548 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139709581880160 139712134330069 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12303] ppid=12283 vsize=15025188 memory=120808 CPUtime=0.65 cores=1,3,5,7
/proc/12289/task/12303/stat : 12303 (java) S 12283 12286 9001 0 -1 1077944384 770 0 0 0 32 33 0 0 20 0 15 0 405237548 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139711100152368 139712134331010 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
Current cumulated CPU time of completed processes: 0.003569 s
Current children cumulated CPU time: 2527.23 s
Current children cumulated vsize: 15025188 KiB
Current children cumulated memory: 12074364 KiB
[startup+1176.2 s]
/proc/loadavg: 3.72 3.75 3.04 6/233 12435
/proc/meminfo: memFree=9343404/32770624 swapFree=66999124/67108860
[pid=12289] ppid=12283 vsize=15025188 memory=12074364 CPUtime=2527.99 cores=1,3,5,7
/proc/12289/stat : 12289 (java) S 12283 12286 9001 0 -1 1077944320 320710 0 0 0 251787 1012 0 0 20 0 15 0 405237541 15385792512 3018591 33554432000 4194304 4196468 140726393044976 140726393027520 139712134319863 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
/proc/12289/statm: 3756297 3018591 3302 1 0 3717627 0
[pid=12289/tid=12290] ppid=12283 vsize=15025188 memory=1412 CPUtime=715 cores=1,3,5,7
/proc/12289/task/12290/stat : 12290 (java) S 12283 12286 9001 0 -1 1077944384 72979 0 0 0 71445 55 0 0 20 0 15 0 405237541 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139712106156144 139712134330069 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12291] ppid=12283 vsize=15025188 memory=3256 CPUtime=448.74 cores=1,3,5,7
/proc/12289/task/12291/stat : 12291 (java) R 12283 12286 9001 0 -1 4202560 30854 0 0 0 44638 236 0 0 20 0 15 0 405237543 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139712138562776 139712119270468 0 4 2 25189581 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12292] ppid=12283 vsize=15025188 memory=12074364 CPUtime=449.29 cores=1,3,5,7
/proc/12289/task/12292/stat : 12292 (java) R 12283 12286 9001 0 -1 4202560 30843 0 0 0 44697 232 0 0 20 0 15 0 405237543 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139711937338712 139712119270468 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12293] ppid=12283 vsize=15025188 memory=4096 CPUtime=452.01 cores=1,3,5,7
/proc/12289/task/12293/stat : 12293 (java) R 12283 12286 9001 0 -1 4202560 31960 0 0 0 44995 206 0 0 20 0 15 0 405237543 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139711936285344 139712115916874 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12294] ppid=12283 vsize=15025188 memory=1398720917958146503 CPUtime=448.51 cores=1,3,5,7
/proc/12289/task/12294/stat : 12294 (java) R 12283 12286 9001 0 -1 4202560 25463 0 0 0 44602 249 0 0 20 0 15 0 405237543 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139711935233112 139712119270468 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12295] ppid=12283 vsize=15025188 memory=1412 CPUtime=2.42 cores=1,3,5,7
/proc/12289/task/12295/stat : 12295 (java) S 12283 12286 9001 0 -1 1077944384 66971 0 0 0 238 4 0 0 20 0 15 0 405237544 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139711104361056 139712134330069 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12296] ppid=12283 vsize=15025188 memory=3540 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12296/stat : 12296 (java) S 12283 12286 9001 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 405237545 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139710722729184 139712134330069 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12297] ppid=12283 vsize=15025188 memory=1476 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12297/stat : 12297 (java) S 12283 12286 9001 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 405237545 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139710454293248 139712134330069 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12298] ppid=12283 vsize=15025188 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12298/stat : 12298 (java) S 12283 12286 9001 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 405237547 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139710079784560 139712134330069 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12299] ppid=12283 vsize=15025188 memory=288230621803970871 CPUtime=5.1 cores=1,3,5,7
/proc/12289/task/12299/stat : 12299 (java) S 12283 12286 9001 0 -1 1077944384 24479 0 0 0 507 3 0 0 20 0 15 0 405237547 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139711103310624 139712134330069 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12300] ppid=12283 vsize=15025188 memory=15262532197681705 CPUtime=4.83 cores=1,3,5,7
/proc/12289/task/12300/stat : 12300 (java) S 12283 12286 9001 0 -1 1077944384 18099 0 0 0 480 3 0 0 20 0 15 0 405237547 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139711102258080 139712134330069 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12301] ppid=12283 vsize=15025188 memory=1980 CPUtime=1.36 cores=1,3,5,7
/proc/12289/task/12301/stat : 12301 (java) S 12283 12286 9001 0 -1 1077944384 16891 0 0 0 133 3 0 0 20 0 15 0 405237547 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139711101204736 139712134330069 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12302] ppid=12283 vsize=15025188 memory=2540 CPUtime=0 cores=1,3,5,7
/proc/12289/task/12302/stat : 12302 (java) S 12283 12286 9001 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405237548 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139709581880160 139712134330069 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
[pid=12289/tid=12303] ppid=12283 vsize=15025188 memory=1760 CPUtime=0.65 cores=1,3,5,7
/proc/12289/task/12303/stat : 12303 (java) S 12283 12286 9001 0 -1 1077944384 770 0 0 0 32 33 0 0 20 0 15 0 405237548 15385792512 3018591 33554432000 4194304 4196468 140726393044976 139711100152368 139712134331010 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14147584 140726393053993 140726393054362 140726393054362 140726393057231 0
Current cumulated CPU time of completed processes: 0.003569 s
Current children cumulated CPU time: 2527.99 s
Current children cumulated vsize: 15025188 KiB
Current children cumulated memory: 12074364 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1176.26
CPU time (s): 2528.1
CPU user time (s): 2517.92
CPU system time (s): 10.1746
CPU usage (%): 214.927
Max. virtual memory (cumulated for all children) (KiB): 15139340
Max. memory (cumulated for all children) (KiB): 12075760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.92
system time used= 10.1746
maximum resident set size= 12074544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 321818
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55435
involuntary context switches= 27983
# summary of solver processes directly reported to runsolver:
# pid: 12286,12289
# total CPU time (s): 2528.1
# total CPU user time (s): 2517.92
# total CPU system time (s): 10.1746
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.78394 second user time and 12.1617 second system time
The end