Trace number 4260944

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
Mistral-2.0 2017-07-28SAT (TO)925 2519.96 2520

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 benchmark866
Best CPU time to get the best result obtained on this benchmark20000.6
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.09	c 280717
110.20/110.36	o 986
120.90/121.05	o 981
131.39/131.50	o 925
2519.95/2520.00	s SATISFIABLE
2519.95/2520.00	v <instantiation type="solution">
2519.95/2520.00	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][0] 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][0] y[1][1] 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][0] y[2][1] y[2][2] 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][0] y[3][1] y[3][2] y[3][3] 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][0] y[4][1] y[4][2] y[4][3] y[4][4] 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][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] 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][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] 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][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] 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][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] 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][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] 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][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] 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][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] 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][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] 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][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] 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][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] 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][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] 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][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] 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][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] 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][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] 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][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] 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][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[26][27] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[27][26] y[27][27] </list>
2519.95/2520.00	v   <values> 0 6 10 15 26 28 29 53 60 90 125 142 212 233 245 291 333 384 479 515 555 632 673 765 813 821 876 925 * 6 10 15 26 28 29 53 60 90 125 142 212 233 245 291 333 384 479 515 555 632 673 765 813 821 876 925 * * 4 9 20 22 23 47 54 84 119 136 206 227 239 285 327 378 473 509 549 626 667 759 807 815 870 919 * * * 5 16 18 19 43 50 80 115 132 202 223 235 281 323 374 469 505 545 622 663 755 803 811 866 915 * * * * 11 13 14 38 45 75 110 127 197 218 230 276 318 369 464 500 540 617 658 750 798 806 861 910 * * * * * 2 3 27 34 64 99 116 186 207 219 265 307 358 453 489 529 606 647 739 787 795 850 899 * * * * * * 1 25 32 62 97 114 184 205 217 263 305 356 451 487 527 604 645 737 785 793 848 897 * * * * * * * 24 31 61 96 113 183 204 216 262 304 355 450 486 526 603 644 736 784 792 847 896 * * * * * * * * 7 37 72 89 159 180 192 238 280 331 426 462 502 579 620 712 760 768 823 872 * * * * * * * * * 30 65 82 152 173 185 231 273 324 419 455 495 572 613 705 753 761 816 865 * * * * * * * * * * 35 52 122 143 155 201 243 294 389 425 465 542 583 675 723 731 786 835 * * * * * * * * * * * 17 87 108 120 166 208 259 354 390 430 507 548 640 688 696 751 800 * * * * * * * * * * * * 70 91 103 149 191 242 337 373 413 490 531 623 671 679 734 783 * * * * * * * * * * * * * 21 33 79 121 172 267 303 343 420 461 553 601 609 664 713 * * * * * * * * * * * * * * 12 58 100 151 246 282 322 399 440 532 580 588 643 692 * * * * * * * * * * * * * * * 46 88 139 234 270 310 387 428 520 568 576 631 680 * * * * * * * * * * * * * * * * 42 93 188 224 264 341 382 474 522 530 585 634 * * * * * * * * * * * * * * * * * 51 146 182 222 299 340 432 480 488 543 592 * * * * * * * * * * * * * * * * * * 95 131 171 248 289 381 429 437 492 541 * * * * * * * * * * * * * * * * * * * 36 76 153 194 286 334 342 397 446 * * * * * * * * * * * * * * * * * * * * 40 117 158 250 298 306 361 410 * * * * * * * * * * * * * * * * * * * * * 77 118 210 258 266 321 370 * * * * * * * * * * * * * * * * * * * * * * 41 133 181 189 244 293 * * * * * * * * * * * * * * * * * * * * * * * 92 140 148 203 252 * * * * * * * * * * * * * * * * * * * * * * * * 48 56 111 160 * * * * * * * * * * * * * * * * * * * * * * * * * 8 63 112 * * * * * * * * * * * * * * * * * * * * * * * * * * 55 104 * * * * * * * * * * * * * * * * * * * * * * * * * * * 49 * * * * * * * * * * * * * * * * * * * * * * * * * * * * </values>
2519.95/2520.00	v </instantiation>

Verifier Data 

OK	925

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4260944-1502362024/watcher-4260944-1502362024 -o /tmp/evaluation-result-4260944-1502362024/solver-4260944-1502362024 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502334771-27114 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 135526157 HOME/instance-4260944-1502362024.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31184
/proc/meminfo: memFree=31679780/32770624 swapFree=0/366744
[pid=31184] ppid=31181 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/31184/stat : 31184 (runsolver) D 31181 31184 6971 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 24543045 24240128 108 18446744073709551615 4194304 4338465 140728130420448 140728130418088 140025732203223 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 27648000 140728130429068 140728130429514 140728130429514 140728130432970 0
/proc/31184/statm: 5918 108 54 36 0 2156 0

[startup+0.100087 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31184
/proc/meminfo: memFree=31679780/32770624 swapFree=0/366744
[pid=31184] ppid=31181 vsize=29784 CPUtime=0 cores=0,2,4,6
/proc/31184/stat : 31184 (MistralXCSP) R 31181 31184 6971 0 -1 4202496 1216 0 0 0 0 0 0 0 20 0 1 0 24543045 30498816 1042 18446744073709551615 4194304 7396336 140721379151968 140721379148968 5882143 0 0 1 0 0 0 0 17 0 0 0 9 0 0 9496464 9501696 16162816 140721379160500 140721379160649 140721379160649 140721379164105 0
/proc/31184/statm: 7446 1042 607 782 0 462 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 29784

[startup+0.200224 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31184
/proc/meminfo: memFree=31679780/32770624 swapFree=0/366744
[pid=31184] ppid=31181 vsize=29784 CPUtime=0.1 cores=0,2,4,6
/proc/31184/stat : 31184 (MistralXCSP) R 31181 31184 6971 0 -1 4202496 1318 0 0 0 10 0 0 0 20 0 1 0 24543045 30498816 1108 18446744073709551615 4194304 7396336 140721379151968 140721379148968 6180776 0 0 1 0 0 0 0 17 0 0 0 9 0 0 9496464 9501696 16162816 140721379160500 140721379160649 140721379160649 140721379164105 0
/proc/31184/statm: 7446 1108 661 782 0 462 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 29784

[startup+0.300213 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31184
/proc/meminfo: memFree=31679780/32770624 swapFree=0/366744
[pid=31184] ppid=31181 vsize=29908 CPUtime=0.2 cores=0,2,4,6
/proc/31184/stat : 31184 (MistralXCSP) R 31181 31184 6971 0 -1 4202496 1340 0 0 0 20 0 0 0 20 0 1 0 24543045 30625792 1166 18446744073709551615 4194304 7396336 140721379151968 140721379142664 5948782 0 0 1 0 0 0 0 17 0 0 0 9 0 0 9496464 9501696 16162816 140721379160500 140721379160649 140721379160649 140721379164105 0
/proc/31184/statm: 7477 1166 713 782 0 493 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 29908

[startup+0.700172 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31184
/proc/meminfo: memFree=31679780/32770624 swapFree=0/366744
[pid=31184] ppid=31181 vsize=30412 CPUtime=0.6 cores=0,2,4,6
/proc/31184/stat : 31184 (MistralXCSP) R 31181 31184 6971 0 -1 4202496 1461 0 0 0 60 0 0 0 20 0 1 0 24543045 31141888 1292 18446744073709551615 4194304 7396336 140721379151968 140721379142664 139700141709473 0 0 1 0 0 0 0 17 0 0 0 9 0 0 9496464 9501696 16162816 140721379160500 140721379160649 140721379160649 140721379164105 0
/proc/31184/statm: 7603 1292 714 782 0 619 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 30412

[startup+1.50018 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 31185
/proc/meminfo: memFree=31673796/32770624 swapFree=0/366752
[pid=31184] ppid=31181 vsize=34324 CPUtime=1.4 cores=0,2,4,6
/proc/31184/stat : 31184 (MistralXCSP) R 31181 31184 6971 0 -1 4202496 2513 0 0 0 140 0 0 0 20 0 1 0 24543045 35147776 2347 18446744073709551615 4194304 7396336 140721379151968 140721379142664 4581738 0 0 1 16386 0 0 0 17 0 0 0 9 0 0 9496464 9501696 16162816 140721379160500 140721379160649 140721379160649 140721379164105 0
/proc/31184/statm: 8581 2347 765 782 0 1597 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 34324

[startup+3.10017 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 31185
/proc/meminfo: memFree=31673052/32770624 swapFree=0/366752
[pid=31184] ppid=31181 vsize=34736 CPUtime=3 cores=0,2,4,6
/proc/31184/stat : 31184 (MistralXCSP) R 31181 31184 6971 0 -1 4202496 3885 0 0 0 300 0 0 0 20 0 1 0 24543045 35569664 2446 18446744073709551615 4194304 7396336 140721379151968 140721379146392 4222880 0 0 1 16386 0 0 0 17 0 0 0 9 0 0 9496464 9501696 16162816 140721379160500 140721379160649 140721379160649 140721379164105 0
/proc/31184/statm: 8684 2446 765 782 0 1700 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 34736

[startup+6.30017 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 31185
/proc/meminfo: memFree=31672284/32770624 swapFree=0/366924
[pid=31184] ppid=31181 vsize=35264 CPUtime=6.2 cores=0,2,4,6
/proc/31184/stat : 31184 (MistralXCSP) R 31181 31184 6971 0 -1 4202496 5550 0 0 0 619 1 0 0 20 0 1 0 24543045 36110336 2555 18446744073709551615 4194304 7396336 140721379151968 140721379146200 4581743 0 0 1 16386 0 0 0 17 0 0 0 9 0 0 9496464 9501696 16162816 140721379160500 140721379160649 140721379160649 140721379164105 0
/proc/31184/statm: 8816 2555 765 782 0 1832 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 35264

[startup+12.7003 s]
/proc/loadavg: 1.92 2.00 2.04 3/182 31185
/proc/meminfo: memFree=31672136/32770624 swapFree=0/366752
[pid=31184] ppid=31181 vsize=35396 CPUtime=12.6 cores=0,2,4,6
/proc/31184/stat : 31184 (MistralXCSP) R 31181 31184 6971 0 -1 4202496 7074 0 0 0 1259 1 0 0 20 0 1 0 24543045 36245504 2586 18446744073709551615 4194304 7396336 140721379151968 140721379146200 4581783 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 16162816 140721379160500 140721379160649 140721379160649 140721379164105 0
/proc/31184/statm: 8849 2586 766 782 0 1865 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 35396

[startup+25.5003 s]
/proc/loadavg: 1.94 2.00 2.04 3/182 31185
/proc/meminfo: memFree=31672136/32770624 swapFree=0/366752
[pid=31184] ppid=31181 vsize=35396 CPUtime=25.4 cores=0,2,4,6
/proc/31184/stat : 31184 (MistralXCSP) R 31181 31184 6971 0 -1 4202496 10010 0 0 0 2539 1 0 0 20 0 1 0 24543045 36245504 2597 18446744073709551615 4194304 7396336 140721379151968 140721379146200 4543799 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 16162816 140721379160500 140721379160649 140721379160649 140721379164105 0
/proc/31184/statm: 8849 2597 766 782 0 1865 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 35396

[startup+51.1003 s]
/proc/loadavg: 1.96 2.00 2.04 3/182 31185
/proc/meminfo: memFree=31672396/32770624 swapFree=0/366756
[pid=31184] ppid=31181 vsize=35396 CPUtime=51 cores=0,2,4,6
/proc/31184/stat : 31184 (MistralXCSP) R 31181 31184 6971 0 -1 4202496 10637 0 0 0 5099 1 0 0 20 0 1 0 24543045 36245504 2602 18446744073709551615 4194304 7396336 140721379151968 140721379146200 4320832 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 16162816 140721379160500 140721379160649 140721379160649 140721379164105 0
/proc/31184/statm: 8849 2602 766 782 0 1865 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 35396

[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/182 31248
/proc/meminfo: memFree=31701372/32770624 swapFree=0/366780
[pid=31184] ppid=31181 vsize=35528 CPUtime=102.21 cores=0,2,4,6
/proc/31184/stat : 31184 (MistralXCSP) R 31181 31184 6971 0 -1 4202496 11299 0 0 0 10220 1 0 0 20 0 1 0 24543045 36380672 2633 18446744073709551615 4194304 7396336 140721379151968 140721379146520 4543799 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 16162816 140721379160500 140721379160649 140721379160649 140721379164105 0
/proc/31184/statm: 8882 2633 766 782 0 1898 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 35528

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/181 31250
/proc/meminfo: memFree=31692924/32770624 swapFree=0/366788
[pid=31184] ppid=31181 vsize=43312 CPUtime=162.19 cores=0,2,4,6
/proc/31184/stat : 31184 (MistralXCSP) R 31181 31184 6971 0 -1 4202496 15760 0 0 0 16218 1 0 0 20 0 1 0 24543045 44351488 4572 18446744073709551615 4194304 7396336 140721379151968 140721379146984 4406506 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 16162816 140721379160500 140721379160649 140721379160649 140721379164105 0
/proc/31184/statm: 10828 4572 766 782 0 3844 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 43312

[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 31252
/proc/meminfo: memFree=31693536/32770624 swapFree=0/366812
[pid=31184] ppid=31181 vsize=43312 CPUtime=222.2 cores=0,2,4,6
/proc/31184/stat : 31184 (MistralXCSP) R 31181 31184 6971 0 -1 4202496 16286 0 0 0 22219 1 0 0 20 0 1 0 24543045 44351488 4572 18446744073709551615 4194304 7396336 140721379151968 140721379146984 5575952 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 16162816 140721379160500 140721379160649 140721379160649 140721379164105 0
/proc/31184/statm: 10828 4572 766 782 0 3844 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 43312

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 31254
/proc/meminfo: memFree=31693868/32770624 swapFree=0/366832
[pid=31184] ppid=31181 vsize=43312 CPUtime=282.2 cores=0,2,4,6
/proc/31184/stat : 31184 (MistralXCSP) R 31181 31184 6971 0 -1 4202496 16811 0 0 0 28218 2 0 0 20 0 1 0 24543045 44351488 4572 18446744073709551615 4194304 7396336 140721379151968 140721379146984 4249744 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 16162816 140721379160500 140721379160649 140721379160649 140721379164105 0
/proc/31184/statm: 10828 4572 766 782 0 3844 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 43312

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 31256
/proc/meminfo: memFree=31693632/32770624 swapFree=0/366844
[pid=31184] ppid=31181 vsize=43312 CPUtime=342.21 cores=0,2,4,6
/proc/31184/stat : 31184 (MistralXCSP) R 31181 31184 6971 0 -1 4202496 17334 0 0 0 34219 2 0 0 20 0 1 0 24543045 44351488 4572 18446744073709551615 4194304 7396336 140721379151968 140721379146984 4407468 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 16162816 140721379160500 140721379160649 140721379160649 140721379164105 0
/proc/31184/statm: 10828 4572 766 782 0 3844 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 43312

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 31258
/proc/meminfo: memFree=31693480/32770624 swapFree=0/366864
[pid=31184] ppid=31181 vsize=43312 CPUtime=402.21 cores=0,2,4,6
/proc/31184/stat : 31184 (MistralXCSP) R 31181 31184 6971 0 -1 4202496 17857 0 0 0 40219 2 0 0 20 0 1 0 24543045 44351488 4572 18446744073709551615 4194304 7396336 140721379151968 140721379146984 4257837 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 16162816 140721379160500 140721379160649 140721379160649 140721379164105 0
/proc/31184/statm: 10828 4572 766 782 0 3844 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 43312

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/184 31274
/proc/meminfo: memFree=31688604/32770624 swapFree=0/366876
[pid=31184] ppid=31181 vsize=43312 CPUtime=462.21 cores=0,2,4,6
/proc/31184/stat : 31184 (MistralXCSP) R 31181 31184 6971 0 -1 4202496 18381 0 0 0 46219 2 0 0 20 0 1 0 24543045 44351488 4572 18446744073709551615 4194304 7396336 140721379151968 140721379146984 5575964 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 16162816 140721379160500 140721379160649 140721379160649 140721379164105 0
/proc/31184/statm: 10828 4572 766 782 0 3844 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 43312

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/184 31276
/proc/meminfo: memFree=31688724/32770624 swapFree=0/366904
[pid=31184] ppid=31181 vsize=43312 CPUtime=522.21 cores=0,2,4,6
/proc/31184/stat : 31184 (MistralXCSP) R 31181 31184 6971 0 -1 4202496 18906 0 0 0 52219 2 0 0 20 0 1 0 24543045 44351488 4572 18446744073709551615 4194304 7396336 140721379151968 140721379146984 4257837 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 16162816 140721379160500 140721379160649 140721379160649 140721379164105 0
/proc/31184/statm: 10828 4572 766 782 0 3844 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 43312

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 31278
/proc/meminfo: memFree=31692244/32770624 swapFree=0/366924
[pid=31184] ppid=31181 vsize=43312 CPUtime=582.21 cores=0,2,4,6
/proc/31184/stat : 31184 (MistralXCSP) R 31181 31184 6971 0 -1 4202496 19423 0 0 0 58219 2 0 0 20 0 1 0 24543045 44351488 4572 18446744073709551615 4194304 7396336 140721379151968 140721379146984 139700138657509 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 16162816 140721379160500 140721379160649 140721379160649 140721379164105 0
/proc/31184/statm: 10828 4572 766 782 0 3844 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 43312


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


[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31328
/proc/meminfo: memFree=31692684/32770624 swapFree=0/367224
[pid=31184] ppid=31181 vsize=43312 CPUtime=1602.23 cores=0,2,4,6
/proc/31184/stat : 31184 (MistralXCSP) R 31181 31184 6971 0 -1 4202496 28128 0 0 0 160221 2 0 0 20 0 1 0 24543045 44351488 4572 18446744073709551615 4194304 7396336 140721379151968 140721379146984 4581760 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 16162816 140721379160500 140721379160649 140721379160649 140721379164105 0
/proc/31184/statm: 10828 4572 766 782 0 3844 0
Current children cumulated CPU time (s) 1602.23
Current children cumulated vsize (KiB) 43312

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 31344
/proc/meminfo: memFree=31688008/32770624 swapFree=0/367240
[pid=31184] ppid=31181 vsize=43312 CPUtime=1662.23 cores=0,2,4,6
/proc/31184/stat : 31184 (MistralXCSP) R 31181 31184 6971 0 -1 4202496 28651 0 0 0 166221 2 0 0 20 0 1 0 24543045 44351488 4572 18446744073709551615 4194304 7396336 140721379151968 140721379146984 139700138657509 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 16162816 140721379160500 140721379160649 140721379160649 140721379164105 0
/proc/31184/statm: 10828 4572 766 782 0 3844 0
Current children cumulated CPU time (s) 1662.23
Current children cumulated vsize (KiB) 43312

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 31370
/proc/meminfo: memFree=31687624/32770624 swapFree=0/367316
[pid=31184] ppid=31181 vsize=43312 CPUtime=1722.23 cores=0,2,4,6
/proc/31184/stat : 31184 (MistralXCSP) R 31181 31184 6971 0 -1 4202496 29174 0 0 0 172221 2 0 0 20 0 1 0 24543045 44351488 4572 18446744073709551615 4194304 7396336 140721379151968 140721379146984 4406347 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 16162816 140721379160500 140721379160649 140721379160649 140721379164105 0
/proc/31184/statm: 10828 4572 766 782 0 3844 0
Current children cumulated CPU time (s) 1722.23
Current children cumulated vsize (KiB) 43312

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 31372
/proc/meminfo: memFree=31687900/32770624 swapFree=0/367344
[pid=31184] ppid=31181 vsize=43312 CPUtime=1782.24 cores=0,2,4,6
/proc/31184/stat : 31184 (MistralXCSP) R 31181 31184 6971 0 -1 4202496 29690 0 0 0 178222 2 0 0 20 0 1 0 24543045 44351488 4572 18446744073709551615 4194304 7396336 140721379151968 140721379146984 4387651 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 16162816 140721379160500 140721379160649 140721379160649 140721379164105 0
/proc/31184/statm: 10828 4572 766 782 0 3844 0
Current children cumulated CPU time (s) 1782.24
Current children cumulated vsize (KiB) 43312

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 31374
/proc/meminfo: memFree=31692492/32770624 swapFree=0/367352
[pid=31184] ppid=31181 vsize=43312 CPUtime=1842.24 cores=0,2,4,6
/proc/31184/stat : 31184 (MistralXCSP) R 31181 31184 6971 0 -1 4202496 30214 0 0 0 184222 2 0 0 20 0 1 0 24543045 44351488 4572 18446744073709551615 4194304 7396336 140721379151968 140721379146984 4581738 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 16162816 140721379160500 140721379160649 140721379160649 140721379164105 0
/proc/31184/statm: 10828 4572 766 782 0 3844 0
Current children cumulated CPU time (s) 1842.24
Current children cumulated vsize (KiB) 43312

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31377
/proc/meminfo: memFree=31691972/32770624 swapFree=0/367396
[pid=31184] ppid=31181 vsize=43312 CPUtime=1902.24 cores=0,2,4,6
/proc/31184/stat : 31184 (MistralXCSP) R 31181 31184 6971 0 -1 4202496 30741 0 0 0 190222 2 0 0 20 0 1 0 24543045 44351488 4572 18446744073709551615 4194304 7396336 140721379151968 140721379146984 5627965 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 16162816 140721379160500 140721379160649 140721379160649 140721379164105 0
/proc/31184/statm: 10828 4572 766 782 0 3844 0
Current children cumulated CPU time (s) 1902.24
Current children cumulated vsize (KiB) 43312

[startup+1962.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 31379
/proc/meminfo: memFree=31691744/32770624 swapFree=0/367408
[pid=31184] ppid=31181 vsize=43312 CPUtime=1962.24 cores=0,2,4,6
/proc/31184/stat : 31184 (MistralXCSP) R 31181 31184 6971 0 -1 4202496 31264 0 0 0 196222 2 0 0 20 0 1 0 24543045 44351488 4572 18446744073709551615 4194304 7396336 140721379151968 140721379146984 4406347 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 16162816 140721379160500 140721379160649 140721379160649 140721379164105 0
/proc/31184/statm: 10828 4572 766 782 0 3844 0
Current children cumulated CPU time (s) 1962.24
Current children cumulated vsize (KiB) 43312

[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 31381
/proc/meminfo: memFree=31691768/32770624 swapFree=0/367408
[pid=31184] ppid=31181 vsize=43312 CPUtime=2022.24 cores=0,2,4,6
/proc/31184/stat : 31184 (MistralXCSP) R 31181 31184 6971 0 -1 4202496 31788 0 0 0 202222 2 0 0 20 0 1 0 24543045 44351488 4572 18446744073709551615 4194304 7396336 140721379151968 140721379146984 4547258 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 16162816 140721379160500 140721379160649 140721379160649 140721379164105 0
/proc/31184/statm: 10828 4572 766 782 0 3844 0
Current children cumulated CPU time (s) 2022.24
Current children cumulated vsize (KiB) 43312

[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 31383
/proc/meminfo: memFree=31692024/32770624 swapFree=0/367436
[pid=31184] ppid=31181 vsize=43312 CPUtime=2082.25 cores=0,2,4,6
/proc/31184/stat : 31184 (MistralXCSP) R 31181 31184 6971 0 -1 4202496 32311 0 0 0 208223 2 0 0 20 0 1 0 24543045 44351488 4572 18446744073709551615 4194304 7396336 140721379151968 140721379146984 4581491 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 16162816 140721379160500 140721379160649 140721379160649 140721379164105 0
/proc/31184/statm: 10828 4572 766 782 0 3844 0
Current children cumulated CPU time (s) 2082.25
Current children cumulated vsize (KiB) 43312

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31385
/proc/meminfo: memFree=31691908/32770624 swapFree=0/367424
[pid=31184] ppid=31181 vsize=43312 CPUtime=2142.24 cores=0,2,4,6
/proc/31184/stat : 31184 (MistralXCSP) R 31181 31184 6971 0 -1 4202496 32835 0 0 0 214222 2 0 0 20 0 1 0 24543045 44351488 4572 18446744073709551615 4194304 7396336 140721379151968 140721379146984 4406876 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 16162816 140721379160500 140721379160649 140721379160649 140721379164105 0
/proc/31184/statm: 10828 4572 766 782 0 3844 0
Current children cumulated CPU time (s) 2142.24
Current children cumulated vsize (KiB) 43312

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31387
/proc/meminfo: memFree=31691912/32770624 swapFree=0/367448
[pid=31184] ppid=31181 vsize=43312 CPUtime=2202.25 cores=0,2,4,6
/proc/31184/stat : 31184 (MistralXCSP) R 31181 31184 6971 0 -1 4202496 33358 0 0 0 220223 2 0 0 20 0 1 0 24543045 44351488 4572 18446744073709551615 4194304 7396336 140721379151968 140721379146984 4407476 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 16162816 140721379160500 140721379160649 140721379160649 140721379164105 0
/proc/31184/statm: 10828 4572 766 782 0 3844 0
Current children cumulated CPU time (s) 2202.25
Current children cumulated vsize (KiB) 43312

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 31403
/proc/meminfo: memFree=31687852/32770624 swapFree=0/367492
[pid=31184] ppid=31181 vsize=43312 CPUtime=2262.24 cores=0,2,4,6
/proc/31184/stat : 31184 (MistralXCSP) R 31181 31184 6971 0 -1 4202496 33881 0 0 0 226222 2 0 0 20 0 1 0 24543045 44351488 4572 18446744073709551615 4194304 7396336 140721379151968 140721379146984 5685383 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 16162816 140721379160500 140721379160649 140721379160649 140721379164105 0
/proc/31184/statm: 10828 4572 766 782 0 3844 0
Current children cumulated CPU time (s) 2262.24
Current children cumulated vsize (KiB) 43312

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 31405
/proc/meminfo: memFree=31687900/32770624 swapFree=0/367528
[pid=31184] ppid=31181 vsize=43312 CPUtime=2322.25 cores=0,2,4,6
/proc/31184/stat : 31184 (MistralXCSP) R 31181 31184 6971 0 -1 4202496 34401 0 0 0 232223 2 0 0 20 0 1 0 24543045 44351488 4572 18446744073709551615 4194304 7396336 140721379151968 140721379146984 4581600 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 16162816 140721379160500 140721379160649 140721379160649 140721379164105 0
/proc/31184/statm: 10828 4572 766 782 0 3844 0
Current children cumulated CPU time (s) 2322.25
Current children cumulated vsize (KiB) 43312

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31407
/proc/meminfo: memFree=31690076/32770624 swapFree=0/367540
[pid=31184] ppid=31181 vsize=43312 CPUtime=2382.25 cores=0,2,4,6
/proc/31184/stat : 31184 (MistralXCSP) R 31181 31184 6971 0 -1 4202496 34919 0 0 0 238223 2 0 0 20 0 1 0 24543045 44351488 4572 18446744073709551615 4194304 7396336 140721379151968 140721379146984 4257837 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 16162816 140721379160500 140721379160649 140721379160649 140721379164105 0
/proc/31184/statm: 10828 4572 766 782 0 3844 0
Current children cumulated CPU time (s) 2382.25
Current children cumulated vsize (KiB) 43312

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31409
/proc/meminfo: memFree=31690212/32770624 swapFree=0/367540
[pid=31184] ppid=31181 vsize=43312 CPUtime=2442.25 cores=0,2,4,6
/proc/31184/stat : 31184 (MistralXCSP) R 31181 31184 6971 0 -1 4202496 35189 0 0 0 244223 2 0 0 20 0 1 0 24543045 44351488 4572 18446744073709551615 4194304 7396336 140721379151968 140721379146984 4581710 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 16162816 140721379160500 140721379160649 140721379160649 140721379164105 0
/proc/31184/statm: 10828 4572 766 782 0 3844 0
Current children cumulated CPU time (s) 2442.25
Current children cumulated vsize (KiB) 43312

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31411
/proc/meminfo: memFree=31690360/32770624 swapFree=0/367556
[pid=31184] ppid=31181 vsize=43312 CPUtime=2502.25 cores=0,2,4,6
/proc/31184/stat : 31184 (MistralXCSP) R 31181 31184 6971 0 -1 4202496 35706 0 0 0 250223 2 0 0 20 0 1 0 24543045 44351488 4572 18446744073709551615 4194304 7396336 140721379151968 140721379146984 4399504 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 16162816 140721379160500 140721379160649 140721379160649 140721379164105 0
/proc/31184/statm: 10828 4572 766 782 0 3844 0
Current children cumulated CPU time (s) 2502.25
Current children cumulated vsize (KiB) 43312



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31412
/proc/meminfo: memFree=31690360/32770624 swapFree=0/367556
[pid=31184] ppid=31181 vsize=43312 CPUtime=2519.95 cores=0,2,4,6
/proc/31184/stat : 31184 (MistralXCSP) R 31181 31184 6971 0 -1 4202496 35961 0 0 0 251993 2 0 0 20 0 1 0 24543045 44351488 4572 18446744073709551615 4194304 7396336 140721379151968 140721379146984 4407464 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 16162816 140721379160500 140721379160649 140721379160649 140721379164105 0
/proc/31184/statm: 10828 4572 766 782 0 3844 0
Current children cumulated CPU time (s) 2519.95
Current children cumulated vsize (KiB) 43312

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

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

Child status: 0
Real time (s): 2520
CPU time (s): 2519.96
CPU user time (s): 2519.93
CPU system time (s): 0.026
CPU usage (%): 99.9984
Max. virtual memory (cumulated for all children) (KiB): 43312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.93
system time used= 0.026
maximum resident set size= 18308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35997
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 705

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.28424 second user time and 9.92668 second system time

The end

Launcher Data 

Begin job on node124 at 2017-08-10 12:32:48
IDJOB=4260944
IDBENCH=126211
IDSOLVER=2649
FILE ID=node124/4260944-1502362024
RUNJOBID= node124-1502334771-27114
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= Mistral-2.0 2017-07-28
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-28-a3.xml
COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4260944-1502362024/watcher-4260944-1502362024 -o /tmp/evaluation-result-4260944-1502362024/solver-4260944-1502362024 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502334771-27114 --watchdog 2580  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 135526157 HOME/instance-4260944-1502362024.xml

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

MD5SUM BENCH= 7bf94b2c859f2895a81dfe97f17444ea
RANDOM SEED=135526157

node124.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.51
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.51
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.51
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.51
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:        31680428 kB
MemAvailable:   31979620 kB
Buffers:          169432 kB
Cached:           418836 kB
SwapCached:            0 kB
Active:           296224 kB
Inactive:         383512 kB
Active(anon):      91432 kB
Inactive(anon):    16768 kB
Active(file):     204792 kB
Inactive(file):   366744 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              5668 kB
Writeback:             0 kB
AnonPages:         91192 kB
Mapped:            36332 kB
Shmem:             17128 kB
Slab:             112028 kB
SReclaimable:      86980 kB
SUnreclaim:        25048 kB
KernelStack:        3472 kB
PageTables:         4920 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     347496 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     38912 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= 62020 MiB
End job on node124 at 2017-08-10 13:14:48