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) | 68 | 2520.07 | 2520.01 |
| Name | StillLife/ StillLife-wastage-14_c18.xml |
| MD5SUM | 24e7c51735ec9671261d78753301e43f |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 104 |
| Best CPU time to get the best result obtained on this benchmark | 59.3102 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 529 |
| Number of constraints | 344 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 513 |
| Distribution of domain sizes | [{"size":2,"count":256},{"size":3,"count":256},{"size":197,"count":1},{"size":513,"count":16}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 17 |
| Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":253},{"degree":3,"count":19},{"degree":4,"count":56},{"degree":8,"count":52},{"degree":9,"count":144},{"degree":17,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 18 |
| Distribution of constraint arities | [{"arity":2,"count":72},{"arity":3,"count":56},{"arity":10,"count":196},{"arity":16,"count":4},{"arity":17,"count":1},{"arity":18,"count":15}] |
| Number of extensional constraints | 252 |
| Number of intensional constraints | 71 |
| Distribution of constraint types | [{"type":"extension","count":252},{"type":"intension","count":71},{"type":"sum","count":17},{"type":"instantiation","count":4}] |
| Optimization problem | YES |
| Type of objective | max VAR |
0.00/0.04 c best=?? lower=-2147483638 upper=2147483637 0.10/0.12 c 0.10/0.12 c This is cosoco 1.12 -- 0.10/0.12 c 0.10/0.12 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4292927-1532299258.xml 0.10/0.12 c enable optimization 0.10/0.12 c ========================================[ Problem Statistics ]=========================================== 0.10/0.12 c | 0.10/0.12 c | Parse time : 0.04 s 0.10/0.12 c | 0.10/0.12 c | Variables: 529 0.10/0.12 c | Domain Sizes: 2..513 0.10/0.12 c | 0.10/0.12 c | Constraints: 405 0.10/0.12 c | Arity: 1..18 -- Unary: 65 -- Binary: 72 -- Ternary: 56 0.10/0.12 c | 0.10/0.12 c | Types: 0.10/0.12 c | (X -Y <= k): 15 0.10/0.12 c | Extension: 252 (nb tuples: 1..724) -- (shared: 247) 0.10/0.12 c | Intension: 57 0.10/0.12 c | Sum: 17 0.10/0.12 c | Unary: 64 0.10/0.12 c | 0.10/0.12 c | Objective: Maximize Intension 0.10/0.12 0.10/0.12 c ========================================================================================================= 0.10/0.12 o 24 0.10/0.12 c 1 calls to solver: best=24 lower=25 upper=2147483637 0.10/0.18 o 25 1.69/1.74 o 26 1.69/1.74 c 3 calls to solver: best=26 lower=27 upper=2147483637 1.79/1.87 o 27 4.39/4.43 o 28 4.39/4.43 c 5 calls to solver: best=28 lower=29 upper=2147483637 4.49/4.55 o 29 5.10/5.14 o 30 5.10/5.14 c 7 calls to solver: best=30 lower=31 upper=2147483637 5.59/5.64 o 31 6.89/6.95 o 32 6.89/6.95 c 9 calls to solver: best=32 lower=33 upper=2147483637 8.19/8.20 o 34 9.00/9.08 o 35 9.00/9.08 c 11 calls to solver: best=35 lower=36 upper=2147483637 10.00/10.05 o 36 10.59/10.62 o 37 10.59/10.62 c 13 calls to solver: best=37 lower=38 upper=2147483637 11.19/11.27 o 39 13.79/13.84 o 40 13.79/13.84 c 15 calls to solver: best=40 lower=41 upper=2147483637 14.79/14.81 o 41 15.79/15.83 o 42 15.79/15.83 c 17 calls to solver: best=42 lower=43 upper=2147483637 17.49/17.54 o 43 19.79/19.90 o 44 19.79/19.90 c 19 calls to solver: best=44 lower=45 upper=2147483637 22.10/22.12 o 45 28.49/28.59 o 46 28.49/28.59 c 21 calls to solver: best=46 lower=47 upper=2147483637 35.00/35.09 o 47 36.10/36.15 o 48 36.10/36.15 c 23 calls to solver: best=48 lower=49 upper=2147483637 53.29/53.30 o 49 70.69/70.79 o 50 70.69/70.79 c 25 calls to solver: best=50 lower=51 upper=2147483637 86.29/86.37 o 52 96.79/96.87 o 53 96.79/96.87 c 27 calls to solver: best=53 lower=54 upper=2147483637 104.69/104.74 o 54 127.79/127.80 o 55 127.79/127.80 c 29 calls to solver: best=55 lower=56 upper=2147483637 218.00/218.02 o 56 607.40/607.47 o 57 607.40/607.47 c 31 calls to solver: best=57 lower=58 upper=2147483637 923.61/923.67 o 58 962.41/962.41 o 59 962.41/962.41 c 33 calls to solver: best=59 lower=60 upper=2147483637 1030.61/1030.66 o 60 1049.61/1049.67 o 61 1049.61/1049.67 c 35 calls to solver: best=61 lower=62 upper=2147483637 1066.91/1066.95 o 62 1079.21/1079.21 o 63 1079.21/1079.21 c 37 calls to solver: best=63 lower=64 upper=2147483637 1140.61/1140.66 o 64 1218.32/1218.31 o 65 1218.32/1218.31 c 39 calls to solver: best=65 lower=66 upper=2147483637 1635.43/1635.41 o 66 2035.04/2035.03 o 67 2035.04/2035.03 c 41 calls to solver: best=67 lower=68 upper=2147483637 2282.54/2282.57 o 68 2520.06/2520.00 2520.06/2520.00 c *** INTERRUPTED *** 2520.06/2520.00 c restarts : 92 2520.06/2520.00 c conflicts : 6756701 (2681 /sec) 2520.06/2520.00 c decisions : 54421945 (21595 /sec) 2520.06/2520.00 c propagations : 1251383065 (496568 /sec) 2520.06/2520.00 c root propagations : 4539 2520.06/2520.00 c filter calls : 1214323560 (481863 /sec) 2520.06/2520.00 c useless filter calls : 911318026 (75 %) 2520.06/2520.00 c Memory used : 32.05 MB 2520.06/2520.00 c CPU time : 2520.06 s 2520.06/2520.00 2520.06/2520.00 c nb Solutions = 42 2520.06/2520.00 s SATISFIABLE 2520.06/2520.00 c Best value found: 68 2520.06/2520.00 2520.06/2520.00 2520.06/2520.00 v <instantiation type='solution' cost='68'> 2520.06/2520.00 v <list>w[0][0] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[10][0] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[11][0] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[12][0] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[13][0] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[14][0] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[15][0] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[1][0] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[2][0] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[3][0] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[4][0] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[5][0] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[6][0] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[7][0] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[8][0] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[9][0] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] ws[0] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] x[0][0] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] 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][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] 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][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] 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][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] 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][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] 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][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] 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][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] 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[1][0] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] 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[2][0] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] 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][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] 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][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] 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][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] 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][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] 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][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] 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][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] 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][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] 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] z </list> 2520.06/2520.00 v <values>0 0 0 1 1 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 2 2 1 0 0 1 2 1 1 0 1 0 1 1 0 2 2 2 1 1 1 2 0 1 0 0 0 1 1 1 2 2 2 2 1 1 1 1 1 2 0 0 0 0 0 2 2 2 2 2 1 0 0 0 0 0 0 1 0 0 0 1 2 2 2 2 1 1 0 1 1 0 2 1 0 1 0 1 1 1 1 1 0 0 1 0 0 1 1 1 0 0 0 0 0 1 2 2 1 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 1 0 0 0 0 0 0 0 0 0 1 0 0 2 2 2 1 0 0 1 0 0 1 0 0 1 0 0 0 1 2 2 1 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 1 1 0 1 0 0 0 0 0 1 1 0 0 2 2 2 1 1 2 1 0 0 0 0 0 0 1 0 1 1 2 2 1 2 2 1 0 0 0 0 0 0 1 0 0 2 2 2 1 1 1 2 0 1 1 0 0 0 0 0 0 1 2 2 1 0 0 1 2 1 0 0 0 1 6 106 121 138 150 167 176 12 18 29 35 44 56 69 83 94 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 1 1 0 1 1 0 0 1 1 0 0 0 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 1 0 0 0 0 1 1 0 0 0 0 1 0 1 68 </values> 2520.06/2520.00 v </instantiation> 2520.06/2520.00
OK 68
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 (9770 MiB free)
memory of node 1: 16384 MiB (14763 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292927-1532299258/watcher-4292927-1532299258 -o /tmp/evaluation-result-4292927-1532299258/solver-4292927-1532299258 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532296736-6957 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4292927-1532299258.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=7223, runsolver pid=7220
Current StackSize limit: 8192 KiB
[startup+0.100154 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 7224
/proc/meminfo: memFree=25118284/32770624 swapFree=67108852/67108860
[pid=7223] ppid=7220 vsize=32024 memory=8684 CPUtime=0.1 cores=1,3,5,7
/proc/7223/stat : 7223 (cosoco) R 7220 7223 6925 0 -1 4202496 2342 0 0 0 10 0 0 0 20 0 1 0 47488912 32792576 2171 33554432000 4194304 6142532 140728124801040 140728124797672 140133722541029 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19619840 140728124802182 140728124802312 140728124802312 140728124805070 0
/proc/7223/statm: 8006 2171 894 476 0 1328 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32024 KiB
Current children cumulated memory: 8684 KiB
[startup+0.209729 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 7224
/proc/meminfo: memFree=25117540/32770624 swapFree=67108852/67108860
[pid=7223] ppid=7220 vsize=32552 memory=9212 CPUtime=0.21 cores=1,3,5,7
/proc/7223/stat : 7223 (cosoco) R 7220 7223 6925 0 -1 4202496 2489 0 0 0 21 0 0 0 20 0 1 0 47488912 33333248 2303 33554432000 4194304 6142532 140728124801040 140728124797672 5016416 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19619840 140728124802182 140728124802312 140728124802312 140728124805070 0
/proc/7223/statm: 8138 2303 894 476 0 1460 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 32552 KiB
Current children cumulated memory: 9212 KiB
[startup+0.309285 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 7224
/proc/meminfo: memFree=25117540/32770624 swapFree=67108852/67108860
[pid=7223] ppid=7220 vsize=32552 memory=9212 CPUtime=0.31 cores=1,3,5,7
/proc/7223/stat : 7223 (cosoco) R 7220 7223 6925 0 -1 4202496 2489 0 0 0 31 0 0 0 20 0 1 0 47488912 33333248 2303 33554432000 4194304 6142532 140728124801040 140728124797672 5017799 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19619840 140728124802182 140728124802312 140728124802312 140728124805070 0
/proc/7223/statm: 8138 2303 894 476 0 1460 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 32552 KiB
Current children cumulated memory: 9212 KiB
[startup+0.700277 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7224
/proc/meminfo: memFree=25117540/32770624 swapFree=67108852/67108860
[pid=7223] ppid=7220 vsize=32552 memory=9212 CPUtime=0.69 cores=1,3,5,7
/proc/7223/stat : 7223 (cosoco) R 7220 7223 6925 0 -1 4202496 2489 0 0 0 69 0 0 0 20 0 1 0 47488912 33333248 2303 33554432000 4194304 6142532 140728124801040 140728124797672 5017816 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19619840 140728124802182 140728124802312 140728124802312 140728124805070 0
/proc/7223/statm: 8138 2303 894 476 0 1460 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 32552 KiB
Current children cumulated memory: 9212 KiB
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7224
/proc/meminfo: memFree=25116888/32770624 swapFree=67108852/67108860
[pid=7223] ppid=7220 vsize=32552 memory=9216 CPUtime=1.49 cores=1,3,5,7
/proc/7223/stat : 7223 (cosoco) R 7220 7223 6925 0 -1 4202496 2491 0 0 0 149 0 0 0 20 0 1 0 47488912 33333248 2304 33554432000 4194304 6142532 140728124801040 140728124798568 5017524 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19619840 140728124802182 140728124802312 140728124802312 140728124805070 0
/proc/7223/statm: 8138 2304 894 476 0 1460 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 32552 KiB
Current children cumulated memory: 9216 KiB
[startup+3.10898 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 7228
/proc/meminfo: memFree=25118228/32770624 swapFree=67108852/67108860
[pid=7223] ppid=7220 vsize=32684 memory=9420 CPUtime=3.1 cores=1,3,5,7
/proc/7223/stat : 7223 (cosoco) R 7220 7223 6925 0 -1 4202496 2827 0 0 0 310 0 0 0 20 0 1 0 47488912 33468416 2355 33554432000 4194304 6142532 140728124801040 140728124798568 5130604 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19619840 140728124802182 140728124802312 140728124802312 140728124805070 0
/proc/7223/statm: 8171 2355 895 476 0 1493 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 32684 KiB
Current children cumulated memory: 9420 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7288
/proc/meminfo: memFree=25115668/32770624 swapFree=67108852/67108860
[pid=7223] ppid=7220 vsize=32684 memory=9436 CPUtime=6.29 cores=1,3,5,7
/proc/7223/stat : 7223 (cosoco) R 7220 7223 6925 0 -1 4202496 3206 0 0 0 629 0 0 0 20 0 1 0 47488912 33468416 2359 33554432000 4194304 6142532 140728124801040 140728124798568 5331056 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19619840 140728124802182 140728124802312 140728124802312 140728124805070 0
/proc/7223/statm: 8171 2359 895 476 0 1493 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 32684 KiB
Current children cumulated memory: 9436 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7288
/proc/meminfo: memFree=25115420/32770624 swapFree=67108852/67108860
[pid=7223] ppid=7220 vsize=32684 memory=9460 CPUtime=12.69 cores=1,3,5,7
/proc/7223/stat : 7223 (cosoco) R 7220 7223 6925 0 -1 4202496 3592 0 0 0 1269 0 0 0 20 0 1 0 47488912 33468416 2365 33554432000 4194304 6142532 140728124801040 140728124788312 5175056 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19619840 140728124802182 140728124802312 140728124802312 140728124805070 0
/proc/7223/statm: 8171 2365 895 476 0 1493 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 32684 KiB
Current children cumulated memory: 9460 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7288
/proc/meminfo: memFree=25115668/32770624 swapFree=67108852/67108860
[pid=7223] ppid=7220 vsize=32684 memory=9484 CPUtime=25.49 cores=1,3,5,7
/proc/7223/stat : 7223 (cosoco) R 7220 7223 6925 0 -1 4202496 4304 0 0 0 2549 0 0 0 20 0 1 0 47488912 33468416 2371 33554432000 4194304 6142532 140728124801040 140728124798568 5372449 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19619840 140728124802182 140728124802312 140728124802312 140728124805070 0
/proc/7223/statm: 8171 2371 895 476 0 1493 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 32684 KiB
Current children cumulated memory: 9484 KiB
[startup+51.1092 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7288
/proc/meminfo: memFree=25114932/32770624 swapFree=67108852/67108860
[pid=7223] ppid=7220 vsize=32684 memory=9484 CPUtime=51.1 cores=1,3,5,7
/proc/7223/stat : 7223 (cosoco) R 7220 7223 6925 0 -1 4202496 4701 0 0 0 5110 0 0 0 20 0 1 0 47488912 33468416 2371 33554432000 4194304 6142532 140728124801040 140728124788312 4990765 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19619840 140728124802182 140728124802312 140728124802312 140728124805070 0
/proc/7223/statm: 8171 2371 895 476 0 1493 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 32684 KiB
Current children cumulated memory: 9484 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7289
/proc/meminfo: memFree=25115524/32770624 swapFree=67108852/67108860
[pid=7223] ppid=7220 vsize=32684 memory=9488 CPUtime=102.29 cores=1,3,5,7
/proc/7223/stat : 7223 (cosoco) R 7220 7223 6925 0 -1 4202496 5146 0 0 0 10229 0 0 0 20 0 1 0 47488912 33468416 2372 33554432000 4194304 6142532 140728124801040 140728124788312 5130538 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19619840 140728124802182 140728124802312 140728124802312 140728124805070 0
/proc/7223/statm: 8171 2372 895 476 0 1493 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 32684 KiB
Current children cumulated memory: 9488 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7290
/proc/meminfo: memFree=25115288/32770624 swapFree=67108852/67108860
[pid=7223] ppid=7220 vsize=32684 memory=9516 CPUtime=162.29 cores=1,3,5,7
/proc/7223/stat : 7223 (cosoco) R 7220 7223 6925 0 -1 4202496 5541 0 0 0 16229 0 0 0 20 0 1 0 47488912 33468416 2379 33554432000 4194304 6142532 140728124801040 140728124788312 5132649 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19619840 140728124802182 140728124802312 140728124802312 140728124805070 0
/proc/7223/statm: 8171 2379 895 476 0 1493 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 32684 KiB
Current children cumulated memory: 9516 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7291
/proc/meminfo: memFree=25115236/32770624 swapFree=67108852/67108860
[pid=7223] ppid=7220 vsize=32684 memory=9516 CPUtime=222.29 cores=1,3,5,7
/proc/7223/stat : 7223 (cosoco) R 7220 7223 6925 0 -1 4202496 5933 0 0 0 22229 0 0 0 20 0 1 0 47488912 33468416 2379 33554432000 4194304 6142532 140728124801040 140728124798568 5017886 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19619840 140728124802182 140728124802312 140728124802312 140728124805070 0
/proc/7223/statm: 8171 2379 895 476 0 1493 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 32684 KiB
Current children cumulated memory: 9516 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7292
/proc/meminfo: memFree=25115468/32770624 swapFree=67108852/67108860
[pid=7223] ppid=7220 vsize=32684 memory=9516 CPUtime=282.29 cores=1,3,5,7
/proc/7223/stat : 7223 (cosoco) R 7220 7223 6925 0 -1 4202496 6274 0 0 0 28229 0 0 0 20 0 1 0 47488912 33468416 2379 33554432000 4194304 6142532 140728124801040 140728124798568 5131322 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19619840 140728124802182 140728124802312 140728124802312 140728124805070 0
/proc/7223/statm: 8171 2379 895 476 0 1493 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 32684 KiB
Current children cumulated memory: 9516 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7293
/proc/meminfo: memFree=25115280/32770624 swapFree=67108852/67108860
[pid=7223] ppid=7220 vsize=32684 memory=9516 CPUtime=342.3 cores=1,3,5,7
/proc/7223/stat : 7223 (cosoco) R 7220 7223 6925 0 -1 4202496 6606 0 0 0 34230 0 0 0 20 0 1 0 47488912 33468416 2379 33554432000 4194304 6142532 140728124801040 140728124798568 5131364 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19619840 140728124802182 140728124802312 140728124802312 140728124805070 0
/proc/7223/statm: 8171 2379 895 476 0 1493 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 32684 KiB
Current children cumulated memory: 9516 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7294
/proc/meminfo: memFree=25115112/32770624 swapFree=67108852/67108860
[pid=7223] ppid=7220 vsize=32684 memory=9516 CPUtime=402.3 cores=1,3,5,7
/proc/7223/stat : 7223 (cosoco) R 7220 7223 6925 0 -1 4202496 6938 0 0 0 40230 0 0 0 20 0 1 0 47488912 33468416 2379 33554432000 4194304 6142532 140728124801040 140728124798568 5130911 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19619840 140728124802182 140728124802312 140728124802312 140728124805070 0
/proc/7223/statm: 8171 2379 895 476 0 1493 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 32684 KiB
Current children cumulated memory: 9516 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7295
/proc/meminfo: memFree=25114928/32770624 swapFree=67108852/67108860
[pid=7223] ppid=7220 vsize=32684 memory=9516 CPUtime=462.3 cores=1,3,5,7
/proc/7223/stat : 7223 (cosoco) R 7220 7223 6925 0 -1 4202496 7295 0 0 0 46230 0 0 0 20 0 1 0 47488912 33468416 2379 33554432000 4194304 6142532 140728124801040 140728124798568 5017799 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19619840 140728124802182 140728124802312 140728124802312 140728124805070 0
/proc/7223/statm: 8171 2379 895 476 0 1493 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 32684 KiB
Current children cumulated memory: 9516 KiB
################
# More data... #
################
/proc/7223/statm: 8204 2382 895 476 0 1526 0
Current children cumulated CPU time: 1722.33 s
Current children cumulated vsize: 32816 KiB
Current children cumulated memory: 9528 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7369
/proc/meminfo: memFree=25113112/32770624 swapFree=67108852/67108860
[pid=7223] ppid=7220 vsize=32816 memory=9528 CPUtime=1782.33 cores=1,3,5,7
/proc/7223/stat : 7223 (cosoco) R 7220 7223 6925 0 -1 4202496 15347 0 0 0 178233 0 0 0 20 0 1 0 47488912 33603584 2382 33554432000 4194304 6142532 140728124801040 140728124798568 5347481 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19619840 140728124802182 140728124802312 140728124802312 140728124805070 0
/proc/7223/statm: 8204 2382 895 476 0 1526 0
Current children cumulated CPU time: 1782.33 s
Current children cumulated vsize: 32816 KiB
Current children cumulated memory: 9528 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7370
/proc/meminfo: memFree=25113188/32770624 swapFree=67108852/67108860
[pid=7223] ppid=7220 vsize=32816 memory=9528 CPUtime=1842.33 cores=1,3,5,7
/proc/7223/stat : 7223 (cosoco) R 7220 7223 6925 0 -1 4202496 15690 0 0 0 184233 0 0 0 20 0 1 0 47488912 33603584 2382 33554432000 4194304 6142532 140728124801040 140728124798568 5017923 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19619840 140728124802182 140728124802312 140728124802312 140728124805070 0
/proc/7223/statm: 8204 2382 895 476 0 1526 0
Current children cumulated CPU time: 1842.33 s
Current children cumulated vsize: 32816 KiB
Current children cumulated memory: 9528 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7371
/proc/meminfo: memFree=25113312/32770624 swapFree=67108852/67108860
[pid=7223] ppid=7220 vsize=32816 memory=9528 CPUtime=1902.33 cores=1,3,5,7
/proc/7223/stat : 7223 (cosoco) R 7220 7223 6925 0 -1 4202496 16015 0 0 0 190233 0 0 0 20 0 1 0 47488912 33603584 2382 33554432000 4194304 6142532 140728124801040 140728124798568 5130640 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19619840 140728124802182 140728124802312 140728124802312 140728124805070 0
/proc/7223/statm: 8204 2382 895 476 0 1526 0
Current children cumulated CPU time: 1902.33 s
Current children cumulated vsize: 32816 KiB
Current children cumulated memory: 9528 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7372
/proc/meminfo: memFree=25113628/32770624 swapFree=67108852/67108860
[pid=7223] ppid=7220 vsize=32816 memory=9528 CPUtime=1962.33 cores=1,3,5,7
/proc/7223/stat : 7223 (cosoco) R 7220 7223 6925 0 -1 4202496 16343 0 0 0 196233 0 0 0 20 0 1 0 47488912 33603584 2382 33554432000 4194304 6142532 140728124801040 140728124798568 5017816 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19619840 140728124802182 140728124802312 140728124802312 140728124805070 0
/proc/7223/statm: 8204 2382 895 476 0 1526 0
Current children cumulated CPU time: 1962.33 s
Current children cumulated vsize: 32816 KiB
Current children cumulated memory: 9528 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7373
/proc/meminfo: memFree=25113488/32770624 swapFree=67108852/67108860
[pid=7223] ppid=7220 vsize=32816 memory=9528 CPUtime=2022.34 cores=1,3,5,7
/proc/7223/stat : 7223 (cosoco) R 7220 7223 6925 0 -1 4202496 16673 0 0 0 202234 0 0 0 20 0 1 0 47488912 33603584 2382 33554432000 4194304 6142532 140728124801040 140728124798568 5013907 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19619840 140728124802182 140728124802312 140728124802312 140728124805070 0
/proc/7223/statm: 8204 2382 895 476 0 1526 0
Current children cumulated CPU time: 2022.34 s
Current children cumulated vsize: 32816 KiB
Current children cumulated memory: 9528 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7374
/proc/meminfo: memFree=25113880/32770624 swapFree=67108852/67108860
[pid=7223] ppid=7220 vsize=32816 memory=9532 CPUtime=2082.34 cores=1,3,5,7
/proc/7223/stat : 7223 (cosoco) R 7220 7223 6925 0 -1 4202496 17079 0 0 0 208234 0 0 0 20 0 1 0 47488912 33603584 2383 33554432000 4194304 6142532 140728124801040 140728124788312 5017816 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19619840 140728124802182 140728124802312 140728124802312 140728124805070 0
/proc/7223/statm: 8204 2383 895 476 0 1526 0
Current children cumulated CPU time: 2082.34 s
Current children cumulated vsize: 32816 KiB
Current children cumulated memory: 9532 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7375
/proc/meminfo: memFree=25113996/32770624 swapFree=67108852/67108860
[pid=7223] ppid=7220 vsize=32816 memory=9532 CPUtime=2142.34 cores=1,3,5,7
/proc/7223/stat : 7223 (cosoco) R 7220 7223 6925 0 -1 4202496 17412 0 0 0 214234 0 0 0 20 0 1 0 47488912 33603584 2383 33554432000 4194304 6142532 140728124801040 140728124788312 5318960 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19619840 140728124802182 140728124802312 140728124802312 140728124805070 0
/proc/7223/statm: 8204 2383 895 476 0 1526 0
Current children cumulated CPU time: 2142.34 s
Current children cumulated vsize: 32816 KiB
Current children cumulated memory: 9532 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7376
/proc/meminfo: memFree=25114212/32770624 swapFree=67108852/67108860
[pid=7223] ppid=7220 vsize=32816 memory=9532 CPUtime=2202.34 cores=1,3,5,7
/proc/7223/stat : 7223 (cosoco) R 7220 7223 6925 0 -1 4202496 17748 0 0 0 220234 0 0 0 20 0 1 0 47488912 33603584 2383 33554432000 4194304 6142532 140728124801040 140728124788312 5347469 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19619840 140728124802182 140728124802312 140728124802312 140728124805070 0
/proc/7223/statm: 8204 2383 895 476 0 1526 0
Current children cumulated CPU time: 2202.34 s
Current children cumulated vsize: 32816 KiB
Current children cumulated memory: 9532 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7377
/proc/meminfo: memFree=25114172/32770624 swapFree=67108852/67108860
[pid=7223] ppid=7220 vsize=32816 memory=9532 CPUtime=2262.34 cores=1,3,5,7
/proc/7223/stat : 7223 (cosoco) R 7220 7223 6925 0 -1 4202496 18097 0 0 0 226234 0 0 0 20 0 1 0 47488912 33603584 2383 33554432000 4194304 6142532 140728124801040 140728124788312 5017979 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19619840 140728124802182 140728124802312 140728124802312 140728124805070 0
/proc/7223/statm: 8204 2383 895 476 0 1526 0
Current children cumulated CPU time: 2262.34 s
Current children cumulated vsize: 32816 KiB
Current children cumulated memory: 9532 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 7378
/proc/meminfo: memFree=25114032/32770624 swapFree=67108852/67108860
[pid=7223] ppid=7220 vsize=32816 memory=9532 CPUtime=2322.34 cores=1,3,5,7
/proc/7223/stat : 7223 (cosoco) R 7220 7223 6925 0 -1 4202496 18501 0 0 0 232234 0 0 0 20 0 1 0 47488912 33603584 2383 33554432000 4194304 6142532 140728124801040 140728124798568 5175278 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19619840 140728124802182 140728124802312 140728124802312 140728124805070 0
/proc/7223/statm: 8204 2383 895 476 0 1526 0
Current children cumulated CPU time: 2322.34 s
Current children cumulated vsize: 32816 KiB
Current children cumulated memory: 9532 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7387
/proc/meminfo: memFree=25113620/32770624 swapFree=67108852/67108860
[pid=7223] ppid=7220 vsize=32816 memory=9532 CPUtime=2382.34 cores=1,3,5,7
/proc/7223/stat : 7223 (cosoco) R 7220 7223 6925 0 -1 4202496 18833 0 0 0 238234 0 0 0 20 0 1 0 47488912 33603584 2383 33554432000 4194304 6142532 140728124801040 140728124798568 5175264 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19619840 140728124802182 140728124802312 140728124802312 140728124805070 0
/proc/7223/statm: 8204 2383 895 476 0 1526 0
Current children cumulated CPU time: 2382.34 s
Current children cumulated vsize: 32816 KiB
Current children cumulated memory: 9532 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7388
/proc/meminfo: memFree=25113864/32770624 swapFree=67108852/67108860
[pid=7223] ppid=7220 vsize=32816 memory=9532 CPUtime=2442.35 cores=1,3,5,7
/proc/7223/stat : 7223 (cosoco) R 7220 7223 6925 0 -1 4202496 19188 0 0 0 244235 0 0 0 20 0 1 0 47488912 33603584 2383 33554432000 4194304 6142532 140728124801040 140728124798568 5130538 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19619840 140728124802182 140728124802312 140728124802312 140728124805070 0
/proc/7223/statm: 8204 2383 895 476 0 1526 0
Current children cumulated CPU time: 2442.35 s
Current children cumulated vsize: 32816 KiB
Current children cumulated memory: 9532 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7389
/proc/meminfo: memFree=25113492/32770624 swapFree=67108852/67108860
[pid=7223] ppid=7220 vsize=32816 memory=9532 CPUtime=2502.35 cores=1,3,5,7
/proc/7223/stat : 7223 (cosoco) R 7220 7223 6925 0 -1 4202496 19549 0 0 0 250235 0 0 0 20 0 1 0 47488912 33603584 2383 33554432000 4194304 6142532 140728124801040 140728124798568 5347477 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19619840 140728124802182 140728124802312 140728124802312 140728124805070 0
/proc/7223/statm: 8204 2383 895 476 0 1526 0
Current children cumulated CPU time: 2502.35 s
Current children cumulated vsize: 32816 KiB
Current children cumulated memory: 9532 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 7389
/proc/meminfo: memFree=25113808/32770624 swapFree=67108852/67108860
[pid=7223] ppid=7220 vsize=32816 memory=9532 CPUtime=2520.06 cores=1,3,5,7
/proc/7223/stat : 7223 (cosoco) R 7220 7223 6925 0 -1 4202496 19890 0 0 0 252006 0 0 0 20 0 1 0 47488912 33603584 2383 33554432000 4194304 6142532 140728124801040 140728124798568 5327250 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 19619840 140728124802182 140728124802312 140728124802312 140728124805070 0
/proc/7223/statm: 8204 2383 895 476 0 1526 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 32816 KiB
Current children cumulated memory: 9532 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 7223 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2520.06 s, system=0.006 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.01
CPU time (s): 2520.07
CPU user time (s): 2520.06
CPU system time (s): 0.006
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 32816
Max. memory (cumulated for all children) (KiB): 9532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.06
system time used= 0.006
maximum resident set size= 9596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19941
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= 8
involuntary context switches= 632
# summary of solver processes directly reported to runsolver:
# pid: 7223
# total CPU time (s): 2520.07
# total CPU user time (s): 2520.06
# total CPU system time (s): 0.006
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.2 second user time and 16.9807 second system time
The end
Begin job on node148 at 2018-07-23 00:40:58 IDJOB=4292927 IDBENCH=141039 IDSOLVER=2752 FILE ID=node148/4292927-1532299258 RUNJOBID= node148-1532296736-6957 PBS_JOBID= 21018990 Free space on /tmp= 51992 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/StillLife/StillLife-wastage-14_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4292927-1532299258/watcher-4292927-1532299258 -o /tmp/evaluation-result-4292927-1532299258/solver-4292927-1532299258 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532296736-6957 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4292927-1532299258.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 24e7c51735ec9671261d78753301e43f RANDOM SEED=1921823459 node148.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: 25123724 kB MemAvailable: 31941324 kB Buffers: 168752 kB Cached: 6831104 kB SwapCached: 8 kB Active: 1198152 kB Inactive: 5854080 kB Active(anon): 5856 kB Inactive(anon): 66100 kB Active(file): 1192296 kB Inactive(file): 5787980 kB Unevictable: 7080 kB Mlocked: 7080 kB SwapTotal: 67108860 kB SwapFree: 67108852 kB Dirty: 5444 kB Writeback: 0 kB AnonPages: 59364 kB Mapped: 38296 kB Shmem: 17024 kB Slab: 293584 kB SReclaimable: 265784 kB SUnreclaim: 27800 kB KernelStack: 3312 kB PageTables: 4788 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 345352 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4096 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 51988 MiB End job on node148 at 2018-07-23 01:22:58