Trace number 4284286

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)177 250.368 240.022

General information on the benchmark

NameGolombRuler/GolombRuler-a3-s1/
GolombRuler-14-a3.xml
MD5SUMa5381fa3d98671549d41a8d043d26ba4
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark135
Best CPU time to get the best result obtained on this benchmark2001.99
Satisfiable
(Un)Satisfiability was proved
Number of variables210
Number of constraints94
Number of domains2
Minimum domain size500
Maximum domain size501
Distribution of domain sizes[{"size":500,"count":91},{"size":501,"count":14}]
Minimum variable degree0
Maximum variable degree15
Distribution of variable degrees[{"degree":0,"count":105},{"degree":2,"count":91},{"degree":14,"count":12},{"degree":15,"count":2}]
Minimum constraint arity1
Maximum constraint arity91
Distribution of constraint arities[{"arity":1,"count":1},{"arity":3,"count":91},{"arity":14,"count":1},{"arity":91,"count":1}]
Number of extensional constraints0
Number of intensional constraints92
Distribution of constraint types[{"type":"intension","count":92},{"type":"allDifferent","count":1},{"type":"ordered","count":1}]
Optimization problemYES
Type of objectivemin VAR

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4284286-1503212243.xml"  -tl '264s' -p 1 -x 3
0.12/0.14	c [HOME/instance-4284286-1503212243.xml, -tl, 264s, -p, 1, -x, 3]
0.12/0.20	c simple solver
0.34/0.26	c parse instance...
0.73/0.50	c solve instance...
200.00/191.56	o 500 
200.00/191.57	o 499 
200.00/191.57	o 498 
200.00/191.58	o 497 
200.00/191.58	o 496 
200.00/191.58	o 495 
200.00/191.59	o 494 
200.00/191.59	o 493 
200.00/191.59	o 492 
200.00/191.60	o 491 
200.14/191.60	o 490 
200.14/191.60	o 489 
200.14/191.61	o 488 
200.14/191.61	o 487 
200.14/191.61	o 486 
200.14/191.61	o 485 
200.14/191.62	o 484 
200.14/191.62	o 483 
200.14/191.62	o 482 
200.14/191.62	o 481 
200.14/191.62	o 480 
200.14/191.62	o 479 
200.14/191.62	o 478 
200.14/191.63	o 477 
200.14/191.63	o 476 
200.14/191.63	o 475 
200.14/191.63	o 474 
200.14/191.63	o 473 
200.14/191.63	o 472 
200.14/191.64	o 471 
200.14/191.64	o 470 
200.14/191.64	o 469 
200.14/191.64	o 468 
200.14/191.64	o 467 
200.14/191.65	o 466 
200.14/191.65	o 465 
200.14/191.65	o 464 
200.14/191.65	o 463 
200.14/191.65	o 462 
200.14/191.65	o 461 
200.14/191.65	o 460 
200.14/191.66	o 459 
200.14/191.66	o 458 
200.14/191.66	o 457 
200.14/191.66	o 456 
200.14/191.66	o 455 
200.14/191.67	o 454 
200.14/191.68	o 453 
200.14/191.68	o 452 
200.14/191.69	o 451 
200.32/191.71	o 450 
200.32/191.73	o 449 
200.32/191.76	o 448 
200.32/191.78	o 447 
200.32/191.80	o 446 
200.52/191.81	o 445 
200.52/191.83	o 444 
200.52/191.84	o 443 
200.52/191.84	o 442 
200.52/191.84	o 441 
200.52/191.84	o 440 
200.52/191.84	o 439 
200.52/191.84	o 438 
200.52/191.84	o 437 
200.52/191.84	o 436 
200.52/191.84	o 435 
200.52/191.84	o 434 
200.52/191.85	o 433 
200.52/191.85	o 432 
200.52/191.85	o 431 
200.52/191.85	o 430 
200.52/191.85	o 429 
200.52/191.85	o 428 
200.52/191.85	o 427 
200.52/191.85	o 426 
200.52/191.85	o 425 
200.52/191.85	o 424 
200.52/191.85	o 423 
200.52/191.86	o 422 
200.52/191.86	o 421 
200.52/191.86	o 420 
200.52/191.86	o 419 
200.52/191.86	o 418 
200.52/191.86	o 417 
200.52/191.86	o 416 
200.52/191.86	o 415 
200.52/191.86	o 414 
200.52/191.86	o 413 
200.52/191.86	o 412 
200.52/191.87	o 411 
200.52/191.87	o 410 
200.52/191.87	o 409 
200.52/191.87	o 408 
200.52/191.87	o 407 
200.52/191.87	o 406 
200.52/191.87	o 405 
200.52/191.87	o 404 
200.52/191.87	o 403 
200.52/191.87	o 402 
200.52/191.87	o 401 
200.52/191.88	o 400 
200.52/191.88	o 399 
200.52/191.88	o 398 
200.52/191.88	o 397 
200.52/191.88	o 396 
200.52/191.88	o 395 
200.52/191.88	o 394 
200.52/191.88	o 393 
200.52/191.88	o 392 
200.52/191.88	o 391 
200.52/191.88	o 390 
200.52/191.89	o 389 
200.52/191.89	o 388 
200.52/191.89	o 387 
200.52/191.89	o 386 
200.52/191.89	o 385 
200.52/191.89	o 384 
200.52/191.89	o 383 
200.52/191.89	o 382 
200.52/191.89	o 381 
200.52/191.89	o 380 
200.52/191.89	o 379 
200.52/191.90	o 378 
200.67/191.90	o 377 
200.67/191.90	o 376 
200.67/191.90	o 375 
200.67/191.90	o 374 
200.67/191.90	o 373 
200.67/191.90	o 372 
200.67/191.90	o 371 
200.67/191.90	o 370 
200.67/191.90	o 369 
200.67/191.91	o 368 
200.67/191.91	o 367 
200.67/191.91	o 366 
200.67/191.91	o 365 
200.67/191.91	o 364 
200.67/191.91	o 363 
200.67/191.91	o 362 
200.67/191.91	o 361 
200.67/191.91	o 360 
200.67/191.91	o 359 
200.67/191.91	o 358 
200.67/191.92	o 357 
200.67/191.92	o 356 
200.67/191.92	o 355 
200.67/191.92	o 354 
200.67/191.92	o 353 
200.67/191.92	o 352 
200.67/191.92	o 351 
200.67/191.92	o 350 
200.67/191.92	o 349 
200.67/191.92	o 348 
200.67/191.92	o 347 
200.67/191.92	o 346 
200.67/191.93	o 345 
200.67/191.93	o 344 
200.67/191.93	o 343 
200.67/191.93	o 342 
200.67/191.93	o 341 
200.67/191.93	o 340 
200.67/191.93	o 339 
200.67/191.93	o 338 
200.67/191.93	o 337 
200.67/191.93	o 336 
200.67/191.93	o 335 
200.67/191.94	o 334 
200.67/191.94	o 333 
200.67/191.94	o 332 
200.67/191.94	o 331 
200.67/191.94	o 330 
200.67/191.94	o 329 
200.67/191.94	o 328 
200.67/191.94	o 327 
200.67/191.94	o 326 
200.67/191.94	o 325 
200.67/191.94	o 324 
200.67/191.95	o 323 
200.67/191.95	o 322 
200.67/191.95	o 321 
200.67/191.95	o 320 
200.67/191.95	o 319 
200.67/191.95	o 318 
200.67/191.95	o 317 
200.67/191.95	o 316 
200.67/191.95	o 315 
200.67/191.95	o 314 
200.67/191.95	o 313 
200.67/191.95	o 312 
200.67/191.96	o 311 
200.67/191.96	o 310 
200.67/191.97	o 217 
200.67/192.00	o 195 
219.74/210.56	o 194 
222.95/213.67	o 193 
223.56/214.23	o 189 
225.69/216.34	o 186 
231.91/222.21	o 184 
233.33/223.60	o 183 
233.87/224.16	o 182 
234.27/224.54	o 179 
234.37/224.64	o 177 
250.34/240.01	s SATISFIABLE
250.34/240.01	v <instantiation>
250.34/240.01	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[9][10] y[9][11] y[9][12] y[9][13] y[10][11] y[10][12] y[10][13] y[11][12] y[11][13] y[12][13] </list>
250.34/240.01	v 	<values>0 2 6 9 14 24 25 53 74 94 120 137 150 177 2 6 9 14 24 25 53 74 94 120 137 150 177 4 7 12 22 23 51 72 92 118 135 148 175 3 8 18 19 47 68 88 114 131 144 171 5 15 16 44 65 85 111 128 141 168 10 11 39 60 80 106 123 136 163 1 29 50 70 96 113 126 153 28 49 69 95 112 125 152 21 41 67 84 97 124 20 46 63 76 103 26 43 56 83 17 30 57 13 40 27 </values>
250.34/240.01	v </instantiation>
250.34/240.01	c Unexpected resolution interruption!

Verifier Data 

OK	177

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284286-1503212243/watcher-4284286-1503212243 -o /tmp/evaluation-result-4284286-1503212243/solver-4284286-1503212243 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node105-1503209199-23686 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 652147294 HOME/instance-4284286-1503212243.xml 

running on 4 cores: 1,3,5,7

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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=25370, runsolver pid=25367

[startup+0.10013 s]*
/proc/loadavg: 1.91 1.94 1.82 3/218 25386
/proc/meminfo: memFree=22939168/32770624 swapFree=67108860/67108860
[pid=25370] ppid=25367 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/25370/stat : 25370 (xcsp3-exec) S 25367 25370 23654 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154295755 9740288 346 33554432000 4194304 5098028 140729979472400 140729979470504 140526253621884 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40345600 140729979479157 140729979479360 140729979479360 140729979482091 0
/proc/25370/statm: 2378 346 289 221 0 87 0
[pid=25372] ppid=25370 vsize=13978596 memory=27304 CPUtime=0.12 cores=1,3,5,7
/proc/25372/stat : 25372 (java) S 25370 25370 23654 0 -1 1077944320 5164 0 0 0 12 0 0 0 20 0 15 0 154295755 14314082304 6826 33554432000 4194304 4196468 140734059790896 140734059773440 140713564290807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
/proc/25372/statm: 3494649 6826 2889 1 0 3482966 0
[pid=25372/tid=25373] ppid=25370 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/25372/task/25373/stat : 25373 (java) R 25370 25370 23654 0 -1 4202560 3134 0 0 0 9 0 0 0 20 0 15 0 154295756 14314082304 6826 33554432000 4194304 4196468 140734059790896 140713568524160 140713564302742 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25374] ppid=25370 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25374/stat : 25374 (java) S 25370 25370 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154295756 14314082304 6826 33554432000 4194304 4196468 140734059790896 140713531849360 140713564301013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25375] ppid=25370 vsize=13978596 memory=139651985897088 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25375/stat : 25375 (java) S 25370 25370 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154295756 14314082304 6892 33554432000 4194304 4196468 140734059790896 140713159227920 140713564301013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25376] ppid=25370 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25376/stat : 25376 (java) S 25370 25370 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154295756 14314082304 6892 33554432000 4194304 4196468 140734059790896 140713158175120 140713564301013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25377] ppid=25370 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25377/stat : 25377 (java) S 25370 25370 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154295756 14314082304 6892 33554432000 4194304 4196468 140734059790896 140713157122320 140713564301013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25378] ppid=25370 vsize=13978596 memory=139651985897088 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25378/stat : 25378 (java) S 25370 25370 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154295758 14314082304 6892 33554432000 4194304 4196468 140734059790896 140712904297328 140713564301954 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25379] ppid=25370 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25379/stat : 25379 (java) S 25370 25370 23654 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154295758 14314082304 6892 33554432000 4194304 4196468 140734059790896 140712903243296 140713564301013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25380] ppid=25370 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25380/stat : 25380 (java) S 25370 25370 23654 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154295758 14314082304 6892 33554432000 4194304 4196468 140734059790896 140712902190448 140713564301013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25381] ppid=25370 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25381/stat : 25381 (java) S 25370 25370 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154295761 14314082304 6892 33554432000 4194304 4196468 140734059790896 140712901138768 140713564309403 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25382] ppid=25370 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25382/stat : 25382 (java) S 25370 25370 23654 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 15 0 154295761 14314082304 6892 33554432000 4194304 4196468 140734059790896 140712900086128 140713564301954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25383] ppid=25370 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25383/stat : 25383 (java) S 25370 25370 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154295761 14314082304 6892 33554432000 4194304 4196468 140734059790896 140712899033328 140713564301954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25384] ppid=25370 vsize=13978596 memory=139651985897088 CPUtime=0.01 cores=1,3,5,7
/proc/25372/task/25384/stat : 25384 (java) R 25370 25370 23654 0 -1 4202560 355 0 0 0 1 0 0 0 20 0 15 0 154295761 14314082304 6892 33554432000 4194304 4196468 140734059790896 140712897980528 140713543232386 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25385] ppid=25370 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25385/stat : 25385 (java) S 25370 25370 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154295761 14314082304 6892 33554432000 4194304 4196468 140734059790896 140712896927968 140713564301013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25386] ppid=25370 vsize=13978596 memory=139651985897088 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25386/stat : 25386 (java) S 25370 25370 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154295761 14314082304 6892 33554432000 4194304 4196468 140734059790896 140712895876272 140713564301954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 28688 KiB

[startup+0.21068 s]*
/proc/loadavg: 1.91 1.94 1.82 3/218 25386
/proc/meminfo: memFree=22927620/32770624 swapFree=67108860/67108860
[pid=25370] ppid=25367 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/25370/stat : 25370 (xcsp3-exec) S 25367 25370 23654 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154295755 9740288 346 33554432000 4194304 5098028 140729979472400 140729979470504 140526253621884 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40345600 140729979479157 140729979479360 140729979479360 140729979482091 0
/proc/25370/statm: 2378 346 289 221 0 87 0
[pid=25372] ppid=25370 vsize=13982852 memory=39364 CPUtime=0.34 cores=1,3,5,7
/proc/25372/stat : 25372 (java) S 25370 25370 23654 0 -1 1077944320 7893 0 0 0 33 1 0 0 20 0 15 0 154295755 14318440448 9841 33554432000 4194304 4196468 140734059790896 140734059773440 140713564290807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
/proc/25372/statm: 3495721 9841 3065 1 0 3482974 0
[pid=25372/tid=25373] ppid=25370 vsize=13982884 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/25372/task/25373/stat : 25373 (java) R 25370 25370 23654 0 -1 4202560 4920 0 0 0 19 1 0 0 20 0 15 0 154295756 14318473216 9841 33554432000 4194304 4196468 140734059790896 140713568500432 140713556970525 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25374] ppid=25370 vsize=13982884 memory=12546 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25374/stat : 25374 (java) S 25370 25370 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154295756 14318473216 9841 33554432000 4194304 4196468 140734059790896 140713531849360 140713564301013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25375] ppid=25370 vsize=13982852 memory=288370028137608832 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25375/stat : 25375 (java) S 25370 25370 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154295756 14318440448 9841 33554432000 4194304 4196468 140734059790896 140713159227920 140713564301013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25376] ppid=25370 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25376/stat : 25376 (java) S 25370 25370 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154295756 14318440448 9841 33554432000 4194304 4196468 140734059790896 140713158175120 140713564301013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25377] ppid=25370 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25377/stat : 25377 (java) S 25370 25370 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154295756 14318440448 9841 33554432000 4194304 4196468 140734059790896 140713157122320 140713564301013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25378] ppid=25370 vsize=13982852 memory=139651985897088 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25378/stat : 25378 (java) S 25370 25370 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154295758 14318440448 9841 33554432000 4194304 4196468 140734059790896 140712904297328 140713564301954 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25379] ppid=25370 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25379/stat : 25379 (java) S 25370 25370 23654 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154295758 14318440448 9841 33554432000 4194304 4196468 140734059790896 140712903243296 140713564301013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25380] ppid=25370 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25380/stat : 25380 (java) S 25370 25370 23654 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154295758 14318440448 9841 33554432000 4194304 4196468 140734059790896 140712902190448 140713564301013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25381] ppid=25370 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25381/stat : 25381 (java) S 25370 25370 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154295761 14318440448 9841 33554432000 4194304 4196468 140734059790896 140712901138768 140713564309403 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25382] ppid=25370 vsize=13982884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/25372/task/25382/stat : 25382 (java) S 25370 25370 23654 0 -1 1077944384 705 0 0 0 3 0 0 0 20 0 15 0 154295761 14318473216 9841 33554432000 4194304 4196468 140734059790896 140712900086128 140713564301954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25383] ppid=25370 vsize=13982884 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/25372/task/25383/stat : 25383 (java) S 25370 25370 23654 0 -1 1077944384 142 0 0 0 1 0 0 0 20 0 15 0 154295761 14318473216 9841 33554432000 4194304 4196468 140734059790896 140712899033328 140713564301954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25384] ppid=25370 vsize=13982852 memory=139651985897088 CPUtime=0.07 cores=1,3,5,7
/proc/25372/task/25384/stat : 25384 (java) S 25370 25370 23654 0 -1 1077944384 838 0 0 0 7 0 0 0 20 0 15 0 154295761 14318440448 9841 33554432000 4194304 4196468 140734059790896 140712897980528 140713564301954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25385] ppid=25370 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25385/stat : 25385 (java) S 25370 25370 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154295761 14318440448 9841 33554432000 4194304 4196468 140734059790896 140712896927968 140713564301013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25386] ppid=25370 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25386/stat : 25386 (java) S 25370 25370 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154295761 14318440448 9841 33554432000 4194304 4196468 140734059790896 140712895876272 140713564301954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 40748 KiB

[startup+0.310942 s]*
/proc/loadavg: 1.91 1.94 1.82 4/218 25386
/proc/meminfo: memFree=22920176/32770624 swapFree=67108860/67108860
[pid=25370] ppid=25367 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/25370/stat : 25370 (xcsp3-exec) S 25367 25370 23654 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154295755 9740288 346 33554432000 4194304 5098028 140729979472400 140729979470504 140526253621884 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40345600 140729979479157 140729979479360 140729979479360 140729979482091 0
/proc/25370/statm: 2378 346 289 221 0 87 0
[pid=25372] ppid=25370 vsize=13982852 memory=46752 CPUtime=0.51 cores=1,3,5,7
/proc/25372/stat : 25372 (java) S 25370 25370 23654 0 -1 1077944320 8865 0 0 0 49 2 0 0 20 0 15 0 154295755 14318440448 11688 33554432000 4194304 4196468 140734059790896 140734059773440 140713564290807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
/proc/25372/statm: 3495713 11688 3113 1 0 3482966 0
[pid=25372/tid=25373] ppid=25370 vsize=13982852 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/25372/task/25373/stat : 25373 (java) R 25370 25370 23654 0 -1 4202560 5591 0 0 0 28 1 0 0 20 0 15 0 154295756 14318440448 11688 33554432000 4194304 4196468 140734059790896 140713568527056 140713548371294 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25374] ppid=25370 vsize=13982852 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25374/stat : 25374 (java) S 25370 25370 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154295756 14318440448 11688 33554432000 4194304 4196468 140734059790896 140713531849360 140713564301013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25375] ppid=25370 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25375/stat : 25375 (java) S 25370 25370 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154295756 14318440448 11688 33554432000 4194304 4196468 140734059790896 140713159227920 140713564301013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25376] ppid=25370 vsize=13982852 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25376/stat : 25376 (java) S 25370 25370 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154295756 14318440448 11688 33554432000 4194304 4196468 140734059790896 140713158175120 140713564301013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25377] ppid=25370 vsize=13982852 memory=7593697182111006371 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25377/stat : 25377 (java) S 25370 25370 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154295756 14318440448 11688 33554432000 4194304 4196468 140734059790896 140713157122320 140713564301013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25378] ppid=25370 vsize=13982852 memory=6944656591801720471 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25378/stat : 25378 (java) S 25370 25370 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154295758 14318440448 11688 33554432000 4194304 4196468 140734059790896 140712904297328 140713564301954 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25379] ppid=25370 vsize=13982852 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25379/stat : 25379 (java) S 25370 25370 23654 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154295758 14318440448 11688 33554432000 4194304 4196468 140734059790896 140712903243296 140713564301013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25380] ppid=25370 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25380/stat : 25380 (java) S 25370 25370 23654 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154295758 14318440448 11688 33554432000 4194304 4196468 140734059790896 140712902190448 140713564301013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25381] ppid=25370 vsize=13982852 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25381/stat : 25381 (java) S 25370 25370 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154295761 14318440448 11688 33554432000 4194304 4196468 140734059790896 140712901138768 140713564309403 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25382] ppid=25370 vsize=13982852 memory=4713750055892520310 CPUtime=0.05 cores=1,3,5,7
/proc/25372/task/25382/stat : 25382 (java) S 25370 25370 23654 0 -1 1077944384 782 0 0 0 5 0 0 0 20 0 15 0 154295761 14318440448 11688 33554432000 4194304 4196468 140734059790896 140712900086128 140713564301954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25383] ppid=25370 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/25372/task/25383/stat : 25383 (java) S 25370 25370 23654 0 -1 1077944384 158 0 0 0 2 0 0 0 20 0 15 0 154295761 14318440448 11688 33554432000 4194304 4196468 140734059790896 140712899033328 140713564301954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25384] ppid=25370 vsize=13982852 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/25372/task/25384/stat : 25384 (java) S 25370 25370 23654 0 -1 1077944384 1035 0 0 0 12 0 0 0 20 0 15 0 154295761 14318440448 11688 33554432000 4194304 4196468 140734059790896 140712897980528 140713564301954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25385] ppid=25370 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25385/stat : 25385 (java) S 25370 25370 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154295761 14318440448 11688 33554432000 4194304 4196468 140734059790896 140712896927968 140713564301013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25386] ppid=25370 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25386/stat : 25386 (java) S 25370 25370 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154295761 14318440448 11688 33554432000 4194304 4196468 140734059790896 140712895876272 140713564301954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48136 KiB

[startup+0.705229 s]
/proc/loadavg: 1.91 1.94 1.82 3/218 25386
/proc/meminfo: memFree=22903924/32770624 swapFree=67108860/67108860
[pid=25370] ppid=25367 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/25370/stat : 25370 (xcsp3-exec) S 25367 25370 23654 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154295755 9740288 346 33554432000 4194304 5098028 140729979472400 140729979470504 140526253621884 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40345600 140729979479157 140729979479360 140729979479360 140729979482091 0
/proc/25370/statm: 2378 346 289 221 0 87 0
[pid=25372] ppid=25370 vsize=13984976 memory=76384 CPUtime=1.56 cores=1,3,5,7
/proc/25372/stat : 25372 (java) S 25370 25370 23654 0 -1 1077944320 13326 0 0 0 152 4 0 0 20 0 15 0 154295755 14320615424 19096 33554432000 4194304 4196468 140734059790896 140734059773440 140713564290807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
/proc/25372/statm: 3496244 19096 3209 1 0 3483478 0
[pid=25372/tid=25373] ppid=25370 vsize=13984976 memory=42704 CPUtime=0.68 cores=1,3,5,7
/proc/25372/task/25373/stat : 25373 (java) R 25370 25370 23654 0 -1 4202560 6395 0 0 0 66 2 0 0 20 0 15 0 154295756 14320615424 19096 33554432000 4194304 4196468 140734059790896 140713568529280 140713549517857 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25374] ppid=25370 vsize=13984976 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25374/stat : 25374 (java) S 25370 25370 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154295756 14320615424 19096 33554432000 4194304 4196468 140734059790896 140713531849360 140713564301013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25375] ppid=25370 vsize=13984976 memory=2400 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25375/stat : 25375 (java) S 25370 25370 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154295756 14320615424 19096 33554432000 4194304 4196468 140734059790896 140713159227920 140713564301013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25376] ppid=25370 vsize=13984976 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25376/stat : 25376 (java) S 25370 25370 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154295756 14320615424 19096 33554432000 4194304 4196468 140734059790896 140713158175120 140713564301013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25377] ppid=25370 vsize=13984976 memory=12136 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25377/stat : 25377 (java) S 25370 25370 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154295756 14320615424 19096 33554432000 4194304 4196468 140734059790896 140713157122320 140713564301013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25378] ppid=25370 vsize=13984976 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25378/stat : 25378 (java) S 25370 25370 23654 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154295758 14320615424 19096 33554432000 4194304 4196468 140734059790896 140712904297328 140713564301954 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25379] ppid=25370 vsize=13984976 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25379/stat : 25379 (java) S 25370 25370 23654 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154295758 14320615424 19096 33554432000 4194304 4196468 140734059790896 140712903243296 140713564301013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25380] ppid=25370 vsize=13984976 memory=796 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25380/stat : 25380 (java) S 25370 25370 23654 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154295758 14320615424 19096 33554432000 4194304 4196468 140734059790896 140712902190448 140713564301013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25381] ppid=25370 vsize=13984976 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25381/stat : 25381 (java) S 25370 25370 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154295761 14320615424 19096 33554432000 4194304 4196468 140734059790896 140712901138768 140713564309403 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25382] ppid=25370 vsize=13984976 memory=5784 CPUtime=0.26 cores=1,3,5,7
/proc/25372/task/25382/stat : 25382 (java) R 25370 25370 23654 0 -1 4202560 1802 0 0 0 26 0 0 0 20 0 15 0 154295761 14320615424 19096 33554432000 4194304 4196468 140734059790896 140712900074576 140713557396529 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25383] ppid=25370 vsize=13984976 memory=4616 CPUtime=0.25 cores=1,3,5,7
/proc/25372/task/25383/stat : 25383 (java) R 25370 25370 23654 0 -1 4202560 1736 0 0 0 25 0 0 0 20 0 15 0 154295761 14320615424 19096 33554432000 4194304 4196468 140734059790896 140712899019208 140713549400900 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25384] ppid=25370 vsize=13984976 memory=1928 CPUtime=0.34 cores=1,3,5,7
/proc/25372/task/25384/stat : 25384 (java) S 25370 25370 23654 0 -1 1077944384 2086 0 0 0 34 0 0 0 20 0 15 0 154295761 14320615424 19096 33554432000 4194304 4196468 140734059790896 140712897980528 140713564301954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25385] ppid=25370 vsize=13984976 memory=1428 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25385/stat : 25385 (java) S 25370 25370 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154295761 14320615424 19096 33554432000 4194304 4196468 140734059790896 140712896927968 140713564301013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25386] ppid=25370 vsize=13984976 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25386/stat : 25386 (java) S 25370 25370 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154295761 14320615424 19096 33554432000 4194304 4196468 140734059790896 140712895876272 140713564301954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
Current children cumulated CPU time: 1.56 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 77768 KiB

[startup+1.50088 s]
/proc/loadavg: 1.92 1.94 1.82 5/218 25386
/proc/meminfo: memFree=22872080/32770624 swapFree=67108860/67108860
[pid=25370] ppid=25367 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/25370/stat : 25370 (xcsp3-exec) S 25367 25370 23654 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154295755 9740288 346 33554432000 4194304 5098028 140729979472400 140729979470504 140526253621884 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40345600 140729979479157 140729979479360 140729979479360 140729979482091 0
/proc/25370/statm: 2378 346 289 221 0 87 0

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

/proc/25372/task/25380/stat : 25380 (java) S 25370 25370 23654 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 154295758 14320615424 46503 33554432000 4194304 4196468 140734059790896 140712902190464 140713564301013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25381] ppid=25370 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25381/stat : 25381 (java) S 25370 25370 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154295761 14320615424 46503 33554432000 4194304 4196468 140734059790896 140712901138768 140713564309403 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25382] ppid=25370 vsize=13984976 memory=186524 CPUtime=3.16 cores=1,3,5,7
/proc/25372/task/25382/stat : 25382 (java) S 25370 25370 23654 0 -1 1077944384 22733 0 0 0 314 2 0 0 20 0 15 0 154295761 14320615424 46503 33554432000 4194304 4196468 140734059790896 140712900086128 140713564301954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25383] ppid=25370 vsize=13984976 memory=1384 CPUtime=3.35 cores=1,3,5,7
/proc/25372/task/25383/stat : 25383 (java) S 25370 25370 23654 0 -1 1077944384 17634 0 0 0 333 2 0 0 20 0 15 0 154295761 14320615424 46503 33554432000 4194304 4196468 140734059790896 140712899033328 140713564301954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25384] ppid=25370 vsize=13984976 memory=3690019452373463352 CPUtime=0.71 cores=1,3,5,7
/proc/25372/task/25384/stat : 25384 (java) S 25370 25370 23654 0 -1 1077944384 7404 0 0 0 69 2 0 0 20 0 15 0 154295761 14320615424 46503 33554432000 4194304 4196468 140734059790896 140712897980528 140713564301954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25385] ppid=25370 vsize=13984976 memory=279303737294896 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25385/stat : 25385 (java) S 25370 25370 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154295761 14320615424 46503 33554432000 4194304 4196468 140734059790896 140712896927968 140713564301013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25386] ppid=25370 vsize=13984976 memory=4012 CPUtime=0.03 cores=1,3,5,7
/proc/25372/task/25386/stat : 25386 (java) S 25370 25370 23654 0 -1 1077944384 543 0 0 0 2 1 0 0 20 0 15 0 154295761 14320615424 46503 33554432000 4194304 4196468 140734059790896 140712895876272 140713564301954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
Current children cumulated CPU time: 110.01 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 187396 KiB

[startup+162.301 s]
/proc/loadavg: 1.13 1.62 1.72 3/217 25388
/proc/meminfo: memFree=22638036/32770624 swapFree=67108860/67108860
[pid=25370] ppid=25367 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/25370/stat : 25370 (xcsp3-exec) S 25367 25370 23654 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154295755 9740288 346 33554432000 4194304 5098028 140729979472400 140729979470504 140526253621884 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40345600 140729979479157 140729979479360 140729979479360 140729979482091 0
/proc/25370/statm: 2378 346 289 221 0 87 0
[pid=25372] ppid=25370 vsize=13984976 memory=171016 CPUtime=170.45 cores=1,3,5,7
/proc/25372/stat : 25372 (java) S 25370 25370 23654 0 -1 1077944320 72238 0 0 0 17020 25 0 0 20 0 15 0 154295755 14320615424 42754 33554432000 4194304 4196468 140734059790896 140734059773440 140713564290807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
/proc/25372/statm: 3496244 42754 3267 1 0 3483478 0
[pid=25372/tid=25373] ppid=25370 vsize=13984976 memory=171016 CPUtime=161.74 cores=1,3,5,7
/proc/25372/task/25373/stat : 25373 (java) R 25370 25370 23654 0 -1 4202560 13765 0 0 0 16169 5 0 0 20 0 15 0 154295756 14320615424 42754 33554432000 4194304 4196468 140734059790896 140713568530048 140713205644168 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25374] ppid=25370 vsize=13984976 memory=171016 CPUtime=0.3 cores=1,3,5,7
/proc/25372/task/25374/stat : 25374 (java) S 25370 25370 23654 0 -1 1077944384 1230 0 0 0 28 2 0 0 20 0 15 0 154295756 14320615424 42754 33554432000 4194304 4196468 140734059790896 140713531849360 140713564301013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25375] ppid=25370 vsize=13984976 memory=171016 CPUtime=0.3 cores=1,3,5,7
/proc/25372/task/25375/stat : 25375 (java) S 25370 25370 23654 0 -1 1077944384 1226 0 0 0 28 2 0 0 20 0 15 0 154295756 14320615424 42754 33554432000 4194304 4196468 140734059790896 140713159227920 140713564301013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25376] ppid=25370 vsize=13984976 memory=1928 CPUtime=0.3 cores=1,3,5,7
/proc/25372/task/25376/stat : 25376 (java) S 25370 25370 23654 0 -1 1077944384 1910 0 0 0 28 2 0 0 20 0 15 0 154295756 14320615424 42754 33554432000 4194304 4196468 140734059790896 140713158175120 140713564301013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25377] ppid=25370 vsize=13984976 memory=172044 CPUtime=0.3 cores=1,3,5,7
/proc/25372/task/25377/stat : 25377 (java) S 25370 25370 23654 0 -1 1077944384 505 0 0 0 28 2 0 0 20 0 15 0 154295756 14320615424 42754 33554432000 4194304 4196468 140734059790896 140713157122320 140713564301013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25378] ppid=25370 vsize=13984976 memory=3617579288504601171 CPUtime=0.07 cores=1,3,5,7
/proc/25372/task/25378/stat : 25378 (java) S 25370 25370 23654 0 -1 1077944384 1525 0 0 0 6 1 0 0 20 0 15 0 154295758 14320615424 42754 33554432000 4194304 4196468 140734059790896 140712904297328 140713564301954 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25379] ppid=25370 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25379/stat : 25379 (java) S 25370 25370 23654 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 154295758 14320615424 42754 33554432000 4194304 4196468 140734059790896 140712903243360 140713564301013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25380] ppid=25370 vsize=13984976 memory=172044 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25380/stat : 25380 (java) S 25370 25370 23654 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 154295758 14320615424 42754 33554432000 4194304 4196468 140734059790896 140712902190464 140713564301013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25381] ppid=25370 vsize=13984976 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25381/stat : 25381 (java) S 25370 25370 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154295761 14320615424 42754 33554432000 4194304 4196468 140734059790896 140712901138768 140713564309403 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25382] ppid=25370 vsize=13984976 memory=12136 CPUtime=3.19 cores=1,3,5,7
/proc/25372/task/25382/stat : 25382 (java) S 25370 25370 23654 0 -1 1077944384 23858 0 0 0 317 2 0 0 20 0 15 0 154295761 14320615424 42754 33554432000 4194304 4196468 140734059790896 140712900086128 140713564301954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25383] ppid=25370 vsize=13984976 memory=1384 CPUtime=3.39 cores=1,3,5,7
/proc/25372/task/25383/stat : 25383 (java) S 25370 25370 23654 0 -1 1077944384 18714 0 0 0 337 2 0 0 20 0 15 0 154295761 14320615424 42754 33554432000 4194304 4196468 140734059790896 140712899033328 140713564301954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25384] ppid=25370 vsize=13984976 memory=1384 CPUtime=0.71 cores=1,3,5,7
/proc/25372/task/25384/stat : 25384 (java) S 25370 25370 23654 0 -1 1077944384 7588 0 0 0 69 2 0 0 20 0 15 0 154295761 14320615424 42754 33554432000 4194304 4196468 140734059790896 140712897980528 140713564301954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25385] ppid=25370 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25385/stat : 25385 (java) S 25370 25370 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154295761 14320615424 42754 33554432000 4194304 4196468 140734059790896 140712896927968 140713564301013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25386] ppid=25370 vsize=13984976 memory=171016 CPUtime=0.06 cores=1,3,5,7
/proc/25372/task/25386/stat : 25386 (java) S 25370 25370 23654 0 -1 1077944384 568 0 0 0 4 2 0 0 20 0 15 0 154295761 14320615424 42754 33554432000 4194304 4196468 140734059790896 140712895876272 140713564301954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
Current children cumulated CPU time: 170.45 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 172400 KiB

[startup+222.301 s]
/proc/loadavg: 1.42 1.64 1.72 3/217 25389
/proc/meminfo: memFree=22559768/32770624 swapFree=67108860/67108860
[pid=25370] ppid=25367 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/25370/stat : 25370 (xcsp3-exec) S 25367 25370 23654 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154295755 9740288 346 33554432000 4194304 5098028 140729979472400 140729979470504 140526253621884 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40345600 140729979479157 140729979479360 140729979479360 140729979482091 0
/proc/25370/statm: 2378 346 289 221 0 87 0
[pid=25372] ppid=25370 vsize=13984976 memory=235864 CPUtime=232.01 cores=1,3,5,7
/proc/25372/stat : 25372 (java) S 25370 25370 23654 0 -1 1077944320 81830 0 0 0 23167 34 0 0 20 0 15 0 154295755 14320615424 58966 33554432000 4194304 4196468 140734059790896 140734059773440 140713564290807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
/proc/25372/statm: 3496244 58966 3267 1 0 3483478 0
[pid=25372/tid=25373] ppid=25370 vsize=13984976 memory=233816 CPUtime=221.42 cores=1,3,5,7
/proc/25372/task/25373/stat : 25373 (java) R 25370 25370 23654 0 -1 4202560 15065 0 0 0 22136 6 0 0 20 0 15 0 154295756 14320615424 58966 33554432000 4194304 4196468 140734059790896 140713568522560 140713205704762 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25374] ppid=25370 vsize=13984976 memory=216404 CPUtime=0.56 cores=1,3,5,7
/proc/25372/task/25374/stat : 25374 (java) S 25370 25370 23654 0 -1 1077944384 1755 0 0 0 52 4 0 0 20 0 15 0 154295756 14320615424 58966 33554432000 4194304 4196468 140734059790896 140713531849360 140713564301013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25375] ppid=25370 vsize=13984976 memory=1384 CPUtime=0.56 cores=1,3,5,7
/proc/25372/task/25375/stat : 25375 (java) S 25370 25370 23654 0 -1 1077944384 1688 0 0 0 52 4 0 0 20 0 15 0 154295756 14320615424 58966 33554432000 4194304 4196468 140734059790896 140713159227920 140713564301013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25376] ppid=25370 vsize=13984976 memory=229716 CPUtime=0.56 cores=1,3,5,7
/proc/25372/task/25376/stat : 25376 (java) S 25370 25370 23654 0 -1 1077944384 2415 0 0 0 52 4 0 0 20 0 15 0 154295756 14320615424 58966 33554432000 4194304 4196468 140734059790896 140713158175120 140713564301013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25377] ppid=25370 vsize=13984976 memory=230744 CPUtime=0.56 cores=1,3,5,7
/proc/25372/task/25377/stat : 25377 (java) S 25370 25370 23654 0 -1 1077944384 1372 0 0 0 53 3 0 0 20 0 15 0 154295756 14320615424 58966 33554432000 4194304 4196468 140734059790896 140713157122320 140713564301013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25378] ppid=25370 vsize=13984976 memory=230744 CPUtime=0.1 cores=1,3,5,7
/proc/25372/task/25378/stat : 25378 (java) S 25370 25370 23654 0 -1 1077944384 1807 0 0 0 9 1 0 0 20 0 15 0 154295758 14320615424 58966 33554432000 4194304 4196468 140734059790896 140712904297328 140713564301954 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25379] ppid=25370 vsize=13984976 memory=233816 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25379/stat : 25379 (java) S 25370 25370 23654 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 154295758 14320615424 58966 33554432000 4194304 4196468 140734059790896 140712903243360 140713564301013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25380] ppid=25370 vsize=13984976 memory=233816 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25380/stat : 25380 (java) S 25370 25370 23654 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 154295758 14320615424 58966 33554432000 4194304 4196468 140734059790896 140712902190464 140713564301013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25381] ppid=25370 vsize=13984976 memory=235864 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25381/stat : 25381 (java) S 25370 25370 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154295761 14320615424 58966 33554432000 4194304 4196468 140734059790896 140712901138768 140713564309403 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25382] ppid=25370 vsize=13984976 memory=1384 CPUtime=3.6 cores=1,3,5,7
/proc/25372/task/25382/stat : 25382 (java) S 25370 25370 23654 0 -1 1077944384 25503 0 0 0 358 2 0 0 20 0 15 0 154295761 14320615424 58966 33554432000 4194304 4196468 140734059790896 140712900086128 140713564301954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25383] ppid=25370 vsize=13984976 memory=1384 CPUtime=3.72 cores=1,3,5,7
/proc/25372/task/25383/stat : 25383 (java) S 25370 25370 23654 0 -1 1077944384 20640 0 0 0 370 2 0 0 20 0 15 0 154295761 14320615424 58966 33554432000 4194304 4196468 140734059790896 140712899033328 140713564301954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25384] ppid=25370 vsize=13984976 memory=4012 CPUtime=0.77 cores=1,3,5,7
/proc/25372/task/25384/stat : 25384 (java) S 25370 25370 23654 0 -1 1077944384 9625 0 0 0 75 2 0 0 20 0 15 0 154295761 14320615424 58966 33554432000 4194304 4196468 140734059790896 140712897980528 140713564301954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25385] ppid=25370 vsize=13984976 memory=42704 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25385/stat : 25385 (java) S 25370 25370 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154295761 14320615424 58966 33554432000 4194304 4196468 140734059790896 140712896927968 140713564301013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25386] ppid=25370 vsize=13984976 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/25372/task/25386/stat : 25386 (java) S 25370 25370 23654 0 -1 1077944384 608 0 0 0 4 4 0 0 20 0 15 0 154295761 14320615424 58966 33554432000 4194304 4196468 140734059790896 140712895876272 140713564301954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
Current children cumulated CPU time: 232.01 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 237248 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]*
/proc/loadavg: 1.48 1.64 1.72 3/216 25467
/proc/meminfo: memFree=22601752/32770624 swapFree=67108860/67108860
[pid=25370] ppid=25367 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/25370/stat : 25370 (xcsp3-exec) S 25367 25370 23654 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154295755 9740288 346 33554432000 4194304 5098028 140729979472400 140729979470504 140526253621884 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 40345600 140729979479157 140729979479360 140729979479360 140729979482091 0
/proc/25370/statm: 2378 346 289 221 0 87 0
[pid=25372] ppid=25370 vsize=13984976 memory=259404 CPUtime=250.34 cores=1,3,5,7
/proc/25372/stat : 25372 (java) S 25370 25370 23654 0 -1 1077944320 82864 0 0 0 24996 38 0 0 20 0 15 0 154295755 14320615424 64851 33554432000 4194304 4196468 140734059790896 140734059773440 140713564290807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
/proc/25372/statm: 3496244 64851 3267 1 0 3483478 0
[pid=25372/tid=25373] ppid=25370 vsize=13984976 memory=6791534058613427641 CPUtime=238.99 cores=1,3,5,7
/proc/25372/task/25373/stat : 25373 (java) R 25370 25370 23654 0 -1 4202560 15089 0 0 0 23893 6 0 0 20 0 15 0 154295756 14320615424 64851 33554432000 4194304 4196468 140734059790896 140713568530352 140713206710393 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25374] ppid=25370 vsize=13984976 memory=4872558044660077418 CPUtime=0.66 cores=1,3,5,7
/proc/25372/task/25374/stat : 25374 (java) S 25370 25370 23654 0 -1 1077944384 1776 0 0 0 62 4 0 0 20 0 15 0 154295756 14320615424 64851 33554432000 4194304 4196468 140734059790896 140713531849360 140713564301013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25375] ppid=25370 vsize=13984976 memory=1228 CPUtime=0.66 cores=1,3,5,7
/proc/25372/task/25375/stat : 25375 (java) S 25370 25370 23654 0 -1 1077944384 1713 0 0 0 62 4 0 0 20 0 15 0 154295756 14320615424 64851 33554432000 4194304 4196468 140734059790896 140713159227920 140713564301013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25376] ppid=25370 vsize=13984976 memory=5784 CPUtime=0.67 cores=1,3,5,7
/proc/25372/task/25376/stat : 25376 (java) S 25370 25370 23654 0 -1 1077944384 2440 0 0 0 62 5 0 0 20 0 15 0 154295756 14320615424 64851 33554432000 4194304 4196468 140734059790896 140713158175120 140713564301013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25377] ppid=25370 vsize=13984976 memory=4616 CPUtime=0.66 cores=1,3,5,7
/proc/25372/task/25377/stat : 25377 (java) S 25370 25370 23654 0 -1 1077944384 1414 0 0 0 62 4 0 0 20 0 15 0 154295756 14320615424 64851 33554432000 4194304 4196468 140734059790896 140713157122320 140713564301013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25378] ppid=25370 vsize=13984976 memory=247212 CPUtime=0.11 cores=1,3,5,7
/proc/25372/task/25378/stat : 25378 (java) S 25370 25370 23654 0 -1 1077944384 1809 0 0 0 10 1 0 0 20 0 15 0 154295758 14320615424 64851 33554432000 4194304 4196468 140734059790896 140712904297328 140713564301954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25379] ppid=25370 vsize=13984976 memory=42704 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25379/stat : 25379 (java) S 25370 25370 23654 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 154295758 14320615424 64851 33554432000 4194304 4196468 140734059790896 140712903243360 140713564301013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25380] ppid=25370 vsize=13984976 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25380/stat : 25380 (java) S 25370 25370 23654 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 154295758 14320615424 64851 33554432000 4194304 4196468 140734059790896 140712902190464 140713564301013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25381] ppid=25370 vsize=13984976 memory=1928 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25381/stat : 25381 (java) S 25370 25370 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154295761 14320615424 64851 33554432000 4194304 4196468 140734059790896 140712901138768 140713564309403 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25382] ppid=25370 vsize=13984976 memory=1428 CPUtime=3.79 cores=1,3,5,7
/proc/25372/task/25382/stat : 25382 (java) S 25370 25370 23654 0 -1 1077944384 26151 0 0 0 377 2 0 0 20 0 15 0 154295761 14320615424 64851 33554432000 4194304 4196468 140734059790896 140712900086128 140713564301954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25383] ppid=25370 vsize=13984976 memory=1196 CPUtime=3.83 cores=1,3,5,7
/proc/25372/task/25383/stat : 25383 (java) S 25370 25370 23654 0 -1 1077944384 20874 0 0 0 381 2 0 0 20 0 15 0 154295761 14320615424 64851 33554432000 4194304 4196468 140734059790896 140712899033328 140713564301954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25384] ppid=25370 vsize=13984976 memory=10688 CPUtime=0.78 cores=1,3,5,7
/proc/25372/task/25384/stat : 25384 (java) S 25370 25370 23654 0 -1 1077944384 9638 0 0 0 76 2 0 0 20 0 15 0 154295761 14320615424 64851 33554432000 4194304 4196468 140734059790896 140712897980528 140713564301954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25385] ppid=25370 vsize=13984976 memory=15880 CPUtime=0 cores=1,3,5,7
/proc/25372/task/25385/stat : 25385 (java) S 25370 25370 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154295761 14320615424 64851 33554432000 4194304 4196468 140734059790896 140712896927968 140713564301013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
[pid=25372/tid=25386] ppid=25370 vsize=13984976 memory=23540 CPUtime=0.09 cores=1,3,5,7
/proc/25372/task/25386/stat : 25386 (java) S 25370 25370 23654 0 -1 1077944384 608 0 0 0 5 4 0 0 20 0 15 0 154295761 14320615424 64851 33554432000 4194304 4196468 140734059790896 140712895876272 140713564301954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 8216576 140734059795613 140734059795788 140734059795788 140734059798479 0
Current children cumulated CPU time: 250.34 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 260788 KiB

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

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

[startup+240.022 s]
# the end of solver process 25372 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=249.98 s, system=0.388392 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 240.022
CPU time (s): 250.368
CPU user time (s): 249.98
CPU system time (s): 0.388392
CPU usage (%): 104.31
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 260788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.98
system time used= 0.388392
maximum resident set size= 260284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83551
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11595
involuntary context switches= 566


# summary of solver processes directly reported to runsolver:
#   pid: 25370,25372
#   total CPU time (s): 250.368
#   total CPU user time (s): 249.98
#   total CPU system time (s): 0.388392

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.51386 second user time and 2.29843 second system time

The end

Launcher Data 

Begin job on node105 at 2017-08-20 08:43:03
IDJOB=4284286
IDBENCH=126210
IDSOLVER=2680
FILE ID=node105/4284286-1503212243
RUNJOBID= node105-1503209199-23686
PBS_JOBID= 20630876
Free space on /tmp= 61796 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-14-a3.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-4284286-1503212243/watcher-4284286-1503212243 -o /tmp/evaluation-result-4284286-1503212243/solver-4284286-1503212243 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node105-1503209199-23686 --watchdog 300  ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 652147294 HOME/instance-4284286-1503212243.xml

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

MD5SUM BENCH= a5381fa3d98671549d41a8d043d26ba4
RANDOM SEED=652147294

node105.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.17
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.17
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.17
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.17
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:        22955820 kB
MemAvailable:   31787444 kB
Buffers:          239224 kB
Cached:          8882180 kB
SwapCached:            0 kB
Active:          1280768 kB
Inactive:        8083864 kB
Active(anon):     193448 kB
Inactive(anon):    85892 kB
Active(file):    1087320 kB
Inactive(file):  7997972 kB
Unevictable:        7328 kB
Mlocked:            7328 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8084 kB
Writeback:             0 kB
AnonPages:        250208 kB
Mapped:            64008 kB
Shmem:             33420 kB
Slab:             151212 kB
SReclaimable:     124332 kB
SUnreclaim:        26880 kB
KernelStack:        3584 kB
PageTables:         5784 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1301964 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    151552 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 61788 MiB
End job on node105 at 2017-08-20 08:47:03