Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 2.0 | SAT (TO) | 6 | 2400.08 | 2400.11 |
| Name | OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-wbo-10-20-1.xml |
| MD5SUM | b636351ed0990ca81125a03dae8bdef8 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 5 |
| Best CPU time to get the best result obtained on this benchmark | 29.5206 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 640 |
| Number of constraints | 621 |
| Number of domains | 6 |
| Minimum domain size | 2 |
| Maximum domain size | 21 |
| Distribution of domain sizes | [{"size":2,"count":420},{"size":4,"count":20},{"size":5,"count":140},{"size":9,"count":20},{"size":20,"count":20},{"size":21,"count":20}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 11 |
| Distribution of variable degrees | [{"degree":2,"count":230},{"degree":3,"count":390},{"degree":11,"count":20}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 20 |
| Distribution of constraint arities | [{"arity":2,"count":210},{"arity":3,"count":390},{"arity":11,"count":20},{"arity":20,"count":1}] |
| Number of extensional constraints | 200 |
| Number of intensional constraints | 200 |
| Distribution of constraint types | [{"type":"extension","count":200},{"type":"intension","count":200},{"type":"allDifferent","count":1},{"type":"sum","count":20},{"type":"element","count":200}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.01 c AllEqual constraint using 1 generic x=y constraints 0.00/0.09 c 0.00/0.09 c This is cosoco 2.00 -- 0.00/0.09 c 0.00/0.09 c command line: cosoco -lc -model -restarts -stick HOME/instance-4408871-1569794305.xml 0.00/0.09 c enable optimization 0.00/0.09 c ========================================[ Problem Statistics ]=========================================== 0.00/0.09 c | 0.00/0.09 c | Parse time : 0.07 s 0.00/0.09 c | 0.00/0.09 c | Variables: 640 0.00/0.09 c | Domain Sizes: 2..21 0.00/0.09 c | 0.00/0.09 c | Constraints: 622 0.00/0.09 c | Arity: 2..20 -- Binary: 210 -- Ternary: 390 0.00/0.09 c | 0.00/0.09 c | Types: 0.00/0.09 c | (X = Y): 10 0.00/0.09 c | All Different: 1 0.00/0.09 c | Extension: 400 (nb tuples: 3..20) -- (shared: 196) 0.00/0.09 c | Max constant: 1 0.00/0.09 c | Sum: 210 0.00/0.09 c | 0.00/0.09 c | Objective: Minimize Max constant 0.00/0.09 0.00/0.09 c ========================================================================================================= 0.00/0.09 o 9 0.00/0.09 c 1 calls to solver(id=*d): best=0 lower=9 upper=0 0.10/0.13 o 8 0.10/0.15 o 7 0.10/0.15 c 3 calls to solver(id=*d): best=0 lower=7 upper=0 0.69/0.71 o 6 2400.07/2400.10 2400.07/2400.10 c *** INTERRUPTED *** 2400.07/2400.10 c call to solver : 4 2400.07/2400.10 c 2400.07/2400.10 c restarts : 139 2400.07/2400.10 c conflicts : 34850794 (14521 /sec) 2400.07/2400.10 c decisions : 134736864 (56139 /sec) 2400.07/2400.10 c propagations : 3199652175 (1333154 /sec) 2400.07/2400.10 c root propagations : 200 2400.07/2400.10 c filter calls : 6376059393 (2656623 /sec) 2400.07/2400.10 c useless filter calls : 4072332624 (63 %) 2400.07/2400.10 c Memory used : 32.36 MB 2400.07/2400.10 c Best bound time (wc) : 0.712848 s 2400.07/2400.10 c CPU time : 2400.06 s 2400.07/2400.10 c real time : 2400.11 s 2400.07/2400.10 2400.07/2400.10 c nb Solutions = 4 2400.07/2400.10 s SATISFIABLE 2400.07/2400.10 c Best value found: 6 2400.07/2400.10 2400.07/2400.10 2400.07/2400.10 v <instantiation type='solution' cost='6'> 2400.07/2400.10 v <list>np[0][0] np[0][10] np[0][11] np[0][12] np[0][13] np[0][14] np[0][15] np[0][16] np[0][17] np[0][18] np[0][19] np[0][1] np[0][2] np[0][3] np[0][4] np[0][5] np[0][6] np[0][7] np[0][8] np[0][9] np[1][0] np[1][10] np[1][11] np[1][12] np[1][13] np[1][14] np[1][15] np[1][16] np[1][17] np[1][18] np[1][19] np[1][1] np[1][2] np[1][3] np[1][4] np[1][5] np[1][6] np[1][7] np[1][8] np[1][9] np[2][0] np[2][10] np[2][11] np[2][12] np[2][13] np[2][14] np[2][15] np[2][16] np[2][17] np[2][18] np[2][19] np[2][1] np[2][2] np[2][3] np[2][4] np[2][5] np[2][6] np[2][7] np[2][8] np[2][9] np[3][0] np[3][10] np[3][11] np[3][12] np[3][13] np[3][14] np[3][15] np[3][16] np[3][17] np[3][18] np[3][19] np[3][1] np[3][2] np[3][3] np[3][4] np[3][5] np[3][6] np[3][7] np[3][8] np[3][9] np[4][0] np[4][10] np[4][11] np[4][12] np[4][13] np[4][14] np[4][15] np[4][16] np[4][17] np[4][18] np[4][19] np[4][1] np[4][2] np[4][3] np[4][4] np[4][5] np[4][6] np[4][7] np[4][8] np[4][9] np[5][0] np[5][10] np[5][11] np[5][12] np[5][13] np[5][14] np[5][15] np[5][16] np[5][17] np[5][18] np[5][19] np[5][1] np[5][2] np[5][3] np[5][4] np[5][5] np[5][6] np[5][7] np[5][8] np[5][9] np[6][0] np[6][10] np[6][11] np[6][12] np[6][13] np[6][14] np[6][15] np[6][16] np[6][17] np[6][18] np[6][19] np[6][1] np[6][2] np[6][3] np[6][4] np[6][5] np[6][6] np[6][7] np[6][8] np[6][9] np[7][0] np[7][10] np[7][11] np[7][12] np[7][13] np[7][14] np[7][15] np[7][16] np[7][17] np[7][18] np[7][19] np[7][1] np[7][2] np[7][3] np[7][4] np[7][5] np[7][6] np[7][7] np[7][8] np[7][9] np[8][0] np[8][10] np[8][11] np[8][12] np[8][13] np[8][14] np[8][15] np[8][16] np[8][17] np[8][18] np[8][19] np[8][1] np[8][2] np[8][3] np[8][4] np[8][5] np[8][6] np[8][7] np[8][8] np[8][9] np[9][0] np[9][10] np[9][11] np[9][12] np[9][13] np[9][14] np[9][15] np[9][16] np[9][17] np[9][18] np[9][19] np[9][1] np[9][2] np[9][3] np[9][4] np[9][5] np[9][6] np[9][7] np[9][8] np[9][9] o[0][0] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[1][0] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[2][0] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[3][0] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[4][0] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][15] o[4][16] o[4][17] o[4][18] o[4][19] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[5][0] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[6][0] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[7][0] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][15] o[7][16] o[7][17] o[7][18] o[7][19] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[8][0] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[9][0] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] p[0] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] r[0][0] r[0][10] r[0][11] r[0][12] r[0][13] r[0][14] r[0][15] r[0][16] r[0][17] r[0][18] r[0][19] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[1][0] r[1][10] r[1][11] r[1][12] r[1][13] r[1][14] r[1][15] r[1][16] r[1][17] r[1][18] r[1][19] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[2][0] r[2][10] r[2][11] r[2][12] r[2][13] r[2][14] r[2][15] r[2][16] r[2][17] r[2][18] r[2][19] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[3][0] r[3][10] r[3][11] r[3][12] r[3][13] r[3][14] r[3][15] r[3][16] r[3][17] r[3][18] r[3][19] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[4][0] r[4][10] r[4][11] r[4][12] r[4][13] r[4][14] r[4][15] r[4][16] r[4][17] r[4][18] r[4][19] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[5][0] r[5][10] r[5][11] r[5][12] r[5][13] r[5][14] r[5][15] r[5][16] r[5][17] r[5][18] r[5][19] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[6][0] r[6][10] r[6][11] r[6][12] r[6][13] r[6][14] r[6][15] r[6][16] r[6][17] r[6][18] r[6][19] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[7][0] r[7][10] r[7][11] r[7][12] r[7][13] r[7][14] r[7][15] r[7][16] r[7][17] r[7][18] r[7][19] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[8][0] r[8][10] r[8][11] r[8][12] r[8][13] r[8][14] r[8][15] r[8][16] r[8][17] r[8][18] r[8][19] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[9][0] r[9][10] r[9][11] r[9][12] r[9][13] r[9][14] r[9][15] r[9][16] r[9][17] r[9][18] r[9][19] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] so[0] so[10] so[11] so[12] so[13] so[14] so[15] so[16] so[17] so[18] so[19] so[1] so[2] so[3] so[4] so[5] so[6] so[7] so[8] so[9] </list> 2400.07/2400.10 v <values>0 4 4 4 4 4 4 4 4 4 4 0 0 0 1 1 2 2 3 4 0 0 0 0 0 0 1 1 2 3 4 0 0 0 0 0 0 0 0 0 0 2 2 3 3 3 3 3 4 4 4 0 0 0 1 1 1 2 2 2 1 3 3 3 3 3 3 3 3 3 3 1 2 2 2 2 3 3 3 3 0 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 2 3 3 4 4 4 4 4 4 4 1 1 1 1 1 1 1 2 2 0 1 1 1 2 3 3 3 3 4 4 0 0 0 0 0 0 0 0 0 0 3 3 3 3 3 3 4 4 4 4 1 1 2 2 3 3 3 3 3 0 6 7 7 7 7 7 7 7 7 8 1 2 2 2 3 3 4 4 5 0 0 0 1 1 2 3 4 4 4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 4 11 3 12 5 15 10 2 14 0 8 17 7 16 13 6 19 18 9 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 0 1 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 2 5 5 6 6 5 6 6 4 3 2 4 4 5 6 6 6 5 5 5 </values> 2400.07/2400.10 v </instantiation> 2400.07/2400.10
OK 6
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 (15280 MiB free)
memory of node 1: 16384 MiB (15444 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408871-1569794305/watcher-4408871-1569794305 -o /tmp/evaluation-result-4408871-1569794305/solver-4408871-1569794305 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1569787540-6947 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408871-1569794305.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=8012, runsolver pid=8009
Current StackSize limit: 8192 KiB
[startup+0.100158 s]*
/proc/loadavg: 2.07 2.09 2.07 3/197 8013
/proc/meminfo: memFree=31457504/32770624 swapFree=66941828/67108860
[pid=8012] ppid=8009 vsize=32736 memory=9260 CPUtime=0.1 cores=1,3,5,7
/proc/8012/stat : 8012 (cosoco) R 8009 8012 6915 0 -1 4202496 2523 0 0 0 10 0 0 0 20 0 1 0 555702712 33521664 2315 33554432000 4194304 6211132 140724506930016 140724506926552 5076402 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20152320 140724506932235 140724506932337 140724506932337 140724506935246 0
/proc/8012/statm: 8184 2315 910 493 0 1489 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32736 KiB
Current children cumulated memory: 9260 KiB
[startup+0.20962 s]*
/proc/loadavg: 2.07 2.09 2.07 3/197 8013
/proc/meminfo: memFree=31457132/32770624 swapFree=66941828/67108860
[pid=8012] ppid=8009 vsize=33000 memory=9524 CPUtime=0.21 cores=1,3,5,7
/proc/8012/stat : 8012 (cosoco) R 8009 8012 6915 0 -1 4202496 2597 0 0 0 21 0 0 0 20 0 1 0 555702712 33792000 2381 33554432000 4194304 6211132 140724506930016 140724506926552 5039721 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20152320 140724506932235 140724506932337 140724506932337 140724506935246 0
/proc/8012/statm: 8250 2381 911 493 0 1555 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33000 KiB
Current children cumulated memory: 9524 KiB
[startup+0.309028 s]*
/proc/loadavg: 2.07 2.09 2.07 3/197 8013
/proc/meminfo: memFree=31456868/32770624 swapFree=66941828/67108860
[pid=8012] ppid=8009 vsize=33000 memory=9524 CPUtime=0.31 cores=1,3,5,7
/proc/8012/stat : 8012 (cosoco) R 8009 8012 6915 0 -1 4202496 2597 0 0 0 31 0 0 0 20 0 1 0 555702712 33792000 2381 33554432000 4194304 6211132 140724506930016 140724506926552 5035320 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20152320 140724506932235 140724506932337 140724506932337 140724506935246 0
/proc/8012/statm: 8250 2381 911 493 0 1555 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 33000 KiB
Current children cumulated memory: 9524 KiB
[startup+0.700276 s]
/proc/loadavg: 2.07 2.09 2.07 3/197 8013
/proc/meminfo: memFree=31456868/32770624 swapFree=66941828/67108860
[pid=8012] ppid=8009 vsize=33000 memory=9524 CPUtime=0.69 cores=1,3,5,7
/proc/8012/stat : 8012 (cosoco) R 8009 8012 6915 0 -1 4202496 2597 0 0 0 69 0 0 0 20 0 1 0 555702712 33792000 2381 33554432000 4194304 6211132 140724506930016 140724506917896 5039121 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20152320 140724506932235 140724506932337 140724506932337 140724506935246 0
/proc/8012/statm: 8250 2381 911 493 0 1555 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 33000 KiB
Current children cumulated memory: 9524 KiB
[startup+1.50028 s]
/proc/loadavg: 2.07 2.09 2.07 3/197 8013
/proc/meminfo: memFree=31456484/32770624 swapFree=66941828/67108860
[pid=8012] ppid=8009 vsize=33132 memory=9788 CPUtime=1.49 cores=1,3,5,7
/proc/8012/stat : 8012 (cosoco) R 8009 8012 6915 0 -1 4202496 2624 0 0 0 149 0 0 0 20 0 1 0 555702712 33927168 2447 33554432000 4194304 6211132 140724506930016 140724506928152 5076434 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20152320 140724506932235 140724506932337 140724506932337 140724506935246 0
/proc/8012/statm: 8283 2447 911 493 0 1588 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 33132 KiB
Current children cumulated memory: 9788 KiB
[startup+3.10902 s]
/proc/loadavg: 2.07 2.09 2.07 3/197 8013
/proc/meminfo: memFree=31456484/32770624 swapFree=66941828/67108860
[pid=8012] ppid=8009 vsize=33132 memory=9852 CPUtime=3.1 cores=1,3,5,7
/proc/8012/stat : 8012 (cosoco) R 8009 8012 6915 0 -1 4202496 3931 0 0 0 310 0 0 0 20 0 1 0 555702712 33927168 2463 33554432000 4194304 6211132 140724506930016 140724506928152 5009393 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20152320 140724506932235 140724506932337 140724506932337 140724506935246 0
/proc/8012/statm: 8283 2463 911 493 0 1588 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 33132 KiB
Current children cumulated memory: 9852 KiB
[startup+6.30028 s]
/proc/loadavg: 2.07 2.09 2.07 3/197 8013
/proc/meminfo: memFree=31456452/32770624 swapFree=66941828/67108860
[pid=8012] ppid=8009 vsize=33132 memory=9852 CPUtime=6.29 cores=1,3,5,7
/proc/8012/stat : 8012 (cosoco) R 8009 8012 6915 0 -1 4202496 5234 0 0 0 629 0 0 0 20 0 1 0 555702712 33927168 2463 33554432000 4194304 6211132 140724506930016 140724506928152 5149040 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20152320 140724506932235 140724506932337 140724506932337 140724506935246 0
/proc/8012/statm: 8283 2463 911 493 0 1588 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 33132 KiB
Current children cumulated memory: 9852 KiB
[startup+12.7003 s]
/proc/loadavg: 2.06 2.09 2.07 3/199 8041
/proc/meminfo: memFree=31453560/32770624 swapFree=66941828/67108860
[pid=8012] ppid=8009 vsize=33132 memory=9852 CPUtime=12.69 cores=1,3,5,7
/proc/8012/stat : 8012 (cosoco) R 8009 8012 6915 0 -1 4202496 6547 0 0 0 1269 0 0 0 20 0 1 0 555702712 33927168 2463 33554432000 4194304 6211132 140724506930016 140724506928152 5149240 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20152320 140724506932235 140724506932337 140724506932337 140724506935246 0
/proc/8012/statm: 8283 2463 911 493 0 1588 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 33132 KiB
Current children cumulated memory: 9852 KiB
[startup+25.5003 s]
/proc/loadavg: 2.05 2.09 2.07 3/198 8041
/proc/meminfo: memFree=31453792/32770624 swapFree=66941828/67108860
[pid=8012] ppid=8009 vsize=33132 memory=9852 CPUtime=25.49 cores=1,3,5,7
/proc/8012/stat : 8012 (cosoco) R 8009 8012 6915 0 -1 4202496 9250 0 0 0 2549 0 0 0 20 0 1 0 555702712 33927168 2463 33554432000 4194304 6211132 140724506930016 140724506928152 5039343 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20152320 140724506932235 140724506932337 140724506932337 140724506935246 0
/proc/8012/statm: 8283 2463 911 493 0 1588 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 33132 KiB
Current children cumulated memory: 9852 KiB
[startup+51.1091 s]
/proc/loadavg: 2.03 2.08 2.07 3/198 8042
/proc/meminfo: memFree=31454188/32770624 swapFree=66941828/67108860
[pid=8012] ppid=8009 vsize=33132 memory=9852 CPUtime=51.1 cores=1,3,5,7
/proc/8012/stat : 8012 (cosoco) R 8009 8012 6915 0 -1 4202496 10555 0 0 0 5110 0 0 0 20 0 1 0 555702712 33927168 2463 33554432000 4194304 6211132 140724506930016 140724506928152 5186344 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20152320 140724506932235 140724506932337 140724506932337 140724506935246 0
/proc/8012/statm: 8283 2463 911 493 0 1588 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 33132 KiB
Current children cumulated memory: 9852 KiB
[startup+102.3 s]
/proc/loadavg: 2.01 2.07 2.06 3/199 8047
/proc/meminfo: memFree=31453700/32770624 swapFree=66941828/67108860
[pid=8012] ppid=8009 vsize=33132 memory=9852 CPUtime=102.29 cores=1,3,5,7
/proc/8012/stat : 8012 (cosoco) R 8009 8012 6915 0 -1 4202496 10930 0 0 0 10229 0 0 0 20 0 1 0 555702712 33927168 2463 33554432000 4194304 6211132 140724506930016 140724506928152 5017444 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20152320 140724506932235 140724506932337 140724506932337 140724506935246 0
/proc/8012/statm: 8283 2463 911 493 0 1588 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 33132 KiB
Current children cumulated memory: 9852 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/198 8051
/proc/meminfo: memFree=31454900/32770624 swapFree=66941828/67108860
[pid=8012] ppid=8009 vsize=33132 memory=9852 CPUtime=162.29 cores=1,3,5,7
/proc/8012/stat : 8012 (cosoco) R 8009 8012 6915 0 -1 4202496 11313 0 0 0 16229 0 0 0 20 0 1 0 555702712 33927168 2463 33554432000 4194304 6211132 140724506930016 140724506928152 5396791 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20152320 140724506932235 140724506932337 140724506932337 140724506935246 0
/proc/8012/statm: 8283 2463 911 493 0 1588 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 33132 KiB
Current children cumulated memory: 9852 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/198 8055
/proc/meminfo: memFree=31454736/32770624 swapFree=66941828/67108860
[pid=8012] ppid=8009 vsize=33132 memory=9852 CPUtime=222.29 cores=1,3,5,7
/proc/8012/stat : 8012 (cosoco) R 8009 8012 6915 0 -1 4202496 11684 0 0 0 22229 0 0 0 20 0 1 0 555702712 33927168 2463 33554432000 4194304 6211132 140724506930016 140724506928152 5039038 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20152320 140724506932235 140724506932337 140724506932337 140724506935246 0
/proc/8012/statm: 8283 2463 911 493 0 1588 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 33132 KiB
Current children cumulated memory: 9852 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 8061
/proc/meminfo: memFree=31454532/32770624 swapFree=66941828/67108860
[pid=8012] ppid=8009 vsize=33132 memory=9852 CPUtime=282.29 cores=1,3,5,7
/proc/8012/stat : 8012 (cosoco) R 8009 8012 6915 0 -1 4202496 12061 0 0 0 28229 0 0 0 20 0 1 0 555702712 33927168 2463 33554432000 4194304 6211132 140724506930016 140724506928152 5075312 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20152320 140724506932235 140724506932337 140724506932337 140724506935246 0
/proc/8012/statm: 8283 2463 911 493 0 1588 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 33132 KiB
Current children cumulated memory: 9852 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/197 8125
/proc/meminfo: memFree=31386708/32770624 swapFree=66941828/67108860
[pid=8012] ppid=8009 vsize=33132 memory=9852 CPUtime=342.28 cores=1,3,5,7
/proc/8012/stat : 8012 (cosoco) R 8009 8012 6915 0 -1 4202496 12437 0 0 0 34228 0 0 0 20 0 1 0 555702712 33927168 2463 33554432000 4194304 6211132 140724506930016 140724506928152 5038947 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20152320 140724506932235 140724506932337 140724506932337 140724506935246 0
/proc/8012/statm: 8283 2463 911 493 0 1588 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 33132 KiB
Current children cumulated memory: 9852 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/197 8129
/proc/meminfo: memFree=31385656/32770624 swapFree=66941828/67108860
[pid=8012] ppid=8009 vsize=33132 memory=9852 CPUtime=402.28 cores=1,3,5,7
/proc/8012/stat : 8012 (cosoco) R 8009 8012 6915 0 -1 4202496 12816 0 0 0 40228 0 0 0 20 0 1 0 555702712 33927168 2463 33554432000 4194304 6211132 140724506930016 140724506928152 5039038 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20152320 140724506932235 140724506932337 140724506932337 140724506935246 0
/proc/8012/statm: 8283 2463 911 493 0 1588 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 33132 KiB
Current children cumulated memory: 9852 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 8137
/proc/meminfo: memFree=31385248/32770624 swapFree=66941828/67108860
[pid=8012] ppid=8009 vsize=33132 memory=9852 CPUtime=462.28 cores=1,3,5,7
/proc/8012/stat : 8012 (cosoco) R 8009 8012 6915 0 -1 4202496 13187 0 0 0 46228 0 0 0 20 0 1 0 555702712 33927168 2463 33554432000 4194304 6211132 140724506930016 140724506928152 5389456 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20152320 140724506932235 140724506932337 140724506932337 140724506935246 0
/proc/8012/statm: 8283 2463 911 493 0 1588 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 33132 KiB
Current children cumulated memory: 9852 KiB
################
# More data... #
################
/proc/8012/statm: 8283 2463 911 493 0 1588 0
Current children cumulated CPU time: 1662.27 s
Current children cumulated vsize: 33132 KiB
Current children cumulated memory: 9852 KiB
[startup+1722.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/198 8253
/proc/meminfo: memFree=31386320/32770624 swapFree=66941828/67108860
[pid=8012] ppid=8009 vsize=33132 memory=9852 CPUtime=1722.27 cores=1,3,5,7
/proc/8012/stat : 8012 (cosoco) R 8009 8012 6915 0 -1 4202496 20645 0 0 0 172226 1 0 0 20 0 1 0 555702712 33927168 2463 33554432000 4194304 6211132 140724506930016 140724506928152 5035283 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20152320 140724506932235 140724506932337 140724506932337 140724506935246 0
/proc/8012/statm: 8283 2463 911 493 0 1588 0
Current children cumulated CPU time: 1722.27 s
Current children cumulated vsize: 33132 KiB
Current children cumulated memory: 9852 KiB
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/198 8265
/proc/meminfo: memFree=31386772/32770624 swapFree=66941828/67108860
[pid=8012] ppid=8009 vsize=33132 memory=9852 CPUtime=1782.27 cores=1,3,5,7
/proc/8012/stat : 8012 (cosoco) R 8009 8012 6915 0 -1 4202496 21070 0 0 0 178226 1 0 0 20 0 1 0 555702712 33927168 2463 33554432000 4194304 6211132 140724506930016 140724506928152 5150929 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20152320 140724506932235 140724506932337 140724506932337 140724506935246 0
/proc/8012/statm: 8283 2463 911 493 0 1588 0
Current children cumulated CPU time: 1782.27 s
Current children cumulated vsize: 33132 KiB
Current children cumulated memory: 9852 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/198 8269
/proc/meminfo: memFree=31386428/32770624 swapFree=66941828/67108860
[pid=8012] ppid=8009 vsize=33132 memory=9852 CPUtime=1842.27 cores=1,3,5,7
/proc/8012/stat : 8012 (cosoco) R 8009 8012 6915 0 -1 4202496 21375 0 0 0 184226 1 0 0 20 0 1 0 555702712 33927168 2463 33554432000 4194304 6211132 140724506930016 140724506928152 5008827 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20152320 140724506932235 140724506932337 140724506932337 140724506935246 0
/proc/8012/statm: 8283 2463 911 493 0 1588 0
Current children cumulated CPU time: 1842.27 s
Current children cumulated vsize: 33132 KiB
Current children cumulated memory: 9852 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 8275
/proc/meminfo: memFree=31385948/32770624 swapFree=66941828/67108860
[pid=8012] ppid=8009 vsize=33132 memory=9852 CPUtime=1902.27 cores=1,3,5,7
/proc/8012/stat : 8012 (cosoco) R 8009 8012 6915 0 -1 4202496 21682 0 0 0 190226 1 0 0 20 0 1 0 555702712 33927168 2463 33554432000 4194304 6211132 140724506930016 140724506928152 5008831 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20152320 140724506932235 140724506932337 140724506932337 140724506935246 0
/proc/8012/statm: 8283 2463 911 493 0 1588 0
Current children cumulated CPU time: 1902.27 s
Current children cumulated vsize: 33132 KiB
Current children cumulated memory: 9852 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 8279
/proc/meminfo: memFree=31386540/32770624 swapFree=66941828/67108860
[pid=8012] ppid=8009 vsize=33132 memory=9852 CPUtime=1962.27 cores=1,3,5,7
/proc/8012/stat : 8012 (cosoco) R 8009 8012 6915 0 -1 4202496 22067 0 0 0 196226 1 0 0 20 0 1 0 555702712 33927168 2463 33554432000 4194304 6211132 140724506930016 140724506928152 5396441 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20152320 140724506932235 140724506932337 140724506932337 140724506935246 0
/proc/8012/statm: 8283 2463 911 493 0 1588 0
Current children cumulated CPU time: 1962.27 s
Current children cumulated vsize: 33132 KiB
Current children cumulated memory: 9852 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 8283
/proc/meminfo: memFree=31385980/32770624 swapFree=66941828/67108860
[pid=8012] ppid=8009 vsize=33132 memory=9852 CPUtime=2022.27 cores=1,3,5,7
/proc/8012/stat : 8012 (cosoco) R 8009 8012 6915 0 -1 4202496 22383 0 0 0 202226 1 0 0 20 0 1 0 555702712 33927168 2463 33554432000 4194304 6211132 140724506930016 140724506928152 5409456 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20152320 140724506932235 140724506932337 140724506932337 140724506935246 0
/proc/8012/statm: 8283 2463 911 493 0 1588 0
Current children cumulated CPU time: 2022.27 s
Current children cumulated vsize: 33132 KiB
Current children cumulated memory: 9852 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 8289
/proc/meminfo: memFree=31386248/32770624 swapFree=66941828/67108860
[pid=8012] ppid=8009 vsize=33132 memory=9852 CPUtime=2082.27 cores=1,3,5,7
/proc/8012/stat : 8012 (cosoco) R 8009 8012 6915 0 -1 4202496 22737 0 0 0 208226 1 0 0 20 0 1 0 555702712 33927168 2463 33554432000 4194304 6211132 140724506930016 140724506928152 5409497 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20152320 140724506932235 140724506932337 140724506932337 140724506935246 0
/proc/8012/statm: 8283 2463 911 493 0 1588 0
Current children cumulated CPU time: 2082.27 s
Current children cumulated vsize: 33132 KiB
Current children cumulated memory: 9852 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/197 8293
/proc/meminfo: memFree=31386852/32770624 swapFree=66941828/67108860
[pid=8012] ppid=8009 vsize=33132 memory=9852 CPUtime=2142.27 cores=1,3,5,7
/proc/8012/stat : 8012 (cosoco) R 8009 8012 6915 0 -1 4202496 23125 0 0 0 214226 1 0 0 20 0 1 0 555702712 33927168 2463 33554432000 4194304 6211132 140724506930016 140724506928152 5082393 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20152320 140724506932235 140724506932337 140724506932337 140724506935246 0
/proc/8012/statm: 8283 2463 911 493 0 1588 0
Current children cumulated CPU time: 2142.27 s
Current children cumulated vsize: 33132 KiB
Current children cumulated memory: 9852 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/197 8297
/proc/meminfo: memFree=31386172/32770624 swapFree=66941828/67108860
[pid=8012] ppid=8009 vsize=33132 memory=9852 CPUtime=2202.26 cores=1,3,5,7
/proc/8012/stat : 8012 (cosoco) R 8009 8012 6915 0 -1 4202496 23543 0 0 0 220225 1 0 0 20 0 1 0 555702712 33927168 2463 33554432000 4194304 6211132 140724506930016 140724506928152 5186260 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20152320 140724506932235 140724506932337 140724506932337 140724506935246 0
/proc/8012/statm: 8283 2463 911 493 0 1588 0
Current children cumulated CPU time: 2202.26 s
Current children cumulated vsize: 33132 KiB
Current children cumulated memory: 9852 KiB
[startup+2262.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/198 8303
/proc/meminfo: memFree=31385676/32770624 swapFree=66941828/67108860
[pid=8012] ppid=8009 vsize=33132 memory=9852 CPUtime=2262.26 cores=1,3,5,7
/proc/8012/stat : 8012 (cosoco) R 8009 8012 6915 0 -1 4202496 23954 0 0 0 226225 1 0 0 20 0 1 0 555702712 33927168 2463 33554432000 4194304 6211132 140724506930016 140724506928152 5039261 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20152320 140724506932235 140724506932337 140724506932337 140724506935246 0
/proc/8012/statm: 8283 2463 911 493 0 1588 0
Current children cumulated CPU time: 2262.26 s
Current children cumulated vsize: 33132 KiB
Current children cumulated memory: 9852 KiB
[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/197 8307
/proc/meminfo: memFree=31386144/32770624 swapFree=66941828/67108860
[pid=8012] ppid=8009 vsize=33132 memory=9852 CPUtime=2322.26 cores=1,3,5,7
/proc/8012/stat : 8012 (cosoco) R 8009 8012 6915 0 -1 4202496 24369 0 0 0 232225 1 0 0 20 0 1 0 555702712 33927168 2463 33554432000 4194304 6211132 140724506930016 140724506928152 5078953 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20152320 140724506932235 140724506932337 140724506932337 140724506935246 0
/proc/8012/statm: 8283 2463 911 493 0 1588 0
Current children cumulated CPU time: 2322.26 s
Current children cumulated vsize: 33132 KiB
Current children cumulated memory: 9852 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 8319
/proc/meminfo: memFree=31386060/32770624 swapFree=66941828/67108860
[pid=8012] ppid=8009 vsize=33132 memory=9852 CPUtime=2382.26 cores=1,3,5,7
/proc/8012/stat : 8012 (cosoco) R 8009 8012 6915 0 -1 4202496 24779 0 0 0 238225 1 0 0 20 0 1 0 555702712 33927168 2463 33554432000 4194304 6211132 140724506930016 140724506928152 5409485 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20152320 140724506932235 140724506932337 140724506932337 140724506935246 0
/proc/8012/statm: 8283 2463 911 493 0 1588 0
Current children cumulated CPU time: 2382.26 s
Current children cumulated vsize: 33132 KiB
Current children cumulated memory: 9852 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.11 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 8323
/proc/meminfo: memFree=31385440/32770624 swapFree=66941828/67108860
[pid=8012] ppid=8009 vsize=33132 memory=9852 CPUtime=2400.07 cores=1,3,5,7
/proc/8012/stat : 8012 (cosoco) R 8009 8012 6915 0 -1 4202496 25034 0 0 0 240006 1 0 0 20 0 1 0 555702712 33927168 2463 33554432000 4194304 6211132 140724506930016 140724506928152 5017274 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20152320 140724506932235 140724506932337 140724506932337 140724506935246 0
/proc/8012/statm: 8283 2463 911 493 0 1588 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 33132 KiB
Current children cumulated memory: 9852 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.11 s]
# the end of solver process 8012 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2400.06 s, system=0.017999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.11 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 8323
/proc/meminfo: memFree=31385440/32770624 swapFree=66941828/67108860
[pid=8012] ppid=8009 vsize=33132 memory=9852 CPUtime=2400.07 cores=1,3,5,7
/proc/8012/stat : 8012 (cosoco) R 8009 8012 6915 0 -1 4202496 25034 0 0 0 240006 1 0 0 20 0 1 0 555702712 33927168 2463 33554432000 4194304 6211132 140724506930016 140724506928152 5017274 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 20152320 140724506932235 140724506932337 140724506932337 140724506935246 0
/proc/8012/statm: 8283 2463 911 493 0 1588 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 33132 KiB
Current children cumulated memory: 9852 KiB
Child status: 1
Real time (s): 2400.11
CPU time (s): 2400.08
CPU user time (s): 2400.06
CPU system time (s): 0.017999
CPU usage (%): 99.9988
Max. virtual memory (cumulated for all children) (KiB): 33132
Max. memory (cumulated for all children) (KiB): 9852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.06
system time used= 0.017999
maximum resident set size= 9916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25107
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= 16
involuntary context switches= 614
# summary of solver processes directly reported to runsolver:
# pid: 8012
# total CPU time (s): 2400.08
# total CPU user time (s): 2400.06
# total CPU system time (s): 0.017999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.41343 second user time and 17.5183 second system time
The end
Begin job on node139 at 2019-09-30 00:00:52 IDJOB=4408871 IDBENCH=126800 IDSOLVER=2875 FILE ID=node139/4408871-1569794305 RUNJOBID= node139-1569787540-6947 PBS_JOBID= 21705823 Free space on /tmp= 62028 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1-s1/OpenStacks-m1-wbo-10-20-1.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408871-1569794305/watcher-4408871-1569794305 -o /tmp/evaluation-result-4408871-1569794305/solver-4408871-1569794305 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1569787540-6947 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408871-1569794305.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b636351ed0990ca81125a03dae8bdef8 RANDOM SEED=1835128528 node139.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.57 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.57 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.57 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.57 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: 31462988 kB MemAvailable: 31812692 kB Buffers: 207252 kB Cached: 482676 kB SwapCached: 64664 kB Active: 408080 kB Inactive: 355064 kB Active(anon): 25608 kB Inactive(anon): 128344 kB Active(file): 382472 kB Inactive(file): 226720 kB Unevictable: 108212 kB Mlocked: 108212 kB SwapTotal: 67108860 kB SwapFree: 66941828 kB Dirty: 2796 kB Writeback: 0 kB AnonPages: 120276 kB Mapped: 28508 kB Shmem: 72116 kB Slab: 141784 kB SReclaimable: 112692 kB SUnreclaim: 29092 kB KernelStack: 3616 kB PageTables: 5288 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 563660 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 71680 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 62024 MiB End job on node139 at 2019-09-30 00:40:53