Trace number 4280362

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-18)SAT (TO)643 19979.6 2520.1101

General information on the benchmark

NameGolombRuler/GolombRuler-a3-s1/
GolombRuler-25-a3.xml
MD5SUM6f45dc36d2c69d93d2d76d2d98e801df
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark643
Best CPU time to get the best result obtained on this benchmark19979.6
Satisfiable
(Un)Satisfiability was proved
Number of variables650
Number of constraints303
Number of domains2
Minimum domain size1000
Maximum domain size1001
Distribution of domain sizes[{"size":1000,"count":300},{"size":1001,"count":25}]
Minimum variable degree0
Maximum variable degree26
Distribution of variable degrees[{"degree":0,"count":325},{"degree":2,"count":300},{"degree":25,"count":23},{"degree":26,"count":2}]
Minimum constraint arity1
Maximum constraint arity300
Distribution of constraint arities[{"arity":1,"count":1},{"arity":3,"count":300},{"arity":25,"count":1},{"arity":300,"count":1}]
Number of extensional constraints0
Number of intensional constraints301
Distribution of constraint types[{"type":"intension","count":301},{"type":"allDifferent","count":1},{"type":"ordered","count":1}]
Optimization problemYES
Type of objectivemin VAR

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280362-1503135921.xml"  -tl '20160s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4280362-1503135921.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.19	c 8 solvers in parallel
0.33/0.26	c parse instance...
2.12/0.85	c solve instance...
9.57/1.87	o 821 
10.34/1.93	o 819 
10.34/1.96	o 779 
10.98/2.07	o 773 
12.45/2.21	o 750 
13.19/2.33	o 739 
16.28/2.76	o 736 
17.06/2.85	o 728 
25.75/3.94	o 688 
137.25/17.99	o 679 
614.33/77.76	o 676 
663.63/83.98	o 674 
1062.52/133.91	o 672 
4442.11/560.34	o 669 
5107.82/644.19	o 668 
6217.28/785.09	o 667 
6810.43/860.55	o 666 
6860.14/868.69	o 643 
19978.89/2520.09	s SATISFIABLE
19978.89/2520.09	v <instantiation>
19978.89/2520.09	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[18][19] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[20][21] y[20][22] y[20][23] y[20][24] y[21][22] y[21][23] y[21][24] y[22][23] y[22][24] y[23][24] </list>
19978.89/2520.09	v 	<values>0 1 3 7 18 23 31 52 64 78 114 151 183 193 218 237 277 330 395 438 465 504 562 634 643 1 3 7 18 23 31 52 64 78 114 151 183 193 218 237 277 330 395 438 465 504 562 634 643 2 6 17 22 30 51 63 77 113 150 182 192 217 236 276 329 394 437 464 503 561 633 642 4 15 20 28 49 61 75 111 148 180 190 215 234 274 327 392 435 462 501 559 631 640 11 16 24 45 57 71 107 144 176 186 211 230 270 323 388 431 458 497 555 627 636 5 13 34 46 60 96 133 165 175 200 219 259 312 377 420 447 486 544 616 625 8 29 41 55 91 128 160 170 195 214 254 307 372 415 442 481 539 611 620 21 33 47 83 120 152 162 187 206 246 299 364 407 434 473 531 603 612 12 26 62 99 131 141 166 185 225 278 343 386 413 452 510 582 591 14 50 87 119 129 154 173 213 266 331 374 401 440 498 570 579 36 73 105 115 140 159 199 252 317 360 387 426 484 556 565 37 69 79 104 123 163 216 281 324 351 390 448 520 529 32 42 67 86 126 179 244 287 314 353 411 483 492 10 35 54 94 147 212 255 282 321 379 451 460 25 44 84 137 202 245 272 311 369 441 450 19 59 112 177 220 247 286 344 416 425 40 93 158 201 228 267 325 397 406 53 118 161 188 227 285 357 366 65 108 135 174 232 304 313 43 70 109 167 239 248 27 66 124 196 205 39 97 169 178 58 130 139 72 81 9 </values>
19978.89/2520.09	v </instantiation>
19978.89/2520.09	c Unexpected resolution interruption!

Verifier Data 

OK	643

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280362-1503135921/watcher-4280362-1503135921 -o /tmp/evaluation-result-4280362-1503135921/solver-4280362-1503135921 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1503130015-7961 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1955473667 HOME/instance-4280362-1503135921.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=8721, runsolver pid=8718
Current StackSize limit: 8192 KiB


[startup+0.100174 s]*
/proc/loadavg: 8.96 8.56 8.34 4/200 8742
/proc/meminfo: memFree=26189652/32770624 swapFree=67108860/67108860
[pid=8721] ppid=8718 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/8721/stat : 8721 (xcsp3-exec) S 8718 8721 7934 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 146679728 9740288 345 33554432000 4194304 5098028 140733732281936 140733732280040 140354635719292 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37048320 140733732283492 140733732283703 140733732283703 140733732286443 0
/proc/8721/statm: 2378 345 289 221 0 87 0
[pid=8723] ppid=8721 vsize=25999808 memory=26520 CPUtime=0.12 cores=0-7
/proc/8723/stat : 8723 (java) S 8721 8721 7934 0 -1 1077944320 5564 0 0 0 11 1 0 0 20 0 20 0 146679728 26623803392 6630 33554432000 4194304 4196468 140727901112224 140727901094768 139626775351031 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
/proc/8723/statm: 6499952 6630 2849 1 0 6488269 0
[pid=8723/tid=8724] ppid=8721 vsize=25999808 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/8723/task/8724/stat : 8724 (java) R 8721 8721 7934 0 -1 4202560 3577 0 0 0 8 0 0 0 20 0 20 0 146679729 26623803392 6630 33554432000 4194304 4196468 140727901112224 139626779583280 139626775362966 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8725] ppid=8721 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/8723/task/8725/stat : 8725 (java) S 8721 8721 7934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146679729 26623803392 6630 33554432000 4194304 4196468 140727901112224 139626727971600 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8726] ppid=8721 vsize=25999808 memory=139916590630528 CPUtime=0 cores=0-7
/proc/8723/task/8726/stat : 8726 (java) S 8721 8721 7934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146679729 26623803392 6630 33554432000 4194304 4196468 140727901112224 139626726919056 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8727] ppid=8721 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8723/task/8727/stat : 8727 (java) S 8721 8721 7934 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146679729 26623803392 6630 33554432000 4194304 4196468 140727901112224 139626725866512 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8728] ppid=8721 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8723/task/8728/stat : 8728 (java) S 8721 8721 7934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146679729 26623803392 6630 33554432000 4194304 4196468 140727901112224 139626724813968 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8729] ppid=8721 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8723/task/8729/stat : 8729 (java) S 8721 8721 7934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146679729 26623803392 6630 33554432000 4194304 4196468 140727901112224 139626723760400 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8730] ppid=8721 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/8723/task/8730/stat : 8730 (java) S 8721 8721 7934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146679729 26623803392 6630 33554432000 4194304 4196468 140727901112224 139626722707856 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8731] ppid=8721 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8723/task/8731/stat : 8731 (java) S 8721 8721 7934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146679729 26623803392 6630 33554432000 4194304 4196468 140727901112224 139626721655312 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8732] ppid=8721 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8723/task/8732/stat : 8732 (java) S 8721 8721 7934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146679729 26623803392 6630 33554432000 4194304 4196468 140727901112224 139626720602768 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8733] ppid=8721 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8723/task/8733/stat : 8733 (java) S 8721 8721 7934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146679731 26623803392 6630 33554432000 4194304 4196468 140727901112224 139625517455856 139626775362178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8734] ppid=8721 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8723/task/8734/stat : 8734 (java) S 8721 8721 7934 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146679731 26623803392 6630 33554432000 4194304 4196468 140727901112224 139625516402080 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8735] ppid=8721 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8723/task/8735/stat : 8735 (java) S 8721 8721 7934 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146679731 26623803392 6630 33554432000 4194304 4196468 140727901112224 139625515349488 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8736] ppid=8721 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8723/task/8736/stat : 8736 (java) S 8721 8721 7934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146679734 26623803392 6630 33554432000 4194304 4196468 140727901112224 139625514298064 139626775369627 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8737] ppid=8721 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8723/task/8737/stat : 8737 (java) S 8721 8721 7934 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 146679734 26623803392 6630 33554432000 4194304 4196468 140727901112224 139625513244656 139626775362178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8738] ppid=8721 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8723/task/8738/stat : 8738 (java) S 8721 8721 7934 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 146679734 26623803392 6630 33554432000 4194304 4196468 140727901112224 139625512192112 139626775362178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8739] ppid=8721 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8723/task/8739/stat : 8739 (java) S 8721 8721 7934 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146679734 26623803392 6630 33554432000 4194304 4196468 140727901112224 139625511139568 139626775362178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8740] ppid=8721 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/8723/task/8740/stat : 8740 (java) R 8721 8721 7934 0 -1 4202560 253 0 0 0 1 0 0 0 20 0 20 0 146679734 26623803392 6630 33554432000 4194304 4196468 140727901112224 139625510087024 139626775372378 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8741] ppid=8721 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/8723/task/8741/stat : 8741 (java) S 8721 8721 7934 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146679734 26623803392 6630 33554432000 4194304 4196468 140727901112224 139625509034720 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8742] ppid=8721 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/8723/task/8742/stat : 8742 (java) S 8721 8721 7934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146679734 26623803392 6630 33554432000 4194304 4196468 140727901112224 139625507982256 139626775362178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27900 KiB

[startup+0.209804 s]*
/proc/loadavg: 8.96 8.56 8.34 2/200 8742
/proc/meminfo: memFree=26178860/32770624 swapFree=67108860/67108860
[pid=8721] ppid=8718 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/8721/stat : 8721 (xcsp3-exec) S 8718 8721 7934 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 146679728 9740288 345 33554432000 4194304 5098028 140733732281936 140733732280040 140354635719292 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37048320 140733732283492 140733732283703 140733732283703 140733732286443 0
/proc/8721/statm: 2378 345 289 221 0 87 0
[pid=8723] ppid=8721 vsize=26004064 memory=38688 CPUtime=0.33 cores=0-7
/proc/8723/stat : 8723 (java) S 8721 8721 7934 0 -1 1077944320 8243 0 0 0 31 2 0 0 20 0 20 0 146679728 26628161536 9672 33554432000 4194304 4196468 140727901112224 140727901094768 139626775351031 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
/proc/8723/statm: 6501016 9672 3071 1 0 6488269 0
[pid=8723/tid=8724] ppid=8721 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/8723/task/8724/stat : 8724 (java) R 8721 8721 7934 0 -1 4202560 5428 0 0 0 19 1 0 0 20 0 20 0 146679729 26628161536 9672 33554432000 4194304 4196468 140727901112224 139626779561840 139626768067994 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8725] ppid=8721 vsize=26004096 memory=342 CPUtime=0 cores=0-7
/proc/8723/task/8725/stat : 8725 (java) S 8721 8721 7934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146679729 26628194304 9672 33554432000 4194304 4196468 140727901112224 139626727971600 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8726] ppid=8721 vsize=26004096 memory=4051188491612243616 CPUtime=0 cores=0-7
/proc/8723/task/8726/stat : 8726 (java) S 8721 8721 7934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146679729 26628194304 9672 33554432000 4194304 4196468 140727901112224 139626726919056 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8727] ppid=8721 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/8723/task/8727/stat : 8727 (java) S 8721 8721 7934 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146679729 26628161536 9693 33554432000 4194304 4196468 140727901112224 139626725866512 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8728] ppid=8721 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8723/task/8728/stat : 8728 (java) S 8721 8721 7934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146679729 26628161536 9693 33554432000 4194304 4196468 140727901112224 139626724813968 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8729] ppid=8721 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8723/task/8729/stat : 8729 (java) S 8721 8721 7934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146679729 26628161536 9693 33554432000 4194304 4196468 140727901112224 139626723760400 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8730] ppid=8721 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/8723/task/8730/stat : 8730 (java) S 8721 8721 7934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146679729 26628161536 9693 33554432000 4194304 4196468 140727901112224 139626722707856 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8731] ppid=8721 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8723/task/8731/stat : 8731 (java) S 8721 8721 7934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146679729 26628161536 9693 33554432000 4194304 4196468 140727901112224 139626721655312 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8732] ppid=8721 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8723/task/8732/stat : 8732 (java) S 8721 8721 7934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146679729 26628161536 9693 33554432000 4194304 4196468 140727901112224 139626720602768 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8733] ppid=8721 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8723/task/8733/stat : 8733 (java) S 8721 8721 7934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146679731 26628161536 9693 33554432000 4194304 4196468 140727901112224 139625517455856 139626775362178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8734] ppid=8721 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8723/task/8734/stat : 8734 (java) S 8721 8721 7934 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146679731 26628161536 9693 33554432000 4194304 4196468 140727901112224 139625516402080 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8735] ppid=8721 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8723/task/8735/stat : 8735 (java) S 8721 8721 7934 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146679731 26628161536 9693 33554432000 4194304 4196468 140727901112224 139625515349488 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8736] ppid=8721 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/8723/task/8736/stat : 8736 (java) S 8721 8721 7934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146679734 26628194304 9693 33554432000 4194304 4196468 140727901112224 139625514298064 139626775369627 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8737] ppid=8721 vsize=26004096 memory=0 CPUtime=0.01 cores=0-7
/proc/8723/task/8737/stat : 8737 (java) S 8721 8721 7934 0 -1 1077944384 400 0 0 0 1 0 0 0 20 0 20 0 146679734 26628194304 9693 33554432000 4194304 4196468 140727901112224 139625513244656 139626775362178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8738] ppid=8721 vsize=26004096 memory=0 CPUtime=0.02 cores=0-7
/proc/8723/task/8738/stat : 8738 (java) S 8721 8721 7934 0 -1 1077944384 354 0 0 0 2 0 0 0 20 0 20 0 146679734 26628194304 9693 33554432000 4194304 4196468 140727901112224 139625512192112 139626775362178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8739] ppid=8721 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/8723/task/8739/stat : 8739 (java) S 8721 8721 7934 0 -1 1077944384 41 0 0 0 1 0 0 0 20 0 20 0 146679734 26628161536 9693 33554432000 4194304 4196468 140727901112224 139625511139568 139626775362178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8740] ppid=8721 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/8723/task/8740/stat : 8740 (java) S 8721 8721 7934 0 -1 1077944384 714 0 0 0 7 0 0 0 20 0 20 0 146679734 26628161536 9693 33554432000 4194304 4196468 140727901112224 139625510087024 139626775362178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8741] ppid=8721 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8723/task/8741/stat : 8741 (java) S 8721 8721 7934 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146679734 26628161536 9693 33554432000 4194304 4196468 140727901112224 139625509034720 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8742] ppid=8721 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/8723/task/8742/stat : 8742 (java) S 8721 8721 7934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146679734 26628161536 9693 33554432000 4194304 4196468 140727901112224 139625507982256 139626775362178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40068 KiB

[startup+0.309474 s]*
/proc/loadavg: 8.96 8.56 8.34 3/200 8742
/proc/meminfo: memFree=26174332/32770624 swapFree=67108860/67108860
[pid=8721] ppid=8718 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/8721/stat : 8721 (xcsp3-exec) S 8718 8721 7934 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 146679728 9740288 345 33554432000 4194304 5098028 140733732281936 140733732280040 140354635719292 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37048320 140733732283492 140733732283703 140733732283703 140733732286443 0
/proc/8721/statm: 2378 345 289 221 0 87 0
[pid=8723] ppid=8721 vsize=26004064 memory=45628 CPUtime=0.5 cores=0-7
/proc/8723/stat : 8723 (java) S 8721 8721 7934 0 -1 1077944320 9140 0 0 0 47 3 0 0 20 0 20 0 146679728 26628161536 11407 33554432000 4194304 4196468 140727901112224 140727901094768 139626775351031 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
/proc/8723/statm: 6501016 11407 3101 1 0 6488269 0
[pid=8723/tid=8724] ppid=8721 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/8723/task/8724/stat : 8724 (java) R 8721 8721 7934 0 -1 4202560 6112 0 0 0 27 2 0 0 20 0 20 0 146679729 26628161536 11407 33554432000 4194304 4196468 140727901112224 139626779589264 139626775372957 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8725] ppid=8721 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8723/task/8725/stat : 8725 (java) S 8721 8721 7934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146679729 26628161536 11407 33554432000 4194304 4196468 140727901112224 139626727971600 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8726] ppid=8721 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8723/task/8726/stat : 8726 (java) S 8721 8721 7934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146679729 26628161536 11407 33554432000 4194304 4196468 140727901112224 139626726919056 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8727] ppid=8721 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8723/task/8727/stat : 8727 (java) S 8721 8721 7934 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146679729 26628161536 11407 33554432000 4194304 4196468 140727901112224 139626725866512 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8728] ppid=8721 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8723/task/8728/stat : 8728 (java) S 8721 8721 7934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146679729 26628161536 11407 33554432000 4194304 4196468 140727901112224 139626724813968 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8729] ppid=8721 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/8723/task/8729/stat : 8729 (java) S 8721 8721 7934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146679729 26628161536 11407 33554432000 4194304 4196468 140727901112224 139626723760400 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8730] ppid=8721 vsize=26004064 memory=139916478608303 CPUtime=0 cores=0-7
/proc/8723/task/8730/stat : 8730 (java) S 8721 8721 7934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146679729 26628161536 11407 33554432000 4194304 4196468 140727901112224 139626722707856 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8731] ppid=8721 vsize=26004064 memory=139916478610608 CPUtime=0 cores=0-7
/proc/8723/task/8731/stat : 8731 (java) S 8721 8721 7934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146679729 26628161536 11407 33554432000 4194304 4196468 140727901112224 139626721655312 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8732] ppid=8721 vsize=26004064 memory=139916478612912 CPUtime=0 cores=0-7
/proc/8723/task/8732/stat : 8732 (java) S 8721 8721 7934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146679729 26628161536 11407 33554432000 4194304 4196468 140727901112224 139626720602768 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8733] ppid=8721 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8723/task/8733/stat : 8733 (java) S 8721 8721 7934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146679731 26628161536 11407 33554432000 4194304 4196468 140727901112224 139625517455856 139626775362178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8734] ppid=8721 vsize=26004064 memory=279832957232784 CPUtime=0 cores=0-7
/proc/8723/task/8734/stat : 8734 (java) S 8721 8721 7934 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146679731 26628161536 11407 33554432000 4194304 4196468 140727901112224 139625516402080 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8735] ppid=8721 vsize=26004064 memory=279832957239696 CPUtime=0 cores=0-7
/proc/8723/task/8735/stat : 8735 (java) S 8721 8721 7934 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146679731 26628161536 11407 33554432000 4194304 4196468 140727901112224 139625515349488 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8736] ppid=8721 vsize=26004064 memory=279832957180976 CPUtime=0 cores=0-7
/proc/8723/task/8736/stat : 8736 (java) S 8721 8721 7934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146679734 26628161536 11407 33554432000 4194304 4196468 140727901112224 139625514298064 139626775369627 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8737] ppid=8721 vsize=26004064 memory=279832957253520 CPUtime=0.01 cores=0-7
/proc/8723/task/8737/stat : 8737 (java) S 8721 8721 7934 0 -1 1077944384 400 0 0 0 1 0 0 0 20 0 20 0 146679734 26628161536 11407 33554432000 4194304 4196468 140727901112224 139625513244656 139626775362178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8738] ppid=8721 vsize=26004064 memory=279832957260432 CPUtime=0.04 cores=0-7
/proc/8723/task/8738/stat : 8738 (java) R 8721 8721 7934 0 -1 4202560 421 0 0 0 4 0 0 0 20 0 20 0 146679734 26628161536 11407 33554432000 4194304 4196468 140727901112224 139625512182496 139626775372378 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8739] ppid=8721 vsize=26004064 memory=279832957258128 CPUtime=0.01 cores=0-7
/proc/8723/task/8739/stat : 8739 (java) S 8721 8721 7934 0 -1 1077944384 49 0 0 0 1 0 0 0 20 0 20 0 146679734 26628161536 11407 33554432000 4194304 4196468 140727901112224 139625511139568 139626775362178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8740] ppid=8721 vsize=26004064 memory=279832957274288 CPUtime=0.12 cores=0-7
/proc/8723/task/8740/stat : 8740 (java) R 8721 8721 7934 0 -1 4202560 855 0 0 0 12 0 0 0 20 0 20 0 146679734 26628161536 11407 33554432000 4194304 4196468 140727901112224 139625510082976 139626775362966 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8741] ppid=8721 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/8723/task/8741/stat : 8741 (java) S 8721 8721 7934 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146679734 26628161536 11407 33554432000 4194304 4196468 140727901112224 139625509034720 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8742] ppid=8721 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/8723/task/8742/stat : 8742 (java) S 8721 8721 7934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146679734 26628161536 11407 33554432000 4194304 4196468 140727901112224 139625507982256 139626775362178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47008 KiB

[startup+0.700951 s]
/proc/loadavg: 8.96 8.56 8.34 4/200 8742
/proc/meminfo: memFree=26160124/32770624 swapFree=67108860/67108860
[pid=8721] ppid=8718 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/8721/stat : 8721 (xcsp3-exec) S 8718 8721 7934 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 146679728 9740288 345 33554432000 4194304 5098028 140733732281936 140733732280040 140354635719292 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37048320 140733732283492 140733732283703 140733732283703 140733732286443 0
/proc/8721/statm: 2378 345 289 221 0 87 0
[pid=8723] ppid=8721 vsize=26006188 memory=84280 CPUtime=1.7 cores=0-7
/proc/8723/stat : 8723 (java) S 8721 8721 7934 0 -1 1077944320 13222 0 0 0 165 5 0 0 20 0 20 0 146679728 26630336512 21070 33554432000 4194304 4196468 140727901112224 140727901094768 139626775351031 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
/proc/8723/statm: 6501547 21070 3208 1 0 6488781 0
[pid=8723/tid=8724] ppid=8721 vsize=26006188 memory=279832957632176 CPUtime=0.66 cores=0-7
/proc/8723/task/8724/stat : 8724 (java) R 8721 8721 7934 0 -1 4202560 6856 0 0 0 64 2 0 0 20 0 20 0 146679729 26630336512 21070 33554432000 4194304 4196468 140727901112224 139626779584512 139626775372957 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8725] ppid=8721 vsize=26006188 memory=139916478817136 CPUtime=0 cores=0-7
/proc/8723/task/8725/stat : 8725 (java) S 8721 8721 7934 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146679729 26630336512 21070 33554432000 4194304 4196468 140727901112224 139626727971600 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8726] ppid=8721 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/8723/task/8726/stat : 8726 (java) S 8721 8721 7934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146679729 26630336512 21070 33554432000 4194304 4196468 140727901112224 139626726919056 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8727] ppid=8721 vsize=26006188 memory=1004 CPUtime=0 cores=0-7
/proc/8723/task/8727/stat : 8727 (java) S 8721 8721 7934 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146679729 26630336512 21070 33554432000 4194304 4196468 140727901112224 139626725866512 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0

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

[pid=8723/tid=8902] ppid=8721 vsize=26538700 memory=687848 CPUtime=1559.83 cores=0-7
/proc/8723/task/8902/stat : 8902 (java) R 8721 8721 7934 0 -1 4202560 6443 0 0 0 155977 6 0 0 20 0 28 0 146766597 27175628800 171962 33554432000 4194304 4196468 140727901112224 139625496813808 139626390819916 0 4 0 16800975 0 0 0 -1 6 0 0 7 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
Current children cumulated CPU time: 19360.9 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 689228 KiB

[startup+2502.3 s]
/proc/loadavg: 8.43 8.27 8.29 9/207 8949
/proc/meminfo: memFree=25530400/32770624 swapFree=67108860/67108860
[pid=8721] ppid=8718 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/8721/stat : 8721 (xcsp3-exec) S 8718 8721 7934 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 146679728 9740288 345 33554432000 4194304 5098028 140733732281936 140733732280040 140354635719292 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37048320 140733732283492 140733732283703 140733732283703 140733732286443 0
/proc/8721/statm: 2378 345 289 221 0 87 0
[pid=8723] ppid=8721 vsize=26538700 memory=687848 CPUtime=19838 cores=0-7
/proc/8723/stat : 8723 (java) S 8721 8721 7934 0 -1 1077944320 520525 0 0 0 1983083 719 0 0 20 0 28 0 146679728 27175628800 171962 33554432000 4194304 4196468 140727901112224 140727901094768 139626775351031 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
/proc/8723/statm: 6634675 171962 3289 1 0 6621909 0
[pid=8723/tid=8724] ppid=8721 vsize=26538700 memory=687848 CPUtime=0.85 cores=0-7
/proc/8723/task/8724/stat : 8724 (java) S 8721 8721 7934 0 -1 1077944384 8463 0 0 0 82 3 0 0 20 0 28 0 146679729 27175628800 171962 33554432000 4194304 4196468 140727901112224 139626779591808 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8725] ppid=8721 vsize=26538700 memory=1380 CPUtime=3.92 cores=0-7
/proc/8723/task/8725/stat : 8725 (java) S 8721 8721 7934 0 -1 1077944384 21513 0 0 0 372 20 0 0 20 0 28 0 146679729 27175628800 171962 33554432000 4194304 4196468 140727901112224 139626727971600 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8726] ppid=8721 vsize=26538700 memory=686440 CPUtime=3.9 cores=0-7
/proc/8723/task/8726/stat : 8726 (java) S 8721 8721 7934 0 -1 1077944384 20075 0 0 0 370 20 0 0 20 0 28 0 146679729 27175628800 171962 33554432000 4194304 4196468 140727901112224 139626726919056 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8727] ppid=8721 vsize=26538700 memory=1380 CPUtime=3.88 cores=0-7
/proc/8723/task/8727/stat : 8727 (java) S 8721 8721 7934 0 -1 1077944384 13703 0 0 0 370 18 0 0 20 0 28 0 146679729 27175628800 171962 33554432000 4194304 4196468 140727901112224 139626725866512 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8728] ppid=8721 vsize=26538700 memory=687848 CPUtime=3.89 cores=0-7
/proc/8723/task/8728/stat : 8728 (java) S 8721 8721 7934 0 -1 1077944384 25059 0 0 0 370 19 0 0 20 0 28 0 146679729 27175628800 171962 33554432000 4194304 4196468 140727901112224 139626724813968 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8729] ppid=8721 vsize=26538700 memory=273 CPUtime=3.92 cores=0-7
/proc/8723/task/8729/stat : 8729 (java) S 8721 8721 7934 0 -1 1077944384 19181 0 0 0 371 21 0 0 20 0 28 0 146679729 27175628800 171962 33554432000 4194304 4196468 140727901112224 139626723760400 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8730] ppid=8721 vsize=26538700 memory=7019467088006887224 CPUtime=3.88 cores=0-7
/proc/8723/task/8730/stat : 8730 (java) S 8721 8721 7934 0 -1 1077944384 18627 0 0 0 370 18 0 0 20 0 28 0 146679729 27175628800 171962 33554432000 4194304 4196468 140727901112224 139626722707856 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8731] ppid=8721 vsize=26538700 memory=4132 CPUtime=3.92 cores=0-7
/proc/8723/task/8731/stat : 8731 (java) S 8721 8721 7934 0 -1 1077944384 20690 0 0 0 371 21 0 0 20 0 28 0 146679729 27175628800 171962 33554432000 4194304 4196468 140727901112224 139626721655312 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8732] ppid=8721 vsize=26538700 memory=41116 CPUtime=3.87 cores=0-7
/proc/8723/task/8732/stat : 8732 (java) S 8721 8721 7934 0 -1 1077944384 17984 0 0 0 369 18 0 0 20 0 28 0 146679729 27175628800 171962 33554432000 4194304 4196468 140727901112224 139626720602768 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8733] ppid=8721 vsize=26538700 memory=1380 CPUtime=7.19 cores=0-7
/proc/8723/task/8733/stat : 8733 (java) S 8721 8721 7934 0 -1 1077944384 70081 0 0 0 352 367 0 0 20 0 28 0 146679731 27175628800 171962 33554432000 4194304 4196468 140727901112224 139625517455856 139626775362178 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8734] ppid=8721 vsize=26538700 memory=687848 CPUtime=0 cores=0-7
/proc/8723/task/8734/stat : 8734 (java) S 8721 8721 7934 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 146679731 27175628800 171962 33554432000 4194304 4196468 140727901112224 139625516402144 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8735] ppid=8721 vsize=26538700 memory=8576 CPUtime=0 cores=0-7
/proc/8723/task/8735/stat : 8735 (java) S 8721 8721 7934 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 146679731 27175628800 171962 33554432000 4194304 4196468 140727901112224 139625515349504 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8736] ppid=8721 vsize=26538700 memory=4616 CPUtime=0 cores=0-7
/proc/8723/task/8736/stat : 8736 (java) S 8721 8721 7934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 146679734 27175628800 171962 33554432000 4194304 4196468 140727901112224 139625514298064 139626775369627 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8737] ppid=8721 vsize=26538700 memory=1380 CPUtime=1.84 cores=0-7
/proc/8723/task/8737/stat : 8737 (java) S 8721 8721 7934 0 -1 1077944384 9553 0 0 0 182 2 0 0 20 0 28 0 146679734 27175628800 171962 33554432000 4194304 4196468 140727901112224 139625513244656 139626775362178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8738] ppid=8721 vsize=26538700 memory=687848 CPUtime=2.17 cores=0-7
/proc/8723/task/8738/stat : 8738 (java) S 8721 8721 7934 0 -1 1077944384 13044 0 0 0 216 1 0 0 20 0 28 0 146679734 27175628800 171962 33554432000 4194304 4196468 140727901112224 139625512192112 139626775362178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8739] ppid=8721 vsize=26538700 memory=41116 CPUtime=2.12 cores=0-7
/proc/8723/task/8739/stat : 8739 (java) S 8721 8721 7934 0 -1 1077944384 13166 0 0 0 209 3 0 0 20 0 28 0 146679734 27175628800 171962 33554432000 4194304 4196468 140727901112224 139625511139568 139626775362178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8740] ppid=8721 vsize=26538700 memory=1236 CPUtime=0.78 cores=0-7
/proc/8723/task/8740/stat : 8740 (java) S 8721 8721 7934 0 -1 1077944384 15582 0 0 0 75 3 0 0 20 0 28 0 146679734 27175628800 171962 33554432000 4194304 4196468 140727901112224 139625510087024 139626775362178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8741] ppid=8721 vsize=26538700 memory=960 CPUtime=0 cores=0-7
/proc/8723/task/8741/stat : 8741 (java) S 8721 8721 7934 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146679734 27175628800 171962 33554432000 4194304 4196468 140727901112224 139625509034720 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8742] ppid=8721 vsize=26538700 memory=1380 CPUtime=0.52 cores=0-7
/proc/8723/task/8742/stat : 8742 (java) S 8721 8721 7934 0 -1 1077944384 5427 0 0 0 36 16 0 0 20 0 28 0 146679734 27175628800 171962 33554432000 4194304 4196468 140727901112224 139625507982256 139626775362178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8895] ppid=8721 vsize=26538700 memory=687848 CPUtime=1616.59 cores=0-7
/proc/8723/task/8895/stat : 8895 (java) R 8721 8721 7934 0 -1 4202560 8268 0 0 0 161651 8 0 0 20 0 28 0 146766597 27175628800 171962 33554432000 4194304 4196468 140727901112224 139624083074128 139626390305461 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8896] ppid=8721 vsize=26538700 memory=687848 CPUtime=1617.07 cores=0-7
/proc/8723/task/8896/stat : 8896 (java) R 8721 8721 7934 0 -1 4202560 7891 0 0 0 161699 8 0 0 20 0 28 0 146766597 27175628800 171962 33554432000 4194304 4196468 140727901112224 139624085180992 139626390343570 0 4 0 16800975 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8897] ppid=8721 vsize=26538700 memory=2332 CPUtime=1620.2 cores=0-7
/proc/8723/task/8897/stat : 8897 (java) R 8721 8721 7934 0 -1 4202560 27495 0 0 0 162008 12 0 0 20 0 28 0 146766597 27175628800 171962 33554432000 4194304 4196468 140727901112224 139625495762640 139626390820399 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8898] ppid=8721 vsize=26538700 memory=1380 CPUtime=1621.06 cores=0-7
/proc/8723/task/8898/stat : 8898 (java) R 8721 8721 7934 0 -1 4202560 30492 0 0 0 162079 27 0 0 20 0 28 0 146766597 27175628800 171962 33554432000 4194304 4196468 140727901112224 139625499971800 139626390305059 0 4 0 16800975 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8899] ppid=8721 vsize=26538700 memory=1380 CPUtime=1620.44 cores=0-7
/proc/8723/task/8899/stat : 8899 (java) R 8721 8721 7934 0 -1 4202560 19826 0 0 0 162033 11 0 0 20 0 28 0 146766597 27175628800 171962 33554432000 4194304 4196468 140727901112224 139625498918848 139626389831585 0 4 0 16800975 0 0 0 -1 6 0 0 8 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8900] ppid=8721 vsize=26538700 memory=687848 CPUtime=1616.88 cores=0-7
/proc/8723/task/8900/stat : 8900 (java) R 8721 8721 7934 0 -1 4202560 12574 0 0 0 161676 12 0 0 20 0 28 0 146766597 27175628800 171962 33554432000 4194304 4196468 140727901112224 139624084127728 139626390820453 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8901] ppid=8721 vsize=26538700 memory=687848 CPUtime=1616.02 cores=0-7
/proc/8723/task/8901/stat : 8901 (java) R 8721 8721 7934 0 -1 4202560 7314 0 0 0 161595 7 0 0 20 0 28 0 146766597 27175628800 171962 33554432000 4194304 4196468 140727901112224 139625497866080 139626390305059 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8902] ppid=8721 vsize=26538700 memory=1380 CPUtime=1619.51 cores=0-7
/proc/8723/task/8902/stat : 8902 (java) R 8721 8721 7934 0 -1 4202560 6769 0 0 0 161945 6 0 0 20 0 28 0 146766597 27175628800 171962 33554432000 4194304 4196468 140727901112224 139625496814160 139626389831271 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
Current children cumulated CPU time: 19838 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 689228 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.41 8.27 8.29 9/207 8949
/proc/meminfo: memFree=25530368/32770624 swapFree=67108860/67108860
[pid=8721] ppid=8718 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/8721/stat : 8721 (xcsp3-exec) S 8718 8721 7934 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 146679728 9740288 345 33554432000 4194304 5098028 140733732281936 140733732280040 140354635719292 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 37048320 140733732283492 140733732283703 140733732283703 140733732286443 0
/proc/8721/statm: 2378 345 289 221 0 87 0
[pid=8723] ppid=8721 vsize=26538700 memory=687848 CPUtime=19978.9 cores=0-7
/proc/8723/stat : 8723 (java) S 8721 8721 7934 0 -1 1077944320 525402 0 0 0 1997167 722 0 0 20 0 28 0 146679728 27175628800 171962 33554432000 4194304 4196468 140727901112224 140727901094768 139626775351031 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
/proc/8723/statm: 6634675 171962 3289 1 0 6621909 0
[pid=8723/tid=8724] ppid=8721 vsize=26538700 memory=18292 CPUtime=0.85 cores=0-7
/proc/8723/task/8724/stat : 8724 (java) S 8721 8721 7934 0 -1 1077944384 8463 0 0 0 82 3 0 0 20 0 28 0 146679729 27175628800 171962 33554432000 4194304 4196468 140727901112224 139626779591808 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8725] ppid=8721 vsize=26538700 memory=1792 CPUtime=3.95 cores=0-7
/proc/8723/task/8725/stat : 8725 (java) S 8721 8721 7934 0 -1 1077944384 22059 0 0 0 375 20 0 0 20 0 28 0 146679729 27175628800 171962 33554432000 4194304 4196468 140727901112224 139626727971600 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8726] ppid=8721 vsize=26538700 memory=648 CPUtime=3.93 cores=0-7
/proc/8723/task/8726/stat : 8726 (java) S 8721 8721 7934 0 -1 1077944384 20192 0 0 0 373 20 0 0 20 0 28 0 146679729 27175628800 171962 33554432000 4194304 4196468 140727901112224 139626726919056 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8727] ppid=8721 vsize=26538700 memory=4126316290023845779 CPUtime=3.92 cores=0-7
/proc/8723/task/8727/stat : 8727 (java) S 8721 8721 7934 0 -1 1077944384 13815 0 0 0 374 18 0 0 20 0 28 0 146679729 27175628800 171962 33554432000 4194304 4196468 140727901112224 139626725866512 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8728] ppid=8721 vsize=26538700 memory=4616 CPUtime=3.93 cores=0-7
/proc/8723/task/8728/stat : 8728 (java) S 8721 8721 7934 0 -1 1077944384 25746 0 0 0 374 19 0 0 20 0 28 0 146679729 27175628800 171962 33554432000 4194304 4196468 140727901112224 139626724813968 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8729] ppid=8721 vsize=26538700 memory=1720 CPUtime=3.96 cores=0-7
/proc/8723/task/8729/stat : 8729 (java) S 8721 8721 7934 0 -1 1077944384 19375 0 0 0 375 21 0 0 20 0 28 0 146679729 27175628800 171962 33554432000 4194304 4196468 140727901112224 139626723760400 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8730] ppid=8721 vsize=26538700 memory=1004 CPUtime=3.92 cores=0-7
/proc/8723/task/8730/stat : 8730 (java) S 8721 8721 7934 0 -1 1077944384 18683 0 0 0 373 19 0 0 20 0 28 0 146679729 27175628800 171962 33554432000 4194304 4196468 140727901112224 139626722707856 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8731] ppid=8721 vsize=26538700 memory=1436 CPUtime=3.96 cores=0-7
/proc/8723/task/8731/stat : 8731 (java) S 8721 8721 7934 0 -1 1077944384 20800 0 0 0 375 21 0 0 20 0 28 0 146679729 27175628800 171962 33554432000 4194304 4196468 140727901112224 139626721655312 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8732] ppid=8721 vsize=26538700 memory=1200 CPUtime=3.91 cores=0-7
/proc/8723/task/8732/stat : 8732 (java) S 8721 8721 7934 0 -1 1077944384 18055 0 0 0 372 19 0 0 20 0 28 0 146679729 27175628800 171962 33554432000 4194304 4196468 140727901112224 139626720602768 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8733] ppid=8721 vsize=26538700 memory=15876 CPUtime=7.22 cores=0-7
/proc/8723/task/8733/stat : 8733 (java) S 8721 8721 7934 0 -1 1077944384 70716 0 0 0 354 368 0 0 20 0 28 0 146679731 27175628800 171962 33554432000 4194304 4196468 140727901112224 139625517455856 139626775362178 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8734] ppid=8721 vsize=26538700 memory=4040 CPUtime=0 cores=0-7
/proc/8723/task/8734/stat : 8734 (java) S 8721 8721 7934 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 146679731 27175628800 171962 33554432000 4194304 4196468 140727901112224 139625516402144 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8735] ppid=8721 vsize=26538700 memory=23436 CPUtime=0 cores=0-7
/proc/8723/task/8735/stat : 8735 (java) S 8721 8721 7934 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 146679731 27175628800 171962 33554432000 4194304 4196468 140727901112224 139625515349504 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8736] ppid=8721 vsize=26538700 memory=18292 CPUtime=0 cores=0-7
/proc/8723/task/8736/stat : 8736 (java) S 8721 8721 7934 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 146679734 27175628800 171962 33554432000 4194304 4196468 140727901112224 139625514298064 139626775369627 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8737] ppid=8721 vsize=26538700 memory=1792 CPUtime=1.84 cores=0-7
/proc/8723/task/8737/stat : 8737 (java) S 8721 8721 7934 0 -1 1077944384 9561 0 0 0 182 2 0 0 20 0 28 0 146679734 27175628800 171962 33554432000 4194304 4196468 140727901112224 139625513244656 139626775362178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8738] ppid=8721 vsize=26538700 memory=648 CPUtime=2.17 cores=0-7
/proc/8723/task/8738/stat : 8738 (java) S 8721 8721 7934 0 -1 1077944384 13052 0 0 0 216 1 0 0 20 0 28 0 146679734 27175628800 171962 33554432000 4194304 4196468 140727901112224 139625512192112 139626775362178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8739] ppid=8721 vsize=26538700 memory=1236 CPUtime=2.12 cores=0-7
/proc/8723/task/8739/stat : 8739 (java) S 8721 8721 7934 0 -1 1077944384 13174 0 0 0 209 3 0 0 20 0 28 0 146679734 27175628800 171962 33554432000 4194304 4196468 140727901112224 139625511139568 139626775362178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8740] ppid=8721 vsize=26538700 memory=960 CPUtime=0.78 cores=0-7
/proc/8723/task/8740/stat : 8740 (java) S 8721 8721 7934 0 -1 1077944384 15590 0 0 0 75 3 0 0 20 0 28 0 146679734 27175628800 171962 33554432000 4194304 4196468 140727901112224 139625510087024 139626775362178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8741] ppid=8721 vsize=26538700 memory=2424 CPUtime=0 cores=0-7
/proc/8723/task/8741/stat : 8741 (java) S 8721 8721 7934 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146679734 27175628800 171962 33554432000 4194304 4196468 140727901112224 139625509034720 139626775361237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8742] ppid=8721 vsize=26538700 memory=2236 CPUtime=0.52 cores=0-7
/proc/8723/task/8742/stat : 8742 (java) S 8721 8721 7934 0 -1 1077944384 5466 0 0 0 36 16 0 0 20 0 28 0 146679734 27175628800 171962 33554432000 4194304 4196468 140727901112224 139625507982256 139626775362178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8895] ppid=8721 vsize=26538700 memory=4084 CPUtime=1634.13 cores=0-7
/proc/8723/task/8895/stat : 8895 (java) R 8721 8721 7934 0 -1 4202560 8406 0 0 0 163405 8 0 0 20 0 28 0 146766597 27175628800 171962 33554432000 4194304 4196468 140727901112224 139624083074008 139626390340190 0 4 0 16800975 0 0 0 -1 7 0 0 7 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8896] ppid=8721 vsize=26538700 memory=932 CPUtime=1634.6 cores=0-7
/proc/8723/task/8896/stat : 8896 (java) R 8721 8721 7934 0 -1 4202560 8021 0 0 0 163451 9 0 0 20 0 28 0 146766597 27175628800 171962 33554432000 4194304 4196468 140727901112224 139624085180528 139626389831595 0 4 0 16800975 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8897] ppid=8721 vsize=26538700 memory=1572 CPUtime=1637.82 cores=0-7
/proc/8723/task/8897/stat : 8897 (java) R 8721 8721 7934 0 -1 4202560 27885 0 0 0 163770 12 0 0 20 0 28 0 146766597 27175628800 171962 33554432000 4194304 4196468 140727901112224 139625495762752 139626389831585 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8898] ppid=8721 vsize=26538700 memory=2200 CPUtime=1638.56 cores=0-7
/proc/8723/task/8898/stat : 8898 (java) R 8721 8721 7934 0 -1 4202560 31162 0 0 0 163829 27 0 0 20 0 28 0 146766597 27175628800 171962 33554432000 4194304 4196468 140727901112224 139625499971312 139626390788143 0 4 0 16800975 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8899] ppid=8721 vsize=26538700 memory=8048 CPUtime=1638.07 cores=0-7
/proc/8723/task/8899/stat : 8899 (java) R 8721 8721 7934 0 -1 4202560 20207 0 0 0 163796 11 0 0 20 0 28 0 146766597 27175628800 171962 33554432000 4194304 4196468 140727901112224 139625498918744 139626390820307 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8900] ppid=8721 vsize=26538700 memory=8112282956445269571 CPUtime=1634.48 cores=0-7
/proc/8723/task/8900/stat : 8900 (java) R 8721 8721 7934 0 -1 4202560 12865 0 0 0 163436 12 0 0 20 0 28 0 146766597 27175628800 171962 33554432000 4194304 4196468 140727901112224 139624084127472 139626390412144 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8901] ppid=8721 vsize=26538700 memory=2332 CPUtime=1633.64 cores=0-7
/proc/8723/task/8901/stat : 8901 (java) R 8721 8721 7934 0 -1 4202560 7441 0 0 0 163357 7 0 0 20 0 28 0 146766597 27175628800 171962 33554432000 4194304 4196468 140727901112224 139625497866200 139626390341891 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
[pid=8723/tid=8902] ppid=8721 vsize=26538700 memory=1292 CPUtime=1637.06 cores=0-7
/proc/8723/task/8902/stat : 8902 (java) R 8721 8721 7934 0 -1 4202560 6920 0 0 0 163699 7 0 0 20 0 28 0 146766597 27175628800 171962 33554432000 4194304 4196468 140727901112224 139625496813896 139626390305426 0 4 0 16800975 0 0 0 -1 6 0 0 7 0 0 6293624 6294260 13123584 140727901115538 140727901115715 140727901115715 140727901118415 0
Current children cumulated CPU time: 19978.9 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 689228 KiB

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

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

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

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

Child status: 143
Real time (s): 2520.11
CPU time (s): 19979.6
CPU user time (s): 19972.4
CPU system time (s): 7.23121
CPU usage (%): 792.808
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 1163724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19972.4
system time used= 7.23121
maximum resident set size= 1170536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 526536
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 205684
involuntary context switches= 207061


# summary of solver processes directly reported to runsolver:
#   pid: 8721,8723
#   total CPU time (s): 19979.6
#   total CPU user time (s): 19972.4
#   total CPU system time (s): 7.23121

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 25.0472 second user time and 23.6234 second system time

The end

Launcher Data 

Begin job on node112 at 2017-08-19 11:31:01
IDJOB=4280362
IDBENCH=126214
IDSOLVER=2675
FILE ID=node112/4280362-1503135921
RUNJOBID= node112-1503130015-7961
PBS_JOBID= 20630782
Free space on /tmp= 61856 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-25-a3.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4280362-1503135921/watcher-4280362-1503135921 -o /tmp/evaluation-result-4280362-1503135921/solver-4280362-1503135921 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1503130015-7961 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1955473667 HOME/instance-4280362-1503135921.xml

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

MD5SUM BENCH= 6f45dc36d2c69d93d2d76d2d98e801df
RANDOM SEED=1955473667

node112.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.24
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.24
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.24
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.24
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:        26207004 kB
MemAvailable:   31971700 kB
Buffers:          246116 kB
Cached:          5808516 kB
SwapCached:            0 kB
Active:          1090900 kB
Inactive:        5015908 kB
Active(anon):       3944 kB
Inactive(anon):    84428 kB
Active(file):    1086956 kB
Inactive(file):  4931480 kB
Unevictable:        7840 kB
Mlocked:            7840 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7768 kB
Writeback:             0 kB
AnonPages:         59792 kB
Mapped:            50600 kB
Shmem:             33416 kB
Slab:             151060 kB
SReclaimable:     124192 kB
SUnreclaim:        26868 kB
KernelStack:        3184 kB
PageTables:         4752 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     333016 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61848 MiB
End job on node112 at 2017-08-19 12:13:01