Trace number 4101872

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.01 1800.3

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-stp3d.opb
MD5SUMf0369b32b392b309903886944ef44b64
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables204880
Total number of constraints159488
Number of constraints which are clauses129232
Number of constraints which are cardinality constraints (but not clauses)5805
Number of constraints which are nor clauses,nor cardinality constraints24451
Minimum length of a constraint2
Maximum length of a constraint120
Number of terms in the objective function 75648
Biggest coefficient in the objective function 7
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 529536
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 7
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 529536
Number of bits of the biggest sum of numbers20
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= 204880 #constraint= 159488
1.59/1.60	c #Conflicts:       1000 | #Learnt:        992 | 0.300
1.59/1.60	c total clause space: 48.1602MB
1.59/1.60	c total #watches: 753407
2.30/2.38	c total #propagations: 3429858 / total #impl: 9642361 (eff. 0.356)
2.30/2.38	c #Conflicts:       2000 | #Learnt:       1987 | 0.414
2.30/2.38	c total clause space: 48.1602MB
2.30/2.39	c total #watches: 892698
3.30/3.34	c total #propagations: 6564151 / total #impl: 21512701 (eff. 0.305)
3.30/3.34	c #Conflicts:       3000 | #Learnt:       2058 | 0.439
3.30/3.34	c total clause space: 78.2603MB
3.30/3.34	c total #watches: 1008837
4.69/4.75	c total #propagations: 8214482 / total #impl: 32368840 (eff. 0.254)
4.69/4.75	c #Conflicts:       4000 | #Learnt:       3057 | 0.404
4.69/4.75	c total clause space: 78.2603MB
4.69/4.75	c total #watches: 1121438
6.18/6.25	c total #propagations: 10483361 / total #impl: 46313262 (eff. 0.226)
6.18/6.25	c #Conflicts:       5000 | #Learnt:       2417 | 0.387
6.18/6.25	c total clause space: 78.2603MB
6.18/6.25	c total #watches: 1213138
7.70/7.75	c total #propagations: 13006656 / total #impl: 59899638 (eff. 0.217)
7.70/7.75	c #Conflicts:       6000 | #Learnt:       3416 | 0.472
7.70/7.75	c total clause space: 78.2603MB
7.70/7.75	c total #watches: 1387179
9.90/9.97	c total #propagations: 15009015 / total #impl: 72575914 (eff. 0.207)
9.90/9.97	c GC COLLECT
9.90/9.97	c #Conflicts:       7000 | #Learnt:       2390 | 0.515
9.90/9.97	c total clause space: 78.2603MB
9.90/9.97	c total #watches: 1127083
11.19/11.25	c total #propagations: 17077982 / total #impl: 86539093 (eff. 0.197)
11.19/11.25	c #Conflicts:       8000 | #Learnt:       3389 | 0.494
11.19/11.25	c total clause space: 78.2603MB
11.19/11.26	c total #watches: 1270240
14.49/14.51	c total #propagations: 19585389 / total #impl: 104181381 (eff. 0.188)
14.49/14.51	c #Conflicts:       9000 | #Learnt:       4389 | 0.524
14.49/14.51	c total clause space: 78.2603MB
14.49/14.51	c total #watches: 1420135
16.69/16.78	c total #propagations: 22006714 / total #impl: 124433922 (eff. 0.177)
16.69/16.78	c GC COLLECT
16.69/16.78	c #Conflicts:      10000 | #Learnt:       2866 | 0.517
16.69/16.78	c total clause space: 78.2603MB
16.69/16.78	c total #watches: 1198160
18.79/18.85	c total #propagations: 23735158 / total #impl: 137713728 (eff. 0.172)
18.79/18.85	c #Conflicts:      11000 | #Learnt:       3866 | 0.478
18.79/18.85	c total clause space: 78.2603MB
18.79/18.85	c total #watches: 1326574
21.29/21.37	c total #propagations: 25546427 / total #impl: 155096807 (eff. 0.165)
21.29/21.37	c #Conflicts:      12000 | #Learnt:       4866 | 0.454
21.29/21.37	c total clause space: 78.2603MB
21.29/21.37	c total #watches: 1451711
23.58/23.64	c total #propagations: 27567836 / total #impl: 173793097 (eff. 0.159)
23.58/23.64	c #Conflicts:      13000 | #Learnt:       5866 | 0.467
23.58/23.64	c total clause space: 127.173MB
23.58/23.64	c total #watches: 1587623
25.88/25.94	c total #propagations: 30684352 / total #impl: 200044386 (eff. 0.153)
25.88/25.94	c GC COLLECT
25.88/25.94	c #Conflicts:      14000 | #Learnt:       4021 | 0.464
25.88/25.94	c total clause space: 127.173MB
25.88/25.94	c total #watches: 1403439
29.18/29.20	c total #propagations: 32872744 / total #impl: 224597635 (eff. 0.146)
29.18/29.20	c #Conflicts:      15000 | #Learnt:       5021 | 0.434
29.18/29.20	c total clause space: 127.173MB
29.18/29.20	c total #watches: 1561995
33.39/33.44	c total #propagations: 34767220 / total #impl: 246965745 (eff. 0.141)
33.39/33.44	c #Conflicts:      16000 | #Learnt:       6021 | 0.408
33.39/33.44	c total clause space: 127.173MB
33.39/33.44	c total #watches: 1702358
38.19/38.22	c total #propagations: 36311059 / total #impl: 272936577 (eff. 0.133)
38.19/38.22	c GC COLLECT
38.19/38.22	c #Conflicts:      17000 | #Learnt:       3839 | 0.393
38.19/38.22	c total clause space: 127.173MB
38.19/38.22	c total #watches: 1449711
43.99/44.05	c total #propagations: 38434018 / total #impl: 308403267 (eff. 0.125)
43.99/44.05	c #Conflicts:      18000 | #Learnt:       4839 | 0.371
43.99/44.05	c total clause space: 127.173MB
43.99/44.05	c total #watches: 1619935
54.48/54.58	c total #propagations: 40673130 / total #impl: 343342518 (eff. 0.118)
54.48/54.58	c #Conflicts:      19000 | #Learnt:       5839 | 0.352
54.48/54.58	c total clause space: 127.173MB
54.48/54.58	c total #watches: 1718477
68.48/68.54	c total #propagations: 42845145 / total #impl: 379573638 (eff. 0.113)
68.48/68.54	c #Conflicts:      20000 | #Learnt:       6839 | 0.352
68.48/68.54	c total clause space: 206.656MB
68.48/68.54	c total #watches: 1880687
75.28/75.39	c total #propagations: 45475421 / total #impl: 419660928 (eff. 0.108)
75.28/75.39	c GC COLLECT
75.28/75.39	c #Conflicts:      21000 | #Learnt:       4358 | 0.361
75.28/75.39	c total clause space: 206.656MB
75.28/75.40	c total #watches: 1585776
80.38/80.44	c total #propagations: 47985656 / total #impl: 454968599 (eff. 0.105)
80.38/80.44	c #Conflicts:      22000 | #Learnt:       5358 | 0.366
80.38/80.44	c total clause space: 206.656MB
80.38/80.45	c total #watches: 1750302
86.17/86.21	c total #propagations: 50178253 / total #impl: 486673458 (eff. 0.103)
86.17/86.21	c #Conflicts:      23000 | #Learnt:       6358 | 0.361
86.17/86.21	c total clause space: 206.656MB
86.17/86.21	c total #watches: 1890972
91.08/91.16	c total #propagations: 51806807 / total #impl: 505990965 (eff. 0.102)
91.08/91.16	c #Conflicts:      24000 | #Learnt:       7356 | 0.356
91.08/91.16	c total clause space: 206.656MB
91.08/91.16	c total #watches: 2055564
96.17/96.28	c total #propagations: 54310178 / total #impl: 528367456 (eff. 0.103)
96.17/96.28	c GC COLLECT
96.17/96.28	c #Conflicts:      25000 | #Learnt:       4562 | 0.347
96.17/96.28	c total clause space: 206.656MB
96.17/96.28	c total #watches: 1680372
102.97/103.00	c total #propagations: 56141970 / total #impl: 551039741 (eff. 0.102)
102.97/103.00	c #Conflicts:      26000 | #Learnt:       5562 | 0.341
102.97/103.00	c total clause space: 206.656MB
102.97/103.00	c total #watches: 1902612
110.77/110.83	c total #propagations: 58740425 / total #impl: 604009343 (eff. 0.097)
110.77/110.83	c #Conflicts:      27000 | #Learnt:       6561 | 0.378
110.77/110.83	c total clause space: 206.656MB
110.77/110.83	c total #watches: 2080281
119.67/119.77	c total #propagations: 61136168 / total #impl: 638658685 (eff. 0.096)
119.67/119.77	c #Conflicts:      28000 | #Learnt:       7561 | 0.413
119.67/119.77	c total clause space: 206.656MB
119.67/119.78	c total #watches: 2219214
130.98/131.09	c total #propagations: 62989949 / total #impl: 661844089 (eff. 0.095)
130.98/131.09	c GC COLLECT
130.98/131.09	c #Conflicts:      29000 | #Learnt:       4430 | 0.428
130.98/131.09	c total clause space: 206.656MB
130.98/131.09	c total #watches: 1743635
139.17/139.26	c total #propagations: 65656718 / total #impl: 710200415 (eff. 0.092)
139.17/139.26	c #Conflicts:      30000 | #Learnt:       5429 | 0.419
139.17/139.26	c total clause space: 206.656MB
139.17/139.26	c total #watches: 1876653
147.16/147.27	c total #propagations: 67791674 / total #impl: 734275919 (eff. 0.092)
147.16/147.27	c #Conflicts:      31000 | #Learnt:       6429 | 0.410
147.16/147.27	c total clause space: 206.656MB
147.16/147.27	c total #watches: 2123216
157.76/157.84	c total #propagations: 69641672 / total #impl: 765213975 (eff. 0.091)
157.76/157.84	c #Conflicts:      32000 | #Learnt:       7429 | 0.410
157.76/157.84	c total clause space: 206.656MB
157.76/157.84	c total #watches: 2253975
165.26/165.33	c total #propagations: 71779635 / total #impl: 812179642 (eff. 0.088)
165.26/165.33	c #Conflicts:      33000 | #Learnt:       8429 | 0.522
165.26/165.33	c total clause space: 206.656MB
165.26/165.33	c total #watches: 2365288
172.27/172.38	c total #propagations: 74142236 / total #impl: 842005541 (eff. 0.088)
172.27/172.38	c GC COLLECT
172.27/172.38	c #Conflicts:      34000 | #Learnt:       5054 | 0.518
172.27/172.38	c total clause space: 206.656MB
172.27/172.38	c total #watches: 1790513
177.97/178.03	c total #propagations: 76198624 / total #impl: 870761705 (eff. 0.088)
177.97/178.03	c #Conflicts:      35000 | #Learnt:       6054 | 0.503
177.97/178.03	c total clause space: 206.656MB
177.97/178.03	c total #watches: 1921019
182.67/182.79	c total #propagations: 78741034 / total #impl: 910256132 (eff. 0.087)
182.67/182.79	c #Conflicts:      36000 | #Learnt:       7052 | 0.490
182.67/182.79	c total clause space: 206.656MB
182.67/182.79	c total #watches: 2031080
198.46/198.56	c total #propagations: 80683857 / total #impl: 935279343 (eff. 0.086)
198.46/198.56	c #Conflicts:      37000 | #Learnt:       8052 | 0.480
198.46/198.56	c total clause space: 206.656MB
198.46/198.56	c total #watches: 2150518
207.36/207.41	c total #propagations: 83013658 / total #impl: 974393050 (eff. 0.085)
207.36/207.41	c #Conflicts:      38000 | #Learnt:       9052 | 0.471
207.36/207.41	c total clause space: 206.656MB
207.36/207.42	c total #watches: 2234929
217.06/217.17	c total #propagations: 84573725 / total #impl: 997623398 (eff. 0.085)
217.06/217.17	c GC COLLECT
217.06/217.17	c #Conflicts:      39000 | #Learnt:       5383 | 0.469
217.06/217.17	c total clause space: 206.656MB
217.06/217.17	c total #watches: 1640013
222.66/222.70	c total #propagations: 86820593 / total #impl: 1030249010 (eff. 0.084)
222.66/222.70	c #Conflicts:      40000 | #Learnt:       6383 | 0.469
222.66/222.70	c total clause space: 206.656MB
222.66/222.70	c total #watches: 1783346
229.86/229.99	c total #propagations: 89178328 / total #impl: 1058658827 (eff. 0.084)
229.86/229.99	c #Conflicts:      41000 | #Learnt:       7382 | 0.458
229.86/229.99	c total clause space: 206.656MB
229.86/230.00	c total #watches: 1941397
243.16/243.22	c total #propagations: 91786545 / total #impl: 1092212238 (eff. 0.084)
243.16/243.22	c #Conflicts:      42000 | #Learnt:       8382 | 0.447
243.16/243.22	c total clause space: 206.656MB
243.16/243.22	c total #watches: 2046719
260.45/260.50	c total #propagations: 93618741 / total #impl: 1140965502 (eff. 0.082)
260.45/260.50	c #Conflicts:      43000 | #Learnt:       9382 | 0.437
260.45/260.50	c total clause space: 206.656MB
260.45/260.50	c total #watches: 2155130
277.55/277.67	c total #propagations: 95325702 / total #impl: 1189327213 (eff. 0.080)
277.55/277.67	c GC COLLECT
277.55/277.67	c #Conflicts:      44000 | #Learnt:       5378 | 0.427
277.55/277.67	c total clause space: 206.656MB
277.55/277.67	c total #watches: 1654666
301.55/301.68	c total #propagations: 97147360 / total #impl: 1232570087 (eff. 0.079)
301.55/301.68	c #Conflicts:      45000 | #Learnt:       6378 | 0.418
301.55/301.68	c total clause space: 206.656MB
301.55/301.68	c total #watches: 1795967
319.25/319.35	c total #propagations: 99064216 / total #impl: 1287740617 (eff. 0.077)
319.25/319.35	c #Conflicts:      46000 | #Learnt:       7378 | 0.420
319.25/319.35	c total clause space: 206.656MB
319.25/319.35	c total #watches: 1965726
337.75/337.83	c total #propagations: 101420945 / total #impl: 1323925320 (eff. 0.077)
337.75/337.83	c #Conflicts:      47000 | #Learnt:       8378 | 0.425
337.75/337.83	c total clause space: 206.656MB
337.75/337.83	c total #watches: 2171982
368.93/369.04	c total #propagations: 103870096 / total #impl: 1352796657 (eff. 0.077)
368.93/369.04	c #Conflicts:      48000 | #Learnt:       9378 | 0.438
368.93/369.04	c total clause space: 206.656MB
368.93/369.04	c total #watches: 2318044
390.03/390.12	c total #propagations: 106279574 / total #impl: 1379048590 (eff. 0.077)
390.03/390.12	c #Conflicts:      49000 | #Learnt:      10378 | 0.430
390.03/390.12	c total clause space: 206.656MB
390.03/390.12	c total #watches: 2462539
402.33/402.46	c total #propagations: 107996680 / total #impl: 1403785083 (eff. 0.077)
402.33/402.46	c GC COLLECT
402.33/402.46	c #Conflicts:      50000 | #Learnt:       6054 | 0.437
402.33/402.46	c total clause space: 206.656MB
402.33/402.46	c total #watches: 1956183
414.63/414.75	c total #propagations: 110315792 / total #impl: 1434045382 (eff. 0.077)
414.63/414.75	c #Conflicts:      51000 | #Learnt:       7054 | 0.429
414.63/414.75	c total clause space: 206.656MB
414.63/414.75	c total #watches: 2196111
435.72/435.81	c total #propagations: 113081578 / total #impl: 1485706273 (eff. 0.076)
435.72/435.81	c #Conflicts:      52000 | #Learnt:       8054 | 0.429
435.72/435.81	c total clause space: 206.656MB
435.72/435.81	c total #watches: 2369125
456.22/456.32	c total #propagations: 116247632 / total #impl: 1533839920 (eff. 0.076)
456.22/456.32	c #Conflicts:      53000 | #Learnt:       9054 | 0.421
456.22/456.32	c total clause space: 206.656MB
456.22/456.32	c total #watches: 2560363
484.51/485.41	c total #propagations: 118859906 / total #impl: 1584186060 (eff. 0.075)
484.51/485.41	c #Conflicts:      54000 | #Learnt:      10054 | 0.416
484.51/485.41	c total clause space: 206.656MB
484.51/485.41	c total #watches: 2717942
508.52/508.87	c total #propagations: 121360385 / total #impl: 1630908871 (eff. 0.074)
508.52/508.87	c #Conflicts:      55000 | #Learnt:      11054 | 0.425
508.52/508.87	c total clause space: 206.656MB
508.52/508.87	c total #watches: 2947027
530.12/530.97	c total #propagations: 123006778 / total #impl: 1657832917 (eff. 0.074)
530.12/530.97	c GC COLLECT
530.12/530.97	c #Conflicts:      56000 | #Learnt:       6467 | 0.421
530.12/530.97	c total clause space: 206.656MB
530.12/530.97	c total #watches: 2257394
544.49/547.37	c total #propagations: 125465450 / total #impl: 1708970972 (eff. 0.073)
544.49/547.37	c #Conflicts:      57000 | #Learnt:       7467 | 0.416
544.49/547.37	c total clause space: 206.656MB
544.49/547.37	c total #watches: 2440814
561.47/561.89	c total #propagations: 127665981 / total #impl: 1744241983 (eff. 0.073)
561.47/561.89	c #Conflicts:      58000 | #Learnt:       8467 | 0.414
561.47/561.89	c total clause space: 206.656MB
561.47/561.89	c total #watches: 2648833
580.49/581.58	c total #propagations: 130333254 / total #impl: 1812274412 (eff. 0.072)
580.49/581.58	c #Conflicts:      59000 | #Learnt:       9467 | 0.414
580.49/581.58	c total clause space: 206.656MB
580.49/581.58	c total #watches: 2859952
610.84/611.13	c total #propagations: 133113636 / total #impl: 1857539667 (eff. 0.072)
610.84/611.13	c #Conflicts:      60000 | #Learnt:      10467 | 0.411
610.84/611.13	c total clause space: 206.656MB
610.84/611.13	c total #watches: 3038670
640.50/642.38	c total #propagations: 135332611 / total #impl: 1904314672 (eff. 0.071)
640.50/642.38	c #Conflicts:      61000 | #Learnt:      11467 | 0.404
640.50/642.38	c total clause space: 206.656MB
640.50/642.38	c total #watches: 3157650
680.49/681.13	c total #propagations: 137407349 / total #impl: 1958656342 (eff. 0.070)
680.49/681.13	c GC COLLECT
680.49/681.13	c #Conflicts:      62000 | #Learnt:       6539 | 0.412
680.49/681.13	c total clause space: 206.656MB
680.49/681.13	c total #watches: 2286311
694.52/695.20	c total #propagations: 140811283 / total #impl: 2045337796 (eff. 0.069)
694.52/695.20	c #Conflicts:      63000 | #Learnt:       7539 | 0.406
694.52/695.20	c total clause space: 206.656MB
694.52/695.20	c total #watches: 2462083
714.64/715.80	c total #propagations: 144226169 / total #impl: 2101619729 (eff. 0.069)
714.64/715.80	c #Conflicts:      64000 | #Learnt:       8538 | 0.409
714.64/715.80	c total clause space: 206.656MB
714.64/715.80	c total #watches: 2615304
736.90/737.11	c total #propagations: 146620806 / total #impl: 2140920482 (eff. 0.068)
736.90/737.11	c #Conflicts:      65000 | #Learnt:       9537 | 0.415
736.90/737.11	c total clause space: 206.656MB
736.98/737.11	c total #watches: 2813436
763.00/763.52	c total #propagations: 148862411 / total #impl: 2180113719 (eff. 0.068)
763.00/763.52	c #Conflicts:      66000 | #Learnt:      10537 | 0.410
763.00/763.52	c total clause space: 206.656MB
763.00/763.52	c total #watches: 2983692
777.86/778.09	c total #propagations: 151214837 / total #impl: 2234159478 (eff. 0.068)
777.86/778.09	c #Conflicts:      67000 | #Learnt:      11537 | 0.427
777.86/778.09	c total clause space: 206.656MB
777.86/778.09	c total #watches: 3125014
815.75/815.94	c total #propagations: 153124236 / total #impl: 2261046663 (eff. 0.068)
815.75/815.94	c #Conflicts:      68000 | #Learnt:      12537 | 0.421
815.75/815.94	c total clause space: 206.656MB
815.75/815.94	c total #watches: 3306372
825.35/825.57	c total #propagations: 155513977 / total #impl: 2313362274 (eff. 0.067)
825.35/825.57	c GC COLLECT
825.35/825.57	c #Conflicts:      69000 | #Learnt:       7280 | 0.427
825.35/825.57	c total clause space: 206.656MB
825.35/825.57	c total #watches: 2277573
836.55/836.74	c total #propagations: 157833477 / total #impl: 2351193114 (eff. 0.067)
836.55/836.74	c #Conflicts:      70000 | #Learnt:       8280 | 0.426
836.55/836.74	c total clause space: 206.656MB
836.55/836.74	c total #watches: 2462029
850.05/850.24	c total #propagations: 160013843 / total #impl: 2391029171 (eff. 0.067)
850.05/850.24	c #Conflicts:      71000 | #Learnt:       9280 | 0.450
850.05/850.24	c total clause space: 206.656MB
850.05/850.24	c total #watches: 2581498
858.74/858.91	c total #propagations: 161815569 / total #impl: 2416144635 (eff. 0.067)
858.74/858.91	c #Conflicts:      72000 | #Learnt:      10279 | 0.461
858.74/858.91	c total clause space: 206.656MB
858.74/858.91	c total #watches: 2732862
881.14/881.37	c total #propagations: 164064608 / total #impl: 2449007239 (eff. 0.067)
881.14/881.37	c #Conflicts:      73000 | #Learnt:      11279 | 0.456
881.14/881.37	c total clause space: 206.656MB
881.14/881.37	c total #watches: 2944690
898.94/899.12	c total #propagations: 166700313 / total #impl: 2512762510 (eff. 0.066)
898.94/899.12	c #Conflicts:      74000 | #Learnt:      12279 | 0.455
898.94/899.12	c total clause space: 206.656MB
898.94/899.12	c total #watches: 3102331
922.03/922.28	c total #propagations: 168764558 / total #impl: 2551212216 (eff. 0.066)
922.03/922.28	c GC COLLECT
922.03/922.28	c #Conflicts:      75000 | #Learnt:       6825 | 0.451
922.03/922.28	c total clause space: 206.656MB
922.03/922.28	c total #watches: 2199949
924.63/924.87	c total #propagations: 171254387 / total #impl: 2599307189 (eff. 0.066)
924.63/924.87	c #Conflicts:      76000 | #Learnt:       7824 | 0.455
924.63/924.87	c total clause space: 206.656MB
924.63/924.87	c total #watches: 2326536
925.23/925.41	c total #propagations: 174741391 / total #impl: 2623365630 (eff. 0.067)
925.23/925.41	c #Conflicts:      77000 | #Learnt:       8823 | 0.457
925.23/925.41	c total clause space: 206.656MB
925.23/925.41	c total #watches: 2416693
926.13/926.32	c total #propagations: 176605322 / total #impl: 2630822379 (eff. 0.067)
926.13/926.32	c #Conflicts:      78000 | #Learnt:       9821 | 0.458
926.13/926.32	c total clause space: 206.656MB
926.13/926.32	c total #watches: 2530178
927.44/927.62	c total #propagations: 179066397 / total #impl: 2641320885 (eff. 0.068)
927.44/927.62	c #Conflicts:      79000 | #Learnt:      10818 | 0.459
927.44/927.62	c total clause space: 206.656MB
927.44/927.63	c total #watches: 2648498
937.54/937.76	c total #propagations: 181180018 / total #impl: 2655262983 (eff. 0.068)
937.54/937.76	c #Conflicts:      80000 | #Learnt:      11818 | 0.481
937.54/937.76	c total clause space: 206.656MB
937.54/937.76	c total #watches: 2771739
953.23/953.46	c total #propagations: 183748849 / total #impl: 2699687701 (eff. 0.068)
953.23/953.46	c #Conflicts:      81000 | #Learnt:      12818 | 0.477
953.23/953.46	c total clause space: 206.656MB
953.23/953.46	c total #watches: 2929937
970.63/970.83	c total #propagations: 186190412 / total #impl: 2760578924 (eff. 0.067)
970.63/970.83	c GC COLLECT
970.63/970.83	c #Conflicts:      82000 | #Learnt:       7066 | 0.475
970.63/970.83	c total clause space: 206.656MB
970.63/970.83	c total #watches: 2071904
984.24/984.47	c total #propagations: 189081292 / total #impl: 2836958788 (eff. 0.067)
984.24/984.47	c #Conflicts:      83000 | #Learnt:       8066 | 0.471
984.24/984.47	c total clause space: 206.656MB
984.24/984.47	c total #watches: 2235905
1008.32/1008.57	c total #propagations: 190992487 / total #impl: 2905682016 (eff. 0.066)
1008.32/1008.57	c #Conflicts:      84000 | #Learnt:       9066 | 0.466
1008.32/1008.57	c total clause space: 206.656MB
1008.32/1008.57	c total #watches: 2478715
1009.63/1009.87	c total #propagations: 193443333 / total #impl: 2971509523 (eff. 0.065)
1009.63/1009.87	c #Conflicts:      85000 | #Learnt:      10066 | 0.462
1009.63/1009.87	c total clause space: 206.656MB
1009.63/1009.87	c total #watches: 2553079
1022.73/1022.94	c total #propagations: 195207442 / total #impl: 2983562119 (eff. 0.065)
1022.73/1022.94	c #Conflicts:      86000 | #Learnt:      11065 | 0.457
1022.73/1022.94	c total clause space: 206.656MB
1022.73/1022.94	c total #watches: 2669928
1046.92/1047.13	c total #propagations: 196885926 / total #impl: 3013238187 (eff. 0.065)
1046.92/1047.13	c #Conflicts:      87000 | #Learnt:      12065 | 0.452
1046.92/1047.13	c total clause space: 206.656MB
1046.92/1047.13	c total #watches: 2814756
1081.91/1082.14	c total #propagations: 198587397 / total #impl: 3056144985 (eff. 0.065)
1081.91/1082.14	c #Conflicts:      88000 | #Learnt:      13065 | 0.470
1081.91/1082.14	c total clause space: 335.816MB
1081.91/1082.14	c total #watches: 2959331
1129.80/1130.07	c total #propagations: 200553550 / total #impl: 3081288579 (eff. 0.065)
1129.80/1130.07	c #Conflicts:      89000 | #Learnt:      14065 | 0.472
1129.80/1130.07	c total clause space: 335.816MB
1129.80/1130.07	c total #watches: 3154048
1147.60/1147.88	c total #propagations: 202544392 / total #impl: 3107956980 (eff. 0.065)
1147.60/1147.88	c GC COLLECT
1147.60/1147.88	c #Conflicts:      90000 | #Learnt:       8063 | 0.467
1147.60/1147.88	c total clause space: 335.816MB
1147.60/1147.88	c total #watches: 2171697
1153.50/1153.72	c total #propagations: 204335367 / total #impl: 3132210144 (eff. 0.065)
1153.50/1153.72	c #Conflicts:      91000 | #Learnt:       9062 | 0.464
1153.50/1153.72	c total clause space: 335.816MB
1153.50/1153.72	c total #watches: 2285032
1173.51/1173.78	c total #propagations: 206710040 / total #impl: 3150105659 (eff. 0.066)
1173.51/1173.78	c #Conflicts:      92000 | #Learnt:      10062 | 0.460
1173.51/1173.78	c total clause space: 335.816MB
1173.51/1173.78	c total #watches: 2393682
1192.99/1193.28	c total #propagations: 208547640 / total #impl: 3189639285 (eff. 0.065)
1192.99/1193.28	c #Conflicts:      93000 | #Learnt:      11062 | 0.455
1192.99/1193.28	c total clause space: 335.816MB
1192.99/1193.28	c total #watches: 2562543
1225.49/1225.75	c total #propagations: 209638563 / total #impl: 3238686830 (eff. 0.065)
1225.49/1225.75	c #Conflicts:      94000 | #Learnt:      12062 | 0.454
1225.49/1225.75	c total clause space: 335.816MB
1225.49/1225.75	c total #watches: 2728901
1256.18/1256.47	c total #propagations: 211179077 / total #impl: 3297071943 (eff. 0.064)
1256.18/1256.47	c #Conflicts:      95000 | #Learnt:      13062 | 0.450
1256.18/1256.47	c total clause space: 335.816MB
1256.18/1256.47	c total #watches: 2912062
1326.18/1326.46	c total #propagations: 212475844 / total #impl: 3349004614 (eff. 0.063)
1326.18/1326.46	c #Conflicts:      96000 | #Learnt:      14062 | 0.448
1326.18/1326.46	c total clause space: 335.816MB
1326.18/1326.46	c total #watches: 3104612
1426.06/1426.30	c total #propagations: 215095671 / total #impl: 3416966177 (eff. 0.063)
1426.06/1426.30	c #Conflicts:      97000 | #Learnt:      15062 | 0.443
1426.06/1426.30	c total clause space: 335.816MB
1426.06/1426.30	c total #watches: 3349715
1491.75/1492.01	c total #propagations: 218224610 / total #impl: 3496766261 (eff. 0.062)
1491.75/1492.01	c GC COLLECT
1491.75/1492.01	c #Conflicts:      98000 | #Learnt:       8669 | 0.439
1491.75/1492.01	c total clause space: 335.816MB
1491.75/1492.01	c total #watches: 2425500
1571.65/1571.99	c total #propagations: 221779893 / total #impl: 3575024630 (eff. 0.062)
1571.65/1571.99	c #Conflicts:      99000 | #Learnt:       9669 | 0.435
1571.65/1571.99	c total clause space: 335.816MB
1571.65/1572.00	c total #watches: 2944131
1723.72/1724.06	c total #propagations: 224487310 / total #impl: 3661286233 (eff. 0.061)
1723.72/1724.06	c #Conflicts:     100000 | #Learnt:      10669 | 0.431
1723.72/1724.06	c total clause space: 335.816MB
1723.72/1724.06	c total #watches: 3402509

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

pid=8247
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.22 2.21 2.18 3/176 8250
/proc/meminfo: memFree=29799928/32872528 swapFree=17888/1798212
[pid=8250] ppid=8247 vsize=29112 CPUtime=0 cores=1,3,5,7
/proc/8250/stat : 8250 (cdcl-cuttingpla) R 8247 8250 6506 0 -1 4202496 276 0 0 0 0 0 0 0 20 0 1 0 27660110 29810688 5268 33554432000 4194304 6201397 140735214251280 140736751248536 4211056 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8250/statm: 7278 5268 130 491 0 6777 0

[startup+0.100171 s]
/proc/loadavg: 2.22 2.21 2.18 3/176 8250
/proc/meminfo: memFree=29799928/32872528 swapFree=17888/1798212
[pid=8250] ppid=8247 vsize=37316 CPUtime=0.09 cores=1,3,5,7
/proc/8250/stat : 8250 (cdcl-cuttingpla) R 8247 8250 6506 0 -1 4202496 2361 0 0 0 9 0 0 0 20 0 1 0 27660110 38211584 8655 33554432000 4194304 6201397 140735214251280 140736751248536 4207513 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8250/statm: 9329 8655 142 491 0 8828 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37316

[startup+0.200447 s]
/proc/loadavg: 2.22 2.21 2.18 3/176 8250
/proc/meminfo: memFree=29799928/32872528 swapFree=17888/1798212
[pid=8250] ppid=8247 vsize=40868 CPUtime=0.19 cores=1,3,5,7
/proc/8250/stat : 8250 (cdcl-cuttingpla) R 8247 8250 6506 0 -1 4202496 3658 0 0 0 18 1 0 0 20 0 1 0 27660110 41848832 9504 33554432000 4194304 6201397 140735214251280 140736751248536 4208163 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8250/statm: 10217 9505 143 491 0 9716 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 40868

[startup+0.300354 s]
/proc/loadavg: 2.22 2.21 2.18 3/176 8250
/proc/meminfo: memFree=29799928/32872528 swapFree=17888/1798212
[pid=8250] ppid=8247 vsize=55240 CPUtime=0.29 cores=1,3,5,7
/proc/8250/stat : 8250 (cdcl-cuttingpla) R 8247 8250 6506 0 -1 4202496 5998 0 0 0 28 1 0 0 20 0 1 0 27660110 56565760 12174 33554432000 4194304 6201397 140735214251280 140736751248536 5091637 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8250/statm: 13810 12175 143 491 0 13309 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 55240

[startup+0.700368 s]
/proc/loadavg: 2.22 2.21 2.18 3/176 8250
/proc/meminfo: memFree=29799928/32872528 swapFree=17888/1798212
[pid=8250] ppid=8247 vsize=92588 CPUtime=0.69 cores=1,3,5,7
/proc/8250/stat : 8250 (cdcl-cuttingpla) R 8247 8250 6506 0 -1 4202496 9482 0 0 0 67 2 0 0 20 0 1 0 27660110 94810112 18456 33554432000 4194304 6201397 140735214251280 140735214249416 5141406 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8250/statm: 23147 18456 143 491 0 22646 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 92588

[startup+1.50033 s]
/proc/loadavg: 2.22 2.21 2.18 3/177 8251
/proc/meminfo: memFree=29712932/32872528 swapFree=17888/1798212
[pid=8250] ppid=8247 vsize=97764 CPUtime=1.49 cores=1,3,5,7
/proc/8250/stat : 8250 (cdcl-cuttingpla) R 8247 8250 6506 0 -1 4202496 10805 0 0 0 146 3 0 0 20 0 1 0 27660110 100110336 22133 33554432000 4194304 6201397 140735214251280 140735214249416 4219554 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8250/statm: 24441 22133 147 491 0 23940 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 97764

[startup+3.10027 s]
/proc/loadavg: 2.22 2.21 2.18 3/177 8251
/proc/meminfo: memFree=29702944/32872528 swapFree=17888/1798212
[pid=8250] ppid=8247 vsize=132204 CPUtime=3.09 cores=1,3,5,7
/proc/8250/stat : 8250 (cdcl-cuttingpla) R 8247 8250 6506 0 -1 4202496 12343 0 0 0 306 3 0 0 20 0 1 0 27660110 135376896 25974 33554432000 4194304 6201397 140735214251280 140735214249992 4213257 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8250/statm: 33051 25974 166 491 0 32550 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 132204

[startup+6.30032 s]
/proc/loadavg: 2.29 2.23 2.19 3/177 8251
/proc/meminfo: memFree=29685472/32872528 swapFree=17888/1798212
[pid=8250] ppid=8247 vsize=135300 CPUtime=6.29 cores=1,3,5,7
/proc/8250/stat : 8250 (cdcl-cuttingpla) R 8247 8250 6506 0 -1 4202496 13140 0 0 0 626 3 0 0 20 0 1 0 27660110 138547200 29837 33554432000 4194304 6201397 140735214251280 140735214249896 4213268 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8250/statm: 33825 29837 166 491 0 33324 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 135300

[startup+12.7003 s]
/proc/loadavg: 2.26 2.22 2.18 3/177 8251
/proc/meminfo: memFree=29661684/32872528 swapFree=17888/1798212
[pid=8250] ppid=8247 vsize=140324 CPUtime=12.69 cores=1,3,5,7
/proc/8250/stat : 8250 (cdcl-cuttingpla) R 8247 8250 6506 0 -1 4202496 14636 0 0 0 1265 4 0 0 20 0 1 0 27660110 143691776 34327 33554432000 4194304 6201397 140735214251280 140735214249896 4213170 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8250/statm: 35081 34327 166 491 0 34580 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 140324

[startup+25.5004 s]
/proc/loadavg: 2.28 2.23 2.19 4/177 8251
/proc/meminfo: memFree=29652520/32872528 swapFree=17888/1798212
[pid=8250] ppid=8247 vsize=193540 CPUtime=25.48 cores=1,3,5,7
/proc/8250/stat : 8250 (cdcl-cuttingpla) R 8247 8250 6506 0 -1 4202496 15897 0 0 0 2544 4 0 0 20 0 1 0 27660110 198184960 35326 33554432000 4194304 6201397 140735214251280 140735214250408 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8250/statm: 48385 35326 166 491 0 47884 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 193540

[startup+51.1004 s]
/proc/loadavg: 2.36 2.25 2.19 4/177 8251
/proc/meminfo: memFree=29608116/32872528 swapFree=17888/1798212
[pid=8250] ppid=8247 vsize=198488 CPUtime=51.08 cores=1,3,5,7
/proc/8250/stat : 8250 (cdcl-cuttingpla) R 8247 8250 6506 0 -1 4202496 17411 0 0 0 5103 5 0 0 20 0 1 0 27660110 203251712 45441 33554432000 4194304 6201397 140735214251280 140735214249992 4213186 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8250/statm: 49622 45441 166 491 0 49121 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 198488

[startup+102.3 s]
/proc/loadavg: 2.21 2.23 2.18 4/177 8253
/proc/meminfo: memFree=29536388/32872528 swapFree=17888/1798212
[pid=8250] ppid=8247 vsize=285196 CPUtime=102.28 cores=1,3,5,7
/proc/8250/stat : 8250 (cdcl-cuttingpla) R 8247 8250 6506 0 -1 4202496 19466 0 0 0 10222 6 0 0 20 0 1 0 27660110 292040704 51748 33554432000 4194304 6201397 140735214251280 140735214249560 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8250/statm: 71299 51748 166 491 0 70798 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 285196

[startup+162.3 s]
/proc/loadavg: 2.28 2.25 2.19 4/177 8254
/proc/meminfo: memFree=29530064/32872528 swapFree=17888/1798212
[pid=8250] ppid=8247 vsize=289784 CPUtime=162.26 cores=1,3,5,7
/proc/8250/stat : 8250 (cdcl-cuttingpla) R 8247 8250 6506 0 -1 4202496 20583 0 0 0 16220 6 0 0 20 0 1 0 27660110 296738816 52865 33554432000 4194304 6201397 140735214251280 140735214249896 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8250/statm: 72446 52865 166 491 0 71945 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 289784

[startup+222.307 s]
/proc/loadavg: 2.34 2.27 2.20 3/177 8255
/proc/meminfo: memFree=29523056/32872528 swapFree=17888/1798212
[pid=8250] ppid=8247 vsize=292080 CPUtime=222.27 cores=1,3,5,7
/proc/8250/stat : 8250 (cdcl-cuttingpla) R 8247 8250 6506 0 -1 4202496 21328 0 0 0 22220 7 0 0 20 0 1 0 27660110 299089920 54604 33554432000 4194304 6201397 140735214251280 140735214249992 4213257 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8250/statm: 73020 54604 166 491 0 72519 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 292080

[startup+282.3 s]
/proc/loadavg: 2.29 2.27 2.20 3/177 8256
/proc/meminfo: memFree=29490664/32872528 swapFree=17888/1798212
[pid=8250] ppid=8247 vsize=294476 CPUtime=282.25 cores=1,3,5,7
/proc/8250/stat : 8250 (cdcl-cuttingpla) R 8247 8250 6506 0 -1 4202496 21999 0 0 0 28217 8 0 0 20 0 1 0 27660110 301543424 62429 33554432000 4194304 6201397 140735214251280 140735214249896 4213708 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8250/statm: 73619 62429 166 491 0 73118 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 294476

[startup+342.3 s]
/proc/loadavg: 2.20 2.25 2.19 4/177 8257
/proc/meminfo: memFree=29485524/32872528 swapFree=17888/1798212
[pid=8250] ppid=8247 vsize=297096 CPUtime=342.24 cores=1,3,5,7
/proc/8250/stat : 8250 (cdcl-cuttingpla) R 8247 8250 6506 0 -1 4202496 22684 0 0 0 34216 8 0 0 20 0 1 0 27660110 304226304 63112 33554432000 4194304 6201397 140735214251280 140735214250408 4213268 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8250/statm: 74274 63112 166 491 0 73773 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 297096

[startup+402.3 s]
/proc/loadavg: 2.18 2.24 2.19 3/177 8259
/proc/meminfo: memFree=29463624/32872528 swapFree=17888/1798212
[pid=8250] ppid=8247 vsize=297924 CPUtime=402.23 cores=1,3,5,7
/proc/8250/stat : 8250 (cdcl-cuttingpla) R 8247 8250 6506 0 -1 4202496 22898 0 0 0 40215 8 0 0 20 0 1 0 27660110 305074176 63326 33554432000 4194304 6201397 140735214251280 140735214249560 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8250/statm: 74481 63326 166 491 0 73980 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 297924

[startup+462.3 s]
/proc/loadavg: 2.23 2.24 2.19 3/177 8260
/proc/meminfo: memFree=29460000/32872528 swapFree=17888/1798212
[pid=8250] ppid=8247 vsize=300656 CPUtime=462.21 cores=1,3,5,7
/proc/8250/stat : 8250 (cdcl-cuttingpla) R 8247 8250 6506 0 -1 4202496 23596 0 0 0 46213 8 0 0 20 0 1 0 27660110 307871744 64026 33554432000 4194304 6201397 140735214251280 140735214249896 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8250/statm: 75164 64026 166 491 0 74663 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 300656

[startup+522.597 s]
/proc/loadavg: 2.13 2.21 2.18 3/178 8264
/proc/meminfo: memFree=29440828/32872528 swapFree=17888/1798212
[pid=8250] ppid=8247 vsize=305296 CPUtime=522.49 cores=1,3,5,7
/proc/8250/stat : 8250 (cdcl-cuttingpla) R 8247 8250 6506 0 -1 4202496 24765 0 0 0 52240 9 0 0 20 0 1 0 27660110 312623104 68356 33554432000 4194304 6201397 140735214251280 140735214249560 4213257 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8250/statm: 76324 68356 166 491 0 75823 0
Current children cumulated CPU time (s) 522.49
Current children cumulated vsize (KiB) 305296

[startup+582.597 s]
/proc/loadavg: 2.20 2.21 2.18 3/177 8265
/proc/meminfo: memFree=29438044/32872528 swapFree=17888/1798212
[pid=8250] ppid=8247 vsize=306916 CPUtime=582.48 cores=1,3,5,7
/proc/8250/stat : 8250 (cdcl-cuttingpla) R 8247 8250 6506 0 -1 4202496 25186 0 0 0 58239 9 0 0 20 0 1 0 27660110 314281984 68776 33554432000 4194304 6201397 140735214251280 140735214249992 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8250/statm: 76729 68776 166 491 0 76228 0
Current children cumulated CPU time (s) 582.48
Current children cumulated vsize (KiB) 306916


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


[startup+942.3 s]
/proc/loadavg: 2.33 2.21 2.18 3/177 8317
/proc/meminfo: memFree=29819624/32872528 swapFree=17888/1798212
[pid=8250] ppid=8247 vsize=316920 CPUtime=942.14 cores=1,3,5,7
/proc/8250/stat : 8250 (cdcl-cuttingpla) R 8247 8250 6506 0 -1 4202496 27725 0 0 0 94203 11 0 0 20 0 1 0 27660110 324526080 74381 33554432000 4194304 6201397 140735214251280 140735214250408 4213253 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8250/statm: 79230 74381 166 491 0 78729 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 316920

[startup+1002.3 s]
/proc/loadavg: 2.27 2.21 2.18 3/177 8319
/proc/meminfo: memFree=29806728/32872528 swapFree=17888/1798212
[pid=8250] ppid=8247 vsize=317896 CPUtime=1002.12 cores=1,3,5,7
/proc/8250/stat : 8250 (cdcl-cuttingpla) R 8247 8250 6506 0 -1 4202496 27946 0 0 0 100201 11 0 0 20 0 1 0 27660110 325525504 74602 33554432000 4194304 6201397 140735214251280 140735214249560 4213186 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8250/statm: 79474 74602 166 491 0 78973 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 317896

[startup+1062.3 s]
/proc/loadavg: 2.25 2.22 2.18 3/177 8320
/proc/meminfo: memFree=29779928/32872528 swapFree=17888/1798212
[pid=8250] ppid=8247 vsize=320516 CPUtime=1062.11 cores=1,3,5,7
/proc/8250/stat : 8250 (cdcl-cuttingpla) R 8247 8250 6506 0 -1 4202496 28624 0 0 0 106200 11 0 0 20 0 1 0 27660110 328208384 79368 33554432000 4194304 6201397 140735214251280 140735214249896 4213178 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8250/statm: 80129 79368 166 491 0 79628 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 320516

[startup+1122.3 s]
/proc/loadavg: 2.29 2.24 2.19 3/178 8324
/proc/meminfo: memFree=29759956/32872528 swapFree=17884/1798208
[pid=8250] ppid=8247 vsize=453852 CPUtime=1122.11 cores=1,3,5,7
/proc/8250/stat : 8250 (cdcl-cuttingpla) R 8247 8250 6506 0 -1 4202496 29394 0 0 0 112199 12 0 0 20 0 1 0 27660110 464744448 83015 33554432000 4194304 6201397 140735214251280 140735214249560 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8250/statm: 113463 83015 166 491 0 112962 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 453852

[startup+1182.3 s]
/proc/loadavg: 2.27 2.24 2.19 3/177 8325
/proc/meminfo: memFree=29753388/32872528 swapFree=17888/1798212
[pid=8250] ppid=8247 vsize=455088 CPUtime=1182.1 cores=1,3,5,7
/proc/8250/stat : 8250 (cdcl-cuttingpla) R 8247 8250 6506 0 -1 4202496 29859 0 0 0 118198 12 0 0 20 0 1 0 27660110 466010112 84344 33554432000 4194304 6201397 140735214251280 140735214249992 4217730 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8250/statm: 113772 84344 166 491 0 113271 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 455088

[startup+1242.3 s]
/proc/loadavg: 2.33 2.26 2.20 3/177 8326
/proc/meminfo: memFree=29751404/32872528 swapFree=17888/1798212
[pid=8250] ppid=8247 vsize=456828 CPUtime=1242.09 cores=1,3,5,7
/proc/8250/stat : 8250 (cdcl-cuttingpla) R 8247 8250 6506 0 -1 4202496 30412 0 0 0 124197 12 0 0 20 0 1 0 27660110 467791872 84889 33554432000 4194304 6201397 140735214251280 140735214249560 4213257 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8250/statm: 114207 84889 166 491 0 113706 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 456828

[startup+1302.3 s]
/proc/loadavg: 2.31 2.27 2.20 3/176 8327
/proc/meminfo: memFree=29718708/32872528 swapFree=17888/1798212
[pid=8250] ppid=8247 vsize=458412 CPUtime=1302.09 cores=1,3,5,7
/proc/8250/stat : 8250 (cdcl-cuttingpla) R 8247 8250 6506 0 -1 4202496 30802 0 0 0 130196 13 0 0 20 0 1 0 27660110 469413888 91922 33554432000 4194304 6201397 140735214251280 140735214249896 4213186 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8250/statm: 114603 91922 166 491 0 114102 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 458412

[startup+1362.3 s]
/proc/loadavg: 2.29 2.27 2.20 3/177 8329
/proc/meminfo: memFree=29703872/32872528 swapFree=17888/1798212
[pid=8250] ppid=8247 vsize=458836 CPUtime=1362.07 cores=1,3,5,7
/proc/8250/stat : 8250 (cdcl-cuttingpla) R 8247 8250 6506 0 -1 4202496 30905 0 0 0 136194 13 0 0 20 0 1 0 27660110 469848064 94580 33554432000 4194304 6201397 140735214251280 140735214249992 4213168 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8250/statm: 114709 94580 166 491 0 114208 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 458836

[startup+1422.31 s]
/proc/loadavg: 2.14 2.23 2.19 3/177 8330
/proc/meminfo: memFree=29682656/32872528 swapFree=17888/1798212
[pid=8250] ppid=8247 vsize=459112 CPUtime=1422.07 cores=1,3,5,7
/proc/8250/stat : 8250 (cdcl-cuttingpla) R 8247 8250 6506 0 -1 4202496 30980 0 0 0 142194 13 0 0 20 0 1 0 27660110 470130688 99765 33554432000 4194304 6201397 140735214251280 140735214249896 4213186 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8250/statm: 114778 99765 166 491 0 114277 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 459112

[startup+1482.3 s]
/proc/loadavg: 2.19 2.23 2.18 3/177 8331
/proc/meminfo: memFree=29679116/32872528 swapFree=17888/1798212
[pid=8250] ppid=8247 vsize=459292 CPUtime=1482.05 cores=1,3,5,7
/proc/8250/stat : 8250 (cdcl-cuttingpla) R 8247 8250 6506 0 -1 4202496 31061 0 0 0 148192 13 0 0 20 0 1 0 27660110 470315008 100344 33554432000 4194304 6201397 140735214251280 140735214249608 4213257 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8250/statm: 114823 100344 166 491 0 114322 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 459292

[startup+1542.3 s]
/proc/loadavg: 2.15 2.21 2.18 3/177 8332
/proc/meminfo: memFree=29676880/32872528 swapFree=17888/1798212
[pid=8250] ppid=8247 vsize=460616 CPUtime=1542.04 cores=1,3,5,7
/proc/8250/stat : 8250 (cdcl-cuttingpla) R 8247 8250 6506 0 -1 4202496 31414 0 0 0 154191 13 0 0 20 0 1 0 27660110 471670784 100695 33554432000 4194304 6201397 140735214251280 140735214249560 4213257 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8250/statm: 115154 100695 166 491 0 114653 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 460616

[startup+1602.3 s]
/proc/loadavg: 2.13 2.20 2.18 3/177 8333
/proc/meminfo: memFree=29672452/32872528 swapFree=17888/1798212
[pid=8250] ppid=8247 vsize=462288 CPUtime=1602.04 cores=1,3,5,7
/proc/8250/stat : 8250 (cdcl-cuttingpla) R 8247 8250 6506 0 -1 4202496 31836 0 0 0 160190 14 0 0 20 0 1 0 27660110 473382912 101117 33554432000 4194304 6201397 140735214251280 140735214249560 4213186 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8250/statm: 115572 101117 166 491 0 115071 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 462288

[startup+1662.3 s]
/proc/loadavg: 2.22 2.21 2.18 4/177 8335
/proc/meminfo: memFree=29670712/32872528 swapFree=17888/1798212
[pid=8250] ppid=8247 vsize=462980 CPUtime=1662.03 cores=1,3,5,7
/proc/8250/stat : 8250 (cdcl-cuttingpla) R 8247 8250 6506 0 -1 4202496 32030 0 0 0 166189 14 0 0 20 0 1 0 27660110 474091520 101311 33554432000 4194304 6201397 140735214251280 140735214249992 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8250/statm: 115745 101311 166 491 0 115244 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 462980

[startup+1722.3 s]
/proc/loadavg: 2.29 2.23 2.19 3/178 8339
/proc/meminfo: memFree=29662204/32872528 swapFree=17888/1798212
[pid=8250] ppid=8247 vsize=463996 CPUtime=1722.02 cores=1,3,5,7
/proc/8250/stat : 8250 (cdcl-cuttingpla) R 8247 8250 6506 0 -1 4202496 32285 0 0 0 172188 14 0 0 20 0 1 0 27660110 475131904 101566 33554432000 4194304 6201397 140735214251280 140735214249992 4213253 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8250/statm: 115999 101566 166 491 0 115498 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 463996

[startup+1782.3 s]
/proc/loadavg: 2.32 2.25 2.19 4/177 8340
/proc/meminfo: memFree=29653872/32872528 swapFree=17888/1798212
[pid=8250] ppid=8247 vsize=465464 CPUtime=1782.01 cores=1,3,5,7
/proc/8250/stat : 8250 (cdcl-cuttingpla) R 8247 8250 6506 0 -1 4202496 32642 0 0 0 178187 14 0 0 20 0 1 0 27660110 476635136 103454 33554432000 4194304 6201397 140735214251280 140735214249992 4213244 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8250/statm: 116366 103454 166 491 0 115865 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 465464



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.31 2.25 2.19 3/177 8341
/proc/meminfo: memFree=29648592/32872528 swapFree=17888/1798212
[pid=8250] ppid=8247 vsize=465656 CPUtime=1800 cores=1,3,5,7
/proc/8250/stat : 8250 (cdcl-cuttingpla) R 8247 8250 6506 0 -1 4202496 32691 0 0 0 179986 14 0 0 20 0 1 0 27660110 476831744 104528 33554432000 4194304 6201397 140735214251280 140735214249992 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8250/statm: 116414 104528 166 491 0 115913 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 465656

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

[startup+1800.3 s]
/proc/loadavg: 2.31 2.25 2.19 3/177 8341
/proc/meminfo: memFree=29648592/32872528 swapFree=17888/1798212
[pid=8250] ppid=8247 vsize=465656 CPUtime=1800 cores=1,3,5,7
/proc/8250/stat : 8250 (cdcl-cuttingpla) R 8247 8250 6506 0 -1 4202496 32691 0 0 0 179986 14 0 0 20 0 1 0 27660110 476831744 104528 33554432000 4194304 6201397 140735214251280 140735214249992 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/8250/statm: 116414 104528 166 491 0 115913 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 465656

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.01
CPU user time (s): 1799.87
CPU system time (s): 0.143978
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 465656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.87
system time used= 0.143978
maximum resident set size= 418112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32691
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= 29
involuntary context switches= 1852

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.79266 second user time and 13.4879 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-18 15:22:10
IDJOB=4101872
IDBENCH=1804
IDSOLVER=2550
FILE ID=node123/4101872-1466256129
RUNJOBID= node123-1466240371-6523
PBS_JOBID= 19918188
Free space on /tmp= 71624 MiB

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

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

MD5SUM BENCH= f0369b32b392b309903886944ef44b64
RANDOM SEED=446557661

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

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
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.57
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.791
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.56
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.791
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.791
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.791
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:        29800576 kB
Buffers:           39252 kB
Cached:            91868 kB
SwapCached:         1600 kB
Active:           432964 kB
Inactive:         104636 kB
Active(anon):     405816 kB
Inactive(anon):     3072 kB
Active(file):      27148 kB
Inactive(file):   101564 kB
Unevictable:     1798212 kB
Mlocked:           17888 kB
SwapTotal:      67108856 kB
SwapFree:       67099316 kB
Dirty:             10876 kB
Writeback:             0 kB
AnonPages:       2204204 kB
Mapped:             7820 kB
Shmem:                 0 kB
Slab:             600944 kB
SReclaimable:      44800 kB
SUnreclaim:       556144 kB
KernelStack:        1432 kB
PageTables:         8236 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2364048 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2097152 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71624 MiB
End job on node123 at 2016-06-18 15:52:10