Trace number 4087711

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.4

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_030_area_delay.opb
MD5SUM55bd571d186b9003e67d2301a4d2bce5
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark25
Best CPU time to get the best result obtained on this benchmark0.12698
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 25
Optimality of the best value was proved YES
Number of variables4666
Total number of constraints12693
Number of constraints which are clauses12693
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 constraint1
Maximum length of a constraint63
Number of terms in the objective function 2273
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 2273
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2273
Number of bits of the biggest sum of numbers12
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.02	c * #variable= 4666 #constraint= 12693
0.00/0.06	c * #variable= 4666 #constraint= 12693
0.79/0.82	c S1->S2
0.79/0.82	c S1->S2
0.79/0.82	c S1->S2
0.79/0.82	c S1->S2
0.79/0.82	c S2->S1
0.79/0.82	c S2->S1
0.79/0.82	c #Conflicts:       1000 | #Learnt:        869 | 0.000
0.79/0.82	c total clause space: 48.1602MB
0.79/0.82	c total #watches: 1048458
4.19/4.21	c total #propagations: 501838 / total #impl: 5185902 (eff. 0.097)
4.19/4.21	c #Conflicts:       2000 | #Learnt:       1869 | 0.000
4.19/4.21	c total clause space: 78.2603MB
4.19/4.21	c total #watches: 1585473
7.18/7.20	c total #propagations: 883694 / total #impl: 58406887 (eff. 0.015)
7.18/7.20	c GC COLLECT
7.18/7.20	c #Conflicts:       3000 | #Learnt:       1940 | 0.000
7.18/7.20	c total clause space: 78.2603MB
7.18/7.20	c total #watches: 1424628
19.08/19.15	c total #propagations: 1050758 / total #impl: 83435884 (eff. 0.013)
19.08/19.15	c #Conflicts:       4000 | #Learnt:       2940 | 0.000
19.08/19.15	c total clause space: 78.2603MB
19.08/19.15	c total #watches: 1909472
30.09/30.16	c total #propagations: 1566363 / total #impl: 223831284 (eff. 0.007)
30.09/30.16	c GC COLLECT
30.09/30.16	c #Conflicts:       5000 | #Learnt:       2327 | 0.000
30.09/30.16	c total clause space: 78.2603MB
30.09/30.16	c total #watches: 1579926
46.89/46.97	c total #propagations: 1848677 / total #impl: 328796835 (eff. 0.006)
46.89/46.97	c #Conflicts:       6000 | #Learnt:       3327 | 0.000
46.89/46.97	c total clause space: 78.2603MB
46.89/46.97	c total #watches: 1936803
62.58/62.64	c total #propagations: 2296292 / total #impl: 494179369 (eff. 0.005)
62.58/62.64	c GC COLLECT
62.58/62.64	c #Conflicts:       7000 | #Learnt:       2219 | 0.000
62.58/62.64	c total clause space: 127.173MB
62.58/62.64	c total #watches: 1362914
74.97/75.08	c total #propagations: 2609225 / total #impl: 698402873 (eff. 0.004)
74.97/75.08	c #Conflicts:       8000 | #Learnt:       3219 | 0.000
74.97/75.08	c total clause space: 127.173MB
74.97/75.08	c total #watches: 1485463
95.17/95.29	c total #propagations: 2760869 / total #impl: 812369820 (eff. 0.003)
95.17/95.29	c #Conflicts:       9000 | #Learnt:       4219 | 0.000
95.17/95.29	c total clause space: 127.173MB
95.17/95.29	c total #watches: 1756265
117.88/117.92	c total #propagations: 3158930 / total #impl: 1113574392 (eff. 0.003)
117.88/117.92	c GC COLLECT
117.88/117.92	c #Conflicts:      10000 | #Learnt:       2723 | 0.000
117.88/117.92	c total clause space: 127.173MB
117.88/117.92	c total #watches: 1153603
129.47/129.50	c total #propagations: 3427585 / total #impl: 1515161925 (eff. 0.002)
129.47/129.50	c #Conflicts:      11000 | #Learnt:       3723 | 0.000
129.47/129.50	c total clause space: 127.173MB
129.47/129.50	c total #watches: 1314910
149.07/149.17	c total #propagations: 3589777 / total #impl: 1667059750 (eff. 0.002)
149.07/149.17	c #Conflicts:      12000 | #Learnt:       4723 | 0.000
149.07/149.17	c total clause space: 127.173MB
149.07/149.17	c total #watches: 1486864
171.77/171.81	c total #propagations: 3891288 / total #impl: 1954243256 (eff. 0.002)
171.77/171.81	c #Conflicts:      13000 | #Learnt:       5723 | 0.000
171.77/171.81	c total clause space: 127.173MB
171.77/171.81	c total #watches: 1645741
192.47/192.54	c total #propagations: 4263997 / total #impl: 2300174643 (eff. 0.002)
192.47/192.54	c GC COLLECT
192.47/192.54	c #Conflicts:      14000 | #Learnt:       3878 | 0.000
192.47/192.54	c total clause space: 127.173MB
192.47/192.54	c total #watches: 1144957
217.96/218.02	c total #propagations: 4531143 / total #impl: 2443670075 (eff. 0.002)
217.96/218.02	c #Conflicts:      15000 | #Learnt:       4878 | 0.000
217.96/218.02	c total clause space: 127.173MB
217.96/218.02	c total #watches: 1379260
241.36/241.45	c total #propagations: 5106740 / total #impl: 3036575576 (eff. 0.002)
241.36/241.45	c #Conflicts:      16000 | #Learnt:       5878 | 0.000
241.36/241.45	c total clause space: 127.173MB
241.36/241.45	c total #watches: 1542277
248.36/248.49	c total #propagations: 5980932 / total #impl: 3454801533 (eff. 0.002)
248.36/248.49	c GC COLLECT
248.36/248.49	c #Conflicts:      17000 | #Learnt:       3691 | 0.000
248.36/248.49	c total clause space: 127.173MB
248.36/248.49	c total #watches: 1215538
264.25/264.32	c total #propagations: 6330529 / total #impl: 3504531050 (eff. 0.002)
264.25/264.32	c #Conflicts:      18000 | #Learnt:       4691 | 0.000
264.25/264.32	c total clause space: 127.173MB
264.25/264.32	c total #watches: 1703785
287.63/287.76	c total #propagations: 6548265 / total #impl: 3629581196 (eff. 0.002)
287.63/287.76	c #Conflicts:      19000 | #Learnt:       5691 | 0.000
287.63/287.76	c total clause space: 127.173MB
287.63/287.76	c total #watches: 2044697
306.92/307.04	c total #propagations: 6815639 / total #impl: 3850461190 (eff. 0.002)
306.92/307.04	c #Conflicts:      20000 | #Learnt:       6691 | 0.000
306.92/307.04	c total clause space: 127.173MB
306.92/307.04	c total #watches: 2678005
323.21/323.36	c total #propagations: 7114060 / total #impl: 3964294019 (eff. 0.002)
323.21/323.36	c GC COLLECT
323.21/323.36	c #Conflicts:      21000 | #Learnt:       4199 | 0.000
323.21/323.36	c total clause space: 127.173MB
323.21/323.36	c total #watches: 2734656
341.81/341.98	c total #propagations: 7558294 / total #impl: 4081095065 (eff. 0.002)
341.81/341.98	c #Conflicts:      22000 | #Learnt:       5199 | 0.000
341.81/341.98	c total clause space: 127.173MB
341.81/341.98	c total #watches: 3311501
369.21/369.35	c total #propagations: 7784446 / total #impl: 4143329649 (eff. 0.002)
369.21/369.35	c #Conflicts:      23000 | #Learnt:       6199 | 0.000
369.21/369.35	c total clause space: 206.656MB
369.21/369.35	c total #watches: 3442069
393.81/393.96	c total #propagations: 8515628 / total #impl: 4247216793 (eff. 0.002)
393.81/393.96	c #Conflicts:      24000 | #Learnt:       7199 | 0.000
393.81/393.96	c total clause space: 206.656MB
393.81/393.96	c total #watches: 3603353
408.80/408.98	c total #propagations: 9593556 / total #impl: 4311944687 (eff. 0.002)
408.80/408.98	c GC COLLECT
408.80/408.98	c #Conflicts:      25000 | #Learnt:       4397 | 0.000
408.80/408.98	c total clause space: 206.656MB
408.80/408.98	c total #watches: 2263673
416.40/416.52	c total #propagations: 10387159 / total #impl: 4358113144 (eff. 0.002)
416.40/416.52	c #Conflicts:      26000 | #Learnt:       5397 | 0.000
416.40/416.52	c total clause space: 206.656MB
416.40/416.52	c total #watches: 2570000
429.80/429.94	c total #propagations: 10477122 / total #impl: 4420311180 (eff. 0.002)
429.80/429.94	c #Conflicts:      27000 | #Learnt:       6397 | 0.000
429.80/429.94	c total clause space: 206.656MB
429.80/429.94	c total #watches: 2942864
452.69/452.85	c total #propagations: 10605220 / total #impl: 4501090995 (eff. 0.002)
452.69/452.85	c #Conflicts:      28000 | #Learnt:       7397 | 0.000
452.69/452.85	c total clause space: 206.656MB
452.69/452.85	c total #watches: 3453215
460.10/460.27	c total #propagations: 10929120 / total #impl: 4592477636 (eff. 0.002)
460.10/460.27	c GC COLLECT
460.10/460.27	c #Conflicts:      29000 | #Learnt:       4298 | 0.000
460.10/460.27	c total clause space: 206.656MB
460.10/460.27	c total #watches: 2006989
462.40/462.59	c total #propagations: 11087283 / total #impl: 4641609727 (eff. 0.002)
462.40/462.59	c #Conflicts:      30000 | #Learnt:       5298 | 0.000
462.40/462.59	c total clause space: 206.656MB
462.40/462.59	c total #watches: 2207696
465.31/465.49	c total #propagations: 11162280 / total #impl: 4659274038 (eff. 0.002)
465.31/465.49	c #Conflicts:      31000 | #Learnt:       6298 | 0.000
465.31/465.49	c total clause space: 206.656MB
465.31/465.49	c total #watches: 2398143
469.90/470.09	c total #propagations: 11215146 / total #impl: 4686958365 (eff. 0.002)
469.90/470.09	c #Conflicts:      32000 | #Learnt:       7298 | 0.000
469.90/470.09	c total clause space: 206.656MB
469.90/470.09	c total #watches: 2496140
474.90/475.01	c total #propagations: 11404034 / total #impl: 4727636461 (eff. 0.002)
474.90/475.01	c #Conflicts:      33000 | #Learnt:       8298 | 0.000
474.90/475.01	c total clause space: 206.656MB
474.90/475.01	c total #watches: 2763661
480.10/480.22	c total #propagations: 11502284 / total #impl: 4778757340 (eff. 0.002)
480.10/480.22	c GC COLLECT
480.10/480.22	c #Conflicts:      34000 | #Learnt:       4895 | 0.000
480.10/480.22	c total clause space: 206.656MB
480.10/480.22	c total #watches: 1232444
483.70/483.80	c total #propagations: 11697050 / total #impl: 4828530231 (eff. 0.002)
483.70/483.80	c #Conflicts:      35000 | #Learnt:       5895 | 0.000
483.70/483.80	c total clause space: 206.656MB
483.70/483.80	c total #watches: 1496868
486.99/487.12	c total #propagations: 11759146 / total #impl: 4884680016 (eff. 0.002)
486.99/487.12	c #Conflicts:      36000 | #Learnt:       6895 | 0.000
486.99/487.12	c total clause space: 206.656MB
486.99/487.12	c total #watches: 1646965
493.49/493.62	c total #propagations: 11813614 / total #impl: 4930178546 (eff. 0.002)
493.49/493.62	c #Conflicts:      37000 | #Learnt:       7895 | 0.000
493.49/493.62	c total clause space: 206.656MB
493.49/493.62	c total #watches: 1902194
497.29/497.46	c total #propagations: 11923091 / total #impl: 5028982008 (eff. 0.002)
497.29/497.46	c #Conflicts:      38000 | #Learnt:       8895 | 0.000
497.29/497.46	c total clause space: 206.656MB
497.29/497.46	c total #watches: 2012002
503.89/504.01	c total #propagations: 12079638 / total #impl: 5067155906 (eff. 0.002)
503.89/504.01	c GC COLLECT
503.89/504.01	c #Conflicts:      39000 | #Learnt:       5207 | 0.000
503.89/504.01	c total clause space: 206.656MB
503.89/504.01	c total #watches: 1229980
513.49/513.62	c total #propagations: 12249076 / total #impl: 5100245241 (eff. 0.002)
513.49/513.62	c #Conflicts:      40000 | #Learnt:       6207 | 0.000
513.49/513.62	c total clause space: 206.656MB
513.49/513.62	c total #watches: 1412475
523.99/524.16	c total #propagations: 12600816 / total #impl: 5177371655 (eff. 0.002)
523.99/524.16	c #Conflicts:      41000 | #Learnt:       7207 | 0.000
523.99/524.16	c total clause space: 206.656MB
523.99/524.16	c total #watches: 1499497
533.29/533.43	c total #propagations: 12889114 / total #impl: 5268541411 (eff. 0.002)
533.29/533.43	c #Conflicts:      42000 | #Learnt:       8207 | 0.000
533.29/533.43	c total clause space: 206.656MB
533.29/533.43	c total #watches: 1576525
540.29/540.49	c total #propagations: 13133702 / total #impl: 5345511694 (eff. 0.002)
540.29/540.49	c #Conflicts:      43000 | #Learnt:       9207 | 0.000
540.29/540.49	c total clause space: 206.656MB
540.29/540.49	c total #watches: 1649919
545.99/546.12	c total #propagations: 13343064 / total #impl: 5396208005 (eff. 0.002)
545.99/546.12	c GC COLLECT
545.99/546.12	c #Conflicts:      44000 | #Learnt:       5209 | 0.000
545.99/546.12	c total clause space: 206.656MB
545.99/546.12	c total #watches: 829091
551.69/551.86	c total #propagations: 13532746 / total #impl: 5463320634 (eff. 0.002)
551.69/551.86	c #Conflicts:      45000 | #Learnt:       6209 | 0.000
551.69/551.86	c total clause space: 206.656MB
551.69/551.86	c total #watches: 947529
562.78/562.91	c total #propagations: 13747036 / total #impl: 5542000497 (eff. 0.002)
562.78/562.91	c #Conflicts:      46000 | #Learnt:       7209 | 0.000
562.78/562.91	c total clause space: 206.656MB
562.78/562.91	c total #watches: 1186921
582.28/582.46	c total #propagations: 14183566 / total #impl: 5734905029 (eff. 0.002)
582.28/582.46	c #Conflicts:      47000 | #Learnt:       8209 | 0.000
582.28/582.46	c total clause space: 206.656MB
582.28/582.46	c total #watches: 1339865
597.88/598.04	c total #propagations: 14739927 / total #impl: 6020702727 (eff. 0.002)
597.88/598.04	c #Conflicts:      48000 | #Learnt:       9209 | 0.000
597.88/598.04	c total clause space: 206.656MB
597.88/598.04	c total #watches: 1564002
623.77/623.93	c total #propagations: 15135788 / total #impl: 6192769644 (eff. 0.002)
623.77/623.93	c #Conflicts:      49000 | #Learnt:      10209 | 0.000
623.77/623.93	c total clause space: 206.656MB
623.77/623.93	c total #watches: 1770669
639.27/639.42	c total #propagations: 15843257 / total #impl: 6596583324 (eff. 0.002)
639.27/639.42	c GC COLLECT
639.27/639.42	c #Conflicts:      50000 | #Learnt:       5938 | 0.000
639.27/639.42	c total clause space: 206.656MB
639.27/639.42	c total #watches: 1488087
655.17/655.35	c total #propagations: 16458074 / total #impl: 6856880307 (eff. 0.002)
655.17/655.35	c #Conflicts:      51000 | #Learnt:       6938 | 0.000
655.17/655.35	c total clause space: 206.656MB
655.17/655.35	c total #watches: 1799295
673.77/673.95	c total #propagations: 16824885 / total #impl: 7159484203 (eff. 0.002)
673.77/673.95	c #Conflicts:      52000 | #Learnt:       7938 | 0.000
673.77/673.95	c total clause space: 206.656MB
673.77/673.95	c total #watches: 2073350
693.76/693.99	c total #propagations: 17169181 / total #impl: 7603287563 (eff. 0.002)
693.76/693.99	c #Conflicts:      53000 | #Learnt:       8938 | 0.000
693.76/693.99	c total clause space: 206.656MB
693.76/693.99	c total #watches: 2308017
716.46/716.68	c total #propagations: 17342110 / total #impl: 7963546978 (eff. 0.002)
716.46/716.68	c #Conflicts:      54000 | #Learnt:       9938 | 0.000
716.46/716.68	c total clause space: 206.656MB
716.46/716.68	c total #watches: 2528466
742.66/742.83	c total #propagations: 17678712 / total #impl: 8223803325 (eff. 0.002)
742.66/742.83	c #Conflicts:      55000 | #Learnt:      10938 | 0.000
742.66/742.83	c total clause space: 206.656MB
742.66/742.83	c total #watches: 2626943
760.95/761.11	c total #propagations: 17906497 / total #impl: 8480974528 (eff. 0.002)
760.95/761.11	c GC COLLECT
760.95/761.11	c #Conflicts:      56000 | #Learnt:       6324 | 0.000
760.95/761.11	c total clause space: 206.656MB
760.95/761.11	c total #watches: 1768999
780.15/780.38	c total #propagations: 18521252 / total #impl: 8611485924 (eff. 0.002)
780.15/780.38	c #Conflicts:      57000 | #Learnt:       7324 | 0.000
780.15/780.38	c total clause space: 206.656MB
780.15/780.38	c total #watches: 2107143
801.55/801.75	c total #propagations: 18848300 / total #impl: 8815664434 (eff. 0.002)
801.55/801.75	c #Conflicts:      58000 | #Learnt:       8324 | 0.000
801.55/801.75	c total clause space: 206.656MB
801.55/801.75	c total #watches: 2396917
828.84/829.09	c total #propagations: 19092731 / total #impl: 9145804709 (eff. 0.002)
828.84/829.09	c #Conflicts:      59000 | #Learnt:       9324 | 0.000
828.84/829.09	c total clause space: 206.656MB
828.84/829.09	c total #watches: 2622224
855.65/855.85	c total #propagations: 19449632 / total #impl: 9515558800 (eff. 0.002)
855.65/855.85	c #Conflicts:      60000 | #Learnt:      10324 | 0.000
855.65/855.85	c total clause space: 206.656MB
855.65/855.85	c total #watches: 2825513
886.33/886.58	c total #propagations: 19693476 / total #impl: 9987483252 (eff. 0.002)
886.33/886.58	c #Conflicts:      61000 | #Learnt:      11324 | 0.000
886.33/886.58	c total clause space: 206.656MB
886.33/886.58	c total #watches: 3000177
921.73/921.94	c total #propagations: 19865146 / total #impl: 10447743044 (eff. 0.002)
921.73/921.94	c GC COLLECT
921.73/921.94	c #Conflicts:      62000 | #Learnt:       6422 | 0.000
921.73/921.94	c total clause space: 206.656MB
921.73/921.94	c total #watches: 1841635
938.52/938.72	c total #propagations: 20078320 / total #impl: 10832647728 (eff. 0.002)
938.52/938.72	c #Conflicts:      63000 | #Learnt:       7422 | 0.000
938.52/938.72	c total clause space: 206.656MB
938.52/938.72	c total #watches: 2040593
953.63/953.89	c total #propagations: 20518169 / total #impl: 11083241372 (eff. 0.002)
953.63/953.89	c #Conflicts:      64000 | #Learnt:       8422 | 0.000
953.63/953.89	c total clause space: 206.656MB
953.63/953.89	c total #watches: 2322446
979.93/980.16	c total #propagations: 20729895 / total #impl: 11378494464 (eff. 0.002)
979.93/980.16	c #Conflicts:      65000 | #Learnt:       9422 | 0.000
979.93/980.16	c total clause space: 206.656MB
979.93/980.16	c total #watches: 2647235
1006.11/1006.38	c total #propagations: 21059820 / total #impl: 11686904640 (eff. 0.002)
1006.11/1006.38	c #Conflicts:      66000 | #Learnt:      10422 | 0.000
1006.11/1006.38	c total clause space: 206.656MB
1006.11/1006.38	c total #watches: 2906309
1036.91/1037.14	c total #propagations: 21245701 / total #impl: 12016808930 (eff. 0.002)
1036.91/1037.14	c #Conflicts:      67000 | #Learnt:      11422 | 0.000
1036.91/1037.14	c total clause space: 206.656MB
1036.91/1037.14	c total #watches: 3105694
1081.70/1081.90	c total #propagations: 21570373 / total #impl: 12406020328 (eff. 0.002)
1081.70/1081.90	c #Conflicts:      68000 | #Learnt:      12422 | 0.000
1081.70/1081.90	c total clause space: 206.656MB
1081.70/1081.90	c total #watches: 3287130
1108.60/1108.90	c total #propagations: 21979192 / total #impl: 13084071270 (eff. 0.002)
1108.60/1108.90	c GC COLLECT
1108.60/1108.90	c #Conflicts:      69000 | #Learnt:       7214 | 0.000
1108.60/1108.90	c total clause space: 206.656MB
1108.60/1108.90	c total #watches: 2273831
1137.30/1137.54	c total #propagations: 22294996 / total #impl: 13368942065 (eff. 0.002)
1137.30/1137.54	c #Conflicts:      70000 | #Learnt:       8214 | 0.000
1137.30/1137.54	c total clause space: 206.656MB
1137.30/1137.54	c total #watches: 2411891
1177.09/1177.39	c total #propagations: 22684661 / total #impl: 13810815068 (eff. 0.002)
1177.09/1177.39	c #Conflicts:      71000 | #Learnt:       9214 | 0.000
1177.09/1177.39	c total clause space: 206.656MB
1177.09/1177.39	c total #watches: 2521817
1241.48/1241.72	c total #propagations: 23145759 / total #impl: 14227398984 (eff. 0.002)
1241.48/1241.72	c #Conflicts:      72000 | #Learnt:      10214 | 0.000
1241.48/1241.72	c total clause space: 206.656MB
1241.48/1241.72	c total #watches: 2689636
1273.47/1273.80	c total #propagations: 23892461 / total #impl: 17042320685 (eff. 0.001)
1273.47/1273.80	c #Conflicts:      73000 | #Learnt:      11214 | 0.000
1273.47/1273.80	c total clause space: 206.656MB
1273.47/1273.80	c total #watches: 2932946
1297.37/1297.64	c total #propagations: 24209234 / total #impl: 17253785819 (eff. 0.001)
1297.37/1297.64	c #Conflicts:      74000 | #Learnt:      12214 | 0.000
1297.37/1297.64	c total clause space: 206.656MB
1297.37/1297.64	c total #watches: 3214708
1325.16/1325.49	c total #propagations: 24465400 / total #impl: 17658910194 (eff. 0.001)
1325.16/1325.49	c GC COLLECT
1325.16/1325.49	c #Conflicts:      75000 | #Learnt:       6710 | 0.000
1325.16/1325.49	c total clause space: 206.656MB
1325.16/1325.49	c total #watches: 2220107
1353.76/1354.06	c total #propagations: 24688562 / total #impl: 18209731978 (eff. 0.001)
1353.76/1354.06	c #Conflicts:      76000 | #Learnt:       7710 | 0.000
1353.76/1354.06	c total clause space: 206.656MB
1353.76/1354.06	c total #watches: 2405847
1415.15/1415.47	c total #propagations: 25225709 / total #impl: 18760487404 (eff. 0.001)
1415.15/1415.47	c #Conflicts:      77000 | #Learnt:       8710 | 0.000
1415.15/1415.47	c total clause space: 206.656MB
1415.15/1415.47	c total #watches: 2584598
1466.24/1466.51	c total #propagations: 26017972 / total #impl: 21098429004 (eff. 0.001)
1466.24/1466.51	c #Conflicts:      78000 | #Learnt:       9710 | 0.000
1466.24/1466.51	c total clause space: 206.656MB
1466.24/1466.51	c total #watches: 2820546
1484.74/1485.07	c total #propagations: 26630814 / total #impl: 22452498822 (eff. 0.001)
1484.74/1485.07	c #Conflicts:      79000 | #Learnt:      10710 | 0.000
1484.74/1485.07	c total clause space: 206.656MB
1484.74/1485.07	c total #watches: 3199821
1518.73/1519.04	c total #propagations: 26990433 / total #impl: 22713612156 (eff. 0.001)
1518.73/1519.04	c #Conflicts:      80000 | #Learnt:      11710 | 0.000
1518.73/1519.04	c total clause space: 206.656MB
1518.73/1519.04	c total #watches: 3269404
1558.03/1558.30	c total #propagations: 27634798 / total #impl: 22997170060 (eff. 0.001)
1558.03/1558.30	c #Conflicts:      81000 | #Learnt:      12710 | 0.000
1558.03/1558.30	c total clause space: 206.656MB
1558.03/1558.30	c total #watches: 3442513
1587.03/1587.34	c total #propagations: 28117143 / total #impl: 23664372043 (eff. 0.001)
1587.03/1587.34	c GC COLLECT
1587.03/1587.34	c #Conflicts:      82000 | #Learnt:       6915 | 0.000
1587.03/1587.34	c total clause space: 206.656MB
1587.03/1587.34	c total #watches: 2234302
1604.42/1604.74	c total #propagations: 28782288 / total #impl: 23881037397 (eff. 0.001)
1604.42/1604.74	c #Conflicts:      83000 | #Learnt:       7915 | 0.000
1604.42/1604.74	c total clause space: 206.656MB
1604.42/1604.74	c total #watches: 2279948
1633.22/1633.58	c total #propagations: 29802285 / total #impl: 24033816338 (eff. 0.001)
1633.22/1633.58	c #Conflicts:      84000 | #Learnt:       8915 | 0.000
1633.22/1633.58	c total clause space: 206.656MB
1633.22/1633.58	c total #watches: 2531636
1657.42/1657.72	c total #propagations: 30249295 / total #impl: 24695849121 (eff. 0.001)
1657.42/1657.72	c #Conflicts:      85000 | #Learnt:       9915 | 0.000
1657.42/1657.72	c total clause space: 206.656MB
1657.42/1657.72	c total #watches: 2707571
1688.60/1688.95	c total #propagations: 30446458 / total #impl: 25023796502 (eff. 0.001)
1688.60/1688.95	c #Conflicts:      86000 | #Learnt:      10915 | 0.000
1688.60/1688.95	c total clause space: 206.656MB
1688.60/1688.95	c total #watches: 2947349
1722.31/1722.68	c total #propagations: 30677325 / total #impl: 25312196155 (eff. 0.001)
1722.31/1722.68	c #Conflicts:      87000 | #Learnt:      11915 | 0.000
1722.31/1722.68	c total clause space: 206.656MB
1722.31/1722.68	c total #watches: 3260171
1760.39/1760.73	c total #propagations: 30892264 / total #impl: 25683571262 (eff. 0.001)
1760.39/1760.73	c #Conflicts:      88000 | #Learnt:      12915 | 0.000
1760.39/1760.73	c total clause space: 206.656MB
1760.39/1760.73	c total #watches: 3442539

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-4087711-1465430610/watcher-4087711-1465430610 -o /tmp/evaluation-result-4087711-1465430610/solver-4087711-1465430610 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1465427004-22004 --watchdog 1960 --input HOME/instance-4087711-1465430610.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

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

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


[startup+0 s]
/proc/loadavg: 2.28 2.17 2.08 3/174 22323
/proc/meminfo: memFree=30731428/32872528 swapFree=11252/530428
[pid=22323] ppid=22317 vsize=55976 CPUtime=0 cores=0,2,4,6
/proc/22323/stat : 22323 (cdcl-cuttingpla) R 22317 22323 21988 0 -1 4202496 260 0 0 0 0 0 0 0 20 0 1 0 124992808 57319424 8829 33554432000 4194304 6211289 140735635521360 140733269648360 4206668 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22323/statm: 13994 8829 98 493 0 13491 0

[startup+0.100108 s]
/proc/loadavg: 2.28 2.17 2.08 3/174 22323
/proc/meminfo: memFree=30731428/32872528 swapFree=11252/530428
[pid=22323] ppid=22317 vsize=66664 CPUtime=0.09 cores=0,2,4,6
/proc/22323/stat : 22323 (cdcl-cuttingpla) R 22317 22323 21988 0 -1 4202496 1638 0 0 0 9 0 0 0 20 0 1 0 124992808 68263936 14594 33554432000 4194304 6211289 140735635521360 140733269648360 4201944 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22323/statm: 16666 14594 203 493 0 16163 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 66664

[startup+0.200268 s]
/proc/loadavg: 2.28 2.17 2.08 3/174 22323
/proc/meminfo: memFree=30731428/32872528 swapFree=11252/530428
[pid=22323] ppid=22317 vsize=85040 CPUtime=0.19 cores=0,2,4,6
/proc/22323/stat : 22323 (cdcl-cuttingpla) R 22317 22323 21988 0 -1 4202496 3232 0 0 0 18 1 0 0 20 0 1 0 124992808 87080960 17094 33554432000 4194304 6211289 140735635521360 140733269648360 4205850 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22323/statm: 21260 17094 204 493 0 20757 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 85040

[startup+0.300236 s]
/proc/loadavg: 2.28 2.17 2.08 3/174 22323
/proc/meminfo: memFree=30731428/32872528 swapFree=11252/530428
[pid=22323] ppid=22317 vsize=100736 CPUtime=0.29 cores=0,2,4,6
/proc/22323/stat : 22323 (cdcl-cuttingpla) R 22317 22323 21988 0 -1 4202496 4614 0 0 0 28 1 0 0 20 0 1 0 124992808 103153664 19933 33554432000 4194304 6211289 140735635521360 140733269648360 4249863 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22323/statm: 25184 19933 204 493 0 24681 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 100736

[startup+0.700108 s]
/proc/loadavg: 2.28 2.17 2.08 3/174 22323
/proc/meminfo: memFree=30731428/32872528 swapFree=11252/530428
[pid=22323] ppid=22317 vsize=120252 CPUtime=0.68 cores=0,2,4,6
/proc/22323/stat : 22323 (cdcl-cuttingpla) R 22317 22323 21988 0 -1 4202496 5155 0 0 0 67 1 0 0 20 0 1 0 124992808 123138048 23404 33554432000 4194304 6211289 140735635521360 140735635519592 5161098 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22323/statm: 30063 23404 204 493 0 29560 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 120252

[startup+1.50026 s]
/proc/loadavg: 2.28 2.17 2.08 3/178 22331
/proc/meminfo: memFree=30527040/32872528 swapFree=11252/530428
[pid=22323] ppid=22317 vsize=127864 CPUtime=1.49 cores=0,2,4,6
/proc/22323/stat : 22323 (cdcl-cuttingpla) R 22317 22323 21988 0 -1 4202496 7091 0 0 0 147 2 0 0 20 0 1 0 124992808 130932736 27895 33554432000 4194304 6211289 140735635521360 140735635519592 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22323/statm: 31966 27895 214 493 0 31463 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 127864

[startup+3.10027 s]
/proc/loadavg: 2.26 2.16 2.08 3/178 22331
/proc/meminfo: memFree=30500428/32872528 swapFree=11252/530428
[pid=22323] ppid=22317 vsize=159092 CPUtime=3.09 cores=0,2,4,6
/proc/22323/stat : 22323 (cdcl-cuttingpla) R 22317 22323 21988 0 -1 4202496 7449 0 0 0 307 2 0 0 20 0 1 0 124992808 162910208 30227 33554432000 4194304 6211289 140735635521360 140735635519352 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22323/statm: 39773 30227 214 493 0 39270 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 159092

[startup+6.30026 s]
/proc/loadavg: 2.26 2.16 2.08 3/178 22331
/proc/meminfo: memFree=30443732/32872528 swapFree=11252/530428
[pid=22323] ppid=22317 vsize=159388 CPUtime=6.28 cores=0,2,4,6
/proc/22323/stat : 22323 (cdcl-cuttingpla) R 22317 22323 21988 0 -1 4202496 9844 0 0 0 626 2 0 0 20 0 1 0 124992808 163213312 33571 33554432000 4194304 6211289 140735635521360 140735635519704 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22323/statm: 39847 33571 219 493 0 39344 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 159388

[startup+12.7003 s]
/proc/loadavg: 2.22 2.16 2.08 3/178 22331
/proc/meminfo: memFree=30430512/32872528 swapFree=11252/530428
[pid=22323] ppid=22317 vsize=159524 CPUtime=12.68 cores=0,2,4,6
/proc/22323/stat : 22323 (cdcl-cuttingpla) R 22317 22323 21988 0 -1 4202496 9872 0 0 0 1266 2 0 0 20 0 1 0 124992808 163352576 34621 33554432000 4194304 6211289 140735635521360 140735635519352 4209392 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22323/statm: 39881 34621 219 493 0 39378 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 159524

[startup+25.5004 s]
/proc/loadavg: 2.18 2.15 2.07 3/178 22331
/proc/meminfo: memFree=30401372/32872528 swapFree=11252/530428
[pid=22323] ppid=22317 vsize=173328 CPUtime=25.49 cores=0,2,4,6
/proc/22323/stat : 22323 (cdcl-cuttingpla) R 22317 22323 21988 0 -1 4202496 13386 0 0 0 2545 4 0 0 20 0 1 0 124992808 177487872 40901 33554432000 4194304 6211289 140735635521360 140735635519272 4209497 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22323/statm: 43332 40901 219 493 0 42829 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 173328

[startup+51.1003 s]
/proc/loadavg: 2.18 2.15 2.08 3/178 22331
/proc/meminfo: memFree=30382384/32872528 swapFree=11252/530428
[pid=22323] ppid=22317 vsize=223704 CPUtime=51.08 cores=0,2,4,6
/proc/22323/stat : 22323 (cdcl-cuttingpla) R 22317 22323 21988 0 -1 4202496 13973 0 0 0 5104 4 0 0 20 0 1 0 124992808 229072896 41859 33554432000 4194304 6211289 140735635521360 140735635519592 4209501 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22323/statm: 55926 41859 219 493 0 55423 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 223704

[startup+102.3 s]
/proc/loadavg: 2.12 2.14 2.08 3/178 22332
/proc/meminfo: memFree=30348620/32872528 swapFree=11252/530428
[pid=22323] ppid=22317 vsize=224268 CPUtime=102.28 cores=0,2,4,6
/proc/22323/stat : 22323 (cdcl-cuttingpla) R 22317 22323 21988 0 -1 4202496 14670 0 0 0 10224 4 0 0 20 0 1 0 124992808 229650432 44956 33554432000 4194304 6211289 140735635521360 140735635519704 4209497 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22323/statm: 56067 44956 219 493 0 55564 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 224268

[startup+162.3 s]
/proc/loadavg: 2.09 2.13 2.08 3/178 22333
/proc/meminfo: memFree=30346136/32872528 swapFree=11252/530428
[pid=22323] ppid=22317 vsize=225420 CPUtime=162.27 cores=0,2,4,6
/proc/22323/stat : 22323 (cdcl-cuttingpla) R 22317 22323 21988 0 -1 4202496 15017 0 0 0 16222 5 0 0 20 0 1 0 124992808 230830080 45289 33554432000 4194304 6211289 140735635521360 140735635519352 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22323/statm: 56355 45289 219 493 0 55852 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 225420

[startup+222.307 s]
/proc/loadavg: 2.21 2.16 2.09 3/178 22335
/proc/meminfo: memFree=30344768/32872528 swapFree=11252/530428
[pid=22323] ppid=22317 vsize=226572 CPUtime=222.27 cores=0,2,4,6
/proc/22323/stat : 22323 (cdcl-cuttingpla) R 22317 22323 21988 0 -1 4202496 15294 0 0 0 22222 5 0 0 20 0 1 0 124992808 232009728 45565 33554432000 4194304 6211289 140735635521360 140735635519704 4209392 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22323/statm: 56643 45565 219 493 0 56140 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 226572

[startup+282.3 s]
/proc/loadavg: 2.19 2.16 2.09 3/178 22336
/proc/meminfo: memFree=30341176/32872528 swapFree=11252/530428
[pid=22323] ppid=22317 vsize=227020 CPUtime=282.24 cores=0,2,4,6
/proc/22323/stat : 22323 (cdcl-cuttingpla) R 22317 22323 21988 0 -1 4202496 15454 0 0 0 28219 5 0 0 20 0 1 0 124992808 232468480 46200 33554432000 4194304 6211289 140735635521360 140735635519704 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22323/statm: 56755 46200 219 493 0 56252 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 227020

[startup+342.3 s]
/proc/loadavg: 2.10 2.14 2.09 3/178 22337
/proc/meminfo: memFree=30305068/32872528 swapFree=11252/530428
[pid=22323] ppid=22317 vsize=228028 CPUtime=342.21 cores=0,2,4,6
/proc/22323/stat : 22323 (cdcl-cuttingpla) R 22317 22323 21988 0 -1 4202496 15755 0 0 0 34216 5 0 0 20 0 1 0 124992808 233500672 55164 33554432000 4194304 6211289 140735635521360 140735635519352 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22323/statm: 57007 55164 219 493 0 56504 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 228028

[startup+402.3 s]
/proc/loadavg: 2.07 2.13 2.09 3/179 22341
/proc/meminfo: memFree=30267816/32872528 swapFree=11252/530428
[pid=22323] ppid=22317 vsize=334628 CPUtime=402.2 cores=0,2,4,6
/proc/22323/stat : 22323 (cdcl-cuttingpla) R 22317 22323 21988 0 -1 4202496 20310 0 0 0 40214 6 0 0 20 0 1 0 124992808 342659072 64133 33554432000 4194304 6211289 140735635521360 140735635519272 4209392 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22323/statm: 83657 64133 219 493 0 83154 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 334628

[startup+462.3 s]
/proc/loadavg: 2.08 2.12 2.09 3/178 22342
/proc/meminfo: memFree=30256396/32872528 swapFree=11252/530428
[pid=22323] ppid=22317 vsize=337832 CPUtime=462.2 cores=0,2,4,6
/proc/22323/stat : 22323 (cdcl-cuttingpla) R 22317 22323 21988 0 -1 4202496 21299 0 0 0 46213 7 0 0 20 0 1 0 124992808 345939968 66956 33554432000 4194304 6211289 140735635521360 140735635519704 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22323/statm: 84458 66956 219 493 0 83955 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 337832

[startup+522.3 s]
/proc/loadavg: 2.07 2.11 2.09 3/178 22344
/proc/meminfo: memFree=30250472/32872528 swapFree=11252/530428
[pid=22323] ppid=22317 vsize=337832 CPUtime=522.19 cores=0,2,4,6
/proc/22323/stat : 22323 (cdcl-cuttingpla) R 22317 22323 21988 0 -1 4202496 21386 0 0 0 52212 7 0 0 20 0 1 0 124992808 345939968 67043 33554432000 4194304 6211289 140735635521360 140735635519704 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22323/statm: 84458 67043 219 493 0 83955 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 337832

[startup+582.3 s]
/proc/loadavg: 2.13 2.12 2.09 3/178 22345
/proc/meminfo: memFree=30250340/32872528 swapFree=11252/530428
[pid=22323] ppid=22317 vsize=337992 CPUtime=582.18 cores=0,2,4,6
/proc/22323/stat : 22323 (cdcl-cuttingpla) R 22317 22323 21988 0 -1 4202496 21400 0 0 0 58211 7 0 0 20 0 1 0 124992808 346103808 67057 33554432000 4194304 6211289 140735635521360 140735635519704 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22323/statm: 84498 67057 219 493 0 83995 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 337992


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


[startup+882.307 s]
/proc/loadavg: 2.10 2.11 2.09 3/178 22351
/proc/meminfo: memFree=30204344/32872528 swapFree=11252/530428
[pid=22323] ppid=22317 vsize=340136 CPUtime=882.14 cores=0,2,4,6
/proc/22323/stat : 22323 (cdcl-cuttingpla) R 22317 22323 21988 0 -1 4202496 21850 0 0 0 88207 7 0 0 20 0 1 0 124992808 348299264 68938 33554432000 4194304 6211289 140735635521360 140735635519224 4209322 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22323/statm: 85034 68938 219 493 0 84531 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 340136

[startup+942.3 s]
/proc/loadavg: 2.15 2.12 2.09 3/178 22352
/proc/meminfo: memFree=30199796/32872528 swapFree=11252/530428
[pid=22323] ppid=22317 vsize=340968 CPUtime=942.12 cores=0,2,4,6
/proc/22323/stat : 22323 (cdcl-cuttingpla) R 22317 22323 21988 0 -1 4202496 22014 0 0 0 94205 7 0 0 20 0 1 0 124992808 349151232 69931 33554432000 4194304 6211289 140735635521360 140735635519704 4209257 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22323/statm: 85242 69931 219 493 0 84739 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 340968

[startup+1002.3 s]
/proc/loadavg: 2.10 2.11 2.09 3/179 22356
/proc/meminfo: memFree=30185120/32872528 swapFree=11252/530428
[pid=22323] ppid=22317 vsize=340968 CPUtime=1002.11 cores=0,2,4,6
/proc/22323/stat : 22323 (cdcl-cuttingpla) R 22317 22323 21988 0 -1 4202496 22028 0 0 0 100204 7 0 0 20 0 1 0 124992808 349151232 69945 33554432000 4194304 6211289 140735635521360 140735635519704 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22323/statm: 85242 69945 219 493 0 84739 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 340968

[startup+1062.3 s]
/proc/loadavg: 2.04 2.09 2.08 3/178 22357
/proc/meminfo: memFree=30185148/32872528 swapFree=11252/530428
[pid=22323] ppid=22317 vsize=341384 CPUtime=1062.1 cores=0,2,4,6
/proc/22323/stat : 22323 (cdcl-cuttingpla) R 22317 22323 21988 0 -1 4202496 22096 0 0 0 106203 7 0 0 20 0 1 0 124992808 349577216 70013 33554432000 4194304 6211289 140735635521360 140735635519224 4209507 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22323/statm: 85346 70013 219 493 0 84843 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 341384

[startup+1122.3 s]
/proc/loadavg: 2.01 2.07 2.08 3/178 22359
/proc/meminfo: memFree=30171304/32872528 swapFree=11252/530428
[pid=22323] ppid=22317 vsize=341544 CPUtime=1122.09 cores=0,2,4,6
/proc/22323/stat : 22323 (cdcl-cuttingpla) R 22317 22323 21988 0 -1 4202496 22127 0 0 0 112202 7 0 0 20 0 1 0 124992808 349741056 71577 33554432000 4194304 6211289 140735635521360 140735635519704 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22323/statm: 85386 71577 219 493 0 84883 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 341544

[startup+1182.3 s]
/proc/loadavg: 2.00 2.05 2.07 3/178 22360
/proc/meminfo: memFree=30164284/32872528 swapFree=11252/530428
[pid=22323] ppid=22317 vsize=342024 CPUtime=1182.09 cores=0,2,4,6
/proc/22323/stat : 22323 (cdcl-cuttingpla) R 22317 22323 21988 0 -1 4202496 22233 0 0 0 118202 7 0 0 20 0 1 0 124992808 350232576 71683 33554432000 4194304 6211289 140735635521360 140735635519704 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22323/statm: 85506 71683 219 493 0 85003 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 342024

[startup+1242.3 s]
/proc/loadavg: 2.06 2.06 2.07 3/178 22361
/proc/meminfo: memFree=29584300/32872528 swapFree=11252/530428
[pid=22323] ppid=22317 vsize=342408 CPUtime=1242.08 cores=0,2,4,6
/proc/22323/stat : 22323 (cdcl-cuttingpla) R 22317 22323 21988 0 -1 4202496 22297 0 0 0 124201 7 0 0 20 0 1 0 124992808 350625792 71747 33554432000 4194304 6211289 140735635521360 140735635519224 4209328 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22323/statm: 85602 71747 219 493 0 85099 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 342408

[startup+1302.3 s]
/proc/loadavg: 2.15 2.08 2.08 3/178 22362
/proc/meminfo: memFree=29537196/32872528 swapFree=11252/530428
[pid=22323] ppid=22317 vsize=342568 CPUtime=1302.07 cores=0,2,4,6
/proc/22323/stat : 22323 (cdcl-cuttingpla) R 22317 22323 21988 0 -1 4202496 22357 0 0 0 130200 7 0 0 20 0 1 0 124992808 350789632 71807 33554432000 4194304 6211289 140735635521360 140735635519704 4209403 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22323/statm: 85642 71807 219 493 0 85139 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 342568

[startup+1362.3 s]
/proc/loadavg: 2.05 2.06 2.07 3/178 22363
/proc/meminfo: memFree=29505600/32872528 swapFree=11252/530428
[pid=22323] ppid=22317 vsize=342920 CPUtime=1362.06 cores=0,2,4,6
/proc/22323/stat : 22323 (cdcl-cuttingpla) R 22317 22323 21988 0 -1 4202496 22423 0 0 0 136199 7 0 0 20 0 1 0 124992808 351150080 73917 33554432000 4194304 6211289 140735635521360 140735635519704 4209464 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22323/statm: 85730 73917 219 493 0 85227 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 342920

[startup+1422.3 s]
/proc/loadavg: 2.02 2.05 2.06 3/177 22364
/proc/meminfo: memFree=29492816/32872528 swapFree=11252/530428
[pid=22323] ppid=22317 vsize=343080 CPUtime=1422.05 cores=0,2,4,6
/proc/22323/stat : 22323 (cdcl-cuttingpla) R 22317 22323 21988 0 -1 4202496 22435 0 0 0 142198 7 0 0 20 0 1 0 124992808 351313920 73929 33554432000 4194304 6211289 140735635521360 140735635519704 4209380 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22323/statm: 85770 73929 219 493 0 85267 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 343080

[startup+1482.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/178 22366
/proc/meminfo: memFree=29492680/32872528 swapFree=11252/530428
[pid=22323] ppid=22317 vsize=343080 CPUtime=1482.04 cores=0,2,4,6
/proc/22323/stat : 22323 (cdcl-cuttingpla) R 22317 22323 21988 0 -1 4202496 22441 0 0 0 148197 7 0 0 20 0 1 0 124992808 351313920 73935 33554432000 4194304 6211289 140735635521360 140735635519704 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22323/statm: 85770 73935 219 493 0 85267 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 343080

[startup+1542.31 s]
/proc/loadavg: 2.00 2.03 2.05 3/178 22367
/proc/meminfo: memFree=29492424/32872528 swapFree=11252/530428
[pid=22323] ppid=22317 vsize=343240 CPUtime=1542.04 cores=0,2,4,6
/proc/22323/stat : 22323 (cdcl-cuttingpla) R 22317 22323 21988 0 -1 4202496 22499 0 0 0 154197 7 0 0 20 0 1 0 124992808 351477760 73993 33554432000 4194304 6211289 140735635521360 140735635519224 4209244 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22323/statm: 85810 73993 219 493 0 85307 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 343240

[startup+1602.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/179 22371
/proc/meminfo: memFree=29486972/32872528 swapFree=11252/530428
[pid=22323] ppid=22317 vsize=343752 CPUtime=1602.02 cores=0,2,4,6
/proc/22323/stat : 22323 (cdcl-cuttingpla) R 22317 22323 21988 0 -1 4202496 22588 0 0 0 160195 7 0 0 20 0 1 0 124992808 352002048 75141 33554432000 4194304 6211289 140735635521360 140735635519704 4209403 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22323/statm: 85938 75141 219 493 0 85435 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 343752

[startup+1662.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/178 22372
/proc/meminfo: memFree=29485012/32872528 swapFree=11252/530428
[pid=22323] ppid=22317 vsize=343944 CPUtime=1662.01 cores=0,2,4,6
/proc/22323/stat : 22323 (cdcl-cuttingpla) R 22317 22323 21988 0 -1 4202496 22636 0 0 0 166194 7 0 0 20 0 1 0 124992808 352198656 75577 33554432000 4194304 6211289 140735635521360 140735635519704 4209304 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22323/statm: 85986 75577 219 493 0 85483 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 343944

[startup+1722.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/178 22373
/proc/meminfo: memFree=29484760/32872528 swapFree=11252/530428
[pid=22323] ppid=22317 vsize=344328 CPUtime=1722 cores=0,2,4,6
/proc/22323/stat : 22323 (cdcl-cuttingpla) R 22317 22323 21988 0 -1 4202496 22702 0 0 0 172193 7 0 0 20 0 1 0 124992808 352591872 75643 33554432000 4194304 6211289 140735635521360 140735635519224 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22323/statm: 86082 75643 219 493 0 85579 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 344328

[startup+1782.3 s]
/proc/loadavg: 2.10 2.06 2.05 3/178 22375
/proc/meminfo: memFree=29483636/32872528 swapFree=11252/530428
[pid=22323] ppid=22317 vsize=344904 CPUtime=1781.99 cores=0,2,4,6
/proc/22323/stat : 22323 (cdcl-cuttingpla) R 22317 22323 21988 0 -1 4202496 22800 0 0 0 178192 7 0 0 20 0 1 0 124992808 353181696 75741 33554432000 4194304 6211289 140735635521360 140735635519224 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22323/statm: 86226 75741 219 493 0 85723 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 344904



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.07 2.05 2.05 3/178 22375
/proc/meminfo: memFree=29482704/32872528 swapFree=11252/530428
[pid=22323] ppid=22317 vsize=345352 CPUtime=1800.09 cores=0,2,4,6
/proc/22323/stat : 22323 (cdcl-cuttingpla) R 22317 22323 21988 0 -1 4202496 22869 0 0 0 180002 7 0 0 20 0 1 0 124992808 353640448 75810 33554432000 4194304 6211289 140735635521360 140735635519224 4209403 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/22323/statm: 86338 75810 219 493 0 85835 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 345352

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.4
CPU time (s): 1800.1
CPU user time (s): 1800.02
CPU system time (s): 0.080987
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 345352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.02
system time used= 0.080987
maximum resident set size= 303240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22869
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= 47
involuntary context switches= 1856

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.41933 second user time and 7.04193 second system time

The end

Launcher Data 

Begin job on node141 at 2016-06-09 02:03:30
IDJOB=4087711
IDBENCH=24982
IDSOLVER=2549
FILE ID=node141/4087711-1465430610
RUNJOBID= node141-1465427004-22004
PBS_JOBID= 19859775
Free space on /tmp= 71748 MiB

SOLVER NAME= cdcl-cuttingplanes OPT binary search 2016-05-01
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_030_area_delay.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087711-1465430610/watcher-4087711-1465430610 -o /tmp/evaluation-result-4087711-1465430610/solver-4087711-1465430610 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1465427004-22004 --watchdog 1960 --input HOME/instance-4087711-1465430610.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= 55bd571d186b9003e67d2301a4d2bce5
RANDOM SEED=866501327

node141.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.876
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.75
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.876
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.876
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.876
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.876
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.56
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.876
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.876
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.56
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.876
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:        30732156 kB
Buffers:          111644 kB
Cached:           735840 kB
SwapCached:         1832 kB
Active:           340012 kB
Inactive:         512264 kB
Active(anon):       4044 kB
Inactive(anon):     3244 kB
Active(file):     335968 kB
Inactive(file):   509020 kB
Unevictable:      530428 kB
Mlocked:           11252 kB
SwapTotal:      67108856 kB
SwapFree:       67098372 kB
Dirty:              2748 kB
Writeback:           104 kB
AnonPages:        534660 kB
Mapped:             8236 kB
Shmem:                 0 kB
Slab:             622304 kB
SReclaimable:      65748 kB
SUnreclaim:       556556 kB
KernelStack:        1400 kB
PageTables:         5112 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     634380 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    520192 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= 71744 MiB
End job on node141 at 2016-06-09 02:33:31