2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
R1: cosoco 1.1	No Cert.		2400.03	2399.8999

0.18/0.39	c best=?? lower=0 upper=40 
0.68/0.82	c
0.68/0.82	c This is cosoco 1.0 --  
0.68/0.82	c
0.68/0.82	c enable optimization
0.68/0.82	c ========================================[ Problem Statistics ]===========================================
0.68/0.82	c |                                                                                                       
0.68/0.82	c |  Parse time        :         0.28 s 
0.68/0.82	c |
0.68/0.82	c |               Variables: 920
0.68/0.82	c |            Domain Sizes: 2..41
0.68/0.82	c |
0.68/0.82	c |             Constraints: 882
0.68/0.82	c |                   Arity: 3..40  -- Ternary: 800
0.68/0.82	c | 
0.68/0.82	c |                   Types: 
0.68/0.82	c |                          All Different: 1
0.68/0.82	c |                          Extension: 800  (nb tuples: 1600..1980) -- (shared: 760)
0.68/0.82	c |                          Max constant: 1
0.68/0.82	c |                          Minimum Variable: 40
0.68/0.82	c |                          Sum: 40
0.68/0.82	c |                          
0.68/0.82	c =========================================================================================================
0.68/0.82	o 15
0.68/0.82	c    1 calls to solver: best=15 lower=0 upper=14 
4.69/4.86	o 14
2400.02/2399.90	
2400.02/2399.90	c *** INTERRUPTED ***
2400.02/2399.90	s SATISFIABLE
2400.02/2399.90	c Best value found: 14
2400.02/2399.90	
2400.02/2399.90	
2400.02/2399.90	v <instantiation type='solution' cost='14'>
2400.02/2399.90	v <list>p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] min[0] min[1] min[2] min[3] min[4] min[5] min[6] min[7] min[8] min[9] min[10] min[11] min[12] min[13] min[14] min[15] min[16] min[17] min[18] min[19] max[0] max[1] max[2] max[3] max[4] max[5] max[6] max[7] max[8] max[9] max[10] max[11] max[12] max[13] max[14] max[15] max[16] max[17] max[18] max[19] o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][20] o[0][21] o[0][22] o[0][23] o[0][24] o[0][25] o[0][26] o[0][27] o[0][28] o[0][29] o[0][30] o[0][31] o[0][32] o[0][33] o[0][34] o[0][35] o[0][36] o[0][37] o[0][38] o[0][39] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][20] o[1][21] o[1][22] o[1][23] o[1][24] o[1][25] o[1][26] o[1][27] o[1][28] o[1][29] o[1][30] o[1][31] o[1][32] o[1][33] o[1][34] o[1][35] o[1][36] o[1][37] o[1][38] o[1][39] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[2][20] o[2][21] o[2][22] o[2][23] o[2][24] o[2][25] o[2][26] o[2][27] o[2][28] o[2][29] o[2][30] o[2][31] o[2][32] o[2][33] o[2][34] o[2][35] o[2][36] o[2][37] o[2][38] o[2][39] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][20] o[3][21] o[3][22] o[3][23] o[3][24] o[3][25] o[3][26] o[3][27] o[3][28] o[3][29] o[3][30] o[3][31] o[3][32] o[3][33] o[3][34] o[3][35] o[3][36] o[3][37] o[3][38] o[3][39] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][15] o[4][16] o[4][17] o[4][18] o[4][19] o[4][20] o[4][21] o[4][22] o[4][23] o[4][24] o[4][25] o[4][26] o[4][27] o[4][28] o[4][29] o[4][30] o[4][31] o[4][32] o[4][33] o[4][34] o[4][35] o[4][36] o[4][37] o[4][38] o[4][39] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][20] o[5][21] o[5][22] o[5][23] o[5][24] o[5][25] o[5][26] o[5][27] o[5][28] o[5][29] o[5][30] o[5][31] o[5][32] o[5][33] o[5][34] o[5][35] o[5][36] o[5][37] o[5][38] o[5][39] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][20] o[6][21] o[6][22] o[6][23] o[6][24] o[6][25] o[6][26] o[6][27] o[6][28] o[6][29] o[6][30] o[6][31] o[6][32] o[6][33] o[6][34] o[6][35] o[6][36] o[6][37] o[6][38] o[6][39] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][15] o[7][16] o[7][17] o[7][18] o[7][19] o[7][20] o[7][21] o[7][22] o[7][23] o[7][24] o[7][25] o[7][26] o[7][27] o[7][28] o[7][29] o[7][30] o[7][31] o[7][32] o[7][33] o[7][34] o[7][35] o[7][36] o[7][37] o[7][38] o[7][39] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][20] o[8][21] o[8][22] o[8][23] o[8][24] o[8][25] o[8][26] o[8][27] o[8][28] o[8][29] o[8][30] o[8][31] o[8][32] o[8][33] o[8][34] o[8][35] o[8][36] o[8][37] o[8][38] o[8][39] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][20] o[9][21] o[9][22] o[9][23] o[9][24] o[9][25] o[9][26] o[9][27] o[9][28] o[9][29] o[9][30] o[9][31] o[9][32] o[9][33] o[9][34] o[9][35] o[9][36] o[9][37] o[9][38] o[9][39] o[10][0] o[10][1] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[10][15] o[10][16] o[10][17] o[10][18] o[10][19] o[10][20] o[10][21] o[10][22] o[10][23] o[10][24] o[10][25] o[10][26] o[10][27] o[10][28] o[10][29] o[10][30] o[10][31] o[10][32] o[10][33] o[10][34] o[10][35] o[10][36] o[10][37] o[10][38] o[10][39] o[11][0] o[11][1] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[11][15] o[11][16] o[11][17] o[11][18] o[11][19] o[11][20] o[11][21] o[11][22] o[11][23] o[11][24] o[11][25] o[11][26] o[11][27] o[11][28] o[11][29] o[11][30] o[11][31] o[11][32] o[11][33] o[11][34] o[11][35] o[11][36] o[11][37] o[11][38] o[11][39] o[12][0] o[12][1] o[12][2] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[12][15] o[12][16] o[12][17] o[12][18] o[12][19] o[12][20] o[12][21] o[12][22] o[12][23] o[12][24] o[12][25] o[12][26] o[12][27] o[12][28] o[12][29] o[12][30] o[12][31] o[12][32] o[12][33] o[12][34] o[12][35] o[12][36] o[12][37] o[12][38] o[12][39] o[13][0] o[13][1] o[13][2] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[13][15] o[13][16] o[13][17] o[13][18] o[13][19] o[13][20] o[13][21] o[13][22] o[13][23] o[13][24] o[13][25] o[13][26] o[13][27] o[13][28] o[13][29] o[13][30] o[13][31] o[13][32] o[13][33] o[13][34] o[13][35] o[13][36] o[13][37] o[13][38] o[13][39] o[14][0] o[14][1] o[14][2] o[14][3] o[14][4] o[14][5] o[14][6] o[14][7] o[14][8] o[14][9] o[14][10] o[14][11] o[14][12] o[14][13] o[14][14] o[14][15] o[14][16] o[14][17] o[14][18] o[14][19] o[14][20] o[14][21] o[14][22] o[14][23] o[14][24] o[14][25] o[14][26] o[14][27] o[14][28] o[14][29] o[14][30] o[14][31] o[14][32] o[14][33] o[14][34] o[14][35] o[14][36] o[14][37] o[14][38] o[14][39] o[15][0] o[15][1] o[15][2] o[15][3] o[15][4] o[15][5] o[15][6] o[15][7] o[15][8] o[15][9] o[15][10] o[15][11] o[15][12] o[15][13] o[15][14] o[15][15] o[15][16] o[15][17] o[15][18] o[15][19] o[15][20] o[15][21] o[15][22] o[15][23] o[15][24] o[15][25] o[15][26] o[15][27] o[15][28] o[15][29] o[15][30] o[15][31] o[15][32] o[15][33] o[15][34] o[15][35] o[15][36] o[15][37] o[15][38] o[15][39] o[16][0] o[16][1] o[16][2] o[16][3] o[16][4] o[16][5] o[16][6] o[16][7] o[16][8] o[16][9] o[16][10] o[16][11] o[16][12] o[16][13] o[16][14] o[16][15] o[16][16] o[16][17] o[16][18] o[16][19] o[16][20] o[16][21] o[16][22] o[16][23] o[16][24] o[16][25] o[16][26] o[16][27] o[16][28] o[16][29] o[16][30] o[16][31] o[16][32] o[16][33] o[16][34] o[16][35] o[16][36] o[16][37] o[16][38] o[16][39] o[17][0] o[17][1] o[17][2] o[17][3] o[17][4] o[17][5] o[17][6] o[17][7] o[17][8] o[17][9] o[17][10] o[17][11] o[17][12] o[17][13] o[17][14] o[17][15] o[17][16] o[17][17] o[17][18] o[17][19] o[17][20] o[17][21] o[17][22] o[17][23] o[17][24] o[17][25] o[17][26] o[17][27] o[17][28] o[17][29] o[17][30] o[17][31] o[17][32] o[17][33] o[17][34] o[17][35] o[17][36] o[17][37] o[17][38] o[17][39] o[18][0] o[18][1] o[18][2] o[18][3] o[18][4] o[18][5] o[18][6] o[18][7] o[18][8] o[18][9] o[18][10] o[18][11] o[18][12] o[18][13] o[18][14] o[18][15] o[18][16] o[18][17] o[18][18] o[18][19] o[18][20] o[18][21] o[18][22] o[18][23] o[18][24] o[18][25] o[18][26] o[18][27] o[18][28] o[18][29] o[18][30] o[18][31] o[18][32] o[18][33] o[18][34] o[18][35] o[18][36] o[18][37] o[18][38] o[18][39] o[19][0] o[19][1] o[19][2] o[19][3] o[19][4] o[19][5] o[19][6] o[19][7] o[19][8] o[19][9] o[19][10] o[19][11] o[19][12] o[19][13] o[19][14] o[19][15] o[19][16] o[19][17] o[19][18] o[19][19] o[19][20] o[19][21] o[19][22] o[19][23] o[19][24] o[19][25] o[19][26] o[19][27] o[19][28] o[19][29] o[19][30] o[19][31] o[19][32] o[19][33] o[19][34] o[19][35] o[19][36] o[19][37] o[19][38] o[19][39] so[0] so[1] so[2] so[3] so[4] so[5] so[6] so[7] so[8] so[9] so[10] so[11] so[12] so[13] so[14] so[15] so[16] so[17] so[18] so[19] so[20] so[21] so[2

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-4241337-1502077993/watcher-4241337-1502077993 -o /tmp/evaluation-result-4241337-1502077993/solver-4241337-1502077993 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502042574-16653 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4241337-1502077993.xml 

pid=21589
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.05 2.04 2.05 2/180 21592
/proc/meminfo: memFree=31630020/32770624 swapFree=0/394140
[pid=21592] ppid=21589 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/21592/stat : 21592 (runsolver) D 21589 21592 9955 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10020267 24240128 106 18446744073709551615 4194304 4338465 140729099254576 140729099252216 139717599253207 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 33972224 140729099255967 140729099256394 140729099256394 140729099259850 0
/proc/21592/statm: 5918 106 53 36 0 2156 0

[startup+0.100154 s]
/proc/loadavg: 2.05 2.04 2.05 2/180 21592
/proc/meminfo: memFree=31630020/32770624 swapFree=0/394140
[pid=21592] ppid=21589 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/21592/stat : 21592 (runsolver) D 21589 21592 9955 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10020267 24240128 106 18446744073709551615 4194304 4338465 140729099254576 140729099252216 139717599253207 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 33972224 140729099255967 140729099256394 140729099256394 140729099259850 0
/proc/21592/statm: 5918 106 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672

[startup+0.200321 s]
/proc/loadavg: 2.05 2.04 2.05 2/180 21592
/proc/meminfo: memFree=31630020/32770624 swapFree=0/394140
[pid=21592] ppid=21589 vsize=30116 CPUtime=0.09 cores=1,3,5,7
/proc/21592/stat : 21592 (cosoco) R 21589 21592 9955 0 -1 4202496 1802 0 0 0 9 0 0 0 20 0 1 0 10020267 30838784 1604 18446744073709551615 4194304 5970956 140726784433296 140726784429944 5417044 0 0 1 0 0 0 0 17 1 0 0 10 0 0 8070896 8075904 32284672 140726784434636 140726784434766 140726784434766 140726784438222 0
/proc/21592/statm: 7529 1604 783 434 0 893 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30116

[startup+0.300281 s]
/proc/loadavg: 2.05 2.04 2.05 2/180 21592
/proc/meminfo: memFree=31630020/32770624 swapFree=0/394140
[pid=21592] ppid=21589 vsize=32620 CPUtime=0.18 cores=1,3,5,7
/proc/21592/stat : 21592 (cosoco) R 21589 21592 9955 0 -1 4202496 2440 0 0 0 18 0 0 0 20 0 1 0 10020267 33402880 2264 18446744073709551615 4194304 5970956 140726784433296 140726784429944 140707484371968 0 0 1 0 0 0 0 17 1 0 0 10 0 0 8070896 8075904 32284672 140726784434636 140726784434766 140726784434766 140726784438222 0
/proc/21592/statm: 8155 2264 783 434 0 1519 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 32620

[startup+0.70032 s]
/proc/loadavg: 2.05 2.04 2.05 2/180 21592
/proc/meminfo: memFree=31630020/32770624 swapFree=0/394140
[pid=21592] ppid=21589 vsize=47560 CPUtime=0.59 cores=1,3,5,7
/proc/21592/stat : 21592 (cosoco) R 21589 21592 9955 0 -1 4202496 6209 0 0 0 58 1 0 0 20 0 1 0 10020267 48701440 5990 18446744073709551615 4194304 5970956 140726784433296 140726784429944 140707483933669 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 32284672 140726784434636 140726784434766 140726784434766 140726784438222 0
/proc/21592/statm: 11890 5990 790 434 0 5254 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 47560

[startup+1.50032 s]
/proc/loadavg: 2.05 2.04 2.05 3/181 21593
/proc/meminfo: memFree=31604220/32770624 swapFree=0/394112
[pid=21592] ppid=21589 vsize=52708 CPUtime=1.38 cores=1,3,5,7
/proc/21592/stat : 21592 (cosoco) R 21589 21592 9955 0 -1 4202496 7503 0 0 0 137 1 0 0 20 0 1 0 10020267 53972992 7310 18446744073709551615 4194304 5970956 140726784433296 140726784430168 4934320 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 32284672 140726784434636 140726784434766 140726784434766 140726784438222 0
/proc/21592/statm: 13177 7310 842 434 0 6541 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 52708

[startup+3.10027 s]
/proc/loadavg: 2.05 2.04 2.05 3/181 21593
/proc/meminfo: memFree=31603848/32770624 swapFree=0/394112
[pid=21592] ppid=21589 vsize=52708 CPUtime=2.98 cores=1,3,5,7
/proc/21592/stat : 21592 (cosoco) R 21589 21592 9955 0 -1 4202496 13646 0 0 0 297 1 0 0 20 0 1 0 10020267 53972992 7350 18446744073709551615 4194304 5970956 140726784433296 140726784430168 5136560 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 32284672 140726784434636 140726784434766 140726784434766 140726784438222 0
/proc/21592/statm: 13177 7350 842 434 0 6541 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 52708

[startup+6.3003 s]
/proc/loadavg: 2.05 2.04 2.05 3/181 21593
/proc/meminfo: memFree=31603368/32770624 swapFree=0/394124
[pid=21592] ppid=21589 vsize=52840 CPUtime=6.18 cores=1,3,5,7
/proc/21592/stat : 21592 (cosoco) R 21589 21592 9955 0 -1 4202496 19921 0 0 0 616 2 0 0 20 0 1 0 10020267 54108160 7367 18446744073709551615 4194304 5970956 140726784433296 140726784430856 4934323 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 8070896 8075904 32284672 140726784434636 140726784434766 140726784434766 140726784438222 0
/proc/21592/statm: 13210 7367 842 434 0 6574 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 52840

[startup+12.7002 s]
/proc/loadavg: 2.05 2.04 2.05 3/181 21593
/proc/meminfo: memFree=31603492/32770624 swapFree=0/394132
[pid=21592] ppid=21589 vsize=52840 CPUtime=12.58 cores=1,3,5,7
/proc/21592/stat : 21592 (cosoco) R 21589 21592 9955 0 -1 4202496 24741 0 0 0 1256 2 0 0 20 0 1 0 10020267 54108160 7392 18446744073709551615 4194304 5970956 140726784433296 140726784430856 4977858 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 32284672 140726784434636 140726784434766 140726784434766 140726784438222 0
/proc/21592/statm: 13210 7392 842 434 0 6574 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 52840

[startup+25.5003 s]
/proc/loadavg: 2.04 2.04 2.05 3/181 21593
/proc/meminfo: memFree=31603412/32770624 swapFree=0/394140
[pid=21592] ppid=21589 vsize=52840 CPUtime=25.38 cores=1,3,5,7
/proc/21592/stat : 21592 (cosoco) R 21589 21592 9955 0 -1 4202496 29803 0 0 0 2536 2 0 0 20 0 1 0 10020267 54108160 7398 18446744073709551615 4194304 5970956 140726784433296 140726784430856 5038701 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 32284672 140726784434636 140726784434766 140726784434766 140726784438222 0
/proc/21592/statm: 13210 7398 842 434 0 6574 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 52840

[startup+51.1003 s]
/proc/loadavg: 2.02 2.03 2.05 3/181 21593
/proc/meminfo: memFree=31603420/32770624 swapFree=0/394148
[pid=21592] ppid=21589 vsize=52840 CPUtime=50.98 cores=1,3,5,7
/proc/21592/stat : 21592 (cosoco) R 21589 21592 9955 0 -1 4202496 30083 0 0 0 5096 2 0 0 20 0 1 0 10020267 54108160 7398 18446744073709551615 4194304 5970956 140726784433296 140726784430856 4934327 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 32284672 140726784434636 140726784434766 140726784434766 140726784438222 0
/proc/21592/statm: 13210 7398 842 434 0 6574 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 52840

[startup+102.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 21610
/proc/meminfo: memFree=31598932/32770624 swapFree=0/394220
[pid=21592] ppid=21589 vsize=52840 CPUtime=102.19 cores=1,3,5,7
/proc/21592/stat : 21592 (cosoco) R 21589 21592 9955 0 -1 4202496 30464 0 0 0 10217 2 0 0 20 0 1 0 10020267 54108160 7398 18446744073709551615 4194304 5970956 140726784433296 140726784430856 5038188 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 32284672 140726784434636 140726784434766 140726784434766 140726784438222 0
/proc/21592/statm: 13210 7398 842 434 0 6574 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 52840

[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 21634
/proc/meminfo: memFree=31604452/32770624 swapFree=0/394268
[pid=21592] ppid=21589 vsize=52840 CPUtime=162.19 cores=1,3,5,7
/proc/21592/stat : 21592 (cosoco) R 21589 21592 9955 0 -1 4202496 30793 0 0 0 16217 2 0 0 20 0 1 0 10020267 54108160 7398 18446744073709551615 4194304 5970956 140726784433296 140726784430856 4930698 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 32284672 140726784434636 140726784434766 140726784434766 140726784438222 0
/proc/21592/statm: 13210 7398 842 434 0 6574 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 52840

[startup+222.306 s]
/proc/loadavg: 2.06 2.03 2.05 3/182 21636
/proc/meminfo: memFree=31602692/32770624 swapFree=0/394292
[pid=21592] ppid=21589 vsize=52840 CPUtime=222.2 cores=1,3,5,7
/proc/21592/stat : 21592 (cosoco) R 21589 21592 9955 0 -1 4202496 31122 0 0 0 22218 2 0 0 20 0 1 0 10020267 54108160 7398 18446744073709551615 4194304 5970956 140726784433296 140726784430856 4934366 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 32284672 140726784434636 140726784434766 140726784434766 140726784438222 0
/proc/21592/statm: 13210 7398 842 434 0 6574 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 52840

[startup+282.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 21638
/proc/meminfo: memFree=31602964/32770624 swapFree=0/394328
[pid=21592] ppid=21589 vsize=52840 CPUtime=282.2 cores=1,3,5,7
/proc/21592/stat : 21592 (cosoco) R 21589 21592 9955 0 -1 4202496 31122 0 0 0 28218 2 0 0 20 0 1 0 10020267 54108160 7398 18446744073709551615 4194304 5970956 140726784433296 140726784430856 4934357 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 32284672 140726784434636 140726784434766 140726784434766 140726784438222 0
/proc/21592/statm: 13210 7398 842 434 0 6574 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 52840

[startup+342.3 s]
/proc/loadavg: 2.09 2.04 2.05 3/182 21640
/proc/meminfo: memFree=31602856/32770624 swapFree=0/394352
[pid=21592] ppid=21589 vsize=52840 CPUtime=342.21 cores=1,3,5,7
/proc/21592/stat : 21592 (cosoco) R 21589 21592 9955 0 -1 4202496 31407 0 0 0 34219 2 0 0 20 0 1 0 10020267 54108160 7398 18446744073709551615 4194304 5970956 140726784433296 140726784430856 4933153 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 32284672 140726784434636 140726784434766 140726784434766 140726784438222 0
/proc/21592/statm: 13210 7398 842 434 0 6574 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 52840

[startup+402.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/181 21642
/proc/meminfo: memFree=31603040/32770624 swapFree=0/394396
[pid=21592] ppid=21589 vsize=52840 CPUtime=402.21 cores=1,3,5,7
/proc/21592/stat : 21592 (cosoco) R 21589 21592 9955 0 -1 4202496 31407 0 0 0 40219 2 0 0 20 0 1 0 10020267 54108160 7398 18446744073709551615 4194304 5970956 140726784433296 140726784430856 4934323 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 32284672 140726784434636 140726784434766 140726784434766 140726784438222 0
/proc/21592/statm: 13210 7398 842 434 0 6574 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 52840

[startup+462.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 21644
/proc/meminfo: memFree=31602812/32770624 swapFree=0/394420
[pid=21592] ppid=21589 vsize=52840 CPUtime=462.22 cores=1,3,5,7
/proc/21592/stat : 21592 (cosoco) R 21589 21592 9955 0 -1 4202496 31707 0 0 0 46220 2 0 0 20 0 1 0 10020267 54108160 7398 18446744073709551615 4194304 5970956 140726784433296 140726784430856 4934327 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 32284672 140726784434636 140726784434766 140726784434766 140726784438222 0
/proc/21592/statm: 13210 7398 842 434 0 6574 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 52840

[startup+522.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/181 21646
/proc/meminfo: memFree=31602952/32770624 swapFree=0/394452
[pid=21592] ppid=21589 vsize=52840 CPUtime=522.22 cores=1,3,5,7
/proc/21592/stat : 21592 (cosoco) R 21589 21592 9955 0 -1 4202496 31707 0 0 0 52220 2 0 0 20 0 1 0 10020267 54108160 7398 18446744073709551615 4194304 5970956 140726784433296 140726784430856 4934327 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 32284672 140726784434636 140726784434766 140726784434766 140726784438222 0
/proc/21592/statm: 13210 7398 842 434 0 6574 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 52840

[startup+582.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/181 21648
/proc/meminfo: memFree=31602652/32770624 swapFree=0/394476
[pid=21592] ppid=21589 vsize=52840 CPUtime=582.23 cores=1,3,5,7
/proc/21592/stat : 21592 (cosoco) R 21589 21592 9955 0 -1 4202496 31997 0 0 0 58221 2 0 0 20 0 1 0 10020267 54108160 7398 18446744073709551615 4194304 5970956 140726784433296 140726784430856 4934292 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 32284672 140726784434636 140726784434766 140726784434766 140726784438222 0
/proc/21592/statm: 13210 7398 842 434 0 6574 0
Current children cumulated CPU time (s) 582.23
Current children cumulated vsize (KiB) 52840


################
# More data... #
################


[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 21924
/proc/meminfo: memFree=31678964/32770624 swapFree=0/395144
[pid=21592] ppid=21589 vsize=52840 CPUtime=1542.33 cores=1,3,5,7
/proc/21592/stat : 21592 (cosoco) R 21589 21592 9955 0 -1 4202496 34600 0 0 0 154231 2 0 0 20 0 1 0 10020267 54108160 7398 18446744073709551615 4194304 5970956 140726784433296 140726784430856 5038188 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 32284672 140726784434636 140726784434766 140726784434766 140726784438222 0
/proc/21592/statm: 13210 7398 842 434 0 6574 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 52840

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 21926
/proc/meminfo: memFree=31678732/32770624 swapFree=0/395176
[pid=21592] ppid=21589 vsize=52840 CPUtime=1602.33 cores=1,3,5,7
/proc/21592/stat : 21592 (cosoco) R 21589 21592 9955 0 -1 4202496 34619 0 0 0 160231 2 0 0 20 0 1 0 10020267 54108160 7398 18446744073709551615 4194304 5970956 140726784433296 140726784430856 4933193 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 32284672 140726784434636 140726784434766 140726784434766 140726784438222 0
/proc/21592/statm: 13210 7398 842 434 0 6574 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 52840

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 21928
/proc/meminfo: memFree=31678944/32770624 swapFree=0/395192
[pid=21592] ppid=21589 vsize=52840 CPUtime=1662.34 cores=1,3,5,7
/proc/21592/stat : 21592 (cosoco) R 21589 21592 9955 0 -1 4202496 34898 0 0 0 166232 2 0 0 20 0 1 0 10020267 54108160 7398 18446744073709551615 4194304 5970956 140726784433296 140726784430856 4933087 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 32284672 140726784434636 140726784434766 140726784434766 140726784438222 0
/proc/21592/statm: 13210 7398 842 434 0 6574 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 52840

[startup+1722.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 21930
/proc/meminfo: memFree=31678696/32770624 swapFree=0/395216
[pid=21592] ppid=21589 vsize=52840 CPUtime=1722.34 cores=1,3,5,7
/proc/21592/stat : 21592 (cosoco) R 21589 21592 9955 0 -1 4202496 34898 0 0 0 172232 2 0 0 20 0 1 0 10020267 54108160 7398 18446744073709551615 4194304 5970956 140726784433296 140726784430856 4934354 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 32284672 140726784434636 140726784434766 140726784434766 140726784438222 0
/proc/21592/statm: 13210 7398 842 434 0 6574 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 52840

[startup+1782.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/181 21932
/proc/meminfo: memFree=31678844/32770624 swapFree=0/395236
[pid=21592] ppid=21589 vsize=52840 CPUtime=1782.35 cores=1,3,5,7
/proc/21592/stat : 21592 (cosoco) R 21589 21592 9955 0 -1 4202496 35190 0 0 0 178233 2 0 0 20 0 1 0 10020267 54108160 7398 18446744073709551615 4194304 5970956 140726784433296 140726784430856 4933212 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 32284672 140726784434636 140726784434766 140726784434766 140726784438222 0
/proc/21592/statm: 13210 7398 842 434 0 6574 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 52840

[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 21934
/proc/meminfo: memFree=31678736/32770624 swapFree=0/395256
[pid=21592] ppid=21589 vsize=52840 CPUtime=1842.36 cores=1,3,5,7
/proc/21592/stat : 21592 (cosoco) R 21589 21592 9955 0 -1 4202496 35191 0 0 0 184234 2 0 0 20 0 1 0 10020267 54108160 7398 18446744073709551615 4194304 5970956 140726784433296 140726784430856 4934366 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 32284672 140726784434636 140726784434766 140726784434766 140726784438222 0
/proc/21592/statm: 13210 7398 842 434 0 6574 0
Current children cumulated CPU time (s) 1842.36
Current children cumulated vsize (KiB) 52840

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 21950
/proc/meminfo: memFree=31675260/32770624 swapFree=0/395312
[pid=21592] ppid=21589 vsize=52840 CPUtime=1902.36 cores=1,3,5,7
/proc/21592/stat : 21592 (cosoco) R 21589 21592 9955 0 -1 4202496 35476 0 0 0 190234 2 0 0 20 0 1 0 10020267 54108160 7398 18446744073709551615 4194304 5970956 140726784433296 140726784430856 4934272 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 32284672 140726784434636 140726784434766 140726784434766 140726784438222 0
/proc/21592/statm: 13210 7398 842 434 0 6574 0
Current children cumulated CPU time (s) 1902.36
Current children cumulated vsize (KiB) 52840

[startup+1962.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/181 21953
/proc/meminfo: memFree=31678144/32770624 swapFree=0/395344
[pid=21592] ppid=21589 vsize=52840 CPUtime=1962.37 cores=1,3,5,7
/proc/21592/stat : 21592 (cosoco) R 21589 21592 9955 0 -1 4202496 35476 0 0 0 196235 2 0 0 20 0 1 0 10020267 54108160 7398 18446744073709551615 4194304 5970956 140726784433296 140726784430856 4934327 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 32284672 140726784434636 140726784434766 140726784434766 140726784438222 0
/proc/21592/statm: 13210 7398 842 434 0 6574 0
Current children cumulated CPU time (s) 1962.37
Current children cumulated vsize (KiB) 52840

[startup+2022.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/181 21955
/proc/meminfo: memFree=31678144/32770624 swapFree=0/395360
[pid=21592] ppid=21589 vsize=52840 CPUtime=2022.38 cores=1,3,5,7
/proc/21592/stat : 21592 (cosoco) R 21589 21592 9955 0 -1 4202496 35761 0 0 0 202236 2 0 0 20 0 1 0 10020267 54108160 7398 18446744073709551615 4194304 5970956 140726784433296 140726784430856 4934327 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 32284672 140726784434636 140726784434766 140726784434766 140726784438222 0
/proc/21592/statm: 13210 7398 842 434 0 6574 0
Current children cumulated CPU time (s) 2022.38
Current children cumulated vsize (KiB) 52840

[startup+2082.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 21957
/proc/meminfo: memFree=31679136/32770624 swapFree=0/395384
[pid=21592] ppid=21589 vsize=52840 CPUtime=2082.39 cores=1,3,5,7
/proc/21592/stat : 21592 (cosoco) R 21589 21592 9955 0 -1 4202496 35761 0 0 0 208237 2 0 0 20 0 1 0 10020267 54108160 7398 18446744073709551615 4194304 5970956 140726784433296 140726784430856 5319216 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 32284672 140726784434636 140726784434766 140726784434766 140726784438222 0
/proc/21592/statm: 13210 7398 842 434 0 6574 0
Current children cumulated CPU time (s) 2082.39
Current children cumulated vsize (KiB) 52840

[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 21959
/proc/meminfo: memFree=31678888/32770624 swapFree=0/395408
[pid=21592] ppid=21589 vsize=52840 CPUtime=2142.39 cores=1,3,5,7
/proc/21592/stat : 21592 (cosoco) R 21589 21592 9955 0 -1 4202496 36090 0 0 0 214237 2 0 0 20 0 1 0 10020267 54108160 7398 18446744073709551615 4194304 5970956 140726784433296 140726784430856 4934492 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 32284672 140726784434636 140726784434766 140726784434766 140726784438222 0
/proc/21592/statm: 13210 7398 842 434 0 6574 0
Current children cumulated CPU time (s) 2142.39
Current children cumulated vsize (KiB) 52840

[startup+2202.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 21961
/proc/meminfo: memFree=31679140/32770624 swapFree=0/395436
[pid=21592] ppid=21589 vsize=52840 CPUtime=2202.4 cores=1,3,5,7
/proc/21592/stat : 21592 (cosoco) R 21589 21592 9955 0 -1 4202496 36090 0 0 0 220238 2 0 0 20 0 1 0 10020267 54108160 7398 18446744073709551615 4194304 5970956 140726784433296 140726784430856 5136608 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 32284672 140726784434636 140726784434766 140726784434766 140726784438222 0
/proc/21592/statm: 13210 7398 842 434 0 6574 0
Current children cumulated CPU time (s) 2202.4
Current children cumulated vsize (KiB) 52840

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 21963
/proc/meminfo: memFree=31678892/32770624 swapFree=0/395456
[pid=21592] ppid=21589 vsize=52840 CPUtime=2262.4 cores=1,3,5,7
/proc/21592/stat : 21592 (cosoco) R 21589 21592 9955 0 -1 4202496 36415 0 0 0 226238 2 0 0 20 0 1 0 10020267 54108160 7398 18446744073709551615 4194304 5970956 140726784433296 140726784430856 4908732 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 32284672 140726784434636 140726784434766 140726784434766 140726784438222 0
/proc/21592/statm: 13210 7398 842 434 0 6574 0
Current children cumulated CPU time (s) 2262.4
Current children cumulated vsize (KiB) 52840

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 21965
/proc/meminfo: memFree=31679240/32770624 swapFree=0/395476
[pid=21592] ppid=21589 vsize=52840 CPUtime=2322.41 cores=1,3,5,7
/proc/21592/stat : 21592 (cosoco) R 21589 21592 9955 0 -1 4202496 36415 0 0 0 232239 2 0 0 20 0 1 0 10020267 54108160 7398 18446744073709551615 4194304 5970956 140726784433296 140726784430856 5327850 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 32284672 140726784434636 140726784434766 140726784434766 140726784438222 0
/proc/21592/statm: 13210 7398 842 434 0 6574 0
Current children cumulated CPU time (s) 2322.41
Current children cumulated vsize (KiB) 52840

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 21967
/proc/meminfo: memFree=31678372/32770624 swapFree=0/395500
[pid=21592] ppid=21589 vsize=52840 CPUtime=2382.41 cores=1,3,5,7
/proc/21592/stat : 21592 (cosoco) R 21589 21592 9955 0 -1 4202496 36740 0 0 0 238239 2 0 0 20 0 1 0 10020267 54108160 7398 18446744073709551615 4194304 5970956 140726784433296 140726784430856 5136608 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 32284672 140726784434636 140726784434766 140726784434766 140726784438222 0
/proc/21592/statm: 13210 7398 842 434 0 6574 0
Current children cumulated CPU time (s) 2382.41
Current children cumulated vsize (KiB) 52840



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2399.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 21968
/proc/meminfo: memFree=31678716/32770624 swapFree=0/395524
[pid=21592] ppid=21589 vsize=52840 CPUtime=2400.02 cores=1,3,5,7
/proc/21592/stat : 21592 (cosoco) R 21589 21592 9955 0 -1 4202496 36740 0 0 0 240000 2 0 0 20 0 1 0 10020267 54108160 7398 18446744073709551615 4194304 5970956 140726784433296 140726784430856 4930630 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 32284672 140726784434636 140726784434766 140726784434766 140726784438222 0
/proc/21592/statm: 13210 7398 842 434 0 6574 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 52840

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+2399.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 21968
/proc/meminfo: memFree=31678716/32770624 swapFree=0/395524
[pid=21592] ppid=21589 vsize=52840 CPUtime=2400.02 cores=1,3,5,7
/proc/21592/stat : 21592 (cosoco) R 21589 21592 9955 0 -1 4202496 36740 0 0 0 240000 2 0 0 20 0 1 0 10020267 54108160 7398 18446744073709551615 4194304 5970956 140726784433296 140726784430856 4930630 0 0 1 8405026 0 0 0 17 3 0 0 10 0 0 8070896 8075904 32284672 140726784434636 140726784434766 140726784434766 140726784438222 0
/proc/21592/statm: 13210 7398 842 434 0 6574 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 52840

Child status: 1
Real time (s): 2399.9
CPU time (s): 2400.03
CPU user time (s): 2400
CPU system time (s): 0.028002
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 52840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400
system time used= 0.028002
maximum resident set size= 29640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36775
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= 22
involuntary context switches= 610

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.18228 second user time and 8.50209 second system time

The end

Launcher Data

Begin job on node125 at 2017-08-07 05:39:10
IDJOB=4241337
IDBENCH=140502
IDSOLVER=2620
FILE ID=node125/4241337-1502077993
RUNJOBID= node125-1502042574-16653
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 1.1
BENCH NAME= XCSP17/OpenStacks/OpenStacks-m2c-s1/OpenStacks-m2c-Miller-19.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4241337-1502077993/watcher-4241337-1502077993 -o /tmp/evaluation-result-4241337-1502077993/solver-4241337-1502077993 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502042574-16653 --watchdog 2560  HOME/cosoco -lc -model -restarts HOME/instance-4241337-1502077993.xml

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

MD5SUM BENCH= ca3b02115b63c058d23855e217e5f7b7
RANDOM SEED=1394497310

node125.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.07
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.07
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.07
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.07
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:        31630024 kB
MemAvailable:   31947200 kB
Buffers:          134924 kB
Cached:           462856 kB
SwapCached:            0 kB
Active:           329712 kB
Inactive:         402672 kB
Active(anon):     134800 kB
Inactive(anon):     8532 kB
Active(file):     194912 kB
Inactive(file):   394140 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              3188 kB
Writeback:             4 kB
AnonPages:        138492 kB
Mapped:            31860 kB
Shmem:              8868 kB
Slab:             112168 kB
SReclaimable:      87916 kB
SUnreclaim:        24252 kB
KernelStack:        3456 kB
PageTables:         4812 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     380268 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     88064 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 62024 MiB
End job on node125 at 2017-08-07 06:19:10

Name	OpenStacks/ OpenStacks-m2c-s1/OpenStacks-m2c-Miller-19.xml
MD5SUM	ca3b02115b63c058d23855e217e5f7b7
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	13
Best CPU time to get the best result obtained on this benchmark	2400.0701
Satisfiable
(Un)Satisfiability was proved
Number of variables	920
Number of constraints	881
Number of domains	3
Minimum domain size	2
Maximum domain size	41
Distribution of domain sizes	[{"size":2,"count":800},{"size":40,"count":80},{"size":41,"count":40}]
Minimum variable degree	2
Maximum variable degree	41
Distribution of variable degrees	[{"degree":2,"count":840},{"degree":9,"count":40},{"degree":41,"count":40}]
Minimum constraint arity	3
Maximum constraint arity	40
Distribution of constraint arities	[{"arity":3,"count":800},{"arity":9,"count":40},{"arity":21,"count":40},{"arity":40,"count":1}]
Number of extensional constraints	800
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":800},{"type":"allDifferent","count":1},{"type":"sum","count":40},{"type":"minimum","count":20},{"type":"maximum","count":20}]
Optimization problem	YES
Type of objective	min MAXIMUM

Trace number 4241337

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data