Trace number 4489461

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.17 3611.11

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb
MD5SUMe06e3866d9960a7084ad077c8fb9619e
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 benchmark245
Best CPU time to get the best result obtained on this benchmark3587.61
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 495457
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 495457
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.01	c RoundingSat 2
0.00/0.01	c branch pb25
0.00/0.01	c commit 63f22ad
3.07/3.12	c #variables 10000 #constraints 656900
3.07/3.12	c objective is ce32 
4.86/4.93	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
4.86/4.93	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
4.86/4.93	c GLOBAL bounds - >= 0 @ 3.70398
5.16/5.21	c GLOBAL bounds - >= 0 @ 3.96327
5.16/5.22	c GLOBAL bounds - >= 0 @ 3.97123
5.16/5.23	c GLOBAL bounds - >= 0 @ 3.9817
5.26/5.32	c GLOBAL bounds - >= 0 @ 4.06933
5.26/5.33	c GLOBAL bounds - >= 0 @ 4.07759
5.26/5.35	c GLOBAL bounds - >= 0 @ 4.09276
5.26/5.36	c GLOBAL bounds - >= 0 @ 4.10389
5.26/5.37	c GLOBAL bounds - >= 0 @ 4.11628
5.45/5.52	c GLOBAL bounds - >= 0 @ 4.25781
5.45/5.53	c GLOBAL bounds - >= 0 @ 4.27425
5.45/5.55	c GLOBAL bounds - >= 0 @ 4.29054
5.45/5.57	c GLOBAL bounds - >= 0 @ 4.30899
5.56/5.64	c GLOBAL bounds - >= 0 @ 4.3781
5.56/5.68	c GLOBAL bounds - >= 0 @ 4.41924
5.66/5.70	c GLOBAL bounds - >= 0 @ 4.43475
5.66/5.71	c GLOBAL bounds - >= 0 @ 4.44658
5.66/5.72	c GLOBAL bounds - >= 0 @ 4.45822
5.66/5.73	c GLOBAL bounds - >= 0 @ 4.46551
5.66/5.76	c GLOBAL bounds - >= 0 @ 4.49348
5.66/5.77	c GLOBAL bounds - >= 0 @ 4.50556
5.85/5.95	c GLOBAL bounds - >= 0 @ 4.68059
5.85/5.98	c GLOBAL bounds - >= 0 @ 4.71023
5.96/6.03	c GLOBAL bounds - >= 0 @ 4.75669
5.96/6.04	c GLOBAL bounds - >= 0 @ 4.7683
5.96/6.06	c GLOBAL bounds - >= 0 @ 4.78365
5.96/6.08	c GLOBAL bounds - >= 0 @ 4.80218
5.96/6.09	c GLOBAL bounds - >= 0 @ 4.818
6.06/6.11	c GLOBAL bounds - >= 0 @ 4.83108
6.06/6.13	c GLOBAL bounds - >= 0 @ 4.848
6.06/6.15	c GLOBAL bounds - >= 0 @ 4.87239
6.06/6.16	c GLOBAL bounds - >= 0 @ 4.87913
6.06/6.17	c GLOBAL bounds - >= 0 @ 4.89228
6.16/6.20	c GLOBAL bounds - >= 0 @ 4.91855
6.16/6.22	c GLOBAL bounds - >= 0 @ 4.93336
6.16/6.23	c GLOBAL bounds - >= 0 @ 4.94913
6.16/6.25	c GLOBAL bounds - >= 0 @ 4.96732
6.16/6.28	c GLOBAL bounds - >= 0 @ 4.99172
6.25/6.30	c GLOBAL bounds - >= 0 @ 5.00999
6.25/6.31	c GLOBAL bounds - >= 0 @ 5.0171
6.25/6.31	c GLOBAL bounds - >= 0 @ 5.02535
6.25/6.33	c GLOBAL bounds - >= 0 @ 5.03693
6.25/6.34	c GLOBAL bounds - >= 0 @ 5.04806
6.25/6.37	c GLOBAL bounds - >= 0 @ 5.07466
6.55/6.68	c GLOBAL bounds - >= 0 @ 5.37809
6.66/6.70	c GLOBAL bounds - >= 0 @ 5.40132
6.66/6.72	c GLOBAL bounds - >= 0 @ 5.41969
6.66/6.74	c GLOBAL bounds - >= 0 @ 5.43251
6.66/6.76	c GLOBAL bounds - >= 0 @ 5.45441
6.66/6.79	c GLOBAL bounds - >= 0 @ 5.48021
6.75/6.82	c #Conflicts:       1000 | #Constraints:     657996
6.75/6.82	c GLOBAL bounds - >= 0 @ 5.51613
6.75/6.84	c GLOBAL bounds - >= 0 @ 5.52778
6.75/6.85	c GLOBAL bounds - >= 0 @ 5.54177
6.75/6.87	c GLOBAL bounds - >= 0 @ 5.55923
6.75/6.89	c GLOBAL bounds - >= 0 @ 5.57255
6.86/6.91	c GLOBAL bounds - >= 0 @ 5.59769
6.86/6.93	c GLOBAL bounds - >= 0 @ 5.6097
6.86/6.97	c GLOBAL bounds - >= 0 @ 5.64706
6.86/6.99	c GLOBAL bounds - >= 0 @ 5.66603
6.86/7.00	c GLOBAL bounds - >= 0 @ 5.67765
6.96/7.01	c GLOBAL bounds - >= 0 @ 5.68891
6.96/7.02	c GLOBAL bounds - >= 0 @ 5.69833
6.96/7.04	c GLOBAL bounds - >= 0 @ 5.72037
6.96/7.07	c GLOBAL bounds - >= 0 @ 5.74217
6.96/7.08	c GLOBAL bounds - >= 0 @ 5.75234
6.96/7.10	c GLOBAL bounds - >= 0 @ 5.76874
7.06/7.13	c GLOBAL bounds - >= 0 @ 5.80185
7.06/7.15	c GLOBAL bounds - >= 0 @ 5.81976
7.06/7.16	c GLOBAL bounds - >= 0 @ 5.83153
7.06/7.17	c GLOBAL bounds - >= 0 @ 5.8434
7.06/7.19	c GLOBAL bounds - >= 0 @ 5.85461
7.15/7.20	c GLOBAL bounds - >= 0 @ 5.8669
7.15/7.22	c GLOBAL bounds - >= 0 @ 5.8818
7.15/7.23	c GLOBAL bounds - >= 0 @ 5.89042
7.15/7.25	c GLOBAL bounds - >= 0 @ 5.90986
7.15/7.26	c GLOBAL bounds - >= 0 @ 5.92004
7.15/7.28	c GLOBAL bounds - >= 0 @ 5.93929
7.25/7.30	c GLOBAL bounds - >= 0 @ 5.95573
7.25/7.33	c GLOBAL bounds - >= 0 @ 5.99377
7.25/7.37	c GLOBAL bounds - >= 0 @ 6.02534
7.25/7.39	c GLOBAL bounds - >= 0 @ 6.0459
7.36/7.41	c GLOBAL bounds - >= 0 @ 6.06192
7.36/7.44	c GLOBAL bounds - >= 0 @ 6.08915
7.36/7.45	c GLOBAL bounds - >= 0 @ 6.10026
7.36/7.49	c GLOBAL bounds - >= 0 @ 6.14127
7.45/7.55	c GLOBAL bounds - >= 0 @ 6.1929
7.45/7.58	c GLOBAL bounds - >= 0 @ 6.22696
7.56/7.60	c GLOBAL bounds - >= 0 @ 6.24496
7.56/7.62	c GLOBAL bounds - >= 0 @ 6.2606
7.56/7.63	c GLOBAL bounds - >= 0 @ 6.27374
7.56/7.65	c GLOBAL bounds - >= 0 @ 6.28658
7.56/7.66	c GLOBAL bounds - >= 0 @ 6.29343
7.56/7.67	c GLOBAL bounds - >= 0 @ 6.3021
7.56/7.68	c GLOBAL bounds - >= 0 @ 6.31825
7.65/7.70	c GLOBAL bounds - >= 0 @ 6.33443
7.65/7.72	c GLOBAL bounds - >= 0 @ 6.34814
7.65/7.78	c GLOBAL bounds - >= 0 @ 6.40479
7.75/7.81	c GLOBAL bounds - >= 0 @ 6.4437
7.85/8.00	c GLOBAL bounds - >= 0 @ 6.62283
7.95/8.01	c GLOBAL bounds - >= 0 @ 6.63241
7.95/8.02	c GLOBAL bounds - >= 0 @ 6.64806
7.95/8.05	c GLOBAL bounds - >= 0 @ 6.67508
8.06/8.12	c GLOBAL bounds - >= 0 @ 6.74617
8.06/8.13	c GLOBAL bounds - >= 0 @ 6.75568
8.06/8.15	c GLOBAL bounds - >= 0 @ 6.77144
8.06/8.18	c GLOBAL bounds - >= 0 @ 6.79912
8.15/8.20	c GLOBAL bounds - >= 0 @ 6.82026
8.15/8.22	c GLOBAL bounds - >= 0 @ 6.83613
8.15/8.24	c GLOBAL bounds - >= 0 @ 6.85233
8.15/8.28	c GLOBAL bounds - >= 0 @ 6.89852
8.25/8.30	c GLOBAL bounds - >= 0 @ 6.91953
8.25/8.33	c GLOBAL bounds - >= 0 @ 6.94102
8.25/8.35	c GLOBAL bounds - >= 0 @ 6.95628
8.25/8.37	c GLOBAL bounds - >= 0 @ 6.97643
8.25/8.38	c GLOBAL bounds - >= 0 @ 6.98486
8.36/8.40	c GLOBAL bounds - >= 0 @ 7.00319
8.36/8.44	c GLOBAL bounds - >= 0 @ 7.03924
8.36/8.47	c GLOBAL bounds - >= 0 @ 7.0762
8.45/8.50	c GLOBAL bounds - >= 0 @ 7.09983
8.45/8.52	c GLOBAL bounds - >= 0 @ 7.12319
8.45/8.55	c GLOBAL bounds - >= 0 @ 7.14965
8.56/8.60	c GLOBAL bounds - >= 0 @ 7.19591
8.56/8.62	c GLOBAL bounds - >= 0 @ 7.2067
8.56/8.65	c GLOBAL bounds - >= 0 @ 7.23443
8.56/8.68	c GLOBAL bounds - >= 0 @ 7.26255
8.65/8.72	c GLOBAL bounds - >= 0 @ 7.29747
8.65/8.77	c GLOBAL bounds - >= 0 @ 7.34598
8.75/8.86	c GLOBAL bounds - >= 0 @ 7.43555
8.75/8.88	c GLOBAL bounds - >= 0 @ 7.4534
8.85/8.91	c GLOBAL bounds - >= 0 @ 7.4823
8.85/8.93	c GLOBAL bounds - >= 0 @ 7.50125
8.85/8.97	c GLOBAL bounds - >= 0 @ 7.53508
8.85/8.99	c GLOBAL bounds - >= 0 @ 7.5583
8.95/9.01	c GLOBAL bounds - >= 0 @ 7.57864
9.05/9.11	c GLOBAL bounds - >= 0 @ 7.67631
9.05/9.13	c GLOBAL bounds - >= 0 @ 7.68889
9.15/9.24	c GLOBAL bounds - >= 0 @ 7.79563
9.25/9.30	c GLOBAL bounds - >= 0 @ 7.85402
9.25/9.37	c GLOBAL bounds - >= 0 @ 7.9255
9.35/9.40	c GLOBAL bounds - >= 0 @ 7.95385
9.35/9.43	c GLOBAL bounds - >= 0 @ 7.98577
9.35/9.44	c GLOBAL bounds - >= 0 @ 7.99981
9.35/9.46	c GLOBAL bounds - >= 0 @ 8.00977
9.35/9.47	c GLOBAL bounds - >= 0 @ 8.02482
9.35/9.48	c GLOBAL bounds - >= 0 @ 8.03441
9.44/9.51	c GLOBAL bounds - >= 0 @ 8.05905
9.54/9.63	c GLOBAL bounds - >= 0 @ 8.17699
9.54/9.66	c GLOBAL bounds - >= 0 @ 8.20839
9.65/9.71	c GLOBAL bounds - >= 0 @ 8.2527
9.65/9.72	c GLOBAL bounds - >= 0 @ 8.26326
9.75/9.82	c GLOBAL bounds - >= 0 @ 8.3646
9.75/9.83	c GLOBAL bounds - >= 0 @ 8.37398
9.75/9.88	c GLOBAL bounds - >= 0 @ 8.4214
9.84/9.90	c GLOBAL bounds - >= 0 @ 8.44135
9.84/9.92	c GLOBAL bounds - >= 0 @ 8.46019
9.84/9.94	c GLOBAL bounds - >= 0 @ 8.47904
9.84/9.96	c GLOBAL bounds - >= 0 @ 8.49339
10.35/10.45	c GLOBAL bounds - >= 0 @ 8.97041
10.35/10.48	c GLOBAL bounds - >= 0 @ 9.00044
10.45/10.51	c GLOBAL bounds - >= 0 @ 9.02614
10.45/10.52	c GLOBAL bounds - >= 0 @ 9.03711
10.45/10.55	c GLOBAL bounds - >= 0 @ 9.0586
10.45/10.57	c GLOBAL bounds - >= 0 @ 9.08149
10.54/10.68	c GLOBAL bounds - >= 0 @ 9.18144
10.54/10.69	c GLOBAL bounds - >= 0 @ 9.19984
10.65/10.72	c GLOBAL bounds - >= 0 @ 9.22453
10.65/10.74	c GLOBAL bounds - >= 0 @ 9.238
10.65/10.76	c GLOBAL bounds - >= 0 @ 9.25613
10.65/10.77	c GLOBAL bounds - >= 0 @ 9.2697
10.75/10.80	c GLOBAL bounds - >= 0 @ 9.29621
10.75/10.83	c GLOBAL bounds - >= 0 @ 9.32191
10.75/10.84	c GLOBAL bounds - >= 0 @ 9.33056
10.75/10.87	c GLOBAL bounds - >= 0 @ 9.36331
10.84/10.93	c GLOBAL bounds - >= 0 @ 9.42377
10.84/10.96	c GLOBAL bounds - >= 0 @ 9.44933
10.84/10.97	c GLOBAL bounds - >= 0 @ 9.45924
10.84/10.99	c GLOBAL bounds - >= 0 @ 9.46786
10.84/11.00	c GLOBAL bounds - >= 0 @ 9.47672
10.94/11.02	c GLOBAL bounds - >= 0 @ 9.49655
10.94/11.06	c GLOBAL bounds - >= 0 @ 9.53762
12.05/12.15	c GLOBAL bounds - >= 0 @ 10.6098
12.05/12.19	c GLOBAL bounds - >= 0 @ 10.646
12.15/12.22	c GLOBAL bounds - >= 0 @ 10.6698
12.15/12.24	c GLOBAL bounds - >= 0 @ 10.694
12.24/12.32	c GLOBAL bounds - >= 0 @ 10.7702
12.24/12.34	c GLOBAL bounds - >= 0 @ 10.7895
12.34/12.41	c GLOBAL bounds - >= 0 @ 10.8545
12.34/12.44	c GLOBAL bounds - >= 0 @ 10.8795
12.34/12.46	c GLOBAL bounds - >= 0 @ 10.8962
12.34/12.48	c GLOBAL bounds - >= 0 @ 10.9153
12.34/12.49	c GLOBAL bounds - >= 0 @ 10.9273
12.44/12.51	c GLOBAL bounds - >= 0 @ 10.9491
12.44/12.54	c GLOBAL bounds - >= 0 @ 10.9736
12.44/12.55	c GLOBAL bounds - >= 0 @ 10.9854
12.44/12.57	c GLOBAL bounds - >= 0 @ 11.0012
12.44/12.58	c GLOBAL bounds - >= 0 @ 11.013
12.54/12.61	c GLOBAL bounds - >= 0 @ 11.0405
12.54/12.64	c GLOBAL bounds - >= 0 @ 11.0667
12.84/12.95	c #Conflicts:       2000 | #Constraints:     659292
12.84/12.95	c INPROCESSING
12.84/12.95	c GLOBAL bounds - >= 0 @ 11.3737
13.04/13.16	c GLOBAL bounds - >= 0 @ 11.5814
13.44/13.52	c GLOBAL bounds - >= 0 @ 11.9336
13.53/13.61	c GLOBAL bounds - >= 0 @ 12.0201
14.13/14.26	c GLOBAL bounds - >= 0 @ 12.6553
14.43/14.52	c GLOBAL bounds - >= 0 @ 12.9151
14.43/14.54	c GLOBAL bounds - >= 0 @ 12.9286
14.43/14.57	c GLOBAL bounds - >= 0 @ 12.9597
14.53/14.61	c GLOBAL bounds - >= 0 @ 12.9956
14.53/14.65	c GLOBAL bounds - >= 0 @ 13.0327
14.53/14.67	c GLOBAL bounds - >= 0 @ 13.06
14.53/14.69	c GLOBAL bounds - >= 0 @ 13.074
14.64/14.73	c GLOBAL bounds - >= 0 @ 13.1113
14.64/14.75	c GLOBAL bounds - >= 0 @ 13.1328
14.64/14.76	c GLOBAL bounds - >= 0 @ 13.1457
14.64/14.79	c GLOBAL bounds - >= 0 @ 13.1675
14.74/14.82	c GLOBAL bounds - >= 0 @ 13.1962
14.74/14.84	c GLOBAL bounds - >= 0 @ 13.2181
14.74/14.88	c GLOBAL bounds - >= 0 @ 13.2559
14.83/14.92	c GLOBAL bounds - >= 0 @ 13.2935
14.83/14.95	c GLOBAL bounds - >= 0 @ 13.3147
14.83/14.97	c GLOBAL bounds - >= 0 @ 13.3336
14.83/14.99	c GLOBAL bounds - >= 0 @ 13.3599
14.94/15.03	c GLOBAL bounds - >= 0 @ 13.3909
14.94/15.07	c GLOBAL bounds - >= 0 @ 13.4299
15.04/15.13	c GLOBAL bounds - >= 0 @ 13.4877
15.04/15.16	c GLOBAL bounds - >= 0 @ 13.519
15.13/15.28	c GLOBAL bounds - >= 0 @ 13.6367
15.24/15.37	c GLOBAL bounds - >= 0 @ 13.7193
15.33/15.47	c GLOBAL bounds - >= 0 @ 13.8172
15.63/15.73	c GLOBAL bounds - >= 0 @ 14.0711
15.63/15.75	c GLOBAL bounds - >= 0 @ 14.0859
15.73/15.80	c GLOBAL bounds - >= 0 @ 14.1342
15.73/15.82	c GLOBAL bounds - >= 0 @ 14.1511
15.73/15.88	c GLOBAL bounds - >= 0 @ 14.2158
16.33/16.40	c GLOBAL bounds - >= 0 @ 14.7184
16.33/16.49	c GLOBAL bounds - >= 0 @ 14.8135
16.43/16.58	c GLOBAL bounds - >= 0 @ 14.8998
16.53/16.62	c GLOBAL bounds - >= 0 @ 14.9419
16.53/16.66	c GLOBAL bounds - >= 0 @ 14.9745
16.53/16.68	c GLOBAL bounds - >= 0 @ 14.9946
16.63/16.70	c GLOBAL bounds - >= 0 @ 15.0075
18.23/18.32	c #Conflicts:       3000 | #Constraints:     659378
18.23/18.32	c GLOBAL bounds - >= 0 @ 16.6011
18.23/18.39	c GLOBAL bounds - >= 0 @ 16.661
18.32/18.42	c GLOBAL bounds - >= 0 @ 16.6902
18.32/18.45	c GLOBAL bounds - >= 0 @ 16.7206
18.32/18.47	c GLOBAL bounds - >= 0 @ 16.7359
18.43/18.51	c GLOBAL bounds - >= 0 @ 16.7771
18.43/18.53	c GLOBAL bounds - >= 0 @ 16.7933
18.43/18.58	c GLOBAL bounds - >= 0 @ 16.844
18.52/18.62	c GLOBAL bounds - >= 0 @ 16.8802
18.52/18.66	c GLOBAL bounds - >= 0 @ 16.9172
18.73/18.85	c GLOBAL bounds - >= 0 @ 17.1043
18.73/18.89	c GLOBAL bounds - >= 0 @ 17.1467
18.82/18.92	c GLOBAL bounds - >= 0 @ 17.1668
18.82/18.93	c GLOBAL bounds - >= 0 @ 17.1794
18.82/18.99	c GLOBAL bounds - >= 0 @ 17.2391
18.93/19.03	c GLOBAL bounds - >= 0 @ 17.2761
19.42/19.57	c GLOBAL bounds - >= 0 @ 17.7973
19.52/19.63	c GLOBAL bounds - >= 0 @ 17.8552
19.52/19.64	c GLOBAL bounds - >= 0 @ 17.8716
19.62/19.70	c GLOBAL bounds - >= 0 @ 17.9269
19.62/19.79	c GLOBAL bounds - >= 0 @ 18.0064
19.72/19.83	c GLOBAL bounds - >= 0 @ 18.0475
19.72/19.85	c GLOBAL bounds - >= 0 @ 18.0724
19.72/19.88	c GLOBAL bounds - >= 0 @ 18.0992
19.82/19.91	c GLOBAL bounds - >= 0 @ 18.1233
19.82/19.94	c GLOBAL bounds - >= 0 @ 18.1561
19.93/20.07	c GLOBAL bounds - >= 0 @ 18.2835
19.93/20.09	c GLOBAL bounds - >= 0 @ 18.3013
20.03/20.12	c GLOBAL bounds - >= 0 @ 18.3275
20.42/20.57	c GLOBAL bounds - >= 0 @ 18.7658
20.52/20.66	c GLOBAL bounds - >= 0 @ 18.8545
21.03/21.17	c GLOBAL bounds - >= 0 @ 19.3551
21.12/21.24	c GLOBAL bounds - >= 0 @ 19.4268
21.12/21.27	c GLOBAL bounds - >= 0 @ 19.4508
21.22/21.34	c GLOBAL bounds - >= 0 @ 19.5229
21.22/21.39	c GLOBAL bounds - >= 0 @ 19.5744
21.32/21.44	c GLOBAL bounds - >= 0 @ 19.6163
21.32/21.46	c GLOBAL bounds - >= 0 @ 19.6368
21.41/21.54	c GLOBAL bounds - >= 0 @ 19.7144
21.41/21.58	c GLOBAL bounds - >= 0 @ 19.745
21.52/21.60	c GLOBAL bounds - >= 0 @ 19.7593
21.71/21.84	c GLOBAL bounds - >= 0 @ 19.9959
21.82/21.93	c GLOBAL bounds - >= 0 @ 20.082
21.82/21.96	c GLOBAL bounds - >= 0 @ 20.1126
21.82/22.00	c GLOBAL bounds - >= 0 @ 20.1432
21.92/22.02	c GLOBAL bounds - >= 0 @ 20.1662
22.92/23.05	c GLOBAL bounds - >= 0 @ 21.1617
23.02/23.12	c GLOBAL bounds - >= 0 @ 21.2221
23.02/23.19	c GLOBAL bounds - >= 0 @ 21.2929
23.81/23.92	c #Conflicts:       4000 | #Constraints:     660476
23.81/23.92	c GLOBAL bounds - >= 0 @ 22.0026
23.92/24.02	c GLOBAL bounds - >= 0 @ 22.0981
23.92/24.10	c GLOBAL bounds - >= 0 @ 22.1788
24.02/24.12	c GLOBAL bounds - >= 0 @ 22.2008
24.11/24.23	c GLOBAL bounds - >= 0 @ 22.3018
24.11/24.27	c GLOBAL bounds - >= 0 @ 22.3369
24.80/24.97	c INPROCESSING
24.80/24.97	c GARBAGE COLLECT
24.80/24.97	c GLOBAL bounds - >= 0 @ 23.03
24.80/24.99	c GLOBAL bounds - >= 0 @ 23.0472
24.91/25.04	c GLOBAL bounds - >= 0 @ 23.0962
24.91/25.08	c GLOBAL bounds - >= 0 @ 23.1362
25.41/25.53	c GLOBAL bounds - >= 0 @ 23.5731
25.41/25.56	c GLOBAL bounds - >= 0 @ 23.596
26.01/26.15	c GLOBAL bounds - >= 0 @ 24.1749
26.10/26.27	c GLOBAL bounds - >= 0 @ 24.2947
26.20/26.31	c GLOBAL bounds - >= 0 @ 24.3252
26.20/26.34	c GLOBAL bounds - >= 0 @ 24.3552
26.20/26.36	c GLOBAL bounds - >= 0 @ 24.3721
27.60/27.70	c GLOBAL bounds - >= 0 @ 25.691
27.70/27.81	c GLOBAL bounds - >= 0 @ 25.7959
27.70/27.86	c GLOBAL bounds - >= 0 @ 25.845
27.80/27.93	c GLOBAL bounds - >= 0 @ 25.9011
27.80/27.95	c GLOBAL bounds - >= 0 @ 25.9196
27.91/28.00	c GLOBAL bounds - >= 0 @ 25.9754
27.91/28.02	c GLOBAL bounds - >= 0 @ 25.9909
28.20/28.31	c GLOBAL bounds - >= 0 @ 26.2689
28.70/28.85	c GLOBAL bounds - >= 0 @ 26.7965
29.60/29.70	c #Conflicts:       5000 | #Constraints:     659930
29.60/29.70	c GLOBAL bounds - >= 0 @ 27.636
29.69/29.86	c GLOBAL bounds - >= 0 @ 27.7879
30.00/30.19	c GLOBAL bounds - >= 0 @ 28.1194
47.14/47.35	c #Conflicts:       6000 | #Constraints:     660936
47.14/47.35	c INPROCESSING
47.14/47.35	c GARBAGE COLLECT
47.14/47.35	c #Conflicts:       7000 | #Constraints:     659949
47.14/47.35	c GLOBAL bounds - >= 0 @ 44.9702
51.33/51.59	c #Conflicts:       8000 | #Constraints:     660951
51.33/51.59	c GLOBAL bounds - >= 0 @ 49.1684
51.73/51.97	c GLOBAL bounds - >= 0 @ 49.535
52.53/52.71	c GLOBAL bounds - >= 0 @ 50.2622
54.02/54.28	c GLOBAL bounds - >= 0 @ 51.8167
54.23/54.44	c GLOBAL bounds - >= 0 @ 51.9768
54.62/54.84	c GLOBAL bounds - >= 0 @ 52.3655
54.62/54.88	c GLOBAL bounds - >= 0 @ 52.3998
60.21/60.43	c #Conflicts:       9000 | #Constraints:     661965
60.21/60.43	c INPROCESSING
60.21/60.43	c GARBAGE COLLECT
60.21/60.43	c GLOBAL bounds - >= 0 @ 57.8194
60.31/60.50	c GLOBAL bounds - >= 0 @ 57.886
60.41/60.61	c GLOBAL bounds - >= 0 @ 57.9876
61.81/62.03	c GLOBAL bounds - >= 0 @ 59.3834
61.91/62.16	c GLOBAL bounds - >= 0 @ 59.5042
62.00/62.20	c GLOBAL bounds - >= 0 @ 59.5466
66.98/67.26	c #Conflicts:      10000 | #Constraints:     660679
66.98/67.26	c GLOBAL bounds - >= 0 @ 64.497
66.98/67.29	c GLOBAL bounds - >= 0 @ 64.5205
67.38/67.65	c GLOBAL bounds - >= 0 @ 64.8699
72.66/72.90	c #Conflicts:      11000 | #Constraints:     661685
72.66/72.90	c GLOBAL bounds - >= 0 @ 70.0457
72.77/73.03	c GLOBAL bounds - >= 0 @ 70.1674
75.16/75.42	c GLOBAL bounds - >= 0 @ 72.5083
75.26/75.56	c GLOBAL bounds - >= 0 @ 72.644
75.76/76.10	c GLOBAL bounds - >= 0 @ 73.1672
79.05/79.34	c #Conflicts:      12000 | #Constraints:     662695
79.05/79.34	c INPROCESSING
79.05/79.34	c GARBAGE COLLECT
79.05/79.34	c GLOBAL bounds - >= 0 @ 76.3375
79.35/79.64	c GLOBAL bounds - >= 0 @ 76.6379
82.14/82.47	c GLOBAL bounds - >= 0 @ 79.4075
84.04/84.32	c GLOBAL bounds - >= 0 @ 81.2302
84.33/84.65	c GLOBAL bounds - >= 0 @ 81.5567
84.54/84.82	c GLOBAL bounds - >= 0 @ 81.7168
85.03/85.30	c GLOBAL bounds - >= 0 @ 82.1902
85.23/85.54	c GLOBAL bounds - >= 0 @ 82.4243
85.34/85.66	c #Conflicts:      13000 | #Constraints:     661161
85.34/85.66	c GLOBAL bounds - >= 0 @ 82.5432
86.23/86.56	c GLOBAL bounds - >= 0 @ 83.4226
86.53/86.80	c GLOBAL bounds - >= 0 @ 83.656
86.83/87.14	c GLOBAL bounds - >= 0 @ 83.9916
86.93/87.26	c GLOBAL bounds - >= 0 @ 84.1128
100.98/101.30	c #Conflicts:      14000 | #Constraints:     662171
100.98/101.30	c #Conflicts:      15000 | #Constraints:     663171
100.98/101.30	c INPROCESSING
100.98/101.30	c GARBAGE COLLECT
100.98/101.30	c GLOBAL bounds - >= 0 @ 97.9373
102.09/102.45	c GLOBAL bounds - >= 0 @ 99.0718
131.20/131.69	c #Conflicts:      16000 | #Constraints:     661399
131.20/131.69	c #Conflicts:      17000 | #Constraints:     662399
131.20/131.69	c #Conflicts:      18000 | #Constraints:     663399
131.20/131.69	c INPROCESSING
131.20/131.69	c GARBAGE COLLECT
131.20/131.69	c GLOBAL bounds - >= 0 @ 127.911
135.40/135.85	c #Conflicts:      19000 | #Constraints:     661421
135.40/135.85	c GLOBAL bounds - >= 0 @ 132.021
135.89/136.32	c GLOBAL bounds - >= 0 @ 132.488
137.88/138.32	c GLOBAL bounds - >= 0 @ 134.464
138.19/138.68	c GLOBAL bounds - >= 0 @ 134.814
139.48/139.92	c GLOBAL bounds - >= 0 @ 136.033
139.88/140.31	c GLOBAL bounds - >= 0 @ 136.416
139.98/140.44	c GLOBAL bounds - >= 0 @ 136.544
141.38/141.89	c #Conflicts:      20000 | #Constraints:     662435
141.38/141.89	c GLOBAL bounds - >= 0 @ 137.977
141.48/141.96	c GLOBAL bounds - >= 0 @ 138.038
142.38/142.89	c GLOBAL bounds - >= 0 @ 138.948
142.78/143.25	c GLOBAL bounds - >= 0 @ 139.3
163.91/164.45	c #Conflicts:      21000 | #Constraints:     663443
163.91/164.45	c INPROCESSING
163.91/164.45	c GARBAGE COLLECT
163.91/164.45	c #Conflicts:      22000 | #Constraints:     661239
163.91/164.45	c GLOBAL bounds - >= 0 @ 160.204
168.51/169.05	c #Conflicts:      23000 | #Constraints:     662241
168.51/169.05	c GLOBAL bounds - >= 0 @ 164.733
173.19/173.74	c GLOBAL bounds - >= 0 @ 169.344
173.99/174.58	c GLOBAL bounds - >= 0 @ 170.175
175.38/175.95	c GLOBAL bounds - >= 0 @ 171.535
270.93/271.78	c #Conflicts:      24000 | #Constraints:     663249
270.93/271.78	c #Conflicts:      25000 | #Constraints:     664249
270.93/271.78	c INPROCESSING
270.93/271.78	c GARBAGE COLLECT
270.93/271.78	c #Conflicts:      26000 | #Constraints:     661855
270.93/271.78	c #Conflicts:      27000 | #Constraints:     662855
270.93/271.78	c #Conflicts:      28000 | #Constraints:     663855
270.93/271.78	c #Conflicts:      29000 | #Constraints:     664855
270.93/271.78	c INPROCESSING
270.93/271.78	c GARBAGE COLLECT
270.93/271.78	c #Conflicts:      30000 | #Constraints:     662251
270.93/271.78	c #Conflicts:      31000 | #Constraints:     663251
270.93/271.78	c GLOBAL bounds - >= 0 @ 266.395
273.62/274.48	c GLOBAL bounds - >= 0 @ 269.073
273.92/274.73	c GLOBAL bounds - >= 0 @ 269.32
274.72/275.54	c GLOBAL bounds - >= 0 @ 270.122
275.12/275.96	c GLOBAL bounds - >= 0 @ 270.537
276.62/277.44	c GLOBAL bounds - >= 0 @ 272
277.11/277.91	c GLOBAL bounds - >= 0 @ 272.454
282.20/283.00	c #Conflicts:      32000 | #Constraints:     664265
282.20/283.00	c GLOBAL bounds - >= 0 @ 277.475
282.20/283.06	c GLOBAL bounds - >= 0 @ 277.529
282.99/283.89	c GLOBAL bounds - >= 0 @ 278.35
521.84/523.32	c #Conflicts:      33000 | #Constraints:     665271
521.84/523.32	c INPROCESSING
521.84/523.32	c GARBAGE COLLECT
521.84/523.32	c #Conflicts:      34000 | #Constraints:     662470
521.84/523.32	c #Conflicts:      35000 | #Constraints:     663470
521.84/523.32	c #Conflicts:      36000 | #Constraints:     664470
521.84/523.32	c #Conflicts:      37000 | #Constraints:     665470
521.84/523.32	c INPROCESSING
521.84/523.32	c GARBAGE COLLECT
521.84/523.32	c #Conflicts:      38000 | #Constraints:     662477
521.84/523.32	c #Conflicts:      39000 | #Constraints:     663477
521.84/523.32	c #Conflicts:      40000 | #Constraints:     664477
521.84/523.32	c #Conflicts:      41000 | #Constraints:     665477
521.84/523.32	c INPROCESSING
521.84/523.32	c GARBAGE COLLECT
521.84/523.32	c #Conflicts:      42000 | #Constraints:     662285
521.84/523.32	c #Conflicts:      43000 | #Constraints:     663285
521.84/523.32	c #Conflicts:      44000 | #Constraints:     664285
521.84/523.32	c #Conflicts:      45000 | #Constraints:     665285
521.84/523.32	c #Conflicts:      46000 | #Constraints:     666285
521.84/523.32	c INPROCESSING
521.84/523.32	c GARBAGE COLLECT
521.84/523.32	c GLOBAL bounds - >= 0 @ 515.672
531.42/532.96	c #Conflicts:      47000 | #Constraints:     662879
531.42/532.96	c GLOBAL bounds - >= 0 @ 525.21
541.79/543.31	c GLOBAL bounds - >= 0 @ 535.445
543.29/544.82	c #Conflicts:      48000 | #Constraints:     663883
543.29/544.82	c GLOBAL bounds - >= 0 @ 536.94
675.61/677.55	c #Conflicts:      49000 | #Constraints:     664885
675.61/677.55	c #Conflicts:      50000 | #Constraints:     665885
675.61/677.55	c #Conflicts:      51000 | #Constraints:     666885
675.61/677.55	c INPROCESSING
675.61/677.55	c GARBAGE COLLECT
675.61/677.55	c #Conflicts:      52000 | #Constraints:     663289
675.61/677.55	c #Conflicts:      53000 | #Constraints:     664289
675.61/677.55	c #Conflicts:      54000 | #Constraints:     665289
675.61/677.55	c #Conflicts:      55000 | #Constraints:     666289
675.61/677.55	c #Conflicts:      56000 | #Constraints:     667289
675.61/677.55	c INPROCESSING
675.61/677.55	c GARBAGE COLLECT
675.61/677.55	c GLOBAL bounds - >= 0 @ 668.45
685.49/687.41	c #Conflicts:      57000 | #Constraints:     663491
685.49/687.41	c GLOBAL bounds - >= 0 @ 678.163
709.32/711.36	c #Conflicts:      58000 | #Constraints:     664493
709.32/711.36	c #Conflicts:      59000 | #Constraints:     665493
709.32/711.36	c GLOBAL bounds - >= 0 @ 701.853
730.06/732.17	c #Conflicts:      60000 | #Constraints:     666495
730.06/732.17	c #Conflicts:      61000 | #Constraints:     667495
730.06/732.17	c INPROCESSING
730.06/732.17	c GARBAGE COLLECT
730.06/732.17	c GLOBAL bounds - >= 0 @ 722.442
1434.03/1438.13	c #Conflicts:      62000 | #Constraints:     663501
1434.03/1438.13	c #Conflicts:      63000 | #Constraints:     664501
1434.03/1438.13	c #Conflicts:      64000 | #Constraints:     665501
1434.03/1438.13	c #Conflicts:      65000 | #Constraints:     666501
1434.03/1438.13	c #Conflicts:      66000 | #Constraints:     667501
1434.03/1438.13	c INPROCESSING
1434.03/1438.13	c GARBAGE COLLECT
1434.03/1438.13	c #Conflicts:      67000 | #Constraints:     663296
1434.03/1438.13	c #Conflicts:      68000 | #Constraints:     664296
1434.03/1438.13	c #Conflicts:      69000 | #Constraints:     665296
1434.03/1438.13	c #Conflicts:      70000 | #Constraints:     666296
1434.03/1438.13	c #Conflicts:      71000 | #Constraints:     667296
1434.03/1438.13	c #Conflicts:      72000 | #Constraints:     668296
1434.03/1438.13	c INPROCESSING
1434.03/1438.13	c GARBAGE COLLECT
1434.03/1438.13	c #Conflicts:      73000 | #Constraints:     663898
1434.03/1438.13	c #Conflicts:      74000 | #Constraints:     664898
1434.03/1438.13	c #Conflicts:      75000 | #Constraints:     665898
1434.03/1438.13	c #Conflicts:      76000 | #Constraints:     666898
1434.03/1438.13	c #Conflicts:      77000 | #Constraints:     667898
1434.03/1438.13	c #Conflicts:      78000 | #Constraints:     668898
1434.03/1438.13	c INPROCESSING
1434.03/1438.13	c GARBAGE COLLECT
1434.03/1438.13	c #Conflicts:      79000 | #Constraints:     664299
1434.03/1438.13	c #Conflicts:      80000 | #Constraints:     665299
1434.03/1438.13	c #Conflicts:      81000 | #Constraints:     666299
1434.03/1438.13	c #Conflicts:      82000 | #Constraints:     667299
1434.03/1438.13	c #Conflicts:      83000 | #Constraints:     668299
1434.03/1438.13	c #Conflicts:      84000 | #Constraints:     669299
1434.03/1438.13	c INPROCESSING
1434.03/1438.13	c GARBAGE COLLECT
1434.03/1438.13	c #Conflicts:      85000 | #Constraints:     664504
1434.03/1438.13	c #Conflicts:      86000 | #Constraints:     665504
1434.03/1438.13	c #Conflicts:      87000 | #Constraints:     666504
1434.03/1438.13	c #Conflicts:      88000 | #Constraints:     667504
1434.03/1438.13	c #Conflicts:      89000 | #Constraints:     668504
1434.03/1438.13	c #Conflicts:      90000 | #Constraints:     669504
1434.03/1438.13	c INPROCESSING
1434.03/1438.13	c GARBAGE COLLECT
1434.03/1438.13	c #Conflicts:      91000 | #Constraints:     664505
1434.03/1438.13	c #Conflicts:      92000 | #Constraints:     665505
1434.03/1438.13	c #Conflicts:      93000 | #Constraints:     666505
1434.03/1438.13	c #Conflicts:      94000 | #Constraints:     667505
1434.03/1438.13	c #Conflicts:      95000 | #Constraints:     668505
1434.03/1438.13	c #Conflicts:      96000 | #Constraints:     669505
1434.03/1438.13	c INPROCESSING
1434.03/1438.13	c GARBAGE COLLECT
1434.03/1438.13	c #Conflicts:      97000 | #Constraints:     664319
1434.03/1438.13	c #Conflicts:      98000 | #Constraints:     665319
1434.03/1438.13	c #Conflicts:      99000 | #Constraints:     666319
1434.03/1438.13	c #Conflicts:     100000 | #Constraints:     667319
1434.03/1438.13	c #Conflicts:     101000 | #Constraints:     668319
1434.03/1438.13	c #Conflicts:     102000 | #Constraints:     669319
1434.03/1438.13	c GLOBAL bounds - >= 0 @ 1422.27
1865.23/1870.50	c #Conflicts:     103000 | #Constraints:     670321
1865.23/1870.50	c INPROCESSING
1865.23/1870.50	c GARBAGE COLLECT
1865.23/1870.50	c #Conflicts:     104000 | #Constraints:     664914
1865.23/1870.50	c #Conflicts:     105000 | #Constraints:     665914
1865.23/1870.50	c #Conflicts:     106000 | #Constraints:     666914
1865.23/1870.50	c #Conflicts:     107000 | #Constraints:     667914
1865.23/1870.50	c #Conflicts:     108000 | #Constraints:     668914
1865.23/1870.50	c #Conflicts:     109000 | #Constraints:     669914
1865.23/1870.50	c #Conflicts:     110000 | #Constraints:     670914
1865.23/1870.50	c INPROCESSING
1865.23/1870.50	c GARBAGE COLLECT
1865.23/1870.50	c #Conflicts:     111000 | #Constraints:     665309
1865.23/1870.50	c #Conflicts:     112000 | #Constraints:     666309
1865.23/1870.50	c #Conflicts:     113000 | #Constraints:     667309
1865.23/1870.50	c #Conflicts:     114000 | #Constraints:     668309
1865.23/1870.50	c #Conflicts:     115000 | #Constraints:     669309
1865.23/1870.50	c #Conflicts:     116000 | #Constraints:     670309
1865.23/1870.50	c #Conflicts:     117000 | #Constraints:     671309
1865.23/1870.50	c INPROCESSING
1865.23/1870.50	c GARBAGE COLLECT
1865.23/1870.50	c #Conflicts:     118000 | #Constraints:     665511
1865.23/1870.50	c #Conflicts:     119000 | #Constraints:     666511
1865.23/1870.50	c #Conflicts:     120000 | #Constraints:     667511
1865.23/1870.50	c #Conflicts:     121000 | #Constraints:     668511
1865.23/1870.50	c #Conflicts:     122000 | #Constraints:     669511
1865.23/1870.50	c #Conflicts:     123000 | #Constraints:     670511
1865.23/1870.50	c GLOBAL bounds - >= 0 @ 1851.5
1879.88/1885.23	c #Conflicts:     124000 | #Constraints:     671513
1879.88/1885.23	c INPROCESSING
1879.88/1885.23	c GARBAGE COLLECT
1879.88/1885.23	c GLOBAL bounds - >= 0 @ 1866.12
1902.32/1907.71	c #Conflicts:     125000 | #Constraints:     665508
1902.32/1907.71	c GLOBAL bounds - >= 0 @ 1888.37
1907.90/1913.36	c #Conflicts:     126000 | #Constraints:     666510
1907.90/1913.36	c GLOBAL bounds - >= 0 @ 1893.96
1908.60/1914.07	c GLOBAL bounds - >= 0 @ 1894.66
1908.71/1914.16	c GLOBAL bounds - >= 0 @ 1894.75
1908.90/1914.38	c GLOBAL bounds - >= 0 @ 1894.97
1911.88/1917.33	c GLOBAL bounds - >= 0 @ 1897.89
3060.08/3069.22	c #Conflicts:     127000 | #Constraints:     667520
3060.08/3069.22	c #Conflicts:     128000 | #Constraints:     668520
3060.08/3069.22	c #Conflicts:     129000 | #Constraints:     669520
3060.08/3069.22	c #Conflicts:     130000 | #Constraints:     670520
3060.08/3069.22	c #Conflicts:     131000 | #Constraints:     671520
3060.08/3069.22	c INPROCESSING
3060.08/3069.22	c GARBAGE COLLECT
3060.08/3069.22	c #Conflicts:     132000 | #Constraints:     665312
3060.08/3069.22	c #Conflicts:     133000 | #Constraints:     666312
3060.08/3069.22	c #Conflicts:     134000 | #Constraints:     667312
3060.08/3069.22	c #Conflicts:     135000 | #Constraints:     668312
3060.08/3069.22	c #Conflicts:     136000 | #Constraints:     669312
3060.08/3069.22	c #Conflicts:     137000 | #Constraints:     670312
3060.08/3069.22	c #Conflicts:     138000 | #Constraints:     671312
3060.08/3069.22	c #Conflicts:     139000 | #Constraints:     672312
3060.08/3069.22	c INPROCESSING
3060.08/3069.22	c GARBAGE COLLECT
3060.08/3069.22	c #Conflicts:     140000 | #Constraints:     665924
3060.08/3069.22	c #Conflicts:     141000 | #Constraints:     666924
3060.08/3069.22	c #Conflicts:     142000 | #Constraints:     667924
3060.08/3069.22	c #Conflicts:     143000 | #Constraints:     668924
3060.08/3069.22	c #Conflicts:     144000 | #Constraints:     669924
3060.08/3069.22	c #Conflicts:     145000 | #Constraints:     670924
3060.08/3069.22	c #Conflicts:     146000 | #Constraints:     671924
3060.08/3069.22	c #Conflicts:     147000 | #Constraints:     672924
3060.08/3069.22	c INPROCESSING
3060.08/3069.22	c GARBAGE COLLECT
3060.08/3069.22	c #Conflicts:     148000 | #Constraints:     666337
3060.08/3069.22	c #Conflicts:     149000 | #Constraints:     667337
3060.08/3069.22	c #Conflicts:     150000 | #Constraints:     668337
3060.08/3069.22	c #Conflicts:     151000 | #Constraints:     669337
3060.08/3069.22	c #Conflicts:     152000 | #Constraints:     670337
3060.08/3069.22	c #Conflicts:     153000 | #Constraints:     671337
3060.08/3069.22	c #Conflicts:     154000 | #Constraints:     672337
3060.08/3069.22	c #Conflicts:     155000 | #Constraints:     673337
3060.08/3069.22	c INPROCESSING
3060.08/3069.22	c GARBAGE COLLECT
3060.08/3069.22	c #Conflicts:     156000 | #Constraints:     666528
3060.08/3069.22	c #Conflicts:     157000 | #Constraints:     667528
3060.08/3069.22	c #Conflicts:     158000 | #Constraints:     668528
3060.08/3069.22	c #Conflicts:     159000 | #Constraints:     669528
3060.08/3069.22	c #Conflicts:     160000 | #Constraints:     670528
3060.08/3069.22	c #Conflicts:     161000 | #Constraints:     671528
3060.08/3069.22	c #Conflicts:     162000 | #Constraints:     672528
3060.08/3069.22	c #Conflicts:     163000 | #Constraints:     673528
3060.08/3069.22	c INPROCESSING
3060.08/3069.22	c GARBAGE COLLECT
3060.08/3069.22	c #Conflicts:     164000 | #Constraints:     666530
3060.08/3069.22	c #Conflicts:     165000 | #Constraints:     667530
3060.08/3069.22	c #Conflicts:     166000 | #Constraints:     668530
3060.08/3069.22	c #Conflicts:     167000 | #Constraints:     669530
3060.08/3069.22	c #Conflicts:     168000 | #Constraints:     670530
3060.08/3069.22	c #Conflicts:     169000 | #Constraints:     671530
3060.08/3069.22	c #Conflicts:     170000 | #Constraints:     672530
3060.08/3069.22	c #Conflicts:     171000 | #Constraints:     673530
3060.08/3069.22	c INPROCESSING
3060.08/3069.22	c GARBAGE COLLECT
3060.08/3069.22	c #Conflicts:     172000 | #Constraints:     666327
3060.08/3069.22	c #Conflicts:     173000 | #Constraints:     667327
3060.08/3069.22	c #Conflicts:     174000 | #Constraints:     668327
3060.08/3069.22	c #Conflicts:     175000 | #Constraints:     669327
3060.08/3069.22	c #Conflicts:     176000 | #Constraints:     670327
3060.08/3069.22	c #Conflicts:     177000 | #Constraints:     671327
3060.08/3069.22	c #Conflicts:     178000 | #Constraints:     672327
3060.08/3069.22	c #Conflicts:     179000 | #Constraints:     673327
3060.08/3069.22	c #Conflicts:     180000 | #Constraints:     674327
3060.08/3069.22	c INPROCESSING
3060.08/3069.22	c GARBAGE COLLECT
3060.08/3069.22	c #Conflicts:     181000 | #Constraints:     666926
3060.08/3069.22	c #Conflicts:     182000 | #Constraints:     667926
3060.08/3069.22	c #Conflicts:     183000 | #Constraints:     668926
3060.08/3069.22	c #Conflicts:     184000 | #Constraints:     669926
3060.08/3069.22	c #Conflicts:     185000 | #Constraints:     670926
3060.08/3069.22	c #Conflicts:     186000 | #Constraints:     671926
3060.08/3069.22	c GLOBAL bounds - >= 0 @ 3040.32
3079.22/3088.48	c #Conflicts:     187000 | #Constraints:     672928
3079.22/3088.48	c GLOBAL bounds - >= 0 @ 3059.47
3600.01/3610.90	c #Conflicts:     188000 | #Constraints:     673930
3600.01/3610.90	c #Conflicts:     189000 | #Constraints:     674930
3600.01/3610.90	c INPROCESSING
3600.01/3610.90	c GARBAGE COLLECT
3600.01/3610.90	c #Conflicts:     190000 | #Constraints:     667331
3600.01/3610.90	c #Conflicts:     191000 | #Constraints:     668331
3600.01/3610.90	c #Conflicts:     192000 | #Constraints:     669331
3600.01/3610.90	c #Conflicts:     193000 | #Constraints:     670331
3600.01/3610.90	c #Conflicts:     194000 | #Constraints:     671331
3600.01/3610.90	c #Conflicts:     195000 | #Constraints:     672331
3600.01/3610.90	c #Conflicts:     196000 | #Constraints:     673331
3600.01/3610.90	c #Conflicts:     197000 | #Constraints:     674331
3600.01/3610.90	c #Conflicts:     198000 | #Constraints:     675331
3600.01/3610.90	c INPROCESSING
3600.01/3610.90	c GARBAGE COLLECT
3600.01/3610.90	c #Conflicts:     199000 | #Constraints:     667534
3600.01/3610.90	c #Conflicts:     200000 | #Constraints:     668534
3600.01/3610.90	c #Conflicts:     201000 | #Constraints:     669534
3600.01/3610.90	c #Conflicts:     202000 | #Constraints:     670534
3600.01/3610.90	c #Conflicts:     203000 | #Constraints:     671534
3600.01/3610.90	c #Conflicts:     204000 | #Constraints:     672534
3600.01/3610.90	c #Conflicts:     205000 | #Constraints:     673534
3600.01/3610.90	c #Conflicts:     206000 | #Constraints:     674534
3600.01/3610.90	c #Conflicts:     207000 | #Constraints:     675534
3600.01/3610.90	c INPROCESSING
3600.01/3610.90	c GARBAGE COLLECT
3600.01/3610.90	c #Conflicts:     208000 | #Constraints:     667537
3600.01/3610.90	c #Conflicts:     209000 | #Constraints:     668537
3600.01/3610.90	c #Conflicts:     210000 | #Constraints:     669537
3600.01/3610.90	c #Conflicts:     211000 | #Constraints:     670537
3600.01/3610.90	c #Conflicts:     212000 | #Constraints:     671537
3600.01/3610.90	c #Conflicts:     213000 | #Constraints:     672537
3600.01/3610.90	c #Conflicts:     214000 | #Constraints:     673537
3600.01/3610.90	c #Conflicts:     215000 | #Constraints:     674537
3600.01/3610.90	c #Conflicts:     216000 | #Constraints:     675537
3600.01/3610.90	c cpu time 3577.52 s
3600.01/3610.90	c deterministic time 1 1.00e+00
3600.01/3610.90	c optimization time 3575.08 s
3600.01/3610.90	c total solve time 0 s
3600.01/3610.90	c core-guided solve time 0 s
3600.01/3610.90	c propagation time 0.210319 s
3600.01/3610.90	c conflict analysis time 0 s
3600.01/3610.90	c propagations 0
3600.01/3610.90	c resolve steps 0
3600.01/3610.90	c decisions 0
3600.01/3610.90	c conflicts 0
3600.01/3610.90	c restarts 0
3600.01/3610.90	c inprocessing phases 0
3600.01/3610.90	c garbage collections 0 ,( -nan )
3600.01/3610.90	c input clauses 656900 ,( 100.00 )
3600.01/3610.90	c input cardinalities 0 ,( 0.00 )
3600.01/3610.90	c input general constraints 0 ,( 0.00 )
3600.01/3610.90	c input average constraint length 2.03
3600.01/3610.90	c input average constraint degree 1.00
3600.01/3610.90	c learned clauses 0 ,( 0.00 )
3600.01/3610.90	c learned cardinalities 0 ,( 0.00 )
3600.01/3610.90	c learned general constraints 0 ,( 0.00 )
3600.01/3610.90	c learned average constraint length 0.00
3600.01/3610.90	c learned average constraint degree 0.00
3600.01/3610.90	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.01/3610.90	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.01/3610.90	c watched   constraints 0 ,( -nan ) 
3600.01/3610.90	c counting  constraints 0 ,( -nan ) 
3600.01/3610.90	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.01/3610.90	c gcd simplifications 0
3600.01/3610.90	c detected cardinalities 0
3600.01/3610.90	c weakened non-implied lits 0
3600.01/3610.90	c weakened non-implying lits 0
3600.01/3610.90	c original variables 10000
3600.01/3610.90	c clausal propagations 0
3600.01/3610.90	c cardinality propagations 0
3600.01/3610.90	c watched propagations 0
3600.01/3610.90	c counting propagations 0
3600.01/3610.90	c watch lookups 0
3600.01/3610.90	c watch backjump lookups 0
3600.01/3610.90	c watch checks 0
3600.01/3610.90	c propagation checks 0
3600.01/3610.90	c constraint additions 0
3600.01/3610.90	c trail pops 0
3600.01/3610.90	c formula constraints 656900
3600.01/3610.90	c learned constraints 0
3600.01/3610.90	c bound constraints 0
3600.01/3610.90	c core-guided constraints 0
3600.01/3610.90	c encountered formula constraints 0
3600.01/3610.90	c encountered learned constraints 0
3600.01/3610.90	c encountered bound constraints 0
3600.01/3610.90	c encountered core-guided constraints 0
3600.01/3610.90	c LP total time 0 s
3600.01/3610.90	c LP solve time 0 s
3600.01/3610.90	c LP constraints added 0
3600.01/3610.90	c LP constraints removed 0
3600.01/3610.90	c LP pivots internal 0
3600.01/3610.90	c LP pivots root 0
3600.01/3610.90	c LP calls 0
3600.01/3610.90	c LP optimalities 0
3600.01/3610.90	c LP no pivot count 0
3600.01/3610.90	c LP infeasibilities 0
3600.01/3610.90	c LP valid Farkas constraints 0
3600.01/3610.90	c LP learned Farkas constraints 0
3600.01/3610.90	c LP basis resets 0
3600.01/3610.90	c LP cycling count 0
3600.01/3610.90	c LP singular count 0
3600.01/3610.90	c LP no primal count 0
3600.01/3610.90	c LP no farkas count 0
3600.01/3610.90	c LP other issue count 0
3600.01/3610.90	c LP Gomory cuts 0
3600.01/3610.90	c LP learned cuts 0
3600.01/3610.90	c LP deleted cuts 0
3600.01/3610.90	c LP encountered Gomory constraints 0
3600.01/3610.90	c LP encountered Farkas constraints 0
3600.01/3610.90	c LP encountered learned Farkas constraints 0
3600.01/3610.90	c CG auxiliary variables introduced 0
3600.01/3610.90	c CG solutions found 0
3600.01/3610.90	c CG cores constructed 0
3600.01/3610.90	c CG core cardinality constraints returned 0
3600.01/3610.90	c CG unit cores 0
3600.01/3610.90	c CG single cores 0
3600.01/3610.90	c CG blocks removed during cardinality reduction 0
3600.01/3610.90	c CG first core best 0
3600.01/3610.90	c CG decision core best 0
3600.01/3610.90	c CG core reduction tie 0
3600.01/3610.90	c CG core degree average 0.00
3600.01/3610.90	c CG core slack average 0.00
3600.01/3610.90	c CG core upper bound improvements 0
3600.01/3610.90	c STR number of successful calls 0
3600.01/3610.90	c STR number of unsuccessful calls 0
3600.01/3610.90	c STR number of inconclusive calls 0
3600.01/3610.90	c STR number of successful attempts 0
3600.01/3610.90	c STR number of unsuccessful attempts 0
3600.01/3610.90	c STR number of inconclusive attempts 0
3600.01/3610.90	c STR average degree increase per successful call inf
3600.01/3610.90	c STR average degree increase per successful attempt inf
3600.01/3610.90	c STR total number of conflicts for successful attempts 0
3600.01/3610.90	c STR total number of conflicts for unsuccessful attempts 0
3600.01/3610.90	c STR total number of conflicts for inconclusive attempts 0
3600.01/3610.90	c STR average number of conflicts per successful attempt inf
3600.01/3610.90	c STR average number of conflicts per unsuccessful attempt inf
3600.01/3610.90	c STR average number of conflicts per inconclusive attempt inf
3600.01/3610.90	c AVG.sumWPerc -nan 
3600.01/3610.90	c bigint constraints 0 
3600.01/3610.90	s UNKNOWN
3600.01/3610.90	c Program interrupted by user.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (62694 MiB free)
  memory of node 1: 64507 MiB (63987 MiB free)
  node distances:
     10  21
     21  10

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

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

solver pid=49744, runsolver pid=49741

[startup+0.100059 s]*
/proc/loadavg: 2.83 3.79 3.99 5/268 49746
/proc/meminfo: memFree=129707532/131249988 swapFree=33010160/33010684
[pid=49744] ppid=49741 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/49744/stat : 49744 (run-opt-log.sh) S 49741 49744 49673 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51683080 4292608 768 18446744073709551615 94415506628608 94415507523141 140724886966544 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94415507762192 94415507809936 94415518224384 140724886972705 140724886972900 140724886972900 140724886978502 0
/proc/49744/statm: 1048 768 704 219 0 110 0
[pid=49746] ppid=49744 vsize=60604 memory=15628 CPUtime=0.07 cores=0,2
/proc/49746/stat : 49746 (roundingsat) R 49744 49744 49673 0 -1 4194304 2087 0 0 0 5 2 0 0 20 0 1 0 51683081 62058496 3907 18446744073709551615 4227072 8923433 140734845968272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19742720 140734845970770 140734845970984 140734845970984 140734845976554 0
/proc/49746/statm: 15151 3907 1952 1147 0 2578 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 64796 KiB
Current children cumulated memory: 18700 KiB

[startup+0.205122 s]*
/proc/loadavg: 2.83 3.79 3.99 5/268 49746
/proc/meminfo: memFree=129693672/131249988 swapFree=33010160/33010684
[pid=49744] ppid=49741 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/49744/stat : 49744 (run-opt-log.sh) S 49741 49744 49673 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51683080 4292608 768 18446744073709551615 94415506628608 94415507523141 140724886966544 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94415507762192 94415507809936 94415518224384 140724886972705 140724886972900 140724886972900 140724886978502 0
/proc/49744/statm: 1048 768 704 219 0 110 0
[pid=49746] ppid=49744 vsize=64784 memory=21468 CPUtime=0.18 cores=0,2
/proc/49746/stat : 49746 (roundingsat) R 49744 49744 49673 0 -1 4194304 3011 0 0 0 13 5 0 0 20 0 1 0 51683081 66338816 5367 18446744073709551615 4227072 8923433 140734845968272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19742720 140734845970770 140734845970984 140734845970984 140734845976554 0
/proc/49746/statm: 16196 5367 1952 1147 0 3623 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 68976 KiB
Current children cumulated memory: 24540 KiB

[startup+0.30519 s]*
/proc/loadavg: 2.83 3.79 3.99 5/268 49746
/proc/meminfo: memFree=129675780/131249988 swapFree=33010160/33010684
[pid=49744] ppid=49741 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/49744/stat : 49744 (run-opt-log.sh) S 49741 49744 49673 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51683080 4292608 768 18446744073709551615 94415506628608 94415507523141 140724886966544 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94415507762192 94415507809936 94415518224384 140724886972705 140724886972900 140724886972900 140724886978502 0
/proc/49744/statm: 1048 768 704 219 0 110 0
[pid=49746] ppid=49744 vsize=68380 memory=25308 CPUtime=0.28 cores=0,2
/proc/49746/stat : 49746 (roundingsat) R 49744 49744 49673 0 -1 4194304 3983 0 0 0 20 8 0 0 20 0 1 0 51683081 70021120 6327 18446744073709551615 4227072 8923433 140734845968272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19742720 140734845970770 140734845970984 140734845970984 140734845976554 0
/proc/49746/statm: 17095 6327 1952 1147 0 4522 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 72572 KiB
Current children cumulated memory: 28380 KiB

[startup+0.700155 s]
/proc/loadavg: 2.83 3.79 3.99 5/268 49746
/proc/meminfo: memFree=129662172/131249988 swapFree=33010160/33010684
[pid=49744] ppid=49741 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/49744/stat : 49744 (run-opt-log.sh) S 49741 49744 49673 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51683080 4292608 768 18446744073709551615 94415506628608 94415507523141 140724886966544 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94415507762192 94415507809936 94415518224384 140724886972705 140724886972900 140724886972900 140724886978502 0
/proc/49744/statm: 1048 768 704 219 0 110 0
[pid=49746] ppid=49744 vsize=89260 memory=44228 CPUtime=0.67 cores=0,2
/proc/49746/stat : 49746 (roundingsat) R 49744 49744 49673 0 -1 4194304 9287 0 0 0 49 18 0 0 20 0 1 0 51683081 91402240 11057 18446744073709551615 4227072 8923433 140734845968272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19742720 140734845970770 140734845970984 140734845970984 140734845976554 0
/proc/49746/statm: 22315 11057 1952 1147 0 9742 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 93452 KiB
Current children cumulated memory: 47300 KiB

[startup+1.50017 s]
/proc/loadavg: 2.83 3.79 3.99 5/268 49746
/proc/meminfo: memFree=129607236/131249988 swapFree=33010160/33010684
[pid=49744] ppid=49741 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/49744/stat : 49744 (run-opt-log.sh) S 49741 49744 49673 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51683080 4292608 768 18446744073709551615 94415506628608 94415507523141 140724886966544 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94415507762192 94415507809936 94415518224384 140724886972705 140724886972900 140724886972900 140724886978502 0
/proc/49744/statm: 1048 768 704 219 0 110 0
[pid=49746] ppid=49744 vsize=135688 memory=83660 CPUtime=1.46 cores=0,2
/proc/49746/stat : 49746 (roundingsat) R 49744 49744 49673 0 -1 4194304 18218 0 0 0 111 35 0 0 20 0 1 0 51683081 138944512 20915 18446744073709551615 4227072 8923433 140734845968272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19742720 140734845970770 140734845970984 140734845970984 140734845976554 0
/proc/49746/statm: 33922 20915 1952 1147 0 21349 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 139880 KiB
Current children cumulated memory: 86732 KiB

[startup+3.10533 s]
/proc/loadavg: 2.92 3.80 3.99 5/268 49746
/proc/meminfo: memFree=128961548/131249988 swapFree=33010160/33010684
[pid=49744] ppid=49741 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/49744/stat : 49744 (run-opt-log.sh) S 49741 49744 49673 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51683080 4292608 768 18446744073709551615 94415506628608 94415507523141 140724886966544 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94415507762192 94415507809936 94415518224384 140724886972705 140724886972900 140724886972900 140724886978502 0
/proc/49744/statm: 1048 768 704 219 0 110 0
[pid=49746] ppid=49744 vsize=767300 memory=513440 CPUtime=3.07 cores=0,2
/proc/49746/stat : 49746 (roundingsat) R 49744 49744 49673 0 -1 4194304 42825 0 0 0 242 65 0 0 20 0 1 0 51683081 785715200 128360 18446744073709551615 4227072 8923433 140734845968272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19742720 140734845970770 140734845970984 140734845970984 140734845976554 0
/proc/49746/statm: 191825 128360 2272 1147 0 179252 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 771492 KiB
Current children cumulated memory: 516512 KiB

[startup+6.30016 s]
/proc/loadavg: 2.92 3.80 3.99 5/270 49748
/proc/meminfo: memFree=128582160/131249988 swapFree=33010160/33010684
[pid=49744] ppid=49741 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/49744/stat : 49744 (run-opt-log.sh) S 49741 49744 49673 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51683080 4292608 768 18446744073709551615 94415506628608 94415507523141 140724886966544 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94415507762192 94415507809936 94415518224384 140724886972705 140724886972900 140724886972900 140724886978502 0
/proc/49744/statm: 1048 768 704 219 0 110 0
[pid=49746] ppid=49744 vsize=1222640 memory=954668 CPUtime=6.25 cores=0,2
/proc/49746/stat : 49746 (roundingsat) R 49744 49744 49673 0 -1 4194304 139198 0 0 0 500 125 0 0 20 0 1 0 51683081 1251983360 238667 18446744073709551615 4227072 8923433 140734845968272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19742720 140734845970770 140734845970984 140734845970984 140734845976554 0
/proc/49746/statm: 305660 238667 2368 1147 0 293087 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 1226832 KiB
Current children cumulated memory: 957740 KiB

[startup+12.7002 s]
/proc/loadavg: 3.01 3.80 3.99 5/270 49748
/proc/meminfo: memFree=128283132/131249988 swapFree=33010160/33010684
[pid=49744] ppid=49741 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/49744/stat : 49744 (run-opt-log.sh) S 49741 49744 49673 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51683080 4292608 768 18446744073709551615 94415506628608 94415507523141 140724886966544 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94415507762192 94415507809936 94415518224384 140724886972705 140724886972900 140724886972900 140724886978502 0
/proc/49744/statm: 1048 768 704 219 0 110 0
[pid=49746] ppid=49744 vsize=1253460 memory=997676 CPUtime=12.64 cores=0,2
/proc/49746/stat : 49746 (roundingsat) R 49744 49744 49673 0 -1 4194304 139734 0 0 0 1112 152 0 0 20 0 1 0 51683081 1283543040 249419 18446744073709551615 4227072 8923433 140734845968272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19742720 140734845970770 140734845970984 140734845970984 140734845976554 0
/proc/49746/statm: 313365 249419 2368 1147 0 300792 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1257652 KiB
Current children cumulated memory: 1000748 KiB

[startup+25.5002 s]
/proc/loadavg: 3.23 3.81 3.99 5/270 49749
/proc/meminfo: memFree=127690564/131249988 swapFree=33010160/33010684
[pid=49744] ppid=49741 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/49744/stat : 49744 (run-opt-log.sh) S 49741 49744 49673 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51683080 4292608 768 18446744073709551615 94415506628608 94415507523141 140724886966544 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94415507762192 94415507809936 94415518224384 140724886972705 140724886972900 140724886972900 140724886978502 0
/proc/49744/statm: 1048 768 704 219 0 110 0
[pid=49746] ppid=49744 vsize=1446148 memory=1122260 CPUtime=25.41 cores=0,2
/proc/49746/stat : 49746 (roundingsat) R 49744 49744 49673 0 -1 4194304 150989 0 0 0 2354 187 0 0 20 0 1 0 51683081 1480855552 280565 18446744073709551615 4227072 8923433 140734845968272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19742720 140734845970770 140734845970984 140734845970984 140734845976554 0
/proc/49746/statm: 361537 280565 2368 1147 0 348964 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1450340 KiB
Current children cumulated memory: 1125332 KiB

[startup+51.1054 s]
/proc/loadavg: 3.49 3.83 4.00 5/271 49750
/proc/meminfo: memFree=126892900/131249988 swapFree=33010160/33010684
[pid=49744] ppid=49741 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/49744/stat : 49744 (run-opt-log.sh) S 49741 49744 49673 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51683080 4292608 768 18446744073709551615 94415506628608 94415507523141 140724886966544 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94415507762192 94415507809936 94415518224384 140724886972705 140724886972900 140724886972900 140724886978502 0
/proc/49744/statm: 1048 768 704 219 0 110 0
[pid=49746] ppid=49744 vsize=1535376 memory=1242688 CPUtime=50.94 cores=0,2
/proc/49746/stat : 49746 (roundingsat) R 49744 49744 49673 0 -1 4194304 169861 0 0 0 4868 226 0 0 20 0 1 0 51683081 1572225024 310672 18446744073709551615 4227072 8923433 140734845968272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19742720 140734845970770 140734845970984 140734845970984 140734845976554 0
/proc/49746/statm: 383844 310672 2368 1147 0 371271 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1539568 KiB
Current children cumulated memory: 1245760 KiB

[startup+102.3 s]
/proc/loadavg: 3.92 3.89 4.01 5/271 49753
/proc/meminfo: memFree=125382368/131249988 swapFree=33010160/33010684
[pid=49744] ppid=49741 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/49744/stat : 49744 (run-opt-log.sh) S 49741 49744 49673 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51683080 4292608 768 18446744073709551615 94415506628608 94415507523141 140724886966544 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94415507762192 94415507809936 94415518224384 140724886972705 140724886972900 140724886972900 140724886978502 0
/proc/49744/statm: 1048 768 704 219 0 110 0
[pid=49746] ppid=49744 vsize=1942496 memory=1503412 CPUtime=101.99 cores=0,2
/proc/49746/stat : 49746 (roundingsat) R 49744 49744 49673 0 -1 4194304 217689 0 0 0 9892 307 0 0 20 0 1 0 51683081 1989115904 375853 18446744073709551615 4227072 8923433 140734845968272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19742720 140734845970770 140734845970984 140734845970984 140734845976554 0
/proc/49746/statm: 485624 375853 2368 1147 0 473051 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 1946688 KiB
Current children cumulated memory: 1506484 KiB

[startup+162.3 s]
/proc/loadavg: 4.01 3.92 4.01 5/272 49756
/proc/meminfo: memFree=123954224/131249988 swapFree=33010160/33010684
[pid=49744] ppid=49741 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/49744/stat : 49744 (run-opt-log.sh) S 49741 49744 49673 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51683080 4292608 768 18446744073709551615 94415506628608 94415507523141 140724886966544 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94415507762192 94415507809936 94415518224384 140724886972705 140724886972900 140724886972900 140724886978502 0
/proc/49744/statm: 1048 768 704 219 0 110 0
[pid=49746] ppid=49744 vsize=2015344 memory=1613060 CPUtime=161.82 cores=0,2
/proc/49746/stat : 49746 (roundingsat) R 49744 49744 49673 0 -1 4194304 234374 0 0 0 15806 376 0 0 20 0 1 0 51683081 2063712256 403265 18446744073709551615 4227072 8923433 140734845968272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19742720 140734845970770 140734845970984 140734845970984 140734845976554 0
/proc/49746/statm: 503836 403265 2368 1147 0 491263 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 2019536 KiB
Current children cumulated memory: 1616132 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 3.97 4.01 5/272 49761
/proc/meminfo: memFree=122891832/131249988 swapFree=33010160/33010684
[pid=49744] ppid=49741 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/49744/stat : 49744 (run-opt-log.sh) S 49741 49744 49673 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51683080 4292608 768 18446744073709551615 94415506628608 94415507523141 140724886966544 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94415507762192 94415507809936 94415518224384 140724886972705 140724886972900 140724886972900 140724886978502 0
/proc/49744/statm: 1048 768 704 219 0 110 0
[pid=49746] ppid=49744 vsize=2020852 memory=1630636 CPUtime=221.66 cores=0,2
/proc/49746/stat : 49746 (roundingsat) R 49744 49744 49673 0 -1 4194304 236276 0 0 0 21735 431 0 0 20 0 1 0 51683081 2069352448 407659 18446744073709551615 4227072 8923433 140734845968272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19742720 140734845970770 140734845970984 140734845970984 140734845976554 0

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

/proc/49744/stat : 49744 (run-opt-log.sh) S 49741 49744 49673 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51683080 4292608 768 18446744073709551615 94415506628608 94415507523141 140724886966544 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94415507762192 94415507809936 94415518224384 140724886972705 140724886972900 140724886972900 140724886978502 0
/proc/49744/statm: 1048 768 704 219 0 110 0
[pid=49746] ppid=49744 vsize=3427244 memory=2751800 CPUtime=3152.88 cores=0,2
/proc/49746/stat : 49746 (roundingsat) R 49744 49744 49673 0 -1 4194304 391333 0 0 0 313253 2035 0 0 20 0 1 0 51683081 3509497856 687950 18446744073709551615 4227072 8923433 140734845968272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19742720 140734845970770 140734845970984 140734845970984 140734845976554 0
/proc/49746/statm: 856811 687950 2368 1147 0 844238 0
Current children cumulated CPU time: 3152.88 s
Current children cumulated vsize: 3431436 KiB
Current children cumulated memory: 2754872 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/274 49939
/proc/meminfo: memFree=93042492/131249988 swapFree=33010160/33010684
[pid=49744] ppid=49741 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/49744/stat : 49744 (run-opt-log.sh) S 49741 49744 49673 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51683080 4292608 768 18446744073709551615 94415506628608 94415507523141 140724886966544 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94415507762192 94415507809936 94415518224384 140724886972705 140724886972900 140724886972900 140724886978502 0
/proc/49744/statm: 1048 768 704 219 0 110 0
[pid=49746] ppid=49744 vsize=3427244 memory=2751800 CPUtime=3212.68 cores=0,2
/proc/49746/stat : 49746 (roundingsat) R 49744 49744 49673 0 -1 4194304 391334 0 0 0 319206 2062 0 0 20 0 1 0 51683081 3509497856 687950 18446744073709551615 4227072 8923433 140734845968272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19742720 140734845970770 140734845970984 140734845970984 140734845976554 0
/proc/49746/statm: 856811 687950 2368 1147 0 844238 0
Current children cumulated CPU time: 3212.68 s
Current children cumulated vsize: 3431436 KiB
Current children cumulated memory: 2754872 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/273 49941
/proc/meminfo: memFree=92580740/131249988 swapFree=33010160/33010684
[pid=49744] ppid=49741 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/49744/stat : 49744 (run-opt-log.sh) S 49741 49744 49673 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51683080 4292608 768 18446744073709551615 94415506628608 94415507523141 140724886966544 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94415507762192 94415507809936 94415518224384 140724886972705 140724886972900 140724886972900 140724886978502 0
/proc/49744/statm: 1048 768 704 219 0 110 0
[pid=49746] ppid=49744 vsize=3428016 memory=2753080 CPUtime=3272.49 cores=0,2
/proc/49746/stat : 49746 (roundingsat) R 49744 49744 49673 0 -1 4194304 391697 0 0 0 325162 2087 0 0 20 0 1 0 51683081 3510288384 688270 18446744073709551615 4227072 8923433 140734845968272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19742720 140734845970770 140734845970984 140734845970984 140734845976554 0
/proc/49746/statm: 857004 688270 2368 1147 0 844431 0
Current children cumulated CPU time: 3272.49 s
Current children cumulated vsize: 3432208 KiB
Current children cumulated memory: 2756152 KiB

[startup+3342.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/273 49943
/proc/meminfo: memFree=92070888/131249988 swapFree=33010160/33010684
[pid=49744] ppid=49741 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/49744/stat : 49744 (run-opt-log.sh) S 49741 49744 49673 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51683080 4292608 768 18446744073709551615 94415506628608 94415507523141 140724886966544 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94415507762192 94415507809936 94415518224384 140724886972705 140724886972900 140724886972900 140724886978502 0
/proc/49744/statm: 1048 768 704 219 0 110 0
[pid=49746] ppid=49744 vsize=3428016 memory=2753080 CPUtime=3332.29 cores=0,2
/proc/49746/stat : 49746 (roundingsat) R 49744 49744 49673 0 -1 4194304 392416 0 0 0 331108 2121 0 0 20 0 1 0 51683081 3510288384 688270 18446744073709551615 4227072 8923433 140734845968272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19742720 140734845970770 140734845970984 140734845970984 140734845976554 0
/proc/49746/statm: 857004 688270 2368 1147 0 844431 0
Current children cumulated CPU time: 3332.29 s
Current children cumulated vsize: 3432208 KiB
Current children cumulated memory: 2756152 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.11 4.10 5/273 49944
/proc/meminfo: memFree=91505868/131249988 swapFree=33010160/33010684
[pid=49744] ppid=49741 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/49744/stat : 49744 (run-opt-log.sh) S 49741 49744 49673 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51683080 4292608 768 18446744073709551615 94415506628608 94415507523141 140724886966544 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94415507762192 94415507809936 94415518224384 140724886972705 140724886972900 140724886972900 140724886978502 0
/proc/49744/statm: 1048 768 704 219 0 110 0
[pid=49746] ppid=49744 vsize=3428016 memory=2753080 CPUtime=3392.09 cores=0,2
/proc/49746/stat : 49746 (roundingsat) R 49744 49744 49673 0 -1 4194304 392418 0 0 0 337058 2151 0 0 20 0 1 0 51683081 3510288384 688270 18446744073709551615 4227072 8923433 140734845968272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19742720 140734845970770 140734845970984 140734845970984 140734845976554 0
/proc/49746/statm: 857004 688270 2368 1147 0 844431 0
Current children cumulated CPU time: 3392.09 s
Current children cumulated vsize: 3432208 KiB
Current children cumulated memory: 2756152 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/273 49951
/proc/meminfo: memFree=91041724/131249988 swapFree=33010160/33010684
[pid=49744] ppid=49741 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/49744/stat : 49744 (run-opt-log.sh) S 49741 49744 49673 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51683080 4292608 768 18446744073709551615 94415506628608 94415507523141 140724886966544 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94415507762192 94415507809936 94415518224384 140724886972705 140724886972900 140724886972900 140724886978502 0
/proc/49744/statm: 1048 768 704 219 0 110 0
[pid=49746] ppid=49744 vsize=3490156 memory=2792720 CPUtime=3451.9 cores=0,2
/proc/49746/stat : 49746 (roundingsat) R 49744 49744 49673 0 -1 4194304 400297 0 0 0 343014 2176 0 0 20 0 1 0 51683081 3573919744 698180 18446744073709551615 4227072 8923433 140734845968272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19742720 140734845970770 140734845970984 140734845970984 140734845976554 0
/proc/49746/statm: 872539 698180 2368 1147 0 859966 0
Current children cumulated CPU time: 3451.9 s
Current children cumulated vsize: 3494348 KiB
Current children cumulated memory: 2795792 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/273 49954
/proc/meminfo: memFree=90471216/131249988 swapFree=33010160/33010684
[pid=49744] ppid=49741 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/49744/stat : 49744 (run-opt-log.sh) S 49741 49744 49673 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51683080 4292608 768 18446744073709551615 94415506628608 94415507523141 140724886966544 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94415507762192 94415507809936 94415518224384 140724886972705 140724886972900 140724886972900 140724886978502 0
/proc/49744/statm: 1048 768 704 219 0 110 0
[pid=49746] ppid=49744 vsize=3490156 memory=2792720 CPUtime=3511.7 cores=0,2
/proc/49746/stat : 49746 (roundingsat) R 49744 49744 49673 0 -1 4194304 401012 0 0 0 348964 2206 0 0 20 0 1 0 51683081 3573919744 698180 18446744073709551615 4227072 8923433 140734845968272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19742720 140734845970770 140734845970984 140734845970984 140734845976554 0
/proc/49746/statm: 872539 698180 2368 1147 0 859966 0
Current children cumulated CPU time: 3511.7 s
Current children cumulated vsize: 3494348 KiB
Current children cumulated memory: 2795792 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/273 49956
/proc/meminfo: memFree=89937304/131249988 swapFree=33010160/33010684
[pid=49744] ppid=49741 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/49744/stat : 49744 (run-opt-log.sh) S 49741 49744 49673 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51683080 4292608 768 18446744073709551615 94415506628608 94415507523141 140724886966544 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94415507762192 94415507809936 94415518224384 140724886972705 140724886972900 140724886972900 140724886978502 0
/proc/49744/statm: 1048 768 704 219 0 110 0
[pid=49746] ppid=49744 vsize=3490156 memory=2792720 CPUtime=3571.51 cores=0,2
/proc/49746/stat : 49746 (roundingsat) R 49744 49744 49673 0 -1 4194304 401020 0 0 0 354912 2239 0 0 20 0 1 0 51683081 3573919744 698180 18446744073709551615 4227072 8923433 140734845968272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19742720 140734845970770 140734845970984 140734845970984 140734845976554 0
/proc/49746/statm: 872539 698180 2368 1147 0 859966 0
Current children cumulated CPU time: 3571.51 s
Current children cumulated vsize: 3494348 KiB
Current children cumulated memory: 2795792 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.9 s]
/proc/loadavg: 4.14 4.10 4.09 5/265 49966
/proc/meminfo: memFree=90578000/131249988 swapFree=33010160/33010684
[pid=49744] ppid=49741 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/49744/stat : 49744 (run-opt-log.sh) S 49741 49744 49673 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 51683080 4292608 768 18446744073709551615 94415506628608 94415507523141 140724886966544 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94415507762192 94415507809936 94415518224384 140724886972705 140724886972900 140724886972900 140724886978502 0
/proc/49744/statm: 1048 768 704 219 0 110 0
[pid=49746] ppid=49744 vsize=3490156 memory=2792720 CPUtime=3600.01 cores=0,2
/proc/49746/stat : 49746 (roundingsat) R 49744 49744 49673 0 -1 4194304 401020 0 0 0 357751 2250 0 0 20 0 1 0 51683081 3573919744 698180 18446744073709551615 4227072 8923433 140734845968272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19742720 140734845970770 140734845970984 140734845970984 140734845976554 0
/proc/49746/statm: 872539 698180 2368 1147 0 859966 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 3494348 KiB
Current children cumulated memory: 2795792 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

# cumulated CPU time of all completed processes:  user=3577.63 s, system=22.5385 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 s]*
/proc/loadavg: 4.14 4.10 4.09 3/264 49986
/proc/meminfo: memFree=91123796/131249988 swapFree=33010160/33010684
[pid=49746] ppid=49741 vsize=2743628 memory=2182516 CPUtime=3600.06 cores=0,2
/proc/49746/stat : 49746 (roundingsat) R 49741 49744 49673 0 -1 4194304 401028 0 0 0 357754 2252 0 0 20 0 1 0 51683081 2809475072 545629 18446744073709551615 4227072 8923433 140734845968272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19742720 140734845970770 140734845970984 140734845970984 140734845976554 0
/proc/49746/statm: 685907 545629 2432 1147 0 673334 0
Current cumulated CPU time of completed processes: 0.002016 s
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 2743628 KiB
Current children cumulated memory: 2182516 KiB

[startup+3611.11 s]
/proc/loadavg: 4.14 4.10 4.09 3/264 49986
/proc/meminfo: memFree=91123796/131249988 swapFree=33010160/33010684
[pid=49746] ppid=49741 vsize=1254664 memory=1211992 CPUtime=3600.15 cores=0,2
/proc/49746/stat : 49746 (roundingsat) R 49741 49744 49673 0 -1 4194304 401239 0 0 0 357762 2253 0 0 20 0 1 0 51683081 1284775936 302998 18446744073709551615 4227072 8923433 140734845968272 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19742720 140734845970770 140734845970984 140734845970984 140734845976554 0
/proc/49746/statm: 313666 302998 2432 1147 0 301093 0
Current cumulated CPU time of completed processes: 0.002016 s
Current children cumulated CPU time: 3600.15 s
Current children cumulated vsize: 1254664 KiB
Current children cumulated memory: 1211992 KiB

Child status: 2

Real time (s): 3611.11
CPU time (s): 3600.17
CPU user time (s): 3577.63
CPU system time (s): 22.5385
CPU usage (%): 99.697
Max. virtual memory (cumulated for all children) (KiB): 3494348
Max. memory (cumulated for all children) (KiB): 2795792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.63
system time used= 22.5385
maximum resident set size= 2792976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 401461
page faults= 0
swaps= 0
block input operations= 0
block output operations= 50104768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1454
involuntary context switches= 8761


# summary of solver processes directly reported to runsolver:
#   pid: 49744,49746
#   total CPU time (s): 3600.17
#   total CPU user time (s): 3577.63
#   total CPU system time (s): 22.5385

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.83094 second user time and 17.7393 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2025-07-01 10:54:02
IDJOB=4489461
IDBENCH=147551
IDSOLVER=3351
FILE ID=nodeC034/4489461-1751360042
RUNJOBID= nodeC034-1751360042-49683
SLURM_JOB_ID= 9598159
Free space on /tmp= 433016 MiB

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

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

MD5SUM BENCH= e06e3866d9960a7084ad077c8fb9619e
RANDOM SEED=1442571434

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        129732796 kB
MemAvailable:   129681964 kB
Buffers:            2128 kB
Cached:           713452 kB
SwapCached:           36 kB
Active:           538240 kB
Inactive:         274048 kB
Active(anon):     110564 kB
Inactive(anon):     4212 kB
Active(file):     427676 kB
Inactive(file):   269836 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             46332 kB
Writeback:             0 kB
AnonPages:         99804 kB
Mapped:           116400 kB
Shmem:             18068 kB
KReclaimable:     181388 kB
Slab:             272348 kB
SReclaimable:     181388 kB
SUnreclaim:        90960 kB
KernelStack:        4108 kB
PageTables:         2376 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     451292 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     30720 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      189140 kB
DirectMap2M:     7970816 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433008 MiB
End job on nodeC034 at 2025-07-01 11:54:14