Trace number 4101151

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.13 1800.42

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-agg3.opb
MD5SUM2fc9de6105f21066ef788431e0787cd8
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark975
Best CPU time to get the best result obtained on this benchmark1800.05
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables9060
Total number of constraints429
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints429
Minimum length of a constraint30
Maximum length of a constraint1440
Number of terms in the objective function 6930
Biggest coefficient in the objective function 3308
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 529735
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 529735
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c OPTIONS:
0.00/0.01	c - Resolve (`-resolve-always' or `-resolve-skip'): -resolve-skip
0.00/0.04	c * #variable= 9060 #constraint= 429
0.00/0.08	c * #variable= 9060 #constraint= 429
0.38/0.49	c #Conflicts:       1000 | #Learnt:        999 | 1.763
0.38/0.49	c total clause space: 11.2235MB
0.38/0.49	c total #watches: 221135
1.28/1.35	c total #propagations: 26392 / total #impl: 2811702 (eff. 0.009)
1.28/1.35	c #Conflicts:       2000 | #Learnt:       1999 | 1.029
1.28/1.35	c total clause space: 18.2382MB
1.28/1.35	c total #watches: 314495
1.69/1.73	c total #propagations: 54593 / total #impl: 5718338 (eff. 0.010)
1.69/1.73	c GC COLLECT
1.69/1.73	c #Conflicts:       3000 | #Learnt:       2016 | 0.687
1.69/1.73	c total clause space: 18.2382MB
1.69/1.73	c total #watches: 260571
3.28/3.32	c total #propagations: 72418 / total #impl: 7134156 (eff. 0.010)
3.28/3.32	c S1->S2
3.28/3.32	c S2->S1
3.28/3.32	c S1->S2
3.28/3.32	c #Conflicts:       4000 | #Learnt:       3016 | 0.765
3.28/3.32	c total clause space: 48.1602MB
3.28/3.32	c total #watches: 446031
6.09/6.12	c total #propagations: 135349 / total #impl: 11837424 (eff. 0.011)
6.09/6.12	c GC COLLECT
6.09/6.12	c #Conflicts:       5000 | #Learnt:       1448 | 0.941
6.09/6.12	c total clause space: 48.1602MB
6.09/6.12	c total #watches: 353030
10.28/10.32	c total #propagations: 242943 / total #impl: 30108864 (eff. 0.008)
10.28/10.32	c #Conflicts:       6000 | #Learnt:       2448 | 0.810
10.28/10.32	c total clause space: 48.1602MB
10.28/10.32	c total #watches: 464180
13.98/14.06	c total #propagations: 351962 / total #impl: 55660987 (eff. 0.006)
13.98/14.06	c GC COLLECT
13.98/14.06	c #Conflicts:       7000 | #Learnt:       1781 | 0.708
13.98/14.06	c total clause space: 78.2603MB
13.98/14.06	c total #watches: 494973
16.88/16.94	c total #propagations: 389354 / total #impl: 80945726 (eff. 0.005)
16.88/16.94	c #Conflicts:       8000 | #Learnt:       2781 | 0.619
16.88/16.94	c total clause space: 78.2603MB
16.88/16.94	c total #watches: 839071
25.48/25.55	c total #propagations: 418658 / total #impl: 131392715 (eff. 0.003)
25.48/25.55	c #Conflicts:       9000 | #Learnt:       3781 | 0.599
25.48/25.55	c total clause space: 78.2603MB
25.48/25.55	c total #watches: 1048341
32.88/32.90	c total #propagations: 478798 / total #impl: 171144148 (eff. 0.003)
32.88/32.90	c GC COLLECT
32.88/32.90	c #Conflicts:      10000 | #Learnt:       2491 | 0.610
32.88/32.90	c total clause space: 78.2603MB
32.88/32.90	c total #watches: 884041
39.68/39.72	c total #propagations: 538520 / total #impl: 206131085 (eff. 0.003)
39.68/39.72	c #Conflicts:      11000 | #Learnt:       3491 | 0.577
39.68/39.72	c total clause space: 78.2603MB
39.68/39.72	c total #watches: 1077492
45.77/45.84	c total #propagations: 616803 / total #impl: 273955814 (eff. 0.002)
45.77/45.84	c #Conflicts:      12000 | #Learnt:       4491 | 0.566
45.77/45.84	c total clause space: 78.2603MB
45.77/45.84	c total #watches: 1206952
57.57/57.61	c total #propagations: 669952 / total #impl: 298140154 (eff. 0.002)
57.57/57.61	c #Conflicts:      13000 | #Learnt:       5491 | 0.554
57.57/57.61	c total clause space: 127.173MB
57.57/57.61	c total #watches: 1371878
69.28/69.37	c total #propagations: 734912 / total #impl: 327016768 (eff. 0.002)
69.28/69.37	c GC COLLECT
69.28/69.37	c #Conflicts:      14000 | #Learnt:       3747 | 0.519
69.28/69.37	c total clause space: 127.173MB
69.28/69.37	c total #watches: 1141787
79.37/79.47	c total #propagations: 848928 / total #impl: 373844769 (eff. 0.002)
79.37/79.47	c #Conflicts:      15000 | #Learnt:       4747 | 0.490
79.37/79.47	c total clause space: 206.656MB
79.37/79.47	c total #watches: 1397244
88.47/88.51	c total #propagations: 955034 / total #impl: 422110544 (eff. 0.002)
88.47/88.51	c #Conflicts:      16000 | #Learnt:       5747 | 0.476
88.47/88.51	c total clause space: 206.656MB
88.47/88.51	c total #watches: 1993703
103.87/103.92	c total #propagations: 1022632 / total #impl: 492762477 (eff. 0.002)
103.87/103.92	c GC COLLECT
103.87/103.92	c #Conflicts:      17000 | #Learnt:       3627 | 0.475
103.87/103.92	c total clause space: 206.656MB
103.87/103.92	c total #watches: 1534289
106.17/106.21	c total #propagations: 1078260 / total #impl: 549932019 (eff. 0.002)
106.17/106.21	c #Conflicts:      18000 | #Learnt:       4627 | 0.449
106.17/106.21	c total clause space: 206.656MB
106.17/106.21	c total #watches: 1572501
109.56/109.67	c total #propagations: 1099196 / total #impl: 561171407 (eff. 0.002)
109.56/109.67	c #Conflicts:      19000 | #Learnt:       5627 | 0.425
109.56/109.67	c total clause space: 335.816MB
109.56/109.67	c total #watches: 1629789
147.56/147.64	c total #propagations: 1114087 / total #impl: 575338668 (eff. 0.002)
147.56/147.64	c #Conflicts:      20000 | #Learnt:       6627 | 0.421
147.56/147.64	c total clause space: 335.816MB
147.56/147.64	c total #watches: 2030286
165.96/166.03	c total #propagations: 1182563 / total #impl: 644612967 (eff. 0.002)
165.96/166.03	c GC COLLECT
165.96/166.03	c #Conflicts:      21000 | #Learnt:       4173 | 0.408
165.96/166.03	c total clause space: 335.816MB
165.96/166.03	c total #watches: 992603
180.26/180.30	c total #propagations: 1258141 / total #impl: 699489920 (eff. 0.002)
180.26/180.30	c #Conflicts:      22000 | #Learnt:       5173 | 0.394
180.26/180.30	c total clause space: 335.816MB
180.26/180.30	c total #watches: 1475791
215.25/215.31	c total #propagations: 1351370 / total #impl: 767471897 (eff. 0.002)
215.25/215.31	c #Conflicts:      23000 | #Learnt:       6173 | 0.377
215.25/215.31	c total clause space: 335.816MB
215.25/215.31	c total #watches: 2019683
259.04/259.17	c total #propagations: 1460133 / total #impl: 923149488 (eff. 0.002)
259.04/259.17	c #Conflicts:      24000 | #Learnt:       7173 | 0.364
259.04/259.17	c total clause space: 335.816MB
259.04/259.17	c total #watches: 2527362
303.84/303.96	c total #propagations: 1558392 / total #impl: 1087746266 (eff. 0.001)
303.84/303.96	c GC COLLECT
303.84/303.96	c #Conflicts:      25000 | #Learnt:       4393 | 0.350
303.84/303.96	c total clause space: 335.816MB
303.84/303.96	c total #watches: 2319530
326.03/326.17	c total #propagations: 1636302 / total #impl: 1248211830 (eff. 0.001)
326.03/326.17	c #Conflicts:      26000 | #Learnt:       5393 | 0.336
326.03/326.17	c total clause space: 335.816MB
326.03/326.17	c total #watches: 2714288
348.43/348.53	c total #propagations: 1707551 / total #impl: 1372938019 (eff. 0.001)
348.43/348.53	c #Conflicts:      27000 | #Learnt:       6393 | 0.324
348.43/348.53	c total clause space: 335.816MB
348.43/348.53	c total #watches: 3146439
415.52/415.67	c total #propagations: 1794639 / total #impl: 1546433378 (eff. 0.001)
415.52/415.67	c #Conflicts:      28000 | #Learnt:       7393 | 0.313
415.52/415.67	c total clause space: 335.816MB
415.52/415.67	c total #watches: 3670876
489.71/489.87	c total #propagations: 1872910 / total #impl: 1742144837 (eff. 0.001)
489.71/489.87	c GC COLLECT
489.71/489.87	c #Conflicts:      29000 | #Learnt:       4301 | 0.303
489.71/489.87	c total clause space: 335.816MB
489.71/489.87	c total #watches: 2197060
545.90/546.02	c total #propagations: 2001926 / total #impl: 1918539562 (eff. 0.001)
545.90/546.02	c #Conflicts:      30000 | #Learnt:       5301 | 0.306
545.90/546.02	c total clause space: 335.816MB
545.90/546.02	c total #watches: 2689795
592.80/592.92	c total #propagations: 2091457 / total #impl: 2084245664 (eff. 0.001)
592.80/592.92	c #Conflicts:      31000 | #Learnt:       6301 | 0.306
592.80/592.92	c total clause space: 335.816MB
592.80/592.92	c total #watches: 3186361
630.99/631.16	c total #propagations: 2189640 / total #impl: 2196128786 (eff. 0.001)
630.99/631.16	c #Conflicts:      32000 | #Learnt:       7301 | 0.304
630.99/631.16	c total clause space: 335.816MB
630.99/631.16	c total #watches: 3556820
685.87/686.06	c total #propagations: 2210634 / total #impl: 2283531756 (eff. 0.001)
685.87/686.06	c #Conflicts:      33000 | #Learnt:       8301 | 0.310
685.87/686.06	c total clause space: 335.816MB
685.87/686.06	c total #watches: 4023952
700.46/700.67	c total #propagations: 2259618 / total #impl: 2429706528 (eff. 0.001)
700.46/700.67	c GC COLLECT
700.46/700.67	c #Conflicts:      34000 | #Learnt:       4908 | 0.305
700.46/700.67	c total clause space: 335.816MB
700.46/700.67	c total #watches: 2321928
700.96/701.19	c total #propagations: 2283144 / total #impl: 2516077320 (eff. 0.001)
700.96/701.19	c #Conflicts:      35000 | #Learnt:       5908 | 0.338
700.96/701.19	c total clause space: 335.816MB
700.96/701.19	c total #watches: 2343250
701.46/701.61	c total #propagations: 2286225 / total #impl: 2517626418 (eff. 0.001)
701.46/701.61	c #Conflicts:      36000 | #Learnt:       6908 | 0.333
701.46/701.61	c total clause space: 335.816MB
701.46/701.61	c total #watches: 2357181
701.86/702.04	c total #propagations: 2289767 / total #impl: 2518216986 (eff. 0.001)
701.86/702.04	c #Conflicts:      37000 | #Learnt:       7908 | 0.331
701.86/702.04	c total clause space: 335.816MB
701.86/702.04	c total #watches: 2367359
704.26/704.48	c total #propagations: 2293471 / total #impl: 2518284553 (eff. 0.001)
704.26/704.48	c #Conflicts:      38000 | #Learnt:       8908 | 0.333
704.26/704.48	c total clause space: 335.816MB
704.26/704.48	c total #watches: 2397196
705.26/705.49	c total #propagations: 2300829 / total #impl: 2519672309 (eff. 0.001)
705.26/705.49	c GC COLLECT
705.26/705.49	c #Conflicts:      39000 | #Learnt:       5215 | 0.325
705.26/705.49	c total clause space: 335.816MB
705.26/705.49	c total #watches: 520130
709.06/709.21	c total #propagations: 2313313 / total #impl: 2521169305 (eff. 0.001)
709.06/709.21	c #Conflicts:      40000 | #Learnt:       6215 | 0.333
709.06/709.21	c total clause space: 335.816MB
709.06/709.21	c total #watches: 1300911
718.86/719.03	c total #propagations: 2350272 / total #impl: 2536467145 (eff. 0.001)
718.86/719.03	c #Conflicts:      41000 | #Learnt:       7215 | 0.326
718.86/719.03	c total clause space: 335.816MB
718.86/719.03	c total #watches: 1774336
738.85/739.01	c total #propagations: 2412938 / total #impl: 2569493816 (eff. 0.001)
738.85/739.01	c #Conflicts:      42000 | #Learnt:       8215 | 0.319
738.85/739.01	c total clause space: 335.816MB
738.85/739.01	c total #watches: 3282038
758.45/758.68	c total #propagations: 2523009 / total #impl: 2627301705 (eff. 0.001)
758.45/758.68	c #Conflicts:      43000 | #Learnt:       9215 | 0.313
758.45/758.68	c total clause space: 335.816MB
758.45/758.68	c total #watches: 4084369
777.66/777.87	c total #propagations: 2628924 / total #impl: 2676356219 (eff. 0.001)
777.66/777.87	c #Conflicts:      44000 | #Learnt:       5222 | 0.321
777.66/777.87	c total clause space: 545.701MB
777.66/777.87	c total #watches: 4454896
844.44/844.69	c total #propagations: 2703478 / total #impl: 2718314361 (eff. 0.001)
844.44/844.69	c #Conflicts:      45000 | #Learnt:       6222 | 0.384
844.44/844.69	c total clause space: 545.701MB
844.44/844.69	c total #watches: 4348612
985.01/985.26	c total #propagations: 2752085 / total #impl: 2815211631 (eff. 0.001)
985.01/985.26	c #Conflicts:      46000 | #Learnt:       7222 | 0.387
985.01/985.26	c total clause space: 545.701MB
985.01/985.26	c total #watches: 4937719
1187.29/1187.51	c total #propagations: 2833160 / total #impl: 2839294822 (eff. 0.001)
1187.29/1187.51	c #Conflicts:      47000 | #Learnt:       8222 | 0.440
1187.29/1187.51	c total clause space: 545.701MB
1187.29/1187.51	c total #watches: 5500409
1282.87/1283.15	c total #propagations: 2884282 / total #impl: 2894574398 (eff. 0.001)
1282.87/1283.15	c #Conflicts:      48000 | #Learnt:       9222 | 0.434
1282.87/1283.15	c total clause space: 886.764MB
1282.87/1283.15	c total #watches: 5994523
1528.34/1528.63	c total #propagations: 2968481 / total #impl: 2953494827 (eff. 0.001)
1528.34/1528.63	c #Conflicts:      49000 | #Learnt:      10222 | 0.430
1528.34/1528.63	c total clause space: 886.764MB
1528.34/1528.63	c total #watches: 6563948
1575.04/1575.37	c total #propagations: 3108829 / total #impl: 3061051257 (eff. 0.001)
1575.04/1575.37	c GC COLLECT
1575.04/1575.37	c #Conflicts:      50000 | #Learnt:       5916 | 0.489
1575.04/1575.37	c total clause space: 886.764MB
1575.04/1575.37	c total #watches: 3036193
1582.83/1583.16	c total #propagations: 3145415 / total #impl: 3091537110 (eff. 0.001)
1582.83/1583.16	c #Conflicts:      51000 | #Learnt:       6916 | 0.480
1582.83/1583.16	c total clause space: 886.764MB
1582.83/1583.16	c total #watches: 3125294
1589.83/1590.13	c total #propagations: 3162061 / total #impl: 3094207257 (eff. 0.001)
1589.83/1590.13	c #Conflicts:      52000 | #Learnt:       7916 | 0.471
1589.83/1590.13	c total clause space: 886.764MB
1589.83/1590.13	c total #watches: 3177604
1595.33/1595.62	c total #propagations: 3180933 / total #impl: 3098951202 (eff. 0.001)
1595.33/1595.62	c #Conflicts:      53000 | #Learnt:       8916 | 0.462
1595.33/1595.62	c total clause space: 886.764MB
1595.33/1595.62	c total #watches: 3224362
1616.62/1616.99	c total #propagations: 3189768 / total #impl: 3101111354 (eff. 0.001)
1616.62/1616.99	c #Conflicts:      54000 | #Learnt:       9916 | 0.464
1616.62/1616.99	c total clause space: 886.764MB
1616.62/1616.99	c total #watches: 3431959
1666.92/1667.26	c total #propagations: 3235627 / total #impl: 3113188474 (eff. 0.001)
1666.92/1667.26	c #Conflicts:      55000 | #Learnt:      10916 | 0.479
1666.92/1667.26	c total clause space: 886.764MB
1666.92/1667.26	c total #watches: 3840386
1679.52/1679.83	c total #propagations: 3324204 / total #impl: 3148516804 (eff. 0.001)
1679.52/1679.83	c GC COLLECT
1679.52/1679.83	c #Conflicts:      56000 | #Learnt:       6312 | 0.472
1679.52/1679.83	c total clause space: 886.764MB
1679.52/1679.83	c total #watches: 1528862
1701.31/1701.66	c total #propagations: 3374898 / total #impl: 3163006026 (eff. 0.001)
1701.31/1701.66	c #Conflicts:      57000 | #Learnt:       7312 | 0.471
1701.31/1701.66	c total clause space: 886.764MB
1701.31/1701.66	c total #watches: 1819872
1747.71/1748.07	c total #propagations: 3435949 / total #impl: 3196200856 (eff. 0.001)
1747.71/1748.07	c #Conflicts:      58000 | #Learnt:       8310 | 0.476
1747.71/1748.07	c total clause space: 886.764MB
1747.71/1748.07	c total #watches: 2394134
1768.10/1768.40	c total #propagations: 3501328 / total #impl: 3276945714 (eff. 0.001)
1768.10/1768.40	c #Conflicts:      59000 | #Learnt:       9310 | 0.468
1768.10/1768.40	c total clause space: 886.764MB
1768.10/1768.40	c total #watches: 2690628
1790.39/1790.70	c total #propagations: 3614613 / total #impl: 3325272315 (eff. 0.001)
1790.39/1790.70	c #Conflicts:      60000 | #Learnt:      10310 | 0.460
1790.39/1790.70	c total clause space: 886.764MB
1790.39/1790.70	c total #watches: 2931612

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-4101151-1466250299/watcher-4101151-1466250299 -o /tmp/evaluation-result-4101151-1466250299/solver-4101151-1466250299 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466229299-21096 --watchdog 1960 --input HOME/instance-4101151-1466250299.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

pid=23750
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.18 2.23 2.19 3/176 23753
/proc/meminfo: memFree=29742204/32872528 swapFree=1499884/1696108
[pid=23753] ppid=23750 vsize=55976 CPUtime=0 cores=1,3,5,7
/proc/23753/stat : 23753 (cdcl-cuttingpla) R 23750 23753 21079 0 -1 4202496 240 0 0 0 0 0 0 0 20 0 1 0 27075645 57319424 3698 33554432000 4194304 6211289 140733632229088 140735877291864 4206668 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23753/statm: 13994 3698 98 493 0 13491 0

[startup+0.100174 s]
/proc/loadavg: 2.18 2.23 2.19 3/176 23753
/proc/meminfo: memFree=29742204/32872528 swapFree=1499884/1696108
[pid=23753] ppid=23750 vsize=68324 CPUtime=0.09 cores=1,3,5,7
/proc/23753/stat : 23753 (cdcl-cuttingpla) R 23750 23753 21079 0 -1 4202496 1963 0 0 0 8 1 0 0 20 0 1 0 27075645 69963776 14206 33554432000 4194304 6211289 140733632229088 140735877291864 4767728 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/23753/statm: 17081 14206 144 493 0 16578 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 68324

[startup+0.200329 s]
/proc/loadavg: 2.18 2.23 2.19 3/176 23753
/proc/meminfo: memFree=29742204/32872528 swapFree=1499884/1696108
[pid=23753] ppid=23750 vsize=71972 CPUtime=0.18 cores=1,3,5,7
/proc/23753/stat : 23753 (cdcl-cuttingpla) R 23750 23753 21079 0 -1 4202496 3061 0 0 0 17 1 0 0 20 0 1 0 27075645 73699328 15495 33554432000 4194304 6211289 140733632229088 140733632226680 4205850 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23753/statm: 17993 15495 150 493 0 17490 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 71972

[startup+0.3003 s]
/proc/loadavg: 2.18 2.23 2.19 3/176 23753
/proc/meminfo: memFree=29742204/32872528 swapFree=1499884/1696108
[pid=23753] ppid=23750 vsize=71972 CPUtime=0.28 cores=1,3,5,7
/proc/23753/stat : 23753 (cdcl-cuttingpla) R 23750 23753 21079 0 -1 4202496 3684 0 0 0 27 1 0 0 20 0 1 0 27075645 73699328 15868 33554432000 4194304 6211289 140733632229088 140733632227320 4209464 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23753/statm: 17993 15868 150 493 0 17490 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 71972

[startup+0.700216 s]
/proc/loadavg: 2.18 2.23 2.19 3/176 23753
/proc/meminfo: memFree=29742204/32872528 swapFree=1499884/1696108
[pid=23753] ppid=23750 vsize=84760 CPUtime=0.68 cores=1,3,5,7
/proc/23753/stat : 23753 (cdcl-cuttingpla) R 23750 23753 21079 0 -1 4202496 4152 0 0 0 67 1 0 0 20 0 1 0 27075645 86794240 17812 33554432000 4194304 6211289 140733632229088 140733632227320 4209507 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23753/statm: 21190 17812 160 493 0 20687 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 84760

[startup+1.5003 s]
/proc/loadavg: 2.18 2.23 2.19 4/177 23754
/proc/meminfo: memFree=29669588/32872528 swapFree=1499884/1696108
[pid=23753] ppid=23750 vsize=86212 CPUtime=1.49 cores=1,3,5,7
/proc/23753/stat : 23753 (cdcl-cuttingpla) R 23750 23753 21079 0 -1 4202496 4832 0 0 0 147 2 0 0 20 0 1 0 27075645 88281088 19460 33554432000 4194304 6211289 140733632229088 140733632227080 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23753/statm: 21553 19461 160 493 0 21050 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 86212

[startup+3.10019 s]
/proc/loadavg: 2.18 2.23 2.19 4/177 23754
/proc/meminfo: memFree=29636772/32872528 swapFree=1499884/1696108
[pid=23753] ppid=23750 vsize=150756 CPUtime=3.08 cores=1,3,5,7
/proc/23753/stat : 23753 (cdcl-cuttingpla) R 23750 23753 21079 0 -1 4202496 10434 0 0 0 305 3 0 0 20 0 1 0 27075645 154374144 32327 33554432000 4194304 6211289 140733632229088 140733632226936 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23753/statm: 37689 32327 219 493 0 37186 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 150756

[startup+6.3002 s]
/proc/loadavg: 2.25 2.25 2.19 4/177 23754
/proc/meminfo: memFree=29603700/32872528 swapFree=1499884/1696108
[pid=23753] ppid=23750 vsize=153500 CPUtime=6.29 cores=1,3,5,7
/proc/23753/stat : 23753 (cdcl-cuttingpla) R 23750 23753 21079 0 -1 4202496 11372 0 0 0 625 4 0 0 20 0 1 0 27075645 157184000 35075 33554432000 4194304 6211289 140733632229088 140733632227432 5161098 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23753/statm: 38375 35076 219 493 0 37872 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 153500

[startup+12.7003 s]
/proc/loadavg: 2.22 2.24 2.19 3/177 23754
/proc/meminfo: memFree=29597252/32872528 swapFree=1499884/1696108
[pid=23753] ppid=23750 vsize=187128 CPUtime=12.68 cores=1,3,5,7
/proc/23753/stat : 23753 (cdcl-cuttingpla) R 23750 23753 21079 0 -1 4202496 12610 0 0 0 1264 4 0 0 20 0 1 0 27075645 191619072 37191 33554432000 4194304 6211289 140733632229088 140733632226952 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23753/statm: 46782 37191 219 493 0 46279 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 187128

[startup+25.5004 s]
/proc/loadavg: 2.25 2.24 2.19 3/177 23754
/proc/meminfo: memFree=29575260/32872528 swapFree=1499884/1696108
[pid=23753] ppid=23750 vsize=193272 CPUtime=25.48 cores=1,3,5,7
/proc/23753/stat : 23753 (cdcl-cuttingpla) R 23750 23753 21079 0 -1 4202496 14611 0 0 0 2544 4 0 0 20 0 1 0 27075645 197910528 42002 33554432000 4194304 6211289 140733632229088 140733632227000 4209484 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23753/statm: 48318 42002 219 493 0 47815 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 193272

[startup+51.1004 s]
/proc/loadavg: 2.25 2.24 2.19 4/177 23754
/proc/meminfo: memFree=29557300/32872528 swapFree=1499884/1696108
[pid=23753] ppid=23750 vsize=196124 CPUtime=51.08 cores=1,3,5,7
/proc/23753/stat : 23753 (cdcl-cuttingpla) R 23750 23753 21079 0 -1 4202496 15468 0 0 0 5103 5 0 0 20 0 1 0 27075645 200830976 46418 33554432000 4194304 6211289 140733632229088 140733632226952 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23753/statm: 49031 46418 219 493 0 48528 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 196124

[startup+102.3 s]
/proc/loadavg: 2.30 2.25 2.19 3/177 23755
/proc/meminfo: memFree=29423608/32872528 swapFree=1499884/1696108
[pid=23753] ppid=23750 vsize=342092 CPUtime=102.27 cores=1,3,5,7
/proc/23753/stat : 23753 (cdcl-cuttingpla) R 23750 23753 21079 0 -1 4202496 21211 0 0 0 10219 8 0 0 20 0 1 0 27075645 350302208 79711 33554432000 4194304 6211289 140733632229088 140733632226952 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23753/statm: 85523 79711 219 493 0 85020 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 342092

[startup+162.3 s]
/proc/loadavg: 2.31 2.26 2.19 4/177 23756
/proc/meminfo: memFree=29344220/32872528 swapFree=1499884/1696108
[pid=23753] ppid=23750 vsize=477508 CPUtime=162.26 cores=1,3,5,7
/proc/23753/stat : 23753 (cdcl-cuttingpla) R 23750 23753 21079 0 -1 4202496 22861 0 0 0 16216 10 0 0 20 0 1 0 27075645 488968192 98867 33554432000 4194304 6211289 140733632229088 140733632227432 4209392 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23753/statm: 119377 98867 219 493 0 118874 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 477508

[startup+222.307 s]
/proc/loadavg: 2.38 2.29 2.20 3/177 23758
/proc/meminfo: memFree=29330800/32872528 swapFree=1499884/1696108
[pid=23753] ppid=23750 vsize=477956 CPUtime=222.26 cores=1,3,5,7
/proc/23753/stat : 23753 (cdcl-cuttingpla) R 23750 23753 21079 0 -1 4202496 23292 0 0 0 22216 10 0 0 20 0 1 0 27075645 489426944 99297 33554432000 4194304 6211289 140733632229088 140733632227432 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23753/statm: 119489 99297 219 493 0 118986 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 477956

[startup+282.3 s]
/proc/loadavg: 2.33 2.28 2.20 3/177 23759
/proc/meminfo: memFree=29304236/32872528 swapFree=1499884/1696108
[pid=23753] ppid=23750 vsize=490876 CPUtime=282.24 cores=1,3,5,7
/proc/23753/stat : 23753 (cdcl-cuttingpla) R 23750 23753 21079 0 -1 4202496 25530 0 0 0 28213 11 0 0 20 0 1 0 27075645 502657024 106134 33554432000 4194304 6211289 140733632229088 140733632227080 4209497 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23753/statm: 122719 106134 219 493 0 122216 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 490876

[startup+342.3 s]
/proc/loadavg: 2.17 2.24 2.19 3/178 23763
/proc/meminfo: memFree=29293592/32872528 swapFree=1499884/1696108
[pid=23753] ppid=23750 vsize=497248 CPUtime=342.23 cores=1,3,5,7
/proc/23753/stat : 23753 (cdcl-cuttingpla) R 23750 23753 21079 0 -1 4202496 26884 0 0 0 34212 11 0 0 20 0 1 0 27075645 509181952 107995 33554432000 4194304 6211289 140733632229088 140733632227000 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23753/statm: 124312 107995 219 493 0 123809 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 497248

[startup+402.3 s]
/proc/loadavg: 2.16 2.23 2.18 3/177 23764
/proc/meminfo: memFree=29282244/32872528 swapFree=1499884/1696108
[pid=23753] ppid=23750 vsize=504100 CPUtime=402.22 cores=1,3,5,7
/proc/23753/stat : 23753 (cdcl-cuttingpla) R 23750 23753 21079 0 -1 4202496 28844 0 0 0 40210 12 0 0 20 0 1 0 27075645 516198400 109955 33554432000 4194304 6211289 140733632229088 140733632226952 4209406 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23753/statm: 126025 109955 219 493 0 125522 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 504100

[startup+462.3 s]
/proc/loadavg: 2.30 2.26 2.19 3/177 23765
/proc/meminfo: memFree=29250656/32872528 swapFree=1499884/1696108
[pid=23753] ppid=23750 vsize=505636 CPUtime=462.22 cores=1,3,5,7
/proc/23753/stat : 23753 (cdcl-cuttingpla) R 23750 23753 21079 0 -1 4202496 29609 0 0 0 46209 13 0 0 20 0 1 0 27075645 517771264 116341 33554432000 4194304 6211289 140733632229088 140733632226952 4209392 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23753/statm: 126409 116341 219 493 0 125906 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 505636

[startup+522.3 s]
/proc/loadavg: 2.28 2.25 2.19 4/177 23767
/proc/meminfo: memFree=29241640/32872528 swapFree=1499884/1696108
[pid=23753] ppid=23750 vsize=505828 CPUtime=522.21 cores=1,3,5,7
/proc/23753/stat : 23753 (cdcl-cuttingpla) R 23750 23753 21079 0 -1 4202496 29649 0 0 0 52208 13 0 0 20 0 1 0 27075645 517967872 118425 33554432000 4194304 6211289 140733632229088 140733632227432 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23753/statm: 126457 118425 219 493 0 125954 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 505828

[startup+582.3 s]
/proc/loadavg: 2.29 2.26 2.19 3/177 23768
/proc/meminfo: memFree=29236524/32872528 swapFree=1499884/1696108
[pid=23753] ppid=23750 vsize=505828 CPUtime=582.2 cores=1,3,5,7
/proc/23753/stat : 23753 (cdcl-cuttingpla) R 23750 23753 21079 0 -1 4202496 29715 0 0 0 58207 13 0 0 20 0 1 0 27075645 517967872 118491 33554432000 4194304 6211289 140733632229088 140733632227432 4209318 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23753/statm: 126457 118491 219 493 0 125954 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 505828


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


[startup+882.307 s]
/proc/loadavg: 2.30 2.30 2.22 3/177 23819
/proc/meminfo: memFree=29180380/32872528 swapFree=1499884/1696108
[pid=23753] ppid=23750 vsize=760476 CPUtime=882.14 cores=1,3,5,7
/proc/23753/stat : 23753 (cdcl-cuttingpla) R 23750 23753 21079 0 -1 4202496 38789 0 0 0 88194 20 0 0 20 0 1 0 27075645 778727424 149337 33554432000 4194304 6211289 140733632229088 140733632226952 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23753/statm: 190119 149337 219 493 0 189616 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 760476

[startup+942.3 s]
/proc/loadavg: 2.32 2.30 2.22 3/178 23823
/proc/meminfo: memFree=29130004/32872528 swapFree=1499884/1696108
[pid=23753] ppid=23750 vsize=761436 CPUtime=942.12 cores=1,3,5,7
/proc/23753/stat : 23753 (cdcl-cuttingpla) R 23750 23753 21079 0 -1 4202496 38968 0 0 0 94192 20 0 0 20 0 1 0 27075645 779710464 157181 33554432000 4194304 6211289 140733632229088 140733632226952 4209380 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23753/statm: 190359 157181 219 493 0 189856 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 761436

[startup+1002.3 s]
/proc/loadavg: 2.38 2.32 2.23 3/178 23847
/proc/meminfo: memFree=29089860/32872528 swapFree=1499884/1696108
[pid=23753] ppid=23750 vsize=761596 CPUtime=1002.11 cores=1,3,5,7
/proc/23753/stat : 23753 (cdcl-cuttingpla) R 23750 23753 21079 0 -1 4202496 39027 0 0 0 100191 20 0 0 20 0 1 0 27075645 779874304 164905 33554432000 4194304 6211289 140733632229088 140733632227432 4209244 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23753/statm: 190399 164905 219 493 0 189896 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 761596

[startup+1062.3 s]
/proc/loadavg: 2.43 2.34 2.24 3/177 23848
/proc/meminfo: memFree=29069008/32872528 swapFree=1499884/1696108
[pid=23753] ppid=23750 vsize=761596 CPUtime=1062.11 cores=1,3,5,7
/proc/23753/stat : 23753 (cdcl-cuttingpla) R 23750 23753 21079 0 -1 4202496 39062 0 0 0 106190 21 0 0 20 0 1 0 27075645 779874304 167495 33554432000 4194304 6211289 140733632229088 140733632227432 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23753/statm: 190399 167495 219 493 0 189896 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 761596

[startup+1122.3 s]
/proc/loadavg: 2.31 2.32 2.24 3/177 23850
/proc/meminfo: memFree=29018724/32872528 swapFree=1499884/1696108
[pid=23753] ppid=23750 vsize=762076 CPUtime=1122.09 cores=1,3,5,7
/proc/23753/stat : 23753 (cdcl-cuttingpla) R 23750 23753 21079 0 -1 4202496 39146 0 0 0 112188 21 0 0 20 0 1 0 27075645 780365824 172689 33554432000 4194304 6211289 140733632229088 140733632227000 4209392 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23753/statm: 190519 172689 219 493 0 190016 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 762076

[startup+1182.3 s]
/proc/loadavg: 2.29 2.32 2.24 3/177 23851
/proc/meminfo: memFree=28700708/32872528 swapFree=1499884/1696108
[pid=23753] ppid=23750 vsize=763196 CPUtime=1182.09 cores=1,3,5,7
/proc/23753/stat : 23753 (cdcl-cuttingpla) R 23750 23753 21079 0 -1 4202496 39395 0 0 0 118187 22 0 0 20 0 1 0 27075645 781512704 178559 33554432000 4194304 6211289 140733632229088 140733632226952 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23753/statm: 190799 178559 219 493 0 190296 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 763196

[startup+1242.3 s]
/proc/loadavg: 2.32 2.32 2.25 3/177 23852
/proc/meminfo: memFree=28647772/32872528 swapFree=1499884/1696108
[pid=23753] ppid=23750 vsize=1116768 CPUtime=1242.07 cores=1,3,5,7
/proc/23753/stat : 23753 (cdcl-cuttingpla) R 23750 23753 21079 0 -1 4202496 40430 0 0 0 124185 22 0 0 20 0 1 0 27075645 1143570432 188252 33554432000 4194304 6211289 140733632229088 140733632227320 4209464 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23753/statm: 279192 188252 219 493 0 278689 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 1116768

[startup+1302.3 s]
/proc/loadavg: 2.21 2.29 2.24 3/177 23853
/proc/meminfo: memFree=28592836/32872528 swapFree=1499884/1696108
[pid=23753] ppid=23750 vsize=1116768 CPUtime=1302.07 cores=1,3,5,7
/proc/23753/stat : 23753 (cdcl-cuttingpla) R 23750 23753 21079 0 -1 4202496 40455 0 0 0 130184 23 0 0 20 0 1 0 27075645 1143570432 200030 33554432000 4194304 6211289 140733632229088 140733632227432 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23753/statm: 279192 200030 219 493 0 278689 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 1116768

[startup+1362.3 s]
/proc/loadavg: 2.23 2.28 2.24 3/177 23854
/proc/meminfo: memFree=28566532/32872528 swapFree=1499884/1696108
[pid=23753] ppid=23750 vsize=1116768 CPUtime=1362.05 cores=1,3,5,7
/proc/23753/stat : 23753 (cdcl-cuttingpla) R 23750 23753 21079 0 -1 4202496 40601 0 0 0 136182 23 0 0 20 0 1 0 27075645 1143570432 203242 33554432000 4194304 6211289 140733632229088 140733632227432 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23753/statm: 279192 203242 219 493 0 278689 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 1116768

[startup+1422.3 s]
/proc/loadavg: 2.28 2.27 2.24 3/176 23856
/proc/meminfo: memFree=28544764/32872528 swapFree=1499884/1696108
[pid=23753] ppid=23750 vsize=1119008 CPUtime=1422.06 cores=1,3,5,7
/proc/23753/stat : 23753 (cdcl-cuttingpla) R 23750 23753 21079 0 -1 4202496 40974 0 0 0 142182 24 0 0 20 0 1 0 27075645 1145864192 207192 33554432000 4194304 6211289 140733632229088 140733632227000 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23753/statm: 279752 207192 219 493 0 279249 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 1119008

[startup+1482.3 s]
/proc/loadavg: 2.20 2.25 2.23 3/177 23858
/proc/meminfo: memFree=28523120/32872528 swapFree=1499884/1696108
[pid=23753] ppid=23750 vsize=1119168 CPUtime=1482.04 cores=1,3,5,7
/proc/23753/stat : 23753 (cdcl-cuttingpla) R 23750 23753 21079 0 -1 4202496 41158 0 0 0 148180 24 0 0 20 0 1 0 27075645 1146028032 210953 33554432000 4194304 6211289 140733632229088 140733632227080 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23753/statm: 279792 210953 219 493 0 279289 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 1119168

[startup+1542.31 s]
/proc/loadavg: 2.28 2.26 2.24 3/178 23862
/proc/meminfo: memFree=28488464/32872528 swapFree=1499884/1696108
[pid=23753] ppid=23750 vsize=1119168 CPUtime=1542.04 cores=1,3,5,7
/proc/23753/stat : 23753 (cdcl-cuttingpla) R 23750 23753 21079 0 -1 4202496 41211 0 0 0 154179 25 0 0 20 0 1 0 27075645 1146028032 218671 33554432000 4194304 6211289 140733632229088 140733632227432 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23753/statm: 279792 218671 219 493 0 279289 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 1119168

[startup+1602.3 s]
/proc/loadavg: 2.27 2.26 2.23 3/177 23863
/proc/meminfo: memFree=28484640/32872528 swapFree=1499884/1696108
[pid=23753] ppid=23750 vsize=1121248 CPUtime=1602.03 cores=1,3,5,7
/proc/23753/stat : 23753 (cdcl-cuttingpla) R 23750 23753 21079 0 -1 4202496 42290 0 0 0 160178 25 0 0 20 0 1 0 27075645 1148157952 219122 33554432000 4194304 6211289 140733632229088 140733632226952 4209403 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23753/statm: 280312 219122 219 493 0 279809 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 1121248

[startup+1662.3 s]
/proc/loadavg: 2.14 2.22 2.22 3/177 23864
/proc/meminfo: memFree=28483328/32872528 swapFree=1499884/1696108
[pid=23753] ppid=23750 vsize=1121408 CPUtime=1662.02 cores=1,3,5,7
/proc/23753/stat : 23753 (cdcl-cuttingpla) R 23750 23753 21079 0 -1 4202496 42438 0 0 0 166177 25 0 0 20 0 1 0 27075645 1148321792 219270 33554432000 4194304 6211289 140733632229088 140733632227432 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23753/statm: 280352 219270 219 493 0 279849 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 1121408

[startup+1722.3 s]
/proc/loadavg: 2.30 2.24 2.23 4/176 23865
/proc/meminfo: memFree=28477108/32872528 swapFree=1499884/1696108
[pid=23753] ppid=23750 vsize=1123360 CPUtime=1722.01 cores=1,3,5,7
/proc/23753/stat : 23753 (cdcl-cuttingpla) R 23750 23753 21079 0 -1 4202496 42882 0 0 0 172176 25 0 0 20 0 1 0 27075645 1150320640 219714 33554432000 4194304 6211289 140733632229088 140733632227000 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23753/statm: 280840 219714 219 493 0 280337 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 1123360

[startup+1782.3 s]
/proc/loadavg: 2.27 2.24 2.22 3/177 23867
/proc/meminfo: memFree=28470616/32872528 swapFree=1499884/1696108
[pid=23753] ppid=23750 vsize=1124072 CPUtime=1782 cores=1,3,5,7
/proc/23753/stat : 23753 (cdcl-cuttingpla) R 23750 23753 21079 0 -1 4202496 43011 0 0 0 178175 25 0 0 20 0 1 0 27075645 1151049728 219843 33554432000 4194304 6211289 140733632229088 140733632227080 4209244 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23753/statm: 281018 219843 219 493 0 280515 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 1124072



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.28 2.24 2.22 3/177 23867
/proc/meminfo: memFree=28469872/32872528 swapFree=1499884/1696108
[pid=23753] ppid=23750 vsize=1124072 CPUtime=1800.09 cores=1,3,5,7
/proc/23753/stat : 23753 (cdcl-cuttingpla) R 23750 23753 21079 0 -1 4202496 43011 0 0 0 179984 25 0 0 20 0 1 0 27075645 1151049728 219843 33554432000 4194304 6211289 140733632229088 140733632227432 4209392 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/23753/statm: 281018 219843 219 493 0 280515 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1124072

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 23753 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.42
CPU time (s): 1800.13
CPU user time (s): 1799.85
CPU system time (s): 0.277957
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 1124072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.85
system time used= 0.277957
maximum resident set size= 879372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43011
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= 33
involuntary context switches= 1859

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.90095 second user time and 11.9512 second system time

The end

Launcher Data 

Begin job on node137 at 2016-06-18 13:44:59
IDJOB=4101151
IDBENCH=1706
IDSOLVER=2549
FILE ID=node137/4101151-1466250299
RUNJOBID= node137-1466229299-21096
PBS_JOBID= 19918171
Free space on /tmp= 71696 MiB

SOLVER NAME= cdcl-cuttingplanes OPT binary search 2016-05-01
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-agg3.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101151-1466250299/watcher-4101151-1466250299 -o /tmp/evaluation-result-4101151-1466250299/solver-4101151-1466250299 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466229299-21096 --watchdog 1960 --input HOME/instance-4101151-1466250299.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= 2fc9de6105f21066ef788431e0787cd8
RANDOM SEED=794507752

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
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:        29742624 kB
Buffers:          131896 kB
Cached:           197424 kB
SwapCached:         1268 kB
Active:           466736 kB
Inactive:         228076 kB
Active(anon):     366548 kB
Inactive(anon):     1024 kB
Active(file):     100188 kB
Inactive(file):   227052 kB
Unevictable:     1696108 kB
Mlocked:         1499884 kB
SwapTotal:      67108856 kB
SwapFree:       67100004 kB
Dirty:              3136 kB
Writeback:             0 kB
AnonPages:       2148576 kB
Mapped:             7880 kB
Shmem:                 0 kB
Slab:             604836 kB
SReclaimable:      48988 kB
SUnreclaim:       555848 kB
KernelStack:        1472 kB
PageTables:         7964 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2222828 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    442368 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= 71696 MiB
End job on node137 at 2016-06-18 14:15:00