Trace number 4088362

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
cdcl-cuttingplanes OPT linear search 2016-05-01? (TO) 1800.02 1800.3

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_024_area_delay.opb
MD5SUM58f3055ef9bb388e237f57f2627386e0
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark24
Best CPU time to get the best result obtained on this benchmark0.165974
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved YES
Number of variables3392
Total number of constraints9001
Number of constraints which are clauses9001
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 1642
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 1642
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 1642
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.00	c OPTIONS:
0.00/0.00	c - Resolve (`-resolve-always' or `-resolve-skip'): -resolve-skip
0.00/0.00	c * #variable= 3392 #constraint= 9001
0.89/0.96	c #Conflicts:       1000 | #Learnt:       1001 | 0.000
0.89/0.96	c total clause space: 29.637MB
0.89/0.96	c total #watches: 730907
4.99/5.08	c total #propagations: 231042 / total #impl: 14955385 (eff. 0.015)
4.99/5.08	c #Conflicts:       2000 | #Learnt:       2001 | 0.000
4.99/5.08	c total clause space: 48.1602MB
4.99/5.08	c total #watches: 1179625
10.79/10.88	c total #propagations: 600507 / total #impl: 70575700 (eff. 0.009)
10.79/10.88	c GC COLLECT
10.79/10.88	c #Conflicts:       3000 | #Learnt:       2002 | 0.000
10.79/10.88	c total clause space: 48.1602MB
10.79/10.88	c total #watches: 909627
18.08/18.19	c total #propagations: 883255 / total #impl: 116981674 (eff. 0.008)
18.08/18.19	c #Conflicts:       4000 | #Learnt:       3002 | 0.000
18.08/18.19	c total clause space: 48.1602MB
18.08/18.19	c total #watches: 1050694
25.48/25.52	c total #propagations: 1116838 / total #impl: 207573003 (eff. 0.005)
25.48/25.52	c GC COLLECT
25.48/25.52	c #Conflicts:       5000 | #Learnt:       2364 | 0.000
25.48/25.52	c total clause space: 78.2603MB
25.48/25.52	c total #watches: 662227
35.48/35.53	c total #propagations: 1377011 / total #impl: 299785606 (eff. 0.005)
35.48/35.53	c #Conflicts:       6000 | #Learnt:       3364 | 0.000
35.48/35.53	c total clause space: 78.2603MB
35.48/35.53	c total #watches: 794670
48.08/48.14	c total #propagations: 1698958 / total #impl: 501990314 (eff. 0.003)
48.08/48.14	c GC COLLECT
48.08/48.14	c #Conflicts:       7000 | #Learnt:       2273 | 0.000
48.08/48.14	c total clause space: 78.2603MB
48.08/48.14	c total #watches: 692820
55.18/55.29	c total #propagations: 1949944 / total #impl: 732559636 (eff. 0.003)
55.18/55.29	c #Conflicts:       8000 | #Learnt:       3273 | 0.000
55.18/55.29	c total clause space: 78.2603MB
55.18/55.29	c total #watches: 846827
65.58/65.61	c total #propagations: 2177971 / total #impl: 885084630 (eff. 0.002)
65.58/65.61	c #Conflicts:       9000 | #Learnt:       4273 | 0.000
65.58/65.61	c total clause space: 78.2603MB
65.58/65.61	c total #watches: 956044
75.08/75.10	c total #propagations: 2448166 / total #impl: 1038026138 (eff. 0.002)
75.08/75.10	c GC COLLECT
75.08/75.10	c #Conflicts:      10000 | #Learnt:       2749 | 0.000
75.08/75.10	c total clause space: 78.2603MB
75.08/75.10	c total #watches: 619642
85.28/85.35	c total #propagations: 2640365 / total #impl: 1161315618 (eff. 0.002)
85.28/85.35	c #Conflicts:      11000 | #Learnt:       3749 | 0.000
85.28/85.35	c total clause space: 78.2603MB
85.28/85.35	c total #watches: 746433
101.08/101.11	c total #propagations: 2940791 / total #impl: 1364847105 (eff. 0.002)
101.08/101.11	c #Conflicts:      12000 | #Learnt:       4749 | 0.000
101.08/101.11	c total clause space: 78.2603MB
101.08/101.11	c total #watches: 967962
115.17/115.25	c total #propagations: 3394624 / total #impl: 1473006942 (eff. 0.002)
115.17/115.25	c #Conflicts:      13000 | #Learnt:       5749 | 0.000
115.17/115.25	c total clause space: 78.2603MB
115.17/115.25	c total #watches: 1150293
125.27/125.38	c total #propagations: 3668156 / total #impl: 1674915849 (eff. 0.002)
125.27/125.38	c GC COLLECT
125.27/125.38	c #Conflicts:      14000 | #Learnt:       3890 | 0.000
125.27/125.38	c total clause space: 78.2603MB
125.27/125.38	c total #watches: 955556
142.37/142.46	c total #propagations: 3880652 / total #impl: 1865556208 (eff. 0.002)
142.37/142.46	c #Conflicts:      15000 | #Learnt:       4890 | 0.000
142.37/142.46	c total clause space: 78.2603MB
142.37/142.46	c total #watches: 1026028
157.27/157.39	c total #propagations: 4149883 / total #impl: 2205231959 (eff. 0.002)
157.27/157.39	c #Conflicts:      16000 | #Learnt:       5890 | 0.000
157.27/157.39	c total clause space: 78.2603MB
157.27/157.39	c total #watches: 1152386
168.66/168.79	c total #propagations: 4424873 / total #impl: 2492869529 (eff. 0.002)
168.66/168.79	c GC COLLECT
168.66/168.79	c #Conflicts:      17000 | #Learnt:       3704 | 0.000
168.66/168.79	c total clause space: 78.2603MB
168.66/168.79	c total #watches: 833325
184.56/184.64	c total #propagations: 4590111 / total #impl: 2660524028 (eff. 0.002)
184.56/184.64	c #Conflicts:      18000 | #Learnt:       4704 | 0.000
184.56/184.64	c total clause space: 78.2603MB
184.56/184.64	c total #watches: 947186
203.36/203.42	c total #propagations: 4862732 / total #impl: 2910882164 (eff. 0.002)
203.36/203.42	c #Conflicts:      19000 | #Learnt:       5704 | 0.000
203.36/203.42	c total clause space: 78.2603MB
203.36/203.42	c total #watches: 1063223
240.55/240.64	c total #propagations: 5130773 / total #impl: 3132665461 (eff. 0.002)
240.55/240.64	c #Conflicts:      20000 | #Learnt:       6704 | 0.000
240.55/240.64	c total clause space: 78.2603MB
240.55/240.64	c total #watches: 1172467
269.45/269.56	c total #propagations: 5782881 / total #impl: 3717160792 (eff. 0.002)
269.45/269.56	c GC COLLECT
269.45/269.56	c #Conflicts:      21000 | #Learnt:       4242 | 0.000
269.45/269.56	c total clause space: 78.2603MB
269.45/269.56	c total #watches: 838982
281.55/281.65	c total #propagations: 6523202 / total #impl: 4298759611 (eff. 0.002)
281.55/281.65	c #Conflicts:      22000 | #Learnt:       5242 | 0.000
281.55/281.65	c total clause space: 78.2603MB
281.55/281.65	c total #watches: 968582
295.85/295.99	c total #propagations: 6709074 / total #impl: 4466814019 (eff. 0.002)
295.85/295.99	c #Conflicts:      23000 | #Learnt:       6242 | 0.000
295.85/295.99	c total clause space: 78.2603MB
295.85/295.99	c total #watches: 1141310
311.24/311.32	c total #propagations: 6998018 / total #impl: 4652140716 (eff. 0.002)
311.24/311.32	c #Conflicts:      24000 | #Learnt:       7242 | 0.000
311.24/311.32	c total clause space: 127.173MB
311.24/311.32	c total #watches: 1248197
343.94/344.03	c total #propagations: 7208706 / total #impl: 4875033378 (eff. 0.001)
343.94/344.03	c GC COLLECT
343.94/344.03	c #Conflicts:      25000 | #Learnt:       4454 | 0.000
343.94/344.03	c total clause space: 127.173MB
343.94/344.03	c total #watches: 959666
362.04/362.14	c total #propagations: 7724200 / total #impl: 5226174259 (eff. 0.001)
362.04/362.14	c #Conflicts:      26000 | #Learnt:       5454 | 0.000
362.04/362.14	c total clause space: 127.173MB
362.04/362.14	c total #watches: 1170407
375.64/375.73	c total #propagations: 8090732 / total #impl: 5443543957 (eff. 0.001)
375.64/375.73	c #Conflicts:      27000 | #Learnt:       6454 | 0.000
375.64/375.73	c total clause space: 127.173MB
375.64/375.73	c total #watches: 1312302
406.43/406.55	c total #propagations: 8282623 / total #impl: 5610692622 (eff. 0.001)
406.43/406.55	c #Conflicts:      28000 | #Learnt:       7454 | 0.000
406.43/406.55	c total clause space: 127.173MB
406.43/406.55	c total #watches: 1430262
422.53/422.61	c total #propagations: 8682029 / total #impl: 5946460596 (eff. 0.001)
422.53/422.61	c GC COLLECT
422.53/422.61	c #Conflicts:      29000 | #Learnt:       4329 | 0.000
422.53/422.61	c total clause space: 127.173MB
422.53/422.61	c total #watches: 1124833
438.12/438.28	c total #propagations: 8975744 / total #impl: 6010745411 (eff. 0.001)
438.12/438.28	c #Conflicts:      30000 | #Learnt:       5329 | 0.000
438.12/438.28	c total clause space: 127.173MB
438.12/438.28	c total #watches: 1226044
456.82/456.90	c total #propagations: 9257293 / total #impl: 6110385703 (eff. 0.002)
456.82/456.90	c #Conflicts:      31000 | #Learnt:       6329 | 0.000
456.82/456.90	c total clause space: 127.173MB
456.82/456.90	c total #watches: 1352377
470.02/470.18	c total #propagations: 9499591 / total #impl: 6233615339 (eff. 0.002)
470.02/470.18	c #Conflicts:      32000 | #Learnt:       7329 | 0.000
470.02/470.18	c total clause space: 127.173MB
470.02/470.18	c total #watches: 1513754
488.52/488.61	c total #propagations: 9762348 / total #impl: 6384331965 (eff. 0.002)
488.52/488.61	c #Conflicts:      33000 | #Learnt:       8329 | 0.000
488.52/488.61	c total clause space: 127.173MB
488.52/488.61	c total #watches: 1751344
500.71/500.87	c total #propagations: 10023953 / total #impl: 6423335448 (eff. 0.002)
500.71/500.87	c GC COLLECT
500.71/500.87	c #Conflicts:      34000 | #Learnt:       4916 | 0.000
500.71/500.87	c total clause space: 127.173MB
500.71/500.87	c total #watches: 1225843
510.32/510.49	c total #propagations: 10243002 / total #impl: 6491540919 (eff. 0.002)
510.32/510.49	c #Conflicts:      35000 | #Learnt:       5916 | 0.000
510.32/510.49	c total clause space: 127.173MB
510.32/510.49	c total #watches: 1354934
522.42/522.57	c total #propagations: 10405258 / total #impl: 6594338635 (eff. 0.002)
522.42/522.57	c #Conflicts:      36000 | #Learnt:       6916 | 0.000
522.42/522.57	c total clause space: 127.173MB
522.42/522.57	c total #watches: 1471340
537.71/537.84	c total #propagations: 10665069 / total #impl: 6724732038 (eff. 0.002)
537.71/537.84	c #Conflicts:      37000 | #Learnt:       7916 | 0.000
537.71/537.84	c total clause space: 127.173MB
537.71/537.84	c total #watches: 1590328
553.10/553.21	c total #propagations: 10822013 / total #impl: 6917067732 (eff. 0.002)
553.10/553.21	c #Conflicts:      38000 | #Learnt:       8916 | 0.000
553.10/553.21	c total clause space: 127.173MB
553.10/553.21	c total #watches: 1689029
569.20/569.30	c total #propagations: 10960504 / total #impl: 7098493255 (eff. 0.002)
569.20/569.30	c GC COLLECT
569.20/569.30	c #Conflicts:      39000 | #Learnt:       5242 | 0.000
569.20/569.30	c total clause space: 127.173MB
569.20/569.30	c total #watches: 1020102
585.50/585.64	c total #propagations: 11103125 / total #impl: 7256917034 (eff. 0.002)
585.50/585.64	c #Conflicts:      40000 | #Learnt:       6242 | 0.000
585.50/585.64	c total clause space: 127.173MB
585.50/585.64	c total #watches: 1173870
607.00/607.10	c total #propagations: 11297047 / total #impl: 7397061317 (eff. 0.002)
607.00/607.10	c #Conflicts:      41000 | #Learnt:       7242 | 0.000
607.00/607.10	c total clause space: 127.173MB
607.00/607.10	c total #watches: 1493160
613.89/614.07	c total #propagations: 11653023 / total #impl: 7459708486 (eff. 0.002)
613.89/614.07	c #Conflicts:      42000 | #Learnt:       8242 | 0.000
613.89/614.07	c total clause space: 127.173MB
613.89/614.07	c total #watches: 1847955
627.49/627.69	c total #propagations: 11828988 / total #impl: 7513961483 (eff. 0.002)
627.49/627.69	c #Conflicts:      43000 | #Learnt:       9242 | 0.000
627.49/627.69	c total clause space: 127.173MB
627.49/627.69	c total #watches: 2122749
645.99/646.11	c total #propagations: 12056933 / total #impl: 7632807257 (eff. 0.002)
645.99/646.11	c GC COLLECT
645.99/646.11	c #Conflicts:      44000 | #Learnt:       5234 | 0.000
645.99/646.11	c total clause space: 127.173MB
645.99/646.11	c total #watches: 1061517
659.79/659.98	c total #propagations: 12303915 / total #impl: 7859467652 (eff. 0.002)
659.79/659.98	c #Conflicts:      45000 | #Learnt:       6234 | 0.000
659.79/659.98	c total clause space: 127.173MB
659.79/659.98	c total #watches: 1223717
679.58/679.73	c total #propagations: 12526954 / total #impl: 7981070008 (eff. 0.002)
679.58/679.73	c #Conflicts:      46000 | #Learnt:       7234 | 0.000
679.58/679.73	c total clause space: 127.173MB
679.58/679.73	c total #watches: 1411846
700.88/701.03	c total #propagations: 12840811 / total #impl: 8081469604 (eff. 0.002)
700.88/701.03	c #Conflicts:      47000 | #Learnt:       8234 | 0.000
700.88/701.03	c total clause space: 127.173MB
700.88/701.03	c total #watches: 1629268
711.68/711.83	c total #propagations: 13150733 / total #impl: 8205860343 (eff. 0.002)
711.68/711.83	c #Conflicts:      48000 | #Learnt:       9234 | 0.000
711.68/711.83	c total clause space: 127.173MB
711.68/711.83	c total #watches: 2018644
723.18/723.36	c total #propagations: 13357749 / total #impl: 8270155937 (eff. 0.002)
723.18/723.36	c #Conflicts:      49000 | #Learnt:      10234 | 0.000
723.18/723.36	c total clause space: 206.656MB
723.18/723.36	c total #watches: 2428803
742.08/742.23	c total #propagations: 13546083 / total #impl: 8325821463 (eff. 0.002)
742.08/742.23	c GC COLLECT
742.08/742.23	c #Conflicts:      50000 | #Learnt:       5919 | 0.000
742.08/742.23	c total clause space: 206.656MB
742.08/742.23	c total #watches: 1264149
758.98/759.14	c total #propagations: 13791464 / total #impl: 8449658882 (eff. 0.002)
758.98/759.14	c #Conflicts:      51000 | #Learnt:       6919 | 0.000
758.98/759.14	c total clause space: 206.656MB
758.98/759.14	c total #watches: 1403045
770.98/771.17	c total #propagations: 14068582 / total #impl: 8605048080 (eff. 0.002)
770.98/771.17	c #Conflicts:      52000 | #Learnt:       7919 | 0.000
770.98/771.17	c total clause space: 206.656MB
770.98/771.17	c total #watches: 1537048
785.07/785.20	c total #propagations: 14227141 / total #impl: 8698368873 (eff. 0.002)
785.07/785.20	c #Conflicts:      53000 | #Learnt:       8919 | 0.000
785.07/785.20	c total clause space: 206.656MB
785.07/785.20	c total #watches: 1651144
803.87/804.00	c total #propagations: 14371529 / total #impl: 8811447746 (eff. 0.002)
803.87/804.00	c #Conflicts:      54000 | #Learnt:       9919 | 0.000
803.87/804.00	c total clause space: 206.656MB
803.87/804.00	c total #watches: 1737734
826.66/826.86	c total #propagations: 14599098 / total #impl: 9033071871 (eff. 0.002)
826.66/826.86	c #Conflicts:      55000 | #Learnt:      10919 | 0.000
826.66/826.86	c total clause space: 206.656MB
826.66/826.86	c total #watches: 1839284
843.06/843.27	c total #propagations: 14787155 / total #impl: 9237560005 (eff. 0.002)
843.06/843.27	c GC COLLECT
843.06/843.27	c #Conflicts:      56000 | #Learnt:       6323 | 0.000
843.06/843.27	c total clause space: 206.656MB
843.06/843.27	c total #watches: 1299065
857.16/857.37	c total #propagations: 14955927 / total #impl: 9347704709 (eff. 0.002)
857.16/857.37	c #Conflicts:      57000 | #Learnt:       7323 | 0.000
857.16/857.37	c total clause space: 206.656MB
857.16/857.37	c total #watches: 1408243
873.85/874.07	c total #propagations: 15148424 / total #impl: 9421740815 (eff. 0.002)
873.85/874.07	c #Conflicts:      58000 | #Learnt:       8323 | 0.000
873.85/874.07	c total clause space: 206.656MB
873.85/874.07	c total #watches: 1545528
889.76/889.93	c total #propagations: 15337833 / total #impl: 9549519923 (eff. 0.002)
889.76/889.93	c #Conflicts:      59000 | #Learnt:       9323 | 0.000
889.76/889.93	c total clause space: 206.656MB
889.76/889.93	c total #watches: 1670629
912.45/912.63	c total #propagations: 15542998 / total #impl: 9774870165 (eff. 0.002)
912.45/912.63	c #Conflicts:      60000 | #Learnt:      10323 | 0.000
912.45/912.63	c total clause space: 206.656MB
912.45/912.63	c total #watches: 1797937
929.64/929.87	c total #propagations: 15699233 / total #impl: 10032406162 (eff. 0.002)
929.64/929.87	c #Conflicts:      61000 | #Learnt:      11323 | 0.000
929.64/929.87	c total clause space: 206.656MB
929.64/929.87	c total #watches: 2188532
945.34/945.51	c total #propagations: 15887563 / total #impl: 10172260847 (eff. 0.002)
945.34/945.51	c GC COLLECT
945.34/945.51	c #Conflicts:      62000 | #Learnt:       6408 | 0.000
945.34/945.51	c total clause space: 206.656MB
945.34/945.51	c total #watches: 1434822
955.94/956.16	c total #propagations: 16102875 / total #impl: 10287417199 (eff. 0.002)
955.94/956.16	c #Conflicts:      63000 | #Learnt:       7408 | 0.000
955.94/956.16	c total clause space: 206.656MB
955.94/956.16	c total #watches: 1814894
968.64/968.80	c total #propagations: 16312828 / total #impl: 10381698859 (eff. 0.002)
968.64/968.80	c #Conflicts:      64000 | #Learnt:       8408 | 0.000
968.64/968.80	c total clause space: 206.656MB
968.64/968.80	c total #watches: 2045620
998.43/998.61	c total #propagations: 16511345 / total #impl: 10497212984 (eff. 0.002)
998.43/998.61	c #Conflicts:      65000 | #Learnt:       9408 | 0.000
998.43/998.61	c total clause space: 206.656MB
998.43/998.61	c total #watches: 2206750
1039.33/1039.52	c total #propagations: 16747186 / total #impl: 10722143496 (eff. 0.002)
1039.33/1039.52	c #Conflicts:      66000 | #Learnt:      10408 | 0.000
1039.33/1039.52	c total clause space: 206.656MB
1039.33/1039.52	c total #watches: 2337329
1068.52/1068.78	c total #propagations: 17063378 / total #impl: 11115461874 (eff. 0.002)
1068.52/1068.78	c #Conflicts:      67000 | #Learnt:      11408 | 0.000
1068.52/1068.78	c total clause space: 206.656MB
1068.52/1068.78	c total #watches: 2468538
1101.32/1101.50	c total #propagations: 17318343 / total #impl: 11281947002 (eff. 0.002)
1101.32/1101.50	c #Conflicts:      68000 | #Learnt:      12408 | 0.000
1101.32/1101.50	c total clause space: 206.656MB
1101.32/1101.50	c total #watches: 2576396
1117.92/1118.17	c total #propagations: 17518814 / total #impl: 11449015241 (eff. 0.002)
1117.92/1118.17	c GC COLLECT
1117.92/1118.17	c #Conflicts:      69000 | #Learnt:       7191 | 0.000
1117.92/1118.17	c total clause space: 206.656MB
1117.92/1118.17	c total #watches: 1465159
1139.11/1139.31	c total #propagations: 17799850 / total #impl: 11602292642 (eff. 0.002)
1139.11/1139.31	c #Conflicts:      70000 | #Learnt:       8191 | 0.000
1139.11/1139.31	c total clause space: 206.656MB
1139.11/1139.31	c total #watches: 1589823
1155.92/1156.11	c total #propagations: 18103891 / total #impl: 11757408395 (eff. 0.002)
1155.92/1156.11	c #Conflicts:      71000 | #Learnt:       9191 | 0.000
1155.92/1156.11	c total clause space: 206.656MB
1155.92/1156.11	c total #watches: 1718126
1175.91/1176.16	c total #propagations: 18297622 / total #impl: 11893010102 (eff. 0.002)
1175.91/1176.16	c #Conflicts:      72000 | #Learnt:      10191 | 0.000
1175.91/1176.16	c total clause space: 206.656MB
1175.91/1176.16	c total #watches: 1830781
1200.30/1200.55	c total #propagations: 18451094 / total #impl: 12043040194 (eff. 0.002)
1200.30/1200.55	c #Conflicts:      73000 | #Learnt:      11191 | 0.000
1200.30/1200.55	c total clause space: 206.656MB
1200.30/1200.55	c total #watches: 1952877
1246.30/1246.52	c total #propagations: 18604375 / total #impl: 12249697867 (eff. 0.002)
1246.30/1246.52	c #Conflicts:      74000 | #Learnt:      12191 | 0.000
1246.30/1246.52	c total clause space: 206.656MB
1246.30/1246.52	c total #watches: 2099758
1276.79/1277.06	c total #propagations: 18935686 / total #impl: 12517568698 (eff. 0.002)
1276.79/1277.06	c GC COLLECT
1276.79/1277.06	c #Conflicts:      75000 | #Learnt:       6688 | 0.000
1276.79/1277.06	c total clause space: 206.656MB
1276.79/1277.06	c total #watches: 1382890
1291.59/1291.83	c total #propagations: 19214065 / total #impl: 12653075815 (eff. 0.002)
1291.59/1291.83	c #Conflicts:      76000 | #Learnt:       7688 | 0.000
1291.59/1291.83	c total clause space: 206.656MB
1291.59/1291.83	c total #watches: 1477212
1306.59/1306.82	c total #propagations: 19437631 / total #impl: 12802306189 (eff. 0.002)
1306.59/1306.82	c #Conflicts:      77000 | #Learnt:       8688 | 0.000
1306.59/1306.82	c total clause space: 206.656MB
1306.59/1306.82	c total #watches: 1584563
1325.68/1325.98	c total #propagations: 19620797 / total #impl: 12963782671 (eff. 0.002)
1325.68/1325.98	c #Conflicts:      78000 | #Learnt:       9688 | 0.000
1325.68/1325.98	c total clause space: 206.656MB
1325.68/1325.98	c total #watches: 1675123
1344.88/1345.10	c total #propagations: 19934346 / total #impl: 13172128257 (eff. 0.002)
1344.88/1345.10	c #Conflicts:      79000 | #Learnt:      10688 | 0.000
1344.88/1345.10	c total clause space: 206.656MB
1344.88/1345.10	c total #watches: 1798279
1363.47/1363.77	c total #propagations: 20147514 / total #impl: 13397298291 (eff. 0.002)
1363.47/1363.77	c #Conflicts:      80000 | #Learnt:      11688 | 0.000
1363.47/1363.77	c total clause space: 206.656MB
1363.47/1363.77	c total #watches: 1919102
1394.07/1394.39	c total #propagations: 20304159 / total #impl: 13652766488 (eff. 0.001)
1394.07/1394.39	c #Conflicts:      81000 | #Learnt:      12688 | 0.000
1394.07/1394.39	c total clause space: 206.656MB
1394.07/1394.39	c total #watches: 2042040
1420.67/1420.92	c total #propagations: 20554661 / total #impl: 13879116657 (eff. 0.001)
1420.67/1420.92	c GC COLLECT
1420.67/1420.92	c #Conflicts:      82000 | #Learnt:       6898 | 0.000
1420.67/1420.92	c total clause space: 206.656MB
1420.67/1420.92	c total #watches: 1412026
1435.16/1435.42	c total #propagations: 20830766 / total #impl: 14099033581 (eff. 0.001)
1435.16/1435.42	c #Conflicts:      83000 | #Learnt:       7898 | 0.000
1435.16/1435.42	c total clause space: 206.656MB
1435.16/1435.42	c total #watches: 1507017
1452.26/1452.57	c total #propagations: 21042058 / total #impl: 14270242581 (eff. 0.001)
1452.26/1452.57	c #Conflicts:      84000 | #Learnt:       8898 | 0.000
1452.26/1452.57	c total clause space: 206.656MB
1452.26/1452.57	c total #watches: 1605561
1474.06/1474.35	c total #propagations: 21339405 / total #impl: 14427391216 (eff. 0.001)
1474.06/1474.35	c #Conflicts:      85000 | #Learnt:       9898 | 0.000
1474.06/1474.35	c total clause space: 206.656MB
1474.06/1474.35	c total #watches: 1728822
1501.65/1501.93	c total #propagations: 21547983 / total #impl: 14615574400 (eff. 0.001)
1501.65/1501.93	c #Conflicts:      86000 | #Learnt:      10898 | 0.000
1501.65/1501.93	c total clause space: 206.656MB
1501.65/1501.93	c total #watches: 1852189
1528.45/1528.73	c total #propagations: 21913179 / total #impl: 14814298019 (eff. 0.001)
1528.45/1528.73	c #Conflicts:      87000 | #Learnt:      11898 | 0.000
1528.45/1528.73	c total clause space: 206.656MB
1528.45/1528.73	c total #watches: 1984784
1544.05/1544.31	c total #propagations: 22291598 / total #impl: 14995358737 (eff. 0.001)
1544.05/1544.31	c #Conflicts:      88000 | #Learnt:      12898 | 0.000
1544.05/1544.31	c total clause space: 206.656MB
1544.05/1544.31	c total #watches: 2102471
1568.24/1568.55	c total #propagations: 22456062 / total #impl: 15162048090 (eff. 0.001)
1568.24/1568.55	c #Conflicts:      89000 | #Learnt:      13898 | 0.000
1568.24/1568.55	c total clause space: 206.656MB
1568.24/1568.55	c total #watches: 2216111
1584.64/1584.95	c total #propagations: 22672856 / total #impl: 15446667815 (eff. 0.001)
1584.64/1584.95	c GC COLLECT
1584.64/1584.95	c #Conflicts:      90000 | #Learnt:       7793 | 0.000
1584.64/1584.95	c total clause space: 206.656MB
1584.64/1584.95	c total #watches: 1556615
1602.45/1602.74	c total #propagations: 22837727 / total #impl: 15637349456 (eff. 0.001)
1602.45/1602.74	c #Conflicts:      91000 | #Learnt:       8793 | 0.000
1602.45/1602.74	c total clause space: 206.656MB
1602.45/1602.74	c total #watches: 1677457
1619.54/1619.87	c total #propagations: 23059996 / total #impl: 15801890293 (eff. 0.001)
1619.54/1619.87	c #Conflicts:      92000 | #Learnt:       9793 | 0.000
1619.54/1619.87	c total clause space: 206.656MB
1619.54/1619.87	c total #watches: 1792836
1647.54/1647.84	c total #propagations: 23241952 / total #impl: 15902005087 (eff. 0.001)
1647.54/1647.84	c #Conflicts:      93000 | #Learnt:      10793 | 0.000
1647.54/1647.84	c total clause space: 206.656MB
1647.54/1647.84	c total #watches: 1919719
1667.73/1668.09	c total #propagations: 23599521 / total #impl: 16049183841 (eff. 0.001)
1667.73/1668.09	c #Conflicts:      94000 | #Learnt:      11793 | 0.000
1667.73/1668.09	c total clause space: 206.656MB
1667.73/1668.09	c total #watches: 2041147
1701.02/1701.34	c total #propagations: 23770674 / total #impl: 16218745443 (eff. 0.001)
1701.02/1701.34	c #Conflicts:      95000 | #Learnt:      12793 | 0.000
1701.02/1701.34	c total clause space: 206.656MB
1701.02/1701.34	c total #watches: 2219838
1737.02/1737.33	c total #propagations: 24021774 / total #impl: 16440633511 (eff. 0.001)
1737.02/1737.33	c #Conflicts:      96000 | #Learnt:      13793 | 0.000
1737.02/1737.33	c total clause space: 206.656MB
1737.02/1737.33	c total #watches: 2489799
1764.01/1764.31	c total #propagations: 24294313 / total #impl: 16508084878 (eff. 0.001)
1764.01/1764.31	c #Conflicts:      97000 | #Learnt:      14793 | 0.000
1764.01/1764.31	c total clause space: 206.656MB
1764.01/1764.31	c total #watches: 2808173
1778.21/1778.51	c total #propagations: 24569055 / total #impl: 16538890805 (eff. 0.001)
1778.21/1778.51	c GC COLLECT
1778.21/1778.51	c #Conflicts:      98000 | #Learnt:       8399 | 0.000
1778.21/1778.51	c total clause space: 206.656MB
1778.21/1778.51	c total #watches: 1781564
1796.61/1796.90	c total #propagations: 24755544 / total #impl: 16621532599 (eff. 0.001)
1796.61/1796.90	c #Conflicts:      99000 | #Learnt:       9399 | 0.000
1796.61/1796.90	c total clause space: 206.656MB
1796.61/1796.90	c total #watches: 2020412

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-4088362-1465430655/watcher-4088362-1465430655 -o /tmp/evaluation-result-4088362-1465430655/solver-4088362-1465430655 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465427047-23044 --watchdog 1960 --input HOME/instance-4088362-1465430655.opb ./cdcl-cuttingplanes-opt-linearsearch-release 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.25 2.19 2.18 3/176 23554
/proc/meminfo: memFree=28399844/32872528 swapFree=17892/1720544
[pid=23554] ppid=23551 vsize=29112 CPUtime=0 cores=0,2,4,6
/proc/23554/stat : 23554 (cdcl-cuttingpla) R 23551 23554 23028 0 -1 4202496 277 0 0 0 0 0 0 0 20 0 1 0 124998640 29810688 5269 33554432000 4194304 6201397 140735709548784 140735632938024 4211056 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23554/statm: 7278 5269 130 491 0 6777 0

[startup+0.100169 s]
/proc/loadavg: 2.25 2.19 2.18 3/176 23554
/proc/meminfo: memFree=28399844/32872528 swapFree=17892/1720544
[pid=23554] ppid=23551 vsize=38280 CPUtime=0.09 cores=0,2,4,6
/proc/23554/stat : 23554 (cdcl-cuttingpla) R 23551 23554 23028 0 -1 4202496 925 0 0 0 9 0 0 0 20 0 1 0 124998640 39198720 8423 33554432000 4194304 6201397 140735709548784 140735632938024 4207987 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23554/statm: 9570 8423 146 491 0 9069 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38280

[startup+0.200354 s]
/proc/loadavg: 2.25 2.19 2.18 3/176 23554
/proc/meminfo: memFree=28399844/32872528 swapFree=17892/1720544
[pid=23554] ppid=23551 vsize=51312 CPUtime=0.19 cores=0,2,4,6
/proc/23554/stat : 23554 (cdcl-cuttingpla) R 23551 23554 23028 0 -1 4202496 1699 0 0 0 19 0 0 0 20 0 1 0 124998640 52543488 9603 33554432000 4194304 6201397 140735709548784 140735632938024 4207987 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23554/statm: 12828 9603 146 491 0 12327 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 51312

[startup+0.300335 s]
/proc/loadavg: 2.25 2.19 2.18 3/176 23554
/proc/meminfo: memFree=28399844/32872528 swapFree=17892/1720544
[pid=23554] ppid=23551 vsize=66116 CPUtime=0.28 cores=0,2,4,6
/proc/23554/stat : 23554 (cdcl-cuttingpla) R 23551 23554 23028 0 -1 4202496 2615 0 0 0 28 0 0 0 20 0 1 0 124998640 67702784 12528 33554432000 4194304 6201397 140735709548784 140735709547416 4221982 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23554/statm: 16529 12528 146 491 0 16028 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 66116

[startup+0.700262 s]
/proc/loadavg: 2.25 2.19 2.18 3/176 23554
/proc/meminfo: memFree=28399844/32872528 swapFree=17892/1720544
[pid=23554] ppid=23551 vsize=66252 CPUtime=0.68 cores=0,2,4,6
/proc/23554/stat : 23554 (cdcl-cuttingpla) R 23551 23554 23028 0 -1 4202496 2640 0 0 0 68 0 0 0 20 0 1 0 124998640 67842048 14086 33554432000 4194304 6201397 140735709548784 140735709547416 4213186 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23554/statm: 16563 14086 146 491 0 16062 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 66252

[startup+1.50026 s]
/proc/loadavg: 2.25 2.19 2.18 3/177 23555
/proc/meminfo: memFree=28336872/32872528 swapFree=17892/1720544
[pid=23554] ppid=23551 vsize=90632 CPUtime=1.49 cores=0,2,4,6
/proc/23554/stat : 23554 (cdcl-cuttingpla) R 23551 23554 23028 0 -1 4202496 4323 0 0 0 148 1 0 0 20 0 1 0 124998640 92807168 17209 33554432000 4194304 6201397 140735709548784 140735709547416 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23554/statm: 22658 17209 159 491 0 22157 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 90632

[startup+3.10025 s]
/proc/loadavg: 2.25 2.19 2.18 3/177 23555
/proc/meminfo: memFree=28326572/32872528 swapFree=17892/1720544
[pid=23554] ppid=23551 vsize=90848 CPUtime=3.09 cores=0,2,4,6
/proc/23554/stat : 23554 (cdcl-cuttingpla) R 23551 23554 23028 0 -1 4202496 4380 0 0 0 308 1 0 0 20 0 1 0 124998640 93028352 18799 33554432000 4194304 6201397 140735709548784 140735709547736 4213257 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23554/statm: 22712 18799 159 491 0 22211 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 90848

[startup+6.3002 s]
/proc/loadavg: 2.31 2.21 2.19 4/177 23555
/proc/meminfo: memFree=28315288/32872528 swapFree=17892/1720544
[pid=23554] ppid=23551 vsize=91088 CPUtime=6.29 cores=0,2,4,6
/proc/23554/stat : 23554 (cdcl-cuttingpla) R 23551 23554 23028 0 -1 4202496 5492 0 0 0 628 1 0 0 20 0 1 0 124998640 93274112 21020 33554432000 4194304 6201397 140735709548784 140735709547912 4213240 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23554/statm: 22772 21020 159 491 0 22271 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 91088

[startup+12.7003 s]
/proc/loadavg: 2.29 2.20 2.18 3/177 23601
/proc/meminfo: memFree=28987824/32872528 swapFree=17892/1720544
[pid=23554] ppid=23551 vsize=91088 CPUtime=12.69 cores=0,2,4,6
/proc/23554/stat : 23554 (cdcl-cuttingpla) R 23551 23554 23028 0 -1 4202496 5634 0 0 0 1268 1 0 0 20 0 1 0 124998640 93274112 21157 33554432000 4194304 6201397 140735709548784 140735709547912 4213240 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23554/statm: 22772 21157 165 491 0 22271 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 91088

[startup+25.5003 s]
/proc/loadavg: 2.29 2.21 2.18 3/177 23601
/proc/meminfo: memFree=28957804/32872528 swapFree=17892/1720544
[pid=23554] ppid=23551 vsize=122508 CPUtime=25.48 cores=0,2,4,6
/proc/23554/stat : 23554 (cdcl-cuttingpla) R 23551 23554 23028 0 -1 4202496 6575 0 0 0 2547 1 0 0 20 0 1 0 124998640 125448192 22736 33554432000 4194304 6201397 140735709548784 140735709547416 4213240 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23554/statm: 30627 22736 165 491 0 30126 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 122508

[startup+51.1003 s]
/proc/loadavg: 2.34 2.22 2.19 4/177 23601
/proc/meminfo: memFree=28944164/32872528 swapFree=17892/1720544
[pid=23554] ppid=23551 vsize=122756 CPUtime=51.08 cores=0,2,4,6
/proc/23554/stat : 23554 (cdcl-cuttingpla) R 23551 23554 23028 0 -1 4202496 6852 0 0 0 5107 1 0 0 20 0 1 0 124998640 125702144 23505 33554432000 4194304 6201397 140735709548784 140735709547912 4213240 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23554/statm: 30689 23505 165 491 0 30188 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 122756

[startup+102.3 s]
/proc/loadavg: 2.33 2.23 2.19 3/177 23602
/proc/meminfo: memFree=28883696/32872528 swapFree=17892/1720544
[pid=23554] ppid=23551 vsize=123972 CPUtime=102.28 cores=0,2,4,6
/proc/23554/stat : 23554 (cdcl-cuttingpla) R 23551 23554 23028 0 -1 4202496 7230 0 0 0 10226 2 0 0 20 0 1 0 124998640 126947328 25926 33554432000 4194304 6201397 140735709548784 140735709547912 4213240 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23554/statm: 30993 25926 165 491 0 30492 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 123972

[startup+162.3 s]
/proc/loadavg: 2.29 2.23 2.19 4/177 23603
/proc/meminfo: memFree=28847524/32872528 swapFree=17892/1720544
[pid=23554] ppid=23551 vsize=132372 CPUtime=162.26 cores=0,2,4,6
/proc/23554/stat : 23554 (cdcl-cuttingpla) R 23551 23554 23028 0 -1 4202496 8870 0 0 0 16224 2 0 0 20 0 1 0 124998640 135548928 30632 33554432000 4194304 6201397 140735709548784 140735709547448 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23554/statm: 33093 30632 165 491 0 32592 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 132372

[startup+222.307 s]
/proc/loadavg: 2.20 2.22 2.18 3/177 23604
/proc/meminfo: memFree=28835928/32872528 swapFree=17892/1720544
[pid=23554] ppid=23551 vsize=133044 CPUtime=222.26 cores=0,2,4,6
/proc/23554/stat : 23554 (cdcl-cuttingpla) R 23551 23554 23028 0 -1 4202496 9076 0 0 0 22224 2 0 0 20 0 1 0 124998640 136237056 31349 33554432000 4194304 6201397 140735709548784 140735709547912 4213257 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23554/statm: 33261 31349 165 491 0 32760 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 133044

[startup+282.3 s]
/proc/loadavg: 2.32 2.25 2.19 3/177 23606
/proc/meminfo: memFree=28833880/32872528 swapFree=17892/1720544
[pid=23554] ppid=23551 vsize=133316 CPUtime=282.24 cores=0,2,4,6
/proc/23554/stat : 23554 (cdcl-cuttingpla) R 23551 23554 23028 0 -1 4202496 9141 0 0 0 28222 2 0 0 20 0 1 0 124998640 136515584 31925 33554432000 4194304 6201397 140735709548784 140735709547912 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23554/statm: 33329 31925 165 491 0 32828 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 133316

[startup+342.3 s]
/proc/loadavg: 2.24 2.25 2.19 3/177 23607
/proc/meminfo: memFree=28813360/32872528 swapFree=17892/1720544
[pid=23554] ppid=23551 vsize=183660 CPUtime=342.24 cores=0,2,4,6
/proc/23554/stat : 23554 (cdcl-cuttingpla) R 23551 23554 23028 0 -1 4202496 9924 0 0 0 34221 3 0 0 20 0 1 0 124998640 188067840 33376 33554432000 4194304 6201397 140735709548784 140735709547240 4213170 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23554/statm: 45915 33376 165 491 0 45414 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 183660

[startup+402.3 s]
/proc/loadavg: 2.22 2.25 2.19 3/178 23611
/proc/meminfo: memFree=28746392/32872528 swapFree=17892/1720544
[pid=23554] ppid=23551 vsize=184076 CPUtime=402.23 cores=0,2,4,6
/proc/23554/stat : 23554 (cdcl-cuttingpla) R 23551 23554 23028 0 -1 4202496 10281 0 0 0 40220 3 0 0 20 0 1 0 124998640 188493824 33721 33554432000 4194304 6201397 140735709548784 140735709547240 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23554/statm: 46019 33721 165 491 0 45518 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 184076

[startup+462.3 s]
/proc/loadavg: 2.43 2.29 2.20 3/177 23612
/proc/meminfo: memFree=28711220/32872528 swapFree=17892/1720544
[pid=23554] ppid=23551 vsize=185008 CPUtime=462.22 cores=0,2,4,6
/proc/23554/stat : 23554 (cdcl-cuttingpla) R 23551 23554 23028 0 -1 4202496 10650 0 0 0 46219 3 0 0 20 0 1 0 124998640 189448192 36641 33554432000 4194304 6201397 140735709548784 140735709547448 4213257 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23554/statm: 46252 36641 165 491 0 45751 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 185008

[startup+522.3 s]
/proc/loadavg: 2.24 2.26 2.20 3/177 23613
/proc/meminfo: memFree=28702036/32872528 swapFree=17892/1720544
[pid=23554] ppid=23551 vsize=185456 CPUtime=522.21 cores=0,2,4,6
/proc/23554/stat : 23554 (cdcl-cuttingpla) R 23551 23554 23028 0 -1 4202496 10868 0 0 0 52218 3 0 0 20 0 1 0 124998640 189906944 38901 33554432000 4194304 6201397 140735709548784 140735709547912 4213240 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23554/statm: 46364 38901 165 491 0 45863 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 185456

[startup+582.3 s]
/proc/loadavg: 2.32 2.28 2.20 3/177 23660
/proc/meminfo: memFree=28888692/32872528 swapFree=17892/1720544
[pid=23554] ppid=23551 vsize=186672 CPUtime=582.2 cores=0,2,4,6
/proc/23554/stat : 23554 (cdcl-cuttingpla) R 23551 23554 23028 0 -1 4202496 11083 0 0 0 58217 3 0 0 20 0 1 0 124998640 191152128 40138 33554432000 4194304 6201397 140735709548784 140735709547448 4213257 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23554/statm: 46668 40138 165 491 0 46167 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 186672


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


[startup+942.3 s]
/proc/loadavg: 2.33 2.28 2.20 3/177 23667
/proc/meminfo: memFree=28772424/32872528 swapFree=17892/1720544
[pid=23554] ppid=23551 vsize=286084 CPUtime=942.14 cores=0,2,4,6
/proc/23554/stat : 23554 (cdcl-cuttingpla) R 23551 23554 23028 0 -1 4202496 14503 0 0 0 94210 4 0 0 20 0 1 0 124998640 292950016 54883 33554432000 4194304 6201397 140735709548784 140735709547496 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23554/statm: 71521 54883 165 491 0 71020 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 286084

[startup+1002.3 s]
/proc/loadavg: 2.28 2.27 2.20 3/178 23671
/proc/meminfo: memFree=28767460/32872528 swapFree=17892/1720544
[pid=23554] ppid=23551 vsize=286084 CPUtime=1002.13 cores=0,2,4,6
/proc/23554/stat : 23554 (cdcl-cuttingpla) R 23551 23554 23028 0 -1 4202496 14504 0 0 0 100209 4 0 0 20 0 1 0 124998640 292950016 54884 33554432000 4194304 6201397 140735709548784 140735709547912 4213240 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23554/statm: 71521 54884 165 491 0 71020 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 286084

[startup+1062.3 s]
/proc/loadavg: 2.31 2.29 2.21 3/177 23672
/proc/meminfo: memFree=28752016/32872528 swapFree=17892/1720544
[pid=23554] ppid=23551 vsize=286084 CPUtime=1062.12 cores=0,2,4,6
/proc/23554/stat : 23554 (cdcl-cuttingpla) R 23551 23554 23028 0 -1 4202496 14527 0 0 0 106208 4 0 0 20 0 1 0 124998640 292950016 55418 33554432000 4194304 6201397 140735709548784 140735709547912 4213293 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23554/statm: 71521 55418 165 491 0 71020 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 286084

[startup+1122.3 s]
/proc/loadavg: 2.47 2.34 2.23 3/177 23673
/proc/meminfo: memFree=28739228/32872528 swapFree=17892/1720544
[pid=23554] ppid=23551 vsize=286244 CPUtime=1122.12 cores=0,2,4,6
/proc/23554/stat : 23554 (cdcl-cuttingpla) R 23551 23554 23028 0 -1 4202496 14541 0 0 0 112207 5 0 0 20 0 1 0 124998640 293113856 58498 33554432000 4194304 6201397 140735709548784 140735709547912 4213268 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23554/statm: 71561 58498 165 491 0 71060 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 286244

[startup+1182.3 s]
/proc/loadavg: 2.43 2.35 2.24 3/177 23674
/proc/meminfo: memFree=28730424/32872528 swapFree=17892/1720544
[pid=23554] ppid=23551 vsize=286244 CPUtime=1182.11 cores=0,2,4,6
/proc/23554/stat : 23554 (cdcl-cuttingpla) R 23551 23554 23028 0 -1 4202496 14542 0 0 0 118206 5 0 0 20 0 1 0 124998640 293113856 58499 33554432000 4194304 6201397 140735709548784 140735709547912 4213240 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23554/statm: 71561 58499 165 491 0 71060 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 286244

[startup+1242.3 s]
/proc/loadavg: 2.31 2.33 2.24 4/177 23676
/proc/meminfo: memFree=28726960/32872528 swapFree=17892/1720544
[pid=23554] ppid=23551 vsize=286404 CPUtime=1242.1 cores=0,2,4,6
/proc/23554/stat : 23554 (cdcl-cuttingpla) R 23551 23554 23028 0 -1 4202496 14579 0 0 0 124205 5 0 0 20 0 1 0 124998640 293277696 58536 33554432000 4194304 6201397 140735709548784 140735709547448 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23554/statm: 71601 58536 165 491 0 71100 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 286404

[startup+1302.3 s]
/proc/loadavg: 2.28 2.33 2.24 3/177 23677
/proc/meminfo: memFree=28707596/32872528 swapFree=17892/1720544
[pid=23554] ppid=23551 vsize=286404 CPUtime=1302.09 cores=0,2,4,6
/proc/23554/stat : 23554 (cdcl-cuttingpla) R 23551 23554 23028 0 -1 4202496 14580 0 0 0 130204 5 0 0 20 0 1 0 124998640 293277696 58537 33554432000 4194304 6201397 140735709548784 140735709547912 4213361 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23554/statm: 71601 58537 165 491 0 71100 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 286404

[startup+1362.3 s]
/proc/loadavg: 2.31 2.32 2.25 3/177 23678
/proc/meminfo: memFree=28707844/32872528 swapFree=17892/1720544
[pid=23554] ppid=23551 vsize=286404 CPUtime=1362.07 cores=0,2,4,6
/proc/23554/stat : 23554 (cdcl-cuttingpla) R 23551 23554 23028 0 -1 4202496 14598 0 0 0 136202 5 0 0 20 0 1 0 124998640 293277696 58555 33554432000 4194304 6201397 140735709548784 140735709547912 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23554/statm: 71601 58555 165 491 0 71100 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 286404

[startup+1422.3 s]
/proc/loadavg: 2.31 2.32 2.25 4/177 23679
/proc/meminfo: memFree=28704092/32872528 swapFree=17892/1720544
[pid=23554] ppid=23551 vsize=287204 CPUtime=1422.07 cores=0,2,4,6
/proc/23554/stat : 23554 (cdcl-cuttingpla) R 23551 23554 23028 0 -1 4202496 14740 0 0 0 142202 5 0 0 20 0 1 0 124998640 294096896 58697 33554432000 4194304 6201397 140735709548784 140735709547912 4213257 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23554/statm: 71801 58697 165 491 0 71300 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 287204

[startup+1482.3 s]
/proc/loadavg: 2.35 2.33 2.26 4/177 23680
/proc/meminfo: memFree=28692024/32872528 swapFree=17892/1720544
[pid=23554] ppid=23551 vsize=287204 CPUtime=1482.06 cores=0,2,4,6
/proc/23554/stat : 23554 (cdcl-cuttingpla) R 23551 23554 23028 0 -1 4202496 14740 0 0 0 148201 5 0 0 20 0 1 0 124998640 294096896 58697 33554432000 4194304 6201397 140735709548784 140735709547912 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23554/statm: 71801 58697 165 491 0 71300 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 287204

[startup+1542.31 s]
/proc/loadavg: 2.33 2.33 2.26 4/177 23682
/proc/meminfo: memFree=28692144/32872528 swapFree=17892/1720544
[pid=23554] ppid=23551 vsize=287364 CPUtime=1542.05 cores=0,2,4,6
/proc/23554/stat : 23554 (cdcl-cuttingpla) R 23551 23554 23028 0 -1 4202496 14761 0 0 0 154200 5 0 0 20 0 1 0 124998640 294260736 58718 33554432000 4194304 6201397 140735709548784 140735709547912 4213361 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23554/statm: 71841 58718 165 491 0 71340 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 287364

[startup+1602.3 s]
/proc/loadavg: 2.31 2.33 2.27 4/178 23686
/proc/meminfo: memFree=28691392/32872528 swapFree=17892/1720544
[pid=23554] ppid=23551 vsize=287364 CPUtime=1602.04 cores=0,2,4,6
/proc/23554/stat : 23554 (cdcl-cuttingpla) R 23551 23554 23028 0 -1 4202496 14762 0 0 0 160199 5 0 0 20 0 1 0 124998640 294260736 58719 33554432000 4194304 6201397 140735709548784 140735709547912 4213268 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23554/statm: 71841 58719 165 491 0 71340 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 287364

[startup+1662.3 s]
/proc/loadavg: 2.25 2.31 2.27 3/177 23687
/proc/meminfo: memFree=28691172/32872528 swapFree=17892/1720544
[pid=23554] ppid=23551 vsize=287364 CPUtime=1662.03 cores=0,2,4,6
/proc/23554/stat : 23554 (cdcl-cuttingpla) R 23551 23554 23028 0 -1 4202496 14762 0 0 0 166198 5 0 0 20 0 1 0 124998640 294260736 58719 33554432000 4194304 6201397 140735709548784 140735709547912 4213361 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23554/statm: 71841 58719 165 491 0 71340 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 287364

[startup+1722.3 s]
/proc/loadavg: 2.44 2.34 2.28 4/177 23688
/proc/meminfo: memFree=28680196/32872528 swapFree=17892/1720544
[pid=23554] ppid=23551 vsize=287748 CPUtime=1722.02 cores=0,2,4,6
/proc/23554/stat : 23554 (cdcl-cuttingpla) R 23551 23554 23028 0 -1 4202496 14821 0 0 0 172197 5 0 0 20 0 1 0 124998640 294653952 58778 33554432000 4194304 6201397 140735709548784 140735709547448 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23554/statm: 71937 58778 165 491 0 71436 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 287748

[startup+1782.3 s]
/proc/loadavg: 2.28 2.31 2.27 4/177 23689
/proc/meminfo: memFree=28673560/32872528 swapFree=17892/1720544
[pid=23554] ppid=23551 vsize=287908 CPUtime=1782.01 cores=0,2,4,6
/proc/23554/stat : 23554 (cdcl-cuttingpla) R 23551 23554 23028 0 -1 4202496 14893 0 0 0 178196 5 0 0 20 0 1 0 124998640 294817792 60383 33554432000 4194304 6201397 140735709548784 140735709547912 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23554/statm: 71977 60383 165 491 0 71476 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 287908



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.26 2.30 2.27 3/176 23690
/proc/meminfo: memFree=28673652/32872528 swapFree=17892/1720544
[pid=23554] ppid=23551 vsize=287908 CPUtime=1800.01 cores=0,2,4,6
/proc/23554/stat : 23554 (cdcl-cuttingpla) R 23551 23554 23028 0 -1 4202496 14893 0 0 0 179996 5 0 0 20 0 1 0 124998640 294817792 60383 33554432000 4194304 6201397 140735709548784 140735709547912 4222237 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23554/statm: 71977 60383 165 491 0 71476 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 287908

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

[startup+1800.3 s]
/proc/loadavg: 2.26 2.30 2.27 3/176 23690
/proc/meminfo: memFree=28673652/32872528 swapFree=17892/1720544
[pid=23554] ppid=23551 vsize=287908 CPUtime=1800.01 cores=0,2,4,6
/proc/23554/stat : 23554 (cdcl-cuttingpla) R 23551 23554 23028 0 -1 4202496 14893 0 0 0 179996 5 0 0 20 0 1 0 124998640 294817792 60383 33554432000 4194304 6201397 140735709548784 140735709547912 4222237 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/23554/statm: 71977 60383 165 491 0 71476 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 287908

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.96
CPU system time (s): 0.055991
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 287908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.96
system time used= 0.055991
maximum resident set size= 241532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14893
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= 11
involuntary context switches= 1918

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6103 second user time and 7.64084 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-09 02:04:15
IDJOB=4088362
IDBENCH=24987
IDSOLVER=2550
FILE ID=node117/4088362-1465430655
RUNJOBID= node117-1465427047-23044
PBS_JOBID= 19859790
Free space on /tmp= 71704 MiB

SOLVER NAME= cdcl-cuttingplanes OPT linear search 2016-05-01
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_024_area_delay.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088362-1465430655/watcher-4088362-1465430655 -o /tmp/evaluation-result-4088362-1465430655/solver-4088362-1465430655 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465427047-23044 --watchdog 1960 --input HOME/instance-4088362-1465430655.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= 58f3055ef9bb388e237f57f2627386e0
RANDOM SEED=205310888

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28400488 kB
Buffers:          188340 kB
Cached:          1038412 kB
SwapCached:        29272 kB
Active:          1262564 kB
Inactive:         744408 kB
Active(anon):     751952 kB
Inactive(anon):    30596 kB
Active(file):     510612 kB
Inactive(file):   713812 kB
Unevictable:     1720544 kB
Mlocked:           17892 kB
SwapTotal:      67108856 kB
SwapFree:       67071228 kB
Dirty:              2736 kB
Writeback:             0 kB
AnonPages:       2462172 kB
Mapped:             7660 kB
Shmem:                 0 kB
Slab:             610204 kB
SReclaimable:      54320 kB
SUnreclaim:       555884 kB
KernelStack:        1472 kB
PageTables:         8688 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2938752 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2422784 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= 71704 MiB
End job on node117 at 2016-06-09 02:34:15