Trace number 4489553

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.51 3616.2

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb
MD5SUMfd0e2798224bd891f728fecfed3c6d1b
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark236
Best CPU time to get the best result obtained on this benchmark12722.9
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 495618
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 495618
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.13	c #variables 10000 #constraints 656900
3.06/3.13	c objective is ce32 
4.95/5.03	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
4.95/5.03	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
4.95/5.03	c GLOBAL bounds - >= 0 @ 3.71147
5.25/5.31	c GLOBAL bounds - >= 0 @ 3.95994
5.25/5.32	c GLOBAL bounds - >= 0 @ 3.97225
5.25/5.34	c GLOBAL bounds - >= 0 @ 3.99074
5.25/5.35	c GLOBAL bounds - >= 0 @ 4.00102
5.25/5.38	c GLOBAL bounds - >= 0 @ 4.02328
5.25/5.40	c GLOBAL bounds - >= 0 @ 4.03628
5.34/5.41	c GLOBAL bounds - >= 0 @ 4.05235
5.34/5.43	c GLOBAL bounds - >= 0 @ 4.06451
5.34/5.44	c GLOBAL bounds - >= 0 @ 4.0759
5.34/5.46	c GLOBAL bounds - >= 0 @ 4.08562
5.34/5.49	c GLOBAL bounds - >= 0 @ 4.11277
5.44/5.50	c GLOBAL bounds - >= 0 @ 4.12453
5.44/5.52	c GLOBAL bounds - >= 0 @ 4.13628
5.44/5.53	c GLOBAL bounds - >= 0 @ 4.14872
5.44/5.55	c GLOBAL bounds - >= 0 @ 4.16682
5.44/5.56	c GLOBAL bounds - >= 0 @ 4.17885
5.44/5.58	c GLOBAL bounds - >= 0 @ 4.1874
5.54/5.60	c GLOBAL bounds - >= 0 @ 4.20558
5.54/5.61	c GLOBAL bounds - >= 0 @ 4.22133
5.54/5.63	c GLOBAL bounds - >= 0 @ 4.23372
5.54/5.65	c GLOBAL bounds - >= 0 @ 4.25876
5.54/5.68	c GLOBAL bounds - >= 0 @ 4.28215
5.54/5.69	c GLOBAL bounds - >= 0 @ 4.2898
5.64/5.71	c GLOBAL bounds - >= 0 @ 4.31445
5.64/5.79	c GLOBAL bounds - >= 0 @ 4.38544
5.74/5.80	c GLOBAL bounds - >= 0 @ 4.39767
5.74/5.82	c GLOBAL bounds - >= 0 @ 4.42089
5.74/5.86	c GLOBAL bounds - >= 0 @ 4.45309
5.74/5.89	c GLOBAL bounds - >= 0 @ 4.48343
5.85/5.90	c GLOBAL bounds - >= 0 @ 4.49693
5.85/5.92	c GLOBAL bounds - >= 0 @ 4.51327
5.85/5.93	c GLOBAL bounds - >= 0 @ 4.52204
5.85/5.94	c GLOBAL bounds - >= 0 @ 4.53578
5.85/5.97	c GLOBAL bounds - >= 0 @ 4.5652
5.85/5.99	c GLOBAL bounds - >= 0 @ 4.57721
5.85/6.00	c GLOBAL bounds - >= 0 @ 4.58534
5.95/6.01	c GLOBAL bounds - >= 0 @ 4.59884
5.95/6.03	c GLOBAL bounds - >= 0 @ 4.61487
5.95/6.04	c GLOBAL bounds - >= 0 @ 4.62772
6.05/6.14	c GLOBAL bounds - >= 0 @ 4.72322
6.05/6.17	c GLOBAL bounds - >= 0 @ 4.74692
6.05/6.18	c GLOBAL bounds - >= 0 @ 4.75943
6.05/6.20	c GLOBAL bounds - >= 0 @ 4.7706
6.15/6.21	c GLOBAL bounds - >= 0 @ 4.7781
6.15/6.21	c GLOBAL bounds - >= 0 @ 4.78757
6.15/6.23	c GLOBAL bounds - >= 0 @ 4.80089
6.15/6.25	c GLOBAL bounds - >= 0 @ 4.82092
6.15/6.27	c GLOBAL bounds - >= 0 @ 4.84079
6.15/6.28	c GLOBAL bounds - >= 0 @ 4.85092
6.24/6.32	c GLOBAL bounds - >= 0 @ 4.88366
6.24/6.33	c GLOBAL bounds - >= 0 @ 4.89837
6.24/6.35	c GLOBAL bounds - >= 0 @ 4.91095
6.24/6.36	c GLOBAL bounds - >= 0 @ 4.92505
6.24/6.38	c GLOBAL bounds - >= 0 @ 4.94308
6.34/6.40	c GLOBAL bounds - >= 0 @ 4.95578
6.34/6.41	c GLOBAL bounds - >= 0 @ 4.96767
6.34/6.43	c GLOBAL bounds - >= 0 @ 4.9797
6.34/6.44	c GLOBAL bounds - >= 0 @ 4.98874
6.34/6.45	c GLOBAL bounds - >= 0 @ 5.00316
6.34/6.47	c GLOBAL bounds - >= 0 @ 5.01859
6.44/6.50	c GLOBAL bounds - >= 0 @ 5.05135
6.44/6.51	c GLOBAL bounds - >= 0 @ 5.06086
6.44/6.53	c GLOBAL bounds - >= 0 @ 5.07509
6.44/6.54	c GLOBAL bounds - >= 0 @ 5.08662
6.44/6.56	c GLOBAL bounds - >= 0 @ 5.1029
6.44/6.58	c GLOBAL bounds - >= 0 @ 5.11975
6.44/6.59	c GLOBAL bounds - >= 0 @ 5.12843
6.54/6.60	c GLOBAL bounds - >= 0 @ 5.14108
6.54/6.61	c GLOBAL bounds - >= 0 @ 5.14836
6.54/6.66	c GLOBAL bounds - >= 0 @ 5.19353
6.54/6.69	c GLOBAL bounds - >= 0 @ 5.22743
6.64/6.71	c GLOBAL bounds - >= 0 @ 5.23984
6.64/6.72	c GLOBAL bounds - >= 0 @ 5.25185
6.64/6.73	c GLOBAL bounds - >= 0 @ 5.26125
6.64/6.74	c GLOBAL bounds - >= 0 @ 5.2696
6.64/6.78	c GLOBAL bounds - >= 0 @ 5.30312
7.14/7.24	c GLOBAL bounds - >= 0 @ 5.76235
7.34/7.40	c #Conflicts:       1000 | #Constraints:     658052
7.34/7.40	c GLOBAL bounds - >= 0 @ 5.91127
7.34/7.42	c GLOBAL bounds - >= 0 @ 5.93352
7.34/7.43	c GLOBAL bounds - >= 0 @ 5.94471
7.34/7.46	c GLOBAL bounds - >= 0 @ 5.97054
7.34/7.47	c GLOBAL bounds - >= 0 @ 5.98047
7.34/7.48	c GLOBAL bounds - >= 0 @ 5.99315
7.44/7.50	c GLOBAL bounds - >= 0 @ 6.0107
7.44/7.53	c GLOBAL bounds - >= 0 @ 6.03309
7.44/7.54	c GLOBAL bounds - >= 0 @ 6.04891
7.44/7.56	c GLOBAL bounds - >= 0 @ 6.06781
7.44/7.58	c GLOBAL bounds - >= 0 @ 6.0863
7.53/7.62	c GLOBAL bounds - >= 0 @ 6.11728
7.53/7.63	c GLOBAL bounds - >= 0 @ 6.13036
7.53/7.65	c GLOBAL bounds - >= 0 @ 6.1438
7.53/7.67	c GLOBAL bounds - >= 0 @ 6.16562
7.53/7.69	c GLOBAL bounds - >= 0 @ 6.17966
7.63/7.70	c GLOBAL bounds - >= 0 @ 6.19304
7.63/7.72	c GLOBAL bounds - >= 0 @ 6.20755
7.63/7.74	c GLOBAL bounds - >= 0 @ 6.22622
7.63/7.75	c GLOBAL bounds - >= 0 @ 6.24168
7.63/7.77	c GLOBAL bounds - >= 0 @ 6.25483
7.63/7.79	c GLOBAL bounds - >= 0 @ 6.27245
7.74/7.80	c GLOBAL bounds - >= 0 @ 6.28829
7.74/7.84	c GLOBAL bounds - >= 0 @ 6.32059
7.74/7.85	c GLOBAL bounds - >= 0 @ 6.33244
7.74/7.87	c GLOBAL bounds - >= 0 @ 6.34727
7.74/7.89	c GLOBAL bounds - >= 0 @ 6.36438
7.83/7.91	c GLOBAL bounds - >= 0 @ 6.3837
7.83/7.93	c GLOBAL bounds - >= 0 @ 6.39627
7.83/7.94	c GLOBAL bounds - >= 0 @ 6.40928
7.94/8.04	c GLOBAL bounds - >= 0 @ 6.49713
7.94/8.06	c GLOBAL bounds - >= 0 @ 6.51743
7.94/8.08	c GLOBAL bounds - >= 0 @ 6.5417
7.94/8.10	c GLOBAL bounds - >= 0 @ 6.55675
8.24/8.36	c GLOBAL bounds - >= 0 @ 6.81395
8.33/8.40	c GLOBAL bounds - >= 0 @ 6.8499
8.33/8.44	c GLOBAL bounds - >= 0 @ 6.89024
8.33/8.47	c GLOBAL bounds - >= 0 @ 6.91915
8.33/8.49	c GLOBAL bounds - >= 0 @ 6.93953
8.44/8.52	c GLOBAL bounds - >= 0 @ 6.96286
8.44/8.59	c GLOBAL bounds - >= 0 @ 7.03827
8.54/8.60	c GLOBAL bounds - >= 0 @ 7.04828
8.54/8.62	c GLOBAL bounds - >= 0 @ 7.06301
8.54/8.63	c GLOBAL bounds - >= 0 @ 7.07612
8.54/8.65	c GLOBAL bounds - >= 0 @ 7.08888
8.54/8.67	c GLOBAL bounds - >= 0 @ 7.10834
8.54/8.69	c GLOBAL bounds - >= 0 @ 7.12916
8.64/8.74	c GLOBAL bounds - >= 0 @ 7.17283
8.64/8.77	c GLOBAL bounds - >= 0 @ 7.20812
8.64/8.79	c GLOBAL bounds - >= 0 @ 7.22728
8.73/8.82	c GLOBAL bounds - >= 0 @ 7.25179
8.73/8.84	c GLOBAL bounds - >= 0 @ 7.26898
8.73/8.89	c GLOBAL bounds - >= 0 @ 7.31522
8.83/8.90	c GLOBAL bounds - >= 0 @ 7.3245
8.83/8.92	c GLOBAL bounds - >= 0 @ 7.3444
8.83/8.95	c GLOBAL bounds - >= 0 @ 7.36714
8.83/8.97	c GLOBAL bounds - >= 0 @ 7.38689
8.83/8.99	c GLOBAL bounds - >= 0 @ 7.40108
8.94/9.00	c GLOBAL bounds - >= 0 @ 7.41467
8.94/9.04	c GLOBAL bounds - >= 0 @ 7.44639
8.94/9.06	c GLOBAL bounds - >= 0 @ 7.4644
8.94/9.07	c GLOBAL bounds - >= 0 @ 7.47785
8.94/9.09	c GLOBAL bounds - >= 0 @ 7.49973
9.04/9.12	c GLOBAL bounds - >= 0 @ 7.51907
9.04/9.14	c GLOBAL bounds - >= 0 @ 7.54308
9.04/9.16	c GLOBAL bounds - >= 0 @ 7.56297
9.04/9.18	c GLOBAL bounds - >= 0 @ 7.57471
9.13/9.20	c GLOBAL bounds - >= 0 @ 7.5917
9.13/9.22	c GLOBAL bounds - >= 0 @ 7.60731
9.13/9.23	c GLOBAL bounds - >= 0 @ 7.62214
9.13/9.26	c GLOBAL bounds - >= 0 @ 7.64052
9.24/9.32	c GLOBAL bounds - >= 0 @ 7.69906
9.24/9.37	c GLOBAL bounds - >= 0 @ 7.75488
9.33/9.41	c GLOBAL bounds - >= 0 @ 7.78512
9.33/9.44	c GLOBAL bounds - >= 0 @ 7.81158
9.33/9.45	c GLOBAL bounds - >= 0 @ 7.82594
9.33/9.48	c GLOBAL bounds - >= 0 @ 7.84918
9.43/9.50	c GLOBAL bounds - >= 0 @ 7.87603
9.43/9.53	c GLOBAL bounds - >= 0 @ 7.89765
9.43/9.55	c GLOBAL bounds - >= 0 @ 7.91745
9.43/9.57	c GLOBAL bounds - >= 0 @ 7.93948
9.43/9.59	c GLOBAL bounds - >= 0 @ 7.95194
10.04/10.12	c GLOBAL bounds - >= 0 @ 8.46596
10.04/10.14	c GLOBAL bounds - >= 0 @ 8.49155
10.23/10.38	c GLOBAL bounds - >= 0 @ 8.71603
10.33/10.47	c GLOBAL bounds - >= 0 @ 8.8049
10.43/10.50	c GLOBAL bounds - >= 0 @ 8.82985
10.43/10.52	c GLOBAL bounds - >= 0 @ 8.85181
10.43/10.54	c GLOBAL bounds - >= 0 @ 8.87164
10.43/10.57	c GLOBAL bounds - >= 0 @ 8.89404
10.53/10.63	c GLOBAL bounds - >= 0 @ 8.95353
10.73/10.81	c GLOBAL bounds - >= 0 @ 9.13079
10.73/10.83	c GLOBAL bounds - >= 0 @ 9.14664
10.73/10.84	c GLOBAL bounds - >= 0 @ 9.16316
10.73/10.87	c GLOBAL bounds - >= 0 @ 9.1889
10.83/10.90	c GLOBAL bounds - >= 0 @ 9.21056
10.83/10.93	c GLOBAL bounds - >= 0 @ 9.24124
10.94/11.00	c GLOBAL bounds - >= 0 @ 9.30974
10.94/11.03	c GLOBAL bounds - >= 0 @ 9.3412
10.94/11.07	c GLOBAL bounds - >= 0 @ 9.37053
10.94/11.08	c GLOBAL bounds - >= 0 @ 9.38719
11.03/11.10	c GLOBAL bounds - >= 0 @ 9.40455
11.03/11.12	c GLOBAL bounds - >= 0 @ 9.42408
11.03/11.14	c GLOBAL bounds - >= 0 @ 9.43926
11.03/11.15	c GLOBAL bounds - >= 0 @ 9.45175
11.13/11.21	c GLOBAL bounds - >= 0 @ 9.50819
11.13/11.23	c GLOBAL bounds - >= 0 @ 9.5233
11.13/11.28	c GLOBAL bounds - >= 0 @ 9.57436
11.22/11.31	c GLOBAL bounds - >= 0 @ 9.60413
11.22/11.33	c GLOBAL bounds - >= 0 @ 9.61565
11.22/11.39	c GLOBAL bounds - >= 0 @ 9.67489
11.43/11.50	c GLOBAL bounds - >= 0 @ 9.78786
11.43/11.52	c GLOBAL bounds - >= 0 @ 9.80042
11.43/11.54	c GLOBAL bounds - >= 0 @ 9.81667
11.43/11.58	c GLOBAL bounds - >= 0 @ 9.85419
11.53/11.60	c GLOBAL bounds - >= 0 @ 9.88194
11.53/11.66	c GLOBAL bounds - >= 0 @ 9.92889
11.53/11.69	c GLOBAL bounds - >= 0 @ 9.96178
11.62/11.76	c GLOBAL bounds - >= 0 @ 10.0276
11.62/11.78	c GLOBAL bounds - >= 0 @ 10.0443
11.73/11.80	c GLOBAL bounds - >= 0 @ 10.064
11.73/11.82	c GLOBAL bounds - >= 0 @ 10.0839
11.73/11.84	c GLOBAL bounds - >= 0 @ 10.0968
11.73/11.86	c GLOBAL bounds - >= 0 @ 10.1208
11.73/11.89	c GLOBAL bounds - >= 0 @ 10.1363
12.03/12.19	c GLOBAL bounds - >= 0 @ 10.44
12.13/12.21	c GLOBAL bounds - >= 0 @ 10.4509
12.13/12.25	c GLOBAL bounds - >= 0 @ 10.4924
12.13/12.27	c GLOBAL bounds - >= 0 @ 10.5064
12.42/12.54	c GLOBAL bounds - >= 0 @ 10.769
12.62/12.74	c GLOBAL bounds - >= 0 @ 10.9684
12.62/12.75	c GLOBAL bounds - >= 0 @ 10.9817
12.73/12.80	c GLOBAL bounds - >= 0 @ 11.0266
12.73/12.88	c GLOBAL bounds - >= 0 @ 11.0982
12.73/12.89	c GLOBAL bounds - >= 0 @ 11.1087
12.82/12.93	c GLOBAL bounds - >= 0 @ 11.1444
12.82/12.94	c GLOBAL bounds - >= 0 @ 11.1615
12.82/12.97	c GLOBAL bounds - >= 0 @ 11.1903
12.92/13.03	c GLOBAL bounds - >= 0 @ 11.2464
12.92/13.05	c GLOBAL bounds - >= 0 @ 11.2667
12.92/13.08	c GLOBAL bounds - >= 0 @ 11.2853
13.12/13.26	c GLOBAL bounds - >= 0 @ 11.4557
13.12/13.28	c GLOBAL bounds - >= 0 @ 11.4806
13.52/13.68	c #Conflicts:       2000 | #Constraints:     659338
13.52/13.68	c INPROCESSING
13.52/13.68	c GLOBAL bounds - >= 0 @ 11.877
13.62/13.72	c GLOBAL bounds - >= 0 @ 11.914
13.62/13.74	c GLOBAL bounds - >= 0 @ 11.9326
13.62/13.76	c GLOBAL bounds - >= 0 @ 11.955
13.62/13.79	c GLOBAL bounds - >= 0 @ 11.9818
13.72/13.81	c GLOBAL bounds - >= 0 @ 11.9982
13.72/13.86	c GLOBAL bounds - >= 0 @ 12.0493
13.81/13.90	c GLOBAL bounds - >= 0 @ 12.0824
13.93/14.04	c GLOBAL bounds - >= 0 @ 12.2146
13.93/14.07	c GLOBAL bounds - >= 0 @ 12.2444
14.02/14.10	c GLOBAL bounds - >= 0 @ 12.2795
14.02/14.12	c GLOBAL bounds - >= 0 @ 12.2902
14.02/14.16	c GLOBAL bounds - >= 0 @ 12.3259
14.02/14.18	c GLOBAL bounds - >= 0 @ 12.3476
14.12/14.20	c GLOBAL bounds - >= 0 @ 12.3681
14.12/14.23	c GLOBAL bounds - >= 0 @ 12.3967
14.12/14.29	c GLOBAL bounds - >= 0 @ 12.4488
14.81/15.00	c GLOBAL bounds - >= 0 @ 13.1466
14.92/15.06	c GLOBAL bounds - >= 0 @ 13.2057
14.92/15.10	c GLOBAL bounds - >= 0 @ 13.2414
15.02/15.12	c GLOBAL bounds - >= 0 @ 13.2668
15.02/15.17	c GLOBAL bounds - >= 0 @ 13.3071
15.12/15.20	c GLOBAL bounds - >= 0 @ 13.3372
15.12/15.25	c GLOBAL bounds - >= 0 @ 13.3903
15.21/15.31	c GLOBAL bounds - >= 0 @ 13.4406
15.21/15.33	c GLOBAL bounds - >= 0 @ 13.4579
15.21/15.34	c GLOBAL bounds - >= 0 @ 13.4703
15.21/15.37	c GLOBAL bounds - >= 0 @ 13.4919
15.32/15.40	c GLOBAL bounds - >= 0 @ 13.5255
15.32/15.45	c GLOBAL bounds - >= 0 @ 13.5698
15.32/15.47	c GLOBAL bounds - >= 0 @ 13.5863
15.42/15.50	c GLOBAL bounds - >= 0 @ 13.6139
15.42/15.54	c GLOBAL bounds - >= 0 @ 13.6576
15.42/15.57	c GLOBAL bounds - >= 0 @ 13.6798
15.51/15.60	c GLOBAL bounds - >= 0 @ 13.7075
16.61/16.74	c GLOBAL bounds - >= 0 @ 14.8269
16.61/16.78	c GLOBAL bounds - >= 0 @ 14.8675
16.81/16.93	c GLOBAL bounds - >= 0 @ 15.0089
16.92/17.04	c GLOBAL bounds - >= 0 @ 15.1168
17.01/17.11	c GLOBAL bounds - >= 0 @ 15.187
17.01/17.14	c GLOBAL bounds - >= 0 @ 15.2175
17.11/17.20	c GLOBAL bounds - >= 0 @ 15.2678
17.11/17.23	c GLOBAL bounds - >= 0 @ 15.2981
17.11/17.25	c GLOBAL bounds - >= 0 @ 15.3118
18.61/18.70	c GLOBAL bounds - >= 0 @ 16.7454
19.10/19.25	c #Conflicts:       3000 | #Constraints:     659431
19.10/19.25	c GLOBAL bounds - >= 0 @ 17.283
19.30/19.41	c GLOBAL bounds - >= 0 @ 17.4383
19.80/19.97	c GLOBAL bounds - >= 0 @ 17.9928
19.91/20.00	c GLOBAL bounds - >= 0 @ 18.0272
19.91/20.09	c GLOBAL bounds - >= 0 @ 18.1138
20.01/20.15	c GLOBAL bounds - >= 0 @ 18.174
20.20/20.37	c GLOBAL bounds - >= 0 @ 18.3876
20.29/20.40	c GLOBAL bounds - >= 0 @ 18.4156
20.29/20.47	c GLOBAL bounds - >= 0 @ 18.4815
20.40/20.56	c GLOBAL bounds - >= 0 @ 18.562
20.40/20.59	c GLOBAL bounds - >= 0 @ 18.586
20.50/20.62	c GLOBAL bounds - >= 0 @ 18.6226
20.50/20.65	c GLOBAL bounds - >= 0 @ 18.6467
20.50/20.67	c GLOBAL bounds - >= 0 @ 18.6673
20.60/20.70	c GLOBAL bounds - >= 0 @ 18.6909
20.90/21.07	c GLOBAL bounds - >= 0 @ 19.0503
20.90/21.08	c GLOBAL bounds - >= 0 @ 19.0645
21.00/21.10	c GLOBAL bounds - >= 0 @ 19.08
21.00/21.13	c GLOBAL bounds - >= 0 @ 19.1039
21.00/21.17	c GLOBAL bounds - >= 0 @ 19.1387
21.19/21.33	c GLOBAL bounds - >= 0 @ 19.2863
21.19/21.35	c GLOBAL bounds - >= 0 @ 19.3063
21.30/21.41	c GLOBAL bounds - >= 0 @ 19.3595
21.50/21.68	c GLOBAL bounds - >= 0 @ 19.6267
21.59/21.71	c GLOBAL bounds - >= 0 @ 19.6516
21.59/21.77	c GLOBAL bounds - >= 0 @ 19.7082
21.59/21.79	c GLOBAL bounds - >= 0 @ 19.7245
21.69/21.85	c GLOBAL bounds - >= 0 @ 19.7791
21.69/21.88	c GLOBAL bounds - >= 0 @ 19.8097
21.80/21.92	c GLOBAL bounds - >= 0 @ 19.8394
21.80/21.94	c GLOBAL bounds - >= 0 @ 19.8616
21.80/21.96	c GLOBAL bounds - >= 0 @ 19.8802
22.09/22.27	c GLOBAL bounds - >= 0 @ 20.1744
22.29/22.40	c GLOBAL bounds - >= 0 @ 20.2978
22.29/22.46	c GLOBAL bounds - >= 0 @ 20.3507
22.29/22.48	c GLOBAL bounds - >= 0 @ 20.3709
22.39/22.52	c GLOBAL bounds - >= 0 @ 20.4096
22.39/22.55	c GLOBAL bounds - >= 0 @ 20.4379
22.39/22.60	c GLOBAL bounds - >= 0 @ 20.48
22.90/23.01	c GLOBAL bounds - >= 0 @ 20.8787
22.90/23.06	c GLOBAL bounds - >= 0 @ 20.9279
22.99/23.12	c GLOBAL bounds - >= 0 @ 20.985
22.99/23.15	c GLOBAL bounds - >= 0 @ 21.0104
23.09/23.23	c GLOBAL bounds - >= 0 @ 21.0867
23.99/24.15	c GLOBAL bounds - >= 0 @ 21.9816
24.19/24.32	c GLOBAL bounds - >= 0 @ 22.1466
24.19/24.37	c GLOBAL bounds - >= 0 @ 22.1998
24.29/24.40	c GLOBAL bounds - >= 0 @ 22.2225
26.58/26.78	c #Conflicts:       4000 | #Constraints:     660527
26.58/26.78	c INPROCESSING
26.58/26.78	c GARBAGE COLLECT
26.58/26.78	c GLOBAL bounds - >= 0 @ 24.5667
27.17/27.35	c GLOBAL bounds - >= 0 @ 25.1167
27.28/27.45	c GLOBAL bounds - >= 0 @ 25.2176
27.28/27.49	c GLOBAL bounds - >= 0 @ 25.2495
27.38/27.54	c GLOBAL bounds - >= 0 @ 25.3018
27.38/27.58	c GLOBAL bounds - >= 0 @ 25.3375
27.48/27.60	c GLOBAL bounds - >= 0 @ 25.3501
27.48/27.64	c GLOBAL bounds - >= 0 @ 25.3865
27.57/27.75	c GLOBAL bounds - >= 0 @ 25.4956
27.67/27.81	c GLOBAL bounds - >= 0 @ 25.5517
27.78/27.98	c GLOBAL bounds - >= 0 @ 25.7126
27.88/28.05	c GLOBAL bounds - >= 0 @ 25.7855
27.88/28.07	c GLOBAL bounds - >= 0 @ 25.8
27.98/28.16	c GLOBAL bounds - >= 0 @ 25.8819
28.07/28.22	c GLOBAL bounds - >= 0 @ 25.9462
28.07/28.25	c GLOBAL bounds - >= 0 @ 25.9664
29.07/29.23	c GLOBAL bounds - >= 0 @ 26.9335
29.47/29.61	c GLOBAL bounds - >= 0 @ 27.3021
29.57/29.73	c GLOBAL bounds - >= 0 @ 27.4145
29.97/30.17	c GLOBAL bounds - >= 0 @ 27.8525
30.07/30.27	c GLOBAL bounds - >= 0 @ 27.9446
30.07/30.30	c GLOBAL bounds - >= 0 @ 27.9705
31.07/31.24	c #Conflicts:       5000 | #Constraints:     659981
31.07/31.24	c GLOBAL bounds - >= 0 @ 28.8932
31.17/31.34	c GLOBAL bounds - >= 0 @ 28.9916
40.44/40.63	c #Conflicts:       6000 | #Constraints:     660985
40.44/40.63	c INPROCESSING
40.44/40.63	c GARBAGE COLLECT
40.44/40.63	c GLOBAL bounds - >= 0 @ 38.1126
43.13/43.32	c #Conflicts:       7000 | #Constraints:     659993
43.13/43.32	c GLOBAL bounds - >= 0 @ 40.7701
52.50/52.77	c #Conflicts:       8000 | #Constraints:     660995
52.50/52.77	c GLOBAL bounds - >= 0 @ 50.1029
52.90/53.12	c GLOBAL bounds - >= 0 @ 50.4533
52.90/53.15	c GLOBAL bounds - >= 0 @ 50.4797
54.09/54.39	c GLOBAL bounds - >= 0 @ 51.6908
54.19/54.41	c GLOBAL bounds - >= 0 @ 51.7156
54.29/54.50	c GLOBAL bounds - >= 0 @ 51.7997
54.29/54.55	c GLOBAL bounds - >= 0 @ 51.8468
56.59/56.89	c GLOBAL bounds - >= 0 @ 54.1265
56.69/56.98	c GLOBAL bounds - >= 0 @ 54.2148
56.79/57.02	c GLOBAL bounds - >= 0 @ 54.2488
56.98/57.28	c GLOBAL bounds - >= 0 @ 54.5013
57.09/57.36	c GLOBAL bounds - >= 0 @ 54.5796
60.78/61.05	c #Conflicts:       9000 | #Constraints:     662019
60.78/61.05	c INPROCESSING
60.78/61.05	c GARBAGE COLLECT
60.78/61.05	c GLOBAL bounds - >= 0 @ 58.1763
61.08/61.32	c GLOBAL bounds - >= 0 @ 58.4454
61.28/61.54	c GLOBAL bounds - >= 0 @ 58.6595
61.28/61.59	c GLOBAL bounds - >= 0 @ 58.7147
61.68/61.96	c GLOBAL bounds - >= 0 @ 59.0713
61.88/62.11	c GLOBAL bounds - >= 0 @ 59.2252
61.97/62.20	c GLOBAL bounds - >= 0 @ 59.3093
61.97/62.23	c GLOBAL bounds - >= 0 @ 59.3383
61.97/62.28	c GLOBAL bounds - >= 0 @ 59.389
62.17/62.44	c GLOBAL bounds - >= 0 @ 59.5351
63.07/63.36	c GLOBAL bounds - >= 0 @ 60.4394
63.26/63.54	c GLOBAL bounds - >= 0 @ 60.6172
63.77/64.04	c GLOBAL bounds - >= 0 @ 61.1125
64.96/65.20	c GLOBAL bounds - >= 0 @ 62.2524
73.83/74.19	c #Conflicts:      10000 | #Constraints:     660740
73.83/74.19	c #Conflicts:      11000 | #Constraints:     661740
73.83/74.19	c GLOBAL bounds - >= 0 @ 71.1126
74.23/74.54	c GLOBAL bounds - >= 0 @ 71.458
74.33/74.60	c GLOBAL bounds - >= 0 @ 71.5231
74.53/74.83	c GLOBAL bounds - >= 0 @ 71.7367
75.23/75.56	c GLOBAL bounds - >= 0 @ 72.463
75.33/75.69	c GLOBAL bounds - >= 0 @ 72.5923
75.53/75.80	c GLOBAL bounds - >= 0 @ 72.6967
81.01/81.38	c #Conflicts:      12000 | #Constraints:     662754
81.01/81.38	c INPROCESSING
81.01/81.38	c GARBAGE COLLECT
81.01/81.38	c GLOBAL bounds - >= 0 @ 78.1566
81.61/81.95	c GLOBAL bounds - >= 0 @ 78.7204
81.72/82.03	c GLOBAL bounds - >= 0 @ 78.7943
81.81/82.11	c GLOBAL bounds - >= 0 @ 78.8699
82.90/83.27	c GLOBAL bounds - >= 0 @ 80.0089
83.01/83.38	c GLOBAL bounds - >= 0 @ 80.1122
86.40/86.72	c GLOBAL bounds - >= 0 @ 83.3941
86.49/86.85	c GLOBAL bounds - >= 0 @ 83.5164
86.59/86.95	c GLOBAL bounds - >= 0 @ 83.6158
88.39/88.79	c #Conflicts:      13000 | #Constraints:     661221
88.39/88.79	c GLOBAL bounds - >= 0 @ 85.431
113.01/113.40	c #Conflicts:      14000 | #Constraints:     662223
113.01/113.40	c #Conflicts:      15000 | #Constraints:     663223
113.01/113.40	c INPROCESSING
113.01/113.40	c GARBAGE COLLECT
113.01/113.40	c GLOBAL bounds - >= 0 @ 109.765
113.72/114.15	c #Conflicts:      16000 | #Constraints:     661454
113.72/114.15	c GLOBAL bounds - >= 0 @ 110.511
113.81/114.20	c GLOBAL bounds - >= 0 @ 110.554
114.01/114.45	c GLOBAL bounds - >= 0 @ 110.803
115.10/115.51	c GLOBAL bounds - >= 0 @ 111.852
115.20/115.64	c GLOBAL bounds - >= 0 @ 111.977
115.41/115.88	c GLOBAL bounds - >= 0 @ 112.219
124.37/124.86	c #Conflicts:      17000 | #Constraints:     662466
124.37/124.86	c GLOBAL bounds - >= 0 @ 121.05
133.04/133.53	c #Conflicts:      18000 | #Constraints:     663468
133.04/133.53	c INPROCESSING
133.04/133.53	c GARBAGE COLLECT
133.04/133.53	c GLOBAL bounds - >= 0 @ 129.604
150.20/150.77	c #Conflicts:      19000 | #Constraints:     661491
150.20/150.77	c GLOBAL bounds - >= 0 @ 146.676
150.39/151.00	c GLOBAL bounds - >= 0 @ 146.897
150.79/151.31	c GLOBAL bounds - >= 0 @ 147.209
150.90/151.48	c GLOBAL bounds - >= 0 @ 147.376
150.99/151.58	c GLOBAL bounds - >= 0 @ 147.47
152.49/153.10	c GLOBAL bounds - >= 0 @ 148.952
152.88/153.49	c #Conflicts:      20000 | #Constraints:     662503
152.88/153.49	c GLOBAL bounds - >= 0 @ 149.341
155.49/156.06	c GLOBAL bounds - >= 0 @ 151.872
155.78/156.38	c GLOBAL bounds - >= 0 @ 152.182
156.38/156.98	c GLOBAL bounds - >= 0 @ 152.778
156.48/157.03	c GLOBAL bounds - >= 0 @ 152.822
156.67/157.27	c GLOBAL bounds - >= 0 @ 153.062
156.77/157.36	c GLOBAL bounds - >= 0 @ 153.148
157.08/157.67	c GLOBAL bounds - >= 0 @ 153.452
158.57/159.13	c GLOBAL bounds - >= 0 @ 154.892
158.57/159.17	c GLOBAL bounds - >= 0 @ 154.92
159.36/159.90	c GLOBAL bounds - >= 0 @ 155.637
160.06/160.61	c GLOBAL bounds - >= 0 @ 156.337
160.36/160.94	c GLOBAL bounds - >= 0 @ 156.646
161.76/162.31	c #Conflicts:      21000 | #Constraints:     663529
161.76/162.31	c GLOBAL bounds - >= 0 @ 157.979
172.03/172.65	c INPROCESSING
172.03/172.65	c GARBAGE COLLECT
172.03/172.65	c #Conflicts:      22000 | #Constraints:     661330
172.03/172.65	c GLOBAL bounds - >= 0 @ 168.167
172.32/172.98	c GLOBAL bounds - >= 0 @ 168.495
284.77/285.77	c #Conflicts:      23000 | #Constraints:     662334
284.77/285.77	c #Conflicts:      24000 | #Constraints:     663334
284.77/285.77	c #Conflicts:      25000 | #Constraints:     664334
284.77/285.77	c INPROCESSING
284.77/285.77	c GARBAGE COLLECT
284.77/285.77	c #Conflicts:      26000 | #Constraints:     661940
284.77/285.77	c #Conflicts:      27000 | #Constraints:     662940
284.77/285.77	c #Conflicts:      28000 | #Constraints:     663940
284.77/285.77	c #Conflicts:      29000 | #Constraints:     664940
284.77/285.77	c INPROCESSING
284.77/285.77	c GARBAGE COLLECT
284.77/285.77	c #Conflicts:      30000 | #Constraints:     662341
284.77/285.77	c GLOBAL bounds - >= 0 @ 280.135
291.04/292.04	c #Conflicts:      31000 | #Constraints:     663343
291.04/292.04	c GLOBAL bounds - >= 0 @ 286.344
295.43/296.43	c GLOBAL bounds - >= 0 @ 290.69
300.31/301.36	c #Conflicts:      32000 | #Constraints:     664347
300.31/301.36	c GLOBAL bounds - >= 0 @ 295.556
315.27/316.36	c #Conflicts:      33000 | #Constraints:     665349
315.27/316.36	c INPROCESSING
315.27/316.36	c GARBAGE COLLECT
315.27/316.36	c GLOBAL bounds - >= 0 @ 310.381
318.06/319.17	c GLOBAL bounds - >= 0 @ 313.147
465.99/467.57	c #Conflicts:      34000 | #Constraints:     662555
465.99/467.57	c #Conflicts:      35000 | #Constraints:     663555
465.99/467.57	c #Conflicts:      36000 | #Constraints:     664555
465.99/467.57	c #Conflicts:      37000 | #Constraints:     665555
465.99/467.57	c INPROCESSING
465.99/467.57	c GARBAGE COLLECT
465.99/467.57	c #Conflicts:      38000 | #Constraints:     662563
465.99/467.57	c #Conflicts:      39000 | #Constraints:     663563
465.99/467.57	c #Conflicts:      40000 | #Constraints:     664563
465.99/467.57	c #Conflicts:      41000 | #Constraints:     665563
465.99/467.57	c INPROCESSING
465.99/467.57	c GARBAGE COLLECT
465.99/467.57	c #Conflicts:      42000 | #Constraints:     662368
465.99/467.57	c #Conflicts:      43000 | #Constraints:     663368
465.99/467.57	c #Conflicts:      44000 | #Constraints:     664368
465.99/467.57	c #Conflicts:      45000 | #Constraints:     665368
465.99/467.57	c GLOBAL bounds - >= 0 @ 460.161
470.18/471.73	c GLOBAL bounds - >= 0 @ 464.285
470.68/472.24	c GLOBAL bounds - >= 0 @ 464.797
470.97/472.56	c GLOBAL bounds - >= 0 @ 465.107
472.27/473.84	c GLOBAL bounds - >= 0 @ 466.369
472.37/473.90	c GLOBAL bounds - >= 0 @ 466.424
475.75/477.38	c GLOBAL bounds - >= 0 @ 469.862
477.75/479.31	c GLOBAL bounds - >= 0 @ 471.777
527.89/529.61	c #Conflicts:      46000 | #Constraints:     666384
527.89/529.61	c INPROCESSING
527.89/529.61	c GARBAGE COLLECT
527.89/529.61	c #Conflicts:      47000 | #Constraints:     662974
527.89/529.61	c #Conflicts:      48000 | #Constraints:     663974
527.89/529.61	c #Conflicts:      49000 | #Constraints:     664974
527.89/529.61	c GLOBAL bounds - >= 0 @ 521.527
530.08/531.81	c GLOBAL bounds - >= 0 @ 523.708
570.75/572.60	c #Conflicts:      50000 | #Constraints:     665978
570.75/572.60	c #Conflicts:      51000 | #Constraints:     666978
570.75/572.60	c INPROCESSING
570.75/572.60	c GARBAGE COLLECT
570.75/572.60	c #Conflicts:      52000 | #Constraints:     663378
570.75/572.60	c GLOBAL bounds - >= 0 @ 564.047
573.54/575.44	c #Conflicts:      53000 | #Constraints:     664380
573.54/575.44	c GLOBAL bounds - >= 0 @ 566.856
573.54/575.50	c GLOBAL bounds - >= 0 @ 566.912
577.54/579.42	c GLOBAL bounds - >= 0 @ 570.78
577.83/579.77	c GLOBAL bounds - >= 0 @ 571.126
581.52/583.46	c GLOBAL bounds - >= 0 @ 574.777
582.22/584.19	c #Conflicts:      54000 | #Constraints:     665390
582.22/584.19	c GLOBAL bounds - >= 0 @ 575.504
588.30/590.23	c GLOBAL bounds - >= 0 @ 581.455
714.30/716.62	c #Conflicts:      55000 | #Constraints:     666394
714.30/716.62	c #Conflicts:      56000 | #Constraints:     667394
714.30/716.62	c INPROCESSING
714.30/716.62	c GARBAGE COLLECT
714.30/716.62	c #Conflicts:      57000 | #Constraints:     663592
714.30/716.62	c #Conflicts:      58000 | #Constraints:     664592
714.30/716.62	c #Conflicts:      59000 | #Constraints:     665592
714.30/716.62	c #Conflicts:      60000 | #Constraints:     666592
714.30/716.62	c #Conflicts:      61000 | #Constraints:     667592
714.30/716.62	c INPROCESSING
714.30/716.62	c GARBAGE COLLECT
714.30/716.62	c #Conflicts:      62000 | #Constraints:     663594
714.30/716.62	c #Conflicts:      63000 | #Constraints:     664594
714.30/716.62	c #Conflicts:      64000 | #Constraints:     665594
714.30/716.62	c GLOBAL bounds - >= 0 @ 706.483
714.30/716.69	c GLOBAL bounds - >= 0 @ 706.554
727.36/729.74	c #Conflicts:      65000 | #Constraints:     666598
727.36/729.74	c GLOBAL bounds - >= 0 @ 719.47
729.15/731.52	c GLOBAL bounds - >= 0 @ 721.239
779.59/782.10	c #Conflicts:      66000 | #Constraints:     667602
779.59/782.10	c INPROCESSING
779.59/782.10	c GARBAGE COLLECT
779.59/782.10	c #Conflicts:      67000 | #Constraints:     663406
779.59/782.10	c #Conflicts:      68000 | #Constraints:     664406
779.59/782.10	c #Conflicts:      69000 | #Constraints:     665406
779.59/782.10	c GLOBAL bounds - >= 0 @ 771.323
779.59/782.16	c GLOBAL bounds - >= 0 @ 771.373
782.38/784.97	c GLOBAL bounds - >= 0 @ 774.163
786.16/788.77	c GLOBAL bounds - >= 0 @ 777.927
795.24/797.89	c #Conflicts:      70000 | #Constraints:     666414
795.24/797.89	c GLOBAL bounds - >= 0 @ 786.959
818.76/821.41	c #Conflicts:      71000 | #Constraints:     667416
818.76/821.41	c #Conflicts:      72000 | #Constraints:     668416
818.76/821.41	c GLOBAL bounds - >= 0 @ 810.191
821.55/824.29	c INPROCESSING
821.55/824.29	c GARBAGE COLLECT
821.55/824.29	c GLOBAL bounds - >= 0 @ 813.026
825.53/828.20	c GLOBAL bounds - >= 0 @ 816.873
832.91/835.64	c #Conflicts:      73000 | #Constraints:     664014
832.91/835.64	c GLOBAL bounds - >= 0 @ 824.234
2529.04/2537.25	c #Conflicts:      74000 | #Constraints:     665016
2529.04/2537.25	c #Conflicts:      75000 | #Constraints:     666016
2529.04/2537.25	c #Conflicts:      76000 | #Constraints:     667016
2529.04/2537.25	c #Conflicts:      77000 | #Constraints:     668016
2529.04/2537.25	c #Conflicts:      78000 | #Constraints:     669016
2529.04/2537.25	c INPROCESSING
2529.04/2537.25	c GARBAGE COLLECT
2529.04/2537.25	c #Conflicts:      79000 | #Constraints:     664420
2529.04/2537.25	c #Conflicts:      80000 | #Constraints:     665420
2529.04/2537.25	c #Conflicts:      81000 | #Constraints:     666420
2529.04/2537.25	c #Conflicts:      82000 | #Constraints:     667420
2529.04/2537.25	c #Conflicts:      83000 | #Constraints:     668420
2529.04/2537.25	c #Conflicts:      84000 | #Constraints:     669420
2529.04/2537.25	c INPROCESSING
2529.04/2537.25	c GARBAGE COLLECT
2529.04/2537.25	c #Conflicts:      85000 | #Constraints:     664627
2529.04/2537.25	c #Conflicts:      86000 | #Constraints:     665627
2529.04/2537.25	c #Conflicts:      87000 | #Constraints:     666627
2529.04/2537.25	c #Conflicts:      88000 | #Constraints:     667627
2529.04/2537.25	c #Conflicts:      89000 | #Constraints:     668627
2529.04/2537.25	c #Conflicts:      90000 | #Constraints:     669627
2529.04/2537.25	c INPROCESSING
2529.04/2537.25	c GARBAGE COLLECT
2529.04/2537.25	c #Conflicts:      91000 | #Constraints:     664627
2529.04/2537.25	c #Conflicts:      92000 | #Constraints:     665627
2529.04/2537.25	c #Conflicts:      93000 | #Constraints:     666627
2529.04/2537.25	c #Conflicts:      94000 | #Constraints:     667627
2529.04/2537.25	c #Conflicts:      95000 | #Constraints:     668627
2529.04/2537.25	c #Conflicts:      96000 | #Constraints:     669627
2529.04/2537.25	c INPROCESSING
2529.04/2537.25	c GARBAGE COLLECT
2529.04/2537.25	c #Conflicts:      97000 | #Constraints:     664432
2529.04/2537.25	c #Conflicts:      98000 | #Constraints:     665432
2529.04/2537.25	c #Conflicts:      99000 | #Constraints:     666432
2529.04/2537.25	c #Conflicts:     100000 | #Constraints:     667432
2529.04/2537.25	c #Conflicts:     101000 | #Constraints:     668432
2529.04/2537.25	c #Conflicts:     102000 | #Constraints:     669432
2529.04/2537.25	c #Conflicts:     103000 | #Constraints:     670432
2529.04/2537.25	c INPROCESSING
2529.04/2537.25	c GARBAGE COLLECT
2529.04/2537.25	c #Conflicts:     104000 | #Constraints:     665033
2529.04/2537.25	c #Conflicts:     105000 | #Constraints:     666033
2529.04/2537.25	c #Conflicts:     106000 | #Constraints:     667033
2529.04/2537.25	c #Conflicts:     107000 | #Constraints:     668033
2529.04/2537.25	c #Conflicts:     108000 | #Constraints:     669033
2529.04/2537.25	c #Conflicts:     109000 | #Constraints:     670033
2529.04/2537.25	c #Conflicts:     110000 | #Constraints:     671033
2529.04/2537.25	c INPROCESSING
2529.04/2537.25	c GARBAGE COLLECT
2529.04/2537.25	c #Conflicts:     111000 | #Constraints:     665436
2529.04/2537.25	c #Conflicts:     112000 | #Constraints:     666436
2529.04/2537.25	c #Conflicts:     113000 | #Constraints:     667436
2529.04/2537.25	c #Conflicts:     114000 | #Constraints:     668436
2529.04/2537.25	c #Conflicts:     115000 | #Constraints:     669436
2529.04/2537.25	c #Conflicts:     116000 | #Constraints:     670436
2529.04/2537.25	c #Conflicts:     117000 | #Constraints:     671436
2529.04/2537.25	c INPROCESSING
2529.04/2537.25	c GARBAGE COLLECT
2529.04/2537.25	c #Conflicts:     118000 | #Constraints:     665638
2529.04/2537.25	c #Conflicts:     119000 | #Constraints:     666638
2529.04/2537.25	c #Conflicts:     120000 | #Constraints:     667638
2529.04/2537.25	c #Conflicts:     121000 | #Constraints:     668638
2529.04/2537.25	c #Conflicts:     122000 | #Constraints:     669638
2529.04/2537.25	c #Conflicts:     123000 | #Constraints:     670638
2529.04/2537.25	c #Conflicts:     124000 | #Constraints:     671638
2529.04/2537.25	c INPROCESSING
2529.04/2537.25	c GARBAGE COLLECT
2529.04/2537.25	c #Conflicts:     125000 | #Constraints:     665642
2529.04/2537.25	c #Conflicts:     126000 | #Constraints:     666642
2529.04/2537.25	c #Conflicts:     127000 | #Constraints:     667642
2529.04/2537.25	c #Conflicts:     128000 | #Constraints:     668642
2529.04/2537.25	c #Conflicts:     129000 | #Constraints:     669642
2529.04/2537.25	c #Conflicts:     130000 | #Constraints:     670642
2529.04/2537.25	c #Conflicts:     131000 | #Constraints:     671642
2529.04/2537.25	c INPROCESSING
2529.04/2537.25	c GARBAGE COLLECT
2529.04/2537.25	c #Conflicts:     132000 | #Constraints:     665436
2529.04/2537.25	c #Conflicts:     133000 | #Constraints:     666436
2529.04/2537.25	c #Conflicts:     134000 | #Constraints:     667436
2529.04/2537.25	c #Conflicts:     135000 | #Constraints:     668436
2529.04/2537.25	c #Conflicts:     136000 | #Constraints:     669436
2529.04/2537.25	c #Conflicts:     137000 | #Constraints:     670436
2529.04/2537.25	c #Conflicts:     138000 | #Constraints:     671436
2529.04/2537.25	c #Conflicts:     139000 | #Constraints:     672436
2529.04/2537.25	c INPROCESSING
2529.04/2537.25	c GARBAGE COLLECT
2529.04/2537.25	c #Conflicts:     140000 | #Constraints:     666045
2529.04/2537.25	c #Conflicts:     141000 | #Constraints:     667045
2529.04/2537.25	c #Conflicts:     142000 | #Constraints:     668045
2529.04/2537.25	c #Conflicts:     143000 | #Constraints:     669045
2529.04/2537.25	c #Conflicts:     144000 | #Constraints:     670045
2529.04/2537.25	c #Conflicts:     145000 | #Constraints:     671045
2529.04/2537.25	c #Conflicts:     146000 | #Constraints:     672045
3600.05/3611.30	c #Conflicts:     147000 | #Constraints:     673045
3600.05/3611.30	c INPROCESSING
3600.05/3611.30	c GARBAGE COLLECT
3600.05/3611.30	c #Conflicts:     148000 | #Constraints:     666446
3600.05/3611.30	c #Conflicts:     149000 | #Constraints:     667446
3600.05/3611.30	c #Conflicts:     150000 | #Constraints:     668446
3600.05/3611.30	c #Conflicts:     151000 | #Constraints:     669446
3600.05/3611.30	c #Conflicts:     152000 | #Constraints:     670446
3600.05/3611.30	c #Conflicts:     153000 | #Constraints:     671446
3600.05/3611.30	c #Conflicts:     154000 | #Constraints:     672446
3600.05/3611.30	c #Conflicts:     155000 | #Constraints:     673446
3600.05/3611.30	c INPROCESSING
3600.05/3611.30	c GARBAGE COLLECT
3600.05/3611.30	c #Conflicts:     156000 | #Constraints:     666646
3600.05/3611.30	c #Conflicts:     157000 | #Constraints:     667646
3600.05/3611.30	c #Conflicts:     158000 | #Constraints:     668646
3600.05/3611.30	c #Conflicts:     159000 | #Constraints:     669646
3600.05/3611.30	c #Conflicts:     160000 | #Constraints:     670646
3600.05/3611.30	c #Conflicts:     161000 | #Constraints:     671646
3600.05/3611.30	c #Conflicts:     162000 | #Constraints:     672646
3600.05/3611.30	c #Conflicts:     163000 | #Constraints:     673646
3600.05/3611.30	c INPROCESSING
3600.05/3611.30	c GARBAGE COLLECT
3600.05/3611.30	c #Conflicts:     164000 | #Constraints:     666649
3600.05/3611.30	c #Conflicts:     165000 | #Constraints:     667649
3600.05/3611.30	c #Conflicts:     166000 | #Constraints:     668649
3600.05/3611.30	c #Conflicts:     167000 | #Constraints:     669649
3600.05/3611.30	c #Conflicts:     168000 | #Constraints:     670649
3600.05/3611.30	c #Conflicts:     169000 | #Constraints:     671649
3600.05/3611.30	c #Conflicts:     170000 | #Constraints:     672649
3600.05/3611.30	c #Conflicts:     171000 | #Constraints:     673649
3600.05/3611.30	c INPROCESSING
3600.05/3611.30	c GARBAGE COLLECT
3600.05/3611.30	c #Conflicts:     172000 | #Constraints:     666446
3600.05/3611.30	c #Conflicts:     173000 | #Constraints:     667446
3600.05/3611.30	c #Conflicts:     174000 | #Constraints:     668446
3600.05/3611.30	c #Conflicts:     175000 | #Constraints:     669446
3600.05/3611.30	c #Conflicts:     176000 | #Constraints:     670446
3600.05/3611.30	c #Conflicts:     177000 | #Constraints:     671446
3600.05/3611.30	c #Conflicts:     178000 | #Constraints:     672446
3600.05/3611.30	c cpu time 3580.69 s
3600.05/3611.30	c deterministic time 1 1.00e+00
3600.05/3611.30	c optimization time 3578.26 s
3600.05/3611.30	c total solve time 0 s
3600.05/3611.30	c core-guided solve time 0 s
3600.05/3611.30	c propagation time 0.217569 s
3600.05/3611.30	c conflict analysis time 0 s
3600.05/3611.30	c propagations 0
3600.05/3611.30	c resolve steps 0
3600.05/3611.30	c decisions 0
3600.05/3611.30	c conflicts 0
3600.05/3611.30	c restarts 0
3600.05/3611.30	c inprocessing phases 0
3600.05/3611.30	c garbage collections 0 ,( -nan )
3600.05/3611.30	c input clauses 656900 ,( 100.00 )
3600.05/3611.30	c input cardinalities 0 ,( 0.00 )
3600.05/3611.30	c input general constraints 0 ,( 0.00 )
3600.05/3611.30	c input average constraint length 2.03
3600.05/3611.30	c input average constraint degree 1.00
3600.05/3611.30	c learned clauses 0 ,( 0.00 )
3600.05/3611.30	c learned cardinalities 0 ,( 0.00 )
3600.05/3611.30	c learned general constraints 0 ,( 0.00 )
3600.05/3611.30	c learned average constraint length 0.00
3600.05/3611.30	c learned average constraint degree 0.00
3600.05/3611.30	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.05/3611.30	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.05/3611.30	c watched   constraints 0 ,( -nan ) 
3600.05/3611.30	c counting  constraints 0 ,( -nan ) 
3600.05/3611.30	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.05/3611.30	c gcd simplifications 0
3600.05/3611.30	c detected cardinalities 0
3600.05/3611.30	c weakened non-implied lits 0
3600.05/3611.30	c weakened non-implying lits 0
3600.05/3611.30	c original variables 10000
3600.05/3611.30	c clausal propagations 0
3600.05/3611.30	c cardinality propagations 0
3600.05/3611.30	c watched propagations 0
3600.05/3611.30	c counting propagations 0
3600.05/3611.30	c watch lookups 0
3600.05/3611.30	c watch backjump lookups 0
3600.05/3611.30	c watch checks 0
3600.05/3611.30	c propagation checks 0
3600.05/3611.30	c constraint additions 0
3600.05/3611.30	c trail pops 0
3600.05/3611.30	c formula constraints 656900
3600.05/3611.30	c learned constraints 0
3600.05/3611.30	c bound constraints 0
3600.05/3611.30	c core-guided constraints 0
3600.05/3611.30	c encountered formula constraints 0
3600.05/3611.30	c encountered learned constraints 0
3600.05/3611.30	c encountered bound constraints 0
3600.05/3611.30	c encountered core-guided constraints 0
3600.05/3611.30	c LP total time 0 s
3600.05/3611.30	c LP solve time 0 s
3600.05/3611.30	c LP constraints added 0
3600.05/3611.30	c LP constraints removed 0
3600.05/3611.30	c LP pivots internal 0
3600.05/3611.30	c LP pivots root 0
3600.05/3611.30	c LP calls 0
3600.05/3611.30	c LP optimalities 0
3600.05/3611.30	c LP no pivot count 0
3600.05/3611.30	c LP infeasibilities 0
3600.05/3611.30	c LP valid Farkas constraints 0
3600.05/3611.30	c LP learned Farkas constraints 0
3600.05/3611.30	c LP basis resets 0
3600.05/3611.30	c LP cycling count 0
3600.05/3611.30	c LP singular count 0
3600.05/3611.30	c LP no primal count 0
3600.05/3611.30	c LP no farkas count 0
3600.05/3611.30	c LP other issue count 0
3600.05/3611.30	c LP Gomory cuts 0
3600.05/3611.30	c LP learned cuts 0
3600.05/3611.30	c LP deleted cuts 0
3600.05/3611.30	c LP encountered Gomory constraints 0
3600.05/3611.30	c LP encountered Farkas constraints 0
3600.05/3611.30	c LP encountered learned Farkas constraints 0
3600.05/3611.30	c CG auxiliary variables introduced 0
3600.05/3611.30	c CG solutions found 0
3600.05/3611.30	c CG cores constructed 0
3600.05/3611.30	c CG core cardinality constraints returned 0
3600.05/3611.30	c CG unit cores 0
3600.05/3611.30	c CG single cores 0
3600.05/3611.30	c CG blocks removed during cardinality reduction 0
3600.05/3611.30	c CG first core best 0
3600.05/3611.30	c CG decision core best 0
3600.05/3611.30	c CG core reduction tie 0
3600.05/3611.30	c CG core degree average 0.00
3600.05/3611.30	c CG core slack average 0.00
3600.05/3611.30	c CG core upper bound improvements 0
3600.05/3611.30	c STR number of successful calls 0
3600.05/3611.30	c STR number of unsuccessful calls 0
3600.05/3611.30	c STR number of inconclusive calls 0
3600.05/3611.30	c STR number of successful attempts 0
3600.05/3611.30	c STR number of unsuccessful attempts 0
3600.05/3611.30	c STR number of inconclusive attempts 0
3600.05/3611.30	c STR average degree increase per successful call inf
3600.05/3611.30	c STR average degree increase per successful attempt inf
3600.05/3611.30	c STR total number of conflicts for successful attempts 0
3600.05/3611.30	c STR total number of conflicts for unsuccessful attempts 0
3600.05/3611.30	c STR total number of conflicts for inconclusive attempts 0
3600.05/3611.30	c STR average number of conflicts per successful attempt inf
3600.05/3611.30	c STR average number of conflicts per unsuccessful attempt inf
3600.05/3611.30	c STR average number of conflicts per inconclusive attempt inf
3600.05/3611.30	c AVG.sumWPerc -nan 
3600.05/3611.30	c bigint constraints 0 
3600.05/3611.30	s UNKNOWN
3600.05/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 (63577 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Current StackSize limit: 8192 KiB

solver pid=52243, runsolver pid=52228

[startup+0.100058 s]*
/proc/loadavg: 0.62 1.02 1.84 5/269 52250
/proc/meminfo: memFree=128986788/131250000 swapFree=33010684/33010684
[pid=52243] ppid=52228 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/52243/stat : 52243 (run-opt-log.sh) S 52228 52243 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51854954 4292608 736 18446744073709551615 94320522366976 94320523261509 140735808530656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94320523500560 94320523548304 94320555192320 140735808538913 140735808539108 140735808539108 140735808544710 0
/proc/52243/statm: 1048 736 672 219 0 110 0
[pid=52245] ppid=52243 vsize=60208 memory=15380 CPUtime=0.07 cores=5,7
/proc/52245/stat : 52245 (roundingsat) R 52243 52243 52176 0 -1 4194304 2012 0 0 0 5 2 0 0 20 0 1 0 51854956 61652992 3845 18446744073709551615 4227072 8923433 140734725218432 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39383040 140734725224786 140734725225000 140734725225000 140734725230570 0
/proc/52245/statm: 15052 3845 1952 1147 0 2479 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 64400 KiB
Current children cumulated memory: 18324 KiB

[startup+0.205476 s]*
/proc/loadavg: 0.62 1.02 1.84 5/269 52250
/proc/meminfo: memFree=128976960/131250000 swapFree=33010684/33010684
[pid=52243] ppid=52228 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/52243/stat : 52243 (run-opt-log.sh) S 52228 52243 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51854954 4292608 736 18446744073709551615 94320522366976 94320523261509 140735808530656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94320523500560 94320523548304 94320555192320 140735808538913 140735808539108 140735808539108 140735808544710 0
/proc/52243/statm: 1048 736 672 219 0 110 0
[pid=52245] ppid=52243 vsize=63544 memory=20872 CPUtime=0.17 cores=5,7
/proc/52245/stat : 52245 (roundingsat) R 52243 52243 52176 0 -1 4194304 2856 0 0 0 12 5 0 0 20 0 1 0 51854956 65069056 5218 18446744073709551615 4227072 8923433 140734725218432 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39383040 140734725224786 140734725225000 140734725225000 140734725230570 0
/proc/52245/statm: 15886 5218 1952 1147 0 3313 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 67736 KiB
Current children cumulated memory: 23816 KiB

[startup+0.305443 s]*
/proc/loadavg: 0.62 1.02 1.84 5/269 52250
/proc/meminfo: memFree=128960808/131250000 swapFree=33010684/33010684
[pid=52243] ppid=52228 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/52243/stat : 52243 (run-opt-log.sh) S 52228 52243 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51854954 4292608 736 18446744073709551615 94320522366976 94320523261509 140735808530656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94320523500560 94320523548304 94320555192320 140735808538913 140735808539108 140735808539108 140735808544710 0
/proc/52243/statm: 1048 736 672 219 0 110 0
[pid=52245] ppid=52243 vsize=68380 memory=25352 CPUtime=0.27 cores=5,7
/proc/52245/stat : 52245 (roundingsat) R 52243 52243 52176 0 -1 4194304 3981 0 0 0 20 7 0 0 20 0 1 0 51854956 70021120 6338 18446744073709551615 4227072 8923433 140734725218432 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39383040 140734725224786 140734725225000 140734725225000 140734725230570 0
/proc/52245/statm: 17095 6338 1952 1147 0 4522 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 72572 KiB
Current children cumulated memory: 28296 KiB

[startup+0.700183 s]
/proc/loadavg: 0.62 1.02 1.84 5/269 52250
/proc/meminfo: memFree=128916960/131250000 swapFree=33010684/33010684
[pid=52243] ppid=52228 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/52243/stat : 52243 (run-opt-log.sh) S 52228 52243 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51854954 4292608 736 18446744073709551615 94320522366976 94320523261509 140735808530656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94320523500560 94320523548304 94320555192320 140735808538913 140735808539108 140735808539108 140735808544710 0
/proc/52243/statm: 1048 736 672 219 0 110 0
[pid=52245] ppid=52243 vsize=89260 memory=44268 CPUtime=0.66 cores=5,7
/proc/52245/stat : 52245 (roundingsat) R 52243 52243 52176 0 -1 4194304 9284 0 0 0 47 19 0 0 20 0 1 0 51854956 91402240 11067 18446744073709551615 4227072 8923433 140734725218432 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39383040 140734725224786 140734725225000 140734725225000 140734725230570 0
/proc/52245/statm: 22315 11067 1952 1147 0 9742 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 93452 KiB
Current children cumulated memory: 47212 KiB

[startup+1.50018 s]
/proc/loadavg: 0.62 1.02 1.84 5/269 52250
/proc/meminfo: memFree=128827624/131250000 swapFree=33010684/33010684
[pid=52243] ppid=52228 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/52243/stat : 52243 (run-opt-log.sh) S 52228 52243 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51854954 4292608 736 18446744073709551615 94320522366976 94320523261509 140735808530656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94320523500560 94320523548304 94320555192320 140735808538913 140735808539108 140735808539108 140735808544710 0
/proc/52243/statm: 1048 736 672 219 0 110 0
[pid=52245] ppid=52243 vsize=135688 memory=83584 CPUtime=1.46 cores=5,7
/proc/52245/stat : 52245 (roundingsat) R 52243 52243 52176 0 -1 4194304 18193 0 0 0 108 38 0 0 20 0 1 0 51854956 138944512 20896 18446744073709551615 4227072 8923433 140734725218432 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39383040 140734725224786 140734725225000 140734725225000 140734725230570 0
/proc/52245/statm: 33922 20896 1952 1147 0 21349 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 139880 KiB
Current children cumulated memory: 86528 KiB

[startup+3.10547 s]
/proc/loadavg: 0.62 1.02 1.84 5/269 52250
/proc/meminfo: memFree=126577488/131250000 swapFree=33010684/33010684
[pid=52243] ppid=52228 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/52243/stat : 52243 (run-opt-log.sh) S 52228 52243 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51854954 4292608 736 18446744073709551615 94320522366976 94320523261509 140735808530656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94320523500560 94320523548304 94320555192320 140735808538913 140735808539108 140735808539108 140735808544710 0
/proc/52243/statm: 1048 736 672 219 0 110 0
[pid=52245] ppid=52243 vsize=767312 memory=510704 CPUtime=3.06 cores=5,7
/proc/52245/stat : 52245 (roundingsat) R 52243 52243 52176 0 -1 4194304 43155 0 0 0 240 66 0 0 20 0 1 0 51854956 785727488 127676 18446744073709551615 4227072 8923433 140734725218432 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39383040 140734725224786 140734725225000 140734725225000 140734725230570 0
/proc/52245/statm: 191828 127676 2272 1147 0 179255 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 771504 KiB
Current children cumulated memory: 513648 KiB

[startup+6.3002 s]
/proc/loadavg: 0.89 1.07 1.85 5/269 52250
/proc/meminfo: memFree=124980504/131250000 swapFree=33010684/33010684
[pid=52243] ppid=52228 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/52243/stat : 52243 (run-opt-log.sh) S 52228 52243 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51854954 4292608 736 18446744073709551615 94320522366976 94320523261509 140735808530656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94320523500560 94320523548304 94320555192320 140735808538913 140735808539108 140735808539108 140735808544710 0
/proc/52243/statm: 1048 736 672 219 0 110 0
[pid=52245] ppid=52243 vsize=1222672 memory=958600 CPUtime=6.24 cores=5,7
/proc/52245/stat : 52245 (roundingsat) R 52243 52243 52176 0 -1 4194304 138391 0 0 0 486 138 0 0 20 0 1 0 51854956 1252016128 239650 18446744073709551615 4227072 8923433 140734725218432 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39383040 140734725224786 140734725225000 140734725225000 140734725230570 0
/proc/52245/statm: 305668 239650 2368 1147 0 293095 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1226864 KiB
Current children cumulated memory: 961544 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=52243] ppid=52228 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/52243/stat : 52243 (run-opt-log.sh) S 52228 52243 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51854954 4292608 736 18446744073709551615 94320522366976 94320523261509 140735808530656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94320523500560 94320523548304 94320555192320 140735808538913 140735808539108 140735808539108 140735808544710 0
/proc/52243/statm: 1048 736 672 219 0 110 0
[pid=52245] ppid=52243 vsize=1253492 memory=1001608 CPUtime=12.62 cores=5,7
/proc/52245/stat : 52245 (roundingsat) R 52243 52243 52176 0 -1 4194304 138927 0 0 0 1092 170 0 0 20 0 1 0 51854956 1283575808 250402 18446744073709551615 4227072 8923433 140734725218432 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39383040 140734725224786 140734725225000 140734725225000 140734725230570 0
/proc/52245/statm: 313373 250402 2368 1147 0 300800 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 1257684 KiB
Current children cumulated memory: 1004552 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=52243] ppid=52228 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/52243/stat : 52243 (run-opt-log.sh) S 52228 52243 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51854954 4292608 736 18446744073709551615 94320522366976 94320523261509 140735808530656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94320523500560 94320523548304 94320555192320 140735808538913 140735808539108 140735808539108 140735808544710 0
/proc/52243/statm: 1048 736 672 219 0 110 0
[pid=52245] ppid=52243 vsize=1467508 memory=1153260 CPUtime=25.38 cores=5,7
/proc/52245/stat : 52245 (roundingsat) R 52243 52243 52176 0 -1 4194304 155940 0 0 0 2329 209 0 0 20 0 1 0 51854956 1502728192 288315 18446744073709551615 4227072 8923433 140734725218432 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39383040 140734725224786 140734725225000 140734725225000 140734725230570 0
/proc/52245/statm: 366877 288315 2368 1147 0 354304 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1471700 KiB
Current children cumulated memory: 1156204 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=52243] ppid=52228 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/52243/stat : 52243 (run-opt-log.sh) S 52228 52243 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51854954 4292608 736 18446744073709551615 94320522366976 94320523261509 140735808530656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94320523500560 94320523548304 94320555192320 140735808538913 140735808539108 140735808539108 140735808544710 0
/proc/52243/statm: 1048 736 672 219 0 110 0
[pid=52245] ppid=52243 vsize=1537100 memory=1247132 CPUtime=50.91 cores=5,7
/proc/52245/stat : 52245 (roundingsat) R 52243 52243 52176 0 -1 4194304 169217 0 0 0 4846 245 0 0 20 0 1 0 51854956 1573990400 311783 18446744073709551615 4227072 8923433 140734725218432 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39383040 140734725224786 140734725225000 140734725225000 140734725230570 0
/proc/52245/statm: 384275 311783 2368 1147 0 371702 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 1541292 KiB
Current children cumulated memory: 1250076 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=52243] ppid=52228 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/52243/stat : 52243 (run-opt-log.sh) S 52228 52243 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51854954 4292608 736 18446744073709551615 94320522366976 94320523261509 140735808530656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94320523500560 94320523548304 94320555192320 140735808538913 140735808539108 140735808539108 140735808544710 0
/proc/52243/statm: 1048 736 672 219 0 110 0
[pid=52245] ppid=52243 vsize=1984836 memory=1549932 CPUtime=101.95 cores=5,7
/proc/52245/stat : 52245 (roundingsat) R 52243 52243 52176 0 -1 4194304 225494 0 0 0 9877 318 0 0 20 0 1 0 51854956 2032472064 387483 18446744073709551615 4227072 8923433 140734725218432 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39383040 140734725224786 140734725225000 140734725225000 140734725230570 0
/proc/52245/statm: 496209 387483 2368 1147 0 483636 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 1989028 KiB
Current children cumulated memory: 1552876 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=52243] ppid=52228 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/52243/stat : 52243 (run-opt-log.sh) S 52228 52243 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51854954 4292608 736 18446744073709551615 94320522366976 94320523261509 140735808530656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94320523500560 94320523548304 94320555192320 140735808538913 140735808539108 140735808539108 140735808544710 0
/proc/52243/statm: 1048 736 672 219 0 110 0
[pid=52245] ppid=52243 vsize=2089172 memory=1688332 CPUtime=161.76 cores=5,7
/proc/52245/stat : 52245 (roundingsat) R 52243 52243 52176 0 -1 4194304 246327 0 0 0 15797 379 0 0 20 0 1 0 51854956 2139312128 422083 18446744073709551615 4227072 8923433 140734725218432 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39383040 140734725224786 140734725225000 140734725225000 140734725230570 0
/proc/52245/statm: 522293 422083 2368 1147 0 509720 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 2093364 KiB
Current children cumulated memory: 1691276 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=52243] ppid=52228 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/52243/stat : 52243 (run-opt-log.sh) S 52228 52243 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51854954 4292608 736 18446744073709551615 94320522366976 94320523261509 140735808530656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94320523500560 94320523548304 94320555192320 140735808538913 140735808539108 140735808539108 140735808544710 0
/proc/52243/statm: 1048 736 672 219 0 110 0
[pid=52245] ppid=52243 vsize=2164328 memory=1799392 CPUtime=221.56 cores=5,7
/proc/52245/stat : 52245 (roundingsat) R 52243 52243 52176 0 -1 4194304 262387 0 0 0 21727 429 0 0 20 0 1 0 51854956 2216271872 449848 18446744073709551615 4227072 8923433 140734725218432 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39383040 140734725224786 140734725225000 140734725225000 140734725230570 0
/proc/52245/statm: 541082 449848 2368 1147 0 528509 0

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

Current children cumulated memory: 3086948 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=52243] ppid=52228 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/52243/stat : 52243 (run-opt-log.sh) S 52228 52243 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51854954 4292608 736 18446744073709551615 94320522366976 94320523261509 140735808530656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94320523500560 94320523548304 94320555192320 140735808538913 140735808539108 140735808539108 140735808544710 0
/proc/52243/statm: 1048 736 672 219 0 110 0
[pid=52245] ppid=52243 vsize=3770428 memory=3091300 CPUtime=3331.83 cores=5,7
/proc/52245/stat : 52245 (roundingsat) R 52243 52243 52176 0 -1 4194304 476365 0 0 0 331328 1855 0 0 20 0 1 0 51854956 3860918272 772825 18446744073709551615 4227072 8923433 140734725218432 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39383040 140734725224786 140734725225000 140734725225000 140734725230570 0
/proc/52245/statm: 942607 772825 2368 1147 0 930034 0
Current children cumulated CPU time: 3331.83 s
Current children cumulated vsize: 3774620 KiB
Current children cumulated memory: 3094244 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=52243] ppid=52228 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/52243/stat : 52243 (run-opt-log.sh) S 52228 52243 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51854954 4292608 736 18446744073709551615 94320522366976 94320523261509 140735808530656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94320523500560 94320523548304 94320555192320 140735808538913 140735808539108 140735808539108 140735808544710 0
/proc/52243/statm: 1048 736 672 219 0 110 0
[pid=52245] ppid=52243 vsize=3770688 memory=3105892 CPUtime=3391.66 cores=5,7
/proc/52245/stat : 52245 (roundingsat) R 52243 52243 52176 0 -1 4194304 477132 0 0 0 337292 1874 0 0 20 0 1 0 51854956 3861184512 776473 18446744073709551615 4227072 8923433 140734725218432 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39383040 140734725224786 140734725225000 140734725225000 140734725230570 0
/proc/52245/statm: 942672 776473 2368 1147 0 930099 0
Current children cumulated CPU time: 3391.66 s
Current children cumulated vsize: 3774880 KiB
Current children cumulated memory: 3108836 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=52243] ppid=52228 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/52243/stat : 52243 (run-opt-log.sh) S 52228 52243 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51854954 4292608 736 18446744073709551615 94320522366976 94320523261509 140735808530656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94320523500560 94320523548304 94320555192320 140735808538913 140735808539108 140735808539108 140735808544710 0
/proc/52243/statm: 1048 736 672 219 0 110 0
[pid=52245] ppid=52243 vsize=3770688 memory=3120612 CPUtime=3451.48 cores=5,7
/proc/52245/stat : 52245 (roundingsat) R 52243 52243 52176 0 -1 4194304 477136 0 0 0 343253 1895 0 0 20 0 1 0 51854956 3861184512 780153 18446744073709551615 4227072 8923433 140734725218432 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39383040 140734725224786 140734725225000 140734725225000 140734725230570 0
/proc/52245/statm: 942672 780153 2368 1147 0 930099 0
Current children cumulated CPU time: 3451.48 s
Current children cumulated vsize: 3774880 KiB
Current children cumulated memory: 3123556 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=52243] ppid=52228 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/52243/stat : 52243 (run-opt-log.sh) S 52228 52243 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51854954 4292608 736 18446744073709551615 94320522366976 94320523261509 140735808530656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94320523500560 94320523548304 94320555192320 140735808538913 140735808539108 140735808539108 140735808544710 0
/proc/52243/statm: 1048 736 672 219 0 110 0
[pid=52245] ppid=52243 vsize=3770688 memory=3136740 CPUtime=3511.31 cores=5,7
/proc/52245/stat : 52245 (roundingsat) R 52243 52243 52176 0 -1 4194304 477138 0 0 0 349218 1913 0 0 20 0 1 0 51854956 3861184512 784185 18446744073709551615 4227072 8923433 140734725218432 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39383040 140734725224786 140734725225000 140734725225000 140734725230570 0
/proc/52245/statm: 942672 784185 2368 1147 0 930099 0
Current children cumulated CPU time: 3511.31 s
Current children cumulated vsize: 3774880 KiB
Current children cumulated memory: 3139684 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=52243] ppid=52228 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/52243/stat : 52243 (run-opt-log.sh) S 52228 52243 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51854954 4292608 736 18446744073709551615 94320522366976 94320523261509 140735808530656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94320523500560 94320523548304 94320555192320 140735808538913 140735808539108 140735808539108 140735808544710 0
/proc/52243/statm: 1048 736 672 219 0 110 0
[pid=52245] ppid=52243 vsize=3770688 memory=3159908 CPUtime=3571.13 cores=5,7
/proc/52245/stat : 52245 (roundingsat) R 52243 52243 52176 0 -1 4194304 477990 0 0 0 355183 1930 0 0 20 0 1 0 51854956 3861184512 789977 18446744073709551615 4227072 8923433 140734725218432 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39383040 140734725224786 140734725225000 140734725225000 140734725230570 0
/proc/52245/statm: 942672 789977 2368 1147 0 930099 0
Current children cumulated CPU time: 3571.13 s
Current children cumulated vsize: 3774880 KiB
Current children cumulated memory: 3162852 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=32526916/131250000 swapFree=33010684/33010684
[pid=52243] ppid=52228 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/52243/stat : 52243 (run-opt-log.sh) S 52228 52243 52176 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 51854954 4292608 736 18446744073709551615 94320522366976 94320523261509 140735808530656 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94320523500560 94320523548304 94320555192320 140735808538913 140735808539108 140735808539108 140735808544710 0
/proc/52243/statm: 1048 736 672 219 0 110 0
[pid=52245] ppid=52243 vsize=3770688 memory=3174628 CPUtime=3600.05 cores=5,7
/proc/52245/stat : 52245 (roundingsat) R 52243 52243 52176 0 -1 4194304 478007 0 0 0 358068 1937 0 0 20 0 1 0 51854956 3861184512 793657 18446744073709551615 4227072 8923433 140734725218432 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39383040 140734725224786 140734725225000 140734725225000 140734725230570 0
/proc/52245/statm: 942672 793657 2368 1147 0 930099 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 3774880 KiB
Current children cumulated memory: 3177572 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.000734 s, system=0.002203 s

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 4/258 52511
/proc/meminfo: memFree=34999108/131250000 swapFree=33010684/33010684
[pid=52245] ppid=52228 vsize=3770688 memory=3174884 CPUtime=3600.35 cores=5,7
/proc/52245/stat : 52245 (roundingsat) R 52228 52243 52176 0 -1 4194304 478013 0 0 0 358069 1966 0 0 20 0 1 0 51854956 3861184512 793721 18446744073709551615 4227072 8923433 140734725218432 0 0 256 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39383040 140734725224786 140734725225000 140734725225000 140734725230570 9
/proc/52245/statm: 942672 793721 2432 1147 0 930099 0
??? kill 52245 sig 9
??? end of watcher thread

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

# cumulated CPU time of all completed processes:  user=3580.71 s, system=19.7992 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 1/265 52467
/proc/meminfo: memFree=32457920/131250000 swapFree=33010684/33010684
[pid=52245] ppid=52228 vsize=3770688 memory=3174884 CPUtime=3600.3 cores=5,7
/proc/52245/stat : 52245 (roundingsat) D 52228 52243 52176 0 -1 4194304 478013 0 0 0 358069 1961 0 0 20 0 1 0 51854956 3861184512 793721 18446744073709551615 4227072 8923433 140734725218432 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 39383040 140734725224786 140734725225000 140734725225000 140734725230570 0
/proc/52245/statm: 942672 793721 2432 1147 0 930099 0
Current cumulated CPU time of completed processes: 0.002937 s
Current children cumulated CPU time: 3600.3 s
Current children cumulated vsize: 3770688 KiB
Current children cumulated memory: 3174884 KiB

[startup+3612.8 s]
/proc/loadavg: 4.22 4.13 4.07 1/265 52467
/proc/meminfo: memFree=32457920/131250000 swapFree=33010684/33010684
[pid=52245] ppid=52228 vsize=3770688 memory=3174884 CPUtime=3600.33 cores=5,7
/proc/52245/stat : 52245 (roundingsat) D 52228 52243 52176 0 -1 4194304 478013 0 0 0 358069 1964 0 0 20 0 1 0 51854956 3861184512 793721 18446744073709551615 4227072 8923433 140734725218432 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 39383040 140734725224786 140734725225000 140734725225000 140734725230570 0
/proc/52245/statm: 942672 793721 2432 1147 0 930099 0
Current cumulated CPU time of completed processes: 0.002937 s
Current children cumulated CPU time: 3600.33 s
Current children cumulated vsize: 3770688 KiB
Current children cumulated memory: 3174884 KiB

[startup+3613.2 s]
/proc/loadavg: 4.22 4.13 4.07 1/261 52499
/proc/meminfo: memFree=34992876/131250000 swapFree=33010684/33010684
[pid=52245] ppid=52228 vsize=3770688 memory=3174884 CPUtime=3600.34 cores=5,7
/proc/52245/stat : 52245 (roundingsat) D 52228 52243 52176 0 -1 4194304 478013 0 0 0 358069 1965 0 0 20 0 1 0 51854956 3861184512 793721 18446744073709551615 4227072 8923433 140734725218432 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 39383040 140734725224786 140734725225000 140734725225000 140734725230570 0
/proc/52245/statm: 942672 793721 2432 1147 0 930099 0
Current cumulated CPU time of completed processes: 0.002937 s
Current children cumulated CPU time: 3600.34 s
Current children cumulated vsize: 3770688 KiB
Current children cumulated memory: 3174884 KiB

[startup+3613.3 s]
/proc/loadavg: 4.22 4.13 4.07 1/261 52499
/proc/meminfo: memFree=34992876/131250000 swapFree=33010684/33010684
[pid=52245] ppid=52228 vsize=3770688 memory=3174884 CPUtime=3600.35 cores=5,7
/proc/52245/stat : 52245 (roundingsat) D 52228 52243 52176 0 -1 4194304 478013 0 0 0 358069 1966 0 0 20 0 1 0 51854956 3861184512 793721 18446744073709551615 4227072 8923433 140734725218432 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 39383040 140734725224786 140734725225000 140734725225000 140734725230570 0
/proc/52245/statm: 942672 793721 2432 1147 0 930099 0
Current cumulated CPU time of completed processes: 0.002937 s
Current children cumulated CPU time: 3600.35 s
Current children cumulated vsize: 3770688 KiB
Current children cumulated memory: 3174884 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3616.2
CPU time (s): 3600.51
CPU user time (s): 3580.71
CPU system time (s): 19.7992
CPU usage (%): 99.5662
Max. virtual memory (cumulated for all children) (KiB): 3774880
Max. memory (cumulated for all children) (KiB): 3177572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.71
system time used= 19.7992
maximum resident set size= 3174884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 478222
page faults= 0
swaps= 0
block input operations= 0
block output operations= 41591368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45342
involuntary context switches= 4849


# summary of solver processes directly reported to runsolver:
#   pid: 52243,52245
#   total CPU time (s): 3600.51
#   total CPU user time (s): 3580.71
#   total CPU system time (s): 19.7992

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.14915 second user time and 17.1814 second system time

The end

Launcher Data 

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

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

MD5SUM BENCH= fd0e2798224bd891f728fecfed3c6d1b
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		: 3599.596
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		: 3600.109
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.249
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		: 3607.608
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.337
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.132
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.056
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		: 3606.628
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:   129735160 kB
Buffers:            3280 kB
Cached:          1541444 kB
SwapCached:            0 kB
Active:           335064 kB
Inactive:        1284380 kB
Active(anon):      93112 kB
Inactive(anon):        0 kB
Active(file):     241952 kB
Inactive(file):  1284380 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             95572 kB
Writeback:             8 kB
AnonPages:         78492 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:     341720 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= 432916 MiB
End job on nodeC014 at 2025-07-01 12:23:20