Trace number 4488540

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 63f22ad? (TO) 3600.08 3610.41

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.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
0.00/0.07	c #variables 1959 #constraints 4000
0.00/0.07	c objective is ce32 
0.00/0.09	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.09	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.09	c GLOBAL bounds - >= 0 @ 0.048187
0.00/0.09	c GLOBAL bounds - >= 0 @ 0.05024
0.08/0.11	c GLOBAL bounds - >= 0 @ 0.068107
0.08/0.13	c GLOBAL bounds - >= 0 @ 0.082829
0.08/0.14	c GLOBAL bounds - >= 0 @ 0.0952
0.08/0.15	c GLOBAL bounds - >= 0 @ 0.107565
0.08/0.18	c GLOBAL bounds - >= 0 @ 0.129632
0.08/0.20	c GLOBAL bounds - >= 0 @ 0.153504
0.20/0.23	c GLOBAL bounds - >= 0 @ 0.177528
0.20/0.31	c GLOBAL bounds - >= 0 @ 0.255807
0.30/0.36	c GLOBAL bounds - >= 0 @ 0.299544
0.30/0.41	c GLOBAL bounds - >= 0 @ 0.347598
0.39/0.47	c GLOBAL bounds - >= 0 @ 0.401645
0.49/0.53	c GLOBAL bounds - >= 0 @ 0.459195
0.49/0.60	c GLOBAL bounds - >= 0 @ 0.523108
0.58/0.67	c GLOBAL bounds - >= 0 @ 0.593249
0.66/0.78	c GLOBAL bounds - >= 0 @ 0.698582
0.77/0.86	c GLOBAL bounds - >= 0 @ 0.770316
0.87/0.96	c GLOBAL bounds - >= 0 @ 0.873385
0.97/1.06	c GLOBAL bounds - >= 0 @ 0.962779
1.17/1.22	c GLOBAL bounds - >= 0 @ 1.11993
1.57/1.66	c #Conflicts:       1000 | #Constraints:       5038
1.57/1.66	c GLOBAL bounds - >= 0 @ 1.53733
1.98/2.04	c GLOBAL bounds - >= 0 @ 1.89703
2.26/2.33	c GLOBAL bounds - >= 0 @ 2.18031
2.56/2.61	c GLOBAL bounds - >= 0 @ 2.46111
2.76/2.87	c GLOBAL bounds - >= 0 @ 2.71565
3.16/3.23	c #Conflicts:       2000 | #Constraints:       6048
3.16/3.23	c INPROCESSING
3.16/3.23	c GARBAGE COLLECT
3.16/3.23	c GLOBAL bounds - >= 0 @ 3.06163
3.36/3.40	c GLOBAL bounds - >= 0 @ 3.23498
3.46/3.51	c GLOBAL bounds - >= 0 @ 3.33686
3.56/3.64	c GLOBAL bounds - >= 0 @ 3.46456
3.76/3.86	c GLOBAL bounds - >= 0 @ 3.68609
3.86/4.00	c GLOBAL bounds - >= 0 @ 3.82403
4.07/4.15	c GLOBAL bounds - >= 0 @ 3.96869
4.26/4.31	c #Conflicts:       3000 | #Constraints:       6084
4.26/4.31	c GLOBAL bounds - >= 0 @ 4.12731
4.35/4.48	c GLOBAL bounds - >= 0 @ 4.28738
4.55/4.64	c GLOBAL bounds - >= 0 @ 4.44027
4.76/4.81	c GLOBAL bounds - >= 0 @ 4.60242
4.97/5.11	c GLOBAL bounds - >= 0 @ 4.88844
5.25/5.37	c GLOBAL bounds - >= 0 @ 5.1443
5.56/5.62	c GLOBAL bounds - >= 0 @ 5.38711
5.66/5.77	c GLOBAL bounds - >= 0 @ 5.5405
5.97/6.08	c #Conflicts:       4000 | #Constraints:       7100
5.97/6.08	c GLOBAL bounds - >= 0 @ 5.84166
6.35/6.41	c INPROCESSING
6.35/6.41	c GARBAGE COLLECT
6.35/6.41	c GLOBAL bounds - >= 0 @ 6.16756
6.45/6.59	c GLOBAL bounds - >= 0 @ 6.34266
6.56/6.69	c GLOBAL bounds - >= 0 @ 6.44121
6.65/6.79	c GLOBAL bounds - >= 0 @ 6.54276
6.85/7.00	c GLOBAL bounds - >= 0 @ 6.74322
6.96/7.10	c GLOBAL bounds - >= 0 @ 6.84392
7.15/7.23	c GLOBAL bounds - >= 0 @ 6.97087
7.25/7.36	c GLOBAL bounds - >= 0 @ 7.09593
7.35/7.49	c GLOBAL bounds - >= 0 @ 7.22765
7.65/7.71	c #Conflicts:       5000 | #Constraints:       6563
7.65/7.71	c GLOBAL bounds - >= 0 @ 7.43914
7.74/7.82	c GLOBAL bounds - >= 0 @ 7.54531
7.96/8.02	c GLOBAL bounds - >= 0 @ 7.74005
8.15/8.21	c GLOBAL bounds - >= 0 @ 7.93455
8.24/8.33	c GLOBAL bounds - >= 0 @ 8.05199
8.34/8.48	c GLOBAL bounds - >= 0 @ 8.19776
8.65/8.70	c GLOBAL bounds - >= 0 @ 8.41495
8.74/8.83	c GLOBAL bounds - >= 0 @ 8.5379
8.96/9.05	c GLOBAL bounds - >= 0 @ 8.76283
9.15/9.20	c GLOBAL bounds - >= 0 @ 8.90044
9.34/9.48	c GLOBAL bounds - >= 0 @ 9.17835
9.55/9.62	c #Conflicts:       6000 | #Constraints:       7585
9.55/9.62	c GLOBAL bounds - >= 0 @ 9.31619
9.65/9.79	c GLOBAL bounds - >= 0 @ 9.48319
9.95/10.06	c GLOBAL bounds - >= 0 @ 9.74621
10.14/10.22	c GLOBAL bounds - >= 0 @ 9.90895
10.35/10.42	c GLOBAL bounds - >= 0 @ 10.1016
10.54/10.61	c GLOBAL bounds - >= 0 @ 10.2844
10.96/11.05	c INPROCESSING
10.96/11.05	c GARBAGE COLLECT
10.96/11.05	c GLOBAL bounds - >= 0 @ 10.7072
11.06/11.16	c GLOBAL bounds - >= 0 @ 10.8179
11.14/11.29	c GLOBAL bounds - >= 0 @ 10.9467
11.34/11.43	c GLOBAL bounds - >= 0 @ 11.0814
11.44/11.56	c #Conflicts:       7000 | #Constraints:       6584
11.44/11.56	c GLOBAL bounds - >= 0 @ 11.2161
11.63/11.71	c GLOBAL bounds - >= 0 @ 11.3562
11.73/11.83	c GLOBAL bounds - >= 0 @ 11.4787
11.83/11.99	c GLOBAL bounds - >= 0 @ 11.6371
12.05/12.13	c GLOBAL bounds - >= 0 @ 11.7719
12.24/12.38	c GLOBAL bounds - >= 0 @ 12.0291
12.44/12.54	c GLOBAL bounds - >= 0 @ 12.1839
12.74/12.85	c GLOBAL bounds - >= 0 @ 12.4855
12.95/13.04	c #Conflicts:       8000 | #Constraints:       7600
12.95/13.04	c GLOBAL bounds - >= 0 @ 12.6791
13.13/13.26	c GLOBAL bounds - >= 0 @ 12.8947
13.33/13.45	c GLOBAL bounds - >= 0 @ 13.0842
13.53/13.62	c GLOBAL bounds - >= 0 @ 13.2608
13.73/13.80	c GLOBAL bounds - >= 0 @ 13.439
13.83/13.99	c GLOBAL bounds - >= 0 @ 13.6174
14.13/14.20	c GLOBAL bounds - >= 0 @ 13.8185
14.33/14.41	c #Conflicts:       9000 | #Constraints:       8614
14.33/14.41	c GLOBAL bounds - >= 0 @ 14.0202
14.53/14.62	c GLOBAL bounds - >= 0 @ 14.2219
14.95/15.10	c INPROCESSING
14.95/15.10	c GARBAGE COLLECT
14.95/15.10	c GLOBAL bounds - >= 0 @ 14.6752
15.23/15.32	c GLOBAL bounds - >= 0 @ 14.8843
15.43/15.53	c GLOBAL bounds - >= 0 @ 15.0929
15.73/15.84	c GLOBAL bounds - >= 0 @ 15.3916
16.23/16.37	c #Conflicts:      10000 | #Constraints:       7332
16.23/16.37	c GLOBAL bounds - >= 0 @ 15.9116
16.52/16.65	c GLOBAL bounds - >= 0 @ 16.185
16.94/17.06	c GLOBAL bounds - >= 0 @ 16.5853
17.22/17.36	c GLOBAL bounds - >= 0 @ 16.8817
17.52/17.64	c GLOBAL bounds - >= 0 @ 17.1487
17.82/17.94	c #Conflicts:      11000 | #Constraints:       8342
17.82/17.94	c GLOBAL bounds - >= 0 @ 17.4443
18.04/18.12	c GLOBAL bounds - >= 0 @ 17.6226
18.32/18.41	c GLOBAL bounds - >= 0 @ 17.9079
18.62/18.70	c GLOBAL bounds - >= 0 @ 18.1906
18.82/19.01	c GLOBAL bounds - >= 0 @ 18.4836
19.04/19.18	c GLOBAL bounds - >= 0 @ 18.6578
19.51/19.64	c GLOBAL bounds - >= 0 @ 19.0867
20.03/20.11	c #Conflicts:      12000 | #Constraints:       9356
20.03/20.11	c INPROCESSING
20.03/20.11	c GARBAGE COLLECT
20.03/20.11	c GLOBAL bounds - >= 0 @ 19.557
20.21/20.35	c GLOBAL bounds - >= 0 @ 19.7868
20.41/20.50	c GLOBAL bounds - >= 0 @ 19.9347
20.51/20.66	c GLOBAL bounds - >= 0 @ 20.0939
24.11/24.29	c #Conflicts:      13000 | #Constraints:       7839
24.11/24.29	c #Conflicts:      14000 | #Constraints:       8839
24.11/24.29	c GLOBAL bounds - >= 0 @ 23.6892
24.70/24.86	c #Conflicts:      15000 | #Constraints:       9841
24.70/24.86	c INPROCESSING
24.70/24.86	c GARBAGE COLLECT
24.70/24.86	c GLOBAL bounds - >= 0 @ 24.243
24.92/25.02	c GLOBAL bounds - >= 0 @ 24.4031
25.20/25.31	c GLOBAL bounds - >= 0 @ 24.6936
27.01/27.13	c #Conflicts:      16000 | #Constraints:       8103
27.01/27.13	c #Conflicts:      17000 | #Constraints:       9103
27.01/27.13	c GLOBAL bounds - >= 0 @ 26.4949
28.29/28.49	c GLOBAL bounds - >= 0 @ 27.8483
37.47/37.63	c #Conflicts:      18000 | #Constraints:      10107
37.47/37.63	c INPROCESSING
37.47/37.63	c GARBAGE COLLECT
37.47/37.63	c #Conflicts:      19000 | #Constraints:       8153
37.47/37.63	c #Conflicts:      20000 | #Constraints:       9153
37.47/37.63	c #Conflicts:      21000 | #Constraints:      10153
37.47/37.63	c GLOBAL bounds - >= 0 @ 36.9211
38.17/38.35	c INPROCESSING
38.17/38.35	c GARBAGE COLLECT
38.17/38.35	c GLOBAL bounds - >= 0 @ 37.6317
39.76/39.96	c #Conflicts:      22000 | #Constraints:       7969
39.76/39.96	c GLOBAL bounds - >= 0 @ 39.2247
44.96/45.17	c #Conflicts:      23000 | #Constraints:       8971
44.96/45.17	c #Conflicts:      24000 | #Constraints:       9971
44.96/45.17	c #Conflicts:      25000 | #Constraints:      10971
44.96/45.17	c INPROCESSING
44.96/45.17	c GARBAGE COLLECT
44.96/45.17	c GLOBAL bounds - >= 0 @ 44.3818
123.24/123.61	c #Conflicts:      26000 | #Constraints:       8615
123.24/123.61	c #Conflicts:      27000 | #Constraints:       9615
123.24/123.61	c #Conflicts:      28000 | #Constraints:      10615
123.24/123.61	c #Conflicts:      29000 | #Constraints:      11615
123.24/123.61	c INPROCESSING
123.24/123.61	c GARBAGE COLLECT
123.24/123.61	c #Conflicts:      30000 | #Constraints:       9022
123.24/123.61	c #Conflicts:      31000 | #Constraints:      10022
123.24/123.61	c #Conflicts:      32000 | #Constraints:      11022
123.24/123.61	c #Conflicts:      33000 | #Constraints:      12022
123.24/123.61	c INPROCESSING
123.24/123.61	c GARBAGE COLLECT
123.24/123.61	c #Conflicts:      34000 | #Constraints:       9217
123.24/123.61	c #Conflicts:      35000 | #Constraints:      10217
123.24/123.61	c #Conflicts:      36000 | #Constraints:      11217
123.24/123.61	c #Conflicts:      37000 | #Constraints:      12217
123.24/123.61	c INPROCESSING
123.24/123.61	c GARBAGE COLLECT
123.24/123.61	c #Conflicts:      38000 | #Constraints:       9218
123.24/123.61	c #Conflicts:      39000 | #Constraints:      10218
123.24/123.61	c #Conflicts:      40000 | #Constraints:      11218
123.24/123.61	c #Conflicts:      41000 | #Constraints:      12218
123.24/123.61	c INPROCESSING
123.24/123.61	c GARBAGE COLLECT
123.24/123.61	c #Conflicts:      42000 | #Constraints:       9007
123.24/123.61	c #Conflicts:      43000 | #Constraints:      10007
123.24/123.61	c #Conflicts:      44000 | #Constraints:      11007
123.24/123.61	c #Conflicts:      45000 | #Constraints:      12007
123.24/123.61	c #Conflicts:      46000 | #Constraints:      13007
123.24/123.61	c INPROCESSING
123.24/123.61	c GARBAGE COLLECT
123.24/123.61	c #Conflicts:      47000 | #Constraints:       9605
123.24/123.61	c #Conflicts:      48000 | #Constraints:      10605
123.24/123.61	c #Conflicts:      49000 | #Constraints:      11605
123.24/123.61	c #Conflicts:      50000 | #Constraints:      12605
123.24/123.61	c #Conflicts:      51000 | #Constraints:      13605
123.24/123.61	c INPROCESSING
123.24/123.61	c GARBAGE COLLECT
123.24/123.61	c GLOBAL bounds - >= 0 @ 122.339
141.29/141.76	c #Conflicts:      52000 | #Constraints:      10004
141.29/141.76	c #Conflicts:      53000 | #Constraints:      11004
141.29/141.76	c #Conflicts:      54000 | #Constraints:      12004
141.29/141.76	c #Conflicts:      55000 | #Constraints:      13004
141.29/141.76	c #Conflicts:      56000 | #Constraints:      14004
141.29/141.76	c INPROCESSING
141.29/141.76	c GARBAGE COLLECT
141.29/141.76	c #Conflicts:      57000 | #Constraints:      10223
141.29/141.76	c #Conflicts:      58000 | #Constraints:      11223
141.29/141.76	c GLOBAL bounds - >= 0 @ 140.356
154.56/155.09	c #Conflicts:      59000 | #Constraints:      12225
154.56/155.09	c #Conflicts:      60000 | #Constraints:      13225
154.56/155.09	c #Conflicts:      61000 | #Constraints:      14225
154.56/155.09	c INPROCESSING
154.56/155.09	c GARBAGE COLLECT
154.56/155.09	c #Conflicts:      62000 | #Constraints:      10225
154.56/155.09	c #Conflicts:      63000 | #Constraints:      11225
154.56/155.09	c GLOBAL bounds - >= 0 @ 153.572
289.77/290.63	c #Conflicts:      64000 | #Constraints:      12227
289.77/290.63	c #Conflicts:      65000 | #Constraints:      13227
289.77/290.63	c #Conflicts:      66000 | #Constraints:      14227
289.77/290.63	c INPROCESSING
289.77/290.63	c GARBAGE COLLECT
289.77/290.63	c #Conflicts:      67000 | #Constraints:      10038
289.77/290.63	c #Conflicts:      68000 | #Constraints:      11038
289.77/290.63	c #Conflicts:      69000 | #Constraints:      12038
289.77/290.63	c #Conflicts:      70000 | #Constraints:      13038
289.77/290.63	c #Conflicts:      71000 | #Constraints:      14038
289.77/290.63	c #Conflicts:      72000 | #Constraints:      15038
289.77/290.63	c INPROCESSING
289.77/290.63	c GARBAGE COLLECT
289.77/290.63	c #Conflicts:      73000 | #Constraints:      10635
289.77/290.63	c #Conflicts:      74000 | #Constraints:      11635
289.77/290.63	c #Conflicts:      75000 | #Constraints:      12635
289.77/290.63	c #Conflicts:      76000 | #Constraints:      13635
289.77/290.63	c #Conflicts:      77000 | #Constraints:      14635
289.77/290.63	c #Conflicts:      78000 | #Constraints:      15635
289.77/290.63	c INPROCESSING
289.77/290.63	c GARBAGE COLLECT
289.77/290.63	c #Conflicts:      79000 | #Constraints:      11021
289.77/290.63	c #Conflicts:      80000 | #Constraints:      12021
289.77/290.63	c #Conflicts:      81000 | #Constraints:      13021
289.77/290.63	c #Conflicts:      82000 | #Constraints:      14021
289.77/290.63	c #Conflicts:      83000 | #Constraints:      15021
289.77/290.63	c #Conflicts:      84000 | #Constraints:      16021
289.77/290.63	c INPROCESSING
289.77/290.63	c GARBAGE COLLECT
289.77/290.63	c #Conflicts:      85000 | #Constraints:      11222
289.77/290.63	c #Conflicts:      86000 | #Constraints:      12222
289.77/290.63	c #Conflicts:      87000 | #Constraints:      13222
289.77/290.63	c #Conflicts:      88000 | #Constraints:      14222
289.77/290.63	c #Conflicts:      89000 | #Constraints:      15222
289.77/290.63	c #Conflicts:      90000 | #Constraints:      16222
289.77/290.63	c INPROCESSING
289.77/290.63	c GARBAGE COLLECT
289.77/290.63	c #Conflicts:      91000 | #Constraints:      11230
289.77/290.63	c #Conflicts:      92000 | #Constraints:      12230
289.77/290.63	c #Conflicts:      93000 | #Constraints:      13230
289.77/290.63	c #Conflicts:      94000 | #Constraints:      14230
289.77/290.63	c #Conflicts:      95000 | #Constraints:      15230
289.77/290.63	c #Conflicts:      96000 | #Constraints:      16230
289.77/290.63	c INPROCESSING
289.77/290.63	c GARBAGE COLLECT
289.77/290.63	c #Conflicts:      97000 | #Constraints:      11030
289.77/290.63	c #Conflicts:      98000 | #Constraints:      12030
289.77/290.63	c #Conflicts:      99000 | #Constraints:      13030
289.77/290.63	c #Conflicts:     100000 | #Constraints:      14030
289.77/290.63	c #Conflicts:     101000 | #Constraints:      15030
289.77/290.63	c #Conflicts:     102000 | #Constraints:      16030
289.77/290.63	c #Conflicts:     103000 | #Constraints:      17030
289.77/290.63	c INPROCESSING
289.77/290.63	c GARBAGE COLLECT
289.77/290.63	c #Conflicts:     104000 | #Constraints:      11636
289.77/290.63	c #Conflicts:     105000 | #Constraints:      12636
289.77/290.63	c #Conflicts:     106000 | #Constraints:      13636
289.77/290.63	c #Conflicts:     107000 | #Constraints:      14636
289.77/290.63	c #Conflicts:     108000 | #Constraints:      15636
289.77/290.63	c #Conflicts:     109000 | #Constraints:      16636
289.77/290.63	c #Conflicts:     110000 | #Constraints:      17636
289.77/290.63	c INPROCESSING
289.77/290.63	c GARBAGE COLLECT
289.77/290.63	c #Conflicts:     111000 | #Constraints:      12034
289.77/290.63	c #Conflicts:     112000 | #Constraints:      13034
289.77/290.63	c #Conflicts:     113000 | #Constraints:      14034
289.77/290.63	c GLOBAL bounds - >= 0 @ 288.267
304.43/305.40	c #Conflicts:     114000 | #Constraints:      15036
304.43/305.40	c #Conflicts:     115000 | #Constraints:      16036
304.43/305.40	c #Conflicts:     116000 | #Constraints:      17036
304.43/305.40	c #Conflicts:     117000 | #Constraints:      18036
304.43/305.40	c INPROCESSING
304.43/305.40	c GARBAGE COLLECT
304.43/305.40	c #Conflicts:     118000 | #Constraints:      12242
304.43/305.40	c GLOBAL bounds - >= 0 @ 302.917
373.25/374.30	c #Conflicts:     119000 | #Constraints:      13244
373.25/374.30	c #Conflicts:     120000 | #Constraints:      14244
373.25/374.30	c #Conflicts:     121000 | #Constraints:      15244
373.25/374.30	c #Conflicts:     122000 | #Constraints:      16244
373.25/374.30	c #Conflicts:     123000 | #Constraints:      17244
373.25/374.30	c #Conflicts:     124000 | #Constraints:      18244
373.25/374.30	c INPROCESSING
373.25/374.30	c GARBAGE COLLECT
373.25/374.30	c #Conflicts:     125000 | #Constraints:      12253
373.25/374.30	c #Conflicts:     126000 | #Constraints:      13253
373.25/374.30	c #Conflicts:     127000 | #Constraints:      14253
373.25/374.30	c #Conflicts:     128000 | #Constraints:      15253
373.25/374.30	c #Conflicts:     129000 | #Constraints:      16253
373.25/374.30	c #Conflicts:     130000 | #Constraints:      17253
373.25/374.30	c #Conflicts:     131000 | #Constraints:      18253
373.25/374.30	c INPROCESSING
373.25/374.30	c GARBAGE COLLECT
373.25/374.30	c #Conflicts:     132000 | #Constraints:      12043
373.25/374.30	c #Conflicts:     133000 | #Constraints:      13043
373.25/374.30	c #Conflicts:     134000 | #Constraints:      14043
373.25/374.30	c #Conflicts:     135000 | #Constraints:      15043
373.25/374.30	c #Conflicts:     136000 | #Constraints:      16043
373.25/374.30	c #Conflicts:     137000 | #Constraints:      17043
373.25/374.30	c #Conflicts:     138000 | #Constraints:      18043
373.25/374.30	c #Conflicts:     139000 | #Constraints:      19043
373.25/374.30	c INPROCESSING
373.25/374.30	c GARBAGE COLLECT
373.25/374.30	c #Conflicts:     140000 | #Constraints:      12636
373.25/374.30	c #Conflicts:     141000 | #Constraints:      13636
373.25/374.30	c #Conflicts:     142000 | #Constraints:      14636
373.25/374.30	c #Conflicts:     143000 | #Constraints:      15636
373.25/374.30	c #Conflicts:     144000 | #Constraints:      16636
373.25/374.30	c #Conflicts:     145000 | #Constraints:      17636
373.25/374.30	c #Conflicts:     146000 | #Constraints:      18636
373.25/374.30	c #Conflicts:     147000 | #Constraints:      19636
373.25/374.30	c INPROCESSING
373.25/374.30	c GARBAGE COLLECT
373.25/374.30	c #Conflicts:     148000 | #Constraints:      13041
373.25/374.30	c #Conflicts:     149000 | #Constraints:      14041
373.25/374.30	c #Conflicts:     150000 | #Constraints:      15041
373.25/374.30	c #Conflicts:     151000 | #Constraints:      16041
373.25/374.30	c GLOBAL bounds - >= 0 @ 371.324
615.77/617.52	c #Conflicts:     152000 | #Constraints:      17043
615.77/617.52	c #Conflicts:     153000 | #Constraints:      18043
615.77/617.52	c #Conflicts:     154000 | #Constraints:      19043
615.77/617.52	c #Conflicts:     155000 | #Constraints:      20043
615.77/617.52	c INPROCESSING
615.77/617.52	c GARBAGE COLLECT
615.77/617.52	c #Conflicts:     156000 | #Constraints:      13250
615.77/617.52	c #Conflicts:     157000 | #Constraints:      14250
615.77/617.52	c #Conflicts:     158000 | #Constraints:      15250
615.77/617.52	c #Conflicts:     159000 | #Constraints:      16250
615.77/617.52	c #Conflicts:     160000 | #Constraints:      17250
615.77/617.52	c #Conflicts:     161000 | #Constraints:      18250
615.77/617.52	c #Conflicts:     162000 | #Constraints:      19250
615.77/617.52	c #Conflicts:     163000 | #Constraints:      20250
615.77/617.52	c INPROCESSING
615.77/617.52	c GARBAGE COLLECT
615.77/617.52	c #Conflicts:     164000 | #Constraints:      13244
615.77/617.52	c #Conflicts:     165000 | #Constraints:      14244
615.77/617.52	c #Conflicts:     166000 | #Constraints:      15244
615.77/617.52	c #Conflicts:     167000 | #Constraints:      16244
615.77/617.52	c #Conflicts:     168000 | #Constraints:      17244
615.77/617.52	c #Conflicts:     169000 | #Constraints:      18244
615.77/617.52	c #Conflicts:     170000 | #Constraints:      19244
615.77/617.52	c #Conflicts:     171000 | #Constraints:      20244
615.77/617.52	c INPROCESSING
615.77/617.52	c GARBAGE COLLECT
615.77/617.52	c #Conflicts:     172000 | #Constraints:      13046
615.77/617.52	c #Conflicts:     173000 | #Constraints:      14046
615.77/617.52	c #Conflicts:     174000 | #Constraints:      15046
615.77/617.52	c #Conflicts:     175000 | #Constraints:      16046
615.77/617.52	c #Conflicts:     176000 | #Constraints:      17046
615.77/617.52	c #Conflicts:     177000 | #Constraints:      18046
615.77/617.52	c #Conflicts:     178000 | #Constraints:      19046
615.77/617.52	c #Conflicts:     179000 | #Constraints:      20046
615.77/617.52	c #Conflicts:     180000 | #Constraints:      21046
615.77/617.52	c INPROCESSING
615.77/617.52	c GARBAGE COLLECT
615.77/617.52	c #Conflicts:     181000 | #Constraints:      13640
615.77/617.52	c #Conflicts:     182000 | #Constraints:      14640
615.77/617.52	c #Conflicts:     183000 | #Constraints:      15640
615.77/617.52	c #Conflicts:     184000 | #Constraints:      16640
615.77/617.52	c #Conflicts:     185000 | #Constraints:      17640
615.77/617.52	c #Conflicts:     186000 | #Constraints:      18640
615.77/617.52	c #Conflicts:     187000 | #Constraints:      19640
615.77/617.52	c #Conflicts:     188000 | #Constraints:      20640
615.77/617.52	c #Conflicts:     189000 | #Constraints:      21640
615.77/617.52	c INPROCESSING
615.77/617.52	c GARBAGE COLLECT
615.77/617.52	c #Conflicts:     190000 | #Constraints:      14041
615.77/617.52	c #Conflicts:     191000 | #Constraints:      15041
615.77/617.52	c #Conflicts:     192000 | #Constraints:      16041
615.77/617.52	c #Conflicts:     193000 | #Constraints:      17041
615.77/617.52	c #Conflicts:     194000 | #Constraints:      18041
615.77/617.52	c #Conflicts:     195000 | #Constraints:      19041
615.77/617.52	c #Conflicts:     196000 | #Constraints:      20041
615.77/617.52	c #Conflicts:     197000 | #Constraints:      21041
615.77/617.52	c #Conflicts:     198000 | #Constraints:      22041
615.77/617.52	c INPROCESSING
615.77/617.52	c GARBAGE COLLECT
615.77/617.52	c #Conflicts:     199000 | #Constraints:      14239
615.77/617.52	c #Conflicts:     200000 | #Constraints:      15239
615.77/617.52	c #Conflicts:     201000 | #Constraints:      16239
615.77/617.52	c #Conflicts:     202000 | #Constraints:      17239
615.77/617.52	c #Conflicts:     203000 | #Constraints:      18239
615.77/617.52	c #Conflicts:     204000 | #Constraints:      19239
615.77/617.52	c #Conflicts:     205000 | #Constraints:      20239
615.77/617.52	c #Conflicts:     206000 | #Constraints:      21239
615.77/617.52	c #Conflicts:     207000 | #Constraints:      22239
615.77/617.52	c INPROCESSING
615.77/617.52	c GARBAGE COLLECT
615.77/617.52	c #Conflicts:     208000 | #Constraints:      14234
615.77/617.52	c #Conflicts:     209000 | #Constraints:      15234
615.77/617.52	c #Conflicts:     210000 | #Constraints:      16234
615.77/617.52	c #Conflicts:     211000 | #Constraints:      17234
615.77/617.52	c #Conflicts:     212000 | #Constraints:      18234
615.77/617.52	c #Conflicts:     213000 | #Constraints:      19234
615.77/617.52	c #Conflicts:     214000 | #Constraints:      20234
615.77/617.52	c #Conflicts:     215000 | #Constraints:      21234
615.77/617.52	c #Conflicts:     216000 | #Constraints:      22234
615.77/617.52	c INPROCESSING
615.77/617.52	c GARBAGE COLLECT
615.77/617.52	c #Conflicts:     217000 | #Constraints:      14030
615.77/617.52	c #Conflicts:     218000 | #Constraints:      15030
615.77/617.52	c #Conflicts:     219000 | #Constraints:      16030
615.77/617.52	c #Conflicts:     220000 | #Constraints:      17030
615.77/617.52	c #Conflicts:     221000 | #Constraints:      18030
615.77/617.52	c #Conflicts:     222000 | #Constraints:      19030
615.77/617.52	c #Conflicts:     223000 | #Constraints:      20030
615.77/617.52	c #Conflicts:     224000 | #Constraints:      21030
615.77/617.52	c #Conflicts:     225000 | #Constraints:      22030
677.99/679.93	c #Conflicts:     226000 | #Constraints:      23030
677.99/679.93	c INPROCESSING
677.99/679.93	c GARBAGE COLLECT
677.99/679.93	c #Conflicts:     227000 | #Constraints:      14633
677.99/679.93	c #Conflicts:     228000 | #Constraints:      15633
677.99/679.93	c #Conflicts:     229000 | #Constraints:      16633
677.99/679.93	c #Conflicts:     230000 | #Constraints:      17633
677.99/679.93	c #Conflicts:     231000 | #Constraints:      18633
677.99/679.93	c #Conflicts:     232000 | #Constraints:      19633
677.99/679.93	c #Conflicts:     233000 | #Constraints:      20633
677.99/679.93	c #Conflicts:     234000 | #Constraints:      21633
677.99/679.93	c #Conflicts:     235000 | #Constraints:      22633
677.99/679.93	c #Conflicts:     236000 | #Constraints:      23633
677.99/679.93	c INPROCESSING
677.99/679.93	c GARBAGE COLLECT
677.99/679.93	c #Conflicts:     237000 | #Constraints:      15028
677.99/679.93	c #Conflicts:     238000 | #Constraints:      16028
677.99/679.93	c #Conflicts:     239000 | #Constraints:      17028
677.99/679.93	c #Conflicts:     240000 | #Constraints:      18028
677.99/679.93	c #Conflicts:     241000 | #Constraints:      19028
677.99/679.93	c #Conflicts:     242000 | #Constraints:      20028
677.99/679.93	c GLOBAL bounds - >= 0 @ 675.101
752.58/754.78	c #Conflicts:     243000 | #Constraints:      21030
752.58/754.78	c #Conflicts:     244000 | #Constraints:      22030
752.58/754.78	c #Conflicts:     245000 | #Constraints:      23030
752.58/754.78	c #Conflicts:     246000 | #Constraints:      24030
752.58/754.78	c INPROCESSING
752.58/754.78	c GARBAGE COLLECT
752.58/754.78	c #Conflicts:     247000 | #Constraints:      15246
752.58/754.78	c #Conflicts:     248000 | #Constraints:      16246
752.58/754.78	c #Conflicts:     249000 | #Constraints:      17246
752.58/754.78	c #Conflicts:     250000 | #Constraints:      18246
752.58/754.78	c #Conflicts:     251000 | #Constraints:      19246
752.58/754.78	c #Conflicts:     252000 | #Constraints:      20246
752.58/754.78	c #Conflicts:     253000 | #Constraints:      21246
752.58/754.78	c #Conflicts:     254000 | #Constraints:      22246
752.58/754.78	c #Conflicts:     255000 | #Constraints:      23246
752.58/754.78	c #Conflicts:     256000 | #Constraints:      24246
752.58/754.78	c INPROCESSING
752.58/754.78	c GARBAGE COLLECT
752.58/754.78	c #Conflicts:     257000 | #Constraints:      15242
752.58/754.78	c #Conflicts:     258000 | #Constraints:      16242
752.58/754.78	c #Conflicts:     259000 | #Constraints:      17242
752.58/754.78	c #Conflicts:     260000 | #Constraints:      18242
752.58/754.78	c #Conflicts:     261000 | #Constraints:      19242
752.58/754.78	c #Conflicts:     262000 | #Constraints:      20242
752.58/754.78	c #Conflicts:     263000 | #Constraints:      21242
752.58/754.78	c GLOBAL bounds - >= 0 @ 749.486
786.30/788.53	c #Conflicts:     264000 | #Constraints:      22244
786.30/788.53	c #Conflicts:     265000 | #Constraints:      23244
786.30/788.53	c #Conflicts:     266000 | #Constraints:      24244
786.30/788.53	c INPROCESSING
786.30/788.53	c GARBAGE COLLECT
786.30/788.53	c #Conflicts:     267000 | #Constraints:      15039
786.30/788.53	c #Conflicts:     268000 | #Constraints:      16039
786.30/788.53	c #Conflicts:     269000 | #Constraints:      17039
786.30/788.53	c #Conflicts:     270000 | #Constraints:      18039
786.30/788.53	c #Conflicts:     271000 | #Constraints:      19039
786.30/788.53	c #Conflicts:     272000 | #Constraints:      20039
786.30/788.53	c #Conflicts:     273000 | #Constraints:      21039
786.30/788.53	c #Conflicts:     274000 | #Constraints:      22039
786.30/788.53	c #Conflicts:     275000 | #Constraints:      23039
786.30/788.53	c #Conflicts:     276000 | #Constraints:      24039
786.30/788.53	c #Conflicts:     277000 | #Constraints:      25039
786.30/788.53	c INPROCESSING
786.30/788.53	c GARBAGE COLLECT
786.30/788.53	c #Conflicts:     278000 | #Constraints:      15646
786.30/788.53	c #Conflicts:     279000 | #Constraints:      16646
786.30/788.53	c #Conflicts:     280000 | #Constraints:      17646
786.30/788.53	c GLOBAL bounds - >= 0 @ 782.968
813.73/816.08	c #Conflicts:     281000 | #Constraints:      18648
813.73/816.08	c #Conflicts:     282000 | #Constraints:      19648
813.73/816.08	c #Conflicts:     283000 | #Constraints:      20648
813.73/816.08	c #Conflicts:     284000 | #Constraints:      21648
813.73/816.08	c #Conflicts:     285000 | #Constraints:      22648
813.73/816.08	c #Conflicts:     286000 | #Constraints:      23648
813.73/816.08	c #Conflicts:     287000 | #Constraints:      24648
813.73/816.08	c #Conflicts:     288000 | #Constraints:      25648
813.73/816.08	c INPROCESSING
813.73/816.08	c GARBAGE COLLECT
813.73/816.08	c #Conflicts:     289000 | #Constraints:      16041
813.73/816.08	c GLOBAL bounds - >= 0 @ 810.321
821.71/824.04	c #Conflicts:     290000 | #Constraints:      17043
821.71/824.04	c #Conflicts:     291000 | #Constraints:      18043
821.71/824.04	c #Conflicts:     292000 | #Constraints:      19043
821.71/824.04	c GLOBAL bounds - >= 0 @ 818.222
841.84/844.28	c #Conflicts:     293000 | #Constraints:      20045
841.84/844.28	c #Conflicts:     294000 | #Constraints:      21045
841.84/844.28	c #Conflicts:     295000 | #Constraints:      22045
841.84/844.28	c #Conflicts:     296000 | #Constraints:      23045
841.84/844.28	c #Conflicts:     297000 | #Constraints:      24045
841.84/844.28	c #Conflicts:     298000 | #Constraints:      25045
841.84/844.28	c #Conflicts:     299000 | #Constraints:      26045
841.84/844.28	c INPROCESSING
841.84/844.28	c GARBAGE COLLECT
841.84/844.28	c #Conflicts:     300000 | #Constraints:      16234
841.84/844.28	c GLOBAL bounds - >= 0 @ 838.35
842.33/844.75	c GLOBAL bounds - >= 0 @ 838.81
849.82/852.28	c #Conflicts:     301000 | #Constraints:      17238
849.82/852.28	c #Conflicts:     302000 | #Constraints:      18238
849.82/852.28	c #Conflicts:     303000 | #Constraints:      19238
849.82/852.28	c GLOBAL bounds - >= 0 @ 846.294
853.41/855.86	c #Conflicts:     304000 | #Constraints:      20240
853.41/855.86	c GLOBAL bounds - >= 0 @ 849.847
857.20/859.63	c #Conflicts:     305000 | #Constraints:      21242
857.20/859.63	c #Conflicts:     306000 | #Constraints:      22242
857.20/859.63	c GLOBAL bounds - >= 0 @ 853.586
1056.64/1059.62	c #Conflicts:     307000 | #Constraints:      23244
1056.64/1059.62	c #Conflicts:     308000 | #Constraints:      24244
1056.64/1059.62	c #Conflicts:     309000 | #Constraints:      25244
1056.64/1059.62	c #Conflicts:     310000 | #Constraints:      26244
1056.64/1059.62	c INPROCESSING
1056.64/1059.62	c GARBAGE COLLECT
1056.64/1059.62	c #Conflicts:     311000 | #Constraints:      16265
1056.64/1059.62	c #Conflicts:     312000 | #Constraints:      17265
1056.64/1059.62	c #Conflicts:     313000 | #Constraints:      18265
1056.64/1059.62	c #Conflicts:     314000 | #Constraints:      19265
1056.64/1059.62	c #Conflicts:     315000 | #Constraints:      20265
1056.64/1059.62	c #Conflicts:     316000 | #Constraints:      21265
1056.64/1059.62	c #Conflicts:     317000 | #Constraints:      22265
1056.64/1059.62	c #Conflicts:     318000 | #Constraints:      23265
1056.64/1059.62	c #Conflicts:     319000 | #Constraints:      24265
1056.64/1059.62	c #Conflicts:     320000 | #Constraints:      25265
1056.64/1059.62	c #Conflicts:     321000 | #Constraints:      26265
1056.64/1059.62	c INPROCESSING
1056.64/1059.62	c GARBAGE COLLECT
1056.64/1059.62	c #Conflicts:     322000 | #Constraints:      16088
1056.64/1059.62	c #Conflicts:     323000 | #Constraints:      17088
1056.64/1059.62	c #Conflicts:     324000 | #Constraints:      18088
1056.64/1059.62	c #Conflicts:     325000 | #Constraints:      19088
1056.64/1059.62	c #Conflicts:     326000 | #Constraints:      20088
1056.64/1059.62	c #Conflicts:     327000 | #Constraints:      21088
1056.64/1059.62	c #Conflicts:     328000 | #Constraints:      22088
1056.64/1059.62	c #Conflicts:     329000 | #Constraints:      23088
1056.64/1059.62	c #Conflicts:     330000 | #Constraints:      24088
1056.64/1059.62	c #Conflicts:     331000 | #Constraints:      25088
1056.64/1059.62	c #Conflicts:     332000 | #Constraints:      26088
1056.64/1059.62	c #Conflicts:     333000 | #Constraints:      27088
1056.64/1059.62	c INPROCESSING
1056.64/1059.62	c GARBAGE COLLECT
1056.64/1059.62	c #Conflicts:     334000 | #Constraints:      16674
1056.64/1059.62	c #Conflicts:     335000 | #Constraints:      17674
1056.64/1059.62	c #Conflicts:     336000 | #Constraints:      18674
1056.64/1059.62	c #Conflicts:     337000 | #Constraints:      19674
1056.64/1059.62	c #Conflicts:     338000 | #Constraints:      20674
1056.64/1059.62	c #Conflicts:     339000 | #Constraints:      21674
1056.64/1059.62	c #Conflicts:     340000 | #Constraints:      22674
1056.64/1059.62	c #Conflicts:     341000 | #Constraints:      23674
1056.64/1059.62	c #Conflicts:     342000 | #Constraints:      24674
1056.64/1059.62	c #Conflicts:     343000 | #Constraints:      25674
1056.64/1059.62	c #Conflicts:     344000 | #Constraints:      26674
1056.64/1059.62	c #Conflicts:     345000 | #Constraints:      27674
1056.64/1059.62	c INPROCESSING
1056.64/1059.62	c GARBAGE COLLECT
1056.64/1059.62	c #Conflicts:     346000 | #Constraints:      17065
1056.64/1059.62	c #Conflicts:     347000 | #Constraints:      18065
1056.64/1059.62	c #Conflicts:     348000 | #Constraints:      19065
1056.64/1059.62	c #Conflicts:     349000 | #Constraints:      20065
1056.64/1059.62	c #Conflicts:     350000 | #Constraints:      21065
1056.64/1059.62	c GLOBAL bounds - >= 0 @ 1052.5
1097.23/1100.38	c #Conflicts:     351000 | #Constraints:      22067
1097.23/1100.38	c #Conflicts:     352000 | #Constraints:      23067
1097.23/1100.38	c #Conflicts:     353000 | #Constraints:      24067
1097.23/1100.38	c #Conflicts:     354000 | #Constraints:      25067
1097.23/1100.38	c #Conflicts:     355000 | #Constraints:      26067
1097.23/1100.38	c #Conflicts:     356000 | #Constraints:      27067
1097.23/1100.38	c #Conflicts:     357000 | #Constraints:      28067
1097.23/1100.38	c INPROCESSING
1097.23/1100.38	c GARBAGE COLLECT
1097.23/1100.38	c #Conflicts:     358000 | #Constraints:      17272
1097.23/1100.38	c GLOBAL bounds - >= 0 @ 1093.05
1497.20/1501.43	c #Conflicts:     359000 | #Constraints:      18274
1497.20/1501.43	c #Conflicts:     360000 | #Constraints:      19274
1497.20/1501.43	c #Conflicts:     361000 | #Constraints:      20274
1497.20/1501.43	c #Conflicts:     362000 | #Constraints:      21274
1497.20/1501.43	c #Conflicts:     363000 | #Constraints:      22274
1497.20/1501.43	c #Conflicts:     364000 | #Constraints:      23274
1497.20/1501.43	c #Conflicts:     365000 | #Constraints:      24274
1497.20/1501.43	c #Conflicts:     366000 | #Constraints:      25274
1497.20/1501.43	c #Conflicts:     367000 | #Constraints:      26274
1497.20/1501.43	c #Conflicts:     368000 | #Constraints:      27274
1497.20/1501.43	c #Conflicts:     369000 | #Constraints:      28274
1497.20/1501.43	c INPROCESSING
1497.20/1501.43	c GARBAGE COLLECT
1497.20/1501.43	c #Conflicts:     370000 | #Constraints:      17257
1497.20/1501.43	c #Conflicts:     371000 | #Constraints:      18257
1497.20/1501.43	c #Conflicts:     372000 | #Constraints:      19257
1497.20/1501.43	c #Conflicts:     373000 | #Constraints:      20257
1497.20/1501.43	c #Conflicts:     374000 | #Constraints:      21257
1497.20/1501.43	c #Conflicts:     375000 | #Constraints:      22257
1497.20/1501.43	c #Conflicts:     376000 | #Constraints:      23257
1497.20/1501.43	c #Conflicts:     377000 | #Constraints:      24257
1497.20/1501.43	c #Conflicts:     378000 | #Constraints:      25257
1497.20/1501.43	c #Conflicts:     379000 | #Constraints:      26257
1497.20/1501.43	c #Conflicts:     380000 | #Constraints:      27257
1497.20/1501.43	c #Conflicts:     381000 | #Constraints:      28257
1497.20/1501.43	c INPROCESSING
1497.20/1501.43	c GARBAGE COLLECT
1497.20/1501.43	c #Conflicts:     382000 | #Constraints:      17047
1497.20/1501.43	c #Conflicts:     383000 | #Constraints:      18047
1497.20/1501.43	c #Conflicts:     384000 | #Constraints:      19047
1497.20/1501.43	c #Conflicts:     385000 | #Constraints:      20047
1497.20/1501.43	c #Conflicts:     386000 | #Constraints:      21047
1497.20/1501.43	c #Conflicts:     387000 | #Constraints:      22047
1497.20/1501.43	c #Conflicts:     388000 | #Constraints:      23047
1497.20/1501.43	c #Conflicts:     389000 | #Constraints:      24047
1497.20/1501.43	c #Conflicts:     390000 | #Constraints:      25047
1497.20/1501.43	c #Conflicts:     391000 | #Constraints:      26047
1497.20/1501.43	c #Conflicts:     392000 | #Constraints:      27047
1497.20/1501.43	c #Conflicts:     393000 | #Constraints:      28047
1497.20/1501.43	c #Conflicts:     394000 | #Constraints:      29047
1497.20/1501.43	c INPROCESSING
1497.20/1501.43	c GARBAGE COLLECT
1497.20/1501.43	c #Conflicts:     395000 | #Constraints:      17633
1497.20/1501.43	c #Conflicts:     396000 | #Constraints:      18633
1497.20/1501.43	c #Conflicts:     397000 | #Constraints:      19633
1497.20/1501.43	c #Conflicts:     398000 | #Constraints:      20633
1497.20/1501.43	c #Conflicts:     399000 | #Constraints:      21633
1497.20/1501.43	c #Conflicts:     400000 | #Constraints:      22633
1497.20/1501.43	c #Conflicts:     401000 | #Constraints:      23633
1497.20/1501.43	c #Conflicts:     402000 | #Constraints:      24633
1497.20/1501.43	c #Conflicts:     403000 | #Constraints:      25633
1497.20/1501.43	c #Conflicts:     404000 | #Constraints:      26633
1497.20/1501.43	c #Conflicts:     405000 | #Constraints:      27633
1497.20/1501.43	c #Conflicts:     406000 | #Constraints:      28633
1497.20/1501.43	c #Conflicts:     407000 | #Constraints:      29633
1497.20/1501.43	c INPROCESSING
1497.20/1501.43	c GARBAGE COLLECT
1497.20/1501.43	c #Conflicts:     408000 | #Constraints:      18034
1497.20/1501.43	c #Conflicts:     409000 | #Constraints:      19034
1497.20/1501.43	c #Conflicts:     410000 | #Constraints:      20034
1497.20/1501.43	c #Conflicts:     411000 | #Constraints:      21034
1497.20/1501.43	c #Conflicts:     412000 | #Constraints:      22034
1497.20/1501.43	c #Conflicts:     413000 | #Constraints:      23034
1497.20/1501.43	c #Conflicts:     414000 | #Constraints:      24034
1497.20/1501.43	c #Conflicts:     415000 | #Constraints:      25034
1497.20/1501.43	c #Conflicts:     416000 | #Constraints:      26034
1497.20/1501.43	c #Conflicts:     417000 | #Constraints:      27034
1497.20/1501.43	c #Conflicts:     418000 | #Constraints:      28034
1497.20/1501.43	c #Conflicts:     419000 | #Constraints:      29034
1497.20/1501.43	c #Conflicts:     420000 | #Constraints:      30034
1497.20/1501.43	c INPROCESSING
1497.20/1501.43	c GARBAGE COLLECT
1497.20/1501.43	c #Conflicts:     421000 | #Constraints:      18233
1497.20/1501.43	c #Conflicts:     422000 | #Constraints:      19233
1497.20/1501.43	c #Conflicts:     423000 | #Constraints:      20233
1497.20/1501.43	c #Conflicts:     424000 | #Constraints:      21233
1497.20/1501.43	c #Conflicts:     425000 | #Constraints:      22233
1497.20/1501.43	c #Conflicts:     426000 | #Constraints:      23233
1497.20/1501.43	c #Conflicts:     427000 | #Constraints:      24233
1497.20/1501.43	c #Conflicts:     428000 | #Constraints:      25233
1497.20/1501.43	c #Conflicts:     429000 | #Constraints:      26233
1497.20/1501.43	c GLOBAL bounds - >= 0 @ 1492.13
1503.18/1507.46	c #Conflicts:     430000 | #Constraints:      27235
1503.18/1507.46	c #Conflicts:     431000 | #Constraints:      28235
1503.18/1507.46	c #Conflicts:     432000 | #Constraints:      29235
1503.18/1507.46	c #Conflicts:     433000 | #Constraints:      30235
1503.18/1507.46	c INPROCESSING
1503.18/1507.46	c GARBAGE COLLECT
1503.18/1507.46	c GLOBAL bounds - >= 0 @ 1498.12
1576.38/1580.85	c #Conflicts:     434000 | #Constraints:      18276
1576.38/1580.85	c #Conflicts:     435000 | #Constraints:      19276
1576.38/1580.85	c #Conflicts:     436000 | #Constraints:      20276
1576.38/1580.85	c #Conflicts:     437000 | #Constraints:      21276
1576.38/1580.85	c #Conflicts:     438000 | #Constraints:      22276
1576.38/1580.85	c #Conflicts:     439000 | #Constraints:      23276
1576.38/1580.85	c #Conflicts:     440000 | #Constraints:      24276
1576.38/1580.85	c #Conflicts:     441000 | #Constraints:      25276
1576.38/1580.85	c #Conflicts:     442000 | #Constraints:      26276
1576.38/1580.85	c #Conflicts:     443000 | #Constraints:      27276
1576.38/1580.85	c #Conflicts:     444000 | #Constraints:      28276
1576.38/1580.85	c #Conflicts:     445000 | #Constraints:      29276
1576.38/1580.85	c #Conflicts:     446000 | #Constraints:      30276
1576.38/1580.85	c INPROCESSING
1576.38/1580.85	c GARBAGE COLLECT
1576.38/1580.85	c #Conflicts:     447000 | #Constraints:      18066
1576.38/1580.85	c #Conflicts:     448000 | #Constraints:      19066
1576.38/1580.85	c #Conflicts:     449000 | #Constraints:      20066
1576.38/1580.85	c #Conflicts:     450000 | #Constraints:      21066
1576.38/1580.85	c #Conflicts:     451000 | #Constraints:      22066
1576.38/1580.85	c #Conflicts:     452000 | #Constraints:      23066
1576.38/1580.85	c #Conflicts:     453000 | #Constraints:      24066
1576.38/1580.85	c GLOBAL bounds - >= 0 @ 1571.16
1620.05/1624.62	c #Conflicts:     454000 | #Constraints:      25068
1620.05/1624.62	c #Conflicts:     455000 | #Constraints:      26068
1620.05/1624.62	c #Conflicts:     456000 | #Constraints:      27068
1620.05/1624.62	c #Conflicts:     457000 | #Constraints:      28068
1620.05/1624.62	c #Conflicts:     458000 | #Constraints:      29068
1620.05/1624.62	c #Conflicts:     459000 | #Constraints:      30068
1620.05/1624.62	c #Conflicts:     460000 | #Constraints:      31068
1620.05/1624.62	c INPROCESSING
1620.05/1624.62	c GARBAGE COLLECT
1620.05/1624.62	c #Conflicts:     461000 | #Constraints:      18688
1620.05/1624.62	c #Conflicts:     462000 | #Constraints:      19688
1620.05/1624.62	c #Conflicts:     463000 | #Constraints:      20688
1620.05/1624.62	c #Conflicts:     464000 | #Constraints:      21688
1620.05/1624.62	c #Conflicts:     465000 | #Constraints:      22688
1620.05/1624.62	c #Conflicts:     466000 | #Constraints:      23688
1620.05/1624.62	c #Conflicts:     467000 | #Constraints:      24688
1620.05/1624.62	c GLOBAL bounds - >= 0 @ 1614.71
2095.72/2101.66	c #Conflicts:     468000 | #Constraints:      25690
2095.72/2101.66	c #Conflicts:     469000 | #Constraints:      26690
2095.72/2101.66	c #Conflicts:     470000 | #Constraints:      27690
2095.72/2101.66	c #Conflicts:     471000 | #Constraints:      28690
2095.72/2101.66	c #Conflicts:     472000 | #Constraints:      29690
2095.72/2101.66	c #Conflicts:     473000 | #Constraints:      30690
2095.72/2101.66	c #Conflicts:     474000 | #Constraints:      31690
2095.72/2101.66	c INPROCESSING
2095.72/2101.66	c GARBAGE COLLECT
2095.72/2101.66	c #Conflicts:     475000 | #Constraints:      19083
2095.72/2101.66	c #Conflicts:     476000 | #Constraints:      20083
2095.72/2101.66	c #Conflicts:     477000 | #Constraints:      21083
2095.72/2101.66	c #Conflicts:     478000 | #Constraints:      22083
2095.72/2101.66	c #Conflicts:     479000 | #Constraints:      23083
2095.72/2101.66	c #Conflicts:     480000 | #Constraints:      24083
2095.72/2101.66	c #Conflicts:     481000 | #Constraints:      25083
2095.72/2101.66	c #Conflicts:     482000 | #Constraints:      26083
2095.72/2101.66	c #Conflicts:     483000 | #Constraints:      27083
2095.72/2101.66	c #Conflicts:     484000 | #Constraints:      28083
2095.72/2101.66	c #Conflicts:     485000 | #Constraints:      29083
2095.72/2101.66	c #Conflicts:     486000 | #Constraints:      30083
2095.72/2101.66	c #Conflicts:     487000 | #Constraints:      31083
2095.72/2101.66	c #Conflicts:     488000 | #Constraints:      32083
2095.72/2101.66	c INPROCESSING
2095.72/2101.66	c GARBAGE COLLECT
2095.72/2101.66	c #Conflicts:     489000 | #Constraints:      19279
2095.72/2101.66	c #Conflicts:     490000 | #Constraints:      20279
2095.72/2101.66	c #Conflicts:     491000 | #Constraints:      21279
2095.72/2101.66	c #Conflicts:     492000 | #Constraints:      22279
2095.72/2101.66	c #Conflicts:     493000 | #Constraints:      23279
2095.72/2101.66	c #Conflicts:     494000 | #Constraints:      24279
2095.72/2101.66	c #Conflicts:     495000 | #Constraints:      25279
2095.72/2101.66	c #Conflicts:     496000 | #Constraints:      26279
2095.72/2101.66	c #Conflicts:     497000 | #Constraints:      27279
2095.72/2101.66	c #Conflicts:     498000 | #Constraints:      28279
2095.72/2101.66	c #Conflicts:     499000 | #Constraints:      29279
2095.72/2101.66	c #Conflicts:     500000 | #Constraints:      30279
2095.72/2101.66	c #Conflicts:     501000 | #Constraints:      31279
2095.72/2101.66	c #Conflicts:     502000 | #Constraints:      32279
2095.72/2101.66	c INPROCESSING
2095.72/2101.66	c GARBAGE COLLECT
2095.72/2101.66	c #Conflicts:     503000 | #Constraints:      19271
2095.72/2101.66	c #Conflicts:     504000 | #Constraints:      20271
2095.72/2101.66	c #Conflicts:     505000 | #Constraints:      21271
2095.72/2101.66	c #Conflicts:     506000 | #Constraints:      22271
2095.72/2101.66	c #Conflicts:     507000 | #Constraints:      23271
2095.72/2101.66	c #Conflicts:     508000 | #Constraints:      24271
2095.72/2101.66	c #Conflicts:     509000 | #Constraints:      25271
2095.72/2101.66	c #Conflicts:     510000 | #Constraints:      26271
2095.72/2101.66	c #Conflicts:     511000 | #Constraints:      27271
2095.72/2101.66	c #Conflicts:     512000 | #Constraints:      28271
2095.72/2101.66	c #Conflicts:     513000 | #Constraints:      29271
2095.72/2101.66	c #Conflicts:     514000 | #Constraints:      30271
2095.72/2101.66	c #Conflicts:     515000 | #Constraints:      31271
2095.72/2101.66	c #Conflicts:     516000 | #Constraints:      32271
2095.72/2101.66	c INPROCESSING
2095.72/2101.66	c GARBAGE COLLECT
2095.72/2101.66	c #Conflicts:     517000 | #Constraints:      19076
2095.72/2101.66	c #Conflicts:     518000 | #Constraints:      20076
2095.72/2101.66	c #Conflicts:     519000 | #Constraints:      21076
2095.72/2101.66	c #Conflicts:     520000 | #Constraints:      22076
2095.72/2101.66	c #Conflicts:     521000 | #Constraints:      23076
2095.72/2101.66	c #Conflicts:     522000 | #Constraints:      24076
2095.72/2101.66	c #Conflicts:     523000 | #Constraints:      25076
2095.72/2101.66	c #Conflicts:     524000 | #Constraints:      26076
2095.72/2101.66	c #Conflicts:     525000 | #Constraints:      27076
2095.72/2101.66	c #Conflicts:     526000 | #Constraints:      28076
2095.72/2101.66	c #Conflicts:     527000 | #Constraints:      29076
2095.72/2101.66	c #Conflicts:     528000 | #Constraints:      30076
2095.72/2101.66	c #Conflicts:     529000 | #Constraints:      31076
2095.72/2101.66	c #Conflicts:     530000 | #Constraints:      32076
2095.72/2101.66	c #Conflicts:     531000 | #Constraints:      33076
2095.72/2101.66	c INPROCESSING
2095.72/2101.66	c GARBAGE COLLECT
2095.72/2101.66	c #Conflicts:     532000 | #Constraints:      19659
2095.72/2101.66	c #Conflicts:     533000 | #Constraints:      20659
2095.72/2101.66	c #Conflicts:     534000 | #Constraints:      21659
2095.72/2101.66	c #Conflicts:     535000 | #Constraints:      22659
2095.72/2101.66	c #Conflicts:     536000 | #Constraints:      23659
2095.72/2101.66	c #Conflicts:     537000 | #Constraints:      24659
2095.72/2101.66	c #Conflicts:     538000 | #Constraints:      25659
2095.72/2101.66	c #Conflicts:     539000 | #Constraints:      26659
2095.72/2101.66	c #Conflicts:     540000 | #Constraints:      27659
2095.72/2101.66	c #Conflicts:     541000 | #Constraints:      28659
2095.72/2101.66	c #Conflicts:     542000 | #Constraints:      29659
2095.72/2101.66	c #Conflicts:     543000 | #Constraints:      30659
2625.47/2633.00	c #Conflicts:     544000 | #Constraints:      31659
2625.47/2633.00	c #Conflicts:     545000 | #Constraints:      32659
2625.47/2633.00	c #Conflicts:     546000 | #Constraints:      33659
2625.47/2633.00	c INPROCESSING
2625.47/2633.00	c GARBAGE COLLECT
2625.47/2633.00	c #Conflicts:     547000 | #Constraints:      20041
2625.47/2633.00	c #Conflicts:     548000 | #Constraints:      21041
2625.47/2633.00	c #Conflicts:     549000 | #Constraints:      22041
2625.47/2633.00	c #Conflicts:     550000 | #Constraints:      23041
2625.47/2633.00	c #Conflicts:     551000 | #Constraints:      24041
2625.47/2633.00	c #Conflicts:     552000 | #Constraints:      25041
2625.47/2633.00	c #Conflicts:     553000 | #Constraints:      26041
2625.47/2633.00	c #Conflicts:     554000 | #Constraints:      27041
2625.47/2633.00	c #Conflicts:     555000 | #Constraints:      28041
2625.47/2633.00	c #Conflicts:     556000 | #Constraints:      29041
2625.47/2633.00	c #Conflicts:     557000 | #Constraints:      30041
2625.47/2633.00	c #Conflicts:     558000 | #Constraints:      31041
2625.47/2633.00	c #Conflicts:     559000 | #Constraints:      32041
2625.47/2633.00	c #Conflicts:     560000 | #Constraints:      33041
2625.47/2633.00	c #Conflicts:     561000 | #Constraints:      34041
2625.47/2633.00	c INPROCESSING
2625.47/2633.00	c GARBAGE COLLECT
2625.47/2633.00	c #Conflicts:     562000 | #Constraints:      20241
2625.47/2633.00	c #Conflicts:     563000 | #Constraints:      21241
2625.47/2633.00	c #Conflicts:     564000 | #Constraints:      22241
2625.47/2633.00	c #Conflicts:     565000 | #Constraints:      23241
2625.47/2633.00	c #Conflicts:     566000 | #Constraints:      24241
2625.47/2633.00	c #Conflicts:     567000 | #Constraints:      25241
2625.47/2633.00	c #Conflicts:     568000 | #Constraints:      26241
2625.47/2633.00	c #Conflicts:     569000 | #Constraints:      27241
2625.47/2633.00	c #Conflicts:     570000 | #Constraints:      28241
2625.47/2633.00	c #Conflicts:     571000 | #Constraints:      29241
2625.47/2633.00	c #Conflicts:     572000 | #Constraints:      30241
2625.47/2633.00	c #Conflicts:     573000 | #Constraints:      31241
2625.47/2633.00	c #Conflicts:     574000 | #Constraints:      32241
2625.47/2633.00	c #Conflicts:     575000 | #Constraints:      33241
2625.47/2633.00	c #Conflicts:     576000 | #Constraints:      34241
2625.47/2633.00	c INPROCESSING
2625.47/2633.00	c GARBAGE COLLECT
2625.47/2633.00	c #Conflicts:     577000 | #Constraints:      20234
2625.47/2633.00	c #Conflicts:     578000 | #Constraints:      21234
2625.47/2633.00	c #Conflicts:     579000 | #Constraints:      22234
2625.47/2633.00	c #Conflicts:     580000 | #Constraints:      23234
2625.47/2633.00	c #Conflicts:     581000 | #Constraints:      24234
2625.47/2633.00	c #Conflicts:     582000 | #Constraints:      25234
2625.47/2633.00	c #Conflicts:     583000 | #Constraints:      26234
2625.47/2633.00	c #Conflicts:     584000 | #Constraints:      27234
2625.47/2633.00	c #Conflicts:     585000 | #Constraints:      28234
2625.47/2633.00	c #Conflicts:     586000 | #Constraints:      29234
2625.47/2633.00	c #Conflicts:     587000 | #Constraints:      30234
2625.47/2633.00	c #Conflicts:     588000 | #Constraints:      31234
2625.47/2633.00	c #Conflicts:     589000 | #Constraints:      32234
2625.47/2633.00	c #Conflicts:     590000 | #Constraints:      33234
2625.47/2633.00	c #Conflicts:     591000 | #Constraints:      34234
2625.47/2633.00	c INPROCESSING
2625.47/2633.00	c GARBAGE COLLECT
2625.47/2633.00	c #Conflicts:     592000 | #Constraints:      20034
2625.47/2633.00	c #Conflicts:     593000 | #Constraints:      21034
2625.47/2633.00	c #Conflicts:     594000 | #Constraints:      22034
2625.47/2633.00	c #Conflicts:     595000 | #Constraints:      23034
2625.47/2633.00	c #Conflicts:     596000 | #Constraints:      24034
2625.47/2633.00	c #Conflicts:     597000 | #Constraints:      25034
2625.47/2633.00	c #Conflicts:     598000 | #Constraints:      26034
2625.47/2633.00	c #Conflicts:     599000 | #Constraints:      27034
2625.47/2633.00	c #Conflicts:     600000 | #Constraints:      28034
2625.47/2633.00	c #Conflicts:     601000 | #Constraints:      29034
2625.47/2633.00	c #Conflicts:     602000 | #Constraints:      30034
2625.47/2633.00	c #Conflicts:     603000 | #Constraints:      31034
2625.47/2633.00	c #Conflicts:     604000 | #Constraints:      32034
2625.47/2633.00	c #Conflicts:     605000 | #Constraints:      33034
2625.47/2633.00	c #Conflicts:     606000 | #Constraints:      34034
2625.47/2633.00	c #Conflicts:     607000 | #Constraints:      35034
2625.47/2633.00	c INPROCESSING
2625.47/2633.00	c GARBAGE COLLECT
2625.47/2633.00	c #Conflicts:     608000 | #Constraints:      20640
2625.47/2633.00	c #Conflicts:     609000 | #Constraints:      21640
2625.47/2633.00	c #Conflicts:     610000 | #Constraints:      22640
2625.47/2633.00	c #Conflicts:     611000 | #Constraints:      23640
2625.47/2633.00	c #Conflicts:     612000 | #Constraints:      24640
2625.47/2633.00	c #Conflicts:     613000 | #Constraints:      25640
2625.47/2633.00	c #Conflicts:     614000 | #Constraints:      26640
2625.47/2633.00	c #Conflicts:     615000 | #Constraints:      27640
2625.47/2633.00	c #Conflicts:     616000 | #Constraints:      28640
2625.47/2633.00	c #Conflicts:     617000 | #Constraints:      29640
2625.47/2633.00	c #Conflicts:     618000 | #Constraints:      30640
2625.47/2633.00	c #Conflicts:     619000 | #Constraints:      31640
2704.63/2712.37	c #Conflicts:     620000 | #Constraints:      32640
2704.63/2712.37	c #Conflicts:     621000 | #Constraints:      33640
2704.63/2712.37	c #Conflicts:     622000 | #Constraints:      34640
2704.63/2712.37	c #Conflicts:     623000 | #Constraints:      35640
2704.63/2712.37	c INPROCESSING
2704.63/2712.37	c GARBAGE COLLECT
2704.63/2712.37	c #Conflicts:     624000 | #Constraints:      21038
2704.63/2712.37	c #Conflicts:     625000 | #Constraints:      22038
2704.63/2712.37	c #Conflicts:     626000 | #Constraints:      23038
2704.63/2712.37	c #Conflicts:     627000 | #Constraints:      24038
2704.63/2712.37	c #Conflicts:     628000 | #Constraints:      25038
2704.63/2712.37	c #Conflicts:     629000 | #Constraints:      26038
2704.63/2712.37	c #Conflicts:     630000 | #Constraints:      27038
2704.63/2712.37	c #Conflicts:     631000 | #Constraints:      28038
2704.63/2712.37	c #Conflicts:     632000 | #Constraints:      29038
2704.63/2712.37	c #Conflicts:     633000 | #Constraints:      30038
2704.63/2712.37	c GLOBAL bounds - >= 0 @ 2697.52
3117.84/3126.75	c #Conflicts:     634000 | #Constraints:      31040
3117.84/3126.75	c #Conflicts:     635000 | #Constraints:      32040
3117.84/3126.75	c #Conflicts:     636000 | #Constraints:      33040
3117.84/3126.75	c #Conflicts:     637000 | #Constraints:      34040
3117.84/3126.75	c #Conflicts:     638000 | #Constraints:      35040
3117.84/3126.75	c #Conflicts:     639000 | #Constraints:      36040
3117.84/3126.75	c INPROCESSING
3117.84/3126.75	c GARBAGE COLLECT
3117.84/3126.75	c #Conflicts:     640000 | #Constraints:      21263
3117.84/3126.75	c #Conflicts:     641000 | #Constraints:      22263
3117.84/3126.75	c #Conflicts:     642000 | #Constraints:      23263
3117.84/3126.75	c #Conflicts:     643000 | #Constraints:      24263
3117.84/3126.75	c #Conflicts:     644000 | #Constraints:      25263
3117.84/3126.75	c #Conflicts:     645000 | #Constraints:      26263
3117.84/3126.75	c #Conflicts:     646000 | #Constraints:      27263
3117.84/3126.75	c #Conflicts:     647000 | #Constraints:      28263
3117.84/3126.75	c #Conflicts:     648000 | #Constraints:      29263
3117.84/3126.75	c #Conflicts:     649000 | #Constraints:      30263
3117.84/3126.75	c #Conflicts:     650000 | #Constraints:      31263
3117.84/3126.75	c #Conflicts:     651000 | #Constraints:      32263
3117.84/3126.75	c #Conflicts:     652000 | #Constraints:      33263
3117.84/3126.75	c #Conflicts:     653000 | #Constraints:      34263
3117.84/3126.75	c #Conflicts:     654000 | #Constraints:      35263
3117.84/3126.75	c #Conflicts:     655000 | #Constraints:      36263
3117.84/3126.75	c INPROCESSING
3117.84/3126.75	c GARBAGE COLLECT
3117.84/3126.75	c #Conflicts:     656000 | #Constraints:      21268
3117.84/3126.75	c #Conflicts:     657000 | #Constraints:      22268
3117.84/3126.75	c #Conflicts:     658000 | #Constraints:      23268
3117.84/3126.75	c #Conflicts:     659000 | #Constraints:      24268
3117.84/3126.75	c #Conflicts:     660000 | #Constraints:      25268
3117.84/3126.75	c #Conflicts:     661000 | #Constraints:      26268
3117.84/3126.75	c #Conflicts:     662000 | #Constraints:      27268
3117.84/3126.75	c #Conflicts:     663000 | #Constraints:      28268
3117.84/3126.75	c #Conflicts:     664000 | #Constraints:      29268
3117.84/3126.75	c #Conflicts:     665000 | #Constraints:      30268
3117.84/3126.75	c #Conflicts:     666000 | #Constraints:      31268
3117.84/3126.75	c #Conflicts:     667000 | #Constraints:      32268
3117.84/3126.75	c #Conflicts:     668000 | #Constraints:      33268
3117.84/3126.75	c #Conflicts:     669000 | #Constraints:      34268
3117.84/3126.75	c #Conflicts:     670000 | #Constraints:      35268
3117.84/3126.75	c #Conflicts:     671000 | #Constraints:      36268
3117.84/3126.75	c INPROCESSING
3117.84/3126.75	c GARBAGE COLLECT
3117.84/3126.75	c #Conflicts:     672000 | #Constraints:      21076
3117.84/3126.75	c #Conflicts:     673000 | #Constraints:      22076
3117.84/3126.75	c #Conflicts:     674000 | #Constraints:      23076
3117.84/3126.75	c #Conflicts:     675000 | #Constraints:      24076
3117.84/3126.75	c #Conflicts:     676000 | #Constraints:      25076
3117.84/3126.75	c #Conflicts:     677000 | #Constraints:      26076
3117.84/3126.75	c #Conflicts:     678000 | #Constraints:      27076
3117.84/3126.75	c #Conflicts:     679000 | #Constraints:      28076
3117.84/3126.75	c #Conflicts:     680000 | #Constraints:      29076
3117.84/3126.75	c #Conflicts:     681000 | #Constraints:      30076
3117.84/3126.75	c #Conflicts:     682000 | #Constraints:      31076
3117.84/3126.75	c #Conflicts:     683000 | #Constraints:      32076
3117.84/3126.75	c #Conflicts:     684000 | #Constraints:      33076
3117.84/3126.75	c #Conflicts:     685000 | #Constraints:      34076
3117.84/3126.75	c #Conflicts:     686000 | #Constraints:      35076
3117.84/3126.75	c #Conflicts:     687000 | #Constraints:      36076
3117.84/3126.75	c #Conflicts:     688000 | #Constraints:      37076
3117.84/3126.75	c INPROCESSING
3117.84/3126.75	c GARBAGE COLLECT
3117.84/3126.75	c #Conflicts:     689000 | #Constraints:      21670
3117.84/3126.75	c #Conflicts:     690000 | #Constraints:      22670
3117.84/3126.75	c #Conflicts:     691000 | #Constraints:      23670
3117.84/3126.75	c #Conflicts:     692000 | #Constraints:      24670
3117.84/3126.75	c #Conflicts:     693000 | #Constraints:      25670
3117.84/3126.75	c #Conflicts:     694000 | #Constraints:      26670
3117.84/3126.75	c #Conflicts:     695000 | #Constraints:      27670
3117.84/3126.75	c #Conflicts:     696000 | #Constraints:      28670
3117.84/3126.75	c #Conflicts:     697000 | #Constraints:      29670
3117.84/3126.75	c #Conflicts:     698000 | #Constraints:      30670
3117.84/3126.75	c #Conflicts:     699000 | #Constraints:      31670
3117.84/3126.75	c #Conflicts:     700000 | #Constraints:      32670
3117.84/3126.75	c #Conflicts:     701000 | #Constraints:      33670
3117.84/3126.75	c #Conflicts:     702000 | #Constraints:      34670
3117.84/3126.75	c #Conflicts:     703000 | #Constraints:      35670
3117.84/3126.75	c #Conflicts:     704000 | #Constraints:      36670
3117.84/3126.75	c #Conflicts:     705000 | #Constraints:      37670
3117.84/3126.75	c INPROCESSING
3117.84/3126.75	c GARBAGE COLLECT
3117.84/3126.75	c #Conflicts:     706000 | #Constraints:      22051
3117.84/3126.75	c #Conflicts:     707000 | #Constraints:      23051
3117.84/3126.75	c #Conflicts:     708000 | #Constraints:      24051
3117.84/3126.75	c #Conflicts:     709000 | #Constraints:      25051
3288.42/3297.89	c #Conflicts:     710000 | #Constraints:      26051
3288.42/3297.89	c #Conflicts:     711000 | #Constraints:      27051
3288.42/3297.89	c #Conflicts:     712000 | #Constraints:      28051
3288.42/3297.89	c #Conflicts:     713000 | #Constraints:      29051
3288.42/3297.89	c #Conflicts:     714000 | #Constraints:      30051
3288.42/3297.89	c #Conflicts:     715000 | #Constraints:      31051
3288.42/3297.89	c #Conflicts:     716000 | #Constraints:      32051
3288.42/3297.89	c #Conflicts:     717000 | #Constraints:      33051
3288.42/3297.89	c #Conflicts:     718000 | #Constraints:      34051
3288.42/3297.89	c #Conflicts:     719000 | #Constraints:      35051
3288.42/3297.89	c #Conflicts:     720000 | #Constraints:      36051
3288.42/3297.89	c #Conflicts:     721000 | #Constraints:      37051
3288.42/3297.89	c #Conflicts:     722000 | #Constraints:      38051
3288.42/3297.89	c INPROCESSING
3288.42/3297.89	c GARBAGE COLLECT
3288.42/3297.89	c #Conflicts:     723000 | #Constraints:      22258
3288.42/3297.89	c #Conflicts:     724000 | #Constraints:      23258
3288.42/3297.89	c #Conflicts:     725000 | #Constraints:      24258
3288.42/3297.89	c #Conflicts:     726000 | #Constraints:      25258
3288.42/3297.89	c #Conflicts:     727000 | #Constraints:      26258
3288.42/3297.89	c #Conflicts:     728000 | #Constraints:      27258
3288.42/3297.89	c #Conflicts:     729000 | #Constraints:      28258
3288.42/3297.89	c #Conflicts:     730000 | #Constraints:      29258
3288.42/3297.89	c #Conflicts:     731000 | #Constraints:      30258
3288.42/3297.89	c #Conflicts:     732000 | #Constraints:      31258
3288.42/3297.89	c #Conflicts:     733000 | #Constraints:      32258
3288.42/3297.89	c #Conflicts:     734000 | #Constraints:      33258
3288.42/3297.89	c #Conflicts:     735000 | #Constraints:      34258
3288.42/3297.89	c #Conflicts:     736000 | #Constraints:      35258
3288.42/3297.89	c #Conflicts:     737000 | #Constraints:      36258
3288.42/3297.89	c #Conflicts:     738000 | #Constraints:      37258
3288.42/3297.89	c #Conflicts:     739000 | #Constraints:      38258
3288.42/3297.89	c INPROCESSING
3288.42/3297.89	c GARBAGE COLLECT
3288.42/3297.89	c #Conflicts:     740000 | #Constraints:      22252
3288.42/3297.89	c #Conflicts:     741000 | #Constraints:      23252
3288.42/3297.89	c #Conflicts:     742000 | #Constraints:      24252
3288.42/3297.89	c #Conflicts:     743000 | #Constraints:      25252
3288.42/3297.89	c #Conflicts:     744000 | #Constraints:      26252
3288.42/3297.89	c #Conflicts:     745000 | #Constraints:      27252
3288.42/3297.89	c #Conflicts:     746000 | #Constraints:      28252
3288.42/3297.89	c #Conflicts:     747000 | #Constraints:      29252
3288.42/3297.89	c #Conflicts:     748000 | #Constraints:      30252
3288.42/3297.89	c #Conflicts:     749000 | #Constraints:      31252
3288.42/3297.89	c #Conflicts:     750000 | #Constraints:      32252
3288.42/3297.89	c #Conflicts:     751000 | #Constraints:      33252
3288.42/3297.89	c GLOBAL bounds - >= 0 @ 3280.36
3556.80/3567.10	c #Conflicts:     752000 | #Constraints:      34254
3556.80/3567.10	c #Conflicts:     753000 | #Constraints:      35254
3556.80/3567.10	c #Conflicts:     754000 | #Constraints:      36254
3556.80/3567.10	c #Conflicts:     755000 | #Constraints:      37254
3556.80/3567.10	c #Conflicts:     756000 | #Constraints:      38254
3556.80/3567.10	c INPROCESSING
3556.80/3567.10	c GARBAGE COLLECT
3556.80/3567.10	c #Conflicts:     757000 | #Constraints:      22068
3556.80/3567.10	c #Conflicts:     758000 | #Constraints:      23068
3556.80/3567.10	c #Conflicts:     759000 | #Constraints:      24068
3556.80/3567.10	c #Conflicts:     760000 | #Constraints:      25068
3556.80/3567.10	c #Conflicts:     761000 | #Constraints:      26068
3556.80/3567.10	c #Conflicts:     762000 | #Constraints:      27068
3556.80/3567.10	c #Conflicts:     763000 | #Constraints:      28068
3556.80/3567.10	c #Conflicts:     764000 | #Constraints:      29068
3556.80/3567.10	c #Conflicts:     765000 | #Constraints:      30068
3556.80/3567.10	c #Conflicts:     766000 | #Constraints:      31068
3556.80/3567.10	c #Conflicts:     767000 | #Constraints:      32068
3556.80/3567.10	c #Conflicts:     768000 | #Constraints:      33068
3556.80/3567.10	c #Conflicts:     769000 | #Constraints:      34068
3556.80/3567.10	c #Conflicts:     770000 | #Constraints:      35068
3556.80/3567.10	c #Conflicts:     771000 | #Constraints:      36068
3556.80/3567.10	c #Conflicts:     772000 | #Constraints:      37068
3556.80/3567.10	c #Conflicts:     773000 | #Constraints:      38068
3556.80/3567.10	c #Conflicts:     774000 | #Constraints:      39068
3556.80/3567.10	c INPROCESSING
3556.80/3567.10	c GARBAGE COLLECT
3556.80/3567.10	c #Conflicts:     775000 | #Constraints:      22662
3556.80/3567.10	c #Conflicts:     776000 | #Constraints:      23662
3556.80/3567.10	c #Conflicts:     777000 | #Constraints:      24662
3556.80/3567.10	c #Conflicts:     778000 | #Constraints:      25662
3556.80/3567.10	c #Conflicts:     779000 | #Constraints:      26662
3556.80/3567.10	c #Conflicts:     780000 | #Constraints:      27662
3556.80/3567.10	c #Conflicts:     781000 | #Constraints:      28662
3556.80/3567.10	c #Conflicts:     782000 | #Constraints:      29662
3556.80/3567.10	c #Conflicts:     783000 | #Constraints:      30662
3556.80/3567.10	c #Conflicts:     784000 | #Constraints:      31662
3556.80/3567.10	c #Conflicts:     785000 | #Constraints:      32662
3556.80/3567.10	c #Conflicts:     786000 | #Constraints:      33662
3556.80/3567.10	c #Conflicts:     787000 | #Constraints:      34662
3556.80/3567.10	c #Conflicts:     788000 | #Constraints:      35662
3556.80/3567.10	c #Conflicts:     789000 | #Constraints:      36662
3556.80/3567.10	c #Conflicts:     790000 | #Constraints:      37662
3556.80/3567.10	c #Conflicts:     791000 | #Constraints:      38662
3556.80/3567.10	c #Conflicts:     792000 | #Constraints:      39662
3556.80/3567.10	c INPROCESSING
3556.80/3567.10	c GARBAGE COLLECT
3556.80/3567.10	c #Conflicts:     793000 | #Constraints:      23056
3556.80/3567.10	c #Conflicts:     794000 | #Constraints:      24056
3556.80/3567.10	c #Conflicts:     795000 | #Constraints:      25056
3556.80/3567.10	c #Conflicts:     796000 | #Constraints:      26056
3556.80/3567.10	c #Conflicts:     797000 | #Constraints:      27056
3556.80/3567.10	c #Conflicts:     798000 | #Constraints:      28056
3556.80/3567.10	c #Conflicts:     799000 | #Constraints:      29056
3556.80/3567.10	c #Conflicts:     800000 | #Constraints:      30056
3556.80/3567.10	c #Conflicts:     801000 | #Constraints:      31056
3556.80/3567.10	c #Conflicts:     802000 | #Constraints:      32056
3556.80/3567.10	c #Conflicts:     803000 | #Constraints:      33056
3556.80/3567.10	c #Conflicts:     804000 | #Constraints:      34056
3556.80/3567.10	c #Conflicts:     805000 | #Constraints:      35056
3556.80/3567.10	c GLOBAL bounds - >= 0 @ 3548.26
3600.05/3610.40	c #Conflicts:     806000 | #Constraints:      36058
3600.05/3610.40	c #Conflicts:     807000 | #Constraints:      37058
3600.05/3610.40	c #Conflicts:     808000 | #Constraints:      38058
3600.05/3610.40	c #Conflicts:     809000 | #Constraints:      39058
3600.05/3610.40	c #Conflicts:     810000 | #Constraints:      40058
3600.05/3610.40	c INPROCESSING
3600.05/3610.40	c GARBAGE COLLECT
3600.05/3610.40	c #Conflicts:     811000 | #Constraints:      23272
3600.05/3610.40	c #Conflicts:     812000 | #Constraints:      24272
3600.05/3610.40	c #Conflicts:     813000 | #Constraints:      25272
3600.05/3610.40	c #Conflicts:     814000 | #Constraints:      26272
3600.05/3610.40	c #Conflicts:     815000 | #Constraints:      27272
3600.05/3610.40	c #Conflicts:     816000 | #Constraints:      28272
3600.05/3610.40	c #Conflicts:     817000 | #Constraints:      29272
3600.05/3610.40	c #Conflicts:     818000 | #Constraints:      30272
3600.05/3610.40	c #Conflicts:     819000 | #Constraints:      31272
3600.05/3610.40	c cpu time 3591.31 s
3600.05/3610.40	c deterministic time 1 1.00e+00
3600.05/3610.40	c optimization time 3591.27 s
3600.05/3610.40	c total solve time 0 s
3600.05/3610.40	c core-guided solve time 0 s
3600.05/3610.40	c propagation time 0.003499 s
3600.05/3610.40	c conflict analysis time 0 s
3600.05/3610.40	c propagations 0
3600.05/3610.40	c resolve steps 0
3600.05/3610.40	c decisions 0
3600.05/3610.40	c conflicts 0
3600.05/3610.40	c restarts 0
3600.05/3610.40	c inprocessing phases 0
3600.05/3610.40	c garbage collections 0 ,( -nan )
3600.05/3610.40	c input clauses 4000 ,( 100.00 )
3600.05/3610.40	c input cardinalities 0 ,( 0.00 )
3600.05/3610.40	c input general constraints 0 ,( 0.00 )
3600.05/3610.40	c input average constraint length 2.00
3600.05/3610.40	c input average constraint degree 1.00
3600.05/3610.40	c learned clauses 0 ,( 0.00 )
3600.05/3610.40	c learned cardinalities 0 ,( 0.00 )
3600.05/3610.40	c learned general constraints 0 ,( 0.00 )
3600.05/3610.40	c learned average constraint length 0.00
3600.05/3610.40	c learned average constraint degree 0.00
3600.05/3610.40	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.05/3610.40	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.05/3610.40	c watched   constraints 0 ,( -nan ) 
3600.05/3610.40	c counting  constraints 0 ,( -nan ) 
3600.05/3610.40	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.05/3610.40	c gcd simplifications 0
3600.05/3610.40	c detected cardinalities 0
3600.05/3610.40	c weakened non-implied lits 0
3600.05/3610.40	c weakened non-implying lits 0
3600.05/3610.40	c original variables 1959
3600.05/3610.40	c clausal propagations 0
3600.05/3610.40	c cardinality propagations 0
3600.05/3610.40	c watched propagations 0
3600.05/3610.40	c counting propagations 0
3600.05/3610.40	c watch lookups 0
3600.05/3610.40	c watch backjump lookups 0
3600.05/3610.40	c watch checks 0
3600.05/3610.40	c propagation checks 0
3600.05/3610.40	c constraint additions 0
3600.05/3610.40	c trail pops 0
3600.05/3610.40	c formula constraints 4000
3600.05/3610.40	c learned constraints 0
3600.05/3610.40	c bound constraints 0
3600.05/3610.40	c core-guided constraints 0
3600.05/3610.40	c encountered formula constraints 0
3600.05/3610.40	c encountered learned constraints 0
3600.05/3610.40	c encountered bound constraints 0
3600.05/3610.40	c encountered core-guided constraints 0
3600.05/3610.40	c LP total time 0 s
3600.05/3610.40	c LP solve time 0 s
3600.05/3610.40	c LP constraints added 0
3600.05/3610.40	c LP constraints removed 0
3600.05/3610.40	c LP pivots internal 0
3600.05/3610.40	c LP pivots root 0
3600.05/3610.40	c LP calls 0
3600.05/3610.40	c LP optimalities 0
3600.05/3610.40	c LP no pivot count 0
3600.05/3610.40	c LP infeasibilities 0
3600.05/3610.40	c LP valid Farkas constraints 0
3600.05/3610.40	c LP learned Farkas constraints 0
3600.05/3610.40	c LP basis resets 0
3600.05/3610.40	c LP cycling count 0
3600.05/3610.40	c LP singular count 0
3600.05/3610.40	c LP no primal count 0
3600.05/3610.40	c LP no farkas count 0
3600.05/3610.40	c LP other issue count 0
3600.05/3610.40	c LP Gomory cuts 0
3600.05/3610.40	c LP learned cuts 0
3600.05/3610.40	c LP deleted cuts 0
3600.05/3610.40	c LP encountered Gomory constraints 0
3600.05/3610.40	c LP encountered Farkas constraints 0
3600.05/3610.40	c LP encountered learned Farkas constraints 0
3600.05/3610.40	c CG auxiliary variables introduced 0
3600.05/3610.40	c CG solutions found 0
3600.05/3610.40	c CG cores constructed 0
3600.05/3610.40	c CG core cardinality constraints returned 0
3600.05/3610.40	c CG unit cores 0
3600.05/3610.40	c CG single cores 0
3600.05/3610.40	c CG blocks removed during cardinality reduction 0
3600.05/3610.40	c CG first core best 0
3600.05/3610.40	c CG decision core best 0
3600.05/3610.40	c CG core reduction tie 0
3600.05/3610.40	c CG core degree average 0.00
3600.05/3610.40	c CG core slack average 0.00
3600.05/3610.40	c CG core upper bound improvements 0
3600.05/3610.40	c STR number of successful calls 0
3600.05/3610.40	c STR number of unsuccessful calls 0
3600.05/3610.40	c STR number of inconclusive calls 0
3600.05/3610.40	c STR number of successful attempts 0
3600.05/3610.40	c STR number of unsuccessful attempts 0
3600.05/3610.40	c STR number of inconclusive attempts 0
3600.05/3610.40	c STR average degree increase per successful call inf
3600.05/3610.40	c STR average degree increase per successful attempt inf
3600.05/3610.40	c STR total number of conflicts for successful attempts 0
3600.05/3610.40	c STR total number of conflicts for unsuccessful attempts 0
3600.05/3610.40	c STR total number of conflicts for inconclusive attempts 0
3600.05/3610.40	c STR average number of conflicts per successful attempt inf
3600.05/3610.40	c STR average number of conflicts per unsuccessful attempt inf
3600.05/3610.40	c STR average number of conflicts per inconclusive attempt inf
3600.05/3610.40	c AVG.sumWPerc -nan 
3600.05/3610.40	c bigint constraints 0 
3600.05/3610.40	s UNKNOWN
3600.05/3610.40	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: 63794 MiB (60219 MiB free)
  memory of node 1: 64507 MiB (63621 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4488540-1751332839/watcher-4488540-1751332839 -o /tmp/evaluation-result-4488540-1751332839/solver-4488540-1751332839 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751328774-43196 --watchdog 3760 run-opt.sh HOME/instance-4488540-1751332839.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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 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=45265, runsolver pid=45262
Current StackSize limit: 8192 KiB


[startup+0.100068 s]*
/proc/loadavg: 4.41 4.30 4.20 5/257 45267
/proc/meminfo: memFree=126812504/131382112 swapFree=33010684/33010684
[pid=45265] ppid=45262 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/45265/stat : 45265 (run-opt.sh) S 45262 45265 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48963626 4292608 768 18446744073709551615 93960679608320 93960680502853 140728234250032 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93960680741904 93960680789648 93960695046144 140728234256749 140728234256872 140728234256872 140728234262474 0
/proc/45265/statm: 1048 768 704 219 0 110 0
[pid=45267] ppid=45265 vsize=65736 memory=16184 CPUtime=0.08 cores=1,3
/proc/45267/stat : 45267 (roundingsat) R 45265 45265 43184 0 -1 4194304 2564 0 0 0 6 2 0 0 20 0 1 0 48963627 67313664 4046 18446744073709551615 4227072 8923433 140731412399616 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41398272 140731412408738 140731412408872 140731412408872 140731412414442 0
/proc/45267/statm: 16434 4046 2304 1147 0 3861 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 69928 KiB
Current children cumulated memory: 19256 KiB

[startup+0.213655 s]*
/proc/loadavg: 4.41 4.30 4.20 5/257 45267
/proc/meminfo: memFree=126812504/131382112 swapFree=33010684/33010684
[pid=45265] ppid=45262 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/45265/stat : 45265 (run-opt.sh) S 45262 45265 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48963626 4292608 768 18446744073709551615 93960679608320 93960680502853 140728234250032 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93960680741904 93960680789648 93960695046144 140728234256749 140728234256872 140728234256872 140728234262474 0
/proc/45265/statm: 1048 768 704 219 0 110 0
[pid=45267] ppid=45265 vsize=67716 memory=20460 CPUtime=0.2 cores=1,3
/proc/45267/stat : 45267 (roundingsat) R 45265 45265 43184 0 -1 4194304 3124 0 0 0 17 3 0 0 20 0 1 0 48963627 69341184 5115 18446744073709551615 4227072 8923433 140731412399616 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41398272 140731412408738 140731412408872 140731412408872 140731412414442 0
/proc/45267/statm: 16929 5115 2304 1147 0 4356 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 71908 KiB
Current children cumulated memory: 23532 KiB

[startup+0.313562 s]*
/proc/loadavg: 4.41 4.30 4.20 5/257 45267
/proc/meminfo: memFree=126812504/131382112 swapFree=33010684/33010684
[pid=45265] ppid=45262 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/45265/stat : 45265 (run-opt.sh) S 45262 45265 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48963626 4292608 768 18446744073709551615 93960679608320 93960680502853 140728234250032 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93960680741904 93960680789648 93960695046144 140728234256749 140728234256872 140728234256872 140728234262474 0
/proc/45265/statm: 1048 768 704 219 0 110 0
[pid=45267] ppid=45265 vsize=67848 memory=20588 CPUtime=0.3 cores=1,3
/proc/45267/stat : 45267 (roundingsat) R 45265 45265 43184 0 -1 4194304 3148 0 0 0 26 4 0 0 20 0 1 0 48963627 69476352 5147 18446744073709551615 4227072 8923433 140731412399616 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41398272 140731412408738 140731412408872 140731412408872 140731412414442 0
/proc/45267/statm: 16962 5147 2304 1147 0 4389 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 72040 KiB
Current children cumulated memory: 23660 KiB

[startup+0.700367 s]
/proc/loadavg: 4.41 4.30 4.20 5/257 45267
/proc/meminfo: memFree=126808724/131382112 swapFree=33010684/33010684
[pid=45265] ppid=45262 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/45265/stat : 45265 (run-opt.sh) S 45262 45265 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48963626 4292608 768 18446744073709551615 93960679608320 93960680502853 140728234250032 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93960680741904 93960680789648 93960695046144 140728234256749 140728234256872 140728234256872 140728234262474 0
/proc/45265/statm: 1048 768 704 219 0 110 0
[pid=45267] ppid=45265 vsize=80916 memory=33260 CPUtime=0.66 cores=1,3
/proc/45267/stat : 45267 (roundingsat) R 45265 45265 43184 0 -1 4194304 6308 0 0 0 61 5 0 0 20 0 1 0 48963627 82857984 8315 18446744073709551615 4227072 8923433 140731412399616 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41398272 140731412408738 140731412408872 140731412408872 140731412414442 0
/proc/45267/statm: 20229 8315 2304 1147 0 7656 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 85108 KiB
Current children cumulated memory: 36332 KiB

[startup+1.50034 s]
/proc/loadavg: 4.41 4.30 4.20 6/257 45267
/proc/meminfo: memFree=126780496/131382112 swapFree=33010684/33010684
[pid=45265] ppid=45262 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/45265/stat : 45265 (run-opt.sh) S 45262 45265 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48963626 4292608 768 18446744073709551615 93960679608320 93960680502853 140728234250032 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93960680741904 93960680789648 93960695046144 140728234256749 140728234256872 140728234256872 140728234262474 0
/proc/45265/statm: 1048 768 704 219 0 110 0
[pid=45267] ppid=45265 vsize=110440 memory=60672 CPUtime=1.46 cores=1,3
/proc/45267/stat : 45267 (roundingsat) R 45265 45265 43184 0 -1 4194304 12141 0 0 0 138 8 0 0 20 0 1 0 48963627 113090560 15168 18446744073709551615 4227072 8923433 140731412399616 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41398272 140731412408738 140731412408872 140731412408872 140731412414442 0
/proc/45267/statm: 27610 15168 2304 1147 0 15037 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 114632 KiB
Current children cumulated memory: 63744 KiB

[startup+3.11316 s]
/proc/loadavg: 4.38 4.30 4.19 6/257 45267
/proc/meminfo: memFree=126700260/131382112 swapFree=33010684/33010684
[pid=45265] ppid=45262 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/45265/stat : 45265 (run-opt.sh) S 45262 45265 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48963626 4292608 768 18446744073709551615 93960679608320 93960680502853 140728234250032 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93960680741904 93960680789648 93960695046144 140728234256749 140728234256872 140728234256872 140728234262474 0
/proc/45265/statm: 1048 768 704 219 0 110 0
[pid=45267] ppid=45265 vsize=183916 memory=123500 CPUtime=3.07 cores=1,3
/proc/45267/stat : 45267 (roundingsat) R 45265 45265 43184 0 -1 4194304 24793 0 0 0 294 13 0 0 20 0 1 0 48963627 188329984 30875 18446744073709551615 4227072 8923433 140731412399616 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41398272 140731412408738 140731412408872 140731412408872 140731412414442 0
/proc/45267/statm: 45979 30875 2304 1147 0 33406 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 188108 KiB
Current children cumulated memory: 126572 KiB

[startup+6.30033 s]
/proc/loadavg: 4.38 4.30 4.19 6/257 45267
/proc/meminfo: memFree=126644060/131382112 swapFree=33010684/33010684
[pid=45265] ppid=45262 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/45265/stat : 45265 (run-opt.sh) S 45262 45265 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48963626 4292608 768 18446744073709551615 93960679608320 93960680502853 140728234250032 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93960680741904 93960680789648 93960695046144 140728234256749 140728234256872 140728234256872 140728234262474 0
/proc/45265/statm: 1048 768 704 219 0 110 0
[pid=45267] ppid=45265 vsize=240284 memory=179924 CPUtime=6.25 cores=1,3
/proc/45267/stat : 45267 (roundingsat) R 45265 45265 43184 0 -1 4194304 34824 0 0 0 605 20 0 0 20 0 1 0 48963627 246050816 44981 18446744073709551615 4227072 8923433 140731412399616 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41398272 140731412408738 140731412408872 140731412408872 140731412414442 0
/proc/45267/statm: 60071 44981 2304 1147 0 47498 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 244476 KiB
Current children cumulated memory: 182996 KiB

[startup+12.7003 s]
/proc/loadavg: 4.32 4.29 4.19 6/257 45267
/proc/meminfo: memFree=126566988/131382112 swapFree=33010684/33010684
[pid=45265] ppid=45262 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/45265/stat : 45265 (run-opt.sh) S 45262 45265 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48963626 4292608 768 18446744073709551615 93960679608320 93960680502853 140728234250032 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93960680741904 93960680789648 93960695046144 140728234256749 140728234256872 140728234256872 140728234262474 0
/proc/45265/statm: 1048 768 704 219 0 110 0
[pid=45267] ppid=45265 vsize=350520 memory=250192 CPUtime=12.64 cores=1,3
/proc/45267/stat : 45267 (roundingsat) R 45265 45265 43184 0 -1 4194304 49336 0 0 0 1234 30 0 0 20 0 1 0 48963627 358932480 62548 18446744073709551615 4227072 8923433 140731412399616 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41398272 140731412408738 140731412408872 140731412408872 140731412414442 0
/proc/45267/statm: 87630 62548 2304 1147 0 75057 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 354712 KiB
Current children cumulated memory: 253264 KiB

[startup+25.5004 s]
/proc/loadavg: 4.27 4.28 4.19 6/258 45269
/proc/meminfo: memFree=126328988/131382112 swapFree=33010684/33010684
[pid=45265] ppid=45262 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/45265/stat : 45265 (run-opt.sh) S 45262 45265 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48963626 4292608 768 18446744073709551615 93960679608320 93960680502853 140728234250032 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93960680741904 93960680789648 93960695046144 140728234256749 140728234256872 140728234256872 140728234262474 0
/proc/45265/statm: 1048 768 704 219 0 110 0
[pid=45267] ppid=45265 vsize=642328 memory=489028 CPUtime=25.4 cores=1,3
/proc/45267/stat : 45267 (roundingsat) R 45265 45265 43184 0 -1 4194304 105973 0 0 0 2487 53 0 0 20 0 1 0 48963627 657743872 122257 18446744073709551615 4227072 8923433 140731412399616 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41398272 140731412408738 140731412408872 140731412408872 140731412414442 0
/proc/45267/statm: 160582 122257 2304 1147 0 148009 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 646520 KiB
Current children cumulated memory: 492100 KiB

[startup+51.1134 s]
/proc/loadavg: 4.18 4.25 4.18 6/258 45269
/proc/meminfo: memFree=126313204/131382112 swapFree=33010684/33010684
[pid=45265] ppid=45262 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/45265/stat : 45265 (run-opt.sh) S 45262 45265 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48963626 4292608 768 18446744073709551615 93960679608320 93960680502853 140728234250032 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93960680741904 93960680789648 93960695046144 140728234256749 140728234256872 140728234256872 140728234262474 0
/proc/45265/statm: 1048 768 704 219 0 110 0
[pid=45267] ppid=45265 vsize=650308 memory=503568 CPUtime=50.94 cores=1,3
/proc/45267/stat : 45267 (roundingsat) R 45265 45265 43184 0 -1 4194304 109113 0 0 0 5026 68 0 0 20 0 1 0 48963627 665915392 125892 18446744073709551615 4227072 8923433 140731412399616 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41398272 140731412408738 140731412408872 140731412408872 140731412414442 0
/proc/45267/statm: 162577 125892 2304 1147 0 150004 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 654500 KiB
Current children cumulated memory: 506640 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.22 4.18 6/258 45271
/proc/meminfo: memFree=126282696/131382112 swapFree=33010684/33010684
[pid=45265] ppid=45262 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/45265/stat : 45265 (run-opt.sh) S 45262 45265 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48963626 4292608 768 18446744073709551615 93960679608320 93960680502853 140728234250032 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93960680741904 93960680789648 93960695046144 140728234256749 140728234256872 140728234256872 140728234262474 0
/proc/45265/statm: 1048 768 704 219 0 110 0
[pid=45267] ppid=45265 vsize=654168 memory=509200 CPUtime=102 cores=1,3
/proc/45267/stat : 45267 (roundingsat) R 45265 45265 43184 0 -1 4194304 110511 0 0 0 10116 84 0 0 20 0 1 0 48963627 669868032 127300 18446744073709551615 4227072 8923433 140731412399616 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41398272 140731412408738 140731412408872 140731412408872 140731412414442 0
/proc/45267/statm: 163542 127300 2304 1147 0 150969 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 658360 KiB
Current children cumulated memory: 512272 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.21 4.18 6/258 45273
/proc/meminfo: memFree=126182204/131382112 swapFree=33010684/33010684
[pid=45265] ppid=45262 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/45265/stat : 45265 (run-opt.sh) S 45262 45265 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48963626 4292608 768 18446744073709551615 93960679608320 93960680502853 140728234250032 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93960680741904 93960680789648 93960695046144 140728234256749 140728234256872 140728234256872 140728234262474 0
/proc/45265/statm: 1048 768 704 219 0 110 0
[pid=45267] ppid=45265 vsize=743016 memory=558544 CPUtime=161.82 cores=1,3
/proc/45267/stat : 45267 (roundingsat) R 45265 45265 43184 0 -1 4194304 119815 0 0 0 16073 109 0 0 20 0 1 0 48963627 760848384 139636 18446744073709551615 4227072 8923433 140731412399616 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41398272 140731412408738 140731412408872 140731412408872 140731412414442 0
/proc/45267/statm: 185754 139636 2304 1147 0 173181 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 747208 KiB
Current children cumulated memory: 561616 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.19 4.17 6/258 45275
/proc/meminfo: memFree=125914992/131382112 swapFree=33010684/33010684
[pid=45265] ppid=45262 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/45265/stat : 45265 (run-opt.sh) S 45262 45265 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48963626 4292608 768 18446744073709551615 93960679608320 93960680502853 140728234250032 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93960680741904 93960680789648 93960695046144 140728234256749 140728234256872 140728234256872 140728234262474 0
/proc/45265/statm: 1048 768 704 219 0 110 0
[pid=45267] ppid=45265 vsize=745788 memory=562512 CPUtime=221.66 cores=1,3
/proc/45267/stat : 45267 (roundingsat) R 45265 45265 43184 0 -1 4194304 120787 0 0 0 22037 129 0 0 20 0 1 0 48963627 763686912 140628 18446744073709551615 4227072 8923433 140731412399616 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41398272 140731412408738 140731412408872 140731412408872 140731412414442 0
/proc/45267/statm: 186447 140628 2304 1147 0 173874 0
Current children cumulated CPU time: 221.66 s

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

/proc/45267/statm: 310303 294309 2304 1147 0 297730 0
Current children cumulated CPU time: 3033.66 s
Current children cumulated vsize: 1245404 KiB
Current children cumulated memory: 1180308 KiB

[startup+3102.3 s]
/proc/loadavg: 4.06 4.10 4.10 6/254 45425
/proc/meminfo: memFree=121926800/131382112 swapFree=33010684/33010684
[pid=45265] ppid=45262 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/45265/stat : 45265 (run-opt.sh) S 45262 45265 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48963626 4292608 768 18446744073709551615 93960679608320 93960680502853 140728234250032 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93960680741904 93960680789648 93960695046144 140728234256749 140728234256872 140728234256872 140728234262474 0
/proc/45265/statm: 1048 768 704 219 0 110 0
[pid=45267] ppid=45265 vsize=1241212 memory=1177236 CPUtime=3093.49 cores=1,3
/proc/45267/stat : 45267 (roundingsat) R 45265 45265 43184 0 -1 4194304 205634 0 0 0 308564 785 0 0 20 0 1 0 48963627 1271001088 294309 18446744073709551615 4227072 8923433 140731412399616 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41398272 140731412408738 140731412408872 140731412408872 140731412414442 0
/proc/45267/statm: 310303 294309 2304 1147 0 297730 0
Current children cumulated CPU time: 3093.49 s
Current children cumulated vsize: 1245404 KiB
Current children cumulated memory: 1180308 KiB

[startup+3162.3 s]
/proc/loadavg: 4.06 4.09 4.09 6/254 45427
/proc/meminfo: memFree=121899344/131382112 swapFree=33010684/33010684
[pid=45265] ppid=45262 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/45265/stat : 45265 (run-opt.sh) S 45262 45265 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48963626 4292608 768 18446744073709551615 93960679608320 93960680502853 140728234250032 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93960680741904 93960680789648 93960695046144 140728234256749 140728234256872 140728234256872 140728234262474 0
/proc/45265/statm: 1048 768 704 219 0 110 0
[pid=45267] ppid=45265 vsize=1270248 memory=1192596 CPUtime=3153.34 cores=1,3
/proc/45267/stat : 45267 (roundingsat) R 45265 45265 43184 0 -1 4194304 209465 0 0 0 314539 795 0 0 20 0 1 0 48963627 1300733952 298149 18446744073709551615 4227072 8923433 140731412399616 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41398272 140731412408738 140731412408872 140731412408872 140731412414442 0
/proc/45267/statm: 317562 298149 2304 1147 0 304989 0
Current children cumulated CPU time: 3153.34 s
Current children cumulated vsize: 1274440 KiB
Current children cumulated memory: 1195668 KiB

[startup+3222.3 s]
/proc/loadavg: 4.17 4.12 4.10 5/254 45566
/proc/meminfo: memFree=127427044/131382112 swapFree=33010684/33010684
[pid=45265] ppid=45262 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/45265/stat : 45265 (run-opt.sh) S 45262 45265 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48963626 4292608 768 18446744073709551615 93960679608320 93960680502853 140728234250032 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93960680741904 93960680789648 93960695046144 140728234256749 140728234256872 140728234256872 140728234262474 0
/proc/45265/statm: 1048 768 704 219 0 110 0
[pid=45267] ppid=45265 vsize=1288556 memory=1209328 CPUtime=3213.15 cores=1,3
/proc/45267/stat : 45267 (roundingsat) R 45265 45265 43184 0 -1 4194304 212113 0 0 0 320511 804 0 0 20 0 1 0 48963627 1319481344 302332 18446744073709551615 4227072 8923433 140731412399616 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41398272 140731412408738 140731412408872 140731412408872 140731412414442 0
/proc/45267/statm: 322139 302332 2304 1147 0 309566 0
Current children cumulated CPU time: 3213.15 s
Current children cumulated vsize: 1292748 KiB
Current children cumulated memory: 1212400 KiB

[startup+3282.3 s]
/proc/loadavg: 4.20 4.13 4.10 5/254 45568
/proc/meminfo: memFree=127297680/131382112 swapFree=33010684/33010684
[pid=45265] ppid=45262 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/45265/stat : 45265 (run-opt.sh) S 45262 45265 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48963626 4292608 768 18446744073709551615 93960679608320 93960680502853 140728234250032 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93960680741904 93960680789648 93960695046144 140728234256749 140728234256872 140728234256872 140728234262474 0
/proc/45265/statm: 1048 768 704 219 0 110 0
[pid=45267] ppid=45265 vsize=1311508 memory=1223940 CPUtime=3272.97 cores=1,3
/proc/45267/stat : 45267 (roundingsat) R 45265 45265 43184 0 -1 4194304 215330 0 0 0 326483 814 0 0 20 0 1 0 48963627 1342984192 305985 18446744073709551615 4227072 8923433 140731412399616 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41398272 140731412408738 140731412408872 140731412408872 140731412414442 0
/proc/45267/statm: 327877 305985 2304 1147 0 315304 0
Current children cumulated CPU time: 3272.97 s
Current children cumulated vsize: 1315700 KiB
Current children cumulated memory: 1227012 KiB

[startup+3342.3 s]
/proc/loadavg: 4.79 4.30 4.16 5/253 45570
/proc/meminfo: memFree=127124916/131382112 swapFree=33010684/33010684
[pid=45265] ppid=45262 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/45265/stat : 45265 (run-opt.sh) S 45262 45265 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48963626 4292608 768 18446744073709551615 93960679608320 93960680502853 140728234250032 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93960680741904 93960680789648 93960695046144 140728234256749 140728234256872 140728234256872 140728234262474 0
/proc/45265/statm: 1048 768 704 219 0 110 0
[pid=45267] ppid=45265 vsize=1474084 memory=1245744 CPUtime=3332.78 cores=1,3
/proc/45267/stat : 45267 (roundingsat) R 45265 45265 43184 0 -1 4194304 220295 0 0 0 332453 825 0 0 20 0 1 0 48963627 1509462016 311436 18446744073709551615 4227072 8923433 140731412399616 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41398272 140731412408738 140731412408872 140731412408872 140731412414442 0
/proc/45267/statm: 368521 311436 2304 1147 0 355948 0
Current children cumulated CPU time: 3332.78 s
Current children cumulated vsize: 1478276 KiB
Current children cumulated memory: 1248816 KiB

[startup+3402.3 s]
/proc/loadavg: 4.38 4.28 4.16 5/253 45572
/proc/meminfo: memFree=126974372/131382112 swapFree=33010684/33010684
[pid=45265] ppid=45262 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/45265/stat : 45265 (run-opt.sh) S 45262 45265 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48963626 4292608 768 18446744073709551615 93960679608320 93960680502853 140728234250032 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93960680741904 93960680789648 93960695046144 140728234256749 140728234256872 140728234256872 140728234262474 0
/proc/45265/statm: 1048 768 704 219 0 110 0
[pid=45267] ppid=45265 vsize=1474084 memory=1245744 CPUtime=3392.6 cores=1,3
/proc/45267/stat : 45267 (roundingsat) R 45265 45265 43184 0 -1 4194304 220295 0 0 0 338426 834 0 0 20 0 1 0 48963627 1509462016 311436 18446744073709551615 4227072 8923433 140731412399616 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41398272 140731412408738 140731412408872 140731412408872 140731412414442 0
/proc/45267/statm: 368521 311436 2304 1147 0 355948 0
Current children cumulated CPU time: 3392.6 s
Current children cumulated vsize: 1478276 KiB
Current children cumulated memory: 1248816 KiB

[startup+3462.3 s]
/proc/loadavg: 4.19 4.24 4.16 5/253 45574
/proc/meminfo: memFree=126975272/131382112 swapFree=33010684/33010684
[pid=45265] ppid=45262 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/45265/stat : 45265 (run-opt.sh) S 45262 45265 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48963626 4292608 768 18446744073709551615 93960679608320 93960680502853 140728234250032 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93960680741904 93960680789648 93960695046144 140728234256749 140728234256872 140728234256872 140728234262474 0
/proc/45265/statm: 1048 768 704 219 0 110 0
[pid=45267] ppid=45265 vsize=1474084 memory=1245744 CPUtime=3452.42 cores=1,3
/proc/45267/stat : 45267 (roundingsat) R 45265 45265 43184 0 -1 4194304 220302 0 0 0 344396 846 0 0 20 0 1 0 48963627 1509462016 311436 18446744073709551615 4227072 8923433 140731412399616 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41398272 140731412408738 140731412408872 140731412408872 140731412414442 0
/proc/45267/statm: 368521 311436 2304 1147 0 355948 0
Current children cumulated CPU time: 3452.42 s
Current children cumulated vsize: 1478276 KiB
Current children cumulated memory: 1248816 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.21 4.15 5/253 45576
/proc/meminfo: memFree=126877796/131382112 swapFree=33010684/33010684
[pid=45265] ppid=45262 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/45265/stat : 45265 (run-opt.sh) S 45262 45265 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48963626 4292608 768 18446744073709551615 93960679608320 93960680502853 140728234250032 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93960680741904 93960680789648 93960695046144 140728234256749 140728234256872 140728234256872 140728234262474 0
/proc/45265/statm: 1048 768 704 219 0 110 0
[pid=45267] ppid=45265 vsize=1475376 memory=1246768 CPUtime=3512.22 cores=1,3
/proc/45267/stat : 45267 (roundingsat) R 45265 45265 43184 0 -1 4194304 220578 0 0 0 350367 855 0 0 20 0 1 0 48963627 1510785024 311692 18446744073709551615 4227072 8923433 140731412399616 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41398272 140731412408738 140731412408872 140731412408872 140731412414442 0
/proc/45267/statm: 368844 311692 2304 1147 0 356271 0
Current children cumulated CPU time: 3512.22 s
Current children cumulated vsize: 1479568 KiB
Current children cumulated memory: 1249840 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.18 4.14 5/254 45581
/proc/meminfo: memFree=126865508/131382112 swapFree=33010684/33010684
[pid=45265] ppid=45262 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/45265/stat : 45265 (run-opt.sh) S 45262 45265 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48963626 4292608 768 18446744073709551615 93960679608320 93960680502853 140728234250032 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93960680741904 93960680789648 93960695046144 140728234256749 140728234256872 140728234256872 140728234262474 0
/proc/45265/statm: 1048 768 704 219 0 110 0
[pid=45267] ppid=45265 vsize=1476044 memory=1247408 CPUtime=3572.05 cores=1,3
/proc/45267/stat : 45267 (roundingsat) R 45265 45265 43184 0 -1 4194304 220833 0 0 0 356337 868 0 0 20 0 1 0 48963627 1511469056 311852 18446744073709551615 4227072 8923433 140731412399616 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41398272 140731412408738 140731412408872 140731412408872 140731412414442 0
/proc/45267/statm: 369011 311852 2304 1147 0 356438 0
Current children cumulated CPU time: 3572.05 s
Current children cumulated vsize: 1480236 KiB
Current children cumulated memory: 1250480 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 4.12 4.18 4.14 5/254 45582
/proc/meminfo: memFree=126837108/131382112 swapFree=33010684/33010684
[pid=45265] ppid=45262 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/45265/stat : 45265 (run-opt.sh) S 45262 45265 43184 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 48963626 4292608 768 18446744073709551615 93960679608320 93960680502853 140728234250032 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93960680741904 93960680789648 93960695046144 140728234256749 140728234256872 140728234256872 140728234262474 0
/proc/45265/statm: 1048 768 704 219 0 110 0
[pid=45267] ppid=45265 vsize=1477268 memory=1250740 CPUtime=3600.05 cores=1,3
/proc/45267/stat : 45267 (roundingsat) R 45265 45265 43184 0 -1 4194304 221138 0 0 0 359130 875 0 0 20 0 1 0 48963627 1512722432 312685 18446744073709551615 4227072 8923433 140731412399616 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 41398272 140731412408738 140731412408872 140731412408872 140731412414442 0
/proc/45267/statm: 369317 312685 2304 1147 0 356744 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1481460 KiB
Current children cumulated memory: 1253812 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.002149 s, system=0.002858 s

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

# cumulated CPU time of all completed processes:  user=3591.31 s, system=8.76736 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

Child status: 2

Real time (s): 3610.41
CPU time (s): 3600.08
CPU user time (s): 3591.31
CPU system time (s): 8.76736
CPU usage (%): 99.7139
Max. virtual memory (cumulated for all children) (KiB): 1481460
Max. memory (cumulated for all children) (KiB): 1253812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.31
system time used= 8.76736
maximum resident set size= 1251124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 221367
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 291
involuntary context switches= 2411


# summary of solver processes directly reported to runsolver:
#   pid: 45265,45267
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3591.31
#   total CPU system time (s): 8.76736

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.0979 second user time and 34.9679 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2025-07-01 03:20:39
IDJOB=4488540
IDBENCH=147521
IDSOLVER=3350
FILE ID=nodeC012/4488540-1751332839
RUNJOBID= nodeC012-1751328774-43196
SLURM_JOB_ID= 9594375
Free space on /tmp= 433036 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_21.opb.PB06.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4488540-1751332839/watcher-4488540-1751332839 -o /tmp/evaluation-result-4488540-1751332839/solver-4488540-1751332839 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751328774-43196 --watchdog 3760  run-opt.sh HOME/instance-4488540-1751332839.opb

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

MD5SUM BENCH= 3cf724146d283b6491b934147ab5b23d
RANDOM SEED=1419460629

nodeC012 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.153
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.39
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		: 1197.147
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.39
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.170
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.39
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.311
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.39
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		: 3662.222
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.39
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		: 3658.413
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.39
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.456
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.39
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.597
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.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        126812752 kB
MemAvailable:   126805656 kB
Buffers:            3280 kB
Cached:           801156 kB
SwapCached:            0 kB
Active:          3516124 kB
Inactive:         490752 kB
Active(anon):    3220400 kB
Inactive(anon):        0 kB
Active(file):     295724 kB
Inactive(file):   490752 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7504 kB
Writeback:             4 kB
AnonPages:       3205580 kB
Mapped:           116000 kB
Shmem:             17960 kB
KReclaimable:      91728 kB
Slab:             174732 kB
SReclaimable:      91728 kB
SUnreclaim:        83004 kB
KernelStack:        4128 kB
PageTables:        10616 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    4328880 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149528 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    456704 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:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433032 MiB
End job on nodeC012 at 2025-07-01 04:20:50