Trace number 4087484

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.09 1800.4

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-4.opb
MD5SUM1a88750537364c45876077f809191628
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-51
Best CPU time to get the best result obtained on this benchmark1800
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -52
Optimality of the best value was proved NO
Number of variables1272
Total number of constraints94308
Number of constraints which are clauses94308
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1272
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1272
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1272
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c OPTIONS:
0.00/0.00	c - Resolve (`-resolve-always' or `-resolve-skip'): -resolve-skip
0.08/0.10	c * #variable= 1272 #constraint= 94308
0.29/0.31	c * #variable= 1272 #constraint= 94308
1.79/1.89	c S1->S2
1.79/1.89	c S2->S1
1.79/1.89	c #Conflicts:       1000 | #Learnt:        752 | 0.000
1.79/1.89	c total clause space: 48.1602MB
1.79/1.89	c total #watches: 295316
6.39/6.43	c total #propagations: 56730 / total #impl: 106526 (eff. 0.533)
6.39/6.43	c #Conflicts:       2000 | #Learnt:       1752 | 0.000
6.39/6.43	c total clause space: 78.2603MB
6.39/6.43	c total #watches: 418338
11.69/11.72	c total #propagations: 129497 / total #impl: 242023 (eff. 0.535)
11.69/11.72	c GC COLLECT
11.69/11.72	c #Conflicts:       3000 | #Learnt:       1856 | 0.000
11.69/11.72	c total clause space: 78.2603MB
11.69/11.72	c total #watches: 409143
18.89/18.98	c total #propagations: 206278 / total #impl: 387067 (eff. 0.533)
18.89/18.98	c #Conflicts:       4000 | #Learnt:       2856 | 0.000
18.89/18.98	c total clause space: 78.2603MB
18.89/18.98	c total #watches: 491755
25.09/25.12	c total #propagations: 285261 / total #impl: 535487 (eff. 0.533)
25.09/25.12	c GC COLLECT
25.09/25.12	c #Conflicts:       5000 | #Learnt:       2257 | 0.000
25.09/25.12	c total clause space: 127.173MB
25.09/25.12	c total #watches: 443310
32.89/32.93	c total #propagations: 353992 / total #impl: 669286 (eff. 0.529)
32.89/32.93	c #Conflicts:       6000 | #Learnt:       3257 | 0.000
32.89/32.93	c total clause space: 127.173MB
32.89/32.93	c total #watches: 545951
45.69/45.70	c total #propagations: 432489 / total #impl: 822036 (eff. 0.526)
45.69/45.70	c GC COLLECT
45.69/45.70	c #Conflicts:       7000 | #Learnt:       2163 | 0.000
45.69/45.70	c total clause space: 127.173MB
45.69/45.70	c total #watches: 384526
53.39/53.48	c total #propagations: 519241 / total #impl: 978235 (eff. 0.531)
53.39/53.48	c #Conflicts:       8000 | #Learnt:       3163 | 0.000
53.39/53.48	c total clause space: 127.173MB
53.39/53.48	c total #watches: 407162
62.98/63.05	c total #propagations: 625058 / total #impl: 1166675 (eff. 0.536)
62.98/63.05	c #Conflicts:       9000 | #Learnt:       4163 | 0.000
62.98/63.05	c total clause space: 127.173MB
62.98/63.05	c total #watches: 473439
70.98/71.02	c total #propagations: 739959 / total #impl: 1429278 (eff. 0.518)
70.98/71.02	c GC COLLECT
70.98/71.02	c #Conflicts:      10000 | #Learnt:       2652 | 0.000
70.98/71.02	c total clause space: 127.173MB
70.98/71.02	c total #watches: 361852
76.48/76.53	c total #propagations: 816671 / total #impl: 1572365 (eff. 0.519)
76.48/76.53	c #Conflicts:      11000 | #Learnt:       3652 | 0.000
76.48/76.53	c total clause space: 127.173MB
76.48/76.53	c total #watches: 456718
81.98/82.02	c total #propagations: 893098 / total #impl: 1715593 (eff. 0.521)
81.98/82.02	c #Conflicts:      12000 | #Learnt:       4652 | 0.000
81.98/82.02	c total clause space: 127.173MB
81.98/82.02	c total #watches: 577598
93.07/93.19	c total #propagations: 969107 / total #impl: 1855591 (eff. 0.522)
93.07/93.19	c #Conflicts:      13000 | #Learnt:       5652 | 0.000
93.07/93.19	c total clause space: 127.173MB
93.07/93.19	c total #watches: 677745
104.97/105.05	c total #propagations: 1045857 / total #impl: 2003030 (eff. 0.522)
104.97/105.05	c GC COLLECT
104.97/105.05	c #Conflicts:      14000 | #Learnt:       3797 | 0.000
104.97/105.05	c total clause space: 127.173MB
104.97/105.05	c total #watches: 596488
116.37/116.47	c total #propagations: 1117923 / total #impl: 2145555 (eff. 0.521)
116.37/116.47	c #Conflicts:      15000 | #Learnt:       4797 | 0.000
116.37/116.47	c total clause space: 127.173MB
116.37/116.47	c total #watches: 695557
136.77/136.81	c total #propagations: 1193216 / total #impl: 2285539 (eff. 0.522)
136.77/136.81	c #Conflicts:      16000 | #Learnt:       5797 | 0.000
136.77/136.81	c total clause space: 206.656MB
136.77/136.81	c total #watches: 740299
154.87/154.96	c total #propagations: 1285622 / total #impl: 2451173 (eff. 0.524)
154.87/154.96	c GC COLLECT
154.87/154.96	c #Conflicts:      17000 | #Learnt:       3619 | 0.000
154.87/154.96	c total clause space: 206.656MB
154.87/154.96	c total #watches: 421968
162.57/162.66	c total #propagations: 1448806 / total #impl: 2839304 (eff. 0.510)
162.57/162.66	c #Conflicts:      18000 | #Learnt:       4619 | 0.000
162.57/162.66	c total clause space: 206.656MB
162.57/162.66	c total #watches: 442011
171.07/171.17	c total #propagations: 1558059 / total #impl: 3055383 (eff. 0.510)
171.07/171.17	c #Conflicts:      19000 | #Learnt:       5619 | 0.000
171.07/171.17	c total clause space: 206.656MB
171.07/171.17	c total #watches: 452520
179.46/179.52	c total #propagations: 1731121 / total #impl: 3415399 (eff. 0.507)
179.46/179.52	c #Conflicts:      20000 | #Learnt:       6619 | 0.000
179.46/179.52	c total clause space: 206.656MB
179.46/179.52	c total #watches: 470116
183.36/183.41	c total #propagations: 1881247 / total #impl: 3782964 (eff. 0.497)
183.36/183.41	c GC COLLECT
183.36/183.41	c #Conflicts:      21000 | #Learnt:       4114 | 0.000
183.36/183.41	c total clause space: 206.656MB
183.36/183.41	c total #watches: 338652
188.56/188.60	c total #propagations: 1953310 / total #impl: 3919190 (eff. 0.498)
188.56/188.60	c #Conflicts:      22000 | #Learnt:       5114 | 0.000
188.56/188.60	c total clause space: 206.656MB
188.56/188.60	c total #watches: 450369
194.96/195.00	c total #propagations: 2028280 / total #impl: 4066394 (eff. 0.499)
194.96/195.00	c #Conflicts:      23000 | #Learnt:       6114 | 0.000
194.96/195.00	c total clause space: 206.656MB
194.96/195.00	c total #watches: 538319
205.77/205.84	c total #propagations: 2106918 / total #impl: 4219278 (eff. 0.499)
205.77/205.84	c #Conflicts:      24000 | #Learnt:       7114 | 0.000
205.77/205.84	c total clause space: 206.656MB
205.77/205.84	c total #watches: 643418
218.56/218.60	c total #propagations: 2183804 / total #impl: 4373448 (eff. 0.499)
218.56/218.60	c GC COLLECT
218.56/218.60	c #Conflicts:      25000 | #Learnt:       4314 | 0.000
218.56/218.60	c total clause space: 206.656MB
218.56/218.60	c total #watches: 619627
232.66/232.72	c total #propagations: 2260697 / total #impl: 4522632 (eff. 0.500)
232.66/232.72	c #Conflicts:      26000 | #Learnt:       5314 | 0.000
232.66/232.72	c total clause space: 206.656MB
232.66/232.72	c total #watches: 695813
248.25/248.38	c total #propagations: 2338258 / total #impl: 4668104 (eff. 0.501)
248.25/248.38	c #Conflicts:      27000 | #Learnt:       6314 | 0.000
248.25/248.38	c total clause space: 206.656MB
248.25/248.38	c total #watches: 764196
264.45/264.59	c total #propagations: 2423276 / total #impl: 4814049 (eff. 0.503)
264.45/264.59	c #Conflicts:      28000 | #Learnt:       7314 | 0.000
264.45/264.59	c total clause space: 206.656MB
264.45/264.59	c total #watches: 801518
283.25/283.37	c total #propagations: 2535839 / total #impl: 5003500 (eff. 0.507)
283.25/283.37	c GC COLLECT
283.25/283.37	c #Conflicts:      29000 | #Learnt:       4210 | 0.000
283.25/283.37	c total clause space: 206.656MB
283.25/283.37	c total #watches: 458949
290.85/290.92	c total #propagations: 2619436 / total #impl: 5181857 (eff. 0.506)
290.85/290.92	c #Conflicts:      30000 | #Learnt:       5210 | 0.000
290.85/290.92	c total clause space: 206.656MB
290.85/290.92	c total #watches: 534004
298.65/298.75	c total #propagations: 2695190 / total #impl: 5325735 (eff. 0.506)
298.65/298.75	c #Conflicts:      31000 | #Learnt:       6210 | 0.000
298.65/298.75	c total clause space: 206.656MB
298.65/298.75	c total #watches: 626986
309.35/309.49	c total #propagations: 2773874 / total #impl: 5471057 (eff. 0.507)
309.35/309.49	c #Conflicts:      32000 | #Learnt:       7210 | 0.000
309.35/309.49	c total clause space: 206.656MB
309.35/309.49	c total #watches: 709954
322.54/322.68	c total #propagations: 2858731 / total #impl: 5629359 (eff. 0.508)
322.54/322.68	c #Conflicts:      33000 | #Learnt:       8210 | 0.000
322.54/322.68	c total clause space: 206.656MB
322.54/322.68	c total #watches: 809370
337.74/337.82	c total #propagations: 2926555 / total #impl: 5762523 (eff. 0.508)
337.74/337.82	c GC COLLECT
337.74/337.82	c #Conflicts:      34000 | #Learnt:       4816 | 0.000
337.74/337.82	c total clause space: 206.656MB
337.74/337.82	c total #watches: 644664
351.64/351.72	c total #propagations: 3007948 / total #impl: 5911307 (eff. 0.509)
351.64/351.72	c #Conflicts:      35000 | #Learnt:       5816 | 0.000
351.64/351.72	c total clause space: 206.656MB
351.64/351.72	c total #watches: 703838
369.83/369.97	c total #propagations: 3089929 / total #impl: 6063589 (eff. 0.510)
369.83/369.97	c #Conflicts:      36000 | #Learnt:       6816 | 0.000
369.83/369.97	c total clause space: 206.656MB
369.83/369.97	c total #watches: 732850
391.23/391.37	c total #propagations: 3191096 / total #impl: 6256894 (eff. 0.510)
391.23/391.37	c #Conflicts:      37000 | #Learnt:       7816 | 0.000
391.23/391.37	c total clause space: 206.656MB
391.23/391.37	c total #watches: 757271
404.43/404.57	c total #propagations: 3318833 / total #impl: 6563576 (eff. 0.506)
404.43/404.57	c #Conflicts:      38000 | #Learnt:       8816 | 0.000
404.43/404.57	c total clause space: 206.656MB
404.43/404.57	c total #watches: 821886
416.12/416.28	c total #propagations: 3414968 / total #impl: 6770450 (eff. 0.504)
416.12/416.28	c GC COLLECT
416.12/416.28	c #Conflicts:      39000 | #Learnt:       5111 | 0.000
416.12/416.28	c total clause space: 206.656MB
416.12/416.28	c total #watches: 416421
422.02/422.17	c total #propagations: 3517094 / total #impl: 6959356 (eff. 0.505)
422.02/422.17	c #Conflicts:      40000 | #Learnt:       6111 | 0.000
422.02/422.17	c total clause space: 206.656MB
422.02/422.17	c total #watches: 435255
431.52/431.68	c total #propagations: 3634438 / total #impl: 7189899 (eff. 0.505)
431.52/431.68	c #Conflicts:      41000 | #Learnt:       7111 | 0.000
431.52/431.68	c total clause space: 206.656MB
431.52/431.68	c total #watches: 456459
443.62/443.77	c total #propagations: 3778769 / total #impl: 7508126 (eff. 0.503)
443.62/443.77	c #Conflicts:      42000 | #Learnt:       8111 | 0.000
443.62/443.77	c total clause space: 206.656MB
443.62/443.77	c total #watches: 479893
454.52/454.66	c total #propagations: 3942818 / total #impl: 7898972 (eff. 0.499)
454.52/454.66	c #Conflicts:      43000 | #Learnt:       9111 | 0.000
454.52/454.66	c total clause space: 206.656MB
454.52/454.66	c total #watches: 521195
466.82/466.90	c total #propagations: 4067053 / total #impl: 8216712 (eff. 0.495)
466.82/466.90	c GC COLLECT
466.82/466.90	c #Conflicts:      44000 | #Learnt:       5109 | 0.000
466.82/466.90	c total clause space: 206.656MB
466.82/466.90	c total #watches: 421821
472.22/472.37	c total #propagations: 4214191 / total #impl: 8515766 (eff. 0.495)
472.22/472.37	c #Conflicts:      45000 | #Learnt:       6109 | 0.000
472.22/472.37	c total clause space: 206.656MB
472.22/472.37	c total #watches: 472445
478.71/478.86	c total #propagations: 4302424 / total #impl: 8667557 (eff. 0.496)
478.71/478.86	c #Conflicts:      46000 | #Learnt:       7109 | 0.000
478.71/478.86	c total clause space: 206.656MB
478.71/478.86	c total #watches: 485689
485.02/485.16	c total #propagations: 4420291 / total #impl: 8899098 (eff. 0.497)
485.02/485.16	c #Conflicts:      47000 | #Learnt:       8109 | 0.000
485.02/485.16	c total clause space: 206.656MB
485.02/485.16	c total #watches: 570668
492.41/492.53	c total #propagations: 4492986 / total #impl: 9040804 (eff. 0.497)
492.41/492.53	c #Conflicts:      48000 | #Learnt:       9109 | 0.000
492.41/492.53	c total clause space: 206.656MB
492.41/492.53	c total #watches: 701708
503.72/503.81	c total #propagations: 4558837 / total #impl: 9160082 (eff. 0.498)
503.72/503.81	c #Conflicts:      49000 | #Learnt:      10109 | 0.000
503.72/503.81	c total clause space: 206.656MB
503.72/503.81	c total #watches: 760057
514.81/514.97	c total #propagations: 4650789 / total #impl: 9317844 (eff. 0.499)
514.81/514.97	c GC COLLECT
514.81/514.97	c #Conflicts:      50000 | #Learnt:       5823 | 0.000
514.81/514.97	c total clause space: 206.656MB
514.81/514.97	c total #watches: 472221
521.41/521.51	c total #propagations: 4733555 / total #impl: 9472833 (eff. 0.500)
521.41/521.51	c #Conflicts:      51000 | #Learnt:       6823 | 0.000
521.41/521.51	c total clause space: 206.656MB
521.41/521.51	c total #watches: 583664
530.71/530.86	c total #propagations: 4808827 / total #impl: 9608112 (eff. 0.500)
530.71/530.86	c #Conflicts:      52000 | #Learnt:       7823 | 0.000
530.71/530.86	c total clause space: 206.656MB
530.71/530.86	c total #watches: 673414
541.70/541.80	c total #propagations: 4885298 / total #impl: 9755192 (eff. 0.501)
541.70/541.80	c #Conflicts:      53000 | #Learnt:       8823 | 0.000
541.70/541.80	c total clause space: 206.656MB
541.70/541.80	c total #watches: 761034
559.81/559.93	c total #propagations: 4963124 / total #impl: 9897528 (eff. 0.501)
559.81/559.93	c #Conflicts:      54000 | #Learnt:       9823 | 0.000
559.81/559.93	c total clause space: 206.656MB
559.81/559.93	c total #watches: 794263
579.20/579.39	c total #propagations: 5055957 / total #impl: 10061769 (eff. 0.502)
579.20/579.39	c #Conflicts:      55000 | #Learnt:      10823 | 0.000
579.20/579.39	c total clause space: 206.656MB
579.20/579.39	c total #watches: 866343
589.10/589.20	c total #propagations: 5148230 / total #impl: 10251121 (eff. 0.502)
589.10/589.20	c GC COLLECT
589.10/589.20	c #Conflicts:      56000 | #Learnt:       6209 | 0.000
589.10/589.20	c total clause space: 206.656MB
589.10/589.20	c total #watches: 509177
596.80/596.91	c total #propagations: 5226693 / total #impl: 10400250 (eff. 0.503)
596.80/596.91	c #Conflicts:      57000 | #Learnt:       7209 | 0.000
596.80/596.91	c total clause space: 206.656MB
596.80/596.91	c total #watches: 583374
605.40/605.50	c total #propagations: 5304016 / total #impl: 10553128 (eff. 0.503)
605.40/605.50	c #Conflicts:      58000 | #Learnt:       8209 | 0.000
605.40/605.50	c total clause space: 206.656MB
605.40/605.50	c total #watches: 652623
619.90/620.07	c total #propagations: 5385331 / total #impl: 10708768 (eff. 0.503)
619.90/620.07	c #Conflicts:      59000 | #Learnt:       9209 | 0.000
619.90/620.07	c total clause space: 206.656MB
619.90/620.07	c total #watches: 723327
632.29/632.48	c total #propagations: 5469051 / total #impl: 10866201 (eff. 0.503)
632.29/632.48	c #Conflicts:      60000 | #Learnt:      10209 | 0.000
632.29/632.48	c total clause space: 206.656MB
632.29/632.48	c total #watches: 814197
649.89/650.04	c total #propagations: 5545486 / total #impl: 11021142 (eff. 0.503)
649.89/650.04	c #Conflicts:      61000 | #Learnt:      11209 | 0.000
649.89/650.04	c total clause space: 335.816MB
649.89/650.04	c total #watches: 869480
669.08/669.22	c total #propagations: 5629501 / total #impl: 11171649 (eff. 0.504)
669.08/669.22	c GC COLLECT
669.08/669.22	c #Conflicts:      62000 | #Learnt:       6309 | 0.000
669.08/669.22	c total clause space: 335.816MB
669.08/669.22	c total #watches: 524204
678.38/678.52	c total #propagations: 5731340 / total #impl: 11373593 (eff. 0.504)
678.38/678.52	c #Conflicts:      63000 | #Learnt:       7309 | 0.000
678.38/678.52	c total clause space: 335.816MB
678.38/678.52	c total #watches: 593624
693.78/693.97	c total #propagations: 5813772 / total #impl: 11517746 (eff. 0.505)
693.78/693.97	c #Conflicts:      64000 | #Learnt:       8309 | 0.000
693.78/693.97	c total clause space: 335.816MB
693.78/693.97	c total #watches: 618444
712.48/712.67	c total #propagations: 5940025 / total #impl: 11786353 (eff. 0.504)
712.48/712.67	c #Conflicts:      65000 | #Learnt:       9309 | 0.000
712.48/712.67	c total clause space: 335.816MB
712.48/712.67	c total #watches: 642540
731.38/731.59	c total #propagations: 6067617 / total #impl: 12059062 (eff. 0.503)
731.38/731.59	c #Conflicts:      66000 | #Learnt:      10309 | 0.000
731.38/731.59	c total clause space: 335.816MB
731.38/731.59	c total #watches: 655391
744.28/744.49	c total #propagations: 6217167 / total #impl: 12351994 (eff. 0.503)
744.28/744.49	c #Conflicts:      67000 | #Learnt:      11309 | 0.000
744.28/744.49	c total clause space: 335.816MB
744.28/744.49	c total #watches: 728505
756.38/756.51	c total #propagations: 6311924 / total #impl: 12552226 (eff. 0.503)
756.38/756.51	c #Conflicts:      68000 | #Learnt:      12309 | 0.000
756.38/756.51	c total clause space: 335.816MB
756.38/756.51	c total #watches: 830766
766.08/766.29	c total #propagations: 6390180 / total #impl: 12701746 (eff. 0.503)
766.08/766.29	c GC COLLECT
766.08/766.29	c #Conflicts:      69000 | #Learnt:       7083 | 0.000
766.08/766.29	c total clause space: 335.816MB
766.08/766.29	c total #watches: 585407
775.38/775.60	c total #propagations: 6467982 / total #impl: 12850679 (eff. 0.503)
775.38/775.60	c #Conflicts:      70000 | #Learnt:       8083 | 0.000
775.38/775.60	c total clause space: 335.816MB
775.38/775.60	c total #watches: 681397
786.17/786.31	c total #propagations: 6542468 / total #impl: 12992475 (eff. 0.504)
786.17/786.31	c #Conflicts:      71000 | #Learnt:       9083 | 0.000
786.17/786.31	c total clause space: 335.816MB
786.17/786.31	c total #watches: 823694
801.88/802.07	c total #propagations: 6611354 / total #impl: 13125077 (eff. 0.504)
801.88/802.07	c #Conflicts:      72000 | #Learnt:      10083 | 0.000
801.88/802.07	c total clause space: 335.816MB
801.88/802.07	c total #watches: 904704
818.06/818.28	c total #propagations: 6691316 / total #impl: 13268866 (eff. 0.504)
818.06/818.28	c #Conflicts:      73000 | #Learnt:      11083 | 0.000
818.06/818.28	c total clause space: 335.816MB
818.06/818.28	c total #watches: 989961
839.55/839.75	c total #propagations: 6776577 / total #impl: 13419506 (eff. 0.505)
839.55/839.75	c #Conflicts:      74000 | #Learnt:      12083 | 0.000
839.55/839.75	c total clause space: 335.816MB
839.55/839.75	c total #watches: 1049798
867.85/868.02	c total #propagations: 6865809 / total #impl: 13574168 (eff. 0.506)
867.85/868.02	c GC COLLECT
867.85/868.02	c #Conflicts:      75000 | #Learnt:       6579 | 0.000
867.85/868.02	c total clause space: 335.816MB
867.85/868.02	c total #watches: 546269
877.65/877.87	c total #propagations: 6941528 / total #impl: 13724447 (eff. 0.506)
877.65/877.87	c #Conflicts:      76000 | #Learnt:       7579 | 0.000
877.65/877.87	c total clause space: 335.816MB
877.65/877.87	c total #watches: 636695
888.74/888.95	c total #propagations: 7016556 / total #impl: 13873291 (eff. 0.506)
888.74/888.95	c #Conflicts:      77000 | #Learnt:       8579 | 0.000
888.74/888.95	c total clause space: 335.816MB
888.74/888.95	c total #watches: 738323
905.13/905.34	c total #propagations: 7093797 / total #impl: 14009846 (eff. 0.506)
905.13/905.34	c #Conflicts:      78000 | #Learnt:       9579 | 0.000
905.13/905.34	c total clause space: 335.816MB
905.13/905.34	c total #watches: 834915
923.42/923.62	c total #propagations: 7169709 / total #impl: 14153196 (eff. 0.507)
923.42/923.62	c #Conflicts:      79000 | #Learnt:      10579 | 0.000
923.42/923.62	c total clause space: 335.816MB
923.42/923.62	c total #watches: 908534
944.61/944.82	c total #propagations: 7248359 / total #impl: 14320171 (eff. 0.506)
944.61/944.82	c #Conflicts:      80000 | #Learnt:      11579 | 0.000
944.61/944.82	c total clause space: 335.816MB
944.61/944.82	c total #watches: 997427
964.71/964.99	c total #propagations: 7323604 / total #impl: 14454939 (eff. 0.507)
964.71/964.99	c #Conflicts:      81000 | #Learnt:      12579 | 0.000
964.71/964.99	c total clause space: 335.816MB
964.71/964.99	c total #watches: 1071618
995.90/996.10	c total #propagations: 7406117 / total #impl: 14602245 (eff. 0.507)
995.90/996.10	c #Conflicts:      82000 | #Learnt:      13579 | 0.000
995.90/996.10	c total clause space: 335.816MB
995.90/996.10	c total #watches: 1109513
1005.31/1005.53	c total #propagations: 7495240 / total #impl: 14759217 (eff. 0.508)
1005.31/1005.53	c GC COLLECT
1005.31/1005.53	c #Conflicts:      83000 | #Learnt:       7769 | 0.000
1005.31/1005.53	c total clause space: 335.816MB
1005.31/1005.53	c total #watches: 647938
1019.40/1019.66	c total #propagations: 7575511 / total #impl: 14898000 (eff. 0.508)
1019.40/1019.66	c #Conflicts:      84000 | #Learnt:       8769 | 0.000
1019.40/1019.66	c total clause space: 335.816MB
1019.40/1019.66	c total #watches: 668727
1037.20/1037.49	c total #propagations: 7682723 / total #impl: 15091826 (eff. 0.509)
1037.20/1037.49	c #Conflicts:      85000 | #Learnt:       9769 | 0.000
1037.20/1037.49	c total clause space: 335.816MB
1037.20/1037.49	c total #watches: 685419
1050.09/1050.39	c total #propagations: 7816553 / total #impl: 15360291 (eff. 0.509)
1050.09/1050.39	c #Conflicts:      86000 | #Learnt:      10769 | 0.000
1050.09/1050.39	c total clause space: 335.816MB
1050.09/1050.39	c total #watches: 721679
1066.09/1066.32	c total #propagations: 7904767 / total #impl: 15527375 (eff. 0.509)
1066.09/1066.32	c #Conflicts:      87000 | #Learnt:      11769 | 0.000
1066.09/1066.32	c total clause space: 335.816MB
1066.09/1066.32	c total #watches: 735858
1079.89/1080.17	c total #propagations: 8023789 / total #impl: 15763803 (eff. 0.509)
1079.89/1080.17	c #Conflicts:      88000 | #Learnt:      12769 | 0.000
1079.89/1080.17	c total clause space: 335.816MB
1079.89/1080.17	c total #watches: 744063
1095.28/1095.52	c total #propagations: 8177893 / total #impl: 16059121 (eff. 0.509)
1095.28/1095.52	c #Conflicts:      89000 | #Learnt:      13769 | 0.000
1095.28/1095.52	c total clause space: 335.816MB
1095.28/1095.52	c total #watches: 751388
1107.98/1108.20	c total #propagations: 8325902 / total #impl: 16356811 (eff. 0.509)
1107.98/1108.20	c GC COLLECT
1107.98/1108.20	c #Conflicts:      90000 | #Learnt:       7670 | 0.000
1107.98/1108.20	c total clause space: 335.816MB
1107.98/1108.20	c total #watches: 635700
1120.88/1121.15	c total #propagations: 8428888 / total #impl: 16559064 (eff. 0.509)
1120.88/1121.15	c #Conflicts:      91000 | #Learnt:       8670 | 0.000
1120.88/1121.15	c total clause space: 335.816MB
1120.88/1121.15	c total #watches: 666919
1138.88/1139.18	c total #propagations: 8539283 / total #impl: 16764084 (eff. 0.509)
1138.88/1139.18	c #Conflicts:      92000 | #Learnt:       9670 | 0.000
1138.88/1139.18	c total clause space: 335.816MB
1138.88/1139.18	c total #watches: 688437
1157.08/1157.38	c total #propagations: 8674070 / total #impl: 17080260 (eff. 0.508)
1157.08/1157.38	c #Conflicts:      93000 | #Learnt:      10670 | 0.000
1157.08/1157.38	c total clause space: 335.816MB
1157.08/1157.38	c total #watches: 706113
1180.47/1180.76	c total #propagations: 8823577 / total #impl: 17407242 (eff. 0.507)
1180.47/1180.76	c #Conflicts:      94000 | #Learnt:      11670 | 0.000
1180.47/1180.76	c total clause space: 335.816MB
1180.47/1180.76	c total #watches: 721005
1202.57/1202.85	c total #propagations: 8986819 / total #impl: 17773886 (eff. 0.506)
1202.57/1202.85	c #Conflicts:      95000 | #Learnt:      12670 | 0.000
1202.57/1202.85	c total clause space: 335.816MB
1202.57/1202.85	c total #watches: 739709
1226.46/1226.73	c total #propagations: 9140900 / total #impl: 18107124 (eff. 0.505)
1226.46/1226.73	c #Conflicts:      96000 | #Learnt:      13670 | 0.000
1226.46/1226.73	c total clause space: 335.816MB
1226.46/1226.73	c total #watches: 759702
1251.26/1251.55	c total #propagations: 9303081 / total #impl: 18478974 (eff. 0.503)
1251.26/1251.55	c #Conflicts:      97000 | #Learnt:      14670 | 0.000
1251.26/1251.55	c total clause space: 335.816MB
1251.26/1251.55	c total #watches: 771777
1264.46/1264.72	c total #propagations: 9487015 / total #impl: 18862469 (eff. 0.503)
1264.46/1264.72	c GC COLLECT
1264.46/1264.72	c #Conflicts:      98000 | #Learnt:       8273 | 0.000
1264.46/1264.72	c total clause space: 335.816MB
1264.46/1264.72	c total #watches: 689454
1275.16/1275.47	c total #propagations: 9586524 / total #impl: 19074326 (eff. 0.503)
1275.16/1275.47	c #Conflicts:      99000 | #Learnt:       9273 | 0.000
1275.16/1275.47	c total clause space: 335.816MB
1275.16/1275.47	c total #watches: 730395
1292.36/1292.65	c total #propagations: 9688346 / total #impl: 19286713 (eff. 0.502)
1292.36/1292.65	c #Conflicts:     100000 | #Learnt:      10273 | 0.000
1292.36/1292.65	c total clause space: 335.816MB
1292.36/1292.65	c total #watches: 741614
1310.35/1310.66	c total #propagations: 9836664 / total #impl: 19587897 (eff. 0.502)
1310.35/1310.66	c #Conflicts:     101000 | #Learnt:      11273 | 0.000
1310.35/1310.66	c total clause space: 335.816MB
1310.35/1310.66	c total #watches: 750376
1324.05/1324.32	c total #propagations: 10024660 / total #impl: 19970486 (eff. 0.502)
1324.05/1324.32	c #Conflicts:     102000 | #Learnt:      12273 | 0.000
1324.05/1324.32	c total clause space: 335.816MB
1324.05/1324.32	c total #watches: 757827
1336.25/1336.53	c total #propagations: 10160590 / total #impl: 20228830 (eff. 0.502)
1336.25/1336.53	c #Conflicts:     103000 | #Learnt:      13273 | 0.000
1336.25/1336.53	c total clause space: 335.816MB
1336.25/1336.53	c total #watches: 765187
1350.94/1351.24	c total #propagations: 10309982 / total #impl: 20506172 (eff. 0.503)
1350.94/1351.24	c #Conflicts:     104000 | #Learnt:      14273 | 0.000
1350.94/1351.24	c total clause space: 335.816MB
1350.94/1351.24	c total #watches: 770964
1365.44/1365.75	c total #propagations: 10449578 / total #impl: 20769966 (eff. 0.503)
1365.44/1365.75	c #Conflicts:     105000 | #Learnt:      15273 | 0.000
1365.44/1365.75	c total clause space: 335.816MB
1365.44/1365.75	c total #watches: 800206
1379.44/1379.70	c total #propagations: 10587956 / total #impl: 21042195 (eff. 0.503)
1379.44/1379.70	c GC COLLECT
1379.44/1379.70	c #Conflicts:     106000 | #Learnt:       8563 | 0.000
1379.44/1379.70	c total clause space: 335.816MB
1379.44/1379.70	c total #watches: 713058
1392.04/1392.35	c total #propagations: 10665516 / total #impl: 21207730 (eff. 0.503)
1392.04/1392.35	c #Conflicts:     107000 | #Learnt:       9563 | 0.000
1392.04/1392.35	c total clause space: 335.816MB
1392.04/1392.35	c total #watches: 870404
1414.34/1414.70	c total #propagations: 10733747 / total #impl: 21339302 (eff. 0.503)
1414.34/1414.70	c #Conflicts:     108000 | #Learnt:      10563 | 0.000
1414.34/1414.70	c total clause space: 335.816MB
1414.34/1414.70	c total #watches: 933464
1438.93/1439.21	c total #propagations: 10815864 / total #impl: 21492254 (eff. 0.503)
1438.93/1439.21	c #Conflicts:     109000 | #Learnt:      11563 | 0.000
1438.93/1439.21	c total clause space: 335.816MB
1438.93/1439.21	c total #watches: 1014636
1464.63/1464.96	c total #propagations: 10899162 / total #impl: 21645918 (eff. 0.504)
1464.63/1464.96	c #Conflicts:     110000 | #Learnt:      12563 | 0.000
1464.63/1464.96	c total clause space: 335.816MB
1464.63/1464.96	c total #watches: 1134245
1510.53/1510.85	c total #propagations: 10971782 / total #impl: 21781821 (eff. 0.504)
1510.53/1510.85	c #Conflicts:     111000 | #Learnt:      13563 | 0.000
1510.53/1510.85	c total clause space: 335.816MB
1510.53/1510.85	c total #watches: 1177962
1549.62/1549.97	c total #propagations: 11061556 / total #impl: 21958352 (eff. 0.504)
1549.62/1549.97	c #Conflicts:     112000 | #Learnt:      14563 | 0.000
1549.62/1549.97	c total clause space: 335.816MB
1549.62/1549.97	c total #watches: 1248664
1574.01/1574.36	c total #propagations: 11157596 / total #impl: 22155892 (eff. 0.504)
1574.01/1574.36	c #Conflicts:     113000 | #Learnt:      15563 | 0.000
1574.01/1574.36	c total clause space: 335.816MB
1574.01/1574.36	c total #watches: 1330955
1600.91/1601.21	c total #propagations: 11244453 / total #impl: 22300134 (eff. 0.504)
1600.91/1601.21	c GC COLLECT
1600.91/1601.21	c #Conflicts:     114000 | #Learnt:       8552 | 0.000
1600.91/1601.21	c total clause space: 335.816MB
1600.91/1601.21	c total #watches: 700472
1615.91/1616.20	c total #propagations: 11324871 / total #impl: 22458814 (eff. 0.504)
1615.91/1616.20	c #Conflicts:     115000 | #Learnt:       9552 | 0.000
1615.91/1616.20	c total clause space: 335.816MB
1615.91/1616.20	c total #watches: 801828
1632.51/1632.83	c total #propagations: 11398942 / total #impl: 22603441 (eff. 0.504)
1632.51/1632.83	c #Conflicts:     116000 | #Learnt:      10552 | 0.000
1632.51/1632.83	c total clause space: 335.816MB
1632.51/1632.83	c total #watches: 873711
1655.60/1655.92	c total #propagations: 11477308 / total #impl: 22745890 (eff. 0.505)
1655.60/1655.92	c #Conflicts:     117000 | #Learnt:      11552 | 0.000
1655.60/1655.92	c total clause space: 335.816MB
1655.60/1655.92	c total #watches: 950700
1676.70/1677.01	c total #propagations: 11561328 / total #impl: 22902298 (eff. 0.505)
1676.70/1677.01	c #Conflicts:     118000 | #Learnt:      12552 | 0.000
1676.70/1677.01	c total clause space: 335.816MB
1676.70/1677.01	c total #watches: 1040974
1699.40/1699.73	c total #propagations: 11636270 / total #impl: 23052372 (eff. 0.505)
1699.40/1699.73	c #Conflicts:     119000 | #Learnt:      13552 | 0.000
1699.40/1699.73	c total clause space: 335.816MB
1699.40/1699.73	c total #watches: 1131109
1726.80/1727.18	c total #propagations: 11709615 / total #impl: 23196951 (eff. 0.505)
1726.80/1727.18	c #Conflicts:     120000 | #Learnt:      14552 | 0.000
1726.80/1727.18	c total clause space: 335.816MB
1726.80/1727.18	c total #watches: 1191386
1762.79/1763.10	c total #propagations: 11792602 / total #impl: 23348127 (eff. 0.505)
1762.79/1763.10	c #Conflicts:     121000 | #Learnt:      15552 | 0.000
1762.79/1763.10	c total clause space: 335.816MB
1762.79/1763.10	c total #watches: 1216160

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

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

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


[startup+0 s]
/proc/loadavg: 2.39 2.29 2.26 4/176 29921
/proc/meminfo: memFree=29597132/32872528 swapFree=16700/1645768
[pid=29921] ppid=29918 vsize=55976 CPUtime=0 cores=0,2,4,6
/proc/29921/stat : 29921 (cdcl-cuttingpla) R 29918 29921 27966 0 -1 4202496 258 0 0 0 0 0 0 0 20 0 1 0 122881922 57319424 7804 33554432000 4194304 6211289 140735569864448 140734539152248 4206551 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29921/statm: 13994 7804 98 493 0 13491 0

[startup+0.100167 s]
/proc/loadavg: 2.39 2.29 2.26 4/176 29921
/proc/meminfo: memFree=29597132/32872528 swapFree=16700/1645768
[pid=29921] ppid=29918 vsize=58728 CPUtime=0.08 cores=0,2,4,6
/proc/29921/stat : 29921 (cdcl-cuttingpla) R 29918 29921 27966 0 -1 4202496 1483 0 0 0 8 0 0 0 20 0 1 0 122881922 60137472 11471 33554432000 4194304 6211289 140735569864448 140734539152248 5252361 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29921/statm: 14682 11471 121 493 0 14179 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 58728

[startup+0.200297 s]
/proc/loadavg: 2.39 2.29 2.26 4/176 29921
/proc/meminfo: memFree=29597132/32872528 swapFree=16700/1645768
[pid=29921] ppid=29918 vsize=69280 CPUtime=0.19 cores=0,2,4,6
/proc/29921/stat : 29921 (cdcl-cuttingpla) R 29918 29921 27966 0 -1 4202496 3148 0 0 0 18 1 0 0 20 0 1 0 122881922 70942720 15180 33554432000 4194304 6211289 140735569864448 140734539152248 4224543 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29921/statm: 17320 15180 143 493 0 16817 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 69280

[startup+0.300379 s]
/proc/loadavg: 2.39 2.29 2.26 4/176 29921
/proc/meminfo: memFree=29597132/32872528 swapFree=16700/1645768
[pid=29921] ppid=29918 vsize=82464 CPUtime=0.29 cores=0,2,4,6
/proc/29921/stat : 29921 (cdcl-cuttingpla) R 29918 29921 27966 0 -1 4202496 4353 0 0 0 28 1 0 0 20 0 1 0 122881922 84443136 17407 33554432000 4194304 6211289 140735569864448 140734539152248 5161098 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29921/statm: 20616 17407 143 493 0 20113 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 82464

[startup+0.700279 s]
/proc/loadavg: 2.39 2.29 2.26 4/176 29921
/proc/meminfo: memFree=29597132/32872528 swapFree=16700/1645768
[pid=29921] ppid=29918 vsize=116180 CPUtime=0.69 cores=0,2,4,6
/proc/29921/stat : 29921 (cdcl-cuttingpla) R 29918 29921 27966 0 -1 4202496 7665 0 0 0 67 2 0 0 20 0 1 0 122881922 118968320 25706 33554432000 4194304 6211289 140735569864448 140735569861976 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29921/statm: 29045 25706 204 493 0 28542 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 116180

[startup+1.50024 s]
/proc/loadavg: 2.39 2.29 2.26 4/177 29922
/proc/meminfo: memFree=29488900/32872528 swapFree=16700/1645768
[pid=29921] ppid=29918 vsize=135420 CPUtime=1.49 cores=0,2,4,6
/proc/29921/stat : 29921 (cdcl-cuttingpla) R 29918 29921 27966 0 -1 4202496 8051 0 0 0 147 2 0 0 20 0 1 0 122881922 138670080 28043 33554432000 4194304 6211289 140735569864448 140735569862360 4209328 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29921/statm: 33855 28043 204 493 0 33352 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 135420

[startup+3.10025 s]
/proc/loadavg: 2.36 2.29 2.26 3/177 29922
/proc/meminfo: memFree=29471604/32872528 swapFree=16700/1645768
[pid=29921] ppid=29918 vsize=136744 CPUtime=3.09 cores=0,2,4,6
/proc/29921/stat : 29921 (cdcl-cuttingpla) R 29918 29921 27966 0 -1 4202496 8402 0 0 0 307 2 0 0 20 0 1 0 122881922 140025856 30946 33554432000 4194304 6211289 140735569864448 140735569862360 4209328 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29921/statm: 34186 30946 214 493 0 33683 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 136744

[startup+6.30026 s]
/proc/loadavg: 2.36 2.29 2.26 4/177 29922
/proc/meminfo: memFree=29435876/32872528 swapFree=16700/1645768
[pid=29921] ppid=29918 vsize=170940 CPUtime=6.29 cores=0,2,4,6
/proc/29921/stat : 29921 (cdcl-cuttingpla) R 29918 29921 27966 0 -1 4202496 9271 0 0 0 626 3 0 0 20 0 1 0 122881922 175042560 35379 33554432000 4194304 6211289 140735569864448 140735569862360 4209328 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29921/statm: 42735 35379 214 493 0 42232 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 170940

[startup+12.7003 s]
/proc/loadavg: 2.53 2.32 2.28 3/177 29922
/proc/meminfo: memFree=29421676/32872528 swapFree=16700/1645768
[pid=29921] ppid=29918 vsize=171752 CPUtime=12.69 cores=0,2,4,6
/proc/29921/stat : 29921 (cdcl-cuttingpla) R 29918 29921 27966 0 -1 4202496 10181 0 0 0 1266 3 0 0 20 0 1 0 122881922 175874048 36751 33554432000 4194304 6211289 140735569864448 140735569862792 4209891 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29921/statm: 42938 36751 219 493 0 42435 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 171752

[startup+25.5004 s]
/proc/loadavg: 2.52 2.33 2.28 3/177 29922
/proc/meminfo: memFree=29376584/32872528 swapFree=16700/1645768
[pid=29921] ppid=29918 vsize=223908 CPUtime=25.49 cores=0,2,4,6
/proc/29921/stat : 29921 (cdcl-cuttingpla) R 29918 29921 27966 0 -1 4202496 10690 0 0 0 2546 3 0 0 20 0 1 0 122881922 229281792 41859 33554432000 4194304 6211289 140735569864448 140735569862792 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29921/statm: 55977 41859 219 493 0 55474 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 223908

[startup+51.1003 s]
/proc/loadavg: 2.54 2.35 2.28 4/177 29922
/proc/meminfo: memFree=29336564/32872528 swapFree=16700/1645768
[pid=29921] ppid=29918 vsize=226924 CPUtime=51.09 cores=0,2,4,6
/proc/29921/stat : 29921 (cdcl-cuttingpla) R 29918 29921 27966 0 -1 4202496 11295 0 0 0 5105 4 0 0 20 0 1 0 122881922 232370176 47574 33554432000 4194304 6211289 140735569864448 140735569862792 4209314 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29921/statm: 56731 47574 219 493 0 56228 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 226924

[startup+102.3 s]
/proc/loadavg: 2.49 2.36 2.29 3/177 29924
/proc/meminfo: memFree=29279832/32872528 swapFree=16700/1645768
[pid=29921] ppid=29918 vsize=230944 CPUtime=102.28 cores=0,2,4,6
/proc/29921/stat : 29921 (cdcl-cuttingpla) R 29918 29921 27966 0 -1 4202496 12183 0 0 0 10224 4 0 0 20 0 1 0 122881922 236486656 54594 33554432000 4194304 6211289 140735569864448 140735569862360 4209314 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29921/statm: 57736 54594 219 493 0 57233 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 230944

[startup+162.3 s]
/proc/loadavg: 2.31 2.34 2.28 3/177 29925
/proc/meminfo: memFree=29240372/32872528 swapFree=16700/1645768
[pid=29921] ppid=29918 vsize=313904 CPUtime=162.27 cores=0,2,4,6
/proc/29921/stat : 29921 (cdcl-cuttingpla) R 29918 29921 27966 0 -1 4202496 13605 0 0 0 16221 6 0 0 20 0 1 0 122881922 321437696 58064 33554432000 4194304 6211289 140735569864448 140735569862792 4209306 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29921/statm: 78476 58064 219 493 0 77973 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 313904

[startup+222.307 s]
/proc/loadavg: 2.20 2.30 2.27 3/177 29926
/proc/meminfo: memFree=29219088/32872528 swapFree=16700/1645768
[pid=29921] ppid=29918 vsize=314352 CPUtime=222.26 cores=0,2,4,6
/proc/29921/stat : 29921 (cdcl-cuttingpla) R 29918 29921 27966 0 -1 4202496 13848 0 0 0 22220 6 0 0 20 0 1 0 122881922 321896448 59329 33554432000 4194304 6211289 140735569864448 140735569862792 4209328 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29921/statm: 78588 59329 219 493 0 78085 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 314352

[startup+282.3 s]
/proc/loadavg: 2.30 2.31 2.27 4/177 29927
/proc/meminfo: memFree=29175464/32872528 swapFree=16700/1645768
[pid=29921] ppid=29918 vsize=316560 CPUtime=282.25 cores=0,2,4,6
/proc/29921/stat : 29921 (cdcl-cuttingpla) R 29918 29921 27966 0 -1 4202496 14399 0 0 0 28218 7 0 0 20 0 1 0 122881922 324157440 66523 33554432000 4194304 6211289 140735569864448 140735569862312 4209882 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29921/statm: 79140 66523 219 493 0 78637 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 316560

[startup+342.3 s]
/proc/loadavg: 2.21 2.28 2.27 3/177 29928
/proc/meminfo: memFree=29161624/32872528 swapFree=16700/1645768
[pid=29921] ppid=29918 vsize=320080 CPUtime=342.24 cores=0,2,4,6
/proc/29921/stat : 29921 (cdcl-cuttingpla) R 29918 29921 27966 0 -1 4202496 15109 0 0 0 34217 7 0 0 20 0 1 0 122881922 327761920 69277 33554432000 4194304 6211289 140735569864448 140735569862792 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29921/statm: 80020 69277 219 493 0 79517 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 320080

[startup+402.3 s]
/proc/loadavg: 2.17 2.26 2.26 3/176 29929
/proc/meminfo: memFree=29144008/32872528 swapFree=16700/1645768
[pid=29921] ppid=29918 vsize=320372 CPUtime=402.23 cores=0,2,4,6
/proc/29921/stat : 29921 (cdcl-cuttingpla) R 29918 29921 27966 0 -1 4202496 15199 0 0 0 40216 7 0 0 20 0 1 0 122881922 328060928 69367 33554432000 4194304 6211289 140735569864448 140735569862360 4209328 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29921/statm: 80093 69367 219 493 0 79590 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 320372

[startup+462.3 s]
/proc/loadavg: 2.29 2.28 2.27 3/177 29931
/proc/meminfo: memFree=29131680/32872528 swapFree=16700/1645768
[pid=29921] ppid=29918 vsize=321172 CPUtime=462.22 cores=0,2,4,6
/proc/29921/stat : 29921 (cdcl-cuttingpla) R 29918 29921 27966 0 -1 4202496 15343 0 0 0 46215 7 0 0 20 0 1 0 122881922 328880128 70022 33554432000 4194304 6211289 140735569864448 140735569862792 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29921/statm: 80293 70022 219 493 0 79790 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 321172

[startup+522.3 s]
/proc/loadavg: 2.36 2.29 2.27 3/178 29935
/proc/meminfo: memFree=29104436/32872528 swapFree=16700/1645768
[pid=29921] ppid=29918 vsize=321812 CPUtime=522.21 cores=0,2,4,6
/proc/29921/stat : 29921 (cdcl-cuttingpla) R 29918 29921 27966 0 -1 4202496 15473 0 0 0 52214 7 0 0 20 0 1 0 122881922 329535488 71174 33554432000 4194304 6211289 140735569864448 140735569862792 4209328 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29921/statm: 80453 71174 219 493 0 79950 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 321812

[startup+582.3 s]
/proc/loadavg: 2.31 2.29 2.27 3/177 29936
/proc/meminfo: memFree=29081428/32872528 swapFree=16700/1645768
[pid=29921] ppid=29918 vsize=323252 CPUtime=582.2 cores=0,2,4,6
/proc/29921/stat : 29921 (cdcl-cuttingpla) R 29918 29921 27966 0 -1 4202496 15718 0 0 0 58212 8 0 0 20 0 1 0 122881922 331010048 76018 33554432000 4194304 6211289 140735569864448 140735569862360 4209328 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29921/statm: 80813 76018 219 493 0 80310 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 323252


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


[startup+882.307 s]
/proc/loadavg: 2.14 2.22 2.25 4/177 29942
/proc/meminfo: memFree=28994608/32872528 swapFree=16700/1645768
[pid=29921] ppid=29918 vsize=461596 CPUtime=882.14 cores=0,2,4,6
/proc/29921/stat : 29921 (cdcl-cuttingpla) R 29918 29921 27966 0 -1 4202496 17736 0 0 0 88204 10 0 0 20 0 1 0 122881922 472674304 88733 33554432000 4194304 6211289 140735569864448 140735569862792 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29921/statm: 115399 88733 219 493 0 114896 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 461596

[startup+942.3 s]
/proc/loadavg: 2.32 2.26 2.26 3/177 29943
/proc/meminfo: memFree=28992856/32872528 swapFree=16700/1645768
[pid=29921] ppid=29918 vsize=461916 CPUtime=942.11 cores=0,2,4,6
/proc/29921/stat : 29921 (cdcl-cuttingpla) R 29918 29921 27966 0 -1 4202496 17879 0 0 0 94201 10 0 0 20 0 1 0 122881922 473001984 88845 33554432000 4194304 6211289 140735569864448 140735569862312 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29921/statm: 115479 88845 219 493 0 114976 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 461916

[startup+1002.3 s]
/proc/loadavg: 2.29 2.25 2.25 3/177 29944
/proc/meminfo: memFree=28988108/32872528 swapFree=16700/1645768
[pid=29921] ppid=29918 vsize=462876 CPUtime=1002.1 cores=0,2,4,6
/proc/29921/stat : 29921 (cdcl-cuttingpla) R 29918 29921 27966 0 -1 4202496 18109 0 0 0 100200 10 0 0 20 0 1 0 122881922 473985024 90131 33554432000 4194304 6211289 140735569864448 140735569862312 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29921/statm: 115719 90131 219 493 0 115216 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 462876

[startup+1062.3 s]
/proc/loadavg: 2.29 2.25 2.25 3/177 29946
/proc/meminfo: memFree=28970788/32872528 swapFree=16700/1645768
[pid=29921] ppid=29918 vsize=462876 CPUtime=1062.09 cores=0,2,4,6
/proc/29921/stat : 29921 (cdcl-cuttingpla) R 29918 29921 27966 0 -1 4202496 18109 0 0 0 106199 10 0 0 20 0 1 0 122881922 473985024 90131 33554432000 4194304 6211289 140735569864448 140735569862792 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29921/statm: 115719 90131 219 493 0 115216 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 462876

[startup+1122.3 s]
/proc/loadavg: 2.39 2.29 2.27 3/178 29950
/proc/meminfo: memFree=28970092/32872528 swapFree=16700/1645768
[pid=29921] ppid=29918 vsize=462876 CPUtime=1122.08 cores=0,2,4,6
/proc/29921/stat : 29921 (cdcl-cuttingpla) R 29918 29921 27966 0 -1 4202496 18118 0 0 0 112198 10 0 0 20 0 1 0 122881922 473985024 90140 33554432000 4194304 6211289 140735569864448 140735569862792 4209314 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29921/statm: 115719 90140 219 493 0 115216 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 462876

[startup+1182.3 s]
/proc/loadavg: 2.42 2.31 2.27 3/177 29951
/proc/meminfo: memFree=28935640/32872528 swapFree=16700/1645768
[pid=29921] ppid=29918 vsize=462876 CPUtime=1182.07 cores=0,2,4,6
/proc/29921/stat : 29921 (cdcl-cuttingpla) R 29918 29921 27966 0 -1 4202496 18118 0 0 0 118197 10 0 0 20 0 1 0 122881922 473985024 90140 33554432000 4194304 6211289 140735569864448 140735569862792 4209244 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29921/statm: 115719 90140 219 493 0 115216 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 462876

[startup+1242.3 s]
/proc/loadavg: 2.39 2.31 2.27 3/177 29952
/proc/meminfo: memFree=28932968/32872528 swapFree=16700/1645768
[pid=29921] ppid=29918 vsize=462876 CPUtime=1242.06 cores=0,2,4,6
/proc/29921/stat : 29921 (cdcl-cuttingpla) R 29918 29921 27966 0 -1 4202496 18156 0 0 0 124196 10 0 0 20 0 1 0 122881922 473985024 90178 33554432000 4194304 6211289 140735569864448 140735569862792 4209328 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29921/statm: 115719 90178 219 493 0 115216 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 462876

[startup+1302.3 s]
/proc/loadavg: 2.37 2.32 2.28 3/177 29953
/proc/meminfo: memFree=28932228/32872528 swapFree=16700/1645768
[pid=29921] ppid=29918 vsize=463228 CPUtime=1302.05 cores=0,2,4,6
/proc/29921/stat : 29921 (cdcl-cuttingpla) R 29918 29921 27966 0 -1 4202496 18203 0 0 0 130195 10 0 0 20 0 1 0 122881922 474345472 90225 33554432000 4194304 6211289 140735569864448 140735569862792 4209304 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29921/statm: 115807 90225 219 493 0 115304 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 463228

[startup+1362.3 s]
/proc/loadavg: 2.32 2.31 2.27 3/177 29955
/proc/meminfo: memFree=28927640/32872528 swapFree=16700/1645768
[pid=29921] ppid=29918 vsize=463228 CPUtime=1362.04 cores=0,2,4,6
/proc/29921/stat : 29921 (cdcl-cuttingpla) R 29918 29921 27966 0 -1 4202496 18245 0 0 0 136194 10 0 0 20 0 1 0 122881922 474345472 90267 33554432000 4194304 6211289 140735569864448 140735569862792 4209304 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29921/statm: 115807 90267 219 493 0 115304 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 463228

[startup+1422.3 s]
/proc/loadavg: 2.33 2.32 2.27 3/177 29956
/proc/meminfo: memFree=28927984/32872528 swapFree=16700/1645768
[pid=29921] ppid=29918 vsize=463420 CPUtime=1422.04 cores=0,2,4,6
/proc/29921/stat : 29921 (cdcl-cuttingpla) R 29918 29921 27966 0 -1 4202496 18274 0 0 0 142194 10 0 0 20 0 1 0 122881922 474542080 90296 33554432000 4194304 6211289 140735569864448 140735569862792 4209314 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29921/statm: 115855 90296 219 493 0 115352 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 463420

[startup+1482.3 s]
/proc/loadavg: 2.33 2.32 2.28 3/177 29957
/proc/meminfo: memFree=28922908/32872528 swapFree=16700/1645768
[pid=29921] ppid=29918 vsize=464220 CPUtime=1482.02 cores=0,2,4,6
/proc/29921/stat : 29921 (cdcl-cuttingpla) R 29918 29921 27966 0 -1 4202496 18419 0 0 0 148192 10 0 0 20 0 1 0 122881922 475361280 91974 33554432000 4194304 6211289 140735569864448 140735569862312 4209895 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29921/statm: 116055 91974 219 493 0 115552 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 464220

[startup+1542.31 s]
/proc/loadavg: 2.31 2.31 2.27 4/177 29958
/proc/meminfo: memFree=28883004/32872528 swapFree=16700/1645768
[pid=29921] ppid=29918 vsize=464540 CPUtime=1542.03 cores=0,2,4,6
/proc/29921/stat : 29921 (cdcl-cuttingpla) R 29918 29921 27966 0 -1 4202496 18512 0 0 0 154192 11 0 0 20 0 1 0 122881922 475688960 97688 33554432000 4194304 6211289 140735569864448 140735569862360 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29921/statm: 116135 97688 219 493 0 115632 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 464540

[startup+1602.3 s]
/proc/loadavg: 2.41 2.34 2.28 3/176 29959
/proc/meminfo: memFree=28849012/32872528 swapFree=16700/1645768
[pid=29921] ppid=29918 vsize=465660 CPUtime=1602.01 cores=0,2,4,6
/proc/29921/stat : 29921 (cdcl-cuttingpla) R 29918 29921 27966 0 -1 4202496 18943 0 0 0 160189 12 0 0 20 0 1 0 122881922 476835840 106295 33554432000 4194304 6211289 140735569864448 140735569862792 4209304 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29921/statm: 116415 106295 219 493 0 115912 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 465660

[startup+1662.3 s]
/proc/loadavg: 2.37 2.34 2.28 3/177 29962
/proc/meminfo: memFree=28847940/32872528 swapFree=16700/1645768
[pid=29921] ppid=29918 vsize=465660 CPUtime=1662 cores=0,2,4,6
/proc/29921/stat : 29921 (cdcl-cuttingpla) R 29918 29921 27966 0 -1 4202496 18943 0 0 0 166188 12 0 0 20 0 1 0 122881922 476835840 106295 33554432000 4194304 6211289 140735569864448 140735569862792 4209328 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29921/statm: 116415 106295 219 493 0 115912 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 465660

[startup+1722.3 s]
/proc/loadavg: 2.42 2.36 2.29 4/178 29966
/proc/meminfo: memFree=28829996/32872528 swapFree=16700/1645768
[pid=29921] ppid=29918 vsize=465660 CPUtime=1721.99 cores=0,2,4,6
/proc/29921/stat : 29921 (cdcl-cuttingpla) R 29918 29921 27966 0 -1 4202496 18968 0 0 0 172187 12 0 0 20 0 1 0 122881922 476835840 106320 33554432000 4194304 6211289 140735569864448 140735569862792 4209304 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29921/statm: 116415 106320 219 493 0 115912 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 465660

[startup+1782.3 s]
/proc/loadavg: 2.34 2.35 2.28 3/177 29967
/proc/meminfo: memFree=28829740/32872528 swapFree=16700/1645768
[pid=29921] ppid=29918 vsize=465660 CPUtime=1781.98 cores=0,2,4,6
/proc/29921/stat : 29921 (cdcl-cuttingpla) R 29918 29921 27966 0 -1 4202496 19009 0 0 0 178186 12 0 0 20 0 1 0 122881922 476835840 106361 33554432000 4194304 6211289 140735569864448 140735569862792 4209895 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29921/statm: 116415 106361 219 493 0 115912 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 465660



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.33 2.34 2.28 3/177 30013
/proc/meminfo: memFree=29136784/32872528 swapFree=16700/1645768
[pid=29921] ppid=29918 vsize=465820 CPUtime=1800.08 cores=0,2,4,6
/proc/29921/stat : 29921 (cdcl-cuttingpla) R 29918 29921 27966 0 -1 4202496 19039 0 0 0 179996 12 0 0 20 0 1 0 122881922 476999680 106391 33554432000 4194304 6211289 140735569864448 140735569862312 4209882 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/29921/statm: 116455 106391 219 493 0 115952 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 465820

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 29921 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.4
CPU time (s): 1800.09
CPU user time (s): 1799.97
CPU system time (s): 0.123981
CPU usage (%): 99.9826
Max. virtual memory (cumulated for all children) (KiB): 465820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.97
system time used= 0.123981
maximum resident set size= 425564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19039
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= 54
involuntary context switches= 1872

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.06977 second user time and 14.8027 second system time

The end

Launcher Data 

Begin job on node124 at 2016-06-08 20:11:25
IDJOB=4087484
IDBENCH=2256
IDSOLVER=2549
FILE ID=node124/4087484-1465409485
RUNJOBID= node124-1465387868-27982
PBS_JOBID= 19853797
Free space on /tmp= 71724 MiB

SOLVER NAME= cdcl-cuttingplanes OPT binary search 2016-05-01
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-4.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087484-1465409485/watcher-4087484-1465409485 -o /tmp/evaluation-result-4087484-1465409485/solver-4087484-1465409485 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1465387868-27982 --watchdog 1960 --input HOME/instance-4087484-1465409485.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= 1a88750537364c45876077f809191628
RANDOM SEED=1922197036

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.707
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.707
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.707
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:        29597024 kB
Buffers:          167272 kB
Cached:           599804 kB
SwapCached:          752 kB
Active:           395224 kB
Inactive:         492656 kB
Active(anon):     121184 kB
Inactive(anon):     1568 kB
Active(file):     274040 kB
Inactive(file):   491088 kB
Unevictable:     1645768 kB
Mlocked:           16700 kB
SwapTotal:      67108856 kB
SwapFree:       67097732 kB
Dirty:              8600 kB
Writeback:             0 kB
AnonPages:       1765516 kB
Mapped:             7960 kB
Shmem:                 0 kB
Slab:             608940 kB
SReclaimable:      52752 kB
SUnreclaim:       556188 kB
KernelStack:        1416 kB
PageTables:         7408 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1890044 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1699840 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= 71716 MiB
End job on node124 at 2016-06-08 20:41:25