Trace number 4394619

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 2019-06-14 parallelSAT (TO)462 20069.9 2520.11

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 benchmark2011.47
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 -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394619-1568439656.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4394619-1568439656.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.29	c parse instance...
10.54/2.48	c solve instance...
16.06/3.22	o 2548 
16.06/3.24	o 1625 
16.67/3.31	o 1623 
16.67/3.36	o 1618 
17.12/3.43	o 1608 
17.12/3.44	o 1601 
17.12/3.44	o 1599 
17.12/3.49	o 1597 
17.58/3.53	o 1595 
18.83/3.72	o 533 
18.83/3.73	o 528 
18.83/3.73	o 522 
18.83/3.77	o 507 
19.24/3.82	o 505 
20.57/4.11	o 501 
20.57/4.15	o 500 
22.66/4.50	o 498 
23.39/4.56	o 494 
23.39/4.60	o 489 
23.80/4.61	o 486 
23.80/4.66	o 485 
24.37/4.79	o 482 
13928.92/1749.24	o 481 
13928.92/1749.28	o 478 
13929.52/1749.48	o 476 
13929.65/1749.52	o 474 
13929.65/1749.53	o 473 
13929.93/1749.71	o 470 
13930.67/1749.95	o 469 
13930.67/1749.99	o 467 
13930.93/1750.17	o 466 
13937.69/1751.07	o 463 
13938.27/1751.13	o 462 
20069.23/2520.07	s SATISFIABLE
20069.23/2520.07	v <instantiation>
20069.23/2520.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>
20069.23/2520.07	v 	<values>46 52 58 63 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 51 56 45 44 39 34 31 30 14 18 26 25 24 29 23 28 22 13 9 7 4 5 1 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 0 2 40 41 3 4 4 8 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 8 4 3 2 3 3 2 7 9 3 1 1 2 4 4 3 5 6 3 1 4 10 15 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 36 5 21 1 2 </values>
20069.23/2520.07	v </instantiation>
20069.23/2520.07	c Unexpected resolution interruption!

Verifier Data 

OK	462

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394619-1568439656/watcher-4394619-1568439656 -o /tmp/evaluation-result-4394619-1568439656/solver-4394619-1568439656 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1568432499-11955 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 301293124 HOME/instance-4394619-1568439656.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=16627, runsolver pid=16624

[startup+0.100111 s]*
/proc/loadavg: 7.19 7.31 7.30 3/212 16648
/proc/meminfo: memFree=31508620/32770624 swapFree=67004232/67108860
[pid=16627] ppid=16624 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/16627/stat : 16627 (xcsp3-exec) S 16624 16627 11928 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420127225 115843072 364 33554432000 4194304 5098028 140720967214352 140720967212456 140220575666812 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24072192 140720967218038 140720967218281 140720967218281 140720967221194 0
/proc/16627/statm: 28282 364 305 221 0 87 0
[pid=16629] ppid=16627 vsize=28227388 memory=29828 CPUtime=0.12 cores=0-7
/proc/16629/stat : 16629 (java) S 16627 16627 11928 0 -1 1077944320 5927 0 0 0 11 1 0 0 20 0 20 0 420127226 28904845312 7457 33554432000 4194304 4196468 140728540068736 140728540051280 140599593991927 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
/proc/16629/statm: 7056847 7457 3117 1 0 7019032 0
[pid=16629/tid=16630] ppid=16627 vsize=28227388 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/16629/task/16630/stat : 16630 (java) R 16627 16627 11928 0 -1 4202560 3847 0 0 0 8 1 0 0 20 0 20 0 420127226 28904845312 7457 33554432000 4194304 4196468 140728540068736 140599598225200 140599594003862 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16631] ppid=16627 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/16629/task/16631/stat : 16631 (java) S 16627 16627 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420127227 28904845312 7457 33554432000 4194304 4196468 140728540068736 140599513844240 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16632] ppid=16627 vsize=28227388 memory=140631749730968 CPUtime=0 cores=0-7
/proc/16629/task/16632/stat : 16632 (java) S 16627 16627 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420127227 28904845312 7457 33554432000 4194304 4196468 140728540068736 140599144602256 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16633] ppid=16627 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/16629/task/16633/stat : 16633 (java) S 16627 16627 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420127227 28904845312 7457 33554432000 4194304 4196468 140728540068736 140599143549200 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16634] ppid=16627 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/16629/task/16634/stat : 16634 (java) S 16627 16627 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420127227 28904845312 7457 33554432000 4194304 4196468 140728540068736 140599142496656 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16635] ppid=16627 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/16629/task/16635/stat : 16635 (java) S 16627 16627 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420127227 28904845312 7457 33554432000 4194304 4196468 140728540068736 140599141444624 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16636] ppid=16627 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/16629/task/16636/stat : 16636 (java) S 16627 16627 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420127227 28904845312 7457 33554432000 4194304 4196468 140728540068736 140599140392080 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16637] ppid=16627 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/16629/task/16637/stat : 16637 (java) S 16627 16627 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420127227 28904845312 7457 33554432000 4194304 4196468 140728540068736 140599139339024 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16638] ppid=16627 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/16629/task/16638/stat : 16638 (java) S 16627 16627 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420127227 28904845312 7457 33554432000 4194304 4196468 140728540068736 140599138286480 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16639] ppid=16627 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/16629/task/16639/stat : 16639 (java) S 16627 16627 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420127228 28904845312 7457 33554432000 4194304 4196468 140728540068736 140598643194096 140599594003074 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16640] ppid=16627 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/16629/task/16640/stat : 16640 (java) S 16627 16627 11928 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420127229 28904845312 7457 33554432000 4194304 4196468 140728540068736 140598642140320 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16641] ppid=16627 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/16629/task/16641/stat : 16641 (java) S 16627 16627 11928 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 420127229 28904845312 7457 33554432000 4194304 4196468 140728540068736 140597652349680 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16642] ppid=16627 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/16629/task/16642/stat : 16642 (java) S 16627 16627 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420127232 28904845312 7457 33554432000 4194304 4196468 140728540068736 140597651298256 140599594010523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16643] ppid=16627 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/16629/task/16643/stat : 16643 (java) S 16627 16627 11928 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 420127232 28904845312 7457 33554432000 4194304 4196468 140728540068736 140597650246384 140599594003074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16644] ppid=16627 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/16629/task/16644/stat : 16644 (java) R 16627 16627 11928 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 420127232 28904845312 7457 33554432000 4194304 4196468 140728540068736 140597649193840 140599594003074 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16645] ppid=16627 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/16629/task/16645/stat : 16645 (java) S 16627 16627 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420127232 28904845312 7457 33554432000 4194304 4196468 140728540068736 140597648140784 140599594003074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16646] ppid=16627 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/16629/task/16646/stat : 16646 (java) R 16627 16627 11928 0 -1 4202560 345 0 0 0 1 0 0 0 20 0 20 0 420127232 28904845312 7457 33554432000 4194304 4196468 140728540068736 140597647088240 140599594003862 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16647] ppid=16627 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/16629/task/16647/stat : 16647 (java) S 16627 16627 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420127232 28904845312 7457 33554432000 4194304 4196468 140728540068736 140597646035424 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16648] ppid=16627 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/16629/task/16648/stat : 16648 (java) S 16627 16627 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420127232 28904845312 7457 33554432000 4194304 4196468 140728540068736 140597644982960 140599594003074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 31284 KiB

[startup+0.20979 s]*
/proc/loadavg: 7.19 7.31 7.30 3/212 16648
/proc/meminfo: memFree=31496172/32770624 swapFree=67004232/67108860
[pid=16627] ppid=16624 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/16627/stat : 16627 (xcsp3-exec) S 16624 16627 11928 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420127225 115843072 364 33554432000 4194304 5098028 140720967214352 140720967212456 140220575666812 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24072192 140720967218038 140720967218281 140720967218281 140720967221194 0
/proc/16627/statm: 28282 364 305 221 0 87 0
[pid=16629] ppid=16627 vsize=28227388 memory=41392 CPUtime=0.33 cores=0-7
/proc/16629/stat : 16629 (java) S 16627 16627 11928 0 -1 1077944320 9541 0 0 0 30 3 0 0 20 0 20 0 420127226 28904845312 10348 33554432000 4194304 4196468 140728540068736 140728540051280 140599593991927 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
/proc/16629/statm: 7056847 10348 3316 1 0 7019032 0
[pid=16629/tid=16630] ppid=16627 vsize=28227388 memory=8316850467074736180 CPUtime=0.2 cores=0-7
/proc/16629/task/16630/stat : 16630 (java) R 16627 16627 11928 0 -1 4202560 6659 0 0 0 18 2 0 0 20 0 20 0 420127226 28904845312 10348 33554432000 4194304 4196468 140728540068736 140599598223840 140599578072414 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16631] ppid=16627 vsize=28227388 memory=14965 CPUtime=0 cores=0-7
/proc/16629/task/16631/stat : 16631 (java) S 16627 16627 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420127227 28904845312 10348 33554432000 4194304 4196468 140728540068736 140599513844240 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16632] ppid=16627 vsize=28227388 memory=288371007901427328 CPUtime=0 cores=0-7
/proc/16629/task/16632/stat : 16632 (java) S 16627 16627 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420127227 28904845312 10348 33554432000 4194304 4196468 140728540068736 140599144602256 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16633] ppid=16627 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/16629/task/16633/stat : 16633 (java) S 16627 16627 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420127227 28904845312 10348 33554432000 4194304 4196468 140728540068736 140599143549200 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16634] ppid=16627 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/16629/task/16634/stat : 16634 (java) S 16627 16627 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420127227 28904845312 10348 33554432000 4194304 4196468 140728540068736 140599142496656 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16635] ppid=16627 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/16629/task/16635/stat : 16635 (java) S 16627 16627 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420127227 28904845312 10348 33554432000 4194304 4196468 140728540068736 140599141444624 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16636] ppid=16627 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/16629/task/16636/stat : 16636 (java) S 16627 16627 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420127227 28904845312 10348 33554432000 4194304 4196468 140728540068736 140599140392080 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16637] ppid=16627 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/16629/task/16637/stat : 16637 (java) S 16627 16627 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420127227 28904845312 10348 33554432000 4194304 4196468 140728540068736 140599139339024 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16638] ppid=16627 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/16629/task/16638/stat : 16638 (java) S 16627 16627 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420127227 28904845312 10348 33554432000 4194304 4196468 140728540068736 140599138286480 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16639] ppid=16627 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/16629/task/16639/stat : 16639 (java) S 16627 16627 11928 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420127228 28904845312 10348 33554432000 4194304 4196468 140728540068736 140598643194096 140599594003074 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16640] ppid=16627 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/16629/task/16640/stat : 16640 (java) S 16627 16627 11928 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420127229 28904845312 10348 33554432000 4194304 4196468 140728540068736 140598642140320 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16641] ppid=16627 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/16629/task/16641/stat : 16641 (java) S 16627 16627 11928 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 420127229 28904845312 10348 33554432000 4194304 4196468 140728540068736 140597652349680 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16642] ppid=16627 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/16629/task/16642/stat : 16642 (java) S 16627 16627 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420127232 28904845312 10348 33554432000 4194304 4196468 140728540068736 140597651298256 140599594010523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16643] ppid=16627 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/16629/task/16643/stat : 16643 (java) S 16627 16627 11928 0 -1 1077944384 341 0 0 0 1 0 0 0 20 0 20 0 420127232 28904845312 10348 33554432000 4194304 4196468 140728540068736 140597650246384 140599594003074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16644] ppid=16627 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/16629/task/16644/stat : 16644 (java) S 16627 16627 11928 0 -1 1077944384 259 0 0 0 1 0 0 0 20 0 20 0 420127232 28904845312 10348 33554432000 4194304 4196468 140728540068736 140597649193840 140599594003074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16645] ppid=16627 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7
/proc/16629/task/16645/stat : 16645 (java) S 16627 16627 11928 0 -1 1077944384 265 0 0 0 1 0 0 0 20 0 20 0 420127232 28904845312 10348 33554432000 4194304 4196468 140728540068736 140597648140784 140599594003074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16646] ppid=16627 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7
/proc/16629/task/16646/stat : 16646 (java) R 16627 16627 11928 0 -1 4202560 705 0 0 0 7 0 0 0 20 0 20 0 420127232 28904845312 10348 33554432000 4194304 4196468 140728540068736 140597647082816 140599594003862 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16647] ppid=16627 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/16629/task/16647/stat : 16647 (java) S 16627 16627 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420127232 28904845312 10348 33554432000 4194304 4196468 140728540068736 140597646035424 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16648] ppid=16627 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/16629/task/16648/stat : 16648 (java) S 16627 16627 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420127232 28904845312 10348 33554432000 4194304 4196468 140728540068736 140597644982960 140599594003074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42848 KiB

[startup+0.309461 s]*
/proc/loadavg: 7.19 7.31 7.30 3/212 16648
/proc/meminfo: memFree=31491312/32770624 swapFree=67004232/67108860
[pid=16627] ppid=16624 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/16627/stat : 16627 (xcsp3-exec) S 16624 16627 11928 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420127225 115843072 364 33554432000 4194304 5098028 140720967214352 140720967212456 140220575666812 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24072192 140720967218038 140720967218281 140720967218281 140720967221194 0
/proc/16627/statm: 28282 364 305 221 0 87 0
[pid=16629] ppid=16627 vsize=28231644 memory=49984 CPUtime=0.51 cores=0-7
/proc/16629/stat : 16629 (java) S 16627 16627 11928 0 -1 1077944320 10828 0 0 0 47 4 0 0 20 0 20 0 420127226 28909203456 12496 33554432000 4194304 4196468 140728540068736 140728540051280 140599593991927 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
/proc/16629/statm: 7057911 12496 3353 1 0 7019032 0
[pid=16629/tid=16630] ppid=16627 vsize=28231644 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/16629/task/16630/stat : 16630 (java) R 16627 16627 11928 0 -1 4202560 7753 0 0 0 27 3 0 0 20 0 20 0 420127226 28909203456 12496 33554432000 4194304 4196468 140728540068736 140599598223040 140599578072414 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16631] ppid=16627 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/16629/task/16631/stat : 16631 (java) S 16627 16627 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420127227 28909203456 12496 33554432000 4194304 4196468 140728540068736 140599513844240 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16632] ppid=16627 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/16629/task/16632/stat : 16632 (java) S 16627 16627 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420127227 28909203456 12496 33554432000 4194304 4196468 140728540068736 140599144602256 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16633] ppid=16627 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/16629/task/16633/stat : 16633 (java) S 16627 16627 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420127227 28909203456 12496 33554432000 4194304 4196468 140728540068736 140599143549200 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16634] ppid=16627 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/16629/task/16634/stat : 16634 (java) S 16627 16627 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420127227 28909203456 12496 33554432000 4194304 4196468 140728540068736 140599142496656 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16635] ppid=16627 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/16629/task/16635/stat : 16635 (java) S 16627 16627 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420127227 28909203456 12496 33554432000 4194304 4196468 140728540068736 140599141444624 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16636] ppid=16627 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/16629/task/16636/stat : 16636 (java) S 16627 16627 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420127227 28909203456 12496 33554432000 4194304 4196468 140728540068736 140599140392080 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16637] ppid=16627 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/16629/task/16637/stat : 16637 (java) S 16627 16627 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420127227 28909203456 12496 33554432000 4194304 4196468 140728540068736 140599139339024 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16638] ppid=16627 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/16629/task/16638/stat : 16638 (java) S 16627 16627 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420127227 28909203456 12496 33554432000 4194304 4196468 140728540068736 140599138286480 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16639] ppid=16627 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/16629/task/16639/stat : 16639 (java) S 16627 16627 11928 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420127228 28909203456 12496 33554432000 4194304 4196468 140728540068736 140598643194096 140599594003074 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16640] ppid=16627 vsize=28231644 memory=281263181340032 CPUtime=0 cores=0-7
/proc/16629/task/16640/stat : 16640 (java) S 16627 16627 11928 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420127229 28909203456 12496 33554432000 4194304 4196468 140728540068736 140598642140320 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16641] ppid=16627 vsize=28231644 memory=281263181344640 CPUtime=0 cores=0-7
/proc/16629/task/16641/stat : 16641 (java) S 16627 16627 11928 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 420127229 28909203456 12496 33554432000 4194304 4196468 140728540068736 140597652349680 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16642] ppid=16627 vsize=28231644 memory=281263181349248 CPUtime=0 cores=0-7
/proc/16629/task/16642/stat : 16642 (java) S 16627 16627 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420127232 28909203456 12496 33554432000 4194304 4196468 140728540068736 140597651298256 140599594010523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16643] ppid=16627 vsize=28231644 memory=281263181353856 CPUtime=0.02 cores=0-7
/proc/16629/task/16643/stat : 16643 (java) S 16627 16627 11928 0 -1 1077944384 351 0 0 0 2 0 0 0 20 0 20 0 420127232 28909203456 12496 33554432000 4194304 4196468 140728540068736 140597650246384 140599594003074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16644] ppid=16627 vsize=28231644 memory=281263181358464 CPUtime=0.02 cores=0-7
/proc/16629/task/16644/stat : 16644 (java) S 16627 16627 11928 0 -1 1077944384 264 0 0 0 2 0 0 0 20 0 20 0 420127232 28909203456 12496 33554432000 4194304 4196468 140728540068736 140597649193840 140599594003074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16645] ppid=16627 vsize=28231644 memory=281263181363072 CPUtime=0.03 cores=0-7
/proc/16629/task/16645/stat : 16645 (java) R 16627 16627 11928 0 -1 4202560 363 0 0 0 3 0 0 0 20 0 20 0 420127232 28909203456 12496 33554432000 4194304 4196468 140728540068736 140597648131168 140599573656368 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16646] ppid=16627 vsize=28231644 memory=281263181367680 CPUtime=0.12 cores=0-7
/proc/16629/task/16646/stat : 16646 (java) S 16627 16627 11928 0 -1 1077944384 790 0 0 0 12 0 0 0 20 0 20 0 420127232 28909203456 12496 33554432000 4194304 4196468 140728540068736 140597647088240 140599594003074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16647] ppid=16627 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/16629/task/16647/stat : 16647 (java) S 16627 16627 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420127232 28909203456 12496 33554432000 4194304 4196468 140728540068736 140597646035424 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16648] ppid=16627 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/16629/task/16648/stat : 16648 (java) S 16627 16627 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420127232 28909203456 12496 33554432000 4194304 4196468 140728540068736 140597644982960 140599594003074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51440 KiB

[startup+0.700946 s]
/proc/loadavg: 7.19 7.31 7.30 5/212 16648
/proc/meminfo: memFree=31462932/32770624 swapFree=67004232/67108860
[pid=16627] ppid=16624 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/16627/stat : 16627 (xcsp3-exec) S 16624 16627 11928 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420127225 115843072 364 33554432000 4194304 5098028 140720967214352 140720967212456 140220575666812 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24072192 140720967218038 140720967218281 140720967218281 140720967221194 0
/proc/16627/statm: 28282 364 305 221 0 87 0
[pid=16629] ppid=16627 vsize=28233768 memory=168344 CPUtime=1.66 cores=0-7
/proc/16629/stat : 16629 (java) S 16627 16627 11928 0 -1 1077944320 15306 0 0 0 157 9 0 0 20 0 20 0 420127226 28911378432 42086 33554432000 4194304 4196468 140728540068736 140728540051280 140599593991927 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
/proc/16629/statm: 7058442 42086 3444 1 0 7019544 0
[pid=16629/tid=16630] ppid=16627 vsize=28233768 memory=0 CPUtime=0.68 cores=0-7
/proc/16629/task/16630/stat : 16630 (java) R 16627 16627 11928 0 -1 4202560 9074 0 0 0 62 6 0 0 20 0 20 0 420127226 28911378432 42086 33554432000 4194304 4196468 140728540068736 140599598228592 140599594013853 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16631] ppid=16627 vsize=28233768 memory=140631590871936 CPUtime=0 cores=0-7
/proc/16629/task/16631/stat : 16631 (java) S 16627 16627 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420127227 28911378432 42086 33554432000 4194304 4196468 140728540068736 140599513844240 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16632] ppid=16627 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/16629/task/16632/stat : 16632 (java) S 16627 16627 11928 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420127227 28911378432 42086 33554432000 4194304 4196468 140728540068736 140599144602256 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16633] ppid=16627 vsize=28233768 memory=1052 CPUtime=0 cores=0-7
/proc/16629/task/16633/stat : 16633 (java) S 16627 16627 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420127227 28911378432 42086 33554432000 4194304 4196468 140728540068736 140599143549200 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0

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

[pid=16629/tid=17066] ppid=16627 vsize=29167712 memory=4013256 CPUtime=684.38 cores=0-7
/proc/16629/task/17066/stat : 17066 (java) R 16627 16627 11928 0 -1 4202560 8031 0 0 0 68409 29 0 0 20 0 28 0 420302339 29867737088 1003314 33554432000 4194304 4196468 140728540068736 140597316603024 140599201251449 0 4 0 16800975 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
Current children cumulated CPU time: 19449.6 s
Current children cumulated vsize: 29280840 KiB
Current children cumulated memory: 4014712 KiB

[startup+2502.3 s]
/proc/loadavg: 8.70 8.35 8.25 9/219 17128
/proc/meminfo: memFree=27450228/32770624 swapFree=67004232/67108860
[pid=16627] ppid=16624 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/16627/stat : 16627 (xcsp3-exec) S 16624 16627 11928 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420127225 115843072 364 33554432000 4194304 5098028 140720967214352 140720967212456 140220575666812 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24072192 140720967218038 140720967218281 140720967218281 140720967221194 0
/proc/16627/statm: 28282 364 305 221 0 87 0
[pid=16629] ppid=16627 vsize=29167712 memory=4080960 CPUtime=19928 cores=0-7
/proc/16629/stat : 16629 (java) S 16627 16627 11928 0 -1 1077944320 933602 0 0 0 1991189 1610 0 0 20 0 28 0 420127226 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140728540051280 140599593991927 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
/proc/16629/statm: 7291928 1020240 3548 1 0 7253030 0
[pid=16629/tid=16630] ppid=16627 vsize=29167712 memory=4080960 CPUtime=1.49 cores=0-7
/proc/16629/task/16630/stat : 16630 (java) S 16627 16627 11928 0 -1 1077944384 9695 0 0 0 140 9 0 0 20 0 28 0 420127226 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140599598232704 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16631] ppid=16627 vsize=29167712 memory=4080960 CPUtime=14.02 cores=0-7
/proc/16629/task/16631/stat : 16631 (java) S 16627 16627 11928 0 -1 1077944384 45358 0 0 0 1292 110 0 0 20 0 28 0 420127227 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140599513844240 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 29 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16632] ppid=16627 vsize=29167712 memory=1456 CPUtime=14.12 cores=0-7
/proc/16629/task/16632/stat : 16632 (java) S 16627 16627 11928 0 -1 1077944384 46192 0 0 0 1296 116 0 0 20 0 28 0 420127227 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140599144602256 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 23 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16633] ppid=16627 vsize=29167712 memory=4080972 CPUtime=14.11 cores=0-7
/proc/16629/task/16633/stat : 16633 (java) S 16627 16627 11928 0 -1 1077944384 42810 0 0 0 1292 119 0 0 20 0 28 0 420127227 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140599143549200 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 25 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16634] ppid=16627 vsize=29167712 memory=4080960 CPUtime=14.11 cores=0-7
/proc/16629/task/16634/stat : 16634 (java) S 16627 16627 11928 0 -1 1077944384 45818 0 0 0 1289 122 0 0 20 0 28 0 420127227 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140599142496656 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 23 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16635] ppid=16627 vsize=29167712 memory=0 CPUtime=14.02 cores=0-7
/proc/16629/task/16635/stat : 16635 (java) S 16627 16627 11928 0 -1 1077944384 46239 0 0 0 1285 117 0 0 20 0 28 0 420127227 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140599141444624 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 27 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16636] ppid=16627 vsize=29167712 memory=7668052818999722084 CPUtime=14.08 cores=0-7
/proc/16629/task/16636/stat : 16636 (java) S 16627 16627 11928 0 -1 1077944384 44835 0 0 0 1292 116 0 0 20 0 28 0 420127227 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140599140392080 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 22 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16637] ppid=16627 vsize=29167712 memory=1456 CPUtime=13.99 cores=0-7
/proc/16629/task/16637/stat : 16637 (java) S 16627 16627 11928 0 -1 1077944384 48570 0 0 0 1284 115 0 0 20 0 28 0 420127227 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140599139339024 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 25 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16638] ppid=16627 vsize=29167712 memory=4080972 CPUtime=13.99 cores=0-7
/proc/16629/task/16638/stat : 16638 (java) S 16627 16627 11928 0 -1 1077944384 45254 0 0 0 1286 113 0 0 20 0 28 0 420127227 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140599138286480 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16639] ppid=16627 vsize=29167712 memory=4013272 CPUtime=1.16 cores=0-7
/proc/16629/task/16639/stat : 16639 (java) S 16627 16627 11928 0 -1 1077944384 39781 0 0 0 92 24 0 0 20 0 28 0 420127228 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140598643194096 140599594003074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16640] ppid=16627 vsize=29167712 memory=3588 CPUtime=0 cores=0-7
/proc/16629/task/16640/stat : 16640 (java) S 16627 16627 11928 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 420127229 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140598642140384 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16641] ppid=16627 vsize=29167712 memory=1456 CPUtime=0 cores=0-7
/proc/16629/task/16641/stat : 16641 (java) S 16627 16627 11928 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 28 0 420127229 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140597652349696 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16642] ppid=16627 vsize=29167712 memory=4013256 CPUtime=0 cores=0-7
/proc/16629/task/16642/stat : 16642 (java) S 16627 16627 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420127232 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140597651298256 140599594010523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16643] ppid=16627 vsize=29167712 memory=146561464042826 CPUtime=5.17 cores=0-7
/proc/16629/task/16643/stat : 16643 (java) S 16627 16627 11928 0 -1 1077944384 36387 0 0 0 509 8 0 0 20 0 28 0 420127232 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140597650246384 140599594003074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16644] ppid=16627 vsize=29167712 memory=6944656592455360604 CPUtime=5.62 cores=0-7
/proc/16629/task/16644/stat : 16644 (java) S 16627 16627 11928 0 -1 1077944384 39088 0 0 0 555 7 0 0 20 0 28 0 420127232 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140597649193840 140599594003074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16645] ppid=16627 vsize=29167712 memory=14068 CPUtime=5.31 cores=0-7
/proc/16629/task/16645/stat : 16645 (java) S 16627 16627 11928 0 -1 1077944384 42086 0 0 0 523 8 0 0 20 0 28 0 420127232 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140597648140784 140599594003074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16646] ppid=16627 vsize=29167712 memory=2120 CPUtime=1.31 cores=0-7
/proc/16629/task/16646/stat : 16646 (java) S 16627 16627 11928 0 -1 1077944384 27532 0 0 0 125 6 0 0 20 0 28 0 420127232 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140597647088240 140599594003074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16647] ppid=16627 vsize=29167712 memory=0 CPUtime=0 cores=0-7
/proc/16629/task/16647/stat : 16647 (java) S 16627 16627 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420127232 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140597646035424 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16648] ppid=16627 vsize=29167712 memory=6944656592387989600 CPUtime=1.18 cores=0-7
/proc/16629/task/16648/stat : 16648 (java) S 16627 16627 11928 0 -1 1077944384 4677 0 0 0 34 84 0 0 20 0 28 0 420127232 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140597644982960 140599594003074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=17059] ppid=16627 vsize=29167712 memory=4080972 CPUtime=746.98 cores=0-7
/proc/16629/task/17059/stat : 17059 (java) R 16627 16627 11928 0 -1 4202560 7659 0 0 0 74676 22 0 0 20 0 28 0 420302339 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140597314497096 140599200032778 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=17060] ppid=16627 vsize=29167712 memory=667648 CPUtime=741.72 cores=0-7
/proc/16629/task/17060/stat : 17060 (java) R 16627 16627 11928 0 -1 4202560 5605 0 0 0 74159 13 0 0 20 0 28 0 420302339 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140597312392856 140599201787640 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=17061] ppid=16627 vsize=29167712 memory=4080972 CPUtime=746.83 cores=0-7
/proc/16629/task/17061/stat : 17061 (java) R 16627 16627 11928 0 -1 4202560 24895 0 0 0 74652 31 0 0 20 0 28 0 420302339 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140597325017392 140599203159488 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=17062] ppid=16627 vsize=29167712 memory=1456 CPUtime=745.9 cores=0-7
/proc/16629/task/17062/stat : 17062 (java) R 16627 16627 11928 0 -1 4202560 10445 0 0 0 74551 39 0 0 20 0 28 0 420302339 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140597313449024 140599194102524 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=17063] ppid=16627 vsize=29167712 memory=4080972 CPUtime=742.62 cores=0-7
/proc/16629/task/17063/stat : 17063 (java) R 16627 16627 11928 0 -1 4202560 12416 0 0 0 74227 35 0 0 20 0 28 0 420302339 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140597315551288 140599200590558 0 4 0 16800975 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=17064] ppid=16627 vsize=29167712 memory=1456 CPUtime=747.1 cores=0-7
/proc/16629/task/17064/stat : 17064 (java) R 16627 16627 11928 0 -1 4202560 9945 0 0 0 74679 31 0 0 20 0 28 0 420302339 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140597322912360 140599200592353 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=17065] ppid=16627 vsize=29167712 memory=1456 CPUtime=744.97 cores=0-7
/proc/16629/task/17065/stat : 17065 (java) R 16627 16627 11928 0 -1 4202560 9610 0 0 0 74488 9 0 0 20 0 28 0 420302339 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140597636009224 140599201647541 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=17066] ppid=16627 vsize=29167712 memory=4080972 CPUtime=744.06 cores=0-7
/proc/16629/task/17066/stat : 17066 (java) R 16627 16627 11928 0 -1 4202560 10026 0 0 0 74373 33 0 0 20 0 28 0 420302339 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140597316603640 140599200590772 0 4 0 16800975 0 0 0 -1 6 0 0 6 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
Current children cumulated CPU time: 19928 s
Current children cumulated vsize: 29280840 KiB
Current children cumulated memory: 4082416 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.50 8.33 8.25 9/219 17131
/proc/meminfo: memFree=27448980/32770624 swapFree=67004232/67108860
[pid=16627] ppid=16624 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/16627/stat : 16627 (xcsp3-exec) S 16624 16627 11928 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420127225 115843072 364 33554432000 4194304 5098028 140720967214352 140720967212456 140220575666812 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24072192 140720967218038 140720967218281 140720967218281 140720967221194 0
/proc/16627/statm: 28282 364 305 221 0 87 0
[pid=16629] ppid=16627 vsize=29167712 memory=4080960 CPUtime=20069.2 cores=0-7
/proc/16629/stat : 16629 (java) S 16627 16627 11928 0 -1 1077944320 941210 0 0 0 2005301 1622 0 0 20 0 28 0 420127226 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140728540051280 140599593991927 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
/proc/16629/statm: 7291928 1020240 3548 1 0 7253030 0
[pid=16629/tid=16630] ppid=16627 vsize=29167712 memory=1398722017469774279 CPUtime=1.49 cores=0-7
/proc/16629/task/16630/stat : 16630 (java) S 16627 16627 11928 0 -1 1077944384 9695 0 0 0 140 9 0 0 20 0 28 0 420127226 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140599598232704 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16631] ppid=16627 vsize=29167712 memory=1720 CPUtime=14.06 cores=0-7
/proc/16629/task/16631/stat : 16631 (java) S 16627 16627 11928 0 -1 1077944384 46188 0 0 0 1296 110 0 0 20 0 28 0 420127227 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140599513844240 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 29 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16632] ppid=16627 vsize=29167712 memory=1096 CPUtime=14.16 cores=0-7
/proc/16629/task/16632/stat : 16632 (java) S 16627 16627 11928 0 -1 1077944384 46845 0 0 0 1299 117 0 0 20 0 28 0 420127227 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140599144602256 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 23 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16633] ppid=16627 vsize=29167712 memory=5964 CPUtime=14.14 cores=0-7
/proc/16629/task/16633/stat : 16633 (java) S 16627 16627 11928 0 -1 1077944384 43347 0 0 0 1295 119 0 0 20 0 28 0 420127227 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140599143549200 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 25 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16634] ppid=16627 vsize=29167712 memory=6791534058613427641 CPUtime=14.14 cores=0-7
/proc/16629/task/16634/stat : 16634 (java) S 16627 16627 11928 0 -1 1077944384 46181 0 0 0 1292 122 0 0 20 0 28 0 420127227 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140599142496656 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 23 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16635] ppid=16627 vsize=29167712 memory=1456 CPUtime=14.05 cores=0-7
/proc/16629/task/16635/stat : 16635 (java) S 16627 16627 11928 0 -1 1077944384 46565 0 0 0 1288 117 0 0 20 0 28 0 420127227 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140599141444624 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 27 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16636] ppid=16627 vsize=29167712 memory=4080960 CPUtime=14.12 cores=0-7
/proc/16629/task/16636/stat : 16636 (java) S 16627 16627 11928 0 -1 1077944384 45114 0 0 0 1296 116 0 0 20 0 28 0 420127227 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140599140392080 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 22 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16637] ppid=16627 vsize=29167712 memory=1940 CPUtime=14.04 cores=0-7
/proc/16629/task/16637/stat : 16637 (java) S 16627 16627 11928 0 -1 1077944384 48993 0 0 0 1288 116 0 0 20 0 28 0 420127227 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140599139339024 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 25 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16638] ppid=16627 vsize=29167712 memory=1416 CPUtime=14.03 cores=0-7
/proc/16629/task/16638/stat : 16638 (java) S 16627 16627 11928 0 -1 1077944384 45487 0 0 0 1290 113 0 0 20 0 28 0 420127227 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140599138286480 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16639] ppid=16627 vsize=29167712 memory=1556 CPUtime=1.16 cores=0-7
/proc/16629/task/16639/stat : 16639 (java) S 16627 16627 11928 0 -1 1077944384 40046 0 0 0 92 24 0 0 20 0 28 0 420127228 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140598643194096 140599594003074 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16640] ppid=16627 vsize=29167712 memory=13412 CPUtime=0 cores=0-7
/proc/16629/task/16640/stat : 16640 (java) S 16627 16627 11928 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 420127229 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140598642140384 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16641] ppid=16627 vsize=29167712 memory=0 CPUtime=0 cores=0-7
/proc/16629/task/16641/stat : 16641 (java) S 16627 16627 11928 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 28 0 420127229 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140597652349696 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16642] ppid=16627 vsize=29167712 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/16629/task/16642/stat : 16642 (java) S 16627 16627 11928 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420127232 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140597651298256 140599594010523 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16643] ppid=16627 vsize=29167712 memory=4058376 CPUtime=5.17 cores=0-7
/proc/16629/task/16643/stat : 16643 (java) S 16627 16627 11928 0 -1 1077944384 36391 0 0 0 509 8 0 0 20 0 28 0 420127232 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140597650246384 140599594003074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16644] ppid=16627 vsize=29167712 memory=924 CPUtime=5.62 cores=0-7
/proc/16629/task/16644/stat : 16644 (java) S 16627 16627 11928 0 -1 1077944384 39091 0 0 0 555 7 0 0 20 0 28 0 420127232 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140597649193840 140599594003074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16645] ppid=16627 vsize=29167712 memory=1692 CPUtime=5.31 cores=0-7
/proc/16629/task/16645/stat : 16645 (java) S 16627 16627 11928 0 -1 1077944384 42089 0 0 0 523 8 0 0 20 0 28 0 420127232 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140597648140784 140599594003074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16646] ppid=16627 vsize=29167712 memory=111632 CPUtime=1.31 cores=0-7
/proc/16629/task/16646/stat : 16646 (java) S 16627 16627 11928 0 -1 1077944384 27541 0 0 0 125 6 0 0 20 0 28 0 420127232 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140597647088240 140599594003074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16647] ppid=16627 vsize=29167712 memory=804 CPUtime=0 cores=0-7
/proc/16629/task/16647/stat : 16647 (java) S 16627 16627 11928 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420127232 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140597646035424 140599594002133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=16648] ppid=16627 vsize=29167712 memory=1804 CPUtime=1.18 cores=0-7
/proc/16629/task/16648/stat : 16648 (java) S 16627 16627 11928 0 -1 1077944384 4705 0 0 0 34 84 0 0 20 0 28 0 420127232 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140597644982960 140599594003074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=17059] ppid=16627 vsize=29167712 memory=916 CPUtime=764.66 cores=0-7
/proc/16629/task/17059/stat : 17059 (java) R 16627 16627 11928 0 -1 4202560 8176 0 0 0 76442 24 0 0 20 0 28 0 420302339 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140597314496904 140599201252727 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=17060] ppid=16627 vsize=29167712 memory=4792 CPUtime=759.39 cores=0-7
/proc/16629/task/17060/stat : 17060 (java) R 16627 16627 11928 0 -1 4202560 5888 0 0 0 75925 14 0 0 20 0 28 0 420302339 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140597312392856 140599200590558 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=17061] ppid=16627 vsize=29167712 memory=1412 CPUtime=764.36 cores=0-7
/proc/16629/task/17061/stat : 17061 (java) R 16627 16627 11928 0 -1 4202560 25279 0 0 0 76403 33 0 0 20 0 28 0 420302339 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140597325017392 140599204651709 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=17062] ppid=16627 vsize=29167712 memory=3912 CPUtime=763.57 cores=0-7
/proc/16629/task/17062/stat : 17062 (java) R 16627 16627 11928 0 -1 4202560 11005 0 0 0 76316 41 0 0 20 0 28 0 420302339 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140597313446296 140599200574925 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=17063] ppid=16627 vsize=29167712 memory=1456 CPUtime=760.04 cores=0-7
/proc/16629/task/17063/stat : 17063 (java) R 16627 16627 11928 0 -1 4202560 12833 0 0 0 75968 36 0 0 20 0 28 0 420302339 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140597315551256 140599204077236 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=17064] ppid=16627 vsize=29167712 memory=4080960 CPUtime=764.77 cores=0-7
/proc/16629/task/17064/stat : 17064 (java) R 16627 16627 11928 0 -1 4202560 10329 0 0 0 76444 33 0 0 20 0 28 0 420302339 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140597322911928 140599202034492 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=17065] ppid=16627 vsize=29167712 memory=4104 CPUtime=762.62 cores=0-7
/proc/16629/task/17065/stat : 17065 (java) R 16627 16627 11928 0 -1 4202560 9971 0 0 0 76252 10 0 0 20 0 28 0 420302339 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140597636009752 140599200682442 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
[pid=16629/tid=17066] ppid=16627 vsize=29167712 memory=1756 CPUtime=761.73 cores=0-7
/proc/16629/task/17066/stat : 17066 (java) R 16627 16627 11928 0 -1 4202560 10772 0 0 0 76138 35 0 0 20 0 28 0 420302339 29867737088 1020240 33554432000 4194304 4196468 140728540068736 140597316606240 140599201251292 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 39018496 140728540074986 140728540075158 140728540075158 140728540078031 0
Current children cumulated CPU time: 20069.2 s
Current children cumulated vsize: 29280840 KiB
Current children cumulated memory: 4082416 KiB

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

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

[startup+2520.11 s]
# the end of solver process 16629 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20053.6 s, system=16.249 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.11
CPU time (s): 20069.9
CPU user time (s): 20053.6
CPU system time (s): 16.249
CPU usage (%): 796.388
Max. virtual memory (cumulated for all children) (KiB): 29283104
Max. memory (cumulated for all children) (KiB): 4082428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20053.6
system time used= 16.249
maximum resident set size= 4081480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 942623
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 92364
involuntary context switches= 222951


# summary of solver processes directly reported to runsolver:
#   pid: 16627,16629
#   total CPU time (s): 20069.9
#   total CPU user time (s): 20053.6
#   total CPU system time (s): 16.249

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.6321 second user time and 31.8883 second system time

The end

Launcher Data 

Begin job on node148 at 2019-09-14 07:40:19
IDJOB=4394619
IDBENCH=135903
IDSOLVER=2843
FILE ID=node148/4394619-1568439656
RUNJOBID= node148-1568432499-11955
PBS_JOBID= 21702314
Free space on /tmp= 61308 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-m1-n100/TravellingSalesman-100-50-08.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4394619-1568439656/watcher-4394619-1568439656 -o /tmp/evaluation-result-4394619-1568439656/solver-4394619-1568439656 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1568432499-11955 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 301293124 HOME/instance-4394619-1568439656.xml

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

MD5SUM BENCH= 8e11a97c7673f129a8c4890bd1c1105b
RANDOM SEED=301293124

node148.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.13
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.13
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.13
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.13
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:        31525548 kB
MemAvailable:   31907760 kB
Buffers:           98720 kB
Cached:           579232 kB
SwapCached:         3812 kB
Active:           417444 kB
Inactive:         268804 kB
Active(anon):       5460 kB
Inactive(anon):    43744 kB
Active(file):     411984 kB
Inactive(file):   225060 kB
Unevictable:      108944 kB
Mlocked:          108944 kB
SwapTotal:      67108860 kB
SwapFree:       67004232 kB
Dirty:             26104 kB
Writeback:             0 kB
AnonPages:        224832 kB
Mapped:            44960 kB
Shmem:             32352 kB
Slab:             150304 kB
SReclaimable:     122008 kB
SUnreclaim:        28296 kB
KernelStack:        3904 kB
PageTables:         5328 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498452 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    178176 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 61284 MiB
End job on node148 at 2019-09-14 08:22:20