Trace number 4119013

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern25-25.lin.opb
MD5SUM2a7f032165a45570212a8b02f661ec7a
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-2666
Best CPU time to get the best result obtained on this benchmark1800.47
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3677
Total number of constraints7304
Number of constraints which are clauses3652
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints3652
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 3677
Biggest coefficient in the objective function 926
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 187616
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 926
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 187616
Number of bits of the biggest sum of numbers18
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.03	c OPTIONS:
0.00/0.03	c - Resolve (`-resolve-always' or `-resolve-skip'): -resolve-skip
0.00/0.03	c * #variable= 3677 #constraint= 7304
9.66/9.74	c #Conflicts:       1000 | #Learnt:       1012 | 0.000
9.66/9.74	c total clause space: 78.2603MB
9.66/9.74	c total #watches: 101315
24.57/24.60	c total #propagations: 219582 / total #impl: 1829570 (eff. 0.120)
24.57/24.60	c #Conflicts:       2000 | #Learnt:       2013 | 0.000
24.57/24.60	c total clause space: 206.656MB
24.57/24.60	c total #watches: 107346
31.76/31.88	c total #propagations: 451672 / total #impl: 3594485 (eff. 0.126)
31.76/31.88	c GC COLLECT
31.76/31.88	c #Conflicts:       3000 | #Learnt:       2021 | 0.000
31.76/31.88	c total clause space: 206.656MB
31.76/31.88	c total #watches: 74381
41.16/41.29	c total #propagations: 728505 / total #impl: 5122836 (eff. 0.142)
41.16/41.29	c #Conflicts:       4000 | #Learnt:       3021 | 0.000
41.16/41.29	c total clause space: 206.656MB
41.16/41.29	c total #watches: 84462
53.36/53.42	c total #propagations: 1018224 / total #impl: 6750494 (eff. 0.151)
53.36/53.42	c GC COLLECT
53.36/53.42	c #Conflicts:       5000 | #Learnt:       2378 | 0.000
53.36/53.42	c total clause space: 206.656MB
53.36/53.42	c total #watches: 103219
68.96/69.02	c total #propagations: 1258294 / total #impl: 8272078 (eff. 0.152)
68.96/69.02	c #Conflicts:       6000 | #Learnt:       3381 | 0.000
68.96/69.02	c total clause space: 335.816MB
68.96/69.02	c total #watches: 123730
87.25/87.31	c total #propagations: 1520180 / total #impl: 10557933 (eff. 0.144)
87.25/87.31	c GC COLLECT
87.25/87.31	c #Conflicts:       7000 | #Learnt:       2262 | 0.000
87.25/87.31	c total clause space: 335.816MB
87.25/87.31	c total #watches: 130702
102.15/102.20	c total #propagations: 1692794 / total #impl: 12034450 (eff. 0.141)
102.15/102.20	c #Conflicts:       8000 | #Learnt:       3262 | 0.000
102.15/102.20	c total clause space: 335.816MB
102.15/102.20	c total #watches: 137299
123.85/123.93	c total #propagations: 1834037 / total #impl: 13234330 (eff. 0.139)
123.85/123.93	c #Conflicts:       9000 | #Learnt:       4264 | 0.000
123.85/123.93	c total clause space: 335.816MB
123.85/123.93	c total #watches: 180135
147.85/147.93	c total #propagations: 2065583 / total #impl: 15240204 (eff. 0.136)
147.85/147.93	c GC COLLECT
147.85/147.93	c #Conflicts:      10000 | #Learnt:       2750 | 0.000
147.85/147.93	c total clause space: 335.816MB
147.85/147.93	c total #watches: 134900
160.34/160.42	c total #propagations: 2349916 / total #impl: 16694464 (eff. 0.141)
160.34/160.42	c #Conflicts:      11000 | #Learnt:       3750 | 0.000
160.34/160.42	c total clause space: 335.816MB
160.34/160.42	c total #watches: 201359
192.94/193.00	c total #propagations: 2453321 / total #impl: 18134262 (eff. 0.135)
192.94/193.00	c #Conflicts:      12000 | #Learnt:       4750 | 0.000
192.94/193.00	c total clause space: 335.816MB
192.94/193.00	c total #watches: 260508
231.43/231.54	c total #propagations: 2643372 / total #impl: 19889042 (eff. 0.133)
231.43/231.54	c #Conflicts:      13000 | #Learnt:       5750 | 0.000
231.43/231.54	c total clause space: 545.701MB
231.43/231.54	c total #watches: 267544
264.52/264.61	c total #propagations: 2855106 / total #impl: 21152875 (eff. 0.135)
264.52/264.61	c GC COLLECT
264.52/264.61	c #Conflicts:      14000 | #Learnt:       3884 | 0.000
264.52/264.61	c total clause space: 545.701MB
264.52/264.61	c total #watches: 215048
297.03/297.15	c total #propagations: 3097576 / total #impl: 22596530 (eff. 0.137)
297.03/297.15	c #Conflicts:      15000 | #Learnt:       4884 | 0.000
297.03/297.15	c total clause space: 545.701MB
297.03/297.15	c total #watches: 224601
328.12/328.22	c total #propagations: 3329480 / total #impl: 24071217 (eff. 0.138)
328.12/328.22	c #Conflicts:      16000 | #Learnt:       5884 | 0.000
328.12/328.22	c total clause space: 545.701MB
328.12/328.22	c total #watches: 227442
351.61/351.77	c total #propagations: 3537816 / total #impl: 25547802 (eff. 0.138)
351.61/351.77	c GC COLLECT
351.61/351.77	c #Conflicts:      17000 | #Learnt:       3712 | 0.000
351.61/351.77	c total clause space: 545.701MB
351.61/351.77	c total #watches: 103993
366.11/366.26	c total #propagations: 3850903 / total #impl: 27104994 (eff. 0.142)
366.11/366.26	c #Conflicts:      18000 | #Learnt:       4712 | 0.000
366.11/366.26	c total clause space: 545.701MB
366.11/366.26	c total #watches: 107834
381.51/381.61	c total #propagations: 4201420 / total #impl: 28502695 (eff. 0.147)
381.51/381.61	c #Conflicts:      19000 | #Learnt:       5712 | 0.000
381.51/381.61	c total clause space: 545.701MB
381.51/381.61	c total #watches: 109949
394.81/394.94	c total #propagations: 4594676 / total #impl: 30078942 (eff. 0.153)
394.81/394.94	c #Conflicts:      20000 | #Learnt:       6712 | 0.000
394.81/394.94	c total clause space: 545.701MB
394.81/394.94	c total #watches: 117489
406.40/406.50	c total #propagations: 4919929 / total #impl: 31656914 (eff. 0.155)
406.40/406.50	c GC COLLECT
406.40/406.50	c #Conflicts:      21000 | #Learnt:       4228 | 0.000
406.40/406.50	c total clause space: 545.701MB
406.40/406.50	c total #watches: 180472
430.70/430.87	c total #propagations: 5050935 / total #impl: 33745832 (eff. 0.150)
430.70/430.87	c #Conflicts:      22000 | #Learnt:       5228 | 0.000
430.70/430.87	c total clause space: 545.701MB
430.70/430.87	c total #watches: 184756
458.70/458.87	c total #propagations: 5385209 / total #impl: 35138477 (eff. 0.153)
458.70/458.87	c #Conflicts:      23000 | #Learnt:       6228 | 0.000
458.70/458.87	c total clause space: 545.701MB
458.70/458.87	c total #watches: 190114
484.49/484.60	c total #propagations: 5743585 / total #impl: 36746111 (eff. 0.156)
484.49/484.60	c #Conflicts:      24000 | #Learnt:       7228 | 0.000
484.49/484.60	c total clause space: 545.701MB
484.49/484.60	c total #watches: 192815
510.99/511.19	c total #propagations: 5978469 / total #impl: 38190886 (eff. 0.157)
510.99/511.19	c GC COLLECT
510.99/511.19	c #Conflicts:      25000 | #Learnt:       4428 | 0.000
510.99/511.19	c total clause space: 545.701MB
510.99/511.19	c total #watches: 181490
549.18/549.31	c total #propagations: 6145512 / total #impl: 48043068 (eff. 0.128)
549.18/549.31	c #Conflicts:      26000 | #Learnt:       5428 | 0.000
549.18/549.31	c total clause space: 545.701MB
549.18/549.31	c total #watches: 272502
575.08/575.30	c total #propagations: 6282339 / total #impl: 54157920 (eff. 0.116)
575.08/575.30	c #Conflicts:      27000 | #Learnt:       6428 | 0.000
575.08/575.30	c total clause space: 545.701MB
575.08/575.30	c total #watches: 337764
621.77/621.98	c total #propagations: 6374440 / total #impl: 55679244 (eff. 0.114)
621.77/621.98	c #Conflicts:      28000 | #Learnt:       7428 | 0.000
621.77/621.98	c total clause space: 545.701MB
621.77/621.98	c total #watches: 409425
682.26/682.49	c total #propagations: 6507545 / total #impl: 57040786 (eff. 0.114)
682.26/682.49	c GC COLLECT
682.26/682.49	c #Conflicts:      29000 | #Learnt:       4321 | 0.000
682.26/682.49	c total clause space: 545.701MB
682.26/682.49	c total #watches: 390100
755.46/755.67	c total #propagations: 6665626 / total #impl: 58666443 (eff. 0.114)
755.46/755.67	c #Conflicts:      30000 | #Learnt:       5321 | 0.000
755.46/755.67	c total clause space: 545.701MB
755.46/755.67	c total #watches: 505687
848.84/849.08	c total #propagations: 6829077 / total #impl: 60703316 (eff. 0.112)
848.84/849.08	c #Conflicts:      31000 | #Learnt:       6321 | 0.000
848.84/849.08	c total clause space: 545.701MB
848.84/849.08	c total #watches: 509853
944.93/945.13	c total #propagations: 7028282 / total #impl: 62009592 (eff. 0.113)
944.93/945.13	c #Conflicts:      32000 | #Learnt:       7321 | 0.000
944.93/945.13	c total clause space: 545.701MB
944.93/945.13	c total #watches: 561321
1037.91/1038.10	c total #propagations: 7216138 / total #impl: 63518973 (eff. 0.114)
1037.91/1038.10	c #Conflicts:      33000 | #Learnt:       8321 | 0.000
1037.91/1038.10	c total clause space: 545.701MB
1037.91/1038.10	c total #watches: 586053
1101.20/1101.44	c total #propagations: 7371534 / total #impl: 65063026 (eff. 0.113)
1101.20/1101.44	c GC COLLECT
1101.20/1101.44	c #Conflicts:      34000 | #Learnt:       4929 | 0.000
1101.20/1101.44	c total clause space: 886.764MB
1101.20/1101.44	c total #watches: 378014
1160.19/1160.43	c total #propagations: 7480279 / total #impl: 66861320 (eff. 0.112)
1160.19/1160.43	c #Conflicts:      35000 | #Learnt:       5929 | 0.000
1160.19/1160.43	c total clause space: 886.764MB
1160.19/1160.43	c total #watches: 391523
1223.38/1223.61	c total #propagations: 7623958 / total #impl: 68041444 (eff. 0.112)
1223.38/1223.61	c #Conflicts:      36000 | #Learnt:       6929 | 0.000
1223.38/1223.61	c total clause space: 886.764MB
1223.38/1223.61	c total #watches: 394509
1289.27/1289.56	c total #propagations: 7785819 / total #impl: 69179014 (eff. 0.113)
1289.27/1289.56	c #Conflicts:      37000 | #Learnt:       7929 | 0.000
1289.27/1289.56	c total clause space: 886.764MB
1289.27/1289.56	c total #watches: 397026
1357.16/1357.47	c total #propagations: 7973037 / total #impl: 70280278 (eff. 0.113)
1357.16/1357.47	c #Conflicts:      38000 | #Learnt:       8929 | 0.000
1357.16/1357.47	c total clause space: 886.764MB
1357.16/1357.47	c total #watches: 399684
1401.75/1402.07	c total #propagations: 8170584 / total #impl: 71398658 (eff. 0.114)
1401.75/1402.07	c GC COLLECT
1401.75/1402.07	c #Conflicts:      39000 | #Learnt:       5232 | 0.000
1401.75/1402.07	c total clause space: 886.764MB
1401.75/1402.07	c total #watches: 121361
1416.15/1416.40	c total #propagations: 8436293 / total #impl: 72762025 (eff. 0.116)
1416.15/1416.40	c #Conflicts:      40000 | #Learnt:       6232 | 0.000
1416.15/1416.40	c total clause space: 886.764MB
1416.15/1416.40	c total #watches: 123520
1430.65/1430.96	c total #propagations: 8788531 / total #impl: 74177443 (eff. 0.118)
1430.65/1430.96	c #Conflicts:      41000 | #Learnt:       7232 | 0.000
1430.65/1430.96	c total clause space: 886.764MB
1430.65/1430.96	c total #watches: 125647
1444.05/1444.33	c total #propagations: 9100818 / total #impl: 75492806 (eff. 0.121)
1444.05/1444.33	c #Conflicts:      42000 | #Learnt:       8232 | 0.000
1444.05/1444.33	c total clause space: 886.764MB
1444.05/1444.33	c total #watches: 127813
1457.54/1457.87	c total #propagations: 9374129 / total #impl: 76801234 (eff. 0.122)
1457.54/1457.87	c #Conflicts:      43000 | #Learnt:       9232 | 0.000
1457.54/1457.87	c total clause space: 886.764MB
1457.54/1457.87	c total #watches: 129948
1471.14/1471.46	c total #propagations: 9722282 / total #impl: 78201289 (eff. 0.124)
1471.14/1471.46	c GC COLLECT
1471.14/1471.46	c #Conflicts:      44000 | #Learnt:       5221 | 0.000
1471.14/1471.46	c total clause space: 886.764MB
1471.14/1471.46	c total #watches: 121329
1485.85/1486.18	c total #propagations: 10046812 / total #impl: 79487323 (eff. 0.126)
1485.85/1486.18	c #Conflicts:      45000 | #Learnt:       6221 | 0.000
1485.85/1486.18	c total clause space: 886.764MB
1485.85/1486.18	c total #watches: 126248
1498.94/1499.28	c total #propagations: 10384456 / total #impl: 81016124 (eff. 0.128)
1498.94/1499.28	c #Conflicts:      46000 | #Learnt:       7221 | 0.000
1498.94/1499.28	c total clause space: 886.764MB
1498.94/1499.28	c total #watches: 128982
1514.44/1514.80	c total #propagations: 10653328 / total #impl: 82449388 (eff. 0.129)
1514.44/1514.80	c #Conflicts:      47000 | #Learnt:       8221 | 0.000
1514.44/1514.80	c total clause space: 886.764MB
1514.44/1514.80	c total #watches: 175392
1547.63/1547.99	c total #propagations: 10983708 / total #impl: 84101606 (eff. 0.131)
1547.63/1547.99	c #Conflicts:      48000 | #Learnt:       9221 | 0.000
1547.63/1547.99	c total clause space: 886.764MB
1547.63/1547.99	c total #watches: 240025
1579.72/1580.05	c total #propagations: 11219719 / total #impl: 85882653 (eff. 0.131)
1579.72/1580.05	c #Conflicts:      49000 | #Learnt:      10221 | 0.000
1579.72/1580.05	c total clause space: 886.764MB
1579.72/1580.05	c total #watches: 242144
1600.42/1600.75	c total #propagations: 11560052 / total #impl: 87309812 (eff. 0.132)
1600.42/1600.75	c GC COLLECT
1600.42/1600.75	c #Conflicts:      50000 | #Learnt:       5913 | 0.000
1600.42/1600.75	c total clause space: 886.764MB
1600.42/1600.75	c total #watches: 124312
1612.62/1612.95	c total #propagations: 11855416 / total #impl: 88723133 (eff. 0.134)
1612.62/1612.95	c #Conflicts:      51000 | #Learnt:       6913 | 0.000
1612.62/1612.95	c total clause space: 886.764MB
1612.62/1612.95	c total #watches: 134774
1627.72/1628.01	c total #propagations: 12038568 / total #impl: 90039144 (eff. 0.134)
1627.72/1628.01	c #Conflicts:      52000 | #Learnt:       7913 | 0.000
1627.72/1628.01	c total clause space: 886.764MB
1627.72/1628.01	c total #watches: 141743
1649.91/1650.20	c total #propagations: 12232328 / total #impl: 91422527 (eff. 0.134)
1649.91/1650.20	c #Conflicts:      53000 | #Learnt:       8913 | 0.000
1649.91/1650.20	c total clause space: 886.764MB
1649.91/1650.20	c total #watches: 202909
1676.91/1677.20	c total #propagations: 12445171 / total #impl: 93122151 (eff. 0.134)
1676.91/1677.20	c #Conflicts:      54000 | #Learnt:       9913 | 0.000
1676.91/1677.20	c total clause space: 886.764MB
1676.91/1677.20	c total #watches: 205617
1712.51/1712.85	c total #propagations: 12743231 / total #impl: 94498251 (eff. 0.135)
1712.51/1712.85	c #Conflicts:      55000 | #Learnt:      10913 | 0.000
1712.51/1712.85	c total clause space: 886.764MB
1712.51/1712.85	c total #watches: 292717
1731.21/1731.55	c total #propagations: 12915950 / total #impl: 96347927 (eff. 0.134)
1731.21/1731.55	c GC COLLECT
1731.21/1731.55	c #Conflicts:      56000 | #Learnt:       6309 | 0.000
1731.21/1731.55	c total clause space: 886.764MB
1731.21/1731.55	c total #watches: 126269
1745.60/1745.90	c total #propagations: 13075605 / total #impl: 97525553 (eff. 0.134)
1745.60/1745.90	c #Conflicts:      57000 | #Learnt:       7309 | 0.000
1745.60/1745.90	c total clause space: 886.764MB
1745.60/1745.90	c total #watches: 132053
1759.90/1760.23	c total #propagations: 13331441 / total #impl: 98830137 (eff. 0.135)
1759.90/1760.23	c #Conflicts:      58000 | #Learnt:       8309 | 0.000
1759.90/1760.23	c total clause space: 886.764MB
1759.90/1760.23	c total #watches: 140297
1776.20/1776.56	c total #propagations: 13549549 / total #impl: 100193586 (eff. 0.135)
1776.20/1776.56	c #Conflicts:      59000 | #Learnt:       9309 | 0.000
1776.20/1776.56	c total clause space: 886.764MB
1776.20/1776.56	c total #watches: 155695
1794.79/1795.19	c total #propagations: 13832775 / total #impl: 101513750 (eff. 0.136)
1794.79/1795.19	c #Conflicts:      60000 | #Learnt:      10309 | 0.000
1794.79/1795.19	c total clause space: 886.764MB
1794.79/1795.19	c total #watches: 196259

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-4119013-1467231231/watcher-4119013-1467231231 -o /tmp/evaluation-result-4119013-1467231231/solver-4119013-1467231231 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1467210315-2001 --watchdog 1960 --input HOME/instance-4119013-1467231231.opb ./cdcl-cuttingplanes-opt-linearsearch-release 

pid=4052
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.00 2.00 2.00 3/176 4055
/proc/meminfo: memFree=30929812/32872528 swapFree=170020/176152
[pid=4055] ppid=4052 vsize=24328 CPUtime=0 cores=0,2,4,6
/proc/4055/stat : 4055 (runsolver) D 4052 4055 1985 0 -1 4202560 115 0 0 0 0 0 0 0 20 0 1 0 2154407 24911872 151 33554432000 4194304 4338465 140736071406160 140736071403800 224922520759 0 0 4096 24578 18446744071579943789 0 0 17 0 0 0 0 0 0
/proc/4055/statm: 6082 151 105 36 0 2655 0

[startup+0.100146 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 4055
/proc/meminfo: memFree=30929812/32872528 swapFree=170020/176152
[pid=4055] ppid=4052 vsize=34172 CPUtime=0.06 cores=0,2,4,6
/proc/4055/stat : 4055 (cdcl-cuttingpla) R 4052 4055 1985 0 -1 4202496 754 0 0 0 6 0 0 0 20 0 1 0 2154407 34992128 7155 33554432000 4194304 6201397 140734907148384 140736071403656 4213268 0 0 4096 8388610 0 0 0 17 2 0 0 2 0 0
/proc/4055/statm: 8543 7155 146 491 0 8042 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 34172

[startup+0.200362 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 4055
/proc/meminfo: memFree=30929812/32872528 swapFree=170020/176152
[pid=4055] ppid=4052 vsize=34404 CPUtime=0.16 cores=0,2,4,6
/proc/4055/stat : 4055 (cdcl-cuttingpla) R 4052 4055 1985 0 -1 4202496 823 0 0 0 16 0 0 0 20 0 1 0 2154407 35229696 7224 33554432000 4194304 6201397 140734907148384 140736071403656 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 2 0 0
/proc/4055/statm: 8601 7224 146 491 0 8100 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 34404

[startup+0.300262 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 4055
/proc/meminfo: memFree=30929812/32872528 swapFree=170020/176152
[pid=4055] ppid=4052 vsize=34404 CPUtime=0.26 cores=0,2,4,6
/proc/4055/stat : 4055 (cdcl-cuttingpla) R 4052 4055 1985 0 -1 4202496 835 0 0 0 26 0 0 0 20 0 1 0 2154407 35229696 7236 33554432000 4194304 6201397 140734907148384 140736071403656 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 2 0 0
/proc/4055/statm: 8601 7236 146 491 0 8100 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 34404

[startup+0.700235 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 4055
/proc/meminfo: memFree=30929812/32872528 swapFree=170020/176152
[pid=4055] ppid=4052 vsize=34676 CPUtime=0.66 cores=0,2,4,6
/proc/4055/stat : 4055 (cdcl-cuttingpla) R 4052 4055 1985 0 -1 4202496 1028 0 0 0 66 0 0 0 20 0 1 0 2154407 35508224 7412 33554432000 4194304 6201397 140734907148384 140734907146952 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 2 0 0
/proc/4055/statm: 8669 7412 146 491 0 8168 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 34676

[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4056
/proc/meminfo: memFree=30898140/32872528 swapFree=170020/176152
[pid=4055] ppid=4052 vsize=41912 CPUtime=1.46 cores=0,2,4,6
/proc/4055/stat : 4055 (cdcl-cuttingpla) R 4052 4055 1985 0 -1 4202496 1297 0 0 0 146 0 0 0 20 0 1 0 2154407 42917888 8663 33554432000 4194304 6201397 140734907148384 140734907146952 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 2 0 0
/proc/4055/statm: 10478 8663 147 491 0 9977 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 41912

[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4056
/proc/meminfo: memFree=30890260/32872528 swapFree=170020/176152
[pid=4055] ppid=4052 vsize=60948 CPUtime=3.07 cores=0,2,4,6
/proc/4055/stat : 4055 (cdcl-cuttingpla) R 4052 4055 1985 0 -1 4202496 1722 0 0 0 306 1 0 0 20 0 1 0 2154407 62410752 12094 33554432000 4194304 6201397 140734907148384 140734907147416 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 2 0 0
/proc/4055/statm: 15237 12094 147 491 0 14736 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 60948

[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4056
/proc/meminfo: memFree=30861824/32872528 swapFree=170020/176152
[pid=4055] ppid=4052 vsize=111464 CPUtime=6.26 cores=0,2,4,6
/proc/4055/stat : 4055 (cdcl-cuttingpla) R 4052 4055 1985 0 -1 4202496 2276 0 0 0 625 1 0 0 20 0 1 0 2154407 114139136 19231 33554432000 4194304 6201397 140734907148384 140734907147416 4213268 0 0 4096 8388610 0 0 0 17 2 0 0 2 0 0
/proc/4055/statm: 27866 19231 147 491 0 27365 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 111464

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 4056
/proc/meminfo: memFree=30831968/32872528 swapFree=170020/176152
[pid=4055] ppid=4052 vsize=162288 CPUtime=12.67 cores=0,2,4,6
/proc/4055/stat : 4055 (cdcl-cuttingpla) R 4052 4055 1985 0 -1 4202496 2687 0 0 0 1265 2 0 0 20 0 1 0 2154407 166182912 25232 33554432000 4194304 6201397 140734907148384 140734907147416 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 2 0 0
/proc/4055/statm: 40572 25232 160 491 0 40071 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 162288

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 4056
/proc/meminfo: memFree=30768436/32872528 swapFree=170020/176152
[pid=4055] ppid=4052 vsize=244052 CPUtime=25.46 cores=0,2,4,6
/proc/4055/stat : 4055 (cdcl-cuttingpla) R 4052 4055 1985 0 -1 4202496 5887 0 0 0 2543 3 0 0 20 0 1 0 2154407 249909248 40427 33554432000 4194304 6201397 140734907148384 140734907147512 4213268 0 0 4096 8388610 0 0 0 17 2 0 0 2 0 0
/proc/4055/statm: 61013 40427 160 491 0 60512 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 244052

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 4056
/proc/meminfo: memFree=30690172/32872528 swapFree=170020/176152
[pid=4055] ppid=4052 vsize=244300 CPUtime=51.06 cores=0,2,4,6
/proc/4055/stat : 4055 (cdcl-cuttingpla) R 4052 4055 1985 0 -1 4202496 6535 0 0 0 5102 4 0 0 20 0 1 0 2154407 250163200 59446 33554432000 4194304 6201397 140734907148384 140734907147336 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 2 0 0
/proc/4055/statm: 61075 59446 166 491 0 60574 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 244300

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4058
/proc/meminfo: memFree=30621344/32872528 swapFree=170020/176152
[pid=4055] ppid=4052 vsize=377496 CPUtime=102.26 cores=0,2,4,6
/proc/4055/stat : 4055 (cdcl-cuttingpla) R 4052 4055 1985 0 -1 4202496 6985 0 0 0 10221 5 0 0 20 0 1 0 2154407 386555904 75737 33554432000 4194304 6201397 140734907148384 140734907147336 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 2 0 0
/proc/4055/statm: 94374 75737 166 491 0 93873 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 377496

[startup+162.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 4059
/proc/meminfo: memFree=30547552/32872528 swapFree=170020/176152
[pid=4055] ppid=4052 vsize=379656 CPUtime=162.24 cores=0,2,4,6
/proc/4055/stat : 4055 (cdcl-cuttingpla) R 4052 4055 1985 0 -1 4202496 7542 0 0 0 16218 6 0 0 20 0 1 0 2154407 388767744 89580 33554432000 4194304 6201397 140734907148384 140734907147512 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 2 0 0
/proc/4055/statm: 94914 89580 166 491 0 94413 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 379656

[startup+222.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 4060
/proc/meminfo: memFree=30492824/32872528 swapFree=170020/176152
[pid=4055] ppid=4052 vsize=598956 CPUtime=222.24 cores=0,2,4,6
/proc/4055/stat : 4055 (cdcl-cuttingpla) R 4052 4055 1985 0 -1 4202496 8846 0 0 0 22218 6 0 0 20 0 1 0 2154407 613330944 99028 33554432000 4194304 6201397 140734907148384 140734907147336 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 2 0 0
/proc/4055/statm: 149739 99028 166 491 0 149238 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 598956

[startup+282.3 s]
/proc/loadavg: 2.07 2.02 2.00 4/177 4062
/proc/meminfo: memFree=30477980/32872528 swapFree=170020/176152
[pid=4055] ppid=4052 vsize=599368 CPUtime=282.23 cores=0,2,4,6
/proc/4055/stat : 4055 (cdcl-cuttingpla) R 4052 4055 1985 0 -1 4202496 9302 0 0 0 28216 7 0 0 20 0 1 0 2154407 613752832 102720 33554432000 4194304 6201397 140734907148384 140734907147336 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 2 0 0
/proc/4055/statm: 149842 102720 166 491 0 149341 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 599368

[startup+342.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 4063
/proc/meminfo: memFree=30446008/32872528 swapFree=170020/176152
[pid=4055] ppid=4052 vsize=599520 CPUtime=342.21 cores=0,2,4,6
/proc/4055/stat : 4055 (cdcl-cuttingpla) R 4052 4055 1985 0 -1 4202496 9481 0 0 0 34214 7 0 0 20 0 1 0 2154407 613908480 110564 33554432000 4194304 6201397 140734907148384 140734907147336 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 2 0 0
/proc/4055/statm: 149880 110564 166 491 0 149379 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 599520

[startup+402.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 4067
/proc/meminfo: memFree=30423096/32872528 swapFree=170020/176152
[pid=4055] ppid=4052 vsize=599544 CPUtime=402.2 cores=0,2,4,6
/proc/4055/stat : 4055 (cdcl-cuttingpla) R 4052 4055 1985 0 -1 4202496 9576 0 0 0 40213 7 0 0 20 0 1 0 2154407 613933056 116270 33554432000 4194304 6201397 140734907148384 140734907147512 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 2 0 0
/proc/4055/statm: 149886 116270 166 491 0 149385 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 599544

[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 4068
/proc/meminfo: memFree=30423036/32872528 swapFree=170020/176152
[pid=4055] ppid=4052 vsize=599568 CPUtime=462.19 cores=0,2,4,6
/proc/4055/stat : 4055 (cdcl-cuttingpla) R 4052 4055 1985 0 -1 4202496 9642 0 0 0 46212 7 0 0 20 0 1 0 2154407 613957632 116336 33554432000 4194304 6201397 140734907148384 140734907147512 4213253 0 0 4096 8388610 0 0 0 17 2 0 0 2 0 0
/proc/4055/statm: 149892 116336 166 491 0 149391 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 599568

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 4069
/proc/meminfo: memFree=30386040/32872528 swapFree=170020/176152
[pid=4055] ppid=4052 vsize=599568 CPUtime=522.19 cores=0,2,4,6
/proc/4055/stat : 4055 (cdcl-cuttingpla) R 4052 4055 1985 0 -1 4202496 9661 0 0 0 52211 8 0 0 20 0 1 0 2154407 613957632 125553 33554432000 4194304 6201397 140734907148384 140734907147512 4213257 0 0 4096 8388610 0 0 0 17 2 0 0 2 0 0
/proc/4055/statm: 149892 125553 166 491 0 149391 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 599568

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4071
/proc/meminfo: memFree=30386284/32872528 swapFree=170020/176152
[pid=4055] ppid=4052 vsize=599592 CPUtime=582.18 cores=0,2,4,6
/proc/4055/stat : 4055 (cdcl-cuttingpla) R 4052 4055 1985 0 -1 4202496 9698 0 0 0 58210 8 0 0 20 0 1 0 2154407 613982208 125590 33554432000 4194304 6201397 140734907148384 140734907147512 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 2 0 0
/proc/4055/statm: 149898 125590 166 491 0 149397 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 599592


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


[startup+882.307 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 4123
/proc/meminfo: memFree=30972700/32872528 swapFree=170020/176152
[pid=4055] ppid=4052 vsize=608876 CPUtime=882.14 cores=0,2,4,6
/proc/4055/stat : 4055 (cdcl-cuttingpla) R 4052 4055 1985 0 -1 4202496 12081 0 0 0 88204 10 0 0 20 0 1 0 2154407 623489024 145852 33554432000 4194304 6201397 140734907148384 140734907147336 4213192 0 0 4096 8388610 0 0 0 17 2 0 0 2 0 0
/proc/4055/statm: 152219 145852 166 491 0 151718 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 608876

[startup+942.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 4124
/proc/meminfo: memFree=30970584/32872528 swapFree=170020/176152
[pid=4055] ppid=4052 vsize=609396 CPUtime=942.13 cores=0,2,4,6
/proc/4055/stat : 4055 (cdcl-cuttingpla) R 4052 4055 1985 0 -1 4202496 12205 0 0 0 94203 10 0 0 20 0 1 0 2154407 624021504 145976 33554432000 4194304 6201397 140734907148384 140734907147336 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 2 0 0
/proc/4055/statm: 152349 145976 166 491 0 151848 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 609396

[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 4128
/proc/meminfo: memFree=30963792/32872528 swapFree=170020/176152
[pid=4055] ppid=4052 vsize=609976 CPUtime=1002.12 cores=0,2,4,6
/proc/4055/stat : 4055 (cdcl-cuttingpla) R 4052 4055 1985 0 -1 4202496 12350 0 0 0 100202 10 0 0 20 0 1 0 2154407 624615424 146121 33554432000 4194304 6201397 140734907148384 140734907147336 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 2 0 0
/proc/4055/statm: 152494 146121 166 491 0 151993 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 609976

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 4129
/proc/meminfo: memFree=30927784/32872528 swapFree=170020/176152
[pid=4055] ppid=4052 vsize=959224 CPUtime=1062.1 cores=0,2,4,6
/proc/4055/stat : 4055 (cdcl-cuttingpla) R 4052 4055 1985 0 -1 4202496 12561 0 0 0 106200 10 0 0 20 0 1 0 2154407 982245376 154988 33554432000 4194304 6201397 140734907148384 140734907147416 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 2 0 0
/proc/4055/statm: 239806 154988 166 491 0 239305 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 959224

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4130
/proc/meminfo: memFree=30909236/32872528 swapFree=170020/176152
[pid=4055] ppid=4052 vsize=959224 CPUtime=1122.1 cores=0,2,4,6
/proc/4055/stat : 4055 (cdcl-cuttingpla) R 4052 4055 1985 0 -1 4202496 12919 0 0 0 112199 11 0 0 20 0 1 0 2154407 982245376 158585 33554432000 4194304 6201397 140734907148384 140734907147512 4213178 0 0 4096 8388610 0 0 0 17 2 0 0 2 0 0
/proc/4055/statm: 239806 158585 166 491 0 239305 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 959224

[startup+1182.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 4132
/proc/meminfo: memFree=30908736/32872528 swapFree=170020/176152
[pid=4055] ppid=4052 vsize=959224 CPUtime=1182.09 cores=0,2,4,6
/proc/4055/stat : 4055 (cdcl-cuttingpla) R 4052 4055 1985 0 -1 4202496 12920 0 0 0 118198 11 0 0 20 0 1 0 2154407 982245376 158586 33554432000 4194304 6201397 140734907148384 140734907147512 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 2 0 0
/proc/4055/statm: 239806 158586 166 491 0 239305 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 959224

[startup+1242.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 4133
/proc/meminfo: memFree=30902200/32872528 swapFree=170020/176152
[pid=4055] ppid=4052 vsize=959416 CPUtime=1242.08 cores=0,2,4,6
/proc/4055/stat : 4055 (cdcl-cuttingpla) R 4052 4055 1985 0 -1 4202496 12975 0 0 0 124197 11 0 0 20 0 1 0 2154407 982441984 158645 33554432000 4194304 6201397 140734907148384 140734907147512 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 2 0 0
/proc/4055/statm: 239854 158645 166 491 0 239353 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 959416

[startup+1302.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 4134
/proc/meminfo: memFree=30898656/32872528 swapFree=170020/176152
[pid=4055] ppid=4052 vsize=959800 CPUtime=1302.07 cores=0,2,4,6
/proc/4055/stat : 4055 (cdcl-cuttingpla) R 4052 4055 1985 0 -1 4202496 13069 0 0 0 130196 11 0 0 20 0 1 0 2154407 982835200 158739 33554432000 4194304 6201397 140734907148384 140734907147512 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 2 0 0
/proc/4055/statm: 239950 158739 166 491 0 239449 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 959800

[startup+1362.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 4135
/proc/meminfo: memFree=30894172/32872528 swapFree=170020/176152
[pid=4055] ppid=4052 vsize=959832 CPUtime=1362.06 cores=0,2,4,6
/proc/4055/stat : 4055 (cdcl-cuttingpla) R 4052 4055 1985 0 -1 4202496 13159 0 0 0 136195 11 0 0 20 0 1 0 2154407 982867968 159851 33554432000 4194304 6201397 140734907148384 140734907147512 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 2 0 0
/proc/4055/statm: 239958 159851 166 491 0 239457 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 959832

[startup+1422.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 4136
/proc/meminfo: memFree=30863096/32872528 swapFree=170020/176152
[pid=4055] ppid=4052 vsize=959832 CPUtime=1422.06 cores=0,2,4,6
/proc/4055/stat : 4055 (cdcl-cuttingpla) R 4052 4055 1985 0 -1 4202496 13198 0 0 0 142194 12 0 0 20 0 1 0 2154407 982867968 167034 33554432000 4194304 6201397 140734907148384 140734907147512 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 2 0 0
/proc/4055/statm: 239958 167034 166 491 0 239457 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 959832

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 4138
/proc/meminfo: memFree=30860412/32872528 swapFree=170020/176152
[pid=4055] ppid=4052 vsize=959832 CPUtime=1482.04 cores=0,2,4,6
/proc/4055/stat : 4055 (cdcl-cuttingpla) R 4052 4055 1985 0 -1 4202496 13285 0 0 0 148192 12 0 0 20 0 1 0 2154407 982867968 167632 33554432000 4194304 6201397 140734907148384 140734907147512 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 2 0 0
/proc/4055/statm: 239958 167632 166 491 0 239457 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 959832

[startup+1542.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 4139
/proc/meminfo: memFree=30860164/32872528 swapFree=170020/176152
[pid=4055] ppid=4052 vsize=959832 CPUtime=1542.04 cores=0,2,4,6
/proc/4055/stat : 4055 (cdcl-cuttingpla) R 4052 4055 1985 0 -1 4202496 13339 0 0 0 154192 12 0 0 20 0 1 0 2154407 982867968 167686 33554432000 4194304 6201397 140734907148384 140734907147512 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 2 0 0
/proc/4055/statm: 239958 167686 166 491 0 239457 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 959832

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 4143
/proc/meminfo: memFree=30820296/32872528 swapFree=170020/176152
[pid=4055] ppid=4052 vsize=959832 CPUtime=1602.02 cores=0,2,4,6
/proc/4055/stat : 4055 (cdcl-cuttingpla) R 4052 4055 1985 0 -1 4202496 13358 0 0 0 160189 13 0 0 20 0 1 0 2154407 982867968 177414 33554432000 4194304 6201397 140734907148384 140734907147512 4213240 0 0 4096 8388610 0 0 0 17 2 0 0 2 0 0
/proc/4055/statm: 239958 177414 166 491 0 239457 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 959832

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4144
/proc/meminfo: memFree=30819060/32872528 swapFree=170020/176152
[pid=4055] ppid=4052 vsize=959832 CPUtime=1662.01 cores=0,2,4,6
/proc/4055/stat : 4055 (cdcl-cuttingpla) R 4052 4055 1985 0 -1 4202496 13418 0 0 0 166188 13 0 0 20 0 1 0 2154407 982867968 177474 33554432000 4194304 6201397 140734907148384 140734907147512 4213168 0 0 4096 8388610 0 0 0 17 2 0 0 2 0 0
/proc/4055/statm: 239958 177474 166 491 0 239457 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 959832

[startup+1722.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 4145
/proc/meminfo: memFree=30761468/32872528 swapFree=170020/176152
[pid=4055] ppid=4052 vsize=959832 CPUtime=1722 cores=0,2,4,6
/proc/4055/stat : 4055 (cdcl-cuttingpla) R 4052 4055 1985 0 -1 4202496 13447 0 0 0 172186 14 0 0 20 0 1 0 2154407 982867968 192322 33554432000 4194304 6201397 140734907148384 140734907147512 4213261 0 0 4096 8388610 0 0 0 17 2 0 0 2 0 0
/proc/4055/statm: 239958 192322 166 491 0 239457 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 959832

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 4147
/proc/meminfo: memFree=30753336/32872528 swapFree=170020/176152
[pid=4055] ppid=4052 vsize=959832 CPUtime=1781.99 cores=0,2,4,6
/proc/4055/stat : 4055 (cdcl-cuttingpla) R 4052 4055 1985 0 -1 4202496 13464 0 0 0 178185 14 0 0 20 0 1 0 2154407 982867968 192339 33554432000 4194304 6201397 140734907148384 140734907147512 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 2 0 0
/proc/4055/statm: 239958 192339 166 491 0 239457 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 959832



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 4147
/proc/meminfo: memFree=30752664/32872528 swapFree=170020/176152
[pid=4055] ppid=4052 vsize=959832 CPUtime=1800.09 cores=0,2,4,6
/proc/4055/stat : 4055 (cdcl-cuttingpla) R 4052 4055 1985 0 -1 4202496 13464 0 0 0 179995 14 0 0 20 0 1 0 2154407 982867968 192339 33554432000 4194304 6201397 140734907148384 140734907147512 4213186 0 0 4096 8388610 0 0 0 17 2 0 0 2 0 0
/proc/4055/statm: 239958 192339 166 491 0 239457 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 959832

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 4055 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.4
CPU time (s): 1800.1
CPU user time (s): 1799.95
CPU system time (s): 0.148977
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 959832

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.148977
maximum resident set size= 769356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13464
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= 12
involuntary context switches= 1967

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.81866 second user time and 13.112 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-29 22:13:51
IDJOB=4119013
IDBENCH=111557
IDSOLVER=2550
FILE ID=node105/4119013-1467231231
RUNJOBID= node105-1467210315-2001
PBS_JOBID= 19997600
Free space on /tmp= 71736 MiB

SOLVER NAME= cdcl-cuttingplanes OPT linear search 2016-05-01
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern25-25.lin.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119013-1467231231/watcher-4119013-1467231231 -o /tmp/evaluation-result-4119013-1467231231/solver-4119013-1467231231 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1467210315-2001 --watchdog 1960 --input HOME/instance-4119013-1467231231.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= 2a7f032165a45570212a8b02f661ec7a
RANDOM SEED=769605656

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30929704 kB
Buffers:           65464 kB
Cached:           286820 kB
SwapCached:            0 kB
Active:           778872 kB
Inactive:         279552 kB
Active(anon):     708568 kB
Inactive(anon):        4 kB
Active(file):      70304 kB
Inactive(file):   279548 kB
Unevictable:      176152 kB
Mlocked:          170020 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              2724 kB
Writeback:             0 kB
AnonPages:        882348 kB
Mapped:            14584 kB
Shmem:               204 kB
Slab:             577316 kB
SReclaimable:      21604 kB
SUnreclaim:       555712 kB
KernelStack:        1472 kB
PageTables:         5540 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1287808 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    671744 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= 71736 MiB
End job on node105 at 2016-06-29 22:43:51