Trace number 4088302

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.03 1800.31

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_delay/normalized-fir05_area_delay.opb
MD5SUMb0c7ff7d1fa11c8e15b9d528879223a9
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark14
Best CPU time to get the best result obtained on this benchmark0.064989
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 14
Optimality of the best value was proved YES
Number of variables3659
Total number of constraints9385
Number of constraints which are clauses9385
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 1787
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 1787
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 1787
Number of bits of the biggest sum of numbers11
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= 3659 #constraint= 9385
0.89/0.99	c #Conflicts:       1000 | #Learnt:       1002 | 0.000
0.89/0.99	c total clause space: 18.2382MB
0.89/0.99	c total #watches: 494793
2.59/2.68	c total #propagations: 401422 / total #impl: 23082310 (eff. 0.017)
2.59/2.68	c #Conflicts:       2000 | #Learnt:       2002 | 0.000
2.59/2.68	c total clause space: 48.1602MB
2.59/2.68	c total #watches: 1027741
4.50/4.57	c total #propagations: 670114 / total #impl: 49074378 (eff. 0.014)
4.50/4.57	c GC COLLECT
4.50/4.57	c #Conflicts:       3000 | #Learnt:       2002 | 0.000
4.50/4.57	c total clause space: 48.1602MB
4.50/4.57	c total #watches: 1105422
7.29/7.35	c total #propagations: 873970 / total #impl: 80037338 (eff. 0.011)
7.29/7.35	c #Conflicts:       4000 | #Learnt:       3002 | 0.000
7.29/7.35	c total clause space: 78.2603MB
7.29/7.35	c total #watches: 1430350
10.59/10.62	c total #propagations: 1163734 / total #impl: 123232514 (eff. 0.009)
10.59/10.62	c GC COLLECT
10.59/10.62	c #Conflicts:       5000 | #Learnt:       2357 | 0.000
10.59/10.62	c total clause space: 78.2603MB
10.59/10.62	c total #watches: 1334511
15.39/15.46	c total #propagations: 1254994 / total #impl: 171877659 (eff. 0.007)
15.39/15.46	c #Conflicts:       6000 | #Learnt:       3357 | 0.000
15.39/15.46	c total clause space: 78.2603MB
15.39/15.46	c total #watches: 1795618
20.69/20.73	c total #propagations: 1466071 / total #impl: 257870088 (eff. 0.006)
20.69/20.73	c GC COLLECT
20.69/20.73	c #Conflicts:       7000 | #Learnt:       2232 | 0.000
20.69/20.73	c total clause space: 78.2603MB
20.69/20.73	c total #watches: 1276262
26.50/26.54	c total #propagations: 1816176 / total #impl: 353048428 (eff. 0.005)
26.50/26.54	c #Conflicts:       8000 | #Learnt:       3232 | 0.000
26.50/26.54	c total clause space: 78.2603MB
26.50/26.54	c total #watches: 1665211
35.09/35.18	c total #propagations: 1993538 / total #impl: 472220533 (eff. 0.004)
35.09/35.18	c #Conflicts:       9000 | #Learnt:       4232 | 0.000
35.09/35.18	c total clause space: 78.2603MB
35.09/35.18	c total #watches: 2078699
42.38/42.40	c total #propagations: 2311578 / total #impl: 671751453 (eff. 0.003)
42.38/42.40	c GC COLLECT
42.38/42.40	c #Conflicts:      10000 | #Learnt:       2717 | 0.000
42.38/42.40	c total clause space: 127.173MB
42.38/42.40	c total #watches: 1756192
51.48/51.50	c total #propagations: 2576275 / total #impl: 735377470 (eff. 0.004)
51.48/51.50	c #Conflicts:      11000 | #Learnt:       3717 | 0.000
51.48/51.50	c total clause space: 127.173MB
51.48/51.50	c total #watches: 2169991
57.58/57.68	c total #propagations: 2721414 / total #impl: 928570361 (eff. 0.003)
57.58/57.68	c #Conflicts:      12000 | #Learnt:       4717 | 0.000
57.58/57.68	c total clause space: 127.173MB
57.58/57.68	c total #watches: 2613139
65.87/66.00	c total #propagations: 3002152 / total #impl: 968030970 (eff. 0.003)
65.87/66.00	c #Conflicts:      13000 | #Learnt:       5716 | 0.000
65.87/66.00	c total clause space: 127.173MB
65.87/66.00	c total #watches: 3057873
71.49/71.59	c total #propagations: 3270854 / total #impl: 1034786718 (eff. 0.003)
71.49/71.59	c GC COLLECT
71.49/71.59	c #Conflicts:      14000 | #Learnt:       3859 | 0.001
71.49/71.59	c total clause space: 127.173MB
71.49/71.59	c total #watches: 2365886
79.88/79.97	c total #propagations: 3488603 / total #impl: 1084895501 (eff. 0.003)
79.88/79.97	c #Conflicts:      15000 | #Learnt:       4859 | 0.001
79.88/79.97	c total clause space: 127.173MB
79.88/79.97	c total #watches: 2841919
91.47/91.56	c total #propagations: 3651727 / total #impl: 1157852076 (eff. 0.003)
91.47/91.56	c #Conflicts:      16000 | #Learnt:       5859 | 0.001
91.47/91.56	c total clause space: 127.173MB
91.47/91.56	c total #watches: 3332580
100.67/100.74	c total #propagations: 3898579 / total #impl: 1274592245 (eff. 0.003)
100.67/100.74	c GC COLLECT
100.67/100.74	c #Conflicts:      17000 | #Learnt:       3679 | 0.001
100.67/100.74	c total clause space: 127.173MB
100.67/100.74	c total #watches: 2335160
107.66/107.75	c total #propagations: 4008016 / total #impl: 1357919711 (eff. 0.003)
107.66/107.75	c #Conflicts:      18000 | #Learnt:       4679 | 0.001
107.66/107.75	c total clause space: 127.173MB
107.66/107.75	c total #watches: 3104833
116.86/116.93	c total #propagations: 4125762 / total #impl: 1435968791 (eff. 0.003)
116.86/116.93	c #Conflicts:      19000 | #Learnt:       5680 | 0.001
116.86/116.93	c total clause space: 127.173MB
116.86/116.93	c total #watches: 3706366
125.97/126.05	c total #propagations: 4212893 / total #impl: 1553843622 (eff. 0.003)
125.97/126.05	c #Conflicts:      20000 | #Learnt:       6680 | 0.001
125.97/126.05	c total clause space: 206.656MB
125.97/126.05	c total #watches: 4179719
135.86/135.98	c total #propagations: 4404223 / total #impl: 1649190782 (eff. 0.003)
135.86/135.98	c GC COLLECT
135.86/135.98	c #Conflicts:      21000 | #Learnt:       4188 | 0.001
135.86/135.98	c total clause space: 206.656MB
135.86/135.98	c total #watches: 3008738
150.06/150.13	c total #propagations: 4561688 / total #impl: 1749061658 (eff. 0.003)
150.06/150.13	c #Conflicts:      22000 | #Learnt:       5188 | 0.001
150.06/150.13	c total clause space: 206.656MB
150.06/150.13	c total #watches: 3392347
159.96/160.07	c total #propagations: 4852046 / total #impl: 1929171763 (eff. 0.003)
159.96/160.07	c #Conflicts:      23000 | #Learnt:       6188 | 0.001
159.96/160.07	c total clause space: 206.656MB
159.96/160.07	c total #watches: 4069963
181.16/181.23	c total #propagations: 4978348 / total #impl: 2009527837 (eff. 0.002)
181.16/181.23	c #Conflicts:      24000 | #Learnt:       7187 | 0.001
181.16/181.23	c total clause space: 206.656MB
181.16/181.23	c total #watches: 4352533
197.05/197.19	c total #propagations: 5118601 / total #impl: 2226861193 (eff. 0.002)
197.05/197.19	c GC COLLECT
197.05/197.19	c #Conflicts:      25000 | #Learnt:       4396 | 0.001
197.05/197.19	c total clause space: 206.656MB
197.05/197.19	c total #watches: 2559991
204.85/204.90	c total #propagations: 5256165 / total #impl: 2418963597 (eff. 0.002)
204.85/204.90	c #Conflicts:      26000 | #Learnt:       5396 | 0.001
204.85/204.90	c total clause space: 206.656MB
204.85/204.90	c total #watches: 3123875
215.25/215.34	c total #propagations: 5338248 / total #impl: 2526276409 (eff. 0.002)
215.25/215.34	c #Conflicts:      27000 | #Learnt:       6396 | 0.000
215.25/215.34	c total clause space: 206.656MB
215.25/215.34	c total #watches: 3607531
230.65/230.76	c total #propagations: 5424352 / total #impl: 2657472543 (eff. 0.002)
230.65/230.76	c #Conflicts:      28000 | #Learnt:       7396 | 0.000
230.65/230.76	c total clause space: 206.656MB
230.65/230.76	c total #watches: 4070517
251.74/251.81	c total #propagations: 5568609 / total #impl: 2794375730 (eff. 0.002)
251.74/251.81	c GC COLLECT
251.74/251.81	c #Conflicts:      29000 | #Learnt:       4294 | 0.000
251.74/251.81	c total clause space: 206.656MB
251.74/251.81	c total #watches: 2727757
269.84/269.94	c total #propagations: 5848175 / total #impl: 2994519829 (eff. 0.002)
269.84/269.94	c #Conflicts:      30000 | #Learnt:       5294 | 0.000
269.84/269.94	c total clause space: 206.656MB
269.84/269.94	c total #watches: 3170974
281.55/281.67	c total #propagations: 6006602 / total #impl: 3241498228 (eff. 0.002)
281.55/281.67	c #Conflicts:      31000 | #Learnt:       6294 | 0.000
281.55/281.67	c total clause space: 206.656MB
281.55/281.67	c total #watches: 3656855
295.54/295.63	c total #propagations: 6089737 / total #impl: 3321677318 (eff. 0.002)
295.54/295.63	c #Conflicts:      32000 | #Learnt:       7294 | 0.000
295.54/295.63	c total clause space: 206.656MB
295.54/295.63	c total #watches: 4121752
311.14/311.26	c total #propagations: 6313774 / total #impl: 3404698383 (eff. 0.002)
311.14/311.26	c #Conflicts:      33000 | #Learnt:       8294 | 0.000
311.14/311.26	c total clause space: 206.656MB
311.14/311.26	c total #watches: 4536998
324.74/324.83	c total #propagations: 6528831 / total #impl: 3502625242 (eff. 0.002)
324.74/324.83	c GC COLLECT
324.74/324.83	c #Conflicts:      34000 | #Learnt:       4896 | 0.000
324.74/324.83	c total clause space: 206.656MB
324.74/324.83	c total #watches: 2923090
338.74/338.88	c total #propagations: 6669409 / total #impl: 3615250398 (eff. 0.002)
338.74/338.88	c #Conflicts:      35000 | #Learnt:       5896 | 0.000
338.74/338.88	c total clause space: 206.656MB
338.74/338.88	c total #watches: 3393895
351.83/351.95	c total #propagations: 6863783 / total #impl: 3774006010 (eff. 0.002)
351.83/351.95	c #Conflicts:      36000 | #Learnt:       6896 | 0.000
351.83/351.95	c total clause space: 206.656MB
351.83/351.95	c total #watches: 3985514
367.83/367.94	c total #propagations: 7026958 / total #impl: 3824588556 (eff. 0.002)
367.83/367.94	c #Conflicts:      37000 | #Learnt:       7896 | 0.000
367.83/367.94	c total clause space: 206.656MB
367.83/367.94	c total #watches: 4703502
388.13/388.24	c total #propagations: 7250714 / total #impl: 3908470555 (eff. 0.002)
388.13/388.24	c #Conflicts:      38000 | #Learnt:       8896 | 0.000
388.13/388.24	c total clause space: 206.656MB
388.13/388.24	c total #watches: 5277194
401.03/401.16	c total #propagations: 7348662 / total #impl: 4049190857 (eff. 0.002)
401.03/401.16	c GC COLLECT
401.03/401.16	c #Conflicts:      39000 | #Learnt:       5194 | 0.000
401.03/401.16	c total clause space: 206.656MB
401.03/401.16	c total #watches: 3728333
420.62/420.72	c total #propagations: 7444034 / total #impl: 4169576377 (eff. 0.002)
420.62/420.72	c #Conflicts:      40000 | #Learnt:       6194 | 0.000
420.62/420.72	c total clause space: 206.656MB
420.62/420.72	c total #watches: 4331251
436.92/437.02	c total #propagations: 7649942 / total #impl: 4583260020 (eff. 0.002)
436.92/437.02	c #Conflicts:      41000 | #Learnt:       7195 | 0.000
436.92/437.02	c total clause space: 206.656MB
436.92/437.02	c total #watches: 5073803
449.42/449.55	c total #propagations: 7754656 / total #impl: 4676208066 (eff. 0.002)
449.42/449.55	c #Conflicts:      42000 | #Learnt:       8195 | 0.000
449.42/449.55	c total clause space: 206.656MB
449.42/449.55	c total #watches: 5635099
465.71/465.81	c total #propagations: 7815629 / total #impl: 4704879460 (eff. 0.002)
465.71/465.81	c #Conflicts:      43000 | #Learnt:       9195 | 0.000
465.71/465.81	c total clause space: 335.816MB
465.71/465.81	c total #watches: 6320344
483.61/483.79	c total #propagations: 7959098 / total #impl: 4747435594 (eff. 0.002)
483.61/483.79	c GC COLLECT
483.61/483.79	c #Conflicts:      44000 | #Learnt:       5195 | 0.000
483.61/483.79	c total clause space: 335.816MB
483.61/483.79	c total #watches: 3736974
494.81/494.93	c total #propagations: 8022213 / total #impl: 4807320796 (eff. 0.002)
494.81/494.93	c #Conflicts:      45000 | #Learnt:       6195 | 0.000
494.81/494.93	c total clause space: 335.816MB
494.81/494.93	c total #watches: 4271323
504.31/504.46	c total #propagations: 8077923 / total #impl: 4824317395 (eff. 0.002)
504.31/504.46	c #Conflicts:      46000 | #Learnt:       7195 | 0.000
504.31/504.46	c total clause space: 335.816MB
504.31/504.46	c total #watches: 5004771
517.01/517.13	c total #propagations: 8204104 / total #impl: 4840621959 (eff. 0.002)
517.01/517.13	c #Conflicts:      47000 | #Learnt:       8195 | 0.000
517.01/517.13	c total clause space: 335.816MB
517.01/517.13	c total #watches: 5623451
531.00/531.18	c total #propagations: 8326307 / total #impl: 4860890720 (eff. 0.002)
531.00/531.18	c #Conflicts:      48000 | #Learnt:       9195 | 0.001
531.00/531.18	c total clause space: 335.816MB
531.00/531.18	c total #watches: 6147310
549.70/549.83	c total #propagations: 8564234 / total #impl: 4878600763 (eff. 0.002)
549.70/549.83	c #Conflicts:      49000 | #Learnt:      10195 | 0.001
549.70/549.83	c total clause space: 335.816MB
549.70/549.83	c total #watches: 6588931
562.80/562.91	c total #propagations: 8684526 / total #impl: 4917461497 (eff. 0.002)
562.80/562.91	c GC COLLECT
562.80/562.91	c #Conflicts:      50000 | #Learnt:       5895 | 0.001
562.80/562.91	c total clause space: 335.816MB
562.80/562.91	c total #watches: 4128646
574.70/574.80	c total #propagations: 8926474 / total #impl: 4939382971 (eff. 0.002)
574.70/574.80	c #Conflicts:      51000 | #Learnt:       6895 | 0.001
574.70/574.80	c total clause space: 335.816MB
574.70/574.80	c total #watches: 4760926
582.90/583.09	c total #propagations: 9264132 / total #impl: 4974588214 (eff. 0.002)
582.90/583.09	c #Conflicts:      52000 | #Learnt:       7896 | 0.001
582.90/583.09	c total clause space: 335.816MB
582.90/583.09	c total #watches: 5274351
595.00/595.15	c total #propagations: 9580012 / total #impl: 4999636563 (eff. 0.002)
595.00/595.15	c #Conflicts:      53000 | #Learnt:       8896 | 0.001
595.00/595.15	c total clause space: 335.816MB
595.00/595.15	c total #watches: 5689667
611.79/611.96	c total #propagations: 9792043 / total #impl: 5031743585 (eff. 0.002)
611.79/611.96	c #Conflicts:      54000 | #Learnt:       9896 | 0.001
611.79/611.96	c total clause space: 335.816MB
611.79/611.96	c total #watches: 6199777
626.79/626.99	c total #propagations: 9887042 / total #impl: 5093206843 (eff. 0.002)
626.79/626.99	c #Conflicts:      55000 | #Learnt:      10896 | 0.001
626.79/626.99	c total clause space: 335.816MB
626.79/626.99	c total #watches: 6652680
640.88/641.07	c total #propagations: 10179061 / total #impl: 5140086983 (eff. 0.002)
640.88/641.07	c GC COLLECT
640.88/641.07	c #Conflicts:      56000 | #Learnt:       6283 | 0.001
640.88/641.07	c total clause space: 335.816MB
640.88/641.07	c total #watches: 4383144
656.48/656.63	c total #propagations: 10424853 / total #impl: 5171830193 (eff. 0.002)
656.48/656.63	c #Conflicts:      57000 | #Learnt:       7283 | 0.001
656.48/656.63	c total clause space: 335.816MB
656.48/656.63	c total #watches: 5009990
673.48/673.63	c total #propagations: 10554456 / total #impl: 5214078698 (eff. 0.002)
673.48/673.63	c #Conflicts:      58000 | #Learnt:       8283 | 0.001
673.48/673.63	c total clause space: 335.816MB
673.48/673.63	c total #watches: 5480668
688.88/689.01	c total #propagations: 10783436 / total #impl: 5271534701 (eff. 0.002)
688.88/689.01	c #Conflicts:      59000 | #Learnt:       9283 | 0.001
688.88/689.01	c total clause space: 335.816MB
688.88/689.01	c total #watches: 6063042
706.67/706.82	c total #propagations: 10983090 / total #impl: 5318491002 (eff. 0.002)
706.67/706.82	c #Conflicts:      60000 | #Learnt:      10283 | 0.001
706.67/706.82	c total clause space: 335.816MB
706.67/706.82	c total #watches: 6613104
727.68/727.86	c total #propagations: 11140394 / total #impl: 5358379648 (eff. 0.002)
727.68/727.86	c #Conflicts:      61000 | #Learnt:      11283 | 0.001
727.68/727.86	c total clause space: 335.816MB
727.68/727.86	c total #watches: 7217408
746.78/746.95	c total #propagations: 11309265 / total #impl: 5412864680 (eff. 0.002)
746.78/746.95	c GC COLLECT
746.78/746.95	c #Conflicts:      62000 | #Learnt:       6377 | 0.001
746.78/746.95	c total clause space: 335.816MB
746.78/746.95	c total #watches: 4455126
759.97/760.11	c total #propagations: 11511496 / total #impl: 5475640928 (eff. 0.002)
759.97/760.11	c #Conflicts:      63000 | #Learnt:       7377 | 0.001
759.97/760.11	c total clause space: 335.816MB
759.97/760.11	c total #watches: 5080074
775.17/775.36	c total #propagations: 11583036 / total #impl: 5517813390 (eff. 0.002)
775.17/775.36	c #Conflicts:      64000 | #Learnt:       8377 | 0.001
775.17/775.36	c total clause space: 335.816MB
775.17/775.36	c total #watches: 5716548
793.07/793.24	c total #propagations: 11694419 / total #impl: 5590263726 (eff. 0.002)
793.07/793.24	c #Conflicts:      65000 | #Learnt:       9377 | 0.001
793.07/793.24	c total clause space: 335.816MB
793.07/793.24	c total #watches: 6169834
809.96/810.18	c total #propagations: 11887142 / total #impl: 5686572457 (eff. 0.002)
809.96/810.18	c #Conflicts:      66000 | #Learnt:      10377 | 0.001
809.96/810.18	c total clause space: 335.816MB
809.96/810.18	c total #watches: 6864330
841.56/841.79	c total #propagations: 12036093 / total #impl: 5720567529 (eff. 0.002)
841.56/841.79	c #Conflicts:      67000 | #Learnt:      11377 | 0.001
841.56/841.79	c total clause space: 335.816MB
841.56/841.79	c total #watches: 7269152
876.66/876.83	c total #propagations: 12252737 / total #impl: 5829321347 (eff. 0.002)
876.66/876.83	c #Conflicts:      68000 | #Learnt:      12377 | 0.001
876.66/876.83	c total clause space: 335.816MB
876.66/876.83	c total #watches: 7770518
895.36/895.59	c total #propagations: 12453476 / total #impl: 5974979199 (eff. 0.002)
895.36/895.59	c GC COLLECT
895.36/895.59	c #Conflicts:      69000 | #Learnt:       7175 | 0.001
895.36/895.59	c total clause space: 335.816MB
895.36/895.59	c total #watches: 4905236
912.45/912.63	c total #propagations: 12626052 / total #impl: 6025805874 (eff. 0.002)
912.45/912.63	c #Conflicts:      70000 | #Learnt:       8175 | 0.001
912.45/912.63	c total clause space: 335.816MB
912.45/912.63	c total #watches: 5293117
937.84/938.09	c total #propagations: 12907581 / total #impl: 6085443423 (eff. 0.002)
937.84/938.09	c #Conflicts:      71000 | #Learnt:       9175 | 0.001
937.84/938.09	c total clause space: 335.816MB
937.84/938.09	c total #watches: 5662353
966.14/966.39	c total #propagations: 13238491 / total #impl: 6330591386 (eff. 0.002)
966.14/966.39	c #Conflicts:      72000 | #Learnt:      10175 | 0.001
966.14/966.39	c total clause space: 335.816MB
966.14/966.39	c total #watches: 6197114
990.14/990.36	c total #propagations: 13394721 / total #impl: 6554477347 (eff. 0.002)
990.14/990.36	c #Conflicts:      73000 | #Learnt:      11175 | 0.001
990.14/990.36	c total clause space: 335.816MB
990.14/990.36	c total #watches: 6668652
1010.33/1010.54	c total #propagations: 13537378 / total #impl: 6654021746 (eff. 0.002)
1010.33/1010.54	c #Conflicts:      74000 | #Learnt:      12175 | 0.001
1010.33/1010.54	c total clause space: 335.816MB
1010.33/1010.54	c total #watches: 7228149
1030.93/1031.11	c total #propagations: 13703527 / total #impl: 6744779359 (eff. 0.002)
1030.93/1031.11	c GC COLLECT
1030.93/1031.11	c #Conflicts:      75000 | #Learnt:       6676 | 0.001
1030.93/1031.11	c total clause space: 335.816MB
1030.93/1031.11	c total #watches: 4691180
1043.33/1043.51	c total #propagations: 13899647 / total #impl: 6820840670 (eff. 0.002)
1043.33/1043.51	c #Conflicts:      76000 | #Learnt:       7676 | 0.001
1043.33/1043.51	c total clause space: 335.816MB
1043.33/1043.51	c total #watches: 5355482
1057.53/1057.75	c total #propagations: 13997954 / total #impl: 6859626099 (eff. 0.002)
1057.53/1057.75	c #Conflicts:      77000 | #Learnt:       8676 | 0.001
1057.53/1057.75	c total clause space: 335.816MB
1057.53/1057.75	c total #watches: 5938580
1072.72/1072.92	c total #propagations: 14144061 / total #impl: 6918872229 (eff. 0.002)
1072.72/1072.92	c #Conflicts:      78000 | #Learnt:       9676 | 0.001
1072.72/1072.92	c total clause space: 335.816MB
1072.72/1072.92	c total #watches: 6561835
1093.23/1093.43	c total #propagations: 14289292 / total #impl: 6987419099 (eff. 0.002)
1093.23/1093.43	c #Conflicts:      79000 | #Learnt:      10676 | 0.001
1093.23/1093.43	c total clause space: 335.816MB
1093.23/1093.43	c total #watches: 7167654
1111.92/1112.17	c total #propagations: 14410498 / total #impl: 7089165894 (eff. 0.002)
1111.92/1112.17	c #Conflicts:      80000 | #Learnt:      11676 | 0.001
1111.92/1112.17	c total clause space: 335.816MB
1111.92/1112.17	c total #watches: 7804120
1145.51/1145.77	c total #propagations: 14614341 / total #impl: 7180702913 (eff. 0.002)
1145.51/1145.77	c #Conflicts:      81000 | #Learnt:      12676 | 0.001
1145.51/1145.77	c total clause space: 335.816MB
1145.51/1145.77	c total #watches: 8527989
1187.01/1187.27	c total #propagations: 14693416 / total #impl: 7400268386 (eff. 0.002)
1187.01/1187.27	c GC COLLECT
1187.01/1187.27	c #Conflicts:      82000 | #Learnt:       6876 | 0.001
1187.01/1187.27	c total clause space: 335.816MB
1187.01/1187.27	c total #watches: 4825270
1198.91/1199.17	c total #propagations: 14827420 / total #impl: 7798278097 (eff. 0.002)
1198.91/1199.17	c #Conflicts:      83000 | #Learnt:       7876 | 0.001
1198.91/1199.17	c total clause space: 335.816MB
1198.91/1199.17	c total #watches: 5427800
1214.31/1214.56	c total #propagations: 14886559 / total #impl: 7841271284 (eff. 0.002)
1214.31/1214.56	c #Conflicts:      84000 | #Learnt:       8875 | 0.001
1214.31/1214.56	c total clause space: 335.816MB
1214.31/1214.56	c total #watches: 5944118
1228.51/1228.75	c total #propagations: 14985334 / total #impl: 7925380661 (eff. 0.002)
1228.51/1228.75	c #Conflicts:      85000 | #Learnt:       9875 | 0.001
1228.51/1228.75	c total clause space: 335.816MB
1228.51/1228.75	c total #watches: 6572030
1246.00/1246.26	c total #propagations: 15040890 / total #impl: 7982061616 (eff. 0.002)
1246.00/1246.26	c #Conflicts:      86000 | #Learnt:      10875 | 0.001
1246.00/1246.26	c total clause space: 335.816MB
1246.00/1246.26	c total #watches: 7204308
1273.19/1273.41	c total #propagations: 15100725 / total #impl: 8063013304 (eff. 0.002)
1273.19/1273.41	c #Conflicts:      87000 | #Learnt:      11875 | 0.001
1273.19/1273.41	c total clause space: 335.816MB
1273.19/1273.41	c total #watches: 7761093
1304.69/1304.91	c total #propagations: 15177455 / total #impl: 8221223427 (eff. 0.002)
1304.69/1304.91	c #Conflicts:      88000 | #Learnt:      12875 | 0.001
1304.69/1304.91	c total clause space: 335.816MB
1304.69/1304.91	c total #watches: 8307818
1332.28/1332.55	c total #propagations: 15260539 / total #impl: 8374456490 (eff. 0.002)
1332.28/1332.55	c #Conflicts:      89000 | #Learnt:      13875 | 0.001
1332.28/1332.55	c total clause space: 335.816MB
1332.28/1332.55	c total #watches: 8762192
1351.88/1352.18	c total #propagations: 15343267 / total #impl: 8548761474 (eff. 0.002)
1351.88/1352.18	c GC COLLECT
1351.88/1352.18	c #Conflicts:      90000 | #Learnt:       7784 | 0.001
1351.88/1352.18	c total clause space: 335.816MB
1351.88/1352.18	c total #watches: 5328524
1364.58/1364.83	c total #propagations: 15415713 / total #impl: 8632924135 (eff. 0.002)
1364.58/1364.83	c #Conflicts:      91000 | #Learnt:       8784 | 0.001
1364.58/1364.83	c total clause space: 335.816MB
1364.58/1364.83	c total #watches: 5863722
1378.98/1379.23	c total #propagations: 15514527 / total #impl: 8662873934 (eff. 0.002)
1378.98/1379.23	c #Conflicts:      92000 | #Learnt:       9784 | 0.001
1378.98/1379.23	c total clause space: 335.816MB
1378.98/1379.23	c total #watches: 6369507
1395.27/1395.50	c total #propagations: 15693492 / total #impl: 8706528917 (eff. 0.002)
1395.27/1395.50	c #Conflicts:      93000 | #Learnt:      10784 | 0.001
1395.27/1395.50	c total clause space: 335.816MB
1395.27/1395.50	c total #watches: 7076578
1416.58/1416.89	c total #propagations: 15812810 / total #impl: 8756142273 (eff. 0.002)
1416.58/1416.89	c #Conflicts:      94000 | #Learnt:      11784 | 0.001
1416.58/1416.89	c total clause space: 335.816MB
1416.58/1416.89	c total #watches: 7774671
1440.27/1440.57	c total #propagations: 15897503 / total #impl: 8867799119 (eff. 0.002)
1440.27/1440.57	c #Conflicts:      95000 | #Learnt:      12784 | 0.001
1440.27/1440.57	c total clause space: 335.816MB
1440.27/1440.57	c total #watches: 8320295
1466.66/1466.99	c total #propagations: 16060359 / total #impl: 9007101196 (eff. 0.002)
1466.66/1466.99	c #Conflicts:      96000 | #Learnt:      13784 | 0.001
1466.66/1466.99	c total clause space: 335.816MB
1466.66/1466.99	c total #watches: 8895859
1487.56/1487.82	c total #propagations: 16149841 / total #impl: 9125200785 (eff. 0.002)
1487.56/1487.82	c #Conflicts:      97000 | #Learnt:      14783 | 0.001
1487.56/1487.82	c total clause space: 335.816MB
1487.56/1487.82	c total #watches: 9340998
1499.66/1499.97	c total #propagations: 16272068 / total #impl: 9200220401 (eff. 0.002)
1499.66/1499.97	c GC COLLECT
1499.66/1499.97	c #Conflicts:      98000 | #Learnt:       8379 | 0.001
1499.66/1499.97	c total clause space: 335.816MB
1499.66/1499.97	c total #watches: 5657548
1527.26/1527.54	c total #propagations: 16341860 / total #impl: 9245346110 (eff. 0.002)
1527.26/1527.54	c #Conflicts:      99000 | #Learnt:       9379 | 0.001
1527.26/1527.54	c total clause space: 335.816MB
1527.26/1527.54	c total #watches: 6127564
1544.05/1544.37	c total #propagations: 16439602 / total #impl: 9419867432 (eff. 0.002)
1544.05/1544.37	c #Conflicts:     100000 | #Learnt:      10379 | 0.001
1544.05/1544.37	c total clause space: 335.816MB
1544.05/1544.37	c total #watches: 6782039
1562.45/1562.78	c total #propagations: 16515429 / total #impl: 9489043890 (eff. 0.002)
1562.45/1562.78	c #Conflicts:     101000 | #Learnt:      11379 | 0.001
1562.45/1562.78	c total clause space: 335.816MB
1562.45/1562.78	c total #watches: 7301171
1586.05/1586.37	c total #propagations: 16641282 / total #impl: 9603111026 (eff. 0.002)
1586.05/1586.37	c #Conflicts:     102000 | #Learnt:      12379 | 0.001
1586.05/1586.37	c total clause space: 335.816MB
1586.05/1586.37	c total #watches: 7645793
1613.74/1614.01	c total #propagations: 16727915 / total #impl: 9727227574 (eff. 0.002)
1613.74/1614.01	c #Conflicts:     103000 | #Learnt:      13379 | 0.001
1613.74/1614.01	c total clause space: 335.816MB
1613.74/1614.01	c total #watches: 8062959
1654.04/1654.34	c total #propagations: 16814287 / total #impl: 9916394195 (eff. 0.002)
1654.04/1654.34	c #Conflicts:     104000 | #Learnt:      14379 | 0.001
1654.04/1654.34	c total clause space: 335.816MB
1654.04/1654.34	c total #watches: 8455208
1680.23/1680.54	c total #propagations: 17250494 / total #impl: 10091252310 (eff. 0.002)
1680.23/1680.54	c #Conflicts:     105000 | #Learnt:      15379 | 0.001
1680.23/1680.54	c total clause space: 335.816MB
1680.23/1680.54	c total #watches: 9025411
1694.94/1695.29	c total #propagations: 17391934 / total #impl: 10160701705 (eff. 0.002)
1694.94/1695.29	c GC COLLECT
1694.94/1695.29	c #Conflicts:     106000 | #Learnt:       8681 | 0.001
1694.94/1695.29	c total clause space: 335.816MB
1694.94/1695.29	c total #watches: 5692445
1709.03/1709.36	c total #propagations: 17611047 / total #impl: 10201404981 (eff. 0.002)
1709.03/1709.36	c #Conflicts:     107000 | #Learnt:       9681 | 0.001
1709.03/1709.36	c total clause space: 335.816MB
1709.03/1709.36	c total #watches: 6138215
1726.42/1726.76	c total #propagations: 17822339 / total #impl: 10254008801 (eff. 0.002)
1726.42/1726.76	c #Conflicts:     108000 | #Learnt:      10681 | 0.001
1726.42/1726.76	c total clause space: 335.816MB
1726.42/1726.76	c total #watches: 6477146
1743.23/1743.54	c total #propagations: 18000146 / total #impl: 10324238310 (eff. 0.002)
1743.23/1743.54	c #Conflicts:     109000 | #Learnt:      11681 | 0.001
1743.23/1743.54	c total clause space: 335.816MB
1743.23/1743.54	c total #watches: 6987585
1759.42/1759.78	c total #propagations: 18134775 / total #impl: 10406972628 (eff. 0.002)
1759.42/1759.78	c #Conflicts:     110000 | #Learnt:      12680 | 0.001
1759.42/1759.78	c total clause space: 335.816MB
1759.42/1759.78	c total #watches: 7126629
1778.22/1778.53	c total #propagations: 18287219 / total #impl: 10467200849 (eff. 0.002)
1778.22/1778.53	c #Conflicts:     111000 | #Learnt:      13680 | 0.001
1778.22/1778.53	c total clause space: 335.816MB
1778.22/1778.53	c total #watches: 7401072
1799.61/1799.90	c total #propagations: 18359533 / total #impl: 10548278888 (eff. 0.002)
1799.61/1799.90	c #Conflicts:     112000 | #Learnt:      14680 | 0.001
1799.61/1799.90	c total clause space: 335.816MB
1799.61/1799.90	c total #watches: 7697119

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-4088302-1465432458/watcher-4088302-1465432458 -o /tmp/evaluation-result-4088302-1465432458/solver-4088302-1465432458 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1465427036-7741 --watchdog 1960 --input HOME/instance-4088302-1465432458.opb ./cdcl-cuttingplanes-opt-linearsearch-release 

pid=8475
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.37 2.32 2.28 3/176 8478
/proc/meminfo: memFree=28776000/32872528 swapFree=16360/1798728
[pid=8478] ppid=8475 vsize=29112 CPUtime=0 cores=1,3,5,7
/proc/8478/stat : 8478 (cdcl-cuttingpla) R 8475 8478 7724 0 -1 4202496 276 0 0 0 0 0 0 0 20 0 1 0 125178952 29810688 5268 33554432000 4194304 6201397 140733225301952 140737393181848 5194158 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8478/statm: 7278 5268 130 491 0 6777 0

[startup+0.100247 s]
/proc/loadavg: 2.37 2.32 2.28 3/176 8478
/proc/meminfo: memFree=28776000/32872528 swapFree=16360/1798728
[pid=8478] ppid=8475 vsize=34880 CPUtime=0.09 cores=1,3,5,7
/proc/8478/stat : 8478 (cdcl-cuttingpla) R 8475 8478 7724 0 -1 4202496 1262 0 0 0 9 0 0 0 20 0 1 0 125178952 35717120 7519 33554432000 4194304 6201397 140733225301952 140737393181848 4213110 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8478/statm: 8720 7519 145 491 0 8219 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34880

[startup+0.200327 s]
/proc/loadavg: 2.37 2.32 2.28 3/176 8478
/proc/meminfo: memFree=28776000/32872528 swapFree=16360/1798728
[pid=8478] ppid=8475 vsize=38392 CPUtime=0.19 cores=1,3,5,7
/proc/8478/stat : 8478 (cdcl-cuttingpla) R 8475 8478 7724 0 -1 4202496 1720 0 0 0 19 0 0 0 20 0 1 0 125178952 39313408 7913 33554432000 4194304 6201397 140733225301952 140733225300984 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8478/statm: 9598 7913 146 491 0 9097 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 38392

[startup+0.300289 s]
/proc/loadavg: 2.37 2.32 2.28 3/176 8478
/proc/meminfo: memFree=28776000/32872528 swapFree=16360/1798728
[pid=8478] ppid=8475 vsize=42812 CPUtime=0.29 cores=1,3,5,7
/proc/8478/stat : 8478 (cdcl-cuttingpla) R 8475 8478 7724 0 -1 4202496 1987 0 0 0 29 0 0 0 20 0 1 0 125178952 43839488 8115 33554432000 4194304 6201397 140733225301952 140733225300984 4215537 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8478/statm: 10703 8115 146 491 0 10202 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 42812

[startup+0.700213 s]
/proc/loadavg: 2.37 2.32 2.28 3/176 8478
/proc/meminfo: memFree=28776000/32872528 swapFree=16360/1798728
[pid=8478] ppid=8475 vsize=51764 CPUtime=0.69 cores=1,3,5,7
/proc/8478/stat : 8478 (cdcl-cuttingpla) R 8475 8478 7724 0 -1 4202496 2674 0 0 0 69 0 0 0 20 0 1 0 125178952 53006336 10276 33554432000 4194304 6201397 140733225301952 140733225300984 4222237 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8478/statm: 12941 10276 146 491 0 12440 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 51764

[startup+1.5003 s]
/proc/loadavg: 2.42 2.34 2.28 4/177 8479
/proc/meminfo: memFree=28730008/32872528 swapFree=16360/1798728
[pid=8478] ppid=8475 vsize=66824 CPUtime=1.49 cores=1,3,5,7
/proc/8478/stat : 8478 (cdcl-cuttingpla) R 8475 8478 7724 0 -1 4202496 3788 0 0 0 148 1 0 0 20 0 1 0 125178952 68427776 13368 33554432000 4194304 6201397 140733225301952 140733225300984 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8478/statm: 16706 13368 159 491 0 16205 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 66824

[startup+3.10035 s]
/proc/loadavg: 2.42 2.34 2.28 4/177 8479
/proc/meminfo: memFree=28711760/32872528 swapFree=16360/1798728
[pid=8478] ppid=8475 vsize=92260 CPUtime=3.09 cores=1,3,5,7
/proc/8478/stat : 8478 (cdcl-cuttingpla) R 8475 8478 7724 0 -1 4202496 7880 0 0 0 307 2 0 0 20 0 1 0 125178952 94474240 18518 33554432000 4194304 6201397 140733225301952 140733225300584 4213253 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8478/statm: 23065 18518 159 491 0 22564 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 92260

[startup+6.30034 s]
/proc/loadavg: 2.42 2.34 2.28 3/177 8479
/proc/meminfo: memFree=28693284/32872528 swapFree=16360/1798728
[pid=8478] ppid=8475 vsize=92388 CPUtime=6.29 cores=1,3,5,7
/proc/8478/stat : 8478 (cdcl-cuttingpla) R 8475 8478 7724 0 -1 4202496 8062 0 0 0 627 2 0 0 20 0 1 0 125178952 94605312 21253 33554432000 4194304 6201397 140733225301952 140733225301080 4213268 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8478/statm: 23097 21253 165 491 0 22596 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 92388

[startup+12.7003 s]
/proc/loadavg: 2.36 2.32 2.28 3/177 8479
/proc/meminfo: memFree=28680372/32872528 swapFree=16360/1798728
[pid=8478] ppid=8475 vsize=123520 CPUtime=12.69 cores=1,3,5,7
/proc/8478/stat : 8478 (cdcl-cuttingpla) R 8475 8478 7724 0 -1 4202496 9021 0 0 0 1267 2 0 0 20 0 1 0 125178952 126484480 23892 33554432000 4194304 6201397 140733225301952 140733225300584 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8478/statm: 30880 23892 165 491 0 30379 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 123520

[startup+25.5004 s]
/proc/loadavg: 2.30 2.31 2.27 3/177 8525
/proc/meminfo: memFree=29033524/32872528 swapFree=16360/1798728
[pid=8478] ppid=8475 vsize=136296 CPUtime=25.49 cores=1,3,5,7
/proc/8478/stat : 8478 (cdcl-cuttingpla) R 8475 8478 7724 0 -1 4202496 11987 0 0 0 2546 3 0 0 20 0 1 0 125178952 139567104 30932 33554432000 4194304 6201397 140733225301952 140733225301080 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8478/statm: 34074 30932 165 491 0 33573 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 136296

[startup+51.1004 s]
/proc/loadavg: 2.40 2.33 2.28 3/177 8525
/proc/meminfo: memFree=28247580/32872528 swapFree=16360/1798728
[pid=8478] ppid=8475 vsize=186672 CPUtime=51.08 cores=1,3,5,7
/proc/8478/stat : 8478 (cdcl-cuttingpla) R 8475 8478 7724 0 -1 4202496 13020 0 0 0 5105 3 0 0 20 0 1 0 125178952 191152128 34690 33554432000 4194304 6201397 140733225301952 140733225301080 4213387 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8478/statm: 46668 34690 165 491 0 46167 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 186672

[startup+102.3 s]
/proc/loadavg: 2.41 2.34 2.28 3/177 8526
/proc/meminfo: memFree=28030928/32872528 swapFree=16360/1798728
[pid=8478] ppid=8475 vsize=212144 CPUtime=102.27 cores=1,3,5,7
/proc/8478/stat : 8478 (cdcl-cuttingpla) R 8475 8478 7724 0 -1 4202496 17722 0 0 0 10223 4 0 0 20 0 1 0 125178952 217235456 48554 33554432000 4194304 6201397 140733225301952 140733225301080 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8478/statm: 53036 48554 165 491 0 52535 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 212144

[startup+162.3 s]
/proc/loadavg: 2.37 2.34 2.28 3/177 8527
/proc/meminfo: memFree=27815828/32872528 swapFree=16360/1798728
[pid=8478] ppid=8475 vsize=294332 CPUtime=162.26 cores=1,3,5,7
/proc/8478/stat : 8478 (cdcl-cuttingpla) R 8475 8478 7724 0 -1 4202496 19302 0 0 0 16221 5 0 0 20 0 1 0 125178952 301395968 55882 33554432000 4194304 6201397 140733225301952 140733225301080 4213253 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8478/statm: 73583 55882 165 491 0 73082 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 294332

[startup+222.308 s]
/proc/loadavg: 2.22 2.30 2.27 3/177 8528
/proc/meminfo: memFree=27720964/32872528 swapFree=16360/1798728
[pid=8478] ppid=8475 vsize=294524 CPUtime=222.25 cores=1,3,5,7
/proc/8478/stat : 8478 (cdcl-cuttingpla) R 8475 8478 7724 0 -1 4202496 19559 0 0 0 22220 5 0 0 20 0 1 0 125178952 301592576 57672 33554432000 4194304 6201397 140733225301952 140733225300664 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8478/statm: 73631 57672 165 491 0 73130 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 294524

[startup+282.3 s]
/proc/loadavg: 2.30 2.30 2.27 3/177 8530
/proc/meminfo: memFree=27720320/32872528 swapFree=16360/1798728
[pid=8478] ppid=8475 vsize=294716 CPUtime=282.25 cores=1,3,5,7
/proc/8478/stat : 8478 (cdcl-cuttingpla) R 8475 8478 7724 0 -1 4202496 19628 0 0 0 28219 6 0 0 20 0 1 0 125178952 301789184 57741 33554432000 4194304 6201397 140733225301952 140733225301080 4213253 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8478/statm: 73679 57741 165 491 0 73178 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 294716

[startup+342.3 s]
/proc/loadavg: 2.20 2.28 2.26 3/177 8531
/proc/meminfo: memFree=27706420/32872528 swapFree=16360/1798728
[pid=8478] ppid=8475 vsize=295196 CPUtime=342.23 cores=1,3,5,7
/proc/8478/stat : 8478 (cdcl-cuttingpla) R 8475 8478 7724 0 -1 4202496 19959 0 0 0 34217 6 0 0 20 0 1 0 125178952 302280704 61138 33554432000 4194304 6201397 140733225301952 140733225301080 4213249 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8478/statm: 73799 61138 165 491 0 73298 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 295196

[startup+402.3 s]
/proc/loadavg: 2.16 2.25 2.26 4/178 8535
/proc/meminfo: memFree=27665736/32872528 swapFree=16360/1798728
[pid=8478] ppid=8475 vsize=295740 CPUtime=402.22 cores=1,3,5,7
/proc/8478/stat : 8478 (cdcl-cuttingpla) R 8475 8478 7724 0 -1 4202496 20908 0 0 0 40215 7 0 0 20 0 1 0 125178952 302837760 68219 33554432000 4194304 6201397 140733225301952 140733225301080 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8478/statm: 73935 68219 165 491 0 73434 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 295740

[startup+462.3 s]
/proc/loadavg: 2.27 2.26 2.26 3/177 8536
/proc/meminfo: memFree=27632448/32872528 swapFree=16360/1798728
[pid=8478] ppid=8475 vsize=295900 CPUtime=462.21 cores=1,3,5,7
/proc/8478/stat : 8478 (cdcl-cuttingpla) R 8475 8478 7724 0 -1 4202496 21124 0 0 0 46214 7 0 0 20 0 1 0 125178952 303001600 72012 33554432000 4194304 6201397 140733225301952 140733225300616 4213778 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8478/statm: 73975 72012 165 491 0 73474 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 295900

[startup+522.3 s]
/proc/loadavg: 2.19 2.24 2.25 3/177 8537
/proc/meminfo: memFree=27576188/32872528 swapFree=16360/1798728
[pid=8478] ppid=8475 vsize=478092 CPUtime=522.2 cores=1,3,5,7
/proc/8478/stat : 8478 (cdcl-cuttingpla) R 8475 8478 7724 0 -1 4202496 28737 0 0 0 52211 9 0 0 20 0 1 0 125178952 489566208 85706 33554432000 4194304 6201397 140733225301952 140733225301080 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8478/statm: 119523 85706 165 491 0 119022 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 478092

[startup+582.3 s]
/proc/loadavg: 2.16 2.23 2.25 3/177 8539
/proc/meminfo: memFree=27575788/32872528 swapFree=16360/1798728
[pid=8478] ppid=8475 vsize=478092 CPUtime=582.19 cores=1,3,5,7
/proc/8478/stat : 8478 (cdcl-cuttingpla) R 8475 8478 7724 0 -1 4202496 28929 0 0 0 58210 9 0 0 20 0 1 0 125178952 489566208 85854 33554432000 4194304 6201397 140733225301952 140733225301080 4213048 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8478/statm: 119523 85854 165 491 0 119022 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 478092


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


[startup+942.3 s]
/proc/loadavg: 2.16 2.21 2.23 3/177 8546
/proc/meminfo: memFree=27537512/32872528 swapFree=16360/1798728
[pid=8478] ppid=8475 vsize=479052 CPUtime=942.14 cores=1,3,5,7
/proc/8478/stat : 8478 (cdcl-cuttingpla) R 8475 8478 7724 0 -1 4202496 30207 0 0 0 94203 11 0 0 20 0 1 0 125178952 490549248 95260 33554432000 4194304 6201397 140733225301952 140733225301080 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8478/statm: 119763 95260 165 491 0 119262 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 479052

[startup+1002.3 s]
/proc/loadavg: 2.22 2.22 2.23 3/178 8550
/proc/meminfo: memFree=27537392/32872528 swapFree=16360/1798728
[pid=8478] ppid=8475 vsize=479052 CPUtime=1002.13 cores=1,3,5,7
/proc/8478/stat : 8478 (cdcl-cuttingpla) R 8475 8478 7724 0 -1 4202496 30270 0 0 0 100202 11 0 0 20 0 1 0 125178952 490549248 95317 33554432000 4194304 6201397 140733225301952 140733225301080 4213253 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8478/statm: 119763 95317 165 491 0 119262 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 479052

[startup+1062.3 s]
/proc/loadavg: 2.16 2.20 2.22 4/177 8551
/proc/meminfo: memFree=27520688/32872528 swapFree=16360/1798728
[pid=8478] ppid=8475 vsize=479436 CPUtime=1062.13 cores=1,3,5,7
/proc/8478/stat : 8478 (cdcl-cuttingpla) R 8475 8478 7724 0 -1 4202496 30326 0 0 0 106202 11 0 0 20 0 1 0 125178952 490942464 95373 33554432000 4194304 6201397 140733225301952 140733225301080 4213268 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8478/statm: 119859 95373 165 491 0 119358 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 479436

[startup+1122.3 s]
/proc/loadavg: 2.20 2.21 2.22 3/177 8552
/proc/meminfo: memFree=27509208/32872528 swapFree=16360/1798728
[pid=8478] ppid=8475 vsize=480012 CPUtime=1122.11 cores=1,3,5,7
/proc/8478/stat : 8478 (cdcl-cuttingpla) R 8475 8478 7724 0 -1 4202496 30696 0 0 0 112200 11 0 0 20 0 1 0 125178952 491532288 98295 33554432000 4194304 6201397 140733225301952 140733225300664 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8478/statm: 120003 98295 165 491 0 119502 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 480012

[startup+1182.3 s]
/proc/loadavg: 2.21 2.21 2.22 3/177 8554
/proc/meminfo: memFree=27445724/32872528 swapFree=16360/1798728
[pid=8478] ppid=8475 vsize=480588 CPUtime=1182.11 cores=1,3,5,7
/proc/8478/stat : 8478 (cdcl-cuttingpla) R 8475 8478 7724 0 -1 4202496 31700 0 0 0 118199 12 0 0 20 0 1 0 125178952 492122112 106964 33554432000 4194304 6201397 140733225301952 140733225300664 4213253 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8478/statm: 120147 106964 165 491 0 119646 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 480588

[startup+1242.3 s]
/proc/loadavg: 2.22 2.21 2.22 3/177 8555
/proc/meminfo: memFree=27403640/32872528 swapFree=16360/1798728
[pid=8478] ppid=8475 vsize=480588 CPUtime=1242.1 cores=1,3,5,7
/proc/8478/stat : 8478 (cdcl-cuttingpla) R 8475 8478 7724 0 -1 4202496 31754 0 0 0 124198 12 0 0 20 0 1 0 125178952 492122112 107528 33554432000 4194304 6201397 140733225301952 140733225301080 4213192 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8478/statm: 120147 107528 165 491 0 119646 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 480588

[startup+1302.3 s]
/proc/loadavg: 2.20 2.22 2.21 3/177 8556
/proc/meminfo: memFree=27363220/32872528 swapFree=16360/1798728
[pid=8478] ppid=8475 vsize=480780 CPUtime=1302.09 cores=1,3,5,7
/proc/8478/stat : 8478 (cdcl-cuttingpla) R 8475 8478 7724 0 -1 4202496 31765 0 0 0 130197 12 0 0 20 0 1 0 125178952 492318720 107539 33554432000 4194304 6201397 140733225301952 140733225300616 4213268 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8478/statm: 120195 107539 165 491 0 119694 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 480780

[startup+1362.3 s]
/proc/loadavg: 2.28 2.23 2.22 3/177 8557
/proc/meminfo: memFree=27359172/32872528 swapFree=16360/1798728
[pid=8478] ppid=8475 vsize=480972 CPUtime=1362.08 cores=1,3,5,7
/proc/8478/stat : 8478 (cdcl-cuttingpla) R 8475 8478 7724 0 -1 4202496 31809 0 0 0 136196 12 0 0 20 0 1 0 125178952 492515328 107583 33554432000 4194304 6201397 140733225301952 140733225301080 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8478/statm: 120243 107583 165 491 0 119742 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 480972

[startup+1422.3 s]
/proc/loadavg: 2.16 2.20 2.21 3/177 8558
/proc/meminfo: memFree=27266260/32872528 swapFree=16360/1798728
[pid=8478] ppid=8475 vsize=480972 CPUtime=1422.08 cores=1,3,5,7
/proc/8478/stat : 8478 (cdcl-cuttingpla) R 8475 8478 7724 0 -1 4202496 31827 0 0 0 142196 12 0 0 20 0 1 0 125178952 492515328 107598 33554432000 4194304 6201397 140733225301952 140733225301080 4213244 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8478/statm: 120243 107598 165 491 0 119742 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 480972

[startup+1482.3 s]
/proc/loadavg: 2.14 2.19 2.20 3/177 8560
/proc/meminfo: memFree=27259384/32872528 swapFree=16360/1798728
[pid=8478] ppid=8475 vsize=481548 CPUtime=1482.06 cores=1,3,5,7
/proc/8478/stat : 8478 (cdcl-cuttingpla) R 8475 8478 7724 0 -1 4202496 32117 0 0 0 148194 12 0 0 20 0 1 0 125178952 493105152 109421 33554432000 4194304 6201397 140733225301952 140733225300664 4213253 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8478/statm: 120387 109421 165 491 0 119886 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 481548

[startup+1542.31 s]
/proc/loadavg: 2.33 2.23 2.21 3/177 8561
/proc/meminfo: memFree=27251880/32872528 swapFree=16360/1798728
[pid=8478] ppid=8475 vsize=481548 CPUtime=1542.06 cores=1,3,5,7
/proc/8478/stat : 8478 (cdcl-cuttingpla) R 8475 8478 7724 0 -1 4202496 32257 0 0 0 154193 13 0 0 20 0 1 0 125178952 493105152 111094 33554432000 4194304 6201397 140733225301952 140733225301080 4213253 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8478/statm: 120387 111094 165 491 0 119886 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 481548

[startup+1602.3 s]
/proc/loadavg: 2.30 2.25 2.21 3/178 8565
/proc/meminfo: memFree=27252024/32872528 swapFree=16360/1798728
[pid=8478] ppid=8475 vsize=481740 CPUtime=1602.04 cores=1,3,5,7
/proc/8478/stat : 8478 (cdcl-cuttingpla) R 8475 8478 7724 0 -1 4202496 32278 0 0 0 160191 13 0 0 20 0 1 0 125178952 493301760 111115 33554432000 4194304 6201397 140733225301952 140733225300616 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8478/statm: 120435 111115 165 491 0 119934 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 481740

[startup+1662.3 s]
/proc/loadavg: 2.24 2.24 2.21 3/179 8589
/proc/meminfo: memFree=27250760/32872528 swapFree=16360/1798728
[pid=8478] ppid=8475 vsize=481740 CPUtime=1662.04 cores=1,3,5,7
/proc/8478/stat : 8478 (cdcl-cuttingpla) R 8475 8478 7724 0 -1 4202496 32299 0 0 0 166191 13 0 0 20 0 1 0 125178952 493301760 111136 33554432000 4194304 6201397 140733225301952 140733225301080 4213257 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8478/statm: 120435 111136 165 491 0 119934 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 481740

[startup+1722.3 s]
/proc/loadavg: 2.23 2.24 2.21 3/178 8590
/proc/meminfo: memFree=27250648/32872528 swapFree=16360/1798728
[pid=8478] ppid=8475 vsize=481932 CPUtime=1722.03 cores=1,3,5,7
/proc/8478/stat : 8478 (cdcl-cuttingpla) R 8475 8478 7724 0 -1 4202496 32319 0 0 0 172190 13 0 0 20 0 1 0 125178952 493498368 111156 33554432000 4194304 6201397 140733225301952 140733225301080 4213257 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8478/statm: 120483 111156 165 491 0 119982 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 481932

[startup+1782.3 s]
/proc/loadavg: 2.25 2.24 2.21 3/178 8592
/proc/meminfo: memFree=27250644/32872528 swapFree=16360/1798728
[pid=8478] ppid=8475 vsize=481932 CPUtime=1782.02 cores=1,3,5,7
/proc/8478/stat : 8478 (cdcl-cuttingpla) R 8475 8478 7724 0 -1 4202496 32331 0 0 0 178189 13 0 0 20 0 1 0 125178952 493498368 111168 33554432000 4194304 6201397 140733225301952 140733225301080 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8478/statm: 120483 111168 165 491 0 119982 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 481932



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.28 2.24 2.21 3/178 8592
/proc/meminfo: memFree=27250648/32872528 swapFree=16360/1798728
[pid=8478] ppid=8475 vsize=481932 CPUtime=1800.01 cores=1,3,5,7
/proc/8478/stat : 8478 (cdcl-cuttingpla) R 8475 8478 7724 0 -1 4202496 32344 0 0 0 179988 13 0 0 20 0 1 0 125178952 493498368 111181 33554432000 4194304 6201397 140733225301952 140733225301080 4213268 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8478/statm: 120483 111181 165 491 0 119982 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 481932

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

[startup+1800.3 s]
/proc/loadavg: 2.28 2.24 2.21 3/178 8592
/proc/meminfo: memFree=27250648/32872528 swapFree=16360/1798728
[pid=8478] ppid=8475 vsize=481932 CPUtime=1800.01 cores=1,3,5,7
/proc/8478/stat : 8478 (cdcl-cuttingpla) R 8475 8478 7724 0 -1 4202496 32344 0 0 0 179988 13 0 0 20 0 1 0 125178952 493498368 111181 33554432000 4194304 6201397 140733225301952 140733225301080 4213268 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8478/statm: 120483 111181 165 491 0 119982 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 481932

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.03
CPU user time (s): 1799.89
CPU system time (s): 0.139978
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 481932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.89
system time used= 0.139978
maximum resident set size= 444724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32344
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= 1878

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.44032 second user time and 7.02193 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-09 02:34:18
IDJOB=4088302
IDBENCH=25007
IDSOLVER=2550
FILE ID=node123/4088302-1465432458
RUNJOBID= node123-1465427036-7741
PBS_JOBID= 19859787
Free space on /tmp= 71632 MiB

SOLVER NAME= cdcl-cuttingplanes OPT linear search 2016-05-01
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir05_area_delay.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088302-1465432458/watcher-4088302-1465432458 -o /tmp/evaluation-result-4088302-1465432458/solver-4088302-1465432458 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1465427036-7741 --watchdog 1960 --input HOME/instance-4088302-1465432458.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= b0c7ff7d1fa11c8e15b9d528879223a9
RANDOM SEED=1029424728

node123.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		: 2667.117
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	: 5334.23
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		: 2667.117
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		: 2667.117
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.56
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		: 2667.117
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		: 2667.117
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		: 2667.117
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.57
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		: 2667.117
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.55
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		: 2667.117
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:        28776644 kB
Buffers:          190684 kB
Cached:           814096 kB
SwapCached:         1756 kB
Active:           849772 kB
Inactive:         697852 kB
Active(anon):     542628 kB
Inactive(anon):     2668 kB
Active(file):     307144 kB
Inactive(file):   695184 kB
Unevictable:     1798728 kB
Mlocked:           16360 kB
SwapTotal:      67108856 kB
SwapFree:       67098836 kB
Dirty:              2736 kB
Writeback:             0 kB
AnonPages:       2341292 kB
Mapped:             7792 kB
Shmem:                 0 kB
Slab:             614948 kB
SReclaimable:      59028 kB
SUnreclaim:       555920 kB
KernelStack:        1432 kB
PageTables:         9000 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2641720 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2314240 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= 71624 MiB
End job on node123 at 2016-06-09 03:04:18