Trace number 4489736

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.12 3611.22

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_6.opb.PB06.opb
MD5SUM502d6e212fd4e38a31cb5eb2ff64d408
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 benchmark242
Best CPU time to get the best result obtained on this benchmark3584.86
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 491651
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 491651
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.55/3.60	c #variables 10000 #constraints 656900
3.55/3.60	c objective is ce32 
4.85/4.96	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
4.85/4.96	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
4.85/4.96	c GLOBAL bounds - >= 0 @ 3.45623
5.15/5.21	c GLOBAL bounds - >= 0 @ 3.68849
5.15/5.22	c GLOBAL bounds - >= 0 @ 3.69432
5.15/5.23	c GLOBAL bounds - >= 0 @ 3.70511
5.15/5.24	c GLOBAL bounds - >= 0 @ 3.71023
5.15/5.25	c GLOBAL bounds - >= 0 @ 3.72196
5.15/5.26	c GLOBAL bounds - >= 0 @ 3.72974
5.15/5.27	c GLOBAL bounds - >= 0 @ 3.7352
5.15/5.28	c GLOBAL bounds - >= 0 @ 3.74503
5.15/5.29	c GLOBAL bounds - >= 0 @ 3.7542
5.25/5.30	c GLOBAL bounds - >= 0 @ 3.75775
5.25/5.31	c GLOBAL bounds - >= 0 @ 3.7671
5.25/5.32	c GLOBAL bounds - >= 0 @ 3.77265
5.25/5.33	c GLOBAL bounds - >= 0 @ 3.77778
5.25/5.34	c GLOBAL bounds - >= 0 @ 3.79015
5.25/5.37	c GLOBAL bounds - >= 0 @ 3.82115
5.25/5.39	c GLOBAL bounds - >= 0 @ 3.83591
5.35/5.41	c GLOBAL bounds - >= 0 @ 3.85251
5.35/5.42	c GLOBAL bounds - >= 0 @ 3.86065
5.35/5.43	c GLOBAL bounds - >= 0 @ 3.8713
5.35/5.43	c GLOBAL bounds - >= 0 @ 3.87674
5.35/5.44	c GLOBAL bounds - >= 0 @ 3.88607
5.35/5.49	c GLOBAL bounds - >= 0 @ 3.92821
5.45/5.50	c GLOBAL bounds - >= 0 @ 3.93952
5.45/5.50	c GLOBAL bounds - >= 0 @ 3.94404
5.45/5.51	c GLOBAL bounds - >= 0 @ 3.95304
5.45/5.54	c GLOBAL bounds - >= 0 @ 3.98156
5.45/5.55	c GLOBAL bounds - >= 0 @ 3.99203
5.45/5.56	c GLOBAL bounds - >= 0 @ 3.99969
5.45/5.57	c GLOBAL bounds - >= 0 @ 4.01155
5.45/5.58	c GLOBAL bounds - >= 0 @ 4.02037
5.45/5.59	c GLOBAL bounds - >= 0 @ 4.02812
5.55/5.60	c GLOBAL bounds - >= 0 @ 4.03566
5.55/5.61	c GLOBAL bounds - >= 0 @ 4.04355
5.55/5.63	c GLOBAL bounds - >= 0 @ 4.0585
5.55/5.64	c GLOBAL bounds - >= 0 @ 4.07063
5.55/5.65	c GLOBAL bounds - >= 0 @ 4.08101
5.55/5.66	c GLOBAL bounds - >= 0 @ 4.08432
5.55/5.67	c GLOBAL bounds - >= 0 @ 4.09229
5.55/5.68	c GLOBAL bounds - >= 0 @ 4.10502
5.65/5.72	c GLOBAL bounds - >= 0 @ 4.14181
5.65/5.73	c GLOBAL bounds - >= 0 @ 4.14859
5.65/5.73	c GLOBAL bounds - >= 0 @ 4.1536
5.65/5.74	c GLOBAL bounds - >= 0 @ 4.1628
5.65/5.75	c GLOBAL bounds - >= 0 @ 4.16881
5.65/5.76	c GLOBAL bounds - >= 0 @ 4.17593
5.65/5.76	c GLOBAL bounds - >= 0 @ 4.18081
5.65/5.77	c GLOBAL bounds - >= 0 @ 4.1879
5.65/5.79	c GLOBAL bounds - >= 0 @ 4.20126
5.65/5.80	c GLOBAL bounds - >= 0 @ 4.20959
5.75/5.81	c GLOBAL bounds - >= 0 @ 4.2202
5.75/5.81	c GLOBAL bounds - >= 0 @ 4.2257
5.75/5.82	c GLOBAL bounds - >= 0 @ 4.23249
5.75/5.83	c GLOBAL bounds - >= 0 @ 4.2402
5.75/5.84	c GLOBAL bounds - >= 0 @ 4.24558
5.75/5.85	c GLOBAL bounds - >= 0 @ 4.25462
5.75/5.86	c GLOBAL bounds - >= 0 @ 4.268
5.75/5.89	c GLOBAL bounds - >= 0 @ 4.29547
5.85/5.90	c GLOBAL bounds - >= 0 @ 4.30472
5.85/5.90	c GLOBAL bounds - >= 0 @ 4.31086
5.85/5.91	c GLOBAL bounds - >= 0 @ 4.31882
5.85/5.92	c GLOBAL bounds - >= 0 @ 4.32955
5.85/5.96	c GLOBAL bounds - >= 0 @ 4.36658
5.85/6.01	c GLOBAL bounds - >= 0 @ 4.40884
5.96/6.02	c GLOBAL bounds - >= 0 @ 4.42093
5.96/6.03	c GLOBAL bounds - >= 0 @ 4.42974
5.96/6.04	c GLOBAL bounds - >= 0 @ 4.43698
5.96/6.05	c GLOBAL bounds - >= 0 @ 4.45068
5.96/6.06	c GLOBAL bounds - >= 0 @ 4.46011
5.96/6.07	c GLOBAL bounds - >= 0 @ 4.46791
5.96/6.08	c GLOBAL bounds - >= 0 @ 4.47544
5.96/6.09	c GLOBAL bounds - >= 0 @ 4.48233
5.96/6.09	c GLOBAL bounds - >= 0 @ 4.48966
6.06/6.11	c GLOBAL bounds - >= 0 @ 4.50925
6.06/6.14	c GLOBAL bounds - >= 0 @ 4.53383
6.06/6.15	c GLOBAL bounds - >= 0 @ 4.54181
6.06/6.16	c GLOBAL bounds - >= 0 @ 4.55658
6.06/6.19	c GLOBAL bounds - >= 0 @ 4.57909
6.15/6.20	c GLOBAL bounds - >= 0 @ 4.59749
6.15/6.22	c GLOBAL bounds - >= 0 @ 4.61386
6.15/6.24	c GLOBAL bounds - >= 0 @ 4.62653
6.15/6.24	c GLOBAL bounds - >= 0 @ 4.63192
6.35/6.41	c #Conflicts:       1000 | #Constraints:     658060
6.35/6.41	c GLOBAL bounds - >= 0 @ 4.80062
6.35/6.43	c GLOBAL bounds - >= 0 @ 4.81493
6.35/6.45	c GLOBAL bounds - >= 0 @ 4.83133
6.35/6.46	c GLOBAL bounds - >= 0 @ 4.84625
6.35/6.47	c GLOBAL bounds - >= 0 @ 4.85629
6.35/6.48	c GLOBAL bounds - >= 0 @ 4.86128
6.35/6.48	c GLOBAL bounds - >= 0 @ 4.86612
6.35/6.49	c GLOBAL bounds - >= 0 @ 4.87308
6.44/6.50	c GLOBAL bounds - >= 0 @ 4.88222
6.44/6.51	c GLOBAL bounds - >= 0 @ 4.88994
6.44/6.53	c GLOBAL bounds - >= 0 @ 4.90898
6.44/6.54	c GLOBAL bounds - >= 0 @ 4.91617
6.44/6.55	c GLOBAL bounds - >= 0 @ 4.93315
6.44/6.57	c GLOBAL bounds - >= 0 @ 4.9431
6.44/6.59	c GLOBAL bounds - >= 0 @ 4.96064
6.55/6.60	c GLOBAL bounds - >= 0 @ 4.97073
6.55/6.61	c GLOBAL bounds - >= 0 @ 4.98259
6.55/6.62	c GLOBAL bounds - >= 0 @ 4.99143
6.55/6.64	c GLOBAL bounds - >= 0 @ 5.00754
6.55/6.65	c GLOBAL bounds - >= 0 @ 5.01391
6.55/6.66	c GLOBAL bounds - >= 0 @ 5.02272
6.55/6.67	c GLOBAL bounds - >= 0 @ 5.03845
6.55/6.69	c GLOBAL bounds - >= 0 @ 5.04938
6.64/6.70	c GLOBAL bounds - >= 0 @ 5.06124
6.64/6.73	c GLOBAL bounds - >= 0 @ 5.08493
6.64/6.76	c GLOBAL bounds - >= 0 @ 5.11753
6.64/6.77	c GLOBAL bounds - >= 0 @ 5.12712
6.64/6.78	c GLOBAL bounds - >= 0 @ 5.13593
6.64/6.79	c GLOBAL bounds - >= 0 @ 5.14596
6.75/6.81	c GLOBAL bounds - >= 0 @ 5.16049
6.75/6.82	c GLOBAL bounds - >= 0 @ 5.17116
6.75/6.84	c GLOBAL bounds - >= 0 @ 5.18648
6.75/6.84	c GLOBAL bounds - >= 0 @ 5.19339
6.75/6.86	c GLOBAL bounds - >= 0 @ 5.2091
6.75/6.89	c GLOBAL bounds - >= 0 @ 5.2346
6.85/6.92	c GLOBAL bounds - >= 0 @ 5.2679
6.85/6.93	c GLOBAL bounds - >= 0 @ 5.27808
6.85/6.95	c GLOBAL bounds - >= 0 @ 5.29249
6.85/6.96	c GLOBAL bounds - >= 0 @ 5.30228
6.85/6.99	c GLOBAL bounds - >= 0 @ 5.32867
6.85/7.00	c GLOBAL bounds - >= 0 @ 5.3393
6.95/7.03	c GLOBAL bounds - >= 0 @ 5.36658
7.06/7.16	c GLOBAL bounds - >= 0 @ 5.49483
7.06/7.18	c GLOBAL bounds - >= 0 @ 5.5113
7.14/7.20	c GLOBAL bounds - >= 0 @ 5.53039
7.14/7.21	c GLOBAL bounds - >= 0 @ 5.54422
7.14/7.23	c GLOBAL bounds - >= 0 @ 5.56006
7.14/7.24	c GLOBAL bounds - >= 0 @ 5.57003
7.14/7.26	c GLOBAL bounds - >= 0 @ 5.59117
7.14/7.27	c GLOBAL bounds - >= 0 @ 5.59919
7.14/7.29	c GLOBAL bounds - >= 0 @ 5.61625
7.25/7.30	c GLOBAL bounds - >= 0 @ 5.62636
7.25/7.37	c GLOBAL bounds - >= 0 @ 5.69346
7.35/7.40	c GLOBAL bounds - >= 0 @ 5.7211
7.35/7.41	c GLOBAL bounds - >= 0 @ 5.72832
7.35/7.49	c GLOBAL bounds - >= 0 @ 5.81257
7.44/7.55	c GLOBAL bounds - >= 0 @ 5.86733
7.44/7.56	c GLOBAL bounds - >= 0 @ 5.87533
7.44/7.59	c GLOBAL bounds - >= 0 @ 5.9021
7.44/7.60	c GLOBAL bounds - >= 0 @ 5.91085
7.55/7.67	c GLOBAL bounds - >= 0 @ 5.98082
7.55/7.68	c GLOBAL bounds - >= 0 @ 5.9932
7.64/7.70	c GLOBAL bounds - >= 0 @ 6.01387
7.64/7.73	c GLOBAL bounds - >= 0 @ 6.04346
7.64/7.75	c GLOBAL bounds - >= 0 @ 6.05441
7.64/7.77	c GLOBAL bounds - >= 0 @ 6.07454
7.64/7.79	c GLOBAL bounds - >= 0 @ 6.09422
7.74/7.80	c GLOBAL bounds - >= 0 @ 6.10713
7.74/7.81	c GLOBAL bounds - >= 0 @ 6.11509
7.74/7.82	c GLOBAL bounds - >= 0 @ 6.12901
7.74/7.83	c GLOBAL bounds - >= 0 @ 6.13941
7.74/7.85	c GLOBAL bounds - >= 0 @ 6.15095
7.74/7.87	c GLOBAL bounds - >= 0 @ 6.17135
7.74/7.88	c GLOBAL bounds - >= 0 @ 6.17922
7.74/7.88	c GLOBAL bounds - >= 0 @ 6.1865
7.84/7.90	c GLOBAL bounds - >= 0 @ 6.20561
7.84/7.92	c GLOBAL bounds - >= 0 @ 6.21817
7.84/7.93	c GLOBAL bounds - >= 0 @ 6.22655
7.84/7.95	c GLOBAL bounds - >= 0 @ 6.24575
7.84/7.96	c GLOBAL bounds - >= 0 @ 6.25231
7.84/7.98	c GLOBAL bounds - >= 0 @ 6.27516
7.84/8.00	c GLOBAL bounds - >= 0 @ 6.29421
7.96/8.01	c GLOBAL bounds - >= 0 @ 6.30551
7.96/8.03	c GLOBAL bounds - >= 0 @ 6.32143
7.96/8.05	c GLOBAL bounds - >= 0 @ 6.33626
7.96/8.09	c GLOBAL bounds - >= 0 @ 6.38342
7.96/8.10	c GLOBAL bounds - >= 0 @ 6.39097
8.05/8.12	c GLOBAL bounds - >= 0 @ 6.40332
8.05/8.14	c GLOBAL bounds - >= 0 @ 6.42032
8.05/8.15	c GLOBAL bounds - >= 0 @ 6.43225
8.05/8.16	c GLOBAL bounds - >= 0 @ 6.44644
8.05/8.18	c GLOBAL bounds - >= 0 @ 6.45974
8.05/8.19	c GLOBAL bounds - >= 0 @ 6.47248
8.14/8.23	c GLOBAL bounds - >= 0 @ 6.50364
8.24/8.35	c GLOBAL bounds - >= 0 @ 6.62656
8.24/8.37	c GLOBAL bounds - >= 0 @ 6.64113
8.35/8.45	c GLOBAL bounds - >= 0 @ 6.72208
8.35/8.47	c GLOBAL bounds - >= 0 @ 6.73834
8.35/8.49	c GLOBAL bounds - >= 0 @ 6.75606
8.44/8.50	c GLOBAL bounds - >= 0 @ 6.77505
8.44/8.52	c GLOBAL bounds - >= 0 @ 6.78624
8.44/8.54	c GLOBAL bounds - >= 0 @ 6.80451
8.44/8.58	c GLOBAL bounds - >= 0 @ 6.83994
8.54/8.61	c GLOBAL bounds - >= 0 @ 6.86552
8.54/8.66	c GLOBAL bounds - >= 0 @ 6.91544
8.54/8.69	c GLOBAL bounds - >= 0 @ 6.94288
8.64/8.70	c GLOBAL bounds - >= 0 @ 6.95228
8.64/8.72	c GLOBAL bounds - >= 0 @ 6.97096
8.64/8.73	c GLOBAL bounds - >= 0 @ 6.98065
8.64/8.74	c GLOBAL bounds - >= 0 @ 6.98973
8.64/8.75	c GLOBAL bounds - >= 0 @ 6.99679
8.64/8.77	c GLOBAL bounds - >= 0 @ 7.01036
8.64/8.78	c GLOBAL bounds - >= 0 @ 7.02128
8.64/8.79	c GLOBAL bounds - >= 0 @ 7.03039
8.74/8.83	c GLOBAL bounds - >= 0 @ 7.06007
8.84/8.99	c GLOBAL bounds - >= 0 @ 7.22268
9.05/9.11	c GLOBAL bounds - >= 0 @ 7.33784
9.05/9.13	c GLOBAL bounds - >= 0 @ 7.35914
9.14/9.21	c GLOBAL bounds - >= 0 @ 7.43101
9.14/9.22	c GLOBAL bounds - >= 0 @ 7.44669
9.14/9.27	c GLOBAL bounds - >= 0 @ 7.49471
9.14/9.28	c GLOBAL bounds - >= 0 @ 7.5031
9.23/9.30	c GLOBAL bounds - >= 0 @ 7.51767
9.23/9.31	c GLOBAL bounds - >= 0 @ 7.52586
9.23/9.31	c GLOBAL bounds - >= 0 @ 7.5345
9.23/9.33	c GLOBAL bounds - >= 0 @ 7.54807
9.23/9.35	c GLOBAL bounds - >= 0 @ 7.57067
9.23/9.39	c GLOBAL bounds - >= 0 @ 7.60888
9.34/9.42	c GLOBAL bounds - >= 0 @ 7.64297
9.34/9.46	c GLOBAL bounds - >= 0 @ 7.67307
9.34/9.48	c GLOBAL bounds - >= 0 @ 7.6998
9.44/9.55	c GLOBAL bounds - >= 0 @ 7.76003
9.54/9.66	c GLOBAL bounds - >= 0 @ 7.86772
9.54/9.67	c GLOBAL bounds - >= 0 @ 7.88108
9.54/9.68	c GLOBAL bounds - >= 0 @ 7.88914
9.54/9.69	c GLOBAL bounds - >= 0 @ 7.9007
9.64/9.71	c GLOBAL bounds - >= 0 @ 7.9162
9.64/9.72	c GLOBAL bounds - >= 0 @ 7.92835
9.64/9.74	c GLOBAL bounds - >= 0 @ 7.9459
9.64/9.76	c GLOBAL bounds - >= 0 @ 7.96316
9.73/9.81	c GLOBAL bounds - >= 0 @ 8.01201
9.73/9.84	c GLOBAL bounds - >= 0 @ 8.03634
9.73/9.87	c GLOBAL bounds - >= 0 @ 8.06874
9.84/9.93	c GLOBAL bounds - >= 0 @ 8.12817
9.84/9.95	c GLOBAL bounds - >= 0 @ 8.14566
9.84/9.97	c GLOBAL bounds - >= 0 @ 8.16313
9.84/9.99	c GLOBAL bounds - >= 0 @ 8.17797
9.95/10.01	c GLOBAL bounds - >= 0 @ 8.19539
10.43/10.58	c #Conflicts:       2000 | #Constraints:     659356
10.43/10.58	c INPROCESSING
10.43/10.58	c GLOBAL bounds - >= 0 @ 8.75786
10.54/10.63	c GLOBAL bounds - >= 0 @ 8.80429
10.54/10.68	c GLOBAL bounds - >= 0 @ 8.84821
10.63/10.70	c GLOBAL bounds - >= 0 @ 8.87079
10.73/10.85	c GLOBAL bounds - >= 0 @ 9.0191
10.83/10.90	c GLOBAL bounds - >= 0 @ 9.06581
10.83/10.94	c GLOBAL bounds - >= 0 @ 9.1049
10.95/11.03	c GLOBAL bounds - >= 0 @ 9.18838
10.95/11.04	c GLOBAL bounds - >= 0 @ 9.20455
10.95/11.05	c GLOBAL bounds - >= 0 @ 9.21581
10.95/11.08	c GLOBAL bounds - >= 0 @ 9.23897
10.95/11.10	c GLOBAL bounds - >= 0 @ 9.25306
11.05/11.12	c GLOBAL bounds - >= 0 @ 9.27283
11.05/11.13	c GLOBAL bounds - >= 0 @ 9.28704
11.53/11.62	c GLOBAL bounds - >= 0 @ 9.76257
11.53/11.69	c GLOBAL bounds - >= 0 @ 9.82827
11.63/11.70	c GLOBAL bounds - >= 0 @ 9.83833
11.63/11.71	c GLOBAL bounds - >= 0 @ 9.85474
11.63/11.74	c GLOBAL bounds - >= 0 @ 9.87595
13.42/13.57	c GLOBAL bounds - >= 0 @ 11.6856
13.42/13.58	c GLOBAL bounds - >= 0 @ 11.6989
13.94/14.05	c #Conflicts:       3000 | #Constraints:     659402
13.94/14.05	c GLOBAL bounds - >= 0 @ 12.1629
14.04/14.12	c GLOBAL bounds - >= 0 @ 12.2262
14.04/14.15	c GLOBAL bounds - >= 0 @ 12.2554
14.33/14.44	c GLOBAL bounds - >= 0 @ 12.5458
14.43/14.55	c GLOBAL bounds - >= 0 @ 12.6571
14.53/14.62	c GLOBAL bounds - >= 0 @ 12.7192
14.53/14.66	c GLOBAL bounds - >= 0 @ 12.7626
14.53/14.69	c GLOBAL bounds - >= 0 @ 12.7891
15.22/15.30	c GLOBAL bounds - >= 0 @ 13.3851
15.22/15.36	c GLOBAL bounds - >= 0 @ 13.4446
15.52/15.66	c GLOBAL bounds - >= 0 @ 13.7396
15.52/15.69	c GLOBAL bounds - >= 0 @ 13.7656
15.62/15.71	c GLOBAL bounds - >= 0 @ 13.7858
15.62/15.73	c GLOBAL bounds - >= 0 @ 13.8039
15.62/15.75	c GLOBAL bounds - >= 0 @ 13.8311
15.72/15.83	c GLOBAL bounds - >= 0 @ 13.9022
15.94/16.07	c GLOBAL bounds - >= 0 @ 14.1433
16.03/16.14	c GLOBAL bounds - >= 0 @ 14.2096
16.12/16.24	c GLOBAL bounds - >= 0 @ 14.2985
16.22/16.32	c GLOBAL bounds - >= 0 @ 14.3794
16.22/16.39	c GLOBAL bounds - >= 0 @ 14.4451
16.32/16.41	c GLOBAL bounds - >= 0 @ 14.4696
16.32/16.44	c GLOBAL bounds - >= 0 @ 14.4941
16.32/16.46	c GLOBAL bounds - >= 0 @ 14.5163
16.42/16.51	c GLOBAL bounds - >= 0 @ 14.5577
16.42/16.54	c GLOBAL bounds - >= 0 @ 14.5874
16.52/16.60	c GLOBAL bounds - >= 0 @ 14.6502
16.52/16.63	c GLOBAL bounds - >= 0 @ 14.6739
16.52/16.66	c GLOBAL bounds - >= 0 @ 14.6991
16.52/16.68	c GLOBAL bounds - >= 0 @ 14.7143
16.62/16.70	c GLOBAL bounds - >= 0 @ 14.7316
16.62/16.76	c GLOBAL bounds - >= 0 @ 14.79
16.93/17.03	c GLOBAL bounds - >= 0 @ 15.051
18.51/18.63	c #Conflicts:       4000 | #Constraints:     660468
18.51/18.63	c INPROCESSING
18.51/18.63	c GARBAGE COLLECT
18.51/18.63	c GLOBAL bounds - >= 0 @ 16.6289
18.51/18.69	c GLOBAL bounds - >= 0 @ 16.6876
18.62/18.77	c GLOBAL bounds - >= 0 @ 16.7594
18.62/18.78	c GLOBAL bounds - >= 0 @ 16.7712
18.71/18.80	c GLOBAL bounds - >= 0 @ 16.7888
18.71/18.82	c GLOBAL bounds - >= 0 @ 16.8062
19.21/19.31	c GLOBAL bounds - >= 0 @ 17.2766
19.41/19.59	c GLOBAL bounds - >= 0 @ 17.5602
19.51/19.67	c GLOBAL bounds - >= 0 @ 17.6285
19.61/19.72	c GLOBAL bounds - >= 0 @ 17.6796
19.61/19.76	c GLOBAL bounds - >= 0 @ 17.7155
19.61/19.78	c GLOBAL bounds - >= 0 @ 17.7366
19.71/19.80	c GLOBAL bounds - >= 0 @ 17.7527
19.71/19.82	c GLOBAL bounds - >= 0 @ 17.7768
19.71/19.86	c GLOBAL bounds - >= 0 @ 17.8079
19.81/19.90	c GLOBAL bounds - >= 0 @ 17.8501
21.81/22.00	c #Conflicts:       5000 | #Constraints:     659909
21.81/22.00	c GLOBAL bounds - >= 0 @ 19.9388
22.02/22.11	c GLOBAL bounds - >= 0 @ 20.0404
22.02/22.13	c GLOBAL bounds - >= 0 @ 20.0546
22.10/22.24	c GLOBAL bounds - >= 0 @ 20.1706
22.20/22.32	c GLOBAL bounds - >= 0 @ 20.2406
22.20/22.37	c GLOBAL bounds - >= 0 @ 20.2898
22.20/22.39	c GLOBAL bounds - >= 0 @ 20.3164
22.31/22.47	c GLOBAL bounds - >= 0 @ 20.3908
22.40/22.52	c GLOBAL bounds - >= 0 @ 20.4428
22.40/22.59	c GLOBAL bounds - >= 0 @ 20.508
22.50/22.63	c GLOBAL bounds - >= 0 @ 20.5401
23.80/23.97	c GLOBAL bounds - >= 0 @ 21.8701
23.80/24.00	c GLOBAL bounds - >= 0 @ 21.8999
24.01/24.17	c GLOBAL bounds - >= 0 @ 22.0671
24.10/24.26	c GLOBAL bounds - >= 0 @ 22.1601
24.20/24.30	c GLOBAL bounds - >= 0 @ 22.2003
26.69/26.80	c #Conflicts:       6000 | #Constraints:     660941
26.69/26.80	c GLOBAL bounds - >= 0 @ 24.6611
26.69/26.84	c GLOBAL bounds - >= 0 @ 24.7006
26.79/26.90	c GLOBAL bounds - >= 0 @ 24.7541
26.79/26.93	c GLOBAL bounds - >= 0 @ 24.7828
26.79/27.00	c GLOBAL bounds - >= 0 @ 24.8536
26.90/27.05	c GLOBAL bounds - >= 0 @ 24.8936
28.68/28.81	c INPROCESSING
28.68/28.81	c GARBAGE COLLECT
28.68/28.81	c GLOBAL bounds - >= 0 @ 26.6255
28.79/28.90	c GLOBAL bounds - >= 0 @ 26.7164
33.98/34.15	c #Conflicts:       7000 | #Constraints:     659958
33.98/34.15	c #Conflicts:       8000 | #Constraints:     660958
33.98/34.15	c GLOBAL bounds - >= 0 @ 31.9395
33.98/34.18	c GLOBAL bounds - >= 0 @ 31.9691
34.07/34.21	c GLOBAL bounds - >= 0 @ 31.9952
35.67/35.80	c GLOBAL bounds - >= 0 @ 33.5764
36.77/36.92	c GLOBAL bounds - >= 0 @ 34.6801
36.77/37.00	c GLOBAL bounds - >= 0 @ 34.759
36.97/37.12	c GLOBAL bounds - >= 0 @ 34.8811
37.16/37.33	c GLOBAL bounds - >= 0 @ 35.0779
37.16/37.39	c GLOBAL bounds - >= 0 @ 35.1385
37.65/37.89	c GLOBAL bounds - >= 0 @ 35.6297
37.76/37.97	c GLOBAL bounds - >= 0 @ 35.7075
37.87/38.04	c GLOBAL bounds - >= 0 @ 35.7696
37.87/38.08	c GLOBAL bounds - >= 0 @ 35.8114
41.45/41.64	c #Conflicts:       9000 | #Constraints:     661984
41.45/41.64	c INPROCESSING
41.45/41.64	c GARBAGE COLLECT
41.45/41.64	c GLOBAL bounds - >= 0 @ 39.2922
50.83/51.11	c #Conflicts:      10000 | #Constraints:     660689
50.83/51.11	c GLOBAL bounds - >= 0 @ 48.7006
51.22/51.40	c GLOBAL bounds - >= 0 @ 48.9879
56.71/56.99	c #Conflicts:      11000 | #Constraints:     661693
56.71/56.99	c GLOBAL bounds - >= 0 @ 54.5185
57.40/57.62	c GLOBAL bounds - >= 0 @ 55.1413
59.50/59.70	c GLOBAL bounds - >= 0 @ 57.1852
60.81/61.04	c #Conflicts:      12000 | #Constraints:     662699
60.81/61.04	c INPROCESSING
60.81/61.04	c GARBAGE COLLECT
60.81/61.04	c GLOBAL bounds - >= 0 @ 58.5114
60.90/61.19	c GLOBAL bounds - >= 0 @ 58.6596
62.68/63.00	c GLOBAL bounds - >= 0 @ 60.4544
62.99/63.26	c GLOBAL bounds - >= 0 @ 60.7059
63.08/63.39	c GLOBAL bounds - >= 0 @ 60.8431
64.38/64.70	c GLOBAL bounds - >= 0 @ 62.1293
64.68/64.90	c GLOBAL bounds - >= 0 @ 62.3365
64.68/64.96	c GLOBAL bounds - >= 0 @ 62.3904
71.26/71.55	c #Conflicts:      13000 | #Constraints:     661165
71.26/71.55	c #Conflicts:      14000 | #Constraints:     662165
71.26/71.55	c GLOBAL bounds - >= 0 @ 68.9374
73.16/73.43	c GLOBAL bounds - >= 0 @ 70.8124
76.86/77.16	c GLOBAL bounds - >= 0 @ 74.5142
79.04/79.36	c #Conflicts:      15000 | #Constraints:     663171
79.04/79.36	c INPROCESSING
79.04/79.36	c GARBAGE COLLECT
79.04/79.36	c GLOBAL bounds - >= 0 @ 76.6941
79.04/79.38	c GLOBAL bounds - >= 0 @ 76.7131
83.52/83.88	c GLOBAL bounds - >= 0 @ 81.1866
109.45/109.81	c #Conflicts:      16000 | #Constraints:     661400
109.45/109.81	c #Conflicts:      17000 | #Constraints:     662400
109.45/109.81	c #Conflicts:      18000 | #Constraints:     663400
109.45/109.81	c INPROCESSING
109.45/109.81	c GARBAGE COLLECT
109.45/109.81	c #Conflicts:      19000 | #Constraints:     661421
109.45/109.81	c GLOBAL bounds - >= 0 @ 106.967
109.45/109.85	c GLOBAL bounds - >= 0 @ 107.004
109.76/110.14	c GLOBAL bounds - >= 0 @ 107.289
109.85/110.24	c GLOBAL bounds - >= 0 @ 107.382
110.34/110.72	c GLOBAL bounds - >= 0 @ 107.858
110.34/110.79	c GLOBAL bounds - >= 0 @ 107.927
110.66/111.09	c GLOBAL bounds - >= 0 @ 108.219
111.05/111.40	c GLOBAL bounds - >= 0 @ 108.523
111.65/112.10	c GLOBAL bounds - >= 0 @ 109.209
112.24/112.66	c GLOBAL bounds - >= 0 @ 109.766
112.24/112.69	c GLOBAL bounds - >= 0 @ 109.793
113.53/113.93	c GLOBAL bounds - >= 0 @ 111.023
117.42/117.84	c #Conflicts:      20000 | #Constraints:     662445
117.42/117.84	c GLOBAL bounds - >= 0 @ 114.904
118.92/119.33	c GLOBAL bounds - >= 0 @ 116.383
119.52/119.97	c GLOBAL bounds - >= 0 @ 117.02
119.63/120.05	c GLOBAL bounds - >= 0 @ 117.094
121.62/122.01	c #Conflicts:      21000 | #Constraints:     663453
121.62/122.01	c GLOBAL bounds - >= 0 @ 119.03
125.71/126.19	c INPROCESSING
125.71/126.19	c GARBAGE COLLECT
125.71/126.19	c GLOBAL bounds - >= 0 @ 123.161
130.19/130.65	c #Conflicts:      22000 | #Constraints:     661258
130.19/130.65	c GLOBAL bounds - >= 0 @ 127.587
133.78/134.28	c GLOBAL bounds - >= 0 @ 131.183
134.68/135.19	c GLOBAL bounds - >= 0 @ 132.082
144.34/144.81	c #Conflicts:      23000 | #Constraints:     662264
144.34/144.81	c #Conflicts:      24000 | #Constraints:     663264
144.34/144.81	c GLOBAL bounds - >= 0 @ 141.636
216.62/217.34	c #Conflicts:      25000 | #Constraints:     664266
216.62/217.34	c INPROCESSING
216.62/217.34	c GARBAGE COLLECT
216.62/217.34	c #Conflicts:      26000 | #Constraints:     661873
216.62/217.34	c #Conflicts:      27000 | #Constraints:     662873
216.62/217.34	c #Conflicts:      28000 | #Constraints:     663873
216.62/217.34	c #Conflicts:      29000 | #Constraints:     664873
216.62/217.34	c INPROCESSING
216.62/217.34	c GARBAGE COLLECT
216.62/217.34	c #Conflicts:      30000 | #Constraints:     662268
216.62/217.34	c GLOBAL bounds - >= 0 @ 213.759
218.22/218.97	c #Conflicts:      31000 | #Constraints:     663270
218.22/218.97	c GLOBAL bounds - >= 0 @ 215.373
223.80/224.56	c GLOBAL bounds - >= 0 @ 220.925
379.02/380.26	c #Conflicts:      32000 | #Constraints:     664274
379.02/380.26	c #Conflicts:      33000 | #Constraints:     665274
379.02/380.26	c INPROCESSING
379.02/380.26	c GARBAGE COLLECT
379.02/380.26	c #Conflicts:      34000 | #Constraints:     662475
379.02/380.26	c #Conflicts:      35000 | #Constraints:     663475
379.02/380.26	c #Conflicts:      36000 | #Constraints:     664475
379.02/380.26	c #Conflicts:      37000 | #Constraints:     665475
379.02/380.26	c INPROCESSING
379.02/380.26	c GARBAGE COLLECT
379.02/380.26	c #Conflicts:      38000 | #Constraints:     662489
379.02/380.26	c #Conflicts:      39000 | #Constraints:     663489
379.02/380.26	c #Conflicts:      40000 | #Constraints:     664489
379.02/380.26	c #Conflicts:      41000 | #Constraints:     665489
379.02/380.26	c INPROCESSING
379.02/380.26	c GARBAGE COLLECT
379.02/380.26	c #Conflicts:      42000 | #Constraints:     662294
379.02/380.26	c #Conflicts:      43000 | #Constraints:     663294
379.02/380.26	c #Conflicts:      44000 | #Constraints:     664294
379.02/380.26	c #Conflicts:      45000 | #Constraints:     665294
379.02/380.26	c GLOBAL bounds - >= 0 @ 375.895
379.83/381.02	c GLOBAL bounds - >= 0 @ 376.653
380.41/381.60	c GLOBAL bounds - >= 0 @ 377.226
761.23/763.67	c #Conflicts:      46000 | #Constraints:     666300
761.23/763.67	c INPROCESSING
761.23/763.67	c GARBAGE COLLECT
761.23/763.67	c #Conflicts:      47000 | #Constraints:     662894
761.23/763.67	c #Conflicts:      48000 | #Constraints:     663894
761.23/763.67	c #Conflicts:      49000 | #Constraints:     664894
761.23/763.67	c #Conflicts:      50000 | #Constraints:     665894
761.23/763.67	c #Conflicts:      51000 | #Constraints:     666894
761.23/763.67	c INPROCESSING
761.23/763.67	c GARBAGE COLLECT
761.23/763.67	c #Conflicts:      52000 | #Constraints:     663296
761.23/763.67	c #Conflicts:      53000 | #Constraints:     664296
761.23/763.67	c #Conflicts:      54000 | #Constraints:     665296
761.23/763.67	c #Conflicts:      55000 | #Constraints:     666296
761.23/763.67	c #Conflicts:      56000 | #Constraints:     667296
761.23/763.67	c INPROCESSING
761.23/763.67	c GARBAGE COLLECT
761.23/763.67	c #Conflicts:      57000 | #Constraints:     663492
761.23/763.67	c #Conflicts:      58000 | #Constraints:     664492
761.23/763.67	c #Conflicts:      59000 | #Constraints:     665492
761.23/763.67	c #Conflicts:      60000 | #Constraints:     666492
761.23/763.67	c #Conflicts:      61000 | #Constraints:     667492
761.23/763.67	c INPROCESSING
761.23/763.67	c GARBAGE COLLECT
761.23/763.67	c #Conflicts:      62000 | #Constraints:     663490
761.23/763.67	c #Conflicts:      63000 | #Constraints:     664490
761.23/763.67	c #Conflicts:      64000 | #Constraints:     665490
761.23/763.67	c #Conflicts:      65000 | #Constraints:     666490
761.23/763.67	c #Conflicts:      66000 | #Constraints:     667490
761.23/763.67	c INPROCESSING
761.23/763.67	c GARBAGE COLLECT
761.23/763.67	c #Conflicts:      67000 | #Constraints:     663295
761.23/763.67	c #Conflicts:      68000 | #Constraints:     664295
761.23/763.67	c #Conflicts:      69000 | #Constraints:     665295
761.23/763.67	c #Conflicts:      70000 | #Constraints:     666295
761.23/763.67	c #Conflicts:      71000 | #Constraints:     667295
761.23/763.67	c #Conflicts:      72000 | #Constraints:     668295
761.23/763.67	c INPROCESSING
761.23/763.67	c GARBAGE COLLECT
761.23/763.67	c #Conflicts:      73000 | #Constraints:     663901
761.23/763.67	c #Conflicts:      74000 | #Constraints:     664901
761.23/763.67	c #Conflicts:      75000 | #Constraints:     665901
761.23/763.67	c GLOBAL bounds - >= 0 @ 757.227
1932.63/1938.65	c #Conflicts:      76000 | #Constraints:     666903
1932.63/1938.65	c #Conflicts:      77000 | #Constraints:     667903
1932.63/1938.65	c #Conflicts:      78000 | #Constraints:     668903
1932.63/1938.65	c INPROCESSING
1932.63/1938.65	c GARBAGE COLLECT
1932.63/1938.65	c #Conflicts:      79000 | #Constraints:     664309
1932.63/1938.65	c #Conflicts:      80000 | #Constraints:     665309
1932.63/1938.65	c #Conflicts:      81000 | #Constraints:     666309
1932.63/1938.65	c #Conflicts:      82000 | #Constraints:     667309
1932.63/1938.65	c #Conflicts:      83000 | #Constraints:     668309
1932.63/1938.65	c #Conflicts:      84000 | #Constraints:     669309
1932.63/1938.65	c INPROCESSING
1932.63/1938.65	c GARBAGE COLLECT
1932.63/1938.65	c #Conflicts:      85000 | #Constraints:     664505
1932.63/1938.65	c #Conflicts:      86000 | #Constraints:     665505
1932.63/1938.65	c #Conflicts:      87000 | #Constraints:     666505
1932.63/1938.65	c #Conflicts:      88000 | #Constraints:     667505
1932.63/1938.65	c #Conflicts:      89000 | #Constraints:     668505
1932.63/1938.65	c #Conflicts:      90000 | #Constraints:     669505
1932.63/1938.65	c INPROCESSING
1932.63/1938.65	c GARBAGE COLLECT
1932.63/1938.65	c #Conflicts:      91000 | #Constraints:     664501
1932.63/1938.65	c #Conflicts:      92000 | #Constraints:     665501
1932.63/1938.65	c #Conflicts:      93000 | #Constraints:     666501
1932.63/1938.65	c #Conflicts:      94000 | #Constraints:     667501
1932.63/1938.65	c #Conflicts:      95000 | #Constraints:     668501
1932.63/1938.65	c #Conflicts:      96000 | #Constraints:     669501
1932.63/1938.65	c INPROCESSING
1932.63/1938.65	c GARBAGE COLLECT
1932.63/1938.65	c #Conflicts:      97000 | #Constraints:     664309
1932.63/1938.65	c #Conflicts:      98000 | #Constraints:     665309
1932.63/1938.65	c #Conflicts:      99000 | #Constraints:     666309
1932.63/1938.65	c #Conflicts:     100000 | #Constraints:     667309
1932.63/1938.65	c #Conflicts:     101000 | #Constraints:     668309
1932.63/1938.65	c #Conflicts:     102000 | #Constraints:     669309
1932.63/1938.65	c #Conflicts:     103000 | #Constraints:     670309
1932.63/1938.65	c INPROCESSING
1932.63/1938.65	c GARBAGE COLLECT
1932.63/1938.65	c #Conflicts:     104000 | #Constraints:     664908
1932.63/1938.65	c #Conflicts:     105000 | #Constraints:     665908
1932.63/1938.65	c #Conflicts:     106000 | #Constraints:     666908
1932.63/1938.65	c #Conflicts:     107000 | #Constraints:     667908
1932.63/1938.65	c #Conflicts:     108000 | #Constraints:     668908
1932.63/1938.65	c #Conflicts:     109000 | #Constraints:     669908
1932.63/1938.65	c #Conflicts:     110000 | #Constraints:     670908
1932.63/1938.65	c INPROCESSING
1932.63/1938.65	c GARBAGE COLLECT
1932.63/1938.65	c #Conflicts:     111000 | #Constraints:     665315
1932.63/1938.65	c #Conflicts:     112000 | #Constraints:     666315
1932.63/1938.65	c #Conflicts:     113000 | #Constraints:     667315
1932.63/1938.65	c #Conflicts:     114000 | #Constraints:     668315
1932.63/1938.65	c #Conflicts:     115000 | #Constraints:     669315
1932.63/1938.65	c #Conflicts:     116000 | #Constraints:     670315
1932.63/1938.65	c #Conflicts:     117000 | #Constraints:     671315
1932.63/1938.65	c INPROCESSING
1932.63/1938.65	c GARBAGE COLLECT
1932.63/1938.65	c #Conflicts:     118000 | #Constraints:     665515
1932.63/1938.65	c #Conflicts:     119000 | #Constraints:     666515
1932.63/1938.65	c #Conflicts:     120000 | #Constraints:     667515
1932.63/1938.65	c #Conflicts:     121000 | #Constraints:     668515
1932.63/1938.65	c #Conflicts:     122000 | #Constraints:     669515
1932.63/1938.65	c #Conflicts:     123000 | #Constraints:     670515
1932.63/1938.65	c #Conflicts:     124000 | #Constraints:     671515
1932.63/1938.65	c INPROCESSING
1932.63/1938.65	c GARBAGE COLLECT
1932.63/1938.65	c #Conflicts:     125000 | #Constraints:     665509
1932.63/1938.65	c #Conflicts:     126000 | #Constraints:     666509
1932.63/1938.65	c #Conflicts:     127000 | #Constraints:     667509
1932.63/1938.65	c #Conflicts:     128000 | #Constraints:     668509
1932.63/1938.65	c #Conflicts:     129000 | #Constraints:     669509
1932.63/1938.66	c #Conflicts:     130000 | #Constraints:     670509
1932.63/1938.66	c #Conflicts:     131000 | #Constraints:     671509
1932.63/1938.66	c INPROCESSING
1932.63/1938.66	c GARBAGE COLLECT
1932.63/1938.66	c #Conflicts:     132000 | #Constraints:     665309
1932.63/1938.66	c #Conflicts:     133000 | #Constraints:     666309
1932.63/1938.66	c #Conflicts:     134000 | #Constraints:     667309
1932.63/1938.66	c #Conflicts:     135000 | #Constraints:     668309
1932.63/1938.66	c #Conflicts:     136000 | #Constraints:     669309
1932.63/1938.66	c #Conflicts:     137000 | #Constraints:     670309
1932.63/1938.66	c #Conflicts:     138000 | #Constraints:     671309
1932.63/1938.66	c #Conflicts:     139000 | #Constraints:     672309
1932.63/1938.66	c INPROCESSING
1932.63/1938.66	c GARBAGE COLLECT
1932.63/1938.66	c #Conflicts:     140000 | #Constraints:     665915
1932.63/1938.66	c GLOBAL bounds - >= 0 @ 1927.02
1933.72/1939.75	c GLOBAL bounds - >= 0 @ 1928.11
2012.79/2019.06	c #Conflicts:     141000 | #Constraints:     666919
2012.79/2019.06	c #Conflicts:     142000 | #Constraints:     667919
2012.79/2019.06	c #Conflicts:     143000 | #Constraints:     668919
2012.79/2019.06	c #Conflicts:     144000 | #Constraints:     669919
2012.79/2019.06	c #Conflicts:     145000 | #Constraints:     670919
2012.79/2019.06	c #Conflicts:     146000 | #Constraints:     671919
2012.79/2019.06	c #Conflicts:     147000 | #Constraints:     672919
2012.79/2019.06	c INPROCESSING
2012.79/2019.06	c GARBAGE COLLECT
2012.79/2019.06	c GLOBAL bounds - >= 0 @ 2007.08
2013.67/2019.99	c GLOBAL bounds - >= 0 @ 2008
2013.78/2020.03	c GLOBAL bounds - >= 0 @ 2008.05
2013.89/2020.12	c GLOBAL bounds - >= 0 @ 2008.13
2013.89/2020.18	c GLOBAL bounds - >= 0 @ 2008.18
2014.07/2020.34	c GLOBAL bounds - >= 0 @ 2008.34
2033.91/2040.20	c #Conflicts:     148000 | #Constraints:     666335
2033.91/2040.20	c #Conflicts:     149000 | #Constraints:     667335
2033.91/2040.20	c GLOBAL bounds - >= 0 @ 2028.08
2140.49/2147.20	c #Conflicts:     150000 | #Constraints:     668337
2140.49/2147.20	c #Conflicts:     151000 | #Constraints:     669337
2140.49/2147.20	c #Conflicts:     152000 | #Constraints:     670337
2140.49/2147.20	c #Conflicts:     153000 | #Constraints:     671337
2140.49/2147.20	c GLOBAL bounds - >= 0 @ 2134.55
2537.80/2545.73	c #Conflicts:     154000 | #Constraints:     672339
2537.80/2545.73	c #Conflicts:     155000 | #Constraints:     673339
2537.80/2545.73	c INPROCESSING
2537.80/2545.73	c GARBAGE COLLECT
2537.80/2545.73	c #Conflicts:     156000 | #Constraints:     666536
2537.80/2545.73	c #Conflicts:     157000 | #Constraints:     667536
2537.80/2545.73	c #Conflicts:     158000 | #Constraints:     668536
2537.80/2545.73	c #Conflicts:     159000 | #Constraints:     669536
2537.80/2545.73	c #Conflicts:     160000 | #Constraints:     670536
2537.80/2545.73	c #Conflicts:     161000 | #Constraints:     671536
2537.80/2545.73	c #Conflicts:     162000 | #Constraints:     672536
2537.80/2545.73	c #Conflicts:     163000 | #Constraints:     673536
2537.80/2545.73	c INPROCESSING
2537.80/2545.73	c GARBAGE COLLECT
2537.80/2545.73	c #Conflicts:     164000 | #Constraints:     666534
2537.80/2545.73	c #Conflicts:     165000 | #Constraints:     667534
2537.80/2545.73	c #Conflicts:     166000 | #Constraints:     668534
2537.80/2545.73	c #Conflicts:     167000 | #Constraints:     669534
2537.80/2545.73	c #Conflicts:     168000 | #Constraints:     670534
2537.80/2545.73	c #Conflicts:     169000 | #Constraints:     671534
2537.80/2545.73	c #Conflicts:     170000 | #Constraints:     672534
2537.80/2545.73	c #Conflicts:     171000 | #Constraints:     673534
2537.80/2545.73	c INPROCESSING
2537.80/2545.73	c GARBAGE COLLECT
2537.80/2545.73	c #Conflicts:     172000 | #Constraints:     666323
2537.80/2545.73	c GLOBAL bounds - >= 0 @ 2531.2
2537.90/2545.81	c GLOBAL bounds - >= 0 @ 2531.28
2538.81/2546.71	c GLOBAL bounds - >= 0 @ 2532.18
2570.12/2578.19	c #Conflicts:     173000 | #Constraints:     667329
2570.12/2578.19	c #Conflicts:     174000 | #Constraints:     668329
2570.12/2578.19	c GLOBAL bounds - >= 0 @ 2563.5
2570.21/2578.25	c GLOBAL bounds - >= 0 @ 2563.56
2570.41/2578.42	c GLOBAL bounds - >= 0 @ 2563.73
2574.59/2582.62	c #Conflicts:     175000 | #Constraints:     669335
2574.59/2582.62	c GLOBAL bounds - >= 0 @ 2567.9
2575.28/2583.37	c GLOBAL bounds - >= 0 @ 2568.64
2575.89/2583.90	c GLOBAL bounds - >= 0 @ 2569.17
2583.56/2591.65	c GLOBAL bounds - >= 0 @ 2576.87
2589.84/2597.96	c #Conflicts:     176000 | #Constraints:     670343
2589.84/2597.96	c GLOBAL bounds - >= 0 @ 2583.14
2589.96/2598.02	c GLOBAL bounds - >= 0 @ 2583.2
2592.95/2601.04	c GLOBAL bounds - >= 0 @ 2586.2
2604.70/2612.87	c #Conflicts:     177000 | #Constraints:     671349
2604.70/2612.87	c GLOBAL bounds - >= 0 @ 2597.97
2608.39/2616.52	c #Conflicts:     178000 | #Constraints:     672351
2608.39/2616.52	c GLOBAL bounds - >= 0 @ 2601.6
2611.18/2619.37	c GLOBAL bounds - >= 0 @ 2604.43
2618.65/2626.86	c GLOBAL bounds - >= 0 @ 2611.86
2624.44/2632.63	c #Conflicts:     179000 | #Constraints:     673357
2624.44/2632.63	c GLOBAL bounds - >= 0 @ 2617.59
2726.63/2735.15	c #Conflicts:     180000 | #Constraints:     674359
2726.63/2735.15	c INPROCESSING
2726.63/2735.15	c GARBAGE COLLECT
2726.63/2735.15	c #Conflicts:     181000 | #Constraints:     666947
2726.63/2735.15	c #Conflicts:     182000 | #Constraints:     667947
2726.63/2735.15	c #Conflicts:     183000 | #Constraints:     668947
2726.63/2735.15	c #Conflicts:     184000 | #Constraints:     669947
2726.63/2735.15	c #Conflicts:     185000 | #Constraints:     670947
2726.63/2735.15	c #Conflicts:     186000 | #Constraints:     671947
2726.63/2735.15	c GLOBAL bounds - >= 0 @ 2719.63
3600.00/3611.11	c #Conflicts:     187000 | #Constraints:     672949
3600.00/3611.11	c #Conflicts:     188000 | #Constraints:     673949
3600.00/3611.11	c #Conflicts:     189000 | #Constraints:     674949
3600.00/3611.11	c INPROCESSING
3600.00/3611.11	c GARBAGE COLLECT
3600.00/3611.11	c #Conflicts:     190000 | #Constraints:     667357
3600.00/3611.11	c #Conflicts:     191000 | #Constraints:     668357
3600.00/3611.11	c #Conflicts:     192000 | #Constraints:     669357
3600.00/3611.11	c #Conflicts:     193000 | #Constraints:     670357
3600.00/3611.11	c #Conflicts:     194000 | #Constraints:     671357
3600.00/3611.11	c #Conflicts:     195000 | #Constraints:     672357
3600.00/3611.11	c #Conflicts:     196000 | #Constraints:     673357
3600.00/3611.11	c #Conflicts:     197000 | #Constraints:     674357
3600.00/3611.11	c #Conflicts:     198000 | #Constraints:     675357
3600.00/3611.11	c INPROCESSING
3600.00/3611.11	c GARBAGE COLLECT
3600.00/3611.11	c #Conflicts:     199000 | #Constraints:     667564
3600.00/3611.11	c #Conflicts:     200000 | #Constraints:     668564
3600.00/3611.11	c #Conflicts:     201000 | #Constraints:     669564
3600.00/3611.11	c #Conflicts:     202000 | #Constraints:     670564
3600.00/3611.11	c #Conflicts:     203000 | #Constraints:     671564
3600.00/3611.11	c #Conflicts:     204000 | #Constraints:     672564
3600.00/3611.11	c #Conflicts:     205000 | #Constraints:     673564
3600.00/3611.11	c #Conflicts:     206000 | #Constraints:     674564
3600.00/3611.11	c #Conflicts:     207000 | #Constraints:     675564
3600.00/3611.11	c INPROCESSING
3600.00/3611.11	c GARBAGE COLLECT
3600.00/3611.11	c #Conflicts:     208000 | #Constraints:     667561
3600.00/3611.11	c #Conflicts:     209000 | #Constraints:     668561
3600.00/3611.11	c #Conflicts:     210000 | #Constraints:     669561
3600.00/3611.11	c #Conflicts:     211000 | #Constraints:     670561
3600.00/3611.11	c #Conflicts:     212000 | #Constraints:     671561
3600.00/3611.11	c #Conflicts:     213000 | #Constraints:     672561
3600.00/3611.11	c #Conflicts:     214000 | #Constraints:     673561
3600.00/3611.11	c #Conflicts:     215000 | #Constraints:     674561
3600.00/3611.11	c #Conflicts:     216000 | #Constraints:     675561
3600.00/3611.11	c INPROCESSING
3600.00/3611.11	c GARBAGE COLLECT
3600.00/3611.11	c #Conflicts:     217000 | #Constraints:     667370
3600.00/3611.11	c #Conflicts:     218000 | #Constraints:     668370
3600.00/3611.11	c #Conflicts:     219000 | #Constraints:     669370
3600.00/3611.11	c #Conflicts:     220000 | #Constraints:     670370
3600.00/3611.11	c #Conflicts:     221000 | #Constraints:     671370
3600.00/3611.11	c #Conflicts:     222000 | #Constraints:     672370
3600.00/3611.11	c #Conflicts:     223000 | #Constraints:     673370
3600.00/3611.11	c #Conflicts:     224000 | #Constraints:     674370
3600.00/3611.11	c #Conflicts:     225000 | #Constraints:     675370
3600.00/3611.11	c #Conflicts:     226000 | #Constraints:     676370
3600.00/3611.11	c INPROCESSING
3600.00/3611.11	c GARBAGE COLLECT
3600.00/3611.11	c #Conflicts:     227000 | #Constraints:     667979
3600.00/3611.11	c #Conflicts:     228000 | #Constraints:     668979
3600.00/3611.11	c #Conflicts:     229000 | #Constraints:     669979
3600.00/3611.11	c cpu time 3592.37 s
3600.00/3611.11	c deterministic time 1 1.00e+00
3600.00/3611.11	c optimization time 3589.72 s
3600.00/3611.11	c total solve time 0 s
3600.00/3611.11	c core-guided solve time 0 s
3600.00/3611.11	c propagation time 0.310575 s
3600.00/3611.11	c conflict analysis time 0 s
3600.00/3611.11	c propagations 0
3600.00/3611.11	c resolve steps 0
3600.00/3611.11	c decisions 0
3600.00/3611.11	c conflicts 0
3600.00/3611.11	c restarts 0
3600.00/3611.11	c inprocessing phases 0
3600.00/3611.11	c garbage collections 0 ,( -nan )
3600.00/3611.11	c input clauses 656900 ,( 100.00 )
3600.00/3611.11	c input cardinalities 0 ,( 0.00 )
3600.00/3611.11	c input general constraints 0 ,( 0.00 )
3600.00/3611.11	c input average constraint length 2.03
3600.00/3611.11	c input average constraint degree 1.00
3600.00/3611.11	c learned clauses 0 ,( 0.00 )
3600.00/3611.11	c learned cardinalities 0 ,( 0.00 )
3600.00/3611.11	c learned general constraints 0 ,( 0.00 )
3600.00/3611.11	c learned average constraint length 0.00
3600.00/3611.11	c learned average constraint degree 0.00
3600.00/3611.11	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.00/3611.11	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.00/3611.11	c watched   constraints 0 ,( -nan ) 
3600.00/3611.11	c counting  constraints 0 ,( -nan ) 
3600.00/3611.11	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.00/3611.11	c gcd simplifications 0
3600.00/3611.11	c detected cardinalities 0
3600.00/3611.11	c weakened non-implied lits 0
3600.00/3611.11	c weakened non-implying lits 0
3600.00/3611.11	c original variables 10000
3600.00/3611.11	c clausal propagations 0
3600.00/3611.11	c cardinality propagations 0
3600.00/3611.11	c watched propagations 0
3600.00/3611.11	c counting propagations 0
3600.00/3611.11	c watch lookups 0
3600.00/3611.11	c watch backjump lookups 0
3600.00/3611.11	c watch checks 0
3600.00/3611.11	c propagation checks 0
3600.00/3611.11	c constraint additions 0
3600.00/3611.11	c trail pops 0
3600.00/3611.11	c formula constraints 656900
3600.00/3611.11	c learned constraints 0
3600.00/3611.11	c bound constraints 0
3600.00/3611.11	c core-guided constraints 0
3600.00/3611.11	c encountered formula constraints 0
3600.00/3611.11	c encountered learned constraints 0
3600.00/3611.11	c encountered bound constraints 0
3600.00/3611.11	c encountered core-guided constraints 0
3600.00/3611.11	c LP total time 0 s
3600.00/3611.11	c LP solve time 0 s
3600.00/3611.11	c LP constraints added 0
3600.00/3611.11	c LP constraints removed 0
3600.00/3611.11	c LP pivots internal 0
3600.00/3611.11	c LP pivots root 0
3600.00/3611.12	c LP calls 0
3600.00/3611.12	c LP optimalities 0
3600.00/3611.12	c LP no pivot count 0
3600.00/3611.12	c LP infeasibilities 0
3600.00/3611.12	c LP valid Farkas constraints 0
3600.00/3611.12	c LP learned Farkas constraints 0
3600.00/3611.12	c LP basis resets 0
3600.00/3611.12	c LP cycling count 0
3600.00/3611.12	c LP singular count 0
3600.00/3611.12	c LP no primal count 0
3600.00/3611.12	c LP no farkas count 0
3600.00/3611.12	c LP other issue count 0
3600.00/3611.12	c LP Gomory cuts 0
3600.00/3611.12	c LP learned cuts 0
3600.00/3611.12	c LP deleted cuts 0
3600.00/3611.12	c LP encountered Gomory constraints 0
3600.00/3611.12	c LP encountered Farkas constraints 0
3600.00/3611.12	c LP encountered learned Farkas constraints 0
3600.00/3611.12	c CG auxiliary variables introduced 0
3600.00/3611.12	c CG solutions found 0
3600.00/3611.12	c CG cores constructed 0
3600.00/3611.12	c CG core cardinality constraints returned 0
3600.00/3611.12	c CG unit cores 0
3600.00/3611.12	c CG single cores 0
3600.00/3611.12	c CG blocks removed during cardinality reduction 0
3600.00/3611.12	c CG first core best 0
3600.00/3611.12	c CG decision core best 0
3600.00/3611.12	c CG core reduction tie 0
3600.00/3611.12	c CG core degree average 0.00
3600.00/3611.12	c CG core slack average 0.00
3600.00/3611.12	c CG core upper bound improvements 0
3600.00/3611.12	c STR number of successful calls 0
3600.00/3611.12	c STR number of unsuccessful calls 0
3600.00/3611.12	c STR number of inconclusive calls 0
3600.00/3611.12	c STR number of successful attempts 0
3600.00/3611.12	c STR number of unsuccessful attempts 0
3600.00/3611.12	c STR number of inconclusive attempts 0
3600.00/3611.12	c STR average degree increase per successful call inf
3600.00/3611.12	c STR average degree increase per successful attempt inf
3600.00/3611.12	c STR total number of conflicts for successful attempts 0
3600.00/3611.12	c STR total number of conflicts for unsuccessful attempts 0
3600.00/3611.12	c STR total number of conflicts for inconclusive attempts 0
3600.00/3611.12	c STR average number of conflicts per successful attempt inf
3600.00/3611.12	c STR average number of conflicts per unsuccessful attempt inf
3600.00/3611.12	c STR average number of conflicts per inconclusive attempt inf
3600.00/3611.12	c AVG.sumWPerc -nan 
3600.00/3611.12	c bigint constraints 0 
3600.00/3611.12	s UNKNOWN
3600.00/3611.12	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: 63837 MiB (63172 MiB free)
  memory of node 1: 64465 MiB (63235 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489736-1751363415/watcher-4489736-1751363415 -o /tmp/evaluation-result-4489736-1751363415/solver-4489736-1751363415 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751359802-47566 --watchdog 3760 run-opt.sh HOME/instance-4489736-1751363415.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
solver pid=47955, runsolver pid=47952
Current StackSize limit: 8192 KiB


[startup+0.100068 s]*
/proc/loadavg: 4.05 4.08 4.09 5/242 47961
/proc/meminfo: memFree=129434128/131382116 swapFree=33010684/33010684
[pid=47955] ppid=47952 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47955/stat : 47955 (run-opt.sh) S 47952 47955 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52020950 4292608 768 18446744073709551615 94202236489728 94202237384261 140732218256896 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94202237623312 94202237671056 94202254327808 140732218263917 140732218264040 140732218264040 140732218269642 0
/proc/47955/statm: 1048 768 704 219 0 110 0
[pid=47958] ppid=47955 vsize=57980 memory=12804 CPUtime=0.08 cores=0,2
/proc/47958/stat : 47958 (roundingsat) R 47955 47955 47556 0 -1 4194304 1423 0 0 0 6 2 0 0 20 0 1 0 52020951 59371520 3201 18446744073709551615 4227072 8923433 140721633257568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34676736 140721633266082 140721633266216 140721633266216 140721633271786 0
/proc/47958/statm: 14495 3201 1888 1147 0 1922 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 62172 KiB
Current children cumulated memory: 15876 KiB

[startup+0.213285 s]*
/proc/loadavg: 4.05 4.08 4.09 4/242 47962
/proc/meminfo: memFree=129421212/131382116 swapFree=33010684/33010684
[pid=47955] ppid=47952 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47955/stat : 47955 (run-opt.sh) S 47952 47955 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52020950 4292608 768 18446744073709551615 94202236489728 94202237384261 140732218256896 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94202237623312 94202237671056 94202254327808 140732218263917 140732218264040 140732218264040 140732218269642 0
/proc/47955/statm: 1048 768 704 219 0 110 0
[pid=47958] ppid=47955 vsize=58764 memory=13700 CPUtime=0.19 cores=0,2
/proc/47958/stat : 47958 (roundingsat) R 47955 47955 47556 0 -1 4194304 1646 0 0 0 13 6 0 0 20 0 1 0 52020951 60174336 3425 18446744073709551615 4227072 8923433 140721633257568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34676736 140721633266082 140721633266216 140721633266216 140721633271786 0
/proc/47958/statm: 14691 3425 1888 1147 0 2118 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 62956 KiB
Current children cumulated memory: 16772 KiB

[startup+0.312171 s]*
/proc/loadavg: 4.05 4.08 4.09 5/243 47967
/proc/meminfo: memFree=129419196/131382116 swapFree=33010684/33010684
[pid=47955] ppid=47952 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47955/stat : 47955 (run-opt.sh) S 47952 47955 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52020950 4292608 768 18446744073709551615 94202236489728 94202237384261 140732218256896 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94202237623312 94202237671056 94202254327808 140732218263917 140732218264040 140732218264040 140732218269642 0
/proc/47955/statm: 1048 768 704 219 0 110 0
[pid=47958] ppid=47955 vsize=59668 memory=14340 CPUtime=0.29 cores=0,2
/proc/47958/stat : 47958 (roundingsat) R 47955 47955 47556 0 -1 4194304 1803 0 0 0 21 8 0 0 20 0 1 0 52020951 61100032 3585 18446744073709551615 4227072 8923433 140721633257568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34676736 140721633266082 140721633266216 140721633266216 140721633271786 0
/proc/47958/statm: 14917 3585 1888 1147 0 2344 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 63860 KiB
Current children cumulated memory: 17412 KiB

[startup+0.700312 s]
/proc/loadavg: 4.05 4.08 4.09 4/250 47978
/proc/meminfo: memFree=129410628/131382116 swapFree=33010684/33010684
[pid=47955] ppid=47952 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47955/stat : 47955 (run-opt.sh) S 47952 47955 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52020950 4292608 768 18446744073709551615 94202236489728 94202237384261 140732218256896 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94202237623312 94202237671056 94202254327808 140732218263917 140732218264040 140732218264040 140732218269642 0
/proc/47955/statm: 1048 768 704 219 0 110 0
[pid=47958] ppid=47955 vsize=63560 memory=20420 CPUtime=0.67 cores=0,2
/proc/47958/stat : 47958 (roundingsat) R 47955 47955 47556 0 -1 4194304 2798 0 0 0 49 18 0 0 20 0 1 0 52020951 65085440 5105 18446744073709551615 4227072 8923433 140721633257568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34676736 140721633266082 140721633266216 140721633266216 140721633271786 0
/proc/47958/statm: 15890 5105 1888 1147 0 3317 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 67752 KiB
Current children cumulated memory: 23492 KiB

[startup+1.50034 s]
/proc/loadavg: 4.05 4.08 4.09 5/249 47999
/proc/meminfo: memFree=129391352/131382116 swapFree=33010684/33010684
[pid=47955] ppid=47952 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47955/stat : 47955 (run-opt.sh) S 47952 47955 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52020950 4292608 768 18446744073709551615 94202236489728 94202237384261 140732218256896 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94202237623312 94202237671056 94202254327808 140732218263917 140732218264040 140732218264040 140732218269642 0
/proc/47955/statm: 1048 768 704 219 0 110 0
[pid=47958] ppid=47955 vsize=92392 memory=41424 CPUtime=1.46 cores=0,2
/proc/47958/stat : 47958 (roundingsat) R 47955 47955 47556 0 -1 4194304 8590 0 0 0 106 40 0 0 20 0 1 0 52020951 94609408 10356 18446744073709551615 4227072 8923433 140721633257568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34676736 140721633266082 140721633266216 140721633266216 140721633271786 0
/proc/47958/statm: 23098 10356 1888 1147 0 10525 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 96584 KiB
Current children cumulated memory: 44496 KiB

[startup+3.11335 s]
/proc/loadavg: 4.05 4.08 4.09 5/253 48010
/proc/meminfo: memFree=128453116/131382116 swapFree=33010684/33010684
[pid=47955] ppid=47952 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47955/stat : 47955 (run-opt.sh) S 47952 47955 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52020950 4292608 768 18446744073709551615 94202236489728 94202237384261 140732218256896 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94202237623312 94202237671056 94202254327808 140732218263917 140732218264040 140732218264040 140732218269642 0
/proc/47955/statm: 1048 768 704 219 0 110 0
[pid=47958] ppid=47955 vsize=439520 memory=309208 CPUtime=3.07 cores=0,2
/proc/47958/stat : 47958 (roundingsat) R 47955 47955 47556 0 -1 4194304 27593 0 0 0 226 81 0 0 20 0 1 0 52020951 450068480 77302 18446744073709551615 4227072 8923433 140721633257568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34676736 140721633266082 140721633266216 140721633266216 140721633271786 0
/proc/47958/statm: 109880 77302 2240 1147 0 97307 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 443712 KiB
Current children cumulated memory: 312280 KiB

[startup+6.30035 s]
/proc/loadavg: 4.04 4.07 4.08 5/253 48010
/proc/meminfo: memFree=125679412/131382116 swapFree=33010684/33010684
[pid=47955] ppid=47952 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47955/stat : 47955 (run-opt.sh) S 47952 47955 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52020950 4292608 768 18446744073709551615 94202236489728 94202237384261 140732218256896 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94202237623312 94202237671056 94202254327808 140732218263917 140732218264040 140732218264040 140732218269642 0
/proc/47955/statm: 1048 768 704 219 0 110 0
[pid=47958] ppid=47955 vsize=1195940 memory=935948 CPUtime=6.25 cores=0,2
/proc/47958/stat : 47958 (roundingsat) R 47955 47955 47556 0 -1 4194304 131537 0 0 0 468 157 0 0 20 0 1 0 52020951 1224642560 233987 18446744073709551615 4227072 8923433 140721633257568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34676736 140721633266082 140721633266216 140721633266216 140721633271786 0
/proc/47958/statm: 298985 233987 2336 1147 0 286412 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 1200132 KiB
Current children cumulated memory: 939020 KiB

[startup+12.7003 s]
/proc/loadavg: 4.04 4.07 4.08 5/253 48010
/proc/meminfo: memFree=125512876/131382116 swapFree=33010684/33010684
[pid=47955] ppid=47952 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47955/stat : 47955 (run-opt.sh) S 47952 47955 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52020950 4292608 768 18446744073709551615 94202236489728 94202237384261 140732218256896 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94202237623312 94202237671056 94202254327808 140732218263917 140732218264040 140732218264040 140732218269642 0
/proc/47955/statm: 1048 768 704 219 0 110 0
[pid=47958] ppid=47955 vsize=1276848 memory=1000640 CPUtime=12.63 cores=0,2
/proc/47958/stat : 47958 (roundingsat) R 47955 47955 47556 0 -1 4194304 132894 0 0 0 1082 181 0 0 20 0 1 0 52020951 1307492352 250160 18446744073709551615 4227072 8923433 140721633257568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34676736 140721633266082 140721633266216 140721633266216 140721633271786 0
/proc/47958/statm: 319212 250160 2336 1147 0 306639 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1281040 KiB
Current children cumulated memory: 1003712 KiB

[startup+25.5004 s]
/proc/loadavg: 4.10 4.08 4.09 5/254 48012
/proc/meminfo: memFree=124891272/131382116 swapFree=33010684/33010684
[pid=47955] ppid=47952 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47955/stat : 47955 (run-opt.sh) S 47952 47955 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52020950 4292608 768 18446744073709551615 94202236489728 94202237384261 140732218256896 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94202237623312 94202237671056 94202254327808 140732218263917 140732218264040 140732218264040 140732218269642 0
/proc/47955/statm: 1048 768 704 219 0 110 0
[pid=47958] ppid=47955 vsize=1450228 memory=1143588 CPUtime=25.4 cores=0,2
/proc/47958/stat : 47958 (roundingsat) R 47955 47955 47556 0 -1 4194304 151271 0 0 0 2338 202 0 0 20 0 1 0 52020951 1485033472 285897 18446744073709551615 4227072 8923433 140721633257568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34676736 140721633266082 140721633266216 140721633266216 140721633271786 0
/proc/47958/statm: 362557 285897 2336 1147 0 349984 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1454420 KiB
Current children cumulated memory: 1146660 KiB

[startup+51.1132 s]
/proc/loadavg: 4.06 4.08 4.09 5/254 48013
/proc/meminfo: memFree=123919876/131382116 swapFree=33010684/33010684
[pid=47955] ppid=47952 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47955/stat : 47955 (run-opt.sh) S 47952 47955 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52020950 4292608 768 18446744073709551615 94202236489728 94202237384261 140732218256896 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94202237623312 94202237671056 94202254327808 140732218263917 140732218264040 140732218264040 140732218269642 0
/proc/47955/statm: 1048 768 704 219 0 110 0
[pid=47958] ppid=47955 vsize=1770660 memory=1321092 CPUtime=50.94 cores=0,2
/proc/47958/stat : 47958 (roundingsat) R 47955 47955 47556 0 -1 4194304 182362 0 0 0 4870 224 0 0 20 0 1 0 52020951 1813155840 330273 18446744073709551615 4227072 8923433 140721633257568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34676736 140721633266082 140721633266216 140721633266216 140721633271786 0
/proc/47958/statm: 442665 330273 2336 1147 0 430092 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1774852 KiB
Current children cumulated memory: 1324164 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/257 48024
/proc/meminfo: memFree=123284400/131382116 swapFree=33010684/33010684
[pid=47955] ppid=47952 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47955/stat : 47955 (run-opt.sh) S 47952 47955 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52020950 4292608 768 18446744073709551615 94202236489728 94202237384261 140732218256896 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94202237623312 94202237671056 94202254327808 140732218263917 140732218264040 140732218264040 140732218269642 0
/proc/47955/statm: 1048 768 704 219 0 110 0
[pid=47958] ppid=47955 vsize=1936580 memory=1510272 CPUtime=101.97 cores=0,2
/proc/47958/stat : 47958 (roundingsat) R 47955 47955 47556 0 -1 4194304 212321 0 0 0 9949 248 0 0 20 0 1 0 52020951 1983057920 377568 18446744073709551615 4227072 8923433 140721633257568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34676736 140721633266082 140721633266216 140721633266216 140721633271786 0
/proc/47958/statm: 484145 377568 2336 1147 0 471572 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 1940772 KiB
Current children cumulated memory: 1513344 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/257 48026
/proc/meminfo: memFree=122971828/131382116 swapFree=33010684/33010684
[pid=47955] ppid=47952 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47955/stat : 47955 (run-opt.sh) S 47952 47955 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52020950 4292608 768 18446744073709551615 94202236489728 94202237384261 140732218256896 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94202237623312 94202237671056 94202254327808 140732218263917 140732218264040 140732218264040 140732218269642 0
/proc/47955/statm: 1048 768 704 219 0 110 0
[pid=47958] ppid=47955 vsize=2028760 memory=1645308 CPUtime=161.79 cores=0,2
/proc/47958/stat : 47958 (roundingsat) R 47955 47955 47556 0 -1 4194304 232799 0 0 0 15901 278 0 0 20 0 1 0 52020951 2077450240 411327 18446744073709551615 4227072 8923433 140721633257568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34676736 140721633266082 140721633266216 140721633266216 140721633271786 0
/proc/47958/statm: 507190 411327 2336 1147 0 494617 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 2032952 KiB
Current children cumulated memory: 1648380 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/257 48028
/proc/meminfo: memFree=122726996/131382116 swapFree=33010684/33010684
[pid=47955] ppid=47952 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47955/stat : 47955 (run-opt.sh) S 47952 47955 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52020950 4292608 768 18446744073709551615 94202236489728 94202237384261 140732218256896 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94202237623312 94202237671056 94202254327808 140732218263917 140732218264040 140732218264040 140732218269642 0
/proc/47955/statm: 1048 768 704 219 0 110 0
[pid=47958] ppid=47955 vsize=2030040 memory=1650556 CPUtime=221.61 cores=0,2
/proc/47958/stat : 47958 (roundingsat) R 47955 47955 47556 0 -1 4194304 234156 0 0 0 21868 293 0 0 20 0 1 0 52020951 2078760960 412639 18446744073709551615 4227072 8923433 140721633257568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34676736 140721633266082 140721633266216 140721633266216 140721633271786 0
/proc/47958/statm: 507510 412639 2336 1147 0 494937 0
Current children cumulated CPU time: 221.61 s

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

[pid=47958] ppid=47955 vsize=3636816 memory=3132208 CPUtime=3092.64 cores=0,2
/proc/47958/stat : 47958 (roundingsat) R 47955 47955 47556 0 -1 4194304 444041 0 0 0 308530 734 0 0 20 0 1 0 52020951 3724099584 783052 18446744073709551615 4227072 8923433 140721633257568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34676736 140721633266082 140721633266216 140721633266216 140721633271786 0
/proc/47958/statm: 909204 783052 2336 1147 0 896631 0
Current children cumulated CPU time: 3092.64 s
Current children cumulated vsize: 3641008 KiB
Current children cumulated memory: 3135280 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.12 4.13 5/255 48182
/proc/meminfo: memFree=117736056/131382116 swapFree=33010684/33010684
[pid=47955] ppid=47952 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47955/stat : 47955 (run-opt.sh) S 47952 47955 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52020950 4292608 768 18446744073709551615 94202236489728 94202237384261 140732218256896 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94202237623312 94202237671056 94202254327808 140732218263917 140732218264040 140732218264040 140732218269642 0
/proc/47955/statm: 1048 768 704 219 0 110 0
[pid=47958] ppid=47955 vsize=3636816 memory=3132208 CPUtime=3152.47 cores=0,2
/proc/47958/stat : 47958 (roundingsat) R 47955 47955 47556 0 -1 4194304 444787 0 0 0 314509 738 0 0 20 0 1 0 52020951 3724099584 783052 18446744073709551615 4227072 8923433 140721633257568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34676736 140721633266082 140721633266216 140721633266216 140721633271786 0
/proc/47958/statm: 909204 783052 2336 1147 0 896631 0
Current children cumulated CPU time: 3152.47 s
Current children cumulated vsize: 3641008 KiB
Current children cumulated memory: 3135280 KiB

[startup+3222.3 s]
/proc/loadavg: 4.18 4.13 4.13 5/255 48184
/proc/meminfo: memFree=117710288/131382116 swapFree=33010684/33010684
[pid=47955] ppid=47952 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47955/stat : 47955 (run-opt.sh) S 47952 47955 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52020950 4292608 768 18446744073709551615 94202236489728 94202237384261 140732218256896 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94202237623312 94202237671056 94202254327808 140732218263917 140732218264040 140732218264040 140732218269642 0
/proc/47955/statm: 1048 768 704 219 0 110 0
[pid=47958] ppid=47955 vsize=3636816 memory=3132208 CPUtime=3212.29 cores=0,2
/proc/47958/stat : 47958 (roundingsat) R 47955 47955 47556 0 -1 4194304 445252 0 0 0 320487 742 0 0 20 0 1 0 52020951 3724099584 783052 18446744073709551615 4227072 8923433 140721633257568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34676736 140721633266082 140721633266216 140721633266216 140721633271786 0
/proc/47958/statm: 909204 783052 2336 1147 0 896631 0
Current children cumulated CPU time: 3212.29 s
Current children cumulated vsize: 3641008 KiB
Current children cumulated memory: 3135280 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.10 4.12 5/255 48186
/proc/meminfo: memFree=117704760/131382116 swapFree=33010684/33010684
[pid=47955] ppid=47952 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47955/stat : 47955 (run-opt.sh) S 47952 47955 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52020950 4292608 768 18446744073709551615 94202236489728 94202237384261 140732218256896 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94202237623312 94202237671056 94202254327808 140732218263917 140732218264040 140732218264040 140732218269642 0
/proc/47955/statm: 1048 768 704 219 0 110 0
[pid=47958] ppid=47955 vsize=3636816 memory=3132208 CPUtime=3272.13 cores=0,2
/proc/47958/stat : 47958 (roundingsat) R 47955 47955 47556 0 -1 4194304 445271 0 0 0 326467 746 0 0 20 0 1 0 52020951 3724099584 783052 18446744073709551615 4227072 8923433 140721633257568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34676736 140721633266082 140721633266216 140721633266216 140721633271786 0
/proc/47958/statm: 909204 783052 2336 1147 0 896631 0
Current children cumulated CPU time: 3272.13 s
Current children cumulated vsize: 3641008 KiB
Current children cumulated memory: 3135280 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.12 5/255 48187
/proc/meminfo: memFree=117637676/131382116 swapFree=33010684/33010684
[pid=47955] ppid=47952 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47955/stat : 47955 (run-opt.sh) S 47952 47955 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52020950 4292608 768 18446744073709551615 94202236489728 94202237384261 140732218256896 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94202237623312 94202237671056 94202254327808 140732218263917 140732218264040 140732218264040 140732218269642 0
/proc/47955/statm: 1048 768 704 219 0 110 0
[pid=47958] ppid=47955 vsize=3637848 memory=3133360 CPUtime=3331.96 cores=0,2
/proc/47958/stat : 47958 (roundingsat) R 47955 47955 47556 0 -1 4194304 446027 0 0 0 332447 749 0 0 20 0 1 0 52020951 3725156352 783340 18446744073709551615 4227072 8923433 140721633257568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34676736 140721633266082 140721633266216 140721633266216 140721633271786 0
/proc/47958/statm: 909462 783340 2336 1147 0 896889 0
Current children cumulated CPU time: 3331.96 s
Current children cumulated vsize: 3642040 KiB
Current children cumulated memory: 3136432 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.12 5/254 48189
/proc/meminfo: memFree=117618864/131382116 swapFree=33010684/33010684
[pid=47955] ppid=47952 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47955/stat : 47955 (run-opt.sh) S 47952 47955 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52020950 4292608 768 18446744073709551615 94202236489728 94202237384261 140732218256896 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94202237623312 94202237671056 94202254327808 140732218263917 140732218264040 140732218264040 140732218269642 0
/proc/47955/statm: 1048 768 704 219 0 110 0
[pid=47958] ppid=47955 vsize=3637848 memory=3133360 CPUtime=3391.78 cores=0,2
/proc/47958/stat : 47958 (roundingsat) R 47955 47955 47556 0 -1 4194304 446759 0 0 0 338425 753 0 0 20 0 1 0 52020951 3725156352 783340 18446744073709551615 4227072 8923433 140721633257568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34676736 140721633266082 140721633266216 140721633266216 140721633271786 0
/proc/47958/statm: 909462 783340 2336 1147 0 896889 0
Current children cumulated CPU time: 3391.78 s
Current children cumulated vsize: 3642040 KiB
Current children cumulated memory: 3136432 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.10 4.11 5/254 48192
/proc/meminfo: memFree=117566608/131382116 swapFree=33010684/33010684
[pid=47955] ppid=47952 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47955/stat : 47955 (run-opt.sh) S 47952 47955 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52020950 4292608 768 18446744073709551615 94202236489728 94202237384261 140732218256896 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94202237623312 94202237671056 94202254327808 140732218263917 140732218264040 140732218264040 140732218269642 0
/proc/47955/statm: 1048 768 704 219 0 110 0
[pid=47958] ppid=47955 vsize=3637848 memory=3133360 CPUtime=3451.61 cores=0,2
/proc/47958/stat : 47958 (roundingsat) R 47955 47955 47556 0 -1 4194304 446800 0 0 0 344405 756 0 0 20 0 1 0 52020951 3725156352 783340 18446744073709551615 4227072 8923433 140721633257568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34676736 140721633266082 140721633266216 140721633266216 140721633271786 0
/proc/47958/statm: 909462 783340 2336 1147 0 896889 0
Current children cumulated CPU time: 3451.61 s
Current children cumulated vsize: 3642040 KiB
Current children cumulated memory: 3136432 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.11 4.11 5/255 48195
/proc/meminfo: memFree=117402504/131382116 swapFree=33010684/33010684
[pid=47955] ppid=47952 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47955/stat : 47955 (run-opt.sh) S 47952 47955 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52020950 4292608 768 18446744073709551615 94202236489728 94202237384261 140732218256896 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94202237623312 94202237671056 94202254327808 140732218263917 140732218264040 140732218264040 140732218269642 0
/proc/47955/statm: 1048 768 704 219 0 110 0
[pid=47958] ppid=47955 vsize=3637848 memory=3133360 CPUtime=3511.44 cores=0,2
/proc/47958/stat : 47958 (roundingsat) R 47955 47955 47556 0 -1 4194304 447047 0 0 0 350385 759 0 0 20 0 1 0 52020951 3725156352 783340 18446744073709551615 4227072 8923433 140721633257568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34676736 140721633266082 140721633266216 140721633266216 140721633271786 0
/proc/47958/statm: 909462 783340 2336 1147 0 896889 0
Current children cumulated CPU time: 3511.44 s
Current children cumulated vsize: 3642040 KiB
Current children cumulated memory: 3136432 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.10 4.10 5/255 48197
/proc/meminfo: memFree=117186832/131382116 swapFree=33010684/33010684
[pid=47955] ppid=47952 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47955/stat : 47955 (run-opt.sh) S 47952 47955 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52020950 4292608 768 18446744073709551615 94202236489728 94202237384261 140732218256896 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94202237623312 94202237671056 94202254327808 140732218263917 140732218264040 140732218264040 140732218269642 0
/proc/47955/statm: 1048 768 704 219 0 110 0
[pid=47958] ppid=47955 vsize=3637848 memory=3133360 CPUtime=3571.27 cores=0,2
/proc/47958/stat : 47958 (roundingsat) R 47955 47955 47556 0 -1 4194304 448029 0 0 0 356365 762 0 0 20 0 1 0 52020951 3725156352 783340 18446744073709551615 4227072 8923433 140721633257568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34676736 140721633266082 140721633266216 140721633266216 140721633271786 0
/proc/47958/statm: 909462 783340 2336 1147 0 896889 0
Current children cumulated CPU time: 3571.27 s
Current children cumulated vsize: 3642040 KiB
Current children cumulated memory: 3136432 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.11 s]
/proc/loadavg: 4.11 4.11 4.10 5/250 48207
/proc/meminfo: memFree=120235752/131382116 swapFree=33010684/33010684
[pid=47955] ppid=47952 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/47955/stat : 47955 (run-opt.sh) S 47952 47955 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52020950 4292608 768 18446744073709551615 94202236489728 94202237384261 140732218256896 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94202237623312 94202237671056 94202254327808 140732218263917 140732218264040 140732218264040 140732218269642 0
/proc/47955/statm: 1048 768 704 219 0 110 0
[pid=47958] ppid=47955 vsize=3637848 memory=3133360 CPUtime=3600 cores=0,2
/proc/47958/stat : 47958 (roundingsat) R 47955 47955 47556 0 -1 4194304 448051 0 0 0 359236 764 0 0 20 0 1 0 52020951 3725156352 783340 18446744073709551615 4227072 8923433 140721633257568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34676736 140721633266082 140721633266216 140721633266216 140721633271786 0
/proc/47958/statm: 909462 783340 2336 1147 0 896889 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 3642040 KiB
Current children cumulated memory: 3136432 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.001044 s, system=0.004339 s

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

# cumulated CPU time of all completed processes:  user=3592.46 s, system=7.65932 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.2 s]*
/proc/loadavg: 4.11 4.11 4.10 4/249 48207
/proc/meminfo: memFree=121908968/131382116 swapFree=33010684/33010684
[pid=47958] ppid=47952 vsize=1143172 memory=1078220 CPUtime=3600.11 cores=0,2
/proc/47958/stat : 47958 (roundingsat) R 47952 47955 47556 0 -1 4194304 448267 0 0 0 359246 765 0 0 20 0 1 0 52020951 1170608128 270579 18446744073709551615 4227072 8923433 140721633257568 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34676736 140721633266082 140721633266216 140721633266216 140721633271786 0
/proc/47958/statm: 285793 269555 2432 1147 0 273220 0
Current cumulated CPU time of completed processes: 0.005383 s
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 1143172 KiB
Current children cumulated memory: 1078220 KiB

Child status: 2

Real time (s): 3611.22
CPU time (s): 3600.12
CPU user time (s): 3592.46
CPU system time (s): 7.65932
CPU usage (%): 99.6927
Max. virtual memory (cumulated for all children) (KiB): 3642040
Max. memory (cumulated for all children) (KiB): 3136432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.46
system time used= 7.65932
maximum resident set size= 3133744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 448489
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= 353
involuntary context switches= 8255


# summary of solver processes directly reported to runsolver:
#   pid: 47955,47958
#   total CPU time (s): 3600.12
#   total CPU user time (s): 3592.46
#   total CPU system time (s): 7.65932

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.1885 second user time and 37.4848 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2025-07-01 11:50:15
IDJOB=4489736
IDBENCH=147562
IDSOLVER=3350
FILE ID=nodeC010/4489736-1751363415
RUNJOBID= nodeC010-1751359802-47566
SLURM_JOB_ID= 9598157
Free space on /tmp= 432624 MiB

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

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

MD5SUM BENCH= 502d6e212fd4e38a31cb5eb2ff64d408
RANDOM SEED=1295137140

nodeC010 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.158
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.36
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		: 3491.678
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.36
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		: 1197.262
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.36
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		: 1197.048
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.36
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		: 1296.896
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.36
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		: 1197.014
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.36
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.210
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.36
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.208
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        128791656 kB
MemAvailable:   129305604 kB
Buffers:            3280 kB
Cached:          1321192 kB
SwapCached:            0 kB
Active:          1039224 kB
Inactive:        1015464 kB
Active(anon):     748256 kB
Inactive(anon):        0 kB
Active(file):     290968 kB
Inactive(file):  1015464 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             55496 kB
Writeback:             4 kB
AnonPages:        731560 kB
Mapped:           109700 kB
Shmem:             17960 kB
KReclaimable:      94284 kB
Slab:             178472 kB
SReclaimable:      94284 kB
SUnreclaim:        84188 kB
KernelStack:        3920 kB
PageTables:         4384 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    1044820 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149320 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    669696 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:      205640 kB
DirectMap2M:    12279808 kB
DirectMap1G:    123731968 kB

Free space on /tmp at the end= 432596 MiB
End job on nodeC010 at 2025-07-01 12:50:27