Trace number 4087475

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.1 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-2.opb
MD5SUMaabc023158e10c9511062af8ac97c515
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 benchmark1389.77
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 constraints58624
Number of constraints which are clauses58624
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= 58624
0.08/0.19	c * #variable= 945 #constraint= 58624
0.69/0.76	c S1->S2
0.69/0.76	c S2->S1
0.69/0.76	c #Conflicts:       1000 | #Learnt:        567 | 0.000
0.69/0.76	c total clause space: 29.637MB
0.69/0.76	c total #watches: 171434
3.30/3.37	c total #propagations: 45566 / total #impl: 77162 (eff. 0.591)
3.30/3.37	c #Conflicts:       2000 | #Learnt:       1567 | 0.000
3.30/3.37	c total clause space: 78.2603MB
3.30/3.37	c total #watches: 233189
6.19/6.29	c total #propagations: 93413 / total #impl: 195140 (eff. 0.479)
6.19/6.29	c GC COLLECT
6.19/6.29	c #Conflicts:       3000 | #Learnt:       1787 | 0.000
6.19/6.29	c total clause space: 78.2603MB
6.19/6.29	c total #watches: 223994
10.58/10.67	c total #propagations: 143384 / total #impl: 325115 (eff. 0.441)
10.58/10.67	c #Conflicts:       4000 | #Learnt:       2787 | 0.000
10.58/10.67	c total clause space: 78.2603MB
10.58/10.67	c total #watches: 274538
15.09/15.11	c total #propagations: 194252 / total #impl: 448150 (eff. 0.433)
15.09/15.11	c GC COLLECT
15.09/15.11	c #Conflicts:       5000 | #Learnt:       2242 | 0.000
15.09/15.11	c total clause space: 78.2603MB
15.09/15.11	c total #watches: 256277
20.89/20.96	c total #propagations: 244012 / total #impl: 570023 (eff. 0.428)
20.89/20.96	c #Conflicts:       6000 | #Learnt:       3242 | 0.000
20.89/20.96	c total clause space: 78.2603MB
20.89/20.96	c total #watches: 318529
28.69/28.73	c total #propagations: 289146 / total #impl: 685886 (eff. 0.422)
28.69/28.73	c GC COLLECT
28.69/28.73	c #Conflicts:       7000 | #Learnt:       2176 | 0.000
28.69/28.73	c total clause space: 127.173MB
28.69/28.73	c total #watches: 246227
33.58/33.69	c total #propagations: 341585 / total #impl: 812325 (eff. 0.421)
33.58/33.69	c #Conflicts:       8000 | #Learnt:       3176 | 0.000
33.58/33.69	c total clause space: 127.173MB
33.58/33.69	c total #watches: 294605
39.59/39.67	c total #propagations: 393433 / total #impl: 937186 (eff. 0.420)
39.59/39.67	c #Conflicts:       9000 | #Learnt:       4176 | 0.000
39.59/39.67	c total clause space: 127.173MB
39.59/39.67	c total #watches: 335487
46.09/46.15	c total #propagations: 456781 / total #impl: 1144113 (eff. 0.399)
46.09/46.15	c GC COLLECT
46.09/46.15	c #Conflicts:      10000 | #Learnt:       2688 | 0.000
46.09/46.15	c total clause space: 127.173MB
46.09/46.15	c total #watches: 261354
51.59/51.66	c total #propagations: 500543 / total #impl: 1253414 (eff. 0.399)
51.59/51.66	c #Conflicts:      11000 | #Learnt:       3688 | 0.000
51.59/51.66	c total clause space: 127.173MB
51.59/51.66	c total #watches: 318380
59.49/59.53	c total #propagations: 551548 / total #impl: 1380480 (eff. 0.400)
59.49/59.53	c #Conflicts:      12000 | #Learnt:       4688 | 0.000
59.49/59.53	c total clause space: 127.173MB
59.49/59.53	c total #watches: 364963
68.68/68.75	c total #propagations: 608288 / total #impl: 1510265 (eff. 0.403)
68.68/68.75	c #Conflicts:      13000 | #Learnt:       5688 | 0.000
68.68/68.75	c total clause space: 127.173MB
68.68/68.75	c total #watches: 420419
74.68/74.77	c total #propagations: 659730 / total #impl: 1639808 (eff. 0.402)
74.68/74.77	c GC COLLECT
74.68/74.77	c #Conflicts:      14000 | #Learnt:       3838 | 0.000
74.68/74.77	c total clause space: 127.173MB
74.68/74.77	c total #watches: 332434
82.08/82.12	c total #propagations: 712338 / total #impl: 1773375 (eff. 0.402)
82.08/82.12	c #Conflicts:      15000 | #Learnt:       4838 | 0.000
82.08/82.12	c total clause space: 127.173MB
82.08/82.12	c total #watches: 380673
91.87/91.90	c total #propagations: 760613 / total #impl: 1890915 (eff. 0.402)
91.87/91.90	c #Conflicts:      16000 | #Learnt:       5838 | 0.000
91.87/91.90	c total clause space: 127.173MB
91.87/91.90	c total #watches: 417135
98.98/99.09	c total #propagations: 813075 / total #impl: 2017846 (eff. 0.403)
98.98/99.09	c GC COLLECT
98.98/99.09	c #Conflicts:      17000 | #Learnt:       3668 | 0.000
98.98/99.09	c total clause space: 206.656MB
98.98/99.09	c total #watches: 276329
103.27/103.31	c total #propagations: 879920 / total #impl: 2196686 (eff. 0.401)
103.27/103.31	c #Conflicts:      18000 | #Learnt:       4668 | 0.000
103.27/103.31	c total clause space: 206.656MB
103.27/103.31	c total #watches: 284613
107.57/107.66	c total #propagations: 958373 / total #impl: 2414274 (eff. 0.397)
107.57/107.66	c #Conflicts:      19000 | #Learnt:       5668 | 0.000
107.57/107.66	c total clause space: 206.656MB
107.57/107.66	c total #watches: 291153
112.67/112.71	c total #propagations: 1041162 / total #impl: 2647020 (eff. 0.393)
112.67/112.71	c #Conflicts:      20000 | #Learnt:       6668 | 0.000
112.67/112.71	c total clause space: 206.656MB
112.67/112.71	c total #watches: 300144
114.67/114.76	c total #propagations: 1110386 / total #impl: 2874406 (eff. 0.386)
114.67/114.76	c GC COLLECT
114.67/114.76	c #Conflicts:      21000 | #Learnt:       4180 | 0.000
114.67/114.76	c total clause space: 206.656MB
114.67/114.76	c total #watches: 157441
115.77/115.88	c total #propagations: 1181944 / total #impl: 3112352 (eff. 0.380)
115.77/115.88	c #Conflicts:      22000 | #Learnt:       5180 | 0.000
115.77/115.88	c total clause space: 206.656MB
115.77/115.88	c total #watches: 191684
117.87/117.92	c total #propagations: 1246221 / total #impl: 3295914 (eff. 0.378)
117.87/117.92	c #Conflicts:      23000 | #Learnt:       6180 | 0.000
117.87/117.92	c total clause space: 206.656MB
117.87/117.92	c total #watches: 239564
121.67/121.76	c total #propagations: 1298008 / total #impl: 3423185 (eff. 0.379)
121.67/121.76	c #Conflicts:      24000 | #Learnt:       7180 | 0.000
121.67/121.76	c total clause space: 206.656MB
121.67/121.76	c total #watches: 298283
127.77/127.89	c total #propagations: 1348900 / total #impl: 3546768 (eff. 0.380)
127.77/127.89	c GC COLLECT
127.77/127.89	c #Conflicts:      25000 | #Learnt:       4382 | 0.000
127.77/127.89	c total clause space: 206.656MB
127.77/127.89	c total #watches: 322887
135.67/135.73	c total #propagations: 1397450 / total #impl: 3675823 (eff. 0.380)
135.67/135.73	c #Conflicts:      26000 | #Learnt:       5382 | 0.000
135.67/135.73	c total clause space: 206.656MB
135.67/135.73	c total #watches: 384184
145.56/145.69	c total #propagations: 1445869 / total #impl: 3796285 (eff. 0.381)
145.56/145.69	c #Conflicts:      27000 | #Learnt:       6382 | 0.000
145.56/145.69	c total clause space: 206.656MB
145.56/145.69	c total #watches: 426414
159.97/160.04	c total #propagations: 1499853 / total #impl: 3919786 (eff. 0.383)
159.97/160.04	c #Conflicts:      28000 | #Learnt:       7382 | 0.000
159.97/160.04	c total clause space: 206.656MB
159.97/160.04	c total #watches: 444230
172.06/172.18	c total #propagations: 1573261 / total #impl: 4109664 (eff. 0.383)
172.06/172.18	c GC COLLECT
172.06/172.18	c #Conflicts:      29000 | #Learnt:       4284 | 0.000
172.06/172.18	c total clause space: 206.656MB
172.06/172.18	c total #watches: 325947
179.37/179.42	c total #propagations: 1629429 / total #impl: 4258863 (eff. 0.383)
179.37/179.42	c #Conflicts:      30000 | #Learnt:       5284 | 0.000
179.37/179.42	c total clause space: 206.656MB
179.37/179.42	c total #watches: 393955
189.36/189.43	c total #propagations: 1677087 / total #impl: 4377848 (eff. 0.383)
189.36/189.43	c #Conflicts:      31000 | #Learnt:       6284 | 0.000
189.36/189.43	c total clause space: 206.656MB
189.36/189.43	c total #watches: 451133
200.46/200.50	c total #propagations: 1727184 / total #impl: 4501504 (eff. 0.384)
200.46/200.50	c #Conflicts:      32000 | #Learnt:       7284 | 0.000
200.46/200.50	c total clause space: 206.656MB
200.46/200.50	c total #watches: 505204
214.36/214.46	c total #propagations: 1778700 / total #impl: 4633306 (eff. 0.384)
214.36/214.46	c #Conflicts:      33000 | #Learnt:       8284 | 0.000
214.36/214.46	c total clause space: 206.656MB
214.36/214.46	c total #watches: 569655
226.75/226.81	c total #propagations: 1825836 / total #impl: 4748222 (eff. 0.385)
226.75/226.81	c GC COLLECT
226.75/226.81	c #Conflicts:      34000 | #Learnt:       4885 | 0.000
226.75/226.81	c total clause space: 206.656MB
226.75/226.81	c total #watches: 430457
236.85/236.96	c total #propagations: 1873840 / total #impl: 4866228 (eff. 0.385)
236.85/236.96	c #Conflicts:      35000 | #Learnt:       5885 | 0.000
236.85/236.96	c total clause space: 206.656MB
236.85/236.96	c total #watches: 473402
254.15/254.23	c total #propagations: 1925143 / total #impl: 4983654 (eff. 0.386)
254.15/254.23	c #Conflicts:      36000 | #Learnt:       6885 | 0.000
254.15/254.23	c total clause space: 206.656MB
254.15/254.23	c total #watches: 493951
271.84/271.92	c total #propagations: 1997361 / total #impl: 5173373 (eff. 0.386)
271.84/271.92	c #Conflicts:      37000 | #Learnt:       7885 | 0.000
271.84/271.92	c total clause space: 206.656MB
271.84/271.92	c total #watches: 511375
286.74/286.80	c total #propagations: 2056293 / total #impl: 5358754 (eff. 0.384)
286.74/286.80	c #Conflicts:      38000 | #Learnt:       8885 | 0.000
286.74/286.80	c total clause space: 206.656MB
286.74/286.80	c total #watches: 539120
295.65/295.72	c total #propagations: 2108232 / total #impl: 5519664 (eff. 0.382)
295.65/295.72	c GC COLLECT
295.65/295.72	c #Conflicts:      39000 | #Learnt:       5176 | 0.000
295.65/295.72	c total clause space: 206.656MB
295.65/295.72	c total #watches: 272693
300.25/300.35	c total #propagations: 2164326 / total #impl: 5668318 (eff. 0.382)
300.25/300.35	c #Conflicts:      40000 | #Learnt:       6176 | 0.000
300.25/300.35	c total clause space: 206.656MB
300.25/300.35	c total #watches: 307559
306.05/306.18	c total #propagations: 2224982 / total #impl: 5851442 (eff. 0.380)
306.05/306.18	c #Conflicts:      41000 | #Learnt:       7176 | 0.000
306.05/306.18	c total clause space: 206.656MB
306.05/306.18	c total #watches: 321838
314.95/315.02	c total #propagations: 2307196 / total #impl: 6075288 (eff. 0.380)
314.95/315.02	c #Conflicts:      42000 | #Learnt:       8176 | 0.000
314.95/315.02	c total clause space: 206.656MB
314.95/315.02	c total #watches: 334588
323.44/323.58	c total #propagations: 2405452 / total #impl: 6399175 (eff. 0.376)
323.44/323.58	c #Conflicts:      43000 | #Learnt:       9176 | 0.000
323.44/323.58	c total clause space: 206.656MB
323.44/323.58	c total #watches: 346575
331.23/331.35	c total #propagations: 2484845 / total #impl: 6654915 (eff. 0.373)
331.23/331.35	c GC COLLECT
331.23/331.35	c #Conflicts:      44000 | #Learnt:       5168 | 0.000
331.23/331.35	c total clause space: 206.656MB
331.23/331.35	c total #watches: 276300
336.73/336.86	c total #propagations: 2556305 / total #impl: 6891986 (eff. 0.371)
336.73/336.86	c #Conflicts:      45000 | #Learnt:       6168 | 0.000
336.73/336.86	c total clause space: 206.656MB
336.73/336.86	c total #watches: 307959
342.63/342.73	c total #propagations: 2609665 / total #impl: 7022373 (eff. 0.372)
342.63/342.73	c #Conflicts:      46000 | #Learnt:       7168 | 0.000
342.63/342.73	c total clause space: 206.656MB
342.63/342.73	c total #watches: 320481
348.53/348.61	c total #propagations: 2686470 / total #impl: 7244766 (eff. 0.371)
348.53/348.61	c #Conflicts:      47000 | #Learnt:       8168 | 0.000
348.53/348.61	c total clause space: 206.656MB
348.53/348.61	c total #watches: 367885
356.22/356.35	c total #propagations: 2735591 / total #impl: 7369435 (eff. 0.371)
356.22/356.35	c #Conflicts:      48000 | #Learnt:       9168 | 0.000
356.22/356.35	c total clause space: 206.656MB
356.22/356.35	c total #watches: 433999
366.22/366.34	c total #propagations: 2783491 / total #impl: 7494847 (eff. 0.371)
366.22/366.34	c #Conflicts:      49000 | #Learnt:      10168 | 0.000
366.22/366.34	c total clause space: 206.656MB
366.22/366.34	c total #watches: 482381
374.91/375.09	c total #propagations: 2834482 / total #impl: 7614902 (eff. 0.372)
374.91/375.09	c GC COLLECT
374.91/375.09	c #Conflicts:      50000 | #Learnt:       5860 | 0.000
374.91/375.09	c total clause space: 206.656MB
374.91/375.09	c total #watches: 316696
381.80/381.96	c total #propagations: 2888808 / total #impl: 7742951 (eff. 0.373)
381.80/381.96	c #Conflicts:      51000 | #Learnt:       6860 | 0.000
381.80/381.96	c total clause space: 206.656MB
381.80/381.96	c total #watches: 375535
390.69/390.85	c total #propagations: 2940788 / total #impl: 7871537 (eff. 0.374)
390.69/390.85	c #Conflicts:      52000 | #Learnt:       7860 | 0.000
390.69/390.85	c total clause space: 206.656MB
390.69/390.85	c total #watches: 436082
400.59/400.77	c total #propagations: 2988841 / total #impl: 7990035 (eff. 0.374)
400.59/400.77	c #Conflicts:      53000 | #Learnt:       8860 | 0.000
400.59/400.77	c total clause space: 206.656MB
400.59/400.77	c total #watches: 478507
413.79/413.92	c total #propagations: 3043599 / total #impl: 8117332 (eff. 0.375)
413.79/413.92	c #Conflicts:      54000 | #Learnt:       9860 | 0.000
413.79/413.92	c total clause space: 206.656MB
413.79/413.92	c total #watches: 489801
426.28/426.43	c total #propagations: 3116114 / total #impl: 8306493 (eff. 0.375)
426.28/426.43	c #Conflicts:      55000 | #Learnt:      10860 | 0.000
426.28/426.43	c total clause space: 335.816MB
426.28/426.43	c total #watches: 548666
434.99/435.18	c total #propagations: 3166574 / total #impl: 8430259 (eff. 0.376)
434.99/435.18	c GC COLLECT
434.99/435.18	c #Conflicts:      56000 | #Learnt:       6242 | 0.000
434.99/435.18	c total clause space: 335.816MB
434.99/435.18	c total #watches: 339878
442.69/442.84	c total #propagations: 3214512 / total #impl: 8554184 (eff. 0.376)
442.69/442.84	c #Conflicts:      57000 | #Learnt:       7242 | 0.000
442.69/442.84	c total clause space: 335.816MB
442.69/442.84	c total #watches: 397406
452.18/452.34	c total #propagations: 3264879 / total #impl: 8672315 (eff. 0.376)
452.18/452.34	c #Conflicts:      58000 | #Learnt:       8242 | 0.000
452.18/452.34	c total clause space: 335.816MB
452.18/452.34	c total #watches: 459499
463.78/463.92	c total #propagations: 3311219 / total #impl: 8786811 (eff. 0.377)
463.78/463.92	c #Conflicts:      59000 | #Learnt:       9242 | 0.000
463.78/463.92	c total clause space: 335.816MB
463.78/463.92	c total #watches: 516081
477.78/477.94	c total #propagations: 3359439 / total #impl: 8915588 (eff. 0.377)
477.78/477.94	c #Conflicts:      60000 | #Learnt:      10242 | 0.000
477.78/477.94	c total clause space: 335.816MB
477.78/477.94	c total #watches: 580550
495.78/495.94	c total #propagations: 3407562 / total #impl: 9038338 (eff. 0.377)
495.78/495.94	c #Conflicts:      61000 | #Learnt:      11242 | 0.000
495.78/495.94	c total clause space: 335.816MB
495.78/495.94	c total #watches: 623356
508.78/508.94	c total #propagations: 3458181 / total #impl: 9160483 (eff. 0.378)
508.78/508.94	c GC COLLECT
508.78/508.94	c #Conflicts:      62000 | #Learnt:       6337 | 0.000
508.78/508.94	c total clause space: 335.816MB
508.78/508.94	c total #watches: 342061
515.37/515.54	c total #propagations: 3511134 / total #impl: 9288877 (eff. 0.378)
515.37/515.54	c #Conflicts:      63000 | #Learnt:       7337 | 0.000
515.37/515.54	c total clause space: 335.816MB
515.37/515.54	c total #watches: 388615
523.37/523.50	c total #propagations: 3561459 / total #impl: 9415077 (eff. 0.378)
523.37/523.50	c #Conflicts:      64000 | #Learnt:       8337 | 0.000
523.37/523.50	c total clause space: 335.816MB
523.37/523.50	c total #watches: 399788
530.87/531.10	c total #propagations: 3637871 / total #impl: 9659413 (eff. 0.377)
530.87/531.10	c #Conflicts:      65000 | #Learnt:       9337 | 0.000
530.87/531.10	c total clause space: 335.816MB
530.87/531.10	c total #watches: 409597
538.67/538.86	c total #propagations: 3723521 / total #impl: 9945064 (eff. 0.374)
538.67/538.86	c #Conflicts:      66000 | #Learnt:      10337 | 0.000
538.67/538.86	c total clause space: 335.816MB
538.67/538.86	c total #watches: 435451
548.77/548.94	c total #propagations: 3787024 / total #impl: 10126487 (eff. 0.374)
548.77/548.94	c #Conflicts:      67000 | #Learnt:      11337 | 0.000
548.77/548.94	c total clause space: 335.816MB
548.77/548.94	c total #watches: 493516
560.57/560.79	c total #propagations: 3837923 / total #impl: 10254021 (eff. 0.374)
560.57/560.79	c #Conflicts:      68000 | #Learnt:      12337 | 0.000
560.57/560.79	c total clause space: 335.816MB
560.57/560.79	c total #watches: 559426
567.67/567.85	c total #propagations: 3888518 / total #impl: 10382468 (eff. 0.375)
567.67/567.85	c GC COLLECT
567.67/567.85	c #Conflicts:      69000 | #Learnt:       7133 | 0.000
567.67/567.85	c total clause space: 335.816MB
567.67/567.85	c total #watches: 399100
577.37/577.54	c total #propagations: 3935840 / total #impl: 10496791 (eff. 0.375)
577.37/577.54	c #Conflicts:      70000 | #Learnt:       8133 | 0.000
577.37/577.54	c total clause space: 335.816MB
577.37/577.54	c total #watches: 462628
589.16/589.39	c total #propagations: 3985806 / total #impl: 10616355 (eff. 0.375)
589.16/589.39	c #Conflicts:      71000 | #Learnt:       9133 | 0.000
589.16/589.39	c total clause space: 335.816MB
589.16/589.39	c total #watches: 529330
604.16/604.31	c total #propagations: 4032791 / total #impl: 10731298 (eff. 0.376)
604.16/604.31	c #Conflicts:      72000 | #Learnt:      10133 | 0.000
604.16/604.31	c total clause space: 335.816MB
604.16/604.31	c total #watches: 572643
623.06/623.21	c total #propagations: 4086244 / total #impl: 10856312 (eff. 0.376)
623.06/623.21	c #Conflicts:      73000 | #Learnt:      11133 | 0.000
623.06/623.21	c total clause space: 335.816MB
623.06/623.21	c total #watches: 592452
643.95/644.12	c total #propagations: 4150383 / total #impl: 11030236 (eff. 0.376)
643.95/644.12	c #Conflicts:      74000 | #Learnt:      12133 | 0.000
643.95/644.12	c total clause space: 335.816MB
643.95/644.12	c total #watches: 623096
661.25/661.47	c total #propagations: 4213500 / total #impl: 11235809 (eff. 0.375)
661.25/661.47	c GC COLLECT
661.25/661.47	c #Conflicts:      75000 | #Learnt:       6621 | 0.000
661.25/661.47	c total clause space: 335.816MB
661.25/661.47	c total #watches: 364388
669.55/669.75	c total #propagations: 4262111 / total #impl: 11362111 (eff. 0.375)
669.55/669.75	c #Conflicts:      76000 | #Learnt:       7621 | 0.000
669.55/669.75	c total clause space: 335.816MB
669.55/669.75	c total #watches: 430693
680.75/680.92	c total #propagations: 4310729 / total #impl: 11482178 (eff. 0.375)
680.75/680.92	c #Conflicts:      77000 | #Learnt:       8621 | 0.000
680.75/680.92	c total clause space: 335.816MB
680.75/680.92	c total #watches: 475913
692.54/692.78	c total #propagations: 4361674 / total #impl: 11608638 (eff. 0.376)
692.54/692.78	c #Conflicts:      78000 | #Learnt:       9621 | 0.000
692.54/692.78	c total clause space: 335.816MB
692.54/692.78	c total #watches: 540777
708.64/708.84	c total #propagations: 4410844 / total #impl: 11728223 (eff. 0.376)
708.64/708.84	c #Conflicts:      79000 | #Learnt:      10621 | 0.000
708.64/708.84	c total clause space: 335.816MB
708.64/708.84	c total #watches: 601508
723.84/724.03	c total #propagations: 4458773 / total #impl: 11849211 (eff. 0.376)
723.84/724.03	c #Conflicts:      80000 | #Learnt:      11621 | 0.000
723.84/724.03	c total clause space: 335.816MB
723.84/724.03	c total #watches: 646744
741.73/741.91	c total #propagations: 4511668 / total #impl: 11973218 (eff. 0.377)
741.73/741.91	c #Conflicts:      81000 | #Learnt:      12621 | 0.000
741.73/741.91	c total clause space: 335.816MB
741.73/741.91	c total #watches: 688948
766.43/766.61	c total #propagations: 4562644 / total #impl: 12102128 (eff. 0.377)
766.43/766.61	c GC COLLECT
766.43/766.61	c #Conflicts:      82000 | #Learnt:       6817 | 0.000
766.43/766.61	c total clause space: 335.816MB
766.43/766.61	c total #watches: 379038
775.13/775.38	c total #propagations: 4632501 / total #impl: 12316773 (eff. 0.376)
775.13/775.38	c #Conflicts:      83000 | #Learnt:       7817 | 0.000
775.13/775.38	c total clause space: 335.816MB
775.13/775.38	c total #watches: 420103
787.83/788.09	c total #propagations: 4679805 / total #impl: 12436408 (eff. 0.376)
787.83/788.09	c #Conflicts:      84000 | #Learnt:       8817 | 0.000
787.83/788.09	c total clause space: 335.816MB
787.83/788.09	c total #watches: 441992
800.22/800.42	c total #propagations: 4749976 / total #impl: 12645423 (eff. 0.376)
800.22/800.42	c #Conflicts:      85000 | #Learnt:       9817 | 0.000
800.22/800.42	c total clause space: 335.816MB
800.22/800.42	c total #watches: 455545
813.83/814.07	c total #propagations: 4842458 / total #impl: 12909744 (eff. 0.375)
813.83/814.07	c #Conflicts:      86000 | #Learnt:      10817 | 0.000
813.83/814.07	c total clause space: 335.816MB
813.83/814.07	c total #watches: 473546
826.22/826.48	c total #propagations: 4910621 / total #impl: 13134871 (eff. 0.374)
826.22/826.48	c #Conflicts:      87000 | #Learnt:      11817 | 0.000
826.22/826.48	c total clause space: 335.816MB
826.22/826.48	c total #watches: 486751
837.82/838.05	c total #propagations: 4973430 / total #impl: 13336205 (eff. 0.373)
837.82/838.05	c #Conflicts:      88000 | #Learnt:      12817 | 0.000
837.82/838.05	c total clause space: 335.816MB
837.82/838.05	c total #watches: 514000
848.52/848.70	c total #propagations: 5038520 / total #impl: 13549325 (eff. 0.372)
848.52/848.70	c #Conflicts:      89000 | #Learnt:      13817 | 0.000
848.52/848.70	c total clause space: 335.816MB
848.52/848.70	c total #watches: 530819
860.61/860.87	c total #propagations: 5109045 / total #impl: 13752007 (eff. 0.372)
860.61/860.87	c GC COLLECT
860.61/860.87	c #Conflicts:      90000 | #Learnt:       7719 | 0.000
860.61/860.87	c total clause space: 335.816MB
860.61/860.87	c total #watches: 414302
873.11/873.35	c total #propagations: 5174182 / total #impl: 13943207 (eff. 0.371)
873.11/873.35	c #Conflicts:      91000 | #Learnt:       8719 | 0.000
873.11/873.35	c total clause space: 335.816MB
873.11/873.35	c total #watches: 426004
887.11/887.38	c total #propagations: 5244405 / total #impl: 14150845 (eff. 0.371)
887.11/887.38	c #Conflicts:      92000 | #Learnt:       9719 | 0.000
887.11/887.38	c total clause space: 335.816MB
887.11/887.38	c total #watches: 442854
897.41/897.68	c total #propagations: 5313073 / total #impl: 14375445 (eff. 0.370)
897.41/897.68	c #Conflicts:      93000 | #Learnt:      10719 | 0.000
897.41/897.68	c total clause space: 335.816MB
897.41/897.68	c total #watches: 479446
907.21/907.44	c total #propagations: 5369345 / total #impl: 14549454 (eff. 0.369)
907.21/907.44	c #Conflicts:      94000 | #Learnt:      11719 | 0.000
907.21/907.44	c total clause space: 335.816MB
907.21/907.44	c total #watches: 490819
919.21/919.42	c total #propagations: 5451643 / total #impl: 14781513 (eff. 0.369)
919.21/919.42	c #Conflicts:      95000 | #Learnt:      12719 | 0.000
919.21/919.42	c total clause space: 335.816MB
919.21/919.42	c total #watches: 500377
935.50/935.74	c total #propagations: 5528460 / total #impl: 15040249 (eff. 0.368)
935.50/935.74	c #Conflicts:      96000 | #Learnt:      13719 | 0.000
935.50/935.74	c total clause space: 335.816MB
935.50/935.74	c total #watches: 513555
952.80/953.02	c total #propagations: 5622208 / total #impl: 15381176 (eff. 0.366)
952.80/953.02	c #Conflicts:      97000 | #Learnt:      14719 | 0.000
952.80/953.02	c total clause space: 335.816MB
952.80/953.02	c total #watches: 529068
964.10/964.38	c total #propagations: 5730320 / total #impl: 15789306 (eff. 0.363)
964.10/964.38	c GC COLLECT
964.10/964.38	c #Conflicts:      98000 | #Learnt:       8315 | 0.000
964.10/964.38	c total clause space: 335.816MB
964.10/964.38	c total #watches: 433458
976.00/976.21	c total #propagations: 5799165 / total #impl: 15987374 (eff. 0.363)
976.00/976.21	c #Conflicts:      99000 | #Learnt:       9315 | 0.000
976.00/976.21	c total clause space: 335.816MB
976.00/976.21	c total #watches: 444660
987.60/987.81	c total #propagations: 5877336 / total #impl: 16236172 (eff. 0.362)
987.60/987.81	c #Conflicts:     100000 | #Learnt:      10315 | 0.000
987.60/987.81	c total clause space: 335.816MB
987.60/987.81	c total #watches: 454647
998.70/998.97	c total #propagations: 5960339 / total #impl: 16503143 (eff. 0.361)
998.70/998.97	c #Conflicts:     101000 | #Learnt:      11315 | 0.000
998.70/998.97	c total clause space: 335.816MB
998.70/998.97	c total #watches: 467151
1010.39/1010.65	c total #propagations: 6022426 / total #impl: 16696814 (eff. 0.361)
1010.39/1010.65	c #Conflicts:     102000 | #Learnt:      12315 | 0.000
1010.39/1010.65	c total clause space: 335.816MB
1010.39/1010.65	c total #watches: 478171
1022.39/1022.63	c total #propagations: 6110287 / total #impl: 16971082 (eff. 0.360)
1022.39/1022.63	c #Conflicts:     103000 | #Learnt:      13315 | 0.000
1022.39/1022.63	c total clause space: 335.816MB
1022.39/1022.63	c total #watches: 490435
1037.80/1038.01	c total #propagations: 6185408 / total #impl: 17202507 (eff. 0.360)
1037.80/1038.01	c #Conflicts:     104000 | #Learnt:      14315 | 0.000
1037.80/1038.01	c total clause space: 335.816MB
1037.80/1038.01	c total #watches: 500386
1049.89/1050.12	c total #propagations: 6266924 / total #impl: 17460804 (eff. 0.359)
1049.89/1050.12	c #Conflicts:     105000 | #Learnt:      15315 | 0.000
1049.89/1050.12	c total clause space: 335.816MB
1049.89/1050.12	c total #watches: 554741
1060.39/1060.67	c total #propagations: 6317494 / total #impl: 17593179 (eff. 0.359)
1060.39/1060.67	c GC COLLECT
1060.39/1060.67	c #Conflicts:     106000 | #Learnt:       8624 | 0.000
1060.39/1060.67	c total clause space: 335.816MB
1060.39/1060.67	c total #watches: 481852
1073.29/1073.57	c total #propagations: 6365112 / total #impl: 17719676 (eff. 0.359)
1073.29/1073.57	c #Conflicts:     107000 | #Learnt:       9624 | 0.000
1073.29/1073.57	c total clause space: 335.816MB
1073.29/1073.57	c total #watches: 534391
1088.59/1088.85	c total #propagations: 6416000 / total #impl: 17843340 (eff. 0.360)
1088.59/1088.85	c #Conflicts:     108000 | #Learnt:      10624 | 0.000
1088.59/1088.85	c total clause space: 335.816MB
1088.59/1088.85	c total #watches: 588020
1105.08/1105.38	c total #propagations: 6467128 / total #impl: 17966384 (eff. 0.360)
1105.08/1105.38	c #Conflicts:     109000 | #Learnt:      11624 | 0.000
1105.08/1105.38	c total clause space: 335.816MB
1105.08/1105.38	c total #watches: 652742
1125.78/1126.02	c total #propagations: 6515428 / total #impl: 18087703 (eff. 0.360)
1125.78/1126.02	c #Conflicts:     110000 | #Learnt:      12624 | 0.000
1125.78/1126.02	c total clause space: 335.816MB
1125.78/1126.02	c total #watches: 714113
1149.48/1149.78	c total #propagations: 6566176 / total #impl: 18212971 (eff. 0.361)
1149.48/1149.78	c #Conflicts:     111000 | #Learnt:      13624 | 0.000
1149.48/1149.78	c total clause space: 335.816MB
1149.48/1149.78	c total #watches: 762990
1177.67/1177.90	c total #propagations: 6617438 / total #impl: 18331317 (eff. 0.361)
1177.67/1177.90	c #Conflicts:     112000 | #Learnt:      14624 | 0.000
1177.67/1177.90	c total clause space: 335.816MB
1177.67/1177.90	c total #watches: 786997
1206.07/1206.36	c total #propagations: 6676625 / total #impl: 18478080 (eff. 0.361)
1206.07/1206.36	c #Conflicts:     113000 | #Learnt:      15624 | 0.000
1206.07/1206.36	c total clause space: 335.816MB
1206.07/1206.36	c total #watches: 830213
1222.86/1223.12	c total #propagations: 6731598 / total #impl: 18644761 (eff. 0.361)
1222.86/1223.12	c GC COLLECT
1222.86/1223.12	c #Conflicts:     114000 | #Learnt:       8615 | 0.000
1222.86/1223.12	c total clause space: 335.816MB
1222.86/1223.12	c total #watches: 489169
1236.56/1236.83	c total #propagations: 6779873 / total #impl: 18768432 (eff. 0.361)
1236.56/1236.83	c #Conflicts:     115000 | #Learnt:       9615 | 0.000
1236.56/1236.83	c total clause space: 335.816MB
1236.56/1236.83	c total #watches: 547634
1252.36/1252.69	c total #propagations: 6828733 / total #impl: 18890642 (eff. 0.361)
1252.36/1252.69	c #Conflicts:     116000 | #Learnt:      10615 | 0.000
1252.36/1252.69	c total clause space: 335.816MB
1252.36/1252.69	c total #watches: 601163
1268.25/1268.52	c total #propagations: 6878198 / total #impl: 19010521 (eff. 0.362)
1268.25/1268.52	c #Conflicts:     117000 | #Learnt:      11615 | 0.000
1268.25/1268.52	c total clause space: 335.816MB
1268.25/1268.52	c total #watches: 674095
1290.55/1290.85	c total #propagations: 6923298 / total #impl: 19122005 (eff. 0.362)
1290.55/1290.85	c #Conflicts:     118000 | #Learnt:      12615 | 0.000
1290.55/1290.85	c total clause space: 335.816MB
1290.55/1290.85	c total #watches: 732447
1313.85/1314.17	c total #propagations: 6971808 / total #impl: 19248416 (eff. 0.362)
1313.85/1314.17	c #Conflicts:     119000 | #Learnt:      13615 | 0.000
1313.85/1314.17	c total clause space: 335.816MB
1313.85/1314.17	c total #watches: 784101
1348.35/1348.65	c total #propagations: 7020169 / total #impl: 19368138 (eff. 0.362)
1348.35/1348.65	c #Conflicts:     120000 | #Learnt:      14615 | 0.000
1348.35/1348.65	c total clause space: 335.816MB
1348.35/1348.65	c total #watches: 806869
1388.24/1388.54	c total #propagations: 7093953 / total #impl: 19571479 (eff. 0.362)
1388.24/1388.54	c #Conflicts:     121000 | #Learnt:      15615 | 0.000
1388.24/1388.54	c total clause space: 335.816MB
1388.24/1388.54	c total #watches: 835301
1417.93/1418.22	c total #propagations: 7164906 / total #impl: 19776933 (eff. 0.362)
1417.93/1418.22	c GC COLLECT
1417.93/1418.22	c #Conflicts:     122000 | #Learnt:       8312 | 0.000
1417.93/1418.22	c total clause space: 335.816MB
1417.93/1418.22	c total #watches: 462259
1432.23/1432.59	c total #propagations: 7234500 / total #impl: 19963903 (eff. 0.362)
1432.23/1432.59	c #Conflicts:     123000 | #Learnt:       9312 | 0.000
1432.23/1432.59	c total clause space: 335.816MB
1432.23/1432.59	c total #watches: 501045
1449.82/1450.16	c total #propagations: 7292132 / total #impl: 20111520 (eff. 0.363)
1449.82/1450.16	c #Conflicts:     124000 | #Learnt:      10312 | 0.000
1449.82/1450.16	c total clause space: 335.816MB
1449.82/1450.16	c total #watches: 520277
1461.92/1462.29	c total #propagations: 7375503 / total #impl: 20376638 (eff. 0.362)
1461.92/1462.29	c #Conflicts:     125000 | #Learnt:      11312 | 0.000
1461.92/1462.29	c total clause space: 335.816MB
1461.92/1462.29	c total #watches: 563797
1475.62/1475.99	c total #propagations: 7426078 / total #impl: 20510319 (eff. 0.362)
1475.62/1475.99	c #Conflicts:     126000 | #Learnt:      12312 | 0.000
1475.62/1475.99	c total clause space: 335.816MB
1475.62/1475.99	c total #watches: 628018
1494.12/1494.43	c total #propagations: 7473460 / total #impl: 20637545 (eff. 0.362)
1494.12/1494.43	c #Conflicts:     127000 | #Learnt:      13312 | 0.000
1494.12/1494.43	c total clause space: 335.816MB
1494.12/1494.43	c total #watches: 668920
1514.31/1514.61	c total #propagations: 7526024 / total #impl: 20769966 (eff. 0.362)
1514.31/1514.61	c #Conflicts:     128000 | #Learnt:      14312 | 0.000
1514.31/1514.61	c total clause space: 335.816MB
1514.31/1514.61	c total #watches: 726602
1536.31/1536.69	c total #propagations: 7573090 / total #impl: 20890516 (eff. 0.363)
1536.31/1536.69	c #Conflicts:     129000 | #Learnt:      15312 | 0.000
1536.31/1536.69	c total clause space: 335.816MB
1536.31/1536.69	c total #watches: 788714
1560.51/1560.89	c total #propagations: 7624752 / total #impl: 21030042 (eff. 0.363)
1560.51/1560.89	c #Conflicts:     130000 | #Learnt:      16312 | 0.000
1560.51/1560.89	c total clause space: 335.816MB
1560.51/1560.89	c total #watches: 842051
1595.91/1596.26	c total #propagations: 7672329 / total #impl: 21143517 (eff. 0.363)
1595.91/1596.26	c GC COLLECT
1595.91/1596.26	c #Conflicts:     131000 | #Learnt:       8713 | 0.000
1595.91/1596.26	c total clause space: 545.701MB
1595.91/1596.26	c total #watches: 490578
1609.70/1610.02	c total #propagations: 7727329 / total #impl: 21286292 (eff. 0.363)
1609.70/1610.02	c #Conflicts:     132000 | #Learnt:       9713 | 0.000
1609.70/1610.02	c total clause space: 545.701MB
1609.70/1610.02	c total #watches: 532582
1624.00/1624.30	c total #propagations: 7778097 / total #impl: 21412215 (eff. 0.363)
1624.00/1624.30	c #Conflicts:     133000 | #Learnt:      10713 | 0.000
1624.00/1624.30	c total clause space: 545.701MB
1624.00/1624.30	c total #watches: 592598
1641.10/1641.45	c total #propagations: 7828277 / total #impl: 21535887 (eff. 0.363)
1641.10/1641.45	c #Conflicts:     134000 | #Learnt:      11713 | 0.000
1641.10/1641.45	c total clause space: 545.701MB
1641.10/1641.45	c total #watches: 661092
1660.20/1660.55	c total #propagations: 7873639 / total #impl: 21647998 (eff. 0.364)
1660.20/1660.55	c #Conflicts:     135000 | #Learnt:      12713 | 0.000
1660.20/1660.55	c total clause space: 545.701MB
1660.20/1660.55	c total #watches: 707493
1683.39/1683.75	c total #propagations: 7923410 / total #impl: 21769068 (eff. 0.364)
1683.39/1683.75	c #Conflicts:     136000 | #Learnt:      13713 | 0.000
1683.39/1683.75	c total clause space: 545.701MB
1683.39/1683.75	c total #watches: 778862
1711.49/1711.82	c total #propagations: 7973020 / total #impl: 21892152 (eff. 0.364)
1711.49/1711.82	c #Conflicts:     137000 | #Learnt:      14713 | 0.000
1711.49/1711.82	c total clause space: 545.701MB
1711.49/1711.82	c total #watches: 839580
1747.48/1747.87	c total #propagations: 8021230 / total #impl: 22014042 (eff. 0.364)
1747.48/1747.87	c #Conflicts:     138000 | #Learnt:      15713 | 0.000
1747.48/1747.87	c total clause space: 545.701MB
1747.48/1747.87	c total #watches: 893256
1782.68/1783.05	c total #propagations: 8072771 / total #impl: 22136381 (eff. 0.365)
1782.68/1783.05	c #Conflicts:     139000 | #Learnt:      16713 | 0.000
1782.68/1783.05	c total clause space: 545.701MB
1782.68/1783.05	c total #watches: 938477

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

pid=28977
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.02 2.05 2.00 3/174 28980
/proc/meminfo: memFree=30706064/32872528 swapFree=13256/481332
[pid=28980] ppid=28977 vsize=55976 CPUtime=0 cores=1,3,5,7
/proc/28980/stat : 28980 (cdcl-cuttingpla) R 28977 28980 25292 0 -1 4202496 258 0 0 0 0 0 0 0 20 0 1 0 122846489 57319424 7804 33554432000 4194304 6211289 140734780425344 140733991354872 4206551 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28980/statm: 13994 7804 98 493 0 13491 0

[startup+0.100175 s]
/proc/loadavg: 2.02 2.05 2.00 3/174 28980
/proc/meminfo: memFree=30706064/32872528 swapFree=13256/481332
[pid=28980] ppid=28977 vsize=64012 CPUtime=0.08 cores=1,3,5,7
/proc/28980/stat : 28980 (cdcl-cuttingpla) R 28977 28980 25292 0 -1 4202496 1906 0 0 0 8 0 0 0 20 0 1 0 122846489 65548288 13601 33554432000 4194304 6211289 140734780425344 140733991354872 5292177 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28980/statm: 16003 13601 143 493 0 15500 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 64012

[startup+0.200402 s]
/proc/loadavg: 2.02 2.05 2.00 3/174 28980
/proc/meminfo: memFree=30706064/32872528 swapFree=13256/481332
[pid=28980] ppid=28977 vsize=72576 CPUtime=0.19 cores=1,3,5,7
/proc/28980/stat : 28980 (cdcl-cuttingpla) R 28977 28980 25292 0 -1 4202496 3638 0 0 0 18 1 0 0 20 0 1 0 122846489 74317824 15502 33554432000 4194304 6211289 140734780425344 140733991354872 5204388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28980/statm: 18144 15502 143 493 0 17641 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 72576

[startup+0.30039 s]
/proc/loadavg: 2.02 2.05 2.00 3/174 28980
/proc/meminfo: memFree=30706064/32872528 swapFree=13256/481332
[pid=28980] ppid=28977 vsize=80820 CPUtime=0.29 cores=1,3,5,7
/proc/28980/stat : 28980 (cdcl-cuttingpla) R 28977 28980 25292 0 -1 4202496 5092 0 0 0 28 1 0 0 20 0 1 0 122846489 82759680 17978 33554432000 4194304 6211289 140734780425344 140733991354872 4235110 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28980/statm: 20205 17978 143 493 0 19702 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 80820

[startup+0.700232 s]
/proc/loadavg: 2.02 2.05 2.00 3/174 28980
/proc/meminfo: memFree=30706064/32872528 swapFree=13256/481332
[pid=28980] ppid=28977 vsize=105284 CPUtime=0.69 cores=1,3,5,7
/proc/28980/stat : 28980 (cdcl-cuttingpla) R 28977 28980 25292 0 -1 4202496 6696 0 0 0 67 2 0 0 20 0 1 0 122846489 107810816 22900 33554432000 4194304 6211289 140734780425344 140733991354872 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28980/statm: 26321 22900 204 493 0 25818 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 105284

[startup+1.50023 s]
/proc/loadavg: 2.02 2.05 2.00 3/175 28981
/proc/meminfo: memFree=30610788/32872528 swapFree=13256/481332
[pid=28980] ppid=28977 vsize=125176 CPUtime=1.49 cores=1,3,5,7
/proc/28980/stat : 28980 (cdcl-cuttingpla) R 28977 28980 25292 0 -1 4202496 7276 0 0 0 147 2 0 0 20 0 1 0 122846489 128180224 24915 33554432000 4194304 6211289 140734780425344 140734780423688 4209328 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28980/statm: 31294 24915 214 493 0 30791 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 125176

[startup+3.10023 s]
/proc/loadavg: 2.02 2.05 2.00 3/175 28981
/proc/meminfo: memFree=30599936/32872528 swapFree=13256/481332
[pid=28980] ppid=28977 vsize=126524 CPUtime=3.08 cores=1,3,5,7
/proc/28980/stat : 28980 (cdcl-cuttingpla) R 28977 28980 25292 0 -1 4202496 7608 0 0 0 306 2 0 0 20 0 1 0 122846489 129560576 28313 33554432000 4194304 6211289 140734780425344 140734780423256 4209328 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28980/statm: 31631 28313 214 493 0 31128 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 126524

[startup+6.30023 s]
/proc/loadavg: 2.02 2.05 2.00 3/175 28981
/proc/meminfo: memFree=30587160/32872528 swapFree=13256/481332
[pid=28980] ppid=28977 vsize=157612 CPUtime=6.29 cores=1,3,5,7
/proc/28980/stat : 28980 (cdcl-cuttingpla) R 28977 28980 25292 0 -1 4202496 8654 0 0 0 626 3 0 0 20 0 1 0 122846489 161394688 29739 33554432000 4194304 6211289 140734780425344 140734780423256 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28980/statm: 39403 29739 219 493 0 38900 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 157612

[startup+12.7003 s]
/proc/loadavg: 2.01 2.05 2.00 3/175 28981
/proc/meminfo: memFree=30561556/32872528 swapFree=13256/481332
[pid=28980] ppid=28977 vsize=160592 CPUtime=12.69 cores=1,3,5,7
/proc/28980/stat : 28980 (cdcl-cuttingpla) R 28977 28980 25292 0 -1 4202496 9614 0 0 0 1265 4 0 0 20 0 1 0 122846489 164446208 36821 33554432000 4194304 6211289 140734780425344 140734780423208 4209328 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28980/statm: 40148 36821 219 493 0 39645 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 160592

[startup+25.5004 s]
/proc/loadavg: 2.01 2.04 2.00 3/175 28981
/proc/meminfo: memFree=30544248/32872528 swapFree=13256/481332
[pid=28980] ppid=28977 vsize=212376 CPUtime=25.49 cores=1,3,5,7
/proc/28980/stat : 28980 (cdcl-cuttingpla) R 28977 28980 25292 0 -1 4202496 10300 0 0 0 2545 4 0 0 20 0 1 0 122846489 217473024 40975 33554432000 4194304 6211289 140734780425344 140734780423256 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28980/statm: 53094 40975 219 493 0 52591 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 212376

[startup+51.1004 s]
/proc/loadavg: 2.01 2.04 2.00 3/175 28981
/proc/meminfo: memFree=30518036/32872528 swapFree=13256/481332
[pid=28980] ppid=28977 vsize=216124 CPUtime=51.09 cores=1,3,5,7
/proc/28980/stat : 28980 (cdcl-cuttingpla) R 28977 28980 25292 0 -1 4202496 11583 0 0 0 5104 5 0 0 20 0 1 0 122846489 221310976 46581 33554432000 4194304 6211289 140734780425344 140734780423688 4209838 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28980/statm: 54031 46581 219 493 0 53528 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 216124

[startup+102.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/175 28982
/proc/meminfo: memFree=30479584/32872528 swapFree=13256/481332
[pid=28980] ppid=28977 vsize=299948 CPUtime=102.28 cores=1,3,5,7
/proc/28980/stat : 28980 (cdcl-cuttingpla) R 28977 28980 25292 0 -1 4202496 13150 0 0 0 10222 6 0 0 20 0 1 0 122846489 307146752 53781 33554432000 4194304 6211289 140734780425344 140734780423688 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28980/statm: 74987 53781 219 493 0 74484 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 299948

[startup+162.3 s]
/proc/loadavg: 2.09 2.05 2.00 3/175 28983
/proc/meminfo: memFree=30434588/32872528 swapFree=13256/481332
[pid=28980] ppid=28977 vsize=300588 CPUtime=162.27 cores=1,3,5,7
/proc/28980/stat : 28980 (cdcl-cuttingpla) R 28977 28980 25292 0 -1 4202496 13573 0 0 0 16220 7 0 0 20 0 1 0 122846489 307802112 58283 33554432000 4194304 6211289 140734780425344 140734780423688 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28980/statm: 75147 58283 219 493 0 74644 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 300588

[startup+222.307 s]
/proc/loadavg: 2.17 2.07 2.01 3/175 28984
/proc/meminfo: memFree=30378360/32872528 swapFree=13256/481332
[pid=28980] ppid=28977 vsize=308000 CPUtime=222.26 cores=1,3,5,7
/proc/28980/stat : 28980 (cdcl-cuttingpla) R 28977 28980 25292 0 -1 4202496 15083 0 0 0 22219 7 0 0 20 0 1 0 122846489 315392000 68991 33554432000 4194304 6211289 140734780425344 140734780423256 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28980/statm: 77000 68991 219 493 0 76497 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 308000

[startup+282.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/175 28986
/proc/meminfo: memFree=30341864/32872528 swapFree=13256/481332
[pid=28980] ppid=28977 vsize=308320 CPUtime=282.24 cores=1,3,5,7
/proc/28980/stat : 28980 (cdcl-cuttingpla) R 28977 28980 25292 0 -1 4202496 15173 0 0 0 28217 7 0 0 20 0 1 0 122846489 315719680 69081 33554432000 4194304 6211289 140734780425344 140734780423688 4209882 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28980/statm: 77080 69081 219 493 0 76577 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 308320

[startup+342.3 s]
/proc/loadavg: 2.06 2.06 2.00 3/176 28990
/proc/meminfo: memFree=30333136/32872528 swapFree=13256/481332
[pid=28980] ppid=28977 vsize=308800 CPUtime=342.23 cores=1,3,5,7
/proc/28980/stat : 28980 (cdcl-cuttingpla) R 28977 28980 25292 0 -1 4202496 15290 0 0 0 34215 8 0 0 20 0 1 0 122846489 316211200 71194 33554432000 4194304 6211289 140734780425344 140734780423688 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28980/statm: 77200 71194 219 493 0 76697 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 308800

[startup+402.3 s]
/proc/loadavg: 2.12 2.07 2.01 3/175 28991
/proc/meminfo: memFree=30318028/32872528 swapFree=13256/481332
[pid=28980] ppid=28977 vsize=309120 CPUtime=402.19 cores=1,3,5,7
/proc/28980/stat : 28980 (cdcl-cuttingpla) R 28977 28980 25292 0 -1 4202496 15415 0 0 0 40211 8 0 0 20 0 1 0 122846489 316538880 74342 33554432000 4194304 6211289 140734780425344 140734780423688 4209328 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28980/statm: 77280 74342 219 493 0 76777 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 309120

[startup+462.3 s]
/proc/loadavg: 2.04 2.06 2.00 3/175 28992
/proc/meminfo: memFree=30299960/32872528 swapFree=13256/481332
[pid=28980] ppid=28977 vsize=442500 CPUtime=462.18 cores=1,3,5,7
/proc/28980/stat : 28980 (cdcl-cuttingpla) R 28977 28980 25292 0 -1 4202496 15951 0 0 0 46209 9 0 0 20 0 1 0 122846489 453120000 78636 33554432000 4194304 6211289 140734780425344 140734780423688 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28980/statm: 110625 78636 219 493 0 110122 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 442500

[startup+522.3 s]
/proc/loadavg: 2.12 2.08 2.01 4/175 28993
/proc/meminfo: memFree=30280040/32872528 swapFree=13256/481332
[pid=28980] ppid=28977 vsize=444100 CPUtime=522.17 cores=1,3,5,7
/proc/28980/stat : 28980 (cdcl-cuttingpla) R 28977 28980 25292 0 -1 4202496 16255 0 0 0 52208 9 0 0 20 0 1 0 122846489 454758400 83539 33554432000 4194304 6211289 140734780425344 140734780423688 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28980/statm: 111025 83539 219 493 0 110522 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 444100

[startup+582.3 s]
/proc/loadavg: 2.04 2.06 2.00 3/175 28995
/proc/meminfo: memFree=30278788/32872528 swapFree=13256/481332
[pid=28980] ppid=28977 vsize=444580 CPUtime=582.16 cores=1,3,5,7
/proc/28980/stat : 28980 (cdcl-cuttingpla) R 28977 28980 25292 0 -1 4202496 16359 0 0 0 58207 9 0 0 20 0 1 0 122846489 455249920 83721 33554432000 4194304 6211289 140734780425344 140734780423688 4209328 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28980/statm: 111145 83721 219 493 0 110642 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 444580


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


[startup+882.307 s]
/proc/loadavg: 2.18 2.12 2.03 3/175 29001
/proc/meminfo: memFree=30189908/32872528 swapFree=13256/481332
[pid=28980] ppid=28977 vsize=447752 CPUtime=882.12 cores=1,3,5,7
/proc/28980/stat : 28980 (cdcl-cuttingpla) R 28977 28980 25292 0 -1 4202496 17017 0 0 0 88203 9 0 0 20 0 1 0 122846489 458498048 92044 33554432000 4194304 6211289 140734780425344 140734780423688 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28980/statm: 111938 92044 219 493 0 111435 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 447752

[startup+942.3 s]
/proc/loadavg: 2.11 2.11 2.03 3/176 29005
/proc/meminfo: memFree=30181748/32872528 swapFree=13256/481332
[pid=28980] ppid=28977 vsize=447752 CPUtime=942.1 cores=1,3,5,7
/proc/28980/stat : 28980 (cdcl-cuttingpla) R 28977 28980 25292 0 -1 4202496 17036 0 0 0 94201 9 0 0 20 0 1 0 122846489 458498048 92063 33554432000 4194304 6211289 140734780425344 140734780423688 4209838 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28980/statm: 111938 92063 219 493 0 111435 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 447752

[startup+1002.3 s]
/proc/loadavg: 2.08 2.10 2.03 3/175 29006
/proc/meminfo: memFree=30180888/32872528 swapFree=13256/481332
[pid=28980] ppid=28977 vsize=447752 CPUtime=1002.09 cores=1,3,5,7
/proc/28980/stat : 28980 (cdcl-cuttingpla) R 28977 28980 25292 0 -1 4202496 17048 0 0 0 100200 9 0 0 20 0 1 0 122846489 458498048 92075 33554432000 4194304 6211289 140734780425344 140734780423688 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28980/statm: 111938 92075 219 493 0 111435 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 447752

[startup+1062.3 s]
/proc/loadavg: 2.09 2.10 2.03 3/175 29007
/proc/meminfo: memFree=30170260/32872528 swapFree=13256/481332
[pid=28980] ppid=28977 vsize=448520 CPUtime=1062.09 cores=1,3,5,7
/proc/28980/stat : 28980 (cdcl-cuttingpla) R 28977 28980 25292 0 -1 4202496 17202 0 0 0 106199 10 0 0 20 0 1 0 122846489 459284480 94784 33554432000 4194304 6211289 140734780425344 140734780423688 4209328 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28980/statm: 112130 94784 219 493 0 111627 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 448520

[startup+1122.3 s]
/proc/loadavg: 2.11 2.11 2.03 3/175 29008
/proc/meminfo: memFree=30170136/32872528 swapFree=13256/481332
[pid=28980] ppid=28977 vsize=448680 CPUtime=1122.08 cores=1,3,5,7
/proc/28980/stat : 28980 (cdcl-cuttingpla) R 28977 28980 25292 0 -1 4202496 17245 0 0 0 112198 10 0 0 20 0 1 0 122846489 459448320 94827 33554432000 4194304 6211289 140734780425344 140734780423256 4209882 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28980/statm: 112170 94827 219 493 0 111667 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 448680

[startup+1182.3 s]
/proc/loadavg: 2.04 2.08 2.02 3/175 29010
/proc/meminfo: memFree=30150584/32872528 swapFree=13256/481332
[pid=28980] ppid=28977 vsize=449480 CPUtime=1182.07 cores=1,3,5,7
/proc/28980/stat : 28980 (cdcl-cuttingpla) R 28977 28980 25292 0 -1 4202496 17450 0 0 0 118196 11 0 0 20 0 1 0 122846489 460267520 99631 33554432000 4194304 6211289 140734780425344 140734780423208 4209328 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28980/statm: 112370 99631 219 493 0 111867 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 449480

[startup+1242.3 s]
/proc/loadavg: 2.17 2.11 2.04 3/175 29011
/proc/meminfo: memFree=30111360/32872528 swapFree=13256/481332
[pid=28980] ppid=28977 vsize=449800 CPUtime=1242.06 cores=1,3,5,7
/proc/28980/stat : 28980 (cdcl-cuttingpla) R 28977 28980 25292 0 -1 4202496 17611 0 0 0 124195 11 0 0 20 0 1 0 122846489 460595200 106647 33554432000 4194304 6211289 140734780425344 140734780423688 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28980/statm: 112450 106647 219 493 0 111947 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 449800

[startup+1302.3 s]
/proc/loadavg: 2.06 2.09 2.03 3/175 29012
/proc/meminfo: memFree=30091988/32872528 swapFree=13256/481332
[pid=28980] ppid=28977 vsize=449800 CPUtime=1302.05 cores=1,3,5,7
/proc/28980/stat : 28980 (cdcl-cuttingpla) R 28977 28980 25292 0 -1 4202496 17624 0 0 0 130194 11 0 0 20 0 1 0 122846489 460595200 106659 33554432000 4194304 6211289 140734780425344 140734780423688 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28980/statm: 112450 106659 219 493 0 111947 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 449800

[startup+1362.3 s]
/proc/loadavg: 2.21 2.12 2.04 3/175 29013
/proc/meminfo: memFree=30091988/32872528 swapFree=13256/481332
[pid=28980] ppid=28977 vsize=449960 CPUtime=1362.04 cores=1,3,5,7
/proc/28980/stat : 28980 (cdcl-cuttingpla) R 28977 28980 25292 0 -1 4202496 17668 0 0 0 136193 11 0 0 20 0 1 0 122846489 460759040 106703 33554432000 4194304 6211289 140734780425344 140734780423688 4209306 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28980/statm: 112490 106703 219 493 0 111987 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 449960

[startup+1422.3 s]
/proc/loadavg: 2.14 2.11 2.04 4/175 29014
/proc/meminfo: memFree=30085840/32872528 swapFree=13256/481332
[pid=28980] ppid=28977 vsize=450472 CPUtime=1422.03 cores=1,3,5,7
/proc/28980/stat : 28980 (cdcl-cuttingpla) R 28977 28980 25292 0 -1 4202496 17771 0 0 0 142192 11 0 0 20 0 1 0 122846489 461283328 108339 33554432000 4194304 6211289 140734780425344 140734780423688 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28980/statm: 112618 108339 219 493 0 112115 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 450472

[startup+1482.3 s]
/proc/loadavg: 2.10 2.10 2.04 3/174 29015
/proc/meminfo: memFree=30085740/32872528 swapFree=13256/481332
[pid=28980] ppid=28977 vsize=450472 CPUtime=1482.02 cores=1,3,5,7
/proc/28980/stat : 28980 (cdcl-cuttingpla) R 28977 28980 25292 0 -1 4202496 17772 0 0 0 148191 11 0 0 20 0 1 0 122846489 461283328 108340 33554432000 4194304 6211289 140734780425344 140734780423688 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28980/statm: 112618 108340 219 493 0 112115 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 450472

[startup+1542.31 s]
/proc/loadavg: 2.20 2.13 2.05 3/176 29020
/proc/meminfo: memFree=30074816/32872528 swapFree=13256/481332
[pid=28980] ppid=28977 vsize=450472 CPUtime=1542.02 cores=1,3,5,7
/proc/28980/stat : 28980 (cdcl-cuttingpla) R 28977 28980 25292 0 -1 4202496 17786 0 0 0 154191 11 0 0 20 0 1 0 122846489 461283328 108354 33554432000 4194304 6211289 140734780425344 140734780423688 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28980/statm: 112618 108354 219 493 0 112115 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 450472

[startup+1602.3 s]
/proc/loadavg: 2.07 2.10 2.04 3/175 29021
/proc/meminfo: memFree=30062604/32872528 swapFree=13256/481332
[pid=28980] ppid=28977 vsize=665780 CPUtime=1602 cores=1,3,5,7
/proc/28980/stat : 28980 (cdcl-cuttingpla) R 28977 28980 25292 0 -1 4202496 18222 0 0 0 160186 14 0 0 20 0 1 0 122846489 681758720 111229 33554432000 4194304 6211289 140734780425344 140734780423688 4209306 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28980/statm: 166445 111229 219 493 0 165942 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 665780

[startup+1662.3 s]
/proc/loadavg: 2.09 2.10 2.04 3/175 29067
/proc/meminfo: memFree=30352836/32872528 swapFree=13256/481332
[pid=28980] ppid=28977 vsize=665780 CPUtime=1662 cores=1,3,5,7
/proc/28980/stat : 28980 (cdcl-cuttingpla) R 28977 28980 25292 0 -1 4202496 18222 0 0 0 166186 14 0 0 20 0 1 0 122846489 681758720 111229 33554432000 4194304 6211289 140734780425344 140734780423688 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28980/statm: 166445 111229 219 493 0 165942 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 665780

[startup+1722.3 s]
/proc/loadavg: 2.09 2.09 2.04 4/175 29068
/proc/meminfo: memFree=30326880/32872528 swapFree=13256/481332
[pid=28980] ppid=28977 vsize=665780 CPUtime=1721.99 cores=1,3,5,7
/proc/28980/stat : 28980 (cdcl-cuttingpla) R 28977 28980 25292 0 -1 4202496 18249 0 0 0 172185 14 0 0 20 0 1 0 122846489 681758720 111256 33554432000 4194304 6211289 140734780425344 140734780423688 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28980/statm: 166445 111256 219 493 0 165942 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 665780

[startup+1782.3 s]
/proc/loadavg: 2.03 2.07 2.04 3/175 29069
/proc/meminfo: memFree=30307088/32872528 swapFree=13256/481332
[pid=28980] ppid=28977 vsize=666356 CPUtime=1781.98 cores=1,3,5,7
/proc/28980/stat : 28980 (cdcl-cuttingpla) R 28977 28980 25292 0 -1 4202496 18546 0 0 0 178184 14 0 0 20 0 1 0 122846489 682348544 111495 33554432000 4194304 6211289 140734780425344 140734780423208 4209380 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28980/statm: 166589 111495 219 493 0 166086 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 666356



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.09 2.08 2.04 3/175 29071
/proc/meminfo: memFree=30292684/32872528 swapFree=13256/481332
[pid=28980] ppid=28977 vsize=666740 CPUtime=1800.07 cores=1,3,5,7
/proc/28980/stat : 28980 (cdcl-cuttingpla) R 28977 28980 25292 0 -1 4202496 18632 0 0 0 179993 14 0 0 20 0 1 0 122846489 682741760 112726 33554432000 4194304 6211289 140734780425344 140734780423208 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/28980/statm: 166685 112726 219 493 0 166182 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 666740

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 28980 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.1
CPU user time (s): 1799.93
CPU system time (s): 0.167974
CPU usage (%): 99.9823
Max. virtual memory (cumulated for all children) (KiB): 666740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.93
system time used= 0.167974
maximum resident set size= 450904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18632
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= 77
involuntary context switches= 1973

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.36118 second user time and 6.543 second system time

The end

Launcher Data 

Begin job on node104 at 2016-06-08 20:05:16
IDJOB=4087475
IDBENCH=2251
IDSOLVER=2549
FILE ID=node104/4087475-1465409116
RUNJOBID= node104-1465387127-25309
PBS_JOBID= 19853856
Free space on /tmp= 71732 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-2.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087475-1465409116/watcher-4087475-1465409116 -o /tmp/evaluation-result-4087475-1465409116/solver-4087475-1465409116 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1465387127-25309 --watchdog 1960 --input HOME/instance-4087475-1465409116.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= aabc023158e10c9511062af8ac97c515
RANDOM SEED=1348664056

node104.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.775
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.55
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.775
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.775
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.775
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.775
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.775
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.775
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.775
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30706328 kB
Buffers:          135668 kB
Cached:           532704 kB
SwapCached:         1724 kB
Active:           480776 kB
Inactive:         466604 kB
Active(anon):     278316 kB
Inactive(anon):     3024 kB
Active(file):     202460 kB
Inactive(file):   463580 kB
Unevictable:      481332 kB
Mlocked:           13256 kB
SwapTotal:      67108856 kB
SwapFree:       67097284 kB
Dirty:              3536 kB
Writeback:             0 kB
AnonPages:        761452 kB
Mapped:             7936 kB
Shmem:                 0 kB
Slab:             604232 kB
SReclaimable:      48248 kB
SUnreclaim:       555984 kB
KernelStack:        1408 kB
PageTables:         5464 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     906936 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    575488 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71732 MiB
End job on node104 at 2016-06-08 20:35:17