Trace number 4270550

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-09)SAT (TO)298 20071.1 2520.1101

General information on the benchmark

NameGolombRuler/GolombRuler-a3-s1/
GolombRuler-19-a3.xml
MD5SUM5b8b55291fe9e5b80fbbe778e95d2a5c
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark298
Best CPU time to get the best result obtained on this benchmark20014.301
Satisfiable
(Un)Satisfiability was proved
Number of variables380
Number of constraints174
Number of domains2
Minimum domain size500
Maximum domain size501
Distribution of domain sizes[{"size":500,"count":171},{"size":501,"count":19}]
Minimum variable degree0
Maximum variable degree20
Distribution of variable degrees[{"degree":0,"count":190},{"degree":2,"count":171},{"degree":19,"count":17},{"degree":20,"count":2}]
Minimum constraint arity1
Maximum constraint arity171
Distribution of constraint arities[{"arity":1,"count":1},{"arity":3,"count":171},{"arity":19,"count":1},{"arity":171,"count":1}]
Number of extensional constraints0
Number of intensional constraints172
Distribution of constraint types[{"type":"intension","count":172},{"type":"allDifferent","count":1},{"type":"ordered","count":1}]
Optimization problemYES
Type of objectivemin VAR

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-4270550-1502721413.xml"  -tl '20160s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4270550-1502721413.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
1.74/0.74	c solve instance...
6.89/1.40	o 400 
7.61/1.50	o 351 
16.28/2.64	o 350 
17.90/2.82	o 349 
21.00/3.29	o 348 
26.54/3.95	o 346 
30.49/4.48	o 342 
40.80/5.70	o 341 
44.02/6.11	o 333 
287.08/36.60	o 331 
376.37/47.89	o 323 
1091.89/137.52	o 322 
2004.88/252.06	o 319 
2524.81/317.33	o 312 
8157.25/1024.00	o 308 
8337.24/1046.57	o 298 
20070.39/2520.08	s SATISFIABLE
20070.39/2520.08	v <instantiation>
20070.39/2520.08	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[14][15] y[14][16] y[14][17] y[14][18] y[15][16] y[15][17] y[15][18] y[16][17] y[16][18] y[17][18] </list>
20070.39/2520.08	v 	<values>0 2 6 9 14 27 37 53 73 95 114 125 170 194 232 249 264 297 298 2 6 9 14 27 37 53 73 95 114 125 170 194 232 249 264 297 298 4 7 12 25 35 51 71 93 112 123 168 192 230 247 262 295 296 3 8 21 31 47 67 89 108 119 164 188 226 243 258 291 292 5 18 28 44 64 86 105 116 161 185 223 240 255 288 289 13 23 39 59 81 100 111 156 180 218 235 250 283 284 10 26 46 68 87 98 143 167 205 222 237 270 271 16 36 58 77 88 133 157 195 212 227 260 261 20 42 61 72 117 141 179 196 211 244 245 22 41 52 97 121 159 176 191 224 225 19 30 75 99 137 154 169 202 203 11 56 80 118 135 150 183 184 45 69 107 124 139 172 173 24 62 79 94 127 128 38 55 70 103 104 17 32 65 66 15 48 49 33 34 1 </values>
20070.39/2520.08	v </instantiation>
20070.39/2520.08	c Unexpected resolution interruption!

Verifier Data 

OK	298

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270550-1502721413/watcher-4270550-1502721413 -o /tmp/evaluation-result-4270550-1502721413/solver-4270550-1502721413 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1502712864-4489 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 314628593 HOME/instance-4270550-1502721413.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=5855, runsolver pid=5852

[startup+0.100694 s]*
/proc/loadavg: 12.24 12.89 11.69 3/201 5876
/proc/meminfo: memFree=27759552/32770624 swapFree=67108860/67108860
[pid=5855] ppid=5852 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5855/stat : 5855 (xcsp3-exec) S 5852 5855 4462 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 105222150 9740288 346 33554432000 4194304 5098028 140724363040640 140724363038744 140408446554748 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9818112 140724363043941 140724363044151 140724363044151 140724363046891 0
/proc/5855/statm: 2378 346 289 221 0 87 0
[pid=5857] ppid=5855 vsize=25999808 memory=26440 CPUtime=0.12 cores=0-7
/proc/5857/stat : 5857 (java) S 5855 5855 4462 0 -1 1077944320 5496 0 0 0 11 1 0 0 20 0 20 0 105222150 26623803392 6610 33554432000 4194304 4196468 140721067415904 140721067398448 139825505001207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
/proc/5857/statm: 6499952 6610 2863 1 0 6488269 0
[pid=5857/tid=5858] ppid=5855 vsize=25999808 memory=4499827695314695070 CPUtime=0.09 cores=0-7
/proc/5857/task/5858/stat : 5858 (java) R 5855 5855 4462 0 -1 4202560 3477 0 0 0 9 0 0 0 20 0 20 0 105222151 26623803392 6610 33554432000 4194304 4196468 140721067415904 139825509234480 139825505013142 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5859] ppid=5855 vsize=25999808 memory=732370006590102501 CPUtime=0 cores=0-7
/proc/5857/task/5859/stat : 5859 (java) S 5855 5855 4462 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105222152 26623803392 6610 33554432000 4194304 4196468 140721067415904 139825062972432 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5860] ppid=5855 vsize=25999808 memory=139868252649088 CPUtime=0 cores=0-7
/proc/5857/task/5860/stat : 5860 (java) S 5855 5855 4462 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105222152 26623803392 6610 33554432000 4194304 4196468 140721067415904 139825061919888 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5861] ppid=5855 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5857/task/5861/stat : 5861 (java) S 5855 5855 4462 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 105222152 26623803392 6610 33554432000 4194304 4196468 140721067415904 139825060866832 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5862] ppid=5855 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5857/task/5862/stat : 5862 (java) S 5855 5855 4462 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 105222152 26623803392 6610 33554432000 4194304 4196468 140721067415904 139825059814288 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5863] ppid=5855 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5857/task/5863/stat : 5863 (java) S 5855 5855 4462 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 105222152 26623803392 6610 33554432000 4194304 4196468 140721067415904 139825058761232 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5864] ppid=5855 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/5857/task/5864/stat : 5864 (java) S 5855 5855 4462 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 105222152 26623803392 6610 33554432000 4194304 4196468 140721067415904 139825057708688 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5865] ppid=5855 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5857/task/5865/stat : 5865 (java) S 5855 5855 4462 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 105222152 26623803392 6610 33554432000 4194304 4196468 140721067415904 139825056655632 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5866] ppid=5855 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5857/task/5866/stat : 5866 (java) S 5855 5855 4462 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 105222152 26623803392 6610 33554432000 4194304 4196468 140721067415904 139825055603088 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5867] ppid=5855 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5857/task/5867/stat : 5867 (java) S 5855 5855 4462 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 105222153 26623803392 6610 33554432000 4194304 4196468 140721067415904 139825013095152 139825505012354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5868] ppid=5855 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5857/task/5868/stat : 5868 (java) S 5855 5855 4462 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 105222154 26623803392 6610 33554432000 4194304 4196468 140721067415904 139825012041376 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5869] ppid=5855 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5857/task/5869/stat : 5869 (java) S 5855 5855 4462 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 105222154 26623803392 6610 33554432000 4194304 4196468 140721067415904 139825010988272 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5870] ppid=5855 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5857/task/5870/stat : 5870 (java) S 5855 5855 4462 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105222156 26623803392 6610 33554432000 4194304 4196468 140721067415904 139824494307792 139825505019803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5871] ppid=5855 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5857/task/5871/stat : 5871 (java) S 5855 5855 4462 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 105222156 26623803392 6610 33554432000 4194304 4196468 140721067415904 139824493254896 139825505012354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5872] ppid=5855 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5857/task/5872/stat : 5872 (java) S 5855 5855 4462 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 105222156 26623803392 6610 33554432000 4194304 4196468 140721067415904 139824492202352 139825505012354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5873] ppid=5855 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5857/task/5873/stat : 5873 (java) R 5855 5855 4462 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 105222156 26623803392 6610 33554432000 4194304 4196468 140721067415904 139824491149296 139825505012354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5874] ppid=5855 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/5857/task/5874/stat : 5874 (java) R 5855 5855 4462 0 -1 4202560 282 0 0 0 1 0 0 0 20 0 20 0 105222156 26623803392 6610 33554432000 4194304 4196468 140721067415904 139824490096752 139825489081694 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5875] ppid=5855 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5857/task/5875/stat : 5875 (java) S 5855 5855 4462 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 105222156 26623803392 6610 33554432000 4194304 4196468 140721067415904 139824489044960 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5876] ppid=5855 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/5857/task/5876/stat : 5876 (java) S 5855 5855 4462 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105222157 26623803392 6610 33554432000 4194304 4196468 140721067415904 139824487992496 139825505012354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27824 KiB

[startup+0.210558 s]*
/proc/loadavg: 12.24 12.89 11.69 2/201 5876
/proc/meminfo: memFree=27747908/32770624 swapFree=67108860/67108860
[pid=5855] ppid=5852 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5855/stat : 5855 (xcsp3-exec) S 5852 5855 4462 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 105222150 9740288 346 33554432000 4194304 5098028 140724363040640 140724363038744 140408446554748 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9818112 140724363043941 140724363044151 140724363044151 140724363046891 0
/proc/5855/statm: 2378 346 289 221 0 87 0
[pid=5857] ppid=5855 vsize=26004064 memory=39036 CPUtime=0.33 cores=0-7
/proc/5857/stat : 5857 (java) S 5855 5855 4462 0 -1 1077944320 8322 0 0 0 31 2 0 0 20 0 20 0 105222150 26628161536 9759 33554432000 4194304 4196468 140721067415904 140721067398448 139825505001207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
/proc/5857/statm: 6501016 9759 3050 1 0 6488269 0
[pid=5857/tid=5858] ppid=5855 vsize=26004064 memory=0 CPUtime=0.2 cores=0-7
/proc/5857/task/5858/stat : 5858 (java) D 5855 5855 4462 0 -1 1077944384 5413 0 0 0 19 1 0 0 20 0 20 0 105222151 26628161536 9779 33554432000 4194304 4196468 140721067415904 139825509202928 139825497680429 0 4 0 16800975 18446744072101568036 0 0 -1 1 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5859] ppid=5855 vsize=26004064 memory=279736345671416 CPUtime=0 cores=0-7
/proc/5857/task/5859/stat : 5859 (java) S 5855 5855 4462 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105222152 26628161536 9779 33554432000 4194304 4196468 140721067415904 139825062972432 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5860] ppid=5855 vsize=26004064 memory=139868252649088 CPUtime=0 cores=0-7
/proc/5857/task/5860/stat : 5860 (java) S 5855 5855 4462 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105222152 26628161536 9779 33554432000 4194304 4196468 140721067415904 139825061919888 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5861] ppid=5855 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5857/task/5861/stat : 5861 (java) S 5855 5855 4462 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 105222152 26628161536 9779 33554432000 4194304 4196468 140721067415904 139825060866832 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5862] ppid=5855 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/5857/task/5862/stat : 5862 (java) S 5855 5855 4462 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 105222152 26628194304 9779 33554432000 4194304 4196468 140721067415904 139825059814288 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5863] ppid=5855 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/5857/task/5863/stat : 5863 (java) S 5855 5855 4462 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 105222152 26628194304 9779 33554432000 4194304 4196468 140721067415904 139825058761232 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5864] ppid=5855 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5857/task/5864/stat : 5864 (java) S 5855 5855 4462 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 105222152 26628161536 9779 33554432000 4194304 4196468 140721067415904 139825057708688 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5865] ppid=5855 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5857/task/5865/stat : 5865 (java) S 5855 5855 4462 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 105222152 26628161536 9779 33554432000 4194304 4196468 140721067415904 139825056655632 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5866] ppid=5855 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5857/task/5866/stat : 5866 (java) S 5855 5855 4462 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 105222152 26628161536 9779 33554432000 4194304 4196468 140721067415904 139825055603088 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5867] ppid=5855 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5857/task/5867/stat : 5867 (java) S 5855 5855 4462 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 105222153 26628161536 9779 33554432000 4194304 4196468 140721067415904 139825013095152 139825505012354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5868] ppid=5855 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5857/task/5868/stat : 5868 (java) S 5855 5855 4462 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 105222154 26628161536 9779 33554432000 4194304 4196468 140721067415904 139825012041376 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5869] ppid=5855 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5857/task/5869/stat : 5869 (java) S 5855 5855 4462 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 105222154 26628161536 9779 33554432000 4194304 4196468 140721067415904 139825010988272 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5870] ppid=5855 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5857/task/5870/stat : 5870 (java) S 5855 5855 4462 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105222156 26628161536 9779 33554432000 4194304 4196468 140721067415904 139824494307792 139825505019803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5871] ppid=5855 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/5857/task/5871/stat : 5871 (java) S 5855 5855 4462 0 -1 1077944384 351 0 0 0 1 0 0 0 20 0 20 0 105222156 26628161536 9779 33554432000 4194304 4196468 140721067415904 139824493254896 139825505012354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5872] ppid=5855 vsize=26004096 memory=0 CPUtime=0.01 cores=0-7
/proc/5857/task/5872/stat : 5872 (java) S 5855 5855 4462 0 -1 1077944384 167 0 0 0 1 0 0 0 20 0 20 0 105222156 26628194304 9779 33554432000 4194304 4196468 140721067415904 139824492202352 139825505012354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5873] ppid=5855 vsize=26004096 memory=0 CPUtime=0.01 cores=0-7
/proc/5857/task/5873/stat : 5873 (java) S 5855 5855 4462 0 -1 1077944384 290 0 0 0 1 0 0 0 20 0 20 0 105222156 26628194304 9779 33554432000 4194304 4196468 140721067415904 139824491149296 139825505012354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5874] ppid=5855 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/5857/task/5874/stat : 5874 (java) R 5855 5855 4462 0 -1 4202560 814 0 0 0 7 0 0 0 20 0 20 0 105222156 26628161536 9779 33554432000 4194304 4196468 140721067415904 139824490096752 139825483934088 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5875] ppid=5855 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5857/task/5875/stat : 5875 (java) S 5855 5855 4462 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 105222156 26628161536 9779 33554432000 4194304 4196468 140721067415904 139824489044960 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5876] ppid=5855 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5857/task/5876/stat : 5876 (java) S 5855 5855 4462 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105222157 26628161536 9779 33554432000 4194304 4196468 140721067415904 139824487992496 139825505012354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40420 KiB

[startup+0.316557 s]*
/proc/loadavg: 12.24 12.89 11.69 2/201 5876
/proc/meminfo: memFree=27741428/32770624 swapFree=67108860/67108860
[pid=5855] ppid=5852 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5855/stat : 5855 (xcsp3-exec) S 5852 5855 4462 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 105222150 9740288 346 33554432000 4194304 5098028 140724363040640 140724363038744 140408446554748 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9818112 140724363043941 140724363044151 140724363044151 140724363046891 0
/proc/5855/statm: 2378 346 289 221 0 87 0
[pid=5857] ppid=5855 vsize=26004140 memory=46548 CPUtime=0.5 cores=0-7
/proc/5857/stat : 5857 (java) S 5855 5855 4462 0 -1 1077944320 9368 0 0 0 48 2 0 0 20 0 20 0 105222150 26628239360 11637 33554432000 4194304 4196468 140721067415904 140721067398448 139825505001207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
/proc/5857/statm: 6501035 11637 3099 1 0 6488269 0
[pid=5857/tid=5858] ppid=5855 vsize=26004140 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/5857/task/5858/stat : 5858 (java) R 5855 5855 4462 0 -1 4202560 6193 0 0 0 28 1 0 0 20 0 20 0 105222151 26628239360 11637 33554432000 4194304 4196468 140721067415904 139825509236576 139825489081694 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5859] ppid=5855 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/5857/task/5859/stat : 5859 (java) S 5855 5855 4462 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105222152 26628239360 11637 33554432000 4194304 4196468 140721067415904 139825062972432 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5860] ppid=5855 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/5857/task/5860/stat : 5860 (java) S 5855 5855 4462 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105222152 26628239360 11637 33554432000 4194304 4196468 140721067415904 139825061919888 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5861] ppid=5855 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/5857/task/5861/stat : 5861 (java) S 5855 5855 4462 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 105222152 26628239360 11637 33554432000 4194304 4196468 140721067415904 139825060866832 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5862] ppid=5855 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/5857/task/5862/stat : 5862 (java) S 5855 5855 4462 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 105222152 26628239360 11637 33554432000 4194304 4196468 140721067415904 139825059814288 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5863] ppid=5855 vsize=26004140 memory=2244 CPUtime=0 cores=0-7
/proc/5857/task/5863/stat : 5863 (java) S 5855 5855 4462 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 105222152 26628239360 11637 33554432000 4194304 4196468 140721067415904 139825058761232 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5864] ppid=5855 vsize=26004140 memory=139868093117359 CPUtime=0 cores=0-7
/proc/5857/task/5864/stat : 5864 (java) S 5855 5855 4462 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 105222152 26628239360 11637 33554432000 4194304 4196468 140721067415904 139825057708688 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5865] ppid=5855 vsize=26004140 memory=139868093119664 CPUtime=0 cores=0-7
/proc/5857/task/5865/stat : 5865 (java) S 5855 5855 4462 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 105222152 26628239360 11637 33554432000 4194304 4196468 140721067415904 139825056655632 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5866] ppid=5855 vsize=26004140 memory=139868093121968 CPUtime=0 cores=0-7
/proc/5857/task/5866/stat : 5866 (java) S 5855 5855 4462 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 105222152 26628239360 11637 33554432000 4194304 4196468 140721067415904 139825055603088 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5867] ppid=5855 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/5857/task/5867/stat : 5867 (java) S 5855 5855 4462 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 105222153 26628239360 11637 33554432000 4194304 4196468 140721067415904 139825013095152 139825505012354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5868] ppid=5855 vsize=26004140 memory=279736186250896 CPUtime=0 cores=0-7
/proc/5857/task/5868/stat : 5868 (java) S 5855 5855 4462 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 105222154 26628239360 11637 33554432000 4194304 4196468 140721067415904 139825012041376 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5869] ppid=5855 vsize=26004140 memory=279736186257808 CPUtime=0 cores=0-7
/proc/5857/task/5869/stat : 5869 (java) S 5855 5855 4462 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 105222154 26628239360 11637 33554432000 4194304 4196468 140721067415904 139825010988272 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5870] ppid=5855 vsize=26004140 memory=279736186199088 CPUtime=0 cores=0-7
/proc/5857/task/5870/stat : 5870 (java) S 5855 5855 4462 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105222156 26628239360 11637 33554432000 4194304 4196468 140721067415904 139824494307792 139825505019803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5871] ppid=5855 vsize=26004140 memory=279736186271632 CPUtime=0.02 cores=0-7
/proc/5857/task/5871/stat : 5871 (java) S 5855 5855 4462 0 -1 1077944384 383 0 0 0 2 0 0 0 20 0 20 0 105222156 26628239360 11637 33554432000 4194304 4196468 140721067415904 139824493254896 139825505012354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5872] ppid=5855 vsize=26004140 memory=279736186278544 CPUtime=0.02 cores=0-7
/proc/5857/task/5872/stat : 5872 (java) S 5855 5855 4462 0 -1 1077944384 192 0 0 0 2 0 0 0 20 0 20 0 105222156 26628239360 11637 33554432000 4194304 4196468 140721067415904 139824492202352 139825505012354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5873] ppid=5855 vsize=26004140 memory=279736186276240 CPUtime=0.02 cores=0-7
/proc/5857/task/5873/stat : 5873 (java) S 5855 5855 4462 0 -1 1077944384 361 0 0 0 2 0 0 0 20 0 20 0 105222156 26628239360 11637 33554432000 4194304 4196468 140721067415904 139824491149296 139825505012354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5874] ppid=5855 vsize=26004140 memory=279736186292400 CPUtime=0.12 cores=0-7
/proc/5857/task/5874/stat : 5874 (java) R 5855 5855 4462 0 -1 4202560 939 0 0 0 12 0 0 0 20 0 20 0 105222156 26628239360 11637 33554432000 4194304 4196468 140721067415904 139824490096752 139825483507129 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5875] ppid=5855 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/5857/task/5875/stat : 5875 (java) S 5855 5855 4462 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 105222156 26628239360 11637 33554432000 4194304 4196468 140721067415904 139824489044960 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5876] ppid=5855 vsize=26004140 memory=-1 CPUtime=0 cores=0-7
/proc/5857/task/5876/stat : 5876 (java) S 5855 5855 4462 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105222157 26628239360 11637 33554432000 4194304 4196468 140721067415904 139824487992496 139825505012354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013652 KiB
Current children cumulated memory: 47932 KiB

[startup+0.700983 s]
/proc/loadavg: 12.24 12.89 11.69 5/201 5876
/proc/meminfo: memFree=27727812/32770624 swapFree=67108860/67108860
[pid=5855] ppid=5852 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5855/stat : 5855 (xcsp3-exec) S 5852 5855 4462 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 105222150 9740288 346 33554432000 4194304 5098028 140724363040640 140724363038744 140408446554748 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9818112 140724363043941 140724363044151 140724363044151 140724363046891 0
/proc/5855/statm: 2378 346 289 221 0 87 0
[pid=5857] ppid=5855 vsize=26006188 memory=87804 CPUtime=1.74 cores=0-7
/proc/5857/stat : 5857 (java) S 5855 5855 4462 0 -1 1077944320 13591 0 0 0 169 5 0 0 20 0 20 0 105222150 26630336512 21951 33554432000 4194304 4196468 140721067415904 140721067398448 139825505001207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
/proc/5857/statm: 6501547 21951 3206 1 0 6488781 0
[pid=5857/tid=5858] ppid=5855 vsize=26006188 memory=279736186587264 CPUtime=0.67 cores=0-7
/proc/5857/task/5858/stat : 5858 (java) R 5855 5855 4462 0 -1 4202560 6814 0 0 0 65 2 0 0 20 0 20 0 105222151 26630336512 21951 33554432000 4194304 4196468 140721067415904 139825509236896 139825097511595 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5859] ppid=5855 vsize=26006188 memory=1224 CPUtime=0 cores=0-7
/proc/5857/task/5859/stat : 5859 (java) S 5855 5855 4462 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105222152 26630336512 21951 33554432000 4194304 4196468 140721067415904 139825062972432 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5860] ppid=5855 vsize=26006188 memory=12032 CPUtime=0 cores=0-7
/proc/5857/task/5860/stat : 5860 (java) S 5855 5855 4462 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 105222152 26630336512 21951 33554432000 4194304 4196468 140721067415904 139825061919888 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5861] ppid=5855 vsize=26006188 memory=5792 CPUtime=0 cores=0-7
/proc/5857/task/5861/stat : 5861 (java) S 5855 5855 4462 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 105222152 26630336512 21951 33554432000 4194304 4196468 140721067415904 139825060866832 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0

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

[pid=5857/tid=6023] ppid=5855 vsize=26539728 memory=7588941849246263402 CPUtime=1385.35 cores=0-7
/proc/5857/task/6023/stat : 6023 (java) R 5855 5855 4462 0 -1 4202560 7087 0 0 0 138528 7 0 0 20 0 28 0 105326808 27176681472 126085 33554432000 4194304 4196468 140721067415904 139824478375184 139825102504267 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
Current children cumulated CPU time: 19451.9 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 505724 KiB

[startup+2502.3 s]
/proc/loadavg: 8.05 8.12 8.47 9/209 6071
/proc/meminfo: memFree=27283356/32770624 swapFree=67108860/67108860
[pid=5855] ppid=5852 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5855/stat : 5855 (xcsp3-exec) S 5852 5855 4462 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 105222150 9740288 346 33554432000 4194304 5098028 140724363040640 140724363038744 140408446554748 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9818112 140724363043941 140724363044151 140724363044151 140724363046891 0
/proc/5855/statm: 2378 346 289 221 0 87 0
[pid=5857] ppid=5855 vsize=26539728 memory=506388 CPUtime=19929.5 cores=0-7
/proc/5857/stat : 5857 (java) S 5855 5855 4462 0 -1 1077944320 316335 0 0 0 1992736 215 0 0 20 0 28 0 105222150 27176681472 126597 33554432000 4194304 4196468 140721067415904 140721067398448 139825505001207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
/proc/5857/statm: 6634932 126597 3279 1 0 6622166 0
[pid=5857/tid=5858] ppid=5855 vsize=26539728 memory=1384 CPUtime=0.74 cores=0-7
/proc/5857/task/5858/stat : 5858 (java) S 5855 5855 4462 0 -1 1077944384 7814 0 0 0 71 3 0 0 20 0 28 0 105222151 27176681472 126597 33554432000 4194304 4196468 140721067415904 139825509241984 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5859] ppid=5855 vsize=26539728 memory=506388 CPUtime=1.87 cores=0-7
/proc/5857/task/5859/stat : 5859 (java) S 5855 5855 4462 0 -1 1077944384 9993 0 0 0 177 10 0 0 20 0 28 0 105222152 27176681472 126597 33554432000 4194304 4196468 140721067415904 139825062972432 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5860] ppid=5855 vsize=26539728 memory=506388 CPUtime=1.88 cores=0-7
/proc/5857/task/5860/stat : 5860 (java) S 5855 5855 4462 0 -1 1077944384 10682 0 0 0 177 11 0 0 20 0 28 0 105222152 27176681472 126597 33554432000 4194304 4196468 140721067415904 139825061919888 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5861] ppid=5855 vsize=26539728 memory=506388 CPUtime=1.88 cores=0-7
/proc/5857/task/5861/stat : 5861 (java) S 5855 5855 4462 0 -1 1077944384 10756 0 0 0 179 9 0 0 20 0 28 0 105222152 27176681472 126597 33554432000 4194304 4196468 140721067415904 139825060866832 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5862] ppid=5855 vsize=26539728 memory=506388 CPUtime=1.87 cores=0-7
/proc/5857/task/5862/stat : 5862 (java) S 5855 5855 4462 0 -1 1077944384 10836 0 0 0 176 11 0 0 20 0 28 0 105222152 27176681472 126597 33554432000 4194304 4196468 140721067415904 139825059814288 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5863] ppid=5855 vsize=26539728 memory=506388 CPUtime=1.87 cores=0-7
/proc/5857/task/5863/stat : 5863 (java) S 5855 5855 4462 0 -1 1077944384 9384 0 0 0 178 9 0 0 20 0 28 0 105222152 27176681472 126597 33554432000 4194304 4196468 140721067415904 139825058761232 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5864] ppid=5855 vsize=26539728 memory=1384 CPUtime=1.89 cores=0-7
/proc/5857/task/5864/stat : 5864 (java) S 5855 5855 4462 0 -1 1077944384 11323 0 0 0 179 10 0 0 20 0 28 0 105222152 27176681472 126597 33554432000 4194304 4196468 140721067415904 139825057708688 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5865] ppid=5855 vsize=26539728 memory=279733704232164 CPUtime=1.87 cores=0-7
/proc/5857/task/5865/stat : 5865 (java) S 5855 5855 4462 0 -1 1077944384 9194 0 0 0 178 9 0 0 20 0 28 0 105222152 27176681472 126597 33554432000 4194304 4196468 140721067415904 139825056655632 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5866] ppid=5855 vsize=26539728 memory=1384 CPUtime=1.9 cores=0-7
/proc/5857/task/5866/stat : 5866 (java) S 5855 5855 4462 0 -1 1077944384 8834 0 0 0 180 10 0 0 20 0 28 0 105222152 27176681472 126597 33554432000 4194304 4196468 140721067415904 139825055603088 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5867] ppid=5855 vsize=26539728 memory=1384 CPUtime=1.76 cores=0-7
/proc/5857/task/5867/stat : 5867 (java) S 5855 5855 4462 0 -1 1077944384 34633 0 0 0 140 36 0 0 20 0 28 0 105222153 27176681472 126597 33554432000 4194304 4196468 140721067415904 139825013095152 139825505012354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5868] ppid=5855 vsize=26539728 memory=1384 CPUtime=0 cores=0-7
/proc/5857/task/5868/stat : 5868 (java) S 5855 5855 4462 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 105222154 27176681472 126597 33554432000 4194304 4196468 140721067415904 139825012041440 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5869] ppid=5855 vsize=26539728 memory=506388 CPUtime=0 cores=0-7
/proc/5857/task/5869/stat : 5869 (java) S 5855 5855 4462 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 105222154 27176681472 126597 33554432000 4194304 4196468 140721067415904 139825010988288 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5870] ppid=5855 vsize=26539728 memory=1384 CPUtime=0 cores=0-7
/proc/5857/task/5870/stat : 5870 (java) S 5855 5855 4462 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 105222156 27176681472 126597 33554432000 4194304 4196468 140721067415904 139824494307792 139825505019803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5871] ppid=5855 vsize=26539728 memory=506388 CPUtime=2.2 cores=0-7
/proc/5857/task/5871/stat : 5871 (java) S 5855 5855 4462 0 -1 1077944384 13401 0 0 0 219 1 0 0 20 0 28 0 105222156 27176681472 126597 33554432000 4194304 4196468 140721067415904 139824493254896 139825505012354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5872] ppid=5855 vsize=26539728 memory=4144 CPUtime=2.45 cores=0-7
/proc/5857/task/5872/stat : 5872 (java) S 5855 5855 4462 0 -1 1077944384 16752 0 0 0 242 3 0 0 20 0 28 0 105222156 27176681472 126597 33554432000 4194304 4196468 140721067415904 139824492202352 139825505012354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5873] ppid=5855 vsize=26539728 memory=1384 CPUtime=2.25 cores=0-7
/proc/5857/task/5873/stat : 5873 (java) S 5855 5855 4462 0 -1 1077944384 8173 0 0 0 224 1 0 0 20 0 28 0 105222156 27176681472 126597 33554432000 4194304 4196468 140721067415904 139824491149296 139825505012354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5874] ppid=5855 vsize=26539728 memory=1384 CPUtime=0.79 cores=0-7
/proc/5857/task/5874/stat : 5874 (java) S 5855 5855 4462 0 -1 1077944384 12983 0 0 0 76 3 0 0 20 0 28 0 105222156 27176681472 126597 33554432000 4194304 4196468 140721067415904 139824490096752 139825505012354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5875] ppid=5855 vsize=26539728 memory=1384 CPUtime=0 cores=0-7
/proc/5857/task/5875/stat : 5875 (java) S 5855 5855 4462 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 105222156 27176681472 126597 33554432000 4194304 4196468 140721067415904 139824489044960 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5876] ppid=5855 vsize=26539728 memory=1384 CPUtime=0.36 cores=0-7
/proc/5857/task/5876/stat : 5876 (java) S 5855 5855 4462 0 -1 1077944384 3584 0 0 0 24 12 0 0 20 0 28 0 105222157 27176681472 126597 33554432000 4194304 4196468 140721067415904 139824487992496 139825505012354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=6016] ppid=5855 vsize=26539728 memory=1384 CPUtime=1450.09 cores=0-7
/proc/5857/task/6016/stat : 6016 (java) R 5855 5855 4462 0 -1 4202560 2621 0 0 0 145006 3 0 0 20 0 28 0 105326808 27176681472 126597 33554432000 4194304 4196468 140721067415904 139823683189624 139825100518192 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=6017] ppid=5855 vsize=26539728 memory=1384 CPUtime=1444.94 cores=0-7
/proc/5857/task/6017/stat : 6017 (java) R 5855 5855 4462 0 -1 4202560 2667 0 0 0 144490 4 0 0 20 0 28 0 105326808 27176681472 126597 33554432000 4194304 4196468 140721067415904 139824479425512 139825100153555 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=6018] ppid=5855 vsize=26539728 memory=4486604260213485459 CPUtime=1450.55 cores=0-7
/proc/5857/task/6018/stat : 6018 (java) R 5855 5855 4462 0 -1 4202560 4285 0 0 0 145053 2 0 0 20 0 28 0 105326808 27176681472 126597 33554432000 4194304 4196468 140721067415904 139823684243480 139825098860232 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=6019] ppid=5855 vsize=26539728 memory=1296 CPUtime=1445.57 cores=0-7
/proc/5857/task/6019/stat : 6019 (java) R 5855 5855 4462 0 -1 4202560 4273 0 0 0 144551 6 0 0 20 0 28 0 105326808 27176681472 126597 33554432000 4194304 4196468 140721067415904 139824474161000 139825100786708 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=6020] ppid=5855 vsize=26539728 memory=2244 CPUtime=1445.85 cores=0-7
/proc/5857/task/6020/stat : 6020 (java) R 5855 5855 4462 0 -1 4202560 6298 0 0 0 144580 5 0 0 20 0 28 0 105326808 27176681472 126597 33554432000 4194304 4196468 140721067415904 139824476268432 139825100450746 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=6021] ppid=5855 vsize=26539728 memory=4124 CPUtime=1449.86 cores=0-7
/proc/5857/task/6021/stat : 6021 (java) R 5855 5855 4462 0 -1 4202560 1911 0 0 0 144984 2 0 0 20 0 28 0 105326808 27176681472 126597 33554432000 4194304 4196468 140721067415904 139824475213488 139825098900771 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=6022] ppid=5855 vsize=26539728 memory=2208 CPUtime=1447.61 cores=0-7
/proc/5857/task/6022/stat : 6022 (java) R 5855 5855 4462 0 -1 4202560 6327 0 0 0 144757 4 0 0 20 0 28 0 105326808 27176681472 126597 33554432000 4194304 4196468 140721067415904 139824477319152 139825098860340 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=6023] ppid=5855 vsize=26539728 memory=1384 CPUtime=1444.88 cores=0-7
/proc/5857/task/6023/stat : 6023 (java) R 5855 5855 4462 0 -1 4202560 7532 0 0 0 144481 7 0 0 20 0 28 0 105326808 27176681472 126597 33554432000 4194304 4196468 140721067415904 139824478371928 139825098901380 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
Current children cumulated CPU time: 19929.5 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 507772 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.04 8.11 8.46 9/209 6071
/proc/meminfo: memFree=27283408/32770624 swapFree=67108860/67108860
[pid=5855] ppid=5852 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5855/stat : 5855 (xcsp3-exec) S 5852 5855 4462 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 105222150 9740288 346 33554432000 4194304 5098028 140724363040640 140724363038744 140408446554748 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9818112 140724363043941 140724363044151 140724363044151 140724363046891 0
/proc/5855/statm: 2378 346 289 221 0 87 0
[pid=5857] ppid=5855 vsize=26539728 memory=506388 CPUtime=20070.4 cores=0-7
/proc/5857/stat : 5857 (java) S 5855 5855 4462 0 -1 1077944320 316370 0 0 0 2006823 216 0 0 20 0 28 0 105222150 27176681472 126597 33554432000 4194304 4196468 140721067415904 140721067398448 139825505001207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
/proc/5857/statm: 6634932 126597 3279 1 0 6622166 0
[pid=5857/tid=5858] ppid=5855 vsize=26539728 memory=8112282956445269571 CPUtime=0.74 cores=0-7
/proc/5857/task/5858/stat : 5858 (java) S 5855 5855 4462 0 -1 1077944384 7814 0 0 0 71 3 0 0 20 0 28 0 105222151 27176681472 126597 33554432000 4194304 4196468 140721067415904 139825509241984 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5859] ppid=5855 vsize=26539728 memory=-7003737579269690708 CPUtime=1.89 cores=0-7
/proc/5857/task/5859/stat : 5859 (java) S 5855 5855 4462 0 -1 1077944384 9993 0 0 0 179 10 0 0 20 0 28 0 105222152 27176681472 126597 33554432000 4194304 4196468 140721067415904 139825062972432 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5860] ppid=5855 vsize=26539728 memory=916 CPUtime=1.89 cores=0-7
/proc/5857/task/5860/stat : 5860 (java) S 5855 5855 4462 0 -1 1077944384 10682 0 0 0 178 11 0 0 20 0 28 0 105222152 27176681472 126597 33554432000 4194304 4196468 140721067415904 139825061919888 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5861] ppid=5855 vsize=26539728 memory=4248 CPUtime=1.9 cores=0-7
/proc/5857/task/5861/stat : 5861 (java) S 5855 5855 4462 0 -1 1077944384 10756 0 0 0 181 9 0 0 20 0 28 0 105222152 27176681472 126597 33554432000 4194304 4196468 140721067415904 139825060866832 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5862] ppid=5855 vsize=26539728 memory=4108 CPUtime=1.89 cores=0-7
/proc/5857/task/5862/stat : 5862 (java) S 5855 5855 4462 0 -1 1077944384 10839 0 0 0 178 11 0 0 20 0 28 0 105222152 27176681472 126597 33554432000 4194304 4196468 140721067415904 139825059814288 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5863] ppid=5855 vsize=26539728 memory=1152 CPUtime=1.89 cores=0-7
/proc/5857/task/5863/stat : 5863 (java) S 5855 5855 4462 0 -1 1077944384 9388 0 0 0 180 9 0 0 20 0 28 0 105222152 27176681472 126597 33554432000 4194304 4196468 140721067415904 139825058761232 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5864] ppid=5855 vsize=26539728 memory=4024 CPUtime=1.91 cores=0-7
/proc/5857/task/5864/stat : 5864 (java) S 5855 5855 4462 0 -1 1077944384 11323 0 0 0 181 10 0 0 20 0 28 0 105222152 27176681472 126597 33554432000 4194304 4196468 140721067415904 139825057708688 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5865] ppid=5855 vsize=26539728 memory=1384 CPUtime=1.89 cores=0-7
/proc/5857/task/5865/stat : 5865 (java) S 5855 5855 4462 0 -1 1077944384 9194 0 0 0 180 9 0 0 20 0 28 0 105222152 27176681472 126597 33554432000 4194304 4196468 140721067415904 139825056655632 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5866] ppid=5855 vsize=26539728 memory=1384 CPUtime=1.91 cores=0-7
/proc/5857/task/5866/stat : 5866 (java) S 5855 5855 4462 0 -1 1077944384 8834 0 0 0 181 10 0 0 20 0 28 0 105222152 27176681472 126597 33554432000 4194304 4196468 140721067415904 139825055603088 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5867] ppid=5855 vsize=26539728 memory=506388 CPUtime=1.77 cores=0-7
/proc/5857/task/5867/stat : 5867 (java) S 5855 5855 4462 0 -1 1077944384 34633 0 0 0 141 36 0 0 20 0 28 0 105222153 27176681472 126597 33554432000 4194304 4196468 140721067415904 139825013095152 139825505012354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5868] ppid=5855 vsize=26539728 memory=2408 CPUtime=0 cores=0-7
/proc/5857/task/5868/stat : 5868 (java) S 5855 5855 4462 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 105222154 27176681472 126597 33554432000 4194304 4196468 140721067415904 139825012041440 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5869] ppid=5855 vsize=26539728 memory=1732 CPUtime=0 cores=0-7
/proc/5857/task/5869/stat : 5869 (java) S 5855 5855 4462 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 105222154 27176681472 126597 33554432000 4194304 4196468 140721067415904 139825010988288 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5870] ppid=5855 vsize=26539728 memory=1224 CPUtime=0 cores=0-7
/proc/5857/task/5870/stat : 5870 (java) S 5855 5855 4462 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 105222156 27176681472 126597 33554432000 4194304 4196468 140721067415904 139824494307792 139825505019803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5871] ppid=5855 vsize=26539728 memory=12032 CPUtime=2.2 cores=0-7
/proc/5857/task/5871/stat : 5871 (java) S 5855 5855 4462 0 -1 1077944384 13401 0 0 0 219 1 0 0 20 0 28 0 105222156 27176681472 126597 33554432000 4194304 4196468 140721067415904 139824493254896 139825505012354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5872] ppid=5855 vsize=26539728 memory=5792 CPUtime=2.45 cores=0-7
/proc/5857/task/5872/stat : 5872 (java) S 5855 5855 4462 0 -1 1077944384 16752 0 0 0 242 3 0 0 20 0 28 0 105222156 27176681472 126597 33554432000 4194304 4196468 140721067415904 139824492202352 139825505012354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5873] ppid=5855 vsize=26539728 memory=796 CPUtime=2.25 cores=0-7
/proc/5857/task/5873/stat : 5873 (java) S 5855 5855 4462 0 -1 1077944384 8173 0 0 0 224 1 0 0 20 0 28 0 105222156 27176681472 126597 33554432000 4194304 4196468 140721067415904 139824491149296 139825505012354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5874] ppid=5855 vsize=26539728 memory=1436 CPUtime=0.79 cores=0-7
/proc/5857/task/5874/stat : 5874 (java) S 5855 5855 4462 0 -1 1077944384 12983 0 0 0 76 3 0 0 20 0 28 0 105222156 27176681472 126597 33554432000 4194304 4196468 140721067415904 139824490096752 139825505012354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5875] ppid=5855 vsize=26539728 memory=1012 CPUtime=0 cores=0-7
/proc/5857/task/5875/stat : 5875 (java) S 5855 5855 4462 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 105222156 27176681472 126597 33554432000 4194304 4196468 140721067415904 139824489044960 139825505011413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=5876] ppid=5855 vsize=26539728 memory=1384 CPUtime=0.36 cores=0-7
/proc/5857/task/5876/stat : 5876 (java) S 5855 5855 4462 0 -1 1077944384 3584 0 0 0 24 12 0 0 20 0 28 0 105222157 27176681472 126597 33554432000 4194304 4196468 140721067415904 139824487992496 139825505012354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=6016] ppid=5855 vsize=26539728 memory=4248 CPUtime=1467.68 cores=0-7
/proc/5857/task/6016/stat : 6016 (java) R 5855 5855 4462 0 -1 4202560 2621 0 0 0 146765 3 0 0 20 0 28 0 105326808 27176681472 126597 33554432000 4194304 4196468 140721067415904 139823683189576 139825100518329 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=6017] ppid=5855 vsize=26539728 memory=4108 CPUtime=1462.57 cores=0-7
/proc/5857/task/6017/stat : 6017 (java) R 5855 5855 4462 0 -1 4202560 2674 0 0 0 146253 4 0 0 20 0 28 0 105326808 27176681472 126597 33554432000 4194304 4196468 140721067415904 139824479424480 139825099754054 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=6018] ppid=5855 vsize=26539728 memory=8612 CPUtime=1468.23 cores=0-7
/proc/5857/task/6018/stat : 6018 (java) R 5855 5855 4462 0 -1 4202560 4288 0 0 0 146820 3 0 0 20 0 28 0 105326808 27176681472 126597 33554432000 4194304 4196468 140721067415904 139823684243832 139825100445369 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=6019] ppid=5855 vsize=26539728 memory=4620 CPUtime=1463.14 cores=0-7
/proc/5857/task/6019/stat : 6019 (java) R 5855 5855 4462 0 -1 4202560 4274 0 0 0 146308 6 0 0 20 0 28 0 105326808 27176681472 126597 33554432000 4194304 4196468 140721067415904 139824474161056 139825099754319 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=6020] ppid=5855 vsize=26539728 memory=1196 CPUtime=1463.44 cores=0-7
/proc/5857/task/6020/stat : 6020 (java) R 5855 5855 4462 0 -1 4202560 6304 0 0 0 146339 5 0 0 20 0 28 0 105326808 27176681472 126597 33554432000 4194304 4196468 140721067415904 139824476265776 139825099395058 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=6021] ppid=5855 vsize=26539728 memory=15872 CPUtime=1467.39 cores=0-7
/proc/5857/task/6021/stat : 6021 (java) R 5855 5855 4462 0 -1 4202560 1916 0 0 0 146737 2 0 0 20 0 28 0 105326808 27176681472 126597 33554432000 4194304 4196468 140721067415904 139824475216936 139825099754102 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=6022] ppid=5855 vsize=26539728 memory=18476 CPUtime=1465.21 cores=0-7
/proc/5857/task/6022/stat : 6022 (java) R 5855 5855 4462 0 -1 4202560 6332 0 0 0 146517 4 0 0 20 0 28 0 105326808 27176681472 126597 33554432000 4194304 4196468 140721067415904 139824477319704 139825098860126 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
[pid=5857/tid=6023] ppid=5855 vsize=26539728 memory=12032 CPUtime=1462.46 cores=0-7
/proc/5857/task/6023/stat : 6023 (java) R 5855 5855 4462 0 -1 4202560 7533 0 0 0 146238 8 0 0 20 0 28 0 105326808 27176681472 126597 33554432000 4194304 4196468 140721067415904 139824478375904 139825100518112 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18149376 140721067418770 140721067418947 140721067418947 140721067421647 0
Current children cumulated CPU time: 20070.4 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 507772 KiB

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

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

[startup+2520.11 s]
# the end of solver process 5857 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20069 s, system=2.16842 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): 20071.1
CPU user time (s): 20069
CPU system time (s): 2.16842
CPU usage (%): 796.44
Max. virtual memory (cumulated for all children) (KiB): 26549240
Max. memory (cumulated for all children) (KiB): 507772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20069
system time used= 2.16841
maximum resident set size= 506880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 317296
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 180721
involuntary context switches= 210140


# summary of solver processes directly reported to runsolver:
#   pid: 5855,5857
#   total CPU time (s): 20071.1
#   total CPU user time (s): 20069
#   total CPU system time (s): 2.16842

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.5108 second user time and 26.3939 second system time

The end

Launcher Data 

Begin job on node149 at 2017-08-14 16:22:34
IDJOB=4270550
IDBENCH=126218
IDSOLVER=2662
FILE ID=node149/4270550-1502721413
RUNJOBID= node149-1502712864-4489
PBS_JOBID= 20629027
Free space on /tmp= 61936 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-19-a3.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-4270550-1502721413/watcher-4270550-1502721413 -o /tmp/evaluation-result-4270550-1502721413/solver-4270550-1502721413 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1502712864-4489 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 314628593 HOME/instance-4270550-1502721413.xml

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

MD5SUM BENCH= 5b8b55291fe9e5b80fbbe778e95d2a5c
RANDOM SEED=314628593

node149.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.43
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.43
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.43
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.43
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        27775296 kB
MemAvailable:   31969336 kB
Buffers:          298588 kB
Cached:          4168132 kB
SwapCached:            0 kB
Active:          1181448 kB
Inactive:        3340428 kB
Active(anon):      58052 kB
Inactive(anon):    24944 kB
Active(file):    1123396 kB
Inactive(file):  3315484 kB
Unevictable:        6360 kB
Mlocked:            6360 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7840 kB
Writeback:             0 kB
AnonPages:         60592 kB
Mapped:            45000 kB
Shmem:             25224 kB
Slab:             168744 kB
SReclaimable:     141988 kB
SUnreclaim:        26756 kB
KernelStack:        3296 kB
PageTables:         4352 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323512 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:       97664 kB
DirectMap2M:    33447936 kB

Free space on /tmp at the end= 61928 MiB
End job on node149 at 2017-08-14 17:04:34