Trace number 4088352

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

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_014_area_delay.opb
MD5SUM525408a019e1cf8f47f95fb4bdf20c0f
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark27
Best CPU time to get the best result obtained on this benchmark1.22881
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 30
Optimality of the best value was proved NO
Number of variables5256
Total number of constraints15614
Number of constraints which are clauses15614
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 2531
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 2531
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2531
Number of bits of the biggest sum of numbers12
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= 5256 #constraint= 15614
1.38/1.41	c #Conflicts:       1000 | #Learnt:       1000 | 0.000
1.38/1.41	c total clause space: 48.1602MB
1.38/1.41	c total #watches: 891160
8.99/9.01	c total #propagations: 459915 / total #impl: 26967668 (eff. 0.017)
8.99/9.01	c #Conflicts:       2000 | #Learnt:       2000 | 0.000
8.99/9.01	c total clause space: 78.2603MB
8.99/9.01	c total #watches: 1270233
20.58/20.62	c total #propagations: 729779 / total #impl: 185148387 (eff. 0.004)
20.58/20.62	c GC COLLECT
20.58/20.62	c #Conflicts:       3000 | #Learnt:       2005 | 0.000
20.58/20.62	c total clause space: 78.2603MB
20.58/20.62	c total #watches: 975961
33.18/33.24	c total #propagations: 1152909 / total #impl: 276332328 (eff. 0.004)
33.18/33.24	c #Conflicts:       4000 | #Learnt:       3005 | 0.000
33.18/33.24	c total clause space: 78.2603MB
33.18/33.24	c total #watches: 1395310
43.68/43.73	c total #propagations: 1530520 / total #impl: 359571059 (eff. 0.004)
43.68/43.73	c GC COLLECT
43.68/43.73	c #Conflicts:       5000 | #Learnt:       2357 | 0.000
43.68/43.73	c total clause space: 78.2603MB
43.68/43.73	c total #watches: 1383830
55.09/55.12	c total #propagations: 1979841 / total #impl: 417930893 (eff. 0.005)
55.09/55.12	c #Conflicts:       6000 | #Learnt:       3357 | 0.000
55.09/55.12	c total clause space: 78.2603MB
55.09/55.12	c total #watches: 1717898
67.58/67.63	c total #propagations: 2294455 / total #impl: 512390227 (eff. 0.004)
67.58/67.63	c GC COLLECT
67.58/67.63	c #Conflicts:       7000 | #Learnt:       2274 | 0.000
67.58/67.63	c total clause space: 78.2603MB
67.58/67.63	c total #watches: 1195847
75.98/76.03	c total #propagations: 2831546 / total #impl: 572208147 (eff. 0.005)
75.98/76.03	c #Conflicts:       8000 | #Learnt:       3274 | 0.000
75.98/76.03	c total clause space: 78.2603MB
75.98/76.03	c total #watches: 1456289
90.88/90.92	c total #propagations: 3364916 / total #impl: 630755878 (eff. 0.005)
90.88/90.92	c #Conflicts:       9000 | #Learnt:       4274 | 0.000
90.88/90.92	c total clause space: 78.2603MB
90.88/90.92	c total #watches: 1788937
104.58/104.67	c total #propagations: 3853859 / total #impl: 744271494 (eff. 0.005)
104.58/104.67	c GC COLLECT
104.58/104.67	c #Conflicts:      10000 | #Learnt:       2739 | 0.000
104.58/104.67	c total clause space: 127.173MB
104.58/104.67	c total #watches: 1293146
116.17/116.22	c total #propagations: 4242316 / total #impl: 806209175 (eff. 0.005)
116.17/116.22	c #Conflicts:      11000 | #Learnt:       3739 | 0.000
116.17/116.22	c total clause space: 127.173MB
116.17/116.22	c total #watches: 1596660
130.76/130.88	c total #propagations: 4504977 / total #impl: 849107477 (eff. 0.005)
130.76/130.88	c #Conflicts:      12000 | #Learnt:       4739 | 0.000
130.76/130.88	c total clause space: 127.173MB
130.76/130.88	c total #watches: 1932154
149.68/149.79	c total #propagations: 4802424 / total #impl: 928240504 (eff. 0.005)
149.68/149.79	c #Conflicts:      13000 | #Learnt:       5739 | 0.000
149.68/149.79	c total clause space: 127.173MB
149.68/149.79	c total #watches: 2404048
168.67/168.72	c total #propagations: 5088542 / total #impl: 1052784816 (eff. 0.005)
168.67/168.72	c GC COLLECT
168.67/168.72	c #Conflicts:      14000 | #Learnt:       3873 | 0.000
168.67/168.72	c total clause space: 127.173MB
168.67/168.72	c total #watches: 1954029
195.16/195.20	c total #propagations: 5529730 / total #impl: 1210488820 (eff. 0.005)
195.16/195.20	c #Conflicts:      15000 | #Learnt:       4872 | 0.000
195.16/195.20	c total clause space: 127.173MB
195.16/195.20	c total #watches: 2285269
227.35/227.46	c total #propagations: 5889274 / total #impl: 1330079874 (eff. 0.004)
227.35/227.46	c #Conflicts:      16000 | #Learnt:       5872 | 0.000
227.35/227.46	c total clause space: 127.173MB
227.35/227.46	c total #watches: 2520313
256.94/257.05	c total #propagations: 6306079 / total #impl: 1459652013 (eff. 0.004)
256.94/257.05	c GC COLLECT
256.94/257.05	c #Conflicts:      17000 | #Learnt:       3687 | 0.000
256.94/257.05	c total clause space: 127.173MB
256.94/257.05	c total #watches: 1917095
289.25/289.38	c total #propagations: 6698336 / total #impl: 1675568470 (eff. 0.004)
289.25/289.38	c #Conflicts:      18000 | #Learnt:       4687 | 0.000
289.25/289.38	c total clause space: 127.173MB
289.25/289.38	c total #watches: 2234739
315.54/315.65	c total #propagations: 7224044 / total #impl: 1834511516 (eff. 0.004)
315.54/315.65	c #Conflicts:      19000 | #Learnt:       5687 | 0.000
315.54/315.65	c total clause space: 127.173MB
315.54/315.65	c total #watches: 2595620
345.44/345.55	c total #propagations: 7605978 / total #impl: 1914361401 (eff. 0.004)
345.44/345.55	c #Conflicts:      20000 | #Learnt:       6687 | 0.000
345.44/345.55	c total clause space: 127.173MB
345.44/345.55	c total #watches: 2949051
360.53/360.67	c total #propagations: 7984517 / total #impl: 2069848229 (eff. 0.004)
360.53/360.67	c GC COLLECT
360.53/360.67	c #Conflicts:      21000 | #Learnt:       4196 | 0.000
360.53/360.67	c total clause space: 206.656MB
360.53/360.67	c total #watches: 2182559
395.73/395.85	c total #propagations: 8205006 / total #impl: 2176631987 (eff. 0.004)
395.73/395.85	c #Conflicts:      22000 | #Learnt:       5196 | 0.000
395.73/395.85	c total clause space: 206.656MB
395.73/395.85	c total #watches: 2501276
429.12/429.25	c total #propagations: 8630988 / total #impl: 2340076613 (eff. 0.004)
429.12/429.25	c #Conflicts:      23000 | #Learnt:       6196 | 0.000
429.12/429.25	c total clause space: 206.656MB
429.12/429.25	c total #watches: 2892610
464.82/464.93	c total #propagations: 9046957 / total #impl: 2521990699 (eff. 0.004)
464.82/464.93	c #Conflicts:      24000 | #Learnt:       7196 | 0.000
464.82/464.93	c total clause space: 206.656MB
464.82/464.93	c total #watches: 3257269
490.31/490.47	c total #propagations: 9456374 / total #impl: 2745440681 (eff. 0.003)
490.31/490.47	c GC COLLECT
490.31/490.47	c #Conflicts:      25000 | #Learnt:       4403 | 0.000
490.31/490.47	c total clause space: 206.656MB
490.31/490.47	c total #watches: 2328860
522.60/522.70	c total #propagations: 9780344 / total #impl: 2873308009 (eff. 0.003)
522.60/522.70	c #Conflicts:      26000 | #Learnt:       5403 | 0.000
522.60/522.70	c total clause space: 206.656MB
522.60/522.70	c total #watches: 2608153
531.40/531.58	c total #propagations: 10197707 / total #impl: 3122002398 (eff. 0.003)
531.40/531.58	c #Conflicts:      27000 | #Learnt:       6403 | 0.000
531.40/531.58	c total clause space: 206.656MB
531.40/531.58	c total #watches: 3116701
567.69/567.85	c total #propagations: 10343510 / total #impl: 3201659083 (eff. 0.003)
567.69/567.85	c #Conflicts:      28000 | #Learnt:       7403 | 0.000
567.69/567.85	c total clause space: 206.656MB
567.69/567.85	c total #watches: 3566170
618.89/619.07	c total #propagations: 10575876 / total #impl: 3383690771 (eff. 0.003)
618.89/619.07	c GC COLLECT
618.89/619.07	c #Conflicts:      29000 | #Learnt:       4319 | 0.000
618.89/619.07	c total clause space: 206.656MB
618.89/619.07	c total #watches: 2562484
650.09/650.25	c total #propagations: 10941806 / total #impl: 3582645699 (eff. 0.003)
650.09/650.25	c #Conflicts:      30000 | #Learnt:       5319 | 0.000
650.09/650.25	c total clause space: 206.656MB
650.09/650.25	c total #watches: 2781649
697.28/697.46	c total #propagations: 11156336 / total #impl: 3678135238 (eff. 0.003)
697.28/697.46	c #Conflicts:      31000 | #Learnt:       6319 | 0.000
697.28/697.46	c total clause space: 206.656MB
697.28/697.46	c total #watches: 3080327
757.37/757.59	c total #propagations: 11523752 / total #impl: 3909256637 (eff. 0.003)
757.37/757.59	c #Conflicts:      32000 | #Learnt:       7319 | 0.000
757.37/757.59	c total clause space: 206.656MB
757.37/757.59	c total #watches: 3453561
807.46/807.69	c total #propagations: 12057366 / total #impl: 4004048172 (eff. 0.003)
807.46/807.69	c #Conflicts:      33000 | #Learnt:       8319 | 0.000
807.46/807.69	c total clause space: 206.656MB
807.46/807.69	c total #watches: 3988787
850.66/850.89	c total #propagations: 12438685 / total #impl: 4152586902 (eff. 0.003)
850.66/850.89	c GC COLLECT
850.66/850.89	c #Conflicts:      34000 | #Learnt:       4911 | 0.000
850.66/850.89	c total clause space: 206.656MB
850.66/850.89	c total #watches: 2609674
886.85/887.05	c total #propagations: 12697809 / total #impl: 4262986572 (eff. 0.003)
886.85/887.05	c #Conflicts:      35000 | #Learnt:       5911 | 0.000
886.85/887.05	c total clause space: 206.656MB
886.85/887.05	c total #watches: 2847009
917.65/917.82	c total #propagations: 12910297 / total #impl: 4457391155 (eff. 0.003)
917.65/917.82	c #Conflicts:      36000 | #Learnt:       6911 | 0.000
917.65/917.82	c total clause space: 206.656MB
917.65/917.82	c total #watches: 3319015
949.15/949.39	c total #propagations: 13362962 / total #impl: 4544899378 (eff. 0.003)
949.15/949.39	c #Conflicts:      37000 | #Learnt:       7911 | 0.000
949.15/949.39	c total clause space: 206.656MB
949.15/949.39	c total #watches: 3846704
980.54/980.74	c total #propagations: 13790561 / total #impl: 4675081119 (eff. 0.003)
980.54/980.74	c #Conflicts:      38000 | #Learnt:       8911 | 0.000
980.54/980.74	c total clause space: 206.656MB
980.54/980.74	c total #watches: 4216793
1006.73/1006.98	c total #propagations: 14013675 / total #impl: 4830035251 (eff. 0.003)
1006.73/1006.98	c GC COLLECT
1006.73/1006.98	c #Conflicts:      39000 | #Learnt:       5216 | 0.000
1006.73/1006.98	c total clause space: 206.656MB
1006.73/1006.98	c total #watches: 2663880
1020.53/1020.74	c total #propagations: 14357676 / total #impl: 5023088700 (eff. 0.003)
1020.53/1020.74	c #Conflicts:      40000 | #Learnt:       6216 | 0.000
1020.53/1020.74	c total clause space: 206.656MB
1020.53/1020.74	c total #watches: 2993584
1038.13/1038.30	c total #propagations: 14504926 / total #impl: 5195624030 (eff. 0.003)
1038.13/1038.30	c #Conflicts:      41000 | #Learnt:       7216 | 0.000
1038.13/1038.30	c total clause space: 206.656MB
1038.13/1038.30	c total #watches: 3203882
1059.23/1059.49	c total #propagations: 14655207 / total #impl: 5390152800 (eff. 0.003)
1059.23/1059.49	c #Conflicts:      42000 | #Learnt:       8216 | 0.000
1059.23/1059.49	c total clause space: 206.656MB
1059.23/1059.49	c total #watches: 3493565
1081.92/1082.10	c total #propagations: 14810141 / total #impl: 5622827944 (eff. 0.003)
1081.92/1082.10	c #Conflicts:      43000 | #Learnt:       9216 | 0.000
1081.92/1082.10	c total clause space: 206.656MB
1081.92/1082.10	c total #watches: 3962696
1107.63/1107.80	c total #propagations: 15027210 / total #impl: 5797531252 (eff. 0.003)
1107.63/1107.80	c GC COLLECT
1107.63/1107.80	c #Conflicts:      44000 | #Learnt:       5207 | 0.000
1107.63/1107.80	c total clause space: 206.656MB
1107.63/1107.80	c total #watches: 2678762
1126.62/1126.83	c total #propagations: 15235992 / total #impl: 5916610633 (eff. 0.003)
1126.62/1126.83	c #Conflicts:      45000 | #Learnt:       6207 | 0.000
1126.62/1126.83	c total clause space: 206.656MB
1126.62/1126.83	c total #watches: 3003384
1143.82/1144.08	c total #propagations: 15392982 / total #impl: 6006481758 (eff. 0.003)
1143.82/1144.08	c #Conflicts:      46000 | #Learnt:       7207 | 0.000
1143.82/1144.08	c total clause space: 206.656MB
1143.82/1144.08	c total #watches: 3382173
1167.81/1168.02	c total #propagations: 15642478 / total #impl: 6161218318 (eff. 0.003)
1167.81/1168.02	c #Conflicts:      47000 | #Learnt:       8207 | 0.000
1167.81/1168.02	c total clause space: 206.656MB
1167.81/1168.02	c total #watches: 3618611
1207.50/1207.80	c total #propagations: 16010809 / total #impl: 6490938135 (eff. 0.002)
1207.50/1207.80	c #Conflicts:      48000 | #Learnt:       9207 | 0.000
1207.50/1207.80	c total clause space: 206.656MB
1207.50/1207.80	c total #watches: 3896775
1261.89/1262.14	c total #propagations: 16270639 / total #impl: 7078987407 (eff. 0.002)
1261.89/1262.14	c #Conflicts:      49000 | #Learnt:      10207 | 0.000
1261.89/1262.14	c total clause space: 206.656MB
1261.89/1262.14	c total #watches: 4341125
1302.88/1303.18	c total #propagations: 16732758 / total #impl: 7460729921 (eff. 0.002)
1302.88/1303.18	c GC COLLECT
1302.88/1303.18	c #Conflicts:      50000 | #Learnt:       5900 | 0.000
1302.88/1303.18	c total clause space: 206.656MB
1302.88/1303.18	c total #watches: 2902975
1327.59/1327.85	c total #propagations: 17149107 / total #impl: 7959615182 (eff. 0.002)
1327.59/1327.85	c #Conflicts:      51000 | #Learnt:       6900 | 0.000
1327.59/1327.85	c total clause space: 206.656MB
1327.59/1327.85	c total #watches: 3248302
1361.78/1362.01	c total #propagations: 17562541 / total #impl: 8107133766 (eff. 0.002)
1361.78/1362.01	c #Conflicts:      52000 | #Learnt:       7900 | 0.000
1361.78/1362.01	c total clause space: 206.656MB
1361.78/1362.01	c total #watches: 3597542
1407.77/1408.09	c total #propagations: 17994599 / total #impl: 8460874169 (eff. 0.002)
1407.77/1408.09	c #Conflicts:      53000 | #Learnt:       8900 | 0.000
1407.77/1408.09	c total clause space: 206.656MB
1407.77/1408.09	c total #watches: 3864369
1440.96/1441.26	c total #propagations: 18406982 / total #impl: 8712795069 (eff. 0.002)
1440.96/1441.26	c #Conflicts:      54000 | #Learnt:       9900 | 0.000
1440.96/1441.26	c total clause space: 206.656MB
1440.96/1441.26	c total #watches: 4267312
1489.65/1489.92	c total #propagations: 18866132 / total #impl: 8865608967 (eff. 0.002)
1489.65/1489.92	c #Conflicts:      55000 | #Learnt:      10900 | 0.000
1489.65/1489.92	c total clause space: 206.656MB
1489.65/1489.92	c total #watches: 4579036
1522.95/1523.22	c total #propagations: 19258118 / total #impl: 9299134026 (eff. 0.002)
1522.95/1523.22	c GC COLLECT
1522.95/1523.22	c #Conflicts:      56000 | #Learnt:       6293 | 0.000
1522.95/1523.22	c total clause space: 206.656MB
1522.95/1523.22	c total #watches: 3024044
1558.24/1558.50	c total #propagations: 19657265 / total #impl: 9600859972 (eff. 0.002)
1558.24/1558.50	c #Conflicts:      57000 | #Learnt:       7293 | 0.000
1558.24/1558.50	c total clause space: 206.656MB
1558.24/1558.50	c total #watches: 3334072
1589.64/1589.94	c total #propagations: 20033376 / total #impl: 9805018850 (eff. 0.002)
1589.64/1589.94	c #Conflicts:      58000 | #Learnt:       8293 | 0.000
1589.64/1589.94	c total clause space: 206.656MB
1589.64/1589.94	c total #watches: 3636899
1622.03/1622.30	c total #propagations: 20400601 / total #impl: 9992183932 (eff. 0.002)
1622.03/1622.30	c #Conflicts:      59000 | #Learnt:       9293 | 0.000
1622.03/1622.30	c total clause space: 206.656MB
1622.03/1622.30	c total #watches: 3932988
1660.03/1660.37	c total #propagations: 20641166 / total #impl: 10311360171 (eff. 0.002)
1660.03/1660.37	c #Conflicts:      60000 | #Learnt:      10293 | 0.000
1660.03/1660.37	c total clause space: 206.656MB
1660.03/1660.37	c total #watches: 4161579
1695.22/1695.54	c total #propagations: 20900033 / total #impl: 10702841470 (eff. 0.002)
1695.22/1695.54	c #Conflicts:      61000 | #Learnt:      11293 | 0.000
1695.22/1695.54	c total clause space: 206.656MB
1695.22/1695.54	c total #watches: 4549828
1713.43/1713.77	c total #propagations: 21128880 / total #impl: 10993654940 (eff. 0.002)
1713.43/1713.77	c GC COLLECT
1713.43/1713.77	c #Conflicts:      62000 | #Learnt:       6394 | 0.000
1713.43/1713.77	c total clause space: 206.656MB
1713.43/1713.77	c total #watches: 3155510
1736.92/1737.26	c total #propagations: 21399397 / total #impl: 11066775338 (eff. 0.002)
1736.92/1737.26	c #Conflicts:      63000 | #Learnt:       7394 | 0.000
1736.92/1737.26	c total clause space: 206.656MB
1736.92/1737.26	c total #watches: 3464026
1761.72/1762.04	c total #propagations: 21672900 / total #impl: 11221279874 (eff. 0.002)
1761.72/1762.04	c #Conflicts:      64000 | #Learnt:       8394 | 0.000
1761.72/1762.04	c total clause space: 206.656MB
1761.72/1762.04	c total #watches: 3654321
1784.21/1784.59	c total #propagations: 21941694 / total #impl: 11346206351 (eff. 0.002)
1784.21/1784.59	c #Conflicts:      65000 | #Learnt:       9394 | 0.000
1784.21/1784.59	c total clause space: 206.656MB
1784.21/1784.59	c total #watches: 4054629

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

pid=30885
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.10 2.18 2.17 3/177 30888
/proc/meminfo: memFree=29809824/32872528 swapFree=16636/1570076
[pid=30888] ppid=30885 vsize=29112 CPUtime=0 cores=1,3,5,7
/proc/30888/stat : 30888 (cdcl-cuttingpla) R 30885 30888 30411 0 -1 4202496 277 0 0 0 0 0 0 0 20 0 1 0 125173506 29810688 5268 33554432000 4194304 6201397 140735406805872 140734601383176 4211064 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30888/statm: 7278 5268 130 491 0 6777 0

[startup+0.100117 s]
/proc/loadavg: 2.10 2.18 2.17 3/177 30888
/proc/meminfo: memFree=29809824/32872528 swapFree=16636/1570076
[pid=30888] ppid=30885 vsize=38120 CPUtime=0.09 cores=1,3,5,7
/proc/30888/stat : 30888 (cdcl-cuttingpla) R 30885 30888 30411 0 -1 4202496 1148 0 0 0 9 0 0 0 20 0 1 0 125173506 39034880 8075 33554432000 4194304 6201397 140735406805872 140734601383176 4221736 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30888/statm: 9530 8075 147 491 0 9029 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38120

[startup+0.200333 s]
/proc/loadavg: 2.10 2.18 2.17 3/177 30888
/proc/meminfo: memFree=29809824/32872528 swapFree=16636/1570076
[pid=30888] ppid=30885 vsize=53164 CPUtime=0.19 cores=1,3,5,7
/proc/30888/stat : 30888 (cdcl-cuttingpla) R 30885 30888 30411 0 -1 4202496 2395 0 0 0 19 0 0 0 20 0 1 0 125173506 54439936 10283 33554432000 4194304 6201397 140735406805872 140734601383176 4217630 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30888/statm: 13291 10283 147 491 0 12790 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 53164

[startup+0.300321 s]
/proc/loadavg: 2.10 2.18 2.17 3/177 30888
/proc/meminfo: memFree=29809824/32872528 swapFree=16636/1570076
[pid=30888] ppid=30885 vsize=64912 CPUtime=0.28 cores=1,3,5,7
/proc/30888/stat : 30888 (cdcl-cuttingpla) R 30885 30888 30411 0 -1 4202496 2653 0 0 0 28 0 0 0 20 0 1 0 125173506 66469888 11505 33554432000 4194304 6201397 140735406805872 140734601383176 4220382 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30888/statm: 16228 11505 147 491 0 15727 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 64912

[startup+0.700236 s]
/proc/loadavg: 2.10 2.18 2.17 3/177 30888
/proc/meminfo: memFree=29809824/32872528 swapFree=16636/1570076
[pid=30888] ppid=30885 vsize=69060 CPUtime=0.68 cores=1,3,5,7
/proc/30888/stat : 30888 (cdcl-cuttingpla) R 30885 30888 30411 0 -1 4202496 3689 0 0 0 68 0 0 0 20 0 1 0 125173506 70717440 14585 33554432000 4194304 6201397 140735406805872 140735406804584 4233650 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30888/statm: 17265 14585 147 491 0 16764 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 69060

[startup+1.50031 s]
/proc/loadavg: 2.17 2.19 2.18 3/178 30889
/proc/meminfo: memFree=29701124/32872528 swapFree=16636/1570076
[pid=30888] ppid=30885 vsize=88028 CPUtime=1.49 cores=1,3,5,7
/proc/30888/stat : 30888 (cdcl-cuttingpla) R 30885 30888 30411 0 -1 4202496 4016 0 0 0 148 1 0 0 20 0 1 0 125173506 90140672 15842 33554432000 4194304 6201397 140735406805872 140735406804584 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30888/statm: 22007 15842 160 491 0 21506 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 88028

[startup+3.10021 s]
/proc/loadavg: 2.17 2.19 2.18 4/178 30889
/proc/meminfo: memFree=29667352/32872528 swapFree=16636/1570076
[pid=30888] ppid=30885 vsize=88152 CPUtime=3.09 cores=1,3,5,7
/proc/30888/stat : 30888 (cdcl-cuttingpla) R 30885 30888 30411 0 -1 4202496 4056 0 0 0 308 1 0 0 20 0 1 0 125173506 90267648 16904 33554432000 4194304 6201397 140735406805872 140735406804712 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30888/statm: 22038 16904 160 491 0 21537 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 88152

[startup+6.30023 s]
/proc/loadavg: 2.24 2.20 2.18 4/178 30889
/proc/meminfo: memFree=29623844/32872528 swapFree=16636/1570076
[pid=30888] ppid=30885 vsize=95528 CPUtime=6.29 cores=1,3,5,7
/proc/30888/stat : 30888 (cdcl-cuttingpla) R 30885 30888 30411 0 -1 4202496 5896 0 0 0 628 1 0 0 20 0 1 0 125173506 97820672 20788 33554432000 4194304 6201397 140735406805872 140735406804504 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30888/statm: 23882 20788 160 491 0 23381 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 95528

[startup+12.7002 s]
/proc/loadavg: 2.30 2.22 2.19 3/178 30889
/proc/meminfo: memFree=29612312/32872528 swapFree=16636/1570076
[pid=30888] ppid=30885 vsize=126564 CPUtime=12.68 cores=1,3,5,7
/proc/30888/stat : 30888 (cdcl-cuttingpla) R 30885 30888 30411 0 -1 4202496 8255 0 0 0 1267 1 0 0 20 0 1 0 125173506 129601536 22942 33554432000 4194304 6201397 140735406805872 140735406805000 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30888/statm: 31641 22942 160 491 0 31140 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 126564

[startup+25.5003 s]
/proc/loadavg: 2.31 2.22 2.19 3/178 30889
/proc/meminfo: memFree=29576228/32872528 swapFree=16636/1570076
[pid=30888] ppid=30885 vsize=126660 CPUtime=25.48 cores=1,3,5,7
/proc/30888/stat : 30888 (cdcl-cuttingpla) R 30885 30888 30411 0 -1 4202496 8419 0 0 0 2547 1 0 0 20 0 1 0 125173506 129699840 23090 33554432000 4194304 6201397 140735406805872 140735406804824 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30888/statm: 31665 23090 166 491 0 31164 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 126660

[startup+51.1003 s]
/proc/loadavg: 2.28 2.22 2.18 4/178 30889
/proc/meminfo: memFree=29545240/32872528 swapFree=16636/1570076
[pid=30888] ppid=30885 vsize=126996 CPUtime=51.08 cores=1,3,5,7
/proc/30888/stat : 30888 (cdcl-cuttingpla) R 30885 30888 30411 0 -1 4202496 8953 0 0 0 5107 1 0 0 20 0 1 0 125173506 130043904 26608 33554432000 4194304 6201397 140735406805872 140735406805000 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30888/statm: 31749 26608 166 491 0 31248 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 126996

[startup+102.3 s]
/proc/loadavg: 2.19 2.20 2.18 3/177 30890
/proc/meminfo: memFree=29495892/32872528 swapFree=16636/1570076
[pid=30888] ppid=30885 vsize=191024 CPUtime=102.28 cores=1,3,5,7
/proc/30888/stat : 30888 (cdcl-cuttingpla) R 30885 30888 30411 0 -1 4202496 12398 0 0 0 10226 2 0 0 20 0 1 0 125173506 195608576 34378 33554432000 4194304 6201397 140735406805872 140735406804904 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30888/statm: 47756 34378 166 491 0 47255 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 191024

[startup+162.3 s]
/proc/loadavg: 2.23 2.21 2.18 3/178 30892
/proc/meminfo: memFree=29468832/32872528 swapFree=16636/1570076
[pid=30888] ppid=30885 vsize=191920 CPUtime=162.27 cores=1,3,5,7
/proc/30888/stat : 30888 (cdcl-cuttingpla) R 30885 30888 30411 0 -1 4202496 13293 0 0 0 16224 3 0 0 20 0 1 0 125173506 196526080 39254 33554432000 4194304 6201397 140735406805872 140735406805000 4213257 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30888/statm: 47980 39254 166 491 0 47479 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 191920

[startup+222.308 s]
/proc/loadavg: 2.27 2.23 2.19 3/178 30893
/proc/meminfo: memFree=29448644/32872528 swapFree=16636/1570076
[pid=30888] ppid=30885 vsize=192260 CPUtime=222.26 cores=1,3,5,7
/proc/30888/stat : 30888 (cdcl-cuttingpla) R 30885 30888 30411 0 -1 4202496 13494 0 0 0 22223 3 0 0 20 0 1 0 125173506 196874240 41495 33554432000 4194304 6201397 140735406805872 140735406804824 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30888/statm: 48065 41495 166 491 0 47564 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 192260

[startup+282.3 s]
/proc/loadavg: 2.34 2.25 2.19 3/178 30895
/proc/meminfo: memFree=29437072/32872528 swapFree=16636/1570076
[pid=30888] ppid=30885 vsize=192388 CPUtime=282.24 cores=1,3,5,7
/proc/30888/stat : 30888 (cdcl-cuttingpla) R 30885 30888 30411 0 -1 4202496 13563 0 0 0 28221 3 0 0 20 0 1 0 125173506 197005312 44335 33554432000 4194304 6201397 140735406805872 140735406805000 4213170 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30888/statm: 48097 44335 166 491 0 47596 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 192388

[startup+342.3 s]
/proc/loadavg: 2.25 2.23 2.18 3/178 30896
/proc/meminfo: memFree=29414276/32872528 swapFree=16636/1570076
[pid=30888] ppid=30885 vsize=192468 CPUtime=342.23 cores=1,3,5,7
/proc/30888/stat : 30888 (cdcl-cuttingpla) R 30885 30888 30411 0 -1 4202496 13587 0 0 0 34220 3 0 0 20 0 1 0 125173506 197087232 45892 33554432000 4194304 6201397 140735406805872 140735406805000 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30888/statm: 48117 45892 166 491 0 47616 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 192468

[startup+402.3 s]
/proc/loadavg: 2.27 2.23 2.19 3/179 30900
/proc/meminfo: memFree=29356412/32872528 swapFree=16636/1570076
[pid=30888] ppid=30885 vsize=273936 CPUtime=402.23 cores=1,3,5,7
/proc/30888/stat : 30888 (cdcl-cuttingpla) R 30885 30888 30411 0 -1 4202496 14193 0 0 0 40219 4 0 0 20 0 1 0 125173506 280510464 48202 33554432000 4194304 6201397 140735406805872 140735406805000 4213257 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30888/statm: 68484 48202 166 491 0 67983 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 273936

[startup+462.3 s]
/proc/loadavg: 2.21 2.22 2.18 3/178 30901
/proc/meminfo: memFree=29350036/32872528 swapFree=16636/1570076
[pid=30888] ppid=30885 vsize=274096 CPUtime=462.22 cores=1,3,5,7
/proc/30888/stat : 30888 (cdcl-cuttingpla) R 30885 30888 30411 0 -1 4202496 14343 0 0 0 46218 4 0 0 20 0 1 0 125173506 280674304 49881 33554432000 4194304 6201397 140735406805872 140735406804584 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30888/statm: 68524 49881 166 491 0 68023 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 274096

[startup+522.3 s]
/proc/loadavg: 2.33 2.25 2.19 3/178 30902
/proc/meminfo: memFree=29341200/32872528 swapFree=16636/1570076
[pid=30888] ppid=30885 vsize=274608 CPUtime=522.2 cores=1,3,5,7
/proc/30888/stat : 30888 (cdcl-cuttingpla) R 30885 30888 30411 0 -1 4202496 14530 0 0 0 52216 4 0 0 20 0 1 0 125173506 281198592 52085 33554432000 4194304 6201397 140735406805872 140735406804824 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30888/statm: 68652 52085 166 491 0 68151 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 274608

[startup+582.3 s]
/proc/loadavg: 2.16 2.22 2.18 3/178 30904
/proc/meminfo: memFree=29284860/32872528 swapFree=16636/1570076
[pid=30888] ppid=30885 vsize=275264 CPUtime=582.2 cores=1,3,5,7
/proc/30888/stat : 30888 (cdcl-cuttingpla) R 30885 30888 30411 0 -1 4202496 14752 0 0 0 58215 5 0 0 20 0 1 0 125173506 281870336 55884 33554432000 4194304 6201397 140735406805872 140735406805000 4213268 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30888/statm: 68816 55884 166 491 0 68315 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 275264


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


[startup+942.3 s]
/proc/loadavg: 2.39 2.28 2.20 4/178 30911
/proc/meminfo: memFree=29232272/32872528 swapFree=16636/1570076
[pid=30888] ppid=30885 vsize=304276 CPUtime=942.15 cores=1,3,5,7
/proc/30888/stat : 30888 (cdcl-cuttingpla) R 30885 30888 30411 0 -1 4202496 19827 0 0 0 94209 6 0 0 20 0 1 0 125173506 311578624 66069 33554432000 4194304 6201397 140735406805872 140735406805000 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30888/statm: 76069 66069 166 491 0 75568 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 304276

[startup+1002.3 s]
/proc/loadavg: 2.33 2.28 2.20 3/179 30915
/proc/meminfo: memFree=29230900/32872528 swapFree=16636/1570076
[pid=30888] ppid=30885 vsize=304756 CPUtime=1002.14 cores=1,3,5,7
/proc/30888/stat : 30888 (cdcl-cuttingpla) R 30885 30888 30411 0 -1 4202496 20098 0 0 0 100208 6 0 0 20 0 1 0 125173506 312070144 66340 33554432000 4194304 6201397 140735406805872 140735406804584 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30888/statm: 76189 66340 166 491 0 75688 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 304756

[startup+1062.3 s]
/proc/loadavg: 2.31 2.28 2.20 4/178 30916
/proc/meminfo: memFree=29231548/32872528 swapFree=16636/1570076
[pid=30888] ppid=30885 vsize=305076 CPUtime=1062.13 cores=1,3,5,7
/proc/30888/stat : 30888 (cdcl-cuttingpla) R 30885 30888 30411 0 -1 4202496 20180 0 0 0 106207 6 0 0 20 0 1 0 125173506 312397824 66422 33554432000 4194304 6201397 140735406805872 140735406804536 4213348 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30888/statm: 76269 66422 166 491 0 75768 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 305076

[startup+1122.3 s]
/proc/loadavg: 2.16 2.24 2.19 3/178 30917
/proc/meminfo: memFree=29230520/32872528 swapFree=16636/1570076
[pid=30888] ppid=30885 vsize=305880 CPUtime=1122.12 cores=1,3,5,7
/proc/30888/stat : 30888 (cdcl-cuttingpla) R 30885 30888 30411 0 -1 4202496 20344 0 0 0 112206 6 0 0 20 0 1 0 125173506 313221120 66586 33554432000 4194304 6201397 140735406805872 140735406805000 4213168 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30888/statm: 76470 66586 166 491 0 75969 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 305880

[startup+1182.3 s]
/proc/loadavg: 2.20 2.24 2.19 3/178 30919
/proc/meminfo: memFree=29230500/32872528 swapFree=16636/1570076
[pid=30888] ppid=30885 vsize=305880 CPUtime=1182.11 cores=1,3,5,7
/proc/30888/stat : 30888 (cdcl-cuttingpla) R 30885 30888 30411 0 -1 4202496 20363 0 0 0 118205 6 0 0 20 0 1 0 125173506 313221120 66605 33554432000 4194304 6201397 140735406805872 140735406805000 4213328 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30888/statm: 76470 66605 166 491 0 75969 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 305880

[startup+1242.3 s]
/proc/loadavg: 2.28 2.25 2.19 3/178 30920
/proc/meminfo: memFree=29229116/32872528 swapFree=16636/1570076
[pid=30888] ppid=30885 vsize=306392 CPUtime=1242.1 cores=1,3,5,7
/proc/30888/stat : 30888 (cdcl-cuttingpla) R 30885 30888 30411 0 -1 4202496 20479 0 0 0 124204 6 0 0 20 0 1 0 125173506 313745408 66721 33554432000 4194304 6201397 140735406805872 140735406804824 4213257 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30888/statm: 76598 66721 166 491 0 76097 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 306392

[startup+1302.3 s]
/proc/loadavg: 2.26 2.25 2.19 4/178 30921
/proc/meminfo: memFree=29219936/32872528 swapFree=16636/1570076
[pid=30888] ppid=30885 vsize=306568 CPUtime=1302.09 cores=1,3,5,7
/proc/30888/stat : 30888 (cdcl-cuttingpla) R 30885 30888 30411 0 -1 4202496 20603 0 0 0 130203 6 0 0 20 0 1 0 125173506 313925632 68889 33554432000 4194304 6201397 140735406805872 140735406804536 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30888/statm: 76642 68889 166 491 0 76141 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 306568

[startup+1362.3 s]
/proc/loadavg: 2.36 2.29 2.20 4/178 30922
/proc/meminfo: memFree=29204792/32872528 swapFree=16636/1570076
[pid=30888] ppid=30885 vsize=306568 CPUtime=1362.08 cores=1,3,5,7
/proc/30888/stat : 30888 (cdcl-cuttingpla) R 30885 30888 30411 0 -1 4202496 20613 0 0 0 136202 6 0 0 20 0 1 0 125173506 313925632 68899 33554432000 4194304 6201397 140735406805872 140735406805000 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30888/statm: 76642 68899 166 491 0 76141 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 306568

[startup+1422.3 s]
/proc/loadavg: 2.31 2.29 2.21 3/178 30923
/proc/meminfo: memFree=29204612/32872528 swapFree=16636/1570076
[pid=30888] ppid=30885 vsize=306568 CPUtime=1422.07 cores=1,3,5,7
/proc/30888/stat : 30888 (cdcl-cuttingpla) R 30885 30888 30411 0 -1 4202496 20614 0 0 0 142201 6 0 0 20 0 1 0 125173506 313925632 68900 33554432000 4194304 6201397 140735406805872 140735406805000 4213168 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30888/statm: 76642 68900 166 491 0 76141 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 306568

[startup+1482.3 s]
/proc/loadavg: 2.28 2.29 2.21 3/178 30925
/proc/meminfo: memFree=29203932/32872528 swapFree=16636/1570076
[pid=30888] ppid=30885 vsize=306568 CPUtime=1482.06 cores=1,3,5,7
/proc/30888/stat : 30888 (cdcl-cuttingpla) R 30885 30888 30411 0 -1 4202496 20774 0 0 0 148200 6 0 0 20 0 1 0 125173506 313925632 69060 33554432000 4194304 6201397 140735406805872 140735406805000 4213257 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30888/statm: 76642 69060 166 491 0 76141 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 306568

[startup+1542.31 s]
/proc/loadavg: 2.29 2.29 2.21 4/178 30926
/proc/meminfo: memFree=29195224/32872528 swapFree=16636/1570076
[pid=30888] ppid=30885 vsize=306728 CPUtime=1542.05 cores=1,3,5,7
/proc/30888/stat : 30888 (cdcl-cuttingpla) R 30885 30888 30411 0 -1 4202496 20932 0 0 0 154199 6 0 0 20 0 1 0 125173506 314089472 71262 33554432000 4194304 6201397 140735406805872 140735406805000 4213249 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30888/statm: 76682 71262 166 491 0 76181 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 306728

[startup+1602.3 s]
/proc/loadavg: 2.16 2.25 2.20 3/179 30930
/proc/meminfo: memFree=29193476/32872528 swapFree=16636/1570076
[pid=30888] ppid=30885 vsize=306728 CPUtime=1602.04 cores=1,3,5,7
/proc/30888/stat : 30888 (cdcl-cuttingpla) R 30885 30888 30411 0 -1 4202496 20943 0 0 0 160198 6 0 0 20 0 1 0 125173506 314089472 71482 33554432000 4194304 6201397 140735406805872 140735406805000 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30888/statm: 76682 71482 166 491 0 76181 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 306728

[startup+1662.3 s]
/proc/loadavg: 2.21 2.25 2.20 3/179 30953
/proc/meminfo: memFree=29188340/32872528 swapFree=16636/1570076
[pid=30888] ppid=30885 vsize=306728 CPUtime=1662.03 cores=1,3,5,7
/proc/30888/stat : 30888 (cdcl-cuttingpla) R 30885 30888 30411 0 -1 4202496 20956 0 0 0 166197 6 0 0 20 0 1 0 125173506 314089472 72945 33554432000 4194304 6201397 140735406805872 140735406805000 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30888/statm: 76682 72945 166 491 0 76181 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 306728

[startup+1722.3 s]
/proc/loadavg: 2.26 2.25 2.20 3/178 30954
/proc/meminfo: memFree=29173868/32872528 swapFree=16636/1570076
[pid=30888] ppid=30885 vsize=306856 CPUtime=1722.02 cores=1,3,5,7
/proc/30888/stat : 30888 (cdcl-cuttingpla) R 30885 30888 30411 0 -1 4202496 20974 0 0 0 172195 7 0 0 20 0 1 0 125173506 314220544 75517 33554432000 4194304 6201397 140735406805872 140735406805000 4213257 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30888/statm: 76714 75517 166 491 0 76213 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 306856

[startup+1782.3 s]
/proc/loadavg: 2.20 2.23 2.19 3/178 30956
/proc/meminfo: memFree=29173468/32872528 swapFree=16636/1570076
[pid=30888] ppid=30885 vsize=306856 CPUtime=1782.02 cores=1,3,5,7
/proc/30888/stat : 30888 (cdcl-cuttingpla) R 30885 30888 30411 0 -1 4202496 20983 0 0 0 178195 7 0 0 20 0 1 0 125173506 314220544 75526 33554432000 4194304 6201397 140735406805872 140735406805000 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30888/statm: 76714 75526 166 491 0 76213 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 306856



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.15 2.22 2.18 3/178 30956
/proc/meminfo: memFree=29173720/32872528 swapFree=16636/1570076
[pid=30888] ppid=30885 vsize=306856 CPUtime=1800.01 cores=1,3,5,7
/proc/30888/stat : 30888 (cdcl-cuttingpla) R 30885 30888 30411 0 -1 4202496 20983 0 0 0 179994 7 0 0 20 0 1 0 125173506 314220544 75526 33554432000 4194304 6201397 140735406805872 140735406805000 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30888/statm: 76714 75526 166 491 0 76213 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 306856

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

[startup+1800.3 s]
/proc/loadavg: 2.15 2.22 2.18 3/178 30956
/proc/meminfo: memFree=29173720/32872528 swapFree=16636/1570076
[pid=30888] ppid=30885 vsize=306856 CPUtime=1800.01 cores=1,3,5,7
/proc/30888/stat : 30888 (cdcl-cuttingpla) R 30885 30888 30411 0 -1 4202496 20983 0 0 0 179994 7 0 0 20 0 1 0 125173506 314220544 75526 33554432000 4194304 6201397 140735406805872 140735406805000 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/30888/statm: 76714 75526 166 491 0 76213 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 306856

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.95
CPU system time (s): 0.073988
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 306856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.073988
maximum resident set size= 302104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20983
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= 14
involuntary context switches= 1986

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.84026 second user time and 7.64184 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-09 02:33:32
IDJOB=4088352
IDBENCH=24999
IDSOLVER=2550
FILE ID=node140/4088352-1465432412
RUNJOBID= node140-1465427006-30428
PBS_JOBID= 19859776
Free space on /tmp= 71740 MiB

SOLVER NAME= cdcl-cuttingplanes OPT linear search 2016-05-01
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_014_area_delay.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088352-1465432412/watcher-4088352-1465432412 -o /tmp/evaluation-result-4088352-1465432412/solver-4088352-1465432412 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465427006-30428 --watchdog 1960 --input HOME/instance-4088352-1465432412.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= 525408a019e1cf8f47f95fb4bdf20c0f
RANDOM SEED=1025106092

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:        29810616 kB
Buffers:          152016 kB
Cached:           558208 kB
SwapCached:         1664 kB
Active:           194764 kB
Inactive:         548304 kB
Active(anon):      32084 kB
Inactive(anon):     2932 kB
Active(file):     162680 kB
Inactive(file):   545372 kB
Unevictable:     1570076 kB
Mlocked:           16636 kB
SwapTotal:      67108856 kB
SwapFree:       67098768 kB
Dirty:              5840 kB
Writeback:            60 kB
AnonPages:       1575088 kB
Mapped:             7528 kB
Shmem:                 0 kB
Slab:             615716 kB
SReclaimable:      59348 kB
SUnreclaim:       556368 kB
KernelStack:        1400 kB
PageTables:         7396 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1722096 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= 71740 MiB
End job on node140 at 2016-06-09 03:03:32