2017 XCSP3 competition: mini-solver track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
cosoco-mini 1.1 (2017-06-27)	OPT	26	126.108	126.109

0.19/0.23	c best=?? lower=0 upper=2470 
0.19/0.24	c
0.19/0.24	c This is cosoco 1.0 --  
0.19/0.24	c
0.19/0.24	c enable optimization
0.19/0.24	c ========================================[ Problem Statistics ]===========================================
0.19/0.24	c |                                                                                                       
0.19/0.24	c |  Parse time        :         0.23 s 
0.19/0.24	c |
0.19/0.24	c |               Variables: 419
0.19/0.24	c |            Domain Sizes: 2..39
0.19/0.24	c |
0.19/0.24	c |             Constraints: 229
0.19/0.24	c |                   Arity: 2..20  -- Binary: 20  -- Ternary: 191
0.19/0.24	c | 
0.19/0.24	c |                   Types: 
0.19/0.24	c |                          Intension: 209
0.19/0.24	c |                          Sum: 20
0.19/0.24	c |                          
0.19/0.24	c =========================================================================================================
0.19/0.24	o 330
0.19/0.24	c    1 calls to solver: best=330 lower=0 upper=329 
0.19/0.24	o 274
0.19/0.24	o 266
0.19/0.24	c    3 calls to solver: best=266 lower=0 upper=265 
0.19/0.24	o 262
0.19/0.26	o 150
0.19/0.26	c    5 calls to solver: best=150 lower=0 upper=149 
0.19/0.26	o 146
0.19/0.26	o 126
0.19/0.26	c    7 calls to solver: best=126 lower=0 upper=125 
0.19/0.26	o 114
0.19/0.27	o 102
0.19/0.27	c    9 calls to solver: best=102 lower=0 upper=101 
0.19/0.27	o 86
0.19/0.28	o 70
0.19/0.28	c   11 calls to solver: best=70 lower=0 upper=69 
0.29/0.31	o 58
0.79/0.80	o 54
0.79/0.80	c   13 calls to solver: best=54 lower=0 upper=53 
0.79/0.86	o 34
65.29/65.36	o 26
65.29/65.36	c   15 calls to solver: best=26 lower=0 upper=25 
126.09/126.10	c
126.09/126.10	c Optimum found         : 26
126.09/126.10	c
126.09/126.10	
126.09/126.10	v <instantiation type='solution' cost='26'>
126.09/126.10	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] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] </list>
126.09/126.10	v <values>-1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 1 1 1 * 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 1 1 * * 1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 * * * 1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 * * * * -1 1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 1 * * * * * -1 -1 1 1 1 1 1 -1 -1 1 -1 -1 -1 * * * * * * 1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 * * * * * * * -1 -1 -1 1 -1 1 1 1 -1 1 -1 * * * * * * * * 1 -1 -1 -1 1 -1 1 1 -1 1 * * * * * * * * * 1 -1 1 1 -1 -1 1 1 -1 * * * * * * * * * * 1 1 -1 -1 -1 -1 1 1 * * * * * * * * * * * -1 -1 1 -1 -1 -1 1 * * * * * * * * * * * * 1 1 1 -1 -1 -1 * * * * * * * * * * * * * -1 1 1 -1 -1 * * * * * * * * * * * * * * -1 1 1 -1 * * * * * * * * * * * * * * * -1 1 1 * * * * * * * * * * * * * * * * -1 1 * * * * * * * * * * * * * * * * * -1 * * * * * * * * * * * * * * * * * * 1 0 -1 0 -3 0 -1 0 -1 0 1 0 -3 0 -1 0 1 0 -1 1 0 1 0 9 0 1 0 1 0 1 0 9 0 1 0 1 0 1 </values>
126.09/126.10	v </instantiation>
126.09/126.10	
126.09/126.10	c call to solver        : 16
126.09/126.10	c
126.09/126.10	c restarts              : 65          
126.09/126.10	c conflicts             : 506813       (4019 /sec)
126.09/126.10	c decisions             : 4535637      (35967 /sec)
126.09/126.10	c propagations          : 146513106   (1161833 /sec)
126.09/126.10	c root propagations     : 1011        
126.09/126.10	c filter calls          : 182939341      (1450689 /sec)
126.09/126.10	c useless filter calls  : 87698165       (47 %)
126.09/126.10	c Memory used           : 27.75 MB
126.09/126.10	c CPU time              : 126.105 s
126.09/126.10	
126.09/126.10	s OPTIMUM FOUND

Verifier Data

Watcher Data

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-4252708-1500924806/watcher-4252708-1500924806 -o /tmp/evaluation-result-4252708-1500924806/solver-4252708-1500924806 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500914943-3946 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4252708-1500924806.xml 

pid=8013
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 2.05 2/181 8016
/proc/meminfo: memFree=23782948/32770624 swapFree=5832/127040
[pid=8016] ppid=8013 vsize=26904 CPUtime=0 cores=0,2,4,6
/proc/8016/stat : 8016 (cosoco) R 8013 8016 3915 0 -1 4202496 965 0 0 0 0 0 0 0 20 0 1 0 2039727 27549696 759 33554432000 4194304 5744392 140728404403664 140728404400312 140680426871781 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37982208 140728404407489 140728404407619 140728404407619 140728404410318 0
/proc/8016/statm: 6726 759 677 379 0 145 0

[startup+0.100196 s]
/proc/loadavg: 2.00 2.01 2.05 2/181 8016
/proc/meminfo: memFree=23782948/32770624 swapFree=5832/127040
[pid=8016] ppid=8013 vsize=27544 CPUtime=0.09 cores=0,2,4,6
/proc/8016/stat : 8016 (cosoco) R 8013 8016 3915 0 -1 4202496 1208 0 0 0 9 0 0 0 20 0 1 0 2039727 28205056 1041 33554432000 4194304 5744392 140728404403664 140728404400312 140680426871781 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37982208 140728404407489 140728404407619 140728404407619 140728404410318 0
/proc/8016/statm: 6886 1041 774 379 0 305 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27544

[startup+0.20034 s]
/proc/loadavg: 2.00 2.01 2.05 2/181 8016
/proc/meminfo: memFree=23782948/32770624 swapFree=5832/127040
[pid=8016] ppid=8013 vsize=28028 CPUtime=0.19 cores=0,2,4,6
/proc/8016/stat : 8016 (cosoco) R 8013 8016 3915 0 -1 4202496 1323 0 0 0 19 0 0 0 20 0 1 0 2039727 28700672 1162 33554432000 4194304 5744392 140728404403664 140728404400312 140680426871781 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37982208 140728404407489 140728404407619 140728404407619 140728404410318 0
/proc/8016/statm: 7007 1162 774 379 0 426 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28028

[startup+0.300324 s]
/proc/loadavg: 2.00 2.01 2.05 2/181 8016
/proc/meminfo: memFree=23782948/32770624 swapFree=5832/127040
[pid=8016] ppid=8013 vsize=28412 CPUtime=0.29 cores=0,2,4,6
/proc/8016/stat : 8016 (cosoco) R 8013 8016 3915 0 -1 4202496 1500 0 0 0 29 0 0 0 20 0 1 0 2039727 29093888 1339 33554432000 4194304 5744392 140728404403664 140728404400312 4904853 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37982208 140728404407489 140728404407619 140728404407619 140728404410318 0
/proc/8016/statm: 7103 1339 829 379 0 522 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28412

[startup+0.700279 s]
/proc/loadavg: 2.00 2.01 2.05 2/181 8016
/proc/meminfo: memFree=23782948/32770624 swapFree=5832/127040
[pid=8016] ppid=8013 vsize=28412 CPUtime=0.69 cores=0,2,4,6
/proc/8016/stat : 8016 (cosoco) R 8013 8016 3915 0 -1 4202496 1501 0 0 0 69 0 0 0 20 0 1 0 2039727 29093888 1339 33554432000 4194304 5744392 140728404403664 140728404401272 5140581 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37982208 140728404407489 140728404407619 140728404407619 140728404410318 0
/proc/8016/statm: 7103 1339 829 379 0 522 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28412

[startup+1.50027 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8017
/proc/meminfo: memFree=23781544/32770624 swapFree=5832/127056
[pid=8016] ppid=8013 vsize=28412 CPUtime=1.49 cores=0,2,4,6
/proc/8016/stat : 8016 (cosoco) R 8013 8016 3915 0 -1 4202496 1502 0 0 0 149 0 0 0 20 0 1 0 2039727 29093888 1339 33554432000 4194304 5744392 140728404403664 140728404401272 5140573 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37982208 140728404407489 140728404407619 140728404407619 140728404410318 0
/proc/8016/statm: 7103 1339 829 379 0 522 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28412

[startup+3.10028 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8017
/proc/meminfo: memFree=23781172/32770624 swapFree=5832/127056
[pid=8016] ppid=8013 vsize=28412 CPUtime=3.09 cores=0,2,4,6
/proc/8016/stat : 8016 (cosoco) R 8013 8016 3915 0 -1 4202496 1920 0 0 0 309 0 0 0 20 0 1 0 2039727 29093888 1343 33554432000 4194304 5744392 140728404403664 140728404401272 4905519 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37982208 140728404407489 140728404407619 140728404407619 140728404410318 0
/proc/8016/statm: 7103 1343 829 379 0 522 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28412

[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8017
/proc/meminfo: memFree=23781156/32770624 swapFree=5832/127064
[pid=8016] ppid=8013 vsize=28412 CPUtime=6.29 cores=0,2,4,6
/proc/8016/stat : 8016 (cosoco) R 8013 8016 3915 0 -1 4202496 2338 0 0 0 629 0 0 0 20 0 1 0 2039727 29093888 1343 33554432000 4194304 5744392 140728404403664 140728404401272 4971368 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37982208 140728404407489 140728404407619 140728404407619 140728404410318 0
/proc/8016/statm: 7103 1343 829 379 0 522 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28412

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8017
/proc/meminfo: memFree=23780660/32770624 swapFree=5832/127064
[pid=8016] ppid=8013 vsize=28412 CPUtime=12.69 cores=0,2,4,6
/proc/8016/stat : 8016 (cosoco) R 8013 8016 3915 0 -1 4202496 2756 0 0 0 1269 0 0 0 20 0 1 0 2039727 29093888 1343 33554432000 4194304 5744392 140728404403664 140728404401272 4998864 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37982208 140728404407489 140728404407619 140728404407619 140728404410318 0
/proc/8016/statm: 7103 1343 829 379 0 522 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28412

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 8017
/proc/meminfo: memFree=29005932/32770624 swapFree=5832/127084
[pid=8016] ppid=8013 vsize=28412 CPUtime=25.49 cores=0,2,4,6
/proc/8016/stat : 8016 (cosoco) R 8013 8016 3915 0 -1 4202496 3592 0 0 0 2549 0 0 0 20 0 1 0 2039727 29093888 1343 33554432000 4194304 5744392 140728404403664 140728404401272 4939039 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37982208 140728404407489 140728404407619 140728404407619 140728404410318 0
/proc/8016/statm: 7103 1343 829 379 0 522 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 28412

[startup+51.1003 s]
/proc/loadavg: 1.87 1.98 2.03 2/180 9847
/proc/meminfo: memFree=32080552/32770624 swapFree=5832/129596
[pid=8016] ppid=8013 vsize=28412 CPUtime=51.09 cores=0,2,4,6
/proc/8016/stat : 8016 (cosoco) R 8013 8016 3915 0 -1 4202496 4010 0 0 0 5109 0 0 0 20 0 1 0 2039727 29093888 1343 33554432000 4194304 5744392 140728404403664 140728404401272 4939202 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37982208 140728404407489 140728404407619 140728404407619 140728404410318 0
/proc/8016/statm: 7103 1343 829 379 0 522 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 28412

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 10579
/proc/meminfo: memFree=32075168/32770624 swapFree=5832/129972
[pid=8016] ppid=8013 vsize=28412 CPUtime=102.3 cores=0,2,4,6
/proc/8016/stat : 8016 (cosoco) R 8013 8016 3915 0 -1 4202496 4454 0 0 0 10230 0 0 0 20 0 1 0 2039727 29093888 1344 33554432000 4194304 5744392 140728404403664 140728404391016 5140585 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37982208 140728404407489 140728404407619 140728404407619 140728404410318 0
/proc/8016/statm: 7103 1344 829 379 0 522 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 28412

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

[startup+102.406 s]
/proc/loadavg: 2.00 2.00 2.04 3/182 10579
/proc/meminfo: memFree=32075168/32770624 swapFree=5832/129972
[pid=8016] ppid=8013 vsize=28412 CPUtime=102.4 cores=0,2,4,6
/proc/8016/stat : 8016 (cosoco) R 8013 8016 3915 0 -1 4202496 4454 0 0 0 10240 0 0 0 20 0 1 0 2039727 29093888 1344 33554432000 4194304 5744392 140728404403664 140728404391016 4904830 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37982208 140728404407489 140728404407619 140728404407619 140728404410318 0
/proc/8016/statm: 7103 1344 829 379 0 522 0
Current children cumulated CPU time (s) 102.4
Current children cumulated vsize (KiB) 28412

[startup+115.2 s]
/proc/loadavg: 2.07 2.02 2.05 3/182 10579
/proc/meminfo: memFree=32075168/32770624 swapFree=5832/129988
[pid=8016] ppid=8013 vsize=28412 CPUtime=115.19 cores=0,2,4,6
/proc/8016/stat : 8016 (cosoco) R 8013 8016 3915 0 -1 4202496 4454 0 0 0 11519 0 0 0 20 0 1 0 2039727 29093888 1344 33554432000 4194304 5744392 140728404403664 140728404391016 4939039 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37982208 140728404407489 140728404407619 140728404407619 140728404410318 0
/proc/8016/statm: 7103 1344 829 379 0 522 0
Current children cumulated CPU time (s) 115.19
Current children cumulated vsize (KiB) 28412

[startup+121.6 s]
/proc/loadavg: 2.06 2.02 2.05 3/182 10579
/proc/meminfo: memFree=32075168/32770624 swapFree=5832/129988
[pid=8016] ppid=8013 vsize=28412 CPUtime=121.59 cores=0,2,4,6
/proc/8016/stat : 8016 (cosoco) R 8013 8016 3915 0 -1 4202496 4874 0 0 0 12159 0 0 0 20 0 1 0 2039727 29093888 1344 33554432000 4194304 5744392 140728404403664 140728404391016 4905408 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37982208 140728404407489 140728404407619 140728404407619 140728404410318 0
/proc/8016/statm: 7103 1344 829 379 0 522 0
Current children cumulated CPU time (s) 121.59
Current children cumulated vsize (KiB) 28412

[startup+123.2 s]
/proc/loadavg: 2.06 2.02 2.05 3/182 10579
/proc/meminfo: memFree=32075176/32770624 swapFree=5832/130004
[pid=8016] ppid=8013 vsize=28412 CPUtime=123.2 cores=0,2,4,6
/proc/8016/stat : 8016 (cosoco) R 8013 8016 3915 0 -1 4202496 4874 0 0 0 12320 0 0 0 20 0 1 0 2039727 29093888 1344 33554432000 4194304 5744392 140728404403664 140728404391016 5024224 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37982208 140728404407489 140728404407619 140728404407619 140728404410318 0
/proc/8016/statm: 7103 1344 829 379 0 522 0
Current children cumulated CPU time (s) 123.2
Current children cumulated vsize (KiB) 28412

[startup+124.8 s]
/proc/loadavg: 2.06 2.02 2.05 3/182 10579
/proc/meminfo: memFree=32075176/32770624 swapFree=5832/130008
[pid=8016] ppid=8013 vsize=28412 CPUtime=124.79 cores=0,2,4,6
/proc/8016/stat : 8016 (cosoco) R 8013 8016 3915 0 -1 4202496 4874 0 0 0 12479 0 0 0 20 0 1 0 2039727 29093888 1344 33554432000 4194304 5744392 140728404403664 140728404391016 4939065 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37982208 140728404407489 140728404407619 140728404407619 140728404410318 0
/proc/8016/statm: 7103 1344 829 379 0 522 0
Current children cumulated CPU time (s) 124.79
Current children cumulated vsize (KiB) 28412

[startup+125.6 s]
/proc/loadavg: 2.06 2.02 2.05 3/182 10579
/proc/meminfo: memFree=32075176/32770624 swapFree=5832/130008
[pid=8016] ppid=8013 vsize=28412 CPUtime=125.59 cores=0,2,4,6
/proc/8016/stat : 8016 (cosoco) R 8013 8016 3915 0 -1 4202496 4874 0 0 0 12559 0 0 0 20 0 1 0 2039727 29093888 1344 33554432000 4194304 5744392 140728404403664 140728404391016 4971639 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37982208 140728404407489 140728404407619 140728404407619 140728404410318 0
/proc/8016/statm: 7103 1344 829 379 0 522 0
Current children cumulated CPU time (s) 125.59
Current children cumulated vsize (KiB) 28412

[startup+126 s]
/proc/loadavg: 2.06 2.02 2.05 3/182 10579
/proc/meminfo: memFree=32075176/32770624 swapFree=5832/130008
[pid=8016] ppid=8013 vsize=28412 CPUtime=125.99 cores=0,2,4,6
/proc/8016/stat : 8016 (cosoco) R 8013 8016 3915 0 -1 4202496 4874 0 0 0 12599 0 0 0 20 0 1 0 2039727 29093888 1344 33554432000 4194304 5744392 140728404403664 140728404391016 4952969 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37982208 140728404407489 140728404407619 140728404407619 140728404410318 0
/proc/8016/statm: 7103 1344 829 379 0 522 0
Current children cumulated CPU time (s) 125.99
Current children cumulated vsize (KiB) 28412

[startup+126.1 s]
/proc/loadavg: 2.06 2.02 2.05 3/182 10579
/proc/meminfo: memFree=32075176/32770624 swapFree=5832/130008
[pid=8016] ppid=8013 vsize=28412 CPUtime=126.09 cores=0,2,4,6
/proc/8016/stat : 8016 (cosoco) R 8013 8016 3915 0 -1 4202496 4874 0 0 0 12609 0 0 0 20 0 1 0 2039727 29093888 1344 33554432000 4194304 5744392 140728404403664 140728404391016 4952928 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 7841632 7846472 37982208 140728404407489 140728404407619 140728404407619 140728404410318 0
/proc/8016/statm: 7103 1344 829 379 0 522 0
Current children cumulated CPU time (s) 126.09
Current children cumulated vsize (KiB) 28412

Child status: 0
Real time (s): 126.109
CPU time (s): 126.108
CPU user time (s): 126.106
CPU system time (s): 0.002157
CPU usage (%): 99.9987
Max. virtual memory (cumulated for all children) (KiB): 28412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 126.106
system time used= 0.002157
maximum resident set size= 5444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4933
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= 41

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.236429 second user time and 0.503467 second system time

The end

Launcher Data

Begin job on node143 at 2017-07-24 21:33:26
IDJOB=4252708
IDBENCH=127062
IDSOLVER=2633
FILE ID=node143/4252708-1500924806
RUNJOBID= node143-1500914943-3946
PBS_JOBID= 20625420
Free space on /tmp= 61824 MiB

SOLVER NAME= cosoco-mini 1.1
BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-020.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4252708-1500924806/watcher-4252708-1500924806 -o /tmp/evaluation-result-4252708-1500924806/solver-4252708-1500924806 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500914943-3946 --watchdog 2560  HOME/cosoco -lc -model -restarts HOME/instance-4252708-1500924806.xml

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

MD5SUM BENCH= 8d1019e9f102c0840a0dc4bc65e6ddfe
RANDOM SEED=718246289

node143.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.76
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.76
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.76
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.76
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:        23784020 kB
MemAvailable:   23755328 kB
Buffers:           38156 kB
Cached:           247436 kB
SwapCached:            0 kB
Active:          8483432 kB
Inactive:         135632 kB
Active(anon):    8336524 kB
Inactive(anon):     8592 kB
Active(file):     146908 kB
Inactive(file):   127040 kB
Unevictable:        5832 kB
Mlocked:            5832 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              1944 kB
Writeback:             0 kB
AnonPages:       8550436 kB
Mapped:            28760 kB
Shmem:              8848 kB
Slab:              51888 kB
SReclaimable:      26392 kB
SUnreclaim:        25496 kB
KernelStack:        3280 kB
PageTables:        20772 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    8572304 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2052096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 61820 MiB
End job on node143 at 2017-07-24 21:35:32

Name	LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-020.xml
MD5SUM	8d1019e9f102c0840a0dc4bc65e6ddfe
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	26
Best CPU time to get the best result obtained on this benchmark	33.6956
Satisfiable
(Un)Satisfiability was proved
Number of variables	419
Number of constraints	228
Number of domains	39
Minimum domain size	2
Maximum domain size	39
Distribution of domain sizes	[{"size":2,"count":211},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":1},{"size":23,"count":1},{"size":25,"count":1},{"size":27,"count":1},{"size":29,"count":1},{"size":31,"count":1},{"size":33,"count":1},{"size":35,"count":1},{"size":37,"count":1},{"size":39,"count":1}]
Minimum variable degree	0
Maximum variable degree	19
Distribution of variable degrees	[{"degree":0,"count":171},{"degree":2,"count":228},{"degree":19,"count":20}]
Minimum constraint arity	2
Maximum constraint arity	20
Distribution of constraint arities	[{"arity":2,"count":20},{"arity":3,"count":191},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	209
Distribution of constraint types	[{"type":"intension","count":209},{"type":"sum","count":19}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4252708

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data