Trace number 4101471

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-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-fixnet4.opb
MD5SUM03b4fab8c58cfc4ea6c0d3c2d05c0d91
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables14036
Total number of constraints600
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints600
Minimum length of a constraint19
Maximum length of a constraint1523
Number of terms in the objective function 13668
Biggest coefficient in the objective function 1162
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 535890
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262020
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 535890
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c OPTIONS:
0.00/0.00	c - Resolve (`-resolve-always' or `-resolve-skip'): -resolve-skip
0.00/0.03	c * #variable= 14036 #constraint= 600
0.00/0.07	c * #variable= 14036 #constraint= 600
6.19/6.21	c #Conflicts:       1000 | #Learnt:        999 | 12.654
6.19/6.21	c total clause space: 48.1602MB
6.19/6.21	c total #watches: 939361
18.58/18.66	c total #propagations: 185194 / total #impl: 33206032 (eff. 0.006)
18.58/18.66	c #Conflicts:       2000 | #Learnt:       1999 | 6.823
18.58/18.66	c total clause space: 127.173MB
18.58/18.66	c total #watches: 1592390
49.68/49.74	c total #propagations: 324012 / total #impl: 47967784 (eff. 0.007)
49.68/49.74	c GC COLLECT
49.68/49.74	c S1->S2
49.68/49.74	c S1->S2
49.68/49.74	c S1->S2
49.68/49.74	c S1->S2
49.68/49.74	c #Conflicts:       3000 | #Learnt:       2027 | 5.052
49.68/49.74	c total clause space: 127.173MB
49.68/49.74	c total #watches: 1344329
106.48/106.51	c total #propagations: 1057954 / total #impl: 66965674 (eff. 0.016)
106.48/106.51	c #Conflicts:       4000 | #Learnt:       3027 | 3.987
106.48/106.51	c total clause space: 127.173MB
106.48/106.51	c total #watches: 1698683
136.07/136.17	c total #propagations: 2628426 / total #impl: 83331789 (eff. 0.032)
136.07/136.17	c GC COLLECT
136.07/136.17	c #Conflicts:       5000 | #Learnt:       2376 | 3.338
136.07/136.17	c total clause space: 127.173MB
136.07/136.17	c total #watches: 1148873
163.46/163.59	c total #propagations: 4016768 / total #impl: 104335747 (eff. 0.038)
163.46/163.59	c #Conflicts:       6000 | #Learnt:       3376 | 3.033
163.46/163.59	c total clause space: 127.173MB
163.46/163.59	c total #watches: 1550575
199.55/199.67	c total #propagations: 4713299 / total #impl: 131655906 (eff. 0.036)
199.55/199.67	c GC COLLECT
199.55/199.67	c #Conflicts:       7000 | #Learnt:       2256 | 3.100
199.55/199.67	c total clause space: 127.173MB
199.55/199.67	c total #watches: 1319457
217.25/217.35	c total #propagations: 5316469 / total #impl: 161090179 (eff. 0.033)
217.25/217.35	c #Conflicts:       8000 | #Learnt:       3256 | 2.813
217.25/217.35	c total clause space: 127.173MB
217.25/217.35	c total #watches: 1595233
249.35/249.46	c total #propagations: 5469366 / total #impl: 183027545 (eff. 0.030)
249.35/249.46	c #Conflicts:       9000 | #Learnt:       4256 | 2.691
249.35/249.46	c total clause space: 206.656MB
249.35/249.46	c total #watches: 2552681
276.24/276.33	c total #propagations: 6715031 / total #impl: 215114889 (eff. 0.031)
276.24/276.33	c GC COLLECT
276.24/276.33	c #Conflicts:      10000 | #Learnt:       2735 | 2.713
276.24/276.33	c total clause space: 206.656MB
276.24/276.33	c total #watches: 2053386
296.83/296.99	c total #propagations: 7944997 / total #impl: 239059917 (eff. 0.033)
296.83/296.99	c #Conflicts:      11000 | #Learnt:       3735 | 2.473
296.83/296.99	c total clause space: 206.656MB
296.83/296.99	c total #watches: 3035828
322.34/322.42	c total #propagations: 9191716 / total #impl: 256680745 (eff. 0.036)
322.34/322.42	c #Conflicts:      12000 | #Learnt:       4735 | 2.444
322.34/322.42	c total clause space: 206.656MB
322.34/322.42	c total #watches: 3270839
359.43/359.53	c total #propagations: 10086766 / total #impl: 273082250 (eff. 0.037)
359.43/359.53	c #Conflicts:      13000 | #Learnt:       5735 | 2.266
359.43/359.53	c total clause space: 206.656MB
359.43/359.53	c total #watches: 3630109
389.33/389.47	c total #propagations: 11678162 / total #impl: 309369203 (eff. 0.038)
389.33/389.47	c GC COLLECT
389.33/389.47	c #Conflicts:      14000 | #Learnt:       3884 | 2.202
389.33/389.47	c total clause space: 206.656MB
389.33/389.47	c total #watches: 2516635
422.42/422.59	c total #propagations: 12602203 / total #impl: 340622355 (eff. 0.037)
422.42/422.59	c #Conflicts:      15000 | #Learnt:       4884 | 2.064
422.42/422.59	c total clause space: 206.656MB
422.42/422.59	c total #watches: 3037880
472.60/472.79	c total #propagations: 14320693 / total #impl: 382683425 (eff. 0.037)
472.60/472.79	c #Conflicts:      16000 | #Learnt:       5884 | 2.336
472.60/472.79	c total clause space: 206.656MB
472.60/472.79	c total #watches: 3244569
519.39/519.57	c total #propagations: 16661489 / total #impl: 481866565 (eff. 0.035)
519.39/519.57	c GC COLLECT
519.39/519.57	c #Conflicts:      17000 | #Learnt:       3713 | 2.208
519.39/519.57	c total clause space: 206.656MB
519.39/519.57	c total #watches: 1767050
538.49/538.65	c total #propagations: 18654568 / total #impl: 545763718 (eff. 0.034)
538.49/538.65	c #Conflicts:      18000 | #Learnt:       4713 | 2.086
538.49/538.65	c total clause space: 206.656MB
538.49/538.65	c total #watches: 2113650
563.29/563.46	c total #propagations: 20746986 / total #impl: 605581207 (eff. 0.034)
563.29/563.46	c #Conflicts:      19000 | #Learnt:       5713 | 1.976
563.29/563.46	c total clause space: 206.656MB
563.29/563.46	c total #watches: 2264892
585.89/586.08	c total #propagations: 22822603 / total #impl: 683498502 (eff. 0.033)
585.89/586.08	c #Conflicts:      20000 | #Learnt:       6713 | 2.018
585.89/586.08	c total clause space: 206.656MB
585.89/586.08	c total #watches: 2769425
603.39/603.51	c total #propagations: 23568024 / total #impl: 722386599 (eff. 0.033)
603.39/603.51	c GC COLLECT
603.39/603.51	c #Conflicts:      21000 | #Learnt:       4233 | 1.928
603.39/603.51	c total clause space: 206.656MB
603.39/603.51	c total #watches: 1566484
628.18/628.35	c total #propagations: 24263020 / total #impl: 756095632 (eff. 0.032)
628.18/628.35	c #Conflicts:      22000 | #Learnt:       5233 | 1.889
628.18/628.35	c total clause space: 206.656MB
628.18/628.35	c total #watches: 1847201
648.78/648.99	c total #propagations: 24733191 / total #impl: 777725631 (eff. 0.032)
648.78/648.99	c #Conflicts:      23000 | #Learnt:       6233 | 1.825
648.78/648.99	c total clause space: 206.656MB
648.78/648.99	c total #watches: 2651322
674.87/675.02	c total #propagations: 25771050 / total #impl: 801200423 (eff. 0.032)
674.87/675.02	c #Conflicts:      24000 | #Learnt:       7233 | 1.757
674.87/675.02	c total clause space: 206.656MB
674.87/675.02	c total #watches: 3778955
701.57/701.77	c total #propagations: 26542298 / total #impl: 838698590 (eff. 0.032)
701.57/701.77	c GC COLLECT
701.57/701.77	c #Conflicts:      25000 | #Learnt:       4422 | 1.687
701.57/701.77	c total clause space: 206.656MB
701.57/701.77	c total #watches: 2864022
712.17/712.37	c total #propagations: 27157940 / total #impl: 867190248 (eff. 0.031)
712.17/712.37	c #Conflicts:      26000 | #Learnt:       5422 | 1.625
712.17/712.37	c total clause space: 206.656MB
712.17/712.37	c total #watches: 2918075
719.27/719.44	c total #propagations: 27254172 / total #impl: 880539805 (eff. 0.031)
719.27/719.44	c #Conflicts:      27000 | #Learnt:       6422 | 1.567
719.27/719.44	c total clause space: 206.656MB
719.27/719.44	c total #watches: 2981139
746.87/747.04	c total #propagations: 27451952 / total #impl: 885702430 (eff. 0.031)
746.87/747.04	c #Conflicts:      28000 | #Learnt:       7422 | 1.572
746.87/747.04	c total clause space: 206.656MB
746.87/747.04	c total #watches: 3499953
775.96/776.16	c total #propagations: 27814029 / total #impl: 904341454 (eff. 0.031)
775.96/776.16	c GC COLLECT
775.96/776.16	c #Conflicts:      29000 | #Learnt:       4328 | 1.535
775.96/776.16	c total clause space: 335.816MB
775.96/776.16	c total #watches: 1988170
789.66/789.82	c total #propagations: 28242994 / total #impl: 942528132 (eff. 0.030)
789.66/789.82	c #Conflicts:      30000 | #Learnt:       5328 | 1.488
789.66/789.82	c total clause space: 335.816MB
789.66/789.82	c total #watches: 3500854
818.26/818.44	c total #propagations: 28536755 / total #impl: 992304434 (eff. 0.029)
818.26/818.44	c #Conflicts:      31000 | #Learnt:       6328 | 1.547
818.26/818.44	c total clause space: 335.816MB
818.26/818.44	c total #watches: 3854126
864.45/864.66	c total #propagations: 28660087 / total #impl: 1016201770 (eff. 0.028)
864.45/864.66	c #Conflicts:      32000 | #Learnt:       7328 | 1.512
864.45/864.66	c total clause space: 335.816MB
864.45/864.66	c total #watches: 4037443
901.54/901.78	c total #propagations: 29060289 / total #impl: 1041757091 (eff. 0.028)
901.54/901.78	c #Conflicts:      33000 | #Learnt:       8328 | 1.739
901.54/901.78	c total clause space: 335.816MB
901.54/901.78	c total #watches: 4606183
934.73/934.96	c total #propagations: 29532776 / total #impl: 1061443830 (eff. 0.028)
934.73/934.96	c GC COLLECT
934.73/934.96	c #Conflicts:      34000 | #Learnt:       4920 | 1.690
934.73/934.96	c total clause space: 335.816MB
934.73/934.96	c total #watches: 4045841
987.92/988.15	c total #propagations: 30672823 / total #impl: 1080963949 (eff. 0.028)
987.92/988.15	c #Conflicts:      35000 | #Learnt:       5920 | 1.647
987.92/988.15	c total clause space: 335.816MB
987.92/988.15	c total #watches: 4164009
1050.61/1050.88	c total #propagations: 32307760 / total #impl: 1110625621 (eff. 0.029)
1050.61/1050.88	c #Conflicts:      36000 | #Learnt:       6920 | 1.602
1050.61/1050.88	c total clause space: 335.816MB
1050.61/1050.88	c total #watches: 4529813
1142.29/1142.50	c total #propagations: 33675640 / total #impl: 1181785402 (eff. 0.028)
1142.29/1142.50	c #Conflicts:      37000 | #Learnt:       7920 | 1.559
1142.29/1142.50	c total clause space: 335.816MB
1142.29/1142.50	c total #watches: 4902280
1226.28/1226.57	c total #propagations: 35245827 / total #impl: 1273962895 (eff. 0.028)
1226.28/1226.57	c #Conflicts:      38000 | #Learnt:       8920 | 1.519
1226.28/1226.57	c total clause space: 335.816MB
1226.28/1226.57	c total #watches: 5358248
1266.98/1267.25	c total #propagations: 36452808 / total #impl: 1353836320 (eff. 0.027)
1266.98/1267.25	c GC COLLECT
1266.98/1267.25	c #Conflicts:      39000 | #Learnt:       5207 | 1.481
1266.98/1267.25	c total clause space: 335.816MB
1266.98/1267.25	c total #watches: 2045699
1284.27/1284.52	c total #propagations: 37741997 / total #impl: 1410388693 (eff. 0.027)
1284.27/1284.52	c #Conflicts:      40000 | #Learnt:       6207 | 1.469
1284.27/1284.52	c total clause space: 335.816MB
1284.27/1284.52	c total #watches: 2807055
1303.67/1303.91	c total #propagations: 38632900 / total #impl: 1455353902 (eff. 0.027)
1303.67/1303.91	c #Conflicts:      41000 | #Learnt:       7207 | 1.434
1303.67/1303.91	c total clause space: 335.816MB
1303.67/1303.91	c total #watches: 3477913
1317.37/1317.65	c total #propagations: 40100425 / total #impl: 1549043806 (eff. 0.026)
1317.37/1317.65	c #Conflicts:      42000 | #Learnt:       8207 | 1.399
1317.37/1317.65	c total clause space: 335.816MB
1317.37/1317.65	c total #watches: 4019277
1340.27/1340.58	c total #propagations: 41720016 / total #impl: 1636165511 (eff. 0.025)
1340.27/1340.58	c #Conflicts:      43000 | #Learnt:       9207 | 1.367
1340.27/1340.58	c total clause space: 335.816MB
1340.27/1340.58	c total #watches: 4310105
1358.27/1358.57	c total #propagations: 43132175 / total #impl: 1717882209 (eff. 0.025)
1358.27/1358.57	c GC COLLECT
1358.27/1358.57	c #Conflicts:      44000 | #Learnt:       5258 | 1.370
1358.27/1358.57	c total clause space: 335.816MB
1358.27/1358.57	c total #watches: 2887676
1373.16/1373.44	c total #propagations: 44054231 / total #impl: 1792982229 (eff. 0.025)
1373.16/1373.44	c #Conflicts:      45000 | #Learnt:       6258 | 1.340
1373.16/1373.44	c total clause space: 335.816MB
1373.16/1373.44	c total #watches: 3084354
1405.66/1405.95	c total #propagations: 44885602 / total #impl: 1873890534 (eff. 0.024)
1405.66/1405.95	c #Conflicts:      46000 | #Learnt:       7258 | 1.312
1405.66/1405.95	c total clause space: 335.816MB
1405.66/1405.95	c total #watches: 3577731
1437.75/1438.04	c total #propagations: 46026702 / total #impl: 1923161726 (eff. 0.024)
1437.75/1438.04	c #Conflicts:      47000 | #Learnt:       8258 | 1.291
1437.75/1438.04	c total clause space: 335.816MB
1437.75/1438.04	c total #watches: 4401721
1461.15/1461.43	c total #propagations: 46634723 / total #impl: 1987444303 (eff. 0.023)
1461.15/1461.43	c #Conflicts:      48000 | #Learnt:       9258 | 1.271
1461.15/1461.43	c total clause space: 335.816MB
1461.15/1461.43	c total #watches: 4765370
1508.94/1509.21	c total #propagations: 46826597 / total #impl: 2006240996 (eff. 0.023)
1508.94/1509.21	c #Conflicts:      49000 | #Learnt:      10258 | 1.256
1508.94/1509.21	c total clause space: 335.816MB
1508.94/1509.21	c total #watches: 5320789
1537.93/1538.23	c total #propagations: 47549853 / total #impl: 2036097907 (eff. 0.023)
1537.93/1538.23	c GC COLLECT
1537.93/1538.23	c #Conflicts:      50000 | #Learnt:       5931 | 1.245
1537.93/1538.23	c total clause space: 335.816MB
1537.93/1538.23	c total #watches: 3145734
1563.73/1564.02	c total #propagations: 48054843 / total #impl: 2061080046 (eff. 0.023)
1563.73/1564.02	c #Conflicts:      51000 | #Learnt:       6931 | 1.230
1563.73/1564.02	c total clause space: 335.816MB
1563.73/1564.02	c total #watches: 3317230
1577.72/1578.05	c total #propagations: 48676079 / total #impl: 2077662121 (eff. 0.023)
1577.72/1578.05	c #Conflicts:      52000 | #Learnt:       7931 | 1.210
1577.72/1578.05	c total clause space: 335.816MB
1577.72/1578.05	c total #watches: 4024407
1592.12/1592.40	c total #propagations: 49209894 / total #impl: 2092220527 (eff. 0.024)
1592.12/1592.40	c #Conflicts:      53000 | #Learnt:       8931 | 1.188
1592.12/1592.40	c total clause space: 335.816MB
1592.12/1592.40	c total #watches: 4198857
1635.71/1636.08	c total #propagations: 49504138 / total #impl: 2098760172 (eff. 0.024)
1635.71/1636.08	c #Conflicts:      54000 | #Learnt:       9931 | 1.173
1635.71/1636.08	c total clause space: 335.816MB
1635.71/1636.08	c total #watches: 4530073
1677.61/1677.95	c total #propagations: 50764629 / total #impl: 2123382938 (eff. 0.024)
1677.61/1677.95	c #Conflicts:      55000 | #Learnt:      10931 | 1.158
1677.61/1677.95	c total clause space: 335.816MB
1677.61/1677.95	c total #watches: 4868132
1705.20/1705.58	c total #propagations: 51614422 / total #impl: 2147640897 (eff. 0.024)
1705.20/1705.58	c GC COLLECT
1705.20/1705.58	c #Conflicts:      56000 | #Learnt:       6338 | 1.142
1705.20/1705.58	c total clause space: 335.816MB
1705.20/1705.58	c total #watches: 2774647
1738.70/1739.06	c total #propagations: 52543489 / total #impl: 2175409536 (eff. 0.024)
1738.70/1739.06	c #Conflicts:      57000 | #Learnt:       7338 | 1.141
1738.70/1739.06	c total clause space: 335.816MB
1738.70/1739.06	c total #watches: 3067985
1768.60/1768.99	c total #propagations: 53442600 / total #impl: 2197685592 (eff. 0.024)
1768.60/1768.99	c #Conflicts:      58000 | #Learnt:       8338 | 1.143
1768.60/1768.99	c total clause space: 335.816MB
1768.60/1768.99	c total #watches: 3642792
1797.89/1798.26	c total #propagations: 54127273 / total #impl: 2219416664 (eff. 0.024)
1797.89/1798.26	c #Conflicts:      59000 | #Learnt:       9338 | 1.125
1797.89/1798.26	c total clause space: 335.816MB
1797.89/1798.26	c total #watches: 3813786

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-4101471-1466254228/watcher-4101471-1466254228 -o /tmp/evaluation-result-4101471-1466254228/solver-4101471-1466254228 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466241415-14233 --watchdog 1960 --input HOME/instance-4101471-1466254228.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

pid=15523
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.05 2.03 2.00 3/177 15526
/proc/meminfo: memFree=31415448/32872528 swapFree=303544/319896
[pid=15526] ppid=15523 vsize=55976 CPUtime=0 cores=0,2,4,6
/proc/15526/stat : 15526 (cdcl-cuttingpla) R 15523 15526 14217 0 -1 4202496 259 0 0 0 0 0 0 0 20 0 1 0 27469398 57319424 8316 33554432000 4194304 6211289 140733432286352 140735435857448 4206599 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/15526/statm: 13994 8316 98 493 0 13491 0

[startup+0.10017 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 15526
/proc/meminfo: memFree=31415448/32872528 swapFree=303544/319896
[pid=15526] ppid=15523 vsize=68576 CPUtime=0.09 cores=0,2,4,6
/proc/15526/stat : 15526 (cdcl-cuttingpla) R 15523 15526 14217 0 -1 4202496 2139 0 0 0 8 1 0 0 20 0 1 0 27469398 70221824 14376 33554432000 4194304 6211289 140733432286352 140735435857448 5161098 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/15526/statm: 17144 14376 144 493 0 16641 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 68576

[startup+0.200352 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 15526
/proc/meminfo: memFree=31415448/32872528 swapFree=303544/319896
[pid=15526] ppid=15523 vsize=68708 CPUtime=0.19 cores=0,2,4,6
/proc/15526/stat : 15526 (cdcl-cuttingpla) R 15523 15526 14217 0 -1 4202496 2252 0 0 0 18 1 0 0 20 0 1 0 27469398 70356992 14484 33554432000 4194304 6211289 140733432286352 140735435857448 4205850 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/15526/statm: 17177 14484 150 493 0 16674 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 68708

[startup+0.300274 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 15526
/proc/meminfo: memFree=31415448/32872528 swapFree=303544/319896
[pid=15526] ppid=15523 vsize=71692 CPUtime=0.29 cores=0,2,4,6
/proc/15526/stat : 15526 (cdcl-cuttingpla) R 15523 15526 14217 0 -1 4202496 2378 0 0 0 28 1 0 0 20 0 1 0 27469398 73412608 15109 33554432000 4194304 6211289 140733432286352 140735435857448 4201991 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/15526/statm: 17923 15109 150 493 0 17420 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 71692

[startup+0.700219 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 15526
/proc/meminfo: memFree=31415448/32872528 swapFree=303544/319896
[pid=15526] ppid=15523 vsize=77184 CPUtime=0.69 cores=0,2,4,6
/proc/15526/stat : 15526 (cdcl-cuttingpla) R 15523 15526 14217 0 -1 4202496 2799 0 0 0 68 1 0 0 20 0 1 0 27469398 79036416 16015 33554432000 4194304 6211289 140733432286352 140735435857448 4209396 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/15526/statm: 19296 16015 150 493 0 18793 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 77184

[startup+1.50024 s]
/proc/loadavg: 2.05 2.03 2.00 3/178 15527
/proc/meminfo: memFree=31347904/32872528 swapFree=303544/319896
[pid=15526] ppid=15523 vsize=98408 CPUtime=1.48 cores=0,2,4,6
/proc/15526/stat : 15526 (cdcl-cuttingpla) R 15523 15526 14217 0 -1 4202496 3663 0 0 0 147 1 0 0 20 0 1 0 27469398 100769792 18345 33554432000 4194304 6211289 140733432286352 140733432284264 4209328 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/15526/statm: 24602 18345 150 493 0 24099 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 98408

[startup+3.10023 s]
/proc/loadavg: 2.05 2.03 2.00 3/178 15527
/proc/meminfo: memFree=31332704/32872528 swapFree=303544/319896
[pid=15526] ppid=15523 vsize=102136 CPUtime=3.09 cores=0,2,4,6
/proc/15526/stat : 15526 (cdcl-cuttingpla) R 15523 15526 14217 0 -1 4202496 4952 0 0 0 307 2 0 0 20 0 1 0 27469398 104587264 21606 33554432000 4194304 6211289 140733432286352 140733432284264 4205850 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/15526/statm: 25534 21606 150 493 0 25031 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 102136

[startup+6.30025 s]
/proc/loadavg: 2.05 2.03 2.00 3/178 15527
/proc/meminfo: memFree=31313832/32872528 swapFree=303544/319896
[pid=15526] ppid=15523 vsize=126112 CPUtime=6.29 cores=0,2,4,6
/proc/15526/stat : 15526 (cdcl-cuttingpla) R 15523 15526 14217 0 -1 4202496 6418 0 0 0 627 2 0 0 20 0 1 0 27469398 129138688 27123 33554432000 4194304 6211289 140733432286352 140733432284344 4201983 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/15526/statm: 31528 27123 160 493 0 31025 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 126112

[startup+12.7003 s]
/proc/loadavg: 2.04 2.03 2.00 3/178 15527
/proc/meminfo: memFree=31270232/32872528 swapFree=303544/319896
[pid=15526] ppid=15523 vsize=166104 CPUtime=12.69 cores=0,2,4,6
/proc/15526/stat : 15526 (cdcl-cuttingpla) R 15523 15526 14217 0 -1 4202496 8843 0 0 0 1265 4 0 0 20 0 1 0 27469398 170090496 36173 33554432000 4194304 6211289 140733432286352 140733432284264 4209388 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/15526/statm: 41526 36173 160 493 0 41023 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 166104

[startup+25.5003 s]
/proc/loadavg: 2.03 2.03 2.00 3/178 15527
/proc/meminfo: memFree=31171736/32872528 swapFree=303544/319896
[pid=15526] ppid=15523 vsize=308396 CPUtime=25.49 cores=0,2,4,6
/proc/15526/stat : 15526 (cdcl-cuttingpla) R 15523 15526 14217 0 -1 4202496 17316 0 0 0 2542 7 0 0 20 0 1 0 27469398 315797504 60737 33554432000 4194304 6211289 140733432286352 140733432284632 4209464 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/15526/statm: 77099 60737 219 493 0 76596 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 308396

[startup+51.1003 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 15527
/proc/meminfo: memFree=30924712/32872528 swapFree=303544/319896
[pid=15526] ppid=15523 vsize=610708 CPUtime=51.08 cores=0,2,4,6
/proc/15526/stat : 15526 (cdcl-cuttingpla) R 15523 15526 14217 0 -1 4202496 27327 0 0 0 5095 13 0 0 20 0 1 0 27469398 625364992 120763 33554432000 4194304 6211289 140733432286352 140733432284344 4201944 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/15526/statm: 152677 120763 219 493 0 152174 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 610708

[startup+102.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 15528
/proc/meminfo: memFree=30900016/32872528 swapFree=303544/319896
[pid=15526] ppid=15523 vsize=613008 CPUtime=102.29 cores=0,2,4,6
/proc/15526/stat : 15526 (cdcl-cuttingpla) R 15523 15526 14217 0 -1 4202496 27887 0 0 0 10215 14 0 0 20 0 1 0 27469398 627720192 125922 33554432000 4194304 6211289 140733432286352 140733432284344 4215342 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/15526/statm: 153252 125922 219 493 0 152749 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 613008

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 15529
/proc/meminfo: memFree=30876600/32872528 swapFree=303544/319896
[pid=15526] ppid=15523 vsize=618944 CPUtime=162.26 cores=0,2,4,6
/proc/15526/stat : 15526 (cdcl-cuttingpla) R 15523 15526 14217 0 -1 4202496 29396 0 0 0 16212 14 0 0 20 0 1 0 27469398 633798656 128955 33554432000 4194304 6211289 140733432286352 140733432284344 4209396 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/15526/statm: 154736 128955 219 493 0 154233 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 618944

[startup+222.307 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 15530
/proc/meminfo: memFree=30862052/32872528 swapFree=303544/319896
[pid=15526] ppid=15523 vsize=625908 CPUtime=222.25 cores=0,2,4,6
/proc/15526/stat : 15526 (cdcl-cuttingpla) R 15523 15526 14217 0 -1 4202496 31097 0 0 0 22211 14 0 0 20 0 1 0 27469398 640929792 132389 33554432000 4194304 6211289 140733432286352 140733432284344 4209403 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/15526/statm: 156477 132389 219 493 0 155974 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 625908

[startup+282.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 15532
/proc/meminfo: memFree=30798928/32872528 swapFree=303544/319896
[pid=15526] ppid=15523 vsize=728744 CPUtime=282.24 cores=0,2,4,6
/proc/15526/stat : 15526 (cdcl-cuttingpla) R 15523 15526 14217 0 -1 4202496 36972 0 0 0 28209 15 0 0 20 0 1 0 27469398 746233856 147477 33554432000 4194304 6211289 140733432286352 140733432284344 4241821 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/15526/statm: 182186 147477 219 493 0 181683 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 728744

[startup+342.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 15533
/proc/meminfo: memFree=30764824/32872528 swapFree=303544/319896
[pid=15526] ppid=15523 vsize=731920 CPUtime=342.23 cores=0,2,4,6
/proc/15526/stat : 15526 (cdcl-cuttingpla) R 15523 15526 14217 0 -1 4202496 37745 0 0 0 34207 16 0 0 20 0 1 0 27469398 749486080 153207 33554432000 4194304 6211289 140733432286352 140733432284696 4209376 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/15526/statm: 182980 153207 219 493 0 182477 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 731920

[startup+402.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 15534
/proc/meminfo: memFree=30754516/32872528 swapFree=303544/319896
[pid=15526] ppid=15523 vsize=732928 CPUtime=402.22 cores=0,2,4,6
/proc/15526/stat : 15526 (cdcl-cuttingpla) R 15523 15526 14217 0 -1 4202496 38103 0 0 0 40206 16 0 0 20 0 1 0 27469398 750518272 155533 33554432000 4194304 6211289 140733432286352 140733432284696 4209376 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/15526/statm: 183232 155533 219 493 0 182729 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 732928

[startup+462.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 15535
/proc/meminfo: memFree=30750652/32872528 swapFree=303544/319896
[pid=15526] ppid=15523 vsize=735348 CPUtime=462.2 cores=0,2,4,6
/proc/15526/stat : 15526 (cdcl-cuttingpla) R 15523 15526 14217 0 -1 4202496 38767 0 0 0 46204 16 0 0 20 0 1 0 27469398 752996352 156187 33554432000 4194304 6211289 140733432286352 140733432284344 4241789 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/15526/statm: 183837 156187 219 493 0 183334 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 735348

[startup+522.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/177 15536
/proc/meminfo: memFree=30749684/32872528 swapFree=303544/319896
[pid=15526] ppid=15523 vsize=737300 CPUtime=522.19 cores=0,2,4,6
/proc/15526/stat : 15526 (cdcl-cuttingpla) R 15523 15526 14217 0 -1 4202496 39224 0 0 0 52203 16 0 0 20 0 1 0 27469398 754995200 156643 33554432000 4194304 6211289 140733432286352 140733432284696 4241777 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/15526/statm: 184325 156643 219 493 0 183822 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 737300

[startup+582.3 s]
/proc/loadavg: 2.10 2.05 2.00 3/178 15541
/proc/meminfo: memFree=30742524/32872528 swapFree=303544/319896
[pid=15526] ppid=15523 vsize=742420 CPUtime=582.19 cores=0,2,4,6
/proc/15526/stat : 15526 (cdcl-cuttingpla) R 15523 15526 14217 0 -1 4202496 40290 0 0 0 58202 17 0 0 20 0 1 0 27469398 760238080 157709 33554432000 4194304 6211289 140733432286352 140733432284216 4209396 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/15526/statm: 185605 157709 219 493 0 185102 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 742420


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


[startup+882.307 s]
/proc/loadavg: 2.06 2.06 2.00 3/177 15570
/proc/meminfo: memFree=30643600/32872528 swapFree=303544/319896
[pid=15526] ppid=15523 vsize=898320 CPUtime=882.15 cores=0,2,4,6
/proc/15526/stat : 15526 (cdcl-cuttingpla) R 15523 15526 14217 0 -1 4202496 46671 0 0 0 88195 20 0 0 20 0 1 0 27469398 919879680 178028 33554432000 4194304 6211289 140733432286352 140733432284264 4240093 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/15526/statm: 224580 178028 219 493 0 224077 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 898320

[startup+942.3 s]
/proc/loadavg: 2.12 2.08 2.01 3/177 15571
/proc/meminfo: memFree=30628888/32872528 swapFree=303544/319896
[pid=15526] ppid=15523 vsize=898452 CPUtime=942.13 cores=0,2,4,6
/proc/15526/stat : 15526 (cdcl-cuttingpla) R 15523 15526 14217 0 -1 4202496 46751 0 0 0 94193 20 0 0 20 0 1 0 27469398 920014848 181685 33554432000 4194304 6211289 140733432286352 140733432284264 4209304 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/15526/statm: 224613 181685 219 493 0 224110 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 898452

[startup+1002.3 s]
/proc/loadavg: 2.09 2.07 2.01 3/177 15572
/proc/meminfo: memFree=30622928/32872528 swapFree=303544/319896
[pid=15526] ppid=15523 vsize=898624 CPUtime=1002.12 cores=0,2,4,6
/proc/15526/stat : 15526 (cdcl-cuttingpla) R 15523 15526 14217 0 -1 4202496 46814 0 0 0 100192 20 0 0 20 0 1 0 27469398 920190976 182505 33554432000 4194304 6211289 140733432286352 140733432284344 4241789 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/15526/statm: 224656 182505 219 493 0 224153 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 898624

[startup+1062.3 s]
/proc/loadavg: 2.03 2.06 2.00 3/177 15573
/proc/meminfo: memFree=30621372/32872528 swapFree=303544/319896
[pid=15526] ppid=15523 vsize=899692 CPUtime=1062.11 cores=0,2,4,6
/proc/15526/stat : 15526 (cdcl-cuttingpla) R 15523 15526 14217 0 -1 4202496 47163 0 0 0 106190 21 0 0 20 0 1 0 27469398 921284608 182846 33554432000 4194304 6211289 140733432286352 140733432284344 4209403 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/15526/statm: 224923 182846 219 493 0 224420 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 899692

[startup+1122.3 s]
/proc/loadavg: 2.15 2.08 2.01 3/177 15574
/proc/meminfo: memFree=30615932/32872528 swapFree=303544/319896
[pid=15526] ppid=15523 vsize=900176 CPUtime=1122.1 cores=0,2,4,6
/proc/15526/stat : 15526 (cdcl-cuttingpla) R 15523 15526 14217 0 -1 4202496 47320 0 0 0 112189 21 0 0 20 0 1 0 27469398 921780224 182997 33554432000 4194304 6211289 140733432286352 140733432284344 4209403 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/15526/statm: 225044 182997 219 493 0 224541 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 900176

[startup+1182.3 s]
/proc/loadavg: 2.13 2.08 2.01 3/178 15579
/proc/meminfo: memFree=30616216/32872528 swapFree=303544/319896
[pid=15526] ppid=15523 vsize=900640 CPUtime=1182.09 cores=0,2,4,6
/proc/15526/stat : 15526 (cdcl-cuttingpla) R 15523 15526 14217 0 -1 4202496 47443 0 0 0 118188 21 0 0 20 0 1 0 27469398 922255360 183120 33554432000 4194304 6211289 140733432286352 140733432284344 4209376 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/15526/statm: 225160 183120 219 493 0 224657 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 900640

[startup+1242.3 s]
/proc/loadavg: 2.09 2.08 2.01 3/177 15580
/proc/meminfo: memFree=30588144/32872528 swapFree=303544/319896
[pid=15526] ppid=15523 vsize=909668 CPUtime=1242.08 cores=0,2,4,6
/proc/15526/stat : 15526 (cdcl-cuttingpla) R 15523 15526 14217 0 -1 4202496 49164 0 0 0 124186 22 0 0 20 0 1 0 27469398 931500032 188929 33554432000 4194304 6211289 140733432286352 140733432284264 4209384 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/15526/statm: 227417 188929 219 493 0 226914 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 909668

[startup+1302.3 s]
/proc/loadavg: 2.13 2.09 2.01 3/177 15581
/proc/meminfo: memFree=30582836/32872528 swapFree=303544/319896
[pid=15526] ppid=15523 vsize=912828 CPUtime=1302.07 cores=0,2,4,6
/proc/15526/stat : 15526 (cdcl-cuttingpla) R 15523 15526 14217 0 -1 4202496 49927 0 0 0 130185 22 0 0 20 0 1 0 27469398 934735872 190203 33554432000 4194304 6211289 140733432286352 140733432284344 4209388 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/15526/statm: 228207 190203 219 493 0 227704 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 912828

[startup+1362.3 s]
/proc/loadavg: 2.05 2.07 2.01 3/177 15582
/proc/meminfo: memFree=30574772/32872528 swapFree=303544/319896
[pid=15526] ppid=15523 vsize=921472 CPUtime=1362.06 cores=0,2,4,6
/proc/15526/stat : 15526 (cdcl-cuttingpla) R 15523 15526 14217 0 -1 4202496 51882 0 0 0 136184 22 0 0 20 0 1 0 27469398 943587328 192158 33554432000 4194304 6211289 140733432286352 140733432284696 4201567 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/15526/statm: 230368 192158 219 493 0 229865 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 921472

[startup+1422.3 s]
/proc/loadavg: 2.06 2.07 2.01 3/177 15583
/proc/meminfo: memFree=30569224/32872528 swapFree=303544/319896
[pid=15526] ppid=15523 vsize=930112 CPUtime=1422.05 cores=0,2,4,6
/proc/15526/stat : 15526 (cdcl-cuttingpla) R 15523 15526 14217 0 -1 4202496 53369 0 0 0 142183 22 0 0 20 0 1 0 27469398 952434688 193645 33554432000 4194304 6211289 140733432286352 140733432284344 4209322 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/15526/statm: 232528 193645 219 493 0 232025 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 930112

[startup+1482.3 s]
/proc/loadavg: 2.14 2.09 2.01 3/177 15585
/proc/meminfo: memFree=30567820/32872528 swapFree=303544/319896
[pid=15526] ppid=15523 vsize=931264 CPUtime=1482.04 cores=0,2,4,6
/proc/15526/stat : 15526 (cdcl-cuttingpla) R 15523 15526 14217 0 -1 4202496 53724 0 0 0 148181 23 0 0 20 0 1 0 27469398 953614336 194000 33554432000 4194304 6211289 140733432286352 140733432284344 4242435 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/15526/statm: 232816 194000 219 493 0 232313 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 931264

[startup+1542.31 s]
/proc/loadavg: 2.05 2.07 2.01 4/177 15586
/proc/meminfo: memFree=30538420/32872528 swapFree=303544/319896
[pid=15526] ppid=15523 vsize=931264 CPUtime=1542.04 cores=0,2,4,6
/proc/15526/stat : 15526 (cdcl-cuttingpla) R 15523 15526 14217 0 -1 4202496 53850 0 0 0 154181 23 0 0 20 0 1 0 27469398 953614336 199236 33554432000 4194304 6211289 140733432286352 140733432284696 4209314 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/15526/statm: 232816 199236 219 493 0 232313 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 931264

[startup+1602.3 s]
/proc/loadavg: 2.06 2.07 2.01 3/177 15633
/proc/meminfo: memFree=30663740/32872528 swapFree=303544/319896
[pid=15526] ppid=15523 vsize=931264 CPUtime=1602.02 cores=0,2,4,6
/proc/15526/stat : 15526 (cdcl-cuttingpla) R 15523 15526 14217 0 -1 4202496 53860 0 0 0 160179 23 0 0 20 0 1 0 27469398 953614336 199246 33554432000 4194304 6211289 140733432286352 140733432284696 4209380 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/15526/statm: 232816 199246 219 493 0 232313 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 931264

[startup+1662.3 s]
/proc/loadavg: 2.09 2.07 2.01 3/177 15634
/proc/meminfo: memFree=30550804/32872528 swapFree=303544/319896
[pid=15526] ppid=15523 vsize=931264 CPUtime=1662.01 cores=0,2,4,6
/proc/15526/stat : 15526 (cdcl-cuttingpla) R 15523 15526 14217 0 -1 4202496 53860 0 0 0 166178 23 0 0 20 0 1 0 27469398 953614336 199246 33554432000 4194304 6211289 140733432286352 140733432284696 4209388 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/15526/statm: 232816 199246 219 493 0 232313 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 931264

[startup+1722.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 15635
/proc/meminfo: memFree=30504812/32872528 swapFree=303544/319896
[pid=15526] ppid=15523 vsize=932640 CPUtime=1722 cores=0,2,4,6
/proc/15526/stat : 15526 (cdcl-cuttingpla) R 15523 15526 14217 0 -1 4202496 54173 0 0 0 172177 23 0 0 20 0 1 0 27469398 955023360 199559 33554432000 4194304 6211289 140733432286352 140733432284264 4242593 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/15526/statm: 233160 199559 219 493 0 232657 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 932640

[startup+1782.3 s]
/proc/loadavg: 2.06 2.06 2.00 3/177 15639
/proc/meminfo: memFree=30448320/32872528 swapFree=303544/319896
[pid=15526] ppid=15523 vsize=933884 CPUtime=1781.99 cores=0,2,4,6
/proc/15526/stat : 15526 (cdcl-cuttingpla) R 15523 15526 14217 0 -1 4202496 54479 0 0 0 178176 23 0 0 20 0 1 0 27469398 956297216 201219 33554432000 4194304 6211289 140733432286352 140733432284696 4209396 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/15526/statm: 233471 201219 219 493 0 232968 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 933884



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.11 2.07 2.01 3/178 15640
/proc/meminfo: memFree=30438268/32872528 swapFree=303544/319896
[pid=15526] ppid=15523 vsize=934020 CPUtime=1800.09 cores=0,2,4,6
/proc/15526/stat : 15526 (cdcl-cuttingpla) R 15523 15526 14217 0 -1 4202496 54516 0 0 0 179986 23 0 0 20 0 1 0 27469398 956436480 201256 33554432000 4194304 6211289 140733432286352 140733432284696 4209322 0 0 4096 8388610 0 0 0 17 4 0 0 0 0 0
/proc/15526/statm: 233505 201256 219 493 0 233002 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 934020

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 15526 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): 1799.86
CPU system time (s): 0.241963
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 934020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.86
system time used= 0.241963
maximum resident set size= 805024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54516
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= 42
involuntary context switches= 1932

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.21736 second user time and 7.26689 second system time

The end

Launcher Data 

Begin job on node128 at 2016-06-18 14:50:28
IDJOB=4101471
IDBENCH=1753
IDSOLVER=2549
FILE ID=node128/4101471-1466254228
RUNJOBID= node128-1466241415-14233
PBS_JOBID= 19918208
Free space on /tmp= 71708 MiB

SOLVER NAME= cdcl-cuttingplanes OPT binary search 2016-05-01
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-fixnet4.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101471-1466254228/watcher-4101471-1466254228 -o /tmp/evaluation-result-4101471-1466254228/solver-4101471-1466254228 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466241415-14233 --watchdog 1960 --input HOME/instance-4101471-1466254228.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= 03b4fab8c58cfc4ea6c0d3c2d05c0d91
RANDOM SEED=1066085624

node128.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.768
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.53
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.768
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.768
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.56
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.768
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.768
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.57
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.768
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
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.768
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:        31415712 kB
Buffers:          120720 kB
Cached:           145040 kB
SwapCached:         2708 kB
Active:           201308 kB
Inactive:         192580 kB
Active(anon):     127400 kB
Inactive(anon):     2684 kB
Active(file):      73908 kB
Inactive(file):   189896 kB
Unevictable:      319896 kB
Mlocked:          303544 kB
SwapTotal:      67108856 kB
SwapFree:       67099180 kB
Dirty:              2800 kB
Writeback:             0 kB
AnonPages:        446420 kB
Mapped:             9628 kB
Shmem:                 0 kB
Slab:             611976 kB
SReclaimable:      55640 kB
SUnreclaim:       556336 kB
KernelStack:        1480 kB
PageTables:         5184 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     563660 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    106496 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= 71704 MiB
End job on node128 at 2016-06-18 15:20:28