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 (15220 MiB free)
memory of node 1: 16384 MiB (14532 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400804-1568677617/watcher-4400804-1568677617 -o /tmp/evaluation-result-4400804-1568677617/solver-4400804-1568677617 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568673291-18136 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1612266580 HOME/instance-4400804-1568677617.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=19548, runsolver pid=19545
Current StackSize limit: 8192 KiB
[startup+0.10014 s]*
/proc/loadavg: 2.03 1.66 1.56 3/220 19605
/proc/meminfo: memFree=30458976/32770624 swapFree=66938096/67108860
[pid=19548] ppid=19545 vsize=9972712 memory=19124 CPUtime=0.08 cores=0,2,4,6
/proc/19548/stat : 19548 (java) S 19545 19548 18105 0 -1 1077944320 4499 13073 0 0 1 0 5 2 20 0 6 0 444033092 10212057088 4781 33554432000 4194304 4196468 140729265151488 140729265134032 140418877243127 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
/proc/19548/statm: 2493178 4781 1937 1 0 2481616 0
[pid=19548/tid=19601] ppid=19545 vsize=9972712 memory=4279135703980080784 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19601/stat : 19601 (java) R 19545 19548 18105 0 -1 4202560 2288 13073 0 0 0 0 5 2 20 0 6 0 444033101 10212057088 4781 33554432000 4194304 4196468 140729265151488 140418849079888 140418862366064 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19602] ppid=19545 vsize=9972712 memory=-7522837583129502606 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19602/stat : 19602 (java) S 19545 19548 18105 0 -1 1077944384 1 13073 0 0 0 0 5 2 20 0 6 0 444033102 10212057088 4781 33554432000 4194304 4196468 140729265151488 140418881485456 140418877253333 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19603] ppid=19545 vsize=9972712 memory=140596989146752 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19603/stat : 19603 (java) S 19545 19548 18105 0 -1 1077944384 2 13073 0 0 0 0 5 2 20 0 6 0 444033102 10212057088 4781 33554432000 4194304 4196468 140729265151488 140418796304912 140418877253333 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19604] ppid=19545 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19604/stat : 19604 (java) S 19545 19548 18105 0 -1 1077944384 1 13073 0 0 0 0 5 2 20 0 6 0 444033102 10212057088 4781 33554432000 4194304 4196468 140729265151488 140418795252112 140418877253333 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19605] ppid=19545 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19605/stat : 19605 (java) S 19545 19548 18105 0 -1 1077944384 2 13073 0 0 0 0 5 2 20 0 6 0 444033102 10212057088 4781 33554432000 4194304 4196468 140729265151488 140418794199312 140418877253333 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 19124 KiB
[startup+0.210245 s]*
/proc/loadavg: 2.03 1.66 1.56 4/229 19614
/proc/meminfo: memFree=30437880/32770624 swapFree=66938096/67108860
[pid=19548] ppid=19545 vsize=10820196 memory=45660 CPUtime=0.26 cores=0,2,4,6
/proc/19548/stat : 19548 (java) S 19545 19548 18105 0 -1 1077944320 7227 13073 0 0 17 2 5 2 20 0 15 0 444033092 11079880704 11415 33554432000 4194304 4196468 140729265151488 140729265134032 140418877243127 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
/proc/19548/statm: 2705049 11415 3271 1 0 2667149 0
[pid=19548/tid=19601] ppid=19545 vsize=10820196 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/19548/task/19601/stat : 19601 (java) R 19545 19548 18105 0 -1 4202560 3730 13073 0 0 10 2 5 2 20 0 15 0 444033101 11079880704 11415 33554432000 4194304 4196468 140729265151488 140418849048352 140418877265053 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19602] ppid=19545 vsize=10820196 memory=343 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19602/stat : 19602 (java) S 19545 19548 18105 0 -1 1077944384 1 13073 0 0 0 0 5 2 20 0 15 0 444033102 11079880704 11415 33554432000 4194304 4196468 140729265151488 140418881485456 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19603] ppid=19545 vsize=10820196 memory=3762389248819082912 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19603/stat : 19603 (java) S 19545 19548 18105 0 -1 1077944384 2 13073 0 0 0 0 5 2 20 0 15 0 444033102 11079880704 11481 33554432000 4194304 4196468 140729265151488 140418796304912 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19604] ppid=19545 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19604/stat : 19604 (java) S 19545 19548 18105 0 -1 1077944384 1 13073 0 0 0 0 5 2 20 0 15 0 444033102 11079880704 11481 33554432000 4194304 4196468 140729265151488 140418795252112 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19605] ppid=19545 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19605/stat : 19605 (java) S 19545 19548 18105 0 -1 1077944384 2 13073 0 0 0 0 5 2 20 0 15 0 444033102 11079880704 11481 33554432000 4194304 4196468 140729265151488 140418794199312 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19606] ppid=19545 vsize=10820196 memory=140596989146752 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19606/stat : 19606 (java) S 19545 19548 18105 0 -1 1077944384 2 13073 0 0 0 0 5 2 20 0 15 0 444033104 11079880704 11481 33554432000 4194304 4196468 140729265151488 140418403855216 140418877254274 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19607] ppid=19545 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19607/stat : 19607 (java) S 19545 19548 18105 0 -1 1077944384 13 13073 0 0 0 0 5 2 20 0 15 0 444033104 11079880704 11481 33554432000 4194304 4196468 140729265151488 140418318591520 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19608] ppid=19545 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19608/stat : 19608 (java) S 19545 19548 18105 0 -1 1077944384 1 13073 0 0 0 0 5 2 20 0 15 0 444033104 11079880704 11481 33554432000 4194304 4196468 140729265151488 140418184373616 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19609] ppid=19545 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19609/stat : 19609 (java) S 19545 19548 18105 0 -1 1077944384 2 13073 0 0 0 0 5 2 20 0 15 0 444033107 11079880704 11481 33554432000 4194304 4196468 140729265151488 140417580394832 140418877261723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19610] ppid=19545 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19548/task/19610/stat : 19610 (java) R 19545 19548 18105 0 -1 4202560 504 13073 0 0 1 0 5 2 20 0 15 0 444033107 11079880704 11481 33554432000 4194304 4196468 140729265151488 140418402802032 140418858764527 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19611] ppid=19545 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19611/stat : 19611 (java) S 19545 19548 18105 0 -1 1077944384 163 13073 0 0 0 0 5 2 20 0 15 0 444033107 11079880704 11481 33554432000 4194304 4196468 140729265151488 140418401749232 140418877254274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19612] ppid=19545 vsize=10820196 memory=140596989146752 CPUtime=0.1 cores=0,2,4,6
/proc/19548/task/19612/stat : 19612 (java) S 19545 19548 18105 0 -1 1077944384 597 13073 0 0 3 0 5 2 20 0 15 0 444033107 11079880704 11481 33554432000 4194304 4196468 140729265151488 140418400696432 140418877254274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19613] ppid=19545 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19613/stat : 19613 (java) S 19545 19548 18105 0 -1 1077944384 3 13073 0 0 0 0 5 2 20 0 15 0 444033107 11079880704 11481 33554432000 4194304 4196468 140729265151488 140417110632672 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19614] ppid=19545 vsize=10820196 memory=140596989146752 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19614/stat : 19614 (java) S 19545 19548 18105 0 -1 1077944384 1 13073 0 0 0 0 5 2 20 0 15 0 444033108 11079880704 11481 33554432000 4194304 4196468 140729265151488 140418399644848 140418877254274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 45660 KiB
[startup+0.310788 s]*
/proc/loadavg: 2.03 1.66 1.56 6/229 19614
/proc/meminfo: memFree=30425264/32770624 swapFree=66938096/67108860
[pid=19548] ppid=19545 vsize=10820196 memory=54088 CPUtime=0.39 cores=0,2,4,6
/proc/19548/stat : 19548 (java) S 19545 19548 18105 0 -1 1077944320 10744 13073 0 0 28 4 5 2 20 0 15 0 444033092 11079880704 13522 33554432000 4194304 4196468 140729265151488 140729265134032 140418877243127 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
/proc/19548/statm: 2705049 13522 3320 1 0 2667149 0
[pid=19548/tid=19601] ppid=19545 vsize=10820196 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/19548/task/19601/stat : 19601 (java) R 19545 19548 18105 0 -1 4202560 7228 13073 0 0 18 3 5 2 20 0 15 0 444033101 11079880704 13522 33554432000 4194304 4196468 140729265151488 140418849064160 140418861323614 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19602] ppid=19545 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19602/stat : 19602 (java) S 19545 19548 18105 0 -1 1077944384 1 13073 0 0 0 0 5 2 20 0 15 0 444033102 11079880704 13522 33554432000 4194304 4196468 140729265151488 140418881485456 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19603] ppid=19545 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19603/stat : 19603 (java) S 19545 19548 18105 0 -1 1077944384 2 13073 0 0 0 0 5 2 20 0 15 0 444033102 11079880704 13522 33554432000 4194304 4196468 140729265151488 140418796304912 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19604] ppid=19545 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19604/stat : 19604 (java) S 19545 19548 18105 0 -1 1077944384 1 13073 0 0 0 0 5 2 20 0 15 0 444033102 11079880704 13522 33554432000 4194304 4196468 140729265151488 140418795252112 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19605] ppid=19545 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19605/stat : 19605 (java) S 19545 19548 18105 0 -1 1077944384 2 13073 0 0 0 0 5 2 20 0 15 0 444033102 11079880704 13522 33554432000 4194304 4196468 140729265151488 140418794199312 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19606] ppid=19545 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19606/stat : 19606 (java) S 19545 19548 18105 0 -1 1077944384 2 13073 0 0 0 0 5 2 20 0 15 0 444033104 11079880704 13522 33554432000 4194304 4196468 140729265151488 140418403855216 140418877254274 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19607] ppid=19545 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19607/stat : 19607 (java) S 19545 19548 18105 0 -1 1077944384 13 13073 0 0 0 0 5 2 20 0 15 0 444033104 11079880704 13522 33554432000 4194304 4196468 140729265151488 140418318591520 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19608] ppid=19545 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19608/stat : 19608 (java) S 19545 19548 18105 0 -1 1077944384 1 13073 0 0 0 0 5 2 20 0 15 0 444033104 11079880704 13522 33554432000 4194304 4196468 140729265151488 140418184373616 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19609] ppid=19545 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19609/stat : 19609 (java) S 19545 19548 18105 0 -1 1077944384 2 13073 0 0 0 0 5 2 20 0 15 0 444033107 11079880704 13522 33554432000 4194304 4196468 140729265151488 140417580394832 140418877261723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19610] ppid=19545 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/19548/task/19610/stat : 19610 (java) S 19545 19548 18105 0 -1 1077944384 505 13073 0 0 2 0 5 2 20 0 15 0 444033107 11079880704 13522 33554432000 4194304 4196468 140729265151488 140418402802032 140418877254274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19611] ppid=19545 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19548/task/19611/stat : 19611 (java) S 19545 19548 18105 0 -1 1077944384 164 13073 0 0 1 0 5 2 20 0 15 0 444033107 11079880704 13522 33554432000 4194304 4196468 140729265151488 140418401749232 140418877254274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19612] ppid=19545 vsize=10820196 memory=140596989146752 CPUtime=0.12 cores=0,2,4,6
/proc/19548/task/19612/stat : 19612 (java) S 19545 19548 18105 0 -1 1077944384 616 13073 0 0 5 0 5 2 20 0 15 0 444033107 11079880704 13522 33554432000 4194304 4196468 140729265151488 140418400696432 140418877254274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19613] ppid=19545 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19613/stat : 19613 (java) S 19545 19548 18105 0 -1 1077944384 3 13073 0 0 0 0 5 2 20 0 15 0 444033107 11079880704 13522 33554432000 4194304 4196468 140729265151488 140417110632672 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19614] ppid=19545 vsize=10820196 memory=140596989146752 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19614/stat : 19614 (java) S 19545 19548 18105 0 -1 1077944384 1 13073 0 0 0 0 5 2 20 0 15 0 444033108 11079880704 13587 33554432000 4194304 4196468 140729265151488 140418399644848 140418877254274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 54088 KiB
[startup+0.701175 s]
/proc/loadavg: 2.03 1.66 1.56 3/229 19614
/proc/meminfo: memFree=30410256/32770624 swapFree=66938096/67108860
[pid=19548] ppid=19545 vsize=10824364 memory=87852 CPUtime=1.1 cores=0,2,4,6
/proc/19548/stat : 19548 (java) S 19545 19548 18105 0 -1 1077944320 15115 13073 0 0 98 5 5 2 20 0 15 0 444033092 11084148736 21963 33554432000 4194304 4196468 140729265151488 140729265134032 140418877243127 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
/proc/19548/statm: 2706091 21963 3508 1 0 2668173 0
[pid=19548/tid=19601] ppid=19545 vsize=10824364 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/19548/task/19601/stat : 19601 (java) R 19545 19548 18105 0 -1 4202560 10456 13073 0 0 55 4 5 2 20 0 15 0 444033101 11084148736 21963 33554432000 4194304 4196468 140729265151488 140418849070016 140418856956572 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19602] ppid=19545 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19602/stat : 19602 (java) S 19545 19548 18105 0 -1 1077944384 1 13073 0 0 0 0 5 2 20 0 15 0 444033102 11084148736 21963 33554432000 4194304 4196468 140729265151488 140418881485456 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19603] ppid=19545 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19603/stat : 19603 (java) S 19545 19548 18105 0 -1 1077944384 2 13073 0 0 0 0 5 2 20 0 15 0 444033102 11084148736 21963 33554432000 4194304 4196468 140729265151488 140418796304912 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19604] ppid=19545 vsize=10824364 memory=140596828320560 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19604/stat : 19604 (java) S 19545 19548 18105 0 -1 1077944384 1 13073 0 0 0 0 5 2 20 0 15 0 444033102 11084148736 21963 33554432000 4194304 4196468 140729265151488 140418795252112 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19605] ppid=19545 vsize=10824364 memory=140600049402454 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19605/stat : 19605 (java) S 19545 19548 18105 0 -1 1077944384 2 13073 0 0 0 0 5 2 20 0 15 0 444033102 11084148736 21963 33554432000 4194304 4196468 140729265151488 140418794199312 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19606] ppid=19545 vsize=10824364 memory=5980 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19606/stat : 19606 (java) S 19545 19548 18105 0 -1 1077944384 5 13073 0 0 0 0 5 2 20 0 15 0 444033104 11084148736 21963 33554432000 4194304 4196468 140729265151488 140418403855216 140418877254274 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19607] ppid=19545 vsize=10824364 memory=7302135314614015842 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19607/stat : 19607 (java) S 19545 19548 18105 0 -1 1077944384 13 13073 0 0 0 0 5 2 20 0 15 0 444033104 11084148736 21963 33554432000 4194304 4196468 140729265151488 140418318591520 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19608] ppid=19545 vsize=10824364 memory=6081102367496366441 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19608/stat : 19608 (java) S 19545 19548 18105 0 -1 1077944384 1 13073 0 0 0 0 5 2 20 0 15 0 444033104 11084148736 21963 33554432000 4194304 4196468 140729265151488 140418184373616 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19609] ppid=19545 vsize=10824364 memory=12024 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19609/stat : 19609 (java) S 19545 19548 18105 0 -1 1077944384 2 13073 0 0 0 0 5 2 20 0 15 0 444033107 11084148736 21963 33554432000 4194304 4196468 140729265151488 140417580394832 140418877261723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19610] ppid=19545 vsize=10824364 memory=2124 CPUtime=0.18 cores=0,2,4,6
/proc/19548/task/19610/stat : 19610 (java) R 19545 19548 18105 0 -1 4202560 934 13073 0 0 11 0 5 2 20 0 15 0 444033107 11084148736 21963 33554432000 4194304 4196468 140729265151488 140418402802032 140418862122719 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19611] ppid=19545 vsize=10824364 memory=11668 CPUtime=0.2 cores=0,2,4,6
/proc/19548/task/19611/stat : 19611 (java) R 19545 19548 18105 0 -1 4202560 623 13073 0 0 13 0 5 2 20 0 15 0 444033107 11084148736 21963 33554432000 4194304 4196468 140729265151488 140418401749232 140418858788521 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19612] ppid=19545 vsize=10824364 memory=504 CPUtime=0.24 cores=0,2,4,6
/proc/19548/task/19612/stat : 19612 (java) S 19545 19548 18105 0 -1 1077944384 866 13073 0 0 17 0 5 2 20 0 15 0 444033107 11084148736 21963 33554432000 4194304 4196468 140729265151488 140418400696432 140418877254274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19613] ppid=19545 vsize=10824364 memory=1564 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19613/stat : 19613 (java) S 19545 19548 18105 0 -1 1077944384 3 13073 0 0 0 0 5 2 20 0 15 0 444033107 11084148736 21963 33554432000 4194304 4196468 140729265151488 140417110632672 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19614] ppid=19545 vsize=10824364 memory=924 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19614/stat : 19614 (java) S 19545 19548 18105 0 -1 1077944384 1 13073 0 0 0 0 5 2 20 0 15 0 444033108 11084148736 21963 33554432000 4194304 4196468 140729265151488 140418399644848 140418877254274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 87852 KiB
[startup+1.50117 s]
/proc/loadavg: 2.03 1.66 1.56 6/229 19614
/proc/meminfo: memFree=30329580/32770624 swapFree=66938096/67108860
[pid=19548] ppid=19545 vsize=10828536 memory=231584 CPUtime=3.66 cores=0,2,4,6
/proc/19548/stat : 19548 (java) S 19545 19548 18105 0 -1 1077944320 27181 13073 0 0 350 9 5 2 20 0 15 0 444033092 11088420864 57896 33554432000 4194304 4196468 140729265151488 140729265134032 140418877243127 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
/proc/19548/statm: 2707134 57896 3586 1 0 2669197 0
[pid=19548/tid=19601] ppid=19545 vsize=10828536 memory=71924 CPUtime=1.43 cores=0,2,4,6
/proc/19548/task/19601/stat : 19601 (java) R 19545 19548 18105 0 -1 4202560 12821 13073 0 0 130 6 5 2 20 0 15 0 444033101 11088420864 57896 33554432000 4194304 4196468 140729265151488 140418849039128 140418856789806 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19602] ppid=19545 vsize=10828536 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19602/stat : 19602 (java) S 19545 19548 18105 0 -1 1077944384 1 13073 0 0 0 0 5 2 20 0 15 0 444033102 11088420864 57896 33554432000 4194304 4196468 140729265151488 140418881485456 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19603] ppid=19545 vsize=10828536 memory=281193656672416 CPUtime=0.08 cores=0,2,4,6
/proc/19548/task/19603/stat : 19603 (java) S 19545 19548 18105 0 -1 1077944384 83 13073 0 0 1 0 5 2 20 0 15 0 444033102 11088420864 57896 33554432000 4194304 4196468 140729265151488 140418796304912 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19604] ppid=19545 vsize=10828536 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19604/stat : 19604 (java) S 19545 19548 18105 0 -1 1077944384 310 13073 0 0 0 0 5 2 20 0 15 0 444033102 11088420864 57896 33554432000 4194304 4196468 140729265151488 140418795252112 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19605] ppid=19545 vsize=10828536 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19605/stat : 19605 (java) S 19545 19548 18105 0 -1 1077944384 94 13073 0 0 0 0 5 2 20 0 15 0 444033102 11088420864 57896 33554432000 4194304 4196468 140729265151488 140418794199312 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19606] ppid=19545 vsize=10828536 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19606/stat : 19606 (java) S 19545 19548 18105 0 -1 1077944384 104 13073 0 0 0 0 5 2 20 0 15 0 444033104 11088420864 57896 33554432000 4194304 4196468 140729265151488 140418403855216 140418877254274 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19607] ppid=19545 vsize=10828536 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19607/stat : 19607 (java) S 19545 19548 18105 0 -1 1077944384 13 13073 0 0 0 0 5 2 20 0 15 0 444033104 11088420864 57896 33554432000 4194304 4196468 140729265151488 140418318591520 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19608] ppid=19545 vsize=10828536 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19608/stat : 19608 (java) S 19545 19548 18105 0 -1 1077944384 1 13073 0 0 0 0 5 2 20 0 15 0 444033104 11088420864 57896 33554432000 4194304 4196468 140729265151488 140418184373632 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19609] ppid=19545 vsize=10828536 memory=-2746958450906831424 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19609/stat : 19609 (java) S 19545 19548 18105 0 -1 1077944384 2 13073 0 0 0 0 5 2 20 0 15 0 444033107 11088420864 57900 33554432000 4194304 4196468 140729265151488 140417580394832 140418877261723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19610] ppid=19545 vsize=10828536 memory=0 CPUtime=0.92 cores=0,2,4,6
/proc/19548/task/19610/stat : 19610 (java) R 19545 19548 18105 0 -1 4202560 4647 13073 0 0 85 0 5 2 20 0 15 0 444033107 11088420864 57900 33554432000 4194304 4196468 140729265151488 140418402787344 140418869960090 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19611] ppid=19545 vsize=10828536 memory=10 CPUtime=0.92 cores=0,2,4,6
/proc/19548/task/19611/stat : 19611 (java) R 19545 19548 18105 0 -1 4202560 4914 13073 0 0 85 0 5 2 20 0 15 0 444033107 11088420864 57900 33554432000 4194304 4196468 140729265151488 140418401730800 140418862368160 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19612] ppid=19545 vsize=10828536 memory=6791534058613427641 CPUtime=0.5 cores=0,2,4,6
/proc/19548/task/19612/stat : 19612 (java) S 19545 19548 18105 0 -1 1077944384 1982 13073 0 0 43 0 5 2 20 0 15 0 444033107 11088420864 57900 33554432000 4194304 4196468 140729265151488 140418400696432 140418877254274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19613] ppid=19545 vsize=10828536 memory=4638778398332698720 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19613/stat : 19613 (java) S 19545 19548 18105 0 -1 1077944384 3 13073 0 0 0 0 5 2 20 0 15 0 444033107 11088420864 57900 33554432000 4194304 4196468 140729265151488 140417110632672 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19614] ppid=19545 vsize=10828536 memory=281193656916864 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19614/stat : 19614 (java) S 19545 19548 18105 0 -1 1077944384 1 13073 0 0 0 0 5 2 20 0 15 0 444033108 11088420864 57900 33554432000 4194304 4196468 140729265151488 140418399644848 140418877254274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
Current children cumulated CPU time: 3.66 s
Current children cumulated vsize: 10828536 KiB
################
# More data... #
################
/proc/19548/task/19601/stat : 19601 (java) R 19545 19548 18105 0 -1 4202560 99180 13073 0 0 236091 45 5 2 20 0 15 0 444033101 11107315712 102520 33554432000 4194304 4196468 140729265151488 140418849078560 140418488840976 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19602] ppid=19545 vsize=10846988 memory=399740 CPUtime=12.29 cores=0,2,4,6
/proc/19548/task/19602/stat : 19602 (java) S 19545 19548 18105 0 -1 1077944384 17255 13073 0 0 1172 50 5 2 20 0 15 0 444033102 11107315712 102520 33554432000 4194304 4196468 140729265151488 140418881485456 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19603] ppid=19545 vsize=10846988 memory=415024 CPUtime=12.24 cores=0,2,4,6
/proc/19548/task/19603/stat : 19603 (java) S 19545 19548 18105 0 -1 1077944384 19940 13073 0 0 1166 51 5 2 20 0 15 0 444033102 11107315712 102520 33554432000 4194304 4196468 140729265151488 140418796304912 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19604] ppid=19545 vsize=10846988 memory=410592 CPUtime=12.3 cores=0,2,4,6
/proc/19548/task/19604/stat : 19604 (java) S 19545 19548 18105 0 -1 1077944384 19201 13073 0 0 1176 47 5 2 20 0 15 0 444033102 11107315712 102520 33554432000 4194304 4196468 140729265151488 140418795252112 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19605] ppid=19545 vsize=10846988 memory=410592 CPUtime=12.19 cores=0,2,4,6
/proc/19548/task/19605/stat : 19605 (java) S 19545 19548 18105 0 -1 1077944384 16506 13073 0 0 1164 48 5 2 20 0 15 0 444033102 11107315712 102520 33554432000 4194304 4196468 140729265151488 140418794199312 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19606] ppid=19545 vsize=10846988 memory=3620 CPUtime=5.84 cores=0,2,4,6
/proc/19548/task/19606/stat : 19606 (java) S 19545 19548 18105 0 -1 1077944384 10403 13073 0 0 525 52 5 2 20 0 15 0 444033104 11107315712 102520 33554432000 4194304 4196468 140729265151488 140418403855216 140418877254274 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19607] ppid=19545 vsize=10846988 memory=32736 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19607/stat : 19607 (java) S 19545 19548 18105 0 -1 1077944384 15 13073 0 0 0 0 5 2 20 0 15 0 444033104 11107315712 102520 33554432000 4194304 4196468 140729265151488 140418318591584 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19608] ppid=19545 vsize=10846988 memory=410592 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19608/stat : 19608 (java) S 19545 19548 18105 0 -1 1077944384 1 13073 0 0 0 0 5 2 20 0 15 0 444033104 11107315712 102520 33554432000 4194304 4196468 140729265151488 140418184373632 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19609] ppid=19545 vsize=10846988 memory=1548 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19609/stat : 19609 (java) S 19545 19548 18105 0 -1 1077944384 2 13073 0 0 0 0 5 2 20 0 15 0 444033107 11107315712 102520 33554432000 4194304 4196468 140729265151488 140417580394832 140418877261723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19610] ppid=19545 vsize=10846988 memory=3620 CPUtime=7.78 cores=0,2,4,6
/proc/19548/task/19610/stat : 19610 (java) S 19545 19548 18105 0 -1 1077944384 20077 13073 0 0 769 2 5 2 20 0 15 0 444033107 11107315712 102520 33554432000 4194304 4196468 140729265151488 140418402802032 140418877254274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19611] ppid=19545 vsize=10846988 memory=32736 CPUtime=8.59 cores=0,2,4,6
/proc/19548/task/19611/stat : 19611 (java) S 19545 19548 18105 0 -1 1077944384 23041 13073 0 0 846 6 5 2 20 0 15 0 444033107 11107315712 102520 33554432000 4194304 4196468 140729265151488 140418401749232 140418877254274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19612] ppid=19545 vsize=10846988 memory=1440 CPUtime=2.45 cores=0,2,4,6
/proc/19548/task/19612/stat : 19612 (java) S 19545 19548 18105 0 -1 1077944384 12589 13073 0 0 234 4 5 2 20 0 15 0 444033107 11107315712 102520 33554432000 4194304 4196468 140729265151488 140418400696432 140418877254274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19613] ppid=19545 vsize=10846988 memory=812 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19613/stat : 19613 (java) S 19545 19548 18105 0 -1 1077944384 3 13073 0 0 0 0 5 2 20 0 15 0 444033107 11107315712 102520 33554432000 4194304 4196468 140729265151488 140417110632672 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19614] ppid=19545 vsize=10846988 memory=395632 CPUtime=1.24 cores=0,2,4,6
/proc/19548/task/19614/stat : 19614 (java) S 19545 19548 18105 0 -1 1077944384 1078 13073 0 0 57 60 5 2 20 0 15 0 444033108 11107315712 102520 33554432000 4194304 4196468 140729265151488 140418399644848 140418877254274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
Current children cumulated CPU time: 2435.81 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 410080 KiB
[startup+2442.3 s]
/proc/loadavg: 1.63 1.40 1.40 3/227 19993
/proc/meminfo: memFree=30134736/32770624 swapFree=66938116/67108860
[pid=19548] ppid=19545 vsize=10846988 memory=399184 CPUtime=2496.79 cores=0,2,4,6
/proc/19548/stat : 19548 (java) S 19545 19548 18105 0 -1 1077944320 242225 13073 0 0 249333 339 5 2 20 0 15 0 444033092 11107315712 99796 33554432000 4194304 4196468 140729265151488 140729265134032 140418877243127 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
/proc/19548/statm: 2711747 99796 3637 1 0 2673805 0
[pid=19548/tid=19601] ppid=19545 vsize=10846988 memory=399184 CPUtime=2420.85 cores=0,2,4,6
/proc/19548/task/19601/stat : 19601 (java) R 19545 19548 18105 0 -1 4202560 99454 13073 0 0 242032 46 5 2 20 0 15 0 444033101 11107315712 99796 33554432000 4194304 4196468 140729265151488 140418849078976 140418488962362 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19602] ppid=19545 vsize=10846988 memory=399184 CPUtime=12.63 cores=0,2,4,6
/proc/19548/task/19602/stat : 19602 (java) S 19545 19548 18105 0 -1 1077944384 17395 13073 0 0 1205 51 5 2 20 0 15 0 444033102 11107315712 99796 33554432000 4194304 4196468 140729265151488 140418881485456 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19603] ppid=19545 vsize=10846988 memory=399184 CPUtime=12.58 cores=0,2,4,6
/proc/19548/task/19603/stat : 19603 (java) S 19545 19548 18105 0 -1 1077944384 20009 13073 0 0 1199 52 5 2 20 0 15 0 444033102 11107315712 99796 33554432000 4194304 4196468 140729265151488 140418796304912 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19604] ppid=19545 vsize=10846988 memory=399184 CPUtime=12.64 cores=0,2,4,6
/proc/19548/task/19604/stat : 19604 (java) S 19545 19548 18105 0 -1 1077944384 19231 13073 0 0 1209 48 5 2 20 0 15 0 444033102 11107315712 99796 33554432000 4194304 4196468 140729265151488 140418795252112 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19605] ppid=19545 vsize=10846988 memory=399184 CPUtime=12.53 cores=0,2,4,6
/proc/19548/task/19605/stat : 19605 (java) S 19545 19548 18105 0 -1 1077944384 16516 13073 0 0 1197 49 5 2 20 0 15 0 444033102 11107315712 99796 33554432000 4194304 4196468 140729265151488 140418794199312 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19606] ppid=19545 vsize=10846988 memory=399184 CPUtime=6 cores=0,2,4,6
/proc/19548/task/19606/stat : 19606 (java) S 19545 19548 18105 0 -1 1077944384 10592 13073 0 0 540 53 5 2 20 0 15 0 444033104 11107315712 99796 33554432000 4194304 4196468 140729265151488 140418403855216 140418877254274 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19607] ppid=19545 vsize=10846988 memory=399184 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19607/stat : 19607 (java) S 19545 19548 18105 0 -1 1077944384 15 13073 0 0 0 0 5 2 20 0 15 0 444033104 11107315712 99796 33554432000 4194304 4196468 140729265151488 140418318591584 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19608] ppid=19545 vsize=10846988 memory=399184 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19608/stat : 19608 (java) S 19545 19548 18105 0 -1 1077944384 1 13073 0 0 0 0 5 2 20 0 15 0 444033104 11107315712 99796 33554432000 4194304 4196468 140729265151488 140418184373632 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19609] ppid=19545 vsize=10846988 memory=1056 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19609/stat : 19609 (java) S 19545 19548 18105 0 -1 1077944384 2 13073 0 0 0 0 5 2 20 0 15 0 444033107 11107315712 99796 33554432000 4194304 4196468 140729265151488 140417580394832 140418877261723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19610] ppid=19545 vsize=10846988 memory=4872558044660077418 CPUtime=7.78 cores=0,2,4,6
/proc/19548/task/19610/stat : 19610 (java) S 19545 19548 18105 0 -1 1077944384 20077 13073 0 0 769 2 5 2 20 0 15 0 444033107 11107315712 99796 33554432000 4194304 4196468 140729265151488 140418402802032 140418877254274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19611] ppid=19545 vsize=10846988 memory=916 CPUtime=8.59 cores=0,2,4,6
/proc/19548/task/19611/stat : 19611 (java) S 19545 19548 18105 0 -1 1077944384 23043 13073 0 0 846 6 5 2 20 0 15 0 444033107 11107315712 99796 33554432000 4194304 4196468 140729265151488 140418401749232 140418877254274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19612] ppid=19545 vsize=10846988 memory=399184 CPUtime=2.45 cores=0,2,4,6
/proc/19548/task/19612/stat : 19612 (java) S 19545 19548 18105 0 -1 1077944384 12589 13073 0 0 234 4 5 2 20 0 15 0 444033107 11107315712 99796 33554432000 4194304 4196468 140729265151488 140418400696432 140418877254274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19613] ppid=19545 vsize=10846988 memory=399184 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19613/stat : 19613 (java) S 19545 19548 18105 0 -1 1077944384 3 13073 0 0 0 0 5 2 20 0 15 0 444033107 11107315712 99796 33554432000 4194304 4196468 140729265151488 140417110632672 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19614] ppid=19545 vsize=10846988 memory=399184 CPUtime=1.26 cores=0,2,4,6
/proc/19548/task/19614/stat : 19614 (java) S 19545 19548 18105 0 -1 1077944384 1093 13073 0 0 59 60 5 2 20 0 15 0 444033108 11107315712 99796 33554432000 4194304 4196468 140729265151488 140418399644848 140418877254274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
Current children cumulated CPU time: 2496.79 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 399184 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2465.11 s]
/proc/loadavg: 1.68 1.43 1.41 3/227 19994
/proc/meminfo: memFree=30092792/32770624 swapFree=66938116/67108860
[pid=19548] ppid=19545 vsize=10846988 memory=441024 CPUtime=2520.06 cores=0,2,4,6
/proc/19548/stat : 19548 (java) S 19545 19548 18105 0 -1 1077944320 248530 13073 0 0 251653 346 5 2 20 0 15 0 444033092 11107315712 110256 33554432000 4194304 4196468 140729265151488 140729265134032 140418877243127 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
/proc/19548/statm: 2711747 110256 3637 1 0 2673805 0
[pid=19548/tid=19601] ppid=19545 vsize=10846988 memory=447840 CPUtime=2443.42 cores=0,2,4,6
/proc/19548/task/19601/stat : 19601 (java) R 19545 19548 18105 0 -1 4202560 101186 13073 0 0 244289 46 5 2 20 0 15 0 444033101 11107315712 110256 33554432000 4194304 4196468 140729265151488 140418849078864 140418488840859 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19602] ppid=19545 vsize=10846988 memory=460768 CPUtime=12.78 cores=0,2,4,6
/proc/19548/task/19602/stat : 19602 (java) S 19545 19548 18105 0 -1 1077944384 18534 13073 0 0 1219 52 5 2 20 0 15 0 444033102 11107315712 110256 33554432000 4194304 4196468 140729265151488 140418881485456 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19603] ppid=19545 vsize=10846988 memory=451284 CPUtime=12.74 cores=0,2,4,6
/proc/19548/task/19603/stat : 19603 (java) S 19545 19548 18105 0 -1 1077944384 21164 13073 0 0 1213 54 5 2 20 0 15 0 444033102 11107315712 110256 33554432000 4194304 4196468 140729265151488 140418796304912 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19604] ppid=19545 vsize=10846988 memory=453848 CPUtime=12.79 cores=0,2,4,6
/proc/19548/task/19604/stat : 19604 (java) S 19545 19548 18105 0 -1 1077944384 20343 13073 0 0 1223 49 5 2 20 0 15 0 444033102 11107315712 110256 33554432000 4194304 4196468 140729265151488 140418795252112 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19605] ppid=19545 vsize=10846988 memory=0 CPUtime=12.69 cores=0,2,4,6
/proc/19548/task/19605/stat : 19605 (java) S 19545 19548 18105 0 -1 1077944384 17618 13073 0 0 1212 50 5 2 20 0 15 0 444033102 11107315712 110256 33554432000 4194304 4196468 140729265151488 140418794199312 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19606] ppid=19545 vsize=10846988 memory=444100 CPUtime=6.06 cores=0,2,4,6
/proc/19548/task/19606/stat : 19606 (java) S 19545 19548 18105 0 -1 1077944384 10647 13073 0 0 545 54 5 2 20 0 15 0 444033104 11107315712 110256 33554432000 4194304 4196468 140729265151488 140418403855216 140418877254274 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19607] ppid=19545 vsize=10846988 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19607/stat : 19607 (java) S 19545 19548 18105 0 -1 1077944384 15 13073 0 0 0 0 5 2 20 0 15 0 444033104 11107315712 110256 33554432000 4194304 4196468 140729265151488 140418318591584 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19608] ppid=19545 vsize=10846988 memory=441024 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19608/stat : 19608 (java) S 19545 19548 18105 0 -1 1077944384 1 13073 0 0 0 0 5 2 20 0 15 0 444033104 11107315712 110256 33554432000 4194304 4196468 140729265151488 140418184373632 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19609] ppid=19545 vsize=10846988 memory=168422847584556 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19609/stat : 19609 (java) S 19545 19548 18105 0 -1 1077944384 2 13073 0 0 0 0 5 2 20 0 15 0 444033107 11107315712 110256 33554432000 4194304 4196468 140729265151488 140417580394832 140418877261723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19610] ppid=19545 vsize=10846988 memory=444100 CPUtime=7.78 cores=0,2,4,6
/proc/19548/task/19610/stat : 19610 (java) S 19545 19548 18105 0 -1 1077944384 20079 13073 0 0 769 2 5 2 20 0 15 0 444033107 11107315712 110256 33554432000 4194304 4196468 140729265151488 140418402802032 140418877254274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19611] ppid=19545 vsize=10846988 memory=444100 CPUtime=8.59 cores=0,2,4,6
/proc/19548/task/19611/stat : 19611 (java) S 19545 19548 18105 0 -1 1077944384 23045 13073 0 0 846 6 5 2 20 0 15 0 444033107 11107315712 110256 33554432000 4194304 4196468 140729265151488 140418401749232 140418877254274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19612] ppid=19545 vsize=10846988 memory=441536 CPUtime=2.45 cores=0,2,4,6
/proc/19548/task/19612/stat : 19612 (java) S 19545 19548 18105 0 -1 1077944384 12591 13073 0 0 234 4 5 2 20 0 15 0 444033107 11107315712 110256 33554432000 4194304 4196468 140729265151488 140418400696432 140418877254274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19613] ppid=19545 vsize=10846988 memory=6656426216303648864 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19613/stat : 19613 (java) S 19545 19548 18105 0 -1 1077944384 3 13073 0 0 0 0 5 2 20 0 15 0 444033107 11107315712 110256 33554432000 4194304 4196468 140729265151488 140417110632672 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19614] ppid=19545 vsize=10846988 memory=1047980 CPUtime=1.27 cores=0,2,4,6
/proc/19548/task/19614/stat : 19614 (java) S 19545 19548 18105 0 -1 1077944384 1097 13073 0 0 59 61 5 2 20 0 15 0 444033108 11107315712 110256 33554432000 4194304 4196468 140729265151488 140418399644848 140418877254274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 441024 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2465.13 s]
# the end of solver process 19548 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.61 s, system=3.49903 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2465.11 s]
/proc/loadavg: 1.68 1.43 1.41 3/227 19994
/proc/meminfo: memFree=30092792/32770624 swapFree=66938116/67108860
[pid=19548] ppid=19545 vsize=10846988 memory=441024 CPUtime=2520.06 cores=0,2,4,6
/proc/19548/stat : 19548 (java) S 19545 19548 18105 0 -1 1077944320 248530 13073 0 0 251653 346 5 2 20 0 15 0 444033092 11107315712 110256 33554432000 4194304 4196468 140729265151488 140729265134032 140418877243127 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
/proc/19548/statm: 2711747 110256 3637 1 0 2673805 0
[pid=19548/tid=19601] ppid=19545 vsize=10846988 memory=447840 CPUtime=2443.42 cores=0,2,4,6
/proc/19548/task/19601/stat : 19601 (java) R 19545 19548 18105 0 -1 4202560 101186 13073 0 0 244289 46 5 2 20 0 15 0 444033101 11107315712 110256 33554432000 4194304 4196468 140729265151488 140418849078864 140418488840859 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19602] ppid=19545 vsize=10846988 memory=460768 CPUtime=12.78 cores=0,2,4,6
/proc/19548/task/19602/stat : 19602 (java) S 19545 19548 18105 0 -1 1077944384 18534 13073 0 0 1219 52 5 2 20 0 15 0 444033102 11107315712 110256 33554432000 4194304 4196468 140729265151488 140418881485456 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19603] ppid=19545 vsize=10846988 memory=451284 CPUtime=12.74 cores=0,2,4,6
/proc/19548/task/19603/stat : 19603 (java) S 19545 19548 18105 0 -1 1077944384 21164 13073 0 0 1213 54 5 2 20 0 15 0 444033102 11107315712 110256 33554432000 4194304 4196468 140729265151488 140418796304912 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19604] ppid=19545 vsize=10846988 memory=453848 CPUtime=12.79 cores=0,2,4,6
/proc/19548/task/19604/stat : 19604 (java) S 19545 19548 18105 0 -1 1077944384 20343 13073 0 0 1223 49 5 2 20 0 15 0 444033102 11107315712 110256 33554432000 4194304 4196468 140729265151488 140418795252112 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19605] ppid=19545 vsize=10846988 memory=0 CPUtime=12.69 cores=0,2,4,6
/proc/19548/task/19605/stat : 19605 (java) S 19545 19548 18105 0 -1 1077944384 17618 13073 0 0 1212 50 5 2 20 0 15 0 444033102 11107315712 110256 33554432000 4194304 4196468 140729265151488 140418794199312 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19606] ppid=19545 vsize=10846988 memory=444100 CPUtime=6.06 cores=0,2,4,6
/proc/19548/task/19606/stat : 19606 (java) S 19545 19548 18105 0 -1 1077944384 10647 13073 0 0 545 54 5 2 20 0 15 0 444033104 11107315712 110256 33554432000 4194304 4196468 140729265151488 140418403855216 140418877254274 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19607] ppid=19545 vsize=10846988 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19607/stat : 19607 (java) S 19545 19548 18105 0 -1 1077944384 15 13073 0 0 0 0 5 2 20 0 15 0 444033104 11107315712 110256 33554432000 4194304 4196468 140729265151488 140418318591584 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19608] ppid=19545 vsize=10846988 memory=441024 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19608/stat : 19608 (java) S 19545 19548 18105 0 -1 1077944384 1 13073 0 0 0 0 5 2 20 0 15 0 444033104 11107315712 110256 33554432000 4194304 4196468 140729265151488 140418184373632 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19609] ppid=19545 vsize=10846988 memory=168422847584556 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19609/stat : 19609 (java) S 19545 19548 18105 0 -1 1077944384 2 13073 0 0 0 0 5 2 20 0 15 0 444033107 11107315712 110256 33554432000 4194304 4196468 140729265151488 140417580394832 140418877261723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19610] ppid=19545 vsize=10846988 memory=444100 CPUtime=7.78 cores=0,2,4,6
/proc/19548/task/19610/stat : 19610 (java) S 19545 19548 18105 0 -1 1077944384 20079 13073 0 0 769 2 5 2 20 0 15 0 444033107 11107315712 110256 33554432000 4194304 4196468 140729265151488 140418402802032 140418877254274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19611] ppid=19545 vsize=10846988 memory=444100 CPUtime=8.59 cores=0,2,4,6
/proc/19548/task/19611/stat : 19611 (java) S 19545 19548 18105 0 -1 1077944384 23045 13073 0 0 846 6 5 2 20 0 15 0 444033107 11107315712 110256 33554432000 4194304 4196468 140729265151488 140418401749232 140418877254274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19612] ppid=19545 vsize=10846988 memory=441536 CPUtime=2.45 cores=0,2,4,6
/proc/19548/task/19612/stat : 19612 (java) S 19545 19548 18105 0 -1 1077944384 12591 13073 0 0 234 4 5 2 20 0 15 0 444033107 11107315712 110256 33554432000 4194304 4196468 140729265151488 140418400696432 140418877254274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19613] ppid=19545 vsize=10846988 memory=6656426216303648864 CPUtime=0.07 cores=0,2,4,6
/proc/19548/task/19613/stat : 19613 (java) S 19545 19548 18105 0 -1 1077944384 3 13073 0 0 0 0 5 2 20 0 15 0 444033107 11107315712 110256 33554432000 4194304 4196468 140729265151488 140417110632672 140418877253333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
[pid=19548/tid=19614] ppid=19545 vsize=10846988 memory=1047980 CPUtime=1.27 cores=0,2,4,6
/proc/19548/task/19614/stat : 19614 (java) S 19545 19548 18105 0 -1 1077944384 1097 13073 0 0 59 61 5 2 20 0 15 0 444033108 11107315712 110256 33554432000 4194304 4196468 140729265151488 140418399644848 140418877254274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33853440 140729265158895 140729265161413 140729265161413 140729265164239 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 441024 KiB
Child status: 143
Real time (s): 2465.13
CPU time (s): 2520.11
CPU user time (s): 2516.61
CPU system time (s): 3.49903
CPU usage (%): 102.23
Max. virtual memory (cumulated for all children) (KiB): 10846988
Max. memory (cumulated for all children) (KiB): 1584648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.61
system time used= 3.49903
maximum resident set size= 1588744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 262599
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 180853
involuntary context switches= 9207
# summary of solver processes directly reported to runsolver:
# pid: 19548
# total CPU time (s): 2520.11
# total CPU user time (s): 2516.61
# total CPU system time (s): 3.49903
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.0408 second user time and 23.4631 second system time
The end