Trace number 4101184

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.03 1800.3

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-stocfor1.opb
MD5SUMf5fea9f9b3e2808f219e4e92af96aba2
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-40
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -71
Optimality of the best value was proved NO
Number of variables3330
Total number of constraints117
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 constraints117
Minimum length of a constraint30
Maximum length of a constraint240
Number of terms in the objective function 810
Biggest coefficient in the objective function 21201
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 524901
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 524901
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.00	c OPTIONS:
0.00/0.00	c - Resolve (`-resolve-always' or `-resolve-skip'): -resolve-skip
0.00/0.00	c * #variable= 3330 #constraint= 117
3.68/3.70	c #Conflicts:       1000 | #Learnt:        957 | 10.980
3.68/3.70	c total clause space: 6.90675MB
3.68/3.70	c total #watches: 127361
11.29/11.30	c total #propagations: 82752 / total #impl: 17688601 (eff. 0.005)
11.29/11.30	c #Conflicts:       2000 | #Learnt:       1974 | 9.371
11.29/11.30	c total clause space: 18.2382MB
11.29/11.30	c total #watches: 258040
13.39/13.47	c total #propagations: 177923 / total #impl: 58103895 (eff. 0.003)
13.39/13.47	c GC COLLECT
13.39/13.47	c #Conflicts:       3000 | #Learnt:       1994 | 7.535
13.39/13.47	c total clause space: 18.2382MB
13.39/13.47	c total #watches: 244171
22.29/22.32	c total #propagations: 230648 / total #impl: 71404341 (eff. 0.003)
22.29/22.32	c #Conflicts:       4000 | #Learnt:       2994 | 6.483
22.29/22.32	c total clause space: 29.637MB
22.29/22.32	c total #watches: 693094
47.68/47.79	c total #propagations: 306972 / total #impl: 146300301 (eff. 0.002)
47.68/47.79	c GC COLLECT
47.68/47.79	c #Conflicts:       5000 | #Learnt:       2405 | 6.847
47.68/47.79	c total clause space: 29.637MB
47.68/47.79	c total #watches: 688497
61.28/61.32	c total #propagations: 373725 / total #impl: 250227132 (eff. 0.001)
61.28/61.32	c #Conflicts:       6000 | #Learnt:       3403 | 5.768
61.28/61.32	c total clause space: 29.637MB
61.28/61.32	c total #watches: 727826
74.08/74.14	c total #propagations: 544996 / total #impl: 306012154 (eff. 0.002)
74.08/74.14	c GC COLLECT
74.08/74.14	c #Conflicts:       7000 | #Learnt:       2305 | 4.956
74.08/74.14	c total clause space: 48.1602MB
74.08/74.14	c total #watches: 286680
74.57/74.63	c total #propagations: 612919 / total #impl: 381096699 (eff. 0.002)
74.57/74.63	c #Conflicts:       8000 | #Learnt:       3305 | 4.336
74.57/74.63	c total clause space: 48.1602MB
74.57/74.63	c total #watches: 314756
87.37/87.42	c total #propagations: 673241 / total #impl: 383679075 (eff. 0.002)
87.37/87.42	c #Conflicts:       9000 | #Learnt:       4302 | 4.738
87.37/87.42	c total clause space: 48.1602MB
87.37/87.42	c total #watches: 523576
96.37/96.46	c total #propagations: 740267 / total #impl: 437986798 (eff. 0.002)
96.37/96.46	c GC COLLECT
96.37/96.46	c #Conflicts:      10000 | #Learnt:       2820 | 4.461
96.37/96.46	c total clause space: 48.1602MB
96.37/96.46	c total #watches: 456626
102.07/102.16	c total #propagations: 778015 / total #impl: 475837215 (eff. 0.002)
102.07/102.16	c #Conflicts:      11000 | #Learnt:       3820 | 4.154
102.07/102.16	c total clause space: 48.1602MB
102.07/102.16	c total #watches: 580424
120.57/120.67	c total #propagations: 813682 / total #impl: 501220561 (eff. 0.002)
120.57/120.67	c #Conflicts:      12000 | #Learnt:       4820 | 4.409
120.57/120.67	c total clause space: 48.1602MB
120.57/120.67	c total #watches: 679359
144.57/144.62	c total #propagations: 851363 / total #impl: 567695933 (eff. 0.001)
144.57/144.62	c #Conflicts:      13000 | #Learnt:       5817 | 4.411
144.57/144.62	c total clause space: 48.1602MB
144.57/144.62	c total #watches: 913855
154.47/154.51	c total #propagations: 915502 / total #impl: 636460432 (eff. 0.001)
154.47/154.51	c GC COLLECT
154.47/154.51	c #Conflicts:      14000 | #Learnt:       3975 | 4.197
154.47/154.51	c total clause space: 48.1602MB
154.47/154.51	c total #watches: 737182
175.36/175.41	c total #propagations: 995685 / total #impl: 667373226 (eff. 0.001)
175.36/175.41	c #Conflicts:      15000 | #Learnt:       4974 | 3.966
175.36/175.41	c total clause space: 48.1602MB
175.36/175.41	c total #watches: 1091329
203.86/203.92	c total #propagations: 1078421 / total #impl: 755150603 (eff. 0.001)
203.86/203.92	c #Conflicts:      16000 | #Learnt:       5974 | 3.719
203.86/203.92	c total clause space: 78.2603MB
203.86/203.92	c total #watches: 1397987
219.26/219.36	c total #propagations: 1180157 / total #impl: 920308986 (eff. 0.001)
219.26/219.36	c GC COLLECT
219.26/219.36	c #Conflicts:      17000 | #Learnt:       3801 | 3.502
219.26/219.36	c total clause space: 78.2603MB
219.26/219.36	c total #watches: 1042518
262.45/262.52	c total #propagations: 1370822 / total #impl: 1008508345 (eff. 0.001)
262.45/262.52	c #Conflicts:      18000 | #Learnt:       4809 | 3.679
262.45/262.52	c total clause space: 78.2603MB
262.45/262.52	c total #watches: 1221192
284.54/284.67	c total #propagations: 1429425 / total #impl: 1103272541 (eff. 0.001)
284.54/284.67	c #Conflicts:      19000 | #Learnt:       5811 | 3.513
284.54/284.67	c total clause space: 78.2603MB
284.54/284.67	c total #watches: 1300097
330.73/330.80	c total #propagations: 1476764 / total #impl: 1169790682 (eff. 0.001)
330.73/330.80	c #Conflicts:      20000 | #Learnt:       6814 | 3.412
330.73/330.80	c total clause space: 78.2603MB
330.73/330.80	c total #watches: 1562064
345.93/346.05	c total #propagations: 1535559 / total #impl: 1245433188 (eff. 0.001)
345.93/346.05	c GC COLLECT
345.93/346.05	c #Conflicts:      21000 | #Learnt:       4324 | 3.263
345.93/346.05	c total clause space: 78.2603MB
345.93/346.05	c total #watches: 657280
356.23/356.37	c total #propagations: 1620946 / total #impl: 1253337066 (eff. 0.001)
356.23/356.37	c #Conflicts:      22000 | #Learnt:       5324 | 3.195
356.23/356.37	c total clause space: 78.2603MB
356.23/356.37	c total #watches: 763572
379.13/379.22	c total #propagations: 1695949 / total #impl: 1267737061 (eff. 0.001)
379.13/379.22	c #Conflicts:      23000 | #Learnt:       6321 | 3.218
379.13/379.22	c total clause space: 78.2603MB
379.13/379.22	c total #watches: 1034124
406.82/406.90	c total #propagations: 1768785 / total #impl: 1332586817 (eff. 0.001)
406.82/406.90	c #Conflicts:      24000 | #Learnt:       7321 | 3.238
406.82/406.90	c total clause space: 78.2603MB
406.82/406.90	c total #watches: 1182722
435.43/435.55	c total #propagations: 1822911 / total #impl: 1385021676 (eff. 0.001)
435.43/435.55	c GC COLLECT
435.43/435.55	c #Conflicts:      25000 | #Learnt:       4550 | 3.256
435.43/435.55	c total clause space: 78.2603MB
435.43/435.55	c total #watches: 951021
450.82/450.92	c total #propagations: 1893733 / total #impl: 1491470369 (eff. 0.001)
450.82/450.92	c #Conflicts:      26000 | #Learnt:       5550 | 3.191
450.82/450.92	c total clause space: 78.2603MB
450.82/450.92	c total #watches: 1186643
457.12/457.21	c total #propagations: 1932553 / total #impl: 1537466354 (eff. 0.001)
457.12/457.21	c #Conflicts:      27000 | #Learnt:       6550 | 3.078
457.12/457.21	c total clause space: 78.2603MB
457.12/457.21	c total #watches: 1420607
499.21/499.34	c total #propagations: 1974741 / total #impl: 1571512454 (eff. 0.001)
499.21/499.34	c #Conflicts:      28000 | #Learnt:       7550 | 2.994
499.21/499.34	c total clause space: 78.2603MB
499.21/499.34	c total #watches: 1665738
622.70/622.89	c total #propagations: 2075235 / total #impl: 1674525768 (eff. 0.001)
622.70/622.89	c GC COLLECT
622.70/622.89	c #Conflicts:      29000 | #Learnt:       4450 | 2.923
622.70/622.89	c total clause space: 78.2603MB
622.70/622.89	c total #watches: 1121179
673.59/673.76	c total #propagations: 2235709 / total #impl: 1859164628 (eff. 0.001)
673.59/673.76	c #Conflicts:      30000 | #Learnt:       5463 | 3.085
673.59/673.76	c total clause space: 78.2603MB
673.59/673.76	c total #watches: 1255210
737.48/737.66	c total #propagations: 2291932 / total #impl: 1951499036 (eff. 0.001)
737.48/737.66	c #Conflicts:      31000 | #Learnt:       6462 | 3.084
737.48/737.66	c total clause space: 78.2603MB
737.48/737.66	c total #watches: 1392486
773.87/774.06	c total #propagations: 2391466 / total #impl: 2047542860 (eff. 0.001)
773.87/774.06	c #Conflicts:      32000 | #Learnt:       7461 | 3.058
773.87/774.06	c total clause space: 78.2603MB
773.87/774.06	c total #watches: 1608880
820.87/821.02	c total #propagations: 2491697 / total #impl: 2131215759 (eff. 0.001)
820.87/821.02	c #Conflicts:      33000 | #Learnt:       8461 | 3.045
820.87/821.02	c total clause space: 78.2603MB
820.87/821.02	c total #watches: 1750744
832.36/832.57	c total #propagations: 2556680 / total #impl: 2216140496 (eff. 0.001)
832.36/832.57	c GC COLLECT
832.36/832.57	c #Conflicts:      34000 | #Learnt:       5071 | 3.016
832.36/832.57	c total clause space: 78.2603MB
832.36/832.57	c total #watches: 909629
840.66/840.89	c total #propagations: 2585208 / total #impl: 2267576360 (eff. 0.001)
840.66/840.89	c #Conflicts:      35000 | #Learnt:       6071 | 2.951
840.66/840.89	c total clause space: 78.2603MB
840.66/840.89	c total #watches: 1163698
851.06/851.28	c total #propagations: 2638195 / total #impl: 2304284530 (eff. 0.001)
851.06/851.28	c #Conflicts:      36000 | #Learnt:       7071 | 2.869
851.06/851.28	c total clause space: 78.2603MB
851.06/851.28	c total #watches: 1495391
859.26/859.45	c total #propagations: 2699062 / total #impl: 2341882178 (eff. 0.001)
859.26/859.45	c #Conflicts:      37000 | #Learnt:       8071 | 2.792
859.26/859.45	c total clause space: 78.2603MB
859.26/859.45	c total #watches: 1781907
868.36/868.54	c total #propagations: 2744582 / total #impl: 2371547408 (eff. 0.001)
868.36/868.54	c #Conflicts:      38000 | #Learnt:       9071 | 2.718
868.36/868.54	c total clause space: 127.173MB
868.36/868.54	c total #watches: 2081620
885.95/886.17	c total #propagations: 2792224 / total #impl: 2409933546 (eff. 0.001)
885.95/886.17	c GC COLLECT
885.95/886.17	c #Conflicts:      39000 | #Learnt:       5405 | 2.649
885.95/886.17	c total clause space: 127.173MB
885.95/886.17	c total #watches: 1559123
901.45/901.69	c total #propagations: 2880421 / total #impl: 2489987588 (eff. 0.001)
901.45/901.69	c #Conflicts:      40000 | #Learnt:       6405 | 2.583
901.45/901.69	c total clause space: 127.173MB
901.45/901.69	c total #watches: 1868964
921.54/921.72	c total #propagations: 2986094 / total #impl: 2565925604 (eff. 0.001)
921.54/921.72	c #Conflicts:      41000 | #Learnt:       7405 | 2.520
921.54/921.72	c total clause space: 127.173MB
921.54/921.72	c total #watches: 2208846
947.95/948.11	c total #propagations: 3109556 / total #impl: 2668778035 (eff. 0.001)
947.95/948.11	c #Conflicts:      42000 | #Learnt:       8405 | 2.461
947.95/948.11	c total clause space: 127.173MB
947.95/948.11	c total #watches: 2525481
985.63/985.86	c total #propagations: 3248726 / total #impl: 2819208172 (eff. 0.001)
985.63/985.86	c #Conflicts:      43000 | #Learnt:       9405 | 2.404
985.63/985.86	c total clause space: 127.173MB
985.63/985.86	c total #watches: 2841587
1009.44/1009.69	c total #propagations: 3394585 / total #impl: 3058958955 (eff. 0.001)
1009.44/1009.69	c GC COLLECT
1009.44/1009.69	c #Conflicts:      44000 | #Learnt:       5444 | 2.349
1009.44/1009.69	c total clause space: 127.173MB
1009.44/1009.69	c total #watches: 1746110
1017.84/1018.08	c total #propagations: 3540808 / total #impl: 3211864013 (eff. 0.001)
1017.84/1018.08	c #Conflicts:      45000 | #Learnt:       6444 | 2.297
1017.84/1018.08	c total clause space: 127.173MB
1017.84/1018.08	c total #watches: 2091569
1068.23/1068.48	c total #propagations: 3641321 / total #impl: 3273757543 (eff. 0.001)
1068.23/1068.48	c #Conflicts:      46000 | #Learnt:       7444 | 2.279
1068.23/1068.48	c total clause space: 127.173MB
1068.23/1068.48	c total #watches: 2368006
1156.31/1156.59	c total #propagations: 3764181 / total #impl: 3469625887 (eff. 0.001)
1156.31/1156.59	c #Conflicts:      47000 | #Learnt:       8444 | 2.244
1156.31/1156.59	c total clause space: 127.173MB
1156.31/1156.59	c total #watches: 2596763
1212.11/1212.32	c total #propagations: 3890725 / total #impl: 3782458327 (eff. 0.001)
1212.11/1212.32	c #Conflicts:      48000 | #Learnt:       9444 | 2.222
1212.11/1212.32	c total clause space: 127.173MB
1212.11/1212.32	c total #watches: 2799037
1455.17/1455.47	c total #propagations: 3958758 / total #impl: 3869273319 (eff. 0.001)
1455.17/1455.47	c #Conflicts:      49000 | #Learnt:      10443 | 2.232
1455.17/1455.47	c total clause space: 127.173MB
1455.17/1455.47	c total #watches: 3168531
1494.26/1494.56	c total #propagations: 4028816 / total #impl: 4180679141 (eff. 0.001)
1494.26/1494.56	c GC COLLECT
1494.26/1494.56	c #Conflicts:      50000 | #Learnt:       6130 | 2.191
1494.26/1494.56	c total clause space: 127.173MB
1494.26/1494.56	c total #watches: 1706183
1519.96/1520.28	c total #propagations: 4088353 / total #impl: 4240292646 (eff. 0.001)
1519.96/1520.28	c #Conflicts:      51000 | #Learnt:       7130 | 2.153
1519.96/1520.28	c total clause space: 127.173MB
1519.96/1520.28	c total #watches: 1856257
1549.35/1549.65	c total #propagations: 4280368 / total #impl: 4282475625 (eff. 0.001)
1549.35/1549.65	c #Conflicts:      52000 | #Learnt:       8130 | 2.120
1549.35/1549.65	c total clause space: 127.173MB
1549.35/1549.65	c total #watches: 2029608
1566.95/1567.25	c total #propagations: 4373160 / total #impl: 4358296690 (eff. 0.001)
1566.95/1567.25	c #Conflicts:      53000 | #Learnt:       9130 | 2.086
1566.95/1567.25	c total clause space: 127.173MB
1566.95/1567.25	c total #watches: 2039239
1616.85/1617.11	c total #propagations: 4399563 / total #impl: 4387242864 (eff. 0.001)
1616.85/1617.11	c #Conflicts:      54000 | #Learnt:      10129 | 2.082
1616.85/1617.11	c total clause space: 127.173MB
1616.85/1617.11	c total #watches: 2158949
1678.23/1678.60	c total #propagations: 4486514 / total #impl: 4429135144 (eff. 0.001)
1678.23/1678.60	c #Conflicts:      55000 | #Learnt:      11128 | 2.065
1678.23/1678.60	c total clause space: 127.173MB
1678.23/1678.60	c total #watches: 2360800
1696.33/1696.65	c total #propagations: 4583607 / total #impl: 4489493636 (eff. 0.001)
1696.33/1696.65	c GC COLLECT
1696.33/1696.65	c #Conflicts:      56000 | #Learnt:       6511 | 2.065
1696.33/1696.65	c total clause space: 127.173MB
1696.33/1696.65	c total #watches: 1123238
1720.93/1721.29	c total #propagations: 4699529 / total #impl: 4537256109 (eff. 0.001)
1720.93/1721.29	c #Conflicts:      57000 | #Learnt:       7510 | 2.042
1720.93/1721.29	c total clause space: 127.173MB
1720.93/1721.29	c total #watches: 1349183
1750.62/1750.90	c total #propagations: 4768410 / total #impl: 4596110815 (eff. 0.001)
1750.62/1750.90	c #Conflicts:      58000 | #Learnt:       8510 | 2.075
1750.62/1750.90	c total clause space: 127.173MB
1750.62/1750.90	c total #watches: 1588213
1788.02/1788.33	c total #propagations: 4824706 / total #impl: 4655874362 (eff. 0.001)
1788.02/1788.33	c #Conflicts:      59000 | #Learnt:       9510 | 2.055
1788.02/1788.33	c total clause space: 127.173MB
1788.02/1788.33	c total #watches: 1864677

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-4101184-1466247834/watcher-4101184-1466247834 -o /tmp/evaluation-result-4101184-1466247834/solver-4101184-1466247834 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1466229594-24205 --watchdog 1960 --input HOME/instance-4101184-1466247834.opb ./cdcl-cuttingplanes-opt-linearsearch-release 

pid=26335
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.21 2.18 2/176 26338
/proc/meminfo: memFree=29531104/32872528 swapFree=1534436/1655032
[pid=26338] ppid=26335 vsize=29112 CPUtime=0 cores=1,3,5,7
/proc/26338/stat : 26338 (cdcl-cuttingpla) R 26335 26338 24188 0 -1 4202496 277 0 0 0 0 0 0 0 20 0 1 0 26831807 29810688 5268 33554432000 4194304 6201397 140734217326048 140733391053384 4211064 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/26338/statm: 7278 5268 130 491 0 6777 0

[startup+0.100167 s]
/proc/loadavg: 2.18 2.21 2.18 2/176 26338
/proc/meminfo: memFree=29531104/32872528 swapFree=1534436/1655032
[pid=26338] ppid=26335 vsize=33868 CPUtime=0.09 cores=1,3,5,7
/proc/26338/stat : 26338 (cdcl-cuttingpla) R 26335 26338 24188 0 -1 4202496 795 0 0 0 9 0 0 0 20 0 1 0 26831807 34680832 6647 33554432000 4194304 6201397 140734217326048 140733391053384 4213257 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/26338/statm: 8467 6647 145 491 0 7966 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33868

[startup+0.200374 s]
/proc/loadavg: 2.18 2.21 2.18 2/176 26338
/proc/meminfo: memFree=29531104/32872528 swapFree=1534436/1655032
[pid=26338] ppid=26335 vsize=34348 CPUtime=0.19 cores=1,3,5,7
/proc/26338/stat : 26338 (cdcl-cuttingpla) R 26335 26338 24188 0 -1 4202496 1082 0 0 0 19 0 0 0 20 0 1 0 26831807 35172352 7382 33554432000 4194304 6201397 140734217326048 140733391053384 4213257 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/26338/statm: 8587 7382 145 491 0 8086 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 34348

[startup+0.300258 s]
/proc/loadavg: 2.18 2.21 2.18 2/176 26338
/proc/meminfo: memFree=29531104/32872528 swapFree=1534436/1655032
[pid=26338] ppid=26335 vsize=37560 CPUtime=0.29 cores=1,3,5,7
/proc/26338/stat : 26338 (cdcl-cuttingpla) R 26335 26338 24188 0 -1 4202496 1348 0 0 0 29 0 0 0 20 0 1 0 26831807 38461440 7591 33554432000 4194304 6201397 140734217326048 140733391053384 4213186 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/26338/statm: 9390 7591 146 491 0 8889 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37560

[startup+0.700186 s]
/proc/loadavg: 2.18 2.21 2.18 2/176 26338
/proc/meminfo: memFree=29531104/32872528 swapFree=1534436/1655032
[pid=26338] ppid=26335 vsize=37692 CPUtime=0.69 cores=1,3,5,7
/proc/26338/stat : 26338 (cdcl-cuttingpla) R 26335 26338 24188 0 -1 4202496 1592 0 0 0 69 0 0 0 20 0 1 0 26831807 38596608 7754 33554432000 4194304 6201397 140734217326048 140734217324712 4213348 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/26338/statm: 9423 7754 146 491 0 8922 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37692

[startup+1.50021 s]
/proc/loadavg: 2.17 2.21 2.18 4/177 26339
/proc/meminfo: memFree=29497788/32872528 swapFree=1534436/1655032
[pid=26338] ppid=26335 vsize=37824 CPUtime=1.48 cores=1,3,5,7
/proc/26338/stat : 26338 (cdcl-cuttingpla) R 26335 26338 24188 0 -1 4202496 1771 0 0 0 148 0 0 0 20 0 1 0 26831807 38731776 7872 33554432000 4194304 6201397 140734217326048 140734217324712 4213328 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/26338/statm: 9456 7872 146 491 0 8955 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 37824

[startup+3.10029 s]
/proc/loadavg: 2.17 2.21 2.18 4/177 26339
/proc/meminfo: memFree=29492328/32872528 swapFree=1534436/1655032
[pid=26338] ppid=26335 vsize=37956 CPUtime=3.08 cores=1,3,5,7
/proc/26338/stat : 26338 (cdcl-cuttingpla) R 26335 26338 24188 0 -1 4202496 1988 0 0 0 308 0 0 0 20 0 1 0 26831807 38866944 8028 33554432000 4194304 6201397 140734217326048 140734217324760 4213328 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/26338/statm: 9489 8028 146 491 0 8988 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 37956

[startup+6.3003 s]
/proc/loadavg: 2.17 2.21 2.18 4/177 26339
/proc/meminfo: memFree=29482352/32872528 swapFree=1534436/1655032
[pid=26338] ppid=26335 vsize=43268 CPUtime=6.29 cores=1,3,5,7
/proc/26338/stat : 26338 (cdcl-cuttingpla) R 26335 26338 24188 0 -1 4202496 2882 0 0 0 628 1 0 0 20 0 1 0 26831807 44306432 9143 33554432000 4194304 6201397 140734217326048 140734217324680 4213365 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/26338/statm: 10817 9143 159 491 0 10316 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 43268

[startup+12.7002 s]
/proc/loadavg: 2.22 2.22 2.18 3/177 26339
/proc/meminfo: memFree=29466928/32872528 swapFree=1534436/1655032
[pid=26338] ppid=26335 vsize=51500 CPUtime=12.69 cores=1,3,5,7
/proc/26338/stat : 26338 (cdcl-cuttingpla) R 26335 26338 24188 0 -1 4202496 4185 0 0 0 1268 1 0 0 20 0 1 0 26831807 52736000 10034 33554432000 4194304 6201397 140734217326048 140734217325176 4213367 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/26338/statm: 12875 10034 165 491 0 12374 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 51500

[startup+25.5003 s]
/proc/loadavg: 2.18 2.21 2.18 3/177 26339
/proc/meminfo: memFree=29414936/32872528 swapFree=1534436/1655032
[pid=26338] ppid=26335 vsize=69824 CPUtime=25.49 cores=1,3,5,7
/proc/26338/stat : 26338 (cdcl-cuttingpla) R 26335 26338 24188 0 -1 4202496 6283 0 0 0 2547 2 0 0 20 0 1 0 26831807 71499776 15041 33554432000 4194304 6201397 140734217326048 140734217324760 4213365 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/26338/statm: 17456 15041 165 491 0 16955 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 69824

[startup+51.1004 s]
/proc/loadavg: 2.26 2.22 2.19 4/177 26339
/proc/meminfo: memFree=29395912/32872528 swapFree=1534436/1655032
[pid=26338] ppid=26335 vsize=70232 CPUtime=51.08 cores=1,3,5,7
/proc/26338/stat : 26338 (cdcl-cuttingpla) R 26335 26338 24188 0 -1 4202496 7027 0 0 0 5106 2 0 0 20 0 1 0 26831807 71917568 15977 33554432000 4194304 6201397 140734217326048 140734217324712 4213253 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/26338/statm: 17558 15977 165 491 0 17057 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 70232

[startup+102.3 s]
/proc/loadavg: 2.18 2.20 2.18 3/176 26340
/proc/meminfo: memFree=29372396/32872528 swapFree=1534436/1655032
[pid=26338] ppid=26335 vsize=93096 CPUtime=102.28 cores=1,3,5,7
/proc/26338/stat : 26338 (cdcl-cuttingpla) R 26335 26338 24188 0 -1 4202496 8883 0 0 0 10226 2 0 0 20 0 1 0 26831807 95330304 17972 33554432000 4194304 6201397 140734217326048 140734217324712 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/26338/statm: 23274 17972 165 491 0 22773 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 93096

[startup+162.3 s]
/proc/loadavg: 2.22 2.21 2.18 3/177 26342
/proc/meminfo: memFree=29342084/32872528 swapFree=1534436/1655032
[pid=26338] ppid=26335 vsize=98920 CPUtime=162.27 cores=1,3,5,7
/proc/26338/stat : 26338 (cdcl-cuttingpla) R 26335 26338 24188 0 -1 4202496 10268 0 0 0 16224 3 0 0 20 0 1 0 26831807 101294080 20889 33554432000 4194304 6201397 140734217326048 140734217324712 4213365 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/26338/statm: 24730 20889 165 491 0 24229 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 98920

[startup+222.307 s]
/proc/loadavg: 2.35 2.24 2.19 3/177 26343
/proc/meminfo: memFree=29249652/32872528 swapFree=1534436/1655032
[pid=26338] ppid=26335 vsize=135584 CPUtime=222.26 cores=1,3,5,7
/proc/26338/stat : 26338 (cdcl-cuttingpla) R 26335 26338 24188 0 -1 4202496 12228 0 0 0 22222 4 0 0 20 0 1 0 26831807 138838016 27580 33554432000 4194304 6201397 140734217326048 140734217325176 4213253 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/26338/statm: 33896 27580 165 491 0 33395 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 135584

[startup+282.3 s]
/proc/loadavg: 2.23 2.23 2.18 3/177 26344
/proc/meminfo: memFree=29238416/32872528 swapFree=1534436/1655032
[pid=26338] ppid=26335 vsize=136544 CPUtime=282.24 cores=1,3,5,7
/proc/26338/stat : 26338 (cdcl-cuttingpla) R 26335 26338 24188 0 -1 4202496 12615 0 0 0 28220 4 0 0 20 0 1 0 26831807 139821056 27964 33554432000 4194304 6201397 140734217326048 140734217324712 4213328 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/26338/statm: 34136 27964 165 491 0 33635 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 136544

[startup+342.3 s]
/proc/loadavg: 2.14 2.20 2.18 3/177 26345
/proc/meminfo: memFree=29217620/32872528 swapFree=1534436/1655032
[pid=26338] ppid=26335 vsize=137184 CPUtime=342.23 cores=1,3,5,7
/proc/26338/stat : 26338 (cdcl-cuttingpla) R 26335 26338 24188 0 -1 4202496 12817 0 0 0 34219 4 0 0 20 0 1 0 26831807 140476416 29699 33554432000 4194304 6201397 140734217326048 140734217325176 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/26338/statm: 34296 29699 165 491 0 33795 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 137184

[startup+402.3 s]
/proc/loadavg: 2.27 2.22 2.19 4/178 26349
/proc/meminfo: memFree=29212304/32872528 swapFree=1534436/1655032
[pid=26338] ppid=26335 vsize=137904 CPUtime=402.22 cores=1,3,5,7
/proc/26338/stat : 26338 (cdcl-cuttingpla) R 26335 26338 24188 0 -1 4202496 13011 0 0 0 40218 4 0 0 20 0 1 0 26831807 141213696 29893 33554432000 4194304 6201397 140734217326048 140734217324712 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/26338/statm: 34476 29893 165 491 0 33975 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 137904

[startup+462.3 s]
/proc/loadavg: 2.35 2.25 2.19 4/177 26351
/proc/meminfo: memFree=29199924/32872528 swapFree=1534436/1655032
[pid=26338] ppid=26335 vsize=141924 CPUtime=462.22 cores=1,3,5,7
/proc/26338/stat : 26338 (cdcl-cuttingpla) R 26335 26338 24188 0 -1 4202496 13886 0 0 0 46217 5 0 0 20 0 1 0 26831807 145330176 30768 33554432000 4194304 6201397 140734217326048 140734217324712 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/26338/statm: 35481 30768 165 491 0 34980 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 141924

[startup+522.3 s]
/proc/loadavg: 2.25 2.24 2.19 3/177 26352
/proc/meminfo: memFree=29188240/32872528 swapFree=1534436/1655032
[pid=26338] ppid=26335 vsize=144324 CPUtime=522.21 cores=1,3,5,7
/proc/26338/stat : 26338 (cdcl-cuttingpla) R 26335 26338 24188 0 -1 4202496 14357 0 0 0 52216 5 0 0 20 0 1 0 26831807 147787776 32261 33554432000 4194304 6201397 140734217326048 140734217324712 4213257 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/26338/statm: 36081 32261 165 491 0 35580 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 144324

[startup+582.3 s]
/proc/loadavg: 2.37 2.27 2.20 4/177 26353
/proc/meminfo: memFree=29147040/32872528 swapFree=1534436/1655032
[pid=26338] ppid=26335 vsize=144324 CPUtime=582.2 cores=1,3,5,7
/proc/26338/stat : 26338 (cdcl-cuttingpla) R 26335 26338 24188 0 -1 4202496 14378 0 0 0 58214 6 0 0 20 0 1 0 26831807 147787776 33435 33554432000 4194304 6201397 140734217326048 140734217324712 4213348 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/26338/statm: 36081 33435 165 491 0 35580 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 144324


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


[startup+942.3 s]
/proc/loadavg: 2.31 2.25 2.19 3/177 26360
/proc/meminfo: memFree=28976944/32872528 swapFree=1534436/1655032
[pid=26338] ppid=26335 vsize=212852 CPUtime=942.15 cores=1,3,5,7
/proc/26338/stat : 26338 (cdcl-cuttingpla) R 26335 26338 24188 0 -1 4202496 18764 0 0 0 94207 8 0 0 20 0 1 0 26831807 217960448 42033 33554432000 4194304 6201397 140734217326048 140734217324760 4213365 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/26338/statm: 53213 42033 165 491 0 52712 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 212852

[startup+1002.3 s]
/proc/loadavg: 2.22 2.23 2.18 3/178 26364
/proc/meminfo: memFree=28898380/32872528 swapFree=1534436/1655032
[pid=26338] ppid=26335 vsize=213236 CPUtime=1002.14 cores=1,3,5,7
/proc/26338/stat : 26338 (cdcl-cuttingpla) R 26335 26338 24188 0 -1 4202496 19484 0 0 0 100205 9 0 0 20 0 1 0 26831807 218353664 48885 33554432000 4194304 6201397 140734217326048 140734217324760 4213249 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/26338/statm: 53309 48885 165 491 0 52808 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 213236

[startup+1062.3 s]
/proc/loadavg: 2.25 2.24 2.19 3/177 26366
/proc/meminfo: memFree=28810640/32872528 swapFree=1534436/1655032
[pid=26338] ppid=26335 vsize=213812 CPUtime=1062.13 cores=1,3,5,7
/proc/26338/stat : 26338 (cdcl-cuttingpla) R 26335 26338 24188 0 -1 4202496 19689 0 0 0 106204 9 0 0 20 0 1 0 26831807 218943488 49599 33554432000 4194304 6201397 140734217326048 140734217325176 4213361 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/26338/statm: 53453 49599 165 491 0 52952 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 213812

[startup+1122.3 s]
/proc/loadavg: 2.18 2.23 2.18 3/177 26412
/proc/meminfo: memFree=29874412/32872528 swapFree=1534436/1655032
[pid=26338] ppid=26335 vsize=213812 CPUtime=1122.12 cores=1,3,5,7
/proc/26338/stat : 26338 (cdcl-cuttingpla) R 26335 26338 24188 0 -1 4202496 19705 0 0 0 112203 9 0 0 20 0 1 0 26831807 218943488 49615 33554432000 4194304 6201397 140734217326048 140734217325176 4213110 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/26338/statm: 53453 49615 165 491 0 52952 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 213812

[startup+1182.3 s]
/proc/loadavg: 2.38 2.27 2.20 3/177 26413
/proc/meminfo: memFree=29859796/32872528 swapFree=1534436/1655032
[pid=26338] ppid=26335 vsize=214004 CPUtime=1182.11 cores=1,3,5,7
/proc/26338/stat : 26338 (cdcl-cuttingpla) R 26335 26338 24188 0 -1 4202496 19746 0 0 0 118202 9 0 0 20 0 1 0 26831807 219140096 49656 33554432000 4194304 6201397 140734217326048 140734217325176 4213268 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/26338/statm: 53501 49656 165 491 0 53000 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 214004

[startup+1242.3 s]
/proc/loadavg: 2.41 2.30 2.21 3/177 26414
/proc/meminfo: memFree=29833348/32872528 swapFree=1534436/1655032
[pid=26338] ppid=26335 vsize=214004 CPUtime=1242.1 cores=1,3,5,7
/proc/26338/stat : 26338 (cdcl-cuttingpla) R 26335 26338 24188 0 -1 4202496 19766 0 0 0 124201 9 0 0 20 0 1 0 26831807 219140096 49676 33554432000 4194304 6201397 140734217326048 140734217325176 4213249 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/26338/statm: 53501 49676 165 491 0 53000 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 214004

[startup+1302.3 s]
/proc/loadavg: 2.36 2.31 2.21 3/177 26415
/proc/meminfo: memFree=29807432/32872528 swapFree=1534436/1655032
[pid=26338] ppid=26335 vsize=214196 CPUtime=1302.09 cores=1,3,5,7
/proc/26338/stat : 26338 (cdcl-cuttingpla) R 26335 26338 24188 0 -1 4202496 19781 0 0 0 130200 9 0 0 20 0 1 0 26831807 219336704 49691 33554432000 4194304 6201397 140734217326048 140734217324712 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/26338/statm: 53549 49691 165 491 0 53048 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 214196

[startup+1362.3 s]
/proc/loadavg: 2.43 2.34 2.23 4/177 26417
/proc/meminfo: memFree=29805032/32872528 swapFree=1534436/1655032
[pid=26338] ppid=26335 vsize=214196 CPUtime=1362.08 cores=1,3,5,7
/proc/26338/stat : 26338 (cdcl-cuttingpla) R 26335 26338 24188 0 -1 4202496 19782 0 0 0 136199 9 0 0 20 0 1 0 26831807 219336704 50203 33554432000 4194304 6201397 140734217326048 140734217324712 4213365 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/26338/statm: 53549 50203 165 491 0 53048 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 214196

[startup+1422.3 s]
/proc/loadavg: 2.25 2.31 2.22 3/177 26418
/proc/meminfo: memFree=29802344/32872528 swapFree=1534436/1655032
[pid=26338] ppid=26335 vsize=214196 CPUtime=1422.08 cores=1,3,5,7
/proc/26338/stat : 26338 (cdcl-cuttingpla) R 26335 26338 24188 0 -1 4202496 19805 0 0 0 142199 9 0 0 20 0 1 0 26831807 219336704 50737 33554432000 4194304 6201397 140734217326048 140734217324712 4213249 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/26338/statm: 53549 50737 165 491 0 53048 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 214196

[startup+1482.3 s]
/proc/loadavg: 2.36 2.32 2.23 3/177 26419
/proc/meminfo: memFree=29797092/32872528 swapFree=1534436/1655032
[pid=26338] ppid=26335 vsize=214520 CPUtime=1482.06 cores=1,3,5,7
/proc/26338/stat : 26338 (cdcl-cuttingpla) R 26335 26338 24188 0 -1 4202496 20080 0 0 0 148197 9 0 0 20 0 1 0 26831807 219668480 51928 33554432000 4194304 6201397 140734217326048 140734217325176 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/26338/statm: 53630 51928 165 491 0 53129 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 214520

[startup+1542.31 s]
/proc/loadavg: 2.53 2.37 2.25 3/177 26420
/proc/meminfo: memFree=29794380/32872528 swapFree=1534436/1655032
[pid=26338] ppid=26335 vsize=214520 CPUtime=1542.06 cores=1,3,5,7
/proc/26338/stat : 26338 (cdcl-cuttingpla) R 26335 26338 24188 0 -1 4202496 20104 0 0 0 154197 9 0 0 20 0 1 0 26831807 219668480 51952 33554432000 4194304 6201397 140734217326048 140734217325176 4213253 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/26338/statm: 53630 51952 165 491 0 53129 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 214520

[startup+1602.3 s]
/proc/loadavg: 2.39 2.35 2.25 4/178 26424
/proc/meminfo: memFree=29791272/32872528 swapFree=1534432/1655028
[pid=26338] ppid=26335 vsize=214520 CPUtime=1602.04 cores=1,3,5,7
/proc/26338/stat : 26338 (cdcl-cuttingpla) R 26335 26338 24188 0 -1 4202496 20105 0 0 0 160195 9 0 0 20 0 1 0 26831807 219668480 51953 33554432000 4194304 6201397 140734217326048 140734217325176 4213268 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/26338/statm: 53630 51953 165 491 0 53129 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 214520

[startup+1662.3 s]
/proc/loadavg: 2.39 2.36 2.26 3/177 26426
/proc/meminfo: memFree=29790268/32872528 swapFree=1534436/1655032
[pid=26338] ppid=26335 vsize=215160 CPUtime=1662.04 cores=1,3,5,7
/proc/26338/stat : 26338 (cdcl-cuttingpla) R 26335 26338 24188 0 -1 4202496 20207 0 0 0 166195 9 0 0 20 0 1 0 26831807 220323840 52173 33554432000 4194304 6201397 140734217326048 140734217324712 4213257 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/26338/statm: 53790 52173 165 491 0 53289 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 215160

[startup+1722.3 s]
/proc/loadavg: 2.31 2.34 2.26 4/176 26427
/proc/meminfo: memFree=29786884/32872528 swapFree=1534436/1655032
[pid=26338] ppid=26335 vsize=215800 CPUtime=1722.03 cores=1,3,5,7
/proc/26338/stat : 26338 (cdcl-cuttingpla) R 26335 26338 24188 0 -1 4202496 20300 0 0 0 172194 9 0 0 20 0 1 0 26831807 220979200 52576 33554432000 4194304 6201397 140734217326048 140734217325176 4213251 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/26338/statm: 53950 52576 165 491 0 53449 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 215800

[startup+1782.3 s]
/proc/loadavg: 2.28 2.32 2.26 3/177 26429
/proc/meminfo: memFree=29784460/32872528 swapFree=1534436/1655032
[pid=26338] ppid=26335 vsize=216120 CPUtime=1782.02 cores=1,3,5,7
/proc/26338/stat : 26338 (cdcl-cuttingpla) R 26335 26338 24188 0 -1 4202496 20439 0 0 0 178193 9 0 0 20 0 1 0 26831807 221306880 52715 33554432000 4194304 6201397 140734217326048 140734217325176 4213268 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/26338/statm: 54030 52715 165 491 0 53529 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 216120



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.29 2.32 2.26 4/177 26430
/proc/meminfo: memFree=29781400/32872528 swapFree=1534436/1655032
[pid=26338] ppid=26335 vsize=217432 CPUtime=1800.01 cores=1,3,5,7
/proc/26338/stat : 26338 (cdcl-cuttingpla) R 26335 26338 24188 0 -1 4202496 20642 0 0 0 179992 9 0 0 20 0 1 0 26831807 222650368 52918 33554432000 4194304 6201397 140734217326048 140734217324712 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/26338/statm: 54358 52918 165 491 0 53857 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 217432

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

[startup+1800.3 s]
/proc/loadavg: 2.29 2.32 2.26 4/177 26430
/proc/meminfo: memFree=29781400/32872528 swapFree=1534436/1655032
[pid=26338] ppid=26335 vsize=217432 CPUtime=1800.01 cores=1,3,5,7
/proc/26338/stat : 26338 (cdcl-cuttingpla) R 26335 26338 24188 0 -1 4202496 20642 0 0 0 179992 9 0 0 20 0 1 0 26831807 222650368 52918 33554432000 4194304 6201397 140734217326048 140734217324712 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/26338/statm: 54358 52918 165 491 0 53857 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 217432

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.03
CPU user time (s): 1799.93
CPU system time (s): 0.097985
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 217432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.93
system time used= 0.097985
maximum resident set size= 211672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20642
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= 6
involuntary context switches= 1854

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.52831 second user time and 6.93195 second system time

The end

Launcher Data 

Begin job on node122 at 2016-06-18 13:03:54
IDJOB=4101184
IDBENCH=1710
IDSOLVER=2550
FILE ID=node122/4101184-1466247834
RUNJOBID= node122-1466229594-24205
PBS_JOBID= 19918176
Free space on /tmp= 71736 MiB

SOLVER NAME= cdcl-cuttingplanes OPT linear 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-stocfor1.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101184-1466247834/watcher-4101184-1466247834 -o /tmp/evaluation-result-4101184-1466247834/solver-4101184-1466247834 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1466229594-24205 --watchdog 1960 --input HOME/instance-4101184-1466247834.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= f5fea9f9b3e2808f219e4e92af96aba2
RANDOM SEED=1824809208

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
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.769
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.769
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.769
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.53
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.769
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.769
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.769
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29531484 kB
Buffers:          124160 kB
Cached:           206320 kB
SwapCached:            0 kB
Active:           707744 kB
Inactive:         235596 kB
Active(anon):     605760 kB
Inactive(anon):     9916 kB
Active(file):     101984 kB
Inactive(file):   225680 kB
Unevictable:     1655032 kB
Mlocked:         1534436 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              2348 kB
Writeback:             0 kB
AnonPages:       2249516 kB
Mapped:            13388 kB
Shmem:               204 kB
Slab:             608492 kB
SReclaimable:      52516 kB
SUnreclaim:       555976 kB
KernelStack:        1472 kB
PageTables:         8712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2551732 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    499712 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71740 MiB
End job on node122 at 2016-06-18 13:33:54