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) | 19 | 252.056 | 252.062 |
| Name | CrosswordDesign/ CrosswordDesign-15-4-rom_c18.xml |
| MD5SUM | 11fd43c8e45d476b85885954fcb4d1ec |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 19 |
| Best CPU time to get the best result obtained on this benchmark | 252.056 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 585 |
| Number of constraints | 120 |
| Number of domains | 5 |
| Minimum domain size | 2 |
| Maximum domain size | 133790 |
| Distribution of domain sizes | [{"size":2,"count":30},{"size":16,"count":210},{"size":27,"count":225},{"size":133790,"count":120}] |
| Minimum variable degree | 1 |
| Maximum variable degree | 8 |
| Distribution of variable degrees | [{"degree":1,"count":150},{"degree":2,"count":210},{"degree":8,"count":225}] |
| Minimum constraint arity | 18 |
| Maximum constraint arity | 19 |
| Distribution of constraint arities | [{"arity":18,"count":30},{"arity":19,"count":90}] |
| Number of extensional constraints | 120 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":120}] |
| Optimization problem | YES |
| Type of objective | max SUM |
57.89/58.00 c best=?? lower=0 upper=1800 106.49/106.57 c 106.49/106.57 c This is cosoco 1.12 -- 106.49/106.57 c 106.49/106.57 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4301734-1532885973.xml 106.49/106.57 c enable optimization 106.49/106.57 c ========================================[ Problem Statistics ]=========================================== 106.49/106.57 c | 106.49/106.57 c | Parse time : 57.61 s 106.49/106.57 c | 106.49/106.57 c | Variables: 585 106.49/106.57 c | Domain Sizes: 2..133790 106.49/106.57 c | 106.49/106.57 c | Constraints: 121 106.49/106.57 c | Arity: 18..120 106.49/106.57 c | 106.49/106.57 c | Types: 106.49/106.57 c | Extension: 120 (nb tuples: 227902..699590) -- (shared: 112) 106.49/106.57 c | Sum: 1 106.49/106.57 c | 106.49/106.57 c | Objective: Maximize Sum 106.49/106.57 106.49/106.57 c ========================================================================================================= 106.49/106.57 o 8 106.49/106.57 c 1 calls to solver: best=8 lower=9 upper=1800 136.78/136.85 o 11 169.18/169.28 o 14 169.18/169.28 c 3 calls to solver: best=14 lower=15 upper=1800 201.00/201.05 o 18 234.10/234.16 o 19 234.10/234.16 c 5 calls to solver: best=19 lower=20 upper=1800 251.99/252.01 251.99/252.01 c *** INTERRUPTED *** 251.99/252.01 c restarts : 1 251.99/252.01 c conflicts : 141 (1 /sec) 251.99/252.01 c decisions : 3522 (14 /sec) 251.99/252.01 c propagations : 97273513 (387050 /sec) 251.99/252.01 c root propagations : 2157450 251.99/252.01 c filter calls : 57067 (227 /sec) 251.99/252.01 c useless filter calls : 39761 (69 %) 251.99/252.01 c Memory used : 1010.51 MB 251.99/252.01 c CPU time : 251.32 s 251.99/252.01 251.99/252.01 c nb Solutions = 5 251.99/252.01 s SATISFIABLE 251.99/252.01 c Best value found: 19 251.99/252.01 251.99/252.01 251.99/252.01 v <instantiation type='solution' cost='19'> 251.99/252.01 v <list>bc[0][0] bc[0][1] bc[0][2] bc[0][3] bc[10][0] bc[10][1] bc[10][2] bc[10][3] bc[11][0] bc[11][1] bc[11][2] bc[11][3] bc[12][0] bc[12][1] bc[12][2] bc[12][3] bc[13][0] bc[13][1] bc[13][2] bc[13][3] bc[14][0] bc[14][1] bc[14][2] bc[14][3] bc[1][0] bc[1][1] bc[1][2] bc[1][3] bc[2][0] bc[2][1] bc[2][2] bc[2][3] bc[3][0] bc[3][1] bc[3][2] bc[3][3] bc[4][0] bc[4][1] bc[4][2] bc[4][3] bc[5][0] bc[5][1] bc[5][2] bc[5][3] bc[6][0] bc[6][1] bc[6][2] bc[6][3] bc[7][0] bc[7][1] bc[7][2] bc[7][3] bc[8][0] bc[8][1] bc[8][2] bc[8][3] bc[9][0] bc[9][1] bc[9][2] bc[9][3] br[0][0] br[0][1] br[0][2] br[0][3] br[10][0] br[10][1] br[10][2] br[10][3] br[11][0] br[11][1] br[11][2] br[11][3] br[12][0] br[12][1] br[12][2] br[12][3] br[13][0] br[13][1] br[13][2] br[13][3] br[14][0] br[14][1] br[14][2] br[14][3] br[1][0] br[1][1] br[1][2] br[1][3] br[2][0] br[2][1] br[2][2] br[2][3] br[3][0] br[3][1] br[3][2] br[3][3] br[4][0] br[4][1] br[4][2] br[4][3] br[5][0] br[5][1] br[5][2] br[5][3] br[6][0] br[6][1] br[6][2] br[6][3] br[7][0] br[7][1] br[7][2] br[7][3] br[8][0] br[8][1] br[8][2] br[8][3] br[9][0] br[9][1] br[9][2] br[9][3] c[0][0] c[0][1] c[0][2] c[0][3] c[10][0] c[10][1] c[10][2] c[10][3] c[11][0] c[11][1] c[11][2] c[11][3] c[12][0] c[12][1] c[12][2] c[12][3] c[13][0] c[13][1] c[13][2] c[13][3] c[14][0] c[14][1] c[14][2] c[14][3] c[1][0] c[1][1] c[1][2] c[1][3] c[2][0] c[2][1] c[2][2] c[2][3] c[3][0] c[3][1] c[3][2] c[3][3] c[4][0] c[4][1] c[4][2] c[4][3] c[5][0] c[5][1] c[5][2] c[5][3] c[6][0] c[6][1] c[6][2] c[6][3] c[7][0] c[7][1] c[7][2] c[7][3] c[8][0] c[8][1] c[8][2] c[8][3] c[9][0] c[9][1] c[9][2] c[9][3] pc[0][0] pc[0][1] pc[0][2] pc[0][3] pc[10][0] pc[10][1] pc[10][2] pc[10][3] pc[11][0] pc[11][1] pc[11][2] pc[11][3] pc[12][0] pc[12][1] pc[12][2] pc[12][3] pc[13][0] pc[13][1] pc[13][2] pc[13][3] pc[14][0] pc[14][1] pc[14][2] pc[14][3] pc[1][0] pc[1][1] pc[1][2] pc[1][3] pc[2][0] pc[2][1] pc[2][2] pc[2][3] pc[3][0] pc[3][1] pc[3][2] pc[3][3] pc[4][0] pc[4][1] pc[4][2] pc[4][3] pc[5][0] pc[5][1] pc[5][2] pc[5][3] pc[6][0] pc[6][1] pc[6][2] pc[6][3] pc[7][0] pc[7][1] pc[7][2] pc[7][3] pc[8][0] pc[8][1] pc[8][2] pc[8][3] pc[9][0] pc[9][1] pc[9][2] pc[9][3] pr[0][0] pr[0][1] pr[0][2] pr[0][3] pr[10][0] pr[10][1] pr[10][2] pr[10][3] pr[11][0] pr[11][1] pr[11][2] pr[11][3] pr[12][0] pr[12][1] pr[12][2] pr[12][3] pr[13][0] pr[13][1] pr[13][2] pr[13][3] pr[14][0] pr[14][1] pr[14][2] pr[14][3] pr[1][0] pr[1][1] pr[1][2] pr[1][3] pr[2][0] pr[2][1] pr[2][2] pr[2][3] pr[3][0] pr[3][1] pr[3][2] pr[3][3] pr[4][0] pr[4][1] pr[4][2] pr[4][3] pr[5][0] pr[5][1] pr[5][2] pr[5][3] pr[6][0] pr[6][1] pr[6][2] pr[6][3] pr[7][0] pr[7][1] pr[7][2] pr[7][3] pr[8][0] pr[8][1] pr[8][2] pr[8][3] pr[9][0] pr[9][1] pr[9][2] pr[9][3] r[0][0] r[0][1] r[0][2] r[0][3] r[10][0] r[10][1] r[10][2] r[10][3] r[11][0] r[11][1] r[11][2] r[11][3] r[12][0] r[12][1] r[12][2] r[12][3] r[13][0] r[13][1] r[13][2] r[13][3] r[14][0] r[14][1] r[14][2] r[14][3] r[1][0] r[1][1] r[1][2] r[1][3] r[2][0] r[2][1] r[2][2] r[2][3] r[3][0] r[3][1] r[3][2] r[3][3] r[4][0] r[4][1] r[4][2] r[4][3] r[5][0] r[5][1] r[5][2] r[5][3] r[6][0] r[6][1] r[6][2] r[6][3] r[7][0] r[7][1] r[7][2] r[7][3] r[8][0] r[8][1] r[8][2] r[8][3] r[9][0] r[9][1] r[9][2] r[9][3] x[0][0] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] 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][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][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][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][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][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[1][0] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] 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][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][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][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][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][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][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][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][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.99/252.01 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 4 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 3 0 0 0 0 85775 7 81470 -1 15290 0 1 86685 82024 0 76895 1 87312 1 -1 -1 59189 48540 -1 -1 37888 1 -1 -1 37774 0 0 0 100241 0 0 0 54191 0 0 0 119989 0 0 47973 82025 0 0 100241 76894 0 47104 1 37774 1736 0 3221 82024 0 0 100871 106889 0 68180 0 0 2 6 -1 0 2 4 7 0 2 4 7 0 12 -1 -1 0 12 -1 -1 0 12 -1 -1 0 3 5 7 0 2 4 6 0 3 5 7 0 2 4 6 0 3 5 7 0 2 4 6 0 3 8 10 0 2 4 6 0 2 4 6 0 -1 -1 -1 0 2 7 -1 0 2 7 10 0 -1 -1 -1 0 -1 -1 -1 0 2 4 6 1 3 5 7 0 2 4 6 0 3 5 7 0 2 4 6 1 3 5 7 0 2 4 6 0 2 8 10 0 2 4 6 0 2 4 6 90106 -1 -1 -1 100241 128483 86685 -1 82024 128483 1 1 99278 -1 -1 -1 99278 -1 -1 -1 82024 0 0 1 0 0 0 0 0 0 0 0 9958 0 0 0 0 0 0 47973 0 0 0 100241 76894 0 0 1 82024 1230 0 3221 76894 0 0 100871 119989 0 0 0 15 2 14 15 8 4 4 17 8 19 14 13 4 14 18 17 0 17 0 1 0 26 21 0 0 11 26 15 0 13 14 0 0 26 26 26 26 21 0 0 11 26 0 0 26 15 11 14 0 6 0 18 8 7 14 18 14 2 8 14 15 11 14 0 6 0 18 8 7 14 18 14 2 8 14 14 0 0 26 26 26 26 0 26 0 26 0 0 26 0 26 26 26 0 13 2 0 26 0 26 0 26 0 26 26 0 0 0 17 5 7 26 0 26 0 26 0 26 0 0 1 26 26 0 17 8 0 26 0 26 0 26 0 26 26 0 0 13 3 0 13 26 0 26 0 26 6 4 0 12 26 0 0 8 12 14 0 26 0 26 0 26 17 26 26 13 26 26 25 8 23 26 0 26 0 26 0 0 26 0 14 0 11 8 2 8 26 0 3 0 12 18 26 0 26 13 0 0 0 17 0 26 0 26 0 26 17 0 4 26 19 0 0 2 14 11 26 0 26 0 26 0 26 0 0 </values> 251.99/252.01 v </instantiation> 251.99/252.01
OK 19
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 (13272 MiB free)
memory of node 1: 16384 MiB (13765 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301734-1532885973/watcher-4301734-1532885973 -o /tmp/evaluation-result-4301734-1532885973/solver-4301734-1532885973 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532878455-19304 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4301734-1532885973.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=24061, runsolver pid=24058
[startup+0.100215 s]*
/proc/loadavg: 2.00 2.00 2.03 3/193 24062
/proc/meminfo: memFree=27559952/32770624 swapFree=67108744/67108860
[pid=24061] ppid=24058 vsize=153452 memory=129600 CPUtime=0.1 cores=0,2,4,6
/proc/24061/stat : 24061 (cosoco) R 24058 24061 19273 0 -1 4202496 32610 0 0 0 6 4 0 0 20 0 1 0 106160732 157134848 32400 33554432000 4194304 6142532 140736579637408 140736579634040 5404814 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 9293824 140736579642507 140736579642637 140736579642637 140736579645390 0
/proc/24061/statm: 38363 32400 780 476 0 31685 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 153452 KiB
Current children cumulated memory: 129600 KiB
[startup+0.210123 s]*
/proc/loadavg: 2.00 2.00 2.03 3/193 24062
/proc/meminfo: memFree=27559208/32770624 swapFree=67108744/67108860
[pid=24061] ppid=24058 vsize=154308 memory=130392 CPUtime=0.21 cores=0,2,4,6
/proc/24061/stat : 24061 (cosoco) R 24058 24061 19273 0 -1 4202496 32800 0 0 0 17 4 0 0 20 0 1 0 106160732 158011392 32598 33554432000 4194304 6142532 140736579637408 140736579634040 140654001363941 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 9293824 140736579642507 140736579642637 140736579642637 140736579645390 0
/proc/24061/statm: 38577 32598 783 476 0 31899 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 154308 KiB
Current children cumulated memory: 130392 KiB
[startup+0.309284 s]*
/proc/loadavg: 2.00 2.00 2.03 3/193 24062
/proc/meminfo: memFree=27557664/32770624 swapFree=67108744/67108860
[pid=24061] ppid=24058 vsize=155028 memory=131112 CPUtime=0.31 cores=0,2,4,6
/proc/24061/stat : 24061 (cosoco) R 24058 24061 19273 0 -1 4202496 33020 0 0 0 27 4 0 0 20 0 1 0 106160732 158748672 32778 33554432000 4194304 6142532 140736579637408 140736579634040 5801497 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 9293824 140736579642507 140736579642637 140736579642637 140736579645390 0
/proc/24061/statm: 38757 32778 783 476 0 32079 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 155028 KiB
Current children cumulated memory: 131112 KiB
[startup+0.700336 s]
/proc/loadavg: 2.00 2.00 2.03 3/193 24062
/proc/meminfo: memFree=27556012/32770624 swapFree=67108744/67108860
[pid=24061] ppid=24058 vsize=158292 memory=133728 CPUtime=0.69 cores=0,2,4,6
/proc/24061/stat : 24061 (cosoco) R 24058 24061 19273 0 -1 4202496 33964 0 0 0 65 4 0 0 20 0 1 0 106160732 162091008 33432 33554432000 4194304 6142532 140736579637408 140736579634040 140654001802240 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 9293824 140736579642507 140736579642637 140736579642637 140736579645390 0
/proc/24061/statm: 39573 33432 783 476 0 32895 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 158292 KiB
Current children cumulated memory: 133728 KiB
[startup+1.50035 s]
/proc/loadavg: 2.00 2.00 2.03 3/193 24062
/proc/meminfo: memFree=27552664/32770624 swapFree=67108744/67108860
[pid=24061] ppid=24058 vsize=164184 memory=139152 CPUtime=1.49 cores=0,2,4,6
/proc/24061/stat : 24061 (cosoco) R 24058 24061 19273 0 -1 4202496 35717 0 0 0 145 4 0 0 20 0 1 0 106160732 168124416 34788 33554432000 4194304 6142532 140736579637408 140736579634056 5489263 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 9293824 140736579642507 140736579642637 140736579642637 140736579645390 0
/proc/24061/statm: 41046 34788 783 476 0 34368 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 164184 KiB
Current children cumulated memory: 139152 KiB
[startup+3.10993 s]
/proc/loadavg: 2.00 2.00 2.03 3/193 24062
/proc/meminfo: memFree=27208288/32770624 swapFree=67108744/67108860
[pid=24061] ppid=24058 vsize=175968 memory=151188 CPUtime=3.1 cores=0,2,4,6
/proc/24061/stat : 24061 (cosoco) R 24058 24061 19273 0 -1 4202496 39175 0 0 0 305 5 0 0 20 0 1 0 106160732 180191232 37797 33554432000 4194304 6142532 140736579637408 140736579634056 5800101 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 9293824 140736579642507 140736579642637 140736579642637 140736579645390 0
/proc/24061/statm: 43992 37797 783 476 0 37314 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 175968 KiB
Current children cumulated memory: 151188 KiB
[startup+6.30033 s]
/proc/loadavg: 2.00 2.00 2.03 3/193 24062
/proc/meminfo: memFree=27145668/32770624 swapFree=67108744/67108860
[pid=24061] ppid=24058 vsize=236664 memory=212920 CPUtime=6.29 cores=0,2,4,6
/proc/24061/stat : 24061 (cosoco) R 24058 24061 19273 0 -1 4202496 60170 0 0 0 620 9 0 0 20 0 1 0 106160732 242343936 53230 33554432000 4194304 6142532 140736579637408 140736579634056 5798068 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 9293824 140736579642507 140736579642637 140736579642637 140736579645390 0
/proc/24061/statm: 59166 53230 793 476 0 52488 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 236664 KiB
Current children cumulated memory: 212920 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.03 3/193 24062
/proc/meminfo: memFree=27146344/32770624 swapFree=67108744/67108860
[pid=24061] ppid=24058 vsize=237324 memory=213532 CPUtime=12.69 cores=0,2,4,6
/proc/24061/stat : 24061 (cosoco) R 24058 24061 19273 0 -1 4202496 69369 0 0 0 1259 10 0 0 20 0 1 0 106160732 243019776 53383 33554432000 4194304 6142532 140736579637408 140736579634056 140654001363941 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 9293824 140736579642507 140736579642637 140736579642637 140736579645390 0
/proc/24061/statm: 59331 53383 793 476 0 52653 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 237324 KiB
Current children cumulated memory: 213532 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.03 3/193 24062
/proc/meminfo: memFree=26977652/32770624 swapFree=67108744/67108860
[pid=24061] ppid=24058 vsize=420860 memory=392180 CPUtime=25.49 cores=0,2,4,6
/proc/24061/stat : 24061 (cosoco) R 24058 24061 19273 0 -1 4202496 151310 0 0 0 2530 19 0 0 20 0 1 0 106160732 430960640 98045 33554432000 4194304 6142532 140736579637408 140736579634056 140654001802240 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 8243016 8247936 9293824 140736579642507 140736579642637 140736579642637 140736579645390 0
/proc/24061/statm: 105215 98045 793 476 0 98537 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 420860 KiB
Current children cumulated memory: 392180 KiB
[startup+51.1096 s]
/proc/loadavg: 1.94 1.98 2.03 3/193 24070
/proc/meminfo: memFree=26781784/32770624 swapFree=67108744/67108860
[pid=24061] ppid=24058 vsize=615320 memory=576484 CPUtime=51.1 cores=0,2,4,6
/proc/24061/stat : 24061 (cosoco) R 24058 24061 19273 0 -1 4202496 198302 0 0 0 5085 25 0 0 20 0 1 0 106160732 630087680 144121 33554432000 4194304 6142532 140736579637408 140736579634056 5403311 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 8243016 8247936 9293824 140736579642507 140736579642637 140736579642637 140736579645390 0
/proc/24061/statm: 153830 144121 793 476 0 147152 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 615320 KiB
Current children cumulated memory: 576484 KiB
[startup+102.3 s]
/proc/loadavg: 1.97 1.99 2.03 3/194 24072
/proc/meminfo: memFree=26353148/32770624 swapFree=67108744/67108860
[pid=24061] ppid=24058 vsize=1034756 memory=1003828 CPUtime=102.29 cores=0,2,4,6
/proc/24061/stat : 24061 (cosoco) R 24058 24061 19273 0 -1 4202496 486869 0 0 0 10183 46 0 0 20 0 1 0 106160732 1059590144 250957 33554432000 4194304 6142532 140736579637408 140736579624696 5017969 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 9293824 140736579642507 140736579642637 140736579642637 140736579645390 0
/proc/24061/statm: 258689 250957 845 476 0 252011 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 1034756 KiB
Current children cumulated memory: 1003828 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/194 24073
/proc/meminfo: memFree=26353648/32770624 swapFree=67108744/67108860
[pid=24061] ppid=24058 vsize=1034756 memory=1003836 CPUtime=162.29 cores=0,2,4,6
/proc/24061/stat : 24061 (cosoco) R 24058 24061 19273 0 -1 4202496 606103 0 0 0 16176 53 0 0 20 0 1 0 106160732 1059590144 250959 33554432000 4194304 6142532 140736579637408 140736579634936 5017767 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 9293824 140736579642507 140736579642637 140736579642637 140736579645390 0
/proc/24061/statm: 258689 250959 847 476 0 252011 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 1034756 KiB
Current children cumulated memory: 1003836 KiB
[startup+222.3 s]
/proc/loadavg: 2.31 2.05 2.05 3/194 24138
/proc/meminfo: memFree=27243360/32770624 swapFree=67108744/67108860
[pid=24061] ppid=24058 vsize=1034756 memory=1003836 CPUtime=222.29 cores=0,2,4,6
/proc/24061/stat : 24061 (cosoco) R 24058 24061 19273 0 -1 4202496 806335 0 0 0 22166 63 0 0 20 0 1 0 106160732 1059590144 250959 33554432000 4194304 6142532 140736579637408 140736579634936 5017767 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 9293824 140736579642507 140736579642637 140736579642637 140736579645390 0
/proc/24061/statm: 258689 250959 847 476 0 252011 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 1034756 KiB
Current children cumulated memory: 1003836 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252 s]*
/proc/loadavg: 2.53 2.13 2.07 3/194 24138
/proc/meminfo: memFree=27243004/32770624 swapFree=67108744/67108860
[pid=24061] ppid=24058 vsize=1034756 memory=1003908 CPUtime=251.99 cores=0,2,4,6
/proc/24061/stat : 24061 (cosoco) R 24058 24061 19273 0 -1 4202496 901441 0 0 0 25131 68 0 0 20 0 1 0 106160732 1059590144 250977 33554432000 4194304 6142532 140736579637408 140736579624680 5017759 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8243016 8247936 9293824 140736579642507 140736579642637 140736579642637 140736579645390 0
/proc/24061/statm: 258689 250977 847 476 0 252011 0
Current children cumulated CPU time: 251.99 s
Current children cumulated vsize: 1034756 KiB
Current children cumulated memory: 1003908 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.062 s]
# the end of solver process 24061 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.321 s, system=0.734986 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 252.062
CPU time (s): 252.056
CPU user time (s): 251.321
CPU system time (s): 0.734986
CPU usage (%): 99.9976
Max. virtual memory (cumulated for all children) (KiB): 1034756
Max. memory (cumulated for all children) (KiB): 1003908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.321
system time used= 0.734986
maximum resident set size= 1003972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 901481
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= 7
involuntary context switches= 172
# summary of solver processes directly reported to runsolver:
# pid: 24061
# total CPU time (s): 252.056
# total CPU user time (s): 251.321
# total CPU system time (s): 0.734986
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.972872 second user time and 1.96185 second system time
The end
Begin job on node134 at 2018-07-29 19:39:35 IDJOB=4301734 IDBENCH=141314 IDSOLVER=2774 FILE ID=node134/4301734-1532885973 RUNJOBID= node134-1532878455-19304 PBS_JOBID= 21022511 Free space on /tmp= 60684 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/CrosswordDesign/CrosswordDesign-15-4-rom_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4301734-1532885973/watcher-4301734-1532885973 -o /tmp/evaluation-result-4301734-1532885973/solver-4301734-1532885973 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532878455-19304 --watchdog 312 HOME/cosoco -lc -model -restarts HOME/instance-4301734-1532885973.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 11fd43c8e45d476b85885954fcb4d1ec RANDOM SEED=1096639421 node134.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.68 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.68 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.68 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.68 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: 27687288 kB MemAvailable: 31525420 kB Buffers: 204120 kB Cached: 3904400 kB SwapCached: 0 kB Active: 2342536 kB Inactive: 2261744 kB Active(anon): 445552 kB Inactive(anon): 78480 kB Active(file): 1896984 kB Inactive(file): 2183264 kB Unevictable: 7364 kB Mlocked: 7364 kB SwapTotal: 67108860 kB SwapFree: 67108744 kB Dirty: 160180 kB Writeback: 0 kB AnonPages: 509896 kB Mapped: 46436 kB Shmem: 25132 kB Slab: 176176 kB SReclaimable: 147440 kB SUnreclaim: 28736 kB KernelStack: 3392 kB PageTables: 6120 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 796720 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 73728 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 60800 MiB End job on node134 at 2018-07-29 19:43:47