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 (10661 MiB free)
memory of node 1: 16384 MiB (11928 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308038-1534290730/watcher-4308038-1534290730 -o /tmp/evaluation-result-4308038-1534290730/solver-4308038-1534290730 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534258226-10045 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 176864805 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308038-1534290730.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=13426, runsolver pid=13423
[startup+0.10006 s]*
/proc/loadavg: 1.85 1.87 1.92 4/216 13441
/proc/meminfo: memFree=23116416/32770624 swapFree=67059124/67108860
[pid=13426] ppid=13423 vsize=14082736 memory=29632 CPUtime=0.11 cores=0,2,4,6
/proc/13426/stat : 13426 (java) S 13423 13426 10014 0 -1 1077944320 6838 0 0 0 10 1 0 0 20 0 15 0 246636181 14420721664 7408 33554432000 4194304 4196468 140723713654032 140723713636576 139807790657271 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
/proc/13426/statm: 3520684 7408 3150 1 0 3482761 0
[pid=13426/tid=13428] ppid=13423 vsize=14082736 memory=-8125511277465604733 CPUtime=0.09 cores=0,2,4,6
/proc/13426/task/13428/stat : 13428 (java) R 13423 13426 10014 0 -1 4202560 4857 0 0 0 8 1 0 0 20 0 15 0 246636181 14420721664 7408 33554432000 4194304 4196468 140723713654032 139807794896000 139807774737788 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13429] ppid=13423 vsize=14082736 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13429/stat : 13429 (java) S 13423 13426 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246636182 14420721664 7408 33554432000 4194304 4196468 140723713654032 139807386606480 139807790667477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13430] ppid=13423 vsize=14082736 memory=139764646786688 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13430/stat : 13430 (java) S 13423 13426 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246636182 14420721664 7408 33554432000 4194304 4196468 140723713654032 139807385553680 139807790667477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13431] ppid=13423 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13431/stat : 13431 (java) S 13423 13426 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246636182 14420721664 7408 33554432000 4194304 4196468 140723713654032 139807384501392 139807790667477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13432] ppid=13423 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13432/stat : 13432 (java) S 13423 13426 10014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246636182 14420721664 7408 33554432000 4194304 4196468 140723713654032 139807383448592 139807790667477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13433] ppid=13423 vsize=14082736 memory=139764646786688 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13433/stat : 13433 (java) S 13423 13426 10014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246636184 14420721664 7408 33554432000 4194304 4196468 140723713654032 139806972446832 139807790668418 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13434] ppid=13423 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13434/stat : 13434 (java) S 13423 13426 10014 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246636184 14420721664 7408 33554432000 4194304 4196468 140723713654032 139806971392800 139807790667477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13435] ppid=13423 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13435/stat : 13435 (java) S 13423 13426 10014 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246636184 14420721664 7408 33554432000 4194304 4196468 140723713654032 139806970340464 139807790667477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13436] ppid=13423 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13436/stat : 13436 (java) S 13423 13426 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246636187 14420721664 7408 33554432000 4194304 4196468 140723713654032 139806969288784 139807790675867 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13437] ppid=13423 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13437/stat : 13437 (java) S 13423 13426 10014 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 246636187 14420721664 7408 33554432000 4194304 4196468 140723713654032 139806968236656 139807790668418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13438] ppid=13423 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13438/stat : 13438 (java) R 13423 13426 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246636187 14420721664 7408 33554432000 4194304 4196468 140723713654032 139806967183856 139807790668418 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13439] ppid=13423 vsize=14082736 memory=139764646786688 CPUtime=0.01 cores=0,2,4,6
/proc/13426/task/13439/stat : 13439 (java) S 13423 13426 10014 0 -1 1077944384 299 0 0 0 1 0 0 0 20 0 15 0 246636187 14420721664 7408 33554432000 4194304 4196468 140723713654032 139806966131568 139807790668418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13440] ppid=13423 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13440/stat : 13440 (java) S 13423 13426 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246636187 14420721664 7408 33554432000 4194304 4196468 140723713654032 139806965079008 139807790667477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13441] ppid=13423 vsize=14082736 memory=139764646786688 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13441/stat : 13441 (java) S 13423 13426 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246636187 14420721664 7408 33554432000 4194304 4196468 140723713654032 139806964025776 139807790668418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 29632 KiB
[startup+0.213771 s]*
/proc/loadavg: 1.85 1.87 1.92 4/216 13441
/proc/meminfo: memFree=23100912/32770624 swapFree=67059124/67108860
[pid=13426] ppid=13423 vsize=14082736 memory=45964 CPUtime=0.31 cores=0,2,4,6
/proc/13426/stat : 13426 (java) S 13423 13426 10014 0 -1 1077944320 10566 0 0 0 28 3 0 0 20 0 15 0 246636181 14420721664 11491 33554432000 4194304 4196468 140723713654032 140723713636576 139807790657271 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
/proc/13426/statm: 3520684 11491 3373 1 0 3482761 0
[pid=13426/tid=13428] ppid=13423 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/13426/task/13428/stat : 13428 (java) R 13423 13426 10014 0 -1 4202560 8201 0 0 0 18 2 0 0 20 0 15 0 246636181 14420721664 11491 33554432000 4194304 4196468 140723713654032 139807794883072 139807782894398 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13429] ppid=13423 vsize=14082736 memory=365 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13429/stat : 13429 (java) S 13423 13426 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246636182 14420721664 11491 33554432000 4194304 4196468 140723713654032 139807386606480 139807790667477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13430] ppid=13423 vsize=14082736 memory=139764648112532 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13430/stat : 13430 (java) S 13423 13426 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246636182 14420721664 11491 33554432000 4194304 4196468 140723713654032 139807385553680 139807790667477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13431] ppid=13423 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13431/stat : 13431 (java) S 13423 13426 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246636182 14420721664 11491 33554432000 4194304 4196468 140723713654032 139807384501392 139807790667477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13432] ppid=13423 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13432/stat : 13432 (java) S 13423 13426 10014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246636182 14420721664 11491 33554432000 4194304 4196468 140723713654032 139807383448592 139807790667477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13433] ppid=13423 vsize=14082736 memory=139764646786688 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13433/stat : 13433 (java) S 13423 13426 10014 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246636184 14420721664 11491 33554432000 4194304 4196468 140723713654032 139806972446832 139807790668418 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13434] ppid=13423 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13434/stat : 13434 (java) S 13423 13426 10014 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246636184 14420721664 11491 33554432000 4194304 4196468 140723713654032 139806971392800 139807790667477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13435] ppid=13423 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13435/stat : 13435 (java) S 13423 13426 10014 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246636184 14420721664 11491 33554432000 4194304 4196468 140723713654032 139806970340464 139807790667477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13436] ppid=13423 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13436/stat : 13436 (java) S 13423 13426 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246636187 14420721664 11491 33554432000 4194304 4196468 140723713654032 139806969288784 139807790675867 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13437] ppid=13423 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/13426/task/13437/stat : 13437 (java) R 13423 13426 10014 0 -1 4202560 521 0 0 0 2 0 0 0 20 0 15 0 246636187 14420721664 11491 33554432000 4194304 4196468 140723713654032 139806968217672 139807768596256 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13438] ppid=13423 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13438/stat : 13438 (java) R 13423 13426 10014 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 246636187 14420721664 11491 33554432000 4194304 4196468 140723713654032 139806967183856 139807790668418 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13439] ppid=13423 vsize=14082736 memory=139764646786688 CPUtime=0.06 cores=0,2,4,6
/proc/13426/task/13439/stat : 13439 (java) R 13423 13426 10014 0 -1 4202560 402 0 0 0 6 0 0 0 20 0 15 0 246636187 14420721664 11491 33554432000 4194304 4196468 140723713654032 139806966131568 139807768824733 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13440] ppid=13423 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13440/stat : 13440 (java) S 13423 13426 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246636187 14420721664 11491 33554432000 4194304 4196468 140723713654032 139806965079008 139807790667477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13441] ppid=13423 vsize=14082736 memory=139764646786688 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13441/stat : 13441 (java) S 13423 13426 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246636187 14420721664 11491 33554432000 4194304 4196468 140723713654032 139806964025776 139807790668418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 45964 KiB
[startup+0.310522 s]*
/proc/loadavg: 1.85 1.87 1.92 3/216 13441
/proc/meminfo: memFree=23097328/32770624 swapFree=67059124/67108860
[pid=13426] ppid=13423 vsize=14082736 memory=49380 CPUtime=0.44 cores=0,2,4,6
/proc/13426/stat : 13426 (java) S 13423 13426 10014 0 -1 1077944320 11016 0 0 0 41 3 0 0 20 0 15 0 246636181 14420721664 12345 33554432000 4194304 4196468 140723713654032 140723713636576 139807790657271 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
/proc/13426/statm: 3520684 12345 3418 1 0 3482761 0
[pid=13426/tid=13428] ppid=13423 vsize=14082736 memory=7022364594140610616 CPUtime=0.29 cores=0,2,4,6
/proc/13426/task/13428/stat : 13428 (java) R 13423 13426 10014 0 -1 4202560 8531 0 0 0 27 2 0 0 20 0 15 0 246636181 14420721664 12345 33554432000 4194304 4196468 140723713654032 139807794846544 139807772220835 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13429] ppid=13423 vsize=14082736 memory=4294979972 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13429/stat : 13429 (java) S 13423 13426 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246636182 14420721664 12345 33554432000 4194304 4196468 140723713654032 139807386606480 139807790667477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13430] ppid=13423 vsize=14082736 memory=139764648112463 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13430/stat : 13430 (java) S 13423 13426 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246636182 14420721664 12345 33554432000 4194304 4196468 140723713654032 139807385553680 139807790667477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13431] ppid=13423 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13431/stat : 13431 (java) S 13423 13426 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246636182 14420721664 12345 33554432000 4194304 4196468 140723713654032 139807384501392 139807790667477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13432] ppid=13423 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13432/stat : 13432 (java) S 13423 13426 10014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246636182 14420721664 12345 33554432000 4194304 4196468 140723713654032 139807383448592 139807790667477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13433] ppid=13423 vsize=14082736 memory=139764646786688 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13433/stat : 13433 (java) S 13423 13426 10014 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246636184 14420721664 12345 33554432000 4194304 4196468 140723713654032 139806972446832 139807790668418 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13434] ppid=13423 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13434/stat : 13434 (java) S 13423 13426 10014 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246636184 14420721664 12345 33554432000 4194304 4196468 140723713654032 139806971392800 139807790667477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13435] ppid=13423 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13435/stat : 13435 (java) S 13423 13426 10014 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246636184 14420721664 12345 33554432000 4194304 4196468 140723713654032 139806970340464 139807790667477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13436] ppid=13423 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13436/stat : 13436 (java) S 13423 13426 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246636187 14420721664 12345 33554432000 4194304 4196468 140723713654032 139806969288784 139807790675867 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13437] ppid=13423 vsize=14082736 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/13426/task/13437/stat : 13437 (java) S 13423 13426 10014 0 -1 1077944384 550 0 0 0 3 0 0 0 20 0 15 0 246636187 14420721664 12345 33554432000 4194304 4196468 140723713654032 139806968236656 139807790668418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13438] ppid=13423 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/13426/task/13438/stat : 13438 (java) S 13423 13426 10014 0 -1 1077944384 95 0 0 0 1 0 0 0 20 0 15 0 246636187 14420721664 12345 33554432000 4194304 4196468 140723713654032 139806967183856 139807790668418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13439] ppid=13423 vsize=14082736 memory=139764646786688 CPUtime=0.08 cores=0,2,4,6
/proc/13426/task/13439/stat : 13439 (java) S 13423 13426 10014 0 -1 1077944384 457 0 0 0 8 0 0 0 20 0 15 0 246636187 14420721664 12345 33554432000 4194304 4196468 140723713654032 139806966131568 139807790668418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13440] ppid=13423 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13440/stat : 13440 (java) S 13423 13426 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246636187 14420721664 12345 33554432000 4194304 4196468 140723713654032 139806965079008 139807790667477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13441] ppid=13423 vsize=14082736 memory=139764646786688 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13441/stat : 13441 (java) S 13423 13426 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246636187 14420721664 12345 33554432000 4194304 4196468 140723713654032 139806964025776 139807790668418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 49380 KiB
[startup+0.700645 s]
/proc/loadavg: 1.85 1.87 1.92 3/216 13441
/proc/meminfo: memFree=23079096/32770624 swapFree=67059124/67108860
[pid=13426] ppid=13423 vsize=14084804 memory=88008 CPUtime=0.99 cores=0,2,4,6
/proc/13426/stat : 13426 (java) S 13423 13426 10014 0 -1 1077944320 17906 0 0 0 94 5 0 0 20 0 15 0 246636181 14422839296 22002 33554432000 4194304 4196468 140723713654032 140723713636576 139807790657271 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
/proc/13426/statm: 3521201 22002 3494 1 0 3483273 0
[pid=13426/tid=13428] ppid=13423 vsize=14084804 memory=197458839750616 CPUtime=0.67 cores=0,2,4,6
/proc/13426/task/13428/stat : 13428 (java) R 13423 13426 10014 0 -1 4202560 14942 0 0 0 63 4 0 0 20 0 15 0 246636181 14422839296 22002 33554432000 4194304 4196468 140723713654032 139807794861280 139807774737758 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13429] ppid=13423 vsize=14084804 memory=1283939 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13429/stat : 13429 (java) S 13423 13426 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246636182 14422839296 22002 33554432000 4194304 4196468 140723713654032 139807386606480 139807790667477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13430] ppid=13423 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13430/stat : 13430 (java) S 13423 13426 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246636182 14422839296 22002 33554432000 4194304 4196468 140723713654032 139807385553680 139807790667477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13431] ppid=13423 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13431/stat : 13431 (java) S 13423 13426 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246636182 14422839296 22002 33554432000 4194304 4196468 140723713654032 139807384501392 139807790667477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13432] ppid=13423 vsize=14084804 memory=7809523229951467572 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13432/stat : 13432 (java) S 13423 13426 10014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246636182 14422839296 22002 33554432000 4194304 4196468 140723713654032 139807383448592 139807790667477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13433] ppid=13423 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13433/stat : 13433 (java) S 13423 13426 10014 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246636184 14422839296 22002 33554432000 4194304 4196468 140723713654032 139806972446832 139807790668418 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13434] ppid=13423 vsize=14084804 memory=9051281517667516589 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13434/stat : 13434 (java) S 13423 13426 10014 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246636184 14422839296 22002 33554432000 4194304 4196468 140723713654032 139806971392800 139807790667477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13435] ppid=13423 vsize=14084804 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13435/stat : 13435 (java) S 13423 13426 10014 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246636184 14422839296 22002 33554432000 4194304 4196468 140723713654032 139806970340464 139807790667477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13436] ppid=13423 vsize=14084804 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13436/stat : 13436 (java) S 13423 13426 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246636187 14422839296 22002 33554432000 4194304 4196468 140723713654032 139806969288784 139807790675867 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13437] ppid=13423 vsize=14084804 memory=6944656575208382560 CPUtime=0.1 cores=0,2,4,6
/proc/13426/task/13437/stat : 13437 (java) S 13423 13426 10014 0 -1 1077944384 711 0 0 0 10 0 0 0 20 0 15 0 246636187 14422839296 22002 33554432000 4194304 4196468 140723713654032 139806968236656 139807790668418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13438] ppid=13423 vsize=14084804 memory=6943526294502006880 CPUtime=0.05 cores=0,2,4,6
/proc/13426/task/13438/stat : 13438 (java) S 13423 13426 10014 0 -1 1077944384 256 0 0 0 5 0 0 0 20 0 15 0 246636187 14422839296 22002 33554432000 4194304 4196468 140723713654032 139806967183856 139807790668418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13439] ppid=13423 vsize=14084804 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/13426/task/13439/stat : 13439 (java) S 13423 13426 10014 0 -1 1077944384 614 0 0 0 15 0 0 0 20 0 15 0 246636187 14422839296 22002 33554432000 4194304 4196468 140723713654032 139806966131568 139807790668418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13440] ppid=13423 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13440/stat : 13440 (java) S 13423 13426 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246636187 14422839296 22002 33554432000 4194304 4196468 140723713654032 139806965079008 139807790667477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13441] ppid=13423 vsize=14084804 memory=1860 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13441/stat : 13441 (java) S 13423 13426 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246636187 14422839296 22002 33554432000 4194304 4196468 140723713654032 139806964025776 139807790668418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88008 KiB
[startup+1.31054 s]
# the end of solver process 13426 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.26582 s, system=0.087578 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.809876 s]
/proc/loadavg: 1.85 1.87 1.92 3/216 13441
/proc/meminfo: memFree=23079096/32770624 swapFree=67059124/67108860
[pid=13426] ppid=13423 vsize=14086852 memory=94616 CPUtime=1.2 cores=0,2,4,6
/proc/13426/stat : 13426 (java) S 13423 13426 10014 0 -1 1077944320 18493 0 0 0 114 6 0 0 20 0 15 0 246636181 14424936448 23654 33554432000 4194304 4196468 140723713654032 140723713636576 139807790657271 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
/proc/13426/statm: 3521713 23654 3502 1 0 3483785 0
[pid=13426/tid=13428] ppid=13423 vsize=14086852 memory=5795117241467496816 CPUtime=0.78 cores=0,2,4,6
/proc/13426/task/13428/stat : 13428 (java) R 13423 13426 10014 0 -1 4202560 15387 0 0 0 74 4 0 0 20 0 15 0 246636181 14424936448 23654 33554432000 4194304 4196468 140723713654032 139807794891840 139807790669206 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13429] ppid=13423 vsize=14086852 memory=6935650355287975249 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13429/stat : 13429 (java) S 13423 13426 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246636182 14424936448 23654 33554432000 4194304 4196468 140723713654032 139807386606480 139807790667477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13430] ppid=13423 vsize=14086852 memory=4638778398332698720 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13430/stat : 13430 (java) S 13423 13426 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246636182 14424936448 23654 33554432000 4194304 4196468 140723713654032 139807385553680 139807790667477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13431] ppid=13423 vsize=14086852 memory=7317634893576766894 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13431/stat : 13431 (java) S 13423 13426 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246636182 14424936448 23654 33554432000 4194304 4196468 140723713654032 139807384501392 139807790667477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13432] ppid=13423 vsize=14086852 memory=-6368243622687850437 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13432/stat : 13432 (java) S 13423 13426 10014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246636182 14424936448 23654 33554432000 4194304 4196468 140723713654032 139807383448592 139807790667477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13433] ppid=13423 vsize=14086852 memory=6933690287860520088 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13433/stat : 13433 (java) S 13423 13426 10014 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246636184 14424936448 23654 33554432000 4194304 4196468 140723713654032 139806972446832 139807790668418 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13434] ppid=13423 vsize=14086852 memory=-9001733975035308135 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13434/stat : 13434 (java) S 13423 13426 10014 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246636184 14424936448 23654 33554432000 4194304 4196468 140723713654032 139806971392800 139807790667477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13435] ppid=13423 vsize=14086852 memory=-3704326594973231466 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13435/stat : 13435 (java) S 13423 13426 10014 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246636184 14424936448 23654 33554432000 4194304 4196468 140723713654032 139806970340464 139807790667477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13436] ppid=13423 vsize=14086852 memory=7679373425970869011 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13436/stat : 13436 (java) S 13423 13426 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246636187 14424936448 23654 33554432000 4194304 4196468 140723713654032 139806969288784 139807790675867 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13437] ppid=13423 vsize=14086852 memory=-2317720213663324238 CPUtime=0.12 cores=0,2,4,6
/proc/13426/task/13437/stat : 13437 (java) R 13423 13426 10014 0 -1 4202560 720 0 0 0 12 0 0 0 20 0 15 0 246636187 14424936448 23654 33554432000 4194304 4196468 140723713654032 139806968227344 139807775772433 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13438] ppid=13423 vsize=14086852 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13426/task/13438/stat : 13438 (java) R 13423 13426 10014 0 -1 1077944384 281 0 0 0 7 0 0 0 20 0 15 0 246636187 14424936448 23654 33554432000 4194304 4196468 140723713654032 139806967183856 139807790668418 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13439] ppid=13423 vsize=14086852 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/13426/task/13439/stat : 13439 (java) R 13423 13426 10014 0 -1 4202560 722 0 0 0 20 0 0 0 20 0 15 0 246636187 14424936448 23654 33554432000 4194304 4196468 140723713654032 139806966131568 139807770617126 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13440] ppid=13423 vsize=14086852 memory=33 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13440/stat : 13440 (java) S 13423 13426 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246636187 14424936448 23654 33554432000 4194304 4196468 140723713654032 139806965079008 139807790667477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13441] ppid=13423 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13441/stat : 13441 (java) S 13423 13426 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246636187 14424936448 23654 33554432000 4194304 4196468 140723713654032 139806964025776 139807790668418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
Current children cumulated CPU time: 1.2 s
Current children cumulated vsize: 14086852 KiB
Current children cumulated memory: 94616 KiB
[startup+1.20066 s]
/proc/loadavg: 1.85 1.87 1.92 3/216 13441
/proc/meminfo: memFree=23043436/32770624 swapFree=67059124/67108860
[pid=13426] ppid=13423 vsize=14088900 memory=121396 CPUtime=2.06 cores=0,2,4,6
/proc/13426/stat : 13426 (java) S 13423 13426 10014 0 -1 1077944320 23442 0 0 0 199 7 0 0 20 0 15 0 246636181 14427033600 30349 33554432000 4194304 4196468 140723713654032 140723713636576 139807790657271 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
/proc/13426/statm: 3522225 30349 3537 1 0 3484297 0
[pid=13426/tid=13428] ppid=13423 vsize=14088900 memory=6944656592455360608 CPUtime=1.17 cores=0,2,4,6
/proc/13426/task/13428/stat : 13428 (java) R 13423 13426 10014 0 -1 4202560 18604 0 0 0 112 5 0 0 20 0 15 0 246636181 14427033600 30349 33554432000 4194304 4196468 140723713654032 139807794892880 139807790669206 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13429] ppid=13423 vsize=14088900 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13429/stat : 13429 (java) S 13423 13426 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246636182 14427033600 30349 33554432000 4194304 4196468 140723713654032 139807386606480 139807790667477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13430] ppid=13423 vsize=14088900 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13430/stat : 13430 (java) S 13423 13426 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246636182 14427033600 30349 33554432000 4194304 4196468 140723713654032 139807385553680 139807790667477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13431] ppid=13423 vsize=14088900 memory=-9108684669924967205 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13431/stat : 13431 (java) S 13423 13426 10014 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 246636182 14427033600 30349 33554432000 4194304 4196468 140723713654032 139807384501392 139807790667477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13432] ppid=13423 vsize=14088900 memory=-8412652143485227891 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13432/stat : 13432 (java) S 13423 13426 10014 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 246636182 14427033600 30349 33554432000 4194304 4196468 140723713654032 139807383448592 139807790667477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13433] ppid=13423 vsize=14088900 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13433/stat : 13433 (java) S 13423 13426 10014 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 246636184 14427033600 30349 33554432000 4194304 4196468 140723713654032 139806972446832 139807790668418 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13434] ppid=13423 vsize=14088900 memory=-9123011406873178988 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13434/stat : 13434 (java) S 13423 13426 10014 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 246636184 14427033600 30349 33554432000 4194304 4196468 140723713654032 139806971392800 139807790667477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13435] ppid=13423 vsize=14088900 memory=-8614379499087747112 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13435/stat : 13435 (java) S 13423 13426 10014 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 246636184 14427033600 30349 33554432000 4194304 4196468 140723713654032 139806970340464 139807790667477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13436] ppid=13423 vsize=14088900 memory=7755356400017183579 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13436/stat : 13436 (java) S 13423 13426 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246636187 14427033600 30349 33554432000 4194304 4196468 140723713654032 139806969288784 139807790675867 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13437] ppid=13423 vsize=14088900 memory=4714853784626230826 CPUtime=0.25 cores=0,2,4,6
/proc/13426/task/13437/stat : 13437 (java) R 13423 13426 10014 0 -1 1077944384 1032 0 0 0 25 0 0 0 20 0 15 0 246636187 14427033600 30349 33554432000 4194304 4196468 140723713654032 139806968236656 139807790668418 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13438] ppid=13423 vsize=14088900 memory=-8412878463975200130 CPUtime=0.2 cores=0,2,4,6
/proc/13426/task/13438/stat : 13438 (java) S 13423 13426 10014 0 -1 1077944384 693 0 0 0 20 0 0 0 20 0 15 0 246636187 14427033600 30349 33554432000 4194304 4196468 140723713654032 139806967183856 139807790668418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13439] ppid=13423 vsize=14088900 memory=4426078206164241782 CPUtime=0.41 cores=0,2,4,6
/proc/13426/task/13439/stat : 13439 (java) R 13423 13426 10014 0 -1 4202560 1729 0 0 0 41 0 0 0 20 0 15 0 246636187 14427033600 30349 33554432000 4194304 4196468 140723713654032 139806966131568 139807790669206 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13440] ppid=13423 vsize=14088900 memory=80836 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13440/stat : 13440 (java) S 13423 13426 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246636187 14427033600 30349 33554432000 4194304 4196468 140723713654032 139806965079008 139807790667477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
[pid=13426/tid=13441] ppid=13423 vsize=14088900 memory=115397181335794 CPUtime=0 cores=0,2,4,6
/proc/13426/task/13441/stat : 13441 (java) S 13423 13426 10014 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 246636187 14427033600 30349 33554432000 4194304 4196468 140723713654032 139806964025776 139807790668418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15073280 140723713655881 140723713656073 140723713656073 140723713658831 0
Current children cumulated CPU time: 2.06 s
Current children cumulated vsize: 14088900 KiB
Current children cumulated memory: 121396 KiB
[startup+1.30073 s]*
/proc/loadavg: 1.85 1.87 1.92 3/203 13442
/proc/meminfo: memFree=23016636/32770624 swapFree=67059124/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 1.31058
CPU time (s): 2.3534
CPU user time (s): 2.26582
CPU system time (s): 0.087578
CPU usage (%): 179.57
Max. virtual memory (cumulated for all children) (KiB): 14088900
Max. memory (cumulated for all children) (KiB): 121396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.26582
system time used= 0.087578
maximum resident set size= 131108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24472
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2525
involuntary context switches= 9
# summary of solver processes directly reported to runsolver:
# pid: 13426
# total CPU time (s): 2.3534
# total CPU user time (s): 2.26582
# total CPU system time (s): 0.087578
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.024674 second user time and 0.063091 second system time
The end