Trace number 4266668

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
cosoco-sat 1.12SAT (TO)307 240.07001 240.08701

General information on the benchmark

NameGolombRuler/GolombRuler-a3-s1/
GolombRuler-17-a3.xml
MD5SUM1a474c72a1f7224eb7c0241d7ff915ce
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark236
Best CPU time to get the best result obtained on this benchmark251.94
Satisfiable
(Un)Satisfiability was proved
Number of variables306
Number of constraints139
Number of domains2
Minimum domain size500
Maximum domain size501
Distribution of domain sizes[{"size":500,"count":136},{"size":501,"count":17}]
Minimum variable degree0
Maximum variable degree18
Distribution of variable degrees[{"degree":0,"count":153},{"degree":2,"count":136},{"degree":17,"count":15},{"degree":18,"count":2}]
Minimum constraint arity1
Maximum constraint arity136
Distribution of constraint arities[{"arity":1,"count":1},{"arity":3,"count":136},{"arity":17,"count":1},{"arity":136,"count":1}]
Number of extensional constraints0
Number of intensional constraints137
Distribution of constraint types[{"type":"intension","count":137},{"type":"allDifferent","count":1},{"type":"ordered","count":1}]
Optimization problemYES
Type of objectivemin VAR

Solver Data 

2.69/2.75	c SAT : Variables: 153017 -- Clauses: 38182306
2.69/2.75	c best=?? lower=0 upper=500 
10.99/11.08	c
10.99/11.08	c This is cosoco 1.12 --  
10.99/11.08	c
10.99/11.08	c command line: cosoco -lc -model -restarts -sat HOME/instance-4266668-1502599742.xml 
10.99/11.08	c enable optimization
10.99/11.08	c ========================================[ Problem Statistics ]===========================================
10.99/11.08	c |                                                                                                       
10.99/11.08	c |  Parse time        :         2.39 s 
10.99/11.08	c |
10.99/11.08	c |               Variables: 306
10.99/11.08	c |            Domain Sizes: 500..501
10.99/11.08	c |
10.99/11.08	c |             Constraints: 155
10.99/11.08	c |                   Arity: 1..136  -- Unary: 2  -- Binary: 16  -- Ternary: 136
10.99/11.08	c | 
10.99/11.08	c |                   Types: 
10.99/11.08	c |                          (X - Y < k): 16
10.99/11.08	c |                          All Different: 1
10.99/11.08	c |                          Intension: 138
10.99/11.08	c |                          
10.99/11.08	c =========================================================================================================
10.99/11.08	conflict 498lvl : 9 bt7-15561:0(16009)X152911306
11.10/11.10	conflict 497lvl : 4 bt3-15561:0(12619)X152911807
159.78/159.86	o 307
159.78/159.86	c    1 calls to solver: best=307 lower=0 upper=306 
239.99/240.00	
239.99/240.00	c *** INTERRUPTED ***
239.99/240.00	c restarts              : 562         
239.99/240.00	c conflicts             : 399050       (1666 /sec)
239.99/240.00	c decisions             : 524624       (2190 /sec)
239.99/240.00	c propagations          : 1038325908  (4334474 /sec)
239.99/240.00	c root propagations     : 756         
239.99/240.00	c filter calls          : 25655166       (107097 /sec)
239.99/240.00	c useless filter calls  : 21628741       (84 %)
239.99/240.00	c
239.99/240.00	c clauses               : 38209431
239.99/240.00	c SAT propagations      : 64693
239.99/240.00	c SAT conflicts         : 7 (2 learnts)
239.99/240.00	c Memory used           : 1892.62 MB
239.99/240.00	c CPU time              : 239.551 s
239.99/240.00	
239.99/240.00	c nb Solutions = 1
239.99/240.00	s SATISFIABLE
239.99/240.00	c Best value found: 307
239.99/240.00	
239.99/240.00	
239.99/240.00	v <instantiation type='solution' cost='307'>
239.99/240.00	v <list>x[0] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] y[0][0] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] 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[10][0] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] 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[11][0] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] 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[12][0] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] 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[13][0] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] 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[14][0] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] 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[15][0] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] 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[16][0] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] 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[1][0] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] 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[2][0] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] 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[3][0] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] 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[4][0] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] 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[5][0] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] 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[6][0] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] 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[7][0] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] 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[8][0] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] 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[9][0] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] 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] </list>
239.99/240.01	v <values>0 90 126 150 169 207 277 307 1 4 6 13 21 35 46 62 72 * 90 126 150 169 207 277 307 1 4 6 13 21 35 46 62 72 * * 36 60 79 117 187 217 * * * * * * * * * * * * 24 43 81 151 181 * * * * * * * * * * * * * 19 57 127 157 * * * * * * * * * * * * * * 38 108 138 * * * * * * * * * * * * * * * 70 100 * * * * * * * * * * * * * * * * 30 * * * * * * * * * * * * * * * * * * * * * * * * * * * 89 125 149 168 206 276 306 * 3 5 12 20 34 45 61 71 * 86 122 146 165 203 273 303 * * 2 9 17 31 42 58 68 * 84 120 144 163 201 271 301 * * * 7 15 29 40 56 66 * 77 113 137 156 194 264 294 * * * * 8 22 33 49 59 * 69 105 129 148 186 256 286 * * * * * 14 25 41 51 * 55 91 115 134 172 242 272 * * * * * * 11 27 37 * 44 80 104 123 161 231 261 * * * * * * * 16 26 * 28 64 88 107 145 215 245 * * * * * * * * 10 * 18 54 78 97 135 205 235 * * * * * * * * * </values>
239.99/240.01	v </instantiation>
239.99/240.01

Verifier Data 

OK	307

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (5837 MiB free)
  memory of node 1: 16384 MiB (14240 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266668-1502599742/watcher-4266668-1502599742 -o /tmp/evaluation-result-4266668-1502599742/solver-4266668-1502599742 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node107-1502597871-28023 --watchdog 300 cosoco -lc -model -restarts -sat HOME/instance-4266668-1502599742.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=29001, runsolver pid=28998

[startup+0.100137 s]*
/proc/loadavg: 2.00 1.96 1.77 3/189 29002
/proc/meminfo: memFree=20501820/32770624 swapFree=67108860/67108860
[pid=29001] ppid=28998 vsize=30976 memory=7284 CPUtime=0.1 cores=1,3,5,7
/proc/29001/stat : 29001 (cosoco) R 28998 29001 24389 0 -1 4202496 2023 0 0 0 10 0 0 0 20 0 1 0 93062261 31719424 1821 33554432000 4194304 5972588 140733225919344 140733225915992 140631863335909 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 22323200 140733225927871 140733225927971 140733225927971 140733225930702 0
/proc/29001/statm: 7744 1821 786 435 0 1107 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30976 KiB
Current children cumulated memory: 7284 KiB

[startup+0.209661 s]*
/proc/loadavg: 2.00 1.96 1.77 3/189 29002
/proc/meminfo: memFree=20408848/32770624 swapFree=67108860/67108860
[pid=29001] ppid=28998 vsize=73484 memory=46968 CPUtime=0.21 cores=1,3,5,7
/proc/29001/stat : 29001 (cosoco) R 28998 29001 24389 0 -1 4202496 9391 0 0 0 20 1 0 0 20 0 1 0 93062261 75247616 11742 33554432000 4194304 5972588 140733225919344 140733225915992 140631863335909 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 22323200 140733225927871 140733225927971 140733225927971 140733225930702 0
/proc/29001/statm: 18371 11742 823 435 0 11734 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 73484 KiB
Current children cumulated memory: 46968 KiB

[startup+0.309772 s]*
/proc/loadavg: 2.00 1.96 1.77 3/189 29002
/proc/meminfo: memFree=20291292/32770624 swapFree=67108860/67108860
[pid=29001] ppid=28998 vsize=143440 memory=106216 CPUtime=0.31 cores=1,3,5,7
/proc/29001/stat : 29001 (cosoco) R 28998 29001 24389 0 -1 4202496 19060 0 0 0 29 2 0 0 20 0 1 0 93062261 146882560 26554 33554432000 4194304 5972588 140733225919344 140733225915992 140631863335909 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 22323200 140733225927871 140733225927971 140733225927971 140733225930702 0
/proc/29001/statm: 35860 26554 823 435 0 29223 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 143440 KiB
Current children cumulated memory: 106216 KiB

[startup+0.700391 s]
/proc/loadavg: 2.00 1.96 1.77 3/189 29002
/proc/meminfo: memFree=20061420/32770624 swapFree=67108860/67108860
[pid=29001] ppid=28998 vsize=370936 memory=334992 CPUtime=0.69 cores=1,3,5,7
/proc/29001/stat : 29001 (cosoco) R 28998 29001 24389 0 -1 4202496 50712 0 0 0 62 7 0 0 20 0 1 0 93062261 379838464 83748 33554432000 4194304 5972588 140733225919344 140733225915992 140631863335909 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 22323200 140733225927871 140733225927971 140733225927971 140733225930702 0
/proc/29001/statm: 92734 83748 823 435 0 86097 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 370936 KiB
Current children cumulated memory: 334992 KiB

[startup+1.50037 s]
/proc/loadavg: 2.00 1.96 1.77 3/189 29002
/proc/meminfo: memFree=19496156/32770624 swapFree=67108860/67108860
[pid=29001] ppid=28998 vsize=877604 memory=807832 CPUtime=1.49 cores=1,3,5,7
/proc/29001/stat : 29001 (cosoco) R 28998 29001 24389 0 -1 4202496 113265 0 0 0 131 18 0 0 20 0 1 0 93062261 898666496 201958 33554432000 4194304 5972588 140733225919344 140733225916136 140631863335909 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 8070896 8075904 22323200 140733225927871 140733225927971 140733225927971 140733225930702 0
/proc/29001/statm: 219401 201958 823 435 0 212764 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 877604 KiB
Current children cumulated memory: 807832 KiB

[startup+3.1095 s]
/proc/loadavg: 2.00 1.96 1.77 3/189 29002
/proc/meminfo: memFree=17373436/32770624 swapFree=67108860/67108860
[pid=29001] ppid=28998 vsize=1934104 memory=1534380 CPUtime=3.1 cores=1,3,5,7
/proc/29001/stat : 29001 (cosoco) R 28998 29001 24389 0 -1 4202496 210101 0 0 0 274 36 0 0 20 0 1 0 93062261 1980522496 383595 33554432000 4194304 5972588 140733225919344 140733225916136 4975379 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 22323200 140733225927871 140733225927971 140733225927971 140733225930702 0
/proc/29001/statm: 483526 383595 839 435 0 476889 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 1934104 KiB
Current children cumulated memory: 1534380 KiB

[startup+6.30029 s]
/proc/loadavg: 2.00 1.96 1.77 3/189 29002
/proc/meminfo: memFree=15736140/32770624 swapFree=67108860/67108860
[pid=29001] ppid=28998 vsize=1934540 memory=1534776 CPUtime=6.29 cores=1,3,5,7
/proc/29001/stat : 29001 (cosoco) R 28998 29001 24389 0 -1 4202496 214612 0 0 0 593 36 0 0 20 0 1 0 93062261 1980968960 383694 33554432000 4194304 5972588 140733225919344 140733225916056 5070704 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 22323200 140733225927871 140733225927971 140733225927971 140733225930702 0
/proc/29001/statm: 483635 383694 839 435 0 476998 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 1934540 KiB
Current children cumulated memory: 1534776 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 1.96 1.77 3/189 29002
/proc/meminfo: memFree=14098472/32770624 swapFree=67108860/67108860
[pid=29001] ppid=28998 vsize=1934540 memory=1534820 CPUtime=12.69 cores=1,3,5,7
/proc/29001/stat : 29001 (cosoco) R 28998 29001 24389 0 -1 4202496 220419 0 0 0 1232 37 0 0 20 0 1 0 93062261 1980968960 383705 33554432000 4194304 5972588 140733225919344 140733225916568 140631863340859 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 22323200 140733225927871 140733225927971 140733225927971 140733225930702 0
/proc/29001/statm: 483635 383705 843 435 0 476998 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 1934540 KiB
Current children cumulated memory: 1534820 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 1.96 1.77 3/187 29002
/proc/meminfo: memFree=14099480/32770624 swapFree=67108860/67108860
[pid=29001] ppid=28998 vsize=1934540 memory=1534828 CPUtime=25.49 cores=1,3,5,7
/proc/29001/stat : 29001 (cosoco) R 28998 29001 24389 0 -1 4202496 228907 0 0 0 2512 37 0 0 20 0 1 0 93062261 1980968960 383707 33554432000 4194304 5972588 140733225919344 140733225916568 4909635 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 22323200 140733225927871 140733225927971 140733225927971 140733225930702 0
/proc/29001/statm: 483635 383707 843 435 0 476998 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 1934540 KiB
Current children cumulated memory: 1534828 KiB

[startup+51.1094 s]
/proc/loadavg: 2.00 1.97 1.78 3/187 29002
/proc/meminfo: memFree=14096656/32770624 swapFree=67108860/67108860
[pid=29001] ppid=28998 vsize=1934540 memory=1534828 CPUtime=51.09 cores=1,3,5,7
/proc/29001/stat : 29001 (cosoco) R 28998 29001 24389 0 -1 4202496 237970 0 0 0 5072 37 0 0 20 0 1 0 93062261 1980968960 383707 33554432000 4194304 5972588 140733225919344 140733225916568 4909702 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 22323200 140733225927871 140733225927971 140733225927971 140733225930702 0
/proc/29001/statm: 483635 383707 843 435 0 476998 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 1934540 KiB
Current children cumulated memory: 1534828 KiB

[startup+102.3 s]
/proc/loadavg: 2.07 1.99 1.79 3/187 29003
/proc/meminfo: memFree=14092576/32770624 swapFree=67108860/67108860
[pid=29001] ppid=28998 vsize=1936280 memory=1538516 CPUtime=102.29 cores=1,3,5,7
/proc/29001/stat : 29001 (cosoco) R 28998 29001 24389 0 -1 4202496 277156 0 0 0 10188 41 0 0 20 0 1 0 93062261 1982750720 384629 33554432000 4194304 5972588 140733225919344 140733225915992 4909657 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 22323200 140733225927871 140733225927971 140733225927971 140733225930702 0
/proc/29001/statm: 484070 384629 843 435 0 477433 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 1936280 KiB
Current children cumulated memory: 1538516 KiB

[startup+162.3 s]
/proc/loadavg: 2.03 1.99 1.80 3/186 29004
/proc/meminfo: memFree=14091944/32770624 swapFree=67108860/67108860
[pid=29001] ppid=28998 vsize=1937644 memory=1539920 CPUtime=162.28 cores=1,3,5,7
/proc/29001/stat : 29001 (cosoco) R 28998 29001 24389 0 -1 4202496 299401 0 0 0 16187 41 0 0 20 0 1 0 93062261 1984147456 384980 33554432000 4194304 5972588 140733225919344 140733225906536 5071832 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 22323200 140733225927871 140733225927971 140733225927971 140733225930702 0
/proc/29001/statm: 484411 384980 843 435 0 477774 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 1937644 KiB
Current children cumulated memory: 1539920 KiB

[startup+222.3 s]
/proc/loadavg: 2.07 2.00 1.82 3/187 29006
/proc/meminfo: memFree=14088064/32770624 swapFree=67108860/67108860
[pid=29001] ppid=28998 vsize=1938036 memory=1542412 CPUtime=222.28 cores=1,3,5,7
/proc/29001/stat : 29001 (cosoco) R 28998 29001 24389 0 -1 4202496 324431 0 0 0 22185 43 0 0 20 0 1 0 93062261 1984548864 385603 33554432000 4194304 5972588 140733225919344 140733225916504 4965365 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 22323200 140733225927871 140733225927971 140733225927971 140733225930702 0
/proc/29001/statm: 484509 385603 843 435 0 477872 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 1938036 KiB
Current children cumulated memory: 1542412 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240 s]*
/proc/loadavg: 2.05 2.00 1.83 3/187 29067
/proc/meminfo: memFree=27408208/32770624 swapFree=67108860/67108860
[pid=29001] ppid=28998 vsize=1938036 memory=1542496 CPUtime=239.99 cores=1,3,5,7
/proc/29001/stat : 29001 (cosoco) R 28998 29001 24389 0 -1 4202496 328351 0 0 0 23955 44 0 0 20 0 1 0 93062261 1984548864 385624 33554432000 4194304 5972588 140733225919344 140733225916504 4975200 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8070896 8075904 22323200 140733225927871 140733225927971 140733225927971 140733225930702 0
/proc/29001/statm: 484509 385624 843 435 0 477872 0
Current children cumulated CPU time: 239.99 s
Current children cumulated vsize: 1938036 KiB
Current children cumulated memory: 1542496 KiB

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

[startup+240.087 s]
# the end of solver process 29001 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=239.551 s, system=0.518967 s

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

Child status: 1
Real time (s): 240.087
CPU time (s): 240.07
CPU user time (s): 239.551
CPU system time (s): 0.518967
CPU usage (%): 99.9927
Max. virtual memory (cumulated for all children) (KiB): 1938036
Max. memory (cumulated for all children) (KiB): 1542496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 239.551
system time used= 0.518967
maximum resident set size= 1542568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 328401
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= 189


# summary of solver processes directly reported to runsolver:
#   pid: 29001
#   total CPU time (s): 240.07
#   total CPU user time (s): 239.551
#   total CPU system time (s): 0.518967

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.872789 second user time and 1.61011 second system time

The end

Launcher Data 

Begin job on node107 at 2017-08-13 06:34:43
IDJOB=4266668
IDBENCH=126223
IDSOLVER=2656
FILE ID=node107/4266668-1502599742
RUNJOBID= node107-1502597871-28023
PBS_JOBID= 20628284
Free space on /tmp= 61660 MiB

SOLVER NAME= cosoco-sat 1.12
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-17-a3.xml
COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266668-1502599742/watcher-4266668-1502599742 -o /tmp/evaluation-result-4266668-1502599742/solver-4266668-1502599742 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node107-1502597871-28023 --watchdog 300  cosoco -lc -model -restarts -sat HOME/instance-4266668-1502599742.xml

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

MD5SUM BENCH= 1a474c72a1f7224eb7c0241d7ff915ce
RANDOM SEED=432139494

node107.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.84
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.84
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.84
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.84
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:        20570944 kB
MemAvailable:   23221868 kB
Buffers:          136504 kB
Cached:          2807684 kB
SwapCached:            0 kB
Active:          9197364 kB
Inactive:        2554776 kB
Active(anon):    8811160 kB
Inactive(anon):    24972 kB
Active(file):     386204 kB
Inactive(file):  2529804 kB
Unevictable:        6328 kB
Mlocked:            6328 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2452 kB
Writeback:             0 kB
AnonPages:       8773928 kB
Mapped:            44756 kB
Shmem:             25228 kB
Slab:             126660 kB
SReclaimable:     101500 kB
SUnreclaim:        25160 kB
KernelStack:        3392 kB
PageTables:        21916 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   10023144 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1312768 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 61656 MiB
End job on node107 at 2017-08-13 06:38:44