Trace number 4101687

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-qiu.opb
MD5SUM644f01bea590fadfbdc9e969c95da3cf
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables23808
Total number of constraints1192
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 constraints1192
Minimum length of a constraint31
Maximum length of a constraint5940
Number of terms in the objective function 7968
Biggest coefficient in the objective function 993
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 530424
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 530424
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c OPTIONS:
0.00/0.01	c - Resolve (`-resolve-always' or `-resolve-skip'): -resolve-skip
0.00/0.05	c * #variable= 23808 #constraint= 1192
0.00/0.09	c * #variable= 23808 #constraint= 1192
9.49/9.59	c #Conflicts:       1000 | #Learnt:        989 | 8.274
9.49/9.59	c total clause space: 48.1602MB
9.49/9.59	c total #watches: 626252
19.68/19.72	c total #propagations: 388117 / total #impl: 29782422 (eff. 0.013)
19.68/19.72	c #Conflicts:       2000 | #Learnt:       1983 | 10.107
19.68/19.72	c total clause space: 78.2603MB
19.68/19.72	c total #watches: 1000554
30.18/30.22	c total #propagations: 787066 / total #impl: 47850466 (eff. 0.016)
30.18/30.22	c GC COLLECT
30.18/30.22	c #Conflicts:       3000 | #Learnt:       1996 | 7.466
30.18/30.22	c total clause space: 78.2603MB
30.18/30.22	c total #watches: 683668
38.38/38.45	c total #propagations: 1682638 / total #impl: 63914964 (eff. 0.026)
38.38/38.45	c #Conflicts:       4000 | #Learnt:       2989 | 9.328
38.38/38.45	c total clause space: 127.173MB
38.38/38.45	c total #watches: 1337359
54.38/54.46	c total #propagations: 2093099 / total #impl: 80583446 (eff. 0.026)
54.38/54.46	c GC COLLECT
54.38/54.46	c #Conflicts:       5000 | #Learnt:       2351 | 8.187
54.38/54.46	c total clause space: 127.173MB
54.38/54.46	c total #watches: 1439836
63.68/63.78	c total #propagations: 2277285 / total #impl: 113928012 (eff. 0.020)
63.68/63.78	c #Conflicts:       6000 | #Learnt:       3347 | 7.992
63.68/63.78	c total clause space: 206.656MB
63.68/63.78	c total #watches: 2074749
78.28/78.37	c total #propagations: 2542085 / total #impl: 142501249 (eff. 0.018)
78.28/78.37	c GC COLLECT
78.28/78.37	c #Conflicts:       7000 | #Learnt:       2235 | 6.963
78.28/78.37	c total clause space: 206.656MB
78.28/78.37	c total #watches: 1295152
89.68/89.70	c total #propagations: 2649208 / total #impl: 202889166 (eff. 0.013)
89.68/89.70	c #Conflicts:       8000 | #Learnt:       3234 | 6.155
89.68/89.70	c total clause space: 206.656MB
89.68/89.70	c total #watches: 1588476
117.97/118.09	c total #propagations: 3124380 / total #impl: 220300272 (eff. 0.014)
117.97/118.09	c #Conflicts:       9000 | #Learnt:       4234 | 5.868
117.97/118.09	c total clause space: 206.656MB
117.97/118.09	c total #watches: 1920628
190.95/191.08	c total #propagations: 3506898 / total #impl: 249923838 (eff. 0.014)
190.95/191.08	c GC COLLECT
190.95/191.08	c #Conflicts:      10000 | #Learnt:       2710 | 6.125
190.95/191.08	c total clause space: 206.656MB
190.95/191.08	c total #watches: 1035161
232.54/232.62	c total #propagations: 3986728 / total #impl: 264902426 (eff. 0.015)
232.54/232.62	c #Conflicts:      11000 | #Learnt:       3710 | 5.604
232.54/232.62	c total clause space: 206.656MB
232.54/232.62	c total #watches: 1357472
314.24/314.35	c total #propagations: 4724219 / total #impl: 322910716 (eff. 0.015)
314.24/314.35	c #Conflicts:      12000 | #Learnt:       4710 | 5.157
314.24/314.35	c total clause space: 206.656MB
314.24/314.35	c total #watches: 1689942
378.82/378.92	c total #propagations: 5004912 / total #impl: 487029971 (eff. 0.010)
378.82/378.92	c #Conflicts:      13000 | #Learnt:       5709 | 4.840
378.82/378.92	c total clause space: 206.656MB
378.82/378.92	c total #watches: 1958234
421.41/421.50	c total #propagations: 5709376 / total #impl: 576696478 (eff. 0.010)
421.41/421.50	c GC COLLECT
421.41/421.50	c #Conflicts:      14000 | #Learnt:       3868 | 4.605
421.41/421.50	c total clause space: 206.656MB
421.41/421.50	c total #watches: 1317157
441.81/441.96	c total #propagations: 6156012 / total #impl: 614470280 (eff. 0.010)
441.81/441.96	c #Conflicts:      15000 | #Learnt:       4868 | 4.315
441.81/441.96	c total clause space: 206.656MB
441.81/441.96	c total #watches: 1594259
510.60/510.79	c total #propagations: 6580863 / total #impl: 656987825 (eff. 0.010)
510.60/510.79	c #Conflicts:      16000 | #Learnt:       5868 | 4.045
510.60/510.79	c total clause space: 206.656MB
510.60/510.79	c total #watches: 1884565
564.20/564.34	c total #propagations: 7402656 / total #impl: 804637196 (eff. 0.009)
564.20/564.34	c GC COLLECT
564.20/564.34	c #Conflicts:      17000 | #Learnt:       3704 | 3.807
564.20/564.34	c total clause space: 206.656MB
564.20/564.34	c total #watches: 1172985
591.89/592.06	c total #propagations: 8112883 / total #impl: 1066140456 (eff. 0.008)
591.89/592.06	c #Conflicts:      18000 | #Learnt:       4704 | 3.596
591.89/592.06	c total clause space: 206.656MB
591.89/592.06	c total #watches: 1439235
603.49/603.65	c total #propagations: 8847159 / total #impl: 1329944506 (eff. 0.007)
603.49/603.65	c #Conflicts:      19000 | #Learnt:       5704 | 3.407
603.49/603.65	c total clause space: 206.656MB
603.49/603.65	c total #watches: 1748934
639.09/639.28	c total #propagations: 9675568 / total #impl: 1403210304 (eff. 0.007)
639.09/639.28	c #Conflicts:      20000 | #Learnt:       6702 | 3.372
639.09/639.28	c total clause space: 206.656MB
639.09/639.28	c total #watches: 2054422
670.48/670.62	c total #propagations: 10115758 / total #impl: 1537866398 (eff. 0.007)
670.48/670.62	c GC COLLECT
670.48/670.62	c #Conflicts:      21000 | #Learnt:       4209 | 3.288
670.48/670.62	c total clause space: 206.656MB
670.48/670.62	c total #watches: 1375411
703.47/703.62	c total #propagations: 10494796 / total #impl: 1653131774 (eff. 0.006)
703.47/703.62	c #Conflicts:      22000 | #Learnt:       5207 | 3.184
703.47/703.62	c total clause space: 206.656MB
703.47/703.62	c total #watches: 1644204
751.96/752.14	c total #propagations: 10892725 / total #impl: 1733139830 (eff. 0.006)
751.96/752.14	c #Conflicts:      23000 | #Learnt:       6207 | 3.048
751.96/752.14	c total clause space: 206.656MB
751.96/752.14	c total #watches: 1996947
793.96/794.13	c total #propagations: 11279048 / total #impl: 1893689629 (eff. 0.006)
793.96/794.13	c #Conflicts:      24000 | #Learnt:       7205 | 3.022
793.96/794.13	c total clause space: 206.656MB
793.96/794.13	c total #watches: 2253357
923.24/923.41	c total #propagations: 11518632 / total #impl: 1965813437 (eff. 0.006)
923.24/923.41	c GC COLLECT
923.24/923.41	c #Conflicts:      25000 | #Learnt:       4409 | 3.077
923.24/923.41	c total clause space: 206.656MB
923.24/923.41	c total #watches: 1466429
965.64/965.89	c total #propagations: 12436655 / total #impl: 2123231338 (eff. 0.006)
965.64/965.89	c #Conflicts:      26000 | #Learnt:       5409 | 3.036
965.64/965.89	c total clause space: 206.656MB
965.64/965.89	c total #watches: 1678653
986.83/987.09	c total #propagations: 13027235 / total #impl: 2144569649 (eff. 0.006)
986.83/987.09	c #Conflicts:      27000 | #Learnt:       6409 | 2.925
986.83/987.09	c total clause space: 206.656MB
986.83/987.09	c total #watches: 1854556
1027.33/1027.52	c total #propagations: 13910774 / total #impl: 2165120693 (eff. 0.006)
1027.33/1027.52	c #Conflicts:      28000 | #Learnt:       7407 | 2.992
1027.33/1027.52	c total clause space: 206.656MB
1027.33/1027.52	c total #watches: 2136377
1064.92/1065.17	c total #propagations: 14704820 / total #impl: 2185709556 (eff. 0.007)
1064.92/1065.17	c GC COLLECT
1064.92/1065.17	c #Conflicts:      29000 | #Learnt:       4312 | 2.898
1064.92/1065.17	c total clause space: 206.656MB
1064.92/1065.17	c total #watches: 1210194
1087.42/1087.65	c total #propagations: 15061573 / total #impl: 2219683303 (eff. 0.007)
1087.42/1087.65	c #Conflicts:      30000 | #Learnt:       5311 | 2.937
1087.42/1087.65	c total clause space: 206.656MB
1087.42/1087.65	c total #watches: 1463494
1121.41/1121.67	c total #propagations: 15807305 / total #impl: 2248098506 (eff. 0.007)
1121.41/1121.67	c #Conflicts:      31000 | #Learnt:       6308 | 2.922
1121.41/1121.67	c total clause space: 206.656MB
1121.41/1121.67	c total #watches: 1804395
1128.52/1128.79	c total #propagations: 16284442 / total #impl: 2299972028 (eff. 0.007)
1128.52/1128.79	c #Conflicts:      32000 | #Learnt:       7306 | 2.904
1128.52/1128.79	c total clause space: 206.656MB
1128.52/1128.79	c total #watches: 1922520
1147.31/1147.52	c total #propagations: 16865367 / total #impl: 2308117051 (eff. 0.007)
1147.31/1147.52	c #Conflicts:      33000 | #Learnt:       8305 | 3.108
1147.31/1147.52	c total clause space: 206.656MB
1147.31/1147.52	c total #watches: 2104158
1160.90/1161.14	c total #propagations: 17374644 / total #impl: 2322187139 (eff. 0.007)
1160.90/1161.14	c GC COLLECT
1160.90/1161.14	c #Conflicts:      34000 | #Learnt:       4920 | 3.067
1160.90/1161.14	c total clause space: 206.656MB
1160.90/1161.14	c total #watches: 1262715
1171.50/1171.75	c total #propagations: 17927355 / total #impl: 2355898710 (eff. 0.008)
1171.50/1171.75	c #Conflicts:      35000 | #Learnt:       5920 | 3.006
1171.50/1171.75	c total clause space: 206.656MB
1171.50/1171.75	c total #watches: 1443809
1182.40/1182.67	c total #propagations: 18613467 / total #impl: 2385668931 (eff. 0.008)
1182.40/1182.67	c #Conflicts:      36000 | #Learnt:       6919 | 2.927
1182.40/1182.67	c total clause space: 206.656MB
1182.40/1182.67	c total #watches: 1627944
1188.30/1188.57	c total #propagations: 19124564 / total #impl: 2436436950 (eff. 0.008)
1188.30/1188.57	c #Conflicts:      37000 | #Learnt:       7919 | 2.848
1188.30/1188.57	c total clause space: 206.656MB
1188.30/1188.57	c total #watches: 1834462
1195.20/1195.47	c total #propagations: 19704489 / total #impl: 2471520681 (eff. 0.008)
1195.20/1195.47	c #Conflicts:      38000 | #Learnt:       8919 | 2.773
1195.20/1195.47	c total clause space: 206.656MB
1195.20/1195.47	c total #watches: 2031020
1230.81/1231.07	c total #propagations: 20259678 / total #impl: 2507796261 (eff. 0.008)
1230.81/1231.07	c GC COLLECT
1230.81/1231.07	c #Conflicts:      39000 | #Learnt:       5208 | 2.730
1230.81/1231.07	c total clause space: 206.656MB
1230.81/1231.07	c total #watches: 1225494
1244.60/1244.87	c total #propagations: 21105214 / total #impl: 2563171937 (eff. 0.008)
1244.60/1244.87	c #Conflicts:      40000 | #Learnt:       6208 | 2.662
1244.60/1244.87	c total clause space: 206.656MB
1244.60/1244.87	c total #watches: 1396067
1293.59/1293.86	c total #propagations: 22051086 / total #impl: 2598197505 (eff. 0.008)
1293.59/1293.86	c #Conflicts:      41000 | #Learnt:       7208 | 2.597
1293.59/1293.86	c total clause space: 206.656MB
1293.59/1293.86	c total #watches: 1567532
1319.89/1320.12	c total #propagations: 23082970 / total #impl: 2749431601 (eff. 0.008)
1319.89/1320.12	c #Conflicts:      42000 | #Learnt:       8208 | 2.539
1319.89/1320.12	c total clause space: 206.656MB
1319.89/1320.12	c total #watches: 1743903
1358.28/1358.52	c total #propagations: 23977526 / total #impl: 2855958804 (eff. 0.008)
1358.28/1358.52	c #Conflicts:      43000 | #Learnt:       9208 | 2.490
1358.28/1358.52	c total clause space: 206.656MB
1358.28/1358.52	c total #watches: 1911997
1387.07/1387.36	c total #propagations: 24864479 / total #impl: 2942066280 (eff. 0.008)
1387.07/1387.36	c GC COLLECT
1387.07/1387.36	c #Conflicts:      44000 | #Learnt:       5209 | 2.434
1387.07/1387.36	c total clause space: 206.656MB
1387.07/1387.36	c total #watches: 982047
1399.26/1399.50	c total #propagations: 25746633 / total #impl: 3062779105 (eff. 0.008)
1399.26/1399.50	c #Conflicts:      45000 | #Learnt:       6206 | 2.415
1399.26/1399.50	c total clause space: 206.656MB
1399.26/1399.50	c total #watches: 1275296
1419.56/1419.83	c total #propagations: 26644805 / total #impl: 3146091465 (eff. 0.008)
1419.56/1419.83	c #Conflicts:      46000 | #Learnt:       7202 | 2.821
1419.56/1419.83	c total clause space: 206.656MB
1419.56/1419.83	c total #watches: 1687632
1437.06/1437.37	c total #propagations: 26890483 / total #impl: 3169811712 (eff. 0.008)
1437.06/1437.37	c #Conflicts:      47000 | #Learnt:       8198 | 2.947
1437.06/1437.37	c total clause space: 335.816MB
1437.06/1437.37	c total #watches: 2193918
1443.96/1444.28	c total #propagations: 27241025 / total #impl: 3189255394 (eff. 0.009)
1443.96/1444.28	c #Conflicts:      48000 | #Learnt:       9198 | 2.894
1443.96/1444.28	c total clause space: 335.816MB
1443.96/1444.28	c total #watches: 2436412
1493.85/1494.12	c total #propagations: 27808657 / total #impl: 3213991332 (eff. 0.009)
1493.85/1494.12	c #Conflicts:      49000 | #Learnt:      10197 | 2.950
1493.85/1494.12	c total clause space: 335.816MB
1493.85/1494.12	c total #watches: 2791366
1530.34/1530.61	c total #propagations: 28234698 / total #impl: 3233896160 (eff. 0.009)
1530.34/1530.61	c GC COLLECT
1530.34/1530.61	c #Conflicts:      50000 | #Learnt:       5898 | 3.003
1530.34/1530.61	c total clause space: 335.816MB
1530.34/1530.61	c total #watches: 1922205
1546.95/1547.29	c total #propagations: 28861488 / total #impl: 3290281024 (eff. 0.009)
1546.95/1547.29	c #Conflicts:      51000 | #Learnt:       6898 | 3.002
1546.95/1547.29	c total clause space: 335.816MB
1546.95/1547.29	c total #watches: 2791260
1554.55/1554.81	c total #propagations: 29110169 / total #impl: 3371070190 (eff. 0.009)
1554.55/1554.81	c #Conflicts:      52000 | #Learnt:       7897 | 2.945
1554.55/1554.81	c total clause space: 335.816MB
1554.55/1554.81	c total #watches: 3189479
1569.45/1569.72	c total #propagations: 29255189 / total #impl: 3399813718 (eff. 0.009)
1569.45/1569.72	c #Conflicts:      53000 | #Learnt:       8897 | 2.890
1569.45/1569.72	c total clause space: 335.816MB
1569.45/1569.72	c total #watches: 3560291
1610.33/1610.62	c total #propagations: 29409182 / total #impl: 3538309373 (eff. 0.008)
1610.33/1610.62	c #Conflicts:      54000 | #Learnt:       9894 | 2.877
1610.33/1610.62	c total clause space: 335.816MB
1610.33/1610.62	c total #watches: 3888153
1649.53/1649.87	c total #propagations: 29897104 / total #impl: 3560314711 (eff. 0.008)
1649.53/1649.87	c #Conflicts:      55000 | #Learnt:      10893 | 2.922
1649.53/1649.87	c total clause space: 335.816MB
1649.53/1649.87	c total #watches: 4222165
1662.13/1662.44	c total #propagations: 30272088 / total #impl: 3627642946 (eff. 0.008)
1662.13/1662.44	c GC COLLECT
1662.13/1662.44	c #Conflicts:      56000 | #Learnt:       6307 | 2.921
1662.13/1662.44	c total clause space: 335.816MB
1662.13/1662.44	c total #watches: 2919887
1699.23/1699.58	c total #propagations: 30361175 / total #impl: 3658825272 (eff. 0.008)
1699.23/1699.58	c #Conflicts:      57000 | #Learnt:       7303 | 2.933
1699.23/1699.58	c total clause space: 335.816MB
1699.23/1699.58	c total #watches: 3058733
1723.32/1723.62	c total #propagations: 30648130 / total #impl: 3674119923 (eff. 0.008)
1723.32/1723.62	c #Conflicts:      58000 | #Learnt:       8301 | 2.905
1723.32/1723.62	c total clause space: 335.816MB
1723.32/1723.62	c total #watches: 3134105
1740.22/1740.50	c total #propagations: 31022019 / total #impl: 3686248558 (eff. 0.008)
1740.22/1740.50	c #Conflicts:      59000 | #Learnt:       9299 | 2.866
1740.22/1740.50	c total clause space: 335.816MB
1740.22/1740.50	c total #watches: 3237229
1772.71/1773.01	c total #propagations: 31139872 / total #impl: 3702898521 (eff. 0.008)
1772.71/1773.01	c #Conflicts:      60000 | #Learnt:      10290 | 2.867
1772.71/1773.01	c total clause space: 335.816MB
1772.71/1773.01	c total #watches: 3617153
1794.51/1794.83	c total #propagations: 31445989 / total #impl: 3735779821 (eff. 0.008)
1794.51/1794.83	c #Conflicts:      61000 | #Learnt:      11290 | 2.821
1794.51/1794.83	c total clause space: 335.816MB
1794.51/1794.83	c total #watches: 4084131

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

pid=24339
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.31 2.26 2.19 3/176 24342
/proc/meminfo: memFree=29699048/32872528 swapFree=1499884/1696108
[pid=24342] ppid=24339 vsize=55976 CPUtime=0 cores=1,3,5,7
/proc/24342/stat : 24342 (cdcl-cuttingpla) R 24339 24342 21079 0 -1 4202496 234 0 0 0 0 0 0 0 20 0 1 0 27796336 57319424 2160 33554432000 4194304 6211289 140736870181744 140735102151064 4206563 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24342/statm: 13994 2160 97 493 0 13491 0

[startup+0.100134 s]
/proc/loadavg: 2.31 2.26 2.19 3/176 24342
/proc/meminfo: memFree=29699048/32872528 swapFree=1499884/1696108
[pid=24342] ppid=24339 vsize=68424 CPUtime=0.08 cores=1,3,5,7
/proc/24342/stat : 24342 (cdcl-cuttingpla) R 24339 24342 21079 0 -1 4202496 2088 0 0 0 8 0 0 0 20 0 1 0 27796336 70066176 14256 33554432000 4194304 6211289 140736870181744 140735102151064 4320016 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24342/statm: 17106 14256 144 493 0 16603 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 68424

[startup+0.200374 s]
/proc/loadavg: 2.31 2.26 2.19 3/176 24342
/proc/meminfo: memFree=29699048/32872528 swapFree=1499884/1696108
[pid=24342] ppid=24339 vsize=69352 CPUtime=0.19 cores=1,3,5,7
/proc/24342/stat : 24342 (cdcl-cuttingpla) R 24339 24342 21079 0 -1 4202496 2685 0 0 0 18 1 0 0 20 0 1 0 27796336 71016448 15364 33554432000 4194304 6211289 140736870181744 140735102151064 4209501 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24342/statm: 17338 15364 150 493 0 16835 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 69352

[startup+0.300339 s]
/proc/loadavg: 2.31 2.26 2.19 3/176 24342
/proc/meminfo: memFree=29699048/32872528 swapFree=1499884/1696108
[pid=24342] ppid=24339 vsize=72072 CPUtime=0.29 cores=1,3,5,7
/proc/24342/stat : 24342 (cdcl-cuttingpla) R 24339 24342 21079 0 -1 4202496 2798 0 0 0 28 1 0 0 20 0 1 0 27796336 73801728 15972 33554432000 4194304 6211289 140736870181744 140735102151064 4209484 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24342/statm: 18018 15972 150 493 0 17515 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 72072

[startup+0.70022 s]
/proc/loadavg: 2.31 2.26 2.19 3/176 24342
/proc/meminfo: memFree=29699048/32872528 swapFree=1499884/1696108
[pid=24342] ppid=24339 vsize=85128 CPUtime=0.69 cores=1,3,5,7
/proc/24342/stat : 24342 (cdcl-cuttingpla) R 24339 24342 21079 0 -1 4202496 3524 0 0 0 68 1 0 0 20 0 1 0 27796336 87171072 17658 33554432000 4194304 6211289 140736870181744 140736870179976 5152077 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24342/statm: 21282 17658 150 493 0 20779 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85128

[startup+1.50022 s]
/proc/loadavg: 2.31 2.26 2.19 3/177 24343
/proc/meminfo: memFree=29626812/32872528 swapFree=1499884/1696108
[pid=24342] ppid=24339 vsize=97220 CPUtime=1.49 cores=1,3,5,7
/proc/24342/stat : 24342 (cdcl-cuttingpla) R 24339 24342 21079 0 -1 4202496 3664 0 0 0 148 1 0 0 20 0 1 0 27796336 99553280 18810 33554432000 4194304 6211289 140736870181744 140736870179656 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24342/statm: 24305 18810 150 493 0 23802 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 97220

[startup+3.10023 s]
/proc/loadavg: 2.31 2.26 2.19 3/177 24343
/proc/meminfo: memFree=29617196/32872528 swapFree=1499884/1696108
[pid=24342] ppid=24339 vsize=101084 CPUtime=3.08 cores=1,3,5,7
/proc/24342/stat : 24342 (cdcl-cuttingpla) R 24339 24342 21079 0 -1 4202496 4850 0 0 0 307 1 0 0 20 0 1 0 27796336 103510016 21467 33554432000 4194304 6211289 140736870181744 140736870179608 4209244 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24342/statm: 25271 21467 150 493 0 24768 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 101084

[startup+6.30025 s]
/proc/loadavg: 2.28 2.25 2.19 4/176 24343
/proc/meminfo: memFree=29607564/32872528 swapFree=1499884/1696108
[pid=24342] ppid=24339 vsize=120868 CPUtime=6.29 cores=1,3,5,7
/proc/24342/stat : 24342 (cdcl-cuttingpla) R 24339 24342 21079 0 -1 4202496 5314 0 0 0 627 2 0 0 20 0 1 0 27796336 123768832 23410 33554432000 4194304 6211289 140736870181744 140736870179656 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24342/statm: 30217 23410 150 493 0 29714 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 120868

[startup+12.7003 s]
/proc/loadavg: 2.34 2.26 2.20 3/177 24344
/proc/meminfo: memFree=29589616/32872528 swapFree=1499884/1696108
[pid=24342] ppid=24339 vsize=124832 CPUtime=12.68 cores=1,3,5,7
/proc/24342/stat : 24342 (cdcl-cuttingpla) R 24339 24342 21079 0 -1 4202496 6393 0 0 0 1266 2 0 0 20 0 1 0 27796336 127827968 27540 33554432000 4194304 6211289 140736870181744 140736870179736 4209328 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24342/statm: 31208 27540 160 493 0 30705 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 124832

[startup+25.5003 s]
/proc/loadavg: 2.34 2.27 2.20 3/177 24344
/proc/meminfo: memFree=29550956/32872528 swapFree=1499884/1696108
[pid=24342] ppid=24339 vsize=162772 CPUtime=25.48 cores=1,3,5,7
/proc/24342/stat : 24342 (cdcl-cuttingpla) R 24339 24342 21079 0 -1 4202496 10327 0 0 0 2545 3 0 0 20 0 1 0 27796336 166678528 37174 33554432000 4194304 6211289 140736870181744 140736870179736 4209328 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24342/statm: 40693 37174 165 493 0 40190 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 162772

[startup+51.1004 s]
/proc/loadavg: 2.22 2.24 2.19 4/177 24344
/proc/meminfo: memFree=29476192/32872528 swapFree=1499884/1696108
[pid=24342] ppid=24339 vsize=232132 CPUtime=51.08 cores=1,3,5,7
/proc/24342/stat : 24342 (cdcl-cuttingpla) R 24339 24342 21079 0 -1 4202496 15694 0 0 0 5103 5 0 0 20 0 1 0 27796336 237703168 55646 33554432000 4194304 6211289 140736870181744 140736870179736 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24342/statm: 58033 55646 165 493 0 57530 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 232132

[startup+102.3 s]
/proc/loadavg: 2.24 2.25 2.19 4/177 24345
/proc/meminfo: memFree=29410740/32872528 swapFree=1499884/1696108
[pid=24342] ppid=24339 vsize=345256 CPUtime=102.27 cores=1,3,5,7
/proc/24342/stat : 24342 (cdcl-cuttingpla) R 24339 24342 21079 0 -1 4202496 23352 0 0 0 10220 7 0 0 20 0 1 0 27796336 353542144 71661 33554432000 4194304 6211289 140736870181744 140736870179608 4209895 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24342/statm: 86314 71661 165 493 0 85811 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 345256

[startup+162.3 s]
/proc/loadavg: 2.28 2.25 2.19 4/177 24346
/proc/meminfo: memFree=29404100/32872528 swapFree=1499884/1696108
[pid=24342] ppid=24339 vsize=347816 CPUtime=162.26 cores=1,3,5,7
/proc/24342/stat : 24342 (cdcl-cuttingpla) R 24339 24342 21079 0 -1 4202496 24516 0 0 0 16218 8 0 0 20 0 1 0 27796336 356163584 73321 33554432000 4194304 6211289 140736870181744 140736870179608 4209244 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24342/statm: 86954 73321 165 493 0 86451 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 347816

[startup+222.307 s]
/proc/loadavg: 2.21 2.23 2.18 3/176 24347
/proc/meminfo: memFree=29401380/32872528 swapFree=1499884/1696108
[pid=24342] ppid=24339 vsize=351956 CPUtime=222.25 cores=1,3,5,7
/proc/24342/stat : 24342 (cdcl-cuttingpla) R 24339 24342 21079 0 -1 4202496 25443 0 0 0 22217 8 0 0 20 0 1 0 27796336 360402944 74224 33554432000 4194304 6211289 140736870181744 140736870180088 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24342/statm: 87989 74224 165 493 0 87486 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 351956

[startup+282.3 s]
/proc/loadavg: 2.19 2.22 2.18 3/177 24349
/proc/meminfo: memFree=29400408/32872528 swapFree=1499884/1696108
[pid=24342] ppid=24339 vsize=352932 CPUtime=282.24 cores=1,3,5,7
/proc/24342/stat : 24342 (cdcl-cuttingpla) R 24339 24342 21079 0 -1 4202496 25613 0 0 0 28216 8 0 0 20 0 1 0 27796336 361402368 74394 33554432000 4194304 6211289 140736870181744 140736870179656 4209306 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24342/statm: 88233 74394 165 493 0 87730 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 352932

[startup+342.3 s]
/proc/loadavg: 2.34 2.25 2.19 3/178 24354
/proc/meminfo: memFree=29390460/32872528 swapFree=1499884/1696108
[pid=24342] ppid=24339 vsize=368232 CPUtime=342.23 cores=1,3,5,7
/proc/24342/stat : 24342 (cdcl-cuttingpla) R 24339 24342 21079 0 -1 4202496 28065 0 0 0 34214 9 0 0 20 0 1 0 27796336 377069568 76846 33554432000 4194304 6211289 140736870181744 140736870179608 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24342/statm: 92058 76846 165 493 0 91555 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 368232

[startup+402.3 s]
/proc/loadavg: 2.30 2.25 2.19 3/177 24355
/proc/meminfo: memFree=29388168/32872528 swapFree=1499884/1696108
[pid=24342] ppid=24339 vsize=370152 CPUtime=402.22 cores=1,3,5,7
/proc/24342/stat : 24342 (cdcl-cuttingpla) R 24339 24342 21079 0 -1 4202496 28666 0 0 0 40213 9 0 0 20 0 1 0 27796336 379035648 77424 33554432000 4194304 6211289 140736870181744 140736870180088 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24342/statm: 92538 77424 165 493 0 92035 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 370152

[startup+462.3 s]
/proc/loadavg: 2.27 2.25 2.19 3/177 24356
/proc/meminfo: memFree=29385084/32872528 swapFree=1499884/1696108
[pid=24342] ppid=24339 vsize=370476 CPUtime=462.21 cores=1,3,5,7
/proc/24342/stat : 24342 (cdcl-cuttingpla) R 24339 24342 21079 0 -1 4202496 28745 0 0 0 46212 9 0 0 20 0 1 0 27796336 379367424 77502 33554432000 4194304 6211289 140736870181744 140736870180088 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24342/statm: 92619 77502 165 493 0 92116 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 370476

[startup+522.3 s]
/proc/loadavg: 2.29 2.26 2.19 3/177 24357
/proc/meminfo: memFree=29380232/32872528 swapFree=1499884/1696108
[pid=24342] ppid=24339 vsize=372396 CPUtime=522.2 cores=1,3,5,7
/proc/24342/stat : 24342 (cdcl-cuttingpla) R 24339 24342 21079 0 -1 4202496 29182 0 0 0 52211 9 0 0 20 0 1 0 27796336 381333504 77939 33554432000 4194304 6211289 140736870181744 140736870179608 4209306 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24342/statm: 93099 77939 165 493 0 92596 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 372396

[startup+582.3 s]
/proc/loadavg: 2.24 2.24 2.19 4/177 24358
/proc/meminfo: memFree=29372696/32872528 swapFree=1499884/1696108
[pid=24342] ppid=24339 vsize=372588 CPUtime=582.19 cores=1,3,5,7
/proc/24342/stat : 24342 (cdcl-cuttingpla) R 24339 24342 21079 0 -1 4202496 29266 0 0 0 58210 9 0 0 20 0 1 0 27796336 381530112 78022 33554432000 4194304 6211289 140736870181744 140736870180088 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24342/statm: 93147 78022 165 493 0 92644 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 372588


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


[startup+942.3 s]
/proc/loadavg: 2.29 2.27 2.20 3/178 24414
/proc/meminfo: memFree=29348108/32872528 swapFree=1499884/1696108
[pid=24342] ppid=24339 vsize=374700 CPUtime=942.14 cores=1,3,5,7
/proc/24342/stat : 24342 (cdcl-cuttingpla) R 24339 24342 21079 0 -1 4202496 30435 0 0 0 94204 10 0 0 20 0 1 0 27796336 383692800 79191 33554432000 4194304 6211289 140736870181744 140736870180088 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24342/statm: 93675 79191 165 493 0 93172 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 374700

[startup+1002.3 s]
/proc/loadavg: 2.29 2.27 2.20 3/178 24438
/proc/meminfo: memFree=29269244/32872528 swapFree=1499884/1696108
[pid=24342] ppid=24339 vsize=374700 CPUtime=1002.13 cores=1,3,5,7
/proc/24342/stat : 24342 (cdcl-cuttingpla) R 24339 24342 21079 0 -1 4202496 30554 0 0 0 100203 10 0 0 20 0 1 0 27796336 383692800 79310 33554432000 4194304 6211289 140736870181744 140736870180088 4209380 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24342/statm: 93675 79310 165 493 0 93172 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 374700

[startup+1062.3 s]
/proc/loadavg: 2.27 2.26 2.20 4/177 24439
/proc/meminfo: memFree=29264652/32872528 swapFree=1499884/1696108
[pid=24342] ppid=24339 vsize=374892 CPUtime=1062.12 cores=1,3,5,7
/proc/24342/stat : 24342 (cdcl-cuttingpla) R 24339 24342 21079 0 -1 4202496 30813 0 0 0 106202 10 0 0 20 0 1 0 27796336 383889408 79569 33554432000 4194304 6211289 140736870181744 140736870179656 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24342/statm: 93723 79569 165 493 0 93220 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 374892

[startup+1122.3 s]
/proc/loadavg: 2.23 2.24 2.19 3/177 24440
/proc/meminfo: memFree=29241232/32872528 swapFree=1499884/1696108
[pid=24342] ppid=24339 vsize=374892 CPUtime=1122.11 cores=1,3,5,7
/proc/24342/stat : 24342 (cdcl-cuttingpla) R 24339 24342 21079 0 -1 4202496 30831 0 0 0 112201 10 0 0 20 0 1 0 27796336 383889408 79587 33554432000 4194304 6211289 140736870181744 140736870180088 5158792 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24342/statm: 93723 79587 165 493 0 93220 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 374892

[startup+1182.3 s]
/proc/loadavg: 2.27 2.24 2.19 4/177 24441
/proc/meminfo: memFree=29197704/32872528 swapFree=1499884/1696108
[pid=24342] ppid=24339 vsize=375740 CPUtime=1182.1 cores=1,3,5,7
/proc/24342/stat : 24342 (cdcl-cuttingpla) R 24339 24342 21079 0 -1 4202496 31037 0 0 0 118200 10 0 0 20 0 1 0 27796336 384757760 89502 33554432000 4194304 6211289 140736870181744 140736870179656 4241789 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24342/statm: 93935 89502 165 493 0 93432 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 375740

[startup+1242.3 s]
/proc/loadavg: 2.20 2.23 2.19 3/177 24443
/proc/meminfo: memFree=29190172/32872528 swapFree=1499884/1696108
[pid=24342] ppid=24339 vsize=376908 CPUtime=1242.1 cores=1,3,5,7
/proc/24342/stat : 24342 (cdcl-cuttingpla) R 24339 24342 21079 0 -1 4202496 31270 0 0 0 124199 11 0 0 20 0 1 0 27796336 385953792 90246 33554432000 4194304 6211289 140736870181744 140736870180088 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24342/statm: 94227 90246 165 493 0 93724 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 376908

[startup+1302.3 s]
/proc/loadavg: 2.33 2.26 2.20 3/177 24444
/proc/meminfo: memFree=29183204/32872528 swapFree=1499884/1696108
[pid=24342] ppid=24339 vsize=376908 CPUtime=1302.09 cores=1,3,5,7
/proc/24342/stat : 24342 (cdcl-cuttingpla) R 24339 24342 21079 0 -1 4202496 31324 0 0 0 130198 11 0 0 20 0 1 0 27796336 385953792 90300 33554432000 4194304 6211289 140736870181744 140736870180088 4209244 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24342/statm: 94227 90300 165 493 0 93724 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 376908

[startup+1362.3 s]
/proc/loadavg: 2.41 2.29 2.20 3/177 24445
/proc/meminfo: memFree=29177104/32872528 swapFree=1499884/1696108
[pid=24342] ppid=24339 vsize=385804 CPUtime=1362.07 cores=1,3,5,7
/proc/24342/stat : 24342 (cdcl-cuttingpla) R 24339 24342 21079 0 -1 4202496 32678 0 0 0 136196 11 0 0 20 0 1 0 27796336 395063296 91654 33554432000 4194304 6211289 140736870181744 140736870179656 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24342/statm: 96451 91654 165 493 0 95948 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 385804

[startup+1422.3 s]
/proc/loadavg: 2.48 2.32 2.22 3/177 24446
/proc/meminfo: memFree=29164488/32872528 swapFree=1499884/1696108
[pid=24342] ppid=24339 vsize=389728 CPUtime=1422.07 cores=1,3,5,7
/proc/24342/stat : 24342 (cdcl-cuttingpla) R 24339 24342 21079 0 -1 4202496 33678 0 0 0 142195 12 0 0 20 0 1 0 27796336 399081472 94085 33554432000 4194304 6211289 140736870181744 140736870179736 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24342/statm: 97432 94085 165 493 0 96929 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 389728

[startup+1482.3 s]
/proc/loadavg: 2.26 2.29 2.21 3/177 24447
/proc/meminfo: memFree=29020372/32872528 swapFree=1499884/1696108
[pid=24342] ppid=24339 vsize=543640 CPUtime=1482.05 cores=1,3,5,7
/proc/24342/stat : 24342 (cdcl-cuttingpla) R 24339 24342 21079 0 -1 4202496 39131 0 0 0 148190 15 0 0 20 0 1 0 27796336 556687360 118415 33554432000 4194304 6211289 140736870181744 140736870179608 4209244 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24342/statm: 135910 118415 165 493 0 135407 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 543640

[startup+1542.31 s]
/proc/loadavg: 2.29 2.30 2.22 4/178 24452
/proc/meminfo: memFree=28987120/32872528 swapFree=1499884/1696108
[pid=24342] ppid=24339 vsize=552748 CPUtime=1542.06 cores=1,3,5,7
/proc/24342/stat : 24342 (cdcl-cuttingpla) R 24339 24342 21079 0 -1 4202496 41377 0 0 0 154190 16 0 0 20 0 1 0 27796336 566013952 122432 33554432000 4194304 6211289 140736870181744 140736870179656 4209464 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24342/statm: 138187 122432 165 493 0 137684 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 552748

[startup+1602.3 s]
/proc/loadavg: 2.23 2.27 2.21 3/177 24453
/proc/meminfo: memFree=28953084/32872528 swapFree=1499884/1696108
[pid=24342] ppid=24339 vsize=569396 CPUtime=1602.03 cores=1,3,5,7
/proc/24342/stat : 24342 (cdcl-cuttingpla) R 24339 24342 21079 0 -1 4202496 44824 0 0 0 160186 17 0 0 20 0 1 0 27796336 583061504 129456 33554432000 4194304 6211289 140736870181744 140736870179656 4209384 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24342/statm: 142349 129456 165 493 0 141846 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 569396

[startup+1662.3 s]
/proc/loadavg: 2.20 2.25 2.20 3/177 24454
/proc/meminfo: memFree=28909880/32872528 swapFree=1499884/1696108
[pid=24342] ppid=24339 vsize=580184 CPUtime=1662.03 cores=1,3,5,7
/proc/24342/stat : 24342 (cdcl-cuttingpla) R 24339 24342 21079 0 -1 4202496 46985 0 0 0 166184 19 0 0 20 0 1 0 27796336 594108416 139246 33554432000 4194304 6211289 140736870181744 140736870179608 4209392 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24342/statm: 145046 139246 165 493 0 144543 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 580184

[startup+1722.3 s]
/proc/loadavg: 2.30 2.26 2.21 4/177 24455
/proc/meminfo: memFree=28902456/32872528 swapFree=1499884/1696108
[pid=24342] ppid=24339 vsize=587676 CPUtime=1722.02 cores=1,3,5,7
/proc/24342/stat : 24342 (cdcl-cuttingpla) R 24339 24342 21079 0 -1 4202496 48608 0 0 0 172182 20 0 0 20 0 1 0 27796336 601780224 140869 33554432000 4194304 6211289 140736870181744 140736870180088 4209322 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24342/statm: 146919 140869 165 493 0 146416 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 587676

[startup+1782.3 s]
/proc/loadavg: 2.35 2.27 2.21 3/177 24456
/proc/meminfo: memFree=28886692/32872528 swapFree=1499884/1696108
[pid=24342] ppid=24339 vsize=590396 CPUtime=1782.01 cores=1,3,5,7
/proc/24342/stat : 24342 (cdcl-cuttingpla) R 24339 24342 21079 0 -1 4202496 49360 0 0 0 178181 20 0 0 20 0 1 0 27796336 604565504 141621 33554432000 4194304 6211289 140736870181744 140736870179656 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24342/statm: 147599 141621 165 493 0 147096 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 590396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.25 2.26 2.20 3/177 24457
/proc/meminfo: memFree=28875404/32872528 swapFree=1499884/1696108
[pid=24342] ppid=24339 vsize=603016 CPUtime=1800.01 cores=1,3,5,7
/proc/24342/stat : 24342 (cdcl-cuttingpla) R 24339 24342 21079 0 -1 4202496 51982 0 0 0 179981 20 0 0 20 0 1 0 27796336 617488384 144243 33554432000 4194304 6211289 140736870181744 140736870179656 4209328 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24342/statm: 150754 144243 165 493 0 150251 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 603016

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

[startup+1800.3 s]
/proc/loadavg: 2.25 2.26 2.20 3/177 24457
/proc/meminfo: memFree=28875404/32872528 swapFree=1499884/1696108
[pid=24342] ppid=24339 vsize=603016 CPUtime=1800.01 cores=1,3,5,7
/proc/24342/stat : 24342 (cdcl-cuttingpla) R 24339 24342 21079 0 -1 4202496 51982 0 0 0 179981 20 0 0 20 0 1 0 27796336 617488384 144243 33554432000 4194304 6211289 140736870181744 140736870179656 4209328 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/24342/statm: 150754 144243 165 493 0 150251 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 603016

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.32
CPU time (s): 1800.04
CPU user time (s): 1799.82
CPU system time (s): 0.219966
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 603016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.82
system time used= 0.219966
maximum resident set size= 576972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51982
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= 23
involuntary context switches= 1858

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.50631 second user time and 6.96394 second system time

The end

Launcher Data 

Begin job on node137 at 2016-06-18 15:45:06
IDJOB=4101687
IDBENCH=1781
IDSOLVER=2549
FILE ID=node137/4101687-1466257506
RUNJOBID= node137-1466229299-21096
PBS_JOBID= 19918171
Free space on /tmp= 71700 MiB

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

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

MD5SUM BENCH= 644f01bea590fadfbdc9e969c95da3cf
RANDOM SEED=1857094511

node137.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29699428 kB
Buffers:          137556 kB
Cached:           205528 kB
SwapCached:         1268 kB
Active:           493524 kB
Inactive:         243628 kB
Active(anon):     395180 kB
Inactive(anon):     1024 kB
Active(file):      98344 kB
Inactive(file):   242604 kB
Unevictable:     1696108 kB
Mlocked:         1499884 kB
SwapTotal:      67108856 kB
SwapFree:       67100004 kB
Dirty:              3148 kB
Writeback:             0 kB
AnonPages:       2027884 kB
Mapped:             7964 kB
Shmem:                 0 kB
Slab:             605604 kB
SReclaimable:      49736 kB
SUnreclaim:       555868 kB
KernelStack:        1472 kB
PageTables:         8176 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2328556 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    501760 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71696 MiB
End job on node137 at 2016-06-18 16:15:06