Trace number 4119814

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.31

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm25p-opt.opb.negationfix.opb
MD5SUM0e6bc42a73004b619a56f65a9590fd0d
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark34
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective Function
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables
Total number of constraints
Number of constraints which are clauses
Number of constraints which are cardinality constraints (but not clauses)
Number of constraints which are nor clauses,nor cardinality constraints
Minimum length of a constraint
Maximum length of a constraint
Number of terms in the objective function
Biggest coefficient in the objective function
Number of bits for the biggest coefficient in the objective function
Sum of the numbers in the objective function
Number of bits of the sum of numbers in the objective function
Biggest number in a constraint
Number of bits of the biggest number in a constraint
Biggest sum of numbers in a constraint
Number of bits of the biggest sum of numbers
Number of products (including duplicates)
Sum of products size (including duplicates)
Number of different products
Sum of products size

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= 47232 #constraint= 994
0.79/0.83	c #Conflicts:       1000 | #Learnt:        999 | 0.000
0.79/0.83	c total clause space: 48.1602MB
0.79/0.83	c total #watches: 207683
10.09/10.15	c total #propagations: 226582 / total #impl: 943701 (eff. 0.240)
10.09/10.15	c #Conflicts:       2000 | #Learnt:       2025 | 0.000
10.09/10.15	c total clause space: 78.2603MB
10.09/10.15	c total #watches: 335392
11.09/11.19	c total #propagations: 1318741 / total #impl: 12300278 (eff. 0.107)
11.09/11.19	c GC COLLECT
11.09/11.19	c #Conflicts:       3000 | #Learnt:       2040 | 0.000
11.09/11.19	c total clause space: 78.2603MB
11.09/11.19	c total #watches: 386654
14.88/14.95	c total #propagations: 1422252 / total #impl: 13738599 (eff. 0.104)
14.88/14.95	c #Conflicts:       4000 | #Learnt:       3040 | 0.000
14.88/14.95	c total clause space: 127.173MB
14.88/14.95	c total #watches: 463850
20.19/20.26	c total #propagations: 1708389 / total #impl: 16213182 (eff. 0.105)
20.19/20.26	c GC COLLECT
20.19/20.26	c #Conflicts:       5000 | #Learnt:       2406 | 0.000
20.19/20.26	c total clause space: 127.173MB
20.19/20.26	c total #watches: 457449
23.59/23.60	c total #propagations: 2125224 / total #impl: 19858290 (eff. 0.107)
23.59/23.60	c #Conflicts:       6000 | #Learnt:       3407 | 0.000
23.59/23.60	c total clause space: 127.173MB
23.59/23.60	c total #watches: 535549
26.49/26.59	c total #propagations: 2316399 / total #impl: 22010755 (eff. 0.105)
26.49/26.59	c GC COLLECT
26.49/26.59	c #Conflicts:       7000 | #Learnt:       2292 | 0.000
26.49/26.59	c total clause space: 206.656MB
26.49/26.59	c total #watches: 493971
36.08/36.12	c total #propagations: 2389116 / total #impl: 24368084 (eff. 0.098)
36.08/36.12	c #Conflicts:       8000 | #Learnt:       3292 | 0.000
36.08/36.12	c total clause space: 206.656MB
36.08/36.12	c total #watches: 706651
51.48/51.58	c total #propagations: 2431296 / total #impl: 30187638 (eff. 0.081)
51.48/51.58	c #Conflicts:       9000 | #Learnt:       4292 | 0.000
51.48/51.58	c total clause space: 206.656MB
51.48/51.58	c total #watches: 783439
64.08/64.13	c total #propagations: 2787829 / total #impl: 35034397 (eff. 0.080)
64.08/64.13	c GC COLLECT
64.08/64.13	c #Conflicts:      10000 | #Learnt:       2783 | 0.000
64.08/64.13	c total clause space: 206.656MB
64.08/64.13	c total #watches: 593552
72.88/72.92	c total #propagations: 3051465 / total #impl: 38774937 (eff. 0.079)
72.88/72.92	c #Conflicts:      11000 | #Learnt:       3784 | 0.000
72.88/72.92	c total clause space: 206.656MB
72.88/72.92	c total #watches: 720386
88.28/88.38	c total #propagations: 3199016 / total #impl: 45813612 (eff. 0.070)
88.28/88.38	c #Conflicts:      12000 | #Learnt:       4784 | 0.000
88.28/88.38	c total clause space: 206.656MB
88.28/88.38	c total #watches: 823307
105.87/105.98	c total #propagations: 3495907 / total #impl: 51792495 (eff. 0.067)
105.87/105.98	c #Conflicts:      13000 | #Learnt:       5785 | 0.000
105.87/105.98	c total clause space: 206.656MB
105.87/105.98	c total #watches: 915506
111.57/111.68	c total #propagations: 3813830 / total #impl: 56693633 (eff. 0.067)
111.57/111.68	c GC COLLECT
111.57/111.68	c #Conflicts:      14000 | #Learnt:       3920 | 0.000
111.57/111.68	c total clause space: 206.656MB
111.57/111.68	c total #watches: 530601
119.57/119.61	c total #propagations: 4022787 / total #impl: 58977771 (eff. 0.068)
119.57/119.61	c #Conflicts:      15000 | #Learnt:       4920 | 0.000
119.57/119.61	c total clause space: 206.656MB
119.57/119.61	c total #watches: 630927
128.46/128.57	c total #propagations: 4178012 / total #impl: 61562616 (eff. 0.068)
128.46/128.57	c #Conflicts:      16000 | #Learnt:       5920 | 0.000
128.46/128.57	c total clause space: 206.656MB
128.46/128.57	c total #watches: 750066
134.97/135.02	c total #propagations: 4258364 / total #impl: 64237885 (eff. 0.066)
134.97/135.02	c GC COLLECT
134.97/135.02	c #Conflicts:      17000 | #Learnt:       3747 | 0.000
134.97/135.02	c total clause space: 335.816MB
134.97/135.02	c total #watches: 482569
139.87/139.99	c total #propagations: 4381430 / total #impl: 66552498 (eff. 0.066)
139.87/139.99	c #Conflicts:      18000 | #Learnt:       4747 | 0.000
139.87/139.99	c total clause space: 335.816MB
139.87/140.00	c total #watches: 559818
148.17/148.26	c total #propagations: 4472540 / total #impl: 69369896 (eff. 0.064)
148.17/148.26	c #Conflicts:      19000 | #Learnt:       5747 | 0.000
148.17/148.26	c total clause space: 335.816MB
148.17/148.26	c total #watches: 647471
163.16/163.26	c total #propagations: 4559767 / total #impl: 73541652 (eff. 0.062)
163.16/163.26	c #Conflicts:      20000 | #Learnt:       6747 | 0.001
163.16/163.26	c total clause space: 335.816MB
163.16/163.26	c total #watches: 711693
172.77/172.85	c total #propagations: 4914952 / total #impl: 76605845 (eff. 0.064)
172.77/172.85	c GC COLLECT
172.77/172.85	c #Conflicts:      21000 | #Learnt:       4258 | 0.001
172.77/172.85	c total clause space: 335.816MB
172.77/172.85	c total #watches: 505326
179.26/179.36	c total #propagations: 5276282 / total #impl: 79049309 (eff. 0.067)
179.26/179.36	c #Conflicts:      22000 | #Learnt:       5258 | 0.001
179.26/179.36	c total clause space: 335.816MB
179.26/179.36	c total #watches: 596323
188.56/188.62	c total #propagations: 5483294 / total #impl: 80760030 (eff. 0.068)
188.56/188.62	c #Conflicts:      23000 | #Learnt:       6258 | 0.001
188.56/188.62	c total clause space: 335.816MB
188.56/188.62	c total #watches: 675001
198.96/199.07	c total #propagations: 5784943 / total #impl: 83608535 (eff. 0.069)
198.96/199.07	c #Conflicts:      24000 | #Learnt:       7258 | 0.001
198.96/199.07	c total clause space: 335.816MB
198.96/199.07	c total #watches: 733684
209.06/209.13	c total #propagations: 6033737 / total #impl: 85383316 (eff. 0.071)
209.06/209.13	c GC COLLECT
209.06/209.13	c #Conflicts:      25000 | #Learnt:       4460 | 0.000
209.06/209.13	c total clause space: 335.816MB
209.06/209.13	c total #watches: 483533
214.95/215.04	c total #propagations: 6329358 / total #impl: 87449793 (eff. 0.072)
214.95/215.04	c #Conflicts:      26000 | #Learnt:       5460 | 0.000
214.95/215.04	c total clause space: 335.816MB
214.95/215.04	c total #watches: 543541
221.55/221.60	c total #propagations: 6470414 / total #impl: 89431009 (eff. 0.072)
221.55/221.60	c #Conflicts:      27000 | #Learnt:       6460 | 0.000
221.55/221.60	c total clause space: 335.816MB
221.55/221.60	c total #watches: 653622
235.36/235.44	c total #propagations: 6568137 / total #impl: 93927334 (eff. 0.070)
235.36/235.44	c #Conflicts:      28000 | #Learnt:       7460 | 0.000
235.36/235.44	c total clause space: 335.816MB
235.36/235.44	c total #watches: 740232
246.46/246.53	c total #propagations: 6912644 / total #impl: 97871760 (eff. 0.071)
246.46/246.53	c GC COLLECT
246.46/246.53	c #Conflicts:      29000 | #Learnt:       4360 | 0.000
246.46/246.53	c total clause space: 335.816MB
246.46/246.53	c total #watches: 493903
254.95/255.06	c total #propagations: 7227261 / total #impl: 100138407 (eff. 0.072)
254.95/255.06	c #Conflicts:      30000 | #Learnt:       5360 | 0.000
254.95/255.06	c total clause space: 335.816MB
254.95/255.06	c total #watches: 594807
265.75/265.88	c total #propagations: 7482027 / total #impl: 102381528 (eff. 0.073)
265.75/265.88	c #Conflicts:      31000 | #Learnt:       6360 | 0.000
265.75/265.88	c total clause space: 335.816MB
265.75/265.88	c total #watches: 693031
286.05/286.12	c total #propagations: 7726596 / total #impl: 105272512 (eff. 0.073)
286.05/286.12	c #Conflicts:      32000 | #Learnt:       7360 | 0.000
286.05/286.12	c total clause space: 335.816MB
286.05/286.12	c total #watches: 758745
311.25/311.36	c total #propagations: 8071351 / total #impl: 107946836 (eff. 0.075)
311.25/311.36	c #Conflicts:      33000 | #Learnt:       8360 | 0.000
311.25/311.36	c total clause space: 335.816MB
311.25/311.36	c total #watches: 853725
326.54/326.61	c total #propagations: 8443370 / total #impl: 110667112 (eff. 0.076)
326.54/326.61	c GC COLLECT
326.54/326.61	c #Conflicts:      34000 | #Learnt:       4957 | 0.000
326.54/326.61	c total clause space: 335.816MB
326.54/326.61	c total #watches: 536289
335.54/335.61	c total #propagations: 8565696 / total #impl: 112451538 (eff. 0.076)
335.54/335.61	c #Conflicts:      35000 | #Learnt:       5957 | 0.000
335.54/335.61	c total clause space: 335.816MB
335.54/335.61	c total #watches: 573226
346.64/346.77	c total #propagations: 8666048 / total #impl: 113909361 (eff. 0.076)
346.64/346.77	c #Conflicts:      36000 | #Learnt:       6957 | 0.000
346.64/346.77	c total clause space: 335.816MB
346.64/346.77	c total #watches: 656276
362.44/362.57	c total #propagations: 8798493 / total #impl: 115855926 (eff. 0.076)
362.44/362.57	c #Conflicts:      37000 | #Learnt:       7957 | 0.000
362.44/362.57	c total clause space: 335.816MB
362.44/362.57	c total #watches: 771234
384.03/384.12	c total #propagations: 8885271 / total #impl: 118459321 (eff. 0.075)
384.03/384.12	c #Conflicts:      38000 | #Learnt:       8957 | 0.000
384.03/384.12	c total clause space: 545.701MB
384.03/384.12	c total #watches: 904432
405.93/406.08	c total #propagations: 8967080 / total #impl: 121646990 (eff. 0.074)
405.93/406.08	c GC COLLECT
405.93/406.08	c #Conflicts:      39000 | #Learnt:       5230 | 0.000
405.93/406.08	c total clause space: 545.701MB
405.93/406.08	c total #watches: 546355
415.52/415.69	c total #propagations: 9103911 / total #impl: 124831904 (eff. 0.073)
415.52/415.69	c #Conflicts:      40000 | #Learnt:       6230 | 0.000
415.52/415.69	c total clause space: 545.701MB
415.52/415.69	c total #watches: 581579
428.02/428.13	c total #propagations: 9171850 / total #impl: 126556159 (eff. 0.072)
428.02/428.13	c #Conflicts:      41000 | #Learnt:       7230 | 0.000
428.02/428.13	c total clause space: 545.701MB
428.02/428.13	c total #watches: 623124
445.83/445.91	c total #propagations: 9244331 / total #impl: 128965409 (eff. 0.072)
445.83/445.91	c #Conflicts:      42000 | #Learnt:       8230 | 0.000
445.83/445.91	c total clause space: 545.701MB
445.83/445.91	c total #watches: 662869
468.92/469.04	c total #propagations: 9333655 / total #impl: 132133007 (eff. 0.071)
468.92/469.04	c #Conflicts:      43000 | #Learnt:       9230 | 0.000
468.92/469.04	c total clause space: 545.701MB
468.92/469.04	c total #watches: 719840
492.42/492.50	c total #propagations: 9441352 / total #impl: 136426014 (eff. 0.069)
492.42/492.50	c GC COLLECT
492.42/492.50	c #Conflicts:      44000 | #Learnt:       5219 | 0.000
492.42/492.50	c total clause space: 545.701MB
492.42/492.50	c total #watches: 545906
505.81/506.00	c total #propagations: 9554232 / total #impl: 140682292 (eff. 0.068)
505.81/506.00	c #Conflicts:      45000 | #Learnt:       6219 | 0.000
505.81/506.00	c total clause space: 545.701MB
505.81/506.00	c total #watches: 605255
523.41/523.57	c total #propagations: 9688817 / total #impl: 142956715 (eff. 0.068)
523.41/523.57	c #Conflicts:      46000 | #Learnt:       7219 | 0.000
523.41/523.57	c total clause space: 545.701MB
523.41/523.57	c total #watches: 717469
548.70/548.84	c total #propagations: 10034436 / total #impl: 146858622 (eff. 0.068)
548.70/548.84	c #Conflicts:      47000 | #Learnt:       8219 | 0.000
548.70/548.84	c total clause space: 545.701MB
548.70/548.84	c total #watches: 782345
563.60/563.72	c total #propagations: 10453966 / total #impl: 151139755 (eff. 0.069)
563.60/563.72	c #Conflicts:      48000 | #Learnt:       9219 | 0.000
563.60/563.72	c total clause space: 545.701MB
563.60/563.72	c total #watches: 846954
589.78/589.91	c total #propagations: 10582602 / total #impl: 154007146 (eff. 0.069)
589.78/589.91	c #Conflicts:      49000 | #Learnt:      10219 | 0.000
589.78/589.91	c total clause space: 545.701MB
589.78/589.91	c total #watches: 928135
607.38/607.53	c total #propagations: 10947776 / total #impl: 157524311 (eff. 0.069)
607.38/607.53	c GC COLLECT
607.38/607.53	c #Conflicts:      50000 | #Learnt:       5907 | 0.000
607.38/607.53	c total clause space: 545.701MB
607.38/607.53	c total #watches: 625077
615.68/615.83	c total #propagations: 11275339 / total #impl: 160834113 (eff. 0.070)
615.68/615.83	c #Conflicts:      51000 | #Learnt:       6907 | 0.000
615.68/615.83	c total clause space: 545.701MB
615.68/615.83	c total #watches: 702826
622.38/622.58	c total #propagations: 11430254 / total #impl: 163163048 (eff. 0.070)
622.38/622.58	c #Conflicts:      52000 | #Learnt:       7907 | 0.000
622.38/622.58	c total clause space: 545.701MB
622.38/622.58	c total #watches: 1023643
633.88/634.06	c total #propagations: 11547729 / total #impl: 168897268 (eff. 0.068)
633.88/634.06	c #Conflicts:      53000 | #Learnt:       8907 | 0.000
633.88/634.06	c total clause space: 545.701MB
633.88/634.06	c total #watches: 1427715
672.37/672.59	c total #propagations: 11659766 / total #impl: 184133543 (eff. 0.063)
672.37/672.59	c #Conflicts:      54000 | #Learnt:       9907 | 0.000
672.37/672.59	c total clause space: 545.701MB
672.37/672.59	c total #watches: 1528292
723.07/723.26	c total #propagations: 11996110 / total #impl: 189269531 (eff. 0.063)
723.07/723.26	c #Conflicts:      55000 | #Learnt:      10907 | 0.000
723.07/723.26	c total clause space: 545.701MB
723.07/723.26	c total #watches: 1628005
737.77/737.90	c total #propagations: 12358924 / total #impl: 193237905 (eff. 0.064)
737.77/737.90	c GC COLLECT
737.77/737.90	c #Conflicts:      56000 | #Learnt:       6300 | 0.000
737.77/737.90	c total clause space: 545.701MB
737.77/737.90	c total #watches: 673630
757.56/757.75	c total #propagations: 12516694 / total #impl: 196451363 (eff. 0.064)
757.56/757.75	c #Conflicts:      57000 | #Learnt:       7300 | 0.000
757.56/757.75	c total clause space: 545.701MB
757.56/757.75	c total #watches: 779600
780.46/780.67	c total #propagations: 12905585 / total #impl: 199912638 (eff. 0.065)
780.46/780.67	c #Conflicts:      58000 | #Learnt:       8300 | 0.000
780.46/780.67	c total clause space: 545.701MB
780.46/780.67	c total #watches: 922818
795.16/795.38	c total #propagations: 13246545 / total #impl: 203058651 (eff. 0.065)
795.16/795.38	c #Conflicts:      59000 | #Learnt:       9300 | 0.000
795.16/795.38	c total clause space: 545.701MB
795.16/795.38	c total #watches: 1024032
808.55/808.79	c total #propagations: 13398443 / total #impl: 205377748 (eff. 0.065)
808.55/808.79	c #Conflicts:      60000 | #Learnt:      10300 | 0.000
808.55/808.79	c total clause space: 545.701MB
808.55/808.80	c total #watches: 1165230
821.35/821.53	c total #propagations: 13522016 / total #impl: 207963685 (eff. 0.065)
821.35/821.53	c #Conflicts:      61000 | #Learnt:      11300 | 0.000
821.35/821.53	c total clause space: 545.701MB
821.35/821.53	c total #watches: 1295359
834.45/834.62	c total #propagations: 13641100 / total #impl: 211407089 (eff. 0.065)
834.45/834.62	c GC COLLECT
834.45/834.62	c #Conflicts:      62000 | #Learnt:       6399 | 0.000
834.45/834.62	c total clause space: 545.701MB
834.45/834.62	c total #watches: 704369
850.84/851.07	c total #propagations: 13755208 / total #impl: 215929621 (eff. 0.064)
850.84/851.07	c #Conflicts:      63000 | #Learnt:       7399 | 0.000
850.84/851.07	c total clause space: 545.701MB
850.84/851.07	c total #watches: 860005
874.35/874.55	c total #propagations: 13881652 / total #impl: 234998102 (eff. 0.059)
874.35/874.55	c #Conflicts:      64000 | #Learnt:       8399 | 0.000
874.35/874.55	c total clause space: 545.701MB
874.35/874.55	c total #watches: 1011672
900.04/900.27	c total #propagations: 13990791 / total #impl: 266785399 (eff. 0.052)
900.04/900.27	c #Conflicts:      65000 | #Learnt:       9399 | 0.000
900.04/900.27	c total clause space: 545.701MB
900.04/900.27	c total #watches: 1125383
930.33/930.52	c total #propagations: 14320350 / total #impl: 277891455 (eff. 0.052)
930.33/930.52	c #Conflicts:      66000 | #Learnt:      10399 | 0.000
930.33/930.52	c total clause space: 545.701MB
930.33/930.52	c total #watches: 1229721
951.73/951.90	c total #propagations: 14649633 / total #impl: 281016442 (eff. 0.052)
951.73/951.90	c #Conflicts:      67000 | #Learnt:      11399 | 0.000
951.73/951.90	c total clause space: 545.701MB
951.73/951.90	c total #watches: 1274759
984.63/984.85	c total #propagations: 14843209 / total #impl: 282901934 (eff. 0.052)
984.63/984.85	c #Conflicts:      68000 | #Learnt:      12399 | 0.000
984.63/984.85	c total clause space: 545.701MB
984.63/984.85	c total #watches: 1363007
1003.43/1003.67	c total #propagations: 15136897 / total #impl: 286006442 (eff. 0.053)
1003.43/1003.67	c GC COLLECT
1003.43/1003.67	c #Conflicts:      69000 | #Learnt:       7195 | 0.000
1003.43/1003.67	c total clause space: 545.701MB
1003.43/1003.67	c total #watches: 828066
1024.32/1024.54	c total #propagations: 15474277 / total #impl: 289110938 (eff. 0.054)
1024.32/1024.54	c #Conflicts:      70000 | #Learnt:       8195 | 0.000
1024.32/1024.54	c total clause space: 545.701MB
1024.32/1024.54	c total #watches: 917257
1046.82/1047.08	c total #propagations: 15846690 / total #impl: 291958913 (eff. 0.054)
1046.82/1047.08	c #Conflicts:      71000 | #Learnt:       9195 | 0.000
1046.82/1047.08	c total clause space: 545.701MB
1046.82/1047.08	c total #watches: 1037786
1064.22/1064.40	c total #propagations: 16107468 / total #impl: 295535220 (eff. 0.055)
1064.22/1064.40	c #Conflicts:      72000 | #Learnt:      10195 | 0.000
1064.22/1064.40	c total clause space: 545.701MB
1064.22/1064.40	c total #watches: 1195637
1102.01/1102.25	c total #propagations: 16252588 / total #impl: 301540125 (eff. 0.054)
1102.01/1102.25	c #Conflicts:      73000 | #Learnt:      11195 | 0.000
1102.01/1102.25	c total clause space: 545.701MB
1102.01/1102.25	c total #watches: 1269644
1151.61/1151.82	c total #propagations: 16634323 / total #impl: 306366660 (eff. 0.054)
1151.61/1151.82	c #Conflicts:      74000 | #Learnt:      12195 | 0.001
1151.61/1151.82	c total clause space: 545.701MB
1151.61/1151.82	c total #watches: 1381898
1191.49/1191.70	c total #propagations: 16998987 / total #impl: 310191394 (eff. 0.055)
1191.49/1191.70	c GC COLLECT
1191.49/1191.70	c #Conflicts:      75000 | #Learnt:       6700 | 0.001
1191.49/1191.70	c total clause space: 545.701MB
1191.49/1191.70	c total #watches: 706713
1213.29/1213.55	c total #propagations: 17255698 / total #impl: 313652902 (eff. 0.055)
1213.29/1213.55	c #Conflicts:      76000 | #Learnt:       7700 | 0.001
1213.29/1213.55	c total clause space: 545.701MB
1213.29/1213.56	c total #watches: 808117
1237.69/1237.98	c total #propagations: 17566597 / total #impl: 316644685 (eff. 0.055)
1237.69/1237.98	c #Conflicts:      77000 | #Learnt:       8700 | 0.001
1237.69/1237.98	c total clause space: 545.701MB
1237.69/1237.98	c total #watches: 964444
1266.18/1266.47	c total #propagations: 17937311 / total #impl: 319850615 (eff. 0.056)
1266.18/1266.47	c #Conflicts:      78000 | #Learnt:       9700 | 0.001
1266.18/1266.47	c total clause space: 545.701MB
1266.18/1266.47	c total #watches: 1104770
1280.08/1280.38	c total #propagations: 18235355 / total #impl: 322938928 (eff. 0.056)
1280.08/1280.38	c #Conflicts:      79000 | #Learnt:      10700 | 0.001
1280.08/1280.38	c total clause space: 545.701MB
1280.08/1280.38	c total #watches: 1161431
1295.17/1295.47	c total #propagations: 18334726 / total #impl: 325076201 (eff. 0.056)
1295.17/1295.47	c #Conflicts:      80000 | #Learnt:      11700 | 0.001
1295.17/1295.47	c total clause space: 545.701MB
1295.17/1295.47	c total #watches: 1231749
1306.28/1306.55	c total #propagations: 18396343 / total #impl: 327894982 (eff. 0.056)
1306.28/1306.55	c #Conflicts:      81000 | #Learnt:      12700 | 0.001
1306.28/1306.55	c total clause space: 545.701MB
1306.28/1306.55	c total #watches: 1344564
1311.88/1312.19	c total #propagations: 18473328 / total #impl: 329938933 (eff. 0.056)
1311.88/1312.19	c GC COLLECT
1311.88/1312.19	c #Conflicts:      82000 | #Learnt:       6896 | 0.001
1311.88/1312.19	c total clause space: 545.701MB
1311.88/1312.19	c total #watches: 734897
1315.88/1316.18	c total #propagations: 18514723 / total #impl: 332302791 (eff. 0.056)
1315.88/1316.18	c #Conflicts:      83000 | #Learnt:       7896 | 0.001
1315.88/1316.18	c total clause space: 545.701MB
1315.88/1316.18	c total #watches: 997787
1323.77/1324.07	c total #propagations: 18561354 / total #impl: 334925394 (eff. 0.055)
1323.77/1324.07	c #Conflicts:      84000 | #Learnt:       8896 | 0.001
1323.77/1324.07	c total clause space: 545.701MB
1323.77/1324.07	c total #watches: 1150980
1332.67/1332.93	c total #propagations: 18664183 / total #impl: 337583001 (eff. 0.055)
1332.67/1332.93	c #Conflicts:      85000 | #Learnt:       9896 | 0.001
1332.67/1332.93	c total clause space: 545.701MB
1332.67/1332.93	c total #watches: 1193403
1344.97/1345.22	c total #propagations: 18709435 / total #impl: 339249418 (eff. 0.055)
1344.97/1345.22	c #Conflicts:      86000 | #Learnt:      10896 | 0.001
1344.97/1345.22	c total clause space: 545.701MB
1344.97/1345.22	c total #watches: 1252428
1359.17/1359.42	c total #propagations: 18756949 / total #impl: 341503310 (eff. 0.055)
1359.17/1359.42	c #Conflicts:      87000 | #Learnt:      11896 | 0.001
1359.17/1359.42	c total clause space: 545.701MB
1359.17/1359.42	c total #watches: 1309231
1376.97/1377.29	c total #propagations: 18801785 / total #impl: 344151598 (eff. 0.055)
1376.97/1377.29	c #Conflicts:      88000 | #Learnt:      12896 | 0.001
1376.97/1377.29	c total clause space: 545.701MB
1376.97/1377.29	c total #watches: 1380645
1397.57/1397.84	c total #propagations: 18849335 / total #impl: 347401118 (eff. 0.054)
1397.57/1397.84	c #Conflicts:      89000 | #Learnt:      13896 | 0.001
1397.57/1397.84	c total clause space: 545.701MB
1397.57/1397.84	c total #watches: 1460381
1413.96/1414.26	c total #propagations: 18899496 / total #impl: 351423344 (eff. 0.054)
1413.96/1414.26	c GC COLLECT
1413.96/1414.26	c #Conflicts:      90000 | #Learnt:       7799 | 0.001
1413.96/1414.26	c total clause space: 545.701MB
1413.96/1414.26	c total #watches: 851283
1421.56/1421.88	c total #propagations: 18975332 / total #impl: 354233204 (eff. 0.054)
1421.56/1421.88	c #Conflicts:      91000 | #Learnt:       8799 | 0.001
1421.56/1421.88	c total clause space: 545.701MB
1421.56/1421.88	c total #watches: 938275
1430.87/1431.19	c total #propagations: 19013047 / total #impl: 355278543 (eff. 0.054)
1430.87/1431.19	c #Conflicts:      92000 | #Learnt:       9799 | 0.001
1430.87/1431.19	c total clause space: 545.701MB
1430.87/1431.19	c total #watches: 1014657
1439.46/1439.79	c total #propagations: 19054032 / total #impl: 356807781 (eff. 0.053)
1439.46/1439.79	c #Conflicts:      93000 | #Learnt:      10799 | 0.001
1439.46/1439.79	c total clause space: 545.701MB
1439.46/1439.79	c total #watches: 1096250
1448.95/1449.23	c total #propagations: 19087704 / total #impl: 358615767 (eff. 0.053)
1448.95/1449.23	c #Conflicts:      94000 | #Learnt:      11799 | 0.001
1448.95/1449.23	c total clause space: 545.701MB
1448.95/1449.23	c total #watches: 1190259
1465.15/1465.44	c total #propagations: 19122188 / total #impl: 360441520 (eff. 0.053)
1465.15/1465.44	c #Conflicts:      95000 | #Learnt:      12799 | 0.001
1465.15/1465.44	c total clause space: 545.701MB
1465.15/1465.44	c total #watches: 1280210
1489.26/1489.58	c total #propagations: 19162385 / total #impl: 363393894 (eff. 0.053)
1489.26/1489.58	c #Conflicts:      96000 | #Learnt:      13799 | 0.001
1489.26/1489.58	c total clause space: 886.764MB
1489.26/1489.58	c total #watches: 1433228
1529.54/1529.84	c total #propagations: 19213543 / total #impl: 368111342 (eff. 0.052)
1529.54/1529.84	c #Conflicts:      97000 | #Learnt:      14799 | 0.001
1529.54/1529.84	c total clause space: 886.764MB
1529.54/1529.84	c total #watches: 1530584
1539.85/1540.11	c total #propagations: 19252736 / total #impl: 372668179 (eff. 0.052)
1539.85/1540.11	c GC COLLECT
1539.85/1540.11	c #Conflicts:      98000 | #Learnt:       8389 | 0.001
1539.85/1540.11	c total clause space: 886.764MB
1539.85/1540.11	c total #watches: 920417
1550.85/1551.19	c total #propagations: 19300300 / total #impl: 374051996 (eff. 0.052)
1550.85/1551.19	c #Conflicts:      99000 | #Learnt:       9389 | 0.001
1550.85/1551.19	c total clause space: 886.764MB
1550.85/1551.19	c total #watches: 1048817
1571.34/1571.63	c total #propagations: 19355100 / total #impl: 375887069 (eff. 0.051)
1571.34/1571.63	c #Conflicts:     100000 | #Learnt:      10389 | 0.001
1571.34/1571.63	c total clause space: 886.764MB
1571.34/1571.63	c total #watches: 1239220
1593.14/1593.48	c total #propagations: 19424778 / total #impl: 379235533 (eff. 0.051)
1593.14/1593.48	c #Conflicts:     101000 | #Learnt:      11389 | 0.001
1593.14/1593.48	c total clause space: 886.764MB
1593.14/1593.48	c total #watches: 1371395
1617.13/1617.41	c total #propagations: 19486667 / total #impl: 382579156 (eff. 0.051)
1617.13/1617.41	c #Conflicts:     102000 | #Learnt:      12389 | 0.001
1617.13/1617.41	c total clause space: 886.764MB
1617.13/1617.41	c total #watches: 1461814
1663.12/1663.47	c total #propagations: 19540885 / total #impl: 385517078 (eff. 0.051)
1663.12/1663.47	c #Conflicts:     103000 | #Learnt:      13389 | 0.001
1663.12/1663.47	c total clause space: 886.764MB
1663.12/1663.47	c total #watches: 1550747
1755.91/1756.28	c total #propagations: 19840467 / total #impl: 389228391 (eff. 0.051)
1755.91/1756.28	c #Conflicts:     104000 | #Learnt:      14389 | 0.001
1755.91/1756.28	c total clause space: 886.764MB
1755.91/1756.28	c total #watches: 1637691

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

pid=9984
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: 1.53 1.92 1.88 3/171 9987
/proc/meminfo: memFree=26904592/32872528 swapFree=11740/941760
[pid=9987] ppid=9984 vsize=29112 CPUtime=0 cores=0,2,4,6
/proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 277 0 0 0 0 0 0 0 20 0 1 0 7706349 29810688 5268 33554432000 4194304 6201397 140736083160208 140737059114680 4211056 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9987/statm: 7278 5268 130 491 0 6777 0

[startup+0.100163 s]
/proc/loadavg: 1.53 1.92 1.88 3/171 9987
/proc/meminfo: memFree=26904592/32872528 swapFree=11740/941760
[pid=9987] ppid=9984 vsize=35188 CPUtime=0.09 cores=0,2,4,6
/proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 1172 0 0 0 9 0 0 0 20 0 1 0 7706349 36032512 7518 33554432000 4194304 6201397 140736083160208 140737059114680 4207438 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9987/statm: 8797 7518 141 491 0 8296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35188

[startup+0.200358 s]
/proc/loadavg: 1.53 1.92 1.88 3/171 9987
/proc/meminfo: memFree=26904592/32872528 swapFree=11740/941760
[pid=9987] ppid=9984 vsize=45280 CPUtime=0.18 cores=0,2,4,6
/proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 2553 0 0 0 18 0 0 0 20 0 1 0 7706349 46366720 9620 33554432000 4194304 6201397 140736083160208 140737059114680 4233552 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9987/statm: 11320 9620 146 491 0 10819 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 45280

[startup+0.30033 s]
/proc/loadavg: 1.53 1.92 1.88 3/171 9987
/proc/meminfo: memFree=26904592/32872528 swapFree=11740/941760
[pid=9987] ppid=9984 vsize=52720 CPUtime=0.29 cores=0,2,4,6
/proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 2910 0 0 0 28 1 0 0 20 0 1 0 7706349 53985280 10909 33554432000 4194304 6201397 140736083160208 140736083158824 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9987/statm: 13180 10909 146 491 0 12679 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52720

[startup+0.70028 s]
/proc/loadavg: 1.53 1.92 1.88 3/171 9987
/proc/meminfo: memFree=26904592/32872528 swapFree=11740/941760
[pid=9987] ppid=9984 vsize=65204 CPUtime=0.69 cores=0,2,4,6
/proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 3463 0 0 0 68 1 0 0 20 0 1 0 7706349 66768896 13912 33554432000 4194304 6201397 140736083160208 140736083158824 5150858 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9987/statm: 16301 13912 146 491 0 15800 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 65204

[startup+1.50026 s]
/proc/loadavg: 1.53 1.92 1.88 3/177 9998
/proc/meminfo: memFree=26756920/32872528 swapFree=11740/941760
[pid=9987] ppid=9984 vsize=85916 CPUtime=1.49 cores=0,2,4,6
/proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 4227 0 0 0 148 1 0 0 20 0 1 0 7706349 87977984 19166 33554432000 4194304 6201397 140736083160208 140736083158872 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9987/statm: 21479 19166 159 491 0 20978 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 85916

[startup+3.10024 s]
/proc/loadavg: 1.56 1.92 1.88 3/177 9998
/proc/meminfo: memFree=26730424/32872528 swapFree=11740/941760
[pid=9987] ppid=9984 vsize=86048 CPUtime=3.09 cores=0,2,4,6
/proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 4256 0 0 0 308 1 0 0 20 0 1 0 7706349 88113152 19188 33554432000 4194304 6201397 140736083160208 140736083158872 4213328 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9987/statm: 21512 19188 159 491 0 21011 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 86048

[startup+6.30025 s]
/proc/loadavg: 1.56 1.92 1.88 3/177 9998
/proc/meminfo: memFree=26694708/32872528 swapFree=11740/941760
[pid=9987] ppid=9984 vsize=86048 CPUtime=6.29 cores=0,2,4,6
/proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 4284 0 0 0 628 1 0 0 20 0 1 0 7706349 88113152 19203 33554432000 4194304 6201397 140736083160208 140736083158872 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9987/statm: 21512 19203 159 491 0 21011 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 86048

[startup+12.7003 s]
/proc/loadavg: 1.63 1.92 1.88 3/177 9998
/proc/meminfo: memFree=26617072/32872528 swapFree=11740/941760
[pid=9987] ppid=9984 vsize=122976 CPUtime=12.69 cores=0,2,4,6
/proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 7547 0 0 0 1267 2 0 0 20 0 1 0 7706349 125927424 28107 33554432000 4194304 6201397 140736083160208 140736083158808 4213192 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9987/statm: 30744 28107 165 491 0 30243 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 122976

[startup+25.5004 s]
/proc/loadavg: 1.69 1.92 1.88 3/177 9998
/proc/meminfo: memFree=26550448/32872528 swapFree=11740/941760
[pid=9987] ppid=9984 vsize=182696 CPUtime=25.48 cores=0,2,4,6
/proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 10811 0 0 0 2545 3 0 0 20 0 1 0 7706349 187080704 42228 33554432000 4194304 6201397 140736083160208 140736083158872 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9987/statm: 45674 42228 165 491 0 45173 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 182696

[startup+51.1004 s]
/proc/loadavg: 1.93 1.96 1.89 3/177 9998
/proc/meminfo: memFree=26456580/32872528 swapFree=11740/941760
[pid=9987] ppid=9984 vsize=276864 CPUtime=51.08 cores=0,2,4,6
/proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 15046 0 0 0 5103 5 0 0 20 0 1 0 7706349 283508736 57067 33554432000 4194304 6201397 140736083160208 140736083158872 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9987/statm: 69216 57067 165 491 0 68715 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 276864

[startup+102.3 s]
/proc/loadavg: 2.10 2.00 1.91 3/177 9999
/proc/meminfo: memFree=26305160/32872528 swapFree=11740/941760
[pid=9987] ppid=9984 vsize=286576 CPUtime=102.28 cores=0,2,4,6
/proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 17782 0 0 0 10222 6 0 0 20 0 1 0 7706349 293453824 68413 33554432000 4194304 6201397 140736083160208 140736083158824 4213268 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9987/statm: 71644 68413 165 491 0 71143 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 286576

[startup+162.3 s]
/proc/loadavg: 2.10 2.01 1.92 3/177 10000
/proc/meminfo: memFree=26192424/32872528 swapFree=11740/941760
[pid=9987] ppid=9984 vsize=440628 CPUtime=162.26 cores=0,2,4,6
/proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 24062 0 0 0 16218 8 0 0 20 0 1 0 7706349 451203072 80837 33554432000 4194304 6201397 140736083160208 140736083158872 5150858 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9987/statm: 110157 80837 165 491 0 109656 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 440628

[startup+222.307 s]
/proc/loadavg: 2.19 2.05 1.93 3/178 10005
/proc/meminfo: memFree=26144896/32872528 swapFree=11740/941760
[pid=9987] ppid=9984 vsize=449396 CPUtime=222.26 cores=0,2,4,6
/proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 26375 0 0 0 22217 9 0 0 20 0 1 0 7706349 460181504 86162 33554432000 4194304 6201397 140736083160208 140736083159336 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9987/statm: 112349 86162 165 491 0 111848 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 449396

[startup+282.3 s]
/proc/loadavg: 2.08 2.04 1.93 4/177 10006
/proc/meminfo: memFree=26046780/32872528 swapFree=11740/941760
[pid=9987] ppid=9984 vsize=461124 CPUtime=282.25 cores=0,2,4,6
/proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 29812 0 0 0 28215 10 0 0 20 0 1 0 7706349 472190976 89673 33554432000 4194304 6201397 140736083160208 140736083158872 4213192 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9987/statm: 115281 89673 165 491 0 114780 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 461124

[startup+342.3 s]
/proc/loadavg: 2.17 2.06 1.94 3/177 10007
/proc/meminfo: memFree=25925076/32872528 swapFree=11740/941760
[pid=9987] ppid=9984 vsize=464108 CPUtime=342.24 cores=0,2,4,6
/proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 31018 0 0 0 34212 12 0 0 20 0 1 0 7706349 475246592 101202 33554432000 4194304 6201397 140736083160208 140736083159160 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9987/statm: 116027 101202 165 491 0 115526 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 464108

[startup+402.3 s]
/proc/loadavg: 2.17 2.08 1.95 3/177 10008
/proc/meminfo: memFree=25775992/32872528 swapFree=11740/941760
[pid=9987] ppid=9984 vsize=681356 CPUtime=402.22 cores=0,2,4,6
/proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 34781 0 0 0 40208 14 0 0 20 0 1 0 7706349 697708544 135719 33554432000 4194304 6201397 140736083160208 140736083158824 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9987/statm: 170339 135719 165 491 0 169838 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 681356

[startup+462.3 s]
/proc/loadavg: 2.13 2.09 1.96 4/177 10009
/proc/meminfo: memFree=25745508/32872528 swapFree=11740/941760
[pid=9987] ppid=9984 vsize=682860 CPUtime=462.22 cores=0,2,4,6
/proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 35152 0 0 0 46207 15 0 0 20 0 1 0 7706349 699248640 136090 33554432000 4194304 6201397 140736083160208 140736083158920 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9987/statm: 170715 136090 165 491 0 170214 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 682860

[startup+522.3 s]
/proc/loadavg: 2.29 2.13 1.99 4/177 10011
/proc/meminfo: memFree=25714228/32872528 swapFree=11740/941760
[pid=9987] ppid=9984 vsize=685204 CPUtime=522.21 cores=0,2,4,6
/proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 36303 0 0 0 52206 15 0 0 20 0 1 0 7706349 701648896 136682 33554432000 4194304 6201397 140736083160208 140736083158824 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9987/statm: 171301 136682 165 491 0 170800 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 685204

[startup+582.3 s]
/proc/loadavg: 2.21 2.14 2.00 3/177 10012
/proc/meminfo: memFree=25667712/32872528 swapFree=11740/941760
[pid=9987] ppid=9984 vsize=689076 CPUtime=582.19 cores=0,2,4,6
/proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 37712 0 0 0 58204 15 0 0 20 0 1 0 7706349 705613824 137950 33554432000 4194304 6201397 140736083160208 140736083158824 4213672 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9987/statm: 172269 137950 165 491 0 171768 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 689076


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


[startup+942.3 s]
/proc/loadavg: 2.13 2.11 2.01 3/176 10022
/proc/meminfo: memFree=25509744/32872528 swapFree=11740/941760
[pid=9987] ppid=9984 vsize=725264 CPUtime=942.13 cores=0,2,4,6
/proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 48566 0 0 0 94195 18 0 0 20 0 1 0 7706349 742670336 149764 33554432000 4194304 6201397 140736083160208 140736083158920 5148079 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9987/statm: 181316 149764 165 491 0 180815 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 725264

[startup+1002.3 s]
/proc/loadavg: 2.13 2.12 2.02 4/177 10024
/proc/meminfo: memFree=25484972/32872528 swapFree=11740/941760
[pid=9987] ppid=9984 vsize=727464 CPUtime=1002.13 cores=0,2,4,6
/proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 49105 0 0 0 100194 19 0 0 20 0 1 0 7706349 744923136 153880 33554432000 4194304 6201397 140736083160208 140736083158920 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9987/statm: 181866 153880 165 491 0 181365 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 727464

[startup+1062.3 s]
/proc/loadavg: 2.20 2.14 2.03 4/177 10025
/proc/meminfo: memFree=25414912/32872528 swapFree=11740/941760
[pid=9987] ppid=9984 vsize=729268 CPUtime=1062.12 cores=0,2,4,6
/proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 49653 0 0 0 106193 19 0 0 20 0 1 0 7706349 746770432 154325 33554432000 4194304 6201397 140736083160208 140736083158920 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9987/statm: 182317 154325 165 491 0 181816 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 729268

[startup+1122.3 s]
/proc/loadavg: 2.20 2.14 2.03 4/177 10027
/proc/meminfo: memFree=25400116/32872528 swapFree=11740/941760
[pid=9987] ppid=9984 vsize=735952 CPUtime=1122.1 cores=0,2,4,6
/proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 51702 0 0 0 112191 19 0 0 20 0 1 0 7706349 753614848 156011 33554432000 4194304 6201397 140736083160208 140736083158872 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9987/statm: 183988 156011 165 491 0 183487 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 735952

[startup+1182.3 s]
/proc/loadavg: 2.11 2.13 2.03 4/177 10028
/proc/meminfo: memFree=25256796/32872528 swapFree=11740/941760
[pid=9987] ppid=9984 vsize=739096 CPUtime=1182.1 cores=0,2,4,6
/proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 52723 0 0 0 118190 20 0 0 20 0 1 0 7706349 756834304 167040 33554432000 4194304 6201397 140736083160208 140736083158808 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9987/statm: 184774 167040 165 491 0 184273 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 739096

[startup+1242.3 s]
/proc/loadavg: 2.25 2.16 2.05 3/177 10029
/proc/meminfo: memFree=25246712/32872528 swapFree=11740/941760
[pid=9987] ppid=9984 vsize=740296 CPUtime=1242.09 cores=0,2,4,6
/proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 53442 0 0 0 124189 20 0 0 20 0 1 0 7706349 758063104 168874 33554432000 4194304 6201397 140736083160208 140736083159336 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9987/statm: 185074 168874 165 491 0 184573 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 740296

[startup+1302.3 s]
/proc/loadavg: 2.20 2.16 2.05 3/177 10030
/proc/meminfo: memFree=25240124/32872528 swapFree=11740/941760
[pid=9987] ppid=9984 vsize=742180 CPUtime=1302.08 cores=0,2,4,6
/proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 54322 0 0 0 130187 21 0 0 20 0 1 0 7706349 759992320 169339 33554432000 4194304 6201397 140736083160208 140736083158872 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9987/statm: 185545 169339 165 491 0 185044 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 742180

[startup+1362.3 s]
/proc/loadavg: 2.11 2.14 2.05 3/177 10031
/proc/meminfo: memFree=25233848/32872528 swapFree=11740/941760
[pid=9987] ppid=9984 vsize=746688 CPUtime=1362.07 cores=0,2,4,6
/proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 55722 0 0 0 136186 21 0 0 20 0 1 0 7706349 764608512 170469 33554432000 4194304 6201397 140736083160208 140736083158920 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9987/statm: 186672 170469 165 491 0 186171 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 746688

[startup+1422.3 s]
/proc/loadavg: 2.13 2.14 2.06 3/178 10036
/proc/meminfo: memFree=25200900/32872528 swapFree=11740/941760
[pid=9987] ppid=9984 vsize=748344 CPUtime=1422.07 cores=0,2,4,6
/proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 56312 0 0 0 142185 22 0 0 20 0 1 0 7706349 766304256 178061 33554432000 4194304 6201397 140736083160208 140736083159160 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9987/statm: 187086 178061 165 491 0 186585 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 748344

[startup+1482.3 s]
/proc/loadavg: 2.22 2.16 2.07 3/177 10037
/proc/meminfo: memFree=25135696/32872528 swapFree=11740/941760
[pid=9987] ppid=9984 vsize=1100452 CPUtime=1482.05 cores=0,2,4,6
/proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 59124 0 0 0 148181 24 0 0 20 0 1 0 7706349 1126862848 193217 33554432000 4194304 6201397 140736083160208 140736083158808 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9987/statm: 275113 193217 165 491 0 274612 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 1100452

[startup+1542.31 s]
/proc/loadavg: 2.12 2.15 2.07 4/177 10038
/proc/meminfo: memFree=24909468/32872528 swapFree=11740/941760
[pid=9987] ppid=9984 vsize=1101480 CPUtime=1542.05 cores=0,2,4,6
/proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 65851 0 0 0 154176 29 0 0 20 0 1 0 7706349 1127915520 247240 33554432000 4194304 6201397 140736083160208 140736083159336 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9987/statm: 275370 247240 165 491 0 274869 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 1101480

[startup+1602.3 s]
/proc/loadavg: 2.31 2.19 2.09 4/177 10039
/proc/meminfo: memFree=24819284/32872528 swapFree=11740/941760
[pid=9987] ppid=9984 vsize=1101568 CPUtime=1602.04 cores=0,2,4,6
/proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 66408 0 0 0 160175 29 0 0 20 0 1 0 7706349 1128005632 247241 33554432000 4194304 6201397 140736083160208 140736083158824 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9987/statm: 275392 247241 165 491 0 274891 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 1101568

[startup+1662.3 s]
/proc/loadavg: 2.24 2.19 2.09 3/177 10040
/proc/meminfo: memFree=24795752/32872528 swapFree=11740/941760
[pid=9987] ppid=9984 vsize=1113980 CPUtime=1662.02 cores=0,2,4,6
/proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 78306 0 0 0 166171 31 0 0 20 0 1 0 7706349 1140715520 250141 33554432000 4194304 6201397 140736083160208 140736083158872 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9987/statm: 278495 250141 165 491 0 277994 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 1113980

[startup+1722.3 s]
/proc/loadavg: 2.26 2.21 2.10 3/176 10041
/proc/meminfo: memFree=24786068/32872528 swapFree=11740/941760
[pid=9987] ppid=9984 vsize=1118468 CPUtime=1722.02 cores=0,2,4,6
/proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 79433 0 0 0 172170 32 0 0 20 0 1 0 7706349 1145311232 251123 33554432000 4194304 6201397 140736083160208 140736083158920 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9987/statm: 279617 251123 165 491 0 279116 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 1118468

[startup+1782.3 s]
/proc/loadavg: 2.20 2.20 2.10 3/177 10043
/proc/meminfo: memFree=24779456/32872528 swapFree=11740/941760
[pid=9987] ppid=9984 vsize=1122536 CPUtime=1782.01 cores=0,2,4,6
/proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 80370 0 0 0 178169 32 0 0 20 0 1 0 7706349 1149476864 252060 33554432000 4194304 6201397 140736083160208 140736083158872 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9987/statm: 280634 252060 165 491 0 280133 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 1122536



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.14 2.18 2.10 3/177 10043
/proc/meminfo: memFree=24777848/32872528 swapFree=11740/941760
[pid=9987] ppid=9984 vsize=1123672 CPUtime=1800 cores=0,2,4,6
/proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 80599 0 0 0 179968 32 0 0 20 0 1 0 7706349 1150640128 252289 33554432000 4194304 6201397 140736083160208 140736083158824 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9987/statm: 280918 252289 165 491 0 280417 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1123672

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

[startup+1800.3 s]
/proc/loadavg: 2.14 2.18 2.10 3/177 10043
/proc/meminfo: memFree=24777848/32872528 swapFree=11740/941760
[pid=9987] ppid=9984 vsize=1123672 CPUtime=1800 cores=0,2,4,6
/proc/9987/stat : 9987 (cdcl-cuttingpla) R 9984 9987 9951 0 -1 4202496 80599 0 0 0 179968 32 0 0 20 0 1 0 7706349 1150640128 252289 33554432000 4194304 6201397 140736083160208 140736083158824 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/9987/statm: 280918 252289 165 491 0 280417 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1123672

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1799.69
CPU system time (s): 0.331949
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 1123672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.69
system time used= 0.331949
maximum resident set size= 1009156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80599
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= 23
involuntary context switches= 1860

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.42933 second user time and 7.02993 second system time

The end

Launcher Data 

Begin job on node113 at 2016-06-30 08:16:30
IDJOB=4119814
IDBENCH=111808
IDSOLVER=2550
FILE ID=node113/4119814-1467267390
RUNJOBID= node113-1467267390-9967
PBS_JOBID= 20004491
Free space on /tmp= 71728 MiB

SOLVER NAME= cdcl-cuttingplanes OPT linear search 2016-05-01
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm25p-opt.opb.negationfix.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119814-1467267390/watcher-4119814-1467267390 -o /tmp/evaluation-result-4119814-1467267390/solver-4119814-1467267390 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1467267390-9967 --watchdog 1960 --input HOME/instance-4119814-1467267390.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= 0e6bc42a73004b619a56f65a9590fd0d
RANDOM SEED=1055473553

node113.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.947
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	: 5333.89
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.947
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	: 5325.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.947
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.947
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.947
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.947
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		: 2666.947
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.947
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        26902584 kB
Buffers:          100544 kB
Cached:          4149084 kB
SwapCached:            0 kB
Active:          2827868 kB
Inactive:        1440484 kB
Active(anon):      15948 kB
Inactive(anon):     5656 kB
Active(file):    2811920 kB
Inactive(file):  1434828 kB
Unevictable:      941760 kB
Mlocked:           11740 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             10092 kB
Writeback:             0 kB
AnonPages:        957116 kB
Mapped:            12992 kB
Shmem:               204 kB
Slab:             627192 kB
SReclaimable:      71860 kB
SUnreclaim:       555332 kB
KernelStack:        1336 kB
PageTables:         5896 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1044900 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    935936 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 node113 at 2016-06-30 08:46:31