Trace number 4489645

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) 3601.01 3620.63

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb
MD5SUM37dc22c6a12cddf588c55f8d6ee6d8c2
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 benchmark240
Best CPU time to get the best result obtained on this benchmark3586.04
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 492823
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 492823
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.03	c RoundingSat 2
0.00/0.03	c branch pb25
0.00/0.03	c commit 63f22ad
3.06/3.15	c #variables 10000 #constraints 656900
3.06/3.15	c objective is ce32 
4.95/5.08	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
4.95/5.08	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
4.95/5.08	c GLOBAL bounds - >= 0 @ 3.86815
5.24/5.35	c GLOBAL bounds - >= 0 @ 4.11728
5.24/5.36	c GLOBAL bounds - >= 0 @ 4.12636
5.24/5.40	c GLOBAL bounds - >= 0 @ 4.15407
5.34/5.41	c GLOBAL bounds - >= 0 @ 4.1623
5.34/5.42	c GLOBAL bounds - >= 0 @ 4.17483
5.34/5.44	c GLOBAL bounds - >= 0 @ 4.19076
5.34/5.45	c GLOBAL bounds - >= 0 @ 4.19804
5.34/5.46	c GLOBAL bounds - >= 0 @ 4.21083
5.34/5.48	c GLOBAL bounds - >= 0 @ 4.22264
5.44/5.50	c GLOBAL bounds - >= 0 @ 4.24985
5.44/5.52	c GLOBAL bounds - >= 0 @ 4.26364
5.44/5.54	c GLOBAL bounds - >= 0 @ 4.2882
5.54/5.63	c GLOBAL bounds - >= 0 @ 4.37294
5.54/5.65	c GLOBAL bounds - >= 0 @ 4.38474
5.64/5.71	c GLOBAL bounds - >= 0 @ 4.45268
5.64/5.76	c GLOBAL bounds - >= 0 @ 4.49441
5.95/6.01	c GLOBAL bounds - >= 0 @ 4.73554
5.95/6.03	c GLOBAL bounds - >= 0 @ 4.756
5.95/6.05	c GLOBAL bounds - >= 0 @ 4.7747
5.95/6.06	c GLOBAL bounds - >= 0 @ 4.78848
5.95/6.08	c GLOBAL bounds - >= 0 @ 4.80693
6.04/6.11	c GLOBAL bounds - >= 0 @ 4.8344
6.04/6.12	c GLOBAL bounds - >= 0 @ 4.84538
6.04/6.14	c GLOBAL bounds - >= 0 @ 4.86075
6.04/6.15	c GLOBAL bounds - >= 0 @ 4.86581
6.04/6.17	c GLOBAL bounds - >= 0 @ 4.88613
6.14/6.22	c GLOBAL bounds - >= 0 @ 4.93208
6.14/6.23	c GLOBAL bounds - >= 0 @ 4.94676
6.14/6.26	c GLOBAL bounds - >= 0 @ 4.97384
6.14/6.29	c GLOBAL bounds - >= 0 @ 5.00038
6.24/6.30	c GLOBAL bounds - >= 0 @ 5.01258
6.24/6.31	c GLOBAL bounds - >= 0 @ 5.02652
6.24/6.34	c GLOBAL bounds - >= 0 @ 5.05021
6.24/6.35	c GLOBAL bounds - >= 0 @ 5.05945
6.24/6.36	c GLOBAL bounds - >= 0 @ 5.06908
6.24/6.39	c GLOBAL bounds - >= 0 @ 5.09474
6.34/6.41	c GLOBAL bounds - >= 0 @ 5.11104
6.34/6.42	c GLOBAL bounds - >= 0 @ 5.12885
6.34/6.43	c GLOBAL bounds - >= 0 @ 5.13585
6.34/6.45	c GLOBAL bounds - >= 0 @ 5.14814
6.34/6.46	c GLOBAL bounds - >= 0 @ 5.16448
6.34/6.48	c GLOBAL bounds - >= 0 @ 5.17695
6.44/6.50	c GLOBAL bounds - >= 0 @ 5.19951
6.44/6.52	c GLOBAL bounds - >= 0 @ 5.21671
6.44/6.54	c GLOBAL bounds - >= 0 @ 5.24069
6.44/6.58	c GLOBAL bounds - >= 0 @ 5.27516
6.44/6.59	c GLOBAL bounds - >= 0 @ 5.28767
6.54/6.61	c GLOBAL bounds - >= 0 @ 5.30077
6.54/6.62	c GLOBAL bounds - >= 0 @ 5.31368
6.54/6.64	c GLOBAL bounds - >= 0 @ 5.33604
6.54/6.66	c GLOBAL bounds - >= 0 @ 5.34785
6.54/6.67	c GLOBAL bounds - >= 0 @ 5.36133
6.54/6.69	c GLOBAL bounds - >= 0 @ 5.37693
6.64/6.71	c GLOBAL bounds - >= 0 @ 5.39405
6.64/6.72	c GLOBAL bounds - >= 0 @ 5.4034
6.64/6.73	c GLOBAL bounds - >= 0 @ 5.4099
6.64/6.74	c GLOBAL bounds - >= 0 @ 5.42306
6.74/6.83	c GLOBAL bounds - >= 0 @ 5.51192
6.74/6.89	c GLOBAL bounds - >= 0 @ 5.56379
6.84/6.91	c GLOBAL bounds - >= 0 @ 5.58199
6.84/6.92	c GLOBAL bounds - >= 0 @ 5.59211
6.84/6.93	c GLOBAL bounds - >= 0 @ 5.60634
6.84/6.95	c GLOBAL bounds - >= 0 @ 5.62032
6.84/6.96	c GLOBAL bounds - >= 0 @ 5.63586
6.84/7.00	c GLOBAL bounds - >= 0 @ 5.6709
6.94/7.02	c GLOBAL bounds - >= 0 @ 5.69011
6.94/7.04	c GLOBAL bounds - >= 0 @ 5.70921
6.94/7.07	c #Conflicts:       1000 | #Constraints:     658032
6.94/7.07	c GLOBAL bounds - >= 0 @ 5.74094
6.94/7.08	c GLOBAL bounds - >= 0 @ 5.7503
7.04/7.11	c GLOBAL bounds - >= 0 @ 5.77649
7.04/7.13	c GLOBAL bounds - >= 0 @ 5.78934
7.04/7.14	c GLOBAL bounds - >= 0 @ 5.80122
7.04/7.15	c GLOBAL bounds - >= 0 @ 5.81026
7.04/7.17	c GLOBAL bounds - >= 0 @ 5.82863
7.04/7.19	c GLOBAL bounds - >= 0 @ 5.84804
7.14/7.21	c GLOBAL bounds - >= 0 @ 5.8609
7.14/7.22	c GLOBAL bounds - >= 0 @ 5.87327
7.14/7.25	c GLOBAL bounds - >= 0 @ 5.89922
7.14/7.26	c GLOBAL bounds - >= 0 @ 5.9143
7.24/7.36	c GLOBAL bounds - >= 0 @ 6.00857
7.24/7.39	c GLOBAL bounds - >= 0 @ 6.03329
7.33/7.40	c GLOBAL bounds - >= 0 @ 6.04273
7.33/7.41	c GLOBAL bounds - >= 0 @ 6.05635
7.33/7.43	c GLOBAL bounds - >= 0 @ 6.06927
7.33/7.47	c GLOBAL bounds - >= 0 @ 6.11507
7.33/7.48	c GLOBAL bounds - >= 0 @ 6.12509
7.43/7.50	c GLOBAL bounds - >= 0 @ 6.14193
7.43/7.52	c GLOBAL bounds - >= 0 @ 6.16097
7.43/7.54	c GLOBAL bounds - >= 0 @ 6.18156
7.54/7.62	c GLOBAL bounds - >= 0 @ 6.25966
7.54/7.66	c GLOBAL bounds - >= 0 @ 6.29415
7.54/7.67	c GLOBAL bounds - >= 0 @ 6.30213
7.63/7.70	c GLOBAL bounds - >= 0 @ 6.3279
7.63/7.72	c GLOBAL bounds - >= 0 @ 6.34572
7.63/7.73	c GLOBAL bounds - >= 0 @ 6.35854
7.63/7.74	c GLOBAL bounds - >= 0 @ 6.37073
7.63/7.76	c GLOBAL bounds - >= 0 @ 6.38629
7.73/7.89	c GLOBAL bounds - >= 0 @ 6.50981
7.83/7.94	c GLOBAL bounds - >= 0 @ 6.56472
7.83/7.95	c GLOBAL bounds - >= 0 @ 6.57459
7.83/7.97	c GLOBAL bounds - >= 0 @ 6.58745
7.83/7.98	c GLOBAL bounds - >= 0 @ 6.59893
7.83/7.99	c GLOBAL bounds - >= 0 @ 6.60877
7.94/8.00	c GLOBAL bounds - >= 0 @ 6.61968
7.94/8.03	c GLOBAL bounds - >= 0 @ 6.65027
7.94/8.05	c GLOBAL bounds - >= 0 @ 6.66384
7.94/8.07	c GLOBAL bounds - >= 0 @ 6.68341
7.94/8.09	c GLOBAL bounds - >= 0 @ 6.69839
7.94/8.10	c GLOBAL bounds - >= 0 @ 6.71088
8.04/8.11	c GLOBAL bounds - >= 0 @ 6.71974
8.23/8.31	c GLOBAL bounds - >= 0 @ 6.92005
8.23/8.38	c GLOBAL bounds - >= 0 @ 6.98468
8.34/8.41	c GLOBAL bounds - >= 0 @ 7.01091
8.34/8.44	c GLOBAL bounds - >= 0 @ 7.04869
8.34/8.48	c GLOBAL bounds - >= 0 @ 7.07853
8.43/8.55	c GLOBAL bounds - >= 0 @ 7.14568
8.43/8.56	c GLOBAL bounds - >= 0 @ 7.15936
8.43/8.59	c GLOBAL bounds - >= 0 @ 7.18841
8.54/8.61	c GLOBAL bounds - >= 0 @ 7.20086
8.54/8.62	c GLOBAL bounds - >= 0 @ 7.20972
8.54/8.63	c GLOBAL bounds - >= 0 @ 7.21944
8.54/8.64	c GLOBAL bounds - >= 0 @ 7.23238
8.54/8.66	c GLOBAL bounds - >= 0 @ 7.24409
8.63/8.77	c GLOBAL bounds - >= 0 @ 7.34669
8.73/8.83	c GLOBAL bounds - >= 0 @ 7.40542
8.73/8.84	c GLOBAL bounds - >= 0 @ 7.42191
8.73/8.87	c GLOBAL bounds - >= 0 @ 7.44731
8.73/8.90	c GLOBAL bounds - >= 0 @ 7.47052
8.84/8.92	c GLOBAL bounds - >= 0 @ 7.49168
8.84/8.94	c GLOBAL bounds - >= 0 @ 7.51051
8.84/8.96	c GLOBAL bounds - >= 0 @ 7.52796
8.84/8.98	c GLOBAL bounds - >= 0 @ 7.54445
8.84/8.99	c GLOBAL bounds - >= 0 @ 7.56033
8.93/9.02	c GLOBAL bounds - >= 0 @ 7.58144
8.93/9.03	c GLOBAL bounds - >= 0 @ 7.59557
8.93/9.05	c GLOBAL bounds - >= 0 @ 7.61179
8.93/9.06	c GLOBAL bounds - >= 0 @ 7.62225
8.93/9.09	c GLOBAL bounds - >= 0 @ 7.6419
9.04/9.11	c GLOBAL bounds - >= 0 @ 7.66586
9.04/9.13	c GLOBAL bounds - >= 0 @ 7.6779
9.04/9.14	c GLOBAL bounds - >= 0 @ 7.69147
9.04/9.16	c GLOBAL bounds - >= 0 @ 7.70292
9.04/9.18	c GLOBAL bounds - >= 0 @ 7.726
9.14/9.20	c GLOBAL bounds - >= 0 @ 7.74796
9.14/9.22	c GLOBAL bounds - >= 0 @ 7.76407
9.14/9.24	c GLOBAL bounds - >= 0 @ 7.77903
9.14/9.26	c GLOBAL bounds - >= 0 @ 7.79975
9.14/9.28	c GLOBAL bounds - >= 0 @ 7.81434
9.14/9.29	c GLOBAL bounds - >= 0 @ 7.82491
9.23/9.31	c GLOBAL bounds - >= 0 @ 7.84219
9.23/9.33	c GLOBAL bounds - >= 0 @ 7.8681
9.23/9.36	c GLOBAL bounds - >= 0 @ 7.89046
9.23/9.38	c GLOBAL bounds - >= 0 @ 7.91554
9.23/9.39	c GLOBAL bounds - >= 0 @ 7.92577
9.33/9.41	c GLOBAL bounds - >= 0 @ 7.94359
9.33/9.45	c GLOBAL bounds - >= 0 @ 7.97818
9.33/9.47	c GLOBAL bounds - >= 0 @ 7.992
9.33/9.48	c GLOBAL bounds - >= 0 @ 8.01142
9.43/9.52	c GLOBAL bounds - >= 0 @ 8.04271
9.43/9.53	c GLOBAL bounds - >= 0 @ 8.05682
9.43/9.56	c GLOBAL bounds - >= 0 @ 8.08418
9.43/9.57	c GLOBAL bounds - >= 0 @ 8.09168
9.43/9.59	c GLOBAL bounds - >= 0 @ 8.10978
9.63/9.70	c GLOBAL bounds - >= 0 @ 8.21307
9.63/9.73	c GLOBAL bounds - >= 0 @ 8.24524
9.63/9.79	c GLOBAL bounds - >= 0 @ 8.2981
9.73/9.80	c GLOBAL bounds - >= 0 @ 8.31196
9.73/9.86	c GLOBAL bounds - >= 0 @ 8.36448
9.83/9.93	c GLOBAL bounds - >= 0 @ 8.4361
9.94/10.05	c GLOBAL bounds - >= 0 @ 8.55545
10.04/10.16	c GLOBAL bounds - >= 0 @ 8.6557
10.13/10.27	c GLOBAL bounds - >= 0 @ 8.76366
10.13/10.29	c GLOBAL bounds - >= 0 @ 8.78054
10.22/10.31	c GLOBAL bounds - >= 0 @ 8.8066
10.22/10.38	c GLOBAL bounds - >= 0 @ 8.86454
10.33/10.42	c GLOBAL bounds - >= 0 @ 8.90462
10.33/10.43	c GLOBAL bounds - >= 0 @ 8.9149
10.33/10.46	c GLOBAL bounds - >= 0 @ 8.94116
10.33/10.47	c GLOBAL bounds - >= 0 @ 8.9542
10.43/10.50	c GLOBAL bounds - >= 0 @ 8.98078
10.43/10.51	c GLOBAL bounds - >= 0 @ 8.99173
10.43/10.55	c GLOBAL bounds - >= 0 @ 9.03181
10.43/10.57	c GLOBAL bounds - >= 0 @ 9.04143
10.43/10.59	c GLOBAL bounds - >= 0 @ 9.06502
10.52/10.61	c GLOBAL bounds - >= 0 @ 9.08592
10.52/10.64	c GLOBAL bounds - >= 0 @ 9.1132
10.52/10.66	c GLOBAL bounds - >= 0 @ 9.13105
10.73/10.83	c GLOBAL bounds - >= 0 @ 9.29298
11.43/11.50	c GLOBAL bounds - >= 0 @ 9.94809
11.43/11.53	c GLOBAL bounds - >= 0 @ 9.97374
11.43/11.57	c GLOBAL bounds - >= 0 @ 10.0147
11.52/11.60	c GLOBAL bounds - >= 0 @ 10.0427
11.52/11.62	c GLOBAL bounds - >= 0 @ 10.0599
11.52/11.65	c GLOBAL bounds - >= 0 @ 10.0876
12.02/12.11	c GLOBAL bounds - >= 0 @ 10.5392
12.13/12.23	c GLOBAL bounds - >= 0 @ 10.6525
12.13/12.24	c GLOBAL bounds - >= 0 @ 10.6637
12.53/12.60	c GLOBAL bounds - >= 0 @ 11.0121
12.82/12.95	c #Conflicts:       2000 | #Constraints:     659294
12.82/12.95	c INPROCESSING
12.82/12.95	c GLOBAL bounds - >= 0 @ 11.3578
13.02/13.10	c GLOBAL bounds - >= 0 @ 11.507
13.02/13.13	c GLOBAL bounds - >= 0 @ 11.5357
13.02/13.15	c GLOBAL bounds - >= 0 @ 11.5549
13.32/13.41	c GLOBAL bounds - >= 0 @ 11.8112
13.32/13.46	c GLOBAL bounds - >= 0 @ 11.8558
13.42/13.52	c GLOBAL bounds - >= 0 @ 11.922
13.42/13.55	c GLOBAL bounds - >= 0 @ 11.9432
13.42/13.57	c GLOBAL bounds - >= 0 @ 11.9702
13.52/13.60	c GLOBAL bounds - >= 0 @ 11.998
13.52/13.64	c GLOBAL bounds - >= 0 @ 12.0318
13.52/13.66	c GLOBAL bounds - >= 0 @ 12.0556
13.52/13.69	c GLOBAL bounds - >= 0 @ 12.0832
13.62/13.70	c GLOBAL bounds - >= 0 @ 12.0917
13.62/13.72	c GLOBAL bounds - >= 0 @ 12.1074
13.62/13.76	c GLOBAL bounds - >= 0 @ 12.1392
13.72/13.85	c GLOBAL bounds - >= 0 @ 12.2266
13.72/13.87	c GLOBAL bounds - >= 0 @ 12.2483
13.82/13.94	c GLOBAL bounds - >= 0 @ 12.3202
13.82/13.96	c GLOBAL bounds - >= 0 @ 12.3305
13.92/14.06	c GLOBAL bounds - >= 0 @ 12.4315
14.12/14.29	c GLOBAL bounds - >= 0 @ 12.6533
14.21/14.33	c GLOBAL bounds - >= 0 @ 12.695
14.21/14.37	c GLOBAL bounds - >= 0 @ 12.7337
14.32/14.40	c GLOBAL bounds - >= 0 @ 12.7597
14.32/14.42	c GLOBAL bounds - >= 0 @ 12.7781
14.42/14.54	c GLOBAL bounds - >= 0 @ 12.8937
14.42/14.59	c GLOBAL bounds - >= 0 @ 12.9425
14.52/14.61	c GLOBAL bounds - >= 0 @ 12.9611
14.52/14.65	c GLOBAL bounds - >= 0 @ 12.9997
14.52/14.68	c GLOBAL bounds - >= 0 @ 13.0206
14.61/14.70	c GLOBAL bounds - >= 0 @ 13.0421
14.61/14.72	c GLOBAL bounds - >= 0 @ 13.059
14.61/14.75	c GLOBAL bounds - >= 0 @ 13.0798
14.61/14.79	c GLOBAL bounds - >= 0 @ 13.1131
14.72/14.80	c GLOBAL bounds - >= 0 @ 13.1292
14.72/14.84	c GLOBAL bounds - >= 0 @ 13.1652
14.72/14.88	c GLOBAL bounds - >= 0 @ 13.2014
14.82/14.93	c GLOBAL bounds - >= 0 @ 13.2441
14.82/14.97	c GLOBAL bounds - >= 0 @ 13.2865
14.92/15.02	c GLOBAL bounds - >= 0 @ 13.334
14.92/15.08	c GLOBAL bounds - >= 0 @ 13.3921
14.92/15.10	c GLOBAL bounds - >= 0 @ 13.405
15.02/15.12	c GLOBAL bounds - >= 0 @ 13.4255
15.02/15.14	c GLOBAL bounds - >= 0 @ 13.4417
15.02/15.17	c GLOBAL bounds - >= 0 @ 13.4768
15.11/15.21	c GLOBAL bounds - >= 0 @ 13.5073
15.11/15.24	c GLOBAL bounds - >= 0 @ 13.5384
19.21/19.35	c #Conflicts:       3000 | #Constraints:     659393
19.21/19.35	c GLOBAL bounds - >= 0 @ 17.5792
19.40/19.51	c GLOBAL bounds - >= 0 @ 17.7271
19.40/19.58	c GLOBAL bounds - >= 0 @ 17.7985
19.51/19.64	c GLOBAL bounds - >= 0 @ 17.8541
19.51/19.66	c GLOBAL bounds - >= 0 @ 17.8741
19.51/19.68	c GLOBAL bounds - >= 0 @ 17.8903
19.61/19.75	c GLOBAL bounds - >= 0 @ 17.9526
19.61/19.77	c GLOBAL bounds - >= 0 @ 17.9774
19.70/19.81	c GLOBAL bounds - >= 0 @ 18.0087
19.70/19.84	c GLOBAL bounds - >= 0 @ 18.0353
19.81/19.93	c GLOBAL bounds - >= 0 @ 18.1244
19.91/20.01	c GLOBAL bounds - >= 0 @ 18.1978
19.91/20.03	c GLOBAL bounds - >= 0 @ 18.2143
19.91/20.07	c GLOBAL bounds - >= 0 @ 18.254
20.01/20.17	c GLOBAL bounds - >= 0 @ 18.3528
20.10/20.24	c GLOBAL bounds - >= 0 @ 18.4171
20.10/20.28	c GLOBAL bounds - >= 0 @ 18.4557
20.20/20.39	c GLOBAL bounds - >= 0 @ 18.5636
20.30/20.45	c GLOBAL bounds - >= 0 @ 18.623
20.30/20.47	c GLOBAL bounds - >= 0 @ 18.6403
20.40/20.51	c GLOBAL bounds - >= 0 @ 18.6789
20.40/20.53	c GLOBAL bounds - >= 0 @ 18.6962
21.01/21.18	c GLOBAL bounds - >= 0 @ 19.3302
22.20/22.30	c GLOBAL bounds - >= 0 @ 20.4283
22.29/22.49	c GLOBAL bounds - >= 0 @ 20.6071
22.40/22.51	c GLOBAL bounds - >= 0 @ 20.6251
23.29/23.44	c GLOBAL bounds - >= 0 @ 21.5403
23.49/23.62	c GLOBAL bounds - >= 0 @ 21.7128
23.49/23.69	c GLOBAL bounds - >= 0 @ 21.7769
23.59/23.71	c GLOBAL bounds - >= 0 @ 21.7955
23.59/23.78	c GLOBAL bounds - >= 0 @ 21.8653
25.49/25.68	c #Conflicts:       4000 | #Constraints:     660455
25.49/25.68	c INPROCESSING
25.49/25.68	c GARBAGE COLLECT
25.49/25.68	c GLOBAL bounds - >= 0 @ 23.7282
25.59/25.79	c GLOBAL bounds - >= 0 @ 23.8318
26.08/26.20	c GLOBAL bounds - >= 0 @ 24.2294
26.58/26.70	c GLOBAL bounds - >= 0 @ 24.7115
26.58/26.74	c GLOBAL bounds - >= 0 @ 24.7497
26.68/26.80	c GLOBAL bounds - >= 0 @ 24.8076
26.68/26.83	c GLOBAL bounds - >= 0 @ 24.8386
27.08/27.23	c GLOBAL bounds - >= 0 @ 25.2322
27.18/27.38	c GLOBAL bounds - >= 0 @ 25.3669
27.28/27.42	c GLOBAL bounds - >= 0 @ 25.4063
27.28/27.43	c GLOBAL bounds - >= 0 @ 25.423
27.28/27.48	c GLOBAL bounds - >= 0 @ 25.4652
27.39/27.53	c GLOBAL bounds - >= 0 @ 25.5184
27.39/27.60	c GLOBAL bounds - >= 0 @ 25.578
28.38/28.58	c GLOBAL bounds - >= 0 @ 26.544
28.48/28.63	c GLOBAL bounds - >= 0 @ 26.5892
28.48/28.67	c GLOBAL bounds - >= 0 @ 26.6249
28.58/28.70	c GLOBAL bounds - >= 0 @ 26.6567
28.58/28.72	c GLOBAL bounds - >= 0 @ 26.6712
28.58/28.74	c GLOBAL bounds - >= 0 @ 26.6911
28.58/28.78	c GLOBAL bounds - >= 0 @ 26.7294
28.68/28.82	c GLOBAL bounds - >= 0 @ 26.7686
28.68/28.88	c GLOBAL bounds - >= 0 @ 26.8205
28.78/28.94	c GLOBAL bounds - >= 0 @ 26.8734
28.88/29.07	c GLOBAL bounds - >= 0 @ 27.0006
28.98/29.10	c GLOBAL bounds - >= 0 @ 27.0275
28.98/29.12	c GLOBAL bounds - >= 0 @ 27.0425
28.98/29.14	c GLOBAL bounds - >= 0 @ 27.0553
28.98/29.16	c GLOBAL bounds - >= 0 @ 27.0743
29.08/29.20	c GLOBAL bounds - >= 0 @ 27.1087
29.08/29.24	c GLOBAL bounds - >= 0 @ 27.1472
29.48/29.62	c GLOBAL bounds - >= 0 @ 27.5219
29.58/29.70	c GLOBAL bounds - >= 0 @ 27.5998
29.58/29.79	c GLOBAL bounds - >= 0 @ 27.6843
29.67/29.81	c GLOBAL bounds - >= 0 @ 27.6999
29.67/29.85	c GLOBAL bounds - >= 0 @ 27.7376
29.67/29.88	c GLOBAL bounds - >= 0 @ 27.7707
29.78/29.91	c GLOBAL bounds - >= 0 @ 27.7928
29.98/30.12	c GLOBAL bounds - >= 0 @ 27.9944
29.98/30.13	c GLOBAL bounds - >= 0 @ 28.0099
30.07/30.22	c #Conflicts:       5000 | #Constraints:     659942
30.07/30.22	c GLOBAL bounds - >= 0 @ 28.0964
30.07/30.27	c GLOBAL bounds - >= 0 @ 28.1437
30.17/30.33	c GLOBAL bounds - >= 0 @ 28.2022
30.28/30.40	c GLOBAL bounds - >= 0 @ 28.2638
30.28/30.46	c GLOBAL bounds - >= 0 @ 28.3198
30.38/30.50	c GLOBAL bounds - >= 0 @ 28.3569
30.38/30.55	c GLOBAL bounds - >= 0 @ 28.4048
30.47/30.60	c GLOBAL bounds - >= 0 @ 28.4488
30.47/30.62	c GLOBAL bounds - >= 0 @ 28.4738
30.47/30.65	c GLOBAL bounds - >= 0 @ 28.4968
30.47/30.68	c GLOBAL bounds - >= 0 @ 28.525
30.58/30.74	c GLOBAL bounds - >= 0 @ 28.5864
30.67/30.84	c GLOBAL bounds - >= 0 @ 28.6777
30.67/30.86	c GLOBAL bounds - >= 0 @ 28.6942
30.77/30.90	c GLOBAL bounds - >= 0 @ 28.7312
30.77/30.92	c GLOBAL bounds - >= 0 @ 28.7537
30.77/30.95	c GLOBAL bounds - >= 0 @ 28.7771
30.88/31.04	c GLOBAL bounds - >= 0 @ 28.8639
35.16/35.39	c GLOBAL bounds - >= 0 @ 33.1238
37.16/37.38	c #Conflicts:       6000 | #Constraints:     660980
37.16/37.38	c GLOBAL bounds - >= 0 @ 35.0866
38.86/39.02	c GLOBAL bounds - >= 0 @ 36.6974
38.96/39.14	c GLOBAL bounds - >= 0 @ 36.8141
41.84/42.08	c INPROCESSING
41.84/42.08	c GARBAGE COLLECT
41.84/42.08	c GLOBAL bounds - >= 0 @ 39.6904
42.04/42.22	c GLOBAL bounds - >= 0 @ 39.8275
42.14/42.31	c GLOBAL bounds - >= 0 @ 39.9217
42.14/42.35	c GLOBAL bounds - >= 0 @ 39.9567
42.14/42.37	c GLOBAL bounds - >= 0 @ 39.9724
56.21/56.47	c #Conflicts:       7000 | #Constraints:     660006
56.21/56.47	c #Conflicts:       8000 | #Constraints:     661006
56.21/56.47	c GLOBAL bounds - >= 0 @ 53.9075
57.50/57.74	c GLOBAL bounds - >= 0 @ 55.1543
57.59/57.83	c GLOBAL bounds - >= 0 @ 55.2452
58.70/58.99	c GLOBAL bounds - >= 0 @ 56.3762
58.80/59.02	c GLOBAL bounds - >= 0 @ 56.4061
60.80/61.01	c GLOBAL bounds - >= 0 @ 58.3465
61.29/61.54	c GLOBAL bounds - >= 0 @ 58.8648
61.79/62.08	c GLOBAL bounds - >= 0 @ 59.3888
62.08/62.32	c #Conflicts:       9000 | #Constraints:     662022
62.08/62.32	c GLOBAL bounds - >= 0 @ 59.6186
62.28/62.59	c GLOBAL bounds - >= 0 @ 59.8902
62.98/63.26	c GLOBAL bounds - >= 0 @ 60.5337
64.58/64.85	c INPROCESSING
64.58/64.85	c GARBAGE COLLECT
64.58/64.85	c GLOBAL bounds - >= 0 @ 62.0945
64.68/64.98	c GLOBAL bounds - >= 0 @ 62.2166
69.57/69.85	c GLOBAL bounds - >= 0 @ 66.9998
69.96/70.22	c GLOBAL bounds - >= 0 @ 67.3628
69.96/70.25	c GLOBAL bounds - >= 0 @ 67.3939
70.16/70.42	c #Conflicts:      10000 | #Constraints:     660731
70.16/70.42	c GLOBAL bounds - >= 0 @ 67.5521
83.82/84.14	c #Conflicts:      11000 | #Constraints:     661733
83.82/84.14	c GLOBAL bounds - >= 0 @ 81.0973
155.79/156.30	c #Conflicts:      12000 | #Constraints:     662735
155.79/156.30	c INPROCESSING
155.79/156.30	c GARBAGE COLLECT
155.79/156.30	c #Conflicts:      13000 | #Constraints:     661184
155.79/156.30	c #Conflicts:      14000 | #Constraints:     662184
155.79/156.30	c #Conflicts:      15000 | #Constraints:     663184
155.79/156.30	c INPROCESSING
155.79/156.30	c GARBAGE COLLECT
155.79/156.30	c #Conflicts:      16000 | #Constraints:     661414
155.79/156.30	c #Conflicts:      17000 | #Constraints:     662414
155.79/156.30	c GLOBAL bounds - >= 0 @ 152.427
165.96/166.57	c #Conflicts:      18000 | #Constraints:     663416
165.96/166.57	c INPROCESSING
165.96/166.57	c GARBAGE COLLECT
165.96/166.57	c GLOBAL bounds - >= 0 @ 162.574
234.24/235.05	c #Conflicts:      19000 | #Constraints:     661440
234.24/235.05	c #Conflicts:      20000 | #Constraints:     662440
234.24/235.05	c #Conflicts:      21000 | #Constraints:     663440
234.24/235.05	c INPROCESSING
234.24/235.05	c GARBAGE COLLECT
234.24/235.05	c #Conflicts:      22000 | #Constraints:     661237
234.24/235.05	c GLOBAL bounds - >= 0 @ 230.288
234.53/235.39	c #Conflicts:      23000 | #Constraints:     662239
234.53/235.39	c GLOBAL bounds - >= 0 @ 230.627
235.02/235.80	c GLOBAL bounds - >= 0 @ 231.029
241.01/241.86	c GLOBAL bounds - >= 0 @ 237.025
241.31/242.19	c GLOBAL bounds - >= 0 @ 237.356
242.00/242.80	c GLOBAL bounds - >= 0 @ 237.951
245.31/246.19	c GLOBAL bounds - >= 0 @ 241.3
249.29/250.13	c #Conflicts:      24000 | #Constraints:     663251
249.29/250.13	c GLOBAL bounds - >= 0 @ 245.197
250.19/251.01	c GLOBAL bounds - >= 0 @ 246.065
250.58/251.44	c GLOBAL bounds - >= 0 @ 246.475
251.48/252.30	c GLOBAL bounds - >= 0 @ 247.319
252.18/253.06	c GLOBAL bounds - >= 0 @ 248.071
333.84/334.93	c #Conflicts:      25000 | #Constraints:     664261
333.84/334.93	c INPROCESSING
333.84/334.93	c GARBAGE COLLECT
333.84/334.93	c #Conflicts:      26000 | #Constraints:     661874
333.84/334.93	c #Conflicts:      27000 | #Constraints:     662874
333.84/334.93	c #Conflicts:      28000 | #Constraints:     663874
333.84/334.93	c #Conflicts:      29000 | #Constraints:     664874
333.84/334.93	c INPROCESSING
333.84/334.93	c GARBAGE COLLECT
333.84/334.93	c #Conflicts:      30000 | #Constraints:     662265
333.84/334.93	c #Conflicts:      31000 | #Constraints:     663265
333.84/334.93	c #Conflicts:      32000 | #Constraints:     664265
333.84/334.93	c GLOBAL bounds - >= 0 @ 328.931
334.13/335.20	c GLOBAL bounds - >= 0 @ 329.205
346.80/347.95	c #Conflicts:      33000 | #Constraints:     665269
346.80/347.95	c INPROCESSING
346.80/347.95	c GARBAGE COLLECT
346.80/347.95	c GLOBAL bounds - >= 0 @ 341.797
351.48/352.66	c GLOBAL bounds - >= 0 @ 346.433
351.68/352.81	c GLOBAL bounds - >= 0 @ 346.576
351.68/352.84	c GLOBAL bounds - >= 0 @ 346.612
352.78/353.97	c GLOBAL bounds - >= 0 @ 347.726
352.78/354.00	c GLOBAL bounds - >= 0 @ 347.747
387.38/388.63	c #Conflicts:      34000 | #Constraints:     662483
387.38/388.63	c #Conflicts:      35000 | #Constraints:     663483
387.38/388.63	c #Conflicts:      36000 | #Constraints:     664483
387.38/388.63	c #Conflicts:      37000 | #Constraints:     665483
387.38/388.63	c INPROCESSING
387.38/388.63	c GARBAGE COLLECT
387.38/388.63	c GLOBAL bounds - >= 0 @ 381.949
387.58/388.85	c GLOBAL bounds - >= 0 @ 382.161
396.16/397.47	c #Conflicts:      38000 | #Constraints:     662495
396.16/397.47	c GLOBAL bounds - >= 0 @ 390.659
441.13/442.58	c #Conflicts:      39000 | #Constraints:     663497
441.13/442.58	c #Conflicts:      40000 | #Constraints:     664497
441.13/442.58	c #Conflicts:      41000 | #Constraints:     665497
441.13/442.58	c INPROCESSING
441.13/442.58	c GARBAGE COLLECT
441.13/442.58	c GLOBAL bounds - >= 0 @ 435.305
441.33/442.74	c GLOBAL bounds - >= 0 @ 435.453
441.33/442.77	c GLOBAL bounds - >= 0 @ 435.481
442.73/444.18	c GLOBAL bounds - >= 0 @ 436.88
478.32/479.81	c #Conflicts:      42000 | #Constraints:     662309
478.32/479.81	c #Conflicts:      43000 | #Constraints:     663309
478.32/479.81	c #Conflicts:      44000 | #Constraints:     664309
478.32/479.81	c #Conflicts:      45000 | #Constraints:     665309
478.32/479.81	c GLOBAL bounds - >= 0 @ 472.08
934.13/937.00	c #Conflicts:      46000 | #Constraints:     666311
934.13/937.00	c INPROCESSING
934.13/937.00	c GARBAGE COLLECT
934.13/937.00	c #Conflicts:      47000 | #Constraints:     662904
934.13/937.00	c #Conflicts:      48000 | #Constraints:     663904
934.13/937.00	c #Conflicts:      49000 | #Constraints:     664904
934.13/937.00	c #Conflicts:      50000 | #Constraints:     665904
934.13/937.00	c #Conflicts:      51000 | #Constraints:     666904
934.13/937.00	c INPROCESSING
934.13/937.00	c GARBAGE COLLECT
934.13/937.00	c #Conflicts:      52000 | #Constraints:     663305
934.13/937.00	c #Conflicts:      53000 | #Constraints:     664305
934.13/937.00	c #Conflicts:      54000 | #Constraints:     665305
934.13/937.00	c #Conflicts:      55000 | #Constraints:     666305
934.13/937.00	c #Conflicts:      56000 | #Constraints:     667305
934.13/937.00	c INPROCESSING
934.13/937.00	c GARBAGE COLLECT
934.13/937.00	c #Conflicts:      57000 | #Constraints:     663505
934.13/937.00	c #Conflicts:      58000 | #Constraints:     664505
934.13/937.00	c #Conflicts:      59000 | #Constraints:     665505
934.13/937.00	c #Conflicts:      60000 | #Constraints:     666505
934.13/937.00	c #Conflicts:      61000 | #Constraints:     667505
934.13/937.00	c INPROCESSING
934.13/937.00	c GARBAGE COLLECT
934.13/937.00	c #Conflicts:      62000 | #Constraints:     663507
934.13/937.00	c #Conflicts:      63000 | #Constraints:     664507
934.13/937.00	c #Conflicts:      64000 | #Constraints:     665507
934.13/937.00	c #Conflicts:      65000 | #Constraints:     666507
934.13/937.00	c #Conflicts:      66000 | #Constraints:     667507
934.13/937.00	c INPROCESSING
934.13/937.00	c GARBAGE COLLECT
934.13/937.00	c #Conflicts:      67000 | #Constraints:     663308
934.13/937.00	c #Conflicts:      68000 | #Constraints:     664308
934.13/937.00	c GLOBAL bounds - >= 0 @ 925.242
934.32/937.25	c GLOBAL bounds - >= 0 @ 925.487
1377.33/1381.62	c #Conflicts:      69000 | #Constraints:     665312
1377.33/1381.62	c #Conflicts:      70000 | #Constraints:     666312
1377.33/1381.62	c #Conflicts:      71000 | #Constraints:     667312
1377.33/1381.62	c #Conflicts:      72000 | #Constraints:     668312
1377.33/1381.62	c INPROCESSING
1377.33/1381.62	c GARBAGE COLLECT
1377.33/1381.62	c #Conflicts:      73000 | #Constraints:     663911
1377.33/1381.62	c #Conflicts:      74000 | #Constraints:     664911
1377.33/1381.62	c #Conflicts:      75000 | #Constraints:     665911
1377.33/1381.62	c #Conflicts:      76000 | #Constraints:     666911
1377.33/1381.62	c #Conflicts:      77000 | #Constraints:     667911
1377.33/1381.62	c #Conflicts:      78000 | #Constraints:     668911
1377.33/1381.62	c INPROCESSING
1377.33/1381.62	c GARBAGE COLLECT
1377.33/1381.62	c #Conflicts:      79000 | #Constraints:     664316
1377.33/1381.62	c #Conflicts:      80000 | #Constraints:     665316
1377.33/1381.62	c #Conflicts:      81000 | #Constraints:     666316
1377.33/1381.62	c #Conflicts:      82000 | #Constraints:     667316
1377.33/1381.62	c #Conflicts:      83000 | #Constraints:     668316
1377.33/1381.62	c #Conflicts:      84000 | #Constraints:     669316
1377.33/1381.62	c INPROCESSING
1377.33/1381.62	c GARBAGE COLLECT
1377.33/1381.62	c #Conflicts:      85000 | #Constraints:     664515
1377.33/1381.62	c #Conflicts:      86000 | #Constraints:     665515
1377.33/1381.62	c #Conflicts:      87000 | #Constraints:     666515
1377.33/1381.62	c #Conflicts:      88000 | #Constraints:     667515
1377.33/1381.62	c #Conflicts:      89000 | #Constraints:     668515
1377.33/1381.62	c #Conflicts:      90000 | #Constraints:     669515
1377.33/1381.62	c INPROCESSING
1377.33/1381.62	c GARBAGE COLLECT
1377.33/1381.62	c #Conflicts:      91000 | #Constraints:     664522
1377.33/1381.62	c #Conflicts:      92000 | #Constraints:     665522
1377.33/1381.62	c #Conflicts:      93000 | #Constraints:     666522
1377.33/1381.62	c #Conflicts:      94000 | #Constraints:     667522
1377.33/1381.62	c #Conflicts:      95000 | #Constraints:     668522
1377.33/1381.62	c #Conflicts:      96000 | #Constraints:     669522
1377.33/1381.62	c INPROCESSING
1377.33/1381.62	c GARBAGE COLLECT
1377.33/1381.62	c GLOBAL bounds - >= 0 @ 1365.52
1447.52/1452.03	c #Conflicts:      97000 | #Constraints:     664322
1447.52/1452.03	c #Conflicts:      98000 | #Constraints:     665322
1447.52/1452.03	c #Conflicts:      99000 | #Constraints:     666322
1447.52/1452.03	c #Conflicts:     100000 | #Constraints:     667322
1447.52/1452.03	c #Conflicts:     101000 | #Constraints:     668322
1447.52/1452.03	c #Conflicts:     102000 | #Constraints:     669322
1447.52/1452.03	c GLOBAL bounds - >= 0 @ 1435.06
1599.91/1604.98	c #Conflicts:     103000 | #Constraints:     670324
1599.91/1604.98	c INPROCESSING
1599.91/1604.98	c GARBAGE COLLECT
1599.91/1604.98	c #Conflicts:     104000 | #Constraints:     664921
1599.91/1604.98	c #Conflicts:     105000 | #Constraints:     665921
1599.91/1604.98	c #Conflicts:     106000 | #Constraints:     666921
1599.91/1604.98	c #Conflicts:     107000 | #Constraints:     667921
1599.91/1604.98	c #Conflicts:     108000 | #Constraints:     668921
1599.91/1604.98	c #Conflicts:     109000 | #Constraints:     669921
1599.91/1604.98	c #Conflicts:     110000 | #Constraints:     670921
1599.91/1604.98	c INPROCESSING
1599.91/1604.98	c GARBAGE COLLECT
1599.91/1604.98	c #Conflicts:     111000 | #Constraints:     665323
1599.91/1604.98	c #Conflicts:     112000 | #Constraints:     666323
1599.91/1604.98	c GLOBAL bounds - >= 0 @ 1586.36
1600.82/1605.83	c GLOBAL bounds - >= 0 @ 1587.2
3013.05/3022.50	c #Conflicts:     113000 | #Constraints:     667327
3013.05/3022.50	c #Conflicts:     114000 | #Constraints:     668327
3013.05/3022.50	c #Conflicts:     115000 | #Constraints:     669327
3013.05/3022.50	c #Conflicts:     116000 | #Constraints:     670327
3013.05/3022.50	c #Conflicts:     117000 | #Constraints:     671327
3013.05/3022.50	c INPROCESSING
3013.05/3022.50	c GARBAGE COLLECT
3013.05/3022.50	c #Conflicts:     118000 | #Constraints:     665521
3013.05/3022.50	c #Conflicts:     119000 | #Constraints:     666521
3013.05/3022.50	c #Conflicts:     120000 | #Constraints:     667521
3013.05/3022.50	c #Conflicts:     121000 | #Constraints:     668521
3013.05/3022.50	c #Conflicts:     122000 | #Constraints:     669521
3013.05/3022.50	c #Conflicts:     123000 | #Constraints:     670521
3013.05/3022.50	c #Conflicts:     124000 | #Constraints:     671521
3013.05/3022.50	c INPROCESSING
3013.05/3022.50	c GARBAGE COLLECT
3013.05/3022.50	c #Conflicts:     125000 | #Constraints:     665519
3013.05/3022.50	c #Conflicts:     126000 | #Constraints:     666519
3013.05/3022.50	c #Conflicts:     127000 | #Constraints:     667519
3013.05/3022.50	c #Conflicts:     128000 | #Constraints:     668519
3013.05/3022.50	c #Conflicts:     129000 | #Constraints:     669519
3013.05/3022.50	c #Conflicts:     130000 | #Constraints:     670519
3013.05/3022.50	c #Conflicts:     131000 | #Constraints:     671519
3013.05/3022.50	c INPROCESSING
3013.05/3022.50	c GARBAGE COLLECT
3013.05/3022.50	c #Conflicts:     132000 | #Constraints:     665312
3013.05/3022.50	c #Conflicts:     133000 | #Constraints:     666312
3013.05/3022.50	c #Conflicts:     134000 | #Constraints:     667312
3013.05/3022.50	c #Conflicts:     135000 | #Constraints:     668312
3013.05/3022.50	c #Conflicts:     136000 | #Constraints:     669312
3013.05/3022.50	c #Conflicts:     137000 | #Constraints:     670312
3013.05/3022.50	c #Conflicts:     138000 | #Constraints:     671312
3013.05/3022.50	c #Conflicts:     139000 | #Constraints:     672312
3013.05/3022.50	c INPROCESSING
3013.05/3022.50	c GARBAGE COLLECT
3013.05/3022.50	c #Conflicts:     140000 | #Constraints:     665916
3013.05/3022.50	c #Conflicts:     141000 | #Constraints:     666916
3013.05/3022.50	c #Conflicts:     142000 | #Constraints:     667916
3013.05/3022.50	c #Conflicts:     143000 | #Constraints:     668916
3013.05/3022.50	c #Conflicts:     144000 | #Constraints:     669916
3013.05/3022.50	c #Conflicts:     145000 | #Constraints:     670916
3013.05/3022.50	c #Conflicts:     146000 | #Constraints:     671916
3013.05/3022.50	c #Conflicts:     147000 | #Constraints:     672916
3013.05/3022.50	c INPROCESSING
3013.05/3022.50	c GARBAGE COLLECT
3013.05/3022.50	c #Conflicts:     148000 | #Constraints:     666322
3013.05/3022.50	c #Conflicts:     149000 | #Constraints:     667322
3013.05/3022.50	c #Conflicts:     150000 | #Constraints:     668322
3013.05/3022.50	c #Conflicts:     151000 | #Constraints:     669322
3013.05/3022.50	c #Conflicts:     152000 | #Constraints:     670322
3013.05/3022.50	c #Conflicts:     153000 | #Constraints:     671322
3013.05/3022.50	c #Conflicts:     154000 | #Constraints:     672322
3013.05/3022.50	c #Conflicts:     155000 | #Constraints:     673322
3013.05/3022.50	c INPROCESSING
3013.05/3022.50	c GARBAGE COLLECT
3013.05/3022.50	c #Conflicts:     156000 | #Constraints:     666521
3013.05/3022.50	c #Conflicts:     157000 | #Constraints:     667521
3013.05/3022.50	c #Conflicts:     158000 | #Constraints:     668521
3013.05/3022.50	c #Conflicts:     159000 | #Constraints:     669521
3013.05/3022.50	c #Conflicts:     160000 | #Constraints:     670521
3013.05/3022.50	c #Conflicts:     161000 | #Constraints:     671521
3013.05/3022.50	c #Conflicts:     162000 | #Constraints:     672521
3013.05/3022.50	c #Conflicts:     163000 | #Constraints:     673521
3013.05/3022.50	c INPROCESSING
3013.05/3022.50	c GARBAGE COLLECT
3013.05/3022.50	c #Conflicts:     164000 | #Constraints:     666524
3013.05/3022.50	c #Conflicts:     165000 | #Constraints:     667524
3013.05/3022.50	c #Conflicts:     166000 | #Constraints:     668524
3013.05/3022.50	c #Conflicts:     167000 | #Constraints:     669524
3013.05/3022.50	c #Conflicts:     168000 | #Constraints:     670524
3013.05/3022.50	c #Conflicts:     169000 | #Constraints:     671524
3013.05/3022.50	c #Conflicts:     170000 | #Constraints:     672524
3013.05/3022.50	c #Conflicts:     171000 | #Constraints:     673524
3013.05/3022.50	c INPROCESSING
3013.05/3022.50	c GARBAGE COLLECT
3013.05/3022.50	c #Conflicts:     172000 | #Constraints:     666318
3013.05/3022.50	c #Conflicts:     173000 | #Constraints:     667318
3013.05/3022.50	c #Conflicts:     174000 | #Constraints:     668318
3013.05/3022.50	c #Conflicts:     175000 | #Constraints:     669318
3013.05/3022.50	c #Conflicts:     176000 | #Constraints:     670318
3013.05/3022.50	c #Conflicts:     177000 | #Constraints:     671318
3013.05/3022.50	c #Conflicts:     178000 | #Constraints:     672318
3013.05/3022.50	c #Conflicts:     179000 | #Constraints:     673318
3013.05/3022.50	c #Conflicts:     180000 | #Constraints:     674318
3013.05/3022.50	c INPROCESSING
3013.05/3022.50	c GARBAGE COLLECT
3013.05/3022.50	c #Conflicts:     181000 | #Constraints:     666912
3013.05/3022.50	c #Conflicts:     182000 | #Constraints:     667912
3013.05/3022.50	c #Conflicts:     183000 | #Constraints:     668912
3013.05/3022.50	c #Conflicts:     184000 | #Constraints:     669912
3013.05/3022.50	c #Conflicts:     185000 | #Constraints:     670912
3013.05/3022.50	c #Conflicts:     186000 | #Constraints:     671912
3600.04/3611.30	c #Conflicts:     187000 | #Constraints:     672912
3600.04/3611.30	c #Conflicts:     188000 | #Constraints:     673912
3600.04/3611.30	c #Conflicts:     189000 | #Constraints:     674912
3600.04/3611.30	c INPROCESSING
3600.04/3611.30	c GARBAGE COLLECT
3600.04/3611.30	c #Conflicts:     190000 | #Constraints:     667324
3600.04/3611.30	c #Conflicts:     191000 | #Constraints:     668324
3600.04/3611.30	c #Conflicts:     192000 | #Constraints:     669324
3600.04/3611.30	c #Conflicts:     193000 | #Constraints:     670324
3600.04/3611.30	c #Conflicts:     194000 | #Constraints:     671324
3600.04/3611.30	c #Conflicts:     195000 | #Constraints:     672324
3600.04/3611.30	c #Conflicts:     196000 | #Constraints:     673324
3600.04/3611.30	c #Conflicts:     197000 | #Constraints:     674324
3600.04/3611.30	c #Conflicts:     198000 | #Constraints:     675324
3600.04/3611.30	c INPROCESSING
3600.04/3611.30	c GARBAGE COLLECT
3600.04/3611.30	c #Conflicts:     199000 | #Constraints:     667532
3600.04/3611.30	c #Conflicts:     200000 | #Constraints:     668532
3600.04/3611.30	c #Conflicts:     201000 | #Constraints:     669532
3600.04/3611.30	c #Conflicts:     202000 | #Constraints:     670532
3600.04/3611.30	c #Conflicts:     203000 | #Constraints:     671532
3600.04/3611.30	c #Conflicts:     204000 | #Constraints:     672532
3600.04/3611.30	c #Conflicts:     205000 | #Constraints:     673532
3600.04/3611.30	c #Conflicts:     206000 | #Constraints:     674532
3600.04/3611.30	c #Conflicts:     207000 | #Constraints:     675532
3600.04/3611.30	c INPROCESSING
3600.04/3611.30	c GARBAGE COLLECT
3600.04/3611.30	c #Conflicts:     208000 | #Constraints:     667538
3600.04/3611.30	c #Conflicts:     209000 | #Constraints:     668538
3600.04/3611.30	c #Conflicts:     210000 | #Constraints:     669538
3600.04/3611.30	c #Conflicts:     211000 | #Constraints:     670538
3600.04/3611.30	c #Conflicts:     212000 | #Constraints:     671538
3600.04/3611.30	c #Conflicts:     213000 | #Constraints:     672538
3600.04/3611.30	c #Conflicts:     214000 | #Constraints:     673538
3600.04/3611.30	c #Conflicts:     215000 | #Constraints:     674538
3600.04/3611.30	c #Conflicts:     216000 | #Constraints:     675538
3600.04/3611.30	c INPROCESSING
3600.04/3611.30	c GARBAGE COLLECT
3600.04/3611.30	c cpu time 3575.31 s
3600.04/3611.30	c deterministic time 1 1.00e+00
3600.04/3611.30	c optimization time 3572.79 s
3600.04/3611.30	c total solve time 0 s
3600.04/3611.30	c core-guided solve time 0 s
3600.04/3611.30	c propagation time 0.220003 s
3600.04/3611.30	c conflict analysis time 0 s
3600.04/3611.30	c propagations 0
3600.04/3611.30	c resolve steps 0
3600.04/3611.30	c decisions 0
3600.04/3611.30	c conflicts 0
3600.04/3611.30	c restarts 0
3600.04/3611.30	c inprocessing phases 0
3600.04/3611.30	c garbage collections 0 ,( -nan )
3600.04/3611.30	c input clauses 656900 ,( 100.00 )
3600.04/3611.30	c input cardinalities 0 ,( 0.00 )
3600.04/3611.30	c input general constraints 0 ,( 0.00 )
3600.04/3611.30	c input average constraint length 2.03
3600.04/3611.30	c input average constraint degree 1.00
3600.04/3611.30	c learned clauses 0 ,( 0.00 )
3600.04/3611.30	c learned cardinalities 0 ,( 0.00 )
3600.04/3611.30	c learned general constraints 0 ,( 0.00 )
3600.04/3611.30	c learned average constraint length 0.00
3600.04/3611.30	c learned average constraint degree 0.00
3600.04/3611.30	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.04/3611.30	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.04/3611.30	c watched   constraints 0 ,( -nan ) 
3600.04/3611.30	c counting  constraints 0 ,( -nan ) 
3600.04/3611.30	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.04/3611.30	c gcd simplifications 0
3600.04/3611.30	c detected cardinalities 0
3600.04/3611.30	c weakened non-implied lits 0
3600.04/3611.30	c weakened non-implying lits 0
3600.04/3611.30	c original variables 10000
3600.04/3611.30	c clausal propagations 0
3600.04/3611.30	c cardinality propagations 0
3600.04/3611.30	c watched propagations 0
3600.04/3611.30	c counting propagations 0
3600.04/3611.30	c watch lookups 0
3600.04/3611.30	c watch backjump lookups 0
3600.04/3611.30	c watch checks 0
3600.04/3611.30	c propagation checks 0
3600.04/3611.30	c constraint additions 0
3600.04/3611.30	c trail pops 0
3600.04/3611.30	c formula constraints 656900
3600.04/3611.30	c learned constraints 0
3600.04/3611.30	c bound constraints 0
3600.04/3611.30	c core-guided constraints 0
3600.04/3611.30	c encountered formula constraints 0
3600.04/3611.30	c encountered learned constraints 0
3600.04/3611.30	c encountered bound constraints 0
3600.04/3611.30	c encountered core-guided constraints 0
3600.04/3611.30	c LP total time 0 s
3600.04/3611.30	c LP solve time 0 s
3600.04/3611.30	c LP constraints added 0
3600.04/3611.30	c LP constraints removed 0
3600.04/3611.30	c LP pivots internal 0
3600.04/3611.30	c LP pivots root 0
3600.04/3611.30	c LP calls 0
3600.04/3611.30	c LP optimalities 0
3600.04/3611.30	c LP no pivot count 0
3600.04/3611.30	c LP infeasibilities 0
3600.04/3611.30	c LP valid Farkas constraints 0
3600.04/3611.30	c LP learned Farkas constraints 0
3600.04/3611.30	c LP basis resets 0
3600.04/3611.30	c LP cycling count 0
3600.04/3611.30	c LP singular count 0
3600.04/3611.30	c LP no primal count 0
3600.04/3611.30	c LP no farkas count 0
3600.04/3611.30	c LP other issue count 0
3600.04/3611.30	c LP Gomory cuts 0
3600.04/3611.30	c LP learned cuts 0
3600.04/3611.30	c LP deleted cuts 0
3600.04/3611.30	c LP encountered Gomory constraints 0
3600.04/3611.30	c LP encountered Farkas constraints 0
3600.04/3611.30	c LP encountered learned Farkas constraints 0
3600.04/3611.30	c CG auxiliary variables introduced 0
3600.04/3611.30	c CG solutions found 0
3600.04/3611.30	c CG cores constructed 0
3600.04/3611.30	c CG core cardinality constraints returned 0
3600.04/3611.30	c CG unit cores 0
3600.04/3611.30	c CG single cores 0
3600.04/3611.30	c CG blocks removed during cardinality reduction 0
3600.04/3611.30	c CG first core best 0
3600.04/3611.30	c CG decision core best 0
3600.04/3611.30	c CG core reduction tie 0
3600.04/3611.30	c CG core degree average 0.00
3600.04/3611.30	c CG core slack average 0.00
3600.04/3611.30	c CG core upper bound improvements 0
3600.04/3611.30	c STR number of successful calls 0
3600.04/3611.30	c STR number of unsuccessful calls 0
3600.04/3611.30	c STR number of inconclusive calls 0
3600.04/3611.30	c STR number of successful attempts 0
3600.04/3611.30	c STR number of unsuccessful attempts 0
3600.04/3611.30	c STR number of inconclusive attempts 0
3600.04/3611.30	c STR average degree increase per successful call inf
3600.04/3611.30	c STR average degree increase per successful attempt inf
3600.04/3611.30	c STR total number of conflicts for successful attempts 0
3600.04/3611.30	c STR total number of conflicts for unsuccessful attempts 0
3600.04/3611.30	c STR total number of conflicts for inconclusive attempts 0
3600.04/3611.30	c STR average number of conflicts per successful attempt inf
3600.04/3611.30	c STR average number of conflicts per unsuccessful attempt inf
3600.04/3611.30	c STR average number of conflicts per inconclusive attempt inf
3600.04/3611.30	c AVG.sumWPerc -nan 
3600.04/3611.30	c bigint constraints 0 
3600.04/3611.30	s UNKNOWN
3600.04/3611.30	c Program interrupted by user.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (62404 MiB free)
  memory of node 1: 64465 MiB (63578 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100059 s]*
/proc/loadavg: 0.62 1.02 1.84 5/269 52250
/proc/meminfo: memFree=128987620/131250000 swapFree=33010684/33010684
[pid=52235] ppid=52227 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52235/stat : 52235 (run-opt-log.sh) S 52227 52235 52176 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51854952 4292608 736 18446744073709551615 94058356236288 94058357130821 140726736478496 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94058357369872 94058357417616 94058362216448 140726736480545 140726736480740 140726736480740 140726736486342 0
/proc/52235/statm: 1048 736 672 219 0 110 0
[pid=52239] ppid=52235 vsize=60076 memory=15036 CPUtime=0.06 cores=4,6
/proc/52239/stat : 52239 (roundingsat) R 52235 52235 52176 0 -1 4194304 1940 0 0 0 5 1 0 0 20 0 1 0 51854954 61517824 3759 18446744073709551615 4227072 8923433 140726681860528 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 19750912 140726681864530 140726681864744 140726681864744 140726681870314 0
/proc/52239/statm: 15019 3759 1920 1147 0 2446 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 64268 KiB
Current children cumulated memory: 17980 KiB

[startup+0.204764 s]*
/proc/loadavg: 0.62 1.02 1.84 5/269 52250
/proc/meminfo: memFree=128976960/131250000 swapFree=33010684/33010684
[pid=52235] ppid=52227 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52235/stat : 52235 (run-opt-log.sh) S 52227 52235 52176 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51854952 4292608 736 18446744073709551615 94058356236288 94058357130821 140726736478496 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94058357369872 94058357417616 94058362216448 140726736480545 140726736480740 140726736480740 140726736486342 0
/proc/52235/statm: 1048 736 672 219 0 110 0
[pid=52239] ppid=52235 vsize=63416 memory=20516 CPUtime=0.16 cores=4,6
/proc/52239/stat : 52239 (roundingsat) R 52235 52235 52176 0 -1 4194304 2806 0 0 0 13 3 0 0 20 0 1 0 51854954 64937984 5129 18446744073709551615 4227072 8923433 140726681860528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19750912 140726681864530 140726681864744 140726681864744 140726681870314 0
/proc/52239/statm: 15854 5129 1920 1147 0 3281 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 67608 KiB
Current children cumulated memory: 23460 KiB

[startup+0.304882 s]*
/proc/loadavg: 0.62 1.02 1.84 5/269 52250
/proc/meminfo: memFree=128960808/131250000 swapFree=33010684/33010684
[pid=52235] ppid=52227 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52235/stat : 52235 (run-opt-log.sh) S 52227 52235 52176 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51854952 4292608 736 18446744073709551615 94058356236288 94058357130821 140726736478496 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94058357369872 94058357417616 94058362216448 140726736480545 140726736480740 140726736480740 140726736486342 0
/proc/52235/statm: 1048 736 672 219 0 110 0
[pid=52239] ppid=52235 vsize=68380 memory=25124 CPUtime=0.26 cores=4,6
/proc/52239/stat : 52239 (roundingsat) R 52235 52235 52176 0 -1 4194304 3968 0 0 0 20 6 0 0 20 0 1 0 51854954 70021120 6281 18446744073709551615 4227072 8923433 140726681860528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19750912 140726681864530 140726681864744 140726681864744 140726681870314 0
/proc/52239/statm: 17095 6281 1920 1147 0 4522 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 72572 KiB
Current children cumulated memory: 28068 KiB

[startup+0.700152 s]
/proc/loadavg: 0.62 1.02 1.84 5/269 52250
/proc/meminfo: memFree=128925528/131250000 swapFree=33010684/33010684
[pid=52235] ppid=52227 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52235/stat : 52235 (run-opt-log.sh) S 52227 52235 52176 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51854952 4292608 736 18446744073709551615 94058356236288 94058357130821 140726736478496 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94058357369872 94058357417616 94058362216448 140726736480545 140726736480740 140726736480740 140726736486342 0
/proc/52235/statm: 1048 736 672 219 0 110 0
[pid=52239] ppid=52235 vsize=88732 memory=43272 CPUtime=0.65 cores=4,6
/proc/52239/stat : 52239 (roundingsat) R 52235 52235 52176 0 -1 4194304 9044 0 0 0 51 14 0 0 20 0 1 0 51854954 90861568 10818 18446744073709551615 4227072 8923433 140726681860528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19750912 140726681864530 140726681864744 140726681864744 140726681870314 0
/proc/52239/statm: 22183 10818 1920 1147 0 9610 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 92924 KiB
Current children cumulated memory: 46216 KiB

[startup+1.50015 s]
/proc/loadavg: 0.62 1.02 1.84 5/269 52250
/proc/meminfo: memFree=128833672/131250000 swapFree=33010684/33010684
[pid=52235] ppid=52227 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52235/stat : 52235 (run-opt-log.sh) S 52227 52235 52176 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51854952 4292608 736 18446744073709551615 94058356236288 94058357130821 140726736478496 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94058357369872 94058357417616 94058362216448 140726736480545 140726736480740 140726736480740 140726736486342 0
/proc/52235/statm: 1048 736 672 219 0 110 0
[pid=52239] ppid=52235 vsize=134764 memory=82588 CPUtime=1.45 cores=4,6
/proc/52239/stat : 52239 (roundingsat) R 52235 52235 52176 0 -1 4194304 17943 0 0 0 115 30 0 0 20 0 1 0 51854954 137998336 20647 18446744073709551615 4227072 8923433 140726681860528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19750912 140726681864530 140726681864744 140726681864744 140726681870314 0
/proc/52239/statm: 33691 20647 1920 1147 0 21118 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 138956 KiB
Current children cumulated memory: 85532 KiB

[startup+3.10498 s]
/proc/loadavg: 0.62 1.02 1.84 5/269 52250
/proc/meminfo: memFree=126577488/131250000 swapFree=33010684/33010684
[pid=52235] ppid=52227 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52235/stat : 52235 (run-opt-log.sh) S 52227 52235 52176 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51854952 4292608 736 18446744073709551615 94058356236288 94058357130821 140726736478496 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94058357369872 94058357417616 94058362216448 140726736480545 140726736480740 140726736480740 140726736486342 0
/proc/52235/statm: 1048 736 672 219 0 110 0
[pid=52239] ppid=52235 vsize=767304 memory=499028 CPUtime=3.06 cores=4,6
/proc/52239/stat : 52239 (roundingsat) R 52235 52235 52176 0 -1 4194304 42823 0 0 0 247 59 0 0 20 0 1 0 51854954 785719296 124757 18446744073709551615 4227072 8923433 140726681860528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19750912 140726681864530 140726681864744 140726681864744 140726681870314 0
/proc/52239/statm: 191826 124757 2240 1147 0 179253 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 771496 KiB
Current children cumulated memory: 501972 KiB

[startup+6.30015 s]
/proc/loadavg: 0.89 1.07 1.85 5/269 52250
/proc/meminfo: memFree=124982520/131250000 swapFree=33010684/33010684
[pid=52235] ppid=52227 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52235/stat : 52235 (run-opt-log.sh) S 52227 52235 52176 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51854952 4292608 736 18446744073709551615 94058356236288 94058357130821 140726736478496 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94058357369872 94058357417616 94058362216448 140726736480545 140726736480740 140726736480740 140726736486342 0
/proc/52235/statm: 1048 736 672 219 0 110 0
[pid=52239] ppid=52235 vsize=1222636 memory=954580 CPUtime=6.24 cores=4,6
/proc/52239/stat : 52239 (roundingsat) R 52235 52235 52176 0 -1 4194304 139716 0 0 0 500 124 0 0 20 0 1 0 51854954 1251979264 238645 18446744073709551615 4227072 8923433 140726681860528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19750912 140726681864530 140726681864744 140726681864744 140726681870314 0
/proc/52239/statm: 305659 238645 2336 1147 0 293086 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1226828 KiB
Current children cumulated memory: 957524 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=52235] ppid=52227 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52235/stat : 52235 (run-opt-log.sh) S 52227 52235 52176 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51854952 4292608 736 18446744073709551615 94058356236288 94058357130821 140726736478496 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94058357369872 94058357417616 94058362216448 140726736480545 140726736480740 140726736480740 140726736486342 0
/proc/52235/statm: 1048 736 672 219 0 110 0
[pid=52239] ppid=52235 vsize=1253456 memory=995540 CPUtime=12.62 cores=4,6
/proc/52239/stat : 52239 (roundingsat) R 52235 52235 52176 0 -1 4194304 140251 0 0 0 1110 152 0 0 20 0 1 0 51854954 1283538944 248885 18446744073709551615 4227072 8923433 140726681860528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19750912 140726681864530 140726681864744 140726681864744 140726681870314 0
/proc/52239/statm: 313364 248885 2336 1147 0 300791 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 1257648 KiB
Current children cumulated memory: 998484 KiB

[startup+25.5002 s]
/proc/loadavg: 1.78 1.26 1.90 5/271 52252
/proc/meminfo: memFree=122785968/131250000 swapFree=33010684/33010684
[pid=52235] ppid=52227 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52235/stat : 52235 (run-opt-log.sh) S 52227 52235 52176 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51854952 4292608 736 18446744073709551615 94058356236288 94058357130821 140726736478496 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94058357369872 94058357417616 94058362216448 140726736480545 140726736480740 140726736480740 140726736486342 0
/proc/52235/statm: 1048 736 672 219 0 110 0
[pid=52239] ppid=52235 vsize=1452400 memory=1127736 CPUtime=25.39 cores=4,6
/proc/52239/stat : 52239 (roundingsat) R 52235 52235 52176 0 -1 4194304 153421 0 0 0 2354 185 0 0 20 0 1 0 51854954 1487257600 281934 18446744073709551615 4227072 8923433 140726681860528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19750912 140726681864530 140726681864744 140726681864744 140726681870314 0
/proc/52239/statm: 363100 281934 2336 1147 0 350527 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1456592 KiB
Current children cumulated memory: 1130680 KiB

[startup+51.1053 s]
/proc/loadavg: 2.60 1.50 1.96 5/275 52257
/proc/meminfo: memFree=120592220/131250000 swapFree=33010684/33010684
[pid=52235] ppid=52227 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52235/stat : 52235 (run-opt-log.sh) S 52227 52235 52176 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51854952 4292608 736 18446744073709551615 94058356236288 94058357130821 140726736478496 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94058357369872 94058357417616 94058362216448 140726736480545 140726736480740 140726736480740 140726736486342 0
/proc/52235/statm: 1048 736 672 219 0 110 0
[pid=52239] ppid=52235 vsize=1588144 memory=1285788 CPUtime=50.92 cores=4,6
/proc/52239/stat : 52239 (roundingsat) R 52235 52235 52176 0 -1 4194304 178615 0 0 0 4859 233 0 0 20 0 1 0 51854954 1626259456 321447 18446744073709551615 4227072 8923433 140726681860528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19750912 140726681864530 140726681864744 140726681864744 140726681870314 0
/proc/52239/statm: 397036 321447 2336 1147 0 384463 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1592336 KiB
Current children cumulated memory: 1288732 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=52235] ppid=52227 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52235/stat : 52235 (run-opt-log.sh) S 52227 52235 52176 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51854952 4292608 736 18446744073709551615 94058356236288 94058357130821 140726736478496 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94058357369872 94058357417616 94058362216448 140726736480545 140726736480740 140726736480740 140726736486342 0
/proc/52235/statm: 1048 736 672 219 0 110 0
[pid=52239] ppid=52235 vsize=1952800 memory=1503284 CPUtime=101.95 cores=4,6
/proc/52239/stat : 52239 (roundingsat) R 52235 52235 52176 0 -1 4194304 219227 0 0 0 9899 296 0 0 20 0 1 0 51854954 1999667200 375821 18446744073709551615 4227072 8923433 140726681860528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19750912 140726681864530 140726681864744 140726681864744 140726681870314 0
/proc/52239/statm: 488200 375821 2336 1147 0 475627 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 1956992 KiB
Current children cumulated memory: 1506228 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=52235] ppid=52227 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52235/stat : 52235 (run-opt-log.sh) S 52227 52235 52176 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51854952 4292608 736 18446744073709551615 94058356236288 94058357130821 140726736478496 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94058357369872 94058357417616 94058362216448 140726736480545 140726736480740 140726736480740 140726736486342 0
/proc/52235/statm: 1048 736 672 219 0 110 0
[pid=52239] ppid=52235 vsize=2010152 memory=1577880 CPUtime=161.77 cores=4,6
/proc/52239/stat : 52239 (roundingsat) R 52235 52235 52176 0 -1 4194304 232253 0 0 0 15834 343 0 0 20 0 1 0 51854954 2058395648 394470 18446744073709551615 4227072 8923433 140726681860528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19750912 140726681864530 140726681864744 140726681864744 140726681870314 0
/proc/52239/statm: 502538 394470 2336 1147 0 489965 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 2014344 KiB
Current children cumulated memory: 1580824 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=52235] ppid=52227 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52235/stat : 52235 (run-opt-log.sh) S 52227 52235 52176 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51854952 4292608 736 18446744073709551615 94058356236288 94058357130821 140726736478496 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94058357369872 94058357417616 94058362216448 140726736480545 140726736480740 140726736480740 140726736486342 0
/proc/52235/statm: 1048 736 672 219 0 110 0
[pid=52239] ppid=52235 vsize=2019504 memory=1610488 CPUtime=221.57 cores=4,6
/proc/52239/stat : 52239 (roundingsat) R 52235 52235 52176 0 -1 4194304 237400 0 0 0 21767 390 0 0 20 0 1 0 51854954 2067972096 402622 18446744073709551615 4227072 8923433 140726681860528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19750912 140726681864530 140726681864744 140726681864744 140726681870314 0
/proc/52239/statm: 504876 402622 2336 1147 0 492303 0

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

Current children cumulated memory: 2605836 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=52235] ppid=52227 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52235/stat : 52235 (run-opt-log.sh) S 52227 52235 52176 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51854952 4292608 736 18446744073709551615 94058356236288 94058357130821 140726736478496 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94058357369872 94058357417616 94058362216448 140726736480545 140726736480740 140726736480740 140726736486342 0
/proc/52235/statm: 1048 736 672 219 0 110 0
[pid=52239] ppid=52235 vsize=2896720 memory=2602892 CPUtime=3331.85 cores=4,6
/proc/52239/stat : 52239 (roundingsat) R 52235 52235 52176 0 -1 4194304 371110 0 0 0 330846 2339 0 0 20 0 1 0 51854954 2966241280 650723 18446744073709551615 4227072 8923433 140726681860528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19750912 140726681864530 140726681864744 140726681864744 140726681870314 0
/proc/52239/statm: 724180 650723 2336 1147 0 711607 0
Current children cumulated CPU time: 3331.85 s
Current children cumulated vsize: 2900912 KiB
Current children cumulated memory: 2605836 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=52235] ppid=52227 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52235/stat : 52235 (run-opt-log.sh) S 52227 52235 52176 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51854952 4292608 736 18446744073709551615 94058356236288 94058357130821 140726736478496 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94058357369872 94058357417616 94058362216448 140726736480545 140726736480740 140726736480740 140726736486342 0
/proc/52235/statm: 1048 736 672 219 0 110 0
[pid=52239] ppid=52235 vsize=2896720 memory=2605020 CPUtime=3391.66 cores=4,6
/proc/52239/stat : 52239 (roundingsat) R 52235 52235 52176 0 -1 4194304 371282 0 0 0 336794 2372 0 0 20 0 1 0 51854954 2966241280 651255 18446744073709551615 4227072 8923433 140726681860528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19750912 140726681864530 140726681864744 140726681864744 140726681870314 0
/proc/52239/statm: 724180 651255 2336 1147 0 711607 0
Current children cumulated CPU time: 3391.66 s
Current children cumulated vsize: 2900912 KiB
Current children cumulated memory: 2607964 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=52235] ppid=52227 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52235/stat : 52235 (run-opt-log.sh) S 52227 52235 52176 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51854952 4292608 736 18446744073709551615 94058356236288 94058357130821 140726736478496 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94058357369872 94058357417616 94058362216448 140726736480545 140726736480740 140726736480740 140726736486342 0
/proc/52235/statm: 1048 736 672 219 0 110 0
[pid=52239] ppid=52235 vsize=2896980 memory=2605276 CPUtime=3451.49 cores=4,6
/proc/52239/stat : 52239 (roundingsat) R 52235 52235 52176 0 -1 4194304 371374 0 0 0 342752 2397 0 0 20 0 1 0 51854954 2966507520 651319 18446744073709551615 4227072 8923433 140726681860528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19750912 140726681864530 140726681864744 140726681864744 140726681870314 0
/proc/52239/statm: 724245 651319 2336 1147 0 711672 0
Current children cumulated CPU time: 3451.49 s
Current children cumulated vsize: 2901172 KiB
Current children cumulated memory: 2608220 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=52235] ppid=52227 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52235/stat : 52235 (run-opt-log.sh) S 52227 52235 52176 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51854952 4292608 736 18446744073709551615 94058356236288 94058357130821 140726736478496 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94058357369872 94058357417616 94058362216448 140726736480545 140726736480740 140726736480740 140726736486342 0
/proc/52235/statm: 1048 736 672 219 0 110 0
[pid=52239] ppid=52235 vsize=2896980 memory=2605276 CPUtime=3511.31 cores=4,6
/proc/52239/stat : 52239 (roundingsat) R 52235 52235 52176 0 -1 4194304 371582 0 0 0 348704 2427 0 0 20 0 1 0 51854954 2966507520 651319 18446744073709551615 4227072 8923433 140726681860528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19750912 140726681864530 140726681864744 140726681864744 140726681870314 0
/proc/52239/statm: 724245 651319 2336 1147 0 711672 0
Current children cumulated CPU time: 3511.31 s
Current children cumulated vsize: 2901172 KiB
Current children cumulated memory: 2608220 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=52235] ppid=52227 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52235/stat : 52235 (run-opt-log.sh) S 52227 52235 52176 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51854952 4292608 736 18446744073709551615 94058356236288 94058357130821 140726736478496 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94058357369872 94058357417616 94058362216448 140726736480545 140726736480740 140726736480740 140726736486342 0
/proc/52235/statm: 1048 736 672 219 0 110 0
[pid=52239] ppid=52235 vsize=2896980 memory=2605276 CPUtime=3571.13 cores=4,6
/proc/52239/stat : 52239 (roundingsat) R 52235 52235 52176 0 -1 4194304 372349 0 0 0 354650 2463 0 0 20 0 1 0 51854954 2966507520 651319 18446744073709551615 4227072 8923433 140726681860528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19750912 140726681864530 140726681864744 140726681864744 140726681870314 0
/proc/52239/statm: 724245 651319 2336 1147 0 711672 0
Current children cumulated CPU time: 3571.13 s
Current children cumulated vsize: 2901172 KiB
Current children cumulated memory: 2608220 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.3 s]
/proc/loadavg: 4.22 4.13 4.07 4/268 52467
/proc/meminfo: memFree=32527164/131250000 swapFree=33010684/33010684
[pid=52235] ppid=52227 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/52235/stat : 52235 (run-opt-log.sh) S 52227 52235 52176 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51854952 4292608 736 18446744073709551615 94058356236288 94058357130821 140726736478496 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94058357369872 94058357417616 94058362216448 140726736480545 140726736480740 140726736480740 140726736486342 0
/proc/52235/statm: 1048 736 672 219 0 110 0
[pid=52239] ppid=52235 vsize=2897368 memory=2605660 CPUtime=3600.04 cores=4,6
/proc/52239/stat : 52239 (roundingsat) R 52235 52235 52176 0 -1 4194304 372473 0 0 0 357530 2474 0 0 20 0 1 0 51854954 2966904832 651415 18446744073709551615 4227072 8923433 140726681860528 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 19750912 140726681864530 140726681864744 140726681864744 140726681870314 0
/proc/52239/statm: 724342 651415 2336 1147 0 711769 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 2901560 KiB
Current children cumulated memory: 2608604 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3611.3 s]
# the end of solver process 52235 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.002441 s
Sleeping 2 seconds

Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:

[startup+0 s]*
/proc/loadavg: 4.22 4.13 4.07 1/259 52511
/proc/meminfo: memFree=34998716/131250000 swapFree=33010684/33010684
[pid=52239] ppid=52227 vsize=2897368 memory=2605916 CPUtime=3600.68 cores=4,6
/proc/52239/stat : 52239 (roundingsat) D 52227 52235 52176 0 -1 4194304 372479 0 0 0 357531 2537 0 0 20 0 1 0 51854954 2966904832 651479 18446744073709551615 4227072 8923433 140726681860528 0 0 256 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 19750912 140726681864530 140726681864744 140726681864744 140726681870314 9
/proc/52239/statm: 724342 651479 2400 1147 0 711769 0
??? kill 52239 sig 9
??? end of watcher thread

[startup+3620.63 s]
# the end of solver process 52239 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

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

Solver just ended.
Dumping a history of the last processes samples

[startup+3612 s]*
/proc/loadavg: 4.22 4.13 4.07 2/265 52467
/proc/meminfo: memFree=32457312/131250000 swapFree=33010684/33010684
[pid=52239] ppid=52227 vsize=2897368 memory=2605916 CPUtime=3600.65 cores=4,6
/proc/52239/stat : 52239 (roundingsat) D 52227 52235 52176 0 -1 4194304 372479 0 0 0 357531 2534 0 0 20 0 1 0 51854954 2966904832 651479 18446744073709551615 4227072 8923433 140726681860528 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 19750912 140726681864530 140726681864744 140726681864744 140726681870314 0
/proc/52239/statm: 724342 651479 2400 1147 0 711769 0
Current cumulated CPU time of completed processes: 0.002441 s
Current children cumulated CPU time: 3600.65 s
Current children cumulated vsize: 2897368 KiB
Current children cumulated memory: 2605916 KiB

[startup+3612.8 s]
/proc/loadavg: 4.22 4.13 4.07 2/265 52467
/proc/meminfo: memFree=32457312/131250000 swapFree=33010684/33010684
[pid=52239] ppid=52227 vsize=2897368 memory=2605916 CPUtime=3600.67 cores=4,6
/proc/52239/stat : 52239 (roundingsat) D 52227 52235 52176 0 -1 4194304 372479 0 0 0 357531 2536 0 0 20 0 1 0 51854954 2966904832 651479 18446744073709551615 4227072 8923433 140726681860528 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 19750912 140726681864530 140726681864744 140726681864744 140726681870314 0
/proc/52239/statm: 724342 651479 2400 1147 0 711769 0
Current cumulated CPU time of completed processes: 0.002441 s
Current children cumulated CPU time: 3600.67 s
Current children cumulated vsize: 2897368 KiB
Current children cumulated memory: 2605916 KiB

[startup+3613.2 s]
/proc/loadavg: 4.22 4.13 4.07 2/262 52499
/proc/meminfo: memFree=34992020/131250000 swapFree=33010684/33010684
[pid=52239] ppid=52227 vsize=2897368 memory=2605916 CPUtime=3600.68 cores=4,6
/proc/52239/stat : 52239 (roundingsat) D 52227 52235 52176 0 -1 4194304 372479 0 0 0 357531 2537 0 0 20 0 1 0 51854954 2966904832 651479 18446744073709551615 4227072 8923433 140726681860528 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 19750912 140726681864530 140726681864744 140726681864744 140726681870314 0
/proc/52239/statm: 724342 651479 2400 1147 0 711769 0
Current cumulated CPU time of completed processes: 0.002441 s
Current children cumulated CPU time: 3600.68 s
Current children cumulated vsize: 2897368 KiB
Current children cumulated memory: 2605916 KiB

[startup+3613.3 s]
/proc/loadavg: 4.22 4.13 4.07 2/262 52499
/proc/meminfo: memFree=34992020/131250000 swapFree=33010684/33010684
[pid=52239] ppid=52227 vsize=2897368 memory=2605916 CPUtime=3600.68 cores=4,6
/proc/52239/stat : 52239 (roundingsat) D 52227 52235 52176 0 -1 4194304 372479 0 0 0 357531 2537 0 0 20 0 1 0 51854954 2966904832 651479 18446744073709551615 4227072 8923433 140726681860528 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9823104 9832592 19750912 140726681864530 140726681864744 140726681864744 140726681870314 0
/proc/52239/statm: 724342 651479 2400 1147 0 711769 0
Current cumulated CPU time of completed processes: 0.002441 s
Current children cumulated CPU time: 3600.68 s
Current children cumulated vsize: 2897368 KiB
Current children cumulated memory: 2605916 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3620.63
CPU time (s): 3601.01
CPU user time (s): 3575.35
CPU system time (s): 25.6569
CPU usage (%): 99.4582
Max. virtual memory (cumulated for all children) (KiB): 2901560
Max. memory (cumulated for all children) (KiB): 2608604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.35
system time used= 25.6569
maximum resident set size= 2605916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 372686
page faults= 0
swaps= 0
block input operations= 0
block output operations= 50331184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 206830
involuntary context switches= 6348


# summary of solver processes directly reported to runsolver:
#   pid: 52235,52239
#   total CPU time (s): 3601.01
#   total CPU user time (s): 3575.35
#   total CPU system time (s): 25.6569

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.11435 second user time and 16.3622 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2025-07-01 11:23:04
IDJOB=4489645
IDBENCH=147559
IDSOLVER=3351
FILE ID=nodeC014/4489645-1751361783
RUNJOBID= nodeC014-1751361783-52187
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_11.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-4489645-1751361783/watcher-4489645-1751361783 -o /tmp/evaluation-result-4489645-1751361783/solver-4489645-1751361783 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751361783-52187 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4489645-1751361783.opb PROOFDIR/proof-4489645-1751361783

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

MD5SUM BENCH= 37dc22c6a12cddf588c55f8d6ee6d8c2
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.061
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		: 1361.410
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.208
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		: 3600.234
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.120
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		: 3600.126
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.353
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.558
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:        128989180 kB
MemAvailable:   129719128 kB
Buffers:            3280 kB
Cached:          1533992 kB
SwapCached:            0 kB
Active:           335064 kB
Inactive:        1277252 kB
Active(anon):      93112 kB
Inactive(anon):        0 kB
Active(file):     241952 kB
Inactive(file):  1277252 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             88120 kB
Writeback:             8 kB
AnonPages:         78168 kB
Mapped:           103588 kB
Shmem:             18068 kB
KReclaimable:      99964 kB
Slab:             188360 kB
SReclaimable:      99964 kB
SUnreclaim:        88396 kB
KernelStack:        3908 kB
PageTables:         2556 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     340380 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150360 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= 432888 MiB
End job on nodeC014 at 2025-07-01 12:23:24