0.00/0.00 c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270958-1502715975.xml" -tl '20160s' -p 8 -x 0
0.11/0.14 c [HOME/instance-4270958-1502715975.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20 c 8 solvers in parallel
0.33/0.27 c parse instance...
40.15/28.37 c solve instance...
41.01/28.59 s SATISFIABLE
41.01/28.59 v <instantiation>
41.01/28.59 v <list>x[1][3] x[1][4] x[1][6] x[1][7] x[1][11] x[1][12] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[3][2] x[3][3] x[3][4] x[3][5] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][13] x[3][14] x[3][15] x[4][1] x[4][2] x[4][4] x[4][5] x[4][6] x[4][8] x[4][9] x[4][10] x[4][12] x[4][13] x[4][14] x[4][15] x[5][1] x[5][2] x[5][3] x[5][5] x[5][6] x[5][7] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[6][2] x[6][3] x[6][4] x[6][5] x[6][7] x[6][8] x[6][9] x[6][11] x[6][12] x[6][14] x[6][15] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][13] x[7][14] x[7][15] x[8][2] x[8][3] x[8][4] x[8][6] x[8][7] x[8][9] x[8][10] x[8][12] x[8][13] x[8][14] x[9][1] x[9][2] x[9][3] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[10][1] x[10][2] x[10][4] x[10][5] x[10][7] x[10][8] x[10][9] x[10][11] x[10][12] x[10][13] x[10][14] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][9] x[11][10] x[11][11] x[11][13] x[11][14] x[11][15] x[12][1] x[12][2] x[12][3] x[12][4] x[12][6] x[12][7] x[12][8] x[12][10] x[12][11] x[12][12] x[12][14] x[12][15] x[13][1] x[13][2] x[13][3] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][11] x[13][12] x[13][13] x[13][14] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[15][4] x[15][5] x[15][9] x[15][10] x[15][12] x[15][13] </list>
41.01/28.59 v <values>1 3 1 7 1 9 7 4 2 6 3 5 1 9 3 7 8 4 8 7 5 9 4 3 1 5 2 7 8 9 7 9 1 4 2 9 7 8 7 9 5 8 9 6 8 8 7 9 2 7 4 1 5 3 5 9 8 7 6 9 8 1 3 2 1 4 6 5 8 1 7 3 9 2 9 6 8 8 7 9 9 8 9 7 2 5 1 5 4 6 9 7 3 2 5 8 4 1 6 1 2 9 6 2 1 6 5 4 7 6 5 9 6 8 3 7 4 1 2 8 9 6 7 1 2 8 2 4 1 3 1 8 3 1 9 3 1 6 1 5 3 9 7 9 6 8 6 7 8 9 5 2 6 8 3 5 1 4 1 8 8 9 7 9 </values>
41.01/28.59 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 (15243 MiB free)
memory of node 1: 16384 MiB (15639 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270958-1502715975/watcher-4270958-1502715975 -o /tmp/evaluation-result-4270958-1502715975/solver-4270958-1502715975 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1502712560-2174 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 209442809 HOME/instance-4270958-1502715975.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
Current StackSize limit: 8192 KiB
solver pid=4380, runsolver pid=4377
[startup+0.100136 s]*
/proc/loadavg: 5.60 7.62 8.08 2/200 4401
/proc/meminfo: memFree=31608884/32770624 swapFree=67108860/67108860
[pid=4380] ppid=4377 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4380/stat : 4380 (xcsp3-exec) S 4377 4380 2145 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 104685257 9740288 346 33554432000 4194304 5098028 140727638252784 140727638250888 140278756135548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29224960 140727638258789 140727638258999 140727638258999 140727638261739 0
/proc/4380/statm: 2378 346 289 221 0 87 0
[pid=4382] ppid=4380 vsize=25999808 memory=25888 CPUtime=0.11 cores=0-7
/proc/4382/stat : 4382 (java) S 4380 4380 2145 0 -1 1077944320 5313 0 0 0 10 1 0 0 20 0 20 0 104685258 26623803392 6472 33554432000 4194304 4196468 140732897350864 140732897333408 139805644488439 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
/proc/4382/statm: 6499952 6472 2884 1 0 6488269 0
[pid=4382/tid=4383] ppid=4380 vsize=25999808 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/4382/task/4383/stat : 4383 (java) R 4380 4380 2145 0 -1 4202560 3289 0 0 0 8 0 0 0 20 0 20 0 104685258 26623803392 6472 33554432000 4194304 4196468 140732897350864 139805648720688 139805644510365 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4384] ppid=4380 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/4382/task/4384/stat : 4384 (java) S 4380 4380 2145 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104685259 26623803392 6472 33554432000 4194304 4196468 140732897350864 139805616331152 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4385] ppid=4380 vsize=25999808 memory=140239876552320 CPUtime=0 cores=0-7
/proc/4382/task/4385/stat : 4385 (java) S 4380 4380 2145 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104685259 26623803392 6472 33554432000 4194304 4196468 140732897350864 139805201574160 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4386] ppid=4380 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4382/task/4386/stat : 4386 (java) S 4380 4380 2145 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104685259 26623803392 6472 33554432000 4194304 4196468 140732897350864 139805200521872 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4387] ppid=4380 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4382/task/4387/stat : 4387 (java) S 4380 4380 2145 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104685259 26623803392 6472 33554432000 4194304 4196468 140732897350864 139805199469072 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4388] ppid=4380 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4382/task/4388/stat : 4388 (java) S 4380 4380 2145 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104685259 26623803392 6472 33554432000 4194304 4196468 140732897350864 139805198416784 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4389] ppid=4380 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/4382/task/4389/stat : 4389 (java) S 4380 4380 2145 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104685259 26623803392 6472 33554432000 4194304 4196468 140732897350864 139805197363984 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4390] ppid=4380 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4382/task/4390/stat : 4390 (java) S 4380 4380 2145 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104685259 26623803392 6472 33554432000 4194304 4196468 140732897350864 139805196311696 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4391] ppid=4380 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4382/task/4391/stat : 4391 (java) S 4380 4380 2145 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104685259 26623803392 6472 33554432000 4194304 4196468 140732897350864 139805195258896 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4392] ppid=4380 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4382/task/4392/stat : 4392 (java) S 4380 4380 2145 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104685260 26623803392 6472 33554432000 4194304 4196468 140732897350864 139804906088560 139805644499586 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4393] ppid=4380 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4382/task/4393/stat : 4393 (java) S 4380 4380 2145 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104685261 26623803392 6472 33554432000 4194304 4196468 140732897350864 139804905034528 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4394] ppid=4380 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4382/task/4394/stat : 4394 (java) S 4380 4380 2145 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104685261 26623803392 6472 33554432000 4194304 4196468 140732897350864 139804903982192 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4395] ppid=4380 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4382/task/4395/stat : 4395 (java) S 4380 4380 2145 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104685263 26623803392 6472 33554432000 4194304 4196468 140732897350864 139804902930512 139805644507035 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4396] ppid=4380 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4382/task/4396/stat : 4396 (java) S 4380 4380 2145 0 -1 1077944384 430 0 0 0 0 0 0 0 20 0 20 0 104685263 26623803392 6472 33554432000 4194304 4196468 140732897350864 139804901878384 139805644499586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4397] ppid=4380 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4382/task/4397/stat : 4397 (java) S 4380 4380 2145 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104685263 26623803392 6472 33554432000 4194304 4196468 140732897350864 139804900825584 139805644499586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4398] ppid=4380 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4382/task/4398/stat : 4398 (java) S 4380 4380 2145 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104685263 26623803392 6472 33554432000 4194304 4196468 140732897350864 139804899773296 139805644499586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4399] ppid=4380 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/4382/task/4399/stat : 4399 (java) R 4380 4380 2145 0 -1 4202560 284 0 0 0 1 0 0 0 20 0 20 0 104685263 26623803392 6472 33554432000 4194304 4196468 140732897350864 139804898720496 139805644509786 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4400] ppid=4380 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4382/task/4400/stat : 4400 (java) S 4380 4380 2145 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104685264 26623803392 6472 33554432000 4194304 4196468 140732897350864 139804897667424 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4401] ppid=4380 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/4382/task/4401/stat : 4401 (java) S 4380 4380 2145 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104685264 26623803392 6472 33554432000 4194304 4196468 140732897350864 139804896614704 139805644499586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27272 KiB
[startup+0.209859 s]*
/proc/loadavg: 5.60 7.62 8.08 3/200 4401
/proc/meminfo: memFree=31590820/32770624 swapFree=67108860/67108860
[pid=4380] ppid=4377 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4380/stat : 4380 (xcsp3-exec) S 4377 4380 2145 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 104685257 9740288 346 33554432000 4194304 5098028 140727638252784 140727638250888 140278756135548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29224960 140727638258789 140727638258999 140727638258999 140727638261739 0
/proc/4380/statm: 2378 346 289 221 0 87 0
[pid=4382] ppid=4380 vsize=26004064 memory=37556 CPUtime=0.33 cores=0-7
/proc/4382/stat : 4382 (java) S 4380 4380 2145 0 -1 1077944320 8056 0 0 0 31 2 0 0 20 0 20 0 104685258 26628161536 9389 33554432000 4194304 4196468 140732897350864 140732897333408 139805644488439 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
/proc/4382/statm: 6501016 9389 3038 1 0 6488269 0
[pid=4382/tid=4383] ppid=4380 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/4382/task/4383/stat : 4383 (java) R 4380 4380 2145 0 -1 4202560 5002 0 0 0 18 1 0 0 20 0 20 0 104685258 26628161536 9389 33554432000 4194304 4196468 140732897350864 139805648702672 139805644510365 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4384] ppid=4380 vsize=26004064 memory=329 CPUtime=0 cores=0-7
/proc/4382/task/4384/stat : 4384 (java) S 4380 4380 2145 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104685259 26628161536 9389 33554432000 4194304 4196468 140732897350864 139805616331152 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4385] ppid=4380 vsize=26004064 memory=140239876565463 CPUtime=0 cores=0-7
/proc/4382/task/4385/stat : 4385 (java) S 4380 4380 2145 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104685259 26628161536 9389 33554432000 4194304 4196468 140732897350864 139805201574160 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4386] ppid=4380 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/4382/task/4386/stat : 4386 (java) S 4380 4380 2145 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104685259 26628161536 9389 33554432000 4194304 4196468 140732897350864 139805200521872 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4387] ppid=4380 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4382/task/4387/stat : 4387 (java) S 4380 4380 2145 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104685259 26628161536 9389 33554432000 4194304 4196468 140732897350864 139805199469072 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4388] ppid=4380 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4382/task/4388/stat : 4388 (java) S 4380 4380 2145 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104685259 26628161536 9389 33554432000 4194304 4196468 140732897350864 139805198416784 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4389] ppid=4380 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/4382/task/4389/stat : 4389 (java) S 4380 4380 2145 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104685259 26628161536 9389 33554432000 4194304 4196468 140732897350864 139805197363984 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4390] ppid=4380 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4382/task/4390/stat : 4390 (java) S 4380 4380 2145 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104685259 26628161536 9389 33554432000 4194304 4196468 140732897350864 139805196311696 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4391] ppid=4380 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4382/task/4391/stat : 4391 (java) S 4380 4380 2145 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104685259 26628161536 9389 33554432000 4194304 4196468 140732897350864 139805195258896 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4392] ppid=4380 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4382/task/4392/stat : 4392 (java) S 4380 4380 2145 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104685260 26628161536 9389 33554432000 4194304 4196468 140732897350864 139804906088560 139805644499586 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4393] ppid=4380 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4382/task/4393/stat : 4393 (java) S 4380 4380 2145 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104685261 26628161536 9389 33554432000 4194304 4196468 140732897350864 139804905034528 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4394] ppid=4380 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4382/task/4394/stat : 4394 (java) S 4380 4380 2145 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104685261 26628161536 9389 33554432000 4194304 4196468 140732897350864 139804903982192 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4395] ppid=4380 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4382/task/4395/stat : 4395 (java) S 4380 4380 2145 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104685263 26628161536 9389 33554432000 4194304 4196468 140732897350864 139804902930512 139805644507035 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4396] ppid=4380 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/4382/task/4396/stat : 4396 (java) S 4380 4380 2145 0 -1 1077944384 637 0 0 0 1 0 0 0 20 0 20 0 104685263 26628161536 9389 33554432000 4194304 4196468 140732897350864 139804901878384 139805644499586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4397] ppid=4380 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/4382/task/4397/stat : 4397 (java) S 4380 4380 2145 0 -1 1077944384 60 0 0 0 1 0 0 0 20 0 20 0 104685263 26628161536 9389 33554432000 4194304 4196468 140732897350864 139804900825584 139805644499586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4398] ppid=4380 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/4382/task/4398/stat : 4398 (java) S 4380 4380 2145 0 -1 1077944384 197 0 0 0 1 0 0 0 20 0 20 0 104685263 26628161536 9389 33554432000 4194304 4196468 140732897350864 139804899773296 139805644499586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4399] ppid=4380 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/4382/task/4399/stat : 4399 (java) S 4380 4380 2145 0 -1 1077944384 854 0 0 0 7 0 0 0 20 0 20 0 104685263 26628161536 9389 33554432000 4194304 4196468 140732897350864 139804898720496 139805644499586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4400] ppid=4380 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4382/task/4400/stat : 4400 (java) S 4380 4380 2145 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104685264 26628161536 9389 33554432000 4194304 4196468 140732897350864 139804897667424 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4401] ppid=4380 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/4382/task/4401/stat : 4401 (java) S 4380 4380 2145 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104685264 26628161536 9389 33554432000 4194304 4196468 140732897350864 139804896614704 139805644499586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 38940 KiB
[startup+0.581837 s]*
/proc/loadavg: 5.60 7.62 8.08 10/200 4401
/proc/meminfo: memFree=31392368/32770624 swapFree=67108860/67108860
[pid=4380] ppid=4377 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4380/stat : 4380 (xcsp3-exec) S 4377 4380 2145 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 104685257 9740288 346 33554432000 4194304 5098028 140727638252784 140727638250888 140278756135548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29224960 140727638258789 140727638258999 140727638258999 140727638261739 0
/proc/4380/statm: 2378 346 289 221 0 87 0
[pid=4382] ppid=4380 vsize=26004140 memory=251820 CPUtime=1.44 cores=0-7
/proc/4382/stat : 4382 (java) S 4380 4380 2145 0 -1 1077944320 12238 0 0 0 132 12 0 0 20 0 20 0 104685258 26628239360 62955 33554432000 4194304 4196468 140732897350864 140732897333408 139805644488439 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
/proc/4382/statm: 6501035 62955 3208 1 0 6488269 0
[pid=4382/tid=4383] ppid=4380 vsize=26004140 memory=8112282956445269571 CPUtime=0.54 cores=0-7
/proc/4382/task/4383/stat : 4383 (java) R 4380 4380 2145 0 -1 4202560 6043 0 0 0 50 4 0 0 20 0 20 0 104685258 26628239360 62955 33554432000 4194304 4196468 140732897350864 139805648724800 139805283178445 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4384] ppid=4380 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/4382/task/4384/stat : 4384 (java) S 4380 4380 2145 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 104685259 26628239360 62955 33554432000 4194304 4196468 140732897350864 139805616331152 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4385] ppid=4380 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/4382/task/4385/stat : 4385 (java) S 4380 4380 2145 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 104685259 26628239360 62955 33554432000 4194304 4196468 140732897350864 139805201574160 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4386] ppid=4380 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/4382/task/4386/stat : 4386 (java) S 4380 4380 2145 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 104685259 26628239360 62955 33554432000 4194304 4196468 140732897350864 139805200521872 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4387] ppid=4380 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/4382/task/4387/stat : 4387 (java) S 4380 4380 2145 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 104685259 26628239360 62955 33554432000 4194304 4196468 140732897350864 139805199469072 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4388] ppid=4380 vsize=26004140 memory=2244 CPUtime=0 cores=0-7
/proc/4382/task/4388/stat : 4388 (java) S 4380 4380 2145 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 104685259 26628239360 62955 33554432000 4194304 4196468 140732897350864 139805198416784 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4389] ppid=4380 vsize=26004140 memory=140239742006191 CPUtime=0.01 cores=0-7
/proc/4382/task/4389/stat : 4389 (java) S 4380 4380 2145 0 -1 1077944384 26 0 0 0 0 1 0 0 20 0 20 0 104685259 26628239360 62955 33554432000 4194304 4196468 140732897350864 139805197363984 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4390] ppid=4380 vsize=26004140 memory=140239742008496 CPUtime=0 cores=0-7
/proc/4382/task/4390/stat : 4390 (java) S 4380 4380 2145 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 104685259 26628239360 62955 33554432000 4194304 4196468 140732897350864 139805196311696 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4391] ppid=4380 vsize=26004140 memory=140239742010800 CPUtime=0 cores=0-7
/proc/4382/task/4391/stat : 4391 (java) S 4380 4380 2145 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 104685259 26628239360 63020 33554432000 4194304 4196468 140732897350864 139805195258896 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4392] ppid=4380 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/4382/task/4392/stat : 4392 (java) S 4380 4380 2145 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 104685260 26628239360 63020 33554432000 4194304 4196468 140732897350864 139804906088560 139805644499586 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4393] ppid=4380 vsize=26004140 memory=280479484028560 CPUtime=0 cores=0-7
/proc/4382/task/4393/stat : 4393 (java) S 4380 4380 2145 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104685261 26628239360 63020 33554432000 4194304 4196468 140732897350864 139804905034528 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4394] ppid=4380 vsize=26004140 memory=280479484035472 CPUtime=0 cores=0-7
/proc/4382/task/4394/stat : 4394 (java) S 4380 4380 2145 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 104685261 26628239360 63020 33554432000 4194304 4196468 140732897350864 139804903982192 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4395] ppid=4380 vsize=26004140 memory=280479483976752 CPUtime=0 cores=0-7
/proc/4382/task/4395/stat : 4395 (java) S 4380 4380 2145 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104685263 26628239360 63020 33554432000 4194304 4196468 140732897350864 139804902930512 139805644507035 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4396] ppid=4380 vsize=26004140 memory=280479484049296 CPUtime=0.18 cores=0-7
/proc/4382/task/4396/stat : 4396 (java) R 4380 4380 2145 0 -1 4202560 1312 0 0 0 18 0 0 0 20 0 20 0 104685263 26628239360 63020 33554432000 4194304 4196468 140732897350864 139804901869664 139805626032162 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4397] ppid=4380 vsize=26004140 memory=280479484056208 CPUtime=0.18 cores=0-7
/proc/4382/task/4397/stat : 4397 (java) R 4380 4380 2145 0 -1 4202560 1009 0 0 0 18 0 0 0 20 0 20 0 104685263 26628239360 63020 33554432000 4194304 4196468 140732897350864 139804900811608 139805626032592 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4398] ppid=4380 vsize=26004140 memory=280479484053904 CPUtime=0.18 cores=0-7
/proc/4382/task/4398/stat : 4398 (java) R 4380 4380 2145 0 -1 4202560 929 0 0 0 18 0 0 0 20 0 20 0 104685263 26628239360 63020 33554432000 4194304 4196468 140732897350864 139804899772384 139805644509786 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4399] ppid=4380 vsize=26004140 memory=280479484070064 CPUtime=0.23 cores=0-7
/proc/4382/task/4399/stat : 4399 (java) S 4380 4380 2145 0 -1 1077944384 1500 0 0 0 23 0 0 0 20 0 20 0 104685263 26628239360 63020 33554432000 4194304 4196468 140732897350864 139804898720496 139805644499586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4400] ppid=4380 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/4382/task/4400/stat : 4400 (java) S 4380 4380 2145 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104685264 26628239360 63020 33554432000 4194304 4196468 140732897350864 139804897667424 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4401] ppid=4380 vsize=26004140 memory=-1 CPUtime=0 cores=0-7
/proc/4382/task/4401/stat : 4401 (java) S 4380 4380 2145 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104685264 26628239360 63020 33554432000 4194304 4196468 140732897350864 139804896614704 139805644499586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 26013652 KiB
Current children cumulated memory: 253204 KiB
[startup+0.709565 s]*
/proc/loadavg: 5.60 7.62 8.08 2/200 4401
/proc/meminfo: memFree=31384488/32770624 swapFree=67108860/67108860
[pid=4380] ppid=4377 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4380/stat : 4380 (xcsp3-exec) S 4377 4380 2145 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 104685257 9740288 346 33554432000 4194304 5098028 140727638252784 140727638250888 140278756135548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29224960 140727638258789 140727638258999 140727638258999 140727638261739 0
/proc/4380/statm: 2378 346 289 221 0 87 0
[pid=4382] ppid=4380 vsize=26004140 memory=277008 CPUtime=1.7 cores=0-7
/proc/4382/stat : 4382 (java) S 4380 4380 2145 0 -1 1077944320 12445 0 0 0 156 14 0 0 20 0 20 0 104685258 26628239360 69252 33554432000 4194304 4196468 140732897350864 140732897333408 139805644488439 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
/proc/4382/statm: 6501035 69252 3208 1 0 6488269 0
[pid=4382/tid=4383] ppid=4380 vsize=26004140 memory=8112282956445269571 CPUtime=0.66 cores=0-7
/proc/4382/task/4383/stat : 4383 (java) S 4380 4380 2145 0 -1 1077944384 6043 0 0 0 62 4 0 0 20 0 20 0 104685258 26628239360 69252 33554432000 4194304 4196468 140732897350864 139805648725584 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4384] ppid=4380 vsize=26004140 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/4382/task/4384/stat : 4384 (java) R 4380 4380 2145 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 20 0 104685259 26628239360 69252 33554432000 4194304 4196468 140732897350864 139805616331152 139805629510629 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4385] ppid=4380 vsize=26004140 memory=2200 CPUtime=0.01 cores=0-7
/proc/4382/task/4385/stat : 4385 (java) R 4380 4380 2145 0 -1 4202560 23 0 0 0 0 1 0 0 20 0 20 0 104685259 26628239360 69252 33554432000 4194304 4196468 140732897350864 139805201574160 139805629510629 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4386] ppid=4380 vsize=26004140 memory=6504 CPUtime=0 cores=0-7
/proc/4382/task/4386/stat : 4386 (java) R 4380 4380 2145 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 20 0 104685259 26628239360 69252 33554432000 4194304 4196468 140732897350864 139805200521872 139805629515858 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
################
# More data... #
################
[pid=4380] ppid=4377 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4380/stat : 4380 (xcsp3-exec) S 4377 4380 2145 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 104685257 9740288 346 33554432000 4194304 5098028 140727638252784 140727638250888 140278756135548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29224960 140727638258789 140727638258999 140727638258999 140727638261739 0
/proc/4380/statm: 2378 346 289 221 0 87 0
[pid=4382] ppid=4380 vsize=26006188 memory=3239200 CPUtime=37.63 cores=0-7
/proc/4382/stat : 4382 (java) S 4380 4380 2145 0 -1 1077944320 46619 0 0 0 3451 312 0 0 20 0 20 0 104685258 26630336512 809800 33554432000 4194304 4196468 140732897350864 140732897333408 139805644488439 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
/proc/4382/statm: 6501547 809800 3257 1 0 6488781 0
[pid=4382/tid=4383] ppid=4380 vsize=26006188 memory=280479485676592 CPUtime=22.58 cores=0-7
/proc/4382/task/4383/stat : 4383 (java) R 4380 4380 2145 0 -1 4202560 14837 0 0 0 2218 40 0 0 20 0 20 0 104685258 26630336512 809800 33554432000 4194304 4196468 140732897350864 139805648723008 139805283656485 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4384] ppid=4380 vsize=26006188 memory=0 CPUtime=1.39 cores=0-7
/proc/4382/task/4384/stat : 4384 (java) S 4380 4380 2145 0 -1 1077944384 2182 0 0 0 104 35 0 0 20 0 20 0 104685259 26630336512 809800 33554432000 4194304 4196468 140732897350864 139805616331152 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4385] ppid=4380 vsize=26006188 memory=0 CPUtime=1.39 cores=0-7
/proc/4382/task/4385/stat : 4385 (java) S 4380 4380 2145 0 -1 1077944384 1762 0 0 0 104 35 0 0 20 0 20 0 104685259 26630336512 809800 33554432000 4194304 4196468 140732897350864 139805201574160 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4386] ppid=4380 vsize=26006188 memory=0 CPUtime=1.38 cores=0-7
/proc/4382/task/4386/stat : 4386 (java) S 4380 4380 2145 0 -1 1077944384 1635 0 0 0 105 33 0 0 20 0 20 0 104685259 26630336512 809800 33554432000 4194304 4196468 140732897350864 139805200521872 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4387] ppid=4380 vsize=26006188 memory=8112282956445269571 CPUtime=1.38 cores=0-7
/proc/4382/task/4387/stat : 4387 (java) S 4380 4380 2145 0 -1 1077944384 1175 0 0 0 107 31 0 0 20 0 20 0 104685259 26630336512 809800 33554432000 4194304 4196468 140732897350864 139805199469072 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4388] ppid=4380 vsize=26006188 memory=1377192 CPUtime=1.38 cores=0-7
/proc/4382/task/4388/stat : 4388 (java) S 4380 4380 2145 0 -1 1077944384 1338 0 0 0 105 33 0 0 20 0 20 0 104685259 26630336512 809800 33554432000 4194304 4196468 140732897350864 139805198416784 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4389] ppid=4380 vsize=26006188 memory=10020 CPUtime=1.4 cores=0-7
/proc/4382/task/4389/stat : 4389 (java) S 4380 4380 2145 0 -1 1077944384 1957 0 0 0 105 35 0 0 20 0 20 0 104685259 26630336512 809800 33554432000 4194304 4196468 140732897350864 139805197363984 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4390] ppid=4380 vsize=26006188 memory=1948 CPUtime=1.39 cores=0-7
/proc/4382/task/4390/stat : 4390 (java) S 4380 4380 2145 0 -1 1077944384 1932 0 0 0 109 30 0 0 20 0 20 0 104685259 26630336512 809800 33554432000 4194304 4196468 140732897350864 139805196311696 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4391] ppid=4380 vsize=26006188 memory=8536 CPUtime=1.39 cores=0-7
/proc/4382/task/4391/stat : 4391 (java) S 4380 4380 2145 0 -1 1077944384 1249 0 0 0 109 30 0 0 20 0 20 0 104685259 26630336512 809800 33554432000 4194304 4196468 140732897350864 139805195258896 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4392] ppid=4380 vsize=26006188 memory=4616 CPUtime=1.75 cores=0-7
/proc/4382/task/4392/stat : 4392 (java) S 4380 4380 2145 0 -1 1077944384 4557 0 0 0 174 1 0 0 20 0 20 0 104685260 26630336512 809800 33554432000 4194304 4196468 140732897350864 139804906088560 139805644499586 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4393] ppid=4380 vsize=26006188 memory=10020 CPUtime=0 cores=0-7
/proc/4382/task/4393/stat : 4393 (java) S 4380 4380 2145 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 20 0 104685261 26630336512 809800 33554432000 4194304 4196468 140732897350864 139804905034592 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4394] ppid=4380 vsize=26006188 memory=1948 CPUtime=0 cores=0-7
/proc/4382/task/4394/stat : 4394 (java) S 4380 4380 2145 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 20 0 104685261 26630336512 809800 33554432000 4194304 4196468 140732897350864 139804903982208 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4395] ppid=4380 vsize=26006188 memory=8536 CPUtime=0 cores=0-7
/proc/4382/task/4395/stat : 4395 (java) S 4380 4380 2145 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104685263 26630336512 809800 33554432000 4194304 4196468 140732897350864 139804902930512 139805644507035 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4396] ppid=4380 vsize=26006188 memory=4616 CPUtime=0.42 cores=0-7
/proc/4382/task/4396/stat : 4396 (java) S 4380 4380 2145 0 -1 1077944384 2153 0 0 0 42 0 0 0 20 0 20 0 104685263 26630336512 809800 33554432000 4194304 4196468 140732897350864 139804901878384 139805644499586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4397] ppid=4380 vsize=26006188 memory=1720 CPUtime=0.5 cores=0-7
/proc/4382/task/4397/stat : 4397 (java) S 4380 4380 2145 0 -1 1077944384 1892 0 0 0 49 1 0 0 20 0 20 0 104685263 26630336512 809800 33554432000 4194304 4196468 140732897350864 139804900825584 139805644499586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4398] ppid=4380 vsize=26006188 memory=1004 CPUtime=0.61 cores=0-7
/proc/4382/task/4398/stat : 4398 (java) S 4380 4380 2145 0 -1 1077944384 3179 0 0 0 60 1 0 0 20 0 20 0 104685263 26630336512 809800 33554432000 4194304 4196468 140732897350864 139804899773296 139805644499586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4399] ppid=4380 vsize=26006188 memory=1436 CPUtime=0.53 cores=0-7
/proc/4382/task/4399/stat : 4399 (java) S 4380 4380 2145 0 -1 1077944384 5190 0 0 0 52 1 0 0 20 0 20 0 104685263 26630336512 809800 33554432000 4194304 4196468 140732897350864 139804898720496 139805644499586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4400] ppid=4380 vsize=26006188 memory=1200 CPUtime=0 cores=0-7
/proc/4382/task/4400/stat : 4400 (java) S 4380 4380 2145 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104685264 26630336512 809800 33554432000 4194304 4196468 140732897350864 139804897667424 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4401] ppid=4380 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/4382/task/4401/stat : 4401 (java) S 4380 4380 2145 0 -1 1077944384 233 0 0 0 0 0 0 0 20 0 20 0 104685264 26630336512 809800 33554432000 4194304 4196468 140732897350864 139804896614704 139805644499586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
Current children cumulated CPU time: 37.63 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 3240584 KiB
[startup+27.4009 s]
/proc/loadavg: 4.07 7.05 7.88 2/200 4401
/proc/meminfo: memFree=28394608/32770624 swapFree=67108860/67108860
[pid=4380] ppid=4377 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4380/stat : 4380 (xcsp3-exec) S 4377 4380 2145 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 104685257 9740288 346 33554432000 4194304 5098028 140727638252784 140727638250888 140278756135548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29224960 140727638258789 140727638258999 140727638258999 140727638261739 0
/proc/4380/statm: 2378 346 289 221 0 87 0
[pid=4382] ppid=4380 vsize=26006188 memory=3239200 CPUtime=39.24 cores=0-7
/proc/4382/stat : 4382 (java) S 4380 4380 2145 0 -1 1077944320 46781 0 0 0 3612 312 0 0 20 0 20 0 104685258 26630336512 809800 33554432000 4194304 4196468 140732897350864 140732897333408 139805644488439 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
/proc/4382/statm: 6501547 809800 3257 1 0 6488781 0
[pid=4382/tid=4383] ppid=4380 vsize=26006188 memory=1156 CPUtime=24.18 cores=0-7
/proc/4382/task/4383/stat : 4383 (java) R 4380 4380 2145 0 -1 4202560 14982 0 0 0 2378 40 0 0 20 0 20 0 104685258 26630336512 809800 33554432000 4194304 4196468 140732897350864 139805648722080 139805284618656 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4384] ppid=4380 vsize=26006188 memory=2832 CPUtime=1.39 cores=0-7
/proc/4382/task/4384/stat : 4384 (java) S 4380 4380 2145 0 -1 1077944384 2182 0 0 0 104 35 0 0 20 0 20 0 104685259 26630336512 809800 33554432000 4194304 4196468 140732897350864 139805616331152 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4385] ppid=4380 vsize=26006188 memory=1384 CPUtime=1.39 cores=0-7
/proc/4382/task/4385/stat : 4385 (java) S 4380 4380 2145 0 -1 1077944384 1762 0 0 0 104 35 0 0 20 0 20 0 104685259 26630336512 809800 33554432000 4194304 4196468 140732897350864 139805201574160 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4386] ppid=4380 vsize=26006188 memory=2928416 CPUtime=1.38 cores=0-7
/proc/4382/task/4386/stat : 4386 (java) S 4380 4380 2145 0 -1 1077944384 1635 0 0 0 105 33 0 0 20 0 20 0 104685259 26630336512 809800 33554432000 4194304 4196468 140732897350864 139805200521872 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4387] ppid=4380 vsize=26006188 memory=1384 CPUtime=1.38 cores=0-7
/proc/4382/task/4387/stat : 4387 (java) S 4380 4380 2145 0 -1 1077944384 1175 0 0 0 107 31 0 0 20 0 20 0 104685259 26630336512 809800 33554432000 4194304 4196468 140732897350864 139805199469072 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4388] ppid=4380 vsize=26006188 memory=3239200 CPUtime=1.38 cores=0-7
/proc/4382/task/4388/stat : 4388 (java) S 4380 4380 2145 0 -1 1077944384 1338 0 0 0 105 33 0 0 20 0 20 0 104685259 26630336512 809800 33554432000 4194304 4196468 140732897350864 139805198416784 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4389] ppid=4380 vsize=26006188 memory=0 CPUtime=1.4 cores=0-7
/proc/4382/task/4389/stat : 4389 (java) S 4380 4380 2145 0 -1 1077944384 1957 0 0 0 105 35 0 0 20 0 20 0 104685259 26630336512 809800 33554432000 4194304 4196468 140732897350864 139805197363984 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4390] ppid=4380 vsize=26006188 memory=0 CPUtime=1.39 cores=0-7
/proc/4382/task/4390/stat : 4390 (java) S 4380 4380 2145 0 -1 1077944384 1932 0 0 0 109 30 0 0 20 0 20 0 104685259 26630336512 809800 33554432000 4194304 4196468 140732897350864 139805196311696 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4391] ppid=4380 vsize=26006188 memory=6656426216303648864 CPUtime=1.39 cores=0-7
/proc/4382/task/4391/stat : 4391 (java) S 4380 4380 2145 0 -1 1077944384 1249 0 0 0 109 30 0 0 20 0 20 0 104685259 26630336512 809800 33554432000 4194304 4196468 140732897350864 139805195258896 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4392] ppid=4380 vsize=26006188 memory=-7448783751913361966 CPUtime=1.75 cores=0-7
/proc/4382/task/4392/stat : 4392 (java) S 4380 4380 2145 0 -1 1077944384 4557 0 0 0 174 1 0 0 20 0 20 0 104685260 26630336512 809800 33554432000 4194304 4196468 140732897350864 139804906088560 139805644499586 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4393] ppid=4380 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/4382/task/4393/stat : 4393 (java) S 4380 4380 2145 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 20 0 104685261 26630336512 809800 33554432000 4194304 4196468 140732897350864 139804905034592 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4394] ppid=4380 vsize=26006188 memory=2257 CPUtime=0 cores=0-7
/proc/4382/task/4394/stat : 4394 (java) S 4380 4380 2145 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 20 0 104685261 26630336512 809800 33554432000 4194304 4196468 140732897350864 139804903982208 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4395] ppid=4380 vsize=26006188 memory=1393 CPUtime=0 cores=0-7
/proc/4382/task/4395/stat : 4395 (java) S 4380 4380 2145 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104685263 26630336512 809800 33554432000 4194304 4196468 140732897350864 139804902930512 139805644507035 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4396] ppid=4380 vsize=26006188 memory=71 CPUtime=0.42 cores=0-7
/proc/4382/task/4396/stat : 4396 (java) S 4380 4380 2145 0 -1 1077944384 2153 0 0 0 42 0 0 0 20 0 20 0 104685263 26630336512 809800 33554432000 4194304 4196468 140732897350864 139804901878384 139805644499586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4397] ppid=4380 vsize=26006188 memory=72 CPUtime=0.51 cores=0-7
/proc/4382/task/4397/stat : 4397 (java) S 4380 4380 2145 0 -1 1077944384 1898 0 0 0 50 1 0 0 20 0 20 0 104685263 26630336512 809800 33554432000 4194304 4196468 140732897350864 139804900825584 139805644499586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4398] ppid=4380 vsize=26006188 memory=1384 CPUtime=0.62 cores=0-7
/proc/4382/task/4398/stat : 4398 (java) S 4380 4380 2145 0 -1 1077944384 3189 0 0 0 61 1 0 0 20 0 20 0 104685263 26630336512 809800 33554432000 4194304 4196468 140732897350864 139804899773296 139805644499586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4399] ppid=4380 vsize=26006188 memory=3239200 CPUtime=0.54 cores=0-7
/proc/4382/task/4399/stat : 4399 (java) S 4380 4380 2145 0 -1 1077944384 5191 0 0 0 53 1 0 0 20 0 20 0 104685263 26630336512 809800 33554432000 4194304 4196468 140732897350864 139804898720496 139805644499586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4400] ppid=4380 vsize=26006188 memory=87 CPUtime=0 cores=0-7
/proc/4382/task/4400/stat : 4400 (java) S 4380 4380 2145 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104685264 26630336512 809800 33554432000 4194304 4196468 140732897350864 139804897667424 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4401] ppid=4380 vsize=26006188 memory=88 CPUtime=0 cores=0-7
/proc/4382/task/4401/stat : 4401 (java) S 4380 4380 2145 0 -1 1077944384 233 0 0 0 0 0 0 0 20 0 20 0 104685264 26630336512 809800 33554432000 4194304 4196468 140732897350864 139804896614704 139805644499586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
Current children cumulated CPU time: 39.24 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 3240584 KiB
[startup+28.2009 s]*
/proc/loadavg: 4.07 7.05 7.88 2/200 4401
/proc/meminfo: memFree=28238724/32770624 swapFree=67108860/67108860
[pid=4380] ppid=4377 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4380/stat : 4380 (xcsp3-exec) S 4377 4380 2145 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 104685257 9740288 346 33554432000 4194304 5098028 140727638252784 140727638250888 140278756135548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29224960 140727638258789 140727638258999 140727638258999 140727638261739 0
/proc/4380/statm: 2378 346 289 221 0 87 0
[pid=4382] ppid=4380 vsize=26006188 memory=3394848 CPUtime=40.05 cores=0-7
/proc/4382/stat : 4382 (java) S 4380 4380 2145 0 -1 1077944320 47061 0 0 0 3691 314 0 0 20 0 20 0 104685258 26630336512 848712 33554432000 4194304 4196468 140732897350864 140732897333408 139805644488439 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
/proc/4382/statm: 6501547 848712 3257 1 0 6488781 0
[pid=4382/tid=4383] ppid=4380 vsize=26006188 memory=8112282956445269571 CPUtime=24.98 cores=0-7
/proc/4382/task/4383/stat : 4383 (java) R 4380 4380 2145 0 -1 4202560 15262 0 0 0 2456 42 0 0 20 0 20 0 104685258 26630336512 848712 33554432000 4194304 4196468 140732897350864 139805648724472 139805284618656 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4384] ppid=4380 vsize=26006188 memory=4126316290023845779 CPUtime=1.39 cores=0-7
/proc/4382/task/4384/stat : 4384 (java) S 4380 4380 2145 0 -1 1077944384 2182 0 0 0 104 35 0 0 20 0 20 0 104685259 26630336512 848712 33554432000 4194304 4196468 140732897350864 139805616331152 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4385] ppid=4380 vsize=26006188 memory=0 CPUtime=1.39 cores=0-7
/proc/4382/task/4385/stat : 4385 (java) S 4380 4380 2145 0 -1 1077944384 1762 0 0 0 104 35 0 0 20 0 20 0 104685259 26630336512 848712 33554432000 4194304 4196468 140732897350864 139805201574160 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4386] ppid=4380 vsize=26006188 memory=0 CPUtime=1.38 cores=0-7
/proc/4382/task/4386/stat : 4386 (java) S 4380 4380 2145 0 -1 1077944384 1635 0 0 0 105 33 0 0 20 0 20 0 104685259 26630336512 848712 33554432000 4194304 4196468 140732897350864 139805200521872 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4387] ppid=4380 vsize=26006188 memory=280479484394352 CPUtime=1.38 cores=0-7
/proc/4382/task/4387/stat : 4387 (java) S 4380 4380 2145 0 -1 1077944384 1175 0 0 0 107 31 0 0 20 0 20 0 104685259 26630336512 848712 33554432000 4194304 4196468 140732897350864 139805199469072 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4388] ppid=4380 vsize=26006188 memory=280479484161856 CPUtime=1.38 cores=0-7
/proc/4382/task/4388/stat : 4388 (java) S 4380 4380 2145 0 -1 1077944384 1338 0 0 0 105 33 0 0 20 0 20 0 104685259 26630336512 848712 33554432000 4194304 4196468 140732897350864 139805198416784 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4389] ppid=4380 vsize=26006188 memory=1288 CPUtime=1.4 cores=0-7
/proc/4382/task/4389/stat : 4389 (java) S 4380 4380 2145 0 -1 1077944384 1957 0 0 0 105 35 0 0 20 0 20 0 104685259 26630336512 848712 33554432000 4194304 4196468 140732897350864 139805197363984 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4390] ppid=4380 vsize=26006188 memory=0 CPUtime=1.39 cores=0-7
/proc/4382/task/4390/stat : 4390 (java) S 4380 4380 2145 0 -1 1077944384 1932 0 0 0 109 30 0 0 20 0 20 0 104685259 26630336512 848712 33554432000 4194304 4196468 140732897350864 139805196311696 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4391] ppid=4380 vsize=26006188 memory=280479483822320 CPUtime=1.39 cores=0-7
/proc/4382/task/4391/stat : 4391 (java) S 4380 4380 2145 0 -1 1077944384 1249 0 0 0 109 30 0 0 20 0 20 0 104685259 26630336512 848712 33554432000 4194304 4196468 140732897350864 139805195258896 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4392] ppid=4380 vsize=26006188 memory=648 CPUtime=1.75 cores=0-7
/proc/4382/task/4392/stat : 4392 (java) S 4380 4380 2145 0 -1 1077944384 4557 0 0 0 174 1 0 0 20 0 20 0 104685260 26630336512 848712 33554432000 4194304 4196468 140732897350864 139804906088560 139805644499586 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4393] ppid=4380 vsize=26006188 memory=1236 CPUtime=0 cores=0-7
/proc/4382/task/4393/stat : 4393 (java) S 4380 4380 2145 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 20 0 104685261 26630336512 848712 33554432000 4194304 4196468 140732897350864 139804905034592 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4394] ppid=4380 vsize=26006188 memory=960 CPUtime=0 cores=0-7
/proc/4382/task/4394/stat : 4394 (java) S 4380 4380 2145 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 20 0 104685261 26630336512 848712 33554432000 4194304 4196468 140732897350864 139804903982208 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4395] ppid=4380 vsize=26006188 memory=2340 CPUtime=0 cores=0-7
/proc/4382/task/4395/stat : 4395 (java) S 4380 4380 2145 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104685263 26630336512 848712 33554432000 4194304 4196468 140732897350864 139804902930512 139805644507035 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4396] ppid=4380 vsize=26006188 memory=2236 CPUtime=0.42 cores=0-7
/proc/4382/task/4396/stat : 4396 (java) S 4380 4380 2145 0 -1 1077944384 2153 0 0 0 42 0 0 0 20 0 20 0 104685263 26630336512 848712 33554432000 4194304 4196468 140732897350864 139804901878384 139805644499586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4397] ppid=4380 vsize=26006188 memory=4084 CPUtime=0.51 cores=0-7
/proc/4382/task/4397/stat : 4397 (java) S 4380 4380 2145 0 -1 1077944384 1898 0 0 0 50 1 0 0 20 0 20 0 104685263 26630336512 848712 33554432000 4194304 4196468 140732897350864 139804900825584 139805644499586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4398] ppid=4380 vsize=26006188 memory=1696 CPUtime=0.62 cores=0-7
/proc/4382/task/4398/stat : 4398 (java) S 4380 4380 2145 0 -1 1077944384 3189 0 0 0 61 1 0 0 20 0 20 0 104685263 26630336512 848712 33554432000 4194304 4196468 140732897350864 139804899773296 139805644499586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4399] ppid=4380 vsize=26006188 memory=932 CPUtime=0.54 cores=0-7
/proc/4382/task/4399/stat : 4399 (java) S 4380 4380 2145 0 -1 1077944384 5191 0 0 0 53 1 0 0 20 0 20 0 104685263 26630336512 848712 33554432000 4194304 4196468 140732897350864 139804898720496 139805644499586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4400] ppid=4380 vsize=26006188 memory=2241 CPUtime=0 cores=0-7
/proc/4382/task/4400/stat : 4400 (java) S 4380 4380 2145 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104685264 26630336512 848712 33554432000 4194304 4196468 140732897350864 139804897667424 139805644498645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
[pid=4382/tid=4401] ppid=4380 vsize=26006188 memory=2244 CPUtime=0 cores=0-7
/proc/4382/task/4401/stat : 4401 (java) S 4380 4380 2145 0 -1 1077944384 233 0 0 0 0 0 0 0 20 0 20 0 104685264 26630336512 848712 33554432000 4194304 4196468 140732897350864 139804896614704 139805644499586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13459456 140732897358994 140732897359171 140732897359171 140732897361871 0
Current children cumulated CPU time: 40.05 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 3396232 KiB
[startup+28.6011 s]
/proc/loadavg: 4.07 7.05 7.88 2/200 4401
/proc/meminfo: memFree=28238724/32770624 swapFree=67108860/67108860
[pid=4380] ppid=4377 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4380/stat : 4380 (xcsp3-exec) S 4377 4380 2145 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 104685257 9740288 346 33554432000 4194304 5098028 140727638252784 140727638250888 140278756135548 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29224960 140727638258789 140727638258999 140727638258999 140727638261739 0
/proc/4380/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1384 KiB
Child status: 0
Real time (s): 28.6156
CPU time (s): 41.7038
CPU user time (s): 38.5215
CPU system time (s): 3.18229
CPU usage (%): 145.738
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 3426004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 38.5215
system time used= 3.18228
maximum resident set size= 3427800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48701
page faults= 0
swaps= 0
block input operations= 0
block output operations= 136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5399
involuntary context switches= 207
# summary of solver processes directly reported to runsolver:
# pid: 4380
# total CPU time (s): 41.7038
# total CPU user time (s): 38.5215
# total CPU system time (s): 3.18229
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.215365 second user time and 0.302284 second system time
The end
Begin job on node112 at 2017-08-14 14:51:56
IDJOB=4270958
IDBENCH=124898
IDSOLVER=2662
FILE ID=node112/4270958-1502715975
RUNJOBID= node112-1502712560-2174
PBS_JOBID= 20629026
Free space on /tmp= 61776 MiB
SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Kakuro/Kakuro-ext-medium/Kakuro-medium-162-ext.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4270958-1502715975/watcher-4270958-1502715975 -o /tmp/evaluation-result-4270958-1502715975/solver-4270958-1502715975 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1502712560-2174 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 209442809 HOME/instance-4270958-1502715975.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 9eb44364195c6f7bb137f76b47648058
RANDOM SEED=209442809
node112.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.24
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.24
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.24
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.24
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: 31625220 kB
MemAvailable: 31976024 kB
Buffers: 170560 kB
Cached: 458068 kB
SwapCached: 0 kB
Active: 473964 kB
Inactive: 207628 kB
Active(anon): 4584 kB
Inactive(anon): 76444 kB
Active(file): 469380 kB
Inactive(file): 131184 kB
Unevictable: 6276 kB
Mlocked: 6276 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 21764 kB
Writeback: 0 kB
AnonPages: 58348 kB
Mapped: 44180 kB
Shmem: 25224 kB
Slab: 158696 kB
SReclaimable: 132148 kB
SUnreclaim: 26548 kB
KernelStack: 3280 kB
PageTables: 5140 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 323296 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4096 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 116096 kB
DirectMap2M: 33429504 kB
Free space on /tmp at the end= 61768 MiB
End job on node112 at 2017-08-14 14:52:25