0.29/0.25 c version: 2017-08-22
0.29/0.25 c seed: 1918715338
0.29/0.25 c timeout: 20160
0.29/0.26 c memlimit: 22000
0.29/0.26 c nbcore: 8
0.29/0.28 c Parsing instance...
0.83/0.54 c Parsing done, starting search...
6.46/2.03 s SATISFIABLE
6.46/2.03 v <instantiation>
6.46/2.03 v <list>
6.46/2.03 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] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] y[25] y[26] y[27] y[28] y[29] y[30] y[31] y[32] y[33] y[34] y[35] y[36] y[37] y[38] y[39] y[40] y[41] y[42] y[43] y[44] y[45] y[46] y[47] y[48]
6.46/2.03 v </list>
6.46/2.03 v <values>
6.46/2.03 v 49 0 48 1 47 2 46 3 45 4 44 5 43 6 42 7 41 8 40 9 39 10 38 11 37 12 36 13 35 14 34 15 33 16 32 17 31 18 30 19 29 20 28 21 27 22 26 23 25 24 49 48 47 46 45 44 43 42 41 40 39 38 37 36 35 34 33 32 31 30 29 28 27 26 25 24 23 22 21 20 19 18 17 16 15 14 13 12 11 10 9 8 7 6 5 4 3 2 1
6.46/2.03 v </values>
6.46/2.03 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 (10641 MiB free)
memory of node 1: 16384 MiB (12430 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4285069-1503424437/watcher-4285069-1503424437 -o /tmp/evaluation-result-4285069-1503424437/solver-4285069-1503424437 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node115-1503423573-5557 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1918715338 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285069-1503424437.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=5677, runsolver pid=5674
Current StackSize limit: 8192 KiB
[startup+0.100139 s]*
/proc/loadavg: 8.25 8.60 8.65 2/198 5697
/proc/meminfo: memFree=23608872/32770624 swapFree=67108860/67108860
[pid=5677] ppid=5674 vsize=26000852 memory=32172 CPUtime=0.12 cores=0-7
/proc/5677/stat : 5677 (java) S 5674 5677 5530 0 -1 1077944320 8433 0 0 0 11 1 0 0 20 0 20 0 175531202 26624872448 8043 33554432000 4194304 4196468 140721056038048 140721056020592 139874722090743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
/proc/5677/statm: 6500213 8043 3412 1 0 6487932 0
[pid=5677/tid=5679] ppid=5674 vsize=26000852 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/5677/task/5679/stat : 5679 (java) R 5674 5677 5530 0 -1 4202560 6379 0 0 0 8 1 0 0 20 0 20 0 175531203 26624872448 8043 33554432000 4194304 4196468 140721056038048 139874726270000 139874722112669 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5680] ppid=5674 vsize=26000852 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/5677/task/5680/stat : 5680 (java) S 5674 5677 5530 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175531204 26624872448 8043 33554432000 4194304 4196468 140721056038048 139874674711056 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5681] ppid=5674 vsize=26000852 memory=140540899329664 CPUtime=0 cores=0-7
/proc/5677/task/5681/stat : 5681 (java) S 5674 5677 5530 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175531204 26624872448 8043 33554432000 4194304 4196468 140721056038048 139874673658512 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5682] ppid=5674 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5677/task/5682/stat : 5682 (java) S 5674 5677 5530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175531204 26624872448 8043 33554432000 4194304 4196468 140721056038048 139874672605456 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5683] ppid=5674 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5677/task/5683/stat : 5683 (java) S 5674 5677 5530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175531204 26624872448 8043 33554432000 4194304 4196468 140721056038048 139874671552912 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5684] ppid=5674 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5677/task/5684/stat : 5684 (java) S 5674 5677 5530 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175531204 26624872448 8043 33554432000 4194304 4196468 140721056038048 139874275818512 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5685] ppid=5674 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/5677/task/5685/stat : 5685 (java) S 5674 5677 5530 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175531204 26624872448 8043 33554432000 4194304 4196468 140721056038048 139874274765968 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5686] ppid=5674 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5677/task/5686/stat : 5686 (java) S 5674 5677 5530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175531204 26624872448 8043 33554432000 4194304 4196468 140721056038048 139874273712912 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5687] ppid=5674 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5677/task/5687/stat : 5687 (java) S 5674 5677 5530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175531204 26624872448 8043 33554432000 4194304 4196468 140721056038048 139874272660368 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5688] ppid=5674 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5677/task/5688/stat : 5688 (java) S 5674 5677 5530 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175531205 26624872448 8043 33554432000 4194304 4196468 140721056038048 139873781479664 139874722101890 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5689] ppid=5674 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5677/task/5689/stat : 5689 (java) S 5674 5677 5530 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 175531205 26624872448 8043 33554432000 4194304 4196468 140721056038048 139873780425888 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5690] ppid=5674 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5677/task/5690/stat : 5690 (java) S 5674 5677 5530 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 175531206 26624872448 8043 33554432000 4194304 4196468 140721056038048 139873779372784 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5691] ppid=5674 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5677/task/5691/stat : 5691 (java) S 5674 5677 5530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175531208 26624872448 8043 33554432000 4194304 4196468 140721056038048 139873778321360 139874722109339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5692] ppid=5674 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5677/task/5692/stat : 5692 (java) S 5674 5677 5530 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 175531208 26624872448 8043 33554432000 4194304 4196468 140721056038048 139873777269488 139874722101890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5693] ppid=5674 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5677/task/5693/stat : 5693 (java) S 5674 5677 5530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175531208 26624872448 8043 33554432000 4194304 4196468 140721056038048 139873776216944 139874722101890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5694] ppid=5674 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5677/task/5694/stat : 5694 (java) S 5674 5677 5530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175531208 26624872448 8043 33554432000 4194304 4196468 140721056038048 139873775163888 139874722101890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5695] ppid=5674 vsize=26000852 memory=0 CPUtime=0.02 cores=0-7
/proc/5677/task/5695/stat : 5695 (java) R 5674 5677 5530 0 -1 4202560 366 0 0 0 2 0 0 0 20 0 20 0 175531208 26624872448 8043 33554432000 4194304 4196468 140721056038048 139873774111344 139874722112090 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5696] ppid=5674 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5677/task/5696/stat : 5696 (java) S 5674 5677 5530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175531208 26624872448 8043 33554432000 4194304 4196468 140721056038048 139873773058528 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5697] ppid=5674 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/5677/task/5697/stat : 5697 (java) S 5674 5677 5530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175531209 26624872448 8043 33554432000 4194304 4196468 140721056038048 139873772006064 139874722101890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 32172 KiB
[startup+0.210322 s]*
/proc/loadavg: 8.25 8.60 8.65 2/198 5697
/proc/meminfo: memFree=23599008/32770624 swapFree=67108860/67108860
[pid=5677] ppid=5674 vsize=26000852 memory=41056 CPUtime=0.29 cores=0-7
/proc/5677/stat : 5677 (java) S 5674 5677 5530 0 -1 1077944320 9437 0 0 0 26 3 0 0 20 0 20 0 175531202 26624872448 10264 33554432000 4194304 4196468 140721056038048 140721056020592 139874722090743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
/proc/5677/statm: 6500213 10264 3580 1 0 6487932 0
[pid=5677/tid=5679] ppid=5674 vsize=26000852 memory=4026531975 CPUtime=0.2 cores=0-7
/proc/5677/task/5679/stat : 5679 (java) R 5674 5677 5530 0 -1 4202560 7020 0 0 0 18 2 0 0 20 0 20 0 175531203 26624872448 10264 33554432000 4194304 4196468 140721056038048 139874726315824 139874706171230 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5680] ppid=5674 vsize=26000852 memory=9316 CPUtime=0 cores=0-7
/proc/5677/task/5680/stat : 5680 (java) S 5674 5677 5530 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175531204 26624872448 10264 33554432000 4194304 4196468 140721056038048 139874674711056 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5681] ppid=5674 vsize=26000852 memory=140540899334833 CPUtime=0 cores=0-7
/proc/5677/task/5681/stat : 5681 (java) S 5674 5677 5530 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175531204 26624872448 10264 33554432000 4194304 4196468 140721056038048 139874673658512 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5682] ppid=5674 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/5677/task/5682/stat : 5682 (java) S 5674 5677 5530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175531204 26624872448 10264 33554432000 4194304 4196468 140721056038048 139874672605456 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5683] ppid=5674 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5677/task/5683/stat : 5683 (java) S 5674 5677 5530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175531204 26624872448 10264 33554432000 4194304 4196468 140721056038048 139874671552912 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5684] ppid=5674 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5677/task/5684/stat : 5684 (java) S 5674 5677 5530 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175531204 26624872448 10264 33554432000 4194304 4196468 140721056038048 139874275818512 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5685] ppid=5674 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/5677/task/5685/stat : 5685 (java) S 5674 5677 5530 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175531204 26624872448 10264 33554432000 4194304 4196468 140721056038048 139874274765968 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5686] ppid=5674 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5677/task/5686/stat : 5686 (java) S 5674 5677 5530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175531204 26624872448 10264 33554432000 4194304 4196468 140721056038048 139874273712912 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5687] ppid=5674 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5677/task/5687/stat : 5687 (java) S 5674 5677 5530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175531204 26624872448 10264 33554432000 4194304 4196468 140721056038048 139874272660368 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5688] ppid=5674 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5677/task/5688/stat : 5688 (java) S 5674 5677 5530 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 175531205 26624872448 10264 33554432000 4194304 4196468 140721056038048 139873781479664 139874722101890 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5689] ppid=5674 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5677/task/5689/stat : 5689 (java) S 5674 5677 5530 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 175531205 26624872448 10264 33554432000 4194304 4196468 140721056038048 139873780425888 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5690] ppid=5674 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5677/task/5690/stat : 5690 (java) S 5674 5677 5530 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 175531206 26624872448 10264 33554432000 4194304 4196468 140721056038048 139873779372784 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5691] ppid=5674 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5677/task/5691/stat : 5691 (java) S 5674 5677 5530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175531208 26624872448 10264 33554432000 4194304 4196468 140721056038048 139873778321360 139874722109339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5692] ppid=5674 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/5677/task/5692/stat : 5692 (java) S 5674 5677 5530 0 -1 1077944384 459 0 0 0 1 0 0 0 20 0 20 0 175531208 26624872448 10264 33554432000 4194304 4196468 140721056038048 139873777269488 139874722101890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5693] ppid=5674 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/5677/task/5693/stat : 5693 (java) S 5674 5677 5530 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 20 0 175531208 26624872448 10264 33554432000 4194304 4196468 140721056038048 139873776216944 139874722101890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5694] ppid=5674 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/5677/task/5694/stat : 5694 (java) S 5674 5677 5530 0 -1 1077944384 147 0 0 0 1 0 0 0 20 0 20 0 175531208 26624872448 10264 33554432000 4194304 4196468 140721056038048 139873775163888 139874722101890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5695] ppid=5674 vsize=26000852 memory=0 CPUtime=0.05 cores=0-7
/proc/5677/task/5695/stat : 5695 (java) S 5674 5677 5530 0 -1 1077944384 385 0 0 0 5 0 0 0 20 0 20 0 175531208 26624872448 10264 33554432000 4194304 4196468 140721056038048 139873774111344 139874722101890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5696] ppid=5674 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5677/task/5696/stat : 5696 (java) S 5674 5677 5530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175531208 26624872448 10264 33554432000 4194304 4196468 140721056038048 139873773058528 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5697] ppid=5674 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/5677/task/5697/stat : 5697 (java) S 5674 5677 5530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175531209 26624872448 10264 33554432000 4194304 4196468 140721056038048 139873772006064 139874722101890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 41056 KiB
[startup+0.309994 s]*
/proc/loadavg: 8.25 8.60 8.65 2/198 5697
/proc/meminfo: memFree=23591324/32770624 swapFree=67108860/67108860
[pid=5677] ppid=5674 vsize=26000872 memory=49652 CPUtime=0.48 cores=0-7
/proc/5677/stat : 5677 (java) S 5674 5677 5530 0 -1 1077944320 10627 0 0 0 45 3 0 0 20 0 20 0 175531202 26624892928 12413 33554432000 4194304 4196468 140721056038048 140721056020592 139874722090743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
/proc/5677/statm: 6500218 12413 3715 1 0 6487932 0
[pid=5677/tid=5679] ppid=5674 vsize=26000872 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/5677/task/5679/stat : 5679 (java) R 5674 5677 5530 0 -1 4202560 7723 0 0 0 27 2 0 0 20 0 20 0 175531203 26624892928 12413 33554432000 4194304 4196468 140721056038048 139874726314800 139874351056231 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5680] ppid=5674 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/5677/task/5680/stat : 5680 (java) S 5674 5677 5530 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175531204 26624892928 12413 33554432000 4194304 4196468 140721056038048 139874674711056 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5681] ppid=5674 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/5677/task/5681/stat : 5681 (java) S 5674 5677 5530 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175531204 26624892928 12413 33554432000 4194304 4196468 140721056038048 139874673658512 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5682] ppid=5674 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/5677/task/5682/stat : 5682 (java) S 5674 5677 5530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175531204 26624892928 12413 33554432000 4194304 4196468 140721056038048 139874672605456 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5683] ppid=5674 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/5677/task/5683/stat : 5683 (java) S 5674 5677 5530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175531204 26624892928 12413 33554432000 4194304 4196468 140721056038048 139874671552912 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5684] ppid=5674 vsize=26000872 memory=2244 CPUtime=0 cores=0-7
/proc/5677/task/5684/stat : 5684 (java) S 5674 5677 5530 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175531204 26624892928 12413 33554432000 4194304 4196468 140721056038048 139874275818512 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5685] ppid=5674 vsize=26000872 memory=140540792370095 CPUtime=0 cores=0-7
/proc/5677/task/5685/stat : 5685 (java) S 5674 5677 5530 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175531204 26624892928 12413 33554432000 4194304 4196468 140721056038048 139874274765968 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5686] ppid=5674 vsize=26000872 memory=140540792372400 CPUtime=0 cores=0-7
/proc/5677/task/5686/stat : 5686 (java) S 5674 5677 5530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175531204 26624892928 12413 33554432000 4194304 4196468 140721056038048 139874273712912 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5687] ppid=5674 vsize=26000872 memory=3472464438973543904 CPUtime=0 cores=0-7
/proc/5677/task/5687/stat : 5687 (java) S 5674 5677 5530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175531204 26624892928 12413 33554432000 4194304 4196468 140721056038048 139874272660368 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5688] ppid=5674 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/5677/task/5688/stat : 5688 (java) S 5674 5677 5530 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 175531205 26624892928 12413 33554432000 4194304 4196468 140721056038048 139873781479664 139874722101890 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5689] ppid=5674 vsize=26000872 memory=281081584756368 CPUtime=0 cores=0-7
/proc/5677/task/5689/stat : 5689 (java) S 5674 5677 5530 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 175531205 26624892928 12413 33554432000 4194304 4196468 140721056038048 139873780425888 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5690] ppid=5674 vsize=26000872 memory=281081584763280 CPUtime=0 cores=0-7
/proc/5677/task/5690/stat : 5690 (java) S 5674 5677 5530 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 175531206 26624892928 12413 33554432000 4194304 4196468 140721056038048 139873779372784 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5691] ppid=5674 vsize=26000872 memory=281081584704432 CPUtime=0 cores=0-7
/proc/5677/task/5691/stat : 5691 (java) S 5674 5677 5530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175531208 26624892928 12413 33554432000 4194304 4196468 140721056038048 139873778321360 139874722109339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5692] ppid=5674 vsize=26000872 memory=281081584777104 CPUtime=0.01 cores=0-7
/proc/5677/task/5692/stat : 5692 (java) S 5674 5677 5530 0 -1 1077944384 482 0 0 0 1 0 0 0 20 0 20 0 175531208 26624892928 12413 33554432000 4194304 4196468 140721056038048 139873777269488 139874722101890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5693] ppid=5674 vsize=26000872 memory=281081584784016 CPUtime=0.03 cores=0-7
/proc/5677/task/5693/stat : 5693 (java) S 5674 5677 5530 0 -1 1077944384 278 0 0 0 3 0 0 0 20 0 20 0 175531208 26624892928 12413 33554432000 4194304 4196468 140721056038048 139873776216944 139874722101890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5694] ppid=5674 vsize=26000872 memory=281081584781712 CPUtime=0.04 cores=0-7
/proc/5677/task/5694/stat : 5694 (java) S 5674 5677 5530 0 -1 1077944384 289 0 0 0 4 0 0 0 20 0 20 0 175531208 26624892928 12413 33554432000 4194304 4196468 140721056038048 139873775163888 139874722101890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5695] ppid=5674 vsize=26000872 memory=281081584798320 CPUtime=0.08 cores=0-7
/proc/5677/task/5695/stat : 5695 (java) S 5674 5677 5530 0 -1 1077944384 470 0 0 0 8 0 0 0 20 0 20 0 175531208 26624892928 12413 33554432000 4194304 4196468 140721056038048 139873774111344 139874722101890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5696] ppid=5674 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/5677/task/5696/stat : 5696 (java) S 5674 5677 5530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175531208 26624892928 12413 33554432000 4194304 4196468 140721056038048 139873773058528 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5697] ppid=5674 vsize=26000872 memory=-1 CPUtime=0 cores=0-7
/proc/5677/task/5697/stat : 5697 (java) S 5674 5677 5530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175531209 26624892928 12413 33554432000 4194304 4196468 140721056038048 139873772006064 139874722101890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 26000872 KiB
Current children cumulated memory: 49652 KiB
[startup+0.700899 s]
/proc/loadavg: 8.25 8.60 8.65 3/198 5697
/proc/meminfo: memFree=23578172/32770624 swapFree=67108860/67108860
[pid=5677] ppid=5674 vsize=26004968 memory=77956 CPUtime=1.13 cores=0-7
/proc/5677/stat : 5677 (java) S 5674 5677 5530 0 -1 1077944320 13157 0 0 0 108 5 0 0 20 0 20 0 175531202 26629087232 19489 33554432000 4194304 4196468 140721056038048 140721056020592 139874722090743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
/proc/5677/statm: 6501242 19489 3748 1 0 6488956 0
[pid=5677/tid=5679] ppid=5674 vsize=26004968 memory=0 CPUtime=0.67 cores=0-7
/proc/5677/task/5679/stat : 5679 (java) R 5674 5677 5530 0 -1 4202560 9470 0 0 0 64 3 0 0 20 0 20 0 175531203 26629087232 19489 33554432000 4194304 4196468 140721056038048 139874726326048 139874706171230 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5680] ppid=5674 vsize=26004968 memory=0 CPUtime=0 cores=0-7
/proc/5677/task/5680/stat : 5680 (java) S 5674 5677 5530 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175531204 26629087232 19489 33554432000 4194304 4196468 140721056038048 139874674711056 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5681] ppid=5674 vsize=26004968 memory=0 CPUtime=0 cores=0-7
/proc/5677/task/5681/stat : 5681 (java) S 5674 5677 5530 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175531204 26629087232 19489 33554432000 4194304 4196468 140721056038048 139874673658512 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5682] ppid=5674 vsize=26004968 memory=0 CPUtime=0 cores=0-7
/proc/5677/task/5682/stat : 5682 (java) S 5674 5677 5530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175531204 26629087232 19489 33554432000 4194304 4196468 140721056038048 139874672605456 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5683] ppid=5674 vsize=26004968 memory=1228 CPUtime=0 cores=0-7
/proc/5677/task/5683/stat : 5683 (java) S 5674 5677 5530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175531204 26629087232 19489 33554432000 4194304 4196468 140721056038048 139874671552912 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5684] ppid=5674 vsize=26004968 memory=11108 CPUtime=0 cores=0-7
/proc/5677/task/5684/stat : 5684 (java) S 5674 5677 5530 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175531204 26629087232 19489 33554432000 4194304 4196468 140721056038048 139874275818512 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5685] ppid=5674 vsize=26004968 memory=796 CPUtime=0 cores=0-7
/proc/5677/task/5685/stat : 5685 (java) S 5674 5677 5530 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175531204 26629087232 19489 33554432000 4194304 4196468 140721056038048 139874274765968 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5686] ppid=5674 vsize=26004968 memory=1424 CPUtime=0 cores=0-7
/proc/5677/task/5686/stat : 5686 (java) S 5674 5677 5530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175531204 26629087232 19489 33554432000 4194304 4196468 140721056038048 139874273712912 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5687] ppid=5674 vsize=26004968 memory=15876 CPUtime=0 cores=0-7
/proc/5677/task/5687/stat : 5687 (java) S 5674 5677 5530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175531204 26629087232 19489 33554432000 4194304 4196468 140721056038048 139874272660368 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5688] ppid=5674 vsize=26004968 memory=4052 CPUtime=0 cores=0-7
/proc/5677/task/5688/stat : 5688 (java) S 5674 5677 5530 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 175531205 26629087232 19489 33554432000 4194304 4196468 140721056038048 139873781479664 139874722101890 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
################
# More data... #
################
[pid=5677/tid=5697] ppid=5674 vsize=26075628 memory=0 CPUtime=0 cores=0-7
/proc/5677/task/5697/stat : 5697 (java) S 5674 5677 5530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 175531209 26701443072 58271 33554432000 4194304 4196468 140721056038048 139873772006064 139874722101890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
Current children cumulated CPU time: 3.45 s
Current children cumulated vsize: 26075628 KiB
Current children cumulated memory: 233084 KiB
[startup+2.06099 s]
# the end of solver process 5677 was just reported to runsolver
# cumulated CPU time of all completed processes: user=6.42631 s, system=0.176463 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60106 s]
/proc/loadavg: 8.25 8.60 8.65 5/198 5697
/proc/meminfo: memFree=23506024/32770624 swapFree=67108860/67108860
[pid=5677] ppid=5674 vsize=26142192 memory=234856 CPUtime=3.58 cores=0-7
/proc/5677/stat : 5677 (java) S 5674 5677 5530 0 -1 1077944320 30955 0 0 0 345 13 0 0 20 0 22 0 175531202 26769604608 58714 33554432000 4194304 4196468 140721056038048 140721056020592 139874722090743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
/proc/5677/statm: 6535548 58714 3809 1 0 6523262 0
[pid=5677/tid=5679] ppid=5674 vsize=26142192 memory=0 CPUtime=1.54 cores=0-7
/proc/5677/task/5679/stat : 5679 (java) R 5674 5677 5530 0 -1 4202560 12407 0 0 0 149 5 0 0 20 0 22 0 175531203 26769604608 58714 33554432000 4194304 4196468 140721056038048 139874726312368 139874706171230 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5680] ppid=5674 vsize=26142192 memory=0 CPUtime=0 cores=0-7
/proc/5677/task/5680/stat : 5680 (java) S 5674 5677 5530 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 22 0 175531204 26769604608 58714 33554432000 4194304 4196468 140721056038048 139874674711056 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5681] ppid=5674 vsize=26142192 memory=0 CPUtime=0 cores=0-7
/proc/5677/task/5681/stat : 5681 (java) S 5674 5677 5530 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 22 0 175531204 26769604608 58714 33554432000 4194304 4196468 140721056038048 139874673658512 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5682] ppid=5674 vsize=26142192 memory=0 CPUtime=0 cores=0-7
/proc/5677/task/5682/stat : 5682 (java) S 5674 5677 5530 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 22 0 175531204 26769604608 58714 33554432000 4194304 4196468 140721056038048 139874672605456 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5683] ppid=5674 vsize=26142192 memory=4132 CPUtime=0 cores=0-7
/proc/5677/task/5683/stat : 5683 (java) S 5674 5677 5530 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 22 0 175531204 26769604608 58714 33554432000 4194304 4196468 140721056038048 139874671552912 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5684] ppid=5674 vsize=26142192 memory=48384 CPUtime=0 cores=0-7
/proc/5677/task/5684/stat : 5684 (java) S 5674 5677 5530 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 22 0 175531204 26769604608 58714 33554432000 4194304 4196468 140721056038048 139874275818512 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5685] ppid=5674 vsize=26142192 memory=6408091206842 CPUtime=0 cores=0-7
/proc/5677/task/5685/stat : 5685 (java) S 5674 5677 5530 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 22 0 175531204 26769604608 58714 33554432000 4194304 4196468 140721056038048 139874274765968 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5686] ppid=5674 vsize=26142192 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/5677/task/5686/stat : 5686 (java) S 5674 5677 5530 0 -1 1077944384 237 0 0 0 0 0 0 0 20 0 22 0 175531204 26769604608 58714 33554432000 4194304 4196468 140721056038048 139874273712912 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5687] ppid=5674 vsize=26142192 memory=16098169624726079 CPUtime=0 cores=0-7
/proc/5677/task/5687/stat : 5687 (java) S 5674 5677 5530 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 22 0 175531204 26769604608 58714 33554432000 4194304 4196468 140721056038048 139874272660368 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5688] ppid=5674 vsize=26142192 memory=1200 CPUtime=0 cores=0-7
/proc/5677/task/5688/stat : 5688 (java) S 5674 5677 5530 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 22 0 175531205 26769604608 58714 33554432000 4194304 4196468 140721056038048 139873781479664 139874722101890 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5689] ppid=5674 vsize=26142192 memory=8692 CPUtime=0 cores=0-7
/proc/5677/task/5689/stat : 5689 (java) S 5674 5677 5530 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 22 0 175531205 26769604608 58714 33554432000 4194304 4196468 140721056038048 139873780425952 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5690] ppid=5674 vsize=26142192 memory=5784 CPUtime=0 cores=0-7
/proc/5677/task/5690/stat : 5690 (java) S 5674 5677 5530 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 22 0 175531206 26769604608 58714 33554432000 4194304 4196468 140721056038048 139873779372784 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5691] ppid=5674 vsize=26142192 memory=4616 CPUtime=0 cores=0-7
/proc/5677/task/5691/stat : 5691 (java) S 5674 5677 5530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 22 0 175531208 26769604608 58714 33554432000 4194304 4196468 140721056038048 139873778321360 139874722109339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5692] ppid=5674 vsize=26142192 memory=20036 CPUtime=0.46 cores=0-7
/proc/5677/task/5692/stat : 5692 (java) S 5674 5677 5530 0 -1 1077944384 3921 0 0 0 45 1 0 0 20 0 22 0 175531208 26769604608 58714 33554432000 4194304 4196468 140721056038048 139873777269488 139874722101890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5693] ppid=5674 vsize=26142192 memory=6944656592455359580 CPUtime=0.45 cores=0-7
/proc/5677/task/5693/stat : 5693 (java) S 5674 5677 5530 0 -1 1077944384 3663 0 0 0 44 1 0 0 20 0 22 0 175531208 26769604608 58714 33554432000 4194304 4196468 140721056038048 139873776216944 139874722101890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5694] ppid=5674 vsize=26142192 memory=6944656592455359580 CPUtime=0.48 cores=0-7
/proc/5677/task/5694/stat : 5694 (java) S 5674 5677 5530 0 -1 1077944384 4008 0 0 0 48 0 0 0 20 0 22 0 175531208 26769604608 58714 33554432000 4194304 4196468 140721056038048 139873775163888 139874722101890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5695] ppid=5674 vsize=26142192 memory=6944656592455360604 CPUtime=0.53 cores=0-7
/proc/5677/task/5695/stat : 5695 (java) S 5674 5677 5530 0 -1 1077944384 4919 0 0 0 52 1 0 0 20 0 22 0 175531208 26769604608 58714 33554432000 4194304 4196468 140721056038048 139873774111344 139874722101890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5696] ppid=5674 vsize=26142192 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/5677/task/5696/stat : 5696 (java) S 5674 5677 5530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 175531208 26769604608 58714 33554432000 4194304 4196468 140721056038048 139873773058528 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5697] ppid=5674 vsize=26142192 memory=6944656592387989600 CPUtime=0 cores=0-7
/proc/5677/task/5697/stat : 5697 (java) S 5674 5677 5530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 175531209 26769604608 58714 33554432000 4194304 4196468 140721056038048 139873772006064 139874722101890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
Current children cumulated CPU time: 3.58 s
Current children cumulated vsize: 26142192 KiB
Current children cumulated memory: 234856 KiB
[startup+2.00079 s]*
/proc/loadavg: 8.25 8.60 8.65 15/222 5721
/proc/meminfo: memFree=23390644/32770624 swapFree=67108860/67108860
[pid=5677] ppid=5674 vsize=27742832 memory=246776 CPUtime=6.46 cores=0-7
/proc/5677/stat : 5677 (java) S 5674 5677 5530 0 -1 1077944320 38493 0 0 0 630 16 0 0 20 0 45 0 175531202 28408659968 61694 33554432000 4194304 4196468 140721056038048 140721056020592 139874722090743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
/proc/5677/statm: 6935708 61694 3811 1 0 6922901 0
[pid=5677/tid=5679] ppid=5674 vsize=27678324 memory=8112282956445269571 CPUtime=1.6 cores=0-7
/proc/5677/task/5679/stat : 5679 (java) S 5674 5677 5530 0 -1 1077944384 12606 0 0 0 154 6 0 0 20 0 46 0 175531203 28342603776 61695 33554432000 4194304 4196468 140721056038048 139874726328448 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5680] ppid=5674 vsize=27678324 memory=4342489072520795241 CPUtime=0 cores=0-7
/proc/5677/task/5680/stat : 5680 (java) S 5674 5677 5530 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 46 0 175531204 28342603776 61695 33554432000 4194304 4196468 140721056038048 139874674711056 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5681] ppid=5674 vsize=27678324 memory=2319549462822893216 CPUtime=0 cores=0-7
/proc/5677/task/5681/stat : 5681 (java) S 5674 5677 5530 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 46 0 175531204 28342603776 61695 33554432000 4194304 4196468 140721056038048 139874673658512 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5682] ppid=5674 vsize=27678324 memory=5859291143842451536 CPUtime=0 cores=0-7
/proc/5677/task/5682/stat : 5682 (java) S 5674 5677 5530 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 46 0 175531204 28342603776 61695 33554432000 4194304 4196468 140721056038048 139874672605456 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5683] ppid=5674 vsize=27678324 memory=5859291143842451536 CPUtime=0 cores=0-7
/proc/5677/task/5683/stat : 5683 (java) S 5674 5677 5530 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 46 0 175531204 28342603776 61695 33554432000 4194304 4196468 140721056038048 139874671552912 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5684] ppid=5674 vsize=27678324 memory=0 CPUtime=0 cores=0-7
/proc/5677/task/5684/stat : 5684 (java) S 5674 5677 5530 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 46 0 175531204 28342603776 61695 33554432000 4194304 4196468 140721056038048 139874275818512 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5685] ppid=5674 vsize=27678324 memory=26624892927 CPUtime=0 cores=0-7
/proc/5677/task/5685/stat : 5685 (java) S 5674 5677 5530 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 46 0 175531204 28342603776 61695 33554432000 4194304 4196468 140721056038048 139874274765968 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5686] ppid=5674 vsize=27678324 memory=26800424134 CPUtime=0 cores=0-7
/proc/5677/task/5686/stat : 5686 (java) S 5674 5677 5530 0 -1 1077944384 237 0 0 0 0 0 0 0 20 0 46 0 175531204 28342603776 61695 33554432000 4194304 4196468 140721056038048 139874273712912 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5687] ppid=5674 vsize=27678324 memory=26800424136 CPUtime=0 cores=0-7
/proc/5677/task/5687/stat : 5687 (java) S 5674 5677 5530 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 46 0 175531204 28342603776 61695 33554432000 4194304 4196468 140721056038048 139874272660368 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5688] ppid=5674 vsize=27678324 memory=0 CPUtime=0 cores=0-7
/proc/5677/task/5688/stat : 5688 (java) S 5674 5677 5530 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 46 0 175531205 28342603776 61695 33554432000 4194304 4196468 140721056038048 139873781479664 139874722101890 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5689] ppid=5674 vsize=27678324 memory=0 CPUtime=0 cores=0-7
/proc/5677/task/5689/stat : 5689 (java) S 5674 5677 5530 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 46 0 175531205 28342603776 61695 33554432000 4194304 4196468 140721056038048 139873780425952 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5690] ppid=5674 vsize=27678324 memory=0 CPUtime=0 cores=0-7
/proc/5677/task/5690/stat : 5690 (java) S 5674 5677 5530 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 46 0 175531206 28342603776 61695 33554432000 4194304 4196468 140721056038048 139873779372784 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5691] ppid=5674 vsize=27678324 memory=5793430466091373666 CPUtime=0 cores=0-7
/proc/5677/task/5691/stat : 5691 (java) S 5674 5677 5530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 175531208 28342603776 61695 33554432000 4194304 4196468 140721056038048 139873778321360 139874722109339 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5692] ppid=5674 vsize=27678324 memory=8023269665315972697 CPUtime=0.78 cores=0-7
/proc/5677/task/5692/stat : 5692 (java) R 5674 5677 5530 0 -1 4202560 5524 0 0 0 76 2 0 0 20 0 46 0 175531208 28342603776 61731 33554432000 4194304 4196468 140721056038048 139873777255368 139874700494190 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5693] ppid=5674 vsize=27678324 memory=3054156605368933524 CPUtime=0.69 cores=0-7
/proc/5677/task/5693/stat : 5693 (java) R 5674 5677 5530 0 -1 4202560 4396 0 0 0 68 1 0 0 20 0 46 0 175531208 28342603776 61731 33554432000 4194304 4196468 140721056038048 139873776198512 139874703608199 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5694] ppid=5674 vsize=27678324 memory=-8918990855134196790 CPUtime=0.77 cores=0-7
/proc/5677/task/5694/stat : 5694 (java) R 5674 5677 5530 0 -1 4202560 5599 0 0 0 76 1 0 0 20 0 46 0 175531208 28342603776 61713 33554432000 4194304 4196468 140721056038048 139873775149912 139874703636306 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5695] ppid=5674 vsize=27678324 memory=6944613755495348631 CPUtime=0.66 cores=0-7
/proc/5677/task/5695/stat : 5695 (java) R 5674 5677 5530 0 -1 4202560 7270 0 0 0 65 1 0 0 20 0 45 0 175531208 28342603776 61713 33554432000 4194304 4196468 140721056038048 139873774108600 139874700795486 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5696] ppid=5674 vsize=27678324 memory=3472328296227680300 CPUtime=0 cores=0-7
/proc/5677/task/5696/stat : 5696 (java) S 5674 5677 5530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 45 0 175531208 28342603776 61713 33554432000 4194304 4196468 140721056038048 139873773058528 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5697] ppid=5674 vsize=27678324 memory=3472328296227679279 CPUtime=0 cores=0-7
/proc/5677/task/5697/stat : 5697 (java) S 5674 5677 5530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 45 0 175531209 28342603776 61713 33554432000 4194304 4196468 140721056038048 139873772006064 139874722101890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5699] ppid=5674 vsize=27678324 memory=3472328279047811119 CPUtime=0 cores=0-7
/proc/5677/task/5699/stat : 5699 (java) S 5674 5677 5530 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 45 0 175531354 28342603776 61713 33554432000 4194304 4196468 140721056038048 139873758565072 139874722101890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5700] ppid=5674 vsize=27678324 memory=3472464439080498864 CPUtime=0.23 cores=0-7
/proc/5677/task/5700/stat : 5700 (java) S 5674 5677 5530 0 -1 1077944384 149 0 0 0 23 0 0 0 20 0 45 0 175531363 28342603776 61713 33554432000 4194304 4196468 140721056038048 139873757513136 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5701] ppid=5674 vsize=27678324 memory=8679671643560370547 CPUtime=0.2 cores=0-7
/proc/5677/task/5701/stat : 5701 (java) R 5674 5677 5530 0 -1 4202560 144 0 0 0 20 0 0 0 20 0 45 0 175531364 28342603776 61713 33554432000 4194304 4196468 140721056038048 139873756460592 139874706171230 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5702] ppid=5674 vsize=27678324 memory=0 CPUtime=0.19 cores=0-7
/proc/5677/task/5702/stat : 5702 (java) S 5674 5677 5530 0 -1 1077944384 47 0 0 0 19 0 0 0 20 0 45 0 175531364 28342603776 61713 33554432000 4194304 4196468 140721056038048 139873755407536 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5703] ppid=5674 vsize=27678324 memory=0 CPUtime=0.02 cores=0-7
/proc/5677/task/5703/stat : 5703 (java) R 5674 5677 5530 0 -1 4202560 43 0 0 0 2 0 0 0 20 0 45 0 175531367 28342603776 61713 33554432000 4194304 4196468 140721056038048 139873752251040 139874706171230 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5704] ppid=5674 vsize=27678324 memory=0 CPUtime=0.04 cores=0-7
/proc/5677/task/5704/stat : 5704 (java) S 5674 5677 5530 0 -1 1077944384 82 0 0 0 4 0 0 0 20 0 45 0 175531367 28342603776 61713 33554432000 4194304 4196468 140721056038048 139873751204784 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5705] ppid=5674 vsize=27678324 memory=0 CPUtime=0.22 cores=0-7
/proc/5677/task/5705/stat : 5705 (java) S 5674 5677 5530 0 -1 1077944384 69 0 0 0 22 0 0 0 20 0 45 0 175531367 28342603776 61713 33554432000 4194304 4196468 140721056038048 139873750152240 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5706] ppid=5674 vsize=27678324 memory=2017 CPUtime=0.18 cores=0-7
/proc/5677/task/5706/stat : 5706 (java) S 5674 5677 5530 0 -1 1077944384 54 0 0 0 18 0 0 0 20 0 45 0 175531367 28342603776 61713 33554432000 4194304 4196468 140721056038048 139873749092448 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5707] ppid=5674 vsize=27678324 memory=-2317720213663851332 CPUtime=0.06 cores=0-7
/proc/5677/task/5707/stat : 5707 (java) S 5674 5677 5530 0 -1 1077944384 83 0 0 0 6 0 0 0 20 0 45 0 175531367 28342603776 61713 33554432000 4194304 4196468 140721056038048 139873748046640 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5708] ppid=5674 vsize=27678324 memory=6944652177228980320 CPUtime=0.04 cores=0-7
/proc/5677/task/5708/stat : 5708 (java) R 5674 5677 5530 0 -1 1077944384 38 0 0 0 4 0 0 0 20 0 45 0 175531367 28342603776 61713 33554432000 4194304 4196468 140721056038048 139873746994608 139874722100949 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5709] ppid=5674 vsize=27678324 memory=0 CPUtime=0.16 cores=0-7
/proc/5677/task/5709/stat : 5709 (java) R 5674 5677 5530 0 -1 1077944384 32 0 0 0 16 0 0 0 20 0 45 0 175531367 28342603776 61713 33554432000 4194304 4196468 140721056038048 139873745935328 139874722100949 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5710] ppid=5674 vsize=27678324 memory=0 CPUtime=0.19 cores=0-7
/proc/5677/task/5710/stat : 5710 (java) S 5674 5677 5530 0 -1 1077944384 47 0 0 0 19 0 0 0 20 0 45 0 175531372 28342603776 61713 33554432000 4194304 4196468 140721056038048 139873744882304 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5711] ppid=5674 vsize=27678324 memory=0 CPUtime=0.19 cores=0-7
/proc/5677/task/5711/stat : 5711 (java) S 5674 5677 5530 0 -1 1077944384 29 0 0 0 19 0 0 0 20 0 45 0 175531372 28342603776 61713 33554432000 4194304 4196468 140721056038048 139873743836464 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5712] ppid=5674 vsize=27678324 memory=0 CPUtime=0.04 cores=0-7
/proc/5677/task/5712/stat : 5712 (java) S 5674 5677 5530 0 -1 1077944384 26 0 0 0 4 0 0 0 20 0 45 0 175531372 28342603776 61713 33554432000 4194304 4196468 140721056038048 139873742783408 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5713] ppid=5674 vsize=27678324 memory=0 CPUtime=0 cores=0-7
/proc/5677/task/5713/stat : 5713 (java) R 5674 5677 5530 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 45 0 175531372 28342603776 61713 33554432000 4194304 4196468 140721056038048 139873741728464 139874722100949 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5714] ppid=5674 vsize=27678324 memory=0 CPUtime=0.01 cores=0-7
/proc/5677/task/5714/stat : 5714 (java) R 5674 5677 5530 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 45 0 175531372 28342603776 61713 33554432000 4194304 4196468 140721056038048 139873740672896 139874722100949 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5715] ppid=5674 vsize=27678324 memory=-1 CPUtime=0 cores=0-7
/proc/5677/task/5715/stat : 5715 (java) S 5674 5677 5530 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 45 0 175531372 28342603776 61713 33554432000 4194304 4196468 140721056038048 139873739625264 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5716] ppid=5674 vsize=27678324 memory=-1 CPUtime=0 cores=0-7
/proc/5677/task/5716/stat : 5716 (java) S 5674 5677 5530 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 45 0 175531394 28342603776 61713 33554432000 4194304 4196468 140721056038048 139873736432480 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5717] ppid=5674 vsize=27678324 memory=0 CPUtime=0 cores=0-7
/proc/5677/task/5717/stat : 5717 (java) R 5674 5677 5530 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 45 0 175531396 28342603776 61713 33554432000 4194304 4196468 140721056038048 139873735380864 139874722100949 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5718] ppid=5674 vsize=27678324 memory=0 CPUtime=0 cores=0-7
/proc/5677/task/5718/stat : 5718 (java) S 5674 5677 5530 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 45 0 175531398 28342603776 61713 33554432000 4194304 4196468 140721056038048 139873734331088 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5719] ppid=5674 vsize=27678324 memory=0 CPUtime=0 cores=0-7
/proc/5677/task/5719/stat : 5719 (java) S 5674 5677 5530 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 45 0 175531398 28342603776 61713 33554432000 4194304 4196468 140721056038048 139873733281072 139874722100949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5720] ppid=5674 vsize=27678324 memory=0 CPUtime=0 cores=0-7
/proc/5677/task/5720/stat : 5720 (java) R 5674 5677 5530 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 45 0 175531398 28342603776 61713 33554432000 4194304 4196468 140721056038048 139873732228016 139874722100949 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5721] ppid=5674 vsize=27678324 memory=-9001734043636558800 CPUtime=0 cores=0-7
/proc/5677/task/5721/stat : 5721 (java) R 5674 5677 5530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 45 0 175531400 28342603776 61713 33554432000 4194304 4196468 140721056038048 139872807930400 139874722101890 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5722] ppid=5674 vsize=27678324 memory=0 CPUtime=0 cores=0-7
/proc/5677/task/5722/stat : 5722 (java) R 5674 5677 5530 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 45 0 175531403 28342603776 61713 33554432000 4194304 4196468 140721056038048 139872806884016 139874722100949 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
[pid=5677/tid=5723] ppid=5674 vsize=27678324 memory=0 CPUtime=0 cores=0-7
/proc/5677/task/5723/stat : 5723 (java) R 5674 5677 5530 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 45 0 175531403 28342603776 61713 33554432000 4194304 4196468 140721056038048 139872805833440 139874722112669 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27365376 140721056040033 140721056040219 140721056040219 140721056042959 0
Current children cumulated CPU time: 6.46 s
Current children cumulated vsize: 27742832 KiB
Current children cumulated memory: 246776 KiB
Child status: 0
Real time (s): 2.06104
CPU time (s): 6.60277
CPU user time (s): 6.42631
CPU system time (s): 0.176463
CPU usage (%): 320.361
Max. virtual memory (cumulated for all children) (KiB): 27742832
Max. memory (cumulated for all children) (KiB): 246776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.42631
system time used= 0.176463
maximum resident set size= 249388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38869
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4981
involuntary context switches= 115
# summary of solver processes directly reported to runsolver:
# pid: 5677
# total CPU time (s): 6.60277
# total CPU user time (s): 6.42631
# total CPU system time (s): 0.176463
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.029498 second user time and 0.072221 second system time
The end
Begin job on node115 at 2017-08-22 19:39:36
IDJOB=4285069
IDBENCH=124119
IDSOLVER=2681
FILE ID=node115/4285069-1503424437
RUNJOBID= node115-1503423573-5557
PBS_JOBID= 20632131
Free space on /tmp= 61024 MiB
SOLVER NAME= OscaR - Parallel with EPS 2017-08-22
BENCH NAME= XCSP17/AllInterval/AllInterval-m1-s1/AllInterval-050.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-4285069-1503424437/watcher-4285069-1503424437 -o /tmp/evaluation-result-4285069-1503424437/solver-4285069-1503424437 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node115-1503423573-5557 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1918715338 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285069-1503424437.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 010bfed6e804a02be5e9f2a754b88433
RANDOM SEED=1918715338
node115.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.69
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.69
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.69
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.69
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: 23626608 kB
MemAvailable: 31948096 kB
Buffers: 266240 kB
Cached: 8342900 kB
SwapCached: 0 kB
Active: 1869188 kB
Inactive: 6794528 kB
Active(anon): 6084 kB
Inactive(anon): 93404 kB
Active(file): 1863104 kB
Inactive(file): 6701124 kB
Unevictable: 7012 kB
Mlocked: 7012 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 42520 kB
Writeback: 0 kB
AnonPages: 62236 kB
Mapped: 54948 kB
Shmem: 41608 kB
Slab: 173568 kB
SReclaimable: 146192 kB
SUnreclaim: 27376 kB
KernelStack: 3232 kB
PageTables: 4824 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 340500 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8192 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 105856 kB
DirectMap2M: 33439744 kB
Free space on /tmp at the end= 60980 MiB
End job on node115 at 2017-08-22 19:39:39