Trace number 4283469

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 5a (2017-08-18)SAT (TO)116 2520.1399 2442.23

General information on the benchmark

NameRcpsp/Rcpsp-m1-j60/
Rcpsp-j60-13-09.xml
MD5SUM19b417ad6dc2829e4bf67cafab0f775d
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark104
Best CPU time to get the best result obtained on this benchmark2400.03
Satisfiable
(Un)Satisfiability was proved
Number of variables62
Number of constraints97
Number of domains2
Minimum domain size1
Maximum domain size349
Distribution of domain sizes[{"size":1,"count":1},{"size":349,"count":61}]
Minimum variable degree3
Maximum variable degree9
Distribution of variable degrees[{"degree":3,"count":1},{"degree":4,"count":1},{"degree":6,"count":22},{"degree":7,"count":18},{"degree":8,"count":18},{"degree":9,"count":2}]
Minimum constraint arity2
Maximum constraint arity60
Distribution of constraint arities[{"arity":2,"count":93},{"arity":60,"count":4}]
Number of extensional constraints0
Number of intensional constraints93
Distribution of constraint types[{"type":"intension","count":93},{"type":"cumulative","count":4}]
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.07	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4283469-1503208967.xml"  -tl '2520s' -p 1 -x 3
0.10/0.26	c [HOME/instance-4283469-1503208967.xml, -tl, 2520s, -p, 1, -x, 3]
0.30/0.32	c simple solver
0.30/0.39	c parse instance...
0.94/0.64	c solve instance...
3.09/1.39	o 348 
3.41/1.49	o 347 
4.03/1.61	o 346 
4.03/1.67	o 345 
4.33/1.72	o 344 
4.33/1.78	o 343 
4.63/1.82	o 342 
4.63/1.87	o 341 
4.94/1.93	o 340 
4.94/1.98	o 339 
5.27/2.03	o 338 
5.27/2.09	o 337 
5.58/2.14	o 336 
5.58/2.19	o 335 
5.85/2.24	o 334 
5.85/2.29	o 333 
6.15/2.33	o 332 
6.15/2.38	o 331 
6.46/2.43	o 330 
6.46/2.48	o 329 
6.76/2.53	o 328 
6.76/2.57	o 327 
7.06/2.62	o 326 
7.06/2.67	o 325 
7.36/2.71	o 324 
7.36/2.76	o 323 
7.67/2.81	o 322 
7.67/2.85	o 321 
7.97/2.90	o 320 
7.97/2.95	o 319 
7.97/3.00	o 318 
8.30/3.04	o 317 
8.30/3.08	o 316 
8.60/3.13	o 315 
8.60/3.18	o 314 
8.87/3.23	o 313 
8.87/3.27	o 312 
9.17/3.32	o 311 
9.17/3.37	o 310 
9.48/3.41	o 309 
9.48/3.46	o 308 
9.78/3.50	o 307 
9.78/3.54	o 306 
9.78/3.59	o 305 
10.08/3.64	o 304 
10.08/3.68	o 303 
10.38/3.72	o 302 
10.38/3.75	o 301 
10.38/3.78	o 300 
10.68/3.81	o 299 
10.68/3.84	o 298 
10.68/3.87	o 297 
10.98/3.90	o 296 
10.98/3.93	o 295 
10.98/3.96	o 294 
10.98/3.99	o 293 
11.31/4.02	o 292 
11.31/4.05	o 291 
11.31/4.08	o 290 
11.31/4.10	o 289 
11.61/4.13	o 288 
11.61/4.17	o 287 
11.61/4.19	o 286 
11.88/4.22	o 285 
11.88/4.25	o 284 
11.88/4.28	o 283 
12.18/4.32	o 282 
12.18/4.35	o 281 
12.18/4.38	o 280 
12.48/4.41	o 279 
12.48/4.44	o 278 
12.48/4.47	o 277 
12.78/4.50	o 276 
12.78/4.53	o 275 
12.78/4.56	o 274 
12.78/4.59	o 273 
13.08/4.62	o 272 
13.08/4.65	o 271 
13.08/4.68	o 270 
13.38/4.71	o 269 
13.38/4.74	o 268 
13.38/4.78	o 267 
13.69/4.81	o 266 
13.69/4.83	o 265 
13.69/4.86	o 264 
13.69/4.89	o 263 
13.99/4.92	o 262 
13.99/4.95	o 261 
13.99/4.97	o 260 
13.99/5.01	o 259 
14.32/5.04	o 258 
14.32/5.07	o 257 
14.32/5.10	o 256 
14.62/5.13	o 255 
14.62/5.16	o 254 
14.62/5.19	o 253 
14.90/5.22	o 252 
14.90/5.25	o 251 
14.90/5.28	o 250 
15.20/5.31	o 249 
15.20/5.34	o 248 
15.20/5.37	o 247 
15.50/5.40	o 246 
15.50/5.43	o 245 
15.50/5.46	o 244 
15.50/5.49	o 243 
15.81/5.53	o 242 
15.81/5.56	o 241 
15.81/5.59	o 240 
16.11/5.62	o 239 
16.11/5.64	o 238 
16.11/5.67	o 237 
16.41/5.70	o 236 
16.41/5.73	o 235 
16.41/5.76	o 234 
16.41/5.79	o 233 
16.71/5.81	o 232 
16.71/5.84	o 231 
16.71/5.87	o 230 
17.01/5.90	o 229 
17.01/5.92	o 228 
17.01/5.96	o 227 
17.01/5.98	o 226 
17.34/6.01	o 225 
17.34/6.04	o 224 
17.34/6.07	o 223 
17.34/6.10	o 222 
17.68/6.16	o 221 
17.93/6.21	o 220 
17.93/6.24	o 219 
18.22/6.31	o 218 
18.22/6.38	o 217 
18.52/6.48	o 216 
18.82/6.54	o 215 
19.12/6.60	o 214 
19.12/6.67	o 213 
19.42/6.74	o 212 
19.72/6.80	o 211 
19.72/6.85	o 210 
20.02/6.92	o 209 
20.02/6.98	o 208 
20.35/7.05	o 207 
20.65/7.15	o 206 
20.92/7.23	o 205 
20.92/7.29	o 204 
21.22/7.35	o 203 
21.47/7.40	o 202 
21.47/7.48	o 123 
21.65/7.58	o 122 
21.97/7.61	o 119 
21.97/7.62	o 118 
23.59/8.44	o 117 
24.06/8.84	o 116 
2520.01/2442.22	s SATISFIABLE
2520.01/2442.22	v <instantiation>
2520.01/2442.22	v 	<list>s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40] s[41] s[42] s[43] s[44] s[45] s[46] s[47] s[48] s[49] s[50] s[51] s[52] s[53] s[54] s[55] s[56] s[57] s[58] s[59] s[60] s[61] </list>
2520.01/2442.22	v 	<values>0 1 0 0 1 18 28 64 11 41 15 3 17 31 9 15 57 81 58 18 3 8 75 43 31 28 15 53 33 29 83 93 21 43 45 58 34 52 91 82 61 36 61 90 103 43 97 60 71 94 64 71 65 97 83 90 81 94 104 106 109 116 </values>
2520.01/2442.22	v </instantiation>
2520.01/2442.22	c Unexpected resolution interruption!

Verifier Data

OK	116

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283469-1503208967/watcher-4283469-1503208967 -o /tmp/evaluation-result-4283469-1503208967/solver-4283469-1503208967 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1503171914-32555 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1129372913 HOME/instance-4283469-1503208967.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=8109, runsolver pid=8106

[startup+0.100197 s]*
/proc/loadavg: 2.01 1.84 1.87 4/203 8117
/proc/meminfo: memFree=31324476/32770624 swapFree=67108860/67108860
[pid=8109] ppid=8106 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8109/stat : 8109 (xcsp3-exec) S 8106 8109 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 19305761 9740288 345 18446744073709551615 4194304 5098028 140732236889376 140732236887480 139857390109308 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 10371072 140732236894585 140732236894790 140732236894790 140732236898283 0
/proc/8109/statm: 2378 345 289 221 0 87 0
[pid=8111] ppid=8109 vsize=13574484 memory=16668 CPUtime=0.02 cores=0,2,4,6
/proc/8111/stat : 8111 (java) S 8109 8109 17292 0 -1 1077944320 4013 0 0 0 2 0 0 0 20 0 9 0 19305769 13900271616 4167 18446744073709551615 4194304 4196468 140729983386464 140729983369008 140192502378231 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
/proc/8111/statm: 3393621 4167 2082 1 0 3383118 0
[pid=8111/tid=8112] ppid=8109 vsize=13574484 memory=1404226546251833994 CPUtime=0.02 cores=0,2,4,6
/proc/8111/task/8112/stat : 8112 (java) R 8109 8109 17292 0 -1 4202560 2734 0 0 0 2 0 0 0 20 0 9 0 19305769 13900271616 4167 18446744073709551615 4194304 4196468 140729983386464 140192506613992 140192486458718 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8113] ppid=8109 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8113/stat : 8113 (java) S 8109 8109 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 19305770 13900271616 4167 18446744073709551615 4194304 4196468 140729983386464 140192436812048 140192502388437 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8114] ppid=8109 vsize=13574484 memory=140126168090240 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8114/stat : 8114 (java) S 8109 8109 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 19305770 13900271616 4167 18446744073709551615 4194304 4196468 140729983386464 140192435759504 140192502388437 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8115] ppid=8109 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8115/stat : 8115 (java) S 8109 8109 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 19305770 13900271616 4167 18446744073709551615 4194304 4196468 140729983386464 140192434706960 140192502388437 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8116] ppid=8109 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8116/stat : 8116 (java) S 8109 8109 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 19305770 13900271616 4167 18446744073709551615 4194304 4196468 140729983386464 140192433654416 140192502388437 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8117] ppid=8109 vsize=13574484 memory=140126168090240 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8117/stat : 8117 (java) S 8109 8109 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 19305771 13900271616 4167 18446744073709551615 4194304 4196468 140729983386464 140191980964336 140192502389378 0 0 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8118] ppid=8109 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8118/stat : 8118 (java) S 8109 8109 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 19305772 13900271616 4167 18446744073709551615 4194304 4196468 140729983386464 140191979910560 140192502388437 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8119] ppid=8109 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8119/stat : 8119 (java) S 8109 8109 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 19305772 13900271616 4167 18446744073709551615 4194304 4196468 140729983386464 140191978858032 140192502388437 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 18048 KiB

[startup+0.209866 s]*
/proc/loadavg: 2.01 1.84 1.87 4/211 8125
/proc/meminfo: memFree=31314592/32770624 swapFree=67108860/67108860
[pid=8109] ppid=8106 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8109/stat : 8109 (xcsp3-exec) S 8106 8109 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 19305761 9740288 345 18446744073709551615 4194304 5098028 140732236889376 140732236887480 139857390109308 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 10371072 140732236894585 140732236894790 140732236894790 140732236898283 0
/proc/8109/statm: 2378 345 289 221 0 87 0
[pid=8111] ppid=8109 vsize=13974352 memory=27660 CPUtime=0.1 cores=0,2,4,6
/proc/8111/stat : 8111 (java) S 8109 8109 17292 0 -1 1077944320 5327 0 0 0 10 0 0 0 20 0 15 0 19305769 14309736448 6915 18446744073709551615 4194304 4196468 140729983386464 140729983369008 140192502378231 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
/proc/8111/statm: 3493588 6915 2751 1 0 3482964 0
[pid=8111/tid=8112] ppid=8109 vsize=13974352 memory=7022364594140610616 CPUtime=0.08 cores=0,2,4,6
/proc/8111/task/8112/stat : 8112 (java) R 8109 8109 17292 0 -1 4202560 3482 0 0 0 8 0 0 0 20 0 15 0 19305769 14309736448 6915 18446744073709551615 4194304 4196468 140729983386464 140192506610224 140192483771965 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8113] ppid=8109 vsize=13974352 memory=4294977909 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8113/stat : 8113 (java) S 8109 8109 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19305770 14309736448 6915 18446744073709551615 4194304 4196468 140729983386464 140192436812048 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8114] ppid=8109 vsize=13974352 memory=140126168307444 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8114/stat : 8114 (java) S 8109 8109 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19305770 14309736448 6915 18446744073709551615 4194304 4196468 140729983386464 140192435759504 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8115] ppid=8109 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8115/stat : 8115 (java) S 8109 8109 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19305770 14309736448 6915 18446744073709551615 4194304 4196468 140729983386464 140192434706960 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8116] ppid=8109 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8116/stat : 8116 (java) S 8109 8109 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19305770 14309736448 6915 18446744073709551615 4194304 4196468 140729983386464 140192433654416 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8117] ppid=8109 vsize=13974352 memory=140126168090240 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8117/stat : 8117 (java) S 8109 8109 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19305771 14309736448 6915 18446744073709551615 4194304 4196468 140729983386464 140191980964336 140192502389378 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8118] ppid=8109 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8118/stat : 8118 (java) S 8109 8109 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 19305772 14309736448 6915 18446744073709551615 4194304 4196468 140729983386464 140191979910560 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8119] ppid=8109 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8119/stat : 8119 (java) S 8109 8109 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 19305772 14309736448 6915 18446744073709551615 4194304 4196468 140729983386464 140191978857968 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8120] ppid=8109 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8120/stat : 8120 (java) S 8109 8109 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19305774 14309736448 6915 18446744073709551615 4194304 4196468 140729983386464 140191977806544 140192502396827 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8121] ppid=8109 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8121/stat : 8121 (java) S 8109 8109 17292 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 19305774 14309736448 6915 18446744073709551615 4194304 4196468 140729983386464 140191976753136 140192502389378 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8122] ppid=8109 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8122/stat : 8122 (java) S 8109 8109 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19305774 14309736448 6915 18446744073709551615 4194304 4196468 140729983386464 140191975700592 140192502389378 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8123] ppid=8109 vsize=13974352 memory=140126168090240 CPUtime=0.01 cores=0,2,4,6
/proc/8111/task/8123/stat : 8123 (java) S 8109 8109 17292 0 -1 1077944384 239 0 0 0 1 0 0 0 20 0 15 0 19305774 14309736448 6915 18446744073709551615 4194304 4196468 140729983386464 140191974648048 140192502389378 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8124] ppid=8109 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8124/stat : 8124 (java) S 8109 8109 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19305775 14309736448 6915 18446744073709551615 4194304 4196468 140729983386464 140191973595744 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8125] ppid=8109 vsize=13974352 memory=140126168090240 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8125/stat : 8125 (java) S 8109 8109 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19305780 14309736448 6915 18446744073709551615 4194304 4196468 140729983386464 140191972543280 140192502389378 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29040 KiB

[startup+0.310164 s]*
/proc/loadavg: 2.01 1.84 1.87 5/211 8125
/proc/meminfo: memFree=31304172/32770624 swapFree=67108860/67108860
[pid=8109] ppid=8106 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8109/stat : 8109 (xcsp3-exec) S 8106 8109 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 19305761 9740288 345 18446744073709551615 4194304 5098028 140732236889376 140732236887480 139857390109308 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 10371072 140732236894585 140732236894790 140732236894790 140732236898283 0
/proc/8109/statm: 2378 345 289 221 0 87 0
[pid=8111] ppid=8109 vsize=13974352 memory=39536 CPUtime=0.3 cores=0,2,4,6
/proc/8111/stat : 8111 (java) S 8109 8109 17292 0 -1 1077944320 9084 0 0 0 28 2 0 0 20 0 15 0 19305769 14309736448 9884 18446744073709551615 4194304 4196468 140729983386464 140729983369008 140192502378231 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
/proc/8111/statm: 3493588 9884 2999 1 0 3482964 0
[pid=8111/tid=8112] ppid=8109 vsize=13974352 memory=6933928925625698159 CPUtime=0.18 cores=0,2,4,6
/proc/8111/task/8112/stat : 8112 (java) R 8109 8109 17292 0 -1 4202560 6272 0 0 0 16 2 0 0 20 0 15 0 19305769 14309736448 9884 18446744073709551615 4194304 4196468 140729983386464 140192506596320 140192502390166 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8113] ppid=8109 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8113/stat : 8113 (java) S 8109 8109 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19305770 14309736448 9884 18446744073709551615 4194304 4196468 140729983386464 140192436812048 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8114] ppid=8109 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8114/stat : 8114 (java) S 8109 8109 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19305770 14309736448 9884 18446744073709551615 4194304 4196468 140729983386464 140192435759504 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8115] ppid=8109 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8115/stat : 8115 (java) S 8109 8109 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19305770 14309736448 9884 18446744073709551615 4194304 4196468 140729983386464 140192434706960 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8116] ppid=8109 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8116/stat : 8116 (java) S 8109 8109 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19305770 14309736448 9884 18446744073709551615 4194304 4196468 140729983386464 140192433654416 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8117] ppid=8109 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8117/stat : 8117 (java) S 8109 8109 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19305771 14309736448 9884 18446744073709551615 4194304 4196468 140729983386464 140191980964336 140192502389378 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8118] ppid=8109 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8118/stat : 8118 (java) S 8109 8109 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 19305772 14309736448 9884 18446744073709551615 4194304 4196468 140729983386464 140191979910560 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8119] ppid=8109 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8119/stat : 8119 (java) S 8109 8109 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 19305772 14309736448 9884 18446744073709551615 4194304 4196468 140729983386464 140191978857968 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8120] ppid=8109 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8120/stat : 8120 (java) S 8109 8109 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19305774 14309736448 9884 18446744073709551615 4194304 4196468 140729983386464 140191977806544 140192502396827 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8121] ppid=8109 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/8111/task/8121/stat : 8121 (java) R 8109 8109 17292 0 -1 1077944384 352 0 0 0 1 0 0 0 20 0 15 0 19305774 14309736448 9884 18446744073709551615 4194304 4196468 140729983386464 140191976753136 140192502389378 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8122] ppid=8109 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/8111/task/8122/stat : 8122 (java) R 8109 8109 17292 0 -1 4202560 438 0 0 0 2 0 0 0 20 0 15 0 19305774 14309736448 9884 18446744073709551615 4194304 4196468 140729983386464 140191975700592 140192479916032 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8123] ppid=8109 vsize=13974352 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/8111/task/8123/stat : 8123 (java) R 8109 8109 17292 0 -1 4202560 726 0 0 0 6 0 0 0 20 0 15 0 19305774 14309736448 9884 18446744073709551615 4194304 4196468 140729983386464 140191974648048 140192481839761 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8124] ppid=8109 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8124/stat : 8124 (java) S 8109 8109 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19305775 14309736448 9884 18446744073709551615 4194304 4196468 140729983386464 140191973595744 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8125] ppid=8109 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8125/stat : 8125 (java) S 8109 8109 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19305780 14309736448 9884 18446744073709551615 4194304 4196468 140729983386464 140191972543280 140192502389378 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 40916 KiB

[startup+0.700907 s]
/proc/loadavg: 2.01 1.84 1.87 5/211 8125
/proc/meminfo: memFree=31292656/32770624 swapFree=67108860/67108860
[pid=8109] ppid=8106 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8109/stat : 8109 (xcsp3-exec) S 8106 8109 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 19305761 9740288 345 18446744073709551615 4194304 5098028 140732236889376 140732236887480 139857390109308 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 10371072 140732236894585 140732236894790 140732236894790 140732236898283 0
/proc/8109/statm: 2378 345 289 221 0 87 0
[pid=8111] ppid=8109 vsize=13980732 memory=66728 CPUtime=1.19 cores=0,2,4,6
/proc/8111/stat : 8111 (java) S 8109 8109 17292 0 -1 1077944320 13951 0 0 0 114 5 0 0 20 0 15 0 19305769 14316269568 16682 18446744073709551615 4194304 4196468 140729983386464 140729983369008 140192502378231 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
/proc/8111/statm: 3495183 16682 3175 1 0 3483476 0
[pid=8111/tid=8112] ppid=8109 vsize=13980732 memory=669 CPUtime=0.56 cores=0,2,4,6
/proc/8111/task/8112/stat : 8112 (java) R 8109 8109 17292 0 -1 4202560 9362 0 0 0 52 4 0 0 20 0 15 0 19305769 14316269568 16682 18446744073709551615 4194304 4196468 140729983386464 140192506617248 140192111527385 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8113] ppid=8109 vsize=13980732 memory=87 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8113/stat : 8113 (java) S 8109 8109 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19305770 14316269568 16682 18446744073709551615 4194304 4196468 140729983386464 140192436812048 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8114] ppid=8109 vsize=13980732 memory=82 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8114/stat : 8114 (java) S 8109 8109 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19305770 14316269568 16682 18446744073709551615 4194304 4196468 140729983386464 140192435759504 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8115] ppid=8109 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8115/stat : 8115 (java) S 8109 8109 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19305770 14316269568 16682 18446744073709551615 4194304 4196468 140729983386464 140192434706960 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8116] ppid=8109 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8116/stat : 8116 (java) S 8109 8109 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 19305770 14316269568 16682 18446744073709551615 4194304 4196468 140729983386464 140192433654416 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8117] ppid=8109 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8117/stat : 8117 (java) S 8109 8109 17292 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 19305771 14316269568 16682 18446744073709551615 4194304 4196468 140729983386464 140191980964336 140192502389378 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8118] ppid=8109 vsize=13980732 memory=2 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8118/stat : 8118 (java) S 8109 8109 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 19305772 14316269568 16682 18446744073709551615 4194304 4196468 140729983386464 140191979910560 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8119] ppid=8109 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8119/stat : 8119 (java) S 8109 8109 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 19305772 14316269568 16682 18446744073709551615 4194304 4196468 140729983386464 140191978857968 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8120] ppid=8109 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8120/stat : 8120 (java) S 8109 8109 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19305774 14316269568 16682 18446744073709551615 4194304 4196468 140729983386464 140191977806544 140192502396827 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8121] ppid=8109 vsize=13980732 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/8111/task/8121/stat : 8121 (java) R 8109 8109 17292 0 -1 4202560 856 0 0 0 14 0 0 0 20 0 15 0 19305774 14316269568 16682 18446744073709551615 4194304 4196468 140729983386464 140191976753136 140192481618135 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8122] ppid=8109 vsize=13980732 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/8111/task/8122/stat : 8122 (java) R 8109 8109 17292 0 -1 4202560 983 0 0 0 17 0 0 0 20 0 15 0 19305774 14316269568 16682 18446744073709551615 4194304 4196468 140729983386464 140191975689616 140192488396353 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8123] ppid=8109 vsize=13980732 memory=4 CPUtime=0.29 cores=0,2,4,6
/proc/8111/task/8123/stat : 8123 (java) R 8109 8109 17292 0 -1 1077944384 1443 0 0 0 29 0 0 0 20 0 15 0 19305774 14316269568 16682 18446744073709551615 4194304 4196468 140729983386464 140191974644000 140192502388437 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8124] ppid=8109 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8124/stat : 8124 (java) S 8109 8109 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19305775 14316269568 16682 18446744073709551615 4194304 4196468 140729983386464 140191973595744 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8125] ppid=8109 vsize=13980732 memory=3 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8125/stat : 8125 (java) S 8109 8109 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19305780 14316269568 16682 18446744073709551615 4194304 4196468 140729983386464 140191972543280 140192502389378 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 68108 KiB

[startup+1.50079 s]
/proc/loadavg: 2.17 1.87 1.88 5/211 8125
/proc/meminfo: memFree=31248664/32770624 swapFree=67108860/67108860
[pid=8109] ppid=8106 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8109/stat : 8109 (xcsp3-exec) S 8106 8109 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 19305761 9740288 345 18446744073709551615 4194304 5098028 140732236889376 140732236887480 139857390109308 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 10371072 140732236894585 140732236894790 140732236894790 140732236898283 0
/proc/8109/statm: 2378 345 289 221 0 87 0
[pid=8111] ppid=8109 vsize=13980732 memory=131528 CPUtime=3.72 cores=0,2,4,6
/proc/8111/stat : 8111 (java) S 8109 8109 17292 0 -1 1077944320 43448 0 0 0 363 9 0 0 20 0 15 0 19305769 14316269568 32882 18446744073709551615 4194304 4196468 140729983386464 140729983369008 140192502378231 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
/proc/8111/statm: 3495183 32882 3191 1 0 3483476 0
[pid=8111/tid=8112] ppid=8109 vsize=13980732 memory=0 CPUtime=1.35 cores=0,2,4,6
/proc/8111/task/8112/stat : 8112 (java) R 8109 8109 17292 0 -1 4202560 10108 0 0 0 131 4 0 0 20 0 15 0 19305769 14316269568 32882 18446744073709551615 4194304 4196468 140729983386464 140192506613264 140192115161066 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8113] ppid=8109 vsize=13980732 memory=6372432288770714986 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8113/stat : 8113 (java) S 8109 8109 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19305770 14316269568 32882 18446744073709551615 4194304 4196468 140729983386464 140192436812048 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8114] ppid=8109 vsize=13980732 memory=6440519447014887504 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8114/stat : 8114 (java) S 8109 8109 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19305770 14316269568 32882 18446744073709551615 4194304 4196468 140729983386464 140192435759504 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8115] ppid=8109 vsize=13980732 memory=280252119078048 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8115/stat : 8115 (java) S 8109 8109 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 19305770 14316269568 32882 18446744073709551615 4194304 4196468 140729983386464 140192434706960 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8116] ppid=8109 vsize=13980732 memory=4642197910265684584 CPUtime=0 cores=0,2,4,6

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

/proc/8111/task/8119/stat : 8119 (java) S 8109 8109 17292 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 19305772 14450487296 106547 18446744073709551615 4194304 4196468 140729983386464 140191978857984 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8120] ppid=8109 vsize=14111804 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8120/stat : 8120 (java) S 8109 8109 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19305774 14450487296 106547 18446744073709551615 4194304 4196468 140729983386464 140191977806544 140192502396827 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8121] ppid=8109 vsize=14111804 memory=432040 CPUtime=9.5 cores=0,2,4,6
/proc/8111/task/8121/stat : 8121 (java) S 8109 8109 17292 0 -1 1077944384 82201 0 0 0 942 8 0 0 20 0 15 0 19305774 14450487296 106547 18446744073709551615 4194304 4196468 140729983386464 140191976753136 140192502389378 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8122] ppid=8109 vsize=14111804 memory=703656 CPUtime=9.87 cores=0,2,4,6
/proc/8111/task/8122/stat : 8122 (java) S 8109 8109 17292 0 -1 1077944384 69199 0 0 0 978 9 0 0 20 0 15 0 19305774 14450487296 106547 18446744073709551615 4194304 4196468 140729983386464 140191975700592 140192502389378 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8123] ppid=8109 vsize=14111804 memory=1152 CPUtime=0.88 cores=0,2,4,6
/proc/8111/task/8123/stat : 8123 (java) S 8109 8109 17292 0 -1 1077944384 13495 0 0 0 87 1 0 0 20 0 15 0 19305774 14450487296 106547 18446744073709551615 4194304 4196468 140729983386464 140191974648048 140192502389378 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8124] ppid=8109 vsize=14111804 memory=431016 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8124/stat : 8124 (java) S 8109 8109 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19305775 14450487296 106547 18446744073709551615 4194304 4196468 140729983386464 140191973595744 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8125] ppid=8109 vsize=14111804 memory=5404 CPUtime=1.28 cores=0,2,4,6
/proc/8111/task/8125/stat : 8125 (java) S 8109 8109 17292 0 -1 1077944384 1377 0 0 0 66 62 0 0 20 0 15 0 19305780 14450487296 106547 18446744073709551615 4194304 4196468 140729983386464 140191972543280 140192502389378 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
Current children cumulated CPU time: 2397.2 s
Current children cumulated vsize: 14121316 KiB
Current children cumulated memory: 427568 KiB

[startup+2382.3 s]
/proc/loadavg: 1.49 1.63 1.62 6/211 8292
/proc/meminfo: memFree=30498592/32770624 swapFree=67108860/67108860
[pid=8109] ppid=8106 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8109/stat : 8109 (xcsp3-exec) S 8106 8109 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 19305761 9740288 345 18446744073709551615 4194304 5098028 140732236889376 140732236887480 139857390109308 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 10371072 140732236894585 140732236894790 140732236894790 140732236898283 0
/proc/8109/statm: 2378 345 289 221 0 87 0
[pid=8111] ppid=8109 vsize=14111804 memory=414148 CPUtime=2458.8 cores=0,2,4,6
/proc/8111/stat : 8111 (java) S 8109 8109 17292 0 -1 1077944320 306757 0 0 0 245660 220 0 0 20 0 15 0 19305769 14450487296 103537 18446744073709551615 4194304 4196468 140729983386464 140729983369008 140192502378231 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
/proc/8111/statm: 3527951 103537 3260 1 0 3516244 0
[pid=8111/tid=8112] ppid=8109 vsize=14111804 memory=417736 CPUtime=2359.11 cores=0,2,4,6
/proc/8111/task/8112/stat : 8112 (java) R 8109 8109 17292 0 -1 4202560 49863 0 0 0 235893 18 0 0 20 0 15 0 19305769 14450487296 103537 18446744073709551615 4194304 4196468 140729983386464 140192506617680 140192116205150 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8113] ppid=8109 vsize=14111804 memory=419276 CPUtime=18.96 cores=0,2,4,6
/proc/8111/task/8113/stat : 8113 (java) S 8109 8109 17292 0 -1 1077944384 12031 0 0 0 1868 28 0 0 20 0 15 0 19305770 14450487296 103537 18446744073709551615 4194304 4196468 140729983386464 140192436812048 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8114] ppid=8109 vsize=14111804 memory=417736 CPUtime=18.9 cores=0,2,4,6
/proc/8111/task/8114/stat : 8114 (java) S 8109 8109 17292 0 -1 1077944384 12329 0 0 0 1861 29 0 0 20 0 15 0 19305770 14450487296 103537 18446744073709551615 4194304 4196468 140729983386464 140192435759504 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8115] ppid=8109 vsize=14111804 memory=416712 CPUtime=18.92 cores=0,2,4,6
/proc/8111/task/8115/stat : 8115 (java) S 8109 8109 17292 0 -1 1077944384 11202 0 0 0 1863 29 0 0 20 0 15 0 19305770 14450487296 103537 18446744073709551615 4194304 4196468 140729983386464 140192434706960 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8116] ppid=8109 vsize=14111804 memory=1380 CPUtime=18.97 cores=0,2,4,6
/proc/8111/task/8116/stat : 8116 (java) S 8109 8109 17292 0 -1 1077944384 11505 0 0 0 1867 30 0 0 20 0 15 0 19305770 14450487296 103537 18446744073709551615 4194304 4196468 140729983386464 140192433654416 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8117] ppid=8109 vsize=14111804 memory=1380 CPUtime=2.28 cores=0,2,4,6
/proc/8111/task/8117/stat : 8117 (java) S 8109 8109 17292 0 -1 1077944384 42191 0 0 0 206 22 0 0 20 0 15 0 19305771 14450487296 103537 18446744073709551615 4194304 4196468 140729983386464 140191980964336 140192502389378 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8118] ppid=8109 vsize=14111804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8118/stat : 8118 (java) S 8109 8109 17292 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 19305772 14450487296 103537 18446744073709551615 4194304 4196468 140729983386464 140191979910624 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8119] ppid=8109 vsize=14111804 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8119/stat : 8119 (java) S 8109 8109 17292 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 19305772 14450487296 103537 18446744073709551615 4194304 4196468 140729983386464 140191978857984 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8120] ppid=8109 vsize=14111804 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8120/stat : 8120 (java) S 8109 8109 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19305774 14450487296 103537 18446744073709551615 4194304 4196468 140729983386464 140191977806544 140192502396827 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8121] ppid=8109 vsize=14111804 memory=4616 CPUtime=9.5 cores=0,2,4,6
/proc/8111/task/8121/stat : 8121 (java) S 8109 8109 17292 0 -1 1077944384 82203 0 0 0 942 8 0 0 20 0 15 0 19305774 14450487296 103537 18446744073709551615 4194304 4196468 140729983386464 140191976753136 140192502389378 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8122] ppid=8109 vsize=14111804 memory=1004 CPUtime=9.87 cores=0,2,4,6
/proc/8111/task/8122/stat : 8122 (java) S 8109 8109 17292 0 -1 1077944384 69201 0 0 0 978 9 0 0 20 0 15 0 19305774 14450487296 103537 18446744073709551615 4194304 4196468 140729983386464 140191975700592 140192502389378 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8123] ppid=8109 vsize=14111804 memory=414660 CPUtime=0.88 cores=0,2,4,6
/proc/8111/task/8123/stat : 8123 (java) S 8109 8109 17292 0 -1 1077944384 13497 0 0 0 87 1 0 0 20 0 15 0 19305774 14450487296 103537 18446744073709551615 4194304 4196468 140729983386464 140191974648048 140192502389378 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8124] ppid=8109 vsize=14111804 memory=4124 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8124/stat : 8124 (java) S 8109 8109 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19305775 14450487296 103537 18446744073709551615 4194304 4196468 140729983386464 140191973595744 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8125] ppid=8109 vsize=14111804 memory=1380 CPUtime=1.31 cores=0,2,4,6
/proc/8111/task/8125/stat : 8125 (java) S 8109 8109 17292 0 -1 1077944384 1381 0 0 0 67 64 0 0 20 0 15 0 19305780 14450487296 103537 18446744073709551615 4194304 4196468 140729983386464 140191972543280 140192502389378 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
Current children cumulated CPU time: 2458.8 s
Current children cumulated vsize: 14121316 KiB
Current children cumulated memory: 415528 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2442.11 s]
/proc/loadavg: 1.53 1.63 1.62 3/211 8372
/proc/meminfo: memFree=31011088/32770624 swapFree=67108860/67108860
[pid=8109] ppid=8106 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8109/stat : 8109 (xcsp3-exec) S 8106 8109 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 19305761 9740288 345 18446744073709551615 4194304 5098028 140732236889376 140732236887480 139857390109308 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 10371072 140732236894585 140732236894790 140732236894790 140732236898283 0
/proc/8109/statm: 2378 345 289 221 0 87 0
[pid=8111] ppid=8109 vsize=14111804 memory=407932 CPUtime=2520.01 cores=0,2,4,6
/proc/8111/stat : 8111 (java) S 8109 8109 17292 0 -1 1077944320 309767 0 0 0 251776 225 0 0 20 0 15 0 19305769 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140729983369008 140192502378231 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
/proc/8111/statm: 3527951 101983 3260 1 0 3516244 0
[pid=8111/tid=8112] ppid=8109 vsize=14111804 memory=408432 CPUtime=2418.32 cores=0,2,4,6
/proc/8111/task/8112/stat : 8112 (java) R 8109 8109 17292 0 -1 4202560 51692 0 0 0 241814 18 0 0 20 0 15 0 19305769 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140192506617680 140192116204969 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8113] ppid=8109 vsize=14111804 memory=412380 CPUtime=19.43 cores=0,2,4,6
/proc/8111/task/8113/stat : 8113 (java) S 8109 8109 17292 0 -1 1077944384 12231 0 0 0 1915 28 0 0 20 0 15 0 19305770 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140192436812048 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8114] ppid=8109 vsize=14111804 memory=1380 CPUtime=19.37 cores=0,2,4,6
/proc/8111/task/8114/stat : 8114 (java) S 8109 8109 17292 0 -1 1077944384 12489 0 0 0 1908 29 0 0 20 0 15 0 19305770 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140192435759504 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8115] ppid=8109 vsize=14111804 memory=413408 CPUtime=19.39 cores=0,2,4,6
/proc/8111/task/8115/stat : 8115 (java) S 8109 8109 17292 0 -1 1077944384 11317 0 0 0 1910 29 0 0 20 0 15 0 19305770 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140192434706960 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8116] ppid=8109 vsize=14111804 memory=412380 CPUtime=19.44 cores=0,2,4,6
/proc/8111/task/8116/stat : 8116 (java) S 8109 8109 17292 0 -1 1077944384 11946 0 0 0 1914 30 0 0 20 0 15 0 19305770 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140192433654416 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8117] ppid=8109 vsize=14111804 memory=410328 CPUtime=2.34 cores=0,2,4,6
/proc/8111/task/8117/stat : 8117 (java) S 8109 8109 17292 0 -1 1077944384 42414 0 0 0 212 22 0 0 20 0 15 0 19305771 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140191980964336 140192502389378 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8118] ppid=8109 vsize=14111804 memory=408432 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8118/stat : 8118 (java) S 8109 8109 17292 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 19305772 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140191979910624 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8119] ppid=8109 vsize=14111804 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8119/stat : 8119 (java) S 8109 8109 17292 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 19305772 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140191978857984 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8120] ppid=8109 vsize=14111804 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8120/stat : 8120 (java) S 8109 8109 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19305774 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140191977806544 140192502396827 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8121] ppid=8109 vsize=14111804 memory=1380 CPUtime=9.5 cores=0,2,4,6
/proc/8111/task/8121/stat : 8121 (java) S 8109 8109 17292 0 -1 1077944384 82205 0 0 0 942 8 0 0 20 0 15 0 19305774 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140191976753136 140192502389378 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8122] ppid=8109 vsize=14111804 memory=7680170660397595203 CPUtime=9.87 cores=0,2,4,6
/proc/8111/task/8122/stat : 8122 (java) S 8109 8109 17292 0 -1 1077944384 69203 0 0 0 978 9 0 0 20 0 15 0 19305774 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140191975700592 140192502389378 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8123] ppid=8109 vsize=14111804 memory=2244 CPUtime=0.88 cores=0,2,4,6
/proc/8111/task/8123/stat : 8123 (java) S 8109 8109 17292 0 -1 1077944384 13499 0 0 0 87 1 0 0 20 0 15 0 19305774 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140191974648048 140192502389378 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8124] ppid=8109 vsize=14111804 memory=-8634980985311628903 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8124/stat : 8124 (java) S 8109 8109 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19305775 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140191973595744 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8125] ppid=8109 vsize=14111804 memory=7100839878645619564 CPUtime=1.34 cores=0,2,4,6
/proc/8111/task/8125/stat : 8125 (java) S 8109 8109 17292 0 -1 1077944384 1417 0 0 0 68 66 0 0 20 0 15 0 19305780 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140191972543280 140192502389378 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 14121316 KiB
Current children cumulated memory: 409312 KiB

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

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

[startup+2442.23 s]
# the end of solver process 8111 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.88 s, system=2.25749 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

[startup+2442.11 s]
/proc/loadavg: 1.53 1.63 1.62 3/211 8372
/proc/meminfo: memFree=31011088/32770624 swapFree=67108860/67108860
[pid=8109] ppid=8106 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8109/stat : 8109 (xcsp3-exec) S 8106 8109 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 19305761 9740288 345 18446744073709551615 4194304 5098028 140732236889376 140732236887480 139857390109308 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 7 0 0 7196144 7232144 10371072 140732236894585 140732236894790 140732236894790 140732236898283 0
/proc/8109/statm: 2378 345 289 221 0 87 0
[pid=8111] ppid=8109 vsize=14111804 memory=407932 CPUtime=2520.01 cores=0,2,4,6
/proc/8111/stat : 8111 (java) S 8109 8109 17292 0 -1 1077944320 309767 0 0 0 251776 225 0 0 20 0 15 0 19305769 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140729983369008 140192502378231 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
/proc/8111/statm: 3527951 101983 3260 1 0 3516244 0
[pid=8111/tid=8112] ppid=8109 vsize=14111804 memory=408432 CPUtime=2418.32 cores=0,2,4,6
/proc/8111/task/8112/stat : 8112 (java) R 8109 8109 17292 0 -1 4202560 51692 0 0 0 241814 18 0 0 20 0 15 0 19305769 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140192506617680 140192116204969 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8113] ppid=8109 vsize=14111804 memory=412380 CPUtime=19.43 cores=0,2,4,6
/proc/8111/task/8113/stat : 8113 (java) S 8109 8109 17292 0 -1 1077944384 12231 0 0 0 1915 28 0 0 20 0 15 0 19305770 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140192436812048 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8114] ppid=8109 vsize=14111804 memory=1380 CPUtime=19.37 cores=0,2,4,6
/proc/8111/task/8114/stat : 8114 (java) S 8109 8109 17292 0 -1 1077944384 12489 0 0 0 1908 29 0 0 20 0 15 0 19305770 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140192435759504 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8115] ppid=8109 vsize=14111804 memory=413408 CPUtime=19.39 cores=0,2,4,6
/proc/8111/task/8115/stat : 8115 (java) S 8109 8109 17292 0 -1 1077944384 11317 0 0 0 1910 29 0 0 20 0 15 0 19305770 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140192434706960 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8116] ppid=8109 vsize=14111804 memory=412380 CPUtime=19.44 cores=0,2,4,6
/proc/8111/task/8116/stat : 8116 (java) S 8109 8109 17292 0 -1 1077944384 11946 0 0 0 1914 30 0 0 20 0 15 0 19305770 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140192433654416 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8117] ppid=8109 vsize=14111804 memory=410328 CPUtime=2.34 cores=0,2,4,6
/proc/8111/task/8117/stat : 8117 (java) S 8109 8109 17292 0 -1 1077944384 42414 0 0 0 212 22 0 0 20 0 15 0 19305771 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140191980964336 140192502389378 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8118] ppid=8109 vsize=14111804 memory=408432 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8118/stat : 8118 (java) S 8109 8109 17292 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 19305772 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140191979910624 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8119] ppid=8109 vsize=14111804 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8119/stat : 8119 (java) S 8109 8109 17292 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 19305772 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140191978857984 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8120] ppid=8109 vsize=14111804 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8120/stat : 8120 (java) S 8109 8109 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19305774 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140191977806544 140192502396827 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8121] ppid=8109 vsize=14111804 memory=1380 CPUtime=9.5 cores=0,2,4,6
/proc/8111/task/8121/stat : 8121 (java) S 8109 8109 17292 0 -1 1077944384 82205 0 0 0 942 8 0 0 20 0 15 0 19305774 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140191976753136 140192502389378 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8122] ppid=8109 vsize=14111804 memory=7680170660397595203 CPUtime=9.87 cores=0,2,4,6
/proc/8111/task/8122/stat : 8122 (java) S 8109 8109 17292 0 -1 1077944384 69203 0 0 0 978 9 0 0 20 0 15 0 19305774 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140191975700592 140192502389378 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8123] ppid=8109 vsize=14111804 memory=2244 CPUtime=0.88 cores=0,2,4,6
/proc/8111/task/8123/stat : 8123 (java) S 8109 8109 17292 0 -1 1077944384 13499 0 0 0 87 1 0 0 20 0 15 0 19305774 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140191974648048 140192502389378 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8124] ppid=8109 vsize=14111804 memory=-8634980985311628903 CPUtime=0 cores=0,2,4,6
/proc/8111/task/8124/stat : 8124 (java) S 8109 8109 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 19305775 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140191973595744 140192502388437 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
[pid=8111/tid=8125] ppid=8109 vsize=14111804 memory=7100839878645619564 CPUtime=1.34 cores=0,2,4,6
/proc/8111/task/8125/stat : 8125 (java) S 8109 8109 17292 0 -1 1077944384 1417 0 0 0 68 66 0 0 20 0 15 0 19305780 14450487296 101983 18446744073709551615 4194304 4196468 140729983386464 140191972543280 140192502389378 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140729983390130 140729983390306 140729983390306 140729983393743 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 14121316 KiB
Current children cumulated memory: 409312 KiB

Child status: 143
Real time (s): 2442.23
CPU time (s): 2520.14
CPU user time (s): 2517.88
CPU system time (s): 2.25749
CPU usage (%): 103.19
Max. virtual memory (cumulated for all children) (KiB): 14121316
Max. memory (cumulated for all children) (KiB): 644600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.88
system time used= 2.25749
maximum resident set size= 644060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 310587
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105191
involuntary context switches= 5724


# summary of solver processes directly reported to runsolver:
#   pid: 8109,8111
#   total CPU time (s): 2520.14
#   total CPU user time (s): 2517.88
#   total CPU system time (s): 2.25749

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6102 second user time and 22.2354 second system time

The end

Launcher Data

Begin job on node129 at 2017-08-20 07:48:49
IDJOB=4283469
IDBENCH=128351
IDSOLVER=2679
FILE ID=node129/4283469-1503208967
RUNJOBID= node129-1503171914-32555
PBS_JOBID= 
Free space on /tmp= 62008 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j60/Rcpsp-j60-13-09.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4283469-1503208967/watcher-4283469-1503208967 -o /tmp/evaluation-result-4283469-1503208967/solver-4283469-1503208967 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1503171914-32555 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1129372913 HOME/instance-4283469-1503208967.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 19b417ad6dc2829e4bf67cafab0f775d
RANDOM SEED=1129372913

node129.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.73
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.73
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.73
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.73
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:        31331824 kB
MemAvailable:   31646968 kB
Buffers:          202100 kB
Cached:           401716 kB
SwapCached:            0 kB
Active:           634092 kB
Inactive:         398836 kB
Active(anon):     429456 kB
Inactive(anon):    16744 kB
Active(file):     204636 kB
Inactive(file):   382092 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7848 kB
Writeback:             0 kB
AnonPages:        440856 kB
Mapped:            45940 kB
Shmem:             17060 kB
Slab:             113296 kB
SReclaimable:      88504 kB
SUnreclaim:        24792 kB
KernelStack:        3712 kB
PageTables:         5304 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1662812 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    329728 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 62000 MiB
End job on node129 at 2017-08-20 08:29:31