Trace number 4087961

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-l152lav.opb
MD5SUM1a5510d564851e49e3b50f1a87922ca2
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5556
Best CPU time to get the best result obtained on this benchmark1800.47
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4722
Optimality of the best value was proved YES
Number of variables1989
Total number of constraints97
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)96
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint3
Maximum length of a constraint1989
Number of terms in the objective function 1989
Biggest coefficient in the objective function 268
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 382524
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 268
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 382524
Number of bits of the biggest sum of numbers19
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= 1989 #constraint= 97
1.49/1.57	c #Conflicts:       1000 | #Learnt:       1004 | 0.612
1.49/1.57	c total clause space: 18.2382MB
1.49/1.57	c total #watches: 171051
5.08/5.14	c total #propagations: 148676 / total #impl: 8920585 (eff. 0.017)
5.08/5.14	c #Conflicts:       2000 | #Learnt:       2028 | 0.322
5.08/5.14	c total clause space: 29.637MB
5.08/5.14	c total #watches: 424323
10.28/10.38	c total #propagations: 216967 / total #impl: 41416075 (eff. 0.005)
10.28/10.38	c GC COLLECT
10.28/10.38	c #Conflicts:       3000 | #Learnt:       2042 | 0.240
10.28/10.38	c total clause space: 48.1602MB
10.28/10.38	c total #watches: 545813
17.38/17.49	c total #propagations: 291845 / total #impl: 78627866 (eff. 0.004)
17.38/17.49	c #Conflicts:       4000 | #Learnt:       3056 | 0.196
17.38/17.49	c total clause space: 78.2603MB
17.38/17.49	c total #watches: 887267
24.87/24.93	c total #propagations: 337336 / total #impl: 146375708 (eff. 0.002)
24.87/24.93	c GC COLLECT
24.87/24.93	c #Conflicts:       5000 | #Learnt:       2413 | 0.159
24.87/24.93	c total clause space: 78.2603MB
24.87/24.93	c total #watches: 952479
34.78/34.81	c total #propagations: 367353 / total #impl: 202454788 (eff. 0.002)
34.78/34.81	c #Conflicts:       6000 | #Learnt:       3414 | 0.141
34.78/34.81	c total clause space: 78.2603MB
34.78/34.81	c total #watches: 1265916
43.97/44.07	c total #propagations: 394509 / total #impl: 286257430 (eff. 0.001)
43.97/44.07	c GC COLLECT
43.97/44.07	c #Conflicts:       7000 | #Learnt:       2300 | 0.121
43.97/44.07	c total clause space: 127.173MB
43.97/44.07	c total #watches: 957818
57.97/58.04	c total #propagations: 412695 / total #impl: 366244904 (eff. 0.001)
57.97/58.04	c #Conflicts:       8000 | #Learnt:       3300 | 0.114
57.97/58.04	c total clause space: 127.173MB
57.97/58.04	c total #watches: 1116256
70.66/70.76	c total #propagations: 455527 / total #impl: 418935432 (eff. 0.001)
70.66/70.76	c #Conflicts:       9000 | #Learnt:       4300 | 0.121
70.66/70.76	c total clause space: 127.173MB
70.66/70.76	c total #watches: 1332682
87.96/88.06	c total #propagations: 489809 / total #impl: 483065953 (eff. 0.001)
87.96/88.06	c GC COLLECT
87.96/88.06	c #Conflicts:      10000 | #Learnt:       2792 | 0.109
87.96/88.06	c total clause space: 127.173MB
87.96/88.06	c total #watches: 913833
100.25/100.36	c total #propagations: 525407 / total #impl: 566665773 (eff. 0.001)
100.25/100.36	c #Conflicts:      11000 | #Learnt:       3792 | 0.102
100.25/100.36	c total clause space: 127.173MB
100.25/100.36	c total #watches: 1141098
115.35/115.46	c total #propagations: 561015 / total #impl: 630487428 (eff. 0.001)
115.35/115.46	c #Conflicts:      12000 | #Learnt:       4792 | 0.096
115.35/115.46	c total clause space: 127.173MB
115.35/115.46	c total #watches: 1371317
132.15/132.23	c total #propagations: 593481 / total #impl: 690052449 (eff. 0.001)
132.15/132.23	c #Conflicts:      13000 | #Learnt:       5792 | 0.088
132.15/132.23	c total clause space: 206.656MB
132.15/132.23	c total #watches: 1652061
144.55/144.65	c total #propagations: 621458 / total #impl: 761589786 (eff. 0.001)
144.55/144.65	c GC COLLECT
144.55/144.65	c #Conflicts:      14000 | #Learnt:       3934 | 0.082
144.55/144.65	c total clause space: 206.656MB
144.55/144.65	c total #watches: 1426597
171.24/171.38	c total #propagations: 645324 / total #impl: 830081096 (eff. 0.001)
171.24/171.38	c #Conflicts:      15000 | #Learnt:       4934 | 0.077
171.24/171.38	c total clause space: 206.656MB
171.24/171.38	c total #watches: 1637759
198.54/198.62	c total #propagations: 695269 / total #impl: 868622098 (eff. 0.001)
198.54/198.62	c #Conflicts:      16000 | #Learnt:       5933 | 0.072
198.54/198.62	c total clause space: 206.656MB
198.54/198.62	c total #watches: 1763570
217.14/217.28	c total #propagations: 740810 / total #impl: 924404975 (eff. 0.001)
217.14/217.28	c GC COLLECT
217.14/217.28	c #Conflicts:      17000 | #Learnt:       3772 | 0.069
217.14/217.28	c total clause space: 206.656MB
217.14/217.28	c total #watches: 1127595
237.34/237.41	c total #propagations: 775316 / total #impl: 972543858 (eff. 0.001)
237.34/237.41	c #Conflicts:      18000 | #Learnt:       4772 | 0.068
237.34/237.41	c total clause space: 206.656MB
237.34/237.41	c total #watches: 1379382
257.44/257.51	c total #propagations: 821370 / total #impl: 1030132877 (eff. 0.001)
257.44/257.51	c #Conflicts:      19000 | #Learnt:       5772 | 0.064
257.44/257.51	c total clause space: 206.656MB
257.44/257.51	c total #watches: 1622352
310.72/310.88	c total #propagations: 865119 / total #impl: 1103200361 (eff. 0.001)
310.72/310.88	c #Conflicts:      20000 | #Learnt:       6772 | 0.063
310.72/310.88	c total clause space: 206.656MB
310.72/310.88	c total #watches: 1794336
356.42/356.57	c total #propagations: 971114 / total #impl: 1134971789 (eff. 0.001)
356.42/356.57	c GC COLLECT
356.42/356.57	c #Conflicts:      21000 | #Learnt:       4294 | 0.065
356.42/356.57	c total clause space: 206.656MB
356.42/356.57	c total #watches: 1367463
388.91/389.06	c total #propagations: 1076888 / total #impl: 1163466329 (eff. 0.001)
388.91/389.06	c #Conflicts:      22000 | #Learnt:       5294 | 0.063
388.91/389.06	c total clause space: 206.656MB
388.91/389.06	c total #watches: 1579253
434.80/434.95	c total #propagations: 1144411 / total #impl: 1212297709 (eff. 0.001)
434.80/434.95	c #Conflicts:      23000 | #Learnt:       6294 | 0.069
434.80/434.95	c total clause space: 206.656MB
434.80/434.95	c total #watches: 1783418
541.98/542.19	c total #propagations: 1229041 / total #impl: 1259156813 (eff. 0.001)
541.98/542.19	c #Conflicts:      24000 | #Learnt:       7294 | 0.102
541.98/542.19	c total clause space: 206.656MB
541.98/542.19	c total #watches: 2041537
569.79/569.92	c total #propagations: 1360535 / total #impl: 1287356489 (eff. 0.001)
569.79/569.92	c GC COLLECT
569.79/569.92	c #Conflicts:      25000 | #Learnt:       4506 | 0.100
569.79/569.92	c total clause space: 206.656MB
569.79/569.92	c total #watches: 1485200
591.58/591.77	c total #propagations: 1394315 / total #impl: 1352313212 (eff. 0.001)
591.58/591.77	c #Conflicts:      26000 | #Learnt:       5506 | 0.097
591.58/591.77	c total clause space: 206.656MB
591.58/591.77	c total #watches: 1717886
608.38/608.50	c total #propagations: 1428738 / total #impl: 1424871576 (eff. 0.001)
608.38/608.50	c #Conflicts:      27000 | #Learnt:       6506 | 0.093
608.38/608.50	c total clause space: 206.656MB
608.38/608.50	c total #watches: 2028324
634.37/634.55	c total #propagations: 1446792 / total #impl: 1527289163 (eff. 0.001)
634.37/634.55	c #Conflicts:      28000 | #Learnt:       7506 | 0.090
634.37/634.55	c total clause space: 206.656MB
634.37/634.55	c total #watches: 2300431
662.37/662.54	c total #propagations: 1473346 / total #impl: 1630958211 (eff. 0.001)
662.37/662.54	c GC COLLECT
662.37/662.54	c #Conflicts:      29000 | #Learnt:       4397 | 0.087
662.37/662.54	c total clause space: 206.656MB
662.37/662.54	c total #watches: 1688968
680.56/680.76	c total #propagations: 1503264 / total #impl: 1717800306 (eff. 0.001)
680.56/680.76	c #Conflicts:      30000 | #Learnt:       5397 | 0.084
680.56/680.76	c total clause space: 206.656MB
680.56/680.76	c total #watches: 2018306
704.26/704.47	c total #propagations: 1525468 / total #impl: 1829867569 (eff. 0.001)
704.26/704.47	c #Conflicts:      31000 | #Learnt:       6397 | 0.081
704.26/704.47	c total clause space: 206.656MB
704.26/704.47	c total #watches: 2274738
740.36/740.50	c total #propagations: 1549784 / total #impl: 1949095494 (eff. 0.001)
740.36/740.50	c #Conflicts:      32000 | #Learnt:       7397 | 0.079
740.36/740.50	c total clause space: 206.656MB
740.36/740.50	c total #watches: 2508960
811.94/812.18	c total #propagations: 1585394 / total #impl: 2028629241 (eff. 0.001)
811.94/812.18	c #Conflicts:      33000 | #Learnt:       8397 | 0.079
811.94/812.18	c total clause space: 335.816MB
811.94/812.18	c total #watches: 2779209
838.74/838.92	c total #propagations: 1648741 / total #impl: 2079486416 (eff. 0.001)
838.74/838.92	c GC COLLECT
838.74/838.92	c #Conflicts:      34000 | #Learnt:       4998 | 0.077
838.74/838.92	c total clause space: 335.816MB
838.74/838.92	c total #watches: 1757016
859.94/860.16	c total #propagations: 1678263 / total #impl: 2162040295 (eff. 0.001)
859.94/860.16	c #Conflicts:      35000 | #Learnt:       5998 | 0.075
859.94/860.16	c total clause space: 335.816MB
859.94/860.16	c total #watches: 1934789
877.54/877.76	c total #propagations: 1709010 / total #impl: 2246863776 (eff. 0.001)
877.54/877.76	c #Conflicts:      36000 | #Learnt:       6998 | 0.073
877.54/877.76	c total clause space: 335.816MB
877.54/877.76	c total #watches: 2085611
893.74/893.95	c total #propagations: 1734357 / total #impl: 2320786038 (eff. 0.001)
893.74/893.95	c #Conflicts:      37000 | #Learnt:       7998 | 0.071
893.74/893.95	c total clause space: 335.816MB
893.74/893.95	c total #watches: 2396275
915.93/916.10	c total #propagations: 1748276 / total #impl: 2431583299 (eff. 0.001)
915.93/916.10	c #Conflicts:      38000 | #Learnt:       8998 | 0.069
915.93/916.10	c total clause space: 335.816MB
915.93/916.10	c total #watches: 2620156
934.03/934.26	c total #propagations: 1768706 / total #impl: 2528350381 (eff. 0.001)
934.03/934.26	c GC COLLECT
934.03/934.26	c #Conflicts:      39000 | #Learnt:       5296 | 0.067
934.03/934.26	c total clause space: 335.816MB
934.03/934.26	c total #watches: 1812774
946.22/946.46	c total #propagations: 1786267 / total #impl: 2651093536 (eff. 0.001)
946.22/946.46	c #Conflicts:      40000 | #Learnt:       6296 | 0.066
946.22/946.46	c total clause space: 335.816MB
946.22/946.46	c total #watches: 2186881
960.92/961.20	c total #propagations: 1800213 / total #impl: 2790103971 (eff. 0.001)
960.92/961.20	c #Conflicts:      41000 | #Learnt:       7296 | 0.064
960.92/961.20	c total clause space: 335.816MB
960.92/961.20	c total #watches: 2506466
978.62/978.86	c total #propagations: 1813546 / total #impl: 2908749663 (eff. 0.001)
978.62/978.86	c #Conflicts:      42000 | #Learnt:       8296 | 0.063
978.62/978.86	c total clause space: 335.816MB
978.62/978.86	c total #watches: 2885068
997.52/997.73	c total #propagations: 1827755 / total #impl: 3048828290 (eff. 0.001)
997.52/997.73	c #Conflicts:      43000 | #Learnt:       9296 | 0.061
997.52/997.73	c total clause space: 335.816MB
997.52/997.73	c total #watches: 3168412
1017.51/1017.73	c total #propagations: 1841928 / total #impl: 3147104159 (eff. 0.001)
1017.51/1017.73	c GC COLLECT
1017.51/1017.73	c #Conflicts:      44000 | #Learnt:       5318 | 0.060
1017.51/1017.73	c total clause space: 335.816MB
1017.51/1017.73	c total #watches: 2155640
1034.21/1034.45	c total #propagations: 1857062 / total #impl: 3305290793 (eff. 0.001)
1034.21/1034.45	c #Conflicts:      45000 | #Learnt:       6318 | 0.059
1034.21/1034.45	c total clause space: 335.816MB
1034.21/1034.45	c total #watches: 2484663
1097.50/1097.78	c total #propagations: 1873572 / total #impl: 3455818534 (eff. 0.001)
1097.50/1097.78	c #Conflicts:      46000 | #Learnt:       7318 | 0.059
1097.50/1097.78	c total clause space: 335.816MB
1097.50/1097.78	c total #watches: 2738818
1137.89/1138.18	c total #propagations: 1925461 / total #impl: 3515430069 (eff. 0.001)
1137.89/1138.18	c #Conflicts:      47000 | #Learnt:       8318 | 0.057
1137.89/1138.18	c total clause space: 335.816MB
1137.89/1138.18	c total #watches: 3021187
1167.69/1167.98	c total #propagations: 1953882 / total #impl: 3590284798 (eff. 0.001)
1167.69/1167.98	c #Conflicts:      48000 | #Learnt:       9318 | 0.056
1167.69/1167.98	c total clause space: 335.816MB
1167.69/1167.98	c total #watches: 3290243
1252.97/1253.21	c total #propagations: 1975394 / total #impl: 3668799914 (eff. 0.001)
1252.97/1253.21	c #Conflicts:      49000 | #Learnt:      10318 | 0.055
1252.97/1253.21	c total clause space: 335.816MB
1252.97/1253.21	c total #watches: 3581415
1289.66/1289.94	c total #propagations: 2029345 / total #impl: 3736906108 (eff. 0.001)
1289.66/1289.94	c GC COLLECT
1289.66/1289.94	c #Conflicts:      50000 | #Learnt:       6012 | 0.054
1289.66/1289.94	c total clause space: 335.816MB
1289.66/1289.94	c total #watches: 2130489
1319.06/1319.33	c total #propagations: 2058763 / total #impl: 3804469932 (eff. 0.001)
1319.06/1319.33	c #Conflicts:      51000 | #Learnt:       7012 | 0.053
1319.06/1319.33	c total clause space: 335.816MB
1319.06/1319.33	c total #watches: 2411199
1355.25/1355.58	c total #propagations: 2089090 / total #impl: 3891948633 (eff. 0.001)
1355.25/1355.58	c #Conflicts:      52000 | #Learnt:       8012 | 0.052
1355.25/1355.58	c total clause space: 335.816MB
1355.25/1355.58	c total #watches: 2674933
1389.75/1390.01	c total #propagations: 2124246 / total #impl: 3974094015 (eff. 0.001)
1389.75/1390.01	c #Conflicts:      53000 | #Learnt:       9012 | 0.052
1389.75/1390.01	c total clause space: 335.816MB
1389.75/1390.01	c total #watches: 2902456
1437.85/1438.18	c total #propagations: 2152581 / total #impl: 4053410528 (eff. 0.001)
1437.85/1438.18	c #Conflicts:      54000 | #Learnt:      10012 | 0.051
1437.85/1438.18	c total clause space: 335.816MB
1437.85/1438.18	c total #watches: 3212443
1500.03/1500.39	c total #propagations: 2184428 / total #impl: 4152891688 (eff. 0.001)
1500.03/1500.39	c #Conflicts:      55000 | #Learnt:      11012 | 0.050
1500.03/1500.39	c total clause space: 335.816MB
1500.03/1500.39	c total #watches: 3546111
1524.73/1525.06	c total #propagations: 2220963 / total #impl: 4254663417 (eff. 0.001)
1524.73/1525.06	c GC COLLECT
1524.73/1525.06	c #Conflicts:      56000 | #Learnt:       6409 | 0.049
1524.73/1525.06	c total clause space: 335.816MB
1524.73/1525.06	c total #watches: 2307114
1561.62/1561.96	c total #propagations: 2242806 / total #impl: 4362947157 (eff. 0.001)
1561.62/1561.96	c #Conflicts:      57000 | #Learnt:       7409 | 0.048
1561.62/1561.96	c total clause space: 335.816MB
1561.62/1561.96	c total #watches: 2577160
1598.81/1599.19	c total #propagations: 2276932 / total #impl: 4468352906 (eff. 0.001)
1598.81/1599.19	c #Conflicts:      58000 | #Learnt:       8409 | 0.048
1598.81/1599.19	c total clause space: 335.816MB
1598.81/1599.19	c total #watches: 2859077
1628.61/1628.92	c total #propagations: 2306038 / total #impl: 4549156887 (eff. 0.001)
1628.61/1628.92	c #Conflicts:      59000 | #Learnt:       9409 | 0.047
1628.61/1628.92	c total clause space: 335.816MB
1628.61/1628.92	c total #watches: 3096777
1658.21/1658.51	c total #propagations: 2330234 / total #impl: 4613235542 (eff. 0.001)
1658.21/1658.51	c #Conflicts:      60000 | #Learnt:      10409 | 0.046
1658.21/1658.51	c total clause space: 335.816MB
1658.21/1658.51	c total #watches: 3349224
1696.70/1697.09	c total #propagations: 2350605 / total #impl: 4694827199 (eff. 0.001)
1696.70/1697.09	c #Conflicts:      61000 | #Learnt:      11409 | 0.045
1696.70/1697.09	c total clause space: 335.816MB
1696.70/1697.09	c total #watches: 3609538
1725.71/1726.07	c total #propagations: 2373082 / total #impl: 4777794936 (eff. 0.000)
1725.71/1726.07	c GC COLLECT
1725.71/1726.07	c #Conflicts:      62000 | #Learnt:       6509 | 0.045
1725.71/1726.07	c total clause space: 335.816MB
1725.71/1726.07	c total #watches: 2227408
1740.70/1741.03	c total #propagations: 2394700 / total #impl: 4857809757 (eff. 0.000)
1740.70/1741.03	c #Conflicts:      63000 | #Learnt:       7509 | 0.044
1740.70/1741.03	c total clause space: 335.816MB
1740.70/1741.03	c total #watches: 2552339
1758.80/1759.17	c total #propagations: 2409587 / total #impl: 4945066053 (eff. 0.000)
1758.80/1759.17	c #Conflicts:      64000 | #Learnt:       8509 | 0.043
1758.80/1759.17	c total clause space: 335.816MB
1758.80/1759.17	c total #watches: 2856438

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-4087961-1465387574/watcher-4087961-1465387574 -o /tmp/evaluation-result-4087961-1465387574/solver-4087961-1465387574 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465387573-25633 --watchdog 1960 --input HOME/instance-4087961-1465387574.opb ./cdcl-cuttingplanes-opt-linearsearch-release 

pid=25654
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: 1.39 1.91 1.69 4/175 25661
/proc/meminfo: memFree=30054000/32872528 swapFree=16636/1570076
[pid=25660] ppid=25654 vsize=29112 CPUtime=0 cores=1,3,5,7
/proc/25660/stat : 25660 (cdcl-cuttingpla) R 25654 25660 25616 0 -1 4202496 277 0 0 0 0 0 0 0 20 0 1 0 120689712 29810688 5268 33554432000 4194304 6201397 140735145527536 140733847772824 5194148 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/25660/statm: 7278 5268 130 491 0 6777 0

[startup+0.100212 s]
/proc/loadavg: 1.39 1.91 1.69 4/175 25661
/proc/meminfo: memFree=30054000/32872528 swapFree=16636/1570076
[pid=25660] ppid=25654 vsize=33832 CPUtime=0.09 cores=1,3,5,7
/proc/25660/stat : 25660 (cdcl-cuttingpla) R 25654 25660 25616 0 -1 4202496 809 0 0 0 9 0 0 0 20 0 1 0 120689712 34643968 6642 33554432000 4194304 6201397 140735145527536 140733847772824 4207716 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/25660/statm: 8458 6642 146 491 0 7957 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33832

[startup+0.200355 s]
/proc/loadavg: 1.39 1.91 1.69 4/175 25661
/proc/meminfo: memFree=30054000/32872528 swapFree=16636/1570076
[pid=25660] ppid=25654 vsize=34480 CPUtime=0.19 cores=1,3,5,7
/proc/25660/stat : 25660 (cdcl-cuttingpla) R 25654 25660 25616 0 -1 4202496 1129 0 0 0 19 0 0 0 20 0 1 0 120689712 35307520 7420 33554432000 4194304 6201397 140735145527536 140733847772824 4207716 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/25660/statm: 8620 7420 146 491 0 8119 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 34480

[startup+0.300293 s]
/proc/loadavg: 1.39 1.91 1.69 4/175 25661
/proc/meminfo: memFree=30054000/32872528 swapFree=16636/1570076
[pid=25660] ppid=25654 vsize=37332 CPUtime=0.29 cores=1,3,5,7
/proc/25660/stat : 25660 (cdcl-cuttingpla) R 25654 25660 25616 0 -1 4202496 1463 0 0 0 29 0 0 0 20 0 1 0 120689712 38227968 7637 33554432000 4194304 6201397 140735145527536 140733847772824 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/25660/statm: 9333 7638 147 491 0 8832 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37332

[startup+0.700244 s]
/proc/loadavg: 1.39 1.91 1.69 4/175 25661
/proc/meminfo: memFree=30054000/32872528 swapFree=16636/1570076
[pid=25660] ppid=25654 vsize=37916 CPUtime=0.69 cores=1,3,5,7
/proc/25660/stat : 25660 (cdcl-cuttingpla) R 25654 25660 25616 0 -1 4202496 2073 0 0 0 69 0 0 0 20 0 1 0 120689712 38825984 8066 33554432000 4194304 6201397 140735145527536 140735145526168 4213257 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/25660/statm: 9479 8066 147 491 0 8978 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37916

[startup+1.50024 s]
/proc/loadavg: 1.39 1.91 1.69 4/177 25663
/proc/meminfo: memFree=29982828/32872528 swapFree=16636/1570076
[pid=25660] ppid=25654 vsize=43028 CPUtime=1.49 cores=1,3,5,7
/proc/25660/stat : 25660 (cdcl-cuttingpla) R 25654 25660 25616 0 -1 4202496 2716 0 0 0 148 1 0 0 20 0 1 0 120689712 44060672 9074 33554432000 4194304 6201397 140735145527536 140735145526168 4213186 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/25660/statm: 10757 9074 147 491 0 10256 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 43028

[startup+3.10023 s]
/proc/loadavg: 1.39 1.91 1.69 4/177 25663
/proc/meminfo: memFree=29969296/32872528 swapFree=16636/1570076
[pid=25660] ppid=25654 vsize=64112 CPUtime=3.09 cores=1,3,5,7
/proc/25660/stat : 25660 (cdcl-cuttingpla) R 25654 25660 25616 0 -1 4202496 3658 0 0 0 308 1 0 0 20 0 1 0 120689712 65650688 12454 33554432000 4194304 6201397 140735145527536 140735145526488 4213170 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/25660/statm: 16028 12454 160 491 0 15527 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 64112

[startup+6.30025 s]
/proc/loadavg: 1.44 1.91 1.69 5/177 25663
/proc/meminfo: memFree=29937428/32872528 swapFree=16636/1570076
[pid=25660] ppid=25654 vsize=65868 CPUtime=6.28 cores=1,3,5,7
/proc/25660/stat : 25660 (cdcl-cuttingpla) R 25654 25660 25616 0 -1 4202496 5661 0 0 0 627 1 0 0 20 0 1 0 120689712 67448832 15386 33554432000 4194304 6201397 140735145527536 140735145526664 4213186 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/25660/statm: 16467 15386 160 491 0 15966 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 65868

[startup+12.7003 s]
/proc/loadavg: 1.48 1.91 1.69 4/177 25663
/proc/meminfo: memFree=29912088/32872528 swapFree=16636/1570076
[pid=25660] ppid=25654 vsize=88844 CPUtime=12.69 cores=1,3,5,7
/proc/25660/stat : 25660 (cdcl-cuttingpla) R 25654 25660 25616 0 -1 4202496 6999 0 0 0 1267 2 0 0 20 0 1 0 120689712 90976256 20711 33554432000 4194304 6201397 140735145527536 140735145526248 4213253 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/25660/statm: 22211 20711 166 491 0 21710 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 88844

[startup+25.5003 s]
/proc/loadavg: 1.60 1.92 1.70 4/177 25663
/proc/meminfo: memFree=29872924/32872528 swapFree=16636/1570076
[pid=25660] ppid=25654 vsize=124196 CPUtime=25.47 cores=1,3,5,7
/proc/25660/stat : 25660 (cdcl-cuttingpla) R 25654 25660 25616 0 -1 4202496 9251 0 0 0 2545 2 0 0 20 0 1 0 120689712 127176704 26053 33554432000 4194304 6201397 140735145527536 140735145526248 4213261 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/25660/statm: 31049 26053 166 491 0 30548 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 124196

[startup+51.1004 s]
/proc/loadavg: 1.87 1.95 1.71 4/177 25663
/proc/meminfo: memFree=29805448/32872528 swapFree=16636/1570076
[pid=25660] ppid=25654 vsize=180776 CPUtime=51.07 cores=1,3,5,7
/proc/25660/stat : 25660 (cdcl-cuttingpla) R 25654 25660 25616 0 -1 4202496 11551 0 0 0 5103 4 0 0 20 0 1 0 120689712 185114624 35649 33554432000 4194304 6201397 140735145527536 140735145526488 4213261 0 0 4096 8388610 0 0 0 17 1 0 0 0 0 0
/proc/25660/statm: 45194 35649 166 491 0 44693 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 180776

[startup+102.3 s]
/proc/loadavg: 1.94 1.96 1.73 4/177 25664
/proc/meminfo: memFree=29766984/32872528 swapFree=16636/1570076
[pid=25660] ppid=25654 vsize=184512 CPUtime=102.26 cores=1,3,5,7
/proc/25660/stat : 25660 (cdcl-cuttingpla) R 25654 25660 25616 0 -1 4202496 12677 0 0 0 10222 4 0 0 20 0 1 0 120689712 188940288 41875 33554432000 4194304 6201397 140735145527536 140735145526664 4213170 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/25660/statm: 46128 41875 166 491 0 45627 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 184512

[startup+162.3 s]
/proc/loadavg: 2.12 2.01 1.76 4/177 25665
/proc/meminfo: memFree=29718480/32872528 swapFree=16636/1570076
[pid=25660] ppid=25654 vsize=270744 CPUtime=162.24 cores=1,3,5,7
/proc/25660/stat : 25660 (cdcl-cuttingpla) R 25654 25660 25616 0 -1 4202496 14432 0 0 0 16219 5 0 0 20 0 1 0 120689712 277241856 47880 33554432000 4194304 6201397 140735145527536 140735145526200 4213110 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/25660/statm: 67686 47880 166 491 0 67185 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 270744

[startup+222.308 s]
/proc/loadavg: 2.15 2.04 1.78 4/177 25666
/proc/meminfo: memFree=29685084/32872528 swapFree=16636/1570076
[pid=25660] ppid=25654 vsize=273340 CPUtime=222.25 cores=1,3,5,7
/proc/25660/stat : 25660 (cdcl-cuttingpla) R 25654 25660 25616 0 -1 4202496 15257 0 0 0 22219 6 0 0 20 0 1 0 120689712 279900160 55323 33554432000 4194304 6201397 140735145527536 140735145526664 4213192 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/25660/statm: 68335 55323 166 491 0 67834 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 273340

[startup+282.3 s]
/proc/loadavg: 2.19 2.07 1.81 5/178 25671
/proc/meminfo: memFree=29667852/32872528 swapFree=16636/1570076
[pid=25660] ppid=25654 vsize=275036 CPUtime=282.23 cores=1,3,5,7
/proc/25660/stat : 25660 (cdcl-cuttingpla) R 25654 25660 25616 0 -1 4202496 15727 0 0 0 28217 6 0 0 20 0 1 0 120689712 281636864 57326 33554432000 4194304 6201397 140735145527536 140735145526200 4213192 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/25660/statm: 68759 57326 166 491 0 68258 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 275036

[startup+342.3 s]
/proc/loadavg: 2.25 2.11 1.84 4/177 25672
/proc/meminfo: memFree=29648508/32872528 swapFree=16636/1570076
[pid=25660] ppid=25654 vsize=276720 CPUtime=342.21 cores=1,3,5,7
/proc/25660/stat : 25660 (cdcl-cuttingpla) R 25654 25660 25616 0 -1 4202496 16070 0 0 0 34215 6 0 0 20 0 1 0 120689712 283361280 61244 33554432000 4194304 6201397 140735145527536 140735145526376 4213186 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/25660/statm: 69180 61244 166 491 0 68679 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 276720

[startup+402.3 s]
/proc/loadavg: 2.20 2.12 1.85 4/177 25673
/proc/meminfo: memFree=29638960/32872528 swapFree=16640/1570080
[pid=25660] ppid=25654 vsize=277120 CPUtime=402.2 cores=1,3,5,7
/proc/25660/stat : 25660 (cdcl-cuttingpla) R 25654 25660 25616 0 -1 4202496 16222 0 0 0 40214 6 0 0 20 0 1 0 120689712 283770880 61396 33554432000 4194304 6201397 140735145527536 140735145525992 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/25660/statm: 69280 61396 166 491 0 68779 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 277120

[startup+462.3 s]
/proc/loadavg: 2.31 2.16 1.88 5/177 25674
/proc/meminfo: memFree=29629920/32872528 swapFree=16636/1570076
[pid=25660] ppid=25654 vsize=280548 CPUtime=462.2 cores=1,3,5,7
/proc/25660/stat : 25660 (cdcl-cuttingpla) R 25654 25660 25616 0 -1 4202496 16962 0 0 0 46213 7 0 0 20 0 1 0 120689712 287281152 62136 33554432000 4194304 6201397 140735145527536 140735145526376 4213178 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/25660/statm: 70137 62136 166 491 0 69636 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 280548

[startup+522.3 s]
/proc/loadavg: 2.26 2.17 1.90 4/177 25675
/proc/meminfo: memFree=29624896/32872528 swapFree=16636/1570076
[pid=25660] ppid=25654 vsize=282308 CPUtime=522.19 cores=1,3,5,7
/proc/25660/stat : 25660 (cdcl-cuttingpla) R 25654 25660 25616 0 -1 4202496 17293 0 0 0 52212 7 0 0 20 0 1 0 120689712 289083392 62467 33554432000 4194304 6201397 140735145527536 140735145526200 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/25660/statm: 70577 62467 166 491 0 70076 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 282308

[startup+582.3 s]
/proc/loadavg: 2.20 2.17 1.91 4/177 25677
/proc/meminfo: memFree=29601948/32872528 swapFree=16636/1570076
[pid=25660] ppid=25654 vsize=284180 CPUtime=582.18 cores=1,3,5,7
/proc/25660/stat : 25660 (cdcl-cuttingpla) R 25654 25660 25616 0 -1 4202496 17672 0 0 0 58210 8 0 0 20 0 1 0 120689712 291000320 64890 33554432000 4194304 6201397 140735145527536 140735145526664 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/25660/statm: 71045 64890 166 491 0 70544 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 284180


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


[startup+882.308 s]
/proc/loadavg: 2.07 2.13 1.96 4/178 25686
/proc/meminfo: memFree=29499744/32872528 swapFree=16636/1570076
[pid=25660] ppid=25654 vsize=425260 CPUtime=882.15 cores=1,3,5,7
/proc/25660/stat : 25660 (cdcl-cuttingpla) R 25654 25660 25616 0 -1 4202496 20221 0 0 0 88205 10 0 0 20 0 1 0 120689712 435466240 77837 33554432000 4194304 6201397 140735145527536 140735145526248 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/25660/statm: 106315 77837 166 491 0 105814 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 425260

[startup+942.3 s]
/proc/loadavg: 2.20 2.15 1.97 4/177 25687
/proc/meminfo: memFree=29467468/32872528 swapFree=16636/1570076
[pid=25660] ppid=25654 vsize=426416 CPUtime=942.12 cores=1,3,5,7
/proc/25660/stat : 25660 (cdcl-cuttingpla) R 25654 25660 25616 0 -1 4202496 20680 0 0 0 94202 10 0 0 20 0 1 0 120689712 436649984 84394 33554432000 4194304 6201397 140735145527536 140735145525992 4213253 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/25660/statm: 106604 84394 166 491 0 106103 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 426416

[startup+1002.3 s]
/proc/loadavg: 2.13 2.14 1.98 4/177 25688
/proc/meminfo: memFree=29461640/32872528 swapFree=16636/1570076
[pid=25660] ppid=25654 vsize=432832 CPUtime=1002.11 cores=1,3,5,7
/proc/25660/stat : 25660 (cdcl-cuttingpla) R 25654 25660 25616 0 -1 4202496 22045 0 0 0 100201 10 0 0 20 0 1 0 120689712 443219968 85758 33554432000 4194304 6201397 140735145527536 140735145526248 4215962 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/25660/statm: 108208 85758 166 491 0 107707 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 432832

[startup+1062.3 s]
/proc/loadavg: 2.17 2.14 1.99 4/177 25689
/proc/meminfo: memFree=29441980/32872528 swapFree=16636/1570076
[pid=25660] ppid=25654 vsize=436292 CPUtime=1062.1 cores=1,3,5,7
/proc/25660/stat : 25660 (cdcl-cuttingpla) R 25654 25660 25616 0 -1 4202496 22790 0 0 0 106199 11 0 0 20 0 1 0 120689712 446763008 90589 33554432000 4194304 6201397 140735145527536 140735145526200 4213268 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/25660/statm: 109073 90589 166 491 0 108572 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 436292

[startup+1122.3 s]
/proc/loadavg: 2.17 2.14 2.00 4/177 25690
/proc/meminfo: memFree=29433552/32872528 swapFree=16636/1570076
[pid=25660] ppid=25654 vsize=438276 CPUtime=1122.1 cores=1,3,5,7
/proc/25660/stat : 25660 (cdcl-cuttingpla) R 25654 25660 25616 0 -1 4202496 23233 0 0 0 112198 12 0 0 20 0 1 0 120689712 448794624 92280 33554432000 4194304 6201397 140735145527536 140735145526200 4213257 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/25660/statm: 109569 92280 166 491 0 109068 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 438276

[startup+1182.3 s]
/proc/loadavg: 2.12 2.13 2.00 4/177 25692
/proc/meminfo: memFree=29432880/32872528 swapFree=16636/1570076
[pid=25660] ppid=25654 vsize=439908 CPUtime=1182.08 cores=1,3,5,7
/proc/25660/stat : 25660 (cdcl-cuttingpla) R 25654 25660 25616 0 -1 4202496 23534 0 0 0 118196 12 0 0 20 0 1 0 120689712 450465792 92579 33554432000 4194304 6201397 140735145527536 140735145526200 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/25660/statm: 109977 92579 166 491 0 109476 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 439908

[startup+1242.3 s]
/proc/loadavg: 2.22 2.16 2.02 4/177 25693
/proc/meminfo: memFree=29428812/32872528 swapFree=16636/1570076
[pid=25660] ppid=25654 vsize=443332 CPUtime=1242.07 cores=1,3,5,7
/proc/25660/stat : 25660 (cdcl-cuttingpla) R 25654 25660 25616 0 -1 4202496 24163 0 0 0 124195 12 0 0 20 0 1 0 120689712 453971968 93718 33554432000 4194304 6201397 140735145527536 140735145526200 4213186 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/25660/statm: 110833 93718 166 491 0 110332 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 443332

[startup+1302.3 s]
/proc/loadavg: 2.30 2.19 2.03 4/177 25694
/proc/meminfo: memFree=29415048/32872528 swapFree=16636/1570076
[pid=25660] ppid=25654 vsize=444548 CPUtime=1302.06 cores=1,3,5,7
/proc/25660/stat : 25660 (cdcl-cuttingpla) R 25654 25660 25616 0 -1 4202496 24365 0 0 0 130194 12 0 0 20 0 1 0 120689712 455217152 96986 33554432000 4194304 6201397 140735145527536 140735145526664 4213186 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/25660/statm: 111137 96986 166 491 0 110636 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 444548

[startup+1362.3 s]
/proc/loadavg: 2.16 2.17 2.03 4/177 25695
/proc/meminfo: memFree=29414696/32872528 swapFree=16636/1570076
[pid=25660] ppid=25654 vsize=444708 CPUtime=1362.05 cores=1,3,5,7
/proc/25660/stat : 25660 (cdcl-cuttingpla) R 25654 25660 25616 0 -1 4202496 24423 0 0 0 136193 12 0 0 20 0 1 0 120689712 455380992 97044 33554432000 4194304 6201397 140735145527536 140735145526664 4213186 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/25660/statm: 111177 97044 166 491 0 110676 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 444708

[startup+1422.3 s]
/proc/loadavg: 2.10 2.15 2.03 4/177 25696
/proc/meminfo: memFree=29411424/32872528 swapFree=16636/1570076
[pid=25660] ppid=25654 vsize=445640 CPUtime=1422.05 cores=1,3,5,7
/proc/25660/stat : 25660 (cdcl-cuttingpla) R 25654 25660 25616 0 -1 4202496 24591 0 0 0 142193 12 0 0 20 0 1 0 120689712 456335360 97212 33554432000 4194304 6201397 140735145527536 140735145526200 4213261 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/25660/statm: 111410 97212 166 491 0 110909 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 445640

[startup+1482.3 s]
/proc/loadavg: 2.46 2.23 2.07 4/178 25701
/proc/meminfo: memFree=29405540/32872528 swapFree=16636/1570076
[pid=25660] ppid=25654 vsize=447624 CPUtime=1482.03 cores=1,3,5,7
/proc/25660/stat : 25660 (cdcl-cuttingpla) R 25654 25660 25616 0 -1 4202496 24915 0 0 0 148190 13 0 0 20 0 1 0 120689712 458366976 97536 33554432000 4194304 6201397 140735145527536 140735145526200 4213170 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/25660/statm: 111906 97536 166 491 0 111405 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 447624

[startup+1542.31 s]
/proc/loadavg: 2.31 2.23 2.08 4/177 25702
/proc/meminfo: memFree=29385772/32872528 swapFree=16636/1570076
[pid=25660] ppid=25654 vsize=449064 CPUtime=1542.03 cores=1,3,5,7
/proc/25660/stat : 25660 (cdcl-cuttingpla) R 25654 25660 25616 0 -1 4202496 25180 0 0 0 154190 13 0 0 20 0 1 0 120689712 459841536 100867 33554432000 4194304 6201397 140735145527536 140735145526664 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/25660/statm: 112266 100867 166 491 0 111765 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 449064

[startup+1602.3 s]
/proc/loadavg: 2.20 2.22 2.08 5/177 25703
/proc/meminfo: memFree=29379024/32872528 swapFree=16636/1570076
[pid=25660] ppid=25654 vsize=449256 CPUtime=1602.01 cores=1,3,5,7
/proc/25660/stat : 25660 (cdcl-cuttingpla) R 25654 25660 25616 0 -1 4202496 25215 0 0 0 160188 13 0 0 20 0 1 0 120689712 460038144 100902 33554432000 4194304 6201397 140735145527536 140735145526664 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/25660/statm: 112314 100902 166 491 0 111813 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 449256

[startup+1662.3 s]
/proc/loadavg: 2.24 2.22 2.09 4/177 25704
/proc/meminfo: memFree=29378160/32872528 swapFree=16636/1570076
[pid=25660] ppid=25654 vsize=449608 CPUtime=1662.01 cores=1,3,5,7
/proc/25660/stat : 25660 (cdcl-cuttingpla) R 25654 25660 25616 0 -1 4202496 25306 0 0 0 166188 13 0 0 20 0 1 0 120689712 460398592 100993 33554432000 4194304 6201397 140735145527536 140735145526664 4214482 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/25660/statm: 112402 100993 166 491 0 111901 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 449608

[startup+1722.3 s]
/proc/loadavg: 2.18 2.21 2.09 4/177 25705
/proc/meminfo: memFree=29365020/32872528 swapFree=16636/1570076
[pid=25660] ppid=25654 vsize=450504 CPUtime=1722 cores=1,3,5,7
/proc/25660/stat : 25660 (cdcl-cuttingpla) R 25654 25660 25616 0 -1 4202496 25483 0 0 0 172186 14 0 0 20 0 1 0 120689712 461316096 104236 33554432000 4194304 6201397 140735145527536 140735145526200 4213240 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/25660/statm: 112626 104236 166 491 0 112125 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 450504

[startup+1782.3 s]
/proc/loadavg: 2.11 2.18 2.09 4/177 25707
/proc/meminfo: memFree=29363416/32872528 swapFree=16636/1570076
[pid=25660] ppid=25654 vsize=450984 CPUtime=1781.99 cores=1,3,5,7
/proc/25660/stat : 25660 (cdcl-cuttingpla) R 25654 25660 25616 0 -1 4202496 25553 0 0 0 178185 14 0 0 20 0 1 0 120689712 461807616 104306 33554432000 4194304 6201397 140735145527536 140735145526200 4213186 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/25660/statm: 112746 104306 166 491 0 112245 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 450984



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.22 2.20 2.10 4/177 25707
/proc/meminfo: memFree=29363172/32872528 swapFree=16636/1570076
[pid=25660] ppid=25654 vsize=451144 CPUtime=1800.09 cores=1,3,5,7
/proc/25660/stat : 25660 (cdcl-cuttingpla) R 25654 25660 25616 0 -1 4202496 25591 0 0 0 179995 14 0 0 20 0 1 0 120689712 461971456 104344 33554432000 4194304 6201397 140735145527536 140735145526200 4213186 0 0 4096 8388610 0 0 0 17 5 0 0 0 0 0
/proc/25660/statm: 112786 104344 166 491 0 112285 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 451144

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

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.143978
maximum resident set size= 417376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25591
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= 20
involuntary context switches= 2124

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.48132 second user time and 6.97894 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-08 14:06:14
IDJOB=4087961
IDBENCH=1852
IDSOLVER=2550
FILE ID=node140/4087961-1465387574
RUNJOBID= node140-1465387573-25633
PBS_JOBID= 19853863
Free space on /tmp= 71744 MiB

SOLVER NAME= cdcl-cuttingplanes OPT linear search 2016-05-01
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-l152lav.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087961-1465387574/watcher-4087961-1465387574 -o /tmp/evaluation-result-4087961-1465387574/solver-4087961-1465387574 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465387573-25633 --watchdog 1960 --input HOME/instance-4087961-1465387574.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= 1a5510d564851e49e3b50f1a87922ca2
RANDOM SEED=164860895

node140.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.768
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.768
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.768
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.768
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.56
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.768
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.768
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.768
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.768
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	: 5334.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30057692 kB
Buffers:          105760 kB
Cached:           386280 kB
SwapCached:         1664 kB
Active:           141608 kB
Inactive:         353116 kB
Active(anon):       2192 kB
Inactive(anon):     2932 kB
Active(file):     139416 kB
Inactive(file):   350184 kB
Unevictable:     1570076 kB
Mlocked:           16636 kB
SwapTotal:      67108856 kB
SwapFree:       67098768 kB
Dirty:              2724 kB
Writeback:             0 kB
AnonPages:       1571892 kB
Mapped:             6776 kB
Shmem:                 0 kB
Slab:             614040 kB
SReclaimable:      58420 kB
SUnreclaim:       555620 kB
KernelStack:        1336 kB
PageTables:         6624 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1666592 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1556480 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71736 MiB
End job on node140 at 2016-06-08 14:36:14