Trace number 4489506

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat-ihs 63f22ad? (TO) 3600.23 3611.43

General information on the benchmark

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

Solver Data 

0.00/0.03	c RoundingSat 2
0.00/0.03	c branch pb25
0.00/0.03	c commit 63f22ad
3.45/3.53	c #variables 10000 #constraints 656900
3.45/3.53	c objective is ce32 
4.85/4.91	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
4.85/4.91	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
4.85/4.91	c GLOBAL bounds - >= 0 @ 3.36408
5.06/5.16	c GLOBAL bounds - >= 0 @ 3.59525
5.06/5.17	c GLOBAL bounds - >= 0 @ 3.60211
5.06/5.18	c GLOBAL bounds - >= 0 @ 3.61052
5.06/5.18	c GLOBAL bounds - >= 0 @ 3.61478
5.06/5.19	c GLOBAL bounds - >= 0 @ 3.62193
5.14/5.20	c GLOBAL bounds - >= 0 @ 3.62919
5.14/5.21	c GLOBAL bounds - >= 0 @ 3.63873
5.14/5.22	c GLOBAL bounds - >= 0 @ 3.64383
5.14/5.23	c GLOBAL bounds - >= 0 @ 3.65231
5.14/5.24	c GLOBAL bounds - >= 0 @ 3.65896
5.14/5.26	c GLOBAL bounds - >= 0 @ 3.67136
5.14/5.26	c GLOBAL bounds - >= 0 @ 3.67863
5.14/5.28	c GLOBAL bounds - >= 0 @ 3.6936
5.14/5.29	c GLOBAL bounds - >= 0 @ 3.70655
5.25/5.31	c GLOBAL bounds - >= 0 @ 3.72186
5.25/5.32	c GLOBAL bounds - >= 0 @ 3.73498
5.25/5.33	c GLOBAL bounds - >= 0 @ 3.74366
5.25/5.34	c GLOBAL bounds - >= 0 @ 3.75201
5.25/5.35	c GLOBAL bounds - >= 0 @ 3.7609
5.25/5.36	c GLOBAL bounds - >= 0 @ 3.76965
5.25/5.37	c GLOBAL bounds - >= 0 @ 3.77851
5.25/5.38	c GLOBAL bounds - >= 0 @ 3.79006
5.34/5.41	c GLOBAL bounds - >= 0 @ 3.81706
5.34/5.42	c GLOBAL bounds - >= 0 @ 3.82434
5.34/5.42	c GLOBAL bounds - >= 0 @ 3.82947
5.34/5.49	c GLOBAL bounds - >= 0 @ 3.89145
5.45/5.51	c GLOBAL bounds - >= 0 @ 3.90764
5.55/5.66	c GLOBAL bounds - >= 0 @ 4.05591
5.55/5.67	c GLOBAL bounds - >= 0 @ 4.06766
5.55/5.69	c GLOBAL bounds - >= 0 @ 4.08868
5.64/5.73	c GLOBAL bounds - >= 0 @ 4.12584
5.64/5.75	c GLOBAL bounds - >= 0 @ 4.14879
5.64/5.76	c GLOBAL bounds - >= 0 @ 4.15683
5.64/5.77	c GLOBAL bounds - >= 0 @ 4.16387
5.64/5.78	c GLOBAL bounds - >= 0 @ 4.1754
5.64/5.79	c GLOBAL bounds - >= 0 @ 4.18505
5.74/5.80	c GLOBAL bounds - >= 0 @ 4.19261
5.74/5.81	c GLOBAL bounds - >= 0 @ 4.20137
5.74/5.82	c GLOBAL bounds - >= 0 @ 4.21575
5.74/5.83	c GLOBAL bounds - >= 0 @ 4.22548
5.74/5.86	c GLOBAL bounds - >= 0 @ 4.24806
5.74/5.89	c GLOBAL bounds - >= 0 @ 4.27721
5.74/5.89	c GLOBAL bounds - >= 0 @ 4.28233
5.84/5.90	c GLOBAL bounds - >= 0 @ 4.29148
5.84/5.92	c GLOBAL bounds - >= 0 @ 4.30047
5.84/5.93	c GLOBAL bounds - >= 0 @ 4.31112
5.84/5.97	c GLOBAL bounds - >= 0 @ 4.35043
5.84/5.98	c GLOBAL bounds - >= 0 @ 4.36262
5.84/5.99	c GLOBAL bounds - >= 0 @ 4.37277
5.84/6.00	c GLOBAL bounds - >= 0 @ 4.37753
5.95/6.01	c GLOBAL bounds - >= 0 @ 4.38643
5.95/6.02	c GLOBAL bounds - >= 0 @ 4.39498
5.95/6.03	c GLOBAL bounds - >= 0 @ 4.40273
5.95/6.05	c GLOBAL bounds - >= 0 @ 4.42157
5.95/6.06	c GLOBAL bounds - >= 0 @ 4.43643
5.95/6.08	c GLOBAL bounds - >= 0 @ 4.44714
5.95/6.09	c GLOBAL bounds - >= 0 @ 4.46268
5.95/6.10	c GLOBAL bounds - >= 0 @ 4.469
5.95/6.11	c GLOBAL bounds - >= 0 @ 4.47651
6.06/6.12	c GLOBAL bounds - >= 0 @ 4.48791
6.06/6.12	c GLOBAL bounds - >= 0 @ 4.49416
6.06/6.13	c GLOBAL bounds - >= 0 @ 4.50158
6.06/6.15	c GLOBAL bounds - >= 0 @ 4.51468
6.06/6.17	c GLOBAL bounds - >= 0 @ 4.53887
6.14/6.20	c GLOBAL bounds - >= 0 @ 4.56462
6.14/6.21	c #Conflicts:       1000 | #Constraints:     658028
6.14/6.21	c GLOBAL bounds - >= 0 @ 4.57704
6.14/6.23	c GLOBAL bounds - >= 0 @ 4.58866
6.14/6.24	c GLOBAL bounds - >= 0 @ 4.59906
6.14/6.25	c GLOBAL bounds - >= 0 @ 4.60751
6.14/6.26	c GLOBAL bounds - >= 0 @ 4.6173
6.14/6.27	c GLOBAL bounds - >= 0 @ 4.62445
6.14/6.27	c GLOBAL bounds - >= 0 @ 4.62923
6.14/6.28	c GLOBAL bounds - >= 0 @ 4.63623
6.34/6.45	c GLOBAL bounds - >= 0 @ 4.79971
6.34/6.48	c GLOBAL bounds - >= 0 @ 4.83392
6.34/6.49	c GLOBAL bounds - >= 0 @ 4.84147
6.44/6.52	c GLOBAL bounds - >= 0 @ 4.8735
6.44/6.54	c GLOBAL bounds - >= 0 @ 4.89108
6.44/6.55	c GLOBAL bounds - >= 0 @ 4.89858
6.44/6.56	c GLOBAL bounds - >= 0 @ 4.90945
6.44/6.58	c GLOBAL bounds - >= 0 @ 4.92582
6.44/6.59	c GLOBAL bounds - >= 0 @ 4.93095
6.54/6.60	c GLOBAL bounds - >= 0 @ 4.94105
6.54/6.63	c GLOBAL bounds - >= 0 @ 4.97243
6.54/6.64	c GLOBAL bounds - >= 0 @ 4.98406
6.54/6.65	c GLOBAL bounds - >= 0 @ 4.99244
6.54/6.66	c GLOBAL bounds - >= 0 @ 5.0018
6.54/6.68	c GLOBAL bounds - >= 0 @ 5.01527
6.54/6.69	c GLOBAL bounds - >= 0 @ 5.02956
6.64/6.70	c GLOBAL bounds - >= 0 @ 5.03424
6.64/6.72	c GLOBAL bounds - >= 0 @ 5.04706
6.64/6.72	c GLOBAL bounds - >= 0 @ 5.05262
6.64/6.79	c GLOBAL bounds - >= 0 @ 5.11374
6.74/6.81	c GLOBAL bounds - >= 0 @ 5.13129
6.74/6.82	c GLOBAL bounds - >= 0 @ 5.14098
6.74/6.83	c GLOBAL bounds - >= 0 @ 5.14989
6.74/6.84	c GLOBAL bounds - >= 0 @ 5.1595
6.74/6.85	c GLOBAL bounds - >= 0 @ 5.16906
6.74/6.86	c GLOBAL bounds - >= 0 @ 5.17914
6.84/6.91	c GLOBAL bounds - >= 0 @ 5.23117
6.84/6.93	c GLOBAL bounds - >= 0 @ 5.24591
6.84/6.94	c GLOBAL bounds - >= 0 @ 5.25545
6.84/6.95	c GLOBAL bounds - >= 0 @ 5.26626
6.84/6.97	c GLOBAL bounds - >= 0 @ 5.27789
6.84/6.99	c GLOBAL bounds - >= 0 @ 5.29768
6.84/7.00	c GLOBAL bounds - >= 0 @ 5.30609
6.95/7.01	c GLOBAL bounds - >= 0 @ 5.31639
6.95/7.02	c GLOBAL bounds - >= 0 @ 5.32136
6.95/7.04	c GLOBAL bounds - >= 0 @ 5.33719
6.95/7.05	c GLOBAL bounds - >= 0 @ 5.34911
6.95/7.06	c GLOBAL bounds - >= 0 @ 5.3572
6.95/7.07	c GLOBAL bounds - >= 0 @ 5.3651
6.95/7.08	c GLOBAL bounds - >= 0 @ 5.38016
6.95/7.09	c GLOBAL bounds - >= 0 @ 5.38934
7.05/7.13	c GLOBAL bounds - >= 0 @ 5.42042
7.05/7.14	c GLOBAL bounds - >= 0 @ 5.43494
7.05/7.16	c GLOBAL bounds - >= 0 @ 5.4499
7.05/7.17	c GLOBAL bounds - >= 0 @ 5.45831
7.05/7.18	c GLOBAL bounds - >= 0 @ 5.47044
7.14/7.21	c GLOBAL bounds - >= 0 @ 5.49972
7.14/7.23	c GLOBAL bounds - >= 0 @ 5.51469
7.14/7.24	c GLOBAL bounds - >= 0 @ 5.5221
7.14/7.25	c GLOBAL bounds - >= 0 @ 5.53681
7.14/7.27	c GLOBAL bounds - >= 0 @ 5.54791
7.14/7.28	c GLOBAL bounds - >= 0 @ 5.5584
7.14/7.28	c GLOBAL bounds - >= 0 @ 5.56326
7.14/7.29	c GLOBAL bounds - >= 0 @ 5.57364
7.23/7.31	c GLOBAL bounds - >= 0 @ 5.58596
7.23/7.32	c GLOBAL bounds - >= 0 @ 5.59766
7.23/7.38	c GLOBAL bounds - >= 0 @ 5.65541
7.34/7.40	c GLOBAL bounds - >= 0 @ 5.67545
7.34/7.43	c GLOBAL bounds - >= 0 @ 5.70727
7.34/7.45	c GLOBAL bounds - >= 0 @ 5.7159
7.34/7.47	c GLOBAL bounds - >= 0 @ 5.73616
7.34/7.48	c GLOBAL bounds - >= 0 @ 5.74659
7.34/7.49	c GLOBAL bounds - >= 0 @ 5.75526
7.43/7.50	c GLOBAL bounds - >= 0 @ 5.765
7.43/7.51	c GLOBAL bounds - >= 0 @ 5.77278
7.43/7.52	c GLOBAL bounds - >= 0 @ 5.78624
7.43/7.54	c GLOBAL bounds - >= 0 @ 5.79307
7.43/7.59	c GLOBAL bounds - >= 0 @ 5.84488
7.54/7.61	c GLOBAL bounds - >= 0 @ 5.86076
7.54/7.62	c GLOBAL bounds - >= 0 @ 5.86878
7.54/7.63	c GLOBAL bounds - >= 0 @ 5.88343
7.54/7.67	c GLOBAL bounds - >= 0 @ 5.91852
7.54/7.68	c GLOBAL bounds - >= 0 @ 5.9292
7.64/7.70	c GLOBAL bounds - >= 0 @ 5.94855
7.64/7.72	c GLOBAL bounds - >= 0 @ 5.96054
7.64/7.75	c GLOBAL bounds - >= 0 @ 5.98593
7.64/7.76	c GLOBAL bounds - >= 0 @ 5.99669
7.64/7.78	c GLOBAL bounds - >= 0 @ 6.00846
7.64/7.80	c GLOBAL bounds - >= 0 @ 6.02771
7.83/7.98	c GLOBAL bounds - >= 0 @ 6.21066
7.94/8.01	c GLOBAL bounds - >= 0 @ 6.23762
7.94/8.05	c GLOBAL bounds - >= 0 @ 6.27715
7.94/8.07	c GLOBAL bounds - >= 0 @ 6.28634
7.94/8.09	c GLOBAL bounds - >= 0 @ 6.30639
8.14/8.23	c GLOBAL bounds - >= 0 @ 6.44388
8.14/8.26	c GLOBAL bounds - >= 0 @ 6.46702
8.14/8.27	c GLOBAL bounds - >= 0 @ 6.4771
8.14/8.28	c GLOBAL bounds - >= 0 @ 6.48942
8.23/8.30	c GLOBAL bounds - >= 0 @ 6.50182
8.23/8.37	c GLOBAL bounds - >= 0 @ 6.57696
8.23/8.39	c GLOBAL bounds - >= 0 @ 6.58927
8.43/8.54	c GLOBAL bounds - >= 0 @ 6.7408
8.43/8.59	c GLOBAL bounds - >= 0 @ 6.78237
8.53/8.63	c GLOBAL bounds - >= 0 @ 6.82344
8.53/8.65	c GLOBAL bounds - >= 0 @ 6.84036
8.53/8.67	c GLOBAL bounds - >= 0 @ 6.86202
8.53/8.68	c GLOBAL bounds - >= 0 @ 6.87711
8.53/8.70	c GLOBAL bounds - >= 0 @ 6.88708
8.64/8.72	c GLOBAL bounds - >= 0 @ 6.91382
8.64/8.73	c GLOBAL bounds - >= 0 @ 6.92281
8.64/8.75	c GLOBAL bounds - >= 0 @ 6.94383
8.64/8.77	c GLOBAL bounds - >= 0 @ 6.9567
8.64/8.78	c GLOBAL bounds - >= 0 @ 6.96794
8.64/8.79	c GLOBAL bounds - >= 0 @ 6.97562
8.73/8.80	c GLOBAL bounds - >= 0 @ 6.98445
8.73/8.82	c GLOBAL bounds - >= 0 @ 7.00154
8.73/8.83	c GLOBAL bounds - >= 0 @ 7.0138
8.73/8.84	c GLOBAL bounds - >= 0 @ 7.02586
8.73/8.86	c GLOBAL bounds - >= 0 @ 7.0389
8.73/8.88	c GLOBAL bounds - >= 0 @ 7.05883
8.84/8.90	c GLOBAL bounds - >= 0 @ 7.06852
8.84/8.91	c GLOBAL bounds - >= 0 @ 7.08344
8.84/8.92	c GLOBAL bounds - >= 0 @ 7.09127
8.84/8.95	c GLOBAL bounds - >= 0 @ 7.11214
8.84/8.96	c GLOBAL bounds - >= 0 @ 7.12342
8.84/8.97	c GLOBAL bounds - >= 0 @ 7.13542
8.84/9.01	c GLOBAL bounds - >= 0 @ 7.16404
8.94/9.02	c GLOBAL bounds - >= 0 @ 7.1742
8.94/9.06	c GLOBAL bounds - >= 0 @ 7.21418
8.94/9.07	c GLOBAL bounds - >= 0 @ 7.22613
8.94/9.09	c GLOBAL bounds - >= 0 @ 7.23512
9.04/9.11	c GLOBAL bounds - >= 0 @ 7.25594
9.04/9.12	c GLOBAL bounds - >= 0 @ 7.26339
9.04/9.13	c GLOBAL bounds - >= 0 @ 7.27521
9.04/9.15	c GLOBAL bounds - >= 0 @ 7.2898
9.04/9.16	c GLOBAL bounds - >= 0 @ 7.29797
9.04/9.20	c GLOBAL bounds - >= 0 @ 7.32518
9.13/9.21	c GLOBAL bounds - >= 0 @ 7.3385
9.13/9.23	c GLOBAL bounds - >= 0 @ 7.35489
9.13/9.25	c GLOBAL bounds - >= 0 @ 7.37388
9.13/9.26	c GLOBAL bounds - >= 0 @ 7.38548
9.13/9.28	c GLOBAL bounds - >= 0 @ 7.39821
9.13/9.29	c GLOBAL bounds - >= 0 @ 7.40775
9.53/9.63	c GLOBAL bounds - >= 0 @ 7.74211
9.73/9.82	c GLOBAL bounds - >= 0 @ 7.93165
9.73/9.87	c GLOBAL bounds - >= 0 @ 7.97773
9.82/9.96	c GLOBAL bounds - >= 0 @ 8.07137
9.82/9.99	c GLOBAL bounds - >= 0 @ 8.09877
9.94/10.02	c GLOBAL bounds - >= 0 @ 8.12402
9.94/10.04	c GLOBAL bounds - >= 0 @ 8.14462
9.94/10.07	c GLOBAL bounds - >= 0 @ 8.16916
9.94/10.08	c GLOBAL bounds - >= 0 @ 8.18248
10.33/10.44	c #Conflicts:       2000 | #Constraints:     659328
10.33/10.44	c INPROCESSING
10.33/10.44	c GLOBAL bounds - >= 0 @ 8.54028
10.33/10.46	c GLOBAL bounds - >= 0 @ 8.55847
10.33/10.48	c GLOBAL bounds - >= 0 @ 8.57356
10.33/10.49	c GLOBAL bounds - >= 0 @ 8.58847
10.43/10.55	c GLOBAL bounds - >= 0 @ 8.64021
10.43/10.57	c GLOBAL bounds - >= 0 @ 8.66309
10.43/10.59	c GLOBAL bounds - >= 0 @ 8.68332
10.53/10.62	c GLOBAL bounds - >= 0 @ 8.70842
10.53/10.63	c GLOBAL bounds - >= 0 @ 8.71754
10.53/10.66	c GLOBAL bounds - >= 0 @ 8.74625
10.53/10.69	c GLOBAL bounds - >= 0 @ 8.78242
10.62/10.72	c GLOBAL bounds - >= 0 @ 8.80462
10.83/10.91	c GLOBAL bounds - >= 0 @ 8.99341
10.83/10.96	c GLOBAL bounds - >= 0 @ 9.04155
10.83/10.99	c GLOBAL bounds - >= 0 @ 9.06928
12.22/12.35	c GLOBAL bounds - >= 0 @ 10.418
12.32/12.41	c GLOBAL bounds - >= 0 @ 10.4781
12.32/12.43	c GLOBAL bounds - >= 0 @ 10.498
12.32/12.44	c GLOBAL bounds - >= 0 @ 10.5111
12.32/12.46	c GLOBAL bounds - >= 0 @ 10.5278
12.42/12.50	c GLOBAL bounds - >= 0 @ 10.5656
12.42/12.58	c GLOBAL bounds - >= 0 @ 10.6415
12.42/12.59	c GLOBAL bounds - >= 0 @ 10.6567
12.52/12.61	c GLOBAL bounds - >= 0 @ 10.6721
12.52/12.63	c GLOBAL bounds - >= 0 @ 10.6918
12.52/12.65	c GLOBAL bounds - >= 0 @ 10.705
12.62/12.77	c GLOBAL bounds - >= 0 @ 10.8258
12.62/12.78	c GLOBAL bounds - >= 0 @ 10.8364
12.72/12.82	c GLOBAL bounds - >= 0 @ 10.8688
12.72/12.83	c GLOBAL bounds - >= 0 @ 10.8836
14.81/14.93	c #Conflicts:       3000 | #Constraints:     659390
14.81/14.93	c GLOBAL bounds - >= 0 @ 12.9539
16.21/16.31	c GLOBAL bounds - >= 0 @ 14.3132
16.41/16.51	c GLOBAL bounds - >= 0 @ 14.5153
16.41/16.54	c GLOBAL bounds - >= 0 @ 14.5377
16.41/16.56	c GLOBAL bounds - >= 0 @ 14.5556
17.10/17.24	c GLOBAL bounds - >= 0 @ 15.2262
17.51/17.63	c #Conflicts:       4000 | #Constraints:     660402
17.51/17.63	c GLOBAL bounds - >= 0 @ 15.6129
17.60/17.71	c GLOBAL bounds - >= 0 @ 15.687
17.60/17.78	c GLOBAL bounds - >= 0 @ 15.755
17.70/17.81	c GLOBAL bounds - >= 0 @ 15.7877
17.70/17.83	c GLOBAL bounds - >= 0 @ 15.809
17.80/17.98	c GLOBAL bounds - >= 0 @ 15.9543
18.02/18.18	c GLOBAL bounds - >= 0 @ 16.1467
18.10/18.24	c GLOBAL bounds - >= 0 @ 16.2004
18.10/18.27	c GLOBAL bounds - >= 0 @ 16.2295
18.91/19.09	c INPROCESSING
18.91/19.09	c GARBAGE COLLECT
18.91/19.09	c GLOBAL bounds - >= 0 @ 17.0458
19.01/19.12	c GLOBAL bounds - >= 0 @ 17.074
19.01/19.14	c GLOBAL bounds - >= 0 @ 17.0935
19.10/19.24	c GLOBAL bounds - >= 0 @ 17.1914
19.19/19.32	c GLOBAL bounds - >= 0 @ 17.2667
19.50/19.66	c GLOBAL bounds - >= 0 @ 17.601
19.60/19.70	c GLOBAL bounds - >= 0 @ 17.641
19.79/19.93	c GLOBAL bounds - >= 0 @ 17.8706
19.79/19.96	c GLOBAL bounds - >= 0 @ 17.9032
20.00/20.13	c GLOBAL bounds - >= 0 @ 18.067
20.79/20.94	c GLOBAL bounds - >= 0 @ 18.8706
21.00/21.17	c GLOBAL bounds - >= 0 @ 19.0941
21.00/21.19	c GLOBAL bounds - >= 0 @ 19.1107
21.09/21.22	c GLOBAL bounds - >= 0 @ 19.1446
21.39/21.51	c GLOBAL bounds - >= 0 @ 19.4216
21.39/21.58	c GLOBAL bounds - >= 0 @ 19.4939
22.08/22.21	c #Conflicts:       5000 | #Constraints:     659855
22.08/22.21	c GLOBAL bounds - >= 0 @ 20.1137
23.78/24.00	c GLOBAL bounds - >= 0 @ 21.8883
23.99/24.11	c GLOBAL bounds - >= 0 @ 21.9983
24.08/24.25	c GLOBAL bounds - >= 0 @ 22.1377
24.18/24.30	c GLOBAL bounds - >= 0 @ 22.1861
24.18/24.36	c GLOBAL bounds - >= 0 @ 22.2383
24.28/24.44	c GLOBAL bounds - >= 0 @ 22.3184
24.38/24.50	c GLOBAL bounds - >= 0 @ 22.3717
24.38/24.56	c GLOBAL bounds - >= 0 @ 22.4336
24.58/24.70	c GLOBAL bounds - >= 0 @ 22.5671
24.58/24.73	c GLOBAL bounds - >= 0 @ 22.5913
24.58/24.78	c GLOBAL bounds - >= 0 @ 22.6456
24.77/24.95	c GLOBAL bounds - >= 0 @ 22.8043
24.77/24.97	c GLOBAL bounds - >= 0 @ 22.8212
24.77/25.00	c GLOBAL bounds - >= 0 @ 22.8503
24.89/25.04	c GLOBAL bounds - >= 0 @ 22.8906
24.89/25.08	c GLOBAL bounds - >= 0 @ 22.9313
24.89/25.11	c GLOBAL bounds - >= 0 @ 22.9546
24.98/25.13	c GLOBAL bounds - >= 0 @ 22.9747
24.98/25.17	c GLOBAL bounds - >= 0 @ 23.0055
25.77/25.99	c GLOBAL bounds - >= 0 @ 23.8106
29.16/29.36	c #Conflicts:       6000 | #Constraints:     660897
29.16/29.36	c GLOBAL bounds - >= 0 @ 27.1222
30.16/30.36	c INPROCESSING
30.16/30.36	c GARBAGE COLLECT
30.16/30.36	c GLOBAL bounds - >= 0 @ 28.11
30.35/30.53	c GLOBAL bounds - >= 0 @ 28.2775
30.45/30.69	c GLOBAL bounds - >= 0 @ 28.4404
30.56/30.73	c GLOBAL bounds - >= 0 @ 28.4725
35.73/35.90	c #Conflicts:       7000 | #Constraints:     659907
35.73/35.90	c #Conflicts:       8000 | #Constraints:     660907
35.73/35.90	c GLOBAL bounds - >= 0 @ 33.6118
35.73/35.95	c GLOBAL bounds - >= 0 @ 33.6536
36.53/36.72	c GLOBAL bounds - >= 0 @ 34.4149
37.14/37.38	c GLOBAL bounds - >= 0 @ 35.0683
37.73/37.96	c GLOBAL bounds - >= 0 @ 35.6386
37.84/38.03	c GLOBAL bounds - >= 0 @ 35.7078
37.84/38.07	c GLOBAL bounds - >= 0 @ 35.7462
41.83/42.02	c #Conflicts:       9000 | #Constraints:     661921
41.83/42.02	c INPROCESSING
41.83/42.02	c GARBAGE COLLECT
41.83/42.02	c GLOBAL bounds - >= 0 @ 39.6465
41.93/42.13	c GLOBAL bounds - >= 0 @ 39.7605
41.93/42.18	c GLOBAL bounds - >= 0 @ 39.8091
42.62/42.84	c GLOBAL bounds - >= 0 @ 40.4613
43.11/43.35	c GLOBAL bounds - >= 0 @ 40.967
52.28/52.58	c #Conflicts:      10000 | #Constraints:     660637
52.28/52.58	c #Conflicts:      11000 | #Constraints:     661637
52.28/52.58	c GLOBAL bounds - >= 0 @ 50.1224
52.58/52.80	c GLOBAL bounds - >= 0 @ 50.3435
52.58/52.87	c GLOBAL bounds - >= 0 @ 50.4085
52.98/53.29	c GLOBAL bounds - >= 0 @ 50.8244
53.78/54.02	c GLOBAL bounds - >= 0 @ 51.5365
56.16/56.44	c GLOBAL bounds - >= 0 @ 53.9151
57.66/57.99	c #Conflicts:      12000 | #Constraints:     662649
57.66/57.99	c INPROCESSING
57.66/57.99	c GARBAGE COLLECT
57.66/57.99	c GLOBAL bounds - >= 0 @ 55.4537
58.55/58.85	c GLOBAL bounds - >= 0 @ 56.3072
58.66/58.94	c GLOBAL bounds - >= 0 @ 56.3904
58.66/58.96	c GLOBAL bounds - >= 0 @ 56.4092
58.77/59.09	c GLOBAL bounds - >= 0 @ 56.5359
59.45/59.73	c GLOBAL bounds - >= 0 @ 57.163
59.55/59.81	c GLOBAL bounds - >= 0 @ 57.2442
59.55/59.84	c GLOBAL bounds - >= 0 @ 57.269
59.95/60.25	c GLOBAL bounds - >= 0 @ 57.667
59.95/60.29	c GLOBAL bounds - >= 0 @ 57.7048
60.05/60.32	c GLOBAL bounds - >= 0 @ 57.7316
60.05/60.36	c GLOBAL bounds - >= 0 @ 57.7712
60.05/60.38	c GLOBAL bounds - >= 0 @ 57.7881
60.25/60.54	c GLOBAL bounds - >= 0 @ 57.9404
60.25/60.58	c GLOBAL bounds - >= 0 @ 57.9754
60.35/60.63	c GLOBAL bounds - >= 0 @ 58.0285
60.35/60.69	c GLOBAL bounds - >= 0 @ 58.0834
60.45/60.73	c GLOBAL bounds - >= 0 @ 58.1229
60.55/60.80	c GLOBAL bounds - >= 0 @ 58.191
60.55/60.85	c GLOBAL bounds - >= 0 @ 58.2332
60.64/60.90	c GLOBAL bounds - >= 0 @ 58.2796
60.64/60.98	c GLOBAL bounds - >= 0 @ 58.3527
60.76/61.02	c GLOBAL bounds - >= 0 @ 58.3895
60.76/61.06	c GLOBAL bounds - >= 0 @ 58.4307
60.86/61.14	c GLOBAL bounds - >= 0 @ 58.5015
61.14/61.40	c GLOBAL bounds - >= 0 @ 58.7577
61.14/61.45	c GLOBAL bounds - >= 0 @ 58.8033
61.14/61.47	c GLOBAL bounds - >= 0 @ 58.8249
135.98/136.59	c #Conflicts:      13000 | #Constraints:     661154
135.98/136.59	c #Conflicts:      14000 | #Constraints:     662154
135.98/136.59	c #Conflicts:      15000 | #Constraints:     663154
135.98/136.59	c INPROCESSING
135.98/136.59	c GARBAGE COLLECT
135.98/136.59	c #Conflicts:      16000 | #Constraints:     661388
135.98/136.59	c #Conflicts:      17000 | #Constraints:     662388
135.98/136.59	c #Conflicts:      18000 | #Constraints:     663388
135.98/136.59	c INPROCESSING
135.98/136.59	c GARBAGE COLLECT
135.98/136.59	c #Conflicts:      19000 | #Constraints:     661405
135.98/136.59	c GLOBAL bounds - >= 0 @ 133.483
140.27/140.88	c GLOBAL bounds - >= 0 @ 137.753
239.73/240.69	c #Conflicts:      20000 | #Constraints:     662409
239.73/240.69	c #Conflicts:      21000 | #Constraints:     663409
239.73/240.69	c INPROCESSING
239.73/240.69	c GARBAGE COLLECT
239.73/240.69	c #Conflicts:      22000 | #Constraints:     661212
239.73/240.69	c #Conflicts:      23000 | #Constraints:     662212
239.73/240.69	c #Conflicts:      24000 | #Constraints:     663212
239.73/240.69	c #Conflicts:      25000 | #Constraints:     664212
239.73/240.69	c INPROCESSING
239.73/240.69	c GARBAGE COLLECT
239.73/240.69	c GLOBAL bounds - >= 0 @ 236.96
270.52/271.59	c #Conflicts:      26000 | #Constraints:     661821
270.52/271.59	c #Conflicts:      27000 | #Constraints:     662821
270.52/271.59	c GLOBAL bounds - >= 0 @ 267.716
272.81/273.81	c GLOBAL bounds - >= 0 @ 269.916
273.72/274.77	c GLOBAL bounds - >= 0 @ 270.868
273.81/274.88	c GLOBAL bounds - >= 0 @ 270.975
274.12/275.12	c GLOBAL bounds - >= 0 @ 271.206
275.70/276.72	c GLOBAL bounds - >= 0 @ 272.779
275.80/276.80	c GLOBAL bounds - >= 0 @ 272.855
276.50/277.53	c GLOBAL bounds - >= 0 @ 273.576
281.69/282.75	c #Conflicts:      28000 | #Constraints:     663837
281.69/282.75	c GLOBAL bounds - >= 0 @ 278.77
283.28/284.31	c GLOBAL bounds - >= 0 @ 280.308
283.38/284.47	c GLOBAL bounds - >= 0 @ 280.473
283.57/284.64	c GLOBAL bounds - >= 0 @ 280.642
283.78/284.82	c GLOBAL bounds - >= 0 @ 280.813
284.67/285.70	c GLOBAL bounds - >= 0 @ 281.687
285.27/286.39	c GLOBAL bounds - >= 0 @ 282.365
285.47/286.52	c GLOBAL bounds - >= 0 @ 282.492
285.77/286.80	c GLOBAL bounds - >= 0 @ 282.77
286.56/287.60	c GLOBAL bounds - >= 0 @ 283.555
286.67/287.77	c GLOBAL bounds - >= 0 @ 283.726
287.47/288.55	c GLOBAL bounds - >= 0 @ 284.49
293.84/294.91	c #Conflicts:      29000 | #Constraints:     664861
293.84/294.91	c INPROCESSING
293.84/294.91	c GARBAGE COLLECT
293.84/294.91	c GLOBAL bounds - >= 0 @ 290.797
293.84/294.93	c GLOBAL bounds - >= 0 @ 290.822
296.63/297.71	c #Conflicts:      30000 | #Constraints:     662259
296.63/297.71	c GLOBAL bounds - >= 0 @ 293.582
297.04/298.17	c GLOBAL bounds - >= 0 @ 294.042
297.52/298.62	c GLOBAL bounds - >= 0 @ 294.487
297.63/298.79	c GLOBAL bounds - >= 0 @ 294.658
297.73/298.86	c GLOBAL bounds - >= 0 @ 294.725
297.83/298.91	c GLOBAL bounds - >= 0 @ 294.771
299.32/300.43	c GLOBAL bounds - >= 0 @ 296.282
328.12/329.38	c #Conflicts:      31000 | #Constraints:     663273
328.12/329.38	c #Conflicts:      32000 | #Constraints:     664273
328.12/329.38	c #Conflicts:      33000 | #Constraints:     665273
328.12/329.38	c INPROCESSING
328.12/329.38	c GARBAGE COLLECT
328.12/329.38	c #Conflicts:      34000 | #Constraints:     662476
328.12/329.38	c GLOBAL bounds - >= 0 @ 325.023
331.61/332.84	c GLOBAL bounds - >= 0 @ 328.464
337.09/338.37	c #Conflicts:      35000 | #Constraints:     663480
337.09/338.37	c GLOBAL bounds - >= 0 @ 333.97
337.49/338.70	c GLOBAL bounds - >= 0 @ 334.294
337.60/338.80	c GLOBAL bounds - >= 0 @ 334.393
337.60/338.87	c GLOBAL bounds - >= 0 @ 334.46
430.29/431.84	c #Conflicts:      36000 | #Constraints:     664488
430.29/431.84	c #Conflicts:      37000 | #Constraints:     665488
430.29/431.84	c INPROCESSING
430.29/431.84	c GARBAGE COLLECT
430.29/431.84	c #Conflicts:      38000 | #Constraints:     662493
430.29/431.84	c #Conflicts:      39000 | #Constraints:     663493
430.29/431.84	c #Conflicts:      40000 | #Constraints:     664493
430.29/431.84	c #Conflicts:      41000 | #Constraints:     665493
430.29/431.84	c INPROCESSING
430.29/431.84	c GARBAGE COLLECT
430.29/431.84	c #Conflicts:      42000 | #Constraints:     662301
430.29/431.84	c #Conflicts:      43000 | #Constraints:     663301
430.29/431.84	c #Conflicts:      44000 | #Constraints:     664301
430.29/431.84	c #Conflicts:      45000 | #Constraints:     665301
430.29/431.84	c GLOBAL bounds - >= 0 @ 427.018
430.59/432.13	c GLOBAL bounds - >= 0 @ 427.297
430.78/432.38	c GLOBAL bounds - >= 0 @ 427.546
432.18/433.72	c GLOBAL bounds - >= 0 @ 428.873
520.57/522.40	c #Conflicts:      46000 | #Constraints:     666309
520.57/522.40	c INPROCESSING
520.57/522.40	c GARBAGE COLLECT
520.57/522.40	c #Conflicts:      47000 | #Constraints:     662901
520.57/522.40	c #Conflicts:      48000 | #Constraints:     663901
520.57/522.40	c #Conflicts:      49000 | #Constraints:     664901
520.57/522.40	c #Conflicts:      50000 | #Constraints:     665901
520.57/522.40	c #Conflicts:      51000 | #Constraints:     666901
520.57/522.40	c INPROCESSING
520.57/522.40	c GARBAGE COLLECT
520.57/522.40	c GLOBAL bounds - >= 0 @ 516.972
520.57/522.43	c GLOBAL bounds - >= 0 @ 517.006
533.33/535.27	c #Conflicts:      52000 | #Constraints:     663308
533.33/535.27	c GLOBAL bounds - >= 0 @ 529.768
535.24/537.13	c GLOBAL bounds - >= 0 @ 531.61
535.82/537.72	c #Conflicts:      53000 | #Constraints:     664312
535.82/537.72	c GLOBAL bounds - >= 0 @ 532.193
539.12/541.10	c GLOBAL bounds - >= 0 @ 535.552
692.91/695.36	c #Conflicts:      54000 | #Constraints:     665316
692.91/695.36	c #Conflicts:      55000 | #Constraints:     666316
692.91/695.36	c #Conflicts:      56000 | #Constraints:     667316
692.91/695.36	c INPROCESSING
692.91/695.36	c GARBAGE COLLECT
692.91/695.36	c #Conflicts:      57000 | #Constraints:     663517
692.91/695.36	c #Conflicts:      58000 | #Constraints:     664517
692.91/695.36	c #Conflicts:      59000 | #Constraints:     665517
692.91/695.36	c #Conflicts:      60000 | #Constraints:     666517
692.91/695.36	c #Conflicts:      61000 | #Constraints:     667517
692.91/695.36	c INPROCESSING
692.91/695.36	c GARBAGE COLLECT
692.91/695.36	c #Conflicts:      62000 | #Constraints:     663516
692.91/695.36	c #Conflicts:      63000 | #Constraints:     664516
692.91/695.36	c #Conflicts:      64000 | #Constraints:     665516
692.91/695.36	c GLOBAL bounds - >= 0 @ 689.031
768.57/771.20	c #Conflicts:      65000 | #Constraints:     666518
768.57/771.20	c #Conflicts:      66000 | #Constraints:     667518
768.57/771.20	c INPROCESSING
768.57/771.20	c GARBAGE COLLECT
768.57/771.20	c #Conflicts:      67000 | #Constraints:     663317
768.57/771.20	c #Conflicts:      68000 | #Constraints:     664317
768.57/771.20	c GLOBAL bounds - >= 0 @ 764.436
769.17/771.84	c GLOBAL bounds - >= 0 @ 765.075
769.27/771.94	c GLOBAL bounds - >= 0 @ 765.17
772.96/775.64	c GLOBAL bounds - >= 0 @ 768.836
778.53/781.26	c #Conflicts:      69000 | #Constraints:     665325
778.53/781.26	c GLOBAL bounds - >= 0 @ 774.417
827.08/829.92	c #Conflicts:      70000 | #Constraints:     666327
827.08/829.92	c #Conflicts:      71000 | #Constraints:     667327
827.08/829.92	c #Conflicts:      72000 | #Constraints:     668327
827.08/829.92	c INPROCESSING
827.08/829.92	c GARBAGE COLLECT
827.08/829.92	c GLOBAL bounds - >= 0 @ 822.844
1813.55/1819.31	c #Conflicts:      73000 | #Constraints:     663931
1813.55/1819.31	c #Conflicts:      74000 | #Constraints:     664931
1813.55/1819.31	c #Conflicts:      75000 | #Constraints:     665931
1813.55/1819.31	c #Conflicts:      76000 | #Constraints:     666931
1813.55/1819.31	c #Conflicts:      77000 | #Constraints:     667931
1813.55/1819.31	c #Conflicts:      78000 | #Constraints:     668931
1813.55/1819.31	c INPROCESSING
1813.55/1819.31	c GARBAGE COLLECT
1813.55/1819.31	c #Conflicts:      79000 | #Constraints:     664330
1813.55/1819.31	c #Conflicts:      80000 | #Constraints:     665330
1813.55/1819.31	c #Conflicts:      81000 | #Constraints:     666330
1813.55/1819.31	c #Conflicts:      82000 | #Constraints:     667330
1813.55/1819.31	c #Conflicts:      83000 | #Constraints:     668330
1813.55/1819.31	c #Conflicts:      84000 | #Constraints:     669330
1813.55/1819.31	c INPROCESSING
1813.55/1819.31	c GARBAGE COLLECT
1813.55/1819.31	c #Conflicts:      85000 | #Constraints:     664532
1813.55/1819.31	c #Conflicts:      86000 | #Constraints:     665532
1813.55/1819.31	c #Conflicts:      87000 | #Constraints:     666532
1813.55/1819.31	c #Conflicts:      88000 | #Constraints:     667532
1813.55/1819.31	c #Conflicts:      89000 | #Constraints:     668532
1813.55/1819.31	c #Conflicts:      90000 | #Constraints:     669532
1813.55/1819.31	c INPROCESSING
1813.55/1819.31	c GARBAGE COLLECT
1813.55/1819.31	c #Conflicts:      91000 | #Constraints:     664537
1813.55/1819.31	c #Conflicts:      92000 | #Constraints:     665537
1813.55/1819.31	c #Conflicts:      93000 | #Constraints:     666537
1813.55/1819.31	c #Conflicts:      94000 | #Constraints:     667537
1813.55/1819.31	c #Conflicts:      95000 | #Constraints:     668537
1813.55/1819.31	c #Conflicts:      96000 | #Constraints:     669537
1813.55/1819.31	c INPROCESSING
1813.55/1819.31	c GARBAGE COLLECT
1813.55/1819.31	c #Conflicts:      97000 | #Constraints:     664340
1813.55/1819.31	c #Conflicts:      98000 | #Constraints:     665340
1813.55/1819.31	c #Conflicts:      99000 | #Constraints:     666340
1813.55/1819.31	c #Conflicts:     100000 | #Constraints:     667340
1813.55/1819.31	c #Conflicts:     101000 | #Constraints:     668340
1813.55/1819.31	c #Conflicts:     102000 | #Constraints:     669340
1813.55/1819.31	c #Conflicts:     103000 | #Constraints:     670340
1813.55/1819.31	c INPROCESSING
1813.55/1819.31	c GARBAGE COLLECT
1813.55/1819.31	c #Conflicts:     104000 | #Constraints:     664935
1813.55/1819.31	c #Conflicts:     105000 | #Constraints:     665935
1813.55/1819.31	c #Conflicts:     106000 | #Constraints:     666935
1813.55/1819.31	c #Conflicts:     107000 | #Constraints:     667935
1813.55/1819.31	c #Conflicts:     108000 | #Constraints:     668935
1813.55/1819.31	c #Conflicts:     109000 | #Constraints:     669935
1813.55/1819.31	c #Conflicts:     110000 | #Constraints:     670935
1813.55/1819.31	c INPROCESSING
1813.55/1819.31	c GARBAGE COLLECT
1813.55/1819.31	c #Conflicts:     111000 | #Constraints:     665334
1813.55/1819.31	c #Conflicts:     112000 | #Constraints:     666334
1813.55/1819.31	c #Conflicts:     113000 | #Constraints:     667334
1813.55/1819.31	c #Conflicts:     114000 | #Constraints:     668334
1813.55/1819.31	c #Conflicts:     115000 | #Constraints:     669334
1813.55/1819.31	c #Conflicts:     116000 | #Constraints:     670334
1813.55/1819.31	c #Conflicts:     117000 | #Constraints:     671334
1813.55/1819.31	c INPROCESSING
1813.55/1819.31	c GARBAGE COLLECT
1813.55/1819.31	c #Conflicts:     118000 | #Constraints:     665533
1813.55/1819.31	c #Conflicts:     119000 | #Constraints:     666533
1813.55/1819.31	c #Conflicts:     120000 | #Constraints:     667533
1813.55/1819.31	c #Conflicts:     121000 | #Constraints:     668533
1813.55/1819.31	c GLOBAL bounds - >= 0 @ 1808.24
1838.08/1843.90	c #Conflicts:     122000 | #Constraints:     669535
1838.08/1843.90	c GLOBAL bounds - >= 0 @ 1832.73
1877.97/1883.95	c #Conflicts:     123000 | #Constraints:     670537
1877.97/1883.95	c #Conflicts:     124000 | #Constraints:     671537
1877.97/1883.95	c INPROCESSING
1877.97/1883.95	c GARBAGE COLLECT
1877.97/1883.95	c GLOBAL bounds - >= 0 @ 1872.59
1981.58/1987.89	c #Conflicts:     125000 | #Constraints:     665533
1981.58/1987.89	c #Conflicts:     126000 | #Constraints:     666533
1981.58/1987.89	c #Conflicts:     127000 | #Constraints:     667533
1981.58/1987.89	c #Conflicts:     128000 | #Constraints:     668533
1981.58/1987.89	c #Conflicts:     129000 | #Constraints:     669533
1981.58/1987.89	c #Conflicts:     130000 | #Constraints:     670533
1981.58/1987.89	c GLOBAL bounds - >= 0 @ 1976.09
1989.26/1995.54	c GLOBAL bounds - >= 0 @ 1983.69
2004.82/2011.18	c GLOBAL bounds - >= 0 @ 1999.26
2009.20/2015.57	c #Conflicts:     131000 | #Constraints:     671539
2009.20/2015.57	c GLOBAL bounds - >= 0 @ 2003.63
2010.29/2016.68	c GLOBAL bounds - >= 0 @ 2004.74
3519.84/3530.82	c INPROCESSING
3519.84/3530.82	c GARBAGE COLLECT
3519.84/3530.82	c #Conflicts:     132000 | #Constraints:     665342
3519.84/3530.82	c #Conflicts:     133000 | #Constraints:     666342
3519.84/3530.82	c #Conflicts:     134000 | #Constraints:     667342
3519.84/3530.82	c #Conflicts:     135000 | #Constraints:     668342
3519.84/3530.82	c #Conflicts:     136000 | #Constraints:     669342
3519.84/3530.82	c #Conflicts:     137000 | #Constraints:     670342
3519.84/3530.82	c #Conflicts:     138000 | #Constraints:     671342
3519.84/3530.82	c #Conflicts:     139000 | #Constraints:     672342
3519.84/3530.82	c INPROCESSING
3519.84/3530.82	c GARBAGE COLLECT
3519.84/3530.82	c #Conflicts:     140000 | #Constraints:     665950
3519.84/3530.82	c #Conflicts:     141000 | #Constraints:     666950
3519.84/3530.82	c #Conflicts:     142000 | #Constraints:     667950
3519.84/3530.82	c #Conflicts:     143000 | #Constraints:     668950
3519.84/3530.82	c #Conflicts:     144000 | #Constraints:     669950
3519.84/3530.82	c #Conflicts:     145000 | #Constraints:     670950
3519.84/3530.82	c #Conflicts:     146000 | #Constraints:     671950
3519.84/3530.82	c #Conflicts:     147000 | #Constraints:     672950
3519.84/3530.82	c INPROCESSING
3519.84/3530.82	c GARBAGE COLLECT
3519.84/3530.82	c #Conflicts:     148000 | #Constraints:     666361
3519.84/3530.82	c #Conflicts:     149000 | #Constraints:     667361
3519.84/3530.82	c #Conflicts:     150000 | #Constraints:     668361
3519.84/3530.82	c #Conflicts:     151000 | #Constraints:     669361
3519.84/3530.82	c #Conflicts:     152000 | #Constraints:     670361
3519.84/3530.82	c #Conflicts:     153000 | #Constraints:     671361
3519.84/3530.82	c #Conflicts:     154000 | #Constraints:     672361
3519.84/3530.82	c #Conflicts:     155000 | #Constraints:     673361
3519.84/3530.82	c INPROCESSING
3519.84/3530.82	c GARBAGE COLLECT
3519.84/3530.82	c #Conflicts:     156000 | #Constraints:     666559
3519.84/3530.82	c #Conflicts:     157000 | #Constraints:     667559
3519.84/3530.82	c #Conflicts:     158000 | #Constraints:     668559
3519.84/3530.82	c #Conflicts:     159000 | #Constraints:     669559
3519.84/3530.82	c #Conflicts:     160000 | #Constraints:     670559
3519.84/3530.82	c #Conflicts:     161000 | #Constraints:     671559
3519.84/3530.82	c #Conflicts:     162000 | #Constraints:     672559
3519.84/3530.82	c #Conflicts:     163000 | #Constraints:     673559
3519.84/3530.82	c INPROCESSING
3519.84/3530.82	c GARBAGE COLLECT
3519.84/3530.82	c #Conflicts:     164000 | #Constraints:     666557
3519.84/3530.82	c #Conflicts:     165000 | #Constraints:     667557
3519.84/3530.82	c #Conflicts:     166000 | #Constraints:     668557
3519.84/3530.82	c #Conflicts:     167000 | #Constraints:     669557
3519.84/3530.82	c #Conflicts:     168000 | #Constraints:     670557
3519.84/3530.82	c #Conflicts:     169000 | #Constraints:     671557
3519.84/3530.82	c #Conflicts:     170000 | #Constraints:     672557
3519.84/3530.82	c #Conflicts:     171000 | #Constraints:     673557
3519.84/3530.82	c INPROCESSING
3519.84/3530.82	c GARBAGE COLLECT
3519.84/3530.82	c #Conflicts:     172000 | #Constraints:     666345
3519.84/3530.82	c #Conflicts:     173000 | #Constraints:     667345
3519.84/3530.82	c #Conflicts:     174000 | #Constraints:     668345
3519.84/3530.82	c #Conflicts:     175000 | #Constraints:     669345
3519.84/3530.82	c #Conflicts:     176000 | #Constraints:     670345
3519.84/3530.82	c #Conflicts:     177000 | #Constraints:     671345
3519.84/3530.82	c #Conflicts:     178000 | #Constraints:     672345
3519.84/3530.82	c #Conflicts:     179000 | #Constraints:     673345
3519.84/3530.82	c #Conflicts:     180000 | #Constraints:     674345
3519.84/3530.82	c INPROCESSING
3519.84/3530.82	c GARBAGE COLLECT
3519.84/3530.82	c #Conflicts:     181000 | #Constraints:     666944
3519.84/3530.82	c #Conflicts:     182000 | #Constraints:     667944
3519.84/3530.82	c #Conflicts:     183000 | #Constraints:     668944
3519.84/3530.82	c #Conflicts:     184000 | #Constraints:     669944
3519.84/3530.82	c #Conflicts:     185000 | #Constraints:     670944
3519.84/3530.82	c #Conflicts:     186000 | #Constraints:     671944
3519.84/3530.82	c #Conflicts:     187000 | #Constraints:     672944
3519.84/3530.82	c #Conflicts:     188000 | #Constraints:     673944
3519.84/3530.82	c #Conflicts:     189000 | #Constraints:     674944
3519.84/3530.82	c INPROCESSING
3519.84/3530.82	c GARBAGE COLLECT
3519.84/3530.82	c #Conflicts:     190000 | #Constraints:     667354
3519.84/3530.82	c #Conflicts:     191000 | #Constraints:     668354
3519.84/3530.82	c #Conflicts:     192000 | #Constraints:     669354
3519.84/3530.82	c #Conflicts:     193000 | #Constraints:     670354
3519.84/3530.82	c #Conflicts:     194000 | #Constraints:     671354
3519.84/3530.82	c #Conflicts:     195000 | #Constraints:     672354
3519.84/3530.82	c #Conflicts:     196000 | #Constraints:     673354
3519.84/3530.82	c #Conflicts:     197000 | #Constraints:     674354
3519.84/3530.82	c #Conflicts:     198000 | #Constraints:     675354
3519.84/3530.82	c INPROCESSING
3519.84/3530.82	c GARBAGE COLLECT
3519.84/3530.82	c #Conflicts:     199000 | #Constraints:     667559
3519.84/3530.82	c #Conflicts:     200000 | #Constraints:     668559
3519.84/3530.82	c #Conflicts:     201000 | #Constraints:     669559
3519.84/3530.82	c #Conflicts:     202000 | #Constraints:     670559
3519.84/3530.82	c #Conflicts:     203000 | #Constraints:     671559
3519.84/3530.82	c #Conflicts:     204000 | #Constraints:     672559
3519.84/3530.82	c #Conflicts:     205000 | #Constraints:     673559
3600.09/3611.30	c #Conflicts:     206000 | #Constraints:     674559
3600.09/3611.30	c #Conflicts:     207000 | #Constraints:     675559
3600.09/3611.30	c INPROCESSING
3600.09/3611.30	c GARBAGE COLLECT
3600.09/3611.30	c cpu time 3592.88 s
3600.09/3611.30	c deterministic time 1 1.00e+00
3600.09/3611.30	c optimization time 3590.33 s
3600.09/3611.30	c total solve time 0 s
3600.09/3611.30	c core-guided solve time 0 s
3600.09/3611.30	c propagation time 0.335851 s
3600.09/3611.30	c conflict analysis time 0 s
3600.09/3611.30	c propagations 0
3600.09/3611.30	c resolve steps 0
3600.09/3611.30	c decisions 0
3600.09/3611.30	c conflicts 0
3600.09/3611.30	c restarts 0
3600.09/3611.30	c inprocessing phases 0
3600.09/3611.30	c garbage collections 0 ,( -nan )
3600.09/3611.30	c input clauses 656900 ,( 100.00 )
3600.09/3611.30	c input cardinalities 0 ,( 0.00 )
3600.09/3611.30	c input general constraints 0 ,( 0.00 )
3600.09/3611.30	c input average constraint length 2.03
3600.09/3611.30	c input average constraint degree 1.00
3600.09/3611.30	c learned clauses 0 ,( 0.00 )
3600.09/3611.30	c learned cardinalities 0 ,( 0.00 )
3600.09/3611.30	c learned general constraints 0 ,( 0.00 )
3600.09/3611.30	c learned average constraint length 0.00
3600.09/3611.30	c learned average constraint degree 0.00
3600.09/3611.30	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.09/3611.30	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.09/3611.30	c watched   constraints 0 ,( -nan ) 
3600.09/3611.30	c counting  constraints 0 ,( -nan ) 
3600.09/3611.30	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.09/3611.30	c gcd simplifications 0
3600.09/3611.30	c detected cardinalities 0
3600.09/3611.30	c weakened non-implied lits 0
3600.09/3611.30	c weakened non-implying lits 0
3600.09/3611.30	c original variables 10000
3600.09/3611.30	c clausal propagations 0
3600.09/3611.30	c cardinality propagations 0
3600.09/3611.30	c watched propagations 0
3600.09/3611.30	c counting propagations 0
3600.09/3611.30	c watch lookups 0
3600.09/3611.30	c watch backjump lookups 0
3600.09/3611.30	c watch checks 0
3600.09/3611.30	c propagation checks 0
3600.09/3611.30	c constraint additions 0
3600.09/3611.30	c trail pops 0
3600.09/3611.30	c formula constraints 656900
3600.09/3611.30	c learned constraints 0
3600.09/3611.30	c bound constraints 0
3600.09/3611.30	c core-guided constraints 0
3600.09/3611.30	c encountered formula constraints 0
3600.09/3611.30	c encountered learned constraints 0
3600.09/3611.30	c encountered bound constraints 0
3600.09/3611.30	c encountered core-guided constraints 0
3600.09/3611.30	c LP total time 0 s
3600.09/3611.30	c LP solve time 0 s
3600.09/3611.30	c LP constraints added 0
3600.09/3611.30	c LP constraints removed 0
3600.09/3611.30	c LP pivots internal 0
3600.09/3611.30	c LP pivots root 0
3600.09/3611.30	c LP calls 0
3600.09/3611.30	c LP optimalities 0
3600.09/3611.30	c LP no pivot count 0
3600.09/3611.30	c LP infeasibilities 0
3600.09/3611.30	c LP valid Farkas constraints 0
3600.09/3611.30	c LP learned Farkas constraints 0
3600.09/3611.30	c LP basis resets 0
3600.09/3611.30	c LP cycling count 0
3600.09/3611.30	c LP singular count 0
3600.09/3611.30	c LP no primal count 0
3600.09/3611.30	c LP no farkas count 0
3600.09/3611.30	c LP other issue count 0
3600.09/3611.30	c LP Gomory cuts 0
3600.09/3611.30	c LP learned cuts 0
3600.09/3611.30	c LP deleted cuts 0
3600.09/3611.30	c LP encountered Gomory constraints 0
3600.09/3611.30	c LP encountered Farkas constraints 0
3600.09/3611.30	c LP encountered learned Farkas constraints 0
3600.09/3611.30	c CG auxiliary variables introduced 0
3600.09/3611.30	c CG solutions found 0
3600.09/3611.30	c CG cores constructed 0
3600.09/3611.30	c CG core cardinality constraints returned 0
3600.09/3611.30	c CG unit cores 0
3600.09/3611.30	c CG single cores 0
3600.09/3611.30	c CG blocks removed during cardinality reduction 0
3600.09/3611.30	c CG first core best 0
3600.09/3611.30	c CG decision core best 0
3600.09/3611.30	c CG core reduction tie 0
3600.09/3611.30	c CG core degree average 0.00
3600.09/3611.30	c CG core slack average 0.00
3600.09/3611.30	c CG core upper bound improvements 0
3600.09/3611.30	c STR number of successful calls 0
3600.09/3611.30	c STR number of unsuccessful calls 0
3600.09/3611.30	c STR number of inconclusive calls 0
3600.09/3611.30	c STR number of successful attempts 0
3600.09/3611.30	c STR number of unsuccessful attempts 0
3600.09/3611.30	c STR number of inconclusive attempts 0
3600.09/3611.30	c STR average degree increase per successful call inf
3600.09/3611.30	c STR average degree increase per successful attempt inf
3600.09/3611.30	c STR total number of conflicts for successful attempts 0
3600.09/3611.30	c STR total number of conflicts for unsuccessful attempts 0
3600.09/3611.30	c STR total number of conflicts for inconclusive attempts 0
3600.09/3611.30	c STR average number of conflicts per successful attempt inf
3600.09/3611.30	c STR average number of conflicts per unsuccessful attempt inf
3600.09/3611.30	c STR average number of conflicts per inconclusive attempt inf
3600.09/3611.30	c AVG.sumWPerc -nan 
3600.09/3611.30	c bigint constraints 0 
3600.09/3611.30	s UNKNOWN
3600.09/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: 63794 MiB (63025 MiB free)
  memory of node 1: 64507 MiB (63967 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=50516, runsolver pid=50507

[startup+0.100094 s]*
/proc/loadavg: 1.07 1.11 1.79 6/256 50529
/proc/meminfo: memFree=130009696/131382120 swapFree=33010416/33010684
[pid=50516] ppid=50507 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/50516/stat : 50516 (run-opt.sh) S 50507 50516 50456 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51851791 4292608 768 18446744073709551615 94880305434624 94880306329157 140731444763760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94880306568208 94880306615952 94880321859584 140731444771181 140731444771304 140731444771304 140731444776906 0
/proc/50516/statm: 1048 768 704 219 0 110 0
[pid=50523] ppid=50516 vsize=57980 memory=13184 CPUtime=0.07 cores=0,2
/proc/50523/stat : 50523 (roundingsat) R 50516 50516 50456 0 -1 4194304 1422 0 0 0 5 2 0 0 20 0 1 0 51851793 59371520 3296 18446744073709551615 4227072 8923433 140735583655104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34353152 140735583656354 140735583656488 140735583656488 140735583662058 0
/proc/50523/statm: 14495 3296 1952 1147 0 1922 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 62172 KiB
Current children cumulated memory: 16256 KiB

[startup+0.209613 s]*
/proc/loadavg: 1.07 1.11 1.79 5/256 50529
/proc/meminfo: memFree=130008184/131382120 swapFree=33010416/33010684
[pid=50516] ppid=50507 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/50516/stat : 50516 (run-opt.sh) S 50507 50516 50456 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51851791 4292608 768 18446744073709551615 94880305434624 94880306329157 140731444763760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94880306568208 94880306615952 94880321859584 140731444771181 140731444771304 140731444771304 140731444776906 0
/proc/50516/statm: 1048 768 704 219 0 110 0
[pid=50523] ppid=50516 vsize=58764 memory=14080 CPUtime=0.18 cores=0,2
/proc/50523/stat : 50523 (roundingsat) R 50516 50516 50456 0 -1 4194304 1650 0 0 0 13 5 0 0 20 0 1 0 51851793 60174336 3520 18446744073709551615 4227072 8923433 140735583655104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34353152 140735583656354 140735583656488 140735583656488 140735583662058 0
/proc/50523/statm: 14691 3520 1952 1147 0 2118 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 62956 KiB
Current children cumulated memory: 17152 KiB

[startup+0.309191 s]*
/proc/loadavg: 1.07 1.11 1.79 5/256 50529
/proc/meminfo: memFree=130004908/131382120 swapFree=33010416/33010684
[pid=50516] ppid=50507 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/50516/stat : 50516 (run-opt.sh) S 50507 50516 50456 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51851791 4292608 768 18446744073709551615 94880305434624 94880306329157 140731444763760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94880306568208 94880306615952 94880321859584 140731444771181 140731444771304 140731444771304 140731444776906 0
/proc/50516/statm: 1048 768 704 219 0 110 0
[pid=50523] ppid=50516 vsize=59668 memory=14848 CPUtime=0.28 cores=0,2
/proc/50523/stat : 50523 (roundingsat) R 50516 50516 50456 0 -1 4194304 1841 0 0 0 20 8 0 0 20 0 1 0 51851793 61100032 3712 18446744073709551615 4227072 8923433 140735583655104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34353152 140735583656354 140735583656488 140735583656488 140735583662058 0
/proc/50523/statm: 14917 3712 1952 1147 0 2344 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 63860 KiB
Current children cumulated memory: 17920 KiB

[startup+0.700321 s]
/proc/loadavg: 1.07 1.11 1.79 6/256 50529
/proc/meminfo: memFree=129993680/131382120 swapFree=33010416/33010684
[pid=50516] ppid=50507 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/50516/stat : 50516 (run-opt.sh) S 50507 50516 50456 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51851791 4292608 768 18446744073709551615 94880305434624 94880306329157 140731444763760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94880306568208 94880306615952 94880321859584 140731444771181 140731444771304 140731444771304 140731444776906 0
/proc/50516/statm: 1048 768 704 219 0 110 0
[pid=50523] ppid=50516 vsize=63688 memory=20972 CPUtime=0.66 cores=0,2
/proc/50523/stat : 50523 (roundingsat) R 50516 50516 50456 0 -1 4194304 2862 0 0 0 46 20 0 0 20 0 1 0 51851793 65216512 5243 18446744073709551615 4227072 8923433 140735583655104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34353152 140735583656354 140735583656488 140735583656488 140735583662058 0
/proc/50523/statm: 15922 5243 1952 1147 0 3349 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 67880 KiB
Current children cumulated memory: 24044 KiB

[startup+1.50034 s]
/proc/loadavg: 1.30 1.16 1.80 6/256 50529
/proc/meminfo: memFree=129961600/131382120 swapFree=33010416/33010684
[pid=50516] ppid=50507 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/50516/stat : 50516 (run-opt.sh) S 50507 50516 50456 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51851791 4292608 768 18446744073709551615 94880305434624 94880306329157 140731444763760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94880306568208 94880306615952 94880321859584 140731444771181 140731444771304 140731444771304 140731444776906 0
/proc/50516/statm: 1048 768 704 219 0 110 0
[pid=50523] ppid=50516 vsize=93700 memory=43756 CPUtime=1.45 cores=0,2
/proc/50523/stat : 50523 (roundingsat) R 50516 50516 50456 0 -1 4194304 9174 0 0 0 103 42 0 0 20 0 1 0 51851793 95948800 10939 18446744073709551615 4227072 8923433 140735583655104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34353152 140735583656354 140735583656488 140735583656488 140735583662058 0
/proc/50523/statm: 23425 10939 1952 1147 0 10852 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 97892 KiB
Current children cumulated memory: 46828 KiB

[startup+3.11311 s]
/proc/loadavg: 1.30 1.16 1.80 6/256 50529
/proc/meminfo: memFree=128661868/131382120 swapFree=33010416/33010684
[pid=50516] ppid=50507 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/50516/stat : 50516 (run-opt.sh) S 50507 50516 50456 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51851791 4292608 768 18446744073709551615 94880305434624 94880306329157 140731444763760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94880306568208 94880306615952 94880321859584 140731444771181 140731444771304 140731444771304 140731444776906 0
/proc/50516/statm: 1048 768 704 219 0 110 0
[pid=50523] ppid=50516 vsize=440636 memory=360088 CPUtime=3.06 cores=0,2
/proc/50523/stat : 50523 (roundingsat) R 50516 50516 50456 0 -1 4194304 27993 0 0 0 223 83 0 0 20 0 1 0 51851793 451211264 90022 18446744073709551615 4227072 8923433 140735583655104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34353152 140735583656354 140735583656488 140735583656488 140735583662058 0
/proc/50523/statm: 110159 90022 2304 1147 0 97586 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 444828 KiB
Current children cumulated memory: 363160 KiB

[startup+6.3003 s]
/proc/loadavg: 1.60 1.22 1.82 6/256 50529
/proc/meminfo: memFree=126254736/131382120 swapFree=33010416/33010684
[pid=50516] ppid=50507 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/50516/stat : 50516 (run-opt.sh) S 50507 50516 50456 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51851791 4292608 768 18446744073709551615 94880305434624 94880306329157 140731444763760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94880306568208 94880306615952 94880321859584 140731444771181 140731444771304 140731444771304 140731444776906 0
/proc/50516/statm: 1048 768 704 219 0 110 0
[pid=50523] ppid=50516 vsize=1195948 memory=937224 CPUtime=6.24 cores=0,2
/proc/50523/stat : 50523 (roundingsat) R 50516 50516 50456 0 -1 4194304 131212 0 0 0 465 159 0 0 20 0 1 0 51851793 1224650752 234306 18446744073709551615 4227072 8923433 140735583655104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34353152 140735583656354 140735583656488 140735583656488 140735583662058 0
/proc/50523/statm: 298987 234306 2400 1147 0 286414 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1200140 KiB
Current children cumulated memory: 940296 KiB

[startup+12.7003 s]
/proc/loadavg: 1.79 1.27 1.83 6/257 50531
/proc/meminfo: memFree=126092844/131382120 swapFree=33010416/33010684
[pid=50516] ppid=50507 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/50516/stat : 50516 (run-opt.sh) S 50507 50516 50456 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51851791 4292608 768 18446744073709551615 94880305434624 94880306329157 140731444763760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94880306568208 94880306615952 94880321859584 140731444771181 140731444771304 140731444771304 140731444776906 0
/proc/50516/statm: 1048 768 704 219 0 110 0
[pid=50523] ppid=50516 vsize=1276856 memory=999868 CPUtime=12.62 cores=0,2
/proc/50523/stat : 50523 (roundingsat) R 50516 50516 50456 0 -1 4194304 132568 0 0 0 1075 187 0 0 20 0 1 0 51851793 1307500544 249967 18446744073709551615 4227072 8923433 140735583655104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34353152 140735583656354 140735583656488 140735583656488 140735583662058 0
/proc/50523/statm: 319214 249967 2400 1147 0 306641 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 1281048 KiB
Current children cumulated memory: 1002940 KiB

[startup+25.5003 s]
/proc/loadavg: 2.13 1.36 1.85 6/257 50531
/proc/meminfo: memFree=125448948/131382120 swapFree=33010416/33010684
[pid=50516] ppid=50507 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/50516/stat : 50516 (run-opt.sh) S 50507 50516 50456 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51851791 4292608 768 18446744073709551615 94880305434624 94880306329157 140731444763760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94880306568208 94880306615952 94880321859584 140731444771181 140731444771304 140731444771304 140731444776906 0
/proc/50516/statm: 1048 768 704 219 0 110 0
[pid=50523] ppid=50516 vsize=1450876 memory=1140628 CPUtime=25.38 cores=0,2
/proc/50523/stat : 50523 (roundingsat) R 50516 50516 50456 0 -1 4194304 150413 0 0 0 2333 205 0 0 20 0 1 0 51851793 1485697024 285157 18446744073709551615 4227072 8923433 140735583655104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34353152 140735583656354 140735583656488 140735583656488 140735583662058 0
/proc/50523/statm: 362719 285157 2400 1147 0 350146 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1455068 KiB
Current children cumulated memory: 1143700 KiB

[startup+51.1128 s]
/proc/loadavg: 2.99 1.65 1.93 6/257 50531
/proc/meminfo: memFree=124605392/131382120 swapFree=33010416/33010684
[pid=50516] ppid=50507 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/50516/stat : 50516 (run-opt.sh) S 50507 50516 50456 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51851791 4292608 768 18446744073709551615 94880305434624 94880306329157 140731444763760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94880306568208 94880306615952 94880321859584 140731444771181 140731444771304 140731444771304 140731444776906 0
/proc/50516/statm: 1048 768 704 219 0 110 0
[pid=50523] ppid=50516 vsize=1590028 memory=1282504 CPUtime=50.89 cores=0,2
/proc/50523/stat : 50523 (roundingsat) R 50516 50516 50456 0 -1 4194304 174628 0 0 0 4867 222 0 0 20 0 1 0 51851793 1628188672 320626 18446744073709551615 4227072 8923433 140735583655104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34353152 140735583656354 140735583656488 140735583656488 140735583662058 0
/proc/50523/statm: 397507 320626 2400 1147 0 384934 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 1594220 KiB
Current children cumulated memory: 1285576 KiB

[startup+102.3 s]
/proc/loadavg: 3.62 2.03 2.05 6/259 50535
/proc/meminfo: memFree=123980904/131382120 swapFree=33010416/33010684
[pid=50516] ppid=50507 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/50516/stat : 50516 (run-opt.sh) S 50507 50516 50456 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51851791 4292608 768 18446744073709551615 94880305434624 94880306329157 140731444763760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94880306568208 94880306615952 94880321859584 140731444771181 140731444771304 140731444771304 140731444776906 0
/proc/50516/statm: 1048 768 704 219 0 110 0
[pid=50523] ppid=50516 vsize=1937736 memory=1507368 CPUtime=101.9 cores=0,2
/proc/50523/stat : 50523 (roundingsat) R 50516 50516 50456 0 -1 4194304 213011 0 0 0 9937 253 0 0 20 0 1 0 51851793 1984241664 376842 18446744073709551615 4227072 8923433 140735583655104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34353152 140735583656354 140735583656488 140735583656488 140735583662058 0
/proc/50523/statm: 484434 376842 2400 1147 0 471861 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 1941928 KiB
Current children cumulated memory: 1510440 KiB

[startup+162.3 s]
/proc/loadavg: 3.90 2.40 2.18 6/259 50537
/proc/meminfo: memFree=123617060/131382120 swapFree=33010416/33010684
[pid=50516] ppid=50507 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/50516/stat : 50516 (run-opt.sh) S 50507 50516 50456 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51851791 4292608 768 18446744073709551615 94880305434624 94880306329157 140731444763760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94880306568208 94880306615952 94880321859584 140731444771181 140731444771304 140731444771304 140731444776906 0
/proc/50516/statm: 1048 768 704 219 0 110 0
[pid=50523] ppid=50516 vsize=2043864 memory=1626500 CPUtime=161.69 cores=0,2
/proc/50523/stat : 50523 (roundingsat) R 50516 50516 50456 0 -1 4194304 233054 0 0 0 15903 266 0 0 20 0 1 0 51851793 2092916736 406625 18446744073709551615 4227072 8923433 140735583655104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34353152 140735583656354 140735583656488 140735583656488 140735583662058 0
/proc/50523/statm: 510966 406625 2400 1147 0 498393 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 2048056 KiB
Current children cumulated memory: 1629572 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 2.73 2.31 6/260 50546
/proc/meminfo: memFree=123365648/131382120 swapFree=33010416/33010684
[pid=50516] ppid=50507 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/50516/stat : 50516 (run-opt.sh) S 50507 50516 50456 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51851791 4292608 768 18446744073709551615 94880305434624 94880306329157 140731444763760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94880306568208 94880306615952 94880321859584 140731444771181 140731444771304 140731444771304 140731444776906 0
/proc/50516/statm: 1048 768 704 219 0 110 0
[pid=50523] ppid=50516 vsize=2117860 memory=1724004 CPUtime=221.49 cores=0,2
/proc/50523/stat : 50523 (roundingsat) R 50516 50516 50456 0 -1 4194304 249348 0 0 0 21865 284 0 0 20 0 1 0 51851793 2168688640 431001 18446744073709551615 4227072 8923433 140735583655104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34353152 140735583656354 140735583656488 140735583656488 140735583662058 0
/proc/50523/statm: 529465 431001 2400 1147 0 516892 0
Current children cumulated CPU time: 221.49 s

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

[pid=50523] ppid=50516 vsize=3372428 memory=2692644 CPUtime=3092.7 cores=0,2
/proc/50523/stat : 50523 (roundingsat) R 50516 50516 50456 0 -1 4194304 379913 0 0 0 308582 688 0 0 20 0 1 0 51851793 3453366272 673161 18446744073709551615 4227072 8923433 140735583655104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34353152 140735583656354 140735583656488 140735583656488 140735583662058 0
/proc/50523/statm: 843107 673161 2400 1147 0 830534 0
Current children cumulated CPU time: 3092.7 s
Current children cumulated vsize: 3376620 KiB
Current children cumulated memory: 2695716 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.08 4.02 7/254 50697
/proc/meminfo: memFree=119306644/131382120 swapFree=33010416/33010684
[pid=50516] ppid=50507 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/50516/stat : 50516 (run-opt.sh) S 50507 50516 50456 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51851791 4292608 768 18446744073709551615 94880305434624 94880306329157 140731444763760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94880306568208 94880306615952 94880321859584 140731444771181 140731444771304 140731444771304 140731444776906 0
/proc/50516/statm: 1048 768 704 219 0 110 0
[pid=50523] ppid=50516 vsize=3372428 memory=2692644 CPUtime=3152.51 cores=0,2
/proc/50523/stat : 50523 (roundingsat) R 50516 50516 50456 0 -1 4194304 379917 0 0 0 314559 692 0 0 20 0 1 0 51851793 3453366272 673161 18446744073709551615 4227072 8923433 140735583655104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34353152 140735583656354 140735583656488 140735583656488 140735583662058 0
/proc/50523/statm: 843107 673161 2400 1147 0 830534 0
Current children cumulated CPU time: 3152.51 s
Current children cumulated vsize: 3376620 KiB
Current children cumulated memory: 2695716 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.09 4.03 6/255 50706
/proc/meminfo: memFree=119264936/131382120 swapFree=33010416/33010684
[pid=50516] ppid=50507 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/50516/stat : 50516 (run-opt.sh) S 50507 50516 50456 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51851791 4292608 768 18446744073709551615 94880305434624 94880306329157 140731444763760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94880306568208 94880306615952 94880321859584 140731444771181 140731444771304 140731444771304 140731444776906 0
/proc/50516/statm: 1048 768 704 219 0 110 0
[pid=50523] ppid=50516 vsize=3372688 memory=2693028 CPUtime=3212.32 cores=0,2
/proc/50523/stat : 50523 (roundingsat) R 50516 50516 50456 0 -1 4194304 380036 0 0 0 320535 697 0 0 20 0 1 0 51851793 3453632512 673257 18446744073709551615 4227072 8923433 140735583655104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34353152 140735583656354 140735583656488 140735583656488 140735583662058 0
/proc/50523/statm: 843172 673257 2400 1147 0 830599 0
Current children cumulated CPU time: 3212.32 s
Current children cumulated vsize: 3376880 KiB
Current children cumulated memory: 2696100 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.09 4.03 6/255 50709
/proc/meminfo: memFree=119290612/131382120 swapFree=33010416/33010684
[pid=50516] ppid=50507 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/50516/stat : 50516 (run-opt.sh) S 50507 50516 50456 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51851791 4292608 768 18446744073709551615 94880305434624 94880306329157 140731444763760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94880306568208 94880306615952 94880321859584 140731444771181 140731444771304 140731444771304 140731444776906 0
/proc/50516/statm: 1048 768 704 219 0 110 0
[pid=50523] ppid=50516 vsize=3372688 memory=2693028 CPUtime=3272.13 cores=0,2
/proc/50523/stat : 50523 (roundingsat) R 50516 50516 50456 0 -1 4194304 380724 0 0 0 326511 702 0 0 20 0 1 0 51851793 3453632512 673257 18446744073709551615 4227072 8923433 140735583655104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34353152 140735583656354 140735583656488 140735583656488 140735583662058 0
/proc/50523/statm: 843172 673257 2400 1147 0 830599 0
Current children cumulated CPU time: 3272.13 s
Current children cumulated vsize: 3376880 KiB
Current children cumulated memory: 2696100 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.09 4.03 6/255 50711
/proc/meminfo: memFree=119260836/131382120 swapFree=33010416/33010684
[pid=50516] ppid=50507 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/50516/stat : 50516 (run-opt.sh) S 50507 50516 50456 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51851791 4292608 768 18446744073709551615 94880305434624 94880306329157 140731444763760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94880306568208 94880306615952 94880321859584 140731444771181 140731444771304 140731444771304 140731444776906 0
/proc/50516/statm: 1048 768 704 219 0 110 0
[pid=50523] ppid=50516 vsize=3372688 memory=2693028 CPUtime=3331.94 cores=0,2
/proc/50523/stat : 50523 (roundingsat) R 50516 50516 50456 0 -1 4194304 380724 0 0 0 332489 705 0 0 20 0 1 0 51851793 3453632512 673257 18446744073709551615 4227072 8923433 140735583655104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34353152 140735583656354 140735583656488 140735583656488 140735583662058 0
/proc/50523/statm: 843172 673257 2400 1147 0 830599 0
Current children cumulated CPU time: 3331.94 s
Current children cumulated vsize: 3376880 KiB
Current children cumulated memory: 2696100 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.10 4.04 6/255 50713
/proc/meminfo: memFree=119196744/131382120 swapFree=33010416/33010684
[pid=50516] ppid=50507 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/50516/stat : 50516 (run-opt.sh) S 50507 50516 50456 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51851791 4292608 768 18446744073709551615 94880305434624 94880306329157 140731444763760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94880306568208 94880306615952 94880321859584 140731444771181 140731444771304 140731444771304 140731444776906 0
/proc/50516/statm: 1048 768 704 219 0 110 0
[pid=50523] ppid=50516 vsize=3373204 memory=2714248 CPUtime=3391.75 cores=0,2
/proc/50523/stat : 50523 (roundingsat) R 50516 50516 50456 0 -1 4194304 380919 0 0 0 338466 709 0 0 20 0 1 0 51851793 3454160896 678562 18446744073709551615 4227072 8923433 140735583655104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34353152 140735583656354 140735583656488 140735583656488 140735583662058 0
/proc/50523/statm: 843301 678562 2400 1147 0 830728 0
Current children cumulated CPU time: 3391.75 s
Current children cumulated vsize: 3377396 KiB
Current children cumulated memory: 2717320 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.04 6/255 50715
/proc/meminfo: memFree=119156660/131382120 swapFree=33010416/33010684
[pid=50516] ppid=50507 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/50516/stat : 50516 (run-opt.sh) S 50507 50516 50456 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51851791 4292608 768 18446744073709551615 94880305434624 94880306329157 140731444763760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94880306568208 94880306615952 94880321859584 140731444771181 140731444771304 140731444771304 140731444776906 0
/proc/50516/statm: 1048 768 704 219 0 110 0
[pid=50523] ppid=50516 vsize=3373204 memory=2714248 CPUtime=3451.56 cores=0,2
/proc/50523/stat : 50523 (roundingsat) R 50516 50516 50456 0 -1 4194304 381630 0 0 0 344442 714 0 0 20 0 1 0 51851793 3454160896 678562 18446744073709551615 4227072 8923433 140735583655104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34353152 140735583656354 140735583656488 140735583656488 140735583662058 0
/proc/50523/statm: 843301 678562 2400 1147 0 830728 0
Current children cumulated CPU time: 3451.56 s
Current children cumulated vsize: 3377396 KiB
Current children cumulated memory: 2717320 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.09 4.04 6/254 50717
/proc/meminfo: memFree=119150172/131382120 swapFree=33010416/33010684
[pid=50516] ppid=50507 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/50516/stat : 50516 (run-opt.sh) S 50507 50516 50456 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51851791 4292608 768 18446744073709551615 94880305434624 94880306329157 140731444763760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94880306568208 94880306615952 94880321859584 140731444771181 140731444771304 140731444771304 140731444776906 0
/proc/50516/statm: 1048 768 704 219 0 110 0
[pid=50523] ppid=50516 vsize=3373204 memory=2714248 CPUtime=3511.36 cores=0,2
/proc/50523/stat : 50523 (roundingsat) R 50516 50516 50456 0 -1 4194304 381735 0 0 0 350420 716 0 0 20 0 1 0 51851793 3454160896 678562 18446744073709551615 4227072 8923433 140735583655104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34353152 140735583656354 140735583656488 140735583656488 140735583662058 0
/proc/50523/statm: 843301 678562 2400 1147 0 830728 0
Current children cumulated CPU time: 3511.36 s
Current children cumulated vsize: 3377396 KiB
Current children cumulated memory: 2717320 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.04 6/253 50719
/proc/meminfo: memFree=119149324/131382120 swapFree=33010416/33010684
[pid=50516] ppid=50507 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/50516/stat : 50516 (run-opt.sh) S 50507 50516 50456 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51851791 4292608 768 18446744073709551615 94880305434624 94880306329157 140731444763760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94880306568208 94880306615952 94880321859584 140731444771181 140731444771304 140731444771304 140731444776906 0
/proc/50516/statm: 1048 768 704 219 0 110 0
[pid=50523] ppid=50516 vsize=3373204 memory=2714248 CPUtime=3571.18 cores=0,2
/proc/50523/stat : 50523 (roundingsat) R 50516 50516 50456 0 -1 4194304 381816 0 0 0 356399 719 0 0 20 0 1 0 51851793 3454160896 678562 18446744073709551615 4227072 8923433 140735583655104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34353152 140735583656354 140735583656488 140735583656488 140735583662058 0
/proc/50523/statm: 843301 678562 2400 1147 0 830728 0
Current children cumulated CPU time: 3571.18 s
Current children cumulated vsize: 3377396 KiB
Current children cumulated memory: 2717320 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.3 s]
/proc/loadavg: 4.16 4.10 4.04 6/254 50721
/proc/meminfo: memFree=119129888/131382120 swapFree=33010416/33010684
[pid=50516] ppid=50507 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/50516/stat : 50516 (run-opt.sh) S 50507 50516 50456 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51851791 4292608 768 18446744073709551615 94880305434624 94880306329157 140731444763760 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94880306568208 94880306615952 94880321859584 140731444771181 140731444771304 140731444771304 140731444776906 0
/proc/50516/statm: 1048 768 704 219 0 110 0
[pid=50523] ppid=50516 vsize=3379608 memory=2733136 CPUtime=3600.09 cores=0,2
/proc/50523/stat : 50523 (roundingsat) R 50516 50516 50456 0 -1 4194304 382792 0 0 0 359288 721 0 0 20 0 1 0 51851793 3460718592 683284 18446744073709551615 4227072 8923433 140735583655104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34353152 140735583656354 140735583656488 140735583656488 140735583662058 0
/proc/50523/statm: 844902 683284 2400 1147 0 832329 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 3383800 KiB
Current children cumulated memory: 2736208 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=0.001388 s, system=0.003067 s
Sleeping 2 seconds

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

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

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

[startup+3611.41 s]*
/proc/loadavg: 4.16 4.10 4.04 5/252 50721
/proc/meminfo: memFree=122997408/131382120 swapFree=33010416/33010684
[pid=50523] ppid=50507 vsize=1208332 memory=962908 CPUtime=3600.2 cores=0,2
/proc/50523/stat : 50523 (roundingsat) R 50507 50516 50456 0 -1 4194304 382980 0 0 0 359297 723 0 0 20 0 1 0 51851793 1237331968 240727 18446744073709551615 4227072 8923433 140735583655104 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34353152 140735583656354 140735583656488 140735583656488 140735583662058 0
/proc/50523/statm: 302083 240727 2496 1147 0 289510 0
Current cumulated CPU time of completed processes: 0.004455 s
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 1208332 KiB
Current children cumulated memory: 962908 KiB

Child status: 2

Real time (s): 3611.43
CPU time (s): 3600.23
CPU user time (s): 3592.99
CPU system time (s): 7.2461
CPU usage (%): 99.6899
Max. virtual memory (cumulated for all children) (KiB): 3383800
Max. memory (cumulated for all children) (KiB): 2736208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.99
system time used= 7.2461
maximum resident set size= 2733520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 383230
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 376
involuntary context switches= 9116


# summary of solver processes directly reported to runsolver:
#   pid: 50516,50523
#   total CPU time (s): 3600.23
#   total CPU user time (s): 3592.99
#   total CPU system time (s): 7.2461

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.8638 second user time and 35.66 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2025-07-01 11:22:04
IDJOB=4489506
IDBENCH=147555
IDSOLVER=3350
FILE ID=nodeC006/4489506-1751361724
RUNJOBID= nodeC006-1751361724-50466
SLURM_JOB_ID= 9598172
Free space on /tmp= 432996 MiB

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

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

MD5SUM BENCH= 50cf9112b5ea763531dadde21846562c
RANDOM SEED=1003632822

nodeC006 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.400
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.135
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1795.708
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1896.192
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1696.349
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1795.705
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.142
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.275
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        130036500 kB
MemAvailable:   129947876 kB
Buffers:            2128 kB
Cached:           713784 kB
SwapCached:           12 kB
Active:           393012 kB
Inactive:         388748 kB
Active(anon):      72708 kB
Inactive(anon):    11092 kB
Active(file):     320304 kB
Inactive(file):   377656 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             96080 kB
Writeback:             8 kB
AnonPages:         68956 kB
Mapped:           102496 kB
Shmem:             17948 kB
KReclaimable:     105700 kB
Slab:             189304 kB
SReclaimable:     105700 kB
SUnreclaim:        83604 kB
KernelStack:        3856 kB
PageTables:         2776 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     330036 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149256 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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:      191304 kB
DirectMap2M:    10196992 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 432964 MiB
End job on nodeC006 at 2025-07-01 12:22:16