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.11 | 2520.01 |
| 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.11 |
| 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 |
58.08/58.16 c best=?? lower=0 upper=1800 105.76/105.85 c 105.76/105.85 c This is cosoco 1.12 -- 105.76/105.85 c 105.76/105.85 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4299244-1532795362.xml 105.76/105.85 c enable optimization 105.76/105.85 c ========================================[ Problem Statistics ]=========================================== 105.76/105.85 c | 105.76/105.85 c | Parse time : 57.69 s 105.76/105.85 c | 105.76/105.85 c | Variables: 585 105.76/105.85 c | Domain Sizes: 2..133790 105.76/105.85 c | 105.76/105.85 c | Constraints: 121 105.76/105.85 c | Arity: 18..120 105.76/105.85 c | 105.76/105.85 c | Types: 105.76/105.85 c | Extension: 120 (nb tuples: 227902..699590) -- (shared: 112) 105.76/105.85 c | Sum: 1 105.76/105.85 c | 105.76/105.85 c | Objective: Maximize Sum 105.76/105.85 105.76/105.85 c ========================================================================================================= 105.76/105.85 o 8 105.76/105.85 c 1 calls to solver: best=8 lower=9 upper=1800 135.26/135.37 o 11 166.75/166.89 o 14 166.75/166.89 c 3 calls to solver: best=14 lower=15 upper=1800 197.56/197.68 o 18 229.55/229.67 o 19 229.55/229.67 c 5 calls to solver: best=19 lower=20 upper=1800 260.64/260.71 o 20 317.14/317.26 o 22 317.14/317.26 c 7 calls to solver: best=22 lower=23 upper=1800 378.44/378.50 o 23 404.54/404.66 o 24 404.54/404.66 c 9 calls to solver: best=24 lower=25 upper=1800 432.05/432.13 o 25 487.96/488.02 o 26 487.96/488.02 c 11 calls to solver: best=26 lower=27 upper=1800 539.85/539.90 o 28 672.66/672.76 o 29 672.66/672.76 c 13 calls to solver: best=29 lower=30 upper=1800 780.67/780.77 o 30 964.99/965.10 o 31 964.99/965.10 c 15 calls to solver: best=31 lower=32 upper=1800 1144.40/1144.40 o 32 1176.01/1176.05 o 34 1176.01/1176.05 c 17 calls to solver: best=34 lower=35 upper=1800 1287.60/1287.61 o 35 1320.40/1320.46 o 36 1320.40/1320.46 c 19 calls to solver: best=36 lower=37 upper=1800 1354.61/1354.61 o 37 1390.31/1390.38 o 38 1390.31/1390.38 c 21 calls to solver: best=38 lower=39 upper=1800 1424.81/1424.83 o 39 1556.03/1556.05 o 40 1556.03/1556.05 c 23 calls to solver: best=40 lower=41 upper=1800 1703.33/1703.38 o 41 1735.74/1735.77 o 42 1735.74/1735.77 c 25 calls to solver: best=42 lower=43 upper=1800 1941.85/1941.87 o 43 2520.10/2520.01 2520.10/2520.01 c *** INTERRUPTED *** 2520.10/2520.01 c restarts : 22 2520.10/2520.01 c conflicts : 7198 (3 /sec) 2520.10/2520.01 c decisions : 43277 (17 /sec) 2520.10/2520.01 c propagations : 1653020029 (656201 /sec) 2520.10/2520.01 c root propagations : 2157450 2520.10/2520.01 c filter calls : 992017 (394 /sec) 2520.10/2520.01 c useless filter calls : 560244 (56 %) 2520.10/2520.01 c Memory used : 1010.51 MB 2520.10/2520.01 c CPU time : 2519.07 s 2520.10/2520.01 2520.10/2520.01 c nb Solutions = 26 2520.10/2520.01 s SATISFIABLE 2520.10/2520.01 c Best value found: 43 2520.10/2520.01 2520.10/2520.01 2520.10/2520.01 v <instantiation type='solution' cost='43'> 2520.10/2520.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> 2520.10/2520.01 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.10/2520.01 v </instantiation> 2520.10/2520.01
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 (13133 MiB free)
memory of node 1: 16384 MiB (13498 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299244-1532795362/watcher-4299244-1532795362 -o /tmp/evaluation-result-4299244-1532795362/solver-4299244-1532795362 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532775038-27468 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4299244-1532795362.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
Current StackSize limit: 8192 KiB
solver pid=29576, runsolver pid=29573
[startup+0.100172 s]*
/proc/loadavg: 2.02 2.04 2.05 3/192 29577
/proc/meminfo: memFree=27144764/32770624 swapFree=67108856/67108860
[pid=29576] ppid=29573 vsize=153452 memory=129600 CPUtime=0.1 cores=1,3,5,7
/proc/29576/stat : 29576 (cosoco) R 29573 29576 27436 0 -1 4202496 32610 0 0 0 6 4 0 0 20 0 1 0 97099528 157134848 32400 33554432000 4194304 6142532 140737152051792 140737152048424 140251944143845 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13676544 140737152058502 140737152058632 140737152058632 140737152061390 0
/proc/29576/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.209861 s]*
/proc/loadavg: 2.02 2.04 2.05 3/192 29577
/proc/meminfo: memFree=27143720/32770624 swapFree=67108856/67108860
[pid=29576] ppid=29573 vsize=154308 memory=130392 CPUtime=0.21 cores=1,3,5,7
/proc/29576/stat : 29576 (cosoco) R 29573 29576 27436 0 -1 4202496 32799 0 0 0 17 4 0 0 20 0 1 0 97099528 158011392 32598 33554432000 4194304 6142532 140737152051792 140737152048424 5802594 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13676544 140737152058502 140737152058632 140737152058632 140737152061390 0
/proc/29576/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.308982 s]*
/proc/loadavg: 2.02 2.04 2.05 3/192 29577
/proc/meminfo: memFree=27142976/32770624 swapFree=67108856/67108860
[pid=29576] ppid=29573 vsize=155028 memory=131112 CPUtime=0.31 cores=1,3,5,7
/proc/29576/stat : 29576 (cosoco) R 29573 29576 27436 0 -1 4202496 33021 0 0 0 27 4 0 0 20 0 1 0 97099528 158748672 32778 33554432000 4194304 6142532 140737152051792 140737152048424 140251944143845 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13676544 140737152058502 140737152058632 140737152058632 140737152061390 0
/proc/29576/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.700276 s]
/proc/loadavg: 2.02 2.04 2.05 3/192 29577
/proc/meminfo: memFree=27141328/32770624 swapFree=67108856/67108860
[pid=29576] ppid=29573 vsize=158292 memory=133728 CPUtime=0.69 cores=1,3,5,7
/proc/29576/stat : 29576 (cosoco) R 29573 29576 27436 0 -1 4202496 33966 0 0 0 65 4 0 0 20 0 1 0 97099528 162091008 33432 33554432000 4194304 6142532 140737152051792 140737152048440 5802363 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13676544 140737152058502 140737152058632 140737152058632 140737152061390 0
/proc/29576/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.50029 s]
/proc/loadavg: 2.02 2.04 2.05 3/192 29577
/proc/meminfo: memFree=27137980/32770624 swapFree=67108856/67108860
[pid=29576] ppid=29573 vsize=164184 memory=140256 CPUtime=1.48 cores=1,3,5,7
/proc/29576/stat : 29576 (cosoco) R 29573 29576 27436 0 -1 4202496 35453 0 0 0 144 4 0 0 20 0 1 0 97099528 168124416 35064 33554432000 4194304 6142532 140737152051792 140737152048440 5801142 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13676544 140737152058502 140737152058632 140737152058632 140737152061390 0
/proc/29576/statm: 41046 35064 783 476 0 34368 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 164184 KiB
Current children cumulated memory: 140256 KiB
[startup+3.10959 s]
/proc/loadavg: 2.02 2.04 2.05 3/192 29577
/proc/meminfo: memFree=27123076/32770624 swapFree=67108856/67108860
[pid=29576] ppid=29573 vsize=175968 memory=151092 CPUtime=3.1 cores=1,3,5,7
/proc/29576/stat : 29576 (cosoco) R 29573 29576 27436 0 -1 4202496 38145 0 0 0 305 5 0 0 20 0 1 0 97099528 180191232 37773 33554432000 4194304 6142532 140737152051792 140737152048440 5801727 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13676544 140737152058502 140737152058632 140737152058632 140737152061390 0
/proc/29576/statm: 43992 37773 783 476 0 37314 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 175968 KiB
Current children cumulated memory: 151092 KiB
[startup+6.30027 s]
/proc/loadavg: 2.10 2.06 2.05 3/193 29578
/proc/meminfo: memFree=27059912/32770624 swapFree=67108856/67108860
[pid=29576] ppid=29573 vsize=236664 memory=212832 CPUtime=6.29 cores=1,3,5,7
/proc/29576/stat : 29576 (cosoco) R 29573 29576 27436 0 -1 4202496 59064 0 0 0 613 16 0 0 20 0 1 0 97099528 242343936 53208 33554432000 4194304 6142532 140737152051792 140737152048440 5798145 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13676544 140737152058502 140737152058632 140737152058632 140737152061390 0
/proc/29576/statm: 59166 53208 793 476 0 52488 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 236664 KiB
Current children cumulated memory: 212832 KiB
[startup+12.7003 s]
/proc/loadavg: 2.09 2.06 2.05 3/193 29578
/proc/meminfo: memFree=27059916/32770624 swapFree=67108856/67108860
[pid=29576] ppid=29573 vsize=236796 memory=212832 CPUtime=12.69 cores=1,3,5,7
/proc/29576/stat : 29576 (cosoco) R 29573 29576 27436 0 -1 4202496 67754 0 0 0 1252 17 0 0 20 0 1 0 97099528 242479104 53208 33554432000 4194304 6142532 140737152051792 140737152048440 5802624 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13676544 140737152058502 140737152058632 140737152058632 140737152061390 0
/proc/29576/statm: 59199 53208 793 476 0 52521 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 236796 KiB
Current children cumulated memory: 212832 KiB
[startup+25.5003 s]
/proc/loadavg: 2.07 2.05 2.05 3/193 29578
/proc/meminfo: memFree=26890972/32770624 swapFree=67108856/67108860
[pid=29576] ppid=29573 vsize=420860 memory=391544 CPUtime=25.48 cores=1,3,5,7
/proc/29576/stat : 29576 (cosoco) R 29573 29576 27436 0 -1 4202496 141643 0 0 0 2523 25 0 0 20 0 1 0 97099528 430960640 97886 33554432000 4194304 6142532 140737152051792 140737152048440 5802622 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13676544 140737152058502 140737152058632 140737152058632 140737152061390 0
/proc/29576/statm: 105215 97886 793 476 0 98537 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 420860 KiB
Current children cumulated memory: 391544 KiB
[startup+51.1097 s]
/proc/loadavg: 2.45 2.15 2.08 3/194 29586
/proc/meminfo: memFree=26695696/32770624 swapFree=67108856/67108860
[pid=29576] ppid=29573 vsize=615320 memory=575432 CPUtime=51.08 cores=1,3,5,7
/proc/29576/stat : 29576 (cosoco) R 29573 29576 27436 0 -1 4202496 182652 0 0 0 5076 32 0 0 20 0 1 0 97099528 630087680 143858 33554432000 4194304 6142532 140737152051792 140737152048440 140251944582144 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13676544 140737152058502 140737152058632 140737152058632 140737152061390 0
/proc/29576/statm: 153830 143858 793 476 0 147152 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 615320 KiB
Current children cumulated memory: 575432 KiB
[startup+102.3 s]
/proc/loadavg: 2.51 2.23 2.11 3/194 29587
/proc/meminfo: memFree=26267544/32770624 swapFree=67108856/67108860
[pid=29576] ppid=29573 vsize=1034756 memory=1003164 CPUtime=102.27 cores=1,3,5,7
/proc/29576/stat : 29576 (cosoco) R 29573 29576 27436 0 -1 4202496 439656 0 0 0 10174 53 0 0 20 0 1 0 97099528 1059590144 250791 33554432000 4194304 6142532 140737152051792 140737152039080 5017909 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13676544 140737152058502 140737152058632 140737152058632 140737152061390 0
/proc/29576/statm: 258689 250791 845 476 0 252011 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 1034756 KiB
Current children cumulated memory: 1003164 KiB
[startup+162.3 s]
/proc/loadavg: 2.19 2.19 2.11 3/194 29588
/proc/meminfo: memFree=26267508/32770624 swapFree=67108856/67108860
[pid=29576] ppid=29573 vsize=1034756 memory=1003172 CPUtime=162.25 cores=1,3,5,7
/proc/29576/stat : 29576 (cosoco) R 29573 29576 27436 0 -1 4202496 561165 0 0 0 16164 61 0 0 20 0 1 0 97099528 1059590144 250793 33554432000 4194304 6142532 140737152051792 140737152049320 5017759 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13676544 140737152058502 140737152058632 140737152058632 140737152061390 0
/proc/29576/statm: 258689 250793 847 476 0 252011 0
Current children cumulated CPU time: 162.25 s
Current children cumulated vsize: 1034756 KiB
Current children cumulated memory: 1003172 KiB
[startup+222.3 s]
/proc/loadavg: 2.07 2.15 2.10 3/194 29589
/proc/meminfo: memFree=26266400/32770624 swapFree=67108856/67108860
[pid=29576] ppid=29573 vsize=1034756 memory=1003872 CPUtime=222.25 cores=1,3,5,7
/proc/29576/stat : 29576 (cosoco) R 29573 29576 27436 0 -1 4202496 712660 0 0 0 22156 69 0 0 20 0 1 0 97099528 1059590144 250968 33554432000 4194304 6142532 140737152051792 140737152049320 5017767 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13676544 140737152058502 140737152058632 140737152058632 140737152061390 0
/proc/29576/statm: 258689 250968 847 476 0 252011 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 1034756 KiB
Current children cumulated memory: 1003872 KiB
[startup+282.3 s]
/proc/loadavg: 2.03 2.12 2.09 3/194 29590
/proc/meminfo: memFree=26266812/32770624 swapFree=67108856/67108860
[pid=29576] ppid=29573 vsize=1034756 memory=1003872 CPUtime=282.23 cores=1,3,5,7
/proc/29576/stat : 29576 (cosoco) R 29573 29576 27436 0 -1 4202496 852951 0 0 0 28145 78 0 0 20 0 1 0 97099528 1059590144 250968 33554432000 4194304 6142532 140737152051792 140737152049320 5017767 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 13676544 140737152058502 140737152058632 140737152058632 140737152061390 0
/proc/29576/statm: 258689 250968 847 476 0 252011 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 1034756 KiB
Current children cumulated memory: 1003872 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.10 2.09 3/191 29592
/proc/meminfo: memFree=26266116/32770624 swapFree=67108856/67108860
[pid=29576] ppid=29573 vsize=1034756 memory=1004312 CPUtime=342.24 cores=1,3,5,7
/proc/29576/stat : 29576 (cosoco) R 29573 29576 27436 0 -1 4202496 958112 0 0 0 34141 83 0 0 20 0 1 0 97099528 1059590144 251078 33554432000 4194304 6142532 140737152051792 140737152039064 5333409 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 13676544 140737152058502 140737152058632 140737152058632 140737152061390 0
/proc/29576/statm: 258689 251078 847 476 0 252011 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 1034756 KiB
Current children cumulated memory: 1004312 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.08 2.08 3/191 29593
/proc/meminfo: memFree=26266164/32770624 swapFree=67108856/67108860
[pid=29576] ppid=29573 vsize=1034756 memory=1004312 CPUtime=402.24 cores=1,3,5,7
/proc/29576/stat : 29576 (cosoco) R 29573 29576 27436 0 -1 4202496 1048523 0 0 0 40135 89 0 0 20 0 1 0 97099528 1059590144 251078 33554432000 4194304 6142532 140737152051792 140737152049320 5017767 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 13676544 140737152058502 140737152058632 140737152058632 140737152061390 0
/proc/29576/statm: 258689 251078 847 476 0 252011 0
Current children cumulated CPU time: 402.24 s
Current children cumulated vsize: 1034756 KiB
Current children cumulated memory: 1004312 KiB
[startup+462.3 s]
/proc/loadavg: 2.04 2.08 2.08 3/192 29595
/proc/meminfo: memFree=26265924/32770624 swapFree=67108856/67108860
[pid=29576] ppid=29573 vsize=1034756 memory=1004312 CPUtime=462.25 cores=1,3,5,7
/proc/29576/stat : 29576 (cosoco) R 29573 29576 27436 0 -1 4202496 1113178 0 0 0 46133 92 0 0 20 0 1 0 97099528 1059590144 251078 33554432000 4194304 6142532 140737152051792 140737152049320 5017759 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 13676544 140737152058502 140737152058632 140737152058632 140737152061390 0
/proc/29576/statm: 258689 251078 847 476 0 252011 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 1034756 KiB
Current children cumulated memory: 1004312 KiB
################
# More data... #
################
/proc/29576/statm: 258689 251078 847 476 0 252011 0
Current children cumulated CPU time: 1722.33 s
Current children cumulated vsize: 1034756 KiB
Current children cumulated memory: 1004312 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 29640
/proc/meminfo: memFree=26265428/32770624 swapFree=67108856/67108860
[pid=29576] ppid=29573 vsize=1034756 memory=1004312 CPUtime=1782.34 cores=1,3,5,7
/proc/29576/stat : 29576 (cosoco) R 29573 29576 27436 0 -1 4202496 1222008 0 0 0 178134 100 0 0 20 0 1 0 97099528 1059590144 251078 33554432000 4194304 6142532 140737152051792 140737152039064 5017767 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 13676544 140737152058502 140737152058632 140737152058632 140737152061390 0
/proc/29576/statm: 258689 251078 847 476 0 252011 0
Current children cumulated CPU time: 1782.34 s
Current children cumulated vsize: 1034756 KiB
Current children cumulated memory: 1004312 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 29648
/proc/meminfo: memFree=26264444/32770624 swapFree=67108856/67108860
[pid=29576] ppid=29573 vsize=1034756 memory=1004312 CPUtime=1842.34 cores=1,3,5,7
/proc/29576/stat : 29576 (cosoco) R 29573 29576 27436 0 -1 4202496 1224065 0 0 0 184134 100 0 0 20 0 1 0 97099528 1059590144 251078 33554432000 4194304 6142532 140737152051792 140737152039064 5017767 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 13676544 140737152058502 140737152058632 140737152058632 140737152061390 0
/proc/29576/statm: 258689 251078 847 476 0 252011 0
Current children cumulated CPU time: 1842.34 s
Current children cumulated vsize: 1034756 KiB
Current children cumulated memory: 1004312 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 29672
/proc/meminfo: memFree=26262988/32770624 swapFree=67108856/67108860
[pid=29576] ppid=29573 vsize=1034756 memory=1004312 CPUtime=1902.34 cores=1,3,5,7
/proc/29576/stat : 29576 (cosoco) R 29573 29576 27436 0 -1 4202496 1225417 0 0 0 190134 100 0 0 20 0 1 0 97099528 1059590144 251078 33554432000 4194304 6142532 140737152051792 140737152039064 5017767 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 13676544 140737152058502 140737152058632 140737152058632 140737152061390 0
/proc/29576/statm: 258689 251078 847 476 0 252011 0
Current children cumulated CPU time: 1902.34 s
Current children cumulated vsize: 1034756 KiB
Current children cumulated memory: 1004312 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 29673
/proc/meminfo: memFree=26264508/32770624 swapFree=67108856/67108860
[pid=29576] ppid=29573 vsize=1034756 memory=1004312 CPUtime=1962.35 cores=1,3,5,7
/proc/29576/stat : 29576 (cosoco) R 29573 29576 27436 0 -1 4202496 1227695 0 0 0 196134 101 0 0 20 0 1 0 97099528 1059590144 251078 33554432000 4194304 6142532 140737152051792 140737152049320 5017760 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 13676544 140737152058502 140737152058632 140737152058632 140737152061390 0
/proc/29576/statm: 258689 251078 847 476 0 252011 0
Current children cumulated CPU time: 1962.35 s
Current children cumulated vsize: 1034756 KiB
Current children cumulated memory: 1004312 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 29674
/proc/meminfo: memFree=26264440/32770624 swapFree=67108856/67108860
[pid=29576] ppid=29573 vsize=1034756 memory=1004312 CPUtime=2022.36 cores=1,3,5,7
/proc/29576/stat : 29576 (cosoco) R 29573 29576 27436 0 -1 4202496 1228582 0 0 0 202135 101 0 0 20 0 1 0 97099528 1059590144 251078 33554432000 4194304 6142532 140737152051792 140737152049320 5017767 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 13676544 140737152058502 140737152058632 140737152058632 140737152061390 0
/proc/29576/statm: 258689 251078 847 476 0 252011 0
Current children cumulated CPU time: 2022.36 s
Current children cumulated vsize: 1034756 KiB
Current children cumulated memory: 1004312 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 29676
/proc/meminfo: memFree=26264416/32770624 swapFree=67108856/67108860
[pid=29576] ppid=29573 vsize=1034756 memory=1004312 CPUtime=2082.36 cores=1,3,5,7
/proc/29576/stat : 29576 (cosoco) R 29573 29576 27436 0 -1 4202496 1230307 0 0 0 208135 101 0 0 20 0 1 0 97099528 1059590144 251078 33554432000 4194304 6142532 140737152051792 140737152049320 5017767 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 13676544 140737152058502 140737152058632 140737152058632 140737152061390 0
/proc/29576/statm: 258689 251078 847 476 0 252011 0
Current children cumulated CPU time: 2082.36 s
Current children cumulated vsize: 1034756 KiB
Current children cumulated memory: 1004312 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 29677
/proc/meminfo: memFree=26264628/32770624 swapFree=67108856/67108860
[pid=29576] ppid=29573 vsize=1034756 memory=1004312 CPUtime=2142.36 cores=1,3,5,7
/proc/29576/stat : 29576 (cosoco) R 29573 29576 27436 0 -1 4202496 1232073 0 0 0 214135 101 0 0 20 0 1 0 97099528 1059590144 251078 33554432000 4194304 6142532 140737152051792 140737152049320 5017767 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 13676544 140737152058502 140737152058632 140737152058632 140737152061390 0
/proc/29576/statm: 258689 251078 847 476 0 252011 0
Current children cumulated CPU time: 2142.36 s
Current children cumulated vsize: 1034756 KiB
Current children cumulated memory: 1004312 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 29679
/proc/meminfo: memFree=26264736/32770624 swapFree=67108856/67108860
[pid=29576] ppid=29573 vsize=1034756 memory=1004312 CPUtime=2202.37 cores=1,3,5,7
/proc/29576/stat : 29576 (cosoco) R 29573 29576 27436 0 -1 4202496 1233999 0 0 0 220135 102 0 0 20 0 1 0 97099528 1059590144 251078 33554432000 4194304 6142532 140737152051792 140737152049320 5017820 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 13676544 140737152058502 140737152058632 140737152058632 140737152061390 0
/proc/29576/statm: 258689 251078 847 476 0 252011 0
Current children cumulated CPU time: 2202.37 s
Current children cumulated vsize: 1034756 KiB
Current children cumulated memory: 1004312 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 29680
/proc/meminfo: memFree=26264604/32770624 swapFree=67108856/67108860
[pid=29576] ppid=29573 vsize=1034756 memory=1004312 CPUtime=2262.37 cores=1,3,5,7
/proc/29576/stat : 29576 (cosoco) R 29573 29576 27436 0 -1 4202496 1235623 0 0 0 226135 102 0 0 20 0 1 0 97099528 1059590144 251078 33554432000 4194304 6142532 140737152051792 140737152049320 5017767 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 13676544 140737152058502 140737152058632 140737152058632 140737152061390 0
/proc/29576/statm: 258689 251078 847 476 0 252011 0
Current children cumulated CPU time: 2262.37 s
Current children cumulated vsize: 1034756 KiB
Current children cumulated memory: 1004312 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 29681
/proc/meminfo: memFree=26263968/32770624 swapFree=67108856/67108860
[pid=29576] ppid=29573 vsize=1034756 memory=1004312 CPUtime=2322.38 cores=1,3,5,7
/proc/29576/stat : 29576 (cosoco) R 29573 29576 27436 0 -1 4202496 1237134 0 0 0 232136 102 0 0 20 0 1 0 97099528 1059590144 251078 33554432000 4194304 6142532 140737152051792 140737152049320 5017767 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 13676544 140737152058502 140737152058632 140737152058632 140737152061390 0
/proc/29576/statm: 258689 251078 847 476 0 252011 0
Current children cumulated CPU time: 2322.38 s
Current children cumulated vsize: 1034756 KiB
Current children cumulated memory: 1004312 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 29682
/proc/meminfo: memFree=26264328/32770624 swapFree=67108856/67108860
[pid=29576] ppid=29573 vsize=1034756 memory=1004312 CPUtime=2382.38 cores=1,3,5,7
/proc/29576/stat : 29576 (cosoco) R 29573 29576 27436 0 -1 4202496 1238859 0 0 0 238136 102 0 0 20 0 1 0 97099528 1059590144 251078 33554432000 4194304 6142532 140737152051792 140737152049320 5017767 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 13676544 140737152058502 140737152058632 140737152058632 140737152061390 0
/proc/29576/statm: 258689 251078 847 476 0 252011 0
Current children cumulated CPU time: 2382.38 s
Current children cumulated vsize: 1034756 KiB
Current children cumulated memory: 1004312 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 29937
/proc/meminfo: memFree=26292504/32770624 swapFree=67108856/67108860
[pid=29576] ppid=29573 vsize=1034756 memory=1004312 CPUtime=2442.39 cores=1,3,5,7
/proc/29576/stat : 29576 (cosoco) R 29573 29576 27436 0 -1 4202496 1240366 0 0 0 244136 103 0 0 20 0 1 0 97099528 1059590144 251078 33554432000 4194304 6142532 140737152051792 140737152049320 5333261 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 13676544 140737152058502 140737152058632 140737152058632 140737152061390 0
/proc/29576/statm: 258689 251078 847 476 0 252011 0
Current children cumulated CPU time: 2442.39 s
Current children cumulated vsize: 1034756 KiB
Current children cumulated memory: 1004312 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 29939
/proc/meminfo: memFree=26292720/32770624 swapFree=67108856/67108860
[pid=29576] ppid=29573 vsize=1034756 memory=1004312 CPUtime=2502.39 cores=1,3,5,7
/proc/29576/stat : 29576 (cosoco) R 29573 29576 27436 0 -1 4202496 1241696 0 0 0 250136 103 0 0 20 0 1 0 97099528 1059590144 251078 33554432000 4194304 6142532 140737152051792 140737152049320 5017759 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 13676544 140737152058502 140737152058632 140737152058632 140737152061390 0
/proc/29576/statm: 258689 251078 847 476 0 252011 0
Current children cumulated CPU time: 2502.39 s
Current children cumulated vsize: 1034756 KiB
Current children cumulated memory: 1004312 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/192 29939
/proc/meminfo: memFree=26292596/32770624 swapFree=67108856/67108860
[pid=29576] ppid=29573 vsize=1034756 memory=1004312 CPUtime=2520.1 cores=1,3,5,7
/proc/29576/stat : 29576 (cosoco) R 29573 29576 27436 0 -1 4202496 1242327 0 0 0 251907 103 0 0 20 0 1 0 97099528 1059590144 251078 33554432000 4194304 6142532 140737152051792 140737152049320 5017909 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 13676544 140737152058502 140737152058632 140737152058632 140737152061390 0
/proc/29576/statm: 258689 251078 847 476 0 252011 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 1034756 KiB
Current children cumulated memory: 1004312 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 29576 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.08 s, system=1.03705 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.11
CPU user time (s): 2519.08
CPU system time (s): 1.03705
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 1034756
Max. memory (cumulated for all children) (KiB): 1004312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.08
system time used= 1.03705
maximum resident set size= 1004376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1242380
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= 62
involuntary context switches= 890
# summary of solver processes directly reported to runsolver:
# pid: 29576
# total CPU time (s): 2520.11
# total CPU user time (s): 2519.08
# total CPU system time (s): 1.03705
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.97545 second user time and 19.0642 second system time
The end
Begin job on node133 at 2018-07-28 18:29:24 IDJOB=4299244 IDBENCH=141314 IDSOLVER=2761 FILE ID=node133/4299244-1532795362 RUNJOBID= node133-1532775038-27468 PBS_JOBID= 21022462 Free space on /tmp= 48092 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-4299244-1532795362/watcher-4299244-1532795362 -o /tmp/evaluation-result-4299244-1532795362/solver-4299244-1532795362 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532775038-27468 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4299244-1532795362.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 11fd43c8e45d476b85885954fcb4d1ec RANDOM SEED=1181694263 node133.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.24 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.24 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.24 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.24 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: 27271420 kB MemAvailable: 31922360 kB Buffers: 180164 kB Cached: 4718656 kB SwapCached: 0 kB Active: 2328240 kB Inactive: 2650524 kB Active(anon): 31272 kB Inactive(anon): 76688 kB Active(file): 2296968 kB Inactive(file): 2573836 kB Unevictable: 7100 kB Mlocked: 7100 kB SwapTotal: 67108860 kB SwapFree: 67108856 kB Dirty: 160300 kB Writeback: 0 kB AnonPages: 87196 kB Mapped: 43016 kB Shmem: 25244 kB Slab: 220048 kB SReclaimable: 191944 kB SUnreclaim: 28104 kB KernelStack: 3376 kB PageTables: 5244 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 379752 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 30720 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= 48092 MiB End job on node133 at 2018-07-28 19:11:24