Trace number 4489507

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.25 3610.73

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_8.opb.PB06.opb
MD5SUM50cf9112b5ea763531dadde21846562c
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 benchmark211
Best CPU time to get the best result obtained on this benchmark3586.65
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 495981
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 495981
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.06/3.11	c #variables 10000 #constraints 656900
3.06/3.11	c objective is ce32 
4.85/4.91	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
4.85/4.91	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
4.85/4.91	c GLOBAL bounds - >= 0 @ 3.69352
5.05/5.18	c GLOBAL bounds - >= 0 @ 3.95111
5.05/5.19	c GLOBAL bounds - >= 0 @ 3.9565
5.15/5.21	c GLOBAL bounds - >= 0 @ 3.96845
5.15/5.22	c GLOBAL bounds - >= 0 @ 3.9753
5.15/5.23	c GLOBAL bounds - >= 0 @ 3.98706
5.15/5.25	c GLOBAL bounds - >= 0 @ 3.99876
5.15/5.26	c GLOBAL bounds - >= 0 @ 4.01115
5.15/5.28	c GLOBAL bounds - >= 0 @ 4.02122
5.15/5.29	c GLOBAL bounds - >= 0 @ 4.03478
5.25/5.31	c GLOBAL bounds - >= 0 @ 4.04694
5.25/5.33	c GLOBAL bounds - >= 0 @ 4.07028
5.25/5.34	c GLOBAL bounds - >= 0 @ 4.08127
5.25/5.37	c GLOBAL bounds - >= 0 @ 4.10722
5.25/5.39	c GLOBAL bounds - >= 0 @ 4.12917
5.35/5.42	c GLOBAL bounds - >= 0 @ 4.1528
5.35/5.44	c GLOBAL bounds - >= 0 @ 4.17515
5.35/5.46	c GLOBAL bounds - >= 0 @ 4.18783
5.35/5.47	c GLOBAL bounds - >= 0 @ 4.2016
5.35/5.49	c GLOBAL bounds - >= 0 @ 4.21701
5.45/5.50	c GLOBAL bounds - >= 0 @ 4.23214
5.45/5.52	c GLOBAL bounds - >= 0 @ 4.24543
5.45/5.54	c GLOBAL bounds - >= 0 @ 4.26771
5.45/5.59	c GLOBAL bounds - >= 0 @ 4.31891
5.55/5.60	c GLOBAL bounds - >= 0 @ 4.33084
5.55/5.61	c GLOBAL bounds - >= 0 @ 4.33877
5.65/5.73	c GLOBAL bounds - >= 0 @ 4.45767
5.65/5.76	c GLOBAL bounds - >= 0 @ 4.48682
5.96/6.03	c GLOBAL bounds - >= 0 @ 4.74889
5.96/6.05	c GLOBAL bounds - >= 0 @ 4.76785
5.96/6.08	c GLOBAL bounds - >= 0 @ 4.80062
6.06/6.15	c GLOBAL bounds - >= 0 @ 4.86474
6.06/6.18	c GLOBAL bounds - >= 0 @ 4.8967
6.06/6.19	c GLOBAL bounds - >= 0 @ 4.91008
6.15/6.21	c GLOBAL bounds - >= 0 @ 4.92393
6.15/6.22	c GLOBAL bounds - >= 0 @ 4.94068
6.15/6.24	c GLOBAL bounds - >= 0 @ 4.95648
6.15/6.25	c GLOBAL bounds - >= 0 @ 4.96929
6.15/6.27	c GLOBAL bounds - >= 0 @ 4.98182
6.15/6.29	c GLOBAL bounds - >= 0 @ 5.00331
6.25/6.31	c GLOBAL bounds - >= 0 @ 5.01761
6.25/6.34	c GLOBAL bounds - >= 0 @ 5.05141
6.35/6.40	c GLOBAL bounds - >= 0 @ 5.1021
6.35/6.41	c GLOBAL bounds - >= 0 @ 5.11067
6.35/6.42	c GLOBAL bounds - >= 0 @ 5.12283
6.35/6.44	c GLOBAL bounds - >= 0 @ 5.13788
6.35/6.46	c GLOBAL bounds - >= 0 @ 5.15541
6.45/6.51	c GLOBAL bounds - >= 0 @ 5.21003
6.45/6.53	c GLOBAL bounds - >= 0 @ 5.22997
6.45/6.55	c GLOBAL bounds - >= 0 @ 5.24655
6.45/6.56	c GLOBAL bounds - >= 0 @ 5.25535
6.45/6.58	c GLOBAL bounds - >= 0 @ 5.26957
6.45/6.59	c GLOBAL bounds - >= 0 @ 5.28174
6.55/6.60	c GLOBAL bounds - >= 0 @ 5.29456
6.55/6.64	c GLOBAL bounds - >= 0 @ 5.3272
6.55/6.67	c GLOBAL bounds - >= 0 @ 5.35268
6.55/6.69	c GLOBAL bounds - >= 0 @ 5.37213
6.65/6.71	c GLOBAL bounds - >= 0 @ 5.39632
6.65/6.72	c GLOBAL bounds - >= 0 @ 5.40523
6.65/6.74	c GLOBAL bounds - >= 0 @ 5.41876
6.65/6.76	c GLOBAL bounds - >= 0 @ 5.43675
6.65/6.77	c GLOBAL bounds - >= 0 @ 5.44461
6.65/6.78	c GLOBAL bounds - >= 0 @ 5.45804
6.75/6.80	c GLOBAL bounds - >= 0 @ 5.47732
6.75/6.84	c GLOBAL bounds - >= 0 @ 5.51596
6.75/6.88	c GLOBAL bounds - >= 0 @ 5.55327
6.85/6.90	c #Conflicts:       1000 | #Constraints:     658028
6.85/6.90	c GLOBAL bounds - >= 0 @ 5.57441
6.85/6.92	c GLOBAL bounds - >= 0 @ 5.58751
6.85/6.93	c GLOBAL bounds - >= 0 @ 5.60268
6.85/6.95	c GLOBAL bounds - >= 0 @ 5.61988
6.85/6.97	c GLOBAL bounds - >= 0 @ 5.63688
6.85/6.98	c GLOBAL bounds - >= 0 @ 5.64807
6.85/7.00	c GLOBAL bounds - >= 0 @ 5.65952
6.95/7.01	c GLOBAL bounds - >= 0 @ 5.67164
7.15/7.29	c GLOBAL bounds - >= 0 @ 5.94584
7.25/7.34	c GLOBAL bounds - >= 0 @ 5.99071
7.25/7.35	c GLOBAL bounds - >= 0 @ 6.00463
7.34/7.40	c GLOBAL bounds - >= 0 @ 6.0518
7.34/7.43	c GLOBAL bounds - >= 0 @ 6.07885
7.34/7.44	c GLOBAL bounds - >= 0 @ 6.09066
7.34/7.46	c GLOBAL bounds - >= 0 @ 6.10516
7.34/7.49	c GLOBAL bounds - >= 0 @ 6.13164
7.44/7.50	c GLOBAL bounds - >= 0 @ 6.14077
7.44/7.52	c GLOBAL bounds - >= 0 @ 6.15841
7.44/7.57	c GLOBAL bounds - >= 0 @ 6.21
7.44/7.59	c GLOBAL bounds - >= 0 @ 6.22779
7.55/7.60	c GLOBAL bounds - >= 0 @ 6.24317
7.55/7.62	c GLOBAL bounds - >= 0 @ 6.25858
7.55/7.65	c GLOBAL bounds - >= 0 @ 6.2827
7.55/7.67	c GLOBAL bounds - >= 0 @ 6.30675
7.55/7.68	c GLOBAL bounds - >= 0 @ 6.31773
7.65/7.70	c GLOBAL bounds - >= 0 @ 6.33645
7.65/7.71	c GLOBAL bounds - >= 0 @ 6.34414
7.74/7.82	c GLOBAL bounds - >= 0 @ 6.44635
7.74/7.84	c GLOBAL bounds - >= 0 @ 6.47309
7.74/7.86	c GLOBAL bounds - >= 0 @ 6.49036
7.74/7.88	c GLOBAL bounds - >= 0 @ 6.5043
7.74/7.89	c GLOBAL bounds - >= 0 @ 6.51837
7.85/7.91	c GLOBAL bounds - >= 0 @ 6.53122
7.85/7.93	c GLOBAL bounds - >= 0 @ 6.54816
7.95/8.03	c GLOBAL bounds - >= 0 @ 6.64457
7.95/8.05	c GLOBAL bounds - >= 0 @ 6.66604
7.95/8.07	c GLOBAL bounds - >= 0 @ 6.68355
7.95/8.09	c GLOBAL bounds - >= 0 @ 6.70249
8.05/8.11	c GLOBAL bounds - >= 0 @ 6.72141
8.05/8.15	c GLOBAL bounds - >= 0 @ 6.75956
8.05/8.16	c GLOBAL bounds - >= 0 @ 6.77373
8.05/8.18	c GLOBAL bounds - >= 0 @ 6.79005
8.05/8.19	c GLOBAL bounds - >= 0 @ 6.8006
8.14/8.21	c GLOBAL bounds - >= 0 @ 6.82082
8.14/8.23	c GLOBAL bounds - >= 0 @ 6.83793
8.14/8.24	c GLOBAL bounds - >= 0 @ 6.84864
8.14/8.25	c GLOBAL bounds - >= 0 @ 6.85968
8.14/8.28	c GLOBAL bounds - >= 0 @ 6.88081
8.14/8.30	c GLOBAL bounds - >= 0 @ 6.89784
8.25/8.35	c GLOBAL bounds - >= 0 @ 6.95023
8.25/8.37	c GLOBAL bounds - >= 0 @ 6.97204
8.34/8.40	c GLOBAL bounds - >= 0 @ 6.99398
8.34/8.41	c GLOBAL bounds - >= 0 @ 7.00358
8.34/8.43	c GLOBAL bounds - >= 0 @ 7.02011
8.34/8.47	c GLOBAL bounds - >= 0 @ 7.06264
8.34/8.49	c GLOBAL bounds - >= 0 @ 7.08528
8.44/8.51	c GLOBAL bounds - >= 0 @ 7.09626
8.44/8.53	c GLOBAL bounds - >= 0 @ 7.12096
8.44/8.55	c GLOBAL bounds - >= 0 @ 7.13816
8.44/8.56	c GLOBAL bounds - >= 0 @ 7.15086
8.44/8.57	c GLOBAL bounds - >= 0 @ 7.16
8.44/8.59	c GLOBAL bounds - >= 0 @ 7.17441
8.55/8.61	c GLOBAL bounds - >= 0 @ 7.19393
8.55/8.63	c GLOBAL bounds - >= 0 @ 7.21149
8.65/8.73	c GLOBAL bounds - >= 0 @ 7.30897
8.65/8.77	c GLOBAL bounds - >= 0 @ 7.33918
8.74/8.82	c GLOBAL bounds - >= 0 @ 7.39101
8.74/8.84	c GLOBAL bounds - >= 0 @ 7.4037
8.74/8.87	c GLOBAL bounds - >= 0 @ 7.43265
8.74/8.89	c GLOBAL bounds - >= 0 @ 7.44898
8.84/8.90	c GLOBAL bounds - >= 0 @ 7.45969
8.84/8.91	c GLOBAL bounds - >= 0 @ 7.47333
8.84/8.93	c GLOBAL bounds - >= 0 @ 7.48778
8.84/8.95	c GLOBAL bounds - >= 0 @ 7.51027
8.84/8.97	c GLOBAL bounds - >= 0 @ 7.52703
8.95/9.06	c GLOBAL bounds - >= 0 @ 7.61428
8.95/9.09	c GLOBAL bounds - >= 0 @ 7.63793
9.04/9.10	c GLOBAL bounds - >= 0 @ 7.64742
9.04/9.12	c GLOBAL bounds - >= 0 @ 7.66707
9.04/9.18	c GLOBAL bounds - >= 0 @ 7.71861
9.04/9.20	c GLOBAL bounds - >= 0 @ 7.73382
9.14/9.23	c GLOBAL bounds - >= 0 @ 7.76676
9.14/9.25	c GLOBAL bounds - >= 0 @ 7.78487
9.14/9.29	c GLOBAL bounds - >= 0 @ 7.82587
9.24/9.31	c GLOBAL bounds - >= 0 @ 7.84205
9.24/9.33	c GLOBAL bounds - >= 0 @ 7.86189
9.24/9.36	c GLOBAL bounds - >= 0 @ 7.88637
9.54/9.64	c GLOBAL bounds - >= 0 @ 8.15667
9.54/9.68	c GLOBAL bounds - >= 0 @ 8.19478
9.64/9.73	c GLOBAL bounds - >= 0 @ 8.24475
9.64/9.75	c GLOBAL bounds - >= 0 @ 8.25809
9.64/9.78	c GLOBAL bounds - >= 0 @ 8.28886
9.95/10.00	c GLOBAL bounds - >= 0 @ 8.50283
9.95/10.04	c GLOBAL bounds - >= 0 @ 8.53955
9.95/10.06	c GLOBAL bounds - >= 0 @ 8.55317
9.95/10.08	c GLOBAL bounds - >= 0 @ 8.5725
9.95/10.10	c GLOBAL bounds - >= 0 @ 8.5905
10.14/10.21	c GLOBAL bounds - >= 0 @ 8.70557
10.14/10.23	c GLOBAL bounds - >= 0 @ 8.7204
10.44/10.50	c GLOBAL bounds - >= 0 @ 8.98384
10.44/10.57	c GLOBAL bounds - >= 0 @ 9.0507
10.54/10.63	c GLOBAL bounds - >= 0 @ 9.1074
10.54/10.65	c GLOBAL bounds - >= 0 @ 9.12933
10.54/10.68	c GLOBAL bounds - >= 0 @ 9.15858
10.64/10.70	c GLOBAL bounds - >= 0 @ 9.18195
10.64/10.72	c GLOBAL bounds - >= 0 @ 9.19628
10.64/10.76	c GLOBAL bounds - >= 0 @ 9.23164
10.64/10.77	c GLOBAL bounds - >= 0 @ 9.24364
10.73/10.80	c GLOBAL bounds - >= 0 @ 9.2737
10.73/10.82	c GLOBAL bounds - >= 0 @ 9.29356
10.73/10.84	c GLOBAL bounds - >= 0 @ 9.31399
10.73/10.86	c GLOBAL bounds - >= 0 @ 9.32847
10.73/10.87	c GLOBAL bounds - >= 0 @ 9.33898
10.84/10.90	c GLOBAL bounds - >= 0 @ 9.36454
10.84/10.92	c GLOBAL bounds - >= 0 @ 9.38233
10.84/10.94	c GLOBAL bounds - >= 0 @ 9.39676
10.84/10.96	c GLOBAL bounds - >= 0 @ 9.42027
10.84/10.99	c GLOBAL bounds - >= 0 @ 9.44939
10.94/11.01	c GLOBAL bounds - >= 0 @ 9.46586
10.94/11.03	c GLOBAL bounds - >= 0 @ 9.4905
10.94/11.05	c GLOBAL bounds - >= 0 @ 9.50163
10.94/11.08	c GLOBAL bounds - >= 0 @ 9.53153
10.94/11.10	c GLOBAL bounds - >= 0 @ 9.54879
11.04/11.12	c GLOBAL bounds - >= 0 @ 9.57192
11.04/11.17	c GLOBAL bounds - >= 0 @ 9.61485
11.04/11.18	c GLOBAL bounds - >= 0 @ 9.62881
11.14/11.24	c GLOBAL bounds - >= 0 @ 9.68003
11.14/11.26	c GLOBAL bounds - >= 0 @ 9.69534
11.14/11.27	c GLOBAL bounds - >= 0 @ 9.71173
11.24/11.31	c GLOBAL bounds - >= 0 @ 9.74148
11.24/11.32	c GLOBAL bounds - >= 0 @ 9.7538
11.24/11.34	c GLOBAL bounds - >= 0 @ 9.76975
11.24/11.36	c GLOBAL bounds - >= 0 @ 9.7879
11.24/11.38	c GLOBAL bounds - >= 0 @ 9.80435
11.34/11.42	c GLOBAL bounds - >= 0 @ 9.83986
11.34/11.44	c GLOBAL bounds - >= 0 @ 9.85812
11.34/11.46	c GLOBAL bounds - >= 0 @ 9.88072
11.34/11.49	c GLOBAL bounds - >= 0 @ 9.90482
11.44/11.51	c GLOBAL bounds - >= 0 @ 9.9233
11.44/11.53	c GLOBAL bounds - >= 0 @ 9.946
11.44/11.55	c GLOBAL bounds - >= 0 @ 9.95645
11.94/12.07	c GLOBAL bounds - >= 0 @ 10.4684
12.24/12.35	c GLOBAL bounds - >= 0 @ 10.735
12.33/12.41	c GLOBAL bounds - >= 0 @ 10.7942
12.43/12.54	c GLOBAL bounds - >= 0 @ 10.9176
12.43/12.58	c GLOBAL bounds - >= 0 @ 10.951
12.53/12.61	c GLOBAL bounds - >= 0 @ 10.9854
12.53/12.64	c GLOBAL bounds - >= 0 @ 11.0128
12.53/12.68	c GLOBAL bounds - >= 0 @ 11.0436
12.63/12.70	c GLOBAL bounds - >= 0 @ 11.0638
12.93/13.05	c #Conflicts:       2000 | #Constraints:     659328
12.93/13.05	c INPROCESSING
12.93/13.05	c GLOBAL bounds - >= 0 @ 11.41
12.93/13.08	c GLOBAL bounds - >= 0 @ 11.4349
13.03/13.10	c GLOBAL bounds - >= 0 @ 11.4581
13.03/13.12	c GLOBAL bounds - >= 0 @ 11.4813
13.13/13.22	c GLOBAL bounds - >= 0 @ 11.5724
13.13/13.25	c GLOBAL bounds - >= 0 @ 11.6011
13.13/13.27	c GLOBAL bounds - >= 0 @ 11.6285
13.24/13.31	c GLOBAL bounds - >= 0 @ 11.6665
13.24/13.33	c GLOBAL bounds - >= 0 @ 11.6778
13.24/13.37	c GLOBAL bounds - >= 0 @ 11.7222
13.33/13.42	c GLOBAL bounds - >= 0 @ 11.7747
13.33/13.45	c GLOBAL bounds - >= 0 @ 11.8036
13.63/13.75	c GLOBAL bounds - >= 0 @ 12.0895
13.73/13.82	c GLOBAL bounds - >= 0 @ 12.1657
13.73/13.86	c GLOBAL bounds - >= 0 @ 12.203
15.82/15.98	c GLOBAL bounds - >= 0 @ 14.2802
15.93/16.07	c GLOBAL bounds - >= 0 @ 14.3602
15.93/16.09	c GLOBAL bounds - >= 0 @ 14.3824
16.03/16.10	c GLOBAL bounds - >= 0 @ 14.3954
16.03/16.12	c GLOBAL bounds - >= 0 @ 14.4131
16.03/16.17	c GLOBAL bounds - >= 0 @ 14.4614
16.13/16.28	c GLOBAL bounds - >= 0 @ 14.5628
16.22/16.30	c GLOBAL bounds - >= 0 @ 14.5835
16.22/16.32	c GLOBAL bounds - >= 0 @ 14.6009
16.22/16.35	c GLOBAL bounds - >= 0 @ 14.6252
16.22/16.37	c GLOBAL bounds - >= 0 @ 14.6424
16.43/16.57	c GLOBAL bounds - >= 0 @ 14.8385
16.43/16.58	c GLOBAL bounds - >= 0 @ 14.8528
16.52/16.62	c GLOBAL bounds - >= 0 @ 14.8916
16.52/16.64	c GLOBAL bounds - >= 0 @ 14.9097
19.72/19.84	c #Conflicts:       3000 | #Constraints:     659390
19.72/19.84	c GLOBAL bounds - >= 0 @ 18.0337
21.71/21.87	c GLOBAL bounds - >= 0 @ 20.0348
21.91/22.09	c GLOBAL bounds - >= 0 @ 20.2518
22.02/22.12	c GLOBAL bounds - >= 0 @ 20.2759
22.02/22.14	c GLOBAL bounds - >= 0 @ 20.2935
22.91/23.04	c GLOBAL bounds - >= 0 @ 21.1829
23.51/23.66	c #Conflicts:       4000 | #Constraints:     660402
23.51/23.66	c GLOBAL bounds - >= 0 @ 21.7754
23.60/23.75	c GLOBAL bounds - >= 0 @ 21.8652
23.70/23.84	c GLOBAL bounds - >= 0 @ 21.9538
23.70/23.89	c GLOBAL bounds - >= 0 @ 21.9955
23.80/23.91	c GLOBAL bounds - >= 0 @ 22.0204
24.01/24.15	c GLOBAL bounds - >= 0 @ 22.2481
24.30/24.43	c GLOBAL bounds - >= 0 @ 22.5288
24.40/24.51	c GLOBAL bounds - >= 0 @ 22.6001
24.40/24.54	c GLOBAL bounds - >= 0 @ 22.6364
25.30/25.46	c INPROCESSING
25.30/25.46	c GARBAGE COLLECT
25.30/25.46	c GLOBAL bounds - >= 0 @ 23.5374
25.40/25.50	c GLOBAL bounds - >= 0 @ 23.5741
25.40/25.53	c GLOBAL bounds - >= 0 @ 23.6007
25.50/25.65	c GLOBAL bounds - >= 0 @ 23.7235
25.60/25.77	c GLOBAL bounds - >= 0 @ 23.8413
26.09/26.26	c GLOBAL bounds - >= 0 @ 24.3215
26.20/26.32	c GLOBAL bounds - >= 0 @ 24.3823
26.50/26.66	c GLOBAL bounds - >= 0 @ 24.7155
26.60/26.70	c GLOBAL bounds - >= 0 @ 24.7582
26.79/26.91	c GLOBAL bounds - >= 0 @ 24.9658
27.90/28.08	c GLOBAL bounds - >= 0 @ 26.1148
28.19/28.38	c GLOBAL bounds - >= 0 @ 26.4038
28.29/28.40	c GLOBAL bounds - >= 0 @ 26.4243
28.29/28.45	c GLOBAL bounds - >= 0 @ 26.4686
28.79/28.90	c GLOBAL bounds - >= 0 @ 26.912
28.90/29.00	c GLOBAL bounds - >= 0 @ 27.0133
29.79/29.91	c #Conflicts:       5000 | #Constraints:     659855
29.79/29.91	c GLOBAL bounds - >= 0 @ 27.9106
32.18/32.31	c GLOBAL bounds - >= 0 @ 30.2714
32.29/32.44	c GLOBAL bounds - >= 0 @ 30.4024
32.48/32.62	c GLOBAL bounds - >= 0 @ 30.5724
32.48/32.68	c GLOBAL bounds - >= 0 @ 30.6309
32.58/32.75	c GLOBAL bounds - >= 0 @ 30.6977
32.68/32.86	c GLOBAL bounds - >= 0 @ 30.8069
32.78/32.93	c GLOBAL bounds - >= 0 @ 30.8735
32.89/33.01	c GLOBAL bounds - >= 0 @ 30.9468
32.98/33.19	c GLOBAL bounds - >= 0 @ 31.1276
33.08/33.22	c GLOBAL bounds - >= 0 @ 31.1583
33.08/33.29	c GLOBAL bounds - >= 0 @ 31.221
33.38/33.51	c GLOBAL bounds - >= 0 @ 31.4301
33.38/33.53	c GLOBAL bounds - >= 0 @ 31.4476
33.38/33.57	c GLOBAL bounds - >= 0 @ 31.4832
33.48/33.62	c GLOBAL bounds - >= 0 @ 31.5359
33.48/33.68	c GLOBAL bounds - >= 0 @ 31.5882
33.58/33.70	c GLOBAL bounds - >= 0 @ 31.614
33.58/33.73	c GLOBAL bounds - >= 0 @ 31.6389
33.58/33.77	c GLOBAL bounds - >= 0 @ 31.6729
34.67/34.89	c GLOBAL bounds - >= 0 @ 32.7686
38.87/39.10	c #Conflicts:       6000 | #Constraints:     660897
38.87/39.10	c GLOBAL bounds - >= 0 @ 36.902
39.97/40.13	c INPROCESSING
39.97/40.13	c GARBAGE COLLECT
39.97/40.13	c GLOBAL bounds - >= 0 @ 37.9194
40.16/40.32	c GLOBAL bounds - >= 0 @ 38.1077
40.36/40.54	c GLOBAL bounds - >= 0 @ 38.3159
40.36/40.58	c GLOBAL bounds - >= 0 @ 38.3599
48.34/48.51	c #Conflicts:       7000 | #Constraints:     659907
48.34/48.51	c #Conflicts:       8000 | #Constraints:     660907
48.34/48.51	c GLOBAL bounds - >= 0 @ 46.167
48.34/48.56	c GLOBAL bounds - >= 0 @ 46.2202
49.34/49.56	c GLOBAL bounds - >= 0 @ 47.1935
50.13/50.34	c GLOBAL bounds - >= 0 @ 47.963
50.83/51.04	c GLOBAL bounds - >= 0 @ 48.6427
50.94/51.13	c GLOBAL bounds - >= 0 @ 48.7325
50.94/51.19	c GLOBAL bounds - >= 0 @ 48.784
56.22/56.44	c #Conflicts:       9000 | #Constraints:     661921
56.22/56.44	c INPROCESSING
56.22/56.44	c GARBAGE COLLECT
56.22/56.44	c GLOBAL bounds - >= 0 @ 53.952
56.32/56.59	c GLOBAL bounds - >= 0 @ 54.0998
56.42/56.66	c GLOBAL bounds - >= 0 @ 54.1614
57.41/57.62	c GLOBAL bounds - >= 0 @ 55.1129
58.11/58.30	c GLOBAL bounds - >= 0 @ 55.7822
69.78/70.07	c #Conflicts:      10000 | #Constraints:     660637
69.78/70.07	c #Conflicts:      11000 | #Constraints:     661637
69.78/70.07	c GLOBAL bounds - >= 0 @ 67.3665
70.08/70.31	c GLOBAL bounds - >= 0 @ 67.6018
70.08/70.38	c GLOBAL bounds - >= 0 @ 67.6742
70.58/70.89	c GLOBAL bounds - >= 0 @ 68.1636
71.58/71.80	c GLOBAL bounds - >= 0 @ 69.0558
74.37/74.63	c GLOBAL bounds - >= 0 @ 71.8292
76.06/76.31	c #Conflicts:      12000 | #Constraints:     662649
76.06/76.31	c INPROCESSING
76.06/76.31	c GARBAGE COLLECT
76.06/76.31	c GLOBAL bounds - >= 0 @ 73.4878
77.06/77.34	c GLOBAL bounds - >= 0 @ 74.5028
77.16/77.45	c GLOBAL bounds - >= 0 @ 74.6125
77.16/77.48	c GLOBAL bounds - >= 0 @ 74.6339
77.36/77.64	c GLOBAL bounds - >= 0 @ 74.7872
78.16/78.43	c GLOBAL bounds - >= 0 @ 75.5707
78.26/78.54	c GLOBAL bounds - >= 0 @ 75.6741
78.26/78.57	c GLOBAL bounds - >= 0 @ 75.7025
78.76/79.03	c GLOBAL bounds - >= 0 @ 76.1565
78.76/79.08	c GLOBAL bounds - >= 0 @ 76.2025
78.87/79.12	c GLOBAL bounds - >= 0 @ 76.2356
78.87/79.17	c GLOBAL bounds - >= 0 @ 76.2839
78.87/79.19	c GLOBAL bounds - >= 0 @ 76.3023
79.06/79.38	c GLOBAL bounds - >= 0 @ 76.4871
79.15/79.43	c GLOBAL bounds - >= 0 @ 76.5278
79.26/79.50	c GLOBAL bounds - >= 0 @ 76.5959
79.26/79.57	c GLOBAL bounds - >= 0 @ 76.6667
79.35/79.63	c GLOBAL bounds - >= 0 @ 76.7166
79.46/79.71	c GLOBAL bounds - >= 0 @ 76.8001
79.46/79.77	c GLOBAL bounds - >= 0 @ 76.853
79.55/79.83	c GLOBAL bounds - >= 0 @ 76.9112
79.65/79.93	c GLOBAL bounds - >= 0 @ 77.0062
79.65/79.97	c GLOBAL bounds - >= 0 @ 77.0489
79.76/80.03	c GLOBAL bounds - >= 0 @ 77.104
79.86/80.14	c GLOBAL bounds - >= 0 @ 77.2118
80.15/80.48	c GLOBAL bounds - >= 0 @ 77.5368
80.25/80.54	c GLOBAL bounds - >= 0 @ 77.5932
80.25/80.58	c GLOBAL bounds - >= 0 @ 77.623
163.13/163.62	c #Conflicts:      13000 | #Constraints:     661154
163.13/163.62	c #Conflicts:      14000 | #Constraints:     662154
163.13/163.62	c #Conflicts:      15000 | #Constraints:     663154
163.13/163.62	c INPROCESSING
163.13/163.62	c GARBAGE COLLECT
163.13/163.62	c #Conflicts:      16000 | #Constraints:     661388
163.13/163.62	c #Conflicts:      17000 | #Constraints:     662388
163.13/163.62	c #Conflicts:      18000 | #Constraints:     663388
163.13/163.62	c INPROCESSING
163.13/163.62	c GARBAGE COLLECT
163.13/163.62	c #Conflicts:      19000 | #Constraints:     661405
163.13/163.62	c GLOBAL bounds - >= 0 @ 159.832
167.71/168.21	c GLOBAL bounds - >= 0 @ 164.384
273.42/274.25	c #Conflicts:      20000 | #Constraints:     662409
273.42/274.25	c #Conflicts:      21000 | #Constraints:     663409
273.42/274.25	c INPROCESSING
273.42/274.25	c GARBAGE COLLECT
273.42/274.25	c #Conflicts:      22000 | #Constraints:     661212
273.42/274.25	c #Conflicts:      23000 | #Constraints:     662212
273.42/274.25	c #Conflicts:      24000 | #Constraints:     663212
273.42/274.25	c #Conflicts:      25000 | #Constraints:     664212
273.42/274.25	c INPROCESSING
273.42/274.25	c GARBAGE COLLECT
273.42/274.25	c GLOBAL bounds - >= 0 @ 269.512
306.03/306.91	c #Conflicts:      26000 | #Constraints:     661821
306.03/306.91	c #Conflicts:      27000 | #Constraints:     662821
306.03/306.91	c GLOBAL bounds - >= 0 @ 301.94
308.23/309.13	c GLOBAL bounds - >= 0 @ 304.141
308.92/309.85	c GLOBAL bounds - >= 0 @ 304.853
309.02/309.91	c GLOBAL bounds - >= 0 @ 304.908
309.13/310.04	c GLOBAL bounds - >= 0 @ 305.035
310.12/311.05	c GLOBAL bounds - >= 0 @ 306.028
310.23/311.12	c GLOBAL bounds - >= 0 @ 306.09
311.01/311.90	c GLOBAL bounds - >= 0 @ 306.86
316.90/317.87	c #Conflicts:      28000 | #Constraints:     663837
316.90/317.87	c GLOBAL bounds - >= 0 @ 312.769
318.49/319.43	c GLOBAL bounds - >= 0 @ 314.314
318.70/319.61	c GLOBAL bounds - >= 0 @ 314.479
318.79/319.79	c GLOBAL bounds - >= 0 @ 314.654
319.10/320.01	c GLOBAL bounds - >= 0 @ 314.878
320.10/321.03	c GLOBAL bounds - >= 0 @ 315.885
320.89/321.82	c GLOBAL bounds - >= 0 @ 316.662
320.99/321.96	c GLOBAL bounds - >= 0 @ 316.796
321.39/322.30	c GLOBAL bounds - >= 0 @ 317.124
322.28/323.26	c GLOBAL bounds - >= 0 @ 318.071
322.49/323.46	c GLOBAL bounds - >= 0 @ 318.268
323.48/324.40	c GLOBAL bounds - >= 0 @ 319.185
331.16/332.16	c #Conflicts:      29000 | #Constraints:     664861
331.16/332.16	c INPROCESSING
331.16/332.16	c GARBAGE COLLECT
331.16/332.16	c GLOBAL bounds - >= 0 @ 326.853
331.16/332.19	c GLOBAL bounds - >= 0 @ 326.882
334.55/335.57	c #Conflicts:      30000 | #Constraints:     662259
334.55/335.57	c GLOBAL bounds - >= 0 @ 330.223
335.06/336.06	c GLOBAL bounds - >= 0 @ 330.704
335.55/336.57	c GLOBAL bounds - >= 0 @ 331.204
335.75/336.76	c GLOBAL bounds - >= 0 @ 331.393
335.85/336.84	c GLOBAL bounds - >= 0 @ 331.471
335.95/336.90	c GLOBAL bounds - >= 0 @ 331.524
337.85/338.86	c GLOBAL bounds - >= 0 @ 333.454
371.96/373.04	c #Conflicts:      31000 | #Constraints:     663273
371.96/373.04	c #Conflicts:      32000 | #Constraints:     664273
371.96/373.04	c #Conflicts:      33000 | #Constraints:     665273
371.96/373.04	c INPROCESSING
371.96/373.04	c GARBAGE COLLECT
371.96/373.04	c #Conflicts:      34000 | #Constraints:     662476
371.96/373.04	c GLOBAL bounds - >= 0 @ 367.226
375.84/376.99	c GLOBAL bounds - >= 0 @ 371.129
382.42/383.50	c #Conflicts:      35000 | #Constraints:     663480
382.42/383.50	c GLOBAL bounds - >= 0 @ 377.552
382.72/383.86	c GLOBAL bounds - >= 0 @ 377.904
382.82/383.97	c GLOBAL bounds - >= 0 @ 378.008
382.93/384.05	c GLOBAL bounds - >= 0 @ 378.082
491.92/493.32	c #Conflicts:      36000 | #Constraints:     664488
491.92/493.32	c #Conflicts:      37000 | #Constraints:     665488
491.92/493.32	c INPROCESSING
491.92/493.32	c GARBAGE COLLECT
491.92/493.32	c #Conflicts:      38000 | #Constraints:     662493
491.92/493.32	c #Conflicts:      39000 | #Constraints:     663493
491.92/493.32	c #Conflicts:      40000 | #Constraints:     664493
491.92/493.32	c #Conflicts:      41000 | #Constraints:     665493
491.92/493.32	c INPROCESSING
491.92/493.32	c GARBAGE COLLECT
491.92/493.32	c #Conflicts:      42000 | #Constraints:     662301
491.92/493.32	c #Conflicts:      43000 | #Constraints:     663301
491.92/493.32	c #Conflicts:      44000 | #Constraints:     664301
491.92/493.32	c #Conflicts:      45000 | #Constraints:     665301
491.92/493.32	c GLOBAL bounds - >= 0 @ 486.136
492.21/493.62	c GLOBAL bounds - >= 0 @ 486.427
492.42/493.87	c GLOBAL bounds - >= 0 @ 486.674
493.81/495.22	c GLOBAL bounds - >= 0 @ 488.011
588.25/590.00	c #Conflicts:      46000 | #Constraints:     666309
588.25/590.00	c INPROCESSING
588.25/590.00	c GARBAGE COLLECT
588.25/590.00	c #Conflicts:      47000 | #Constraints:     662901
588.25/590.00	c #Conflicts:      48000 | #Constraints:     663901
588.25/590.00	c #Conflicts:      49000 | #Constraints:     664901
588.25/590.00	c #Conflicts:      50000 | #Constraints:     665901
588.25/590.00	c #Conflicts:      51000 | #Constraints:     666901
588.25/590.00	c INPROCESSING
588.25/590.00	c GARBAGE COLLECT
588.25/590.00	c GLOBAL bounds - >= 0 @ 581.904
588.35/590.04	c GLOBAL bounds - >= 0 @ 581.939
603.91/605.61	c #Conflicts:      52000 | #Constraints:     663308
603.91/605.61	c GLOBAL bounds - >= 0 @ 597.307
605.70/607.47	c GLOBAL bounds - >= 0 @ 599.152
606.41/608.14	c #Conflicts:      53000 | #Constraints:     664312
606.41/608.14	c GLOBAL bounds - >= 0 @ 599.814
610.19/611.94	c GLOBAL bounds - >= 0 @ 603.556
777.52/779.75	c #Conflicts:      54000 | #Constraints:     665316
777.52/779.75	c #Conflicts:      55000 | #Constraints:     666316
777.52/779.75	c #Conflicts:      56000 | #Constraints:     667316
777.52/779.75	c INPROCESSING
777.52/779.75	c GARBAGE COLLECT
777.52/779.75	c #Conflicts:      57000 | #Constraints:     663517
777.52/779.75	c #Conflicts:      58000 | #Constraints:     664517
777.52/779.75	c #Conflicts:      59000 | #Constraints:     665517
777.52/779.75	c #Conflicts:      60000 | #Constraints:     666517
777.52/779.75	c #Conflicts:      61000 | #Constraints:     667517
777.52/779.75	c INPROCESSING
777.52/779.75	c GARBAGE COLLECT
777.52/779.75	c #Conflicts:      62000 | #Constraints:     663516
777.52/779.75	c #Conflicts:      63000 | #Constraints:     664516
777.52/779.75	c #Conflicts:      64000 | #Constraints:     665516
777.52/779.75	c GLOBAL bounds - >= 0 @ 769.805
856.29/858.80	c #Conflicts:      65000 | #Constraints:     666518
856.29/858.80	c #Conflicts:      66000 | #Constraints:     667518
856.29/858.80	c INPROCESSING
856.29/858.80	c GARBAGE COLLECT
856.29/858.80	c #Conflicts:      67000 | #Constraints:     663317
856.29/858.80	c #Conflicts:      68000 | #Constraints:     664317
856.29/858.80	c GLOBAL bounds - >= 0 @ 848.197
857.00/859.43	c GLOBAL bounds - >= 0 @ 848.831
857.10/859.53	c GLOBAL bounds - >= 0 @ 848.924
860.79/863.28	c GLOBAL bounds - >= 0 @ 852.634
866.97/869.47	c #Conflicts:      69000 | #Constraints:     665325
866.97/869.47	c GLOBAL bounds - >= 0 @ 858.748
918.92/921.58	c #Conflicts:      70000 | #Constraints:     666327
918.92/921.58	c #Conflicts:      71000 | #Constraints:     667327
918.92/921.58	c #Conflicts:      72000 | #Constraints:     668327
918.92/921.58	c INPROCESSING
918.92/921.58	c GARBAGE COLLECT
918.92/921.58	c GLOBAL bounds - >= 0 @ 910.416
1989.73/1995.42	c #Conflicts:      73000 | #Constraints:     663931
1989.73/1995.42	c #Conflicts:      74000 | #Constraints:     664931
1989.73/1995.42	c #Conflicts:      75000 | #Constraints:     665931
1989.73/1995.42	c #Conflicts:      76000 | #Constraints:     666931
1989.73/1995.42	c #Conflicts:      77000 | #Constraints:     667931
1989.73/1995.42	c #Conflicts:      78000 | #Constraints:     668931
1989.73/1995.42	c INPROCESSING
1989.73/1995.42	c GARBAGE COLLECT
1989.73/1995.42	c #Conflicts:      79000 | #Constraints:     664330
1989.73/1995.42	c #Conflicts:      80000 | #Constraints:     665330
1989.73/1995.42	c #Conflicts:      81000 | #Constraints:     666330
1989.73/1995.42	c #Conflicts:      82000 | #Constraints:     667330
1989.73/1995.42	c #Conflicts:      83000 | #Constraints:     668330
1989.73/1995.42	c #Conflicts:      84000 | #Constraints:     669330
1989.73/1995.42	c INPROCESSING
1989.73/1995.42	c GARBAGE COLLECT
1989.73/1995.42	c #Conflicts:      85000 | #Constraints:     664532
1989.73/1995.42	c #Conflicts:      86000 | #Constraints:     665532
1989.73/1995.42	c #Conflicts:      87000 | #Constraints:     666532
1989.73/1995.42	c #Conflicts:      88000 | #Constraints:     667532
1989.73/1995.42	c #Conflicts:      89000 | #Constraints:     668532
1989.73/1995.42	c #Conflicts:      90000 | #Constraints:     669532
1989.73/1995.42	c INPROCESSING
1989.73/1995.42	c GARBAGE COLLECT
1989.73/1995.42	c #Conflicts:      91000 | #Constraints:     664537
1989.73/1995.42	c #Conflicts:      92000 | #Constraints:     665537
1989.73/1995.42	c #Conflicts:      93000 | #Constraints:     666537
1989.73/1995.42	c #Conflicts:      94000 | #Constraints:     667537
1989.73/1995.42	c #Conflicts:      95000 | #Constraints:     668537
1989.73/1995.42	c #Conflicts:      96000 | #Constraints:     669537
1989.73/1995.42	c INPROCESSING
1989.73/1995.42	c GARBAGE COLLECT
1989.73/1995.42	c #Conflicts:      97000 | #Constraints:     664340
1989.73/1995.42	c #Conflicts:      98000 | #Constraints:     665340
1989.73/1995.42	c #Conflicts:      99000 | #Constraints:     666340
1989.73/1995.42	c #Conflicts:     100000 | #Constraints:     667340
1989.73/1995.42	c #Conflicts:     101000 | #Constraints:     668340
1989.73/1995.42	c #Conflicts:     102000 | #Constraints:     669340
1989.73/1995.42	c #Conflicts:     103000 | #Constraints:     670340
1989.73/1995.42	c INPROCESSING
1989.73/1995.42	c GARBAGE COLLECT
1989.73/1995.42	c #Conflicts:     104000 | #Constraints:     664935
1989.73/1995.42	c #Conflicts:     105000 | #Constraints:     665935
1989.73/1995.42	c #Conflicts:     106000 | #Constraints:     666935
1989.73/1995.42	c #Conflicts:     107000 | #Constraints:     667935
1989.73/1995.42	c #Conflicts:     108000 | #Constraints:     668935
1989.73/1995.42	c #Conflicts:     109000 | #Constraints:     669935
1989.73/1995.42	c #Conflicts:     110000 | #Constraints:     670935
1989.73/1995.42	c INPROCESSING
1989.73/1995.42	c GARBAGE COLLECT
1989.73/1995.42	c #Conflicts:     111000 | #Constraints:     665334
1989.73/1995.42	c #Conflicts:     112000 | #Constraints:     666334
1989.73/1995.42	c #Conflicts:     113000 | #Constraints:     667334
1989.73/1995.42	c #Conflicts:     114000 | #Constraints:     668334
1989.73/1995.42	c #Conflicts:     115000 | #Constraints:     669334
1989.73/1995.42	c #Conflicts:     116000 | #Constraints:     670334
1989.73/1995.42	c #Conflicts:     117000 | #Constraints:     671334
1989.73/1995.42	c INPROCESSING
1989.73/1995.42	c GARBAGE COLLECT
1989.73/1995.42	c #Conflicts:     118000 | #Constraints:     665533
1989.73/1995.42	c #Conflicts:     119000 | #Constraints:     666533
1989.73/1995.42	c #Conflicts:     120000 | #Constraints:     667533
1989.73/1995.42	c #Conflicts:     121000 | #Constraints:     668533
1989.73/1995.42	c GLOBAL bounds - >= 0 @ 1975.98
2016.55/2022.38	c #Conflicts:     122000 | #Constraints:     669535
2016.55/2022.38	c GLOBAL bounds - >= 0 @ 2002.75
2060.83/2066.73	c #Conflicts:     123000 | #Constraints:     670537
2060.83/2066.73	c #Conflicts:     124000 | #Constraints:     671537
2060.83/2066.73	c INPROCESSING
2060.83/2066.73	c GARBAGE COLLECT
2060.83/2066.73	c GLOBAL bounds - >= 0 @ 2046.75
2175.90/2182.13	c #Conflicts:     125000 | #Constraints:     665533
2175.90/2182.13	c #Conflicts:     126000 | #Constraints:     666533
2175.90/2182.13	c #Conflicts:     127000 | #Constraints:     667533
2175.90/2182.13	c #Conflicts:     128000 | #Constraints:     668533
2175.90/2182.13	c #Conflicts:     129000 | #Constraints:     669533
2175.90/2182.13	c #Conflicts:     130000 | #Constraints:     670533
2175.90/2182.13	c GLOBAL bounds - >= 0 @ 2161.25
2184.07/2190.34	c GLOBAL bounds - >= 0 @ 2169.41
2200.83/2207.19	c GLOBAL bounds - >= 0 @ 2186.17
2205.81/2212.17	c #Conflicts:     131000 | #Constraints:     671539
2205.81/2212.17	c GLOBAL bounds - >= 0 @ 2191.12
2207.00/2213.36	c GLOBAL bounds - >= 0 @ 2192.3
3600.04/3610.50	c INPROCESSING
3600.04/3610.50	c GARBAGE COLLECT
3600.04/3610.50	c #Conflicts:     132000 | #Constraints:     665342
3600.04/3610.50	c #Conflicts:     133000 | #Constraints:     666342
3600.04/3610.50	c #Conflicts:     134000 | #Constraints:     667342
3600.04/3610.50	c #Conflicts:     135000 | #Constraints:     668342
3600.04/3610.50	c #Conflicts:     136000 | #Constraints:     669342
3600.04/3610.50	c #Conflicts:     137000 | #Constraints:     670342
3600.04/3610.50	c #Conflicts:     138000 | #Constraints:     671342
3600.04/3610.50	c #Conflicts:     139000 | #Constraints:     672342
3600.04/3610.50	c INPROCESSING
3600.04/3610.50	c GARBAGE COLLECT
3600.04/3610.50	c #Conflicts:     140000 | #Constraints:     665950
3600.04/3610.50	c #Conflicts:     141000 | #Constraints:     666950
3600.04/3610.50	c #Conflicts:     142000 | #Constraints:     667950
3600.04/3610.50	c #Conflicts:     143000 | #Constraints:     668950
3600.04/3610.50	c #Conflicts:     144000 | #Constraints:     669950
3600.04/3610.50	c #Conflicts:     145000 | #Constraints:     670950
3600.04/3610.50	c #Conflicts:     146000 | #Constraints:     671950
3600.04/3610.50	c #Conflicts:     147000 | #Constraints:     672950
3600.04/3610.50	c INPROCESSING
3600.04/3610.50	c GARBAGE COLLECT
3600.04/3610.50	c #Conflicts:     148000 | #Constraints:     666361
3600.04/3610.50	c #Conflicts:     149000 | #Constraints:     667361
3600.04/3610.50	c #Conflicts:     150000 | #Constraints:     668361
3600.04/3610.50	c #Conflicts:     151000 | #Constraints:     669361
3600.04/3610.50	c #Conflicts:     152000 | #Constraints:     670361
3600.04/3610.50	c #Conflicts:     153000 | #Constraints:     671361
3600.04/3610.50	c #Conflicts:     154000 | #Constraints:     672361
3600.04/3610.50	c #Conflicts:     155000 | #Constraints:     673361
3600.04/3610.50	c INPROCESSING
3600.04/3610.50	c GARBAGE COLLECT
3600.04/3610.50	c #Conflicts:     156000 | #Constraints:     666559
3600.04/3610.50	c #Conflicts:     157000 | #Constraints:     667559
3600.04/3610.50	c #Conflicts:     158000 | #Constraints:     668559
3600.04/3610.50	c #Conflicts:     159000 | #Constraints:     669559
3600.04/3610.50	c #Conflicts:     160000 | #Constraints:     670559
3600.04/3610.50	c #Conflicts:     161000 | #Constraints:     671559
3600.04/3610.50	c #Conflicts:     162000 | #Constraints:     672559
3600.04/3610.50	c #Conflicts:     163000 | #Constraints:     673559
3600.04/3610.50	c INPROCESSING
3600.04/3610.50	c GARBAGE COLLECT
3600.04/3610.50	c #Conflicts:     164000 | #Constraints:     666557
3600.04/3610.50	c #Conflicts:     165000 | #Constraints:     667557
3600.04/3610.50	c #Conflicts:     166000 | #Constraints:     668557
3600.04/3610.50	c #Conflicts:     167000 | #Constraints:     669557
3600.04/3610.50	c #Conflicts:     168000 | #Constraints:     670557
3600.04/3610.50	c #Conflicts:     169000 | #Constraints:     671557
3600.04/3610.50	c #Conflicts:     170000 | #Constraints:     672557
3600.04/3610.50	c #Conflicts:     171000 | #Constraints:     673557
3600.04/3610.50	c INPROCESSING
3600.04/3610.50	c GARBAGE COLLECT
3600.04/3610.50	c #Conflicts:     172000 | #Constraints:     666345
3600.04/3610.50	c #Conflicts:     173000 | #Constraints:     667345
3600.04/3610.50	c #Conflicts:     174000 | #Constraints:     668345
3600.04/3610.50	c #Conflicts:     175000 | #Constraints:     669345
3600.04/3610.50	c #Conflicts:     176000 | #Constraints:     670345
3600.04/3610.50	c #Conflicts:     177000 | #Constraints:     671345
3600.04/3610.50	c #Conflicts:     178000 | #Constraints:     672345
3600.04/3610.50	c #Conflicts:     179000 | #Constraints:     673345
3600.04/3610.50	c #Conflicts:     180000 | #Constraints:     674345
3600.04/3610.50	c INPROCESSING
3600.04/3610.50	c GARBAGE COLLECT
3600.04/3610.50	c #Conflicts:     181000 | #Constraints:     666944
3600.04/3610.50	c #Conflicts:     182000 | #Constraints:     667944
3600.04/3610.50	c #Conflicts:     183000 | #Constraints:     668944
3600.04/3610.50	c #Conflicts:     184000 | #Constraints:     669944
3600.04/3610.50	c #Conflicts:     185000 | #Constraints:     670944
3600.04/3610.50	c #Conflicts:     186000 | #Constraints:     671944
3600.04/3610.50	c #Conflicts:     187000 | #Constraints:     672944
3600.04/3610.50	c #Conflicts:     188000 | #Constraints:     673944
3600.04/3610.50	c #Conflicts:     189000 | #Constraints:     674944
3600.04/3610.50	c INPROCESSING
3600.04/3610.50	c GARBAGE COLLECT
3600.04/3610.50	c #Conflicts:     190000 | #Constraints:     667354
3600.04/3610.50	c #Conflicts:     191000 | #Constraints:     668354
3600.04/3610.50	c #Conflicts:     192000 | #Constraints:     669354
3600.04/3610.50	c #Conflicts:     193000 | #Constraints:     670354
3600.04/3610.50	c #Conflicts:     194000 | #Constraints:     671354
3600.04/3610.50	c #Conflicts:     195000 | #Constraints:     672354
3600.04/3610.50	c cpu time 3578.83 s
3600.04/3610.50	c deterministic time 1 1.00e+00
3600.04/3610.50	c optimization time 3576.39 s
3600.04/3610.50	c total solve time 0 s
3600.04/3610.50	c core-guided solve time 0 s
3600.04/3610.50	c propagation time 0.210389 s
3600.04/3610.50	c conflict analysis time 0 s
3600.04/3610.50	c propagations 0
3600.04/3610.50	c resolve steps 0
3600.04/3610.50	c decisions 0
3600.04/3610.50	c conflicts 0
3600.04/3610.50	c restarts 0
3600.04/3610.50	c inprocessing phases 0
3600.04/3610.50	c garbage collections 0 ,( -nan )
3600.04/3610.50	c input clauses 656900 ,( 100.00 )
3600.04/3610.50	c input cardinalities 0 ,( 0.00 )
3600.04/3610.50	c input general constraints 0 ,( 0.00 )
3600.04/3610.50	c input average constraint length 2.03
3600.04/3610.50	c input average constraint degree 1.00
3600.04/3610.50	c learned clauses 0 ,( 0.00 )
3600.04/3610.50	c learned cardinalities 0 ,( 0.00 )
3600.04/3610.50	c learned general constraints 0 ,( 0.00 )
3600.04/3610.50	c learned average constraint length 0.00
3600.04/3610.50	c learned average constraint degree 0.00
3600.04/3610.50	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.04/3610.50	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.04/3610.50	c watched   constraints 0 ,( -nan ) 
3600.04/3610.50	c counting  constraints 0 ,( -nan ) 
3600.04/3610.50	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.04/3610.50	c gcd simplifications 0
3600.04/3610.50	c detected cardinalities 0
3600.04/3610.50	c weakened non-implied lits 0
3600.04/3610.50	c weakened non-implying lits 0
3600.04/3610.50	c original variables 10000
3600.04/3610.50	c clausal propagations 0
3600.04/3610.50	c cardinality propagations 0
3600.04/3610.50	c watched propagations 0
3600.04/3610.50	c counting propagations 0
3600.04/3610.50	c watch lookups 0
3600.04/3610.50	c watch backjump lookups 0
3600.04/3610.50	c watch checks 0
3600.04/3610.50	c propagation checks 0
3600.04/3610.50	c constraint additions 0
3600.04/3610.50	c trail pops 0
3600.04/3610.50	c formula constraints 656900
3600.04/3610.50	c learned constraints 0
3600.04/3610.50	c bound constraints 0
3600.04/3610.50	c core-guided constraints 0
3600.04/3610.50	c encountered formula constraints 0
3600.04/3610.50	c encountered learned constraints 0
3600.04/3610.50	c encountered bound constraints 0
3600.04/3610.50	c encountered core-guided constraints 0
3600.04/3610.50	c LP total time 0 s
3600.04/3610.50	c LP solve time 0 s
3600.04/3610.50	c LP constraints added 0
3600.04/3610.50	c LP constraints removed 0
3600.04/3610.50	c LP pivots internal 0
3600.04/3610.50	c LP pivots root 0
3600.04/3610.50	c LP calls 0
3600.04/3610.50	c LP optimalities 0
3600.04/3610.50	c LP no pivot count 0
3600.04/3610.50	c LP infeasibilities 0
3600.04/3610.50	c LP valid Farkas constraints 0
3600.04/3610.50	c LP learned Farkas constraints 0
3600.04/3610.50	c LP basis resets 0
3600.04/3610.50	c LP cycling count 0
3600.04/3610.50	c LP singular count 0
3600.04/3610.50	c LP no primal count 0
3600.04/3610.50	c LP no farkas count 0
3600.04/3610.50	c LP other issue count 0
3600.04/3610.50	c LP Gomory cuts 0
3600.04/3610.50	c LP learned cuts 0
3600.04/3610.50	c LP deleted cuts 0
3600.04/3610.50	c LP encountered Gomory constraints 0
3600.04/3610.50	c LP encountered Farkas constraints 0
3600.04/3610.50	c LP encountered learned Farkas constraints 0
3600.04/3610.50	c CG auxiliary variables introduced 0
3600.04/3610.50	c CG solutions found 0
3600.04/3610.50	c CG cores constructed 0
3600.04/3610.50	c CG core cardinality constraints returned 0
3600.04/3610.50	c CG unit cores 0
3600.04/3610.50	c CG single cores 0
3600.04/3610.50	c CG blocks removed during cardinality reduction 0
3600.04/3610.50	c CG first core best 0
3600.04/3610.50	c CG decision core best 0
3600.04/3610.50	c CG core reduction tie 0
3600.04/3610.50	c CG core degree average 0.00
3600.04/3610.50	c CG core slack average 0.00
3600.04/3610.50	c CG core upper bound improvements 0
3600.04/3610.50	c STR number of successful calls 0
3600.04/3610.50	c STR number of unsuccessful calls 0
3600.04/3610.50	c STR number of inconclusive calls 0
3600.04/3610.50	c STR number of successful attempts 0
3600.04/3610.50	c STR number of unsuccessful attempts 0
3600.04/3610.50	c STR number of inconclusive attempts 0
3600.04/3610.50	c STR average degree increase per successful call inf
3600.04/3610.50	c STR average degree increase per successful attempt inf
3600.04/3610.50	c STR total number of conflicts for successful attempts 0
3600.04/3610.50	c STR total number of conflicts for unsuccessful attempts 0
3600.04/3610.50	c STR total number of conflicts for inconclusive attempts 0
3600.04/3610.50	c STR average number of conflicts per successful attempt inf
3600.04/3610.50	c STR average number of conflicts per unsuccessful attempt inf
3600.04/3610.50	c STR average number of conflicts per inconclusive attempt inf
3600.04/3610.50	c AVG.sumWPerc -nan 
3600.04/3610.50	c bigint constraints 0 
3600.04/3610.50	s UNKNOWN
3600.04/3610.50	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: 63708 MiB (62397 MiB free)
  memory of node 1: 64465 MiB (63577 MiB free)
  node distances:
     10  21
     21  10

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

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
solver pid=52248, runsolver pid=52238
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 0.62 1.02 1.84 5/269 52250
/proc/meminfo: memFree=128984772/131250000 swapFree=33010684/33010684
[pid=52248] ppid=52238 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/52248/stat : 52248 (run-opt-log.sh) S 52238 52248 52176 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51854957 4292608 768 18446744073709551615 94401409867776 94401410762309 140725489726016 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94401411001360 94401411049104 94401430482944 140725489727777 140725489727972 140725489727972 140725489733574 0
/proc/52248/statm: 1048 768 704 219 0 110 0
[pid=52250] ppid=52248 vsize=60472 memory=15848 CPUtime=0.07 cores=1,3
/proc/52250/stat : 52250 (roundingsat) R 52248 52248 52176 0 -1 4194304 2052 0 0 0 5 2 0 0 20 0 1 0 51854958 61923328 3962 18446744073709551615 4227072 8923433 140721578665600 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38797312 140721578670418 140721578670632 140721578670632 140721578676202 0
/proc/52250/statm: 15118 3962 2016 1147 0 2545 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 64664 KiB
Current children cumulated memory: 18920 KiB

[startup+0.204577 s]*
/proc/loadavg: 0.62 1.02 1.84 5/269 52250
/proc/meminfo: memFree=128976960/131250000 swapFree=33010684/33010684
[pid=52248] ppid=52238 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/52248/stat : 52248 (run-opt-log.sh) S 52238 52248 52176 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51854957 4292608 768 18446744073709551615 94401409867776 94401410762309 140725489726016 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94401411001360 94401411049104 94401430482944 140725489727777 140725489727972 140725489727972 140725489733574 0
/proc/52248/statm: 1048 768 704 219 0 110 0
[pid=52250] ppid=52248 vsize=63676 memory=21116 CPUtime=0.17 cores=1,3
/proc/52250/stat : 52250 (roundingsat) R 52248 52248 52176 0 -1 4194304 2883 0 0 0 13 4 0 0 20 0 1 0 51854958 65204224 5279 18446744073709551615 4227072 8923433 140721578665600 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38797312 140721578670418 140721578670632 140721578670632 140721578676202 0
/proc/52250/statm: 15919 5279 2016 1147 0 3346 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 67868 KiB
Current children cumulated memory: 24188 KiB

[startup+0.304898 s]*
/proc/loadavg: 0.62 1.02 1.84 5/269 52250
/proc/meminfo: memFree=128960052/131250000 swapFree=33010684/33010684
[pid=52248] ppid=52238 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/52248/stat : 52248 (run-opt-log.sh) S 52238 52248 52176 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51854957 4292608 768 18446744073709551615 94401409867776 94401410762309 140725489726016 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94401411001360 94401411049104 94401430482944 140725489727777 140725489727972 140725489727972 140725489733574 0
/proc/52248/statm: 1048 768 704 219 0 110 0
[pid=52250] ppid=52248 vsize=68380 memory=25596 CPUtime=0.28 cores=1,3
/proc/52250/stat : 52250 (roundingsat) R 52248 52248 52176 0 -1 4194304 3990 0 0 0 22 6 0 0 20 0 1 0 51854958 70021120 6399 18446744073709551615 4227072 8923433 140721578665600 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38797312 140721578670418 140721578670632 140721578670632 140721578676202 0
/proc/52250/statm: 17095 6399 2016 1147 0 4522 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 72572 KiB
Current children cumulated memory: 28668 KiB

[startup+0.700155 s]
/proc/loadavg: 0.62 1.02 1.84 5/269 52250
/proc/meminfo: memFree=128911920/131250000 swapFree=33010684/33010684
[pid=52248] ppid=52238 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/52248/stat : 52248 (run-opt-log.sh) S 52238 52248 52176 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51854957 4292608 768 18446744073709551615 94401409867776 94401410762309 140725489726016 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94401411001360 94401411049104 94401430482944 140725489727777 140725489727972 140725489727972 140725489733574 0
/proc/52248/statm: 1048 768 704 219 0 110 0
[pid=52250] ppid=52248 vsize=89524 memory=44872 CPUtime=0.67 cores=1,3
/proc/52250/stat : 52250 (roundingsat) R 52248 52248 52176 0 -1 4194304 8905 0 0 0 53 14 0 0 20 0 1 0 51854958 91672576 11218 18446744073709551615 4227072 8923433 140721578665600 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38797312 140721578670418 140721578670632 140721578670632 140721578676202 0
/proc/52250/statm: 22381 11218 2016 1147 0 9808 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 93716 KiB
Current children cumulated memory: 47944 KiB

[startup+1.50017 s]
/proc/loadavg: 0.62 1.02 1.84 5/269 52250
/proc/meminfo: memFree=128823592/131250000 swapFree=33010684/33010684
[pid=52248] ppid=52238 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/52248/stat : 52248 (run-opt-log.sh) S 52238 52248 52176 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51854957 4292608 768 18446744073709551615 94401409867776 94401410762309 140725489726016 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94401411001360 94401411049104 94401430482944 140725489727777 140725489727972 140725489727972 140725489733574 0
/proc/52248/statm: 1048 768 704 219 0 110 0
[pid=52250] ppid=52248 vsize=144252 memory=88176 CPUtime=1.46 cores=1,3
/proc/52250/stat : 52250 (roundingsat) R 52248 52248 52176 0 -1 4194304 18799 0 0 0 112 34 0 0 20 0 1 0 51854958 147714048 22044 18446744073709551615 4227072 8923433 140721578665600 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38797312 140721578670418 140721578670632 140721578670632 140721578676202 0
/proc/52250/statm: 36063 22044 2016 1147 0 23490 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 148444 KiB
Current children cumulated memory: 91248 KiB

[startup+3.10541 s]
/proc/loadavg: 0.62 1.02 1.84 5/269 52250
/proc/meminfo: memFree=126577488/131250000 swapFree=33010684/33010684
[pid=52248] ppid=52238 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/52248/stat : 52248 (run-opt-log.sh) S 52238 52248 52176 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51854957 4292608 768 18446744073709551615 94401409867776 94401410762309 140725489726016 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94401411001360 94401411049104 94401430482944 140725489727777 140725489727972 140725489727972 140725489733574 0
/proc/52248/statm: 1048 768 704 219 0 110 0
[pid=52250] ppid=52248 vsize=767304 memory=514656 CPUtime=3.06 cores=1,3
/proc/52250/stat : 52250 (roundingsat) R 52248 52248 52176 0 -1 4194304 42612 0 0 0 243 63 0 0 20 0 1 0 51854958 785719296 128664 18446744073709551615 4227072 8923433 140721578665600 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38797312 140721578670418 140721578670632 140721578670632 140721578676202 0
/proc/52250/statm: 191826 128664 2304 1147 0 179253 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 771496 KiB
Current children cumulated memory: 517728 KiB

[startup+6.30017 s]
/proc/loadavg: 0.89 1.07 1.85 5/269 52250
/proc/meminfo: memFree=124980504/131250000 swapFree=33010684/33010684
[pid=52248] ppid=52238 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/52248/stat : 52248 (run-opt-log.sh) S 52238 52248 52176 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51854957 4292608 768 18446744073709551615 94401409867776 94401410762309 140725489726016 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94401411001360 94401411049104 94401430482944 140725489727777 140725489727972 140725489727972 140725489733574 0
/proc/52248/statm: 1048 768 704 219 0 110 0
[pid=52250] ppid=52248 vsize=1222628 memory=953756 CPUtime=6.25 cores=1,3
/proc/52250/stat : 52250 (roundingsat) R 52248 52248 52176 0 -1 4194304 139510 0 0 0 500 125 0 0 20 0 1 0 51854958 1251971072 238439 18446744073709551615 4227072 8923433 140721578665600 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38797312 140721578670418 140721578670632 140721578670632 140721578676202 0
/proc/52250/statm: 305657 238439 2400 1147 0 293084 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 1226820 KiB
Current children cumulated memory: 956828 KiB

[startup+12.7002 s]
/proc/loadavg: 1.14 1.12 1.86 5/271 52252
/proc/meminfo: memFree=124393872/131250000 swapFree=33010684/33010684
[pid=52248] ppid=52238 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/52248/stat : 52248 (run-opt-log.sh) S 52238 52248 52176 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51854957 4292608 768 18446744073709551615 94401409867776 94401410762309 140725489726016 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94401411001360 94401411049104 94401430482944 140725489727777 140725489727972 140725489727972 140725489733574 0
/proc/52248/statm: 1048 768 704 219 0 110 0
[pid=52250] ppid=52248 vsize=1303536 memory=999580 CPUtime=12.63 cores=1,3
/proc/52250/stat : 52250 (roundingsat) R 52248 52248 52176 0 -1 4194304 140771 0 0 0 1106 157 0 0 20 0 1 0 51854958 1334820864 249895 18446744073709551615 4227072 8923433 140721578665600 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38797312 140721578670418 140721578670632 140721578670632 140721578676202 0
/proc/52250/statm: 325884 249895 2400 1147 0 313311 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1307728 KiB
Current children cumulated memory: 1002652 KiB

[startup+25.5002 s]
/proc/loadavg: 1.78 1.26 1.90 5/271 52252
/proc/meminfo: memFree=122777904/131250000 swapFree=33010684/33010684
[pid=52248] ppid=52238 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/52248/stat : 52248 (run-opt-log.sh) S 52238 52248 52176 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51854957 4292608 768 18446744073709551615 94401409867776 94401410762309 140725489726016 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94401411001360 94401411049104 94401430482944 140725489727777 140725489727972 140725489727972 140725489733574 0
/proc/52248/statm: 1048 768 704 219 0 110 0
[pid=52250] ppid=52248 vsize=1443892 memory=1120560 CPUtime=25.4 cores=1,3
/proc/52250/stat : 52250 (roundingsat) R 52248 52248 52176 0 -1 4194304 151114 0 0 0 2357 183 0 0 20 0 1 0 51854958 1478545408 280140 18446744073709551615 4227072 8923433 140721578665600 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38797312 140721578670418 140721578670632 140721578670632 140721578676202 0
/proc/52250/statm: 360973 280140 2400 1147 0 348400 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1448084 KiB
Current children cumulated memory: 1123632 KiB

[startup+51.1057 s]
/proc/loadavg: 2.60 1.50 1.96 5/275 52257
/proc/meminfo: memFree=120591716/131250000 swapFree=33010684/33010684
[pid=52248] ppid=52238 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/52248/stat : 52248 (run-opt-log.sh) S 52238 52248 52176 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51854957 4292608 768 18446744073709551615 94401409867776 94401410762309 140725489726016 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94401411001360 94401411049104 94401430482944 140725489727777 140725489727972 140725489727972 140725489733574 0
/proc/52248/statm: 1048 768 704 219 0 110 0
[pid=52250] ppid=52248 vsize=1572424 memory=1271404 CPUtime=50.94 cores=1,3
/proc/52250/stat : 52250 (roundingsat) R 52248 52248 52176 0 -1 4194304 176061 0 0 0 4870 224 0 0 20 0 1 0 51854958 1610162176 317851 18446744073709551615 4227072 8923433 140721578665600 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38797312 140721578670418 140721578670632 140721578670632 140721578676202 0
/proc/52250/statm: 393106 317851 2400 1147 0 380533 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1576616 KiB
Current children cumulated memory: 1274476 KiB

[startup+102.3 s]
/proc/loadavg: 3.45 1.90 2.07 5/275 52259
/proc/meminfo: memFree=117133436/131250000 swapFree=33010684/33010684
[pid=52248] ppid=52238 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/52248/stat : 52248 (run-opt-log.sh) S 52238 52248 52176 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51854957 4292608 768 18446744073709551615 94401409867776 94401410762309 140725489726016 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94401411001360 94401411049104 94401430482944 140725489727777 140725489727972 140725489727972 140725489733574 0
/proc/52248/statm: 1048 768 704 219 0 110 0
[pid=52250] ppid=52248 vsize=1965688 memory=1530228 CPUtime=102 cores=1,3
/proc/52250/stat : 52250 (roundingsat) R 52248 52248 52176 0 -1 4194304 220860 0 0 0 9904 296 0 0 20 0 1 0 51854958 2012864512 382557 18446744073709551615 4227072 8923433 140721578665600 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38797312 140721578670418 140721578670632 140721578670632 140721578676202 0
/proc/52250/statm: 491422 382557 2400 1147 0 478849 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 1969880 KiB
Current children cumulated memory: 1533300 KiB

[startup+162.3 s]
/proc/loadavg: 3.84 2.30 2.20 5/274 52263
/proc/meminfo: memFree=114755204/131250000 swapFree=33010684/33010684
[pid=52248] ppid=52238 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/52248/stat : 52248 (run-opt-log.sh) S 52238 52248 52176 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51854957 4292608 768 18446744073709551615 94401409867776 94401410762309 140725489726016 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94401411001360 94401411049104 94401430482944 140725489727777 140725489727972 140725489727972 140725489733574 0
/proc/52248/statm: 1048 768 704 219 0 110 0
[pid=52250] ppid=52248 vsize=2033444 memory=1607684 CPUtime=161.83 cores=1,3
/proc/52250/stat : 52250 (roundingsat) R 52248 52248 52176 0 -1 4194304 233049 0 0 0 15851 332 0 0 20 0 1 0 51854958 2082246656 401921 18446744073709551615 4227072 8923433 140721578665600 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38797312 140721578670418 140721578670632 140721578670632 140721578676202 0
/proc/52250/statm: 508361 401921 2400 1147 0 495788 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 2037636 KiB
Current children cumulated memory: 1610756 KiB

[startup+222.3 s]
/proc/loadavg: 3.98 2.63 2.32 5/275 52270
/proc/meminfo: memFree=112469212/131250000 swapFree=33010684/33010684
[pid=52248] ppid=52238 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/52248/stat : 52248 (run-opt-log.sh) S 52238 52248 52176 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51854957 4292608 768 18446744073709551615 94401409867776 94401410762309 140725489726016 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94401411001360 94401411049104 94401430482944 140725489727777 140725489727972 140725489727972 140725489733574 0
/proc/52248/statm: 1048 768 704 219 0 110 0
[pid=52250] ppid=52248 vsize=2146100 memory=1747480 CPUtime=221.67 cores=1,3
/proc/52250/stat : 52250 (roundingsat) R 52248 52248 52176 0 -1 4194304 256328 0 0 0 21797 370 0 0 20 0 1 0 51854958 2197606400 436870 18446744073709551615 4227072 8923433 140721578665600 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38797312 140721578670418 140721578670632 140721578670632 140721578676202 0

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

/proc/loadavg: 4.10 4.12 4.04 5/274 52437
/proc/meminfo: memFree=39252800/131250000 swapFree=33010684/33010684
[pid=52248] ppid=52238 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/52248/stat : 52248 (run-opt-log.sh) S 52238 52248 52176 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51854957 4292608 768 18446744073709551615 94401409867776 94401410762309 140725489726016 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94401411001360 94401411049104 94401430482944 140725489727777 140725489727972 140725489727972 140725489733574 0
/proc/52248/statm: 1048 768 704 219 0 110 0
[pid=52250] ppid=52248 vsize=3400284 memory=2645412 CPUtime=3153.27 cores=1,3
/proc/52250/stat : 52250 (roundingsat) R 52248 52248 52176 0 -1 4194304 404245 0 0 0 313402 1925 0 0 20 0 1 0 51854958 3481890816 661353 18446744073709551615 4227072 8923433 140721578665600 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38797312 140721578670418 140721578670632 140721578670632 140721578676202 0
/proc/52250/statm: 850071 661353 2400 1147 0 837498 0
Current children cumulated CPU time: 3153.27 s
Current children cumulated vsize: 3404476 KiB
Current children cumulated memory: 2648484 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.13 4.05 5/273 52443
/proc/meminfo: memFree=38005808/131250000 swapFree=33010684/33010684
[pid=52248] ppid=52238 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/52248/stat : 52248 (run-opt-log.sh) S 52238 52248 52176 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51854957 4292608 768 18446744073709551615 94401409867776 94401410762309 140725489726016 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94401411001360 94401411049104 94401430482944 140725489727777 140725489727972 140725489727972 140725489733574 0
/proc/52248/statm: 1048 768 704 219 0 110 0
[pid=52250] ppid=52248 vsize=3400284 memory=2645412 CPUtime=3213.1 cores=1,3
/proc/52250/stat : 52250 (roundingsat) R 52248 52248 52176 0 -1 4194304 404245 0 0 0 319362 1948 0 0 20 0 1 0 51854958 3481890816 661353 18446744073709551615 4227072 8923433 140721578665600 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38797312 140721578670418 140721578670632 140721578670632 140721578676202 0
/proc/52250/statm: 850071 661353 2400 1147 0 837498 0
Current children cumulated CPU time: 3213.1 s
Current children cumulated vsize: 3404476 KiB
Current children cumulated memory: 2648484 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.12 4.05 5/273 52445
/proc/meminfo: memFree=36872476/131250000 swapFree=33010684/33010684
[pid=52248] ppid=52238 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/52248/stat : 52248 (run-opt-log.sh) S 52238 52248 52176 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51854957 4292608 768 18446744073709551615 94401409867776 94401410762309 140725489726016 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94401411001360 94401411049104 94401430482944 140725489727777 140725489727972 140725489727972 140725489733574 0
/proc/52248/statm: 1048 768 704 219 0 110 0
[pid=52250] ppid=52248 vsize=3400800 memory=2654244 CPUtime=3272.91 cores=1,3
/proc/52250/stat : 52250 (roundingsat) R 52248 52248 52176 0 -1 4194304 406493 0 0 0 325320 1971 0 0 20 0 1 0 51854958 3482419200 663561 18446744073709551615 4227072 8923433 140721578665600 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38797312 140721578670418 140721578670632 140721578670632 140721578676202 0
/proc/52250/statm: 850200 663561 2400 1147 0 837627 0
Current children cumulated CPU time: 3272.91 s
Current children cumulated vsize: 3404992 KiB
Current children cumulated memory: 2657316 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.11 4.05 5/273 52446
/proc/meminfo: memFree=35476296/131250000 swapFree=33010684/33010684
[pid=52248] ppid=52238 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/52248/stat : 52248 (run-opt-log.sh) S 52238 52248 52176 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51854957 4292608 768 18446744073709551615 94401409867776 94401410762309 140725489726016 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94401411001360 94401411049104 94401430482944 140725489727777 140725489727972 140725489727972 140725489733574 0
/proc/52248/statm: 1048 768 704 219 0 110 0
[pid=52250] ppid=52248 vsize=3400800 memory=2654244 CPUtime=3332.71 cores=1,3
/proc/52250/stat : 52250 (roundingsat) R 52248 52248 52176 0 -1 4194304 406520 0 0 0 331266 2005 0 0 20 0 1 0 51854958 3482419200 663561 18446744073709551615 4227072 8923433 140721578665600 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38797312 140721578670418 140721578670632 140721578670632 140721578676202 0
/proc/52250/statm: 850200 663561 2400 1147 0 837627 0
Current children cumulated CPU time: 3332.71 s
Current children cumulated vsize: 3404992 KiB
Current children cumulated memory: 2657316 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.12 4.06 5/274 52450
/proc/meminfo: memFree=34300320/131250000 swapFree=33010684/33010684
[pid=52248] ppid=52238 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/52248/stat : 52248 (run-opt-log.sh) S 52238 52248 52176 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51854957 4292608 768 18446744073709551615 94401409867776 94401410762309 140725489726016 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94401411001360 94401411049104 94401430482944 140725489727777 140725489727972 140725489727972 140725489733574 0
/proc/52248/statm: 1048 768 704 219 0 110 0
[pid=52250] ppid=52248 vsize=3400800 memory=2654244 CPUtime=3392.52 cores=1,3
/proc/52250/stat : 52250 (roundingsat) R 52248 52248 52176 0 -1 4194304 406520 0 0 0 337223 2029 0 0 20 0 1 0 51854958 3482419200 663561 18446744073709551615 4227072 8923433 140721578665600 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38797312 140721578670418 140721578670632 140721578670632 140721578676202 0
/proc/52250/statm: 850200 663561 2400 1147 0 837627 0
Current children cumulated CPU time: 3392.52 s
Current children cumulated vsize: 3404992 KiB
Current children cumulated memory: 2657316 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.06 5/274 52452
/proc/meminfo: memFree=32894652/131250000 swapFree=33010684/33010684
[pid=52248] ppid=52238 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/52248/stat : 52248 (run-opt-log.sh) S 52238 52248 52176 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51854957 4292608 768 18446744073709551615 94401409867776 94401410762309 140725489726016 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94401411001360 94401411049104 94401430482944 140725489727777 140725489727972 140725489727972 140725489733574 0
/proc/52248/statm: 1048 768 704 219 0 110 0
[pid=52250] ppid=52248 vsize=3400800 memory=2654244 CPUtime=3452.32 cores=1,3
/proc/52250/stat : 52250 (roundingsat) R 52248 52248 52176 0 -1 4194304 406579 0 0 0 343178 2054 0 0 20 0 1 0 51854958 3482419200 663561 18446744073709551615 4227072 8923433 140721578665600 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38797312 140721578670418 140721578670632 140721578670632 140721578676202 0
/proc/52250/statm: 850200 663561 2400 1147 0 837627 0
Current children cumulated CPU time: 3452.32 s
Current children cumulated vsize: 3404992 KiB
Current children cumulated memory: 2657316 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.06 5/275 52455
/proc/meminfo: memFree=31533772/131250000 swapFree=33010684/33010684
[pid=52248] ppid=52238 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/52248/stat : 52248 (run-opt-log.sh) S 52238 52248 52176 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51854957 4292608 768 18446744073709551615 94401409867776 94401410762309 140725489726016 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94401411001360 94401411049104 94401430482944 140725489727777 140725489727972 140725489727972 140725489733574 0
/proc/52248/statm: 1048 768 704 219 0 110 0
[pid=52250] ppid=52248 vsize=3401060 memory=2654500 CPUtime=3512.12 cores=1,3
/proc/52250/stat : 52250 (roundingsat) R 52248 52248 52176 0 -1 4194304 406664 0 0 0 349123 2089 0 0 20 0 1 0 51854958 3482685440 663625 18446744073709551615 4227072 8923433 140721578665600 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38797312 140721578670418 140721578670632 140721578670632 140721578676202 0
/proc/52250/statm: 850265 663625 2400 1147 0 837692 0
Current children cumulated CPU time: 3512.12 s
Current children cumulated vsize: 3405252 KiB
Current children cumulated memory: 2657572 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.06 5/275 52457
/proc/meminfo: memFree=30389968/131250000 swapFree=33010684/33010684
[pid=52248] ppid=52238 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/52248/stat : 52248 (run-opt-log.sh) S 52238 52248 52176 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51854957 4292608 768 18446744073709551615 94401409867776 94401410762309 140725489726016 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94401411001360 94401411049104 94401430482944 140725489727777 140725489727972 140725489727972 140725489733574 0
/proc/52248/statm: 1048 768 704 219 0 110 0
[pid=52250] ppid=52248 vsize=3401060 memory=2654500 CPUtime=3571.93 cores=1,3
/proc/52250/stat : 52250 (roundingsat) R 52248 52248 52176 0 -1 4194304 406664 0 0 0 355082 2111 0 0 20 0 1 0 51854958 3482685440 663625 18446744073709551615 4227072 8923433 140721578665600 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38797312 140721578670418 140721578670632 140721578670632 140721578676202 0
/proc/52250/statm: 850265 663625 2400 1147 0 837692 0
Current children cumulated CPU time: 3571.93 s
Current children cumulated vsize: 3405252 KiB
Current children cumulated memory: 2657572 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.5 s]
/proc/loadavg: 4.22 4.13 4.07 5/273 52459
/proc/meminfo: memFree=29869200/131250000 swapFree=33010684/33010684
[pid=52248] ppid=52238 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/52248/stat : 52248 (run-opt-log.sh) S 52238 52248 52176 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51854957 4292608 768 18446744073709551615 94401409867776 94401410762309 140725489726016 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94401411001360 94401411049104 94401430482944 140725489727777 140725489727972 140725489727972 140725489733574 0
/proc/52248/statm: 1048 768 704 219 0 110 0
[pid=52250] ppid=52248 vsize=3401060 memory=2654500 CPUtime=3600.04 cores=1,3
/proc/52250/stat : 52250 (roundingsat) R 52248 52248 52176 0 -1 4194304 406664 0 0 0 357883 2121 0 0 20 0 1 0 51854958 3482685440 663625 18446744073709551615 4227072 8923433 140721578665600 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38797312 140721578670418 140721578670632 140721578670632 140721578676202 0
/proc/52250/statm: 850265 663625 2400 1147 0 837692 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 3405252 KiB
Current children cumulated memory: 2657572 KiB

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

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

# cumulated CPU time of all completed processes:  user=0 s, system=0.00265 s

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

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

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

[startup+3610.6 s]*
/proc/loadavg: 4.22 4.13 4.07 5/272 52459
/proc/meminfo: memFree=31179760/131250000 swapFree=33010684/33010684
[pid=52250] ppid=52238 vsize=1605076 memory=1351492 CPUtime=3600.12 cores=1,3
/proc/52250/stat : 52250 (roundingsat) R 52238 52248 52176 0 -1 4194304 406670 0 0 0 357887 2125 0 0 20 0 1 0 51854958 1643597824 337873 18446744073709551615 4227072 8923433 140721578665600 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 38797312 140721578670418 140721578670632 140721578670632 140721578676202 0
/proc/52250/statm: 401269 337873 2464 1147 0 388696 0
Current cumulated CPU time of completed processes: 0.00265 s
Current children cumulated CPU time: 3600.12 s
Current children cumulated vsize: 1605076 KiB
Current children cumulated memory: 1351492 KiB

[startup+3610.71 s]*
/proc/loadavg: 4.22 4.13 4.07 5/272 52459
/proc/meminfo: memFree=31987328/131250000 swapFree=33010684/33010684
Current cumulated CPU time of completed processes: 0.00265 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 2

Real time (s): 3610.73
CPU time (s): 3600.25
CPU user time (s): 3578.95
CPU system time (s): 21.3018
CPU usage (%): 99.7097
Max. virtual memory (cumulated for all children) (KiB): 3405252
Max. memory (cumulated for all children) (KiB): 2657572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.95
system time used= 21.3018
maximum resident set size= 2654756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 407062
page faults= 0
swaps= 0
block input operations= 0
block output operations= 44755192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 560
involuntary context switches= 8350


# summary of solver processes directly reported to runsolver:
#   pid: 52248,52250
#   total CPU time (s): 3600.25
#   total CPU user time (s): 3578.95
#   total CPU system time (s): 21.3018

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.37923 second user time and 16.5372 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2025-07-01 11:23:04
IDJOB=4489507
IDBENCH=147555
IDSOLVER=3351
FILE ID=nodeC014/4489507-1751361783
RUNJOBID= nodeC014-1751361783-52188
SLURM_JOB_ID= 9598173
Free space on /tmp= 432944 MiB

SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_8.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-4489507-1751361783/watcher-4489507-1751361783 -o /tmp/evaluation-result-4489507-1751361783/solver-4489507-1751361783 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751361783-52188 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4489507-1751361783.opb PROOFDIR/proof-4489507-1751361783

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

MD5SUM BENCH= 50cf9112b5ea763531dadde21846562c
RANDOM SEED=236865498

nodeC014 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		: 3600.237
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	: 7000.23
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.982
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	: 7000.23
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		: 3600.481
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	: 7000.23
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		: 3710.554
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	: 7000.23
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		: 3600.066
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	: 7000.23
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		: 3601.134
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	: 7000.23
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		: 3600.091
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	: 7000.23
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		: 3600.121
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	: 7000.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128998084 kB
MemAvailable:   129735484 kB
Buffers:            3280 kB
Cached:          1541768 kB
SwapCached:            0 kB
Active:           335388 kB
Inactive:        1284704 kB
Active(anon):      93436 kB
Inactive(anon):        0 kB
Active(file):     241952 kB
Inactive(file):  1284704 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             95896 kB
Writeback:             8 kB
AnonPages:         78816 kB
Mapped:           103588 kB
Shmem:             18068 kB
KReclaimable:      99964 kB
Slab:             188360 kB
SReclaimable:      99964 kB
SUnreclaim:        88396 kB
KernelStack:        3992 kB
PageTables:         2556 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     342944 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150376 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 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:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432916 MiB
End job on nodeC014 at 2025-07-01 12:23:15