Trace number 4088107

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb
MD5SUMfad34197fa8b5ebd519d12750a352ad5
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark366
Best CPU time to get the best result obtained on this benchmark1800.13
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 480
Optimality of the best value was proved NO
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
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 constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 495457
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 495457
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c OPTIONS:
0.00/0.00	c - Resolve (`-resolve-always' or `-resolve-skip'): -resolve-skip
0.00/0.00	c * #variable= 10000 #constraint= 656900
3.79/3.82	c #Conflicts:       1000 | #Learnt:       1026 | 0.000
3.79/3.82	c total clause space: 206.656MB
3.79/3.82	c total #watches: 1704207
11.99/12.08	c total #propagations: 361881 / total #impl: 13967025 (eff. 0.026)
11.99/12.08	c #Conflicts:       2000 | #Learnt:       2037 | 0.001
11.99/12.08	c total clause space: 206.656MB
11.99/12.08	c total #watches: 2217497
21.89/21.98	c total #propagations: 687815 / total #impl: 70349483 (eff. 0.010)
21.89/21.98	c #Conflicts:       3000 | #Learnt:       2033 | 0.021
21.89/21.98	c total clause space: 335.816MB
21.89/21.98	c total #watches: 2588087
34.58/34.67	c total #propagations: 911339 / total #impl: 128827342 (eff. 0.007)
34.58/34.67	c #Conflicts:       4000 | #Learnt:       3034 | 0.016
34.58/34.67	c total clause space: 335.816MB
34.58/34.67	c total #watches: 2949731
55.18/55.28	c total #propagations: 1112337 / total #impl: 207847897 (eff. 0.005)
55.18/55.28	c GC COLLECT
55.18/55.28	c #Conflicts:       5000 | #Learnt:       2392 | 0.013
55.18/55.28	c total clause space: 335.816MB
55.18/55.28	c total #watches: 3297315
69.87/69.91	c total #propagations: 1385815 / total #impl: 252691006 (eff. 0.005)
69.87/69.91	c #Conflicts:       6000 | #Learnt:       3392 | 0.016
69.87/69.91	c total clause space: 335.816MB
69.87/69.91	c total #watches: 3589178
84.78/84.85	c total #propagations: 1558165 / total #impl: 292373309 (eff. 0.005)
84.78/84.85	c GC COLLECT
84.78/84.85	c #Conflicts:       7000 | #Learnt:       2283 | 0.013
84.78/84.85	c total clause space: 335.816MB
84.78/84.85	c total #watches: 3352733
96.88/96.92	c total #propagations: 1735959 / total #impl: 342028484 (eff. 0.005)
96.88/96.92	c #Conflicts:       8000 | #Learnt:       3283 | 0.012
96.88/96.92	c total clause space: 335.816MB
96.88/96.92	c total #watches: 3569531
117.77/117.86	c total #propagations: 1907688 / total #impl: 388714068 (eff. 0.005)
117.77/117.86	c #Conflicts:       9000 | #Learnt:       4283 | 0.011
117.77/117.86	c total clause space: 335.816MB
117.77/117.86	c total #watches: 3895599
139.17/139.27	c total #propagations: 2129071 / total #impl: 457450197 (eff. 0.005)
139.17/139.27	c GC COLLECT
139.17/139.27	c #Conflicts:      10000 | #Learnt:       2787 | 0.010
139.17/139.27	c total clause space: 335.816MB
139.17/139.27	c total #watches: 3354615
157.96/158.00	c total #propagations: 2346379 / total #impl: 516995320 (eff. 0.005)
157.96/158.00	c #Conflicts:      11000 | #Learnt:       3792 | 0.009
157.96/158.00	c total clause space: 335.816MB
157.96/158.00	c total #watches: 3660439
178.46/178.53	c total #propagations: 2565627 / total #impl: 567200308 (eff. 0.005)
178.46/178.53	c #Conflicts:      12000 | #Learnt:       4792 | 0.008
178.46/178.53	c total clause space: 335.816MB
178.46/178.53	c total #watches: 3854882
201.37/201.41	c total #propagations: 2805525 / total #impl: 612220673 (eff. 0.005)
201.37/201.41	c #Conflicts:      13000 | #Learnt:       5792 | 0.007
201.37/201.41	c total clause space: 545.701MB
201.37/201.41	c total #watches: 4193375
225.46/225.58	c total #propagations: 3021670 / total #impl: 648456025 (eff. 0.005)
225.46/225.58	c GC COLLECT
225.46/225.58	c #Conflicts:      14000 | #Learnt:       3950 | 0.007
225.46/225.58	c total clause space: 545.701MB
225.46/225.58	c total #watches: 3572455
266.26/266.37	c total #propagations: 3245395 / total #impl: 678597842 (eff. 0.005)
266.26/266.37	c #Conflicts:      15000 | #Learnt:       4966 | 0.006
266.26/266.37	c total clause space: 545.701MB
266.26/266.37	c total #watches: 3985785
308.84/308.98	c total #propagations: 3534108 / total #impl: 705482006 (eff. 0.005)
308.84/308.98	c #Conflicts:      16000 | #Learnt:       5979 | 0.006
308.84/308.98	c total clause space: 545.701MB
308.84/308.98	c total #watches: 4367581
332.14/332.25	c total #propagations: 3804789 / total #impl: 745539944 (eff. 0.005)
332.14/332.25	c GC COLLECT
332.14/332.25	c #Conflicts:      17000 | #Learnt:       3799 | 0.006
332.14/332.25	c total clause space: 545.701MB
332.14/332.25	c total #watches: 3754257
358.13/358.22	c total #propagations: 3970915 / total #impl: 765080659 (eff. 0.005)
358.13/358.22	c #Conflicts:      18000 | #Learnt:       4803 | 0.007
358.13/358.22	c total clause space: 545.701MB
358.13/358.22	c total #watches: 4078043
396.93/397.01	c total #propagations: 4172063 / total #impl: 808255064 (eff. 0.005)
396.93/397.01	c #Conflicts:      19000 | #Learnt:       5818 | 0.007
396.93/397.01	c total clause space: 545.701MB
396.93/397.01	c total #watches: 4644124
427.23/427.39	c total #propagations: 4472536 / total #impl: 890478318 (eff. 0.005)
427.23/427.39	c #Conflicts:      20000 | #Learnt:       6818 | 0.006
427.23/427.39	c total clause space: 545.701MB
427.23/427.39	c total #watches: 5068571
453.32/453.47	c total #propagations: 4671258 / total #impl: 995048787 (eff. 0.005)
453.32/453.47	c GC COLLECT
453.32/453.47	c #Conflicts:      21000 | #Learnt:       4327 | 0.006
453.32/453.47	c total clause space: 545.701MB
453.32/453.47	c total #watches: 4388054
473.82/473.96	c total #propagations: 4907727 / total #impl: 1093277546 (eff. 0.004)
473.82/473.96	c #Conflicts:      22000 | #Learnt:       5327 | 0.006
473.82/473.96	c total clause space: 545.701MB
473.82/473.96	c total #watches: 4620677
498.42/498.56	c total #propagations: 5121752 / total #impl: 1212484963 (eff. 0.004)
498.42/498.56	c #Conflicts:      23000 | #Learnt:       6327 | 0.006
498.42/498.56	c total clause space: 545.701MB
498.42/498.56	c total #watches: 4844931
525.51/525.66	c total #propagations: 5364420 / total #impl: 1334840445 (eff. 0.004)
525.51/525.66	c #Conflicts:      24000 | #Learnt:       7327 | 0.005
525.51/525.66	c total clause space: 545.701MB
525.51/525.66	c total #watches: 5113923
550.40/550.56	c total #propagations: 5593965 / total #impl: 1479455357 (eff. 0.004)
550.40/550.56	c GC COLLECT
550.40/550.56	c #Conflicts:      25000 | #Learnt:       4552 | 0.005
550.40/550.56	c total clause space: 545.701MB
550.40/550.56	c total #watches: 4332258
569.30/569.45	c total #propagations: 5839737 / total #impl: 1607178728 (eff. 0.004)
569.30/569.45	c #Conflicts:      26000 | #Learnt:       5552 | 0.005
569.30/569.45	c total clause space: 545.701MB
569.30/569.45	c total #watches: 4535497
589.39/589.52	c total #propagations: 6064360 / total #impl: 1720731648 (eff. 0.004)
589.39/589.52	c #Conflicts:      27000 | #Learnt:       6552 | 0.005
589.39/589.52	c total clause space: 545.701MB
589.39/589.52	c total #watches: 4842655
621.89/622.07	c total #propagations: 6273391 / total #impl: 1848444671 (eff. 0.003)
621.89/622.07	c #Conflicts:      28000 | #Learnt:       7552 | 0.005
621.89/622.07	c total clause space: 545.701MB
621.89/622.07	c total #watches: 5178620
653.99/654.12	c total #propagations: 6541505 / total #impl: 1965038917 (eff. 0.003)
653.99/654.12	c GC COLLECT
653.99/654.12	c #Conflicts:      29000 | #Learnt:       4475 | 0.004
653.99/654.12	c total clause space: 545.701MB
653.99/654.12	c total #watches: 4550668
681.68/681.89	c total #propagations: 6757667 / total #impl: 2083547153 (eff. 0.003)
681.68/681.89	c #Conflicts:      30000 | #Learnt:       5475 | 0.004
681.68/681.89	c total clause space: 545.701MB
681.68/681.89	c total #watches: 4972976
710.28/710.44	c total #propagations: 7003524 / total #impl: 2165910979 (eff. 0.003)
710.28/710.44	c #Conflicts:      31000 | #Learnt:       6475 | 0.004
710.28/710.44	c total clause space: 545.701MB
710.28/710.44	c total #watches: 5371195
743.97/744.14	c total #propagations: 7210189 / total #impl: 2272173750 (eff. 0.003)
743.97/744.14	c #Conflicts:      32000 | #Learnt:       7475 | 0.004
743.97/744.14	c total clause space: 545.701MB
743.97/744.14	c total #watches: 5708441
779.46/779.67	c total #propagations: 7460077 / total #impl: 2400001098 (eff. 0.003)
779.46/779.67	c #Conflicts:      33000 | #Learnt:       8475 | 0.004
779.46/779.67	c total clause space: 545.701MB
779.46/779.67	c total #watches: 5859310
803.76/803.94	c total #propagations: 7718593 / total #impl: 2531659273 (eff. 0.003)
803.76/803.94	c GC COLLECT
803.76/803.94	c #Conflicts:      34000 | #Learnt:       5084 | 0.004
803.76/803.94	c total clause space: 886.764MB
803.76/803.94	c total #watches: 4925949
824.46/824.67	c total #propagations: 7980771 / total #impl: 2639856625 (eff. 0.003)
824.46/824.67	c #Conflicts:      35000 | #Learnt:       6084 | 0.004
824.46/824.67	c total clause space: 886.764MB
824.46/824.67	c total #watches: 5213642
851.36/851.51	c total #propagations: 8186429 / total #impl: 2737940303 (eff. 0.003)
851.36/851.51	c #Conflicts:      36000 | #Learnt:       7084 | 0.004
851.36/851.51	c total clause space: 886.764MB
851.36/851.51	c total #watches: 5461736
878.15/878.31	c total #propagations: 8445944 / total #impl: 2844553880 (eff. 0.003)
878.15/878.31	c #Conflicts:      37000 | #Learnt:       8084 | 0.004
878.15/878.31	c total clause space: 886.764MB
878.15/878.31	c total #watches: 5816463
903.14/903.30	c total #propagations: 8648572 / total #impl: 2928036294 (eff. 0.003)
903.14/903.30	c #Conflicts:      38000 | #Learnt:       9084 | 0.004
903.14/903.30	c total clause space: 886.764MB
903.14/903.30	c total #watches: 6037098
930.75/930.92	c total #propagations: 8851098 / total #impl: 3020885950 (eff. 0.003)
930.75/930.92	c GC COLLECT
930.75/930.92	c #Conflicts:      39000 | #Learnt:       5397 | 0.004
930.75/930.92	c total clause space: 886.764MB
930.75/930.92	c total #watches: 4741106
953.74/953.93	c total #propagations: 9089639 / total #impl: 3112657417 (eff. 0.003)
953.74/953.93	c #Conflicts:      40000 | #Learnt:       6397 | 0.003
953.74/953.93	c total clause space: 886.764MB
953.74/953.93	c total #watches: 5042719
979.24/979.42	c total #propagations: 9392885 / total #impl: 3195665459 (eff. 0.003)
979.24/979.42	c #Conflicts:      41000 | #Learnt:       7397 | 0.003
979.24/979.42	c total clause space: 886.764MB
979.24/979.42	c total #watches: 5412224
1006.44/1006.65	c total #propagations: 9725387 / total #impl: 3274804929 (eff. 0.003)
1006.44/1006.65	c #Conflicts:      42000 | #Learnt:       8397 | 0.003
1006.44/1006.65	c total clause space: 886.764MB
1006.44/1006.65	c total #watches: 5924794
1033.53/1033.76	c total #propagations: 10025190 / total #impl: 3384820177 (eff. 0.003)
1033.53/1033.76	c #Conflicts:      43000 | #Learnt:       9397 | 0.003
1033.53/1033.76	c total clause space: 886.764MB
1033.53/1033.76	c total #watches: 6330644
1061.03/1061.25	c total #propagations: 10277532 / total #impl: 3494193919 (eff. 0.003)
1061.03/1061.25	c GC COLLECT
1061.03/1061.25	c #Conflicts:      44000 | #Learnt:       5397 | 0.003
1061.03/1061.25	c total clause space: 886.764MB
1061.03/1061.25	c total #watches: 5262040
1085.32/1085.53	c total #propagations: 10529856 / total #impl: 3570768287 (eff. 0.003)
1085.32/1085.53	c #Conflicts:      45000 | #Learnt:       6397 | 0.003
1085.32/1085.53	c total clause space: 886.764MB
1085.32/1085.53	c total #watches: 5537469
1123.92/1124.15	c total #propagations: 10770761 / total #impl: 3664746975 (eff. 0.003)
1123.92/1124.15	c #Conflicts:      46000 | #Learnt:       7397 | 0.003
1123.92/1124.15	c total clause space: 886.764MB
1123.92/1124.15	c total #watches: 5789104
1172.71/1172.94	c total #propagations: 11051676 / total #impl: 3771299192 (eff. 0.003)
1172.71/1172.94	c #Conflicts:      47000 | #Learnt:       8397 | 0.003
1172.71/1172.94	c total clause space: 886.764MB
1172.71/1172.94	c total #watches: 6046809
1206.10/1206.36	c total #propagations: 11396937 / total #impl: 3862772874 (eff. 0.003)
1206.10/1206.36	c #Conflicts:      48000 | #Learnt:       9397 | 0.003
1206.10/1206.36	c total clause space: 886.764MB
1206.10/1206.36	c total #watches: 6309198
1260.69/1260.94	c total #propagations: 11594501 / total #impl: 3926631812 (eff. 0.003)
1260.69/1260.94	c #Conflicts:      49000 | #Learnt:      10397 | 0.003
1260.69/1260.94	c total clause space: 886.764MB
1260.69/1260.94	c total #watches: 6481747
1302.78/1303.09	c total #propagations: 11862175 / total #impl: 3987417349 (eff. 0.003)
1302.78/1303.09	c GC COLLECT
1302.78/1303.09	c #Conflicts:      50000 | #Learnt:       6094 | 0.003
1302.78/1303.09	c total clause space: 886.764MB
1302.78/1303.09	c total #watches: 5213088
1331.89/1332.14	c total #propagations: 12149782 / total #impl: 4057224801 (eff. 0.003)
1331.89/1332.14	c #Conflicts:      51000 | #Learnt:       7094 | 0.003
1331.89/1332.14	c total clause space: 886.764MB
1331.89/1332.14	c total #watches: 5432887
1361.98/1362.25	c total #propagations: 12392155 / total #impl: 4106795968 (eff. 0.003)
1361.98/1362.25	c #Conflicts:      52000 | #Learnt:       8094 | 0.003
1361.98/1362.25	c total clause space: 886.764MB
1361.98/1362.25	c total #watches: 5761059
1396.27/1396.55	c total #propagations: 12642388 / total #impl: 4161784773 (eff. 0.003)
1396.27/1396.55	c #Conflicts:      53000 | #Learnt:       9094 | 0.003
1396.27/1396.55	c total clause space: 886.764MB
1396.27/1396.55	c total #watches: 6048930
1449.57/1449.90	c total #propagations: 12891982 / total #impl: 4221454270 (eff. 0.003)
1449.57/1449.90	c #Conflicts:      54000 | #Learnt:      10094 | 0.003
1449.57/1449.90	c total clause space: 886.764MB
1449.57/1449.90	c total #watches: 6296452
1511.16/1511.44	c total #propagations: 13199767 / total #impl: 4281418423 (eff. 0.003)
1511.16/1511.44	c #Conflicts:      55000 | #Learnt:      11094 | 0.003
1511.16/1511.44	c total clause space: 886.764MB
1511.16/1511.44	c total #watches: 6492487
1542.95/1543.22	c total #propagations: 13561179 / total #impl: 4343998946 (eff. 0.003)
1542.95/1543.22	c GC COLLECT
1542.95/1543.22	c #Conflicts:      56000 | #Learnt:       6493 | 0.003
1542.95/1543.22	c total clause space: 886.764MB
1542.95/1543.22	c total #watches: 4964256
1580.75/1581.06	c total #propagations: 13815601 / total #impl: 4398267169 (eff. 0.003)
1580.75/1581.06	c #Conflicts:      57000 | #Learnt:       7493 | 0.003
1580.75/1581.06	c total clause space: 886.764MB
1580.75/1581.06	c total #watches: 5251003
1615.84/1616.17	c total #propagations: 14089804 / total #impl: 4463609847 (eff. 0.003)
1615.84/1616.17	c #Conflicts:      58000 | #Learnt:       8493 | 0.003
1615.84/1616.17	c total clause space: 886.764MB
1615.84/1616.17	c total #watches: 5500172
1645.24/1645.57	c total #propagations: 14337378 / total #impl: 4555292514 (eff. 0.003)
1645.24/1645.57	c #Conflicts:      59000 | #Learnt:       9493 | 0.003
1645.24/1645.57	c total clause space: 886.764MB
1645.24/1645.57	c total #watches: 5717595
1675.33/1675.65	c total #propagations: 14559355 / total #impl: 4655719203 (eff. 0.003)
1675.33/1675.65	c #Conflicts:      60000 | #Learnt:      10493 | 0.003
1675.33/1675.65	c total clause space: 886.764MB
1675.33/1675.65	c total #watches: 5862819
1703.73/1704.01	c total #propagations: 14776292 / total #impl: 4736812518 (eff. 0.003)
1703.73/1704.01	c #Conflicts:      61000 | #Learnt:      11493 | 0.003
1703.73/1704.01	c total clause space: 886.764MB
1703.73/1704.01	c total #watches: 6124887
1726.42/1726.70	c total #propagations: 14977057 / total #impl: 4825619796 (eff. 0.003)
1726.42/1726.70	c GC COLLECT
1726.42/1726.70	c #Conflicts:      62000 | #Learnt:       6601 | 0.003
1726.42/1726.70	c total clause space: 886.764MB
1726.42/1726.70	c total #watches: 4628695
1743.12/1743.50	c total #propagations: 15170592 / total #impl: 4927819516 (eff. 0.003)
1743.12/1743.50	c #Conflicts:      63000 | #Learnt:       7601 | 0.003
1743.12/1743.50	c total clause space: 886.764MB
1743.12/1743.50	c total #watches: 4836344
1760.62/1760.94	c total #propagations: 15410974 / total #impl: 5015930569 (eff. 0.003)
1760.62/1760.94	c #Conflicts:      64000 | #Learnt:       8601 | 0.003
1760.62/1760.94	c total clause space: 886.764MB
1760.62/1760.94	c total #watches: 5014458
1795.21/1795.52	c total #propagations: 15613663 / total #impl: 5129258968 (eff. 0.003)
1795.21/1795.52	c #Conflicts:      65000 | #Learnt:       9601 | 0.003
1795.21/1795.52	c total clause space: 886.764MB
1795.21/1795.52	c total #watches: 5200204

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

pid=26248
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.30 2.25 2.20 3/176 26251
/proc/meminfo: memFree=29981132/32872528 swapFree=16636/1570076
[pid=26251] ppid=26248 vsize=29112 CPUtime=0 cores=1,3,5,7
/proc/26251/stat : 26251 (cdcl-cuttingpla) R 26248 26251 25616 0 -1 4202496 276 0 0 0 0 0 0 0 20 0 1 0 121410137 29810688 5268 33554432000 4194304 6201397 140733575346720 140734918841816 4211056 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26251/statm: 7278 5268 130 491 0 6777 0

[startup+0.100167 s]
/proc/loadavg: 2.30 2.25 2.20 3/176 26251
/proc/meminfo: memFree=29981132/32872528 swapFree=16636/1570076
[pid=26251] ppid=26248 vsize=34516 CPUtime=0.09 cores=1,3,5,7
/proc/26251/stat : 26251 (cdcl-cuttingpla) R 26248 26251 25616 0 -1 4202496 1389 0 0 0 9 0 0 0 20 0 1 0 121410137 35344384 7546 33554432000 4194304 6201397 140733575346720 140734918841816 4207438 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26251/statm: 8629 7547 142 491 0 8128 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 34516

[startup+0.200331 s]
/proc/loadavg: 2.30 2.25 2.20 3/176 26251
/proc/meminfo: memFree=29981132/32872528 swapFree=16636/1570076
[pid=26251] ppid=26248 vsize=42444 CPUtime=0.18 cores=1,3,5,7
/proc/26251/stat : 26251 (cdcl-cuttingpla) R 26248 26251 25616 0 -1 4202496 2778 0 0 0 18 0 0 0 20 0 1 0 121410137 43462656 8904 33554432000 4194304 6201397 140733575346720 140734918841816 4208163 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26251/statm: 10611 8904 143 491 0 10110 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 42444

[startup+0.300308 s]
/proc/loadavg: 2.30 2.25 2.20 3/176 26251
/proc/meminfo: memFree=29981132/32872528 swapFree=16636/1570076
[pid=26251] ppid=26248 vsize=50936 CPUtime=0.29 cores=1,3,5,7
/proc/26251/stat : 26251 (cdcl-cuttingpla) R 26248 26251 25616 0 -1 4202496 4060 0 0 0 28 1 0 0 20 0 1 0 121410137 52158464 10735 33554432000 4194304 6201397 140733575346720 140734918841816 5408672 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26251/statm: 12734 10735 143 491 0 12233 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50936

[startup+0.700275 s]
/proc/loadavg: 2.30 2.25 2.20 3/176 26251
/proc/meminfo: memFree=29981132/32872528 swapFree=16636/1570076
[pid=26251] ppid=26248 vsize=85260 CPUtime=0.69 cores=1,3,5,7
/proc/26251/stat : 26251 (cdcl-cuttingpla) R 26248 26251 25616 0 -1 4202496 6945 0 0 0 68 1 0 0 20 0 1 0 121410137 87306240 16271 33554432000 4194304 6201397 140733575346720 140733575344856 5150858 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26251/statm: 21315 16272 143 491 0 20814 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85260

[startup+1.50027 s]
/proc/loadavg: 2.30 2.25 2.20 3/177 26252
/proc/meminfo: memFree=29830624/32872528 swapFree=16636/1570076
[pid=26251] ppid=26248 vsize=123176 CPUtime=1.49 cores=1,3,5,7
/proc/26251/stat : 26251 (cdcl-cuttingpla) R 26248 26251 25616 0 -1 4202496 9908 0 0 0 146 3 0 0 20 0 1 0 121410137 126132224 27266 33554432000 4194304 6201397 140733575346720 140733575344856 5408672 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26251/statm: 30794 27266 143 491 0 30293 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 123176

[startup+3.10061 s]
/proc/loadavg: 2.27 2.24 2.20 3/177 26252
/proc/meminfo: memFree=29693796/32872528 swapFree=16636/1570076
[pid=26251] ppid=26248 vsize=185352 CPUtime=3.09 cores=1,3,5,7
/proc/26251/stat : 26251 (cdcl-cuttingpla) R 26248 26251 25616 0 -1 4202496 13507 0 0 0 305 4 0 0 20 0 1 0 121410137 189800448 44773 33554432000 4194304 6201397 140733575346720 140733575345000 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26251/statm: 46338 44773 147 491 0 45837 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 185352

[startup+6.3003 s]
/proc/loadavg: 2.27 2.24 2.20 4/177 26252
/proc/meminfo: memFree=29616308/32872528 swapFree=16636/1570076
[pid=26251] ppid=26248 vsize=268144 CPUtime=6.28 cores=1,3,5,7
/proc/26251/stat : 26251 (cdcl-cuttingpla) R 26248 26251 25616 0 -1 4202496 14095 0 0 0 624 4 0 0 20 0 1 0 121410137 274579456 49914 33554432000 4194304 6201397 140733575346720 140733575345000 4213170 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26251/statm: 67036 49914 160 491 0 66535 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 268144

[startup+12.7003 s]
/proc/loadavg: 2.23 2.23 2.20 4/177 26252
/proc/meminfo: memFree=29540992/32872528 swapFree=16636/1570076
[pid=26251] ppid=26248 vsize=275072 CPUtime=12.69 cores=1,3,5,7
/proc/26251/stat : 26251 (cdcl-cuttingpla) R 26248 26251 25616 0 -1 4202496 15826 0 0 0 1264 5 0 0 20 0 1 0 121410137 281673728 58799 33554432000 4194304 6201397 140733575346720 140733575345000 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26251/statm: 68768 58799 160 491 0 68267 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 275072

[startup+25.5004 s]
/proc/loadavg: 2.20 2.23 2.20 3/177 26252
/proc/meminfo: memFree=29428500/32872528 swapFree=16636/1570076
[pid=26251] ppid=26248 vsize=415184 CPUtime=25.48 cores=1,3,5,7
/proc/26251/stat : 26251 (cdcl-cuttingpla) R 26248 26251 25616 0 -1 4202496 18100 0 0 0 2542 6 0 0 20 0 1 0 121410137 425148416 72749 33554432000 4194304 6201397 140733575346720 140733575345000 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26251/statm: 103796 72749 166 491 0 103295 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 415184

[startup+51.1004 s]
/proc/loadavg: 2.20 2.22 2.19 3/177 26253
/proc/meminfo: memFree=29332876/32872528 swapFree=16636/1570076
[pid=26251] ppid=26248 vsize=419928 CPUtime=51.08 cores=1,3,5,7
/proc/26251/stat : 26251 (cdcl-cuttingpla) R 26248 26251 25616 0 -1 4202496 20212 0 0 0 5101 7 0 0 20 0 1 0 121410137 430006272 84024 33554432000 4194304 6201397 140733575346720 140733575345432 4213110 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26251/statm: 104982 84024 166 491 0 104481 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 419928

[startup+102.3 s]
/proc/loadavg: 2.23 2.23 2.19 4/177 26254
/proc/meminfo: memFree=29268292/32872528 swapFree=16636/1570076
[pid=26251] ppid=26248 vsize=432912 CPUtime=102.28 cores=1,3,5,7
/proc/26251/stat : 26251 (cdcl-cuttingpla) R 26248 26251 25616 0 -1 4202496 23695 0 0 0 10220 8 0 0 20 0 1 0 121410137 443301888 92100 33554432000 4194304 6201397 140733575346720 140733575345432 4213257 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26251/statm: 108228 92100 166 491 0 107727 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 432912

[startup+162.3 s]
/proc/loadavg: 2.18 2.22 2.19 3/177 26255
/proc/meminfo: memFree=29157200/32872528 swapFree=16636/1570076
[pid=26251] ppid=26248 vsize=438064 CPUtime=162.26 cores=1,3,5,7
/proc/26251/stat : 26251 (cdcl-cuttingpla) R 26248 26251 25616 0 -1 4202496 25070 0 0 0 16217 9 0 0 20 0 1 0 121410137 448577536 105739 33554432000 4194304 6201397 140733575346720 140733575345848 4239520 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26251/statm: 109516 105739 166 491 0 109015 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 438064

[startup+222.307 s]
/proc/loadavg: 2.23 2.22 2.19 4/177 26256
/proc/meminfo: memFree=29121024/32872528 swapFree=16636/1570076
[pid=26251] ppid=26248 vsize=654540 CPUtime=222.26 cores=1,3,5,7
/proc/26251/stat : 26251 (cdcl-cuttingpla) R 26248 26251 25616 0 -1 4202496 26031 0 0 0 22216 10 0 0 20 0 1 0 121410137 670248960 113993 33554432000 4194304 6201397 140733575346720 140733575345000 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26251/statm: 163635 113993 166 491 0 163134 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 654540

[startup+282.3 s]
/proc/loadavg: 2.15 2.19 2.18 3/178 26260
/proc/meminfo: memFree=29084416/32872528 swapFree=16636/1570076
[pid=26251] ppid=26248 vsize=654540 CPUtime=282.25 cores=1,3,5,7
/proc/26251/stat : 26251 (cdcl-cuttingpla) R 26248 26251 25616 0 -1 4202496 26039 0 0 0 28215 10 0 0 20 0 1 0 121410137 670248960 114001 33554432000 4194304 6201397 140733575346720 140733575345848 4219588 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26251/statm: 163635 114001 166 491 0 163134 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 654540

[startup+342.3 s]
/proc/loadavg: 2.13 2.18 2.18 4/177 26261
/proc/meminfo: memFree=29022908/32872528 swapFree=16636/1570076
[pid=26251] ppid=26248 vsize=656112 CPUtime=342.24 cores=1,3,5,7
/proc/26251/stat : 26251 (cdcl-cuttingpla) R 26248 26251 25616 0 -1 4202496 26561 0 0 0 34214 10 0 0 20 0 1 0 121410137 671858688 119107 33554432000 4194304 6201397 140733575346720 140733575345848 4213110 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26251/statm: 164028 119107 166 491 0 163527 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 656112

[startup+402.3 s]
/proc/loadavg: 2.24 2.20 2.18 4/177 26263
/proc/meminfo: memFree=28992528/32872528 swapFree=16636/1570076
[pid=26251] ppid=26248 vsize=659812 CPUtime=402.23 cores=1,3,5,7
/proc/26251/stat : 26251 (cdcl-cuttingpla) R 26248 26251 25616 0 -1 4202496 27576 0 0 0 40213 10 0 0 20 0 1 0 121410137 675647488 120122 33554432000 4194304 6201397 140733575346720 140733575345000 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26251/statm: 164953 120122 166 491 0 164452 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 659812

[startup+462.3 s]
/proc/loadavg: 2.30 2.21 2.18 3/177 26264
/proc/meminfo: memFree=28901044/32872528 swapFree=16636/1570076
[pid=26251] ppid=26248 vsize=663952 CPUtime=462.22 cores=1,3,5,7
/proc/26251/stat : 26251 (cdcl-cuttingpla) R 26248 26251 25616 0 -1 4202496 28598 0 0 0 46211 11 0 0 20 0 1 0 121410137 679886848 128809 33554432000 4194304 6201397 140733575346720 140733575345848 4213261 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26251/statm: 165988 128809 166 491 0 165487 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 663952

[startup+522.3 s]
/proc/loadavg: 2.30 2.22 2.19 3/177 26265
/proc/meminfo: memFree=28873728/32872528 swapFree=16636/1570076
[pid=26251] ppid=26248 vsize=664328 CPUtime=522.21 cores=1,3,5,7
/proc/26251/stat : 26251 (cdcl-cuttingpla) R 26248 26251 25616 0 -1 4202496 28754 0 0 0 52210 11 0 0 20 0 1 0 121410137 680271872 136119 33554432000 4194304 6201397 140733575346720 140733575345432 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26251/statm: 166082 136119 166 491 0 165581 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 664328

[startup+582.3 s]
/proc/loadavg: 2.40 2.26 2.20 4/177 26266
/proc/meminfo: memFree=28798700/32872528 swapFree=16636/1570076
[pid=26251] ppid=26248 vsize=665420 CPUtime=582.2 cores=1,3,5,7
/proc/26251/stat : 26251 (cdcl-cuttingpla) R 26248 26251 25616 0 -1 4202496 29074 0 0 0 58209 11 0 0 20 0 1 0 121410137 681390080 141549 33554432000 4194304 6201397 140733575346720 140733575345848 4213268 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26251/statm: 166355 141549 166 491 0 165854 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 665420


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


[startup+942.3 s]
/proc/loadavg: 2.40 2.30 2.21 4/177 26276
/proc/meminfo: memFree=28544380/32872528 swapFree=16636/1570076
[pid=26251] ppid=26248 vsize=1029960 CPUtime=942.15 cores=1,3,5,7
/proc/26251/stat : 26251 (cdcl-cuttingpla) R 26248 26251 25616 0 -1 4202496 33539 0 0 0 94201 14 0 0 20 0 1 0 121410137 1054679040 174306 33554432000 4194304 6201397 140733575346720 140733575345848 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26251/statm: 257490 174306 166 491 0 256989 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 1029960

[startup+1002.3 s]
/proc/loadavg: 2.24 2.27 2.21 3/177 26278
/proc/meminfo: memFree=28544196/32872528 swapFree=16636/1570076
[pid=26251] ppid=26248 vsize=1030148 CPUtime=1002.14 cores=1,3,5,7
/proc/26251/stat : 26251 (cdcl-cuttingpla) R 26248 26251 25616 0 -1 4202496 33615 0 0 0 100200 14 0 0 20 0 1 0 121410137 1054871552 174382 33554432000 4194304 6201397 140733575346720 140733575345432 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26251/statm: 257537 174382 166 491 0 257036 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 1030148

[startup+1062.3 s]
/proc/loadavg: 2.25 2.27 2.21 3/177 26279
/proc/meminfo: memFree=28491884/32872528 swapFree=16636/1570076
[pid=26251] ppid=26248 vsize=1040656 CPUtime=1062.13 cores=1,3,5,7
/proc/26251/stat : 26251 (cdcl-cuttingpla) R 26248 26251 25616 0 -1 4202496 36218 0 0 0 106198 15 0 0 20 0 1 0 121410137 1065631744 187199 33554432000 4194304 6201397 140733575346720 140733575345848 4213257 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26251/statm: 260164 187199 166 491 0 259663 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 1040656

[startup+1122.3 s]
/proc/loadavg: 2.24 2.26 2.20 4/177 26280
/proc/meminfo: memFree=28491116/32872528 swapFree=16636/1570076
[pid=26251] ppid=26248 vsize=1040848 CPUtime=1122.12 cores=1,3,5,7
/proc/26251/stat : 26251 (cdcl-cuttingpla) R 26248 26251 25616 0 -1 4202496 36253 0 0 0 112197 15 0 0 20 0 1 0 121410137 1065828352 187234 33554432000 4194304 6201397 140733575346720 140733575345848 4234239 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26251/statm: 260212 187234 166 491 0 259711 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 1040848

[startup+1182.3 s]
/proc/loadavg: 2.16 2.23 2.19 3/177 26281
/proc/meminfo: memFree=28453236/32872528 swapFree=16636/1570076
[pid=26251] ppid=26248 vsize=1041040 CPUtime=1182.11 cores=1,3,5,7
/proc/26251/stat : 26251 (cdcl-cuttingpla) R 26248 26251 25616 0 -1 4202496 36344 0 0 0 118196 15 0 0 20 0 1 0 121410137 1066024960 187325 33554432000 4194304 6201397 140733575346720 140733575345848 4213257 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26251/statm: 260260 187325 166 491 0 259759 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 1041040

[startup+1242.3 s]
/proc/loadavg: 2.22 2.23 2.19 3/177 26282
/proc/meminfo: memFree=28426092/32872528 swapFree=16636/1570076
[pid=26251] ppid=26248 vsize=1041236 CPUtime=1242.1 cores=1,3,5,7
/proc/26251/stat : 26251 (cdcl-cuttingpla) R 26248 26251 25616 0 -1 4202496 36432 0 0 0 124195 15 0 0 20 0 1 0 121410137 1066225664 193545 33554432000 4194304 6201397 140733575346720 140733575345000 4213257 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26251/statm: 260309 193545 166 491 0 259808 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1041236

[startup+1302.3 s]
/proc/loadavg: 2.19 2.22 2.18 3/177 26284
/proc/meminfo: memFree=28385448/32872528 swapFree=16636/1570076
[pid=26251] ppid=26248 vsize=1042056 CPUtime=1302.09 cores=1,3,5,7
/proc/26251/stat : 26251 (cdcl-cuttingpla) R 26248 26251 25616 0 -1 4202496 36623 0 0 0 130193 16 0 0 20 0 1 0 121410137 1067065344 203445 33554432000 4194304 6201397 140733575346720 140733575345432 4214946 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26251/statm: 260514 203445 166 491 0 260013 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1042056

[startup+1362.3 s]
/proc/loadavg: 2.15 2.20 2.18 3/177 26285
/proc/meminfo: memFree=28362280/32872528 swapFree=16636/1570076
[pid=26251] ppid=26248 vsize=1042056 CPUtime=1362.08 cores=1,3,5,7
/proc/26251/stat : 26251 (cdcl-cuttingpla) R 26248 26251 25616 0 -1 4202496 36674 0 0 0 136192 16 0 0 20 0 1 0 121410137 1067065344 203496 33554432000 4194304 6201397 140733575346720 140733575345848 4213257 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26251/statm: 260514 203496 166 491 0 260013 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1042056

[startup+1422.3 s]
/proc/loadavg: 2.21 2.21 2.18 4/177 26286
/proc/meminfo: memFree=28362380/32872528 swapFree=16636/1570076
[pid=26251] ppid=26248 vsize=1042056 CPUtime=1422.07 cores=1,3,5,7
/proc/26251/stat : 26251 (cdcl-cuttingpla) R 26248 26251 25616 0 -1 4202496 36681 0 0 0 142191 16 0 0 20 0 1 0 121410137 1067065344 203503 33554432000 4194304 6201397 140733575346720 140733575345848 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26251/statm: 260514 203503 166 491 0 260013 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 1042056

[startup+1482.3 s]
/proc/loadavg: 2.12 2.18 2.17 4/178 26290
/proc/meminfo: memFree=28362240/32872528 swapFree=16636/1570076
[pid=26251] ppid=26248 vsize=1042216 CPUtime=1482.06 cores=1,3,5,7
/proc/26251/stat : 26251 (cdcl-cuttingpla) R 26248 26251 25616 0 -1 4202496 36711 0 0 0 148190 16 0 0 20 0 1 0 121410137 1067229184 203533 33554432000 4194304 6201397 140733575346720 140733575345432 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26251/statm: 260554 203533 166 491 0 260053 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1042216

[startup+1542.31 s]
/proc/loadavg: 2.31 2.22 2.19 3/177 26291
/proc/meminfo: memFree=28328708/32872528 swapFree=16636/1570076
[pid=26251] ppid=26248 vsize=1042596 CPUtime=1542.06 cores=1,3,5,7
/proc/26251/stat : 26251 (cdcl-cuttingpla) R 26248 26251 25616 0 -1 4202496 36829 0 0 0 154189 17 0 0 20 0 1 0 121410137 1067618304 211827 33554432000 4194304 6201397 140733575346720 140733575345432 4213240 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26251/statm: 260649 211827 166 491 0 260148 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 1042596

[startup+1602.3 s]
/proc/loadavg: 2.23 2.21 2.18 3/177 26293
/proc/meminfo: memFree=28323716/32872528 swapFree=16636/1570076
[pid=26251] ppid=26248 vsize=1042740 CPUtime=1602.04 cores=1,3,5,7
/proc/26251/stat : 26251 (cdcl-cuttingpla) R 26248 26251 25616 0 -1 4202496 36858 0 0 0 160187 17 0 0 20 0 1 0 121410137 1067765760 211856 33554432000 4194304 6201397 140733575346720 140733575345848 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26251/statm: 260685 211856 166 491 0 260184 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 1042740

[startup+1662.3 s]
/proc/loadavg: 2.12 2.18 2.17 3/177 26294
/proc/meminfo: memFree=28322300/32872528 swapFree=16636/1570076
[pid=26251] ppid=26248 vsize=1042740 CPUtime=1662.04 cores=1,3,5,7
/proc/26251/stat : 26251 (cdcl-cuttingpla) R 26248 26251 25616 0 -1 4202496 36890 0 0 0 166187 17 0 0 20 0 1 0 121410137 1067765760 211888 33554432000 4194304 6201397 140733575346720 140733575345848 4213253 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26251/statm: 260685 211888 166 491 0 260184 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 1042740

[startup+1722.3 s]
/proc/loadavg: 2.20 2.19 2.18 3/176 26295
/proc/meminfo: memFree=28301500/32872528 swapFree=16636/1570076
[pid=26251] ppid=26248 vsize=1043796 CPUtime=1722.02 cores=1,3,5,7
/proc/26251/stat : 26251 (cdcl-cuttingpla) R 26248 26251 25616 0 -1 4202496 37146 0 0 0 172185 17 0 0 20 0 1 0 121410137 1068847104 217254 33554432000 4194304 6201397 140733575346720 140733575345000 4213394 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26251/statm: 260949 217254 166 491 0 260448 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 1043796

[startup+1782.3 s]
/proc/loadavg: 2.33 2.24 2.19 3/177 26297
/proc/meminfo: memFree=28299124/32872528 swapFree=16636/1570076
[pid=26251] ppid=26248 vsize=1043796 CPUtime=1782.01 cores=1,3,5,7
/proc/26251/stat : 26251 (cdcl-cuttingpla) R 26248 26251 25616 0 -1 4202496 37191 0 0 0 178184 17 0 0 20 0 1 0 121410137 1068847104 217299 33554432000 4194304 6201397 140733575346720 140733575345848 4214954 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26251/statm: 260949 217299 166 491 0 260448 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 1043796



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.40 2.26 2.20 4/177 26297
/proc/meminfo: memFree=28295904/32872528 swapFree=16636/1570076
[pid=26251] ppid=26248 vsize=1043940 CPUtime=1800.01 cores=1,3,5,7
/proc/26251/stat : 26251 (cdcl-cuttingpla) R 26248 26251 25616 0 -1 4202496 37206 0 0 0 179984 17 0 0 20 0 1 0 121410137 1068994560 217314 33554432000 4194304 6201397 140733575346720 140733575345848 4213257 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26251/statm: 260985 217314 166 491 0 260484 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1043940

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

[startup+1800.3 s]
/proc/loadavg: 2.40 2.26 2.20 4/177 26297
/proc/meminfo: memFree=28295904/32872528 swapFree=16636/1570076
[pid=26251] ppid=26248 vsize=1043940 CPUtime=1800.01 cores=1,3,5,7
/proc/26251/stat : 26251 (cdcl-cuttingpla) R 26248 26251 25616 0 -1 4202496 37206 0 0 0 179984 17 0 0 20 0 1 0 121410137 1068994560 217314 33554432000 4194304 6201397 140733575346720 140733575345848 4213257 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/26251/statm: 260985 217314 166 491 0 260484 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1043940

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.03
CPU user time (s): 1799.84
CPU system time (s): 0.180972
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 1043940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.84
system time used= 0.180972
maximum resident set size= 869256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37206
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= 2028

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.37833 second user time and 7.32289 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-08 16:06:18
IDJOB=4088107
IDBENCH=1974
IDSOLVER=2550
FILE ID=node140/4088107-1465394777
RUNJOBID= node140-1465387573-25633
PBS_JOBID= 19853863
Free space on /tmp= 71708 MiB

SOLVER NAME= cdcl-cuttingplanes OPT linear search 2016-05-01
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-linearsearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088107-1465394777/watcher-4088107-1465394777 -o /tmp/evaluation-result-4088107-1465394777/solver-4088107-1465394777 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465387573-25633 --watchdog 1960 --input HOME/instance-4088107-1465394777.opb ./cdcl-cuttingplanes-opt-linearsearch-release

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

MD5SUM BENCH= fad34197fa8b5ebd519d12750a352ad5
RANDOM SEED=1453188386

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:        30006856 kB
Buffers:          113412 kB
Cached:           429104 kB
SwapCached:         1664 kB
Active:           180848 kB
Inactive:         364972 kB
Active(anon):       2756 kB
Inactive(anon):     2932 kB
Active(file):     178092 kB
Inactive(file):   362040 kB
Unevictable:     1570076 kB
Mlocked:           16636 kB
SwapTotal:      67108856 kB
SwapFree:       67098768 kB
Dirty:             38424 kB
Writeback:            72 kB
AnonPages:       1572628 kB
Mapped:             7012 kB
Shmem:                 0 kB
Slab:             615776 kB
SReclaimable:      59392 kB
SUnreclaim:       556384 kB
KernelStack:        1392 kB
PageTables:         6416 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1666432 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= 71704 MiB
End job on node140 at 2016-06-08 16:36:18