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 | OPT | 96 | 1320.79 | 1320.75 |
| Name | Tal/ Tal-03_c18.xml |
| MD5SUM | fb5ba5d4d49d61a1ee3ee3c25fa47163 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 96 |
| Best CPU time to get the best result obtained on this benchmark | 33.2263 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 404 |
| Number of constraints | 286 |
| Number of domains | 10 |
| Minimum domain size | 1 |
| Maximum domain size | 42 |
| Distribution of domain sizes | [{"size":1,"count":63},{"size":2,"count":4},{"size":3,"count":5},{"size":4,"count":6},{"size":5,"count":7},{"size":6,"count":43},{"size":7,"count":9},{"size":8,"count":28},{"size":42,"count":62}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 13 |
| Distribution of variable degrees | [{"degree":0,"count":177},{"degree":1,"count":63},{"degree":2,"count":47},{"degree":3,"count":8},{"degree":4,"count":9},{"degree":5,"count":25},{"degree":6,"count":17},{"degree":7,"count":12},{"degree":8,"count":12},{"degree":9,"count":17},{"degree":10,"count":8},{"degree":11,"count":5},{"degree":12,"count":3},{"degree":13,"count":1}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 10 |
| Distribution of constraint arities | [{"arity":1,"count":88},{"arity":2,"count":90},{"arity":3,"count":30},{"arity":4,"count":10},{"arity":5,"count":16},{"arity":6,"count":15},{"arity":7,"count":14},{"arity":8,"count":12},{"arity":9,"count":9},{"arity":10,"count":2}] |
| Number of extensional constraints | 49 |
| Number of intensional constraints | 225 |
| Distribution of constraint types | [{"type":"extension","count":49},{"type":"intension","count":225},{"type":"count","count":12}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c AllEqual constraint using 1 generic x=y constraints 0.00/0.00 c AllEqual constraint using 1 generic x=y constraints 0.00/0.00 c AllEqual constraint using 1 generic x=y constraints 0.00/0.00 c AllEqual constraint using 1 generic x=y constraints 0.00/0.00 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.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.02 c AllEqual constraint using 1 generic x=y constraints 0.00/0.03 c 0.00/0.03 c This is cosoco 2.00 -- 0.00/0.03 c 0.00/0.03 c command line: cosoco -lc -model -restarts -stick HOME/instance-4408309-1569813398.xml 0.00/0.03 c intension imp(eq(l[2][1],0),eq(i[2][1],6)) -> extension (support ? 0) - 6tuples 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension imp(eq(l[4][1],0),eq(i[4][1],5)) -> extension (support ? 0) - 5tuples 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension imp(eq(l[6][1],0),eq(i[6][1],4)) -> extension (support ? 0) - 4tuples 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension imp(eq(l[8][1],0),eq(i[8][1],3)) -> extension (support ? 0) - 3tuples 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension imp(eq(l[10][1],0),eq(i[10][1],2)) -> extension (support ? 0) - 2tuples 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension imp(eq(l[12][1],0),eq(i[12][1],1)) -> extension (support ? 0) - 1tuples 0.00/0.04 c intension imp(le(1,l[2][1]),lt(i[2][0],i[2][1])) -> extension (support ? 1) - 910tuples 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension imp(le(1,l[4][1]),lt(i[4][0],i[4][1])) -> extension (support ? 1) - 651tuples 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension imp(le(1,l[6][1]),lt(i[6][0],i[6][1])) -> extension (support ? 1) - 435tuples 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension imp(le(1,l[8][1]),lt(i[8][0],i[8][1])) -> extension (support ? 1) - 262tuples 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension imp(le(1,l[10][1]),lt(i[10][0],i[10][1])) -> extension (support ? 1) - 132tuples 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension imp(le(1,l[12][1]),lt(i[12][0],i[12][1])) -> extension (support ? 1) - 45tuples 0.00/0.05 c intension imp(eq(l[2][0],0),eq(l[2][1],0)) -> extension (support ? 0) - 41tuples 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension xor(le(1,a[1][0]),eq(l[0][0],0)) -> extension (support ? 0) - 48tuples 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension xor(le(2,a[13][0]),eq(l[12][1],0)) -> extension (support ? 0) - 88tuples 0.10/0.13 c intension xor(le(1,a[1][1]),le(2,a[1][0]),eq(l[0][1],0)) -> extension (support ? 1) - 864tuples 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension xor(le(2,a[11][1]),le(3,a[11][0]),eq(l[10][2],0)) -> extension (support ? 1) - 1184tuples 0.10/0.16 c intension xor(le(1,a[1][2]),le(2,a[1][1]),le(3,a[1][0]),eq(l[0][2],0)) -> extension (support ? 0) - 9792tuples 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension xor(le(2,a[9][2]),le(3,a[9][1]),le(4,a[9][0]),eq(l[8][3],0)) -> extension (support ? 1) - 10752tuples 0.10/0.21 c intension iff(eq(a[1][0],0),eq(l[1][0],0)) -> extension (support ? 0) - 48tuples 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c enable optimization 0.21/0.30 c ========================================[ Problem Statistics ]=========================================== 0.21/0.30 c | 0.21/0.30 c | Parse time : 0.22 s 0.21/0.30 c | 0.21/0.30 c | Variables: 404 0.21/0.30 c | Domain Sizes: 1..42 0.21/0.30 c | 0.21/0.30 c | Constraints: 287 0.21/0.30 c | Arity: 1..98 -- Unary: 88 -- Binary: 90 -- Ternary: 30 0.21/0.30 c | 0.21/0.30 c | Types: 0.21/0.30 c | (X = Y): 12 0.21/0.30 c | Exactly K variable: 12 0.21/0.30 c | Extension: 161 (nb tuples: 1..10752) -- (shared: 128) 0.21/0.30 c | Intension: 13 0.21/0.30 c | Sum: 1 0.21/0.30 c | Unary: 88 0.21/0.30 c | 0.21/0.30 c | Objective: Minimize Sum 0.21/0.30 0.21/0.30 c ========================================================================================================= 0.21/0.30 o 144 0.21/0.30 c 1 calls to solver(id=0): best=144 lower=0 upper=143 0.31/0.32 o 132 0.31/0.34 o 128 0.31/0.34 c 3 calls to solver(id=0): best=128 lower=0 upper=127 0.31/0.34 o 124 0.51/0.53 o 120 0.51/0.53 c 5 calls to solver(id=0): best=120 lower=0 upper=119 9.49/9.55 o 116 11.00/11.06 o 112 11.00/11.06 c 7 calls to solver(id=0): best=112 lower=0 upper=111 39.49/39.51 o 108 39.89/39.97 o 104 39.89/39.97 c 9 calls to solver(id=0): best=104 lower=0 upper=103 40.29/40.37 o 100 126.69/126.79 o 96 126.69/126.79 c 11 calls to solver(id=0): best=96 lower=0 upper=95 1320.73/1320.75 s OPTIMUM FOUND 1320.73/1320.75 c call to solver : 12 1320.73/1320.75 c 1320.73/1320.75 c restarts : 367 1320.73/1320.75 c conflicts : 2959030 (2240 /sec) 1320.73/1320.75 c decisions : 25713309 (19468 /sec) 1320.73/1320.75 c propagations : 384516171 (291127 /sec) 1320.73/1320.75 c root propagations : 1674 1320.73/1320.75 c filter calls : 630154288 (477106 /sec) 1320.73/1320.75 c useless filter calls : 515691231 (81 %) 1320.73/1320.75 c Memory used : 32.61 MB 1320.73/1320.75 c Best bound time (wc) : 126.786 s 1320.73/1320.75 c CPU time : 1320.78 s 1320.73/1320.75 c real time : 1320.75 s 1320.73/1320.75 1320.73/1320.75 1320.73/1320.75 v <instantiation type='solution' cost='96'> 1320.73/1320.75 v <list>a[0][0] a[0][1] a[0][2] a[0][3] a[0][4] a[0][5] a[0][6] a[10][0] a[10][1] a[10][2] a[10][3] a[10][4] a[10][5] a[10][6] a[11][0] a[11][1] a[11][2] a[11][3] a[11][4] a[11][5] a[11][6] a[12][0] a[12][1] a[12][2] a[12][3] a[12][4] a[12][5] a[12][6] a[13][0] a[13][1] a[13][2] a[13][3] a[13][4] a[13][5] a[13][6] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[2][0] a[2][1] a[2][2] a[2][3] a[2][4] a[2][5] a[2][6] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[3][6] a[4][0] a[4][1] a[4][2] a[4][3] a[4][4] a[4][5] a[4][6] a[5][0] a[5][1] a[5][2] a[5][3] a[5][4] a[5][5] a[5][6] a[6][0] a[6][1] a[6][2] a[6][3] a[6][4] a[6][5] a[6][6] a[7][0] a[7][1] a[7][2] a[7][3] a[7][4] a[7][5] a[7][6] a[8][0] a[8][1] a[8][2] a[8][3] a[8][4] a[8][5] a[8][6] a[9][0] a[9][1] a[9][2] a[9][3] a[9][4] a[9][5] a[9][6] c[0][0] c[0][1] c[0][2] c[0][3] c[0][4] c[0][5] c[0][6] c[10][0] c[10][1] c[10][2] c[10][3] c[10][4] c[10][5] c[10][6] c[11][0] c[11][1] c[11][2] c[11][3] c[11][4] c[11][5] c[11][6] c[12][0] c[12][1] c[12][2] c[12][3] c[12][4] c[12][5] c[12][6] c[13][0] c[13][1] c[13][2] c[13][3] c[13][4] c[13][5] c[13][6] c[1][0] c[1][1] c[1][2] c[1][3] c[1][4] c[1][5] c[1][6] c[2][0] c[2][1] c[2][2] c[2][3] c[2][4] c[2][5] c[2][6] c[3][0] c[3][1] c[3][2] c[3][3] c[3][4] c[3][5] c[3][6] c[4][0] c[4][1] c[4][2] c[4][3] c[4][4] c[4][5] c[4][6] c[5][0] c[5][1] c[5][2] c[5][3] c[5][4] c[5][5] c[5][6] c[6][0] c[6][1] c[6][2] c[6][3] c[6][4] c[6][5] c[6][6] c[7][0] c[7][1] c[7][2] c[7][3] c[7][4] c[7][5] c[7][6] c[8][0] c[8][1] c[8][2] c[8][3] c[8][4] c[8][5] c[8][6] c[9][0] c[9][1] c[9][2] c[9][3] c[9][4] c[9][5] c[9][6] cnt[0] cnt[10] cnt[11] cnt[1] cnt[2] cnt[3] cnt[4] cnt[5] cnt[6] cnt[7] cnt[8] cnt[9] i[0][0] i[0][1] i[0][2] i[0][3] i[0][4] i[0][5] i[0][6] i[10][0] i[10][1] i[10][2] i[10][3] i[10][4] i[10][5] i[10][6] i[11][0] i[11][1] i[11][2] i[11][3] i[11][4] i[11][5] i[11][6] i[12][0] i[12][1] i[12][2] i[12][3] i[12][4] i[12][5] i[12][6] i[13][0] i[13][1] i[13][2] i[13][3] i[13][4] i[13][5] i[13][6] i[1][0] i[1][1] i[1][2] i[1][3] i[1][4] i[1][5] i[1][6] i[2][0] i[2][1] i[2][2] i[2][3] i[2][4] i[2][5] i[2][6] i[3][0] i[3][1] i[3][2] i[3][3] i[3][4] i[3][5] i[3][6] i[4][0] i[4][1] i[4][2] i[4][3] i[4][4] i[4][5] i[4][6] i[5][0] i[5][1] i[5][2] i[5][3] i[5][4] i[5][5] i[5][6] i[6][0] i[6][1] i[6][2] i[6][3] i[6][4] i[6][5] i[6][6] i[7][0] i[7][1] i[7][2] i[7][3] i[7][4] i[7][5] i[7][6] i[8][0] i[8][1] i[8][2] i[8][3] i[8][4] i[8][5] i[8][6] i[9][0] i[9][1] i[9][2] i[9][3] i[9][4] i[9][5] i[9][6] l[0][0] l[0][1] l[0][2] l[0][3] l[0][4] l[0][5] l[0][6] l[10][0] l[10][1] l[10][2] l[10][3] l[10][4] l[10][5] l[10][6] l[11][0] l[11][1] l[11][2] l[11][3] l[11][4] l[11][5] l[11][6] l[12][0] l[12][1] l[12][2] l[12][3] l[12][4] l[12][5] l[12][6] l[13][0] l[13][1] l[13][2] l[13][3] l[13][4] l[13][5] l[13][6] l[1][0] l[1][1] l[1][2] l[1][3] l[1][4] l[1][5] l[1][6] l[2][0] l[2][1] l[2][2] l[2][3] l[2][4] l[2][5] l[2][6] l[3][0] l[3][1] l[3][2] l[3][3] l[3][4] l[3][5] l[3][6] l[4][0] l[4][1] l[4][2] l[4][3] l[4][4] l[4][5] l[4][6] l[5][0] l[5][1] l[5][2] l[5][3] l[5][4] l[5][5] l[5][6] l[6][0] l[6][1] l[6][2] l[6][3] l[6][4] l[6][5] l[6][6] l[7][0] l[7][1] l[7][2] l[7][3] l[7][4] l[7][5] l[7][6] l[8][0] l[8][1] l[8][2] l[8][3] l[8][4] l[8][5] l[8][6] l[9][0] l[9][1] l[9][2] l[9][3] l[9][4] l[9][5] l[9][6] </list> 1320.73/1320.75 v <values>* * * * * * * * * * * * * * 3 0 * * * * * * * * * * * * 1 * * * * * * 1 2 0 1 1 1 1 * * * * * * * 1 1 1 2 0 1 * * * * * * * * 1 1 1 1 1 * * * * * * * * * 1 1 3 0 * * * * * * * * * * 1 1 1 * * * * 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 16 0 0 4 16 4 0 0 0 0 0 0 0 16 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 16 16 0 0 0 0 0 1 1 1 1 1 1 0 0 1 1 0 0 * * * * * * * 0 1 2 * * * * * * * * * * * 0 1 * * * * * * * * * * * * * * * * * * * 0 1 3 4 5 6 6 * * * * * * * 0 1 2 3 5 5 * * * * * * * * 0 1 2 3 4 * * * * * * * * * 0 1 2 3 * * * * * * * * * * 9 10 12 13 4 16 8 4 4 3 * * * * 6 0 * * * * * 6 0 * * * * * 6 * * * * * * 9 7 0 13 5 4 3 9 7 13 5 4 3 0 7 7 13 8 0 3 * 7 7 13 8 3 0 * 7 7 13 3 3 * * 7 7 13 3 3 * * 7 7 2 0 * * * 7 7 2 0 * * * 4 4 3 * * * * </values> 1320.73/1320.75 v </instantiation> 1320.73/1320.75
OK 96
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 (14676 MiB free)
memory of node 1: 16384 MiB (13084 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408309-1569813398/watcher-4408309-1569813398 -o /tmp/evaluation-result-4408309-1569813398/solver-4408309-1569813398 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1569787351-1203 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408309-1569813398.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=5852, runsolver pid=5849
[startup+0.100152 s]*
/proc/loadavg: 2.09 2.09 2.08 3/199 5853
/proc/meminfo: memFree=28424764/32770624 swapFree=66956692/67108860
[pid=5852] ppid=5849 vsize=29748 memory=6128 CPUtime=0.1 cores=1,3,5,7
/proc/5852/stat : 5852 (cosoco) R 5849 5852 1161 0 -1 4202496 1730 0 0 0 10 0 0 0 20 0 1 0 557611038 30461952 1532 33554432000 4194304 6211132 140723664067808 140723664064344 139981553431680 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 11026432 140723664073739 140723664073841 140723664073841 140723664076750 0
/proc/5852/statm: 7437 1532 864 493 0 742 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29748 KiB
Current children cumulated memory: 6128 KiB
[startup+0.209572 s]*
/proc/loadavg: 2.09 2.09 2.08 3/199 5853
/proc/meminfo: memFree=28422160/32770624 swapFree=66956692/67108860
[pid=5852] ppid=5849 vsize=31740 memory=8116 CPUtime=0.21 cores=1,3,5,7
/proc/5852/stat : 5852 (cosoco) R 5849 5852 1161 0 -1 4202496 2617 0 0 0 21 0 0 0 20 0 1 0 557611038 32501760 2029 33554432000 4194304 6211132 140723664067808 140723664064344 139981537369061 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 11026432 140723664073739 140723664073841 140723664073841 140723664076750 0
/proc/5852/statm: 7935 2029 865 493 0 1240 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 31740 KiB
Current children cumulated memory: 8116 KiB
[startup+0.309124 s]*
/proc/loadavg: 2.09 2.09 2.08 3/199 5853
/proc/meminfo: memFree=28421124/32770624 swapFree=66956692/67108860
[pid=5852] ppid=5849 vsize=33252 memory=9960 CPUtime=0.31 cores=1,3,5,7
/proc/5852/stat : 5852 (cosoco) R 5849 5852 1161 0 -1 4202496 3022 0 0 0 31 0 0 0 20 0 1 0 557611038 34050048 2490 33554432000 4194304 6211132 140723664067808 140723664064344 5164796 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 11026432 140723664073739 140723664073841 140723664073841 140723664076750 0
/proc/5852/statm: 8313 2490 913 493 0 1618 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 33252 KiB
Current children cumulated memory: 9960 KiB
[startup+0.700276 s]
/proc/loadavg: 2.09 2.09 2.08 3/199 5853
/proc/meminfo: memFree=28420964/32770624 swapFree=66956692/67108860
[pid=5852] ppid=5849 vsize=33384 memory=9960 CPUtime=0.69 cores=1,3,5,7
/proc/5852/stat : 5852 (cosoco) R 5849 5852 1161 0 -1 4202496 3053 0 0 0 69 0 0 0 20 0 1 0 557611038 34185216 2490 33554432000 4194304 6211132 140723664067808 140723664065944 5454220 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 11026432 140723664073739 140723664073841 140723664073841 140723664076750 0
/proc/5852/statm: 8346 2490 913 493 0 1651 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 9960 KiB
[startup+1.50027 s]
/proc/loadavg: 2.09 2.09 2.08 3/199 5853
/proc/meminfo: memFree=28420964/32770624 swapFree=66956692/67108860
[pid=5852] ppid=5849 vsize=33384 memory=9960 CPUtime=1.49 cores=1,3,5,7
/proc/5852/stat : 5852 (cosoco) R 5849 5852 1161 0 -1 4202496 3053 0 0 0 149 0 0 0 20 0 1 0 557611038 34185216 2490 33554432000 4194304 6211132 140723664067808 140723664055688 5479751 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 11026432 140723664073739 140723664073841 140723664073841 140723664076750 0
/proc/5852/statm: 8346 2490 913 493 0 1651 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 9960 KiB
[startup+3.10901 s]
/proc/loadavg: 2.09 2.09 2.08 3/199 5853
/proc/meminfo: memFree=28420840/32770624 swapFree=66956692/67108860
[pid=5852] ppid=5849 vsize=33384 memory=10112 CPUtime=3.1 cores=1,3,5,7
/proc/5852/stat : 5852 (cosoco) R 5849 5852 1161 0 -1 4202496 4184 0 0 0 310 0 0 0 20 0 1 0 557611038 34185216 2528 33554432000 4194304 6211132 140723664067808 140723664055688 5380288 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 11026432 140723664073739 140723664073841 140723664073841 140723664076750 0
/proc/5852/statm: 8346 2528 913 493 0 1651 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 10112 KiB
[startup+6.30027 s]
/proc/loadavg: 2.08 2.09 2.08 3/199 5853
/proc/meminfo: memFree=28420624/32770624 swapFree=66956692/67108860
[pid=5852] ppid=5849 vsize=33384 memory=10112 CPUtime=6.29 cores=1,3,5,7
/proc/5852/stat : 5852 (cosoco) R 5849 5852 1161 0 -1 4202496 5294 0 0 0 629 0 0 0 20 0 1 0 557611038 34185216 2528 33554432000 4194304 6211132 140723664067808 140723664055688 5446292 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 11026432 140723664073739 140723664073841 140723664073841 140723664076750 0
/proc/5852/statm: 8346 2528 913 493 0 1651 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 10112 KiB
[startup+12.7003 s]
/proc/loadavg: 2.07 2.09 2.08 3/199 5853
/proc/meminfo: memFree=28420624/32770624 swapFree=66956692/67108860
[pid=5852] ppid=5849 vsize=33384 memory=10112 CPUtime=12.69 cores=1,3,5,7
/proc/5852/stat : 5852 (cosoco) R 5849 5852 1161 0 -1 4202496 6561 0 0 0 1269 0 0 0 20 0 1 0 557611038 34185216 2528 33554432000 4194304 6211132 140723664067808 140723664065944 5453928 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 11026432 140723664073739 140723664073841 140723664073841 140723664076750 0
/proc/5852/statm: 8346 2528 913 493 0 1651 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 10112 KiB
[startup+25.5003 s]
/proc/loadavg: 2.06 2.08 2.08 3/199 5853
/proc/meminfo: memFree=28420780/32770624 swapFree=66956692/67108860
[pid=5852] ppid=5849 vsize=33384 memory=10120 CPUtime=25.49 cores=1,3,5,7
/proc/5852/stat : 5852 (cosoco) R 5849 5852 1161 0 -1 4202496 8845 0 0 0 2549 0 0 0 20 0 1 0 557611038 34185216 2530 33554432000 4194304 6211132 140723664067808 140723664055688 5443128 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 11026432 140723664073739 140723664073841 140723664073841 140723664076750 0
/proc/5852/statm: 8346 2530 913 493 0 1651 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 10120 KiB
[startup+51.109 s]
/proc/loadavg: 2.09 2.09 2.08 3/199 5856
/proc/meminfo: memFree=28420956/32770624 swapFree=66956692/67108860
[pid=5852] ppid=5849 vsize=33384 memory=10124 CPUtime=51.1 cores=1,3,5,7
/proc/5852/stat : 5852 (cosoco) R 5849 5852 1161 0 -1 4202496 10115 0 0 0 5110 0 0 0 20 0 1 0 557611038 34185216 2531 33554432000 4194304 6211132 140723664067808 140723664065944 5390037 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 11026432 140723664073739 140723664073841 140723664073841 140723664076750 0
/proc/5852/statm: 8346 2531 913 493 0 1651 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 10124 KiB
[startup+102.3 s]
/proc/loadavg: 2.04 2.08 2.08 3/199 5860
/proc/meminfo: memFree=28420732/32770624 swapFree=66956692/67108860
[pid=5852] ppid=5849 vsize=33384 memory=10140 CPUtime=102.29 cores=1,3,5,7
/proc/5852/stat : 5852 (cosoco) R 5849 5852 1161 0 -1 4202496 11261 0 0 0 10229 0 0 0 20 0 1 0 557611038 34185216 2535 33554432000 4194304 6211132 140723664067808 140723664065944 5440652 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 11026432 140723664073739 140723664073841 140723664073841 140723664076750 0
/proc/5852/statm: 8346 2535 913 493 0 1651 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 10140 KiB
[startup+162.3 s]
/proc/loadavg: 2.02 2.06 2.07 3/200 5866
/proc/meminfo: memFree=28419980/32770624 swapFree=66956692/67108860
[pid=5852] ppid=5849 vsize=33384 memory=10140 CPUtime=162.29 cores=1,3,5,7
/proc/5852/stat : 5852 (cosoco) R 5849 5852 1161 0 -1 4202496 11731 0 0 0 16229 0 0 0 20 0 1 0 557611038 34185216 2535 33554432000 4194304 6211132 140723664067808 140723664055688 5453936 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 11026432 140723664073739 140723664073841 140723664073841 140723664076750 0
/proc/5852/statm: 8346 2535 913 493 0 1651 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 10140 KiB
[startup+222.3 s]
/proc/loadavg: 2.01 2.05 2.06 3/199 5870
/proc/meminfo: memFree=28420420/32770624 swapFree=66956692/67108860
[pid=5852] ppid=5849 vsize=33384 memory=10140 CPUtime=222.3 cores=1,3,5,7
/proc/5852/stat : 5852 (cosoco) R 5849 5852 1161 0 -1 4202496 12165 0 0 0 22230 0 0 0 20 0 1 0 557611038 34185216 2535 33554432000 4194304 6211132 140723664067808 140723664055688 5476845 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 11026432 140723664073739 140723664073841 140723664073841 140723664076750 0
/proc/5852/statm: 8346 2535 913 493 0 1651 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 10140 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/200 5882
/proc/meminfo: memFree=28420964/32770624 swapFree=66956692/67108860
[pid=5852] ppid=5849 vsize=33384 memory=10140 CPUtime=282.3 cores=1,3,5,7
/proc/5852/stat : 5852 (cosoco) R 5849 5852 1161 0 -1 4202496 12591 0 0 0 28230 0 0 0 20 0 1 0 557611038 34185216 2535 33554432000 4194304 6211132 140723664067808 140723664055688 5038990 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 11026432 140723664073739 140723664073841 140723664073841 140723664076750 0
/proc/5852/statm: 8346 2535 913 493 0 1651 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 10140 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/201 5888
/proc/meminfo: memFree=28419912/32770624 swapFree=66956692/67108860
[pid=5852] ppid=5849 vsize=33384 memory=10140 CPUtime=342.3 cores=1,3,5,7
/proc/5852/stat : 5852 (cosoco) R 5849 5852 1161 0 -1 4202496 13021 0 0 0 34230 0 0 0 20 0 1 0 557611038 34185216 2535 33554432000 4194304 6211132 140723664067808 140723664055688 5039199 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 11026432 140723664073739 140723664073841 140723664073841 140723664076750 0
/proc/5852/statm: 8346 2535 913 493 0 1651 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 10140 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 5892
/proc/meminfo: memFree=28420220/32770624 swapFree=66956692/67108860
[pid=5852] ppid=5849 vsize=33384 memory=10140 CPUtime=402.3 cores=1,3,5,7
/proc/5852/stat : 5852 (cosoco) R 5849 5852 1161 0 -1 4202496 13446 0 0 0 40230 0 0 0 20 0 1 0 557611038 34185216 2535 33554432000 4194304 6211132 140723664067808 140723664055688 5035326 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 11026432 140723664073739 140723664073841 140723664073841 140723664076750 0
/proc/5852/statm: 8346 2535 913 493 0 1651 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 10140 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 5896
/proc/meminfo: memFree=28420516/32770624 swapFree=66956692/67108860
[pid=5852] ppid=5849 vsize=33384 memory=10140 CPUtime=462.3 cores=1,3,5,7
/proc/5852/stat : 5852 (cosoco) R 5849 5852 1161 0 -1 4202496 13871 0 0 0 46230 0 0 0 20 0 1 0 557611038 34185216 2535 33554432000 4194304 6211132 140723664067808 140723664055688 5441144 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 11026432 140723664073739 140723664073841 140723664073841 140723664076750 0
/proc/5852/statm: 8346 2535 913 493 0 1651 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 10140 KiB
################
# More data... #
################
Current children cumulated memory: 10140 KiB
[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 5943
/proc/meminfo: memFree=28420496/32770624 swapFree=66956692/67108860
[pid=5852] ppid=5849 vsize=33384 memory=10140 CPUtime=942.32 cores=1,3,5,7
/proc/5852/stat : 5852 (cosoco) R 5849 5852 1161 0 -1 4202496 17257 0 0 0 94232 0 0 0 20 0 1 0 557611038 34185216 2535 33554432000 4194304 6211132 140723664067808 140723664055688 5038813 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 11026432 140723664073739 140723664073841 140723664073841 140723664076750 0
/proc/5852/statm: 8346 2535 913 493 0 1651 0
Current children cumulated CPU time: 942.32 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 10140 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 5947
/proc/meminfo: memFree=28420804/32770624 swapFree=66956692/67108860
[pid=5852] ppid=5849 vsize=33384 memory=10140 CPUtime=1002.32 cores=1,3,5,7
/proc/5852/stat : 5852 (cosoco) R 5849 5852 1161 0 -1 4202496 17682 0 0 0 100232 0 0 0 20 0 1 0 557611038 34185216 2535 33554432000 4194304 6211132 140723664067808 140723664055688 5451604 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 11026432 140723664073739 140723664073841 140723664073841 140723664076750 0
/proc/5852/statm: 8346 2535 913 493 0 1651 0
Current children cumulated CPU time: 1002.32 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 10140 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 5953
/proc/meminfo: memFree=28420144/32770624 swapFree=66956692/67108860
[pid=5852] ppid=5849 vsize=33384 memory=10140 CPUtime=1062.32 cores=1,3,5,7
/proc/5852/stat : 5852 (cosoco) R 5849 5852 1161 0 -1 4202496 18086 0 0 0 106232 0 0 0 20 0 1 0 557611038 34185216 2535 33554432000 4194304 6211132 140723664067808 140723664055688 5453928 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 11026432 140723664073739 140723664073841 140723664073841 140723664076750 0
/proc/5852/statm: 8346 2535 913 493 0 1651 0
Current children cumulated CPU time: 1062.32 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 10140 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 5957
/proc/meminfo: memFree=28419984/32770624 swapFree=66956692/67108860
[pid=5852] ppid=5849 vsize=33384 memory=10140 CPUtime=1122.32 cores=1,3,5,7
/proc/5852/stat : 5852 (cosoco) R 5849 5852 1161 0 -1 4202496 18490 0 0 0 112232 0 0 0 20 0 1 0 557611038 34185216 2535 33554432000 4194304 6211132 140723664067808 140723664055688 5451564 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 11026432 140723664073739 140723664073841 140723664073841 140723664076750 0
/proc/5852/statm: 8346 2535 913 493 0 1651 0
Current children cumulated CPU time: 1122.32 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 10140 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 5961
/proc/meminfo: memFree=28419628/32770624 swapFree=66956692/67108860
[pid=5852] ppid=5849 vsize=33384 memory=10140 CPUtime=1182.32 cores=1,3,5,7
/proc/5852/stat : 5852 (cosoco) R 5849 5852 1161 0 -1 4202496 18915 0 0 0 118232 0 0 0 20 0 1 0 557611038 34185216 2535 33554432000 4194304 6211132 140723664067808 140723664055688 4982624 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 11026432 140723664073739 140723664073841 140723664073841 140723664076750 0
/proc/5852/statm: 8346 2535 913 493 0 1651 0
Current children cumulated CPU time: 1182.32 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 10140 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 5967
/proc/meminfo: memFree=28419040/32770624 swapFree=66956692/67108860
[pid=5852] ppid=5849 vsize=33384 memory=10140 CPUtime=1242.32 cores=1,3,5,7
/proc/5852/stat : 5852 (cosoco) R 5849 5852 1161 0 -1 4202496 19344 0 0 0 124232 0 0 0 20 0 1 0 557611038 34185216 2535 33554432000 4194304 6211132 140723664067808 140723664055688 5392113 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 11026432 140723664073739 140723664073841 140723664073841 140723664076750 0
/proc/5852/statm: 8346 2535 913 493 0 1651 0
Current children cumulated CPU time: 1242.32 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 10140 KiB
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 5971
/proc/meminfo: memFree=28419732/32770624 swapFree=66956692/67108860
[pid=5852] ppid=5849 vsize=33384 memory=10140 CPUtime=1302.33 cores=1,3,5,7
/proc/5852/stat : 5852 (cosoco) R 5849 5852 1161 0 -1 4202496 19773 0 0 0 130233 0 0 0 20 0 1 0 557611038 34185216 2535 33554432000 4194304 6211132 140723664067808 140723664055688 5038990 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 11026432 140723664073739 140723664073841 140723664073841 140723664076750 0
/proc/5852/statm: 8346 2535 913 493 0 1651 0
Current children cumulated CPU time: 1302.33 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 10140 KiB
[startup+1320.75 s]
# the end of solver process 5852 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1320.78 s, system=0.006 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1305.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 5971
/proc/meminfo: memFree=28419740/32770624 swapFree=66956692/67108860
[pid=5852] ppid=5849 vsize=33384 memory=10140 CPUtime=1305.63 cores=1,3,5,7
/proc/5852/stat : 5852 (cosoco) R 5849 5852 1161 0 -1 4202496 19773 0 0 0 130563 0 0 0 20 0 1 0 557611038 34185216 2535 33554432000 4194304 6211132 140723664067808 140723664055688 5155832 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 11026432 140723664073739 140723664073841 140723664073841 140723664076750 0
/proc/5852/statm: 8346 2535 913 493 0 1651 0
Current children cumulated CPU time: 1305.63 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 10140 KiB
[startup+1312 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 5971
/proc/meminfo: memFree=28419676/32770624 swapFree=66956692/67108860
[pid=5852] ppid=5849 vsize=33384 memory=10140 CPUtime=1312.03 cores=1,3,5,7
/proc/5852/stat : 5852 (cosoco) R 5849 5852 1161 0 -1 4202496 20189 0 0 0 131203 0 0 0 20 0 1 0 557611038 34185216 2535 33554432000 4194304 6211132 140723664067808 140723664055688 5039261 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 11026432 140723664073739 140723664073841 140723664073841 140723664076750 0
/proc/5852/statm: 8346 2535 913 493 0 1651 0
Current children cumulated CPU time: 1312.03 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 10140 KiB
[startup+1315.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 5971
/proc/meminfo: memFree=28419676/32770624 swapFree=66956692/67108860
[pid=5852] ppid=5849 vsize=33384 memory=10140 CPUtime=1315.23 cores=1,3,5,7
/proc/5852/stat : 5852 (cosoco) R 5849 5852 1161 0 -1 4202496 20193 0 0 0 131523 0 0 0 20 0 1 0 557611038 34185216 2535 33554432000 4194304 6211132 140723664067808 140723664055688 139981547313998 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 11026432 140723664073739 140723664073841 140723664073841 140723664076750 0
/proc/5852/statm: 8346 2535 913 493 0 1651 0
Current children cumulated CPU time: 1315.23 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 10140 KiB
[startup+1318.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 5971
/proc/meminfo: memFree=28419740/32770624 swapFree=66956692/67108860
[pid=5852] ppid=5849 vsize=33384 memory=10140 CPUtime=1318.43 cores=1,3,5,7
/proc/5852/stat : 5852 (cosoco) R 5849 5852 1161 0 -1 4202496 20198 0 0 0 131843 0 0 0 20 0 1 0 557611038 34185216 2535 33554432000 4194304 6211132 140723664067808 140723664055688 5380299 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 11026432 140723664073739 140723664073841 140723664073841 140723664076750 0
/proc/5852/statm: 8346 2535 913 493 0 1651 0
Current children cumulated CPU time: 1318.43 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 10140 KiB
[startup+1320 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 5971
/proc/meminfo: memFree=28419732/32770624 swapFree=66956692/67108860
[pid=5852] ppid=5849 vsize=33384 memory=10140 CPUtime=1320.03 cores=1,3,5,7
/proc/5852/stat : 5852 (cosoco) R 5849 5852 1161 0 -1 4202496 20198 0 0 0 132003 0 0 0 20 0 1 0 557611038 34185216 2535 33554432000 4194304 6211132 140723664067808 140723664055688 5038806 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 11026432 140723664073739 140723664073841 140723664073841 140723664076750 0
/proc/5852/statm: 8346 2535 913 493 0 1651 0
Current children cumulated CPU time: 1320.03 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 10140 KiB
[startup+1320.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 5971
/proc/meminfo: memFree=28419732/32770624 swapFree=66956692/67108860
[pid=5852] ppid=5849 vsize=33384 memory=10140 CPUtime=1320.43 cores=1,3,5,7
/proc/5852/stat : 5852 (cosoco) R 5849 5852 1161 0 -1 4202496 20198 0 0 0 132043 0 0 0 20 0 1 0 557611038 34185216 2535 33554432000 4194304 6211132 140723664067808 140723664055688 5409485 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 11026432 140723664073739 140723664073841 140723664073841 140723664076750 0
/proc/5852/statm: 8346 2535 913 493 0 1651 0
Current children cumulated CPU time: 1320.43 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 10140 KiB
[startup+1320.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 5971
/proc/meminfo: memFree=28419732/32770624 swapFree=66956692/67108860
[pid=5852] ppid=5849 vsize=33384 memory=10140 CPUtime=1320.63 cores=1,3,5,7
/proc/5852/stat : 5852 (cosoco) R 5849 5852 1161 0 -1 4202496 20198 0 0 0 132063 0 0 0 20 0 1 0 557611038 34185216 2535 33554432000 4194304 6211132 140723664067808 140723664055688 139981538293296 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 11026432 140723664073739 140723664073841 140723664073841 140723664076750 0
/proc/5852/statm: 8346 2535 913 493 0 1651 0
Current children cumulated CPU time: 1320.63 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 10140 KiB
[startup+1320.7 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 5971
/proc/meminfo: memFree=28419732/32770624 swapFree=66956692/67108860
[pid=5852] ppid=5849 vsize=33384 memory=10140 CPUtime=1320.73 cores=1,3,5,7
/proc/5852/stat : 5852 (cosoco) R 5849 5852 1161 0 -1 4202496 20198 0 0 0 132073 0 0 0 20 0 1 0 557611038 34185216 2535 33554432000 4194304 6211132 140723664067808 140723664055688 5451516 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 11026432 140723664073739 140723664073841 140723664073841 140723664076750 0
/proc/5852/statm: 8346 2535 913 493 0 1651 0
Current children cumulated CPU time: 1320.73 s
Current children cumulated vsize: 33384 KiB
Current children cumulated memory: 10140 KiB
Child status: 0
Real time (s): 1320.75
CPU time (s): 1320.79
CPU user time (s): 1320.78
CPU system time (s): 0.006
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 33384
Max. memory (cumulated for all children) (KiB): 10140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1320.78
system time used= 0.006
maximum resident set size= 10204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20248
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= 355
# summary of solver processes directly reported to runsolver:
# pid: 5852
# total CPU time (s): 1320.79
# total CPU user time (s): 1320.78
# total CPU system time (s): 0.006
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.20965 second user time and 8.82788 second system time
The end
Begin job on node151 at 2019-09-30 05:15:57 IDJOB=4408309 IDBENCH=141106 IDSOLVER=2874 FILE ID=node151/4408309-1569813398 RUNJOBID= node151-1569787351-1203 PBS_JOBID= 21705814 Free space on /tmp= 62028 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP18/Tal/Tal-03_c18.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408309-1569813398/watcher-4408309-1569813398 -o /tmp/evaluation-result-4408309-1569813398/solver-4408309-1569813398 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1569787351-1203 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408309-1569813398.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= fb5ba5d4d49d61a1ee3ee3c25fa47163 RANDOM SEED=1668370261 node151.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.53 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 : 5335.75 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.53 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 : 5335.75 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.53 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 : 5335.75 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.53 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 : 5335.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 28427196 kB MemAvailable: 31820424 kB Buffers: 176060 kB Cached: 3553064 kB SwapCached: 50572 kB Active: 1885224 kB Inactive: 1905708 kB Active(anon): 29816 kB Inactive(anon): 111600 kB Active(file): 1855408 kB Inactive(file): 1794108 kB Unevictable: 108344 kB Mlocked: 108344 kB SwapTotal: 67108860 kB SwapFree: 66956692 kB Dirty: 2732 kB Writeback: 0 kB AnonPages: 124408 kB Mapped: 27980 kB Shmem: 70732 kB Slab: 147984 kB SReclaimable: 119096 kB SUnreclaim: 28888 kB KernelStack: 3552 kB PageTables: 5164 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 575244 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 77824 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 138624 kB DirectMap2M: 33406976 kB Free space on /tmp at the end= 62024 MiB End job on node151 at 2019-09-30 05:37:58