0.00/0.01	c SAT : Variables: 4400 -- Clauses: 22220
0.00/0.01	c best=?? lower=-9648 upper=0 
0.00/0.01	c
0.00/0.01	c This is cosoco 1.12 --  
0.00/0.01	c
0.00/0.01	c command line: cosoco -lc -model -restarts -sat HOME/instance-4266780-1502599040.xml 
0.00/0.01	c enable optimization
0.00/0.01	c ========================================[ Problem Statistics ]===========================================
0.00/0.01	c |                                                                                                       
0.00/0.01	c |  Parse time        :         0.01 s 
0.00/0.01	c |
0.00/0.01	c |               Variables: 420
0.00/0.01	c |            Domain Sizes: 10..20
0.00/0.01	c |
0.00/0.01	c |             Constraints: 21
0.00/0.01	c |                   Arity: 3..20  -- Ternary: 19
0.00/0.01	c | 
0.00/0.01	c |                   Types: 
0.00/0.01	c |                          All Different: 1
0.00/0.01	c |                          Extension: 19  (nb tuples: 380..380) -- (shared: 18)
0.00/0.01	c |                          Sum: 1
0.00/0.01	c |                          
0.00/0.01	c =========================================================================================================
0.00/0.01	o -5633
0.00/0.01	c    1 calls to solver: best=-5633 lower=-5632 upper=0 
0.00/0.01	o -5501
0.00/0.01	o -5047
0.00/0.01	c    3 calls to solver: best=-5047 lower=-5046 upper=0 
0.00/0.01	o -4507
0.00/0.02	o -3203
0.00/0.02	c    5 calls to solver: best=-3203 lower=-3202 upper=0 
0.00/0.02	o -2876
0.00/0.02	o -2872
0.00/0.02	c    7 calls to solver: best=-2872 lower=-2871 upper=0 
0.00/0.02	o -2782
0.00/0.02	o -2755
0.00/0.02	c    9 calls to solver: best=-2755 lower=-2754 upper=0 
0.00/0.02	o -2713
0.00/0.02	o -2183
0.00/0.02	c   11 calls to solver: best=-2183 lower=-2182 upper=0 
0.00/0.03	o -2037
0.00/0.05	conflict 37lvl : 23 bt23-395:0(362)X96670
0.00/0.06	conflict 37lvl : 20 bt19-127:0(292)X96943
0.00/0.07	conflict 37lvl : 24 bt23-394:0(298)X98453
0.00/0.08	conflict 37lvl : 11 bt11-73:0(286)X100622
0.10/0.13	conflict 37lvl : 12 bt12-315:0(271)X105344
0.10/0.18	conflict 53lvl : 17 bt17-395:0(302)X111753
0.10/0.21	conflict 37lvl : 16 bt16-315:0(294)X114944
0.10/0.21	conflict 37lvl : 23 bt23-393:0(296)X114984
0.21/0.24	conflict 37lvl : 25 bt23-95:0(320)X117819
0.21/0.24	conflict 37lvl : 24 bt23-255:0(285)X117859
0.21/0.25	conflict 54lvl : 22 bt20393:0(309)X119358
0.21/0.26	conflict 53lvl : 6 bt6-253:0(270)X120678
0.21/0.29	conflict 54lvl : 11 bt11173:0(300)X123614
0.31/0.31	conflict 37lvl : 25 bt25-136:0(323)X125861
0.31/0.35	conflict 54lvl : 23 bt23113:0(336)X129022
0.31/0.37	conflict 69lvl : 20 bt20-373:0(350)X130982
0.31/0.40	conflict 37lvl : 22 bt22-335:0(296)X134570
0.41/0.48	conflict 37lvl : 23 bt23-56:0(313)X144463
0.51/0.57	conflict 37lvl : 27 bt14-93:0(346)X150103
0.60/0.61	o -1997
0.60/0.61	c   13 calls to solver: best=-1997 lower=-1996 upper=0 
0.60/0.69	o -1991
0.69/0.76	o -1960
0.69/0.76	c   15 calls to solver: best=-1960 lower=-1959 upper=0 
0.69/0.79	o -1928
0.89/0.93	o -1923
0.89/0.93	c   17 calls to solver: best=-1923 lower=-1922 upper=0 
0.89/0.93	conflict 54lvl : 12 bt12173:0(342)X152298
1.00/1.08	o -1911
1.19/1.28	conflict 37lvl : 11 bt11-154:0(290)X153749
1.19/1.28	conflict 37lvl : 23 bt22-151:0(297)X153789
1.69/1.70	o -1886
1.69/1.70	c   19 calls to solver: best=-1886 lower=-1885 upper=0 
1.69/1.74	o -1874
1.69/1.77	o -1851
1.69/1.77	c   21 calls to solver: best=-1851 lower=-1850 upper=0 
2.00/2.02	o -1839
2.10/2.18	o -1834
2.10/2.18	c   23 calls to solver: best=-1834 lower=-1833 upper=0 
2.29/2.31	o -1804
2.29/2.35	o -1799
2.29/2.35	c   25 calls to solver: best=-1799 lower=-1798 upper=0 
2.39/2.45	o -1738
2.79/2.80	o -1685
2.79/2.80	c   27 calls to solver: best=-1685 lower=-1684 upper=0 
3.10/3.18	o -1671
3.29/3.34	o -1659
3.29/3.34	c   29 calls to solver: best=-1659 lower=-1658 upper=0 
4.00/4.03	o -1639
4.00/4.10	o -1634
4.00/4.10	c   31 calls to solver: best=-1634 lower=-1633 upper=0 
4.10/4.15	o -1622
4.19/4.26	o -1615
4.19/4.26	c   33 calls to solver: best=-1615 lower=-1614 upper=0 
4.29/4.35	o -1610
4.59/4.62	o -1606
4.59/4.62	c   35 calls to solver: best=-1606 lower=-1605 upper=0 
4.69/4.74	o -1595
4.89/4.95	o -1588
4.89/4.95	c   37 calls to solver: best=-1588 lower=-1587 upper=0 
5.00/5.06	o -1581
5.00/5.10	o -1570
5.00/5.10	c   39 calls to solver: best=-1570 lower=-1569 upper=0 
5.10/5.14	o -1536
5.29/5.30	o -1507
5.29/5.30	c   41 calls to solver: best=-1507 lower=-1506 upper=0 
6.00/6.06	o -1478
6.19/6.27	o -1465
6.19/6.27	c   43 calls to solver: best=-1465 lower=-1464 upper=0 
6.69/6.71	o -1449
7.19/7.20	o -1437
7.19/7.20	c   45 calls to solver: best=-1437 lower=-1436 upper=0 
7.49/7.57	conflict 37lvl : 19 bt18-34:0(365)X161166
7.49/7.57	conflict 37lvl : 18 bt18-34:0(360)X161206
8.00/8.03	o -1434
8.19/8.22	o -1431
8.19/8.22	c   47 calls to solver: best=-1431 lower=-1430 upper=0 
9.00/9.01	o -1417
9.29/9.30	o -1411
9.29/9.30	c   49 calls to solver: best=-1411 lower=-1410 upper=0 
9.39/9.45	o -1360
9.59/9.61	o -1343
9.59/9.61	c   51 calls to solver: best=-1343 lower=-1342 upper=0 
9.69/9.76	o -1339
9.79/9.85	o -1329
9.79/9.85	c   53 calls to solver: best=-1329 lower=-1328 upper=0 
9.79/9.87	conflict 54lvl : 20 bt20193:0(236)X162086
10.29/10.37	o -1273
10.39/10.41	o -1263
10.39/10.41	c   55 calls to solver: best=-1263 lower=-1262 upper=0 
10.39/10.41	conflict 37lvl : 20 bt20-126:0(287)X162143
10.39/10.41	conflict 37lvl : 20 bt19-132:0(293)X162183
10.39/10.46	o -1240
11.00/11.03	o -1225
11.00/11.03	c   57 calls to solver: best=-1225 lower=-1224 upper=0 
11.49/11.58	o -1212
12.59/12.68	o -1172
12.59/12.68	c   59 calls to solver: best=-1172 lower=-1171 upper=0 
12.69/12.74	conflict 37lvl : 18 bt18-22:0(263)X163045
15.00/15.07	conflict 37lvl : 25 bt24-48:0(277)X163389
17.79/17.85	conflict 37lvl : 28 bt27-74:0(276)X164111
20.00/20.04	conflict 37lvl : 10 bt10-324:0(256)X164608
22.79/22.84	conflict 37lvl : 20 bt20-394:0(236)X164788
22.79/22.87	conflict 37lvl : 25 bt25-388:0(254)X164828
23.69/23.76	conflict 37lvl : 20 bt20-54:0(291)X165261
24.49/24.50	conflict 53lvl : 25 bt25-133:0(285)X165301
24.49/24.50	conflict 51lvl : 22 bt22-224:0(265)X165357
25.29/25.33	o -1149
25.49/25.59	conflict 72lvl : 25 bt2586:0(220)X165411
25.49/25.59	conflict 54lvl : 25 bt25-372:0(222)X165486
25.59/25.60	conflict 53lvl : 25 bt25-332:0(201)X165543
25.59/25.61	conflict 53lvl : 27 bt27-51:0(192)X165599
25.59/25.62	conflict 37lvl : 25 bt24-173:0(209)X165655
25.59/25.67	conflict 37lvl : 15 bt15-13:0(239)X165695
25.59/25.67	conflict 37lvl : 17 bt17-194:0(205)X165735
26.39/26.41	c
26.39/26.41	c Optimum found         : -1149
26.39/26.41	c
26.39/26.41	
26.39/26.41	v <instantiation type='solution' cost='-1149'>
26.39/26.41	v <list>d[0][0] d[0][10] d[0][11] d[0][12] d[0][13] d[0][14] d[0][15] d[0][16] d[0][17] d[0][18] d[0][19] d[0][1] d[0][2] d[0][3] d[0][4] d[0][5] d[0][6] d[0][7] d[0][8] d[0][9] d[10][0] d[10][10] d[10][11] d[10][12] d[10][13] d[10][14] d[10][15] d[10][16] d[10][17] d[10][18] d[10][19] d[10][1] d[10][2] d[10][3] d[10][4] d[10][5] d[10][6] d[10][7] d[10][8] d[10][9] d[11][0] d[11][10] d[11][11] d[11][12] d[11][13] d[11][14] d[11][15] d[11][16] d[11][17] d[11][18] d[11][19] d[11][1] d[11][2] d[11][3] d[11][4] d[11][5] d[11][6] d[11][7] d[11][8] d[11][9] d[12][0] d[12][10] d[12][11] d[12][12] d[12][13] d[12][14] d[12][15] d[12][16] d[12][17] d[12][18] d[12][19] d[12][1] d[12][2] d[12][3] d[12][4] d[12][5] d[12][6] d[12][7] d[12][8] d[12][9] d[13][0] d[13][10] d[13][11] d[13][12] d[13][13] d[13][14] d[13][15] d[13][16] d[13][17] d[13][18] d[13][19] d[13][1] d[13][2] d[13][3] d[13][4] d[13][5] d[13][6] d[13][7] d[13][8] d[13][9] d[14][0] d[14][10] d[14][11] d[14][12] d[14][13] d[14][14] d[14][15] d[14][16] d[14][17] d[14][18] d[14][19] d[14][1] d[14][2] d[14][3] d[14][4] d[14][5] d[14][6] d[14][7] d[14][8] d[14][9] d[15][0] d[15][10] d[15][11] d[15][12] d[15][13] d[15][14] d[15][15] d[15][16] d[15][17] d[15][18] d[15][19] d[15][1] d[15][2] d[15][3] d[15][4] d[15][5] d[15][6] d[15][7] d[15][8] d[15][9] d[16][0] d[16][10] d[16][11] d[16][12] d[16][13] d[16][14] d[16][15] d[16][16] d[16][17] d[16][18] d[16][19] d[16][1] d[16][2] d[16][3] d[16][4] d[16][5] d[16][6] d[16][7] d[16][8] d[16][9] d[17][0] d[17][10] d[17][11] d[17][12] d[17][13] d[17][14] d[17][15] d[17][16] d[17][17] d[17][18] d[17][19] d[17][1] d[17][2] d[17][3] d[17][4] d[17][5] d[17][6] d[17][7] d[17][8] d[17][9] d[18][0] d[18][10] d[18][11] d[18][12] d[18][13] d[18][14] d[18][15] d[18][16] d[18][17] d[18][18] d[18][19] d[18][1] d[18][2] d[18][3] d[18][4] d[18][5] d[18][6] d[18][7] d[18][8] d[18][9] d[19][0] d[19][10] d[19][11] d[19][12] d[19][13] d[19][14] d[19][15] d[19][16] d[19][17] d[19][18] d[19][19] d[19][1] d[19][2] d[19][3] d[19][4] d[19][5] d[19][6] d[19][7] d[19][8] d[19][9] d[1][0] d[1][10] d[1][11] d[1][12] d[1][13] d[1][14] d[1][15] d[1][16] d[1][17] d[1][18] d[1][19] d[1][1] d[1][2] d[1][3] d[1][4] d[1][5] d[1][6] d[1][7] d[1][8] d[1][9] d[2][0] d[2][10] d[2][11] d[2][12] d[2][13] d[2][14] d[2][15] d[2][16] d[2][17] d[2][18] d[2][19] d[2][1] d[2][2] d[2][3] d[2][4] d[2][5] d[2][6] d[2][7] d[2][8] d[2][9] d[3][0] d[3][10] d[3][11] d[3][12] d[3][13] d[3][14] d[3][15] d[3][16] d[3][17] d[3][18] d[3][19] d[3][1] d[3][2] d[3][3] d[3][4] d[3][5] d[3][6] d[3][7] d[3][8] d[3][9] d[4][0] d[4][10] d[4][11] d[4][12] d[4][13] d[4][14] d[4][15] d[4][16] d[4][17] d[4][18] d[4][19] d[4][1] d[4][2] d[4][3] d[4][4] d[4][5] d[4][6] d[4][7] d[4][8] d[4][9] d[5][0] d[5][10] d[5][11] d[5][12] d[5][13] d[5][14] d[5][15] d[5][16] d[5][17] d[5][18] d[5][19] d[5][1] d[5][2] d[5][3] d[5][4] d[5][5] d[5][6] d[5][7] d[5][8] d[5][9] d[6][0] d[6][10] d[6][11] d[6][12] d[6][13] d[6][14] d[6][15] d[6][16] d[6][17] d[6][18] d[6][19] d[6][1] d[6][2] d[6][3] d[6][4] d[6][5] d[6][6] d[6][7] d[6][8] d[6][9] d[7][0] d[7][10] d[7][11] d[7][12] d[7][13] d[7][14] d[7][15] d[7][16] d[7][17] d[7][18] d[7][19] d[7][1] d[7][2] d[7][3] d[7][4] d[7][5] d[7][6] d[7][7] d[7][8] d[7][9] d[8][0] d[8][10] d[8][11] d[8][12] d[8][13] d[8][14] d[8][15] d[8][16] d[8][17] d[8][18] d[8][19] d[8][1] d[8][2] d[8][3] d[8][4] d[8][5] d[8][6] d[8][7] d[8][8] d[8][9] d[9][0] d[9][10] d[9][11] d[9][12] d[9][13] d[9][14] d[9][15] d[9][16] d[9][17] d[9][18] d[9][19] d[9][1] d[9][2] d[9][3] d[9][4] d[9][5] d[9][6] d[9][7] d[9][8] d[9][9] x[0] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] </list>
26.39/26.41	v <values>* * * * * * * * * * * 1 1 * * * * * * * * * * 4 * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * 2 * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * 1 * 1 * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * 19 9 3 4 12 16 1 17 10 18 14 2 8 6 0 11 15 5 7 13 </values>
26.39/26.41	v </instantiation>
26.39/26.41	
26.39/26.41	c call to solver        : 61
26.39/26.41	c
26.39/26.41	c restarts              : 565         
26.39/26.41	c conflicts             : 530741       (20094 /sec)
26.39/26.41	c decisions             : 1309022      (49560 /sec)
26.39/26.41	c propagations          : 41245391    (1561558 /sec)
26.39/26.41	c root propagations     : 19          
26.39/26.41	c filter calls          : 16307360       (617399 /sec)
26.39/26.41	c useless filter calls  : 7865817        (48 %)
26.39/26.41	c
26.39/26.41	c clauses               : 25829
26.39/26.41	c SAT propagations      : 2804
26.39/26.41	c SAT conflicts         : 602 (43 learnts)
26.39/26.41	c Memory used           : 32.72 MB
26.39/26.41	c CPU time              : 26.4129 s
26.39/26.41	
26.39/26.41	s OPTIMUM FOUND

OK	1149

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 (15143 MiB free)
  memory of node 1: 16384 MiB (15708 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266780-1502599040/watcher-4266780-1502599040 -o /tmp/evaluation-result-4266780-1502599040/solver-4266780-1502599040 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node112-1502596666-28964 --watchdog 300 cosoco -lc -model -restarts -sat HOME/instance-4266780-1502599040.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=30194, runsolver pid=30191
Current StackSize limit: 8192 KiB


[startup+0.100151 s]*
/proc/loadavg: 1.99 1.99 2.13 3/188 30195
/proc/meminfo: memFree=31588296/32770624 swapFree=67108860/67108860
[pid=30194] ppid=30191 vsize=33220 memory=7484 CPUtime=0.1 cores=1,3,5,7
/proc/30194/stat : 30194 (cosoco) R 30191 30194 23522 0 -1 4202496 1549 0 0 0 10 0 0 0 20 0 1 0 92991874 34017280 1871 33554432000 4194304 5972588 140725058861488 140725058858136 4978021 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 31207424 140725058864319 140725058864419 140725058864419 140725058867150 0
/proc/30194/statm: 8305 1871 767 435 0 1668 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 33220 KiB
Current children cumulated memory: 7484 KiB

[startup+0.209561 s]*
/proc/loadavg: 1.99 1.99 2.13 3/188 30195
/proc/meminfo: memFree=31588296/32770624 swapFree=67108860/67108860
[pid=30194] ppid=30191 vsize=33220 memory=7484 CPUtime=0.21 cores=1,3,5,7
/proc/30194/stat : 30194 (cosoco) R 30191 30194 23522 0 -1 4202496 1551 0 0 0 21 0 0 0 20 0 1 0 92991874 34017280 1871 33554432000 4194304 5972588 140725058861488 140725058858136 4935674 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 31207424 140725058864319 140725058864419 140725058864419 140725058867150 0
/proc/30194/statm: 8305 1871 767 435 0 1668 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33220 KiB
Current children cumulated memory: 7484 KiB

[startup+0.308897 s]*
/proc/loadavg: 1.99 1.99 2.13 3/188 30195
/proc/meminfo: memFree=31588296/32770624 swapFree=67108860/67108860
[pid=30194] ppid=30191 vsize=33220 memory=7484 CPUtime=0.31 cores=1,3,5,7
/proc/30194/stat : 30194 (cosoco) R 30191 30194 23522 0 -1 4202496 1557 0 0 0 31 0 0 0 20 0 1 0 92991874 34017280 1871 33554432000 4194304 5972588 140725058861488 140725058858136 4975128 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 31207424 140725058864319 140725058864419 140725058864419 140725058867150 0
/proc/30194/statm: 8305 1871 767 435 0 1668 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 33220 KiB
Current children cumulated memory: 7484 KiB

[startup+0.700274 s]
/proc/loadavg: 1.99 1.99 2.13 3/188 30195
/proc/meminfo: memFree=31588296/32770624 swapFree=67108860/67108860
[pid=30194] ppid=30191 vsize=33364 memory=7484 CPUtime=0.69 cores=1,3,5,7
/proc/30194/stat : 30194 (cosoco) R 30191 30194 23522 0 -1 4202496 1584 0 0 0 69 0 0 0 20 0 1 0 92991874 34164736 1871 33554432000 4194304 5972588 140725058861488 140725058858136 4935418 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 31207424 140725058864319 140725058864419 140725058864419 140725058867150 0
/proc/30194/statm: 8341 1871 767 435 0 1704 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 33364 KiB
Current children cumulated memory: 7484 KiB

[startup+1.50027 s]
/proc/loadavg: 1.99 1.99 2.13 3/188 30195
/proc/meminfo: memFree=31588296/32770624 swapFree=67108860/67108860
[pid=30194] ppid=30191 vsize=33364 memory=7484 CPUtime=1.49 cores=1,3,5,7
/proc/30194/stat : 30194 (cosoco) R 30191 30194 23522 0 -1 4202496 1584 0 0 0 149 0 0 0 20 0 1 0 92991874 34164736 1871 33554432000 4194304 5972588 140725058861488 140725058858712 4970781 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 31207424 140725058864319 140725058864419 140725058864419 140725058867150 0
/proc/30194/statm: 8341 1871 767 435 0 1704 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 33364 KiB
Current children cumulated memory: 7484 KiB

[startup+3.1094 s]
/proc/loadavg: 1.91 1.97 2.12 3/188 30195
/proc/meminfo: memFree=31588096/32770624 swapFree=67108860/67108860
[pid=30194] ppid=30191 vsize=33364 memory=7732 CPUtime=3.1 cores=1,3,5,7
/proc/30194/stat : 30194 (cosoco) R 30191 30194 23522 0 -1 4202496 1856 0 0 0 310 0 0 0 20 0 1 0 92991874 34164736 1933 33554432000 4194304 5972588 140725058861488 140725058858712 5321056 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 31207424 140725058864319 140725058864419 140725058864419 140725058867150 0
/proc/30194/statm: 8341 1933 790 435 0 1704 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 33364 KiB
Current children cumulated memory: 7732 KiB

[startup+6.30026 s]
/proc/loadavg: 1.91 1.97 2.12 3/188 30195
/proc/meminfo: memFree=31588096/32770624 swapFree=67108860/67108860
[pid=30194] ppid=30191 vsize=33364 memory=7732 CPUtime=6.29 cores=1,3,5,7
/proc/30194/stat : 30194 (cosoco) R 30191 30194 23522 0 -1 4202496 2205 0 0 0 629 0 0 0 20 0 1 0 92991874 34164736 1933 33554432000 4194304 5972588 140725058861488 140725058848680 4975410 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 31207424 140725058864319 140725058864419 140725058864419 140725058867150 0
/proc/30194/statm: 8341 1933 790 435 0 1704 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 33364 KiB
Current children cumulated memory: 7732 KiB

[startup+12.7003 s]
/proc/loadavg: 1.92 1.97 2.12 3/188 30195
/proc/meminfo: memFree=31588508/32770624 swapFree=67108860/67108860
[pid=30194] ppid=30191 vsize=33364 memory=7736 CPUtime=12.69 cores=1,3,5,7
/proc/30194/stat : 30194 (cosoco) R 30191 30194 23522 0 -1 4202496 2528 0 0 0 1269 0 0 0 20 0 1 0 92991874 34164736 1934 33554432000 4194304 5972588 140725058861488 140725058858936 4975772 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 31207424 140725058864319 140725058864419 140725058864419 140725058867150 0
/proc/30194/statm: 8341 1934 790 435 0 1704 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 33364 KiB
Current children cumulated memory: 7736 KiB

[startup+25.5003 s]
/proc/loadavg: 1.94 1.97 2.12 3/188 30195
/proc/meminfo: memFree=31587996/32770624 swapFree=67108860/67108860
[pid=30194] ppid=30191 vsize=33500 memory=7744 CPUtime=25.49 cores=1,3,5,7
/proc/30194/stat : 30194 (cosoco) R 30191 30194 23522 0 -1 4202496 3139 0 0 0 2549 0 0 0 20 0 1 0 92991874 34304000 1936 33554432000 4194304 5972588 140725058861488 140725058858936 4978779 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 31207424 140725058864319 140725058864419 140725058864419 140725058867150 0
/proc/30194/statm: 8375 1936 790 435 0 1738 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 33500 KiB
Current children cumulated memory: 7744 KiB

[startup+26.4138 s]
# the end of solver process 30194 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=26.413 s, system=0.001 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+25.6003 s]
/proc/loadavg: 1.94 1.97 2.12 3/188 30195
/proc/meminfo: memFree=31587996/32770624 swapFree=67108860/67108860
[pid=30194] ppid=30191 vsize=33500 memory=7744 CPUtime=25.59 cores=1,3,5,7
/proc/30194/stat : 30194 (cosoco) R 30191 30194 23522 0 -1 4202496 3139 0 0 0 2559 0 0 0 20 0 1 0 92991874 34304000 1936 33554432000 4194304 5972588 140725058861488 140725058858936 4978595 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 31207424 140725058864319 140725058864419 140725058864419 140725058867150 0
/proc/30194/statm: 8375 1936 790 435 0 1738 0
Current children cumulated CPU time: 25.59 s
Current children cumulated vsize: 33500 KiB
Current children cumulated memory: 7744 KiB

[startup+26.0002 s]*
/proc/loadavg: 1.94 1.97 2.12 3/188 30195
/proc/meminfo: memFree=31587996/32770624 swapFree=67108860/67108860
[pid=30194] ppid=30191 vsize=33500 memory=7744 CPUtime=26 cores=1,3,5,7
/proc/30194/stat : 30194 (cosoco) R 30191 30194 23522 0 -1 4202496 3148 0 0 0 2600 0 0 0 20 0 1 0 92991874 34304000 1936 33554432000 4194304 5972588 140725058861488 140725058858936 5325618 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 31207424 140725058864319 140725058864419 140725058864419 140725058867150 0
/proc/30194/statm: 8375 1936 790 435 0 1738 0
Current children cumulated CPU time: 26 s
Current children cumulated vsize: 33500 KiB
Current children cumulated memory: 7744 KiB

[startup+26.4002 s]
/proc/loadavg: 1.94 1.97 2.12 3/188 30195
/proc/meminfo: memFree=31587996/32770624 swapFree=67108860/67108860
[pid=30194] ppid=30191 vsize=33500 memory=7744 CPUtime=26.39 cores=1,3,5,7
/proc/30194/stat : 30194 (cosoco) R 30191 30194 23522 0 -1 4202496 3149 0 0 0 2639 0 0 0 20 0 1 0 92991874 34304000 1936 33554432000 4194304 5972588 140725058861488 140725058858936 4970781 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8070896 8075904 31207424 140725058864319 140725058864419 140725058864419 140725058867150 0
/proc/30194/statm: 8375 1936 790 435 0 1738 0
Current children cumulated CPU time: 26.39 s
Current children cumulated vsize: 33500 KiB
Current children cumulated memory: 7744 KiB

Child status: 0
Real time (s): 26.4138
CPU time (s): 26.414
CPU user time (s): 26.413
CPU system time (s): 0.001
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 33500
Max. memory (cumulated for all children) (KiB): 7744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.413
system time used= 0.001
maximum resident set size= 7828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3190
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= 10
involuntary context switches= 16


# summary of solver processes directly reported to runsolver:
#   pid: 30194
#   total CPU time (s): 26.414
#   total CPU user time (s): 26.413
#   total CPU system time (s): 0.001

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.127521 second user time and 0.201635 second system time

The end

Begin job on node112 at 2017-08-13 06:23:02
IDJOB=4266780
IDBENCH=123097
IDSOLVER=2656
FILE ID=node112/4266780-1502599040
RUNJOBID= node112-1502596666-28964
PBS_JOBID= 20628283
Free space on /tmp= 61788 MiB

SOLVER NAME= cosoco-sat 1.12
BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-chr20b.xml
COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266780-1502599040/watcher-4266780-1502599040 -o /tmp/evaluation-result-4266780-1502599040/solver-4266780-1502599040 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node112-1502596666-28964 --watchdog 300  cosoco -lc -model -restarts -sat HOME/instance-4266780-1502599040.xml

TIME LIMIT= 264 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 260fd80204e0f144bd4a5efeedc28067
RANDOM SEED=165820264

node112.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.24
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.24
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.24
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.24
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31593052 kB
MemAvailable:   31735688 kB
Buffers:          101832 kB
Cached:           321612 kB
SwapCached:            0 kB
Active:           616292 kB
Inactive:         107716 kB
Active(anon):     249516 kB
Inactive(anon):    78968 kB
Active(file):     366776 kB
Inactive(file):    28748 kB
Unevictable:        6280 kB
Mlocked:            6280 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2352 kB
Writeback:             0 kB
AnonPages:        306540 kB
Mapped:            44424 kB
Shmem:             25224 kB
Slab:             151412 kB
SReclaimable:     125892 kB
SUnreclaim:        25520 kB
KernelStack:        3376 kB
PageTables:         6056 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     602492 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    118784 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61784 MiB
End job on node112 at 2017-08-13 06:23:29