Trace number 4088004

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-test4.pi.opb
MD5SUMcca57c347e264f92fb70010109aa24c5
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark175
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 104
Optimality of the best value was proved NO
Number of variables6139
Total number of constraints1437
Number of constraints which are clauses1437
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 constraint5
Maximum length of a constraint172
Number of terms in the objective function 6139
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 6139
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 6139
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c OPTIONS:
0.00/0.00	c - Resolve (`-resolve-always' or `-resolve-skip'): -resolve-skip
0.00/0.00	c * #variable= 6139 #constraint= 1437
3.58/3.65	c #Conflicts:       1000 | #Learnt:       1008 | 0.228
3.58/3.65	c total clause space: 127.173MB
3.58/3.65	c total #watches: 2712178
8.08/8.15	c total #propagations: 240021 / total #impl: 47204066 (eff. 0.005)
8.08/8.15	c #Conflicts:       2000 | #Learnt:       2009 | 0.141
8.08/8.15	c total clause space: 206.656MB
8.08/8.15	c total #watches: 4036499
11.78/11.82	c total #propagations: 534566 / total #impl: 187623364 (eff. 0.003)
11.78/11.82	c GC COLLECT
11.78/11.82	c #Conflicts:       3000 | #Learnt:       2024 | 0.094
11.78/11.82	c total clause space: 206.656MB
11.78/11.82	c total #watches: 2753986
14.98/15.01	c total #propagations: 888554 / total #impl: 247830011 (eff. 0.004)
14.98/15.01	c #Conflicts:       4000 | #Learnt:       3024 | 0.114
14.98/15.01	c total clause space: 206.656MB
14.98/15.01	c total #watches: 4382220
22.29/22.33	c total #propagations: 1152018 / total #impl: 288268932 (eff. 0.004)
22.29/22.33	c GC COLLECT
22.29/22.33	c #Conflicts:       5000 | #Learnt:       2401 | 0.094
22.29/22.33	c total clause space: 206.656MB
22.29/22.33	c total #watches: 6059578
35.38/35.42	c total #propagations: 1287477 / total #impl: 515137597 (eff. 0.002)
35.38/35.42	c #Conflicts:       6000 | #Learnt:       3403 | 0.088
35.38/35.42	c total clause space: 335.816MB
35.38/35.42	c total #watches: 9465082
50.98/51.03	c total #propagations: 1492221 / total #impl: 615183009 (eff. 0.002)
50.98/51.03	c GC COLLECT
50.98/51.03	c #Conflicts:       7000 | #Learnt:       2273 | 0.076
50.98/51.03	c total clause space: 545.701MB
50.98/51.03	c total #watches: 7080005
72.37/72.42	c total #propagations: 1895142 / total #impl: 814437294 (eff. 0.002)
72.37/72.42	c #Conflicts:       8000 | #Learnt:       3273 | 0.085
72.37/72.42	c total clause space: 545.701MB
72.37/72.42	c total #watches: 9598690
100.57/100.67	c total #propagations: 2190509 / total #impl: 1046361075 (eff. 0.002)
100.57/100.67	c #Conflicts:       9000 | #Learnt:       4274 | 0.078
100.57/100.67	c total clause space: 545.701MB
100.57/100.67	c total #watches: 12042694
126.27/126.33	c total #propagations: 2447446 / total #impl: 1482317637 (eff. 0.002)
126.27/126.33	c GC COLLECT
126.27/126.33	c #Conflicts:      10000 | #Learnt:       2754 | 0.081
126.27/126.33	c total clause space: 545.701MB
126.27/126.33	c total #watches: 7779207
146.16/146.26	c total #propagations: 2790361 / total #impl: 1696768112 (eff. 0.002)
146.16/146.26	c #Conflicts:      11000 | #Learnt:       3754 | 0.077
146.16/146.26	c total clause space: 545.701MB
146.16/146.26	c total #watches: 9974447
169.66/169.77	c total #propagations: 3163885 / total #impl: 1997189188 (eff. 0.002)
169.66/169.77	c #Conflicts:      12000 | #Learnt:       4754 | 0.071
169.66/169.77	c total clause space: 545.701MB
169.66/169.77	c total #watches: 12305437
206.55/206.67	c total #propagations: 3648119 / total #impl: 2196631868 (eff. 0.002)
206.55/206.67	c #Conflicts:      13000 | #Learnt:       5754 | 0.069
206.55/206.67	c total clause space: 545.701MB
206.55/206.67	c total #watches: 14654203
231.35/231.44	c total #propagations: 4087390 / total #impl: 2487848138 (eff. 0.002)
231.35/231.44	c GC COLLECT
231.35/231.44	c #Conflicts:      14000 | #Learnt:       3897 | 0.066
231.35/231.44	c total clause space: 545.701MB
231.35/231.44	c total #watches: 10624318
269.45/269.58	c total #propagations: 4310355 / total #impl: 2860432199 (eff. 0.002)
269.45/269.58	c #Conflicts:      15000 | #Learnt:       4897 | 0.062
269.45/269.58	c total clause space: 545.701MB
269.45/269.58	c total #watches: 12958191
309.05/309.16	c total #propagations: 4805565 / total #impl: 3485288187 (eff. 0.001)
309.05/309.16	c #Conflicts:      16000 | #Learnt:       5897 | 0.058
309.05/309.16	c total clause space: 545.701MB
309.05/309.16	c total #watches: 15248932
351.53/351.65	c total #propagations: 5129426 / total #impl: 3946736231 (eff. 0.001)
351.53/351.65	c GC COLLECT
351.53/351.65	c #Conflicts:      17000 | #Learnt:       3714 | 0.057
351.53/351.65	c total clause space: 545.701MB
351.53/351.65	c total #watches: 9511124
389.43/389.55	c total #propagations: 5598676 / total #impl: 4360004012 (eff. 0.001)
389.43/389.55	c #Conflicts:      18000 | #Learnt:       4714 | 0.054
389.43/389.55	c total clause space: 545.701MB
389.43/389.55	c total #watches: 11012482
444.11/444.29	c total #propagations: 6142553 / total #impl: 5008661356 (eff. 0.001)
444.11/444.29	c #Conflicts:      19000 | #Learnt:       5714 | 0.051
444.11/444.29	c total clause space: 545.701MB
444.11/444.29	c total #watches: 12500561
491.80/491.99	c total #propagations: 6831117 / total #impl: 5863927082 (eff. 0.001)
491.80/491.99	c #Conflicts:      20000 | #Learnt:       6714 | 0.052
491.80/491.99	c total clause space: 545.701MB
491.80/491.99	c total #watches: 14330586
523.40/523.55	c total #propagations: 7523645 / total #impl: 6414343506 (eff. 0.001)
523.40/523.55	c GC COLLECT
523.40/523.55	c #Conflicts:      21000 | #Learnt:       4231 | 0.049
523.40/523.55	c total clause space: 545.701MB
523.40/523.55	c total #watches: 9152151
558.40/558.53	c total #propagations: 7885370 / total #impl: 7065739037 (eff. 0.001)
558.40/558.53	c #Conflicts:      22000 | #Learnt:       5231 | 0.047
558.40/558.53	c total clause space: 545.701MB
558.40/558.53	c total #watches: 11644073
601.40/601.59	c total #propagations: 8204436 / total #impl: 7691111580 (eff. 0.001)
601.40/601.59	c #Conflicts:      23000 | #Learnt:       6231 | 0.045
601.40/601.59	c total clause space: 545.701MB
601.40/601.59	c total #watches: 13611295
643.79/643.93	c total #propagations: 8702555 / total #impl: 8461995029 (eff. 0.001)
643.79/643.93	c #Conflicts:      24000 | #Learnt:       7231 | 0.043
643.79/643.93	c total clause space: 545.701MB
643.79/643.93	c total #watches: 15957386
693.48/693.66	c total #propagations: 8938712 / total #impl: 9601835751 (eff. 0.001)
693.48/693.66	c GC COLLECT
693.48/693.66	c #Conflicts:      25000 | #Learnt:       4443 | 0.042
693.48/693.66	c total clause space: 886.764MB
693.48/693.66	c total #watches: 12614725
728.87/729.08	c total #propagations: 9251371 / total #impl: 10053096147 (eff. 0.001)
728.87/729.08	c #Conflicts:      26000 | #Learnt:       5443 | 0.040
728.87/729.08	c total clause space: 886.764MB
728.87/729.08	c total #watches: 14916073
774.06/774.29	c total #propagations: 9613440 / total #impl: 10444383942 (eff. 0.001)
774.06/774.29	c #Conflicts:      27000 | #Learnt:       6443 | 0.067
774.06/774.29	c total clause space: 886.764MB
774.06/774.29	c total #watches: 17818258
830.96/831.17	c total #propagations: 9796588 / total #impl: 10751330715 (eff. 0.001)
830.96/831.17	c #Conflicts:      28000 | #Learnt:       7443 | 0.067
830.96/831.17	c total clause space: 886.764MB
830.96/831.17	c total #watches: 20315852
905.05/905.20	c total #propagations: 10040797 / total #impl: 11214174012 (eff. 0.001)
905.05/905.20	c GC COLLECT
905.05/905.20	c #Conflicts:      29000 | #Learnt:       4336 | 0.069
905.05/905.20	c total clause space: 886.764MB
905.05/905.20	c total #watches: 12741121
931.55/931.74	c total #propagations: 10460716 / total #impl: 11591117142 (eff. 0.001)
931.55/931.74	c #Conflicts:      30000 | #Learnt:       5337 | 0.081
931.55/931.74	c total clause space: 886.764MB
931.55/931.74	c total #watches: 16047357
967.14/967.36	c total #propagations: 10638328 / total #impl: 11727576759 (eff. 0.001)
967.14/967.36	c #Conflicts:      31000 | #Learnt:       6337 | 0.080
967.14/967.36	c total clause space: 886.764MB
967.14/967.36	c total #watches: 18514660
997.93/998.17	c total #propagations: 11035353 / total #impl: 11954714130 (eff. 0.001)
997.93/998.17	c #Conflicts:      32000 | #Learnt:       7337 | 0.079
997.93/998.17	c total clause space: 886.764MB
997.93/998.17	c total #watches: 21335058
1039.03/1039.27	c total #propagations: 11223956 / total #impl: 12266415907 (eff. 0.001)
1039.03/1039.27	c #Conflicts:      33000 | #Learnt:       8337 | 0.077
1039.03/1039.27	c total clause space: 886.764MB
1039.03/1039.27	c total #watches: 23744433
1073.22/1073.44	c total #propagations: 11446377 / total #impl: 12686331996 (eff. 0.001)
1073.22/1073.44	c GC COLLECT
1073.22/1073.44	c #Conflicts:      34000 | #Learnt:       4931 | 0.075
1073.22/1073.44	c total clause space: 886.764MB
1073.22/1073.44	c total #watches: 15006093
1105.52/1105.75	c total #propagations: 11683503 / total #impl: 13121879831 (eff. 0.001)
1105.52/1105.75	c #Conflicts:      35000 | #Learnt:       5931 | 0.076
1105.52/1105.75	c total clause space: 886.764MB
1105.52/1105.75	c total #watches: 18036877
1141.61/1141.81	c total #propagations: 11959402 / total #impl: 13751708977 (eff. 0.001)
1141.61/1141.81	c #Conflicts:      36000 | #Learnt:       6931 | 0.074
1141.61/1141.81	c total clause space: 886.764MB
1141.61/1141.81	c total #watches: 20313878
1184.30/1184.55	c total #propagations: 12596362 / total #impl: 14255511759 (eff. 0.001)
1184.30/1184.55	c #Conflicts:      37000 | #Learnt:       7931 | 0.075
1184.30/1184.55	c total clause space: 886.764MB
1184.30/1184.55	c total #watches: 22033829
1233.39/1233.64	c total #propagations: 13268771 / total #impl: 14820691428 (eff. 0.001)
1233.39/1233.64	c #Conflicts:      38000 | #Learnt:       8931 | 0.073
1233.39/1233.64	c total clause space: 886.764MB
1233.39/1233.64	c total #watches: 23550113
1275.49/1275.72	c total #propagations: 13722977 / total #impl: 15546705849 (eff. 0.001)
1275.49/1275.72	c GC COLLECT
1275.49/1275.72	c #Conflicts:      39000 | #Learnt:       5227 | 0.071
1275.49/1275.72	c total clause space: 886.764MB
1275.49/1275.72	c total #watches: 12168545
1300.88/1301.13	c total #propagations: 14400209 / total #impl: 16366350480 (eff. 0.001)
1300.88/1301.13	c #Conflicts:      40000 | #Learnt:       6227 | 0.081
1300.88/1301.13	c total clause space: 886.764MB
1300.88/1301.13	c total #watches: 14325609
1330.08/1330.30	c total #propagations: 14698819 / total #impl: 16987712533 (eff. 0.001)
1330.08/1330.30	c #Conflicts:      41000 | #Learnt:       7227 | 0.079
1330.08/1330.30	c total clause space: 886.764MB
1330.08/1330.30	c total #watches: 16391718
1366.57/1366.84	c total #propagations: 14845155 / total #impl: 17511497275 (eff. 0.001)
1366.57/1366.84	c #Conflicts:      42000 | #Learnt:       8227 | 0.077
1366.57/1366.84	c total clause space: 886.764MB
1366.57/1366.84	c total #watches: 18404002
1402.67/1402.91	c total #propagations: 15136314 / total #impl: 18080415624 (eff. 0.001)
1402.67/1402.91	c #Conflicts:      43000 | #Learnt:       9227 | 0.076
1402.67/1402.91	c total clause space: 886.764MB
1402.67/1402.91	c total #watches: 20549927
1438.27/1438.58	c total #propagations: 15370957 / total #impl: 18623016697 (eff. 0.001)
1438.27/1438.58	c GC COLLECT
1438.27/1438.58	c #Conflicts:      44000 | #Learnt:       5246 | 0.074
1438.27/1438.58	c total clause space: 886.764MB
1438.27/1438.58	c total #watches: 13641085
1474.06/1474.35	c total #propagations: 15527999 / total #impl: 19289162592 (eff. 0.001)
1474.06/1474.35	c #Conflicts:      45000 | #Learnt:       6246 | 0.073
1474.06/1474.35	c total clause space: 886.764MB
1474.06/1474.35	c total #watches: 15923169
1504.25/1504.59	c total #propagations: 15868211 / total #impl: 19818668466 (eff. 0.001)
1504.25/1504.59	c #Conflicts:      46000 | #Learnt:       7246 | 0.072
1504.25/1504.59	c total clause space: 886.764MB
1504.25/1504.59	c total #watches: 16772087
1537.85/1538.19	c total #propagations: 16913535 / total #impl: 20244710723 (eff. 0.001)
1537.85/1538.19	c #Conflicts:      47000 | #Learnt:       8246 | 0.073
1537.85/1538.19	c total clause space: 886.764MB
1537.85/1538.19	c total #watches: 18225002
1573.44/1573.73	c total #propagations: 17803274 / total #impl: 20415048869 (eff. 0.001)
1573.44/1573.73	c #Conflicts:      48000 | #Learnt:       9246 | 0.072
1573.44/1573.73	c total clause space: 886.764MB
1573.44/1573.73	c total #watches: 19657089
1614.13/1614.40	c total #propagations: 18735228 / total #impl: 20679297947 (eff. 0.001)
1614.13/1614.40	c #Conflicts:      49000 | #Learnt:      10246 | 0.074
1614.13/1614.40	c total clause space: 886.764MB
1614.13/1614.40	c total #watches: 21416618
1636.65/1636.92	c total #propagations: 19218914 / total #impl: 21097561804 (eff. 0.001)
1636.65/1636.92	c GC COLLECT
1636.65/1636.92	c #Conflicts:      50000 | #Learnt:       5935 | 0.073
1636.65/1636.92	c total clause space: 886.764MB
1636.65/1636.92	c total #watches: 10929652
1647.93/1648.29	c total #propagations: 19689405 / total #impl: 21289882548 (eff. 0.001)
1647.93/1648.29	c #Conflicts:      51000 | #Learnt:       6935 | 0.072
1647.93/1648.29	c total clause space: 886.764MB
1647.93/1648.29	c total #watches: 11545131
1658.03/1658.39	c total #propagations: 20203658 / total #impl: 21353807737 (eff. 0.001)
1658.03/1658.39	c #Conflicts:      52000 | #Learnt:       7935 | 0.070
1658.03/1658.39	c total clause space: 886.764MB
1658.03/1658.39	c total #watches: 11769150
1673.43/1673.75	c total #propagations: 21652469 / total #impl: 21431316525 (eff. 0.001)
1673.43/1673.75	c #Conflicts:      53000 | #Learnt:       8935 | 0.072
1673.43/1673.75	c total clause space: 886.764MB
1673.43/1673.75	c total #watches: 12557499
1693.01/1693.32	c total #propagations: 22390688 / total #impl: 21592218522 (eff. 0.001)
1693.01/1693.32	c #Conflicts:      54000 | #Learnt:       9935 | 0.070
1693.01/1693.32	c total clause space: 886.764MB
1693.01/1693.32	c total #watches: 13014348
1710.51/1710.82	c total #propagations: 23498472 / total #impl: 21769261380 (eff. 0.001)
1710.51/1710.82	c #Conflicts:      55000 | #Learnt:      10935 | 0.069
1710.51/1710.82	c total clause space: 886.764MB
1710.51/1710.82	c total #watches: 14003823
1728.81/1729.16	c total #propagations: 24006258 / total #impl: 21946480398 (eff. 0.001)
1728.81/1729.16	c GC COLLECT
1728.81/1729.16	c #Conflicts:      56000 | #Learnt:       6334 | 0.068
1728.81/1729.16	c total clause space: 886.764MB
1728.81/1729.16	c total #watches: 7330125
1748.60/1748.91	c total #propagations: 24498638 / total #impl: 22360306635 (eff. 0.001)
1748.60/1748.91	c #Conflicts:      57000 | #Learnt:       7334 | 0.069
1748.60/1748.91	c total clause space: 886.764MB
1748.60/1748.91	c total #watches: 9245514
1768.20/1768.55	c total #propagations: 24935376 / total #impl: 22690977737 (eff. 0.001)
1768.20/1768.55	c #Conflicts:      58000 | #Learnt:       8334 | 0.076
1768.20/1768.55	c total clause space: 886.764MB
1768.20/1768.55	c total #watches: 11254689
1793.90/1794.21	c total #propagations: 25305223 / total #impl: 22869584177 (eff. 0.001)
1793.90/1794.21	c #Conflicts:      59000 | #Learnt:       9334 | 0.075
1793.90/1794.21	c total clause space: 886.764MB
1793.90/1794.21	c total #watches: 12215674

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-4088004-1465400448/watcher-4088004-1465400448 -o /tmp/evaluation-result-4088004-1465400448/solver-4088004-1465400448 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465387837-19245 --watchdog 1960 --input HOME/instance-4088004-1465400448.opb ./cdcl-cuttingplanes-opt-linearsearch-release 

pid=20430
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.38 2.30 2.23 3/177 20433
/proc/meminfo: memFree=29845836/32872528 swapFree=16384/1696552
[pid=20433] ppid=20430 vsize=29112 CPUtime=0 cores=1,3,5,7
/proc/20433/stat : 20433 (cdcl-cuttingpla) R 20430 20433 19228 0 -1 4202496 232 0 0 0 0 0 0 0 20 0 1 0 121977875 29810688 2668 33554432000 4194304 6201397 140735170953712 140733593510040 4202511 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20433/statm: 7278 2668 92 491 0 6777 0

[startup+0.100166 s]
/proc/loadavg: 2.38 2.30 2.23 3/177 20433
/proc/meminfo: memFree=29845836/32872528 swapFree=16384/1696552
[pid=20433] ppid=20430 vsize=34472 CPUtime=0.08 cores=1,3,5,7
/proc/20433/stat : 20433 (cdcl-cuttingpla) R 20430 20433 19228 0 -1 4202496 1268 0 0 0 8 0 0 0 20 0 1 0 121977875 35299328 7509 33554432000 4194304 6201397 140735170953712 140733593510040 4214926 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/20433/statm: 8618 7509 146 491 0 8117 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 34472

[startup+0.200366 s]
/proc/loadavg: 2.38 2.30 2.23 3/177 20433
/proc/meminfo: memFree=29845836/32872528 swapFree=16384/1696552
[pid=20433] ppid=20430 vsize=54480 CPUtime=0.19 cores=1,3,5,7
/proc/20433/stat : 20433 (cdcl-cuttingpla) R 20430 20433 19228 0 -1 4202496 3024 0 0 0 18 1 0 0 20 0 1 0 121977875 55787520 11255 33554432000 4194304 6201397 140735170953712 140733593510040 5306696 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/20433/statm: 13620 11255 147 491 0 13119 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 54480

[startup+0.300341 s]
/proc/loadavg: 2.38 2.30 2.23 3/177 20433
/proc/meminfo: memFree=29845836/32872528 swapFree=16384/1696552
[pid=20433] ppid=20430 vsize=66416 CPUtime=0.29 cores=1,3,5,7
/proc/20433/stat : 20433 (cdcl-cuttingpla) R 20430 20433 19228 0 -1 4202496 3386 0 0 0 28 1 0 0 20 0 1 0 121977875 68009984 13013 33554432000 4194304 6201397 140735170953712 140733593510040 4240280 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/20433/statm: 16604 13013 147 491 0 16103 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 66416

[startup+0.700235 s]
/proc/loadavg: 2.38 2.30 2.23 3/177 20433
/proc/meminfo: memFree=29845836/32872528 swapFree=16384/1696552
[pid=20433] ppid=20430 vsize=71332 CPUtime=0.68 cores=1,3,5,7
/proc/20433/stat : 20433 (cdcl-cuttingpla) R 20430 20433 19228 0 -1 4202496 4612 0 0 0 67 1 0 0 20 0 1 0 121977875 73043968 15261 33554432000 4194304 6201397 140735170953712 140733593510040 4220131 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/20433/statm: 17833 15261 147 491 0 17332 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 71332

[startup+1.50023 s]
/proc/loadavg: 2.35 2.29 2.23 3/178 20434
/proc/meminfo: memFree=29767960/32872528 swapFree=16384/1696552
[pid=20433] ppid=20430 vsize=90732 CPUtime=1.48 cores=1,3,5,7
/proc/20433/stat : 20433 (cdcl-cuttingpla) R 20430 20433 19228 0 -1 4202496 4934 0 0 0 147 1 0 0 20 0 1 0 121977875 92909568 17072 33554432000 4194304 6201397 140735170953712 140735170952344 4214933 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/20433/statm: 22683 17072 147 491 0 22182 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 90732

[startup+3.1003 s]
/proc/loadavg: 2.35 2.29 2.23 3/178 20434
/proc/meminfo: memFree=29656400/32872528 swapFree=16384/1696552
[pid=20433] ppid=20430 vsize=184180 CPUtime=3.08 cores=1,3,5,7
/proc/20433/stat : 20433 (cdcl-cuttingpla) R 20430 20433 19228 0 -1 4202496 8951 0 0 0 305 3 0 0 20 0 1 0 121977875 188600320 33281 33554432000 4194304 6201397 140735170953712 140735170952168 4215962 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/20433/statm: 46045 33281 147 491 0 45544 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 184180

[startup+6.30028 s]
/proc/loadavg: 2.32 2.29 2.22 3/178 20434
/proc/meminfo: memFree=29526364/32872528 swapFree=16384/1696552
[pid=20433] ppid=20430 vsize=286820 CPUtime=6.29 cores=1,3,5,7
/proc/20433/stat : 20433 (cdcl-cuttingpla) R 20430 20433 19228 0 -1 4202496 14917 0 0 0 624 5 0 0 20 0 1 0 121977875 293703680 48640 33554432000 4194304 6201397 140735170953712 140735170952744 4222244 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/20433/statm: 71705 48640 160 491 0 71204 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 286820

[startup+12.7003 s]
/proc/loadavg: 2.29 2.28 2.22 3/178 20434
/proc/meminfo: memFree=29501640/32872528 swapFree=16384/1696552
[pid=20433] ppid=20430 vsize=287588 CPUtime=12.68 cores=1,3,5,7
/proc/20433/stat : 20433 (cdcl-cuttingpla) R 20430 20433 19228 0 -1 4202496 17877 0 0 0 1263 5 0 0 20 0 1 0 121977875 294490112 53445 33554432000 4194304 6201397 140735170953712 140735170952840 4235922 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/20433/statm: 71897 53445 166 491 0 71396 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 287588

[startup+25.5003 s]
/proc/loadavg: 2.31 2.29 2.22 4/177 20434
/proc/meminfo: memFree=29348072/32872528 swapFree=16384/1696552
[pid=20433] ppid=20430 vsize=468876 CPUtime=25.48 cores=1,3,5,7
/proc/20433/stat : 20433 (cdcl-cuttingpla) R 20430 20433 19228 0 -1 4202496 30946 0 0 0 2538 10 0 0 20 0 1 0 121977875 480129024 91277 33554432000 4194304 6201397 140735170953712 140735170952168 4213253 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/20433/statm: 117219 91277 166 491 0 116718 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 468876

[startup+51.1004 s]
/proc/loadavg: 2.20 2.26 2.22 3/177 20434
/proc/meminfo: memFree=28970540/32872528 swapFree=16384/1696552
[pid=20433] ppid=20430 vsize=759516 CPUtime=51.08 cores=1,3,5,7
/proc/20433/stat : 20433 (cdcl-cuttingpla) R 20430 20433 19228 0 -1 4202496 46192 0 0 0 5093 15 0 0 20 0 1 0 121977875 777744384 137528 33554432000 4194304 6201397 140735170953712 140735170952424 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/20433/statm: 189879 137528 166 491 0 189378 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 759516

[startup+102.3 s]
/proc/loadavg: 2.20 2.25 2.21 4/177 20435
/proc/meminfo: memFree=28887068/32872528 swapFree=16384/1696552
[pid=20433] ppid=20430 vsize=765856 CPUtime=102.27 cores=1,3,5,7
/proc/20433/stat : 20433 (cdcl-cuttingpla) R 20430 20433 19228 0 -1 4202496 48648 0 0 0 10211 16 0 0 20 0 1 0 121977875 784236544 147419 33554432000 4194304 6201397 140735170953712 140735170952552 4213110 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/20433/statm: 191464 147419 166 491 0 190963 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 765856

[startup+162.3 s]
/proc/loadavg: 2.19 2.23 2.21 3/177 20437
/proc/meminfo: memFree=28828592/32872528 swapFree=16384/1696552
[pid=20433] ppid=20430 vsize=769504 CPUtime=162.26 cores=1,3,5,7
/proc/20433/stat : 20433 (cdcl-cuttingpla) R 20430 20433 19228 0 -1 4202496 50904 0 0 0 16209 17 0 0 20 0 1 0 121977875 787972096 161798 33554432000 4194304 6201397 140735170953712 140735170952424 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/20433/statm: 192376 161798 166 491 0 191875 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 769504

[startup+222.307 s]
/proc/loadavg: 2.26 2.24 2.20 3/177 20438
/proc/meminfo: memFree=28725068/32872528 swapFree=16384/1696552
[pid=20433] ppid=20430 vsize=773476 CPUtime=222.26 cores=1,3,5,7
/proc/20433/stat : 20433 (cdcl-cuttingpla) R 20430 20433 19228 0 -1 4202496 54600 0 0 0 22206 20 0 0 20 0 1 0 121977875 792039424 173173 33554432000 4194304 6201397 140735170953712 140735170952840 4213249 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/20433/statm: 193369 173173 166 491 0 192868 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 773476

[startup+282.3 s]
/proc/loadavg: 2.25 2.24 2.20 3/177 20439
/proc/meminfo: memFree=28722812/32872528 swapFree=16384/1696552
[pid=20433] ppid=20430 vsize=775812 CPUtime=282.24 cores=1,3,5,7
/proc/20433/stat : 20433 (cdcl-cuttingpla) R 20430 20433 19228 0 -1 4202496 55073 0 0 0 28204 20 0 0 20 0 1 0 121977875 794431488 173646 33554432000 4194304 6201397 140735170953712 140735170952552 4213178 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/20433/statm: 193953 173646 166 491 0 193452 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 775812

[startup+342.3 s]
/proc/loadavg: 2.28 2.24 2.20 3/177 20440
/proc/meminfo: memFree=28590300/32872528 swapFree=16384/1696552
[pid=20433] ppid=20430 vsize=776644 CPUtime=342.23 cores=1,3,5,7
/proc/20433/stat : 20433 (cdcl-cuttingpla) R 20430 20433 19228 0 -1 4202496 57071 0 0 0 34201 22 0 0 20 0 1 0 121977875 795283456 188930 33554432000 4194304 6201397 140735170953712 140735170952552 4213186 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/20433/statm: 194161 188930 166 491 0 193660 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 776644

[startup+402.3 s]
/proc/loadavg: 2.24 2.22 2.20 3/177 20441
/proc/meminfo: memFree=28585680/32872528 swapFree=16384/1696552
[pid=20433] ppid=20430 vsize=776644 CPUtime=402.22 cores=1,3,5,7
/proc/20433/stat : 20433 (cdcl-cuttingpla) R 20430 20433 19228 0 -1 4202496 57110 0 0 0 40200 22 0 0 20 0 1 0 121977875 795283456 188969 33554432000 4194304 6201397 140735170953712 140735170952840 4213253 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/20433/statm: 194161 188969 166 491 0 193660 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 776644

[startup+462.3 s]
/proc/loadavg: 2.30 2.24 2.20 4/177 20443
/proc/meminfo: memFree=28585644/32872528 swapFree=16384/1696552
[pid=20433] ppid=20430 vsize=776644 CPUtime=462.21 cores=1,3,5,7
/proc/20433/stat : 20433 (cdcl-cuttingpla) R 20430 20433 19228 0 -1 4202496 57110 0 0 0 46199 22 0 0 20 0 1 0 121977875 795283456 188969 33554432000 4194304 6201397 140735170953712 140735170952840 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/20433/statm: 194161 188969 166 491 0 193660 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 776644

[startup+522.3 s]
/proc/loadavg: 2.30 2.24 2.20 3/177 20444
/proc/meminfo: memFree=28585028/32872528 swapFree=16384/1696552
[pid=20433] ppid=20430 vsize=776676 CPUtime=522.21 cores=1,3,5,7
/proc/20433/stat : 20433 (cdcl-cuttingpla) R 20430 20433 19228 0 -1 4202496 61529 0 0 0 52196 25 0 0 20 0 1 0 121977875 795316224 189003 33554432000 4194304 6201397 140735170953712 140735170952664 4213268 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/20433/statm: 194169 189003 166 491 0 193668 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 776676

[startup+582.3 s]
/proc/loadavg: 2.21 2.22 2.19 3/178 20448
/proc/meminfo: memFree=28585056/32872528 swapFree=16384/1696552
[pid=20433] ppid=20430 vsize=776676 CPUtime=582.19 cores=1,3,5,7
/proc/20433/stat : 20433 (cdcl-cuttingpla) R 20430 20433 19228 0 -1 4202496 70502 0 0 0 58188 31 0 0 20 0 1 0 121977875 795316224 189015 33554432000 4194304 6201397 140735170953712 140735170952664 4213268 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/20433/statm: 194169 189015 166 491 0 193668 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 776676


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


[startup+882.307 s]
/proc/loadavg: 2.29 2.20 2.18 4/177 20454
/proc/meminfo: memFree=28065124/32872528 swapFree=16384/1696552
[pid=20433] ppid=20430 vsize=1271144 CPUtime=882.15 cores=1,3,5,7
/proc/20433/stat : 20433 (cdcl-cuttingpla) R 20430 20433 19228 0 -1 4202496 98346 0 0 0 88173 42 0 0 20 0 1 0 121977875 1301651456 258609 33554432000 4194304 6201397 140735170953712 140735170952424 4213257 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/20433/statm: 317786 258609 166 491 0 317285 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 1271144

[startup+942.3 s]
/proc/loadavg: 2.28 2.21 2.18 3/177 20455
/proc/meminfo: memFree=28057848/32872528 swapFree=16384/1696552
[pid=20433] ppid=20430 vsize=1272488 CPUtime=942.14 cores=1,3,5,7
/proc/20433/stat : 20433 (cdcl-cuttingpla) R 20430 20433 19228 0 -1 4202496 98811 0 0 0 94171 43 0 0 20 0 1 0 121977875 1303027712 260067 33554432000 4194304 6201397 140735170953712 140735170952840 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/20433/statm: 318122 260067 166 491 0 317621 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 1272488

[startup+1002.3 s]
/proc/loadavg: 2.33 2.23 2.19 3/177 20456
/proc/meminfo: memFree=28047436/32872528 swapFree=16384/1696552
[pid=20433] ppid=20430 vsize=1276712 CPUtime=1002.13 cores=1,3,5,7
/proc/20433/stat : 20433 (cdcl-cuttingpla) R 20430 20433 19228 0 -1 4202496 99551 0 0 0 100170 43 0 0 20 0 1 0 121977875 1307353088 260807 33554432000 4194304 6201397 140735170953712 140735170952424 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/20433/statm: 319178 260807 166 491 0 318677 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 1276712

[startup+1062.3 s]
/proc/loadavg: 2.31 2.25 2.19 4/177 20458
/proc/meminfo: memFree=27891864/32872528 swapFree=16384/1696552
[pid=20433] ppid=20430 vsize=1286636 CPUtime=1062.12 cores=1,3,5,7
/proc/20433/stat : 20433 (cdcl-cuttingpla) R 20430 20433 19228 0 -1 4202496 102957 0 0 0 106166 46 0 0 20 0 1 0 121977875 1317515264 287718 33554432000 4194304 6201397 140735170953712 140735170952424 4216157 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/20433/statm: 321659 287718 166 491 0 321158 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 1286636

[startup+1122.3 s]
/proc/loadavg: 2.17 2.21 2.18 4/177 20459
/proc/meminfo: memFree=27871144/32872528 swapFree=16384/1696552
[pid=20433] ppid=20430 vsize=1286636 CPUtime=1122.11 cores=1,3,5,7
/proc/20433/stat : 20433 (cdcl-cuttingpla) R 20430 20433 19228 0 -1 4202496 102993 0 0 0 112165 46 0 0 20 0 1 0 121977875 1317515264 287754 33554432000 4194304 6201397 140735170953712 140735170952840 4213268 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/20433/statm: 321659 287754 166 491 0 321158 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 1286636

[startup+1182.3 s]
/proc/loadavg: 2.15 2.20 2.18 3/178 20463
/proc/meminfo: memFree=27772860/32872528 swapFree=16384/1696552
[pid=20433] ppid=20430 vsize=1289324 CPUtime=1182.1 cores=1,3,5,7
/proc/20433/stat : 20433 (cdcl-cuttingpla) R 20430 20433 19228 0 -1 4202496 103372 0 0 0 118164 46 0 0 20 0 1 0 121977875 1320267776 288133 33554432000 4194304 6201397 140735170953712 140735170952424 4213371 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/20433/statm: 322331 288133 166 491 0 321830 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 1289324

[startup+1242.3 s]
/proc/loadavg: 2.33 2.24 2.19 4/178 20487
/proc/meminfo: memFree=27766396/32872528 swapFree=16384/1696552
[pid=20433] ppid=20430 vsize=1298160 CPUtime=1242.09 cores=1,3,5,7
/proc/20433/stat : 20433 (cdcl-cuttingpla) R 20430 20433 19228 0 -1 4202496 104824 0 0 0 124162 47 0 0 20 0 1 0 121977875 1329315840 289585 33554432000 4194304 6201397 140735170953712 140735170952424 4213186 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/20433/statm: 324540 289585 166 491 0 324039 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 1298160

[startup+1302.3 s]
/proc/loadavg: 2.18 2.21 2.18 3/177 20488
/proc/meminfo: memFree=27764696/32872528 swapFree=16384/1696552
[pid=20433] ppid=20430 vsize=1298352 CPUtime=1302.08 cores=1,3,5,7
/proc/20433/stat : 20433 (cdcl-cuttingpla) R 20430 20433 19228 0 -1 4202496 104920 0 0 0 130161 47 0 0 20 0 1 0 121977875 1329512448 289681 33554432000 4194304 6201397 140735170953712 140735170952840 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/20433/statm: 324588 289681 166 491 0 324087 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1298352

[startup+1362.3 s]
/proc/loadavg: 2.19 2.20 2.18 3/176 20489
/proc/meminfo: memFree=27765296/32872528 swapFree=16384/1696552
[pid=20433] ppid=20430 vsize=1298480 CPUtime=1362.07 cores=1,3,5,7
/proc/20433/stat : 20433 (cdcl-cuttingpla) R 20430 20433 19228 0 -1 4202496 104947 0 0 0 136160 47 0 0 20 0 1 0 121977875 1329643520 289708 33554432000 4194304 6201397 140735170953712 140735170952168 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/20433/statm: 324620 289708 166 491 0 324119 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 1298480

[startup+1422.3 s]
/proc/loadavg: 2.22 2.20 2.18 4/177 20491
/proc/meminfo: memFree=27765512/32872528 swapFree=16384/1696552
[pid=20433] ppid=20430 vsize=1298480 CPUtime=1422.08 cores=1,3,5,7
/proc/20433/stat : 20433 (cdcl-cuttingpla) R 20430 20433 19228 0 -1 4202496 104950 0 0 0 142160 48 0 0 20 0 1 0 121977875 1329643520 289711 33554432000 4194304 6201397 140735170953712 140735170952840 4215861 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/20433/statm: 324620 289711 166 491 0 324119 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1298480

[startup+1482.3 s]
/proc/loadavg: 2.29 2.23 2.19 3/177 20492
/proc/meminfo: memFree=27765604/32872528 swapFree=16384/1696552
[pid=20433] ppid=20430 vsize=1298480 CPUtime=1482.06 cores=1,3,5,7
/proc/20433/stat : 20433 (cdcl-cuttingpla) R 20430 20433 19228 0 -1 4202496 104956 0 0 0 148158 48 0 0 20 0 1 0 121977875 1329643520 289717 33554432000 4194304 6201397 140735170953712 140735170952840 4213087 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/20433/statm: 324620 289717 166 491 0 324119 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1298480

[startup+1542.31 s]
/proc/loadavg: 2.18 2.20 2.18 3/177 20493
/proc/meminfo: memFree=27714696/32872528 swapFree=16384/1696552
[pid=20433] ppid=20430 vsize=1298480 CPUtime=1542.05 cores=1,3,5,7
/proc/20433/stat : 20433 (cdcl-cuttingpla) R 20430 20433 19228 0 -1 4202496 104985 0 0 0 154157 48 0 0 20 0 1 0 121977875 1329643520 289746 33554432000 4194304 6201397 140735170953712 140735170952840 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/20433/statm: 324620 289746 166 491 0 324119 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 1298480

[startup+1602.3 s]
/proc/loadavg: 2.19 2.19 2.18 4/177 20494
/proc/meminfo: memFree=27681152/32872528 swapFree=16384/1696552
[pid=20433] ppid=20430 vsize=1298480 CPUtime=1602.04 cores=1,3,5,7
/proc/20433/stat : 20433 (cdcl-cuttingpla) R 20430 20433 19228 0 -1 4202496 105019 0 0 0 160156 48 0 0 20 0 1 0 121977875 1329643520 289780 33554432000 4194304 6201397 140735170953712 140735170952840 4213249 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/20433/statm: 324620 289780 166 491 0 324119 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 1298480

[startup+1662.3 s]
/proc/loadavg: 2.21 2.19 2.18 3/177 20495
/proc/meminfo: memFree=27677888/32872528 swapFree=16384/1696552
[pid=20433] ppid=20430 vsize=1298864 CPUtime=1662.03 cores=1,3,5,7
/proc/20433/stat : 20433 (cdcl-cuttingpla) R 20430 20433 19228 0 -1 4202496 105064 0 0 0 166154 49 0 0 20 0 1 0 121977875 1330036736 289823 33554432000 4194304 6201397 140735170953712 140735170952840 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/20433/statm: 324716 289823 166 491 0 324215 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 1298864

[startup+1722.3 s]
/proc/loadavg: 2.22 2.18 2.18 3/177 20497
/proc/meminfo: memFree=27518388/32872528 swapFree=16384/1696552
[pid=20433] ppid=20430 vsize=1298864 CPUtime=1722.01 cores=1,3,5,7
/proc/20433/stat : 20433 (cdcl-cuttingpla) R 20430 20433 19228 0 -1 4202496 105090 0 0 0 172152 49 0 0 20 0 1 0 121977875 1330036736 289857 33554432000 4194304 6201397 140735170953712 140735170952840 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/20433/statm: 324716 289857 166 491 0 324215 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 1298864

[startup+1782.3 s]
/proc/loadavg: 2.26 2.21 2.18 4/178 20501
/proc/meminfo: memFree=27507856/32872528 swapFree=16384/1696552
[pid=20433] ppid=20430 vsize=1298864 CPUtime=1782 cores=1,3,5,7
/proc/20433/stat : 20433 (cdcl-cuttingpla) R 20430 20433 19228 0 -1 4202496 105093 0 0 0 178151 49 0 0 20 0 1 0 121977875 1330036736 291796 33554432000 4194304 6201397 140735170953712 140735170952840 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/20433/statm: 324716 291796 166 491 0 324215 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 1298864



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.35 2.23 2.19 3/173 20653
/proc/meminfo: memFree=28840372/32872528 swapFree=16384/1696552
[pid=20433] ppid=20430 vsize=1298864 CPUtime=1800.09 cores=1,3,5,7
/proc/20433/stat : 20433 (cdcl-cuttingpla) R 20430 20433 19228 0 -1 4202496 105093 0 0 0 179960 49 0 0 20 0 1 0 121977875 1330036736 294615 33554432000 4194304 6201397 140735170953712 140735170952840 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/20433/statm: 324716 294615 166 491 0 324215 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1298864

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 20433 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.41
CPU time (s): 1800.12
CPU user time (s): 1799.61
CPU system time (s): 0.508922
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 1298864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.61
system time used= 0.508922
maximum resident set size= 1178460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105093
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= 34
involuntary context switches= 2107

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.63914 second user time and 8.67368 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-08 17:40:48
IDJOB=4088004
IDBENCH=2042
IDSOLVER=2550
FILE ID=node125/4088004-1465400448
RUNJOBID= node125-1465387837-19245
PBS_JOBID= 19853867
Free space on /tmp= 71740 MiB

SOLVER NAME= cdcl-cuttingplanes OPT linear search 2016-05-01
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-test4.pi.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088004-1465400448/watcher-4088004-1465400448 -o /tmp/evaluation-result-4088004-1465400448/solver-4088004-1465400448 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465387837-19245 --watchdog 1960 --input HOME/instance-4088004-1465400448.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= cca57c347e264f92fb70010109aa24c5
RANDOM SEED=691808616

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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:        29846488 kB
Buffers:           97932 kB
Cached:           301744 kB
SwapCached:         1700 kB
Active:           268328 kB
Inactive:         313772 kB
Active(anon):     181332 kB
Inactive(anon):     2960 kB
Active(file):      86996 kB
Inactive(file):   310812 kB
Unevictable:     1696552 kB
Mlocked:           16384 kB
SwapTotal:      67108856 kB
SwapFree:       67098584 kB
Dirty:              5880 kB
Writeback:            28 kB
AnonPages:       1879792 kB
Mapped:             7800 kB
Shmem:                 0 kB
Slab:             613612 kB
SReclaimable:      56876 kB
SUnreclaim:       556736 kB
KernelStack:        1464 kB
PageTables:         7772 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2009560 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1814528 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= 71740 MiB
End job on node125 at 2016-06-08 18:10:49