Trace number 4281613

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-18)SAT (TO)457 1940.28 252.106

General information on the benchmark

NameTravellingSalesman/TravellingSalesman-m1-n100/
TravellingSalesman-100-50-08.xml
MD5SUM8e11a97c7673f129a8c4890bd1c1105b
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark443
Best CPU time to get the best result obtained on this benchmark240.02901
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints101
Number of domains2
Minimum domain size62
Maximum domain size100
Distribution of domain sizes[{"size":62,"count":100},{"size":100,"count":100}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":100},{"degree":3,"count":100}]
Minimum constraint arity3
Maximum constraint arity100
Distribution of constraint arities[{"arity":3,"count":100},{"arity":100,"count":1}]
Number of extensional constraints100
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":100},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin SUM

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-4281613-1503187545.xml"  -tl '2016s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4281613-1503187545.xml, -tl, 2016s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.32/0.27	c parse instance...
14.82/10.24	c solve instance...
19.73/10.98	o 1625 
19.73/10.99	o 1623 
20.51/11.02	o 1618 
20.51/11.09	o 1608 
21.85/11.40	o 1601 
22.19/11.41	o 1599 
22.19/11.45	o 522 
22.19/11.46	o 507 
22.19/11.46	o 505 
22.80/11.54	o 504 
22.80/11.58	o 503 
23.29/11.61	o 502 
23.29/11.65	o 501 
23.29/11.68	o 500 
25.27/11.90	o 466 
25.27/11.94	o 465 
25.27/11.99	o 464 
25.57/12.02	o 461 
25.57/12.05	o 457 
1939.60/252.07	s SATISFIABLE
1939.60/252.07	v <instantiation>
1939.60/252.07	v 	<list>c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] c[83] c[84] c[85] c[86] c[87] c[88] c[89] c[90] c[91] c[92] c[93] c[94] c[95] c[96] c[97] c[98] c[99] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] </list>
1939.60/252.07	v 	<values>51 56 45 44 39 34 31 30 14 18 26 25 24 29 23 28 22 13 9 7 4 1 5 0 2 3 6 8 10 11 17 21 27 15 12 16 20 19 32 35 36 47 49 53 42 37 33 43 48 50 54 55 62 66 60 59 65 68 61 64 67 71 63 58 52 46 40 41 81 86 90 91 95 82 79 83 75 72 92 96 97 99 87 93 94 98 88 80 76 73 77 89 85 84 78 74 70 69 38 57 8 4 3 2 3 3 2 7 9 3 1 1 2 4 4 3 5 6 3 1 7 10 40 5 10 2 3 4 3 2 2 4 5 1 1 12 2 7 1 1 7 1 2 6 6 6 5 3 1 1 1 5 2 7 1 9 2 4 4 1 2 4 4 4 3 2 1 18 6 4 9 2 7 1 3 2 5 15 5 2 1 4 2 1 1 3 9 3 4 9 6 5 2 4 2 2 2 16 8 4 </values>
1939.60/252.07	v </instantiation>
1939.60/252.07	c Unexpected resolution interruption!

Verifier Data 

OK	457

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281613-1503187545/watcher-4281613-1503187545 -o /tmp/evaluation-result-4281613-1503187545/solver-4281613-1503187545 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node150-1503183633-29141 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1205010777 HOME/instance-4281613-1503187545.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=2344, runsolver pid=2341

[startup+0.10011 s]*
/proc/loadavg: 8.50 7.79 7.37 3/200 2367
/proc/meminfo: memFree=23308220/32770624 swapFree=67108860/67108860
[pid=2344] ppid=2341 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/2344/stat : 2344 (xcsp3-exec) S 2341 2344 29114 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151835477 9740288 346 33554432000 4194304 5098028 140734726494288 140734726492392 139661023429244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20107264 140734726501482 140734726501692 140734726501692 140734726504427 0
/proc/2344/statm: 2378 346 289 221 0 87 0
[pid=2346] ppid=2344 vsize=25999808 memory=26092 CPUtime=0.11 cores=0-7
/proc/2346/stat : 2346 (java) S 2344 2344 29114 0 -1 1077944320 5469 0 0 0 10 1 0 0 20 0 20 0 151835477 26623803392 6523 33554432000 4194304 4196468 140731997934448 140731997916992 139694935178999 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
/proc/2346/statm: 6499952 6523 2846 1 0 6488269 0
[pid=2346/tid=2347] ppid=2344 vsize=25999808 memory=6935054825532540783 CPUtime=0.08 cores=0-7
/proc/2346/task/2347/stat : 2347 (java) R 2344 2344 29114 0 -1 4202560 3477 0 0 0 8 0 0 0 20 0 20 0 151835477 26623803392 6523 33554432000 4194304 4196468 140731997934448 139694939398280 139694935190934 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2348] ppid=2344 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2346/task/2348/stat : 2348 (java) S 2344 2344 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151835478 26623803392 6523 33554432000 4194304 4196468 140731997934448 139694887799696 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2349] ppid=2344 vsize=25999808 memory=139718335596160 CPUtime=0 cores=0-7
/proc/2346/task/2349/stat : 2349 (java) S 2344 2344 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151835478 26623803392 6523 33554432000 4194304 4196468 140731997934448 139694886746896 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2350] ppid=2344 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2346/task/2350/stat : 2350 (java) S 2344 2344 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151835478 26623803392 6523 33554432000 4194304 4196468 140731997934448 139694491171984 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2351] ppid=2344 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2346/task/2351/stat : 2351 (java) S 2344 2344 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151835478 26623803392 6523 33554432000 4194304 4196468 140731997934448 139694490119184 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2353] ppid=2344 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2346/task/2353/stat : 2353 (java) S 2344 2344 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151835478 26623803392 6523 33554432000 4194304 4196468 140731997934448 139694489065872 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2354] ppid=2344 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/2346/task/2354/stat : 2354 (java) S 2344 2344 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151835478 26623803392 6523 33554432000 4194304 4196468 140731997934448 139694488013072 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2355] ppid=2344 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2346/task/2355/stat : 2355 (java) S 2344 2344 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151835478 26623803392 6523 33554432000 4194304 4196468 140731997934448 139694486960784 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2356] ppid=2344 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2346/task/2356/stat : 2356 (java) S 2344 2344 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151835478 26623803392 6523 33554432000 4194304 4196468 140731997934448 139694485907984 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2357] ppid=2344 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2346/task/2357/stat : 2357 (java) S 2344 2344 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151835480 26623803392 6523 33554432000 4194304 4196468 140731997934448 139693928401520 139694935190146 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2358] ppid=2344 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2346/task/2358/stat : 2358 (java) S 2344 2344 29114 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151835480 26623803392 6523 33554432000 4194304 4196468 140731997934448 139693927347488 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2360] ppid=2344 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2346/task/2360/stat : 2360 (java) S 2344 2344 29114 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151835480 26623803392 6523 33554432000 4194304 4196468 140731997934448 139693926295152 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2361] ppid=2344 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2346/task/2361/stat : 2361 (java) S 2344 2344 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151835483 26623803392 6523 33554432000 4194304 4196468 140731997934448 139693925243472 139694935197595 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2362] ppid=2344 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2346/task/2362/stat : 2362 (java) S 2344 2344 29114 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 20 0 151835483 26623803392 6523 33554432000 4194304 4196468 140731997934448 139693924190320 139694935190146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2363] ppid=2344 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2346/task/2363/stat : 2363 (java) S 2344 2344 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151835483 26623803392 6523 33554432000 4194304 4196468 140731997934448 139693923137520 139694935190146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2364] ppid=2344 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2346/task/2364/stat : 2364 (java) S 2344 2344 29114 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 151835483 26623803392 6523 33554432000 4194304 4196468 140731997934448 139693922085232 139694935190146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2365] ppid=2344 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/2346/task/2365/stat : 2365 (java) R 2344 2344 29114 0 -1 4202560 251 0 0 0 1 0 0 0 20 0 20 0 151835483 26623803392 6523 33554432000 4194304 4196468 140731997934448 139693921031616 139694935200346 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2366] ppid=2344 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/2346/task/2366/stat : 2366 (java) S 2344 2344 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151835483 26623803392 6523 33554432000 4194304 4196468 140731997934448 139693919980384 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2367] ppid=2344 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/2346/task/2367/stat : 2367 (java) S 2344 2344 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151835483 26623803392 6523 33554432000 4194304 4196468 140731997934448 139693918927664 139694935190146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27476 KiB

[startup+0.21 s]*
/proc/loadavg: 8.50 7.79 7.37 3/200 2367
/proc/meminfo: memFree=23297540/32770624 swapFree=67108860/67108860
[pid=2344] ppid=2341 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/2344/stat : 2344 (xcsp3-exec) S 2341 2344 29114 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151835477 9740288 346 33554432000 4194304 5098028 140734726494288 140734726492392 139661023429244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20107264 140734726501482 140734726501692 140734726501692 140734726504427 0
/proc/2344/statm: 2378 346 289 221 0 87 0
[pid=2346] ppid=2344 vsize=26004064 memory=38524 CPUtime=0.32 cores=0-7
/proc/2346/stat : 2346 (java) S 2344 2344 29114 0 -1 1077944320 8209 0 0 0 30 2 0 0 20 0 20 0 151835477 26628161536 9631 33554432000 4194304 4196468 140731997934448 140731997916992 139694935178999 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
/proc/2346/statm: 6501016 9631 3049 1 0 6488269 0
[pid=2346/tid=2347] ppid=2344 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/2346/task/2347/stat : 2347 (java) R 2344 2344 29114 0 -1 4202560 5378 0 0 0 18 1 0 0 20 0 20 0 151835477 26628161536 9631 33554432000 4194304 4196468 140731997934448 139694939399992 139694919259486 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2348] ppid=2344 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/2346/task/2348/stat : 2348 (java) S 2344 2344 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151835478 26628161536 9631 33554432000 4194304 4196468 140731997934448 139694887799696 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2349] ppid=2344 vsize=26004064 memory=3617990611896305312 CPUtime=0 cores=0-7
/proc/2346/task/2349/stat : 2349 (java) S 2344 2344 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151835478 26628161536 9631 33554432000 4194304 4196468 140731997934448 139694886746896 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2350] ppid=2344 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/2346/task/2350/stat : 2350 (java) S 2344 2344 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151835478 26628161536 9631 33554432000 4194304 4196468 140731997934448 139694491171984 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2351] ppid=2344 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2346/task/2351/stat : 2351 (java) S 2344 2344 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151835478 26628161536 9631 33554432000 4194304 4196468 140731997934448 139694490119184 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2353] ppid=2344 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2346/task/2353/stat : 2353 (java) S 2344 2344 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151835478 26628161536 9631 33554432000 4194304 4196468 140731997934448 139694489065872 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2354] ppid=2344 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/2346/task/2354/stat : 2354 (java) S 2344 2344 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151835478 26628161536 9631 33554432000 4194304 4196468 140731997934448 139694488013072 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2355] ppid=2344 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2346/task/2355/stat : 2355 (java) S 2344 2344 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151835478 26628161536 9631 33554432000 4194304 4196468 140731997934448 139694486960784 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2356] ppid=2344 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2346/task/2356/stat : 2356 (java) S 2344 2344 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151835478 26628161536 9631 33554432000 4194304 4196468 140731997934448 139694485907984 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2357] ppid=2344 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2346/task/2357/stat : 2357 (java) S 2344 2344 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151835480 26628161536 9631 33554432000 4194304 4196468 140731997934448 139693928401520 139694935190146 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2358] ppid=2344 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2346/task/2358/stat : 2358 (java) S 2344 2344 29114 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151835480 26628161536 9631 33554432000 4194304 4196468 140731997934448 139693927347488 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2360] ppid=2344 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2346/task/2360/stat : 2360 (java) S 2344 2344 29114 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151835480 26628161536 9631 33554432000 4194304 4196468 140731997934448 139693926295152 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2361] ppid=2344 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2346/task/2361/stat : 2361 (java) S 2344 2344 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151835483 26628161536 9631 33554432000 4194304 4196468 140731997934448 139693925243472 139694935197595 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2362] ppid=2344 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/2346/task/2362/stat : 2362 (java) S 2344 2344 29114 0 -1 1077944384 402 0 0 0 1 0 0 0 20 0 20 0 151835483 26628161536 9631 33554432000 4194304 4196468 140731997934448 139693924190320 139694935190146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2363] ppid=2344 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/2346/task/2363/stat : 2363 (java) S 2344 2344 29114 0 -1 1077944384 130 0 0 0 2 0 0 0 20 0 20 0 151835483 26628161536 9631 33554432000 4194304 4196468 140731997934448 139693923137520 139694935190146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2364] ppid=2344 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/2346/task/2364/stat : 2364 (java) S 2344 2344 29114 0 -1 1077944384 253 0 0 0 0 0 0 0 20 0 20 0 151835483 26628161536 9631 33554432000 4194304 4196468 140731997934448 139693922085232 139694935190146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2365] ppid=2344 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/2346/task/2365/stat : 2365 (java) S 2344 2344 29114 0 -1 1077944384 743 0 0 0 7 0 0 0 20 0 20 0 151835483 26628161536 9631 33554432000 4194304 4196468 140731997934448 139693921032432 139694935190146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2366] ppid=2344 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2346/task/2366/stat : 2366 (java) S 2344 2344 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151835483 26628161536 9631 33554432000 4194304 4196468 140731997934448 139693919980384 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2367] ppid=2344 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/2346/task/2367/stat : 2367 (java) S 2344 2344 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151835483 26628161536 9631 33554432000 4194304 4196468 140731997934448 139693918927664 139694935190146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 39908 KiB

[startup+0.309309 s]*
/proc/loadavg: 8.50 7.79 7.37 2/200 2367
/proc/meminfo: memFree=23290960/32770624 swapFree=67108860/67108860
[pid=2344] ppid=2341 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/2344/stat : 2344 (xcsp3-exec) S 2341 2344 29114 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151835477 9740288 346 33554432000 4194304 5098028 140734726494288 140734726492392 139661023429244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20107264 140734726501482 140734726501692 140734726501692 140734726504427 0
/proc/2344/statm: 2378 346 289 221 0 87 0
[pid=2346] ppid=2344 vsize=26004064 memory=45512 CPUtime=0.49 cores=0-7
/proc/2346/stat : 2346 (java) S 2344 2344 29114 0 -1 1077944320 9080 0 0 0 46 3 0 0 20 0 20 0 151835477 26628161536 11378 33554432000 4194304 4196468 140731997934448 140731997916992 139694935178999 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
/proc/2346/statm: 6501016 11378 3107 1 0 6488269 0
[pid=2346/tid=2347] ppid=2344 vsize=26004064 memory=6935054825532540783 CPUtime=0.29 cores=0-7
/proc/2346/task/2347/stat : 2347 (java) R 2344 2344 29114 0 -1 4202560 6059 0 0 0 28 1 0 0 20 0 20 0 151835477 26628161536 11378 33554432000 4194304 4196468 140731997934448 139694939416512 139694919259486 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2348] ppid=2344 vsize=26004064 memory=1200 CPUtime=0 cores=0-7
/proc/2346/task/2348/stat : 2348 (java) S 2344 2344 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151835478 26628161536 11378 33554432000 4194304 4196468 140731997934448 139694887799696 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2349] ppid=2344 vsize=26004064 memory=15876 CPUtime=0 cores=0-7
/proc/2346/task/2349/stat : 2349 (java) S 2344 2344 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151835478 26628161536 11378 33554432000 4194304 4196468 140731997934448 139694886746896 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2350] ppid=2344 vsize=26004064 memory=4044 CPUtime=0 cores=0-7
/proc/2346/task/2350/stat : 2350 (java) S 2344 2344 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151835478 26628161536 11378 33554432000 4194304 4196468 140731997934448 139694491171984 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2351] ppid=2344 vsize=26004064 memory=16444 CPUtime=0 cores=0-7
/proc/2346/task/2351/stat : 2351 (java) S 2344 2344 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151835478 26628161536 11378 33554432000 4194304 4196468 140731997934448 139694490119184 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2353] ppid=2344 vsize=26004064 memory=24448 CPUtime=0 cores=0-7
/proc/2346/task/2353/stat : 2353 (java) S 2344 2344 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151835478 26628161536 11378 33554432000 4194304 4196468 140731997934448 139694489065872 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2354] ppid=2344 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2346/task/2354/stat : 2354 (java) S 2344 2344 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151835478 26628161536 11378 33554432000 4194304 4196468 140731997934448 139694488013072 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2355] ppid=2344 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2346/task/2355/stat : 2355 (java) S 2344 2344 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151835478 26628161536 11378 33554432000 4194304 4196468 140731997934448 139694486960784 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2356] ppid=2344 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2346/task/2356/stat : 2356 (java) S 2344 2344 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151835478 26628161536 11378 33554432000 4194304 4196468 140731997934448 139694485907984 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2357] ppid=2344 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/2346/task/2357/stat : 2357 (java) S 2344 2344 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151835480 26628161536 11378 33554432000 4194304 4196468 140731997934448 139693928401520 139694935190146 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2358] ppid=2344 vsize=26004064 memory=139718239028687 CPUtime=0 cores=0-7
/proc/2346/task/2358/stat : 2358 (java) S 2344 2344 29114 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151835480 26628161536 11378 33554432000 4194304 4196468 140731997934448 139693927347488 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2360] ppid=2344 vsize=26004064 memory=67 CPUtime=0 cores=0-7
/proc/2346/task/2360/stat : 2360 (java) S 2344 2344 29114 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151835480 26628161536 11378 33554432000 4194304 4196468 140731997934448 139693926295152 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2361] ppid=2344 vsize=26004064 memory=51172 CPUtime=0 cores=0-7
/proc/2346/task/2361/stat : 2361 (java) S 2344 2344 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151835483 26628161536 11378 33554432000 4194304 4196468 140731997934448 139693925243472 139694935197595 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2362] ppid=2344 vsize=26004064 memory=53476 CPUtime=0.01 cores=0-7
/proc/2346/task/2362/stat : 2362 (java) S 2344 2344 29114 0 -1 1077944384 408 0 0 0 1 0 0 0 20 0 20 0 151835483 26628161536 11378 33554432000 4194304 4196468 140731997934448 139693924190320 139694935190146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2363] ppid=2344 vsize=26004064 memory=55780 CPUtime=0.03 cores=0-7
/proc/2346/task/2363/stat : 2363 (java) S 2344 2344 29114 0 -1 1077944384 197 0 0 0 3 0 0 0 20 0 20 0 151835483 26628161536 11378 33554432000 4194304 4196468 140731997934448 139693923137520 139694935190146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2364] ppid=2344 vsize=26004064 memory=58084 CPUtime=0.01 cores=0-7
/proc/2346/task/2364/stat : 2364 (java) S 2344 2344 29114 0 -1 1077944384 274 0 0 0 1 0 0 0 20 0 20 0 151835483 26628161536 11378 33554432000 4194304 4196468 140731997934448 139693922085232 139694935190146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2365] ppid=2344 vsize=26004064 memory=60388 CPUtime=0.12 cores=0-7
/proc/2346/task/2365/stat : 2365 (java) R 2344 2344 29114 0 -1 4202560 835 0 0 0 12 0 0 0 20 0 20 0 151835483 26628161536 11378 33554432000 4194304 4196468 140731997934448 139693921032432 139694928284734 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2366] ppid=2344 vsize=26004064 memory=110297088 CPUtime=0 cores=0-7
/proc/2346/task/2366/stat : 2366 (java) S 2344 2344 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151835483 26628161536 11378 33554432000 4194304 4196468 140731997934448 139693919980384 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2367] ppid=2344 vsize=26004064 memory=9740287 CPUtime=0 cores=0-7
/proc/2346/task/2367/stat : 2367 (java) S 2344 2344 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151835483 26628161536 11378 33554432000 4194304 4196468 140731997934448 139693918927664 139694935190146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 46896 KiB

[startup+0.700895 s]
/proc/loadavg: 8.50 7.79 7.37 2/200 2367
/proc/meminfo: memFree=23266884/32770624 swapFree=67108860/67108860
[pid=2344] ppid=2341 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/2344/stat : 2344 (xcsp3-exec) S 2341 2344 29114 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151835477 9740288 346 33554432000 4194304 5098028 140734726494288 140734726492392 139661023429244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20107264 140734726501482 140734726501692 140734726501692 140734726504427 0
/proc/2344/statm: 2378 346 289 221 0 87 0
[pid=2346] ppid=2344 vsize=26006188 memory=80296 CPUtime=1.54 cores=0-7
/proc/2346/stat : 2346 (java) S 2344 2344 29114 0 -1 1077944320 12608 0 0 0 150 4 0 0 20 0 20 0 151835477 26630336512 20074 33554432000 4194304 4196468 140731997934448 140731997916992 139694935178999 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
/proc/2346/statm: 6501547 20074 3190 1 0 6488781 0
[pid=2346/tid=2347] ppid=2344 vsize=26006188 memory=0 CPUtime=0.67 cores=0-7
/proc/2346/task/2347/stat : 2347 (java) R 2344 2344 29114 0 -1 4202560 6521 0 0 0 65 2 0 0 20 0 20 0 151835477 26630336512 20074 33554432000 4194304 4196468 140731997934448 139694939418000 139694917642237 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2348] ppid=2344 vsize=26006188 memory=139718239232880 CPUtime=0 cores=0-7
/proc/2346/task/2348/stat : 2348 (java) S 2344 2344 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151835478 26630336512 20074 33554432000 4194304 4196468 140731997934448 139694887799696 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2349] ppid=2344 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/2346/task/2349/stat : 2349 (java) S 2344 2344 29114 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151835478 26630336512 20074 33554432000 4194304 4196468 140731997934448 139694886746896 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2350] ppid=2344 vsize=26006188 memory=54 CPUtime=0 cores=0-7
/proc/2346/task/2350/stat : 2350 (java) S 2344 2344 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151835478 26630336512 20074 33554432000 4194304 4196468 140731997934448 139694491171984 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0

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

[pid=2346/tid=2527] ppid=2344 vsize=26539728 memory=1384 CPUtime=149.42 cores=0-7
/proc/2346/task/2527/stat : 2527 (java) R 2344 2344 29114 0 -1 4202560 4980 0 0 0 14934 8 0 0 20 0 28 0 151836683 27176681472 404025 33554432000 4194304 4196468 140731997934448 139693902495128 139694572774848 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
Current children cumulated CPU time: 1223.92 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 1617484 KiB

[startup+222.302 s]
/proc/loadavg: 8.21 7.89 7.48 10/207 2528
/proc/meminfo: memFree=21716848/32770624 swapFree=67108860/67108860
[pid=2344] ppid=2341 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/2344/stat : 2344 (xcsp3-exec) S 2341 2344 29114 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151835477 9740288 346 33554432000 4194304 5098028 140734726494288 140734726492392 139661023429244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20107264 140734726501482 140734726501692 140734726501692 140734726504427 0
/proc/2344/statm: 2378 346 289 221 0 87 0
[pid=2346] ppid=2344 vsize=26539728 memory=1620112 CPUtime=1702.58 cores=0-7
/proc/2346/stat : 2346 (java) S 2344 2344 29114 0 -1 1077944320 139533 0 0 0 170009 249 0 0 20 0 28 0 151835477 27176681472 405028 33554432000 4194304 4196468 140731997934448 140731997916992 139694935178999 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
/proc/2346/statm: 6634932 405028 3299 1 0 6622166 0
[pid=2346/tid=2347] ppid=2344 vsize=26539728 memory=1384 CPUtime=9.75 cores=0-7
/proc/2346/task/2347/stat : 2347 (java) S 2344 2344 29114 0 -1 1077944384 10867 0 0 0 969 6 0 0 20 0 28 0 151835477 27176681472 405028 33554432000 4194304 4196468 140731997934448 139694939419776 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2348] ppid=2344 vsize=26539728 memory=1620112 CPUtime=0.63 cores=0-7
/proc/2346/task/2348/stat : 2348 (java) S 2344 2344 29114 0 -1 1077944384 2531 0 0 0 42 21 0 0 20 0 28 0 151835478 27176681472 405028 33554432000 4194304 4196468 140731997934448 139694887799696 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2349] ppid=2344 vsize=26539728 memory=1384 CPUtime=0.64 cores=0-7
/proc/2346/task/2349/stat : 2349 (java) S 2344 2344 29114 0 -1 1077944384 2551 0 0 0 45 19 0 0 20 0 28 0 151835478 27176681472 405028 33554432000 4194304 4196468 140731997934448 139694886746896 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2350] ppid=2344 vsize=26539728 memory=279436478892544 CPUtime=0.6 cores=0-7
/proc/2346/task/2350/stat : 2350 (java) S 2344 2344 29114 0 -1 1077944384 2033 0 0 0 44 16 0 0 20 0 28 0 151835478 27176681472 405028 33554432000 4194304 4196468 140731997934448 139694491171984 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2351] ppid=2344 vsize=26539728 memory=1620112 CPUtime=0.62 cores=0-7
/proc/2346/task/2351/stat : 2351 (java) S 2344 2344 29114 0 -1 1077944384 3314 0 0 0 43 19 0 0 20 0 28 0 151835478 27176681472 405028 33554432000 4194304 4196468 140731997934448 139694490119184 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2353] ppid=2344 vsize=26539728 memory=1620124 CPUtime=0.62 cores=0-7
/proc/2346/task/2353/stat : 2353 (java) S 2344 2344 29114 0 -1 1077944384 3134 0 0 0 44 18 0 0 20 0 28 0 151835478 27176681472 405028 33554432000 4194304 4196468 140731997934448 139694489065872 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2354] ppid=2344 vsize=26539728 memory=1620124 CPUtime=0.65 cores=0-7
/proc/2346/task/2354/stat : 2354 (java) S 2344 2344 29114 0 -1 1077944384 2887 0 0 0 47 18 0 0 20 0 28 0 151835478 27176681472 405028 33554432000 4194304 4196468 140731997934448 139694488013072 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2355] ppid=2344 vsize=26539728 memory=1580 CPUtime=0.63 cores=0-7
/proc/2346/task/2355/stat : 2355 (java) S 2344 2344 29114 0 -1 1077944384 3142 0 0 0 42 21 0 0 20 0 28 0 151835478 27176681472 405028 33554432000 4194304 4196468 140731997934448 139694486960784 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2356] ppid=2344 vsize=26539728 memory=928 CPUtime=0.66 cores=0-7
/proc/2346/task/2356/stat : 2356 (java) S 2344 2344 29114 0 -1 1077944384 1871 0 0 0 44 22 0 0 20 0 28 0 151835478 27176681472 405028 33554432000 4194304 4196468 140731997934448 139694485907984 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2357] ppid=2344 vsize=26539728 memory=1160 CPUtime=0.14 cores=0-7
/proc/2346/task/2357/stat : 2357 (java) S 2344 2344 29114 0 -1 1077944384 6756 0 0 0 13 1 0 0 20 0 28 0 151835480 27176681472 405028 33554432000 4194304 4196468 140731997934448 139693928401520 139694935190146 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2358] ppid=2344 vsize=26539728 memory=3720 CPUtime=0 cores=0-7
/proc/2346/task/2358/stat : 2358 (java) S 2344 2344 29114 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 151835480 27176681472 405028 33554432000 4194304 4196468 140731997934448 139693927347552 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2360] ppid=2344 vsize=26539728 memory=1384 CPUtime=0 cores=0-7
/proc/2346/task/2360/stat : 2360 (java) S 2344 2344 29114 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 28 0 151835480 27176681472 405028 33554432000 4194304 4196468 140731997934448 139693926295168 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2361] ppid=2344 vsize=26539728 memory=1620124 CPUtime=0 cores=0-7
/proc/2346/task/2361/stat : 2361 (java) S 2344 2344 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151835483 27176681472 405028 33554432000 4194304 4196468 140731997934448 139693925243472 139694935197595 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2362] ppid=2344 vsize=26539728 memory=42412 CPUtime=2.36 cores=0-7
/proc/2346/task/2362/stat : 2362 (java) S 2344 2344 29114 0 -1 1077944384 12990 0 0 0 233 3 0 0 20 0 28 0 151835483 27176681472 405028 33554432000 4194304 4196468 140731997934448 139693924190320 139694935190146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2363] ppid=2344 vsize=26539728 memory=1296 CPUtime=2.21 cores=0-7
/proc/2346/task/2363/stat : 2363 (java) S 2344 2344 29114 0 -1 1077944384 17377 0 0 0 219 2 0 0 20 0 28 0 151835483 27176681472 405028 33554432000 4194304 4196468 140731997934448 139693923137520 139694935190146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2364] ppid=2344 vsize=26539728 memory=1384 CPUtime=2.48 cores=0-7
/proc/2346/task/2364/stat : 2364 (java) S 2344 2344 29114 0 -1 1077944384 16561 0 0 0 246 2 0 0 20 0 28 0 151835483 27176681472 405028 33554432000 4194304 4196468 140731997934448 139693922085232 139694935190146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2365] ppid=2344 vsize=26539728 memory=1384 CPUtime=0.89 cores=0-7
/proc/2346/task/2365/stat : 2365 (java) S 2344 2344 29114 0 -1 1077944384 13050 0 0 0 86 3 0 0 20 0 28 0 151835483 27176681472 405028 33554432000 4194304 4196468 140731997934448 139693921032432 139694935190146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2366] ppid=2344 vsize=26539728 memory=1384 CPUtime=0 cores=0-7
/proc/2346/task/2366/stat : 2366 (java) S 2344 2344 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151835483 27176681472 405028 33554432000 4194304 4196468 140731997934448 139693919980384 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2367] ppid=2344 vsize=26539728 memory=2396 CPUtime=0.1 cores=0-7
/proc/2346/task/2367/stat : 2367 (java) S 2344 2344 29114 0 -1 1077944384 1704 0 0 0 5 5 0 0 20 0 28 0 151835483 27176681472 405028 33554432000 4194304 4196468 140731997934448 139693918927664 139694935190146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2520] ppid=2344 vsize=26539728 memory=19117 CPUtime=208.02 cores=0-7
/proc/2346/task/2520/stat : 2520 (java) R 2344 2344 29114 0 -1 4202560 2977 0 0 0 20795 7 0 0 20 0 28 0 151836683 27176681472 405028 33554432000 4194304 4196468 140731997934448 139693904600424 139694572774874 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2521] ppid=2344 vsize=26539728 memory=18994 CPUtime=209.5 cores=0-7
/proc/2346/task/2521/stat : 2521 (java) R 2344 2344 29114 0 -1 4202560 2840 0 0 0 20944 6 0 0 20 0 28 0 151836683 27176681472 405028 33554432000 4194304 4196468 140731997934448 139693906707000 139694573473146 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2522] ppid=2344 vsize=26539728 memory=1620124 CPUtime=208.95 cores=0-7
/proc/2346/task/2522/stat : 2522 (java) R 2344 2344 29114 0 -1 4202560 3887 0 0 0 20887 8 0 0 20 0 28 0 151836683 27176681472 405028 33554432000 4194304 4196468 140731997934448 139693903548344 139694572774848 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2523] ppid=2344 vsize=26539728 memory=1384 CPUtime=207.37 cores=0-7
/proc/2346/task/2523/stat : 2523 (java) R 2344 2344 29114 0 -1 4202560 3919 0 0 0 20729 8 0 0 20 0 28 0 151836683 27176681472 405028 33554432000 4194304 4196468 140731997934448 139693908811104 139694572774848 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2524] ppid=2344 vsize=26539728 memory=1384 CPUtime=209.55 cores=0-7
/proc/2346/task/2524/stat : 2524 (java) R 2344 2344 29114 0 -1 4202560 6015 0 0 0 20942 13 0 0 20 0 28 0 151836683 27176681472 405028 33554432000 4194304 4196468 140731997934448 139693907759288 139694572773999 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2525] ppid=2344 vsize=26539728 memory=1384 CPUtime=209.34 cores=0-7
/proc/2346/task/2525/stat : 2525 (java) R 2344 2344 29114 0 -1 4202560 2051 0 0 0 20928 6 0 0 20 0 28 0 151836683 27176681472 405028 33554432000 4194304 4196468 140731997934448 139693910916952 139694572774874 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2526] ppid=2344 vsize=26539728 memory=1620132 CPUtime=209.7 cores=0-7
/proc/2346/task/2526/stat : 2526 (java) R 2344 2344 29114 0 -1 4202560 6592 0 0 0 20964 6 0 0 20 0 28 0 151836683 27176681472 405028 33554432000 4194304 4196468 140731997934448 139693905654040 139694572774703 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2527] ppid=2344 vsize=26539728 memory=2372 CPUtime=209.38 cores=0-7
/proc/2346/task/2527/stat : 2527 (java) R 2344 2344 29114 0 -1 4202560 5911 0 0 0 20930 8 0 0 20 0 28 0 151836683 27176681472 405028 33554432000 4194304 4196468 140731997934448 139693902495208 139694572774988 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
Current children cumulated CPU time: 1702.58 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 1621496 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 8.19 7.92 7.51 9/207 2528
/proc/meminfo: memFree=21715680/32770624 swapFree=67108860/67108860
[pid=2344] ppid=2341 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/2344/stat : 2344 (xcsp3-exec) S 2341 2344 29114 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 151835477 9740288 346 33554432000 4194304 5098028 140734726494288 140734726492392 139661023429244 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20107264 140734726501482 140734726501692 140734726501692 140734726504427 0
/proc/2344/statm: 2378 346 289 221 0 87 0
[pid=2346] ppid=2344 vsize=26539728 memory=1622140 CPUtime=1939.6 cores=0-7
/proc/2346/stat : 2346 (java) S 2344 2344 29114 0 -1 1077944320 142549 0 0 0 193709 251 0 0 20 0 28 0 151835477 27176681472 405535 33554432000 4194304 4196468 140731997934448 140731997916992 139694935178999 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
/proc/2346/statm: 6634932 405535 3299 1 0 6622166 0
[pid=2346/tid=2347] ppid=2344 vsize=26539728 memory=6935054825532540783 CPUtime=9.75 cores=0-7
/proc/2346/task/2347/stat : 2347 (java) S 2344 2344 29114 0 -1 1077944384 10867 0 0 0 969 6 0 0 20 0 28 0 151835477 27176681472 405535 33554432000 4194304 4196468 140731997934448 139694939419776 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2348] ppid=2344 vsize=26539728 memory=-8707038579349950309 CPUtime=0.64 cores=0-7
/proc/2346/task/2348/stat : 2348 (java) S 2344 2344 29114 0 -1 1077944384 2650 0 0 0 43 21 0 0 20 0 28 0 151835478 27176681472 405535 33554432000 4194304 4196468 140731997934448 139694887799696 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2349] ppid=2344 vsize=26539728 memory=1384 CPUtime=0.65 cores=0-7
/proc/2346/task/2349/stat : 2349 (java) S 2344 2344 29114 0 -1 1077944384 2632 0 0 0 46 19 0 0 20 0 28 0 151835478 27176681472 405535 33554432000 4194304 4196468 140731997934448 139694886746896 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2350] ppid=2344 vsize=26539728 memory=1622140 CPUtime=0.61 cores=0-7
/proc/2346/task/2350/stat : 2350 (java) S 2344 2344 29114 0 -1 1077944384 2201 0 0 0 45 16 0 0 20 0 28 0 151835478 27176681472 405535 33554432000 4194304 4196468 140731997934448 139694491171984 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2351] ppid=2344 vsize=26539728 memory=1384 CPUtime=0.63 cores=0-7
/proc/2346/task/2351/stat : 2351 (java) S 2344 2344 29114 0 -1 1077944384 3543 0 0 0 44 19 0 0 20 0 28 0 151835478 27176681472 405535 33554432000 4194304 4196468 140731997934448 139694490119184 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2353] ppid=2344 vsize=26539728 memory=1622140 CPUtime=0.64 cores=0-7
/proc/2346/task/2353/stat : 2353 (java) S 2344 2344 29114 0 -1 1077944384 3285 0 0 0 45 19 0 0 20 0 28 0 151835478 27176681472 405535 33554432000 4194304 4196468 140731997934448 139694489065872 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2354] ppid=2344 vsize=26539728 memory=1620112 CPUtime=0.66 cores=0-7
/proc/2346/task/2354/stat : 2354 (java) S 2344 2344 29114 0 -1 1077944384 3271 0 0 0 48 18 0 0 20 0 28 0 151835478 27176681472 405535 33554432000 4194304 4196468 140731997934448 139694488013072 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2355] ppid=2344 vsize=26539728 memory=8112282956445269571 CPUtime=0.64 cores=0-7
/proc/2346/task/2355/stat : 2355 (java) S 2344 2344 29114 0 -1 1077944384 3239 0 0 0 43 21 0 0 20 0 28 0 151835478 27176681472 405535 33554432000 4194304 4196468 140731997934448 139694486960784 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2356] ppid=2344 vsize=26539728 memory=7540 CPUtime=0.66 cores=0-7
/proc/2346/task/2356/stat : 2356 (java) S 2344 2344 29114 0 -1 1077944384 2110 0 0 0 44 22 0 0 20 0 28 0 151835478 27176681472 405535 33554432000 4194304 4196468 140731997934448 139694485907984 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2357] ppid=2344 vsize=26539728 memory=840 CPUtime=0.14 cores=0-7
/proc/2346/task/2357/stat : 2357 (java) S 2344 2344 29114 0 -1 1077944384 7028 0 0 0 13 1 0 0 20 0 28 0 151835480 27176681472 405535 33554432000 4194304 4196468 140731997934448 139693928401520 139694935190146 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2358] ppid=2344 vsize=26539728 memory=4104 CPUtime=0 cores=0-7
/proc/2346/task/2358/stat : 2358 (java) S 2344 2344 29114 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 151835480 27176681472 405535 33554432000 4194304 4196468 140731997934448 139693927347552 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2360] ppid=2344 vsize=26539728 memory=1696 CPUtime=0 cores=0-7
/proc/2346/task/2360/stat : 2360 (java) S 2344 2344 29114 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 28 0 151835480 27176681472 405535 33554432000 4194304 4196468 140731997934448 139693926295168 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2361] ppid=2344 vsize=26539728 memory=920 CPUtime=0 cores=0-7
/proc/2346/task/2361/stat : 2361 (java) S 2344 2344 29114 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151835483 27176681472 405535 33554432000 4194304 4196468 140731997934448 139693925243472 139694935197595 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2362] ppid=2344 vsize=26539728 memory=4436 CPUtime=2.36 cores=0-7
/proc/2346/task/2362/stat : 2362 (java) S 2344 2344 29114 0 -1 1077944384 12999 0 0 0 233 3 0 0 20 0 28 0 151835483 27176681472 405535 33554432000 4194304 4196468 140731997934448 139693924190320 139694935190146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2363] ppid=2344 vsize=26539728 memory=6935054825532540783 CPUtime=2.21 cores=0-7
/proc/2346/task/2363/stat : 2363 (java) S 2344 2344 29114 0 -1 1077944384 17380 0 0 0 219 2 0 0 20 0 28 0 151835483 27176681472 405535 33554432000 4194304 4196468 140731997934448 139693923137520 139694935190146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2364] ppid=2344 vsize=26539728 memory=8112282956445269571 CPUtime=2.48 cores=0-7
/proc/2346/task/2364/stat : 2364 (java) S 2344 2344 29114 0 -1 1077944384 16564 0 0 0 246 2 0 0 20 0 28 0 151835483 27176681472 405535 33554432000 4194304 4196468 140731997934448 139693922085232 139694935190146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2365] ppid=2344 vsize=26539728 memory=1696 CPUtime=0.89 cores=0-7
/proc/2346/task/2365/stat : 2365 (java) S 2344 2344 29114 0 -1 1077944384 13054 0 0 0 86 3 0 0 20 0 28 0 151835483 27176681472 405535 33554432000 4194304 4196468 140731997934448 139693921032432 139694935190146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2366] ppid=2344 vsize=26539728 memory=920 CPUtime=0 cores=0-7
/proc/2346/task/2366/stat : 2366 (java) S 2344 2344 29114 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151835483 27176681472 405535 33554432000 4194304 4196468 140731997934448 139693919980384 139694935189205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2367] ppid=2344 vsize=26539728 memory=4436 CPUtime=0.1 cores=0-7
/proc/2346/task/2367/stat : 2367 (java) S 2344 2344 29114 0 -1 1077944384 1733 0 0 0 5 5 0 0 20 0 28 0 151835483 27176681472 405535 33554432000 4194304 4196468 140731997934448 139693918927664 139694935190146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2520] ppid=2344 vsize=26539728 memory=42412 CPUtime=237.32 cores=0-7
/proc/2346/task/2520/stat : 2520 (java) R 2344 2344 29114 0 -1 4202560 3042 0 0 0 23725 7 0 0 20 0 28 0 151836683 27176681472 405535 33554432000 4194304 4196468 140731997934448 139693904600488 139694572774874 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2521] ppid=2344 vsize=26539728 memory=1296 CPUtime=239.19 cores=0-7
/proc/2346/task/2521/stat : 2521 (java) R 2344 2344 29114 0 -1 4202560 2893 0 0 0 23913 6 0 0 20 0 28 0 151836683 27176681472 405535 33554432000 4194304 4196468 140731997934448 139693906706680 139694572882090 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2522] ppid=2344 vsize=26539728 memory=2396 CPUtime=238.41 cores=0-7
/proc/2346/task/2522/stat : 2522 (java) R 2344 2344 29114 0 -1 4202560 4005 0 0 0 23833 8 0 0 20 0 28 0 151836683 27176681472 405535 33554432000 4194304 4196468 140731997934448 139693903550384 139694572774874 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2523] ppid=2344 vsize=26539728 memory=1728 CPUtime=237.07 cores=0-7
/proc/2346/task/2523/stat : 2523 (java) R 2344 2344 29114 0 -1 4202560 4152 0 0 0 23699 8 0 0 20 0 28 0 151836683 27176681472 405535 33554432000 4194304 4196468 140731997934448 139693908811352 139694572773789 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2524] ppid=2344 vsize=26539728 memory=1004 CPUtime=239.24 cores=0-7
/proc/2346/task/2524/stat : 2524 (java) R 2344 2344 29114 0 -1 4202560 6140 0 0 0 23911 13 0 0 20 0 28 0 151836683 27176681472 405535 33554432000 4194304 4196468 140731997934448 139693907759064 139694572880530 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2525] ppid=2344 vsize=26539728 memory=11112 CPUtime=239.04 cores=0-7
/proc/2346/task/2525/stat : 2525 (java) R 2344 2344 29114 0 -1 4202560 2130 0 0 0 23898 6 0 0 20 0 28 0 151836683 27176681472 405535 33554432000 4194304 4196468 140731997934448 139693910916952 139694572774874 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2526] ppid=2344 vsize=26539728 memory=5776 CPUtime=239.4 cores=0-7
/proc/2346/task/2526/stat : 2526 (java) R 2344 2344 29114 0 -1 4202560 6869 0 0 0 23934 6 0 0 20 0 28 0 151836683 27176681472 405535 33554432000 4194304 4196468 140731997934448 139693905653728 139694572774874 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
[pid=2346/tid=2527] ppid=2344 vsize=26539728 memory=4616 CPUtime=239.09 cores=0-7
/proc/2346/task/2527/stat : 2527 (java) R 2344 2344 29114 0 -1 4202560 6189 0 0 0 23900 9 0 0 20 0 28 0 151836683 27176681472 405535 33554432000 4194304 4196468 140731997934448 139693902495656 139694568832821 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31805440 140731997938840 140731997939016 140731997939016 140731997941711 0
Current children cumulated CPU time: 1939.6 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 1623524 KiB

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

[startup+252.042 s]
# the end of solver process 2344 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0 s, system=0.001957 s

[startup+252.106 s]
# the end of solver process 2346 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1937.75 s, system=2.52735 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): 252.106
CPU time (s): 1940.28
CPU user time (s): 1937.75
CPU system time (s): 2.52735
CPU usage (%): 769.628
Max. virtual memory (cumulated for all children) (KiB): 26549240
Max. memory (cumulated for all children) (KiB): 1623536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1937.75
system time used= 2.52735
maximum resident set size= 1622516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143603
page faults= 0
swaps= 0
block input operations= 0
block output operations= 480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15525
involuntary context switches= 20681


# summary of solver processes directly reported to runsolver:
#   pid: 2344,2346
#   total CPU time (s): 1940.28
#   total CPU user time (s): 1937.75
#   total CPU system time (s): 2.52735

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.1538 second user time and 3.06477 second system time

The end

Launcher Data 

Begin job on node150 at 2017-08-20 01:51:25
IDJOB=4281613
IDBENCH=135903
IDSOLVER=2676
FILE ID=node150/4281613-1503187545
RUNJOBID= node150-1503183633-29141
PBS_JOBID= 20630853
Free space on /tmp= 61904 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-m1-n100/TravellingSalesman-100-50-08.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-4281613-1503187545/watcher-4281613-1503187545 -o /tmp/evaluation-result-4281613-1503187545/solver-4281613-1503187545 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node150-1503183633-29141 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1205010777 HOME/instance-4281613-1503187545.xml

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

MD5SUM BENCH= 8e11a97c7673f129a8c4890bd1c1105b
RANDOM SEED=1205010777

node150.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	: 5332.89
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	: 5332.89
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	: 5332.89
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	: 5332.89
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:        23324052 kB
MemAvailable:   31961164 kB
Buffers:          300612 kB
Cached:          8615932 kB
SwapCached:            0 kB
Active:          2717344 kB
Inactive:        6252388 kB
Active(anon):       3308 kB
Inactive(anon):    85948 kB
Active(file):    2714036 kB
Inactive(file):  6166440 kB
Unevictable:        7280 kB
Mlocked:            7280 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7788 kB
Writeback:             0 kB
AnonPages:         60232 kB
Mapped:            51700 kB
Shmem:             33416 kB
Slab:             171296 kB
SReclaimable:     144944 kB
SUnreclaim:        26352 kB
KernelStack:        3184 kB
PageTables:         4732 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     332892 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 61896 MiB
End job on node150 at 2017-08-20 01:55:37