Trace number 4488541

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
roundingsat-ihs-log 63f22ad? (TO) 3600.05 3610.33

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_21.opb.PB06.opb
MD5SUM3cf724146d283b6491b934147ab5b23d
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1030
Best CPU time to get the best result obtained on this benchmark37185.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1959
Total number of constraints4000
Number of constraints which are clauses4000
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 constraint2
Number of terms in the objective function 1959
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1959
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1959
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.04	c RoundingSat 2
0.00/0.04	c branch pb25
0.00/0.04	c commit 63f22ad
0.05/0.11	c #variables 1959 #constraints 4000
0.05/0.11	c objective is ce32 
0.05/0.15	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.05/0.15	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.05/0.15	c GLOBAL bounds - >= 0 @ 0.069777
0.05/0.15	c GLOBAL bounds - >= 0 @ 0.073688
0.05/0.17	c GLOBAL bounds - >= 0 @ 0.092186
0.05/0.19	c GLOBAL bounds - >= 0 @ 0.107158
0.05/0.21	c GLOBAL bounds - >= 0 @ 0.120308
0.15/0.24	c GLOBAL bounds - >= 0 @ 0.13318
0.15/0.26	c GLOBAL bounds - >= 0 @ 0.15872
0.15/0.29	c GLOBAL bounds - >= 0 @ 0.185185
0.24/0.33	c GLOBAL bounds - >= 0 @ 0.211633
0.32/0.44	c GLOBAL bounds - >= 0 @ 0.300975
0.32/0.50	c GLOBAL bounds - >= 0 @ 0.35288
0.41/0.56	c GLOBAL bounds - >= 0 @ 0.395073
0.41/0.60	c GLOBAL bounds - >= 0 @ 0.436702
0.49/0.64	c GLOBAL bounds - >= 0 @ 0.478103
0.49/0.69	c GLOBAL bounds - >= 0 @ 0.523887
0.58/0.75	c GLOBAL bounds - >= 0 @ 0.575746
0.68/0.84	c GLOBAL bounds - >= 0 @ 0.659987
0.77/0.92	c GLOBAL bounds - >= 0 @ 0.736855
0.88/1.04	c GLOBAL bounds - >= 0 @ 0.848378
0.98/1.12	c GLOBAL bounds - >= 0 @ 0.917094
1.07/1.26	c GLOBAL bounds - >= 0 @ 1.05053
1.47/1.69	c #Conflicts:       1000 | #Constraints:       5038
1.47/1.69	c GLOBAL bounds - >= 0 @ 1.46683
1.86/2.08	c GLOBAL bounds - >= 0 @ 1.83908
2.16/2.37	c GLOBAL bounds - >= 0 @ 2.12745
2.45/2.68	c GLOBAL bounds - >= 0 @ 2.42787
2.76/2.95	c GLOBAL bounds - >= 0 @ 2.69455
3.15/3.34	c #Conflicts:       2000 | #Constraints:       6048
3.15/3.34	c INPROCESSING
3.15/3.34	c GARBAGE COLLECT
3.15/3.34	c GLOBAL bounds - >= 0 @ 3.06299
3.35/3.52	c GLOBAL bounds - >= 0 @ 3.24645
3.44/3.64	c GLOBAL bounds - >= 0 @ 3.35888
3.54/3.78	c GLOBAL bounds - >= 0 @ 3.49431
3.85/4.06	c GLOBAL bounds - >= 0 @ 3.76825
4.24/4.40	c GLOBAL bounds - >= 0 @ 4.10146
4.44/4.68	c GLOBAL bounds - >= 0 @ 4.38168
4.73/4.97	c #Conflicts:       3000 | #Constraints:       6084
4.73/4.97	c GLOBAL bounds - >= 0 @ 4.66105
5.03/5.21	c GLOBAL bounds - >= 0 @ 4.8917
5.23/5.43	c GLOBAL bounds - >= 0 @ 5.10792
5.43/5.64	c GLOBAL bounds - >= 0 @ 5.31465
5.74/5.98	c GLOBAL bounds - >= 0 @ 5.64199
6.03/6.26	c GLOBAL bounds - >= 0 @ 5.92052
6.34/6.53	c GLOBAL bounds - >= 0 @ 6.18221
6.53/6.70	c GLOBAL bounds - >= 0 @ 6.3465
6.84/7.02	c #Conflicts:       4000 | #Constraints:       7100
6.84/7.02	c GLOBAL bounds - >= 0 @ 6.66664
7.13/7.37	c INPROCESSING
7.13/7.37	c GARBAGE COLLECT
7.13/7.37	c GLOBAL bounds - >= 0 @ 7.01596
7.33/7.56	c GLOBAL bounds - >= 0 @ 7.20197
7.42/7.67	c GLOBAL bounds - >= 0 @ 7.30749
7.53/7.78	c GLOBAL bounds - >= 0 @ 7.4154
7.73/7.99	c GLOBAL bounds - >= 0 @ 7.62282
7.84/8.09	c GLOBAL bounds - >= 0 @ 7.72967
8.03/8.23	c GLOBAL bounds - >= 0 @ 7.86273
8.12/8.36	c GLOBAL bounds - >= 0 @ 7.99134
8.33/8.50	c GLOBAL bounds - >= 0 @ 8.12706
8.53/8.72	c #Conflicts:       5000 | #Constraints:       6563
8.53/8.72	c GLOBAL bounds - >= 0 @ 8.34542
8.63/8.84	c GLOBAL bounds - >= 0 @ 8.45333
8.84/9.04	c GLOBAL bounds - >= 0 @ 8.65762
9.03/9.25	c GLOBAL bounds - >= 0 @ 8.85976
9.12/9.38	c GLOBAL bounds - >= 0 @ 8.98587
9.33/9.53	c GLOBAL bounds - >= 0 @ 9.13858
9.53/9.76	c GLOBAL bounds - >= 0 @ 9.36526
9.62/9.89	c GLOBAL bounds - >= 0 @ 9.49456
9.94/10.13	c GLOBAL bounds - >= 0 @ 9.72775
10.02/10.28	c GLOBAL bounds - >= 0 @ 9.87235
10.32/10.57	c GLOBAL bounds - >= 0 @ 10.1609
10.52/10.72	c #Conflicts:       6000 | #Constraints:       7585
10.52/10.72	c GLOBAL bounds - >= 0 @ 10.308
10.62/10.89	c GLOBAL bounds - >= 0 @ 10.4804
10.94/11.17	c GLOBAL bounds - >= 0 @ 10.7491
11.12/11.34	c GLOBAL bounds - >= 0 @ 10.9184
11.32/11.55	c GLOBAL bounds - >= 0 @ 11.1154
11.52/11.74	c GLOBAL bounds - >= 0 @ 11.3092
12.01/12.20	c INPROCESSING
12.01/12.20	c GARBAGE COLLECT
12.01/12.20	c GLOBAL bounds - >= 0 @ 11.7395
12.12/12.32	c GLOBAL bounds - >= 0 @ 11.8577
12.22/12.46	c GLOBAL bounds - >= 0 @ 11.9935
12.42/12.60	c GLOBAL bounds - >= 0 @ 12.1309
12.52/12.75	c #Conflicts:       7000 | #Constraints:       6584
12.52/12.75	c GLOBAL bounds - >= 0 @ 12.2758
12.71/12.90	c GLOBAL bounds - >= 0 @ 12.4226
12.83/13.03	c GLOBAL bounds - >= 0 @ 12.5529
13.01/13.20	c GLOBAL bounds - >= 0 @ 12.72
13.11/13.34	c GLOBAL bounds - >= 0 @ 12.8651
13.41/13.61	c GLOBAL bounds - >= 0 @ 13.1306
13.51/13.78	c GLOBAL bounds - >= 0 @ 13.2942
13.83/14.11	c GLOBAL bounds - >= 0 @ 13.6198
14.11/14.32	c #Conflicts:       8000 | #Constraints:       7600
14.11/14.32	c GLOBAL bounds - >= 0 @ 13.8265
14.31/14.55	c GLOBAL bounds - >= 0 @ 14.0559
14.51/14.75	c GLOBAL bounds - >= 0 @ 14.2548
14.71/14.94	c GLOBAL bounds - >= 0 @ 14.4406
14.92/15.13	c GLOBAL bounds - >= 0 @ 14.6289
15.11/15.32	c GLOBAL bounds - >= 0 @ 14.8194
15.31/15.55	c GLOBAL bounds - >= 0 @ 15.036
15.51/15.77	c #Conflicts:       9000 | #Constraints:       8614
15.51/15.77	c GLOBAL bounds - >= 0 @ 15.2474
15.71/15.99	c GLOBAL bounds - >= 0 @ 15.4641
16.20/16.49	c INPROCESSING
16.20/16.49	c GARBAGE COLLECT
16.20/16.49	c GLOBAL bounds - >= 0 @ 15.9345
16.51/16.72	c GLOBAL bounds - >= 0 @ 16.1563
16.70/16.95	c GLOBAL bounds - >= 0 @ 16.3747
17.01/17.27	c GLOBAL bounds - >= 0 @ 16.6903
17.60/17.83	c #Conflicts:      10000 | #Constraints:       7332
17.60/17.83	c GLOBAL bounds - >= 0 @ 17.2379
17.91/18.13	c GLOBAL bounds - >= 0 @ 17.5328
18.30/18.57	c GLOBAL bounds - >= 0 @ 17.9694
18.60/18.89	c GLOBAL bounds - >= 0 @ 18.2787
18.91/19.18	c GLOBAL bounds - >= 0 @ 18.5615
19.30/19.50	c #Conflicts:      11000 | #Constraints:       8342
19.30/19.50	c GLOBAL bounds - >= 0 @ 18.8681
19.40/19.69	c GLOBAL bounds - >= 0 @ 19.0583
19.70/20.00	c GLOBAL bounds - >= 0 @ 19.3565
20.09/20.30	c GLOBAL bounds - >= 0 @ 19.6536
20.40/20.61	c GLOBAL bounds - >= 0 @ 19.9595
20.59/20.80	c GLOBAL bounds - >= 0 @ 20.1422
21.00/21.28	c GLOBAL bounds - >= 0 @ 20.5984
21.50/21.77	c #Conflicts:      12000 | #Constraints:       9356
21.50/21.77	c INPROCESSING
21.50/21.77	c GARBAGE COLLECT
21.50/21.77	c GLOBAL bounds - >= 0 @ 21.0884
21.81/22.02	c GLOBAL bounds - >= 0 @ 21.328
21.90/22.18	c GLOBAL bounds - >= 0 @ 21.4805
22.09/22.34	c GLOBAL bounds - >= 0 @ 21.6493
25.89/26.17	c #Conflicts:      13000 | #Constraints:       7839
25.89/26.17	c #Conflicts:      14000 | #Constraints:       8839
25.89/26.17	c GLOBAL bounds - >= 0 @ 25.427
26.48/26.76	c #Conflicts:      15000 | #Constraints:       9841
26.48/26.76	c INPROCESSING
26.48/26.76	c GARBAGE COLLECT
26.48/26.76	c GLOBAL bounds - >= 0 @ 26.0096
26.68/26.93	c GLOBAL bounds - >= 0 @ 26.1794
26.98/27.24	c GLOBAL bounds - >= 0 @ 26.4881
28.97/29.21	c #Conflicts:      16000 | #Constraints:       8103
28.97/29.21	c #Conflicts:      17000 | #Constraints:       9103
28.97/29.21	c GLOBAL bounds - >= 0 @ 28.4413
30.37/30.65	c GLOBAL bounds - >= 0 @ 29.8627
39.86/40.17	c #Conflicts:      18000 | #Constraints:      10107
39.86/40.17	c INPROCESSING
39.86/40.17	c GARBAGE COLLECT
39.86/40.17	c #Conflicts:      19000 | #Constraints:       8153
39.86/40.17	c #Conflicts:      20000 | #Constraints:       9153
39.86/40.17	c #Conflicts:      21000 | #Constraints:      10153
39.86/40.17	c GLOBAL bounds - >= 0 @ 39.3106
40.64/40.92	c INPROCESSING
40.64/40.92	c GARBAGE COLLECT
40.64/40.92	c GLOBAL bounds - >= 0 @ 40.0534
42.34/42.63	c #Conflicts:      22000 | #Constraints:       7969
42.34/42.63	c GLOBAL bounds - >= 0 @ 41.7568
47.83/48.14	c #Conflicts:      23000 | #Constraints:       8971
47.83/48.14	c #Conflicts:      24000 | #Constraints:       9971
47.83/48.14	c #Conflicts:      25000 | #Constraints:      10971
47.83/48.14	c INPROCESSING
47.83/48.14	c GARBAGE COLLECT
47.83/48.14	c GLOBAL bounds - >= 0 @ 47.2078
129.70/130.21	c #Conflicts:      26000 | #Constraints:       8615
129.70/130.21	c #Conflicts:      27000 | #Constraints:       9615
129.70/130.21	c #Conflicts:      28000 | #Constraints:      10615
129.70/130.21	c #Conflicts:      29000 | #Constraints:      11615
129.70/130.21	c INPROCESSING
129.70/130.21	c GARBAGE COLLECT
129.70/130.21	c #Conflicts:      30000 | #Constraints:       9022
129.70/130.21	c #Conflicts:      31000 | #Constraints:      10022
129.70/130.21	c #Conflicts:      32000 | #Constraints:      11022
129.70/130.21	c #Conflicts:      33000 | #Constraints:      12022
129.70/130.21	c INPROCESSING
129.70/130.21	c GARBAGE COLLECT
129.70/130.21	c #Conflicts:      34000 | #Constraints:       9217
129.70/130.21	c #Conflicts:      35000 | #Constraints:      10217
129.70/130.21	c #Conflicts:      36000 | #Constraints:      11217
129.70/130.21	c #Conflicts:      37000 | #Constraints:      12217
129.70/130.21	c INPROCESSING
129.70/130.21	c GARBAGE COLLECT
129.70/130.21	c #Conflicts:      38000 | #Constraints:       9218
129.70/130.21	c #Conflicts:      39000 | #Constraints:      10218
129.70/130.21	c #Conflicts:      40000 | #Constraints:      11218
129.70/130.21	c #Conflicts:      41000 | #Constraints:      12218
129.70/130.21	c INPROCESSING
129.70/130.21	c GARBAGE COLLECT
129.70/130.21	c #Conflicts:      42000 | #Constraints:       9007
129.70/130.21	c #Conflicts:      43000 | #Constraints:      10007
129.70/130.21	c #Conflicts:      44000 | #Constraints:      11007
129.70/130.21	c #Conflicts:      45000 | #Constraints:      12007
129.70/130.21	c #Conflicts:      46000 | #Constraints:      13007
129.70/130.21	c INPROCESSING
129.70/130.21	c GARBAGE COLLECT
129.70/130.21	c #Conflicts:      47000 | #Constraints:       9605
129.70/130.21	c #Conflicts:      48000 | #Constraints:      10605
129.70/130.21	c #Conflicts:      49000 | #Constraints:      11605
129.70/130.21	c #Conflicts:      50000 | #Constraints:      12605
129.70/130.21	c #Conflicts:      51000 | #Constraints:      13605
129.70/130.21	c INPROCESSING
129.70/130.21	c GARBAGE COLLECT
129.70/130.21	c GLOBAL bounds - >= 0 @ 128.731
148.65/149.25	c #Conflicts:      52000 | #Constraints:      10004
148.65/149.25	c #Conflicts:      53000 | #Constraints:      11004
148.65/149.25	c #Conflicts:      54000 | #Constraints:      12004
148.65/149.25	c #Conflicts:      55000 | #Constraints:      13004
148.65/149.25	c #Conflicts:      56000 | #Constraints:      14004
148.65/149.25	c INPROCESSING
148.65/149.25	c GARBAGE COLLECT
148.65/149.25	c #Conflicts:      57000 | #Constraints:      10223
148.65/149.25	c #Conflicts:      58000 | #Constraints:      11223
148.65/149.25	c GLOBAL bounds - >= 0 @ 147.643
162.60/163.26	c #Conflicts:      59000 | #Constraints:      12225
162.60/163.26	c #Conflicts:      60000 | #Constraints:      13225
162.60/163.26	c #Conflicts:      61000 | #Constraints:      14225
162.60/163.26	c INPROCESSING
162.60/163.26	c GARBAGE COLLECT
162.60/163.26	c #Conflicts:      62000 | #Constraints:      10225
162.60/163.26	c #Conflicts:      63000 | #Constraints:      11225
162.60/163.26	c GLOBAL bounds - >= 0 @ 161.527
305.61/306.63	c #Conflicts:      64000 | #Constraints:      12227
305.61/306.63	c #Conflicts:      65000 | #Constraints:      13227
305.61/306.63	c #Conflicts:      66000 | #Constraints:      14227
305.61/306.63	c INPROCESSING
305.61/306.63	c GARBAGE COLLECT
305.61/306.63	c #Conflicts:      67000 | #Constraints:      10038
305.61/306.63	c #Conflicts:      68000 | #Constraints:      11038
305.61/306.63	c #Conflicts:      69000 | #Constraints:      12038
305.61/306.63	c #Conflicts:      70000 | #Constraints:      13038
305.61/306.63	c #Conflicts:      71000 | #Constraints:      14038
305.61/306.63	c #Conflicts:      72000 | #Constraints:      15038
305.61/306.63	c INPROCESSING
305.61/306.63	c GARBAGE COLLECT
305.61/306.63	c #Conflicts:      73000 | #Constraints:      10635
305.61/306.63	c #Conflicts:      74000 | #Constraints:      11635
305.61/306.63	c #Conflicts:      75000 | #Constraints:      12635
305.61/306.63	c #Conflicts:      76000 | #Constraints:      13635
305.61/306.63	c #Conflicts:      77000 | #Constraints:      14635
305.61/306.63	c #Conflicts:      78000 | #Constraints:      15635
305.61/306.63	c INPROCESSING
305.61/306.63	c GARBAGE COLLECT
305.61/306.63	c #Conflicts:      79000 | #Constraints:      11021
305.61/306.63	c #Conflicts:      80000 | #Constraints:      12021
305.61/306.63	c #Conflicts:      81000 | #Constraints:      13021
305.61/306.63	c #Conflicts:      82000 | #Constraints:      14021
305.61/306.63	c #Conflicts:      83000 | #Constraints:      15021
305.61/306.63	c #Conflicts:      84000 | #Constraints:      16021
305.61/306.63	c INPROCESSING
305.61/306.63	c GARBAGE COLLECT
305.61/306.63	c #Conflicts:      85000 | #Constraints:      11222
305.61/306.63	c #Conflicts:      86000 | #Constraints:      12222
305.61/306.63	c #Conflicts:      87000 | #Constraints:      13222
305.61/306.63	c #Conflicts:      88000 | #Constraints:      14222
305.61/306.63	c #Conflicts:      89000 | #Constraints:      15222
305.61/306.63	c #Conflicts:      90000 | #Constraints:      16222
305.61/306.63	c INPROCESSING
305.61/306.63	c GARBAGE COLLECT
305.61/306.63	c #Conflicts:      91000 | #Constraints:      11230
305.61/306.63	c #Conflicts:      92000 | #Constraints:      12230
305.61/306.63	c #Conflicts:      93000 | #Constraints:      13230
305.61/306.63	c #Conflicts:      94000 | #Constraints:      14230
305.61/306.63	c #Conflicts:      95000 | #Constraints:      15230
305.61/306.63	c #Conflicts:      96000 | #Constraints:      16230
305.61/306.63	c INPROCESSING
305.61/306.63	c GARBAGE COLLECT
305.61/306.63	c #Conflicts:      97000 | #Constraints:      11030
305.61/306.63	c #Conflicts:      98000 | #Constraints:      12030
305.61/306.63	c #Conflicts:      99000 | #Constraints:      13030
305.61/306.63	c #Conflicts:     100000 | #Constraints:      14030
305.61/306.63	c #Conflicts:     101000 | #Constraints:      15030
305.61/306.63	c #Conflicts:     102000 | #Constraints:      16030
305.61/306.63	c #Conflicts:     103000 | #Constraints:      17030
305.61/306.63	c INPROCESSING
305.61/306.63	c GARBAGE COLLECT
305.61/306.63	c #Conflicts:     104000 | #Constraints:      11636
305.61/306.63	c #Conflicts:     105000 | #Constraints:      12636
305.61/306.63	c #Conflicts:     106000 | #Constraints:      13636
305.61/306.63	c #Conflicts:     107000 | #Constraints:      14636
305.61/306.63	c #Conflicts:     108000 | #Constraints:      15636
305.61/306.63	c #Conflicts:     109000 | #Constraints:      16636
305.61/306.63	c #Conflicts:     110000 | #Constraints:      17636
305.61/306.63	c INPROCESSING
305.61/306.63	c GARBAGE COLLECT
305.61/306.63	c #Conflicts:     111000 | #Constraints:      12034
305.61/306.63	c #Conflicts:     112000 | #Constraints:      13034
305.61/306.63	c #Conflicts:     113000 | #Constraints:      14034
305.61/306.63	c GLOBAL bounds - >= 0 @ 303.927
321.27/322.31	c #Conflicts:     114000 | #Constraints:      15036
321.27/322.31	c #Conflicts:     115000 | #Constraints:      16036
321.27/322.31	c #Conflicts:     116000 | #Constraints:      17036
321.27/322.31	c #Conflicts:     117000 | #Constraints:      18036
321.27/322.31	c INPROCESSING
321.27/322.31	c GARBAGE COLLECT
321.27/322.31	c #Conflicts:     118000 | #Constraints:      12242
321.27/322.31	c GLOBAL bounds - >= 0 @ 319.458
395.07/396.32	c #Conflicts:     119000 | #Constraints:      13244
395.07/396.32	c #Conflicts:     120000 | #Constraints:      14244
395.07/396.32	c #Conflicts:     121000 | #Constraints:      15244
395.07/396.32	c #Conflicts:     122000 | #Constraints:      16244
395.07/396.32	c #Conflicts:     123000 | #Constraints:      17244
395.07/396.32	c #Conflicts:     124000 | #Constraints:      18244
395.07/396.32	c INPROCESSING
395.07/396.32	c GARBAGE COLLECT
395.07/396.32	c #Conflicts:     125000 | #Constraints:      12253
395.07/396.32	c #Conflicts:     126000 | #Constraints:      13253
395.07/396.32	c #Conflicts:     127000 | #Constraints:      14253
395.07/396.32	c #Conflicts:     128000 | #Constraints:      15253
395.07/396.32	c #Conflicts:     129000 | #Constraints:      16253
395.07/396.32	c #Conflicts:     130000 | #Constraints:      17253
395.07/396.32	c #Conflicts:     131000 | #Constraints:      18253
395.07/396.32	c INPROCESSING
395.07/396.32	c GARBAGE COLLECT
395.07/396.32	c #Conflicts:     132000 | #Constraints:      12043
395.07/396.32	c #Conflicts:     133000 | #Constraints:      13043
395.07/396.32	c #Conflicts:     134000 | #Constraints:      14043
395.07/396.32	c #Conflicts:     135000 | #Constraints:      15043
395.07/396.32	c #Conflicts:     136000 | #Constraints:      16043
395.07/396.32	c #Conflicts:     137000 | #Constraints:      17043
395.07/396.32	c #Conflicts:     138000 | #Constraints:      18043
395.07/396.32	c #Conflicts:     139000 | #Constraints:      19043
395.07/396.32	c INPROCESSING
395.07/396.32	c GARBAGE COLLECT
395.07/396.32	c #Conflicts:     140000 | #Constraints:      12636
395.07/396.32	c #Conflicts:     141000 | #Constraints:      13636
395.07/396.32	c #Conflicts:     142000 | #Constraints:      14636
395.07/396.32	c #Conflicts:     143000 | #Constraints:      15636
395.07/396.32	c #Conflicts:     144000 | #Constraints:      16636
395.07/396.32	c #Conflicts:     145000 | #Constraints:      17636
395.07/396.32	c #Conflicts:     146000 | #Constraints:      18636
395.07/396.32	c #Conflicts:     147000 | #Constraints:      19636
395.07/396.32	c INPROCESSING
395.07/396.32	c GARBAGE COLLECT
395.07/396.32	c #Conflicts:     148000 | #Constraints:      13041
395.07/396.32	c #Conflicts:     149000 | #Constraints:      14041
395.07/396.32	c #Conflicts:     150000 | #Constraints:      15041
395.07/396.32	c #Conflicts:     151000 | #Constraints:      16041
395.07/396.32	c GLOBAL bounds - >= 0 @ 392.783
650.86/652.86	c #Conflicts:     152000 | #Constraints:      17043
650.86/652.86	c #Conflicts:     153000 | #Constraints:      18043
650.86/652.86	c #Conflicts:     154000 | #Constraints:      19043
650.86/652.86	c #Conflicts:     155000 | #Constraints:      20043
650.86/652.86	c INPROCESSING
650.86/652.86	c GARBAGE COLLECT
650.86/652.86	c #Conflicts:     156000 | #Constraints:      13250
650.86/652.86	c #Conflicts:     157000 | #Constraints:      14250
650.86/652.86	c #Conflicts:     158000 | #Constraints:      15250
650.86/652.86	c #Conflicts:     159000 | #Constraints:      16250
650.86/652.86	c #Conflicts:     160000 | #Constraints:      17250
650.86/652.86	c #Conflicts:     161000 | #Constraints:      18250
650.86/652.86	c #Conflicts:     162000 | #Constraints:      19250
650.86/652.86	c #Conflicts:     163000 | #Constraints:      20250
650.86/652.86	c INPROCESSING
650.86/652.86	c GARBAGE COLLECT
650.86/652.86	c #Conflicts:     164000 | #Constraints:      13244
650.86/652.86	c #Conflicts:     165000 | #Constraints:      14244
650.86/652.86	c #Conflicts:     166000 | #Constraints:      15244
650.86/652.86	c #Conflicts:     167000 | #Constraints:      16244
650.86/652.86	c #Conflicts:     168000 | #Constraints:      17244
650.86/652.86	c #Conflicts:     169000 | #Constraints:      18244
650.86/652.86	c #Conflicts:     170000 | #Constraints:      19244
650.86/652.86	c #Conflicts:     171000 | #Constraints:      20244
650.86/652.86	c INPROCESSING
650.86/652.86	c GARBAGE COLLECT
650.86/652.86	c #Conflicts:     172000 | #Constraints:      13046
650.86/652.86	c #Conflicts:     173000 | #Constraints:      14046
650.86/652.86	c #Conflicts:     174000 | #Constraints:      15046
650.86/652.86	c #Conflicts:     175000 | #Constraints:      16046
650.86/652.86	c #Conflicts:     176000 | #Constraints:      17046
650.86/652.86	c #Conflicts:     177000 | #Constraints:      18046
650.86/652.86	c #Conflicts:     178000 | #Constraints:      19046
650.86/652.86	c #Conflicts:     179000 | #Constraints:      20046
650.86/652.86	c #Conflicts:     180000 | #Constraints:      21046
650.86/652.86	c INPROCESSING
650.86/652.86	c GARBAGE COLLECT
650.86/652.86	c #Conflicts:     181000 | #Constraints:      13640
650.86/652.86	c #Conflicts:     182000 | #Constraints:      14640
650.86/652.86	c #Conflicts:     183000 | #Constraints:      15640
650.86/652.86	c #Conflicts:     184000 | #Constraints:      16640
650.86/652.86	c #Conflicts:     185000 | #Constraints:      17640
650.86/652.86	c #Conflicts:     186000 | #Constraints:      18640
650.86/652.86	c #Conflicts:     187000 | #Constraints:      19640
650.86/652.86	c #Conflicts:     188000 | #Constraints:      20640
650.86/652.86	c #Conflicts:     189000 | #Constraints:      21640
650.86/652.86	c INPROCESSING
650.86/652.86	c GARBAGE COLLECT
650.86/652.86	c #Conflicts:     190000 | #Constraints:      14041
650.86/652.86	c #Conflicts:     191000 | #Constraints:      15041
650.86/652.86	c #Conflicts:     192000 | #Constraints:      16041
650.86/652.86	c #Conflicts:     193000 | #Constraints:      17041
650.86/652.86	c #Conflicts:     194000 | #Constraints:      18041
650.86/652.86	c #Conflicts:     195000 | #Constraints:      19041
650.86/652.86	c #Conflicts:     196000 | #Constraints:      20041
650.86/652.86	c #Conflicts:     197000 | #Constraints:      21041
650.86/652.86	c #Conflicts:     198000 | #Constraints:      22041
650.86/652.86	c INPROCESSING
650.86/652.86	c GARBAGE COLLECT
650.86/652.86	c #Conflicts:     199000 | #Constraints:      14239
650.86/652.86	c #Conflicts:     200000 | #Constraints:      15239
650.86/652.86	c #Conflicts:     201000 | #Constraints:      16239
650.86/652.86	c #Conflicts:     202000 | #Constraints:      17239
650.86/652.86	c #Conflicts:     203000 | #Constraints:      18239
650.86/652.86	c #Conflicts:     204000 | #Constraints:      19239
650.86/652.86	c #Conflicts:     205000 | #Constraints:      20239
650.86/652.86	c #Conflicts:     206000 | #Constraints:      21239
650.86/652.86	c #Conflicts:     207000 | #Constraints:      22239
650.86/652.86	c INPROCESSING
650.86/652.86	c GARBAGE COLLECT
650.86/652.86	c #Conflicts:     208000 | #Constraints:      14234
650.86/652.86	c #Conflicts:     209000 | #Constraints:      15234
650.86/652.86	c #Conflicts:     210000 | #Constraints:      16234
650.86/652.86	c #Conflicts:     211000 | #Constraints:      17234
650.86/652.86	c #Conflicts:     212000 | #Constraints:      18234
650.86/652.86	c #Conflicts:     213000 | #Constraints:      19234
650.86/652.86	c #Conflicts:     214000 | #Constraints:      20234
650.86/652.86	c #Conflicts:     215000 | #Constraints:      21234
650.86/652.86	c #Conflicts:     216000 | #Constraints:      22234
650.86/652.86	c INPROCESSING
650.86/652.86	c GARBAGE COLLECT
650.86/652.86	c #Conflicts:     217000 | #Constraints:      14030
650.86/652.86	c #Conflicts:     218000 | #Constraints:      15030
650.86/652.86	c #Conflicts:     219000 | #Constraints:      16030
650.86/652.86	c #Conflicts:     220000 | #Constraints:      17030
650.86/652.86	c #Conflicts:     221000 | #Constraints:      18030
650.86/652.86	c #Conflicts:     222000 | #Constraints:      19030
650.86/652.86	c #Conflicts:     223000 | #Constraints:      20030
650.86/652.86	c #Conflicts:     224000 | #Constraints:      21030
650.86/652.86	c #Conflicts:     225000 | #Constraints:      22030
716.28/718.47	c #Conflicts:     226000 | #Constraints:      23030
716.28/718.47	c INPROCESSING
716.28/718.47	c GARBAGE COLLECT
716.28/718.47	c #Conflicts:     227000 | #Constraints:      14633
716.28/718.47	c #Conflicts:     228000 | #Constraints:      15633
716.28/718.47	c #Conflicts:     229000 | #Constraints:      16633
716.28/718.47	c #Conflicts:     230000 | #Constraints:      17633
716.28/718.47	c #Conflicts:     231000 | #Constraints:      18633
716.28/718.47	c #Conflicts:     232000 | #Constraints:      19633
716.28/718.47	c #Conflicts:     233000 | #Constraints:      20633
716.28/718.47	c #Conflicts:     234000 | #Constraints:      21633
716.28/718.47	c #Conflicts:     235000 | #Constraints:      22633
716.28/718.47	c #Conflicts:     236000 | #Constraints:      23633
716.28/718.47	c INPROCESSING
716.28/718.47	c GARBAGE COLLECT
716.28/718.47	c #Conflicts:     237000 | #Constraints:      15028
716.28/718.47	c #Conflicts:     238000 | #Constraints:      16028
716.28/718.47	c #Conflicts:     239000 | #Constraints:      17028
716.28/718.47	c #Conflicts:     240000 | #Constraints:      18028
716.28/718.47	c #Conflicts:     241000 | #Constraints:      19028
716.28/718.47	c #Conflicts:     242000 | #Constraints:      20028
716.28/718.47	c GLOBAL bounds - >= 0 @ 712.794
794.78/797.12	c #Conflicts:     243000 | #Constraints:      21030
794.78/797.12	c #Conflicts:     244000 | #Constraints:      22030
794.78/797.12	c #Conflicts:     245000 | #Constraints:      23030
794.78/797.12	c #Conflicts:     246000 | #Constraints:      24030
794.78/797.12	c INPROCESSING
794.78/797.12	c GARBAGE COLLECT
794.78/797.12	c #Conflicts:     247000 | #Constraints:      15246
794.78/797.12	c #Conflicts:     248000 | #Constraints:      16246
794.78/797.12	c #Conflicts:     249000 | #Constraints:      17246
794.78/797.12	c #Conflicts:     250000 | #Constraints:      18246
794.78/797.12	c #Conflicts:     251000 | #Constraints:      19246
794.78/797.12	c #Conflicts:     252000 | #Constraints:      20246
794.78/797.12	c #Conflicts:     253000 | #Constraints:      21246
794.78/797.12	c #Conflicts:     254000 | #Constraints:      22246
794.78/797.12	c #Conflicts:     255000 | #Constraints:      23246
794.78/797.12	c #Conflicts:     256000 | #Constraints:      24246
794.78/797.12	c INPROCESSING
794.78/797.12	c GARBAGE COLLECT
794.78/797.12	c #Conflicts:     257000 | #Constraints:      15242
794.78/797.12	c #Conflicts:     258000 | #Constraints:      16242
794.78/797.12	c #Conflicts:     259000 | #Constraints:      17242
794.78/797.12	c #Conflicts:     260000 | #Constraints:      18242
794.78/797.12	c #Conflicts:     261000 | #Constraints:      19242
794.78/797.12	c #Conflicts:     262000 | #Constraints:      20242
794.78/797.12	c #Conflicts:     263000 | #Constraints:      21242
794.78/797.12	c GLOBAL bounds - >= 0 @ 790.89
830.76/833.25	c #Conflicts:     264000 | #Constraints:      22244
830.76/833.25	c #Conflicts:     265000 | #Constraints:      23244
830.76/833.25	c #Conflicts:     266000 | #Constraints:      24244
830.76/833.25	c INPROCESSING
830.76/833.25	c GARBAGE COLLECT
830.76/833.25	c #Conflicts:     267000 | #Constraints:      15039
830.76/833.25	c #Conflicts:     268000 | #Constraints:      16039
830.76/833.25	c #Conflicts:     269000 | #Constraints:      17039
830.76/833.25	c #Conflicts:     270000 | #Constraints:      18039
830.76/833.25	c #Conflicts:     271000 | #Constraints:      19039
830.76/833.25	c #Conflicts:     272000 | #Constraints:      20039
830.76/833.25	c #Conflicts:     273000 | #Constraints:      21039
830.76/833.25	c #Conflicts:     274000 | #Constraints:      22039
830.76/833.25	c #Conflicts:     275000 | #Constraints:      23039
830.76/833.25	c #Conflicts:     276000 | #Constraints:      24039
830.76/833.25	c #Conflicts:     277000 | #Constraints:      25039
830.76/833.25	c INPROCESSING
830.76/833.25	c GARBAGE COLLECT
830.76/833.25	c #Conflicts:     278000 | #Constraints:      15646
830.76/833.25	c #Conflicts:     279000 | #Constraints:      16646
830.76/833.25	c #Conflicts:     280000 | #Constraints:      17646
830.76/833.25	c GLOBAL bounds - >= 0 @ 826.731
859.78/862.36	c #Conflicts:     281000 | #Constraints:      18648
859.78/862.36	c #Conflicts:     282000 | #Constraints:      19648
859.78/862.36	c #Conflicts:     283000 | #Constraints:      20648
859.78/862.36	c #Conflicts:     284000 | #Constraints:      21648
859.78/862.36	c #Conflicts:     285000 | #Constraints:      22648
859.78/862.36	c #Conflicts:     286000 | #Constraints:      23648
859.78/862.36	c #Conflicts:     287000 | #Constraints:      24648
859.78/862.36	c #Conflicts:     288000 | #Constraints:      25648
859.78/862.36	c INPROCESSING
859.78/862.36	c GARBAGE COLLECT
859.78/862.36	c #Conflicts:     289000 | #Constraints:      16041
859.78/862.36	c GLOBAL bounds - >= 0 @ 855.608
868.16/870.76	c #Conflicts:     290000 | #Constraints:      17043
868.16/870.76	c #Conflicts:     291000 | #Constraints:      18043
868.16/870.76	c #Conflicts:     292000 | #Constraints:      19043
868.16/870.76	c GLOBAL bounds - >= 0 @ 863.913
889.51/892.11	c #Conflicts:     293000 | #Constraints:      20045
889.51/892.11	c #Conflicts:     294000 | #Constraints:      21045
889.51/892.11	c #Conflicts:     295000 | #Constraints:      22045
889.51/892.11	c #Conflicts:     296000 | #Constraints:      23045
889.51/892.11	c #Conflicts:     297000 | #Constraints:      24045
889.51/892.11	c #Conflicts:     298000 | #Constraints:      25045
889.51/892.11	c #Conflicts:     299000 | #Constraints:      26045
889.51/892.11	c INPROCESSING
889.51/892.11	c GARBAGE COLLECT
889.51/892.11	c #Conflicts:     300000 | #Constraints:      16234
889.51/892.11	c GLOBAL bounds - >= 0 @ 885.113
890.00/892.60	c GLOBAL bounds - >= 0 @ 885.595
897.88/900.54	c #Conflicts:     301000 | #Constraints:      17238
897.88/900.54	c #Conflicts:     302000 | #Constraints:      18238
897.88/900.54	c #Conflicts:     303000 | #Constraints:      19238
897.88/900.54	c GLOBAL bounds - >= 0 @ 893.479
901.66/904.36	c #Conflicts:     304000 | #Constraints:      20240
901.66/904.36	c GLOBAL bounds - >= 0 @ 897.264
905.66/908.33	c #Conflicts:     305000 | #Constraints:      21242
905.66/908.33	c #Conflicts:     306000 | #Constraints:      22242
905.66/908.33	c GLOBAL bounds - >= 0 @ 901.201
1113.56/1116.85	c #Conflicts:     307000 | #Constraints:      23244
1113.56/1116.85	c #Conflicts:     308000 | #Constraints:      24244
1113.56/1116.85	c #Conflicts:     309000 | #Constraints:      25244
1113.56/1116.85	c #Conflicts:     310000 | #Constraints:      26244
1113.56/1116.85	c INPROCESSING
1113.56/1116.85	c GARBAGE COLLECT
1113.56/1116.85	c #Conflicts:     311000 | #Constraints:      16265
1113.56/1116.85	c #Conflicts:     312000 | #Constraints:      17265
1113.56/1116.85	c #Conflicts:     313000 | #Constraints:      18265
1113.56/1116.85	c #Conflicts:     314000 | #Constraints:      19265
1113.56/1116.85	c #Conflicts:     315000 | #Constraints:      20265
1113.56/1116.85	c #Conflicts:     316000 | #Constraints:      21265
1113.56/1116.85	c #Conflicts:     317000 | #Constraints:      22265
1113.56/1116.85	c #Conflicts:     318000 | #Constraints:      23265
1113.56/1116.85	c #Conflicts:     319000 | #Constraints:      24265
1113.56/1116.85	c #Conflicts:     320000 | #Constraints:      25265
1113.56/1116.85	c #Conflicts:     321000 | #Constraints:      26265
1113.56/1116.85	c INPROCESSING
1113.56/1116.85	c GARBAGE COLLECT
1113.56/1116.85	c #Conflicts:     322000 | #Constraints:      16088
1113.56/1116.85	c #Conflicts:     323000 | #Constraints:      17088
1113.56/1116.85	c #Conflicts:     324000 | #Constraints:      18088
1113.56/1116.85	c #Conflicts:     325000 | #Constraints:      19088
1113.56/1116.85	c #Conflicts:     326000 | #Constraints:      20088
1113.56/1116.85	c #Conflicts:     327000 | #Constraints:      21088
1113.56/1116.85	c #Conflicts:     328000 | #Constraints:      22088
1113.56/1116.85	c #Conflicts:     329000 | #Constraints:      23088
1113.56/1116.85	c #Conflicts:     330000 | #Constraints:      24088
1113.56/1116.85	c #Conflicts:     331000 | #Constraints:      25088
1113.56/1116.85	c #Conflicts:     332000 | #Constraints:      26088
1113.56/1116.85	c #Conflicts:     333000 | #Constraints:      27088
1113.56/1116.85	c INPROCESSING
1113.56/1116.85	c GARBAGE COLLECT
1113.56/1116.85	c #Conflicts:     334000 | #Constraints:      16674
1113.56/1116.85	c #Conflicts:     335000 | #Constraints:      17674
1113.56/1116.85	c #Conflicts:     336000 | #Constraints:      18674
1113.56/1116.85	c #Conflicts:     337000 | #Constraints:      19674
1113.56/1116.85	c #Conflicts:     338000 | #Constraints:      20674
1113.56/1116.85	c #Conflicts:     339000 | #Constraints:      21674
1113.56/1116.85	c #Conflicts:     340000 | #Constraints:      22674
1113.56/1116.85	c #Conflicts:     341000 | #Constraints:      23674
1113.56/1116.85	c #Conflicts:     342000 | #Constraints:      24674
1113.56/1116.85	c #Conflicts:     343000 | #Constraints:      25674
1113.56/1116.85	c #Conflicts:     344000 | #Constraints:      26674
1113.56/1116.85	c #Conflicts:     345000 | #Constraints:      27674
1113.56/1116.85	c INPROCESSING
1113.56/1116.85	c GARBAGE COLLECT
1113.56/1116.85	c #Conflicts:     346000 | #Constraints:      17065
1113.56/1116.85	c #Conflicts:     347000 | #Constraints:      18065
1113.56/1116.85	c #Conflicts:     348000 | #Constraints:      19065
1113.56/1116.85	c #Conflicts:     349000 | #Constraints:      20065
1113.56/1116.85	c #Conflicts:     350000 | #Constraints:      21065
1113.56/1116.85	c GLOBAL bounds - >= 0 @ 1108.53
1155.76/1159.15	c #Conflicts:     351000 | #Constraints:      22067
1155.76/1159.15	c #Conflicts:     352000 | #Constraints:      23067
1155.76/1159.15	c #Conflicts:     353000 | #Constraints:      24067
1155.76/1159.15	c #Conflicts:     354000 | #Constraints:      25067
1155.76/1159.15	c #Conflicts:     355000 | #Constraints:      26067
1155.76/1159.15	c #Conflicts:     356000 | #Constraints:      27067
1155.76/1159.15	c #Conflicts:     357000 | #Constraints:      28067
1155.76/1159.15	c INPROCESSING
1155.76/1159.15	c GARBAGE COLLECT
1155.76/1159.15	c #Conflicts:     358000 | #Constraints:      17272
1155.76/1159.15	c GLOBAL bounds - >= 0 @ 1150.61
1572.17/1576.78	c #Conflicts:     359000 | #Constraints:      18274
1572.17/1576.78	c #Conflicts:     360000 | #Constraints:      19274
1572.17/1576.78	c #Conflicts:     361000 | #Constraints:      20274
1572.17/1576.78	c #Conflicts:     362000 | #Constraints:      21274
1572.17/1576.78	c #Conflicts:     363000 | #Constraints:      22274
1572.17/1576.78	c #Conflicts:     364000 | #Constraints:      23274
1572.17/1576.78	c #Conflicts:     365000 | #Constraints:      24274
1572.17/1576.78	c #Conflicts:     366000 | #Constraints:      25274
1572.17/1576.78	c #Conflicts:     367000 | #Constraints:      26274
1572.17/1576.78	c #Conflicts:     368000 | #Constraints:      27274
1572.17/1576.78	c #Conflicts:     369000 | #Constraints:      28274
1572.17/1576.78	c INPROCESSING
1572.17/1576.78	c GARBAGE COLLECT
1572.17/1576.78	c #Conflicts:     370000 | #Constraints:      17257
1572.17/1576.78	c #Conflicts:     371000 | #Constraints:      18257
1572.17/1576.78	c #Conflicts:     372000 | #Constraints:      19257
1572.17/1576.78	c #Conflicts:     373000 | #Constraints:      20257
1572.17/1576.78	c #Conflicts:     374000 | #Constraints:      21257
1572.17/1576.78	c #Conflicts:     375000 | #Constraints:      22257
1572.17/1576.78	c #Conflicts:     376000 | #Constraints:      23257
1572.17/1576.78	c #Conflicts:     377000 | #Constraints:      24257
1572.17/1576.78	c #Conflicts:     378000 | #Constraints:      25257
1572.17/1576.78	c #Conflicts:     379000 | #Constraints:      26257
1572.17/1576.78	c #Conflicts:     380000 | #Constraints:      27257
1572.17/1576.78	c #Conflicts:     381000 | #Constraints:      28257
1572.17/1576.78	c INPROCESSING
1572.17/1576.78	c GARBAGE COLLECT
1572.17/1576.78	c #Conflicts:     382000 | #Constraints:      17047
1572.17/1576.78	c #Conflicts:     383000 | #Constraints:      18047
1572.17/1576.78	c #Conflicts:     384000 | #Constraints:      19047
1572.17/1576.78	c #Conflicts:     385000 | #Constraints:      20047
1572.17/1576.78	c #Conflicts:     386000 | #Constraints:      21047
1572.17/1576.78	c #Conflicts:     387000 | #Constraints:      22047
1572.17/1576.78	c #Conflicts:     388000 | #Constraints:      23047
1572.17/1576.78	c #Conflicts:     389000 | #Constraints:      24047
1572.17/1576.78	c #Conflicts:     390000 | #Constraints:      25047
1572.17/1576.78	c #Conflicts:     391000 | #Constraints:      26047
1572.17/1576.78	c #Conflicts:     392000 | #Constraints:      27047
1572.17/1576.78	c #Conflicts:     393000 | #Constraints:      28047
1572.17/1576.78	c #Conflicts:     394000 | #Constraints:      29047
1572.17/1576.78	c INPROCESSING
1572.17/1576.78	c GARBAGE COLLECT
1572.17/1576.78	c #Conflicts:     395000 | #Constraints:      17633
1572.17/1576.78	c #Conflicts:     396000 | #Constraints:      18633
1572.17/1576.78	c #Conflicts:     397000 | #Constraints:      19633
1572.17/1576.78	c #Conflicts:     398000 | #Constraints:      20633
1572.17/1576.78	c #Conflicts:     399000 | #Constraints:      21633
1572.17/1576.78	c #Conflicts:     400000 | #Constraints:      22633
1572.17/1576.78	c #Conflicts:     401000 | #Constraints:      23633
1572.17/1576.78	c #Conflicts:     402000 | #Constraints:      24633
1572.17/1576.78	c #Conflicts:     403000 | #Constraints:      25633
1572.17/1576.78	c #Conflicts:     404000 | #Constraints:      26633
1572.17/1576.78	c #Conflicts:     405000 | #Constraints:      27633
1572.17/1576.78	c #Conflicts:     406000 | #Constraints:      28633
1572.17/1576.78	c #Conflicts:     407000 | #Constraints:      29633
1572.17/1576.78	c INPROCESSING
1572.17/1576.78	c GARBAGE COLLECT
1572.17/1576.78	c #Conflicts:     408000 | #Constraints:      18034
1572.17/1576.78	c #Conflicts:     409000 | #Constraints:      19034
1572.17/1576.78	c #Conflicts:     410000 | #Constraints:      20034
1572.17/1576.78	c #Conflicts:     411000 | #Constraints:      21034
1572.17/1576.78	c #Conflicts:     412000 | #Constraints:      22034
1572.17/1576.78	c #Conflicts:     413000 | #Constraints:      23034
1572.17/1576.78	c #Conflicts:     414000 | #Constraints:      24034
1572.17/1576.78	c #Conflicts:     415000 | #Constraints:      25034
1572.17/1576.78	c #Conflicts:     416000 | #Constraints:      26034
1572.17/1576.78	c #Conflicts:     417000 | #Constraints:      27034
1572.17/1576.78	c #Conflicts:     418000 | #Constraints:      28034
1572.17/1576.78	c #Conflicts:     419000 | #Constraints:      29034
1572.17/1576.78	c #Conflicts:     420000 | #Constraints:      30034
1572.17/1576.78	c INPROCESSING
1572.17/1576.78	c GARBAGE COLLECT
1572.17/1576.78	c #Conflicts:     421000 | #Constraints:      18233
1572.17/1576.78	c #Conflicts:     422000 | #Constraints:      19233
1572.17/1576.78	c #Conflicts:     423000 | #Constraints:      20233
1572.17/1576.78	c #Conflicts:     424000 | #Constraints:      21233
1572.17/1576.78	c #Conflicts:     425000 | #Constraints:      22233
1572.17/1576.78	c #Conflicts:     426000 | #Constraints:      23233
1572.17/1576.78	c #Conflicts:     427000 | #Constraints:      24233
1572.17/1576.78	c #Conflicts:     428000 | #Constraints:      25233
1572.17/1576.78	c #Conflicts:     429000 | #Constraints:      26233
1572.17/1576.78	c GLOBAL bounds - >= 0 @ 1565.94
1578.75/1583.32	c #Conflicts:     430000 | #Constraints:      27235
1578.75/1583.32	c #Conflicts:     431000 | #Constraints:      28235
1578.75/1583.32	c #Conflicts:     432000 | #Constraints:      29235
1578.75/1583.32	c #Conflicts:     433000 | #Constraints:      30235
1578.75/1583.32	c INPROCESSING
1578.75/1583.32	c GARBAGE COLLECT
1578.75/1583.32	c GLOBAL bounds - >= 0 @ 1572.42
1656.14/1660.98	c #Conflicts:     434000 | #Constraints:      18276
1656.14/1660.98	c #Conflicts:     435000 | #Constraints:      19276
1656.14/1660.98	c #Conflicts:     436000 | #Constraints:      20276
1656.14/1660.98	c #Conflicts:     437000 | #Constraints:      21276
1656.14/1660.98	c #Conflicts:     438000 | #Constraints:      22276
1656.14/1660.98	c #Conflicts:     439000 | #Constraints:      23276
1656.14/1660.98	c #Conflicts:     440000 | #Constraints:      24276
1656.14/1660.98	c #Conflicts:     441000 | #Constraints:      25276
1656.14/1660.98	c #Conflicts:     442000 | #Constraints:      26276
1656.14/1660.98	c #Conflicts:     443000 | #Constraints:      27276
1656.14/1660.98	c #Conflicts:     444000 | #Constraints:      28276
1656.14/1660.98	c #Conflicts:     445000 | #Constraints:      29276
1656.14/1660.98	c #Conflicts:     446000 | #Constraints:      30276
1656.14/1660.98	c INPROCESSING
1656.14/1660.98	c GARBAGE COLLECT
1656.14/1660.98	c #Conflicts:     447000 | #Constraints:      18066
1656.14/1660.98	c #Conflicts:     448000 | #Constraints:      19066
1656.14/1660.98	c #Conflicts:     449000 | #Constraints:      20066
1656.14/1660.98	c #Conflicts:     450000 | #Constraints:      21066
1656.14/1660.98	c #Conflicts:     451000 | #Constraints:      22066
1656.14/1660.98	c #Conflicts:     452000 | #Constraints:      23066
1656.14/1660.98	c #Conflicts:     453000 | #Constraints:      24066
1656.14/1660.98	c GLOBAL bounds - >= 0 @ 1649.64
1702.70/1707.60	c #Conflicts:     454000 | #Constraints:      25068
1702.70/1707.60	c #Conflicts:     455000 | #Constraints:      26068
1702.70/1707.60	c #Conflicts:     456000 | #Constraints:      27068
1702.70/1707.60	c #Conflicts:     457000 | #Constraints:      28068
1702.70/1707.60	c #Conflicts:     458000 | #Constraints:      29068
1702.70/1707.60	c #Conflicts:     459000 | #Constraints:      30068
1702.70/1707.60	c #Conflicts:     460000 | #Constraints:      31068
1702.70/1707.60	c INPROCESSING
1702.70/1707.60	c GARBAGE COLLECT
1702.70/1707.60	c #Conflicts:     461000 | #Constraints:      18688
1702.70/1707.60	c #Conflicts:     462000 | #Constraints:      19688
1702.70/1707.60	c #Conflicts:     463000 | #Constraints:      20688
1702.70/1707.60	c #Conflicts:     464000 | #Constraints:      21688
1702.70/1707.60	c #Conflicts:     465000 | #Constraints:      22688
1702.70/1707.60	c #Conflicts:     466000 | #Constraints:      23688
1702.70/1707.60	c #Conflicts:     467000 | #Constraints:      24688
1702.70/1707.60	c GLOBAL bounds - >= 0 @ 1695.97
2198.71/2205.11	c #Conflicts:     468000 | #Constraints:      25690
2198.71/2205.11	c #Conflicts:     469000 | #Constraints:      26690
2198.71/2205.11	c #Conflicts:     470000 | #Constraints:      27690
2198.71/2205.11	c #Conflicts:     471000 | #Constraints:      28690
2198.71/2205.11	c #Conflicts:     472000 | #Constraints:      29690
2198.71/2205.11	c #Conflicts:     473000 | #Constraints:      30690
2198.71/2205.11	c #Conflicts:     474000 | #Constraints:      31690
2198.71/2205.11	c INPROCESSING
2198.71/2205.11	c GARBAGE COLLECT
2198.71/2205.11	c #Conflicts:     475000 | #Constraints:      19083
2198.71/2205.11	c #Conflicts:     476000 | #Constraints:      20083
2198.71/2205.11	c #Conflicts:     477000 | #Constraints:      21083
2198.71/2205.11	c #Conflicts:     478000 | #Constraints:      22083
2198.71/2205.11	c #Conflicts:     479000 | #Constraints:      23083
2198.71/2205.11	c #Conflicts:     480000 | #Constraints:      24083
2198.71/2205.11	c #Conflicts:     481000 | #Constraints:      25083
2198.71/2205.11	c #Conflicts:     482000 | #Constraints:      26083
2198.71/2205.11	c #Conflicts:     483000 | #Constraints:      27083
2198.71/2205.11	c #Conflicts:     484000 | #Constraints:      28083
2198.71/2205.11	c #Conflicts:     485000 | #Constraints:      29083
2198.71/2205.11	c #Conflicts:     486000 | #Constraints:      30083
2198.71/2205.11	c #Conflicts:     487000 | #Constraints:      31083
2198.71/2205.11	c #Conflicts:     488000 | #Constraints:      32083
2198.71/2205.11	c INPROCESSING
2198.71/2205.11	c GARBAGE COLLECT
2198.71/2205.11	c #Conflicts:     489000 | #Constraints:      19279
2198.71/2205.11	c #Conflicts:     490000 | #Constraints:      20279
2198.71/2205.11	c #Conflicts:     491000 | #Constraints:      21279
2198.71/2205.11	c #Conflicts:     492000 | #Constraints:      22279
2198.71/2205.11	c #Conflicts:     493000 | #Constraints:      23279
2198.71/2205.11	c #Conflicts:     494000 | #Constraints:      24279
2198.71/2205.11	c #Conflicts:     495000 | #Constraints:      25279
2198.71/2205.11	c #Conflicts:     496000 | #Constraints:      26279
2198.71/2205.11	c #Conflicts:     497000 | #Constraints:      27279
2198.71/2205.11	c #Conflicts:     498000 | #Constraints:      28279
2198.71/2205.11	c #Conflicts:     499000 | #Constraints:      29279
2198.71/2205.11	c #Conflicts:     500000 | #Constraints:      30279
2198.71/2205.11	c #Conflicts:     501000 | #Constraints:      31279
2198.71/2205.11	c #Conflicts:     502000 | #Constraints:      32279
2198.71/2205.11	c INPROCESSING
2198.71/2205.11	c GARBAGE COLLECT
2198.71/2205.11	c #Conflicts:     503000 | #Constraints:      19271
2198.71/2205.11	c #Conflicts:     504000 | #Constraints:      20271
2198.71/2205.11	c #Conflicts:     505000 | #Constraints:      21271
2198.71/2205.11	c #Conflicts:     506000 | #Constraints:      22271
2198.71/2205.11	c #Conflicts:     507000 | #Constraints:      23271
2198.71/2205.11	c #Conflicts:     508000 | #Constraints:      24271
2198.71/2205.11	c #Conflicts:     509000 | #Constraints:      25271
2198.71/2205.11	c #Conflicts:     510000 | #Constraints:      26271
2198.71/2205.11	c #Conflicts:     511000 | #Constraints:      27271
2198.71/2205.11	c #Conflicts:     512000 | #Constraints:      28271
2198.71/2205.11	c #Conflicts:     513000 | #Constraints:      29271
2198.71/2205.11	c #Conflicts:     514000 | #Constraints:      30271
2198.71/2205.11	c #Conflicts:     515000 | #Constraints:      31271
2198.71/2205.11	c #Conflicts:     516000 | #Constraints:      32271
2198.71/2205.11	c INPROCESSING
2198.71/2205.11	c GARBAGE COLLECT
2198.71/2205.11	c #Conflicts:     517000 | #Constraints:      19076
2198.71/2205.11	c #Conflicts:     518000 | #Constraints:      20076
2198.71/2205.11	c #Conflicts:     519000 | #Constraints:      21076
2198.71/2205.11	c #Conflicts:     520000 | #Constraints:      22076
2198.71/2205.11	c #Conflicts:     521000 | #Constraints:      23076
2198.71/2205.11	c #Conflicts:     522000 | #Constraints:      24076
2198.71/2205.11	c #Conflicts:     523000 | #Constraints:      25076
2198.71/2205.11	c #Conflicts:     524000 | #Constraints:      26076
2198.71/2205.11	c #Conflicts:     525000 | #Constraints:      27076
2198.71/2205.11	c #Conflicts:     526000 | #Constraints:      28076
2198.71/2205.11	c #Conflicts:     527000 | #Constraints:      29076
2198.71/2205.11	c #Conflicts:     528000 | #Constraints:      30076
2198.71/2205.11	c #Conflicts:     529000 | #Constraints:      31076
2198.71/2205.11	c #Conflicts:     530000 | #Constraints:      32076
2198.71/2205.11	c #Conflicts:     531000 | #Constraints:      33076
2198.71/2205.11	c INPROCESSING
2198.71/2205.11	c GARBAGE COLLECT
2198.71/2205.11	c #Conflicts:     532000 | #Constraints:      19659
2198.71/2205.11	c #Conflicts:     533000 | #Constraints:      20659
2198.71/2205.11	c #Conflicts:     534000 | #Constraints:      21659
2198.71/2205.11	c #Conflicts:     535000 | #Constraints:      22659
2198.71/2205.11	c #Conflicts:     536000 | #Constraints:      23659
2198.71/2205.11	c #Conflicts:     537000 | #Constraints:      24659
2198.71/2205.11	c #Conflicts:     538000 | #Constraints:      25659
2198.71/2205.11	c #Conflicts:     539000 | #Constraints:      26659
2198.71/2205.11	c #Conflicts:     540000 | #Constraints:      27659
2198.71/2205.11	c #Conflicts:     541000 | #Constraints:      28659
2198.71/2205.11	c #Conflicts:     542000 | #Constraints:      29659
2198.71/2205.11	c #Conflicts:     543000 | #Constraints:      30659
2750.73/2758.66	c #Conflicts:     544000 | #Constraints:      31659
2750.73/2758.66	c #Conflicts:     545000 | #Constraints:      32659
2750.73/2758.66	c #Conflicts:     546000 | #Constraints:      33659
2750.73/2758.66	c INPROCESSING
2750.73/2758.66	c GARBAGE COLLECT
2750.73/2758.66	c #Conflicts:     547000 | #Constraints:      20041
2750.73/2758.66	c #Conflicts:     548000 | #Constraints:      21041
2750.73/2758.66	c #Conflicts:     549000 | #Constraints:      22041
2750.73/2758.66	c #Conflicts:     550000 | #Constraints:      23041
2750.73/2758.66	c #Conflicts:     551000 | #Constraints:      24041
2750.73/2758.66	c #Conflicts:     552000 | #Constraints:      25041
2750.73/2758.66	c #Conflicts:     553000 | #Constraints:      26041
2750.73/2758.66	c #Conflicts:     554000 | #Constraints:      27041
2750.73/2758.66	c #Conflicts:     555000 | #Constraints:      28041
2750.73/2758.66	c #Conflicts:     556000 | #Constraints:      29041
2750.73/2758.66	c #Conflicts:     557000 | #Constraints:      30041
2750.73/2758.66	c #Conflicts:     558000 | #Constraints:      31041
2750.73/2758.66	c #Conflicts:     559000 | #Constraints:      32041
2750.73/2758.66	c #Conflicts:     560000 | #Constraints:      33041
2750.73/2758.66	c #Conflicts:     561000 | #Constraints:      34041
2750.73/2758.66	c INPROCESSING
2750.73/2758.66	c GARBAGE COLLECT
2750.73/2758.66	c #Conflicts:     562000 | #Constraints:      20241
2750.73/2758.66	c #Conflicts:     563000 | #Constraints:      21241
2750.73/2758.66	c #Conflicts:     564000 | #Constraints:      22241
2750.73/2758.66	c #Conflicts:     565000 | #Constraints:      23241
2750.73/2758.66	c #Conflicts:     566000 | #Constraints:      24241
2750.73/2758.66	c #Conflicts:     567000 | #Constraints:      25241
2750.73/2758.66	c #Conflicts:     568000 | #Constraints:      26241
2750.73/2758.66	c #Conflicts:     569000 | #Constraints:      27241
2750.73/2758.66	c #Conflicts:     570000 | #Constraints:      28241
2750.73/2758.66	c #Conflicts:     571000 | #Constraints:      29241
2750.73/2758.66	c #Conflicts:     572000 | #Constraints:      30241
2750.73/2758.66	c #Conflicts:     573000 | #Constraints:      31241
2750.73/2758.66	c #Conflicts:     574000 | #Constraints:      32241
2750.73/2758.66	c #Conflicts:     575000 | #Constraints:      33241
2750.73/2758.66	c #Conflicts:     576000 | #Constraints:      34241
2750.73/2758.66	c INPROCESSING
2750.73/2758.66	c GARBAGE COLLECT
2750.73/2758.66	c #Conflicts:     577000 | #Constraints:      20234
2750.73/2758.66	c #Conflicts:     578000 | #Constraints:      21234
2750.73/2758.66	c #Conflicts:     579000 | #Constraints:      22234
2750.73/2758.66	c #Conflicts:     580000 | #Constraints:      23234
2750.73/2758.66	c #Conflicts:     581000 | #Constraints:      24234
2750.73/2758.66	c #Conflicts:     582000 | #Constraints:      25234
2750.73/2758.66	c #Conflicts:     583000 | #Constraints:      26234
2750.73/2758.66	c #Conflicts:     584000 | #Constraints:      27234
2750.73/2758.66	c #Conflicts:     585000 | #Constraints:      28234
2750.73/2758.66	c #Conflicts:     586000 | #Constraints:      29234
2750.73/2758.66	c #Conflicts:     587000 | #Constraints:      30234
2750.73/2758.66	c #Conflicts:     588000 | #Constraints:      31234
2750.73/2758.66	c #Conflicts:     589000 | #Constraints:      32234
2750.73/2758.66	c #Conflicts:     590000 | #Constraints:      33234
2750.73/2758.66	c #Conflicts:     591000 | #Constraints:      34234
2750.73/2758.66	c INPROCESSING
2750.73/2758.66	c GARBAGE COLLECT
2750.73/2758.66	c #Conflicts:     592000 | #Constraints:      20034
2750.73/2758.66	c #Conflicts:     593000 | #Constraints:      21034
2750.73/2758.66	c #Conflicts:     594000 | #Constraints:      22034
2750.73/2758.66	c #Conflicts:     595000 | #Constraints:      23034
2750.73/2758.66	c #Conflicts:     596000 | #Constraints:      24034
2750.73/2758.66	c #Conflicts:     597000 | #Constraints:      25034
2750.73/2758.66	c #Conflicts:     598000 | #Constraints:      26034
2750.73/2758.66	c #Conflicts:     599000 | #Constraints:      27034
2750.73/2758.66	c #Conflicts:     600000 | #Constraints:      28034
2750.73/2758.66	c #Conflicts:     601000 | #Constraints:      29034
2750.73/2758.66	c #Conflicts:     602000 | #Constraints:      30034
2750.73/2758.66	c #Conflicts:     603000 | #Constraints:      31034
2750.73/2758.66	c #Conflicts:     604000 | #Constraints:      32034
2750.73/2758.66	c #Conflicts:     605000 | #Constraints:      33034
2750.73/2758.66	c #Conflicts:     606000 | #Constraints:      34034
2750.73/2758.66	c #Conflicts:     607000 | #Constraints:      35034
2750.73/2758.66	c INPROCESSING
2750.73/2758.66	c GARBAGE COLLECT
2750.73/2758.66	c #Conflicts:     608000 | #Constraints:      20640
2750.73/2758.66	c #Conflicts:     609000 | #Constraints:      21640
2750.73/2758.66	c #Conflicts:     610000 | #Constraints:      22640
2750.73/2758.66	c #Conflicts:     611000 | #Constraints:      23640
2750.73/2758.66	c #Conflicts:     612000 | #Constraints:      24640
2750.73/2758.66	c #Conflicts:     613000 | #Constraints:      25640
2750.73/2758.66	c #Conflicts:     614000 | #Constraints:      26640
2750.73/2758.66	c #Conflicts:     615000 | #Constraints:      27640
2750.73/2758.66	c #Conflicts:     616000 | #Constraints:      28640
2750.73/2758.66	c #Conflicts:     617000 | #Constraints:      29640
2750.73/2758.66	c #Conflicts:     618000 | #Constraints:      30640
2750.73/2758.66	c #Conflicts:     619000 | #Constraints:      31640
2833.50/2841.67	c #Conflicts:     620000 | #Constraints:      32640
2833.50/2841.67	c #Conflicts:     621000 | #Constraints:      33640
2833.50/2841.67	c #Conflicts:     622000 | #Constraints:      34640
2833.50/2841.67	c #Conflicts:     623000 | #Constraints:      35640
2833.50/2841.67	c INPROCESSING
2833.50/2841.67	c GARBAGE COLLECT
2833.50/2841.67	c #Conflicts:     624000 | #Constraints:      21038
2833.50/2841.67	c #Conflicts:     625000 | #Constraints:      22038
2833.50/2841.67	c #Conflicts:     626000 | #Constraints:      23038
2833.50/2841.67	c #Conflicts:     627000 | #Constraints:      24038
2833.50/2841.67	c #Conflicts:     628000 | #Constraints:      25038
2833.50/2841.67	c #Conflicts:     629000 | #Constraints:      26038
2833.50/2841.67	c #Conflicts:     630000 | #Constraints:      27038
2833.50/2841.67	c #Conflicts:     631000 | #Constraints:      28038
2833.50/2841.67	c #Conflicts:     632000 | #Constraints:      29038
2833.50/2841.67	c #Conflicts:     633000 | #Constraints:      30038
2833.50/2841.67	c GLOBAL bounds - >= 0 @ 2824.44
3298.28/3307.75	c #Conflicts:     634000 | #Constraints:      31040
3298.28/3307.75	c #Conflicts:     635000 | #Constraints:      32040
3298.28/3307.75	c #Conflicts:     636000 | #Constraints:      33040
3298.28/3307.75	c #Conflicts:     637000 | #Constraints:      34040
3298.28/3307.75	c #Conflicts:     638000 | #Constraints:      35040
3298.28/3307.75	c #Conflicts:     639000 | #Constraints:      36040
3298.28/3307.75	c INPROCESSING
3298.28/3307.75	c GARBAGE COLLECT
3298.28/3307.75	c #Conflicts:     640000 | #Constraints:      21263
3298.28/3307.75	c #Conflicts:     641000 | #Constraints:      22263
3298.28/3307.75	c #Conflicts:     642000 | #Constraints:      23263
3298.28/3307.75	c #Conflicts:     643000 | #Constraints:      24263
3298.28/3307.75	c #Conflicts:     644000 | #Constraints:      25263
3298.28/3307.75	c #Conflicts:     645000 | #Constraints:      26263
3298.28/3307.75	c #Conflicts:     646000 | #Constraints:      27263
3298.28/3307.75	c #Conflicts:     647000 | #Constraints:      28263
3298.28/3307.75	c #Conflicts:     648000 | #Constraints:      29263
3298.28/3307.75	c #Conflicts:     649000 | #Constraints:      30263
3298.28/3307.75	c #Conflicts:     650000 | #Constraints:      31263
3298.28/3307.75	c #Conflicts:     651000 | #Constraints:      32263
3298.28/3307.75	c #Conflicts:     652000 | #Constraints:      33263
3298.28/3307.75	c #Conflicts:     653000 | #Constraints:      34263
3298.28/3307.75	c #Conflicts:     654000 | #Constraints:      35263
3298.28/3307.75	c #Conflicts:     655000 | #Constraints:      36263
3298.28/3307.75	c INPROCESSING
3298.28/3307.75	c GARBAGE COLLECT
3298.28/3307.75	c #Conflicts:     656000 | #Constraints:      21268
3298.28/3307.75	c #Conflicts:     657000 | #Constraints:      22268
3298.28/3307.75	c #Conflicts:     658000 | #Constraints:      23268
3298.28/3307.75	c #Conflicts:     659000 | #Constraints:      24268
3298.28/3307.75	c #Conflicts:     660000 | #Constraints:      25268
3298.28/3307.75	c #Conflicts:     661000 | #Constraints:      26268
3298.28/3307.75	c #Conflicts:     662000 | #Constraints:      27268
3298.28/3307.75	c #Conflicts:     663000 | #Constraints:      28268
3298.28/3307.75	c #Conflicts:     664000 | #Constraints:      29268
3298.28/3307.75	c #Conflicts:     665000 | #Constraints:      30268
3298.28/3307.75	c #Conflicts:     666000 | #Constraints:      31268
3298.28/3307.75	c #Conflicts:     667000 | #Constraints:      32268
3298.28/3307.75	c #Conflicts:     668000 | #Constraints:      33268
3298.28/3307.75	c #Conflicts:     669000 | #Constraints:      34268
3298.28/3307.75	c #Conflicts:     670000 | #Constraints:      35268
3298.28/3307.75	c #Conflicts:     671000 | #Constraints:      36268
3298.28/3307.75	c INPROCESSING
3298.28/3307.75	c GARBAGE COLLECT
3298.28/3307.75	c #Conflicts:     672000 | #Constraints:      21076
3298.28/3307.75	c #Conflicts:     673000 | #Constraints:      22076
3298.28/3307.75	c #Conflicts:     674000 | #Constraints:      23076
3298.28/3307.75	c #Conflicts:     675000 | #Constraints:      24076
3298.28/3307.75	c #Conflicts:     676000 | #Constraints:      25076
3298.28/3307.75	c #Conflicts:     677000 | #Constraints:      26076
3298.28/3307.75	c #Conflicts:     678000 | #Constraints:      27076
3298.28/3307.75	c #Conflicts:     679000 | #Constraints:      28076
3298.28/3307.75	c #Conflicts:     680000 | #Constraints:      29076
3298.28/3307.75	c #Conflicts:     681000 | #Constraints:      30076
3298.28/3307.75	c #Conflicts:     682000 | #Constraints:      31076
3298.28/3307.75	c #Conflicts:     683000 | #Constraints:      32076
3298.28/3307.75	c #Conflicts:     684000 | #Constraints:      33076
3298.28/3307.75	c #Conflicts:     685000 | #Constraints:      34076
3298.28/3307.75	c #Conflicts:     686000 | #Constraints:      35076
3298.28/3307.75	c #Conflicts:     687000 | #Constraints:      36076
3298.28/3307.75	c #Conflicts:     688000 | #Constraints:      37076
3298.28/3307.75	c INPROCESSING
3298.28/3307.75	c GARBAGE COLLECT
3298.28/3307.75	c #Conflicts:     689000 | #Constraints:      21670
3298.28/3307.75	c #Conflicts:     690000 | #Constraints:      22670
3298.28/3307.75	c #Conflicts:     691000 | #Constraints:      23670
3298.28/3307.75	c #Conflicts:     692000 | #Constraints:      24670
3298.28/3307.75	c #Conflicts:     693000 | #Constraints:      25670
3298.28/3307.75	c #Conflicts:     694000 | #Constraints:      26670
3298.28/3307.75	c #Conflicts:     695000 | #Constraints:      27670
3298.28/3307.75	c #Conflicts:     696000 | #Constraints:      28670
3298.28/3307.75	c #Conflicts:     697000 | #Constraints:      29670
3298.28/3307.75	c #Conflicts:     698000 | #Constraints:      30670
3298.28/3307.75	c #Conflicts:     699000 | #Constraints:      31670
3298.28/3307.75	c #Conflicts:     700000 | #Constraints:      32670
3298.28/3307.75	c #Conflicts:     701000 | #Constraints:      33670
3298.28/3307.75	c #Conflicts:     702000 | #Constraints:      34670
3298.28/3307.75	c #Conflicts:     703000 | #Constraints:      35670
3298.28/3307.75	c #Conflicts:     704000 | #Constraints:      36670
3298.28/3307.75	c #Conflicts:     705000 | #Constraints:      37670
3298.28/3307.75	c INPROCESSING
3298.28/3307.75	c GARBAGE COLLECT
3298.28/3307.75	c #Conflicts:     706000 | #Constraints:      22051
3298.28/3307.75	c #Conflicts:     707000 | #Constraints:      23051
3298.28/3307.75	c #Conflicts:     708000 | #Constraints:      24051
3298.28/3307.75	c #Conflicts:     709000 | #Constraints:      25051
3508.00/3518.08	c #Conflicts:     710000 | #Constraints:      26051
3508.00/3518.08	c #Conflicts:     711000 | #Constraints:      27051
3508.00/3518.08	c #Conflicts:     712000 | #Constraints:      28051
3508.00/3518.08	c #Conflicts:     713000 | #Constraints:      29051
3508.00/3518.08	c #Conflicts:     714000 | #Constraints:      30051
3508.00/3518.08	c #Conflicts:     715000 | #Constraints:      31051
3508.00/3518.08	c #Conflicts:     716000 | #Constraints:      32051
3508.00/3518.08	c #Conflicts:     717000 | #Constraints:      33051
3508.00/3518.08	c #Conflicts:     718000 | #Constraints:      34051
3508.00/3518.08	c #Conflicts:     719000 | #Constraints:      35051
3508.00/3518.08	c #Conflicts:     720000 | #Constraints:      36051
3508.00/3518.08	c #Conflicts:     721000 | #Constraints:      37051
3508.00/3518.08	c #Conflicts:     722000 | #Constraints:      38051
3508.00/3518.08	c INPROCESSING
3508.00/3518.08	c GARBAGE COLLECT
3508.00/3518.08	c #Conflicts:     723000 | #Constraints:      22258
3508.00/3518.08	c #Conflicts:     724000 | #Constraints:      23258
3508.00/3518.08	c #Conflicts:     725000 | #Constraints:      24258
3508.00/3518.08	c #Conflicts:     726000 | #Constraints:      25258
3508.00/3518.08	c #Conflicts:     727000 | #Constraints:      26258
3508.00/3518.08	c #Conflicts:     728000 | #Constraints:      27258
3508.00/3518.08	c #Conflicts:     729000 | #Constraints:      28258
3508.00/3518.08	c #Conflicts:     730000 | #Constraints:      29258
3508.00/3518.08	c #Conflicts:     731000 | #Constraints:      30258
3508.00/3518.08	c #Conflicts:     732000 | #Constraints:      31258
3508.00/3518.08	c #Conflicts:     733000 | #Constraints:      32258
3508.00/3518.08	c #Conflicts:     734000 | #Constraints:      33258
3508.00/3518.08	c #Conflicts:     735000 | #Constraints:      34258
3508.00/3518.08	c #Conflicts:     736000 | #Constraints:      35258
3508.00/3518.08	c #Conflicts:     737000 | #Constraints:      36258
3508.00/3518.08	c #Conflicts:     738000 | #Constraints:      37258
3508.00/3518.08	c #Conflicts:     739000 | #Constraints:      38258
3508.00/3518.08	c INPROCESSING
3508.00/3518.08	c GARBAGE COLLECT
3508.00/3518.08	c #Conflicts:     740000 | #Constraints:      22252
3508.00/3518.08	c #Conflicts:     741000 | #Constraints:      23252
3508.00/3518.08	c #Conflicts:     742000 | #Constraints:      24252
3508.00/3518.08	c #Conflicts:     743000 | #Constraints:      25252
3508.00/3518.08	c #Conflicts:     744000 | #Constraints:      26252
3508.00/3518.08	c #Conflicts:     745000 | #Constraints:      27252
3508.00/3518.08	c #Conflicts:     746000 | #Constraints:      28252
3508.00/3518.08	c #Conflicts:     747000 | #Constraints:      29252
3508.00/3518.08	c #Conflicts:     748000 | #Constraints:      30252
3508.00/3518.08	c #Conflicts:     749000 | #Constraints:      31252
3508.00/3518.08	c #Conflicts:     750000 | #Constraints:      32252
3508.00/3518.08	c #Conflicts:     751000 | #Constraints:      33252
3508.00/3518.08	c GLOBAL bounds - >= 0 @ 3497.22
3600.02/3610.30	c #Conflicts:     752000 | #Constraints:      34254
3600.02/3610.30	c #Conflicts:     753000 | #Constraints:      35254
3600.02/3610.30	c #Conflicts:     754000 | #Constraints:      36254
3600.02/3610.30	c #Conflicts:     755000 | #Constraints:      37254
3600.02/3610.30	c #Conflicts:     756000 | #Constraints:      38254
3600.02/3610.30	c INPROCESSING
3600.02/3610.30	c GARBAGE COLLECT
3600.02/3610.30	c #Conflicts:     757000 | #Constraints:      22068
3600.02/3610.30	c #Conflicts:     758000 | #Constraints:      23068
3600.02/3610.30	c #Conflicts:     759000 | #Constraints:      24068
3600.02/3610.30	c #Conflicts:     760000 | #Constraints:      25068
3600.02/3610.30	c #Conflicts:     761000 | #Constraints:      26068
3600.02/3610.30	c #Conflicts:     762000 | #Constraints:      27068
3600.02/3610.30	c #Conflicts:     763000 | #Constraints:      28068
3600.02/3610.30	c #Conflicts:     764000 | #Constraints:      29068
3600.02/3610.30	c #Conflicts:     765000 | #Constraints:      30068
3600.02/3610.30	c #Conflicts:     766000 | #Constraints:      31068
3600.02/3610.30	c #Conflicts:     767000 | #Constraints:      32068
3600.02/3610.30	c cpu time 3588.88 s
3600.02/3610.30	c deterministic time 1 1.00e+00
3600.02/3610.30	c optimization time 3588.84 s
3600.02/3610.30	c total solve time 0 s
3600.02/3610.30	c core-guided solve time 0 s
3600.02/3610.30	c propagation time 0.004446 s
3600.02/3610.30	c conflict analysis time 0 s
3600.02/3610.30	c propagations 0
3600.02/3610.30	c resolve steps 0
3600.02/3610.30	c decisions 0
3600.02/3610.30	c conflicts 0
3600.02/3610.30	c restarts 0
3600.02/3610.30	c inprocessing phases 0
3600.02/3610.30	c garbage collections 0 ,( -nan )
3600.02/3610.30	c input clauses 4000 ,( 100.00 )
3600.02/3610.30	c input cardinalities 0 ,( 0.00 )
3600.02/3610.30	c input general constraints 0 ,( 0.00 )
3600.02/3610.30	c input average constraint length 2.00
3600.02/3610.30	c input average constraint degree 1.00
3600.02/3610.30	c learned clauses 0 ,( 0.00 )
3600.02/3610.30	c learned cardinalities 0 ,( 0.00 )
3600.02/3610.30	c learned general constraints 0 ,( 0.00 )
3600.02/3610.30	c learned average constraint length 0.00
3600.02/3610.30	c learned average constraint degree 0.00
3600.02/3610.30	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.02/3610.30	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.02/3610.30	c watched   constraints 0 ,( -nan ) 
3600.02/3610.30	c counting  constraints 0 ,( -nan ) 
3600.02/3610.30	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.02/3610.30	c gcd simplifications 0
3600.02/3610.30	c detected cardinalities 0
3600.02/3610.30	c weakened non-implied lits 0
3600.02/3610.30	c weakened non-implying lits 0
3600.02/3610.30	c original variables 1959
3600.02/3610.30	c clausal propagations 0
3600.02/3610.30	c cardinality propagations 0
3600.02/3610.30	c watched propagations 0
3600.02/3610.30	c counting propagations 0
3600.02/3610.30	c watch lookups 0
3600.02/3610.30	c watch backjump lookups 0
3600.02/3610.30	c watch checks 0
3600.02/3610.30	c propagation checks 0
3600.02/3610.30	c constraint additions 0
3600.02/3610.30	c trail pops 0
3600.02/3610.30	c formula constraints 4000
3600.02/3610.30	c learned constraints 0
3600.02/3610.30	c bound constraints 0
3600.02/3610.30	c core-guided constraints 0
3600.02/3610.30	c encountered formula constraints 0
3600.02/3610.30	c encountered learned constraints 0
3600.02/3610.30	c encountered bound constraints 0
3600.02/3610.30	c encountered core-guided constraints 0
3600.02/3610.30	c LP total time 0 s
3600.02/3610.30	c LP solve time 0 s
3600.02/3610.30	c LP constraints added 0
3600.02/3610.30	c LP constraints removed 0
3600.02/3610.30	c LP pivots internal 0
3600.02/3610.30	c LP pivots root 0
3600.02/3610.30	c LP calls 0
3600.02/3610.30	c LP optimalities 0
3600.02/3610.30	c LP no pivot count 0
3600.02/3610.30	c LP infeasibilities 0
3600.02/3610.30	c LP valid Farkas constraints 0
3600.02/3610.30	c LP learned Farkas constraints 0
3600.02/3610.30	c LP basis resets 0
3600.02/3610.30	c LP cycling count 0
3600.02/3610.30	c LP singular count 0
3600.02/3610.30	c LP no primal count 0
3600.02/3610.30	c LP no farkas count 0
3600.02/3610.30	c LP other issue count 0
3600.02/3610.30	c LP Gomory cuts 0
3600.02/3610.30	c LP learned cuts 0
3600.02/3610.30	c LP deleted cuts 0
3600.02/3610.30	c LP encountered Gomory constraints 0
3600.02/3610.30	c LP encountered Farkas constraints 0
3600.02/3610.30	c LP encountered learned Farkas constraints 0
3600.02/3610.30	c CG auxiliary variables introduced 0
3600.02/3610.30	c CG solutions found 0
3600.02/3610.30	c CG cores constructed 0
3600.02/3610.30	c CG core cardinality constraints returned 0
3600.02/3610.30	c CG unit cores 0
3600.02/3610.30	c CG single cores 0
3600.02/3610.30	c CG blocks removed during cardinality reduction 0
3600.02/3610.30	c CG first core best 0
3600.02/3610.30	c CG decision core best 0
3600.02/3610.30	c CG core reduction tie 0
3600.02/3610.30	c CG core degree average 0.00
3600.02/3610.30	c CG core slack average 0.00
3600.02/3610.30	c CG core upper bound improvements 0
3600.02/3610.30	c STR number of successful calls 0
3600.02/3610.30	c STR number of unsuccessful calls 0
3600.02/3610.30	c STR number of inconclusive calls 0
3600.02/3610.30	c STR number of successful attempts 0
3600.02/3610.30	c STR number of unsuccessful attempts 0
3600.02/3610.30	c STR number of inconclusive attempts 0
3600.02/3610.30	c STR average degree increase per successful call inf
3600.02/3610.30	c STR average degree increase per successful attempt inf
3600.02/3610.30	c STR total number of conflicts for successful attempts 0
3600.02/3610.30	c STR total number of conflicts for unsuccessful attempts 0
3600.02/3610.30	c STR total number of conflicts for inconclusive attempts 0
3600.02/3610.30	c STR average number of conflicts per successful attempt inf
3600.02/3610.30	c STR average number of conflicts per unsuccessful attempt inf
3600.02/3610.30	c STR average number of conflicts per inconclusive attempt inf
3600.02/3610.30	c AVG.sumWPerc -nan 
3600.02/3610.30	c bigint constraints 0 
3600.02/3610.30	s UNKNOWN
3600.02/3610.30	c Program interrupted by user.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 63837 MiB (56037 MiB free)
  memory of node 1: 64465 MiB (57897 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4488541-1751333346/watcher-4488541-1751333346 -o /tmp/evaluation-result-4488541-1751333346/solver-4488541-1751333346 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751329194-41420 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4488541-1751333346.opb PROOFDIR/proof-4488541-1751333346 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=43552, runsolver pid=43549
Current StackSize limit: 8192 KiB


[startup+0.100066 s]*
/proc/loadavg: 4.15 4.12 4.09 5/263 43554
/proc/meminfo: memFree=116668952/131382120 swapFree=33010684/33010684
[pid=43552] ppid=43549 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43552/stat : 43552 (run-opt-log.sh) S 43549 43552 41409 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49013254 4292608 736 18446744073709551615 94783044546560 94783045441093 140724841454960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94783045680144 94783045727888 94783072546816 140724841457953 140724841458148 140724841458148 140724841463750 0
/proc/43552/statm: 1048 736 672 219 0 110 0
[pid=43554] ppid=43552 vsize=58876 memory=12820 CPUtime=0.05 cores=4,6
/proc/43554/stat : 43554 (roundingsat) R 43552 43552 41409 0 -1 4194304 1705 0 0 0 4 1 0 0 20 0 1 0 49013256 60289024 3205 18446744073709551615 4227072 8923433 140726312310816 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 17850368 140726312319314 140726312319528 140726312319528 140726312325098 0
/proc/43554/statm: 14719 3205 2272 1147 0 2146 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 63068 KiB
Current children cumulated memory: 15764 KiB

[startup+0.213995 s]*
/proc/loadavg: 4.15 4.12 4.09 5/263 43554
/proc/meminfo: memFree=116660888/131382120 swapFree=33010684/33010684
[pid=43552] ppid=43549 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43552/stat : 43552 (run-opt-log.sh) S 43549 43552 41409 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49013254 4292608 736 18446744073709551615 94783044546560 94783045441093 140724841454960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94783045680144 94783045727888 94783072546816 140724841457953 140724841458148 140724841458148 140724841463750 0
/proc/43552/statm: 1048 736 672 219 0 110 0
[pid=43554] ppid=43552 vsize=65908 memory=16916 CPUtime=0.15 cores=4,6
/proc/43554/stat : 43554 (roundingsat) R 43552 43552 41409 0 -1 4194304 2693 0 0 0 12 3 0 0 20 0 1 0 49013256 67489792 4229 18446744073709551615 4227072 8923433 140726312310816 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 17850368 140726312319314 140726312319528 140726312319528 140726312325098 0
/proc/43554/statm: 16477 4229 2336 1147 0 3904 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 70100 KiB
Current children cumulated memory: 19860 KiB

[startup+0.31385 s]*
/proc/loadavg: 4.15 4.12 4.09 5/263 43554
/proc/meminfo: memFree=116661252/131382120 swapFree=33010684/33010684
[pid=43552] ppid=43549 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43552/stat : 43552 (run-opt-log.sh) S 43549 43552 41409 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49013254 4292608 736 18446744073709551615 94783044546560 94783045441093 140724841454960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94783045680144 94783045727888 94783072546816 140724841457953 140724841458148 140724841458148 140724841463750 0
/proc/43552/statm: 1048 736 672 219 0 110 0
[pid=43554] ppid=43552 vsize=68024 memory=19604 CPUtime=0.24 cores=4,6
/proc/43554/stat : 43554 (roundingsat) R 43552 43552 41409 0 -1 4194304 3364 0 0 0 20 4 0 0 20 0 1 0 49013256 69656576 4901 18446744073709551615 4227072 8923433 140726312310816 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 17850368 140726312319314 140726312319528 140726312319528 140726312325098 0
/proc/43554/statm: 17006 4901 2336 1147 0 4433 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 72216 KiB
Current children cumulated memory: 22548 KiB

[startup+0.700262 s]
/proc/loadavg: 4.15 4.12 4.09 5/263 43554
/proc/meminfo: memFree=116661252/131382120 swapFree=33010684/33010684
[pid=43552] ppid=43549 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43552/stat : 43552 (run-opt-log.sh) S 43549 43552 41409 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49013254 4292608 736 18446744073709551615 94783044546560 94783045441093 140724841454960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94783045680144 94783045727888 94783072546816 140724841457953 140724841458148 140724841458148 140724841463750 0
/proc/43552/statm: 1048 736 672 219 0 110 0
[pid=43554] ppid=43552 vsize=78232 memory=33012 CPUtime=0.58 cores=4,6
/proc/43554/stat : 43554 (roundingsat) R 43552 43552 41409 0 -1 4194304 6174 0 0 0 52 6 0 0 20 0 1 0 49013256 80109568 8253 18446744073709551615 4227072 8923433 140726312310816 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 17850368 140726312319314 140726312319528 140726312319528 140726312325098 0
/proc/43554/statm: 19558 8253 2368 1147 0 6985 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 82424 KiB
Current children cumulated memory: 35956 KiB

[startup+1.50023 s]
/proc/loadavg: 4.13 4.12 4.09 5/263 43554
/proc/meminfo: memFree=116641280/131382120 swapFree=33010684/33010684
[pid=43552] ppid=43549 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43552/stat : 43552 (run-opt-log.sh) S 43549 43552 41409 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49013254 4292608 736 18446744073709551615 94783044546560 94783045441093 140724841454960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94783045680144 94783045727888 94783072546816 140724841457953 140724841458148 140724841458148 140724841463750 0
/proc/43552/statm: 1048 736 672 219 0 110 0
[pid=43554] ppid=43552 vsize=111580 memory=60788 CPUtime=1.37 cores=4,6
/proc/43554/stat : 43554 (roundingsat) R 43552 43552 41409 0 -1 4194304 11582 0 0 0 128 9 0 0 20 0 1 0 49013256 114257920 15197 18446744073709551615 4227072 8923433 140726312310816 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 17850368 140726312319314 140726312319528 140726312319528 140726312325098 0
/proc/43554/statm: 27895 15197 2368 1147 0 15322 0
Current children cumulated CPU time: 1.37 s
Current children cumulated vsize: 115772 KiB
Current children cumulated memory: 63732 KiB

[startup+3.10569 s]
/proc/loadavg: 4.13 4.12 4.09 5/263 43554
/proc/meminfo: memFree=116533032/131382120 swapFree=33010684/33010684
[pid=43552] ppid=43549 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43552/stat : 43552 (run-opt-log.sh) S 43549 43552 41409 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49013254 4292608 736 18446744073709551615 94783044546560 94783045441093 140724841454960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94783045680144 94783045727888 94783072546816 140724841457953 140724841458148 140724841458148 140724841463750 0
/proc/43552/statm: 1048 736 672 219 0 110 0
[pid=43554] ppid=43552 vsize=186272 memory=126872 CPUtime=2.95 cores=4,6
/proc/43554/stat : 43554 (roundingsat) R 43552 43552 41409 0 -1 4194304 24549 0 0 0 283 12 0 0 20 0 1 0 49013256 190742528 31718 18446744073709551615 4227072 8923433 140726312310816 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 17850368 140726312319314 140726312319528 140726312319528 140726312325098 0
/proc/43554/statm: 46568 31718 2368 1147 0 33995 0
Current children cumulated CPU time: 2.95 s
Current children cumulated vsize: 190464 KiB
Current children cumulated memory: 129816 KiB

[startup+6.30038 s]
/proc/loadavg: 4.12 4.12 4.09 5/263 43554
/proc/meminfo: memFree=116433524/131382120 swapFree=33010684/33010684
[pid=43552] ppid=43549 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43552/stat : 43552 (run-opt-log.sh) S 43549 43552 41409 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49013254 4292608 736 18446744073709551615 94783044546560 94783045441093 140724841454960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94783045680144 94783045727888 94783072546816 140724841457953 140724841458148 140724841458148 140724841463750 0
/proc/43552/statm: 1048 736 672 219 0 110 0
[pid=43554] ppid=43552 vsize=242992 memory=169244 CPUtime=6.13 cores=4,6
/proc/43554/stat : 43554 (roundingsat) R 43552 43552 41409 0 -1 4194304 33121 0 0 0 595 18 0 0 20 0 1 0 49013256 248823808 42311 18446744073709551615 4227072 8923433 140726312310816 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17850368 140726312319314 140726312319528 140726312319528 140726312325098 0
/proc/43554/statm: 60748 42311 2368 1147 0 48175 0
Current children cumulated CPU time: 6.13 s
Current children cumulated vsize: 247184 KiB
Current children cumulated memory: 172188 KiB

[startup+12.7003 s]
/proc/loadavg: 4.19 4.13 4.10 5/263 43554
/proc/meminfo: memFree=116199392/131382120 swapFree=33010684/33010684
[pid=43552] ppid=43549 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43552/stat : 43552 (run-opt-log.sh) S 43549 43552 41409 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49013254 4292608 736 18446744073709551615 94783044546560 94783045441093 140724841454960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94783045680144 94783045727888 94783072546816 140724841457953 140724841458148 140724841458148 140724841463750 0
/proc/43552/statm: 1048 736 672 219 0 110 0
[pid=43554] ppid=43552 vsize=355424 memory=256148 CPUtime=12.52 cores=4,6
/proc/43554/stat : 43554 (roundingsat) R 43552 43552 41409 0 -1 4194304 49761 0 0 0 1222 30 0 0 20 0 1 0 49013256 363954176 64037 18446744073709551615 4227072 8923433 140726312310816 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17850368 140726312319314 140726312319528 140726312319528 140726312325098 0
/proc/43554/statm: 88856 64037 2368 1147 0 76283 0
Current children cumulated CPU time: 12.52 s
Current children cumulated vsize: 359616 KiB
Current children cumulated memory: 259092 KiB

[startup+25.5004 s]
/proc/loadavg: 4.16 4.13 4.09 5/263 43554
/proc/meminfo: memFree=115700696/131382120 swapFree=33010684/33010684
[pid=43552] ppid=43549 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43552/stat : 43552 (run-opt-log.sh) S 43549 43552 41409 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49013254 4292608 736 18446744073709551615 94783044546560 94783045441093 140724841454960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94783045680144 94783045727888 94783072546816 140724841457953 140724841458148 140724841458148 140724841463750 0
/proc/43552/statm: 1048 736 672 219 0 110 0
[pid=43554] ppid=43552 vsize=642880 memory=487436 CPUtime=25.28 cores=4,6
/proc/43554/stat : 43554 (roundingsat) R 43552 43552 41409 0 -1 4194304 105011 0 0 0 2476 52 0 0 20 0 1 0 49013256 658309120 121859 18446744073709551615 4227072 8923433 140726312310816 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17850368 140726312319314 140726312319528 140726312319528 140726312325098 0
/proc/43554/statm: 160720 121859 2368 1147 0 148147 0
Current children cumulated CPU time: 25.28 s
Current children cumulated vsize: 647072 KiB
Current children cumulated memory: 490380 KiB

[startup+51.1136 s]
/proc/loadavg: 4.17 4.13 4.09 5/263 43554
/proc/meminfo: memFree=115190312/131382120 swapFree=33010684/33010684
[pid=43552] ppid=43549 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43552/stat : 43552 (run-opt-log.sh) S 43549 43552 41409 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49013254 4292608 736 18446744073709551615 94783044546560 94783045441093 140724841454960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94783045680144 94783045727888 94783072546816 140724841457953 140724841458148 140724841458148 140724841463750 0
/proc/43552/statm: 1048 736 672 219 0 110 0
[pid=43554] ppid=43552 vsize=654108 memory=508032 CPUtime=50.83 cores=4,6
/proc/43554/stat : 43554 (roundingsat) R 43552 43552 41409 0 -1 4194304 109132 0 0 0 5014 69 0 0 20 0 1 0 49013256 669806592 127008 18446744073709551615 4227072 8923433 140726312310816 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17850368 140726312319314 140726312319528 140726312319528 140726312325098 0
/proc/43554/statm: 163527 127008 2368 1147 0 150954 0
Current children cumulated CPU time: 50.83 s
Current children cumulated vsize: 658300 KiB
Current children cumulated memory: 510976 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/261 43557
/proc/meminfo: memFree=114156756/131382120 swapFree=33010684/33010684
[pid=43552] ppid=43549 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43552/stat : 43552 (run-opt-log.sh) S 43549 43552 41409 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49013254 4292608 736 18446744073709551615 94783044546560 94783045441093 140724841454960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94783045680144 94783045727888 94783072546816 140724841457953 140724841458148 140724841458148 140724841463750 0
/proc/43552/statm: 1048 736 672 219 0 110 0
[pid=43554] ppid=43552 vsize=658408 memory=513920 CPUtime=101.87 cores=4,6
/proc/43554/stat : 43554 (roundingsat) R 43552 43552 41409 0 -1 4194304 110640 0 0 0 10098 89 0 0 20 0 1 0 49013256 674209792 128480 18446744073709551615 4227072 8923433 140726312310816 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17850368 140726312319314 140726312319528 140726312319528 140726312325098 0
/proc/43554/statm: 164602 128480 2368 1147 0 152029 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 662600 KiB
Current children cumulated memory: 516864 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/260 43559
/proc/meminfo: memFree=113220032/131382120 swapFree=33010684/33010684
[pid=43552] ppid=43549 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43552/stat : 43552 (run-opt-log.sh) S 43549 43552 41409 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49013254 4292608 736 18446744073709551615 94783044546560 94783045441093 140724841454960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94783045680144 94783045727888 94783072546816 140724841457953 140724841458148 140724841458148 140724841463750 0
/proc/43552/statm: 1048 736 672 219 0 110 0
[pid=43554] ppid=43552 vsize=745308 memory=561376 CPUtime=161.71 cores=4,6
/proc/43554/stat : 43554 (roundingsat) R 43552 43552 41409 0 -1 4194304 119417 0 0 0 16058 113 0 0 20 0 1 0 49013256 763195392 140344 18446744073709551615 4227072 8923433 140726312310816 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17850368 140726312319314 140726312319528 140726312319528 140726312325098 0
/proc/43554/statm: 186327 140344 2368 1147 0 173754 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 749500 KiB
Current children cumulated memory: 564320 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/266 43567
/proc/meminfo: memFree=112282112/131382120 swapFree=33010684/33010684
[pid=43552] ppid=43549 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43552/stat : 43552 (run-opt-log.sh) S 43549 43552 41409 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49013254 4292608 736 18446744073709551615 94783044546560 94783045441093 140724841454960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94783045680144 94783045727888 94783072546816 140724841457953 140724841458148 140724841458148 140724841463750 0
/proc/43552/statm: 1048 736 672 219 0 110 0
[pid=43554] ppid=43552 vsize=749324 memory=567008 CPUtime=221.54 cores=4,6
/proc/43554/stat : 43554 (roundingsat) R 43552 43552 41409 0 -1 4194304 120850 0 0 0 22016 138 0 0 20 0 1 0 49013256 767307776 141752 18446744073709551615 4227072 8923433 140726312310816 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17850368 140726312319314 140726312319528 140726312319528 140726312325098 0
/proc/43554/statm: 187331 141752 2368 1147 0 174758 0

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

/proc/43554/statm: 311073 253916 2368 1147 0 298500 0
Current children cumulated CPU time: 3093.45 s
Current children cumulated vsize: 1248484 KiB
Current children cumulated memory: 1018608 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.12 4.15 6/260 43871
/proc/meminfo: memFree=124946124/131382120 swapFree=33010684/33010684
[pid=43552] ppid=43549 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43552/stat : 43552 (run-opt-log.sh) S 43549 43552 41409 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49013254 4292608 736 18446744073709551615 94783044546560 94783045441093 140724841454960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94783045680144 94783045727888 94783072546816 140724841457953 140724841458148 140724841458148 140724841463750 0
/proc/43552/statm: 1048 736 672 219 0 110 0
[pid=43554] ppid=43552 vsize=1244292 memory=1015792 CPUtime=3153.29 cores=4,6
/proc/43554/stat : 43554 (roundingsat) R 43552 43552 41409 0 -1 4194304 207204 0 0 0 314336 993 0 0 20 0 1 0 49013256 1274155008 253948 18446744073709551615 4227072 8923433 140726312310816 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17850368 140726312319314 140726312319528 140726312319528 140726312325098 0
/proc/43554/statm: 311073 253948 2368 1147 0 298500 0
Current children cumulated CPU time: 3153.29 s
Current children cumulated vsize: 1248484 KiB
Current children cumulated memory: 1018736 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.14 6/261 43874
/proc/meminfo: memFree=124580700/131382120 swapFree=33010684/33010684
[pid=43552] ppid=43549 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43552/stat : 43552 (run-opt-log.sh) S 43549 43552 41409 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49013254 4292608 736 18446744073709551615 94783044546560 94783045441093 140724841454960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94783045680144 94783045727888 94783072546816 140724841457953 140724841458148 140724841458148 140724841463750 0
/proc/43552/statm: 1048 736 672 219 0 110 0
[pid=43554] ppid=43552 vsize=1257312 memory=1038832 CPUtime=3213.12 cores=4,6
/proc/43554/stat : 43554 (roundingsat) R 43552 43552 41409 0 -1 4194304 209179 0 0 0 320302 1010 0 0 20 0 1 0 49013256 1287487488 259708 18446744073709551615 4227072 8923433 140726312310816 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17850368 140726312319314 140726312319528 140726312319528 140726312325098 0
/proc/43554/statm: 314328 259708 2368 1147 0 301755 0
Current children cumulated CPU time: 3213.12 s
Current children cumulated vsize: 1261504 KiB
Current children cumulated memory: 1041776 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.10 4.14 6/261 43876
/proc/meminfo: memFree=124189444/131382120 swapFree=33010684/33010684
[pid=43552] ppid=43549 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43552/stat : 43552 (run-opt-log.sh) S 43549 43552 41409 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49013254 4292608 736 18446744073709551615 94783044546560 94783045441093 140724841454960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94783045680144 94783045727888 94783072546816 140724841457953 140724841458148 140724841458148 140724841463750 0
/proc/43552/statm: 1048 736 672 219 0 110 0
[pid=43554] ppid=43552 vsize=1257312 memory=1072240 CPUtime=3272.95 cores=4,6
/proc/43554/stat : 43554 (roundingsat) R 43552 43552 41409 0 -1 4194304 209193 0 0 0 326275 1020 0 0 20 0 1 0 49013256 1287487488 268060 18446744073709551615 4227072 8923433 140726312310816 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17850368 140726312319314 140726312319528 140726312319528 140726312325098 0
/proc/43554/statm: 314328 268060 2368 1147 0 301755 0
Current children cumulated CPU time: 3272.95 s
Current children cumulated vsize: 1261504 KiB
Current children cumulated memory: 1075184 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.13 6/258 43880
/proc/meminfo: memFree=123807384/131382120 swapFree=33010684/33010684
[pid=43552] ppid=43549 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43552/stat : 43552 (run-opt-log.sh) S 43549 43552 41409 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49013254 4292608 736 18446744073709551615 94783044546560 94783045441093 140724841454960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94783045680144 94783045727888 94783072546816 140724841457953 140724841458148 140724841458148 140724841463750 0
/proc/43552/statm: 1048 736 672 219 0 110 0
[pid=43554] ppid=43552 vsize=1284536 memory=1092976 CPUtime=3332.78 cores=4,6
/proc/43554/stat : 43554 (roundingsat) R 43552 43552 41409 0 -1 4194304 213667 0 0 0 332241 1037 0 0 20 0 1 0 49013256 1315364864 273244 18446744073709551615 4227072 8923433 140726312310816 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17850368 140726312319314 140726312319528 140726312319528 140726312325098 0
/proc/43554/statm: 321134 273244 2368 1147 0 308561 0
Current children cumulated CPU time: 3332.78 s
Current children cumulated vsize: 1288728 KiB
Current children cumulated memory: 1095920 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.09 4.12 6/257 43887
/proc/meminfo: memFree=123553300/131382120 swapFree=33010684/33010684
[pid=43552] ppid=43549 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43552/stat : 43552 (run-opt-log.sh) S 43549 43552 41409 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49013254 4292608 736 18446744073709551615 94783044546560 94783045441093 140724841454960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94783045680144 94783045727888 94783072546816 140724841457953 140724841458148 140724841458148 140724841463750 0
/proc/43552/statm: 1048 736 672 219 0 110 0
[pid=43554] ppid=43552 vsize=1301636 memory=1117216 CPUtime=3392.61 cores=4,6
/proc/43554/stat : 43554 (roundingsat) R 43552 43552 41409 0 -1 4194304 217607 0 0 0 338206 1055 0 0 20 0 1 0 49013256 1332875264 279304 18446744073709551615 4227072 8923433 140726312310816 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17850368 140726312319314 140726312319528 140726312319528 140726312325098 0
/proc/43554/statm: 325409 279304 2368 1147 0 312836 0
Current children cumulated CPU time: 3392.61 s
Current children cumulated vsize: 1305828 KiB
Current children cumulated memory: 1120160 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.12 6/257 43889
/proc/meminfo: memFree=123263312/131382120 swapFree=33010684/33010684
[pid=43552] ppid=43549 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43552/stat : 43552 (run-opt-log.sh) S 43549 43552 41409 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49013254 4292608 736 18446744073709551615 94783044546560 94783045441093 140724841454960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94783045680144 94783045727888 94783072546816 140724841457953 140724841458148 140724841458148 140724841463750 0
/proc/43552/statm: 1048 736 672 219 0 110 0
[pid=43554] ppid=43552 vsize=1326244 memory=1138836 CPUtime=3452.44 cores=4,6
/proc/43554/stat : 43554 (roundingsat) R 43552 43552 41409 0 -1 4194304 221703 0 0 0 344173 1071 0 0 20 0 1 0 49013256 1358073856 284709 18446744073709551615 4227072 8923433 140726312310816 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17850368 140726312319314 140726312319528 140726312319528 140726312325098 0
/proc/43554/statm: 331561 284709 2368 1147 0 318988 0
Current children cumulated CPU time: 3452.44 s
Current children cumulated vsize: 1330436 KiB
Current children cumulated memory: 1141780 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.12 6/257 43891
/proc/meminfo: memFree=123045980/131382120 swapFree=33010684/33010684
[pid=43552] ppid=43549 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43552/stat : 43552 (run-opt-log.sh) S 43549 43552 41409 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49013254 4292608 736 18446744073709551615 94783044546560 94783045441093 140724841454960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94783045680144 94783045727888 94783072546816 140724841457953 140724841458148 140724841458148 140724841463750 0
/proc/43552/statm: 1048 736 672 219 0 110 0
[pid=43554] ppid=43552 vsize=1328020 memory=1145492 CPUtime=3512.27 cores=4,6
/proc/43554/stat : 43554 (roundingsat) R 43552 43552 41409 0 -1 4194304 221979 0 0 0 350140 1087 0 0 20 0 1 0 49013256 1359892480 286373 18446744073709551615 4227072 8923433 140726312310816 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17850368 140726312319314 140726312319528 140726312319528 140726312325098 0
/proc/43554/statm: 332005 286373 2368 1147 0 319432 0
Current children cumulated CPU time: 3512.27 s
Current children cumulated vsize: 1332212 KiB
Current children cumulated memory: 1148436 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.11 4.12 6/257 43893
/proc/meminfo: memFree=122829496/131382120 swapFree=33010684/33010684
[pid=43552] ppid=43549 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43552/stat : 43552 (run-opt-log.sh) S 43549 43552 41409 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49013254 4292608 736 18446744073709551615 94783044546560 94783045441093 140724841454960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94783045680144 94783045727888 94783072546816 140724841457953 140724841458148 140724841458148 140724841463750 0
/proc/43552/statm: 1048 736 672 219 0 110 0
[pid=43554] ppid=43552 vsize=1485768 memory=1184980 CPUtime=3572.1 cores=4,6
/proc/43554/stat : 43554 (roundingsat) R 43552 43552 41409 0 -1 4194304 227296 0 0 0 356102 1108 0 0 20 0 1 0 49013256 1521426432 296245 18446744073709551615 4227072 8923433 140726312310816 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17850368 140726312319314 140726312319528 140726312319528 140726312325098 0
/proc/43554/statm: 371442 296245 2368 1147 0 358869 0
Current children cumulated CPU time: 3572.1 s
Current children cumulated vsize: 1489960 KiB
Current children cumulated memory: 1187924 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.3 s]
/proc/loadavg: 4.09 4.10 4.11 6/257 43894
/proc/meminfo: memFree=122760224/131382120 swapFree=33010684/33010684
[pid=43552] ppid=43549 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43552/stat : 43552 (run-opt-log.sh) S 43549 43552 41409 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49013254 4292608 736 18446744073709551615 94783044546560 94783045441093 140724841454960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94783045680144 94783045727888 94783072546816 140724841457953 140724841458148 140724841458148 140724841463750 0
/proc/43552/statm: 1048 736 672 219 0 110 0
[pid=43554] ppid=43552 vsize=1485768 memory=1193300 CPUtime=3600.02 cores=4,6
/proc/43554/stat : 43554 (roundingsat) R 43552 43552 41409 0 -1 4194304 227303 0 0 0 358888 1114 0 0 20 0 1 0 49013256 1521426432 298325 18446744073709551615 4227072 8923433 140726312310816 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17850368 140726312319314 140726312319528 140726312319528 140726312325098 0
/proc/43554/statm: 371442 298325 2368 1147 0 358869 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1489960 KiB
Current children cumulated memory: 1196244 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3610.31 s]
# the end of solver process 43552 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.000858 s, system=0.004259 s

[startup+3610.33 s]
# the end of solver process 43554 was just reported to runsolver
# Child status: 2

# cumulated CPU time of all completed processes:  user=3588.89 s, system=11.1636 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3610.3 s]
/proc/loadavg: 4.09 4.10 4.11 6/257 43894
/proc/meminfo: memFree=122760224/131382120 swapFree=33010684/33010684
[pid=43552] ppid=43549 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/43552/stat : 43552 (run-opt-log.sh) S 43549 43552 41409 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 49013254 4292608 736 18446744073709551615 94783044546560 94783045441093 140724841454960 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94783045680144 94783045727888 94783072546816 140724841457953 140724841458148 140724841458148 140724841463750 0
/proc/43552/statm: 1048 736 672 219 0 110 0
[pid=43554] ppid=43552 vsize=1485768 memory=1193300 CPUtime=3600.02 cores=4,6
/proc/43554/stat : 43554 (roundingsat) R 43552 43552 41409 0 -1 4194304 227303 0 0 0 358888 1114 0 0 20 0 1 0 49013256 1521426432 298325 18446744073709551615 4227072 8923433 140726312310816 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 17850368 140726312319314 140726312319528 140726312319528 140726312325098 0
/proc/43554/statm: 371442 298325 2368 1147 0 358869 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1489960 KiB
Current children cumulated memory: 1196244 KiB

Child status: 2

Real time (s): 3610.33
CPU time (s): 3600.05
CPU user time (s): 3588.89
CPU system time (s): 11.1636
CPU usage (%): 99.7153
Max. virtual memory (cumulated for all children) (KiB): 1489960
Max. memory (cumulated for all children) (KiB): 1196244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.89
system time used= 11.1636
maximum resident set size= 1193556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 227530
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4344176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 489
involuntary context switches= 5624


# summary of solver processes directly reported to runsolver:
#   pid: 43552,43554
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3588.89
#   total CPU system time (s): 11.1636

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.6308 second user time and 37.7155 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2025-07-01 03:29:06
IDJOB=4488541
IDBENCH=147521
IDSOLVER=3351
FILE ID=nodeC003/4488541-1751333346
RUNJOBID= nodeC003-1751329194-41420
SLURM_JOB_ID= 9594376
Free space on /tmp= 432732 MiB

SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_21.opb.PB06.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4488541-1751333346/watcher-4488541-1751333346 -o /tmp/evaluation-result-4488541-1751333346/solver-4488541-1751333346 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751329194-41420 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4488541-1751333346.opb PROOFDIR/proof-4488541-1751333346

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 3cf724146d283b6491b934147ab5b23d
RANDOM SEED=1456905359

nodeC003 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3662.347
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3691.341
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.573
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.290
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.390
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.789
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.167
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.943
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        116668792 kB
MemAvailable:   126737848 kB
Buffers:            3280 kB
Cached:         10866360 kB
SwapCached:            0 kB
Active:          3459284 kB
Inactive:       10616856 kB
Active(anon):    3224528 kB
Inactive(anon):        0 kB
Active(file):     234756 kB
Inactive(file): 10616856 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:           2125172 kB
Writeback:           112 kB
AnonPages:       3209640 kB
Mapped:           116644 kB
Shmem:             17960 kB
KReclaimable:     114144 kB
Slab:             265452 kB
SReclaimable:     114144 kB
SUnreclaim:       151308 kB
KernelStack:        4224 kB
PageTables:        10620 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    4327044 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149592 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    483328 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191304 kB
DirectMap2M:    11245568 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432728 MiB
End job on nodeC003 at 2025-07-01 04:29:16