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 (15300 MiB free)
memory of node 1: 16384 MiB (11762 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274153-1502723732/watcher-4274153-1502723732 -o /tmp/evaluation-result-4274153-1502723732/solver-4274153-1502723732 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502662832-10387 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1007060527 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274153-1502723732.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=20679, runsolver pid=20676
[startup+0.100151 s]*
/proc/loadavg: 1.81 1.87 1.86 2/199 20680
/proc/meminfo: memFree=27712972/32770624 swapFree=67105588/67108860
[pid=20679] ppid=20676 vsize=30188 memory=3224 CPUtime=0 cores=0,2,4,6
/proc/20679/stat : 20679 (java) R 20676 20679 12560 0 -1 4202496 940 0 0 0 0 0 0 0 20 0 1 0 74568568 30912512 740 18446744073709551615 4194304 4196468 140724756359232 140724756339928 139936789071483 0 0 1 0 0 0 0 17 0 0 0 10 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
/proc/20679/statm: 7547 740 562 1 0 159 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 30188 KiB
Current children cumulated memory: 3224 KiB
[startup+0.209408 s]*
/proc/loadavg: 1.81 1.87 1.86 3/213 20694
/proc/meminfo: memFree=27701460/32770624 swapFree=67105588/67108860
[pid=20679] ppid=20676 vsize=13975920 memory=27792 CPUtime=0.08 cores=0,2,4,6
/proc/20679/stat : 20679 (java) S 20676 20679 12560 0 -1 1077944320 6769 0 0 0 7 1 0 0 20 0 15 0 74568568 14311342080 6948 18446744073709551615 4194304 4196468 140724756359232 140724756341776 139936786849527 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
/proc/20679/statm: 3493980 6948 3340 1 0 3482759 0
[pid=20679/tid=20681] ppid=20676 vsize=13975920 memory=8316850467074736180 CPUtime=0.06 cores=0,2,4,6
/proc/20679/task/20681/stat : 20681 (java) R 20676 20679 12560 0 -1 4202560 4797 0 0 0 6 0 0 0 20 0 15 0 74568579 14311342080 6948 18446744073709551615 4194304 4196468 140724756359232 139936791079272 139936786871453 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20682] ppid=20676 vsize=13975920 memory=9220 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20682/stat : 20682 (java) S 20676 20679 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74568580 14311342080 6948 18446744073709551615 4194304 4196468 140724756359232 139936747747600 139936786859733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20683] ppid=20676 vsize=13975920 memory=140265424691032 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20683/stat : 20683 (java) S 20676 20679 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74568580 14311342080 6948 18446744073709551615 4194304 4196468 140724756359232 139936746695056 139936786859733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20684] ppid=20676 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20684/stat : 20684 (java) S 20676 20679 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74568580 14311342080 6948 18446744073709551615 4194304 4196468 140724756359232 139936385133072 139936786859733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20685] ppid=20676 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20685/stat : 20685 (java) S 20676 20679 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74568580 14311342080 6948 18446744073709551615 4194304 4196468 140724756359232 139936384080528 139936786859733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20686] ppid=20676 vsize=13975920 memory=140265423976064 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20686/stat : 20686 (java) S 20676 20679 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74568581 14311342080 6948 18446744073709551615 4194304 4196468 140724756359232 139936265095664 139936786860674 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20687] ppid=20676 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20687/stat : 20687 (java) S 20676 20679 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 74568581 14311342080 6948 18446744073709551615 4194304 4196468 140724756359232 139936264041888 139936786859733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20688] ppid=20676 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20688/stat : 20688 (java) S 20676 20679 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 74568582 14311342080 6948 18446744073709551615 4194304 4196468 140724756359232 139936262989296 139936786859733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20689] ppid=20676 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20689/stat : 20689 (java) S 20676 20679 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74568584 14311342080 6948 18446744073709551615 4194304 4196468 140724756359232 139936261937872 139936786868123 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20690] ppid=20676 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20690/stat : 20690 (java) S 20676 20679 12560 0 -1 1077944384 291 0 0 0 0 0 0 0 20 0 15 0 74568584 14311342080 6948 18446744073709551615 4194304 4196468 140724756359232 139936260884464 139936786860674 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20691] ppid=20676 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20691/stat : 20691 (java) S 20676 20679 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74568584 14311342080 6948 18446744073709551615 4194304 4196468 140724756359232 139936259831920 139936786860674 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20692] ppid=20676 vsize=13975920 memory=140265423976064 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20692/stat : 20692 (java) S 20676 20679 12560 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 74568584 14311342080 6948 18446744073709551615 4194304 4196468 140724756359232 139936258779376 139936786860674 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20693] ppid=20676 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20693/stat : 20693 (java) S 20676 20679 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74568584 14311342080 6948 18446744073709551615 4194304 4196468 140724756359232 139936257727072 139936786859733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20694] ppid=20676 vsize=13975920 memory=140265423976064 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20694/stat : 20694 (java) S 20676 20679 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74568588 14311342080 6948 18446744073709551615 4194304 4196468 140724756359232 139936256674608 139936786860674 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 27792 KiB
[startup+0.313127 s]*
/proc/loadavg: 1.81 1.87 1.86 3/213 20694
/proc/meminfo: memFree=27686828/32770624 swapFree=67105588/67108860
[pid=20679] ppid=20676 vsize=13975920 memory=39564 CPUtime=0.24 cores=0,2,4,6
/proc/20679/stat : 20679 (java) S 20676 20679 12560 0 -1 1077944320 10115 0 0 0 22 2 0 0 20 0 15 0 74568568 14311342080 9891 18446744073709551615 4194304 4196468 140724756359232 140724756341776 139936786849527 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
/proc/20679/statm: 3493980 9891 3549 1 0 3482759 0
[pid=20679/tid=20681] ppid=20676 vsize=13975920 memory=-8774313645642428999 CPUtime=0.16 cores=0,2,4,6
/proc/20679/task/20681/stat : 20681 (java) R 20676 20679 12560 0 -1 4202560 7846 0 0 0 15 1 0 0 20 0 15 0 74568579 14311342080 9891 18446744073709551615 4194304 4196468 140724756359232 139936791068320 139936786871453 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20682] ppid=20676 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20682/stat : 20682 (java) S 20676 20679 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74568580 14311342080 9891 18446744073709551615 4194304 4196468 140724756359232 139936747747600 139936786859733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20683] ppid=20676 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20683/stat : 20683 (java) S 20676 20679 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74568580 14311342080 9891 18446744073709551615 4194304 4196468 140724756359232 139936746695056 139936786859733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20684] ppid=20676 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20684/stat : 20684 (java) S 20676 20679 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74568580 14311342080 9891 18446744073709551615 4194304 4196468 140724756359232 139936385133072 139936786859733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20685] ppid=20676 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20685/stat : 20685 (java) S 20676 20679 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74568580 14311342080 9891 18446744073709551615 4194304 4196468 140724756359232 139936384080528 139936786859733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20686] ppid=20676 vsize=13975920 memory=140265423976064 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20686/stat : 20686 (java) S 20676 20679 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 74568581 14311342080 9891 18446744073709551615 4194304 4196468 140724756359232 139936265095664 139936786860674 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20687] ppid=20676 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20687/stat : 20687 (java) S 20676 20679 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 74568581 14311342080 9891 18446744073709551615 4194304 4196468 140724756359232 139936264041888 139936786859733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20688] ppid=20676 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20688/stat : 20688 (java) S 20676 20679 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 74568582 14311342080 9891 18446744073709551615 4194304 4196468 140724756359232 139936262989296 139936786859733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20689] ppid=20676 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20689/stat : 20689 (java) S 20676 20679 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74568584 14311342080 9891 18446744073709551615 4194304 4196468 140724756359232 139936261937872 139936786868123 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20690] ppid=20676 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/20679/task/20690/stat : 20690 (java) S 20676 20679 12560 0 -1 1077944384 347 0 0 0 1 0 0 0 20 0 15 0 74568584 14311342080 9891 18446744073709551615 4194304 4196468 140724756359232 139936260884464 139936786860674 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20691] ppid=20676 vsize=13975920 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/20679/task/20691/stat : 20691 (java) S 20676 20679 12560 0 -1 1077944384 154 0 0 0 1 0 0 0 20 0 15 0 74568584 14311342080 9891 18446744073709551615 4194304 4196468 140724756359232 139936259831920 139936786860674 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20692] ppid=20676 vsize=13975920 memory=140265423976064 CPUtime=0.04 cores=0,2,4,6
/proc/20679/task/20692/stat : 20692 (java) R 20676 20679 12560 0 -1 4202560 388 0 0 0 4 0 0 0 20 0 15 0 74568584 14311342080 9891 18446744073709551615 4194304 4196468 140724756359232 139936258779376 139936786870874 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20693] ppid=20676 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20693/stat : 20693 (java) S 20676 20679 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74568584 14311342080 9891 18446744073709551615 4194304 4196468 140724756359232 139936257727072 139936786859733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20694] ppid=20676 vsize=13975920 memory=140265423976064 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20694/stat : 20694 (java) S 20676 20679 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74568588 14311342080 9891 18446744073709551615 4194304 4196468 140724756359232 139936256674608 139936786860674 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 39564 KiB
[startup+0.700651 s]
/proc/loadavg: 1.81 1.87 1.86 3/213 20694
/proc/meminfo: memFree=27674548/32770624 swapFree=67105588/67108860
[pid=20679] ppid=20676 vsize=13977988 memory=68436 CPUtime=0.94 cores=0,2,4,6
/proc/20679/stat : 20679 (java) S 20676 20679 12560 0 -1 1077944320 13849 0 0 0 90 4 0 0 20 0 15 0 74568568 14313459712 17109 18446744073709551615 4194304 4196468 140724756359232 140724756341776 139936786849527 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
/proc/20679/statm: 3494497 17109 3719 1 0 3483271 0
[pid=20679/tid=20681] ppid=20676 vsize=13977988 memory=2241 CPUtime=0.54 cores=0,2,4,6
/proc/20679/task/20681/stat : 20681 (java) R 20676 20679 12560 0 -1 4202560 10488 0 0 0 51 3 0 0 20 0 15 0 74568579 14313459712 17109 18446744073709551615 4194304 4196468 140724756359232 139936791076848 139936779527541 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20682] ppid=20676 vsize=13977988 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20682/stat : 20682 (java) S 20676 20679 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74568580 14313459712 17109 18446744073709551615 4194304 4196468 140724756359232 139936747747600 139936786859733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20683] ppid=20676 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20683/stat : 20683 (java) S 20676 20679 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74568580 14313459712 17109 18446744073709551615 4194304 4196468 140724756359232 139936746695056 139936786859733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20684] ppid=20676 vsize=13977988 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20684/stat : 20684 (java) S 20676 20679 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74568580 14313459712 17109 18446744073709551615 4194304 4196468 140724756359232 139936385133072 139936786859733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20685] ppid=20676 vsize=13977988 memory=15584 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20685/stat : 20685 (java) S 20676 20679 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74568580 14313459712 17109 18446744073709551615 4194304 4196468 140724756359232 139936384080528 139936786859733 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20686] ppid=20676 vsize=13977988 memory=25460 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20686/stat : 20686 (java) S 20676 20679 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 74568581 14313459712 17109 18446744073709551615 4194304 4196468 140724756359232 139936265095664 139936786860674 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20687] ppid=20676 vsize=13977988 memory=4048 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20687/stat : 20687 (java) S 20676 20679 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 74568581 14313459712 17109 18446744073709551615 4194304 4196468 140724756359232 139936264041888 139936786859733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20688] ppid=20676 vsize=13977988 memory=644 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20688/stat : 20688 (java) S 20676 20679 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 74568582 14313459712 17109 18446744073709551615 4194304 4196468 140724756359232 139936262989296 139936786859733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20689] ppid=20676 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20689/stat : 20689 (java) S 20676 20679 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74568584 14313459712 17109 18446744073709551615 4194304 4196468 140724756359232 139936261937872 139936786868123 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20690] ppid=20676 vsize=13977988 memory=13412 CPUtime=0.11 cores=0,2,4,6
/proc/20679/task/20690/stat : 20690 (java) R 20676 20679 12560 0 -1 1077944384 853 0 0 0 11 0 0 0 20 0 15 0 74568584 14313459712 17109 18446744073709551615 4194304 4196468 140724756359232 139936260884464 139936786860674 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20691] ppid=20676 vsize=13977988 memory=6656426216303648864 CPUtime=0.08 cores=0,2,4,6
/proc/20679/task/20691/stat : 20691 (java) S 20676 20679 12560 0 -1 1077944384 417 0 0 0 8 0 0 0 20 0 15 0 74568584 14313459712 17109 18446744073709551615 4194304 4196468 140724756359232 139936259831920 139936786860674 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20692] ppid=20676 vsize=13977988 memory=1232 CPUtime=0.17 cores=0,2,4,6
/proc/20679/task/20692/stat : 20692 (java) R 20676 20679 12560 0 -1 4202560 709 0 0 0 17 0 0 0 20 0 15 0 74568584 14313459712 17109 18446744073709551615 4194304 4196468 140724756359232 139936258779376 139936765035531 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20693] ppid=20676 vsize=13977988 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20693/stat : 20693 (java) S 20676 20679 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74568584 14313459712 17109 18446744073709551615 4194304 4196468 140724756359232 139936257727072 139936786859733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20694] ppid=20676 vsize=13977988 memory=4088 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20694/stat : 20694 (java) S 20676 20679 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74568588 14313459712 17109 18446744073709551615 4194304 4196468 140724756359232 139936256674608 139936786860674 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
Current children cumulated CPU time: 0.94 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 68436 KiB
[startup+1.50071 s]
/proc/loadavg: 1.81 1.87 1.86 6/213 20694
/proc/meminfo: memFree=27527972/32770624 swapFree=67105588/67108860
[pid=20679] ppid=20676 vsize=13982084 memory=212400 CPUtime=3.47 cores=0,2,4,6
/proc/20679/stat : 20679 (java) S 20676 20679 12560 0 -1 1077944320 22830 0 0 0 337 10 0 0 20 0 15 0 74568568 14317654016 53100 18446744073709551615 4194304 4196468 140724756359232 140724756341776 139936786849527 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
/proc/20679/statm: 3495521 53100 3784 1 0 3484295 0
[pid=20679/tid=20681] ppid=20676 vsize=13982084 memory=280530620910352 CPUtime=1.33 cores=0,2,4,6
/proc/20679/task/20681/stat : 20681 (java) R 20676 20679 12560 0 -1 4202560 13410 0 0 0 126 7 0 0 20 0 15 0 74568579 14317654016 53100 18446744073709551615 4194304 4196468 140724756359232 139936791082032 139936426730089 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20682] ppid=20676 vsize=13982084 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20682/stat : 20682 (java) S 20676 20679 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 74568580 14317654016 53100 18446744073709551615 4194304 4196468 140724756359232 139936747747600 139936786859733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20683] ppid=20676 vsize=13982084 memory=206660 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20683/stat : 20683 (java) S 20676 20679 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 74568580 14317654016 53100 18446744073709551615 4194304 4196468 140724756359232 139936746695056 139936786859733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20684] ppid=20676 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20684/stat : 20684 (java) S 20676 20679 12560 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 74568580 14317654016 53100 18446744073709551615 4194304 4196468 140724756359232 139936385133072 139936786859733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20685] ppid=20676 vsize=13982084 memory=33 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20685/stat : 20685 (java) S 20676 20679 12560 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 74568580 14317654016 53100 18446744073709551615 4194304 4196468 140724756359232 139936384080528 139936786859733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20686] ppid=20676 vsize=13982084 memory=280530620878392 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20686/stat : 20686 (java) S 20676 20679 12560 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 74568581 14317654016 53100 18446744073709551615 4194304 4196468 140724756359232 139936265095664 139936786860674 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20687] ppid=20676 vsize=13982084 memory=93158109088500 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20687/stat : 20687 (java) S 20676 20679 12560 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 74568581 14317654016 53100 18446744073709551615 4194304 4196468 140724756359232 139936264041952 139936786859733 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20688] ppid=20676 vsize=13982084 memory=93158109088244 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20688/stat : 20688 (java) S 20676 20679 12560 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 74568582 14317654016 53100 18446744073709551615 4194304 4196468 140724756359232 139936262989312 139936786859733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20689] ppid=20676 vsize=13982084 memory=93158109088244 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20689/stat : 20689 (java) S 20676 20679 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74568584 14317654016 53100 18446744073709551615 4194304 4196468 140724756359232 139936261937872 139936786868123 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20690] ppid=20676 vsize=13982084 memory=1688 CPUtime=0.73 cores=0,2,4,6
/proc/20679/task/20690/stat : 20690 (java) S 20676 20679 12560 0 -1 1077944384 2513 0 0 0 72 1 0 0 20 0 15 0 74568584 14317654016 53100 18446744073709551615 4194304 4196468 140724756359232 139936260884464 139936786860674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20691] ppid=20676 vsize=13982084 memory=5808 CPUtime=0.68 cores=0,2,4,6
/proc/20679/task/20691/stat : 20691 (java) S 20676 20679 12560 0 -1 1077944384 2390 0 0 0 68 0 0 0 20 0 15 0 74568584 14317654016 53100 18446744073709551615 4194304 4196468 140724756359232 139936259831920 139936786860674 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20692] ppid=20676 vsize=13982084 memory=4612 CPUtime=0.68 cores=0,2,4,6
/proc/20679/task/20692/stat : 20692 (java) R 20676 20679 12560 0 -1 4202560 3014 0 0 0 68 0 0 0 20 0 15 0 74568584 14317654016 53100 18446744073709551615 4194304 4196468 140724756359232 139936258774416 139936765795845 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20693] ppid=20676 vsize=13982084 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20693/stat : 20693 (java) S 20676 20679 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74568584 14317654016 53100 18446744073709551615 4194304 4196468 140724756359232 139936257727072 139936786859733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20694] ppid=20676 vsize=13982084 memory=2016 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20694/stat : 20694 (java) S 20676 20679 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74568588 14317654016 53100 18446744073709551615 4194304 4196468 140724756359232 139936256674608 139936786860674 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
Current children cumulated CPU time: 3.47 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 212400 KiB
[startup+3.11 s]
/proc/loadavg: 1.81 1.87 1.86 3/213 20694
/proc/meminfo: memFree=27489456/32770624 swapFree=67105588/67108860
[pid=20679] ppid=20676 vsize=13982084 memory=237508 CPUtime=7.3 cores=0,2,4,6
/proc/20679/stat : 20679 (java) S 20676 20679 12560 0 -1 1077944320 29421 0 0 0 717 13 0 0 20 0 15 0 74568568 14317654016 59377 18446744073709551615 4194304 4196468 140724756359232 140724756341776 139936786849527 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
/proc/20679/statm: 3495521 59377 3787 1 0 3484295 0
[pid=20679/tid=20681] ppid=20676 vsize=13982084 memory=4144 CPUtime=2.92 cores=0,2,4,6
/proc/20679/task/20681/stat : 20681 (java) R 20676 20679 12560 0 -1 4202560 13624 0 0 0 285 7 0 0 20 0 15 0 74568579 14317654016 59377 18446744073709551615 4194304 4196468 140724756359232 139936791085896 139936436384791 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20682] ppid=20676 vsize=13982084 memory=41364 CPUtime=0.01 cores=0,2,4,6
/proc/20679/task/20682/stat : 20682 (java) S 20676 20679 12560 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 15 0 74568580 14317654016 59377 18446744073709551615 4194304 4196468 140724756359232 139936747747600 139936786859733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20683] ppid=20676 vsize=13982084 memory=1688 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20683/stat : 20683 (java) S 20676 20679 12560 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 74568580 14317654016 59377 18446744073709551615 4194304 4196468 140724756359232 139936746695056 139936786859733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20684] ppid=20676 vsize=13982084 memory=5808 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20684/stat : 20684 (java) S 20676 20679 12560 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 74568580 14317654016 59377 18446744073709551615 4194304 4196468 140724756359232 139936385133072 139936786859733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20685] ppid=20676 vsize=13982084 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20685/stat : 20685 (java) S 20676 20679 12560 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 74568580 14317654016 59377 18446744073709551615 4194304 4196468 140724756359232 139936384080528 139936786859733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20686] ppid=20676 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20686/stat : 20686 (java) S 20676 20679 12560 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 15 0 74568581 14317654016 59377 18446744073709551615 4194304 4196468 140724756359232 139936265095664 139936786860674 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20687] ppid=20676 vsize=13982084 memory=7593466331088186704 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20687/stat : 20687 (java) S 20676 20679 12560 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 74568581 14317654016 59377 18446744073709551615 4194304 4196468 140724756359232 139936264041952 139936786859733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20688] ppid=20676 vsize=13982084 memory=8242264893896616293 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20688/stat : 20688 (java) S 20676 20679 12560 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 74568582 14317654016 59377 18446744073709551615 4194304 4196468 140724756359232 139936262989312 139936786859733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20689] ppid=20676 vsize=13982084 memory=7451894300419320161 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20689/stat : 20689 (java) S 20676 20679 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74568584 14317654016 59377 18446744073709551615 4194304 4196468 140724756359232 139936261937872 139936786868123 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20690] ppid=20676 vsize=13982084 memory=280530620878392 CPUtime=1.76 cores=0,2,4,6
/proc/20679/task/20690/stat : 20690 (java) S 20676 20679 12560 0 -1 1077944384 5889 0 0 0 174 2 0 0 20 0 15 0 74568584 14317654016 59377 18446744073709551615 4194304 4196468 140724756359232 139936260884464 139936786860674 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20691] ppid=20676 vsize=13982084 memory=93158109088500 CPUtime=1.7 cores=0,2,4,6
/proc/20679/task/20691/stat : 20691 (java) S 20676 20679 12560 0 -1 1077944384 3533 0 0 0 170 0 0 0 20 0 15 0 74568584 14317654016 59377 18446744073709551615 4194304 4196468 140724756359232 139936259831920 139936786860674 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20692] ppid=20676 vsize=13982084 memory=93158109088244 CPUtime=0.83 cores=0,2,4,6
/proc/20679/task/20692/stat : 20692 (java) S 20676 20679 12560 0 -1 1077944384 4812 0 0 0 82 1 0 0 20 0 15 0 74568584 14317654016 59377 18446744073709551615 4194304 4196468 140724756359232 139936258779376 139936786860674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20693] ppid=20676 vsize=13982084 memory=93158109088244 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20693/stat : 20693 (java) S 20676 20679 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74568584 14317654016 59377 18446744073709551615 4194304 4196468 140724756359232 139936257727072 139936786859733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20694] ppid=20676 vsize=13982084 memory=280530621308704 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20694/stat : 20694 (java) S 20676 20679 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74568588 14317654016 59377 18446744073709551615 4194304 4196468 140724756359232 139936256674608 139936786860674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
Current children cumulated CPU time: 7.3 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 237508 KiB
[startup+4.54437 s]
# the end of solver process 20679 was just reported to runsolver
# cumulated CPU time of all completed processes: user=8.07483 s, system=0.160367 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20095 s]
/proc/loadavg: 1.81 1.87 1.86 3/213 20694
/proc/meminfo: memFree=27489456/32770624 swapFree=67105588/67108860
[pid=20679] ppid=20676 vsize=13982084 memory=249796 CPUtime=7.42 cores=0,2,4,6
/proc/20679/stat : 20679 (java) S 20676 20679 12560 0 -1 1077944320 29607 0 0 0 728 14 0 0 20 0 15 0 74568568 14317654016 62449 18446744073709551615 4194304 4196468 140724756359232 140724756341776 139936786849527 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
/proc/20679/statm: 3495521 62449 3787 1 0 3484295 0
[pid=20679/tid=20681] ppid=20676 vsize=13982084 memory=7522788606812372587 CPUtime=3 cores=0,2,4,6
/proc/20679/task/20681/stat : 20681 (java) R 20676 20679 12560 0 -1 4202560 13775 0 0 0 293 7 0 0 20 0 15 0 74568579 14317654016 62449 18446744073709551615 4194304 4196468 140724756359232 139936791087504 139936436126745 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20682] ppid=20676 vsize=13982084 memory=7682744562830902035 CPUtime=0.01 cores=0,2,4,6
/proc/20679/task/20682/stat : 20682 (java) S 20676 20679 12560 0 -1 1077944384 60 0 0 0 1 0 0 0 20 0 15 0 74568580 14317654016 62449 18446744073709551615 4194304 4196468 140724756359232 139936747747600 139936786859733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20683] ppid=20676 vsize=13982084 memory=-8918990855134196790 CPUtime=0.01 cores=0,2,4,6
/proc/20679/task/20683/stat : 20683 (java) S 20676 20679 12560 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 15 0 74568580 14317654016 62449 18446744073709551615 4194304 4196468 140724756359232 139936746695056 139936786859733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20684] ppid=20676 vsize=13982084 memory=-5874771483550381248 CPUtime=0.01 cores=0,2,4,6
/proc/20679/task/20684/stat : 20684 (java) S 20676 20679 12560 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 15 0 74568580 14317654016 62449 18446744073709551615 4194304 4196468 140724756359232 139936385133072 139936786859733 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20685] ppid=20676 vsize=13982084 memory=-6664436420846798484 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20685/stat : 20685 (java) S 20676 20679 12560 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 74568580 14317654016 62449 18446744073709551615 4194304 4196468 140724756359232 139936384080528 139936786859733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20686] ppid=20676 vsize=13982084 memory=-8542328529919094630 CPUtime=0.01 cores=0,2,4,6
/proc/20679/task/20686/stat : 20686 (java) S 20676 20679 12560 0 -1 1077944384 93 0 0 0 1 0 0 0 20 0 15 0 74568581 14317654016 62449 18446744073709551615 4194304 4196468 140724756359232 139936265095664 139936786860674 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20687] ppid=20676 vsize=13982084 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20687/stat : 20687 (java) S 20676 20679 12560 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 74568581 14317654016 62449 18446744073709551615 4194304 4196468 140724756359232 139936264041952 139936786859733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20688] ppid=20676 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20688/stat : 20688 (java) S 20676 20679 12560 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 74568582 14317654016 62449 18446744073709551615 4194304 4196468 140724756359232 139936262989312 139936786859733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20689] ppid=20676 vsize=13982084 memory=7811044297232968554 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20689/stat : 20689 (java) S 20676 20679 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74568584 14317654016 62449 18446744073709551615 4194304 4196468 140724756359232 139936261937872 139936786868123 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20690] ppid=20676 vsize=13982084 memory=7301858164987948385 CPUtime=1.76 cores=0,2,4,6
/proc/20679/task/20690/stat : 20690 (java) S 20676 20679 12560 0 -1 1077944384 5889 0 0 0 174 2 0 0 20 0 15 0 74568584 14317654016 62449 18446744073709551615 4194304 4196468 140724756359232 139936260884464 139936786860674 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20691] ppid=20676 vsize=13982084 memory=7445101439888674896 CPUtime=1.7 cores=0,2,4,6
/proc/20679/task/20691/stat : 20691 (java) S 20676 20679 12560 0 -1 1077944384 3533 0 0 0 170 0 0 0 20 0 15 0 74568584 14317654016 62449 18446744073709551615 4194304 4196468 140724756359232 139936259831920 139936786860674 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20692] ppid=20676 vsize=13982084 memory=2400 CPUtime=0.83 cores=0,2,4,6
/proc/20679/task/20692/stat : 20692 (java) S 20676 20679 12560 0 -1 1077944384 4812 0 0 0 82 1 0 0 20 0 15 0 74568584 14317654016 62449 18446744073709551615 4194304 4196468 140724756359232 139936258779376 139936786860674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20693] ppid=20676 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20693/stat : 20693 (java) S 20676 20679 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74568584 14317654016 62449 18446744073709551615 4194304 4196468 140724756359232 139936257727072 139936786859733 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
[pid=20679/tid=20694] ppid=20676 vsize=13982084 memory=237436 CPUtime=0 cores=0,2,4,6
/proc/20679/task/20694/stat : 20694 (java) S 20676 20679 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74568588 14317654016 62449 18446744073709551615 4194304 4196468 140724756359232 139936256674608 139936786860674 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35663872 140724756365678 140724756365865 140724756365865 140724756369359 0
Current children cumulated CPU time: 7.42 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 249796 KiB
[startup+4.00076 s]*
/proc/loadavg: 1.83 1.88 1.86 2/200 20695
/proc/meminfo: memFree=27690300/32770624 swapFree=67105588/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+4.40017 s]
/proc/loadavg: 1.83 1.88 1.86 2/200 20695
/proc/meminfo: memFree=27690300/32770624 swapFree=67105588/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+4.50017 s]
/proc/loadavg: 1.83 1.88 1.86 2/200 20695
/proc/meminfo: memFree=27690300/32770624 swapFree=67105588/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): 4.54443
CPU time (s): 8.2352
CPU user time (s): 8.07483
CPU system time (s): 0.160367
CPU usage (%): 181.215
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 253940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.07483
system time used= 0.160367
maximum resident set size= 262888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33385
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2805
involuntary context switches= 30
# summary of solver processes directly reported to runsolver:
# pid: 20679
# total CPU time (s): 8.2352
# total CPU user time (s): 8.07483
# total CPU system time (s): 0.160367
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.040914 second user time and 0.081828 second system time
The end