Trace number 4118491

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

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-sporttournament46.lin.opb
MD5SUM2512f6fa73aa9bc4f3cf5964117edffe
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-381
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3059
Total number of constraints4048
Number of constraints which are clauses2024
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2024
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 2664
Biggest coefficient in the objective function 2
Number of bits for the biggest coefficient in the objective function 2
Sum of the numbers in the objective function 2860
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2860
Number of bits of the biggest sum of numbers12
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= 3059 #constraint= 4048
2.69/2.70	c #Conflicts:       1000 | #Learnt:       1077 | 0.000
2.69/2.70	c total clause space: 78.2603MB
2.69/2.70	c total #watches: 332025
6.29/6.31	c total #propagations: 259443 / total #impl: 5910770 (eff. 0.044)
6.29/6.31	c #Conflicts:       2000 | #Learnt:       2079 | 0.000
6.29/6.31	c total clause space: 127.173MB
6.29/6.31	c total #watches: 391726
8.89/8.94	c total #propagations: 398492 / total #impl: 12175790 (eff. 0.033)
8.89/8.94	c GC COLLECT
8.89/8.94	c #Conflicts:       3000 | #Learnt:       2173 | 0.000
8.89/8.94	c total clause space: 127.173MB
8.89/8.94	c total #watches: 780995
12.10/12.14	c total #propagations: 606534 / total #impl: 16349093 (eff. 0.037)
12.10/12.14	c #Conflicts:       4000 | #Learnt:       3201 | 0.000
12.10/12.14	c total clause space: 206.656MB
12.10/12.14	c total #watches: 1448501
18.09/18.15	c total #propagations: 675628 / total #impl: 23010257 (eff. 0.029)
18.09/18.15	c GC COLLECT
18.09/18.15	c #Conflicts:       5000 | #Learnt:       2581 | 0.000
18.09/18.15	c total clause space: 206.656MB
18.09/18.15	c total #watches: 2079404
25.79/25.82	c total #propagations: 812473 / total #impl: 28269710 (eff. 0.029)
25.79/25.82	c #Conflicts:       6000 | #Learnt:       3593 | 0.000
25.79/25.82	c total clause space: 206.656MB
25.79/25.82	c total #watches: 2551788
33.59/33.62	c total #propagations: 1124405 / total #impl: 31551010 (eff. 0.036)
33.59/33.62	c GC COLLECT
33.59/33.62	c #Conflicts:       7000 | #Learnt:       2532 | 0.000
33.59/33.62	c total clause space: 335.816MB
33.59/33.62	c total #watches: 1509772
39.79/39.82	c total #propagations: 1547621 / total #impl: 34323394 (eff. 0.045)
39.79/39.82	c #Conflicts:       8000 | #Learnt:       3532 | 0.000
39.79/39.82	c total clause space: 335.816MB
39.79/39.82	c total #watches: 1591502
48.78/48.81	c total #propagations: 1998395 / total #impl: 38470351 (eff. 0.052)
48.78/48.81	c #Conflicts:       9000 | #Learnt:       4535 | 0.000
48.78/48.81	c total clause space: 335.816MB
48.78/48.81	c total #watches: 1703835
59.39/59.48	c total #propagations: 2144763 / total #impl: 45563951 (eff. 0.047)
59.39/59.48	c GC COLLECT
59.39/59.48	c #Conflicts:      10000 | #Learnt:       3068 | 0.000
59.39/59.48	c total clause space: 335.816MB
59.39/59.48	c total #watches: 661556
65.18/65.28	c total #propagations: 2441349 / total #impl: 53394681 (eff. 0.046)
65.18/65.28	c #Conflicts:      11000 | #Learnt:       4069 | 0.000
65.18/65.28	c total clause space: 335.816MB
65.18/65.28	c total #watches: 744594
74.18/74.22	c total #propagations: 2674318 / total #impl: 59501038 (eff. 0.045)
74.18/74.22	c #Conflicts:      12000 | #Learnt:       5082 | 0.000
74.18/74.22	c total clause space: 335.816MB
74.18/74.22	c total #watches: 978591
80.58/80.66	c total #propagations: 2926155 / total #impl: 63181769 (eff. 0.046)
80.58/80.66	c #Conflicts:      13000 | #Learnt:       6091 | 0.000
80.58/80.66	c total clause space: 335.816MB
80.58/80.66	c total #watches: 1141521
85.28/85.34	c total #propagations: 3091381 / total #impl: 66561941 (eff. 0.046)
85.28/85.34	c GC COLLECT
85.28/85.34	c #Conflicts:      14000 | #Learnt:       4251 | 0.000
85.28/85.34	c total clause space: 335.816MB
85.28/85.34	c total #watches: 920610
91.68/91.78	c total #propagations: 3600290 / total #impl: 69356540 (eff. 0.052)
91.68/91.78	c #Conflicts:      15000 | #Learnt:       5254 | 0.000
91.68/91.78	c total clause space: 335.816MB
91.68/91.78	c total #watches: 1027273
98.27/98.37	c total #propagations: 4008424 / total #impl: 72517898 (eff. 0.055)
98.27/98.37	c #Conflicts:      16000 | #Learnt:       6254 | 0.000
98.27/98.37	c total clause space: 335.816MB
98.27/98.37	c total #watches: 1114099
106.87/106.93	c total #propagations: 4498680 / total #impl: 75977226 (eff. 0.059)
106.87/106.93	c GC COLLECT
106.87/106.93	c #Conflicts:      17000 | #Learnt:       4106 | 0.000
106.87/106.93	c total clause space: 335.816MB
106.87/106.93	c total #watches: 774039
117.78/117.86	c total #propagations: 4715120 / total #impl: 80888259 (eff. 0.058)
117.78/117.86	c #Conflicts:      18000 | #Learnt:       5106 | 0.000
117.78/117.86	c total clause space: 335.816MB
117.78/117.86	c total #watches: 860845
127.47/127.53	c total #propagations: 4901197 / total #impl: 87052135 (eff. 0.056)
127.47/127.53	c #Conflicts:      19000 | #Learnt:       6106 | 0.000
127.47/127.53	c total clause space: 335.816MB
127.47/127.53	c total #watches: 948564
141.97/142.05	c total #propagations: 5012403 / total #impl: 90941588 (eff. 0.055)
141.97/142.05	c #Conflicts:      20000 | #Learnt:       7116 | 0.000
141.97/142.05	c total clause space: 335.816MB
141.97/142.05	c total #watches: 1073027
151.36/151.47	c total #propagations: 5261279 / total #impl: 94109429 (eff. 0.056)
151.36/151.47	c GC COLLECT
151.36/151.47	c #Conflicts:      21000 | #Learnt:       4642 | 0.000
151.36/151.47	c total clause space: 335.816MB
151.36/151.47	c total #watches: 840328
160.26/160.39	c total #propagations: 5788027 / total #impl: 97363643 (eff. 0.059)
160.26/160.39	c #Conflicts:      22000 | #Learnt:       5649 | 0.000
160.26/160.39	c total clause space: 335.816MB
160.26/160.39	c total #watches: 962955
168.86/168.99	c total #propagations: 6001687 / total #impl: 100196741 (eff. 0.060)
168.86/168.99	c #Conflicts:      23000 | #Learnt:       6660 | 0.000
168.86/168.99	c total clause space: 335.816MB
168.86/168.99	c total #watches: 1107303
177.97/178.08	c total #propagations: 6200744 / total #impl: 103176110 (eff. 0.060)
177.97/178.08	c #Conflicts:      24000 | #Learnt:       7667 | 0.000
177.97/178.08	c total clause space: 335.816MB
177.97/178.08	c total #watches: 1266436
184.36/184.41	c total #propagations: 6457158 / total #impl: 108964652 (eff. 0.059)
184.36/184.41	c GC COLLECT
184.36/184.41	c #Conflicts:      25000 | #Learnt:       4863 | 0.000
184.36/184.41	c total clause space: 335.816MB
184.36/184.41	c total #watches: 1072303
190.06/190.14	c total #propagations: 6568688 / total #impl: 115365864 (eff. 0.057)
190.06/190.14	c #Conflicts:      26000 | #Learnt:       5863 | 0.000
190.06/190.14	c total clause space: 335.816MB
190.06/190.14	c total #watches: 1167254
196.66/196.76	c total #propagations: 6828217 / total #impl: 120367672 (eff. 0.057)
196.66/196.76	c #Conflicts:      27000 | #Learnt:       6863 | 0.000
196.66/196.76	c total clause space: 335.816MB
196.66/196.76	c total #watches: 1270920
207.86/207.98	c total #propagations: 6953596 / total #impl: 126165892 (eff. 0.055)
207.86/207.98	c #Conflicts:      28000 | #Learnt:       7864 | 0.000
207.86/207.98	c total clause space: 335.816MB
207.86/207.98	c total #watches: 1407125
218.87/218.90	c total #propagations: 7337979 / total #impl: 130130011 (eff. 0.056)
218.87/218.90	c GC COLLECT
218.87/218.90	c #Conflicts:      29000 | #Learnt:       4800 | 0.000
218.87/218.90	c total clause space: 335.816MB
218.87/218.90	c total #watches: 1062086
227.26/227.32	c total #propagations: 7674882 / total #impl: 135268272 (eff. 0.057)
227.26/227.32	c #Conflicts:      30000 | #Learnt:       5800 | 0.000
227.26/227.32	c total clause space: 335.816MB
227.26/227.32	c total #watches: 1160253
237.16/237.26	c total #propagations: 8001052 / total #impl: 141737382 (eff. 0.056)
237.16/237.26	c #Conflicts:      31000 | #Learnt:       6800 | 0.000
237.16/237.26	c total clause space: 335.816MB
237.16/237.26	c total #watches: 1254807
246.15/246.23	c total #propagations: 8365647 / total #impl: 147744765 (eff. 0.057)
246.15/246.23	c #Conflicts:      32000 | #Learnt:       7802 | 0.000
246.15/246.23	c total clause space: 335.816MB
246.15/246.23	c total #watches: 1369684
255.26/255.33	c total #propagations: 8595912 / total #impl: 153923558 (eff. 0.056)
255.26/255.33	c #Conflicts:      33000 | #Learnt:       8802 | 0.000
255.26/255.33	c total clause space: 335.816MB
255.26/255.33	c total #watches: 1484769
264.35/264.49	c total #propagations: 9037898 / total #impl: 157569232 (eff. 0.057)
264.35/264.49	c GC COLLECT
264.35/264.49	c #Conflicts:      34000 | #Learnt:       5424 | 0.000
264.35/264.49	c total clause space: 335.816MB
264.35/264.49	c total #watches: 1056897
276.45/276.53	c total #propagations: 9470938 / total #impl: 160749415 (eff. 0.059)
276.45/276.53	c #Conflicts:      35000 | #Learnt:       6426 | 0.000
276.45/276.53	c total clause space: 335.816MB
276.45/276.53	c total #watches: 1166837
287.06/287.17	c total #propagations: 9935334 / total #impl: 165916521 (eff. 0.060)
287.06/287.17	c #Conflicts:      36000 | #Learnt:       7427 | 0.000
287.06/287.17	c total clause space: 335.816MB
287.06/287.17	c total #watches: 1283429
297.45/297.58	c total #propagations: 10115467 / total #impl: 170280933 (eff. 0.059)
297.45/297.58	c #Conflicts:      37000 | #Learnt:       8428 | 0.000
297.45/297.58	c total clause space: 335.816MB
297.45/297.58	c total #watches: 1399385
311.55/311.62	c total #propagations: 10315229 / total #impl: 173971722 (eff. 0.059)
311.55/311.62	c #Conflicts:      38000 | #Learnt:       9428 | 0.000
311.55/311.62	c total clause space: 335.816MB
311.55/311.62	c total #watches: 1512246
324.24/324.32	c total #propagations: 10855212 / total #impl: 179061479 (eff. 0.061)
324.24/324.32	c GC COLLECT
324.24/324.32	c #Conflicts:      39000 | #Learnt:       5737 | 0.000
324.24/324.32	c total clause space: 545.701MB
324.24/324.32	c total #watches: 1128137
338.03/338.12	c total #propagations: 11181410 / total #impl: 183199666 (eff. 0.061)
338.03/338.12	c #Conflicts:      40000 | #Learnt:       6741 | 0.000
338.03/338.12	c total clause space: 545.701MB
338.03/338.12	c total #watches: 1278688
348.74/348.81	c total #propagations: 11352913 / total #impl: 186552530 (eff. 0.061)
348.74/348.81	c #Conflicts:      41000 | #Learnt:       7741 | 0.000
348.74/348.81	c total clause space: 545.701MB
348.74/348.81	c total #watches: 1390813
362.94/363.01	c total #propagations: 11825405 / total #impl: 190249856 (eff. 0.062)
362.94/363.01	c #Conflicts:      42000 | #Learnt:       8742 | 0.000
362.94/363.01	c total clause space: 545.701MB
362.94/363.01	c total #watches: 1499561
373.53/373.68	c total #propagations: 12223115 / total #impl: 194134005 (eff. 0.063)
373.53/373.68	c #Conflicts:      43000 | #Learnt:       9742 | 0.000
373.53/373.68	c total clause space: 545.701MB
373.53/373.68	c total #watches: 1604717
385.52/385.68	c total #propagations: 12626706 / total #impl: 196965189 (eff. 0.064)
385.52/385.68	c GC COLLECT
385.52/385.68	c #Conflicts:      44000 | #Learnt:       5747 | 0.000
385.52/385.68	c total clause space: 545.701MB
385.52/385.68	c total #watches: 1125282
393.73/393.89	c total #propagations: 13101080 / total #impl: 200703059 (eff. 0.065)
393.73/393.89	c #Conflicts:      45000 | #Learnt:       6747 | 0.000
393.73/393.89	c total clause space: 545.701MB
393.73/393.89	c total #watches: 1240593
407.53/407.61	c total #propagations: 13569815 / total #impl: 204300589 (eff. 0.066)
407.53/407.61	c #Conflicts:      46000 | #Learnt:       7748 | 0.000
407.53/407.61	c total clause space: 545.701MB
407.53/407.61	c total #watches: 1404583
425.22/425.35	c total #propagations: 13723160 / total #impl: 210219570 (eff. 0.065)
425.22/425.35	c #Conflicts:      47000 | #Learnt:       8752 | 0.000
425.22/425.35	c total clause space: 545.701MB
425.22/425.35	c total #watches: 1579441
444.22/444.30	c total #propagations: 13828632 / total #impl: 215883386 (eff. 0.064)
444.22/444.30	c #Conflicts:      48000 | #Learnt:       9754 | 0.000
444.22/444.30	c total clause space: 545.701MB
444.22/444.30	c total #watches: 1712264
466.32/466.46	c total #propagations: 13891732 / total #impl: 221298510 (eff. 0.063)
466.32/466.46	c #Conflicts:      49000 | #Learnt:      10759 | 0.000
466.32/466.46	c total clause space: 545.701MB
466.32/466.46	c total #watches: 1874215
478.52/478.68	c total #propagations: 14197413 / total #impl: 225881185 (eff. 0.063)
478.52/478.68	c GC COLLECT
478.52/478.68	c #Conflicts:      50000 | #Learnt:       6461 | 0.000
478.52/478.68	c total clause space: 545.701MB
478.52/478.68	c total #watches: 1399413
491.91/492.03	c total #propagations: 14583686 / total #impl: 228967618 (eff. 0.064)
491.91/492.03	c #Conflicts:      51000 | #Learnt:       7462 | 0.000
491.91/492.03	c total clause space: 545.701MB
491.91/492.03	c total #watches: 1503830
506.81/506.91	c total #propagations: 14883754 / total #impl: 233977096 (eff. 0.064)
506.81/506.91	c #Conflicts:      52000 | #Learnt:       8462 | 0.000
506.81/506.91	c total clause space: 545.701MB
506.81/506.91	c total #watches: 1620510
516.51/516.67	c total #propagations: 15286774 / total #impl: 243832553 (eff. 0.063)
516.51/516.67	c #Conflicts:      53000 | #Learnt:       9462 | 0.000
516.51/516.67	c total clause space: 545.701MB
516.51/516.67	c total #watches: 1733010
528.71/528.81	c total #propagations: 15668219 / total #impl: 248763049 (eff. 0.063)
528.71/528.81	c #Conflicts:      54000 | #Learnt:      10463 | 0.000
528.71/528.81	c total clause space: 545.701MB
528.71/528.81	c total #watches: 1877368
542.70/542.87	c total #propagations: 15876879 / total #impl: 252913593 (eff. 0.063)
542.70/542.87	c #Conflicts:      55000 | #Learnt:      11463 | 0.000
542.70/542.87	c total clause space: 545.701MB
542.70/542.87	c total #watches: 2002941
558.60/558.77	c total #propagations: 16229582 / total #impl: 258773430 (eff. 0.063)
558.60/558.77	c GC COLLECT
558.60/558.77	c #Conflicts:      56000 | #Learnt:       6874 | 0.000
558.60/558.77	c total clause space: 545.701MB
558.60/558.77	c total #watches: 1355131
576.09/576.25	c total #propagations: 16645834 / total #impl: 268697242 (eff. 0.062)
576.09/576.25	c #Conflicts:      57000 | #Learnt:       7874 | 0.000
576.09/576.25	c total clause space: 545.701MB
576.09/576.25	c total #watches: 1463353
589.79/589.92	c total #propagations: 17086055 / total #impl: 276014143 (eff. 0.062)
589.79/589.92	c #Conflicts:      58000 | #Learnt:       8874 | 0.000
589.79/589.92	c total clause space: 545.701MB
589.79/589.92	c total #watches: 1578372
601.70/601.87	c total #propagations: 17512332 / total #impl: 279774601 (eff. 0.063)
601.70/601.87	c #Conflicts:      59000 | #Learnt:       9874 | 0.000
601.70/601.87	c total clause space: 545.701MB
601.70/601.87	c total #watches: 1713283
611.99/612.18	c total #propagations: 17608661 / total #impl: 282408752 (eff. 0.062)
611.99/612.18	c #Conflicts:      60000 | #Learnt:      10874 | 0.000
611.99/612.18	c total clause space: 545.701MB
611.99/612.18	c total #watches: 1834705
625.39/625.55	c total #propagations: 17826133 / total #impl: 285316504 (eff. 0.062)
625.39/625.55	c #Conflicts:      61000 | #Learnt:      11874 | 0.000
625.39/625.55	c total clause space: 545.701MB
625.39/625.55	c total #watches: 1951364
638.49/638.68	c total #propagations: 18138916 / total #impl: 287911654 (eff. 0.063)
638.49/638.68	c GC COLLECT
638.49/638.68	c #Conflicts:      62000 | #Learnt:       6982 | 0.000
638.49/638.68	c total clause space: 545.701MB
638.49/638.68	c total #watches: 1389309
651.29/651.47	c total #propagations: 18283543 / total #impl: 292815384 (eff. 0.062)
651.29/651.47	c #Conflicts:      63000 | #Learnt:       7982 | 0.000
651.29/651.47	c total clause space: 545.701MB
651.29/651.47	c total #watches: 1503396
664.89/665.04	c total #propagations: 18428139 / total #impl: 301262588 (eff. 0.061)
664.89/665.04	c #Conflicts:      64000 | #Learnt:       8982 | 0.000
664.89/665.04	c total clause space: 545.701MB
664.89/665.04	c total #watches: 1607045
682.18/682.33	c total #propagations: 18562275 / total #impl: 309403281 (eff. 0.060)
682.18/682.33	c #Conflicts:      65000 | #Learnt:       9982 | 0.000
682.18/682.33	c total clause space: 545.701MB
682.18/682.33	c total #watches: 1728829
698.68/698.89	c total #propagations: 18916582 / total #impl: 315455782 (eff. 0.060)
698.68/698.89	c #Conflicts:      66000 | #Learnt:      10982 | 0.000
698.68/698.89	c total clause space: 545.701MB
698.68/698.89	c total #watches: 1846427
709.17/709.33	c total #propagations: 19175524 / total #impl: 318964725 (eff. 0.060)
709.17/709.33	c #Conflicts:      67000 | #Learnt:      11982 | 0.000
709.17/709.33	c total clause space: 545.701MB
709.17/709.33	c total #watches: 1982167
715.38/715.56	c total #propagations: 19535646 / total #impl: 321862701 (eff. 0.061)
715.38/715.56	c #Conflicts:      68000 | #Learnt:      12982 | 0.000
715.38/715.56	c total clause space: 545.701MB
715.38/715.56	c total #watches: 2133556
721.18/721.32	c total #propagations: 19796778 / total #impl: 324577032 (eff. 0.061)
721.18/721.32	c GC COLLECT
721.18/721.32	c #Conflicts:      69000 | #Learnt:       7784 | 0.000
721.18/721.32	c total clause space: 545.701MB
721.18/721.32	c total #watches: 1505655
728.58/728.73	c total #propagations: 20220729 / total #impl: 329760403 (eff. 0.061)
728.58/728.73	c #Conflicts:      70000 | #Learnt:       8784 | 0.000
728.58/728.73	c total clause space: 545.701MB
728.58/728.73	c total #watches: 1618794
735.58/735.70	c total #propagations: 20428622 / total #impl: 334816392 (eff. 0.061)
735.58/735.70	c #Conflicts:      71000 | #Learnt:       9784 | 0.000
735.58/735.70	c total clause space: 545.701MB
735.58/735.70	c total #watches: 1744679
743.87/744.04	c total #propagations: 20600196 / total #impl: 344618841 (eff. 0.060)
743.87/744.04	c #Conflicts:      72000 | #Learnt:      10784 | 0.000
743.87/744.04	c total clause space: 545.701MB
743.87/744.04	c total #watches: 1849522
755.58/755.79	c total #propagations: 20654510 / total #impl: 348044868 (eff. 0.059)
755.58/755.79	c #Conflicts:      73000 | #Learnt:      11784 | 0.000
755.58/755.79	c total clause space: 545.701MB
755.58/755.79	c total #watches: 2010988
771.17/771.37	c total #propagations: 20804863 / total #impl: 356645787 (eff. 0.058)
771.17/771.37	c #Conflicts:      74000 | #Learnt:      12785 | 0.000
771.17/771.37	c total clause space: 545.701MB
771.17/771.37	c total #watches: 2164883
784.36/784.51	c total #propagations: 20906341 / total #impl: 369353074 (eff. 0.057)
784.36/784.51	c GC COLLECT
784.36/784.51	c #Conflicts:      75000 | #Learnt:       7287 | 0.000
784.36/784.51	c total clause space: 545.701MB
784.36/784.51	c total #watches: 1471232
800.96/801.19	c total #propagations: 21285198 / total #impl: 374238030 (eff. 0.057)
800.96/801.19	c #Conflicts:      76000 | #Learnt:       8287 | 0.000
800.96/801.19	c total clause space: 545.701MB
800.96/801.19	c total #watches: 1603586
821.57/821.78	c total #propagations: 21620052 / total #impl: 380571857 (eff. 0.057)
821.57/821.78	c #Conflicts:      77000 | #Learnt:       9287 | 0.000
821.57/821.78	c total clause space: 545.701MB
821.57/821.78	c total #watches: 1735972
848.06/848.26	c total #propagations: 21985146 / total #impl: 389806168 (eff. 0.056)
848.06/848.26	c #Conflicts:      78000 | #Learnt:      10287 | 0.000
848.06/848.26	c total clause space: 545.701MB
848.06/848.26	c total #watches: 1871814
871.06/871.23	c total #propagations: 22385663 / total #impl: 399076234 (eff. 0.056)
871.06/871.23	c #Conflicts:      79000 | #Learnt:      11287 | 0.000
871.06/871.23	c total clause space: 545.701MB
871.06/871.23	c total #watches: 2008592
894.16/894.38	c total #propagations: 22743685 / total #impl: 408825763 (eff. 0.056)
894.16/894.38	c #Conflicts:      80000 | #Learnt:      12287 | 0.000
894.16/894.38	c total clause space: 545.701MB
894.16/894.38	c total #watches: 2141414
919.65/919.88	c total #propagations: 23101363 / total #impl: 416292830 (eff. 0.055)
919.65/919.88	c #Conflicts:      81000 | #Learnt:      13287 | 0.000
919.65/919.88	c total clause space: 545.701MB
919.65/919.88	c total #watches: 2265801
944.34/944.52	c total #propagations: 23511524 / total #impl: 422622798 (eff. 0.056)
944.34/944.52	c GC COLLECT
944.34/944.52	c #Conflicts:      82000 | #Learnt:       7494 | 0.000
944.34/944.52	c total clause space: 545.701MB
944.34/944.52	c total #watches: 1475128
958.84/959.08	c total #propagations: 23937297 / total #impl: 428947696 (eff. 0.056)
958.84/959.08	c #Conflicts:      83000 | #Learnt:       8494 | 0.000
958.84/959.08	c total clause space: 545.701MB
958.84/959.08	c total #watches: 1572424
971.15/971.33	c total #propagations: 24382216 / total #impl: 433555917 (eff. 0.056)
971.15/971.33	c #Conflicts:      84000 | #Learnt:       9494 | 0.000
971.15/971.33	c total clause space: 545.701MB
971.15/971.33	c total #watches: 1678569
982.84/983.00	c total #propagations: 24852940 / total #impl: 437578731 (eff. 0.057)
982.84/983.00	c #Conflicts:      85000 | #Learnt:      10494 | 0.000
982.84/983.00	c total clause space: 545.701MB
982.84/983.00	c total #watches: 1773200
993.63/993.80	c total #propagations: 25306656 / total #impl: 441243525 (eff. 0.057)
993.63/993.80	c #Conflicts:      86000 | #Learnt:      11494 | 0.000
993.63/993.80	c total clause space: 545.701MB
993.63/993.80	c total #watches: 1877304
1005.93/1006.13	c total #propagations: 25782975 / total #impl: 445168811 (eff. 0.058)
1005.93/1006.13	c #Conflicts:      87000 | #Learnt:      12494 | 0.000
1005.93/1006.13	c total clause space: 545.701MB
1005.93/1006.13	c total #watches: 2004775
1023.43/1023.61	c total #propagations: 26225575 / total #impl: 448745376 (eff. 0.058)
1023.43/1023.61	c #Conflicts:      88000 | #Learnt:      13494 | 0.000
1023.43/1023.61	c total clause space: 545.701MB
1023.43/1023.61	c total #watches: 2120781
1037.33/1037.55	c total #propagations: 26715046 / total #impl: 451926166 (eff. 0.059)
1037.33/1037.55	c #Conflicts:      89000 | #Learnt:      14494 | 0.000
1037.33/1037.55	c total clause space: 545.701MB
1037.33/1037.55	c total #watches: 2242070
1050.72/1050.95	c total #propagations: 27178897 / total #impl: 456285412 (eff. 0.060)
1050.72/1050.95	c GC COLLECT
1050.72/1050.95	c #Conflicts:      90000 | #Learnt:       8394 | 0.000
1050.72/1050.95	c total clause space: 545.701MB
1050.72/1050.95	c total #watches: 1410010
1073.72/1073.92	c total #propagations: 27613455 / total #impl: 458606022 (eff. 0.060)
1073.72/1073.92	c #Conflicts:      91000 | #Learnt:       9394 | 0.000
1073.72/1073.92	c total clause space: 545.701MB
1073.72/1073.92	c total #watches: 1500689
1097.02/1097.26	c total #propagations: 27662727 / total #impl: 461994404 (eff. 0.060)
1097.02/1097.26	c #Conflicts:      92000 | #Learnt:      10394 | 0.000
1097.02/1097.26	c total clause space: 545.701MB
1097.02/1097.26	c total #watches: 1637248
1124.81/1125.06	c total #propagations: 27727897 / total #impl: 468931637 (eff. 0.059)
1124.81/1125.06	c #Conflicts:      93000 | #Learnt:      11394 | 0.000
1124.81/1125.06	c total clause space: 545.701MB
1124.81/1125.06	c total #watches: 1734411
1146.51/1146.78	c total #propagations: 27787716 / total #impl: 476555363 (eff. 0.058)
1146.51/1146.78	c #Conflicts:      94000 | #Learnt:      12394 | 0.000
1146.51/1146.78	c total clause space: 545.701MB
1146.51/1146.78	c total #watches: 1862043
1172.80/1173.05	c total #propagations: 27847844 / total #impl: 483101257 (eff. 0.058)
1172.80/1173.05	c #Conflicts:      95000 | #Learnt:      13394 | 0.000
1172.80/1173.05	c total clause space: 545.701MB
1172.80/1173.05	c total #watches: 1968264
1209.21/1209.47	c total #propagations: 27900278 / total #impl: 487689226 (eff. 0.057)
1209.21/1209.47	c #Conflicts:      96000 | #Learnt:      14394 | 0.000
1209.21/1209.47	c total clause space: 545.701MB
1209.21/1209.47	c total #watches: 2053990
1242.60/1242.87	c total #propagations: 27960530 / total #impl: 492209048 (eff. 0.057)
1242.60/1242.87	c #Conflicts:      97000 | #Learnt:      15394 | 0.000
1242.60/1242.87	c total clause space: 545.701MB
1242.60/1242.87	c total #watches: 2155112
1259.70/1259.94	c total #propagations: 28020817 / total #impl: 498282287 (eff. 0.056)
1259.70/1259.94	c GC COLLECT
1259.70/1259.94	c #Conflicts:      98000 | #Learnt:       8995 | 0.000
1259.70/1259.94	c total clause space: 545.701MB
1259.70/1259.94	c total #watches: 1445068
1278.99/1279.27	c total #propagations: 28072218 / total #impl: 504042243 (eff. 0.056)
1278.99/1279.27	c #Conflicts:      99000 | #Learnt:       9995 | 0.000
1278.99/1279.27	c total clause space: 545.701MB
1278.99/1279.27	c total #watches: 1546434
1298.19/1298.42	c total #propagations: 28133939 / total #impl: 510292380 (eff. 0.055)
1298.19/1298.42	c #Conflicts:     100000 | #Learnt:      10995 | 0.000
1298.19/1298.42	c total clause space: 545.701MB
1298.19/1298.42	c total #watches: 1652802
1316.19/1316.41	c total #propagations: 28191081 / total #impl: 515946181 (eff. 0.055)
1316.19/1316.41	c #Conflicts:     101000 | #Learnt:      11995 | 0.000
1316.19/1316.41	c total clause space: 545.701MB
1316.19/1316.41	c total #watches: 1771343
1332.69/1332.94	c total #propagations: 28250679 / total #impl: 522899380 (eff. 0.054)
1332.69/1332.94	c #Conflicts:     102000 | #Learnt:      12995 | 0.000
1332.69/1332.94	c total clause space: 545.701MB
1332.69/1332.94	c total #watches: 1904160
1356.47/1356.72	c total #propagations: 28308340 / total #impl: 528840872 (eff. 0.054)
1356.47/1356.72	c #Conflicts:     103000 | #Learnt:      13995 | 0.000
1356.47/1356.72	c total clause space: 545.701MB
1356.47/1356.72	c total #watches: 2051724
1382.37/1382.69	c total #propagations: 28480622 / total #impl: 533788897 (eff. 0.053)
1382.37/1382.69	c #Conflicts:     104000 | #Learnt:      14995 | 0.000
1382.37/1382.69	c total clause space: 545.701MB
1382.37/1382.69	c total #watches: 2225385
1399.77/1400.04	c total #propagations: 28647397 / total #impl: 539969930 (eff. 0.053)
1399.77/1400.04	c #Conflicts:     105000 | #Learnt:      15995 | 0.000
1399.77/1400.04	c total clause space: 545.701MB
1399.77/1400.04	c total #watches: 2389118
1411.27/1411.55	c total #propagations: 28707530 / total #impl: 545636041 (eff. 0.053)
1411.27/1411.55	c GC COLLECT
1411.27/1411.55	c #Conflicts:     106000 | #Learnt:       9294 | 0.000
1411.27/1411.55	c total clause space: 545.701MB
1411.27/1411.55	c total #watches: 1747550
1427.67/1427.98	c total #propagations: 28870143 / total #impl: 551843248 (eff. 0.052)
1427.67/1427.98	c #Conflicts:     107000 | #Learnt:      10294 | 0.000
1427.67/1427.98	c total clause space: 545.701MB
1427.67/1427.98	c total #watches: 2003532
1453.86/1454.11	c total #propagations: 29028275 / total #impl: 560707174 (eff. 0.052)
1453.86/1454.11	c #Conflicts:     108000 | #Learnt:      11294 | 0.000
1453.86/1454.11	c total clause space: 545.701MB
1453.86/1454.11	c total #watches: 2243039
1471.16/1471.48	c total #propagations: 29102067 / total #impl: 581580730 (eff. 0.050)
1471.16/1471.48	c #Conflicts:     109000 | #Learnt:      12294 | 0.000
1471.16/1471.48	c total clause space: 545.701MB
1471.16/1471.48	c total #watches: 2416299
1490.16/1490.50	c total #propagations: 29199045 / total #impl: 605846377 (eff. 0.048)
1490.16/1490.50	c #Conflicts:     110000 | #Learnt:      13294 | 0.000
1490.16/1490.50	c total clause space: 545.701MB
1490.16/1490.50	c total #watches: 2588479
1515.67/1515.93	c total #propagations: 29291364 / total #impl: 626774048 (eff. 0.047)
1515.67/1515.93	c #Conflicts:     111000 | #Learnt:      14294 | 0.000
1515.67/1515.93	c total clause space: 545.701MB
1515.67/1515.93	c total #watches: 2758012
1553.15/1553.41	c total #propagations: 29402355 / total #impl: 644076822 (eff. 0.046)
1553.15/1553.41	c #Conflicts:     112000 | #Learnt:      15298 | 0.000
1553.15/1553.41	c total clause space: 545.701MB
1553.15/1553.41	c total #watches: 3049082
1581.24/1581.57	c total #propagations: 29717071 / total #impl: 649625607 (eff. 0.046)
1581.24/1581.57	c #Conflicts:     113000 | #Learnt:      16298 | 0.000
1581.24/1581.57	c total clause space: 886.764MB
1581.24/1581.57	c total #watches: 3217784
1600.85/1601.11	c total #propagations: 30218040 / total #impl: 652511919 (eff. 0.046)
1600.85/1601.11	c GC COLLECT
1600.85/1601.11	c #Conflicts:     114000 | #Learnt:       9293 | 0.000
1600.85/1601.11	c total clause space: 886.764MB
1600.85/1601.11	c total #watches: 2344240
1629.14/1629.47	c total #propagations: 30679092 / total #impl: 655866766 (eff. 0.047)
1629.14/1629.47	c #Conflicts:     115000 | #Learnt:      10293 | 0.000
1629.14/1629.47	c total clause space: 886.764MB
1629.14/1629.47	c total #watches: 2502360
1656.24/1656.56	c total #propagations: 30982625 / total #impl: 660980775 (eff. 0.047)
1656.24/1656.56	c #Conflicts:     116000 | #Learnt:      11294 | 0.000
1656.24/1656.56	c total clause space: 886.764MB
1656.24/1656.56	c total #watches: 2689248
1676.14/1676.41	c total #propagations: 31249976 / total #impl: 667988974 (eff. 0.047)
1676.14/1676.41	c #Conflicts:     117000 | #Learnt:      12294 | 0.000
1676.14/1676.41	c total clause space: 886.764MB
1676.14/1676.41	c total #watches: 2848466
1692.23/1692.57	c total #propagations: 31472970 / total #impl: 683444408 (eff. 0.046)
1692.23/1692.57	c #Conflicts:     118000 | #Learnt:      13294 | 0.000
1692.23/1692.57	c total clause space: 886.764MB
1692.23/1692.57	c total #watches: 3004779
1710.23/1710.58	c total #propagations: 31879697 / total #impl: 688722123 (eff. 0.046)
1710.23/1710.58	c #Conflicts:     119000 | #Learnt:      14294 | 0.000
1710.23/1710.58	c total clause space: 886.764MB
1710.23/1710.58	c total #watches: 3168652
1728.82/1729.17	c total #propagations: 32406799 / total #impl: 692833239 (eff. 0.047)
1728.82/1729.17	c #Conflicts:     120000 | #Learnt:      15294 | 0.000
1728.82/1729.17	c total clause space: 886.764MB
1728.82/1729.17	c total #watches: 3336611
1749.12/1749.40	c total #propagations: 32934046 / total #impl: 696853691 (eff. 0.047)
1749.12/1749.40	c #Conflicts:     121000 | #Learnt:      16294 | 0.000
1749.12/1749.40	c total clause space: 886.764MB
1749.12/1749.40	c total #watches: 3493496
1774.81/1775.11	c total #propagations: 33499185 / total #impl: 700139255 (eff. 0.048)
1774.81/1775.11	c GC COLLECT
1774.81/1775.11	c #Conflicts:     122000 | #Learnt:       8994 | 0.000
1774.81/1775.11	c total clause space: 886.764MB
1774.81/1775.11	c total #watches: 1943241
1798.22/1798.52	c total #propagations: 33974222 / total #impl: 704073568 (eff. 0.048)
1798.22/1798.52	c #Conflicts:     123000 | #Learnt:       9994 | 0.000
1798.22/1798.52	c total clause space: 886.764MB
1798.22/1798.52	c total #watches: 2109081

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-4118491-1467222050/watcher-4118491-1467222050 -o /tmp/evaluation-result-4118491-1467222050/solver-4118491-1467222050 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1467214846-5124 --watchdog 1960 --input HOME/instance-4118491-1467222050.opb ./cdcl-cuttingplanes-opt-linearsearch-release 

pid=6062
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.13 2.15 2.16 3/177 6065
/proc/meminfo: memFree=24535272/32872528 swapFree=12440/1155036
[pid=6065] ppid=6062 vsize=29112 CPUtime=0 cores=1,3,5,7
/proc/6065/stat : 6065 (cdcl-cuttingpla) R 6062 6065 4301 0 -1 4202496 276 0 0 0 0 0 0 0 20 0 1 0 3172445 29810688 5268 33554432000 4194304 6201397 140734711029424 140734148069240 4211056 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6065/statm: 7278 5268 130 491 0 6777 0

[startup+0.100133 s]
/proc/loadavg: 2.13 2.15 2.16 3/177 6065
/proc/meminfo: memFree=24535272/32872528 swapFree=12440/1155036
[pid=6065] ppid=6062 vsize=34540 CPUtime=0.09 cores=1,3,5,7
/proc/6065/stat : 6065 (cdcl-cuttingpla) R 6062 6065 4301 0 -1 4202496 875 0 0 0 9 0 0 0 20 0 1 0 3172445 35368960 7291 33554432000 4194304 6201397 140734711029424 140734148069240 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6065/statm: 8635 7291 146 491 0 8134 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34540

[startup+0.200376 s]
/proc/loadavg: 2.13 2.15 2.16 3/177 6065
/proc/meminfo: memFree=24535272/32872528 swapFree=12440/1155036
[pid=6065] ppid=6062 vsize=42588 CPUtime=0.19 cores=1,3,5,7
/proc/6065/stat : 6065 (cdcl-cuttingpla) R 6062 6065 4301 0 -1 4202496 1278 0 0 0 19 0 0 0 20 0 1 0 3172445 43610112 8174 33554432000 4194304 6201397 140734711029424 140734148069240 4207987 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6065/statm: 10647 8174 147 491 0 10146 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 42588

[startup+0.300312 s]
/proc/loadavg: 2.13 2.15 2.16 3/177 6065
/proc/meminfo: memFree=24535272/32872528 swapFree=12440/1155036
[pid=6065] ppid=6062 vsize=42844 CPUtime=0.29 cores=1,3,5,7
/proc/6065/stat : 6065 (cdcl-cuttingpla) R 6062 6065 4301 0 -1 4202496 1480 0 0 0 29 0 0 0 20 0 1 0 3172445 43872256 8863 33554432000 4194304 6201397 140734711029424 140734711028376 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6065/statm: 10711 8863 147 491 0 10210 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 42844

[startup+0.70025 s]
/proc/loadavg: 2.13 2.15 2.16 3/177 6065
/proc/meminfo: memFree=24535272/32872528 swapFree=12440/1155036
[pid=6065] ppid=6062 vsize=63648 CPUtime=0.69 cores=1,3,5,7
/proc/6065/stat : 6065 (cdcl-cuttingpla) R 6062 6065 4301 0 -1 4202496 2381 0 0 0 69 0 0 0 20 0 1 0 3172445 65175552 11225 33554432000 4194304 6201397 140734711029424 140734711028376 4219588 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6065/statm: 15912 11225 147 491 0 15411 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 63648

[startup+1.5003 s]
/proc/loadavg: 2.13 2.15 2.16 3/178 6066
/proc/meminfo: memFree=24481636/32872528 swapFree=12440/1155036
[pid=6065] ppid=6062 vsize=83448 CPUtime=1.49 cores=1,3,5,7
/proc/6065/stat : 6065 (cdcl-cuttingpla) R 6062 6065 4301 0 -1 4202496 2805 0 0 0 148 1 0 0 20 0 1 0 3172445 85450752 14152 33554432000 4194304 6201397 140734711029424 140734711028456 4216747 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6065/statm: 20862 14152 147 491 0 20361 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83448

[startup+3.1003 s]
/proc/loadavg: 2.12 2.15 2.16 3/178 6066
/proc/meminfo: memFree=24468356/32872528 swapFree=12440/1155036
[pid=6065] ppid=6062 vsize=114944 CPUtime=3.09 cores=1,3,5,7
/proc/6065/stat : 6065 (cdcl-cuttingpla) R 6062 6065 4301 0 -1 4202496 3222 0 0 0 308 1 0 0 20 0 1 0 3172445 117702656 19637 33554432000 4194304 6201397 140734711029424 140734711028376 4213168 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6065/statm: 28736 19637 160 491 0 28235 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 114944

[startup+6.30032 s]
/proc/loadavg: 2.12 2.15 2.16 3/178 6066
/proc/meminfo: memFree=24433232/32872528 swapFree=12440/1155036
[pid=6065] ppid=6062 vsize=165616 CPUtime=6.29 cores=1,3,5,7
/proc/6065/stat : 6065 (cdcl-cuttingpla) R 6062 6065 4301 0 -1 4202496 3616 0 0 0 627 2 0 0 20 0 1 0 3172445 169590784 27644 33554432000 4194304 6201397 140734711029424 140734711028088 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6065/statm: 41404 27644 160 491 0 40903 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 165616

[startup+12.7003 s]
/proc/loadavg: 2.17 2.16 2.17 3/177 6066
/proc/meminfo: memFree=24336716/32872528 swapFree=12440/1155036
[pid=6065] ppid=6062 vsize=259528 CPUtime=12.69 cores=1,3,5,7
/proc/6065/stat : 6065 (cdcl-cuttingpla) R 6062 6065 4301 0 -1 4202496 9435 0 0 0 1265 4 0 0 20 0 1 0 3172445 265756672 52676 33554432000 4194304 6201397 140734711029424 140734711028552 4222244 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6065/statm: 64882 52676 166 491 0 64381 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 259528

[startup+25.5004 s]
/proc/loadavg: 2.15 2.15 2.16 3/176 6066
/proc/meminfo: memFree=24282356/32872528 swapFree=12440/1155036
[pid=6065] ppid=6062 vsize=273604 CPUtime=25.49 cores=1,3,5,7
/proc/6065/stat : 6065 (cdcl-cuttingpla) R 6062 6065 4301 0 -1 4202496 13645 0 0 0 2544 5 0 0 20 0 1 0 3172445 280170496 63693 33554432000 4194304 6201397 140734711029424 140734711028376 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6065/statm: 68401 63693 166 491 0 67900 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 273604

[startup+51.1004 s]
/proc/loadavg: 2.22 2.17 2.17 3/177 6067
/proc/meminfo: memFree=24235056/32872528 swapFree=12440/1155036
[pid=6065] ppid=6062 vsize=415312 CPUtime=51.08 cores=1,3,5,7
/proc/6065/stat : 6065 (cdcl-cuttingpla) R 6062 6065 4301 0 -1 4202496 16242 0 0 0 5102 6 0 0 20 0 1 0 3172445 425279488 74606 33554432000 4194304 6201397 140734711029424 140734711028136 4214942 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6065/statm: 103828 74606 166 491 0 103327 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 415312

[startup+102.3 s]
/proc/loadavg: 2.20 2.17 2.17 4/177 6068
/proc/meminfo: memFree=24202088/32872528 swapFree=12440/1155036
[pid=6065] ppid=6062 vsize=423636 CPUtime=102.28 cores=1,3,5,7
/proc/6065/stat : 6065 (cdcl-cuttingpla) R 6062 6065 4301 0 -1 4202496 18482 0 0 0 10221 7 0 0 20 0 1 0 3172445 433803264 79394 33554432000 4194304 6201397 140734711029424 140734711028088 4213268 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6065/statm: 105909 79394 166 491 0 105408 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 423636

[startup+162.3 s]
/proc/loadavg: 2.14 2.15 2.16 3/177 6069
/proc/meminfo: memFree=24121824/32872528 swapFree=12440/1155036
[pid=6065] ppid=6062 vsize=438456 CPUtime=162.26 cores=1,3,5,7
/proc/6065/stat : 6065 (cdcl-cuttingpla) R 6062 6065 4301 0 -1 4202496 21600 0 0 0 16218 8 0 0 20 0 1 0 3172445 448978944 87622 33554432000 4194304 6201397 140734711029424 140734711028552 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6065/statm: 109614 87622 166 491 0 109113 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 438456

[startup+222.307 s]
/proc/loadavg: 2.13 2.15 2.16 4/177 6070
/proc/meminfo: memFree=24073416/32872528 swapFree=12440/1155036
[pid=6065] ppid=6062 vsize=444220 CPUtime=222.27 cores=1,3,5,7
/proc/6065/stat : 6065 (cdcl-cuttingpla) R 6062 6065 4301 0 -1 4202496 22891 0 0 0 22217 10 0 0 20 0 1 0 3172445 454881280 99644 33554432000 4194304 6201397 140734711029424 140734711028088 4213178 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6065/statm: 111055 99644 166 491 0 110554 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 444220

[startup+282.3 s]
/proc/loadavg: 2.25 2.17 2.17 3/177 6117
/proc/meminfo: memFree=24560160/32872528 swapFree=12440/1155036
[pid=6065] ppid=6062 vsize=450140 CPUtime=282.25 cores=1,3,5,7
/proc/6065/stat : 6065 (cdcl-cuttingpla) R 6062 6065 4301 0 -1 4202496 24042 0 0 0 28214 11 0 0 20 0 1 0 3172445 460943360 104883 33554432000 4194304 6201397 140734711029424 140734711028088 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6065/statm: 112535 104883 166 491 0 112034 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 450140

[startup+342.3 s]
/proc/loadavg: 2.22 2.18 2.17 3/177 6119
/proc/meminfo: memFree=24475216/32872528 swapFree=12440/1155036
[pid=6065] ppid=6062 vsize=674568 CPUtime=342.23 cores=1,3,5,7
/proc/6065/stat : 6065 (cdcl-cuttingpla) R 6062 6065 4301 0 -1 4202496 25973 0 0 0 34212 11 0 0 20 0 1 0 3172445 690757632 113137 33554432000 4194304 6201397 140734711029424 140734711028136 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6065/statm: 168642 113137 166 491 0 168141 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 674568

[startup+402.3 s]
/proc/loadavg: 2.13 2.16 2.17 3/177 6120
/proc/meminfo: memFree=24433328/32872528 swapFree=12440/1155036
[pid=6065] ppid=6062 vsize=683200 CPUtime=402.23 cores=1,3,5,7
/proc/6065/stat : 6065 (cdcl-cuttingpla) R 6062 6065 4301 0 -1 4202496 27680 0 0 0 40211 12 0 0 20 0 1 0 3172445 699596800 119891 33554432000 4194304 6201397 140734711029424 140734711028088 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6065/statm: 170800 119891 166 491 0 170299 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 683200

[startup+462.3 s]
/proc/loadavg: 2.15 2.16 2.16 3/177 6121
/proc/meminfo: memFree=24403532/32872528 swapFree=12440/1155036
[pid=6065] ppid=6062 vsize=689128 CPUtime=462.21 cores=1,3,5,7
/proc/6065/stat : 6065 (cdcl-cuttingpla) R 6062 6065 4301 0 -1 4202496 28926 0 0 0 46209 12 0 0 20 0 1 0 3172445 705667072 122159 33554432000 4194304 6201397 140734711029424 140734711028136 4213192 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6065/statm: 172282 122159 166 491 0 171781 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 689128

[startup+522.3 s]
/proc/loadavg: 2.45 2.23 2.19 3/177 6122
/proc/meminfo: memFree=24356288/32872528 swapFree=12440/1155036
[pid=6065] ppid=6062 vsize=689260 CPUtime=522.21 cores=1,3,5,7
/proc/6065/stat : 6065 (cdcl-cuttingpla) R 6062 6065 4301 0 -1 4202496 29051 0 0 0 52208 13 0 0 20 0 1 0 3172445 705802240 127382 33554432000 4194304 6201397 140734711029424 140734711028552 4213168 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6065/statm: 172315 127382 166 491 0 171814 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 689260

[startup+582.3 s]
/proc/loadavg: 2.21 2.20 2.18 3/178 6126
/proc/meminfo: memFree=24333012/32872528 swapFree=12440/1155036
[pid=6065] ppid=6062 vsize=692164 CPUtime=582.19 cores=1,3,5,7
/proc/6065/stat : 6065 (cdcl-cuttingpla) R 6062 6065 4301 0 -1 4202496 29537 0 0 0 58206 13 0 0 20 0 1 0 3172445 708775936 132978 33554432000 4194304 6201397 140734711029424 140734711028088 4213178 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6065/statm: 173041 132978 166 491 0 172540 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 692164


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


[startup+942.3 s]
/proc/loadavg: 2.26 2.23 2.19 3/177 6134
/proc/meminfo: memFree=24229184/32872528 swapFree=12440/1155036
[pid=6065] ppid=6062 vsize=712828 CPUtime=942.14 cores=1,3,5,7
/proc/6065/stat : 6065 (cdcl-cuttingpla) R 6062 6065 4301 0 -1 4202496 33667 0 0 0 94198 16 0 0 20 0 1 0 3172445 729935872 155504 33554432000 4194304 6201397 140734711029424 140734711028136 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6065/statm: 178207 155504 166 491 0 177706 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 712828

[startup+1002.3 s]
/proc/loadavg: 2.35 2.25 2.19 3/177 6135
/proc/meminfo: memFree=24220720/32872528 swapFree=12440/1155036
[pid=6065] ppid=6062 vsize=716524 CPUtime=1002.13 cores=1,3,5,7
/proc/6065/stat : 6065 (cdcl-cuttingpla) R 6062 6065 4301 0 -1 4202496 34301 0 0 0 100197 16 0 0 20 0 1 0 3172445 733720576 156649 33554432000 4194304 6201397 140734711029424 140734711028136 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6065/statm: 179131 156649 166 491 0 178630 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 716524

[startup+1062.3 s]
/proc/loadavg: 2.24 2.23 2.18 3/177 6136
/proc/meminfo: memFree=24203636/32872528 swapFree=12440/1155036
[pid=6065] ppid=6062 vsize=718900 CPUtime=1062.12 cores=1,3,5,7
/proc/6065/stat : 6065 (cdcl-cuttingpla) R 6062 6065 4301 0 -1 4202496 34782 0 0 0 106196 16 0 0 20 0 1 0 3172445 736153600 160196 33554432000 4194304 6201397 140734711029424 140734711028552 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6065/statm: 179725 160196 166 491 0 179224 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 718900

[startup+1122.3 s]
/proc/loadavg: 2.13 2.20 2.18 3/177 6137
/proc/meminfo: memFree=24190328/32872528 swapFree=12440/1155036
[pid=6065] ppid=6062 vsize=718900 CPUtime=1122.11 cores=1,3,5,7
/proc/6065/stat : 6065 (cdcl-cuttingpla) R 6062 6065 4301 0 -1 4202496 34808 0 0 0 112195 16 0 0 20 0 1 0 3172445 736153600 160222 33554432000 4194304 6201397 140734711029424 140734711028552 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6065/statm: 179725 160222 166 491 0 179224 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 718900

[startup+1182.3 s]
/proc/loadavg: 2.21 2.21 2.18 3/178 6141
/proc/meminfo: memFree=24188660/32872528 swapFree=12440/1155036
[pid=6065] ppid=6062 vsize=720748 CPUtime=1182.1 cores=1,3,5,7
/proc/6065/stat : 6065 (cdcl-cuttingpla) R 6062 6065 4301 0 -1 4202496 35089 0 0 0 118194 16 0 0 20 0 1 0 3172445 738045952 160503 33554432000 4194304 6201397 140734711029424 140734711028136 4213168 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6065/statm: 180187 160503 166 491 0 179686 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 720748

[startup+1242.3 s]
/proc/loadavg: 2.20 2.20 2.18 3/177 6165
/proc/meminfo: memFree=24165152/32872528 swapFree=12440/1155036
[pid=6065] ppid=6062 vsize=722860 CPUtime=1242.1 cores=1,3,5,7
/proc/6065/stat : 6065 (cdcl-cuttingpla) R 6062 6065 4301 0 -1 4202496 35415 0 0 0 124193 17 0 0 20 0 1 0 3172445 740208640 164406 33554432000 4194304 6201397 140734711029424 140734711028088 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6065/statm: 180715 164406 166 491 0 180214 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 722860

[startup+1302.3 s]
/proc/loadavg: 2.15 2.19 2.18 3/177 6167
/proc/meminfo: memFree=24162876/32872528 swapFree=12440/1155036
[pid=6065] ppid=6062 vsize=722860 CPUtime=1302.09 cores=1,3,5,7
/proc/6065/stat : 6065 (cdcl-cuttingpla) R 6062 6065 4301 0 -1 4202496 35417 0 0 0 130192 17 0 0 20 0 1 0 3172445 740208640 164919 33554432000 4194304 6201397 140734711029424 140734711028552 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6065/statm: 180715 164919 166 491 0 180214 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 722860

[startup+1362.3 s]
/proc/loadavg: 2.27 2.21 2.18 4/177 6168
/proc/meminfo: memFree=24154552/32872528 swapFree=12440/1155036
[pid=6065] ppid=6062 vsize=734740 CPUtime=1362.08 cores=1,3,5,7
/proc/6065/stat : 6065 (cdcl-cuttingpla) R 6062 6065 4301 0 -1 4202496 37659 0 0 0 136190 18 0 0 20 0 1 0 3172445 752373760 167161 33554432000 4194304 6201397 140734711029424 140734711028088 4213170 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6065/statm: 183685 167161 166 491 0 183184 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 734740

[startup+1422.3 s]
/proc/loadavg: 2.29 2.23 2.19 3/177 6169
/proc/meminfo: memFree=24114844/32872528 swapFree=12440/1155036
[pid=6065] ppid=6062 vsize=758764 CPUtime=1422.07 cores=1,3,5,7
/proc/6065/stat : 6065 (cdcl-cuttingpla) R 6062 6065 4301 0 -1 4202496 41219 0 0 0 142188 19 0 0 20 0 1 0 3172445 776974336 176853 33554432000 4194304 6201397 140734711029424 140734711028552 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6065/statm: 189691 176853 166 491 0 189190 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 758764

[startup+1482.3 s]
/proc/loadavg: 2.17 2.20 2.18 3/177 6170
/proc/meminfo: memFree=24112712/32872528 swapFree=12440/1155036
[pid=6065] ppid=6062 vsize=760876 CPUtime=1482.06 cores=1,3,5,7
/proc/6065/stat : 6065 (cdcl-cuttingpla) R 6062 6065 4301 0 -1 4202496 41528 0 0 0 148187 19 0 0 20 0 1 0 3172445 779137024 177162 33554432000 4194304 6201397 140734711029424 140734711028136 4213178 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6065/statm: 190219 177162 166 491 0 189718 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 760876

[startup+1542.31 s]
/proc/loadavg: 2.17 2.19 2.18 4/177 6171
/proc/meminfo: memFree=24102928/32872528 swapFree=12440/1155036
[pid=6065] ppid=6062 vsize=773548 CPUtime=1542.06 cores=1,3,5,7
/proc/6065/stat : 6065 (cdcl-cuttingpla) R 6062 6065 4301 0 -1 4202496 43932 0 0 0 154185 21 0 0 20 0 1 0 3172445 792113152 179566 33554432000 4194304 6201397 140734711029424 140734711028088 4213170 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6065/statm: 193387 179566 166 491 0 192886 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 773548

[startup+1602.3 s]
/proc/loadavg: 2.26 2.22 2.18 3/177 6173
/proc/meminfo: memFree=24057964/32872528 swapFree=12440/1155036
[pid=6065] ppid=6062 vsize=1124776 CPUtime=1602.05 cores=1,3,5,7
/proc/6065/stat : 6065 (cdcl-cuttingpla) R 6062 6065 4301 0 -1 4202496 45010 0 0 0 160183 22 0 0 20 0 1 0 3172445 1151770624 190496 33554432000 4194304 6201397 140734711029424 140734711028552 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6065/statm: 281194 190496 166 491 0 280693 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 1124776

[startup+1662.3 s]
/proc/loadavg: 2.22 2.21 2.18 3/177 6174
/proc/meminfo: memFree=24037924/32872528 swapFree=12440/1155036
[pid=6065] ppid=6062 vsize=1125832 CPUtime=1662.04 cores=1,3,5,7
/proc/6065/stat : 6065 (cdcl-cuttingpla) R 6062 6065 4301 0 -1 4202496 45161 0 0 0 166182 22 0 0 20 0 1 0 3172445 1152851968 193894 33554432000 4194304 6201397 140734711029424 140734711028552 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6065/statm: 281458 193894 166 491 0 280957 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 1125832

[startup+1722.3 s]
/proc/loadavg: 2.21 2.21 2.18 4/177 6175
/proc/meminfo: memFree=24012256/32872528 swapFree=12440/1155036
[pid=6065] ppid=6062 vsize=1126492 CPUtime=1722.03 cores=1,3,5,7
/proc/6065/stat : 6065 (cdcl-cuttingpla) R 6062 6065 4301 0 -1 4202496 45296 0 0 0 172181 22 0 0 20 0 1 0 3172445 1153527808 198231 33554432000 4194304 6201397 140734711029424 140734711028552 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6065/statm: 281623 198231 166 491 0 281122 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 1126492

[startup+1782.3 s]
/proc/loadavg: 2.39 2.26 2.20 3/178 6179
/proc/meminfo: memFree=23981696/32872528 swapFree=12440/1155036
[pid=6065] ppid=6062 vsize=1126624 CPUtime=1782.01 cores=1,3,5,7
/proc/6065/stat : 6065 (cdcl-cuttingpla) R 6062 6065 4301 0 -1 4202496 45599 0 0 0 178179 22 0 0 20 0 1 0 3172445 1153662976 205679 33554432000 4194304 6201397 140734711029424 140734711028552 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6065/statm: 281656 205679 166 491 0 281155 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 1126624



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.35 2.26 2.20 3/178 6179
/proc/meminfo: memFree=23982440/32872528 swapFree=12440/1155036
[pid=6065] ppid=6062 vsize=1126624 CPUtime=1800.01 cores=1,3,5,7
/proc/6065/stat : 6065 (cdcl-cuttingpla) R 6062 6065 4301 0 -1 4202496 45599 0 0 0 179979 22 0 0 20 0 1 0 3172445 1153662976 205679 33554432000 4194304 6201397 140734711029424 140734711028552 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6065/statm: 281656 205679 166 491 0 281155 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1126624

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

[startup+1800.3 s]
/proc/loadavg: 2.35 2.26 2.20 3/178 6179
/proc/meminfo: memFree=23982440/32872528 swapFree=12440/1155036
[pid=6065] ppid=6062 vsize=1126624 CPUtime=1800.01 cores=1,3,5,7
/proc/6065/stat : 6065 (cdcl-cuttingpla) R 6062 6065 4301 0 -1 4202496 45599 0 0 0 179979 22 0 0 20 0 1 0 3172445 1153662976 205679 33554432000 4194304 6201397 140734711029424 140734711028552 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6065/statm: 281656 205679 166 491 0 281155 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1126624

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.79
CPU system time (s): 0.229965
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 1126624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.79
system time used= 0.229965
maximum resident set size= 822716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45599
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= 19
involuntary context switches= 1866

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.88211 second user time and 8.69568 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-29 19:40:50
IDJOB=4118491
IDBENCH=111499
IDSOLVER=2550
FILE ID=node114/4118491-1467222050
RUNJOBID= node114-1467214846-5124
PBS_JOBID= 19997585
Free space on /tmp= 71668 MiB

SOLVER NAME= cdcl-cuttingplanes OPT linear search 2016-05-01
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-sporttournament46.lin.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118491-1467222050/watcher-4118491-1467222050 -o /tmp/evaluation-result-4118491-1467222050/solver-4118491-1467222050 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1467214846-5124 --watchdog 1960 --input HOME/instance-4118491-1467222050.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= 2512f6fa73aa9bc4f3cf5964117edffe
RANDOM SEED=653322736

node114.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.752
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	: 5333.50
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.752
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.752
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.752
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.752
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.752
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.56
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.752
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.752
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:        24535932 kB
Buffers:           81912 kB
Cached:          5769264 kB
SwapCached:            0 kB
Active:           665132 kB
Inactive:        5760304 kB
Active(anon):     576444 kB
Inactive(anon):        0 kB
Active(file):      88688 kB
Inactive(file):  5760304 kB
Unevictable:     1155036 kB
Mlocked:           12440 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              2348 kB
Writeback:             0 kB
AnonPages:       1745412 kB
Mapped:            14444 kB
Shmem:               204 kB
Slab:             623824 kB
SReclaimable:      68244 kB
SUnreclaim:       555580 kB
KernelStack:        1480 kB
PageTables:         7296 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1923896 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1683456 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= 71668 MiB
End job on node114 at 2016-06-29 20:10:51