Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Mistral-2.0 2018-08-01 | SAT (TO) | 5318 | 2520.03 | 2520.01 |
| Name | TravelingTournament/ TravelingTournament-a3-galaxy10_c18.xml |
| MD5SUM | d3c3240a58914eaf530b4ae554743d11 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 5686 |
| Best CPU time to get the best result obtained on this benchmark | 2520.03 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 730 |
| Number of constraints | 2129 |
| Number of domains | 3 |
| Minimum domain size | 2 |
| Maximum domain size | 36 |
| Distribution of domain sizes | [{"size":2,"count":360},{"size":10,"count":180},{"size":36,"count":190}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 32 |
| Distribution of variable degrees | [{"degree":2,"count":370},{"degree":29,"count":160},{"degree":30,"count":180},{"degree":31,"count":18},{"degree":32,"count":2}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 18 |
| Distribution of constraint arities | [{"arity":2,"count":181},{"arity":3,"count":20},{"arity":4,"count":1360},{"arity":5,"count":170},{"arity":10,"count":198},{"arity":12,"count":180},{"arity":18,"count":20}] |
| Number of extensional constraints | 190 |
| Number of intensional constraints | 1541 |
| Distribution of constraint types | [{"type":"extension","count":190},{"type":"intension","count":1541},{"type":"regular","count":10},{"type":"allDifferent","count":18},{"type":"cardinality","count":10},{"type":"element","count":360}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c Mistral 01082018 0.89/0.94 o 6722 0.89/0.94 o 6713 0.89/0.94 o 6660 0.89/0.94 o 6641 0.89/0.95 o 6607 1.00/1.01 o 6582 1.00/1.01 o 6580 1.00/1.04 o 6553 1.00/1.07 o 6502 1.00/1.07 o 6490 1.00/1.07 o 6390 1.00/1.08 o 6386 1.10/1.15 o 6383 1.10/1.15 o 6309 1.19/1.21 o 6287 1.19/1.22 o 6283 1.19/1.22 o 6269 1.19/1.25 o 6239 1.19/1.26 o 6174 1.29/1.33 o 6173 1.29/1.33 o 6149 1.29/1.33 o 6090 1.29/1.33 o 6085 1.29/1.33 o 6061 1.39/1.44 o 6043 1.39/1.44 o 6029 1.59/1.61 o 6022 1.79/1.88 o 6011 3.00/3.04 o 5986 3.00/3.05 o 5944 3.69/3.73 o 5918 6.69/6.71 o 5871 7.48/7.58 o 5861 7.68/7.71 o 5859 20.57/20.66 o 5839 20.57/20.66 o 5829 20.67/20.74 o 5808 29.78/29.84 o 5794 29.78/29.84 o 5791 63.48/63.53 o 5780 68.27/68.30 o 5778 86.17/86.21 o 5774 86.17/86.21 o 5712 121.87/121.90 o 5684 146.98/147.01 o 5678 147.37/147.49 o 5677 147.47/147.50 o 5663 148.47/148.51 o 5644 149.08/149.14 o 5625 158.08/158.11 o 5594 158.08/158.11 o 5582 204.37/204.45 o 5535 206.37/206.42 o 5534 207.57/207.60 o 5524 262.47/262.58 o 5474 262.77/262.87 o 5415 324.68/324.71 o 5407 373.88/373.95 o 5405 507.78/507.87 o 5394 507.99/508.02 o 5327 507.99/508.02 o 5319 1778.00/1778.05 o 5318 2520.01/2520.00 s SATISFIABLE 2520.01/2520.00 v <instantiation type="solution"> 2520.01/2520.00 v <list> o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15] o[2][16] o[2][17] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][15] o[3][16] o[3][17] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][15] o[4][16] o[4][17] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][15] o[5][16] o[5][17] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][15] o[6][16] o[6][17] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][15] o[7][16] o[7][17] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][15] o[8][16] o[8][17] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][15] o[9][16] o[9][17] h[0][0] h[0][1] h[0][2] h[0][3] h[0][4] h[0][5] h[0][6] h[0][7] h[0][8] h[0][9] h[0][10] h[0][11] h[0][12] h[0][13] h[0][14] h[0][15] h[0][16] h[0][17] h[1][0] h[1][1] h[1][2] h[1][3] h[1][4] h[1][5] h[1][6] h[1][7] h[1][8] h[1][9] h[1][10] h[1][11] h[1][12] h[1][13] h[1][14] h[1][15] h[1][16] h[1][17] h[2][0] h[2][1] h[2][2] h[2][3] h[2][4] h[2][5] h[2][6] h[2][7] h[2][8] h[2][9] h[2][10] h[2][11] h[2][12] h[2][13] h[2][14] h[2][15] h[2][16] h[2][17] h[3][0] h[3][1] h[3][2] h[3][3] h[3][4] h[3][5] h[3][6] h[3][7] h[3][8] h[3][9] h[3][10] h[3][11] h[3][12] h[3][13] h[3][14] h[3][15] h[3][16] h[3][17] h[4][0] h[4][1] h[4][2] h[4][3] h[4][4] h[4][5] h[4][6] h[4][7] h[4][8] h[4][9] h[4][10] h[4][11] h[4][12] h[4][13] h[4][14] h[4][15] h[4][16] h[4][17] h[5][0] h[5][1] h[5][2] h[5][3] h[5][4] h[5][5] h[5][6] h[5][7] h[5][8] h[5][9] h[5][10] h[5][11] h[5][12] h[5][13] h[5][14] h[5][15] h[5][16] h[5][17] h[6][0] h[6][1] h[6][2] h[6][3] h[6][4] h[6][5] h[6][6] h[6][7] h[6][8] h[6][9] h[6][10] h[6][11] h[6][12] h[6][13] h[6][14] h[6][15] h[6][16] h[6][17] h[7][0] h[7][1] h[7][2] h[7][3] h[7][4] h[7][5] h[7][6] h[7][7] h[7][8] h[7][9] h[7][10] h[7][11] h[7][12] h[7][13] h[7][14] h[7][15] h[7][16] h[7][17] h[8][0] h[8][1] h[8][2] h[8][3] h[8][4] h[8][5] h[8][6] h[8][7] h[8][8] h[8][9] h[8][10] h[8][11] h[8][12] h[8][13] h[8][14] h[8][15] h[8][16] h[8][17] h[9][0] h[9][1] h[9][2] h[9][3] h[9][4] h[9][5] h[9][6] h[9][7] h[9][8] h[9][9] h[9][10] h[9][11] h[9][12] h[9][13] h[9][14] h[9][15] h[9][16] h[9][17] a[0][0] a[0][1] a[0][2] a[0][3] a[0][4] a[0][5] a[0][6] a[0][7] a[0][8] a[0][9] a[0][10] a[0][11] a[0][12] a[0][13] a[0][14] a[0][15] a[0][16] a[0][17] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[1][7] a[1][8] a[1][9] a[1][10] a[1][11] a[1][12] a[1][13] a[1][14] a[1][15] a[1][16] a[1][17] a[2][0] a[2][1] a[2][2] a[2][3] a[2][4] a[2][5] a[2][6] a[2][7] a[2][8] a[2][9] a[2][10] a[2][11] a[2][12] a[2][13] a[2][14] a[2][15] a[2][16] a[2][17] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[3][6] a[3][7] a[3][8] a[3][9] a[3][10] a[3][11] a[3][12] a[3][13] a[3][14] a[3][15] a[3][16] a[3][17] a[4][0] a[4][1] a[4][2] a[4][3] a[4][4] a[4][5] a[4][6] a[4][7] a[4][8] a[4][9] a[4][10] a[4][11] a[4][12] a[4][13] a[4][14] a[4][15] a[4][16] a[4][17] a[5][0] a[5][1] a[5][2] a[5][3] a[5][4] a[5][5] a[5][6] a[5][7] a[5][8] a[5][9] a[5][10] a[5][11] a[5][12] a[5][13] a[5][14] a[5][15] a[5][16] a[5][17] a[6][0] a[6][1] a[6][2] a[6][3] a[6][4] a[6][5] a[6][6] a[6][7] a[6][8] a[6][9] a[6][10] a[6][11] a[6][12] a[6][13] a[6][14] a[6][15] a[6][16] a[6][17] a[7][0] a[7][1] a[7][2] a[7][3] a[7][4] a[7][5] a[7][6] a[7][7] a[7][8] a[7][9] a[7][10] a[7][11] a[7][12] a[7][13] a[7][14] a[7][15] a[7][16] a[7][17] a[8][0] a[8][1] a[8][2] a[8][3] a[8][4] a[8][5] a[8][6] a[8][7] a[8][8] a[8][9] a[8][10] a[8][11] a[8][12] a[8][13] a[8][14] a[8][15] a[8][16] a[8][17] a[9][0] a[9][1] a[9][2] a[9][3] a[9][4] a[9][5] a[9][6] a[9][7] a[9][8] a[9][9] a[9][10] a[9][11] a[9][12] a[9][13] a[9][14] a[9][15] a[9][16] a[9][17] t[0][0] t[0][1] t[0][2] t[0][3] t[0][4] t[0][5] t[0][6] t[0][7] t[0][8] t[0][9] t[0][10] t[0][11] t[0][12] t[0][13] t[0][14] t[0][15] t[0][16] t[0][17] t[0][18] t[1][0] t[1][1] t[1][2] t[1][3] t[1][4] t[1][5] t[1][6] t[1][7] t[1][8] t[1][9] t[1][10] t[1][11] t[1][12] t[1][13] t[1][14] t[1][15] t[1][16] t[1][17] t[1][18] t[2][0] t[2][1] t[2][2] t[2][3] t[2][4] t[2][5] t[2][6] t[2][7] t[2][8] t[2][9] t[2][10] t[2][11] t[2][12] t[2][13] t[2][14] t[2][15] t[2][16] t[2][17] t[2][18] t[3][0] t[3][1] t[3][2] t[3][3] t[3][4] t[3][5] t[3][6] t[3][7] t[3][8] t[3][9] t[3][10] t[3][11] t[3][12] t[3][13] t[3][14] t[3][15] t[3][16] t[3][17] t[3][18] t[4][0] t[4][1] t[4][2] t[4][3] t[4][4] t[4][5] t[4][6] t[4][7] t[4][8] t[4][9] t[4][10] t[4][11] t[4][12] t[4][13] t[4][14] t[4][15] t[4][16] t[4][17] t[4][18] t[5][0] t[5][1] t[5][2] t[5][3] t[5][4] t[5][5] t[5][6] t[5][7] t[5][8] t[5][9] t[5][10] t[5][11] t[5][12] t[5][13] t[5][14] t[5][15] t[5][16] t[5][17] t[5][18] t[6][0] t[6][1] t[6][2] t[6][3] t[6][4] t[6][5] t[6][6] t[6][7] t[6][8] t[6][9] t[6][10] t[6][11] t[6][12] t[6][13] t[6][14] t[6][15] t[6][16] t[6][17] t[6][18] t[7][0] t[7][1] t[7][2] t[7][3] t[7][4] t[7][5] t[7][6] t[7][7] t[7][8] t[7][9] t[7][10] t[7][11] t[7][12] t[7][13] t[7][14] t[7][15] t[7][16] t[7][17] t[7][18] t[8][0] t[8][1] t[8][2] t[8][3] t[8][4] t[8][5] t[8][6] t[8][7] t[8][8] t[8][9] t[8][10] t[8][11] t[8][12] t[8][13] t[8][14] t[8][15] t[8][16] t[8][17] t[8][18] t[9][0] t[9][1] t[9][2] t[9][3] t[9][4] t[9][5] t[9][6] t[9][7] t[9][8] t[9][9] t[9][10] t[9][11] t[9][12] t[9][13] t[9][14] t[9][15] t[9][16] t[9][17] t[9][18] </list> 2520.01/2520.00 v <values> 3 8 5 7 1 6 7 3 9 4 4 9 8 2 2 1 5 6 6 4 2 2 0 4 9 9 7 8 6 8 7 3 5 0 3 5 9 6 1 1 7 5 6 4 5 9 8 7 3 0 0 3 8 4 0 5 9 8 6 8 4 0 4 7 7 5 2 1 6 2 1 9 8 1 8 5 9 1 3 2 3 0 0 6 6 5 9 7 7 2 7 3 0 4 8 2 8 7 2 6 9 3 9 4 1 6 0 1 1 2 7 9 3 0 2 8 8 5 1 4 4 7 3 5 9 0 5 9 6 0 2 9 0 5 1 3 3 2 1 6 8 4 4 8 4 0 4 3 5 3 5 6 6 1 2 1 0 9 7 9 2 7 2 7 3 6 4 7 1 1 0 2 5 0 5 8 4 8 6 3 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 0 1 1 1 0 1 1 0 0 1 0 0 1 0 1 0 0 1 1 0 1 0 0 0 1 1 0 0 0 1 0 1 1 1 0 1 1 1 0 0 0 1 1 1 0 0 1 1 1 0 0 0 0 1 1 0 0 0 1 1 0 0 1 1 0 1 1 1 0 0 0 0 0 1 1 1 0 1 0 0 0 1 1 0 0 1 1 1 0 0 0 1 1 0 1 0 1 1 1 0 1 1 0 0 0 1 1 1 1 0 0 0 1 0 0 0 1 1 1 0 0 0 1 1 1 1 0 0 0 1 1 1 0 1 1 0 0 1 1 0 0 0 1 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 1 0 0 0 1 0 0 1 1 0 1 1 0 1 0 1 1 0 0 1 0 1 1 1 0 0 1 1 1 0 1 0 0 0 1 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 1 1 1 0 0 1 1 1 0 0 1 1 0 0 1 0 0 0 1 1 1 1 1 0 0 0 1 0 1 1 1 0 0 1 1 0 0 0 1 1 1 0 0 1 0 1 0 0 0 1 0 0 1 1 1 0 0 0 0 1 1 1 0 1 1 1 0 0 0 1 1 1 0 0 0 0 1 1 1 0 0 0 1 0 0 1 1 0 0 1 1 1 0 1 1 1 0 0 0 1 1 1 0 0 1 1 1 0 0 0 0 48 48 0 10 10 44 14 34 0 36 55 51 15 15 0 39 27 44 0 31 45 22 0 0 43 43 0 46 31 39 44 14 32 10 10 40 40 49 49 0 22 22 50 27 18 45 0 53 81 14 47 15 15 0 0 0 34 34 0 0 47 31 21 51 0 0 14 48 41 0 0 47 22 43 67 21 21 0 35 81 43 31 0 51 34 36 0 18 18 0 0 64 56 45 48 14 34 39 0 0 42 42 50 56 69 81 0 35 31 40 0 0 0 39 22 56 59 0 44 44 31 31 0 0 18 18 0 47 41 81 69 0 0 0 0 44 15 49 79 48 40 32 14 0 0 59 31 21 64 0 0 0 0 21 51 41 42 0 0 31 31 0 46 10 48 0 68 49 56 81 0 79 14 47 69 0 0 43 10 15 49 0 81 42 21 55 0 0 0 </values> 2520.01/2520.00 v </instantiation>
OK 5318
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (10307 MiB free)
memory of node 1: 16384 MiB (6237 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303618-1534026415/watcher-4303618-1534026415 -o /tmp/evaluation-result-4303618-1534026415/solver-4303618-1534026415 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1533993481-20702 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1244722020 HOME/instance-4303618-1534026415.xml
running on 4 cores: 1,3,5,7
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=25373, runsolver pid=25370
Current StackSize limit: 8192 KiB
[startup+0.100159 s]*
/proc/loadavg: 1.97 1.99 2.03 3/187 25374
/proc/meminfo: memFree=16934448/32770624 swapFree=67108844/67108860
[pid=25373] ppid=25370 vsize=36144 memory=10676 CPUtime=0.1 cores=1,3,5,7
/proc/25373/stat : 25373 (MistralXCSP) R 25370 25373 20670 0 -1 4202496 2958 0 0 0 10 0 0 0 20 0 1 0 220204628 37011456 2669 33554432000 4194304 7499544 140723601338912 140723601335912 5969813 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9598848 9604096 21680128 140723601347693 140723601347843 140723601347843 140723601350601 0
/proc/25373/statm: 9036 2669 734 807 0 2027 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36144 KiB
Current children cumulated memory: 10676 KiB
[startup+0.209574 s]*
/proc/loadavg: 1.97 1.99 2.03 3/187 25374
/proc/meminfo: memFree=16931472/32770624 swapFree=67108844/67108860
[pid=25373] ppid=25370 vsize=39108 memory=13844 CPUtime=0.2 cores=1,3,5,7
/proc/25373/stat : 25373 (MistralXCSP) R 25370 25373 20670 0 -1 4202496 3722 0 0 0 20 0 0 0 20 0 1 0 220204628 40046592 3461 33554432000 4194304 7499544 140723601338912 140723601335912 5892338 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9598848 9604096 21680128 140723601347693 140723601347843 140723601347843 140723601350601 0
/proc/25373/statm: 9777 3461 734 807 0 2768 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39108 KiB
Current children cumulated memory: 13844 KiB
[startup+0.309044 s]*
/proc/loadavg: 1.97 1.99 2.03 3/187 25374
/proc/meminfo: memFree=16928232/32770624 swapFree=67108844/67108860
[pid=25373] ppid=25370 vsize=42336 memory=17012 CPUtime=0.3 cores=1,3,5,7
/proc/25373/stat : 25373 (MistralXCSP) R 25370 25373 20670 0 -1 4202496 4515 0 0 0 30 0 0 0 20 0 1 0 220204628 43352064 4253 33554432000 4194304 7499544 140723601338912 140723601335912 4563992 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9598848 9604096 21680128 140723601347693 140723601347843 140723601347843 140723601350601 0
/proc/25373/statm: 10584 4253 734 807 0 3575 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 42336 KiB
Current children cumulated memory: 17012 KiB
[startup+0.700286 s]
/proc/loadavg: 1.97 1.99 2.03 3/187 25374
/proc/meminfo: memFree=16922776/32770624 swapFree=67108844/67108860
[pid=25373] ppid=25370 vsize=54596 memory=29180 CPUtime=0.69 cores=1,3,5,7
/proc/25373/stat : 25373 (MistralXCSP) R 25370 25373 20670 0 -1 4202496 7707 0 0 0 68 1 0 0 20 0 1 0 220204628 55906304 7295 33554432000 4194304 7499544 140723601338912 140723601329816 139793831473916 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9598848 9604096 21680128 140723601347693 140723601347843 140723601347843 140723601350601 0
/proc/25373/statm: 13649 7295 734 807 0 6640 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 54596 KiB
Current children cumulated memory: 29180 KiB
[startup+1.50038 s]
/proc/loadavg: 1.97 1.99 2.03 3/187 25374
/proc/meminfo: memFree=16887152/32770624 swapFree=67108844/67108860
[pid=25373] ppid=25370 vsize=83908 memory=58748 CPUtime=1.49 cores=1,3,5,7
/proc/25373/stat : 25373 (MistralXCSP) R 25370 25373 20670 0 -1 4202496 15111 0 0 0 147 2 0 0 20 0 1 0 220204628 85921792 14687 33554432000 4194304 7499544 140723601338912 140723601333928 5585221 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 21680128 140723601347693 140723601347843 140723601347843 140723601350601 0
/proc/25373/statm: 20977 14687 790 807 0 13968 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 83908 KiB
Current children cumulated memory: 58748 KiB
[startup+3.10935 s]
/proc/loadavg: 1.97 1.99 2.03 3/187 25374
/proc/meminfo: memFree=16886788/32770624 swapFree=67108844/67108860
[pid=25373] ppid=25370 vsize=84172 memory=59216 CPUtime=3.1 cores=1,3,5,7
/proc/25373/stat : 25373 (MistralXCSP) R 25370 25373 20670 0 -1 4202496 24437 0 0 0 308 2 0 0 20 0 1 0 220204628 86192128 14804 33554432000 4194304 7499544 140723601338912 140723601333448 4579850 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 21680128 140723601347693 140723601347843 140723601347843 140723601350601 0
/proc/25373/statm: 21043 14804 790 807 0 14034 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 84172 KiB
Current children cumulated memory: 59216 KiB
[startup+6.30038 s]
/proc/loadavg: 1.90 1.97 2.03 3/187 25374
/proc/meminfo: memFree=16886968/32770624 swapFree=67108844/67108860
[pid=25373] ppid=25370 vsize=84172 memory=59256 CPUtime=6.29 cores=1,3,5,7
/proc/25373/stat : 25373 (MistralXCSP) R 25370 25373 20670 0 -1 4202496 33576 0 0 0 626 3 0 0 20 0 1 0 220204628 86192128 14814 33554432000 4194304 7499544 140723601338912 140723601333928 5840043 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 21680128 140723601347693 140723601347843 140723601347843 140723601350601 0
/proc/25373/statm: 21043 14814 790 807 0 14034 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 84172 KiB
Current children cumulated memory: 59256 KiB
[startup+12.7003 s]
/proc/loadavg: 1.90 1.97 2.03 3/187 25374
/proc/meminfo: memFree=16887092/32770624 swapFree=67108844/67108860
[pid=25373] ppid=25370 vsize=84304 memory=59292 CPUtime=12.68 cores=1,3,5,7
/proc/25373/stat : 25373 (MistralXCSP) R 25370 25373 20670 0 -1 4202496 39052 0 0 0 1265 3 0 0 20 0 1 0 220204628 86327296 14823 33554432000 4194304 7499544 140723601338912 140723601333928 4545697 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 21680128 140723601347693 140723601347843 140723601347843 140723601350601 0
/proc/25373/statm: 21076 14823 790 807 0 14067 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 84304 KiB
Current children cumulated memory: 59292 KiB
[startup+25.5003 s]
/proc/loadavg: 1.93 1.97 2.03 3/187 25374
/proc/meminfo: memFree=16887420/32770624 swapFree=67108844/67108860
[pid=25373] ppid=25370 vsize=84304 memory=59356 CPUtime=25.48 cores=1,3,5,7
/proc/25373/stat : 25373 (MistralXCSP) R 25370 25373 20670 0 -1 4202496 47065 0 0 0 2544 4 0 0 20 0 1 0 220204628 86327296 14839 33554432000 4194304 7499544 140723601338912 140723601333928 5648132 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 21680128 140723601347693 140723601347843 140723601347843 140723601350601 0
/proc/25373/statm: 21076 14839 790 807 0 14067 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 84304 KiB
Current children cumulated memory: 59356 KiB
[startup+51.1092 s]
/proc/loadavg: 1.95 1.97 2.03 3/187 25374
/proc/meminfo: memFree=16887504/32770624 swapFree=67108844/67108860
[pid=25373] ppid=25370 vsize=84304 memory=59392 CPUtime=51.08 cores=1,3,5,7
/proc/25373/stat : 25373 (MistralXCSP) R 25370 25373 20670 0 -1 4202496 47852 0 0 0 5104 4 0 0 20 0 1 0 220204628 86327296 14848 33554432000 4194304 7499544 140723601338912 140723601333928 5771753 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 21680128 140723601347693 140723601347843 140723601347843 140723601350601 0
/proc/25373/statm: 21076 14848 790 807 0 14067 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 84304 KiB
Current children cumulated memory: 59392 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 1.98 2.03 3/187 25376
/proc/meminfo: memFree=16887316/32770624 swapFree=67108844/67108860
[pid=25373] ppid=25370 vsize=84436 memory=59400 CPUtime=102.27 cores=1,3,5,7
/proc/25373/stat : 25373 (MistralXCSP) R 25370 25373 20670 0 -1 4202496 48652 0 0 0 10223 4 0 0 20 0 1 0 220204628 86462464 14850 33554432000 4194304 7499544 140723601338912 140723601333928 5837773 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 21680128 140723601347693 140723601347843 140723601347843 140723601350601 0
/proc/25373/statm: 21109 14850 790 807 0 14100 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 84436 KiB
Current children cumulated memory: 59400 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 2.03 3/187 25377
/proc/meminfo: memFree=16887408/32770624 swapFree=67108844/67108860
[pid=25373] ppid=25370 vsize=84436 memory=59412 CPUtime=162.27 cores=1,3,5,7
/proc/25373/stat : 25373 (MistralXCSP) R 25370 25373 20670 0 -1 4202496 49426 0 0 0 16223 4 0 0 20 0 1 0 220204628 86462464 14853 33554432000 4194304 7499544 140723601338912 140723601333928 4252760 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 21680128 140723601347693 140723601347843 140723601347843 140723601350601 0
/proc/25373/statm: 21109 14853 790 807 0 14100 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 84436 KiB
Current children cumulated memory: 59412 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 25386
/proc/meminfo: memFree=16886880/32770624 swapFree=67108844/67108860
[pid=25373] ppid=25370 vsize=84436 memory=59416 CPUtime=222.27 cores=1,3,5,7
/proc/25373/stat : 25373 (MistralXCSP) R 25370 25373 20670 0 -1 4202496 50200 0 0 0 22223 4 0 0 20 0 1 0 220204628 86462464 14854 33554432000 4194304 7499544 140723601338912 140723601333928 5573419 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 21680128 140723601347693 140723601347843 140723601347843 140723601350601 0
/proc/25373/statm: 21109 14854 790 807 0 14100 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 84436 KiB
Current children cumulated memory: 59416 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 25387
/proc/meminfo: memFree=16887748/32770624 swapFree=67108844/67108860
[pid=25373] ppid=25370 vsize=84436 memory=59432 CPUtime=282.28 cores=1,3,5,7
/proc/25373/stat : 25373 (MistralXCSP) R 25370 25373 20670 0 -1 4202496 50979 0 0 0 28224 4 0 0 20 0 1 0 220204628 86462464 14858 33554432000 4194304 7499544 140723601338912 140723601333928 5790974 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 21680128 140723601347693 140723601347843 140723601347843 140723601350601 0
/proc/25373/statm: 21109 14858 790 807 0 14100 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 84436 KiB
Current children cumulated memory: 59432 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 25388
/proc/meminfo: memFree=16887824/32770624 swapFree=67108844/67108860
[pid=25373] ppid=25370 vsize=84436 memory=59452 CPUtime=342.28 cores=1,3,5,7
/proc/25373/stat : 25373 (MistralXCSP) R 25370 25373 20670 0 -1 4202496 51655 0 0 0 34224 4 0 0 20 0 1 0 220204628 86462464 14863 33554432000 4194304 7499544 140723601338912 140723601333928 5838083 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 21680128 140723601347693 140723601347843 140723601347843 140723601350601 0
/proc/25373/statm: 21109 14863 790 807 0 14100 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 84436 KiB
Current children cumulated memory: 59452 KiB
[startup+402.3 s]
/proc/loadavg: 2.06 2.00 2.03 3/188 25389
/proc/meminfo: memFree=16888140/32770624 swapFree=67108844/67108860
[pid=25373] ppid=25370 vsize=84436 memory=59452 CPUtime=402.28 cores=1,3,5,7
/proc/25373/stat : 25373 (MistralXCSP) R 25370 25373 20670 0 -1 4202496 52436 0 0 0 40224 4 0 0 20 0 1 0 220204628 86462464 14863 33554432000 4194304 7499544 140723601338912 140723601333928 4257831 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 21680128 140723601347693 140723601347843 140723601347843 140723601350601 0
/proc/25373/statm: 21109 14863 790 807 0 14100 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 84436 KiB
Current children cumulated memory: 59452 KiB
[startup+462.3 s]
/proc/loadavg: 2.02 2.00 2.03 3/188 25390
/proc/meminfo: memFree=16888212/32770624 swapFree=67108844/67108860
[pid=25373] ppid=25370 vsize=84436 memory=59456 CPUtime=462.28 cores=1,3,5,7
/proc/25373/stat : 25373 (MistralXCSP) R 25370 25373 20670 0 -1 4202496 53045 0 0 0 46224 4 0 0 20 0 1 0 220204628 86462464 14864 33554432000 4194304 7499544 140723601338912 140723601333928 4253232 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 21680128 140723601347693 140723601347843 140723601347843 140723601350601 0
/proc/25373/statm: 21109 14864 790 807 0 14100 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 84436 KiB
Current children cumulated memory: 59456 KiB
################
# More data... #
################
/proc/25373/statm: 21109 14879 790 807 0 14100 0
Current children cumulated CPU time: 1722.29 s
Current children cumulated vsize: 84436 KiB
Current children cumulated memory: 59516 KiB
[startup+1782.3 s]
/proc/loadavg: 1.00 1.03 1.30 2/179 25475
/proc/meminfo: memFree=16897544/32770624 swapFree=67108844/67108860
[pid=25373] ppid=25370 vsize=84436 memory=59528 CPUtime=1782.29 cores=1,3,5,7
/proc/25373/stat : 25373 (MistralXCSP) R 25370 25373 20670 0 -1 4202496 67394 0 0 0 178225 4 0 0 20 0 1 0 220204628 86462464 14882 33554432000 4194304 7499544 140723601338912 140723601333928 5629184 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 21680128 140723601347693 140723601347843 140723601347843 140723601350601 0
/proc/25373/statm: 21109 14882 790 807 0 14100 0
Current children cumulated CPU time: 1782.29 s
Current children cumulated vsize: 84436 KiB
Current children cumulated memory: 59528 KiB
[startup+1842.3 s]
/proc/loadavg: 1.08 1.04 1.29 2/180 25477
/proc/meminfo: memFree=16896792/32770624 swapFree=67108844/67108860
[pid=25373] ppid=25370 vsize=84436 memory=59528 CPUtime=1842.29 cores=1,3,5,7
/proc/25373/stat : 25373 (MistralXCSP) R 25370 25373 20670 0 -1 4202496 68029 0 0 0 184225 4 0 0 20 0 1 0 220204628 86462464 14882 33554432000 4194304 7499544 140723601338912 140723601333928 5585016 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 21680128 140723601347693 140723601347843 140723601347843 140723601350601 0
/proc/25373/statm: 21109 14882 790 807 0 14100 0
Current children cumulated CPU time: 1842.29 s
Current children cumulated vsize: 84436 KiB
Current children cumulated memory: 59528 KiB
[startup+1902.3 s]
/proc/loadavg: 1.03 1.03 1.27 2/180 25479
/proc/meminfo: memFree=16896780/32770624 swapFree=67108844/67108860
[pid=25373] ppid=25370 vsize=84436 memory=59528 CPUtime=1902.29 cores=1,3,5,7
/proc/25373/stat : 25373 (MistralXCSP) R 25370 25373 20670 0 -1 4202496 68684 0 0 0 190225 4 0 0 20 0 1 0 220204628 86462464 14882 33554432000 4194304 7499544 140723601338912 140723601333928 4253264 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 21680128 140723601347693 140723601347843 140723601347843 140723601350601 0
/proc/25373/statm: 21109 14882 790 807 0 14100 0
Current children cumulated CPU time: 1902.29 s
Current children cumulated vsize: 84436 KiB
Current children cumulated memory: 59528 KiB
[startup+1962.3 s]
/proc/loadavg: 1.01 1.03 1.26 2/180 25480
/proc/meminfo: memFree=16896732/32770624 swapFree=67108844/67108860
[pid=25373] ppid=25370 vsize=84436 memory=59528 CPUtime=1962.3 cores=1,3,5,7
/proc/25373/stat : 25373 (MistralXCSP) R 25370 25373 20670 0 -1 4202496 69325 0 0 0 196226 4 0 0 20 0 1 0 220204628 86462464 14882 33554432000 4194304 7499544 140723601338912 140723601333928 4245312 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 21680128 140723601347693 140723601347843 140723601347843 140723601350601 0
/proc/25373/statm: 21109 14882 790 807 0 14100 0
Current children cumulated CPU time: 1962.3 s
Current children cumulated vsize: 84436 KiB
Current children cumulated memory: 59528 KiB
[startup+2022.3 s]
/proc/loadavg: 1.00 1.02 1.24 2/181 25495
/proc/meminfo: memFree=16895724/32770624 swapFree=67108844/67108860
[pid=25373] ppid=25370 vsize=84436 memory=59528 CPUtime=2022.3 cores=1,3,5,7
/proc/25373/stat : 25373 (MistralXCSP) R 25370 25373 20670 0 -1 4202496 69968 0 0 0 202226 4 0 0 20 0 1 0 220204628 86462464 14882 33554432000 4194304 7499544 140723601338912 140723601333928 4252687 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 21680128 140723601347693 140723601347843 140723601347843 140723601350601 0
/proc/25373/statm: 21109 14882 790 807 0 14100 0
Current children cumulated CPU time: 2022.3 s
Current children cumulated vsize: 84436 KiB
Current children cumulated memory: 59528 KiB
[startup+2082.3 s]
/proc/loadavg: 1.00 1.01 1.22 2/182 25522
/proc/meminfo: memFree=16895216/32770624 swapFree=67108844/67108860
[pid=25373] ppid=25370 vsize=84436 memory=59528 CPUtime=2082.3 cores=1,3,5,7
/proc/25373/stat : 25373 (MistralXCSP) R 25370 25373 20670 0 -1 4202496 70615 0 0 0 208226 4 0 0 20 0 1 0 220204628 86462464 14882 33554432000 4194304 7499544 140723601338912 140723601333928 5584951 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 21680128 140723601347693 140723601347843 140723601347843 140723601350601 0
/proc/25373/statm: 21109 14882 790 807 0 14100 0
Current children cumulated CPU time: 2082.3 s
Current children cumulated vsize: 84436 KiB
Current children cumulated memory: 59528 KiB
[startup+2142.3 s]
/proc/loadavg: 1.00 1.01 1.21 2/182 25523
/proc/meminfo: memFree=16895960/32770624 swapFree=67108844/67108860
[pid=25373] ppid=25370 vsize=84436 memory=59528 CPUtime=2142.3 cores=1,3,5,7
/proc/25373/stat : 25373 (MistralXCSP) R 25370 25373 20670 0 -1 4202496 71269 0 0 0 214226 4 0 0 20 0 1 0 220204628 86462464 14882 33554432000 4194304 7499544 140723601338912 140723601333928 5684003 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 21680128 140723601347693 140723601347843 140723601347843 140723601350601 0
/proc/25373/statm: 21109 14882 790 807 0 14100 0
Current children cumulated CPU time: 2142.3 s
Current children cumulated vsize: 84436 KiB
Current children cumulated memory: 59528 KiB
[startup+2202.3 s]
/proc/loadavg: 1.00 1.01 1.20 2/182 25524
/proc/meminfo: memFree=16896280/32770624 swapFree=67108844/67108860
[pid=25373] ppid=25370 vsize=84436 memory=59528 CPUtime=2202.3 cores=1,3,5,7
/proc/25373/stat : 25373 (MistralXCSP) R 25370 25373 20670 0 -1 4202496 71916 0 0 0 220226 4 0 0 20 0 1 0 220204628 86462464 14882 33554432000 4194304 7499544 140723601338912 140723601333928 5573395 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 21680128 140723601347693 140723601347843 140723601347843 140723601350601 0
/proc/25373/statm: 21109 14882 790 807 0 14100 0
Current children cumulated CPU time: 2202.3 s
Current children cumulated vsize: 84436 KiB
Current children cumulated memory: 59528 KiB
[startup+2262.3 s]
/proc/loadavg: 1.00 1.01 1.19 2/182 25525
/proc/meminfo: memFree=16896452/32770624 swapFree=67108844/67108860
[pid=25373] ppid=25370 vsize=84436 memory=59528 CPUtime=2262.3 cores=1,3,5,7
/proc/25373/stat : 25373 (MistralXCSP) R 25370 25373 20670 0 -1 4202496 72564 0 0 0 226226 4 0 0 20 0 1 0 220204628 86462464 14882 33554432000 4194304 7499544 140723601338912 140723601333928 5773199 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 21680128 140723601347693 140723601347843 140723601347843 140723601350601 0
/proc/25373/statm: 21109 14882 790 807 0 14100 0
Current children cumulated CPU time: 2262.3 s
Current children cumulated vsize: 84436 KiB
Current children cumulated memory: 59528 KiB
[startup+2322.3 s]
/proc/loadavg: 1.00 1.01 1.18 2/181 25526
/proc/meminfo: memFree=16896600/32770624 swapFree=67108844/67108860
[pid=25373] ppid=25370 vsize=84436 memory=59528 CPUtime=2322.3 cores=1,3,5,7
/proc/25373/stat : 25373 (MistralXCSP) R 25370 25373 20670 0 -1 4202496 73200 0 0 0 232226 4 0 0 20 0 1 0 220204628 86462464 14882 33554432000 4194304 7499544 140723601338912 140723601333928 4253264 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 21680128 140723601347693 140723601347843 140723601347843 140723601350601 0
/proc/25373/statm: 21109 14882 790 807 0 14100 0
Current children cumulated CPU time: 2322.3 s
Current children cumulated vsize: 84436 KiB
Current children cumulated memory: 59528 KiB
[startup+2382.3 s]
/proc/loadavg: 1.04 1.03 1.17 2/180 25527
/proc/meminfo: memFree=16896740/32770624 swapFree=67108844/67108860
[pid=25373] ppid=25370 vsize=84436 memory=59528 CPUtime=2382.3 cores=1,3,5,7
/proc/25373/stat : 25373 (MistralXCSP) R 25370 25373 20670 0 -1 4202496 73969 0 0 0 238226 4 0 0 20 0 1 0 220204628 86462464 14882 33554432000 4194304 7499544 140723601338912 140723601333928 4249975 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 21680128 140723601347693 140723601347843 140723601347843 140723601350601 0
/proc/25373/statm: 21109 14882 790 807 0 14100 0
Current children cumulated CPU time: 2382.3 s
Current children cumulated vsize: 84436 KiB
Current children cumulated memory: 59528 KiB
[startup+2442.3 s]
/proc/loadavg: 1.02 1.02 1.16 2/180 25528
/proc/meminfo: memFree=16896616/32770624 swapFree=67108844/67108860
[pid=25373] ppid=25370 vsize=84436 memory=59528 CPUtime=2442.3 cores=1,3,5,7
/proc/25373/stat : 25373 (MistralXCSP) R 25370 25373 20670 0 -1 4202496 74598 0 0 0 244226 4 0 0 20 0 1 0 220204628 86462464 14882 33554432000 4194304 7499544 140723601338912 140723601333928 4580200 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 21680128 140723601347693 140723601347843 140723601347843 140723601350601 0
/proc/25373/statm: 21109 14882 790 807 0 14100 0
Current children cumulated CPU time: 2442.3 s
Current children cumulated vsize: 84436 KiB
Current children cumulated memory: 59528 KiB
[startup+2502.3 s]
/proc/loadavg: 1.01 1.02 1.15 2/180 25529
/proc/meminfo: memFree=16896696/32770624 swapFree=67108844/67108860
[pid=25373] ppid=25370 vsize=84436 memory=59528 CPUtime=2502.3 cores=1,3,5,7
/proc/25373/stat : 25373 (MistralXCSP) R 25370 25373 20670 0 -1 4202496 75228 0 0 0 250226 4 0 0 20 0 1 0 220204628 86462464 14882 33554432000 4194304 7499544 140723601338912 140723601333928 4249968 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 21680128 140723601347693 140723601347843 140723601347843 140723601350601 0
/proc/25373/statm: 21109 14882 790 807 0 14100 0
Current children cumulated CPU time: 2502.3 s
Current children cumulated vsize: 84436 KiB
Current children cumulated memory: 59528 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 1.00 1.01 1.14 2/180 25529
/proc/meminfo: memFree=16896696/32770624 swapFree=67108844/67108860
[pid=25373] ppid=25370 vsize=84436 memory=59528 CPUtime=2520.01 cores=1,3,5,7
/proc/25373/stat : 25373 (MistralXCSP) R 25370 25373 20670 0 -1 4202496 75845 0 0 0 251997 4 0 0 20 0 1 0 220204628 86462464 14882 33554432000 4194304 7499544 140723601338912 140723601333928 4249975 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0 9598848 9604096 21680128 140723601347693 140723601347843 140723601347843 140723601350601 0
/proc/25373/statm: 21109 14882 790 807 0 14100 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 84436 KiB
Current children cumulated memory: 59528 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 25373 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.98 s, system=0.049 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2520.01
CPU time (s): 2520.03
CPU user time (s): 2519.98
CPU system time (s): 0.049
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 84436
Max. memory (cumulated for all children) (KiB): 59528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.98
system time used= 0.049
maximum resident set size= 59548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75884
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= 31
involuntary context switches= 694
# summary of solver processes directly reported to runsolver:
# pid: 25373
# total CPU time (s): 2520.03
# total CPU user time (s): 2519.98
# total CPU system time (s): 0.049
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.42038 second user time and 19.2612 second system time
The end
Begin job on node136 at 2018-08-12 00:26:55 IDJOB=4303618 IDBENCH=141547 IDSOLVER=2779 FILE ID=node136/4303618-1534026415 RUNJOBID= node136-1533993481-20702 PBS_JOBID= 21036953 Free space on /tmp= 35328 MiB SOLVER NAME= Mistral-2.0 2018-08-01 BENCH NAME= XCSP18/TravelingTournament/TravelingTournament-a3-galaxy10_c18.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-4303618-1534026415/watcher-4303618-1534026415 -o /tmp/evaluation-result-4303618-1534026415/solver-4303618-1534026415 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1533993481-20702 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1244722020 HOME/instance-4303618-1534026415.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d3c3240a58914eaf530b4ae554743d11 RANDOM SEED=1244722020 node136.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.50 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.50 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.50 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.50 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: 16942900 kB MemAvailable: 31904008 kB Buffers: 226584 kB Cached: 14833028 kB SwapCached: 8 kB Active: 7175040 kB Inactive: 7939964 kB Active(anon): 4172 kB Inactive(anon): 103268 kB Active(file): 7170868 kB Inactive(file): 7836696 kB Unevictable: 7296 kB Mlocked: 7296 kB SwapTotal: 67108860 kB SwapFree: 67108844 kB Dirty: 6560 kB Writeback: 0 kB AnonPages: 62152 kB Mapped: 53088 kB Shmem: 49788 kB Slab: 410204 kB SReclaimable: 382004 kB SUnreclaim: 28200 kB KernelStack: 3376 kB PageTables: 6284 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 377872 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 6144 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /tmp at the end= 35328 MiB End job on node136 at 2018-08-12 01:08:55