Trace number 4118815

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

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-sporttournament48.lin.opb
MD5SUMa3c924ebe8e1086b1c8aa91d10d929c1
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-434
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3336
Total number of constraints4416
Number of constraints which are clauses2208
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2208
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 2955
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 3174
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 3174
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= 3336 #constraint= 4416
3.19/3.23	c #Conflicts:       1000 | #Learnt:       1138 | 0.000
3.19/3.23	c total clause space: 127.173MB
3.19/3.23	c total #watches: 1551453
6.48/6.53	c total #propagations: 265447 / total #impl: 4317408 (eff. 0.061)
6.48/6.53	c #Conflicts:       2000 | #Learnt:       2186 | 0.000
6.48/6.53	c total clause space: 206.656MB
6.48/6.53	c total #watches: 2473755
13.89/13.91	c total #propagations: 513588 / total #impl: 7991824 (eff. 0.064)
13.89/13.91	c GC COLLECT
13.89/13.91	c #Conflicts:       3000 | #Learnt:       2245 | 0.000
13.89/13.91	c total clause space: 206.656MB
13.89/13.91	c total #watches: 1872099
21.99/22.06	c total #propagations: 659594 / total #impl: 13012893 (eff. 0.051)
21.99/22.06	c #Conflicts:       4000 | #Learnt:       3266 | 0.000
21.99/22.06	c total clause space: 206.656MB
21.99/22.06	c total #watches: 2322286
28.48/28.50	c total #propagations: 772727 / total #impl: 17498014 (eff. 0.044)
28.48/28.50	c GC COLLECT
28.48/28.50	c #Conflicts:       5000 | #Learnt:       2687 | 0.000
28.48/28.50	c total clause space: 206.656MB
28.48/28.50	c total #watches: 1330067
34.28/34.36	c total #propagations: 1115015 / total #impl: 20316590 (eff. 0.055)
34.28/34.36	c #Conflicts:       6000 | #Learnt:       3687 | 0.000
34.28/34.36	c total clause space: 206.656MB
34.28/34.36	c total #watches: 1404078
41.68/41.72	c total #propagations: 1663949 / total #impl: 24238147 (eff. 0.069)
41.68/41.72	c GC COLLECT
41.68/41.72	c #Conflicts:       7000 | #Learnt:       2620 | 0.000
41.68/41.72	c total clause space: 206.656MB
41.68/41.72	c total #watches: 741239
45.98/46.06	c total #propagations: 2203196 / total #impl: 27561529 (eff. 0.080)
45.98/46.06	c #Conflicts:       8000 | #Learnt:       3620 | 0.000
45.98/46.06	c total clause space: 206.656MB
45.98/46.06	c total #watches: 824411
56.68/56.74	c total #propagations: 2749211 / total #impl: 31379119 (eff. 0.088)
56.68/56.74	c #Conflicts:       9000 | #Learnt:       4628 | 0.000
56.68/56.74	c total clause space: 206.656MB
56.68/56.74	c total #watches: 1061332
63.89/63.98	c total #propagations: 2930020 / total #impl: 35418123 (eff. 0.083)
63.89/63.98	c GC COLLECT
63.89/63.98	c #Conflicts:      10000 | #Learnt:       3150 | 0.000
63.89/63.98	c total clause space: 335.816MB
63.89/63.98	c total #watches: 985708
69.39/69.48	c total #propagations: 3362149 / total #impl: 39226898 (eff. 0.086)
69.39/69.48	c #Conflicts:      11000 | #Learnt:       4152 | 0.000
69.39/69.48	c total clause space: 335.816MB
69.39/69.48	c total #watches: 1096002
77.38/77.45	c total #propagations: 3853385 / total #impl: 43182635 (eff. 0.089)
77.38/77.45	c #Conflicts:      12000 | #Learnt:       5159 | 0.000
77.38/77.45	c total clause space: 335.816MB
77.38/77.45	c total #watches: 1262961
85.27/85.34	c total #propagations: 4207500 / total #impl: 46240056 (eff. 0.091)
85.27/85.34	c #Conflicts:      13000 | #Learnt:       6161 | 0.000
85.27/85.34	c total clause space: 335.816MB
85.27/85.34	c total #watches: 1370950
91.57/91.65	c total #propagations: 4436647 / total #impl: 50809467 (eff. 0.087)
91.57/91.65	c GC COLLECT
91.57/91.65	c #Conflicts:      14000 | #Learnt:       4339 | 0.000
91.57/91.65	c total clause space: 335.816MB
91.57/91.65	c total #watches: 1090740
98.57/98.66	c total #propagations: 4730826 / total #impl: 55488979 (eff. 0.085)
98.57/98.66	c #Conflicts:      15000 | #Learnt:       5341 | 0.000
98.57/98.66	c total clause space: 335.816MB
98.57/98.66	c total #watches: 1195859
106.68/106.72	c total #propagations: 5051315 / total #impl: 58879750 (eff. 0.086)
106.68/106.72	c #Conflicts:      16000 | #Learnt:       6341 | 0.000
106.68/106.72	c total clause space: 335.816MB
106.68/106.72	c total #watches: 1294654
116.07/116.12	c total #propagations: 5244943 / total #impl: 61989205 (eff. 0.085)
116.07/116.12	c GC COLLECT
116.07/116.12	c #Conflicts:      17000 | #Learnt:       4187 | 0.000
116.07/116.12	c total clause space: 335.816MB
116.07/116.12	c total #watches: 974667
123.97/124.07	c total #propagations: 5389244 / total #impl: 66136857 (eff. 0.081)
123.97/124.07	c #Conflicts:      18000 | #Learnt:       5187 | 0.000
123.97/124.07	c total clause space: 335.816MB
123.97/124.07	c total #watches: 1062509
134.06/134.17	c total #propagations: 5988988 / total #impl: 73165430 (eff. 0.082)
134.06/134.17	c #Conflicts:      19000 | #Learnt:       6187 | 0.000
134.06/134.17	c total clause space: 335.816MB
134.06/134.17	c total #watches: 1155295
154.07/154.13	c total #propagations: 6549668 / total #impl: 79696576 (eff. 0.082)
154.07/154.13	c #Conflicts:      20000 | #Learnt:       7198 | 0.000
154.07/154.13	c total clause space: 335.816MB
154.07/154.13	c total #watches: 1327227
162.87/162.96	c total #propagations: 6939413 / total #impl: 83825164 (eff. 0.083)
162.87/162.96	c GC COLLECT
162.87/162.96	c #Conflicts:      21000 | #Learnt:       4722 | 0.000
162.87/162.96	c total clause space: 335.816MB
162.87/162.96	c total #watches: 1046414
173.56/173.61	c total #propagations: 7451649 / total #impl: 87099529 (eff. 0.086)
173.56/173.61	c #Conflicts:      22000 | #Learnt:       5732 | 0.000
173.56/173.61	c total clause space: 335.816MB
173.56/173.61	c total #watches: 1270309
180.96/181.03	c total #propagations: 7735805 / total #impl: 91269091 (eff. 0.085)
180.96/181.03	c #Conflicts:      23000 | #Learnt:       6732 | 0.000
180.96/181.03	c total clause space: 335.816MB
180.96/181.03	c total #watches: 1408332
191.86/191.95	c total #propagations: 7976265 / total #impl: 96157721 (eff. 0.083)
191.86/191.95	c #Conflicts:      24000 | #Learnt:       7738 | 0.000
191.86/191.95	c total clause space: 335.816MB
191.86/191.95	c total #watches: 1656968
202.16/202.23	c total #propagations: 8227443 / total #impl: 101518594 (eff. 0.081)
202.16/202.23	c GC COLLECT
202.16/202.23	c #Conflicts:      25000 | #Learnt:       4949 | 0.000
202.16/202.23	c total clause space: 335.816MB
202.16/202.23	c total #watches: 1430796
210.86/210.95	c total #propagations: 8434447 / total #impl: 106246925 (eff. 0.079)
210.86/210.95	c #Conflicts:      26000 | #Learnt:       5954 | 0.000
210.86/210.95	c total clause space: 335.816MB
210.86/210.95	c total #watches: 1620465
218.46/218.55	c total #propagations: 8517820 / total #impl: 109822149 (eff. 0.078)
218.46/218.55	c #Conflicts:      27000 | #Learnt:       6954 | 0.000
218.46/218.55	c total clause space: 335.816MB
218.46/218.55	c total #watches: 1757640
238.45/238.58	c total #propagations: 8585787 / total #impl: 114597638 (eff. 0.075)
238.45/238.58	c #Conflicts:      28000 | #Learnt:       7967 | 0.000
238.45/238.58	c total clause space: 335.816MB
238.45/238.58	c total #watches: 2029239
256.65/256.78	c total #propagations: 8934992 / total #impl: 118794845 (eff. 0.075)
256.65/256.78	c GC COLLECT
256.65/256.78	c #Conflicts:      29000 | #Learnt:       4885 | 0.000
256.65/256.78	c total clause space: 545.701MB
256.65/256.78	c total #watches: 1583042
271.55/271.61	c total #propagations: 9410363 / total #impl: 122686616 (eff. 0.077)
271.55/271.61	c #Conflicts:      30000 | #Learnt:       5887 | 0.000
271.55/271.61	c total clause space: 545.701MB
271.55/271.61	c total #watches: 1738983
288.35/288.48	c total #propagations: 9964450 / total #impl: 129571149 (eff. 0.077)
288.35/288.48	c #Conflicts:      31000 | #Learnt:       6887 | 0.000
288.35/288.48	c total clause space: 545.701MB
288.35/288.48	c total #watches: 1858944
305.54/305.64	c total #propagations: 10512861 / total #impl: 136222480 (eff. 0.077)
305.54/305.64	c #Conflicts:      32000 | #Learnt:       7887 | 0.000
305.54/305.64	c total clause space: 545.701MB
305.54/305.64	c total #watches: 1984250
323.13/323.22	c total #propagations: 11064000 / total #impl: 141959008 (eff. 0.078)
323.13/323.22	c #Conflicts:      33000 | #Learnt:       8887 | 0.000
323.13/323.22	c total clause space: 545.701MB
323.13/323.22	c total #watches: 2114755
333.14/333.22	c total #propagations: 11441149 / total #impl: 144579983 (eff. 0.079)
333.14/333.22	c GC COLLECT
333.14/333.22	c #Conflicts:      34000 | #Learnt:       5518 | 0.000
333.14/333.22	c total clause space: 545.701MB
333.14/333.22	c total #watches: 1401318
339.34/339.46	c total #propagations: 11842968 / total #impl: 148783951 (eff. 0.080)
339.34/339.46	c #Conflicts:      35000 | #Learnt:       6518 | 0.000
339.34/339.46	c total clause space: 545.701MB
339.34/339.46	c total #watches: 1537725
347.64/347.78	c total #propagations: 11963434 / total #impl: 157303838 (eff. 0.076)
347.64/347.78	c #Conflicts:      36000 | #Learnt:       7519 | 0.000
347.64/347.78	c total clause space: 545.701MB
347.64/347.78	c total #watches: 1689205
356.23/356.39	c total #propagations: 12102837 / total #impl: 162851038 (eff. 0.074)
356.23/356.39	c #Conflicts:      37000 | #Learnt:       8519 | 0.000
356.23/356.39	c total clause space: 545.701MB
356.23/356.39	c total #watches: 1835350
366.43/366.58	c total #propagations: 12306037 / total #impl: 168555853 (eff. 0.073)
366.43/366.58	c #Conflicts:      38000 | #Learnt:       9519 | 0.000
366.43/366.58	c total clause space: 545.701MB
366.43/366.58	c total #watches: 1986982
377.13/377.29	c total #propagations: 12353650 / total #impl: 174959710 (eff. 0.071)
377.13/377.29	c GC COLLECT
377.13/377.29	c #Conflicts:      39000 | #Learnt:       5836 | 0.000
377.13/377.29	c total clause space: 545.701MB
377.13/377.29	c total #watches: 1436097
386.73/386.85	c total #propagations: 12443020 / total #impl: 180739336 (eff. 0.069)
386.73/386.85	c #Conflicts:      40000 | #Learnt:       6836 | 0.000
386.73/386.85	c total clause space: 545.701MB
386.73/386.85	c total #watches: 1577286
398.32/398.45	c total #propagations: 12593849 / total #impl: 186298210 (eff. 0.068)
398.32/398.45	c #Conflicts:      41000 | #Learnt:       7836 | 0.000
398.32/398.45	c total clause space: 545.701MB
398.32/398.45	c total #watches: 1719964
412.12/412.27	c total #propagations: 12743208 / total #impl: 192182269 (eff. 0.066)
412.12/412.27	c #Conflicts:      42000 | #Learnt:       8836 | 0.000
412.12/412.27	c total clause space: 545.701MB
412.12/412.27	c total #watches: 1857507
424.82/424.98	c total #propagations: 12926412 / total #impl: 198534292 (eff. 0.065)
424.82/424.98	c #Conflicts:      43000 | #Learnt:       9836 | 0.000
424.82/424.98	c total clause space: 545.701MB
424.82/424.98	c total #watches: 1998636
437.11/437.22	c total #propagations: 13002418 / total #impl: 204561688 (eff. 0.064)
437.11/437.22	c GC COLLECT
437.11/437.22	c #Conflicts:      44000 | #Learnt:       5860 | 0.000
437.11/437.22	c total clause space: 545.701MB
437.11/437.22	c total #watches: 1413727
450.41/450.52	c total #propagations: 13054867 / total #impl: 211675803 (eff. 0.062)
450.41/450.52	c #Conflicts:      45000 | #Learnt:       6860 | 0.000
450.41/450.52	c total clause space: 545.701MB
450.41/450.52	c total #watches: 1556745
468.72/468.86	c total #propagations: 13280355 / total #impl: 218811773 (eff. 0.061)
468.72/468.86	c #Conflicts:      46000 | #Learnt:       7861 | 0.000
468.72/468.86	c total clause space: 545.701MB
468.72/468.86	c total #watches: 1710320
492.11/492.27	c total #propagations: 13402406 / total #impl: 222301220 (eff. 0.060)
492.11/492.27	c #Conflicts:      47000 | #Learnt:       8862 | 0.000
492.11/492.27	c total clause space: 545.701MB
492.11/492.27	c total #watches: 1865277
513.40/513.55	c total #propagations: 13792351 / total #impl: 226311739 (eff. 0.061)
513.40/513.55	c #Conflicts:      48000 | #Learnt:       9862 | 0.000
513.40/513.55	c total clause space: 545.701MB
513.40/513.55	c total #watches: 1999986
542.61/542.79	c total #propagations: 13921946 / total #impl: 230761334 (eff. 0.060)
542.61/542.79	c #Conflicts:      49000 | #Learnt:      10868 | 0.000
542.61/542.79	c total clause space: 545.701MB
542.61/542.79	c total #watches: 2191366
557.40/557.51	c total #propagations: 14211965 / total #impl: 236868032 (eff. 0.060)
557.40/557.51	c GC COLLECT
557.40/557.51	c #Conflicts:      50000 | #Learnt:       6566 | 0.000
557.40/557.51	c total clause space: 545.701MB
557.40/557.51	c total #watches: 1609734
565.60/565.73	c total #propagations: 14579042 / total #impl: 241439370 (eff. 0.060)
565.60/565.73	c #Conflicts:      51000 | #Learnt:       7566 | 0.000
565.60/565.73	c total clause space: 545.701MB
565.60/565.73	c total #watches: 1741362
575.70/575.87	c total #propagations: 14738471 / total #impl: 245655284 (eff. 0.060)
575.70/575.87	c #Conflicts:      52000 | #Learnt:       8566 | 0.000
575.70/575.87	c total clause space: 545.701MB
575.70/575.87	c total #watches: 1885877
586.50/586.68	c total #propagations: 15188243 / total #impl: 249900040 (eff. 0.061)
586.50/586.68	c #Conflicts:      53000 | #Learnt:       9567 | 0.000
586.50/586.68	c total clause space: 545.701MB
586.50/586.68	c total #watches: 2044086
600.60/600.75	c total #propagations: 15690754 / total #impl: 254294765 (eff. 0.062)
600.60/600.75	c #Conflicts:      54000 | #Learnt:      10567 | 0.000
600.60/600.75	c total clause space: 545.701MB
600.60/600.75	c total #watches: 2229478
617.19/617.36	c total #propagations: 15859506 / total #impl: 261716602 (eff. 0.061)
617.19/617.36	c #Conflicts:      55000 | #Learnt:      11568 | 0.000
617.19/617.36	c total clause space: 545.701MB
617.19/617.36	c total #watches: 2414281
629.89/630.08	c total #propagations: 15953966 / total #impl: 270476237 (eff. 0.059)
629.89/630.08	c GC COLLECT
629.89/630.08	c #Conflicts:      56000 | #Learnt:       6975 | 0.000
629.89/630.08	c total clause space: 545.701MB
629.89/630.08	c total #watches: 1750554
650.99/651.16	c total #propagations: 16043659 / total #impl: 279580342 (eff. 0.057)
650.99/651.16	c #Conflicts:      57000 | #Learnt:       7975 | 0.000
650.99/651.16	c total clause space: 545.701MB
650.99/651.16	c total #watches: 1892042
675.48/675.64	c total #propagations: 16249713 / total #impl: 287746997 (eff. 0.056)
675.48/675.64	c #Conflicts:      58000 | #Learnt:       8978 | 0.000
675.48/675.64	c total clause space: 545.701MB
675.48/675.64	c total #watches: 2110027
692.88/693.08	c total #propagations: 16485723 / total #impl: 300886087 (eff. 0.055)
692.88/693.08	c #Conflicts:      59000 | #Learnt:       9978 | 0.000
692.88/693.08	c total clause space: 545.701MB
692.88/693.08	c total #watches: 2292347
710.88/711.06	c total #propagations: 16635001 / total #impl: 322881853 (eff. 0.052)
710.88/711.06	c #Conflicts:      60000 | #Learnt:      10978 | 0.000
710.88/711.06	c total clause space: 545.701MB
710.88/711.06	c total #watches: 2457447
737.17/737.39	c total #propagations: 16777226 / total #impl: 348623805 (eff. 0.048)
737.17/737.39	c #Conflicts:      61000 | #Learnt:      11978 | 0.000
737.17/737.39	c total clause space: 545.701MB
737.17/737.39	c total #watches: 2612014
770.46/770.61	c total #propagations: 16986263 / total #impl: 371004908 (eff. 0.046)
770.46/770.61	c GC COLLECT
770.46/770.61	c #Conflicts:      62000 | #Learnt:       7081 | 0.000
770.46/770.61	c total clause space: 545.701MB
770.46/770.61	c total #watches: 1810815
796.37/796.57	c total #propagations: 17319245 / total #impl: 380921641 (eff. 0.045)
796.37/796.57	c #Conflicts:      63000 | #Learnt:       8081 | 0.000
796.37/796.57	c total clause space: 545.701MB
796.37/796.57	c total #watches: 1950569
825.46/825.65	c total #propagations: 17604360 / total #impl: 391742618 (eff. 0.045)
825.46/825.65	c #Conflicts:      64000 | #Learnt:       9081 | 0.000
825.46/825.65	c total clause space: 545.701MB
825.46/825.65	c total #watches: 2088158
868.86/869.03	c total #propagations: 17927368 / total #impl: 402401097 (eff. 0.045)
868.86/869.03	c #Conflicts:      65000 | #Learnt:      10081 | 0.000
868.86/869.03	c total clause space: 545.701MB
868.86/869.03	c total #watches: 2218558
919.15/919.36	c total #propagations: 18233494 / total #impl: 413358722 (eff. 0.044)
919.15/919.36	c #Conflicts:      66000 | #Learnt:      11081 | 0.000
919.15/919.36	c total clause space: 545.701MB
919.15/919.36	c total #watches: 2369733
957.04/957.28	c total #propagations: 18519623 / total #impl: 425334460 (eff. 0.044)
957.04/957.28	c #Conflicts:      67000 | #Learnt:      12081 | 0.000
957.04/957.28	c total clause space: 545.701MB
957.04/957.28	c total #watches: 2508540
990.64/990.80	c total #propagations: 18751673 / total #impl: 437534514 (eff. 0.043)
990.64/990.80	c #Conflicts:      68000 | #Learnt:      13081 | 0.000
990.64/990.80	c total clause space: 545.701MB
990.64/990.80	c total #watches: 2652362
1010.74/1010.93	c total #propagations: 19089591 / total #impl: 444040471 (eff. 0.043)
1010.74/1010.93	c GC COLLECT
1010.74/1010.93	c #Conflicts:      69000 | #Learnt:       7882 | 0.000
1010.74/1010.93	c total clause space: 545.701MB
1010.74/1010.93	c total #watches: 1751637
1023.23/1023.49	c total #propagations: 19428013 / total #impl: 449180180 (eff. 0.043)
1023.23/1023.49	c #Conflicts:      70000 | #Learnt:       8882 | 0.000
1023.23/1023.49	c total clause space: 545.701MB
1023.23/1023.49	c total #watches: 1892605
1040.13/1040.37	c total #propagations: 19946590 / total #impl: 453279626 (eff. 0.044)
1040.13/1040.37	c #Conflicts:      71000 | #Learnt:       9882 | 0.000
1040.13/1040.37	c total clause space: 545.701MB
1040.13/1040.37	c total #watches: 2020488
1056.93/1057.20	c total #propagations: 20197249 / total #impl: 457893882 (eff. 0.044)
1056.93/1057.20	c #Conflicts:      72000 | #Learnt:      10882 | 0.000
1056.93/1057.20	c total clause space: 545.701MB
1056.93/1057.20	c total #watches: 2157926
1076.22/1076.43	c total #propagations: 20276837 / total #impl: 461897815 (eff. 0.044)
1076.22/1076.43	c #Conflicts:      73000 | #Learnt:      11882 | 0.000
1076.22/1076.43	c total clause space: 545.701MB
1076.22/1076.43	c total #watches: 2326696
1094.52/1094.71	c total #propagations: 20595912 / total #impl: 466456643 (eff. 0.044)
1094.52/1094.71	c #Conflicts:      74000 | #Learnt:      12882 | 0.000
1094.52/1094.71	c total clause space: 545.701MB
1094.52/1094.71	c total #watches: 2485450
1108.02/1108.27	c total #propagations: 20670897 / total #impl: 478170638 (eff. 0.043)
1108.02/1108.27	c GC COLLECT
1108.02/1108.27	c #Conflicts:      75000 | #Learnt:       7384 | 0.000
1108.02/1108.27	c total clause space: 545.701MB
1108.02/1108.27	c total #watches: 1711972
1124.22/1124.43	c total #propagations: 20734183 / total #impl: 492315910 (eff. 0.042)
1124.22/1124.43	c #Conflicts:      76000 | #Learnt:       8384 | 0.000
1124.22/1124.43	c total clause space: 545.701MB
1124.22/1124.43	c total #watches: 1856236
1137.91/1138.16	c total #propagations: 20948427 / total #impl: 498464196 (eff. 0.042)
1137.91/1138.16	c #Conflicts:      77000 | #Learnt:       9384 | 0.000
1137.91/1138.16	c total clause space: 545.701MB
1137.91/1138.16	c total #watches: 1986875
1151.52/1151.77	c total #propagations: 21333523 / total #impl: 505302462 (eff. 0.042)
1151.52/1151.77	c #Conflicts:      78000 | #Learnt:      10384 | 0.000
1151.52/1151.77	c total clause space: 545.701MB
1151.52/1151.77	c total #watches: 2137303
1164.41/1164.64	c total #propagations: 21541985 / total #impl: 508531538 (eff. 0.042)
1164.41/1164.64	c #Conflicts:      79000 | #Learnt:      11384 | 0.000
1164.41/1164.64	c total clause space: 545.701MB
1164.41/1164.64	c total #watches: 2274452
1178.71/1178.97	c total #propagations: 21743082 / total #impl: 512036890 (eff. 0.042)
1178.71/1178.97	c #Conflicts:      80000 | #Learnt:      12384 | 0.000
1178.71/1178.97	c total clause space: 545.701MB
1178.71/1178.97	c total #watches: 2399924
1193.60/1193.85	c total #propagations: 21784650 / total #impl: 518606736 (eff. 0.042)
1193.60/1193.85	c #Conflicts:      81000 | #Learnt:      13384 | 0.000
1193.60/1193.85	c total clause space: 545.701MB
1193.60/1193.85	c total #watches: 2555176
1212.10/1212.34	c total #propagations: 22206046 / total #impl: 521714833 (eff. 0.043)
1212.10/1212.34	c GC COLLECT
1212.10/1212.34	c #Conflicts:      82000 | #Learnt:       7583 | 0.000
1212.10/1212.34	c total clause space: 545.701MB
1212.10/1212.34	c total #watches: 1686743
1229.10/1229.31	c total #propagations: 22784233 / total #impl: 524722081 (eff. 0.043)
1229.10/1229.31	c #Conflicts:      83000 | #Learnt:       8583 | 0.000
1229.10/1229.31	c total clause space: 545.701MB
1229.10/1229.31	c total #watches: 1813114
1243.79/1244.03	c total #propagations: 23365548 / total #impl: 528132416 (eff. 0.044)
1243.79/1244.03	c #Conflicts:      84000 | #Learnt:       9583 | 0.000
1243.79/1244.03	c total clause space: 545.701MB
1243.79/1244.03	c total #watches: 1943949
1256.00/1256.27	c total #propagations: 23587503 / total #impl: 531268174 (eff. 0.044)
1256.00/1256.27	c #Conflicts:      85000 | #Learnt:      10583 | 0.000
1256.00/1256.27	c total clause space: 545.701MB
1256.00/1256.27	c total #watches: 2086594
1271.99/1272.21	c total #propagations: 23642090 / total #impl: 534276502 (eff. 0.044)
1271.99/1272.21	c #Conflicts:      86000 | #Learnt:      11583 | 0.000
1271.99/1272.21	c total clause space: 545.701MB
1271.99/1272.21	c total #watches: 2214392
1290.39/1290.67	c total #propagations: 23689071 / total #impl: 537937584 (eff. 0.044)
1290.39/1290.67	c #Conflicts:      87000 | #Learnt:      12583 | 0.000
1290.39/1290.67	c total clause space: 545.701MB
1290.39/1290.67	c total #watches: 2377544
1310.08/1310.30	c total #propagations: 23718680 / total #impl: 543077347 (eff. 0.044)
1310.08/1310.30	c #Conflicts:      88000 | #Learnt:      13583 | 0.000
1310.08/1310.30	c total clause space: 545.701MB
1310.08/1310.30	c total #watches: 2570347
1330.99/1331.28	c total #propagations: 23732622 / total #impl: 549125142 (eff. 0.043)
1330.99/1331.28	c #Conflicts:      89000 | #Learnt:      14583 | 0.000
1330.99/1331.28	c total clause space: 545.701MB
1330.99/1331.28	c total #watches: 2759133
1357.48/1357.78	c total #propagations: 23742478 / total #impl: 555992894 (eff. 0.043)
1357.48/1357.78	c GC COLLECT
1357.48/1357.78	c #Conflicts:      90000 | #Learnt:       8492 | 0.000
1357.48/1357.78	c total clause space: 886.764MB
1357.48/1357.78	c total #watches: 1973094
1373.28/1373.51	c total #propagations: 23968852 / total #impl: 560866108 (eff. 0.043)
1373.28/1373.51	c #Conflicts:      91000 | #Learnt:       9492 | 0.000
1373.28/1373.51	c total clause space: 886.764MB
1373.28/1373.51	c total #watches: 2149660
1393.98/1394.21	c total #propagations: 24487554 / total #impl: 567078065 (eff. 0.043)
1393.98/1394.21	c #Conflicts:      92000 | #Learnt:      10492 | 0.000
1393.98/1394.21	c total clause space: 886.764MB
1393.98/1394.21	c total #watches: 2323150
1412.77/1413.01	c total #propagations: 25009066 / total #impl: 574030139 (eff. 0.044)
1412.77/1413.01	c #Conflicts:      93000 | #Learnt:      11492 | 0.000
1412.77/1413.01	c total clause space: 886.764MB
1412.77/1413.01	c total #watches: 2489104
1433.57/1433.81	c total #propagations: 25603052 / total #impl: 579808994 (eff. 0.044)
1433.57/1433.81	c #Conflicts:      94000 | #Learnt:      12492 | 0.000
1433.57/1433.81	c total clause space: 886.764MB
1433.57/1433.81	c total #watches: 2641827
1454.96/1455.26	c total #propagations: 26181107 / total #impl: 584984276 (eff. 0.045)
1454.96/1455.26	c #Conflicts:      95000 | #Learnt:      13492 | 0.000
1454.96/1455.26	c total clause space: 886.764MB
1454.96/1455.26	c total #watches: 2804394
1481.47/1481.79	c total #propagations: 26727677 / total #impl: 591565516 (eff. 0.045)
1481.47/1481.79	c #Conflicts:      96000 | #Learnt:      14492 | 0.000
1481.47/1481.79	c total clause space: 886.764MB
1481.47/1481.79	c total #watches: 2947745
1509.16/1509.40	c total #propagations: 27157781 / total #impl: 595928003 (eff. 0.046)
1509.16/1509.40	c #Conflicts:      97000 | #Learnt:      15492 | 0.000
1509.16/1509.40	c total clause space: 886.764MB
1509.16/1509.40	c total #watches: 3117061
1523.56/1523.80	c total #propagations: 27660503 / total #impl: 600260483 (eff. 0.046)
1523.56/1523.80	c GC COLLECT
1523.56/1523.80	c #Conflicts:      98000 | #Learnt:       9091 | 0.000
1523.56/1523.80	c total clause space: 886.764MB
1523.56/1523.80	c total #watches: 2106706
1547.85/1548.14	c total #propagations: 28169376 / total #impl: 604641043 (eff. 0.047)
1547.85/1548.14	c #Conflicts:      99000 | #Learnt:      10091 | 0.000
1547.85/1548.14	c total clause space: 886.764MB
1547.85/1548.14	c total #watches: 2213648
1575.35/1575.62	c total #propagations: 28653979 / total #impl: 608138320 (eff. 0.047)
1575.35/1575.62	c #Conflicts:     100000 | #Learnt:      11091 | 0.000
1575.35/1575.62	c total clause space: 886.764MB
1575.35/1575.62	c total #watches: 2321866
1604.75/1605.06	c total #propagations: 29129819 / total #impl: 611816915 (eff. 0.048)
1604.75/1605.06	c #Conflicts:     101000 | #Learnt:      12091 | 0.000
1604.75/1605.06	c total clause space: 886.764MB
1604.75/1605.06	c total #watches: 2434341
1635.84/1636.15	c total #propagations: 29566076 / total #impl: 617209413 (eff. 0.048)
1635.84/1636.15	c #Conflicts:     102000 | #Learnt:      13091 | 0.000
1635.84/1636.15	c total clause space: 886.764MB
1635.84/1636.15	c total #watches: 2520114
1678.33/1678.67	c total #propagations: 30002541 / total #impl: 622798520 (eff. 0.048)
1678.33/1678.67	c #Conflicts:     103000 | #Learnt:      14094 | 0.000
1678.33/1678.67	c total clause space: 886.764MB
1678.33/1678.67	c total #watches: 2799875
1713.42/1713.76	c total #propagations: 30385109 / total #impl: 627507931 (eff. 0.048)
1713.42/1713.76	c #Conflicts:     104000 | #Learnt:      15094 | 0.000
1713.42/1713.76	c total clause space: 886.764MB
1713.42/1713.76	c total #watches: 2954254
1746.32/1746.62	c total #propagations: 30985229 / total #impl: 631117145 (eff. 0.049)
1746.32/1746.62	c #Conflicts:     105000 | #Learnt:      16094 | 0.000
1746.32/1746.62	c total clause space: 886.764MB
1746.32/1746.62	c total #watches: 3123742
1766.71/1767.04	c total #propagations: 31369720 / total #impl: 634781592 (eff. 0.049)
1766.71/1767.04	c GC COLLECT
1766.71/1767.04	c #Conflicts:     106000 | #Learnt:       9390 | 0.000
1766.71/1767.04	c total clause space: 886.764MB
1766.71/1767.04	c total #watches: 1998748
1777.91/1778.23	c total #propagations: 31453451 / total #impl: 638571820 (eff. 0.049)
1777.91/1778.23	c #Conflicts:     107000 | #Learnt:      10390 | 0.000
1777.91/1778.23	c total clause space: 886.764MB
1777.91/1778.23	c total #watches: 2150661
1789.52/1789.81	c total #propagations: 31895239 / total #impl: 642724945 (eff. 0.050)
1789.52/1789.81	c #Conflicts:     108000 | #Learnt:      11390 | 0.000
1789.52/1789.81	c total clause space: 886.764MB
1789.52/1789.81	c total #watches: 2301665
1797.71/1798.05	c total #propagations: 32231184 / total #impl: 647025011 (eff. 0.050)
1797.71/1798.05	c #Conflicts:     109000 | #Learnt:      12390 | 0.000
1797.71/1798.05	c total clause space: 886.764MB
1797.71/1798.05	c total #watches: 2494824

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

pid=6609
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.18 2.21 2.18 3/177 6612
/proc/meminfo: memFree=24000272/32872528 swapFree=12440/1155036
[pid=6612] ppid=6609 vsize=33468 CPUtime=0 cores=1,3,5,7
/proc/6612/stat : 6612 (cdcl-cuttingpla) R 6609 6612 4301 0 -1 4202496 278 0 0 0 0 0 0 0 20 0 1 0 3712660 34271232 5270 33554432000 4194304 6201397 140734190903488 140737048978808 5194084 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6612/statm: 8367 5270 130 491 0 7866 0

[startup+0.100166 s]
/proc/loadavg: 2.18 2.21 2.18 3/177 6612
/proc/meminfo: memFree=24000272/32872528 swapFree=12440/1155036
[pid=6612] ppid=6609 vsize=34536 CPUtime=0.09 cores=1,3,5,7
/proc/6612/stat : 6612 (cdcl-cuttingpla) R 6609 6612 4301 0 -1 4202496 909 0 0 0 9 0 0 0 20 0 1 0 3712660 35364864 7296 33554432000 4194304 6201397 140734190903488 140734190902056 4221557 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6612/statm: 8634 7296 146 491 0 8133 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34536

[startup+0.200394 s]
/proc/loadavg: 2.18 2.21 2.18 3/177 6612
/proc/meminfo: memFree=24000272/32872528 swapFree=12440/1155036
[pid=6612] ppid=6609 vsize=42908 CPUtime=0.19 cores=1,3,5,7
/proc/6612/stat : 6612 (cdcl-cuttingpla) R 6609 6612 4301 0 -1 4202496 1378 0 0 0 19 0 0 0 20 0 1 0 3712660 43937792 8257 33554432000 4194304 6201397 140734190903488 140734190902056 5141770 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6612/statm: 10727 8257 147 491 0 10226 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 42908

[startup+0.30038 s]
/proc/loadavg: 2.18 2.21 2.18 3/177 6612
/proc/meminfo: memFree=24000272/32872528 swapFree=12440/1155036
[pid=6612] ppid=6609 vsize=50088 CPUtime=0.29 cores=1,3,5,7
/proc/6612/stat : 6612 (cdcl-cuttingpla) R 6609 6612 4301 0 -1 4202496 1611 0 0 0 29 0 0 0 20 0 1 0 3712660 51290112 8973 33554432000 4194304 6201397 140734190903488 140734190902056 4214952 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6612/statm: 12522 8973 147 491 0 12021 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50088

[startup+0.700257 s]
/proc/loadavg: 2.18 2.21 2.18 3/177 6612
/proc/meminfo: memFree=24000272/32872528 swapFree=12440/1155036
[pid=6612] ppid=6609 vsize=67392 CPUtime=0.69 cores=1,3,5,7
/proc/6612/stat : 6612 (cdcl-cuttingpla) R 6609 6612 4301 0 -1 4202496 3261 0 0 0 68 1 0 0 20 0 1 0 3712660 69009408 13656 33554432000 4194304 6201397 140734190903488 140734190902056 4213168 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6612/statm: 16848 13656 147 491 0 16347 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 67392

[startup+1.5003 s]
/proc/loadavg: 2.16 2.21 2.18 3/178 6613
/proc/meminfo: memFree=23932692/32872528 swapFree=12440/1155036
[pid=6612] ppid=6609 vsize=124848 CPUtime=1.49 cores=1,3,5,7
/proc/6612/stat : 6612 (cdcl-cuttingpla) R 6609 6612 4301 0 -1 4202496 5535 0 0 0 147 2 0 0 20 0 1 0 3712660 127844352 21506 33554432000 4194304 6201397 140734190903488 140734190902520 4213178 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6612/statm: 31212 21506 147 491 0 30711 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 124848

[startup+3.10027 s]
/proc/loadavg: 2.16 2.21 2.18 3/178 6613
/proc/meminfo: memFree=23891120/32872528 swapFree=12440/1155036
[pid=6612] ppid=6609 vsize=175408 CPUtime=3.09 cores=1,3,5,7
/proc/6612/stat : 6612 (cdcl-cuttingpla) R 6609 6612 4301 0 -1 4202496 5868 0 0 0 306 3 0 0 20 0 1 0 3712660 179617792 31013 33554432000 4194304 6201397 140734190903488 140734190902200 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6612/statm: 43852 31013 147 491 0 43351 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 175408

[startup+6.30032 s]
/proc/loadavg: 2.16 2.21 2.18 3/178 6613
/proc/meminfo: memFree=23796696/32872528 swapFree=12440/1155036
[pid=6612] ppid=6609 vsize=272620 CPUtime=6.28 cores=1,3,5,7
/proc/6612/stat : 6612 (cdcl-cuttingpla) R 6609 6612 4301 0 -1 4202496 9864 0 0 0 624 4 0 0 20 0 1 0 3712660 279162880 50827 33554432000 4194304 6201397 140734190903488 140734190902440 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6612/statm: 68155 50827 160 491 0 67654 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 272620

[startup+12.7003 s]
/proc/loadavg: 2.30 2.23 2.19 4/177 6613
/proc/meminfo: memFree=23764452/32872528 swapFree=12440/1155036
[pid=6612] ppid=6609 vsize=272892 CPUtime=12.69 cores=1,3,5,7
/proc/6612/stat : 6612 (cdcl-cuttingpla) R 6609 6612 4301 0 -1 4202496 12916 0 0 0 1264 5 0 0 20 0 1 0 3712660 279441408 54178 33554432000 4194304 6201397 140734190903488 140734190902328 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6612/statm: 68223 54178 166 491 0 67722 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 272892

[startup+25.5004 s]
/proc/loadavg: 2.25 2.22 2.18 3/177 6613
/proc/meminfo: memFree=23698300/32872528 swapFree=12440/1155036
[pid=6612] ppid=6609 vsize=277920 CPUtime=25.49 cores=1,3,5,7
/proc/6612/stat : 6612 (cdcl-cuttingpla) R 6609 6612 4301 0 -1 4202496 14128 0 0 0 2543 6 0 0 20 0 1 0 3712660 284590080 66620 33554432000 4194304 6201397 140734190903488 140734190902184 4213672 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6612/statm: 69480 66620 166 491 0 68979 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 277920

[startup+51.1004 s]
/proc/loadavg: 2.23 2.22 2.18 3/177 6613
/proc/meminfo: memFree=23646680/32872528 swapFree=12440/1155036
[pid=6612] ppid=6609 vsize=291432 CPUtime=51.08 cores=1,3,5,7
/proc/6612/stat : 6612 (cdcl-cuttingpla) R 6609 6612 4301 0 -1 4202496 17282 0 0 0 5101 7 0 0 20 0 1 0 3712660 298426368 70281 33554432000 4194304 6201397 140734190903488 140734190902152 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6612/statm: 72858 70281 166 491 0 72357 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 291432

[startup+102.3 s]
/proc/loadavg: 2.26 2.23 2.18 4/177 6614
/proc/meminfo: memFree=23578248/32872528 swapFree=12440/1155036
[pid=6612] ppid=6609 vsize=429040 CPUtime=102.28 cores=1,3,5,7
/proc/6612/stat : 6612 (cdcl-cuttingpla) R 6609 6612 4301 0 -1 4202496 18455 0 0 0 10220 8 0 0 20 0 1 0 3712660 439336960 83718 33554432000 4194304 6201397 140734190903488 140734190902200 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6612/statm: 107260 83718 166 491 0 106759 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 429040

[startup+162.3 s]
/proc/loadavg: 2.19 2.21 2.18 3/177 6616
/proc/meminfo: memFree=23525108/32872528 swapFree=12440/1155036
[pid=6612] ppid=6609 vsize=443508 CPUtime=162.26 cores=1,3,5,7
/proc/6612/stat : 6612 (cdcl-cuttingpla) R 6609 6612 4301 0 -1 4202496 21455 0 0 0 16216 10 0 0 20 0 1 0 3712660 454152192 96938 33554432000 4194304 6201397 140734190903488 140734190902152 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6612/statm: 110877 96938 166 491 0 110376 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 443508

[startup+222.307 s]
/proc/loadavg: 2.15 2.20 2.18 3/177 6617
/proc/meminfo: memFree=23492596/32872528 swapFree=12440/1155036
[pid=6612] ppid=6609 vsize=447028 CPUtime=222.26 cores=1,3,5,7
/proc/6612/stat : 6612 (cdcl-cuttingpla) R 6609 6612 4301 0 -1 4202496 22207 0 0 0 22215 11 0 0 20 0 1 0 3712660 457756672 104844 33554432000 4194304 6201397 140734190903488 140734190902152 4213257 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6612/statm: 111757 104844 166 491 0 111256 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 447028

[startup+282.3 s]
/proc/loadavg: 2.23 2.21 2.18 4/177 6664
/proc/meminfo: memFree=24429940/32872528 swapFree=12440/1155036
[pid=6612] ppid=6609 vsize=669028 CPUtime=282.25 cores=1,3,5,7
/proc/6612/stat : 6612 (cdcl-cuttingpla) R 6609 6612 4301 0 -1 4202496 24170 0 0 0 28212 13 0 0 20 0 1 0 3712660 685084672 113646 33554432000 4194304 6201397 140734190903488 140734190902152 4213178 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6612/statm: 167257 113646 166 491 0 166756 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 669028

[startup+342.3 s]
/proc/loadavg: 2.26 2.22 2.18 3/177 6665
/proc/meminfo: memFree=24333496/32872528 swapFree=12440/1155036
[pid=6612] ppid=6609 vsize=679696 CPUtime=342.24 cores=1,3,5,7
/proc/6612/stat : 6612 (cdcl-cuttingpla) R 6609 6612 4301 0 -1 4202496 26107 0 0 0 34210 14 0 0 20 0 1 0 3712660 696008704 121639 33554432000 4194304 6201397 140734190903488 140734190902616 4213170 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6612/statm: 169924 121639 166 491 0 169423 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 679696

[startup+402.3 s]
/proc/loadavg: 2.27 2.22 2.18 3/177 6666
/proc/meminfo: memFree=24257272/32872528 swapFree=12440/1155036
[pid=6612] ppid=6609 vsize=681676 CPUtime=402.22 cores=1,3,5,7
/proc/6612/stat : 6612 (cdcl-cuttingpla) R 6609 6612 4301 0 -1 4202496 26447 0 0 0 40208 14 0 0 20 0 1 0 3712660 698036224 126095 33554432000 4194304 6201397 140734190903488 140734190902616 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6612/statm: 170419 126095 166 491 0 169918 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 681676

[startup+462.3 s]
/proc/loadavg: 2.25 2.22 2.18 4/177 6668
/proc/meminfo: memFree=24216448/32872528 swapFree=12440/1155036
[pid=6612] ppid=6609 vsize=701480 CPUtime=462.22 cores=1,3,5,7
/proc/6612/stat : 6612 (cdcl-cuttingpla) R 6609 6612 4301 0 -1 4202496 29983 0 0 0 46206 16 0 0 20 0 1 0 3712660 718315520 134741 33554432000 4194304 6201397 140734190903488 140734190902152 4213178 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6612/statm: 175370 134741 166 491 0 174869 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 701480

[startup+522.3 s]
/proc/loadavg: 2.32 2.24 2.19 3/177 6669
/proc/meminfo: memFree=24194212/32872528 swapFree=12440/1155036
[pid=6612] ppid=6609 vsize=709136 CPUtime=522.2 cores=1,3,5,7
/proc/6612/stat : 6612 (cdcl-cuttingpla) R 6609 6612 4301 0 -1 4202496 31473 0 0 0 52204 16 0 0 20 0 1 0 3712660 726155264 136231 33554432000 4194304 6201397 140734190903488 140734190902152 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6612/statm: 177284 136231 166 491 0 176783 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 709136

[startup+582.3 s]
/proc/loadavg: 2.38 2.27 2.20 3/178 6673
/proc/meminfo: memFree=24144220/32872528 swapFree=12440/1155036
[pid=6612] ppid=6609 vsize=710720 CPUtime=582.2 cores=1,3,5,7
/proc/6612/stat : 6612 (cdcl-cuttingpla) R 6609 6612 4301 0 -1 4202496 31789 0 0 0 58203 17 0 0 20 0 1 0 3712660 727777280 143190 33554432000 4194304 6201397 140734190903488 140734190902616 4213168 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6612/statm: 177680 143190 166 491 0 177179 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 710720


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


[startup+942.3 s]
/proc/loadavg: 2.10 2.18 2.17 3/177 6680
/proc/meminfo: memFree=23947728/32872528 swapFree=12440/1155036
[pid=6612] ppid=6609 vsize=734168 CPUtime=942.14 cores=1,3,5,7
/proc/6612/stat : 6612 (cdcl-cuttingpla) R 6609 6612 4301 0 -1 4202496 35926 0 0 0 94196 18 0 0 20 0 1 0 3712660 751788032 159080 33554432000 4194304 6201397 140734190903488 140734190902152 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6612/statm: 183542 159080 166 491 0 183041 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 734168

[startup+1002.3 s]
/proc/loadavg: 2.15 2.18 2.17 4/177 6681
/proc/meminfo: memFree=23896896/32872528 swapFree=12440/1155036
[pid=6612] ppid=6609 vsize=748688 CPUtime=1002.14 cores=1,3,5,7
/proc/6612/stat : 6612 (cdcl-cuttingpla) R 6609 6612 4301 0 -1 4202496 38241 0 0 0 100195 19 0 0 20 0 1 0 3712660 766656512 165994 33554432000 4194304 6201397 140734190903488 140734190902616 4213168 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6612/statm: 187172 165994 166 491 0 186671 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 748688

[startup+1062.3 s]
/proc/loadavg: 2.18 2.18 2.17 3/177 6683
/proc/meminfo: memFree=23884268/32872528 swapFree=12440/1155036
[pid=6612] ppid=6609 vsize=748688 CPUtime=1062.13 cores=1,3,5,7
/proc/6612/stat : 6612 (cdcl-cuttingpla) R 6609 6612 4301 0 -1 4202496 38241 0 0 0 106194 19 0 0 20 0 1 0 3712660 766656512 165994 33554432000 4194304 6201397 140734190903488 140734190902616 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6612/statm: 187172 165994 166 491 0 186671 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 748688

[startup+1122.3 s]
/proc/loadavg: 2.24 2.19 2.18 3/177 6684
/proc/meminfo: memFree=23856072/32872528 swapFree=12440/1155036
[pid=6612] ppid=6609 vsize=748952 CPUtime=1122.12 cores=1,3,5,7
/proc/6612/stat : 6612 (cdcl-cuttingpla) R 6609 6612 4301 0 -1 4202496 38296 0 0 0 112193 19 0 0 20 0 1 0 3712660 766926848 170648 33554432000 4194304 6201397 140734190903488 140734190902616 4213170 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6612/statm: 187238 170648 166 491 0 186737 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 748952

[startup+1182.3 s]
/proc/loadavg: 2.20 2.18 2.17 4/178 6688
/proc/meminfo: memFree=23825588/32872528 swapFree=12440/1155036
[pid=6612] ppid=6609 vsize=748952 CPUtime=1182.11 cores=1,3,5,7
/proc/6612/stat : 6612 (cdcl-cuttingpla) R 6609 6612 4301 0 -1 4202496 38303 0 0 0 118192 19 0 0 20 0 1 0 3712660 766926848 170655 33554432000 4194304 6201397 140734190903488 140734190902616 4213178 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6612/statm: 187238 170655 166 491 0 186737 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 748952

[startup+1242.3 s]
/proc/loadavg: 2.14 2.16 2.17 3/177 6689
/proc/meminfo: memFree=23788216/32872528 swapFree=12440/1155036
[pid=6612] ppid=6609 vsize=748952 CPUtime=1242.09 cores=1,3,5,7
/proc/6612/stat : 6612 (cdcl-cuttingpla) R 6609 6612 4301 0 -1 4202496 38335 0 0 0 124190 19 0 0 20 0 1 0 3712660 766926848 175286 33554432000 4194304 6201397 140734190903488 140734190902616 4213168 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6612/statm: 187238 175286 166 491 0 186737 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 748952

[startup+1302.3 s]
/proc/loadavg: 2.13 2.16 2.17 3/177 6690
/proc/meminfo: memFree=23768028/32872528 swapFree=12440/1155036
[pid=6612] ppid=6609 vsize=749876 CPUtime=1302.08 cores=1,3,5,7
/proc/6612/stat : 6612 (cdcl-cuttingpla) R 6609 6612 4301 0 -1 4202496 38496 0 0 0 130189 19 0 0 20 0 1 0 3712660 767873024 175447 33554432000 4194304 6201397 140734190903488 140734190902200 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6612/statm: 187469 175447 166 491 0 186968 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 749876

[startup+1362.3 s]
/proc/loadavg: 2.34 2.21 2.18 4/177 6692
/proc/meminfo: memFree=23729604/32872528 swapFree=12440/1155036
[pid=6612] ppid=6609 vsize=1101764 CPUtime=1362.08 cores=1,3,5,7
/proc/6612/stat : 6612 (cdcl-cuttingpla) R 6609 6612 4301 0 -1 4202496 39561 0 0 0 136188 20 0 0 20 0 1 0 3712660 1128206336 181747 33554432000 4194304 6201397 140734190903488 140734190902616 4213178 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6612/statm: 275441 181747 166 491 0 274940 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1101764

[startup+1422.3 s]
/proc/loadavg: 2.35 2.23 2.19 3/177 6693
/proc/meminfo: memFree=23708976/32872528 swapFree=12440/1155036
[pid=6612] ppid=6609 vsize=1104536 CPUtime=1422.08 cores=1,3,5,7
/proc/6612/stat : 6612 (cdcl-cuttingpla) R 6609 6612 4301 0 -1 4202496 39965 0 0 0 142188 20 0 0 20 0 1 0 3712660 1131044864 182151 33554432000 4194304 6201397 140734190903488 140734190902200 4213110 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6612/statm: 276134 182151 166 491 0 275633 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1104536

[startup+1482.3 s]
/proc/loadavg: 2.23 2.21 2.18 3/177 6694
/proc/meminfo: memFree=23690160/32872528 swapFree=12440/1155036
[pid=6612] ppid=6609 vsize=1106252 CPUtime=1482.06 cores=1,3,5,7
/proc/6612/stat : 6612 (cdcl-cuttingpla) R 6609 6612 4301 0 -1 4202496 40372 0 0 0 148186 20 0 0 20 0 1 0 3712660 1132802048 182558 33554432000 4194304 6201397 140734190903488 140734190902616 4213168 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6612/statm: 276563 182558 166 491 0 276062 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1106252

[startup+1542.31 s]
/proc/loadavg: 2.24 2.20 2.18 4/177 6695
/proc/meminfo: memFree=23659568/32872528 swapFree=12440/1155036
[pid=6612] ppid=6609 vsize=1106252 CPUtime=1542.06 cores=1,3,5,7
/proc/6612/stat : 6612 (cdcl-cuttingpla) R 6609 6612 4301 0 -1 4202496 40628 0 0 0 154185 21 0 0 20 0 1 0 3712660 1132802048 189968 33554432000 4194304 6201397 140734190903488 140734190902616 4213110 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6612/statm: 276563 189968 166 491 0 276062 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 1106252

[startup+1602.3 s]
/proc/loadavg: 2.22 2.20 2.18 3/177 6696
/proc/meminfo: memFree=23649492/32872528 swapFree=12440/1155036
[pid=6612] ppid=6609 vsize=1106252 CPUtime=1602.04 cores=1,3,5,7
/proc/6612/stat : 6612 (cdcl-cuttingpla) R 6609 6612 4301 0 -1 4202496 40628 0 0 0 160183 21 0 0 20 0 1 0 3712660 1132802048 189968 33554432000 4194304 6201397 140734190903488 140734190902616 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6612/statm: 276563 189968 166 491 0 276062 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 1106252

[startup+1662.3 s]
/proc/loadavg: 2.15 2.17 2.17 3/177 6698
/proc/meminfo: memFree=23626704/32872528 swapFree=12440/1155036
[pid=6612] ppid=6609 vsize=1118132 CPUtime=1662.03 cores=1,3,5,7
/proc/6612/stat : 6612 (cdcl-cuttingpla) R 6609 6612 4301 0 -1 4202496 42371 0 0 0 166182 21 0 0 20 0 1 0 3712660 1144967168 191711 33554432000 4194304 6201397 140734190903488 140734190902152 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6612/statm: 279533 191711 166 491 0 279032 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 1118132

[startup+1722.3 s]
/proc/loadavg: 2.22 2.19 2.18 3/177 6699
/proc/meminfo: memFree=23600280/32872528 swapFree=12440/1155036
[pid=6612] ppid=6609 vsize=1140176 CPUtime=1722.02 cores=1,3,5,7
/proc/6612/stat : 6612 (cdcl-cuttingpla) R 6609 6612 4301 0 -1 4202496 45701 0 0 0 172180 22 0 0 20 0 1 0 3712660 1167540224 195041 33554432000 4194304 6201397 140734190903488 140734190902152 4213192 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6612/statm: 285044 195041 166 491 0 284543 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 1140176

[startup+1782.3 s]
/proc/loadavg: 2.19 2.18 2.18 3/178 6703
/proc/meminfo: memFree=23577448/32872528 swapFree=12440/1155036
[pid=6612] ppid=6609 vsize=1141100 CPUtime=1782.01 cores=1,3,5,7
/proc/6612/stat : 6612 (cdcl-cuttingpla) R 6609 6612 4301 0 -1 4202496 45947 0 0 0 178179 22 0 0 20 0 1 0 3712660 1168486400 200397 33554432000 4194304 6201397 140734190903488 140734190902616 4213186 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6612/statm: 285275 200397 166 491 0 284774 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 1141100



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.15 2.17 2.17 3/178 6703
/proc/meminfo: memFree=23577080/32872528 swapFree=12440/1155036
[pid=6612] ppid=6609 vsize=1141100 CPUtime=1800.01 cores=1,3,5,7
/proc/6612/stat : 6612 (cdcl-cuttingpla) R 6609 6612 4301 0 -1 4202496 45947 0 0 0 179979 22 0 0 20 0 1 0 3712660 1168486400 200397 33554432000 4194304 6201397 140734190903488 140734190902616 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6612/statm: 285275 200397 166 491 0 284774 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1141100

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

[startup+1800.3 s]
/proc/loadavg: 2.15 2.17 2.17 3/178 6703
/proc/meminfo: memFree=23577080/32872528 swapFree=12440/1155036
[pid=6612] ppid=6609 vsize=1141100 CPUtime=1800.01 cores=1,3,5,7
/proc/6612/stat : 6612 (cdcl-cuttingpla) R 6609 6612 4301 0 -1 4202496 45947 0 0 0 179979 22 0 0 20 0 1 0 3712660 1168486400 200397 33554432000 4194304 6201397 140734190903488 140734190902616 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6612/statm: 285275 200397 166 491 0 284774 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1141100

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.79
system time used= 0.235964
maximum resident set size= 801588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45947
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= 13
involuntary context switches= 1875

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.2662 second user time and 8.19475 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-29 21:10:52
IDJOB=4118815
IDBENCH=111535
IDSOLVER=2550
FILE ID=node114/4118815-1467227452
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-sporttournament48.lin.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118815-1467227452/watcher-4118815-1467227452 -o /tmp/evaluation-result-4118815-1467227452/solver-4118815-1467227452 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1467214846-5124 --watchdog 1960 --input HOME/instance-4118815-1467227452.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= a3c924ebe8e1086b1c8aa91d10d929c1
RANDOM SEED=1570605170

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:        24000436 kB
Buffers:           87976 kB
Cached:          5772244 kB
SwapCached:            0 kB
Active:          1191164 kB
Inactive:        5767832 kB
Active(anon):    1101088 kB
Inactive(anon):        0 kB
Active(file):      90076 kB
Inactive(file):  5767832 kB
Unevictable:     1155036 kB
Mlocked:           12440 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              2340 kB
Writeback:             0 kB
AnonPages:       2233084 kB
Mapped:            14448 kB
Shmem:               204 kB
Slab:             624140 kB
SReclaimable:      68504 kB
SUnreclaim:       555636 kB
KernelStack:        1480 kB
PageTables:         8284 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2861212 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2162688 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 21:40:53