Trace number 4087489

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/frb56-25-opb/normalized-frb56-25-5.opb
MD5SUM98c81efbf429745622d6705fab70d2ee
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-53
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -54
Optimality of the best value was proved NO
Number of variables1400
Total number of constraints109601
Number of constraints which are clauses109601
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 1400
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 1400
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 1400
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.01	c OPTIONS:
0.00/0.01	c - Resolve (`-resolve-always' or `-resolve-skip'): -resolve-skip
0.08/0.12	c * #variable= 1400 #constraint= 109601
0.29/0.36	c * #variable= 1400 #constraint= 109601
1.68/1.73	c S1->S2
1.68/1.73	c S2->S1
1.68/1.73	c #Conflicts:       1000 | #Learnt:        624 | 0.000
1.68/1.73	c total clause space: 48.1602MB
1.68/1.73	c total #watches: 309285
6.38/6.49	c total #propagations: 52874 / total #impl: 99923 (eff. 0.529)
6.38/6.49	c #Conflicts:       2000 | #Learnt:       1624 | 0.000
6.38/6.49	c total clause space: 78.2603MB
6.38/6.49	c total #watches: 431689
12.58/12.64	c total #propagations: 126876 / total #impl: 256224 (eff. 0.495)
12.58/12.64	c GC COLLECT
12.58/12.64	c #Conflicts:       3000 | #Learnt:       1810 | 0.000
12.58/12.64	c total clause space: 78.2603MB
12.58/12.64	c total #watches: 434846
19.89/19.90	c total #propagations: 205048 / total #impl: 411722 (eff. 0.498)
19.89/19.90	c #Conflicts:       4000 | #Learnt:       2810 | 0.000
19.89/19.90	c total clause space: 127.173MB
19.89/19.90	c total #watches: 559109
29.48/29.58	c total #propagations: 281906 / total #impl: 563874 (eff. 0.500)
29.48/29.58	c GC COLLECT
29.48/29.58	c #Conflicts:       5000 | #Learnt:       2254 | 0.000
29.48/29.58	c total clause space: 127.173MB
29.48/29.58	c total #watches: 534674
42.58/42.65	c total #propagations: 348945 / total #impl: 708154 (eff. 0.493)
42.58/42.65	c #Conflicts:       6000 | #Learnt:       3254 | 0.000
42.58/42.65	c total clause space: 127.173MB
42.58/42.65	c total #watches: 643661
56.58/56.69	c total #propagations: 418883 / total #impl: 854028 (eff. 0.490)
56.58/56.69	c GC COLLECT
56.58/56.69	c #Conflicts:       7000 | #Learnt:       2172 | 0.000
56.58/56.69	c total clause space: 127.173MB
56.58/56.69	c total #watches: 445651
62.48/62.56	c total #propagations: 499112 / total #impl: 1002115 (eff. 0.498)
62.48/62.56	c #Conflicts:       8000 | #Learnt:       3172 | 0.000
62.48/62.56	c total clause space: 127.173MB
62.48/62.56	c total #watches: 559901
71.28/71.31	c total #propagations: 569581 / total #impl: 1144612 (eff. 0.498)
71.28/71.31	c #Conflicts:       9000 | #Learnt:       4172 | 0.000
71.28/71.31	c total clause space: 127.173MB
71.28/71.31	c total #watches: 627021
82.37/82.47	c total #propagations: 652373 / total #impl: 1298759 (eff. 0.502)
82.37/82.47	c GC COLLECT
82.37/82.47	c #Conflicts:      10000 | #Learnt:       2683 | 0.000
82.37/82.47	c total clause space: 206.656MB
82.37/82.47	c total #watches: 490725
93.27/93.35	c total #propagations: 720657 / total #impl: 1441485 (eff. 0.500)
93.27/93.35	c #Conflicts:      11000 | #Learnt:       3683 | 0.000
93.27/93.35	c total clause space: 206.656MB
93.27/93.35	c total #watches: 618446
106.27/106.35	c total #propagations: 788611 / total #impl: 1581719 (eff. 0.499)
106.27/106.35	c #Conflicts:      12000 | #Learnt:       4683 | 0.000
106.27/106.35	c total clause space: 206.656MB
106.27/106.35	c total #watches: 720514
126.06/126.10	c total #propagations: 867761 / total #impl: 1742916 (eff. 0.498)
126.06/126.10	c #Conflicts:      13000 | #Learnt:       5683 | 0.000
126.06/126.10	c total clause space: 206.656MB
126.06/126.10	c total #watches: 854287
138.96/139.07	c total #propagations: 933369 / total #impl: 1881996 (eff. 0.496)
138.96/139.07	c GC COLLECT
138.96/139.07	c #Conflicts:      14000 | #Learnt:       3830 | 0.000
138.96/139.07	c total clause space: 206.656MB
138.96/139.07	c total #watches: 714700
157.36/157.47	c total #propagations: 1003725 / total #impl: 2015692 (eff. 0.498)
157.36/157.47	c #Conflicts:      15000 | #Learnt:       4830 | 0.000
157.36/157.47	c total clause space: 206.656MB
157.36/157.47	c total #watches: 819562
178.76/178.89	c total #propagations: 1073462 / total #impl: 2162519 (eff. 0.496)
178.76/178.89	c #Conflicts:      16000 | #Learnt:       5830 | 0.000
178.76/178.89	c total clause space: 206.656MB
178.76/178.89	c total #watches: 921100
193.95/194.03	c total #propagations: 1155032 / total #impl: 2320641 (eff. 0.498)
193.95/194.03	c GC COLLECT
193.95/194.03	c #Conflicts:      17000 | #Learnt:       3648 | 0.000
193.95/194.03	c total clause space: 206.656MB
193.95/194.03	c total #watches: 595064
204.75/204.80	c total #propagations: 1247396 / total #impl: 2479601 (eff. 0.503)
204.75/204.80	c #Conflicts:      18000 | #Learnt:       4648 | 0.000
204.75/204.80	c total clause space: 206.656MB
204.75/204.80	c total #watches: 680964
220.15/220.29	c total #propagations: 1325948 / total #impl: 2633162 (eff. 0.504)
220.15/220.29	c #Conflicts:      19000 | #Learnt:       5648 | 0.000
220.15/220.29	c total clause space: 206.656MB
220.15/220.29	c total #watches: 707378
242.94/243.01	c total #propagations: 1434296 / total #impl: 2827508 (eff. 0.507)
242.94/243.01	c #Conflicts:      20000 | #Learnt:       6648 | 0.000
242.94/243.01	c total clause space: 206.656MB
242.94/243.01	c total #watches: 714660
251.24/251.30	c total #propagations: 1594678 / total #impl: 3159867 (eff. 0.505)
251.24/251.30	c GC COLLECT
251.24/251.30	c #Conflicts:      21000 | #Learnt:       4156 | 0.000
251.24/251.30	c total clause space: 206.656MB
251.24/251.30	c total #watches: 441753
258.45/258.53	c total #propagations: 1688348 / total #impl: 3358104 (eff. 0.503)
258.45/258.53	c #Conflicts:      22000 | #Learnt:       5156 | 0.000
258.45/258.53	c total clause space: 206.656MB
258.45/258.53	c total #watches: 571170
269.55/269.68	c total #propagations: 1759838 / total #impl: 3510165 (eff. 0.501)
269.55/269.68	c #Conflicts:      23000 | #Learnt:       6156 | 0.000
269.55/269.68	c total clause space: 206.656MB
269.55/269.68	c total #watches: 679515
285.54/285.69	c total #propagations: 1833827 / total #impl: 3662043 (eff. 0.501)
285.54/285.69	c #Conflicts:      24000 | #Learnt:       7156 | 0.000
285.54/285.69	c total clause space: 206.656MB
285.54/285.69	c total #watches: 782831
306.43/306.54	c total #propagations: 1904628 / total #impl: 3801070 (eff. 0.501)
306.43/306.54	c GC COLLECT
306.43/306.54	c #Conflicts:      25000 | #Learnt:       4340 | 0.000
306.43/306.54	c total clause space: 206.656MB
306.43/306.54	c total #watches: 686523
323.23/323.36	c total #propagations: 1977997 / total #impl: 3952445 (eff. 0.500)
323.23/323.36	c #Conflicts:      26000 | #Learnt:       5340 | 0.000
323.23/323.36	c total clause space: 206.656MB
323.23/323.36	c total #watches: 819976
343.14/343.30	c total #propagations: 2047219 / total #impl: 4095861 (eff. 0.500)
343.14/343.30	c #Conflicts:      27000 | #Learnt:       6340 | 0.000
343.14/343.30	c total clause space: 206.656MB
343.14/343.30	c total #watches: 931693
372.33/372.45	c total #propagations: 2126329 / total #impl: 4248183 (eff. 0.501)
372.33/372.45	c #Conflicts:      28000 | #Learnt:       7340 | 0.000
372.33/372.45	c total clause space: 206.656MB
372.33/372.45	c total #watches: 1005277
403.82/403.94	c total #propagations: 2207108 / total #impl: 4404036 (eff. 0.501)
403.82/403.94	c GC COLLECT
403.82/403.94	c #Conflicts:      29000 | #Learnt:       4232 | 0.000
403.82/403.94	c total clause space: 335.816MB
403.82/403.94	c total #watches: 648072
418.32/418.48	c total #propagations: 2285447 / total #impl: 4560905 (eff. 0.501)
418.32/418.48	c #Conflicts:      30000 | #Learnt:       5232 | 0.000
418.32/418.48	c total clause space: 335.816MB
418.32/418.48	c total #watches: 786311
436.81/436.99	c total #propagations: 2352768 / total #impl: 4706270 (eff. 0.500)
436.81/436.99	c #Conflicts:      31000 | #Learnt:       6232 | 0.000
436.81/436.99	c total clause space: 335.816MB
436.81/436.99	c total #watches: 882894
455.21/455.32	c total #propagations: 2429114 / total #impl: 4860195 (eff. 0.500)
455.21/455.32	c #Conflicts:      32000 | #Learnt:       7232 | 0.000
455.21/455.32	c total clause space: 335.816MB
455.21/455.32	c total #watches: 978124
486.68/486.88	c total #propagations: 2510891 / total #impl: 5022658 (eff. 0.500)
486.68/486.88	c #Conflicts:      33000 | #Learnt:       8232 | 0.000
486.68/486.88	c total clause space: 335.816MB
486.68/486.88	c total #watches: 1090220
516.98/517.10	c total #propagations: 2581282 / total #impl: 5169842 (eff. 0.499)
516.98/517.10	c GC COLLECT
516.98/517.10	c #Conflicts:      34000 | #Learnt:       4833 | 0.000
516.98/517.10	c total clause space: 335.816MB
516.98/517.10	c total #watches: 754470
536.47/536.66	c total #propagations: 2656869 / total #impl: 5331000 (eff. 0.498)
536.47/536.66	c #Conflicts:      35000 | #Learnt:       5833 | 0.000
536.47/536.66	c total clause space: 335.816MB
536.47/536.66	c total #watches: 839046
567.77/567.94	c total #propagations: 2732593 / total #impl: 5481224 (eff. 0.499)
567.77/567.94	c #Conflicts:      36000 | #Learnt:       6833 | 0.000
567.77/567.94	c total clause space: 335.816MB
567.77/567.94	c total #watches: 891742
604.26/604.49	c total #propagations: 2845184 / total #impl: 5754399 (eff. 0.494)
604.26/604.49	c #Conflicts:      37000 | #Learnt:       7833 | 0.000
604.26/604.49	c total clause space: 335.816MB
604.26/604.49	c total #watches: 913039
636.26/636.43	c total #propagations: 2990035 / total #impl: 6212394 (eff. 0.481)
636.26/636.43	c #Conflicts:      38000 | #Learnt:       8833 | 0.000
636.26/636.43	c total clause space: 335.816MB
636.26/636.43	c total #watches: 972684
646.46/646.68	c total #propagations: 3091084 / total #impl: 6452275 (eff. 0.479)
646.46/646.68	c GC COLLECT
646.46/646.68	c #Conflicts:      39000 | #Learnt:       5129 | 0.000
646.46/646.68	c total clause space: 335.816MB
646.46/646.68	c total #watches: 539167
657.95/658.14	c total #propagations: 3176290 / total #impl: 6603678 (eff. 0.481)
657.95/658.14	c #Conflicts:      40000 | #Learnt:       6129 | 0.000
657.95/658.14	c total clause space: 335.816MB
657.95/658.14	c total #watches: 555615
669.05/669.24	c total #propagations: 3321360 / total #impl: 6901786 (eff. 0.481)
669.05/669.24	c #Conflicts:      41000 | #Learnt:       7129 | 0.000
669.05/669.24	c total clause space: 335.816MB
669.05/669.24	c total #watches: 572862
680.25/680.41	c total #propagations: 3424277 / total #impl: 7163567 (eff. 0.478)
680.25/680.41	c #Conflicts:      42000 | #Learnt:       8129 | 0.000
680.25/680.41	c total clause space: 335.816MB
680.25/680.41	c total #watches: 594975
692.35/692.52	c total #propagations: 3512394 / total #impl: 7391460 (eff. 0.475)
692.35/692.52	c #Conflicts:      43000 | #Learnt:       9129 | 0.000
692.35/692.52	c total clause space: 335.816MB
692.35/692.52	c total #watches: 607562
702.86/703.05	c total #propagations: 3616747 / total #impl: 7666939 (eff. 0.472)
702.86/703.05	c GC COLLECT
702.86/703.05	c #Conflicts:      44000 | #Learnt:        120 | 0.000
702.86/703.05	c total clause space: 335.816MB
702.86/703.05	c total #watches: 246062
703.65/703.82	c total #propagations: 3709628 / total #impl: 7883188 (eff. 0.471)
703.65/703.82	c #Conflicts:      45000 | #Learnt:       1120 | 0.000
703.65/703.82	c total clause space: 335.816MB
703.65/703.82	c total #watches: 327571
705.35/705.56	c total #propagations: 3792784 / total #impl: 8036689 (eff. 0.472)
705.35/705.56	c #Conflicts:      46000 | #Learnt:       2120 | 0.000
705.35/705.56	c total clause space: 335.816MB
705.35/705.56	c total #watches: 363104
709.75/709.99	c total #propagations: 3900065 / total #impl: 8226527 (eff. 0.474)
709.75/709.99	c #Conflicts:      47000 | #Learnt:       3120 | 0.000
709.75/709.99	c total clause space: 335.816MB
709.75/709.99	c total #watches: 441093
718.65/718.86	c total #propagations: 4012799 / total #impl: 8472703 (eff. 0.474)
718.65/718.86	c #Conflicts:      48000 | #Learnt:       4120 | 0.000
718.65/718.86	c total clause space: 335.816MB
718.65/718.86	c total #watches: 553311
729.04/729.21	c total #propagations: 4085393 / total #impl: 8627298 (eff. 0.474)
729.04/729.21	c #Conflicts:      49000 | #Learnt:       5120 | 0.000
729.04/729.21	c total clause space: 335.816MB
729.04/729.21	c total #watches: 685867
736.14/736.39	c total #propagations: 4157120 / total #impl: 8778959 (eff. 0.474)
736.14/736.39	c GC COLLECT
736.14/736.39	c #Conflicts:      50000 | #Learnt:        516 | 0.000
736.14/736.39	c total clause space: 335.816MB
736.14/736.39	c total #watches: 291386
740.54/740.78	c total #propagations: 4229278 / total #impl: 8925912 (eff. 0.474)
740.54/740.78	c #Conflicts:      51000 | #Learnt:       1516 | 0.000
740.54/740.78	c total clause space: 335.816MB
740.54/740.78	c total #watches: 430157
749.64/749.86	c total #propagations: 4293559 / total #impl: 9057073 (eff. 0.474)
749.64/749.86	c #Conflicts:      52000 | #Learnt:       2516 | 0.000
749.64/749.86	c total clause space: 335.816MB
749.64/749.86	c total #watches: 558951
764.24/764.44	c total #propagations: 4367090 / total #impl: 9223398 (eff. 0.473)
764.24/764.44	c #Conflicts:      53000 | #Learnt:       3516 | 0.000
764.24/764.44	c total clause space: 335.816MB
764.24/764.44	c total #watches: 642404
790.84/791.05	c total #propagations: 4446170 / total #impl: 9376338 (eff. 0.474)
790.84/791.05	c #Conflicts:      54000 | #Learnt:       4516 | 0.000
790.84/791.05	c total clause space: 335.816MB
790.84/791.05	c total #watches: 675678
822.53/822.78	c total #propagations: 4550028 / total #impl: 9627187 (eff. 0.473)
822.53/822.78	c #Conflicts:      55000 | #Learnt:       5516 | 0.000
822.53/822.78	c total clause space: 335.816MB
822.53/822.78	c total #watches: 704785
831.13/831.38	c total #propagations: 4670558 / total #impl: 9978578 (eff. 0.468)
831.13/831.38	c GC COLLECT
831.13/831.38	c #Conflicts:      56000 | #Learnt:        611 | 0.000
831.13/831.38	c total clause space: 335.816MB
831.13/831.38	c total #watches: 289159
835.53/835.77	c total #propagations: 4749732 / total #impl: 10158439 (eff. 0.468)
835.53/835.77	c #Conflicts:      57000 | #Learnt:       1611 | 0.000
835.53/835.77	c total clause space: 335.816MB
835.53/835.77	c total #watches: 418564
843.03/843.24	c total #propagations: 4820094 / total #impl: 10309061 (eff. 0.468)
843.03/843.24	c #Conflicts:      58000 | #Learnt:       2611 | 0.000
843.03/843.24	c total clause space: 335.816MB
843.03/843.24	c total #watches: 538680
855.92/856.17	c total #propagations: 4895954 / total #impl: 10456534 (eff. 0.468)
855.92/856.17	c #Conflicts:      59000 | #Learnt:       3611 | 0.000
855.92/856.17	c total clause space: 335.816MB
855.92/856.17	c total #watches: 678586
873.92/874.11	c total #propagations: 4967978 / total #impl: 10604773 (eff. 0.468)
873.92/874.11	c #Conflicts:      60000 | #Learnt:       4611 | 0.000
873.92/874.11	c total clause space: 335.816MB
873.92/874.11	c total #watches: 804745
897.12/897.34	c total #propagations: 5039934 / total #impl: 10762199 (eff. 0.468)
897.12/897.34	c #Conflicts:      61000 | #Learnt:       5611 | 0.000
897.12/897.34	c total clause space: 335.816MB
897.12/897.34	c total #watches: 921889
912.32/912.54	c total #propagations: 5110488 / total #impl: 10907300 (eff. 0.469)
912.32/912.54	c GC COLLECT
912.32/912.54	c #Conflicts:      62000 | #Learnt:        407 | 0.000
912.32/912.54	c total clause space: 335.816MB
912.32/912.54	c total #watches: 275252
913.32/913.54	c total #propagations: 5186967 / total #impl: 11055804 (eff. 0.469)
913.32/913.54	c #Conflicts:      63000 | #Learnt:       1407 | 0.000
913.32/913.54	c total clause space: 335.816MB
913.32/913.54	c total #watches: 353944
918.02/918.21	c total #propagations: 5271079 / total #impl: 11210854 (eff. 0.470)
918.02/918.21	c #Conflicts:      64000 | #Learnt:       2407 | 0.000
918.02/918.21	c total clause space: 335.816MB
918.02/918.21	c total #watches: 435415
923.82/924.09	c total #propagations: 5351454 / total #impl: 11375342 (eff. 0.470)
923.82/924.09	c #Conflicts:      65000 | #Learnt:       3407 | 0.000
923.82/924.09	c total clause space: 335.816MB
923.82/924.09	c total #watches: 481015
935.11/935.37	c total #propagations: 5441924 / total #impl: 11541784 (eff. 0.471)
935.11/935.37	c #Conflicts:      66000 | #Learnt:       4407 | 0.000
935.11/935.37	c total clause space: 335.816MB
935.11/935.37	c total #watches: 510113
945.31/945.51	c total #propagations: 5546525 / total #impl: 11763389 (eff. 0.472)
945.31/945.51	c #Conflicts:      67000 | #Learnt:       5407 | 0.000
945.31/945.51	c total clause space: 335.816MB
945.31/945.51	c total #watches: 616371
958.21/958.44	c total #propagations: 5629945 / total #impl: 11949990 (eff. 0.471)
958.21/958.44	c #Conflicts:      68000 | #Learnt:       6407 | 0.000
958.21/958.44	c total clause space: 335.816MB
958.21/958.44	c total #watches: 750960
961.71/961.94	c total #propagations: 5701863 / total #impl: 12098798 (eff. 0.471)
961.71/961.94	c GC COLLECT
961.71/961.94	c #Conflicts:      69000 | #Learnt:        886 | 0.000
961.71/961.94	c total clause space: 335.816MB
961.71/961.94	c total #watches: 333277
967.01/967.25	c total #propagations: 5779892 / total #impl: 12255243 (eff. 0.472)
967.01/967.25	c #Conflicts:      70000 | #Learnt:       1886 | 0.000
967.01/967.25	c total clause space: 335.816MB
967.01/967.25	c total #watches: 432696
976.11/976.38	c total #propagations: 5859491 / total #impl: 12413906 (eff. 0.472)
976.11/976.38	c #Conflicts:      71000 | #Learnt:       2886 | 0.000
976.11/976.38	c total clause space: 335.816MB
976.11/976.38	c total #watches: 570033
989.70/989.93	c total #propagations: 5929156 / total #impl: 12556911 (eff. 0.472)
989.70/989.93	c #Conflicts:      72000 | #Learnt:       3886 | 0.000
989.70/989.93	c total clause space: 335.816MB
989.70/989.93	c total #watches: 679229
1006.70/1006.99	c total #propagations: 5997432 / total #impl: 12703714 (eff. 0.472)
1006.70/1006.99	c #Conflicts:      73000 | #Learnt:       4886 | 0.000
1006.70/1006.99	c total clause space: 335.816MB
1006.70/1006.99	c total #watches: 779406
1031.10/1031.38	c total #propagations: 6075364 / total #impl: 12852056 (eff. 0.473)
1031.10/1031.38	c #Conflicts:      74000 | #Learnt:       5886 | 0.000
1031.10/1031.38	c total clause space: 335.816MB
1031.10/1031.38	c total #watches: 834893
1054.29/1054.54	c total #propagations: 6159422 / total #impl: 13012542 (eff. 0.473)
1054.29/1054.54	c GC COLLECT
1054.29/1054.54	c #Conflicts:      75000 | #Learnt:         60 | 0.000
1054.29/1054.54	c total clause space: 335.816MB
1054.29/1054.54	c total #watches: 231329
1056.59/1056.88	c total #propagations: 6265133 / total #impl: 13240976 (eff. 0.473)
1056.59/1056.88	c #Conflicts:      76000 | #Learnt:       1060 | 0.000
1056.59/1056.88	c total clause space: 335.816MB
1056.59/1056.88	c total #watches: 341595
1063.19/1063.43	c total #propagations: 6338316 / total #impl: 13397041 (eff. 0.473)
1063.19/1063.43	c #Conflicts:      77000 | #Learnt:       2060 | 0.000
1063.19/1063.43	c total clause space: 335.816MB
1063.19/1063.43	c total #watches: 471280
1073.59/1073.89	c total #propagations: 6405868 / total #impl: 13540687 (eff. 0.473)
1073.59/1073.89	c #Conflicts:      78000 | #Learnt:       3060 | 0.000
1073.59/1073.89	c total clause space: 335.816MB
1073.59/1073.89	c total #watches: 573856
1088.29/1088.57	c total #propagations: 6487228 / total #impl: 13702254 (eff. 0.473)
1088.29/1088.57	c #Conflicts:      79000 | #Learnt:       4060 | 0.000
1088.29/1088.57	c total clause space: 335.816MB
1088.29/1088.57	c total #watches: 707394
1109.09/1109.31	c total #propagations: 6556595 / total #impl: 13849002 (eff. 0.473)
1109.09/1109.31	c #Conflicts:      80000 | #Learnt:       5060 | 0.000
1109.09/1109.31	c total clause space: 335.816MB
1109.09/1109.31	c total #watches: 812083
1128.68/1128.99	c total #propagations: 6630323 / total #impl: 14001400 (eff. 0.474)
1128.68/1128.99	c #Conflicts:      81000 | #Learnt:       6060 | 0.000
1128.68/1128.99	c total clause space: 335.816MB
1128.68/1128.99	c total #watches: 933853
1161.18/1161.46	c total #propagations: 6701121 / total #impl: 14147982 (eff. 0.474)
1161.18/1161.46	c #Conflicts:      82000 | #Learnt:       7060 | 0.000
1161.18/1161.46	c total clause space: 335.816MB
1161.18/1161.46	c total #watches: 1009871
1163.38/1163.66	c total #propagations: 6780723 / total #impl: 14313915 (eff. 0.474)
1163.38/1163.66	c GC COLLECT
1163.38/1163.66	c #Conflicts:      83000 | #Learnt:        964 | 0.000
1163.38/1163.66	c total clause space: 335.816MB
1163.38/1163.66	c total #watches: 323541
1166.78/1167.07	c total #propagations: 6857255 / total #impl: 14466243 (eff. 0.474)
1166.78/1167.07	c #Conflicts:      84000 | #Learnt:       1964 | 0.000
1166.78/1167.07	c total clause space: 335.816MB
1166.78/1167.07	c total #watches: 432742
1173.08/1173.30	c total #propagations: 6936737 / total #impl: 14613757 (eff. 0.475)
1173.08/1173.30	c #Conflicts:      85000 | #Learnt:       2964 | 0.000
1173.08/1173.30	c total clause space: 335.816MB
1173.08/1173.30	c total #watches: 464992
1183.98/1184.25	c total #propagations: 7042211 / total #impl: 14810669 (eff. 0.475)
1183.98/1184.25	c #Conflicts:      86000 | #Learnt:       3964 | 0.000
1183.98/1184.25	c total clause space: 335.816MB
1183.98/1184.25	c total #watches: 475211
1190.37/1190.67	c total #propagations: 7180559 / total #impl: 15111557 (eff. 0.475)
1190.37/1190.67	c #Conflicts:      87000 | #Learnt:       4964 | 0.000
1190.37/1190.67	c total clause space: 335.816MB
1190.37/1190.67	c total #watches: 530995
1204.07/1204.36	c total #propagations: 7272561 / total #impl: 15289839 (eff. 0.476)
1204.07/1204.36	c #Conflicts:      88000 | #Learnt:       5964 | 0.000
1204.07/1204.36	c total clause space: 335.816MB
1204.07/1204.36	c total #watches: 552562
1217.17/1217.41	c total #propagations: 7382194 / total #impl: 15557057 (eff. 0.475)
1217.17/1217.41	c #Conflicts:      89000 | #Learnt:       6964 | 0.000
1217.17/1217.41	c total clause space: 335.816MB
1217.17/1217.41	c total #watches: 561746
1223.87/1224.17	c total #propagations: 7513535 / total #impl: 15852294 (eff. 0.474)
1223.87/1224.17	c GC COLLECT
1223.87/1224.17	c #Conflicts:      90000 | #Learnt:        572 | 0.000
1223.87/1224.17	c total clause space: 335.816MB
1223.87/1224.17	c total #watches: 270256
1224.67/1224.97	c total #propagations: 7620321 / total #impl: 16098270 (eff. 0.473)
1224.67/1224.97	c #Conflicts:      91000 | #Learnt:       1572 | 0.000
1224.67/1224.97	c total clause space: 335.816MB
1224.67/1224.97	c total #watches: 343278
1227.07/1227.34	c total #propagations: 7706105 / total #impl: 16253832 (eff. 0.474)
1227.07/1227.34	c #Conflicts:      92000 | #Learnt:       2572 | 0.000
1227.07/1227.34	c total clause space: 335.816MB
1227.07/1227.34	c total #watches: 364866
1232.67/1232.98	c total #propagations: 7844308 / total #impl: 16517405 (eff. 0.475)
1232.67/1232.98	c #Conflicts:      93000 | #Learnt:       3572 | 0.000
1232.67/1232.98	c total clause space: 335.816MB
1232.67/1232.98	c total #watches: 388012
1238.37/1238.63	c total #propagations: 8011470 / total #impl: 16911327 (eff. 0.474)
1238.37/1238.63	c #Conflicts:      94000 | #Learnt:       4572 | 0.000
1238.37/1238.63	c total clause space: 335.816MB
1238.37/1238.63	c total #watches: 401207
1244.17/1244.43	c total #propagations: 8148016 / total #impl: 17216150 (eff. 0.473)
1244.17/1244.43	c #Conflicts:      95000 | #Learnt:       5572 | 0.000
1244.17/1244.43	c total clause space: 335.816MB
1244.17/1244.43	c total #watches: 413959
1250.86/1251.19	c total #propagations: 8266240 / total #impl: 17486091 (eff. 0.473)
1250.86/1251.19	c #Conflicts:      96000 | #Learnt:       6572 | 0.000
1250.86/1251.19	c total clause space: 335.816MB
1250.86/1251.19	c total #watches: 430422
1257.86/1258.14	c total #propagations: 8386903 / total #impl: 17785978 (eff. 0.472)
1257.86/1258.14	c #Conflicts:      97000 | #Learnt:       7572 | 0.000
1257.86/1258.14	c total clause space: 335.816MB
1257.86/1258.14	c total #watches: 451456
1259.76/1260.06	c total #propagations: 8514707 / total #impl: 18127220 (eff. 0.470)
1259.76/1260.06	c GC COLLECT
1259.76/1260.06	c #Conflicts:      98000 | #Learnt:        855 | 0.000
1259.76/1260.06	c total clause space: 335.816MB
1259.76/1260.06	c total #watches: 320948
1261.57/1261.81	c total #propagations: 8597128 / total #impl: 18311681 (eff. 0.469)
1261.57/1261.81	c #Conflicts:      99000 | #Learnt:       1855 | 0.000
1261.57/1261.81	c total clause space: 335.816MB
1261.57/1261.81	c total #watches: 364692
1264.66/1264.98	c total #propagations: 8684962 / total #impl: 18469984 (eff. 0.470)
1264.66/1264.98	c #Conflicts:     100000 | #Learnt:       2855 | 0.000
1264.66/1264.98	c total clause space: 335.816MB
1264.66/1264.98	c total #watches: 374709
1268.26/1268.53	c total #propagations: 8836849 / total #impl: 18784249 (eff. 0.470)
1268.26/1268.53	c #Conflicts:     101000 | #Learnt:       3855 | 0.000
1268.26/1268.53	c total clause space: 335.816MB
1268.26/1268.53	c total #watches: 386069
1272.36/1272.65	c total #propagations: 8979555 / total #impl: 19071708 (eff. 0.471)
1272.36/1272.65	c #Conflicts:     102000 | #Learnt:       4855 | 0.000
1272.36/1272.65	c total clause space: 335.816MB
1272.36/1272.65	c total #watches: 397836
1275.56/1275.88	c total #propagations: 9126709 / total #impl: 19382262 (eff. 0.471)
1275.56/1275.88	c #Conflicts:     103000 | #Learnt:       5855 | 0.000
1275.56/1275.88	c total clause space: 335.816MB
1275.56/1275.88	c total #watches: 405024
1279.46/1279.79	c total #propagations: 9282863 / total #impl: 19685713 (eff. 0.472)
1279.46/1279.79	c #Conflicts:     104000 | #Learnt:       6855 | 0.000
1279.46/1279.79	c total clause space: 335.816MB
1279.46/1279.79	c total #watches: 413057
1283.57/1283.89	c total #propagations: 9424537 / total #impl: 19975258 (eff. 0.472)
1283.57/1283.89	c #Conflicts:     105000 | #Learnt:       7855 | 0.000
1283.57/1283.89	c total clause space: 335.816MB
1283.57/1283.89	c total #watches: 420769
1286.06/1286.39	c total #propagations: 9575960 / total #impl: 20294404 (eff. 0.472)
1286.06/1286.39	c GC COLLECT
1286.06/1286.39	c #Conflicts:     106000 | #Learnt:        865 | 0.000
1286.06/1286.39	c total clause space: 335.816MB
1286.06/1286.39	c total #watches: 342912
1292.37/1292.69	c total #propagations: 9654920 / total #impl: 20468998 (eff. 0.472)
1292.37/1292.69	c #Conflicts:     107000 | #Learnt:       1865 | 0.000
1292.37/1292.69	c total clause space: 335.816MB
1292.37/1292.69	c total #watches: 450141
1302.16/1302.40	c total #propagations: 9730877 / total #impl: 20627828 (eff. 0.472)
1302.16/1302.40	c #Conflicts:     108000 | #Learnt:       2865 | 0.000
1302.16/1302.40	c total clause space: 335.816MB
1302.16/1302.40	c total #watches: 594156
1314.56/1314.83	c total #propagations: 9796782 / total #impl: 20770462 (eff. 0.472)
1314.56/1314.83	c #Conflicts:     109000 | #Learnt:       3865 | 0.000
1314.56/1314.83	c total clause space: 335.816MB
1314.56/1314.83	c total #watches: 715592
1335.05/1335.40	c total #propagations: 9869435 / total #impl: 20919682 (eff. 0.472)
1335.05/1335.40	c #Conflicts:     110000 | #Learnt:       4865 | 0.000
1335.05/1335.40	c total clause space: 335.816MB
1335.05/1335.40	c total #watches: 836605
1361.85/1362.14	c total #propagations: 9944226 / total #impl: 21071009 (eff. 0.472)
1361.85/1362.14	c #Conflicts:     111000 | #Learnt:       5865 | 0.000
1361.85/1362.14	c total clause space: 335.816MB
1361.85/1362.14	c total #watches: 949174
1389.64/1389.99	c total #propagations: 10016381 / total #impl: 21222184 (eff. 0.472)
1389.64/1389.99	c #Conflicts:     112000 | #Learnt:       6865 | 0.000
1389.64/1389.99	c total clause space: 335.816MB
1389.64/1389.99	c total #watches: 1057368
1429.04/1429.31	c total #propagations: 10096040 / total #impl: 21383008 (eff. 0.472)
1429.04/1429.31	c #Conflicts:     113000 | #Learnt:       7865 | 0.000
1429.04/1429.31	c total clause space: 335.816MB
1429.04/1429.31	c total #watches: 1119679
1455.14/1455.46	c total #propagations: 10178715 / total #impl: 21539870 (eff. 0.473)
1455.14/1455.46	c GC COLLECT
1455.14/1455.46	c #Conflicts:     114000 | #Learnt:        547 | 0.000
1455.14/1455.46	c total clause space: 335.816MB
1455.14/1455.46	c total #watches: 288035
1459.33/1459.70	c total #propagations: 10255717 / total #impl: 21705242 (eff. 0.472)
1459.33/1459.70	c #Conflicts:     115000 | #Learnt:       1547 | 0.000
1459.33/1459.70	c total clause space: 335.816MB
1459.33/1459.70	c total #watches: 402435
1467.24/1467.52	c total #propagations: 10332298 / total #impl: 21857868 (eff. 0.473)
1467.24/1467.52	c #Conflicts:     116000 | #Learnt:       2547 | 0.000
1467.24/1467.52	c total clause space: 335.816MB
1467.24/1467.52	c total #watches: 526750
1480.73/1481.01	c total #propagations: 10404249 / total #impl: 22013874 (eff. 0.473)
1480.73/1481.01	c #Conflicts:     117000 | #Learnt:       3547 | 0.000
1480.73/1481.01	c total clause space: 335.816MB
1480.73/1481.01	c total #watches: 612826
1497.73/1498.00	c total #propagations: 10478743 / total #impl: 22161445 (eff. 0.473)
1497.73/1498.00	c #Conflicts:     118000 | #Learnt:       4547 | 0.000
1497.73/1498.00	c total clause space: 335.816MB
1497.73/1498.00	c total #watches: 718687
1516.82/1517.12	c total #propagations: 10557676 / total #impl: 22334411 (eff. 0.473)
1516.82/1517.12	c #Conflicts:     119000 | #Learnt:       5547 | 0.000
1516.82/1517.12	c total clause space: 335.816MB
1516.82/1517.12	c total #watches: 859286
1550.42/1550.77	c total #propagations: 10627766 / total #impl: 22485707 (eff. 0.473)
1550.42/1550.77	c #Conflicts:     120000 | #Learnt:       6547 | 0.000
1550.42/1550.77	c total clause space: 335.816MB
1550.42/1550.77	c total #watches: 947760
1581.91/1582.27	c total #propagations: 10703311 / total #impl: 22650210 (eff. 0.473)
1581.91/1582.27	c #Conflicts:     121000 | #Learnt:       7547 | 0.000
1581.91/1582.27	c total clause space: 335.816MB
1581.91/1582.27	c total #watches: 1026657
1615.50/1615.89	c total #propagations: 10778919 / total #impl: 22802892 (eff. 0.473)
1615.50/1615.89	c #Conflicts:     122000 | #Learnt:       8547 | 0.000
1615.50/1615.89	c total clause space: 335.816MB
1615.50/1615.89	c total #watches: 1076130
1619.20/1619.50	c total #propagations: 10867198 / total #impl: 22961811 (eff. 0.473)
1619.20/1619.50	c GC COLLECT
1619.20/1619.50	c #Conflicts:     123000 | #Learnt:        925 | 0.000
1619.20/1619.50	c total clause space: 335.816MB
1619.20/1619.50	c total #watches: 329323
1621.50/1621.87	c total #propagations: 10944339 / total #impl: 23105028 (eff. 0.474)
1621.50/1621.87	c #Conflicts:     124000 | #Learnt:       1925 | 0.000
1621.50/1621.87	c total clause space: 335.816MB
1621.50/1621.87	c total #watches: 366026
1625.80/1626.18	c total #propagations: 11033654 / total #impl: 23277912 (eff. 0.474)
1625.80/1626.18	c #Conflicts:     125000 | #Learnt:       2925 | 0.000
1625.80/1626.18	c total clause space: 335.816MB
1625.80/1626.18	c total #watches: 382189
1630.30/1630.65	c total #propagations: 11158886 / total #impl: 23582775 (eff. 0.473)
1630.30/1630.65	c #Conflicts:     126000 | #Learnt:       3925 | 0.000
1630.30/1630.65	c total clause space: 335.816MB
1630.30/1630.65	c total #watches: 424436
1636.90/1637.22	c total #propagations: 11261833 / total #impl: 23810495 (eff. 0.473)
1636.90/1637.22	c #Conflicts:     127000 | #Learnt:       4925 | 0.000
1636.90/1637.22	c total clause space: 335.816MB
1636.90/1637.22	c total #watches: 552159
1646.30/1646.70	c total #propagations: 11333014 / total #impl: 23965636 (eff. 0.473)
1646.30/1646.70	c #Conflicts:     128000 | #Learnt:       5925 | 0.000
1646.30/1646.70	c total clause space: 335.816MB
1646.30/1646.70	c total #watches: 682327
1660.20/1660.55	c total #propagations: 11405792 / total #impl: 24109677 (eff. 0.473)
1660.20/1660.55	c #Conflicts:     129000 | #Learnt:       6925 | 0.000
1660.20/1660.55	c total clause space: 335.816MB
1660.20/1660.55	c total #watches: 778387
1684.59/1684.95	c total #propagations: 11484149 / total #impl: 24272598 (eff. 0.473)
1684.59/1684.95	c #Conflicts:     130000 | #Learnt:       7925 | 0.000
1684.59/1684.95	c total clause space: 335.816MB
1684.59/1684.95	c total #watches: 856015
1706.09/1706.49	c total #propagations: 11562404 / total #impl: 24431963 (eff. 0.473)
1706.09/1706.49	c GC COLLECT
1706.09/1706.49	c #Conflicts:     131000 | #Learnt:         26 | 0.000
1706.09/1706.49	c total clause space: 335.816MB
1706.09/1706.49	c total #watches: 222309
1707.19/1707.57	c total #propagations: 11637551 / total #impl: 24585825 (eff. 0.473)
1707.19/1707.57	c #Conflicts:     132000 | #Learnt:       1026 | 0.000
1707.19/1707.57	c total clause space: 335.816MB
1707.19/1707.57	c total #watches: 326633
1710.39/1710.70	c total #propagations: 11717824 / total #impl: 24746102 (eff. 0.474)
1710.39/1710.70	c #Conflicts:     133000 | #Learnt:       2026 | 0.000
1710.39/1710.70	c total clause space: 335.816MB
1710.39/1710.70	c total #watches: 415748
1717.29/1717.60	c total #propagations: 11801504 / total #impl: 24903370 (eff. 0.474)
1717.29/1717.60	c #Conflicts:     134000 | #Learnt:       3026 | 0.000
1717.29/1717.60	c total clause space: 335.816MB
1717.29/1717.60	c total #watches: 487750
1727.09/1727.41	c total #propagations: 11881606 / total #impl: 25063922 (eff. 0.474)
1727.09/1727.41	c #Conflicts:     135000 | #Learnt:       4026 | 0.000
1727.09/1727.41	c total clause space: 335.816MB
1727.09/1727.41	c total #watches: 628151
1742.69/1743.02	c total #propagations: 11951253 / total #impl: 25208844 (eff. 0.474)
1742.69/1743.02	c #Conflicts:     136000 | #Learnt:       5026 | 0.000
1742.69/1743.02	c total clause space: 335.816MB
1742.69/1743.02	c total #watches: 745543
1760.79/1761.12	c total #propagations: 12021773 / total #impl: 25352021 (eff. 0.474)
1760.79/1761.12	c #Conflicts:     137000 | #Learnt:       6026 | 0.000
1760.79/1761.12	c total clause space: 335.816MB
1760.79/1761.12	c total #watches: 864335
1785.68/1786.08	c total #propagations: 12092895 / total #impl: 25490330 (eff. 0.474)
1785.68/1786.08	c #Conflicts:     138000 | #Learnt:       7026 | 0.000
1785.68/1786.08	c total clause space: 335.816MB
1785.68/1786.08	c total #watches: 961449

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

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

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


[startup+0 s]
/proc/loadavg: 2.28 2.17 2.10 3/176 6989
/proc/meminfo: memFree=29637340/32872528 swapFree=14548/942524
[pid=6989] ppid=6986 vsize=8 CPUtime=0 cores=1,3,5,7
/proc/6989/stat : 6989 (runsolver) R 6986 6989 4989 0 -1 4202560 120 0 0 0 0 0 0 0 20 0 1 0 122833988 8192 1 33554432000 0 0 0 140734062713416 213192961463 0 0 4096 24578 0 0 0 17 3 0 0 0 0 0
/proc/6989/statm: 13959 3 0 0 0 13456 0

[startup+0.100168 s]
/proc/loadavg: 2.28 2.17 2.10 3/176 6989
/proc/meminfo: memFree=29637340/32872528 swapFree=14548/942524
[pid=6989] ppid=6986 vsize=59016 CPUtime=0.08 cores=1,3,5,7
/proc/6989/stat : 6989 (cdcl-cuttingpla) R 6986 6989 4989 0 -1 4202496 1243 0 0 0 8 0 0 0 20 0 1 0 122833988 60432384 11671 33554432000 4194304 6211289 140736470602112 140734062713416 5418912 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6989/statm: 14754 11671 121 493 0 14251 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 59016

[startup+0.20034 s]
/proc/loadavg: 2.28 2.17 2.10 3/176 6989
/proc/meminfo: memFree=29637340/32872528 swapFree=14548/942524
[pid=6989] ppid=6986 vsize=69592 CPUtime=0.18 cores=1,3,5,7
/proc/6989/stat : 6989 (cdcl-cuttingpla) R 6986 6989 4989 0 -1 4202496 2856 0 0 0 18 0 0 0 20 0 1 0 122833988 71262208 14817 33554432000 4194304 6211289 140736470602112 140734062713416 4228081 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6989/statm: 17398 14819 143 493 0 16895 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 69592

[startup+0.300344 s]
/proc/loadavg: 2.28 2.17 2.10 3/176 6989
/proc/meminfo: memFree=29637340/32872528 swapFree=14548/942524
[pid=6989] ppid=6986 vsize=75620 CPUtime=0.29 cores=1,3,5,7
/proc/6989/stat : 6989 (cdcl-cuttingpla) R 6986 6989 4989 0 -1 4202496 4353 0 0 0 28 1 0 0 20 0 1 0 122833988 77434880 16825 33554432000 4194304 6211289 140736470602112 140734062713416 4228081 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6989/statm: 18905 16825 143 493 0 18402 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 75620

[startup+0.70029 s]
/proc/loadavg: 2.28 2.17 2.10 3/176 6989
/proc/meminfo: memFree=29637340/32872528 swapFree=14548/942524
[pid=6989] ppid=6986 vsize=118288 CPUtime=0.68 cores=1,3,5,7
/proc/6989/stat : 6989 (cdcl-cuttingpla) R 6986 6989 4989 0 -1 4202496 7649 0 0 0 67 1 0 0 20 0 1 0 122833988 121126912 27074 33554432000 4194304 6211289 140736470602112 140734062713416 5161098 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6989/statm: 29572 27074 204 493 0 29069 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 118288

[startup+1.50023 s]
/proc/loadavg: 2.26 2.17 2.10 3/177 6990
/proc/meminfo: memFree=29518028/32872528 swapFree=14548/942524
[pid=6989] ppid=6986 vsize=137792 CPUtime=1.48 cores=1,3,5,7
/proc/6989/stat : 6989 (cdcl-cuttingpla) R 6986 6989 4989 0 -1 4202496 8052 0 0 0 147 1 0 0 20 0 1 0 122833988 141099008 30473 33554432000 4194304 6211289 140736470602112 140736470600344 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6989/statm: 34448 30473 204 493 0 33945 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 137792

[startup+3.10025 s]
/proc/loadavg: 2.26 2.17 2.10 3/177 6990
/proc/meminfo: memFree=29510892/32872528 swapFree=14548/942524
[pid=6989] ppid=6986 vsize=169144 CPUtime=3.08 cores=1,3,5,7
/proc/6989/stat : 6989 (cdcl-cuttingpla) R 6986 6989 4989 0 -1 4202496 8512 0 0 0 306 2 0 0 20 0 1 0 122833988 173203456 33917 33554432000 4194304 6211289 140736470602112 140736470600024 4209306 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6989/statm: 42286 33917 214 493 0 41783 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 169144

[startup+6.30023 s]
/proc/loadavg: 2.26 2.17 2.10 3/177 6990
/proc/meminfo: memFree=29487592/32872528 swapFree=14548/942524
[pid=6989] ppid=6986 vsize=170216 CPUtime=6.28 cores=1,3,5,7
/proc/6989/stat : 6989 (cdcl-cuttingpla) R 6986 6989 4989 0 -1 4202496 8808 0 0 0 626 2 0 0 20 0 1 0 122833988 174301184 38301 33554432000 4194304 6211289 140736470602112 140736470599976 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6989/statm: 42554 38301 214 493 0 42051 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 170216

[startup+12.7002 s]
/proc/loadavg: 2.22 2.17 2.10 3/177 6990
/proc/meminfo: memFree=29478016/32872528 swapFree=14548/942524
[pid=6989] ppid=6986 vsize=170612 CPUtime=12.68 cores=1,3,5,7
/proc/6989/stat : 6989 (cdcl-cuttingpla) R 6986 6989 4989 0 -1 4202496 9826 0 0 0 1266 2 0 0 20 0 1 0 122833988 174706688 39739 33554432000 4194304 6211289 140736470602112 140736470600024 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6989/statm: 42653 39739 219 493 0 42150 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 170612

[startup+25.5003 s]
/proc/loadavg: 2.26 2.18 2.10 3/177 6990
/proc/meminfo: memFree=29444456/32872528 swapFree=14548/942524
[pid=6989] ppid=6986 vsize=226584 CPUtime=25.48 cores=1,3,5,7
/proc/6989/stat : 6989 (cdcl-cuttingpla) R 6986 6989 4989 0 -1 4202496 12070 0 0 0 2545 3 0 0 20 0 1 0 122833988 232022016 48231 33554432000 4194304 6211289 140736470602112 140736470600104 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6989/statm: 56646 48231 219 493 0 56143 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 226584

[startup+51.1004 s]
/proc/loadavg: 2.25 2.18 2.10 3/177 7036
/proc/meminfo: memFree=29604520/32872528 swapFree=14548/942524
[pid=6989] ppid=6986 vsize=230748 CPUtime=51.08 cores=1,3,5,7
/proc/6989/stat : 6989 (cdcl-cuttingpla) R 6986 6989 4989 0 -1 4202496 13060 0 0 0 5104 4 0 0 20 0 1 0 122833988 236285952 53308 33554432000 4194304 6211289 140736470602112 140736470599976 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6989/statm: 57687 53308 219 493 0 57184 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 230748

[startup+102.3 s]
/proc/loadavg: 2.21 2.18 2.10 3/177 7037
/proc/meminfo: memFree=29523804/32872528 swapFree=14548/942524
[pid=6989] ppid=6986 vsize=315868 CPUtime=102.28 cores=1,3,5,7
/proc/6989/stat : 6989 (cdcl-cuttingpla) R 6986 6989 4989 0 -1 4202496 14876 0 0 0 10223 5 0 0 20 0 1 0 122833988 323448832 58699 33554432000 4194304 6211289 140736470602112 140736470600024 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6989/statm: 78967 58699 219 493 0 78464 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 315868

[startup+162.3 s]
/proc/loadavg: 2.23 2.19 2.11 3/177 7038
/proc/meminfo: memFree=29478456/32872528 swapFree=14548/942524
[pid=6989] ppid=6986 vsize=318604 CPUtime=162.25 cores=1,3,5,7
/proc/6989/stat : 6989 (cdcl-cuttingpla) R 6986 6989 4989 0 -1 4202496 15872 0 0 0 16220 5 0 0 20 0 1 0 122833988 326250496 66338 33554432000 4194304 6211289 140736470602112 140736470600456 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6989/statm: 79651 66338 219 493 0 79148 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 318604

[startup+222.308 s]
/proc/loadavg: 2.31 2.21 2.12 4/177 7040
/proc/meminfo: memFree=29418580/32872528 swapFree=14548/942524
[pid=6989] ppid=6986 vsize=318892 CPUtime=222.26 cores=1,3,5,7
/proc/6989/stat : 6989 (cdcl-cuttingpla) R 6986 6989 4989 0 -1 4202496 16090 0 0 0 22220 6 0 0 20 0 1 0 122833988 326545408 71155 33554432000 4194304 6211289 140736470602112 140736470600456 4209852 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6989/statm: 79723 71155 219 493 0 79220 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 318892

[startup+282.3 s]
/proc/loadavg: 2.17 2.19 2.11 3/177 7041
/proc/meminfo: memFree=29397972/32872528 swapFree=14548/942524
[pid=6989] ppid=6986 vsize=319212 CPUtime=282.24 cores=1,3,5,7
/proc/6989/stat : 6989 (cdcl-cuttingpla) R 6986 6989 4989 0 -1 4202496 16214 0 0 0 28218 6 0 0 20 0 1 0 122833988 326873088 71279 33554432000 4194304 6211289 140736470602112 140736470599976 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6989/statm: 79803 71279 219 493 0 79300 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 319212

[startup+342.3 s]
/proc/loadavg: 2.11 2.16 2.11 3/177 7042
/proc/meminfo: memFree=29394580/32872528 swapFree=14548/942524
[pid=6989] ppid=6986 vsize=319500 CPUtime=342.23 cores=1,3,5,7
/proc/6989/stat : 6989 (cdcl-cuttingpla) R 6986 6989 4989 0 -1 4202496 16361 0 0 0 34217 6 0 0 20 0 1 0 122833988 327168000 71937 33554432000 4194304 6211289 140736470602112 140736470599976 4209244 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6989/statm: 79875 71937 219 493 0 79372 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 319500

[startup+402.3 s]
/proc/loadavg: 2.21 2.18 2.11 4/177 7043
/proc/meminfo: memFree=29350344/32872528 swapFree=14548/942524
[pid=6989] ppid=6986 vsize=457956 CPUtime=402.22 cores=1,3,5,7
/proc/6989/stat : 6989 (cdcl-cuttingpla) R 6986 6989 4989 0 -1 4202496 17829 0 0 0 40215 7 0 0 20 0 1 0 122833988 468946944 82467 33554432000 4194304 6211289 140736470602112 140736470599976 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6989/statm: 114489 82467 219 493 0 113986 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 457956

[startup+462.3 s]
/proc/loadavg: 2.35 2.22 2.13 3/178 7047
/proc/meminfo: memFree=29345676/32872528 swapFree=14548/942524
[pid=6989] ppid=6986 vsize=458436 CPUtime=462.2 cores=1,3,5,7
/proc/6989/stat : 6989 (cdcl-cuttingpla) R 6986 6989 4989 0 -1 4202496 18184 0 0 0 46213 7 0 0 20 0 1 0 122833988 469438464 83494 33554432000 4194304 6211289 140736470602112 140736470599976 4209816 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6989/statm: 114609 83494 219 493 0 114106 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 458436

[startup+522.3 s]
/proc/loadavg: 2.39 2.25 2.14 3/177 7049
/proc/meminfo: memFree=29323812/32872528 swapFree=14548/942524
[pid=6989] ppid=6986 vsize=465480 CPUtime=522.18 cores=1,3,5,7
/proc/6989/stat : 6989 (cdcl-cuttingpla) R 6986 6989 4989 0 -1 4202496 19569 0 0 0 52210 8 0 0 20 0 1 0 122833988 476651520 88932 33554432000 4194304 6211289 140736470602112 140736470600456 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6989/statm: 116370 88932 219 493 0 115867 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 465480

[startup+582.3 s]
/proc/loadavg: 2.36 2.26 2.15 4/177 7050
/proc/meminfo: memFree=29324320/32872528 swapFree=14548/942524
[pid=6989] ppid=6986 vsize=465480 CPUtime=582.17 cores=1,3,5,7
/proc/6989/stat : 6989 (cdcl-cuttingpla) R 6986 6989 4989 0 -1 4202496 19571 0 0 0 58209 8 0 0 20 0 1 0 122833988 476651520 88934 33554432000 4194304 6211289 140736470602112 140736470600456 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6989/statm: 116370 88934 219 493 0 115867 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 465480


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


[startup+882.307 s]
/proc/loadavg: 2.10 2.16 2.13 3/177 7056
/proc/meminfo: memFree=29248728/32872528 swapFree=14548/942524
[pid=6989] ppid=6986 vsize=465960 CPUtime=882.13 cores=1,3,5,7
/proc/6989/stat : 6989 (cdcl-cuttingpla) R 6986 6989 4989 0 -1 4202496 19701 0 0 0 88205 8 0 0 20 0 1 0 122833988 477143040 89064 33554432000 4194304 6211289 140736470602112 140736470600456 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6989/statm: 116490 89064 219 493 0 115987 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 465960

[startup+942.3 s]
/proc/loadavg: 2.03 2.13 2.12 3/177 7057
/proc/meminfo: memFree=29224696/32872528 swapFree=14548/942524
[pid=6989] ppid=6986 vsize=465960 CPUtime=942.11 cores=1,3,5,7
/proc/6989/stat : 6989 (cdcl-cuttingpla) R 6986 6989 4989 0 -1 4202496 19704 0 0 0 94203 8 0 0 20 0 1 0 122833988 477143040 89067 33554432000 4194304 6211289 140736470602112 140736470600456 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6989/statm: 116490 89067 219 493 0 115987 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 465960

[startup+1002.3 s]
/proc/loadavg: 2.12 2.13 2.12 3/177 7058
/proc/meminfo: memFree=29224448/32872528 swapFree=14548/942524
[pid=6989] ppid=6986 vsize=465960 CPUtime=1002.1 cores=1,3,5,7
/proc/6989/stat : 6989 (cdcl-cuttingpla) R 6986 6989 4989 0 -1 4202496 19704 0 0 0 100202 8 0 0 20 0 1 0 122833988 477143040 89067 33554432000 4194304 6211289 140736470602112 140736470600456 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6989/statm: 116490 89067 219 493 0 115987 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 465960

[startup+1062.3 s]
/proc/loadavg: 2.27 2.17 2.13 3/178 7062
/proc/meminfo: memFree=29207692/32872528 swapFree=14548/942524
[pid=6989] ppid=6986 vsize=465960 CPUtime=1062.09 cores=1,3,5,7
/proc/6989/stat : 6989 (cdcl-cuttingpla) R 6986 6989 4989 0 -1 4202496 19704 0 0 0 106201 8 0 0 20 0 1 0 122833988 477143040 89067 33554432000 4194304 6211289 140736470602112 140736470600456 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6989/statm: 116490 89067 219 493 0 115987 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 465960

[startup+1122.3 s]
/proc/loadavg: 2.21 2.17 2.13 3/177 7064
/proc/meminfo: memFree=29184932/32872528 swapFree=14548/942524
[pid=6989] ppid=6986 vsize=465960 CPUtime=1122.08 cores=1,3,5,7
/proc/6989/stat : 6989 (cdcl-cuttingpla) R 6986 6989 4989 0 -1 4202496 19705 0 0 0 112200 8 0 0 20 0 1 0 122833988 477143040 89068 33554432000 4194304 6211289 140736470602112 140736470600456 4209328 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6989/statm: 116490 89068 219 493 0 115987 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 465960

[startup+1182.3 s]
/proc/loadavg: 2.07 2.13 2.12 3/177 7065
/proc/meminfo: memFree=29172512/32872528 swapFree=14548/942524
[pid=6989] ppid=6986 vsize=465960 CPUtime=1182.08 cores=1,3,5,7
/proc/6989/stat : 6989 (cdcl-cuttingpla) R 6986 6989 4989 0 -1 4202496 19707 0 0 0 118200 8 0 0 20 0 1 0 122833988 477143040 89070 33554432000 4194304 6211289 140736470602112 140736470600456 4209882 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6989/statm: 116490 89070 219 493 0 115987 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 465960

[startup+1242.3 s]
/proc/loadavg: 2.08 2.12 2.11 3/177 7066
/proc/meminfo: memFree=29171776/32872528 swapFree=14548/942524
[pid=6989] ppid=6986 vsize=465960 CPUtime=1242.07 cores=1,3,5,7
/proc/6989/stat : 6989 (cdcl-cuttingpla) R 6986 6989 4989 0 -1 4202496 19709 0 0 0 124199 8 0 0 20 0 1 0 122833988 477143040 89072 33554432000 4194304 6211289 140736470602112 140736470600456 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6989/statm: 116490 89072 219 493 0 115987 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 465960

[startup+1302.3 s]
/proc/loadavg: 2.12 2.13 2.11 3/177 7067
/proc/meminfo: memFree=29170660/32872528 swapFree=14548/942524
[pid=6989] ppid=6986 vsize=465960 CPUtime=1302.06 cores=1,3,5,7
/proc/6989/stat : 6989 (cdcl-cuttingpla) R 6986 6989 4989 0 -1 4202496 19711 0 0 0 130198 8 0 0 20 0 1 0 122833988 477143040 89074 33554432000 4194304 6211289 140736470602112 140736470600456 4209328 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6989/statm: 116490 89074 219 493 0 115987 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 465960

[startup+1362.3 s]
/proc/loadavg: 2.21 2.15 2.12 4/177 7068
/proc/meminfo: memFree=29170408/32872528 swapFree=14548/942524
[pid=6989] ppid=6986 vsize=465960 CPUtime=1362.05 cores=1,3,5,7
/proc/6989/stat : 6989 (cdcl-cuttingpla) R 6986 6989 4989 0 -1 4202496 19712 0 0 0 136197 8 0 0 20 0 1 0 122833988 477143040 89075 33554432000 4194304 6211289 140736470602112 140736470600456 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6989/statm: 116490 89075 219 493 0 115987 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 465960

[startup+1422.3 s]
/proc/loadavg: 2.25 2.16 2.12 3/177 7070
/proc/meminfo: memFree=29169920/32872528 swapFree=14548/942524
[pid=6989] ppid=6986 vsize=466600 CPUtime=1422.05 cores=1,3,5,7
/proc/6989/stat : 6989 (cdcl-cuttingpla) R 6986 6989 4989 0 -1 4202496 19860 0 0 0 142197 8 0 0 20 0 1 0 122833988 477798400 89223 33554432000 4194304 6211289 140736470602112 140736470600024 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6989/statm: 116650 89223 219 493 0 116147 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 466600

[startup+1482.3 s]
/proc/loadavg: 2.13 2.15 2.11 3/177 7071
/proc/meminfo: memFree=29164700/32872528 swapFree=14548/942524
[pid=6989] ppid=6986 vsize=467720 CPUtime=1482.03 cores=1,3,5,7
/proc/6989/stat : 6989 (cdcl-cuttingpla) R 6986 6989 4989 0 -1 4202496 20088 0 0 0 148195 8 0 0 20 0 1 0 122833988 478945280 89451 33554432000 4194304 6211289 140736470602112 140736470600456 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6989/statm: 116930 89451 219 493 0 116427 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 467720

[startup+1542.31 s]
/proc/loadavg: 2.19 2.16 2.12 3/177 7072
/proc/meminfo: memFree=29127908/32872528 swapFree=14548/942524
[pid=6989] ppid=6986 vsize=467720 CPUtime=1542.03 cores=1,3,5,7
/proc/6989/stat : 6989 (cdcl-cuttingpla) R 6986 6989 4989 0 -1 4202496 20089 0 0 0 154195 8 0 0 20 0 1 0 122833988 478945280 89452 33554432000 4194304 6211289 140736470602112 140736470600456 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6989/statm: 116930 89452 219 493 0 116427 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 467720

[startup+1602.3 s]
/proc/loadavg: 2.16 2.16 2.12 3/177 7073
/proc/meminfo: memFree=29099216/32872528 swapFree=14548/942524
[pid=6989] ppid=6986 vsize=468040 CPUtime=1602.01 cores=1,3,5,7
/proc/6989/stat : 6989 (cdcl-cuttingpla) R 6986 6989 4989 0 -1 4202496 20149 0 0 0 160193 8 0 0 20 0 1 0 122833988 479272960 90379 33554432000 4194304 6211289 140736470602112 140736470599976 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6989/statm: 117010 90379 219 493 0 116507 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 468040

[startup+1662.3 s]
/proc/loadavg: 2.16 2.16 2.12 3/178 7077
/proc/meminfo: memFree=29097908/32872528 swapFree=14548/942524
[pid=6989] ppid=6986 vsize=468840 CPUtime=1662 cores=1,3,5,7
/proc/6989/stat : 6989 (cdcl-cuttingpla) R 6986 6989 4989 0 -1 4202496 20292 0 0 0 166192 8 0 0 20 0 1 0 122833988 480092160 90521 33554432000 4194304 6211289 140736470602112 140736470600456 4209328 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6989/statm: 117210 90521 219 493 0 116707 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 468840

[startup+1722.3 s]
/proc/loadavg: 2.22 2.17 2.12 3/176 7079
/proc/meminfo: memFree=29098976/32872528 swapFree=14548/942524
[pid=6989] ppid=6986 vsize=469000 CPUtime=1721.99 cores=1,3,5,7
/proc/6989/stat : 6989 (cdcl-cuttingpla) R 6986 6989 4989 0 -1 4202496 20353 0 0 0 172191 8 0 0 20 0 1 0 122833988 480256000 90582 33554432000 4194304 6211289 140736470602112 140736470600456 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6989/statm: 117250 90582 219 493 0 116747 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 469000

[startup+1782.3 s]
/proc/loadavg: 2.08 2.14 2.11 3/177 7081
/proc/meminfo: memFree=29098136/32872528 swapFree=14548/942524
[pid=6989] ppid=6986 vsize=469000 CPUtime=1781.98 cores=1,3,5,7
/proc/6989/stat : 6989 (cdcl-cuttingpla) R 6986 6989 4989 0 -1 4202496 20353 0 0 0 178190 8 0 0 20 0 1 0 122833988 480256000 90582 33554432000 4194304 6211289 140736470602112 140736470600456 4209328 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6989/statm: 117250 90582 219 493 0 116747 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 469000



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.06 2.13 2.11 4/177 7081
/proc/meminfo: memFree=29098316/32872528 swapFree=14548/942524
[pid=6989] ppid=6986 vsize=469000 CPUtime=1800.08 cores=1,3,5,7
/proc/6989/stat : 6989 (cdcl-cuttingpla) R 6986 6989 4989 0 -1 4202496 20355 0 0 0 180000 8 0 0 20 0 1 0 122833988 480256000 90584 33554432000 4194304 6211289 140736470602112 140736470600456 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/6989/statm: 117250 90584 219 493 0 116747 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 469000

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 6989 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): 1800
CPU system time (s): 0.088986
CPU usage (%): 99.9827
Max. virtual memory (cumulated for all children) (KiB): 469000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800
system time used= 0.088986
maximum resident set size= 362336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20355
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= 64
involuntary context switches= 1851

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5793 second user time and 6.87995 second system time

The end

Launcher Data 

Begin job on node113 at 2016-06-08 20:03:18
IDJOB=4087489
IDBENCH=2247
IDSOLVER=2549
FILE ID=node113/4087489-1465408998
RUNJOBID= node113-1465387385-5006
PBS_JOBID= 19853860
Free space on /tmp= 71736 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/frb56-25-opb/normalized-frb56-25-5.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087489-1465408998/watcher-4087489-1465408998 -o /tmp/evaluation-result-4087489-1465408998/solver-4087489-1465408998 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1465387385-5006 --watchdog 1960 --input HOME/instance-4087489-1465408998.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= 98c81efbf429745622d6705fab70d2ee
RANDOM SEED=1912587169

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.722
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.44
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.722
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.54
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.722
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.54
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.722
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.722
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.722
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.722
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.722
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:        29637340 kB
Buffers:          160284 kB
Cached:          1037292 kB
SwapCached:         1688 kB
Active:           731732 kB
Inactive:         794680 kB
Active(anon):     329104 kB
Inactive(anon):     1856 kB
Active(file):     402628 kB
Inactive(file):   792824 kB
Unevictable:      942524 kB
Mlocked:           14548 kB
SwapTotal:      67108856 kB
SwapFree:       67098780 kB
Dirty:              5068 kB
Writeback:             0 kB
AnonPages:       1270592 kB
Mapped:             7988 kB
Shmem:                 0 kB
Slab:             634424 kB
SReclaimable:      78212 kB
SUnreclaim:       556212 kB
KernelStack:        1424 kB
PageTables:         6488 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1493480 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1243136 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= 71732 MiB
End job on node113 at 2016-06-08 20:33:19