Trace number 4255243

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-07-26)SAT (TO)137 259.20999 240.00999

General information on the benchmark

NameRcpsp/Rcpsp-m1-j90/
Rcpsp-j90-09-06.xml
MD5SUM6fbeb4485160aba6959a0a0fc5f330c5
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark126
Best CPU time to get the best result obtained on this benchmark251.89999
Satisfiable
(Un)Satisfiability was proved
Number of variables92
Number of constraints142
Number of domains2
Minimum domain size1
Maximum domain size507
Distribution of domain sizes[{"size":1,"count":1},{"size":507,"count":91}]
Minimum variable degree3
Maximum variable degree8
Distribution of variable degrees[{"degree":3,"count":3},{"degree":4,"count":9},{"degree":5,"count":16},{"degree":6,"count":36},{"degree":7,"count":17},{"degree":8,"count":11}]
Minimum constraint arity2
Maximum constraint arity72
Distribution of constraint arities[{"arity":2,"count":138},{"arity":63,"count":1},{"arity":67,"count":1},{"arity":69,"count":1},{"arity":72,"count":1}]
Number of extensional constraints0
Number of intensional constraints138
Distribution of constraint types[{"type":"intension","count":138},{"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.10	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4255243-1501621185.xml"  -tl '264s' -p 1 -x 3
0.00/0.30	c [HOME/instance-4255243-1501621185.xml, -tl, 264s, -p, 1, -x, 3]
0.00/0.36	c simple solver
0.00/0.42	c parse instance...
0.00/0.69	c solve instance...
2.34/1.15	o 506 
3.54/1.51	o 505 
4.14/1.74	o 504 
5.05/2.02	o 503 
5.67/2.24	o 502 
6.26/2.44	o 501 
6.56/2.56	o 500 
7.16/2.72	o 499 
7.77/2.90	o 498 
8.07/3.05	o 497 
8.68/3.23	o 496 
9.00/3.37	o 495 
9.30/3.49	o 494 
9.89/3.64	o 493 
10.49/3.80	o 492 
10.79/3.94	o 491 
11.09/4.07	o 490 
11.69/4.21	o 489 
11.99/4.33	o 488 
12.31/4.46	o 487 
12.61/4.52	o 486 
12.89/4.61	o 485 
12.89/4.69	o 484 
13.20/4.77	o 483 
13.50/4.85	o 482 
13.80/4.93	o 481 
14.10/5.01	o 480 
14.10/5.06	o 479 
14.10/5.10	o 478 
14.25/5.17	o 477 
14.40/5.24	o 476 
14.53/5.30	o 475 
14.53/5.36	o 474 
14.63/5.43	o 473 
14.74/5.50	o 472 
14.74/5.57	o 471 
14.84/5.63	o 470 
14.84/5.69	o 469 
14.95/5.75	o 468 
15.19/5.81	o 467 
15.19/5.88	o 466 
15.29/5.94	o 465 
15.40/6.00	o 464 
15.40/6.06	o 463 
15.51/6.13	o 462 
15.51/6.19	o 461 
15.62/6.24	o 460 
15.73/6.30	o 459 
15.73/6.37	o 458 
15.83/6.41	o 457 
15.83/6.45	o 456 
15.93/6.50	o 455 
15.93/6.55	o 454 
16.04/6.61	o 453 
16.04/6.67	o 452 
16.14/6.71	o 451 
16.14/6.76	o 450 
16.24/6.82	o 449 
16.24/6.89	o 448 
16.34/6.95	o 447 
16.44/7.02	o 446 
16.44/7.09	o 445 
16.54/7.13	o 444 
16.54/7.18	o 443 
16.65/7.23	o 442 
16.75/7.31	o 441 
16.75/7.34	o 440 
16.85/7.40	o 439 
16.85/7.47	o 438 
16.96/7.52	o 437 
16.96/7.57	o 436 
17.06/7.63	o 435 
17.06/7.67	o 434 
17.17/7.73	o 433 
17.17/7.79	o 432 
17.27/7.85	o 431 
17.36/7.93	o 430 
17.36/7.99	o 429 
17.47/8.07	o 428 
17.57/8.13	o 427 
17.57/8.19	o 426 
17.67/8.26	o 425 
17.77/8.32	o 424 
17.77/8.39	o 423 
17.87/8.42	o 422 
17.87/8.49	o 421 
17.99/8.55	o 420 
17.99/8.60	o 419 
18.10/8.66	o 418 
18.20/8.71	o 417 
18.20/8.78	o 416 
18.30/8.84	o 415 
18.30/8.90	o 414 
18.41/8.97	o 413 
18.51/9.04	o 412 
18.61/9.10	o 411 
18.61/9.16	o 410 
18.71/9.21	o 409 
18.71/9.28	o 408 
18.82/9.34	o 407 
18.92/9.40	o 406 
18.92/9.46	o 405 
19.04/9.51	o 404 
19.04/9.57	o 403 
19.16/9.63	o 402 
19.26/9.70	o 401 
19.26/9.76	o 400 
19.36/9.81	o 399 
19.36/9.87	o 398 
19.47/9.94	o 397 
19.47/10.00	o 396 
19.57/10.07	o 395 
19.67/10.13	o 394 
19.67/10.19	o 393 
19.77/10.26	o 392 
19.88/10.31	o 391 
19.88/10.35	o 390 
19.98/10.41	o 389 
19.98/10.46	o 388 
20.09/10.53	o 387 
20.09/10.60	o 386 
20.21/10.66	o 385 
20.31/10.73	o 384 
20.31/10.79	o 383 
20.41/10.86	o 382 
20.51/10.93	o 381 
20.51/10.98	o 380 
20.62/11.04	o 379 
20.62/11.10	o 378 
20.72/11.16	o 377 
20.82/11.23	o 376 
20.92/11.30	o 375 
20.92/11.37	o 374 
21.03/11.44	o 373 
21.13/11.50	o 372 
21.13/11.56	o 371 
21.23/11.60	o 370 
21.23/11.66	o 369 
21.34/11.73	o 368 
21.34/11.78	o 367 
21.44/11.85	o 366 
21.54/11.90	o 365 
21.54/11.95	o 364 
21.64/12.01	o 363 
21.64/12.08	o 362 
21.74/12.12	o 361 
21.74/12.17	o 360 
21.84/12.21	o 359 
21.84/12.27	o 358 
21.94/12.34	o 357 
22.04/12.40	o 356 
22.04/12.46	o 355 
22.14/12.52	o 354 
22.14/12.57	o 353 
22.78/12.83	o 352 
22.78/12.88	o 351 
23.08/12.93	o 350 
23.08/12.97	o 349 
23.22/13.02	o 348 
23.22/13.06	o 347 
23.39/13.12	o 346 
23.39/13.17	o 345 
23.50/13.22	o 344 
23.50/13.26	o 343 
23.66/13.30	o 342 
23.66/13.34	o 341 
23.76/13.41	o 340 
23.76/13.45	o 339 
23.88/13.50	o 338 
23.88/13.55	o 337 
23.88/13.59	o 336 
24.05/13.64	o 335 
24.15/13.70	o 334 
24.15/13.75	o 333 
24.25/13.81	o 332 
24.25/13.88	o 331 
24.36/13.94	o 330 
24.36/13.98	o 329 
24.47/14.03	o 328 
24.47/14.08	o 327 
24.57/14.12	o 326 
24.57/14.18	o 325 
24.71/14.23	o 324 
24.71/14.27	o 323 
24.87/14.33	o 322 
24.87/14.38	o 321 
24.97/14.42	o 320 
24.97/14.46	o 319 
25.10/14.52	o 318 
25.10/14.58	o 317 
25.20/14.62	o 316 
25.20/14.67	o 315 
25.32/14.71	o 314 
25.32/14.77	o 313 
25.43/14.82	o 312 
25.43/14.86	o 311 
25.53/14.91	o 310 
25.53/14.95	o 309 
25.63/15.00	o 308 
25.63/15.04	o 307 
25.73/15.10	o 306 
25.73/15.15	o 305 
25.83/15.21	o 304 
25.83/15.26	o 303 
25.93/15.30	o 302 
25.93/15.35	o 301 
25.93/15.40	o 300 
26.03/15.43	o 299 
26.03/15.48	o 298 
26.14/15.52	o 297 
26.14/15.56	o 296 
26.23/15.60	o 295 
26.23/15.65	o 294 
26.23/15.69	o 293 
26.35/15.74	o 292 
26.49/15.80	o 291 
26.49/15.84	o 290 
26.49/15.89	o 289 
26.59/15.93	o 288 
26.59/15.98	o 287 
26.70/16.02	o 286 
26.70/16.07	o 285 
26.80/16.11	o 284 
26.80/16.17	o 283 
26.90/16.23	o 282 
26.90/16.27	o 281 
27.00/16.32	o 280 
27.00/16.36	o 279 
27.11/16.41	o 278 
27.11/16.46	o 277 
27.11/16.50	o 276 
27.26/16.57	o 275 
27.36/16.61	o 274 
27.36/16.67	o 273 
27.46/16.72	o 272 
27.46/16.76	o 271 
27.58/16.80	o 270 
27.58/16.85	o 269 
27.58/16.89	o 268 
27.70/16.94	o 267 
27.70/16.98	o 266 
27.80/17.02	o 265 
27.80/17.06	o 264 
27.90/17.11	o 263 
27.90/17.17	o 262 
28.00/17.21	o 261 
28.00/17.26	o 260 
28.10/17.31	o 259 
28.10/17.36	o 258 
28.20/17.42	o 257 
28.20/17.47	o 256 
28.31/17.51	o 255 
28.31/17.56	o 254 
28.42/17.61	o 253 
28.42/17.65	o 252 
28.42/17.70	o 251 
28.52/17.74	o 250 
28.52/17.79	o 249 
28.62/17.83	o 248 
28.62/17.87	o 247 
28.72/17.93	o 246 
28.72/17.97	o 245 
28.82/18.04	o 244 
28.92/18.12	o 243 
29.04/18.21	o 242 
29.04/18.28	o 241 
29.14/18.35	o 240 
29.14/18.39	o 239 
29.24/18.45	o 238 
29.34/18.52	o 237 
29.34/18.58	o 236 
29.44/18.65	o 235 
29.55/18.71	o 234 
29.65/18.81	o 233 
29.65/18.88	o 232 
29.76/18.96	o 231 
29.86/19.03	o 230 
29.96/19.13	o 229 
29.96/19.19	o 228 
30.16/19.32	o 227 
30.26/19.42	o 226 
30.36/19.52	o 225 
30.46/19.63	o 224 
30.56/19.73	o 223 
30.67/19.82	o 222 
30.77/19.92	o 221 
30.86/20.01	o 220 
30.96/20.12	o 219 
31.06/20.27	o 218 
31.16/20.40	o 217 
31.36/20.55	o 216 
31.46/20.64	o 215 
31.66/20.81	o 214 
31.79/20.95	o 213 
31.89/21.09	o 212 
32.08/21.22	o 211 
32.19/21.35	o 210 
32.39/21.52	o 209 
32.49/21.67	o 208 
32.69/21.84	o 207 
32.89/22.01	o 206 
32.99/22.18	o 205 
33.19/22.35	o 204 
33.39/22.54	o 203 
33.59/22.71	o 202 
33.69/22.87	o 201 
33.89/23.04	o 200 
33.99/23.20	o 199 
34.19/23.37	o 198 
34.39/23.54	o 197 
34.49/23.69	o 196 
34.69/23.85	o 195 
38.22/26.12	o 142 
38.58/26.31	o 141 
38.58/26.39	o 140 
38.88/26.54	o 139 
50.39/36.31	o 137 
259.21/240.00	s SATISFIABLE
259.21/240.00	v <instantiation>
259.21/240.00	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] s[62] s[63] s[64] s[65] s[66] s[67] s[68] s[69] s[70] s[71] s[72] s[73] s[74] s[75] s[76] s[77] s[78] s[79] s[80] s[81] s[82] s[83] s[84] s[85] s[86] s[87] s[88] s[89] s[90] s[91] </list>
259.21/240.00	v 	<values>0 0 0 0 7 13 18 13 22 18 34 24 27 34 64 53 13 24 32 34 7 44 23 44 7 25 25 41 55 61 56 65 74 110 34 77 9 40 34 65 71 42 50 42 87 54 71 56 92 68 68 44 75 10 55 106 38 34 50 50 54 56 78 113 63 55 82 88 61 64 96 59 96 117 122 10 68 123 93 113 80 105 122 125 94 130 96 123 132 103 128 137 </values>
259.21/240.00	v </instantiation>
259.21/240.00	c Unexpected resolution interruption!

Verifier Data 

OK	137

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4255243-1501621185/watcher-4255243-1501621185 -o /tmp/evaluation-result-4255243-1501621185/solver-4255243-1501621185 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501616951-11514 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1748036323 HOME/instance-4255243-1501621185.xml 

pid=22308
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.98 2.00 1.93 3/199 22311
/proc/meminfo: memFree=31596628/32770624 swapFree=0/290456
[pid=22311] ppid=22308 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/22311/stat : 22311 (runsolver) D 22308 22311 5234 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 9624222 24240128 107 18446744073709551615 4194304 4338465 140737019761888 140737019759528 140069473800919 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 33509376 140737019764828 140737019765318 140737019765318 140737019768778 0
/proc/22311/statm: 5918 107 54 36 0 2156 0

[startup+0.100153 s]
/proc/loadavg: 1.98 2.00 1.93 3/199 22311
/proc/meminfo: memFree=31596628/32770624 swapFree=0/290456
[pid=22311] ppid=22308 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/22311/stat : 22311 (runsolver) D 22308 22311 5234 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 9624222 24240128 107 18446744073709551615 4194304 4338465 140737019761888 140737019759528 140069473800919 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 33509376 140737019764828 140737019765318 140737019765318 140737019768778 0
/proc/22311/statm: 5918 107 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672

[startup+0.200306 s]
/proc/loadavg: 1.98 2.00 1.93 3/199 22311
/proc/meminfo: memFree=31596628/32770624 swapFree=0/290456
[pid=22311] ppid=22308 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22311/stat : 22311 (xcsp3-exec) S 22308 22311 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9624222 9740288 345 18446744073709551615 4194304 5098028 140724194816272 140724194814376 139842037383804 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 10 0 0 7196144 7232144 17899520 140724194820507 140724194820711 140724194820711 140724194824171 0
/proc/22311/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.302712 s]
/proc/loadavg: 1.98 2.00 1.93 3/199 22311
/proc/meminfo: memFree=31596628/32770624 swapFree=0/290456
[pid=22311] ppid=22308 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22311/stat : 22311 (xcsp3-exec) S 22308 22311 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9624222 9740288 345 18446744073709551615 4194304 5098028 140724194816272 140724194814376 139842037383804 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 10 0 0 7196144 7232144 17899520 140724194820507 140724194820711 140724194820711 140724194824171 0
/proc/22311/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700168 s]
/proc/loadavg: 1.98 2.00 1.93 3/199 22311
/proc/meminfo: memFree=31596628/32770624 swapFree=0/290456
[pid=22311] ppid=22308 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22311/stat : 22311 (xcsp3-exec) S 22308 22311 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9624222 9740288 345 18446744073709551615 4194304 5098028 140724194816272 140724194814376 139842037383804 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 10 0 0 7196144 7232144 17899520 140724194820507 140724194820711 140724194820711 140724194824171 0
/proc/22311/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50108 s]
/proc/loadavg: 1.98 2.00 1.93 5/215 22327
/proc/meminfo: memFree=31506200/32770624 swapFree=0/290468
[pid=22311] ppid=22308 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22311/stat : 22311 (xcsp3-exec) S 22308 22311 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9624222 9740288 345 18446744073709551615 4194304 5098028 140724194816272 140724194814376 139842037383804 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 10 0 0 7196144 7232144 17899520 140724194820507 140724194820711 140724194820711 140724194824171 0
/proc/22311/statm: 2378 345 289 221 0 87 0
[pid=22313] ppid=22311 vsize=13984484 CPUtime=3.54 cores=0,2,4,6
/proc/22313/stat : 22313 (java) S 22311 22311 5234 0 -1 1077944320 40504 0 0 0 346 8 0 0 20 0 15 0 9624232 14320111616 31105 18446744073709551615 4194304 4196468 140727649124800 140727649107344 139777689571063 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
/proc/22313/statm: 3496121 31105 3175 1 0 3484422 0
[pid=22313/tid=22314] ppid=22311 vsize=13984484 CPUtime=1.32 cores=0,2,4,6
/proc/22313/task/22314/stat : 22314 (java) R 22311 22311 5234 0 -1 4202560 9090 0 0 0 128 4 0 0 20 0 15 0 9624232 14320111616 31105 18446744073709551615 4194304 4196468 140727649124800 139777693806712 139777311538432 0 4 1 16800974 0 0 0 -1 6 0 0 5 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22315] ppid=22311 vsize=13984484 CPUtime=0 cores=0,2,4,6
/proc/22313/task/22315/stat : 22315 (java) S 22311 22311 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9624233 14320111616 31105 18446744073709551615 4194304 4196468 140727649124800 139777631517712 139777689581269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22316] ppid=22311 vsize=13984484 CPUtime=0 cores=0,2,4,6
/proc/22313/task/22316/stat : 22316 (java) S 22311 22311 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9624233 14320111616 31105 18446744073709551615 4194304 4196468 140727649124800 139777288969360 139777689581269 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22317] ppid=22311 vsize=13984484 CPUtime=0 cores=0,2,4,6
/proc/22313/task/22317/stat : 22317 (java) S 22311 22311 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9624233 14320111616 31105 18446744073709551615 4194304 4196468 140727649124800 139777287916304 139777689581269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22318] ppid=22311 vsize=13984484 CPUtime=0 cores=0,2,4,6
/proc/22313/task/22318/stat : 22318 (java) S 22311 22311 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9624233 14320111616 31105 18446744073709551615 4194304 4196468 140727649124800 139777286863760 139777689581269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22319] ppid=22311 vsize=13984484 CPUtime=0 cores=0,2,4,6
/proc/22313/task/22319/stat : 22319 (java) S 22311 22311 5234 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9624234 14320111616 31171 18446744073709551615 4194304 4196468 140727649124800 139776807745776 139777689582210 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22320] ppid=22311 vsize=13984484 CPUtime=0 cores=0,2,4,6
/proc/22313/task/22320/stat : 22320 (java) S 22311 22311 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9624235 14320111616 31171 18446744073709551615 4194304 4196468 140727649124800 139776806692000 139777689581269 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22321] ppid=22311 vsize=13984484 CPUtime=0 cores=0,2,4,6
/proc/22313/task/22321/stat : 22321 (java) S 22311 22311 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9624235 14320111616 31171 18446744073709551615 4194304 4196468 140727649124800 139776805638896 139777689581269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22322] ppid=22311 vsize=13984484 CPUtime=0 cores=0,2,4,6
/proc/22313/task/22322/stat : 22322 (java) S 22311 22311 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9624237 14320111616 31171 18446744073709551615 4194304 4196468 140727649124800 139776804587472 139777689589659 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22323] ppid=22311 vsize=13984484 CPUtime=0.92 cores=0,2,4,6
/proc/22313/task/22323/stat : 22323 (java) R 22311 22311 5234 0 -1 4202560 15494 0 0 0 91 1 0 0 20 0 15 0 9624237 14320111616 31171 18446744073709551615 4194304 4196468 140727649124800 139776803528088 139777674451267 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22324] ppid=22311 vsize=13984484 CPUtime=0.89 cores=0,2,4,6
/proc/22313/task/22324/stat : 22324 (java) R 22311 22311 5234 0 -1 4202560 11859 0 0 0 88 1 0 0 20 0 15 0 9624237 14320111616 31171 18446744073709551615 4194304 4196468 140727649124800 139776802468936 139777671117800 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22325] ppid=22311 vsize=13984484 CPUtime=0.38 cores=0,2,4,6
/proc/22313/task/22325/stat : 22325 (java) S 22311 22311 5234 0 -1 1077944384 2822 0 0 0 37 1 0 0 20 0 15 0 9624238 14320111616 31171 18446744073709551615 4194304 4196468 140727649124800 139776801430000 139777689582210 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22326] ppid=22311 vsize=13984484 CPUtime=0 cores=0,2,4,6
/proc/22313/task/22326/stat : 22326 (java) S 22311 22311 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9624238 14320111616 31171 18446744073709551615 4194304 4196468 140727649124800 139776800377696 139777689581269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22327] ppid=22311 vsize=13984484 CPUtime=0 cores=0,2,4,6
/proc/22313/task/22327/stat : 22327 (java) S 22311 22311 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9624244 14320111616 31171 18446744073709551615 4194304 4196468 140727649124800 139776799324720 139777689582210 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
Current children cumulated CPU time (s) 3.54
Current children cumulated vsize (KiB) 13993996

[startup+3.10067 s]
/proc/loadavg: 1.99 2.00 1.94 5/215 22327
/proc/meminfo: memFree=31462548/32770624 swapFree=0/290468
[pid=22311] ppid=22308 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22311/stat : 22311 (xcsp3-exec) S 22308 22311 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9624222 9740288 345 18446744073709551615 4194304 5098028 140724194816272 140724194814376 139842037383804 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 10 0 0 7196144 7232144 17899520 140724194820507 140724194820711 140724194820711 140724194824171 0
/proc/22311/statm: 2378 345 289 221 0 87 0
[pid=22313] ppid=22311 vsize=13980732 CPUtime=8.38 cores=0,2,4,6
/proc/22313/stat : 22313 (java) S 22311 22311 5234 0 -1 1077944320 48957 0 0 0 829 9 0 0 20 0 15 0 9624232 14316269568 37042 18446744073709551615 4194304 4196468 140727649124800 140727649107344 139777689571063 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
/proc/22313/statm: 3495183 37042 3178 1 0 3483484 0
[pid=22313/tid=22314] ppid=22311 vsize=13980732 CPUtime=2.92 cores=0,2,4,6
/proc/22313/task/22314/stat : 22314 (java) R 22311 22311 5234 0 -1 4202560 9765 0 0 0 288 4 0 0 20 0 15 0 9624232 14316269568 37042 18446744073709551615 4194304 4196468 140727649124800 139777693802320 139777681804928 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22315] ppid=22311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22313/task/22315/stat : 22315 (java) S 22311 22311 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9624233 14316269568 37042 18446744073709551615 4194304 4196468 140727649124800 139777631517712 139777689581269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22316] ppid=22311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22313/task/22316/stat : 22316 (java) S 22311 22311 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9624233 14316269568 37042 18446744073709551615 4194304 4196468 140727649124800 139777288969360 139777689581269 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22317] ppid=22311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22313/task/22317/stat : 22317 (java) S 22311 22311 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9624233 14316269568 37042 18446744073709551615 4194304 4196468 140727649124800 139777287916304 139777689581269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22318] ppid=22311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22313/task/22318/stat : 22318 (java) S 22311 22311 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9624233 14316269568 37042 18446744073709551615 4194304 4196468 140727649124800 139777286863760 139777689581269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22319] ppid=22311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22313/task/22319/stat : 22319 (java) S 22311 22311 5234 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 9624234 14316269568 37042 18446744073709551615 4194304 4196468 140727649124800 139776807745776 139777689582210 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22320] ppid=22311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22313/task/22320/stat : 22320 (java) S 22311 22311 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9624235 14316269568 37042 18446744073709551615 4194304 4196468 140727649124800 139776806692000 139777689581269 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22321] ppid=22311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22313/task/22321/stat : 22321 (java) S 22311 22311 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9624235 14316269568 37042 18446744073709551615 4194304 4196468 140727649124800 139776805638896 139777689581269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22322] ppid=22311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22313/task/22322/stat : 22322 (java) S 22311 22311 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9624237 14316269568 37042 18446744073709551615 4194304 4196468 140727649124800 139776804587472 139777689589659 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22323] ppid=22311 vsize=13980732 CPUtime=2.52 cores=0,2,4,6
/proc/22313/task/22323/stat : 22323 (java) R 22311 22311 5234 0 -1 4202560 19030 0 0 0 250 2 0 0 20 0 15 0 9624237 14316269568 37042 18446744073709551615 4194304 4196468 140727649124800 139776803521760 139777673963050 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22324] ppid=22311 vsize=13980732 CPUtime=2.49 cores=0,2,4,6
/proc/22313/task/22324/stat : 22324 (java) R 22311 22311 5234 0 -1 4202560 15704 0 0 0 248 1 0 0 20 0 15 0 9624237 14316269568 37042 18446744073709551615 4194304 4196468 140727649124800 139776802469216 139777674680629 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22325] ppid=22311 vsize=13980732 CPUtime=0.42 cores=0,2,4,6
/proc/22313/task/22325/stat : 22325 (java) S 22311 22311 5234 0 -1 1077944384 3100 0 0 0 41 1 0 0 20 0 15 0 9624238 14316269568 37042 18446744073709551615 4194304 4196468 140727649124800 139776801430000 139777689582210 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22326] ppid=22311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22313/task/22326/stat : 22326 (java) S 22311 22311 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9624238 14316269568 37042 18446744073709551615 4194304 4196468 140727649124800 139776800377696 139777689581269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22327] ppid=22311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22313/task/22327/stat : 22327 (java) S 22311 22311 5234 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 9624244 14316269568 37042 18446744073709551615 4194304 4196468 140727649124800 139776799324720 139777689582210 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
Current children cumulated CPU time (s) 8.38
Current children cumulated vsize (KiB) 13990244

[startup+6.30062 s]
/proc/loadavg: 1.99 2.00 1.94 5/216 22407
/proc/meminfo: memFree=31620004/32770624 swapFree=0/290508
[pid=22311] ppid=22308 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22311/stat : 22311 (xcsp3-exec) S 22308 22311 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9624222 9740288 345 18446744073709551615 4194304 5098028 140724194816272 140724194814376 139842037383804 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 10 0 0 7196144 7232144 17899520 140724194820507 140724194820711 140724194820711 140724194824171 0
/proc/22311/statm: 2378 345 289 221 0 87 0
[pid=22313] ppid=22311 vsize=13980732 CPUtime=15.73 cores=0,2,4,6
/proc/22313/stat : 22313 (java) S 22311 22311 5234 0 -1 1077944320 69230 0 0 0 1561 12 0 0 20 0 15 0 9624232 14316269568 35168 18446744073709551615 4194304 4196468 140727649124800 140727649107344 139777689571063 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
/proc/22313/statm: 3495183 35168 3194 1 0 3483484 0
[pid=22313/tid=22314] ppid=22311 vsize=13980732 CPUtime=6.11 cores=0,2,4,6
/proc/22313/task/22314/stat : 22314 (java) R 22311 22311 5234 0 -1 4202560 10304 0 0 0 607 4 0 0 20 0 15 0 9624232 14316269568 35168 18446744073709551615 4194304 4196468 140727649124800 139777693809704 139777317212021 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22315] ppid=22311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22313/task/22315/stat : 22315 (java) S 22311 22311 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9624233 14316269568 35168 18446744073709551615 4194304 4196468 140727649124800 139777631517712 139777689581269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22316] ppid=22311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22313/task/22316/stat : 22316 (java) S 22311 22311 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9624233 14316269568 35168 18446744073709551615 4194304 4196468 140727649124800 139777288969360 139777689581269 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22317] ppid=22311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22313/task/22317/stat : 22317 (java) S 22311 22311 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9624233 14316269568 35168 18446744073709551615 4194304 4196468 140727649124800 139777287916304 139777689581269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22318] ppid=22311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22313/task/22318/stat : 22318 (java) S 22311 22311 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9624233 14316269568 35168 18446744073709551615 4194304 4196468 140727649124800 139777286863760 139777689581269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22319] ppid=22311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22313/task/22319/stat : 22319 (java) S 22311 22311 5234 0 -1 1077944384 197 0 0 0 0 0 0 0 20 0 15 0 9624234 14316269568 35168 18446744073709551615 4194304 4196468 140727649124800 139776807745776 139777689582210 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22320] ppid=22311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22313/task/22320/stat : 22320 (java) S 22311 22311 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9624235 14316269568 35168 18446744073709551615 4194304 4196468 140727649124800 139776806692000 139777689581269 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22321] ppid=22311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22313/task/22321/stat : 22321 (java) S 22311 22311 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9624235 14316269568 35168 18446744073709551615 4194304 4196468 140727649124800 139776805638896 139777689581269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22322] ppid=22311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22313/task/22322/stat : 22322 (java) S 22311 22311 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9624237 14316269568 35168 18446744073709551615 4194304 4196468 140727649124800 139776804587472 139777689589659 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22323] ppid=22311 vsize=13980732 CPUtime=4.57 cores=0,2,4,6
/proc/22313/task/22323/stat : 22323 (java) S 22311 22311 5234 0 -1 1077944384 27741 0 0 0 454 3 0 0 20 0 15 0 9624237 14316269568 35168 18446744073709551615 4194304 4196468 140727649124800 139776803535600 139777689582210 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22324] ppid=22311 vsize=13980732 CPUtime=4.53 cores=0,2,4,6
/proc/22313/task/22324/stat : 22324 (java) S 22311 22311 5234 0 -1 1077944384 26074 0 0 0 451 2 0 0 20 0 15 0 9624237 14316269568 35168 18446744073709551615 4194304 4196468 140727649124800 139776802483056 139777689582210 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22325] ppid=22311 vsize=13980732 CPUtime=0.48 cores=0,2,4,6
/proc/22313/task/22325/stat : 22325 (java) S 22311 22311 5234 0 -1 1077944384 3436 0 0 0 47 1 0 0 20 0 15 0 9624238 14316269568 35168 18446744073709551615 4194304 4196468 140727649124800 139776801430000 139777689582210 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22326] ppid=22311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22313/task/22326/stat : 22326 (java) S 22311 22311 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9624238 14316269568 35168 18446744073709551615 4194304 4196468 140727649124800 139776800377696 139777689581269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22327] ppid=22311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22313/task/22327/stat : 22327 (java) S 22311 22311 5234 0 -1 1077944384 176 0 0 0 0 0 0 0 20 0 15 0 9624244 14316269568 35168 18446744073709551615 4194304 4196468 140727649124800 139776799324720 139777689582210 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
Current children cumulated CPU time (s) 15.73
Current children cumulated vsize (KiB) 13990244

[startup+12.7011 s]
/proc/loadavg: 1.98 2.00 1.94 3/216 22407
/proc/meminfo: memFree=31407628/32770624 swapFree=0/290516
[pid=22311] ppid=22308 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22311/stat : 22311 (xcsp3-exec) S 22308 22311 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9624222 9740288 345 18446744073709551615 4194304 5098028 140724194816272 140724194814376 139842037383804 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 10 0 0 7196144 7232144 17899520 140724194820507 140724194820711 140724194820711 140724194824171 0
/proc/22311/statm: 2378 345 289 221 0 87 0
[pid=22313] ppid=22311 vsize=13980732 CPUtime=22.46 cores=0,2,4,6
/proc/22313/stat : 22313 (java) S 22311 22311 5234 0 -1 1077944320 74466 0 0 0 2233 13 0 0 20 0 15 0 9624232 14316269568 38490 18446744073709551615 4194304 4196468 140727649124800 140727649107344 139777689571063 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
/proc/22313/statm: 3495183 38490 3198 1 0 3483484 0
[pid=22313/tid=22314] ppid=22311 vsize=13980732 CPUtime=12.51 cores=0,2,4,6
/proc/22313/task/22314/stat : 22314 (java) R 22311 22311 5234 0 -1 4202560 11348 0 0 0 1246 5 0 0 20 0 15 0 9624232 14316269568 38490 18446744073709551615 4194304 4196468 140727649124800 139777693809536 139777312642555 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22315] ppid=22311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22313/task/22315/stat : 22315 (java) S 22311 22311 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9624233 14316269568 38490 18446744073709551615 4194304 4196468 140727649124800 139777631517712 139777689581269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22316] ppid=22311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22313/task/22316/stat : 22316 (java) S 22311 22311 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9624233 14316269568 38490 18446744073709551615 4194304 4196468 140727649124800 139777288969360 139777689581269 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0

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

[pid=22313/tid=22320] ppid=22311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22313/task/22320/stat : 22320 (java) S 22311 22311 5234 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 9624235 14316269568 78958 18446744073709551615 4194304 4196468 140727649124800 139776806692064 139777689581269 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22321] ppid=22311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22313/task/22321/stat : 22321 (java) S 22311 22311 5234 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 9624235 14316269568 78958 18446744073709551615 4194304 4196468 140727649124800 139776805638912 139777689581269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22322] ppid=22311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22313/task/22322/stat : 22322 (java) S 22311 22311 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9624237 14316269568 78958 18446744073709551615 4194304 4196468 140727649124800 139776804587472 139777689589659 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22323] ppid=22311 vsize=13980732 CPUtime=7.57 cores=0,2,4,6
/proc/22313/task/22323/stat : 22323 (java) S 22311 22311 5234 0 -1 1077944384 39460 0 0 0 753 4 0 0 20 0 15 0 9624237 14316269568 78958 18446744073709551615 4194304 4196468 140727649124800 139776803535600 139777689582210 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22324] ppid=22311 vsize=13980732 CPUtime=7.07 cores=0,2,4,6
/proc/22313/task/22324/stat : 22324 (java) S 22311 22311 5234 0 -1 1077944384 34969 0 0 0 704 3 0 0 20 0 15 0 9624237 14316269568 78958 18446744073709551615 4194304 4196468 140727649124800 139776802483056 139777689582210 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22325] ppid=22311 vsize=13980732 CPUtime=0.81 cores=0,2,4,6
/proc/22313/task/22325/stat : 22325 (java) S 22311 22311 5234 0 -1 1077944384 7850 0 0 0 79 2 0 0 20 0 15 0 9624238 14316269568 78958 18446744073709551615 4194304 4196468 140727649124800 139776801430000 139777689582210 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22326] ppid=22311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22313/task/22326/stat : 22326 (java) S 22311 22311 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9624238 14316269568 78958 18446744073709551615 4194304 4196468 140727649124800 139776800377696 139777689581269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22327] ppid=22311 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/22313/task/22327/stat : 22327 (java) S 22311 22311 5234 0 -1 1077944384 1053 0 0 0 2 2 0 0 20 0 15 0 9624244 14316269568 78958 18446744073709551615 4194304 4196468 140727649124800 139776799324720 139777689582210 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
Current children cumulated CPU time (s) 118.67
Current children cumulated vsize (KiB) 13990244

[startup+162.301 s]
/proc/loadavg: 1.34 1.76 1.85 3/216 22412
/proc/meminfo: memFree=31034932/32770624 swapFree=0/290612
[pid=22311] ppid=22308 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22311/stat : 22311 (xcsp3-exec) S 22308 22311 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9624222 9740288 345 18446744073709551615 4194304 5098028 140724194816272 140724194814376 139842037383804 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 10 0 0 7196144 7232144 17899520 140724194820507 140724194820711 140724194820711 140724194824171 0
/proc/22311/statm: 2378 345 289 221 0 87 0
[pid=22313] ppid=22311 vsize=13980732 CPUtime=179.85 cores=0,2,4,6
/proc/22313/stat : 22313 (java) S 22311 22311 5234 0 -1 1077944320 109307 0 0 0 17936 49 0 0 20 0 15 0 9624232 14316269568 90579 18446744073709551615 4194304 4196468 140727649124800 140727649107344 139777689571063 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
/proc/22313/statm: 3495183 90579 3232 1 0 3483484 0
[pid=22313/tid=22314] ppid=22311 vsize=13980732 CPUtime=161.31 cores=0,2,4,6
/proc/22313/task/22314/stat : 22314 (java) R 22311 22311 5234 0 -1 4202560 16407 0 0 0 16124 7 0 0 20 0 15 0 9624232 14316269568 90579 18446744073709551615 4194304 4196468 140727649124800 139777693810240 139777322653935 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22315] ppid=22311 vsize=13980732 CPUtime=0.67 cores=0,2,4,6
/proc/22313/task/22315/stat : 22315 (java) S 22311 22311 5234 0 -1 1077944384 838 0 0 0 61 6 0 0 20 0 15 0 9624233 14316269568 90579 18446744073709551615 4194304 4196468 140727649124800 139777631517712 139777689581269 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22316] ppid=22311 vsize=13980732 CPUtime=0.67 cores=0,2,4,6
/proc/22313/task/22316/stat : 22316 (java) S 22311 22311 5234 0 -1 1077944384 1570 0 0 0 61 6 0 0 20 0 15 0 9624233 14316269568 90579 18446744073709551615 4194304 4196468 140727649124800 139777288969360 139777689581269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22317] ppid=22311 vsize=13980732 CPUtime=0.68 cores=0,2,4,6
/proc/22313/task/22317/stat : 22317 (java) S 22311 22311 5234 0 -1 1077944384 1093 0 0 0 61 7 0 0 20 0 15 0 9624233 14316269568 90579 18446744073709551615 4194304 4196468 140727649124800 139777287916304 139777689581269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22318] ppid=22311 vsize=13980732 CPUtime=0.68 cores=0,2,4,6
/proc/22313/task/22318/stat : 22318 (java) S 22311 22311 5234 0 -1 1077944384 904 0 0 0 62 6 0 0 20 0 15 0 9624233 14316269568 90579 18446744073709551615 4194304 4196468 140727649124800 139777286863760 139777689581269 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22319] ppid=22311 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/22313/task/22319/stat : 22319 (java) S 22311 22311 5234 0 -1 1077944384 1233 0 0 0 6 1 0 0 20 0 15 0 9624234 14316269568 90579 18446744073709551615 4194304 4196468 140727649124800 139776807745776 139777689582210 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22320] ppid=22311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22313/task/22320/stat : 22320 (java) S 22311 22311 5234 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 9624235 14316269568 90579 18446744073709551615 4194304 4196468 140727649124800 139776806692064 139777689581269 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22321] ppid=22311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22313/task/22321/stat : 22321 (java) S 22311 22311 5234 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 9624235 14316269568 90579 18446744073709551615 4194304 4196468 140727649124800 139776805638912 139777689581269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22322] ppid=22311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22313/task/22322/stat : 22322 (java) S 22311 22311 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9624237 14316269568 90579 18446744073709551615 4194304 4196468 140727649124800 139776804587472 139777689589659 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22323] ppid=22311 vsize=13980732 CPUtime=7.64 cores=0,2,4,6
/proc/22313/task/22323/stat : 22323 (java) S 22311 22311 5234 0 -1 1077944384 40397 0 0 0 760 4 0 0 20 0 15 0 9624237 14316269568 90579 18446744073709551615 4194304 4196468 140727649124800 139776803535600 139777689582210 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22324] ppid=22311 vsize=13980732 CPUtime=7.14 cores=0,2,4,6
/proc/22313/task/22324/stat : 22324 (java) S 22311 22311 5234 0 -1 1077944384 35400 0 0 0 711 3 0 0 20 0 15 0 9624237 14316269568 90579 18446744073709551615 4194304 4196468 140727649124800 139776802483056 139777689582210 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22325] ppid=22311 vsize=13980732 CPUtime=0.83 cores=0,2,4,6
/proc/22313/task/22325/stat : 22325 (java) S 22311 22311 5234 0 -1 1077944384 9015 0 0 0 81 2 0 0 20 0 15 0 9624238 14316269568 90579 18446744073709551615 4194304 4196468 140727649124800 139776801430000 139777689582210 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22326] ppid=22311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22313/task/22326/stat : 22326 (java) S 22311 22311 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9624238 14316269568 90579 18446744073709551615 4194304 4196468 140727649124800 139776800377696 139777689581269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22327] ppid=22311 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/22313/task/22327/stat : 22327 (java) S 22311 22311 5234 0 -1 1077944384 1075 0 0 0 3 4 0 0 20 0 15 0 9624244 14316269568 90579 18446744073709551615 4194304 4196468 140727649124800 139776799324720 139777689582210 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
Current children cumulated CPU time (s) 179.85
Current children cumulated vsize (KiB) 13990244

[startup+222.307 s]
/proc/loadavg: 1.33 1.68 1.82 3/216 22414
/proc/meminfo: memFree=31016784/32770624 swapFree=0/290632
[pid=22311] ppid=22308 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22311/stat : 22311 (xcsp3-exec) S 22308 22311 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9624222 9740288 345 18446744073709551615 4194304 5098028 140724194816272 140724194814376 139842037383804 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 10 0 0 7196144 7232144 17899520 140724194820507 140724194820711 140724194820711 140724194824171 0
/proc/22311/statm: 2378 345 289 221 0 87 0
[pid=22313] ppid=22311 vsize=13980732 CPUtime=241.19 cores=0,2,4,6
/proc/22313/stat : 22313 (java) S 22311 22311 5234 0 -1 1077944320 111151 0 0 0 24060 59 0 0 20 0 15 0 9624232 14316269568 109792 18446744073709551615 4194304 4196468 140727649124800 140727649107344 139777689571063 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
/proc/22313/statm: 3495183 109792 3232 1 0 3483484 0
[pid=22313/tid=22314] ppid=22311 vsize=13980732 CPUtime=220.86 cores=0,2,4,6
/proc/22313/task/22314/stat : 22314 (java) R 22311 22311 5234 0 -1 4202560 17090 0 0 0 22078 8 0 0 20 0 15 0 9624232 14316269568 109792 18446744073709551615 4194304 4196468 140727649124800 139777693810656 139777319948283 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22315] ppid=22311 vsize=13980732 CPUtime=1.09 cores=0,2,4,6
/proc/22313/task/22315/stat : 22315 (java) S 22311 22311 5234 0 -1 1077944384 1075 0 0 0 101 8 0 0 20 0 15 0 9624233 14316269568 109792 18446744073709551615 4194304 4196468 140727649124800 139777631517712 139777689581269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22316] ppid=22311 vsize=13980732 CPUtime=1.08 cores=0,2,4,6
/proc/22313/task/22316/stat : 22316 (java) S 22311 22311 5234 0 -1 1077944384 1736 0 0 0 100 8 0 0 20 0 15 0 9624233 14316269568 109792 18446744073709551615 4194304 4196468 140727649124800 139777288969360 139777689581269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22317] ppid=22311 vsize=13980732 CPUtime=1.09 cores=0,2,4,6
/proc/22313/task/22317/stat : 22317 (java) S 22311 22311 5234 0 -1 1077944384 1155 0 0 0 100 9 0 0 20 0 15 0 9624233 14316269568 109792 18446744073709551615 4194304 4196468 140727649124800 139777287916304 139777689581269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22318] ppid=22311 vsize=13980732 CPUtime=1.09 cores=0,2,4,6
/proc/22313/task/22318/stat : 22318 (java) S 22311 22311 5234 0 -1 1077944384 990 0 0 0 101 8 0 0 20 0 15 0 9624233 14316269568 109792 18446744073709551615 4194304 4196468 140727649124800 139777286863760 139777689581269 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22319] ppid=22311 vsize=13980732 CPUtime=0.1 cores=0,2,4,6
/proc/22313/task/22319/stat : 22319 (java) S 22311 22311 5234 0 -1 1077944384 1335 0 0 0 9 1 0 0 20 0 15 0 9624234 14316269568 109792 18446744073709551615 4194304 4196468 140727649124800 139776807745776 139777689582210 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22320] ppid=22311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22313/task/22320/stat : 22320 (java) S 22311 22311 5234 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 9624235 14316269568 109792 18446744073709551615 4194304 4196468 140727649124800 139776806692064 139777689581269 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22321] ppid=22311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22313/task/22321/stat : 22321 (java) S 22311 22311 5234 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 9624235 14316269568 109792 18446744073709551615 4194304 4196468 140727649124800 139776805638912 139777689581269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22322] ppid=22311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22313/task/22322/stat : 22322 (java) S 22311 22311 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9624237 14316269568 109792 18446744073709551615 4194304 4196468 140727649124800 139776804587472 139777689589659 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22323] ppid=22311 vsize=13980732 CPUtime=7.65 cores=0,2,4,6
/proc/22313/task/22323/stat : 22323 (java) S 22311 22311 5234 0 -1 1077944384 40406 0 0 0 761 4 0 0 20 0 15 0 9624237 14316269568 109792 18446744073709551615 4194304 4196468 140727649124800 139776803535600 139777689582210 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22324] ppid=22311 vsize=13980732 CPUtime=7.19 cores=0,2,4,6
/proc/22313/task/22324/stat : 22324 (java) S 22311 22311 5234 0 -1 1077944384 35799 0 0 0 716 3 0 0 20 0 15 0 9624237 14316269568 109792 18446744073709551615 4194304 4196468 140727649124800 139776802483056 139777689582210 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22325] ppid=22311 vsize=13980732 CPUtime=0.83 cores=0,2,4,6
/proc/22313/task/22325/stat : 22325 (java) S 22311 22311 5234 0 -1 1077944384 9099 0 0 0 81 2 0 0 20 0 15 0 9624238 14316269568 109792 18446744073709551615 4194304 4196468 140727649124800 139776801430000 139777689582210 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22326] ppid=22311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22313/task/22326/stat : 22326 (java) S 22311 22311 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9624238 14316269568 109792 18446744073709551615 4194304 4196468 140727649124800 139776800377696 139777689581269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22327] ppid=22311 vsize=13980732 CPUtime=0.1 cores=0,2,4,6
/proc/22313/task/22327/stat : 22327 (java) S 22311 22311 5234 0 -1 1077944384 1091 0 0 0 5 5 0 0 20 0 15 0 9624244 14316269568 109792 18446744073709551615 4194304 4196468 140727649124800 139776799324720 139777689582210 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
Current children cumulated CPU time (s) 241.19
Current children cumulated vsize (KiB) 13990244



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.41 1.68 1.82 3/216 22414
/proc/meminfo: memFree=30996580/32770624 swapFree=0/290636
[pid=22311] ppid=22308 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/22311/stat : 22311 (xcsp3-exec) S 22308 22311 5234 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9624222 9740288 345 18446744073709551615 4194304 5098028 140724194816272 140724194814376 139842037383804 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 10 0 0 7196144 7232144 17899520 140724194820507 140724194820711 140724194820711 140724194824171 0
/proc/22311/statm: 2378 345 289 221 0 87 0
[pid=22313] ppid=22311 vsize=13980732 CPUtime=259.21 cores=0,2,4,6
/proc/22313/stat : 22313 (java) S 22311 22311 5234 0 -1 1077944320 111347 0 0 0 25860 61 0 0 20 0 15 0 9624232 14316269568 114255 18446744073709551615 4194304 4196468 140727649124800 140727649107344 139777689571063 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
/proc/22313/statm: 3495183 114255 3232 1 0 3483484 0
[pid=22313/tid=22314] ppid=22311 vsize=13980732 CPUtime=238.41 cores=0,2,4,6
/proc/22313/task/22314/stat : 22314 (java) R 22311 22311 5234 0 -1 4202560 17118 0 0 0 23833 8 0 0 20 0 15 0 9624232 14316269568 114255 18446744073709551615 4194304 4196468 140727649124800 139777693810352 139777322491348 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22315] ppid=22311 vsize=13980732 CPUtime=1.2 cores=0,2,4,6
/proc/22313/task/22315/stat : 22315 (java) S 22311 22311 5234 0 -1 1077944384 1093 0 0 0 111 9 0 0 20 0 15 0 9624233 14316269568 114255 18446744073709551615 4194304 4196468 140727649124800 139777631517712 139777689581269 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22316] ppid=22311 vsize=13980732 CPUtime=1.2 cores=0,2,4,6
/proc/22313/task/22316/stat : 22316 (java) S 22311 22311 5234 0 -1 1077944384 1749 0 0 0 111 9 0 0 20 0 15 0 9624233 14316269568 114255 18446744073709551615 4194304 4196468 140727649124800 139777288969360 139777689581269 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22317] ppid=22311 vsize=13980732 CPUtime=1.21 cores=0,2,4,6
/proc/22313/task/22317/stat : 22317 (java) S 22311 22311 5234 0 -1 1077944384 1167 0 0 0 111 10 0 0 20 0 15 0 9624233 14316269568 114255 18446744073709551615 4194304 4196468 140727649124800 139777287916304 139777689581269 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22318] ppid=22311 vsize=13980732 CPUtime=1.2 cores=0,2,4,6
/proc/22313/task/22318/stat : 22318 (java) S 22311 22311 5234 0 -1 1077944384 998 0 0 0 111 9 0 0 20 0 15 0 9624233 14316269568 114255 18446744073709551615 4194304 4196468 140727649124800 139777286863760 139777689581269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22319] ppid=22311 vsize=13980732 CPUtime=0.12 cores=0,2,4,6
/proc/22313/task/22319/stat : 22319 (java) S 22311 22311 5234 0 -1 1077944384 1335 0 0 0 11 1 0 0 20 0 15 0 9624234 14316269568 114255 18446744073709551615 4194304 4196468 140727649124800 139776807745776 139777689582210 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22320] ppid=22311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22313/task/22320/stat : 22320 (java) S 22311 22311 5234 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 9624235 14316269568 114255 18446744073709551615 4194304 4196468 140727649124800 139776806692064 139777689581269 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22321] ppid=22311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22313/task/22321/stat : 22321 (java) S 22311 22311 5234 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 9624235 14316269568 114255 18446744073709551615 4194304 4196468 140727649124800 139776805638912 139777689581269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22322] ppid=22311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22313/task/22322/stat : 22322 (java) S 22311 22311 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9624237 14316269568 114255 18446744073709551615 4194304 4196468 140727649124800 139776804587472 139777689589659 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22323] ppid=22311 vsize=13980732 CPUtime=7.65 cores=0,2,4,6
/proc/22313/task/22323/stat : 22323 (java) S 22311 22311 5234 0 -1 1077944384 40523 0 0 0 761 4 0 0 20 0 15 0 9624237 14316269568 114255 18446744073709551615 4194304 4196468 140727649124800 139776803535600 139777689582210 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22324] ppid=22311 vsize=13980732 CPUtime=7.19 cores=0,2,4,6
/proc/22313/task/22324/stat : 22324 (java) S 22311 22311 5234 0 -1 1077944384 35799 0 0 0 716 3 0 0 20 0 15 0 9624237 14316269568 114255 18446744073709551615 4194304 4196468 140727649124800 139776802483056 139777689582210 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22325] ppid=22311 vsize=13980732 CPUtime=0.83 cores=0,2,4,6
/proc/22313/task/22325/stat : 22325 (java) S 22311 22311 5234 0 -1 1077944384 9099 0 0 0 81 2 0 0 20 0 15 0 9624238 14316269568 114255 18446744073709551615 4194304 4196468 140727649124800 139776801430000 139777689582210 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22326] ppid=22311 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/22313/task/22326/stat : 22326 (java) S 22311 22311 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9624238 14316269568 114255 18446744073709551615 4194304 4196468 140727649124800 139776800377696 139777689581269 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
[pid=22313/tid=22327] ppid=22311 vsize=13980732 CPUtime=0.11 cores=0,2,4,6
/proc/22313/task/22327/stat : 22327 (java) S 22311 22311 5234 0 -1 1077944384 1091 0 0 0 5 6 0 0 20 0 15 0 9624244 14316269568 114255 18446744073709551615 4194304 4196468 140727649124800 139776799324720 139777689582210 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31772672 140727649128916 140727649129091 140727649129091 140727649132495 0
Current children cumulated CPU time (s) 259.21
Current children cumulated vsize (KiB) 13990244

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 22313 sig 9
??? kill 22311 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22311 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=930
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=930
# CPU time returned by wait4() is 0.00186
# while last known CPU time is 259.21
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 240.01
CPU time (s): 259.21
CPU user time (s): 258.6
CPU system time (s): 0.61
CPU usage (%): 107.999
Max. virtual memory (cumulated for all children) (KiB): 13993996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.00093
system time used= 0.00093
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.14067 second user time and 1.52396 second system time

The end

Launcher Data 

Begin job on node134 at 2017-08-01 22:45:43
IDJOB=4255243
IDBENCH=128676
IDSOLVER=2637
FILE ID=node134/4255243-1501621185
RUNJOBID= node134-1501616951-11514
PBS_JOBID= 
Free space on /tmp= 61892 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/Rcpsp/Rcpsp-m1-j90/Rcpsp-j90-09-06.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-4255243-1501621185/watcher-4255243-1501621185 -o /tmp/evaluation-result-4255243-1501621185/solver-4255243-1501621185 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501616951-11514 --watchdog 300  ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1748036323 HOME/instance-4255243-1501621185.xml

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

MD5SUM BENCH= 6fbeb4485160aba6959a0a0fc5f330c5
RANDOM SEED=1748036323

node134.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:        31596496 kB
MemAvailable:   31783288 kB
Buffers:           99500 kB
Cached:           368860 kB
SwapCached:            0 kB
Active:           469692 kB
Inactive:         297108 kB
Active(anon):     300500 kB
Inactive(anon):     6652 kB
Active(file):     169192 kB
Inactive(file):   290456 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7312 kB
Writeback:           388 kB
AnonPages:        297640 kB
Mapped:            41948 kB
Shmem:              8892 kB
Slab:             111296 kB
SReclaimable:      85956 kB
SUnreclaim:        25340 kB
KernelStack:        3472 kB
PageTables:         5412 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1224640 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    184320 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 61884 MiB
End job on node134 at 2017-08-01 22:49:44