Trace number 4088524

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
cdcl-cuttingplanes OPT linear search 2016-05-01? (TO) 1800.02 1800.3

General information on the benchmark

Name/OPT-SMALLINT-LIN/
heinz/normalized-ns894788.opb
MD5SUMca3efe2da0610ce6a80a42a3887418e6
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3463
Total number of constraints2279
Number of constraints which are clauses678
Number of constraints which are cardinality constraints (but not clauses)145
Number of constraints which are nor clauses,nor cardinality constraints1456
Minimum length of a constraint1
Maximum length of a constraint97
Number of terms in the objective function 7
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 7
Number of bits of the sum of numbers in the objective function 3
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 97
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c OPTIONS:
0.00/0.00	c - Resolve (`-resolve-always' or `-resolve-skip'): -resolve-skip
0.00/0.00	c * #variable= 3463 #constraint= 2279
0.09/0.19	c #Conflicts:       1000 | #Learnt:        999 | 0.005
0.09/0.19	c total clause space: 4.25031MB
0.09/0.19	c total #watches: 50396
0.58/0.63	c total #propagations: 194091 / total #impl: 1329606 (eff. 0.146)
0.58/0.63	c #Conflicts:       2000 | #Learnt:       1999 | 0.006
0.58/0.63	c total clause space: 6.90675MB
0.58/0.63	c total #watches: 85724
1.20/1.25	c total #propagations: 406842 / total #impl: 3370626 (eff. 0.121)
1.20/1.25	c GC COLLECT
1.20/1.25	c #Conflicts:       3000 | #Learnt:       2005 | 0.029
1.20/1.25	c total clause space: 11.2235MB
1.20/1.25	c total #watches: 133035
2.79/2.82	c total #propagations: 598680 / total #impl: 6561034 (eff. 0.091)
2.79/2.82	c #Conflicts:       4000 | #Learnt:       3005 | 0.027
2.79/2.82	c total clause space: 18.2382MB
2.79/2.82	c total #watches: 195404
4.19/4.27	c total #propagations: 815250 / total #impl: 11051840 (eff. 0.074)
4.19/4.27	c GC COLLECT
4.19/4.27	c #Conflicts:       5000 | #Learnt:       2357 | 0.023
4.19/4.27	c total clause space: 18.2382MB
4.19/4.27	c total #watches: 183378
5.99/6.07	c total #propagations: 1013214 / total #impl: 15382003 (eff. 0.066)
5.99/6.07	c #Conflicts:       6000 | #Learnt:       3357 | 0.019
5.99/6.07	c total clause space: 18.2382MB
5.99/6.07	c total #watches: 244261
8.90/8.96	c total #propagations: 1224051 / total #impl: 20894189 (eff. 0.059)
8.90/8.96	c GC COLLECT
8.90/8.96	c #Conflicts:       7000 | #Learnt:       2241 | 0.018
8.90/8.96	c total clause space: 29.637MB
8.90/8.96	c total #watches: 214023
11.89/11.95	c total #propagations: 1431042 / total #impl: 27838767 (eff. 0.051)
11.89/11.95	c #Conflicts:       8000 | #Learnt:       3241 | 0.022
11.89/11.95	c total clause space: 29.637MB
11.89/11.95	c total #watches: 286493
15.29/15.38	c total #propagations: 1651842 / total #impl: 34456300 (eff. 0.048)
15.29/15.38	c #Conflicts:       9000 | #Learnt:       4241 | 0.020
15.29/15.38	c total clause space: 29.637MB
15.29/15.38	c total #watches: 342016
19.38/19.41	c total #propagations: 1854563 / total #impl: 40192447 (eff. 0.046)
19.38/19.41	c GC COLLECT
19.38/19.41	c #Conflicts:      10000 | #Learnt:       2728 | 0.018
19.38/19.41	c total clause space: 29.637MB
19.38/19.41	c total #watches: 227804
21.68/21.73	c total #propagations: 2076554 / total #impl: 46524578 (eff. 0.045)
21.68/21.73	c #Conflicts:      11000 | #Learnt:       3728 | 0.018
21.68/21.73	c total clause space: 29.637MB
21.68/21.73	c total #watches: 299244
25.18/25.21	c total #propagations: 2285989 / total #impl: 52221391 (eff. 0.044)
25.18/25.21	c #Conflicts:      12000 | #Learnt:       4728 | 0.020
25.18/25.21	c total clause space: 29.637MB
25.18/25.21	c total #watches: 375917
28.88/28.92	c total #propagations: 2504641 / total #impl: 59144976 (eff. 0.042)
28.88/28.92	c #Conflicts:      13000 | #Learnt:       5728 | 0.019
28.88/28.92	c total clause space: 29.637MB
28.88/28.92	c total #watches: 445621
31.28/31.34	c total #propagations: 2714636 / total #impl: 66920492 (eff. 0.041)
31.28/31.34	c GC COLLECT
31.28/31.34	c #Conflicts:      14000 | #Learnt:       3864 | 0.018
31.28/31.34	c total clause space: 29.637MB
31.28/31.34	c total #watches: 358130
35.29/35.32	c total #propagations: 2914534 / total #impl: 73514271 (eff. 0.040)
35.29/35.32	c #Conflicts:      15000 | #Learnt:       4864 | 0.017
35.29/35.32	c total clause space: 29.637MB
35.29/35.32	c total #watches: 394756
39.98/40.04	c total #propagations: 3156342 / total #impl: 78528028 (eff. 0.040)
39.98/40.04	c #Conflicts:      16000 | #Learnt:       5864 | 0.016
39.98/40.04	c total clause space: 29.637MB
39.98/40.04	c total #watches: 439435
43.89/43.92	c total #propagations: 3408898 / total #impl: 84625821 (eff. 0.040)
43.89/43.92	c GC COLLECT
43.89/43.92	c #Conflicts:      17000 | #Learnt:       3679 | 0.015
43.89/43.92	c total clause space: 48.1602MB
43.89/43.92	c total #watches: 260934
47.29/47.31	c total #propagations: 3610092 / total #impl: 93935114 (eff. 0.038)
47.29/47.31	c #Conflicts:      18000 | #Learnt:       4679 | 0.014
47.29/47.31	c total clause space: 48.1602MB
47.29/47.31	c total #watches: 322857
52.38/52.41	c total #propagations: 3802615 / total #impl: 102628284 (eff. 0.037)
52.38/52.41	c #Conflicts:      19000 | #Learnt:       5679 | 0.014
52.38/52.41	c total clause space: 48.1602MB
52.38/52.41	c total #watches: 401440
58.18/58.24	c total #propagations: 4030924 / total #impl: 113702927 (eff. 0.035)
58.18/58.24	c #Conflicts:      20000 | #Learnt:       6679 | 0.014
58.18/58.24	c total clause space: 48.1602MB
58.18/58.24	c total #watches: 455062
62.98/63.01	c total #propagations: 4246103 / total #impl: 120699046 (eff. 0.035)
62.98/63.01	c GC COLLECT
62.98/63.01	c #Conflicts:      21000 | #Learnt:       4189 | 0.015
62.98/63.01	c total clause space: 48.1602MB
62.98/63.01	c total #watches: 307741
66.98/67.06	c total #propagations: 4495129 / total #impl: 126759880 (eff. 0.035)
66.98/67.06	c #Conflicts:      22000 | #Learnt:       5189 | 0.014
66.98/67.06	c total clause space: 48.1602MB
66.98/67.06	c total #watches: 351886
71.58/71.67	c total #propagations: 4710380 / total #impl: 133050488 (eff. 0.035)
71.58/71.67	c #Conflicts:      23000 | #Learnt:       6189 | 0.014
71.58/71.67	c total clause space: 48.1602MB
71.58/71.67	c total #watches: 400100
75.98/76.07	c total #propagations: 4943770 / total #impl: 140655582 (eff. 0.035)
75.98/76.07	c #Conflicts:      24000 | #Learnt:       7189 | 0.014
75.98/76.07	c total clause space: 48.1602MB
75.98/76.07	c total #watches: 443287
79.67/79.71	c total #propagations: 5138342 / total #impl: 145391241 (eff. 0.035)
79.67/79.71	c GC COLLECT
79.67/79.71	c #Conflicts:      25000 | #Learnt:       4398 | 0.015
79.67/79.71	c total clause space: 48.1602MB
79.67/79.71	c total #watches: 299549
82.27/82.30	c total #propagations: 5354578 / total #impl: 152078621 (eff. 0.035)
82.27/82.30	c #Conflicts:      26000 | #Learnt:       5398 | 0.015
82.27/82.30	c total clause space: 48.1602MB
82.27/82.30	c total #watches: 359203
85.37/85.47	c total #propagations: 5545525 / total #impl: 160731813 (eff. 0.035)
85.37/85.47	c #Conflicts:      27000 | #Learnt:       6398 | 0.014
85.37/85.47	c total clause space: 48.1602MB
85.37/85.47	c total #watches: 402485
89.87/89.99	c total #propagations: 5738395 / total #impl: 170564704 (eff. 0.034)
89.87/89.99	c #Conflicts:      28000 | #Learnt:       7398 | 0.017
89.87/89.99	c total clause space: 48.1602MB
89.87/89.99	c total #watches: 468530
96.07/96.17	c total #propagations: 5945696 / total #impl: 177989450 (eff. 0.033)
96.07/96.17	c GC COLLECT
96.07/96.17	c #Conflicts:      29000 | #Learnt:       4303 | 0.017
96.07/96.17	c total clause space: 48.1602MB
96.07/96.17	c total #watches: 324432
99.77/99.87	c total #propagations: 6212814 / total #impl: 183024316 (eff. 0.034)
99.77/99.87	c #Conflicts:      30000 | #Learnt:       5303 | 0.017
99.77/99.87	c total clause space: 48.1602MB
99.77/99.87	c total #watches: 392355
104.67/104.77	c total #propagations: 6461336 / total #impl: 189476578 (eff. 0.034)
104.67/104.77	c #Conflicts:      31000 | #Learnt:       6303 | 0.018
104.67/104.77	c total clause space: 48.1602MB
104.67/104.77	c total #watches: 472350
110.17/110.23	c total #propagations: 6727061 / total #impl: 197129154 (eff. 0.034)
110.17/110.23	c #Conflicts:      32000 | #Learnt:       7303 | 0.017
110.17/110.23	c total clause space: 48.1602MB
110.17/110.23	c total #watches: 550779
116.88/116.96	c total #propagations: 6956472 / total #impl: 204534355 (eff. 0.034)
116.88/116.96	c #Conflicts:      33000 | #Learnt:       8303 | 0.017
116.88/116.96	c total clause space: 48.1602MB
116.88/116.96	c total #watches: 633659
121.97/122.06	c total #propagations: 7189710 / total #impl: 219005002 (eff. 0.033)
121.97/122.06	c GC COLLECT
121.97/122.06	c #Conflicts:      34000 | #Learnt:       4902 | 0.017
121.97/122.06	c total clause space: 48.1602MB
121.97/122.06	c total #watches: 484413
125.77/125.88	c total #propagations: 7389407 / total #impl: 235121540 (eff. 0.031)
125.77/125.88	c #Conflicts:      35000 | #Learnt:       5902 | 0.016
125.77/125.88	c total clause space: 48.1602MB
125.77/125.88	c total #watches: 528948
131.98/132.07	c total #propagations: 7581842 / total #impl: 242492713 (eff. 0.031)
131.98/132.07	c #Conflicts:      36000 | #Learnt:       6902 | 0.016
131.98/132.07	c total clause space: 48.1602MB
131.98/132.07	c total #watches: 598158
137.67/137.73	c total #propagations: 7807353 / total #impl: 252698359 (eff. 0.031)
137.67/137.73	c #Conflicts:      37000 | #Learnt:       7902 | 0.016
137.67/137.73	c total clause space: 48.1602MB
137.67/137.73	c total #watches: 658485
145.97/146.03	c total #propagations: 7984013 / total #impl: 264800079 (eff. 0.030)
145.97/146.03	c #Conflicts:      38000 | #Learnt:       8902 | 0.016
145.97/146.03	c total clause space: 78.2603MB
145.97/146.03	c total #watches: 718276
155.17/155.25	c total #propagations: 8187216 / total #impl: 277469088 (eff. 0.030)
155.17/155.25	c GC COLLECT
155.17/155.25	c #Conflicts:      39000 | #Learnt:       5205 | 0.016
155.17/155.25	c total clause space: 78.2603MB
155.17/155.25	c total #watches: 425699
163.56/163.60	c total #propagations: 8445711 / total #impl: 289371282 (eff. 0.029)
163.56/163.60	c #Conflicts:      40000 | #Learnt:       6205 | 0.015
163.56/163.60	c total clause space: 78.2603MB
163.56/163.60	c total #watches: 483825
172.16/172.23	c total #propagations: 8704236 / total #impl: 302558590 (eff. 0.029)
172.16/172.23	c #Conflicts:      41000 | #Learnt:       7205 | 0.015
172.16/172.23	c total clause space: 78.2603MB
172.16/172.23	c total #watches: 527136
183.35/183.43	c total #propagations: 8983893 / total #impl: 315529623 (eff. 0.028)
183.35/183.43	c #Conflicts:      42000 | #Learnt:       8205 | 0.015
183.35/183.43	c total clause space: 78.2603MB
183.35/183.43	c total #watches: 587312
194.35/194.48	c total #propagations: 9270641 / total #impl: 330245252 (eff. 0.028)
194.35/194.48	c #Conflicts:      43000 | #Learnt:       9205 | 0.014
194.35/194.48	c total clause space: 78.2603MB
194.35/194.48	c total #watches: 630369
204.55/204.69	c total #propagations: 9570225 / total #impl: 340164946 (eff. 0.028)
204.55/204.69	c GC COLLECT
204.55/204.69	c #Conflicts:      44000 | #Learnt:       5210 | 0.014
204.55/204.69	c total clause space: 78.2603MB
204.55/204.69	c total #watches: 404443
212.45/212.57	c total #propagations: 9824698 / total #impl: 356502882 (eff. 0.028)
212.45/212.57	c #Conflicts:      45000 | #Learnt:       6210 | 0.014
212.45/212.57	c total clause space: 78.2603MB
212.45/212.57	c total #watches: 457038
219.06/219.18	c total #propagations: 10107449 / total #impl: 372833133 (eff. 0.027)
219.06/219.18	c #Conflicts:      46000 | #Learnt:       7210 | 0.014
219.06/219.18	c total clause space: 78.2603MB
219.06/219.18	c total #watches: 524782
227.16/227.27	c total #propagations: 10326375 / total #impl: 382524222 (eff. 0.027)
227.16/227.27	c #Conflicts:      47000 | #Learnt:       8210 | 0.014
227.16/227.27	c total clause space: 78.2603MB
227.16/227.27	c total #watches: 613997
238.15/238.20	c total #propagations: 10557098 / total #impl: 397849827 (eff. 0.027)
238.15/238.20	c #Conflicts:      48000 | #Learnt:       9210 | 0.013
238.15/238.20	c total clause space: 78.2603MB
238.15/238.20	c total #watches: 708140
250.05/250.14	c total #propagations: 10791091 / total #impl: 409906741 (eff. 0.026)
250.05/250.14	c #Conflicts:      49000 | #Learnt:      10210 | 0.013
250.05/250.14	c total clause space: 78.2603MB
250.05/250.14	c total #watches: 777135
261.45/261.59	c total #propagations: 11039449 / total #impl: 425050970 (eff. 0.026)
261.45/261.59	c GC COLLECT
261.45/261.59	c #Conflicts:      50000 | #Learnt:       5904 | 0.013
261.45/261.59	c total clause space: 78.2603MB
261.45/261.59	c total #watches: 583816
269.25/269.36	c total #propagations: 11308029 / total #impl: 436957238 (eff. 0.026)
269.25/269.36	c #Conflicts:      51000 | #Learnt:       6904 | 0.013
269.25/269.36	c total clause space: 78.2603MB
269.25/269.36	c total #watches: 626037
277.84/277.92	c total #propagations: 11583593 / total #impl: 443643850 (eff. 0.026)
277.84/277.92	c #Conflicts:      52000 | #Learnt:       7904 | 0.013
277.84/277.92	c total clause space: 78.2603MB
277.84/277.92	c total #watches: 692415
289.94/290.02	c total #propagations: 11841477 / total #impl: 455786160 (eff. 0.026)
289.94/290.02	c #Conflicts:      53000 | #Learnt:       8904 | 0.012
289.94/290.02	c total clause space: 78.2603MB
289.94/290.02	c total #watches: 788698
300.25/300.40	c total #propagations: 12089917 / total #impl: 471047216 (eff. 0.026)
300.25/300.40	c #Conflicts:      54000 | #Learnt:       9904 | 0.012
300.25/300.40	c total clause space: 78.2603MB
300.25/300.40	c total #watches: 845754
312.34/312.46	c total #propagations: 12306779 / total #impl: 478112858 (eff. 0.026)
312.34/312.46	c #Conflicts:      55000 | #Learnt:      10904 | 0.012
312.34/312.46	c total clause space: 78.2603MB
312.34/312.46	c total #watches: 921704
321.84/321.96	c total #propagations: 12516071 / total #impl: 489002182 (eff. 0.026)
321.84/321.96	c GC COLLECT
321.84/321.96	c #Conflicts:      56000 | #Learnt:       6305 | 0.012
321.84/321.96	c total clause space: 78.2603MB
321.84/321.96	c total #watches: 584466
329.64/329.73	c total #propagations: 12776219 / total #impl: 499773851 (eff. 0.026)
329.64/329.73	c #Conflicts:      57000 | #Learnt:       7305 | 0.012
329.64/329.73	c total clause space: 78.2603MB
329.64/329.73	c total #watches: 669055
339.33/339.49	c total #propagations: 12991888 / total #impl: 509776569 (eff. 0.025)
339.33/339.49	c #Conflicts:      58000 | #Learnt:       8305 | 0.012
339.33/339.49	c total clause space: 78.2603MB
339.33/339.49	c total #watches: 734485
354.93/355.08	c total #propagations: 13258546 / total #impl: 519669945 (eff. 0.026)
354.93/355.08	c #Conflicts:      59000 | #Learnt:       9305 | 0.012
354.93/355.08	c total clause space: 78.2603MB
354.93/355.08	c total #watches: 792856
367.23/367.30	c total #propagations: 13626449 / total #impl: 528265105 (eff. 0.026)
367.23/367.30	c #Conflicts:      60000 | #Learnt:      10305 | 0.012
367.23/367.30	c total clause space: 78.2603MB
367.23/367.30	c total #watches: 860532
378.13/378.21	c total #propagations: 13936977 / total #impl: 537352123 (eff. 0.026)
378.13/378.21	c #Conflicts:      61000 | #Learnt:      11305 | 0.012
378.13/378.21	c total clause space: 78.2603MB
378.13/378.21	c total #watches: 966902
386.33/386.40	c total #propagations: 14200421 / total #impl: 545441160 (eff. 0.026)
386.33/386.40	c GC COLLECT
386.33/386.40	c #Conflicts:      62000 | #Learnt:       6401 | 0.012
386.33/386.40	c total clause space: 78.2603MB
386.33/386.40	c total #watches: 671421
393.43/393.56	c total #propagations: 14402983 / total #impl: 556481345 (eff. 0.026)
393.43/393.56	c #Conflicts:      63000 | #Learnt:       7401 | 0.012
393.43/393.56	c total clause space: 78.2603MB
393.43/393.56	c total #watches: 816848
404.52/404.61	c total #propagations: 14613855 / total #impl: 567991008 (eff. 0.026)
404.52/404.61	c #Conflicts:      64000 | #Learnt:       8401 | 0.012
404.52/404.61	c total clause space: 78.2603MB
404.52/404.61	c total #watches: 938636
422.82/422.90	c total #propagations: 14824566 / total #impl: 580606970 (eff. 0.026)
422.82/422.90	c #Conflicts:      65000 | #Learnt:       9401 | 0.012
422.82/422.90	c total clause space: 78.2603MB
422.82/422.90	c total #watches: 1006704
446.32/446.47	c total #propagations: 15091397 / total #impl: 591623730 (eff. 0.026)
446.32/446.47	c #Conflicts:      66000 | #Learnt:      10401 | 0.013
446.32/446.47	c total clause space: 78.2603MB
446.32/446.47	c total #watches: 1092710
472.21/472.39	c total #propagations: 15355147 / total #impl: 603248977 (eff. 0.025)
472.21/472.39	c #Conflicts:      67000 | #Learnt:      11401 | 0.012
472.21/472.39	c total clause space: 78.2603MB
472.21/472.39	c total #watches: 1147768
496.41/496.53	c total #propagations: 15671433 / total #impl: 609100009 (eff. 0.026)
496.41/496.53	c #Conflicts:      68000 | #Learnt:      12401 | 0.012
496.41/496.53	c total clause space: 127.173MB
496.41/496.53	c total #watches: 1205913
510.21/510.37	c total #propagations: 15956193 / total #impl: 619222386 (eff. 0.026)
510.21/510.37	c GC COLLECT
510.21/510.37	c #Conflicts:      69000 | #Learnt:       7202 | 0.012
510.21/510.37	c total clause space: 127.173MB
510.21/510.37	c total #watches: 759263
522.11/522.23	c total #propagations: 16253202 / total #impl: 628704300 (eff. 0.026)
522.11/522.23	c #Conflicts:      70000 | #Learnt:       8202 | 0.012
522.11/522.23	c total clause space: 127.173MB
522.11/522.23	c total #watches: 813844
536.71/536.87	c total #propagations: 16517586 / total #impl: 636896149 (eff. 0.026)
536.71/536.87	c #Conflicts:      71000 | #Learnt:       9202 | 0.012
536.71/536.87	c total clause space: 127.173MB
536.71/536.87	c total #watches: 872625
554.80/554.94	c total #propagations: 16758156 / total #impl: 645745322 (eff. 0.026)
554.80/554.94	c #Conflicts:      72000 | #Learnt:      10202 | 0.012
554.80/554.94	c total clause space: 127.173MB
554.80/554.94	c total #watches: 949650
570.30/570.46	c total #propagations: 17059610 / total #impl: 656974442 (eff. 0.026)
570.30/570.46	c #Conflicts:      73000 | #Learnt:      11202 | 0.012
570.30/570.46	c total clause space: 127.173MB
570.30/570.46	c total #watches: 1012199
586.90/587.05	c total #propagations: 17276394 / total #impl: 667088452 (eff. 0.026)
586.90/587.05	c #Conflicts:      74000 | #Learnt:      12202 | 0.012
586.90/587.05	c total clause space: 127.173MB
586.90/587.05	c total #watches: 1072811
604.20/604.38	c total #propagations: 17541548 / total #impl: 678826967 (eff. 0.026)
604.20/604.38	c GC COLLECT
604.20/604.38	c #Conflicts:      75000 | #Learnt:       6700 | 0.012
604.20/604.38	c total clause space: 127.173MB
604.20/604.38	c total #watches: 550498
614.90/615.02	c total #propagations: 17804926 / total #impl: 690043442 (eff. 0.026)
614.90/615.02	c #Conflicts:      76000 | #Learnt:       7700 | 0.012
614.90/615.02	c total clause space: 127.173MB
614.90/615.02	c total #watches: 624077
628.19/628.32	c total #propagations: 18086829 / total #impl: 702033906 (eff. 0.026)
628.19/628.32	c #Conflicts:      77000 | #Learnt:       8700 | 0.012
628.19/628.32	c total clause space: 127.173MB
628.19/628.32	c total #watches: 681750
643.29/643.41	c total #propagations: 18400128 / total #impl: 710313113 (eff. 0.026)
643.29/643.41	c #Conflicts:      78000 | #Learnt:       9700 | 0.012
643.29/643.41	c total clause space: 127.173MB
643.29/643.41	c total #watches: 734099
656.69/656.88	c total #propagations: 18711327 / total #impl: 718604837 (eff. 0.026)
656.69/656.88	c #Conflicts:      79000 | #Learnt:      10700 | 0.012
656.69/656.88	c total clause space: 127.173MB
656.69/656.88	c total #watches: 787134
669.39/669.55	c total #propagations: 18975456 / total #impl: 728516170 (eff. 0.026)
669.39/669.55	c #Conflicts:      80000 | #Learnt:      11700 | 0.011
669.39/669.55	c total clause space: 127.173MB
669.39/669.55	c total #watches: 847549
682.78/682.98	c total #propagations: 19260191 / total #impl: 739500905 (eff. 0.026)
682.78/682.98	c #Conflicts:      81000 | #Learnt:      12700 | 0.011
682.78/682.98	c total clause space: 127.173MB
682.78/682.98	c total #watches: 907992
692.38/692.53	c total #propagations: 19534432 / total #impl: 749617295 (eff. 0.026)
692.38/692.53	c GC COLLECT
692.38/692.53	c #Conflicts:      82000 | #Learnt:       6899 | 0.011
692.38/692.53	c total clause space: 127.173MB
692.38/692.53	c total #watches: 541561
698.98/699.13	c total #propagations: 19804445 / total #impl: 762173579 (eff. 0.026)
698.98/699.13	c #Conflicts:      83000 | #Learnt:       7899 | 0.011
698.98/699.13	c total clause space: 127.173MB
698.98/699.13	c total #watches: 609948
707.38/707.57	c total #propagations: 20078145 / total #impl: 775900179 (eff. 0.026)
707.38/707.57	c #Conflicts:      84000 | #Learnt:       8899 | 0.012
707.38/707.57	c total clause space: 127.173MB
707.38/707.57	c total #watches: 662483
717.78/717.94	c total #propagations: 20302495 / total #impl: 785986735 (eff. 0.026)
717.78/717.94	c #Conflicts:      85000 | #Learnt:       9899 | 0.015
717.78/717.94	c total clause space: 127.173MB
717.78/717.94	c total #watches: 707618
729.18/729.33	c total #propagations: 20537092 / total #impl: 798415134 (eff. 0.026)
729.18/729.33	c #Conflicts:      86000 | #Learnt:      10899 | 0.015
729.18/729.33	c total clause space: 127.173MB
729.18/729.33	c total #watches: 764144
742.67/742.83	c total #propagations: 20759481 / total #impl: 818487778 (eff. 0.025)
742.67/742.83	c #Conflicts:      87000 | #Learnt:      11899 | 0.015
742.67/742.83	c total clause space: 127.173MB
742.67/742.83	c total #watches: 822402
754.67/754.82	c total #propagations: 21034902 / total #impl: 833691580 (eff. 0.025)
754.67/754.82	c #Conflicts:      88000 | #Learnt:      12899 | 0.015
754.67/754.82	c total clause space: 127.173MB
754.67/754.82	c total #watches: 867798
769.07/769.27	c total #propagations: 21243556 / total #impl: 843231682 (eff. 0.025)
769.07/769.27	c #Conflicts:      89000 | #Learnt:      13899 | 0.014
769.07/769.27	c total clause space: 127.173MB
769.07/769.27	c total #watches: 919694
776.97/777.14	c total #propagations: 21474101 / total #impl: 856840888 (eff. 0.025)
776.97/777.14	c GC COLLECT
776.97/777.14	c #Conflicts:      90000 | #Learnt:       7808 | 0.015
776.97/777.14	c total clause space: 127.173MB
776.97/777.14	c total #watches: 552868
788.97/789.12	c total #propagations: 21658602 / total #impl: 868894994 (eff. 0.025)
788.97/789.12	c #Conflicts:      91000 | #Learnt:       8808 | 0.015
788.97/789.12	c total clause space: 127.173MB
788.97/789.12	c total #watches: 628615
802.07/802.26	c total #propagations: 21979931 / total #impl: 879590738 (eff. 0.025)
802.07/802.26	c #Conflicts:      92000 | #Learnt:       9808 | 0.015
802.07/802.26	c total clause space: 127.173MB
802.07/802.26	c total #watches: 712677
819.96/820.11	c total #propagations: 22321471 / total #impl: 897361702 (eff. 0.025)
819.96/820.11	c #Conflicts:      93000 | #Learnt:      10808 | 0.015
819.96/820.11	c total clause space: 127.173MB
819.96/820.11	c total #watches: 793981
837.96/838.17	c total #propagations: 22664481 / total #impl: 922831160 (eff. 0.025)
837.96/838.17	c #Conflicts:      94000 | #Learnt:      11808 | 0.015
837.96/838.17	c total clause space: 127.173MB
837.96/838.17	c total #watches: 880043
859.56/859.76	c total #propagations: 22986089 / total #impl: 950253491 (eff. 0.024)
859.56/859.76	c #Conflicts:      95000 | #Learnt:      12808 | 0.015
859.56/859.76	c total clause space: 127.173MB
859.56/859.76	c total #watches: 980569
891.65/891.84	c total #propagations: 23280365 / total #impl: 989093407 (eff. 0.024)
891.65/891.84	c #Conflicts:      96000 | #Learnt:      13808 | 0.015
891.65/891.84	c total clause space: 127.173MB
891.65/891.84	c total #watches: 1072027
932.14/932.39	c total #propagations: 23618424 / total #impl: 1039432887 (eff. 0.023)
932.14/932.39	c #Conflicts:      97000 | #Learnt:      14808 | 0.015
932.14/932.39	c total clause space: 127.173MB
932.14/932.39	c total #watches: 1150449
961.94/962.12	c total #propagations: 23986152 / total #impl: 1101470030 (eff. 0.022)
961.94/962.12	c GC COLLECT
961.94/962.12	c #Conflicts:      98000 | #Learnt:       8397 | 0.015
961.94/962.12	c total clause space: 127.173MB
961.94/962.12	c total #watches: 792553
993.93/994.13	c total #propagations: 24361224 / total #impl: 1160317722 (eff. 0.021)
993.93/994.13	c #Conflicts:      99000 | #Learnt:       9397 | 0.014
993.93/994.13	c total clause space: 127.173MB
993.93/994.13	c total #watches: 904470
1021.63/1021.88	c total #propagations: 24702072 / total #impl: 1230016694 (eff. 0.020)
1021.63/1021.88	c #Conflicts:     100000 | #Learnt:      10397 | 0.015
1021.63/1021.88	c total clause space: 127.173MB
1021.63/1021.88	c total #watches: 995734
1048.32/1048.51	c total #propagations: 24949244 / total #impl: 1278167077 (eff. 0.020)
1048.32/1048.51	c #Conflicts:     101000 | #Learnt:      11397 | 0.014
1048.32/1048.51	c total clause space: 127.173MB
1048.32/1048.51	c total #watches: 1104524
1083.62/1083.89	c total #propagations: 25198227 / total #impl: 1311537142 (eff. 0.019)
1083.62/1083.89	c #Conflicts:     102000 | #Learnt:      12397 | 0.014
1083.62/1083.89	c total clause space: 127.173MB
1083.62/1083.89	c total #watches: 1206477
1136.51/1136.70	c total #propagations: 25466389 / total #impl: 1354296153 (eff. 0.019)
1136.51/1136.70	c #Conflicts:     103000 | #Learnt:      13397 | 0.014
1136.51/1136.70	c total clause space: 127.173MB
1136.51/1136.70	c total #watches: 1291193
1181.21/1181.45	c total #propagations: 25782706 / total #impl: 1409323051 (eff. 0.018)
1181.21/1181.45	c #Conflicts:     104000 | #Learnt:      14397 | 0.014
1181.21/1181.45	c total clause space: 127.173MB
1181.21/1181.45	c total #watches: 1354774
1219.20/1219.41	c total #propagations: 26066437 / total #impl: 1419335730 (eff. 0.018)
1219.20/1219.41	c #Conflicts:     105000 | #Learnt:      15397 | 0.014
1219.20/1219.41	c total clause space: 127.173MB
1219.20/1219.41	c total #watches: 1438958
1239.61/1239.87	c total #propagations: 26295106 / total #impl: 1430425194 (eff. 0.018)
1239.61/1239.87	c GC COLLECT
1239.61/1239.87	c #Conflicts:     106000 | #Learnt:       8692 | 0.014
1239.61/1239.87	c total clause space: 127.173MB
1239.61/1239.87	c total #watches: 852839
1264.79/1265.03	c total #propagations: 26528514 / total #impl: 1440641390 (eff. 0.018)
1264.79/1265.03	c #Conflicts:     107000 | #Learnt:       9692 | 0.014
1264.79/1265.03	c total clause space: 127.173MB
1264.79/1265.03	c total #watches: 915839
1295.59/1295.81	c total #propagations: 26797789 / total #impl: 1452108376 (eff. 0.018)
1295.59/1295.81	c #Conflicts:     108000 | #Learnt:      10692 | 0.014
1295.59/1295.81	c total clause space: 127.173MB
1295.59/1295.81	c total #watches: 996361
1320.78/1321.04	c total #propagations: 27092173 / total #impl: 1462345754 (eff. 0.019)
1320.78/1321.04	c #Conflicts:     109000 | #Learnt:      11692 | 0.014
1320.78/1321.04	c total clause space: 127.173MB
1320.78/1321.04	c total #watches: 1066084
1348.88/1349.18	c total #propagations: 27339187 / total #impl: 1468747376 (eff. 0.019)
1348.88/1349.18	c #Conflicts:     110000 | #Learnt:      12692 | 0.014
1348.88/1349.18	c total clause space: 127.173MB
1348.88/1349.18	c total #watches: 1127160
1378.97/1379.20	c total #propagations: 27615878 / total #impl: 1475815572 (eff. 0.019)
1378.97/1379.20	c #Conflicts:     111000 | #Learnt:      13692 | 0.014
1378.97/1379.20	c total clause space: 127.173MB
1378.97/1379.20	c total #watches: 1185362
1419.87/1420.18	c total #propagations: 27888137 / total #impl: 1482904992 (eff. 0.019)
1419.87/1420.18	c #Conflicts:     112000 | #Learnt:      14692 | 0.014
1419.87/1420.18	c total clause space: 127.173MB
1419.87/1420.18	c total #watches: 1240756
1467.66/1467.91	c total #propagations: 28199525 / total #impl: 1491551530 (eff. 0.019)
1467.66/1467.91	c #Conflicts:     113000 | #Learnt:      15692 | 0.014
1467.66/1467.91	c total clause space: 127.173MB
1467.66/1467.91	c total #watches: 1291949
1492.15/1492.49	c total #propagations: 28515276 / total #impl: 1503429228 (eff. 0.019)
1492.15/1492.49	c GC COLLECT
1492.15/1492.49	c #Conflicts:     114000 | #Learnt:       8690 | 0.014
1492.15/1492.49	c total clause space: 127.173MB
1492.15/1492.49	c total #watches: 671167
1508.15/1508.46	c total #propagations: 28826562 / total #impl: 1518136569 (eff. 0.019)
1508.15/1508.46	c #Conflicts:     115000 | #Learnt:       9690 | 0.014
1508.15/1508.46	c total clause space: 127.173MB
1508.15/1508.46	c total #watches: 739471
1529.85/1530.18	c total #propagations: 29124775 / total #impl: 1530524532 (eff. 0.019)
1529.85/1530.18	c #Conflicts:     116000 | #Learnt:      10690 | 0.014
1529.85/1530.18	c total clause space: 127.173MB
1529.85/1530.18	c total #watches: 825475
1543.95/1544.22	c total #propagations: 29439552 / total #impl: 1544984710 (eff. 0.019)
1543.95/1544.22	c #Conflicts:     117000 | #Learnt:      11690 | 0.015
1543.95/1544.22	c total clause space: 127.173MB
1543.95/1544.22	c total #watches: 913582
1558.64/1558.92	c total #propagations: 29648504 / total #impl: 1555505484 (eff. 0.019)
1558.64/1558.92	c #Conflicts:     118000 | #Learnt:      12690 | 0.015
1558.64/1558.92	c total clause space: 127.173MB
1558.64/1558.92	c total #watches: 996021
1582.04/1582.39	c total #propagations: 29834434 / total #impl: 1569146271 (eff. 0.019)
1582.04/1582.39	c #Conflicts:     119000 | #Learnt:      13690 | 0.015
1582.04/1582.39	c total clause space: 127.173MB
1582.04/1582.39	c total #watches: 1068025
1603.54/1603.88	c total #propagations: 30077430 / total #impl: 1586943642 (eff. 0.019)
1603.54/1603.88	c #Conflicts:     120000 | #Learnt:      14690 | 0.015
1603.54/1603.88	c total clause space: 127.173MB
1603.54/1603.88	c total #watches: 1130883
1625.23/1625.57	c total #propagations: 30322101 / total #impl: 1603338727 (eff. 0.019)
1625.23/1625.57	c #Conflicts:     121000 | #Learnt:      15690 | 0.015
1625.23/1625.57	c total clause space: 127.173MB
1625.23/1625.57	c total #watches: 1205539
1660.83/1661.17	c total #propagations: 30549630 / total #impl: 1621367052 (eff. 0.019)
1660.83/1661.17	c GC COLLECT
1660.83/1661.17	c #Conflicts:     122000 | #Learnt:       8392 | 0.014
1660.83/1661.17	c total clause space: 127.173MB
1660.83/1661.17	c total #watches: 792373
1678.62/1678.95	c total #propagations: 30792776 / total #impl: 1650146327 (eff. 0.019)
1678.62/1678.95	c #Conflicts:     123000 | #Learnt:       9392 | 0.014
1678.62/1678.95	c total clause space: 127.173MB
1678.62/1678.95	c total #watches: 882883
1697.82/1698.11	c total #propagations: 31013946 / total #impl: 1666789106 (eff. 0.019)
1697.82/1698.11	c #Conflicts:     124000 | #Learnt:      10392 | 0.014
1697.82/1698.11	c total clause space: 127.173MB
1697.82/1698.11	c total #watches: 963276
1724.42/1724.74	c total #propagations: 31215928 / total #impl: 1679113025 (eff. 0.019)
1724.42/1724.74	c #Conflicts:     125000 | #Learnt:      11392 | 0.015
1724.42/1724.74	c total clause space: 127.173MB
1724.42/1724.74	c total #watches: 1043728
1754.01/1754.37	c total #propagations: 31471121 / total #impl: 1697007609 (eff. 0.019)
1754.01/1754.37	c #Conflicts:     126000 | #Learnt:      12392 | 0.015
1754.01/1754.37	c total clause space: 127.173MB
1754.01/1754.37	c total #watches: 1113709
1783.41/1783.76	c total #propagations: 31726446 / total #impl: 1713265222 (eff. 0.019)
1783.41/1783.76	c #Conflicts:     127000 | #Learnt:      13392 | 0.015
1783.41/1783.76	c total clause space: 127.173MB
1783.41/1783.76	c total #watches: 1203628

Verifier Data 

ERROR: no interpretation found !

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-4088524-1465439717/watcher-4088524-1465439717 -o /tmp/evaluation-result-4088524-1465439717/solver-4088524-1465439717 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1465436047-32661 --watchdog 1960 --input HOME/instance-4088524-1465439717.opb ./cdcl-cuttingplanes-opt-linearsearch-release 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.14 2.17 2.17 3/176 939
/proc/meminfo: memFree=29656836/32872528 swapFree=16252/1391864
[pid=939] ppid=936 vsize=29112 CPUtime=0 cores=1,3,5,7
/proc/939/stat : 939 (cdcl-cuttingpla) R 936 939 31665 0 -1 4202496 233 0 0 0 0 0 0 0 20 0 1 0 125904840 29810688 3691 33554432000 4194304 6201397 140735374198592 140733791055192 4202592 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/939/statm: 7278 3691 92 491 0 6777 0

[startup+0.100166 s]
/proc/loadavg: 2.14 2.17 2.17 3/176 939
/proc/meminfo: memFree=29656836/32872528 swapFree=16252/1391864
[pid=939] ppid=936 vsize=34128 CPUtime=0.09 cores=1,3,5,7
/proc/939/stat : 939 (cdcl-cuttingpla) R 936 939 31665 0 -1 4202496 749 0 0 0 9 0 0 0 20 0 1 0 125904840 34947072 7151 33554432000 4194304 6201397 140735374198592 140733791055192 4213257 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/939/statm: 8532 7151 145 491 0 8031 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34128

[startup+0.200363 s]
/proc/loadavg: 2.14 2.17 2.17 3/176 939
/proc/meminfo: memFree=29656836/32872528 swapFree=16252/1391864
[pid=939] ppid=936 vsize=34380 CPUtime=0.19 cores=1,3,5,7
/proc/939/stat : 939 (cdcl-cuttingpla) R 936 939 31665 0 -1 4202496 961 0 0 0 19 0 0 0 20 0 1 0 125904840 35205120 7300 33554432000 4194304 6201397 140735374198592 140733791055192 4207438 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/939/statm: 8595 7300 158 491 0 8094 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 34380

[startup+0.300262 s]
/proc/loadavg: 2.14 2.17 2.17 3/176 939
/proc/meminfo: memFree=29656836/32872528 swapFree=16252/1391864
[pid=939] ppid=936 vsize=34504 CPUtime=0.29 cores=1,3,5,7
/proc/939/stat : 939 (cdcl-cuttingpla) R 936 939 31665 0 -1 4202496 1382 0 0 0 29 0 0 0 20 0 1 0 125904840 35332096 7551 33554432000 4194304 6201397 140735374198592 140735374197384 4207438 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/939/statm: 8626 7551 158 491 0 8125 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34504

[startup+0.700293 s]
/proc/loadavg: 2.14 2.17 2.17 3/176 939
/proc/meminfo: memFree=29656836/32872528 swapFree=16252/1391864
[pid=939] ppid=936 vsize=37748 CPUtime=0.68 cores=1,3,5,7
/proc/939/stat : 939 (cdcl-cuttingpla) R 936 939 31665 0 -1 4202496 1892 0 0 0 68 0 0 0 20 0 1 0 125904840 38653952 8422 33554432000 4194304 6201397 140735374198592 140735374197384 4220176 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/939/statm: 9437 8422 158 491 0 8936 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 37748

[startup+1.50023 s]
/proc/loadavg: 2.14 2.17 2.17 3/177 940
/proc/meminfo: memFree=29621816/32872528 swapFree=16252/1391864
[pid=939] ppid=936 vsize=43168 CPUtime=1.49 cores=1,3,5,7
/proc/939/stat : 939 (cdcl-cuttingpla) R 936 939 31665 0 -1 4202496 2807 0 0 0 148 1 0 0 20 0 1 0 125904840 44204032 9569 33554432000 4194304 6201397 140735374198592 140735374197720 4213186 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/939/statm: 10792 9569 165 491 0 10291 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 43168

[startup+3.10024 s]
/proc/loadavg: 2.14 2.17 2.17 3/177 940
/proc/meminfo: memFree=29617040/32872528 swapFree=16252/1391864
[pid=939] ppid=936 vsize=51236 CPUtime=3.09 cores=1,3,5,7
/proc/939/stat : 939 (cdcl-cuttingpla) R 936 939 31665 0 -1 4202496 3796 0 0 0 308 1 0 0 20 0 1 0 125904840 52465664 10756 33554432000 4194304 6201397 140735374198592 140735374197224 4213257 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/939/statm: 12809 10756 165 491 0 12308 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 51236

[startup+6.30025 s]
/proc/loadavg: 2.13 2.16 2.17 3/177 940
/proc/meminfo: memFree=29610216/32872528 swapFree=16252/1391864
[pid=939] ppid=936 vsize=51996 CPUtime=6.29 cores=1,3,5,7
/proc/939/stat : 939 (cdcl-cuttingpla) R 936 939 31665 0 -1 4202496 4258 0 0 0 628 1 0 0 20 0 1 0 125904840 53243904 11606 33554432000 4194304 6201397 140735374198592 140735374197304 4213361 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/939/statm: 12999 11606 165 491 0 12498 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 51996

[startup+12.7003 s]
/proc/loadavg: 2.12 2.16 2.17 3/177 940
/proc/meminfo: memFree=29595640/32872528 swapFree=16252/1391864
[pid=939] ppid=936 vsize=65244 CPUtime=12.69 cores=1,3,5,7
/proc/939/stat : 939 (cdcl-cuttingpla) R 936 939 31665 0 -1 4202496 5539 0 0 0 1268 1 0 0 20 0 1 0 125904840 66809856 13527 33554432000 4194304 6201397 140735374198592 140735374197256 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/939/statm: 16311 13527 165 491 0 15810 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 65244

[startup+25.5003 s]
/proc/loadavg: 2.16 2.17 2.17 3/177 940
/proc/meminfo: memFree=29588772/32872528 swapFree=16252/1391864
[pid=939] ppid=936 vsize=66888 CPUtime=25.48 cores=1,3,5,7
/proc/939/stat : 939 (cdcl-cuttingpla) R 936 939 31665 0 -1 4202496 5974 0 0 0 2547 1 0 0 20 0 1 0 125904840 68493312 14976 33554432000 4194304 6201397 140735374198592 140735374197384 4213186 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/939/statm: 16722 14976 165 491 0 16221 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 66888

[startup+51.1003 s]
/proc/loadavg: 2.32 2.20 2.18 3/177 941
/proc/meminfo: memFree=29560232/32872528 swapFree=16252/1391864
[pid=939] ppid=936 vsize=87672 CPUtime=51.08 cores=1,3,5,7
/proc/939/stat : 939 (cdcl-cuttingpla) R 936 939 31665 0 -1 4202496 7280 0 0 0 5106 2 0 0 20 0 1 0 125904840 89776128 17937 33554432000 4194304 6201397 140735374198592 140735374197384 4213253 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/939/statm: 21918 17937 165 491 0 21417 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 87672

[startup+102.3 s]
/proc/loadavg: 2.24 2.20 2.18 3/177 942
/proc/meminfo: memFree=29524112/32872528 swapFree=16252/1391864
[pid=939] ppid=936 vsize=90312 CPUtime=102.27 cores=1,3,5,7
/proc/939/stat : 939 (cdcl-cuttingpla) R 936 939 31665 0 -1 4202496 8001 0 0 0 10225 2 0 0 20 0 1 0 125904840 92479488 20695 33554432000 4194304 6201397 140735374198592 140735374197720 4213253 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/939/statm: 22578 20695 165 491 0 22077 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 90312

[startup+162.3 s]
/proc/loadavg: 2.20 2.19 2.18 4/177 943
/proc/meminfo: memFree=29486164/32872528 swapFree=16252/1391864
[pid=939] ppid=936 vsize=124520 CPUtime=162.26 cores=1,3,5,7
/proc/939/stat : 939 (cdcl-cuttingpla) R 936 939 31665 0 -1 4202496 9566 0 0 0 16223 3 0 0 20 0 1 0 125904840 127508480 24986 33554432000 4194304 6201397 140735374198592 140735374197384 4215962 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/939/statm: 31130 24986 165 491 0 30629 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 124520

[startup+222.307 s]
/proc/loadavg: 2.25 2.20 2.18 3/177 944
/proc/meminfo: memFree=29462412/32872528 swapFree=16252/1391864
[pid=939] ppid=936 vsize=125816 CPUtime=222.26 cores=1,3,5,7
/proc/939/stat : 939 (cdcl-cuttingpla) R 936 939 31665 0 -1 4202496 9978 0 0 0 22222 4 0 0 20 0 1 0 125904840 128835584 28459 33554432000 4194304 6201397 140735374198592 140735374197048 4213186 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/939/statm: 31454 28459 165 491 0 30953 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 125816

[startup+282.3 s]
/proc/loadavg: 2.28 2.21 2.18 3/177 945
/proc/meminfo: memFree=29446844/32872528 swapFree=16252/1391864
[pid=939] ppid=936 vsize=127948 CPUtime=282.24 cores=1,3,5,7
/proc/939/stat : 939 (cdcl-cuttingpla) R 936 939 31665 0 -1 4202496 10508 0 0 0 28220 4 0 0 20 0 1 0 125904840 131018752 28989 33554432000 4194304 6201397 140735374198592 140735374197720 4215962 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/939/statm: 31987 28989 165 491 0 31486 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 127948

[startup+342.3 s]
/proc/loadavg: 2.22 2.21 2.18 3/178 949
/proc/meminfo: memFree=29437424/32872528 swapFree=16252/1391864
[pid=939] ppid=936 vsize=129636 CPUtime=342.23 cores=1,3,5,7
/proc/939/stat : 939 (cdcl-cuttingpla) R 936 939 31665 0 -1 4202496 10877 0 0 0 34219 4 0 0 20 0 1 0 125904840 132747264 29358 33554432000 4194304 6201397 140735374198592 140735374197720 4213253 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/939/statm: 32409 29358 165 491 0 31908 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 129636

[startup+402.3 s]
/proc/loadavg: 2.31 2.23 2.19 3/177 951
/proc/meminfo: memFree=29424972/32872528 swapFree=16252/1391864
[pid=939] ppid=936 vsize=130904 CPUtime=402.22 cores=1,3,5,7
/proc/939/stat : 939 (cdcl-cuttingpla) R 936 939 31665 0 -1 4202496 11164 0 0 0 40218 4 0 0 20 0 1 0 125904840 134045696 30156 33554432000 4194304 6201397 140735374198592 140735374197304 4213257 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/939/statm: 32726 30156 165 491 0 32225 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 130904

[startup+462.3 s]
/proc/loadavg: 2.24 2.22 2.18 3/177 952
/proc/meminfo: memFree=29397860/32872528 swapFree=16252/1391864
[pid=939] ppid=936 vsize=134168 CPUtime=462.21 cores=1,3,5,7
/proc/939/stat : 939 (cdcl-cuttingpla) R 936 939 31665 0 -1 4202496 11817 0 0 0 46217 4 0 0 20 0 1 0 125904840 137388032 31831 33554432000 4194304 6201397 140735374198592 140735374197256 4213253 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/939/statm: 33542 31831 165 491 0 33041 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 134168

[startup+522.3 s]
/proc/loadavg: 2.13 2.19 2.18 3/177 953
/proc/meminfo: memFree=29374720/32872528 swapFree=16252/1391864
[pid=939] ppid=936 vsize=184736 CPUtime=522.21 cores=1,3,5,7
/proc/939/stat : 939 (cdcl-cuttingpla) R 936 939 31665 0 -1 4202496 12783 0 0 0 52216 5 0 0 20 0 1 0 125904840 189169664 33431 33554432000 4194304 6201397 140735374198592 140735374197720 4213253 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/939/statm: 46184 33431 165 491 0 45683 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 184736

[startup+582.3 s]
/proc/loadavg: 2.21 2.20 2.18 3/177 954
/proc/meminfo: memFree=29373740/32872528 swapFree=16252/1391864
[pid=939] ppid=936 vsize=185216 CPUtime=582.2 cores=1,3,5,7
/proc/939/stat : 939 (cdcl-cuttingpla) R 936 939 31665 0 -1 4202496 12874 0 0 0 58215 5 0 0 20 0 1 0 125904840 189661184 33522 33554432000 4194304 6201397 140735374198592 140735374197256 4213170 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/939/statm: 46304 33522 165 491 0 45803 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 185216


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


[startup+942.3 s]
/proc/loadavg: 2.31 2.24 2.19 3/178 964
/proc/meminfo: memFree=29335152/32872528 swapFree=16252/1391864
[pid=939] ppid=936 vsize=190452 CPUtime=942.14 cores=1,3,5,7
/proc/939/stat : 939 (cdcl-cuttingpla) R 936 939 31665 0 -1 4202496 13979 0 0 0 94209 5 0 0 20 0 1 0 125904840 195022848 38202 33554432000 4194304 6201397 140735374198592 140735374197720 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/939/statm: 47613 38202 165 491 0 47112 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 190452

[startup+1002.3 s]
/proc/loadavg: 2.17 2.21 2.18 3/177 966
/proc/meminfo: memFree=29333556/32872528 swapFree=16252/1391864
[pid=939] ppid=936 vsize=190644 CPUtime=1002.13 cores=1,3,5,7
/proc/939/stat : 939 (cdcl-cuttingpla) R 936 939 31665 0 -1 4202496 14058 0 0 0 100208 5 0 0 20 0 1 0 125904840 195219456 38281 33554432000 4194304 6201397 140735374198592 140735374197720 4213249 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/939/statm: 47661 38281 165 491 0 47160 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 190644

[startup+1062.3 s]
/proc/loadavg: 2.11 2.18 2.17 3/176 969
/proc/meminfo: memFree=29332236/32872528 swapFree=16252/1391864
[pid=939] ppid=936 vsize=192324 CPUtime=1062.12 cores=1,3,5,7
/proc/939/stat : 939 (cdcl-cuttingpla) R 936 939 31665 0 -1 4202496 14380 0 0 0 106207 5 0 0 20 0 1 0 125904840 196939776 38603 33554432000 4194304 6201397 140735374198592 140735374197256 4213186 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/939/statm: 48081 38603 165 491 0 47580 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 192324

[startup+1122.3 s]
/proc/loadavg: 2.22 2.19 2.18 3/177 971
/proc/meminfo: memFree=29308460/32872528 swapFree=16252/1391864
[pid=939] ppid=936 vsize=193192 CPUtime=1122.11 cores=1,3,5,7
/proc/939/stat : 939 (cdcl-cuttingpla) R 936 939 31665 0 -1 4202496 14562 0 0 0 112206 5 0 0 20 0 1 0 125904840 197828608 39296 33554432000 4194304 6201397 140735374198592 140735374197256 4213092 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/939/statm: 48298 39296 165 491 0 47797 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 193192

[startup+1182.3 s]
/proc/loadavg: 2.22 2.19 2.18 3/177 972
/proc/meminfo: memFree=29295308/32872528 swapFree=16252/1391864
[pid=939] ppid=936 vsize=198160 CPUtime=1182.11 cores=1,3,5,7
/proc/939/stat : 939 (cdcl-cuttingpla) R 936 939 31665 0 -1 4202496 15602 0 0 0 118205 6 0 0 20 0 1 0 125904840 202915840 42380 33554432000 4194304 6201397 140735374198592 140735374197720 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/939/statm: 49540 42380 165 491 0 49039 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 198160

[startup+1242.3 s]
/proc/loadavg: 2.23 2.20 2.18 3/177 973
/proc/meminfo: memFree=29288244/32872528 swapFree=16252/1391864
[pid=939] ppid=936 vsize=198996 CPUtime=1242.1 cores=1,3,5,7
/proc/939/stat : 939 (cdcl-cuttingpla) R 936 939 31665 0 -1 4202496 15757 0 0 0 124204 6 0 0 20 0 1 0 125904840 203771904 44068 33554432000 4194304 6201397 140735374198592 140735374197720 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/939/statm: 49749 44068 165 491 0 49248 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 198996

[startup+1302.3 s]
/proc/loadavg: 2.24 2.20 2.18 3/177 975
/proc/meminfo: memFree=29285444/32872528 swapFree=16252/1391864
[pid=939] ppid=936 vsize=198996 CPUtime=1302.08 cores=1,3,5,7
/proc/939/stat : 939 (cdcl-cuttingpla) R 936 939 31665 0 -1 4202496 15770 0 0 0 130202 6 0 0 20 0 1 0 125904840 203771904 44688 33554432000 4194304 6201397 140735374198592 140735374197720 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/939/statm: 49749 44688 165 491 0 49248 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 198996

[startup+1362.3 s]
/proc/loadavg: 2.20 2.19 2.18 3/177 976
/proc/meminfo: memFree=29285576/32872528 swapFree=16252/1391864
[pid=939] ppid=936 vsize=198996 CPUtime=1362.07 cores=1,3,5,7
/proc/939/stat : 939 (cdcl-cuttingpla) R 936 939 31665 0 -1 4202496 15796 0 0 0 136201 6 0 0 20 0 1 0 125904840 203771904 44714 33554432000 4194304 6201397 140735374198592 140735374197720 4215861 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/939/statm: 49749 44714 165 491 0 49248 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 198996

[startup+1422.3 s]
/proc/loadavg: 2.20 2.19 2.18 3/177 977
/proc/meminfo: memFree=29285460/32872528 swapFree=16252/1391864
[pid=939] ppid=936 vsize=199508 CPUtime=1422.07 cores=1,3,5,7
/proc/939/stat : 939 (cdcl-cuttingpla) R 936 939 31665 0 -1 4202496 15875 0 0 0 142201 6 0 0 20 0 1 0 125904840 204296192 44793 33554432000 4194304 6201397 140735374198592 140735374197720 4213253 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/939/statm: 49877 44793 165 491 0 49376 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 199508

[startup+1482.3 s]
/proc/loadavg: 2.31 2.21 2.19 3/177 978
/proc/meminfo: memFree=29285228/32872528 swapFree=16252/1391864
[pid=939] ppid=936 vsize=199828 CPUtime=1482.05 cores=1,3,5,7
/proc/939/stat : 939 (cdcl-cuttingpla) R 936 939 31665 0 -1 4202496 15922 0 0 0 148199 6 0 0 20 0 1 0 125904840 204623872 44840 33554432000 4194304 6201397 140735374198592 140735374197256 4210160 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/939/statm: 49957 44840 165 491 0 49456 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 199828

[startup+1542.31 s]
/proc/loadavg: 2.36 2.23 2.19 3/178 982
/proc/meminfo: memFree=29285020/32872528 swapFree=16252/1391864
[pid=939] ppid=936 vsize=199828 CPUtime=1542.05 cores=1,3,5,7
/proc/939/stat : 939 (cdcl-cuttingpla) R 936 939 31665 0 -1 4202496 15931 0 0 0 154199 6 0 0 20 0 1 0 125904840 204623872 44849 33554432000 4194304 6201397 140735374198592 140735374197720 4213268 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/939/statm: 49957 44849 165 491 0 49456 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 199828

[startup+1602.3 s]
/proc/loadavg: 2.18 2.20 2.18 3/178 1009
/proc/meminfo: memFree=29284484/32872528 swapFree=16252/1391864
[pid=939] ppid=936 vsize=199828 CPUtime=1602.04 cores=1,3,5,7
/proc/939/stat : 939 (cdcl-cuttingpla) R 936 939 31665 0 -1 4202496 15946 0 0 0 160198 6 0 0 20 0 1 0 125904840 204623872 44864 33554432000 4194304 6201397 140735374198592 140735374197720 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/939/statm: 49957 44864 165 491 0 49456 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 199828

[startup+1662.3 s]
/proc/loadavg: 2.22 2.21 2.18 3/177 1010
/proc/meminfo: memFree=29284428/32872528 swapFree=16252/1391864
[pid=939] ppid=936 vsize=200600 CPUtime=1662.03 cores=1,3,5,7
/proc/939/stat : 939 (cdcl-cuttingpla) R 936 939 31665 0 -1 4202496 16053 0 0 0 166197 6 0 0 20 0 1 0 125904840 205414400 44971 33554432000 4194304 6201397 140735374198592 140735374197720 4213268 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/939/statm: 50150 44971 165 491 0 49649 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 200600

[startup+1722.3 s]
/proc/loadavg: 2.26 2.23 2.19 3/177 1011
/proc/meminfo: memFree=29280368/32872528 swapFree=16252/1391864
[pid=939] ppid=936 vsize=200864 CPUtime=1722.02 cores=1,3,5,7
/proc/939/stat : 939 (cdcl-cuttingpla) R 936 939 31665 0 -1 4202496 16114 0 0 0 172196 6 0 0 20 0 1 0 125904840 205684736 45032 33554432000 4194304 6201397 140735374198592 140735374197384 4213170 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/939/statm: 50216 45032 165 491 0 49715 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 200864

[startup+1782.3 s]
/proc/loadavg: 2.09 2.18 2.17 3/177 1058
/proc/meminfo: memFree=29477420/32872528 swapFree=16252/1391864
[pid=939] ppid=936 vsize=201520 CPUtime=1782.01 cores=1,3,5,7
/proc/939/stat : 939 (cdcl-cuttingpla) R 936 939 31665 0 -1 4202496 16234 0 0 0 178195 6 0 0 20 0 1 0 125904840 206356480 45152 33554432000 4194304 6201397 140735374198592 140735374197256 4213257 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/939/statm: 50380 45152 165 491 0 49879 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 201520



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.14 2.19 2.17 3/177 1058
/proc/meminfo: memFree=29448696/32872528 swapFree=16252/1391864
[pid=939] ppid=936 vsize=201520 CPUtime=1800.01 cores=1,3,5,7
/proc/939/stat : 939 (cdcl-cuttingpla) R 936 939 31665 0 -1 4202496 16256 0 0 0 179995 6 0 0 20 0 1 0 125904840 206356480 45174 33554432000 4194304 6201397 140735374198592 140735374197720 4213186 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/939/statm: 50380 45174 165 491 0 49879 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 201520

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 939 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.3 s]
/proc/loadavg: 2.14 2.19 2.17 3/177 1058
/proc/meminfo: memFree=29448696/32872528 swapFree=16252/1391864
[pid=939] ppid=936 vsize=201520 CPUtime=1800.01 cores=1,3,5,7
/proc/939/stat : 939 (cdcl-cuttingpla) R 936 939 31665 0 -1 4202496 16256 0 0 0 179995 6 0 0 20 0 1 0 125904840 206356480 45174 33554432000 4194304 6201397 140735374198592 140735374197720 4213186 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/939/statm: 50380 45174 165 491 0 49879 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 201520

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.95
CPU system time (s): 0.066989
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 201520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.066989
maximum resident set size= 180696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16256
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= 23
involuntary context switches= 1853

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.68429 second user time and 7.76082 second system time

The end

Launcher Data 

Begin job on node119 at 2016-06-09 04:35:17
IDJOB=4088524
IDBENCH=89875
IDSOLVER=2550
FILE ID=node119/4088524-1465439717
RUNJOBID= node119-1465436047-32661
PBS_JOBID= 19859789
Free space on /tmp= 71736 MiB

SOLVER NAME= cdcl-cuttingplanes OPT linear search 2016-05-01
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-ns894788.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088524-1465439717/watcher-4088524-1465439717 -o /tmp/evaluation-result-4088524-1465439717/solver-4088524-1465439717 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1465436047-32661 --watchdog 1960 --input HOME/instance-4088524-1465439717.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= ca3efe2da0610ce6a80a42a3887418e6
RANDOM SEED=669594460

node119.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.410
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.82
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
cpu MHz		: 2666.410
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 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 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 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
cpu MHz		: 2666.410
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 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 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 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	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.410
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 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 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 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
cpu MHz		: 2666.410
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 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 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 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	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.410
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 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 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 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
cpu MHz		: 2666.410
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
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
cpu MHz		: 2666.410
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 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 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 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:       32872528 kB
MemFree:        29656364 kB
Buffers:          152748 kB
Cached:           823476 kB
SwapCached:          844 kB
Active:           555760 kB
Inactive:         527244 kB
Active(anon):     106308 kB
Inactive(anon):     2744 kB
Active(file):     449452 kB
Inactive(file):   524500 kB
Unevictable:     1391864 kB
Mlocked:           16252 kB
SwapTotal:      67108856 kB
SwapFree:       67100212 kB
Dirty:              2364 kB
Writeback:             0 kB
AnonPages:       1466800 kB
Mapped:             7660 kB
Shmem:                 0 kB
Slab:             609024 kB
SReclaimable:      53100 kB
SUnreclaim:       555924 kB
KernelStack:        1472 kB
PageTables:         7096 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1635124 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1421312 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71732 MiB
End job on node119 at 2016-06-09 05:05:17