Trace number 4087477

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.12 1800.42

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-5.opb
MD5SUMdadfd792215a2bce735ffb7b3e25dcc5
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-45
Best CPU time to get the best result obtained on this benchmark454.793
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -44
Optimality of the best value was proved NO
Number of variables945
Total number of constraints58579
Number of constraints which are clauses58579
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 945
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 945
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 945
Number of bits of the biggest sum of numbers10
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.07	c * #variable= 945 #constraint= 58579
0.09/0.19	c * #variable= 945 #constraint= 58579
0.69/0.72	c S1->S2
0.69/0.72	c S2->S1
0.69/0.72	c #Conflicts:       1000 | #Learnt:        567 | 0.000
0.69/0.72	c total clause space: 29.637MB
0.69/0.72	c total #watches: 161898
2.59/2.63	c total #propagations: 45127 / total #impl: 74543 (eff. 0.605)
2.59/2.63	c #Conflicts:       2000 | #Learnt:       1567 | 0.000
2.59/2.63	c total clause space: 48.1602MB
2.59/2.63	c total #watches: 217960
4.79/4.86	c total #propagations: 95532 / total #impl: 201256 (eff. 0.475)
4.79/4.86	c GC COLLECT
4.79/4.86	c #Conflicts:       3000 | #Learnt:       1783 | 0.000
4.79/4.86	c total clause space: 48.1602MB
4.79/4.86	c total #watches: 227291
8.59/8.62	c total #propagations: 144933 / total #impl: 323109 (eff. 0.449)
8.59/8.62	c #Conflicts:       4000 | #Learnt:       2783 | 0.000
8.59/8.62	c total clause space: 78.2603MB
8.59/8.62	c total #watches: 268805
12.69/12.76	c total #propagations: 197838 / total #impl: 453916 (eff. 0.436)
12.69/12.76	c GC COLLECT
12.69/12.76	c #Conflicts:       5000 | #Learnt:       2240 | 0.000
12.69/12.76	c total clause space: 78.2603MB
12.69/12.76	c total #watches: 251950
18.59/18.66	c total #propagations: 246171 / total #impl: 573422 (eff. 0.429)
18.59/18.66	c #Conflicts:       6000 | #Learnt:       3240 | 0.000
18.59/18.66	c total clause space: 78.2603MB
18.59/18.66	c total #watches: 310537
25.09/25.19	c total #propagations: 295865 / total #impl: 697251 (eff. 0.424)
25.09/25.19	c GC COLLECT
25.09/25.19	c #Conflicts:       7000 | #Learnt:       2166 | 0.000
25.09/25.19	c total clause space: 127.173MB
25.09/25.19	c total #watches: 252273
29.89/29.99	c total #propagations: 347417 / total #impl: 813620 (eff. 0.427)
29.89/29.99	c #Conflicts:       8000 | #Learnt:       3166 | 0.000
29.89/29.99	c total clause space: 127.173MB
29.89/29.99	c total #watches: 283314
35.78/35.83	c total #propagations: 402164 / total #impl: 943994 (eff. 0.426)
35.78/35.83	c #Conflicts:       9000 | #Learnt:       4166 | 0.000
35.78/35.83	c total clause space: 127.173MB
35.78/35.83	c total #watches: 327908
42.48/42.57	c total #propagations: 458790 / total #impl: 1106028 (eff. 0.415)
42.48/42.57	c GC COLLECT
42.48/42.57	c #Conflicts:      10000 | #Learnt:       2670 | 0.000
42.48/42.57	c total clause space: 127.173MB
42.48/42.57	c total #watches: 249888
47.78/47.81	c total #propagations: 508508 / total #impl: 1227513 (eff. 0.414)
47.78/47.81	c #Conflicts:      11000 | #Learnt:       3670 | 0.000
47.78/47.81	c total clause space: 127.173MB
47.78/47.81	c total #watches: 310120
54.78/54.87	c total #propagations: 558075 / total #impl: 1347718 (eff. 0.414)
54.78/54.87	c #Conflicts:      12000 | #Learnt:       4670 | 0.000
54.78/54.87	c total clause space: 127.173MB
54.78/54.87	c total #watches: 354478
63.68/63.80	c total #propagations: 608387 / total #impl: 1474212 (eff. 0.413)
63.68/63.80	c #Conflicts:      13000 | #Learnt:       5670 | 0.000
63.68/63.80	c total clause space: 127.173MB
63.68/63.80	c total #watches: 413587
69.88/69.99	c total #propagations: 656701 / total #impl: 1595648 (eff. 0.412)
69.88/69.99	c GC COLLECT
69.88/69.99	c #Conflicts:      14000 | #Learnt:       3821 | 0.000
69.88/69.99	c total clause space: 127.173MB
69.88/69.99	c total #watches: 353993
79.88/79.94	c total #propagations: 703306 / total #impl: 1711748 (eff. 0.411)
79.88/79.94	c #Conflicts:      15000 | #Learnt:       4821 | 0.000
79.88/79.94	c total clause space: 127.173MB
79.88/79.94	c total #watches: 398229
91.07/91.15	c total #propagations: 754959 / total #impl: 1835687 (eff. 0.411)
91.07/91.15	c #Conflicts:      16000 | #Learnt:       5821 | 0.000
91.07/91.15	c total clause space: 127.173MB
91.07/91.15	c total #watches: 428126
102.98/103.09	c total #propagations: 814948 / total #impl: 1986512 (eff. 0.410)
102.98/103.09	c GC COLLECT
102.98/103.09	c #Conflicts:      17000 | #Learnt:       3650 | 0.000
102.98/103.09	c total clause space: 206.656MB
102.98/103.09	c total #watches: 267415
109.38/109.47	c total #propagations: 902971 / total #impl: 2270103 (eff. 0.398)
109.38/109.47	c #Conflicts:      18000 | #Learnt:       4650 | 0.000
109.38/109.47	c total clause space: 206.656MB
109.38/109.47	c total #watches: 288851
116.68/116.79	c total #propagations: 974837 / total #impl: 2507213 (eff. 0.389)
116.68/116.79	c #Conflicts:      19000 | #Learnt:       5650 | 0.000
116.68/116.79	c total clause space: 206.656MB
116.68/116.79	c total #watches: 310000
123.38/123.40	c total #propagations: 1045661 / total #impl: 2739153 (eff. 0.382)
123.38/123.40	c #Conflicts:      20000 | #Learnt:       6650 | 0.000
123.38/123.40	c total clause space: 206.656MB
123.38/123.40	c total #watches: 330840
127.47/127.50	c total #propagations: 1107635 / total #impl: 2925027 (eff. 0.379)
127.47/127.50	c GC COLLECT
127.47/127.50	c #Conflicts:      21000 | #Learnt:       4152 | 0.000
127.47/127.50	c total clause space: 206.656MB
127.47/127.50	c total #watches: 259283
132.47/132.52	c total #propagations: 1154173 / total #impl: 3038209 (eff. 0.380)
132.47/132.52	c #Conflicts:      22000 | #Learnt:       5152 | 0.000
132.47/132.52	c total clause space: 206.656MB
132.47/132.52	c total #watches: 327829
139.37/139.45	c total #propagations: 1202397 / total #impl: 3151366 (eff. 0.382)
139.37/139.45	c #Conflicts:      23000 | #Learnt:       6152 | 0.000
139.37/139.45	c total clause space: 206.656MB
139.37/139.45	c total #watches: 375426
148.37/148.48	c total #propagations: 1254404 / total #impl: 3271104 (eff. 0.383)
148.37/148.48	c #Conflicts:      24000 | #Learnt:       7152 | 0.000
148.37/148.48	c total clause space: 206.656MB
148.37/148.48	c total #watches: 441457
158.06/158.12	c total #propagations: 1301944 / total #impl: 3395470 (eff. 0.383)
158.06/158.12	c GC COLLECT
158.06/158.12	c #Conflicts:      25000 | #Learnt:       4353 | 0.000
158.06/158.12	c total clause space: 206.656MB
158.06/158.12	c total #watches: 380740
168.46/168.52	c total #propagations: 1354605 / total #impl: 3529313 (eff. 0.384)
168.46/168.52	c #Conflicts:      26000 | #Learnt:       5353 | 0.000
168.46/168.52	c total clause space: 206.656MB
168.46/168.52	c total #watches: 435260
179.86/179.95	c total #propagations: 1405206 / total #impl: 3651552 (eff. 0.385)
179.86/179.95	c #Conflicts:      27000 | #Learnt:       6353 | 0.000
179.86/179.95	c total clause space: 206.656MB
179.86/179.95	c total #watches: 475131
193.56/193.67	c total #propagations: 1455710 / total #impl: 3776147 (eff. 0.386)
193.56/193.67	c #Conflicts:      28000 | #Learnt:       7353 | 0.000
193.56/193.67	c total clause space: 206.656MB
193.56/193.67	c total #watches: 498267
205.77/205.85	c total #propagations: 1512885 / total #impl: 3925425 (eff. 0.385)
205.77/205.85	c GC COLLECT
205.77/205.85	c #Conflicts:      29000 | #Learnt:       4256 | 0.000
205.77/205.85	c total clause space: 206.656MB
205.77/205.85	c total #watches: 298700
211.86/211.93	c total #propagations: 1571247 / total #impl: 4091022 (eff. 0.384)
211.86/211.93	c #Conflicts:      30000 | #Learnt:       5256 | 0.000
211.86/211.93	c total clause space: 206.656MB
211.86/211.93	c total #watches: 365411
218.97/219.08	c total #propagations: 1616820 / total #impl: 4207173 (eff. 0.384)
218.97/219.08	c #Conflicts:      31000 | #Learnt:       6256 | 0.000
218.97/219.08	c total clause space: 206.656MB
218.97/219.08	c total #watches: 422976
229.36/229.46	c total #propagations: 1664112 / total #impl: 4317057 (eff. 0.385)
229.36/229.46	c #Conflicts:      32000 | #Learnt:       7256 | 0.000
229.36/229.46	c total clause space: 206.656MB
229.36/229.46	c total #watches: 478304
243.16/243.21	c total #propagations: 1713054 / total #impl: 4445137 (eff. 0.385)
243.16/243.21	c #Conflicts:      33000 | #Learnt:       8256 | 0.000
243.16/243.21	c total clause space: 206.656MB
243.16/243.21	c total #watches: 541241
257.25/257.32	c total #propagations: 1761602 / total #impl: 4561509 (eff. 0.386)
257.25/257.32	c GC COLLECT
257.25/257.32	c #Conflicts:      34000 | #Learnt:       4866 | 0.000
257.25/257.32	c total clause space: 206.656MB
257.25/257.32	c total #watches: 409190
267.45/267.50	c total #propagations: 1810895 / total #impl: 4686351 (eff. 0.386)
267.45/267.50	c #Conflicts:      35000 | #Learnt:       5866 | 0.000
267.45/267.50	c total clause space: 206.656MB
267.45/267.50	c total #watches: 452927
279.65/279.77	c total #propagations: 1862529 / total #impl: 4813414 (eff. 0.387)
279.65/279.77	c #Conflicts:      36000 | #Learnt:       6866 | 0.000
279.65/279.77	c total clause space: 206.656MB
279.65/279.77	c total #watches: 468607
291.45/291.57	c total #propagations: 1942654 / total #impl: 5019156 (eff. 0.387)
291.45/291.57	c #Conflicts:      37000 | #Learnt:       7866 | 0.000
291.45/291.57	c total clause space: 206.656MB
291.45/291.57	c total #watches: 486891
308.34/308.42	c total #propagations: 2012791 / total #impl: 5238254 (eff. 0.384)
308.34/308.42	c #Conflicts:      38000 | #Learnt:       8866 | 0.000
308.34/308.42	c total clause space: 206.656MB
308.34/308.42	c total #watches: 497762
319.84/319.93	c total #propagations: 2087466 / total #impl: 5485113 (eff. 0.381)
319.84/319.93	c GC COLLECT
319.84/319.93	c #Conflicts:      39000 | #Learnt:       5171 | 0.000
319.84/319.93	c total clause space: 206.656MB
319.84/319.93	c total #watches: 234909
322.94/323.09	c total #propagations: 2154775 / total #impl: 5727888 (eff. 0.376)
322.94/323.09	c #Conflicts:      40000 | #Learnt:       6171 | 0.000
322.94/323.09	c total clause space: 206.656MB
322.94/323.09	c total #watches: 272568
327.14/327.23	c total #propagations: 2210252 / total #impl: 5892554 (eff. 0.375)
327.14/327.23	c #Conflicts:      41000 | #Learnt:       7171 | 0.000
327.14/327.23	c total clause space: 206.656MB
327.14/327.23	c total #watches: 290582
332.54/332.62	c total #propagations: 2274989 / total #impl: 6061033 (eff. 0.375)
332.54/332.62	c #Conflicts:      42000 | #Learnt:       8171 | 0.000
332.54/332.62	c total clause space: 206.656MB
332.54/332.62	c total #watches: 301713
337.44/337.55	c total #propagations: 2362612 / total #impl: 6316890 (eff. 0.374)
337.44/337.55	c #Conflicts:      43000 | #Learnt:       9171 | 0.000
337.44/337.55	c total clause space: 206.656MB
337.44/337.55	c total #watches: 314456
342.14/342.24	c total #propagations: 2439987 / total #impl: 6560739 (eff. 0.372)
342.14/342.24	c GC COLLECT
342.14/342.24	c #Conflicts:      44000 | #Learnt:       5166 | 0.000
342.14/342.24	c total clause space: 206.656MB
342.14/342.24	c total #watches: 239732
345.34/345.43	c total #propagations: 2502115 / total #impl: 6736449 (eff. 0.371)
345.34/345.43	c #Conflicts:      45000 | #Learnt:       6166 | 0.000
345.34/345.43	c total clause space: 206.656MB
345.34/345.43	c total #watches: 275069
349.24/349.33	c total #propagations: 2553783 / total #impl: 6857360 (eff. 0.372)
349.24/349.33	c #Conflicts:      46000 | #Learnt:       7166 | 0.000
349.24/349.33	c total clause space: 206.656MB
349.24/349.33	c total #watches: 304221
354.64/354.72	c total #propagations: 2614349 / total #impl: 7029556 (eff. 0.372)
354.64/354.72	c #Conflicts:      47000 | #Learnt:       8166 | 0.000
354.64/354.72	c total clause space: 206.656MB
354.64/354.72	c total #watches: 372080
362.53/362.68	c total #propagations: 2663257 / total #impl: 7146238 (eff. 0.373)
362.53/362.68	c #Conflicts:      48000 | #Learnt:       9166 | 0.000
362.53/362.68	c total clause space: 206.656MB
362.53/362.68	c total #watches: 435250
373.83/373.90	c total #propagations: 2711234 / total #impl: 7266831 (eff. 0.373)
373.83/373.90	c #Conflicts:      49000 | #Learnt:      10166 | 0.000
373.83/373.90	c total clause space: 206.656MB
373.83/373.90	c total #watches: 479732
380.33/380.48	c total #propagations: 2764105 / total #impl: 7387550 (eff. 0.374)
380.33/380.48	c GC COLLECT
380.33/380.48	c #Conflicts:      50000 | #Learnt:       5854 | 0.000
380.33/380.48	c total clause space: 206.656MB
380.33/380.48	c total #watches: 286304
385.53/385.60	c total #propagations: 2812354 / total #impl: 7517791 (eff. 0.374)
385.53/385.60	c #Conflicts:      51000 | #Learnt:       6854 | 0.000
385.53/385.60	c total clause space: 206.656MB
385.53/385.60	c total #watches: 349185
392.93/393.00	c total #propagations: 2860668 / total #impl: 7638035 (eff. 0.375)
392.93/393.00	c #Conflicts:      52000 | #Learnt:       7854 | 0.000
392.93/393.00	c total clause space: 206.656MB
392.93/393.00	c total #watches: 407565
403.33/403.40	c total #propagations: 2908770 / total #impl: 7752463 (eff. 0.375)
403.33/403.40	c #Conflicts:      53000 | #Learnt:       8854 | 0.000
403.33/403.40	c total clause space: 206.656MB
403.33/403.40	c total #watches: 427169
415.32/415.48	c total #propagations: 2973084 / total #impl: 7953962 (eff. 0.374)
415.32/415.48	c #Conflicts:      54000 | #Learnt:       9854 | 0.000
415.32/415.48	c total clause space: 206.656MB
415.32/415.48	c total #watches: 437918
425.42/425.57	c total #propagations: 3051687 / total #impl: 8188297 (eff. 0.373)
425.42/425.57	c #Conflicts:      55000 | #Learnt:      10854 | 0.000
425.42/425.57	c total clause space: 206.656MB
425.42/425.57	c total #watches: 488197
432.43/432.56	c total #propagations: 3099050 / total #impl: 8309226 (eff. 0.373)
432.43/432.56	c GC COLLECT
432.43/432.56	c #Conflicts:      56000 | #Learnt:       6244 | 0.000
432.43/432.56	c total clause space: 335.816MB
432.43/432.56	c total #watches: 312129
438.83/438.99	c total #propagations: 3146082 / total #impl: 8422623 (eff. 0.374)
438.83/438.99	c #Conflicts:      57000 | #Learnt:       7244 | 0.000
438.83/438.99	c total clause space: 335.816MB
438.83/438.99	c total #watches: 365466
447.33/447.45	c total #propagations: 3194959 / total #impl: 8536947 (eff. 0.374)
447.33/447.45	c #Conflicts:      58000 | #Learnt:       8244 | 0.000
447.33/447.45	c total clause space: 335.816MB
447.33/447.45	c total #watches: 422206
456.93/457.01	c total #propagations: 3245954 / total #impl: 8659113 (eff. 0.375)
456.93/457.01	c #Conflicts:      59000 | #Learnt:       9244 | 0.000
456.93/457.01	c total clause space: 335.816MB
456.93/457.01	c total #watches: 488957
469.52/469.68	c total #propagations: 3294433 / total #impl: 8781319 (eff. 0.375)
469.52/469.68	c #Conflicts:      60000 | #Learnt:      10244 | 0.000
469.52/469.68	c total clause space: 335.816MB
469.52/469.68	c total #watches: 543982
486.82/486.99	c total #propagations: 3343383 / total #impl: 8910042 (eff. 0.375)
486.82/486.99	c #Conflicts:      61000 | #Learnt:      11244 | 0.000
486.82/486.99	c total clause space: 335.816MB
486.82/486.99	c total #watches: 589329
499.22/499.36	c total #propagations: 3396947 / total #impl: 9039266 (eff. 0.376)
499.22/499.36	c GC COLLECT
499.22/499.36	c #Conflicts:      62000 | #Learnt:       6339 | 0.000
499.22/499.36	c total clause space: 335.816MB
499.22/499.36	c total #watches: 316040
506.71/506.86	c total #propagations: 3449392 / total #impl: 9179031 (eff. 0.376)
506.71/506.86	c #Conflicts:      63000 | #Learnt:       7339 | 0.000
506.71/506.86	c total clause space: 335.816MB
506.71/506.86	c total #watches: 334352
514.51/514.70	c total #propagations: 3523873 / total #impl: 9383420 (eff. 0.376)
514.51/514.70	c #Conflicts:      64000 | #Learnt:       8339 | 0.000
514.51/514.70	c total clause space: 335.816MB
514.51/514.70	c total #watches: 348268
522.01/522.19	c total #propagations: 3592234 / total #impl: 9603540 (eff. 0.374)
522.01/522.19	c #Conflicts:      65000 | #Learnt:       9339 | 0.000
522.01/522.19	c total clause space: 335.816MB
522.01/522.19	c total #watches: 365408
529.91/530.06	c total #propagations: 3654334 / total #impl: 9781105 (eff. 0.374)
529.91/530.06	c #Conflicts:      66000 | #Learnt:      10339 | 0.000
529.91/530.06	c total clause space: 335.816MB
529.91/530.06	c total #watches: 412908
539.11/539.21	c total #propagations: 3717033 / total #impl: 9956849 (eff. 0.373)
539.11/539.21	c #Conflicts:      67000 | #Learnt:      11339 | 0.000
539.11/539.21	c total clause space: 335.816MB
539.11/539.21	c total #watches: 475060
551.30/551.43	c total #propagations: 3765274 / total #impl: 10075604 (eff. 0.374)
551.30/551.43	c #Conflicts:      68000 | #Learnt:      12339 | 0.000
551.30/551.43	c total clause space: 335.816MB
551.30/551.43	c total #watches: 537937
557.90/558.05	c total #propagations: 3812029 / total #impl: 10189086 (eff. 0.374)
557.90/558.05	c GC COLLECT
557.90/558.05	c #Conflicts:      69000 | #Learnt:       7124 | 0.000
557.90/558.05	c total clause space: 335.816MB
557.90/558.05	c total #watches: 364952
566.19/566.37	c total #propagations: 3860730 / total #impl: 10311905 (eff. 0.374)
566.19/566.37	c #Conflicts:      70000 | #Learnt:       8124 | 0.000
566.19/566.37	c total clause space: 335.816MB
566.19/566.37	c total #watches: 427345
577.79/577.93	c total #propagations: 3910775 / total #impl: 10431614 (eff. 0.375)
577.79/577.93	c #Conflicts:      71000 | #Learnt:       9124 | 0.000
577.79/577.93	c total clause space: 335.816MB
577.79/577.93	c total #watches: 487752
590.48/590.65	c total #propagations: 3957032 / total #impl: 10550639 (eff. 0.375)
590.48/590.65	c #Conflicts:      72000 | #Learnt:      10124 | 0.000
590.48/590.65	c total clause space: 335.816MB
590.48/590.65	c total #watches: 535269
607.28/607.42	c total #propagations: 4008106 / total #impl: 10675714 (eff. 0.375)
607.28/607.42	c #Conflicts:      73000 | #Learnt:      11124 | 0.000
607.28/607.42	c total clause space: 335.816MB
607.28/607.42	c total #watches: 566250
624.07/624.24	c total #propagations: 4070504 / total #impl: 10828212 (eff. 0.376)
624.07/624.24	c #Conflicts:      74000 | #Learnt:      12124 | 0.000
624.07/624.24	c total clause space: 335.816MB
624.07/624.24	c total #watches: 603174
640.56/640.70	c total #propagations: 4130665 / total #impl: 10988178 (eff. 0.376)
640.56/640.70	c GC COLLECT
640.56/640.70	c #Conflicts:      75000 | #Learnt:       6615 | 0.000
640.56/640.70	c total clause space: 335.816MB
640.56/640.70	c total #watches: 335840
647.66/647.85	c total #propagations: 4177669 / total #impl: 11106359 (eff. 0.376)
647.66/647.85	c #Conflicts:      76000 | #Learnt:       7615 | 0.000
647.66/647.85	c total clause space: 335.816MB
647.66/647.85	c total #watches: 396640
656.96/657.13	c total #propagations: 4225281 / total #impl: 11221213 (eff. 0.377)
656.96/657.13	c #Conflicts:      77000 | #Learnt:       8615 | 0.000
656.96/657.13	c total clause space: 335.816MB
656.96/657.13	c total #watches: 442828
667.26/667.49	c total #propagations: 4276683 / total #impl: 11344283 (eff. 0.377)
667.26/667.49	c #Conflicts:      78000 | #Learnt:       9615 | 0.000
667.26/667.49	c total clause space: 335.816MB
667.26/667.49	c total #watches: 498844
680.26/680.47	c total #propagations: 4325163 / total #impl: 11468078 (eff. 0.377)
680.26/680.47	c #Conflicts:      79000 | #Learnt:      10615 | 0.000
680.26/680.47	c total clause space: 335.816MB
680.26/680.47	c total #watches: 572226
694.65/694.83	c total #propagations: 4373023 / total #impl: 11588554 (eff. 0.377)
694.65/694.83	c #Conflicts:      80000 | #Learnt:      11615 | 0.000
694.65/694.83	c total clause space: 335.816MB
694.65/694.83	c total #watches: 624038
712.86/713.05	c total #propagations: 4421653 / total #impl: 11708360 (eff. 0.378)
712.86/713.05	c #Conflicts:      81000 | #Learnt:      12615 | 0.000
712.86/713.05	c total clause space: 335.816MB
712.86/713.05	c total #watches: 661608
738.25/738.42	c total #propagations: 4475222 / total #impl: 11837295 (eff. 0.378)
738.25/738.42	c GC COLLECT
738.25/738.42	c #Conflicts:      82000 | #Learnt:       6815 | 0.000
738.25/738.42	c total clause space: 335.816MB
738.25/738.42	c total #watches: 350499
746.76/746.99	c total #propagations: 4551050 / total #impl: 12073154 (eff. 0.377)
746.76/746.99	c #Conflicts:      83000 | #Learnt:       7815 | 0.000
746.76/746.99	c total clause space: 335.816MB
746.76/746.99	c total #watches: 385388
758.35/758.58	c total #propagations: 4603600 / total #impl: 12206484 (eff. 0.377)
758.35/758.58	c #Conflicts:      84000 | #Learnt:       8815 | 0.000
758.35/758.58	c total clause space: 335.816MB
758.35/758.58	c total #watches: 400054
769.55/769.77	c total #propagations: 4684050 / total #impl: 12454354 (eff. 0.376)
769.55/769.77	c #Conflicts:      85000 | #Learnt:       9815 | 0.000
769.55/769.77	c total clause space: 335.816MB
769.55/769.77	c total #watches: 410011
780.85/781.02	c total #propagations: 4765956 / total #impl: 12709348 (eff. 0.375)
780.85/781.02	c #Conflicts:      86000 | #Learnt:      10815 | 0.000
780.85/781.02	c total clause space: 335.816MB
780.85/781.02	c total #watches: 432307
795.45/795.65	c total #propagations: 4829779 / total #impl: 12918810 (eff. 0.374)
795.45/795.65	c #Conflicts:      87000 | #Learnt:      11815 | 0.000
795.45/795.65	c total clause space: 335.816MB
795.45/795.65	c total #watches: 450192
811.65/811.90	c total #propagations: 4922219 / total #impl: 13264783 (eff. 0.371)
811.65/811.90	c #Conflicts:      88000 | #Learnt:      12815 | 0.000
811.65/811.90	c total clause space: 335.816MB
811.65/811.90	c total #watches: 466734
828.64/828.83	c total #propagations: 5019537 / total #impl: 13659488 (eff. 0.367)
828.64/828.83	c #Conflicts:      89000 | #Learnt:      13815 | 0.000
828.64/828.83	c total clause space: 335.816MB
828.64/828.83	c total #watches: 482670
841.44/841.65	c total #propagations: 5110019 / total #impl: 14001678 (eff. 0.365)
841.44/841.65	c GC COLLECT
841.44/841.65	c #Conflicts:      90000 | #Learnt:       7721 | 0.000
841.44/841.65	c total clause space: 335.816MB
841.44/841.65	c total #watches: 384806
851.94/852.12	c total #propagations: 5177009 / total #impl: 14224652 (eff. 0.364)
851.94/852.12	c #Conflicts:      91000 | #Learnt:       8721 | 0.000
851.94/852.12	c total clause space: 335.816MB
851.94/852.12	c total #watches: 398309
863.23/863.45	c total #propagations: 5246191 / total #impl: 14439762 (eff. 0.363)
863.23/863.45	c #Conflicts:      92000 | #Learnt:       9721 | 0.000
863.23/863.45	c total clause space: 335.816MB
863.23/863.45	c total #watches: 407950
877.33/877.59	c total #propagations: 5332200 / total #impl: 14709913 (eff. 0.362)
877.33/877.59	c #Conflicts:      93000 | #Learnt:      10721 | 0.000
877.33/877.59	c total clause space: 335.816MB
877.33/877.59	c total #watches: 423234
892.93/893.18	c total #propagations: 5412045 / total #impl: 14990865 (eff. 0.361)
892.93/893.18	c #Conflicts:      94000 | #Learnt:      11721 | 0.000
892.93/893.18	c total clause space: 335.816MB
892.93/893.18	c total #watches: 439835
907.73/907.91	c total #propagations: 5493489 / total #impl: 15291939 (eff. 0.359)
907.73/907.91	c #Conflicts:      95000 | #Learnt:      12721 | 0.000
907.73/907.91	c total clause space: 335.816MB
907.73/907.91	c total #watches: 458356
922.52/922.78	c total #propagations: 5564845 / total #impl: 15543326 (eff. 0.358)
922.52/922.78	c #Conflicts:      96000 | #Learnt:      13721 | 0.000
922.52/922.78	c total clause space: 335.816MB
922.52/922.78	c total #watches: 473205
936.92/937.20	c total #propagations: 5639007 / total #impl: 15794693 (eff. 0.357)
936.92/937.20	c #Conflicts:      97000 | #Learnt:      14721 | 0.000
936.92/937.20	c total clause space: 335.816MB
936.92/937.20	c total #watches: 493498
946.32/946.56	c total #propagations: 5705714 / total #impl: 16019111 (eff. 0.356)
946.32/946.56	c GC COLLECT
946.32/946.56	c #Conflicts:      98000 | #Learnt:       8314 | 0.000
946.32/946.56	c total clause space: 335.816MB
946.32/946.56	c total #watches: 396532
958.03/958.22	c total #propagations: 5763463 / total #impl: 16168585 (eff. 0.356)
958.03/958.22	c #Conflicts:      99000 | #Learnt:       9314 | 0.000
958.03/958.22	c total clause space: 335.816MB
958.03/958.22	c total #watches: 411042
971.42/971.63	c total #propagations: 5839804 / total #impl: 16406470 (eff. 0.356)
971.42/971.63	c #Conflicts:     100000 | #Learnt:      10314 | 0.000
971.42/971.63	c total clause space: 335.816MB
971.42/971.63	c total #watches: 428008
988.51/988.79	c total #propagations: 5923090 / total #impl: 16679505 (eff. 0.355)
988.51/988.79	c #Conflicts:     101000 | #Learnt:      11314 | 0.000
988.51/988.79	c total clause space: 335.816MB
988.51/988.79	c total #watches: 442654
1006.71/1006.96	c total #propagations: 6020788 / total #impl: 17016163 (eff. 0.354)
1006.71/1006.96	c #Conflicts:     102000 | #Learnt:      12314 | 0.000
1006.71/1006.96	c total clause space: 335.816MB
1006.71/1006.96	c total #watches: 457045
1025.12/1025.31	c total #propagations: 6119458 / total #impl: 17371147 (eff. 0.352)
1025.12/1025.31	c #Conflicts:     103000 | #Learnt:      13314 | 0.000
1025.12/1025.31	c total clause space: 335.816MB
1025.12/1025.31	c total #watches: 473606
1043.01/1043.30	c total #propagations: 6220139 / total #impl: 17779873 (eff. 0.350)
1043.01/1043.30	c #Conflicts:     104000 | #Learnt:      14314 | 0.000
1043.01/1043.30	c total clause space: 335.816MB
1043.01/1043.30	c total #watches: 487105
1055.00/1055.23	c total #propagations: 6303934 / total #impl: 18082031 (eff. 0.349)
1055.00/1055.23	c #Conflicts:     105000 | #Learnt:      15314 | 0.000
1055.00/1055.23	c total clause space: 335.816MB
1055.00/1055.23	c total #watches: 542007
1064.20/1064.49	c total #propagations: 6361727 / total #impl: 18236727 (eff. 0.349)
1064.20/1064.49	c GC COLLECT
1064.20/1064.49	c #Conflicts:     106000 | #Learnt:       8608 | 0.000
1064.20/1064.49	c total clause space: 335.816MB
1064.20/1064.49	c total #watches: 441070
1074.61/1074.87	c total #propagations: 6411213 / total #impl: 18359408 (eff. 0.349)
1074.61/1074.87	c #Conflicts:     107000 | #Learnt:       9608 | 0.000
1074.61/1074.87	c total clause space: 335.816MB
1074.61/1074.87	c total #watches: 493251
1087.90/1088.10	c total #propagations: 6462137 / total #impl: 18479586 (eff. 0.350)
1087.90/1088.10	c #Conflicts:     108000 | #Learnt:      10608 | 0.000
1087.90/1088.10	c total clause space: 335.816MB
1087.90/1088.10	c total #watches: 547815
1102.40/1102.67	c total #propagations: 6513442 / total #impl: 18608260 (eff. 0.350)
1102.40/1102.67	c #Conflicts:     109000 | #Learnt:      11608 | 0.000
1102.40/1102.67	c total clause space: 335.816MB
1102.40/1102.67	c total #watches: 608509
1118.50/1118.73	c total #propagations: 6561463 / total #impl: 18725084 (eff. 0.350)
1118.50/1118.73	c #Conflicts:     110000 | #Learnt:      12608 | 0.000
1118.50/1118.73	c total clause space: 335.816MB
1118.50/1118.73	c total #watches: 673145
1135.00/1135.25	c total #propagations: 6607219 / total #impl: 18839352 (eff. 0.351)
1135.00/1135.25	c #Conflicts:     111000 | #Learnt:      13608 | 0.000
1135.00/1135.25	c total clause space: 335.816MB
1135.00/1135.25	c total #watches: 718980
1152.60/1152.85	c total #propagations: 6658463 / total #impl: 18958507 (eff. 0.351)
1152.60/1152.85	c #Conflicts:     112000 | #Learnt:      14608 | 0.000
1152.60/1152.85	c total clause space: 335.816MB
1152.60/1152.85	c total #watches: 747374
1175.58/1175.84	c total #propagations: 6710081 / total #impl: 19080805 (eff. 0.352)
1175.58/1175.84	c #Conflicts:     113000 | #Learnt:      15608 | 0.000
1175.58/1175.84	c total clause space: 335.816MB
1175.58/1175.84	c total #watches: 800390
1192.89/1193.15	c total #propagations: 6766004 / total #impl: 19225746 (eff. 0.352)
1192.89/1193.15	c GC COLLECT
1192.89/1193.15	c #Conflicts:     114000 | #Learnt:       8598 | 0.000
1192.89/1193.15	c total clause space: 335.816MB
1192.89/1193.15	c total #watches: 443234
1202.99/1203.21	c total #propagations: 6819209 / total #impl: 19359658 (eff. 0.352)
1202.99/1203.21	c #Conflicts:     115000 | #Learnt:       9598 | 0.000
1202.99/1203.21	c total clause space: 335.816MB
1202.99/1203.21	c total #watches: 503141
1214.68/1214.97	c total #propagations: 6867233 / total #impl: 19480714 (eff. 0.353)
1214.68/1214.97	c #Conflicts:     116000 | #Learnt:      10598 | 0.000
1214.68/1214.97	c total clause space: 335.816MB
1214.68/1214.97	c total #watches: 557645
1230.98/1231.20	c total #propagations: 6918136 / total #impl: 19602106 (eff. 0.353)
1230.98/1231.20	c #Conflicts:     117000 | #Learnt:      11598 | 0.000
1230.98/1231.20	c total clause space: 335.816MB
1230.98/1231.20	c total #watches: 615842
1249.98/1250.24	c total #propagations: 6967940 / total #impl: 19727624 (eff. 0.353)
1249.98/1250.24	c #Conflicts:     118000 | #Learnt:      12598 | 0.000
1249.98/1250.24	c total clause space: 335.816MB
1249.98/1250.24	c total #watches: 673531
1271.98/1272.28	c total #propagations: 7019255 / total #impl: 19856594 (eff. 0.353)
1271.98/1272.28	c #Conflicts:     119000 | #Learnt:      13598 | 0.000
1271.98/1272.28	c total clause space: 335.816MB
1271.98/1272.28	c total #watches: 709586
1304.07/1304.34	c total #propagations: 7070771 / total #impl: 19982946 (eff. 0.354)
1304.07/1304.34	c #Conflicts:     120000 | #Learnt:      14598 | 0.000
1304.07/1304.34	c total clause space: 335.816MB
1304.07/1304.34	c total #watches: 724579
1333.97/1334.25	c total #propagations: 7140646 / total #impl: 20201118 (eff. 0.353)
1333.97/1334.25	c #Conflicts:     121000 | #Learnt:      15598 | 0.000
1333.97/1334.25	c total clause space: 335.816MB
1333.97/1334.25	c total #watches: 745458
1356.56/1356.88	c total #propagations: 7201621 / total #impl: 20400168 (eff. 0.353)
1356.56/1356.88	c #Conflicts:     122000 | #Learnt:      16598 | 0.000
1356.56/1356.88	c total clause space: 335.816MB
1356.56/1356.88	c total #watches: 772770
1368.17/1368.40	c total #propagations: 7266560 / total #impl: 20564905 (eff. 0.353)
1368.17/1368.40	c GC COLLECT
1368.17/1368.40	c #Conflicts:     123000 | #Learnt:       9295 | 0.000
1368.17/1368.40	c total clause space: 335.816MB
1368.17/1368.40	c total #watches: 461882
1382.06/1382.31	c total #propagations: 7320559 / total #impl: 20704334 (eff. 0.354)
1382.06/1382.31	c #Conflicts:     124000 | #Learnt:      10295 | 0.000
1382.06/1382.31	c total clause space: 335.816MB
1382.06/1382.31	c total #watches: 479624
1395.25/1395.58	c total #propagations: 7387372 / total #impl: 20920064 (eff. 0.353)
1395.25/1395.58	c #Conflicts:     125000 | #Learnt:      11295 | 0.000
1395.25/1395.58	c total clause space: 335.816MB
1395.25/1395.58	c total #watches: 527905
1409.25/1409.57	c total #propagations: 7440291 / total #impl: 21050032 (eff. 0.353)
1409.25/1409.57	c #Conflicts:     126000 | #Learnt:      12295 | 0.000
1409.25/1409.57	c total clause space: 335.816MB
1409.25/1409.57	c total #watches: 577586
1425.85/1426.13	c total #propagations: 7489136 / total #impl: 21180825 (eff. 0.354)
1425.85/1426.13	c #Conflicts:     127000 | #Learnt:      13295 | 0.000
1425.85/1426.13	c total clause space: 335.816MB
1425.85/1426.13	c total #watches: 623479
1443.35/1443.64	c total #propagations: 7540019 / total #impl: 21306459 (eff. 0.354)
1443.35/1443.64	c #Conflicts:     128000 | #Learnt:      14295 | 0.000
1443.35/1443.64	c total clause space: 335.816MB
1443.35/1443.64	c total #watches: 685669
1466.34/1466.67	c total #propagations: 7587379 / total #impl: 21424263 (eff. 0.354)
1466.34/1466.67	c #Conflicts:     129000 | #Learnt:      15295 | 0.000
1466.34/1466.67	c total clause space: 335.816MB
1466.34/1466.67	c total #watches: 744494
1490.54/1490.89	c total #propagations: 7637060 / total #impl: 21550468 (eff. 0.354)
1490.54/1490.89	c #Conflicts:     130000 | #Learnt:      16295 | 0.000
1490.54/1490.89	c total clause space: 335.816MB
1490.54/1490.89	c total #watches: 792108
1519.83/1520.17	c total #propagations: 7686966 / total #impl: 21669835 (eff. 0.355)
1519.83/1520.17	c GC COLLECT
1519.83/1520.17	c #Conflicts:     131000 | #Learnt:       8693 | 0.000
1519.83/1520.17	c total clause space: 335.816MB
1519.83/1520.17	c total #watches: 444657
1531.33/1531.67	c total #propagations: 7738773 / total #impl: 21801151 (eff. 0.355)
1531.33/1531.67	c #Conflicts:     132000 | #Learnt:       9693 | 0.000
1531.33/1531.67	c total clause space: 335.816MB
1531.33/1531.67	c total #watches: 487442
1543.23/1543.59	c total #propagations: 7787411 / total #impl: 21934810 (eff. 0.355)
1543.23/1543.59	c #Conflicts:     133000 | #Learnt:      10693 | 0.000
1543.23/1543.59	c total clause space: 335.816MB
1543.23/1543.59	c total #watches: 556864
1559.43/1559.79	c total #propagations: 7832532 / total #impl: 22047470 (eff. 0.355)
1559.43/1559.79	c #Conflicts:     134000 | #Learnt:      11693 | 0.000
1559.43/1559.79	c total clause space: 335.816MB
1559.43/1559.79	c total #watches: 616816
1576.33/1576.67	c total #propagations: 7879765 / total #impl: 22169444 (eff. 0.355)
1576.33/1576.67	c #Conflicts:     135000 | #Learnt:      12693 | 0.000
1576.33/1576.67	c total clause space: 335.816MB
1576.33/1576.67	c total #watches: 665171
1597.03/1597.33	c total #propagations: 7932116 / total #impl: 22292755 (eff. 0.356)
1597.03/1597.33	c #Conflicts:     136000 | #Learnt:      13693 | 0.000
1597.03/1597.33	c total clause space: 335.816MB
1597.03/1597.33	c total #watches: 735321
1621.32/1621.63	c total #propagations: 7981605 / total #impl: 22412987 (eff. 0.356)
1621.32/1621.63	c #Conflicts:     137000 | #Learnt:      14693 | 0.000
1621.32/1621.63	c total clause space: 335.816MB
1621.32/1621.63	c total #watches: 794455
1648.91/1649.29	c total #propagations: 8033587 / total #impl: 22538100 (eff. 0.356)
1648.91/1649.29	c #Conflicts:     138000 | #Learnt:      15693 | 0.000
1648.91/1649.29	c total clause space: 335.816MB
1648.91/1649.29	c total #watches: 846314
1678.91/1679.21	c total #propagations: 8083053 / total #impl: 22660103 (eff. 0.357)
1678.91/1679.21	c #Conflicts:     139000 | #Learnt:      16693 | 0.000
1678.91/1679.21	c total clause space: 335.816MB
1678.91/1679.21	c total #watches: 887227
1711.81/1712.11	c total #propagations: 8137128 / total #impl: 22787224 (eff. 0.357)
1711.81/1712.11	c #Conflicts:     140000 | #Learnt:      17693 | 0.000
1711.81/1712.11	c total clause space: 545.701MB
1711.81/1712.11	c total #watches: 908419
1721.21/1721.53	c total #propagations: 8222136 / total #impl: 23014795 (eff. 0.357)
1721.21/1721.53	c GC COLLECT
1721.21/1721.53	c #Conflicts:     141000 | #Learnt:       9785 | 0.000
1721.21/1721.53	c total clause space: 545.701MB
1721.21/1721.53	c total #watches: 489629
1729.51/1729.89	c total #propagations: 8277843 / total #impl: 23143418 (eff. 0.358)
1729.51/1729.89	c #Conflicts:     142000 | #Learnt:      10785 | 0.000
1729.51/1729.89	c total clause space: 545.701MB
1729.51/1729.89	c total #watches: 497594
1740.01/1740.34	c total #propagations: 8349485 / total #impl: 23350796 (eff. 0.358)
1740.01/1740.34	c #Conflicts:     143000 | #Learnt:      11785 | 0.000
1740.01/1740.34	c total clause space: 545.701MB
1740.01/1740.34	c total #watches: 505484
1751.50/1751.88	c total #propagations: 8419864 / total #impl: 23568472 (eff. 0.357)
1751.50/1751.88	c #Conflicts:     144000 | #Learnt:      12785 | 0.000
1751.50/1751.88	c total clause space: 545.701MB
1751.50/1751.88	c total #watches: 537522
1768.10/1768.50	c total #propagations: 8471071 / total #impl: 23712104 (eff. 0.357)
1768.10/1768.50	c #Conflicts:     145000 | #Learnt:      13785 | 0.000
1768.10/1768.50	c total clause space: 545.701MB
1768.10/1768.50	c total #watches: 549374
1783.10/1783.45	c total #propagations: 8569785 / total #impl: 24015592 (eff. 0.357)
1783.10/1783.45	c #Conflicts:     146000 | #Learnt:      14785 | 0.000
1783.10/1783.45	c total clause space: 545.701MB
1783.10/1783.45	c total #watches: 558156

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

pid=29872
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.43 2.30 2.27 3/176 29875
/proc/meminfo: memFree=29369840/32872528 swapFree=16700/1645768
[pid=29875] ppid=29872 vsize=55976 CPUtime=0 cores=1,3,5,7
/proc/29875/stat : 29875 (cdcl-cuttingpla) R 29872 29875 27966 0 -1 4202496 257 0 0 0 0 0 0 0 20 0 1 0 122881514 57319424 7803 33554432000 4194304 6211289 140733642150800 140736945197256 4206551 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29875/statm: 13994 7803 98 493 0 13491 0

[startup+0.100137 s]
/proc/loadavg: 2.43 2.30 2.27 3/176 29875
/proc/meminfo: memFree=29369840/32872528 swapFree=16700/1645768
[pid=29875] ppid=29872 vsize=64012 CPUtime=0.09 cores=1,3,5,7
/proc/29875/stat : 29875 (cdcl-cuttingpla) R 29872 29875 27966 0 -1 4202496 2107 0 0 0 9 0 0 0 20 0 1 0 122881514 65548288 13291 33554432000 4194304 6211289 140733642150800 140736945197256 5161098 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/29875/statm: 16003 13292 143 493 0 15500 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 64012

[startup+0.200403 s]
/proc/loadavg: 2.43 2.30 2.27 3/176 29875
/proc/meminfo: memFree=29369840/32872528 swapFree=16700/1645768
[pid=29875] ppid=29872 vsize=76964 CPUtime=0.19 cores=1,3,5,7
/proc/29875/stat : 29875 (cdcl-cuttingpla) R 29872 29875 27966 0 -1 4202496 3408 0 0 0 18 1 0 0 20 0 1 0 122881514 78811136 16294 33554432000 4194304 6211289 140733642150800 140736945197256 4228081 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/29875/statm: 19241 16295 143 493 0 18738 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 76964

[startup+0.30032 s]
/proc/loadavg: 2.43 2.30 2.27 3/176 29875
/proc/meminfo: memFree=29369840/32872528 swapFree=16700/1645768
[pid=29875] ppid=29872 vsize=85580 CPUtime=0.29 cores=1,3,5,7
/proc/29875/stat : 29875 (cdcl-cuttingpla) R 29872 29875 27966 0 -1 4202496 4486 0 0 0 28 1 0 0 20 0 1 0 122881514 87633920 18394 33554432000 4194304 6211289 140733642150800 140736945197256 4228081 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/29875/statm: 21395 18395 143 493 0 20892 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 85580

[startup+0.700258 s]
/proc/loadavg: 2.43 2.30 2.27 3/176 29875
/proc/meminfo: memFree=29369840/32872528 swapFree=16700/1645768
[pid=29875] ppid=29872 vsize=105496 CPUtime=0.69 cores=1,3,5,7
/proc/29875/stat : 29875 (cdcl-cuttingpla) R 29872 29875 27966 0 -1 4202496 5350 0 0 0 68 1 0 0 20 0 1 0 122881514 108027904 23211 33554432000 4194304 6211289 140733642150800 140733642148712 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/29875/statm: 26374 23211 204 493 0 25871 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 105496

[startup+1.50019 s]
/proc/loadavg: 2.39 2.29 2.26 3/177 29876
/proc/meminfo: memFree=29271748/32872528 swapFree=16700/1645768
[pid=29875] ppid=29872 vsize=125124 CPUtime=1.49 cores=1,3,5,7
/proc/29875/stat : 29875 (cdcl-cuttingpla) R 29872 29875 27966 0 -1 4202496 5864 0 0 0 147 2 0 0 20 0 1 0 122881514 128126976 26182 33554432000 4194304 6211289 140733642150800 140733642148712 4209819 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/29875/statm: 31281 26182 214 493 0 30778 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 125124

[startup+3.1003 s]
/proc/loadavg: 2.39 2.29 2.26 3/177 29876
/proc/meminfo: memFree=29258220/32872528 swapFree=16700/1645768
[pid=29875] ppid=29872 vsize=126180 CPUtime=3.09 cores=1,3,5,7
/proc/29875/stat : 29875 (cdcl-cuttingpla) R 29872 29875 27966 0 -1 4202496 6628 0 0 0 307 2 0 0 20 0 1 0 122881514 129208320 28940 33554432000 4194304 6211289 140733642150800 140733642148712 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/29875/statm: 31545 28940 214 493 0 31042 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 126180

[startup+6.30028 s]
/proc/loadavg: 2.39 2.29 2.26 3/177 29922
/proc/meminfo: memFree=29483192/32872528 swapFree=16700/1645768
[pid=29875] ppid=29872 vsize=158076 CPUtime=6.29 cores=1,3,5,7
/proc/29875/stat : 29875 (cdcl-cuttingpla) R 29872 29875 27966 0 -1 4202496 7477 0 0 0 626 3 0 0 20 0 1 0 122881514 161869824 31154 33554432000 4194304 6211289 140733642150800 140733642148664 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/29875/statm: 39519 31154 219 493 0 39016 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 158076

[startup+12.7003 s]
/proc/loadavg: 2.49 2.31 2.27 3/177 29922
/proc/meminfo: memFree=29422912/32872528 swapFree=16700/1645768
[pid=29875] ppid=29872 vsize=160520 CPUtime=12.69 cores=1,3,5,7
/proc/29875/stat : 29875 (cdcl-cuttingpla) R 29872 29875 27966 0 -1 4202496 8672 0 0 0 1266 3 0 0 20 0 1 0 122881514 164372480 36110 33554432000 4194304 6211289 140733642150800 140733642148712 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/29875/statm: 40130 36110 219 493 0 39627 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 160520

[startup+25.5004 s]
/proc/loadavg: 2.57 2.34 2.28 4/177 29922
/proc/meminfo: memFree=29379376/32872528 swapFree=16700/1645768
[pid=29875] ppid=29872 vsize=214308 CPUtime=25.49 cores=1,3,5,7
/proc/29875/stat : 29875 (cdcl-cuttingpla) R 29872 29875 27966 0 -1 4202496 10233 0 0 0 2545 4 0 0 20 0 1 0 122881514 219451392 42401 33554432000 4194304 6211289 140733642150800 140733642148664 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/29875/statm: 53577 42401 219 493 0 53074 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 214308

[startup+51.1003 s]
/proc/loadavg: 2.54 2.35 2.28 3/177 29922
/proc/meminfo: memFree=29336812/32872528 swapFree=16700/1645768
[pid=29875] ppid=29872 vsize=216888 CPUtime=51.08 cores=1,3,5,7
/proc/29875/stat : 29875 (cdcl-cuttingpla) R 29872 29875 27966 0 -1 4202496 10983 0 0 0 5104 4 0 0 20 0 1 0 122881514 222093312 46728 33554432000 4194304 6211289 140733642150800 140733642149144 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/29875/statm: 54222 46728 219 493 0 53719 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 216888

[startup+102.3 s]
/proc/loadavg: 2.45 2.35 2.29 4/176 29923
/proc/meminfo: memFree=29279840/32872528 swapFree=16700/1645768
[pid=29875] ppid=29872 vsize=300292 CPUtime=102.29 cores=1,3,5,7
/proc/29875/stat : 29875 (cdcl-cuttingpla) R 29872 29875 27966 0 -1 4202496 12426 0 0 0 10222 7 0 0 20 0 1 0 122881514 307499008 53806 33554432000 4194304 6211289 140733642150800 140733642149032 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/29875/statm: 75073 53806 219 493 0 74570 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 300292

[startup+162.3 s]
/proc/loadavg: 2.34 2.34 2.28 3/177 29925
/proc/meminfo: memFree=29240368/32872528 swapFree=16700/1645768
[pid=29875] ppid=29872 vsize=301048 CPUtime=162.26 cores=1,3,5,7
/proc/29875/stat : 29875 (cdcl-cuttingpla) R 29872 29875 27966 0 -1 4202496 12981 0 0 0 16219 7 0 0 20 0 1 0 122881514 308273152 59976 33554432000 4194304 6211289 140733642150800 140733642149144 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/29875/statm: 75262 59976 219 493 0 74759 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 301048

[startup+222.307 s]
/proc/loadavg: 2.21 2.31 2.27 3/177 29926
/proc/meminfo: memFree=29219088/32872528 swapFree=16700/1645768
[pid=29875] ppid=29872 vsize=302984 CPUtime=222.27 cores=1,3,5,7
/proc/29875/stat : 29875 (cdcl-cuttingpla) R 29872 29875 27966 0 -1 4202496 13445 0 0 0 22219 8 0 0 20 0 1 0 122881514 310255616 64017 33554432000 4194304 6211289 140733642150800 140733642149144 4209328 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/29875/statm: 75746 64017 219 493 0 75243 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 302984

[startup+282.3 s]
/proc/loadavg: 2.24 2.30 2.27 4/177 29927
/proc/meminfo: memFree=29180056/32872528 swapFree=16700/1645768
[pid=29875] ppid=29872 vsize=306344 CPUtime=282.25 cores=1,3,5,7
/proc/29875/stat : 29875 (cdcl-cuttingpla) R 29872 29875 27966 0 -1 4202496 14048 0 0 0 28217 8 0 0 20 0 1 0 122881514 313696256 67686 33554432000 4194304 6211289 140733642150800 140733642149144 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/29875/statm: 76586 67686 219 493 0 76083 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 306344

[startup+342.3 s]
/proc/loadavg: 2.23 2.28 2.27 3/177 29928
/proc/meminfo: memFree=29161624/32872528 swapFree=16700/1645768
[pid=29875] ppid=29872 vsize=307144 CPUtime=342.24 cores=1,3,5,7
/proc/29875/stat : 29875 (cdcl-cuttingpla) R 29872 29875 27966 0 -1 4202496 14218 0 0 0 34216 8 0 0 20 0 1 0 122881514 314515456 68367 33554432000 4194304 6211289 140733642150800 140733642149144 4209830 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/29875/statm: 76786 68367 219 493 0 76283 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 307144

[startup+402.3 s]
/proc/loadavg: 2.17 2.26 2.26 3/177 29929
/proc/meminfo: memFree=29144124/32872528 swapFree=16700/1645768
[pid=29875] ppid=29872 vsize=308264 CPUtime=402.23 cores=1,3,5,7
/proc/29875/stat : 29875 (cdcl-cuttingpla) R 29872 29875 27966 0 -1 4202496 14428 0 0 0 40215 8 0 0 20 0 1 0 122881514 315662336 72665 33554432000 4194304 6211289 140733642150800 140733642149144 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/29875/statm: 77066 72665 219 493 0 76563 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 308264

[startup+462.3 s]
/proc/loadavg: 2.31 2.28 2.27 4/177 29931
/proc/meminfo: memFree=29131928/32872528 swapFree=16700/1645768
[pid=29875] ppid=29872 vsize=441004 CPUtime=462.22 cores=1,3,5,7
/proc/29875/stat : 29875 (cdcl-cuttingpla) R 29872 29875 27966 0 -1 4202496 14865 0 0 0 46213 9 0 0 20 0 1 0 122881514 451588096 75050 33554432000 4194304 6211289 140733642150800 140733642149144 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/29875/statm: 110251 75050 219 493 0 109748 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 441004

[startup+522.3 s]
/proc/loadavg: 2.36 2.29 2.27 3/178 29935
/proc/meminfo: memFree=29104432/32872528 swapFree=16700/1645768
[pid=29875] ppid=29872 vsize=442736 CPUtime=522.21 cores=1,3,5,7
/proc/29875/stat : 29875 (cdcl-cuttingpla) R 29872 29875 27966 0 -1 4202496 15418 0 0 0 52212 9 0 0 20 0 1 0 122881514 453361664 80638 33554432000 4194304 6211289 140733642150800 140733642149144 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/29875/statm: 110684 80638 219 493 0 110181 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 442736

[startup+582.3 s]
/proc/loadavg: 2.34 2.30 2.27 3/177 29936
/proc/meminfo: memFree=29087696/32872528 swapFree=16700/1645768
[pid=29875] ppid=29872 vsize=443056 CPUtime=582.19 cores=1,3,5,7
/proc/29875/stat : 29875 (cdcl-cuttingpla) R 29872 29875 27966 0 -1 4202496 15603 0 0 0 58210 9 0 0 20 0 1 0 122881514 453689344 81622 33554432000 4194304 6211289 140733642150800 140733642149144 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/29875/statm: 110764 81622 219 493 0 110261 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 443056


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


[startup+882.307 s]
/proc/loadavg: 2.15 2.22 2.25 3/177 29942
/proc/meminfo: memFree=28994996/32872528 swapFree=16700/1645768
[pid=29875] ppid=29872 vsize=447216 CPUtime=882.14 cores=1,3,5,7
/proc/29875/stat : 29875 (cdcl-cuttingpla) R 29872 29875 27966 0 -1 4202496 16515 0 0 0 88204 10 0 0 20 0 1 0 122881514 457949184 90163 33554432000 4194304 6211289 140733642150800 140733642149144 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/29875/statm: 111804 90163 219 493 0 111301 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 447216

[startup+942.3 s]
/proc/loadavg: 2.32 2.26 2.26 3/177 29943
/proc/meminfo: memFree=28992980/32872528 swapFree=16700/1645768
[pid=29875] ppid=29872 vsize=447376 CPUtime=942.12 cores=1,3,5,7
/proc/29875/stat : 29875 (cdcl-cuttingpla) R 29872 29875 27966 0 -1 4202496 16578 0 0 0 94202 10 0 0 20 0 1 0 122881514 458113024 90737 33554432000 4194304 6211289 140733642150800 140733642149144 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/29875/statm: 111844 90737 219 493 0 111341 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 447376

[startup+1002.3 s]
/proc/loadavg: 2.23 2.24 2.25 4/177 29944
/proc/meminfo: memFree=28987984/32872528 swapFree=16700/1645768
[pid=29875] ppid=29872 vsize=447376 CPUtime=1002.11 cores=1,3,5,7
/proc/29875/stat : 29875 (cdcl-cuttingpla) R 29872 29875 27966 0 -1 4202496 16581 0 0 0 100201 10 0 0 20 0 1 0 122881514 458113024 90740 33554432000 4194304 6211289 140733642150800 140733642149144 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/29875/statm: 111844 90740 219 493 0 111341 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 447376

[startup+1062.3 s]
/proc/loadavg: 2.29 2.25 2.25 3/177 29946
/proc/meminfo: memFree=28970664/32872528 swapFree=16700/1645768
[pid=29875] ppid=29872 vsize=448080 CPUtime=1062.1 cores=1,3,5,7
/proc/29875/stat : 29875 (cdcl-cuttingpla) R 29872 29875 27966 0 -1 4202496 16734 0 0 0 106200 10 0 0 20 0 1 0 122881514 458833920 94981 33554432000 4194304 6211289 140733642150800 140733642149144 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/29875/statm: 112020 94981 219 493 0 111517 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 448080

[startup+1122.3 s]
/proc/loadavg: 2.33 2.28 2.26 3/178 29950
/proc/meminfo: memFree=28969836/32872528 swapFree=16700/1645768
[pid=29875] ppid=29872 vsize=448400 CPUtime=1122.1 cores=1,3,5,7
/proc/29875/stat : 29875 (cdcl-cuttingpla) R 29872 29875 27966 0 -1 4202496 16819 0 0 0 112199 11 0 0 20 0 1 0 122881514 459161600 95066 33554432000 4194304 6211289 140733642150800 140733642149144 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/29875/statm: 112100 95066 219 493 0 111597 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 448400

[startup+1182.3 s]
/proc/loadavg: 2.42 2.31 2.27 4/177 29951
/proc/meminfo: memFree=28937680/32872528 swapFree=16700/1645768
[pid=29875] ppid=29872 vsize=449872 CPUtime=1182.09 cores=1,3,5,7
/proc/29875/stat : 29875 (cdcl-cuttingpla) R 29872 29875 27966 0 -1 4202496 17310 0 0 0 118197 12 0 0 20 0 1 0 122881514 460668928 103222 33554432000 4194304 6211289 140733642150800 140733642148664 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/29875/statm: 112468 103222 219 493 0 111965 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 449872

[startup+1242.3 s]
/proc/loadavg: 2.42 2.32 2.28 4/177 29952
/proc/meminfo: memFree=28932968/32872528 swapFree=16700/1645768
[pid=29875] ppid=29872 vsize=449872 CPUtime=1242.08 cores=1,3,5,7
/proc/29875/stat : 29875 (cdcl-cuttingpla) R 29872 29875 27966 0 -1 4202496 17337 0 0 0 124196 12 0 0 20 0 1 0 122881514 460668928 104271 33554432000 4194304 6211289 140733642150800 140733642149144 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/29875/statm: 112468 104271 219 493 0 111965 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 449872

[startup+1302.3 s]
/proc/loadavg: 2.37 2.32 2.28 3/177 29953
/proc/meminfo: memFree=28932352/32872528 swapFree=16700/1645768
[pid=29875] ppid=29872 vsize=450032 CPUtime=1302.07 cores=1,3,5,7
/proc/29875/stat : 29875 (cdcl-cuttingpla) R 29872 29875 27966 0 -1 4202496 17364 0 0 0 130195 12 0 0 20 0 1 0 122881514 460832768 104298 33554432000 4194304 6211289 140733642150800 140733642149144 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/29875/statm: 112508 104298 219 493 0 112005 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 450032

[startup+1362.3 s]
/proc/loadavg: 2.34 2.32 2.27 4/177 29955
/proc/meminfo: memFree=28927640/32872528 swapFree=16700/1645768
[pid=29875] ppid=29872 vsize=450420 CPUtime=1362.06 cores=1,3,5,7
/proc/29875/stat : 29875 (cdcl-cuttingpla) R 29872 29875 27966 0 -1 4202496 17465 0 0 0 136194 12 0 0 20 0 1 0 122881514 461230080 105421 33554432000 4194304 6211289 140733642150800 140733642149144 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/29875/statm: 112605 105421 219 493 0 112102 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 450420

[startup+1422.3 s]
/proc/loadavg: 2.36 2.32 2.28 3/177 29956
/proc/meminfo: memFree=28927984/32872528 swapFree=16700/1645768
[pid=29875] ppid=29872 vsize=450420 CPUtime=1422.06 cores=1,3,5,7
/proc/29875/stat : 29875 (cdcl-cuttingpla) R 29872 29875 27966 0 -1 4202496 17465 0 0 0 142194 12 0 0 20 0 1 0 122881514 461230080 105421 33554432000 4194304 6211289 140733642150800 140733642149144 4209882 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/29875/statm: 112605 105421 219 493 0 112102 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 450420

[startup+1482.3 s]
/proc/loadavg: 2.33 2.32 2.28 3/177 29957
/proc/meminfo: memFree=28923280/32872528 swapFree=16700/1645768
[pid=29875] ppid=29872 vsize=450612 CPUtime=1482.04 cores=1,3,5,7
/proc/29875/stat : 29875 (cdcl-cuttingpla) R 29872 29875 27966 0 -1 4202496 17503 0 0 0 148192 12 0 0 20 0 1 0 122881514 461426688 105459 33554432000 4194304 6211289 140733642150800 140733642148664 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/29875/statm: 112653 105459 219 493 0 112150 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 450612

[startup+1542.31 s]
/proc/loadavg: 2.34 2.32 2.28 4/177 29958
/proc/meminfo: memFree=28883128/32872528 swapFree=16700/1645768
[pid=29875] ppid=29872 vsize=450804 CPUtime=1542.04 cores=1,3,5,7
/proc/29875/stat : 29875 (cdcl-cuttingpla) R 29872 29875 27966 0 -1 4202496 17609 0 0 0 154192 12 0 0 20 0 1 0 122881514 461623296 109142 33554432000 4194304 6211289 140733642150800 140733642149144 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/29875/statm: 112701 109142 219 493 0 112198 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 450804

[startup+1602.3 s]
/proc/loadavg: 2.41 2.34 2.28 3/176 29959
/proc/meminfo: memFree=28849012/32872528 swapFree=16700/1645768
[pid=29875] ppid=29872 vsize=450804 CPUtime=1602.02 cores=1,3,5,7
/proc/29875/stat : 29875 (cdcl-cuttingpla) R 29872 29875 27966 0 -1 4202496 17616 0 0 0 160190 12 0 0 20 0 1 0 122881514 461623296 109149 33554432000 4194304 6211289 140733642150800 140733642149144 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/29875/statm: 112701 109149 219 493 0 112198 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 450804

[startup+1662.3 s]
/proc/loadavg: 2.31 2.33 2.28 3/177 29962
/proc/meminfo: memFree=28847888/32872528 swapFree=16700/1645768
[pid=29875] ppid=29872 vsize=451188 CPUtime=1662.01 cores=1,3,5,7
/proc/29875/stat : 29875 (cdcl-cuttingpla) R 29872 29875 27966 0 -1 4202496 17717 0 0 0 166189 12 0 0 20 0 1 0 122881514 462016512 109250 33554432000 4194304 6211289 140733642150800 140733642148664 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/29875/statm: 112797 109250 219 493 0 112294 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 451188

[startup+1722.3 s]
/proc/loadavg: 2.42 2.36 2.29 4/178 29966
/proc/meminfo: memFree=28830000/32872528 swapFree=16700/1645768
[pid=29875] ppid=29872 vsize=666880 CPUtime=1722.01 cores=1,3,5,7
/proc/29875/stat : 29875 (cdcl-cuttingpla) R 29872 29875 27966 0 -1 4202496 18626 0 0 0 172186 15 0 0 20 0 1 0 122881514 682885120 113474 33554432000 4194304 6211289 140733642150800 140733642149144 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/29875/statm: 166720 113474 219 493 0 166217 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 666880

[startup+1782.3 s]
/proc/loadavg: 2.37 2.35 2.28 4/177 29967
/proc/meminfo: memFree=28829740/32872528 swapFree=16700/1645768
[pid=29875] ppid=29872 vsize=666880 CPUtime=1782 cores=1,3,5,7
/proc/29875/stat : 29875 (cdcl-cuttingpla) R 29872 29875 27966 0 -1 4202496 18629 0 0 0 178185 15 0 0 20 0 1 0 122881514 682885120 113477 33554432000 4194304 6211289 140733642150800 140733642149144 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/29875/statm: 166720 113477 219 493 0 166217 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 666880



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.36 2.35 2.28 3/177 29967
/proc/meminfo: memFree=28829988/32872528 swapFree=16700/1645768
[pid=29875] ppid=29872 vsize=666880 CPUtime=1800.09 cores=1,3,5,7
/proc/29875/stat : 29875 (cdcl-cuttingpla) R 29872 29875 27966 0 -1 4202496 18648 0 0 0 179994 15 0 0 20 0 1 0 122881514 682885120 113496 33554432000 4194304 6211289 140733642150800 140733642149144 4209891 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/29875/statm: 166720 113496 219 493 0 166217 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 666880

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 29875 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.42
CPU time (s): 1800.12
CPU user time (s): 1799.95
CPU system time (s): 0.172973
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 666880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.172973
maximum resident set size= 453984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18648
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= 61
involuntary context switches= 1869

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.46332 second user time and 7.01693 second system time

The end

Launcher Data 

Begin job on node124 at 2016-06-08 20:11:21
IDJOB=4087477
IDBENCH=2254
IDSOLVER=2549
FILE ID=node124/4087477-1465409481
RUNJOBID= node124-1465387868-27983
PBS_JOBID= 19853797
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= dadfd792215a2bce735ffb7b3e25dcc5
RANDOM SEED=69513983

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29370640 kB
Buffers:          167232 kB
Cached:           598516 kB
SwapCached:          752 kB
Active:           622352 kB
Inactive:         492520 kB
Active(anon):     349880 kB
Inactive(anon):     1568 kB
Active(file):     272472 kB
Inactive(file):   490952 kB
Unevictable:     1645768 kB
Mlocked:           16700 kB
SwapTotal:      67108856 kB
SwapFree:       67097732 kB
Dirty:              3532 kB
Writeback:             0 kB
AnonPages:       1994400 kB
Mapped:             8000 kB
Shmem:                 0 kB
Slab:             608632 kB
SReclaimable:      52588 kB
SUnreclaim:       556044 kB
KernelStack:        1432 kB
PageTables:         7916 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2207100 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1964032 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= 71720 MiB
End job on node124 at 2016-06-08 20:41:21