Trace number 4100159

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 binary search 2016-05-01? (TO) 1800.1 1800.4

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-nug08.opb
MD5SUM6120923c090ddeb6029c79f9e1b7777e
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark18
Best CPU time to get the best result obtained on this benchmark6.15506
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 18
Optimality of the best value was proved NO
Number of variables32640
Total number of constraints912
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints912
Minimum length of a constraint160
Maximum length of a constraint160
Number of terms in the objective function 20160
Biggest coefficient in the objective function 1216
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 537736
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 32769
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 537736
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.01	c OPTIONS:
0.00/0.01	c - Resolve (`-resolve-always' or `-resolve-skip'): -resolve-skip
0.00/0.07	c * #variable= 32640 #constraint= 912
0.08/0.24	c * #variable= 32640 #constraint= 912
13.18/13.28	c S1->S2
13.18/13.28	c S1->S2
13.18/13.28	c S1->S2
13.18/13.28	c S1->S2
13.18/13.28	c S1->S2
13.18/13.28	c #Conflicts:       1000 | #Learnt:       1002 | 0.052
13.18/13.28	c total clause space: 18.2382MB
13.18/13.28	c total #watches: 442676
28.88/28.99	c total #propagations: 2113545 / total #impl: 85889998 (eff. 0.025)
28.88/28.99	c #Conflicts:       2000 | #Learnt:       1995 | 0.669
28.88/28.99	c total clause space: 48.1602MB
28.88/28.99	c total #watches: 1008064
53.58/53.68	c total #propagations: 3261174 / total #impl: 152566178 (eff. 0.021)
53.58/53.68	c #Conflicts:       3000 | #Learnt:       2004 | 0.565
53.58/53.68	c total clause space: 78.2603MB
53.58/53.68	c total #watches: 1213799
63.68/63.77	c total #propagations: 4167493 / total #impl: 207449014 (eff. 0.020)
63.68/63.77	c #Conflicts:       4000 | #Learnt:       2997 | 0.505
63.68/63.77	c total clause space: 78.2603MB
63.68/63.77	c total #watches: 1591743
83.68/83.77	c total #propagations: 4539195 / total #impl: 250575961 (eff. 0.018)
83.68/83.77	c GC COLLECT
83.68/83.77	c #Conflicts:       5000 | #Learnt:       2359 | 0.569
83.68/83.77	c total clause space: 127.173MB
83.68/83.77	c total #watches: 1699659
110.77/110.81	c total #propagations: 5350417 / total #impl: 309899313 (eff. 0.017)
110.77/110.81	c #Conflicts:       6000 | #Learnt:       3354 | 0.641
110.77/110.81	c total clause space: 127.173MB
110.77/110.81	c total #watches: 2061451
131.36/131.40	c total #propagations: 7688916 / total #impl: 370359403 (eff. 0.021)
131.36/131.40	c GC COLLECT
131.36/131.40	c #Conflicts:       7000 | #Learnt:       2246 | 0.554
131.36/131.40	c total clause space: 127.173MB
131.36/131.40	c total #watches: 1768190
151.46/151.57	c total #propagations: 8325071 / total #impl: 413269452 (eff. 0.020)
151.46/151.57	c #Conflicts:       8000 | #Learnt:       3246 | 0.486
151.46/151.57	c total clause space: 127.173MB
151.46/151.57	c total #watches: 2053366
204.85/204.98	c total #propagations: 9010557 / total #impl: 472303597 (eff. 0.019)
204.85/204.98	c #Conflicts:       9000 | #Learnt:       4245 | 0.467
204.85/204.98	c total clause space: 127.173MB
204.85/204.98	c total #watches: 2236843
266.84/266.98	c total #propagations: 9827002 / total #impl: 565506943 (eff. 0.017)
266.84/266.98	c GC COLLECT
266.84/266.98	c #Conflicts:      10000 | #Learnt:       2738 | 0.441
266.84/266.98	c total clause space: 127.173MB
266.84/266.98	c total #watches: 1481324
307.13/307.26	c total #propagations: 12308949 / total #impl: 625068988 (eff. 0.020)
307.13/307.26	c #Conflicts:      11000 | #Learnt:       3737 | 0.419
307.13/307.26	c total clause space: 127.173MB
307.13/307.26	c total #watches: 1515099
389.12/389.28	c total #propagations: 16190437 / total #impl: 666542990 (eff. 0.024)
389.12/389.28	c #Conflicts:      12000 | #Learnt:       4736 | 0.415
389.12/389.28	c total clause space: 127.173MB
389.12/389.28	c total #watches: 1567712
449.21/449.38	c total #propagations: 19400923 / total #impl: 755534345 (eff. 0.026)
449.21/449.38	c #Conflicts:      13000 | #Learnt:       5734 | 0.392
449.21/449.38	c total clause space: 127.173MB
449.21/449.38	c total #watches: 1607845
462.02/462.12	c total #propagations: 23093241 / total #impl: 825378758 (eff. 0.028)
462.02/462.12	c GC COLLECT
462.02/462.12	c #Conflicts:      14000 | #Learnt:       3879 | 0.369
462.02/462.12	c total clause space: 127.173MB
462.02/462.12	c total #watches: 972008
471.00/471.16	c total #propagations: 26139965 / total #impl: 856503785 (eff. 0.031)
471.00/471.16	c #Conflicts:      15000 | #Learnt:       4877 | 0.345
471.00/471.16	c total clause space: 127.173MB
471.00/471.16	c total #watches: 1028645
478.00/478.19	c total #propagations: 27299958 / total #impl: 889396908 (eff. 0.031)
478.00/478.19	c #Conflicts:      16000 | #Learnt:       5875 | 0.333
478.00/478.19	c total clause space: 127.173MB
478.00/478.19	c total #watches: 1084100
493.20/493.34	c total #propagations: 30680455 / total #impl: 914297164 (eff. 0.034)
493.20/493.34	c GC COLLECT
493.20/493.34	c #Conflicts:      17000 | #Learnt:       3741 | 0.314
493.20/493.34	c total clause space: 127.173MB
493.20/493.34	c total #watches: 916440
504.10/504.29	c total #propagations: 35721640 / total #impl: 951233177 (eff. 0.038)
504.10/504.29	c #Conflicts:      18000 | #Learnt:       4741 | 0.297
504.10/504.29	c total clause space: 127.173MB
504.10/504.29	c total #watches: 939316
518.60/518.76	c total #propagations: 40675759 / total #impl: 969975475 (eff. 0.042)
518.60/518.76	c #Conflicts:      19000 | #Learnt:       5731 | 0.467
518.60/518.76	c total clause space: 127.173MB
518.60/518.76	c total #watches: 1095325
531.50/531.68	c total #propagations: 41338536 / total #impl: 1002881449 (eff. 0.041)
531.50/531.68	c #Conflicts:      20000 | #Learnt:       6731 | 0.453
531.50/531.68	c total clause space: 127.173MB
531.50/531.68	c total #watches: 1140253
564.09/564.28	c total #propagations: 43681501 / total #impl: 1034699142 (eff. 0.042)
564.09/564.28	c GC COLLECT
564.09/564.28	c #Conflicts:      21000 | #Learnt:       4239 | 0.442
564.09/564.28	c total clause space: 127.173MB
564.09/564.28	c total #watches: 955135
572.10/572.23	c total #propagations: 47857276 / total #impl: 1137434340 (eff. 0.042)
572.10/572.23	c #Conflicts:      22000 | #Learnt:       5238 | 0.430
572.10/572.23	c total clause space: 127.173MB
572.10/572.23	c total #watches: 1010347
582.89/583.07	c total #propagations: 52002080 / total #impl: 1178040402 (eff. 0.044)
582.89/583.07	c #Conflicts:      23000 | #Learnt:       6237 | 0.414
582.89/583.07	c total clause space: 127.173MB
582.89/583.07	c total #watches: 1061873
606.28/606.46	c total #propagations: 55520467 / total #impl: 1218076806 (eff. 0.046)
606.28/606.46	c #Conflicts:      24000 | #Learnt:       7232 | 0.405
606.28/606.46	c total clause space: 127.173MB
606.28/606.46	c total #watches: 1150794
618.98/619.10	c total #propagations: 58659682 / total #impl: 1376332763 (eff. 0.043)
618.98/619.10	c GC COLLECT
618.98/619.10	c #Conflicts:      25000 | #Learnt:       4457 | 0.431
618.98/619.10	c total clause space: 127.173MB
618.98/619.10	c total #watches: 960981
629.08/629.24	c total #propagations: 62965948 / total #impl: 1434244641 (eff. 0.044)
629.08/629.24	c #Conflicts:      26000 | #Learnt:       5456 | 0.423
629.08/629.24	c total clause space: 127.173MB
629.08/629.24	c total #watches: 990582
641.29/641.45	c total #propagations: 67110847 / total #impl: 1492036791 (eff. 0.045)
641.29/641.45	c #Conflicts:      27000 | #Learnt:       6455 | 0.437
641.29/641.45	c total clause space: 127.173MB
641.29/641.45	c total #watches: 1023710
655.77/655.94	c total #propagations: 69637232 / total #impl: 1554535451 (eff. 0.045)
655.77/655.94	c #Conflicts:      28000 | #Learnt:       7453 | 0.424
655.77/655.94	c total clause space: 127.173MB
655.77/655.94	c total #watches: 1073725
675.67/675.80	c total #propagations: 73263775 / total #impl: 1630229214 (eff. 0.045)
675.67/675.80	c GC COLLECT
675.67/675.80	c #Conflicts:      29000 | #Learnt:       4344 | 0.417
675.67/675.80	c total clause space: 127.173MB
675.67/675.80	c total #watches: 878876
713.98/714.13	c total #propagations: 77670016 / total #impl: 1759055535 (eff. 0.044)
713.98/714.13	c #Conflicts:      30000 | #Learnt:       5343 | 0.418
713.98/714.13	c total clause space: 127.173MB
713.98/714.13	c total #watches: 909530
722.96/723.16	c total #propagations: 81663987 / total #impl: 1879588924 (eff. 0.043)
722.96/723.16	c #Conflicts:      31000 | #Learnt:       6340 | 0.412
722.96/723.16	c total clause space: 127.173MB
722.96/723.16	c total #watches: 971271
745.87/746.04	c total #propagations: 84551514 / total #impl: 1985487245 (eff. 0.043)
745.87/746.04	c #Conflicts:      32000 | #Learnt:       7338 | 0.400
745.87/746.04	c total clause space: 127.173MB
745.87/746.04	c total #watches: 993578
752.86/753.09	c total #propagations: 88157018 / total #impl: 2299784364 (eff. 0.038)
752.86/753.09	c #Conflicts:      33000 | #Learnt:       8338 | 0.389
752.86/753.09	c total clause space: 127.173MB
752.86/753.09	c total #watches: 1012155
761.06/761.30	c total #propagations: 90032182 / total #impl: 2420319428 (eff. 0.037)
761.06/761.30	c GC COLLECT
761.06/761.30	c #Conflicts:      34000 | #Learnt:       4937 | 0.381
761.06/761.30	c total clause space: 127.173MB
761.06/761.30	c total #watches: 846906
766.46/766.64	c total #propagations: 90508558 / total #impl: 2498493533 (eff. 0.036)
766.46/766.64	c #Conflicts:      35000 | #Learnt:       5935 | 0.370
766.46/766.64	c total clause space: 127.173MB
766.46/766.64	c total #watches: 913807
773.86/774.09	c total #propagations: 90623685 / total #impl: 2533698430 (eff. 0.036)
773.86/774.09	c #Conflicts:      36000 | #Learnt:       6935 | 0.360
773.86/774.09	c total clause space: 127.173MB
773.86/774.09	c total #watches: 935526
783.35/783.51	c total #propagations: 93141185 / total #impl: 2590459226 (eff. 0.036)
783.35/783.51	c #Conflicts:      37000 | #Learnt:       7935 | 0.352
783.35/783.51	c total clause space: 127.173MB
783.35/783.51	c total #watches: 983158
790.35/790.58	c total #propagations: 96250275 / total #impl: 2673426342 (eff. 0.036)
790.35/790.58	c #Conflicts:      38000 | #Learnt:       8935 | 0.343
790.35/790.58	c total clause space: 127.173MB
790.35/790.58	c total #watches: 1000588
798.75/798.96	c total #propagations: 99248320 / total #impl: 2745079243 (eff. 0.036)
798.75/798.96	c GC COLLECT
798.75/798.96	c #Conflicts:      39000 | #Learnt:       5255 | 0.335
798.75/798.96	c total clause space: 127.173MB
798.75/798.96	c total #watches: 824084
803.75/803.93	c total #propagations: 102444341 / total #impl: 2837523367 (eff. 0.036)
803.75/803.93	c #Conflicts:      40000 | #Learnt:       6255 | 0.330
803.75/803.93	c total clause space: 127.173MB
803.75/803.93	c total #watches: 858703
807.15/807.34	c total #propagations: 104686269 / total #impl: 2930125317 (eff. 0.036)
807.15/807.34	c #Conflicts:      41000 | #Learnt:       7253 | 0.333
807.15/807.34	c total clause space: 127.173MB
807.15/807.34	c total #watches: 892797
817.15/817.39	c total #propagations: 106079684 / total #impl: 2990641274 (eff. 0.035)
817.15/817.39	c #Conflicts:      42000 | #Learnt:       8252 | 0.326
817.15/817.39	c total clause space: 127.173MB
817.15/817.39	c total #watches: 916778
823.86/824.06	c total #propagations: 109126704 / total #impl: 3056223303 (eff. 0.036)
823.86/824.06	c #Conflicts:      43000 | #Learnt:       9252 | 0.319
823.86/824.06	c total clause space: 127.173MB
823.86/824.06	c total #watches: 940305
829.15/829.38	c total #propagations: 112586593 / total #impl: 3129106035 (eff. 0.036)
829.15/829.38	c GC COLLECT
829.15/829.38	c #Conflicts:      44000 | #Learnt:       5244 | 0.315
829.15/829.38	c total clause space: 127.173MB
829.15/829.38	c total #watches: 736276
833.65/833.83	c total #propagations: 113524098 / total #impl: 3185829054 (eff. 0.036)
833.65/833.83	c #Conflicts:      45000 | #Learnt:       6244 | 0.308
833.65/833.83	c total clause space: 127.173MB
833.65/833.83	c total #watches: 816657
847.05/847.22	c total #propagations: 114357153 / total #impl: 3203962322 (eff. 0.036)
847.05/847.22	c #Conflicts:      46000 | #Learnt:       7242 | 0.303
847.05/847.22	c total clause space: 127.173MB
847.05/847.22	c total #watches: 877171
870.15/870.33	c total #propagations: 116928820 / total #impl: 3408754642 (eff. 0.034)
870.15/870.33	c #Conflicts:      47000 | #Learnt:       8239 | 0.300
870.15/870.33	c total clause space: 127.173MB
870.15/870.33	c total #watches: 935860
878.34/878.53	c total #propagations: 120668719 / total #impl: 3604682749 (eff. 0.033)
878.34/878.53	c #Conflicts:      48000 | #Learnt:       9239 | 0.296
878.34/878.53	c total clause space: 127.173MB
878.34/878.53	c total #watches: 956777
896.84/897.01	c total #propagations: 124374133 / total #impl: 3730191257 (eff. 0.033)
896.84/897.01	c #Conflicts:      49000 | #Learnt:      10237 | 0.293
896.84/897.01	c total clause space: 127.173MB
896.84/897.01	c total #watches: 994347
916.24/916.46	c total #propagations: 128625975 / total #impl: 3924054682 (eff. 0.033)
916.24/916.46	c GC COLLECT
916.24/916.46	c #Conflicts:      50000 | #Learnt:       5937 | 0.290
916.24/916.46	c total clause space: 127.173MB
916.24/916.46	c total #watches: 854303
927.24/927.44	c total #propagations: 132219627 / total #impl: 4145816330 (eff. 0.032)
927.24/927.44	c #Conflicts:      51000 | #Learnt:       6934 | 0.290
927.24/927.44	c total clause space: 127.173MB
927.24/927.44	c total #watches: 898061
938.63/938.88	c total #propagations: 133866945 / total #impl: 4268683589 (eff. 0.031)
938.63/938.88	c #Conflicts:      52000 | #Learnt:       7931 | 0.290
938.63/938.88	c total clause space: 127.173MB
938.63/938.88	c total #watches: 931624
965.22/965.49	c total #propagations: 136869173 / total #impl: 4399462322 (eff. 0.031)
965.22/965.49	c #Conflicts:      53000 | #Learnt:       8929 | 0.298
965.22/965.49	c total clause space: 127.173MB
965.22/965.49	c total #watches: 945910
982.82/983.09	c total #propagations: 141320237 / total #impl: 4766457541 (eff. 0.030)
982.82/983.09	c #Conflicts:      54000 | #Learnt:       9929 | 0.295
982.82/983.09	c total clause space: 127.173MB
982.82/983.09	c total #watches: 969309
994.33/994.59	c total #propagations: 145425823 / total #impl: 4915205565 (eff. 0.030)
994.33/994.59	c #Conflicts:      55000 | #Learnt:      10922 | 0.313
994.33/994.59	c total clause space: 127.173MB
994.33/994.59	c total #watches: 1001844
1001.82/1002.04	c total #propagations: 147622628 / total #impl: 5058943786 (eff. 0.029)
1001.82/1002.04	c GC COLLECT
1001.82/1002.04	c #Conflicts:      56000 | #Learnt:       6320 | 0.311
1001.82/1002.04	c total clause space: 127.173MB
1001.82/1002.04	c total #watches: 777487
1016.43/1016.66	c total #propagations: 148374637 / total #impl: 5205416801 (eff. 0.029)
1016.43/1016.66	c #Conflicts:      57000 | #Learnt:       7319 | 0.307
1016.43/1016.66	c total clause space: 127.173MB
1016.43/1016.66	c total #watches: 822467
1027.32/1027.57	c total #propagations: 150952387 / total #impl: 5396300276 (eff. 0.028)
1027.32/1027.57	c #Conflicts:      58000 | #Learnt:       8319 | 0.304
1027.32/1027.57	c total clause space: 127.173MB
1027.32/1027.57	c total #watches: 854724
1033.41/1033.66	c total #propagations: 153277007 / total #impl: 5490086585 (eff. 0.028)
1033.41/1033.66	c #Conflicts:      59000 | #Learnt:       9318 | 0.301
1033.41/1033.66	c total clause space: 127.173MB
1033.41/1033.66	c total #watches: 954789
1039.81/1040.03	c total #propagations: 153952683 / total #impl: 5572183357 (eff. 0.028)
1039.81/1040.03	c #Conflicts:      60000 | #Learnt:      10317 | 0.301
1039.81/1040.03	c total clause space: 127.173MB
1039.81/1040.03	c total #watches: 1004037
1047.12/1047.39	c total #propagations: 154509369 / total #impl: 5700718292 (eff. 0.027)
1047.12/1047.39	c #Conflicts:      61000 | #Learnt:      11311 | 0.299
1047.12/1047.39	c total clause space: 127.173MB
1047.12/1047.39	c total #watches: 1072000
1052.31/1052.53	c total #propagations: 155113162 / total #impl: 5750186004 (eff. 0.027)
1052.31/1052.53	c GC COLLECT
1052.31/1052.53	c #Conflicts:      62000 | #Learnt:       6422 | 0.295
1052.31/1052.53	c total clause space: 127.173MB
1052.31/1052.53	c total #watches: 959098
1057.41/1057.69	c total #propagations: 155214691 / total #impl: 5810657134 (eff. 0.027)
1057.41/1057.69	c #Conflicts:      63000 | #Learnt:       7422 | 0.291
1057.41/1057.69	c total clause space: 127.173MB
1057.41/1057.69	c total #watches: 997365
1061.72/1061.93	c total #propagations: 155297350 / total #impl: 6002813761 (eff. 0.026)
1061.72/1061.93	c #Conflicts:      64000 | #Learnt:       8422 | 0.286
1061.72/1061.93	c total clause space: 127.173MB
1061.72/1061.93	c total #watches: 1054765
1072.22/1072.47	c total #propagations: 155347111 / total #impl: 6192996496 (eff. 0.025)
1072.22/1072.47	c #Conflicts:      65000 | #Learnt:       9422 | 0.284
1072.22/1072.47	c total clause space: 127.173MB
1072.22/1072.47	c total #watches: 1089360
1093.21/1093.47	c total #propagations: 157433300 / total #impl: 6314372935 (eff. 0.025)
1093.21/1093.47	c #Conflicts:      66000 | #Learnt:      10421 | 0.282
1093.21/1093.47	c total clause space: 127.173MB
1093.21/1093.47	c total #watches: 1108170
1107.81/1108.03	c total #propagations: 161571502 / total #impl: 6477314774 (eff. 0.025)
1107.81/1108.03	c #Conflicts:      67000 | #Learnt:      11421 | 0.279
1107.81/1108.03	c total clause space: 127.173MB
1107.81/1108.03	c total #watches: 1154264
1119.91/1120.14	c total #propagations: 163900304 / total #impl: 6613147245 (eff. 0.025)
1119.91/1120.14	c #Conflicts:      68000 | #Learnt:      12420 | 0.275
1119.91/1120.14	c total clause space: 127.173MB
1119.91/1120.14	c total #watches: 1189610
1139.21/1139.48	c total #propagations: 166596073 / total #impl: 6756968883 (eff. 0.025)
1139.21/1139.48	c GC COLLECT
1139.21/1139.48	c #Conflicts:      69000 | #Learnt:       7230 | 0.291
1139.21/1139.48	c total clause space: 127.173MB
1139.21/1139.48	c total #watches: 1000602
1145.90/1146.11	c total #propagations: 168982044 / total #impl: 6827534512 (eff. 0.025)
1145.90/1146.11	c #Conflicts:      70000 | #Learnt:       8226 | 0.301
1145.90/1146.11	c total clause space: 127.173MB
1145.90/1146.11	c total #watches: 1059087
1151.50/1151.71	c total #propagations: 169213158 / total #impl: 6894648100 (eff. 0.025)
1151.50/1151.71	c #Conflicts:      71000 | #Learnt:       9225 | 0.298
1151.50/1151.71	c total clause space: 127.173MB
1151.50/1151.71	c total #watches: 1121482
1157.30/1157.50	c total #propagations: 169341087 / total #impl: 7006469031 (eff. 0.024)
1157.30/1157.50	c #Conflicts:      72000 | #Learnt:      10225 | 0.294
1157.30/1157.50	c total clause space: 127.173MB
1157.30/1157.50	c total #watches: 1165820
1170.50/1170.75	c total #propagations: 169437297 / total #impl: 7154345612 (eff. 0.024)
1170.50/1170.75	c #Conflicts:      73000 | #Learnt:      11220 | 0.309
1170.50/1170.75	c total clause space: 127.173MB
1170.50/1170.75	c total #watches: 1222505
1179.00/1179.20	c total #propagations: 171073777 / total #impl: 7300047338 (eff. 0.023)
1179.00/1179.20	c #Conflicts:      74000 | #Learnt:      12216 | 0.306
1179.00/1179.20	c total clause space: 127.173MB
1179.00/1179.20	c total #watches: 1313666
1186.30/1186.54	c total #propagations: 171338646 / total #impl: 7379337760 (eff. 0.023)
1186.30/1186.54	c GC COLLECT
1186.30/1186.54	c #Conflicts:      75000 | #Learnt:       6719 | 0.304
1186.30/1186.54	c total clause space: 127.173MB
1186.30/1186.54	c total #watches: 1089315
1201.60/1201.83	c total #propagations: 171487324 / total #impl: 7423848675 (eff. 0.023)
1201.60/1201.83	c #Conflicts:      76000 | #Learnt:       7719 | 0.301
1201.60/1201.83	c total clause space: 127.173MB
1201.60/1201.83	c total #watches: 1112209
1217.39/1217.69	c total #propagations: 174364523 / total #impl: 7546003093 (eff. 0.023)
1217.39/1217.69	c #Conflicts:      77000 | #Learnt:       8718 | 0.297
1217.39/1217.69	c total clause space: 127.173MB
1217.39/1217.69	c total #watches: 1124350
1226.89/1227.19	c total #propagations: 178649475 / total #impl: 7708634804 (eff. 0.023)
1226.89/1227.19	c #Conflicts:      78000 | #Learnt:       9716 | 0.301
1226.89/1227.19	c total clause space: 127.173MB
1226.89/1227.19	c total #watches: 1160333
1237.79/1238.10	c total #propagations: 180647087 / total #impl: 7827111519 (eff. 0.023)
1237.79/1238.10	c #Conflicts:      79000 | #Learnt:      10715 | 0.298
1237.79/1238.10	c total clause space: 127.173MB
1237.89/1238.10	c total #watches: 1260138
1256.69/1256.90	c total #propagations: 181068423 / total #impl: 7957342467 (eff. 0.023)
1256.69/1256.90	c #Conflicts:      80000 | #Learnt:      11715 | 0.300
1256.69/1256.90	c total clause space: 127.173MB
1256.69/1256.90	c total #watches: 1300933
1267.59/1267.88	c total #propagations: 185356883 / total #impl: 8161894634 (eff. 0.023)
1267.59/1267.88	c #Conflicts:      81000 | #Learnt:      12713 | 0.296
1267.59/1267.88	c total clause space: 127.173MB
1267.59/1267.88	c total #watches: 1346310
1278.09/1278.34	c total #propagations: 187872646 / total #impl: 8274059488 (eff. 0.023)
1278.09/1278.34	c GC COLLECT
1278.09/1278.34	c #Conflicts:      82000 | #Learnt:       6944 | 0.295
1278.09/1278.34	c total clause space: 127.173MB
1278.09/1278.34	c total #watches: 1086671
1295.48/1295.72	c total #propagations: 190328222 / total #impl: 8371524809 (eff. 0.023)
1295.48/1295.72	c #Conflicts:      83000 | #Learnt:       7944 | 0.291
1295.48/1295.72	c total clause space: 127.173MB
1295.48/1295.72	c total #watches: 1143090
1311.19/1311.49	c total #propagations: 194229792 / total #impl: 8410472519 (eff. 0.023)
1311.19/1311.49	c #Conflicts:      84000 | #Learnt:       8941 | 0.293
1311.19/1311.49	c total clause space: 127.173MB
1311.19/1311.49	c total #watches: 1190283
1317.58/1317.84	c total #propagations: 198238210 / total #impl: 8471594083 (eff. 0.023)
1317.58/1317.84	c #Conflicts:      85000 | #Learnt:       9941 | 0.290
1317.58/1317.84	c total clause space: 127.173MB
1317.58/1317.84	c total #watches: 1225696
1323.78/1324.00	c total #propagations: 198921003 / total #impl: 8505443321 (eff. 0.023)
1323.78/1324.00	c #Conflicts:      86000 | #Learnt:      10939 | 0.286
1323.78/1324.00	c total clause space: 127.173MB
1323.78/1324.00	c total #watches: 1284855
1329.68/1329.91	c total #propagations: 199012846 / total #impl: 8529723791 (eff. 0.023)
1329.68/1329.91	c #Conflicts:      87000 | #Learnt:      11939 | 0.283
1329.68/1329.91	c total clause space: 127.173MB
1329.68/1329.91	c total #watches: 1364335
1337.49/1337.75	c total #propagations: 199071211 / total #impl: 8547531487 (eff. 0.023)
1337.49/1337.75	c #Conflicts:      88000 | #Learnt:      12936 | 0.284
1337.49/1337.75	c total clause space: 127.173MB
1337.49/1337.75	c total #watches: 1521335
1345.97/1346.20	c total #propagations: 199151163 / total #impl: 8571356767 (eff. 0.023)
1345.97/1346.20	c #Conflicts:      89000 | #Learnt:      13936 | 0.281
1345.97/1346.20	c total clause space: 127.173MB
1345.97/1346.20	c total #watches: 1637997
1355.87/1356.10	c total #propagations: 199218661 / total #impl: 8624781755 (eff. 0.023)
1355.87/1356.10	c GC COLLECT
1355.87/1356.10	c #Conflicts:      90000 | #Learnt:       7842 | 0.278
1355.87/1356.10	c total clause space: 127.173MB
1355.87/1356.10	c total #watches: 1303616
1369.17/1369.47	c total #propagations: 199350169 / total #impl: 8662924574 (eff. 0.023)
1369.17/1369.47	c #Conflicts:      91000 | #Learnt:       8838 | 0.277
1369.17/1369.47	c total clause space: 127.173MB
1369.17/1369.47	c total #watches: 1457012
1383.47/1383.76	c total #propagations: 199662164 / total #impl: 8741567804 (eff. 0.023)
1383.47/1383.76	c #Conflicts:      92000 | #Learnt:       9837 | 0.274
1383.47/1383.76	c total clause space: 127.173MB
1383.47/1383.76	c total #watches: 1542392
1390.67/1390.94	c total #propagations: 199823214 / total #impl: 8838761495 (eff. 0.023)
1390.67/1390.94	c #Conflicts:      93000 | #Learnt:      10837 | 0.271
1390.67/1390.94	c total clause space: 127.173MB
1390.67/1390.94	c total #watches: 1621867
1399.96/1400.25	c total #propagations: 199900234 / total #impl: 8861540316 (eff. 0.023)
1399.96/1400.25	c #Conflicts:      94000 | #Learnt:      11837 | 0.268
1399.96/1400.25	c total clause space: 127.173MB
1399.96/1400.25	c total #watches: 1731528
1414.36/1414.60	c total #propagations: 199964554 / total #impl: 8875806969 (eff. 0.023)
1414.36/1414.60	c #Conflicts:      95000 | #Learnt:      12837 | 0.266
1414.36/1414.60	c total clause space: 127.173MB
1414.36/1414.60	c total #watches: 1879486
1449.95/1450.29	c total #propagations: 200068549 / total #impl: 8910958281 (eff. 0.022)
1449.95/1450.29	c #Conflicts:      96000 | #Learnt:      13837 | 0.264
1449.95/1450.29	c total clause space: 206.656MB
1449.95/1450.29	c total #watches: 2068534
1470.15/1470.48	c total #propagations: 200240627 / total #impl: 8957144429 (eff. 0.022)
1470.15/1470.48	c #Conflicts:      97000 | #Learnt:      14837 | 0.262
1470.15/1470.48	c total clause space: 206.656MB
1470.15/1470.48	c total #watches: 2194837
1482.25/1482.56	c total #propagations: 200336325 / total #impl: 8984108553 (eff. 0.022)
1482.25/1482.56	c GC COLLECT
1482.25/1482.56	c #Conflicts:      98000 | #Learnt:       8439 | 0.260
1482.25/1482.56	c total clause space: 206.656MB
1482.25/1482.56	c total #watches: 1619365
1509.55/1509.83	c total #propagations: 200455248 / total #impl: 9004560551 (eff. 0.022)
1509.55/1509.83	c #Conflicts:      99000 | #Learnt:       9435 | 0.260
1509.55/1509.83	c total clause space: 206.656MB
1509.55/1509.83	c total #watches: 1716168
1526.54/1526.80	c total #propagations: 200725172 / total #impl: 9102127476 (eff. 0.022)
1526.54/1526.80	c #Conflicts:     100000 | #Learnt:      10434 | 0.257
1526.54/1526.80	c total clause space: 206.656MB
1526.54/1526.80	c total #watches: 1776163
1543.74/1544.02	c total #propagations: 200861525 / total #impl: 9147359718 (eff. 0.022)
1543.74/1544.02	c #Conflicts:     101000 | #Learnt:      11433 | 0.255
1543.74/1544.02	c total clause space: 206.656MB
1543.74/1544.03	c total #watches: 1937431
1567.93/1568.23	c total #propagations: 201013127 / total #impl: 9179869012 (eff. 0.022)
1567.93/1568.23	c #Conflicts:     102000 | #Learnt:      12432 | 0.254
1567.93/1568.23	c total clause space: 206.656MB
1567.93/1568.23	c total #watches: 2058905
1606.73/1607.01	c total #propagations: 201161897 / total #impl: 9213518031 (eff. 0.022)
1606.73/1607.01	c #Conflicts:     103000 | #Learnt:      13429 | 0.261
1606.73/1607.01	c total clause space: 206.656MB
1606.73/1607.01	c total #watches: 2172122
1650.22/1650.55	c total #propagations: 201345687 / total #impl: 9266925367 (eff. 0.022)
1650.22/1650.55	c #Conflicts:     104000 | #Learnt:      14428 | 0.259
1650.22/1650.55	c total clause space: 206.656MB
1650.22/1650.55	c total #watches: 2352128
1693.02/1693.31	c total #propagations: 201567774 / total #impl: 9303747490 (eff. 0.022)
1693.02/1693.31	c #Conflicts:     105000 | #Learnt:      15426 | 0.258
1693.02/1693.31	c total clause space: 206.656MB
1693.02/1693.31	c total #watches: 2457057
1714.21/1714.54	c total #propagations: 201928840 / total #impl: 9374715353 (eff. 0.022)
1714.21/1714.54	c GC COLLECT
1714.21/1714.54	c #Conflicts:     106000 | #Learnt:       8715 | 0.256
1714.21/1714.54	c total clause space: 206.656MB
1714.21/1714.54	c total #watches: 1627734
1736.10/1736.45	c total #propagations: 202220025 / total #impl: 9436711205 (eff. 0.021)
1736.10/1736.45	c #Conflicts:     107000 | #Learnt:       9713 | 0.255
1736.10/1736.45	c total clause space: 206.656MB
1736.10/1736.45	c total #watches: 1693797
1763.59/1763.90	c total #propagations: 202507211 / total #impl: 9504195299 (eff. 0.021)
1763.59/1763.90	c #Conflicts:     108000 | #Learnt:      10710 | 0.254
1763.59/1763.90	c total clause space: 206.656MB
1763.59/1763.90	c total #watches: 1814156
1779.70/1780.08	c total #propagations: 203143968 / total #impl: 9567353294 (eff. 0.021)
1779.70/1780.08	c #Conflicts:     109000 | #Learnt:      11709 | 0.251
1779.70/1780.08	c total clause space: 206.656MB
1779.70/1780.08	c total #watches: 1924768
1785.39/1785.77	c total #propagations: 204955798 / total #impl: 9625190517 (eff. 0.021)
1785.39/1785.77	c #Conflicts:     110000 | #Learnt:      12709 | 0.249
1785.39/1785.77	c total clause space: 206.656MB
1785.39/1785.77	c total #watches: 2098220

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-4100159-1466233135/watcher-4100159-1466233135 -o /tmp/evaluation-result-4100159-1466233135/solver-4100159-1466233135 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466229528-27533 --watchdog 1960 --input HOME/instance-4100159-1466233135.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

pid=28224
running on 8 cores: 0-3,8-11

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.12 2.07 2.01 3/258 28227
/proc/meminfo: memFree=31823580/32872528 swapFree=7804/7804
[pid=28227] ppid=28224 vsize=55976 CPUtime=0 cores=0-3,8-11
/proc/28227/stat : 28227 (cdcl-cuttingpla) R 28224 28227 27517 0 -1 4202496 291 0 0 0 0 0 0 0 20 0 1 0 25358137 57319424 10903 33554432000 4194304 6211289 140735410472048 140733279133496 5161098 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/28227/statm: 13994 10905 120 493 0 13491 0

[startup+0.100175 s]
/proc/loadavg: 2.12 2.07 2.01 3/258 28227
/proc/meminfo: memFree=31823580/32872528 swapFree=7804/7804
[pid=28227] ppid=28224 vsize=66804 CPUtime=0.08 cores=0-3,8-11
/proc/28227/stat : 28227 (cdcl-cuttingpla) R 28224 28227 27517 0 -1 4202496 2499 0 0 0 8 0 0 0 20 0 1 0 25358137 68407296 14385 33554432000 4194304 6211289 140735410472048 140733279133496 5161098 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/28227/statm: 16701 14386 144 493 0 16198 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 66804

[startup+0.364024 s]
/proc/loadavg: 2.12 2.07 2.01 3/258 28227
/proc/meminfo: memFree=31823580/32872528 swapFree=7804/7804
[pid=28227] ppid=28224 vsize=91480 CPUtime=0.35 cores=0-3,8-11
/proc/28227/stat : 28227 (cdcl-cuttingpla) R 28224 28227 27517 0 -1 4202496 7140 0 0 0 34 1 0 0 20 0 1 0 25358137 93675520 20629 33554432000 4194304 6211289 140735410472048 140735410469512 4232724 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/28227/statm: 22870 20629 144 493 0 22367 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 91480

[startup+0.400365 s]
/proc/loadavg: 2.12 2.07 2.01 3/258 28227
/proc/meminfo: memFree=31823580/32872528 swapFree=7804/7804
[pid=28227] ppid=28224 vsize=91480 CPUtime=0.39 cores=0-3,8-11
/proc/28227/stat : 28227 (cdcl-cuttingpla) R 28224 28227 27517 0 -1 4202496 7145 0 0 0 38 1 0 0 20 0 1 0 25358137 93675520 20634 33554432000 4194304 6211289 140735410472048 140735410469512 4232737 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/28227/statm: 22870 20634 144 493 0 22367 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 91480

[startup+0.700308 s]
/proc/loadavg: 2.12 2.07 2.01 3/258 28227
/proc/meminfo: memFree=31823580/32872528 swapFree=7804/7804
[pid=28227] ppid=28224 vsize=98820 CPUtime=0.69 cores=0-3,8-11
/proc/28227/stat : 28227 (cdcl-cuttingpla) R 28224 28227 27517 0 -1 4202496 7325 0 0 0 68 1 0 0 20 0 1 0 25358137 101191680 21305 33554432000 4194304 6211289 140735410472048 140735410469512 4241789 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/28227/statm: 24705 21305 204 493 0 24202 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 98820

[startup+1.5002 s]
/proc/loadavg: 2.12 2.07 2.01 3/259 28228
/proc/meminfo: memFree=31734024/32872528 swapFree=7804/7804
[pid=28227] ppid=28224 vsize=98820 CPUtime=1.49 cores=0-3,8-11
/proc/28227/stat : 28227 (cdcl-cuttingpla) R 28224 28227 27517 0 -1 4202496 7431 0 0 0 148 1 0 0 20 0 1 0 25358137 101191680 21377 33554432000 4194304 6211289 140735410472048 140735410470040 4209328 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/28227/statm: 24705 21377 204 493 0 24202 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 98820

[startup+3.10019 s]
/proc/loadavg: 2.12 2.07 2.01 3/259 28228
/proc/meminfo: memFree=31730924/32872528 swapFree=7804/7804
[pid=28227] ppid=28224 vsize=98820 CPUtime=3.09 cores=0-3,8-11
/proc/28227/stat : 28227 (cdcl-cuttingpla) R 28224 28227 27517 0 -1 4202496 7466 0 0 0 308 1 0 0 20 0 1 0 25358137 101191680 21397 33554432000 4194304 6211289 140735410472048 140735410470040 4215240 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/28227/statm: 24705 21397 204 493 0 24202 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 98820

[startup+6.30019 s]
/proc/loadavg: 2.19 2.08 2.01 3/259 28228
/proc/meminfo: memFree=31725388/32872528 swapFree=7804/7804
[pid=28227] ppid=28224 vsize=98964 CPUtime=6.29 cores=0-3,8-11
/proc/28227/stat : 28227 (cdcl-cuttingpla) R 28224 28227 27517 0 -1 4202496 7606 0 0 0 628 1 0 0 20 0 1 0 25358137 101339136 22005 33554432000 4194304 6211289 140735410472048 140735410469960 4215192 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/28227/statm: 24741 22005 204 493 0 24238 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 98964

[startup+12.7002 s]
/proc/loadavg: 2.17 2.08 2.01 3/259 28228
/proc/meminfo: memFree=31716364/32872528 swapFree=7804/7804
[pid=28227] ppid=28224 vsize=99108 CPUtime=12.68 cores=0-3,8-11
/proc/28227/stat : 28227 (cdcl-cuttingpla) R 28224 28227 27517 0 -1 4202496 7656 0 0 0 1267 1 0 0 20 0 1 0 25358137 101486592 22566 33554432000 4194304 6211289 140735410472048 140735410470040 4202205 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/28227/statm: 24777 22566 204 493 0 24274 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 99108

[startup+25.5102 s]
/proc/loadavg: 2.14 2.08 2.01 3/259 28228
/proc/meminfo: memFree=31688524/32872528 swapFree=7804/7804
[pid=28227] ppid=28224 vsize=135792 CPUtime=25.5 cores=0-3,8-11
/proc/28227/stat : 28227 (cdcl-cuttingpla) R 28224 28227 27517 0 -1 4202496 9888 0 0 0 2548 2 0 0 20 0 1 0 25358137 139051008 28675 33554432000 4194304 6211289 140735410472048 140735410470040 4201991 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/28227/statm: 33948 28675 214 493 0 33445 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 135792

[startup+51.1003 s]
/proc/loadavg: 2.09 2.07 2.01 3/259 28228
/proc/meminfo: memFree=31666720/32872528 swapFree=7804/7804
[pid=28227] ppid=28224 vsize=141068 CPUtime=51.08 cores=0-3,8-11
/proc/28227/stat : 28227 (cdcl-cuttingpla) R 28224 28227 27517 0 -1 4202496 11451 0 0 0 5106 2 0 0 20 0 1 0 25358137 144453632 32214 33554432000 4194304 6211289 140735410472048 140735410470040 4209408 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/28227/statm: 35267 32214 219 493 0 34764 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 141068

[startup+102.3 s]
/proc/loadavg: 2.12 2.08 2.01 3/260 28232
/proc/meminfo: memFree=31602904/32872528 swapFree=7804/7804
[pid=28227] ppid=28224 vsize=236268 CPUtime=102.28 cores=0-3,8-11
/proc/28227/stat : 28227 (cdcl-cuttingpla) R 28224 28227 27517 0 -1 4202496 18021 0 0 0 10224 4 0 0 20 0 1 0 25358137 241938432 45658 33554432000 4194304 6211289 140735410472048 140735410470040 4209380 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/28227/statm: 59067 45658 219 493 0 58564 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 236268

[startup+162.3 s]
/proc/loadavg: 2.04 2.07 2.01 3/260 28257
/proc/meminfo: memFree=31533264/32872528 swapFree=7804/7804
[pid=28227] ppid=28224 vsize=241944 CPUtime=162.26 cores=0-3,8-11
/proc/28227/stat : 28227 (cdcl-cuttingpla) R 28224 28227 27517 0 -1 4202496 19675 0 0 0 16221 5 0 0 20 0 1 0 25358137 247750656 52946 33554432000 4194304 6211289 140735410472048 140735410470040 4209501 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/28227/statm: 60486 52946 219 493 0 59983 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 241944

[startup+222.3 s]
/proc/loadavg: 2.01 2.05 2.00 3/259 28258
/proc/meminfo: memFree=31476420/32872528 swapFree=7804/7804
[pid=28227] ppid=28224 vsize=244708 CPUtime=222.26 cores=0-3,8-11
/proc/28227/stat : 28227 (cdcl-cuttingpla) R 28224 28227 27517 0 -1 4202496 20321 0 0 0 22221 5 0 0 20 0 1 0 25358137 250580992 56147 33554432000 4194304 6211289 140735410472048 140735410470392 4209392 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/28227/statm: 61177 56147 219 493 0 60674 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 244708

[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/259 28259
/proc/meminfo: memFree=31468376/32872528 swapFree=7804/7804
[pid=28227] ppid=28224 vsize=245176 CPUtime=282.23 cores=0-3,8-11
/proc/28227/stat : 28227 (cdcl-cuttingpla) R 28224 28227 27517 0 -1 4202496 20449 0 0 0 28218 5 0 0 20 0 1 0 25358137 251060224 56786 33554432000 4194304 6211289 140735410472048 140735410470392 4240074 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/28227/statm: 61294 56786 219 493 0 60791 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 245176

[startup+342.31 s]
/proc/loadavg: 2.00 2.03 2.00 3/259 28260
/proc/meminfo: memFree=31467320/32872528 swapFree=7804/7804
[pid=28227] ppid=28224 vsize=245176 CPUtime=342.23 cores=0-3,8-11
/proc/28227/stat : 28227 (cdcl-cuttingpla) R 28224 28227 27517 0 -1 4202496 20469 0 0 0 34218 5 0 0 20 0 1 0 25358137 251060224 56806 33554432000 4194304 6211289 140735410472048 140735410470392 4209388 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/28227/statm: 61294 56806 219 493 0 60791 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 245176

[startup+402.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/259 28261
/proc/meminfo: memFree=31465976/32872528 swapFree=7804/7804
[pid=28227] ppid=28224 vsize=245176 CPUtime=402.22 cores=0-3,8-11
/proc/28227/stat : 28227 (cdcl-cuttingpla) R 28224 28227 27517 0 -1 4202496 20469 0 0 0 40217 5 0 0 20 0 1 0 25358137 251060224 56806 33554432000 4194304 6211289 140735410472048 140735410470392 4215216 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/28227/statm: 61294 56806 219 493 0 60791 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 245176

[startup+462.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/259 28263
/proc/meminfo: memFree=31463456/32872528 swapFree=7804/7804
[pid=28227] ppid=28224 vsize=245176 CPUtime=462.21 cores=0-3,8-11
/proc/28227/stat : 28227 (cdcl-cuttingpla) R 28224 28227 27517 0 -1 4202496 20482 0 0 0 46216 5 0 0 20 0 1 0 25358137 251060224 56866 33554432000 4194304 6211289 140735410472048 140735410470392 4209388 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/28227/statm: 61294 56866 219 493 0 60791 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 245176

[startup+522.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/259 28264
/proc/meminfo: memFree=31461544/32872528 swapFree=7804/7804
[pid=28227] ppid=28224 vsize=246092 CPUtime=522.2 cores=0-3,8-11
/proc/28227/stat : 28227 (cdcl-cuttingpla) R 28224 28227 27517 0 -1 4202496 20678 0 0 0 52215 5 0 0 20 0 1 0 25358137 251998208 57062 33554432000 4194304 6211289 140735410472048 140735410469960 4241789 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/28227/statm: 61523 57062 219 493 0 61020 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 246092

[startup+582.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/259 28265
/proc/meminfo: memFree=31460764/32872528 swapFree=7804/7804
[pid=28227] ppid=28224 vsize=246276 CPUtime=582.19 cores=0-3,8-11
/proc/28227/stat : 28227 (cdcl-cuttingpla) R 28224 28227 27517 0 -1 4202496 20743 0 0 0 58214 5 0 0 20 0 1 0 25358137 252186624 57127 33554432000 4194304 6211289 140735410472048 140735410470392 4241730 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/28227/statm: 61569 57127 219 493 0 61066 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 246276


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


[startup+942.3 s]
/proc/loadavg: 2.03 2.06 2.01 3/259 28275
/proc/meminfo: memFree=31434828/32872528 swapFree=7804/7804
[pid=28227] ppid=28224 vsize=250920 CPUtime=942.13 cores=0-3,8-11
/proc/28227/stat : 28227 (cdcl-cuttingpla) R 28224 28227 27517 0 -1 4202496 21882 0 0 0 94208 5 0 0 20 0 1 0 25358137 256942080 58270 33554432000 4194304 6211289 140735410472048 140735410470392 4209501 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/28227/statm: 62730 58270 219 493 0 62227 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 250920

[startup+1002.31 s]
/proc/loadavg: 2.10 2.07 2.01 3/259 28276
/proc/meminfo: memFree=31432496/32872528 swapFree=7804/7804
[pid=28227] ppid=28224 vsize=251060 CPUtime=1002.13 cores=0-3,8-11
/proc/28227/stat : 28227 (cdcl-cuttingpla) R 28224 28227 27517 0 -1 4202496 21912 0 0 0 100208 5 0 0 20 0 1 0 25358137 257085440 58300 33554432000 4194304 6211289 140735410472048 140735410470392 4215240 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/28227/statm: 62765 58300 219 493 0 62262 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 251060

[startup+1062.3 s]
/proc/loadavg: 2.09 2.07 2.01 3/259 28278
/proc/meminfo: memFree=31421348/32872528 swapFree=7804/7804
[pid=28227] ppid=28224 vsize=252540 CPUtime=1062.12 cores=0-3,8-11
/proc/28227/stat : 28227 (cdcl-cuttingpla) R 28224 28227 27517 0 -1 4202496 22298 0 0 0 106206 6 0 0 20 0 1 0 25358137 258600960 58697 33554432000 4194304 6211289 140735410472048 140735410469960 4241818 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/28227/statm: 63135 58697 219 493 0 62632 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 252540

[startup+1122.3 s]
/proc/loadavg: 2.09 2.07 2.01 3/259 28279
/proc/meminfo: memFree=31419808/32872528 swapFree=7804/7804
[pid=28227] ppid=28224 vsize=253764 CPUtime=1122.11 cores=0-3,8-11
/proc/28227/stat : 28227 (cdcl-cuttingpla) R 28224 28227 27517 0 -1 4202496 22589 0 0 0 112205 6 0 0 20 0 1 0 25358137 259854336 58988 33554432000 4194304 6211289 140735410472048 140735410470392 4241730 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/28227/statm: 63441 58988 219 493 0 62938 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 253764

[startup+1182.3 s]
/proc/loadavg: 2.07 2.07 2.01 3/259 28280
/proc/meminfo: memFree=31417164/32872528 swapFree=7804/7804
[pid=28227] ppid=28224 vsize=254964 CPUtime=1182.1 cores=0-3,8-11
/proc/28227/stat : 28227 (cdcl-cuttingpla) R 28224 28227 27517 0 -1 4202496 22927 0 0 0 118204 6 0 0 20 0 1 0 25358137 261083136 59326 33554432000 4194304 6211289 140735410472048 140735410470040 4209392 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/28227/statm: 63741 59326 219 493 0 63238 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 254964

[startup+1242.3 s]
/proc/loadavg: 2.02 2.06 2.01 3/259 28281
/proc/meminfo: memFree=31415352/32872528 swapFree=7808/7808
[pid=28227] ppid=28224 vsize=255656 CPUtime=1242.09 cores=0-3,8-11
/proc/28227/stat : 28227 (cdcl-cuttingpla) R 28224 28227 27517 0 -1 4202496 23099 0 0 0 124203 6 0 0 20 0 1 0 25358137 261791744 59498 33554432000 4194304 6211289 140735410472048 140735410469960 4202003 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/28227/statm: 63914 59498 219 493 0 63411 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 255656

[startup+1302.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/260 28285
/proc/meminfo: memFree=31410836/32872528 swapFree=7804/7804
[pid=28227] ppid=28224 vsize=256512 CPUtime=1302.08 cores=0-3,8-11
/proc/28227/stat : 28227 (cdcl-cuttingpla) R 28224 28227 27517 0 -1 4202496 23334 0 0 0 130202 6 0 0 20 0 1 0 25358137 262668288 59733 33554432000 4194304 6211289 140735410472048 140735410470040 4201983 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/28227/statm: 64128 59733 219 493 0 63625 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 256512

[startup+1362.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/258 28287
/proc/meminfo: memFree=31404064/32872528 swapFree=7804/7804
[pid=28227] ppid=28224 vsize=259076 CPUtime=1362.07 cores=0-3,8-11
/proc/28227/stat : 28227 (cdcl-cuttingpla) R 28224 28227 27517 0 -1 4202496 23978 0 0 0 136201 6 0 0 20 0 1 0 25358137 265293824 60377 33554432000 4194304 6211289 140735410472048 140735410470392 4215196 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/28227/statm: 64769 60377 219 493 0 64266 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 259076

[startup+1422.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/259 28289
/proc/meminfo: memFree=31385836/32872528 swapFree=7808/7808
[pid=28227] ppid=28224 vsize=344668 CPUtime=1422.06 cores=0-3,8-11
/proc/28227/stat : 28227 (cdcl-cuttingpla) R 28224 28227 27517 0 -1 4202496 25307 0 0 0 142199 7 0 0 20 0 1 0 25358137 352940032 64187 33554432000 4194304 6211289 140735410472048 140735410470040 4209322 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/28227/statm: 86167 64187 219 493 0 85664 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 344668

[startup+1482.3 s]
/proc/loadavg: 2.10 2.07 2.01 3/259 28290
/proc/meminfo: memFree=31357008/32872528 swapFree=7804/7804
[pid=28227] ppid=28224 vsize=346580 CPUtime=1482.05 cores=0-3,8-11
/proc/28227/stat : 28227 (cdcl-cuttingpla) R 28224 28227 27517 0 -1 4202496 26217 0 0 0 148197 8 0 0 20 0 1 0 25358137 354897920 71346 33554432000 4194304 6211289 140735410472048 140735410470040 4209376 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/28227/statm: 86645 71346 219 493 0 86142 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 346580

[startup+1542.3 s]
/proc/loadavg: 2.07 2.07 2.01 3/259 28291
/proc/meminfo: memFree=31351060/32872528 swapFree=7804/7804
[pid=28227] ppid=28224 vsize=351336 CPUtime=1542.05 cores=0-3,8-11
/proc/28227/stat : 28227 (cdcl-cuttingpla) R 28224 28227 27517 0 -1 4202496 27567 0 0 0 154197 8 0 0 20 0 1 0 25358137 359768064 72683 33554432000 4194304 6211289 140735410472048 140735410470040 4243440 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/28227/statm: 87834 72683 219 493 0 87331 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 351336

[startup+1602.3 s]
/proc/loadavg: 2.06 2.06 2.00 3/259 28292
/proc/meminfo: memFree=31343368/32872528 swapFree=7808/7808
[pid=28227] ppid=28224 vsize=355476 CPUtime=1602.04 cores=0-3,8-11
/proc/28227/stat : 28227 (cdcl-cuttingpla) R 28224 28227 27517 0 -1 4202496 28539 0 0 0 160195 9 0 0 20 0 1 0 25358137 364007424 74166 33554432000 4194304 6211289 140735410472048 140735410469912 4209314 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/28227/statm: 88869 74166 219 493 0 88366 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 355476

[startup+1662.31 s]
/proc/loadavg: 2.02 2.05 2.00 3/259 28294
/proc/meminfo: memFree=31327580/32872528 swapFree=7804/7804
[pid=28227] ppid=28224 vsize=358948 CPUtime=1662.03 cores=0-3,8-11
/proc/28227/stat : 28227 (cdcl-cuttingpla) R 28224 28227 27517 0 -1 4202496 29369 0 0 0 166194 9 0 0 20 0 1 0 25358137 367562752 78062 33554432000 4194304 6211289 140735410472048 140735410470040 4209392 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/28227/statm: 89737 78062 219 493 0 89234 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 358948

[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/259 28295
/proc/meminfo: memFree=31312292/32872528 swapFree=7804/7804
[pid=28227] ppid=28224 vsize=360324 CPUtime=1722.01 cores=0-3,8-11
/proc/28227/stat : 28227 (cdcl-cuttingpla) R 28224 28227 27517 0 -1 4202496 29735 0 0 0 172191 10 0 0 20 0 1 0 25358137 368971776 80662 33554432000 4194304 6211289 140735410472048 140735410470040 4209322 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/28227/statm: 90081 80662 219 493 0 89578 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 360324

[startup+1782.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/259 28296
/proc/meminfo: memFree=31311604/32872528 swapFree=7808/7808
[pid=28227] ppid=28224 vsize=361284 CPUtime=1781.99 cores=0-3,8-11
/proc/28227/stat : 28227 (cdcl-cuttingpla) R 28224 28227 27517 0 -1 4202496 30059 0 0 0 178189 10 0 0 20 0 1 0 25358137 369954816 80973 33554432000 4194304 6211289 140735410472048 140735410470040 4239458 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/28227/statm: 90321 80973 219 493 0 89818 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 361284



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.07 2.06 2.00 3/259 28342
/proc/meminfo: memFree=31479968/32872528 swapFree=7804/7804
[pid=28227] ppid=28224 vsize=364200 CPUtime=1800.09 cores=0-3,8-11
/proc/28227/stat : 28227 (cdcl-cuttingpla) R 28224 28227 27517 0 -1 4202496 30626 0 0 0 179999 10 0 0 20 0 1 0 25358137 372940800 81540 33554432000 4194304 6211289 140735410472048 140735410469912 4209376 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/28227/statm: 91050 81540 219 493 0 90547 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 364200

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

[startup+1800.4 s]
/proc/loadavg: 2.07 2.06 2.00 3/259 28342
/proc/meminfo: memFree=31479968/32872528 swapFree=7804/7804
[pid=28227] ppid=28224 vsize=364200 CPUtime=1800.09 cores=0-3,8-11
/proc/28227/stat : 28227 (cdcl-cuttingpla) R 28224 28227 27517 0 -1 4202496 30626 0 0 0 179999 10 0 0 20 0 1 0 25358137 372940800 81540 33554432000 4194304 6211289 140735410472048 140735410469912 4209376 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/28227/statm: 91050 81540 219 493 0 90547 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 364200

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.4
CPU time (s): 1800.1
CPU user time (s): 1799.99
CPU system time (s): 0.103984
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 364200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.99
system time used= 0.103984
maximum resident set size= 326160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30626
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= 58
involuntary context switches= 1852

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.1083 second user time and 13.7489 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-18 08:58:55
IDJOB=4100159
IDBENCH=1580
IDSOLVER=2549
FILE ID=node132/4100159-1466233135
RUNJOBID= node132-1466229528-27533
PBS_JOBID= 19918175
Free space on /tmp= 71732 MiB

SOLVER NAME= cdcl-cuttingplanes OPT binary search 2016-05-01
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-nug08.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100159-1466233135/watcher-4100159-1466233135 -o /tmp/evaluation-result-4100159-1466233135/solver-4100159-1466233135 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466229528-27533 --watchdog 1960 --input HOME/instance-4100159-1466233135.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= 6120923c090ddeb6029c79f9e1b7777e
RANDOM SEED=2140841264

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

processor	: 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	: 1
siblings	: 8
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	: 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	: 8
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
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	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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	: 9
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	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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	: 10
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	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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	: 11
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	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
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	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 13
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	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 14
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	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 15
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	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        31824032 kB
Buffers:           76824 kB
Cached:           143316 kB
SwapCached:         1776 kB
Active:           134544 kB
Inactive:         160636 kB
Active(anon):      74800 kB
Inactive(anon):     2324 kB
Active(file):      59744 kB
Inactive(file):   158312 kB
Unevictable:        7804 kB
Mlocked:            7804 kB
SwapTotal:      67108856 kB
SwapFree:       67099332 kB
Dirty:              7320 kB
Writeback:             0 kB
AnonPages:         82556 kB
Mapped:             8156 kB
Shmem:                 0 kB
Slab:             608296 kB
SReclaimable:      47492 kB
SUnreclaim:       560804 kB
KernelStack:        2160 kB
PageTables:         3716 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     206068 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:     51200 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 node132 at 2016-06-18 09:28:56