0.00/0.01	c SAT : Variables: 4400 -- Clauses: 22220
0.00/0.01	c best=?? lower=0 upper=9648 
0.00/0.01	c
0.00/0.01	c This is cosoco 1.0 --  
0.00/0.01	c
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=0 upper=5632 
0.00/0.02	o 5501
0.00/0.02	o 5047
0.00/0.02	c    3 calls to solver: best=5047 lower=0 upper=5046 
0.00/0.02	o 4507
0.00/0.02	o 3203
0.00/0.02	c    5 calls to solver: best=3203 lower=0 upper=3202 
0.00/0.02	o 2876
0.00/0.03	o 2872
0.00/0.03	c    7 calls to solver: best=2872 lower=0 upper=2871 
0.00/0.03	o 2782
0.00/0.03	o 2755
0.00/0.03	c    9 calls to solver: best=2755 lower=0 upper=2754 
0.00/0.03	o 2713
0.00/0.03	o 2183
0.00/0.03	c   11 calls to solver: best=2183 lower=0 upper=2182 
0.00/0.04	o 2037
0.00/0.07	conflict 37lvl : 23 bt23-395:0(362)X96670
0.00/0.08	conflict 37lvl : 20 bt19-127:0(292)X96943
0.00/0.09	conflict 37lvl : 24 bt23-394:0(298)X98453
0.09/0.11	conflict 37lvl : 11 bt11-73:0(286)X100622
0.09/0.16	conflict 37lvl : 12 bt12-315:0(271)X105344
0.19/0.21	conflict 53lvl : 17 bt17-395:0(302)X111753
0.19/0.24	conflict 37lvl : 16 bt16-315:0(294)X114944
0.19/0.24	conflict 37lvl : 23 bt23-393:0(296)X114984
0.19/0.26	conflict 37lvl : 25 bt23-95:0(320)X117819
0.19/0.26	conflict 37lvl : 24 bt23-255:0(285)X117859
0.19/0.27	conflict 54lvl : 22 bt20393:0(309)X119358
0.19/0.29	conflict 53lvl : 6 bt6-253:0(270)X120678
0.29/0.32	conflict 54lvl : 11 bt11173:0(300)X123614
0.29/0.34	conflict 37lvl : 25 bt25-136:0(323)X125861
0.29/0.37	conflict 54lvl : 23 bt23113:0(336)X129022
0.29/0.39	conflict 69lvl : 20 bt20-373:0(350)X130982
0.39/0.43	conflict 37lvl : 22 bt22-335:0(296)X134570
0.49/0.51	conflict 37lvl : 23 bt23-56:0(313)X144463
0.59/0.60	conflict 37lvl : 27 bt14-93:0(346)X150103
0.59/0.64	o 1997
0.59/0.64	c   13 calls to solver: best=1997 lower=0 upper=1996 
0.69/0.72	o 1991
0.69/0.79	o 1960
0.69/0.79	c   15 calls to solver: best=1960 lower=0 upper=1959 
0.79/0.82	o 1928
0.89/0.96	o 1923
0.89/0.96	c   17 calls to solver: best=1923 lower=0 upper=1922 
0.89/0.96	conflict 54lvl : 12 bt12173:0(342)X152298
1.09/1.11	o 1911
1.29/1.31	conflict 37lvl : 11 bt11-154:0(290)X153749
1.29/1.31	conflict 37lvl : 23 bt22-151:0(297)X153789
1.69/1.73	o 1886
1.69/1.73	c   19 calls to solver: best=1886 lower=0 upper=1885 
1.69/1.77	o 1874
1.79/1.80	o 1851
1.79/1.80	c   21 calls to solver: best=1851 lower=0 upper=1850 
1.99/2.05	o 1839
2.19/2.21	o 1834
2.19/2.21	c   23 calls to solver: best=1834 lower=0 upper=1833 
2.29/2.34	o 1804
2.29/2.38	o 1799
2.29/2.38	c   25 calls to solver: best=1799 lower=0 upper=1798 
2.39/2.48	o 1738
2.79/2.83	o 1685
2.79/2.83	c   27 calls to solver: best=1685 lower=0 upper=1684 
3.19/3.21	o 1671
3.29/3.37	o 1659
3.29/3.37	c   29 calls to solver: best=1659 lower=0 upper=1658 
3.98/4.06	o 1639
4.08/4.13	o 1634
4.08/4.13	c   31 calls to solver: best=1634 lower=0 upper=1633 
4.08/4.18	o 1622
4.18/4.28	o 1615
4.18/4.28	c   33 calls to solver: best=1615 lower=0 upper=1614 
4.28/4.38	o 1610
4.58/4.65	o 1606
4.58/4.65	c   35 calls to solver: best=1606 lower=0 upper=1605 
4.68/4.76	o 1595
4.88/4.98	o 1588
4.88/4.98	c   37 calls to solver: best=1588 lower=0 upper=1587 
4.98/5.09	o 1581
5.08/5.12	o 1570
5.08/5.12	c   39 calls to solver: best=1570 lower=0 upper=1569 
5.08/5.17	o 1536
5.28/5.33	o 1507
5.28/5.33	c   41 calls to solver: best=1507 lower=0 upper=1506 
5.98/6.09	o 1478
6.18/6.30	o 1465
6.18/6.30	c   43 calls to solver: best=1465 lower=0 upper=1464 
6.69/6.74	o 1449
7.18/7.23	o 1437
7.18/7.23	c   45 calls to solver: best=1437 lower=0 upper=1436 
7.58/7.60	conflict 37lvl : 19 bt18-34:0(365)X161166
7.58/7.60	conflict 37lvl : 18 bt18-34:0(360)X161206
7.98/8.06	o 1434
8.18/8.24	o 1431
8.18/8.24	c   47 calls to solver: best=1431 lower=0 upper=1430 
8.98/9.04	o 1417
9.28/9.32	o 1411
9.28/9.32	c   49 calls to solver: best=1411 lower=0 upper=1410 
9.38/9.48	o 1360
9.58/9.63	o 1343
9.58/9.63	c   51 calls to solver: best=1343 lower=0 upper=1342 
9.68/9.78	o 1339
9.78/9.88	o 1329
9.78/9.88	c   53 calls to solver: best=1329 lower=0 upper=1328 
9.78/9.90	conflict 54lvl : 20 bt20193:0(236)X162086
10.38/10.40	o 1273
10.38/10.44	o 1263
10.38/10.44	c   55 calls to solver: best=1263 lower=0 upper=1262 
10.38/10.44	conflict 37lvl : 20 bt20-126:0(287)X162143
10.38/10.44	conflict 37lvl : 20 bt19-132:0(293)X162183
10.38/10.48	o 1240
10.99/11.06	o 1225
10.99/11.06	c   57 calls to solver: best=1225 lower=0 upper=1224 
11.58/11.61	o 1212
12.68/12.71	o 1172
12.68/12.71	c   59 calls to solver: best=1172 lower=0 upper=1171 
12.68/12.77	conflict 37lvl : 18 bt18-22:0(263)X163045
14.98/15.10	conflict 37lvl : 25 bt24-48:0(277)X163389
17.78/17.88	conflict 37lvl : 28 bt27-74:0(276)X164111
19.98/20.07	conflict 37lvl : 10 bt10-324:0(256)X164608
22.78/22.87	conflict 37lvl : 20 bt20-394:0(236)X164788
22.88/22.90	conflict 37lvl : 25 bt25-388:0(254)X164828
23.68/23.79	conflict 37lvl : 20 bt20-54:0(291)X165261
24.48/24.53	conflict 53lvl : 25 bt25-133:0(285)X165301
24.48/24.53	conflict 51lvl : 22 bt22-224:0(265)X165357
25.29/25.35	o 1149
25.58/25.62	conflict 72lvl : 25 bt2586:0(220)X165411
25.58/25.62	conflict 54lvl : 25 bt25-372:0(222)X165486
25.58/25.63	conflict 53lvl : 25 bt25-332:0(201)X165543
25.58/25.64	conflict 53lvl : 27 bt27-51:0(192)X165599
25.58/25.64	conflict 37lvl : 25 bt24-173:0(209)X165655
25.68/25.70	conflict 37lvl : 15 bt15-13:0(239)X165695
25.68/25.70	conflict 37lvl : 17 bt17-194:0(205)X165735
26.39/26.44	c
26.39/26.44	c Optimum found         : 1149
26.39/26.44	c
26.39/26.44	
26.39/26.44	v <instantiation type='solution' cost='1149'>
26.39/26.44	v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] d[0][0] 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[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[1][0] 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[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[2][0] 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[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[3][0] 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[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[4][0] 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[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[5][0] 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[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[6][0] 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[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[7][0] 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[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[8][0] 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[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[9][0] 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] 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[10][0] 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[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[11][0] 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[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[12][0] 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[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[13][0] 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[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[14][0] 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[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[15][0] 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[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[16][0] 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[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[17][0] 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[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[18][0] 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[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[19][0] 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[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] </list>
26.39/26.44	v <values>19 2 8 6 0 11 15 5 7 13 9 3 4 12 16 1 17 10 18 14 * 1 1 * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * 2 * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * 4 * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * </values>
26.39/26.44	v </instantiation>
26.39/26.44	
26.39/26.44	c call to solver        : 61
26.39/26.44	c
26.39/26.44	c restarts              : 565         
26.39/26.44	c conflicts             : 530741       (20083 /sec)
26.39/26.44	c decisions             : 1309022      (49533 /sec)
26.39/26.44	c propagations          : 41245391    (1560701 /sec)
26.39/26.44	c root propagations     : 19          
26.39/26.44	c filter calls          : 16307360       (617061 /sec)
26.39/26.44	c useless filter calls  : 7865817        (48 %)
26.39/26.44	c
26.39/26.44	c clauses               : 25829
26.39/26.44	c SAT propagations      : 2804
26.39/26.44	c SAT conflicts         : 602 (43 learnts)
26.39/26.44	c Memory used           : 32.58 MB
26.39/26.44	c CPU time              : 26.4274 s
26.39/26.44	
26.39/26.44	s OPTIMUM FOUND

OK	1149

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4240533-1500638426/watcher-4240533-1500638426 -o /tmp/evaluation-result-4240533-1500638426/solver-4240533-1500638426 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1500636024-10228 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4240533-1500638426.xml 

pid=10573
running on 4 cores: 0,2,4,6

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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.01 1.98 3/186 10576
/proc/meminfo: memFree=30880184/32770624 swapFree=6164/836768
[pid=10576] ppid=10573 vsize=27256 CPUtime=0 cores=0,2,4,6
/proc/10576/stat : 10576 (cosoco) R 10573 10576 3831 0 -1 4202496 1019 0 0 0 0 0 0 0 20 0 1 0 17283431 27910144 832 33554432000 4194304 5970956 140736055768016 140736055764664 5451308 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 16150528 140736055776444 140736055776579 140736055776579 140736055779278 0
/proc/10576/statm: 6814 832 702 434 0 178 0

[startup+0.100157 s]
/proc/loadavg: 2.00 2.01 1.98 3/186 10576
/proc/meminfo: memFree=30880184/32770624 swapFree=6164/836768
[pid=10576] ppid=10573 vsize=33216 CPUtime=0.09 cores=0,2,4,6
/proc/10576/stat : 10576 (cosoco) R 10573 10576 3831 0 -1 4202496 1589 0 0 0 9 0 0 0 20 0 1 0 17283431 34013184 1426 33554432000 4194304 5970956 140736055768016 140736055765352 5279833 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 16150528 140736055776444 140736055776579 140736055776579 140736055779278 0
/proc/10576/statm: 8304 1426 789 434 0 1668 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33216

[startup+0.200328 s]
/proc/loadavg: 2.00 2.01 1.98 3/186 10576
/proc/meminfo: memFree=30880184/32770624 swapFree=6164/836768
[pid=10576] ppid=10573 vsize=33216 CPUtime=0.19 cores=0,2,4,6
/proc/10576/stat : 10576 (cosoco) R 10573 10576 3831 0 -1 4202496 1600 0 0 0 19 0 0 0 20 0 1 0 17283431 34013184 1426 33554432000 4194304 5970956 140736055768016 140736055765352 4934335 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 16150528 140736055776444 140736055776579 140736055776579 140736055779278 0
/proc/10576/statm: 8304 1426 789 434 0 1668 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 33216

[startup+0.300317 s]
/proc/loadavg: 2.00 2.01 1.98 3/186 10576
/proc/meminfo: memFree=30880184/32770624 swapFree=6164/836768
[pid=10576] ppid=10573 vsize=33216 CPUtime=0.29 cores=0,2,4,6
/proc/10576/stat : 10576 (cosoco) R 10573 10576 3831 0 -1 4202496 1612 0 0 0 29 0 0 0 20 0 1 0 17283431 34013184 1426 33554432000 4194304 5970956 140736055768016 140736055765352 4969799 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 16150528 140736055776444 140736055776579 140736055776579 140736055779278 0
/proc/10576/statm: 8304 1426 789 434 0 1668 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33216

[startup+0.700277 s]
/proc/loadavg: 2.00 2.01 1.98 3/186 10576
/proc/meminfo: memFree=30880184/32770624 swapFree=6164/836768
[pid=10576] ppid=10573 vsize=33360 CPUtime=0.69 cores=0,2,4,6
/proc/10576/stat : 10576 (cosoco) R 10573 10576 3831 0 -1 4202496 1672 0 0 0 69 0 0 0 20 0 1 0 17283431 34160640 1492 33554432000 4194304 5970956 140736055768016 140736055755320 4934354 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 16150528 140736055776444 140736055776579 140736055776579 140736055779278 0
/proc/10576/statm: 8340 1492 791 434 0 1704 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33360

[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 10577
/proc/meminfo: memFree=30877428/32770624 swapFree=6164/836804
[pid=10576] ppid=10573 vsize=33360 CPUtime=1.49 cores=0,2,4,6
/proc/10576/stat : 10576 (cosoco) R 10573 10576 3831 0 -1 4202496 1676 0 0 0 149 0 0 0 20 0 1 0 17283431 34160640 1492 33554432000 4194304 5970956 140736055768016 140736055765352 5327999 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 16150528 140736055776444 140736055776579 140736055776579 140736055779278 0
/proc/10576/statm: 8340 1492 791 434 0 1704 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33360

[startup+3.10028 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 10577
/proc/meminfo: memFree=30877056/32770624 swapFree=6164/836804
[pid=10576] ppid=10573 vsize=33360 CPUtime=3.09 cores=0,2,4,6
/proc/10576/stat : 10576 (cosoco) R 10573 10576 3831 0 -1 4202496 2049 0 0 0 309 0 0 0 20 0 1 0 17283431 34160640 1519 33554432000 4194304 5970956 140736055768016 140736055755320 4933982 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 16150528 140736055776444 140736055776579 140736055776579 140736055779278 0
/proc/10576/statm: 8340 1519 791 434 0 1704 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33360

[startup+6.30025 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 10577
/proc/meminfo: memFree=30876860/32770624 swapFree=6164/836812
[pid=10576] ppid=10573 vsize=33360 CPUtime=6.28 cores=0,2,4,6
/proc/10576/stat : 10576 (cosoco) R 10573 10576 3831 0 -1 4202496 2425 0 0 0 628 0 0 0 20 0 1 0 17283431 34160640 1521 33554432000 4194304 5970956 140736055768016 140736055765576 140035779152992 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 16150528 140736055776444 140736055776579 140736055776579 140736055779278 0
/proc/10576/statm: 8340 1521 791 434 0 1704 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 33360

[startup+12.7003 s]
/proc/loadavg: 2.08 2.03 1.98 3/187 10577
/proc/meminfo: memFree=30877480/32770624 swapFree=6164/836820
[pid=10576] ppid=10573 vsize=33360 CPUtime=12.68 cores=0,2,4,6
/proc/10576/stat : 10576 (cosoco) R 10573 10576 3831 0 -1 4202496 2810 0 0 0 1268 0 0 0 20 0 1 0 17283431 34160640 1524 33554432000 4194304 5970956 140736055768016 140736055765576 4976698 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 16150528 140736055776444 140736055776579 140736055776579 140736055779278 0
/proc/10576/statm: 8340 1524 791 434 0 1704 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 33360

[startup+25.5003 s]
/proc/loadavg: 2.06 2.03 1.98 3/187 10638
/proc/meminfo: memFree=31100244/32770624 swapFree=6164/836868
[pid=10576] ppid=10573 vsize=33360 CPUtime=25.48 cores=0,2,4,6
/proc/10576/stat : 10576 (cosoco) R 10573 10576 3831 0 -1 4202496 3561 0 0 0 2548 0 0 0 20 0 1 0 17283431 34160640 1528 33554432000 4194304 5970956 140736055768016 140736055765576 4976596 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 16150528 140736055776444 140736055776579 140736055776579 140736055779278 0
/proc/10576/statm: 8340 1528 791 434 0 1704 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 33360

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 10576 sig 9
??? kill -10576 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+25.6003 s]
/proc/loadavg: 2.06 2.03 1.98 3/187 10638
/proc/meminfo: memFree=31100244/32770624 swapFree=6164/836868
[pid=10576] ppid=10573 vsize=33360 CPUtime=25.58 cores=0,2,4,6
/proc/10576/stat : 10576 (cosoco) R 10573 10576 3831 0 -1 4202496 3561 0 0 0 2558 0 0 0 20 0 1 0 17283431 34160640 1528 33554432000 4194304 5970956 140736055768016 140736055765576 5250419 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 16150528 140736055776444 140736055776579 140736055776579 140736055779278 0
/proc/10576/statm: 8340 1528 791 434 0 1704 0
Current children cumulated CPU time (s) 25.58
Current children cumulated vsize (KiB) 33360

[startup+26.0002 s]
/proc/loadavg: 2.06 2.03 1.98 3/187 10638
/proc/meminfo: memFree=31100244/32770624 swapFree=6164/836868
[pid=10576] ppid=10573 vsize=33360 CPUtime=25.98 cores=0,2,4,6
/proc/10576/stat : 10576 (cosoco) R 10573 10576 3831 0 -1 4202496 3565 0 0 0 2598 0 0 0 20 0 1 0 17283431 34160640 1528 33554432000 4194304 5970956 140736055768016 140736055765352 4976819 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 16150528 140736055776444 140736055776579 140736055776579 140736055779278 0
/proc/10576/statm: 8340 1528 791 434 0 1704 0
Current children cumulated CPU time (s) 25.98
Current children cumulated vsize (KiB) 33360

[startup+26.4003 s]
/proc/loadavg: 2.06 2.03 1.98 3/187 10638
/proc/meminfo: memFree=31100492/32770624 swapFree=6164/836868
[pid=10576] ppid=10573 vsize=33360 CPUtime=26.39 cores=0,2,4,6
/proc/10576/stat : 10576 (cosoco) R 10573 10576 3831 0 -1 4202496 3565 0 0 0 2639 0 0 0 20 0 1 0 17283431 34160640 1528 33554432000 4194304 5970956 140736055768016 140736055765352 5098928 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 16150528 140736055776444 140736055776579 140736055776579 140736055779278 0
/proc/10576/statm: 8340 1528 791 434 0 1704 0
Current children cumulated CPU time (s) 26.39
Current children cumulated vsize (KiB) 33360

Child status: 0
Real time (s): 26.4429
CPU time (s): 26.4365
CPU user time (s): 26.4275
CPU system time (s): 0.008997
CPU usage (%): 99.9756
Max. virtual memory (cumulated for all children) (KiB): 33360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.4275
system time used= 0.008997
maximum resident set size= 6196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3609
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= 12
involuntary context switches= 1352

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.069208 second user time and 0.106474 second system time

The end

Begin job on node139 at 2017-07-21 14:00:26
IDJOB=4240533
IDBENCH=123097
IDSOLVER=2621
FILE ID=node139/4240533-1500638426
RUNJOBID= node139-1500636024-10228
PBS_JOBID= 20622994
Free space on /tmp= 61996 MiB

SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-chr20b.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4240533-1500638426/watcher-4240533-1500638426 -o /tmp/evaluation-result-4240533-1500638426/solver-4240533-1500638426 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1500636024-10228 --watchdog 2560  HOME/cosoco -lc -model -restarts -sat HOME/instance-4240533-1500638426.xml

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

MD5SUM BENCH= 260fd80204e0f144bd4a5efeedc28067
RANDOM SEED=1978525992

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

/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		: 1600.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.86
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		: 1600.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		: 1867.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.86
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		: 2400.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.86
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		: 1600.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		: 1600.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.86
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		: 1600.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:        30880712 kB
MemAvailable:   31779644 kB
Buffers:          163648 kB
Cached:          1013720 kB
SwapCached:            0 kB
Active:           618492 kB
Inactive:         845652 kB
Active(anon):     289404 kB
Inactive(anon):     8884 kB
Active(file):     329088 kB
Inactive(file):   836768 kB
Unevictable:        6164 kB
Mlocked:            6164 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2464 kB
Writeback:             0 kB
AnonPages:        390668 kB
Mapped:            34680 kB
Shmem:              8852 kB
Slab:             123096 kB
SReclaimable:      97820 kB
SUnreclaim:        25276 kB
KernelStack:        3360 kB
PageTables:         5144 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     558672 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    333824 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61992 MiB
End job on node139 at 2017-07-21 14:00:52