Trace number 4261048

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)3181880 2519.6499 2520

General information on the benchmark

NameQuadraticAssignment/QuadraticAssignment-m1-s1/
QuadraticAssignment-bur26g.xml
MD5SUMe15ea9448d462545754e2532d86d3e94
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark3138098
Best CPU time to get the best result obtained on this benchmark2400.12
Satisfiable
(Un)Satisfiability was proved
Number of variables702
Number of constraints326
Number of domains2
Minimum domain size26
Maximum domain size280
Distribution of domain sizes[{"size":26,"count":26},{"size":280,"count":325}]
Minimum variable degree0
Maximum variable degree26
Distribution of variable degrees[{"degree":0,"count":351},{"degree":2,"count":325},{"degree":26,"count":26}]
Minimum constraint arity3
Maximum constraint arity26
Distribution of constraint arities[{"arity":3,"count":325},{"arity":26,"count":1}]
Number of extensional constraints325
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":325},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin SUM

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.05	c 280717
0.34/0.42	o 4766263
0.34/0.42	o 4763630
0.34/0.43	o 4735733
0.34/0.44	o 4732310
0.34/0.45	o 4727438
0.54/0.68	o 4699385
0.54/0.69	o 4680319
0.54/0.69	o 4569362
0.64/0.71	o 4473044
0.64/0.71	o 4459208
0.84/0.95	o 4449983
0.84/0.95	o 4358590
0.84/0.96	o 4341078
0.84/0.96	o 4331368
0.84/0.98	o 4177112
0.84/0.99	o 4171491
0.94/1.00	o 4167539
0.94/1.01	o 4166993
1.44/1.54	o 4163738
1.44/1.56	o 4152954
1.44/1.56	o 4151470
1.44/1.57	o 4142953
1.54/1.60	o 4141385
1.74/1.81	o 4086820
1.74/1.84	o 4075499
1.94/2.09	o 4056095
2.03/2.16	o 4055307
2.34/2.42	o 4050933
2.34/2.47	o 3984407
2.84/2.90	o 3974829
2.84/2.91	o 3974763
3.74/3.82	o 3974254
4.23/4.31	o 3973219
4.23/4.36	o 3972364
4.23/4.39	o 3971784
4.54/4.60	o 3954756
4.54/4.61	o 3954290
4.54/4.63	o 3944931
4.94/5.08	o 3944534
5.04/5.12	o 3944176
5.74/5.89	o 3920889
5.74/5.89	o 3868139
5.84/5.91	o 3738702
6.04/6.14	o 3729616
6.04/6.15	o 3729064
6.64/6.79	o 3679611
6.93/7.00	o 3508556
6.93/7.01	o 3499221
6.93/7.07	o 3498035
7.13/7.26	o 3492438
7.13/7.30	o 3485658
7.43/7.59	o 3485386
7.94/8.08	o 3484282
9.34/9.46	o 3456265
13.14/13.25	o 3426120
14.23/14.31	o 3426034
18.54/18.61	o 3395997
18.74/18.87	o 3381014
18.84/18.91	o 3380211
19.54/19.68	o 3370913
19.64/19.73	o 3363393
21.23/21.35	o 3361116
23.93/24.09	o 3298909
26.93/27.00	o 3247729
28.12/28.20	o 3247597
31.52/31.66	o 3245641
31.52/31.69	o 3245429
32.92/33.03	o 3245089
33.82/33.95	o 3244741
94.38/94.50	o 3244702
95.97/96.17	o 3243976
104.08/104.27	o 3195812
118.37/118.56	o 3194360
127.87/128.07	o 3190285
128.37/128.58	o 3182684
130.56/130.76	o 3181880
2519.63/2520.00	s SATISFIABLE
2519.63/2520.00	v <instantiation type="solution">
2519.63/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] d[0][0] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][20] d[0][21] d[0][22] d[0][23] d[0][24] d[0][25] d[1][0] d[1][1] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][20] d[1][21] d[1][22] d[1][23] d[1][24] d[1][25] d[2][0] d[2][1] d[2][2] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][20] d[2][21] d[2][22] d[2][23] d[2][24] d[2][25] d[3][0] d[3][1] d[3][2] d[3][3] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][20] d[3][21] d[3][22] d[3][23] d[3][24] d[3][25] d[4][0] d[4][1] d[4][2] d[4][3] d[4][4] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][20] d[4][21] d[4][22] d[4][23] d[4][24] d[4][25] d[5][0] d[5][1] d[5][2] d[5][3] d[5][4] d[5][5] d[5][6] d[5][7] d[5][8] d[5][9] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][20] d[5][21] d[5][22] d[5][23] d[5][24] d[5][25] d[6][0] d[6][1] d[6][2] d[6][3] d[6][4] d[6][5] d[6][6] d[6][7] d[6][8] d[6][9] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][20] d[6][21] d[6][22] d[6][23] d[6][24] d[6][25] d[7][0] d[7][1] d[7][2] d[7][3] d[7][4] d[7][5] d[7][6] d[7][7] d[7][8] d[7][9] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][20] d[7][21] d[7][22] d[7][23] d[7][24] d[7][25] d[8][0] d[8][1] d[8][2] d[8][3] d[8][4] d[8][5] d[8][6] d[8][7] d[8][8] d[8][9] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][20] d[8][21] d[8][22] d[8][23] d[8][24] d[8][25] d[9][0] d[9][1] d[9][2] d[9][3] d[9][4] d[9][5] d[9][6] d[9][7] d[9][8] d[9][9] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][20] d[9][21] d[9][22] d[9][23] d[9][24] d[9][25] d[10][0] d[10][1] d[10][2] d[10][3] d[10][4] d[10][5] d[10][6] d[10][7] d[10][8] d[10][9] d[10][10] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][20] d[10][21] d[10][22] d[10][23] d[10][24] d[10][25] d[11][0] d[11][1] d[11][2] d[11][3] d[11][4] d[11][5] d[11][6] d[11][7] d[11][8] d[11][9] d[11][10] d[11][11] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][20] d[11][21] d[11][22] d[11][23] d[11][24] d[11][25] d[12][0] d[12][1] d[12][2] d[12][3] d[12][4] d[12][5] d[12][6] d[12][7] d[12][8] d[12][9] d[12][10] d[12][11] d[12][12] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][20] d[12][21] d[12][22] d[12][23] d[12][24] d[12][25] d[13][0] d[13][1] d[13][2] d[13][3] d[13][4] d[13][5] d[13][6] d[13][7] d[13][8] d[13][9] d[13][10] d[13][11] d[13][12] d[13][13] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][20] d[13][21] d[13][22] d[13][23] d[13][24] d[13][25] d[14][0] d[14][1] d[14][2] d[14][3] d[14][4] d[14][5] d[14][6] d[14][7] d[14][8] d[14][9] d[14][10] d[14][11] d[14][12] d[14][13] d[14][14] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][20] d[14][21] d[14][22] d[14][23] d[14][24] d[14][25] d[15][0] d[15][1] d[15][2] d[15][3] d[15][4] d[15][5] d[15][6] d[15][7] d[15][8] d[15][9] d[15][10] d[15][11] d[15][12] d[15][13] d[15][14] d[15][15] d[15][16] d[15][17] d[15][18] d[15][19] d[15][20] d[15][21] d[15][22] d[15][23] d[15][24] d[15][25] d[16][0] d[16][1] d[16][2] d[16][3] d[16][4] d[16][5] d[16][6] d[16][7] d[16][8] d[16][9] d[16][10] d[16][11] d[16][12] d[16][13] d[16][14] d[16][15] d[16][16] d[16][17] d[16][18] d[16][19] d[16][20] d[16][21] d[16][22] d[16][23] d[16][24] d[16][25] d[17][0] d[17][1] d[17][2] d[17][3] d[17][4] d[17][5] d[17][6] d[17][7] d[17][8] d[17][9] d[17][10] d[17][11] d[17][12] d[17][13] d[17][14] d[17][15] d[17][16] d[17][17] d[17][18] d[17][19] d[17][20] d[17][21] d[17][22] d[17][23] d[17][24] d[17][25] d[18][0] d[18][1] d[18][2] d[18][3] d[18][4] d[18][5] d[18][6] d[18][7] d[18][8] d[18][9] d[18][10] d[18][11] d[18][12] d[18][13] d[18][14] d[18][15] d[18][16] d[18][17] d[18][18] d[18][19] d[18][20] d[18][21] d[18][22] d[18][23] d[18][24] d[18][25] d[19][0] d[19][1] d[19][2] d[19][3] d[19][4] d[19][5] d[19][6] d[19][7] d[19][8] d[19][9] d[19][10] d[19][11] d[19][12] d[19][13] d[19][14] d[19][15] d[19][16] d[19][17] d[19][18] d[19][19] d[19][20] d[19][21] d[19][22] d[19][23] d[19][24] d[19][25] d[20][0] d[20][1] d[20][2] d[20][3] d[20][4] d[20][5] d[20][6] d[20][7] d[20][8] d[20][9] d[20][10] d[20][11] d[20][12] d[20][13] d[20][14] d[20][15] d[20][16] d[20][17] d[20][18] d[20][19] d[20][20] d[20][21] d[20][22] d[20][23] d[20][24] d[20][25] d[21][0] d[21][1] d[21][2] d[21][3] d[21][4] d[21][5] d[21][6] d[21][7] d[21][8] d[21][9] d[21][10] d[21][11] d[21][12] d[21][13] d[21][14] d[21][15] d[21][16] d[21][17] d[21][18] d[21][19] d[21][20] d[21][21] d[21][22] d[21][23] d[21][24] d[21][25] d[22][0] d[22][1] d[22][2] d[22][3] d[22][4] d[22][5] d[22][6] d[22][7] d[22][8] d[22][9] d[22][10] d[22][11] d[22][12] d[22][13] d[22][14] d[22][15] d[22][16] d[22][17] d[22][18] d[22][19] d[22][20] d[22][21] d[22][22] d[22][23] d[22][24] d[22][25] d[23][0] d[23][1] d[23][2] d[23][3] d[23][4] d[23][5] d[23][6] d[23][7] d[23][8] d[23][9] d[23][10] d[23][11] d[23][12] d[23][13] d[23][14] d[23][15] d[23][16] d[23][17] d[23][18] d[23][19] d[23][20] d[23][21] d[23][22] d[23][23] d[23][24] d[23][25] d[24][0] d[24][1] d[24][2] d[24][3] d[24][4] d[24][5] d[24][6] d[24][7] d[24][8] d[24][9] d[24][10] d[24][11] d[24][12] d[24][13] d[24][14] d[24][15] d[24][16] d[24][17] d[24][18] d[24][19] d[24][20] d[24][21] d[24][22] d[24][23] d[24][24] d[24][25] d[25][0] d[25][1] d[25][2] d[25][3] d[25][4] d[25][5] d[25][6] d[25][7] d[25][8] d[25][9] d[25][10] d[25][11] d[25][12] d[25][13] d[25][14] d[25][15] d[25][16] d[25][17] d[25][18] d[25][19] d[25][20] d[25][21] d[25][22] d[25][23] d[25][24] d[25][25] </list>
2519.63/2520.00	v   <values> 24 19 18 10 5 11 13 23 20 17 4 6 0 15 14 7 2 8 3 9 1 22 16 25 21 12 * 4 34 1 0 7 16 0 0 17 9 1 6 39 5 0 9 1 0 1 2 1 0 0 0 21 * * 595 22 6 46 5 0 280 622 3844 139 770 12 811 160 12 1256 60 52 48 197 0 30 88 34 * * * 90 20 336 31 0 62 24 943 26 154 339 232 51 1005 301 70 93 70 36 2 16 61 89 * * * * 7 191 15 0 138 227 1389 5 379 2 502 79 0 228 3 21 35 85 0 7 10 24 * * * * * 39 0 0 20 119 245 53 57 5 135 12 12 110 91 4 11 16 0 15 4 4 * * * * * * 14 0 196 11 1816 177 1170 43 448 22 5 1097 512 34 23 12 0 4 28 69 * * * * * * * 2 154 31 1012 1949 768 20 533 107 146 1212 2401 14 116 75 8 140 131 64 * * * * * * * * 0 0 5 0 12 20 0 0 7 10 0 0 0 0 0 0 0 0 * * * * * * * * * 494 81 69 29 14 0 8 64 977 224 1 83 350 0 25 11 80 * * * * * * * * * * 2129 301 1140 86 1095 165 39 1035 1434 9 190 175 1 167 187 234 * * * * * * * * * * * 926 115 284 46 222 415 1061 1114 9 331 266 11 518 660 688 * * * * * * * * * * * * 336 3 134 61 5 331 216 2 17 5 0 3 19 21 * * * * * * * * * * * * * 247 1 15 495 94 516 6 57 10 0 11 120 576 * * * * * * * * * * * * * * 334 33 4 84 11 11 13 6 0 17 30 13 * * * * * * * * * * * * * * * 8 242 49 239 5 62 74 0 35 454 856 * * * * * * * * * * * * * * * * 0 286 1 1 3 0 0 7 3 8 * * * * * * * * * * * * * * * * * 148 3 0 3 0 1 8 1 2 * * * * * * * * * * * * * * * * * * 735 0 21 0 10 33 88 118 * * * * * * * * * * * * * * * * * * * 16 28 30 1 37 24 12 * * * * * * * * * * * * * * * * * * * * 0 1 0 0 0 1 * * * * * * * * * * * * * * * * * * * * * 0 0 0 3 0 * * * * * * * * * * * * * * * * * * * * * * 0 0 8 0 * * * * * * * * * * * * * * * * * * * * * * * 0 0 0 * * * * * * * * * * * * * * * * * * * * * * * * 1 0 * * * * * * * * * * * * * * * * * * * * * * * * * 5 * * * * * * * * * * * * * * * * * * * * * * * * * * </values>
2519.63/2520.00	v </instantiation>

Verifier Data 

OK	3181880

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-4261048-1502352349/watcher-4261048-1502352349 -o /tmp/evaluation-result-4261048-1502352349/solver-4261048-1502352349 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502331240-8161 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1913439961 HOME/instance-4261048-1502352349.xml 

pid=11371
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 2/181 11374
/proc/meminfo: memFree=31287232/32770624 swapFree=0/522780
[pid=11374] ppid=11371 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/11374/stat : 11374 (runsolver) D 11371 11374 16590 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 37428476 24240128 106 18446744073709551615 4194304 4338465 140730792986672 140730792984312 139952840704727 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 27746304 140730792988812 140730792989258 140730792989258 140730792992714 0
/proc/11374/statm: 5918 106 53 36 0 2156 0

[startup+0.100114 s]
/proc/loadavg: 2.00 2.01 2.05 2/181 11374
/proc/meminfo: memFree=31287232/32770624 swapFree=0/522780
[pid=11374] ppid=11371 vsize=54800 CPUtime=0.04 cores=0,2,4,6
/proc/11374/stat : 11374 (MistralXCSP) R 11371 11374 16590 0 -1 4202496 7447 0 0 0 3 1 0 0 20 0 1 0 37428476 56115200 7245 18446744073709551615 4194304 7396336 140722077739664 140722077736664 5790603 0 0 1 0 0 0 0 17 0 0 0 5 0 0 9496464 9501696 25681920 140722077745587 140722077745737 140722077745737 140722077749193 0
/proc/11374/statm: 13700 7245 651 782 0 6716 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 54800

[startup+0.200294 s]
/proc/loadavg: 2.00 2.01 2.05 2/181 11374
/proc/meminfo: memFree=31287232/32770624 swapFree=0/522780
[pid=11374] ppid=11371 vsize=248360 CPUtime=0.14 cores=0,2,4,6
/proc/11374/stat : 11374 (MistralXCSP) R 11371 11374 16590 0 -1 4202496 55887 0 0 0 7 7 0 0 20 0 1 0 37428476 254320640 55689 18446744073709551615 4194304 7396336 140722077739664 140722077736664 140534277712869 0 0 1 0 0 0 0 17 0 0 0 5 0 0 9496464 9501696 25681920 140722077745587 140722077745737 140722077745737 140722077749193 0
/proc/11374/statm: 62090 55689 651 782 0 55106 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 248360

[startup+0.300412 s]
/proc/loadavg: 2.00 2.01 2.05 2/181 11374
/proc/meminfo: memFree=31287232/32770624 swapFree=0/522780
[pid=11374] ppid=11371 vsize=350460 CPUtime=0.24 cores=0,2,4,6
/proc/11374/stat : 11374 (MistralXCSP) R 11371 11374 16590 0 -1 4202496 81435 0 0 0 15 9 0 0 20 0 1 0 37428476 358871040 81235 18446744073709551615 4194304 7396336 140722077739664 140722077736664 5792027 0 0 1 16386 0 0 0 17 0 0 0 5 0 0 9496464 9501696 25681920 140722077745587 140722077745737 140722077745737 140722077749193 0
/proc/11374/statm: 87615 81235 688 782 0 80631 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 350460

[startup+0.700243 s]
/proc/loadavg: 2.00 2.01 2.05 2/181 11374
/proc/meminfo: memFree=31287232/32770624 swapFree=0/522780
[pid=11374] ppid=11371 vsize=368704 CPUtime=0.64 cores=0,2,4,6
/proc/11374/stat : 11374 (MistralXCSP) R 11371 11374 16590 0 -1 4202496 84488 0 0 0 54 10 0 0 20 0 1 0 37428476 377552896 85838 18446744073709551615 4194304 7396336 140722077739664 140722077736664 5774419 0 0 1 16386 0 0 0 17 0 0 0 5 0 0 9496464 9501696 25681920 140722077745587 140722077745737 140722077745737 140722077749193 0
/proc/11374/statm: 92176 85838 698 782 0 85192 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 368704

[startup+1.50025 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 11376
/proc/meminfo: memFree=30945264/32770624 swapFree=0/522676
[pid=11374] ppid=11371 vsize=371740 CPUtime=1.44 cores=0,2,4,6
/proc/11374/stat : 11374 (MistralXCSP) R 11371 11374 16590 0 -1 4202496 85263 0 0 0 134 10 0 0 20 0 1 0 37428476 380661760 86630 18446744073709551615 4194304 7396336 140722077739664 140722077734200 5792027 0 0 1 16386 0 0 0 17 0 0 0 5 0 0 9496464 9501696 25681920 140722077745587 140722077745737 140722077745737 140722077749193 0
/proc/11374/statm: 92935 86630 698 782 0 85951 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 371740

[startup+3.10025 s]
/proc/loadavg: 2.00 2.01 2.05 4/182 11376
/proc/meminfo: memFree=30943196/32770624 swapFree=0/522756
[pid=11374] ppid=11371 vsize=373984 CPUtime=3.04 cores=0,2,4,6
/proc/11374/stat : 11374 (MistralXCSP) R 11371 11374 16590 0 -1 4202496 120785 0 0 0 292 12 0 0 20 0 1 0 37428476 382959616 87162 18446744073709551615 4194304 7396336 140722077739664 140722077734680 4317306 0 0 1 16386 0 0 0 17 0 0 0 5 0 0 9496464 9501696 25681920 140722077745587 140722077745737 140722077745737 140722077749193 0
/proc/11374/statm: 93496 87162 698 782 0 86512 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 373984

[startup+6.30024 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 11376
/proc/meminfo: memFree=30940796/32770624 swapFree=0/522760
[pid=11374] ppid=11371 vsize=376096 CPUtime=6.24 cores=0,2,4,6
/proc/11374/stat : 11374 (MistralXCSP) R 11371 11374 16590 0 -1 4202496 186227 0 0 0 609 15 0 0 20 0 1 0 37428476 385122304 87677 18446744073709551615 4194304 7396336 140722077739664 140722077734680 5792027 0 0 1 16386 0 0 0 17 0 0 0 5 0 0 9496464 9501696 25681920 140722077745587 140722077745737 140722077745737 140722077749193 0
/proc/11374/statm: 94024 87677 698 782 0 87040 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 376096

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 11376
/proc/meminfo: memFree=30937944/32770624 swapFree=0/522760
[pid=11374] ppid=11371 vsize=378340 CPUtime=12.63 cores=0,2,4,6
/proc/11374/stat : 11374 (MistralXCSP) R 11371 11374 16590 0 -1 4202496 226971 0 0 0 1246 17 0 0 20 0 1 0 37428476 387420160 88274 18446744073709551615 4194304 7396336 140722077739664 140722077734200 5771331 0 0 1 16386 0 0 0 17 0 0 0 5 0 0 9496464 9501696 25681920 140722077745587 140722077745737 140722077745737 140722077749193 0
/proc/11374/statm: 94585 88274 698 782 0 87601 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 378340

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 4/181 11376
/proc/meminfo: memFree=30934892/32770624 swapFree=0/522756
[pid=11374] ppid=11371 vsize=380716 CPUtime=25.43 cores=0,2,4,6
/proc/11374/stat : 11374 (MistralXCSP) R 11371 11374 16590 0 -1 4202496 266859 0 0 0 2524 19 0 0 20 0 1 0 37428476 389853184 88829 18446744073709551615 4194304 7396336 140722077739664 140722077734680 4257799 0 0 1 16386 0 0 0 17 0 0 0 5 0 0 9496464 9501696 25681920 140722077745587 140722077745737 140722077745737 140722077749193 0
/proc/11374/statm: 95179 88829 698 782 0 88195 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 380716

[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 4/181 11376
/proc/meminfo: memFree=30932104/32770624 swapFree=0/522748
[pid=11374] ppid=11371 vsize=383092 CPUtime=51.01 cores=0,2,4,6
/proc/11374/stat : 11374 (MistralXCSP) R 11371 11374 16590 0 -1 4202496 325823 0 0 0 5078 23 0 0 20 0 1 0 37428476 392286208 89427 18446744073709551615 4194304 7396336 140722077739664 140722077734200 5576198 0 0 1 16386 0 0 0 17 0 0 0 5 0 0 9496464 9501696 25681920 140722077745587 140722077745737 140722077745737 140722077749193 0
/proc/11374/statm: 95773 89427 698 782 0 88789 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 383092

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 11378
/proc/meminfo: memFree=30929308/32770624 swapFree=0/522748
[pid=11374] ppid=11371 vsize=385336 CPUtime=102.18 cores=0,2,4,6
/proc/11374/stat : 11374 (MistralXCSP) R 11371 11374 16590 0 -1 4202496 354081 0 0 0 10193 25 0 0 20 0 1 0 37428476 394584064 90028 18446744073709551615 4194304 7396336 140722077739664 140722077734200 4257784 0 0 1 16386 0 0 0 17 0 0 0 5 0 0 9496464 9501696 25681920 140722077745587 140722077745737 140722077745737 140722077749193 0
/proc/11374/statm: 96334 90028 698 782 0 89350 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 385336

[startup+162.3 s]
/proc/loadavg: 2.11 2.04 2.05 3/181 11380
/proc/meminfo: memFree=30927684/32770624 swapFree=0/522764
[pid=11374] ppid=11371 vsize=388108 CPUtime=162.16 cores=0,2,4,6
/proc/11374/stat : 11374 (MistralXCSP) R 11371 11374 16590 0 -1 4202496 369568 0 0 0 16190 26 0 0 20 0 1 0 37428476 397422592 90707 18446744073709551615 4194304 7396336 140722077739664 140722077734200 4406506 0 0 1 16386 0 0 0 17 2 0 0 5 0 0 9496464 9501696 25681920 140722077745587 140722077745737 140722077745737 140722077749193 0
/proc/11374/statm: 97027 90707 698 782 0 90043 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 388108

[startup+222.306 s]
/proc/loadavg: 2.04 2.04 2.05 4/181 11383
/proc/meminfo: memFree=30926044/32770624 swapFree=0/522772
[pid=11374] ppid=11371 vsize=389428 CPUtime=222.15 cores=0,2,4,6
/proc/11374/stat : 11374 (MistralXCSP) R 11371 11374 16590 0 -1 4202496 372135 0 0 0 22189 26 0 0 20 0 1 0 37428476 398774272 91056 18446744073709551615 4194304 7396336 140722077739664 140722077734200 5774384 0 0 1 16386 0 0 0 17 2 0 0 5 0 0 9496464 9501696 25681920 140722077745587 140722077745737 140722077745737 140722077749193 0
/proc/11374/statm: 97357 91056 698 782 0 90373 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 389428

[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.05 4/181 11385
/proc/meminfo: memFree=30925772/32770624 swapFree=0/522796
[pid=11374] ppid=11371 vsize=390220 CPUtime=282.14 cores=0,2,4,6
/proc/11374/stat : 11374 (MistralXCSP) R 11371 11374 16590 0 -1 4202496 376593 0 0 0 28188 26 0 0 20 0 1 0 37428476 399585280 91236 18446744073709551615 4194304 7396336 140722077739664 140722077734200 5774448 0 0 1 16386 0 0 0 17 2 0 0 5 0 0 9496464 9501696 25681920 140722077745587 140722077745737 140722077745737 140722077749193 0
/proc/11374/statm: 97555 91236 698 782 0 90571 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 390220

[startup+342.3 s]
/proc/loadavg: 2.01 2.03 2.05 4/181 11387
/proc/meminfo: memFree=30924904/32770624 swapFree=0/522792
[pid=11374] ppid=11371 vsize=390748 CPUtime=342.13 cores=0,2,4,6
/proc/11374/stat : 11374 (MistralXCSP) R 11371 11374 16590 0 -1 4202496 379197 0 0 0 34187 26 0 0 20 0 1 0 37428476 400125952 91388 18446744073709551615 4194304 7396336 140722077739664 140722077734200 4249751 0 0 1 16386 0 0 0 17 2 0 0 5 0 0 9496464 9501696 25681920 140722077745587 140722077745737 140722077745737 140722077749193 0
/proc/11374/statm: 97687 91388 698 782 0 90703 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 390748

[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 11390
/proc/meminfo: memFree=30923996/32770624 swapFree=0/522796
[pid=11374] ppid=11371 vsize=391408 CPUtime=402.13 cores=0,2,4,6
/proc/11374/stat : 11374 (MistralXCSP) R 11371 11374 16590 0 -1 4202496 381754 0 0 0 40186 27 0 0 20 0 1 0 37428476 400801792 91526 18446744073709551615 4194304 7396336 140722077739664 140722077734200 5792027 0 0 1 16386 0 0 0 17 2 0 0 5 0 0 9496464 9501696 25681920 140722077745587 140722077745737 140722077745737 140722077749193 0
/proc/11374/statm: 97852 91526 698 782 0 90868 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 391408

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/181 11392
/proc/meminfo: memFree=30923004/32770624 swapFree=0/522804
[pid=11374] ppid=11371 vsize=391672 CPUtime=462.12 cores=0,2,4,6
/proc/11374/stat : 11374 (MistralXCSP) R 11371 11374 16590 0 -1 4202496 383193 0 0 0 46185 27 0 0 20 0 1 0 37428476 401072128 91614 18446744073709551615 4194304 7396336 140722077739664 140722077734200 4406506 0 0 1 16386 0 0 0 17 2 0 0 5 0 0 9496464 9501696 25681920 140722077745587 140722077745737 140722077745737 140722077749193 0
/proc/11374/statm: 97918 91614 698 782 0 90934 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 391672

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/184 11408
/proc/meminfo: memFree=30918740/32770624 swapFree=0/522812
[pid=11374] ppid=11371 vsize=391804 CPUtime=522.11 cores=0,2,4,6
/proc/11374/stat : 11374 (MistralXCSP) R 11371 11374 16590 0 -1 4202496 384605 0 0 0 52184 27 0 0 20 0 1 0 37428476 401207296 91628 18446744073709551615 4194304 7396336 140722077739664 140722077734200 5771305 0 0 1 16386 0 0 0 17 2 0 0 5 0 0 9496464 9501696 25681920 140722077745587 140722077745737 140722077745737 140722077749193 0
/proc/11374/statm: 97951 91628 698 782 0 90967 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 391804

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/184 11434
/proc/meminfo: memFree=30916264/32770624 swapFree=0/522828
[pid=11374] ppid=11371 vsize=392332 CPUtime=582.11 cores=0,2,4,6
/proc/11374/stat : 11374 (MistralXCSP) R 11371 11374 16590 0 -1 4202496 386241 0 0 0 58184 27 0 0 20 0 1 0 37428476 401747968 91779 18446744073709551615 4194304 7396336 140722077739664 140722077734200 5772942 0 0 1 16386 0 0 0 17 2 0 0 5 0 0 9496464 9501696 25681920 140722077745587 140722077745737 140722077745737 140722077749193 0
/proc/11374/statm: 98083 91779 698 782 0 91099 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 392332


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


[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/181 11483
/proc/meminfo: memFree=30915836/32770624 swapFree=0/523044
[pid=11374] ppid=11371 vsize=396952 CPUtime=1602.02 cores=0,2,4,6
/proc/11374/stat : 11374 (MistralXCSP) R 11371 11374 16590 0 -1 4202496 413223 0 0 0 160173 29 0 0 20 0 1 0 37428476 406478848 92914 18446744073709551615 4194304 7396336 140722077739664 140722077734200 5791926 0 0 1 16386 0 0 0 17 2 0 0 5 0 0 9496464 9501696 25681920 140722077745587 140722077745737 140722077745737 140722077749193 0
/proc/11374/statm: 99238 92914 698 782 0 92254 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 396952

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 11485
/proc/meminfo: memFree=30915960/32770624 swapFree=0/523044
[pid=11374] ppid=11371 vsize=397084 CPUtime=1662.01 cores=0,2,4,6
/proc/11374/stat : 11374 (MistralXCSP) R 11371 11374 16590 0 -1 4202496 414948 0 0 0 166172 29 0 0 20 0 1 0 37428476 406614016 92955 18446744073709551615 4194304 7396336 140722077739664 140722077734200 5576225 0 0 1 16386 0 0 0 17 2 0 0 5 0 0 9496464 9501696 25681920 140722077745587 140722077745737 140722077745737 140722077749193 0
/proc/11374/statm: 99271 92955 698 782 0 92287 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 397084

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 11501
/proc/meminfo: memFree=30912300/32770624 swapFree=0/523056
[pid=11374] ppid=11371 vsize=397216 CPUtime=1722 cores=0,2,4,6
/proc/11374/stat : 11374 (MistralXCSP) R 11371 11374 16590 0 -1 4202496 416706 0 0 0 172171 29 0 0 20 0 1 0 37428476 406749184 92997 18446744073709551615 4194304 7396336 140722077739664 140722077734200 4257837 0 0 1 16386 0 0 0 17 2 0 0 5 0 0 9496464 9501696 25681920 140722077745587 140722077745737 140722077745737 140722077749193 0
/proc/11374/statm: 99304 92997 698 782 0 92320 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 397216

[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 2.05 4/184 11503
/proc/meminfo: memFree=30911664/32770624 swapFree=0/523072
[pid=11374] ppid=11371 vsize=397348 CPUtime=1782 cores=0,2,4,6
/proc/11374/stat : 11374 (MistralXCSP) R 11371 11374 16590 0 -1 4202496 418499 0 0 0 178171 29 0 0 20 0 1 0 37428476 406884352 93040 18446744073709551615 4194304 7396336 140722077739664 140722077734200 4249744 0 0 1 16386 0 0 0 17 2 0 0 5 0 0 9496464 9501696 25681920 140722077745587 140722077745737 140722077745737 140722077749193 0
/proc/11374/statm: 99337 93040 698 782 0 92353 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 397348

[startup+1842.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 11505
/proc/meminfo: memFree=30913980/32770624 swapFree=0/523084
[pid=11374] ppid=11371 vsize=397480 CPUtime=1842 cores=0,2,4,6
/proc/11374/stat : 11374 (MistralXCSP) R 11371 11374 16590 0 -1 4202496 420318 0 0 0 184170 30 0 0 20 0 1 0 37428476 407019520 93058 18446744073709551615 4194304 7396336 140722077739664 140722077734200 5791952 0 0 1 16386 0 0 0 17 2 0 0 5 0 0 9496464 9501696 25681920 140722077745587 140722077745737 140722077745737 140722077749193 0
/proc/11374/statm: 99370 93058 698 782 0 92386 0
Current children cumulated CPU time (s) 1842
Current children cumulated vsize (KiB) 397480

[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 11507
/proc/meminfo: memFree=30913980/32770624 swapFree=0/523084
[pid=11374] ppid=11371 vsize=397612 CPUtime=1901.99 cores=0,2,4,6
/proc/11374/stat : 11374 (MistralXCSP) R 11371 11374 16590 0 -1 4202496 421653 0 0 0 190169 30 0 0 20 0 1 0 37428476 407154688 93088 18446744073709551615 4194304 7396336 140722077739664 140722077734200 4317000 0 0 1 16386 0 0 0 17 2 0 0 5 0 0 9496464 9501696 25681920 140722077745587 140722077745737 140722077745737 140722077749193 0
/proc/11374/statm: 99403 93088 698 782 0 92419 0
Current children cumulated CPU time (s) 1901.99
Current children cumulated vsize (KiB) 397612

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 11509
/proc/meminfo: memFree=30914600/32770624 swapFree=0/523092
[pid=11374] ppid=11371 vsize=397612 CPUtime=1961.99 cores=0,2,4,6
/proc/11374/stat : 11374 (MistralXCSP) R 11371 11374 16590 0 -1 4202496 422995 0 0 0 196169 30 0 0 20 0 1 0 37428476 407154688 93100 18446744073709551615 4194304 7396336 140722077739664 140722077734200 4547381 0 0 1 16386 0 0 0 17 2 0 0 5 0 0 9496464 9501696 25681920 140722077745587 140722077745737 140722077745737 140722077749193 0
/proc/11374/statm: 99403 93100 698 782 0 92419 0
Current children cumulated CPU time (s) 1961.99
Current children cumulated vsize (KiB) 397612

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/181 11512
/proc/meminfo: memFree=30914648/32770624 swapFree=0/523104
[pid=11374] ppid=11371 vsize=397744 CPUtime=2021.98 cores=0,2,4,6
/proc/11374/stat : 11374 (MistralXCSP) R 11371 11374 16590 0 -1 4202496 424192 0 0 0 202168 30 0 0 20 0 1 0 37428476 407289856 93119 18446744073709551615 4194304 7396336 140722077739664 140722077734200 5774448 0 0 1 16386 0 0 0 17 2 0 0 5 0 0 9496464 9501696 25681920 140722077745587 140722077745737 140722077745737 140722077749193 0
/proc/11374/statm: 99436 93119 698 782 0 92452 0
Current children cumulated CPU time (s) 2021.98
Current children cumulated vsize (KiB) 397744

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/181 11515
/proc/meminfo: memFree=30915516/32770624 swapFree=0/523112
[pid=11374] ppid=11371 vsize=397744 CPUtime=2081.98 cores=0,2,4,6
/proc/11374/stat : 11374 (MistralXCSP) R 11371 11374 16590 0 -1 4202496 425559 0 0 0 208168 30 0 0 20 0 1 0 37428476 407289856 93133 18446744073709551615 4194304 7396336 140722077739664 140722077734200 5771305 0 0 1 16386 0 0 0 17 2 0 0 5 0 0 9496464 9501696 25681920 140722077745587 140722077745737 140722077745737 140722077749193 0
/proc/11374/statm: 99436 93133 698 782 0 92452 0
Current children cumulated CPU time (s) 2081.98
Current children cumulated vsize (KiB) 397744

[startup+2142.3 s]
/proc/loadavg: 2.19 2.06 2.06 4/181 11517
/proc/meminfo: memFree=30915640/32770624 swapFree=0/523128
[pid=11374] ppid=11371 vsize=397744 CPUtime=2141.97 cores=0,2,4,6
/proc/11374/stat : 11374 (MistralXCSP) R 11371 11374 16590 0 -1 4202496 426229 0 0 0 214167 30 0 0 20 0 1 0 37428476 407289856 93134 18446744073709551615 4194304 7396336 140722077739664 140722077734200 4249751 0 0 1 16386 0 0 0 17 2 0 0 5 0 0 9496464 9501696 25681920 140722077745587 140722077745737 140722077745737 140722077749193 0
/proc/11374/statm: 99436 93134 698 782 0 92452 0
Current children cumulated CPU time (s) 2141.97
Current children cumulated vsize (KiB) 397744

[startup+2202.31 s]
/proc/loadavg: 2.07 2.05 2.05 4/181 11520
/proc/meminfo: memFree=30915280/32770624 swapFree=0/523156
[pid=11374] ppid=11371 vsize=397876 CPUtime=2201.97 cores=0,2,4,6
/proc/11374/stat : 11374 (MistralXCSP) R 11371 11374 16590 0 -1 4202496 427623 0 0 0 220167 30 0 0 20 0 1 0 37428476 407425024 93173 18446744073709551615 4194304 7396336 140722077739664 140722077734200 5771331 0 0 1 16386 0 0 0 17 2 0 0 5 0 0 9496464 9501696 25681920 140722077745587 140722077745737 140722077745737 140722077749193 0
/proc/11374/statm: 99469 93173 698 782 0 92485 0
Current children cumulated CPU time (s) 2201.97
Current children cumulated vsize (KiB) 397876

[startup+2262.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/181 11522
/proc/meminfo: memFree=30915416/32770624 swapFree=0/523184
[pid=11374] ppid=11371 vsize=397876 CPUtime=2261.96 cores=0,2,4,6
/proc/11374/stat : 11374 (MistralXCSP) R 11371 11374 16590 0 -1 4202496 428018 0 0 0 226166 30 0 0 20 0 1 0 37428476 407425024 93174 18446744073709551615 4194304 7396336 140722077739664 140722077734200 4257799 0 0 1 16386 0 0 0 17 2 0 0 5 0 0 9496464 9501696 25681920 140722077745587 140722077745737 140722077745737 140722077749193 0
/proc/11374/statm: 99469 93174 698 782 0 92485 0
Current children cumulated CPU time (s) 2261.96
Current children cumulated vsize (KiB) 397876

[startup+2322.3 s]
/proc/loadavg: 2.01 2.03 2.05 4/184 11538
/proc/meminfo: memFree=30910212/32770624 swapFree=0/523204
[pid=11374] ppid=11371 vsize=398008 CPUtime=2321.95 cores=0,2,4,6
/proc/11374/stat : 11374 (MistralXCSP) R 11371 11374 16590 0 -1 4202496 428460 0 0 0 232165 30 0 0 20 0 1 0 37428476 407560192 93182 18446744073709551615 4194304 7396336 140722077739664 140722077734200 5774448 0 0 1 16386 0 0 0 17 2 0 0 5 0 0 9496464 9501696 25681920 140722077745587 140722077745737 140722077745737 140722077749193 0
/proc/11374/statm: 99502 93182 698 782 0 92518 0
Current children cumulated CPU time (s) 2321.95
Current children cumulated vsize (KiB) 398008

[startup+2382.3 s]
/proc/loadavg: 2.00 2.03 2.05 4/184 11540
/proc/meminfo: memFree=30909700/32770624 swapFree=0/523236
[pid=11374] ppid=11371 vsize=398272 CPUtime=2381.95 cores=0,2,4,6
/proc/11374/stat : 11374 (MistralXCSP) R 11371 11374 16590 0 -1 4202496 430961 0 0 0 238165 30 0 0 20 0 1 0 37428476 407830528 93217 18446744073709551615 4194304 7396336 140722077739664 140722077734200 5792027 0 0 1 16386 0 0 0 17 2 0 0 5 0 0 9496464 9501696 25681920 140722077745587 140722077745737 140722077745737 140722077749193 0
/proc/11374/statm: 99568 93217 698 782 0 92584 0
Current children cumulated CPU time (s) 2381.95
Current children cumulated vsize (KiB) 398272

[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 11542
/proc/meminfo: memFree=30912228/32770624 swapFree=0/523244
[pid=11374] ppid=11371 vsize=398404 CPUtime=2441.94 cores=0,2,4,6
/proc/11374/stat : 11374 (MistralXCSP) R 11371 11374 16590 0 -1 4202496 432497 0 0 0 244164 30 0 0 20 0 1 0 37428476 407965696 93280 18446744073709551615 4194304 7396336 140722077739664 140722077734200 5771361 0 0 1 16386 0 0 0 17 2 0 0 5 0 0 9496464 9501696 25681920 140722077745587 140722077745737 140722077745737 140722077749193 0
/proc/11374/statm: 99601 93280 698 782 0 92617 0
Current children cumulated CPU time (s) 2441.94
Current children cumulated vsize (KiB) 398404

[startup+2502.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 11608
/proc/meminfo: memFree=30751816/32770624 swapFree=0/523264
[pid=11374] ppid=11371 vsize=398668 CPUtime=2501.93 cores=0,2,4,6
/proc/11374/stat : 11374 (MistralXCSP) R 11371 11374 16590 0 -1 4202496 434091 0 0 0 250163 30 0 0 20 0 1 0 37428476 408236032 93347 18446744073709551615 4194304 7396336 140722077739664 140722077734200 5575297 0 0 1 16386 0 0 0 17 2 0 0 5 0 0 9496464 9501696 25681920 140722077745587 140722077745737 140722077745737 140722077749193 0
/proc/11374/statm: 99667 93347 698 782 0 92683 0
Current children cumulated CPU time (s) 2501.93
Current children cumulated vsize (KiB) 398668



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 11608
/proc/meminfo: memFree=30752064/32770624 swapFree=0/523256
[pid=11374] ppid=11371 vsize=398668 CPUtime=2519.63 cores=0,2,4,6
/proc/11374/stat : 11374 (MistralXCSP) R 11371 11374 16590 0 -1 4202496 434113 0 0 0 251933 30 0 0 20 0 1 0 37428476 408236032 93347 18446744073709551615 4194304 7396336 140722077739664 140722077734200 5772942 0 0 1 16386 0 0 0 17 2 0 0 5 0 0 9496464 9501696 25681920 140722077745587 140722077745737 140722077745737 140722077749193 0
/proc/11374/statm: 99667 93347 698 782 0 92683 0
Current children cumulated CPU time (s) 2519.63
Current children cumulated vsize (KiB) 398668

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 11374 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.65
CPU user time (s): 2519.34
CPU system time (s): 0.311968
CPU usage (%): 99.9859
Max. virtual memory (cumulated for all children) (KiB): 398668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.34
system time used= 0.311968
maximum resident set size= 373484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 434149
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= 103
involuntary context switches= 3246

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.41632 second user time and 11.7234 second system time

The end

Launcher Data 

Begin job on node127 at 2017-08-10 09:51:43
IDJOB=4261048
IDBENCH=123075
IDSOLVER=2649
FILE ID=node127/4261048-1502352349
RUNJOBID= node127-1502331240-8161
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= Mistral-2.0 2017-07-28
BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-bur26g.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-4261048-1502352349/watcher-4261048-1502352349 -o /tmp/evaluation-result-4261048-1502352349/solver-4261048-1502352349 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502331240-8161 --watchdog 2580  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1913439961 HOME/instance-4261048-1502352349.xml

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

MD5SUM BENCH= e15ea9448d462545754e2532d86d3e94
RANDOM SEED=1913439961

node127.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.92
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.92
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.92
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.92
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:        31286972 kB
MemAvailable:   31981208 kB
Buffers:          226068 kB
Cached:           759624 kB
SwapCached:            0 kB
Active:           516240 kB
Inactive:         547688 kB
Active(anon):      78544 kB
Inactive(anon):    24908 kB
Active(file):     437696 kB
Inactive(file):   522780 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              5664 kB
Writeback:             0 kB
AnonPages:         78136 kB
Mapped:            40248 kB
Shmem:             25252 kB
Slab:             124452 kB
SReclaimable:      99192 kB
SUnreclaim:        25260 kB
KernelStack:        3216 kB
PageTables:         4952 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     339572 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 62020 MiB
End job on node127 at 2017-08-10 10:33:43