Trace number 4088522

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.11 1800.41

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-ns1853823.opb
MD5SUM2ebd045d7573caa1ce8026d29a77beeb
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark43
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables213440
Total number of constraints223870
Number of constraints which are clauses212784
Number of constraints which are cardinality constraints (but not clauses)462
Number of constraints which are nor clauses,nor cardinality constraints10624
Minimum length of a constraint1
Maximum length of a constraint464
Number of terms in the objective function 920
Biggest coefficient in the objective function 6
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 3220
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 3200
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 3912
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c OPTIONS:
0.00/0.00	c - Resolve (`-resolve-always' or `-resolve-skip'): -resolve-skip
0.00/0.00	c * #variable= 213440 #constraint= 223870
3.89/3.92	c #Conflicts:       1000 | #Learnt:       1021 | 0.161
3.89/3.92	c total clause space: 78.2603MB
3.89/3.92	c total #watches: 1421014
6.28/6.35	c total #propagations: 4702386 / total #impl: 47313763 (eff. 0.099)
6.28/6.35	c #Conflicts:       2000 | #Learnt:       2019 | 0.119
6.28/6.35	c total clause space: 127.173MB
6.28/6.35	c total #watches: 1670610
23.98/24.03	c total #propagations: 18945872 / total #impl: 112206665 (eff. 0.169)
23.98/24.03	c #Conflicts:       3000 | #Learnt:       1887 | 0.081
23.98/24.03	c total clause space: 127.173MB
23.98/24.03	c total #watches: 2070973
43.77/43.83	c total #propagations: 51417030 / total #impl: 486651002 (eff. 0.106)
43.77/43.83	c #Conflicts:       4000 | #Learnt:       2887 | 0.063
43.77/43.83	c total clause space: 127.173MB
43.77/43.83	c total #watches: 2508630
55.16/55.21	c total #propagations: 90432201 / total #impl: 1064755739 (eff. 0.085)
55.16/55.21	c GC COLLECT
55.16/55.21	c #Conflicts:       5000 | #Learnt:       2332 | 0.051
55.16/55.21	c total clause space: 127.173MB
55.16/55.21	c total #watches: 2334071
70.06/70.19	c total #propagations: 117025237 / total #impl: 1454438893 (eff. 0.080)
70.06/70.19	c #Conflicts:       6000 | #Learnt:       3332 | 0.042
70.06/70.19	c total clause space: 206.656MB
70.06/70.19	c total #watches: 2837162
89.56/89.62	c total #propagations: 138932019 / total #impl: 1880960906 (eff. 0.074)
89.56/89.62	c GC COLLECT
89.56/89.62	c #Conflicts:       7000 | #Learnt:       2265 | 0.036
89.56/89.62	c total clause space: 206.656MB
89.56/89.62	c total #watches: 2420159
104.36/104.41	c total #propagations: 161128066 / total #impl: 2824896882 (eff. 0.057)
104.36/104.41	c #Conflicts:       8000 | #Learnt:       3265 | 0.032
104.36/104.41	c total clause space: 206.656MB
104.36/104.41	c total #watches: 2878424
128.26/128.36	c total #propagations: 189420316 / total #impl: 3351256746 (eff. 0.057)
128.26/128.36	c #Conflicts:       9000 | #Learnt:       4265 | 0.028
128.26/128.36	c total clause space: 206.656MB
128.26/128.36	c total #watches: 3440150
158.25/158.34	c total #propagations: 219037936 / total #impl: 4194930406 (eff. 0.052)
158.25/158.34	c GC COLLECT
158.25/158.34	c #Conflicts:      10000 | #Learnt:       2765 | 0.025
158.25/158.34	c total clause space: 206.656MB
158.25/158.34	c total #watches: 2749375
179.05/179.10	c total #propagations: 244252140 / total #impl: 5084223714 (eff. 0.048)
179.05/179.10	c #Conflicts:      11000 | #Learnt:       3765 | 0.023
179.05/179.10	c total clause space: 206.656MB
179.05/179.11	c total #watches: 3224426
219.04/219.10	c total #propagations: 275913002 / total #impl: 5823222169 (eff. 0.047)
219.04/219.10	c #Conflicts:      12000 | #Learnt:       4765 | 0.021
219.04/219.10	c total clause space: 206.656MB
219.04/219.10	c total #watches: 3859697
270.23/270.33	c total #propagations: 306501677 / total #impl: 7130420963 (eff. 0.043)
270.23/270.33	c #Conflicts:      13000 | #Learnt:       5764 | 0.019
270.23/270.33	c total clause space: 206.656MB
270.23/270.33	c total #watches: 4355988
306.63/306.70	c total #propagations: 330016099 / total #impl: 8079985685 (eff. 0.041)
306.63/306.70	c GC COLLECT
306.63/306.70	c #Conflicts:      14000 | #Learnt:       3911 | 0.018
306.63/306.70	c total clause space: 206.656MB
306.63/306.70	c total #watches: 3315835
327.32/327.44	c total #propagations: 377285457 / total #impl: 8368180808 (eff. 0.045)
327.32/327.44	c #Conflicts:      15000 | #Learnt:       4908 | 0.018
327.32/327.44	c total clause space: 206.656MB
327.32/327.44	c total #watches: 3682177
344.13/344.28	c total #propagations: 400533792 / total #impl: 8670239469 (eff. 0.046)
344.13/344.28	c #Conflicts:      16000 | #Learnt:       5908 | 0.017
344.13/344.28	c total clause space: 206.656MB
344.13/344.28	c total #watches: 4076981
366.92/367.02	c total #propagations: 424905664 / total #impl: 8909721596 (eff. 0.048)
366.92/367.02	c GC COLLECT
366.92/367.02	c #Conflicts:      17000 | #Learnt:       3768 | 0.016
366.92/367.02	c total clause space: 206.656MB
366.92/367.02	c total #watches: 3114271
388.12/388.30	c total #propagations: 466165268 / total #impl: 9593527204 (eff. 0.049)
388.12/388.30	c #Conflicts:      18000 | #Learnt:       4767 | 0.015
388.12/388.30	c total clause space: 206.656MB
388.12/388.30	c total #watches: 3694967
412.52/412.61	c total #propagations: 506030304 / total #impl: 10459911009 (eff. 0.048)
412.52/412.61	c #Conflicts:      19000 | #Learnt:       5767 | 0.015
412.52/412.61	c total clause space: 206.656MB
412.52/412.61	c total #watches: 4263842
446.20/446.34	c total #propagations: 545908627 / total #impl: 11372105128 (eff. 0.048)
446.20/446.34	c #Conflicts:      20000 | #Learnt:       6767 | 0.015
446.20/446.34	c total clause space: 206.656MB
446.20/446.35	c total #watches: 4705411
474.01/474.18	c total #propagations: 578332960 / total #impl: 11931935507 (eff. 0.048)
474.01/474.18	c GC COLLECT
474.01/474.18	c #Conflicts:      21000 | #Learnt:       4272 | 0.022
474.01/474.18	c total clause space: 206.656MB
474.01/474.18	c total #watches: 3258747
497.39/497.53	c total #propagations: 587393733 / total #impl: 11985632007 (eff. 0.049)
497.39/497.53	c #Conflicts:      22000 | #Learnt:       5269 | 0.023
497.39/497.53	c total clause space: 206.656MB
497.39/497.53	c total #watches: 3431261
525.18/525.30	c total #propagations: 598046500 / total #impl: 12059102904 (eff. 0.050)
525.18/525.30	c #Conflicts:      23000 | #Learnt:       6267 | 0.022
525.18/525.30	c total clause space: 206.656MB
525.18/525.30	c total #watches: 3756898
567.38/567.54	c total #propagations: 615996579 / total #impl: 12196959063 (eff. 0.051)
567.38/567.54	c #Conflicts:      24000 | #Learnt:       7267 | 0.021
567.38/567.54	c total clause space: 206.656MB
567.38/567.55	c total #watches: 4138789
601.38/601.56	c total #propagations: 653259411 / total #impl: 12432374940 (eff. 0.053)
601.38/601.56	c GC COLLECT
601.38/601.56	c #Conflicts:      25000 | #Learnt:       4495 | 0.020
601.38/601.56	c total clause space: 206.656MB
601.38/601.56	c total #watches: 3089721
611.28/611.47	c total #propagations: 685487596 / total #impl: 12688568383 (eff. 0.054)
611.28/611.47	c #Conflicts:      26000 | #Learnt:       5494 | 0.021
611.28/611.47	c total clause space: 206.656MB
611.28/611.48	c total #watches: 3312084
630.47/630.60	c total #propagations: 692978503 / total #impl: 12783682619 (eff. 0.054)
630.47/630.60	c #Conflicts:      27000 | #Learnt:       6494 | 0.021
630.47/630.60	c total clause space: 206.656MB
630.47/630.60	c total #watches: 3714712
663.07/663.22	c total #propagations: 716203950 / total #impl: 12966934526 (eff. 0.055)
663.07/663.22	c #Conflicts:      28000 | #Learnt:       7494 | 0.020
663.07/663.22	c total clause space: 206.656MB
663.07/663.23	c total #watches: 4200698
691.66/691.89	c total #propagations: 756757638 / total #impl: 13482214038 (eff. 0.056)
691.66/691.89	c GC COLLECT
691.66/691.89	c #Conflicts:      29000 | #Learnt:       4446 | 0.019
691.66/691.89	c total clause space: 206.656MB
691.66/691.89	c total #watches: 3272858
709.76/709.90	c total #propagations: 795638789 / total #impl: 14304677439 (eff. 0.056)
709.76/709.90	c #Conflicts:      30000 | #Learnt:       5446 | 0.019
709.76/709.90	c total clause space: 206.656MB
709.76/709.90	c total #watches: 3817376
732.96/733.10	c total #propagations: 831778885 / total #impl: 15165495765 (eff. 0.055)
732.96/733.10	c #Conflicts:      31000 | #Learnt:       6446 | 0.018
732.96/733.10	c total clause space: 206.656MB
732.96/733.10	c total #watches: 4396361
759.16/759.33	c total #propagations: 868225800 / total #impl: 16355343884 (eff. 0.053)
759.16/759.33	c #Conflicts:      32000 | #Learnt:       7446 | 0.018
759.16/759.33	c total clause space: 206.656MB
759.16/759.33	c total #watches: 4827707
793.25/793.42	c total #propagations: 898947568 / total #impl: 17417753479 (eff. 0.052)
793.25/793.42	c #Conflicts:      33000 | #Learnt:       8446 | 0.018
793.25/793.42	c total clause space: 335.816MB
793.25/793.42	c total #watches: 5171074
810.05/810.29	c total #propagations: 921717666 / total #impl: 17576837135 (eff. 0.052)
810.05/810.29	c GC COLLECT
810.05/810.29	c #Conflicts:      34000 | #Learnt:       5079 | 0.017
810.05/810.29	c total clause space: 335.816MB
810.05/810.30	c total #watches: 3810289
822.45/822.64	c total #propagations: 953244077 / total #impl: 17779954927 (eff. 0.054)
822.45/822.64	c #Conflicts:      35000 | #Learnt:       6079 | 0.017
822.45/822.64	c total clause space: 335.816MB
822.45/822.64	c total #watches: 4410304
839.54/839.79	c total #propagations: 984152827 / total #impl: 18128782754 (eff. 0.054)
839.54/839.79	c #Conflicts:      36000 | #Learnt:       7079 | 0.016
839.54/839.79	c total clause space: 335.816MB
839.54/839.79	c total #watches: 5037928
880.53/880.75	c total #propagations: 1016243335 / total #impl: 18644748234 (eff. 0.055)
880.53/880.75	c #Conflicts:      37000 | #Learnt:       8078 | 0.016
880.53/880.75	c total clause space: 335.816MB
880.53/880.75	c total #watches: 5450799
934.72/934.96	c total #propagations: 1037822045 / total #impl: 19139553285 (eff. 0.054)
934.72/934.96	c #Conflicts:      38000 | #Learnt:       9090 | 0.703
934.72/934.96	c total clause space: 335.816MB
934.72/934.96	c total #watches: 5674638
963.83/964.03	c total #propagations: 1046835969 / total #impl: 19286975601 (eff. 0.054)
963.83/964.03	c GC COLLECT
963.83/964.03	c #Conflicts:      39000 | #Learnt:       5489 | 0.685
963.83/964.03	c total clause space: 335.816MB
963.83/964.03	c total #watches: 3783797
1021.62/1021.80	c total #propagations: 1058362513 / total #impl: 19379699281 (eff. 0.055)
1021.62/1021.80	c #Conflicts:      40000 | #Learnt:       6503 | 0.668
1021.62/1021.80	c total clause space: 335.816MB
1021.62/1021.80	c total #watches: 3960095
1063.71/1063.95	c total #propagations: 1073082206 / total #impl: 19467913233 (eff. 0.055)
1063.71/1063.95	c #Conflicts:      41000 | #Learnt:       7514 | 0.652
1063.71/1063.95	c total clause space: 335.816MB
1063.71/1063.95	c total #watches: 4286167
1087.50/1087.74	c total #propagations: 1092806341 / total #impl: 19584012752 (eff. 0.056)
1087.50/1087.74	c #Conflicts:      42000 | #Learnt:       8515 | 0.637
1087.50/1087.74	c total clause space: 335.816MB
1087.50/1087.74	c total #watches: 4708544
1112.60/1112.85	c total #propagations: 1126166464 / total #impl: 19755480115 (eff. 0.057)
1112.60/1112.85	c #Conflicts:      43000 | #Learnt:       9515 | 0.622
1112.60/1112.85	c total clause space: 335.816MB
1112.60/1112.85	c total #watches: 5226218
1137.79/1138.08	c total #propagations: 1163851460 / total #impl: 20112786439 (eff. 0.058)
1137.79/1138.08	c GC COLLECT
1137.79/1138.08	c #Conflicts:      44000 | #Learnt:       5505 | 0.608
1137.79/1138.08	c total clause space: 335.816MB
1137.79/1138.08	c total #watches: 3572292
1154.90/1155.16	c total #propagations: 1203818641 / total #impl: 20734362938 (eff. 0.058)
1154.90/1155.16	c #Conflicts:      45000 | #Learnt:       6505 | 0.595
1154.90/1155.16	c total clause space: 335.816MB
1154.90/1155.16	c total #watches: 4103517
1192.69/1192.99	c total #propagations: 1237349263 / total #impl: 21387578823 (eff. 0.058)
1192.69/1192.99	c #Conflicts:      46000 | #Learnt:       7505 | 0.582
1192.69/1192.99	c total clause space: 335.816MB
1192.69/1192.99	c total #watches: 4527210
1234.38/1234.69	c total #propagations: 1269292120 / total #impl: 22123997471 (eff. 0.057)
1234.38/1234.69	c #Conflicts:      47000 | #Learnt:       8505 | 0.570
1234.38/1234.69	c total clause space: 335.816MB
1234.38/1234.69	c total #watches: 4982639
1275.37/1275.60	c total #propagations: 1302733166 / total #impl: 22548128325 (eff. 0.058)
1275.37/1275.60	c #Conflicts:      48000 | #Learnt:       9505 | 0.558
1275.37/1275.60	c total clause space: 335.816MB
1275.37/1275.61	c total #watches: 5477556
1323.87/1324.16	c total #propagations: 1340126120 / total #impl: 22852079690 (eff. 0.059)
1323.87/1324.16	c #Conflicts:      49000 | #Learnt:      10505 | 0.558
1323.87/1324.16	c total clause space: 335.816MB
1323.87/1324.16	c total #watches: 5958069
1353.06/1353.36	c total #propagations: 1376679951 / total #impl: 23336995808 (eff. 0.059)
1353.06/1353.36	c GC COLLECT
1353.06/1353.36	c #Conflicts:      50000 | #Learnt:       6253 | 0.548
1353.06/1353.36	c total clause space: 335.816MB
1353.06/1353.37	c total #watches: 4264070
1375.97/1376.26	c total #propagations: 1414808119 / total #impl: 23605784042 (eff. 0.060)
1375.97/1376.26	c #Conflicts:      51000 | #Learnt:       7253 | 0.538
1375.97/1376.26	c total clause space: 335.816MB
1375.97/1376.26	c total #watches: 4722416
1403.85/1404.14	c total #propagations: 1458908940 / total #impl: 23879844386 (eff. 0.061)
1403.85/1404.14	c #Conflicts:      52000 | #Learnt:       8253 | 0.527
1403.85/1404.14	c total clause space: 335.816MB
1403.85/1404.14	c total #watches: 5185965
1440.35/1440.62	c total #propagations: 1502567445 / total #impl: 24173508265 (eff. 0.062)
1440.35/1440.62	c #Conflicts:      53000 | #Learnt:       9253 | 0.517
1440.35/1440.62	c total clause space: 335.816MB
1440.35/1440.62	c total #watches: 5668557
1499.84/1500.18	c total #propagations: 1543820886 / total #impl: 24753528987 (eff. 0.062)
1499.84/1500.18	c #Conflicts:      54000 | #Learnt:      10253 | 0.508
1499.84/1500.18	c total clause space: 335.816MB
1499.84/1500.18	c total #watches: 6123737
1555.83/1556.15	c total #propagations: 1583620037 / total #impl: 25383731411 (eff. 0.062)
1555.83/1556.15	c #Conflicts:      55000 | #Learnt:      11253 | 0.499
1555.83/1556.15	c total clause space: 335.816MB
1555.83/1556.15	c total #watches: 6622632
1585.83/1586.13	c total #propagations: 1628326600 / total #impl: 25897329553 (eff. 0.063)
1585.83/1586.13	c GC COLLECT
1585.83/1586.13	c #Conflicts:      56000 | #Learnt:       6673 | 0.490
1585.83/1586.13	c total clause space: 335.816MB
1585.83/1586.13	c total #watches: 4410754
1618.62/1618.90	c total #propagations: 1666040133 / total #impl: 26133433749 (eff. 0.064)
1618.62/1618.90	c #Conflicts:      57000 | #Learnt:       7673 | 0.481
1618.62/1618.90	c total clause space: 335.816MB
1618.62/1618.90	c total #watches: 4856712
1656.42/1656.76	c total #propagations: 1700463227 / total #impl: 26680146203 (eff. 0.064)
1656.42/1656.76	c #Conflicts:      58000 | #Learnt:       8672 | 0.473
1656.42/1656.76	c total clause space: 335.816MB
1656.42/1656.76	c total #watches: 5321853
1687.71/1688.06	c total #propagations: 1734974583 / total #impl: 26991304765 (eff. 0.064)
1687.71/1688.06	c #Conflicts:      59000 | #Learnt:       9672 | 0.465
1687.71/1688.06	c total clause space: 335.816MB
1687.71/1688.06	c total #watches: 5812658
1713.01/1713.33	c total #propagations: 1770374359 / total #impl: 27344792920 (eff. 0.065)
1713.01/1713.33	c #Conflicts:      60000 | #Learnt:      10672 | 0.457
1713.01/1713.33	c total clause space: 335.816MB
1713.01/1713.33	c total #watches: 6408236
1737.20/1737.55	c total #propagations: 1808421475 / total #impl: 27861234433 (eff. 0.065)
1737.20/1737.55	c #Conflicts:      61000 | #Learnt:      11672 | 0.450
1737.20/1737.55	c total clause space: 335.816MB
1737.20/1737.55	c total #watches: 7025617
1767.90/1768.21	c total #propagations: 1841321701 / total #impl: 28471888930 (eff. 0.065)
1767.90/1768.21	c GC COLLECT
1767.90/1768.21	c #Conflicts:      62000 | #Learnt:       6813 | 0.442
1767.90/1768.21	c total clause space: 335.816MB
1767.90/1768.22	c total #watches: 4752193

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-4088522-1465439671/watcher-4088522-1465439671 -o /tmp/evaluation-result-4088522-1465439671/solver-4088522-1465439671 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465427006-30428 --watchdog 1960 --input HOME/instance-4088522-1465439671.opb ./cdcl-cuttingplanes-opt-linearsearch-release 

pid=32403
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.25 2.30 2.23 4/177 32406
/proc/meminfo: memFree=28157400/32872528 swapFree=16636/1570076
[pid=32406] ppid=32403 vsize=29112 CPUtime=0 cores=1,3,5,7
/proc/32406/stat : 32406 (cdcl-cuttingpla) R 32403 32406 30411 0 -1 4202496 233 0 0 0 0 0 0 0 20 0 1 0 125899489 29810688 3691 33554432000 4194304 6201397 140736718440256 140736718439560 4202592 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/32406/statm: 7278 3691 92 491 0 6777 0

[startup+0.100176 s]
/proc/loadavg: 2.25 2.30 2.23 4/177 32406
/proc/meminfo: memFree=28157400/32872528 swapFree=16636/1570076
[pid=32406] ppid=32403 vsize=39140 CPUtime=0.09 cores=1,3,5,7
/proc/32406/stat : 32406 (cdcl-cuttingpla) R 32403 32406 30411 0 -1 4202496 2903 0 0 0 9 0 0 0 20 0 1 0 125899489 40079360 9137 33554432000 4194304 6201397 140736718440256 140736718439560 5150858 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/32406/statm: 9785 9138 142 491 0 9284 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 39140

[startup+0.200363 s]
/proc/loadavg: 2.25 2.30 2.23 4/177 32406
/proc/meminfo: memFree=28157400/32872528 swapFree=16636/1570076
[pid=32406] ppid=32403 vsize=53092 CPUtime=0.19 cores=1,3,5,7
/proc/32406/stat : 32406 (cdcl-cuttingpla) R 32403 32406 30411 0 -1 4202496 4714 0 0 0 18 1 0 0 20 0 1 0 125899489 54366208 11451 33554432000 4194304 6201397 140736718440256 140736718439560 4207716 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/32406/statm: 13273 11453 142 491 0 12772 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 53092

[startup+0.300368 s]
/proc/loadavg: 2.25 2.30 2.23 4/177 32406
/proc/meminfo: memFree=28157400/32872528 swapFree=16636/1570076
[pid=32406] ppid=32403 vsize=66560 CPUtime=0.28 cores=1,3,5,7
/proc/32406/stat : 32406 (cdcl-cuttingpla) R 32403 32406 30411 0 -1 4202496 6091 0 0 0 27 1 0 0 20 0 1 0 125899489 68157440 13956 33554432000 4194304 6201397 140736718440256 140736718439560 5150858 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/32406/statm: 16640 13957 142 491 0 16139 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 66560

[startup+0.70029 s]
/proc/loadavg: 2.25 2.30 2.23 4/177 32406
/proc/meminfo: memFree=28157400/32872528 swapFree=16636/1570076
[pid=32406] ppid=32403 vsize=91488 CPUtime=0.69 cores=1,3,5,7
/proc/32406/stat : 32406 (cdcl-cuttingpla) R 32403 32406 30411 0 -1 4202496 8572 0 0 0 67 2 0 0 20 0 1 0 125899489 93683712 20017 33554432000 4194304 6201397 140736718440256 140736718438392 4224382 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/32406/statm: 22872 20017 142 491 0 22371 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 91488

[startup+1.5003 s]
/proc/loadavg: 2.25 2.30 2.23 3/178 32407
/proc/meminfo: memFree=28059852/32872528 swapFree=16636/1570076
[pid=32406] ppid=32403 vsize=129860 CPUtime=1.49 cores=1,3,5,7
/proc/32406/stat : 32406 (cdcl-cuttingpla) R 32403 32406 30411 0 -1 4202496 11523 0 0 0 146 3 0 0 20 0 1 0 125899489 132976640 30097 33554432000 4194304 6201397 140736718440256 140736718438392 5408672 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/32406/statm: 32465 30097 142 491 0 31964 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 129860

[startup+3.10032 s]
/proc/loadavg: 2.23 2.29 2.23 3/178 32407
/proc/meminfo: memFree=28024384/32872528 swapFree=16636/1570076
[pid=32406] ppid=32403 vsize=139132 CPUtime=3.09 cores=1,3,5,7
/proc/32406/stat : 32406 (cdcl-cuttingpla) R 32403 32406 30411 0 -1 4202496 13920 0 0 0 305 4 0 0 20 0 1 0 125899489 142471168 33315 33554432000 4194304 6201397 140736718440256 140736718438824 4198469 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/32406/statm: 34783 33315 146 491 0 34282 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 139132

[startup+6.30032 s]
/proc/loadavg: 2.23 2.29 2.23 3/178 32407
/proc/meminfo: memFree=28014784/32872528 swapFree=16636/1570076
[pid=32406] ppid=32403 vsize=192536 CPUtime=6.28 cores=1,3,5,7
/proc/32406/stat : 32406 (cdcl-cuttingpla) R 32403 32406 30411 0 -1 4202496 15263 0 0 0 624 4 0 0 20 0 1 0 125899489 197156864 37041 33554432000 4194304 6201397 140736718440256 140736718438536 4213257 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/32406/statm: 48134 37041 159 491 0 47633 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 192536

[startup+12.7003 s]
/proc/loadavg: 2.19 2.28 2.23 3/178 32408
/proc/meminfo: memFree=27995552/32872528 swapFree=16636/1570076
[pid=32406] ppid=32403 vsize=195964 CPUtime=12.69 cores=1,3,5,7
/proc/32406/stat : 32406 (cdcl-cuttingpla) R 32403 32406 30411 0 -1 4202496 16125 0 0 0 1264 5 0 0 20 0 1 0 125899489 200667136 40458 33554432000 4194304 6201397 140736718440256 140736718438920 4213361 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/32406/statm: 48991 40458 165 491 0 48490 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 195964

[startup+25.5004 s]
/proc/loadavg: 2.16 2.27 2.23 3/178 32408
/proc/meminfo: memFree=27985640/32872528 swapFree=16636/1570076
[pid=32406] ppid=32403 vsize=199076 CPUtime=25.48 cores=1,3,5,7
/proc/32406/stat : 32406 (cdcl-cuttingpla) R 32403 32406 30411 0 -1 4202496 16760 0 0 0 2543 5 0 0 20 0 1 0 125899489 203853824 43137 33554432000 4194304 6201397 140736718440256 140736718438968 4213257 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/32406/statm: 49769 43137 165 491 0 49268 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 199076

[startup+51.1004 s]
/proc/loadavg: 2.26 2.28 2.23 3/178 32408
/proc/meminfo: memFree=27955176/32872528 swapFree=16636/1570076
[pid=32406] ppid=32403 vsize=206584 CPUtime=51.06 cores=1,3,5,7
/proc/32406/stat : 32406 (cdcl-cuttingpla) R 32403 32406 30411 0 -1 4202496 18604 0 0 0 5101 5 0 0 20 0 1 0 125899489 211542016 50569 33554432000 4194304 6201397 140736718440256 140736718438968 4213170 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32406/statm: 51646 50569 165 491 0 51145 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 206584

[startup+102.3 s]
/proc/loadavg: 2.24 2.28 2.23 4/178 32409
/proc/meminfo: memFree=27920556/32872528 swapFree=16636/1570076
[pid=32406] ppid=32403 vsize=295376 CPUtime=102.27 cores=1,3,5,7
/proc/32406/stat : 32406 (cdcl-cuttingpla) R 32403 32406 30411 0 -1 4202496 21256 0 0 0 10219 8 0 0 20 0 1 0 125899489 302465024 59041 33554432000 4194304 6201397 140736718440256 140736718438968 4212066 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32406/statm: 73844 59041 165 491 0 73343 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 295376

[startup+162.3 s]
/proc/loadavg: 2.20 2.26 2.22 3/178 32410
/proc/meminfo: memFree=27883640/32872528 swapFree=16636/1570076
[pid=32406] ppid=32403 vsize=310500 CPUtime=162.25 cores=1,3,5,7
/proc/32406/stat : 32406 (cdcl-cuttingpla) R 32403 32406 30411 0 -1 4202496 24152 0 0 0 16216 9 0 0 20 0 1 0 125899489 317952000 67512 33554432000 4194304 6201397 140736718440256 140736718439384 4213253 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32406/statm: 77625 67512 165 491 0 77124 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 310500

[startup+222.307 s]
/proc/loadavg: 2.18 2.24 2.22 4/178 32411
/proc/meminfo: memFree=27874476/32872528 swapFree=16636/1570076
[pid=32406] ppid=32403 vsize=312592 CPUtime=222.25 cores=1,3,5,7
/proc/32406/stat : 32406 (cdcl-cuttingpla) R 32403 32406 30411 0 -1 4202496 24696 0 0 0 22215 10 0 0 20 0 1 0 125899489 320094208 68567 33554432000 4194304 6201397 140736718440256 140736718438968 4213348 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32406/statm: 78148 68567 165 491 0 77647 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 312592

[startup+282.3 s]
/proc/loadavg: 2.17 2.22 2.21 4/178 32412
/proc/meminfo: memFree=27847836/32872528 swapFree=16636/1570076
[pid=32406] ppid=32403 vsize=322000 CPUtime=282.23 cores=1,3,5,7
/proc/32406/stat : 32406 (cdcl-cuttingpla) R 32403 32406 30411 0 -1 4202496 26441 0 0 0 28213 10 0 0 20 0 1 0 125899489 329728000 74400 33554432000 4194304 6201397 140736718440256 140736718439384 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32406/statm: 80500 74400 165 491 0 79999 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 322000

[startup+342.3 s]
/proc/loadavg: 2.20 2.22 2.21 3/178 32620
/proc/meminfo: memFree=27840692/32872528 swapFree=16636/1570076
[pid=32406] ppid=32403 vsize=323684 CPUtime=342.23 cores=1,3,5,7
/proc/32406/stat : 32406 (cdcl-cuttingpla) R 32403 32406 30411 0 -1 4202496 26745 0 0 0 34212 11 0 0 20 0 1 0 125899489 331452416 74704 33554432000 4194304 6201397 140736718440256 140736718438872 4213387 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32406/statm: 80921 74704 165 491 0 80420 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 323684

[startup+402.3 s]
/proc/loadavg: 2.12 2.20 2.20 3/177 32621
/proc/meminfo: memFree=27834588/32872528 swapFree=16636/1570076
[pid=32406] ppid=32403 vsize=331760 CPUtime=402.21 cores=1,3,5,7
/proc/32406/stat : 32406 (cdcl-cuttingpla) R 32403 32406 30411 0 -1 4202496 28369 0 0 0 40210 11 0 0 20 0 1 0 125899489 339722240 76328 33554432000 4194304 6201397 140736718440256 140736718438968 4213361 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32406/statm: 82940 76328 165 491 0 82439 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 331760

[startup+462.3 s]
/proc/loadavg: 2.31 2.23 2.20 4/177 32668
/proc/meminfo: memFree=28546744/32872528 swapFree=16636/1570076
[pid=32406] ppid=32403 vsize=335616 CPUtime=462.2 cores=1,3,5,7
/proc/32406/stat : 32406 (cdcl-cuttingpla) R 32403 32406 30411 0 -1 4202496 29509 0 0 0 46208 12 0 0 20 0 1 0 125899489 343670784 79511 33554432000 4194304 6201397 140736718440256 140736718438920 4213186 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32406/statm: 83904 79511 165 491 0 83403 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 335616

[startup+522.3 s]
/proc/loadavg: 2.22 2.22 2.20 3/177 32669
/proc/meminfo: memFree=28371272/32872528 swapFree=16636/1570076
[pid=32406] ppid=32403 vsize=336416 CPUtime=522.18 cores=1,3,5,7
/proc/32406/stat : 32406 (cdcl-cuttingpla) R 32403 32406 30411 0 -1 4202496 29728 0 0 0 52206 12 0 0 20 0 1 0 125899489 344489984 81968 33554432000 4194304 6201397 140736718440256 140736718438536 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32406/statm: 84104 81968 165 491 0 83603 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 336416

[startup+582.3 s]
/proc/loadavg: 2.12 2.19 2.19 3/177 32670
/proc/meminfo: memFree=28369040/32872528 swapFree=16636/1570076
[pid=32406] ppid=32403 vsize=338256 CPUtime=582.18 cores=1,3,5,7
/proc/32406/stat : 32406 (cdcl-cuttingpla) R 32403 32406 30411 0 -1 4202496 30155 0 0 0 58205 13 0 0 20 0 1 0 125899489 346374144 82394 33554432000 4194304 6201397 140736718440256 140736718438968 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32406/statm: 84564 82394 165 491 0 84063 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 338256


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


[startup+882.307 s]
/proc/loadavg: 2.12 2.18 2.17 3/177 32676
/proc/meminfo: memFree=28057360/32872528 swapFree=16636/1570076
[pid=32406] ppid=32403 vsize=493296 CPUtime=882.14 cores=1,3,5,7
/proc/32406/stat : 32406 (cdcl-cuttingpla) R 32403 32406 30411 0 -1 4202496 35881 0 0 0 88199 15 0 0 20 0 1 0 125899489 505135104 95448 33554432000 4194304 6201397 140736718440256 140736718439384 4200584 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32406/statm: 123324 95448 165 491 0 122823 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 493296

[startup+942.3 s]
/proc/loadavg: 2.16 2.18 2.17 3/178 32681
/proc/meminfo: memFree=27787284/32872528 swapFree=16636/1570076
[pid=32406] ppid=32403 vsize=495160 CPUtime=942.12 cores=1,3,5,7
/proc/32406/stat : 32406 (cdcl-cuttingpla) R 32403 32406 30411 0 -1 4202496 36276 0 0 0 94197 15 0 0 20 0 1 0 125899489 507043840 97887 33554432000 4194304 6201397 140736718440256 140736718438536 4213253 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32406/statm: 123790 97887 165 491 0 123289 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 495160

[startup+1002.3 s]
/proc/loadavg: 2.15 2.17 2.17 3/177 32682
/proc/meminfo: memFree=27782208/32872528 swapFree=16636/1570076
[pid=32406] ppid=32403 vsize=496096 CPUtime=1002.12 cores=1,3,5,7
/proc/32406/stat : 32406 (cdcl-cuttingpla) R 32403 32406 30411 0 -1 4202496 36515 0 0 0 100196 16 0 0 20 0 1 0 125899489 508002304 99125 33554432000 4194304 6201397 140736718440256 140736718438536 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32406/statm: 124024 99125 165 491 0 123523 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 496096

[startup+1062.3 s]
/proc/loadavg: 2.15 2.17 2.17 3/177 32683
/proc/meminfo: memFree=27711972/32872528 swapFree=16636/1570076
[pid=32406] ppid=32403 vsize=497432 CPUtime=1062.11 cores=1,3,5,7
/proc/32406/stat : 32406 (cdcl-cuttingpla) R 32403 32406 30411 0 -1 4202496 36856 0 0 0 106195 16 0 0 20 0 1 0 125899489 509370368 99466 33554432000 4194304 6201397 140736718440256 140736718438920 4213253 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32406/statm: 124358 99466 165 491 0 123857 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 497432

[startup+1122.3 s]
/proc/loadavg: 2.24 2.20 2.18 3/177 32684
/proc/meminfo: memFree=27510444/32872528 swapFree=16636/1570076
[pid=32406] ppid=32403 vsize=500148 CPUtime=1122.09 cores=1,3,5,7
/proc/32406/stat : 32406 (cdcl-cuttingpla) R 32403 32406 30411 0 -1 4202496 37629 0 0 0 112193 16 0 0 20 0 1 0 125899489 512151552 100236 33554432000 4194304 6201397 140736718440256 140736718438536 4213186 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32406/statm: 125037 100236 165 491 0 124536 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 500148

[startup+1182.3 s]
/proc/loadavg: 2.26 2.20 2.18 3/177 32685
/proc/meminfo: memFree=27293012/32872528 swapFree=16636/1570076
[pid=32406] ppid=32403 vsize=504412 CPUtime=1182.09 cores=1,3,5,7
/proc/32406/stat : 32406 (cdcl-cuttingpla) R 32403 32406 30411 0 -1 4202496 38651 0 0 0 118192 17 0 0 20 0 1 0 125899489 516517888 101255 33554432000 4194304 6201397 140736718440256 140736718438920 4213249 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32406/statm: 126103 101255 165 491 0 125602 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 504412

[startup+1242.3 s]
/proc/loadavg: 2.19 2.19 2.18 3/177 32687
/proc/meminfo: memFree=27274216/32872528 swapFree=16636/1570076
[pid=32406] ppid=32403 vsize=506616 CPUtime=1242.08 cores=1,3,5,7
/proc/32406/stat : 32406 (cdcl-cuttingpla) R 32403 32406 30411 0 -1 4202496 39143 0 0 0 124191 17 0 0 20 0 1 0 125899489 518774784 101747 33554432000 4194304 6201397 140736718440256 140736718439384 4213249 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32406/statm: 126654 101747 165 491 0 126153 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 506616

[startup+1302.3 s]
/proc/loadavg: 2.27 2.22 2.19 3/177 32688
/proc/meminfo: memFree=27270136/32872528 swapFree=16636/1570076
[pid=32406] ppid=32403 vsize=508224 CPUtime=1302.07 cores=1,3,5,7
/proc/32406/stat : 32406 (cdcl-cuttingpla) R 32403 32406 30411 0 -1 4202496 39517 0 0 0 130190 17 0 0 20 0 1 0 125899489 520421376 102121 33554432000 4194304 6201397 140736718440256 140736718438872 4213249 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32406/statm: 127056 102121 165 491 0 126555 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 508224

[startup+1362.3 s]
/proc/loadavg: 2.35 2.24 2.19 3/177 32689
/proc/meminfo: memFree=27236876/32872528 swapFree=16636/1570076
[pid=32406] ppid=32403 vsize=511120 CPUtime=1362.06 cores=1,3,5,7
/proc/32406/stat : 32406 (cdcl-cuttingpla) R 32403 32406 30411 0 -1 4202496 40174 0 0 0 136188 18 0 0 20 0 1 0 125899489 523386880 105844 33554432000 4194304 6201397 140736718440256 140736718438584 4213249 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32406/statm: 127780 105844 165 491 0 127279 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 511120

[startup+1422.3 s]
/proc/loadavg: 2.25 2.22 2.18 3/177 32690
/proc/meminfo: memFree=27234212/32872528 swapFree=16636/1570076
[pid=32406] ppid=32403 vsize=513340 CPUtime=1422.06 cores=1,3,5,7
/proc/32406/stat : 32406 (cdcl-cuttingpla) R 32403 32406 30411 0 -1 4202496 40812 0 0 0 142187 19 0 0 20 0 1 0 125899489 525660160 106482 33554432000 4194304 6201397 140736718440256 140736718438584 4213110 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32406/statm: 128335 106482 165 491 0 127834 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 513340

[startup+1482.3 s]
/proc/loadavg: 2.18 2.21 2.18 3/177 32691
/proc/meminfo: memFree=27231752/32872528 swapFree=16636/1570076
[pid=32406] ppid=32403 vsize=516492 CPUtime=1482.04 cores=1,3,5,7
/proc/32406/stat : 32406 (cdcl-cuttingpla) R 32403 32406 30411 0 -1 4202496 41405 0 0 0 148185 19 0 0 20 0 1 0 125899489 528887808 107075 33554432000 4194304 6201397 140736718440256 140736718438920 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32406/statm: 129123 107075 165 491 0 128622 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 516492

[startup+1542.31 s]
/proc/loadavg: 2.24 2.21 2.18 4/178 32696
/proc/meminfo: memFree=27211884/32872528 swapFree=16636/1570076
[pid=32406] ppid=32403 vsize=517796 CPUtime=1542.04 cores=1,3,5,7
/proc/32406/stat : 32406 (cdcl-cuttingpla) R 32403 32406 30411 0 -1 4202496 41704 0 0 0 154185 19 0 0 20 0 1 0 125899489 530223104 111973 33554432000 4194304 6201397 140736718440256 140736718438920 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32406/statm: 129449 111973 165 491 0 128948 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 517796

[startup+1602.3 s]
/proc/loadavg: 2.15 2.19 2.18 3/178 32720
/proc/meminfo: memFree=27183604/32872528 swapFree=16636/1570076
[pid=32406] ppid=32403 vsize=548552 CPUtime=1602.03 cores=1,3,5,7
/proc/32406/stat : 32406 (cdcl-cuttingpla) R 32403 32406 30411 0 -1 4202496 46030 0 0 0 160182 21 0 0 20 0 1 0 125899489 561717248 118854 33554432000 4194304 6201397 140736718440256 140736718439384 4213268 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32406/statm: 137138 118854 165 491 0 136637 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 548552

[startup+1662.3 s]
/proc/loadavg: 2.14 2.18 2.18 3/177 32721
/proc/meminfo: memFree=27183272/32872528 swapFree=16636/1570076
[pid=32406] ppid=32403 vsize=548552 CPUtime=1662.02 cores=1,3,5,7
/proc/32406/stat : 32406 (cdcl-cuttingpla) R 32403 32406 30411 0 -1 4202496 46038 0 0 0 166181 21 0 0 20 0 1 0 125899489 561717248 118862 33554432000 4194304 6201397 140736718440256 140736718439384 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32406/statm: 137138 118862 165 491 0 136637 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 548552

[startup+1722.3 s]
/proc/loadavg: 2.20 2.19 2.18 3/177 32722
/proc/meminfo: memFree=27182652/32872528 swapFree=16636/1570076
[pid=32406] ppid=32403 vsize=548968 CPUtime=1722.01 cores=1,3,5,7
/proc/32406/stat : 32406 (cdcl-cuttingpla) R 32403 32406 30411 0 -1 4202496 46142 0 0 0 172180 21 0 0 20 0 1 0 125899489 562143232 118966 33554432000 4194304 6201397 140736718440256 140736718438968 4213249 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32406/statm: 137242 118966 165 491 0 136741 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 548968

[startup+1782.3 s]
/proc/loadavg: 2.16 2.18 2.18 3/177 32723
/proc/meminfo: memFree=27156340/32872528 swapFree=16636/1570076
[pid=32406] ppid=32403 vsize=554044 CPUtime=1782 cores=1,3,5,7
/proc/32406/stat : 32406 (cdcl-cuttingpla) R 32403 32406 30411 0 -1 4202496 47390 0 0 0 178178 22 0 0 20 0 1 0 125899489 567341056 125324 33554432000 4194304 6201397 140736718440256 140736718438920 4213168 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32406/statm: 138511 125324 165 491 0 138010 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 554044



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.12 2.17 2.17 3/177 32723
/proc/meminfo: memFree=27156468/32872528 swapFree=16636/1570076
[pid=32406] ppid=32403 vsize=554620 CPUtime=1800.09 cores=1,3,5,7
/proc/32406/stat : 32406 (cdcl-cuttingpla) R 32403 32406 30411 0 -1 4202496 47525 0 0 0 179987 22 0 0 20 0 1 0 125899489 567930880 125459 33554432000 4194304 6201397 140736718440256 140736718438872 4213178 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/32406/statm: 138655 125459 165 491 0 138154 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 554620

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 32406 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.11
CPU user time (s): 1799.88
CPU system time (s): 0.231964
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 554620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.88
system time used= 0.231964
maximum resident set size= 501836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47525
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= 14
involuntary context switches= 2110

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.39733 second user time and 7.55585 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-09 04:34:31
IDJOB=4088522
IDBENCH=89855
IDSOLVER=2550
FILE ID=node140/4088522-1465439671
RUNJOBID= node140-1465427006-30428
PBS_JOBID= 19859776
Free space on /tmp= 71716 MiB

SOLVER NAME= cdcl-cuttingplanes OPT linear search 2016-05-01
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-ns1853823.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088522-1465439671/watcher-4088522-1465439671 -o /tmp/evaluation-result-4088522-1465439671/solver-4088522-1465439671 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465427006-30428 --watchdog 1960 --input HOME/instance-4088522-1465439671.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= 2ebd045d7573caa1ce8026d29a77beeb
RANDOM SEED=1536022637

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28157928 kB
Buffers:          156968 kB
Cached:           595608 kB
SwapCached:         1664 kB
Active:          1823816 kB
Inactive:         562856 kB
Active(anon):    1633380 kB
Inactive(anon):     2932 kB
Active(file):     190436 kB
Inactive(file):   559924 kB
Unevictable:     1570076 kB
Mlocked:           16636 kB
SwapTotal:      67108856 kB
SwapFree:       67098768 kB
Dirty:             17884 kB
Writeback:             0 kB
AnonPages:       3209720 kB
Mapped:             7872 kB
Shmem:                 0 kB
Slab:             616508 kB
SReclaimable:      59996 kB
SUnreclaim:       556512 kB
KernelStack:        1448 kB
PageTables:        10376 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3359552 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3180544 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= 71692 MiB
End job on node140 at 2016-06-09 05:04:32