Trace number 4270589

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-09)SAT (TO)29 20082.801 2520.1201

General information on the benchmark

NameGraphColoring/GraphColoring-m1-mono/
GraphColoring-zeroin-i-3.xml
MD5SUM21f5a9a53520a21a30dcca8a12a0310e
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark29
Best CPU time to get the best result obtained on this benchmark24.402399
Satisfiable
(Un)Satisfiability was proved
Number of variables206
Number of constraints3540
Number of domains1
Minimum domain size206
Maximum domain size206
Distribution of domain sizes[{"size":206,"count":206}]
Minimum variable degree1
Maximum variable degree141
Distribution of variable degrees[{"degree":1,"count":49},{"degree":18,"count":4},{"degree":19,"count":6},{"degree":20,"count":3},{"degree":21,"count":1},{"degree":22,"count":1},{"degree":23,"count":2},{"degree":24,"count":2},{"degree":25,"count":1},{"degree":26,"count":1},{"degree":27,"count":5},{"degree":28,"count":16},{"degree":29,"count":18},{"degree":30,"count":13},{"degree":31,"count":12},{"degree":32,"count":10},{"degree":33,"count":5},{"degree":34,"count":2},{"degree":35,"count":3},{"degree":36,"count":2},{"degree":37,"count":4},{"degree":38,"count":3},{"degree":39,"count":1},{"degree":41,"count":6},{"degree":42,"count":2},{"degree":43,"count":2},{"degree":44,"count":1},{"degree":45,"count":1},{"degree":47,"count":1},{"degree":49,"count":1},{"degree":64,"count":1},{"degree":67,"count":1},{"degree":79,"count":1},{"degree":81,"count":1},{"degree":96,"count":2},{"degree":100,"count":3},{"degree":115,"count":1},{"degree":122,"count":1},{"degree":124,"count":1},{"degree":126,"count":1},{"degree":128,"count":1},{"degree":130,"count":1},{"degree":131,"count":1},{"degree":132,"count":1},{"degree":134,"count":1},{"degree":135,"count":1},{"degree":136,"count":5},{"degree":141,"count":4}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":3540}]
Number of extensional constraints0
Number of intensional constraints3540
Distribution of constraint types[{"type":"intension","count":3540}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270589-1502679513.xml"  -tl '20160s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4270589-1502679513.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
4.41/1.35	c solve instance...
4.92/1.48	o 205 
4.92/1.49	o 29 
20082.05/2520.09	s SATISFIABLE
20082.05/2520.09	v <instantiation>
20082.05/2520.09	v 	<list>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] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] </list>
20082.05/2520.09	v 	<values>0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 0 0 17 0 0 0 0 18 0 19 0 20 0 18 21 0 0 22 0 0 23 0 16 21 0 24 25 24 16 16 16 16 16 16 17 18 16 16 16 16 16 16 16 16 16 19 16 20 16 21 22 16 0 16 0 16 17 16 0 0 0 19 0 18 0 0 0 0 24 24 25 24 24 0 0 0 0 0 0 25 0 0 26 27 26 0 26 25 26 26 16 16 16 16 18 19 20 21 22 23 24 25 19 20 21 22 23 26 26 26 26 0 0 22 22 24 0 24 0 0 0 0 0 26 27 26 26 21 16 16 0 26 0 16 26 26 27 27 27 28 28 27 26 26 20 20 20 20 0 0 0 16 26 27 21 28 28 28 29 28 29 27 16 16 0 28 26 26 27 21 0 24 25 </values>
20082.05/2520.09	v </instantiation>
20082.05/2520.09	c Unexpected resolution interruption!

Verifier Data 

OK	29

Watcher Data 

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 (12924 MiB free)
  memory of node 1: 16384 MiB (14974 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270589-1502679513/watcher-4270589-1502679513 -o /tmp/evaluation-result-4270589-1502679513/solver-4270589-1502679513 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1502678654-21443 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 126876462 HOME/instance-4270589-1502679513.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=21460, runsolver pid=21457

[startup+0.100127 s]*
/proc/loadavg: 8.05 8.25 8.32 3/200 21481
/proc/meminfo: memFree=28553220/32770624 swapFree=67108860/67108860
[pid=21460] ppid=21457 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21460/stat : 21460 (xcsp3-exec) S 21457 21460 21416 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 101039154 9740288 346 33554432000 4194304 5098028 140723068296944 140723068295048 140420933407356 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15634432 140723068302437 140723068302647 140723068302647 140723068305387 0
/proc/21460/statm: 2378 346 289 221 0 87 0
[pid=21462] ppid=21460 vsize=25999808 memory=26492 CPUtime=0.12 cores=0-7
/proc/21462/stat : 21462 (java) S 21460 21460 21416 0 -1 1077944320 5568 0 0 0 11 1 0 0 20 0 20 0 101039154 26623803392 6623 33554432000 4194304 4196468 140720921800176 140720921782720 140002539347703 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
/proc/21462/statm: 6499952 6623 2848 1 0 6488269 0
[pid=21462/tid=21463] ppid=21460 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/21462/task/21463/stat : 21463 (java) R 21460 21460 21416 0 -1 4202560 3571 0 0 0 8 0 0 0 20 0 20 0 101039155 26623803392 6623 33554432000 4194304 4196468 140720921800176 140002543579616 140002523428190 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21464] ppid=21460 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/21462/task/21464/stat : 21464 (java) S 21460 21460 21416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101039155 26623803392 6623 33554432000 4194304 4196468 140720921800176 140002446907792 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21465] ppid=21460 vsize=25999808 memory=139703831373440 CPUtime=0 cores=0-7
/proc/21462/task/21465/stat : 21465 (java) S 21460 21460 21416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101039156 26623803392 6623 33554432000 4194304 4196468 140720921800176 140002096154896 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21466] ppid=21460 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21462/task/21466/stat : 21466 (java) S 21460 21460 21416 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101039156 26623803392 6623 33554432000 4194304 4196468 140720921800176 140002095102608 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21467] ppid=21460 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21462/task/21467/stat : 21467 (java) S 21460 21460 21416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101039156 26623803392 6623 33554432000 4194304 4196468 140720921800176 140002094049808 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21468] ppid=21460 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21462/task/21468/stat : 21468 (java) S 21460 21460 21416 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101039156 26623803392 6623 33554432000 4194304 4196468 140720921800176 140002092997520 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21469] ppid=21460 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/21462/task/21469/stat : 21469 (java) S 21460 21460 21416 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101039156 26623803392 6623 33554432000 4194304 4196468 140720921800176 140002091944720 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21470] ppid=21460 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21462/task/21470/stat : 21470 (java) S 21460 21460 21416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101039156 26623803392 6623 33554432000 4194304 4196468 140720921800176 140002090892432 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21471] ppid=21460 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21462/task/21471/stat : 21471 (java) S 21460 21460 21416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101039156 26623803392 6623 33554432000 4194304 4196468 140720921800176 140002089839632 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21472] ppid=21460 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21462/task/21472/stat : 21472 (java) S 21460 21460 21416 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 101039157 26623803392 6623 33554432000 4194304 4196468 140720921800176 140002047465584 140002539358850 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21473] ppid=21460 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21462/task/21473/stat : 21473 (java) S 21460 21460 21416 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 101039157 26623803392 6623 33554432000 4194304 4196468 140720921800176 140002046411552 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21474] ppid=21460 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21462/task/21474/stat : 21474 (java) S 21460 21460 21416 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 101039158 26623803392 6623 33554432000 4194304 4196468 140720921800176 140002045359216 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21475] ppid=21460 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21462/task/21475/stat : 21475 (java) S 21460 21460 21416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101039160 26623803392 6623 33554432000 4194304 4196468 140720921800176 140002044307536 140002539366299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21476] ppid=21460 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21462/task/21476/stat : 21476 (java) S 21460 21460 21416 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 101039160 26623803392 6623 33554432000 4194304 4196468 140720921800176 140001661708912 140002539358850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21477] ppid=21460 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21462/task/21477/stat : 21477 (java) S 21460 21460 21416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101039160 26623803392 6623 33554432000 4194304 4196468 140720921800176 140001660656112 140002539358850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21478] ppid=21460 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21462/task/21478/stat : 21478 (java) S 21460 21460 21416 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 101039160 26623803392 6623 33554432000 4194304 4196468 140720921800176 140001659603824 140002539358850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21479] ppid=21460 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/21462/task/21479/stat : 21479 (java) R 21460 21460 21416 0 -1 4202560 262 0 0 0 1 0 0 0 20 0 20 0 101039160 26623803392 6623 33554432000 4194304 4196468 140720921800176 140001658551024 140002539369050 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21480] ppid=21460 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21462/task/21480/stat : 21480 (java) S 21460 21460 21416 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101039160 26623803392 6623 33554432000 4194304 4196468 140720921800176 140001657497952 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21481] ppid=21460 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/21462/task/21481/stat : 21481 (java) S 21460 21460 21416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101039161 26623803392 6623 33554432000 4194304 4196468 140720921800176 140001656445232 140002539358850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27876 KiB

[startup+0.210576 s]*
/proc/loadavg: 8.05 8.25 8.32 2/200 21481
/proc/meminfo: memFree=28542416/32770624 swapFree=67108860/67108860
[pid=21460] ppid=21457 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21460/stat : 21460 (xcsp3-exec) S 21457 21460 21416 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 101039154 9740288 346 33554432000 4194304 5098028 140723068296944 140723068295048 140420933407356 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15634432 140723068302437 140723068302647 140723068302647 140723068305387 0
/proc/21460/statm: 2378 346 289 221 0 87 0
[pid=21462] ppid=21460 vsize=26004064 memory=38928 CPUtime=0.33 cores=0-7
/proc/21462/stat : 21462 (java) S 21460 21460 21416 0 -1 1077944320 8313 0 0 0 32 1 0 0 20 0 20 0 101039154 26628161536 9732 33554432000 4194304 4196468 140720921800176 140720921782720 140002539347703 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
/proc/21462/statm: 6501016 9732 3054 1 0 6488269 0
[pid=21462/tid=21463] ppid=21460 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/21462/task/21463/stat : 21463 (java) R 21460 21460 21416 0 -1 4202560 5423 0 0 0 19 1 0 0 20 0 20 0 101039155 26628161536 9732 33554432000 4194304 4196468 140720921800176 140002543569744 140002523428190 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21464] ppid=21460 vsize=26004064 memory=330 CPUtime=0 cores=0-7
/proc/21462/task/21464/stat : 21464 (java) S 21460 21460 21416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101039155 26628161536 9732 33554432000 4194304 4196468 140720921800176 140002446907792 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21465] ppid=21460 vsize=26004064 memory=139703831796448 CPUtime=0 cores=0-7
/proc/21462/task/21465/stat : 21465 (java) S 21460 21460 21416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101039156 26628161536 9732 33554432000 4194304 4196468 140720921800176 140002096154896 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21466] ppid=21460 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/21462/task/21466/stat : 21466 (java) S 21460 21460 21416 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101039156 26628161536 9732 33554432000 4194304 4196468 140720921800176 140002095102608 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21467] ppid=21460 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21462/task/21467/stat : 21467 (java) S 21460 21460 21416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101039156 26628161536 9732 33554432000 4194304 4196468 140720921800176 140002094049808 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21468] ppid=21460 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21462/task/21468/stat : 21468 (java) S 21460 21460 21416 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101039156 26628161536 9732 33554432000 4194304 4196468 140720921800176 140002092997520 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21469] ppid=21460 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/21462/task/21469/stat : 21469 (java) S 21460 21460 21416 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101039156 26628161536 9732 33554432000 4194304 4196468 140720921800176 140002091944720 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21470] ppid=21460 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21462/task/21470/stat : 21470 (java) S 21460 21460 21416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101039156 26628161536 9732 33554432000 4194304 4196468 140720921800176 140002090892432 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21471] ppid=21460 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21462/task/21471/stat : 21471 (java) S 21460 21460 21416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101039156 26628161536 9732 33554432000 4194304 4196468 140720921800176 140002089839632 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21472] ppid=21460 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21462/task/21472/stat : 21472 (java) S 21460 21460 21416 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 101039157 26628161536 9732 33554432000 4194304 4196468 140720921800176 140002047465584 140002539358850 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21473] ppid=21460 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21462/task/21473/stat : 21473 (java) S 21460 21460 21416 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 101039157 26628161536 9732 33554432000 4194304 4196468 140720921800176 140002046411552 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21474] ppid=21460 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21462/task/21474/stat : 21474 (java) S 21460 21460 21416 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 101039158 26628161536 9732 33554432000 4194304 4196468 140720921800176 140002045359216 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21475] ppid=21460 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21462/task/21475/stat : 21475 (java) S 21460 21460 21416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101039160 26628161536 9732 33554432000 4194304 4196468 140720921800176 140002044307536 140002539366299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21476] ppid=21460 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/21462/task/21476/stat : 21476 (java) S 21460 21460 21416 0 -1 1077944384 415 0 0 0 1 0 0 0 20 0 20 0 101039160 26628161536 9732 33554432000 4194304 4196468 140720921800176 140001661708912 140002539358850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21477] ppid=21460 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/21462/task/21477/stat : 21477 (java) S 21460 21460 21416 0 -1 1077944384 110 0 0 0 2 0 0 0 20 0 20 0 101039160 26628161536 9732 33554432000 4194304 4196468 140720921800176 140001660656112 140002539358850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21478] ppid=21460 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/21462/task/21478/stat : 21478 (java) S 21460 21460 21416 0 -1 1077944384 314 0 0 0 1 0 0 0 20 0 20 0 101039160 26628161536 9732 33554432000 4194304 4196468 140720921800176 140001659603824 140002539358850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21479] ppid=21460 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7
/proc/21462/task/21479/stat : 21479 (java) R 21460 21460 21416 0 -1 4202560 742 0 0 0 8 0 0 0 20 0 20 0 101039160 26628161536 9732 33554432000 4194304 4196468 140720921800176 140001658550208 140002539359638 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21480] ppid=21460 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21462/task/21480/stat : 21480 (java) S 21460 21460 21416 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101039160 26628161536 9732 33554432000 4194304 4196468 140720921800176 140001657497952 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21481] ppid=21460 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/21462/task/21481/stat : 21481 (java) S 21460 21460 21416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101039161 26628161536 9732 33554432000 4194304 4196468 140720921800176 140001656445232 140002539358850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40312 KiB

[startup+0.310353 s]*
/proc/loadavg: 8.05 8.25 8.32 3/200 21481
/proc/meminfo: memFree=28538012/32770624 swapFree=67108860/67108860
[pid=21460] ppid=21457 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21460/stat : 21460 (xcsp3-exec) S 21457 21460 21416 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 101039154 9740288 346 33554432000 4194304 5098028 140723068296944 140723068295048 140420933407356 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15634432 140723068302437 140723068302647 140723068302647 140723068305387 0
/proc/21460/statm: 2378 346 289 221 0 87 0
[pid=21462] ppid=21460 vsize=26004064 memory=43828 CPUtime=0.51 cores=0-7
/proc/21462/stat : 21462 (java) S 21460 21460 21416 0 -1 1077944320 9228 0 0 0 49 2 0 0 20 0 20 0 101039154 26628161536 10957 33554432000 4194304 4196468 140720921800176 140720921782720 140002539347703 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
/proc/21462/statm: 6501016 10957 3068 1 0 6488269 0
[pid=21462/tid=21463] ppid=21460 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/21462/task/21463/stat : 21463 (java) R 21460 21460 21416 0 -1 4202560 6092 0 0 0 28 1 0 0 20 0 20 0 101039155 26628161536 10957 33554432000 4194304 4196468 140720921800176 140002543585616 140002539359638 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21464] ppid=21460 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21462/task/21464/stat : 21464 (java) S 21460 21460 21416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101039155 26628161536 10957 33554432000 4194304 4196468 140720921800176 140002446907792 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21465] ppid=21460 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21462/task/21465/stat : 21465 (java) S 21460 21460 21416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101039156 26628161536 10957 33554432000 4194304 4196468 140720921800176 140002096154896 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21466] ppid=21460 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21462/task/21466/stat : 21466 (java) S 21460 21460 21416 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101039156 26628161536 10957 33554432000 4194304 4196468 140720921800176 140002095102608 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21467] ppid=21460 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21462/task/21467/stat : 21467 (java) S 21460 21460 21416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101039156 26628161536 10957 33554432000 4194304 4196468 140720921800176 140002094049808 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21468] ppid=21460 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/21462/task/21468/stat : 21468 (java) S 21460 21460 21416 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101039156 26628161536 10957 33554432000 4194304 4196468 140720921800176 140002092997520 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21469] ppid=21460 vsize=26004064 memory=139703676400559 CPUtime=0 cores=0-7
/proc/21462/task/21469/stat : 21469 (java) S 21460 21460 21416 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101039156 26628161536 10957 33554432000 4194304 4196468 140720921800176 140002091944720 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21470] ppid=21460 vsize=26004064 memory=139703676402864 CPUtime=0 cores=0-7
/proc/21462/task/21470/stat : 21470 (java) S 21460 21460 21416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101039156 26628161536 10957 33554432000 4194304 4196468 140720921800176 140002090892432 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21471] ppid=21460 vsize=26004064 memory=139703676405168 CPUtime=0 cores=0-7
/proc/21462/task/21471/stat : 21471 (java) S 21460 21460 21416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101039156 26628161536 10957 33554432000 4194304 4196468 140720921800176 140002089839632 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21472] ppid=21460 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21462/task/21472/stat : 21472 (java) S 21460 21460 21416 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 101039157 26628161536 10957 33554432000 4194304 4196468 140720921800176 140002047465584 140002539358850 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21473] ppid=21460 vsize=26004064 memory=279407352817296 CPUtime=0 cores=0-7
/proc/21462/task/21473/stat : 21473 (java) S 21460 21460 21416 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 101039157 26628161536 10957 33554432000 4194304 4196468 140720921800176 140002046411552 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21474] ppid=21460 vsize=26004064 memory=279407352824208 CPUtime=0 cores=0-7
/proc/21462/task/21474/stat : 21474 (java) S 21460 21460 21416 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 101039158 26628161536 10957 33554432000 4194304 4196468 140720921800176 140002045359216 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21475] ppid=21460 vsize=26004064 memory=279407352765488 CPUtime=0 cores=0-7
/proc/21462/task/21475/stat : 21475 (java) S 21460 21460 21416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101039160 26628161536 10957 33554432000 4194304 4196468 140720921800176 140002044307536 140002539366299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21476] ppid=21460 vsize=26004064 memory=279407352838032 CPUtime=0.02 cores=0-7
/proc/21462/task/21476/stat : 21476 (java) S 21460 21460 21416 0 -1 1077944384 507 0 0 0 2 0 0 0 20 0 20 0 101039160 26628161536 10957 33554432000 4194304 4196468 140720921800176 140001661708912 140002539358850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21477] ppid=21460 vsize=26004064 memory=279407352844944 CPUtime=0.02 cores=0-7
/proc/21462/task/21477/stat : 21477 (java) S 21460 21460 21416 0 -1 1077944384 121 0 0 0 2 0 0 0 20 0 20 0 101039160 26628161536 10957 33554432000 4194304 4196468 140720921800176 140001660656112 140002539358850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21478] ppid=21460 vsize=26004064 memory=279407352842640 CPUtime=0.01 cores=0-7
/proc/21462/task/21478/stat : 21478 (java) S 21460 21460 21416 0 -1 1077944384 314 0 0 0 1 0 0 0 20 0 20 0 101039160 26628161536 10957 33554432000 4194304 4196468 140720921800176 140001659603824 140002539358850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21479] ppid=21460 vsize=26004064 memory=279407352858800 CPUtime=0.13 cores=0-7
/proc/21462/task/21479/stat : 21479 (java) R 21460 21460 21416 0 -1 4202560 884 0 0 0 13 0 0 0 20 0 20 0 101039160 26628161536 10957 33554432000 4194304 4196468 140720921800176 140001658548688 140002524513248 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21480] ppid=21460 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21462/task/21480/stat : 21480 (java) S 21460 21460 21416 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 101039160 26628161536 10957 33554432000 4194304 4196468 140720921800176 140001657497952 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21481] ppid=21460 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/21462/task/21481/stat : 21481 (java) S 21460 21460 21416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101039161 26628161536 10957 33554432000 4194304 4196468 140720921800176 140001656445232 140002539358850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 45212 KiB

[startup+0.700979 s]
/proc/loadavg: 7.73 8.18 8.30 5/200 21481
/proc/meminfo: memFree=28511336/32770624 swapFree=67108860/67108860
[pid=21460] ppid=21457 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21460/stat : 21460 (xcsp3-exec) S 21457 21460 21416 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 101039154 9740288 346 33554432000 4194304 5098028 140723068296944 140723068295048 140420933407356 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15634432 140723068302437 140723068302647 140723068302647 140723068305387 0
/proc/21460/statm: 2378 346 289 221 0 87 0
[pid=21462] ppid=21460 vsize=26006188 memory=90264 CPUtime=1.96 cores=0-7
/proc/21462/stat : 21462 (java) S 21460 21460 21416 0 -1 1077944320 13683 0 0 0 193 3 0 0 20 0 20 0 101039154 26630336512 22566 33554432000 4194304 4196468 140720921800176 140720921782720 140002539347703 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
/proc/21462/statm: 6501547 22566 3201 1 0 6488781 0
[pid=21462/tid=21463] ppid=21460 vsize=26006188 memory=279407353216688 CPUtime=0.67 cores=0-7
/proc/21462/task/21463/stat : 21463 (java) R 21460 21460 21416 0 -1 4202560 6703 0 0 0 65 2 0 0 20 0 20 0 101039155 26630336512 22566 33554432000 4194304 4196468 140720921800176 140002543582592 140002539359638 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21464] ppid=21460 vsize=26006188 memory=139703676609392 CPUtime=0 cores=0-7
/proc/21462/task/21464/stat : 21464 (java) S 21460 21460 21416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101039155 26630336512 22566 33554432000 4194304 4196468 140720921800176 140002446907792 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21465] ppid=21460 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/21462/task/21465/stat : 21465 (java) S 21460 21460 21416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 101039156 26630336512 22566 33554432000 4194304 4196468 140720921800176 140002096154896 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21466] ppid=21460 vsize=26006188 memory=11008 CPUtime=0 cores=0-7
/proc/21462/task/21466/stat : 21466 (java) S 21460 21460 21416 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 101039156 26630336512 22566 33554432000 4194304 4196468 140720921800176 140002095102608 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0

################
# More data... #
################

[pid=21462/tid=21505] ppid=21460 vsize=26538700 memory=2240 CPUtime=2430.21 cores=0-7
/proc/21462/task/21505/stat : 21505 (java) R 21460 21460 21416 0 -1 4202560 7570 0 0 0 243012 9 0 0 20 0 28 0 101039305 27175628800 656658 33554432000 4194304 4196468 140720921800176 140001644723712 140002134674888 0 4 0 16800975 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
Current children cumulated CPU time: 19462.1 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2628016 KiB

[startup+2502.3 s]
/proc/loadavg: 8.08 8.15 8.21 9/207 21561
/proc/meminfo: memFree=25846484/32770624 swapFree=67108860/67108860
[pid=21460] ppid=21457 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21460/stat : 21460 (xcsp3-exec) S 21457 21460 21416 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 101039154 9740288 346 33554432000 4194304 5098028 140723068296944 140723068295048 140420933407356 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15634432 140723068302437 140723068302647 140723068302647 140723068305387 0
/proc/21460/statm: 2378 346 289 221 0 87 0
[pid=21462] ppid=21460 vsize=26538700 memory=2731344 CPUtime=19940.8 cores=0-7
/proc/21462/stat : 21462 (java) S 21460 21460 21416 0 -1 1077944320 593581 0 0 0 1993175 905 0 0 20 0 28 0 101039154 27175628800 682836 33554432000 4194304 4196468 140720921800176 140720921782720 140002539347703 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
/proc/21462/statm: 6634675 682836 3306 1 0 6621909 0
[pid=21462/tid=21463] ppid=21460 vsize=26538700 memory=2710860 CPUtime=1.3 cores=0-7
/proc/21462/task/21463/stat : 21463 (java) S 21460 21460 21416 0 -1 1077944384 7116 0 0 0 127 3 0 0 20 0 28 0 101039155 27175628800 682836 33554432000 4194304 4196468 140720921800176 140002543588480 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21464] ppid=21460 vsize=26538700 memory=2710860 CPUtime=2.35 cores=0-7
/proc/21462/task/21464/stat : 21464 (java) S 21460 21460 21416 0 -1 1077944384 15006 0 0 0 193 42 0 0 20 0 28 0 101039155 27175628800 682836 33554432000 4194304 4196468 140720921800176 140002446907792 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21465] ppid=21460 vsize=26538700 memory=2710860 CPUtime=2.37 cores=0-7
/proc/21462/task/21465/stat : 21465 (java) S 21460 21460 21416 0 -1 1077944384 16066 0 0 0 195 42 0 0 20 0 28 0 101039156 27175628800 682836 33554432000 4194304 4196468 140720921800176 140002096154896 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21466] ppid=21460 vsize=26538700 memory=2710860 CPUtime=2.38 cores=0-7
/proc/21462/task/21466/stat : 21466 (java) S 21460 21460 21416 0 -1 1077944384 14142 0 0 0 195 43 0 0 20 0 28 0 101039156 27175628800 682836 33554432000 4194304 4196468 140720921800176 140002095102608 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21467] ppid=21460 vsize=26538700 memory=2710860 CPUtime=2.31 cores=0-7
/proc/21462/task/21467/stat : 21467 (java) S 21460 21460 21416 0 -1 1077944384 13431 0 0 0 189 42 0 0 20 0 28 0 101039156 27175628800 682836 33554432000 4194304 4196468 140720921800176 140002094049808 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21468] ppid=21460 vsize=26538700 memory=2731344 CPUtime=2.36 cores=0-7
/proc/21462/task/21468/stat : 21468 (java) S 21460 21460 21416 0 -1 1077944384 17445 0 0 0 193 43 0 0 20 0 28 0 101039156 27175628800 682836 33554432000 4194304 4196468 140720921800176 140002092997520 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21469] ppid=21460 vsize=26538700 memory=1384 CPUtime=2.37 cores=0-7
/proc/21462/task/21469/stat : 21469 (java) S 21460 21460 21416 0 -1 1077944384 13479 0 0 0 193 44 0 0 20 0 28 0 101039156 27175628800 682836 33554432000 4194304 4196468 140720921800176 140002091944720 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21470] ppid=21460 vsize=26538700 memory=1384 CPUtime=2.34 cores=0-7
/proc/21462/task/21470/stat : 21470 (java) S 21460 21460 21416 0 -1 1077944384 13675 0 0 0 193 41 0 0 20 0 28 0 101039156 27175628800 682836 33554432000 4194304 4196468 140720921800176 140002090892432 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21471] ppid=21460 vsize=26538700 memory=2710860 CPUtime=2.32 cores=0-7
/proc/21462/task/21471/stat : 21471 (java) S 21460 21460 21416 0 -1 1077944384 14104 0 0 0 192 40 0 0 20 0 28 0 101039156 27175628800 682836 33554432000 4194304 4196468 140720921800176 140002089839632 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21472] ppid=21460 vsize=26538700 memory=4140 CPUtime=1.22 cores=0-7
/proc/21462/task/21472/stat : 21472 (java) S 21460 21460 21416 0 -1 1077944384 46100 0 0 0 101 21 0 0 20 0 28 0 101039157 27175628800 682836 33554432000 4194304 4196468 140720921800176 140002047465584 140002539358850 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21473] ppid=21460 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/21462/task/21473/stat : 21473 (java) S 21460 21460 21416 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 101039157 27175628800 682836 33554432000 4194304 4196468 140720921800176 140002046411616 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21474] ppid=21460 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/21462/task/21474/stat : 21474 (java) S 21460 21460 21416 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 101039158 27175628800 682836 33554432000 4194304 4196468 140720921800176 140002045359232 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21475] ppid=21460 vsize=26538700 memory=2671832 CPUtime=0 cores=0-7
/proc/21462/task/21475/stat : 21475 (java) S 21460 21460 21416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 101039160 27175628800 682836 33554432000 4194304 4196468 140720921800176 140002044307536 140002539366299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21476] ppid=21460 vsize=26538700 memory=1384 CPUtime=2.39 cores=0-7
/proc/21462/task/21476/stat : 21476 (java) S 21460 21460 21416 0 -1 1077944384 17792 0 0 0 236 3 0 0 20 0 28 0 101039160 27175628800 682836 33554432000 4194304 4196468 140720921800176 140001661708912 140002539358850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21477] ppid=21460 vsize=26538700 memory=1384 CPUtime=2.07 cores=0-7
/proc/21462/task/21477/stat : 21477 (java) S 21460 21460 21416 0 -1 1077944384 9996 0 0 0 205 2 0 0 20 0 28 0 101039160 27175628800 682836 33554432000 4194304 4196468 140720921800176 140001660656112 140002539358850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21478] ppid=21460 vsize=26538700 memory=2710860 CPUtime=2.36 cores=0-7
/proc/21462/task/21478/stat : 21478 (java) S 21460 21460 21416 0 -1 1077944384 12546 0 0 0 235 1 0 0 20 0 28 0 101039160 27175628800 682836 33554432000 4194304 4196468 140720921800176 140001659603824 140002539358850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21479] ppid=21460 vsize=26538700 memory=2704660 CPUtime=0.76 cores=0-7
/proc/21462/task/21479/stat : 21479 (java) S 21460 21460 21416 0 -1 1077944384 9904 0 0 0 75 1 0 0 20 0 28 0 101039160 27175628800 682836 33554432000 4194304 4196468 140720921800176 140001658551024 140002539358850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21480] ppid=21460 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/21462/task/21480/stat : 21480 (java) S 21460 21460 21416 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 101039160 27175628800 682836 33554432000 4194304 4196468 140720921800176 140001657497952 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21481] ppid=21460 vsize=26538700 memory=1384 CPUtime=0.35 cores=0-7
/proc/21462/task/21481/stat : 21481 (java) S 21460 21460 21416 0 -1 1077944384 3768 0 0 0 23 12 0 0 20 0 28 0 101039161 27175628800 682836 33554432000 4194304 4196468 140720921800176 140001656445232 140002539358850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21498] ppid=21460 vsize=26538700 memory=2710860 CPUtime=2491.17 cores=0-7
/proc/21462/task/21498/stat : 21498 (java) R 21460 21460 21416 0 -1 4202560 8891 0 0 0 249108 9 0 0 20 0 28 0 101039304 27175628800 682836 33554432000 4194304 4196468 140720921800176 140001646828480 140002134031897 0 4 0 16800975 0 0 0 -1 6 0 0 16 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21499] ppid=21460 vsize=26538700 memory=1384 CPUtime=2493.01 cores=0-7
/proc/21462/task/21499/stat : 21499 (java) R 21460 21460 21416 0 -1 4202560 7784 0 0 0 249291 10 0 0 20 0 28 0 101039304 27175628800 682836 33554432000 4194304 4196468 140720921800176 140001642619192 140002134031897 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21500] ppid=21460 vsize=26538700 memory=4140 CPUtime=2483.43 cores=0-7
/proc/21462/task/21500/stat : 21500 (java) R 21460 21460 21416 0 -1 4202560 36064 0 0 0 248281 62 0 0 20 0 28 0 101039304 27175628800 682836 33554432000 4194304 4196468 140720921800176 140001641566400 140002134031877 0 4 0 16800975 0 0 0 -1 3 0 0 15 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21501] ppid=21460 vsize=26538700 memory=1384 CPUtime=2488.84 cores=0-7
/proc/21462/task/21501/stat : 21501 (java) R 21460 21460 21416 0 -1 4202560 21997 0 0 0 248863 21 0 0 20 0 28 0 101039304 27175628800 682836 33554432000 4194304 4196468 140720921800176 140001645777464 140002133369206 0 4 0 16800975 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21502] ppid=21460 vsize=26538700 memory=1384 CPUtime=2486 cores=0-7
/proc/21462/task/21502/stat : 21502 (java) R 21460 21460 21416 0 -1 4202560 41146 0 0 0 248481 119 0 0 20 0 28 0 101039304 27175628800 682836 33554432000 4194304 4196468 140720921800176 140001643672504 140002134239690 0 4 0 16800975 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21503] ppid=21460 vsize=26538700 memory=2710860 CPUtime=2489.53 cores=0-7
/proc/21462/task/21503/stat : 21503 (java) R 21460 21460 21416 0 -1 4202560 235844 0 0 0 248652 301 0 0 20 0 28 0 101039304 27175628800 682836 33554432000 4194304 4196468 140720921800176 140001647881488 140002134239475 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21504] ppid=21460 vsize=26538700 memory=1384 CPUtime=2489.43 cores=0-7
/proc/21462/task/21504/stat : 21504 (java) R 21460 21460 21416 0 -1 4202560 7708 0 0 0 248931 12 0 0 20 0 28 0 101039304 27175628800 682836 33554432000 4194304 4196468 140720921800176 140001648934608 140002134239640 0 4 0 16800975 0 0 0 -1 4 0 0 11 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21505] ppid=21460 vsize=26538700 memory=2710860 CPUtime=2489.4 cores=0-7
/proc/21462/task/21505/stat : 21505 (java) R 21460 21460 21416 0 -1 4202560 7784 0 0 0 248930 10 0 0 20 0 28 0 101039305 27175628800 682836 33554432000 4194304 4196468 140720921800176 140001644724280 140002134674888 0 4 0 16800975 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
Current children cumulated CPU time: 19940.8 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2732728 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.07 8.14 8.20 9/207 21561
/proc/meminfo: memFree=25832136/32770624 swapFree=67108860/67108860
[pid=21460] ppid=21457 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21460/stat : 21460 (xcsp3-exec) S 21457 21460 21416 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 101039154 9740288 346 33554432000 4194304 5098028 140723068296944 140723068295048 140420933407356 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15634432 140723068302437 140723068302647 140723068302647 140723068305387 0
/proc/21460/statm: 2378 346 289 221 0 87 0
[pid=21462] ppid=21460 vsize=26538700 memory=2743680 CPUtime=20082.1 cores=0-7
/proc/21462/stat : 21462 (java) S 21460 21460 21416 0 -1 1077944320 623967 0 0 0 2007280 925 0 0 20 0 28 0 101039154 27175628800 685920 33554432000 4194304 4196468 140720921800176 140720921782720 140002539347703 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
/proc/21462/statm: 6634675 685920 3306 1 0 6621909 0
[pid=21462/tid=21463] ppid=21460 vsize=26538700 memory=6791534058613427641 CPUtime=1.3 cores=0-7
/proc/21462/task/21463/stat : 21463 (java) S 21460 21460 21416 0 -1 1077944384 7116 0 0 0 127 3 0 0 20 0 28 0 101039155 27175628800 685920 33554432000 4194304 4196468 140720921800176 140002543588480 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21464] ppid=21460 vsize=26538700 memory=1152 CPUtime=2.37 cores=0-7
/proc/21462/task/21464/stat : 21464 (java) S 21460 21460 21416 0 -1 1077944384 15052 0 0 0 194 43 0 0 20 0 28 0 101039155 27175628800 685920 33554432000 4194304 4196468 140720921800176 140002446907792 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21465] ppid=21460 vsize=26538700 memory=3796 CPUtime=2.39 cores=0-7
/proc/21462/task/21465/stat : 21465 (java) S 21460 21460 21416 0 -1 1077944384 16150 0 0 0 196 43 0 0 20 0 28 0 101039156 27175628800 685920 33554432000 4194304 4196468 140720921800176 140002096154896 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21466] ppid=21460 vsize=26538700 memory=0 CPUtime=2.39 cores=0-7
/proc/21462/task/21466/stat : 21466 (java) S 21460 21460 21416 0 -1 1077944384 14588 0 0 0 196 43 0 0 20 0 28 0 101039156 27175628800 685920 33554432000 4194304 4196468 140720921800176 140002095102608 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21467] ppid=21460 vsize=26538700 memory=4872558044660077418 CPUtime=2.34 cores=0-7
/proc/21462/task/21467/stat : 21467 (java) S 21460 21460 21416 0 -1 1077944384 13470 0 0 0 191 43 0 0 20 0 28 0 101039156 27175628800 685920 33554432000 4194304 4196468 140720921800176 140002094049808 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21468] ppid=21460 vsize=26538700 memory=2743680 CPUtime=2.38 cores=0-7
/proc/21462/task/21468/stat : 21468 (java) S 21460 21460 21416 0 -1 1077944384 17782 0 0 0 194 44 0 0 20 0 28 0 101039156 27175628800 685920 33554432000 4194304 4196468 140720921800176 140002092997520 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21469] ppid=21460 vsize=26538700 memory=2196 CPUtime=2.38 cores=0-7
/proc/21462/task/21469/stat : 21469 (java) S 21460 21460 21416 0 -1 1077944384 13589 0 0 0 194 44 0 0 20 0 28 0 101039156 27175628800 685920 33554432000 4194304 4196468 140720921800176 140002091944720 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21470] ppid=21460 vsize=26538700 memory=6760 CPUtime=2.36 cores=0-7
/proc/21462/task/21470/stat : 21470 (java) S 21460 21460 21416 0 -1 1077944384 13803 0 0 0 194 42 0 0 20 0 28 0 101039156 27175628800 685920 33554432000 4194304 4196468 140720921800176 140002090892432 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21471] ppid=21460 vsize=26538700 memory=840 CPUtime=2.34 cores=0-7
/proc/21462/task/21471/stat : 21471 (java) S 21460 21460 21416 0 -1 1077944384 14193 0 0 0 193 41 0 0 20 0 28 0 101039156 27175628800 685920 33554432000 4194304 4196468 140720921800176 140002089839632 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21472] ppid=21460 vsize=26538700 memory=6791534058613427641 CPUtime=1.22 cores=0-7
/proc/21462/task/21472/stat : 21472 (java) S 21460 21460 21416 0 -1 1077944384 46492 0 0 0 101 21 0 0 20 0 28 0 101039157 27175628800 685920 33554432000 4194304 4196468 140720921800176 140002047465584 140002539358850 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21473] ppid=21460 vsize=26538700 memory=444107 CPUtime=0 cores=0-7
/proc/21462/task/21473/stat : 21473 (java) S 21460 21460 21416 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 101039157 27175628800 685920 33554432000 4194304 4196468 140720921800176 140002046411616 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21474] ppid=21460 vsize=26538700 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/21462/task/21474/stat : 21474 (java) S 21460 21460 21416 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 101039158 27175628800 685920 33554432000 4194304 4196468 140720921800176 140002045359232 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21475] ppid=21460 vsize=26538700 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/21462/task/21475/stat : 21475 (java) S 21460 21460 21416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 101039160 27175628800 685920 33554432000 4194304 4196468 140720921800176 140002044307536 140002539366299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21476] ppid=21460 vsize=26538700 memory=0 CPUtime=2.39 cores=0-7
/proc/21462/task/21476/stat : 21476 (java) S 21460 21460 21416 0 -1 1077944384 17798 0 0 0 236 3 0 0 20 0 28 0 101039160 27175628800 685920 33554432000 4194304 4196468 140720921800176 140001661708912 140002539358850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21477] ppid=21460 vsize=26538700 memory=288292190210491238 CPUtime=2.07 cores=0-7
/proc/21462/task/21477/stat : 21477 (java) S 21460 21460 21416 0 -1 1077944384 10002 0 0 0 205 2 0 0 20 0 28 0 101039160 27175628800 685920 33554432000 4194304 4196468 140720921800176 140001660656112 140002539358850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21478] ppid=21460 vsize=26538700 memory=1384 CPUtime=2.36 cores=0-7
/proc/21462/task/21478/stat : 21478 (java) S 21460 21460 21416 0 -1 1077944384 12552 0 0 0 235 1 0 0 20 0 28 0 101039160 27175628800 685920 33554432000 4194304 4196468 140720921800176 140001659603824 140002539358850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21479] ppid=21460 vsize=26538700 memory=2743680 CPUtime=0.76 cores=0-7
/proc/21462/task/21479/stat : 21479 (java) S 21460 21460 21416 0 -1 1077944384 9910 0 0 0 75 1 0 0 20 0 28 0 101039160 27175628800 685920 33554432000 4194304 4196468 140720921800176 140001658551024 140002539358850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21480] ppid=21460 vsize=26538700 memory=2737532 CPUtime=0 cores=0-7
/proc/21462/task/21480/stat : 21480 (java) S 21460 21460 21416 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 101039160 27175628800 685920 33554432000 4194304 4196468 140720921800176 140001657497952 140002539357909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21481] ppid=21460 vsize=26538700 memory=6791534058613427641 CPUtime=0.36 cores=0-7
/proc/21462/task/21481/stat : 21481 (java) S 21460 21460 21416 0 -1 1077944384 3825 0 0 0 24 12 0 0 20 0 28 0 101039161 27175628800 685920 33554432000 4194304 4196468 140720921800176 140001656445232 140002539358850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21498] ppid=21460 vsize=26538700 memory=1152 CPUtime=2508.86 cores=0-7
/proc/21462/task/21498/stat : 21498 (java) R 21460 21460 21416 0 -1 4202560 9044 0 0 0 250877 9 0 0 20 0 28 0 101039304 27175628800 685920 33554432000 4194304 4196468 140720921800176 140001646828416 140002134239485 0 4 0 16800975 0 0 0 -1 0 0 0 17 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21499] ppid=21460 vsize=26538700 memory=3796 CPUtime=2510.69 cores=0-7
/proc/21462/task/21499/stat : 21499 (java) R 21460 21460 21416 0 -1 4202560 7953 0 0 0 251059 10 0 0 20 0 28 0 101039304 27175628800 685920 33554432000 4194304 4196468 140720921800176 140001642618800 140002520754022 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21500] ppid=21460 vsize=26538700 memory=1384 CPUtime=2501.12 cores=0-7
/proc/21462/task/21500/stat : 21500 (java) R 21460 21460 21416 0 -1 4202560 37026 0 0 0 250048 64 0 0 20 0 28 0 101039304 27175628800 685920 33554432000 4194304 4196468 140720921800176 140001641566904 140002133431704 0 4 0 16800975 0 0 0 -1 1 0 0 15 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21501] ppid=21460 vsize=26538700 memory=2737532 CPUtime=2506.52 cores=0-7
/proc/21462/task/21501/stat : 21501 (java) R 21460 21460 21416 0 -1 4202560 22614 0 0 0 250631 21 0 0 20 0 28 0 101039304 27175628800 685920 33554432000 4194304 4196468 140720921800176 140001645777464 140002133428291 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21502] ppid=21460 vsize=26538700 memory=6791534058613427641 CPUtime=2503.45 cores=0-7
/proc/21462/task/21502/stat : 21502 (java) R 21460 21460 21416 0 -1 4202560 43542 0 0 0 250222 123 0 0 20 0 28 0 101039304 27175628800 685920 33554432000 4194304 4196468 140720921800176 140001643671936 140002134674888 0 4 0 16800975 0 0 0 -1 7 0 0 10 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21503] ppid=21460 vsize=26538700 memory=4872558044660077418 CPUtime=2507.21 cores=0-7
/proc/21462/task/21503/stat : 21503 (java) R 21460 21460 21416 0 -1 4202560 259853 0 0 0 250410 311 0 0 20 0 28 0 101039304 27175628800 685920 33554432000 4194304 4196468 140720921800176 140001647882496 140002129793985 0 4 0 16800975 0 0 0 -1 2 0 0 8 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21504] ppid=21460 vsize=26538700 memory=1788 CPUtime=2507.11 cores=0-7
/proc/21462/task/21504/stat : 21504 (java) R 21460 21460 21416 0 -1 4202560 7886 0 0 0 250699 12 0 0 20 0 28 0 101039304 27175628800 685920 33554432000 4194304 4196468 140720921800176 140001648934528 140002134239564 0 4 0 16800975 0 0 0 -1 6 0 0 11 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
[pid=21462/tid=21505] ppid=21460 vsize=26538700 memory=952 CPUtime=2506.96 cores=0-7
/proc/21462/task/21505/stat : 21505 (java) R 21460 21460 21416 0 -1 4202560 7934 0 0 0 250686 10 0 0 20 0 28 0 101039305 27175628800 685920 33554432000 4194304 4196468 140720921800176 140001644724280 140002135136010 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 11472896 140720921801874 140720921802051 140720921802051 140720921804751 0
Current children cumulated CPU time: 20082.1 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2745064 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2520.04 s]
# the end of solver process 21460 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001006 s, system=0.001006 s

[startup+2520.12 s]
# the end of solver process 21462 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20073.5 s, system=9.28472 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2520.12
CPU time (s): 20082.8
CPU user time (s): 20073.5
CPU system time (s): 9.28472
CPU usage (%): 796.898
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 2745064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20073.5
system time used= 9.28472
maximum resident set size= 2744304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 624960
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 203008
involuntary context switches= 207100


# summary of solver processes directly reported to runsolver:
#   pid: 21460,21462
#   total CPU time (s): 20082.8
#   total CPU user time (s): 20073.5
#   total CPU system time (s): 9.28472

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.6227 second user time and 26.0023 second system time

The end

Launcher Data 

Begin job on node104 at 2017-08-14 04:44:14
IDJOB=4270589
IDBENCH=120587
IDSOLVER=2662
FILE ID=node104/4270589-1502679513
RUNJOBID= node104-1502678654-21443
PBS_JOBID= 20628984
Free space on /tmp= 61864 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-zeroin-i-3.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-4270589-1502679513/watcher-4270589-1502679513 -o /tmp/evaluation-result-4270589-1502679513/solver-4270589-1502679513 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1502678654-21443 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 126876462 HOME/instance-4270589-1502679513.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 21f5a9a53520a21a30dcca8a12a0310e
RANDOM SEED=126876462

node104.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.43
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.43
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.43
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.43
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:        28569384 kB
MemAvailable:   31984328 kB
Buffers:          181508 kB
Cached:          3514252 kB
SwapCached:            0 kB
Active:           404060 kB
Inactive:        3342320 kB
Active(anon):      53568 kB
Inactive(anon):    25024 kB
Active(file):     350492 kB
Inactive(file):  3317296 kB
Unevictable:        6532 kB
Mlocked:            6532 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7488 kB
Writeback:             0 kB
AnonPages:         57576 kB
Mapped:            44200 kB
Shmem:             25228 kB
Slab:             151436 kB
SReclaimable:     125984 kB
SUnreclaim:        25452 kB
KernelStack:        3152 kB
PageTables:         4404 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323420 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:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 61856 MiB
End job on node104 at 2017-08-14 05:26:14