Trace number 4489737

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat-ihs-log 63f22ad? (TO) 3600.15 3611.78

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_6.opb.PB06.opb
MD5SUM502d6e212fd4e38a31cb5eb2ff64d408
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark242
Best CPU time to get the best result obtained on this benchmark3584.86
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 491651
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 491651
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
3.05/4.45	c #variables 10000 #constraints 656900
3.05/4.45	c objective is ce32 
4.95/6.33	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
4.95/6.33	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
4.95/6.33	c GLOBAL bounds - >= 0 @ 3.76456
5.25/6.61	c GLOBAL bounds - >= 0 @ 4.01833
5.25/6.62	c GLOBAL bounds - >= 0 @ 4.02539
5.25/6.64	c GLOBAL bounds - >= 0 @ 4.04558
5.25/6.66	c GLOBAL bounds - >= 0 @ 4.05897
5.25/6.68	c GLOBAL bounds - >= 0 @ 4.07985
5.25/6.69	c GLOBAL bounds - >= 0 @ 4.0939
5.34/6.71	c GLOBAL bounds - >= 0 @ 4.1069
5.34/6.72	c GLOBAL bounds - >= 0 @ 4.12072
5.34/6.74	c GLOBAL bounds - >= 0 @ 4.13585
5.34/6.75	c GLOBAL bounds - >= 0 @ 4.14388
5.34/6.77	c GLOBAL bounds - >= 0 @ 4.15753
5.34/6.78	c GLOBAL bounds - >= 0 @ 4.17024
5.44/6.80	c GLOBAL bounds - >= 0 @ 4.1831
5.44/6.82	c GLOBAL bounds - >= 0 @ 4.20486
5.44/6.87	c GLOBAL bounds - >= 0 @ 4.25375
5.54/6.90	c GLOBAL bounds - >= 0 @ 4.2791
5.54/6.93	c GLOBAL bounds - >= 0 @ 4.30759
5.54/6.94	c GLOBAL bounds - >= 0 @ 4.32028
5.54/6.96	c GLOBAL bounds - >= 0 @ 4.3389
5.54/6.97	c GLOBAL bounds - >= 0 @ 4.34858
5.54/6.99	c GLOBAL bounds - >= 0 @ 4.36566
5.65/7.06	c GLOBAL bounds - >= 0 @ 4.43053
5.65/7.08	c GLOBAL bounds - >= 0 @ 4.44865
5.65/7.09	c GLOBAL bounds - >= 0 @ 4.45722
5.65/7.10	c GLOBAL bounds - >= 0 @ 4.47241
5.75/7.15	c GLOBAL bounds - >= 0 @ 4.52012
5.75/7.17	c GLOBAL bounds - >= 0 @ 4.53523
5.75/7.18	c GLOBAL bounds - >= 0 @ 4.54636
5.84/7.20	c GLOBAL bounds - >= 0 @ 4.56426
5.84/7.21	c GLOBAL bounds - >= 0 @ 4.57939
5.84/7.23	c GLOBAL bounds - >= 0 @ 4.59351
5.84/7.24	c GLOBAL bounds - >= 0 @ 4.60595
5.84/7.25	c GLOBAL bounds - >= 0 @ 4.61848
5.84/7.29	c GLOBAL bounds - >= 0 @ 4.65158
5.95/7.31	c GLOBAL bounds - >= 0 @ 4.67108
5.95/7.32	c GLOBAL bounds - >= 0 @ 4.68709
5.95/7.33	c GLOBAL bounds - >= 0 @ 4.69654
5.95/7.35	c GLOBAL bounds - >= 0 @ 4.71155
5.95/7.37	c GLOBAL bounds - >= 0 @ 4.73251
6.04/7.44	c GLOBAL bounds - >= 0 @ 4.79605
6.04/7.45	c GLOBAL bounds - >= 0 @ 4.80732
6.04/7.46	c GLOBAL bounds - >= 0 @ 4.81435
6.04/7.48	c GLOBAL bounds - >= 0 @ 4.83019
6.04/7.49	c GLOBAL bounds - >= 0 @ 4.8363
6.14/7.50	c GLOBAL bounds - >= 0 @ 4.84865
6.14/7.51	c GLOBAL bounds - >= 0 @ 4.85595
6.14/7.52	c GLOBAL bounds - >= 0 @ 4.86979
6.14/7.55	c GLOBAL bounds - >= 0 @ 4.89337
6.14/7.56	c GLOBAL bounds - >= 0 @ 4.9073
6.14/7.58	c GLOBAL bounds - >= 0 @ 4.92228
6.14/7.59	c GLOBAL bounds - >= 0 @ 4.93032
6.24/7.60	c GLOBAL bounds - >= 0 @ 4.93983
6.24/7.61	c GLOBAL bounds - >= 0 @ 4.95332
6.24/7.62	c GLOBAL bounds - >= 0 @ 4.96263
6.24/7.64	c GLOBAL bounds - >= 0 @ 4.9737
6.24/7.66	c GLOBAL bounds - >= 0 @ 4.99126
6.34/7.70	c GLOBAL bounds - >= 0 @ 5.02867
6.34/7.71	c GLOBAL bounds - >= 0 @ 5.04062
6.34/7.72	c GLOBAL bounds - >= 0 @ 5.05293
6.34/7.74	c GLOBAL bounds - >= 0 @ 5.06446
6.34/7.76	c GLOBAL bounds - >= 0 @ 5.08284
6.44/7.81	c GLOBAL bounds - >= 0 @ 5.1356
6.44/7.88	c GLOBAL bounds - >= 0 @ 5.19926
6.54/7.90	c GLOBAL bounds - >= 0 @ 5.2148
6.54/7.91	c GLOBAL bounds - >= 0 @ 5.22713
6.54/7.92	c GLOBAL bounds - >= 0 @ 5.23552
6.54/7.95	c GLOBAL bounds - >= 0 @ 5.25881
6.54/7.96	c GLOBAL bounds - >= 0 @ 5.27358
6.54/7.98	c GLOBAL bounds - >= 0 @ 5.28711
6.54/7.99	c GLOBAL bounds - >= 0 @ 5.29718
6.64/8.00	c GLOBAL bounds - >= 0 @ 5.30988
6.64/8.02	c GLOBAL bounds - >= 0 @ 5.32313
6.64/8.06	c GLOBAL bounds - >= 0 @ 5.36429
6.75/8.11	c GLOBAL bounds - >= 0 @ 5.40758
6.75/8.12	c GLOBAL bounds - >= 0 @ 5.42367
6.75/8.15	c GLOBAL bounds - >= 0 @ 5.44678
6.75/8.18	c GLOBAL bounds - >= 0 @ 5.48257
6.84/8.21	c GLOBAL bounds - >= 0 @ 5.5105
6.84/8.24	c GLOBAL bounds - >= 0 @ 5.53813
6.84/8.27	c GLOBAL bounds - >= 0 @ 5.56215
6.84/8.28	c GLOBAL bounds - >= 0 @ 5.57128
7.14/8.57	c #Conflicts:       1000 | #Constraints:     658060
7.14/8.57	c GLOBAL bounds - >= 0 @ 5.86818
7.14/8.59	c GLOBAL bounds - >= 0 @ 5.88517
7.24/8.62	c GLOBAL bounds - >= 0 @ 5.91156
7.24/8.65	c GLOBAL bounds - >= 0 @ 5.93385
7.24/8.66	c GLOBAL bounds - >= 0 @ 5.94853
7.24/8.67	c GLOBAL bounds - >= 0 @ 5.95821
7.24/8.68	c GLOBAL bounds - >= 0 @ 5.96747
7.24/8.69	c GLOBAL bounds - >= 0 @ 5.98052
7.34/8.71	c GLOBAL bounds - >= 0 @ 5.99277
7.34/8.72	c GLOBAL bounds - >= 0 @ 6.00469
7.34/8.75	c GLOBAL bounds - >= 0 @ 6.03525
7.34/8.77	c GLOBAL bounds - >= 0 @ 6.04684
7.44/8.80	c GLOBAL bounds - >= 0 @ 6.07397
7.44/8.82	c GLOBAL bounds - >= 0 @ 6.09258
7.44/8.85	c GLOBAL bounds - >= 0 @ 6.12338
7.44/8.87	c GLOBAL bounds - >= 0 @ 6.1401
7.44/8.89	c GLOBAL bounds - >= 0 @ 6.15961
7.53/8.90	c GLOBAL bounds - >= 0 @ 6.17334
7.53/8.93	c GLOBAL bounds - >= 0 @ 6.20089
7.53/8.94	c GLOBAL bounds - >= 0 @ 6.21027
7.53/8.96	c GLOBAL bounds - >= 0 @ 6.2261
7.53/8.99	c GLOBAL bounds - >= 0 @ 6.25451
7.64/9.00	c GLOBAL bounds - >= 0 @ 6.26927
7.64/9.02	c GLOBAL bounds - >= 0 @ 6.28841
7.64/9.06	c GLOBAL bounds - >= 0 @ 6.32542
7.74/9.11	c GLOBAL bounds - >= 0 @ 6.37179
7.74/9.13	c GLOBAL bounds - >= 0 @ 6.38769
7.74/9.14	c GLOBAL bounds - >= 0 @ 6.4
7.74/9.16	c GLOBAL bounds - >= 0 @ 6.41346
7.74/9.18	c GLOBAL bounds - >= 0 @ 6.43383
7.74/9.20	c GLOBAL bounds - >= 0 @ 6.44912
7.84/9.22	c GLOBAL bounds - >= 0 @ 6.4763
7.84/9.23	c GLOBAL bounds - >= 0 @ 6.48438
7.84/9.26	c GLOBAL bounds - >= 0 @ 6.50427
7.93/9.31	c GLOBAL bounds - >= 0 @ 6.55369
7.93/9.36	c GLOBAL bounds - >= 0 @ 6.60451
7.93/9.38	c GLOBAL bounds - >= 0 @ 6.62038
8.04/9.40	c GLOBAL bounds - >= 0 @ 6.6382
8.04/9.42	c GLOBAL bounds - >= 0 @ 6.6543
8.04/9.47	c GLOBAL bounds - >= 0 @ 6.70511
8.04/9.49	c GLOBAL bounds - >= 0 @ 6.72007
8.14/9.53	c GLOBAL bounds - >= 0 @ 6.76332
8.34/9.74	c GLOBAL bounds - >= 0 @ 6.9668
8.34/9.77	c GLOBAL bounds - >= 0 @ 6.98994
8.34/9.79	c GLOBAL bounds - >= 0 @ 7.01606
8.43/9.82	c GLOBAL bounds - >= 0 @ 7.03723
8.43/9.84	c GLOBAL bounds - >= 0 @ 7.06021
8.43/9.86	c GLOBAL bounds - >= 0 @ 7.07366
8.43/9.89	c GLOBAL bounds - >= 0 @ 7.10563
8.54/9.90	c GLOBAL bounds - >= 0 @ 7.11406
8.54/9.93	c GLOBAL bounds - >= 0 @ 7.14106
8.54/9.94	c GLOBAL bounds - >= 0 @ 7.15566
8.64/10.07	c GLOBAL bounds - >= 0 @ 7.28024
8.74/10.11	c GLOBAL bounds - >= 0 @ 7.31733
8.74/10.12	c GLOBAL bounds - >= 0 @ 7.32709
8.83/10.26	c GLOBAL bounds - >= 0 @ 7.46424
8.93/10.35	c GLOBAL bounds - >= 0 @ 7.54458
8.93/10.36	c GLOBAL bounds - >= 0 @ 7.55615
9.03/10.40	c GLOBAL bounds - >= 0 @ 7.5998
9.03/10.42	c GLOBAL bounds - >= 0 @ 7.61436
9.14/10.54	c GLOBAL bounds - >= 0 @ 7.73798
9.14/10.57	c GLOBAL bounds - >= 0 @ 7.75515
9.23/10.60	c GLOBAL bounds - >= 0 @ 7.78605
9.23/10.65	c GLOBAL bounds - >= 0 @ 7.83306
9.23/10.66	c GLOBAL bounds - >= 0 @ 7.84883
9.34/10.70	c GLOBAL bounds - >= 0 @ 7.88758
9.34/10.73	c GLOBAL bounds - >= 0 @ 7.92015
9.34/10.76	c GLOBAL bounds - >= 0 @ 7.93769
9.34/10.77	c GLOBAL bounds - >= 0 @ 7.94855
9.34/10.79	c GLOBAL bounds - >= 0 @ 7.97137
9.43/10.81	c GLOBAL bounds - >= 0 @ 7.98579
9.43/10.83	c GLOBAL bounds - >= 0 @ 8.00545
9.43/10.86	c GLOBAL bounds - >= 0 @ 8.03742
9.43/10.87	c GLOBAL bounds - >= 0 @ 8.05182
9.43/10.89	c GLOBAL bounds - >= 0 @ 8.06191
9.54/10.92	c GLOBAL bounds - >= 0 @ 8.09046
9.54/10.94	c GLOBAL bounds - >= 0 @ 8.11279
9.54/10.95	c GLOBAL bounds - >= 0 @ 8.12395
9.54/10.99	c GLOBAL bounds - >= 0 @ 8.15587
9.54/11.00	c GLOBAL bounds - >= 0 @ 8.16726
9.64/11.04	c GLOBAL bounds - >= 0 @ 8.20549
9.64/11.07	c GLOBAL bounds - >= 0 @ 8.23749
9.64/11.09	c GLOBAL bounds - >= 0 @ 8.25316
9.74/11.11	c GLOBAL bounds - >= 0 @ 8.27572
9.74/11.14	c GLOBAL bounds - >= 0 @ 8.30104
9.83/11.21	c GLOBAL bounds - >= 0 @ 8.37112
9.83/11.22	c GLOBAL bounds - >= 0 @ 8.3796
9.83/11.24	c GLOBAL bounds - >= 0 @ 8.39663
9.83/11.27	c GLOBAL bounds - >= 0 @ 8.42359
9.83/11.29	c GLOBAL bounds - >= 0 @ 8.44504
9.94/11.31	c GLOBAL bounds - >= 0 @ 8.46426
9.94/11.33	c GLOBAL bounds - >= 0 @ 8.48284
9.94/11.35	c GLOBAL bounds - >= 0 @ 8.50343
10.03/11.40	c GLOBAL bounds - >= 0 @ 8.55345
10.23/11.60	c GLOBAL bounds - >= 0 @ 8.74192
10.23/11.62	c GLOBAL bounds - >= 0 @ 8.76269
10.33/11.75	c GLOBAL bounds - >= 0 @ 8.89309
10.33/11.78	c GLOBAL bounds - >= 0 @ 8.91678
10.43/11.80	c GLOBAL bounds - >= 0 @ 8.93524
10.43/11.83	c GLOBAL bounds - >= 0 @ 8.95922
10.43/11.84	c GLOBAL bounds - >= 0 @ 8.97332
10.43/11.87	c GLOBAL bounds - >= 0 @ 9.00202
10.53/11.93	c GLOBAL bounds - >= 0 @ 9.05765
10.53/11.97	c GLOBAL bounds - >= 0 @ 9.09483
10.64/12.05	c GLOBAL bounds - >= 0 @ 9.17162
10.64/12.09	c GLOBAL bounds - >= 0 @ 9.21146
10.74/12.11	c GLOBAL bounds - >= 0 @ 9.22386
10.74/12.14	c GLOBAL bounds - >= 0 @ 9.24809
10.74/12.15	c GLOBAL bounds - >= 0 @ 9.26597
10.74/12.17	c GLOBAL bounds - >= 0 @ 9.2828
10.74/12.19	c GLOBAL bounds - >= 0 @ 9.29529
10.83/12.21	c GLOBAL bounds - >= 0 @ 9.31693
10.83/12.24	c GLOBAL bounds - >= 0 @ 9.33631
10.83/12.25	c GLOBAL bounds - >= 0 @ 9.34769
10.93/12.30	c GLOBAL bounds - >= 0 @ 9.39352
11.13/12.56	c GLOBAL bounds - >= 0 @ 9.65659
11.33/12.75	c GLOBAL bounds - >= 0 @ 9.83093
11.33/12.78	c GLOBAL bounds - >= 0 @ 9.86066
11.52/12.90	c GLOBAL bounds - >= 0 @ 9.98424
11.52/12.93	c GLOBAL bounds - >= 0 @ 10.0063
11.63/13.00	c GLOBAL bounds - >= 0 @ 10.0796
11.63/13.01	c GLOBAL bounds - >= 0 @ 10.0919
11.63/13.04	c GLOBAL bounds - >= 0 @ 10.1129
11.63/13.05	c GLOBAL bounds - >= 0 @ 10.123
11.63/13.06	c GLOBAL bounds - >= 0 @ 10.1341
11.63/13.08	c GLOBAL bounds - >= 0 @ 10.1527
11.73/13.12	c GLOBAL bounds - >= 0 @ 10.1908
11.73/13.18	c GLOBAL bounds - >= 0 @ 10.2478
11.83/13.23	c GLOBAL bounds - >= 0 @ 10.2981
11.83/13.27	c GLOBAL bounds - >= 0 @ 10.339
11.93/13.31	c GLOBAL bounds - >= 0 @ 10.3735
12.02/13.42	c GLOBAL bounds - >= 0 @ 10.4808
12.13/13.57	c GLOBAL bounds - >= 0 @ 10.6267
12.13/13.59	c GLOBAL bounds - >= 0 @ 10.6479
12.23/13.61	c GLOBAL bounds - >= 0 @ 10.6596
12.23/13.62	c GLOBAL bounds - >= 0 @ 10.6744
12.23/13.65	c GLOBAL bounds - >= 0 @ 10.6977
12.23/13.67	c GLOBAL bounds - >= 0 @ 10.7135
12.23/13.69	c GLOBAL bounds - >= 0 @ 10.7397
12.33/13.72	c GLOBAL bounds - >= 0 @ 10.7621
12.33/13.79	c GLOBAL bounds - >= 0 @ 10.8321
12.43/13.82	c GLOBAL bounds - >= 0 @ 10.8627
12.43/13.87	c GLOBAL bounds - >= 0 @ 10.9039
12.52/13.97	c GLOBAL bounds - >= 0 @ 10.9953
12.52/13.99	c GLOBAL bounds - >= 0 @ 11.0194
12.63/14.02	c GLOBAL bounds - >= 0 @ 11.0448
12.63/14.04	c GLOBAL bounds - >= 0 @ 11.0635
12.63/14.07	c GLOBAL bounds - >= 0 @ 11.0904
13.32/14.79	c #Conflicts:       2000 | #Constraints:     659356
13.32/14.79	c INPROCESSING
13.32/14.79	c GLOBAL bounds - >= 0 @ 11.7991
13.42/14.86	c GLOBAL bounds - >= 0 @ 11.8664
13.53/14.93	c GLOBAL bounds - >= 0 @ 11.9321
13.53/14.96	c GLOBAL bounds - >= 0 @ 11.9666
13.82/15.21	c GLOBAL bounds - >= 0 @ 12.2123
13.82/15.29	c GLOBAL bounds - >= 0 @ 12.2819
13.93/15.35	c GLOBAL bounds - >= 0 @ 12.3413
14.02/15.48	c GLOBAL bounds - >= 0 @ 12.4733
14.12/15.51	c GLOBAL bounds - >= 0 @ 12.4953
14.12/15.52	c GLOBAL bounds - >= 0 @ 12.5067
14.12/15.56	c GLOBAL bounds - >= 0 @ 12.5379
14.12/15.58	c GLOBAL bounds - >= 0 @ 12.558
14.22/15.61	c GLOBAL bounds - >= 0 @ 12.584
14.22/15.63	c GLOBAL bounds - >= 0 @ 12.6064
15.02/16.43	c GLOBAL bounds - >= 0 @ 13.3799
15.12/16.52	c GLOBAL bounds - >= 0 @ 13.4715
15.12/16.54	c GLOBAL bounds - >= 0 @ 13.4844
15.12/16.56	c GLOBAL bounds - >= 0 @ 13.5052
15.12/16.59	c GLOBAL bounds - >= 0 @ 13.5326
18.11/19.56	c GLOBAL bounds - >= 0 @ 16.4501
18.11/19.58	c GLOBAL bounds - >= 0 @ 16.467
18.81/20.26	c #Conflicts:       3000 | #Constraints:     659402
18.81/20.26	c GLOBAL bounds - >= 0 @ 17.1301
18.91/20.34	c GLOBAL bounds - >= 0 @ 17.2073
18.91/20.38	c GLOBAL bounds - >= 0 @ 17.2441
19.41/20.82	c GLOBAL bounds - >= 0 @ 17.6767
19.51/20.99	c GLOBAL bounds - >= 0 @ 17.8377
19.61/21.08	c GLOBAL bounds - >= 0 @ 17.9217
19.71/21.14	c GLOBAL bounds - >= 0 @ 17.9818
19.71/21.18	c GLOBAL bounds - >= 0 @ 18.0148
20.71/22.19	c GLOBAL bounds - >= 0 @ 18.9979
20.80/22.27	c GLOBAL bounds - >= 0 @ 19.0736
21.20/22.69	c GLOBAL bounds - >= 0 @ 19.4888
21.31/22.73	c GLOBAL bounds - >= 0 @ 19.5251
21.31/22.75	c GLOBAL bounds - >= 0 @ 19.5472
21.31/22.78	c GLOBAL bounds - >= 0 @ 19.57
21.40/22.81	c GLOBAL bounds - >= 0 @ 19.6064
21.50/22.93	c GLOBAL bounds - >= 0 @ 19.7188
21.90/23.31	c GLOBAL bounds - >= 0 @ 20.0876
22.00/23.40	c GLOBAL bounds - >= 0 @ 20.1739
22.10/23.55	c GLOBAL bounds - >= 0 @ 20.3164
22.20/23.66	c GLOBAL bounds - >= 0 @ 20.4301
22.31/23.75	c GLOBAL bounds - >= 0 @ 20.5158
22.31/23.79	c GLOBAL bounds - >= 0 @ 20.547
22.40/23.82	c GLOBAL bounds - >= 0 @ 20.5779
22.40/23.85	c GLOBAL bounds - >= 0 @ 20.6057
22.50/23.90	c GLOBAL bounds - >= 0 @ 20.6567
22.50/23.95	c GLOBAL bounds - >= 0 @ 20.6972
22.61/24.03	c GLOBAL bounds - >= 0 @ 20.7804
22.61/24.07	c GLOBAL bounds - >= 0 @ 20.8106
22.61/24.10	c GLOBAL bounds - >= 0 @ 20.8411
22.71/24.12	c GLOBAL bounds - >= 0 @ 20.8568
22.71/24.14	c GLOBAL bounds - >= 0 @ 20.8777
22.80/24.22	c GLOBAL bounds - >= 0 @ 20.9494
23.20/24.60	c GLOBAL bounds - >= 0 @ 21.3181
25.20/26.60	c #Conflicts:       4000 | #Constraints:     660468
25.20/26.60	c INPROCESSING
25.20/26.60	c GARBAGE COLLECT
25.20/26.60	c GLOBAL bounds - >= 0 @ 23.278
25.20/26.68	c GLOBAL bounds - >= 0 @ 23.353
25.29/26.79	c GLOBAL bounds - >= 0 @ 23.4572
25.40/26.81	c GLOBAL bounds - >= 0 @ 23.4716
25.40/26.84	c GLOBAL bounds - >= 0 @ 23.4969
25.40/26.86	c GLOBAL bounds - >= 0 @ 23.519
26.19/27.61	c GLOBAL bounds - >= 0 @ 24.2568
26.60/28.05	c GLOBAL bounds - >= 0 @ 24.6859
26.69/28.15	c GLOBAL bounds - >= 0 @ 24.7815
26.79/28.22	c GLOBAL bounds - >= 0 @ 24.8522
26.79/28.27	c GLOBAL bounds - >= 0 @ 24.901
26.89/28.30	c GLOBAL bounds - >= 0 @ 24.9282
26.89/28.32	c GLOBAL bounds - >= 0 @ 24.9472
26.89/28.35	c GLOBAL bounds - >= 0 @ 24.9758
26.99/28.40	c GLOBAL bounds - >= 0 @ 25.0232
26.99/28.46	c GLOBAL bounds - >= 0 @ 25.0773
30.08/31.52	c #Conflicts:       5000 | #Constraints:     659909
30.08/31.52	c GLOBAL bounds - >= 0 @ 28.0831
30.18/31.64	c GLOBAL bounds - >= 0 @ 28.1992
30.18/31.66	c GLOBAL bounds - >= 0 @ 28.2185
30.38/31.85	c GLOBAL bounds - >= 0 @ 28.3985
30.48/31.95	c GLOBAL bounds - >= 0 @ 28.4976
30.58/32.02	c GLOBAL bounds - >= 0 @ 28.5633
30.58/32.06	c GLOBAL bounds - >= 0 @ 28.5947
30.68/32.16	c GLOBAL bounds - >= 0 @ 28.6971
30.78/32.23	c GLOBAL bounds - >= 0 @ 28.759
30.88/32.33	c GLOBAL bounds - >= 0 @ 28.8518
30.88/32.37	c GLOBAL bounds - >= 0 @ 28.8921
32.77/34.27	c GLOBAL bounds - >= 0 @ 30.763
32.88/34.31	c GLOBAL bounds - >= 0 @ 30.7974
33.07/34.57	c GLOBAL bounds - >= 0 @ 31.0488
33.28/34.70	c GLOBAL bounds - >= 0 @ 31.1716
33.28/34.75	c GLOBAL bounds - >= 0 @ 31.2223
36.67/38.12	c #Conflicts:       6000 | #Constraints:     660941
36.67/38.12	c GLOBAL bounds - >= 0 @ 34.5266
36.67/38.17	c GLOBAL bounds - >= 0 @ 34.5725
36.76/38.24	c GLOBAL bounds - >= 0 @ 34.6373
36.76/38.28	c GLOBAL bounds - >= 0 @ 34.6734
36.87/38.37	c GLOBAL bounds - >= 0 @ 34.7591
36.96/38.42	c GLOBAL bounds - >= 0 @ 34.8144
39.15/40.64	c INPROCESSING
39.15/40.64	c GARBAGE COLLECT
39.15/40.64	c GLOBAL bounds - >= 0 @ 36.9823
39.26/40.76	c GLOBAL bounds - >= 0 @ 37.1021
47.04/48.51	c #Conflicts:       7000 | #Constraints:     659958
47.04/48.51	c #Conflicts:       8000 | #Constraints:     660958
47.04/48.51	c GLOBAL bounds - >= 0 @ 44.7183
47.04/48.55	c GLOBAL bounds - >= 0 @ 44.7485
47.04/48.58	c GLOBAL bounds - >= 0 @ 44.7789
49.13/50.66	c GLOBAL bounds - >= 0 @ 46.8163
50.63/52.17	c GLOBAL bounds - >= 0 @ 48.3063
50.73/52.26	c GLOBAL bounds - >= 0 @ 48.388
50.93/52.42	c GLOBAL bounds - >= 0 @ 48.5535
51.13/52.64	c GLOBAL bounds - >= 0 @ 48.7718
51.22/52.73	c GLOBAL bounds - >= 0 @ 48.8475
51.83/53.34	c GLOBAL bounds - >= 0 @ 49.4443
51.93/53.44	c GLOBAL bounds - >= 0 @ 49.5386
52.03/53.52	c GLOBAL bounds - >= 0 @ 49.6143
52.03/53.57	c GLOBAL bounds - >= 0 @ 49.6633
56.41/57.97	c #Conflicts:       9000 | #Constraints:     661984
56.41/57.97	c INPROCESSING
56.41/57.97	c GARBAGE COLLECT
56.41/57.97	c GLOBAL bounds - >= 0 @ 53.9625
68.19/69.78	c #Conflicts:      10000 | #Constraints:     660689
68.19/69.78	c GLOBAL bounds - >= 0 @ 65.606
68.49/70.09	c GLOBAL bounds - >= 0 @ 65.9009
75.26/76.81	c #Conflicts:      11000 | #Constraints:     661693
75.26/76.81	c GLOBAL bounds - >= 0 @ 72.5007
75.96/77.50	c GLOBAL bounds - >= 0 @ 73.185
78.26/79.87	c GLOBAL bounds - >= 0 @ 75.5019
79.65/81.21	c #Conflicts:      12000 | #Constraints:     662699
79.65/81.21	c INPROCESSING
79.65/81.21	c GARBAGE COLLECT
79.65/81.21	c GLOBAL bounds - >= 0 @ 76.8173
79.85/81.40	c GLOBAL bounds - >= 0 @ 77.0004
82.34/83.94	c GLOBAL bounds - >= 0 @ 79.5114
82.75/84.30	c GLOBAL bounds - >= 0 @ 79.8598
82.84/84.46	c GLOBAL bounds - >= 0 @ 80.0215
84.74/86.32	c GLOBAL bounds - >= 0 @ 81.846
84.94/86.55	c GLOBAL bounds - >= 0 @ 82.078
85.04/86.62	c GLOBAL bounds - >= 0 @ 82.1406
93.52/95.19	c #Conflicts:      13000 | #Constraints:     661165
93.52/95.19	c #Conflicts:      14000 | #Constraints:     662165
93.52/95.19	c GLOBAL bounds - >= 0 @ 90.5715
95.72/97.32	c GLOBAL bounds - >= 0 @ 92.6864
100.40/102.00	c GLOBAL bounds - >= 0 @ 97.2877
102.80/104.45	c #Conflicts:      15000 | #Constraints:     663171
102.80/104.45	c INPROCESSING
102.80/104.45	c GARBAGE COLLECT
102.80/104.45	c GLOBAL bounds - >= 0 @ 99.6992
102.80/104.47	c GLOBAL bounds - >= 0 @ 99.7202
108.57/110.28	c GLOBAL bounds - >= 0 @ 105.455
139.69/141.46	c #Conflicts:      16000 | #Constraints:     661400
139.69/141.46	c #Conflicts:      17000 | #Constraints:     662400
139.69/141.46	c #Conflicts:      18000 | #Constraints:     663400
139.69/141.46	c INPROCESSING
139.69/141.46	c GARBAGE COLLECT
139.69/141.46	c #Conflicts:      19000 | #Constraints:     661421
139.69/141.46	c GLOBAL bounds - >= 0 @ 136.201
139.79/141.50	c GLOBAL bounds - >= 0 @ 136.238
140.09/141.80	c GLOBAL bounds - >= 0 @ 136.534
140.19/141.90	c GLOBAL bounds - >= 0 @ 136.639
140.79/142.53	c GLOBAL bounds - >= 0 @ 137.252
140.89/142.60	c GLOBAL bounds - >= 0 @ 137.327
141.19/142.98	c GLOBAL bounds - >= 0 @ 137.697
141.58/143.38	c GLOBAL bounds - >= 0 @ 138.09
142.48/144.24	c GLOBAL bounds - >= 0 @ 138.928
143.18/144.96	c GLOBAL bounds - >= 0 @ 139.633
143.18/144.99	c GLOBAL bounds - >= 0 @ 139.662
144.77/146.58	c GLOBAL bounds - >= 0 @ 141.217
149.56/151.39	c #Conflicts:      20000 | #Constraints:     662445
149.56/151.39	c GLOBAL bounds - >= 0 @ 145.965
151.37/153.16	c GLOBAL bounds - >= 0 @ 147.705
152.15/153.91	c GLOBAL bounds - >= 0 @ 148.439
152.15/153.99	c GLOBAL bounds - >= 0 @ 148.515
154.55/156.36	c #Conflicts:      21000 | #Constraints:     663453
154.55/156.36	c GLOBAL bounds - >= 0 @ 150.842
159.43/161.21	c INPROCESSING
159.43/161.21	c GARBAGE COLLECT
159.43/161.21	c GLOBAL bounds - >= 0 @ 155.597
164.92/166.72	c #Conflicts:      22000 | #Constraints:     661258
164.92/166.72	c GLOBAL bounds - >= 0 @ 161.038
168.91/170.76	c GLOBAL bounds - >= 0 @ 165.031
170.01/171.86	c GLOBAL bounds - >= 0 @ 166.111
181.18/183.03	c #Conflicts:      23000 | #Constraints:     662264
181.18/183.03	c #Conflicts:      24000 | #Constraints:     663264
181.18/183.03	c GLOBAL bounds - >= 0 @ 177.121
262.54/264.66	c #Conflicts:      25000 | #Constraints:     664266
262.54/264.66	c INPROCESSING
262.54/264.66	c GARBAGE COLLECT
262.54/264.66	c #Conflicts:      26000 | #Constraints:     661873
262.54/264.66	c #Conflicts:      27000 | #Constraints:     662873
262.54/264.66	c #Conflicts:      28000 | #Constraints:     663873
262.54/264.66	c #Conflicts:      29000 | #Constraints:     664873
262.54/264.66	c INPROCESSING
262.54/264.66	c GARBAGE COLLECT
262.54/264.66	c #Conflicts:      30000 | #Constraints:     662268
262.54/264.66	c GLOBAL bounds - >= 0 @ 257.792
264.44/266.54	c #Conflicts:      31000 | #Constraints:     663270
264.44/266.54	c GLOBAL bounds - >= 0 @ 259.645
270.52/272.64	c GLOBAL bounds - >= 0 @ 265.676
446.22/448.84	c #Conflicts:      32000 | #Constraints:     664274
446.22/448.84	c #Conflicts:      33000 | #Constraints:     665274
446.22/448.84	c INPROCESSING
446.22/448.84	c GARBAGE COLLECT
446.22/448.84	c #Conflicts:      34000 | #Constraints:     662475
446.22/448.84	c #Conflicts:      35000 | #Constraints:     663475
446.22/448.84	c #Conflicts:      36000 | #Constraints:     664475
446.22/448.84	c #Conflicts:      37000 | #Constraints:     665475
446.22/448.84	c INPROCESSING
446.22/448.84	c GARBAGE COLLECT
446.22/448.84	c #Conflicts:      38000 | #Constraints:     662489
446.22/448.84	c #Conflicts:      39000 | #Constraints:     663489
446.22/448.84	c #Conflicts:      40000 | #Constraints:     664489
446.22/448.84	c #Conflicts:      41000 | #Constraints:     665489
446.22/448.84	c INPROCESSING
446.22/448.84	c GARBAGE COLLECT
446.22/448.84	c #Conflicts:      42000 | #Constraints:     662294
446.22/448.84	c #Conflicts:      43000 | #Constraints:     663294
446.22/448.84	c #Conflicts:      44000 | #Constraints:     664294
446.22/448.84	c #Conflicts:      45000 | #Constraints:     665294
446.22/448.84	c GLOBAL bounds - >= 0 @ 439.974
447.02/449.64	c GLOBAL bounds - >= 0 @ 440.766
447.62/450.24	c GLOBAL bounds - >= 0 @ 441.359
869.79/873.66	c #Conflicts:      46000 | #Constraints:     666300
869.79/873.66	c INPROCESSING
869.79/873.66	c GARBAGE COLLECT
869.79/873.66	c #Conflicts:      47000 | #Constraints:     662894
869.79/873.66	c #Conflicts:      48000 | #Constraints:     663894
869.79/873.66	c #Conflicts:      49000 | #Constraints:     664894
869.79/873.66	c #Conflicts:      50000 | #Constraints:     665894
869.79/873.66	c #Conflicts:      51000 | #Constraints:     666894
869.79/873.66	c INPROCESSING
869.79/873.66	c GARBAGE COLLECT
869.79/873.66	c #Conflicts:      52000 | #Constraints:     663296
869.79/873.66	c #Conflicts:      53000 | #Constraints:     664296
869.79/873.66	c #Conflicts:      54000 | #Constraints:     665296
869.79/873.66	c #Conflicts:      55000 | #Constraints:     666296
869.79/873.66	c #Conflicts:      56000 | #Constraints:     667296
869.79/873.66	c INPROCESSING
869.79/873.66	c GARBAGE COLLECT
869.79/873.66	c #Conflicts:      57000 | #Constraints:     663492
869.79/873.66	c #Conflicts:      58000 | #Constraints:     664492
869.79/873.66	c #Conflicts:      59000 | #Constraints:     665492
869.79/873.66	c #Conflicts:      60000 | #Constraints:     666492
869.79/873.66	c #Conflicts:      61000 | #Constraints:     667492
869.79/873.66	c INPROCESSING
869.79/873.66	c GARBAGE COLLECT
869.79/873.66	c #Conflicts:      62000 | #Constraints:     663490
869.79/873.66	c #Conflicts:      63000 | #Constraints:     664490
869.79/873.66	c #Conflicts:      64000 | #Constraints:     665490
869.79/873.66	c #Conflicts:      65000 | #Constraints:     666490
869.79/873.66	c #Conflicts:      66000 | #Constraints:     667490
869.79/873.66	c INPROCESSING
869.79/873.66	c GARBAGE COLLECT
869.79/873.66	c #Conflicts:      67000 | #Constraints:     663295
869.79/873.66	c #Conflicts:      68000 | #Constraints:     664295
869.79/873.66	c #Conflicts:      69000 | #Constraints:     665295
869.79/873.66	c #Conflicts:      70000 | #Constraints:     666295
869.79/873.66	c #Conflicts:      71000 | #Constraints:     667295
869.79/873.66	c #Conflicts:      72000 | #Constraints:     668295
869.79/873.66	c INPROCESSING
869.79/873.66	c GARBAGE COLLECT
869.79/873.66	c #Conflicts:      73000 | #Constraints:     663901
869.79/873.66	c #Conflicts:      74000 | #Constraints:     664901
869.79/873.66	c #Conflicts:      75000 | #Constraints:     665901
869.79/873.66	c GLOBAL bounds - >= 0 @ 860.29
2090.17/2097.46	c #Conflicts:      76000 | #Constraints:     666903
2090.17/2097.46	c #Conflicts:      77000 | #Constraints:     667903
2090.17/2097.46	c #Conflicts:      78000 | #Constraints:     668903
2090.17/2097.46	c INPROCESSING
2090.17/2097.46	c GARBAGE COLLECT
2090.17/2097.46	c #Conflicts:      79000 | #Constraints:     664309
2090.17/2097.46	c #Conflicts:      80000 | #Constraints:     665309
2090.17/2097.46	c #Conflicts:      81000 | #Constraints:     666309
2090.17/2097.46	c #Conflicts:      82000 | #Constraints:     667309
2090.17/2097.46	c #Conflicts:      83000 | #Constraints:     668309
2090.17/2097.46	c #Conflicts:      84000 | #Constraints:     669309
2090.17/2097.46	c INPROCESSING
2090.17/2097.46	c GARBAGE COLLECT
2090.17/2097.46	c #Conflicts:      85000 | #Constraints:     664505
2090.17/2097.46	c #Conflicts:      86000 | #Constraints:     665505
2090.17/2097.46	c #Conflicts:      87000 | #Constraints:     666505
2090.17/2097.46	c #Conflicts:      88000 | #Constraints:     667505
2090.17/2097.46	c #Conflicts:      89000 | #Constraints:     668505
2090.17/2097.46	c #Conflicts:      90000 | #Constraints:     669505
2090.17/2097.46	c INPROCESSING
2090.17/2097.46	c GARBAGE COLLECT
2090.17/2097.46	c #Conflicts:      91000 | #Constraints:     664501
2090.17/2097.46	c #Conflicts:      92000 | #Constraints:     665501
2090.17/2097.46	c #Conflicts:      93000 | #Constraints:     666501
2090.17/2097.46	c #Conflicts:      94000 | #Constraints:     667501
2090.17/2097.46	c #Conflicts:      95000 | #Constraints:     668501
2090.17/2097.46	c #Conflicts:      96000 | #Constraints:     669501
2090.17/2097.46	c INPROCESSING
2090.17/2097.46	c GARBAGE COLLECT
2090.17/2097.46	c #Conflicts:      97000 | #Constraints:     664309
2090.17/2097.46	c #Conflicts:      98000 | #Constraints:     665309
2090.17/2097.46	c #Conflicts:      99000 | #Constraints:     666309
2090.17/2097.46	c #Conflicts:     100000 | #Constraints:     667309
2090.17/2097.46	c #Conflicts:     101000 | #Constraints:     668309
2090.17/2097.46	c #Conflicts:     102000 | #Constraints:     669309
2090.17/2097.46	c #Conflicts:     103000 | #Constraints:     670309
2090.17/2097.46	c INPROCESSING
2090.17/2097.46	c GARBAGE COLLECT
2090.17/2097.46	c #Conflicts:     104000 | #Constraints:     664908
2090.17/2097.46	c #Conflicts:     105000 | #Constraints:     665908
2090.17/2097.46	c #Conflicts:     106000 | #Constraints:     666908
2090.17/2097.46	c #Conflicts:     107000 | #Constraints:     667908
2090.17/2097.46	c #Conflicts:     108000 | #Constraints:     668908
2090.17/2097.46	c #Conflicts:     109000 | #Constraints:     669908
2090.17/2097.46	c #Conflicts:     110000 | #Constraints:     670908
2090.17/2097.46	c INPROCESSING
2090.17/2097.46	c GARBAGE COLLECT
2090.17/2097.46	c #Conflicts:     111000 | #Constraints:     665315
2090.17/2097.46	c #Conflicts:     112000 | #Constraints:     666315
2090.17/2097.46	c #Conflicts:     113000 | #Constraints:     667315
2090.17/2097.46	c #Conflicts:     114000 | #Constraints:     668315
2090.17/2097.46	c #Conflicts:     115000 | #Constraints:     669315
2090.17/2097.46	c #Conflicts:     116000 | #Constraints:     670315
2090.17/2097.46	c #Conflicts:     117000 | #Constraints:     671315
2090.17/2097.46	c INPROCESSING
2090.17/2097.46	c GARBAGE COLLECT
2090.17/2097.46	c #Conflicts:     118000 | #Constraints:     665515
2090.17/2097.46	c #Conflicts:     119000 | #Constraints:     666515
2090.17/2097.46	c #Conflicts:     120000 | #Constraints:     667515
2090.17/2097.46	c #Conflicts:     121000 | #Constraints:     668515
2090.17/2097.46	c #Conflicts:     122000 | #Constraints:     669515
2090.17/2097.46	c #Conflicts:     123000 | #Constraints:     670515
2090.17/2097.46	c #Conflicts:     124000 | #Constraints:     671515
2090.17/2097.46	c INPROCESSING
2090.17/2097.46	c GARBAGE COLLECT
2090.17/2097.46	c #Conflicts:     125000 | #Constraints:     665509
2090.17/2097.46	c #Conflicts:     126000 | #Constraints:     666509
2090.17/2097.46	c #Conflicts:     127000 | #Constraints:     667509
2090.17/2097.46	c #Conflicts:     128000 | #Constraints:     668509
2090.17/2097.46	c #Conflicts:     129000 | #Constraints:     669509
2090.17/2097.46	c #Conflicts:     130000 | #Constraints:     670509
2090.17/2097.46	c #Conflicts:     131000 | #Constraints:     671509
2090.17/2097.46	c INPROCESSING
2090.17/2097.46	c GARBAGE COLLECT
2090.17/2097.46	c #Conflicts:     132000 | #Constraints:     665309
2090.17/2097.46	c #Conflicts:     133000 | #Constraints:     666309
2090.17/2097.46	c #Conflicts:     134000 | #Constraints:     667309
2090.17/2097.46	c #Conflicts:     135000 | #Constraints:     668309
2090.17/2097.46	c #Conflicts:     136000 | #Constraints:     669309
2090.17/2097.46	c #Conflicts:     137000 | #Constraints:     670309
2090.17/2097.46	c #Conflicts:     138000 | #Constraints:     671309
2090.17/2097.46	c #Conflicts:     139000 | #Constraints:     672309
2090.17/2097.46	c INPROCESSING
2090.17/2097.46	c GARBAGE COLLECT
2090.17/2097.46	c #Conflicts:     140000 | #Constraints:     665915
2090.17/2097.46	c GLOBAL bounds - >= 0 @ 2074.34
2091.37/2098.61	c GLOBAL bounds - >= 0 @ 2075.48
2179.52/2187.07	c #Conflicts:     141000 | #Constraints:     666919
2179.52/2187.07	c #Conflicts:     142000 | #Constraints:     667919
2179.52/2187.07	c #Conflicts:     143000 | #Constraints:     668919
2179.52/2187.07	c #Conflicts:     144000 | #Constraints:     669919
2179.52/2187.07	c #Conflicts:     145000 | #Constraints:     670919
2179.52/2187.07	c #Conflicts:     146000 | #Constraints:     671919
2179.52/2187.07	c #Conflicts:     147000 | #Constraints:     672919
2179.52/2187.07	c INPROCESSING
2179.52/2187.07	c GARBAGE COLLECT
2179.52/2187.07	c GLOBAL bounds - >= 0 @ 2163.05
2180.52/2188.05	c GLOBAL bounds - >= 0 @ 2164.03
2180.62/2188.10	c GLOBAL bounds - >= 0 @ 2164.07
2180.62/2188.19	c GLOBAL bounds - >= 0 @ 2164.16
2180.71/2188.25	c GLOBAL bounds - >= 0 @ 2164.22
2180.92/2188.41	c GLOBAL bounds - >= 0 @ 2164.38
2202.26/2209.88	c #Conflicts:     148000 | #Constraints:     666335
2202.26/2209.88	c #Conflicts:     149000 | #Constraints:     667335
2202.26/2209.88	c GLOBAL bounds - >= 0 @ 2185.61
2311.33/2319.28	c #Conflicts:     150000 | #Constraints:     668337
2311.33/2319.28	c #Conflicts:     151000 | #Constraints:     669337
2311.33/2319.28	c #Conflicts:     152000 | #Constraints:     670337
2311.33/2319.28	c #Conflicts:     153000 | #Constraints:     671337
2311.33/2319.28	c GLOBAL bounds - >= 0 @ 2294.19
2723.22/2732.36	c #Conflicts:     154000 | #Constraints:     672339
2723.22/2732.36	c #Conflicts:     155000 | #Constraints:     673339
2723.22/2732.36	c INPROCESSING
2723.22/2732.36	c GARBAGE COLLECT
2723.22/2732.36	c #Conflicts:     156000 | #Constraints:     666536
2723.22/2732.36	c #Conflicts:     157000 | #Constraints:     667536
2723.22/2732.36	c #Conflicts:     158000 | #Constraints:     668536
2723.22/2732.36	c #Conflicts:     159000 | #Constraints:     669536
2723.22/2732.36	c #Conflicts:     160000 | #Constraints:     670536
2723.22/2732.36	c #Conflicts:     161000 | #Constraints:     671536
2723.22/2732.36	c #Conflicts:     162000 | #Constraints:     672536
2723.22/2732.36	c #Conflicts:     163000 | #Constraints:     673536
2723.22/2732.36	c INPROCESSING
2723.22/2732.36	c GARBAGE COLLECT
2723.22/2732.36	c #Conflicts:     164000 | #Constraints:     666534
2723.22/2732.36	c #Conflicts:     165000 | #Constraints:     667534
2723.22/2732.36	c #Conflicts:     166000 | #Constraints:     668534
2723.22/2732.36	c #Conflicts:     167000 | #Constraints:     669534
2723.22/2732.36	c #Conflicts:     168000 | #Constraints:     670534
2723.22/2732.36	c #Conflicts:     169000 | #Constraints:     671534
2723.22/2732.36	c #Conflicts:     170000 | #Constraints:     672534
2723.22/2732.36	c #Conflicts:     171000 | #Constraints:     673534
2723.22/2732.36	c INPROCESSING
2723.22/2732.36	c GARBAGE COLLECT
2723.22/2732.36	c #Conflicts:     172000 | #Constraints:     666323
2723.22/2732.36	c GLOBAL bounds - >= 0 @ 2704.07
2723.32/2732.44	c GLOBAL bounds - >= 0 @ 2704.15
2724.32/2733.44	c GLOBAL bounds - >= 0 @ 2705.13
2758.22/2767.44	c #Conflicts:     173000 | #Constraints:     667329
2758.22/2767.44	c #Conflicts:     174000 | #Constraints:     668329
2758.22/2767.44	c GLOBAL bounds - >= 0 @ 2738.8
2758.31/2767.50	c GLOBAL bounds - >= 0 @ 2738.87
2758.42/2767.68	c GLOBAL bounds - >= 0 @ 2739.04
2762.81/2772.06	c #Conflicts:     175000 | #Constraints:     669335
2762.81/2772.06	c GLOBAL bounds - >= 0 @ 2743.37
2763.60/2772.83	c GLOBAL bounds - >= 0 @ 2744.12
2764.10/2773.36	c GLOBAL bounds - >= 0 @ 2744.64
2772.68/2781.95	c GLOBAL bounds - >= 0 @ 2753.14
2779.46/2788.78	c #Conflicts:     176000 | #Constraints:     670343
2779.46/2788.78	c GLOBAL bounds - >= 0 @ 2759.89
2779.56/2788.85	c GLOBAL bounds - >= 0 @ 2759.96
2782.95/2792.24	c GLOBAL bounds - >= 0 @ 2763.31
2795.91/2805.28	c #Conflicts:     177000 | #Constraints:     671349
2795.91/2805.28	c GLOBAL bounds - >= 0 @ 2776.23
2799.71/2809.09	c #Conflicts:     178000 | #Constraints:     672351
2799.71/2809.09	c GLOBAL bounds - >= 0 @ 2779.99
2802.89/2812.26	c GLOBAL bounds - >= 0 @ 2783.12
2811.06/2820.41	c GLOBAL bounds - >= 0 @ 2791.17
2817.06/2826.47	c #Conflicts:     179000 | #Constraints:     673357
2817.06/2826.47	c GLOBAL bounds - >= 0 @ 2797.16
2927.73/2937.47	c #Conflicts:     180000 | #Constraints:     674359
2927.73/2937.47	c INPROCESSING
2927.73/2937.47	c GARBAGE COLLECT
2927.73/2937.47	c #Conflicts:     181000 | #Constraints:     666947
2927.73/2937.47	c #Conflicts:     182000 | #Constraints:     667947
2927.73/2937.47	c #Conflicts:     183000 | #Constraints:     668947
2927.73/2937.47	c #Conflicts:     184000 | #Constraints:     669947
2927.73/2937.47	c #Conflicts:     185000 | #Constraints:     670947
2927.73/2937.47	c #Conflicts:     186000 | #Constraints:     671947
2927.73/2937.47	c GLOBAL bounds - >= 0 @ 2907.14
3600.00/3611.60	c #Conflicts:     187000 | #Constraints:     672949
3600.00/3611.60	c #Conflicts:     188000 | #Constraints:     673949
3600.00/3611.60	c #Conflicts:     189000 | #Constraints:     674949
3600.00/3611.60	c INPROCESSING
3600.00/3611.60	c GARBAGE COLLECT
3600.00/3611.60	c #Conflicts:     190000 | #Constraints:     667357
3600.00/3611.60	c #Conflicts:     191000 | #Constraints:     668357
3600.00/3611.60	c #Conflicts:     192000 | #Constraints:     669357
3600.00/3611.60	c #Conflicts:     193000 | #Constraints:     670357
3600.00/3611.60	c #Conflicts:     194000 | #Constraints:     671357
3600.00/3611.60	c #Conflicts:     195000 | #Constraints:     672357
3600.00/3611.60	c #Conflicts:     196000 | #Constraints:     673357
3600.00/3611.60	c #Conflicts:     197000 | #Constraints:     674357
3600.00/3611.60	c #Conflicts:     198000 | #Constraints:     675357
3600.00/3611.60	c INPROCESSING
3600.00/3611.60	c GARBAGE COLLECT
3600.00/3611.60	c #Conflicts:     199000 | #Constraints:     667564
3600.00/3611.60	c #Conflicts:     200000 | #Constraints:     668564
3600.00/3611.60	c #Conflicts:     201000 | #Constraints:     669564
3600.00/3611.60	c #Conflicts:     202000 | #Constraints:     670564
3600.00/3611.60	c #Conflicts:     203000 | #Constraints:     671564
3600.00/3611.60	c #Conflicts:     204000 | #Constraints:     672564
3600.00/3611.60	c #Conflicts:     205000 | #Constraints:     673564
3600.00/3611.60	c #Conflicts:     206000 | #Constraints:     674564
3600.00/3611.60	c #Conflicts:     207000 | #Constraints:     675564
3600.00/3611.60	c INPROCESSING
3600.00/3611.60	c GARBAGE COLLECT
3600.00/3611.60	c #Conflicts:     208000 | #Constraints:     667561
3600.00/3611.60	c #Conflicts:     209000 | #Constraints:     668561
3600.00/3611.60	c #Conflicts:     210000 | #Constraints:     669561
3600.00/3611.60	c #Conflicts:     211000 | #Constraints:     670561
3600.00/3611.60	c #Conflicts:     212000 | #Constraints:     671561
3600.00/3611.60	c #Conflicts:     213000 | #Constraints:     672561
3600.00/3611.60	c #Conflicts:     214000 | #Constraints:     673561
3600.00/3611.60	c #Conflicts:     215000 | #Constraints:     674561
3600.00/3611.60	c #Conflicts:     216000 | #Constraints:     675561
3600.00/3611.60	c INPROCESSING
3600.00/3611.60	c GARBAGE COLLECT
3600.00/3611.60	c #Conflicts:     217000 | #Constraints:     667370
3600.00/3611.60	c #Conflicts:     218000 | #Constraints:     668370
3600.00/3611.60	c cpu time 3576.1 s
3600.00/3611.60	c deterministic time 1 1.00e+00
3600.00/3611.60	c optimization time 3573.65 s
3600.00/3611.60	c total solve time 0 s
3600.00/3611.60	c core-guided solve time 0 s
3600.00/3611.60	c propagation time 0.207966 s
3600.00/3611.60	c conflict analysis time 0 s
3600.00/3611.60	c propagations 0
3600.00/3611.60	c resolve steps 0
3600.00/3611.60	c decisions 0
3600.00/3611.60	c conflicts 0
3600.00/3611.60	c restarts 0
3600.00/3611.60	c inprocessing phases 0
3600.00/3611.60	c garbage collections 0 ,( -nan )
3600.00/3611.60	c input clauses 656900 ,( 100.00 )
3600.00/3611.60	c input cardinalities 0 ,( 0.00 )
3600.00/3611.60	c input general constraints 0 ,( 0.00 )
3600.00/3611.60	c input average constraint length 2.03
3600.00/3611.60	c input average constraint degree 1.00
3600.00/3611.60	c learned clauses 0 ,( 0.00 )
3600.00/3611.60	c learned cardinalities 0 ,( 0.00 )
3600.00/3611.60	c learned general constraints 0 ,( 0.00 )
3600.00/3611.60	c learned average constraint length 0.00
3600.00/3611.60	c learned average constraint degree 0.00
3600.00/3611.60	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.00/3611.60	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.00/3611.60	c watched   constraints 0 ,( -nan ) 
3600.00/3611.60	c counting  constraints 0 ,( -nan ) 
3600.00/3611.60	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.00/3611.60	c gcd simplifications 0
3600.00/3611.60	c detected cardinalities 0
3600.00/3611.60	c weakened non-implied lits 0
3600.00/3611.60	c weakened non-implying lits 0
3600.00/3611.60	c original variables 10000
3600.00/3611.60	c clausal propagations 0
3600.00/3611.60	c cardinality propagations 0
3600.00/3611.60	c watched propagations 0
3600.00/3611.60	c counting propagations 0
3600.00/3611.60	c watch lookups 0
3600.00/3611.60	c watch backjump lookups 0
3600.00/3611.60	c watch checks 0
3600.00/3611.60	c propagation checks 0
3600.00/3611.60	c constraint additions 0
3600.00/3611.60	c trail pops 0
3600.00/3611.60	c formula constraints 656900
3600.00/3611.60	c learned constraints 0
3600.00/3611.60	c bound constraints 0
3600.00/3611.60	c core-guided constraints 0
3600.00/3611.60	c encountered formula constraints 0
3600.00/3611.60	c encountered learned constraints 0
3600.00/3611.60	c encountered bound constraints 0
3600.00/3611.60	c encountered core-guided constraints 0
3600.00/3611.60	c LP total time 0 s
3600.00/3611.60	c LP solve time 0 s
3600.00/3611.60	c LP constraints added 0
3600.00/3611.60	c LP constraints removed 0
3600.00/3611.60	c LP pivots internal 0
3600.00/3611.60	c LP pivots root 0
3600.00/3611.60	c LP calls 0
3600.00/3611.60	c LP optimalities 0
3600.00/3611.60	c LP no pivot count 0
3600.00/3611.60	c LP infeasibilities 0
3600.00/3611.60	c LP valid Farkas constraints 0
3600.00/3611.60	c LP learned Farkas constraints 0
3600.00/3611.60	c LP basis resets 0
3600.00/3611.60	c LP cycling count 0
3600.00/3611.60	c LP singular count 0
3600.00/3611.60	c LP no primal count 0
3600.00/3611.60	c LP no farkas count 0
3600.00/3611.60	c LP other issue count 0
3600.00/3611.60	c LP Gomory cuts 0
3600.00/3611.60	c LP learned cuts 0
3600.00/3611.60	c LP deleted cuts 0
3600.00/3611.60	c LP encountered Gomory constraints 0
3600.00/3611.60	c LP encountered Farkas constraints 0
3600.00/3611.60	c LP encountered learned Farkas constraints 0
3600.00/3611.60	c CG auxiliary variables introduced 0
3600.00/3611.60	c CG solutions found 0
3600.00/3611.60	c CG cores constructed 0
3600.00/3611.60	c CG core cardinality constraints returned 0
3600.00/3611.60	c CG unit cores 0
3600.00/3611.60	c CG single cores 0
3600.00/3611.60	c CG blocks removed during cardinality reduction 0
3600.00/3611.60	c CG first core best 0
3600.00/3611.60	c CG decision core best 0
3600.00/3611.60	c CG core reduction tie 0
3600.00/3611.60	c CG core degree average 0.00
3600.00/3611.60	c CG core slack average 0.00
3600.00/3611.60	c CG core upper bound improvements 0
3600.00/3611.60	c STR number of successful calls 0
3600.00/3611.60	c STR number of unsuccessful calls 0
3600.00/3611.60	c STR number of inconclusive calls 0
3600.00/3611.60	c STR number of successful attempts 0
3600.00/3611.60	c STR number of unsuccessful attempts 0
3600.00/3611.60	c STR number of inconclusive attempts 0
3600.00/3611.60	c STR average degree increase per successful call inf
3600.00/3611.60	c STR average degree increase per successful attempt inf
3600.00/3611.60	c STR total number of conflicts for successful attempts 0
3600.00/3611.60	c STR total number of conflicts for unsuccessful attempts 0
3600.00/3611.60	c STR total number of conflicts for inconclusive attempts 0
3600.00/3611.60	c STR average number of conflicts per successful attempt inf
3600.00/3611.60	c STR average number of conflicts per unsuccessful attempt inf
3600.00/3611.60	c STR average number of conflicts per inconclusive attempt inf
3600.00/3611.60	c AVG.sumWPerc -nan 
3600.00/3611.60	c bigint constraints 0 
3600.00/3611.60	s UNKNOWN
3600.00/3611.60	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: 63665 MiB (34586 MiB free)
  memory of node 1: 64507 MiB (63948 MiB free)
  node distances:
     10  21
     21  10

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

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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=50088, runsolver pid=50085

[startup+0.10006 s]*
/proc/loadavg: 4.14 4.10 4.09 2/264 50096
/proc/meminfo: memFree=100886080/131249988 swapFree=33010160/33010684
[pid=50088] ppid=50085 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/50088/stat : 50088 (run-opt-log.sh) S 50085 50088 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52044352 4292608 768 18446744073709551615 94198875537408 94198876431941 140721089299456 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94198876670992 94198876718736 94198880067584 140721089300769 140721089300964 140721089300964 140721089306566 0
/proc/50088/statm: 1048 768 704 219 0 110 0
[pid=50090] ppid=50088 vsize=50796 memory=7680 CPUtime=0 cores=1,3
/proc/50090/stat : 50090 (roundingsat) D 50088 50088 49673 0 -1 4194304 301 0 0 0 0 0 0 0 20 0 1 0 52044354 52015104 1920 18446744073709551615 4227072 8923433 140722946838976 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 43315200 140722946840914 140722946841128 140722946841128 140722946846698 0
/proc/50090/statm: 12699 1920 1824 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10752 KiB

[startup+0.205425 s]*
/proc/loadavg: 4.14 4.10 4.09 2/261 50102
/proc/meminfo: memFree=100886080/131249988 swapFree=33010160/33010684
[pid=50088] ppid=50085 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/50088/stat : 50088 (run-opt-log.sh) S 50085 50088 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52044352 4292608 768 18446744073709551615 94198875537408 94198876431941 140721089299456 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94198876670992 94198876718736 94198880067584 140721089300769 140721089300964 140721089300964 140721089306566 0
/proc/50088/statm: 1048 768 704 219 0 110 0
[pid=50090] ppid=50088 vsize=50796 memory=7680 CPUtime=0 cores=1,3
/proc/50090/stat : 50090 (roundingsat) D 50088 50088 49673 0 -1 4194304 301 0 0 0 0 0 0 0 20 0 1 0 52044354 52015104 1920 18446744073709551615 4227072 8923433 140722946838976 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 43315200 140722946840914 140722946841128 140722946841128 140722946846698 0
/proc/50090/statm: 12699 1920 1824 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10752 KiB

[startup+0.304945 s]*
/proc/loadavg: 4.14 4.10 4.09 2/261 50102
/proc/meminfo: memFree=100884316/131249988 swapFree=33010160/33010684
[pid=50088] ppid=50085 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/50088/stat : 50088 (run-opt-log.sh) S 50085 50088 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52044352 4292608 768 18446744073709551615 94198875537408 94198876431941 140721089299456 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94198876670992 94198876718736 94198880067584 140721089300769 140721089300964 140721089300964 140721089306566 0
/proc/50088/statm: 1048 768 704 219 0 110 0
[pid=50090] ppid=50088 vsize=50796 memory=7680 CPUtime=0 cores=1,3
/proc/50090/stat : 50090 (roundingsat) D 50088 50088 49673 0 -1 4194304 301 0 0 0 0 0 0 0 20 0 1 0 52044354 52015104 1920 18446744073709551615 4227072 8923433 140722946838976 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 43315200 140722946840914 140722946841128 140722946841128 140722946846698 0
/proc/50090/statm: 12699 1920 1824 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10752 KiB

[startup+0.700128 s]
/proc/loadavg: 4.14 4.10 4.09 2/261 50102
/proc/meminfo: memFree=100870440/131249988 swapFree=33010160/33010684
[pid=50088] ppid=50085 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/50088/stat : 50088 (run-opt-log.sh) S 50085 50088 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52044352 4292608 768 18446744073709551615 94198875537408 94198876431941 140721089299456 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94198876670992 94198876718736 94198880067584 140721089300769 140721089300964 140721089300964 140721089306566 0
/proc/50088/statm: 1048 768 704 219 0 110 0
[pid=50090] ppid=50088 vsize=50796 memory=7680 CPUtime=0 cores=1,3
/proc/50090/stat : 50090 (roundingsat) D 50088 50088 49673 0 -1 4194304 301 0 0 0 0 0 0 0 20 0 1 0 52044354 52015104 1920 18446744073709551615 4227072 8923433 140722946838976 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 43315200 140722946840914 140722946841128 140722946841128 140722946846698 0
/proc/50090/statm: 12699 1920 1824 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10752 KiB

[startup+1.5002 s]
/proc/loadavg: 4.13 4.10 4.09 2/261 50102
/proc/meminfo: memFree=100850468/131249988 swapFree=33010160/33010684
[pid=50088] ppid=50085 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/50088/stat : 50088 (run-opt-log.sh) S 50085 50088 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52044352 4292608 768 18446744073709551615 94198875537408 94198876431941 140721089299456 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94198876670992 94198876718736 94198880067584 140721089300769 140721089300964 140721089300964 140721089306566 0
/proc/50088/statm: 1048 768 704 219 0 110 0
[pid=50090] ppid=50088 vsize=63412 memory=20948 CPUtime=0.16 cores=1,3
/proc/50090/stat : 50090 (roundingsat) R 50088 50088 49673 0 -1 4194304 2790 0 0 0 12 4 0 0 20 0 1 0 52044354 64933888 5237 18446744073709551615 4227072 8923433 140722946838976 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 43315200 140722946840914 140722946841128 140722946841128 140722946846698 0
/proc/50090/statm: 15853 5237 2016 1147 0 3280 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 67604 KiB
Current children cumulated memory: 24020 KiB

[startup+3.10546 s]
/proc/loadavg: 4.13 4.10 4.09 5/269 50131
/proc/meminfo: memFree=128614240/131249988 swapFree=33010160/33010684
[pid=50088] ppid=50085 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/50088/stat : 50088 (run-opt-log.sh) S 50085 50088 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52044352 4292608 768 18446744073709551615 94198875537408 94198876431941 140721089299456 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94198876670992 94198876718736 94198880067584 140721089300769 140721089300964 140721089300964 140721089306566 0
/proc/50088/statm: 1048 768 704 219 0 110 0
[pid=50090] ppid=50088 vsize=148984 memory=97076 CPUtime=1.76 cores=1,3
/proc/50090/stat : 50090 (roundingsat) R 50088 50088 49673 0 -1 4194304 20466 0 0 0 132 44 0 0 20 0 1 0 52044354 152559616 24269 18446744073709551615 4227072 8923433 140722946838976 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 43315200 140722946840914 140722946841128 140722946841128 140722946846698 0
/proc/50090/statm: 37246 24269 2016 1147 0 24673 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 153176 KiB
Current children cumulated memory: 100148 KiB
heavy processes:

[startup+6.30019 s]
/proc/loadavg: 4.12 4.10 4.09 5/273 50142
/proc/meminfo: memFree=126101824/131249988 swapFree=33010160/33010684
[pid=50088] ppid=50085 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/50088/stat : 50088 (run-opt-log.sh) S 50085 50088 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52044352 4292608 768 18446744073709551615 94198875537408 94198876431941 140721089299456 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94198876670992 94198876718736 94198880067584 140721089300769 140721089300964 140721089300964 140721089306566 0
/proc/50088/statm: 1048 768 704 219 0 110 0
[pid=50090] ppid=50088 vsize=1203672 memory=947108 CPUtime=4.95 cores=1,3
/proc/50090/stat : 50090 (roundingsat) R 50088 50088 49673 0 -1 4194304 138246 0 0 0 373 122 0 0 20 0 1 0 52044354 1232560128 236777 18446744073709551615 4227072 8923433 140722946838976 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 43315200 140722946840914 140722946841128 140722946841128 140722946846698 0
/proc/50090/statm: 300918 236777 2336 1147 0 288345 0
Current children cumulated CPU time: 4.95 s
Current children cumulated vsize: 1207864 KiB
Current children cumulated memory: 950180 KiB
heavy processes:

[startup+12.7002 s]
/proc/loadavg: 4.11 4.10 4.09 5/273 50142
/proc/meminfo: memFree=125156348/131249988 swapFree=33010160/33010684
[pid=50088] ppid=50085 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/50088/stat : 50088 (run-opt-log.sh) S 50085 50088 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52044352 4292608 768 18446744073709551615 94198875537408 94198876431941 140721089299456 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94198876670992 94198876718736 94198880067584 140721089300769 140721089300964 140721089300964 140721089306566 0
/proc/50088/statm: 1048 768 704 219 0 110 0
[pid=50090] ppid=50088 vsize=1253460 memory=988592 CPUtime=11.33 cores=1,3
/proc/50090/stat : 50090 (roundingsat) R 50088 50088 49673 0 -1 4194304 139343 0 0 0 978 155 0 0 20 0 1 0 52044354 1283543040 247148 18446744073709551615 4227072 8923433 140722946838976 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 43315200 140722946840914 140722946841128 140722946841128 140722946846698 0
/proc/50090/statm: 313365 247148 2400 1147 0 300792 0
Current children cumulated CPU time: 11.33 s
Current children cumulated vsize: 1257652 KiB
Current children cumulated memory: 991664 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.09 4.09 5/273 50142
/proc/meminfo: memFree=123609840/131249988 swapFree=33010160/33010684
[pid=50088] ppid=50085 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/50088/stat : 50088 (run-opt-log.sh) S 50085 50088 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52044352 4292608 768 18446744073709551615 94198875537408 94198876431941 140721089299456 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94198876670992 94198876718736 94198880067584 140721089300769 140721089300964 140721089300964 140721089306566 0
/proc/50088/statm: 1048 768 704 219 0 110 0
[pid=50090] ppid=50088 vsize=1437876 memory=1116744 CPUtime=24.1 cores=1,3
/proc/50090/stat : 50090 (roundingsat) R 50088 50088 49673 0 -1 4194304 150475 0 0 0 2219 191 0 0 20 0 1 0 52044354 1472385024 279186 18446744073709551615 4227072 8923433 140722946838976 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 43315200 140722946840914 140722946841128 140722946841128 140722946846698 0
/proc/50090/statm: 359469 279186 2400 1147 0 346896 0
Current children cumulated CPU time: 24.1 s
Current children cumulated vsize: 1442068 KiB
Current children cumulated memory: 1119816 KiB

[startup+51.1056 s]
/proc/loadavg: 4.20 4.12 4.10 5/274 50144
/proc/meminfo: memFree=121281836/131249988 swapFree=33010160/33010684
[pid=50088] ppid=50085 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/50088/stat : 50088 (run-opt-log.sh) S 50085 50088 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52044352 4292608 768 18446744073709551615 94198875537408 94198876431941 140721089299456 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94198876670992 94198876718736 94198880067584 140721089300769 140721089300964 140721089300964 140721089306566 0
/proc/50088/statm: 1048 768 704 219 0 110 0
[pid=50090] ppid=50088 vsize=1532216 memory=1236740 CPUtime=49.64 cores=1,3
/proc/50090/stat : 50090 (roundingsat) R 50088 50088 49673 0 -1 4194304 168226 0 0 0 4725 239 0 0 20 0 1 0 52044354 1568989184 309185 18446744073709551615 4227072 8923433 140722946838976 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 43315200 140722946840914 140722946841128 140722946841128 140722946846698 0
/proc/50090/statm: 383054 309185 2400 1147 0 370481 0
Current children cumulated CPU time: 49.64 s
Current children cumulated vsize: 1536408 KiB
Current children cumulated memory: 1239812 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/274 50146
/proc/meminfo: memFree=117658576/131249988 swapFree=33010160/33010684
[pid=50088] ppid=50085 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/50088/stat : 50088 (run-opt-log.sh) S 50085 50088 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52044352 4292608 768 18446744073709551615 94198875537408 94198876431941 140721089299456 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94198876670992 94198876718736 94198880067584 140721089300769 140721089300964 140721089300964 140721089306566 0
/proc/50088/statm: 1048 768 704 219 0 110 0
[pid=50090] ppid=50088 vsize=1931276 memory=1494140 CPUtime=100.7 cores=1,3
/proc/50090/stat : 50090 (roundingsat) R 50088 50088 49673 0 -1 4194304 214885 0 0 0 9757 313 0 0 20 0 1 0 52044354 1977626624 373535 18446744073709551615 4227072 8923433 140722946838976 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 43315200 140722946840914 140722946841128 140722946841128 140722946846698 0
/proc/50090/statm: 482819 373535 2400 1147 0 470246 0
Current children cumulated CPU time: 100.7 s
Current children cumulated vsize: 1935468 KiB
Current children cumulated memory: 1497212 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/274 50149
/proc/meminfo: memFree=114588160/131249988 swapFree=33010160/33010684
[pid=50088] ppid=50085 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/50088/stat : 50088 (run-opt-log.sh) S 50085 50088 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52044352 4292608 768 18446744073709551615 94198875537408 94198876431941 140721089299456 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94198876670992 94198876718736 94198880067584 140721089300769 140721089300964 140721089300964 140721089306566 0
/proc/50088/statm: 1048 768 704 219 0 110 0
[pid=50090] ppid=50088 vsize=2043516 memory=1637468 CPUtime=160.53 cores=1,3
/proc/50090/stat : 50090 (roundingsat) R 50088 50088 49673 0 -1 4194304 236411 0 0 0 15666 387 0 0 20 0 1 0 52044354 2092560384 409367 18446744073709551615 4227072 8923433 140722946838976 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 43315200 140722946840914 140722946841128 140722946841128 140722946846698 0
/proc/50090/statm: 510879 409367 2400 1147 0 498306 0
Current children cumulated CPU time: 160.53 s
Current children cumulated vsize: 2047708 KiB
Current children cumulated memory: 1640540 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/275 50155
/proc/meminfo: memFree=112414116/131249988 swapFree=33010160/33010684
[pid=50088] ppid=50085 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/50088/stat : 50088 (run-opt-log.sh) S 50085 50088 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52044352 4292608 768 18446744073709551615 94198875537408 94198876431941 140721089299456 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94198876670992 94198876718736 94198880067584 140721089300769 140721089300964 140721089300964 140721089306566 0
/proc/50088/statm: 1048 768 704 219 0 110 0

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

[pid=50090] ppid=50088 vsize=3665180 memory=2991572 CPUtime=3092.15 cores=1,3
/proc/50090/stat : 50090 (roundingsat) R 50088 50088 49673 0 -1 4194304 419415 0 0 0 307059 2156 0 0 20 0 1 0 52044354 3753144320 747893 18446744073709551615 4227072 8923433 140722946838976 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 43315200 140722946840914 140722946841128 140722946841128 140722946846698 0
/proc/50090/statm: 916295 747893 2400 1147 0 903722 0
Current children cumulated CPU time: 3092.15 s
Current children cumulated vsize: 3669372 KiB
Current children cumulated memory: 2994644 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.14 4.14 5/273 50318
/proc/meminfo: memFree=29784208/131249988 swapFree=33010160/33010684
[pid=50088] ppid=50085 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/50088/stat : 50088 (run-opt-log.sh) S 50085 50088 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52044352 4292608 768 18446744073709551615 94198875537408 94198876431941 140721089299456 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94198876670992 94198876718736 94198880067584 140721089300769 140721089300964 140721089300964 140721089306566 0
/proc/50088/statm: 1048 768 704 219 0 110 0
[pid=50090] ppid=50088 vsize=3665180 memory=2991572 CPUtime=3151.98 cores=1,3
/proc/50090/stat : 50090 (roundingsat) R 50088 50088 49673 0 -1 4194304 419451 0 0 0 313020 2178 0 0 20 0 1 0 52044354 3753144320 747893 18446744073709551615 4227072 8923433 140722946838976 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 43315200 140722946840914 140722946841128 140722946841128 140722946846698 0
/proc/50090/statm: 916295 747893 2400 1147 0 903722 0
Current children cumulated CPU time: 3151.98 s
Current children cumulated vsize: 3669372 KiB
Current children cumulated memory: 2994644 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.13 4.13 5/274 50323
/proc/meminfo: memFree=28225364/131249988 swapFree=33010160/33010684
[pid=50088] ppid=50085 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/50088/stat : 50088 (run-opt-log.sh) S 50085 50088 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52044352 4292608 768 18446744073709551615 94198875537408 94198876431941 140721089299456 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94198876670992 94198876718736 94198880067584 140721089300769 140721089300964 140721089300964 140721089306566 0
/proc/50088/statm: 1048 768 704 219 0 110 0
[pid=50090] ppid=50088 vsize=3665180 memory=2991572 CPUtime=3211.82 cores=1,3
/proc/50090/stat : 50090 (roundingsat) R 50088 50088 49673 0 -1 4194304 420204 0 0 0 318965 2217 0 0 20 0 1 0 52044354 3753144320 747893 18446744073709551615 4227072 8923433 140722946838976 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 43315200 140722946840914 140722946841128 140722946841128 140722946846698 0
/proc/50090/statm: 916295 747893 2400 1147 0 903722 0
Current children cumulated CPU time: 3211.82 s
Current children cumulated vsize: 3669372 KiB
Current children cumulated memory: 2994644 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.12 4.12 5/274 50325
/proc/meminfo: memFree=26529652/131249988 swapFree=33010160/33010684
[pid=50088] ppid=50085 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/50088/stat : 50088 (run-opt-log.sh) S 50085 50088 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52044352 4292608 768 18446744073709551615 94198875537408 94198876431941 140721089299456 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94198876670992 94198876718736 94198880067584 140721089300769 140721089300964 140721089300964 140721089306566 0
/proc/50088/statm: 1048 768 704 219 0 110 0
[pid=50090] ppid=50088 vsize=3665180 memory=2991572 CPUtime=3271.64 cores=1,3
/proc/50090/stat : 50090 (roundingsat) R 50088 50088 49673 0 -1 4194304 420204 0 0 0 324919 2245 0 0 20 0 1 0 52044354 3753144320 747893 18446744073709551615 4227072 8923433 140722946838976 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 43315200 140722946840914 140722946841128 140722946841128 140722946846698 0
/proc/50090/statm: 916295 747893 2400 1147 0 903722 0
Current children cumulated CPU time: 3271.64 s
Current children cumulated vsize: 3669372 KiB
Current children cumulated memory: 2994644 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.12 5/273 50327
/proc/meminfo: memFree=25006480/131249988 swapFree=33010160/33010684
[pid=50088] ppid=50085 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/50088/stat : 50088 (run-opt-log.sh) S 50085 50088 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52044352 4292608 768 18446744073709551615 94198875537408 94198876431941 140721089299456 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94198876670992 94198876718736 94198880067584 140721089300769 140721089300964 140721089300964 140721089306566 0
/proc/50088/statm: 1048 768 704 219 0 110 0
[pid=50090] ppid=50088 vsize=3665180 memory=2991572 CPUtime=3331.47 cores=1,3
/proc/50090/stat : 50090 (roundingsat) R 50088 50088 49673 0 -1 4194304 420234 0 0 0 330877 2270 0 0 20 0 1 0 52044354 3753144320 747893 18446744073709551615 4227072 8923433 140722946838976 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 43315200 140722946840914 140722946841128 140722946841128 140722946846698 0
/proc/50090/statm: 916295 747893 2400 1147 0 903722 0
Current children cumulated CPU time: 3331.47 s
Current children cumulated vsize: 3669372 KiB
Current children cumulated memory: 2994644 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.10 4.11 5/274 50331
/proc/meminfo: memFree=23565900/131249988 swapFree=33010160/33010684
[pid=50088] ppid=50085 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/50088/stat : 50088 (run-opt-log.sh) S 50085 50088 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52044352 4292608 768 18446744073709551615 94198875537408 94198876431941 140721089299456 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94198876670992 94198876718736 94198880067584 140721089300769 140721089300964 140721089300964 140721089306566 0
/proc/50088/statm: 1048 768 704 219 0 110 0
[pid=50090] ppid=50088 vsize=3665180 memory=2991572 CPUtime=3391.3 cores=1,3
/proc/50090/stat : 50090 (roundingsat) R 50088 50088 49673 0 -1 4194304 420992 0 0 0 336829 2301 0 0 20 0 1 0 52044354 3753144320 747893 18446744073709551615 4227072 8923433 140722946838976 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 43315200 140722946840914 140722946841128 140722946841128 140722946846698 0
/proc/50090/statm: 916295 747893 2400 1147 0 903722 0
Current children cumulated CPU time: 3391.3 s
Current children cumulated vsize: 3669372 KiB
Current children cumulated memory: 2994644 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.11 5/273 50337
/proc/meminfo: memFree=22011400/131249988 swapFree=33010160/33010684
[pid=50088] ppid=50085 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/50088/stat : 50088 (run-opt-log.sh) S 50085 50088 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52044352 4292608 768 18446744073709551615 94198875537408 94198876431941 140721089299456 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94198876670992 94198876718736 94198880067584 140721089300769 140721089300964 140721089300964 140721089306566 0
/proc/50088/statm: 1048 768 704 219 0 110 0
[pid=50090] ppid=50088 vsize=3665180 memory=2991572 CPUtime=3451.12 cores=1,3
/proc/50090/stat : 50090 (roundingsat) R 50088 50088 49673 0 -1 4194304 420992 0 0 0 342784 2328 0 0 20 0 1 0 52044354 3753144320 747893 18446744073709551615 4227072 8923433 140722946838976 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 43315200 140722946840914 140722946841128 140722946841128 140722946846698 0
/proc/50090/statm: 916295 747893 2400 1147 0 903722 0
Current children cumulated CPU time: 3451.12 s
Current children cumulated vsize: 3669372 KiB
Current children cumulated memory: 2994644 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.09 4.10 5/274 50340
/proc/meminfo: memFree=20472516/131249988 swapFree=33010160/33010684
[pid=50088] ppid=50085 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/50088/stat : 50088 (run-opt-log.sh) S 50085 50088 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52044352 4292608 768 18446744073709551615 94198875537408 94198876431941 140721089299456 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94198876670992 94198876718736 94198880067584 140721089300769 140721089300964 140721089300964 140721089306566 0
/proc/50088/statm: 1048 768 704 219 0 110 0
[pid=50090] ppid=50088 vsize=3665180 memory=2991572 CPUtime=3510.95 cores=1,3
/proc/50090/stat : 50090 (roundingsat) R 50088 50088 49673 0 -1 4194304 421086 0 0 0 348743 2352 0 0 20 0 1 0 52044354 3753144320 747893 18446744073709551615 4227072 8923433 140722946838976 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 43315200 140722946840914 140722946841128 140722946841128 140722946846698 0
/proc/50090/statm: 916295 747893 2400 1147 0 903722 0
Current children cumulated CPU time: 3510.95 s
Current children cumulated vsize: 3669372 KiB
Current children cumulated memory: 2994644 KiB

[startup+3582.3 s]
/proc/loadavg: 4.20 4.12 4.11 5/275 50343
/proc/meminfo: memFree=18939688/131249988 swapFree=33010160/33010684
[pid=50088] ppid=50085 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/50088/stat : 50088 (run-opt-log.sh) S 50085 50088 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52044352 4292608 768 18446744073709551615 94198875537408 94198876431941 140721089299456 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94198876670992 94198876718736 94198880067584 140721089300769 140721089300964 140721089300964 140721089306566 0
/proc/50088/statm: 1048 768 704 219 0 110 0
[pid=50090] ppid=50088 vsize=3666724 memory=2993236 CPUtime=3570.79 cores=1,3
/proc/50090/stat : 50090 (roundingsat) R 50088 50088 49673 0 -1 4194304 422218 0 0 0 354703 2376 0 0 20 0 1 0 52044354 3754725376 748309 18446744073709551615 4227072 8923433 140722946838976 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 43315200 140722946840914 140722946841128 140722946841128 140722946846698 0
/proc/50090/statm: 916681 748309 2400 1147 0 904108 0
Current children cumulated CPU time: 3570.79 s
Current children cumulated vsize: 3670916 KiB
Current children cumulated memory: 2996308 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.6 s]
/proc/loadavg: 4.13 4.11 4.10 6/274 50345
/proc/meminfo: memFree=18191624/131249988 swapFree=33010160/33010684
[pid=50088] ppid=50085 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/50088/stat : 50088 (run-opt-log.sh) S 50085 50088 49673 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 52044352 4292608 768 18446744073709551615 94198875537408 94198876431941 140721089299456 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94198876670992 94198876718736 94198880067584 140721089300769 140721089300964 140721089300964 140721089306566 0
/proc/50088/statm: 1048 768 704 219 0 110 0
[pid=50090] ppid=50088 vsize=3666724 memory=2993236 CPUtime=3600 cores=1,3
/proc/50090/stat : 50090 (roundingsat) R 50088 50088 49673 0 -1 4194304 422218 0 0 0 357609 2391 0 0 20 0 1 0 52044354 3754725376 748309 18446744073709551615 4227072 8923433 140722946838976 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 43315200 140722946840914 140722946841128 140722946841128 140722946846698 0
/proc/50090/statm: 916681 748309 2400 1147 0 904108 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 3670916 KiB
Current children cumulated memory: 2996308 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.002032 s, system=0.000205 s

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

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

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

[startup+3611.7 s]*
/proc/loadavg: 4.12 4.11 4.10 4/273 50345
/proc/meminfo: memFree=19641640/131249988 swapFree=33010160/33010684
[pid=50090] ppid=50085 vsize=1743964 memory=1496428 CPUtime=3600.07 cores=1,3
/proc/50090/stat : 50090 (roundingsat) R 50085 50088 49673 0 -1 4194304 422246 0 0 0 357613 2394 0 0 20 0 1 0 52044354 1785819136 374107 18446744073709551615 4227072 8923433 140722946838976 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 43315200 140722946840914 140722946841128 140722946841128 140722946846698 0
/proc/50090/statm: 435991 374107 2464 1147 0 423418 0
Current cumulated CPU time of completed processes: 0.002237 s
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1743964 KiB
Current children cumulated memory: 1496428 KiB

Child status: 2

Real time (s): 3611.78
CPU time (s): 3600.15
CPU user time (s): 3576.2
CPU system time (s): 23.9456
CPU usage (%): 99.6779
Max. virtual memory (cumulated for all children) (KiB): 3670916
Max. memory (cumulated for all children) (KiB): 2996308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3576.2
system time used= 23.9456
maximum resident set size= 2993492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 422659
page faults= 0
swaps= 0
block input operations= 0
block output operations= 50364144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 648
involuntary context switches= 4861


# summary of solver processes directly reported to runsolver:
#   pid: 50088,50090
#   total CPU time (s): 3600.15
#   total CPU user time (s): 3576.2
#   total CPU system time (s): 23.9456

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.75514 second user time and 16.6973 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2025-07-01 11:54:15
IDJOB=4489737
IDBENCH=147562
IDSOLVER=3351
FILE ID=nodeC034/4489737-1751363655
RUNJOBID= nodeC034-1751360042-49685
SLURM_JOB_ID= 9598159
Free space on /tmp= 432984 MiB

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

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

MD5SUM BENCH= 502d6e212fd4e38a31cb5eb2ff64d408
RANDOM SEED=517955440

nodeC034 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	: 0xb00002a
cpu MHz		: 1221.902
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.53
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	: 0xb00002a
cpu MHz		: 3599.785
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.53
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	: 0xb00002a
cpu MHz		: 3717.918
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.53
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	: 0xb00002a
cpu MHz		: 3599.759
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.53
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	: 0xb00002a
cpu MHz		: 1189.507
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.53
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	: 0xb00002a
cpu MHz		: 3599.765
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.53
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	: 0xb00002a
cpu MHz		: 1187.273
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.53
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	: 0xb00002a
cpu MHz		: 3602.676
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        100903092 kB
MemAvailable:   129662120 kB
Buffers:            2128 kB
Cached:         29519648 kB
SwapCached:           36 kB
Active:           557708 kB
Inactive:       29080220 kB
Active(anon):     130012 kB
Inactive(anon):     4208 kB
Active(file):     427696 kB
Inactive(file): 29076012 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             48328 kB
Writeback:           120 kB
AnonPages:        119292 kB
Mapped:           108504 kB
Shmem:             18068 kB
KReclaimable:     188716 kB
Slab:             280680 kB
SReclaimable:     188716 kB
SUnreclaim:        91964 kB
KernelStack:        4272 kB
PageTables:         3080 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     411092 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     26624 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:      189140 kB
DirectMap2M:     7970816 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432960 MiB
End job on nodeC034 at 2025-07-01 12:54:27