Trace number 4087449

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_1.opb.PB06.opb
MD5SUM2fd45123d8e20b24379108257151f007
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark294
Best CPU time to get the best result obtained on this benchmark1800.14
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 414
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 488873
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 488873
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.69/0.74	c * #variable= 10000 #constraint= 656900
2.09/2.14	c * #variable= 10000 #constraint= 656900
4.59/4.69	c S1->S2
4.59/4.69	c S1->S2
4.59/4.69	c S1->S2
4.59/4.69	c S1->S2
4.59/4.69	c S1->S2
4.59/4.69	c #Conflicts:       1000 | #Learnt:       1004 | 0.000
4.59/4.69	c total clause space: 127.173MB
4.59/4.69	c total #watches: 1422122
11.09/11.12	c total #propagations: 196765 / total #impl: 3870425 (eff. 0.051)
11.09/11.12	c #Conflicts:       2000 | #Learnt:       2004 | 0.001
11.09/11.12	c total clause space: 206.656MB
11.09/11.12	c total #watches: 1938046
18.39/18.41	c total #propagations: 418601 / total #impl: 79221528 (eff. 0.005)
18.39/18.41	c #Conflicts:       3000 | #Learnt:       2012 | 0.001
18.39/18.41	c total clause space: 206.656MB
18.39/18.41	c total #watches: 2381111
29.80/29.89	c total #propagations: 647645 / total #impl: 146672862 (eff. 0.004)
29.80/29.89	c #Conflicts:       4000 | #Learnt:       3012 | 0.001
29.80/29.89	c total clause space: 335.816MB
29.80/29.89	c total #watches: 2706015
42.28/42.38	c total #propagations: 916831 / total #impl: 226102872 (eff. 0.004)
42.28/42.38	c GC COLLECT
42.28/42.38	c #Conflicts:       5000 | #Learnt:       2365 | 0.001
42.28/42.38	c total clause space: 335.816MB
42.28/42.38	c total #watches: 2908159
57.68/57.71	c total #propagations: 1112289 / total #impl: 309764666 (eff. 0.004)
57.68/57.71	c #Conflicts:       6000 | #Learnt:       3365 | 0.009
57.68/57.71	c total clause space: 335.816MB
57.68/57.71	c total #watches: 3489697
74.28/74.30	c total #propagations: 1364031 / total #impl: 396203412 (eff. 0.003)
74.28/74.30	c GC COLLECT
74.28/74.30	c #Conflicts:       7000 | #Learnt:       2239 | 0.008
74.28/74.30	c total clause space: 335.816MB
74.28/74.30	c total #watches: 3312984
89.78/89.83	c total #propagations: 1568515 / total #impl: 474801051 (eff. 0.003)
89.78/89.83	c #Conflicts:       8000 | #Learnt:       3239 | 0.007
89.78/89.83	c total clause space: 335.816MB
89.78/89.83	c total #watches: 3846543
123.67/123.74	c total #propagations: 1758881 / total #impl: 605931101 (eff. 0.003)
123.67/123.74	c #Conflicts:       9000 | #Learnt:       4239 | 0.006
123.67/123.74	c total clause space: 335.816MB
123.67/123.74	c total #watches: 4233743
158.56/158.65	c total #propagations: 2053180 / total #impl: 707192971 (eff. 0.003)
158.56/158.65	c GC COLLECT
158.56/158.65	c #Conflicts:      10000 | #Learnt:       2728 | 0.007
158.56/158.65	c total clause space: 545.701MB
158.56/158.65	c total #watches: 3356629
178.17/178.23	c total #propagations: 2306311 / total #impl: 801812036 (eff. 0.003)
178.17/178.23	c #Conflicts:      11000 | #Learnt:       3728 | 0.007
178.17/178.23	c total clause space: 545.701MB
178.17/178.23	c total #watches: 3834419
209.65/209.71	c total #propagations: 2466701 / total #impl: 938831838 (eff. 0.003)
209.65/209.71	c #Conflicts:      12000 | #Learnt:       4728 | 0.006
209.65/209.71	c total clause space: 545.701MB
209.65/209.71	c total #watches: 4288740
246.25/246.33	c total #propagations: 2708832 / total #impl: 1102671563 (eff. 0.002)
246.25/246.33	c #Conflicts:      13000 | #Learnt:       5728 | 0.006
246.25/246.33	c total clause space: 545.701MB
246.25/246.33	c total #watches: 4851388
269.45/269.56	c total #propagations: 2947171 / total #impl: 1303957726 (eff. 0.002)
269.45/269.56	c GC COLLECT
269.45/269.56	c #Conflicts:      14000 | #Learnt:       3869 | 0.005
269.45/269.56	c total clause space: 545.701MB
269.45/269.56	c total #watches: 4044909
291.84/291.96	c total #propagations: 3206929 / total #impl: 1497672646 (eff. 0.002)
291.84/291.96	c #Conflicts:      15000 | #Learnt:       4869 | 0.005
291.84/291.96	c total clause space: 545.701MB
291.84/291.96	c total #watches: 4304806
313.84/313.95	c total #propagations: 3486901 / total #impl: 1682079014 (eff. 0.002)
313.84/313.95	c #Conflicts:      16000 | #Learnt:       5869 | 0.005
313.84/313.95	c total clause space: 545.701MB
313.84/313.95	c total #watches: 4617879
334.64/334.78	c total #propagations: 3728971 / total #impl: 1860128870 (eff. 0.002)
334.64/334.78	c GC COLLECT
334.64/334.78	c #Conflicts:      17000 | #Learnt:       3697 | 0.004
334.64/334.78	c total clause space: 545.701MB
334.64/334.78	c total #watches: 3529635
350.84/350.98	c total #propagations: 3953642 / total #impl: 2012330976 (eff. 0.002)
350.84/350.98	c #Conflicts:      18000 | #Learnt:       4697 | 0.008
350.84/350.98	c total clause space: 545.701MB
350.84/350.98	c total #watches: 3911598
370.53/370.60	c total #propagations: 4160625 / total #impl: 2215884343 (eff. 0.002)
370.53/370.60	c #Conflicts:      19000 | #Learnt:       5697 | 0.007
370.53/370.60	c total clause space: 545.701MB
370.53/370.60	c total #watches: 4352992
404.53/404.60	c total #propagations: 4408517 / total #impl: 2481991499 (eff. 0.002)
404.53/404.60	c #Conflicts:      20000 | #Learnt:       6697 | 0.009
404.53/404.60	c total clause space: 545.701MB
404.53/404.60	c total #watches: 4626200
432.52/432.64	c total #propagations: 4702388 / total #impl: 2661326061 (eff. 0.002)
432.52/432.64	c GC COLLECT
432.52/432.64	c #Conflicts:      21000 | #Learnt:       4204 | 0.008
432.52/432.64	c total clause space: 545.701MB
432.52/432.64	c total #watches: 3714720
454.02/454.13	c total #propagations: 4981524 / total #impl: 2784801577 (eff. 0.002)
454.02/454.13	c #Conflicts:      22000 | #Learnt:       5204 | 0.008
454.02/454.13	c total clause space: 545.701MB
454.02/454.13	c total #watches: 4047255
481.52/481.64	c total #propagations: 5228109 / total #impl: 2835923016 (eff. 0.002)
481.52/481.64	c #Conflicts:      23000 | #Learnt:       6204 | 0.008
481.52/481.64	c total clause space: 545.701MB
481.52/481.64	c total #watches: 4319068
513.91/514.09	c total #propagations: 5453496 / total #impl: 2908860465 (eff. 0.002)
513.91/514.09	c #Conflicts:      24000 | #Learnt:       7204 | 0.007
513.91/514.09	c total clause space: 545.701MB
513.91/514.09	c total #watches: 4611861
539.70/539.80	c total #propagations: 5699657 / total #impl: 2987275255 (eff. 0.002)
539.70/539.80	c GC COLLECT
539.70/539.80	c #Conflicts:      25000 | #Learnt:       4413 | 0.007
539.70/539.80	c total clause space: 545.701MB
539.70/539.80	c total #watches: 3520385
556.00/556.19	c total #propagations: 5955951 / total #impl: 3047454491 (eff. 0.002)
556.00/556.19	c #Conflicts:      26000 | #Learnt:       5413 | 0.007
556.00/556.19	c total clause space: 545.701MB
556.00/556.19	c total #watches: 3739452
570.30/570.40	c total #propagations: 6197147 / total #impl: 3119686565 (eff. 0.002)
570.30/570.40	c #Conflicts:      27000 | #Learnt:       6413 | 0.007
570.30/570.40	c total clause space: 545.701MB
570.30/570.40	c total #watches: 3973552
599.79/599.95	c total #propagations: 6404321 / total #impl: 3189401212 (eff. 0.002)
599.79/599.95	c #Conflicts:      28000 | #Learnt:       7413 | 0.010
599.79/599.95	c total clause space: 545.701MB
599.79/599.95	c total #watches: 4238869
630.00/630.16	c total #propagations: 6703722 / total #impl: 3249042077 (eff. 0.002)
630.00/630.16	c GC COLLECT
630.00/630.16	c #Conflicts:      29000 | #Learnt:       4312 | 0.012
630.00/630.16	c total clause space: 545.701MB
630.00/630.16	c total #watches: 3222713
650.59/650.77	c total #propagations: 7025849 / total #impl: 3294992366 (eff. 0.002)
650.59/650.77	c #Conflicts:      30000 | #Learnt:       5312 | 0.012
650.59/650.77	c total clause space: 545.701MB
650.59/650.77	c total #watches: 3603252
678.49/678.60	c total #propagations: 7269224 / total #impl: 3352414446 (eff. 0.002)
678.49/678.60	c #Conflicts:      31000 | #Learnt:       6312 | 0.012
678.49/678.60	c total clause space: 545.701MB
678.49/678.60	c total #watches: 3912047
707.58/707.70	c total #propagations: 7529164 / total #impl: 3404203676 (eff. 0.002)
707.58/707.70	c #Conflicts:      32000 | #Learnt:       7312 | 0.012
707.58/707.70	c total clause space: 545.701MB
707.58/707.70	c total #watches: 4195589
740.57/740.75	c total #propagations: 7785686 / total #impl: 3465802597 (eff. 0.002)
740.57/740.75	c #Conflicts:      33000 | #Learnt:       8312 | 0.011
740.57/740.75	c total clause space: 545.701MB
740.57/740.75	c total #watches: 4433175
766.78/766.98	c total #propagations: 8051303 / total #impl: 3518362160 (eff. 0.002)
766.78/766.98	c GC COLLECT
766.78/766.98	c #Conflicts:      34000 | #Learnt:       4916 | 0.011
766.78/766.98	c total clause space: 886.764MB
766.78/766.98	c total #watches: 3726016
789.17/789.33	c total #propagations: 8266560 / total #impl: 3556841882 (eff. 0.002)
789.17/789.33	c #Conflicts:      35000 | #Learnt:       5916 | 0.011
789.17/789.33	c total clause space: 886.764MB
789.17/789.33	c total #watches: 3880633
813.17/813.40	c total #propagations: 8582857 / total #impl: 3603758434 (eff. 0.002)
813.17/813.40	c #Conflicts:      36000 | #Learnt:       6916 | 0.011
813.17/813.40	c total clause space: 886.764MB
813.17/813.40	c total #watches: 4032181
841.66/841.88	c total #propagations: 8872771 / total #impl: 3659260807 (eff. 0.002)
841.66/841.88	c #Conflicts:      37000 | #Learnt:       7916 | 0.010
841.66/841.88	c total clause space: 886.764MB
841.66/841.88	c total #watches: 4251840
868.76/868.91	c total #propagations: 9180623 / total #impl: 3731147695 (eff. 0.002)
868.76/868.91	c #Conflicts:      38000 | #Learnt:       8916 | 0.010
868.76/868.91	c total clause space: 886.764MB
868.76/868.91	c total #watches: 4447585
894.95/895.16	c total #propagations: 9456089 / total #impl: 3814556543 (eff. 0.002)
894.95/895.16	c GC COLLECT
894.95/895.16	c #Conflicts:      39000 | #Learnt:       5211 | 0.010
894.95/895.16	c total clause space: 886.764MB
894.95/895.16	c total #watches: 3225076
913.15/913.37	c total #propagations: 9757991 / total #impl: 3898839238 (eff. 0.003)
913.15/913.37	c #Conflicts:      40000 | #Learnt:       6211 | 0.010
913.15/913.37	c total clause space: 886.764MB
913.15/913.37	c total #watches: 3538064
931.14/931.39	c total #propagations: 10002718 / total #impl: 3988474596 (eff. 0.003)
931.14/931.39	c #Conflicts:      41000 | #Learnt:       7211 | 0.009
931.14/931.39	c total clause space: 886.764MB
931.14/931.39	c total #watches: 3820538
950.84/951.07	c total #propagations: 10209833 / total #impl: 4078730296 (eff. 0.003)
950.84/951.07	c #Conflicts:      42000 | #Learnt:       8211 | 0.009
950.84/951.07	c total clause space: 886.764MB
950.84/951.07	c total #watches: 3989520
972.24/972.43	c total #propagations: 10461984 / total #impl: 4168678699 (eff. 0.003)
972.24/972.43	c #Conflicts:      43000 | #Learnt:       9211 | 0.009
972.24/972.43	c total clause space: 886.764MB
972.24/972.43	c total #watches: 4251036
994.94/995.19	c total #propagations: 10717278 / total #impl: 4267675451 (eff. 0.003)
994.94/995.19	c GC COLLECT
994.94/995.19	c #Conflicts:      44000 | #Learnt:       5214 | 0.009
994.94/995.19	c total clause space: 886.764MB
994.94/995.19	c total #watches: 3443138
1013.84/1014.08	c total #propagations: 10986569 / total #impl: 4401895564 (eff. 0.002)
1013.84/1014.08	c #Conflicts:      45000 | #Learnt:       6214 | 0.008
1013.84/1014.08	c total clause space: 886.764MB
1013.84/1014.08	c total #watches: 3772701
1047.23/1047.45	c total #propagations: 11266082 / total #impl: 4530125325 (eff. 0.002)
1047.23/1047.45	c #Conflicts:      46000 | #Learnt:       7214 | 0.009
1047.23/1047.45	c total clause space: 886.764MB
1047.23/1047.45	c total #watches: 4110321
1089.72/1089.99	c total #propagations: 11564599 / total #impl: 4642591114 (eff. 0.002)
1089.72/1089.99	c #Conflicts:      47000 | #Learnt:       8214 | 0.009
1089.72/1089.99	c total clause space: 886.764MB
1089.72/1089.99	c total #watches: 4476238
1120.52/1120.79	c total #propagations: 11904460 / total #impl: 4743584147 (eff. 0.003)
1120.52/1120.79	c #Conflicts:      48000 | #Learnt:       9214 | 0.009
1120.52/1120.79	c total clause space: 886.764MB
1120.52/1120.79	c total #watches: 4706719
1169.71/1169.92	c total #propagations: 12205489 / total #impl: 4800734045 (eff. 0.003)
1169.71/1169.92	c #Conflicts:      49000 | #Learnt:      10214 | 0.009
1169.71/1169.92	c total clause space: 886.764MB
1169.71/1169.92	c total #watches: 5015805
1209.92/1210.13	c total #propagations: 12535289 / total #impl: 4855419015 (eff. 0.003)
1209.92/1210.13	c GC COLLECT
1209.92/1210.13	c #Conflicts:      50000 | #Learnt:       5911 | 0.009
1209.92/1210.13	c total clause space: 886.764MB
1209.92/1210.13	c total #watches: 4086849
1242.40/1242.69	c total #propagations: 12845766 / total #impl: 4936850605 (eff. 0.003)
1242.40/1242.69	c #Conflicts:      51000 | #Learnt:       6911 | 0.008
1242.40/1242.69	c total clause space: 886.764MB
1242.40/1242.69	c total #watches: 4355615
1276.40/1276.65	c total #propagations: 13129449 / total #impl: 5026075761 (eff. 0.003)
1276.40/1276.65	c #Conflicts:      52000 | #Learnt:       7911 | 0.008
1276.40/1276.65	c total clause space: 886.764MB
1276.40/1276.65	c total #watches: 4580094
1312.29/1312.53	c total #propagations: 13438533 / total #impl: 5142349798 (eff. 0.003)
1312.29/1312.53	c #Conflicts:      53000 | #Learnt:       8911 | 0.008
1312.29/1312.53	c total clause space: 886.764MB
1312.29/1312.53	c total #watches: 4784790
1364.07/1364.30	c total #propagations: 13716169 / total #impl: 5299370459 (eff. 0.003)
1364.07/1364.30	c #Conflicts:      54000 | #Learnt:       9911 | 0.008
1364.07/1364.30	c total clause space: 886.764MB
1364.07/1364.30	c total #watches: 5063655
1422.36/1422.69	c total #propagations: 14044096 / total #impl: 5403797736 (eff. 0.003)
1422.36/1422.69	c #Conflicts:      55000 | #Learnt:      10911 | 0.008
1422.36/1422.69	c total clause space: 886.764MB
1422.36/1422.69	c total #watches: 5657347
1451.55/1451.84	c total #propagations: 14312683 / total #impl: 5506621701 (eff. 0.003)
1451.55/1451.84	c GC COLLECT
1451.55/1451.84	c #Conflicts:      56000 | #Learnt:       6312 | 0.008
1451.55/1451.84	c total clause space: 886.764MB
1451.55/1451.84	c total #watches: 4206852
1488.65/1488.98	c total #propagations: 14571955 / total #impl: 5590465176 (eff. 0.003)
1488.65/1488.98	c #Conflicts:      57000 | #Learnt:       7312 | 0.008
1488.65/1488.98	c total clause space: 886.764MB
1488.65/1488.98	c total #watches: 4585786
1527.84/1528.14	c total #propagations: 14874018 / total #impl: 5676169782 (eff. 0.003)
1527.84/1528.14	c #Conflicts:      58000 | #Learnt:       8312 | 0.007
1527.84/1528.14	c total clause space: 886.764MB
1527.84/1528.14	c total #watches: 4925493
1562.33/1562.64	c total #propagations: 15150334 / total #impl: 5783938933 (eff. 0.003)
1562.33/1562.64	c #Conflicts:      59000 | #Learnt:       9312 | 0.007
1562.33/1562.64	c total clause space: 886.764MB
1562.33/1562.64	c total #watches: 5337613
1594.43/1594.75	c total #propagations: 15463294 / total #impl: 5888085145 (eff. 0.003)
1594.43/1594.75	c #Conflicts:      60000 | #Learnt:      10312 | 0.007
1594.43/1594.75	c total clause space: 886.764MB
1594.43/1594.75	c total #watches: 5751392
1635.22/1635.56	c total #propagations: 15680421 / total #impl: 5992181500 (eff. 0.003)
1635.22/1635.56	c #Conflicts:      61000 | #Learnt:      11312 | 0.007
1635.22/1635.56	c total clause space: 886.764MB
1635.22/1635.56	c total #watches: 6216885
1667.62/1667.95	c total #propagations: 15923762 / total #impl: 6114410220 (eff. 0.003)
1667.62/1667.95	c GC COLLECT
1667.62/1667.95	c #Conflicts:      62000 | #Learnt:       6409 | 0.007
1667.62/1667.95	c total clause space: 886.764MB
1667.62/1667.95	c total #watches: 4950584
1693.12/1693.44	c total #propagations: 16128435 / total #impl: 6238485161 (eff. 0.003)
1693.12/1693.44	c #Conflicts:      63000 | #Learnt:       7409 | 0.007
1693.12/1693.44	c total clause space: 886.764MB
1693.12/1693.44	c total #watches: 5552074
1721.91/1722.27	c total #propagations: 16357609 / total #impl: 6443126906 (eff. 0.003)
1721.91/1722.27	c #Conflicts:      64000 | #Learnt:       8409 | 0.007
1721.91/1722.27	c total clause space: 886.764MB
1721.91/1722.27	c total #watches: 6124531
1781.90/1782.22	c total #propagations: 16588755 / total #impl: 6710023238 (eff. 0.002)
1781.90/1782.22	c #Conflicts:      65000 | #Learnt:       9409 | 0.007
1781.90/1782.22	c total clause space: 886.764MB
1781.90/1782.22	c total #watches: 6778258

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-4087449-1465394913/watcher-4087449-1465394913 -o /tmp/evaluation-result-4087449-1465394913/solver-4087449-1465394913 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1465387701-7081 --watchdog 1960 --input HOME/instance-4087449-1465394913.opb ./cdcl-cuttingplanes-opt-binarysearch-release 

pid=7744
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.23 2.24 2.20 3/176 7747
/proc/meminfo: memFree=29742260/32872528 swapFree=15784/1434320
[pid=7747] ppid=7744 vsize=55976 CPUtime=0 cores=1,3,5,7
/proc/7747/stat : 7747 (cdcl-cuttingpla) R 7744 7747 7064 0 -1 4202496 257 0 0 0 0 0 0 0 20 0 1 0 121424554 57319424 7804 33554432000 4194304 6211289 140734838254240 140734010488120 4206544 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7747/statm: 13994 7804 98 493 0 13491 0

[startup+0.100169 s]
/proc/loadavg: 2.23 2.24 2.20 3/176 7747
/proc/meminfo: memFree=29742260/32872528 swapFree=15784/1434320
[pid=7747] ppid=7744 vsize=59556 CPUtime=0.09 cores=1,3,5,7
/proc/7747/stat : 7747 (cdcl-cuttingpla) R 7744 7747 7064 0 -1 4202496 1188 0 0 0 9 0 0 0 20 0 1 0 121424554 60985344 11616 33554432000 4194304 6211289 140734838254240 140734010488120 5418912 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7747/statm: 14889 11616 121 493 0 14386 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 59556

[startup+0.200329 s]
/proc/loadavg: 2.23 2.24 2.20 3/176 7747
/proc/meminfo: memFree=29742260/32872528 swapFree=15784/1434320
[pid=7747] ppid=7744 vsize=62620 CPUtime=0.18 cores=1,3,5,7
/proc/7747/stat : 7747 (cdcl-cuttingpla) R 7744 7747 7064 0 -1 4202496 1442 0 0 0 18 0 0 0 20 0 1 0 121424554 64122880 12125 33554432000 4194304 6211289 140734838254240 140734838253080 5418912 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7747/statm: 15655 12125 121 493 0 15152 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 62620

[startup+0.300338 s]
/proc/loadavg: 2.23 2.24 2.20 3/176 7747
/proc/meminfo: memFree=29742260/32872528 swapFree=15784/1434320
[pid=7747] ppid=7744 vsize=68748 CPUtime=0.28 cores=1,3,5,7
/proc/7747/stat : 7747 (cdcl-cuttingpla) R 7744 7747 7064 0 -1 4202496 1948 0 0 0 28 0 0 0 20 0 1 0 121424554 70397952 13142 33554432000 4194304 6211289 140734838254240 140734838253080 5418912 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7747/statm: 17187 13142 121 493 0 16684 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 68748

[startup+0.700287 s]
/proc/loadavg: 2.23 2.24 2.20 3/176 7747
/proc/meminfo: memFree=29742260/32872528 swapFree=15784/1434320
[pid=7747] ppid=7744 vsize=81004 CPUtime=0.69 cores=1,3,5,7
/proc/7747/stat : 7747 (cdcl-cuttingpla) R 7744 7747 7064 0 -1 4202496 2447 0 0 0 68 1 0 0 20 0 1 0 121424554 82948096 15175 33554432000 4194304 6211289 140734838254240 140734838253080 5418912 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7747/statm: 20251 15175 121 493 0 19748 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 81004

[startup+1.50028 s]
/proc/loadavg: 2.23 2.24 2.20 3/177 7748
/proc/meminfo: memFree=29605996/32872528 swapFree=15784/1434320
[pid=7747] ppid=7744 vsize=201564 CPUtime=1.48 cores=1,3,5,7
/proc/7747/stat : 7747 (cdcl-cuttingpla) R 7744 7747 7064 0 -1 4202496 6187 0 0 0 145 3 0 0 20 0 1 0 121424554 206401536 39866 33554432000 4194304 6211289 140734838254240 140734838251656 4228081 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7747/statm: 50391 39866 144 493 0 49888 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 201564

[startup+3.10031 s]
/proc/loadavg: 2.23 2.24 2.20 3/177 7748
/proc/meminfo: memFree=29526068/32872528 swapFree=15784/1434320
[pid=7747] ppid=7744 vsize=351436 CPUtime=3.09 cores=1,3,5,7
/proc/7747/stat : 7747 (cdcl-cuttingpla) R 7744 7747 7064 0 -1 4202496 9846 0 0 0 303 6 0 0 20 0 1 0 121424554 359870464 72021 33554432000 4194304 6211289 140734838254240 140734838252136 4488752 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7747/statm: 87859 72021 144 493 0 87356 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 351436

[startup+6.30025 s]
/proc/loadavg: 2.21 2.24 2.20 3/177 7748
/proc/meminfo: memFree=29227288/32872528 swapFree=15784/1434320
[pid=7747] ppid=7744 vsize=696560 CPUtime=6.29 cores=1,3,5,7
/proc/7747/stat : 7747 (cdcl-cuttingpla) R 7744 7747 7064 0 -1 4202496 11248 0 0 0 618 11 0 0 20 0 1 0 121424554 713277440 122826 33554432000 4194304 6211289 140734838254240 140734838252472 4202005 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7747/statm: 174140 122826 214 493 0 173637 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 696560

[startup+12.7003 s]
/proc/loadavg: 2.19 2.23 2.20 3/177 7748
/proc/meminfo: memFree=29181876/32872528 swapFree=15784/1434320
[pid=7747] ppid=7744 vsize=696560 CPUtime=12.68 cores=1,3,5,7
/proc/7747/stat : 7747 (cdcl-cuttingpla) R 7744 7747 7064 0 -1 4202496 11267 0 0 0 1257 11 0 0 20 0 1 0 121424554 713277440 132554 33554432000 4194304 6211289 140734838254240 140734838252584 4209503 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7747/statm: 174140 132554 214 493 0 173637 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 696560

[startup+25.5004 s]
/proc/loadavg: 2.31 2.25 2.20 3/177 7748
/proc/meminfo: memFree=29091004/32872528 swapFree=15784/1434320
[pid=7747] ppid=7744 vsize=829184 CPUtime=25.48 cores=1,3,5,7
/proc/7747/stat : 7747 (cdcl-cuttingpla) R 7744 7747 7064 0 -1 4202496 11584 0 0 0 2535 13 0 0 20 0 1 0 121424554 849084416 145077 33554432000 4194304 6211289 140734838254240 140734838252232 4209392 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7747/statm: 207296 145077 219 493 0 206793 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 829184

[startup+51.1004 s]
/proc/loadavg: 2.27 2.25 2.20 3/177 7748
/proc/meminfo: memFree=28954020/32872528 swapFree=15784/1434320
[pid=7747] ppid=7744 vsize=839224 CPUtime=51.08 cores=1,3,5,7
/proc/7747/stat : 7747 (cdcl-cuttingpla) R 7744 7747 7064 0 -1 4202496 14760 0 0 0 5094 14 0 0 20 0 1 0 121424554 859365376 154574 33554432000 4194304 6211289 140734838254240 140734838252232 4209380 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7747/statm: 209806 154574 219 493 0 209303 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 839224

[startup+102.3 s]
/proc/loadavg: 2.32 2.26 2.21 3/178 7752
/proc/meminfo: memFree=28824500/32872528 swapFree=15784/1434320
[pid=7747] ppid=7744 vsize=851784 CPUtime=102.28 cores=1,3,5,7
/proc/7747/stat : 7747 (cdcl-cuttingpla) R 7744 7747 7064 0 -1 4202496 18137 0 0 0 10212 16 0 0 20 0 1 0 121424554 872226816 170213 33554432000 4194304 6211289 140734838254240 140734838252152 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7747/statm: 212946 170213 219 493 0 212443 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 851784

[startup+162.3 s]
/proc/loadavg: 2.34 2.28 2.21 3/177 7754
/proc/meminfo: memFree=28708344/32872528 swapFree=15784/1434320
[pid=7747] ppid=7744 vsize=1073296 CPUtime=162.26 cores=1,3,5,7
/proc/7747/stat : 7747 (cdcl-cuttingpla) R 7744 7747 7064 0 -1 4202496 20221 0 0 0 16207 19 0 0 20 0 1 0 121424554 1099055104 188877 33554432000 4194304 6211289 140734838254240 140734838252584 4209501 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7747/statm: 268324 188877 219 493 0 267821 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1073296

[startup+222.308 s]
/proc/loadavg: 2.29 2.27 2.21 3/177 7755
/proc/meminfo: memFree=28651192/32872528 swapFree=15784/1434320
[pid=7747] ppid=7744 vsize=1074120 CPUtime=222.27 cores=1,3,5,7
/proc/7747/stat : 7747 (cdcl-cuttingpla) R 7744 7747 7064 0 -1 4202496 20533 0 0 0 22207 20 0 0 20 0 1 0 121424554 1099898880 193785 33554432000 4194304 6211289 140734838254240 140734838252232 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7747/statm: 268530 193785 219 493 0 268027 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 1074120

[startup+282.3 s]
/proc/loadavg: 2.25 2.26 2.21 3/177 7756
/proc/meminfo: memFree=28611840/32872528 swapFree=15784/1434320
[pid=7747] ppid=7744 vsize=1075904 CPUtime=282.24 cores=1,3,5,7
/proc/7747/stat : 7747 (cdcl-cuttingpla) R 7744 7747 7064 0 -1 4202496 21097 0 0 0 28204 20 0 0 20 0 1 0 121424554 1101725696 200453 33554432000 4194304 6211289 140734838254240 140734838252584 4209314 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7747/statm: 268976 200453 219 493 0 268473 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1075904

[startup+342.3 s]
/proc/loadavg: 2.33 2.28 2.21 3/176 7757
/proc/meminfo: memFree=28533156/32872528 swapFree=15784/1434320
[pid=7747] ppid=7744 vsize=1076660 CPUtime=342.24 cores=1,3,5,7
/proc/7747/stat : 7747 (cdcl-cuttingpla) R 7744 7747 7064 0 -1 4202496 21305 0 0 0 34203 21 0 0 20 0 1 0 121424554 1102499840 210361 33554432000 4194304 6211289 140734838254240 140734838252584 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7747/statm: 269165 210361 219 493 0 268662 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1076660

[startup+402.3 s]
/proc/loadavg: 2.12 2.22 2.19 3/177 7759
/proc/meminfo: memFree=28502192/32872528 swapFree=15784/1434320
[pid=7747] ppid=7744 vsize=1077300 CPUtime=402.23 cores=1,3,5,7
/proc/7747/stat : 7747 (cdcl-cuttingpla) R 7744 7747 7064 0 -1 4202496 21520 0 0 0 40201 22 0 0 20 0 1 0 121424554 1103155200 218241 33554432000 4194304 6211289 140734838254240 140734838252232 4209472 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7747/statm: 269325 218241 219 493 0 268822 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1077300

[startup+462.3 s]
/proc/loadavg: 2.16 2.22 2.19 3/177 7761
/proc/meminfo: memFree=28479056/32872528 swapFree=15784/1434320
[pid=7747] ppid=7744 vsize=1077468 CPUtime=462.22 cores=1,3,5,7
/proc/7747/stat : 7747 (cdcl-cuttingpla) R 7744 7747 7064 0 -1 4202496 21608 0 0 0 46200 22 0 0 20 0 1 0 121424554 1103327232 223439 33554432000 4194304 6211289 140734838254240 140734838252584 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7747/statm: 269367 223439 219 493 0 268864 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1077468

[startup+522.3 s]
/proc/loadavg: 2.31 2.25 2.20 3/177 7762
/proc/meminfo: memFree=28468652/32872528 swapFree=15784/1434320
[pid=7747] ppid=7744 vsize=1077984 CPUtime=522.21 cores=1,3,5,7
/proc/7747/stat : 7747 (cdcl-cuttingpla) R 7744 7747 7064 0 -1 4202496 21707 0 0 0 52199 22 0 0 20 0 1 0 121424554 1103855616 223538 33554432000 4194304 6211289 140734838254240 140734838252232 4202037 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7747/statm: 269496 223538 219 493 0 268993 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1077984

[startup+582.3 s]
/proc/loadavg: 2.31 2.27 2.21 3/177 7763
/proc/meminfo: memFree=28422956/32872528 swapFree=15784/1434320
[pid=7747] ppid=7744 vsize=1077984 CPUtime=582.2 cores=1,3,5,7
/proc/7747/stat : 7747 (cdcl-cuttingpla) R 7744 7747 7064 0 -1 4202496 21778 0 0 0 58198 22 0 0 20 0 1 0 121424554 1103855616 223609 33554432000 4194304 6211289 140734838254240 140734838252584 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7747/statm: 269496 223609 219 493 0 268993 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1077984


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


[startup+882.308 s]
/proc/loadavg: 2.21 2.24 2.20 3/177 7772
/proc/meminfo: memFree=28223452/32872528 swapFree=15784/1434320
[pid=7747] ppid=7744 vsize=1428912 CPUtime=882.16 cores=1,3,5,7
/proc/7747/stat : 7747 (cdcl-cuttingpla) R 7744 7747 7064 0 -1 4202496 22917 0 0 0 88192 24 0 0 20 0 1 0 121424554 1463205888 245325 33554432000 4194304 6211289 140734838254240 140734838252584 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7747/statm: 357228 245325 219 493 0 356725 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 1428912

[startup+942.3 s]
/proc/loadavg: 2.34 2.27 2.21 3/177 7773
/proc/meminfo: memFree=28221028/32872528 swapFree=15784/1434320
[pid=7747] ppid=7744 vsize=1429080 CPUtime=942.14 cores=1,3,5,7
/proc/7747/stat : 7747 (cdcl-cuttingpla) R 7744 7747 7064 0 -1 4202496 22979 0 0 0 94190 24 0 0 20 0 1 0 121424554 1463377920 245891 33554432000 4194304 6211289 140734838254240 140734838252584 4209844 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7747/statm: 357270 245891 219 493 0 356767 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 1429080

[startup+1002.3 s]
/proc/loadavg: 2.22 2.25 2.20 3/177 7774
/proc/meminfo: memFree=28158712/32872528 swapFree=15784/1434320
[pid=7747] ppid=7744 vsize=1429392 CPUtime=1002.14 cores=1,3,5,7
/proc/7747/stat : 7747 (cdcl-cuttingpla) R 7744 7747 7064 0 -1 4202496 23159 0 0 0 100188 26 0 0 20 0 1 0 121424554 1463697408 261401 33554432000 4194304 6211289 140734838254240 140734838252584 4209392 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7747/statm: 357348 261401 219 493 0 356845 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 1429392

[startup+1062.3 s]
/proc/loadavg: 2.23 2.25 2.20 3/177 7776
/proc/meminfo: memFree=28156016/32872528 swapFree=15784/1434320
[pid=7747] ppid=7744 vsize=1430124 CPUtime=1062.13 cores=1,3,5,7
/proc/7747/stat : 7747 (cdcl-cuttingpla) R 7744 7747 7064 0 -1 4202496 23315 0 0 0 106187 26 0 0 20 0 1 0 121424554 1464446976 261557 33554432000 4194304 6211289 140734838254240 140734838252152 4209392 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7747/statm: 357531 261557 219 493 0 357028 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 1430124

[startup+1122.3 s]
/proc/loadavg: 2.33 2.26 2.20 3/177 7777
/proc/meminfo: memFree=28154132/32872528 swapFree=15784/1434320
[pid=7747] ppid=7744 vsize=1430616 CPUtime=1122.12 cores=1,3,5,7
/proc/7747/stat : 7747 (cdcl-cuttingpla) R 7744 7747 7064 0 -1 4202496 23524 0 0 0 112186 26 0 0 20 0 1 0 121424554 1464950784 261766 33554432000 4194304 6211289 140734838254240 140734838252584 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7747/statm: 357654 261766 219 493 0 357151 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 1430616

[startup+1182.3 s]
/proc/loadavg: 2.17 2.22 2.19 3/177 7778
/proc/meminfo: memFree=28126704/32872528 swapFree=15784/1434320
[pid=7747] ppid=7744 vsize=1436516 CPUtime=1182.1 cores=1,3,5,7
/proc/7747/stat : 7747 (cdcl-cuttingpla) R 7744 7747 7064 0 -1 4202496 24955 0 0 0 118184 26 0 0 20 0 1 0 121424554 1470992384 267796 33554432000 4194304 6211289 140734838254240 140734838252232 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7747/statm: 359129 267796 219 493 0 358626 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 1436516

[startup+1242.3 s]
/proc/loadavg: 2.30 2.24 2.20 4/177 7779
/proc/meminfo: memFree=28119336/32872528 swapFree=15784/1434320
[pid=7747] ppid=7744 vsize=1437532 CPUtime=1242.1 cores=1,3,5,7
/proc/7747/stat : 7747 (cdcl-cuttingpla) R 7744 7747 7064 0 -1 4202496 25179 0 0 0 124183 27 0 0 20 0 1 0 121424554 1472032768 269052 33554432000 4194304 6211289 140734838254240 140734838252152 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7747/statm: 359383 269052 219 493 0 358880 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1437532

[startup+1302.3 s]
/proc/loadavg: 2.17 2.21 2.18 3/178 7783
/proc/meminfo: memFree=28118884/32872528 swapFree=15784/1434320
[pid=7747] ppid=7744 vsize=1437532 CPUtime=1302.09 cores=1,3,5,7
/proc/7747/stat : 7747 (cdcl-cuttingpla) R 7744 7747 7064 0 -1 4202496 25194 0 0 0 130182 27 0 0 20 0 1 0 121424554 1472032768 269115 33554432000 4194304 6211289 140734838254240 140734838252584 4201983 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7747/statm: 359383 269115 219 493 0 358880 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1437532

[startup+1362.3 s]
/proc/loadavg: 2.11 2.19 2.18 4/177 7785
/proc/meminfo: memFree=28089248/32872528 swapFree=15784/1434320
[pid=7747] ppid=7744 vsize=1437532 CPUtime=1362.07 cores=1,3,5,7
/proc/7747/stat : 7747 (cdcl-cuttingpla) R 7744 7747 7064 0 -1 4202496 25276 0 0 0 136180 27 0 0 20 0 1 0 121424554 1472032768 269176 33554432000 4194304 6211289 140734838254240 140734838252584 4240556 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7747/statm: 359383 269176 219 493 0 358880 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 1437532

[startup+1422.3 s]
/proc/loadavg: 2.19 2.19 2.18 3/177 7786
/proc/meminfo: memFree=28051668/32872528 swapFree=15784/1434320
[pid=7747] ppid=7744 vsize=1446172 CPUtime=1422.06 cores=1,3,5,7
/proc/7747/stat : 7747 (cdcl-cuttingpla) R 7744 7747 7064 0 -1 4202496 27316 0 0 0 142179 27 0 0 20 0 1 0 121424554 1480880128 271209 33554432000 4194304 6211289 140734838254240 140734838252232 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7747/statm: 361543 271209 219 493 0 361040 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 1446172

[startup+1482.3 s]
/proc/loadavg: 2.19 2.19 2.18 4/177 7787
/proc/meminfo: memFree=28050120/32872528 swapFree=15784/1434320
[pid=7747] ppid=7744 vsize=1448260 CPUtime=1482.05 cores=1,3,5,7
/proc/7747/stat : 7747 (cdcl-cuttingpla) R 7744 7747 7064 0 -1 4202496 27821 0 0 0 148178 27 0 0 20 0 1 0 121424554 1483018240 271709 33554432000 4194304 6211289 140734838254240 140734838252584 4209403 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7747/statm: 362065 271709 219 493 0 361562 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 1448260

[startup+1542.31 s]
/proc/loadavg: 2.12 2.17 2.17 4/177 7788
/proc/meminfo: memFree=28049384/32872528 swapFree=15784/1434320
[pid=7747] ppid=7744 vsize=1448420 CPUtime=1542.05 cores=1,3,5,7
/proc/7747/stat : 7747 (cdcl-cuttingpla) R 7744 7747 7064 0 -1 4202496 27880 0 0 0 154178 27 0 0 20 0 1 0 121424554 1483182080 271768 33554432000 4194304 6211289 140734838254240 140734838252152 4209512 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7747/statm: 362105 271768 219 493 0 361602 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 1448420

[startup+1602.3 s]
/proc/loadavg: 2.31 2.21 2.19 4/177 7789
/proc/meminfo: memFree=28021152/32872528 swapFree=15784/1434320
[pid=7747] ppid=7744 vsize=1449228 CPUtime=1602.03 cores=1,3,5,7
/proc/7747/stat : 7747 (cdcl-cuttingpla) R 7744 7747 7064 0 -1 4202496 28101 0 0 0 160176 27 0 0 20 0 1 0 121424554 1484009472 271989 33554432000 4194304 6211289 140734838254240 140734838252232 4209376 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7747/statm: 362307 271989 219 493 0 361804 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 1449228

[startup+1662.3 s]
/proc/loadavg: 2.28 2.21 2.19 3/177 7791
/proc/meminfo: memFree=27947132/32872528 swapFree=15784/1434320
[pid=7747] ppid=7744 vsize=1460080 CPUtime=1662.02 cores=1,3,5,7
/proc/7747/stat : 7747 (cdcl-cuttingpla) R 7744 7747 7064 0 -1 4202496 30654 0 0 0 166173 29 0 0 20 0 1 0 121424554 1495121920 286295 33554432000 4194304 6211289 140734838254240 140734838252232 4209396 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7747/statm: 365020 286295 219 493 0 364517 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 1460080

[startup+1722.3 s]
/proc/loadavg: 2.34 2.25 2.19 3/177 7792
/proc/meminfo: memFree=27946516/32872528 swapFree=15784/1434320
[pid=7747] ppid=7744 vsize=1460424 CPUtime=1722.01 cores=1,3,5,7
/proc/7747/stat : 7747 (cdcl-cuttingpla) R 7744 7747 7064 0 -1 4202496 30770 0 0 0 172172 29 0 0 20 0 1 0 121424554 1495474176 286411 33554432000 4194304 6211289 140734838254240 140734838252232 4209304 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7747/statm: 365106 286411 219 493 0 364603 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 1460424

[startup+1782.3 s]
/proc/loadavg: 2.41 2.28 2.20 3/177 7793
/proc/meminfo: memFree=27907360/32872528 swapFree=15784/1434320
[pid=7747] ppid=7744 vsize=1468020 CPUtime=1782 cores=1,3,5,7
/proc/7747/stat : 7747 (cdcl-cuttingpla) R 7744 7747 7064 0 -1 4202496 32634 0 0 0 178171 29 0 0 20 0 1 0 121424554 1503252480 288275 33554432000 4194304 6211289 140734838254240 140734838252232 4241821 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7747/statm: 367005 288275 219 493 0 366502 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 1468020



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.43 2.29 2.21 3/177 7839
/proc/meminfo: memFree=28959492/32872528 swapFree=15784/1434320
[pid=7747] ppid=7744 vsize=1472252 CPUtime=1800.09 cores=1,3,5,7
/proc/7747/stat : 7747 (cdcl-cuttingpla) R 7744 7747 7064 0 -1 4202496 33724 0 0 0 179980 29 0 0 20 0 1 0 121424554 1507586048 289365 33554432000 4194304 6211289 140734838254240 140734838252152 4209388 0 0 4096 8388610 0 0 0 17 3 0 0 0 0 0
/proc/7747/statm: 368063 289365 219 493 0 367560 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1472252

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.12
CPU user time (s): 1799.81
CPU system time (s): 0.310952
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 1472252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.81
system time used= 0.310952
maximum resident set size= 1157460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33724
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= 42
involuntary context switches= 1857

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.2562 second user time and 8.26074 second system time

The end

Launcher Data 

Begin job on node130 at 2016-06-08 16:08:33
IDJOB=4087449
IDBENCH=1977
IDSOLVER=2549
FILE ID=node130/4087449-1465394913
RUNJOBID= node130-1465387701-7081
PBS_JOBID= 19853865
Free space on /tmp= 71712 MiB

SOLVER NAME= cdcl-cuttingplanes OPT binary search 2016-05-01
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_1.opb.PB06.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087449-1465394913/watcher-4087449-1465394913 -o /tmp/evaluation-result-4087449-1465394913/solver-4087449-1465394913 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1465387701-7081 --watchdog 1960 --input HOME/instance-4087449-1465394913.opb ./cdcl-cuttingplanes-opt-binarysearch-release

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

MD5SUM BENCH= 2fd45123d8e20b24379108257151f007
RANDOM SEED=1137204933

node130.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.261
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.52
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.261
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.261
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.261
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.61
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.261
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.261
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.261
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.261
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29743052 kB
Buffers:           72104 kB
Cached:           407120 kB
SwapCached:         1636 kB
Active:           664336 kB
Inactive:         273480 kB
Active(anon):     447832 kB
Inactive(anon):    13128 kB
Active(file):     216504 kB
Inactive(file):   260352 kB
Unevictable:     1434320 kB
Mlocked:           15784 kB
SwapTotal:      67108856 kB
SwapFree:       67098452 kB
Dirty:             38488 kB
Writeback:             0 kB
AnonPages:       1900544 kB
Mapped:             7976 kB
Shmem:                 0 kB
Slab:             608384 kB
SReclaimable:      51400 kB
SUnreclaim:       556984 kB
KernelStack:        1416 kB
PageTables:         7700 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2117156 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1605632 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= 71728 MiB
End job on node130 at 2016-06-08 16:38:34