Trace number 4101584

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
cdcl-cuttingplanes OPT linear search 2016-05-01? (TO) 1800.02 1800.3

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-gesa2.opb
MD5SUM1f57d7f7253e44124d4d26029bd38b8a
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark738
Best CPU time to get the best result obtained on this benchmark1800.04
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 424
Optimality of the best value was proved NO
Number of variables19344
Total number of constraints1824
Number of constraints which are clauses48
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1776
Minimum length of a constraint2
Maximum length of a constraint309
Number of terms in the objective function 13488
Biggest coefficient in the objective function 1219
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 535560
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 535560
Number of bits of the biggest sum of numbers20
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.00/0.00	c * #variable= 19344 #constraint= 1824
7.70/7.71	c #Conflicts:       1000 | #Learnt:       1022 | 30.793
7.70/7.71	c total clause space: 78.2603MB
7.70/7.71	c total #watches: 1374832
16.09/16.11	c total #propagations: 2119733 / total #impl: 22237120 (eff. 0.095)
16.09/16.11	c #Conflicts:       2000 | #Learnt:       2021 | 22.686
16.09/16.11	c total clause space: 78.2603MB
16.09/16.11	c total #watches: 1437399
22.99/23.03	c total #propagations: 8312524 / total #impl: 37798412 (eff. 0.220)
22.99/23.03	c GC COLLECT
22.99/23.03	c #Conflicts:       3000 | #Learnt:       2052 | 15.166
22.99/23.03	c total clause space: 78.2603MB
22.99/23.03	c total #watches: 1083364
27.79/27.87	c total #propagations: 12105966 / total #impl: 50742282 (eff. 0.239)
27.79/27.87	c #Conflicts:       4000 | #Learnt:       3052 | 11.664
27.79/27.87	c total clause space: 127.173MB
27.79/27.87	c total #watches: 1477244
37.88/37.98	c total #propagations: 16116561 / total #impl: 66615232 (eff. 0.242)
37.88/37.98	c GC COLLECT
37.88/37.98	c #Conflicts:       5000 | #Learnt:       2417 | 11.006
37.88/37.98	c total clause space: 127.173MB
37.88/37.98	c total #watches: 1743856
48.68/48.72	c total #propagations: 17335717 / total #impl: 78299518 (eff. 0.221)
48.68/48.72	c #Conflicts:       6000 | #Learnt:       3416 | 9.674
48.68/48.72	c total clause space: 127.173MB
48.68/48.72	c total #watches: 1885004
59.18/59.23	c total #propagations: 22233756 / total #impl: 92997664 (eff. 0.239)
59.18/59.23	c GC COLLECT
59.18/59.23	c #Conflicts:       7000 | #Learnt:       2294 | 8.306
59.18/59.23	c total clause space: 206.656MB
59.18/59.23	c total #watches: 1633056
72.48/72.60	c total #propagations: 27609347 / total #impl: 106501452 (eff. 0.259)
72.48/72.60	c #Conflicts:       8000 | #Learnt:       3293 | 7.350
72.48/72.60	c total clause space: 206.656MB
72.48/72.60	c total #watches: 1721248
88.68/88.79	c total #propagations: 34103221 / total #impl: 124067870 (eff. 0.275)
88.68/88.79	c #Conflicts:       9000 | #Learnt:       4292 | 7.235
88.68/88.79	c total clause space: 206.656MB
88.68/88.79	c total #watches: 1815819
99.08/99.19	c total #propagations: 36917439 / total #impl: 165745966 (eff. 0.223)
99.08/99.19	c GC COLLECT
99.08/99.19	c #Conflicts:      10000 | #Learnt:       2782 | 6.532
99.08/99.19	c total clause space: 206.656MB
99.08/99.19	c total #watches: 1309892
117.17/117.20	c total #propagations: 37717158 / total #impl: 193295177 (eff. 0.195)
117.17/117.20	c #Conflicts:      11000 | #Learnt:       3782 | 14.103
117.17/117.20	c total clause space: 206.656MB
117.17/117.20	c total #watches: 1429037
133.37/133.45	c total #propagations: 40722404 / total #impl: 229594310 (eff. 0.177)
133.37/133.45	c #Conflicts:      12000 | #Learnt:       4782 | 15.842
133.37/133.45	c total clause space: 206.656MB
133.37/133.45	c total #watches: 1619414
152.46/152.56	c total #propagations: 43305661 / total #impl: 274408977 (eff. 0.158)
152.46/152.56	c #Conflicts:      13000 | #Learnt:       5781 | 14.688
152.46/152.56	c total clause space: 206.656MB
152.46/152.56	c total #watches: 1823564
168.27/168.36	c total #propagations: 43585049 / total #impl: 337436649 (eff. 0.129)
168.27/168.36	c GC COLLECT
168.27/168.36	c #Conflicts:      14000 | #Learnt:       3924 | 13.741
168.27/168.36	c total clause space: 206.656MB
168.27/168.36	c total #watches: 1728509
182.46/182.52	c total #propagations: 47634383 / total #impl: 355568448 (eff. 0.134)
182.46/182.52	c #Conflicts:      15000 | #Learnt:       4924 | 13.012
182.46/182.52	c total clause space: 206.656MB
182.46/182.52	c total #watches: 1857387
196.16/196.20	c total #propagations: 54018030 / total #impl: 396100641 (eff. 0.136)
196.16/196.20	c #Conflicts:      16000 | #Learnt:       5924 | 12.317
196.16/196.20	c total clause space: 206.656MB
196.16/196.20	c total #watches: 1964922
213.75/213.81	c total #propagations: 60489573 / total #impl: 428069532 (eff. 0.141)
213.75/213.81	c GC COLLECT
213.75/213.81	c #Conflicts:      17000 | #Learnt:       3750 | 11.656
213.75/213.81	c total clause space: 206.656MB
213.75/213.81	c total #watches: 1800121
227.25/227.31	c total #propagations: 66364340 / total #impl: 462595760 (eff. 0.143)
227.25/227.31	c #Conflicts:      18000 | #Learnt:       4750 | 11.073
227.25/227.31	c total clause space: 206.656MB
227.25/227.31	c total #watches: 1967712
240.95/241.00	c total #propagations: 71974959 / total #impl: 487343670 (eff. 0.148)
240.95/241.00	c #Conflicts:      19000 | #Learnt:       5749 | 10.517
240.95/241.00	c total clause space: 206.656MB
240.95/241.00	c total #watches: 2030829
255.95/256.02	c total #propagations: 77741733 / total #impl: 509800962 (eff. 0.152)
255.95/256.02	c #Conflicts:      20000 | #Learnt:       6749 | 10.111
255.95/256.02	c total clause space: 206.656MB
255.95/256.02	c total #watches: 2169052
265.45/265.54	c total #propagations: 81911202 / total #impl: 526327312 (eff. 0.156)
265.45/265.54	c GC COLLECT
265.45/265.54	c #Conflicts:      21000 | #Learnt:       4258 | 9.647
265.45/265.54	c total clause space: 206.656MB
265.45/265.54	c total #watches: 1626447
273.25/273.39	c total #propagations: 84372115 / total #impl: 538853561 (eff. 0.157)
273.25/273.39	c #Conflicts:      22000 | #Learnt:       5258 | 9.259
273.25/273.39	c total clause space: 206.656MB
273.25/273.39	c total #watches: 1689050
280.45/280.51	c total #propagations: 88865139 / total #impl: 549915897 (eff. 0.162)
280.45/280.51	c #Conflicts:      23000 | #Learnt:       6256 | 8.876
280.45/280.51	c total clause space: 206.656MB
280.45/280.51	c total #watches: 1824354
286.64/286.73	c total #propagations: 90815578 / total #impl: 558336651 (eff. 0.163)
286.64/286.73	c #Conflicts:      24000 | #Learnt:       7255 | 8.506
286.64/286.73	c total clause space: 206.656MB
286.64/286.73	c total #watches: 1882890
293.54/293.69	c total #propagations: 92991594 / total #impl: 567211958 (eff. 0.164)
293.54/293.69	c GC COLLECT
293.54/293.69	c #Conflicts:      25000 | #Learnt:       4459 | 8.172
293.54/293.69	c total clause space: 206.656MB
293.54/293.69	c total #watches: 1554188
304.75/304.85	c total #propagations: 93645508 / total #impl: 573838445 (eff. 0.163)
304.75/304.85	c #Conflicts:      26000 | #Learnt:       5459 | 7.871
304.75/304.85	c total clause space: 206.656MB
304.75/304.85	c total #watches: 1695475
312.44/312.53	c total #propagations: 95389917 / total #impl: 585113527 (eff. 0.163)
312.44/312.53	c #Conflicts:      27000 | #Learnt:       6459 | 7.580
312.44/312.53	c total clause space: 206.656MB
312.44/312.53	c total #watches: 1734775
319.84/319.94	c total #propagations: 98899672 / total #impl: 595243030 (eff. 0.166)
319.84/319.94	c #Conflicts:      28000 | #Learnt:       7459 | 7.310
319.84/319.94	c total clause space: 206.656MB
319.84/319.94	c total #watches: 1776244
327.84/327.96	c total #propagations: 101171882 / total #impl: 604727996 (eff. 0.167)
327.84/327.96	c GC COLLECT
327.84/327.96	c #Conflicts:      29000 | #Learnt:       4362 | 7.081
327.84/327.96	c total clause space: 206.656MB
327.84/327.96	c total #watches: 1540554
336.13/336.21	c total #propagations: 102288237 / total #impl: 615243986 (eff. 0.166)
336.13/336.21	c #Conflicts:      30000 | #Learnt:       5362 | 6.849
336.13/336.21	c total clause space: 206.656MB
336.13/336.21	c total #watches: 1663400
344.35/344.43	c total #propagations: 106098470 / total #impl: 626701066 (eff. 0.169)
344.35/344.43	c #Conflicts:      31000 | #Learnt:       6362 | 6.662
344.35/344.43	c total clause space: 206.656MB
344.35/344.43	c total #watches: 1738999
353.34/353.41	c total #propagations: 111093085 / total #impl: 640778028 (eff. 0.173)
353.34/353.41	c #Conflicts:      32000 | #Learnt:       7362 | 6.539
353.34/353.41	c total clause space: 206.656MB
353.34/353.41	c total #watches: 1845290
364.93/365.09	c total #propagations: 114364871 / total #impl: 657852539 (eff. 0.174)
364.93/365.09	c #Conflicts:      33000 | #Learnt:       8362 | 6.613
364.93/365.09	c total clause space: 335.816MB
364.93/365.09	c total #watches: 2054222
377.03/377.19	c total #propagations: 119655545 / total #impl: 676205946 (eff. 0.177)
377.03/377.19	c GC COLLECT
377.03/377.19	c #Conflicts:      34000 | #Learnt:       4956 | 6.561
377.03/377.19	c total clause space: 335.816MB
377.03/377.19	c total #watches: 1918576
386.43/386.52	c total #propagations: 123781525 / total #impl: 689450083 (eff. 0.180)
386.43/386.52	c #Conflicts:      35000 | #Learnt:       5956 | 6.374
386.43/386.52	c total clause space: 335.816MB
386.43/386.52	c total #watches: 1995535
401.03/401.18	c total #propagations: 127316951 / total #impl: 698679446 (eff. 0.182)
401.03/401.18	c #Conflicts:      36000 | #Learnt:       6954 | 6.200
401.03/401.18	c total clause space: 335.816MB
401.03/401.18	c total #watches: 2077070
419.32/419.42	c total #propagations: 130936695 / total #impl: 710973493 (eff. 0.184)
419.32/419.42	c #Conflicts:      37000 | #Learnt:       7954 | 6.058
419.32/419.42	c total clause space: 335.816MB
419.32/419.42	c total #watches: 2233631
442.22/442.34	c total #propagations: 133321657 / total #impl: 719500424 (eff. 0.185)
442.22/442.34	c #Conflicts:      38000 | #Learnt:       8954 | 5.905
442.22/442.34	c total clause space: 335.816MB
442.22/442.34	c total #watches: 2381942
454.82/454.95	c total #propagations: 136117699 / total #impl: 730787384 (eff. 0.186)
454.82/454.95	c GC COLLECT
454.82/454.95	c #Conflicts:      39000 | #Learnt:       5253 | 5.772
454.82/454.95	c total clause space: 335.816MB
454.82/454.95	c total #watches: 2038743
464.42/464.52	c total #propagations: 137577782 / total #impl: 740786183 (eff. 0.186)
464.42/464.52	c #Conflicts:      40000 | #Learnt:       6253 | 5.685
464.42/464.52	c total clause space: 335.816MB
464.42/464.52	c total #watches: 2162694
472.62/472.73	c total #propagations: 138193725 / total #impl: 749490173 (eff. 0.184)
472.62/472.73	c #Conflicts:      41000 | #Learnt:       7253 | 5.549
472.62/472.73	c total clause space: 335.816MB
472.62/472.73	c total #watches: 2243421
483.32/483.49	c total #propagations: 138523842 / total #impl: 754203727 (eff. 0.184)
483.32/483.49	c #Conflicts:      42000 | #Learnt:       8253 | 5.434
483.32/483.49	c total clause space: 335.816MB
483.32/483.49	c total #watches: 2327383
494.41/494.58	c total #propagations: 139087467 / total #impl: 761626917 (eff. 0.183)
494.41/494.58	c #Conflicts:      43000 | #Learnt:       9253 | 5.308
494.41/494.58	c total clause space: 335.816MB
494.41/494.58	c total #watches: 2358970
503.21/503.35	c total #propagations: 139455323 / total #impl: 766457670 (eff. 0.182)
503.21/503.35	c GC COLLECT
503.21/503.35	c #Conflicts:      44000 | #Learnt:       5264 | 5.203
503.21/503.35	c total clause space: 335.816MB
503.21/503.35	c total #watches: 1947931
512.51/512.65	c total #propagations: 140012838 / total #impl: 773951146 (eff. 0.181)
512.51/512.65	c #Conflicts:      45000 | #Learnt:       6264 | 5.095
512.51/512.65	c total clause space: 335.816MB
512.51/512.65	c total #watches: 2048366
521.41/521.55	c total #propagations: 140591708 / total #impl: 780695170 (eff. 0.180)
521.41/521.55	c #Conflicts:      46000 | #Learnt:       7262 | 4.992
521.41/521.55	c total clause space: 335.816MB
521.41/521.55	c total #watches: 2122460
530.30/530.49	c total #propagations: 141505586 / total #impl: 789009942 (eff. 0.179)
530.30/530.49	c #Conflicts:      47000 | #Learnt:       8262 | 4.888
530.30/530.49	c total clause space: 335.816MB
530.30/530.49	c total #watches: 2198781
542.60/542.77	c total #propagations: 142840706 / total #impl: 795849461 (eff. 0.179)
542.60/542.77	c #Conflicts:      48000 | #Learnt:       9262 | 4.799
542.60/542.77	c total clause space: 335.816MB
542.60/542.77	c total #watches: 2322209
557.00/557.19	c total #propagations: 148378123 / total #impl: 803912042 (eff. 0.185)
557.00/557.19	c #Conflicts:      49000 | #Learnt:      10262 | 4.707
557.00/557.19	c total clause space: 335.816MB
557.00/557.19	c total #watches: 2377742
569.90/570.01	c total #propagations: 154371783 / total #impl: 815448385 (eff. 0.189)
569.90/570.01	c GC COLLECT
569.90/570.01	c #Conflicts:      50000 | #Learnt:       5954 | 4.619
569.90/570.01	c total clause space: 335.816MB
569.90/570.01	c total #watches: 2061545
578.50/578.70	c total #propagations: 159320560 / total #impl: 830312734 (eff. 0.192)
578.50/578.70	c #Conflicts:      51000 | #Learnt:       6954 | 4.529
578.50/578.70	c total clause space: 335.816MB
578.50/578.70	c total #watches: 2120045
587.80/587.97	c total #propagations: 165510104 / total #impl: 840938207 (eff. 0.197)
587.80/587.97	c #Conflicts:      52000 | #Learnt:       7954 | 4.449
587.80/587.97	c total clause space: 335.816MB
587.80/587.97	c total #watches: 2206926
599.29/599.44	c total #propagations: 166755640 / total #impl: 850992242 (eff. 0.196)
599.29/599.44	c #Conflicts:      53000 | #Learnt:       8954 | 4.382
599.29/599.44	c total clause space: 335.816MB
599.29/599.44	c total #watches: 2324650
610.19/610.39	c total #propagations: 168030272 / total #impl: 861621020 (eff. 0.195)
610.19/610.39	c #Conflicts:      54000 | #Learnt:       9952 | 4.335
610.19/610.39	c total clause space: 335.816MB
610.19/610.39	c total #watches: 2425656
622.09/622.21	c total #propagations: 171531073 / total #impl: 871221985 (eff. 0.197)
622.09/622.21	c #Conflicts:      55000 | #Learnt:      10952 | 4.259
622.09/622.21	c total clause space: 335.816MB
622.09/622.21	c total #watches: 2511203
634.08/634.24	c total #propagations: 173964004 / total #impl: 878734080 (eff. 0.198)
634.08/634.24	c GC COLLECT
634.08/634.24	c #Conflicts:      56000 | #Learnt:       6352 | 4.183
634.08/634.24	c total clause space: 335.816MB
634.08/634.24	c total #watches: 1966183
643.58/643.71	c total #propagations: 179995064 / total #impl: 890169755 (eff. 0.202)
643.58/643.71	c #Conflicts:      57000 | #Learnt:       7352 | 4.124
643.58/643.71	c total clause space: 335.816MB
643.58/643.71	c total #watches: 2101613
659.18/659.35	c total #propagations: 183763143 / total #impl: 903539793 (eff. 0.203)
659.18/659.35	c #Conflicts:      58000 | #Learnt:       8351 | 4.055
659.18/659.35	c total clause space: 335.816MB
659.18/659.35	c total #watches: 2179995
670.48/670.64	c total #propagations: 184613134 / total #impl: 915356088 (eff. 0.202)
670.48/670.64	c #Conflicts:      59000 | #Learnt:       9351 | 3.990
670.48/670.64	c total clause space: 335.816MB
670.48/670.64	c total #watches: 2286267
687.57/687.78	c total #propagations: 190195639 / total #impl: 940322640 (eff. 0.202)
687.57/687.78	c #Conflicts:      60000 | #Learnt:      10351 | 3.942
687.57/687.78	c total clause space: 335.816MB
687.57/687.78	c total #watches: 2386894
700.08/700.25	c total #propagations: 196493185 / total #impl: 954460226 (eff. 0.206)
700.08/700.25	c #Conflicts:      61000 | #Learnt:      11351 | 3.882
700.08/700.25	c total clause space: 335.816MB
700.08/700.25	c total #watches: 2502492
712.38/712.53	c total #propagations: 201950699 / total #impl: 970566801 (eff. 0.208)
712.38/712.53	c GC COLLECT
712.38/712.53	c #Conflicts:      62000 | #Learnt:       6451 | 3.820
712.38/712.53	c total clause space: 335.816MB
712.38/712.53	c total #watches: 2137013
723.18/723.30	c total #propagations: 207196372 / total #impl: 984098303 (eff. 0.211)
723.18/723.30	c #Conflicts:      63000 | #Learnt:       7451 | 3.762
723.18/723.30	c total clause space: 335.816MB
723.18/723.30	c total #watches: 2221230
734.87/735.10	c total #propagations: 213133398 / total #impl: 995352839 (eff. 0.214)
734.87/735.10	c #Conflicts:      64000 | #Learnt:       8451 | 3.705
734.87/735.10	c total clause space: 335.816MB
734.87/735.10	c total #watches: 2296303
747.17/747.36	c total #propagations: 219305206 / total #impl: 1005920450 (eff. 0.218)
747.17/747.36	c #Conflicts:      65000 | #Learnt:       9449 | 3.648
747.17/747.36	c total clause space: 335.816MB
747.17/747.36	c total #watches: 2370388
759.67/759.80	c total #propagations: 223157699 / total #impl: 1013950194 (eff. 0.220)
759.67/759.80	c #Conflicts:      66000 | #Learnt:      10449 | 3.594
759.67/759.80	c total clause space: 335.816MB
759.67/759.80	c total #watches: 2441438
772.07/772.24	c total #propagations: 226066686 / total #impl: 1022527072 (eff. 0.221)
772.07/772.24	c #Conflicts:      67000 | #Learnt:      11449 | 3.544
772.07/772.24	c total clause space: 335.816MB
772.07/772.24	c total #watches: 2518955
782.66/782.83	c total #propagations: 227869101 / total #impl: 1029336540 (eff. 0.221)
782.66/782.83	c #Conflicts:      68000 | #Learnt:      12449 | 3.493
782.66/782.83	c total clause space: 335.816MB
782.66/782.83	c total #watches: 2653245
793.96/794.19	c total #propagations: 229332082 / total #impl: 1036284632 (eff. 0.221)
793.96/794.19	c GC COLLECT
793.96/794.19	c #Conflicts:      69000 | #Learnt:       7255 | 3.449
793.96/794.19	c total clause space: 335.816MB
793.96/794.19	c total #watches: 2270292
804.07/804.22	c total #propagations: 230510364 / total #impl: 1045753686 (eff. 0.220)
804.07/804.22	c #Conflicts:      70000 | #Learnt:       8255 | 3.401
804.07/804.22	c total clause space: 335.816MB
804.07/804.22	c total #watches: 2351856
813.66/813.84	c total #propagations: 235349154 / total #impl: 1062142319 (eff. 0.222)
813.66/813.84	c #Conflicts:      71000 | #Learnt:       9255 | 3.355
813.66/813.84	c total clause space: 335.816MB
813.66/813.84	c total #watches: 2404317
822.66/822.84	c total #propagations: 240378348 / total #impl: 1075146416 (eff. 0.224)
822.66/822.84	c #Conflicts:      72000 | #Learnt:      10253 | 3.309
822.66/822.84	c total clause space: 335.816MB
822.66/822.84	c total #watches: 2434962
834.15/834.38	c total #propagations: 244810244 / total #impl: 1086725618 (eff. 0.225)
834.15/834.38	c #Conflicts:      73000 | #Learnt:      11252 | 3.265
834.15/834.38	c total clause space: 335.816MB
834.15/834.38	c total #watches: 2464224
845.15/845.36	c total #propagations: 249469792 / total #impl: 1096782329 (eff. 0.227)
845.15/845.36	c #Conflicts:      74000 | #Learnt:      12251 | 3.224
845.15/845.36	c total clause space: 335.816MB
845.15/845.36	c total #watches: 2575564
856.05/856.20	c total #propagations: 254753610 / total #impl: 1115679594 (eff. 0.228)
856.05/856.20	c GC COLLECT
856.05/856.20	c #Conflicts:      75000 | #Learnt:       6758 | 3.188
856.05/856.20	c total clause space: 335.816MB
856.05/856.20	c total #watches: 2193542
866.45/866.65	c total #propagations: 260169087 / total #impl: 1129322293 (eff. 0.230)
866.45/866.65	c #Conflicts:      76000 | #Learnt:       7758 | 3.147
866.45/866.65	c total clause space: 335.816MB
866.45/866.65	c total #watches: 2236794
876.75/876.90	c total #propagations: 262459438 / total #impl: 1137921762 (eff. 0.231)
876.75/876.90	c #Conflicts:      77000 | #Learnt:       8758 | 3.135
876.75/876.90	c total clause space: 335.816MB
876.75/876.90	c total #watches: 2290605
886.64/886.83	c total #propagations: 265894644 / total #impl: 1144453287 (eff. 0.232)
886.64/886.83	c #Conflicts:      78000 | #Learnt:       9758 | 3.095
886.64/886.83	c total clause space: 335.816MB
886.64/886.83	c total #watches: 2345067
896.14/896.30	c total #propagations: 268959807 / total #impl: 1153943757 (eff. 0.233)
896.14/896.30	c #Conflicts:      79000 | #Learnt:      10757 | 3.057
896.14/896.30	c total clause space: 335.816MB
896.14/896.30	c total #watches: 2419802
906.54/906.78	c total #propagations: 272210378 / total #impl: 1160520239 (eff. 0.235)
906.54/906.78	c #Conflicts:      80000 | #Learnt:      11757 | 3.019
906.54/906.78	c total clause space: 335.816MB
906.54/906.78	c total #watches: 2485219
916.94/917.10	c total #propagations: 276170659 / total #impl: 1170156845 (eff. 0.236)
916.94/917.10	c #Conflicts:      81000 | #Learnt:      12757 | 2.989
916.94/917.10	c total clause space: 335.816MB
916.94/917.10	c total #watches: 2537148
926.05/926.27	c total #propagations: 280260828 / total #impl: 1176837779 (eff. 0.238)
926.05/926.27	c GC COLLECT
926.05/926.27	c #Conflicts:      82000 | #Learnt:       6919 | 2.953
926.05/926.27	c total clause space: 335.816MB
926.05/926.27	c total #watches: 2081652
932.55/932.79	c total #propagations: 284541218 / total #impl: 1185429564 (eff. 0.240)
932.55/932.79	c #Conflicts:      83000 | #Learnt:       7919 | 2.918
932.55/932.79	c total clause space: 335.816MB
932.55/932.79	c total #watches: 2134707
940.04/940.23	c total #propagations: 285398401 / total #impl: 1192833350 (eff. 0.239)
940.04/940.23	c #Conflicts:      84000 | #Learnt:       8919 | 2.884
940.04/940.23	c total clause space: 335.816MB
940.04/940.23	c total #watches: 2232116
949.54/949.70	c total #propagations: 285948888 / total #impl: 1199161785 (eff. 0.238)
949.54/949.70	c #Conflicts:      85000 | #Learnt:       9919 | 2.850
949.54/949.70	c total clause space: 335.816MB
949.54/949.70	c total #watches: 2330450
959.84/960.09	c total #propagations: 286322259 / total #impl: 1204589709 (eff. 0.238)
959.84/960.09	c #Conflicts:      86000 | #Learnt:      10919 | 2.817
959.84/960.09	c total clause space: 335.816MB
959.84/960.09	c total #watches: 2438880
971.24/971.48	c total #propagations: 286735172 / total #impl: 1210279692 (eff. 0.237)
971.24/971.48	c #Conflicts:      87000 | #Learnt:      11919 | 2.785
971.24/971.48	c total clause space: 335.816MB
971.24/971.48	c total #watches: 2547757
982.14/982.35	c total #propagations: 287216488 / total #impl: 1216916935 (eff. 0.236)
982.14/982.35	c #Conflicts:      88000 | #Learnt:      12919 | 2.753
982.14/982.35	c total clause space: 335.816MB
982.14/982.35	c total #watches: 2587558
993.53/993.78	c total #propagations: 287757726 / total #impl: 1225114502 (eff. 0.235)
993.53/993.78	c #Conflicts:      89000 | #Learnt:      13919 | 2.723
993.53/993.78	c total clause space: 335.816MB
993.53/993.78	c total #watches: 2699402
1002.33/1002.58	c total #propagations: 288218960 / total #impl: 1232303227 (eff. 0.234)
1002.33/1002.58	c GC COLLECT
1002.33/1002.58	c #Conflicts:      90000 | #Learnt:       6528 | 2.700
1002.33/1002.58	c total clause space: 545.701MB
1002.33/1002.58	c total #watches: 2262590
1012.03/1012.25	c total #propagations: 289279424 / total #impl: 1238401865 (eff. 0.234)
1012.03/1012.25	c #Conflicts:      91000 | #Learnt:       7528 | 2.681
1012.03/1012.25	c total clause space: 545.701MB
1012.03/1012.25	c total #watches: 2457155
1027.62/1027.80	c total #propagations: 292729353 / total #impl: 1248031841 (eff. 0.235)
1027.62/1027.80	c #Conflicts:      92000 | #Learnt:       8528 | 2.657
1027.62/1027.80	c total clause space: 545.701MB
1027.62/1027.80	c total #watches: 2633431
1048.32/1048.58	c total #propagations: 295383819 / total #impl: 1257012708 (eff. 0.235)
1048.32/1048.58	c #Conflicts:      93000 | #Learnt:       9528 | 2.631
1048.32/1048.58	c total clause space: 545.701MB
1048.32/1048.58	c total #watches: 2751144
1060.43/1060.65	c total #propagations: 299236579 / total #impl: 1269939850 (eff. 0.236)
1060.43/1060.65	c #Conflicts:      94000 | #Learnt:      10528 | 2.608
1060.43/1060.65	c total clause space: 545.701MB
1060.43/1060.65	c total #watches: 2919914
1075.92/1076.10	c total #propagations: 302866488 / total #impl: 1281807322 (eff. 0.236)
1075.92/1076.10	c #Conflicts:      95000 | #Learnt:      11528 | 2.587
1075.92/1076.10	c total clause space: 545.701MB
1075.92/1076.10	c total #watches: 3081547
1094.62/1094.82	c total #propagations: 306317322 / total #impl: 1293700940 (eff. 0.237)
1094.62/1094.82	c #Conflicts:      96000 | #Learnt:      12528 | 2.561
1094.62/1094.82	c total clause space: 545.701MB
1094.62/1094.82	c total #watches: 3295234
1113.02/1113.28	c total #propagations: 309834196 / total #impl: 1307759434 (eff. 0.237)
1113.02/1113.28	c #Conflicts:      97000 | #Learnt:      13528 | 2.534
1113.02/1113.28	c total clause space: 545.701MB
1113.02/1113.28	c total #watches: 3393373
1133.61/1133.84	c total #propagations: 313252700 / total #impl: 1323012825 (eff. 0.237)
1133.61/1133.84	c GC COLLECT
1133.61/1133.84	c #Conflicts:      98000 | #Learnt:       7791 | 2.510
1133.61/1133.84	c total clause space: 545.701MB
1133.61/1133.84	c total #watches: 2305519
1148.90/1149.12	c total #propagations: 316903081 / total #impl: 1335983186 (eff. 0.237)
1148.90/1149.12	c #Conflicts:      99000 | #Learnt:       8791 | 2.487
1148.90/1149.12	c total clause space: 545.701MB
1148.90/1149.12	c total #watches: 2444978
1170.40/1170.61	c total #propagations: 322621357 / total #impl: 1351428797 (eff. 0.239)
1170.40/1170.61	c #Conflicts:     100000 | #Learnt:       9789 | 2.465
1170.40/1170.61	c total clause space: 545.701MB
1170.40/1170.61	c total #watches: 2584009
1190.20/1190.44	c total #propagations: 328798027 / total #impl: 1370169993 (eff. 0.240)
1190.20/1190.44	c #Conflicts:     101000 | #Learnt:      10788 | 2.441
1190.20/1190.44	c total clause space: 545.701MB
1190.20/1190.44	c total #watches: 2690894
1208.30/1208.53	c total #propagations: 334795213 / total #impl: 1388169546 (eff. 0.241)
1208.30/1208.53	c #Conflicts:     102000 | #Learnt:      11788 | 2.420
1208.30/1208.53	c total clause space: 545.701MB
1208.30/1208.53	c total #watches: 2845913
1221.40/1221.63	c total #propagations: 341254944 / total #impl: 1401835264 (eff. 0.243)
1221.40/1221.63	c #Conflicts:     103000 | #Learnt:      12788 | 2.397
1221.40/1221.63	c total clause space: 545.701MB
1221.40/1221.63	c total #watches: 3035523
1233.50/1233.79	c total #propagations: 345132879 / total #impl: 1411295946 (eff. 0.245)
1233.50/1233.79	c #Conflicts:     104000 | #Learnt:      13787 | 2.403
1233.50/1233.79	c total clause space: 545.701MB
1233.50/1233.79	c total #watches: 3232339
1246.49/1246.79	c total #propagations: 349608450 / total #impl: 1420514865 (eff. 0.246)
1246.49/1246.79	c #Conflicts:     105000 | #Learnt:      14787 | 2.383
1246.49/1246.79	c total clause space: 545.701MB
1246.49/1246.79	c total #watches: 3431934
1255.19/1255.40	c total #propagations: 350904498 / total #impl: 1431907247 (eff. 0.245)
1255.19/1255.40	c GC COLLECT
1255.19/1255.40	c #Conflicts:     106000 | #Learnt:       8423 | 2.362
1255.19/1255.40	c total clause space: 545.701MB
1255.19/1255.40	c total #watches: 2715105
1267.69/1267.91	c total #propagations: 351843859 / total #impl: 1436329889 (eff. 0.245)
1267.69/1267.91	c #Conflicts:     107000 | #Learnt:       9423 | 2.396
1267.69/1267.91	c total clause space: 545.701MB
1267.69/1267.91	c total #watches: 2850258
1280.49/1280.70	c total #propagations: 356433050 / total #impl: 1449743510 (eff. 0.246)
1280.49/1280.70	c #Conflicts:     108000 | #Learnt:      10423 | 2.380
1280.49/1280.70	c total clause space: 545.701MB
1280.49/1280.70	c total #watches: 2957691
1295.38/1295.69	c total #propagations: 358559233 / total #impl: 1455961175 (eff. 0.246)
1295.38/1295.69	c #Conflicts:     109000 | #Learnt:      11423 | 2.543
1295.38/1295.69	c total clause space: 545.701MB
1295.38/1295.69	c total #watches: 3106882
1311.98/1312.26	c total #propagations: 359686672 / total #impl: 1466424019 (eff. 0.245)
1311.98/1312.26	c #Conflicts:     110000 | #Learnt:      12422 | 2.530
1311.98/1312.26	c total clause space: 545.701MB
1311.98/1312.26	c total #watches: 3281173
1330.08/1330.34	c total #propagations: 364911881 / total #impl: 1477044229 (eff. 0.247)
1330.08/1330.34	c #Conflicts:     111000 | #Learnt:      13422 | 2.508
1330.08/1330.34	c total clause space: 545.701MB
1330.08/1330.34	c total #watches: 3357299
1352.37/1352.63	c total #propagations: 370805149 / total #impl: 1487516410 (eff. 0.249)
1352.37/1352.63	c #Conflicts:     112000 | #Learnt:      14422 | 2.487
1352.37/1352.63	c total clause space: 545.701MB
1352.37/1352.63	c total #watches: 3420631
1368.88/1369.12	c total #propagations: 376307192 / total #impl: 1497891247 (eff. 0.251)
1368.88/1369.12	c #Conflicts:     113000 | #Learnt:      15422 | 2.476
1368.88/1369.12	c total clause space: 545.701MB
1368.88/1369.12	c total #watches: 3601825
1380.17/1380.40	c total #propagations: 377949554 / total #impl: 1506935218 (eff. 0.251)
1380.17/1380.40	c GC COLLECT
1380.17/1380.40	c #Conflicts:     114000 | #Learnt:       7583 | 2.456
1380.17/1380.40	c total clause space: 545.701MB
1380.17/1380.40	c total #watches: 2740015
1393.77/1394.02	c total #propagations: 378406489 / total #impl: 1517097382 (eff. 0.249)
1393.77/1394.02	c #Conflicts:     115000 | #Learnt:       8583 | 2.436
1393.77/1394.02	c total clause space: 545.701MB
1393.77/1394.02	c total #watches: 2857878
1407.78/1408.10	c total #propagations: 379356044 / total #impl: 1528404941 (eff. 0.248)
1407.78/1408.10	c #Conflicts:     116000 | #Learnt:       9583 | 2.419
1407.78/1408.10	c total clause space: 545.701MB
1407.78/1408.10	c total #watches: 2965058
1420.57/1420.88	c total #propagations: 382387013 / total #impl: 1536935804 (eff. 0.249)
1420.57/1420.88	c #Conflicts:     117000 | #Learnt:      10582 | 2.404
1420.57/1420.88	c total clause space: 545.701MB
1420.57/1420.88	c total #watches: 3019122
1431.37/1431.60	c total #propagations: 384078950 / total #impl: 1546075675 (eff. 0.248)
1431.37/1431.60	c #Conflicts:     118000 | #Learnt:      11582 | 2.394
1431.37/1431.60	c total clause space: 545.701MB
1431.37/1431.60	c total #watches: 3102397
1442.06/1442.34	c total #propagations: 387709988 / total #impl: 1555666898 (eff. 0.249)
1442.06/1442.34	c #Conflicts:     119000 | #Learnt:      12582 | 2.378
1442.06/1442.34	c total clause space: 545.701MB
1442.06/1442.34	c total #watches: 3194810
1454.46/1454.72	c total #propagations: 389124139 / total #impl: 1559772924 (eff. 0.249)
1454.46/1454.72	c #Conflicts:     120000 | #Learnt:      13582 | 2.359
1454.46/1454.72	c total clause space: 545.701MB
1454.46/1454.72	c total #watches: 3278869
1467.56/1467.80	c total #propagations: 389638002 / total #impl: 1563366495 (eff. 0.249)
1467.56/1467.80	c #Conflicts:     121000 | #Learnt:      14582 | 2.340
1467.56/1467.80	c total clause space: 545.701MB
1467.56/1467.80	c total #watches: 3375528
1481.36/1481.67	c total #propagations: 390133492 / total #impl: 1566751275 (eff. 0.249)
1481.36/1481.67	c GC COLLECT
1481.36/1481.67	c #Conflicts:     122000 | #Learnt:       6726 | 2.323
1481.36/1481.67	c total clause space: 545.701MB
1481.36/1481.67	c total #watches: 2541032
1493.06/1493.36	c total #propagations: 391905393 / total #impl: 1573421072 (eff. 0.249)
1493.06/1493.36	c #Conflicts:     123000 | #Learnt:       7724 | 2.330
1493.06/1493.36	c total clause space: 545.701MB
1493.06/1493.36	c total #watches: 2779821
1507.25/1507.58	c total #propagations: 396929689 / total #impl: 1592769351 (eff. 0.249)
1507.25/1507.58	c #Conflicts:     124000 | #Learnt:       8724 | 2.315
1507.25/1507.58	c total clause space: 545.701MB
1507.25/1507.58	c total #watches: 2924798
1519.06/1519.33	c total #propagations: 401634038 / total #impl: 1608591451 (eff. 0.250)
1519.06/1519.33	c #Conflicts:     125000 | #Learnt:       9724 | 2.297
1519.06/1519.33	c total clause space: 545.701MB
1519.06/1519.33	c total #watches: 3000263
1536.46/1536.72	c total #propagations: 402782329 / total #impl: 1617958564 (eff. 0.249)
1536.46/1536.72	c #Conflicts:     126000 | #Learnt:      10724 | 2.280
1536.46/1536.72	c total clause space: 545.701MB
1536.46/1536.72	c total #watches: 3125865
1551.25/1551.53	c total #propagations: 404401107 / total #impl: 1628275556 (eff. 0.248)
1551.25/1551.53	c #Conflicts:     127000 | #Learnt:      11724 | 2.264
1551.25/1551.53	c total clause space: 545.701MB
1551.25/1551.53	c total #watches: 3346126
1567.55/1567.84	c total #propagations: 406386676 / total #impl: 1640270699 (eff. 0.248)
1567.55/1567.84	c #Conflicts:     128000 | #Learnt:      12724 | 2.249
1567.55/1567.84	c total clause space: 545.701MB
1567.55/1567.84	c total #watches: 3519627
1577.85/1578.12	c total #propagations: 407017083 / total #impl: 1654932061 (eff. 0.246)
1577.85/1578.12	c #Conflicts:     129000 | #Learnt:      13724 | 2.234
1577.85/1578.12	c total clause space: 545.701MB
1577.85/1578.12	c total #watches: 3570214
1591.05/1591.32	c total #propagations: 407550138 / total #impl: 1660371159 (eff. 0.245)
1591.05/1591.32	c #Conflicts:     130000 | #Learnt:      14723 | 2.217
1591.05/1591.32	c total clause space: 545.701MB
1591.05/1591.32	c total #watches: 3626904
1605.04/1605.33	c total #propagations: 408726403 / total #impl: 1668141334 (eff. 0.245)
1605.04/1605.33	c GC COLLECT
1605.04/1605.33	c #Conflicts:     131000 | #Learnt:       6774 | 2.201
1605.04/1605.33	c total clause space: 545.701MB
1605.04/1605.33	c total #watches: 2910556
1615.65/1615.98	c total #propagations: 411952887 / total #impl: 1681762750 (eff. 0.245)
1615.65/1615.98	c #Conflicts:     132000 | #Learnt:       7774 | 2.184
1615.65/1615.98	c total clause space: 545.701MB
1615.65/1615.98	c total #watches: 2935276
1626.44/1626.77	c total #propagations: 415846604 / total #impl: 1689781581 (eff. 0.246)
1626.44/1626.77	c #Conflicts:     133000 | #Learnt:       8774 | 2.168
1626.44/1626.77	c total clause space: 545.701MB
1626.44/1626.77	c total #watches: 2974806
1638.64/1638.97	c total #propagations: 419755501 / total #impl: 1696430867 (eff. 0.247)
1638.64/1638.97	c #Conflicts:     134000 | #Learnt:       9774 | 2.153
1638.64/1638.97	c total clause space: 545.701MB
1638.64/1638.97	c total #watches: 3071356
1648.43/1648.79	c total #propagations: 421028583 / total #impl: 1702859504 (eff. 0.247)
1648.43/1648.79	c #Conflicts:     135000 | #Learnt:      10774 | 2.138
1648.43/1648.79	c total clause space: 545.701MB
1648.43/1648.79	c total #watches: 3145101
1659.83/1660.16	c total #propagations: 423342092 / total #impl: 1708059725 (eff. 0.248)
1659.83/1660.16	c #Conflicts:     136000 | #Learnt:      11774 | 2.124
1659.83/1660.16	c total clause space: 545.701MB
1659.83/1660.16	c total #watches: 3191769
1671.74/1672.02	c total #propagations: 424491959 / total #impl: 1717853765 (eff. 0.247)
1671.74/1672.02	c #Conflicts:     137000 | #Learnt:      12774 | 2.109
1671.74/1672.02	c total clause space: 545.701MB
1671.74/1672.02	c total #watches: 3289978
1683.43/1683.79	c total #propagations: 426934577 / total #impl: 1727408310 (eff. 0.247)
1683.43/1683.79	c #Conflicts:     138000 | #Learnt:      13774 | 2.095
1683.43/1683.79	c total clause space: 545.701MB
1683.43/1683.79	c total #watches: 3417006
1698.32/1698.60	c total #propagations: 429668814 / total #impl: 1734240566 (eff. 0.248)
1698.32/1698.60	c #Conflicts:     139000 | #Learnt:      14774 | 2.080
1698.32/1698.60	c total clause space: 545.701MB
1698.32/1698.60	c total #watches: 3547861
1711.12/1711.47	c total #propagations: 435881886 / total #impl: 1744763699 (eff. 0.250)
1711.12/1711.47	c #Conflicts:     140000 | #Learnt:      15774 | 2.096
1711.12/1711.47	c total clause space: 545.701MB
1711.12/1711.47	c total #watches: 3610803
1724.22/1724.58	c total #propagations: 442761895 / total #impl: 1756916962 (eff. 0.252)
1724.22/1724.58	c GC COLLECT
1724.22/1724.58	c #Conflicts:     141000 | #Learnt:       8472 | 2.081
1724.22/1724.58	c total clause space: 545.701MB
1724.22/1724.58	c total #watches: 2763595
1737.02/1737.35	c total #propagations: 447914645 / total #impl: 1769179703 (eff. 0.253)
1737.02/1737.35	c #Conflicts:     142000 | #Learnt:       9472 | 2.067
1737.02/1737.35	c total clause space: 545.701MB
1737.02/1737.35	c total #watches: 2787143
1748.52/1748.88	c total #propagations: 454188170 / total #impl: 1783221776 (eff. 0.255)
1748.52/1748.88	c #Conflicts:     143000 | #Learnt:      10472 | 2.056
1748.52/1748.88	c total clause space: 545.701MB
1748.52/1748.88	c total #watches: 2837949
1760.82/1761.17	c total #propagations: 460513082 / total #impl: 1796315724 (eff. 0.256)
1760.82/1761.17	c #Conflicts:     144000 | #Learnt:      11472 | 2.044
1760.82/1761.17	c total clause space: 545.701MB
1760.82/1761.17	c total #watches: 2881148
1774.71/1775.05	c total #propagations: 466834967 / total #impl: 1812483055 (eff. 0.258)
1774.71/1775.05	c #Conflicts:     145000 | #Learnt:      12472 | 2.030
1774.71/1775.05	c total clause space: 545.701MB
1774.71/1775.05	c total #watches: 2899177
1788.81/1789.11	c total #propagations: 473452683 / total #impl: 1831696481 (eff. 0.258)
1788.81/1789.11	c #Conflicts:     146000 | #Learnt:      13472 | 2.020
1788.81/1789.11	c total clause space: 545.701MB
1788.81/1789.11	c total #watches: 2956884

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

pid=5030
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.27 2.21 2.18 3/176 5033
/proc/meminfo: memFree=30259180/32872528 swapFree=1200228/1314692
[pid=5033] ppid=5030 vsize=29112 CPUtime=0 cores=0,2,4,6
/proc/5033/stat : 5033 (cdcl-cuttingpla) R 5030 5033 3918 0 -1 4202496 277 0 0 0 0 0 0 0 20 0 1 0 27295157 29810688 5268 33554432000 4194304 6201397 140734497732656 140736418962888 4211048 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/5033/statm: 7278 5268 130 491 0 6777 0

[startup+0.100119 s]
/proc/loadavg: 2.27 2.21 2.18 3/176 5033
/proc/meminfo: memFree=30259180/32872528 swapFree=1200228/1314692
[pid=5033] ppid=5030 vsize=34804 CPUtime=0.09 cores=0,2,4,6
/proc/5033/stat : 5033 (cdcl-cuttingpla) R 5030 5033 3918 0 -1 4202496 753 0 0 0 9 0 0 0 20 0 1 0 27295157 35639296 7192 33554432000 4194304 6201397 140734497732656 140736418962888 4213367 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/5033/statm: 8701 7192 146 491 0 8200 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34804

[startup+0.200293 s]
/proc/loadavg: 2.27 2.21 2.18 3/176 5033
/proc/meminfo: memFree=30259180/32872528 swapFree=1200228/1314692
[pid=5033] ppid=5030 vsize=35848 CPUtime=0.19 cores=0,2,4,6
/proc/5033/stat : 5033 (cdcl-cuttingpla) R 5030 5033 3918 0 -1 4202496 1006 0 0 0 19 0 0 0 20 0 1 0 27295157 36708352 7956 33554432000 4194304 6201397 140734497732656 140734497731368 4213253 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/5033/statm: 8962 7956 146 491 0 8461 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 35848

[startup+0.300265 s]
/proc/loadavg: 2.27 2.21 2.18 3/176 5033
/proc/meminfo: memFree=30259180/32872528 swapFree=1200228/1314692
[pid=5033] ppid=5030 vsize=44916 CPUtime=0.28 cores=0,2,4,6
/proc/5033/stat : 5033 (cdcl-cuttingpla) R 5030 5033 3918 0 -1 4202496 1618 0 0 0 28 0 0 0 20 0 1 0 27295157 45993984 9580 33554432000 4194304 6201397 140734497732656 140734497731368 4213168 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/5033/statm: 11229 9580 147 491 0 10728 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 44916

[startup+0.700231 s]
/proc/loadavg: 2.27 2.21 2.18 3/176 5033
/proc/meminfo: memFree=30259180/32872528 swapFree=1200228/1314692
[pid=5033] ppid=5030 vsize=66060 CPUtime=0.68 cores=0,2,4,6
/proc/5033/stat : 5033 (cdcl-cuttingpla) R 5030 5033 3918 0 -1 4202496 2339 0 0 0 68 0 0 0 20 0 1 0 27295157 67645440 12337 33554432000 4194304 6201397 140734497732656 140734497731368 4240335 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/5033/statm: 16515 12337 147 491 0 16014 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 66060

[startup+1.50023 s]
/proc/loadavg: 2.27 2.21 2.18 3/177 5034
/proc/meminfo: memFree=30201452/32872528 swapFree=1200228/1314692
[pid=5033] ppid=5030 vsize=70324 CPUtime=1.49 cores=0,2,4,6
/proc/5033/stat : 5033 (cdcl-cuttingpla) R 5030 5033 3918 0 -1 4202496 3425 0 0 0 148 1 0 0 20 0 1 0 27295157 72011776 14956 33554432000 4194304 6201397 140734497732656 140734497730936 4213257 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/5033/statm: 17581 14956 147 491 0 17080 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 70324

[startup+3.10024 s]
/proc/loadavg: 2.27 2.21 2.18 3/177 5034
/proc/meminfo: memFree=30196868/32872528 swapFree=1200228/1314692
[pid=5033] ppid=5030 vsize=89484 CPUtime=3.09 cores=0,2,4,6
/proc/5033/stat : 5033 (cdcl-cuttingpla) R 5030 5033 3918 0 -1 4202496 3615 0 0 0 308 1 0 0 20 0 1 0 27295157 91631616 16156 33554432000 4194304 6201397 140734497732656 140734497730936 4219724 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/5033/statm: 22371 16156 147 491 0 21870 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 89484

[startup+6.30023 s]
/proc/loadavg: 2.33 2.22 2.19 4/177 5034
/proc/meminfo: memFree=30179048/32872528 swapFree=1200228/1314692
[pid=5033] ppid=5030 vsize=128980 CPUtime=6.28 cores=0,2,4,6
/proc/5033/stat : 5033 (cdcl-cuttingpla) R 5030 5033 3918 0 -1 4202496 5819 0 0 0 627 1 0 0 20 0 1 0 27295157 132075520 23470 33554432000 4194304 6201397 140734497732656 140734497731688 4236098 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/5033/statm: 32245 23470 147 491 0 31744 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 128980

[startup+12.7002 s]
/proc/loadavg: 2.38 2.23 2.19 3/177 5034
/proc/meminfo: memFree=30149448/32872528 swapFree=1200228/1314692
[pid=5033] ppid=5030 vsize=129172 CPUtime=12.69 cores=0,2,4,6
/proc/5033/stat : 5033 (cdcl-cuttingpla) R 5030 5033 3918 0 -1 4202496 5872 0 0 0 1267 2 0 0 20 0 1 0 27295157 132272128 27611 33554432000 4194304 6201397 140734497732656 140734497731784 4214961 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/5033/statm: 32293 27611 160 491 0 31792 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 129172

[startup+25.5003 s]
/proc/loadavg: 2.30 2.22 2.19 3/177 5034
/proc/meminfo: memFree=30127952/32872528 swapFree=1200228/1314692
[pid=5033] ppid=5030 vsize=181204 CPUtime=25.48 cores=0,2,4,6
/proc/5033/stat : 5033 (cdcl-cuttingpla) R 5030 5033 3918 0 -1 4202496 9058 0 0 0 2546 2 0 0 20 0 1 0 27295157 185552896 32482 33554432000 4194304 6201397 140734497732656 140734497730936 4218650 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/5033/statm: 45301 32482 166 491 0 44800 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 181204

[startup+51.1003 s]
/proc/loadavg: 2.19 2.20 2.18 4/177 5034
/proc/meminfo: memFree=30085140/32872528 swapFree=1200228/1314692
[pid=5033] ppid=5030 vsize=182372 CPUtime=51.08 cores=0,2,4,6
/proc/5033/stat : 5033 (cdcl-cuttingpla) R 5030 5033 3918 0 -1 4202496 12458 0 0 0 5105 3 0 0 20 0 1 0 27295157 186748928 43604 33554432000 4194304 6201397 140734497732656 140734497730936 4213261 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/5033/statm: 45593 43604 166 491 0 45092 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 182372

[startup+102.3 s]
/proc/loadavg: 2.27 2.22 2.18 3/177 5035
/proc/meminfo: memFree=30041688/32872528 swapFree=1200228/1314692
[pid=5033] ppid=5030 vsize=266240 CPUtime=102.28 cores=0,2,4,6
/proc/5033/stat : 5033 (cdcl-cuttingpla) R 5030 5033 3918 0 -1 4202496 15623 0 0 0 10224 4 0 0 20 0 1 0 27295157 272629760 51999 33554432000 4194304 6201397 140734497732656 140734497730936 4214919 0 0 4096 8388610 0 0 0 17 0 0 0 0 0 0
/proc/5033/statm: 66560 51999 166 491 0 66059 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 266240

[startup+162.3 s]
/proc/loadavg: 2.24 2.21 2.18 3/177 5036
/proc/meminfo: memFree=30016624/32872528 swapFree=1200228/1314692
[pid=5033] ppid=5030 vsize=267624 CPUtime=162.26 cores=0,2,4,6
/proc/5033/stat : 5033 (cdcl-cuttingpla) R 5030 5033 3918 0 -1 4202496 16971 0 0 0 16222 4 0 0 20 0 1 0 27295157 274046976 54429 33554432000 4194304 6201397 140734497732656 140734497730936 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/5033/statm: 66906 54429 166 491 0 66405 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 267624

[startup+222.307 s]
/proc/loadavg: 2.38 2.26 2.20 3/177 5038
/proc/meminfo: memFree=29993236/32872528 swapFree=1200228/1314692
[pid=5033] ppid=5030 vsize=271800 CPUtime=222.26 cores=0,2,4,6
/proc/5033/stat : 5033 (cdcl-cuttingpla) R 5030 5033 3918 0 -1 4202496 19896 0 0 0 22221 5 0 0 20 0 1 0 27295157 278323200 60114 33554432000 4194304 6201397 140734497732656 140734497731368 4213348 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/5033/statm: 67950 60114 166 491 0 67449 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 271800

[startup+282.3 s]
/proc/loadavg: 2.45 2.29 2.21 3/177 5039
/proc/meminfo: memFree=29971156/32872528 swapFree=1200228/1314692
[pid=5033] ppid=5030 vsize=274476 CPUtime=282.24 cores=0,2,4,6
/proc/5033/stat : 5033 (cdcl-cuttingpla) R 5030 5033 3918 0 -1 4202496 22285 0 0 0 28218 6 0 0 20 0 1 0 27295157 281063424 64356 33554432000 4194304 6201397 140734497732656 140734497731784 4220171 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/5033/statm: 68619 64356 166 491 0 68118 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 274476

[startup+342.3 s]
/proc/loadavg: 2.32 2.28 2.21 3/177 5086
/proc/meminfo: memFree=30221568/32872528 swapFree=1200228/1314692
[pid=5033] ppid=5030 vsize=276388 CPUtime=342.24 cores=0,2,4,6
/proc/5033/stat : 5033 (cdcl-cuttingpla) R 5030 5033 3918 0 -1 4202496 23336 0 0 0 34217 7 0 0 20 0 1 0 27295157 283021312 67428 33554432000 4194304 6201397 140734497732656 140734497731368 4213348 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/5033/statm: 69097 67428 166 491 0 68596 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 276388

[startup+402.3 s]
/proc/loadavg: 2.24 2.26 2.20 3/177 5087
/proc/meminfo: memFree=30179728/32872528 swapFree=1200228/1314692
[pid=5033] ppid=5030 vsize=410628 CPUtime=402.23 cores=0,2,4,6
/proc/5033/stat : 5033 (cdcl-cuttingpla) R 5030 5033 3918 0 -1 4202496 24718 0 0 0 40216 7 0 0 20 0 1 0 27295157 420483072 72712 33554432000 4194304 6201397 140734497732656 140734497730936 4240298 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/5033/statm: 102657 72712 166 491 0 102156 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 410628

[startup+462.3 s]
/proc/loadavg: 2.20 2.24 2.19 3/177 5088
/proc/meminfo: memFree=30145780/32872528 swapFree=1200228/1314692
[pid=5033] ppid=5030 vsize=414892 CPUtime=462.22 cores=0,2,4,6
/proc/5033/stat : 5033 (cdcl-cuttingpla) R 5030 5033 3918 0 -1 4202496 26925 0 0 0 46214 8 0 0 20 0 1 0 27295157 424849408 78915 33554432000 4194304 6201397 140734497732656 140734497731368 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/5033/statm: 103723 78915 166 491 0 103222 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 414892

[startup+522.3 s]
/proc/loadavg: 2.29 2.25 2.20 4/178 5093
/proc/meminfo: memFree=30126380/32872528 swapFree=1200228/1314692
[pid=5033] ppid=5030 vsize=418372 CPUtime=522.21 cores=0,2,4,6
/proc/5033/stat : 5033 (cdcl-cuttingpla) R 5030 5033 3918 0 -1 4202496 28627 0 0 0 52213 8 0 0 20 0 1 0 27295157 428412928 83416 33554432000 4194304 6201397 140734497732656 140734497731784 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/5033/statm: 104593 83416 166 491 0 104092 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 418372

[startup+582.3 s]
/proc/loadavg: 2.25 2.25 2.19 3/177 5094
/proc/meminfo: memFree=30111396/32872528 swapFree=1200228/1314692
[pid=5033] ppid=5030 vsize=420084 CPUtime=582.2 cores=0,2,4,6
/proc/5033/stat : 5033 (cdcl-cuttingpla) R 5030 5033 3918 0 -1 4202496 29831 0 0 0 58211 9 0 0 20 0 1 0 27295157 430166016 86682 33554432000 4194304 6201397 140734497732656 140734497730936 4213240 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/5033/statm: 105021 86682 166 491 0 104520 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 420084


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


[startup+942.3 s]
/proc/loadavg: 2.19 2.33 2.26 3/177 5101
/proc/meminfo: memFree=30012732/32872528 swapFree=1200228/1314692
[pid=5033] ppid=5030 vsize=441084 CPUtime=942.14 cores=0,2,4,6
/proc/5033/stat : 5033 (cdcl-cuttingpla) R 5030 5033 3918 0 -1 4202496 38314 0 0 0 94203 11 0 0 20 0 1 0 27295157 451670016 106118 33554432000 4194304 6201397 140734497732656 140734497731784 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/5033/statm: 110271 106118 166 491 0 109770 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 441084

[startup+1002.3 s]
/proc/loadavg: 2.19 2.30 2.25 4/177 5102
/proc/meminfo: memFree=29988700/32872528 swapFree=1200228/1314692
[pid=5033] ppid=5030 vsize=656964 CPUtime=1002.13 cores=0,2,4,6
/proc/5033/stat : 5033 (cdcl-cuttingpla) R 5030 5033 3918 0 -1 4202496 40148 0 0 0 100202 11 0 0 20 0 1 0 27295157 672731136 110160 33554432000 4194304 6201397 140734497732656 140734497730936 4240335 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/5033/statm: 164241 110160 166 491 0 163740 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 656964

[startup+1062.3 s]
/proc/loadavg: 2.10 2.26 2.24 3/177 5103
/proc/meminfo: memFree=29985892/32872528 swapFree=1200228/1314692
[pid=5033] ppid=5030 vsize=658760 CPUtime=1062.13 cores=0,2,4,6
/proc/5033/stat : 5033 (cdcl-cuttingpla) R 5030 5033 3918 0 -1 4202496 41274 0 0 0 106201 12 0 0 20 0 1 0 27295157 674570240 110616 33554432000 4194304 6201397 140734497732656 140734497730936 4213328 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/5033/statm: 164690 110616 166 491 0 164189 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 658760

[startup+1122.3 s]
/proc/loadavg: 2.08 2.22 2.22 4/178 5108
/proc/meminfo: memFree=29973392/32872528 swapFree=1200228/1314692
[pid=5033] ppid=5030 vsize=660904 CPUtime=1122.11 cores=0,2,4,6
/proc/5033/stat : 5033 (cdcl-cuttingpla) R 5030 5033 3918 0 -1 4202496 42099 0 0 0 112199 12 0 0 20 0 1 0 27295157 676765696 113279 33554432000 4194304 6201397 140734497732656 140734497731784 4214954 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/5033/statm: 165226 113279 166 491 0 164725 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 660904

[startup+1182.3 s]
/proc/loadavg: 2.10 2.21 2.22 4/177 5109
/proc/meminfo: memFree=29960360/32872528 swapFree=1200228/1314692
[pid=5033] ppid=5030 vsize=678672 CPUtime=1182.11 cores=0,2,4,6
/proc/5033/stat : 5033 (cdcl-cuttingpla) R 5030 5033 3918 0 -1 4202496 45755 0 0 0 118198 13 0 0 20 0 1 0 27295157 694960128 116496 33554432000 4194304 6201397 140734497732656 140734497731368 4213110 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/5033/statm: 169668 116496 166 491 0 169167 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 678672

[startup+1242.3 s]
/proc/loadavg: 2.17 2.21 2.22 3/177 5110
/proc/meminfo: memFree=29951488/32872528 swapFree=1200228/1314692
[pid=5033] ppid=5030 vsize=680212 CPUtime=1242.1 cores=0,2,4,6
/proc/5033/stat : 5033 (cdcl-cuttingpla) R 5030 5033 3918 0 -1 4202496 46312 0 0 0 124197 13 0 0 20 0 1 0 27295157 696537088 118535 33554432000 4194304 6201397 140734497732656 140734497731368 4213253 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/5033/statm: 170053 118535 166 491 0 169552 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 680212

[startup+1302.3 s]
/proc/loadavg: 2.19 2.21 2.21 3/177 5111
/proc/meminfo: memFree=29938208/32872528 swapFree=1200228/1314692
[pid=5033] ppid=5030 vsize=680504 CPUtime=1302.08 cores=0,2,4,6
/proc/5033/stat : 5033 (cdcl-cuttingpla) R 5030 5033 3918 0 -1 4202496 46578 0 0 0 130195 13 0 0 20 0 1 0 27295157 696836096 121686 33554432000 4194304 6201397 140734497732656 140734497731784 4213244 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/5033/statm: 170126 121686 166 491 0 169625 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 680504

[startup+1362.3 s]
/proc/loadavg: 2.22 2.22 2.21 4/177 5112
/proc/meminfo: memFree=29932624/32872528 swapFree=1200228/1314692
[pid=5033] ppid=5030 vsize=681816 CPUtime=1362.07 cores=0,2,4,6
/proc/5033/stat : 5033 (cdcl-cuttingpla) R 5030 5033 3918 0 -1 4202496 47128 0 0 0 136194 13 0 0 20 0 1 0 27295157 698179584 123083 33554432000 4194304 6201397 140734497732656 140734497731368 4219271 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/5033/statm: 170454 123083 166 491 0 169953 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 681816

[startup+1422.3 s]
/proc/loadavg: 2.29 2.24 2.22 3/177 5114
/proc/meminfo: memFree=29914480/32872528 swapFree=1200228/1314692
[pid=5033] ppid=5030 vsize=681816 CPUtime=1422.07 cores=0,2,4,6
/proc/5033/stat : 5033 (cdcl-cuttingpla) R 5030 5033 3918 0 -1 4202496 47149 0 0 0 142193 14 0 0 20 0 1 0 27295157 698179584 127703 33554432000 4194304 6201397 140734497732656 140734497731784 4213240 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/5033/statm: 170454 127703 166 491 0 169953 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 681816

[startup+1482.3 s]
/proc/loadavg: 2.20 2.22 2.21 3/177 5115
/proc/meminfo: memFree=29896732/32872528 swapFree=1200228/1314692
[pid=5033] ppid=5030 vsize=682476 CPUtime=1482.06 cores=0,2,4,6
/proc/5033/stat : 5033 (cdcl-cuttingpla) R 5030 5033 3918 0 -1 4202496 47315 0 0 0 148192 14 0 0 20 0 1 0 27295157 698855424 129402 33554432000 4194304 6201397 140734497732656 140734497731784 4213192 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/5033/statm: 170619 129402 166 491 0 170118 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 682476

[startup+1542.31 s]
/proc/loadavg: 2.15 2.21 2.20 4/177 5116
/proc/meminfo: memFree=29881528/32872528 swapFree=1200228/1314692
[pid=5033] ppid=5030 vsize=683388 CPUtime=1542.06 cores=0,2,4,6
/proc/5033/stat : 5033 (cdcl-cuttingpla) R 5030 5033 3918 0 -1 4202496 48336 0 0 0 154191 15 0 0 20 0 1 0 27295157 699789312 129618 33554432000 4194304 6201397 140734497732656 140734497731784 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/5033/statm: 170847 129618 166 491 0 170346 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 683388

[startup+1602.3 s]
/proc/loadavg: 2.23 2.22 2.21 3/177 5117
/proc/meminfo: memFree=29874308/32872528 swapFree=1200228/1314692
[pid=5033] ppid=5030 vsize=684232 CPUtime=1602.04 cores=0,2,4,6
/proc/5033/stat : 5033 (cdcl-cuttingpla) R 5030 5033 3918 0 -1 4202496 48626 0 0 0 160189 15 0 0 20 0 1 0 27295157 700653568 131895 33554432000 4194304 6201397 140734497732656 140734497731368 4216020 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/5033/statm: 171058 131895 166 491 0 170557 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 684232

[startup+1662.3 s]
/proc/loadavg: 2.17 2.21 2.20 4/177 5118
/proc/meminfo: memFree=29872256/32872528 swapFree=1200228/1314692
[pid=5033] ppid=5030 vsize=684224 CPUtime=1662.03 cores=0,2,4,6
/proc/5033/stat : 5033 (cdcl-cuttingpla) R 5030 5033 3918 0 -1 4202496 48864 0 0 0 166188 15 0 0 20 0 1 0 27295157 700645376 131923 33554432000 4194304 6201397 140734497732656 140734497731784 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/5033/statm: 171056 131923 166 491 0 170555 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 684224

[startup+1722.3 s]
/proc/loadavg: 2.10 2.18 2.19 4/178 5123
/proc/meminfo: memFree=29868776/32872528 swapFree=1200228/1314692
[pid=5033] ppid=5030 vsize=686156 CPUtime=1722.02 cores=0,2,4,6
/proc/5033/stat : 5033 (cdcl-cuttingpla) R 5030 5033 3918 0 -1 4202496 50508 0 0 0 172187 15 0 0 20 0 1 0 27295157 702623744 132404 33554432000 4194304 6201397 140734497732656 140734497730936 4213261 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/5033/statm: 171539 132404 166 491 0 171038 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 686156

[startup+1782.3 s]
/proc/loadavg: 2.17 2.19 2.19 3/177 5124
/proc/meminfo: memFree=29861392/32872528 swapFree=1200228/1314692
[pid=5033] ppid=5030 vsize=687692 CPUtime=1782.01 cores=0,2,4,6
/proc/5033/stat : 5033 (cdcl-cuttingpla) R 5030 5033 3918 0 -1 4202496 51303 0 0 0 178186 15 0 0 20 0 1 0 27295157 704196608 134210 33554432000 4194304 6201397 140734497732656 140734497731368 4213186 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/5033/statm: 171923 134210 166 491 0 171422 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 687692



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.19 2.20 2.19 3/177 5124
/proc/meminfo: memFree=29861392/32872528 swapFree=1200228/1314692
[pid=5033] ppid=5030 vsize=687724 CPUtime=1800.01 cores=0,2,4,6
/proc/5033/stat : 5033 (cdcl-cuttingpla) R 5030 5033 3918 0 -1 4202496 51461 0 0 0 179986 15 0 0 20 0 1 0 27295157 704229376 134194 33554432000 4194304 6201397 140734497732656 140734497730936 4213332 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/5033/statm: 171931 134194 166 491 0 171430 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 687724

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

[startup+1800.3 s]
/proc/loadavg: 2.19 2.20 2.19 3/177 5124
/proc/meminfo: memFree=29861392/32872528 swapFree=1200228/1314692
[pid=5033] ppid=5030 vsize=687724 CPUtime=1800.01 cores=0,2,4,6
/proc/5033/stat : 5033 (cdcl-cuttingpla) R 5030 5033 3918 0 -1 4202496 51461 0 0 0 179986 15 0 0 20 0 1 0 27295157 704229376 134194 33554432000 4194304 6201397 140734497732656 140734497730936 4213332 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/5033/statm: 171931 134194 166 491 0 171430 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 687724

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.86
CPU system time (s): 0.158975
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 687724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.86
system time used= 0.158975
maximum resident set size= 536916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51461
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= 15
involuntary context switches= 1967

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.47832 second user time and 6.99294 second system time

The end

Launcher Data 

Begin job on node131 at 2016-06-18 14:21:26
IDJOB=4101584
IDBENCH=1768
IDSOLVER=2550
FILE ID=node131/4101584-1466252486
RUNJOBID= node131-1466241681-3934
PBS_JOBID= 19918210
Free space on /tmp= 71704 MiB

SOLVER NAME= cdcl-cuttingplanes OPT linear search 2016-05-01
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-gesa2.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101584-1466252486/watcher-4101584-1466252486 -o /tmp/evaluation-result-4101584-1466252486/solver-4101584-1466252486 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466241681-3934 --watchdog 1960 --input HOME/instance-4101584-1466252486.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= 1f57d7f7253e44124d4d26029bd38b8a
RANDOM SEED=897202279

node131.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.752
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.50
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.752
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.752
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.57
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.752
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.56
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.752
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.752
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.56
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.752
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.57
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.752
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:        30259824 kB
Buffers:          134024 kB
Cached:           145508 kB
SwapCached:         1460 kB
Active:           365656 kB
Inactive:         197960 kB
Active(anon):     283180 kB
Inactive(anon):     2920 kB
Active(file):      82476 kB
Inactive(file):   195040 kB
Unevictable:     1314692 kB
Mlocked:         1200228 kB
SwapTotal:      67108856 kB
SwapFree:       67099856 kB
Dirty:              3140 kB
Writeback:             0 kB
AnonPages:       1561156 kB
Mapped:             7664 kB
Shmem:                 0 kB
Slab:             602348 kB
SReclaimable:      46484 kB
SUnreclaim:       555864 kB
KernelStack:        1472 kB
PageTables:         6956 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1790552 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    344064 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= 71700 MiB
End job on node131 at 2016-06-18 14:51:27