Trace number 4119813

Some explanations

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

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

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

Solver answer on this benchmark

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

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.08	c * #variable= 47232 #constraint= 994
0.09/0.16	c * #variable= 47232 #constraint= 994
0.89/0.92	c #Conflicts:       1000 | #Learnt:        999 | 0.000
0.89/0.92	c total clause space: 48.1602MB
0.89/0.92	c total #watches: 207683
4.09/4.17	c total #propagations: 226582 / total #impl: 943701 (eff. 0.240)
4.09/4.17	c S1->S2
4.09/4.17	c S2->S1
4.09/4.17	c S1->S2
4.09/4.17	c #Conflicts:       2000 | #Learnt:       2001 | 0.000
4.09/4.17	c total clause space: 127.173MB
4.09/4.17	c total #watches: 308742
5.59/5.63	c total #propagations: 548951 / total #impl: 3018347 (eff. 0.182)
5.59/5.63	c GC COLLECT
5.59/5.63	c #Conflicts:       3000 | #Learnt:       1692 | 0.000
5.59/5.63	c total clause space: 127.173MB
5.69/5.70	c total #watches: 251880
8.59/8.63	c total #propagations: 744741 / total #impl: 4684799 (eff. 0.159)
8.59/8.63	c #Conflicts:       4000 | #Learnt:       2692 | 0.001
8.59/8.63	c total clause space: 127.173MB
8.59/8.63	c total #watches: 375883
13.99/14.09	c total #propagations: 1111101 / total #impl: 7550328 (eff. 0.147)
13.99/14.09	c GC COLLECT
13.99/14.09	c #Conflicts:       5000 | #Learnt:       2197 | 0.001
13.99/14.09	c total clause space: 127.173MB
13.99/14.09	c total #watches: 404170
17.89/17.97	c total #propagations: 1439133 / total #impl: 9944945 (eff. 0.145)
17.89/17.97	c #Conflicts:       6000 | #Learnt:       3197 | 0.001
17.89/17.97	c total clause space: 127.173MB
17.89/17.97	c total #watches: 602018
21.68/21.77	c total #propagations: 1596202 / total #impl: 12593932 (eff. 0.127)
21.68/21.77	c GC COLLECT
21.68/21.77	c #Conflicts:       7000 | #Learnt:       2160 | 0.001
21.68/21.77	c total clause space: 206.656MB
21.68/21.77	c total #watches: 514426
30.28/30.33	c total #propagations: 1665463 / total #impl: 15203957 (eff. 0.110)
30.28/30.33	c #Conflicts:       8000 | #Learnt:       3160 | 0.001
30.28/30.33	c total clause space: 206.656MB
30.28/30.33	c total #watches: 714990
47.08/47.12	c total #propagations: 1706218 / total #impl: 21908426 (eff. 0.078)
47.08/47.12	c #Conflicts:       9000 | #Learnt:       4160 | 0.001
47.08/47.12	c total clause space: 206.656MB
47.08/47.13	c total #watches: 825232
66.78/66.86	c total #propagations: 2014935 / total #impl: 27528332 (eff. 0.073)
66.78/66.86	c GC COLLECT
66.78/66.86	c #Conflicts:      10000 | #Learnt:       2681 | 0.001
66.78/66.86	c total clause space: 206.656MB
66.78/66.86	c total #watches: 465446
73.88/73.91	c total #propagations: 2343653 / total #impl: 30683669 (eff. 0.076)
73.88/73.91	c #Conflicts:      11000 | #Learnt:       3681 | 0.000
73.88/73.91	c total clause space: 206.656MB
73.88/73.91	c total #watches: 541938
85.18/85.29	c total #propagations: 2510527 / total #impl: 32798259 (eff. 0.077)
85.18/85.29	c #Conflicts:      12000 | #Learnt:       4681 | 0.000
85.18/85.29	c total clause space: 206.656MB
85.18/85.29	c total #watches: 676529
101.77/101.88	c total #propagations: 2816476 / total #impl: 36867683 (eff. 0.076)
101.77/101.88	c #Conflicts:      13000 | #Learnt:       5681 | 0.000
101.77/101.88	c total clause space: 206.656MB
101.77/101.88	c total #watches: 869782
115.77/115.88	c total #propagations: 3115369 / total #impl: 41510103 (eff. 0.075)
115.77/115.88	c GC COLLECT
115.77/115.88	c #Conflicts:      14000 | #Learnt:       3851 | 0.000
115.77/115.88	c total clause space: 206.656MB
115.77/115.88	c total #watches: 654666
130.77/130.90	c total #propagations: 3387604 / total #impl: 46181750 (eff. 0.073)
130.77/130.90	c #Conflicts:      15000 | #Learnt:       4851 | 0.000
130.77/130.90	c total clause space: 206.656MB
130.77/130.90	c total #watches: 755502
145.47/145.51	c total #propagations: 3608761 / total #impl: 50409220 (eff. 0.072)
145.47/145.51	c #Conflicts:      16000 | #Learnt:       5851 | 0.000
145.47/145.51	c total clause space: 206.656MB
145.47/145.51	c total #watches: 855307
151.07/151.12	c total #propagations: 3775358 / total #impl: 56464598 (eff. 0.067)
151.07/151.12	c GC COLLECT
151.07/151.12	c #Conflicts:      17000 | #Learnt:       3678 | 0.000
151.07/151.12	c total clause space: 335.816MB
151.07/151.12	c total #watches: 485037
154.46/154.51	c total #propagations: 3862900 / total #impl: 58111415 (eff. 0.066)
154.46/154.51	c #Conflicts:      18000 | #Learnt:       4678 | 0.000
154.46/154.51	c total clause space: 335.816MB
154.46/154.51	c total #watches: 517988
160.26/160.31	c total #propagations: 3912414 / total #impl: 59455028 (eff. 0.066)
160.26/160.31	c #Conflicts:      19000 | #Learnt:       5678 | 0.000
160.26/160.31	c total clause space: 335.816MB
160.26/160.31	c total #watches: 555646
171.96/172.02	c total #propagations: 3982261 / total #impl: 61241311 (eff. 0.065)
171.96/172.02	c #Conflicts:      20000 | #Learnt:       6678 | 0.011
171.96/172.02	c total clause space: 335.816MB
171.96/172.02	c total #watches: 624077
180.95/181.06	c total #propagations: 4300471 / total #impl: 63818605 (eff. 0.067)
180.95/181.06	c GC COLLECT
180.95/181.06	c #Conflicts:      21000 | #Learnt:       4189 | 0.010
180.95/181.06	c total clause space: 335.816MB
180.95/181.06	c total #watches: 391038
185.95/186.03	c total #propagations: 4635764 / total #impl: 67651504 (eff. 0.069)
185.95/186.03	c #Conflicts:      22000 | #Learnt:       5189 | 0.010
185.95/186.03	c total clause space: 335.816MB
185.95/186.03	c total #watches: 449873
192.24/192.33	c total #propagations: 4849844 / total #impl: 69618629 (eff. 0.070)
192.24/192.33	c #Conflicts:      23000 | #Learnt:       6189 | 0.009
192.24/192.33	c total clause space: 335.816MB
192.24/192.33	c total #watches: 529857
201.14/201.26	c total #propagations: 5185604 / total #impl: 72126818 (eff. 0.072)
201.14/201.26	c #Conflicts:      24000 | #Learnt:       7189 | 0.009
201.14/201.26	c total clause space: 335.816MB
201.14/201.26	c total #watches: 640801
209.23/209.35	c total #propagations: 5474527 / total #impl: 74628265 (eff. 0.073)
209.23/209.35	c GC COLLECT
209.23/209.35	c #Conflicts:      25000 | #Learnt:       4397 | 0.009
209.23/209.35	c total clause space: 335.816MB
209.23/209.35	c total #watches: 547759
214.64/214.71	c total #propagations: 5822035 / total #impl: 78591442 (eff. 0.074)
214.64/214.71	c #Conflicts:      26000 | #Learnt:       5397 | 0.009
214.64/214.71	c total clause space: 335.816MB
214.64/214.71	c total #watches: 769839
223.03/223.16	c total #propagations: 5956197 / total #impl: 84775038 (eff. 0.070)
223.03/223.16	c #Conflicts:      27000 | #Learnt:       6397 | 0.008
223.03/223.16	c total clause space: 335.816MB
223.03/223.16	c total #watches: 865792
244.53/244.66	c total #propagations: 6002187 / total #impl: 89817588 (eff. 0.067)
244.53/244.66	c #Conflicts:      28000 | #Learnt:       7397 | 0.008
244.53/244.66	c total clause space: 335.816MB
244.53/244.66	c total #watches: 934593
261.62/261.72	c total #propagations: 6344346 / total #impl: 95221554 (eff. 0.067)
261.62/261.72	c GC COLLECT
261.62/261.72	c #Conflicts:      29000 | #Learnt:       4309 | 0.008
261.62/261.72	c total clause space: 335.816MB
261.62/261.72	c total #watches: 647376
274.32/274.47	c total #propagations: 6633321 / total #impl: 97895074 (eff. 0.068)
274.32/274.47	c #Conflicts:      30000 | #Learnt:       5309 | 0.007
274.32/274.47	c total clause space: 335.816MB
274.32/274.47	c total #watches: 734258
288.41/288.56	c total #propagations: 6878654 / total #impl: 100613086 (eff. 0.068)
288.41/288.56	c #Conflicts:      31000 | #Learnt:       6309 | 0.007
288.41/288.56	c total clause space: 335.816MB
288.41/288.56	c total #watches: 832652
312.43/312.54	c total #propagations: 7155665 / total #impl: 103430907 (eff. 0.069)
312.43/312.54	c #Conflicts:      32000 | #Learnt:       7309 | 0.007
312.43/312.54	c total clause space: 335.816MB
312.43/312.54	c total #watches: 953878
334.81/334.92	c total #propagations: 7550716 / total #impl: 106825653 (eff. 0.071)
334.81/334.92	c #Conflicts:      33000 | #Learnt:       8309 | 0.007
334.81/334.92	c total clause space: 335.816MB
334.81/334.92	c total #watches: 1114761
346.01/346.17	c total #propagations: 7835895 / total #impl: 110515658 (eff. 0.071)
346.01/346.17	c GC COLLECT
346.01/346.17	c #Conflicts:      34000 | #Learnt:       4902 | 0.007
346.01/346.17	c total clause space: 335.816MB
346.01/346.17	c total #watches: 664319
358.41/358.52	c total #propagations: 7973109 / total #impl: 112690100 (eff. 0.071)
358.41/358.52	c #Conflicts:      35000 | #Learnt:       5902 | 0.006
358.41/358.52	c total clause space: 335.816MB
358.41/358.52	c total #watches: 749302
369.30/369.47	c total #propagations: 8083418 / total #impl: 117283265 (eff. 0.069)
369.30/369.47	c #Conflicts:      36000 | #Learnt:       6902 | 0.006
369.30/369.47	c total clause space: 335.816MB
369.30/369.47	c total #watches: 798003
377.60/377.78	c total #propagations: 8208503 / total #impl: 119854638 (eff. 0.068)
377.60/377.78	c #Conflicts:      37000 | #Learnt:       7902 | 0.006
377.60/377.78	c total clause space: 335.816MB
377.60/377.78	c total #watches: 835536
388.40/388.59	c total #propagations: 8309797 / total #impl: 121546116 (eff. 0.068)
388.40/388.59	c #Conflicts:      38000 | #Learnt:       8902 | 0.006
388.40/388.59	c total clause space: 545.701MB
388.40/388.59	c total #watches: 876738
397.40/397.53	c total #propagations: 8419074 / total #impl: 123728478 (eff. 0.068)
397.40/397.53	c GC COLLECT
397.40/397.53	c #Conflicts:      39000 | #Learnt:       5206 | 0.006
397.40/397.53	c total clause space: 545.701MB
397.40/397.53	c total #watches: 436708
399.00/399.12	c total #propagations: 8563211 / total #impl: 126138577 (eff. 0.068)
399.00/399.12	c #Conflicts:      40000 | #Learnt:       6206 | 0.006
399.00/399.12	c total clause space: 545.701MB
399.00/399.12	c total #watches: 476690
401.10/401.23	c total #propagations: 8593893 / total #impl: 127617774 (eff. 0.067)
401.10/401.23	c #Conflicts:      41000 | #Learnt:       7206 | 0.005
401.10/401.23	c total clause space: 545.701MB
401.10/401.23	c total #watches: 512633
403.71/403.85	c total #propagations: 8633524 / total #impl: 128872938 (eff. 0.067)
403.71/403.85	c #Conflicts:      42000 | #Learnt:       8206 | 0.005
403.71/403.85	c total clause space: 545.701MB
403.71/403.85	c total #watches: 574102
411.90/412.08	c total #propagations: 8678056 / total #impl: 129934916 (eff. 0.067)
411.90/412.08	c #Conflicts:      43000 | #Learnt:       9206 | 0.005
411.90/412.08	c total clause space: 545.701MB
411.90/412.08	c total #watches: 647835
422.80/422.91	c total #propagations: 8742064 / total #impl: 131722063 (eff. 0.066)
422.80/422.91	c GC COLLECT
422.80/422.91	c #Conflicts:      44000 | #Learnt:       5202 | 0.005
422.80/422.91	c total clause space: 545.701MB
422.80/422.91	c total #watches: 442287
427.91/428.03	c total #propagations: 8811520 / total #impl: 133756366 (eff. 0.066)
427.91/428.03	c #Conflicts:      45000 | #Learnt:       6202 | 0.005
427.91/428.03	c total clause space: 545.701MB
427.91/428.03	c total #watches: 510680
442.10/442.23	c total #propagations: 8892519 / total #impl: 135379767 (eff. 0.066)
442.10/442.23	c #Conflicts:      46000 | #Learnt:       7202 | 0.005
442.10/442.23	c total clause space: 545.701MB
442.10/442.23	c total #watches: 605774
457.19/457.30	c total #propagations: 9218430 / total #impl: 137802828 (eff. 0.067)
457.19/457.30	c #Conflicts:      47000 | #Learnt:       8202 | 0.005
457.19/457.30	c total clause space: 545.701MB
457.19/457.30	c total #watches: 691558
481.69/481.82	c total #propagations: 9578042 / total #impl: 140656193 (eff. 0.068)
481.69/481.82	c #Conflicts:      48000 | #Learnt:       9202 | 0.005
481.69/481.82	c total clause space: 545.701MB
481.69/481.82	c total #watches: 785345
502.49/502.61	c total #propagations: 9758941 / total #impl: 143463133 (eff. 0.068)
502.49/502.61	c #Conflicts:      49000 | #Learnt:      10202 | 0.005
502.49/502.61	c total clause space: 545.701MB
502.49/502.61	c total #watches: 924139
517.08/517.26	c total #propagations: 10154271 / total #impl: 146747484 (eff. 0.069)
517.08/517.26	c GC COLLECT
517.08/517.26	c #Conflicts:      50000 | #Learnt:       5912 | 0.004
517.08/517.26	c total clause space: 545.701MB
517.08/517.26	c total #watches: 516500
528.99/529.16	c total #propagations: 10434620 / total #impl: 149508674 (eff. 0.070)
528.99/529.16	c #Conflicts:      51000 | #Learnt:       6912 | 0.004
528.99/529.16	c total clause space: 545.701MB
528.99/529.16	c total #watches: 608469
541.08/541.28	c total #propagations: 10643092 / total #impl: 151657522 (eff. 0.070)
541.08/541.28	c #Conflicts:      52000 | #Learnt:       7912 | 0.004
541.08/541.28	c total clause space: 545.701MB
541.08/541.28	c total #watches: 747862
565.97/566.13	c total #propagations: 10788892 / total #impl: 154374617 (eff. 0.070)
565.97/566.13	c #Conflicts:      53000 | #Learnt:       8912 | 0.004
565.97/566.13	c total clause space: 545.701MB
565.97/566.13	c total #watches: 887458
593.37/593.54	c total #propagations: 10965223 / total #impl: 159226607 (eff. 0.069)
593.37/593.54	c #Conflicts:      54000 | #Learnt:       9912 | 0.004
593.37/593.54	c total clause space: 545.701MB
593.37/593.54	c total #watches: 964829
628.17/628.34	c total #propagations: 11270702 / total #impl: 161955392 (eff. 0.070)
628.17/628.34	c #Conflicts:      55000 | #Learnt:      10912 | 0.004
628.17/628.34	c total clause space: 545.701MB
628.17/628.34	c total #watches: 1110283
636.16/636.32	c total #propagations: 11651515 / total #impl: 166219764 (eff. 0.070)
636.16/636.32	c GC COLLECT
636.16/636.32	c #Conflicts:      56000 | #Learnt:       6300 | 0.004
636.16/636.32	c total clause space: 545.701MB
636.16/636.32	c total #watches: 576423
655.16/655.33	c total #propagations: 11770189 / total #impl: 168346553 (eff. 0.070)
655.16/655.33	c #Conflicts:      57000 | #Learnt:       7300 | 0.004
655.16/655.33	c total clause space: 545.701MB
655.16/655.33	c total #watches: 690385
674.76/674.98	c total #propagations: 12159999 / total #impl: 171587396 (eff. 0.071)
674.76/674.98	c #Conflicts:      58000 | #Learnt:       8300 | 0.004
674.76/674.98	c total clause space: 545.701MB
674.76/674.98	c total #watches: 796982
692.75/692.92	c total #propagations: 12524065 / total #impl: 174401228 (eff. 0.072)
692.75/692.92	c #Conflicts:      59000 | #Learnt:       9300 | 0.004
692.75/692.92	c total clause space: 545.701MB
692.75/692.92	c total #watches: 879953
705.35/705.53	c total #propagations: 12708713 / total #impl: 176550891 (eff. 0.072)
705.35/705.53	c #Conflicts:      60000 | #Learnt:      10300 | 0.004
705.35/705.53	c total clause space: 545.701MB
705.35/705.53	c total #watches: 973712
715.85/716.08	c total #propagations: 12837589 / total #impl: 178951273 (eff. 0.072)
715.85/716.08	c #Conflicts:      61000 | #Learnt:      11300 | 0.004
715.85/716.08	c total clause space: 545.701MB
715.85/716.08	c total #watches: 1079769
720.36/720.52	c total #propagations: 12976698 / total #impl: 183021326 (eff. 0.071)
720.36/720.52	c GC COLLECT
720.36/720.52	c #Conflicts:      62000 | #Learnt:       6401 | 0.004
720.36/720.52	c total clause space: 545.701MB
720.36/720.52	c total #watches: 622190
725.55/725.77	c total #propagations: 13123722 / total #impl: 190531255 (eff. 0.069)
725.55/725.77	c #Conflicts:      63000 | #Learnt:       7401 | 0.004
725.55/725.77	c total clause space: 545.701MB
725.55/725.77	c total #watches: 811166
734.75/734.91	c total #propagations: 13271098 / total #impl: 201119970 (eff. 0.066)
734.75/734.91	c #Conflicts:      64000 | #Learnt:       8401 | 0.004
734.75/734.91	c total clause space: 545.701MB
734.75/734.91	c total #watches: 981325
757.14/757.37	c total #propagations: 13410311 / total #impl: 220116556 (eff. 0.061)
757.14/757.37	c #Conflicts:      65000 | #Learnt:       9401 | 0.003
757.14/757.37	c total clause space: 545.701MB
757.14/757.37	c total #watches: 1085029
786.24/786.41	c total #propagations: 13774580 / total #impl: 227993769 (eff. 0.060)
786.24/786.41	c #Conflicts:      66000 | #Learnt:      10401 | 0.003
786.24/786.41	c total clause space: 545.701MB
786.24/786.41	c total #watches: 1192647
803.44/803.66	c total #propagations: 14173452 / total #impl: 231084268 (eff. 0.061)
803.44/803.66	c #Conflicts:      67000 | #Learnt:      11401 | 0.003
803.44/803.66	c total clause space: 545.701MB
803.44/803.66	c total #watches: 1357130
833.94/834.17	c total #propagations: 14345381 / total #impl: 234567265 (eff. 0.061)
833.94/834.17	c #Conflicts:      68000 | #Learnt:      12401 | 0.003
833.94/834.17	c total clause space: 545.701MB
833.94/834.17	c total #watches: 1434800
846.33/846.51	c total #propagations: 14666741 / total #impl: 237360880 (eff. 0.062)
846.33/846.51	c GC COLLECT
846.33/846.51	c #Conflicts:      69000 | #Learnt:       7198 | 0.003
846.33/846.51	c total clause space: 545.701MB
846.33/846.51	c total #watches: 745913
866.53/866.70	c total #propagations: 14978268 / total #impl: 239769433 (eff. 0.062)
866.53/866.70	c #Conflicts:      70000 | #Learnt:       8198 | 0.003
866.53/866.70	c total clause space: 545.701MB
866.53/866.70	c total #watches: 838583
884.24/884.42	c total #propagations: 15366502 / total #impl: 242686596 (eff. 0.063)
884.24/884.42	c #Conflicts:      71000 | #Learnt:       9198 | 0.003
884.24/884.42	c total clause space: 545.701MB
884.24/884.42	c total #watches: 932503
901.13/901.38	c total #propagations: 15562064 / total #impl: 245568371 (eff. 0.063)
901.13/901.38	c #Conflicts:      72000 | #Learnt:      10198 | 0.003
901.13/901.38	c total clause space: 545.701MB
901.13/901.38	c total #watches: 1041326
931.22/931.40	c total #propagations: 15727534 / total #impl: 250509276 (eff. 0.063)
931.22/931.40	c #Conflicts:      73000 | #Learnt:      11198 | 0.003
931.22/931.40	c total clause space: 545.701MB
931.22/931.40	c total #watches: 1224732
965.72/965.93	c total #propagations: 16133572 / total #impl: 255639080 (eff. 0.063)
965.72/965.93	c #Conflicts:      74000 | #Learnt:      12198 | 0.003
965.72/965.93	c total clause space: 545.701MB
965.72/965.93	c total #watches: 1333350
988.21/988.42	c total #propagations: 16485249 / total #impl: 259972455 (eff. 0.063)
988.21/988.42	c GC COLLECT
988.21/988.42	c #Conflicts:      75000 | #Learnt:       6702 | 0.003
988.21/988.42	c total clause space: 545.701MB
988.21/988.42	c total #watches: 658024
1001.91/1002.20	c total #propagations: 16712162 / total #impl: 263011305 (eff. 0.064)
1001.91/1002.20	c #Conflicts:      76000 | #Learnt:       7702 | 0.003
1001.91/1002.20	c total clause space: 545.701MB
1001.91/1002.20	c total #watches: 851587
1021.71/1021.99	c total #propagations: 17009436 / total #impl: 265693791 (eff. 0.064)
1021.71/1021.99	c #Conflicts:      77000 | #Learnt:       8702 | 0.003
1021.71/1021.99	c total clause space: 545.701MB
1021.71/1021.99	c total #watches: 961875
1040.01/1040.28	c total #propagations: 17294036 / total #impl: 268410066 (eff. 0.064)
1040.01/1040.28	c #Conflicts:      78000 | #Learnt:       9702 | 0.003
1040.01/1040.28	c total clause space: 545.701MB
1040.01/1040.28	c total #watches: 1049835
1057.80/1058.01	c total #propagations: 17580165 / total #impl: 270841677 (eff. 0.065)
1057.80/1058.01	c #Conflicts:      79000 | #Learnt:      10702 | 0.003
1057.80/1058.01	c total clause space: 545.701MB
1057.80/1058.01	c total #watches: 1145430
1077.00/1077.28	c total #propagations: 17728344 / total #impl: 273967108 (eff. 0.065)
1077.00/1077.28	c #Conflicts:      80000 | #Learnt:      11702 | 0.003
1077.00/1077.28	c total clause space: 545.701MB
1077.00/1077.28	c total #watches: 1216616
1097.00/1097.21	c total #propagations: 17843607 / total #impl: 277166821 (eff. 0.064)
1097.00/1097.21	c #Conflicts:      81000 | #Learnt:      12702 | 0.003
1097.00/1097.21	c total clause space: 545.701MB
1097.00/1097.21	c total #watches: 1300353
1116.49/1116.76	c total #propagations: 17998376 / total #impl: 281035382 (eff. 0.064)
1116.49/1116.76	c GC COLLECT
1116.49/1116.76	c #Conflicts:      82000 | #Learnt:       6899 | 0.003
1116.49/1116.76	c total clause space: 545.701MB
1116.49/1116.76	c total #watches: 691092
1132.90/1133.19	c total #propagations: 18114002 / total #impl: 286980241 (eff. 0.063)
1132.90/1133.19	c #Conflicts:      83000 | #Learnt:       7899 | 0.003
1132.90/1133.19	c total clause space: 545.701MB
1132.90/1133.19	c total #watches: 848392
1147.79/1148.05	c total #propagations: 18253439 / total #impl: 292511554 (eff. 0.062)
1147.79/1148.05	c #Conflicts:      84000 | #Learnt:       8899 | 0.003
1147.79/1148.05	c total clause space: 545.701MB
1147.79/1148.05	c total #watches: 947578
1162.18/1162.42	c total #propagations: 18372016 / total #impl: 296715219 (eff. 0.062)
1162.18/1162.42	c #Conflicts:      85000 | #Learnt:       9899 | 0.003
1162.18/1162.42	c total clause space: 545.701MB
1162.18/1162.42	c total #watches: 988665
1180.58/1180.80	c total #propagations: 18446515 / total #impl: 298648260 (eff. 0.062)
1180.58/1180.80	c #Conflicts:      86000 | #Learnt:      10899 | 0.003
1180.58/1180.80	c total clause space: 545.701MB
1180.58/1180.80	c total #watches: 1032655
1202.88/1203.15	c total #propagations: 18526113 / total #impl: 300810978 (eff. 0.062)
1202.88/1203.15	c #Conflicts:      87000 | #Learnt:      11899 | 0.003
1202.88/1203.15	c total clause space: 545.701MB
1202.88/1203.15	c total #watches: 1071599
1226.98/1227.24	c total #propagations: 18595833 / total #impl: 303336125 (eff. 0.061)
1226.98/1227.24	c #Conflicts:      88000 | #Learnt:      12899 | 0.003
1226.98/1227.24	c total clause space: 886.764MB
1226.98/1227.24	c total #watches: 1121953
1260.37/1260.70	c total #propagations: 18661365 / total #impl: 305892848 (eff. 0.061)
1260.37/1260.70	c #Conflicts:      89000 | #Learnt:      13899 | 0.003
1260.37/1260.70	c total clause space: 886.764MB
1260.37/1260.70	c total #watches: 1184438
1281.87/1282.13	c total #propagations: 18742569 / total #impl: 309086753 (eff. 0.061)
1281.87/1282.13	c GC COLLECT
1281.87/1282.13	c #Conflicts:      90000 | #Learnt:       7798 | 0.002
1281.87/1282.13	c total clause space: 886.764MB
1281.87/1282.13	c total #watches: 744433
1297.26/1297.57	c total #propagations: 18883482 / total #impl: 311438365 (eff. 0.061)
1297.26/1297.57	c #Conflicts:      91000 | #Learnt:       8798 | 0.002
1297.26/1297.57	c total clause space: 886.764MB
1297.26/1297.57	c total #watches: 787060
1314.76/1315.09	c total #propagations: 19002778 / total #impl: 313724063 (eff. 0.061)
1314.76/1315.09	c #Conflicts:      92000 | #Learnt:       9798 | 0.002
1314.76/1315.09	c total clause space: 886.764MB
1314.76/1315.09	c total #watches: 829839
1335.75/1336.07	c total #propagations: 19118376 / total #impl: 315935072 (eff. 0.061)
1335.75/1336.07	c #Conflicts:      93000 | #Learnt:      10798 | 0.002
1335.75/1336.07	c total clause space: 886.764MB
1335.75/1336.07	c total #watches: 865151
1368.34/1368.64	c total #propagations: 19246306 / total #impl: 318345805 (eff. 0.060)
1368.34/1368.64	c #Conflicts:      94000 | #Learnt:      11798 | 0.002
1368.34/1368.64	c total clause space: 886.764MB
1368.34/1368.64	c total #watches: 924170
1400.33/1400.61	c total #propagations: 19412072 / total #impl: 321599872 (eff. 0.060)
1400.33/1400.61	c #Conflicts:      95000 | #Learnt:      12798 | 0.002
1400.33/1400.61	c total clause space: 886.764MB
1400.33/1400.61	c total #watches: 1001418
1440.42/1440.74	c total #propagations: 19591735 / total #impl: 324944198 (eff. 0.060)
1440.42/1440.74	c #Conflicts:      96000 | #Learnt:      13798 | 0.002
1440.42/1440.74	c total clause space: 886.764MB
1440.42/1440.74	c total #watches: 1068011
1486.91/1487.25	c total #propagations: 19750624 / total #impl: 328393584 (eff. 0.060)
1486.91/1487.25	c #Conflicts:      97000 | #Learnt:      14798 | 0.002
1486.91/1487.25	c total clause space: 886.764MB
1486.91/1487.25	c total #watches: 1150570
1509.10/1509.44	c total #propagations: 19931255 / total #impl: 332504079 (eff. 0.060)
1509.10/1509.44	c GC COLLECT
1509.10/1509.44	c #Conflicts:      98000 | #Learnt:       8396 | 0.002
1509.10/1509.44	c total clause space: 886.764MB
1509.10/1509.44	c total #watches: 799472
1531.20/1531.55	c total #propagations: 20119661 / total #impl: 335405869 (eff. 0.060)
1531.20/1531.55	c #Conflicts:      99000 | #Learnt:       9396 | 0.002
1531.20/1531.55	c total clause space: 886.764MB
1531.20/1531.55	c total #watches: 854477
1561.70/1562.10	c total #propagations: 20283875 / total #impl: 338209416 (eff. 0.060)
1561.70/1562.10	c #Conflicts:     100000 | #Learnt:      10396 | 0.002
1561.70/1562.10	c total clause space: 886.764MB
1561.70/1562.10	c total #watches: 930058
1595.49/1595.81	c total #propagations: 20466713 / total #impl: 341831836 (eff. 0.060)
1595.49/1595.81	c #Conflicts:     101000 | #Learnt:      11396 | 0.002
1595.49/1595.81	c total clause space: 886.764MB
1595.49/1595.81	c total #watches: 996476
1632.78/1633.15	c total #propagations: 20648596 / total #impl: 345437561 (eff. 0.060)
1632.78/1633.15	c #Conflicts:     102000 | #Learnt:      12396 | 0.002
1632.78/1633.15	c total clause space: 886.764MB
1632.78/1633.15	c total #watches: 1068521
1675.78/1676.19	c total #propagations: 20843681 / total #impl: 349535814 (eff. 0.060)
1675.78/1676.19	c #Conflicts:     103000 | #Learnt:      13396 | 0.002
1675.78/1676.19	c total clause space: 886.764MB
1675.78/1676.19	c total #watches: 1171686
1728.47/1728.84	c total #propagations: 21156900 / total #impl: 353410974 (eff. 0.060)
1728.47/1728.84	c #Conflicts:     104000 | #Learnt:      14396 | 0.002
1728.47/1728.84	c total clause space: 886.764MB
1728.47/1728.84	c total #watches: 1287362
1776.66/1777.08	c total #propagations: 21505113 / total #impl: 356944911 (eff. 0.060)
1776.66/1777.08	c #Conflicts:     105000 | #Learnt:      15396 | 0.002
1776.66/1777.08	c total clause space: 886.764MB
1776.66/1777.08	c total #watches: 1358963
1795.26/1795.66	c total #propagations: 21822808 / total #impl: 359424820 (eff. 0.061)
1795.26/1795.66	c GC COLLECT
1795.26/1795.66	c #Conflicts:     106000 | #Learnt:       8700 | 0.002
1795.26/1795.66	c total clause space: 886.764MB
1795.26/1795.66	c total #watches: 866097

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

pid=9831
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.89 1.98 1.85 3/236 9834
/proc/meminfo: memFree=31403776/32872528 swapFree=189444/189444
[pid=9834] ppid=9831 vsize=55976 CPUtime=0 cores=1,3,5,7
/proc/9834/stat : 9834 (cdcl-cuttingpla) R 9831 9834 9799 0 -1 4202496 259 0 0 0 0 0 0 0 20 0 1 0 7839920 57319424 8317 33554432000 4194304 6211289 140736009879088 140734874335128 4206599 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9834/statm: 13994 8317 98 493 0 13491 0

[startup+0.100164 s]
/proc/loadavg: 1.89 1.98 1.85 3/236 9834
/proc/meminfo: memFree=31403776/32872528 swapFree=189444/189444
[pid=9834] ppid=9831 vsize=65592 CPUtime=0.09 cores=1,3,5,7
/proc/9834/stat : 9834 (cdcl-cuttingpla) R 9831 9834 9799 0 -1 4202496 1794 0 0 0 9 0 0 0 20 0 1 0 7839920 67166208 13920 33554432000 4194304 6211289 140736009879088 140734874335128 5161098 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/9834/statm: 16398 13922 144 493 0 15895 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 65592

[startup+0.20037 s]
/proc/loadavg: 1.89 1.98 1.85 3/236 9834
/proc/meminfo: memFree=31403776/32872528 swapFree=189444/189444
[pid=9834] ppid=9831 vsize=75800 CPUtime=0.19 cores=1,3,5,7
/proc/9834/stat : 9834 (cdcl-cuttingpla) R 9831 9834 9799 0 -1 4202496 3953 0 0 0 18 1 0 0 20 0 1 0 7839920 77619200 16604 33554432000 4194304 6211289 140736009879088 140734874335128 4228081 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/9834/statm: 18950 16605 144 493 0 18447 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 75800

[startup+0.300234 s]
/proc/loadavg: 1.89 1.98 1.85 3/236 9834
/proc/meminfo: memFree=31403776/32872528 swapFree=189444/189444
[pid=9834] ppid=9831 vsize=84152 CPUtime=0.29 cores=1,3,5,7
/proc/9834/stat : 9834 (cdcl-cuttingpla) R 9831 9834 9799 0 -1 4202496 5265 0 0 0 28 1 0 0 20 0 1 0 7839920 86171648 18382 33554432000 4194304 6211289 140736009879088 140734874335128 4246419 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/9834/statm: 21038 18382 150 493 0 20535 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84152

[startup+0.700281 s]
/proc/loadavg: 1.89 1.98 1.85 3/236 9834
/proc/meminfo: memFree=31403776/32872528 swapFree=189444/189444
[pid=9834] ppid=9831 vsize=104016 CPUtime=0.69 cores=1,3,5,7
/proc/9834/stat : 9834 (cdcl-cuttingpla) R 9831 9834 9799 0 -1 4202496 6087 0 0 0 68 1 0 0 20 0 1 0 7839920 106512384 22609 33554432000 4194304 6211289 140736009879088 140736009877320 4209484 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/9834/statm: 26004 22609 150 493 0 25501 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 104016

[startup+1.50028 s]
/proc/loadavg: 1.89 1.98 1.85 3/241 9846
/proc/meminfo: memFree=31173400/32872528 swapFree=189444/189444
[pid=9834] ppid=9831 vsize=124504 CPUtime=1.49 cores=1,3,5,7
/proc/9834/stat : 9834 (cdcl-cuttingpla) R 9831 9834 9799 0 -1 4202496 6758 0 0 0 147 2 0 0 20 0 1 0 7839920 127492096 27823 33554432000 4194304 6211289 140736009879088 140736009877000 5161098 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/9834/statm: 31126 27823 160 493 0 30623 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 124504

[startup+3.10024 s]
/proc/loadavg: 1.89 1.98 1.85 3/241 9846
/proc/meminfo: memFree=31061888/32872528 swapFree=189444/189444
[pid=9834] ppid=9831 vsize=332860 CPUtime=3.09 cores=1,3,5,7
/proc/9834/stat : 9834 (cdcl-cuttingpla) R 9831 9834 9799 0 -1 4202496 9774 0 0 0 304 5 0 0 20 0 1 0 7839920 340848640 60546 33554432000 4194304 6211289 140736009879088 140736009877368 4209497 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/9834/statm: 83215 60546 214 493 0 82712 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 332860

[startup+6.30028 s]
/proc/loadavg: 1.89 1.98 1.85 3/241 9846
/proc/meminfo: memFree=30953384/32872528 swapFree=189444/189444
[pid=9834] ppid=9831 vsize=336084 CPUtime=6.28 cores=1,3,5,7
/proc/9834/stat : 9834 (cdcl-cuttingpla) R 9831 9834 9799 0 -1 4202496 11773 0 0 0 623 5 0 0 20 0 1 0 7839920 344150016 65532 33554432000 4194304 6211289 140736009879088 140736009877000 5161098 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/9834/statm: 84021 65532 219 493 0 83518 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 336084

[startup+12.7003 s]
/proc/loadavg: 1.91 1.98 1.85 3/241 9846
/proc/meminfo: memFree=30899108/32872528 swapFree=189444/189444
[pid=9834] ppid=9831 vsize=342228 CPUtime=12.69 cores=1,3,5,7
/proc/9834/stat : 9834 (cdcl-cuttingpla) R 9831 9834 9799 0 -1 4202496 14003 0 0 0 1263 6 0 0 20 0 1 0 7839920 350441472 67561 33554432000 4194304 6211289 140736009879088 140736009877080 4209322 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/9834/statm: 85557 67561 219 493 0 85054 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 342228

[startup+25.5004 s]
/proc/loadavg: 1.92 1.98 1.85 3/241 9846
/proc/meminfo: memFree=30500468/32872528 swapFree=189444/189444
[pid=9834] ppid=9831 vsize=431656 CPUtime=25.48 cores=1,3,5,7
/proc/9834/stat : 9834 (cdcl-cuttingpla) R 9831 9834 9799 0 -1 4202496 16283 0 0 0 2541 7 0 0 20 0 1 0 7839920 442015744 77397 33554432000 4194304 6211289 140736009879088 140736009877000 4209304 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/9834/statm: 107914 77397 219 493 0 107411 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 431656

[startup+51.1004 s]
/proc/loadavg: 2.03 2.00 1.86 3/241 9846
/proc/meminfo: memFree=30440112/32872528 swapFree=189444/189444
[pid=9834] ppid=9831 vsize=441116 CPUtime=51.09 cores=1,3,5,7
/proc/9834/stat : 9834 (cdcl-cuttingpla) R 9831 9834 9799 0 -1 4202496 18701 0 0 0 5100 9 0 0 20 0 1 0 7839920 451702784 89523 33554432000 4194304 6211289 140736009879088 140736009877432 4209328 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/9834/statm: 110279 89523 219 493 0 109776 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 441116

[startup+102.3 s]
/proc/loadavg: 2.10 2.03 1.87 3/241 9847
/proc/meminfo: memFree=30381080/32872528 swapFree=189444/189444
[pid=9834] ppid=9831 vsize=450796 CPUtime=102.28 cores=1,3,5,7
/proc/9834/stat : 9834 (cdcl-cuttingpla) R 9831 9834 9799 0 -1 4202496 21202 0 0 0 10219 9 0 0 20 0 1 0 7839920 461615104 99169 33554432000 4194304 6211289 140736009879088 140736009876952 4209322 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/9834/statm: 112699 99169 219 493 0 112196 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 450796

[startup+162.3 s]
/proc/loadavg: 2.15 2.05 1.89 3/241 9848
/proc/meminfo: memFree=30344656/32872528 swapFree=189444/189444
[pid=9834] ppid=9831 vsize=589728 CPUtime=162.26 cores=1,3,5,7
/proc/9834/stat : 9834 (cdcl-cuttingpla) R 9831 9834 9799 0 -1 4202496 23487 0 0 0 16216 10 0 0 20 0 1 0 7839920 603881472 104186 33554432000 4194304 6211289 140736009879088 140736009877432 4209322 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/9834/statm: 147432 104186 219 493 0 146929 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 589728

[startup+222.307 s]
/proc/loadavg: 2.16 2.07 1.91 3/240 9849
/proc/meminfo: memFree=30301448/32872528 swapFree=189444/189444
[pid=9834] ppid=9831 vsize=609068 CPUtime=222.24 cores=1,3,5,7
/proc/9834/stat : 9834 (cdcl-cuttingpla) R 9831 9834 9799 0 -1 4202496 28583 0 0 0 22212 12 0 0 20 0 1 0 7839920 623685632 113439 33554432000 4194304 6211289 140736009879088 140736009877000 4209244 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/9834/statm: 152267 113439 219 493 0 151764 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 609068

[startup+282.3 s]
/proc/loadavg: 2.13 2.08 1.92 3/242 9854
/proc/meminfo: memFree=30238660/32872528 swapFree=189444/189444
[pid=9834] ppid=9831 vsize=618304 CPUtime=282.22 cores=1,3,5,7
/proc/9834/stat : 9834 (cdcl-cuttingpla) R 9831 9834 9799 0 -1 4202496 30896 0 0 0 28209 13 0 0 20 0 1 0 7839920 633143296 125449 33554432000 4194304 6211289 140736009879088 140736009877000 4209244 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/9834/statm: 154576 125449 219 493 0 154073 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 618304

[startup+342.3 s]
/proc/loadavg: 2.04 2.06 1.92 3/241 9855
/proc/meminfo: memFree=30197380/32872528 swapFree=189444/189444
[pid=9834] ppid=9831 vsize=622120 CPUtime=342.21 cores=1,3,5,7
/proc/9834/stat : 9834 (cdcl-cuttingpla) R 9831 9834 9799 0 -1 4202496 31887 0 0 0 34207 14 0 0 20 0 1 0 7839920 637050880 133594 33554432000 4194304 6211289 140736009879088 140736009877000 4209322 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/9834/statm: 155530 133594 219 493 0 155027 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 622120

[startup+402.3 s]
/proc/loadavg: 2.02 2.05 1.92 3/241 9856
/proc/meminfo: memFree=30103108/32872528 swapFree=189444/189444
[pid=9834] ppid=9831 vsize=841312 CPUtime=402.2 cores=1,3,5,7
/proc/9834/stat : 9834 (cdcl-cuttingpla) R 9831 9834 9799 0 -1 4202496 33485 0 0 0 40202 18 0 0 20 0 1 0 7839920 861503488 151356 33554432000 4194304 6211289 140736009879088 140736009877432 5158597 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/9834/statm: 210328 151356 219 493 0 209825 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 841312

[startup+462.3 s]
/proc/loadavg: 2.14 2.07 1.93 3/241 9857
/proc/meminfo: memFree=29916032/32872528 swapFree=189444/189444
[pid=9834] ppid=9831 vsize=847892 CPUtime=462.19 cores=1,3,5,7
/proc/9834/stat : 9834 (cdcl-cuttingpla) R 9831 9834 9799 0 -1 4202496 35345 0 0 0 46199 20 0 0 20 0 1 0 7839920 868241408 182086 33554432000 4194304 6211289 140736009879088 140736009876952 4209314 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/9834/statm: 211973 182086 219 493 0 211470 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 847892

[startup+522.3 s]
/proc/loadavg: 2.05 2.06 1.93 3/241 9858
/proc/meminfo: memFree=29860740/32872528 swapFree=189444/189444
[pid=9834] ppid=9831 vsize=853184 CPUtime=522.18 cores=1,3,5,7
/proc/9834/stat : 9834 (cdcl-cuttingpla) R 9831 9834 9799 0 -1 4202496 36662 0 0 0 52197 21 0 0 20 0 1 0 7839920 873660416 183403 33554432000 4194304 6211289 140736009879088 140736009877080 4209304 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/9834/statm: 213296 183403 219 493 0 212793 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 853184

[startup+582.3 s]
/proc/loadavg: 2.05 2.06 1.93 3/241 9860
/proc/meminfo: memFree=29850916/32872528 swapFree=189444/189444
[pid=9834] ppid=9831 vsize=858792 CPUtime=582.17 cores=1,3,5,7
/proc/9834/stat : 9834 (cdcl-cuttingpla) R 9831 9834 9799 0 -1 4202496 38113 0 0 0 58196 21 0 0 20 0 1 0 7839920 879403008 184854 33554432000 4194304 6211289 140736009879088 140736009877080 4209322 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/9834/statm: 214698 184854 219 493 0 214195 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 858792


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


[startup+882.307 s]
/proc/loadavg: 2.00 2.01 1.93 3/242 9869
/proc/meminfo: memFree=29766296/32872528 swapFree=189444/189444
[pid=9834] ppid=9831 vsize=881580 CPUtime=882.14 cores=1,3,5,7
/proc/9834/stat : 9834 (cdcl-cuttingpla) R 9831 9834 9799 0 -1 4202496 43892 0 0 0 88190 24 0 0 20 0 1 0 7839920 902737920 198297 33554432000 4194304 6211289 140736009879088 140736009877000 4247565 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/9834/statm: 220395 198297 219 493 0 219892 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 881580

[startup+942.3 s]
/proc/loadavg: 2.08 2.02 1.94 3/241 9870
/proc/meminfo: memFree=29756888/32872528 swapFree=189444/189444
[pid=9834] ppid=9831 vsize=887008 CPUtime=942.11 cores=1,3,5,7
/proc/9834/stat : 9834 (cdcl-cuttingpla) R 9831 9834 9799 0 -1 4202496 45217 0 0 0 94187 24 0 0 20 0 1 0 7839920 908296192 199622 33554432000 4194304 6211289 140736009879088 140736009876952 4209328 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/9834/statm: 221752 199622 219 493 0 221249 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 887008

[startup+1002.3 s]
/proc/loadavg: 2.10 2.05 1.95 3/241 9871
/proc/meminfo: memFree=29746020/32872528 swapFree=189444/189444
[pid=9834] ppid=9831 vsize=889852 CPUtime=1002.1 cores=1,3,5,7
/proc/9834/stat : 9834 (cdcl-cuttingpla) R 9831 9834 9799 0 -1 4202496 45959 0 0 0 100186 24 0 0 20 0 1 0 7839920 911208448 200364 33554432000 4194304 6211289 140736009879088 140736009877080 4209314 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/9834/statm: 222463 200364 219 493 0 221960 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 889852

[startup+1062.3 s]
/proc/loadavg: 2.10 2.05 1.95 3/241 9872
/proc/meminfo: memFree=29727164/32872528 swapFree=189444/189444
[pid=9834] ppid=9831 vsize=891520 CPUtime=1062.1 cores=1,3,5,7
/proc/9834/stat : 9834 (cdcl-cuttingpla) R 9831 9834 9799 0 -1 4202496 46356 0 0 0 106185 25 0 0 20 0 1 0 7839920 912916480 200761 33554432000 4194304 6211289 140736009879088 140736009877432 4209396 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/9834/statm: 222880 200761 219 493 0 222377 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 891520

[startup+1122.3 s]
/proc/loadavg: 2.08 2.05 1.96 3/241 9873
/proc/meminfo: memFree=29693544/32872528 swapFree=189444/189444
[pid=9834] ppid=9831 vsize=893848 CPUtime=1122.09 cores=1,3,5,7
/proc/9834/stat : 9834 (cdcl-cuttingpla) R 9831 9834 9799 0 -1 4202496 46962 0 0 0 112184 25 0 0 20 0 1 0 7839920 915300352 208521 33554432000 4194304 6211289 140736009879088 140736009877432 4209322 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/9834/statm: 223462 208521 219 493 0 222959 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 893848

[startup+1182.3 s]
/proc/loadavg: 2.08 2.06 1.97 3/241 9875
/proc/meminfo: memFree=29688596/32872528 swapFree=189444/189444
[pid=9834] ppid=9831 vsize=895644 CPUtime=1182.08 cores=1,3,5,7
/proc/9834/stat : 9834 (cdcl-cuttingpla) R 9831 9834 9799 0 -1 4202496 47404 0 0 0 118183 25 0 0 20 0 1 0 7839920 917139456 208963 33554432000 4194304 6211289 140736009879088 140736009877432 4209322 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/9834/statm: 223911 208963 219 493 0 223408 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 895644

[startup+1242.3 s]
/proc/loadavg: 2.03 2.05 1.97 3/241 9876
/proc/meminfo: memFree=29549952/32872528 swapFree=189444/189444
[pid=9834] ppid=9831 vsize=1246016 CPUtime=1242.07 cores=1,3,5,7
/proc/9834/stat : 9834 (cdcl-cuttingpla) R 9831 9834 9799 0 -1 4202496 47948 0 0 0 124181 26 0 0 20 0 1 0 7839920 1275920384 232988 33554432000 4194304 6211289 140736009879088 140736009877000 4209322 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/9834/statm: 311504 232988 219 493 0 311001 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 1246016

[startup+1302.3 s]
/proc/loadavg: 2.01 2.03 1.97 3/241 9877
/proc/meminfo: memFree=29504852/32872528 swapFree=189444/189444
[pid=9834] ppid=9831 vsize=1246724 CPUtime=1302.06 cores=1,3,5,7
/proc/9834/stat : 9834 (cdcl-cuttingpla) R 9831 9834 9799 0 -1 4202496 48121 0 0 0 130179 27 0 0 20 0 1 0 7839920 1276645376 243916 33554432000 4194304 6211289 140736009879088 140736009877432 4209322 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/9834/statm: 311681 243916 219 493 0 311178 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 1246724

[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 1.97 3/241 9878
/proc/meminfo: memFree=29459444/32872528 swapFree=189444/189444
[pid=9834] ppid=9831 vsize=1247164 CPUtime=1362.04 cores=1,3,5,7
/proc/9834/stat : 9834 (cdcl-cuttingpla) R 9831 9834 9799 0 -1 4202496 48409 0 0 0 136177 27 0 0 20 0 1 0 7839920 1277095936 244172 33554432000 4194304 6211289 140736009879088 140736009877000 4209322 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/9834/statm: 311791 244172 219 493 0 311288 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 1247164

[startup+1422.3 s]
/proc/loadavg: 2.07 2.05 1.98 3/241 9879
/proc/meminfo: memFree=29443484/32872528 swapFree=189444/189444
[pid=9834] ppid=9831 vsize=1248032 CPUtime=1422.03 cores=1,3,5,7
/proc/9834/stat : 9834 (cdcl-cuttingpla) R 9831 9834 9799 0 -1 4202496 48646 0 0 0 142176 27 0 0 20 0 1 0 7839920 1277984768 244402 33554432000 4194304 6211289 140736009879088 140736009877000 4240093 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/9834/statm: 312008 244402 219 493 0 311505 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 1248032

[startup+1482.3 s]
/proc/loadavg: 2.10 2.05 1.98 3/242 9884
/proc/meminfo: memFree=29367672/32872528 swapFree=189444/189444
[pid=9834] ppid=9831 vsize=1249044 CPUtime=1482.01 cores=1,3,5,7
/proc/9834/stat : 9834 (cdcl-cuttingpla) R 9831 9834 9799 0 -1 4202496 48938 0 0 0 148173 28 0 0 20 0 1 0 7839920 1279021056 259500 33554432000 4194304 6211289 140736009879088 140736009877000 4209380 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/9834/statm: 312261 259500 219 493 0 311758 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 1249044

[startup+1542.31 s]
/proc/loadavg: 2.03 2.04 1.98 3/241 9885
/proc/meminfo: memFree=29331780/32872528 swapFree=189444/189444
[pid=9834] ppid=9831 vsize=1249328 CPUtime=1542.01 cores=1,3,5,7
/proc/9834/stat : 9834 (cdcl-cuttingpla) R 9831 9834 9799 0 -1 4202496 48983 0 0 0 154173 28 0 0 20 0 1 0 7839920 1279311872 261589 33554432000 4194304 6211289 140736009879088 140736009877080 4209244 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/9834/statm: 312332 261589 219 493 0 311829 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 1249328

[startup+1602.3 s]
/proc/loadavg: 2.07 2.05 1.99 3/241 9886
/proc/meminfo: memFree=29253884/32872528 swapFree=189444/189444
[pid=9834] ppid=9831 vsize=1249328 CPUtime=1601.99 cores=1,3,5,7
/proc/9834/stat : 9834 (cdcl-cuttingpla) R 9831 9834 9799 0 -1 4202496 48995 0 0 0 160171 28 0 0 20 0 1 0 7839920 1279311872 261601 33554432000 4194304 6211289 140736009879088 140736009877432 4209322 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/9834/statm: 312332 261601 219 493 0 311829 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 1249328

[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 1.99 3/241 9887
/proc/meminfo: memFree=29221328/32872528 swapFree=189444/189444
[pid=9834] ppid=9831 vsize=1254412 CPUtime=1661.98 cores=1,3,5,7
/proc/9834/stat : 9834 (cdcl-cuttingpla) R 9831 9834 9799 0 -1 4202496 50174 0 0 0 166170 28 0 0 20 0 1 0 7839920 1284517888 263014 33554432000 4194304 6211289 140736009879088 140736009876952 4209396 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/9834/statm: 313603 263014 219 493 0 313100 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 1254412

[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 1.99 3/241 9888
/proc/meminfo: memFree=29053600/32872528 swapFree=189444/189444
[pid=9834] ppid=9831 vsize=1263448 CPUtime=1721.97 cores=1,3,5,7
/proc/9834/stat : 9834 (cdcl-cuttingpla) R 9831 9834 9799 0 -1 4202496 52313 0 0 0 172168 29 0 0 20 0 1 0 7839920 1293770752 265153 33554432000 4194304 6211289 140736009879088 140736009876952 4209392 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/9834/statm: 315862 265153 219 493 0 315359 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 1263448

[startup+1782.3 s]
/proc/loadavg: 2.06 2.04 1.99 3/241 9890
/proc/meminfo: memFree=29020524/32872528 swapFree=189444/189444
[pid=9834] ppid=9831 vsize=1267792 CPUtime=1781.96 cores=1,3,5,7
/proc/9834/stat : 9834 (cdcl-cuttingpla) R 9831 9834 9799 0 -1 4202496 53301 0 0 0 178166 30 0 0 20 0 1 0 7839920 1298219008 266141 33554432000 4194304 6211289 140736009879088 140736009877432 4209322 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/9834/statm: 316948 266141 219 493 0 316445 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 1267792



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.05 2.03 1.99 3/241 9890
/proc/meminfo: memFree=29007248/32872528 swapFree=189444/189444
[pid=9834] ppid=9831 vsize=1267936 CPUtime=1800.06 cores=1,3,5,7
/proc/9834/stat : 9834 (cdcl-cuttingpla) R 9831 9834 9799 0 -1 4202496 53340 0 0 0 179976 30 0 0 20 0 1 0 7839920 1298366464 266180 33554432000 4194304 6211289 140736009879088 140736009877080 4209388 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/9834/statm: 316984 266180 219 493 0 316481 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1267936

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 9834 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.41
CPU time (s): 1800.08
CPU user time (s): 1799.77
CPU system time (s): 0.310952
CPU usage (%): 99.9817
Max. virtual memory (cumulated for all children) (KiB): 1267936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.77
system time used= 0.310952
maximum resident set size= 1064720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53340
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= 88
involuntary context switches= 1910

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5963 second user time and 6.88395 second system time

The end

Launcher Data 

Begin job on node102 at 2016-06-30 08:15:34
IDJOB=4119813
IDBENCH=111808
IDSOLVER=2549
FILE ID=node102/4119813-1467267334
RUNJOBID= node102-1467267334-9816
PBS_JOBID= 20004490
Free space on /tmp= 71664 MiB

SOLVER NAME= cdcl-cuttingplanes OPT binary 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-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119813-1467267334/watcher-4119813-1467267334 -o /tmp/evaluation-result-4119813-1467267334/solver-4119813-1467267334 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1467267334-9816 --watchdog 1960 --input HOME/instance-4119813-1467267334.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= 0e6bc42a73004b619a56f65a9590fd0d
RANDOM SEED=910512211

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31405272 kB
Buffers:          134892 kB
Cached:           383952 kB
SwapCached:            0 kB
Active:           191632 kB
Inactive:         347960 kB
Active(anon):      22992 kB
Inactive(anon):        0 kB
Active(file):     168640 kB
Inactive(file):   347960 kB
Unevictable:      189444 kB
Mlocked:          189444 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              8544 kB
Writeback:             0 kB
AnonPages:        207320 kB
Mapped:            14120 kB
Shmem:               204 kB
Slab:             605696 kB
SReclaimable:      50024 kB
SUnreclaim:       555672 kB
KernelStack:        1848 kB
PageTables:         4820 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     307180 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 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= 71656 MiB
End job on node102 at 2016-06-30 08:45:34