Trace number 4087975

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

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-mzzv11.opb
MD5SUMa74bcf40291587dc368e3a23fd278be9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-10859
Best CPU time to get the best result obtained on this benchmark217.128
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -10639
Optimality of the best value was proved NO
Number of variables11247
Total number of constraints9744
Number of constraints which are clauses77
Number of constraints which are cardinality constraints (but not clauses)5755
Number of constraints which are nor clauses,nor cardinality constraints3912
Minimum length of a constraint2
Maximum length of a constraint68
Number of terms in the objective function 773
Biggest coefficient in the objective function 1000
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 76861
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 1999
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 76861
Number of bits of the biggest sum of numbers17
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= 11247 #constraint= 9744
0.39/0.48	c #Conflicts:       1000 | #Learnt:       1039 | 1.263
0.39/0.48	c total clause space: 11.2235MB
0.39/0.48	c total #watches: 193008
0.79/0.87	c total #propagations: 901450 / total #impl: 4464013 (eff. 0.202)
0.79/0.87	c #Conflicts:       2000 | #Learnt:       2055 | 0.667
0.79/0.87	c total clause space: 11.2235MB
0.79/0.87	c total #watches: 230083
1.39/1.45	c total #propagations: 1389014 / total #impl: 7926084 (eff. 0.175)
1.39/1.45	c #Conflicts:       3000 | #Learnt:       2132 | 0.446
1.39/1.45	c total clause space: 18.2382MB
1.39/1.45	c total #watches: 254078
2.09/2.20	c total #propagations: 1847449 / total #impl: 13384287 (eff. 0.138)
2.09/2.20	c #Conflicts:       4000 | #Learnt:       3134 | 0.363
2.09/2.20	c total clause space: 18.2382MB
2.09/2.20	c total #watches: 283064
2.89/2.91	c total #propagations: 2233385 / total #impl: 17618175 (eff. 0.127)
2.89/2.91	c GC COLLECT
2.89/2.91	c #Conflicts:       5000 | #Learnt:       2496 | 0.294
2.89/2.91	c total clause space: 18.2382MB
2.89/2.91	c total #watches: 272845
4.39/4.48	c total #propagations: 2612917 / total #impl: 21044605 (eff. 0.124)
4.39/4.48	c #Conflicts:       6000 | #Learnt:       3512 | 0.248
4.39/4.48	c total clause space: 18.2382MB
4.39/4.48	c total #watches: 329229
6.49/6.56	c total #propagations: 3338261 / total #impl: 30084625 (eff. 0.111)
6.49/6.56	c GC COLLECT
6.49/6.56	c #Conflicts:       7000 | #Learnt:       2388 | 0.214
6.49/6.56	c total clause space: 29.637MB
6.49/6.56	c total #watches: 306247
8.39/8.47	c total #propagations: 4063378 / total #impl: 41155178 (eff. 0.099)
8.39/8.47	c #Conflicts:       8000 | #Learnt:       3388 | 0.198
8.39/8.47	c total clause space: 29.637MB
8.39/8.47	c total #watches: 367714
10.49/10.52	c total #propagations: 4761380 / total #impl: 56656487 (eff. 0.084)
10.49/10.52	c #Conflicts:       9000 | #Learnt:       4400 | 0.177
10.49/10.52	c total clause space: 29.637MB
10.49/10.52	c total #watches: 430173
14.19/14.21	c total #propagations: 5417031 / total #impl: 65838989 (eff. 0.082)
14.19/14.21	c GC COLLECT
14.19/14.21	c #Conflicts:      10000 | #Learnt:       2917 | 0.161
14.19/14.21	c total clause space: 29.637MB
14.19/14.21	c total #watches: 420111
17.60/17.65	c total #propagations: 6070053 / total #impl: 83552566 (eff. 0.073)
17.60/17.65	c #Conflicts:      11000 | #Learnt:       3917 | 0.147
17.60/17.65	c total clause space: 29.637MB
17.60/17.65	c total #watches: 502240
23.99/24.02	c total #propagations: 6587262 / total #impl: 96454056 (eff. 0.068)
23.99/24.02	c #Conflicts:      12000 | #Learnt:       4917 | 0.139
23.99/24.02	c total clause space: 29.637MB
23.99/24.02	c total #watches: 552904
29.89/29.91	c total #propagations: 7178704 / total #impl: 112390417 (eff. 0.064)
29.89/29.91	c #Conflicts:      13000 | #Learnt:       5917 | 0.129
29.89/29.91	c total clause space: 29.637MB
29.89/29.91	c total #watches: 582632
32.19/32.29	c total #propagations: 7669535 / total #impl: 121124127 (eff. 0.063)
32.19/32.29	c GC COLLECT
32.19/32.29	c #Conflicts:      14000 | #Learnt:       4064 | 0.120
32.19/32.29	c total clause space: 29.637MB
32.19/32.29	c total #watches: 425045
35.39/35.48	c total #propagations: 8031626 / total #impl: 127325561 (eff. 0.063)
35.39/35.48	c #Conflicts:      15000 | #Learnt:       5064 | 0.112
35.39/35.48	c total clause space: 29.637MB
35.39/35.48	c total #watches: 478853
40.39/40.47	c total #propagations: 8528066 / total #impl: 137013075 (eff. 0.062)
40.39/40.47	c #Conflicts:      16000 | #Learnt:       6064 | 0.105
40.39/40.47	c total clause space: 29.637MB
40.39/40.47	c total #watches: 542309
45.38/45.42	c total #propagations: 9053074 / total #impl: 159350436 (eff. 0.057)
45.38/45.42	c GC COLLECT
45.38/45.42	c #Conflicts:      17000 | #Learnt:       3918 | 0.099
45.38/45.42	c total clause space: 29.637MB
45.38/45.42	c total #watches: 434494
49.08/49.10	c total #propagations: 9537480 / total #impl: 170738261 (eff. 0.056)
49.08/49.10	c #Conflicts:      18000 | #Learnt:       4918 | 0.093
49.08/49.10	c total clause space: 29.637MB
49.08/49.10	c total #watches: 536705
56.98/57.07	c total #propagations: 10254189 / total #impl: 207203569 (eff. 0.049)
56.98/57.07	c #Conflicts:      19000 | #Learnt:       5917 | 0.089
56.98/57.07	c total clause space: 29.637MB
56.98/57.07	c total #watches: 594575
66.58/66.61	c total #propagations: 10859815 / total #impl: 248790096 (eff. 0.044)
66.58/66.61	c #Conflicts:      20000 | #Learnt:       6917 | 0.084
66.58/66.61	c total clause space: 48.1602MB
66.58/66.61	c total #watches: 632887
72.68/72.72	c total #propagations: 11443902 / total #impl: 263283212 (eff. 0.043)
72.68/72.72	c GC COLLECT
72.68/72.72	c #Conflicts:      21000 | #Learnt:       4448 | 0.080
72.68/72.72	c total clause space: 48.1602MB
72.68/72.72	c total #watches: 509586
80.77/80.88	c total #propagations: 11978854 / total #impl: 281308980 (eff. 0.043)
80.77/80.88	c #Conflicts:      22000 | #Learnt:       5448 | 0.077
80.77/80.88	c total clause space: 48.1602MB
80.77/80.88	c total #watches: 565247
86.99/87.05	c total #propagations: 12515270 / total #impl: 302544928 (eff. 0.041)
86.99/87.05	c #Conflicts:      23000 | #Learnt:       6448 | 0.073
86.99/87.05	c total clause space: 48.1602MB
86.99/87.05	c total #watches: 637371
96.58/96.67	c total #propagations: 13033071 / total #impl: 333775220 (eff. 0.039)
96.58/96.67	c #Conflicts:      24000 | #Learnt:       7448 | 0.070
96.58/96.67	c total clause space: 48.1602MB
96.58/96.67	c total #watches: 677632
103.68/103.78	c total #propagations: 13607395 / total #impl: 349570894 (eff. 0.039)
103.68/103.78	c GC COLLECT
103.68/103.78	c #Conflicts:      25000 | #Learnt:       4652 | 0.068
103.68/103.78	c total clause space: 48.1602MB
103.68/103.78	c total #watches: 523103
110.78/110.89	c total #propagations: 14221513 / total #impl: 376656030 (eff. 0.038)
110.78/110.89	c #Conflicts:      26000 | #Learnt:       5652 | 0.065
110.78/110.89	c total clause space: 48.1602MB
110.78/110.89	c total #watches: 627569
125.97/126.01	c total #propagations: 14991786 / total #impl: 424270184 (eff. 0.035)
125.97/126.01	c #Conflicts:      27000 | #Learnt:       6652 | 0.063
125.97/126.01	c total clause space: 48.1602MB
125.97/126.01	c total #watches: 704188
142.67/142.73	c total #propagations: 15718336 / total #impl: 476421915 (eff. 0.033)
142.67/142.73	c #Conflicts:      28000 | #Learnt:       7651 | 0.060
142.67/142.73	c total clause space: 48.1602MB
142.67/142.73	c total #watches: 759519
153.77/153.82	c total #propagations: 16383375 / total #impl: 514449509 (eff. 0.032)
153.77/153.82	c GC COLLECT
153.77/153.82	c #Conflicts:      29000 | #Learnt:       4546 | 0.058
153.77/153.82	c total clause space: 48.1602MB
153.77/153.82	c total #watches: 552110
162.07/162.19	c total #propagations: 16780246 / total #impl: 527885300 (eff. 0.032)
162.07/162.19	c #Conflicts:      30000 | #Learnt:       5546 | 0.056
162.07/162.19	c total clause space: 48.1602MB
162.07/162.19	c total #watches: 612086
171.47/171.50	c total #propagations: 17278006 / total #impl: 551307546 (eff. 0.031)
171.47/171.50	c #Conflicts:      31000 | #Learnt:       6546 | 0.055
171.47/171.50	c total clause space: 48.1602MB
171.47/171.50	c total #watches: 665703
184.26/184.36	c total #propagations: 17806057 / total #impl: 571388349 (eff. 0.031)
184.26/184.36	c #Conflicts:      32000 | #Learnt:       7545 | 0.053
184.26/184.36	c total clause space: 48.1602MB
184.26/184.36	c total #watches: 732566
196.06/196.10	c total #propagations: 18415395 / total #impl: 594618737 (eff. 0.031)
196.06/196.10	c #Conflicts:      33000 | #Learnt:       8545 | 0.051
196.06/196.10	c total clause space: 78.2603MB
196.06/196.10	c total #watches: 800807
207.66/207.76	c total #propagations: 18917001 / total #impl: 620837943 (eff. 0.030)
207.66/207.76	c GC COLLECT
207.66/207.76	c #Conflicts:      34000 | #Learnt:       5145 | 0.050
207.66/207.76	c total clause space: 78.2603MB
207.66/207.76	c total #watches: 575071
217.76/217.82	c total #propagations: 19426225 / total #impl: 647074728 (eff. 0.030)
217.76/217.82	c #Conflicts:      35000 | #Learnt:       6145 | 0.048
217.76/217.82	c total clause space: 78.2603MB
217.76/217.82	c total #watches: 650841
232.45/232.50	c total #propagations: 19950405 / total #impl: 679931142 (eff. 0.029)
232.45/232.50	c #Conflicts:      36000 | #Learnt:       7145 | 0.047
232.45/232.50	c total clause space: 78.2603MB
232.45/232.50	c total #watches: 715636
246.85/246.93	c total #propagations: 20561583 / total #impl: 724249342 (eff. 0.028)
246.85/246.93	c #Conflicts:      37000 | #Learnt:       8145 | 0.046
246.85/246.93	c total clause space: 78.2603MB
246.85/246.93	c total #watches: 781997
263.25/263.35	c total #propagations: 21284440 / total #impl: 756523477 (eff. 0.028)
263.25/263.35	c #Conflicts:      38000 | #Learnt:       9145 | 0.044
263.25/263.35	c total clause space: 78.2603MB
263.25/263.35	c total #watches: 852369
275.65/275.79	c total #propagations: 21907415 / total #impl: 789400460 (eff. 0.028)
275.65/275.79	c GC COLLECT
275.65/275.79	c #Conflicts:      39000 | #Learnt:       5465 | 0.043
275.65/275.79	c total clause space: 78.2603MB
275.65/275.79	c total #watches: 647332
288.94/289.02	c total #propagations: 22504263 / total #impl: 824265222 (eff. 0.027)
288.94/289.02	c #Conflicts:      40000 | #Learnt:       6465 | 0.042
288.94/289.02	c total clause space: 78.2603MB
288.94/289.02	c total #watches: 716976
305.85/305.93	c total #propagations: 23094905 / total #impl: 868141970 (eff. 0.027)
305.85/305.93	c #Conflicts:      41000 | #Learnt:       7465 | 0.041
305.85/305.93	c total clause space: 78.2603MB
305.85/305.93	c total #watches: 770411
330.74/330.85	c total #propagations: 23626114 / total #impl: 900129617 (eff. 0.026)
330.74/330.85	c #Conflicts:      42000 | #Learnt:       8465 | 0.040
330.74/330.85	c total clause space: 78.2603MB
330.74/330.85	c total #watches: 801360
351.44/351.57	c total #propagations: 24129607 / total #impl: 923945512 (eff. 0.026)
351.44/351.57	c #Conflicts:      43000 | #Learnt:       9465 | 0.039
351.44/351.57	c total clause space: 78.2603MB
351.44/351.57	c total #watches: 857268
368.04/368.17	c total #propagations: 24519465 / total #impl: 941884411 (eff. 0.026)
368.04/368.17	c GC COLLECT
368.04/368.17	c #Conflicts:      44000 | #Learnt:       5481 | 0.038
368.04/368.17	c total clause space: 78.2603MB
368.04/368.17	c total #watches: 582886
377.14/377.27	c total #propagations: 24867644 / total #impl: 965713562 (eff. 0.026)
377.14/377.27	c #Conflicts:      45000 | #Learnt:       6481 | 0.038
377.14/377.27	c total clause space: 78.2603MB
377.14/377.27	c total #watches: 627888
388.03/388.17	c total #propagations: 25271879 / total #impl: 980264875 (eff. 0.026)
388.03/388.17	c #Conflicts:      46000 | #Learnt:       7481 | 0.037
388.03/388.17	c total clause space: 78.2603MB
388.03/388.17	c total #watches: 675804
400.13/400.25	c total #propagations: 25811370 / total #impl: 1001612882 (eff. 0.026)
400.13/400.25	c #Conflicts:      47000 | #Learnt:       8481 | 0.036
400.13/400.25	c total clause space: 78.2603MB
400.13/400.25	c total #watches: 713831
412.23/412.39	c total #propagations: 26278293 / total #impl: 1019868501 (eff. 0.026)
412.23/412.39	c #Conflicts:      48000 | #Learnt:       9480 | 0.035
412.23/412.39	c total clause space: 78.2603MB
412.23/412.39	c total #watches: 739428
419.33/419.46	c total #propagations: 26702818 / total #impl: 1033923294 (eff. 0.026)
419.33/419.46	c #Conflicts:      49000 | #Learnt:      10481 | 0.035
419.33/419.46	c total clause space: 78.2603MB
419.33/419.46	c total #watches: 794991
425.83/425.94	c total #propagations: 27289537 / total #impl: 1054408374 (eff. 0.026)
425.83/425.94	c GC COLLECT
425.83/425.94	c #Conflicts:      50000 | #Learnt:       6168 | 0.034
425.83/425.94	c total clause space: 78.2603MB
425.83/425.94	c total #watches: 568645
432.13/432.20	c total #propagations: 27885359 / total #impl: 1078871578 (eff. 0.026)
432.13/432.20	c #Conflicts:      51000 | #Learnt:       7167 | 0.034
432.13/432.20	c total clause space: 78.2603MB
432.13/432.20	c total #watches: 641957
440.13/440.24	c total #propagations: 28678756 / total #impl: 1111646777 (eff. 0.026)
440.13/440.24	c #Conflicts:      52000 | #Learnt:       8167 | 0.033
440.13/440.24	c total clause space: 78.2603MB
440.13/440.24	c total #watches: 699836
448.73/448.86	c total #propagations: 29204992 / total #impl: 1135619394 (eff. 0.026)
448.73/448.86	c #Conflicts:      53000 | #Learnt:       9167 | 0.032
448.73/448.86	c total clause space: 78.2603MB
448.73/448.86	c total #watches: 744487
455.22/455.31	c total #propagations: 29690182 / total #impl: 1158298354 (eff. 0.026)
455.22/455.31	c #Conflicts:      54000 | #Learnt:      10167 | 0.033
455.22/455.31	c total clause space: 78.2603MB
455.22/455.31	c total #watches: 839856
470.22/470.39	c total #propagations: 30287465 / total #impl: 1193827693 (eff. 0.025)
470.22/470.39	c #Conflicts:      55000 | #Learnt:      11169 | 0.033
470.22/470.39	c total clause space: 78.2603MB
470.22/470.39	c total #watches: 936722
488.11/488.21	c total #propagations: 31263398 / total #impl: 1245812398 (eff. 0.025)
488.11/488.21	c GC COLLECT
488.11/488.21	c #Conflicts:      56000 | #Learnt:       6580 | 0.032
488.11/488.21	c total clause space: 78.2603MB
488.11/488.21	c total #watches: 731463
502.41/502.57	c total #propagations: 32286293 / total #impl: 1293486310 (eff. 0.025)
502.41/502.57	c #Conflicts:      57000 | #Learnt:       7585 | 0.032
502.41/502.57	c total clause space: 78.2603MB
502.41/502.57	c total #watches: 809657
517.60/517.75	c total #propagations: 32995043 / total #impl: 1320071455 (eff. 0.025)
517.60/517.75	c #Conflicts:      58000 | #Learnt:       8585 | 0.031
517.60/517.75	c total clause space: 78.2603MB
517.60/517.75	c total #watches: 845771
532.50/532.66	c total #propagations: 33519705 / total #impl: 1345036768 (eff. 0.025)
532.50/532.66	c #Conflicts:      59000 | #Learnt:       9585 | 0.031
532.50/532.66	c total clause space: 78.2603MB
532.50/532.66	c total #watches: 873771
547.29/547.47	c total #propagations: 34027295 / total #impl: 1366832433 (eff. 0.025)
547.29/547.47	c #Conflicts:      60000 | #Learnt:      10585 | 0.030
547.29/547.47	c total clause space: 78.2603MB
547.29/547.47	c total #watches: 925938
562.89/563.00	c total #propagations: 34484324 / total #impl: 1398000775 (eff. 0.025)
562.89/563.00	c #Conflicts:      61000 | #Learnt:      11585 | 0.030
562.89/563.00	c total clause space: 78.2603MB
562.89/563.00	c total #watches: 963041
574.29/574.45	c total #propagations: 34917700 / total #impl: 1425317050 (eff. 0.024)
574.29/574.45	c GC COLLECT
574.29/574.45	c #Conflicts:      62000 | #Learnt:       6670 | 0.029
574.29/574.45	c total clause space: 78.2603MB
574.29/574.45	c total #watches: 584632
580.70/580.83	c total #propagations: 35410796 / total #impl: 1444787934 (eff. 0.025)
580.70/580.83	c #Conflicts:      63000 | #Learnt:       7670 | 0.029
580.70/580.83	c total clause space: 78.2603MB
580.70/580.83	c total #watches: 634618
586.39/586.51	c total #propagations: 35768488 / total #impl: 1467499930 (eff. 0.024)
586.39/586.51	c #Conflicts:      64000 | #Learnt:       8669 | 0.028
586.39/586.51	c total clause space: 78.2603MB
586.39/586.51	c total #watches: 708164
592.89/593.03	c total #propagations: 36261424 / total #impl: 1495167972 (eff. 0.024)
592.89/593.03	c #Conflicts:      65000 | #Learnt:       9669 | 0.028
592.89/593.03	c total clause space: 78.2603MB
592.89/593.03	c total #watches: 806548
602.48/602.67	c total #propagations: 36845260 / total #impl: 1526521788 (eff. 0.024)
602.48/602.67	c #Conflicts:      66000 | #Learnt:      10669 | 0.027
602.48/602.67	c total clause space: 78.2603MB
602.48/602.67	c total #watches: 889761
615.28/615.45	c total #propagations: 37461557 / total #impl: 1563800838 (eff. 0.024)
615.28/615.45	c #Conflicts:      67000 | #Learnt:      11669 | 0.027
615.28/615.45	c total clause space: 78.2603MB
615.28/615.45	c total #watches: 962421
631.79/631.93	c total #propagations: 37887554 / total #impl: 1602715279 (eff. 0.024)
631.79/631.93	c #Conflicts:      68000 | #Learnt:      12669 | 0.026
631.79/631.93	c total clause space: 78.2603MB
631.79/631.93	c total #watches: 1020734
639.99/640.19	c total #propagations: 38292136 / total #impl: 1634734232 (eff. 0.023)
639.99/640.19	c GC COLLECT
639.99/640.19	c #Conflicts:      69000 | #Learnt:       7456 | 0.026
639.99/640.19	c total clause space: 78.2603MB
639.99/640.19	c total #watches: 733219
651.78/651.93	c total #propagations: 38625997 / total #impl: 1650555375 (eff. 0.023)
651.78/651.93	c #Conflicts:      70000 | #Learnt:       8456 | 0.026
651.78/651.93	c total clause space: 78.2603MB
651.78/651.93	c total #watches: 783366
663.08/663.22	c total #propagations: 39132325 / total #impl: 1678714523 (eff. 0.023)
663.08/663.22	c #Conflicts:      71000 | #Learnt:       9456 | 0.025
663.08/663.22	c total clause space: 78.2603MB
663.08/663.22	c total #watches: 826205
673.28/673.48	c total #propagations: 39534334 / total #impl: 1706188825 (eff. 0.023)
673.28/673.48	c #Conflicts:      72000 | #Learnt:      10456 | 0.025
673.28/673.48	c total clause space: 78.2603MB
673.28/673.48	c total #watches: 896641
687.98/688.17	c total #propagations: 39867133 / total #impl: 1738874121 (eff. 0.023)
687.98/688.17	c #Conflicts:      73000 | #Learnt:      11455 | 0.025
687.98/688.17	c total clause space: 78.2603MB
687.98/688.17	c total #watches: 963232
706.18/706.39	c total #propagations: 40356266 / total #impl: 1777327833 (eff. 0.023)
706.18/706.39	c #Conflicts:      74000 | #Learnt:      12455 | 0.024
706.18/706.39	c total clause space: 78.2603MB
706.18/706.39	c total #watches: 1002600
720.77/720.93	c total #propagations: 40879214 / total #impl: 1809154493 (eff. 0.023)
720.77/720.93	c GC COLLECT
720.77/720.93	c #Conflicts:      75000 | #Learnt:       6969 | 0.025
720.77/720.93	c total clause space: 78.2603MB
720.77/720.93	c total #watches: 668646
729.97/730.18	c total #propagations: 41511259 / total #impl: 1842719686 (eff. 0.023)
729.97/730.18	c #Conflicts:      76000 | #Learnt:       7969 | 0.024
729.97/730.18	c total clause space: 78.2603MB
729.97/730.18	c total #watches: 787641
746.27/746.48	c total #propagations: 42187530 / total #impl: 1884075345 (eff. 0.022)
746.27/746.48	c #Conflicts:      77000 | #Learnt:       8969 | 0.024
746.27/746.48	c total clause space: 78.2603MB
746.27/746.48	c total #watches: 884739
761.17/761.36	c total #propagations: 42918031 / total #impl: 1935285828 (eff. 0.022)
761.17/761.36	c #Conflicts:      78000 | #Learnt:       9968 | 0.024
761.17/761.36	c total clause space: 78.2603MB
761.17/761.36	c total #watches: 956099
771.16/771.36	c total #propagations: 43397660 / total #impl: 1959343376 (eff. 0.022)
771.16/771.36	c #Conflicts:      79000 | #Learnt:      10968 | 0.024
771.16/771.36	c total clause space: 78.2603MB
771.16/771.36	c total #watches: 1098961
795.17/795.32	c total #propagations: 43840249 / total #impl: 2002264362 (eff. 0.022)
795.17/795.32	c #Conflicts:      80000 | #Learnt:      11968 | 0.023
795.17/795.32	c total clause space: 78.2603MB
795.17/795.32	c total #watches: 1172550
814.05/814.21	c total #propagations: 44378145 / total #impl: 2054039325 (eff. 0.022)
814.05/814.21	c #Conflicts:      81000 | #Learnt:      12968 | 0.023
814.05/814.21	c total clause space: 127.173MB
814.05/814.21	c total #watches: 1330580
846.35/846.56	c total #propagations: 44911518 / total #impl: 2112911450 (eff. 0.021)
846.35/846.56	c GC COLLECT
846.35/846.56	c #Conflicts:      82000 | #Learnt:       7185 | 0.023
846.35/846.56	c total clause space: 127.173MB
846.35/846.56	c total #watches: 1040182
881.84/882.09	c total #propagations: 45560239 / total #impl: 2174249510 (eff. 0.021)
881.84/882.09	c #Conflicts:      83000 | #Learnt:       8184 | 0.023
881.84/882.09	c total clause space: 127.173MB
881.84/882.09	c total #watches: 1114232
913.94/914.10	c total #propagations: 46082149 / total #impl: 2220771594 (eff. 0.021)
913.94/914.10	c #Conflicts:      84000 | #Learnt:       9186 | 0.022
913.94/914.10	c total clause space: 127.173MB
913.94/914.10	c total #watches: 1235222
960.53/960.73	c total #propagations: 46655535 / total #impl: 2280537593 (eff. 0.020)
960.53/960.73	c #Conflicts:      85000 | #Learnt:      10193 | 0.022
960.53/960.73	c total clause space: 127.173MB
960.53/960.73	c total #watches: 1355450
996.32/996.52	c total #propagations: 47342630 / total #impl: 2350733709 (eff. 0.020)
996.32/996.52	c #Conflicts:      86000 | #Learnt:      11193 | 0.022
996.32/996.52	c total clause space: 127.173MB
996.32/996.52	c total #watches: 1427528
1039.72/1039.92	c total #propagations: 47836513 / total #impl: 2399523381 (eff. 0.020)
1039.72/1039.92	c #Conflicts:      87000 | #Learnt:      12193 | 0.022
1039.72/1039.92	c total clause space: 127.173MB
1039.72/1039.92	c total #watches: 1476233
1085.12/1085.36	c total #propagations: 48275434 / total #impl: 2443146540 (eff. 0.020)
1085.12/1085.36	c #Conflicts:      88000 | #Learnt:      13193 | 0.021
1085.12/1085.36	c total clause space: 127.173MB
1085.12/1085.36	c total #watches: 1516520
1142.41/1142.68	c total #propagations: 48719919 / total #impl: 2486850691 (eff. 0.020)
1142.41/1142.68	c #Conflicts:      89000 | #Learnt:      14197 | 0.021
1142.41/1142.68	c total clause space: 127.173MB
1142.41/1142.68	c total #watches: 1633782
1185.90/1186.17	c total #propagations: 49326082 / total #impl: 2572291354 (eff. 0.019)
1185.90/1186.17	c GC COLLECT
1185.90/1186.17	c #Conflicts:      90000 | #Learnt:       8118 | 0.021
1185.90/1186.17	c total clause space: 127.173MB
1185.90/1186.17	c total #watches: 947000
1204.90/1205.14	c total #propagations: 50077536 / total #impl: 2663548079 (eff. 0.019)
1204.90/1205.14	c #Conflicts:      91000 | #Learnt:       9118 | 0.021
1204.90/1205.14	c total clause space: 127.173MB
1204.90/1205.14	c total #watches: 975887
1225.00/1225.26	c total #propagations: 50511022 / total #impl: 2683291350 (eff. 0.019)
1225.00/1225.26	c #Conflicts:      92000 | #Learnt:      10122 | 0.020
1225.00/1225.26	c total clause space: 127.173MB
1225.00/1225.26	c total #watches: 1026956
1261.89/1262.12	c total #propagations: 51095982 / total #impl: 2715084118 (eff. 0.019)
1261.89/1262.12	c #Conflicts:      93000 | #Learnt:      11134 | 0.020
1261.89/1262.12	c total clause space: 127.173MB
1261.89/1262.12	c total #watches: 1228804
1289.38/1289.64	c total #propagations: 52036358 / total #impl: 2787136320 (eff. 0.019)
1289.38/1289.64	c #Conflicts:      94000 | #Learnt:      12134 | 0.020
1289.38/1289.64	c total clause space: 127.173MB
1289.38/1289.64	c total #watches: 1402773
1309.88/1310.11	c total #propagations: 52568067 / total #impl: 2843356939 (eff. 0.018)
1309.88/1310.11	c #Conflicts:      95000 | #Learnt:      13134 | 0.020
1309.88/1310.11	c total clause space: 127.173MB
1309.88/1310.11	c total #watches: 1651728
1371.87/1372.18	c total #propagations: 53047449 / total #impl: 2940077353 (eff. 0.018)
1371.87/1372.18	c #Conflicts:      96000 | #Learnt:      14134 | 0.020
1371.87/1372.18	c total clause space: 127.173MB
1371.87/1372.18	c total #watches: 1830497
1429.16/1429.48	c total #propagations: 53610488 / total #impl: 3104391108 (eff. 0.017)
1429.16/1429.48	c #Conflicts:      97000 | #Learnt:      15134 | 0.019
1429.16/1429.48	c total clause space: 206.656MB
1429.16/1429.48	c total #watches: 2121972
1494.95/1495.20	c total #propagations: 54115654 / total #impl: 3316599861 (eff. 0.016)
1494.95/1495.20	c GC COLLECT
1494.95/1495.20	c #Conflicts:      98000 | #Learnt:       8735 | 0.019
1494.95/1495.20	c total clause space: 206.656MB
1494.95/1495.20	c total #watches: 1696620
1540.34/1540.68	c total #propagations: 54705284 / total #impl: 3584765236 (eff. 0.015)
1540.34/1540.68	c #Conflicts:      99000 | #Learnt:       9740 | 0.019
1540.34/1540.68	c total clause space: 206.656MB
1540.34/1540.68	c total #watches: 1794177
1594.93/1595.24	c total #propagations: 55220256 / total #impl: 3684013070 (eff. 0.015)
1594.93/1595.24	c #Conflicts:     100000 | #Learnt:      10743 | 0.019
1594.93/1595.24	c total clause space: 206.656MB
1594.93/1595.24	c total #watches: 1878010
1674.03/1674.33	c total #propagations: 55796377 / total #impl: 3757412126 (eff. 0.015)
1674.03/1674.33	c #Conflicts:     101000 | #Learnt:      11743 | 0.019
1674.03/1674.33	c total clause space: 206.656MB
1674.03/1674.33	c total #watches: 1955918
1722.81/1723.17	c total #propagations: 56478293 / total #impl: 3844496554 (eff. 0.015)
1722.81/1723.17	c #Conflicts:     102000 | #Learnt:      12743 | 0.018
1722.81/1723.17	c total clause space: 206.656MB
1722.81/1723.17	c total #watches: 1993922
1768.91/1769.24	c total #propagations: 56995387 / total #impl: 3865515778 (eff. 0.015)
1768.91/1769.24	c #Conflicts:     103000 | #Learnt:      13743 | 0.018
1768.91/1769.24	c total clause space: 206.656MB
1768.91/1769.24	c total #watches: 2021816

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-4087975-1465389374/watcher-4087975-1465389374 -o /tmp/evaluation-result-4087975-1465389374/solver-4087975-1465389374 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465387573-25632 --watchdog 1960 --input HOME/instance-4087975-1465389374.opb ./cdcl-cuttingplanes-opt-linearsearch-release 

pid=25784
running on 4 cores: 0,2,4,6

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.22 2.20 2.10 3/172 25787
/proc/meminfo: memFree=30047508/32872528 swapFree=16636/1570076
[pid=25787] ppid=25784 vsize=29112 CPUtime=0 cores=0,2,4,6
/proc/25787/stat : 25787 (cdcl-cuttingpla) R 25784 25787 25616 0 -1 4202496 275 0 0 0 0 0 0 0 20 0 1 0 120869806 29810688 5267 33554432000 4194304 6201397 140733852496784 140733195920360 4211138 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/25787/statm: 7278 5267 130 491 0 6777 0

[startup+0.10013 s]
/proc/loadavg: 2.22 2.20 2.10 3/172 25787
/proc/meminfo: memFree=30047508/32872528 swapFree=16636/1570076
[pid=25787] ppid=25784 vsize=37936 CPUtime=0.09 cores=0,2,4,6
/proc/25787/stat : 25787 (cdcl-cuttingpla) R 25784 25787 25616 0 -1 4202496 1861 0 0 0 9 0 0 0 20 0 1 0 120869806 38846464 7878 33554432000 4194304 6201397 140733852496784 140733195920360 4207438 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/25787/statm: 9484 7878 142 491 0 8983 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37936

[startup+0.200344 s]
/proc/loadavg: 2.22 2.20 2.10 3/172 25787
/proc/meminfo: memFree=30047508/32872528 swapFree=16636/1570076
[pid=25787] ppid=25784 vsize=38620 CPUtime=0.19 cores=0,2,4,6
/proc/25787/stat : 25787 (cdcl-cuttingpla) R 25784 25787 25616 0 -1 4202496 2809 0 0 0 19 0 0 0 20 0 1 0 120869806 39546880 8512 33554432000 4194304 6201397 140733852496784 140733195920360 4213357 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/25787/statm: 9655 8512 146 491 0 9154 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 38620

[startup+0.300257 s]
/proc/loadavg: 2.22 2.20 2.10 3/172 25787
/proc/meminfo: memFree=30047508/32872528 swapFree=16636/1570076
[pid=25787] ppid=25784 vsize=43164 CPUtime=0.29 cores=0,2,4,6
/proc/25787/stat : 25787 (cdcl-cuttingpla) R 25784 25787 25616 0 -1 4202496 3024 0 0 0 29 0 0 0 20 0 1 0 120869806 44199936 8652 33554432000 4194304 6201397 140733852496784 140733195920360 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/25787/statm: 10791 8652 146 491 0 10290 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 43164

[startup+0.700222 s]
/proc/loadavg: 2.22 2.20 2.10 3/172 25787
/proc/meminfo: memFree=30047508/32872528 swapFree=16636/1570076
[pid=25787] ppid=25784 vsize=43948 CPUtime=0.69 cores=0,2,4,6
/proc/25787/stat : 25787 (cdcl-cuttingpla) R 25784 25787 25616 0 -1 4202496 3465 0 0 0 69 0 0 0 20 0 1 0 120869806 45002752 9514 33554432000 4194304 6201397 140733852496784 140733852495352 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/25787/statm: 10987 9514 159 491 0 10486 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 43948

[startup+1.50024 s]
/proc/loadavg: 2.22 2.20 2.10 3/177 25799
/proc/meminfo: memFree=29895860/32872528 swapFree=16636/1570076
[pid=25787] ppid=25784 vsize=51480 CPUtime=1.49 cores=0,2,4,6
/proc/25787/stat : 25787 (cdcl-cuttingpla) R 25784 25787 25616 0 -1 4202496 4320 0 0 0 149 0 0 0 20 0 1 0 120869806 52715520 10570 33554432000 4194304 6201397 140733852496784 140733852495352 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/25787/statm: 12870 10570 165 491 0 12369 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 51480

[startup+3.10023 s]
/proc/loadavg: 2.22 2.20 2.10 3/177 25799
/proc/meminfo: memFree=29778236/32872528 swapFree=16636/1570076
[pid=25787] ppid=25784 vsize=52488 CPUtime=3.09 cores=0,2,4,6
/proc/25787/stat : 25787 (cdcl-cuttingpla) R 25784 25787 25616 0 -1 4202496 5013 0 0 0 309 0 0 0 20 0 1 0 120869806 53747712 11549 33554432000 4194304 6201397 140733852496784 140733852495496 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/25787/statm: 13122 11549 165 491 0 12621 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 52488

[startup+6.30023 s]
/proc/loadavg: 2.28 2.21 2.10 3/177 25799
/proc/meminfo: memFree=29539244/32872528 swapFree=16636/1570076
[pid=25787] ppid=25784 vsize=65180 CPUtime=6.29 cores=0,2,4,6
/proc/25787/stat : 25787 (cdcl-cuttingpla) R 25784 25787 25616 0 -1 4202496 5629 0 0 0 629 0 0 0 20 0 1 0 120869806 66744320 12519 33554432000 4194304 6201397 140733852496784 140733852495352 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/25787/statm: 16295 12519 165 491 0 15794 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 65180

[startup+12.7002 s]
/proc/loadavg: 2.26 2.21 2.10 3/177 25799
/proc/meminfo: memFree=29184428/32872528 swapFree=16636/1570076
[pid=25787] ppid=25784 vsize=67180 CPUtime=12.69 cores=0,2,4,6
/proc/25787/stat : 25787 (cdcl-cuttingpla) R 25784 25787 25616 0 -1 4202496 6554 0 0 0 1268 1 0 0 20 0 1 0 120869806 68792320 14296 33554432000 4194304 6201397 140733852496784 140733852495496 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/25787/statm: 16795 14296 165 491 0 16294 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 67180

[startup+25.5004 s]
/proc/loadavg: 2.35 2.23 2.11 3/177 25799
/proc/meminfo: memFree=28855304/32872528 swapFree=16636/1570076
[pid=25787] ppid=25784 vsize=68472 CPUtime=25.49 cores=0,2,4,6
/proc/25787/stat : 25787 (cdcl-cuttingpla) R 25784 25787 25616 0 -1 4202496 6945 0 0 0 2548 1 0 0 20 0 1 0 120869806 70115328 15149 33554432000 4194304 6201397 140733852496784 140733852495496 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/25787/statm: 17118 15149 165 491 0 16617 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 68472

[startup+51.1003 s]
/proc/loadavg: 2.29 2.23 2.11 3/177 25799
/proc/meminfo: memFree=28398192/32872528 swapFree=16636/1570076
[pid=25787] ppid=25784 vsize=70236 CPUtime=51.08 cores=0,2,4,6
/proc/25787/stat : 25787 (cdcl-cuttingpla) R 25784 25787 25616 0 -1 4202496 7730 0 0 0 5107 1 0 0 20 0 1 0 120869806 71921664 16303 33554432000 4194304 6201397 140733852496784 140733852495912 4213345 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/25787/statm: 17559 16303 165 491 0 17058 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 70236

[startup+102.3 s]
/proc/loadavg: 2.24 2.22 2.11 3/177 25800
/proc/meminfo: memFree=28089500/32872528 swapFree=16636/1570076
[pid=25787] ppid=25784 vsize=91768 CPUtime=102.29 cores=0,2,4,6
/proc/25787/stat : 25787 (cdcl-cuttingpla) R 25784 25787 25616 0 -1 4202496 8921 0 0 0 10227 2 0 0 20 0 1 0 120869806 93970432 20313 33554432000 4194304 6201397 140733852496784 140733852495576 4213367 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/25787/statm: 22942 20313 165 491 0 22441 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 91768

[startup+162.3 s]
/proc/loadavg: 2.30 2.24 2.12 3/177 25801
/proc/meminfo: memFree=27403904/32872528 swapFree=16636/1570076
[pid=25787] ppid=25784 vsize=93856 CPUtime=162.27 cores=0,2,4,6
/proc/25787/stat : 25787 (cdcl-cuttingpla) R 25784 25787 25616 0 -1 4202496 9379 0 0 0 16225 2 0 0 20 0 1 0 120869806 96108544 22304 33554432000 4194304 6201397 140733852496784 140733852495912 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/25787/statm: 23464 22304 165 491 0 22963 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 93856

[startup+222.307 s]
/proc/loadavg: 2.33 2.25 2.13 3/177 25802
/proc/meminfo: memFree=27202784/32872528 swapFree=16636/1570076
[pid=25787] ppid=25784 vsize=125796 CPUtime=222.26 cores=0,2,4,6
/proc/25787/stat : 25787 (cdcl-cuttingpla) R 25784 25787 25616 0 -1 4202496 10419 0 0 0 22224 2 0 0 20 0 1 0 120869806 128815104 23991 33554432000 4194304 6201397 140733852496784 140733852495912 4213365 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/25787/statm: 31449 23991 165 491 0 30948 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 125796

[startup+282.3 s]
/proc/loadavg: 2.42 2.28 2.14 3/178 25807
/proc/meminfo: memFree=27057560/32872528 swapFree=16636/1570076
[pid=25787] ppid=25784 vsize=127664 CPUtime=282.24 cores=0,2,4,6
/proc/25787/stat : 25787 (cdcl-cuttingpla) R 25784 25787 25616 0 -1 4202496 10969 0 0 0 28222 2 0 0 20 0 1 0 120869806 130727936 27589 33554432000 4194304 6201397 140733852496784 140733852495912 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/25787/statm: 31916 27589 165 491 0 31415 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 127664

[startup+342.3 s]
/proc/loadavg: 2.20 2.24 2.14 4/177 25808
/proc/meminfo: memFree=26876544/32872528 swapFree=16636/1570076
[pid=25787] ppid=25784 vsize=128880 CPUtime=342.24 cores=0,2,4,6
/proc/25787/stat : 25787 (cdcl-cuttingpla) R 25784 25787 25616 0 -1 4202496 11228 0 0 0 34221 3 0 0 20 0 1 0 120869806 131973120 27848 33554432000 4194304 6201397 140733852496784 140733852495912 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/25787/statm: 32220 27848 165 491 0 31719 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 128880

[startup+402.3 s]
/proc/loadavg: 2.26 2.24 2.14 3/177 25809
/proc/meminfo: memFree=26805844/32872528 swapFree=16636/1570076
[pid=25787] ppid=25784 vsize=129884 CPUtime=402.23 cores=0,2,4,6
/proc/25787/stat : 25787 (cdcl-cuttingpla) R 25784 25787 25616 0 -1 4202496 11421 0 0 0 40220 3 0 0 20 0 1 0 120869806 133001216 29574 33554432000 4194304 6201397 140733852496784 140733852495912 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/25787/statm: 32471 29574 165 491 0 31970 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 129884

[startup+462.3 s]
/proc/loadavg: 2.15 2.21 2.14 3/177 25810
/proc/meminfo: memFree=26797956/32872528 swapFree=16636/1570076
[pid=25787] ppid=25784 vsize=130788 CPUtime=462.22 cores=0,2,4,6
/proc/25787/stat : 25787 (cdcl-cuttingpla) R 25784 25787 25616 0 -1 4202496 11648 0 0 0 46219 3 0 0 20 0 1 0 120869806 133926912 29801 33554432000 4194304 6201397 140733852496784 140733852495576 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/25787/statm: 32697 29801 165 491 0 32196 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 130788

[startup+522.3 s]
/proc/loadavg: 2.15 2.20 2.13 3/177 25811
/proc/meminfo: memFree=26789920/32872528 swapFree=16636/1570076
[pid=25787] ppid=25784 vsize=131672 CPUtime=522.2 cores=0,2,4,6
/proc/25787/stat : 25787 (cdcl-cuttingpla) R 25784 25787 25616 0 -1 4202496 11865 0 0 0 52217 3 0 0 20 0 1 0 120869806 134832128 30328 33554432000 4194304 6201397 140733852496784 140733852495912 4213365 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/25787/statm: 32918 30328 165 491 0 32417 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 131672

[startup+582.3 s]
/proc/loadavg: 2.32 2.24 2.15 3/177 25813
/proc/meminfo: memFree=26782476/32872528 swapFree=16636/1570076
[pid=25787] ppid=25784 vsize=132364 CPUtime=582.19 cores=0,2,4,6
/proc/25787/stat : 25787 (cdcl-cuttingpla) R 25784 25787 25616 0 -1 4202496 11994 0 0 0 58216 3 0 0 20 0 1 0 120869806 135540736 30454 33554432000 4194304 6201397 140733852496784 140733852495912 4215541 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/25787/statm: 33091 30454 165 491 0 32590 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 132364


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


[startup+942.3 s]
/proc/loadavg: 2.29 2.22 2.17 3/177 25823
/proc/meminfo: memFree=26632112/32872528 swapFree=16636/1570076
[pid=25787] ppid=25784 vsize=189388 CPUtime=942.13 cores=0,2,4,6
/proc/25787/stat : 25787 (cdcl-cuttingpla) R 25784 25787 25616 0 -1 4202496 14237 0 0 0 94209 4 0 0 20 0 1 0 120869806 193933312 36422 33554432000 4194304 6201397 140733852496784 140733852495448 4213365 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/25787/statm: 47347 36422 165 491 0 46846 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 189388

[startup+1002.3 s]
/proc/loadavg: 2.29 2.24 2.18 3/177 25824
/proc/meminfo: memFree=26546900/32872528 swapFree=16636/1570076
[pid=25787] ppid=25784 vsize=189956 CPUtime=1002.12 cores=0,2,4,6
/proc/25787/stat : 25787 (cdcl-cuttingpla) R 25784 25787 25616 0 -1 4202496 14515 0 0 0 100208 4 0 0 20 0 1 0 120869806 194514944 36687 33554432000 4194304 6201397 140733852496784 140733852495448 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/25787/statm: 47489 36687 165 491 0 46988 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 189956

[startup+1062.3 s]
/proc/loadavg: 2.15 2.21 2.17 3/177 25825
/proc/meminfo: memFree=26365160/32872528 swapFree=16636/1570076
[pid=25787] ppid=25784 vsize=190708 CPUtime=1062.11 cores=0,2,4,6
/proc/25787/stat : 25787 (cdcl-cuttingpla) R 25784 25787 25616 0 -1 4202496 14643 0 0 0 106207 4 0 0 20 0 1 0 120869806 195284992 36815 33554432000 4194304 6201397 140733852496784 140733852495448 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/25787/statm: 47677 36815 165 491 0 47176 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 190708

[startup+1122.3 s]
/proc/loadavg: 2.24 2.21 2.18 4/176 25826
/proc/meminfo: memFree=26056808/32872528 swapFree=16636/1570076
[pid=25787] ppid=25784 vsize=191464 CPUtime=1122.11 cores=0,2,4,6
/proc/25787/stat : 25787 (cdcl-cuttingpla) R 25784 25787 25616 0 -1 4202496 14810 0 0 0 112206 5 0 0 20 0 1 0 120869806 196059136 39026 33554432000 4194304 6201397 140733852496784 140733852495448 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/25787/statm: 47866 39026 165 491 0 47365 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 191464

[startup+1182.3 s]
/proc/loadavg: 2.20 2.20 2.18 3/177 25829
/proc/meminfo: memFree=26046440/32872528 swapFree=16636/1570076
[pid=25787] ppid=25784 vsize=192136 CPUtime=1182.1 cores=0,2,4,6
/proc/25787/stat : 25787 (cdcl-cuttingpla) R 25784 25787 25616 0 -1 4202496 14971 0 0 0 118205 5 0 0 20 0 1 0 120869806 196747264 40713 33554432000 4194304 6201397 140733852496784 140733852495448 4213348 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/25787/statm: 48034 40713 165 491 0 47533 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 192136

[startup+1242.3 s]
/proc/loadavg: 2.31 2.24 2.19 3/177 25830
/proc/meminfo: memFree=26045792/32872528 swapFree=16636/1570076
[pid=25787] ppid=25784 vsize=192328 CPUtime=1242.09 cores=0,2,4,6
/proc/25787/stat : 25787 (cdcl-cuttingpla) R 25784 25787 25616 0 -1 4202496 14985 0 0 0 124204 5 0 0 20 0 1 0 120869806 196943872 40727 33554432000 4194304 6201397 140733852496784 140733852495912 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/25787/statm: 48082 40727 165 491 0 47581 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 192328

[startup+1302.3 s]
/proc/loadavg: 2.26 2.24 2.19 3/177 25831
/proc/meminfo: memFree=26043412/32872528 swapFree=16636/1570076
[pid=25787] ppid=25784 vsize=194164 CPUtime=1302.08 cores=0,2,4,6
/proc/25787/stat : 25787 (cdcl-cuttingpla) R 25784 25787 25616 0 -1 4202496 15531 0 0 0 130203 5 0 0 20 0 1 0 120869806 198823936 41273 33554432000 4194304 6201397 140733852496784 140733852495496 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/25787/statm: 48541 41273 165 491 0 48040 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 194164

[startup+1362.3 s]
/proc/loadavg: 2.25 2.24 2.18 3/177 25832
/proc/meminfo: memFree=26033952/32872528 swapFree=16636/1570076
[pid=25787] ppid=25784 vsize=196000 CPUtime=1362.07 cores=0,2,4,6
/proc/25787/stat : 25787 (cdcl-cuttingpla) R 25784 25787 25616 0 -1 4202496 15930 0 0 0 136202 5 0 0 20 0 1 0 120869806 200704000 43716 33554432000 4194304 6201397 140733852496784 140733852495448 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/25787/statm: 49000 43716 165 491 0 48499 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 196000

[startup+1422.3 s]
/proc/loadavg: 2.31 2.25 2.19 3/177 25833
/proc/meminfo: memFree=26016484/32872528 swapFree=16636/1570076
[pid=25787] ppid=25784 vsize=199668 CPUtime=1422.07 cores=0,2,4,6
/proc/25787/stat : 25787 (cdcl-cuttingpla) R 25784 25787 25616 0 -1 4202496 16705 0 0 0 142201 6 0 0 20 0 1 0 120869806 204460032 48068 33554432000 4194304 6201397 140733852496784 140733852495448 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/25787/statm: 49917 48068 165 491 0 49416 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 199668

[startup+1482.3 s]
/proc/loadavg: 2.30 2.26 2.19 3/177 25837
/proc/meminfo: memFree=26013256/32872528 swapFree=16636/1570076
[pid=25787] ppid=25784 vsize=281312 CPUtime=1482.05 cores=0,2,4,6
/proc/25787/stat : 25787 (cdcl-cuttingpla) R 25784 25787 25616 0 -1 4202496 17276 0 0 0 148199 6 0 0 20 0 1 0 120869806 288063488 48856 33554432000 4194304 6201397 140733852496784 140733852495736 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/25787/statm: 70328 48856 165 491 0 69827 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 281312

[startup+1542.31 s]
/proc/loadavg: 2.17 2.23 2.18 3/178 25862
/proc/meminfo: memFree=26013404/32872528 swapFree=16636/1570076
[pid=25787] ppid=25784 vsize=281600 CPUtime=1542.05 cores=0,2,4,6
/proc/25787/stat : 25787 (cdcl-cuttingpla) R 25784 25787 25616 0 -1 4202496 17337 0 0 0 154199 6 0 0 20 0 1 0 120869806 288358400 48917 33554432000 4194304 6201397 140733852496784 140733852495912 4213371 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/25787/statm: 70400 48917 165 491 0 69899 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 281600

[startup+1602.3 s]
/proc/loadavg: 2.11 2.20 2.17 4/177 25863
/proc/meminfo: memFree=26012768/32872528 swapFree=16636/1570076
[pid=25787] ppid=25784 vsize=282224 CPUtime=1602.03 cores=0,2,4,6
/proc/25787/stat : 25787 (cdcl-cuttingpla) R 25784 25787 25616 0 -1 4202496 17465 0 0 0 160197 6 0 0 20 0 1 0 120869806 288997376 49045 33554432000 4194304 6201397 140733852496784 140733852495912 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/25787/statm: 70556 49045 165 491 0 70055 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 282224

[startup+1662.3 s]
/proc/loadavg: 2.30 2.23 2.19 3/177 25864
/proc/meminfo: memFree=26012736/32872528 swapFree=16636/1570076
[pid=25787] ppid=25784 vsize=282504 CPUtime=1662.02 cores=0,2,4,6
/proc/25787/stat : 25787 (cdcl-cuttingpla) R 25784 25787 25616 0 -1 4202496 17534 0 0 0 166196 6 0 0 20 0 1 0 120869806 289284096 49114 33554432000 4194304 6201397 140733852496784 140733852495448 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/25787/statm: 70626 49114 165 491 0 70125 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 282504

[startup+1722.3 s]
/proc/loadavg: 2.21 2.22 2.18 3/177 25865
/proc/meminfo: memFree=26012088/32872528 swapFree=16636/1570076
[pid=25787] ppid=25784 vsize=282936 CPUtime=1722.01 cores=0,2,4,6
/proc/25787/stat : 25787 (cdcl-cuttingpla) R 25784 25787 25616 0 -1 4202496 17645 0 0 0 172195 6 0 0 20 0 1 0 120869806 289726464 49225 33554432000 4194304 6201397 140733852496784 140733852495448 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/25787/statm: 70734 49225 165 491 0 70233 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 282936

[startup+1782.3 s]
/proc/loadavg: 2.23 2.22 2.18 3/177 25866
/proc/meminfo: memFree=26010976/32872528 swapFree=16636/1570076
[pid=25787] ppid=25784 vsize=283096 CPUtime=1782.01 cores=0,2,4,6
/proc/25787/stat : 25787 (cdcl-cuttingpla) R 25784 25787 25616 0 -1 4202496 17717 0 0 0 178195 6 0 0 20 0 1 0 120869806 289890304 49297 33554432000 4194304 6201397 140733852496784 140733852495912 4213268 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/25787/statm: 70774 49297 165 491 0 70273 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 283096



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.30 2.24 2.19 4/177 25867
/proc/meminfo: memFree=26011224/32872528 swapFree=16636/1570076
[pid=25787] ppid=25784 vsize=283228 CPUtime=1800 cores=0,2,4,6
/proc/25787/stat : 25787 (cdcl-cuttingpla) R 25784 25787 25616 0 -1 4202496 17739 0 0 0 179994 6 0 0 20 0 1 0 120869806 290025472 49319 33554432000 4194304 6201397 140733852496784 140733852495448 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/25787/statm: 70807 49319 165 491 0 70306 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 283228

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

[startup+1800.3 s]
/proc/loadavg: 2.30 2.24 2.19 4/177 25867
/proc/meminfo: memFree=26011224/32872528 swapFree=16636/1570076
[pid=25787] ppid=25784 vsize=283228 CPUtime=1800 cores=0,2,4,6
/proc/25787/stat : 25787 (cdcl-cuttingpla) R 25784 25787 25616 0 -1 4202496 17739 0 0 0 179994 6 0 0 20 0 1 0 120869806 290025472 49319 33554432000 4194304 6201397 140733852496784 140733852495448 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/25787/statm: 70807 49319 165 491 0 70306 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 283228

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.070989
maximum resident set size= 197276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17739
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= 1860

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.46332 second user time and 6.99794 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-08 14:36:15
IDJOB=4087975
IDBENCH=1875
IDSOLVER=2550
FILE ID=node140/4087975-1465389374
RUNJOBID= node140-1465387573-25632
PBS_JOBID= 19853863
Free space on /tmp= 71740 MiB

SOLVER NAME= cdcl-cuttingplanes OPT linear search 2016-05-01
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv11.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087975-1465389374/watcher-4087975-1465389374 -o /tmp/evaluation-result-4087975-1465389374/solver-4087975-1465389374 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465387573-25632 --watchdog 1960 --input HOME/instance-4087975-1465389374.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= a74bcf40291587dc368e3a23fd278be9
RANDOM SEED=1032527923

node140.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.768
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.53
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.768
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.768
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.768
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.56
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.768
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.768
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
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	: 5334.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30048788 kB
Buffers:          108100 kB
Cached:           390636 kB
SwapCached:         1664 kB
Active:           148888 kB
Inactive:         356156 kB
Active(anon):       6004 kB
Inactive(anon):     2932 kB
Active(file):     142884 kB
Inactive(file):   353224 kB
Unevictable:     1570076 kB
Mlocked:           16636 kB
SwapTotal:      67108856 kB
SwapFree:       67098768 kB
Dirty:              5152 kB
Writeback:             0 kB
AnonPages:       1573968 kB
Mapped:             7108 kB
Shmem:                 0 kB
Slab:             614624 kB
SReclaimable:      58488 kB
SUnreclaim:       556136 kB
KernelStack:        1408 kB
PageTables:         6604 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1670520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1556480 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71732 MiB
End job on node140 at 2016-06-08 15:06:15