0.23/0.41 c version: 2017-08-22
0.23/0.41 c seed: 336774835
0.23/0.41 c timeout: 20160
0.23/0.41 c memlimit: 22000
0.23/0.41 c nbcore: 8
0.40/0.43 c Parsing instance...
0.72/0.67 c Parsing done, starting search...
3.38/1.61 s SATISFIABLE
3.38/1.61 v <instantiation>
3.38/1.61 v <list>
3.38/1.61 v x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19]
3.38/1.61 v </list>
3.38/1.61 v <values>
3.38/1.61 v 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 1 1 1
3.38/1.61 v </values>
3.38/1.61 v </instantiation>
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 (14719 MiB free)
memory of node 1: 16384 MiB (15235 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4285279-1503419664/watcher-4285279-1503419664 -o /tmp/evaluation-result-4285279-1503419664/solver-4285279-1503419664 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node125-1503398597-10165 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 336774835 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285279-1503419664.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=12889, runsolver pid=12886
Current StackSize limit: 8192 KiB
[startup+0.100136 s]*
/proc/loadavg: 8.42 8.67 8.66 2/189 12902
/proc/meminfo: memFree=30662804/32770624 swapFree=67108860/67108860
[pid=12889] ppid=12886 vsize=25527784 memory=19176 CPUtime=0.03 cores=0-7
/proc/12889/stat : 12889 (java) S 12886 12889 10109 0 -1 1077944320 4235 0 0 0 3 0 0 0 20 0 13 0 144186776 26140450816 4794 18446744073709551615 4194304 4196468 140734854936432 140734854918976 140666738982647 0 0 1 16800970 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
/proc/12889/statm: 6381946 4794 2114 1 0 6371443 0
[pid=12889/tid=12891] ppid=12886 vsize=25527784 memory=140679541387729 CPUtime=0.03 cores=0-7
/proc/12889/task/12891/stat : 12891 (java) R 12886 12889 10109 0 -1 4202560 2862 0 0 0 3 0 0 0 20 0 13 0 144186782 26140450816 4794 18446744073709551615 4194304 4196468 140734854936432 140666743218040 140666724665173 0 4 1 16800970 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12892] ppid=12886 vsize=25527784 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12892/stat : 12892 (java) S 12886 12889 10109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 144186783 26140450816 4794 18446744073709551615 4194304 4196468 140734854936432 140666695949328 140666738992853 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12893] ppid=12886 vsize=25527784 memory=140679541380736 CPUtime=0 cores=0-7
/proc/12889/task/12893/stat : 12893 (java) S 12886 12889 10109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 144186783 26140450816 4794 18446744073709551615 4194304 4196468 140734854936432 140666694896784 140666738992853 0 4 1 16800970 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12894] ppid=12886 vsize=25527784 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12894/stat : 12894 (java) S 12886 12889 10109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 144186783 26140450816 4794 18446744073709551615 4194304 4196468 140734854936432 140666693843728 140666738992853 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12895] ppid=12886 vsize=25527784 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/12889/task/12895/stat : 12895 (java) S 12886 12889 10109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 144186783 26140450816 4794 18446744073709551615 4194304 4196468 140734854936432 140666692791184 140666738992853 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12896] ppid=12886 vsize=25527784 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12896/stat : 12896 (java) S 12886 12889 10109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 144186783 26140450816 4794 18446744073709551615 4194304 4196468 140734854936432 140666691738128 140666738992853 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12897] ppid=12886 vsize=25527784 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12897/stat : 12897 (java) S 12886 12889 10109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 144186783 26140450816 4794 18446744073709551615 4194304 4196468 140734854936432 140666690685584 140666738992853 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12898] ppid=12886 vsize=25527784 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12898/stat : 12898 (java) S 12886 12889 10109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 144186783 26140450816 4794 18446744073709551615 4194304 4196468 140734854936432 140666689632528 140666738992853 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12899] ppid=12886 vsize=25527784 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12899/stat : 12899 (java) S 12886 12889 10109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 144186783 26140450816 4794 18446744073709551615 4194304 4196468 140734854936432 140666294630800 140666738992853 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12900] ppid=12886 vsize=25527784 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12900/stat : 12900 (java) S 12886 12889 10109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 144186784 26140450816 4794 18446744073709551615 4194304 4196468 140734854936432 140664948337392 140666738993794 0 0 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12901] ppid=12886 vsize=25527784 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12901/stat : 12901 (java) S 12886 12889 10109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 144186785 26140450816 4794 18446744073709551615 4194304 4196468 140734854936432 140664947283616 140666738992853 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12902] ppid=12886 vsize=25527784 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12902/stat : 12902 (java) S 12886 12889 10109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 144186785 26140450816 4794 18446744073709551615 4194304 4196468 140734854936432 140664946230512 140666738992853 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 25527784 KiB
Current children cumulated memory: 19176 KiB
[startup+0.209859 s]*
/proc/loadavg: 8.42 8.67 8.66 1/195 12908
/proc/meminfo: memFree=30661796/32770624 swapFree=67108860/67108860
[pid=12889] ppid=12886 vsize=25997076 memory=25240 CPUtime=0.06 cores=0-7
/proc/12889/stat : 12889 (java) S 12886 12889 10109 0 -1 1077944320 5808 0 0 0 6 0 0 0 20 0 20 0 144186776 26621005824 6310 18446744073709551615 4194304 4196468 140734854936432 140734854918976 140666738982647 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
/proc/12889/statm: 6499269 6310 3279 1 0 6488047 0
[pid=12889/tid=12891] ppid=12886 vsize=25997076 memory=32213995742560408 CPUtime=0.05 cores=0-7
/proc/12889/task/12891/stat : 12891 (java) R 12886 12889 10109 0 -1 4202560 3909 0 0 0 5 0 0 0 20 0 20 0 144186782 26621005824 6310 18446744073709551615 4194304 4196468 140734854936432 140666743224928 140666739004573 0 4 1 16800974 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12892] ppid=12886 vsize=25997076 memory=288230596084511060 CPUtime=0 cores=0-7
/proc/12889/task/12892/stat : 12892 (java) S 12886 12889 10109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144186783 26621005824 6310 18446744073709551615 4194304 4196468 140734854936432 140666695949328 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12893] ppid=12886 vsize=25997076 memory=140679541393499 CPUtime=0 cores=0-7
/proc/12889/task/12893/stat : 12893 (java) S 12886 12889 10109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144186783 26621005824 6310 18446744073709551615 4194304 4196468 140734854936432 140666694896784 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12894] ppid=12886 vsize=25997076 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12894/stat : 12894 (java) S 12886 12889 10109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144186783 26621005824 6310 18446744073709551615 4194304 4196468 140734854936432 140666693843728 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12895] ppid=12886 vsize=25997076 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12895/stat : 12895 (java) S 12886 12889 10109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144186783 26621005824 6310 18446744073709551615 4194304 4196468 140734854936432 140666692791184 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12896] ppid=12886 vsize=25997076 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12896/stat : 12896 (java) S 12886 12889 10109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144186783 26621005824 6310 18446744073709551615 4194304 4196468 140734854936432 140666691738128 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12897] ppid=12886 vsize=25997076 memory=-1 CPUtime=0 cores=0-7
/proc/12889/task/12897/stat : 12897 (java) S 12886 12889 10109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144186783 26621005824 6310 18446744073709551615 4194304 4196468 140734854936432 140666690685584 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12898] ppid=12886 vsize=25997076 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12898/stat : 12898 (java) S 12886 12889 10109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144186783 26621005824 6310 18446744073709551615 4194304 4196468 140734854936432 140666689632528 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12899] ppid=12886 vsize=25997076 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12899/stat : 12899 (java) S 12886 12889 10109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144186783 26621005824 6310 18446744073709551615 4194304 4196468 140734854936432 140666294630800 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12900] ppid=12886 vsize=25997076 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12900/stat : 12900 (java) S 12886 12889 10109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144186784 26621005824 6310 18446744073709551615 4194304 4196468 140734854936432 140664948337392 140666738993794 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12901] ppid=12886 vsize=25997076 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12901/stat : 12901 (java) S 12886 12889 10109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 144186785 26621005824 6310 18446744073709551615 4194304 4196468 140734854936432 140664947283616 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12902] ppid=12886 vsize=25997076 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12902/stat : 12902 (java) S 12886 12889 10109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 144186785 26621005824 6310 18446744073709551615 4194304 4196468 140734854936432 140664946230512 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12903] ppid=12886 vsize=25997076 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12903/stat : 12903 (java) S 12886 12889 10109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144186787 26621005824 6310 18446744073709551615 4194304 4196468 140734854936432 140664945179088 140666739001243 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12904] ppid=12886 vsize=25997076 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12904/stat : 12904 (java) S 12886 12889 10109 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 144186787 26621005824 6310 18446744073709551615 4194304 4196468 140734854936432 140664742340848 140666738993794 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12905] ppid=12886 vsize=25997076 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12905/stat : 12905 (java) S 12886 12889 10109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144186787 26621005824 6310 18446744073709551615 4194304 4196468 140734854936432 140664741288304 140666738993794 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12906] ppid=12886 vsize=25997076 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12906/stat : 12906 (java) S 12886 12889 10109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144186787 26621005824 6310 18446744073709551615 4194304 4196468 140734854936432 140664740235248 140666738993794 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12907] ppid=12886 vsize=25997076 memory=-1 CPUtime=0 cores=0-7
/proc/12889/task/12907/stat : 12907 (java) S 12886 12889 10109 0 -1 1077944384 225 0 0 0 0 0 0 0 20 0 20 0 144186787 26621005824 6310 18446744073709551615 4194304 4196468 140734854936432 140664739182704 140666738993794 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12908] ppid=12886 vsize=25997076 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12908/stat : 12908 (java) S 12886 12889 10109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144186787 26621005824 6310 18446744073709551615 4194304 4196468 140734854936432 140664738130912 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12909] ppid=12886 vsize=25997076 memory=-1 CPUtime=0 cores=0-7
/proc/12889/task/12909/stat : 12909 (java) S 12886 12889 10109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144186797 26621005824 6310 18446744073709551615 4194304 4196468 140734854936432 140664737078448 140666738993794 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 25997076 KiB
Current children cumulated memory: 25240 KiB
[startup+0.309958 s]*
/proc/loadavg: 8.42 8.67 8.66 2/196 12909
/proc/meminfo: memFree=30649892/32770624 swapFree=67108860/67108860
[pid=12889] ppid=12886 vsize=25996608 memory=35636 CPUtime=0.23 cores=0-7
/proc/12889/stat : 12889 (java) S 12886 12889 10109 0 -1 1077944320 10185 0 0 0 21 2 0 0 20 0 20 0 144186776 26620526592 8909 18446744073709551615 4194304 4196468 140734854936432 140734854918976 140666738982647 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
/proc/12889/statm: 6499152 8909 3550 1 0 6487930 0
[pid=12889/tid=12891] ppid=12886 vsize=25996608 memory=-8774313645642428999 CPUtime=0.14 cores=0-7
/proc/12889/task/12891/stat : 12891 (java) R 12886 12889 10109 0 -1 4202560 7905 0 0 0 13 1 0 0 20 0 20 0 144186782 26620526592 8909 18446744073709551615 4194304 4196468 140734854936432 140666743204416 140666725050640 0 4 1 16800974 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12892] ppid=12886 vsize=25996608 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/12889/task/12892/stat : 12892 (java) S 12886 12889 10109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144186783 26620526592 8909 18446744073709551615 4194304 4196468 140734854936432 140666695949328 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12893] ppid=12886 vsize=25996608 memory=6655300316396806240 CPUtime=0 cores=0-7
/proc/12889/task/12893/stat : 12893 (java) S 12886 12889 10109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144186783 26620526592 8909 18446744073709551615 4194304 4196468 140734854936432 140666694896784 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12894] ppid=12886 vsize=25996608 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/12889/task/12894/stat : 12894 (java) S 12886 12889 10109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144186783 26620526592 8909 18446744073709551615 4194304 4196468 140734854936432 140666693843728 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12895] ppid=12886 vsize=25996608 memory=-2895008908443675764 CPUtime=0 cores=0-7
/proc/12889/task/12895/stat : 12895 (java) S 12886 12889 10109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144186783 26620526592 8909 18446744073709551615 4194304 4196468 140734854936432 140666692791184 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12896] ppid=12886 vsize=25996608 memory=-7595490506177102494 CPUtime=0 cores=0-7
/proc/12889/task/12896/stat : 12896 (java) S 12886 12889 10109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144186783 26620526592 8909 18446744073709551615 4194304 4196468 140734854936432 140666691738128 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12897] ppid=12886 vsize=25996608 memory=-7533229591079788448 CPUtime=0 cores=0-7
/proc/12889/task/12897/stat : 12897 (java) S 12886 12889 10109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144186783 26620526592 8909 18446744073709551615 4194304 4196468 140734854936432 140666690685584 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12898] ppid=12886 vsize=25996608 memory=1400504754925836930 CPUtime=0 cores=0-7
/proc/12889/task/12898/stat : 12898 (java) S 12886 12889 10109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144186783 26620526592 8909 18446744073709551615 4194304 4196468 140734854936432 140666689632528 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12899] ppid=12886 vsize=25996608 memory=5450909908396308010 CPUtime=0 cores=0-7
/proc/12889/task/12899/stat : 12899 (java) S 12886 12889 10109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144186783 26620526592 9421 18446744073709551615 4194304 4196468 140734854936432 140666294630800 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12900] ppid=12886 vsize=25996608 memory=-7828588039587136855 CPUtime=0 cores=0-7
/proc/12889/task/12900/stat : 12900 (java) S 12886 12889 10109 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 144186784 26620526592 9421 18446744073709551615 4194304 4196468 140734854936432 140664948337392 140666738993794 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12901] ppid=12886 vsize=25996608 memory=-8542328529919094630 CPUtime=0 cores=0-7
/proc/12889/task/12901/stat : 12901 (java) S 12886 12889 10109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 144186785 26620526592 9421 18446744073709551615 4194304 4196468 140734854936432 140664947283616 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12902] ppid=12886 vsize=25996608 memory=-1 CPUtime=0 cores=0-7
/proc/12889/task/12902/stat : 12902 (java) S 12886 12889 10109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 144186785 26620526592 9421 18446744073709551615 4194304 4196468 140734854936432 140664946230512 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12903] ppid=12886 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12903/stat : 12903 (java) S 12886 12889 10109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144186787 26620526592 9421 18446744073709551615 4194304 4196468 140734854936432 140664945179088 140666739001243 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12904] ppid=12886 vsize=25996608 memory=0 CPUtime=0.01 cores=0-7
/proc/12889/task/12904/stat : 12904 (java) S 12886 12889 10109 0 -1 1077944384 335 0 0 0 1 0 0 0 20 0 20 0 144186787 26620526592 9421 18446744073709551615 4194304 4196468 140734854936432 140664742340848 140666738993794 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12905] ppid=12886 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12905/stat : 12905 (java) S 12886 12889 10109 0 -1 1077944384 163 0 0 0 0 0 0 0 20 0 20 0 144186787 26620526592 9421 18446744073709551615 4194304 4196468 140734854936432 140664741288304 140666738993794 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12906] ppid=12886 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12906/stat : 12906 (java) S 12886 12889 10109 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 144186787 26620526592 9421 18446744073709551615 4194304 4196468 140734854936432 140664740235248 140666738993794 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12907] ppid=12886 vsize=25996608 memory=0 CPUtime=0.04 cores=0-7
/proc/12889/task/12907/stat : 12907 (java) S 12886 12889 10109 0 -1 1077944384 391 0 0 0 4 0 0 0 20 0 20 0 144186787 26620526592 9421 18446744073709551615 4194304 4196468 140734854936432 140664739182704 140666738993794 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12908] ppid=12886 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12908/stat : 12908 (java) S 12886 12889 10109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144186787 26620526592 9421 18446744073709551615 4194304 4196468 140734854936432 140664738130912 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12909] ppid=12886 vsize=25996608 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12909/stat : 12909 (java) S 12886 12889 10109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144186797 26620526592 9421 18446744073709551615 4194304 4196468 140734854936432 140664737078448 140666738993794 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 25996608 KiB
Current children cumulated memory: 35636 KiB
[startup+0.700894 s]
/proc/loadavg: 8.42 8.67 8.66 3/196 12909
/proc/meminfo: memFree=30635288/32770624 swapFree=67108860/67108860
[pid=12889] ppid=12886 vsize=25998676 memory=65340 CPUtime=0.87 cores=0-7
/proc/12889/stat : 12889 (java) S 12886 12889 10109 0 -1 1077944320 14156 0 0 0 82 5 0 0 20 0 20 0 144186776 26622644224 16335 18446744073709551615 4194304 4196468 140734854936432 140734854918976 140666738982647 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
/proc/12889/statm: 6499669 16335 3722 1 0 6488442 0
[pid=12889/tid=12891] ppid=12886 vsize=25998676 memory=1836 CPUtime=0.53 cores=0-7
/proc/12889/task/12891/stat : 12891 (java) R 12886 12889 10109 0 -1 4202560 10710 0 0 0 49 4 0 0 20 0 20 0 144186782 26622644224 16335 18446744073709551615 4194304 4196468 140734854936432 140666743218592 140666723063134 0 4 1 16800974 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12892] ppid=12886 vsize=25998676 memory=1228 CPUtime=0 cores=0-7
/proc/12889/task/12892/stat : 12892 (java) S 12886 12889 10109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144186783 26622644224 16335 18446744073709551615 4194304 4196468 140734854936432 140666695949328 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12893] ppid=12886 vsize=25998676 memory=796 CPUtime=0 cores=0-7
/proc/12889/task/12893/stat : 12893 (java) S 12886 12889 10109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144186783 26622644224 16335 18446744073709551615 4194304 4196468 140734854936432 140666694896784 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12894] ppid=12886 vsize=25998676 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12894/stat : 12894 (java) S 12886 12889 10109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144186783 26622644224 16335 18446744073709551615 4194304 4196468 140734854936432 140666693843728 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12895] ppid=12886 vsize=25998676 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12895/stat : 12895 (java) S 12886 12889 10109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144186783 26622644224 16335 18446744073709551615 4194304 4196468 140734854936432 140666692791184 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12896] ppid=12886 vsize=25998676 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12896/stat : 12896 (java) S 12886 12889 10109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144186783 26622644224 16335 18446744073709551615 4194304 4196468 140734854936432 140666691738128 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12897] ppid=12886 vsize=25998676 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12897/stat : 12897 (java) S 12886 12889 10109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144186783 26622644224 16335 18446744073709551615 4194304 4196468 140734854936432 140666690685584 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12898] ppid=12886 vsize=25998676 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12898/stat : 12898 (java) S 12886 12889 10109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144186783 26622644224 16335 18446744073709551615 4194304 4196468 140734854936432 140666689632528 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12899] ppid=12886 vsize=25998676 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12899/stat : 12899 (java) S 12886 12889 10109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 144186783 26622644224 16335 18446744073709551615 4194304 4196468 140734854936432 140666294630800 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12900] ppid=12886 vsize=25998676 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12900/stat : 12900 (java) S 12886 12889 10109 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 144186784 26622644224 16335 18446744073709551615 4194304 4196468 140734854936432 140664948337392 140666738993794 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12901] ppid=12886 vsize=25998676 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12901/stat : 12901 (java) S 12886 12889 10109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 144186785 26622644224 16335 18446744073709551615 4194304 4196468 140734854936432 140664947283616 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12902] ppid=12886 vsize=25998676 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12902/stat : 12902 (java) S 12886 12889 10109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 144186785 26622644224 16335 18446744073709551615 4194304 4196468 140734854936432 140664946230512 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12903] ppid=12886 vsize=25998676 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12903/stat : 12903 (java) S 12886 12889 10109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144186787 26622644224 16335 18446744073709551615 4194304 4196468 140734854936432 140664945179088 140666739001243 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12904] ppid=12886 vsize=25998676 memory=0 CPUtime=0.05 cores=0-7
/proc/12889/task/12904/stat : 12904 (java) S 12886 12889 10109 0 -1 1077944384 596 0 0 0 5 0 0 0 20 0 20 0 144186787 26622644224 16335 18446744073709551615 4194304 4196468 140734854936432 140664742340848 140666738993794 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12905] ppid=12886 vsize=25998676 memory=0 CPUtime=0.05 cores=0-7
/proc/12889/task/12905/stat : 12905 (java) S 12886 12889 10109 0 -1 1077944384 390 0 0 0 5 0 0 0 20 0 20 0 144186787 26622644224 16335 18446744073709551615 4194304 4196468 140734854936432 140664741288304 140666738993794 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12906] ppid=12886 vsize=25998676 memory=0 CPUtime=0.06 cores=0-7
/proc/12889/task/12906/stat : 12906 (java) S 12886 12889 10109 0 -1 1077944384 391 0 0 0 6 0 0 0 20 0 20 0 144186787 26622644224 16335 18446744073709551615 4194304 4196468 140734854936432 140664740235248 140666738993794 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12907] ppid=12886 vsize=25998676 memory=56 CPUtime=0.15 cores=0-7
/proc/12889/task/12907/stat : 12907 (java) S 12886 12889 10109 0 -1 1077944384 686 0 0 0 15 0 0 0 20 0 20 0 144186787 26622644224 16335 18446744073709551615 4194304 4196468 140734854936432 140664739182704 140666738993794 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12908] ppid=12886 vsize=25998676 memory=12848 CPUtime=0 cores=0-7
/proc/12889/task/12908/stat : 12908 (java) S 12886 12889 10109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 144186787 26622644224 16335 18446744073709551615 4194304 4196468 140734854936432 140664738130912 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12909] ppid=12886 vsize=25998676 memory=25334 CPUtime=0 cores=0-7
/proc/12889/task/12909/stat : 12909 (java) S 12886 12889 10109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 144186797 26622644224 16335 18446744073709551615 4194304 4196468 140734854936432 140664737078448 140666738993794 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
Current children cumulated CPU time: 0.87 s
Current children cumulated vsize: 25998676 KiB
Current children cumulated memory: 65340 KiB
[startup+1.50093 s]
/proc/loadavg: 7.83 8.55 8.62 6/196 12909
/proc/meminfo: memFree=30575120/32770624 swapFree=67108860/67108860
[pid=12889] ppid=12886 vsize=26137948 memory=171644 CPUtime=3.07 cores=0-7
/proc/12889/stat : 12889 (java) S 12886 12889 10109 0 -1 1077944320 32968 0 0 0 294 13 0 0 20 0 22 0 144186776 26765258752 42911 18446744073709551615 4194304 4196468 140734854936432 140734854918976 140666738982647 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
/proc/12889/statm: 6534487 42911 3773 1 0 6523260 0
[pid=12889/tid=12891] ppid=12886 vsize=26137948 memory=85368 CPUtime=1.32 cores=0-7
/proc/12889/task/12891/stat : 12891 (java) R 12886 12889 10109 0 -1 4202560 15609 0 0 0 125 7 0 0 20 0 22 0 144186782 26765258752 42911 18446744073709551615 4194304 4196468 140734854936432 140666743200272 140666739004573 0 4 1 16800974 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12892] ppid=12886 vsize=26137948 memory=12848 CPUtime=0 cores=0-7
/proc/12889/task/12892/stat : 12892 (java) S 12886 12889 10109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 22 0 144186783 26765258752 42911 18446744073709551615 4194304 4196468 140734854936432 140666695949328 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12893] ppid=12886 vsize=26137948 memory=25334 CPUtime=0 cores=0-7
/proc/12889/task/12893/stat : 12893 (java) S 12886 12889 10109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 22 0 144186783 26765258752 42911 18446744073709551615 4194304 4196468 140734854936432 140666694896784 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12894] ppid=12886 vsize=26137948 memory=1 CPUtime=0 cores=0-7
/proc/12889/task/12894/stat : 12894 (java) S 12886 12889 10109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 22 0 144186783 26765258752 42911 18446744073709551615 4194304 4196468 140734854936432 140666693843728 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12895] ppid=12886 vsize=26137948 memory=2 CPUtime=0 cores=0-7
/proc/12889/task/12895/stat : 12895 (java) S 12886 12889 10109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 144186783 26765258752 42911 18446744073709551615 4194304 4196468 140734854936432 140666692791184 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12896] ppid=12886 vsize=26137948 memory=140679439623050 CPUtime=0 cores=0-7
/proc/12889/task/12896/stat : 12896 (java) S 12886 12889 10109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 22 0 144186783 26765258752 42911 18446744073709551615 4194304 4196468 140734854936432 140666691738128 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12897] ppid=12886 vsize=26137948 memory=281358879069504 CPUtime=0 cores=0-7
/proc/12889/task/12897/stat : 12897 (java) S 12886 12889 10109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 22 0 144186783 26765258752 42911 18446744073709551615 4194304 4196468 140734854936432 140666690685584 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12898] ppid=12886 vsize=26137948 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12898/stat : 12898 (java) S 12886 12889 10109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 22 0 144186783 26765258752 42911 18446744073709551615 4194304 4196468 140734854936432 140666689632528 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12899] ppid=12886 vsize=26137948 memory=4116 CPUtime=0 cores=0-7
/proc/12889/task/12899/stat : 12899 (java) S 12886 12889 10109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 22 0 144186783 26765258752 42911 18446744073709551615 4194304 4196468 140734854936432 140666294630800 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12900] ppid=12886 vsize=26137948 memory=76740 CPUtime=0 cores=0-7
/proc/12889/task/12900/stat : 12900 (java) S 12886 12889 10109 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 22 0 144186784 26765258752 42911 18446744073709551615 4194304 4196468 140734854936432 140664948337392 140666738993794 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12901] ppid=12886 vsize=26137948 memory=1292 CPUtime=0 cores=0-7
/proc/12889/task/12901/stat : 12901 (java) S 12886 12889 10109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 22 0 144186785 26765258752 42911 18446744073709551615 4194304 4196468 140734854936432 140664947283616 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12902] ppid=12886 vsize=26137948 memory=2316 CPUtime=0 cores=0-7
/proc/12889/task/12902/stat : 12902 (java) S 12886 12889 10109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 22 0 144186785 26765258752 42911 18446744073709551615 4194304 4196468 140734854936432 140664946230512 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12903] ppid=12886 vsize=26137948 memory=1836 CPUtime=0 cores=0-7
/proc/12889/task/12903/stat : 12903 (java) S 12886 12889 10109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 22 0 144186787 26765258752 42911 18446744073709551615 4194304 4196468 140734854936432 140664945179088 140666739001243 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12904] ppid=12886 vsize=26137948 memory=1228 CPUtime=0.42 cores=0-7
/proc/12889/task/12904/stat : 12904 (java) S 12886 12889 10109 0 -1 1077944384 4392 0 0 0 41 1 0 0 20 0 22 0 144186787 26765258752 42911 18446744073709551615 4194304 4196468 140734854936432 140664742340848 140666738993794 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12905] ppid=12886 vsize=26137948 memory=140683836348031 CPUtime=0.42 cores=0-7
/proc/12889/task/12905/stat : 12905 (java) S 12886 12889 10109 0 -1 1077944384 4246 0 0 0 41 1 0 0 20 0 22 0 144186787 26765258752 42911 18446744073709551615 4194304 4196468 140734854936432 140664741288304 140666738993794 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12906] ppid=12886 vsize=26137948 memory=7084280292460027456 CPUtime=0.42 cores=0-7
/proc/12889/task/12906/stat : 12906 (java) S 12886 12889 10109 0 -1 1077944384 3483 0 0 0 41 1 0 0 20 0 22 0 144186787 26765258752 42911 18446744073709551615 4194304 4196468 140734854936432 140664740235248 140666738993794 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12907] ppid=12886 vsize=26137948 memory=5793711945379829090 CPUtime=0.43 cores=0-7
/proc/12889/task/12907/stat : 12907 (java) S 12886 12889 10109 0 -1 1077944384 3791 0 0 0 42 1 0 0 20 0 22 0 144186787 26765258752 42911 18446744073709551615 4194304 4196468 140734854936432 140664739182704 140666738993794 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12908] ppid=12886 vsize=26137948 memory=7450732120472117841 CPUtime=0 cores=0-7
/proc/12889/task/12908/stat : 12908 (java) S 12886 12889 10109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 144186787 26765258752 42911 18446744073709551615 4194304 4196468 140734854936432 140664738130912 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12909] ppid=12886 vsize=26137948 memory=7445125715045339780 CPUtime=0 cores=0-7
/proc/12889/task/12909/stat : 12909 (java) S 12886 12889 10109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 144186797 26765258752 42911 18446744073709551615 4194304 4196468 140734854936432 140664737078448 140666738993794 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 26137948 KiB
Current children cumulated memory: 171644 KiB
[startup+2.04807 s]
# the end of solver process 12889 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.27259 s, system=0.170651 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60111 s]
/proc/loadavg: 7.83 8.55 8.62 6/196 12909
/proc/meminfo: memFree=30575120/32770624 swapFree=67108860/67108860
[pid=12889] ppid=12886 vsize=26940848 memory=203180 CPUtime=3.38 cores=0-7
/proc/12889/stat : 12889 (java) S 12886 12889 10109 0 -1 1077944320 34533 0 0 0 323 15 0 0 20 0 33 0 144186776 27587428352 50795 18446744073709551615 4194304 4196468 140734854936432 140734854918976 140666738982647 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
/proc/12889/statm: 6735212 50795 3784 1 0 6723464 0
[pid=12889/tid=12891] ppid=12886 vsize=26940848 memory=0 CPUtime=1.38 cores=0-7
/proc/12889/task/12891/stat : 12891 (java) S 12886 12889 10109 0 -1 1077944384 15835 0 0 0 131 7 0 0 20 0 33 0 144186782 27587428352 50795 18446744073709551615 4194304 4196468 140734854936432 140666743220352 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12892] ppid=12886 vsize=26940848 memory=-8774313645642428999 CPUtime=0 cores=0-7
/proc/12889/task/12892/stat : 12892 (java) S 12886 12889 10109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 33 0 144186783 27587428352 50795 18446744073709551615 4194304 4196468 140734854936432 140666695949328 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12893] ppid=12886 vsize=26940848 memory=12881 CPUtime=0 cores=0-7
/proc/12889/task/12893/stat : 12893 (java) S 12886 12889 10109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 33 0 144186783 27587428352 50795 18446744073709551615 4194304 4196468 140734854936432 140666694896784 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12894] ppid=12886 vsize=26940848 memory=30837 CPUtime=0 cores=0-7
/proc/12889/task/12894/stat : 12894 (java) S 12886 12889 10109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 33 0 144186783 27587428352 50795 18446744073709551615 4194304 4196468 140734854936432 140666693843728 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12895] ppid=12886 vsize=26940848 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12895/stat : 12895 (java) S 12886 12889 10109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 33 0 144186783 27587428352 50795 18446744073709551615 4194304 4196468 140734854936432 140666692791184 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12896] ppid=12886 vsize=26940848 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12896/stat : 12896 (java) S 12886 12889 10109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 33 0 144186783 27587428352 50795 18446744073709551615 4194304 4196468 140734854936432 140666691738128 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12897] ppid=12886 vsize=26940848 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12897/stat : 12897 (java) S 12886 12889 10109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 33 0 144186783 27587428352 50795 18446744073709551615 4194304 4196468 140734854936432 140666690685584 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12898] ppid=12886 vsize=26940848 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12898/stat : 12898 (java) S 12886 12889 10109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 33 0 144186783 27587428352 50795 18446744073709551615 4194304 4196468 140734854936432 140666689632528 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12899] ppid=12886 vsize=26940848 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12899/stat : 12899 (java) S 12886 12889 10109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 33 0 144186783 27587428352 50795 18446744073709551615 4194304 4196468 140734854936432 140666294630800 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12900] ppid=12886 vsize=26940848 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12900/stat : 12900 (java) S 12886 12889 10109 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 33 0 144186784 27587428352 50795 18446744073709551615 4194304 4196468 140734854936432 140664948337392 140666738993794 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12901] ppid=12886 vsize=26940848 memory=-8774313645642428999 CPUtime=0 cores=0-7
/proc/12889/task/12901/stat : 12901 (java) S 12886 12889 10109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 33 0 144186785 27587428352 50795 18446744073709551615 4194304 4196468 140734854936432 140664947283616 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12902] ppid=12886 vsize=26940848 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/12889/task/12902/stat : 12902 (java) S 12886 12889 10109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 33 0 144186785 27587428352 50795 18446744073709551615 4194304 4196468 140734854936432 140664946230512 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12903] ppid=12886 vsize=26940848 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12903/stat : 12903 (java) S 12886 12889 10109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 33 0 144186787 27587428352 50795 18446744073709551615 4194304 4196468 140734854936432 140664945179088 140666739001243 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12904] ppid=12886 vsize=26940848 memory=6944656592455360604 CPUtime=0.44 cores=0-7
/proc/12889/task/12904/stat : 12904 (java) S 12886 12889 10109 0 -1 1077944384 4405 0 0 0 43 1 0 0 20 0 33 0 144186787 27587428352 50795 18446744073709551615 4194304 4196468 140734854936432 140664742340848 140666738993794 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12905] ppid=12886 vsize=26940848 memory=6944656592455359580 CPUtime=0.44 cores=0-7
/proc/12889/task/12905/stat : 12905 (java) S 12886 12889 10109 0 -1 1077944384 4256 0 0 0 43 1 0 0 20 0 33 0 144186787 27587428352 50795 18446744073709551615 4194304 4196468 140734854936432 140664741288304 140666738993794 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12906] ppid=12886 vsize=26940848 memory=6944656592455359580 CPUtime=0.45 cores=0-7
/proc/12889/task/12906/stat : 12906 (java) S 12886 12889 10109 0 -1 1077944384 3536 0 0 0 44 1 0 0 20 0 33 0 144186787 27587428352 50795 18446744073709551615 4194304 4196468 140734854936432 140664740235248 140666738993794 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12907] ppid=12886 vsize=26940848 memory=-1189914978686163229 CPUtime=0.47 cores=0-7
/proc/12889/task/12907/stat : 12907 (java) R 12886 12889 10109 0 -1 4202560 4085 0 0 0 46 1 0 0 20 0 33 0 144186787 27587428352 50795 18446744073709551615 4194304 4196468 140734854936432 140664739178432 140666717785768 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12908] ppid=12886 vsize=26940848 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12908/stat : 12908 (java) S 12886 12889 10109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 33 0 144186787 27587428352 50795 18446744073709551615 4194304 4196468 140734854936432 140664738130912 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12909] ppid=12886 vsize=26940848 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12909/stat : 12909 (java) S 12886 12889 10109 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 33 0 144186797 27587428352 50795 18446744073709551615 4194304 4196468 140734854936432 140664737078448 140666738993794 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
Current children cumulated CPU time: 3.38 s
Current children cumulated vsize: 26940848 KiB
Current children cumulated memory: 203180 KiB
[startup+2.00079 s]*
/proc/loadavg: 7.83 8.55 8.62 1/194 12924
/proc/meminfo: memFree=30479552/32770624 swapFree=67108860/67108860
[pid=12889] ppid=12886 vsize=26940848 memory=205628 CPUtime=3.42 cores=0-7
/proc/12889/stat : 12889 (java) S 12886 12889 10109 0 -1 1077944320 34812 0 0 0 327 15 0 0 20 0 18 0 144186776 27587428352 51407 18446744073709551615 4194304 4196468 140734854936432 140734854918976 140666738982647 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
/proc/12889/statm: 6735212 51407 3789 1 0 6723464 0
[pid=12889/tid=12891] ppid=12886 vsize=26940848 memory=-8774313645642428999 CPUtime=1.38 cores=0-7
/proc/12889/task/12891/stat : 12891 (java) D 12886 12889 10109 0 -1 4202560 15837 0 0 0 131 7 0 0 20 0 18 0 144186782 27587428352 51407 18446744073709551615 4194304 4196468 140734854936432 140666743225656 140666731668279 0 0 1 16800974 18446744072100686981 0 0 -1 5 0 0 8 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12892] ppid=12886 vsize=26940848 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/12889/task/12892/stat : 12892 (java) S 12886 12889 10109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 144186783 27587428352 51407 18446744073709551615 4194304 4196468 140734854936432 140666695949328 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12893] ppid=12886 vsize=26940848 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12893/stat : 12893 (java) S 12886 12889 10109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 144186783 27587428352 51407 18446744073709551615 4194304 4196468 140734854936432 140666694896784 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12894] ppid=12886 vsize=26940848 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12894/stat : 12894 (java) S 12886 12889 10109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 144186783 27587428352 51407 18446744073709551615 4194304 4196468 140734854936432 140666693843728 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12895] ppid=12886 vsize=26940848 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12895/stat : 12895 (java) S 12886 12889 10109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 144186783 27587428352 51407 18446744073709551615 4194304 4196468 140734854936432 140666692791184 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12896] ppid=12886 vsize=26940848 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12896/stat : 12896 (java) S 12886 12889 10109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 144186783 27587428352 51407 18446744073709551615 4194304 4196468 140734854936432 140666691738128 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12897] ppid=12886 vsize=26940848 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12897/stat : 12897 (java) S 12886 12889 10109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 18 0 144186783 27587428352 51407 18446744073709551615 4194304 4196468 140734854936432 140666690685584 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12898] ppid=12886 vsize=26940848 memory=7373352817559363648 CPUtime=0 cores=0-7
/proc/12889/task/12898/stat : 12898 (java) S 12886 12889 10109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 144186783 27587428352 51407 18446744073709551615 4194304 4196468 140734854936432 140666689632528 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12899] ppid=12886 vsize=26940848 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12899/stat : 12899 (java) S 12886 12889 10109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 18 0 144186783 27587428352 51407 18446744073709551615 4194304 4196468 140734854936432 140666294630800 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12901] ppid=12886 vsize=26940848 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12901/stat : 12901 (java) S 12886 12889 10109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 18 0 144186785 27587428352 51407 18446744073709551615 4194304 4196468 140734854936432 140664947283616 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12902] ppid=12886 vsize=26940848 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12902/stat : 12902 (java) S 12886 12889 10109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 18 0 144186785 27587428352 51407 18446744073709551615 4194304 4196468 140734854936432 140664946230512 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12903] ppid=12886 vsize=26940848 memory=-1 CPUtime=0 cores=0-7
/proc/12889/task/12903/stat : 12903 (java) S 12886 12889 10109 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 18 0 144186787 27587428352 51407 18446744073709551615 4194304 4196468 140734854936432 140664945175856 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12904] ppid=12886 vsize=26940848 memory=-1 CPUtime=0.44 cores=0-7
/proc/12889/task/12904/stat : 12904 (java) S 12886 12889 10109 0 -1 1077944384 4414 0 0 0 43 1 0 0 20 0 18 0 144186787 27587428352 51407 18446744073709551615 4194304 4196468 140734854936432 140664742320400 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12905] ppid=12886 vsize=26940848 memory=0 CPUtime=0.44 cores=0-7
/proc/12889/task/12905/stat : 12905 (java) S 12886 12889 10109 0 -1 1077944384 4268 0 0 0 43 1 0 0 20 0 18 0 144186787 27587428352 51407 18446744073709551615 4194304 4196468 140734854936432 140664741273360 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12906] ppid=12886 vsize=26940848 memory=0 CPUtime=0.46 cores=0-7
/proc/12889/task/12906/stat : 12906 (java) S 12886 12889 10109 0 -1 1077944384 3540 0 0 0 45 1 0 0 20 0 18 0 144186787 27587428352 51407 18446744073709551615 4194304 4196468 140734854936432 140664740215728 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12907] ppid=12886 vsize=26940848 memory=0 CPUtime=0.49 cores=0-7
/proc/12889/task/12907/stat : 12907 (java) S 12886 12889 10109 0 -1 1077944384 4279 0 0 0 48 1 0 0 20 0 18 0 144186787 27587428352 51407 18446744073709551615 4194304 4196468 140734854936432 140664739177024 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
[pid=12889/tid=12908] ppid=12886 vsize=26940848 memory=0 CPUtime=0 cores=0-7
/proc/12889/task/12908/stat : 12908 (java) S 12886 12889 10109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 144186787 27587428352 51407 18446744073709551615 4194304 4196468 140734854936432 140664738130912 140666738992853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32067584 140734854938988 140734854939173 140734854939173 140734854942671 0
Current children cumulated CPU time: 3.42 s
Current children cumulated vsize: 26940848 KiB
Current children cumulated memory: 205628 KiB
Child status: 0
Real time (s): 2.04812
CPU time (s): 3.44325
CPU user time (s): 3.27259
CPU system time (s): 0.170651
CPU usage (%): 168.117
Max. virtual memory (cumulated for all children) (KiB): 26940848
Max. memory (cumulated for all children) (KiB): 205628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.27259
system time used= 0.170651
maximum resident set size= 206032
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34817
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= 3773
involuntary context switches= 13
# summary of solver processes directly reported to runsolver:
# pid: 12889
# total CPU time (s): 3.44325
# total CPU user time (s): 3.27259
# total CPU system time (s): 0.170651
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.039512 second user time and 0.061347 second system time
The end
Begin job on node125 at 2017-08-22 18:20:15
IDJOB=4285279
IDBENCH=120872
IDSOLVER=2681
FILE ID=node125/4285279-1503419664
RUNJOBID= node125-1503398597-10165
PBS_JOBID=
Free space on /tmp= 62032 MiB
SOLVER NAME= OscaR - Parallel with EPS 2017-08-22
BENCH NAME= XCSP17/MultiKnapsack/MultiKnapsack-m1-gp/MultiKnapsack-1-03.xml
COMMAND LINE= java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4285279-1503419664/watcher-4285279-1503419664 -o /tmp/evaluation-result-4285279-1503419664/solver-4285279-1503419664 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node125-1503398597-10165 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 336774835 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285279-1503419664.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 5764a69188b0fe12059f9d6ff06a642a
RANDOM SEED=336774835
node125.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.07
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.07
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.07
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.07
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 30674872 kB
MemAvailable: 31954968 kB
Buffers: 338084 kB
Cached: 1255240 kB
SwapCached: 0 kB
Active: 946064 kB
Inactive: 705532 kB
Active(anon): 58748 kB
Inactive(anon): 57676 kB
Active(file): 887316 kB
Inactive(file): 647856 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 42384 kB
Writeback: 8 kB
AnonPages: 58060 kB
Mapped: 69588 kB
Shmem: 58020 kB
Slab: 147872 kB
SReclaimable: 121520 kB
SUnreclaim: 26352 kB
KernelStack: 3168 kB
PageTables: 4732 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 333772 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6144 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 118144 kB
DirectMap2M: 33427456 kB
Free space on /tmp at the end= 61988 MiB
End job on node125 at 2017-08-22 18:20:17