Trace number 4119786

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.13 1800.44

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm50p-opt.opb.negationfix.opb
MD5SUMec62943bb911a96b3ed21c2bcc385c8a
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark66
Best CPU time to get the best result obtained on this benchmark1800.03
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.09/0.15	c * #variable= 91392 #constraint= 1684
0.29/0.30	c * #variable= 91392 #constraint= 1684
1.29/1.37	c #Conflicts:       1000 | #Learnt:        999 | 0.007
1.29/1.37	c total clause space: 48.1602MB
1.29/1.37	c total #watches: 333193
3.69/3.71	c total #propagations: 367497 / total #impl: 1433481 (eff. 0.256)
3.69/3.71	c #Conflicts:       2000 | #Learnt:       1999 | 0.004
3.69/3.71	c total clause space: 127.173MB
3.69/3.71	c total #watches: 452834
5.60/5.69	c total #propagations: 811143 / total #impl: 4830061 (eff. 0.168)
5.60/5.69	c GC COLLECT
5.60/5.69	c #Conflicts:       3000 | #Learnt:       2004 | 0.002
5.60/5.69	c total clause space: 127.173MB
5.60/5.69	c total #watches: 900926
17.08/17.18	c total #propagations: 986539 / total #impl: 28192058 (eff. 0.035)
17.08/17.18	c S1->S2
17.08/17.18	c S2->S1
17.08/17.18	c #Conflicts:       4000 | #Learnt:       3005 | 0.056
17.08/17.18	c total clause space: 206.656MB
17.08/17.18	c total #watches: 1386654
21.28/21.33	c total #propagations: 1608507 / total #impl: 40560716 (eff. 0.040)
21.28/21.33	c GC COLLECT
21.28/21.33	c #Conflicts:       5000 | #Learnt:       1672 | 0.255
21.28/21.33	c total clause space: 206.656MB
21.28/21.33	c total #watches: 381081
23.20/23.26	c total #propagations: 2275379 / total #impl: 43950374 (eff. 0.052)
23.20/23.26	c #Conflicts:       6000 | #Learnt:       2672 | 0.213
23.20/23.26	c total clause space: 206.656MB
23.20/23.26	c total #watches: 449775
25.19/25.26	c total #propagations: 2725442 / total #impl: 46469585 (eff. 0.059)
25.19/25.26	c GC COLLECT
25.19/25.26	c #Conflicts:       7000 | #Learnt:       1895 | 0.182
25.19/25.26	c total clause space: 206.656MB
25.19/25.26	c total #watches: 417736
29.09/29.18	c total #propagations: 3031521 / total #impl: 49343216 (eff. 0.061)
29.09/29.18	c #Conflicts:       8000 | #Learnt:       2895 | 0.159
29.09/29.18	c total clause space: 206.656MB
29.09/29.18	c total #watches: 489414
33.59/33.62	c total #propagations: 3300303 / total #impl: 53542952 (eff. 0.062)
33.59/33.62	c #Conflicts:       9000 | #Learnt:       3895 | 0.142
33.59/33.62	c total clause space: 206.656MB
33.59/33.62	c total #watches: 578083
37.88/37.96	c total #propagations: 3975443 / total #impl: 57643830 (eff. 0.069)
37.88/37.96	c GC COLLECT
37.88/37.96	c #Conflicts:      10000 | #Learnt:       2549 | 0.128
37.88/37.96	c total clause space: 206.656MB
37.88/37.96	c total #watches: 451702
40.38/40.41	c total #propagations: 4523569 / total #impl: 60570605 (eff. 0.075)
40.38/40.41	c #Conflicts:      11000 | #Learnt:       3549 | 0.116
40.38/40.41	c total clause space: 206.656MB
40.38/40.41	c total #watches: 534484
44.78/44.80	c total #propagations: 4873648 / total #impl: 63248046 (eff. 0.077)
44.78/44.80	c #Conflicts:      12000 | #Learnt:       4549 | 0.106
44.78/44.80	c total clause space: 206.656MB
44.78/44.80	c total #watches: 622249
53.78/53.81	c total #propagations: 5456860 / total #impl: 67182772 (eff. 0.081)
53.78/53.81	c #Conflicts:      13000 | #Learnt:       5549 | 0.098
53.78/53.81	c total clause space: 206.656MB
53.78/53.81	c total #watches: 722373
57.48/57.59	c total #propagations: 6598982 / total #impl: 76571811 (eff. 0.086)
57.48/57.59	c GC COLLECT
57.48/57.59	c #Conflicts:      14000 | #Learnt:       3781 | 0.091
57.48/57.59	c total clause space: 206.656MB
57.48/57.59	c total #watches: 618162
60.49/60.56	c total #propagations: 6968234 / total #impl: 78853887 (eff. 0.088)
60.49/60.56	c #Conflicts:      15000 | #Learnt:       4781 | 0.085
60.49/60.56	c total clause space: 206.656MB
60.49/60.56	c total #watches: 689549
66.18/66.20	c total #propagations: 7205613 / total #impl: 80973639 (eff. 0.089)
66.18/66.20	c #Conflicts:      16000 | #Learnt:       5781 | 0.080
66.18/66.20	c total clause space: 206.656MB
66.18/66.20	c total #watches: 787332
70.18/70.21	c total #propagations: 7389670 / total #impl: 84071277 (eff. 0.088)
70.18/70.21	c GC COLLECT
70.18/70.21	c #Conflicts:      17000 | #Learnt:       3647 | 0.075
70.18/70.21	c total clause space: 206.656MB
70.18/70.21	c total #watches: 584872
76.48/76.58	c total #propagations: 7603500 / total #impl: 86240175 (eff. 0.088)
76.48/76.58	c #Conflicts:      18000 | #Learnt:       4647 | 0.071
76.48/76.58	c total clause space: 206.656MB
76.48/76.58	c total #watches: 661322
87.98/88.10	c total #propagations: 7788277 / total #impl: 90084642 (eff. 0.086)
87.98/88.10	c #Conflicts:      19000 | #Learnt:       5647 | 0.067
87.98/88.10	c total clause space: 335.816MB
87.98/88.10	c total #watches: 725040
102.58/102.69	c total #propagations: 7951306 / total #impl: 95014383 (eff. 0.084)
102.58/102.69	c #Conflicts:      20000 | #Learnt:       6647 | 0.064
102.58/102.69	c total clause space: 335.816MB
102.58/102.69	c total #watches: 780567
109.98/110.06	c total #propagations: 8355252 / total #impl: 99066729 (eff. 0.084)
109.98/110.06	c GC COLLECT
109.98/110.06	c #Conflicts:      21000 | #Learnt:       4178 | 0.061
109.98/110.06	c total clause space: 335.816MB
109.98/110.06	c total #watches: 571662
114.28/114.37	c total #propagations: 9016395 / total #impl: 102424904 (eff. 0.088)
114.28/114.37	c #Conflicts:      22000 | #Learnt:       5178 | 0.058
114.28/114.37	c total clause space: 335.816MB
114.28/114.37	c total #watches: 704547
121.97/122.05	c total #propagations: 9439556 / total #impl: 106022954 (eff. 0.089)
121.97/122.05	c #Conflicts:      23000 | #Learnt:       6178 | 0.055
121.97/122.05	c total clause space: 335.816MB
121.97/122.05	c total #watches: 776047
132.37/132.46	c total #propagations: 9972216 / total #impl: 110863266 (eff. 0.090)
132.37/132.46	c #Conflicts:      24000 | #Learnt:       7178 | 0.053
132.37/132.46	c total clause space: 335.816MB
132.37/132.46	c total #watches: 890452
140.57/140.66	c total #propagations: 10555272 / total #impl: 120128106 (eff. 0.088)
140.57/140.66	c GC COLLECT
140.57/140.66	c #Conflicts:      25000 | #Learnt:       4389 | 0.051
140.57/140.66	c total clause space: 335.816MB
140.57/140.66	c total #watches: 707655
142.57/142.63	c total #propagations: 11076890 / total #impl: 123378162 (eff. 0.090)
142.57/142.63	c #Conflicts:      26000 | #Learnt:       5389 | 0.049
142.57/142.63	c total clause space: 335.816MB
142.57/142.63	c total #watches: 751412
149.58/149.67	c total #propagations: 11250165 / total #impl: 124900833 (eff. 0.090)
149.58/149.67	c #Conflicts:      27000 | #Learnt:       6389 | 0.047
149.58/149.67	c total clause space: 335.816MB
149.58/149.67	c total #watches: 830906
163.17/163.28	c total #propagations: 11419682 / total #impl: 128278046 (eff. 0.089)
163.17/163.28	c #Conflicts:      28000 | #Learnt:       7389 | 0.046
163.17/163.28	c total clause space: 335.816MB
163.17/163.28	c total #watches: 909139
172.77/172.86	c total #propagations: 12030431 / total #impl: 134603984 (eff. 0.089)
172.77/172.86	c GC COLLECT
172.77/172.86	c #Conflicts:      29000 | #Learnt:       4296 | 0.044
172.77/172.86	c total clause space: 335.816MB
172.77/172.86	c total #watches: 616030
178.36/178.48	c total #propagations: 12516803 / total #impl: 139033119 (eff. 0.090)
178.36/178.48	c #Conflicts:      30000 | #Learnt:       5296 | 0.043
178.36/178.48	c total clause space: 335.816MB
178.36/178.48	c total #watches: 680743
185.07/185.15	c total #propagations: 12990657 / total #impl: 141951609 (eff. 0.092)
185.07/185.15	c #Conflicts:      31000 | #Learnt:       6296 | 0.041
185.07/185.15	c total clause space: 335.816MB
185.07/185.15	c total #watches: 762054
195.77/195.81	c total #propagations: 13445357 / total #impl: 145376332 (eff. 0.092)
195.77/195.81	c #Conflicts:      32000 | #Learnt:       7296 | 0.040
195.77/195.81	c total clause space: 335.816MB
195.77/195.81	c total #watches: 838439
205.46/205.55	c total #propagations: 14049268 / total #impl: 148694486 (eff. 0.094)
205.46/205.55	c #Conflicts:      33000 | #Learnt:       8296 | 0.039
205.46/205.55	c total clause space: 335.816MB
205.46/205.55	c total #watches: 900523
209.46/209.51	c total #propagations: 14513141 / total #impl: 151663764 (eff. 0.096)
209.46/209.51	c GC COLLECT
209.46/209.51	c #Conflicts:      34000 | #Learnt:       4900 | 0.038
209.46/209.51	c total clause space: 335.816MB
209.46/209.51	c total #watches: 609419
213.16/213.25	c total #propagations: 14681702 / total #impl: 153355729 (eff. 0.096)
213.16/213.25	c #Conflicts:      35000 | #Learnt:       5900 | 0.036
213.16/213.25	c total clause space: 335.816MB
213.16/213.25	c total #watches: 674031
218.06/218.18	c total #propagations: 14876933 / total #impl: 155430585 (eff. 0.096)
218.06/218.18	c #Conflicts:      36000 | #Learnt:       6900 | 0.035
218.06/218.18	c total clause space: 335.816MB
218.06/218.18	c total #watches: 738553
224.25/224.30	c total #propagations: 15094230 / total #impl: 157694347 (eff. 0.096)
224.25/224.30	c #Conflicts:      37000 | #Learnt:       7900 | 0.034
224.25/224.30	c total clause space: 335.816MB
224.25/224.30	c total #watches: 793862
233.95/234.05	c total #propagations: 15182754 / total #impl: 159865942 (eff. 0.095)
233.95/234.05	c #Conflicts:      38000 | #Learnt:       8900 | 0.034
233.95/234.05	c total clause space: 335.816MB
233.95/234.05	c total #watches: 836799
240.75/240.81	c total #propagations: 15276889 / total #impl: 162609845 (eff. 0.094)
240.75/240.81	c GC COLLECT
240.75/240.81	c #Conflicts:      39000 | #Learnt:       5205 | 0.033
240.75/240.81	c total clause space: 545.701MB
240.75/240.81	c total #watches: 555219
244.05/244.19	c total #propagations: 15438512 / total #impl: 164762940 (eff. 0.094)
244.05/244.19	c #Conflicts:      40000 | #Learnt:       6205 | 0.032
244.05/244.19	c total clause space: 545.701MB
244.05/244.19	c total #watches: 597948
249.85/249.93	c total #propagations: 15594552 / total #impl: 166320783 (eff. 0.094)
249.85/249.93	c #Conflicts:      41000 | #Learnt:       7205 | 0.031
249.85/249.93	c total clause space: 545.701MB
249.85/249.93	c total #watches: 643740
259.24/259.36	c total #propagations: 15760336 / total #impl: 168249240 (eff. 0.094)
259.24/259.36	c #Conflicts:      42000 | #Learnt:       8205 | 0.030
259.24/259.36	c total clause space: 545.701MB
259.24/259.36	c total #watches: 687999
273.24/273.32	c total #propagations: 15940494 / total #impl: 170669111 (eff. 0.093)
273.24/273.32	c #Conflicts:      43000 | #Learnt:       9205 | 0.030
273.24/273.32	c total clause space: 545.701MB
273.24/273.32	c total #watches: 739972
289.74/289.89	c total #propagations: 16112048 / total #impl: 173381907 (eff. 0.093)
289.74/289.89	c GC COLLECT
289.74/289.89	c #Conflicts:      44000 | #Learnt:       5199 | 0.029
289.74/289.89	c total clause space: 545.701MB
289.74/289.89	c total #watches: 560926
294.84/294.96	c total #propagations: 16288929 / total #impl: 176099664 (eff. 0.092)
294.84/294.96	c #Conflicts:      45000 | #Learnt:       6199 | 0.028
294.84/294.96	c total clause space: 545.701MB
294.84/294.96	c total #watches: 605067
311.63/311.75	c total #propagations: 16499014 / total #impl: 178079481 (eff. 0.093)
311.63/311.75	c #Conflicts:      46000 | #Learnt:       7199 | 0.028
311.63/311.75	c total clause space: 545.701MB
311.63/311.75	c total #watches: 671209
326.02/326.14	c total #propagations: 17001555 / total #impl: 180824923 (eff. 0.094)
326.02/326.14	c #Conflicts:      47000 | #Learnt:       8199 | 0.027
326.02/326.14	c total clause space: 545.701MB
326.02/326.15	c total #watches: 771766
337.32/337.45	c total #propagations: 17684825 / total #impl: 184440334 (eff. 0.096)
337.32/337.45	c #Conflicts:      48000 | #Learnt:       9199 | 0.027
337.32/337.45	c total clause space: 545.701MB
337.32/337.45	c total #watches: 855922
356.81/356.98	c total #propagations: 17947070 / total #impl: 187162890 (eff. 0.096)
356.81/356.98	c #Conflicts:      49000 | #Learnt:      10199 | 0.026
356.81/356.98	c total clause space: 545.701MB
356.81/356.98	c total #watches: 925141
374.01/374.18	c total #propagations: 18577686 / total #impl: 191096834 (eff. 0.097)
374.01/374.18	c GC COLLECT
374.01/374.18	c #Conflicts:      50000 | #Learnt:       5905 | 0.026
374.01/374.18	c total clause space: 545.701MB
374.01/374.18	c total #watches: 612172
383.81/383.99	c total #propagations: 19169145 / total #impl: 194211514 (eff. 0.099)
383.81/383.99	c #Conflicts:      51000 | #Learnt:       6905 | 0.025
383.81/383.99	c total clause space: 545.701MB
383.81/383.99	c total #watches: 665898
390.90/391.05	c total #propagations: 19494311 / total #impl: 196576444 (eff. 0.099)
390.90/391.05	c #Conflicts:      52000 | #Learnt:       7905 | 0.025
390.90/391.05	c total clause space: 545.701MB
390.90/391.05	c total #watches: 726704
397.90/398.08	c total #propagations: 19779757 / total #impl: 198952865 (eff. 0.099)
397.90/398.08	c #Conflicts:      53000 | #Learnt:       8905 | 0.024
397.90/398.08	c total clause space: 545.701MB
397.90/398.08	c total #watches: 820440
412.79/412.97	c total #propagations: 20164735 / total #impl: 202394354 (eff. 0.100)
412.79/412.97	c #Conflicts:      54000 | #Learnt:       9905 | 0.024
412.79/412.97	c total clause space: 545.701MB
412.79/412.97	c total #watches: 895692
442.19/442.37	c total #propagations: 20714364 / total #impl: 205251682 (eff. 0.101)
442.19/442.37	c #Conflicts:      55000 | #Learnt:      10905 | 0.023
442.19/442.37	c total clause space: 545.701MB
442.19/442.37	c total #watches: 981587
452.39/452.56	c total #propagations: 21664958 / total #impl: 210929940 (eff. 0.103)
452.39/452.56	c GC COLLECT
452.39/452.56	c #Conflicts:      56000 | #Learnt:       6308 | 0.023
452.39/452.56	c total clause space: 545.701MB
452.39/452.56	c total #watches: 629608
465.38/465.54	c total #propagations: 21927942 / total #impl: 212955452 (eff. 0.103)
465.38/465.54	c #Conflicts:      57000 | #Learnt:       7308 | 0.022
465.38/465.54	c total clause space: 545.701MB
465.38/465.54	c total #watches: 713860
480.28/480.40	c total #propagations: 22564143 / total #impl: 216360975 (eff. 0.104)
480.28/480.40	c #Conflicts:      58000 | #Learnt:       8308 | 0.022
480.28/480.40	c total clause space: 545.701MB
480.28/480.40	c total #watches: 785016
491.48/491.63	c total #propagations: 23152290 / total #impl: 219431094 (eff. 0.106)
491.48/491.63	c #Conflicts:      59000 | #Learnt:       9308 | 0.022
491.48/491.63	c total clause space: 545.701MB
491.48/491.63	c total #watches: 853790
500.98/501.15	c total #propagations: 23419468 / total #impl: 222063555 (eff. 0.105)
500.98/501.15	c #Conflicts:      60000 | #Learnt:      10308 | 0.021
500.98/501.15	c total clause space: 545.701MB
500.98/501.15	c total #watches: 992617
510.88/511.03	c total #propagations: 23760094 / total #impl: 226286644 (eff. 0.105)
510.88/511.03	c #Conflicts:      61000 | #Learnt:      11308 | 0.021
510.88/511.03	c total clause space: 545.701MB
510.88/511.03	c total #watches: 1176944
514.68/514.83	c total #propagations: 24242674 / total #impl: 236364708 (eff. 0.103)
514.68/514.83	c GC COLLECT
514.68/514.83	c #Conflicts:      62000 | #Learnt:       6403 | 0.021
514.68/514.83	c total clause space: 545.701MB
514.68/514.83	c total #watches: 632885
519.87/520.00	c total #propagations: 24409083 / total #impl: 237947877 (eff. 0.103)
519.87/520.00	c #Conflicts:      63000 | #Learnt:       7403 | 0.020
519.87/520.00	c total clause space: 545.701MB
519.87/520.01	c total #watches: 732948
525.17/525.36	c total #propagations: 24622846 / total #impl: 240323620 (eff. 0.102)
525.17/525.36	c #Conflicts:      64000 | #Learnt:       8403 | 0.020
525.17/525.36	c total clause space: 545.701MB
525.17/525.36	c total #watches: 977524
546.68/546.81	c total #propagations: 24823240 / total #impl: 251586025 (eff. 0.099)
546.68/546.81	c #Conflicts:      65000 | #Learnt:       9403 | 0.020
546.68/546.81	c total clause space: 545.701MB
546.68/546.81	c total #watches: 1042318
570.27/570.44	c total #propagations: 25487004 / total #impl: 258073929 (eff. 0.099)
570.27/570.44	c #Conflicts:      66000 | #Learnt:      10403 | 0.019
570.27/570.44	c total clause space: 545.701MB
570.27/570.44	c total #watches: 1127123
597.17/597.34	c total #propagations: 25941023 / total #impl: 260960376 (eff. 0.099)
597.17/597.34	c #Conflicts:      67000 | #Learnt:      11403 | 0.019
597.17/597.34	c total clause space: 545.701MB
597.17/597.34	c total #watches: 1186415
628.36/628.56	c total #propagations: 26343593 / total #impl: 264598937 (eff. 0.100)
628.36/628.56	c #Conflicts:      68000 | #Learnt:      12403 | 0.019
628.36/628.56	c total clause space: 545.701MB
628.36/628.56	c total #watches: 1253336
645.86/646.09	c total #propagations: 26867454 / total #impl: 268835936 (eff. 0.100)
645.86/646.09	c GC COLLECT
645.86/646.09	c #Conflicts:      69000 | #Learnt:       7201 | 0.019
645.86/646.09	c total clause space: 545.701MB
645.86/646.09	c total #watches: 696080
659.45/659.65	c total #propagations: 27423457 / total #impl: 272184178 (eff. 0.101)
659.45/659.65	c #Conflicts:      70000 | #Learnt:       8201 | 0.018
659.45/659.65	c total clause space: 545.701MB
659.45/659.66	c total #watches: 763908
670.55/670.79	c total #propagations: 27961056 / total #impl: 275077014 (eff. 0.102)
670.55/670.79	c #Conflicts:      71000 | #Learnt:       9201 | 0.018
670.55/670.79	c total clause space: 545.701MB
670.55/670.79	c total #watches: 867484
684.25/684.46	c total #propagations: 28283129 / total #impl: 277942206 (eff. 0.102)
684.25/684.46	c #Conflicts:      72000 | #Learnt:      10201 | 0.018
684.25/684.46	c total clause space: 545.701MB
684.25/684.46	c total #watches: 973781
705.35/705.52	c total #propagations: 28527179 / total #impl: 282332028 (eff. 0.101)
705.35/705.52	c #Conflicts:      73000 | #Learnt:      11201 | 0.018
705.35/705.52	c total clause space: 545.701MB
705.35/705.52	c total #watches: 1073124
730.94/731.17	c total #propagations: 29118032 / total #impl: 286747496 (eff. 0.102)
730.94/731.17	c #Conflicts:      74000 | #Learnt:      12201 | 0.017
730.94/731.17	c total clause space: 545.701MB
730.94/731.17	c total #watches: 1161547
751.44/751.60	c total #propagations: 29707615 / total #impl: 290411263 (eff. 0.102)
751.44/751.60	c GC COLLECT
751.44/751.60	c #Conflicts:      75000 | #Learnt:       6702 | 0.017
751.44/751.60	c total clause space: 545.701MB
751.44/751.60	c total #watches: 663959
769.43/769.66	c total #propagations: 30127016 / total #impl: 294280220 (eff. 0.102)
769.43/769.66	c #Conflicts:      76000 | #Learnt:       7702 | 0.017
769.43/769.66	c total clause space: 545.701MB
769.43/769.66	c total #watches: 775839
785.03/785.23	c total #propagations: 30711224 / total #impl: 298313771 (eff. 0.103)
785.03/785.23	c #Conflicts:      77000 | #Learnt:       8702 | 0.017
785.03/785.23	c total clause space: 545.701MB
785.03/785.23	c total #watches: 860407
799.43/799.64	c total #propagations: 31284231 / total #impl: 301595840 (eff. 0.104)
799.43/799.64	c #Conflicts:      78000 | #Learnt:       9702 | 0.016
799.43/799.64	c total clause space: 545.701MB
799.43/799.64	c total #watches: 956334
809.13/809.33	c total #propagations: 31796564 / total #impl: 304353680 (eff. 0.104)
809.13/809.33	c #Conflicts:      79000 | #Learnt:      10702 | 0.016
809.13/809.33	c total clause space: 545.701MB
809.13/809.33	c total #watches: 1028782
818.43/818.68	c total #propagations: 32020212 / total #impl: 306637334 (eff. 0.104)
818.43/818.68	c #Conflicts:      80000 | #Learnt:      11702 | 0.016
818.43/818.68	c total clause space: 545.701MB
818.43/818.68	c total #watches: 1141869
836.12/836.33	c total #propagations: 32270867 / total #impl: 311168473 (eff. 0.104)
836.12/836.33	c #Conflicts:      81000 | #Learnt:      12702 | 0.016
836.12/836.33	c total clause space: 545.701MB
836.12/836.33	c total #watches: 1233085
856.43/856.63	c total #propagations: 32494099 / total #impl: 314635399 (eff. 0.103)
856.43/856.63	c GC COLLECT
856.43/856.63	c #Conflicts:      82000 | #Learnt:       6906 | 0.016
856.43/856.63	c total clause space: 545.701MB
856.43/856.63	c total #watches: 690429
872.52/872.79	c total #propagations: 32596122 / total #impl: 317666801 (eff. 0.103)
872.52/872.79	c #Conflicts:      83000 | #Learnt:       7906 | 0.015
872.52/872.79	c total clause space: 545.701MB
872.52/872.79	c total #watches: 789496
888.32/888.56	c total #propagations: 32684713 / total #impl: 320436879 (eff. 0.102)
888.32/888.56	c #Conflicts:      84000 | #Learnt:       8906 | 0.015
888.32/888.56	c total clause space: 545.701MB
888.32/888.56	c total #watches: 840819
905.92/906.15	c total #propagations: 32842721 / total #impl: 323661342 (eff. 0.101)
905.92/906.15	c #Conflicts:      85000 | #Learnt:       9906 | 0.015
905.92/906.15	c total clause space: 545.701MB
905.92/906.15	c total #watches: 885763
926.91/927.11	c total #propagations: 32951032 / total #impl: 326536685 (eff. 0.101)
926.91/927.11	c #Conflicts:      86000 | #Learnt:      10906 | 0.015
926.91/927.11	c total clause space: 545.701MB
926.91/927.12	c total #watches: 938585
951.71/951.95	c total #propagations: 33064360 / total #impl: 329608999 (eff. 0.100)
951.71/951.95	c #Conflicts:      87000 | #Learnt:      11906 | 0.015
951.71/951.95	c total clause space: 886.764MB
951.71/951.95	c total #watches: 989143
989.60/989.86	c total #propagations: 33158588 / total #impl: 332578888 (eff. 0.100)
989.60/989.86	c #Conflicts:      88000 | #Learnt:      12906 | 0.015
989.60/989.86	c total clause space: 886.764MB
989.60/989.86	c total #watches: 1058531
1031.70/1031.94	c total #propagations: 33272573 / total #impl: 336583402 (eff. 0.099)
1031.70/1031.94	c #Conflicts:      89000 | #Learnt:      13906 | 0.014
1031.70/1031.94	c total clause space: 886.764MB
1031.70/1031.94	c total #watches: 1109461
1058.99/1059.22	c total #propagations: 33386137 / total #impl: 340566107 (eff. 0.098)
1058.99/1059.22	c GC COLLECT
1058.99/1059.22	c #Conflicts:      90000 | #Learnt:       7800 | 0.014
1058.99/1059.22	c total clause space: 886.764MB
1058.99/1059.22	c total #watches: 755325
1083.99/1084.21	c total #propagations: 33545009 / total #impl: 343993288 (eff. 0.098)
1083.99/1084.21	c #Conflicts:      91000 | #Learnt:       8800 | 0.014
1083.99/1084.21	c total clause space: 886.764MB
1083.99/1084.21	c total #watches: 792513
1112.68/1112.95	c total #propagations: 33730314 / total #impl: 345974352 (eff. 0.097)
1112.68/1112.95	c #Conflicts:      92000 | #Learnt:       9800 | 0.014
1112.68/1112.95	c total clause space: 886.764MB
1112.68/1112.95	c total #watches: 839594
1146.38/1146.63	c total #propagations: 33913472 / total #impl: 348543056 (eff. 0.097)
1146.38/1146.63	c #Conflicts:      93000 | #Learnt:      10800 | 0.014
1146.38/1146.63	c total clause space: 886.764MB
1146.38/1146.63	c total #watches: 898805
1185.37/1185.62	c total #propagations: 34099808 / total #impl: 351697991 (eff. 0.097)
1185.37/1185.62	c #Conflicts:      94000 | #Learnt:      11800 | 0.014
1185.37/1185.62	c total clause space: 886.764MB
1185.37/1185.62	c total #watches: 970412
1233.17/1233.40	c total #propagations: 34289786 / total #impl: 355365820 (eff. 0.096)
1233.17/1233.40	c #Conflicts:      95000 | #Learnt:      12800 | 0.013
1233.17/1233.40	c total clause space: 886.764MB
1233.17/1233.40	c total #watches: 1056362
1286.16/1286.40	c total #propagations: 34492660 / total #impl: 360133829 (eff. 0.096)
1286.16/1286.40	c #Conflicts:      96000 | #Learnt:      13800 | 0.013
1286.16/1286.40	c total clause space: 886.764MB
1286.16/1286.40	c total #watches: 1137309
1341.55/1341.86	c total #propagations: 34702086 / total #impl: 365472551 (eff. 0.095)
1341.55/1341.86	c #Conflicts:      97000 | #Learnt:      14800 | 0.013
1341.55/1341.86	c total clause space: 886.764MB
1341.55/1341.86	c total #watches: 1238071
1371.64/1371.97	c total #propagations: 34901012 / total #impl: 370857757 (eff. 0.094)
1371.64/1371.97	c GC COLLECT
1371.64/1371.97	c #Conflicts:      98000 | #Learnt:       8397 | 0.013
1371.64/1371.97	c total clause space: 886.764MB
1371.64/1371.97	c total #watches: 785152
1399.14/1399.49	c total #propagations: 35084487 / total #impl: 373531399 (eff. 0.094)
1399.14/1399.49	c #Conflicts:      99000 | #Learnt:       9397 | 0.013
1399.14/1399.49	c total clause space: 886.764MB
1399.14/1399.50	c total #watches: 851652
1444.93/1445.21	c total #propagations: 35248393 / total #impl: 376116591 (eff. 0.094)
1444.93/1445.21	c #Conflicts:     100000 | #Learnt:      10397 | 0.013
1444.93/1445.21	c total clause space: 886.764MB
1444.93/1445.21	c total #watches: 950524
1497.62/1497.93	c total #propagations: 35462102 / total #impl: 380256448 (eff. 0.093)
1497.62/1497.93	c #Conflicts:     101000 | #Learnt:      11397 | 0.013
1497.62/1497.93	c total clause space: 886.764MB
1497.62/1497.93	c total #watches: 1023207
1553.82/1554.18	c total #propagations: 35655069 / total #impl: 384897387 (eff. 0.093)
1553.82/1554.18	c #Conflicts:     102000 | #Learnt:      12397 | 0.013
1553.82/1554.18	c total clause space: 886.764MB
1553.82/1554.18	c total #watches: 1083840
1618.01/1618.30	c total #propagations: 35817940 / total #impl: 389610357 (eff. 0.092)
1618.01/1618.30	c #Conflicts:     103000 | #Learnt:      13397 | 0.012
1618.01/1618.30	c total clause space: 886.764MB
1618.01/1618.30	c total #watches: 1156748
1655.80/1656.18	c total #propagations: 36159069 / total #impl: 394803517 (eff. 0.092)
1655.80/1656.18	c #Conflicts:     104000 | #Learnt:      14397 | 0.012
1655.80/1656.18	c total clause space: 886.764MB
1655.80/1656.18	c total #watches: 1254167
1694.20/1694.53	c total #propagations: 36785894 / total #impl: 398296852 (eff. 0.092)
1694.20/1694.53	c #Conflicts:     105000 | #Learnt:      15397 | 0.012
1694.20/1694.53	c total clause space: 886.764MB
1694.20/1694.53	c total #watches: 1347392
1714.80/1715.17	c total #propagations: 37322209 / total #impl: 402292738 (eff. 0.093)
1714.80/1715.17	c GC COLLECT
1714.80/1715.17	c #Conflicts:     106000 | #Learnt:       8696 | 0.012
1714.80/1715.17	c total clause space: 886.764MB
1714.80/1715.17	c total #watches: 802780
1735.50/1735.82	c total #propagations: 37681832 / total #impl: 405056389 (eff. 0.093)
1735.50/1735.82	c #Conflicts:     107000 | #Learnt:       9696 | 0.012
1735.50/1735.82	c total clause space: 886.764MB
1735.50/1735.82	c total #watches: 881707
1758.49/1758.90	c total #propagations: 38260240 / total #impl: 408561222 (eff. 0.094)
1758.49/1758.90	c #Conflicts:     108000 | #Learnt:      10696 | 0.012
1758.49/1758.90	c total clause space: 886.764MB
1758.49/1758.90	c total #watches: 983796
1778.49/1778.83	c total #propagations: 38988021 / total #impl: 412208320 (eff. 0.095)
1778.49/1778.83	c #Conflicts:     109000 | #Learnt:      11696 | 0.012
1778.49/1778.83	c total clause space: 886.764MB
1778.49/1778.83	c total #watches: 1049840
1799.39/1799.75	c total #propagations: 39212177 / total #impl: 414637513 (eff. 0.095)
1799.39/1799.75	c #Conflicts:     110000 | #Learnt:      12696 | 0.012
1799.39/1799.75	c total clause space: 886.764MB
1799.39/1799.75	c total #watches: 1105959

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

pid=12114
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: 1.81 1.94 1.84 3/173 12118
/proc/meminfo: memFree=31262532/32872528 swapFree=239792/272496
[pid=12118] ppid=12114 vsize=55976 CPUtime=0 cores=1,3,5,7
/proc/12118/stat : 12118 (cdcl-cuttingpla) R 12114 12118 12078 0 -1 4202496 258 0 0 0 0 0 0 0 20 0 1 0 5761946 57319424 8316 33554432000 4194304 6211289 140734637701968 140735146517624 4206599 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12118/statm: 13994 8316 98 493 0 13491 0

[startup+0.100163 s]
/proc/loadavg: 1.81 1.94 1.84 3/173 12118
/proc/meminfo: memFree=31262532/32872528 swapFree=239792/272496
[pid=12118] ppid=12114 vsize=58680 CPUtime=0.09 cores=1,3,5,7
/proc/12118/stat : 12118 (cdcl-cuttingpla) R 12114 12118 12078 0 -1 4202496 1057 0 0 0 8 1 0 0 20 0 1 0 5761946 60088320 11562 33554432000 4194304 6211289 140734637701968 140735146517624 5252635 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/12118/statm: 14670 11562 121 493 0 14167 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 58680

[startup+0.200197 s]
/proc/loadavg: 1.81 1.94 1.84 3/173 12118
/proc/meminfo: memFree=31262532/32872528 swapFree=239792/272496
[pid=12118] ppid=12114 vsize=72336 CPUtime=0.19 cores=1,3,5,7
/proc/12118/stat : 12118 (cdcl-cuttingpla) R 12114 12118 12078 0 -1 4202496 3022 0 0 0 18 1 0 0 20 0 1 0 5761946 74072064 15430 33554432000 4194304 6211289 140734637701968 140735146517624 5158489 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/12118/statm: 18084 15430 144 493 0 17581 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 72336

[startup+0.300245 s]
/proc/loadavg: 1.81 1.94 1.84 3/173 12118
/proc/meminfo: memFree=31262532/32872528 swapFree=239792/272496
[pid=12118] ppid=12114 vsize=81456 CPUtime=0.29 cores=1,3,5,7
/proc/12118/stat : 12118 (cdcl-cuttingpla) R 12114 12118 12078 0 -1 4202496 4146 0 0 0 28 1 0 0 20 0 1 0 5761946 83410944 17576 33554432000 4194304 6211289 140734637701968 140734637699848 4228081 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/12118/statm: 20364 17578 144 493 0 19861 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 81456

[startup+0.7002 s]
/proc/loadavg: 1.81 1.94 1.84 3/173 12118
/proc/meminfo: memFree=31262532/32872528 swapFree=239792/272496
[pid=12118] ppid=12114 vsize=124776 CPUtime=0.69 cores=1,3,5,7
/proc/12118/stat : 12118 (cdcl-cuttingpla) R 12114 12118 12078 0 -1 4202496 7758 0 0 0 67 2 0 0 20 0 1 0 5761946 127770624 24737 33554432000 4194304 6211289 140734637701968 140734637699848 4246393 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/12118/statm: 31194 24737 150 493 0 30691 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 124776

[startup+1.50029 s]
/proc/loadavg: 1.81 1.94 1.84 3/177 12125
/proc/meminfo: memFree=31022036/32872528 swapFree=239792/272496
[pid=12118] ppid=12114 vsize=175432 CPUtime=1.49 cores=1,3,5,7
/proc/12118/stat : 12118 (cdcl-cuttingpla) R 12114 12118 12078 0 -1 4202496 8504 0 0 0 147 2 0 0 20 0 1 0 5761946 179642368 30980 33554432000 4194304 6211289 140734637701968 140734637699880 5159552 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/12118/statm: 43858 30980 160 493 0 43355 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 175432

[startup+3.10028 s]
/proc/loadavg: 1.82 1.94 1.84 3/177 12125
/proc/meminfo: memFree=30976712/32872528 swapFree=239792/272496
[pid=12118] ppid=12114 vsize=177772 CPUtime=3.09 cores=1,3,5,7
/proc/12118/stat : 12118 (cdcl-cuttingpla) R 12114 12118 12078 0 -1 4202496 9114 0 0 0 306 3 0 0 20 0 1 0 5761946 182038528 38227 33554432000 4194304 6211289 140734637701968 140734637699880 4244921 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/12118/statm: 44443 38227 160 493 0 43940 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 177772

[startup+6.30028 s]
/proc/loadavg: 1.82 1.94 1.84 3/177 12125
/proc/meminfo: memFree=30910272/32872528 swapFree=239792/272496
[pid=12118] ppid=12114 vsize=236136 CPUtime=6.29 cores=1,3,5,7
/proc/12118/stat : 12118 (cdcl-cuttingpla) R 12114 12118 12078 0 -1 4202496 13093 0 0 0 625 4 0 0 20 0 1 0 5761946 241803264 44018 33554432000 4194304 6211289 140734637701968 140734637699960 4202033 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/12118/statm: 59034 44018 165 493 0 58531 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 236136

[startup+12.7003 s]
/proc/loadavg: 1.85 1.94 1.84 3/177 12125
/proc/meminfo: memFree=30675300/32872528 swapFree=239792/272496
[pid=12118] ppid=12114 vsize=447280 CPUtime=12.68 cores=1,3,5,7
/proc/12118/stat : 12118 (cdcl-cuttingpla) R 12114 12118 12078 0 -1 4202496 19134 0 0 0 1261 7 0 0 20 0 1 0 5761946 458014720 91113 33554432000 4194304 6211289 140734637701968 140734637699960 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/12118/statm: 111820 91113 219 493 0 111317 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 447280

[startup+25.5003 s]
/proc/loadavg: 1.87 1.94 1.84 3/177 12125
/proc/meminfo: memFree=30571516/32872528 swapFree=239792/272496
[pid=12118] ppid=12114 vsize=454752 CPUtime=25.49 cores=1,3,5,7
/proc/12118/stat : 12118 (cdcl-cuttingpla) R 12114 12118 12078 0 -1 4202496 21301 0 0 0 2540 9 0 0 20 0 1 0 5761946 465666048 99401 33554432000 4194304 6211289 140734637701968 140734637699960 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/12118/statm: 113688 99401 219 493 0 113185 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 454752

[startup+51.1004 s]
/proc/loadavg: 1.91 1.94 1.85 3/177 12125
/proc/meminfo: memFree=30498088/32872528 swapFree=239792/272496
[pid=12118] ppid=12114 vsize=470568 CPUtime=51.08 cores=1,3,5,7
/proc/12118/stat : 12118 (cdcl-cuttingpla) R 12114 12118 12078 0 -1 4202496 25909 0 0 0 5099 9 0 0 20 0 1 0 5761946 481861632 103732 33554432000 4194304 6211289 140734637701968 140734637699960 4209328 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/12118/statm: 117642 103732 219 493 0 117139 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 470568

[startup+102.3 s]
/proc/loadavg: 2.04 1.97 1.86 3/177 12126
/proc/meminfo: memFree=30324156/32872528 swapFree=239792/272496
[pid=12118] ppid=12114 vsize=618552 CPUtime=102.28 cores=1,3,5,7
/proc/12118/stat : 12118 (cdcl-cuttingpla) R 12114 12118 12078 0 -1 4202496 30248 0 0 0 10217 11 0 0 20 0 1 0 5761946 633397248 116683 33554432000 4194304 6211289 140734637701968 140734637699832 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/12118/statm: 154638 116683 219 493 0 154135 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 618552

[startup+162.3 s]
/proc/loadavg: 2.07 1.99 1.87 3/177 12127
/proc/meminfo: memFree=29420912/32872528 swapFree=239792/272496
[pid=12118] ppid=12114 vsize=635828 CPUtime=162.27 cores=1,3,5,7
/proc/12118/stat : 12118 (cdcl-cuttingpla) R 12114 12118 12078 0 -1 4202496 35108 0 0 0 16214 13 0 0 20 0 1 0 5761946 651087872 123776 33554432000 4194304 6211289 140734637701968 140734637699832 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/12118/statm: 158957 123776 219 493 0 158454 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 635828

[startup+222.307 s]
/proc/loadavg: 2.08 2.00 1.88 4/177 12129
/proc/meminfo: memFree=29366424/32872528 swapFree=239792/272496
[pid=12118] ppid=12114 vsize=647748 CPUtime=222.26 cores=1,3,5,7
/proc/12118/stat : 12118 (cdcl-cuttingpla) R 12114 12118 12078 0 -1 4202496 38160 0 0 0 22212 14 0 0 20 0 1 0 5761946 663293952 131992 33554432000 4194304 6211289 140734637701968 140734637699880 4209244 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/12118/statm: 161937 131992 219 493 0 161434 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 647748

[startup+282.3 s]
/proc/loadavg: 2.08 2.01 1.89 3/177 12130
/proc/meminfo: memFree=29156280/32872528 swapFree=239792/272496
[pid=12118] ppid=12114 vsize=866756 CPUtime=282.25 cores=1,3,5,7
/proc/12118/stat : 12118 (cdcl-cuttingpla) R 12114 12118 12078 0 -1 4202496 39885 0 0 0 28205 20 0 0 20 0 1 0 5761946 887558144 180883 33554432000 4194304 6211289 140734637701968 140734637699960 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/12118/statm: 216689 180883 219 493 0 216186 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 866756

[startup+342.3 s]
/proc/loadavg: 2.11 2.04 1.91 3/178 12134
/proc/meminfo: memFree=29113136/32872528 swapFree=239792/272496
[pid=12118] ppid=12114 vsize=875892 CPUtime=342.22 cores=1,3,5,7
/proc/12118/stat : 12118 (cdcl-cuttingpla) R 12114 12118 12078 0 -1 4202496 42204 0 0 0 34201 21 0 0 20 0 1 0 5761946 896913408 188800 33554432000 4194304 6211289 140734637701968 140734637699832 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/12118/statm: 218973 188800 219 493 0 218470 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 875892

[startup+402.3 s]
/proc/loadavg: 2.16 2.06 1.92 3/177 12135
/proc/meminfo: memFree=29096324/32872528 swapFree=239792/272496
[pid=12118] ppid=12114 vsize=884564 CPUtime=402.2 cores=1,3,5,7
/proc/12118/stat : 12118 (cdcl-cuttingpla) R 12114 12118 12078 0 -1 4202496 44328 0 0 0 40199 21 0 0 20 0 1 0 5761946 905793536 190903 33554432000 4194304 6211289 140734637701968 140734637699880 4209306 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/12118/statm: 221141 190903 219 493 0 220638 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 884564

[startup+462.3 s]
/proc/loadavg: 2.11 2.06 1.93 3/177 12136
/proc/meminfo: memFree=29082908/32872528 swapFree=239792/272496
[pid=12118] ppid=12114 vsize=890876 CPUtime=462.18 cores=1,3,5,7
/proc/12118/stat : 12118 (cdcl-cuttingpla) R 12114 12118 12078 0 -1 4202496 45971 0 0 0 46196 22 0 0 20 0 1 0 5761946 912257024 192535 33554432000 4194304 6211289 140734637701968 140734637699960 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/12118/statm: 222719 192535 219 493 0 222216 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 890876

[startup+522.3 s]
/proc/loadavg: 2.09 2.06 1.93 3/177 12138
/proc/meminfo: memFree=29070180/32872528 swapFree=239792/272496
[pid=12118] ppid=12114 vsize=898528 CPUtime=522.17 cores=1,3,5,7
/proc/12118/stat : 12118 (cdcl-cuttingpla) R 12114 12118 12078 0 -1 4202496 47873 0 0 0 52195 22 0 0 20 0 1 0 5761946 920092672 194436 33554432000 4194304 6211289 140734637701968 140734637699960 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/12118/statm: 224632 194436 219 493 0 224129 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 898528

[startup+582.3 s]
/proc/loadavg: 2.03 2.05 1.93 3/177 12139
/proc/meminfo: memFree=29055292/32872528 swapFree=239792/272496
[pid=12118] ppid=12114 vsize=909240 CPUtime=582.17 cores=1,3,5,7
/proc/12118/stat : 12118 (cdcl-cuttingpla) R 12114 12118 12078 0 -1 4202496 50559 0 0 0 58194 23 0 0 20 0 1 0 5761946 931061760 197122 33554432000 4194304 6211289 140734637701968 140734637699880 4209306 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/12118/statm: 227310 197122 219 493 0 226807 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 909240


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


[startup+882.307 s]
/proc/loadavg: 2.19 2.08 1.96 3/177 12145
/proc/meminfo: memFree=28953908/32872528 swapFree=239792/272496
[pid=12118] ppid=12114 vsize=928240 CPUtime=882.13 cores=1,3,5,7
/proc/12118/stat : 12118 (cdcl-cuttingpla) R 12114 12118 12078 0 -1 4202496 55309 0 0 0 88187 26 0 0 20 0 1 0 5761946 950517760 212733 33554432000 4194304 6211289 140734637701968 140734637699832 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/12118/statm: 232060 212733 219 493 0 231557 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 928240

[startup+942.3 s]
/proc/loadavg: 2.27 2.12 1.98 3/178 12149
/proc/meminfo: memFree=28907584/32872528 swapFree=239792/272496
[pid=12118] ppid=12114 vsize=1278788 CPUtime=942.11 cores=1,3,5,7
/proc/12118/stat : 12118 (cdcl-cuttingpla) R 12114 12118 12078 0 -1 4202496 55848 0 0 0 94181 30 0 0 20 0 1 0 5761946 1309478912 222966 33554432000 4194304 6211289 140734637701968 140734637699880 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/12118/statm: 319697 222966 219 493 0 319194 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 1278788

[startup+1002.3 s]
/proc/loadavg: 2.21 2.13 1.99 3/177 12150
/proc/meminfo: memFree=28810048/32872528 swapFree=239792/272496
[pid=12118] ppid=12114 vsize=1279072 CPUtime=1002.11 cores=1,3,5,7
/proc/12118/stat : 12118 (cdcl-cuttingpla) R 12114 12118 12078 0 -1 4202496 55980 0 0 0 100179 32 0 0 20 0 1 0 5761946 1309769728 245071 33554432000 4194304 6211289 140734637701968 140734637700312 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/12118/statm: 319768 245071 219 493 0 319265 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 1279072

[startup+1062.3 s]
/proc/loadavg: 2.24 2.14 2.00 3/177 12151
/proc/meminfo: memFree=28750020/32872528 swapFree=239792/272496
[pid=12118] ppid=12114 vsize=1279656 CPUtime=1062.09 cores=1,3,5,7
/proc/12118/stat : 12118 (cdcl-cuttingpla) R 12114 12118 12078 0 -1 4202496 56159 0 0 0 106177 32 0 0 20 0 1 0 5761946 1310367744 259558 33554432000 4194304 6211289 140734637701968 140734637700312 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/12118/statm: 319914 259558 219 493 0 319411 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 1279656

[startup+1122.3 s]
/proc/loadavg: 2.15 2.13 2.00 3/177 12153
/proc/meminfo: memFree=28737008/32872528 swapFree=239792/272496
[pid=12118] ppid=12114 vsize=1279796 CPUtime=1122.08 cores=1,3,5,7
/proc/12118/stat : 12118 (cdcl-cuttingpla) R 12114 12118 12078 0 -1 4202496 56219 0 0 0 112176 32 0 0 20 0 1 0 5761946 1310511104 259618 33554432000 4194304 6211289 140734637701968 140734637700312 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/12118/statm: 319949 259618 219 493 0 319446 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 1279796

[startup+1182.3 s]
/proc/loadavg: 2.12 2.12 2.00 3/177 12154
/proc/meminfo: memFree=28731220/32872528 swapFree=239792/272496
[pid=12118] ppid=12114 vsize=1280540 CPUtime=1182.07 cores=1,3,5,7
/proc/12118/stat : 12118 (cdcl-cuttingpla) R 12114 12118 12078 0 -1 4202496 56387 0 0 0 118175 32 0 0 20 0 1 0 5761946 1311272960 259786 33554432000 4194304 6211289 140734637701968 140734637699880 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/12118/statm: 320135 259786 219 493 0 319632 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 1280540

[startup+1242.3 s]
/proc/loadavg: 2.19 2.14 2.01 3/177 12155
/proc/meminfo: memFree=28727656/32872528 swapFree=239792/272496
[pid=12118] ppid=12114 vsize=1281284 CPUtime=1242.07 cores=1,3,5,7
/proc/12118/stat : 12118 (cdcl-cuttingpla) R 12114 12118 12078 0 -1 4202496 56797 0 0 0 124174 33 0 0 20 0 1 0 5761946 1312034816 260150 33554432000 4194304 6211289 140734637701968 140734637699960 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/12118/statm: 320321 260150 219 493 0 319818 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 1281284

[startup+1302.3 s]
/proc/loadavg: 2.29 2.16 2.02 3/177 12156
/proc/meminfo: memFree=28721260/32872528 swapFree=239792/272496
[pid=12118] ppid=12114 vsize=1282156 CPUtime=1302.06 cores=1,3,5,7
/proc/12118/stat : 12118 (cdcl-cuttingpla) R 12114 12118 12078 0 -1 4202496 57029 0 0 0 130173 33 0 0 20 0 1 0 5761946 1312927744 260382 33554432000 4194304 6211289 140734637701968 140734637699960 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/12118/statm: 320539 260382 219 493 0 320036 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 1282156

[startup+1362.3 s]
/proc/loadavg: 2.17 2.15 2.02 3/177 12157
/proc/meminfo: memFree=28687004/32872528 swapFree=239792/272496
[pid=12118] ppid=12114 vsize=1282912 CPUtime=1362.04 cores=1,3,5,7
/proc/12118/stat : 12118 (cdcl-cuttingpla) R 12114 12118 12078 0 -1 4202496 57213 0 0 0 136171 33 0 0 20 0 1 0 5761946 1313701888 268742 33554432000 4194304 6211289 140734637701968 140734637699880 4209380 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/12118/statm: 320728 268742 219 493 0 320225 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 1282912

[startup+1422.3 s]
/proc/loadavg: 2.06 2.12 2.02 3/177 12159
/proc/meminfo: memFree=28683656/32872528 swapFree=239792/272496
[pid=12118] ppid=12114 vsize=1282912 CPUtime=1422.04 cores=1,3,5,7
/proc/12118/stat : 12118 (cdcl-cuttingpla) R 12114 12118 12078 0 -1 4202496 57213 0 0 0 142171 33 0 0 20 0 1 0 5761946 1313701888 268742 33554432000 4194304 6211289 140734637701968 140734637700312 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/12118/statm: 320728 268742 219 493 0 320225 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 1282912

[startup+1482.3 s]
/proc/loadavg: 2.02 2.09 2.01 3/177 12160
/proc/meminfo: memFree=28672256/32872528 swapFree=239792/272496
[pid=12118] ppid=12114 vsize=1283200 CPUtime=1482.02 cores=1,3,5,7
/proc/12118/stat : 12118 (cdcl-cuttingpla) R 12114 12118 12078 0 -1 4202496 57378 0 0 0 148169 33 0 0 20 0 1 0 5761946 1313996800 268887 33554432000 4194304 6211289 140734637701968 140734637699880 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/12118/statm: 320800 268887 219 493 0 320297 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 1283200

[startup+1542.31 s]
/proc/loadavg: 2.07 2.09 2.01 3/178 12164
/proc/meminfo: memFree=28666328/32872528 swapFree=239792/272496
[pid=12118] ppid=12114 vsize=1283200 CPUtime=1542.03 cores=1,3,5,7
/proc/12118/stat : 12118 (cdcl-cuttingpla) R 12114 12118 12078 0 -1 4202496 57400 0 0 0 154169 34 0 0 20 0 1 0 5761946 1313996800 268909 33554432000 4194304 6211289 140734637701968 140734637700312 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/12118/statm: 320800 268909 219 493 0 320297 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 1283200

[startup+1602.3 s]
/proc/loadavg: 2.24 2.13 2.03 3/177 12165
/proc/meminfo: memFree=28664556/32872528 swapFree=239792/272496
[pid=12118] ppid=12114 vsize=1284840 CPUtime=1602.01 cores=1,3,5,7
/proc/12118/stat : 12118 (cdcl-cuttingpla) R 12114 12118 12078 0 -1 4202496 57801 0 0 0 160167 34 0 0 20 0 1 0 5761946 1315676160 269310 33554432000 4194304 6211289 140734637701968 140734637699832 4210065 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/12118/statm: 321210 269310 219 493 0 320707 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 1284840

[startup+1662.3 s]
/proc/loadavg: 2.20 2.14 2.03 3/177 12166
/proc/meminfo: memFree=28625664/32872528 swapFree=239792/272496
[pid=12118] ppid=12114 vsize=1298360 CPUtime=1662 cores=1,3,5,7
/proc/12118/stat : 12118 (cdcl-cuttingpla) R 12114 12118 12078 0 -1 4202496 61000 0 0 0 166165 35 0 0 20 0 1 0 5761946 1329520640 278130 33554432000 4194304 6211289 140734637701968 140734637699832 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/12118/statm: 324590 278130 219 493 0 324087 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 1298360

[startup+1722.3 s]
/proc/loadavg: 2.31 2.17 2.05 3/177 12168
/proc/meminfo: memFree=28594660/32872528 swapFree=239792/272496
[pid=12118] ppid=12114 vsize=1301300 CPUtime=1722 cores=1,3,5,7
/proc/12118/stat : 12118 (cdcl-cuttingpla) R 12114 12118 12078 0 -1 4202496 61693 0 0 0 172164 36 0 0 20 0 1 0 5761946 1332531200 285466 33554432000 4194304 6211289 140734637701968 140734637700312 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/12118/statm: 325325 285466 219 493 0 324822 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 1301300

[startup+1782.3 s]
/proc/loadavg: 2.11 2.14 2.04 3/177 12169
/proc/meminfo: memFree=28591916/32872528 swapFree=239792/272496
[pid=12118] ppid=12114 vsize=1302408 CPUtime=1781.99 cores=1,3,5,7
/proc/12118/stat : 12118 (cdcl-cuttingpla) R 12114 12118 12078 0 -1 4202496 61984 0 0 0 178163 36 0 0 20 0 1 0 5761946 1333665792 285757 33554432000 4194304 6211289 140734637701968 140734637699832 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/12118/statm: 325602 285757 219 493 0 325099 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 1302408



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.08 2.13 2.04 3/177 12169
/proc/meminfo: memFree=28590676/32872528 swapFree=239792/272496
[pid=12118] ppid=12114 vsize=1302700 CPUtime=1800.08 cores=1,3,5,7
/proc/12118/stat : 12118 (cdcl-cuttingpla) R 12114 12118 12078 0 -1 4202496 62051 0 0 0 179972 36 0 0 20 0 1 0 5761946 1333964800 285824 33554432000 4194304 6211289 140734637701968 140734637700312 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/12118/statm: 325675 285824 219 493 0 325172 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1302700

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.44
CPU time (s): 1800.13
CPU user time (s): 1799.73
CPU system time (s): 0.399939
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 1302700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.73
system time used= 0.399939
maximum resident set size= 1143296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62051
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= 69
involuntary context switches= 1858

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.75528 second user time and 6.72398 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-30 08:15:09
IDJOB=4119786
IDBENCH=111805
IDSOLVER=2549
FILE ID=node107/4119786-1467267308
RUNJOBID= node107-1467267308-12095
PBS_JOBID= 20004486
Free space on /tmp= 71712 MiB

SOLVER NAME= cdcl-cuttingplanes OPT binary search 2016-05-01
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm50p-opt.opb.negationfix.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119786-1467267308/watcher-4119786-1467267308 -o /tmp/evaluation-result-4119786-1467267308/solver-4119786-1467267308 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1467267308-12095 --watchdog 1960 --input HOME/instance-4119786-1467267308.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= ec62943bb911a96b3ed21c2bcc385c8a
RANDOM SEED=1296786401

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.110
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		: 2667.110
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:        31265672 kB
Buffers:          112032 kB
Cached:           470660 kB
SwapCached:            0 kB
Active:           146980 kB
Inactive:         450200 kB
Active(anon):      16976 kB
Inactive(anon):        4 kB
Active(file):     130004 kB
Inactive(file):   450196 kB
Unevictable:      272496 kB
Mlocked:          239792 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             12876 kB
Writeback:             0 kB
AnonPages:        286772 kB
Mapped:            13220 kB
Shmem:               204 kB
Slab:             605260 kB
SReclaimable:      49752 kB
SUnreclaim:       555508 kB
KernelStack:        1336 kB
PageTables:         4508 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     372344 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node107 at 2016-06-30 08:45:09