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) | 1036 | 252.018 | 252.01 |
| Name | NurseRostering/ NurseRostering-02_c18.xml |
| MD5SUM | 87663e99bef5ddcf16b35e20b5ad163d |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 1062 |
| Best CPU time to get the best result obtained on this benchmark | 252.126 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 412 |
| Number of constraints | 945 |
| Number of domains | 11 |
| Minimum domain size | 1 |
| Maximum domain size | 15 |
| Distribution of domain sizes | [{"size":1,"count":18},{"size":2,"count":90},{"size":3,"count":196},{"size":15,"count":108}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 21 |
| Distribution of variable degrees | [{"degree":2,"count":188},{"degree":3,"count":28},{"degree":10,"count":3},{"degree":11,"count":13},{"degree":12,"count":10},{"degree":13,"count":5},{"degree":14,"count":13},{"degree":15,"count":21},{"degree":16,"count":25},{"degree":17,"count":23},{"degree":18,"count":31},{"degree":19,"count":24},{"degree":20,"count":20},{"degree":21,"count":8}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 15 |
| Distribution of constraint arities | [{"arity":2,"count":480},{"arity":3,"count":254},{"arity":6,"count":126},{"arity":14,"count":1},{"arity":15,"count":84}] |
| Number of extensional constraints | 224 |
| Number of intensional constraints | 138 |
| Distribution of constraint types | [{"type":"extension","count":224},{"type":"intension","count":138},{"type":"regular","count":344},{"type":"sum","count":28},{"type":"count","count":210},{"type":"instantiation","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c Mistral 01082018 0.10/0.13 o 4807 0.10/0.13 o 4706 0.10/0.13 o 4605 0.10/0.13 o 4504 0.10/0.13 o 4403 0.10/0.13 o 4302 0.10/0.13 o 4201 0.10/0.13 o 4200 0.10/0.13 o 4096 0.10/0.13 o 3996 0.10/0.14 o 3898 0.10/0.14 o 3896 0.10/0.15 o 3894 0.10/0.15 o 3893 0.10/0.16 o 3892 0.10/0.17 o 3890 0.10/0.17 o 3889 0.10/0.17 o 3888 0.10/0.18 o 3788 0.10/0.18 o 3785 0.10/0.21 o 3685 0.21/0.23 o 3585 0.21/0.23 o 3584 0.21/0.23 o 3484 0.21/0.23 o 3483 0.21/0.23 o 3383 0.21/0.23 o 3382 0.21/0.23 o 3282 0.21/0.24 o 3281 0.21/0.24 o 3280 0.21/0.24 o 3278 0.21/0.24 o 3178 0.21/0.27 o 3177 0.21/0.29 o 3176 0.21/0.29 o 3175 0.21/0.30 o 3077 0.21/0.30 o 2977 0.31/0.32 o 2975 0.31/0.33 o 2875 0.31/0.35 o 2775 0.31/0.35 o 2675 0.31/0.35 o 2579 0.31/0.36 o 2578 0.31/0.36 o 2577 0.31/0.36 o 2575 0.31/0.36 o 2477 0.31/0.36 o 2474 0.31/0.36 o 2471 0.31/0.37 o 2470 0.41/0.43 o 2468 0.41/0.44 o 2467 0.41/0.45 o 2466 0.41/0.45 o 2465 0.41/0.49 o 2265 0.41/0.50 o 2165 0.41/0.50 o 2066 0.51/0.59 o 2065 1.00/1.01 o 2064 1.00/1.01 o 2063 1.00/1.01 o 2062 1.00/1.01 o 1964 1.00/1.02 o 1963 1.00/1.03 o 1864 1.00/1.03 o 1767 1.10/1.15 o 1766 1.10/1.15 o 1765 1.49/1.50 o 1669 1.49/1.51 o 1666 1.49/1.51 o 1665 1.49/1.52 o 1568 1.59/1.69 o 1468 1.79/1.82 o 1368 1.79/1.82 o 1367 1.89/1.93 o 1366 1.89/1.93 o 1270 1.89/1.93 o 1269 1.89/1.94 o 1268 1.89/1.95 o 1267 2.69/2.75 o 1266 2.69/2.76 o 1265 3.19/3.25 o 1263 3.19/3.26 o 1261 3.29/3.30 o 1260 5.79/5.84 o 1258 5.79/5.87 o 1257 5.89/6.00 o 1161 6.00/6.01 o 1159 8.10/8.16 o 1157 13.29/13.31 o 1155 16.19/16.27 o 1154 18.69/18.79 o 1153 18.69/18.79 o 1152 18.69/18.79 o 1150 19.10/19.12 o 1149 21.90/21.94 o 1148 23.70/23.78 o 1147 24.19/24.24 o 1146 46.10/46.17 o 1145 62.89/62.94 o 1143 71.39/71.44 o 1141 101.39/101.43 o 1047 101.39/101.43 o 1044 101.79/101.86 o 1041 106.89/106.94 o 1039 191.80/191.80 o 1038 191.80/191.82 o 1037 191.90/191.96 o 1036 252.01/252.00 s SATISFIABLE 252.01/252.00 v <instantiation type="solution"> 252.01/252.00 v <list> x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] ps[0][0] ps[0][1] ps[0][2] ps[1][0] ps[1][1] ps[1][2] ps[2][0] ps[2][1] ps[2][2] ps[3][0] ps[3][1] ps[3][2] ps[4][0] ps[4][1] ps[4][2] ps[5][0] ps[5][1] ps[5][2] ps[6][0] ps[6][1] ps[6][2] ps[7][0] ps[7][1] ps[7][2] ps[8][0] ps[8][1] ps[8][2] ps[9][0] ps[9][1] ps[9][2] ps[10][0] ps[10][1] ps[10][2] ps[11][0] ps[11][1] ps[11][2] ps[12][0] ps[12][1] ps[12][2] ps[13][0] ps[13][1] ps[13][2] ds[0][0] ds[0][1] ds[0][2] ds[1][0] ds[1][1] ds[1][2] ds[2][0] ds[2][1] ds[2][2] ds[3][0] ds[3][1] ds[3][2] ds[4][0] ds[4][1] ds[4][2] ds[5][0] ds[5][1] ds[5][2] ds[6][0] ds[6][1] ds[6][2] ds[7][0] ds[7][1] ds[7][2] ds[8][0] ds[8][1] ds[8][2] ds[9][0] ds[9][1] ds[9][2] ds[10][0] ds[10][1] ds[10][2] ds[11][0] ds[11][1] ds[11][2] ds[12][0] ds[12][1] ds[12][2] ds[13][0] ds[13][1] ds[13][2] wk[0][0] wk[0][1] wk[1][0] wk[1][1] wk[2][0] wk[2][1] wk[3][0] wk[3][1] wk[4][0] wk[4][1] wk[5][0] wk[5][1] wk[6][0] wk[6][1] wk[7][0] wk[7][1] wk[8][0] wk[8][1] wk[9][0] wk[9][1] wk[10][0] wk[10][1] wk[11][0] wk[11][1] wk[12][0] wk[12][1] wk[13][0] wk[13][1] cn[0] cn[1] cn[2] cn[3] cn[4] cn[5] cn[6] cn[7] cn[8] cn[9] cn[10] cn[11] cn[12] cn[13] cn[14] cn[15] cn[16] cn[17] cn[18] cn[19] cn[20] cn[21] cn[22] cn[23] cn[24] cn[25] cn[26] cn[27] cn[28] cn[29] cn[30] cn[31] cn[32] cn[33] cn[34] cn[35] cn[36] cn[37] cn[38] cn[39] cn[40] cn[41] cn[42] cn[43] cn[44] cn[45] cn[46] cn[47] cn[48] cn[49] cf[0] cf[1] cf[2] cf[3] cf[4] cf[5] cf[6] cf[7] cf[8] cf[9] cf[10] cf[11] cc[0][0] cc[0][1] cc[0][2] cc[1][0] cc[1][1] cc[1][2] cc[2][0] cc[2][1] cc[2][2] cc[3][0] cc[3][1] cc[3][2] cc[4][0] cc[4][1] cc[4][2] cc[5][0] cc[5][1] cc[5][2] cc[6][0] cc[6][1] cc[6][2] cc[7][0] cc[7][1] cc[7][2] cc[8][0] cc[8][1] cc[8][2] cc[9][0] cc[9][1] cc[9][2] cc[10][0] cc[10][1] cc[10][2] cc[11][0] cc[11][1] cc[11][2] cc[12][0] cc[12][1] cc[12][2] cc[13][0] cc[13][1] cc[13][2] </list> 252.01/252.00 v <values> 1 2 1 0 2 2 1 0 2 2 1 2 0 0 1 2 1 0 2 2 1 0 0 2 2 2 2 0 1 1 2 0 1 1 1 1 0 0 2 2 2 2 2 1 2 0 1 1 1 2 0 0 2 2 0 2 2 1 0 2 1 1 1 2 0 0 2 2 2 2 1 2 0 2 1 1 2 1 2 1 2 2 2 2 1 2 0 0 1 1 2 1 2 1 2 2 2 2 1 0 2 0 2 2 1 2 0 2 2 2 2 2 1 0 2 0 2 2 1 2 0 2 1 1 2 0 1 0 0 0 1 0 2 1 1 2 2 2 2 2 2 2 0 0 1 0 2 1 2 0 2 1 2 2 2 2 0 2 1 0 2 1 2 1 2 2 2 2 2 0 2 2 2 2 1 2 0 2 1 1 0 0 2 0 2 2 2 2 1 2 1 2 1 1 1 2 0 8 6 5 3 6 6 2 6 9 0 5 0 8 6 3 5 6 0 9 5 2 6 6 7 2 5 4 3 7 0 4 10 0 4 10 3 1 10 4 0 10 4 4 6 4 3 7 3 6 5 4 4 6 3 4 7 1 5 8 2 5 7 3 2 9 4 4 6 4 4 6 4 3 7 2 3 9 4 3 7 1 5 8 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 2 2 0 0 0 3 3 0 0 1 0 1 1 1 0 3 0 0 1 1 1 1 1 0 0 2 0 3 3 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 400 0 0 300 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 200 0 0 </values> 252.01/252.00 v </instantiation>
OK 1036
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 (12060 MiB free)
memory of node 1: 16384 MiB (11612 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4312470-1534699010/watcher-4312470-1534699010 -o /tmp/evaluation-result-4312470-1534699010/solver-4312470-1534699010 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534699010-24032 --watchdog 312 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 37094814 HOME/instance-4312470-1534699010.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
Current StackSize limit: 8192 KiB
solver pid=24061, runsolver pid=24058
[startup+0.10016 s]*
/proc/loadavg: 0.00 0.01 0.05 3/187 24062
/proc/meminfo: memFree=24190268/32770624 swapFree=67108452/67108860
[pid=24061] ppid=24058 vsize=52092 memory=26908 CPUtime=0.1 cores=1,3,5,7
/proc/24061/stat : 24061 (MistralXCSP) R 24058 24061 24000 0 -1 4202496 7008 0 0 0 9 1 0 0 20 0 1 0 287464165 53342208 6727 33554432000 4194304 7499544 140735065838384 140735065828520 4563992 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9598848 9604096 13316096 140735065846900 140735065847048 140735065847048 140735065849801 0
/proc/24061/statm: 13023 6727 766 807 0 6014 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 52092 KiB
Current children cumulated memory: 26908 KiB
[startup+0.209741 s]*
/proc/loadavg: 0.00 0.01 0.05 3/187 24062
/proc/meminfo: memFree=24156400/32770624 swapFree=67108452/67108860
[pid=24061] ppid=24058 vsize=57676 memory=32716 CPUtime=0.21 cores=1,3,5,7
/proc/24061/stat : 24061 (MistralXCSP) R 24058 24061 24000 0 -1 4202496 8439 0 0 0 20 1 0 0 20 0 1 0 287464165 59060224 8179 33554432000 4194304 7499544 140735065838384 140735065828520 4314603 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 13316096 140735065846900 140735065847048 140735065847048 140735065849801 0
/proc/24061/statm: 14419 8179 809 807 0 7410 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 57676 KiB
Current children cumulated memory: 32716 KiB
[startup+0.309439 s]*
/proc/loadavg: 0.00 0.01 0.05 3/187 24062
/proc/meminfo: memFree=24135196/32770624 swapFree=67108452/67108860
[pid=24061] ppid=24058 vsize=57676 memory=32716 CPUtime=0.31 cores=1,3,5,7
/proc/24061/stat : 24061 (MistralXCSP) R 24058 24061 24000 0 -1 4202496 8442 0 0 0 30 1 0 0 20 0 1 0 287464165 59060224 8179 33554432000 4194304 7499544 140735065838384 140735065828520 4580704 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 13316096 140735065846900 140735065847048 140735065847048 140735065849801 0
/proc/24061/statm: 14419 8179 809 807 0 7410 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 57676 KiB
Current children cumulated memory: 32716 KiB
[startup+0.700306 s]
/proc/loadavg: 0.00 0.01 0.05 3/187 24062
/proc/meminfo: memFree=24132964/32770624 swapFree=67108452/67108860
[pid=24061] ppid=24058 vsize=57676 memory=32716 CPUtime=0.69 cores=1,3,5,7
/proc/24061/stat : 24061 (MistralXCSP) R 24058 24061 24000 0 -1 4202496 8445 0 0 0 68 1 0 0 20 0 1 0 287464165 59060224 8179 33554432000 4194304 7499544 140735065838384 140735065828520 5585339 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 13316096 140735065846900 140735065847048 140735065847048 140735065849801 0
/proc/24061/statm: 14419 8179 809 807 0 7410 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 57676 KiB
Current children cumulated memory: 32716 KiB
[startup+1.50028 s]
/proc/loadavg: 0.00 0.01 0.05 3/187 24062
/proc/meminfo: memFree=24132964/32770624 swapFree=67108452/67108860
[pid=24061] ppid=24058 vsize=57676 memory=32716 CPUtime=1.49 cores=1,3,5,7
/proc/24061/stat : 24061 (MistralXCSP) R 24058 24061 24000 0 -1 4202496 8448 0 0 0 148 1 0 0 20 0 1 0 287464165 59060224 8179 33554432000 4194304 7499544 140735065838384 140735065828520 4540532 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 13316096 140735065846900 140735065847048 140735065847048 140735065849801 0
/proc/24061/statm: 14419 8179 809 807 0 7410 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 57676 KiB
Current children cumulated memory: 32716 KiB
[startup+3.10914 s]
/proc/loadavg: 0.00 0.01 0.05 3/187 24062
/proc/meminfo: memFree=24132908/32770624 swapFree=67108452/67108860
[pid=24061] ppid=24058 vsize=57676 memory=32820 CPUtime=3.1 cores=1,3,5,7
/proc/24061/stat : 24061 (MistralXCSP) R 24058 24061 24000 0 -1 4202496 9976 0 0 0 309 1 0 0 20 0 1 0 287464165 59060224 8205 33554432000 4194304 7499544 140735065838384 140735065833400 4379081 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 13316096 140735065846900 140735065847048 140735065847048 140735065849801 0
/proc/24061/statm: 14419 8205 810 807 0 7410 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 57676 KiB
Current children cumulated memory: 32820 KiB
[startup+6.30027 s]
/proc/loadavg: 0.08 0.03 0.05 3/187 24062
/proc/meminfo: memFree=24131308/32770624 swapFree=67108452/67108860
[pid=24061] ppid=24058 vsize=57676 memory=32824 CPUtime=6.29 cores=1,3,5,7
/proc/24061/stat : 24061 (MistralXCSP) R 24058 24061 24000 0 -1 4202496 13827 0 0 0 628 1 0 0 20 0 1 0 287464165 59060224 8206 33554432000 4194304 7499544 140735065838384 140735065833400 4545493 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 13316096 140735065846900 140735065847048 140735065847048 140735065849801 0
/proc/24061/statm: 14419 8206 810 807 0 7410 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 57676 KiB
Current children cumulated memory: 32824 KiB
[startup+12.7003 s]
/proc/loadavg: 0.24 0.06 0.06 3/187 24062
/proc/meminfo: memFree=24131432/32770624 swapFree=67108452/67108860
[pid=24061] ppid=24058 vsize=57676 memory=32828 CPUtime=12.69 cores=1,3,5,7
/proc/24061/stat : 24061 (MistralXCSP) R 24058 24061 24000 0 -1 4202496 16453 0 0 0 1268 1 0 0 20 0 1 0 287464165 59060224 8207 33554432000 4194304 7499544 140735065838384 140735065833400 4580658 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 13316096 140735065846900 140735065847048 140735065847048 140735065849801 0
/proc/24061/statm: 14419 8207 810 807 0 7410 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 57676 KiB
Current children cumulated memory: 32828 KiB
[startup+25.5003 s]
/proc/loadavg: 0.63 0.16 0.09 3/187 24062
/proc/meminfo: memFree=24131100/32770624 swapFree=67108452/67108860
[pid=24061] ppid=24058 vsize=57676 memory=32844 CPUtime=25.49 cores=1,3,5,7
/proc/24061/stat : 24061 (MistralXCSP) R 24058 24061 24000 0 -1 4202496 21906 0 0 0 2547 2 0 0 20 0 1 0 287464165 59060224 8211 33554432000 4194304 7499544 140735065838384 140735065833400 4398000 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 13316096 140735065846900 140735065847048 140735065847048 140735065849801 0
/proc/24061/statm: 14419 8211 810 807 0 7410 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 57676 KiB
Current children cumulated memory: 32844 KiB
[startup+51.1093 s]
/proc/loadavg: 1.10 0.31 0.14 3/187 24062
/proc/meminfo: memFree=24130564/32770624 swapFree=67108452/67108860
[pid=24061] ppid=24058 vsize=57676 memory=32848 CPUtime=51.1 cores=1,3,5,7
/proc/24061/stat : 24061 (MistralXCSP) R 24058 24061 24000 0 -1 4202496 24611 0 0 0 5108 2 0 0 20 0 1 0 287464165 59060224 8212 33554432000 4194304 7499544 140735065838384 140735065833400 4322756 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 13316096 140735065846900 140735065847048 140735065847048 140735065849801 0
/proc/24061/statm: 14419 8212 810 807 0 7410 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 57676 KiB
Current children cumulated memory: 32848 KiB
[startup+102.3 s]
/proc/loadavg: 1.61 0.57 0.24 3/187 24063
/proc/meminfo: memFree=24131764/32770624 swapFree=67108452/67108860
[pid=24061] ppid=24058 vsize=57808 memory=32852 CPUtime=102.29 cores=1,3,5,7
/proc/24061/stat : 24061 (MistralXCSP) R 24058 24061 24000 0 -1 4202496 26591 0 0 0 10227 2 0 0 20 0 1 0 287464165 59195392 8213 33554432000 4194304 7499544 140735065838384 140735065833400 4579688 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 13316096 140735065846900 140735065847048 140735065847048 140735065849801 0
/proc/24061/statm: 14452 8213 810 807 0 7443 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 57808 KiB
Current children cumulated memory: 32852 KiB
[startup+162.3 s]
/proc/loadavg: 1.86 0.83 0.35 3/187 24064
/proc/meminfo: memFree=24132568/32770624 swapFree=67108452/67108860
[pid=24061] ppid=24058 vsize=57808 memory=32856 CPUtime=162.29 cores=1,3,5,7
/proc/24061/stat : 24061 (MistralXCSP) R 24058 24061 24000 0 -1 4202496 27037 0 0 0 16227 2 0 0 20 0 1 0 287464165 59195392 8214 33554432000 4194304 7499544 140735065838384 140735065833400 5838092 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 13316096 140735065846900 140735065847048 140735065847048 140735065849801 0
/proc/24061/statm: 14452 8214 810 807 0 7443 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 57808 KiB
Current children cumulated memory: 32856 KiB
[startup+222.3 s]
/proc/loadavg: 1.95 1.04 0.45 3/188 24073
/proc/meminfo: memFree=24132572/32770624 swapFree=67108452/67108860
[pid=24061] ppid=24058 vsize=57808 memory=32860 CPUtime=222.3 cores=1,3,5,7
/proc/24061/stat : 24061 (MistralXCSP) R 24058 24061 24000 0 -1 4202496 27489 0 0 0 22228 2 0 0 20 0 1 0 287464165 59195392 8215 33554432000 4194304 7499544 140735065838384 140735065833400 5838102 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 13316096 140735065846900 140735065847048 140735065847048 140735065849801 0
/proc/24061/statm: 14452 8215 810 807 0 7443 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 57808 KiB
Current children cumulated memory: 32860 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252 s]*
/proc/loadavg: 1.97 1.13 0.50 2/186 24074
/proc/meminfo: memFree=24215056/32770624 swapFree=67108452/67108860
[pid=24061] ppid=24058 vsize=57808 memory=32860 CPUtime=252.01 cores=1,3,5,7
/proc/24061/stat : 24061 (MistralXCSP) R 24058 24061 24000 0 -1 4202496 27492 0 0 0 25199 2 0 0 20 0 1 0 287464165 59195392 8215 33554432000 4194304 7499544 140735065838384 140735065833400 4319920 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 9598848 9604096 13316096 140735065846900 140735065847048 140735065847048 140735065849801 0
/proc/24061/statm: 14452 8215 810 807 0 7443 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 57808 KiB
Current children cumulated memory: 32860 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.01 s]
# the end of solver process 24061 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.993 s, system=0.025001 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 252.01
CPU time (s): 252.018
CPU user time (s): 251.993
CPU system time (s): 0.025001
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 57808
Max. memory (cumulated for all children) (KiB): 32860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.993
system time used= 0.025001
maximum resident set size= 32888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27519
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= 18
involuntary context switches= 89
# summary of solver processes directly reported to runsolver:
# pid: 24061
# total CPU time (s): 252.018
# total CPU user time (s): 251.993
# total CPU system time (s): 0.025001
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.871792 second user time and 1.68021 second system time
The end
Begin job on node105 at 2018-08-19 19:16:50 IDJOB=4312470 IDBENCH=141059 IDSOLVER=2801 FILE ID=node105/4312470-1534699010 RUNJOBID= node105-1534699010-24032 PBS_JOBID= 21038724 Free space on /tmp= 59072 MiB SOLVER NAME= Mistral-2.0 2018-08-01 BENCH NAME= XCSP18/NurseRostering/NurseRostering-02_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-4312470-1534699010/watcher-4312470-1534699010 -o /tmp/evaluation-result-4312470-1534699010/solver-4312470-1534699010 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534699010-24032 --watchdog 312 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 37094814 HOME/instance-4312470-1534699010.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 87663e99bef5ddcf16b35e20b5ad163d RANDOM SEED=37094814 node105.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.32 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.32 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.32 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.32 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: 24244828 kB MemAvailable: 31891500 kB Buffers: 263824 kB Cached: 7657428 kB SwapCached: 44 kB Active: 4875580 kB Inactive: 3100948 kB Active(anon): 12688 kB Inactive(anon): 110928 kB Active(file): 4862892 kB Inactive(file): 2990020 kB Unevictable: 7184 kB Mlocked: 7184 kB SwapTotal: 67108860 kB SwapFree: 67108452 kB Dirty: 11644 kB Writeback: 0 kB AnonPages: 61716 kB Mapped: 20864 kB Shmem: 65960 kB Slab: 248188 kB SReclaimable: 219188 kB SUnreclaim: 29000 kB KernelStack: 3088 kB PageTables: 5908 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 395616 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: 130432 kB DirectMap2M: 33415168 kB Free space on /tmp at the end= 59068 MiB End job on node105 at 2018-08-19 19:21:02