Trace number 4087697

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_016_area_delay.opb
MD5SUM580618cb84d1b6d12452a14c6ff54025
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark25
Best CPU time to get the best result obtained on this benchmark0.298954
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 25
Optimality of the best value was proved YES
Number of variables10236
Total number of constraints31056
Number of constraints which are clauses31056
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 5070
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 5070
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5070
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.04	c * #variable= 10236 #constraint= 31056
0.09/0.12	c * #variable= 10236 #constraint= 31056
1.39/1.43	c S1->S2
1.39/1.43	c S1->S2
1.39/1.43	c S1->S2
1.39/1.43	c S1->S2
1.39/1.43	c S1->S2
1.39/1.43	c S2->S1
1.39/1.43	c S1->S2
1.39/1.43	c S1->S2
1.39/1.43	c #Conflicts:       1000 | #Learnt:        907 | 0.000
1.39/1.43	c total clause space: 78.2603MB
1.39/1.43	c total #watches: 2070973
6.69/6.71	c total #propagations: 1201919 / total #impl: 17915532 (eff. 0.067)
6.69/6.71	c #Conflicts:       2000 | #Learnt:       1907 | 0.000
6.69/6.71	c total clause space: 127.173MB
6.69/6.71	c total #watches: 3527854
14.79/14.80	c total #propagations: 1708137 / total #impl: 182052312 (eff. 0.009)
14.79/14.80	c GC COLLECT
14.79/14.80	c #Conflicts:       3000 | #Learnt:       1959 | 0.000
14.79/14.80	c total clause space: 127.173MB
14.79/14.80	c total #watches: 2827228
31.68/31.74	c total #propagations: 1909530 / total #impl: 315759588 (eff. 0.006)
31.68/31.74	c #Conflicts:       4000 | #Learnt:       2959 | 0.000
31.68/31.74	c total clause space: 206.656MB
31.68/31.74	c total #watches: 3752541
52.38/52.41	c total #propagations: 2239734 / total #impl: 568184866 (eff. 0.004)
52.38/52.41	c GC COLLECT
52.38/52.41	c #Conflicts:       5000 | #Learnt:       2340 | 0.000
52.38/52.41	c total clause space: 206.656MB
52.38/52.41	c total #watches: 2858226
77.38/77.40	c total #propagations: 2733384 / total #impl: 940261586 (eff. 0.003)
77.38/77.40	c #Conflicts:       6000 | #Learnt:       3340 | 0.000
77.38/77.40	c total clause space: 206.656MB
77.38/77.40	c total #watches: 3674593
106.07/106.13	c total #propagations: 3078819 / total #impl: 1447400719 (eff. 0.002)
106.07/106.13	c GC COLLECT
106.07/106.13	c #Conflicts:       7000 | #Learnt:       2232 | 0.000
106.07/106.13	c total clause space: 206.656MB
106.07/106.13	c total #watches: 3076298
132.17/132.24	c total #propagations: 3600132 / total #impl: 1906867181 (eff. 0.002)
132.17/132.24	c #Conflicts:       8000 | #Learnt:       3232 | 0.000
132.17/132.24	c total clause space: 206.656MB
132.17/132.24	c total #watches: 3743963
182.97/183.01	c total #propagations: 3802455 / total #impl: 2467729189 (eff. 0.002)
182.97/183.01	c #Conflicts:       9000 | #Learnt:       4232 | 0.000
182.97/183.01	c total clause space: 206.656MB
182.97/183.01	c total #watches: 4483757
249.66/249.80	c total #propagations: 4135783 / total #impl: 3191989221 (eff. 0.001)
249.66/249.80	c GC COLLECT
249.66/249.80	c #Conflicts:      10000 | #Learnt:       2716 | 0.000
249.66/249.80	c total clause space: 206.656MB
249.66/249.80	c total #watches: 3319326
311.35/311.47	c total #propagations: 4509354 / total #impl: 3928947660 (eff. 0.001)
311.35/311.47	c #Conflicts:      11000 | #Learnt:       3714 | 0.000
311.35/311.47	c total clause space: 206.656MB
311.35/311.47	c total #watches: 4218852
341.34/341.40	c total #propagations: 5320763 / total #impl: 4805791137 (eff. 0.001)
341.34/341.40	c S2->S1
341.34/341.40	c #Conflicts:      12000 | #Learnt:        636 | 0.000
341.34/341.40	c total clause space: 206.656MB
341.34/341.40	c total #watches: 5481936
344.25/344.38	c total #propagations: 6123977 / total #impl: 5071832799 (eff. 0.001)
344.25/344.38	c #Conflicts:      13000 | #Learnt:       1636 | 0.000
344.25/344.38	c total clause space: 335.816MB
344.25/344.38	c total #watches: 6444610
351.04/351.15	c total #propagations: 7130800 / total #impl: 5112145928 (eff. 0.001)
351.04/351.15	c GC COLLECT
351.04/351.15	c #Conflicts:      14000 | #Learnt:       1819 | 0.000
351.04/351.15	c total clause space: 335.816MB
351.04/351.15	c total #watches: 2113795
363.84/363.97	c total #propagations: 8532080 / total #impl: 5204350562 (eff. 0.002)
363.84/363.97	c #Conflicts:      15000 | #Learnt:       2819 | 0.000
363.84/363.97	c total clause space: 335.816MB
363.84/363.97	c total #watches: 2881684
376.24/376.35	c total #propagations: 9324839 / total #impl: 5538171885 (eff. 0.002)
376.24/376.35	c #Conflicts:      16000 | #Learnt:       3819 | 0.000
376.24/376.35	c total clause space: 335.816MB
376.24/376.35	c total #watches: 3443917
390.83/391.00	c total #propagations: 9526709 / total #impl: 5744439101 (eff. 0.002)
390.83/391.00	c GC COLLECT
390.83/391.00	c #Conflicts:      17000 | #Learnt:       2662 | 0.000
390.83/391.00	c total clause space: 335.816MB
390.83/391.00	c total #watches: 2548105
408.83/408.91	c total #propagations: 9702505 / total #impl: 6017518862 (eff. 0.002)
408.83/408.91	c #Conflicts:      18000 | #Learnt:       3662 | 0.000
408.83/408.91	c total clause space: 335.816MB
408.83/408.91	c total #watches: 2855751
431.53/431.68	c total #propagations: 10491189 / total #impl: 6317054226 (eff. 0.002)
431.53/431.68	c #Conflicts:      19000 | #Learnt:       4662 | 0.000
431.53/431.68	c total clause space: 335.816MB
431.53/431.68	c total #watches: 3265721
451.03/451.18	c total #propagations: 11430634 / total #impl: 6876496779 (eff. 0.002)
451.03/451.18	c #Conflicts:      20000 | #Learnt:       5662 | 0.000
451.03/451.18	c total clause space: 335.816MB
451.03/451.18	c total #watches: 3651484
469.22/469.34	c total #propagations: 12103149 / total #impl: 7134657171 (eff. 0.002)
469.22/469.34	c GC COLLECT
469.22/469.34	c #Conflicts:      21000 | #Learnt:       3682 | 0.000
469.22/469.34	c total clause space: 335.816MB
469.22/469.34	c total #watches: 2430282
487.62/487.76	c total #propagations: 12476195 / total #impl: 7664197748 (eff. 0.002)
487.62/487.76	c #Conflicts:      22000 | #Learnt:       4682 | 0.000
487.62/487.76	c total clause space: 335.816MB
487.62/487.76	c total #watches: 2744396
504.11/504.27	c total #propagations: 12742765 / total #impl: 8008303978 (eff. 0.002)
504.11/504.27	c #Conflicts:      23000 | #Learnt:       5682 | 0.000
504.11/504.27	c total clause space: 335.816MB
504.11/504.27	c total #watches: 3019034
525.41/525.50	c total #propagations: 13335134 / total #impl: 8406254852 (eff. 0.002)
525.41/525.50	c #Conflicts:      24000 | #Learnt:       6682 | 0.000
525.41/525.50	c total clause space: 335.816MB
525.41/525.50	c total #watches: 3396210
545.01/545.13	c total #propagations: 13734582 / total #impl: 8932685731 (eff. 0.002)
545.01/545.13	c GC COLLECT
545.01/545.13	c #Conflicts:      25000 | #Learnt:       4148 | 0.000
545.01/545.13	c total clause space: 335.816MB
545.01/545.13	c total #watches: 2432659
565.80/565.93	c total #propagations: 14741911 / total #impl: 9367024345 (eff. 0.002)
565.80/565.93	c #Conflicts:      26000 | #Learnt:       5148 | 0.000
565.80/565.93	c total clause space: 335.816MB
565.80/565.93	c total #watches: 2628382
586.50/586.64	c total #propagations: 16398777 / total #impl: 10047608559 (eff. 0.002)
586.50/586.64	c #Conflicts:      27000 | #Learnt:       6148 | 0.000
586.50/586.64	c total clause space: 335.816MB
586.50/586.64	c total #watches: 2871048
614.10/614.21	c total #propagations: 16604496 / total #impl: 10540846276 (eff. 0.002)
614.10/614.21	c #Conflicts:      28000 | #Learnt:       7148 | 0.000
614.10/614.21	c total clause space: 335.816MB
614.10/614.21	c total #watches: 3181639
640.20/640.34	c total #propagations: 17502092 / total #impl: 11198318312 (eff. 0.002)
640.20/640.34	c GC COLLECT
640.20/640.34	c #Conflicts:      29000 | #Learnt:       4173 | 0.000
640.20/640.34	c total clause space: 335.816MB
640.20/640.34	c total #watches: 2526663
658.89/659.01	c total #propagations: 18209611 / total #impl: 12028779362 (eff. 0.002)
658.89/659.01	c #Conflicts:      30000 | #Learnt:       5173 | 0.000
658.89/659.01	c total clause space: 335.816MB
658.89/659.01	c total #watches: 2696296
681.88/682.09	c total #propagations: 19617018 / total #impl: 12445673438 (eff. 0.002)
681.88/682.09	c #Conflicts:      31000 | #Learnt:       6173 | 0.000
681.88/682.09	c total clause space: 335.816MB
681.88/682.09	c total #watches: 3048591
703.26/703.43	c total #propagations: 20059236 / total #impl: 12948963751 (eff. 0.002)
703.26/703.43	c #Conflicts:      32000 | #Learnt:       7173 | 0.000
703.26/703.43	c total clause space: 335.816MB
703.26/703.43	c total #watches: 3230464
728.65/728.84	c total #propagations: 21235428 / total #impl: 13220597844 (eff. 0.002)
728.65/728.84	c #Conflicts:      33000 | #Learnt:       8173 | 0.000
728.65/728.84	c total clause space: 335.816MB
728.65/728.84	c total #watches: 3489997
756.34/756.51	c total #propagations: 22153574 / total #impl: 13936043177 (eff. 0.002)
756.34/756.51	c GC COLLECT
756.34/756.51	c #Conflicts:      34000 | #Learnt:       4831 | 0.000
756.34/756.51	c total clause space: 335.816MB
756.34/756.51	c total #watches: 2808993
777.93/778.17	c total #propagations: 23232766 / total #impl: 14288408708 (eff. 0.002)
777.93/778.17	c #Conflicts:      35000 | #Learnt:       5831 | 0.000
777.93/778.17	c total clause space: 335.816MB
777.93/778.17	c total #watches: 3570679
799.94/800.12	c total #propagations: 24433868 / total #impl: 14384046036 (eff. 0.002)
799.94/800.12	c #Conflicts:      36000 | #Learnt:       6831 | 0.000
799.94/800.12	c total clause space: 335.816MB
799.94/800.12	c total #watches: 4290806
824.94/825.12	c total #propagations: 25250499 / total #impl: 14465156565 (eff. 0.002)
824.94/825.12	c #Conflicts:      37000 | #Learnt:       7831 | 0.000
824.94/825.12	c total clause space: 335.816MB
824.94/825.12	c total #watches: 5275298
859.22/859.49	c total #propagations: 25426260 / total #impl: 14629144955 (eff. 0.002)
859.22/859.49	c #Conflicts:      38000 | #Learnt:       8831 | 0.000
859.22/859.49	c total clause space: 335.816MB
859.22/859.49	c total #watches: 6337083
889.12/889.31	c total #propagations: 25629051 / total #impl: 14912550039 (eff. 0.002)
889.12/889.31	c GC COLLECT
889.12/889.31	c #Conflicts:      39000 | #Learnt:       5163 | 0.000
889.12/889.31	c total clause space: 335.816MB
889.12/889.31	c total #watches: 5622807
924.11/924.38	c total #propagations: 25765129 / total #impl: 15338402350 (eff. 0.002)
924.11/924.38	c #Conflicts:      40000 | #Learnt:       6163 | 0.000
924.11/924.38	c total clause space: 335.816MB
924.11/924.38	c total #watches: 6196022
966.00/966.20	c total #propagations: 26292423 / total #impl: 15750219370 (eff. 0.002)
966.00/966.20	c #Conflicts:      41000 | #Learnt:       7163 | 0.000
966.00/966.20	c total clause space: 335.816MB
966.00/966.20	c total #watches: 6878956
1016.60/1016.86	c total #propagations: 26616115 / total #impl: 16219486684 (eff. 0.002)
1016.60/1016.86	c #Conflicts:      42000 | #Learnt:       8163 | 0.000
1016.60/1016.86	c total clause space: 335.816MB
1016.60/1016.86	c total #watches: 7746736
1083.30/1083.59	c total #propagations: 26903047 / total #impl: 16982564326 (eff. 0.002)
1083.30/1083.59	c #Conflicts:      43000 | #Learnt:       9163 | 0.000
1083.30/1083.59	c total clause space: 335.816MB
1083.30/1083.59	c total #watches: 8555482
1163.18/1163.47	c total #propagations: 27138241 / total #impl: 17910448502 (eff. 0.002)
1163.18/1163.47	c GC COLLECT
1163.18/1163.47	c #Conflicts:      44000 | #Learnt:       5178 | 0.000
1163.18/1163.47	c total clause space: 545.701MB
1163.18/1163.47	c total #watches: 5026572
1216.67/1216.94	c total #propagations: 27376623 / total #impl: 18937067640 (eff. 0.001)
1216.67/1216.94	c #Conflicts:      45000 | #Learnt:       6178 | 0.000
1216.67/1216.94	c total clause space: 545.701MB
1216.67/1216.94	c total #watches: 5635726
1260.96/1261.26	c total #propagations: 27754567 / total #impl: 20017024150 (eff. 0.001)
1260.96/1261.26	c #Conflicts:      46000 | #Learnt:       7178 | 0.000
1260.96/1261.26	c total clause space: 545.701MB
1260.96/1261.26	c total #watches: 6059396
1296.66/1296.91	c total #propagations: 28806232 / total #impl: 20202934938 (eff. 0.001)
1296.66/1296.91	c #Conflicts:      47000 | #Learnt:       8178 | 0.000
1296.66/1296.91	c total clause space: 545.701MB
1296.66/1296.91	c total #watches: 6855015
1351.66/1351.93	c total #propagations: 29148911 / total #impl: 20536163959 (eff. 0.001)
1351.66/1351.93	c #Conflicts:      48000 | #Learnt:       9178 | 0.000
1351.66/1351.93	c total clause space: 545.701MB
1351.66/1351.93	c total #watches: 7414708
1391.25/1391.56	c total #propagations: 29972061 / total #impl: 21449012828 (eff. 0.001)
1391.25/1391.56	c #Conflicts:      49000 | #Learnt:      10178 | 0.000
1391.25/1391.56	c total clause space: 545.701MB
1391.25/1391.56	c total #watches: 8851230
1404.84/1405.15	c total #propagations: 30881496 / total #impl: 21590013069 (eff. 0.001)
1404.84/1405.15	c GC COLLECT
1404.84/1405.15	c #Conflicts:      50000 | #Learnt:       5881 | 0.000
1404.84/1405.15	c total clause space: 545.701MB
1404.84/1405.15	c total #watches: 7560548
1409.54/1409.86	c total #propagations: 31071802 / total #impl: 21608224183 (eff. 0.001)
1409.54/1409.86	c #Conflicts:      51000 | #Learnt:       6881 | 0.000
1409.54/1409.86	c total clause space: 545.701MB
1409.54/1409.86	c total #watches: 8592521
1417.44/1417.71	c total #propagations: 32150399 / total #impl: 21626694564 (eff. 0.001)
1417.44/1417.71	c #Conflicts:      52000 | #Learnt:       7881 | 0.000
1417.44/1417.71	c total clause space: 545.701MB
1417.44/1417.71	c total #watches: 9980437
1431.44/1431.74	c total #propagations: 33358575 / total #impl: 21641085440 (eff. 0.002)
1431.44/1431.74	c #Conflicts:      53000 | #Learnt:       8881 | 0.000
1431.44/1431.74	c total clause space: 545.701MB
1431.44/1431.74	c total #watches: 11515385
1448.73/1449.01	c total #propagations: 33849132 / total #impl: 21767484193 (eff. 0.002)
1448.73/1449.01	c #Conflicts:      54000 | #Learnt:       9881 | 0.000
1448.73/1449.01	c total clause space: 545.701MB
1448.73/1449.01	c total #watches: 12512729
1473.53/1473.84	c total #propagations: 34445658 / total #impl: 21916329767 (eff. 0.002)
1473.53/1473.84	c #Conflicts:      55000 | #Learnt:      10881 | 0.000
1473.53/1473.84	c total clause space: 545.701MB
1473.53/1473.84	c total #watches: 13536120
1505.23/1505.55	c total #propagations: 34817116 / total #impl: 22105310863 (eff. 0.002)
1505.23/1505.55	c GC COLLECT
1505.23/1505.55	c #Conflicts:      56000 | #Learnt:       6284 | 0.000
1505.23/1505.55	c total clause space: 545.701MB
1505.23/1505.55	c total #watches: 9274158
1539.42/1539.73	c total #propagations: 35301543 / total #impl: 22437342346 (eff. 0.002)
1539.42/1539.73	c #Conflicts:      57000 | #Learnt:       7284 | 0.000
1539.42/1539.73	c total clause space: 545.701MB
1539.42/1539.73	c total #watches: 10056327
1591.92/1592.21	c total #propagations: 35894347 / total #impl: 22676583456 (eff. 0.002)
1591.92/1592.21	c #Conflicts:      58000 | #Learnt:       8284 | 0.000
1591.92/1592.21	c total clause space: 545.701MB
1591.92/1592.21	c total #watches: 10627034
1644.61/1644.91	c total #propagations: 36510775 / total #impl: 23019938845 (eff. 0.002)
1644.61/1644.91	c #Conflicts:      59000 | #Learnt:       9284 | 0.000
1644.61/1644.91	c total clause space: 545.701MB
1644.61/1644.91	c total #watches: 11336142
1684.10/1684.43	c total #propagations: 36922091 / total #impl: 23796246923 (eff. 0.002)
1684.10/1684.43	c #Conflicts:      60000 | #Learnt:      10284 | 0.000
1684.10/1684.43	c total clause space: 545.701MB
1684.10/1684.43	c total #watches: 12173271
1759.59/1759.96	c total #propagations: 37132243 / total #impl: 24126333799 (eff. 0.002)
1759.59/1759.96	c #Conflicts:      61000 | #Learnt:      11284 | 0.000
1759.59/1759.96	c total clause space: 545.701MB
1759.59/1759.96	c total #watches: 12898541

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-4087697-1465430653/watcher-4087697-1465430653 -o /tmp/evaluation-result-4087697-1465430653/solver-4087697-1465430653 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1465427050-4398 --watchdog 1960 --input HOME/instance-4087697-1465430653.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

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

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


[startup+0 s]
/proc/loadavg: 2.11 2.17 2.21 3/176 4724
/proc/meminfo: memFree=28997224/32872528 swapFree=14448/1543360
[pid=4724] ppid=4721 vsize=55976 CPUtime=0 cores=0,2,4,6
/proc/4724/stat : 4724 (cdcl-cuttingpla) R 4721 4724 4382 0 -1 4202496 257 0 0 0 0 0 0 0 20 0 1 0 124998882 57319424 7804 33554432000 4194304 6211289 140733889469888 140735221675496 4206551 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4724/statm: 13994 7804 98 493 0 13491 0

[startup+0.100125 s]
/proc/loadavg: 2.11 2.17 2.21 3/176 4724
/proc/meminfo: memFree=28997224/32872528 swapFree=14448/1543360
[pid=4724] ppid=4721 vsize=63548 CPUtime=0.09 cores=0,2,4,6
/proc/4724/stat : 4724 (cdcl-cuttingpla) R 4721 4724 4382 0 -1 4202496 1628 0 0 0 8 1 0 0 20 0 1 0 124998882 65073152 13460 33554432000 4194304 6211289 140733889469888 140735221675496 5161098 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4724/statm: 15887 13460 144 493 0 15384 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 63548

[startup+0.200355 s]
/proc/loadavg: 2.11 2.17 2.21 3/176 4724
/proc/meminfo: memFree=28997224/32872528 swapFree=14448/1543360
[pid=4724] ppid=4721 vsize=71804 CPUtime=0.19 cores=0,2,4,6
/proc/4724/stat : 4724 (cdcl-cuttingpla) R 4721 4724 4382 0 -1 4202496 3110 0 0 0 18 1 0 0 20 0 1 0 124998882 73527296 15741 33554432000 4194304 6211289 140733889469888 140735221675496 4228081 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4724/statm: 17951 15741 144 493 0 17448 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 71804

[startup+0.300346 s]
/proc/loadavg: 2.11 2.17 2.21 3/176 4724
/proc/meminfo: memFree=28997224/32872528 swapFree=14448/1543360
[pid=4724] ppid=4721 vsize=88160 CPUtime=0.29 cores=0,2,4,6
/proc/4724/stat : 4724 (cdcl-cuttingpla) R 4721 4724 4382 0 -1 4202496 4192 0 0 0 28 1 0 0 20 0 1 0 124998882 90275840 17806 33554432000 4194304 6211289 140733889469888 140733889467768 4216592 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4724/statm: 22040 17806 204 493 0 21537 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 88160

[startup+0.700241 s]
/proc/loadavg: 2.11 2.17 2.21 3/176 4724
/proc/meminfo: memFree=28997224/32872528 swapFree=14448/1543360
[pid=4724] ppid=4721 vsize=147624 CPUtime=0.69 cores=0,2,4,6
/proc/4724/stat : 4724 (cdcl-cuttingpla) R 4721 4724 4382 0 -1 4202496 9472 0 0 0 67 2 0 0 20 0 1 0 124998882 151166976 29084 33554432000 4194304 6211289 140733889469888 140733889467768 5151433 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4724/statm: 36906 29084 204 493 0 36403 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 147624

[startup+1.50028 s]
/proc/loadavg: 2.11 2.17 2.21 3/177 4725
/proc/meminfo: memFree=28870368/32872528 swapFree=14448/1543360
[pid=4724] ppid=4721 vsize=192700 CPUtime=1.49 cores=0,2,4,6
/proc/4724/stat : 4724 (cdcl-cuttingpla) R 4721 4724 4382 0 -1 4202496 13274 0 0 0 146 3 0 0 20 0 1 0 124998882 197324800 41021 33554432000 4194304 6211289 140733889469888 140733889468120 4209501 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4724/statm: 48175 41021 214 493 0 47672 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 192700

[startup+3.10028 s]
/proc/loadavg: 2.10 2.17 2.21 3/177 4725
/proc/meminfo: memFree=28818004/32872528 swapFree=14448/1543360
[pid=4724] ppid=4721 vsize=243468 CPUtime=3.09 cores=0,2,4,6
/proc/4724/stat : 4724 (cdcl-cuttingpla) R 4721 4724 4382 0 -1 4202496 13561 0 0 0 305 4 0 0 20 0 1 0 124998882 249311232 46404 33554432000 4194304 6211289 140733889469888 140733889467800 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4724/statm: 60867 46404 214 493 0 60364 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 243468

[startup+6.30025 s]
/proc/loadavg: 2.10 2.17 2.21 3/177 4725
/proc/meminfo: memFree=28798832/32872528 swapFree=14448/1543360
[pid=4724] ppid=4721 vsize=244020 CPUtime=6.29 cores=0,2,4,6
/proc/4724/stat : 4724 (cdcl-cuttingpla) R 4721 4724 4382 0 -1 4202496 13710 0 0 0 625 4 0 0 20 0 1 0 124998882 249876480 51152 33554432000 4194304 6211289 140733889469888 140733889467800 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4724/statm: 61005 51152 214 493 0 60502 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 244020

[startup+12.7003 s]
/proc/loadavg: 2.09 2.16 2.20 4/177 4725
/proc/meminfo: memFree=28776056/32872528 swapFree=14448/1543360
[pid=4724] ppid=4721 vsize=244292 CPUtime=12.69 cores=0,2,4,6
/proc/4724/stat : 4724 (cdcl-cuttingpla) R 4721 4724 4382 0 -1 4202496 16767 0 0 0 1264 5 0 0 20 0 1 0 124998882 250155008 55284 33554432000 4194304 6211289 140733889469888 140733889468232 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4724/statm: 61073 55284 219 493 0 60570 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 244292

[startup+25.5004 s]
/proc/loadavg: 2.07 2.16 2.20 3/177 4771
/proc/meminfo: memFree=29050316/32872528 swapFree=14448/1543360
[pid=4724] ppid=4721 vsize=244700 CPUtime=25.49 cores=0,2,4,6
/proc/4724/stat : 4724 (cdcl-cuttingpla) R 4721 4724 4382 0 -1 4202496 16853 0 0 0 2544 5 0 0 20 0 1 0 124998882 250572800 56392 33554432000 4194304 6211289 140733889469888 140733889467800 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4724/statm: 61175 56392 219 493 0 60672 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 244700

[startup+51.1004 s]
/proc/loadavg: 2.20 2.18 2.20 3/177 4771
/proc/meminfo: memFree=28947356/32872528 swapFree=14448/1543360
[pid=4724] ppid=4721 vsize=353664 CPUtime=51.08 cores=0,2,4,6
/proc/4724/stat : 4724 (cdcl-cuttingpla) R 4721 4724 4382 0 -1 4202496 22985 0 0 0 5102 6 0 0 20 0 1 0 124998882 362151936 65716 33554432000 4194304 6211289 140733889469888 140733889467880 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4724/statm: 88416 65716 219 493 0 87913 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 353664

[startup+102.3 s]
/proc/loadavg: 2.14 2.16 2.19 3/177 4772
/proc/meminfo: memFree=28894628/32872528 swapFree=14448/1543360
[pid=4724] ppid=4721 vsize=356704 CPUtime=102.28 cores=0,2,4,6
/proc/4724/stat : 4724 (cdcl-cuttingpla) R 4721 4724 4382 0 -1 4202496 24295 0 0 0 10222 6 0 0 20 0 1 0 124998882 365264896 73157 33554432000 4194304 6211289 140733889469888 140733889467880 4209392 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4724/statm: 89176 73157 219 493 0 88673 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 356704

[startup+162.3 s]
/proc/loadavg: 2.23 2.18 2.19 3/177 4773
/proc/meminfo: memFree=28809804/32872528 swapFree=14448/1543360
[pid=4724] ppid=4721 vsize=356992 CPUtime=162.27 cores=0,2,4,6
/proc/4724/stat : 4724 (cdcl-cuttingpla) R 4721 4724 4382 0 -1 4202496 24491 0 0 0 16220 7 0 0 20 0 1 0 124998882 365559808 73862 33554432000 4194304 6211289 140733889469888 140733889467880 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4724/statm: 89248 73862 219 493 0 88745 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 356992

[startup+222.307 s]
/proc/loadavg: 2.25 2.19 2.19 3/177 4775
/proc/meminfo: memFree=28786160/32872528 swapFree=14448/1543360
[pid=4724] ppid=4721 vsize=357568 CPUtime=222.27 cores=0,2,4,6
/proc/4724/stat : 4724 (cdcl-cuttingpla) R 4721 4724 4382 0 -1 4202496 25055 0 0 0 22220 7 0 0 20 0 1 0 124998882 366149632 79025 33554432000 4194304 6211289 140733889469888 140733889467880 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4724/statm: 89392 79025 219 493 0 88889 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 357568

[startup+282.3 s]
/proc/loadavg: 2.15 2.17 2.18 4/177 4776
/proc/meminfo: memFree=28778560/32872528 swapFree=14448/1543360
[pid=4724] ppid=4721 vsize=357856 CPUtime=282.25 cores=0,2,4,6
/proc/4724/stat : 4724 (cdcl-cuttingpla) R 4721 4724 4382 0 -1 4202496 25320 0 0 0 28218 7 0 0 20 0 1 0 124998882 366444544 80823 33554432000 4194304 6211289 140733889469888 140733889467880 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4724/statm: 89464 80823 219 493 0 88961 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 357856

[startup+342.3 s]
/proc/loadavg: 2.31 2.22 2.20 3/177 4777
/proc/meminfo: memFree=28753760/32872528 swapFree=14448/1543360
[pid=4724] ppid=4721 vsize=490728 CPUtime=342.23 cores=0,2,4,6
/proc/4724/stat : 4724 (cdcl-cuttingpla) R 4721 4724 4382 0 -1 4202496 26088 0 0 0 34215 8 0 0 20 0 1 0 124998882 502505472 87173 33554432000 4194304 6211289 140733889469888 140733889467800 4241733 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4724/statm: 122682 87173 219 493 0 122179 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 490728

[startup+402.3 s]
/proc/loadavg: 2.39 2.26 2.20 3/178 4781
/proc/meminfo: memFree=28729120/32872528 swapFree=14448/1543360
[pid=4724] ppid=4721 vsize=491964 CPUtime=402.23 cores=0,2,4,6
/proc/4724/stat : 4724 (cdcl-cuttingpla) R 4721 4724 4382 0 -1 4202496 26807 0 0 0 40214 9 0 0 20 0 1 0 124998882 503771136 92693 33554432000 4194304 6211289 140733889469888 140733889468232 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4724/statm: 122991 92693 219 493 0 122488 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 491964

[startup+462.3 s]
/proc/loadavg: 2.36 2.27 2.21 3/177 4782
/proc/meminfo: memFree=28727536/32872528 swapFree=14448/1543360
[pid=4724] ppid=4721 vsize=492684 CPUtime=462.22 cores=0,2,4,6
/proc/4724/stat : 4724 (cdcl-cuttingpla) R 4721 4724 4382 0 -1 4202496 26972 0 0 0 46213 9 0 0 20 0 1 0 124998882 504508416 92858 33554432000 4194304 6211289 140733889469888 140733889468232 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4724/statm: 123171 92858 219 493 0 122668 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 492684

[startup+522.3 s]
/proc/loadavg: 2.17 2.23 2.20 3/177 4784
/proc/meminfo: memFree=28726624/32872528 swapFree=14448/1543360
[pid=4724] ppid=4721 vsize=493132 CPUtime=522.21 cores=0,2,4,6
/proc/4724/stat : 4724 (cdcl-cuttingpla) R 4721 4724 4382 0 -1 4202496 27088 0 0 0 52212 9 0 0 20 0 1 0 124998882 504967168 92974 33554432000 4194304 6211289 140733889469888 140733889467880 4241730 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4724/statm: 123283 92974 219 493 0 122780 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 493132

[startup+582.3 s]
/proc/loadavg: 2.18 2.22 2.19 3/177 4785
/proc/meminfo: memFree=28715728/32872528 swapFree=14448/1543360
[pid=4724] ppid=4721 vsize=493276 CPUtime=582.2 cores=0,2,4,6
/proc/4724/stat : 4724 (cdcl-cuttingpla) R 4721 4724 4382 0 -1 4202496 27136 0 0 0 58211 9 0 0 20 0 1 0 124998882 505114624 93022 33554432000 4194304 6211289 140733889469888 140733889468232 4209392 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4724/statm: 123319 93022 219 493 0 122816 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 493276


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


[startup+882.307 s]
/proc/loadavg: 2.14 2.19 2.18 3/177 4791
/proc/meminfo: memFree=28593928/32872528 swapFree=14448/1543360
[pid=4724] ppid=4721 vsize=498496 CPUtime=882.12 cores=0,2,4,6
/proc/4724/stat : 4724 (cdcl-cuttingpla) R 4721 4724 4382 0 -1 4202496 28645 0 0 0 88202 10 0 0 20 0 1 0 124998882 510459904 104496 33554432000 4194304 6211289 140733889469888 140733889467880 4209501 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4724/statm: 124624 104496 219 493 0 124121 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 498496

[startup+942.3 s]
/proc/loadavg: 2.30 2.22 2.19 4/177 4792
/proc/meminfo: memFree=28586852/32872528 swapFree=14448/1543360
[pid=4724] ppid=4721 vsize=498640 CPUtime=942.11 cores=0,2,4,6
/proc/4724/stat : 4724 (cdcl-cuttingpla) R 4721 4724 4382 0 -1 4202496 28752 0 0 0 94201 10 0 0 20 0 1 0 124998882 510607360 104603 33554432000 4194304 6211289 140733889469888 140733889468232 4209403 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4724/statm: 124660 104603 219 493 0 124157 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 498640

[startup+1002.3 s]
/proc/loadavg: 2.25 2.23 2.19 4/178 4796
/proc/meminfo: memFree=28571332/32872528 swapFree=14448/1543360
[pid=4724] ppid=4721 vsize=499264 CPUtime=1002.11 cores=0,2,4,6
/proc/4724/stat : 4724 (cdcl-cuttingpla) R 4721 4724 4382 0 -1 4202496 28902 0 0 0 100200 11 0 0 20 0 1 0 124998882 511246336 108330 33554432000 4194304 6211289 140733889469888 140733889467800 4209392 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4724/statm: 124816 108330 219 493 0 124313 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 499264

[startup+1062.3 s]
/proc/loadavg: 2.14 2.20 2.18 3/177 4797
/proc/meminfo: memFree=28505776/32872528 swapFree=14448/1543360
[pid=4724] ppid=4721 vsize=558556 CPUtime=1062.1 cores=0,2,4,6
/proc/4724/stat : 4724 (cdcl-cuttingpla) R 4721 4724 4382 0 -1 4202496 38830 0 0 0 106197 13 0 0 20 0 1 0 124998882 571961344 125412 33554432000 4194304 6211289 140733889469888 140733889467880 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4724/statm: 139639 125412 219 493 0 139136 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 558556

[startup+1122.3 s]
/proc/loadavg: 2.13 2.17 2.17 4/177 4799
/proc/meminfo: memFree=28471936/32872528 swapFree=14448/1543360
[pid=4724] ppid=4721 vsize=559036 CPUtime=1122.09 cores=0,2,4,6
/proc/4724/stat : 4724 (cdcl-cuttingpla) R 4721 4724 4382 0 -1 4202496 39511 0 0 0 112196 13 0 0 20 0 1 0 124998882 572452864 132225 33554432000 4194304 6211289 140733889469888 140733889467880 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4724/statm: 139759 132225 219 493 0 139256 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 559036

[startup+1182.3 s]
/proc/loadavg: 2.15 2.17 2.17 3/177 4800
/proc/meminfo: memFree=28468964/32872528 swapFree=14448/1543360
[pid=4724] ppid=4721 vsize=774120 CPUtime=1182.07 cores=0,2,4,6
/proc/4724/stat : 4724 (cdcl-cuttingpla) R 4721 4724 4382 0 -1 4202496 39975 0 0 0 118194 13 0 0 20 0 1 0 124998882 792698880 132977 33554432000 4194304 6211289 140733889469888 140733889467800 4209403 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4724/statm: 193530 132977 219 493 0 193027 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 774120

[startup+1242.3 s]
/proc/loadavg: 2.10 2.15 2.16 3/177 4801
/proc/meminfo: memFree=28462468/32872528 swapFree=14448/1543360
[pid=4724] ppid=4721 vsize=774280 CPUtime=1242.07 cores=0,2,4,6
/proc/4724/stat : 4724 (cdcl-cuttingpla) R 4721 4724 4382 0 -1 4202496 40067 0 0 0 124194 13 0 0 20 0 1 0 124998882 792862720 133069 33554432000 4194304 6211289 140733889469888 140733889467880 4209392 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4724/statm: 193570 133069 219 493 0 193067 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 774280

[startup+1302.3 s]
/proc/loadavg: 2.25 2.18 2.17 4/177 4802
/proc/meminfo: memFree=28462472/32872528 swapFree=14448/1543360
[pid=4724] ppid=4721 vsize=774280 CPUtime=1302.06 cores=0,2,4,6
/proc/4724/stat : 4724 (cdcl-cuttingpla) R 4721 4724 4382 0 -1 4202496 40082 0 0 0 130193 13 0 0 20 0 1 0 124998882 792862720 133084 33554432000 4194304 6211289 140733889469888 140733889468232 4209380 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4724/statm: 193570 133084 219 493 0 193067 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 774280

[startup+1362.3 s]
/proc/loadavg: 2.17 2.17 2.17 3/177 4803
/proc/meminfo: memFree=28453432/32872528 swapFree=14448/1543360
[pid=4724] ppid=4721 vsize=774440 CPUtime=1362.05 cores=0,2,4,6
/proc/4724/stat : 4724 (cdcl-cuttingpla) R 4721 4724 4382 0 -1 4202496 40104 0 0 0 136192 13 0 0 20 0 1 0 124998882 793026560 133106 33554432000 4194304 6211289 140733889469888 140733889468232 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4724/statm: 193610 133106 219 493 0 193107 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 774440

[startup+1422.3 s]
/proc/loadavg: 2.18 2.17 2.17 4/177 4805
/proc/meminfo: memFree=28399288/32872528 swapFree=14448/1543360
[pid=4724] ppid=4721 vsize=776972 CPUtime=1422.05 cores=0,2,4,6
/proc/4724/stat : 4724 (cdcl-cuttingpla) R 4721 4724 4382 0 -1 4202496 42548 0 0 0 142190 15 0 0 20 0 1 0 124998882 795619328 142056 33554432000 4194304 6211289 140733889469888 140733889468232 4209396 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4724/statm: 194243 142056 219 493 0 193740 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 776972

[startup+1482.3 s]
/proc/loadavg: 2.18 2.17 2.17 4/177 4806
/proc/meminfo: memFree=28267420/32872528 swapFree=14448/1543360
[pid=4724] ppid=4721 vsize=777612 CPUtime=1482.03 cores=0,2,4,6
/proc/4724/stat : 4724 (cdcl-cuttingpla) R 4721 4724 4382 0 -1 4202496 45282 0 0 0 148186 17 0 0 20 0 1 0 124998882 796274688 172895 33554432000 4194304 6211289 140733889469888 140733889468232 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4724/statm: 194403 172895 219 493 0 193900 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 777612

[startup+1542.31 s]
/proc/loadavg: 2.20 2.17 2.17 3/177 4807
/proc/meminfo: memFree=28264652/32872528 swapFree=14448/1543360
[pid=4724] ppid=4721 vsize=777612 CPUtime=1542.03 cores=0,2,4,6
/proc/4724/stat : 4724 (cdcl-cuttingpla) R 4721 4724 4382 0 -1 4202496 45431 0 0 0 154186 17 0 0 20 0 1 0 124998882 796274688 173524 33554432000 4194304 6211289 140733889469888 140733889468232 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4724/statm: 194403 173524 219 493 0 193900 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 777612

[startup+1602.3 s]
/proc/loadavg: 2.20 2.18 2.17 3/178 4811
/proc/meminfo: memFree=28263768/32872528 swapFree=14448/1543360
[pid=4724] ppid=4721 vsize=777612 CPUtime=1602.01 cores=0,2,4,6
/proc/4724/stat : 4724 (cdcl-cuttingpla) R 4721 4724 4382 0 -1 4202496 45439 0 0 0 160184 17 0 0 20 0 1 0 124998882 796274688 173532 33554432000 4194304 6211289 140733889469888 140733889468232 4209384 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4724/statm: 194403 173532 219 493 0 193900 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 777612

[startup+1662.3 s]
/proc/loadavg: 2.26 2.19 2.18 4/177 4812
/proc/meminfo: memFree=28251924/32872528 swapFree=14448/1543360
[pid=4724] ppid=4721 vsize=778764 CPUtime=1662 cores=0,2,4,6
/proc/4724/stat : 4724 (cdcl-cuttingpla) R 4721 4724 4382 0 -1 4202496 45672 0 0 0 166183 17 0 0 20 0 1 0 124998882 797454336 173765 33554432000 4194304 6211289 140733889469888 140733889467800 4209376 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4724/statm: 194691 173765 219 493 0 194188 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 778764

[startup+1722.3 s]
/proc/loadavg: 2.28 2.20 2.18 3/177 4814
/proc/meminfo: memFree=28233432/32872528 swapFree=14448/1543360
[pid=4724] ppid=4721 vsize=779884 CPUtime=1721.99 cores=0,2,4,6
/proc/4724/stat : 4724 (cdcl-cuttingpla) R 4721 4724 4382 0 -1 4202496 45877 0 0 0 172182 17 0 0 20 0 1 0 124998882 798601216 173970 33554432000 4194304 6211289 140733889469888 140733889467880 4209388 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4724/statm: 194971 173970 219 493 0 194468 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 779884

[startup+1782.3 s]
/proc/loadavg: 2.38 2.24 2.19 4/177 4815
/proc/meminfo: memFree=28222224/32872528 swapFree=14448/1543360
[pid=4724] ppid=4721 vsize=780204 CPUtime=1781.98 cores=0,2,4,6
/proc/4724/stat : 4724 (cdcl-cuttingpla) R 4721 4724 4382 0 -1 4202496 45989 0 0 0 178181 17 0 0 20 0 1 0 124998882 798928896 174082 33554432000 4194304 6211289 140733889469888 140733889467880 4209484 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4724/statm: 195051 174082 219 493 0 194548 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 780204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.45 2.26 2.20 4/177 4815
/proc/meminfo: memFree=28222472/32872528 swapFree=14448/1543360
[pid=4724] ppid=4721 vsize=780204 CPUtime=1800.08 cores=0,2,4,6
/proc/4724/stat : 4724 (cdcl-cuttingpla) R 4721 4724 4382 0 -1 4202496 46000 0 0 0 179991 17 0 0 20 0 1 0 124998882 798928896 174093 33554432000 4194304 6211289 140733889469888 140733889467880 4209380 0 0 4096 8388610 0 0 0 17 2 0 0 0 0 0
/proc/4724/statm: 195051 174093 219 493 0 194548 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 780204

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 4724 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.1
CPU user time (s): 1799.92
CPU system time (s): 0.183972
CPU usage (%): 99.9829
Max. virtual memory (cumulated for all children) (KiB): 780204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.92
system time used= 0.183972
maximum resident set size= 696372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46000
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= 69
involuntary context switches= 2477

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.40133 second user time and 7.05893 second system time

The end

Launcher Data 

Begin job on node116 at 2016-06-09 02:04:13
IDJOB=4087697
IDBENCH=24985
IDSOLVER=2549
FILE ID=node116/4087697-1465430653
RUNJOBID= node116-1465427050-4398
PBS_JOBID= 19859791
Free space on /tmp= 71640 MiB

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

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

MD5SUM BENCH= 580618cb84d1b6d12452a14c6ff54025
RANDOM SEED=1783523005

node116.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		: 2667.134
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	: 5334.26
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		: 2667.134
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		: 2667.134
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		: 2667.134
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		: 2667.134
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		: 2667.134
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		: 2667.134
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		: 2667.134
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:        28998412 kB
Buffers:          205628 kB
Cached:           994900 kB
SwapCached:         1856 kB
Active:           750676 kB
Inactive:         832284 kB
Active(anon):     381688 kB
Inactive(anon):     2940 kB
Active(file):     368988 kB
Inactive(file):   829344 kB
Unevictable:     1543360 kB
Mlocked:           14448 kB
SwapTotal:      67108856 kB
SwapFree:       67099088 kB
Dirty:              3128 kB
Writeback:             0 kB
AnonPages:       1924552 kB
Mapped:             9044 kB
Shmem:                 0 kB
Slab:             615560 kB
SReclaimable:      59488 kB
SUnreclaim:       556072 kB
KernelStack:        1488 kB
PageTables:         7840 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2159824 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1900544 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= 71636 MiB
End job on node116 at 2016-06-09 02:34:13