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) | 43 | 2520.1 | 2519.8 |
| 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 | 43 |
| Best CPU time to get the best result obtained on this benchmark | 2520.1 |
| 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.90/57.99 c best=?? lower=0 upper=1800 106.21/106.20 c 106.21/106.20 c This is cosoco 1.12 -- 106.21/106.20 c 106.21/106.20 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4294015-1532387216.xml 106.21/106.20 c enable optimization 106.21/106.20 c ========================================[ Problem Statistics ]=========================================== 106.21/106.20 c | 106.21/106.20 c | Parse time : 57.61 s 106.21/106.20 c | 106.21/106.20 c | Variables: 585 106.21/106.20 c | Domain Sizes: 2..133790 106.21/106.20 c | 106.21/106.20 c | Constraints: 121 106.21/106.20 c | Arity: 18..120 106.21/106.20 c | 106.21/106.20 c | Types: 106.21/106.20 c | Extension: 120 (nb tuples: 227902..699590) -- (shared: 112) 106.21/106.20 c | Sum: 1 106.21/106.20 c | 106.21/106.20 c | Objective: Maximize Sum 106.21/106.20 106.21/106.20 c ========================================================================================================= 106.21/106.20 o 8 106.21/106.20 c 1 calls to solver: best=8 lower=9 upper=1800 136.21/136.24 o 11 168.31/168.38 o 14 168.31/168.38 c 3 calls to solver: best=14 lower=15 upper=1800 199.71/199.75 o 18 232.21/232.29 o 19 232.21/232.29 c 5 calls to solver: best=19 lower=20 upper=1800 263.91/263.98 o 20 321.72/321.71 o 22 321.72/321.71 c 7 calls to solver: best=22 lower=23 upper=1800 383.62/383.68 o 23 409.92/409.98 o 24 409.92/409.98 c 9 calls to solver: best=24 lower=25 upper=1800 437.62/437.62 o 25 493.72/493.79 o 26 493.72/493.79 c 11 calls to solver: best=26 lower=27 upper=1800 545.93/545.96 o 28 679.55/679.58 o 29 679.55/679.58 c 13 calls to solver: best=29 lower=30 upper=1800 788.07/788.07 o 30 973.39/973.32 o 31 973.39/973.32 c 15 calls to solver: best=31 lower=32 upper=1800 1153.51/1153.40 o 32 1185.22/1185.14 o 34 1185.22/1185.14 c 17 calls to solver: best=34 lower=35 upper=1800 1297.14/1297.10 o 35 1330.14/1330.08 o 36 1330.14/1330.08 c 19 calls to solver: best=36 lower=37 upper=1800 1364.44/1364.35 o 37 1400.34/1400.27 o 38 1400.34/1400.27 c 21 calls to solver: best=38 lower=39 upper=1800 1434.95/1434.85 o 39 1566.66/1566.56 o 40 1566.66/1566.56 c 23 calls to solver: best=40 lower=41 upper=1800 1714.58/1714.40 o 41 1747.08/1746.90 o 42 1747.08/1746.90 c 25 calls to solver: best=42 lower=43 upper=1800 1953.91/1953.76 o 43 2520.09/2519.80 2520.09/2519.80 c *** INTERRUPTED *** 2520.09/2519.80 c restarts : 22 2520.09/2519.80 c conflicts : 7187 (3 /sec) 2520.09/2519.80 c decisions : 43223 (17 /sec) 2520.09/2519.80 c propagations : 1644589997 (652876 /sec) 2520.09/2519.80 c root propagations : 2157450 2520.09/2519.80 c filter calls : 990490 (393 /sec) 2520.09/2519.80 c useless filter calls : 559518 (56 %) 2520.09/2519.80 c Memory used : 1010.51 MB 2520.09/2519.80 c CPU time : 2518.99 s 2520.09/2519.80 2520.09/2519.80 c nb Solutions = 26 2520.09/2519.80 s SATISFIABLE 2520.09/2519.80 c Best value found: 43 2520.09/2519.80 2520.09/2519.80 2520.09/2519.80 v <instantiation type='solution' cost='43'> 2520.09/2519.80 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> 2520.09/2519.80 v <values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 6 0 0 0 0 0 0 0 0 0 0 0 6 0 3 0 0 0 6 0 0 0 0 0 9 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 9 0 0 0 6368 53515 50774 -1 0 126916 0 2284 15672 64688 -1 -1 9961 128713 -1 -1 6923 29847 63124 -1 414 429 119990 -1 115839 663 6916 -1 8533 105866 51601 -1 102351 9958 -1 -1 18891 3841 106889 -1 119989 7962 85775 563 0 6 68181 38468 82806 0 2276 15291 130681 43909 131753 15290 85797 81312 -1 -1 0 3 10 -1 0 2 4 6 0 12 -1 -1 1 8 -1 -1 1 9 11 -1 0 7 13 -1 1 8 12 -1 0 3 9 -1 1 13 -1 -1 0 8 14 -1 1 3 9 11 0 2 5 8 1 7 9 13 1 8 12 14 0 9 -1 -1 0 2 4 6 0 6 11 14 0 2 9 12 0 4 6 8 0 5 9 -1 0 2 12 -1 0 7 11 -1 1 3 6 -1 0 11 -1 -1 0 7 -1 -1 0 11 -1 -1 0 8 11 -1 0 2 5 7 0 3 6 8 1 11 -1 -1 0 0 15290 0 52807 2284 2643 63609 0 19651 9958 21629 11229 0 0 131807 6918 63611 65617 -1 100241 101581 2551 -1 85347 85539 8 -1 119989 37774 672 -1 51200 8 -1 -1 83221 86687 -1 -1 4480 563 -1 -1 100557 38468 108288 -1 29847 4379 0 0 1 119990 0 42258 19828 76949 -1 -1 0 0 2 26 26 0 26 0 26 2 26 0 26 26 15 7 26 0 11 26 9 8 4 17 1 26 0 6 8 14 0 0 26 2 8 20 26 2 4 17 18 10 8 26 1 1 11 10 4 18 26 0 19 26 0 26 0 26 22 8 0 0 20 3 0 19 17 0 1 26 9 0 1 26 11 17 13 26 0 8 0 26 17 0 18 12 20 18 18 4 14 26 0 1 0 2 18 19 17 4 19 26 14 21 0 26 20 11 0 17 0 19 26 4 0 26 0 2 8 2 7 26 0 1 0 2 0 17 0 1 0 1 20 17 0 14 0 17 0 1 8 6 14 17 0 18 26 15 0 13 0 26 0 2 4 0 13 0 6 17 0 12 0 17 4 17 26 18 0 18 26 0 3 8 4 17 0 26 4 11 3 0 4 26 2 0 26 0 13 26 0 26 0 26 8 0 0 0 21 26 2 0 26 19 0 26 0 26 5 26 26 26 13 0 3 0 2 7 0 12 15 11 0 8 13 </values> 2520.09/2519.80 v </instantiation> 2520.09/2519.80
OK 43
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 (3887 MiB free)
memory of node 1: 16384 MiB (7531 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294015-1532387216/watcher-4294015-1532387216 -o /tmp/evaluation-result-4294015-1532387216/solver-4294015-1532387216 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532371797-14425 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4294015-1532387216.xml
running on 4 cores: 0,2,4,6
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=16315, runsolver pid=16312
Current StackSize limit: 8192 KiB
[startup+0.100217 s]*
/proc/loadavg: 2.11 2.04 2.05 3/188 16316
/proc/meminfo: memFree=11566768/32770624 swapFree=67108860/67108860
[pid=16315] ppid=16312 vsize=153452 memory=129600 CPUtime=0.09 cores=0,2,4,6
/proc/16315/stat : 16315 (cosoco) R 16312 16315 14394 0 -1 4202496 32609 0 0 0 6 3 0 0 20 0 1 0 56285022 157134848 32400 33554432000 4194304 6142532 140731125036736 140731125033368 5489263 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11337728 140731125044358 140731125044488 140731125044488 140731125047246 0
/proc/16315/statm: 38363 32400 780 476 0 31685 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 153452 KiB
Current children cumulated memory: 129600 KiB
[startup+0.209734 s]*
/proc/loadavg: 2.11 2.04 2.05 3/188 16316
/proc/meminfo: memFree=11566024/32770624 swapFree=67108860/67108860
[pid=16315] ppid=16312 vsize=154308 memory=130392 CPUtime=0.2 cores=0,2,4,6
/proc/16315/stat : 16315 (cosoco) R 16312 16315 14394 0 -1 4202496 32797 0 0 0 17 3 0 0 20 0 1 0 56285022 158011392 32598 33554432000 4194304 6142532 140731125036736 140731125033368 5800691 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11337728 140731125044358 140731125044488 140731125044488 140731125047246 0
/proc/16315/statm: 38577 32598 783 476 0 31899 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 154308 KiB
Current children cumulated memory: 130392 KiB
[startup+0.309137 s]*
/proc/loadavg: 2.11 2.04 2.05 3/188 16316
/proc/meminfo: memFree=11564908/32770624 swapFree=67108860/67108860
[pid=16315] ppid=16312 vsize=155028 memory=131112 CPUtime=0.3 cores=0,2,4,6
/proc/16315/stat : 16315 (cosoco) R 16312 16315 14394 0 -1 4202496 33019 0 0 0 27 3 0 0 20 0 1 0 56285022 158748672 32778 33554432000 4194304 6142532 140731125036736 140731125033368 140234122337253 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11337728 140731125044358 140731125044488 140731125044488 140731125047246 0
/proc/16315/statm: 38757 32778 783 476 0 32079 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 155028 KiB
Current children cumulated memory: 131112 KiB
[startup+0.700435 s]
/proc/loadavg: 2.11 2.04 2.05 3/188 16316
/proc/meminfo: memFree=11563668/32770624 swapFree=67108860/67108860
[pid=16315] ppid=16312 vsize=158292 memory=133728 CPUtime=0.69 cores=0,2,4,6
/proc/16315/stat : 16315 (cosoco) R 16312 16315 14394 0 -1 4202496 33964 0 0 0 65 4 0 0 20 0 1 0 56285022 162091008 33432 33554432000 4194304 6142532 140731125036736 140731125033368 140234122337253 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11337728 140731125044358 140731125044488 140731125044488 140731125047246 0
/proc/16315/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.11 2.04 2.05 3/188 16316
/proc/meminfo: memFree=11560072/32770624 swapFree=67108860/67108860
[pid=16315] ppid=16312 vsize=164184 memory=139152 CPUtime=1.49 cores=0,2,4,6
/proc/16315/stat : 16315 (cosoco) R 16312 16315 14394 0 -1 4202496 35719 0 0 0 145 4 0 0 20 0 1 0 56285022 168124416 34788 33554432000 4194304 6142532 140731125036736 140731125033384 140234122337253 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11337728 140731125044358 140731125044488 140731125044488 140731125047246 0
/proc/16315/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.10958 s]
/proc/loadavg: 2.10 2.04 2.05 3/188 16316
/proc/meminfo: memFree=11504764/32770624 swapFree=67108860/67108860
[pid=16315] ppid=16312 vsize=175968 memory=151028 CPUtime=3.1 cores=0,2,4,6
/proc/16315/stat : 16315 (cosoco) R 16312 16315 14394 0 -1 4202496 39137 0 0 0 305 5 0 0 20 0 1 0 56285022 180191232 37757 33554432000 4194304 6142532 140731125036736 140731125033384 140234122775552 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11337728 140731125044358 140731125044488 140731125044488 140731125047246 0
/proc/16315/statm: 43992 37757 783 476 0 37314 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 175968 KiB
Current children cumulated memory: 151028 KiB
[startup+6.30033 s]
/proc/loadavg: 2.10 2.04 2.05 3/188 16316
/proc/meminfo: memFree=11481932/32770624 swapFree=67108860/67108860
[pid=16315] ppid=16312 vsize=236664 memory=212972 CPUtime=6.29 cores=0,2,4,6
/proc/16315/stat : 16315 (cosoco) R 16312 16315 14394 0 -1 4202496 60096 0 0 0 621 8 0 0 20 0 1 0 56285022 242343936 53243 33554432000 4194304 6142532 140731125036736 140731125033384 5801078 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11337728 140731125044358 140731125044488 140731125044488 140731125047246 0
/proc/16315/statm: 59166 53243 793 476 0 52488 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 236664 KiB
Current children cumulated memory: 212972 KiB
[startup+12.7003 s]
/proc/loadavg: 2.09 2.04 2.05 3/188 16316
/proc/meminfo: memFree=11481836/32770624 swapFree=67108860/67108860
[pid=16315] ppid=16312 vsize=237192 memory=213476 CPUtime=12.69 cores=0,2,4,6
/proc/16315/stat : 16315 (cosoco) R 16312 16315 14394 0 -1 4202496 69356 0 0 0 1260 9 0 0 20 0 1 0 56285022 242884608 53369 33554432000 4194304 6142532 140731125036736 140731125033384 140234122337253 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11337728 140731125044358 140731125044488 140731125044488 140731125047246 0
/proc/16315/statm: 59298 53369 793 476 0 52620 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 237192 KiB
Current children cumulated memory: 213476 KiB
[startup+25.5004 s]
/proc/loadavg: 2.07 2.04 2.05 3/188 16316
/proc/meminfo: memFree=11313580/32770624 swapFree=67108860/67108860
[pid=16315] ppid=16312 vsize=420860 memory=392124 CPUtime=25.49 cores=0,2,4,6
/proc/16315/stat : 16315 (cosoco) R 16312 16315 14394 0 -1 4202496 151046 0 0 0 2532 17 0 0 20 0 1 0 56285022 430960640 98031 33554432000 4194304 6142532 140731125036736 140731125033384 5800163 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11337728 140731125044358 140731125044488 140731125044488 140731125047246 0
/proc/16315/statm: 105215 98031 793 476 0 98537 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 420860 KiB
Current children cumulated memory: 392124 KiB
[startup+51.1096 s]
/proc/loadavg: 2.05 2.04 2.05 3/188 16316
/proc/meminfo: memFree=11118296/32770624 swapFree=67108860/67108860
[pid=16315] ppid=16312 vsize=615320 memory=576532 CPUtime=51.11 cores=0,2,4,6
/proc/16315/stat : 16315 (cosoco) R 16312 16315 14394 0 -1 4202496 197540 0 0 0 5086 25 0 0 20 0 1 0 56285022 630087680 144133 33554432000 4194304 6142532 140731125036736 140731125033384 5798068 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11337728 140731125044358 140731125044488 140731125044488 140731125047246 0
/proc/16315/statm: 153830 144133 793 476 0 147152 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 615320 KiB
Current children cumulated memory: 576532 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/188 16317
/proc/meminfo: memFree=10687120/32770624 swapFree=67108860/67108860
[pid=16315] ppid=16312 vsize=1034756 memory=1003824 CPUtime=102.3 cores=0,2,4,6
/proc/16315/stat : 16315 (cosoco) R 16312 16315 14394 0 -1 4202496 448065 0 0 0 10186 44 0 0 20 0 1 0 56285022 1059590144 250956 33554432000 4194304 6142532 140731125036736 140731125024024 5017767 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11337728 140731125044358 140731125044488 140731125044488 140731125047246 0
/proc/16315/statm: 258689 250956 845 476 0 252011 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 1034756 KiB
Current children cumulated memory: 1003824 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/188 16318
/proc/meminfo: memFree=10687420/32770624 swapFree=67108860/67108860
[pid=16315] ppid=16312 vsize=1034756 memory=1003832 CPUtime=162.3 cores=0,2,4,6
/proc/16315/stat : 16315 (cosoco) R 16312 16315 14394 0 -1 4202496 619307 0 0 0 16177 53 0 0 20 0 1 0 56285022 1059590144 250958 33554432000 4194304 6142532 140731125036736 140731125034264 5017767 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11337728 140731125044358 140731125044488 140731125044488 140731125047246 0
/proc/16315/statm: 258689 250958 847 476 0 252011 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 1034756 KiB
Current children cumulated memory: 1003832 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/189 16327
/proc/meminfo: memFree=10686748/32770624 swapFree=67108860/67108860
[pid=16315] ppid=16312 vsize=1034756 memory=1003852 CPUtime=222.31 cores=0,2,4,6
/proc/16315/stat : 16315 (cosoco) R 16312 16315 14394 0 -1 4202496 808361 0 0 0 22169 62 0 0 20 0 1 0 56285022 1059590144 250963 33554432000 4194304 6142532 140731125036736 140731125034264 5017759 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11337728 140731125044358 140731125044488 140731125044488 140731125047246 0
/proc/16315/statm: 258689 250963 847 476 0 252011 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 1034756 KiB
Current children cumulated memory: 1003852 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 16328
/proc/meminfo: memFree=10687492/32770624 swapFree=67108860/67108860
[pid=16315] ppid=16312 vsize=1034756 memory=1003852 CPUtime=282.32 cores=0,2,4,6
/proc/16315/stat : 16315 (cosoco) R 16312 16315 14394 0 -1 4202496 980654 0 0 0 28161 71 0 0 20 0 1 0 56285022 1059590144 250963 33554432000 4194304 6142532 140731125036736 140731125034264 5017767 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11337728 140731125044358 140731125044488 140731125044488 140731125047246 0
/proc/16315/statm: 258689 250963 847 476 0 252011 0
Current children cumulated CPU time: 282.32 s
Current children cumulated vsize: 1034756 KiB
Current children cumulated memory: 1003852 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 16329
/proc/meminfo: memFree=10687124/32770624 swapFree=67108860/67108860
[pid=16315] ppid=16312 vsize=1034756 memory=1004316 CPUtime=342.31 cores=0,2,4,6
/proc/16315/stat : 16315 (cosoco) R 16312 16315 14394 0 -1 4202496 1131777 0 0 0 34154 77 0 0 20 0 1 0 56285022 1059590144 251079 33554432000 4194304 6142532 140731125036736 140731125024008 5017767 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11337728 140731125044358 140731125044488 140731125044488 140731125047246 0
/proc/16315/statm: 258689 251079 847 476 0 252011 0
Current children cumulated CPU time: 342.31 s
Current children cumulated vsize: 1034756 KiB
Current children cumulated memory: 1004316 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 16330
/proc/meminfo: memFree=10687380/32770624 swapFree=67108860/67108860
[pid=16315] ppid=16312 vsize=1034756 memory=1004316 CPUtime=402.32 cores=0,2,4,6
/proc/16315/stat : 16315 (cosoco) R 16312 16315 14394 0 -1 4202496 1262736 0 0 0 40147 85 0 0 20 0 1 0 56285022 1059590144 251079 33554432000 4194304 6142532 140731125036736 140731125034264 5017767 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11337728 140731125044358 140731125044488 140731125044488 140731125047246 0
/proc/16315/statm: 258689 251079 847 476 0 252011 0
Current children cumulated CPU time: 402.32 s
Current children cumulated vsize: 1034756 KiB
Current children cumulated memory: 1004316 KiB
[startup+462.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/188 16331
/proc/meminfo: memFree=10687208/32770624 swapFree=67108860/67108860
[pid=16315] ppid=16312 vsize=1034756 memory=1004520 CPUtime=462.33 cores=0,2,4,6
/proc/16315/stat : 16315 (cosoco) R 16312 16315 14394 0 -1 4202496 1375957 0 0 0 46141 92 0 0 20 0 1 0 56285022 1059590144 251130 33554432000 4194304 6142532 140731125036736 140731125034264 5017799 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11337728 140731125044358 140731125044488 140731125044488 140731125047246 0
/proc/16315/statm: 258689 251130 847 476 0 252011 0
Current children cumulated CPU time: 462.33 s
Current children cumulated vsize: 1034756 KiB
Current children cumulated memory: 1004520 KiB
################
# More data... #
################
/proc/16315/statm: 258689 251130 847 476 0 252011 0
Current children cumulated CPU time: 1722.48 s
Current children cumulated vsize: 1034756 KiB
Current children cumulated memory: 1004520 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 16371
/proc/meminfo: memFree=10686404/32770624 swapFree=67108860/67108860
[pid=16315] ppid=16312 vsize=1034756 memory=1004520 CPUtime=1782.5 cores=0,2,4,6
/proc/16315/stat : 16315 (cosoco) R 16312 16315 14394 0 -1 4202496 1709609 0 0 0 178142 108 0 0 20 0 1 0 56285022 1059590144 251130 33554432000 4194304 6142532 140731125036736 140731125024008 5017759 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11337728 140731125044358 140731125044488 140731125044488 140731125047246 0
/proc/16315/statm: 258689 251130 847 476 0 252011 0
Current children cumulated CPU time: 1782.5 s
Current children cumulated vsize: 1034756 KiB
Current children cumulated memory: 1004520 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 16372
/proc/meminfo: memFree=10686744/32770624 swapFree=67108860/67108860
[pid=16315] ppid=16312 vsize=1034756 memory=1004520 CPUtime=1842.5 cores=0,2,4,6
/proc/16315/stat : 16315 (cosoco) R 16312 16315 14394 0 -1 4202496 1712391 0 0 0 184142 108 0 0 20 0 1 0 56285022 1059590144 251130 33554432000 4194304 6142532 140731125036736 140731125024008 5017782 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11337728 140731125044358 140731125044488 140731125044488 140731125047246 0
/proc/16315/statm: 258689 251130 847 476 0 252011 0
Current children cumulated CPU time: 1842.5 s
Current children cumulated vsize: 1034756 KiB
Current children cumulated memory: 1004520 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 16373
/proc/meminfo: memFree=10686844/32770624 swapFree=67108860/67108860
[pid=16315] ppid=16312 vsize=1034756 memory=1004520 CPUtime=1902.51 cores=0,2,4,6
/proc/16315/stat : 16315 (cosoco) R 16312 16315 14394 0 -1 4202496 1714649 0 0 0 190143 108 0 0 20 0 1 0 56285022 1059590144 251130 33554432000 4194304 6142532 140731125036736 140731125024008 5170052 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11337728 140731125044358 140731125044488 140731125044488 140731125047246 0
/proc/16315/statm: 258689 251130 847 476 0 252011 0
Current children cumulated CPU time: 1902.51 s
Current children cumulated vsize: 1034756 KiB
Current children cumulated memory: 1004520 KiB
[startup+1962.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 16374
/proc/meminfo: memFree=10686604/32770624 swapFree=67108860/67108860
[pid=16315] ppid=16312 vsize=1034756 memory=1004520 CPUtime=1962.51 cores=0,2,4,6
/proc/16315/stat : 16315 (cosoco) R 16312 16315 14394 0 -1 4202496 1717681 0 0 0 196143 108 0 0 20 0 1 0 56285022 1059590144 251130 33554432000 4194304 6142532 140731125036736 140731125034264 5017759 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11337728 140731125044358 140731125044488 140731125044488 140731125047246 0
/proc/16315/statm: 258689 251130 847 476 0 252011 0
Current children cumulated CPU time: 1962.51 s
Current children cumulated vsize: 1034756 KiB
Current children cumulated memory: 1004520 KiB
[startup+2022.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 16382
/proc/meminfo: memFree=10685504/32770624 swapFree=67108860/67108860
[pid=16315] ppid=16312 vsize=1034756 memory=1004520 CPUtime=2022.52 cores=0,2,4,6
/proc/16315/stat : 16315 (cosoco) R 16312 16315 14394 0 -1 4202496 1719871 0 0 0 202144 108 0 0 20 0 1 0 56285022 1059590144 251130 33554432000 4194304 6142532 140731125036736 140731125034264 5017816 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11337728 140731125044358 140731125044488 140731125044488 140731125047246 0
/proc/16315/statm: 258689 251130 847 476 0 252011 0
Current children cumulated CPU time: 2022.52 s
Current children cumulated vsize: 1034756 KiB
Current children cumulated memory: 1004520 KiB
[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 16383
/proc/meminfo: memFree=10686128/32770624 swapFree=67108860/67108860
[pid=16315] ppid=16312 vsize=1034756 memory=1004520 CPUtime=2082.53 cores=0,2,4,6
/proc/16315/stat : 16315 (cosoco) R 16312 16315 14394 0 -1 4202496 1721111 0 0 0 208145 108 0 0 20 0 1 0 56285022 1059590144 251130 33554432000 4194304 6142532 140731125036736 140731125034264 5017767 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11337728 140731125044358 140731125044488 140731125044488 140731125047246 0
/proc/16315/statm: 258689 251130 847 476 0 252011 0
Current children cumulated CPU time: 2082.53 s
Current children cumulated vsize: 1034756 KiB
Current children cumulated memory: 1004520 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 16384
/proc/meminfo: memFree=10685756/32770624 swapFree=67108860/67108860
[pid=16315] ppid=16312 vsize=1034756 memory=1004520 CPUtime=2142.53 cores=0,2,4,6
/proc/16315/stat : 16315 (cosoco) R 16312 16315 14394 0 -1 4202496 1725294 0 0 0 214145 108 0 0 20 0 1 0 56285022 1059590144 251130 33554432000 4194304 6142532 140731125036736 140731125034264 5017759 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11337728 140731125044358 140731125044488 140731125044488 140731125047246 0
/proc/16315/statm: 258689 251130 847 476 0 252011 0
Current children cumulated CPU time: 2142.53 s
Current children cumulated vsize: 1034756 KiB
Current children cumulated memory: 1004520 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 16385
/proc/meminfo: memFree=10685440/32770624 swapFree=67108860/67108860
[pid=16315] ppid=16312 vsize=1034756 memory=1004520 CPUtime=2202.55 cores=0,2,4,6
/proc/16315/stat : 16315 (cosoco) R 16312 16315 14394 0 -1 4202496 1728053 0 0 0 220146 109 0 0 20 0 1 0 56285022 1059590144 251130 33554432000 4194304 6142532 140731125036736 140731125034264 5017767 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11337728 140731125044358 140731125044488 140731125044488 140731125047246 0
/proc/16315/statm: 258689 251130 847 476 0 252011 0
Current children cumulated CPU time: 2202.55 s
Current children cumulated vsize: 1034756 KiB
Current children cumulated memory: 1004520 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 16386
/proc/meminfo: memFree=10685816/32770624 swapFree=67108860/67108860
[pid=16315] ppid=16312 vsize=1034756 memory=1004520 CPUtime=2262.55 cores=0,2,4,6
/proc/16315/stat : 16315 (cosoco) R 16312 16315 14394 0 -1 4202496 1730309 0 0 0 226146 109 0 0 20 0 1 0 56285022 1059590144 251130 33554432000 4194304 6142532 140731125036736 140731125034264 5017759 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11337728 140731125044358 140731125044488 140731125044488 140731125047246 0
/proc/16315/statm: 258689 251130 847 476 0 252011 0
Current children cumulated CPU time: 2262.55 s
Current children cumulated vsize: 1034756 KiB
Current children cumulated memory: 1004520 KiB
[startup+2322.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/187 16451
/proc/meminfo: memFree=10986344/32770624 swapFree=67108860/67108860
[pid=16315] ppid=16312 vsize=1034756 memory=1004520 CPUtime=2322.56 cores=0,2,4,6
/proc/16315/stat : 16315 (cosoco) R 16312 16315 14394 0 -1 4202496 1732445 0 0 0 232147 109 0 0 20 0 1 0 56285022 1059590144 251130 33554432000 4194304 6142532 140731125036736 140731125034264 5017759 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11337728 140731125044358 140731125044488 140731125044488 140731125047246 0
/proc/16315/statm: 258689 251130 847 476 0 252011 0
Current children cumulated CPU time: 2322.56 s
Current children cumulated vsize: 1034756 KiB
Current children cumulated memory: 1004520 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 16452
/proc/meminfo: memFree=10985852/32770624 swapFree=67108860/67108860
[pid=16315] ppid=16312 vsize=1034756 memory=1004520 CPUtime=2382.56 cores=0,2,4,6
/proc/16315/stat : 16315 (cosoco) R 16312 16315 14394 0 -1 4202496 1734551 0 0 0 238147 109 0 0 20 0 1 0 56285022 1059590144 251130 33554432000 4194304 6142532 140731125036736 140731125034264 5017759 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11337728 140731125044358 140731125044488 140731125044488 140731125047246 0
/proc/16315/statm: 258689 251130 847 476 0 252011 0
Current children cumulated CPU time: 2382.56 s
Current children cumulated vsize: 1034756 KiB
Current children cumulated memory: 1004520 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 16453
/proc/meminfo: memFree=10986212/32770624 swapFree=67108860/67108860
[pid=16315] ppid=16312 vsize=1034756 memory=1004520 CPUtime=2442.58 cores=0,2,4,6
/proc/16315/stat : 16315 (cosoco) R 16312 16315 14394 0 -1 4202496 1737612 0 0 0 244148 110 0 0 20 0 1 0 56285022 1059590144 251130 33554432000 4194304 6142532 140731125036736 140731125034264 5017759 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11337728 140731125044358 140731125044488 140731125044488 140731125047246 0
/proc/16315/statm: 258689 251130 847 476 0 252011 0
Current children cumulated CPU time: 2442.58 s
Current children cumulated vsize: 1034756 KiB
Current children cumulated memory: 1004520 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 16454
/proc/meminfo: memFree=10986464/32770624 swapFree=67108860/67108860
[pid=16315] ppid=16312 vsize=1034756 memory=1004520 CPUtime=2502.58 cores=0,2,4,6
/proc/16315/stat : 16315 (cosoco) R 16312 16315 14394 0 -1 4202496 1739616 0 0 0 250148 110 0 0 20 0 1 0 56285022 1059590144 251130 33554432000 4194304 6142532 140731125036736 140731125034264 5016509 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11337728 140731125044358 140731125044488 140731125044488 140731125047246 0
/proc/16315/statm: 258689 251130 847 476 0 252011 0
Current children cumulated CPU time: 2502.58 s
Current children cumulated vsize: 1034756 KiB
Current children cumulated memory: 1004520 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 16454
/proc/meminfo: memFree=10986464/32770624 swapFree=67108860/67108860
[pid=16315] ppid=16312 vsize=1034756 memory=1004520 CPUtime=2520.09 cores=0,2,4,6
/proc/16315/stat : 16315 (cosoco) R 16312 16315 14394 0 -1 4202496 1739747 0 0 0 251899 110 0 0 20 0 1 0 56285022 1059590144 251130 33554432000 4194304 6142532 140731125036736 140731125034264 5017965 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 11337728 140731125044358 140731125044488 140731125044488 140731125047246 0
/proc/16315/statm: 258689 251130 847 476 0 252011 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 1034756 KiB
Current children cumulated memory: 1004520 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.8 s]
# the end of solver process 16315 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.99 s, system=1.10614 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2519.8
CPU time (s): 2520.1
CPU user time (s): 2518.99
CPU system time (s): 1.10614
CPU usage (%): 100.012
Max. virtual memory (cumulated for all children) (KiB): 1034756
Max. memory (cumulated for all children) (KiB): 1004520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.99
system time used= 1.10614
maximum resident set size= 1004584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1739801
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= 59
involuntary context switches= 640
# summary of solver processes directly reported to runsolver:
# pid: 16315
# total CPU time (s): 2520.1
# total CPU user time (s): 2518.99
# total CPU system time (s): 1.10614
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.30039 second user time and 19.0306 second system time
The end
Begin job on node104 at 2018-07-24 01:06:59 IDJOB=4294015 IDBENCH=141314 IDSOLVER=2752 FILE ID=node104/4294015-1532387216 RUNJOBID= node104-1532371797-14425 PBS_JOBID= 21021574 Free space on /tmp= 48724 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-4294015-1532387216/watcher-4294015-1532387216 -o /tmp/evaluation-result-4294015-1532387216/solver-4294015-1532387216 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532371797-14425 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4294015-1532387216.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 11fd43c8e45d476b85885954fcb4d1ec RANDOM SEED=1446608686 node104.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.11 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.11 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.11 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.11 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: 11693668 kB MemAvailable: 31327864 kB Buffers: 269300 kB Cached: 19327264 kB SwapCached: 0 kB Active: 2979664 kB Inactive: 17280040 kB Active(anon): 665784 kB Inactive(anon): 17080 kB Active(file): 2313880 kB Inactive(file): 17262960 kB Unevictable: 7180 kB Mlocked: 7180 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 160184 kB Writeback: 0 kB AnonPages: 670316 kB Mapped: 39440 kB Shmem: 17036 kB Slab: 513712 kB SReclaimable: 485816 kB SUnreclaim: 27896 kB KernelStack: 3296 kB PageTables: 6136 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 959332 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 378880 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= 48768 MiB End job on node104 at 2018-07-24 01:48:58