Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 1.12 | SAT (TO) | 2979 | 251.98 | 252.01 |
| Name | NurseRostering/ NurseRostering-04_c18.xml |
| MD5SUM | 3e14d2a5b30f836b117ab38c1a042f13 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 2331 |
| Best CPU time to get the best result obtained on this benchmark | 252.104 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 589 |
| Number of constraints | 1410 |
| Number of domains | 13 |
| Minimum domain size | 1 |
| Maximum domain size | 29 |
| Distribution of domain sizes | [{"size":1,"count":30},{"size":2,"count":111},{"size":3,"count":280},{"size":11,"count":140},{"size":29,"count":28}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 21 |
| Distribution of variable degrees | [{"degree":2,"count":269},{"degree":3,"count":40},{"degree":11,"count":9},{"degree":12,"count":11},{"degree":14,"count":8},{"degree":15,"count":10},{"degree":16,"count":15},{"degree":17,"count":23},{"degree":18,"count":18},{"degree":19,"count":79},{"degree":20,"count":85},{"degree":21,"count":22}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 29 |
| Distribution of constraint arities | [{"arity":2,"count":525},{"arity":3,"count":530},{"arity":4,"count":10},{"arity":6,"count":230},{"arity":11,"count":84},{"arity":20,"count":1},{"arity":29,"count":30}] |
| Number of extensional constraints | 354 |
| Number of intensional constraints | 171 |
| Distribution of constraint types | [{"type":"extension","count":354},{"type":"intension","count":171},{"type":"regular","count":520},{"type":"sum","count":20},{"type":"count","count":344},{"type":"instantiation","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.10/0.12 c best=?? lower=0 upper=18360 0.10/0.19 c 0.10/0.19 c This is cosoco 1.12 -- 0.10/0.19 c 0.10/0.19 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4301251-1532878005.xml 0.10/0.19 c enable optimization 0.10/0.19 c ========================================[ Problem Statistics ]=========================================== 0.10/0.19 c | 0.10/0.19 c | Parse time : 0.11 s 0.10/0.19 c | 0.10/0.19 c | Variables: 589 0.10/0.19 c | Domain Sizes: 1..29 0.10/0.19 c | 0.10/0.19 c | Constraints: 1440 0.10/0.19 c | Arity: 1..155 -- Unary: 20 -- Binary: 545 -- Ternary: 520 0.10/0.19 c | 0.10/0.19 c | Types: 0.10/0.19 c | At least: 230 0.10/0.19 c | Exactly K variable: 114 0.10/0.19 c | Extension: 354 (nb tuples: 0..11) -- (shared: 337) 0.10/0.19 c | Intension: 171 0.10/0.19 c | MDD: 520 0.10/0.19 c | Sum: 31 0.10/0.19 c | Unary: 20 0.10/0.19 c | 0.10/0.19 c | Objective: Minimize Sum 0.10/0.19 0.10/0.19 c ========================================================================================================= 0.10/0.19 o 6213 0.10/0.19 c 1 calls to solver: best=6213 lower=0 upper=6212 0.10/0.21 o 6121 0.31/0.35 o 5305 0.31/0.35 c 3 calls to solver: best=5305 lower=0 upper=5304 0.31/0.36 o 5300 0.31/0.40 o 5197 0.31/0.40 c 5 calls to solver: best=5197 lower=0 upper=5196 0.51/0.56 o 5117 0.51/0.58 o 5110 0.51/0.58 c 7 calls to solver: best=5110 lower=0 upper=5109 0.51/0.59 o 5108 0.60/0.61 o 5106 0.60/0.61 c 9 calls to solver: best=5106 lower=0 upper=5105 0.60/0.62 o 5010 0.60/0.64 o 5009 0.60/0.64 c 11 calls to solver: best=5009 lower=0 upper=5008 0.60/0.66 o 4909 0.60/0.68 o 4703 0.60/0.68 c 13 calls to solver: best=4703 lower=0 upper=4702 0.69/0.70 o 4700 0.69/0.75 o 4612 0.69/0.75 c 15 calls to solver: best=4612 lower=0 upper=4611 0.69/0.79 o 4611 0.79/0.89 o 4604 0.79/0.89 c 17 calls to solver: best=4604 lower=0 upper=4603 0.89/0.90 o 4507 0.89/0.92 o 4501 0.89/0.92 c 19 calls to solver: best=4501 lower=0 upper=4500 4.10/4.14 o 4493 4.39/4.40 o 4492 4.39/4.40 c 21 calls to solver: best=4492 lower=0 upper=4491 6.00/6.07 o 3774 11.49/11.56 o 3702 11.49/11.56 c 23 calls to solver: best=3702 lower=0 upper=3701 49.58/49.62 o 3673 75.78/75.81 o 3671 75.78/75.81 c 25 calls to solver: best=3671 lower=0 upper=3670 98.67/98.74 o 3581 98.98/99.05 o 3576 98.98/99.05 c 27 calls to solver: best=3576 lower=0 upper=3575 99.17/99.28 o 3574 100.57/100.60 o 3573 100.57/100.60 c 29 calls to solver: best=3573 lower=0 upper=3572 105.87/105.97 o 3563 182.77/182.81 o 3484 182.77/182.81 c 31 calls to solver: best=3484 lower=0 upper=3483 182.98/183.10 o 3482 183.67/183.71 o 3385 183.67/183.71 c 33 calls to solver: best=3385 lower=0 upper=3384 183.67/183.74 o 3384 184.87/184.99 o 3382 184.87/184.99 c 35 calls to solver: best=3382 lower=0 upper=3381 184.98/185.01 o 3376 184.98/185.04 o 3375 184.98/185.04 c 37 calls to solver: best=3375 lower=0 upper=3374 185.17/185.27 o 3374 185.57/185.62 o 3284 185.57/185.62 c 39 calls to solver: best=3284 lower=0 upper=3283 185.57/185.66 o 3278 185.67/185.70 o 3277 185.67/185.70 c 41 calls to solver: best=3277 lower=0 upper=3276 185.67/185.78 o 3275 185.77/185.85 o 3274 185.77/185.85 c 43 calls to solver: best=3274 lower=0 upper=3273 186.27/186.34 o 3177 186.77/186.85 o 3176 186.77/186.85 c 45 calls to solver: best=3176 lower=0 upper=3175 187.37/187.42 o 3079 187.47/187.57 o 3078 187.47/187.57 c 47 calls to solver: best=3078 lower=0 upper=3077 187.77/187.81 o 2982 187.87/187.92 o 2981 187.87/187.92 c 49 calls to solver: best=2981 lower=0 upper=2980 190.98/191.10 o 2979 251.97/252.00 251.97/252.00 c *** INTERRUPTED *** 251.97/252.00 c restarts : 74 251.97/252.00 c conflicts : 1131973 (4493 /sec) 251.97/252.00 c decisions : 6506379 (25822 /sec) 251.97/252.00 c propagations : 171239496 (679606 /sec) 251.97/252.00 c root propagations : 520 251.97/252.00 c filter calls : 300969327 (1194471 /sec) 251.97/252.00 c useless filter calls : 220435967 (73 %) 251.97/252.00 c Memory used : 34.82 MB 251.97/252.00 c CPU time : 251.969 s 251.97/252.00 251.97/252.00 c nb Solutions = 50 251.97/252.00 s SATISFIABLE 251.97/252.00 c Best value found: 2979 251.97/252.00 251.97/252.00 251.97/252.00 v <instantiation type='solution' cost='2979'> 251.97/252.00 v <list>cc[0][0] cc[0][1] cc[0][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] cc[14][0] cc[14][1] cc[14][2] cc[15][0] cc[15][1] cc[15][2] cc[16][0] cc[16][1] cc[16][2] cc[17][0] cc[17][1] cc[17][2] cc[18][0] cc[18][1] cc[18][2] cc[19][0] cc[19][1] cc[19][2] cc[1][0] cc[1][1] cc[1][2] cc[20][0] cc[20][1] cc[20][2] cc[21][0] cc[21][1] cc[21][2] cc[22][0] cc[22][1] cc[22][2] cc[23][0] cc[23][1] cc[23][2] cc[24][0] cc[24][1] cc[24][2] cc[25][0] cc[25][1] cc[25][2] cc[26][0] cc[26][1] cc[26][2] cc[27][0] cc[27][1] cc[27][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] cf[0] cf[10] cf[11] cf[12] cf[13] cf[14] cf[15] cf[16] cf[17] cf[18] cf[1] cf[2] cf[3] cf[4] cf[5] cf[6] cf[7] cf[8] cf[9] cn[0] cn[10] cn[11] cn[12] cn[13] cn[14] cn[15] cn[16] cn[17] cn[18] cn[19] cn[1] cn[20] cn[21] cn[22] cn[23] cn[24] cn[25] cn[26] cn[27] cn[28] cn[29] cn[2] cn[30] cn[31] cn[32] cn[33] cn[34] cn[35] cn[36] cn[37] cn[38] cn[39] cn[3] cn[40] cn[41] cn[42] cn[43] cn[44] cn[45] cn[46] cn[47] cn[48] cn[49] cn[4] cn[50] cn[51] cn[5] cn[6] cn[7] cn[8] cn[9] ds[0][0] ds[0][1] ds[0][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] ds[14][0] ds[14][1] ds[14][2] ds[15][0] ds[15][1] ds[15][2] ds[16][0] ds[16][1] ds[16][2] ds[17][0] ds[17][1] ds[17][2] ds[18][0] ds[18][1] ds[18][2] ds[19][0] ds[19][1] ds[19][2] ds[1][0] ds[1][1] ds[1][2] ds[20][0] ds[20][1] ds[20][2] ds[21][0] ds[21][1] ds[21][2] ds[22][0] ds[22][1] ds[22][2] ds[23][0] ds[23][1] ds[23][2] ds[24][0] ds[24][1] ds[24][2] ds[25][0] ds[25][1] ds[25][2] ds[26][0] ds[26][1] ds[26][2] ds[27][0] ds[27][1] ds[27][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] 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] wk[0][0] wk[0][1] wk[0][2] wk[0][3] wk[1][0] wk[1][1] wk[1][2] wk[1][3] wk[2][0] wk[2][1] wk[2][2] wk[2][3] wk[3][0] wk[3][1] wk[3][2] wk[3][3] wk[4][0] wk[4][1] wk[4][2] wk[4][3] wk[5][0] wk[5][1] wk[5][2] wk[5][3] wk[6][0] wk[6][1] wk[6][2] wk[6][3] wk[7][0] wk[7][1] wk[7][2] wk[7][3] wk[8][0] wk[8][1] wk[8][2] wk[8][3] wk[9][0] wk[9][1] wk[9][2] wk[9][3] 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[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[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[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[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[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] 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[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] 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[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[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[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[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[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[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[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] </list> 251.97/252.00 v <values>0 0 0 2 0 0 1 0 0 0 100 0 300 200 0 0 0 0 0 100 0 0 200 0 0 0 0 1 0 0 300 400 0 1 0 0 0 100 0 0 300 0 1 0 0 0 100 0 1 100 0 2 300 0 100 100 0 200 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 1 2 3 3 0 0 0 2 2 2 0 2 2 2 0 0 0 1 1 0 0 0 3 0 3 0 0 3 0 0 3 3 3 3 0 3 3 0 0 0 2 2 2 2 0 0 0 0 0 0 0 0 3 2 3 5 4 3 3 5 3 2 2 2 6 2 1 7 3 4 3 5 3 2 4 2 4 3 2 5 3 3 4 3 0 7 4 3 3 2 1 7 4 1 5 4 2 4 5 2 3 5 3 2 6 3 1 3 3 4 2 1 7 5 4 1 3 3 4 3 3 4 2 3 5 2 3 5 3 3 4 4 3 3 5 2 3 9 8 11 16 0 12 8 9 11 10 6 12 12 5 11 0 16 12 7 10 11 7 9 12 12 6 10 17 0 11 0 0 1 1 1 0 0 1 1 1 0 0 1 0 1 0 0 0 1 1 1 0 0 1 0 1 1 0 0 1 0 1 1 1 0 0 1 0 0 1 2 0 2 1 2 1 1 2 0 2 0 0 1 1 0 1 2 2 2 0 0 2 1 1 0 1 0 2 0 0 2 2 1 2 2 2 0 1 0 2 2 2 2 2 2 2 0 1 0 2 2 0 2 1 0 1 1 2 1 0 0 0 0 1 0 1 1 2 2 0 0 2 1 2 0 1 2 0 2 0 0 2 1 2 2 2 2 1 0 0 0 2 1 0 2 2 2 1 1 0 0 2 2 0 0 2 2 2 2 2 2 0 0 1 2 1 1 2 0 0 2 2 2 0 1 2 0 2 2 2 2 2 0 0 1 2 0 2 0 2 1 0 0 2 2 1 0 2 0 2 1 0 0 2 2 1 0 0 0 2 1 0 0 0 2 1 1 0 0 2 1 0 0 0 1 1 2 0 0 0 1 0 2 2 1 1 2 0 2 0 2 2 2 2 1 2 2 0 2 0 1 0 0 2 0 1 1 1 0 0 1 0 2 2 0 2 1 1 2 0 1 2 2 0 0 2 1 1 2 0 2 2 1 0 2 1 2 2 1 0 2 0 1 0 2 1 2 2 1 2 2 0 1 2 0 2 1 0 1 2 0 0 2 2 0 2 1 1 1 0 0 0 2 0 0 1 2 1 2 0 </values> 251.97/252.00 v </instantiation> 251.97/252.00
OK 2979
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 (11642 MiB free)
memory of node 1: 16384 MiB (14573 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301251-1532878005/watcher-4301251-1532878005 -o /tmp/evaluation-result-4301251-1532878005/solver-4301251-1532878005 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532876486-18603 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4301251-1532878005.xml
running on 4 cores: 0,2,4,6
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=19505, runsolver pid=19502
[startup+0.100112 s]*
/proc/loadavg: 2.00 2.01 1.87 3/190 19506
/proc/meminfo: memFree=26838084/32770624 swapFree=67108860/67108860
[pid=19505] ppid=19502 vsize=33416 memory=9968 CPUtime=0.1 cores=0,2,4,6
/proc/19505/stat : 19505 (cosoco) R 19502 19505 15034 0 -1 4202496 2669 0 0 0 10 0 0 0 20 0 1 0 105363636 34217984 2492 33554432000 4194304 6142532 140731941812480 140731941809112 140597722221541 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 14311424 140731941819531 140731941819661 140731941819661 140731941822414 0
/proc/19505/statm: 8354 2492 856 476 0 1676 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33416 KiB
Current children cumulated memory: 9968 KiB
[startup+0.209685 s]*
/proc/loadavg: 2.00 2.01 1.87 3/190 19506
/proc/meminfo: memFree=26835852/32770624 swapFree=67108860/67108860
[pid=19505] ppid=19502 vsize=35520 memory=12204 CPUtime=0.21 cores=0,2,4,6
/proc/19505/stat : 19505 (cosoco) R 19502 19505 15034 0 -1 4202496 3221 0 0 0 21 0 0 0 20 0 1 0 105363636 36372480 3051 33554432000 4194304 6142532 140731941812480 140731941809112 5347460 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 14311424 140731941819531 140731941819661 140731941819661 140731941822414 0
/proc/19505/statm: 8880 3051 899 476 0 2202 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 35520 KiB
Current children cumulated memory: 12204 KiB
[startup+0.309378 s]*
/proc/loadavg: 2.00 2.01 1.87 3/190 19506
/proc/meminfo: memFree=26835852/32770624 swapFree=67108860/67108860
[pid=19505] ppid=19502 vsize=35520 memory=12204 CPUtime=0.31 cores=0,2,4,6
/proc/19505/stat : 19505 (cosoco) R 19502 19505 15034 0 -1 4202496 3241 0 0 0 31 0 0 0 20 0 1 0 105363636 36372480 3051 33554432000 4194304 6142532 140731941812480 140731941809112 5215647 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 14311424 140731941819531 140731941819661 140731941819661 140731941822414 0
/proc/19505/statm: 8880 3051 899 476 0 2202 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 35520 KiB
Current children cumulated memory: 12204 KiB
[startup+0.700233 s]
/proc/loadavg: 2.00 2.01 1.87 3/190 19506
/proc/meminfo: memFree=26835552/32770624 swapFree=67108860/67108860
[pid=19505] ppid=19502 vsize=35652 memory=12204 CPUtime=0.69 cores=0,2,4,6
/proc/19505/stat : 19505 (cosoco) R 19502 19505 15034 0 -1 4202496 3264 0 0 0 69 0 0 0 20 0 1 0 105363636 36507648 3051 33554432000 4194304 6142532 140731941812480 140731941799752 5163176 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 14311424 140731941819531 140731941819661 140731941819661 140731941822414 0
/proc/19505/statm: 8913 3051 899 476 0 2235 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 35652 KiB
Current children cumulated memory: 12204 KiB
[startup+1.50023 s]
/proc/loadavg: 2.00 2.01 1.87 3/190 19506
/proc/meminfo: memFree=26835632/32770624 swapFree=67108860/67108860
[pid=19505] ppid=19502 vsize=35652 memory=12204 CPUtime=1.49 cores=0,2,4,6
/proc/19505/stat : 19505 (cosoco) R 19502 19505 15034 0 -1 4202496 3264 0 0 0 149 0 0 0 20 0 1 0 105363636 36507648 3051 33554432000 4194304 6142532 140731941812480 140731941799752 5001184 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 14311424 140731941819531 140731941819661 140731941819661 140731941822414 0
/proc/19505/statm: 8913 3051 899 476 0 2235 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 35652 KiB
Current children cumulated memory: 12204 KiB
[startup+3.10914 s]
/proc/loadavg: 2.00 2.01 1.87 3/190 19506
/proc/meminfo: memFree=26835756/32770624 swapFree=67108860/67108860
[pid=19505] ppid=19502 vsize=35652 memory=12436 CPUtime=3.1 cores=0,2,4,6
/proc/19505/stat : 19505 (cosoco) R 19502 19505 15034 0 -1 4202496 5388 0 0 0 310 0 0 0 20 0 1 0 105363636 36507648 3109 33554432000 4194304 6142532 140731941812480 140731941799752 4990600 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 14311424 140731941819531 140731941819661 140731941819661 140731941822414 0
/proc/19505/statm: 8913 3109 900 476 0 2235 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 35652 KiB
Current children cumulated memory: 12436 KiB
[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 1.87 3/190 19506
/proc/meminfo: memFree=26835596/32770624 swapFree=67108860/67108860
[pid=19505] ppid=19502 vsize=35652 memory=12440 CPUtime=6.29 cores=0,2,4,6
/proc/19505/stat : 19505 (cosoco) R 19502 19505 15034 0 -1 4202496 7532 0 0 0 629 0 0 0 20 0 1 0 105363636 36507648 3110 33554432000 4194304 6142532 140731941812480 140731941799752 5329969 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 14311424 140731941819531 140731941819661 140731941819661 140731941822414 0
/proc/19505/statm: 8913 3110 900 476 0 2235 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 35652 KiB
Current children cumulated memory: 12440 KiB
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 1.87 3/190 19506
/proc/meminfo: memFree=26835456/32770624 swapFree=67108860/67108860
[pid=19505] ppid=19502 vsize=35652 memory=12468 CPUtime=12.69 cores=0,2,4,6
/proc/19505/stat : 19505 (cosoco) R 19502 19505 15034 0 -1 4202496 9678 0 0 0 1269 0 0 0 20 0 1 0 105363636 36507648 3117 33554432000 4194304 6142532 140731941812480 140731941799752 5347477 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 14311424 140731941819531 140731941819661 140731941819661 140731941822414 0
/proc/19505/statm: 8913 3117 900 476 0 2235 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 35652 KiB
Current children cumulated memory: 12468 KiB
[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 1.87 3/190 19506
/proc/meminfo: memFree=26835688/32770624 swapFree=67108860/67108860
[pid=19505] ppid=19502 vsize=35652 memory=12468 CPUtime=25.48 cores=0,2,4,6
/proc/19505/stat : 19505 (cosoco) R 19502 19505 15034 0 -1 4202496 13847 0 0 0 2548 0 0 0 20 0 1 0 105363636 36507648 3117 33554432000 4194304 6142532 140731941812480 140731941799752 5335940 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 14311424 140731941819531 140731941819661 140731941819661 140731941822414 0
/proc/19505/statm: 8913 3117 900 476 0 2235 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 35652 KiB
Current children cumulated memory: 12468 KiB
[startup+51.1092 s]
/proc/loadavg: 2.00 2.01 1.87 3/190 19506
/proc/meminfo: memFree=26831672/32770624 swapFree=67108860/67108860
[pid=19505] ppid=19502 vsize=35652 memory=12472 CPUtime=51.09 cores=0,2,4,6
/proc/19505/stat : 19505 (cosoco) R 19502 19505 15034 0 -1 4202496 16067 0 0 0 5109 0 0 0 20 0 1 0 105363636 36507648 3118 33554432000 4194304 6142532 140731941812480 140731941810008 5001184 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 14311424 140731941819531 140731941819661 140731941819661 140731941822414 0
/proc/19505/statm: 8913 3118 900 476 0 2235 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 35652 KiB
Current children cumulated memory: 12472 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 1.88 3/190 19508
/proc/meminfo: memFree=26831580/32770624 swapFree=67108860/67108860
[pid=19505] ppid=19502 vsize=35652 memory=12492 CPUtime=102.27 cores=0,2,4,6
/proc/19505/stat : 19505 (cosoco) R 19502 19505 15034 0 -1 4202496 18219 0 0 0 10227 0 0 0 20 0 1 0 105363636 36507648 3123 33554432000 4194304 6142532 140731941812480 140731941810008 5215825 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 14311424 140731941819531 140731941819661 140731941819661 140731941822414 0
/proc/19505/statm: 8913 3123 900 476 0 2235 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 35652 KiB
Current children cumulated memory: 12492 KiB
[startup+162.3 s]
/proc/loadavg: 2.03 2.03 1.89 3/190 19570
/proc/meminfo: memFree=24233116/32770624 swapFree=67108860/67108860
[pid=19505] ppid=19502 vsize=35652 memory=12496 CPUtime=162.27 cores=0,2,4,6
/proc/19505/stat : 19505 (cosoco) R 19502 19505 15034 0 -1 4202496 20354 0 0 0 16226 1 0 0 20 0 1 0 105363636 36507648 3124 33554432000 4194304 6142532 140731941812480 140731941810008 5331056 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 14311424 140731941819531 140731941819661 140731941819661 140731941822414 0
/proc/19505/statm: 8913 3124 900 476 0 2235 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 35652 KiB
Current children cumulated memory: 12496 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.02 1.89 3/191 19579
/proc/meminfo: memFree=23740464/32770624 swapFree=67108860/67108860
[pid=19505] ppid=19502 vsize=35652 memory=12496 CPUtime=222.27 cores=0,2,4,6
/proc/19505/stat : 19505 (cosoco) R 19502 19505 15034 0 -1 4202496 20470 0 0 0 22226 1 0 0 20 0 1 0 105363636 36507648 3124 33554432000 4194304 6142532 140731941812480 140731941810008 5330446 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 14311424 140731941819531 140731941819661 140731941819661 140731941822414 0
/proc/19505/statm: 8913 3124 900 476 0 2235 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 35652 KiB
Current children cumulated memory: 12496 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252 s]*
/proc/loadavg: 2.01 2.02 1.90 3/191 19579
/proc/meminfo: memFree=23734836/32770624 swapFree=67108860/67108860
[pid=19505] ppid=19502 vsize=35652 memory=12496 CPUtime=251.97 cores=0,2,4,6
/proc/19505/stat : 19505 (cosoco) R 19502 19505 15034 0 -1 4202496 20568 0 0 0 25196 1 0 0 20 0 1 0 105363636 36507648 3124 33554432000 4194304 6142532 140731941812480 140731941810008 5138304 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 14311424 140731941819531 140731941819661 140731941819661 140731941822414 0
/proc/19505/statm: 8913 3124 900 476 0 2235 0
Current children cumulated CPU time: 251.97 s
Current children cumulated vsize: 35652 KiB
Current children cumulated memory: 12496 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.01 s]
# the end of solver process 19505 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.969 s, system=0.010998 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 252.01
CPU time (s): 251.98
CPU user time (s): 251.969
CPU system time (s): 0.010998
CPU usage (%): 99.9882
Max. virtual memory (cumulated for all children) (KiB): 35652
Max. memory (cumulated for all children) (KiB): 12496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.969
system time used= 0.010998
maximum resident set size= 12560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20616
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= 19
involuntary context switches= 208
# summary of solver processes directly reported to runsolver:
# pid: 19505
# total CPU time (s): 251.98
# total CPU user time (s): 251.969
# total CPU system time (s): 0.010998
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.862142 second user time and 1.74948 second system time
The end
Begin job on node135 at 2018-07-29 17:26:45 IDJOB=4301251 IDBENCH=141042 IDSOLVER=2774 FILE ID=node135/4301251-1532878005 RUNJOBID= node135-1532876486-18603 PBS_JOBID= 21022499 Free space on /tmp= 52716 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/NurseRostering/NurseRostering-04_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4301251-1532878005/watcher-4301251-1532878005 -o /tmp/evaluation-result-4301251-1532878005/solver-4301251-1532878005 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532876486-18603 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4301251-1532878005.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3e14d2a5b30f836b117ab38c1a042f13 RANDOM SEED=1936598588 node135.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: 26844368 kB MemAvailable: 31387644 kB Buffers: 214772 kB Cached: 4567340 kB SwapCached: 0 kB Active: 2126580 kB Inactive: 3258680 kB Active(anon): 554448 kB Inactive(anon): 76904 kB Active(file): 1572132 kB Inactive(file): 3181776 kB Unevictable: 7212 kB Mlocked: 7212 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2796 kB Writeback: 0 kB AnonPages: 617624 kB Mapped: 45392 kB Shmem: 25248 kB Slab: 239224 kB SReclaimable: 210408 kB SUnreclaim: 28816 kB KernelStack: 3616 kB PageTables: 6244 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 903596 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 143360 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 93568 kB DirectMap2M: 33452032 kB Free space on /tmp at the end= 52712 MiB End job on node135 at 2018-07-29 17:30:57