Trace number 4271545

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-09)SAT (TO)877 2003.88 252.11

General information on the benchmark

NameGolombRuler/GolombRuler-a3-s1/
GolombRuler-28-a3.xml
MD5SUM7bf94b2c859f2895a81dfe97f17444ea
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark877
Best CPU time to get the best result obtained on this benchmark2003.88
Satisfiable
(Un)Satisfiability was proved
Number of variables812
Number of constraints381
Number of domains2
Minimum domain size1000
Maximum domain size1001
Distribution of domain sizes[{"size":1000,"count":378},{"size":1001,"count":28}]
Minimum variable degree0
Maximum variable degree29
Distribution of variable degrees[{"degree":0,"count":406},{"degree":2,"count":378},{"degree":28,"count":26},{"degree":29,"count":2}]
Minimum constraint arity1
Maximum constraint arity378
Distribution of constraint arities[{"arity":1,"count":1},{"arity":3,"count":378},{"arity":28,"count":1},{"arity":378,"count":1}]
Number of extensional constraints0
Number of intensional constraints379
Distribution of constraint types[{"type":"intension","count":379},{"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-4271545-1502642260.xml"  -tl '2016s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4271545-1502642260.xml, -tl, 2016s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.33/0.27	c parse instance...
2.49/0.91	c solve instance...
15.03/2.63	o 1000 
17.40/2.93	o 984 
18.86/3.16	o 946 
121.53/16.04	o 940 
125.20/16.50	o 929 
236.06/30.43	o 919 
405.51/51.72	o 915 
423.73/54.06	o 905 
855.24/108.17	o 894 
1964.17/247.16	o 877 
2003.18/252.08	s SATISFIABLE
2003.18/252.08	v <instantiation>
2003.18/252.08	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] 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[0][25] y[0][26] y[0][27] 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[1][25] y[1][26] y[1][27] 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[2][25] y[2][26] y[2][27] 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[3][25] y[3][26] y[3][27] 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[4][25] y[4][26] y[4][27] 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[5][25] y[5][26] y[5][27] 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[6][25] y[6][26] y[6][27] 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[7][25] y[7][26] y[7][27] 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[8][25] y[8][26] y[8][27] 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[9][25] y[9][26] y[9][27] 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[10][25] y[10][26] y[10][27] 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[11][25] y[11][26] y[11][27] 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[12][25] y[12][26] y[12][27] 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[13][25] y[13][26] y[13][27] 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[14][25] y[14][26] y[14][27] 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[15][25] y[15][26] y[15][27] 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[16][25] y[16][26] y[16][27] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[18][19] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[23][24] y[23][25] y[23][26] y[23][27] y[24][25] y[24][26] y[24][27] y[25][26] y[25][27] y[26][27] </list>
2003.18/252.08	v 	<values>0 1 3 10 14 22 37 42 66 72 112 145 163 188 237 282 320 336 367 420 500 526 587 676 743 800 860 877 1 3 10 14 22 37 42 66 72 112 145 163 188 237 282 320 336 367 420 500 526 587 676 743 800 860 877 2 9 13 21 36 41 65 71 111 144 162 187 236 281 319 335 366 419 499 525 586 675 742 799 859 876 7 11 19 34 39 63 69 109 142 160 185 234 279 317 333 364 417 497 523 584 673 740 797 857 874 4 12 27 32 56 62 102 135 153 178 227 272 310 326 357 410 490 516 577 666 733 790 850 867 8 23 28 52 58 98 131 149 174 223 268 306 322 353 406 486 512 573 662 729 786 846 863 15 20 44 50 90 123 141 166 215 260 298 314 345 398 478 504 565 654 721 778 838 855 5 29 35 75 108 126 151 200 245 283 299 330 383 463 489 550 639 706 763 823 840 24 30 70 103 121 146 195 240 278 294 325 378 458 484 545 634 701 758 818 835 6 46 79 97 122 171 216 254 270 301 354 434 460 521 610 677 734 794 811 40 73 91 116 165 210 248 264 295 348 428 454 515 604 671 728 788 805 33 51 76 125 170 208 224 255 308 388 414 475 564 631 688 748 765 18 43 92 137 175 191 222 275 355 381 442 531 598 655 715 732 25 74 119 157 173 204 257 337 363 424 513 580 637 697 714 49 94 132 148 179 232 312 338 399 488 555 612 672 689 45 83 99 130 183 263 289 350 439 506 563 623 640 38 54 85 138 218 244 305 394 461 518 578 595 16 47 100 180 206 267 356 423 480 540 557 31 84 164 190 251 340 407 464 524 541 53 133 159 220 309 376 433 493 510 80 106 167 256 323 380 440 457 26 87 176 243 300 360 377 61 150 217 274 334 351 89 156 213 273 290 67 124 184 201 57 117 134 60 77 17 </values>
2003.18/252.08	v </instantiation>
2003.18/252.08	c Unexpected resolution interruption!

Verifier Data 

OK	877

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271545-1502642260/watcher-4271545-1502642260 -o /tmp/evaluation-result-4271545-1502642260/solver-4271545-1502642260 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node106-1502637338-4709 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1500456973 HOME/instance-4271545-1502642260.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=12413, runsolver pid=12410
Current StackSize limit: 8192 KiB


[startup+0.100232 s]*
/proc/loadavg: 8.03 7.57 7.11 2/201 12434
/proc/meminfo: memFree=31495752/32770624 swapFree=67108860/67108860
[pid=12413] ppid=12410 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/12413/stat : 12413 (xcsp3-exec) S 12410 12413 4682 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97313837 9740288 345 33554432000 4194304 5098028 140727095020272 140727095018376 139825738470012 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13115392 140727095026794 140727095027004 140727095027004 140727095029739 0
/proc/12413/statm: 2378 345 289 221 0 87 0
[pid=12415] ppid=12413 vsize=25999808 memory=26216 CPUtime=0.11 cores=0-7
/proc/12415/stat : 12415 (java) S 12413 12413 4682 0 -1 1077944320 5485 0 0 0 10 1 0 0 20 0 20 0 97313838 26623803392 6554 33554432000 4194304 4196468 140729176264320 140729176246864 140495876902647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
/proc/12415/statm: 6499952 6554 2844 1 0 6488269 0
[pid=12415/tid=12416] ppid=12413 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/12415/task/12416/stat : 12416 (java) R 12413 12413 4682 0 -1 4202560 3480 0 0 0 8 1 0 0 20 0 20 0 97313838 26623803392 6554 33554432000 4194304 4196468 140729176264320 140495881135920 140495860983134 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12417] ppid=12413 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/12415/task/12417/stat : 12417 (java) S 12413 12413 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97313839 26623803392 6554 33554432000 4194304 4196468 140729176264320 140495435462928 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12418] ppid=12413 vsize=25999808 memory=140131249608320 CPUtime=0 cores=0-7
/proc/12415/task/12418/stat : 12418 (java) S 12413 12413 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97313839 26623803392 6554 33554432000 4194304 4196468 140729176264320 140495434410384 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12419] ppid=12413 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12415/task/12419/stat : 12419 (java) S 12413 12413 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97313839 26623803392 6554 33554432000 4194304 4196468 140729176264320 140495433357840 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12420] ppid=12413 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12415/task/12420/stat : 12420 (java) S 12413 12413 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97313839 26623803392 6554 33554432000 4194304 4196468 140729176264320 140495432305296 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12421] ppid=12413 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12415/task/12421/stat : 12421 (java) S 12413 12413 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97313839 26623803392 6554 33554432000 4194304 4196468 140729176264320 140495431252752 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12422] ppid=12413 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/12415/task/12422/stat : 12422 (java) S 12413 12413 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97313839 26623803392 6554 33554432000 4194304 4196468 140729176264320 140495430200208 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12423] ppid=12413 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12415/task/12423/stat : 12423 (java) S 12413 12413 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97313839 26623803392 6554 33554432000 4194304 4196468 140729176264320 140495429147664 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12424] ppid=12413 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12415/task/12424/stat : 12424 (java) S 12413 12413 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97313839 26623803392 6554 33554432000 4194304 4196468 140729176264320 140495428095120 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12425] ppid=12413 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12415/task/12425/stat : 12425 (java) S 12413 12413 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97313840 26623803392 6554 33554432000 4194304 4196468 140729176264320 140494462670832 140495876913794 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12426] ppid=12413 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12415/task/12426/stat : 12426 (java) S 12413 12413 4682 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97313841 26623803392 6554 33554432000 4194304 4196468 140729176264320 140494461617056 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12427] ppid=12413 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12415/task/12427/stat : 12427 (java) S 12413 12413 4682 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97313841 26623803392 6554 33554432000 4194304 4196468 140729176264320 140494460564464 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12428] ppid=12413 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12415/task/12428/stat : 12428 (java) S 12413 12413 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97313843 26623803392 6554 33554432000 4194304 4196468 140729176264320 140494459513040 140495876921243 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12429] ppid=12413 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12415/task/12429/stat : 12429 (java) S 12413 12413 4682 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 20 0 97313843 26623803392 6554 33554432000 4194304 4196468 140729176264320 140494458460656 140495876913794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12430] ppid=12413 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12415/task/12430/stat : 12430 (java) R 12413 12413 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97313843 26623803392 6554 33554432000 4194304 4196468 140729176264320 140494457408112 140495876913794 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12431] ppid=12413 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12415/task/12431/stat : 12431 (java) S 12413 12413 4682 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 97313843 26623803392 6554 33554432000 4194304 4196468 140729176264320 140494456355568 140495876913794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12432] ppid=12413 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/12415/task/12432/stat : 12432 (java) S 12413 12413 4682 0 -1 1077944384 263 0 0 0 1 0 0 0 20 0 20 0 97313843 26623803392 6554 33554432000 4194304 4196468 140729176264320 140494455303024 140495876913794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12433] ppid=12413 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12415/task/12433/stat : 12433 (java) S 12413 12413 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97313844 26623803392 6554 33554432000 4194304 4196468 140729176264320 140494454249696 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12434] ppid=12413 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/12415/task/12434/stat : 12434 (java) S 12413 12413 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97313844 26623803392 6554 33554432000 4194304 4196468 140729176264320 140494453197232 140495876913794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27596 KiB

[startup+0.210597 s]*
/proc/loadavg: 8.03 7.57 7.11 2/201 12434
/proc/meminfo: memFree=31484588/32770624 swapFree=67108860/67108860
[pid=12413] ppid=12410 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/12413/stat : 12413 (xcsp3-exec) S 12410 12413 4682 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97313837 9740288 345 33554432000 4194304 5098028 140727095020272 140727095018376 139825738470012 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13115392 140727095026794 140727095027004 140727095027004 140727095029739 0
/proc/12413/statm: 2378 345 289 221 0 87 0
[pid=12415] ppid=12413 vsize=26004064 memory=39080 CPUtime=0.33 cores=0-7
/proc/12415/stat : 12415 (java) S 12413 12413 4682 0 -1 1077944320 8310 0 0 0 31 2 0 0 20 0 20 0 97313838 26628161536 9770 33554432000 4194304 4196468 140729176264320 140729176246864 140495876902647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
/proc/12415/statm: 6501016 9770 3051 1 0 6488269 0
[pid=12415/tid=12416] ppid=12413 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/12415/task/12416/stat : 12416 (java) R 12413 12413 4682 0 -1 4202560 5387 0 0 0 18 2 0 0 20 0 20 0 97313838 26628161536 9770 33554432000 4194304 4196468 140729176264320 140495881125536 140495869580661 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12417] ppid=12413 vsize=26004064 memory=329 CPUtime=0 cores=0-7
/proc/12415/task/12417/stat : 12417 (java) S 12413 12413 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97313839 26628161536 9770 33554432000 4194304 4196468 140729176264320 140495435462928 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12418] ppid=12413 vsize=26004064 memory=140131249737108 CPUtime=0 cores=0-7
/proc/12415/task/12418/stat : 12418 (java) S 12413 12413 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97313839 26628161536 9770 33554432000 4194304 4196468 140729176264320 140495434410384 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12419] ppid=12413 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/12415/task/12419/stat : 12419 (java) S 12413 12413 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97313839 26628161536 9770 33554432000 4194304 4196468 140729176264320 140495433357840 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12420] ppid=12413 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12415/task/12420/stat : 12420 (java) S 12413 12413 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97313839 26628161536 9770 33554432000 4194304 4196468 140729176264320 140495432305296 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12421] ppid=12413 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12415/task/12421/stat : 12421 (java) S 12413 12413 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97313839 26628161536 9770 33554432000 4194304 4196468 140729176264320 140495431252752 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12422] ppid=12413 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/12415/task/12422/stat : 12422 (java) S 12413 12413 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97313839 26628161536 9770 33554432000 4194304 4196468 140729176264320 140495430200208 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12423] ppid=12413 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12415/task/12423/stat : 12423 (java) S 12413 12413 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97313839 26628161536 9770 33554432000 4194304 4196468 140729176264320 140495429147664 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12424] ppid=12413 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12415/task/12424/stat : 12424 (java) S 12413 12413 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97313839 26628161536 9770 33554432000 4194304 4196468 140729176264320 140495428095120 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12425] ppid=12413 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12415/task/12425/stat : 12425 (java) S 12413 12413 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97313840 26628161536 9770 33554432000 4194304 4196468 140729176264320 140494462670832 140495876913794 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12426] ppid=12413 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12415/task/12426/stat : 12426 (java) S 12413 12413 4682 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97313841 26628161536 9770 33554432000 4194304 4196468 140729176264320 140494461617056 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12427] ppid=12413 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12415/task/12427/stat : 12427 (java) S 12413 12413 4682 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97313841 26628161536 9770 33554432000 4194304 4196468 140729176264320 140494460564464 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12428] ppid=12413 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12415/task/12428/stat : 12428 (java) S 12413 12413 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97313843 26628161536 9770 33554432000 4194304 4196468 140729176264320 140494459513040 140495876921243 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12429] ppid=12413 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12415/task/12429/stat : 12429 (java) S 12413 12413 4682 0 -1 1077944384 385 0 0 0 0 0 0 0 20 0 20 0 97313843 26628161536 9770 33554432000 4194304 4196468 140729176264320 140494458460656 140495876913794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12430] ppid=12413 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/12415/task/12430/stat : 12430 (java) S 12413 12413 4682 0 -1 1077944384 267 0 0 0 2 0 0 0 20 0 20 0 97313843 26628161536 9770 33554432000 4194304 4196468 140729176264320 140494457408112 140495876913794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12431] ppid=12413 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/12415/task/12431/stat : 12431 (java) S 12413 12413 4682 0 -1 1077944384 211 0 0 0 1 0 0 0 20 0 20 0 97313843 26628161536 9770 33554432000 4194304 4196468 140729176264320 140494456355568 140495876913794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12432] ppid=12413 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7
/proc/12415/task/12432/stat : 12432 (java) R 12413 12413 4682 0 -1 4202560 754 0 0 0 8 0 0 0 20 0 20 0 97313843 26628161536 9770 33554432000 4194304 4196468 140729176264320 140494455303024 140495876923994 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12433] ppid=12413 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12415/task/12433/stat : 12433 (java) S 12413 12413 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97313844 26628161536 9770 33554432000 4194304 4196468 140729176264320 140494454249696 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12434] ppid=12413 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/12415/task/12434/stat : 12434 (java) S 12413 12413 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97313844 26628161536 9770 33554432000 4194304 4196468 140729176264320 140494453197232 140495876913794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40460 KiB

[startup+0.310401 s]*
/proc/loadavg: 8.03 7.57 7.11 4/201 12434
/proc/meminfo: memFree=31479844/32770624 swapFree=67108860/67108860
[pid=12413] ppid=12410 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/12413/stat : 12413 (xcsp3-exec) S 12410 12413 4682 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97313837 9740288 345 33554432000 4194304 5098028 140727095020272 140727095018376 139825738470012 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13115392 140727095026794 140727095027004 140727095027004 140727095029739 0
/proc/12413/statm: 2378 345 289 221 0 87 0
[pid=12415] ppid=12413 vsize=26004064 memory=43484 CPUtime=0.5 cores=0-7
/proc/12415/stat : 12415 (java) S 12413 12413 4682 0 -1 1077944320 9133 0 0 0 47 3 0 0 20 0 20 0 97313838 26628161536 10871 33554432000 4194304 4196468 140729176264320 140729176246864 140495876902647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
/proc/12415/statm: 6501016 10871 3067 1 0 6488269 0
[pid=12415/tid=12416] ppid=12413 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/12415/task/12416/stat : 12416 (java) R 12413 12413 4682 0 -1 4202560 6065 0 0 0 27 2 0 0 20 0 20 0 97313838 26628161536 11383 33554432000 4194304 4196468 140729176264320 140495881141520 140495876924573 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12417] ppid=12413 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12415/task/12417/stat : 12417 (java) S 12413 12413 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97313839 26628161536 11383 33554432000 4194304 4196468 140729176264320 140495435462928 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12418] ppid=12413 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12415/task/12418/stat : 12418 (java) S 12413 12413 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97313839 26628161536 11383 33554432000 4194304 4196468 140729176264320 140495434410384 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12419] ppid=12413 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12415/task/12419/stat : 12419 (java) S 12413 12413 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97313839 26628161536 11383 33554432000 4194304 4196468 140729176264320 140495433357840 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12420] ppid=12413 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12415/task/12420/stat : 12420 (java) S 12413 12413 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97313839 26628161536 11383 33554432000 4194304 4196468 140729176264320 140495432305296 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12421] ppid=12413 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/12415/task/12421/stat : 12421 (java) S 12413 12413 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97313839 26628161536 11383 33554432000 4194304 4196468 140729176264320 140495431252752 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12422] ppid=12413 vsize=26004064 memory=140131092755375 CPUtime=0 cores=0-7
/proc/12415/task/12422/stat : 12422 (java) S 12413 12413 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97313839 26628161536 11383 33554432000 4194304 4196468 140729176264320 140495430200208 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12423] ppid=12413 vsize=26004064 memory=140131092757680 CPUtime=0 cores=0-7
/proc/12415/task/12423/stat : 12423 (java) S 12413 12413 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97313839 26628161536 11383 33554432000 4194304 4196468 140729176264320 140495429147664 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12424] ppid=12413 vsize=26004064 memory=140131092759984 CPUtime=0 cores=0-7
/proc/12415/task/12424/stat : 12424 (java) S 12413 12413 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97313839 26628161536 11383 33554432000 4194304 4196468 140729176264320 140495428095120 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12425] ppid=12413 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12415/task/12425/stat : 12425 (java) S 12413 12413 4682 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97313840 26628161536 11383 33554432000 4194304 4196468 140729176264320 140494462670832 140495876913794 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12426] ppid=12413 vsize=26004064 memory=280262185526928 CPUtime=0 cores=0-7
/proc/12415/task/12426/stat : 12426 (java) S 12413 12413 4682 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97313841 26628161536 11383 33554432000 4194304 4196468 140729176264320 140494461617056 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12427] ppid=12413 vsize=26004064 memory=280262185533840 CPUtime=0 cores=0-7
/proc/12415/task/12427/stat : 12427 (java) S 12413 12413 4682 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97313841 26628161536 11383 33554432000 4194304 4196468 140729176264320 140494460564464 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12428] ppid=12413 vsize=26004064 memory=280262185475120 CPUtime=0 cores=0-7
/proc/12415/task/12428/stat : 12428 (java) S 12413 12413 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97313843 26628161536 11383 33554432000 4194304 4196468 140729176264320 140494459513040 140495876921243 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12429] ppid=12413 vsize=26004064 memory=280262185547664 CPUtime=0.01 cores=0-7
/proc/12415/task/12429/stat : 12429 (java) S 12413 12413 4682 0 -1 1077944384 392 0 0 0 1 0 0 0 20 0 20 0 97313843 26628161536 11383 33554432000 4194304 4196468 140729176264320 140494458460656 140495876913794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12430] ppid=12413 vsize=26004064 memory=280262185554576 CPUtime=0.03 cores=0-7
/proc/12415/task/12430/stat : 12430 (java) S 12413 12413 4682 0 -1 1077944384 282 0 0 0 3 0 0 0 20 0 20 0 97313843 26628161536 11383 33554432000 4194304 4196468 140729176264320 140494457408112 140495876913794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12431] ppid=12413 vsize=26004064 memory=280262185552272 CPUtime=0.02 cores=0-7
/proc/12415/task/12431/stat : 12431 (java) S 12413 12413 4682 0 -1 1077944384 235 0 0 0 2 0 0 0 20 0 20 0 97313843 26628161536 11383 33554432000 4194304 4196468 140729176264320 140494456355568 140495876913794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12432] ppid=12413 vsize=26004064 memory=280262185568432 CPUtime=0.12 cores=0-7
/proc/12415/task/12432/stat : 12432 (java) R 12413 12413 4682 0 -1 4202560 851 0 0 0 12 0 0 0 20 0 20 0 97313843 26628161536 11383 33554432000 4194304 4196468 140729176264320 140494455303152 140495858488160 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12433] ppid=12413 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12415/task/12433/stat : 12433 (java) S 12413 12413 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97313844 26628161536 11383 33554432000 4194304 4196468 140729176264320 140494454249696 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12434] ppid=12413 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/12415/task/12434/stat : 12434 (java) S 12413 12413 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97313844 26628161536 11383 33554432000 4194304 4196468 140729176264320 140494453197232 140495876913794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 44864 KiB

[startup+0.700986 s]
/proc/loadavg: 8.03 7.57 7.11 4/201 12434
/proc/meminfo: memFree=31465640/32770624 swapFree=67108860/67108860
[pid=12413] ppid=12410 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/12413/stat : 12413 (xcsp3-exec) S 12410 12413 4682 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97313837 9740288 345 33554432000 4194304 5098028 140727095020272 140727095018376 139825738470012 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13115392 140727095026794 140727095027004 140727095027004 140727095029739 0
/proc/12413/statm: 2378 345 289 221 0 87 0
[pid=12415] ppid=12413 vsize=26006188 memory=84888 CPUtime=1.63 cores=0-7
/proc/12415/stat : 12415 (java) S 12413 12413 4682 0 -1 1077944320 12917 0 0 0 158 5 0 0 20 0 20 0 97313838 26630336512 21222 33554432000 4194304 4196468 140729176264320 140729176246864 140495876902647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
/proc/12415/statm: 6501547 21222 3207 1 0 6488781 0
[pid=12415/tid=12416] ppid=12413 vsize=26006188 memory=280262185926320 CPUtime=0.66 cores=0-7
/proc/12415/task/12416/stat : 12416 (java) R 12413 12413 4682 0 -1 4202560 6839 0 0 0 64 2 0 0 20 0 20 0 97313838 26630336512 21222 33554432000 4194304 4196468 140729176264320 140495881141536 140495510645896 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12417] ppid=12413 vsize=26006188 memory=140131092964208 CPUtime=0 cores=0-7
/proc/12415/task/12417/stat : 12417 (java) S 12413 12413 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97313839 26630336512 21222 33554432000 4194304 4196468 140729176264320 140495435462928 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12418] ppid=12413 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/12415/task/12418/stat : 12418 (java) S 12413 12413 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97313839 26630336512 21222 33554432000 4194304 4196468 140729176264320 140495434410384 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12419] ppid=12413 vsize=26006188 memory=4612 CPUtime=0 cores=0-7
/proc/12415/task/12419/stat : 12419 (java) S 12413 12413 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97313839 26630336512 21222 33554432000 4194304 4196468 140729176264320 140495433357840 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0

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

[pid=12415/tid=12515] ppid=12413 vsize=26538700 memory=1774064 CPUtime=54.08 cores=0-7
/proc/12415/task/12515/stat : 12515 (java) R 12413 12413 4682 0 -1 4202560 805 0 0 0 5407 1 0 0 20 0 28 0 97324655 27175628800 444028 33554432000 4194304 4196468 140729176264320 140494437817912 140495517851036 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
Current children cumulated CPU time: 1287.49 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1777492 KiB

[startup+222.302 s]
/proc/loadavg: 8.11 7.94 7.37 9/207 12515
/proc/meminfo: memFree=29744080/32770624 swapFree=67108860/67108860
[pid=12413] ppid=12410 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/12413/stat : 12413 (xcsp3-exec) S 12410 12413 4682 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97313837 9740288 345 33554432000 4194304 5098028 140727095020272 140727095018376 139825738470012 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13115392 140727095026794 140727095027004 140727095027004 140727095029739 0
/proc/12413/statm: 2378 345 289 221 0 87 0
[pid=12415] ppid=12413 vsize=26538700 memory=1777636 CPUtime=1766.21 cores=0-7
/proc/12415/stat : 12415 (java) S 12413 12413 4682 0 -1 1077944320 103551 0 0 0 176493 128 0 0 20 0 28 0 97313838 27175628800 444409 33554432000 4194304 4196468 140729176264320 140729176246864 140495876902647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
/proc/12415/statm: 6634675 444409 3273 1 0 6621909 0
[pid=12415/tid=12416] ppid=12413 vsize=26538700 memory=1777636 CPUtime=0.9 cores=0-7
/proc/12415/task/12416/stat : 12416 (java) S 12413 12413 4682 0 -1 1077944384 7817 0 0 0 87 3 0 0 20 0 28 0 97313838 27175628800 444409 33554432000 4194304 4196468 140729176264320 140495881143424 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12417] ppid=12413 vsize=26538700 memory=1777636 CPUtime=0.12 cores=0-7
/proc/12415/task/12417/stat : 12417 (java) S 12413 12413 4682 0 -1 1077944384 353 0 0 0 6 6 0 0 20 0 28 0 97313839 27175628800 444409 33554432000 4194304 4196468 140729176264320 140495435462928 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12418] ppid=12413 vsize=26538700 memory=1777636 CPUtime=0.11 cores=0-7
/proc/12415/task/12418/stat : 12418 (java) S 12413 12413 4682 0 -1 1077944384 525 0 0 0 7 4 0 0 20 0 28 0 97313839 27175628800 444409 33554432000 4194304 4196468 140729176264320 140495434410384 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12419] ppid=12413 vsize=26538700 memory=9607 CPUtime=0.09 cores=0-7
/proc/12415/task/12419/stat : 12419 (java) S 12413 12413 4682 0 -1 1077944384 589 0 0 0 5 4 0 0 20 0 28 0 97313839 27175628800 444409 33554432000 4194304 4196468 140729176264320 140495433357840 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12420] ppid=12413 vsize=26538700 memory=9556 CPUtime=0.11 cores=0-7
/proc/12415/task/12420/stat : 12420 (java) S 12413 12413 4682 0 -1 1077944384 359 0 0 0 6 5 0 0 20 0 28 0 97313839 27175628800 444409 33554432000 4194304 4196468 140729176264320 140495432305296 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12421] ppid=12413 vsize=26538700 memory=1776616 CPUtime=0.1 cores=0-7
/proc/12415/task/12421/stat : 12421 (java) S 12413 12413 4682 0 -1 1077944384 1145 0 0 0 6 4 0 0 20 0 28 0 97313839 27175628800 444409 33554432000 4194304 4196468 140729176264320 140495431252752 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12422] ppid=12413 vsize=26538700 memory=1380 CPUtime=0.11 cores=0-7
/proc/12415/task/12422/stat : 12422 (java) S 12413 12413 4682 0 -1 1077944384 304 0 0 0 6 5 0 0 20 0 28 0 97313839 27175628800 444409 33554432000 4194304 4196468 140729176264320 140495430200208 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12423] ppid=12413 vsize=26538700 memory=9017 CPUtime=0.09 cores=0-7
/proc/12415/task/12423/stat : 12423 (java) S 12413 12413 4682 0 -1 1077944384 1756 0 0 0 5 4 0 0 20 0 28 0 97313839 27175628800 444409 33554432000 4194304 4196468 140729176264320 140495429147664 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12424] ppid=12413 vsize=26538700 memory=90 CPUtime=0.11 cores=0-7
/proc/12415/task/12424/stat : 12424 (java) S 12413 12413 4682 0 -1 1077944384 451 0 0 0 6 5 0 0 20 0 28 0 97313839 27175628800 444409 33554432000 4194304 4196468 140729176264320 140495428095120 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12425] ppid=12413 vsize=26538700 memory=1380 CPUtime=0.04 cores=0-7
/proc/12415/task/12425/stat : 12425 (java) S 12413 12413 4682 0 -1 1077944384 3045 0 0 0 2 2 0 0 20 0 28 0 97313840 27175628800 444409 33554432000 4194304 4196468 140729176264320 140494462670832 140495876913794 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12426] ppid=12413 vsize=26538700 memory=1777636 CPUtime=0 cores=0-7
/proc/12415/task/12426/stat : 12426 (java) S 12413 12413 4682 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 97313841 27175628800 444409 33554432000 4194304 4196468 140729176264320 140494461617120 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12427] ppid=12413 vsize=26538700 memory=1380 CPUtime=0 cores=0-7
/proc/12415/task/12427/stat : 12427 (java) S 12413 12413 4682 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 97313841 27175628800 444409 33554432000 4194304 4196468 140729176264320 140494460564480 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12428] ppid=12413 vsize=26538700 memory=1776604 CPUtime=0 cores=0-7
/proc/12415/task/12428/stat : 12428 (java) S 12413 12413 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97313843 27175628800 444409 33554432000 4194304 4196468 140729176264320 140494459513040 140495876921243 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12429] ppid=12413 vsize=26538700 memory=1776616 CPUtime=2.15 cores=0-7
/proc/12415/task/12429/stat : 12429 (java) S 12413 12413 4682 0 -1 1077944384 10176 0 0 0 213 2 0 0 20 0 28 0 97313843 27175628800 444409 33554432000 4194304 4196468 140729176264320 140494458460656 140495876913794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12430] ppid=12413 vsize=26538700 memory=74 CPUtime=1.86 cores=0-7
/proc/12415/task/12430/stat : 12430 (java) S 12413 12413 4682 0 -1 1077944384 12143 0 0 0 184 2 0 0 20 0 28 0 97313843 27175628800 444409 33554432000 4194304 4196468 140729176264320 140494457408112 140495876913794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12431] ppid=12413 vsize=26538700 memory=1776616 CPUtime=2.21 cores=0-7
/proc/12415/task/12431/stat : 12431 (java) S 12413 12413 4682 0 -1 1077944384 12957 0 0 0 219 2 0 0 20 0 28 0 97313843 27175628800 444409 33554432000 4194304 4196468 140729176264320 140494456355568 140495876913794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12432] ppid=12413 vsize=26538700 memory=1380 CPUtime=0.75 cores=0-7
/proc/12415/task/12432/stat : 12432 (java) S 12413 12413 4682 0 -1 1077944384 10636 0 0 0 74 1 0 0 20 0 28 0 97313843 27175628800 444409 33554432000 4194304 4196468 140729176264320 140494455303024 140495876913794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12433] ppid=12413 vsize=26538700 memory=1776604 CPUtime=0 cores=0-7
/proc/12415/task/12433/stat : 12433 (java) S 12413 12413 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97313844 27175628800 444409 33554432000 4194304 4196468 140729176264320 140494454249696 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12434] ppid=12413 vsize=26538700 memory=1380 CPUtime=0.04 cores=0-7
/proc/12415/task/12434/stat : 12434 (java) S 12413 12413 4682 0 -1 1077944384 2284 0 0 0 2 2 0 0 20 0 28 0 97313844 27175628800 444409 33554432000 4194304 4196468 140729176264320 140494453197232 140495876913794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12508] ppid=12413 vsize=26538700 memory=1776584 CPUtime=113.86 cores=0-7
/proc/12415/task/12508/stat : 12508 (java) R 12413 12413 4682 0 -1 4202560 1075 0 0 0 11384 2 0 0 20 0 28 0 97324655 27175628800 444409 33554432000 4194304 4196468 140729176264320 140494445185720 140495517343372 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12509] ppid=12413 vsize=26538700 memory=1008 CPUtime=113.35 cores=0-7
/proc/12415/task/12509/stat : 12509 (java) R 12413 12413 4682 0 -1 4202560 702 0 0 0 11335 0 0 0 20 0 28 0 97324655 27175628800 444409 33554432000 4194304 4196468 140729176264320 140494443081424 140495516886124 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12510] ppid=12413 vsize=26538700 memory=2416 CPUtime=113.22 cores=0-7
/proc/12415/task/12510/stat : 12510 (java) R 12413 12413 4682 0 -1 4202560 1578 0 0 0 11321 1 0 0 20 0 28 0 97324655 27175628800 444409 33554432000 4194304 4196468 140729176264320 140494439923896 140495517850650 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12511] ppid=12413 vsize=26538700 memory=1728 CPUtime=114.01 cores=0-7
/proc/12415/task/12511/stat : 12511 (java) R 12413 12413 4682 0 -1 4202560 1894 0 0 0 11399 2 0 0 20 0 28 0 97324655 27175628800 444409 33554432000 4194304 4196468 140729176264320 140494438871096 140495516886390 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12512] ppid=12413 vsize=26538700 memory=1380 CPUtime=113.55 cores=0-7
/proc/12415/task/12512/stat : 12512 (java) R 12413 12413 4682 0 -1 4202560 3563 0 0 0 11349 6 0 0 20 0 28 0 97324655 27175628800 444409 33554432000 4194304 4196468 140729176264320 140494444134824 140495516885294 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12513] ppid=12413 vsize=26538700 memory=1380 CPUtime=114.03 cores=0-7
/proc/12415/task/12513/stat : 12513 (java) R 12413 12413 4682 0 -1 4202560 556 0 0 0 11403 0 0 0 20 0 28 0 97324655 27175628800 444409 33554432000 4194304 4196468 140729176264320 140494442029608 140495517944147 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12514] ppid=12413 vsize=26538700 memory=1777636 CPUtime=114.07 cores=0-7
/proc/12415/task/12514/stat : 12514 (java) R 12413 12413 4682 0 -1 4202560 960 0 0 0 11407 0 0 0 20 0 28 0 97324655 27175628800 444409 33554432000 4194304 4196468 140729176264320 140494440975800 140495519199567 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12515] ppid=12413 vsize=26538700 memory=928 CPUtime=114.06 cores=0-7
/proc/12415/task/12515/stat : 12515 (java) R 12413 12413 4682 0 -1 4202560 1597 0 0 0 11404 2 0 0 20 0 28 0 97324655 27175628800 444409 33554432000 4194304 4196468 140729176264320 140494437820864 140495516857680 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
Current children cumulated CPU time: 1766.21 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1779016 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 8.07 7.95 7.39 9/207 12523
/proc/meminfo: memFree=29743824/32770624 swapFree=67108860/67108860
[pid=12413] ppid=12410 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/12413/stat : 12413 (xcsp3-exec) S 12410 12413 4682 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97313837 9740288 345 33554432000 4194304 5098028 140727095020272 140727095018376 139825738470012 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13115392 140727095026794 140727095027004 140727095027004 140727095029739 0
/proc/12413/statm: 2378 345 289 221 0 87 0
[pid=12415] ppid=12413 vsize=26538700 memory=1777636 CPUtime=2003.18 cores=0-7
/proc/12415/stat : 12415 (java) S 12413 12413 4682 0 -1 1077944320 107463 0 0 0 200183 135 0 0 20 0 28 0 97313838 27175628800 444409 33554432000 4194304 4196468 140729176264320 140729176246864 140495876902647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
/proc/12415/statm: 6634675 444409 3273 1 0 6621909 0
[pid=12415/tid=12416] ppid=12413 vsize=26538700 memory=6791534058613427641 CPUtime=0.9 cores=0-7
/proc/12415/task/12416/stat : 12416 (java) S 12413 12413 4682 0 -1 1077944384 8002 0 0 0 87 3 0 0 20 0 28 0 97313838 27175628800 444409 33554432000 4194304 4196468 140729176264320 140495881143424 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12417] ppid=12413 vsize=26538700 memory=1777636 CPUtime=0.12 cores=0-7
/proc/12415/task/12417/stat : 12417 (java) S 12413 12413 4682 0 -1 1077944384 353 0 0 0 6 6 0 0 20 0 28 0 97313839 27175628800 444409 33554432000 4194304 4196468 140729176264320 140495435462928 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12418] ppid=12413 vsize=26538700 memory=1380 CPUtime=0.11 cores=0-7
/proc/12415/task/12418/stat : 12418 (java) S 12413 12413 4682 0 -1 1077944384 525 0 0 0 7 4 0 0 20 0 28 0 97313839 27175628800 444409 33554432000 4194304 4196468 140729176264320 140495434410384 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12419] ppid=12413 vsize=26538700 memory=1777636 CPUtime=0.09 cores=0-7
/proc/12415/task/12419/stat : 12419 (java) S 12413 12413 4682 0 -1 1077944384 589 0 0 0 5 4 0 0 20 0 28 0 97313839 27175628800 444409 33554432000 4194304 4196468 140729176264320 140495433357840 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12420] ppid=12413 vsize=26538700 memory=4872558044660077418 CPUtime=0.11 cores=0-7
/proc/12415/task/12420/stat : 12420 (java) S 12413 12413 4682 0 -1 1077944384 359 0 0 0 6 5 0 0 20 0 28 0 97313839 27175628800 444409 33554432000 4194304 4196468 140729176264320 140495432305296 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12421] ppid=12413 vsize=26538700 memory=15876 CPUtime=0.1 cores=0-7
/proc/12415/task/12421/stat : 12421 (java) S 12413 12413 4682 0 -1 1077944384 1145 0 0 0 6 4 0 0 20 0 28 0 97313839 27175628800 444409 33554432000 4194304 4196468 140729176264320 140495431252752 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12422] ppid=12413 vsize=26538700 memory=17908 CPUtime=0.11 cores=0-7
/proc/12415/task/12422/stat : 12422 (java) S 12413 12413 4682 0 -1 1077944384 304 0 0 0 6 5 0 0 20 0 28 0 97313839 27175628800 444409 33554432000 4194304 4196468 140729176264320 140495430200208 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12423] ppid=12413 vsize=26538700 memory=1380 CPUtime=0.09 cores=0-7
/proc/12415/task/12423/stat : 12423 (java) S 12413 12413 4682 0 -1 1077944384 1756 0 0 0 5 4 0 0 20 0 28 0 97313839 27175628800 444409 33554432000 4194304 4196468 140729176264320 140495429147664 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12424] ppid=12413 vsize=26538700 memory=1777096 CPUtime=0.11 cores=0-7
/proc/12415/task/12424/stat : 12424 (java) S 12413 12413 4682 0 -1 1077944384 451 0 0 0 6 5 0 0 20 0 28 0 97313839 27175628800 444409 33554432000 4194304 4196468 140729176264320 140495428095120 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12425] ppid=12413 vsize=26538700 memory=1796 CPUtime=0.04 cores=0-7
/proc/12415/task/12425/stat : 12425 (java) S 12413 12413 4682 0 -1 1077944384 3111 0 0 0 2 2 0 0 20 0 28 0 97313840 27175628800 444409 33554432000 4194304 4196468 140729176264320 140494462670832 140495876913794 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12426] ppid=12413 vsize=26538700 memory=1236 CPUtime=0 cores=0-7
/proc/12415/task/12426/stat : 12426 (java) S 12413 12413 4682 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 97313841 27175628800 444409 33554432000 4194304 4196468 140729176264320 140494461617120 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12427] ppid=12413 vsize=26538700 memory=640 CPUtime=0 cores=0-7
/proc/12415/task/12427/stat : 12427 (java) S 12413 12413 4682 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 97313841 27175628800 444409 33554432000 4194304 4196468 140729176264320 140494460564480 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12428] ppid=12413 vsize=26538700 memory=956 CPUtime=0 cores=0-7
/proc/12415/task/12428/stat : 12428 (java) S 12413 12413 4682 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97313843 27175628800 444409 33554432000 4194304 4196468 140729176264320 140494459513040 140495876921243 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12429] ppid=12413 vsize=26538700 memory=2340 CPUtime=2.15 cores=0-7
/proc/12415/task/12429/stat : 12429 (java) S 12413 12413 4682 0 -1 1077944384 10179 0 0 0 213 2 0 0 20 0 28 0 97313843 27175628800 444409 33554432000 4194304 4196468 140729176264320 140494458460656 140495876913794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12430] ppid=12413 vsize=26538700 memory=2240 CPUtime=1.86 cores=0-7
/proc/12415/task/12430/stat : 12430 (java) S 12413 12413 4682 0 -1 1077944384 12146 0 0 0 184 2 0 0 20 0 28 0 97313843 27175628800 444409 33554432000 4194304 4196468 140729176264320 140494457408112 140495876913794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12431] ppid=12413 vsize=26538700 memory=4128 CPUtime=2.21 cores=0-7
/proc/12415/task/12431/stat : 12431 (java) S 12413 12413 4682 0 -1 1077944384 13049 0 0 0 219 2 0 0 20 0 28 0 97313843 27175628800 444409 33554432000 4194304 4196468 140729176264320 140494456355568 140495876913794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12432] ppid=12413 vsize=26538700 memory=928 CPUtime=0.75 cores=0-7
/proc/12415/task/12432/stat : 12432 (java) S 12413 12413 4682 0 -1 1077944384 10911 0 0 0 74 1 0 0 20 0 28 0 97313843 27175628800 444409 33554432000 4194304 4196468 140729176264320 140494455303024 140495876913794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12433] ppid=12413 vsize=26538700 memory=1576 CPUtime=0 cores=0-7
/proc/12415/task/12433/stat : 12433 (java) S 12413 12413 4682 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97313844 27175628800 444409 33554432000 4194304 4196468 140729176264320 140494454249696 140495876912853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12434] ppid=12413 vsize=26538700 memory=2196 CPUtime=0.04 cores=0-7
/proc/12415/task/12434/stat : 12434 (java) S 12413 12413 4682 0 -1 1077944384 2371 0 0 0 2 2 0 0 20 0 28 0 97313844 27175628800 444409 33554432000 4194304 4196468 140729176264320 140494453197232 140495876913794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12516] ppid=12413 vsize=26538700 memory=6764 CPUtime=4.83 cores=0-7
/proc/12415/task/12516/stat : 12516 (java) R 12413 12413 4682 0 -1 4202560 276 0 0 0 483 0 0 0 20 0 28 0 97338554 27175628800 444409 33554432000 4194304 4196468 140729176264320 140494437821560 140495516858302 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12517] ppid=12413 vsize=26538700 memory=840 CPUtime=4.83 cores=0-7
/proc/12415/task/12517/stat : 12517 (java) R 12413 12413 4682 0 -1 4202560 194 0 0 0 483 0 0 0 20 0 28 0 97338554 27175628800 444409 33554432000 4194304 4196468 140729176264320 140494438875368 140495517850551 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12518] ppid=12413 vsize=26538700 memory=1692 CPUtime=4.83 cores=0-7
/proc/12415/task/12518/stat : 12518 (java) R 12413 12413 4682 0 -1 4202560 235 0 0 0 483 0 0 0 20 0 28 0 97338554 27175628800 444409 33554432000 4194304 4196468 140729176264320 140494440980840 140495516858055 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12519] ppid=12413 vsize=26538700 memory=912 CPUtime=4.77 cores=0-7
/proc/12415/task/12519/stat : 12519 (java) R 12413 12413 4682 0 -1 4202560 222 0 0 0 477 0 0 0 20 0 28 0 97338554 27175628800 444409 33554432000 4194304 4196468 140729176264320 140494442036552 140495517344533 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12520] ppid=12413 vsize=26538700 memory=4604 CPUtime=4.83 cores=0-7
/proc/12415/task/12520/stat : 12520 (java) R 12413 12413 4682 0 -1 4202560 411 0 0 0 483 0 0 0 20 0 28 0 97338554 27175628800 444409 33554432000 4194304 4196468 140729176264320 140494445194696 140495516858591 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12521] ppid=12413 vsize=26538700 memory=4104 CPUtime=4.83 cores=0-7
/proc/12415/task/12521/stat : 12521 (java) R 12413 12413 4682 0 -1 4202560 98 0 0 0 483 0 0 0 20 0 28 0 97338554 27175628800 444409 33554432000 4194304 4196468 140729176264320 140494439931464 140495517943721 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12522] ppid=12413 vsize=26538700 memory=4140 CPUtime=4.8 cores=0-7
/proc/12415/task/12522/stat : 12522 (java) R 12413 12413 4682 0 -1 4202560 189 0 0 0 480 0 0 0 20 0 28 0 97338554 27175628800 444409 33554432000 4194304 4196468 140729176264320 140494443088584 140495516857989 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
[pid=12415/tid=12523] ppid=12413 vsize=26538700 memory=1948 CPUtime=4.83 cores=0-7
/proc/12415/task/12523/stat : 12523 (java) R 12413 12413 4682 0 -1 4202560 134 0 0 0 483 0 0 0 20 0 28 0 97338554 27175628800 444409 33554432000 4194304 4196468 140729176264320 140494444141384 140495518722794 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24162304 140729176269976 140729176270152 140729176270152 140729176272847 0
Current children cumulated CPU time: 2003.18 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1779016 KiB

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

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

[startup+252.11 s]
# the end of solver process 12415 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2002.51 s, system=1.36989 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): 252.11
CPU time (s): 2003.88
CPU user time (s): 2002.51
CPU system time (s): 1.36989
CPU usage (%): 794.846
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 1797576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2002.51
system time used= 1.3699
maximum resident set size= 1796196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108967
page faults= 0
swaps= 0
block input operations= 0
block output operations= 456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12107
involuntary context switches= 21376


# summary of solver processes directly reported to runsolver:
#   pid: 12413,12415
#   total CPU time (s): 2003.88
#   total CPU user time (s): 2002.51
#   total CPU system time (s): 1.36989

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.53423 second user time and 2.4359 second system time

The end

Launcher Data 

Begin job on node106 at 2017-08-13 18:23:22
IDJOB=4271545
IDBENCH=126211
IDSOLVER=2663
FILE ID=node106/4271545-1502642260
RUNJOBID= node106-1502637338-4709
PBS_JOBID= 20628329
Free space on /tmp= 61772 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-28-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-4271545-1502642260/watcher-4271545-1502642260 -o /tmp/evaluation-result-4271545-1502642260/solver-4271545-1502642260 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node106-1502637338-4709 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1500456973 HOME/instance-4271545-1502642260.xml

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

MD5SUM BENCH= 7bf94b2c859f2895a81dfe97f17444ea
RANDOM SEED=1500456973

node106.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.86
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.86
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.86
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.86
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:        31511996 kB
MemAvailable:   31986552 kB
Buffers:          115060 kB
Cached:           647156 kB
SwapCached:            0 kB
Active:           385876 kB
Inactive:         432820 kB
Active(anon):      12308 kB
Inactive(anon):    72092 kB
Active(file):     373568 kB
Inactive(file):   360728 kB
Unevictable:        6504 kB
Mlocked:            6504 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7864 kB
Writeback:             8 kB
AnonPages:         62768 kB
Mapped:            43552 kB
Shmem:             25228 kB
Slab:             137760 kB
SReclaimable:     112192 kB
SUnreclaim:        25568 kB
KernelStack:        3200 kB
PageTables:         5056 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324328 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 61764 MiB
End job on node106 at 2017-08-13 18:27:34