Trace number 4087705

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.09 1800.4

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_024_area_delay.opb
MD5SUM58f3055ef9bb388e237f57f2627386e0
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark24
Best CPU time to get the best result obtained on this benchmark0.165974
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved YES
Number of variables3392
Total number of constraints9001
Number of constraints which are clauses9001
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint63
Number of terms in the objective function 1642
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1642
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 1642
Number of bits of the biggest sum of numbers11
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.02	c * #variable= 3392 #constraint= 9001
0.00/0.04	c * #variable= 3392 #constraint= 9001
0.48/0.51	c S1->S2
0.48/0.51	c S1->S2
0.48/0.51	c S1->S2
0.48/0.51	c S1->S2
0.48/0.51	c S2->S1
0.48/0.51	c S1->S2
0.48/0.51	c #Conflicts:       1000 | #Learnt:        821 | 0.000
0.48/0.51	c total clause space: 29.637MB
0.48/0.51	c total #watches: 708901
1.39/1.47	c total #propagations: 542717 / total #impl: 2586659 (eff. 0.210)
1.39/1.47	c #Conflicts:       2000 | #Learnt:       1821 | 0.002
1.39/1.47	c total clause space: 48.1602MB
1.39/1.47	c total #watches: 1024551
3.59/3.60	c total #propagations: 934153 / total #impl: 19650743 (eff. 0.048)
3.59/3.60	c GC COLLECT
3.59/3.60	c #Conflicts:       3000 | #Learnt:       1917 | 0.001
3.59/3.60	c total clause space: 48.1602MB
3.59/3.60	c total #watches: 709944
8.39/8.47	c total #propagations: 1113890 / total #impl: 46166986 (eff. 0.024)
8.39/8.47	c #Conflicts:       4000 | #Learnt:       2917 | 0.001
8.39/8.47	c total clause space: 48.1602MB
8.39/8.47	c total #watches: 875847
12.78/12.82	c total #propagations: 1380933 / total #impl: 100725796 (eff. 0.014)
12.78/12.82	c GC COLLECT
12.78/12.82	c #Conflicts:       5000 | #Learnt:       2314 | 0.001
12.78/12.82	c total clause space: 48.1602MB
12.78/12.82	c total #watches: 689913
14.59/14.63	c total #propagations: 1754451 / total #impl: 133431532 (eff. 0.013)
14.59/14.63	c S2->S1
14.59/14.63	c #Conflicts:       6000 | #Learnt:        800 | 0.001
14.59/14.63	c total clause space: 78.2603MB
14.59/14.63	c total #watches: 1246080
15.98/16.06	c total #propagations: 2108303 / total #impl: 146766532 (eff. 0.014)
15.98/16.06	c GC COLLECT
15.98/16.06	c #Conflicts:       7000 | #Learnt:        954 | 0.001
15.98/16.06	c total clause space: 78.2603MB
15.98/16.06	c total #watches: 384552
18.18/18.27	c total #propagations: 2387805 / total #impl: 193975811 (eff. 0.012)
18.18/18.27	c #Conflicts:       8000 | #Learnt:       1954 | 0.001
18.18/18.27	c total clause space: 78.2603MB
18.18/18.27	c total #watches: 667769
21.48/21.59	c total #propagations: 2590277 / total #impl: 231149624 (eff. 0.011)
21.48/21.59	c #Conflicts:       9000 | #Learnt:       2954 | 0.000
21.48/21.59	c total clause space: 78.2603MB
21.48/21.59	c total #watches: 975222
24.39/24.41	c total #propagations: 2918374 / total #impl: 266020486 (eff. 0.011)
24.39/24.41	c GC COLLECT
24.39/24.41	c #Conflicts:      10000 | #Learnt:       2080 | 0.000
24.39/24.41	c total clause space: 78.2603MB
24.39/24.41	c total #watches: 883256
28.49/28.51	c total #propagations: 3157415 / total #impl: 283700883 (eff. 0.011)
28.49/28.51	c #Conflicts:      11000 | #Learnt:       3080 | 0.000
28.49/28.51	c total clause space: 78.2603MB
28.49/28.51	c total #watches: 1234161
34.79/34.83	c total #propagations: 3398385 / total #impl: 318930118 (eff. 0.011)
34.79/34.83	c #Conflicts:      12000 | #Learnt:       4080 | 0.000
34.79/34.83	c total clause space: 78.2603MB
34.79/34.83	c total #watches: 1510184
43.49/43.56	c total #propagations: 3655813 / total #impl: 396154115 (eff. 0.009)
43.49/43.56	c #Conflicts:      13000 | #Learnt:       5080 | 0.000
43.49/43.56	c total clause space: 78.2603MB
43.49/43.56	c total #watches: 1767163
54.99/55.07	c total #propagations: 3819467 / total #impl: 478329093 (eff. 0.008)
54.99/55.07	c GC COLLECT
54.99/55.07	c #Conflicts:      14000 | #Learnt:       3548 | 0.000
54.99/55.07	c total clause space: 78.2603MB
54.99/55.07	c total #watches: 1229469
69.78/69.83	c total #propagations: 4185216 / total #impl: 609614468 (eff. 0.007)
69.78/69.83	c #Conflicts:      15000 | #Learnt:       4548 | 0.000
69.78/69.83	c total clause space: 78.2603MB
69.78/69.83	c total #watches: 1462824
83.27/83.38	c total #propagations: 4443921 / total #impl: 813524472 (eff. 0.005)
83.27/83.38	c #Conflicts:      16000 | #Learnt:       5548 | 0.000
83.27/83.38	c total clause space: 78.2603MB
83.27/83.38	c total #watches: 1667329
94.46/94.56	c total #propagations: 4654396 / total #impl: 954353365 (eff. 0.005)
94.46/94.56	c GC COLLECT
94.46/94.56	c #Conflicts:      17000 | #Learnt:       3531 | 0.000
94.46/94.56	c total clause space: 127.173MB
94.46/94.56	c total #watches: 1191754
122.07/122.19	c total #propagations: 4858566 / total #impl: 1126959765 (eff. 0.004)
122.07/122.19	c #Conflicts:      18000 | #Learnt:       4531 | 0.000
122.07/122.19	c total clause space: 127.173MB
122.07/122.19	c total #watches: 1429099
142.46/142.50	c total #propagations: 5120108 / total #impl: 1551504989 (eff. 0.003)
142.46/142.50	c #Conflicts:      19000 | #Learnt:       5531 | 0.000
142.46/142.50	c total clause space: 127.173MB
142.46/142.50	c total #watches: 1745951
164.25/164.34	c total #propagations: 5341985 / total #impl: 1628605560 (eff. 0.003)
164.25/164.34	c #Conflicts:      20000 | #Learnt:       6531 | 0.000
164.25/164.34	c total clause space: 127.173MB
164.25/164.34	c total #watches: 2059978
189.34/189.49	c total #propagations: 5582958 / total #impl: 1665714780 (eff. 0.003)
189.34/189.49	c GC COLLECT
189.34/189.49	c #Conflicts:      21000 | #Learnt:       4122 | 0.000
189.34/189.49	c total clause space: 127.173MB
189.34/189.49	c total #watches: 1557580
216.44/216.54	c total #propagations: 5938024 / total #impl: 1746317899 (eff. 0.003)
216.44/216.54	c #Conflicts:      22000 | #Learnt:       5122 | 0.000
216.44/216.54	c total clause space: 127.173MB
216.44/216.54	c total #watches: 1699795
241.44/241.50	c total #propagations: 6422960 / total #impl: 1844992168 (eff. 0.003)
241.44/241.50	c #Conflicts:      23000 | #Learnt:       6122 | 0.000
241.44/241.50	c total clause space: 127.173MB
241.44/241.50	c total #watches: 1931183
261.44/261.55	c total #propagations: 6718077 / total #impl: 2021840899 (eff. 0.003)
261.44/261.55	c #Conflicts:      24000 | #Learnt:       7122 | 0.000
261.44/261.55	c total clause space: 127.173MB
261.44/261.55	c total #watches: 2207230
276.44/276.50	c total #propagations: 6899807 / total #impl: 2071857047 (eff. 0.003)
276.44/276.50	c GC COLLECT
276.44/276.50	c #Conflicts:      25000 | #Learnt:       4364 | 0.000
276.44/276.50	c total clause space: 127.173MB
276.44/276.50	c total #watches: 1477075
295.53/295.69	c total #propagations: 7048469 / total #impl: 2155112010 (eff. 0.003)
295.53/295.69	c #Conflicts:      26000 | #Learnt:       5364 | 0.000
295.53/295.69	c total clause space: 127.173MB
295.53/295.69	c total #watches: 1794961
312.03/312.14	c total #propagations: 7310080 / total #impl: 2278509767 (eff. 0.003)
312.03/312.14	c #Conflicts:      27000 | #Learnt:       6364 | 0.000
312.03/312.14	c total clause space: 127.173MB
312.03/312.14	c total #watches: 1969855
328.22/328.39	c total #propagations: 7446683 / total #impl: 2439278062 (eff. 0.003)
328.22/328.39	c #Conflicts:      28000 | #Learnt:       7364 | 0.000
328.22/328.39	c total clause space: 127.173MB
328.22/328.39	c total #watches: 2186198
376.13/376.22	c total #propagations: 7590950 / total #impl: 2592675905 (eff. 0.003)
376.13/376.22	c GC COLLECT
376.13/376.22	c #Conflicts:      29000 | #Learnt:       4298 | 0.000
376.13/376.22	c total clause space: 127.173MB
376.13/376.22	c total #watches: 1492383
399.32/399.40	c total #propagations: 7871444 / total #impl: 2755681071 (eff. 0.003)
399.32/399.40	c #Conflicts:      30000 | #Learnt:       5298 | 0.000
399.32/399.40	c total clause space: 127.173MB
399.32/399.40	c total #watches: 1793370
430.02/430.13	c total #propagations: 8120633 / total #impl: 2820171864 (eff. 0.003)
430.02/430.13	c #Conflicts:      31000 | #Learnt:       6298 | 0.000
430.02/430.13	c total clause space: 127.173MB
430.02/430.13	c total #watches: 2071981
463.31/463.49	c total #propagations: 8345029 / total #impl: 2874078429 (eff. 0.003)
463.31/463.49	c #Conflicts:      32000 | #Learnt:       7298 | 0.000
463.31/463.49	c total clause space: 127.173MB
463.31/463.49	c total #watches: 2279275
522.80/522.95	c total #propagations: 8601658 / total #impl: 2991652029 (eff. 0.003)
522.80/522.95	c #Conflicts:      33000 | #Learnt:       8298 | 0.000
522.80/522.95	c total clause space: 206.656MB
522.80/522.95	c total #watches: 2449680
539.09/539.22	c total #propagations: 8954550 / total #impl: 3314890153 (eff. 0.003)
539.09/539.22	c GC COLLECT
539.09/539.22	c #Conflicts:      34000 | #Learnt:       4900 | 0.000
539.09/539.22	c total clause space: 206.656MB
539.09/539.22	c total #watches: 1706234
554.99/555.17	c total #propagations: 9135423 / total #impl: 3394335484 (eff. 0.003)
554.99/555.17	c #Conflicts:      35000 | #Learnt:       5900 | 0.000
554.99/555.17	c total clause space: 206.656MB
554.99/555.17	c total #watches: 1975670
567.50/567.65	c total #propagations: 9340013 / total #impl: 3441590859 (eff. 0.003)
567.50/567.65	c #Conflicts:      36000 | #Learnt:       6900 | 0.000
567.50/567.65	c total clause space: 206.656MB
567.50/567.65	c total #watches: 2226305
594.57/594.72	c total #propagations: 9454002 / total #impl: 3499127425 (eff. 0.003)
594.57/594.72	c #Conflicts:      37000 | #Learnt:       7900 | 0.000
594.57/594.72	c total clause space: 206.656MB
594.57/594.72	c total #watches: 2417817
631.46/631.61	c total #propagations: 9603883 / total #impl: 3562202814 (eff. 0.003)
631.46/631.61	c #Conflicts:      38000 | #Learnt:       8900 | 0.000
631.46/631.61	c total clause space: 206.656MB
631.46/631.61	c total #watches: 2603586
668.95/669.17	c total #propagations: 9814202 / total #impl: 3635275814 (eff. 0.003)
668.95/669.17	c GC COLLECT
668.95/669.17	c #Conflicts:      39000 | #Learnt:       5228 | 0.000
668.95/669.17	c total clause space: 206.656MB
668.95/669.17	c total #watches: 1678389
704.34/704.58	c total #propagations: 10008693 / total #impl: 3801028837 (eff. 0.003)
704.34/704.58	c #Conflicts:      40000 | #Learnt:       6228 | 0.000
704.34/704.58	c total clause space: 206.656MB
704.34/704.58	c total #watches: 1859372
742.54/742.73	c total #propagations: 10234740 / total #impl: 4108073169 (eff. 0.002)
742.54/742.73	c #Conflicts:      41000 | #Learnt:       7228 | 0.000
742.54/742.73	c total clause space: 206.656MB
742.54/742.73	c total #watches: 2000076
769.63/769.87	c total #propagations: 10446697 / total #impl: 4462814913 (eff. 0.002)
769.63/769.87	c #Conflicts:      42000 | #Learnt:       8228 | 0.000
769.63/769.87	c total clause space: 206.656MB
769.63/769.87	c total #watches: 2245081
778.74/778.98	c total #propagations: 10610347 / total #impl: 4656001258 (eff. 0.002)
778.74/778.98	c #Conflicts:      43000 | #Learnt:       9228 | 0.000
778.74/778.98	c total clause space: 206.656MB
778.74/778.98	c total #watches: 2469517
793.13/793.34	c total #propagations: 10707942 / total #impl: 4719394488 (eff. 0.002)
793.13/793.34	c GC COLLECT
793.13/793.34	c #Conflicts:      44000 | #Learnt:       5224 | 0.000
793.13/793.34	c total clause space: 206.656MB
793.13/793.34	c total #watches: 1692810
804.53/804.79	c total #propagations: 10829526 / total #impl: 4864137307 (eff. 0.002)
804.53/804.79	c #Conflicts:      45000 | #Learnt:       6224 | 0.000
804.53/804.79	c total clause space: 206.656MB
804.53/804.79	c total #watches: 1880603
823.92/824.12	c total #propagations: 10949656 / total #impl: 4994763004 (eff. 0.002)
823.92/824.12	c #Conflicts:      46000 | #Learnt:       7224 | 0.000
823.92/824.12	c total clause space: 206.656MB
823.92/824.12	c total #watches: 2059103
871.91/872.13	c total #propagations: 11136954 / total #impl: 5100007962 (eff. 0.002)
871.91/872.13	c #Conflicts:      47000 | #Learnt:       8224 | 0.000
871.91/872.13	c total clause space: 206.656MB
871.91/872.13	c total #watches: 2260344
937.30/937.57	c total #propagations: 11368228 / total #impl: 5232167386 (eff. 0.002)
937.30/937.57	c #Conflicts:      48000 | #Learnt:       9224 | 0.000
937.30/937.57	c total clause space: 206.656MB
937.30/937.57	c total #watches: 2440870
1013.59/1013.80	c total #propagations: 11763396 / total #impl: 5523776390 (eff. 0.002)
1013.59/1013.80	c #Conflicts:      49000 | #Learnt:      10223 | 0.000
1013.59/1013.80	c total clause space: 206.656MB
1013.59/1013.80	c total #watches: 2593429
1060.38/1060.63	c total #propagations: 12118676 / total #impl: 5965339780 (eff. 0.002)
1060.38/1060.63	c GC COLLECT
1060.38/1060.63	c #Conflicts:      50000 | #Learnt:       5906 | 0.000
1060.38/1060.63	c total clause space: 206.656MB
1060.38/1060.63	c total #watches: 1799229
1102.08/1102.37	c total #propagations: 12372849 / total #impl: 6230018357 (eff. 0.002)
1102.08/1102.37	c #Conflicts:      51000 | #Learnt:       6906 | 0.000
1102.08/1102.37	c total clause space: 206.656MB
1102.08/1102.37	c total #watches: 1994829
1162.87/1163.16	c total #propagations: 12710106 / total #impl: 6601209981 (eff. 0.002)
1162.87/1163.16	c #Conflicts:      52000 | #Learnt:       7906 | 0.000
1162.87/1163.16	c total clause space: 206.656MB
1162.87/1163.16	c total #watches: 2144654
1206.16/1206.43	c total #propagations: 13039894 / total #impl: 7034552205 (eff. 0.002)
1206.16/1206.43	c #Conflicts:      53000 | #Learnt:       8902 | 0.000
1206.16/1206.43	c total clause space: 206.656MB
1206.16/1206.43	c total #watches: 2416619
1273.36/1273.62	c total #propagations: 13294115 / total #impl: 7144000386 (eff. 0.002)
1273.36/1273.62	c #Conflicts:      54000 | #Learnt:       9901 | 0.000
1273.36/1273.62	c total clause space: 206.656MB
1273.36/1273.62	c total #watches: 2563134
1349.85/1350.11	c total #propagations: 13652362 / total #impl: 7742726660 (eff. 0.002)
1349.85/1350.11	c #Conflicts:      55000 | #Learnt:      10900 | 0.000
1349.85/1350.11	c total clause space: 206.656MB
1349.85/1350.11	c total #watches: 2733498
1375.04/1375.31	c total #propagations: 13969386 / total #impl: 8599113142 (eff. 0.002)
1375.04/1375.31	c GC COLLECT
1375.04/1375.31	c #Conflicts:      56000 | #Learnt:       6301 | 0.000
1375.04/1375.31	c total clause space: 206.656MB
1375.04/1375.31	c total #watches: 1880930
1416.34/1416.67	c total #propagations: 14141456 / total #impl: 8771168755 (eff. 0.002)
1416.34/1416.67	c #Conflicts:      57000 | #Learnt:       7299 | 0.000
1416.34/1416.67	c total clause space: 206.656MB
1416.34/1416.67	c total #watches: 2125296
1454.04/1454.31	c total #propagations: 14444217 / total #impl: 8976157429 (eff. 0.002)
1454.04/1454.31	c #Conflicts:      58000 | #Learnt:       8299 | 0.000
1454.04/1454.31	c total clause space: 206.656MB
1454.04/1454.31	c total #watches: 2320122
1501.02/1501.30	c total #propagations: 14680992 / total #impl: 9040653792 (eff. 0.002)
1501.02/1501.30	c #Conflicts:      59000 | #Learnt:       9299 | 0.000
1501.02/1501.30	c total clause space: 206.656MB
1501.02/1501.30	c total #watches: 2483047
1573.92/1574.27	c total #propagations: 14916375 / total #impl: 9475244176 (eff. 0.002)
1573.92/1574.27	c #Conflicts:      60000 | #Learnt:      10298 | 0.000
1573.92/1574.27	c total clause space: 206.656MB
1573.92/1574.27	c total #watches: 2704784
1633.80/1634.16	c total #propagations: 15210530 / total #impl: 9990306865 (eff. 0.002)
1633.80/1634.16	c #Conflicts:      61000 | #Learnt:      11297 | 0.000
1633.80/1634.16	c total clause space: 206.656MB
1633.80/1634.16	c total #watches: 2859036
1678.59/1678.93	c total #propagations: 15510094 / total #impl: 10356704583 (eff. 0.001)
1678.59/1678.93	c GC COLLECT
1678.59/1678.93	c #Conflicts:      62000 | #Learnt:       6409 | 0.000
1678.59/1678.93	c total clause space: 206.656MB
1678.59/1678.93	c total #watches: 1853937
1703.60/1703.91	c total #propagations: 15728727 / total #impl: 10726593672 (eff. 0.001)
1703.60/1703.91	c #Conflicts:      63000 | #Learnt:       7408 | 0.000
1703.60/1703.91	c total clause space: 206.656MB
1703.60/1703.91	c total #watches: 2025764
1718.99/1719.40	c total #propagations: 15914311 / total #impl: 10901397654 (eff. 0.001)
1718.99/1719.40	c #Conflicts:      64000 | #Learnt:       8408 | 0.000
1718.99/1719.40	c total clause space: 206.656MB
1718.99/1719.40	c total #watches: 2254173
1749.89/1750.23	c total #propagations: 16043238 / total #impl: 11039222792 (eff. 0.001)
1749.89/1750.23	c #Conflicts:      65000 | #Learnt:       9408 | 0.000
1749.89/1750.23	c total clause space: 206.656MB
1749.89/1750.23	c total #watches: 2465019

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-4087705-1465430661/watcher-4087705-1465430661 -o /tmp/evaluation-result-4087705-1465430661/solver-4087705-1465430661 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465427031-31792 --watchdog 1960 --input HOME/instance-4087705-1465430661.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

pid=32435
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.03 2.04 2.00 3/176 32438
/proc/meminfo: memFree=29681184/32872528 swapFree=11452/354844
[pid=32438] ppid=32435 vsize=55976 CPUtime=0 cores=1,3,5,7
/proc/32438/stat : 32438 (cdcl-cuttingpla) R 32435 32438 31775 0 -1 4202496 254 0 0 0 0 0 0 0 20 0 1 0 124999605 57319424 6268 33554432000 4194304 6211289 140736123851296 140736123850600 4206551 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32438/statm: 13994 6268 98 493 0 13491 0

[startup+0.100135 s]
/proc/loadavg: 2.03 2.04 2.00 3/176 32438
/proc/meminfo: memFree=29681184/32872528 swapFree=11452/354844
[pid=32438] ppid=32435 vsize=66928 CPUtime=0.09 cores=1,3,5,7
/proc/32438/stat : 32438 (cdcl-cuttingpla) R 32435 32438 31775 0 -1 4202496 1830 0 0 0 8 1 0 0 20 0 1 0 124999605 68534272 14342 33554432000 4194304 6211289 140736123851296 140736123850600 4202014 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32438/statm: 16732 14342 204 493 0 16229 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 66928

[startup+0.200378 s]
/proc/loadavg: 2.03 2.04 2.00 3/176 32438
/proc/meminfo: memFree=29681184/32872528 swapFree=11452/354844
[pid=32438] ppid=32435 vsize=83632 CPUtime=0.19 cores=1,3,5,7
/proc/32438/stat : 32438 (cdcl-cuttingpla) R 32435 32438 31775 0 -1 4202496 2962 0 0 0 18 1 0 0 20 0 1 0 124999605 85639168 16380 33554432000 4194304 6211289 140736123851296 140736123850600 4205850 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32438/statm: 20908 16380 204 493 0 20405 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 83632

[startup+0.300365 s]
/proc/loadavg: 2.03 2.04 2.00 3/176 32438
/proc/meminfo: memFree=29681184/32872528 swapFree=11452/354844
[pid=32438] ppid=32435 vsize=96468 CPUtime=0.28 cores=1,3,5,7
/proc/32438/stat : 32438 (cdcl-cuttingpla) R 32435 32438 31775 0 -1 4202496 4821 0 0 0 27 1 0 0 20 0 1 0 124999605 98783232 20695 33554432000 4194304 6211289 140736123851296 140736123850600 4249822 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32438/statm: 24117 20695 204 493 0 23614 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 96468

[startup+0.700306 s]
/proc/loadavg: 2.03 2.04 2.00 3/176 32438
/proc/meminfo: memFree=29681184/32872528 swapFree=11452/354844
[pid=32438] ppid=32435 vsize=132940 CPUtime=0.69 cores=1,3,5,7
/proc/32438/stat : 32438 (cdcl-cuttingpla) R 32435 32438 31775 0 -1 4202496 6856 0 0 0 67 2 0 0 20 0 1 0 124999605 136130560 25609 33554432000 4194304 6211289 140736123851296 140736123849208 4243125 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32438/statm: 33235 25609 214 493 0 32732 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 132940

[startup+1.50029 s]
/proc/loadavg: 2.03 2.04 2.00 3/177 32439
/proc/meminfo: memFree=29573392/32872528 swapFree=11452/354844
[pid=32438] ppid=32435 vsize=133212 CPUtime=1.49 cores=1,3,5,7
/proc/32438/stat : 32438 (cdcl-cuttingpla) R 32435 32438 31775 0 -1 4202496 8136 0 0 0 147 2 0 0 20 0 1 0 124999605 136409088 28568 33554432000 4194304 6211289 140736123851296 140736123849208 4252630 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32438/statm: 33303 28568 214 493 0 32800 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 133212

[startup+3.10026 s]
/proc/loadavg: 2.03 2.04 2.00 3/177 32439
/proc/meminfo: memFree=29567252/32872528 swapFree=11452/354844
[pid=32438] ppid=32435 vsize=133348 CPUtime=3.09 cores=1,3,5,7
/proc/32438/stat : 32438 (cdcl-cuttingpla) R 32435 32438 31775 0 -1 4202496 8395 0 0 0 307 2 0 0 20 0 1 0 124999605 136548352 28766 33554432000 4194304 6211289 140736123851296 140736123849640 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32438/statm: 33337 28766 219 493 0 32834 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 133348

[startup+6.3003 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 32439
/proc/meminfo: memFree=29561684/32872528 swapFree=11452/354844
[pid=32438] ppid=32435 vsize=133484 CPUtime=6.29 cores=1,3,5,7
/proc/32438/stat : 32438 (cdcl-cuttingpla) R 32435 32438 31775 0 -1 4202496 8511 0 0 0 627 2 0 0 20 0 1 0 124999605 136687616 28878 33554432000 4194304 6211289 140736123851296 140736123849288 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32438/statm: 33371 28878 219 493 0 32868 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 133484

[startup+12.7003 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 32485
/proc/meminfo: memFree=30701656/32872528 swapFree=11452/354844
[pid=32438] ppid=32435 vsize=133892 CPUtime=12.68 cores=1,3,5,7
/proc/32438/stat : 32438 (cdcl-cuttingpla) R 32435 32438 31775 0 -1 4202496 8855 0 0 0 1266 2 0 0 20 0 1 0 124999605 137105408 29655 33554432000 4194304 6211289 140736123851296 140736123849288 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32438/statm: 33473 29655 219 493 0 32970 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 133892

[startup+25.5004 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 32485
/proc/meminfo: memFree=30629040/32872528 swapFree=11452/354844
[pid=32438] ppid=32435 vsize=174580 CPUtime=25.49 cores=1,3,5,7
/proc/32438/stat : 32438 (cdcl-cuttingpla) R 32435 32438 31775 0 -1 4202496 11431 0 0 0 2545 4 0 0 20 0 1 0 124999605 178769920 37191 33554432000 4194304 6211289 140736123851296 140736123849640 4241730 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32438/statm: 43645 37191 219 493 0 43142 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 174580

[startup+51.1004 s]
/proc/loadavg: 2.14 2.06 2.01 3/177 32485
/proc/meminfo: memFree=30571664/32872528 swapFree=11452/354844
[pid=32438] ppid=32435 vsize=176308 CPUtime=51.08 cores=1,3,5,7
/proc/32438/stat : 32438 (cdcl-cuttingpla) R 32435 32438 31775 0 -1 4202496 12522 0 0 0 5104 4 0 0 20 0 1 0 124999605 180539392 40129 33554432000 4194304 6211289 140736123851296 140736123849640 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32438/statm: 44077 40129 219 493 0 43574 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 176308

[startup+102.3 s]
/proc/loadavg: 2.18 2.08 2.01 3/177 32487
/proc/meminfo: memFree=30555544/32872528 swapFree=11452/354844
[pid=32438] ppid=32435 vsize=226684 CPUtime=102.27 cores=1,3,5,7
/proc/32438/stat : 32438 (cdcl-cuttingpla) R 32435 32438 31775 0 -1 4202496 13301 0 0 0 10223 4 0 0 20 0 1 0 124999605 232124416 43203 33554432000 4194304 6211289 140736123851296 140736123849640 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32438/statm: 56671 43203 219 493 0 56168 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 226684

[startup+162.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/177 32488
/proc/meminfo: memFree=30543768/32872528 swapFree=11452/354844
[pid=32438] ppid=32435 vsize=227132 CPUtime=162.25 cores=1,3,5,7
/proc/32438/stat : 32438 (cdcl-cuttingpla) R 32435 32438 31775 0 -1 4202496 13548 0 0 0 16221 4 0 0 20 0 1 0 124999605 232583168 46069 33554432000 4194304 6211289 140736123851296 140736123849640 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32438/statm: 56783 46069 219 493 0 56280 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 227132

[startup+222.307 s]
/proc/loadavg: 2.06 2.06 2.01 3/177 32489
/proc/meminfo: memFree=30535444/32872528 swapFree=11452/354844
[pid=32438] ppid=32435 vsize=227420 CPUtime=222.25 cores=1,3,5,7
/proc/32438/stat : 32438 (cdcl-cuttingpla) R 32435 32438 31775 0 -1 4202496 13744 0 0 0 22221 4 0 0 20 0 1 0 124999605 232878080 47781 33554432000 4194304 6211289 140736123851296 140736123849640 4209244 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32438/statm: 56855 47781 219 493 0 56352 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 227420

[startup+282.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/177 32490
/proc/meminfo: memFree=30526540/32872528 swapFree=11452/354844
[pid=32438] ppid=32435 vsize=227708 CPUtime=282.24 cores=1,3,5,7
/proc/32438/stat : 32438 (cdcl-cuttingpla) R 32435 32438 31775 0 -1 4202496 13818 0 0 0 28219 5 0 0 20 0 1 0 124999605 233172992 49896 33554432000 4194304 6211289 140736123851296 140736123849640 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32438/statm: 56927 49896 219 493 0 56424 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 227708

[startup+342.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/178 32494
/proc/meminfo: memFree=30499924/32872528 swapFree=11452/354844
[pid=32438] ppid=32435 vsize=228256 CPUtime=342.22 cores=1,3,5,7
/proc/32438/stat : 32438 (cdcl-cuttingpla) R 32435 32438 31775 0 -1 4202496 14002 0 0 0 34217 5 0 0 20 0 1 0 124999605 233734144 53146 33554432000 4194304 6211289 140736123851296 140736123849288 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32438/statm: 57064 53146 219 493 0 56561 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 228256

[startup+402.3 s]
/proc/loadavg: 2.13 2.07 2.01 3/177 32496
/proc/meminfo: memFree=30479240/32872528 swapFree=11452/354844
[pid=32438] ppid=32435 vsize=228528 CPUtime=402.22 cores=1,3,5,7
/proc/32438/stat : 32438 (cdcl-cuttingpla) R 32435 32438 31775 0 -1 4202496 14080 0 0 0 40216 6 0 0 20 0 1 0 124999605 234012672 54246 33554432000 4194304 6211289 140736123851296 140736123849640 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32438/statm: 57132 54246 219 493 0 56629 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 228528

[startup+462.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/177 32497
/proc/meminfo: memFree=30353924/32872528 swapFree=11452/354844
[pid=32438] ppid=32435 vsize=228808 CPUtime=462.21 cores=1,3,5,7
/proc/32438/stat : 32438 (cdcl-cuttingpla) R 32435 32438 31775 0 -1 4202496 14144 0 0 0 46215 6 0 0 20 0 1 0 124999605 234299392 54310 33554432000 4194304 6211289 140736123851296 140736123849288 4209384 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32438/statm: 57202 54310 219 493 0 56699 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 228808

[startup+522.3 s]
/proc/loadavg: 2.06 2.06 2.00 3/177 32498
/proc/meminfo: memFree=30310692/32872528 swapFree=11452/354844
[pid=32438] ppid=32435 vsize=314468 CPUtime=522.2 cores=1,3,5,7
/proc/32438/stat : 32438 (cdcl-cuttingpla) R 32435 32438 31775 0 -1 4202496 15344 0 0 0 52212 8 0 0 20 0 1 0 124999605 322015232 55847 33554432000 4194304 6211289 140736123851296 140736123849208 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32438/statm: 78617 55847 219 493 0 78114 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 314468

[startup+582.3 s]
/proc/loadavg: 2.15 2.08 2.01 3/177 32499
/proc/meminfo: memFree=30283828/32872528 swapFree=11452/354844
[pid=32438] ppid=32435 vsize=327404 CPUtime=582.18 cores=1,3,5,7
/proc/32438/stat : 32438 (cdcl-cuttingpla) R 32435 32438 31775 0 -1 4202496 17769 0 0 0 58210 8 0 0 20 0 1 0 124999605 335261696 61932 33554432000 4194304 6211289 140736123851296 140736123849640 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32438/statm: 81851 61932 219 493 0 81348 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 327404


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


[startup+882.307 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 32505
/proc/meminfo: memFree=30222696/32872528 swapFree=11452/354844
[pid=32438] ppid=32435 vsize=329516 CPUtime=882.12 cores=1,3,5,7
/proc/32438/stat : 32438 (cdcl-cuttingpla) R 32435 32438 31775 0 -1 4202496 18484 0 0 0 88203 9 0 0 20 0 1 0 124999605 337424384 68188 33554432000 4194304 6211289 140736123851296 140736123849640 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32438/statm: 82379 68188 219 493 0 81876 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 329516

[startup+942.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/178 32509
/proc/meminfo: memFree=30222012/32872528 swapFree=11452/354844
[pid=32438] ppid=32435 vsize=329676 CPUtime=942.1 cores=1,3,5,7
/proc/32438/stat : 32438 (cdcl-cuttingpla) R 32435 32438 31775 0 -1 4202496 18499 0 0 0 94201 9 0 0 20 0 1 0 124999605 337588224 68203 33554432000 4194304 6211289 140736123851296 140736123849640 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32438/statm: 82419 68203 219 493 0 81916 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 329676

[startup+1002.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 32511
/proc/meminfo: memFree=30222528/32872528 swapFree=11452/354844
[pid=32438] ppid=32435 vsize=329676 CPUtime=1002.09 cores=1,3,5,7
/proc/32438/stat : 32438 (cdcl-cuttingpla) R 32435 32438 31775 0 -1 4202496 18512 0 0 0 100200 9 0 0 20 0 1 0 124999605 337588224 68216 33554432000 4194304 6211289 140736123851296 140736123849640 4209403 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32438/statm: 82419 68216 219 493 0 81916 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 329676

[startup+1062.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/176 32512
/proc/meminfo: memFree=30222760/32872528 swapFree=11452/354844
[pid=32438] ppid=32435 vsize=329676 CPUtime=1062.08 cores=1,3,5,7
/proc/32438/stat : 32438 (cdcl-cuttingpla) R 32435 32438 31775 0 -1 4202496 18512 0 0 0 106199 9 0 0 20 0 1 0 124999605 337588224 68216 33554432000 4194304 6211289 140736123851296 140736123849640 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32438/statm: 82419 68216 219 493 0 81916 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 329676

[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 32514
/proc/meminfo: memFree=30222364/32872528 swapFree=11452/354844
[pid=32438] ppid=32435 vsize=329676 CPUtime=1122.07 cores=1,3,5,7
/proc/32438/stat : 32438 (cdcl-cuttingpla) R 32435 32438 31775 0 -1 4202496 18512 0 0 0 112198 9 0 0 20 0 1 0 124999605 337588224 68216 33554432000 4194304 6211289 140736123851296 140736123849640 4209392 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32438/statm: 82419 68216 219 493 0 81916 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 329676

[startup+1182.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 32515
/proc/meminfo: memFree=30222076/32872528 swapFree=11452/354844
[pid=32438] ppid=32435 vsize=329676 CPUtime=1182.06 cores=1,3,5,7
/proc/32438/stat : 32438 (cdcl-cuttingpla) R 32435 32438 31775 0 -1 4202496 18512 0 0 0 118197 9 0 0 20 0 1 0 124999605 337588224 68216 33554432000 4194304 6211289 140736123851296 140736123849640 4209306 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32438/statm: 82419 68216 219 493 0 81916 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 329676

[startup+1242.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 32516
/proc/meminfo: memFree=30221352/32872528 swapFree=11452/354844
[pid=32438] ppid=32435 vsize=329868 CPUtime=1242.06 cores=1,3,5,7
/proc/32438/stat : 32438 (cdcl-cuttingpla) R 32435 32438 31775 0 -1 4202496 18558 0 0 0 124197 9 0 0 20 0 1 0 124999605 337784832 68260 33554432000 4194304 6211289 140736123851296 140736123849640 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32438/statm: 82467 68260 219 493 0 81964 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 329868

[startup+1302.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 32518
/proc/meminfo: memFree=30218832/32872528 swapFree=11452/354844
[pid=32438] ppid=32435 vsize=329868 CPUtime=1302.06 cores=1,3,5,7
/proc/32438/stat : 32438 (cdcl-cuttingpla) R 32435 32438 31775 0 -1 4202496 18579 0 0 0 130196 10 0 0 20 0 1 0 124999605 337784832 68646 33554432000 4194304 6211289 140736123851296 140736123849640 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32438/statm: 82467 68646 219 493 0 81964 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 329868

[startup+1362.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 32519
/proc/meminfo: memFree=30214632/32872528 swapFree=11452/354844
[pid=32438] ppid=32435 vsize=330028 CPUtime=1362.04 cores=1,3,5,7
/proc/32438/stat : 32438 (cdcl-cuttingpla) R 32435 32438 31775 0 -1 4202496 18617 0 0 0 136194 10 0 0 20 0 1 0 124999605 337948672 69705 33554432000 4194304 6211289 140736123851296 140736123849640 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32438/statm: 82507 69705 219 493 0 82004 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 330028

[startup+1422.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/177 32520
/proc/meminfo: memFree=30214716/32872528 swapFree=11452/354844
[pid=32438] ppid=32435 vsize=330028 CPUtime=1422.04 cores=1,3,5,7
/proc/32438/stat : 32438 (cdcl-cuttingpla) R 32435 32438 31775 0 -1 4202496 18617 0 0 0 142194 10 0 0 20 0 1 0 124999605 337948672 69705 33554432000 4194304 6211289 140736123851296 140736123849640 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32438/statm: 82507 69705 219 493 0 82004 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 330028

[startup+1482.3 s]
/proc/loadavg: 2.07 2.05 2.00 3/177 32521
/proc/meminfo: memFree=30214808/32872528 swapFree=11452/354844
[pid=32438] ppid=32435 vsize=330188 CPUtime=1482.03 cores=1,3,5,7
/proc/32438/stat : 32438 (cdcl-cuttingpla) R 32435 32438 31775 0 -1 4202496 18633 0 0 0 148193 10 0 0 20 0 1 0 124999605 338112512 69721 33554432000 4194304 6211289 140736123851296 140736123849640 4209392 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32438/statm: 82547 69721 219 493 0 82044 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 330188

[startup+1542.31 s]
/proc/loadavg: 2.02 2.04 2.00 3/178 32525
/proc/meminfo: memFree=30213836/32872528 swapFree=11452/354844
[pid=32438] ppid=32435 vsize=330188 CPUtime=1542.02 cores=1,3,5,7
/proc/32438/stat : 32438 (cdcl-cuttingpla) R 32435 32438 31775 0 -1 4202496 18649 0 0 0 154192 10 0 0 20 0 1 0 124999605 338112512 69737 33554432000 4194304 6211289 140736123851296 140736123849640 4209306 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32438/statm: 82547 69737 219 493 0 82044 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 330188

[startup+1602.3 s]
/proc/loadavg: 2.17 2.06 2.01 3/177 32527
/proc/meminfo: memFree=30209680/32872528 swapFree=11452/354844
[pid=32438] ppid=32435 vsize=330188 CPUtime=1602.01 cores=1,3,5,7
/proc/32438/stat : 32438 (cdcl-cuttingpla) R 32435 32438 31775 0 -1 4202496 18661 0 0 0 160191 10 0 0 20 0 1 0 124999605 338112512 69749 33554432000 4194304 6211289 140736123851296 140736123849640 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32438/statm: 82547 69749 219 493 0 82044 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 330188

[startup+1662.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/177 32528
/proc/meminfo: memFree=30197108/32872528 swapFree=11452/354844
[pid=32438] ppid=32435 vsize=330476 CPUtime=1662 cores=1,3,5,7
/proc/32438/stat : 32438 (cdcl-cuttingpla) R 32435 32438 31775 0 -1 4202496 18701 0 0 0 166190 10 0 0 20 0 1 0 124999605 338407424 72855 33554432000 4194304 6211289 140736123851296 140736123849288 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32438/statm: 82619 72855 219 493 0 82116 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 330476

[startup+1722.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/177 32529
/proc/meminfo: memFree=30196576/32872528 swapFree=11452/354844
[pid=32438] ppid=32435 vsize=330476 CPUtime=1721.98 cores=1,3,5,7
/proc/32438/stat : 32438 (cdcl-cuttingpla) R 32435 32438 31775 0 -1 4202496 18737 0 0 0 172188 10 0 0 20 0 1 0 124999605 338407424 72891 33554432000 4194304 6211289 140736123851296 140736123849640 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32438/statm: 82619 72891 219 493 0 82116 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 330476

[startup+1782.3 s]
/proc/loadavg: 2.08 2.05 2.00 3/177 32530
/proc/meminfo: memFree=30195300/32872528 swapFree=11452/354844
[pid=32438] ppid=32435 vsize=330636 CPUtime=1781.97 cores=1,3,5,7
/proc/32438/stat : 32438 (cdcl-cuttingpla) R 32435 32438 31775 0 -1 4202496 18766 0 0 0 178187 10 0 0 20 0 1 0 124999605 338571264 72920 33554432000 4194304 6211289 140736123851296 140736123849640 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32438/statm: 82659 72920 219 493 0 82156 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 330636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.14 2.07 2.01 3/177 32530
/proc/meminfo: memFree=30195300/32872528 swapFree=11452/354844
[pid=32438] ppid=32435 vsize=330636 CPUtime=1800.07 cores=1,3,5,7
/proc/32438/stat : 32438 (cdcl-cuttingpla) R 32435 32438 31775 0 -1 4202496 18768 0 0 0 179997 10 0 0 20 0 1 0 124999605 338571264 72922 33554432000 4194304 6211289 140736123851296 140736123849640 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/32438/statm: 82659 72922 219 493 0 82156 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 330636

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 32438 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.09
CPU user time (s): 1799.98
CPU system time (s): 0.108983
CPU usage (%): 99.9824
Max. virtual memory (cumulated for all children) (KiB): 330636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.98
system time used= 0.108983
maximum resident set size= 291688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18768
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= 74
involuntary context switches= 1972

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.51731 second user time and 6.94494 second system time

The end

Launcher Data 

Begin job on node126 at 2016-06-09 02:04:22
IDJOB=4087705
IDBENCH=24987
IDSOLVER=2549
FILE ID=node126/4087705-1465430661
RUNJOBID= node126-1465427031-31792
PBS_JOBID= 19859785
Free space on /tmp= 71732 MiB

SOLVER NAME= cdcl-cuttingplanes OPT binary search 2016-05-01
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_024_area_delay.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087705-1465430661/watcher-4087705-1465430661 -o /tmp/evaluation-result-4087705-1465430661/solver-4087705-1465430661 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465427031-31792 --watchdog 1960 --input HOME/instance-4087705-1465430661.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= 58f3055ef9bb388e237f57f2627386e0
RANDOM SEED=1251096684

node126.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.500
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.00
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.500
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.500
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.500
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.500
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.500
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.56
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.500
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.500
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:        29681772 kB
Buffers:          125920 kB
Cached:           731396 kB
SwapCached:         2092 kB
Active:          1413932 kB
Inactive:         685956 kB
Active(anon):    1241616 kB
Inactive(anon):     3312 kB
Active(file):     172316 kB
Inactive(file):   682644 kB
Unevictable:      354844 kB
Mlocked:           11452 kB
SwapTotal:      67108856 kB
SwapFree:       67098692 kB
Dirty:              2740 kB
Writeback:             0 kB
AnonPages:       1704776 kB
Mapped:             8088 kB
Shmem:                 0 kB
Slab:             603452 kB
SReclaimable:      47544 kB
SUnreclaim:       555908 kB
KernelStack:        1472 kB
PageTables:         6872 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1904816 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1646592 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 node126 at 2016-06-09 02:34:22