Trace number 4260943

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)862 2519.71 2520.04

General information on the benchmark

NameGolombRuler/GolombRuler-a3-s1/
GolombRuler-27-a3.xml
MD5SUMd2b2d316f8a3db7e4daa8c5fb45f5c4a
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark788
Best CPU time to get the best result obtained on this benchmark19974.699
Satisfiable
(Un)Satisfiability was proved
Number of variables756
Number of constraints354
Number of domains2
Minimum domain size1000
Maximum domain size1001
Distribution of domain sizes[{"size":1000,"count":351},{"size":1001,"count":27}]
Minimum variable degree0
Maximum variable degree28
Distribution of variable degrees[{"degree":0,"count":378},{"degree":2,"count":351},{"degree":27,"count":25},{"degree":28,"count":2}]
Minimum constraint arity1
Maximum constraint arity351
Distribution of constraint arities[{"arity":1,"count":1},{"arity":3,"count":351},{"arity":27,"count":1},{"arity":351,"count":1}]
Number of extensional constraints0
Number of intensional constraints352
Distribution of constraint types[{"type":"intension","count":352},{"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.08	c 280717
29.30/29.44	o 974
29.40/29.51	o 948
30.10/30.21	o 926
31.40/31.56	o 919
31.40/31.56	o 910
37.80/37.94	o 891
187.28/187.46	o 883
207.28/207.45	o 873
208.08/208.28	o 872
218.38/218.57	o 868
1119.62/1119.81	o 867
1593.57/1593.89	o 862
2519.70/2520.00	s SATISFIABLE
2519.70/2520.00	v <instantiation type="solution">
2519.70/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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] </list>
2519.70/2520.00	v   <values> 0 2 5 6 13 22 36 46 61 73 99 118 187 222 271 325 377 406 427 516 548 595 659 717 792 834 862 * 2 5 6 13 22 36 46 61 73 99 118 187 222 271 325 377 406 427 516 548 595 659 717 792 834 862 * * 3 4 11 20 34 44 59 71 97 116 185 220 269 323 375 404 425 514 546 593 657 715 790 832 860 * * * 1 8 17 31 41 56 68 94 113 182 217 266 320 372 401 422 511 543 590 654 712 787 829 857 * * * * 7 16 30 40 55 67 93 112 181 216 265 319 371 400 421 510 542 589 653 711 786 828 856 * * * * * 9 23 33 48 60 86 105 174 209 258 312 364 393 414 503 535 582 646 704 779 821 849 * * * * * * 14 24 39 51 77 96 165 200 249 303 355 384 405 494 526 573 637 695 770 812 840 * * * * * * * 10 25 37 63 82 151 186 235 289 341 370 391 480 512 559 623 681 756 798 826 * * * * * * * * 15 27 53 72 141 176 225 279 331 360 381 470 502 549 613 671 746 788 816 * * * * * * * * * 12 38 57 126 161 210 264 316 345 366 455 487 534 598 656 731 773 801 * * * * * * * * * * 26 45 114 149 198 252 304 333 354 443 475 522 586 644 719 761 789 * * * * * * * * * * * 19 88 123 172 226 278 307 328 417 449 496 560 618 693 735 763 * * * * * * * * * * * * 69 104 153 207 259 288 309 398 430 477 541 599 674 716 744 * * * * * * * * * * * * * 35 84 138 190 219 240 329 361 408 472 530 605 647 675 * * * * * * * * * * * * * * 49 103 155 184 205 294 326 373 437 495 570 612 640 * * * * * * * * * * * * * * * 54 106 135 156 245 277 324 388 446 521 563 591 * * * * * * * * * * * * * * * * 52 81 102 191 223 270 334 392 467 509 537 * * * * * * * * * * * * * * * * * 29 50 139 171 218 282 340 415 457 485 * * * * * * * * * * * * * * * * * * 21 110 142 189 253 311 386 428 456 * * * * * * * * * * * * * * * * * * * 89 121 168 232 290 365 407 435 * * * * * * * * * * * * * * * * * * * * 32 79 143 201 276 318 346 * * * * * * * * * * * * * * * * * * * * * 47 111 169 244 286 314 * * * * * * * * * * * * * * * * * * * * * * 64 122 197 239 267 * * * * * * * * * * * * * * * * * * * * * * * 58 133 175 203 * * * * * * * * * * * * * * * * * * * * * * * * 75 117 145 * * * * * * * * * * * * * * * * * * * * * * * * * 42 70 * * * * * * * * * * * * * * * * * * * * * * * * * * 28 * * * * * * * * * * * * * * * * * * * * * * * * * * * </values>
2519.70/2520.00	v </instantiation>

Verifier Data 

OK	862

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-4260943-1502362095/watcher-4260943-1502362095 -o /tmp/evaluation-result-4260943-1502362095/solver-4260943-1502362095 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502333491-25567 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1268739762 HOME/instance-4260943-1502362095.xml 

pid=29179
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.03 4/184 29182
/proc/meminfo: memFree=31202356/32770624 swapFree=0/426052
[pid=29182] ppid=29179 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/29182/stat : 29182 (runsolver) D 29179 29182 4525 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 135862423 24240128 107 18446744073709551615 4194304 4338465 140735631622784 140735631620424 139690126217943 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 10022912 140735631626378 140735631626825 140735631626825 140735631630282 0
/proc/29182/statm: 5918 107 54 36 0 2156 0

[startup+0.100197 s]
/proc/loadavg: 2.00 2.01 2.03 4/184 29182
/proc/meminfo: memFree=31202356/32770624 swapFree=0/426052
[pid=29182] ppid=29179 vsize=29812 CPUtime=0.01 cores=0,2,4,6
/proc/29182/stat : 29182 (MistralXCSP) R 29179 29182 4525 0 -1 4202496 1314 0 0 0 1 0 0 0 20 0 1 0 135862423 30527488 1107 18446744073709551615 4194304 7396336 140731755227056 140731755224056 6180904 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 25919488 140731755233714 140731755233864 140731755233864 140731755237321 0
/proc/29182/statm: 7453 1107 664 782 0 469 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 29812

[startup+0.20034 s]
/proc/loadavg: 2.00 2.01 2.03 4/184 29182
/proc/meminfo: memFree=31202356/32770624 swapFree=0/426052
[pid=29182] ppid=29179 vsize=29812 CPUtime=0.11 cores=0,2,4,6
/proc/29182/stat : 29182 (MistralXCSP) R 29179 29182 4525 0 -1 4202496 1314 0 0 0 11 0 0 0 20 0 1 0 135862423 30527488 1107 18446744073709551615 4194304 7396336 140731755227056 140731755224056 6180610 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 25919488 140731755233714 140731755233864 140731755233864 140731755237321 0
/proc/29182/statm: 7453 1107 664 782 0 469 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 29812

[startup+0.300316 s]
/proc/loadavg: 2.00 2.01 2.03 4/184 29182
/proc/meminfo: memFree=31202356/32770624 swapFree=0/426052
[pid=29182] ppid=29179 vsize=29812 CPUtime=0.21 cores=0,2,4,6
/proc/29182/stat : 29182 (MistralXCSP) R 29179 29182 4525 0 -1 4202496 1328 0 0 0 21 0 0 0 20 0 1 0 135862423 30527488 1107 18446744073709551615 4194304 7396336 140731755227056 140731755224056 6163614 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 25919488 140731755233714 140731755233864 140731755233864 140731755237321 0
/proc/29182/statm: 7453 1107 664 782 0 469 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 29812

[startup+0.70028 s]
/proc/loadavg: 2.00 2.01 2.03 4/184 29182
/proc/meminfo: memFree=31202356/32770624 swapFree=0/426052
[pid=29182] ppid=29179 vsize=30308 CPUtime=0.61 cores=0,2,4,6
/proc/29182/stat : 29182 (MistralXCSP) R 29179 29182 4525 0 -1 4202496 1448 0 0 0 61 0 0 0 20 0 1 0 135862423 31035392 1265 18446744073709551615 4194304 7396336 140731755227056 140731755218024 6057571 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 25919488 140731755233714 140731755233864 140731755233864 140731755237321 0
/proc/29182/statm: 7577 1265 714 782 0 593 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 30308

[startup+1.50029 s]
/proc/loadavg: 2.00 2.01 2.03 3/185 29183
/proc/meminfo: memFree=31196640/32770624 swapFree=0/426060
[pid=29182] ppid=29179 vsize=33792 CPUtime=1.41 cores=0,2,4,6
/proc/29182/stat : 29182 (MistralXCSP) R 29179 29182 4525 0 -1 4202496 2377 0 0 0 141 0 0 0 20 0 1 0 135862423 34603008 2188 18446744073709551615 4194304 7396336 140731755227056 140731755221576 5575964 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 25919488 140731755233714 140731755233864 140731755233864 140731755237321 0
/proc/29182/statm: 8448 2188 765 782 0 1464 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 33792

[startup+3.10029 s]
/proc/loadavg: 2.00 2.01 2.03 3/185 29183
/proc/meminfo: memFree=31195648/32770624 swapFree=0/426060
[pid=29182] ppid=29179 vsize=34468 CPUtime=3.01 cores=0,2,4,6
/proc/29182/stat : 29182 (MistralXCSP) R 29179 29182 4525 0 -1 4202496 3759 0 0 0 301 0 0 0 20 0 1 0 135862423 35295232 2362 18446744073709551615 4194304 7396336 140731755227056 140731755221608 4320839 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 25919488 140731755233714 140731755233864 140731755233864 140731755237321 0
/proc/29182/statm: 8617 2362 765 782 0 1633 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 34468

[startup+6.30028 s]
/proc/loadavg: 2.00 2.01 2.03 3/185 29183
/proc/meminfo: memFree=31194828/32770624 swapFree=0/426060
[pid=29182] ppid=29179 vsize=34996 CPUtime=6.21 cores=0,2,4,6
/proc/29182/stat : 29182 (MistralXCSP) R 29179 29182 4525 0 -1 4202496 5370 0 0 0 621 0 0 0 20 0 1 0 135862423 35835904 2489 18446744073709551615 4194304 7396336 140731755227056 140731755221288 4406867 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 25919488 140731755233714 140731755233864 140731755233864 140731755237321 0
/proc/29182/statm: 8749 2489 766 782 0 1765 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 34996

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.03 3/185 29183
/proc/meminfo: memFree=31194332/32770624 swapFree=0/426060
[pid=29182] ppid=29179 vsize=35128 CPUtime=12.61 cores=0,2,4,6
/proc/29182/stat : 29182 (MistralXCSP) R 29179 29182 4525 0 -1 4202496 6839 0 0 0 1261 0 0 0 20 0 1 0 135862423 35971072 2521 18446744073709551615 4194304 7396336 140731755227056 140731755221288 4581576 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 25919488 140731755233714 140731755233864 140731755233864 140731755237321 0
/proc/29182/statm: 8782 2521 766 782 0 1798 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 35128

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.03 3/185 29183
/proc/meminfo: memFree=31194592/32770624 swapFree=0/426048
[pid=29182] ppid=29179 vsize=35128 CPUtime=25.4 cores=0,2,4,6
/proc/29182/stat : 29182 (MistralXCSP) R 29179 29182 4525 0 -1 4202496 9823 0 0 0 2540 0 0 0 20 0 1 0 135862423 35971072 2550 18446744073709551615 4194304 7396336 140731755227056 140731755221288 5605590 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 25919488 140731755233714 140731755233864 140731755233864 140731755237321 0
/proc/29182/statm: 8782 2550 766 782 0 1798 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 35128

[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 2.03 3/185 29184
/proc/meminfo: memFree=31186840/32770624 swapFree=0/426036
[pid=29182] ppid=29179 vsize=42256 CPUtime=51 cores=0,2,4,6
/proc/29182/stat : 29182 (MistralXCSP) R 29179 29182 4525 0 -1 4202496 14838 0 0 0 5100 0 0 0 20 0 1 0 135862423 43270144 4328 18446744073709551615 4194304 7396336 140731755227056 140731755222072 4249488 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 25919488 140731755233714 140731755233864 140731755233864 140731755237321 0
/proc/29182/statm: 10564 4328 766 782 0 3580 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 42256

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/185 29185
/proc/meminfo: memFree=31186204/32770624 swapFree=0/426040
[pid=29182] ppid=29179 vsize=42256 CPUtime=102.2 cores=0,2,4,6
/proc/29182/stat : 29182 (MistralXCSP) R 29179 29182 4525 0 -1 4202496 15621 0 0 0 10220 0 0 0 20 0 1 0 135862423 43270144 4337 18446744073709551615 4194304 7396336 140731755227056 140731755222072 4581738 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 25919488 140731755233714 140731755233864 140731755233864 140731755237321 0
/proc/29182/statm: 10564 4337 766 782 0 3580 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 42256

[startup+162.3 s]
/proc/loadavg: 2.05 2.03 2.04 3/185 29187
/proc/meminfo: memFree=31186284/32770624 swapFree=0/426056
[pid=29182] ppid=29179 vsize=42256 CPUtime=162.19 cores=0,2,4,6
/proc/29182/stat : 29182 (MistralXCSP) R 29179 29182 4525 0 -1 4202496 16402 0 0 0 16219 0 0 0 20 0 1 0 135862423 43270144 4337 18446744073709551615 4194304 7396336 140731755227056 140731755222072 4257799 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 25919488 140731755233714 140731755233864 140731755233864 140731755237321 0
/proc/29182/statm: 10564 4337 766 782 0 3580 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 42256

[startup+222.306 s]
/proc/loadavg: 2.13 2.05 2.05 3/184 29189
/proc/meminfo: memFree=31186384/32770624 swapFree=0/426052
[pid=29182] ppid=29179 vsize=42384 CPUtime=222.19 cores=0,2,4,6
/proc/29182/stat : 29182 (MistralXCSP) R 29179 29182 4525 0 -1 4202496 17197 0 0 0 22219 0 0 0 20 0 1 0 135862423 43401216 4338 18446744073709551615 4194304 7396336 140731755227056 140731755222072 4379197 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 25919488 140731755233714 140731755233864 140731755233864 140731755237321 0
/proc/29182/statm: 10596 4338 766 782 0 3612 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 42384

[startup+282.3 s]
/proc/loadavg: 2.08 2.06 2.05 3/184 29191
/proc/meminfo: memFree=31186088/32770624 swapFree=0/426076
[pid=29182] ppid=29179 vsize=42384 CPUtime=282.19 cores=0,2,4,6
/proc/29182/stat : 29182 (MistralXCSP) R 29179 29182 4525 0 -1 4202496 17983 0 0 0 28218 1 0 0 20 0 1 0 135862423 43401216 4338 18446744073709551615 4194304 7396336 140731755227056 140731755222072 4407464 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 25919488 140731755233714 140731755233864 140731755233864 140731755237321 0
/proc/29182/statm: 10596 4338 766 782 0 3612 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 42384

[startup+342.3 s]
/proc/loadavg: 2.06 2.06 2.05 3/184 29193
/proc/meminfo: memFree=31186056/32770624 swapFree=0/426084
[pid=29182] ppid=29179 vsize=42384 CPUtime=342.18 cores=0,2,4,6
/proc/29182/stat : 29182 (MistralXCSP) R 29179 29182 4525 0 -1 4202496 18766 0 0 0 34217 1 0 0 20 0 1 0 135862423 43401216 4338 18446744073709551615 4194304 7396336 140731755227056 140731755222072 5685068 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 25919488 140731755233714 140731755233864 140731755233864 140731755237321 0
/proc/29182/statm: 10596 4338 766 782 0 3612 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 42384

[startup+402.3 s]
/proc/loadavg: 2.02 2.05 2.05 3/188 29270
/proc/meminfo: memFree=31189196/32770624 swapFree=0/426116
[pid=29182] ppid=29179 vsize=42384 CPUtime=402.17 cores=0,2,4,6
/proc/29182/stat : 29182 (MistralXCSP) R 29179 29182 4525 0 -1 4202496 19546 0 0 0 40216 1 0 0 20 0 1 0 135862423 43401216 4338 18446744073709551615 4194304 7396336 140731755227056 140731755222072 4407664 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 25919488 140731755233714 140731755233864 140731755233864 140731755237321 0
/proc/29182/statm: 10596 4338 766 782 0 3612 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 42384

[startup+462.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/189 29273
/proc/meminfo: memFree=31189708/32770624 swapFree=0/426136
[pid=29182] ppid=29179 vsize=42384 CPUtime=462.17 cores=0,2,4,6
/proc/29182/stat : 29182 (MistralXCSP) R 29179 29182 4525 0 -1 4202496 20322 0 0 0 46216 1 0 0 20 0 1 0 135862423 43401216 4338 18446744073709551615 4194304 7396336 140731755227056 140731755222072 5605800 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 25919488 140731755233714 140731755233864 140731755233864 140731755237321 0
/proc/29182/statm: 10596 4338 766 782 0 3612 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 42384

[startup+522.3 s]
/proc/loadavg: 2.12 2.07 2.05 3/186 29275
/proc/meminfo: memFree=31192464/32770624 swapFree=0/426140
[pid=29182] ppid=29179 vsize=42384 CPUtime=522.16 cores=0,2,4,6
/proc/29182/stat : 29182 (MistralXCSP) R 29179 29182 4525 0 -1 4202496 21102 0 0 0 52215 1 0 0 20 0 1 0 135862423 43401216 4338 18446744073709551615 4194304 7396336 140731755227056 140731755222072 4249495 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 25919488 140731755233714 140731755233864 140731755233864 140731755237321 0
/proc/29182/statm: 10596 4338 766 782 0 3612 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 42384

[startup+582.3 s]
/proc/loadavg: 2.04 2.06 2.05 3/186 29277
/proc/meminfo: memFree=31192932/32770624 swapFree=0/426156
[pid=29182] ppid=29179 vsize=42384 CPUtime=582.16 cores=0,2,4,6
/proc/29182/stat : 29182 (MistralXCSP) R 29179 29182 4525 0 -1 4202496 21882 0 0 0 58215 1 0 0 20 0 1 0 135862423 43401216 4338 18446744073709551615 4194304 7396336 140731755227056 140731755222072 5685633 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 25919488 140731755233714 140731755233864 140731755233864 140731755237321 0
/proc/29182/statm: 10596 4338 766 782 0 3612 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 42384


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


[startup+1602.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/188 29343
/proc/meminfo: memFree=31186900/32770624 swapFree=0/426384
[pid=29182] ppid=29179 vsize=42912 CPUtime=1602.07 cores=0,2,4,6
/proc/29182/stat : 29182 (MistralXCSP) R 29179 29182 4525 0 -1 4202496 30997 0 0 0 160206 1 0 0 20 0 1 0 135862423 43941888 4488 18446744073709551615 4194304 7396336 140731755227056 140731755222072 4399495 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 25919488 140731755233714 140731755233864 140731755233864 140731755237321 0
/proc/29182/statm: 10728 4488 766 782 0 3744 0
Current children cumulated CPU time (s) 1602.07
Current children cumulated vsize (KiB) 42912

[startup+1662.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/188 29370
/proc/meminfo: memFree=31185696/32770624 swapFree=0/426400
[pid=29182] ppid=29179 vsize=42912 CPUtime=1662.07 cores=0,2,4,6
/proc/29182/stat : 29182 (MistralXCSP) R 29179 29182 4525 0 -1 4202496 31417 0 0 0 166206 1 0 0 20 0 1 0 135862423 43941888 4489 18446744073709551615 4194304 7396336 140731755227056 140731755222072 4379209 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 25919488 140731755233714 140731755233864 140731755233864 140731755237321 0
/proc/29182/statm: 10728 4489 766 782 0 3744 0
Current children cumulated CPU time (s) 1662.07
Current children cumulated vsize (KiB) 42912

[startup+1722.3 s]
/proc/loadavg: 1.96 2.01 2.04 3/189 29373
/proc/meminfo: memFree=31185928/32770624 swapFree=0/426416
[pid=29182] ppid=29179 vsize=42912 CPUtime=1722.06 cores=0,2,4,6
/proc/29182/stat : 29182 (MistralXCSP) R 29179 29182 4525 0 -1 4202496 31835 0 0 0 172205 1 0 0 20 0 1 0 135862423 43941888 4489 18446744073709551615 4194304 7396336 140731755227056 140731755222072 4379217 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 25919488 140731755233714 140731755233864 140731755233864 140731755237321 0
/proc/29182/statm: 10728 4489 766 782 0 3744 0
Current children cumulated CPU time (s) 1722.06
Current children cumulated vsize (KiB) 42912

[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/186 29375
/proc/meminfo: memFree=31189708/32770624 swapFree=0/426432
[pid=29182] ppid=29179 vsize=42912 CPUtime=1782.06 cores=0,2,4,6
/proc/29182/stat : 29182 (MistralXCSP) R 29179 29182 4525 0 -1 4202496 32255 0 0 0 178205 1 0 0 20 0 1 0 135862423 43941888 4489 18446744073709551615 4194304 7396336 140731755227056 140731755222072 4407040 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 25919488 140731755233714 140731755233864 140731755233864 140731755237321 0
/proc/29182/statm: 10728 4489 766 782 0 3744 0
Current children cumulated CPU time (s) 1782.06
Current children cumulated vsize (KiB) 42912

[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 29377
/proc/meminfo: memFree=31189804/32770624 swapFree=0/426440
[pid=29182] ppid=29179 vsize=42912 CPUtime=1842.05 cores=0,2,4,6
/proc/29182/stat : 29182 (MistralXCSP) R 29179 29182 4525 0 -1 4202496 32674 0 0 0 184204 1 0 0 20 0 1 0 135862423 43941888 4489 18446744073709551615 4194304 7396336 140731755227056 140731755222072 4581576 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 25919488 140731755233714 140731755233864 140731755233864 140731755237321 0
/proc/29182/statm: 10728 4489 766 782 0 3744 0
Current children cumulated CPU time (s) 1842.05
Current children cumulated vsize (KiB) 42912

[startup+1902.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/186 29379
/proc/meminfo: memFree=31190268/32770624 swapFree=0/426448
[pid=29182] ppid=29179 vsize=42912 CPUtime=1902.05 cores=0,2,4,6
/proc/29182/stat : 29182 (MistralXCSP) R 29179 29182 4525 0 -1 4202496 33093 0 0 0 190204 1 0 0 20 0 1 0 135862423 43941888 4489 18446744073709551615 4194304 7396336 140731755227056 140731755222072 140276961191653 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 25919488 140731755233714 140731755233864 140731755233864 140731755237321 0
/proc/29182/statm: 10728 4489 766 782 0 3744 0
Current children cumulated CPU time (s) 1902.05
Current children cumulated vsize (KiB) 42912

[startup+1962.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/185 29381
/proc/meminfo: memFree=31190596/32770624 swapFree=0/426460
[pid=29182] ppid=29179 vsize=42912 CPUtime=1962.04 cores=0,2,4,6
/proc/29182/stat : 29182 (MistralXCSP) R 29179 29182 4525 0 -1 4202496 33511 0 0 0 196203 1 0 0 20 0 1 0 135862423 43941888 4489 18446744073709551615 4194304 7396336 140731755227056 140731755222072 4407060 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 25919488 140731755233714 140731755233864 140731755233864 140731755237321 0
/proc/29182/statm: 10728 4489 766 782 0 3744 0
Current children cumulated CPU time (s) 1962.04
Current children cumulated vsize (KiB) 42912

[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/184 29383
/proc/meminfo: memFree=31190584/32770624 swapFree=0/426468
[pid=29182] ppid=29179 vsize=42912 CPUtime=2022.04 cores=0,2,4,6
/proc/29182/stat : 29182 (MistralXCSP) R 29179 29182 4525 0 -1 4202496 33925 0 0 0 202203 1 0 0 20 0 1 0 135862423 43941888 4489 18446744073709551615 4194304 7396336 140731755227056 140731755222072 4581849 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 25919488 140731755233714 140731755233864 140731755233864 140731755237321 0
/proc/29182/statm: 10728 4489 766 782 0 3744 0
Current children cumulated CPU time (s) 2022.04
Current children cumulated vsize (KiB) 42912

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 29385
/proc/meminfo: memFree=31190904/32770624 swapFree=0/426480
[pid=29182] ppid=29179 vsize=42912 CPUtime=2082.04 cores=0,2,4,6
/proc/29182/stat : 29182 (MistralXCSP) R 29179 29182 4525 0 -1 4202496 34340 0 0 0 208203 1 0 0 20 0 1 0 135862423 43941888 4489 18446744073709551615 4194304 7396336 140731755227056 140731755222072 4581459 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 25919488 140731755233714 140731755233864 140731755233864 140731755237321 0
/proc/29182/statm: 10728 4489 766 782 0 3744 0
Current children cumulated CPU time (s) 2082.04
Current children cumulated vsize (KiB) 42912

[startup+2142.3 s]
/proc/loadavg: 1.91 1.98 2.03 3/184 29387
/proc/meminfo: memFree=31190412/32770624 swapFree=0/426488
[pid=29182] ppid=29179 vsize=42912 CPUtime=2142.03 cores=0,2,4,6
/proc/29182/stat : 29182 (MistralXCSP) R 29179 29182 4525 0 -1 4202496 34731 0 0 0 214202 1 0 0 20 0 1 0 135862423 43941888 4489 18446744073709551615 4194304 7396336 140731755227056 140731755222072 4222880 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 25919488 140731755233714 140731755233864 140731755233864 140731755237321 0
/proc/29182/statm: 10728 4489 766 782 0 3744 0
Current children cumulated CPU time (s) 2142.03
Current children cumulated vsize (KiB) 42912

[startup+2202.31 s]
/proc/loadavg: 2.02 2.00 2.04 3/188 29404
/proc/meminfo: memFree=31186144/32770624 swapFree=0/426508
[pid=29182] ppid=29179 vsize=42912 CPUtime=2202.04 cores=0,2,4,6
/proc/29182/stat : 29182 (MistralXCSP) R 29179 29182 4525 0 -1 4202496 35124 0 0 0 220202 2 0 0 20 0 1 0 135862423 43941888 4489 18446744073709551615 4194304 7396336 140731755227056 140731755222072 4581576 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 25919488 140731755233714 140731755233864 140731755233864 140731755237321 0
/proc/29182/statm: 10728 4489 766 782 0 3744 0
Current children cumulated CPU time (s) 2202.04
Current children cumulated vsize (KiB) 42912

[startup+2262.3 s]
/proc/loadavg: 2.01 2.00 2.04 3/188 29406
/proc/meminfo: memFree=31186732/32770624 swapFree=0/426512
[pid=29182] ppid=29179 vsize=42912 CPUtime=2262.03 cores=0,2,4,6
/proc/29182/stat : 29182 (MistralXCSP) R 29179 29182 4525 0 -1 4202496 35492 0 0 0 226201 2 0 0 20 0 1 0 135862423 43941888 4489 18446744073709551615 4194304 7396336 140731755227056 140731755222072 4257814 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 25919488 140731755233714 140731755233864 140731755233864 140731755237321 0
/proc/29182/statm: 10728 4489 766 782 0 3744 0
Current children cumulated CPU time (s) 2262.03
Current children cumulated vsize (KiB) 42912

[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/185 29408
/proc/meminfo: memFree=31190188/32770624 swapFree=0/426528
[pid=29182] ppid=29179 vsize=42912 CPUtime=2322.03 cores=0,2,4,6
/proc/29182/stat : 29182 (MistralXCSP) R 29179 29182 4525 0 -1 4202496 35860 0 0 0 232201 2 0 0 20 0 1 0 135862423 43941888 4489 18446744073709551615 4194304 7396336 140731755227056 140731755222072 4407048 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 25919488 140731755233714 140731755233864 140731755233864 140731755237321 0
/proc/29182/statm: 10728 4489 766 782 0 3744 0
Current children cumulated CPU time (s) 2322.03
Current children cumulated vsize (KiB) 42912

[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/185 29410
/proc/meminfo: memFree=31190040/32770624 swapFree=0/426536
[pid=29182] ppid=29179 vsize=42912 CPUtime=2382.02 cores=0,2,4,6
/proc/29182/stat : 29182 (MistralXCSP) R 29179 29182 4525 0 -1 4202496 36228 0 0 0 238200 2 0 0 20 0 1 0 135862423 43941888 4489 18446744073709551615 4194304 7396336 140731755227056 140731755222072 4406583 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 25919488 140731755233714 140731755233864 140731755233864 140731755237321 0
/proc/29182/statm: 10728 4489 766 782 0 3744 0
Current children cumulated CPU time (s) 2382.02
Current children cumulated vsize (KiB) 42912

[startup+2442.3 s]
/proc/loadavg: 2.06 2.02 2.05 3/185 29412
/proc/meminfo: memFree=31190224/32770624 swapFree=0/426552
[pid=29182] ppid=29179 vsize=42912 CPUtime=2442.01 cores=0,2,4,6
/proc/29182/stat : 29182 (MistralXCSP) R 29179 29182 4525 0 -1 4202496 36596 0 0 0 244199 2 0 0 20 0 1 0 135862423 43941888 4489 18446744073709551615 4194304 7396336 140731755227056 140731755222072 4407388 0 0 1 16386 0 0 0 17 0 0 0 8 0 0 9496464 9501696 25919488 140731755233714 140731755233864 140731755233864 140731755237321 0
/proc/29182/statm: 10728 4489 766 782 0 3744 0
Current children cumulated CPU time (s) 2442.01
Current children cumulated vsize (KiB) 42912

[startup+2502.3 s]
/proc/loadavg: 1.94 1.99 2.03 3/184 29414
/proc/meminfo: memFree=31190116/32770624 swapFree=0/426556
[pid=29182] ppid=29179 vsize=42912 CPUtime=2502 cores=0,2,4,6
/proc/29182/stat : 29182 (MistralXCSP) R 29179 29182 4525 0 -1 4202496 37016 0 0 0 250198 2 0 0 20 0 1 0 135862423 43941888 4489 18446744073709551615 4194304 7396336 140731755227056 140731755222072 4257817 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 25919488 140731755233714 140731755233864 140731755233864 140731755237321 0
/proc/29182/statm: 10728 4489 766 782 0 3744 0
Current children cumulated CPU time (s) 2502
Current children cumulated vsize (KiB) 42912



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 1.96 1.99 2.03 3/184 29415
/proc/meminfo: memFree=31190364/32770624 swapFree=0/426552
[pid=29182] ppid=29179 vsize=42912 CPUtime=2519.7 cores=0,2,4,6
/proc/29182/stat : 29182 (MistralXCSP) R 29179 29182 4525 0 -1 4202496 37432 0 0 0 251968 2 0 0 20 0 1 0 135862423 43941888 4489 18446744073709551615 4194304 7396336 140731755227056 140731755222072 4249495 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 25919488 140731755233714 140731755233864 140731755233864 140731755237321 0
/proc/29182/statm: 10728 4489 766 782 0 3744 0
Current children cumulated CPU time (s) 2519.7
Current children cumulated vsize (KiB) 42912

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 29182 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 0
Real time (s): 2520.04
CPU time (s): 2519.71
CPU user time (s): 2519.69
CPU system time (s): 0.025997
CPU usage (%): 99.9872
Max. virtual memory (cumulated for all children) (KiB): 42912

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.69
system time used= 0.025997
maximum resident set size= 17976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37471
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= 15
involuntary context switches= 3987

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.61722 second user time and 9.83099 second system time

The end

Launcher Data 

Begin job on node132 at 2017-08-10 12:33:52
IDJOB=4260943
IDBENCH=126216
IDSOLVER=2649
FILE ID=node132/4260943-1502362095
RUNJOBID= node132-1502333491-25567
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= Mistral-2.0 2017-07-28
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-27-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-4260943-1502362095/watcher-4260943-1502362095 -o /tmp/evaluation-result-4260943-1502362095/solver-4260943-1502362095 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502333491-25567 --watchdog 2580  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1268739762 HOME/instance-4260943-1502362095.xml

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

MD5SUM BENCH= d2b2d316f8a3db7e4daa8c5fb45f5c4a
RANDOM SEED=1268739762

node132.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.74
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.74
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.74
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.74
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:        31202560 kB
MemAvailable:   31969548 kB
Buffers:          280648 kB
Cached:           789472 kB
SwapCached:            0 kB
Active:           670760 kB
Inactive:         466872 kB
Active(anon):      68052 kB
Inactive(anon):    40820 kB
Active(file):     602708 kB
Inactive(file):   426052 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              5600 kB
Writeback:             4 kB
AnonPages:         66872 kB
Mapped:            58508 kB
Shmem:             41660 kB
Slab:             134620 kB
SReclaimable:     108128 kB
SUnreclaim:        26492 kB
KernelStack:        3264 kB
PageTables:         5284 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     342968 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 62020 MiB
End job on node132 at 2017-08-10 13:15:52