Trace number 4087687

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.08 1800.4

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_006_area_delay.opb
MD5SUM7294dff8a2fbe1f0b26c181010dcfed2
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark22
Best CPU time to get the best result obtained on this benchmark0.046992
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 22
Optimality of the best value was proved YES
Number of variables3041
Total number of constraints7696
Number of constraints which are clauses7696
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint63
Number of terms in the objective function 1510
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1510
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 1510
Number of bits of the biggest sum of numbers11
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.02	c * #variable= 3041 #constraint= 7696
0.00/0.04	c * #variable= 3041 #constraint= 7696
0.69/0.71	c S1->S2
0.69/0.71	c S1->S2
0.69/0.71	c S1->S2
0.69/0.71	c S1->S2
0.69/0.71	c S1->S2
0.69/0.71	c S2->S1
0.69/0.71	c S1->S2
0.69/0.71	c #Conflicts:       1000 | #Learnt:        996 | 0.000
0.69/0.71	c total clause space: 29.637MB
0.69/0.71	c total #watches: 537990
1.78/1.86	c total #propagations: 323873 / total #impl: 18314675 (eff. 0.018)
1.78/1.86	c S2->S1
1.78/1.86	c #Conflicts:       2000 | #Learnt:        490 | 0.000
1.78/1.86	c total clause space: 48.1602MB
1.78/1.86	c total #watches: 1155676
2.49/2.55	c total #propagations: 659398 / total #impl: 49259504 (eff. 0.013)
2.49/2.55	c GC COLLECT
2.49/2.55	c #Conflicts:       3000 | #Learnt:       1037 | 0.000
2.49/2.55	c total clause space: 48.1602MB
2.49/2.55	c total #watches: 589028
4.50/4.53	c total #propagations: 1015879 / total #impl: 63609854 (eff. 0.016)
4.50/4.53	c #Conflicts:       4000 | #Learnt:       2037 | 0.000
4.50/4.53	c total clause space: 48.1602MB
4.50/4.53	c total #watches: 916060
6.49/6.59	c total #propagations: 1317072 / total #impl: 126320574 (eff. 0.010)
6.49/6.59	c GC COLLECT
6.49/6.59	c #Conflicts:       5000 | #Learnt:       1872 | 0.000
6.49/6.59	c total clause space: 48.1602MB
6.49/6.59	c total #watches: 763204
9.49/9.57	c total #propagations: 1517331 / total #impl: 173345358 (eff. 0.009)
9.49/9.57	c #Conflicts:       6000 | #Learnt:       2872 | 0.000
9.49/9.57	c total clause space: 48.1602MB
9.49/9.57	c total #watches: 1071084
12.38/12.47	c total #propagations: 1782300 / total #impl: 207031249 (eff. 0.009)
12.38/12.47	c GC COLLECT
12.38/12.47	c #Conflicts:       7000 | #Learnt:       1995 | 0.000
12.38/12.47	c total clause space: 78.2603MB
12.38/12.47	c total #watches: 841188
13.98/14.07	c total #propagations: 2244240 / total #impl: 218256296 (eff. 0.010)
13.98/14.07	c #Conflicts:       8000 | #Learnt:       2995 | 0.000
13.98/14.07	c total clause space: 78.2603MB
13.98/14.07	c total #watches: 1339144
15.99/16.00	c total #propagations: 2475445 / total #impl: 232947326 (eff. 0.011)
15.99/16.00	c S2->S1
15.99/16.00	c #Conflicts:       9000 | #Learnt:       1365 | 0.000
15.99/16.00	c total clause space: 78.2603MB
15.99/16.00	c total #watches: 1899658
20.69/20.70	c total #propagations: 2789747 / total #impl: 292658695 (eff. 0.010)
20.69/20.70	c GC COLLECT
20.69/20.70	c #Conflicts:      10000 | #Learnt:       1285 | 0.000
20.69/20.70	c total clause space: 127.173MB
20.69/20.70	c total #watches: 550097
31.29/31.30	c total #propagations: 3136692 / total #impl: 414307187 (eff. 0.008)
31.29/31.30	c #Conflicts:      11000 | #Learnt:       2285 | 0.000
31.29/31.30	c total clause space: 127.173MB
31.29/31.30	c total #watches: 781417
44.10/44.11	c total #propagations: 3451934 / total #impl: 792145763 (eff. 0.004)
44.10/44.11	c #Conflicts:      12000 | #Learnt:       3285 | 0.000
44.10/44.11	c total clause space: 127.173MB
44.10/44.11	c total #watches: 995227
52.89/52.91	c total #propagations: 3808305 / total #impl: 1083923967 (eff. 0.004)
52.89/52.91	c #Conflicts:      13000 | #Learnt:       4285 | 0.000
52.89/52.91	c total clause space: 127.173MB
52.89/52.91	c total #watches: 1376920
62.98/63.09	c total #propagations: 4069878 / total #impl: 1133415353 (eff. 0.004)
62.98/63.09	c GC COLLECT
62.98/63.09	c #Conflicts:      14000 | #Learnt:       3139 | 0.000
62.98/63.09	c total clause space: 127.173MB
62.98/63.09	c total #watches: 1246260
79.98/80.08	c total #propagations: 4353965 / total #impl: 1196176845 (eff. 0.004)
79.98/80.08	c #Conflicts:      15000 | #Learnt:       4139 | 0.000
79.98/80.08	c total clause space: 127.173MB
79.98/80.08	c total #watches: 1465198
93.98/94.05	c total #propagations: 4830871 / total #impl: 1318720205 (eff. 0.004)
93.98/94.05	c #Conflicts:      16000 | #Learnt:       5139 | 0.000
93.98/94.05	c total clause space: 127.173MB
93.98/94.05	c total #watches: 1721743
106.87/106.99	c total #propagations: 5116910 / total #impl: 1433025786 (eff. 0.004)
106.87/106.99	c GC COLLECT
106.87/106.99	c #Conflicts:      17000 | #Learnt:       3316 | 0.000
106.87/106.99	c total clause space: 127.173MB
106.87/106.99	c total #watches: 1207903
115.67/115.76	c total #propagations: 5406634 / total #impl: 1571453436 (eff. 0.003)
115.67/115.76	c #Conflicts:      18000 | #Learnt:       4316 | 0.000
115.67/115.76	c total clause space: 127.173MB
115.67/115.76	c total #watches: 1332675
118.97/119.07	c total #propagations: 5776236 / total #impl: 1735702207 (eff. 0.003)
118.97/119.07	c #Conflicts:      19000 | #Learnt:       5316 | 0.000
118.97/119.07	c total clause space: 127.173MB
118.97/119.07	c total #watches: 1635258
129.57/129.64	c total #propagations: 5902962 / total #impl: 1778635856 (eff. 0.003)
129.57/129.64	c #Conflicts:      20000 | #Learnt:       6316 | 0.000
129.57/129.64	c total clause space: 127.173MB
129.57/129.64	c total #watches: 1868203
138.07/138.12	c total #propagations: 6186857 / total #impl: 1935424124 (eff. 0.003)
138.07/138.12	c GC COLLECT
138.07/138.12	c #Conflicts:      21000 | #Learnt:       4008 | 0.000
138.07/138.12	c total clause space: 127.173MB
138.07/138.12	c total #watches: 1491757
144.87/144.98	c total #propagations: 6547650 / total #impl: 2000670912 (eff. 0.003)
144.87/144.98	c #Conflicts:      22000 | #Learnt:       5008 | 0.000
144.87/144.98	c total clause space: 127.173MB
144.87/144.98	c total #watches: 1706566
158.37/158.47	c total #propagations: 6881431 / total #impl: 2075846028 (eff. 0.003)
158.37/158.47	c #Conflicts:      23000 | #Learnt:       6008 | 0.000
158.37/158.47	c total clause space: 127.173MB
158.37/158.47	c total #watches: 2002413
168.46/168.56	c total #propagations: 7158896 / total #impl: 2238132338 (eff. 0.003)
168.46/168.56	c #Conflicts:      24000 | #Learnt:       7008 | 0.000
168.46/168.56	c total clause space: 127.173MB
168.46/168.56	c total #watches: 2235870
180.37/180.42	c total #propagations: 7380639 / total #impl: 2420260633 (eff. 0.003)
180.37/180.42	c GC COLLECT
180.37/180.42	c #Conflicts:      25000 | #Learnt:       4305 | 0.000
180.37/180.42	c total clause space: 127.173MB
180.37/180.42	c total #watches: 1749176
193.96/194.06	c total #propagations: 7641248 / total #impl: 2556804420 (eff. 0.003)
193.96/194.06	c #Conflicts:      26000 | #Learnt:       5305 | 0.000
193.96/194.06	c total clause space: 127.173MB
193.96/194.06	c total #watches: 1991466
204.75/204.82	c total #propagations: 7980478 / total #impl: 2636658131 (eff. 0.003)
204.75/204.82	c #Conflicts:      27000 | #Learnt:       6305 | 0.000
204.75/204.82	c total clause space: 127.173MB
204.75/204.82	c total #watches: 2313279
225.86/225.96	c total #propagations: 8111010 / total #impl: 2702207712 (eff. 0.003)
225.86/225.96	c #Conflicts:      28000 | #Learnt:       7305 | 0.000
225.86/225.96	c total clause space: 127.173MB
225.86/225.96	c total #watches: 2544943
248.66/248.71	c total #propagations: 8354667 / total #impl: 2842897055 (eff. 0.003)
248.66/248.71	c GC COLLECT
248.66/248.71	c #Conflicts:      29000 | #Learnt:       4252 | 0.000
248.66/248.71	c total clause space: 127.173MB
248.66/248.71	c total #watches: 1584250
265.85/265.93	c total #propagations: 8727021 / total #impl: 2951988314 (eff. 0.003)
265.85/265.93	c #Conflicts:      30000 | #Learnt:       5252 | 0.000
265.85/265.93	c total clause space: 127.173MB
265.85/265.93	c total #watches: 1772394
273.75/273.87	c total #propagations: 9007452 / total #impl: 3077840610 (eff. 0.003)
273.75/273.87	c #Conflicts:      31000 | #Learnt:       6252 | 0.000
273.75/273.87	c total clause space: 127.173MB
273.75/273.87	c total #watches: 1960545
302.84/302.93	c total #propagations: 9135245 / total #impl: 3152497912 (eff. 0.003)
302.84/302.93	c #Conflicts:      32000 | #Learnt:       7252 | 0.000
302.84/302.93	c total clause space: 127.173MB
302.84/302.93	c total #watches: 2169402
333.25/333.40	c total #propagations: 9526940 / total #impl: 3378402952 (eff. 0.003)
333.25/333.40	c #Conflicts:      33000 | #Learnt:       8252 | 0.000
333.25/333.40	c total clause space: 127.173MB
333.25/333.40	c total #watches: 2377240
348.74/348.85	c total #propagations: 9873661 / total #impl: 3510590712 (eff. 0.003)
348.74/348.85	c GC COLLECT
348.74/348.85	c #Conflicts:      34000 | #Learnt:       4881 | 0.000
348.74/348.85	c total clause space: 127.173MB
348.74/348.85	c total #watches: 1428373
354.93/355.05	c total #propagations: 10191907 / total #impl: 3602097359 (eff. 0.003)
354.93/355.05	c #Conflicts:      35000 | #Learnt:       5881 | 0.000
354.93/355.05	c total clause space: 127.173MB
354.93/355.05	c total #watches: 1592479
377.72/377.82	c total #propagations: 10308131 / total #impl: 3661504799 (eff. 0.003)
377.72/377.82	c #Conflicts:      36000 | #Learnt:       6881 | 0.000
377.72/377.82	c total clause space: 127.173MB
377.72/377.82	c total #watches: 1729351
394.82/394.95	c total #propagations: 10568115 / total #impl: 3842617270 (eff. 0.003)
394.82/394.95	c #Conflicts:      37000 | #Learnt:       7881 | 0.000
394.82/394.95	c total clause space: 127.173MB
394.82/394.95	c total #watches: 1912977
414.31/414.45	c total #propagations: 10744277 / total #impl: 3991009050 (eff. 0.003)
414.31/414.45	c #Conflicts:      38000 | #Learnt:       8881 | 0.000
414.31/414.45	c total clause space: 127.173MB
414.31/414.45	c total #watches: 2084756
435.30/435.40	c total #propagations: 10920182 / total #impl: 4150151310 (eff. 0.003)
435.30/435.40	c GC COLLECT
435.30/435.40	c #Conflicts:      39000 | #Learnt:       5206 | 0.000
435.30/435.40	c total clause space: 127.173MB
435.30/435.40	c total #watches: 1229593
454.10/454.22	c total #propagations: 11117035 / total #impl: 4311673074 (eff. 0.003)
454.10/454.22	c #Conflicts:      40000 | #Learnt:       6206 | 0.000
454.10/454.22	c total clause space: 127.173MB
454.10/454.22	c total #watches: 1353709
474.60/474.76	c total #propagations: 11315303 / total #impl: 4435431239 (eff. 0.003)
474.60/474.76	c #Conflicts:      41000 | #Learnt:       7206 | 0.000
474.60/474.76	c total clause space: 127.173MB
474.60/474.76	c total #watches: 1565110
494.80/494.99	c total #propagations: 11541235 / total #impl: 4571099299 (eff. 0.003)
494.80/494.99	c #Conflicts:      42000 | #Learnt:       8206 | 0.000
494.80/494.99	c total clause space: 127.173MB
494.80/494.99	c total #watches: 1839390
509.30/509.44	c total #propagations: 11793181 / total #impl: 4632548666 (eff. 0.003)
509.30/509.44	c #Conflicts:      43000 | #Learnt:       9206 | 0.000
509.30/509.44	c total clause space: 127.173MB
509.30/509.44	c total #watches: 2176342
518.79/518.94	c total #propagations: 11928736 / total #impl: 4700359585 (eff. 0.003)
518.79/518.94	c GC COLLECT
518.79/518.94	c #Conflicts:      44000 | #Learnt:       5215 | 0.000
518.79/518.94	c total clause space: 206.656MB
518.79/518.94	c total #watches: 1243154
525.09/525.23	c total #propagations: 12035125 / total #impl: 4747629227 (eff. 0.003)
525.09/525.23	c #Conflicts:      45000 | #Learnt:       6215 | 0.000
525.09/525.23	c total clause space: 206.656MB
525.09/525.23	c total #watches: 1606356
546.69/546.86	c total #propagations: 12144743 / total #impl: 4775842762 (eff. 0.003)
546.69/546.86	c #Conflicts:      46000 | #Learnt:       7215 | 0.000
546.69/546.86	c total clause space: 206.656MB
546.69/546.86	c total #watches: 1877442
571.48/571.69	c total #propagations: 12417643 / total #impl: 4854433849 (eff. 0.003)
571.48/571.69	c #Conflicts:      47000 | #Learnt:       8215 | 0.000
571.48/571.69	c total clause space: 206.656MB
571.48/571.69	c total #watches: 2118747
609.98/610.14	c total #propagations: 12648062 / total #impl: 4955063523 (eff. 0.003)
609.98/610.14	c #Conflicts:      48000 | #Learnt:       9215 | 0.000
609.98/610.14	c total clause space: 206.656MB
609.98/610.14	c total #watches: 2290991
625.98/626.12	c total #propagations: 12891182 / total #impl: 5086653641 (eff. 0.003)
625.98/626.12	c #Conflicts:      49000 | #Learnt:      10215 | 0.000
625.98/626.12	c total clause space: 206.656MB
625.98/626.12	c total #watches: 2590622
638.78/638.91	c total #propagations: 13057356 / total #impl: 5145433165 (eff. 0.003)
638.78/638.91	c GC COLLECT
638.78/638.91	c #Conflicts:      50000 | #Learnt:       5921 | 0.000
638.78/638.91	c total clause space: 206.656MB
638.78/638.91	c total #watches: 1470009
646.57/646.79	c total #propagations: 13208031 / total #impl: 5201222575 (eff. 0.003)
646.57/646.79	c #Conflicts:      51000 | #Learnt:       6921 | 0.000
646.57/646.79	c total clause space: 206.656MB
646.57/646.79	c total #watches: 1779052
667.07/667.26	c total #propagations: 13326277 / total #impl: 5251856046 (eff. 0.003)
667.07/667.26	c #Conflicts:      52000 | #Learnt:       7921 | 0.000
667.07/667.26	c total clause space: 206.656MB
667.07/667.26	c total #watches: 2015931
691.47/691.61	c total #propagations: 13503199 / total #impl: 5337926735 (eff. 0.003)
691.47/691.61	c #Conflicts:      53000 | #Learnt:       8921 | 0.000
691.47/691.61	c total clause space: 206.656MB
691.47/691.61	c total #watches: 2295785
725.87/726.03	c total #propagations: 13687944 / total #impl: 5428504882 (eff. 0.003)
725.87/726.03	c #Conflicts:      54000 | #Learnt:       9921 | 0.000
725.87/726.03	c total clause space: 206.656MB
725.87/726.03	c total #watches: 2509779
749.96/750.10	c total #propagations: 13970781 / total #impl: 5540338487 (eff. 0.003)
749.96/750.10	c #Conflicts:      55000 | #Learnt:      10921 | 0.000
749.96/750.10	c total clause space: 206.656MB
749.96/750.10	c total #watches: 2720138
769.25/769.41	c total #propagations: 14241176 / total #impl: 5610373498 (eff. 0.003)
769.25/769.41	c GC COLLECT
769.25/769.41	c #Conflicts:      56000 | #Learnt:       6311 | 0.000
769.25/769.41	c total clause space: 206.656MB
769.25/769.41	c total #watches: 1564284
796.85/797.06	c total #propagations: 14407438 / total #impl: 5707068648 (eff. 0.003)
796.85/797.06	c #Conflicts:      57000 | #Learnt:       7311 | 0.000
796.85/797.06	c total clause space: 206.656MB
796.85/797.06	c total #watches: 1767164
827.44/827.60	c total #propagations: 14681719 / total #impl: 5878033059 (eff. 0.002)
827.44/827.60	c #Conflicts:      58000 | #Learnt:       8311 | 0.000
827.44/827.60	c total clause space: 206.656MB
827.44/827.60	c total #watches: 2011293
847.54/847.70	c total #propagations: 14973304 / total #impl: 6150095008 (eff. 0.002)
847.54/847.70	c #Conflicts:      59000 | #Learnt:       9311 | 0.000
847.54/847.70	c total clause space: 206.656MB
847.54/847.70	c total #watches: 2270722
886.63/886.85	c total #propagations: 15151831 / total #impl: 6258202960 (eff. 0.002)
886.63/886.85	c #Conflicts:      60000 | #Learnt:      10311 | 0.000
886.63/886.85	c total clause space: 206.656MB
886.63/886.85	c total #watches: 2457112
906.03/906.21	c total #propagations: 15411711 / total #impl: 6427639172 (eff. 0.002)
906.03/906.21	c #Conflicts:      61000 | #Learnt:      11311 | 0.000
906.03/906.21	c total clause space: 206.656MB
906.03/906.21	c total #watches: 2680080
942.63/942.87	c total #propagations: 15620339 / total #impl: 6538128313 (eff. 0.002)
942.63/942.87	c GC COLLECT
942.63/942.87	c #Conflicts:      62000 | #Learnt:       6410 | 0.000
942.63/942.87	c total clause space: 206.656MB
942.63/942.87	c total #watches: 1577042
953.92/954.19	c total #propagations: 15918018 / total #impl: 6702183918 (eff. 0.002)
953.92/954.19	c #Conflicts:      63000 | #Learnt:       7410 | 0.000
953.92/954.19	c total clause space: 206.656MB
953.92/954.19	c total #watches: 1957185
982.82/983.01	c total #propagations: 16070362 / total #impl: 6737349729 (eff. 0.002)
982.82/983.01	c #Conflicts:      64000 | #Learnt:       8410 | 0.000
982.82/983.01	c total clause space: 206.656MB
982.82/983.01	c total #watches: 2224742
1002.52/1002.75	c total #propagations: 16358858 / total #impl: 6836536057 (eff. 0.002)
1002.52/1002.75	c #Conflicts:      65000 | #Learnt:       9410 | 0.000
1002.52/1002.75	c total clause space: 206.656MB
1002.52/1002.75	c total #watches: 2468174
1034.92/1035.13	c total #propagations: 16654881 / total #impl: 6909386784 (eff. 0.002)
1034.92/1035.13	c #Conflicts:      66000 | #Learnt:      10410 | 0.000
1034.92/1035.13	c total clause space: 206.656MB
1034.92/1035.13	c total #watches: 2704015
1076.58/1076.83	c total #propagations: 16872962 / total #impl: 7147046293 (eff. 0.002)
1076.58/1076.83	c #Conflicts:      67000 | #Learnt:      11410 | 0.000
1076.58/1076.83	c total clause space: 206.656MB
1076.58/1076.83	c total #watches: 2903999
1119.68/1119.93	c total #propagations: 17199829 / total #impl: 7400806885 (eff. 0.002)
1119.68/1119.93	c #Conflicts:      68000 | #Learnt:      12410 | 0.000
1119.68/1119.93	c total clause space: 206.656MB
1119.68/1119.93	c total #watches: 3089673
1131.78/1132.03	c total #propagations: 17433584 / total #impl: 7808539190 (eff. 0.002)
1131.78/1132.03	c GC COLLECT
1131.78/1132.03	c #Conflicts:      69000 | #Learnt:       7198 | 0.000
1131.78/1132.03	c total clause space: 206.656MB
1131.78/1132.03	c total #watches: 1803738
1158.36/1158.62	c total #propagations: 17586653 / total #impl: 7871010373 (eff. 0.002)
1158.36/1158.62	c #Conflicts:      70000 | #Learnt:       8198 | 0.000
1158.36/1158.62	c total clause space: 206.656MB
1158.36/1158.62	c total #watches: 2064850
1176.96/1177.20	c total #propagations: 17828774 / total #impl: 7968913171 (eff. 0.002)
1176.96/1177.20	c #Conflicts:      71000 | #Learnt:       9198 | 0.000
1176.96/1177.20	c total clause space: 206.656MB
1176.96/1177.20	c total #watches: 2281151
1219.15/1219.40	c total #propagations: 17989699 / total #impl: 8062799644 (eff. 0.002)
1219.15/1219.40	c #Conflicts:      72000 | #Learnt:      10198 | 0.000
1219.15/1219.40	c total clause space: 206.656MB
1219.15/1219.40	c total #watches: 2517911
1251.56/1251.88	c total #propagations: 18264305 / total #impl: 8310942665 (eff. 0.002)
1251.56/1251.88	c #Conflicts:      73000 | #Learnt:      11198 | 0.000
1251.56/1251.88	c total clause space: 206.656MB
1251.56/1251.88	c total #watches: 2731412
1300.24/1300.57	c total #propagations: 18544533 / total #impl: 8538609454 (eff. 0.002)
1300.24/1300.57	c #Conflicts:      74000 | #Learnt:      12198 | 0.000
1300.24/1300.57	c total clause space: 206.656MB
1300.24/1300.57	c total #watches: 2942649
1339.43/1339.71	c total #propagations: 18903637 / total #impl: 8871402695 (eff. 0.002)
1339.43/1339.71	c GC COLLECT
1339.43/1339.71	c #Conflicts:      75000 | #Learnt:       6693 | 0.000
1339.43/1339.71	c total clause space: 206.656MB
1339.43/1339.71	c total #watches: 1636850
1364.33/1364.60	c total #propagations: 19213141 / total #impl: 9131108643 (eff. 0.002)
1364.33/1364.60	c #Conflicts:      76000 | #Learnt:       7693 | 0.000
1364.33/1364.60	c total clause space: 206.656MB
1364.33/1364.60	c total #watches: 1916297
1376.63/1376.95	c total #propagations: 19447027 / total #impl: 9290271523 (eff. 0.002)
1376.63/1376.95	c #Conflicts:      77000 | #Learnt:       8693 | 0.000
1376.63/1376.95	c total clause space: 206.656MB
1376.63/1376.95	c total #watches: 2184774
1409.22/1409.58	c total #propagations: 19608109 / total #impl: 9361811321 (eff. 0.002)
1409.22/1409.58	c #Conflicts:      78000 | #Learnt:       9693 | 0.000
1409.22/1409.58	c total clause space: 206.656MB
1409.22/1409.58	c total #watches: 2418762
1454.31/1454.67	c total #propagations: 19833852 / total #impl: 9493932796 (eff. 0.002)
1454.31/1454.67	c #Conflicts:      79000 | #Learnt:      10693 | 0.000
1454.31/1454.67	c total clause space: 206.656MB
1454.31/1454.67	c total #watches: 2696248
1467.41/1467.79	c total #propagations: 20095141 / total #impl: 9689269974 (eff. 0.002)
1467.41/1467.79	c #Conflicts:      80000 | #Learnt:      11693 | 0.000
1467.41/1467.79	c total clause space: 206.656MB
1467.41/1467.79	c total #watches: 2979152
1496.82/1497.13	c total #propagations: 20215599 / total #impl: 9732118304 (eff. 0.002)
1496.82/1497.13	c #Conflicts:      81000 | #Learnt:      12693 | 0.000
1496.82/1497.13	c total clause space: 206.656MB
1496.82/1497.13	c total #watches: 3229077
1538.91/1539.26	c total #propagations: 20383523 / total #impl: 9817115508 (eff. 0.002)
1538.91/1539.26	c GC COLLECT
1538.91/1539.26	c #Conflicts:      82000 | #Learnt:       6896 | 0.000
1538.91/1539.26	c total clause space: 206.656MB
1538.91/1539.26	c total #watches: 1691187
1574.80/1575.12	c total #propagations: 20659973 / total #impl: 9898583346 (eff. 0.002)
1574.80/1575.12	c #Conflicts:      83000 | #Learnt:       7896 | 0.000
1574.80/1575.12	c total clause space: 206.656MB
1574.80/1575.12	c total #watches: 1904606
1602.20/1602.52	c total #propagations: 20940206 / total #impl: 10052197678 (eff. 0.002)
1602.20/1602.52	c #Conflicts:      84000 | #Learnt:       8896 | 0.000
1602.20/1602.52	c total clause space: 206.656MB
1602.20/1602.52	c total #watches: 2190889
1624.59/1624.98	c total #propagations: 21147267 / total #impl: 10094729392 (eff. 0.002)
1624.59/1624.98	c #Conflicts:      85000 | #Learnt:       9896 | 0.000
1624.59/1624.98	c total clause space: 206.656MB
1624.59/1624.98	c total #watches: 2528788
1661.39/1661.73	c total #propagations: 21308348 / total #impl: 10132850349 (eff. 0.002)
1661.39/1661.73	c #Conflicts:      86000 | #Learnt:      10896 | 0.000
1661.39/1661.73	c total clause space: 206.656MB
1661.39/1661.73	c total #watches: 2842721
1693.08/1693.43	c total #propagations: 21510797 / total #impl: 10214786899 (eff. 0.002)
1693.08/1693.43	c #Conflicts:      87000 | #Learnt:      11896 | 0.000
1693.08/1693.43	c total clause space: 206.656MB
1693.08/1693.43	c total #watches: 3071986
1730.28/1730.70	c total #propagations: 21676822 / total #impl: 10389440320 (eff. 0.002)
1730.28/1730.70	c #Conflicts:      88000 | #Learnt:      12896 | 0.000
1730.28/1730.70	c total clause space: 206.656MB
1730.28/1730.70	c total #watches: 3367582
1770.57/1770.95	c total #propagations: 21846110 / total #impl: 10575930850 (eff. 0.002)
1770.57/1770.95	c #Conflicts:      89000 | #Learnt:      13896 | 0.000
1770.57/1770.95	c total clause space: 206.656MB
1770.57/1770.95	c total #watches: 3642798
1798.47/1798.83	c total #propagations: 22018821 / total #impl: 10777962543 (eff. 0.002)
1798.47/1798.83	c GC COLLECT
1798.47/1798.83	c #Conflicts:      90000 | #Learnt:       7792 | 0.000
1798.47/1798.83	c total clause space: 206.656MB
1798.47/1798.83	c total #watches: 1896531

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

pid=23953
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.06 2.05 2.00 3/258 23956
/proc/meminfo: memFree=30387112/32872528 swapFree=9196/9196
[pid=23956] ppid=23953 vsize=55976 CPUtime=0 cores=0-3,8-11
/proc/23956/stat : 23956 (cdcl-cuttingpla) R 23953 23956 23727 0 -1 4202496 260 0 0 0 0 0 0 0 20 0 1 0 124732130 57319424 8829 33554432000 4194304 6211289 140735043575568 140734328731224 4206668 0 0 4096 0 0 0 0 17 9 0 0 0 0 0
/proc/23956/statm: 13994 9341 98 493 0 13491 0

[startup+0.100214 s]
/proc/loadavg: 2.06 2.05 2.00 3/258 23956
/proc/meminfo: memFree=30387112/32872528 swapFree=9196/9196
[pid=23956] ppid=23953 vsize=66684 CPUtime=0.08 cores=0-3,8-11
/proc/23956/stat : 23956 (cdcl-cuttingpla) R 23953 23956 23727 0 -1 4202496 1743 0 0 0 8 0 0 0 20 0 1 0 124732130 68284416 14261 33554432000 4194304 6211289 140735043575568 140734328731224 5158525 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/23956/statm: 16671 14261 204 493 0 16168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 66684

[startup+0.200359 s]
/proc/loadavg: 2.06 2.05 2.00 3/258 23956
/proc/meminfo: memFree=30387112/32872528 swapFree=9196/9196
[pid=23956] ppid=23953 vsize=83252 CPUtime=0.19 cores=0-3,8-11
/proc/23956/stat : 23956 (cdcl-cuttingpla) R 23953 23956 23727 0 -1 4202496 2764 0 0 0 18 1 0 0 20 0 1 0 124732130 85250048 16187 33554432000 4194304 6211289 140735043575568 140734328731224 4205850 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/23956/statm: 20813 16187 204 493 0 20310 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 83252

[startup+0.300394 s]
/proc/loadavg: 2.06 2.05 2.00 3/258 23956
/proc/meminfo: memFree=30387112/32872528 swapFree=9196/9196
[pid=23956] ppid=23953 vsize=105308 CPUtime=0.29 cores=0-3,8-11
/proc/23956/stat : 23956 (cdcl-cuttingpla) R 23953 23956 23727 0 -1 4202496 5550 0 0 0 28 1 0 0 20 0 1 0 124732130 107835392 20791 33554432000 4194304 6211289 140735043575568 140734328731224 4202003 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/23956/statm: 26327 20791 204 493 0 25824 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 105308

[startup+0.700253 s]
/proc/loadavg: 2.06 2.05 2.00 3/258 23956
/proc/meminfo: memFree=30387112/32872528 swapFree=9196/9196
[pid=23956] ppid=23953 vsize=117248 CPUtime=0.69 cores=0-3,8-11
/proc/23956/stat : 23956 (cdcl-cuttingpla) R 23953 23956 23727 0 -1 4202496 6350 0 0 0 68 1 0 0 20 0 1 0 124732130 120061952 22363 33554432000 4194304 6211289 140735043575568 140735043573848 4243125 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/23956/statm: 29312 22363 204 493 0 28809 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 117248

[startup+1.50023 s]
/proc/loadavg: 2.06 2.05 2.00 3/259 23957
/proc/meminfo: memFree=30295680/32872528 swapFree=9196/9196
[pid=23956] ppid=23953 vsize=121324 CPUtime=1.48 cores=0-3,8-11
/proc/23956/stat : 23956 (cdcl-cuttingpla) R 23953 23956 23727 0 -1 4202496 7411 0 0 0 147 1 0 0 20 0 1 0 124732130 124235776 24957 33554432000 4194304 6211289 140735043575568 140735043573480 4209388 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/23956/statm: 30331 24957 214 493 0 29828 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 121324

[startup+3.10021 s]
/proc/loadavg: 2.06 2.05 2.00 3/259 23957
/proc/meminfo: memFree=30268652/32872528 swapFree=9196/9196
[pid=23956] ppid=23953 vsize=142328 CPUtime=3.09 cores=0-3,8-11
/proc/23956/stat : 23956 (cdcl-cuttingpla) R 23953 23956 23727 0 -1 4202496 8892 0 0 0 307 2 0 0 20 0 1 0 124732130 145743872 30278 33554432000 4194304 6211289 140735043575568 140735043573912 4209388 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/23956/statm: 35582 30278 219 493 0 35079 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 142328

[startup+6.30025 s]
/proc/loadavg: 2.05 2.05 2.00 3/259 23957
/proc/meminfo: memFree=30264808/32872528 swapFree=9196/9196
[pid=23956] ppid=23953 vsize=142464 CPUtime=6.29 cores=0-3,8-11
/proc/23956/stat : 23956 (cdcl-cuttingpla) R 23953 23956 23727 0 -1 4202496 10252 0 0 0 627 2 0 0 20 0 1 0 124732130 145883136 31134 33554432000 4194304 6211289 140735043575568 140735043573480 4209388 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/23956/statm: 35616 31134 219 493 0 35113 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 142464

[startup+12.7002 s]
/proc/loadavg: 2.05 2.05 2.00 3/259 23957
/proc/meminfo: memFree=30252332/32872528 swapFree=9196/9196
[pid=23956] ppid=23953 vsize=182020 CPUtime=12.68 cores=0-3,8-11
/proc/23956/stat : 23956 (cdcl-cuttingpla) R 23953 23956 23727 0 -1 4202496 12413 0 0 0 1266 2 0 0 20 0 1 0 124732130 186388480 34773 33554432000 4194304 6211289 140735043575568 140735043573480 4241730 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/23956/statm: 45505 34773 219 493 0 45002 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 182020

[startup+25.5004 s]
/proc/loadavg: 2.04 2.04 2.00 3/259 23957
/proc/meminfo: memFree=30208972/32872528 swapFree=9196/9196
[pid=23956] ppid=23953 vsize=246212 CPUtime=25.49 cores=0-3,8-11
/proc/23956/stat : 23956 (cdcl-cuttingpla) R 23953 23956 23727 0 -1 4202496 15621 0 0 0 2545 4 0 0 20 0 1 0 124732130 252121088 45271 33554432000 4194304 6211289 140735043575568 140735043573912 4209396 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/23956/statm: 61553 45271 219 493 0 61050 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 246212

[startup+51.1004 s]
/proc/loadavg: 2.02 2.04 2.00 3/259 23957
/proc/meminfo: memFree=30141536/32872528 swapFree=9196/9196
[pid=23956] ppid=23953 vsize=246212 CPUtime=51.08 cores=0-3,8-11
/proc/23956/stat : 23956 (cdcl-cuttingpla) R 23953 23956 23727 0 -1 4202496 15666 0 0 0 5104 4 0 0 20 0 1 0 124732130 252121088 45316 33554432000 4194304 6211289 140735043575568 140735043573912 4209396 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/23956/statm: 61553 45316 219 493 0 61050 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 246212

[startup+102.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/259 23958
/proc/meminfo: memFree=30139344/32872528 swapFree=9196/9196
[pid=23956] ppid=23953 vsize=246500 CPUtime=102.29 cores=0-3,8-11
/proc/23956/stat : 23956 (cdcl-cuttingpla) R 23953 23956 23727 0 -1 4202496 15777 0 0 0 10225 4 0 0 20 0 1 0 124732130 252416000 45427 33554432000 4194304 6211289 140735043575568 140735043573560 4209396 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/23956/statm: 61625 45427 219 493 0 61122 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 246500

[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/259 23960
/proc/meminfo: memFree=30138348/32872528 swapFree=9196/9196
[pid=23956] ppid=23953 vsize=247076 CPUtime=162.26 cores=0-3,8-11
/proc/23956/stat : 23956 (cdcl-cuttingpla) R 23953 23956 23727 0 -1 4202496 16063 0 0 0 16222 4 0 0 20 0 1 0 124732130 253005824 45706 33554432000 4194304 6211289 140735043575568 140735043573912 4209376 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/23956/statm: 61769 45706 219 493 0 61266 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 247076

[startup+222.311 s]
/proc/loadavg: 2.00 2.02 2.00 3/259 23961
/proc/meminfo: memFree=30110732/32872528 swapFree=9196/9196
[pid=23956] ppid=23953 vsize=252776 CPUtime=222.27 cores=0-3,8-11
/proc/23956/stat : 23956 (cdcl-cuttingpla) R 23953 23956 23727 0 -1 4202496 17143 0 0 0 22222 5 0 0 20 0 1 0 124732130 258842624 52407 33554432000 4194304 6211289 140735043575568 140735043573480 4209244 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/23956/statm: 63194 52407 219 493 0 62691 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 252776

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/256 23966
/proc/meminfo: memFree=30528828/32872528 swapFree=9196/9196
[pid=23956] ppid=23953 vsize=253096 CPUtime=282.25 cores=0-3,8-11
/proc/23956/stat : 23956 (cdcl-cuttingpla) R 23953 23956 23727 0 -1 4202496 17376 0 0 0 28220 5 0 0 20 0 1 0 124732130 259170304 54684 33554432000 4194304 6211289 140735043575568 140735043573912 4209314 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/23956/statm: 63274 54684 219 493 0 62771 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 253096

[startup+342.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/260 24011
/proc/meminfo: memFree=29971272/32872528 swapFree=9196/9196
[pid=23956] ppid=23953 vsize=253096 CPUtime=342.23 cores=0-3,8-11
/proc/23956/stat : 23956 (cdcl-cuttingpla) R 23953 23956 23727 0 -1 4202496 17395 0 0 0 34218 5 0 0 20 0 1 0 124732130 259170304 54927 33554432000 4194304 6211289 140735043575568 140735043573912 4209376 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/23956/statm: 63274 54927 219 493 0 62771 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 253096

[startup+402.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/259 24012
/proc/meminfo: memFree=29966628/32872528 swapFree=9196/9196
[pid=23956] ppid=23953 vsize=253256 CPUtime=402.21 cores=0-3,8-11
/proc/23956/stat : 23956 (cdcl-cuttingpla) R 23953 23956 23727 0 -1 4202496 17461 0 0 0 40216 5 0 0 20 0 1 0 124732130 259334144 56190 33554432000 4194304 6211289 140735043575568 140735043573912 4209376 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/23956/statm: 63314 56190 219 493 0 62811 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 253256

[startup+462.3 s]
/proc/loadavg: 2.18 2.06 2.01 3/259 24014
/proc/meminfo: memFree=29957688/32872528 swapFree=9196/9196
[pid=23956] ppid=23953 vsize=253768 CPUtime=462.2 cores=0-3,8-11
/proc/23956/stat : 23956 (cdcl-cuttingpla) R 23953 23956 23727 0 -1 4202496 17555 0 0 0 46215 5 0 0 20 0 1 0 124732130 259858432 58259 33554432000 4194304 6211289 140735043575568 140735043573912 4209396 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/23956/statm: 63442 58259 219 493 0 62939 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 253768

[startup+522.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/259 24015
/proc/meminfo: memFree=29944076/32872528 swapFree=9196/9196
[pid=23956] ppid=23953 vsize=335316 CPUtime=522.19 cores=0-3,8-11
/proc/23956/stat : 23956 (cdcl-cuttingpla) R 23953 23956 23727 0 -1 4202496 18054 0 0 0 52213 6 0 0 20 0 1 0 124732130 343363584 61168 33554432000 4194304 6211289 140735043575568 140735043573912 4209376 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/23956/statm: 83829 61168 219 493 0 83326 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 335316

[startup+582.3 s]
/proc/loadavg: 2.15 2.08 2.02 3/259 24016
/proc/meminfo: memFree=29936040/32872528 swapFree=9196/9196
[pid=23956] ppid=23953 vsize=335316 CPUtime=582.18 cores=0-3,8-11
/proc/23956/stat : 23956 (cdcl-cuttingpla) R 23953 23956 23727 0 -1 4202496 18055 0 0 0 58212 6 0 0 20 0 1 0 124732130 343363584 61169 33554432000 4194304 6211289 140735043575568 140735043573912 4209328 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/23956/statm: 83829 61169 219 493 0 83326 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 335316


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


[startup+882.311 s]
/proc/loadavg: 2.16 2.13 2.05 3/259 24022
/proc/meminfo: memFree=29916092/32872528 swapFree=9196/9196
[pid=23956] ppid=23953 vsize=335988 CPUtime=882.14 cores=0-3,8-11
/proc/23956/stat : 23956 (cdcl-cuttingpla) R 23953 23956 23727 0 -1 4202496 18708 0 0 0 88207 7 0 0 20 0 1 0 124732130 344051712 65233 33554432000 4194304 6211289 140735043575568 140735043573912 4209376 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/23956/statm: 83997 65233 219 493 0 83494 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 335988

[startup+942.3 s]
/proc/loadavg: 2.17 2.14 2.05 3/260 24026
/proc/meminfo: memFree=29893800/32872528 swapFree=9196/9196
[pid=23956] ppid=23953 vsize=336308 CPUtime=942.12 cores=0-3,8-11
/proc/23956/stat : 23956 (cdcl-cuttingpla) R 23953 23956 23727 0 -1 4202496 18787 0 0 0 94205 7 0 0 20 0 1 0 124732130 344379392 66327 33554432000 4194304 6211289 140735043575568 140735043573432 4209396 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/23956/statm: 84077 66327 219 493 0 83574 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 336308

[startup+1002.3 s]
/proc/loadavg: 2.06 2.11 2.04 3/259 24027
/proc/meminfo: memFree=29846124/32872528 swapFree=9196/9196
[pid=23956] ppid=23953 vsize=336308 CPUtime=1002.12 cores=0-3,8-11
/proc/23956/stat : 23956 (cdcl-cuttingpla) R 23953 23956 23727 0 -1 4202496 18787 0 0 0 100205 7 0 0 20 0 1 0 124732130 344379392 66327 33554432000 4194304 6211289 140735043575568 140735043573912 4209322 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/23956/statm: 84077 66327 219 493 0 83574 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 336308

[startup+1062.3 s]
/proc/loadavg: 2.06 2.10 2.04 3/259 24029
/proc/meminfo: memFree=29843500/32872528 swapFree=9196/9196
[pid=23956] ppid=23953 vsize=336628 CPUtime=1062.09 cores=0-3,8-11
/proc/23956/stat : 23956 (cdcl-cuttingpla) R 23953 23956 23727 0 -1 4202496 18906 0 0 0 106202 7 0 0 20 0 1 0 124732130 344707072 66524 33554432000 4194304 6211289 140735043575568 140735043573480 4209376 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/23956/statm: 84157 66524 219 493 0 83654 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 336628

[startup+1122.3 s]
/proc/loadavg: 2.06 2.09 2.04 3/259 24030
/proc/meminfo: memFree=29749604/32872528 swapFree=9196/9196
[pid=23956] ppid=23953 vsize=336788 CPUtime=1122.07 cores=0-3,8-11
/proc/23956/stat : 23956 (cdcl-cuttingpla) R 23953 23956 23727 0 -1 4202496 18977 0 0 0 112199 8 0 0 20 0 1 0 124732130 344870912 69649 33554432000 4194304 6211289 140735043575568 140735043573432 5158832 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/23956/statm: 84197 69649 219 493 0 83694 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 336788

[startup+1182.3 s]
/proc/loadavg: 2.10 2.09 2.04 3/259 24031
/proc/meminfo: memFree=29728700/32872528 swapFree=9196/9196
[pid=23956] ppid=23953 vsize=336788 CPUtime=1182.06 cores=0-3,8-11
/proc/23956/stat : 23956 (cdcl-cuttingpla) R 23953 23956 23727 0 -1 4202496 18977 0 0 0 118198 8 0 0 20 0 1 0 124732130 344870912 69649 33554432000 4194304 6211289 140735043575568 140735043573912 4209376 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/23956/statm: 84197 69649 219 493 0 83694 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 336788

[startup+1242.3 s]
/proc/loadavg: 2.23 2.12 2.05 3/259 24032
/proc/meminfo: memFree=29728932/32872528 swapFree=9196/9196
[pid=23956] ppid=23953 vsize=336788 CPUtime=1242.05 cores=0-3,8-11
/proc/23956/stat : 23956 (cdcl-cuttingpla) R 23953 23956 23727 0 -1 4202496 19000 0 0 0 124197 8 0 0 20 0 1 0 124732130 344870912 69672 33554432000 4194304 6211289 140735043575568 140735043573912 4209376 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/23956/statm: 84197 69672 219 493 0 83694 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 336788

[startup+1302.3 s]
/proc/loadavg: 2.20 2.12 2.06 3/259 24033
/proc/meminfo: memFree=29726128/32872528 swapFree=9196/9196
[pid=23956] ppid=23953 vsize=336932 CPUtime=1302.04 cores=0-3,8-11
/proc/23956/stat : 23956 (cdcl-cuttingpla) R 23953 23956 23727 0 -1 4202496 19019 0 0 0 130196 8 0 0 20 0 1 0 124732130 345018368 70202 33554432000 4194304 6211289 140735043575568 140735043573912 4209396 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/23956/statm: 84233 70202 219 493 0 83730 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 336932

[startup+1362.3 s]
/proc/loadavg: 2.11 2.11 2.06 3/259 24035
/proc/meminfo: memFree=29716152/32872528 swapFree=9196/9196
[pid=23956] ppid=23953 vsize=337224 CPUtime=1362.03 cores=0-3,8-11
/proc/23956/stat : 23956 (cdcl-cuttingpla) R 23953 23956 23727 0 -1 4202496 19077 0 0 0 136195 8 0 0 20 0 1 0 124732130 345317376 72815 33554432000 4194304 6211289 140735043575568 140735043573912 4209376 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/23956/statm: 84306 72815 219 493 0 83803 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 337224

[startup+1422.3 s]
/proc/loadavg: 2.08 2.11 2.06 3/259 24036
/proc/meminfo: memFree=29715524/32872528 swapFree=9196/9196
[pid=23956] ppid=23953 vsize=337224 CPUtime=1422.03 cores=0-3,8-11
/proc/23956/stat : 23956 (cdcl-cuttingpla) R 23953 23956 23727 0 -1 4202496 19077 0 0 0 142195 8 0 0 20 0 1 0 124732130 345317376 72815 33554432000 4194304 6211289 140735043575568 140735043573912 4209380 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/23956/statm: 84306 72815 219 493 0 83803 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 337224

[startup+1482.3 s]
/proc/loadavg: 2.18 2.13 2.07 3/259 24037
/proc/meminfo: memFree=29714896/32872528 swapFree=9196/9196
[pid=23956] ppid=23953 vsize=337688 CPUtime=1482.01 cores=0-3,8-11
/proc/23956/stat : 23956 (cdcl-cuttingpla) R 23953 23956 23727 0 -1 4202496 19153 0 0 0 148193 8 0 0 20 0 1 0 124732130 345792512 72891 33554432000 4194304 6211289 140735043575568 140735043573480 4209396 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/23956/statm: 84422 72891 219 493 0 83919 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 337688

[startup+1542.31 s]
/proc/loadavg: 2.06 2.10 2.06 3/260 24041
/proc/meminfo: memFree=29680160/32872528 swapFree=9196/9196
[pid=23956] ppid=23953 vsize=338520 CPUtime=1542.02 cores=0-3,8-11
/proc/23956/stat : 23956 (cdcl-cuttingpla) R 23953 23956 23727 0 -1 4202496 19309 0 0 0 154193 9 0 0 20 0 1 0 124732130 346644480 77646 33554432000 4194304 6211289 140735043575568 140735043573912 4209388 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/23956/statm: 84630 77646 219 493 0 84127 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 338520

[startup+1602.3 s]
/proc/loadavg: 2.02 2.08 2.06 3/260 24065
/proc/meminfo: memFree=29679572/32872528 swapFree=9196/9196
[pid=23956] ppid=23953 vsize=338520 CPUtime=1602 cores=0-3,8-11
/proc/23956/stat : 23956 (cdcl-cuttingpla) R 23953 23956 23727 0 -1 4202496 19309 0 0 0 160191 9 0 0 20 0 1 0 124732130 346644480 77646 33554432000 4194304 6211289 140735043575568 140735043573912 4209384 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/23956/statm: 84630 77646 219 493 0 84127 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 338520

[startup+1662.3 s]
/proc/loadavg: 2.01 2.06 2.05 3/259 24067
/proc/meminfo: memFree=29679616/32872528 swapFree=9196/9196
[pid=23956] ppid=23953 vsize=338520 CPUtime=1661.99 cores=0-3,8-11
/proc/23956/stat : 23956 (cdcl-cuttingpla) R 23953 23956 23727 0 -1 4202496 19319 0 0 0 166190 9 0 0 20 0 1 0 124732130 346644480 77656 33554432000 4194304 6211289 140735043575568 140735043573912 4209403 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/23956/statm: 84630 77656 219 493 0 84127 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 338520

[startup+1722.3 s]
/proc/loadavg: 2.08 2.07 2.05 3/260 24069
/proc/meminfo: memFree=29499736/32872528 swapFree=9196/9196
[pid=23956] ppid=23953 vsize=338520 CPUtime=1721.98 cores=0-3,8-11
/proc/23956/stat : 23956 (cdcl-cuttingpla) R 23953 23956 23727 0 -1 4202496 19325 0 0 0 172189 9 0 0 20 0 1 0 124732130 346644480 77661 33554432000 4194304 6211289 140735043575568 140735043573912 4209376 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/23956/statm: 84630 77661 219 493 0 84127 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 338520

[startup+1782.3 s]
/proc/loadavg: 2.03 2.05 2.04 3/259 24070
/proc/meminfo: memFree=29397716/32872528 swapFree=9196/9196
[pid=23956] ppid=23953 vsize=338680 CPUtime=1781.97 cores=0-3,8-11
/proc/23956/stat : 23956 (cdcl-cuttingpla) R 23953 23956 23727 0 -1 4202496 19352 0 0 0 178188 9 0 0 20 0 1 0 124732130 346808320 78710 33554432000 4194304 6211289 140735043575568 140735043573912 4209484 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/23956/statm: 84670 78710 219 493 0 84167 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 338680



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.10 2.06 2.05 3/259 24071
/proc/meminfo: memFree=29396020/32872528 swapFree=9196/9196
[pid=23956] ppid=23953 vsize=338680 CPUtime=1800.07 cores=0-3,8-11
/proc/23956/stat : 23956 (cdcl-cuttingpla) R 23953 23956 23727 0 -1 4202496 19359 0 0 0 179998 9 0 0 20 0 1 0 124732130 346808320 79228 33554432000 4194304 6211289 140735043575568 140735043573912 4209388 0 0 4096 8388610 0 0 0 17 9 0 0 0 0 0
/proc/23956/statm: 84670 79228 219 493 0 84167 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 338680

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.4
CPU time (s): 1800.08
CPU user time (s): 1799.98
CPU system time (s): 0.094985
CPU usage (%): 99.9819
Max. virtual memory (cumulated for all children) (KiB): 338680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.98
system time used= 0.094985
maximum resident set size= 316912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19359
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= 87
involuntary context switches= 1851

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.71598 second user time and 9.97948 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-09 01:35:05
IDJOB=4087687
IDBENCH=24979
IDSOLVER=2549
FILE ID=node132/4087687-1465428905
RUNJOBID= node132-1465427020-23743
PBS_JOBID= 19859780
Free space on /tmp= 71704 MiB

SOLVER NAME= cdcl-cuttingplanes OPT binary search 2016-05-01
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_006_area_delay.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087687-1465428905/watcher-4087687-1465428905 -o /tmp/evaluation-result-4087687-1465428905/solver-4087687-1465428905 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465427020-23743 --watchdog 1960 --input HOME/instance-4087687-1465428905.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= 7294dff8a2fbe1f0b26c181010dcfed2
RANDOM SEED=1604128391

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.209
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.55
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		: 2667.209
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.54
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		: 2667.209
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		: 2667.209
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		: 2667.209
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		: 2667.209
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.56
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		: 2667.209
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		: 2667.209
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		: 2667.209
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:        30386740 kB
Buffers:          104072 kB
Cached:          1239856 kB
SwapCached:         1420 kB
Active:           831224 kB
Inactive:         845272 kB
Active(anon):     331776 kB
Inactive(anon):     3084 kB
Active(file):     499448 kB
Inactive(file):   842188 kB
Unevictable:        9196 kB
Mlocked:            9196 kB
SwapTotal:      67108856 kB
SwapFree:       67096368 kB
Dirty:              2572 kB
Writeback:             0 kB
AnonPages:        377768 kB
Mapped:             8128 kB
Shmem:                 0 kB
Slab:             629336 kB
SReclaimable:      69428 kB
SUnreclaim:       559908 kB
KernelStack:        2176 kB
PageTables:         4784 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     540784 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:    266240 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= 71740 MiB
End job on node132 at 2016-06-09 02:05:06