Trace number 4087669

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
cdcl-cuttingplanes OPT binary search 2016-05-01? (TO) 1800.03 1800.31

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/
area_partials/normalized-fir10_area_partials.opb
MD5SUM8e58fdc516472c37b974ebbf77c2a4fa
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark52
Best CPU time to get the best result obtained on this benchmark0.130979
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 52
Optimality of the best value was proved YES
Number of variables2091
Total number of constraints7288
Number of constraints which are clauses7288
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 constraint124
Number of terms in the objective function 486
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 486
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 486
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c OPTIONS:
0.00/0.00	c - Resolve (`-resolve-always' or `-resolve-skip'): -resolve-skip
0.00/0.01	c * #variable= 2091 #constraint= 7288
0.00/0.04	c * #variable= 2091 #constraint= 7288
0.58/0.64	c S1->S2
0.58/0.64	c S1->S2
0.58/0.64	c S1->S2
0.58/0.64	c S2->S1
0.58/0.64	c S1->S2
0.58/0.64	c #Conflicts:       1000 | #Learnt:       1003 | 0.000
0.58/0.64	c total clause space: 11.2235MB
0.58/0.64	c total #watches: 167081
4.40/4.44	c total #propagations: 424997 / total #impl: 6217515 (eff. 0.068)
4.40/4.44	c #Conflicts:       2000 | #Learnt:       2003 | 0.000
4.40/4.44	c total clause space: 29.637MB
4.40/4.44	c total #watches: 266104
9.89/9.92	c total #propagations: 767558 / total #impl: 42437808 (eff. 0.018)
9.89/9.92	c GC COLLECT
9.89/9.92	c #Conflicts:       3000 | #Learnt:       2009 | 0.000
9.89/9.92	c total clause space: 29.637MB
9.89/9.92	c total #watches: 252494
21.08/21.17	c total #propagations: 1131111 / total #impl: 66663873 (eff. 0.017)
21.08/21.17	c #Conflicts:       4000 | #Learnt:       3009 | 0.000
21.08/21.17	c total clause space: 48.1602MB
21.08/21.17	c total #watches: 332451
32.99/33.02	c total #propagations: 1557538 / total #impl: 144263560 (eff. 0.011)
32.99/33.02	c GC COLLECT
32.99/33.02	c #Conflicts:       5000 | #Learnt:       2358 | 0.000
32.99/33.02	c total clause space: 48.1602MB
32.99/33.02	c total #watches: 279990
46.08/46.20	c total #propagations: 2018474 / total #impl: 241717986 (eff. 0.008)
46.08/46.20	c #Conflicts:       6000 | #Learnt:       3358 | 0.000
46.08/46.20	c total clause space: 48.1602MB
46.08/46.20	c total #watches: 357833
49.78/49.85	c total #propagations: 2447111 / total #impl: 347540787 (eff. 0.007)
49.78/49.85	c S1->S2
49.78/49.85	c S2->S1
49.78/49.85	c GC COLLECT
49.78/49.85	c #Conflicts:       7000 | #Learnt:        747 | 0.000
49.78/49.85	c total clause space: 127.173MB
49.78/49.85	c total #watches: 152464
51.58/51.69	c total #propagations: 2674164 / total #impl: 355136077 (eff. 0.008)
51.58/51.69	c #Conflicts:       8000 | #Learnt:       1747 | 0.000
51.58/51.69	c total clause space: 127.173MB
51.58/51.69	c total #watches: 319001
54.38/54.45	c total #propagations: 2978685 / total #impl: 361470398 (eff. 0.008)
54.38/54.45	c #Conflicts:       9000 | #Learnt:       2747 | 0.000
54.38/54.45	c total clause space: 127.173MB
54.38/54.45	c total #watches: 446418
57.48/57.59	c total #propagations: 3430587 / total #impl: 365975287 (eff. 0.009)
57.48/57.59	c GC COLLECT
57.48/57.59	c #Conflicts:      10000 | #Learnt:       1967 | 0.000
57.48/57.59	c total clause space: 127.173MB
57.48/57.59	c total #watches: 299031
60.68/60.75	c total #propagations: 3882231 / total #impl: 371718267 (eff. 0.010)
60.68/60.75	c #Conflicts:      11000 | #Learnt:       2966 | 0.000
60.68/60.75	c total clause space: 127.173MB
60.68/60.75	c total #watches: 377431
66.57/66.60	c total #propagations: 4278905 / total #impl: 380432065 (eff. 0.011)
66.57/66.60	c #Conflicts:      12000 | #Learnt:       3965 | 0.000
66.57/66.60	c total clause space: 127.173MB
66.57/66.60	c total #watches: 463028
73.68/73.72	c total #propagations: 4715736 / total #impl: 394432860 (eff. 0.012)
73.68/73.72	c #Conflicts:      13000 | #Learnt:       4964 | 0.000
73.68/73.72	c total clause space: 127.173MB
73.68/73.72	c total #watches: 550957
79.47/79.55	c total #propagations: 5197181 / total #impl: 407515500 (eff. 0.013)
79.47/79.55	c GC COLLECT
79.47/79.55	c #Conflicts:      14000 | #Learnt:       3483 | 0.000
79.47/79.55	c total clause space: 127.173MB
79.47/79.55	c total #watches: 365348
86.77/86.86	c total #propagations: 5701630 / total #impl: 422609443 (eff. 0.013)
86.77/86.86	c S2->S1
86.77/86.86	c #Conflicts:      15000 | #Learnt:       4420 | 0.000
86.77/86.86	c total clause space: 127.173MB
86.77/86.86	c total #watches: 766980
99.08/99.14	c total #propagations: 5975829 / total #impl: 428942963 (eff. 0.014)
99.08/99.14	c #Conflicts:      16000 | #Learnt:       5420 | 0.000
99.08/99.14	c total clause space: 127.173MB
99.08/99.14	c total #watches: 811672
108.07/108.14	c total #propagations: 6284200 / total #impl: 438215649 (eff. 0.014)
108.07/108.14	c GC COLLECT
108.07/108.14	c #Conflicts:      17000 | #Learnt:       2610 | 0.000
108.07/108.14	c total clause space: 127.173MB
108.07/108.14	c total #watches: 366618
111.97/112.09	c total #propagations: 6765691 / total #impl: 448292471 (eff. 0.015)
111.97/112.09	c #Conflicts:      18000 | #Learnt:       3610 | 0.000
111.97/112.09	c total clause space: 127.173MB
111.97/112.09	c total #watches: 432104
115.48/115.52	c total #propagations: 7215104 / total #impl: 471300845 (eff. 0.015)
115.48/115.52	c #Conflicts:      19000 | #Learnt:       4610 | 0.000
115.48/115.52	c total clause space: 127.173MB
115.48/115.52	c total #watches: 502018
119.88/119.96	c total #propagations: 7553765 / total #impl: 485832654 (eff. 0.016)
119.88/119.96	c #Conflicts:      20000 | #Learnt:       5610 | 0.000
119.88/119.96	c total clause space: 127.173MB
119.88/119.96	c total #watches: 599411
125.27/125.39	c total #propagations: 7792567 / total #impl: 497149889 (eff. 0.016)
125.27/125.39	c GC COLLECT
125.27/125.39	c #Conflicts:      21000 | #Learnt:       3652 | 0.000
125.27/125.39	c total clause space: 127.173MB
125.27/125.39	c total #watches: 342084
127.87/127.97	c total #propagations: 8272275 / total #impl: 504163018 (eff. 0.016)
127.87/127.97	c #Conflicts:      22000 | #Learnt:       4652 | 0.000
127.87/127.97	c total clause space: 127.173MB
127.87/127.97	c total #watches: 415285
132.67/132.70	c total #propagations: 8498177 / total #impl: 517149422 (eff. 0.016)
132.67/132.70	c #Conflicts:      23000 | #Learnt:       5652 | 0.000
132.67/132.70	c total clause space: 127.173MB
132.67/132.70	c total #watches: 496043
138.68/138.71	c total #propagations: 8817747 / total #impl: 527824094 (eff. 0.017)
138.68/138.71	c #Conflicts:      24000 | #Learnt:       6652 | 0.000
138.68/138.71	c total clause space: 127.173MB
138.68/138.71	c total #watches: 558883
146.87/146.92	c total #propagations: 9196228 / total #impl: 542591221 (eff. 0.017)
146.87/146.92	c GC COLLECT
146.87/146.92	c #Conflicts:      25000 | #Learnt:       4112 | 0.000
146.87/146.92	c total clause space: 127.173MB
146.87/146.92	c total #watches: 396480
157.67/157.70	c total #propagations: 9629962 / total #impl: 590606868 (eff. 0.016)
157.67/157.70	c #Conflicts:      26000 | #Learnt:       5112 | 0.000
157.67/157.70	c total clause space: 127.173MB
157.67/157.70	c total #watches: 442139
163.37/163.43	c total #propagations: 10138236 / total #impl: 653092229 (eff. 0.016)
163.37/163.43	c #Conflicts:      27000 | #Learnt:       6112 | 0.000
163.37/163.43	c total clause space: 127.173MB
163.37/163.43	c total #watches: 519013
171.76/171.84	c total #propagations: 10449846 / total #impl: 687201497 (eff. 0.015)
171.76/171.84	c #Conflicts:      28000 | #Learnt:       7112 | 0.000
171.76/171.84	c total clause space: 127.173MB
171.76/171.84	c total #watches: 623388
187.86/187.98	c total #propagations: 10749513 / total #impl: 710471378 (eff. 0.015)
187.86/187.98	c GC COLLECT
187.86/187.98	c #Conflicts:      29000 | #Learnt:       4141 | 0.000
187.86/187.98	c total clause space: 127.173MB
187.86/187.98	c total #watches: 423871
197.16/197.23	c total #propagations: 11223410 / total #impl: 806812487 (eff. 0.014)
197.16/197.23	c #Conflicts:      30000 | #Learnt:       5141 | 0.000
197.16/197.23	c total clause space: 127.173MB
197.16/197.23	c total #watches: 455466
206.46/206.50	c total #propagations: 11648040 / total #impl: 859692197 (eff. 0.014)
206.46/206.50	c #Conflicts:      31000 | #Learnt:       6141 | 0.000
206.46/206.50	c total clause space: 127.173MB
206.46/206.50	c total #watches: 526487
218.36/218.47	c total #propagations: 12004982 / total #impl: 891069163 (eff. 0.013)
218.36/218.47	c #Conflicts:      32000 | #Learnt:       7141 | 0.000
218.36/218.47	c total clause space: 127.173MB
218.36/218.47	c total #watches: 546210
230.76/230.82	c total #propagations: 12419632 / total #impl: 939102812 (eff. 0.013)
230.76/230.82	c #Conflicts:      33000 | #Learnt:       8141 | 0.000
230.76/230.82	c total clause space: 127.173MB
230.76/230.82	c total #watches: 582453
244.05/244.20	c total #propagations: 12786978 / total #impl: 999503469 (eff. 0.013)
244.05/244.20	c GC COLLECT
244.05/244.20	c #Conflicts:      34000 | #Learnt:       4803 | 0.000
244.05/244.20	c total clause space: 127.173MB
244.05/244.20	c total #watches: 374003
252.25/252.33	c total #propagations: 13192891 / total #impl: 1048905245 (eff. 0.013)
252.25/252.33	c #Conflicts:      35000 | #Learnt:       5802 | 0.000
252.25/252.33	c total clause space: 127.173MB
252.25/252.33	c total #watches: 406064
261.35/261.47	c total #propagations: 13500806 / total #impl: 1090042237 (eff. 0.012)
261.35/261.47	c #Conflicts:      36000 | #Learnt:       6802 | 0.000
261.35/261.47	c total clause space: 127.173MB
261.35/261.47	c total #watches: 476387
271.66/271.74	c total #propagations: 13845570 / total #impl: 1148683759 (eff. 0.012)
271.66/271.74	c #Conflicts:      37000 | #Learnt:       7802 | 0.000
271.66/271.74	c total clause space: 127.173MB
271.66/271.74	c total #watches: 499645
282.25/282.31	c total #propagations: 14148411 / total #impl: 1177181825 (eff. 0.012)
282.25/282.31	c #Conflicts:      38000 | #Learnt:       8802 | 0.000
282.25/282.31	c total clause space: 127.173MB
282.25/282.31	c total #watches: 535846
291.85/291.99	c total #propagations: 14516841 / total #impl: 1214523335 (eff. 0.012)
291.85/291.99	c GC COLLECT
291.85/291.99	c #Conflicts:      39000 | #Learnt:       5147 | 0.000
291.85/291.99	c total clause space: 127.173MB
291.85/291.99	c total #watches: 387272
300.25/300.34	c total #propagations: 14904451 / total #impl: 1264733827 (eff. 0.012)
300.25/300.34	c #Conflicts:      40000 | #Learnt:       6147 | 0.000
300.25/300.34	c total clause space: 127.173MB
300.25/300.34	c total #watches: 411797
312.54/312.67	c total #propagations: 15294572 / total #impl: 1313031296 (eff. 0.012)
312.54/312.67	c #Conflicts:      41000 | #Learnt:       7147 | 0.000
312.54/312.67	c total clause space: 127.173MB
312.54/312.67	c total #watches: 461651
325.94/326.01	c total #propagations: 15790062 / total #impl: 1466137454 (eff. 0.011)
325.94/326.01	c #Conflicts:      42000 | #Learnt:       8147 | 0.000
325.94/326.01	c total clause space: 127.173MB
325.94/326.01	c total #watches: 493956
342.64/342.72	c total #propagations: 16294210 / total #impl: 1586290424 (eff. 0.010)
342.64/342.72	c #Conflicts:      43000 | #Learnt:       9147 | 0.000
342.64/342.72	c total clause space: 127.173MB
342.64/342.72	c total #watches: 532412
360.74/360.89	c total #propagations: 16797521 / total #impl: 1792704151 (eff. 0.009)
360.74/360.89	c GC COLLECT
360.74/360.89	c #Conflicts:      44000 | #Learnt:       5182 | 0.000
360.74/360.89	c total clause space: 127.173MB
360.74/360.89	c total #watches: 388040
374.43/374.55	c total #propagations: 17291270 / total #impl: 1939575269 (eff. 0.009)
374.43/374.55	c #Conflicts:      45000 | #Learnt:       6182 | 0.000
374.43/374.55	c total clause space: 127.173MB
374.43/374.55	c total #watches: 413676
389.13/389.28	c total #propagations: 17760469 / total #impl: 2051924949 (eff. 0.009)
389.13/389.28	c #Conflicts:      46000 | #Learnt:       7182 | 0.000
389.13/389.28	c total clause space: 127.173MB
389.13/389.28	c total #watches: 435093
404.93/405.09	c total #propagations: 18193314 / total #impl: 2171018885 (eff. 0.008)
404.93/405.09	c #Conflicts:      47000 | #Learnt:       8182 | 0.000
404.93/405.09	c total clause space: 127.173MB
404.93/405.09	c total #watches: 446874
419.03/419.11	c total #propagations: 18567596 / total #impl: 2220819110 (eff. 0.008)
419.03/419.11	c #Conflicts:      48000 | #Learnt:       9182 | 0.000
419.03/419.11	c total clause space: 127.173MB
419.03/419.11	c total #watches: 455635
433.62/433.72	c total #propagations: 18928698 / total #impl: 2250443681 (eff. 0.008)
433.62/433.72	c #Conflicts:      49000 | #Learnt:      10182 | 0.000
433.62/433.72	c total clause space: 127.173MB
433.62/433.72	c total #watches: 466018
444.22/444.36	c total #propagations: 19440750 / total #impl: 2281164263 (eff. 0.009)
444.22/444.36	c GC COLLECT
444.22/444.36	c #Conflicts:      50000 | #Learnt:       5883 | 0.000
444.22/444.36	c total clause space: 127.173MB
444.22/444.36	c total #watches: 293513
453.62/453.70	c total #propagations: 19852479 / total #impl: 2303655488 (eff. 0.009)
453.62/453.70	c #Conflicts:      51000 | #Learnt:       6883 | 0.000
453.62/453.70	c total clause space: 127.173MB
453.62/453.70	c total #watches: 306683
462.32/462.41	c total #propagations: 20239789 / total #impl: 2335046433 (eff. 0.009)
462.32/462.41	c #Conflicts:      52000 | #Learnt:       7883 | 0.000
462.32/462.41	c total clause space: 127.173MB
462.32/462.41	c total #watches: 313696
470.62/470.78	c total #propagations: 20657185 / total #impl: 2351167667 (eff. 0.009)
470.62/470.78	c #Conflicts:      53000 | #Learnt:       8883 | 0.000
470.62/470.78	c total clause space: 127.173MB
470.62/470.78	c total #watches: 374332
480.32/480.45	c total #propagations: 21080115 / total #impl: 2391744450 (eff. 0.009)
480.32/480.45	c #Conflicts:      54000 | #Learnt:       9883 | 0.000
480.32/480.45	c total clause space: 127.173MB
480.32/480.45	c total #watches: 444210
496.12/496.27	c total #propagations: 21475713 / total #impl: 2421255221 (eff. 0.009)
496.12/496.27	c #Conflicts:      55000 | #Learnt:      10883 | 0.000
496.12/496.27	c total clause space: 127.173MB
496.12/496.27	c total #watches: 503844
508.22/508.39	c total #propagations: 21943742 / total #impl: 2533420921 (eff. 0.009)
508.22/508.39	c GC COLLECT
508.22/508.39	c #Conflicts:      56000 | #Learnt:       6276 | 0.000
508.22/508.39	c total clause space: 127.173MB
508.22/508.39	c total #watches: 394361
521.71/521.86	c total #propagations: 22384594 / total #impl: 2585528243 (eff. 0.009)
521.71/521.86	c #Conflicts:      57000 | #Learnt:       7276 | 0.000
521.71/521.86	c total clause space: 127.173MB
521.71/521.86	c total #watches: 419775
533.41/533.55	c total #propagations: 22913986 / total #impl: 2670071941 (eff. 0.009)
533.41/533.55	c #Conflicts:      58000 | #Learnt:       8276 | 0.000
533.41/533.55	c total clause space: 127.173MB
533.41/533.55	c total #watches: 439950
543.71/543.89	c total #propagations: 23470167 / total #impl: 2750435683 (eff. 0.009)
543.71/543.89	c #Conflicts:      59000 | #Learnt:       9276 | 0.000
543.71/543.89	c total clause space: 127.173MB
543.71/543.89	c total #watches: 483050
548.21/548.35	c total #propagations: 23867254 / total #impl: 2800274819 (eff. 0.009)
548.21/548.35	c #Conflicts:      60000 | #Learnt:      10276 | 0.000
548.21/548.35	c total clause space: 127.173MB
548.21/548.35	c total #watches: 541767
559.00/559.11	c total #propagations: 24158211 / total #impl: 2843996011 (eff. 0.008)
559.00/559.11	c #Conflicts:      61000 | #Learnt:      11276 | 0.000
559.00/559.11	c total clause space: 127.173MB
559.00/559.11	c total #watches: 610229
579.30/579.48	c total #propagations: 24494460 / total #impl: 2907490052 (eff. 0.008)
579.30/579.48	c GC COLLECT
579.30/579.48	c #Conflicts:      62000 | #Learnt:       6384 | 0.000
579.30/579.48	c total clause space: 127.173MB
579.30/579.48	c total #watches: 468942
590.71/590.85	c total #propagations: 25037621 / total #impl: 3034938136 (eff. 0.008)
590.71/590.85	c #Conflicts:      63000 | #Learnt:       7384 | 0.000
590.71/590.85	c total clause space: 127.173MB
590.71/590.85	c total #watches: 539697
603.80/603.96	c total #propagations: 25418202 / total #impl: 3098155668 (eff. 0.008)
603.80/603.96	c #Conflicts:      64000 | #Learnt:       8384 | 0.000
603.80/603.96	c total clause space: 127.173MB
603.80/603.96	c total #watches: 563181
617.89/618.02	c total #propagations: 25805987 / total #impl: 3177448968 (eff. 0.008)
617.89/618.02	c #Conflicts:      65000 | #Learnt:       9384 | 0.000
617.89/618.02	c total clause space: 127.173MB
617.89/618.02	c total #watches: 586446
633.39/633.54	c total #propagations: 26242452 / total #impl: 3269234673 (eff. 0.008)
633.39/633.54	c #Conflicts:      66000 | #Learnt:      10383 | 0.000
633.39/633.54	c total clause space: 127.173MB
633.39/633.54	c total #watches: 630675
647.80/648.00	c total #propagations: 26589387 / total #impl: 3362538839 (eff. 0.008)
647.80/648.00	c S1->S2
647.80/648.00	c #Conflicts:      67000 | #Learnt:      11384 | 0.000
647.80/648.00	c total clause space: 127.173MB
647.80/648.00	c total #watches: 710924
659.99/660.15	c total #propagations: 27000317 / total #impl: 3423190678 (eff. 0.008)
659.99/660.15	c #Conflicts:      68000 | #Learnt:      12384 | 0.000
659.99/660.15	c total clause space: 127.173MB
659.99/660.15	c total #watches: 780015
674.19/674.36	c total #propagations: 27393628 / total #impl: 3473128164 (eff. 0.008)
674.19/674.36	c GC COLLECT
674.19/674.36	c #Conflicts:      69000 | #Learnt:       7166 | 0.000
674.19/674.36	c total clause space: 127.173MB
674.19/674.36	c total #watches: 561371
682.38/682.52	c total #propagations: 27920380 / total #impl: 3544652177 (eff. 0.008)
682.38/682.52	c #Conflicts:      70000 | #Learnt:       8166 | 0.000
682.38/682.52	c total clause space: 127.173MB
682.38/682.52	c total #watches: 614594
697.39/697.50	c total #propagations: 28286657 / total #impl: 3575990897 (eff. 0.008)
697.39/697.50	c #Conflicts:      71000 | #Learnt:       9166 | 0.000
697.39/697.50	c total clause space: 127.173MB
697.39/697.50	c total #watches: 685914
704.58/704.76	c total #propagations: 28694296 / total #impl: 3628351939 (eff. 0.008)
704.58/704.76	c #Conflicts:      72000 | #Learnt:      10166 | 0.000
704.58/704.76	c total clause space: 127.173MB
704.58/704.76	c total #watches: 797835
713.98/714.11	c total #propagations: 28949646 / total #impl: 3645914051 (eff. 0.008)
713.98/714.11	c #Conflicts:      73000 | #Learnt:      11166 | 0.000
713.98/714.11	c total clause space: 127.173MB
713.98/714.11	c total #watches: 849800
731.18/731.30	c total #propagations: 29296119 / total #impl: 3685300948 (eff. 0.008)
731.18/731.30	c #Conflicts:      74000 | #Learnt:      12166 | 0.000
731.18/731.30	c total clause space: 127.173MB
731.18/731.30	c total #watches: 874247
751.18/751.36	c total #propagations: 29794421 / total #impl: 3769768941 (eff. 0.008)
751.18/751.36	c GC COLLECT
751.18/751.36	c #Conflicts:      75000 | #Learnt:       6669 | 0.000
751.18/751.36	c total clause space: 127.173MB
751.18/751.36	c total #watches: 587706
758.67/758.80	c total #propagations: 30371712 / total #impl: 3895582302 (eff. 0.008)
758.67/758.80	c #Conflicts:      76000 | #Learnt:       7669 | 0.000
758.67/758.80	c total clause space: 127.173MB
758.67/758.80	c total #watches: 649391
770.37/770.54	c total #propagations: 30739825 / total #impl: 3928935869 (eff. 0.008)
770.37/770.54	c #Conflicts:      77000 | #Learnt:       8669 | 0.000
770.37/770.54	c total clause space: 127.173MB
770.37/770.54	c total #watches: 698455
783.07/783.25	c total #propagations: 31146424 / total #impl: 3964509896 (eff. 0.008)
783.07/783.25	c #Conflicts:      78000 | #Learnt:       9669 | 0.000
783.07/783.25	c total clause space: 127.173MB
783.07/783.25	c total #watches: 779810
797.86/798.04	c total #propagations: 31533983 / total #impl: 4009943411 (eff. 0.008)
797.86/798.04	c #Conflicts:      79000 | #Learnt:      10669 | 0.000
797.86/798.04	c total clause space: 127.173MB
797.86/798.04	c total #watches: 822188
813.16/813.35	c total #propagations: 31928647 / total #impl: 4037841481 (eff. 0.008)
813.16/813.35	c #Conflicts:      80000 | #Learnt:      11668 | 0.000
813.16/813.35	c total clause space: 127.173MB
813.16/813.35	c total #watches: 876891
826.55/826.71	c total #propagations: 32332797 / total #impl: 4062004368 (eff. 0.008)
826.55/826.71	c #Conflicts:      81000 | #Learnt:      12668 | 0.000
826.55/826.71	c total clause space: 127.173MB
826.55/826.71	c total #watches: 950658
849.55/849.79	c total #propagations: 32693872 / total #impl: 4088828152 (eff. 0.008)
849.55/849.79	c GC COLLECT
849.55/849.79	c #Conflicts:      82000 | #Learnt:       6852 | 0.000
849.55/849.79	c total clause space: 206.656MB
849.55/849.79	c total #watches: 646231
860.55/860.76	c total #propagations: 33118550 / total #impl: 4113113805 (eff. 0.008)
860.55/860.76	c #Conflicts:      83000 | #Learnt:       7851 | 0.000
860.55/860.76	c total clause space: 206.656MB
860.55/860.76	c total #watches: 735564
864.25/864.48	c total #propagations: 33430497 / total #impl: 4134524025 (eff. 0.008)
864.25/864.48	c #Conflicts:      84000 | #Learnt:       8851 | 0.000
864.25/864.48	c total clause space: 206.656MB
864.25/864.48	c total #watches: 828292
872.44/872.62	c total #propagations: 33610012 / total #impl: 4162244161 (eff. 0.008)
872.44/872.62	c #Conflicts:      85000 | #Learnt:       9851 | 0.000
872.44/872.62	c total clause space: 206.656MB
872.44/872.62	c total #watches: 924231
885.04/885.20	c total #propagations: 33829424 / total #impl: 4175088996 (eff. 0.008)
885.04/885.20	c #Conflicts:      86000 | #Learnt:      10851 | 0.000
885.04/885.20	c total clause space: 206.656MB
885.04/885.20	c total #watches: 998783
904.44/904.66	c total #propagations: 34094753 / total #impl: 4199676351 (eff. 0.008)
904.44/904.66	c #Conflicts:      87000 | #Learnt:      11851 | 0.000
904.44/904.66	c total clause space: 206.656MB
904.44/904.66	c total #watches: 1076405
926.24/926.44	c total #propagations: 34395618 / total #impl: 4262473158 (eff. 0.008)
926.24/926.44	c #Conflicts:      88000 | #Learnt:      12851 | 0.000
926.24/926.44	c total clause space: 206.656MB
926.24/926.44	c total #watches: 1165236
950.74/950.95	c total #propagations: 34724625 / total #impl: 4319429535 (eff. 0.008)
950.74/950.95	c #Conflicts:      89000 | #Learnt:      13851 | 0.000
950.74/950.95	c total clause space: 206.656MB
950.74/950.95	c total #watches: 1250593
973.63/973.82	c total #propagations: 35051620 / total #impl: 4353259439 (eff. 0.008)
973.63/973.82	c GC COLLECT
973.63/973.82	c #Conflicts:      90000 | #Learnt:       7747 | 0.000
973.63/973.82	c total clause space: 206.656MB
973.63/973.82	c total #watches: 891760
1003.63/1003.87	c total #propagations: 35402767 / total #impl: 4383637137 (eff. 0.008)
1003.63/1003.87	c #Conflicts:      91000 | #Learnt:       8747 | 0.000
1003.63/1003.87	c total clause space: 206.656MB
1003.63/1003.87	c total #watches: 933781
1031.52/1031.77	c total #propagations: 35874407 / total #impl: 4419535618 (eff. 0.008)
1031.52/1031.77	c #Conflicts:      92000 | #Learnt:       9747 | 0.000
1031.52/1031.77	c total clause space: 206.656MB
1031.52/1031.77	c total #watches: 975632
1063.22/1063.42	c total #propagations: 36368252 / total #impl: 4461029217 (eff. 0.008)
1063.22/1063.42	c #Conflicts:      93000 | #Learnt:      10746 | 0.000
1063.22/1063.42	c total clause space: 206.656MB
1063.22/1063.42	c total #watches: 1025171
1091.81/1092.07	c total #propagations: 36771909 / total #impl: 4503974536 (eff. 0.008)
1091.81/1092.07	c #Conflicts:      94000 | #Learnt:      11746 | 0.000
1091.81/1092.07	c total clause space: 206.656MB
1091.81/1092.07	c total #watches: 1073798
1142.71/1142.92	c total #propagations: 37094799 / total #impl: 4545004886 (eff. 0.008)
1142.71/1142.92	c #Conflicts:      95000 | #Learnt:      12746 | 0.000
1142.71/1142.92	c total clause space: 206.656MB
1142.71/1142.92	c total #watches: 1125541
1164.81/1165.05	c total #propagations: 37558538 / total #impl: 4621367777 (eff. 0.008)
1164.81/1165.05	c #Conflicts:      96000 | #Learnt:      13746 | 0.000
1164.81/1165.05	c total clause space: 206.656MB
1164.81/1165.05	c total #watches: 1223567
1198.40/1198.65	c total #propagations: 37817844 / total #impl: 4684936305 (eff. 0.008)
1198.40/1198.65	c #Conflicts:      97000 | #Learnt:      14746 | 0.000
1198.40/1198.65	c total clause space: 206.656MB
1198.40/1198.65	c total #watches: 1280133
1220.90/1221.12	c total #propagations: 38135902 / total #impl: 4735256524 (eff. 0.008)
1220.90/1221.12	c GC COLLECT
1220.90/1221.12	c #Conflicts:      98000 | #Learnt:       8343 | 0.000
1220.90/1221.12	c total clause space: 206.656MB
1220.90/1221.12	c total #watches: 836096
1245.39/1245.67	c total #propagations: 38473610 / total #impl: 4770097135 (eff. 0.008)
1245.39/1245.67	c #Conflicts:      99000 | #Learnt:       9343 | 0.000
1245.39/1245.67	c total clause space: 206.656MB
1245.39/1245.67	c total #watches: 890788
1269.09/1269.32	c total #propagations: 38828490 / total #impl: 4794231070 (eff. 0.008)
1269.09/1269.32	c #Conflicts:     100000 | #Learnt:      10343 | 0.000
1269.09/1269.32	c total clause space: 206.656MB
1269.09/1269.32	c total #watches: 946557
1299.68/1299.93	c total #propagations: 39189196 / total #impl: 4871371957 (eff. 0.008)
1299.68/1299.93	c #Conflicts:     101000 | #Learnt:      11343 | 0.000
1299.68/1299.93	c total clause space: 206.656MB
1299.68/1299.93	c total #watches: 1031219
1334.68/1334.95	c total #propagations: 39532371 / total #impl: 4896785093 (eff. 0.008)
1334.68/1334.95	c #Conflicts:     102000 | #Learnt:      12343 | 0.000
1334.68/1334.95	c total clause space: 206.656MB
1334.68/1334.95	c total #watches: 1081444
1360.58/1360.85	c total #propagations: 39909150 / total #impl: 4935867610 (eff. 0.008)
1360.58/1360.85	c #Conflicts:     103000 | #Learnt:      13343 | 0.000
1360.58/1360.85	c total clause space: 206.656MB
1360.58/1360.85	c total #watches: 1147515
1374.57/1374.87	c total #propagations: 40242814 / total #impl: 4981287979 (eff. 0.008)
1374.57/1374.87	c #Conflicts:     104000 | #Learnt:      14343 | 0.000
1374.57/1374.87	c total clause space: 206.656MB
1374.57/1374.87	c total #watches: 1236895
1431.36/1431.65	c total #propagations: 40484077 / total #impl: 5017772715 (eff. 0.008)
1431.36/1431.65	c #Conflicts:     105000 | #Learnt:      15343 | 0.000
1431.36/1431.65	c total clause space: 206.656MB
1431.36/1431.65	c total #watches: 1298990
1470.76/1471.05	c total #propagations: 40930340 / total #impl: 5080804658 (eff. 0.008)
1470.76/1471.05	c GC COLLECT
1470.76/1471.05	c #Conflicts:     106000 | #Learnt:       8643 | 0.000
1470.76/1471.05	c total clause space: 206.656MB
1470.76/1471.05	c total #watches: 898896
1513.75/1514.02	c total #propagations: 41391385 / total #impl: 5118079002 (eff. 0.008)
1513.75/1514.02	c #Conflicts:     107000 | #Learnt:       9643 | 0.000
1513.75/1514.02	c total clause space: 206.656MB
1513.75/1514.02	c total #watches: 960289
1549.24/1549.52	c total #propagations: 41832854 / total #impl: 5185358387 (eff. 0.008)
1549.24/1549.52	c #Conflicts:     108000 | #Learnt:      10642 | 0.000
1549.24/1549.52	c total clause space: 206.656MB
1549.24/1549.52	c total #watches: 1005513
1589.84/1590.14	c total #propagations: 42257041 / total #impl: 5237835346 (eff. 0.008)
1589.84/1590.14	c #Conflicts:     109000 | #Learnt:      11642 | 0.000
1589.84/1590.14	c total clause space: 206.656MB
1589.84/1590.14	c total #watches: 1082005
1619.04/1619.35	c total #propagations: 42677635 / total #impl: 5291228153 (eff. 0.008)
1619.04/1619.35	c #Conflicts:     110000 | #Learnt:      12642 | 0.000
1619.04/1619.35	c total clause space: 206.656MB
1619.04/1619.35	c total #watches: 1147502
1647.63/1647.96	c total #propagations: 43048563 / total #impl: 5339561096 (eff. 0.008)
1647.63/1647.96	c #Conflicts:     111000 | #Learnt:      13642 | 0.000
1647.63/1647.96	c total clause space: 206.656MB
1647.63/1647.96	c total #watches: 1216575
1666.23/1666.56	c total #propagations: 43398164 / total #impl: 5384389201 (eff. 0.008)
1666.23/1666.56	c #Conflicts:     112000 | #Learnt:      14642 | 0.000
1666.23/1666.56	c total clause space: 206.656MB
1666.23/1666.56	c total #watches: 1271741
1719.61/1719.95	c total #propagations: 43684871 / total #impl: 5426051651 (eff. 0.008)
1719.61/1719.95	c #Conflicts:     113000 | #Learnt:      15641 | 0.000
1719.61/1719.95	c total clause space: 206.656MB
1719.61/1719.95	c total #watches: 1327337
1767.72/1768.04	c total #propagations: 44090932 / total #impl: 5486098414 (eff. 0.008)
1767.72/1768.04	c GC COLLECT
1767.72/1768.04	c #Conflicts:     114000 | #Learnt:       8670 | 0.000
1767.72/1768.04	c total clause space: 335.816MB
1767.72/1768.04	c total #watches: 914339
1798.32/1798.61	c total #propagations: 44521700 / total #impl: 5514646867 (eff. 0.008)
1798.32/1798.61	c #Conflicts:     115000 | #Learnt:       9670 | 0.000
1798.32/1798.61	c total clause space: 335.816MB
1798.32/1798.61	c total #watches: 953393

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-4087669-1465434280/watcher-4087669-1465434280 -o /tmp/evaluation-result-4087669-1465434280/solver-4087669-1465434280 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1465427040-1776 --watchdog 1960 --input HOME/instance-4087669-1465434280.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

pid=2997
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.29 2.26 2.20 3/175 3000
/proc/meminfo: memFree=29555040/32872528 swapFree=17536/1464688
[pid=3000] ppid=2997 vsize=55976 CPUtime=0 cores=1,3,5,7
/proc/3000/stat : 3000 (cdcl-cuttingpla) R 2997 3000 1759 0 -1 4202496 258 0 0 0 0 0 0 0 20 0 1 0 125361036 57319424 7293 33554432000 4194304 6211289 140733995769712 140733577724456 4206563 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3000/statm: 13994 7293 98 493 0 13491 0

[startup+0.100171 s]
/proc/loadavg: 2.29 2.26 2.20 3/175 3000
/proc/meminfo: memFree=29555040/32872528 swapFree=17536/1464688
[pid=3000] ppid=2997 vsize=66296 CPUtime=0.08 cores=1,3,5,7
/proc/3000/stat : 3000 (cdcl-cuttingpla) R 2997 3000 1759 0 -1 4202496 1719 0 0 0 8 0 0 0 20 0 1 0 125361036 67887104 14223 33554432000 4194304 6211289 140733995769712 140733577724456 4205291 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3000/statm: 16574 14223 204 493 0 16071 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 66296

[startup+0.200339 s]
/proc/loadavg: 2.29 2.26 2.20 3/175 3000
/proc/meminfo: memFree=29555040/32872528 swapFree=17536/1464688
[pid=3000] ppid=2997 vsize=69544 CPUtime=0.18 cores=1,3,5,7
/proc/3000/stat : 3000 (cdcl-cuttingpla) R 2997 3000 1759 0 -1 4202496 2100 0 0 0 18 0 0 0 20 0 1 0 125361036 71213056 15024 33554432000 4194304 6211289 140733995769712 140733577724456 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3000/statm: 17386 15024 204 493 0 16883 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 69544

[startup+0.300274 s]
/proc/loadavg: 2.29 2.26 2.20 3/175 3000
/proc/meminfo: memFree=29555040/32872528 swapFree=17536/1464688
[pid=3000] ppid=2997 vsize=69676 CPUtime=0.28 cores=1,3,5,7
/proc/3000/stat : 3000 (cdcl-cuttingpla) R 2997 3000 1759 0 -1 4202496 2122 0 0 0 28 0 0 0 20 0 1 0 125361036 71348224 15046 33554432000 4194304 6211289 140733995769712 140733577724456 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3000/statm: 17419 15046 204 493 0 16916 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 69676

[startup+0.700278 s]
/proc/loadavg: 2.29 2.26 2.20 3/175 3000
/proc/meminfo: memFree=29555040/32872528 swapFree=17536/1464688
[pid=3000] ppid=2997 vsize=74624 CPUtime=0.68 cores=1,3,5,7
/proc/3000/stat : 3000 (cdcl-cuttingpla) R 2997 3000 1759 0 -1 4202496 2537 0 0 0 68 0 0 0 20 0 1 0 125361036 76414976 15875 33554432000 4194304 6211289 140733995769712 140733995767624 5153956 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3000/statm: 18656 15891 214 493 0 18153 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 74624

[startup+1.50021 s]
/proc/loadavg: 2.27 2.25 2.20 3/176 3001
/proc/meminfo: memFree=29485572/32872528 swapFree=17536/1464688
[pid=3000] ppid=2997 vsize=82888 CPUtime=1.49 cores=1,3,5,7
/proc/3000/stat : 3000 (cdcl-cuttingpla) R 2997 3000 1759 0 -1 4202496 3325 0 0 0 148 1 0 0 20 0 1 0 125361036 84877312 16986 33554432000 4194304 6211289 140733995769712 140733995767624 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3000/statm: 20722 16986 214 493 0 20219 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 82888

[startup+3.10023 s]
/proc/loadavg: 2.27 2.25 2.20 3/176 3001
/proc/meminfo: memFree=29482904/32872528 swapFree=17536/1464688
[pid=3000] ppid=2997 vsize=83292 CPUtime=3.09 cores=1,3,5,7
/proc/3000/stat : 3000 (cdcl-cuttingpla) R 2997 3000 1759 0 -1 4202496 3427 0 0 0 308 1 0 0 20 0 1 0 125361036 85291008 18110 33554432000 4194304 6211289 140733995769712 140733995767624 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3000/statm: 20823 18110 214 493 0 20320 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83292

[startup+6.30024 s]
/proc/loadavg: 2.25 2.25 2.20 3/176 3001
/proc/meminfo: memFree=29472992/32872528 swapFree=17536/1464688
[pid=3000] ppid=2997 vsize=95504 CPUtime=6.29 cores=1,3,5,7
/proc/3000/stat : 3000 (cdcl-cuttingpla) R 2997 3000 1759 0 -1 4202496 4665 0 0 0 628 1 0 0 20 0 1 0 125361036 97796096 18878 33554432000 4194304 6211289 140733995769712 140733995768056 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3000/statm: 23876 18878 219 493 0 23373 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 95504

[startup+12.7002 s]
/proc/loadavg: 2.23 2.25 2.19 3/176 3001
/proc/meminfo: memFree=29460880/32872528 swapFree=17536/1464688
[pid=3000] ppid=2997 vsize=96184 CPUtime=12.69 cores=1,3,5,7
/proc/3000/stat : 3000 (cdcl-cuttingpla) R 2997 3000 1759 0 -1 4202496 5229 0 0 0 1268 1 0 0 20 0 1 0 125361036 98492416 20334 33554432000 4194304 6211289 140733995769712 140733995767576 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3000/statm: 24046 20334 219 493 0 23543 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 96184

[startup+25.5003 s]
/proc/loadavg: 2.19 2.24 2.19 4/176 3001
/proc/meminfo: memFree=29440624/32872528 swapFree=17536/1464688
[pid=3000] ppid=2997 vsize=115692 CPUtime=25.48 cores=1,3,5,7
/proc/3000/stat : 3000 (cdcl-cuttingpla) R 2997 3000 1759 0 -1 4202496 6173 0 0 0 2547 1 0 0 20 0 1 0 125361036 118468608 22859 33554432000 4194304 6211289 140733995769712 140733995767624 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3000/statm: 28923 22859 219 493 0 28420 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 115692

[startup+51.1003 s]
/proc/loadavg: 2.12 2.21 2.18 3/176 3001
/proc/meminfo: memFree=29331920/32872528 swapFree=17536/1464688
[pid=3000] ppid=2997 vsize=252380 CPUtime=51.08 cores=1,3,5,7
/proc/3000/stat : 3000 (cdcl-cuttingpla) R 2997 3000 1759 0 -1 4202496 13041 0 0 0 5104 4 0 0 20 0 1 0 125361036 258437120 45337 33554432000 4194304 6211289 140733995769712 140733995768056 4209306 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3000/statm: 63095 45337 219 493 0 62592 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 252380

[startup+102.3 s]
/proc/loadavg: 2.12 2.19 2.18 3/176 3206
/proc/meminfo: memFree=29291872/32872528 swapFree=17536/1464688
[pid=3000] ppid=2997 vsize=255608 CPUtime=102.28 cores=1,3,5,7
/proc/3000/stat : 3000 (cdcl-cuttingpla) R 2997 3000 1759 0 -1 4202496 14303 0 0 0 10223 5 0 0 20 0 1 0 125361036 261742592 48561 33554432000 4194304 6211289 140733995769712 140733995768056 4209403 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3000/statm: 63902 48561 219 493 0 63399 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 255608

[startup+162.3 s]
/proc/loadavg: 2.08 2.17 2.17 4/175 3207
/proc/meminfo: memFree=29276892/32872528 swapFree=17540/1464692
[pid=3000] ppid=2997 vsize=256216 CPUtime=162.27 cores=1,3,5,7
/proc/3000/stat : 3000 (cdcl-cuttingpla) R 2997 3000 1759 0 -1 4202496 14580 0 0 0 16222 5 0 0 20 0 1 0 125361036 262365184 49288 33554432000 4194304 6211289 140733995769712 140733995768056 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3000/statm: 64054 49288 219 493 0 63551 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 256216

[startup+222.307 s]
/proc/loadavg: 2.19 2.18 2.18 3/175 3208
/proc/meminfo: memFree=29270128/32872528 swapFree=17536/1464688
[pid=3000] ppid=2997 vsize=257368 CPUtime=222.26 cores=1,3,5,7
/proc/3000/stat : 3000 (cdcl-cuttingpla) R 2997 3000 1759 0 -1 4202496 14876 0 0 0 22221 5 0 0 20 0 1 0 125361036 263544832 49584 33554432000 4194304 6211289 140733995769712 140733995768056 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3000/statm: 64342 49584 219 493 0 63839 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 257368

[startup+282.3 s]
/proc/loadavg: 2.15 2.16 2.17 3/175 3210
/proc/meminfo: memFree=29260828/32872528 swapFree=17536/1464688
[pid=3000] ppid=2997 vsize=257848 CPUtime=282.25 cores=1,3,5,7
/proc/3000/stat : 3000 (cdcl-cuttingpla) R 2997 3000 1759 0 -1 4202496 14972 0 0 0 28220 5 0 0 20 0 1 0 125361036 264036352 49680 33554432000 4194304 6211289 140733995769712 140733995767624 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3000/statm: 64462 49680 219 493 0 63959 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 257848

[startup+342.3 s]
/proc/loadavg: 2.09 2.14 2.16 4/176 3214
/proc/meminfo: memFree=29257580/32872528 swapFree=17536/1464688
[pid=3000] ppid=2997 vsize=258492 CPUtime=342.24 cores=1,3,5,7
/proc/3000/stat : 3000 (cdcl-cuttingpla) R 2997 3000 1759 0 -1 4202496 15113 0 0 0 34219 5 0 0 20 0 1 0 125361036 264695808 49821 33554432000 4194304 6211289 140733995769712 140733995768056 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3000/statm: 64623 49821 219 493 0 64120 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 258492

[startup+402.3 s]
/proc/loadavg: 2.26 2.18 2.17 3/175 3215
/proc/meminfo: memFree=29257456/32872528 swapFree=17536/1464688
[pid=3000] ppid=2997 vsize=259036 CPUtime=402.23 cores=1,3,5,7
/proc/3000/stat : 3000 (cdcl-cuttingpla) R 2997 3000 1759 0 -1 4202496 15183 0 0 0 40218 5 0 0 20 0 1 0 125361036 265252864 49891 33554432000 4194304 6211289 140733995769712 140733995768056 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3000/statm: 64759 49891 219 493 0 64256 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 259036

[startup+462.3 s]
/proc/loadavg: 2.28 2.19 2.18 3/175 3216
/proc/meminfo: memFree=29255028/32872528 swapFree=17536/1464688
[pid=3000] ppid=2997 vsize=259036 CPUtime=462.22 cores=1,3,5,7
/proc/3000/stat : 3000 (cdcl-cuttingpla) R 2997 3000 1759 0 -1 4202496 15199 0 0 0 46217 5 0 0 20 0 1 0 125361036 265252864 49907 33554432000 4194304 6211289 140733995769712 140733995768056 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3000/statm: 64759 49907 219 493 0 64256 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 259036

[startup+522.3 s]
/proc/loadavg: 2.23 2.18 2.18 3/174 3217
/proc/meminfo: memFree=29251952/32872528 swapFree=17536/1464688
[pid=3000] ppid=2997 vsize=259036 CPUtime=522.21 cores=1,3,5,7
/proc/3000/stat : 3000 (cdcl-cuttingpla) R 2997 3000 1759 0 -1 4202496 15213 0 0 0 52216 5 0 0 20 0 1 0 125361036 265252864 49921 33554432000 4194304 6211289 140733995769712 140733995768056 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3000/statm: 64759 49921 219 493 0 64256 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 259036

[startup+582.3 s]
/proc/loadavg: 2.25 2.19 2.18 4/175 3220
/proc/meminfo: memFree=29249968/32872528 swapFree=17536/1464688
[pid=3000] ppid=2997 vsize=259708 CPUtime=582.2 cores=1,3,5,7
/proc/3000/stat : 3000 (cdcl-cuttingpla) R 2997 3000 1759 0 -1 4202496 15438 0 0 0 58215 5 0 0 20 0 1 0 125361036 265940992 50145 33554432000 4194304 6211289 140733995769712 140733995768056 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3000/statm: 64927 50145 219 493 0 64424 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 259708


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


[startup+942.3 s]
/proc/loadavg: 2.40 2.27 2.20 3/176 3230
/proc/meminfo: memFree=29042796/32872528 swapFree=17536/1464688
[pid=3000] ppid=2997 vsize=383792 CPUtime=942.14 cores=1,3,5,7
/proc/3000/stat : 3000 (cdcl-cuttingpla) R 2997 3000 1759 0 -1 4202496 19540 0 0 0 94206 8 0 0 20 0 1 0 125361036 393003008 80215 33554432000 4194304 6211289 140733995769712 140733995767576 4209342 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3000/statm: 95948 80215 219 493 0 95445 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 383792

[startup+1002.3 s]
/proc/loadavg: 2.34 2.27 2.20 3/175 3231
/proc/meminfo: memFree=29020956/32872528 swapFree=17536/1464688
[pid=3000] ppid=2997 vsize=384724 CPUtime=1002.13 cores=1,3,5,7
/proc/3000/stat : 3000 (cdcl-cuttingpla) R 2997 3000 1759 0 -1 4202496 19755 0 0 0 100205 8 0 0 20 0 1 0 125361036 393957376 82964 33554432000 4194304 6211289 140733995769712 140733995767576 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3000/statm: 96181 82964 219 493 0 95678 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 384724

[startup+1062.3 s]
/proc/loadavg: 2.21 2.25 2.19 3/175 3232
/proc/meminfo: memFree=29011900/32872528 swapFree=17536/1464688
[pid=3000] ppid=2997 vsize=384884 CPUtime=1062.12 cores=1,3,5,7
/proc/3000/stat : 3000 (cdcl-cuttingpla) R 2997 3000 1759 0 -1 4202496 19904 0 0 0 106204 8 0 0 20 0 1 0 125361036 394121216 83113 33554432000 4194304 6211289 140733995769712 140733995767576 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3000/statm: 96221 83113 219 493 0 95718 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 384884

[startup+1122.3 s]
/proc/loadavg: 2.31 2.26 2.20 3/175 3233
/proc/meminfo: memFree=29007564/32872528 swapFree=17536/1464688
[pid=3000] ppid=2997 vsize=385204 CPUtime=1122.11 cores=1,3,5,7
/proc/3000/stat : 3000 (cdcl-cuttingpla) R 2997 3000 1759 0 -1 4202496 19947 0 0 0 112203 8 0 0 20 0 1 0 125361036 394448896 83156 33554432000 4194304 6211289 140733995769712 140733995767576 4209244 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3000/statm: 96301 83156 219 493 0 95798 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 385204

[startup+1182.3 s]
/proc/loadavg: 2.23 2.24 2.19 3/175 3235
/proc/meminfo: memFree=28996332/32872528 swapFree=17536/1464688
[pid=3000] ppid=2997 vsize=386484 CPUtime=1182.1 cores=1,3,5,7
/proc/3000/stat : 3000 (cdcl-cuttingpla) R 2997 3000 1759 0 -1 4202496 20205 0 0 0 118201 9 0 0 20 0 1 0 125361036 395759616 85458 33554432000 4194304 6211289 140733995769712 140733995768056 4209384 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3000/statm: 96621 85458 219 493 0 96118 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 386484

[startup+1242.3 s]
/proc/loadavg: 2.12 2.21 2.18 4/175 3236
/proc/meminfo: memFree=28978824/32872528 swapFree=17536/1464688
[pid=3000] ppid=2997 vsize=386644 CPUtime=1242.09 cores=1,3,5,7
/proc/3000/stat : 3000 (cdcl-cuttingpla) R 2997 3000 1759 0 -1 4202496 20228 0 0 0 124200 9 0 0 20 0 1 0 125361036 395923456 88036 33554432000 4194304 6211289 140733995769712 140733995767576 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3000/statm: 96661 88036 219 493 0 96158 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 386644

[startup+1302.3 s]
/proc/loadavg: 2.14 2.20 2.18 3/175 3237
/proc/meminfo: memFree=28969572/32872528 swapFree=17536/1464688
[pid=3000] ppid=2997 vsize=386644 CPUtime=1302.08 cores=1,3,5,7
/proc/3000/stat : 3000 (cdcl-cuttingpla) R 2997 3000 1759 0 -1 4202496 20301 0 0 0 130199 9 0 0 20 0 1 0 125361036 395923456 88109 33554432000 4194304 6211289 140733995769712 140733995768056 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3000/statm: 96661 88109 219 493 0 96158 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 386644

[startup+1362.3 s]
/proc/loadavg: 2.10 2.17 2.17 3/175 3238
/proc/meminfo: memFree=28965600/32872528 swapFree=17536/1464688
[pid=3000] ppid=2997 vsize=386804 CPUtime=1362.07 cores=1,3,5,7
/proc/3000/stat : 3000 (cdcl-cuttingpla) R 2997 3000 1759 0 -1 4202496 20339 0 0 0 136198 9 0 0 20 0 1 0 125361036 396087296 88147 33554432000 4194304 6211289 140733995769712 140733995768056 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3000/statm: 96701 88147 219 493 0 96198 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 386804

[startup+1422.3 s]
/proc/loadavg: 2.16 2.18 2.18 3/175 3239
/proc/meminfo: memFree=28956532/32872528 swapFree=17536/1464688
[pid=3000] ppid=2997 vsize=387060 CPUtime=1422.07 cores=1,3,5,7
/proc/3000/stat : 3000 (cdcl-cuttingpla) R 2997 3000 1759 0 -1 4202496 20373 0 0 0 142198 9 0 0 20 0 1 0 125361036 396349440 88692 33554432000 4194304 6211289 140733995769712 140733995768056 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3000/statm: 96765 88692 219 493 0 96262 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 387060

[startup+1482.3 s]
/proc/loadavg: 2.19 2.19 2.18 3/175 3241
/proc/meminfo: memFree=28947720/32872528 swapFree=17536/1464688
[pid=3000] ppid=2997 vsize=387204 CPUtime=1482.05 cores=1,3,5,7
/proc/3000/stat : 3000 (cdcl-cuttingpla) R 2997 3000 1759 0 -1 4202496 20403 0 0 0 148196 9 0 0 20 0 1 0 125361036 396496896 89233 33554432000 4194304 6211289 140733995769712 140733995768056 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3000/statm: 96801 89233 219 493 0 96298 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 387204

[startup+1542.31 s]
/proc/loadavg: 2.12 2.17 2.17 3/176 3245
/proc/meminfo: memFree=28941280/32872528 swapFree=17536/1464688
[pid=3000] ppid=2997 vsize=387348 CPUtime=1542.05 cores=1,3,5,7
/proc/3000/stat : 3000 (cdcl-cuttingpla) R 2997 3000 1759 0 -1 4202496 20432 0 0 0 154196 9 0 0 20 0 1 0 125361036 396644352 89262 33554432000 4194304 6211289 140733995769712 140733995768056 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3000/statm: 96837 89262 219 493 0 96334 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 387348

[startup+1602.3 s]
/proc/loadavg: 2.08 2.15 2.17 3/175 3246
/proc/meminfo: memFree=28939852/32872528 swapFree=17536/1464688
[pid=3000] ppid=2997 vsize=387684 CPUtime=1602.03 cores=1,3,5,7
/proc/3000/stat : 3000 (cdcl-cuttingpla) R 2997 3000 1759 0 -1 4202496 20497 0 0 0 160194 9 0 0 20 0 1 0 125361036 396988416 89327 33554432000 4194304 6211289 140733995769712 140733995768056 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3000/statm: 96921 89327 219 493 0 96418 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 387684

[startup+1662.3 s]
/proc/loadavg: 2.29 2.20 2.18 3/175 3247
/proc/meminfo: memFree=28939228/32872528 swapFree=17536/1464688
[pid=3000] ppid=2997 vsize=388116 CPUtime=1662.02 cores=1,3,5,7
/proc/3000/stat : 3000 (cdcl-cuttingpla) R 2997 3000 1759 0 -1 4202496 20576 0 0 0 166193 9 0 0 20 0 1 0 125361036 397430784 89406 33554432000 4194304 6211289 140733995769712 140733995767576 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3000/statm: 97029 89406 219 493 0 96526 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 388116

[startup+1722.3 s]
/proc/loadavg: 2.16 2.17 2.17 3/175 3248
/proc/meminfo: memFree=28930780/32872528 swapFree=17536/1464688
[pid=3000] ppid=2997 vsize=388692 CPUtime=1722.01 cores=1,3,5,7
/proc/3000/stat : 3000 (cdcl-cuttingpla) R 2997 3000 1759 0 -1 4202496 20691 0 0 0 172192 9 0 0 20 0 1 0 125361036 398020608 91565 33554432000 4194304 6211289 140733995769712 140733995767576 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3000/statm: 97173 91565 219 493 0 96670 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 388692

[startup+1782.3 s]
/proc/loadavg: 2.13 2.17 2.17 2/172 3290
/proc/meminfo: memFree=29354004/32872528 swapFree=17536/1464688
[pid=3000] ppid=2997 vsize=521400 CPUtime=1782.01 cores=1,3,5,7
/proc/3000/stat : 3000 (cdcl-cuttingpla) R 2997 3000 1759 0 -1 4202496 21326 0 0 0 178190 11 0 0 20 0 1 0 125361036 533913600 92404 33554432000 4194304 6211289 140733995769712 140733995767576 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3000/statm: 130350 92404 219 493 0 129847 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 521400



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.17 2.17 2.18 3/175 3296
/proc/meminfo: memFree=29247620/32872528 swapFree=17536/1464688
[pid=3000] ppid=2997 vsize=521400 CPUtime=1800.01 cores=1,3,5,7
/proc/3000/stat : 3000 (cdcl-cuttingpla) R 2997 3000 1759 0 -1 4202496 21327 0 0 0 179990 11 0 0 20 0 1 0 125361036 533913600 92405 33554432000 4194304 6211289 140733995769712 140733995768056 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3000/statm: 130350 92405 219 493 0 129847 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 521400

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

[startup+1800.3 s]
/proc/loadavg: 2.17 2.17 2.18 3/175 3296
/proc/meminfo: memFree=29247620/32872528 swapFree=17536/1464688
[pid=3000] ppid=2997 vsize=521400 CPUtime=1800.01 cores=1,3,5,7
/proc/3000/stat : 3000 (cdcl-cuttingpla) R 2997 3000 1759 0 -1 4202496 21327 0 0 0 179990 11 0 0 20 0 1 0 125361036 533913600 92405 33554432000 4194304 6211289 140733995769712 140733995768056 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/3000/statm: 130350 92405 219 493 0 129847 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 521400

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.03
CPU user time (s): 1799.91
CPU system time (s): 0.123981
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 521400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.91
system time used= 0.123981
maximum resident set size= 369620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21327
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= 22
involuntary context switches= 1879

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.08023 second user time and 6.27405 second system time

The end

Launcher Data 

Begin job on node121 at 2016-06-09 03:04:40
IDJOB=4087669
IDBENCH=25029
IDSOLVER=2549
FILE ID=node121/4087669-1465434280
RUNJOBID= node121-1465427040-1776
PBS_JOBID= 19859788
Free space on /tmp= 71724 MiB

SOLVER NAME= cdcl-cuttingplanes OPT binary search 2016-05-01
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_partials/normalized-fir10_area_partials.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087669-1465434280/watcher-4087669-1465434280 -o /tmp/evaluation-result-4087669-1465434280/solver-4087669-1465434280 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1465427040-1776 --watchdog 1960 --input HOME/instance-4087669-1465434280.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= 8e58fdc516472c37b974ebbf77c2a4fa
RANDOM SEED=1971183852

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.050
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.54
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.050
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:        29554932 kB
Buffers:          111336 kB
Cached:           822348 kB
SwapCached:         1564 kB
Active:           575688 kB
Inactive:         534168 kB
Active(anon):     173972 kB
Inactive(anon):     4300 kB
Active(file):     401716 kB
Inactive(file):   529868 kB
Unevictable:     1464688 kB
Mlocked:           17536 kB
SwapTotal:      67108856 kB
SwapFree:       67099436 kB
Dirty:              9828 kB
Writeback:             0 kB
AnonPages:       1639484 kB
Mapped:             7696 kB
Shmem:                 0 kB
Slab:             609896 kB
SReclaimable:      53484 kB
SUnreclaim:       556412 kB
KernelStack:        1464 kB
PageTables:         7020 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1761856 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1533952 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= 71724 MiB
End job on node121 at 2016-06-09 03:34:40