Trace number 4101775

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.03 1800.32

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-pp08aCUTS.opb
MD5SUM4a4829ccfb158b9e23ea953e29870120
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark8084
Best CPU time to get the best result obtained on this benchmark1800.24
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 69
Optimality of the best value was proved NO
Number of variables4600
Total number of constraints310
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 constraints310
Minimum length of a constraint17
Maximum length of a constraint147
Number of terms in the objective function 3424
Biggest coefficient in the objective function 3121
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 527152
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262140
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 527152
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.01	c * #variable= 4600 #constraint= 310
0.00/0.03	c * #variable= 4600 #constraint= 310
0.09/0.10	c #Conflicts:       1000 | #Learnt:        999 | 0.613
0.09/0.10	c total clause space: 4.25031MB
0.09/0.10	c total #watches: 41011
0.19/0.22	c total #propagations: 5655 / total #impl: 162048 (eff. 0.035)
0.19/0.22	c #Conflicts:       2000 | #Learnt:       1999 | 1.023
0.19/0.22	c total clause space: 6.90675MB
0.19/0.22	c total #watches: 81723
0.29/0.37	c total #propagations: 12451 / total #impl: 599453 (eff. 0.021)
0.29/0.37	c GC COLLECT
0.29/0.37	c S1->S2
0.29/0.37	c #Conflicts:       3000 | #Learnt:       2001 | 1.406
0.29/0.37	c total clause space: 6.90675MB
0.29/0.37	c total #watches: 92829
0.69/0.71	c total #propagations: 112379 / total #impl: 1486436 (eff. 0.076)
0.69/0.71	c #Conflicts:       4000 | #Learnt:       3000 | 1.483
0.69/0.71	c total clause space: 11.2235MB
0.69/0.71	c total #watches: 143245
4.69/4.76	c total #propagations: 210842 / total #impl: 2720827 (eff. 0.077)
4.69/4.76	c GC COLLECT
4.69/4.76	c #Conflicts:       5000 | #Learnt:       2351 | 1.311
4.69/4.76	c total clause space: 18.2382MB
4.69/4.76	c total #watches: 334715
13.89/13.92	c total #propagations: 935640 / total #impl: 67477402 (eff. 0.014)
13.89/13.92	c #Conflicts:       6000 | #Learnt:       3351 | 1.144
13.89/13.92	c total clause space: 29.637MB
13.89/13.92	c total #watches: 811326
26.49/26.59	c total #propagations: 2422269 / total #impl: 351221653 (eff. 0.007)
26.49/26.59	c GC COLLECT
26.49/26.59	c #Conflicts:       7000 | #Learnt:       2243 | 0.995
26.49/26.59	c total clause space: 48.1602MB
26.49/26.59	c total #watches: 949293
39.60/39.67	c total #propagations: 4099985 / total #impl: 985155279 (eff. 0.004)
39.60/39.67	c #Conflicts:       8000 | #Learnt:       3241 | 0.920
39.60/39.67	c total clause space: 78.2603MB
39.60/39.67	c total #watches: 1571644
57.58/57.62	c total #propagations: 5914351 / total #impl: 1724511226 (eff. 0.003)
57.58/57.62	c #Conflicts:       9000 | #Learnt:       4239 | 0.860
57.58/57.62	c total clause space: 78.2603MB
57.58/57.62	c total #watches: 1909434
72.48/72.50	c total #propagations: 6729712 / total #impl: 2483570081 (eff. 0.003)
72.48/72.50	c GC COLLECT
72.48/72.50	c #Conflicts:      10000 | #Learnt:       2729 | 0.827
72.48/72.50	c total clause space: 78.2603MB
72.48/72.50	c total #watches: 1156472
75.68/75.78	c total #propagations: 7048523 / total #impl: 3028037595 (eff. 0.002)
75.68/75.78	c #Conflicts:      11000 | #Learnt:       3729 | 1.027
75.68/75.78	c total clause space: 78.2603MB
75.68/75.78	c total #watches: 1242289
81.27/81.31	c total #propagations: 7116587 / total #impl: 3069370146 (eff. 0.002)
81.27/81.31	c #Conflicts:      12000 | #Learnt:       4729 | 1.105
81.27/81.31	c total clause space: 78.2603MB
81.27/81.31	c total #watches: 1256800
83.87/83.95	c total #propagations: 7165225 / total #impl: 3126632537 (eff. 0.002)
83.87/83.95	c #Conflicts:      13000 | #Learnt:       5729 | 1.116
83.87/83.95	c total clause space: 78.2603MB
83.87/83.95	c total #watches: 1279972
85.67/85.71	c total #propagations: 7196612 / total #impl: 3136421708 (eff. 0.002)
85.67/85.71	c GC COLLECT
85.67/85.71	c #Conflicts:      14000 | #Learnt:       3870 | 1.120
85.67/85.71	c total clause space: 78.2603MB
85.67/85.71	c total #watches: 388522
86.47/86.51	c total #propagations: 7278641 / total #impl: 3144871996 (eff. 0.002)
86.47/86.51	c #Conflicts:      15000 | #Learnt:       4870 | 1.060
86.47/86.51	c total clause space: 78.2603MB
86.47/86.51	c total #watches: 401627
87.07/87.10	c total #propagations: 7355164 / total #impl: 3146933680 (eff. 0.002)
87.07/87.10	c #Conflicts:      16000 | #Learnt:       5870 | 0.995
87.07/87.10	c total clause space: 78.2603MB
87.07/87.10	c total #watches: 406139
87.47/87.54	c total #propagations: 7441242 / total #impl: 3148826792 (eff. 0.002)
87.47/87.54	c GC COLLECT
87.47/87.54	c #Conflicts:      17000 | #Learnt:       3689 | 0.938
87.47/87.54	c total clause space: 78.2603MB
87.47/87.54	c total #watches: 162738
87.77/87.80	c total #propagations: 7578578 / total #impl: 3150854137 (eff. 0.002)
87.77/87.80	c #Conflicts:      18000 | #Learnt:       4689 | 0.886
87.77/87.80	c total clause space: 78.2603MB
87.77/87.80	c total #watches: 167517
88.08/88.12	c total #propagations: 7700962 / total #impl: 3151716226 (eff. 0.002)
88.08/88.12	c #Conflicts:      19000 | #Learnt:       5689 | 0.841
88.08/88.12	c total clause space: 78.2603MB
88.08/88.12	c total #watches: 175172
88.57/88.61	c total #propagations: 7841158 / total #impl: 3152583373 (eff. 0.002)
88.57/88.61	c #Conflicts:      20000 | #Learnt:       6689 | 0.820
88.57/88.61	c total clause space: 78.2603MB
88.57/88.61	c total #watches: 208482
89.09/89.12	c total #propagations: 7920517 / total #impl: 3154573239 (eff. 0.003)
89.09/89.12	c GC COLLECT
89.09/89.12	c #Conflicts:      21000 | #Learnt:       4198 | 1.258
89.09/89.12	c total clause space: 78.2603MB
89.09/89.12	c total #watches: 124636
89.58/89.65	c total #propagations: 8042555 / total #impl: 3158065350 (eff. 0.003)
89.58/89.65	c #Conflicts:      22000 | #Learnt:       5198 | 1.330
89.58/89.65	c total clause space: 78.2603MB
89.58/89.65	c total #watches: 150782
89.98/90.07	c total #propagations: 8085906 / total #impl: 3158552568 (eff. 0.003)
89.98/90.07	c #Conflicts:      23000 | #Learnt:       6198 | 1.328
89.98/90.07	c total clause space: 78.2603MB
89.98/90.07	c total #watches: 194131
90.38/90.42	c total #propagations: 8152394 / total #impl: 3159567884 (eff. 0.003)
90.38/90.42	c #Conflicts:      24000 | #Learnt:       7198 | 1.278
90.38/90.42	c total clause space: 78.2603MB
90.38/90.42	c total #watches: 204596
90.78/90.81	c total #propagations: 8222209 / total #impl: 3159845025 (eff. 0.003)
90.78/90.81	c GC COLLECT
90.78/90.81	c #Conflicts:      25000 | #Learnt:       4401 | 1.241
90.78/90.81	c total clause space: 78.2603MB
90.78/90.81	c total #watches: 146583
91.08/91.14	c total #propagations: 8320226 / total #impl: 3160210581 (eff. 0.003)
91.08/91.14	c #Conflicts:      26000 | #Learnt:       5401 | 1.204
91.08/91.14	c total clause space: 78.2603MB
91.08/91.14	c total #watches: 156043
91.29/91.39	c total #propagations: 8410892 / total #impl: 3160523675 (eff. 0.003)
91.29/91.39	c #Conflicts:      27000 | #Learnt:       6400 | 1.228
91.29/91.39	c total clause space: 78.2603MB
91.29/91.39	c total #watches: 172464
91.78/91.84	c total #propagations: 8451837 / total #impl: 3160909535 (eff. 0.003)
91.78/91.84	c #Conflicts:      28000 | #Learnt:       7400 | 1.264
91.78/91.84	c total clause space: 78.2603MB
91.78/91.84	c total #watches: 237382
92.08/92.13	c total #propagations: 8483421 / total #impl: 3163683025 (eff. 0.003)
92.08/92.13	c GC COLLECT
92.08/92.13	c #Conflicts:      29000 | #Learnt:       4306 | 1.262
92.08/92.13	c total clause space: 78.2603MB
92.08/92.13	c total #watches: 125624
92.58/92.63	c total #propagations: 8523667 / total #impl: 3164704932 (eff. 0.003)
92.58/92.63	c #Conflicts:      30000 | #Learnt:       5306 | 1.306
92.58/92.63	c total clause space: 78.2603MB
92.58/92.63	c total #watches: 155609
93.08/93.17	c total #propagations: 8601595 / total #impl: 3165546475 (eff. 0.003)
93.08/93.17	c #Conflicts:      31000 | #Learnt:       6306 | 1.284
93.08/93.17	c total clause space: 78.2603MB
93.08/93.17	c total #watches: 181404
97.18/97.27	c total #propagations: 8674805 / total #impl: 3166065674 (eff. 0.003)
97.18/97.27	c #Conflicts:      32000 | #Learnt:       7305 | 1.309
97.18/97.27	c total clause space: 78.2603MB
97.18/97.27	c total #watches: 778156
103.78/103.86	c total #propagations: 8900472 / total #impl: 3212220851 (eff. 0.003)
103.78/103.86	c #Conflicts:      33000 | #Learnt:       8304 | 1.345
103.78/103.86	c total clause space: 78.2603MB
103.78/103.86	c total #watches: 1211352
113.57/113.61	c total #propagations: 9243995 / total #impl: 3279720085 (eff. 0.003)
113.57/113.61	c GC COLLECT
113.57/113.61	c #Conflicts:      34000 | #Learnt:       4922 | 1.314
113.57/113.61	c total clause space: 78.2603MB
113.57/113.61	c total #watches: 1394473
120.87/120.96	c total #propagations: 10572911 / total #impl: 3440794402 (eff. 0.003)
120.87/120.96	c #Conflicts:      35000 | #Learnt:       5922 | 1.279
120.87/120.96	c total clause space: 78.2603MB
120.87/120.96	c total #watches: 1841918
139.68/139.75	c total #propagations: 11392519 / total #impl: 3665857157 (eff. 0.003)
139.68/139.75	c #Conflicts:      36000 | #Learnt:       6922 | 1.270
139.68/139.75	c total clause space: 127.173MB
139.68/139.75	c total #watches: 2459955
167.67/167.70	c total #propagations: 12430287 / total #impl: 4114172270 (eff. 0.003)
167.67/167.70	c #Conflicts:      37000 | #Learnt:       7922 | 1.237
167.67/167.70	c total clause space: 127.173MB
167.67/167.70	c total #watches: 2870502
185.98/186.02	c total #propagations: 13089582 / total #impl: 4903675381 (eff. 0.003)
185.98/186.02	c #Conflicts:      38000 | #Learnt:       8922 | 1.220
185.98/186.02	c total clause space: 127.173MB
185.98/186.02	c total #watches: 3448922
204.26/204.34	c total #propagations: 14071007 / total #impl: 5384626390 (eff. 0.003)
204.26/204.34	c GC COLLECT
204.26/204.34	c #Conflicts:      39000 | #Learnt:       5221 | 1.190
204.26/204.34	c total clause space: 206.656MB
204.26/204.34	c total #watches: 3048165
224.15/224.22	c total #propagations: 14936017 / total #impl: 5965044669 (eff. 0.003)
224.15/224.22	c #Conflicts:      40000 | #Learnt:       6221 | 1.160
224.15/224.22	c total clause space: 206.656MB
224.15/224.22	c total #watches: 3626988
239.76/239.90	c total #propagations: 15340879 / total #impl: 6675640770 (eff. 0.002)
239.76/239.90	c #Conflicts:      41000 | #Learnt:       7221 | 1.139
239.76/239.90	c total clause space: 206.656MB
239.76/239.90	c total #watches: 4389119
266.16/266.27	c total #propagations: 16239248 / total #impl: 7281229349 (eff. 0.002)
266.16/266.27	c #Conflicts:      42000 | #Learnt:       8219 | 1.112
266.16/266.27	c total clause space: 206.656MB
266.16/266.27	c total #watches: 4842901
285.34/285.47	c total #propagations: 16523017 / total #impl: 8021495359 (eff. 0.002)
285.34/285.47	c #Conflicts:      43000 | #Learnt:       9219 | 1.087
285.34/285.47	c total clause space: 206.656MB
285.34/285.47	c total #watches: 5337045
319.74/319.82	c total #propagations: 16731360 / total #impl: 8676078119 (eff. 0.002)
319.74/319.82	c GC COLLECT
319.74/319.82	c #Conflicts:      44000 | #Learnt:       5235 | 1.063
319.74/319.82	c total clause space: 206.656MB
319.74/319.82	c total #watches: 3389165
339.64/339.75	c total #propagations: 17026151 / total #impl: 9340034978 (eff. 0.002)
339.64/339.75	c #Conflicts:      45000 | #Learnt:       6235 | 1.040
339.64/339.75	c total clause space: 206.656MB
339.64/339.75	c total #watches: 4137167
389.63/389.70	c total #propagations: 17172019 / total #impl: 9807629558 (eff. 0.002)
389.63/389.70	c #Conflicts:      46000 | #Learnt:       7234 | 1.033
389.63/389.70	c total clause space: 206.656MB
389.63/389.70	c total #watches: 4545683
460.93/461.03	c total #propagations: 17451055 / total #impl: 10344923708 (eff. 0.002)
460.93/461.03	c #Conflicts:      47000 | #Learnt:       8234 | 1.016
460.93/461.03	c total clause space: 206.656MB
460.93/461.03	c total #watches: 4999634
495.12/495.24	c total #propagations: 17942419 / total #impl: 11008983453 (eff. 0.002)
495.12/495.24	c #Conflicts:      48000 | #Learnt:       9234 | 0.997
495.12/495.24	c total clause space: 206.656MB
495.12/495.24	c total #watches: 5681729
521.11/521.24	c total #propagations: 19238050 / total #impl: 11578732684 (eff. 0.002)
521.11/521.24	c #Conflicts:      49000 | #Learnt:      10234 | 0.998
521.11/521.24	c total clause space: 206.656MB
521.11/521.24	c total #watches: 5864209
532.81/532.95	c total #propagations: 19538006 / total #impl: 11763525707 (eff. 0.002)
532.81/532.95	c GC COLLECT
532.81/532.95	c #Conflicts:      50000 | #Learnt:       5924 | 1.000
532.81/532.95	c total clause space: 206.656MB
532.81/532.95	c total #watches: 2797553
542.80/542.98	c total #propagations: 19635558 / total #impl: 11799017624 (eff. 0.002)
542.80/542.98	c #Conflicts:      51000 | #Learnt:       6924 | 0.988
542.80/542.98	c total clause space: 206.656MB
542.80/542.98	c total #watches: 3039909
557.10/557.22	c total #propagations: 20543574 / total #impl: 11982622927 (eff. 0.002)
557.10/557.22	c #Conflicts:      52000 | #Learnt:       7924 | 0.974
557.10/557.22	c total clause space: 206.656MB
557.10/557.22	c total #watches: 3511291
583.79/583.99	c total #propagations: 22290466 / total #impl: 12349721829 (eff. 0.002)
583.79/583.99	c #Conflicts:      53000 | #Learnt:       8924 | 0.962
583.79/583.99	c total clause space: 206.656MB
583.79/583.99	c total #watches: 3955915
591.70/591.88	c total #propagations: 23801665 / total #impl: 13889436729 (eff. 0.002)
591.70/591.88	c #Conflicts:      54000 | #Learnt:       9924 | 0.949
591.70/591.88	c total clause space: 206.656MB
591.70/591.88	c total #watches: 3972360
604.49/604.61	c total #propagations: 23889271 / total #impl: 13905452506 (eff. 0.002)
604.49/604.61	c #Conflicts:      55000 | #Learnt:      10924 | 0.939
604.49/604.61	c total clause space: 206.656MB
604.49/604.61	c total #watches: 4203404
613.89/614.08	c total #propagations: 24013289 / total #impl: 14003611063 (eff. 0.002)
613.89/614.08	c GC COLLECT
613.89/614.08	c #Conflicts:      56000 | #Learnt:       6346 | 0.941
613.89/614.08	c total clause space: 206.656MB
613.89/614.08	c total #watches: 1438812
619.98/620.17	c total #propagations: 24092042 / total #impl: 14052923387 (eff. 0.002)
619.98/620.17	c #Conflicts:      57000 | #Learnt:       7346 | 1.001
619.98/620.17	c total clause space: 206.656MB
619.98/620.17	c total #watches: 1482100
634.98/635.14	c total #propagations: 24178331 / total #impl: 14067643830 (eff. 0.002)
634.98/635.14	c #Conflicts:      58000 | #Learnt:       8346 | 0.997
634.98/635.14	c total clause space: 206.656MB
634.98/635.14	c total #watches: 1656982
654.57/654.70	c total #propagations: 24573013 / total #impl: 14498159211 (eff. 0.002)
654.57/654.70	c #Conflicts:      59000 | #Learnt:       9345 | 0.985
654.57/654.70	c total clause space: 206.656MB
654.57/654.70	c total #watches: 2146145
677.49/677.68	c total #propagations: 26240317 / total #impl: 15382766559 (eff. 0.002)
677.49/677.68	c #Conflicts:      60000 | #Learnt:      10345 | 0.971
677.49/677.68	c total clause space: 206.656MB
677.49/677.68	c total #watches: 2472356
704.47/704.61	c total #propagations: 27835373 / total #impl: 16474811490 (eff. 0.002)
704.47/704.61	c #Conflicts:      61000 | #Learnt:      11345 | 0.956
704.47/704.61	c total clause space: 206.656MB
704.47/704.61	c total #watches: 2718888
727.08/727.23	c total #propagations: 29139548 / total #impl: 17867049573 (eff. 0.002)
727.08/727.23	c GC COLLECT
727.08/727.23	c #Conflicts:      62000 | #Learnt:       6447 | 0.941
727.08/727.23	c total clause space: 206.656MB
727.08/727.23	c total #watches: 1674518
746.16/746.37	c total #propagations: 30656260 / total #impl: 19172718201 (eff. 0.002)
746.16/746.37	c #Conflicts:      63000 | #Learnt:       7447 | 0.927
746.16/746.37	c total clause space: 206.656MB
746.16/746.37	c total #watches: 1935542
754.26/754.45	c total #propagations: 32068238 / total #impl: 20293748602 (eff. 0.002)
754.26/754.45	c #Conflicts:      64000 | #Learnt:       8447 | 0.913
754.26/754.45	c total clause space: 206.656MB
754.26/754.45	c total #watches: 2219794
785.27/785.44	c total #propagations: 33723305 / total #impl: 20580656218 (eff. 0.002)
785.27/785.44	c #Conflicts:      65000 | #Learnt:       9447 | 0.905
785.27/785.44	c total clause space: 206.656MB
785.27/785.44	c total #watches: 2581302
830.96/831.19	c total #propagations: 35027171 / total #impl: 21952669178 (eff. 0.002)
830.96/831.19	c #Conflicts:      66000 | #Learnt:      10447 | 0.897
830.96/831.19	c total clause space: 206.656MB
830.96/831.20	c total #watches: 2882565
864.15/864.35	c total #propagations: 36567921 / total #impl: 23932494737 (eff. 0.002)
864.15/864.35	c #Conflicts:      67000 | #Learnt:      11447 | 0.884
864.15/864.35	c total clause space: 206.656MB
864.15/864.35	c total #watches: 3179301
906.74/906.98	c total #propagations: 38094562 / total #impl: 25418175255 (eff. 0.001)
906.74/906.98	c #Conflicts:      68000 | #Learnt:      12447 | 0.872
906.74/906.98	c total clause space: 206.656MB
906.74/906.98	c total #watches: 3424081
934.04/934.22	c total #propagations: 39562751 / total #impl: 27283826926 (eff. 0.001)
934.04/934.22	c GC COLLECT
934.04/934.22	c #Conflicts:      69000 | #Learnt:       7232 | 0.860
934.04/934.22	c total clause space: 206.656MB
934.04/934.22	c total #watches: 2550040
981.73/981.90	c total #propagations: 40734533 / total #impl: 28449298189 (eff. 0.001)
981.73/981.90	c #Conflicts:      70000 | #Learnt:       8232 | 0.847
981.73/981.90	c total clause space: 206.656MB
981.73/981.90	c total #watches: 2875427
1023.32/1023.53	c total #propagations: 42397943 / total #impl: 30595516395 (eff. 0.001)
1023.32/1023.53	c #Conflicts:      71000 | #Learnt:       9232 | 0.836
1023.32/1023.53	c total clause space: 206.656MB
1023.32/1023.53	c total #watches: 3351342
1043.42/1043.63	c total #propagations: 44041540 / total #impl: 32374301549 (eff. 0.001)
1043.42/1043.63	c #Conflicts:      72000 | #Learnt:      10232 | 0.826
1043.42/1043.63	c total clause space: 206.656MB
1043.42/1043.63	c total #watches: 3924815
1092.31/1092.54	c total #propagations: 45596339 / total #impl: 33238120739 (eff. 0.001)
1092.31/1092.54	c #Conflicts:      73000 | #Learnt:      11232 | 0.816
1092.31/1092.54	c total clause space: 206.656MB
1092.31/1092.54	c total #watches: 4270517
1101.91/1102.18	c total #propagations: 47141088 / total #impl: 35404381992 (eff. 0.001)
1101.91/1102.18	c #Conflicts:      74000 | #Learnt:      12232 | 0.814
1101.91/1102.18	c total clause space: 206.656MB
1101.91/1102.18	c total #watches: 4288525
1123.71/1123.94	c total #propagations: 47192468 / total #impl: 35420303988 (eff. 0.001)
1123.71/1123.94	c S1->S2
1123.71/1123.94	c GC COLLECT
1123.71/1123.94	c #Conflicts:      75000 | #Learnt:       6727 | 0.822
1123.71/1123.94	c total clause space: 206.656MB
1123.71/1123.94	c total #watches: 2366394
1139.52/1139.74	c total #propagations: 47256891 / total #impl: 35481509304 (eff. 0.001)
1139.52/1139.74	c S1->S2
1139.52/1139.74	c #Conflicts:      76000 | #Learnt:       7727 | 0.813
1139.52/1139.74	c total clause space: 206.656MB
1139.52/1139.74	c total #watches: 2753638
1183.00/1183.26	c total #propagations: 47627550 / total #impl: 35533640674 (eff. 0.001)
1183.00/1183.26	c #Conflicts:      77000 | #Learnt:       8725 | 0.804
1183.00/1183.26	c total clause space: 206.656MB
1183.00/1183.26	c total #watches: 3194822
1219.30/1219.59	c total #propagations: 49031385 / total #impl: 35898663851 (eff. 0.001)
1219.30/1219.59	c #Conflicts:      78000 | #Learnt:       9725 | 0.809
1219.30/1219.59	c total clause space: 206.656MB
1219.30/1219.59	c total #watches: 3495664
1291.98/1292.26	c total #propagations: 49503869 / total #impl: 36034113536 (eff. 0.001)
1291.98/1292.26	c #Conflicts:      79000 | #Learnt:      10724 | 0.798
1291.98/1292.26	c total clause space: 206.656MB
1291.98/1292.26	c total #watches: 3909163
1334.18/1334.48	c total #propagations: 50569024 / total #impl: 36389356665 (eff. 0.001)
1334.18/1334.48	c #Conflicts:      80000 | #Learnt:      11719 | 0.791
1334.18/1334.48	c total clause space: 206.656MB
1334.18/1334.48	c total #watches: 4447858
1402.46/1402.70	c total #propagations: 51769980 / total #impl: 36835899508 (eff. 0.001)
1402.46/1402.70	c #Conflicts:      81000 | #Learnt:      12718 | 0.781
1402.46/1402.70	c total clause space: 206.656MB
1402.46/1402.70	c total #watches: 4884603
1450.46/1450.72	c total #propagations: 53226412 / total #impl: 37597647779 (eff. 0.001)
1450.46/1450.72	c GC COLLECT
1450.46/1450.72	c #Conflicts:      82000 | #Learnt:       6921 | 0.775
1450.46/1450.72	c total clause space: 206.656MB
1450.46/1450.72	c total #watches: 2821221
1474.26/1474.53	c total #propagations: 54688970 / total #impl: 38262558359 (eff. 0.001)
1474.26/1474.53	c #Conflicts:      83000 | #Learnt:       7921 | 0.766
1474.26/1474.53	c total clause space: 206.656MB
1474.26/1474.53	c total #watches: 3302379
1492.65/1492.92	c total #propagations: 56034264 / total #impl: 38844153553 (eff. 0.001)
1492.65/1492.92	c #Conflicts:      84000 | #Learnt:       8921 | 0.757
1492.65/1492.92	c total clause space: 206.656MB
1492.65/1492.93	c total #watches: 3730855
1515.15/1515.48	c total #propagations: 57199852 / total #impl: 39265613521 (eff. 0.001)
1515.15/1515.48	c #Conflicts:      85000 | #Learnt:       9921 | 0.748
1515.15/1515.48	c total clause space: 206.656MB
1515.15/1515.48	c total #watches: 4162186
1551.05/1551.40	c total #propagations: 58892502 / total #impl: 39819662702 (eff. 0.001)
1551.05/1551.40	c #Conflicts:      86000 | #Learnt:      10921 | 0.740
1551.05/1551.40	c total clause space: 206.656MB
1551.05/1551.40	c total #watches: 4571969
1595.85/1596.12	c total #propagations: 60583955 / total #impl: 40901636350 (eff. 0.001)
1595.85/1596.12	c #Conflicts:      87000 | #Learnt:      11920 | 0.732
1595.85/1596.12	c total clause space: 206.656MB
1595.85/1596.12	c total #watches: 5005839
1638.74/1639.04	c total #propagations: 62243149 / total #impl: 42239030651 (eff. 0.001)
1638.74/1639.04	c #Conflicts:      88000 | #Learnt:      12920 | 0.725
1638.74/1639.04	c total clause space: 206.656MB
1638.74/1639.04	c total #watches: 5343362
1679.93/1680.28	c total #propagations: 64149698 / total #impl: 43584786076 (eff. 0.001)
1679.93/1680.28	c #Conflicts:      89000 | #Learnt:      13919 | 0.718
1679.93/1680.28	c total clause space: 206.656MB
1679.93/1680.28	c total #watches: 5966794
1702.02/1702.35	c total #propagations: 65243678 / total #impl: 44789596917 (eff. 0.001)
1702.02/1702.35	c GC COLLECT
1702.02/1702.35	c #Conflicts:      90000 | #Learnt:       7851 | 0.713
1702.02/1702.35	c total clause space: 335.816MB
1702.02/1702.35	c total #watches: 3798702
1736.81/1737.10	c total #propagations: 66368420 / total #impl: 45741952280 (eff. 0.001)
1736.81/1737.10	c #Conflicts:      91000 | #Learnt:       8851 | 0.708
1736.81/1737.10	c total clause space: 335.816MB
1736.81/1737.10	c total #watches: 4203962
1761.71/1762.04	c total #propagations: 67816762 / total #impl: 47843269503 (eff. 0.001)
1761.71/1762.04	c #Conflicts:      92000 | #Learnt:       9851 | 0.701
1761.71/1762.04	c total clause space: 335.816MB
1761.71/1762.04	c total #watches: 4568445

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

pid=31010
running on 8 cores: 4-7,12-15

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.04 2.06 2.00 3/259 31013
/proc/meminfo: memFree=31299452/32872528 swapFree=7804/7804
[pid=31013] ppid=31010 vsize=56116 CPUtime=0 cores=4-7,12-15
/proc/31013/stat : 31013 (cdcl-cuttingpla) R 31010 31013 27517 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 27893756 57462784 10936 33554432000 4194304 6211289 140735784432560 140733964985192 5252513 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31013/statm: 14029 10936 120 493 0 13526 0

[startup+0.100116 s]
/proc/loadavg: 2.04 2.06 2.00 3/259 31013
/proc/meminfo: memFree=31299452/32872528 swapFree=7804/7804
[pid=31013] ppid=31010 vsize=66040 CPUtime=0.09 cores=4-7,12-15
/proc/31013/stat : 31013 (cdcl-cuttingpla) R 31010 31013 27517 0 -1 4202496 1321 0 0 0 9 0 0 0 20 0 1 0 27893756 67624960 13846 33554432000 4194304 6211289 140735784432560 140735784430024 4205850 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31013/statm: 16510 13847 150 493 0 16007 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 66040

[startup+0.200322 s]
/proc/loadavg: 2.04 2.06 2.00 3/259 31013
/proc/meminfo: memFree=31299452/32872528 swapFree=7804/7804
[pid=31013] ppid=31010 vsize=69288 CPUtime=0.19 cores=4-7,12-15
/proc/31013/stat : 31013 (cdcl-cuttingpla) R 31010 31013 27517 0 -1 4202496 2459 0 0 0 18 1 0 0 20 0 1 0 27893756 70950912 14565 33554432000 4194304 6211289 140735784432560 140735784430024 4209403 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31013/statm: 17322 14565 160 493 0 16819 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 69288

[startup+0.300246 s]
/proc/loadavg: 2.04 2.06 2.00 3/259 31013
/proc/meminfo: memFree=31299452/32872528 swapFree=7804/7804
[pid=31013] ppid=31010 vsize=72940 CPUtime=0.29 cores=4-7,12-15
/proc/31013/stat : 31013 (cdcl-cuttingpla) R 31010 31013 27517 0 -1 4202496 3844 0 0 0 28 1 0 0 20 0 1 0 27893756 74690560 15990 33554432000 4194304 6211289 140735784432560 140735784430024 4205291 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31013/statm: 18235 15990 219 493 0 17732 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 72940

[startup+0.700189 s]
/proc/loadavg: 2.04 2.06 2.00 3/259 31013
/proc/meminfo: memFree=31299452/32872528 swapFree=7804/7804
[pid=31013] ppid=31010 vsize=78296 CPUtime=0.69 cores=4-7,12-15
/proc/31013/stat : 31013 (cdcl-cuttingpla) R 31010 31013 27517 0 -1 4202496 4626 0 0 0 68 1 0 0 20 0 1 0 27893756 80175104 17559 33554432000 4194304 6211289 140735784432560 140735784430024 4209922 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31013/statm: 19574 17559 219 493 0 19071 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 78296

[startup+1.50018 s]
/proc/loadavg: 2.04 2.06 2.00 3/260 31014
/proc/meminfo: memFree=31229856/32872528 swapFree=7804/7804
[pid=31013] ppid=31010 vsize=79284 CPUtime=1.49 cores=4-7,12-15
/proc/31013/stat : 31013 (cdcl-cuttingpla) R 31010 31013 27517 0 -1 4202496 4849 0 0 0 148 1 0 0 20 0 1 0 27893756 81186816 17782 33554432000 4194304 6211289 140735784432560 140735784430552 4241704 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31013/statm: 19821 17782 219 493 0 19318 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 79284

[startup+3.10022 s]
/proc/loadavg: 2.04 2.06 2.00 3/260 31014
/proc/meminfo: memFree=31228360/32872528 swapFree=7804/7804
[pid=31013] ppid=31010 vsize=87308 CPUtime=3.09 cores=4-7,12-15
/proc/31013/stat : 31013 (cdcl-cuttingpla) R 31010 31013 27517 0 -1 4202496 5096 0 0 0 308 1 0 0 20 0 1 0 27893756 89403392 18016 33554432000 4194304 6211289 140735784432560 140735784430792 4241570 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31013/statm: 21827 18016 219 493 0 21324 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 87308

[startup+6.30019 s]
/proc/loadavg: 2.12 2.07 2.01 3/260 31014
/proc/meminfo: memFree=31222704/32872528 swapFree=7804/7804
[pid=31013] ppid=31010 vsize=89084 CPUtime=6.29 cores=4-7,12-15
/proc/31013/stat : 31013 (cdcl-cuttingpla) R 31010 31013 27517 0 -1 4202496 5570 0 0 0 628 1 0 0 20 0 1 0 27893756 91222016 20018 33554432000 4194304 6211289 140735784432560 140735784430552 4241730 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31013/statm: 22271 20018 219 493 0 21768 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 89084

[startup+12.7002 s]
/proc/loadavg: 2.11 2.07 2.01 3/260 31014
/proc/meminfo: memFree=31208800/32872528 swapFree=7804/7804
[pid=31013] ppid=31010 vsize=105088 CPUtime=12.69 cores=4-7,12-15
/proc/31013/stat : 31013 (cdcl-cuttingpla) R 31010 31013 27517 0 -1 4202496 7008 0 0 0 1267 2 0 0 20 0 1 0 27893756 107610112 23372 33554432000 4194304 6211289 140735784432560 140735784430552 4209501 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31013/statm: 26272 23372 219 493 0 25769 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 105088

[startup+25.5003 s]
/proc/loadavg: 2.09 2.07 2.00 3/260 31014
/proc/meminfo: memFree=31185284/32872528 swapFree=7804/7804
[pid=31013] ppid=31010 vsize=131512 CPUtime=25.48 cores=4-7,12-15
/proc/31013/stat : 31013 (cdcl-cuttingpla) R 31010 31013 27517 0 -1 4202496 9003 0 0 0 2546 2 0 0 20 0 1 0 27893756 134668288 28788 33554432000 4194304 6211289 140735784432560 140735784430472 4209507 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31013/statm: 32878 28788 219 493 0 32375 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 131512

[startup+51.1004 s]
/proc/loadavg: 2.06 2.06 2.00 3/259 31014
/proc/meminfo: memFree=31162412/32872528 swapFree=7804/7804
[pid=31013] ppid=31010 vsize=166840 CPUtime=51.08 cores=4-7,12-15
/proc/31013/stat : 31013 (cdcl-cuttingpla) R 31010 31013 27517 0 -1 4202496 11425 0 0 0 5105 3 0 0 20 0 1 0 27893756 170844160 34807 33554432000 4194304 6211289 140735784432560 140735784430552 4209468 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31013/statm: 41710 34807 219 493 0 41207 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 166840

[startup+102.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/258 31015
/proc/meminfo: memFree=31098388/32872528 swapFree=7804/7804
[pid=31013] ppid=31010 vsize=177312 CPUtime=102.29 cores=4-7,12-15
/proc/31013/stat : 31013 (cdcl-cuttingpla) R 31010 31013 27517 0 -1 4202496 14514 0 0 0 10225 4 0 0 20 0 1 0 27893756 181567488 39673 33554432000 4194304 6211289 140735784432560 140735784430552 4209501 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31013/statm: 44328 39673 219 493 0 43825 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 177312

[startup+162.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/259 31017
/proc/meminfo: memFree=30964740/32872528 swapFree=7804/7804
[pid=31013] ppid=31010 vsize=238644 CPUtime=162.27 cores=4-7,12-15
/proc/31013/stat : 31013 (cdcl-cuttingpla) R 31010 31013 27517 0 -1 4202496 17485 0 0 0 16221 6 0 0 20 0 1 0 27893756 244371456 50228 33554432000 4194304 6211289 140735784432560 140735784430472 4209306 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31013/statm: 59661 50228 219 493 0 59158 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 238644

[startup+222.311 s]
/proc/loadavg: 2.00 2.03 2.00 3/259 31019
/proc/meminfo: memFree=30850488/32872528 swapFree=7804/7804
[pid=31013] ppid=31010 vsize=334372 CPUtime=222.26 cores=4-7,12-15
/proc/31013/stat : 31013 (cdcl-cuttingpla) R 31010 31013 27517 0 -1 4202496 21292 0 0 0 22219 7 0 0 20 0 1 0 27893756 342396928 61179 33554432000 4194304 6211289 140735784432560 140735784430552 4209497 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31013/statm: 83593 61179 219 493 0 83090 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 334372

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/259 31020
/proc/meminfo: memFree=30749628/32872528 swapFree=7804/7804
[pid=31013] ppid=31010 vsize=352796 CPUtime=282.25 cores=4-7,12-15
/proc/31013/stat : 31013 (cdcl-cuttingpla) R 31010 31013 27517 0 -1 4202496 25329 0 0 0 28216 9 0 0 20 0 1 0 27893756 361263104 76458 33554432000 4194304 6211289 140735784432560 140735784430472 4209392 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31013/statm: 88199 76458 219 493 0 87696 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 352796

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/259 31021
/proc/meminfo: memFree=30717228/32872528 swapFree=7804/7804
[pid=31013] ppid=31010 vsize=361980 CPUtime=342.24 cores=4-7,12-15
/proc/31013/stat : 31013 (cdcl-cuttingpla) R 31010 31013 27517 0 -1 4202496 27301 0 0 0 34214 10 0 0 20 0 1 0 27893756 370667520 83520 33554432000 4194304 6211289 140735784432560 140735784430904 4209464 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31013/statm: 90495 83520 219 493 0 89992 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 361980

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/259 31022
/proc/meminfo: memFree=30716908/32872528 swapFree=7804/7804
[pid=31013] ppid=31010 vsize=361980 CPUtime=402.23 cores=4-7,12-15
/proc/31013/stat : 31013 (cdcl-cuttingpla) R 31010 31013 27517 0 -1 4202496 27305 0 0 0 40213 10 0 0 20 0 1 0 27893756 370667520 83524 33554432000 4194304 6211289 140735784432560 140735784430904 4209484 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31013/statm: 90495 83524 219 493 0 89992 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 361980

[startup+462.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/259 31023
/proc/meminfo: memFree=30714400/32872528 swapFree=7804/7804
[pid=31013] ppid=31010 vsize=362172 CPUtime=462.22 cores=4-7,12-15
/proc/31013/stat : 31013 (cdcl-cuttingpla) R 31010 31013 27517 0 -1 4202496 27337 0 0 0 46212 10 0 0 20 0 1 0 27893756 370864128 83556 33554432000 4194304 6211289 140735784432560 140735784430904 4209396 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31013/statm: 90543 83556 219 493 0 90040 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 362172

[startup+522.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/260 31028
/proc/meminfo: memFree=30710468/32872528 swapFree=7804/7804
[pid=31013] ppid=31010 vsize=364284 CPUtime=522.21 cores=4-7,12-15
/proc/31013/stat : 31013 (cdcl-cuttingpla) R 31010 31013 27517 0 -1 4202496 27941 0 0 0 52210 11 0 0 20 0 1 0 27893756 373026816 84160 33554432000 4194304 6211289 140735784432560 140735784430904 4209298 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31013/statm: 91071 84160 219 493 0 90568 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 364284

[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/259 31029
/proc/meminfo: memFree=30702204/32872528 swapFree=7804/7804
[pid=31013] ppid=31010 vsize=364716 CPUtime=582.19 cores=4-7,12-15
/proc/31013/stat : 31013 (cdcl-cuttingpla) R 31010 31013 27517 0 -1 4202496 28122 0 0 0 58208 11 0 0 20 0 1 0 27893756 373469184 85805 33554432000 4194304 6211289 140735784432560 140735784430424 4209388 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31013/statm: 91179 85805 219 493 0 90676 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 364716


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


[startup+942.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/259 31036
/proc/meminfo: memFree=30666524/32872528 swapFree=7804/7804
[pid=31013] ppid=31010 vsize=369908 CPUtime=942.13 cores=4-7,12-15
/proc/31013/stat : 31013 (cdcl-cuttingpla) R 31010 31013 27517 0 -1 4202496 29321 0 0 0 94200 13 0 0 20 0 1 0 27893756 378785792 87732 33554432000 4194304 6211289 140735784432560 140735784430904 4209376 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31013/statm: 92477 87732 219 493 0 91974 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 369908

[startup+1002.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/259 31037
/proc/meminfo: memFree=30665544/32872528 swapFree=7804/7804
[pid=31013] ppid=31010 vsize=370044 CPUtime=1002.12 cores=4-7,12-15
/proc/31013/stat : 31013 (cdcl-cuttingpla) R 31010 31013 27517 0 -1 4202496 29343 0 0 0 100199 13 0 0 20 0 1 0 27893756 378925056 87754 33554432000 4194304 6211289 140735784432560 140735784430904 4209507 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31013/statm: 92511 87754 219 493 0 92008 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 370044

[startup+1062.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/259 31038
/proc/meminfo: memFree=30663316/32872528 swapFree=7804/7804
[pid=31013] ppid=31010 vsize=371560 CPUtime=1062.11 cores=4-7,12-15
/proc/31013/stat : 31013 (cdcl-cuttingpla) R 31010 31013 27517 0 -1 4202496 29701 0 0 0 106198 13 0 0 20 0 1 0 27893756 380477440 88112 33554432000 4194304 6211289 140735784432560 140735784430424 4209388 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31013/statm: 92890 88112 219 493 0 92387 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 371560

[startup+1122.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/260 31089
/proc/meminfo: memFree=31173796/32872528 swapFree=7804/7804
[pid=31013] ppid=31010 vsize=623448 CPUtime=1122.11 cores=4-7,12-15
/proc/31013/stat : 31013 (cdcl-cuttingpla) R 31010 31013 27517 0 -1 4202496 43440 0 0 0 112192 19 0 0 20 0 1 0 27893756 638410752 136169 33554432000 4194304 6211289 140735784432560 140735784430552 4209464 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31013/statm: 155862 136169 219 493 0 155359 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 623448

[startup+1182.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/259 31090
/proc/meminfo: memFree=31013232/32872528 swapFree=7804/7804
[pid=31013] ppid=31010 vsize=786928 CPUtime=1182.1 cores=4-7,12-15
/proc/31013/stat : 31013 (cdcl-cuttingpla) R 31010 31013 27517 0 -1 4202496 50201 0 0 0 118189 21 0 0 20 0 1 0 27893756 805814272 160452 33554432000 4194304 6211289 140735784432560 140735784430552 4209376 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31013/statm: 196732 160452 219 493 0 196229 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 786928

[startup+1242.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/259 31091
/proc/meminfo: memFree=30977404/32872528 swapFree=7804/7804
[pid=31013] ppid=31010 vsize=788148 CPUtime=1242.09 cores=4-7,12-15
/proc/31013/stat : 31013 (cdcl-cuttingpla) R 31010 31013 27517 0 -1 4202496 50506 0 0 0 124187 22 0 0 20 0 1 0 27893756 807063552 164121 33554432000 4194304 6211289 140735784432560 140735784430904 4209388 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31013/statm: 197037 164121 219 493 0 196534 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 788148

[startup+1302.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/259 31092
/proc/meminfo: memFree=30965172/32872528 swapFree=7804/7804
[pid=31013] ppid=31010 vsize=789776 CPUtime=1302.08 cores=4-7,12-15
/proc/31013/stat : 31013 (cdcl-cuttingpla) R 31010 31013 27517 0 -1 4202496 50885 0 0 0 130186 22 0 0 20 0 1 0 27893756 808730624 165461 33554432000 4194304 6211289 140735784432560 140735784430552 4209396 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31013/statm: 197444 165461 219 493 0 196941 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 789776

[startup+1362.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/259 31093
/proc/meminfo: memFree=30942616/32872528 swapFree=7804/7804
[pid=31013] ppid=31010 vsize=793300 CPUtime=1362.07 cores=4-7,12-15
/proc/31013/stat : 31013 (cdcl-cuttingpla) R 31010 31013 27517 0 -1 4202496 51532 0 0 0 136185 22 0 0 20 0 1 0 27893756 812339200 166726 33554432000 4194304 6211289 140735784432560 140735784430552 4209384 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31013/statm: 198325 166726 219 493 0 197822 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 793300

[startup+1422.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/259 31095
/proc/meminfo: memFree=30938532/32872528 swapFree=7804/7804
[pid=31013] ppid=31010 vsize=795828 CPUtime=1422.08 cores=4-7,12-15
/proc/31013/stat : 31013 (cdcl-cuttingpla) R 31010 31013 27517 0 -1 4202496 51972 0 0 0 142185 23 0 0 20 0 1 0 27893756 814927872 167166 33554432000 4194304 6211289 140735784432560 140735784430472 4209244 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31013/statm: 198957 167166 219 493 0 198454 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 795828

[startup+1482.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/259 31096
/proc/meminfo: memFree=30926032/32872528 swapFree=7804/7804
[pid=31013] ppid=31010 vsize=801396 CPUtime=1482.05 cores=4-7,12-15
/proc/31013/stat : 31013 (cdcl-cuttingpla) R 31010 31013 27517 0 -1 4202496 52876 0 0 0 148182 23 0 0 20 0 1 0 27893756 820629504 168070 33554432000 4194304 6211289 140735784432560 140735784430424 4209464 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31013/statm: 200349 168070 219 493 0 199846 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 801396

[startup+1542.31 s]
/proc/loadavg: 2.01 2.03 2.00 3/259 31097
/proc/meminfo: memFree=30915648/32872528 swapFree=7804/7804
[pid=31013] ppid=31010 vsize=803700 CPUtime=1542.05 cores=4-7,12-15
/proc/31013/stat : 31013 (cdcl-cuttingpla) R 31010 31013 27517 0 -1 4202496 53555 0 0 0 154182 23 0 0 20 0 1 0 27893756 822988800 168749 33554432000 4194304 6211289 140735784432560 140735784430472 4209507 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31013/statm: 200925 168749 219 493 0 200422 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 803700

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/259 31098
/proc/meminfo: memFree=30911936/32872528 swapFree=7804/7804
[pid=31013] ppid=31010 vsize=807160 CPUtime=1602.04 cores=4-7,12-15
/proc/31013/stat : 31013 (cdcl-cuttingpla) R 31010 31013 27517 0 -1 4202496 54323 0 0 0 160180 24 0 0 20 0 1 0 27893756 826531840 169517 33554432000 4194304 6211289 140735784432560 140735784430472 4209392 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31013/statm: 201790 169517 219 493 0 201287 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 807160

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/259 31099
/proc/meminfo: memFree=30873096/32872528 swapFree=7804/7804
[pid=31013] ppid=31010 vsize=820728 CPUtime=1662.03 cores=4-7,12-15
/proc/31013/stat : 31013 (cdcl-cuttingpla) R 31010 31013 27517 0 -1 4202496 56405 0 0 0 166178 25 0 0 20 0 1 0 27893756 840425472 171599 33554432000 4194304 6211289 140735784432560 140735784430472 4209396 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31013/statm: 205182 171599 219 493 0 204679 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 820728

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/260 31104
/proc/meminfo: memFree=30845936/32872528 swapFree=7804/7804
[pid=31013] ppid=31010 vsize=954524 CPUtime=1722.01 cores=4-7,12-15
/proc/31013/stat : 31013 (cdcl-cuttingpla) R 31010 31013 27517 0 -1 4202496 57824 0 0 0 172175 26 0 0 20 0 1 0 27893756 977432576 175123 33554432000 4194304 6211289 140735784432560 140735784430904 4209501 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31013/statm: 238631 175123 219 493 0 238128 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 954524

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/259 31105
/proc/meminfo: memFree=30832020/32872528 swapFree=7804/7804
[pid=31013] ppid=31010 vsize=955036 CPUtime=1782.01 cores=4-7,12-15
/proc/31013/stat : 31013 (cdcl-cuttingpla) R 31010 31013 27517 0 -1 4202496 57913 0 0 0 178175 26 0 0 20 0 1 0 27893756 977956864 175212 33554432000 4194304 6211289 140735784432560 140735784430472 4209523 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31013/statm: 238759 175212 219 493 0 238256 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 955036



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/259 31105
/proc/meminfo: memFree=30829904/32872528 swapFree=7804/7804
[pid=31013] ppid=31010 vsize=955036 CPUtime=1800 cores=4-7,12-15
/proc/31013/stat : 31013 (cdcl-cuttingpla) R 31010 31013 27517 0 -1 4202496 57915 0 0 0 179974 26 0 0 20 0 1 0 27893756 977956864 175214 33554432000 4194304 6211289 140735784432560 140735784430472 4209501 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31013/statm: 238759 175214 219 493 0 238256 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 955036

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

[startup+1800.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/259 31105
/proc/meminfo: memFree=30829904/32872528 swapFree=7804/7804
[pid=31013] ppid=31010 vsize=955036 CPUtime=1800 cores=4-7,12-15
/proc/31013/stat : 31013 (cdcl-cuttingpla) R 31010 31013 27517 0 -1 4202496 57915 0 0 0 179974 26 0 0 20 0 1 0 27893756 977956864 175214 33554432000 4194304 6211289 140735784432560 140735784430472 4209501 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/31013/statm: 238759 175214 219 493 0 238256 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 955036

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.32
CPU time (s): 1800.03
CPU user time (s): 1799.75
CPU system time (s): 0.282956
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 955036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.75
system time used= 0.282956
maximum resident set size= 700856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57915
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19
involuntary context switches= 1968

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.70883 second user time and 10.7534 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-18 16:01:32
IDJOB=4101775
IDBENCH=1792
IDSOLVER=2549
FILE ID=node132/4101775-1466258492
RUNJOBID= node132-1466229528-27534
PBS_JOBID= 19918175
Free space on /tmp= 71736 MiB

SOLVER NAME= cdcl-cuttingplanes OPT binary 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-pp08aCUTS.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101775-1466258492/watcher-4101775-1466258492 -o /tmp/evaluation-result-4101775-1466258492/solver-4101775-1466258492 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466229528-27534 --watchdog 1960 --input HOME/instance-4101775-1466258492.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= 4a4829ccfb158b9e23ea953e29870120
RANDOM SEED=364971971

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:        31299096 kB
Buffers:          102680 kB
Cached:           168300 kB
SwapCached:         1776 kB
Active:           619928 kB
Inactive:         198456 kB
Active(anon):     547812 kB
Inactive(anon):     2636 kB
Active(file):      72116 kB
Inactive(file):   195820 kB
Unevictable:        7804 kB
Mlocked:            7804 kB
SwapTotal:      67108856 kB
SwapFree:       67099332 kB
Dirty:              2472 kB
Writeback:             4 kB
AnonPages:        507296 kB
Mapped:             7960 kB
Shmem:                 0 kB
Slab:             607724 kB
SReclaimable:      47980 kB
SUnreclaim:       559744 kB
KernelStack:        2216 kB
PageTables:         5396 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     692664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:    249856 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 16:31:32