Trace number 4489552

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.24 3611.46

General information on the benchmark

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

Solver Data 

0.00/0.03	c RoundingSat 2
0.00/0.03	c branch pb25
0.00/0.03	c commit 63f22ad
3.52/3.64	c #variables 10000 #constraints 656900
3.52/3.64	c objective is ce32 
4.82/4.98	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
4.82/4.98	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
4.82/4.98	c GLOBAL bounds - >= 0 @ 3.3351
5.11/5.22	c GLOBAL bounds - >= 0 @ 3.55911
5.11/5.23	c GLOBAL bounds - >= 0 @ 3.56689
5.11/5.24	c GLOBAL bounds - >= 0 @ 3.5745
5.11/5.25	c GLOBAL bounds - >= 0 @ 3.58173
5.11/5.27	c GLOBAL bounds - >= 0 @ 3.59697
5.11/5.28	c GLOBAL bounds - >= 0 @ 3.60309
5.11/5.29	c GLOBAL bounds - >= 0 @ 3.61443
5.22/5.30	c GLOBAL bounds - >= 0 @ 3.62335
5.22/5.31	c GLOBAL bounds - >= 0 @ 3.63107
5.22/5.32	c GLOBAL bounds - >= 0 @ 3.63709
5.22/5.33	c GLOBAL bounds - >= 0 @ 3.64989
5.22/5.34	c GLOBAL bounds - >= 0 @ 3.65574
5.22/5.35	c GLOBAL bounds - >= 0 @ 3.66303
5.22/5.36	c GLOBAL bounds - >= 0 @ 3.67051
5.22/5.37	c GLOBAL bounds - >= 0 @ 3.6824
5.22/5.38	c GLOBAL bounds - >= 0 @ 3.68962
5.22/5.39	c GLOBAL bounds - >= 0 @ 3.6968
5.31/5.40	c GLOBAL bounds - >= 0 @ 3.70675
5.31/5.41	c GLOBAL bounds - >= 0 @ 3.71769
5.31/5.42	c GLOBAL bounds - >= 0 @ 3.72546
5.31/5.43	c GLOBAL bounds - >= 0 @ 3.73904
5.31/5.45	c GLOBAL bounds - >= 0 @ 3.75371
5.31/5.45	c GLOBAL bounds - >= 0 @ 3.7581
5.31/5.47	c GLOBAL bounds - >= 0 @ 3.77135
5.42/5.51	c GLOBAL bounds - >= 0 @ 3.81148
5.42/5.52	c GLOBAL bounds - >= 0 @ 3.81739
5.42/5.53	c GLOBAL bounds - >= 0 @ 3.82973
5.42/5.55	c GLOBAL bounds - >= 0 @ 3.84976
5.42/5.57	c GLOBAL bounds - >= 0 @ 3.86746
5.42/5.58	c GLOBAL bounds - >= 0 @ 3.8747
5.42/5.59	c GLOBAL bounds - >= 0 @ 3.88407
5.42/5.60	c GLOBAL bounds - >= 0 @ 3.89016
5.52/5.60	c GLOBAL bounds - >= 0 @ 3.89888
5.52/5.62	c GLOBAL bounds - >= 0 @ 3.91541
5.52/5.63	c GLOBAL bounds - >= 0 @ 3.92401
5.52/5.64	c GLOBAL bounds - >= 0 @ 3.92844
5.52/5.65	c GLOBAL bounds - >= 0 @ 3.9362
5.52/5.66	c GLOBAL bounds - >= 0 @ 3.94337
5.52/5.67	c GLOBAL bounds - >= 0 @ 3.9515
5.62/5.72	c GLOBAL bounds - >= 0 @ 4.00626
5.62/5.74	c GLOBAL bounds - >= 0 @ 4.02059
5.62/5.75	c GLOBAL bounds - >= 0 @ 4.02795
5.62/5.75	c GLOBAL bounds - >= 0 @ 4.03489
5.62/5.76	c GLOBAL bounds - >= 0 @ 4.03857
5.62/5.77	c GLOBAL bounds - >= 0 @ 4.04307
5.62/5.78	c GLOBAL bounds - >= 0 @ 4.05159
5.62/5.79	c GLOBAL bounds - >= 0 @ 4.06416
5.72/5.81	c GLOBAL bounds - >= 0 @ 4.07913
5.72/5.82	c GLOBAL bounds - >= 0 @ 4.08827
5.72/5.83	c GLOBAL bounds - >= 0 @ 4.10674
5.72/5.84	c GLOBAL bounds - >= 0 @ 4.11662
5.72/5.85	c GLOBAL bounds - >= 0 @ 4.1246
5.72/5.86	c GLOBAL bounds - >= 0 @ 4.13414
5.72/5.88	c GLOBAL bounds - >= 0 @ 4.1455
5.72/5.89	c GLOBAL bounds - >= 0 @ 4.1531
5.72/5.89	c GLOBAL bounds - >= 0 @ 4.16146
5.81/5.90	c GLOBAL bounds - >= 0 @ 4.16965
5.81/5.91	c GLOBAL bounds - >= 0 @ 4.17482
5.81/5.92	c GLOBAL bounds - >= 0 @ 4.18347
5.81/5.93	c GLOBAL bounds - >= 0 @ 4.19168
5.81/5.96	c GLOBAL bounds - >= 0 @ 4.21304
5.81/5.97	c GLOBAL bounds - >= 0 @ 4.21972
5.81/5.98	c GLOBAL bounds - >= 0 @ 4.22701
5.81/5.99	c GLOBAL bounds - >= 0 @ 4.23594
5.81/6.00	c GLOBAL bounds - >= 0 @ 4.24637
5.92/6.01	c GLOBAL bounds - >= 0 @ 4.25598
5.92/6.02	c GLOBAL bounds - >= 0 @ 4.26273
5.92/6.03	c GLOBAL bounds - >= 0 @ 4.27112
5.92/6.03	c GLOBAL bounds - >= 0 @ 4.27735
5.92/6.06	c GLOBAL bounds - >= 0 @ 4.30128
5.92/6.08	c GLOBAL bounds - >= 0 @ 4.31949
5.92/6.09	c GLOBAL bounds - >= 0 @ 4.3281
5.92/6.10	c GLOBAL bounds - >= 0 @ 4.33479
5.92/6.10	c GLOBAL bounds - >= 0 @ 4.34069
6.02/6.11	c GLOBAL bounds - >= 0 @ 4.34747
6.02/6.13	c GLOBAL bounds - >= 0 @ 4.36803
6.22/6.39	c GLOBAL bounds - >= 0 @ 4.61609
6.31/6.49	c #Conflicts:       1000 | #Constraints:     658052
6.31/6.49	c GLOBAL bounds - >= 0 @ 4.71698
6.41/6.51	c GLOBAL bounds - >= 0 @ 4.73377
6.41/6.51	c GLOBAL bounds - >= 0 @ 4.74109
6.41/6.53	c GLOBAL bounds - >= 0 @ 4.75401
6.41/6.54	c GLOBAL bounds - >= 0 @ 4.76045
6.41/6.55	c GLOBAL bounds - >= 0 @ 4.76878
6.41/6.56	c GLOBAL bounds - >= 0 @ 4.78006
6.41/6.57	c GLOBAL bounds - >= 0 @ 4.79309
6.41/6.58	c GLOBAL bounds - >= 0 @ 4.79918
6.41/6.60	c GLOBAL bounds - >= 0 @ 4.81328
6.51/6.61	c GLOBAL bounds - >= 0 @ 4.82845
6.51/6.63	c GLOBAL bounds - >= 0 @ 4.84662
6.51/6.64	c GLOBAL bounds - >= 0 @ 4.85612
6.51/6.65	c GLOBAL bounds - >= 0 @ 4.86573
6.51/6.67	c GLOBAL bounds - >= 0 @ 4.87734
6.51/6.67	c GLOBAL bounds - >= 0 @ 4.88599
6.51/6.68	c GLOBAL bounds - >= 0 @ 4.89397
6.51/6.69	c GLOBAL bounds - >= 0 @ 4.90239
6.61/6.71	c GLOBAL bounds - >= 0 @ 4.91491
6.61/6.72	c GLOBAL bounds - >= 0 @ 4.9213
6.61/6.73	c GLOBAL bounds - >= 0 @ 4.92965
6.61/6.74	c GLOBAL bounds - >= 0 @ 4.94102
6.61/6.75	c GLOBAL bounds - >= 0 @ 4.95213
6.61/6.78	c GLOBAL bounds - >= 0 @ 4.97587
6.61/6.79	c GLOBAL bounds - >= 0 @ 4.98494
6.71/6.80	c GLOBAL bounds - >= 0 @ 4.9958
6.71/6.81	c GLOBAL bounds - >= 0 @ 5.00794
6.71/6.83	c GLOBAL bounds - >= 0 @ 5.01955
6.71/6.84	c GLOBAL bounds - >= 0 @ 5.03051
6.71/6.85	c GLOBAL bounds - >= 0 @ 5.03945
6.81/6.90	c GLOBAL bounds - >= 0 @ 5.08897
6.81/6.92	c GLOBAL bounds - >= 0 @ 5.10371
6.81/6.93	c GLOBAL bounds - >= 0 @ 5.11648
6.81/6.94	c GLOBAL bounds - >= 0 @ 5.12692
6.93/7.09	c GLOBAL bounds - >= 0 @ 5.27373
7.03/7.12	c GLOBAL bounds - >= 0 @ 5.29823
7.03/7.14	c GLOBAL bounds - >= 0 @ 5.3233
7.03/7.16	c GLOBAL bounds - >= 0 @ 5.34105
7.03/7.18	c GLOBAL bounds - >= 0 @ 5.35462
7.03/7.19	c GLOBAL bounds - >= 0 @ 5.36815
7.11/7.24	c GLOBAL bounds - >= 0 @ 5.41464
7.11/7.25	c GLOBAL bounds - >= 0 @ 5.41941
7.11/7.26	c GLOBAL bounds - >= 0 @ 5.42903
7.11/7.27	c GLOBAL bounds - >= 0 @ 5.43868
7.11/7.28	c GLOBAL bounds - >= 0 @ 5.44734
7.11/7.29	c GLOBAL bounds - >= 0 @ 5.45782
7.21/7.30	c GLOBAL bounds - >= 0 @ 5.47106
7.21/7.33	c GLOBAL bounds - >= 0 @ 5.49734
7.21/7.36	c GLOBAL bounds - >= 0 @ 5.51957
7.21/7.37	c GLOBAL bounds - >= 0 @ 5.53215
7.21/7.39	c GLOBAL bounds - >= 0 @ 5.54756
7.31/7.40	c GLOBAL bounds - >= 0 @ 5.56012
7.31/7.43	c GLOBAL bounds - >= 0 @ 5.58753
7.31/7.44	c GLOBAL bounds - >= 0 @ 5.59503
7.31/7.46	c GLOBAL bounds - >= 0 @ 5.60841
7.31/7.47	c GLOBAL bounds - >= 0 @ 5.62326
7.31/7.49	c GLOBAL bounds - >= 0 @ 5.63583
7.41/7.50	c GLOBAL bounds - >= 0 @ 5.64607
7.41/7.51	c GLOBAL bounds - >= 0 @ 5.65645
7.41/7.53	c GLOBAL bounds - >= 0 @ 5.67612
7.41/7.54	c GLOBAL bounds - >= 0 @ 5.68818
7.41/7.55	c GLOBAL bounds - >= 0 @ 5.69913
7.41/7.57	c GLOBAL bounds - >= 0 @ 5.7109
7.41/7.58	c GLOBAL bounds - >= 0 @ 5.7237
7.51/7.60	c GLOBAL bounds - >= 0 @ 5.73878
7.51/7.62	c GLOBAL bounds - >= 0 @ 5.75383
7.51/7.63	c GLOBAL bounds - >= 0 @ 5.76552
7.51/7.64	c GLOBAL bounds - >= 0 @ 5.78078
7.51/7.65	c GLOBAL bounds - >= 0 @ 5.79057
7.51/7.67	c GLOBAL bounds - >= 0 @ 5.80117
7.51/7.68	c GLOBAL bounds - >= 0 @ 5.81586
7.61/7.73	c GLOBAL bounds - >= 0 @ 5.86002
7.61/7.77	c GLOBAL bounds - >= 0 @ 5.89873
7.61/7.79	c GLOBAL bounds - >= 0 @ 5.91828
7.71/7.81	c GLOBAL bounds - >= 0 @ 5.93508
7.71/7.83	c GLOBAL bounds - >= 0 @ 5.94437
7.71/7.84	c GLOBAL bounds - >= 0 @ 5.95956
7.71/7.86	c GLOBAL bounds - >= 0 @ 5.9786
7.71/7.88	c GLOBAL bounds - >= 0 @ 5.99325
7.71/7.89	c GLOBAL bounds - >= 0 @ 6.008
7.81/7.91	c GLOBAL bounds - >= 0 @ 6.02128
7.81/7.92	c GLOBAL bounds - >= 0 @ 6.02943
8.11/8.25	c GLOBAL bounds - >= 0 @ 6.35466
8.11/8.27	c GLOBAL bounds - >= 0 @ 6.37093
8.31/8.40	c GLOBAL bounds - >= 0 @ 6.49885
8.31/8.45	c GLOBAL bounds - >= 0 @ 6.55478
8.31/8.48	c GLOBAL bounds - >= 0 @ 6.57425
8.31/8.49	c GLOBAL bounds - >= 0 @ 6.58873
8.41/8.51	c GLOBAL bounds - >= 0 @ 6.5996
8.41/8.52	c GLOBAL bounds - >= 0 @ 6.615
8.41/8.56	c GLOBAL bounds - >= 0 @ 6.654
8.51/8.66	c GLOBAL bounds - >= 0 @ 6.74795
8.51/8.67	c GLOBAL bounds - >= 0 @ 6.7593
8.51/8.68	c GLOBAL bounds - >= 0 @ 6.76827
8.51/8.70	c GLOBAL bounds - >= 0 @ 6.78519
8.60/8.71	c GLOBAL bounds - >= 0 @ 6.80065
8.60/8.73	c GLOBAL bounds - >= 0 @ 6.81923
8.60/8.77	c GLOBAL bounds - >= 0 @ 6.86097
8.60/8.79	c GLOBAL bounds - >= 0 @ 6.88159
8.71/8.81	c GLOBAL bounds - >= 0 @ 6.89945
8.71/8.82	c GLOBAL bounds - >= 0 @ 6.90852
8.71/8.84	c GLOBAL bounds - >= 0 @ 6.91995
8.71/8.85	c GLOBAL bounds - >= 0 @ 6.9334
8.71/8.86	c GLOBAL bounds - >= 0 @ 6.94318
8.71/8.87	c GLOBAL bounds - >= 0 @ 6.95193
8.80/8.91	c GLOBAL bounds - >= 0 @ 6.9893
8.80/8.92	c GLOBAL bounds - >= 0 @ 6.99926
8.80/8.96	c GLOBAL bounds - >= 0 @ 7.03509
8.80/8.98	c GLOBAL bounds - >= 0 @ 7.05422
8.80/8.99	c GLOBAL bounds - >= 0 @ 7.06279
8.92/9.03	c GLOBAL bounds - >= 0 @ 7.10237
8.92/9.10	c GLOBAL bounds - >= 0 @ 7.17127
9.02/9.11	c GLOBAL bounds - >= 0 @ 7.17965
9.02/9.12	c GLOBAL bounds - >= 0 @ 7.1918
9.02/9.15	c GLOBAL bounds - >= 0 @ 7.2166
9.02/9.17	c GLOBAL bounds - >= 0 @ 7.23408
9.11/9.20	c GLOBAL bounds - >= 0 @ 7.2633
9.11/9.22	c GLOBAL bounds - >= 0 @ 7.2844
9.11/9.27	c GLOBAL bounds - >= 0 @ 7.32353
9.11/9.28	c GLOBAL bounds - >= 0 @ 7.33568
9.21/9.30	c GLOBAL bounds - >= 0 @ 7.34891
9.21/9.31	c GLOBAL bounds - >= 0 @ 7.36388
9.21/9.33	c GLOBAL bounds - >= 0 @ 7.37179
9.21/9.34	c GLOBAL bounds - >= 0 @ 7.38919
9.21/9.36	c GLOBAL bounds - >= 0 @ 7.40268
9.41/9.55	c GLOBAL bounds - >= 0 @ 7.59103
9.41/9.56	c GLOBAL bounds - >= 0 @ 7.60164
9.41/9.59	c GLOBAL bounds - >= 0 @ 7.63176
9.50/9.60	c GLOBAL bounds - >= 0 @ 7.64154
9.61/9.77	c GLOBAL bounds - >= 0 @ 7.80164
9.71/9.90	c GLOBAL bounds - >= 0 @ 7.92655
9.81/9.91	c GLOBAL bounds - >= 0 @ 7.93739
9.81/9.94	c GLOBAL bounds - >= 0 @ 7.96936
9.81/9.99	c GLOBAL bounds - >= 0 @ 8.02409
9.81/10.01	c GLOBAL bounds - >= 0 @ 8.0352
9.92/10.03	c GLOBAL bounds - >= 0 @ 8.0593
9.92/10.04	c GLOBAL bounds - >= 0 @ 8.07101
9.92/10.06	c GLOBAL bounds - >= 0 @ 8.09171
9.92/10.11	c GLOBAL bounds - >= 0 @ 8.13424
10.01/10.13	c GLOBAL bounds - >= 0 @ 8.15159
10.01/10.14	c GLOBAL bounds - >= 0 @ 8.16702
10.11/10.26	c GLOBAL bounds - >= 0 @ 8.28008
10.11/10.28	c GLOBAL bounds - >= 0 @ 8.29618
10.50/10.66	c #Conflicts:       2000 | #Constraints:     659338
10.50/10.66	c INPROCESSING
10.50/10.66	c GLOBAL bounds - >= 0 @ 8.67046
10.50/10.69	c GLOBAL bounds - >= 0 @ 8.69416
10.60/10.70	c GLOBAL bounds - >= 0 @ 8.70907
10.60/10.72	c GLOBAL bounds - >= 0 @ 8.72238
10.60/10.74	c GLOBAL bounds - >= 0 @ 8.73839
10.60/10.75	c GLOBAL bounds - >= 0 @ 8.74855
10.60/10.78	c GLOBAL bounds - >= 0 @ 8.77997
10.70/10.81	c GLOBAL bounds - >= 0 @ 8.80365
10.80/10.90	c GLOBAL bounds - >= 0 @ 8.89437
10.80/10.92	c GLOBAL bounds - >= 0 @ 8.91667
10.80/10.95	c GLOBAL bounds - >= 0 @ 8.93988
10.80/10.96	c GLOBAL bounds - >= 0 @ 8.94959
10.80/10.98	c GLOBAL bounds - >= 0 @ 8.97336
10.80/11.00	c GLOBAL bounds - >= 0 @ 8.98567
10.91/11.02	c GLOBAL bounds - >= 0 @ 9.00047
10.91/11.04	c GLOBAL bounds - >= 0 @ 9.02464
10.91/11.08	c GLOBAL bounds - >= 0 @ 9.06161
11.40/11.51	c GLOBAL bounds - >= 0 @ 9.48967
11.40/11.56	c GLOBAL bounds - >= 0 @ 9.53217
11.40/11.58	c GLOBAL bounds - >= 0 @ 9.55791
11.50/11.60	c GLOBAL bounds - >= 0 @ 9.57632
11.50/11.63	c GLOBAL bounds - >= 0 @ 9.60172
11.50/11.65	c GLOBAL bounds - >= 0 @ 9.6233
11.50/11.69	c GLOBAL bounds - >= 0 @ 9.65858
11.60/11.73	c GLOBAL bounds - >= 0 @ 9.69868
11.60/11.75	c GLOBAL bounds - >= 0 @ 9.71123
11.60/11.76	c GLOBAL bounds - >= 0 @ 9.72261
11.60/11.78	c GLOBAL bounds - >= 0 @ 9.73843
11.70/11.80	c GLOBAL bounds - >= 0 @ 9.76114
11.70/11.84	c GLOBAL bounds - >= 0 @ 9.79291
11.70/11.85	c GLOBAL bounds - >= 0 @ 9.80518
11.70/11.87	c GLOBAL bounds - >= 0 @ 9.82263
11.80/11.91	c GLOBAL bounds - >= 0 @ 9.85242
11.80/11.92	c GLOBAL bounds - >= 0 @ 9.86956
11.80/11.94	c GLOBAL bounds - >= 0 @ 9.88921
12.50/12.62	c GLOBAL bounds - >= 0 @ 10.5616
12.50/12.65	c GLOBAL bounds - >= 0 @ 10.592
12.60/12.75	c GLOBAL bounds - >= 0 @ 10.6859
12.70/12.83	c GLOBAL bounds - >= 0 @ 10.7592
12.70/12.88	c GLOBAL bounds - >= 0 @ 10.8098
12.80/12.91	c GLOBAL bounds - >= 0 @ 10.8345
12.80/12.95	c GLOBAL bounds - >= 0 @ 10.8695
12.80/12.97	c GLOBAL bounds - >= 0 @ 10.8919
12.80/12.98	c GLOBAL bounds - >= 0 @ 10.9033
13.79/13.95	c GLOBAL bounds - >= 0 @ 11.8572
14.19/14.35	c #Conflicts:       3000 | #Constraints:     659431
14.19/14.35	c GLOBAL bounds - >= 0 @ 12.2599
14.29/14.47	c GLOBAL bounds - >= 0 @ 12.3766
14.69/14.85	c GLOBAL bounds - >= 0 @ 12.743
14.69/14.87	c GLOBAL bounds - >= 0 @ 12.7696
14.79/14.93	c GLOBAL bounds - >= 0 @ 12.8259
14.79/14.98	c GLOBAL bounds - >= 0 @ 12.8699
15.01/15.13	c GLOBAL bounds - >= 0 @ 13.0172
15.01/15.15	c GLOBAL bounds - >= 0 @ 13.0424
15.09/15.21	c GLOBAL bounds - >= 0 @ 13.0937
15.09/15.27	c GLOBAL bounds - >= 0 @ 13.1577
15.09/15.29	c GLOBAL bounds - >= 0 @ 13.1772
15.19/15.32	c GLOBAL bounds - >= 0 @ 13.2037
15.19/15.34	c GLOBAL bounds - >= 0 @ 13.2248
15.19/15.36	c GLOBAL bounds - >= 0 @ 13.244
15.19/15.39	c GLOBAL bounds - >= 0 @ 13.2619
15.49/15.64	c GLOBAL bounds - >= 0 @ 13.5193
15.49/15.66	c GLOBAL bounds - >= 0 @ 13.5357
15.49/15.68	c GLOBAL bounds - >= 0 @ 13.5466
15.59/15.70	c GLOBAL bounds - >= 0 @ 13.5675
15.59/15.73	c GLOBAL bounds - >= 0 @ 13.5936
15.69/15.85	c GLOBAL bounds - >= 0 @ 13.7066
15.69/15.87	c GLOBAL bounds - >= 0 @ 13.7262
15.79/15.91	c GLOBAL bounds - >= 0 @ 13.7658
15.90/16.11	c GLOBAL bounds - >= 0 @ 13.951
16.00/16.13	c GLOBAL bounds - >= 0 @ 13.9711
16.00/16.17	c GLOBAL bounds - >= 0 @ 14.0155
16.00/16.19	c GLOBAL bounds - >= 0 @ 14.0296
16.09/16.23	c GLOBAL bounds - >= 0 @ 14.0679
16.09/16.26	c GLOBAL bounds - >= 0 @ 14.0929
16.09/16.29	c GLOBAL bounds - >= 0 @ 14.1168
16.19/16.31	c GLOBAL bounds - >= 0 @ 14.137
16.19/16.33	c GLOBAL bounds - >= 0 @ 14.1501
16.39/16.56	c GLOBAL bounds - >= 0 @ 14.3802
16.49/16.65	c GLOBAL bounds - >= 0 @ 14.4656
16.58/16.70	c GLOBAL bounds - >= 0 @ 14.5084
16.58/16.72	c GLOBAL bounds - >= 0 @ 14.5276
16.58/16.75	c GLOBAL bounds - >= 0 @ 14.5548
16.58/16.78	c GLOBAL bounds - >= 0 @ 14.5768
16.69/16.81	c GLOBAL bounds - >= 0 @ 14.6064
16.90/17.09	c GLOBAL bounds - >= 0 @ 14.8702
17.00/17.13	c GLOBAL bounds - >= 0 @ 14.9073
17.00/17.17	c GLOBAL bounds - >= 0 @ 14.948
17.00/17.19	c GLOBAL bounds - >= 0 @ 14.9676
17.09/17.25	c GLOBAL bounds - >= 0 @ 15.0206
17.79/17.91	c GLOBAL bounds - >= 0 @ 15.6678
17.90/18.03	c GLOBAL bounds - >= 0 @ 15.7938
17.90/18.08	c GLOBAL bounds - >= 0 @ 15.8343
17.90/18.10	c GLOBAL bounds - >= 0 @ 15.8558
19.77/19.92	c #Conflicts:       4000 | #Constraints:     660527
19.77/19.92	c INPROCESSING
19.77/19.92	c GARBAGE COLLECT
19.77/19.92	c GLOBAL bounds - >= 0 @ 17.6447
20.18/20.32	c GLOBAL bounds - >= 0 @ 18.0448
20.27/20.40	c GLOBAL bounds - >= 0 @ 18.1221
20.27/20.43	c GLOBAL bounds - >= 0 @ 18.1481
20.27/20.47	c GLOBAL bounds - >= 0 @ 18.1877
20.38/20.51	c GLOBAL bounds - >= 0 @ 18.2199
20.38/20.52	c GLOBAL bounds - >= 0 @ 18.2337
20.38/20.55	c GLOBAL bounds - >= 0 @ 18.26
20.47/20.64	c GLOBAL bounds - >= 0 @ 18.3419
20.47/20.68	c GLOBAL bounds - >= 0 @ 18.3821
20.68/20.80	c GLOBAL bounds - >= 0 @ 18.4937
20.68/20.85	c GLOBAL bounds - >= 0 @ 18.5423
20.68/20.86	c GLOBAL bounds - >= 0 @ 18.5564
20.77/20.92	c GLOBAL bounds - >= 0 @ 18.6086
20.77/20.97	c GLOBAL bounds - >= 0 @ 18.6564
20.77/20.99	c GLOBAL bounds - >= 0 @ 18.6731
21.47/21.61	c GLOBAL bounds - >= 0 @ 19.2874
21.67/21.86	c GLOBAL bounds - >= 0 @ 19.5332
21.77/21.94	c GLOBAL bounds - >= 0 @ 19.6139
22.07/22.27	c GLOBAL bounds - >= 0 @ 19.9405
22.17/22.35	c GLOBAL bounds - >= 0 @ 20.0117
22.17/22.37	c GLOBAL bounds - >= 0 @ 20.0349
22.88/23.04	c #Conflicts:       5000 | #Constraints:     659981
22.88/23.04	c GLOBAL bounds - >= 0 @ 20.6943
22.99/23.12	c GLOBAL bounds - >= 0 @ 20.7717
29.75/29.90	c #Conflicts:       6000 | #Constraints:     660985
29.75/29.90	c INPROCESSING
29.75/29.90	c GARBAGE COLLECT
29.75/29.90	c GLOBAL bounds - >= 0 @ 27.472
31.74/31.97	c #Conflicts:       7000 | #Constraints:     659993
31.74/31.97	c GLOBAL bounds - >= 0 @ 29.5312
39.72/39.91	c #Conflicts:       8000 | #Constraints:     660995
39.72/39.91	c GLOBAL bounds - >= 0 @ 37.4178
40.03/40.25	c GLOBAL bounds - >= 0 @ 37.7538
40.03/40.28	c GLOBAL bounds - >= 0 @ 37.7773
41.02/41.28	c GLOBAL bounds - >= 0 @ 38.764
41.12/41.31	c GLOBAL bounds - >= 0 @ 38.7883
41.12/41.38	c GLOBAL bounds - >= 0 @ 38.8649
41.22/41.43	c GLOBAL bounds - >= 0 @ 38.9088
43.21/43.44	c GLOBAL bounds - >= 0 @ 40.8733
43.32/43.53	c GLOBAL bounds - >= 0 @ 40.9584
43.32/43.56	c GLOBAL bounds - >= 0 @ 40.9907
43.62/43.80	c GLOBAL bounds - >= 0 @ 41.2239
43.62/43.88	c GLOBAL bounds - >= 0 @ 41.2946
46.51/46.79	c #Conflicts:       9000 | #Constraints:     662019
46.51/46.79	c INPROCESSING
46.51/46.79	c GARBAGE COLLECT
46.51/46.79	c GLOBAL bounds - >= 0 @ 44.1605
46.81/47.03	c GLOBAL bounds - >= 0 @ 44.3948
47.01/47.21	c GLOBAL bounds - >= 0 @ 44.5672
47.01/47.26	c GLOBAL bounds - >= 0 @ 44.6149
47.30/47.51	c GLOBAL bounds - >= 0 @ 44.8695
47.40/47.62	c GLOBAL bounds - >= 0 @ 44.9756
47.40/47.70	c GLOBAL bounds - >= 0 @ 45.0478
47.50/47.72	c GLOBAL bounds - >= 0 @ 45.0753
47.50/47.77	c GLOBAL bounds - >= 0 @ 45.1223
47.60/47.89	c GLOBAL bounds - >= 0 @ 45.2414
48.30/48.50	c GLOBAL bounds - >= 0 @ 45.839
48.40/48.62	c GLOBAL bounds - >= 0 @ 45.9605
48.81/49.05	c GLOBAL bounds - >= 0 @ 46.3801
49.60/49.82	c GLOBAL bounds - >= 0 @ 47.1423
56.28/56.59	c #Conflicts:      10000 | #Constraints:     660740
56.28/56.59	c #Conflicts:      11000 | #Constraints:     661740
56.28/56.59	c GLOBAL bounds - >= 0 @ 53.8747
56.68/56.90	c GLOBAL bounds - >= 0 @ 54.1848
56.68/56.96	c GLOBAL bounds - >= 0 @ 54.2418
56.89/57.16	c GLOBAL bounds - >= 0 @ 54.4355
57.57/57.80	c GLOBAL bounds - >= 0 @ 55.0706
57.67/57.93	c GLOBAL bounds - >= 0 @ 55.1933
57.79/58.03	c GLOBAL bounds - >= 0 @ 55.2887
62.36/62.65	c #Conflicts:      12000 | #Constraints:     662754
62.36/62.65	c INPROCESSING
62.36/62.65	c GARBAGE COLLECT
62.36/62.65	c GLOBAL bounds - >= 0 @ 59.8526
62.88/63.14	c GLOBAL bounds - >= 0 @ 60.341
62.96/63.21	c GLOBAL bounds - >= 0 @ 60.4034
62.96/63.28	c GLOBAL bounds - >= 0 @ 60.4711
63.95/64.28	c GLOBAL bounds - >= 0 @ 61.4596
64.06/64.37	c GLOBAL bounds - >= 0 @ 61.5403
66.65/66.92	c GLOBAL bounds - >= 0 @ 64.0703
66.77/67.04	c GLOBAL bounds - >= 0 @ 64.1861
66.86/67.12	c GLOBAL bounds - >= 0 @ 64.2696
68.15/68.47	c #Conflicts:      13000 | #Constraints:     661221
68.15/68.47	c GLOBAL bounds - >= 0 @ 65.6053
88.49/88.86	c #Conflicts:      14000 | #Constraints:     662223
88.49/88.86	c #Conflicts:      15000 | #Constraints:     663223
88.49/88.86	c INPROCESSING
88.49/88.86	c GARBAGE COLLECT
88.49/88.86	c GLOBAL bounds - >= 0 @ 85.8814
89.19/89.59	c #Conflicts:      16000 | #Constraints:     661454
89.19/89.59	c GLOBAL bounds - >= 0 @ 86.6048
89.29/89.64	c GLOBAL bounds - >= 0 @ 86.6477
89.48/89.87	c GLOBAL bounds - >= 0 @ 86.8769
90.48/90.82	c GLOBAL bounds - >= 0 @ 87.8195
90.58/90.94	c GLOBAL bounds - >= 0 @ 87.9385
90.80/91.18	c GLOBAL bounds - >= 0 @ 88.175
97.78/98.11	c #Conflicts:      17000 | #Constraints:     662466
97.78/98.11	c GLOBAL bounds - >= 0 @ 95.0742
105.14/105.54	c #Conflicts:      18000 | #Constraints:     663468
105.14/105.54	c INPROCESSING
105.14/105.54	c GARBAGE COLLECT
105.14/105.54	c GLOBAL bounds - >= 0 @ 102.447
120.50/120.92	c #Conflicts:      19000 | #Constraints:     661491
120.50/120.92	c GLOBAL bounds - >= 0 @ 117.755
120.71/121.13	c GLOBAL bounds - >= 0 @ 117.963
121.00/121.43	c GLOBAL bounds - >= 0 @ 118.248
121.09/121.58	c GLOBAL bounds - >= 0 @ 118.395
121.19/121.67	c GLOBAL bounds - >= 0 @ 118.484
122.39/122.87	c GLOBAL bounds - >= 0 @ 119.666
122.79/123.22	c #Conflicts:      20000 | #Constraints:     662503
122.79/123.22	c GLOBAL bounds - >= 0 @ 120.02
124.79/125.22	c GLOBAL bounds - >= 0 @ 121.997
124.98/125.48	c GLOBAL bounds - >= 0 @ 122.254
125.48/125.97	c GLOBAL bounds - >= 0 @ 122.747
125.60/126.02	c GLOBAL bounds - >= 0 @ 122.786
125.78/126.23	c GLOBAL bounds - >= 0 @ 123
125.88/126.31	c GLOBAL bounds - >= 0 @ 123.073
126.08/126.56	c GLOBAL bounds - >= 0 @ 123.315
127.28/127.73	c GLOBAL bounds - >= 0 @ 124.48
127.28/127.77	c GLOBAL bounds - >= 0 @ 124.509
127.87/128.37	c GLOBAL bounds - >= 0 @ 125.106
128.47/128.97	c GLOBAL bounds - >= 0 @ 125.699
128.77/129.24	c GLOBAL bounds - >= 0 @ 125.957
129.97/130.43	c #Conflicts:      21000 | #Constraints:     663529
129.97/130.43	c GLOBAL bounds - >= 0 @ 127.122
138.44/138.98	c INPROCESSING
138.44/138.98	c GARBAGE COLLECT
138.44/138.98	c #Conflicts:      22000 | #Constraints:     661330
138.44/138.98	c GLOBAL bounds - >= 0 @ 135.599
138.74/139.26	c GLOBAL bounds - >= 0 @ 135.879
236.86/237.64	c #Conflicts:      23000 | #Constraints:     662334
236.86/237.64	c #Conflicts:      24000 | #Constraints:     663334
236.86/237.64	c #Conflicts:      25000 | #Constraints:     664334
236.86/237.64	c INPROCESSING
236.86/237.64	c GARBAGE COLLECT
236.86/237.64	c #Conflicts:      26000 | #Constraints:     661940
236.86/237.64	c #Conflicts:      27000 | #Constraints:     662940
236.86/237.64	c #Conflicts:      28000 | #Constraints:     663940
236.86/237.64	c #Conflicts:      29000 | #Constraints:     664940
236.86/237.64	c INPROCESSING
236.86/237.64	c GARBAGE COLLECT
236.86/237.64	c #Conflicts:      30000 | #Constraints:     662341
236.86/237.64	c GLOBAL bounds - >= 0 @ 233.741
242.64/243.41	c #Conflicts:      31000 | #Constraints:     663343
242.64/243.41	c GLOBAL bounds - >= 0 @ 239.492
246.62/247.41	c GLOBAL bounds - >= 0 @ 243.468
250.91/251.73	c #Conflicts:      32000 | #Constraints:     664347
250.91/251.73	c GLOBAL bounds - >= 0 @ 247.764
264.29/265.19	c #Conflicts:      33000 | #Constraints:     665349
264.29/265.19	c INPROCESSING
264.29/265.19	c GARBAGE COLLECT
264.29/265.19	c GLOBAL bounds - >= 0 @ 261.145
266.57/267.43	c GLOBAL bounds - >= 0 @ 263.373
398.58/399.87	c #Conflicts:      34000 | #Constraints:     662555
398.58/399.87	c #Conflicts:      35000 | #Constraints:     663555
398.58/399.87	c #Conflicts:      36000 | #Constraints:     664555
398.58/399.87	c #Conflicts:      37000 | #Constraints:     665555
398.58/399.87	c INPROCESSING
398.58/399.87	c GARBAGE COLLECT
398.58/399.87	c #Conflicts:      38000 | #Constraints:     662563
398.58/399.87	c #Conflicts:      39000 | #Constraints:     663563
398.58/399.87	c #Conflicts:      40000 | #Constraints:     664563
398.58/399.87	c #Conflicts:      41000 | #Constraints:     665563
398.58/399.87	c INPROCESSING
398.58/399.87	c GARBAGE COLLECT
398.58/399.87	c #Conflicts:      42000 | #Constraints:     662368
398.58/399.87	c #Conflicts:      43000 | #Constraints:     663368
398.58/399.87	c #Conflicts:      44000 | #Constraints:     664368
398.58/399.87	c #Conflicts:      45000 | #Constraints:     665368
398.58/399.87	c GLOBAL bounds - >= 0 @ 395.248
402.88/404.13	c GLOBAL bounds - >= 0 @ 399.477
403.37/404.65	c GLOBAL bounds - >= 0 @ 399.989
403.67/404.96	c GLOBAL bounds - >= 0 @ 400.306
404.96/406.23	c GLOBAL bounds - >= 0 @ 401.562
404.96/406.29	c GLOBAL bounds - >= 0 @ 401.619
408.35/409.64	c GLOBAL bounds - >= 0 @ 404.943
410.24/411.53	c GLOBAL bounds - >= 0 @ 406.826
456.21/457.66	c #Conflicts:      46000 | #Constraints:     666384
456.21/457.66	c INPROCESSING
456.21/457.66	c GARBAGE COLLECT
456.21/457.66	c #Conflicts:      47000 | #Constraints:     662974
456.21/457.66	c #Conflicts:      48000 | #Constraints:     663974
456.21/457.66	c #Conflicts:      49000 | #Constraints:     664974
456.21/457.66	c GLOBAL bounds - >= 0 @ 452.694
458.30/459.71	c GLOBAL bounds - >= 0 @ 454.726
494.19/495.77	c #Conflicts:      50000 | #Constraints:     665978
494.19/495.77	c #Conflicts:      51000 | #Constraints:     666978
494.19/495.77	c INPROCESSING
494.19/495.77	c GARBAGE COLLECT
494.19/495.77	c #Conflicts:      52000 | #Constraints:     663378
494.19/495.77	c GLOBAL bounds - >= 0 @ 490.539
496.98/498.51	c #Conflicts:      53000 | #Constraints:     664380
496.98/498.51	c GLOBAL bounds - >= 0 @ 493.254
496.98/498.57	c GLOBAL bounds - >= 0 @ 493.311
500.37/501.90	c GLOBAL bounds - >= 0 @ 496.62
500.67/502.21	c GLOBAL bounds - >= 0 @ 496.928
503.86/505.44	c GLOBAL bounds - >= 0 @ 500.134
504.47/506.05	c #Conflicts:      54000 | #Constraints:     665390
504.47/506.05	c GLOBAL bounds - >= 0 @ 500.737
509.65/511.25	c GLOBAL bounds - >= 0 @ 505.901
619.32/621.24	c #Conflicts:      55000 | #Constraints:     666394
619.32/621.24	c #Conflicts:      56000 | #Constraints:     667394
619.32/621.24	c INPROCESSING
619.32/621.24	c GARBAGE COLLECT
619.32/621.24	c #Conflicts:      57000 | #Constraints:     663592
619.32/621.24	c #Conflicts:      58000 | #Constraints:     664592
619.32/621.24	c #Conflicts:      59000 | #Constraints:     665592
619.32/621.24	c #Conflicts:      60000 | #Constraints:     666592
619.32/621.24	c #Conflicts:      61000 | #Constraints:     667592
619.32/621.24	c INPROCESSING
619.32/621.24	c GARBAGE COLLECT
619.32/621.24	c #Conflicts:      62000 | #Constraints:     663594
619.32/621.24	c #Conflicts:      63000 | #Constraints:     664594
619.32/621.24	c #Conflicts:      64000 | #Constraints:     665594
619.32/621.24	c GLOBAL bounds - >= 0 @ 615.339
619.42/621.32	c GLOBAL bounds - >= 0 @ 615.418
631.38/633.38	c #Conflicts:      65000 | #Constraints:     666598
631.38/633.38	c GLOBAL bounds - >= 0 @ 627.426
633.27/635.20	c GLOBAL bounds - >= 0 @ 629.226
680.22/682.35	c #Conflicts:      66000 | #Constraints:     667602
680.22/682.35	c INPROCESSING
680.22/682.35	c GARBAGE COLLECT
680.22/682.35	c #Conflicts:      67000 | #Constraints:     663406
680.22/682.35	c #Conflicts:      68000 | #Constraints:     664406
680.22/682.35	c #Conflicts:      69000 | #Constraints:     665406
680.22/682.35	c GLOBAL bounds - >= 0 @ 676.114
680.32/682.40	c GLOBAL bounds - >= 0 @ 676.171
683.03/685.12	c GLOBAL bounds - >= 0 @ 678.874
686.51/688.66	c GLOBAL bounds - >= 0 @ 682.397
694.59/696.71	c #Conflicts:      70000 | #Constraints:     666414
694.59/696.71	c GLOBAL bounds - >= 0 @ 690.4
715.42/717.66	c #Conflicts:      71000 | #Constraints:     667416
715.42/717.66	c #Conflicts:      72000 | #Constraints:     668416
715.42/717.66	c GLOBAL bounds - >= 0 @ 711.215
718.11/720.31	c INPROCESSING
718.11/720.31	c GARBAGE COLLECT
718.11/720.31	c GLOBAL bounds - >= 0 @ 713.845
721.20/723.49	c GLOBAL bounds - >= 0 @ 716.999
728.38/730.61	c #Conflicts:      73000 | #Constraints:     664014
728.38/730.61	c GLOBAL bounds - >= 0 @ 724.071
2320.97/2328.16	c #Conflicts:      74000 | #Constraints:     665016
2320.97/2328.16	c #Conflicts:      75000 | #Constraints:     666016
2320.97/2328.16	c #Conflicts:      76000 | #Constraints:     667016
2320.97/2328.16	c #Conflicts:      77000 | #Constraints:     668016
2320.97/2328.16	c #Conflicts:      78000 | #Constraints:     669016
2320.97/2328.16	c INPROCESSING
2320.97/2328.16	c GARBAGE COLLECT
2320.97/2328.16	c #Conflicts:      79000 | #Constraints:     664420
2320.97/2328.16	c #Conflicts:      80000 | #Constraints:     665420
2320.97/2328.16	c #Conflicts:      81000 | #Constraints:     666420
2320.97/2328.16	c #Conflicts:      82000 | #Constraints:     667420
2320.97/2328.16	c #Conflicts:      83000 | #Constraints:     668420
2320.97/2328.16	c #Conflicts:      84000 | #Constraints:     669420
2320.97/2328.16	c INPROCESSING
2320.97/2328.16	c GARBAGE COLLECT
2320.97/2328.16	c #Conflicts:      85000 | #Constraints:     664627
2320.97/2328.16	c #Conflicts:      86000 | #Constraints:     665627
2320.97/2328.16	c #Conflicts:      87000 | #Constraints:     666627
2320.97/2328.16	c #Conflicts:      88000 | #Constraints:     667627
2320.97/2328.16	c #Conflicts:      89000 | #Constraints:     668627
2320.97/2328.16	c #Conflicts:      90000 | #Constraints:     669627
2320.97/2328.16	c INPROCESSING
2320.97/2328.16	c GARBAGE COLLECT
2320.97/2328.16	c #Conflicts:      91000 | #Constraints:     664627
2320.97/2328.16	c #Conflicts:      92000 | #Constraints:     665627
2320.97/2328.16	c #Conflicts:      93000 | #Constraints:     666627
2320.97/2328.16	c #Conflicts:      94000 | #Constraints:     667627
2320.97/2328.16	c #Conflicts:      95000 | #Constraints:     668627
2320.97/2328.16	c #Conflicts:      96000 | #Constraints:     669627
2320.97/2328.16	c INPROCESSING
2320.97/2328.16	c GARBAGE COLLECT
2320.97/2328.16	c #Conflicts:      97000 | #Constraints:     664432
2320.97/2328.16	c #Conflicts:      98000 | #Constraints:     665432
2320.97/2328.16	c #Conflicts:      99000 | #Constraints:     666432
2320.97/2328.16	c #Conflicts:     100000 | #Constraints:     667432
2320.97/2328.16	c #Conflicts:     101000 | #Constraints:     668432
2320.97/2328.16	c #Conflicts:     102000 | #Constraints:     669432
2320.97/2328.16	c #Conflicts:     103000 | #Constraints:     670432
2320.97/2328.16	c INPROCESSING
2320.97/2328.16	c GARBAGE COLLECT
2320.97/2328.16	c #Conflicts:     104000 | #Constraints:     665033
2320.97/2328.16	c #Conflicts:     105000 | #Constraints:     666033
2320.97/2328.16	c #Conflicts:     106000 | #Constraints:     667033
2320.97/2328.16	c #Conflicts:     107000 | #Constraints:     668033
2320.97/2328.16	c #Conflicts:     108000 | #Constraints:     669033
2320.97/2328.16	c #Conflicts:     109000 | #Constraints:     670033
2320.97/2328.16	c #Conflicts:     110000 | #Constraints:     671033
2320.97/2328.16	c INPROCESSING
2320.97/2328.16	c GARBAGE COLLECT
2320.97/2328.16	c #Conflicts:     111000 | #Constraints:     665436
2320.97/2328.16	c #Conflicts:     112000 | #Constraints:     666436
2320.97/2328.16	c #Conflicts:     113000 | #Constraints:     667436
2320.97/2328.16	c #Conflicts:     114000 | #Constraints:     668436
2320.97/2328.16	c #Conflicts:     115000 | #Constraints:     669436
2320.97/2328.16	c #Conflicts:     116000 | #Constraints:     670436
2320.97/2328.16	c #Conflicts:     117000 | #Constraints:     671436
2320.97/2328.16	c INPROCESSING
2320.97/2328.16	c GARBAGE COLLECT
2320.97/2328.16	c #Conflicts:     118000 | #Constraints:     665638
2320.97/2328.16	c #Conflicts:     119000 | #Constraints:     666638
2320.97/2328.16	c #Conflicts:     120000 | #Constraints:     667638
2320.97/2328.16	c #Conflicts:     121000 | #Constraints:     668638
2320.97/2328.16	c #Conflicts:     122000 | #Constraints:     669638
2320.97/2328.16	c #Conflicts:     123000 | #Constraints:     670638
2320.97/2328.16	c #Conflicts:     124000 | #Constraints:     671638
2320.97/2328.16	c INPROCESSING
2320.97/2328.16	c GARBAGE COLLECT
2320.97/2328.16	c #Conflicts:     125000 | #Constraints:     665642
2320.97/2328.16	c #Conflicts:     126000 | #Constraints:     666642
2320.97/2328.16	c #Conflicts:     127000 | #Constraints:     667642
2320.97/2328.16	c #Conflicts:     128000 | #Constraints:     668642
2320.97/2328.16	c #Conflicts:     129000 | #Constraints:     669642
2320.97/2328.16	c #Conflicts:     130000 | #Constraints:     670642
2320.97/2328.16	c #Conflicts:     131000 | #Constraints:     671642
2320.97/2328.16	c INPROCESSING
2320.97/2328.16	c GARBAGE COLLECT
2320.97/2328.16	c #Conflicts:     132000 | #Constraints:     665436
2320.97/2328.16	c #Conflicts:     133000 | #Constraints:     666436
2320.97/2328.16	c #Conflicts:     134000 | #Constraints:     667436
2320.97/2328.16	c #Conflicts:     135000 | #Constraints:     668436
2320.97/2328.16	c #Conflicts:     136000 | #Constraints:     669436
2320.97/2328.16	c #Conflicts:     137000 | #Constraints:     670436
2320.97/2328.16	c #Conflicts:     138000 | #Constraints:     671436
2320.97/2328.16	c #Conflicts:     139000 | #Constraints:     672436
2320.97/2328.16	c INPROCESSING
2320.97/2328.16	c GARBAGE COLLECT
2320.97/2328.16	c #Conflicts:     140000 | #Constraints:     666045
2320.97/2328.16	c #Conflicts:     141000 | #Constraints:     667045
2320.97/2328.16	c #Conflicts:     142000 | #Constraints:     668045
2320.97/2328.16	c #Conflicts:     143000 | #Constraints:     669045
2320.97/2328.16	c #Conflicts:     144000 | #Constraints:     670045
2320.97/2328.16	c #Conflicts:     145000 | #Constraints:     671045
2320.97/2328.16	c #Conflicts:     146000 | #Constraints:     672045
3439.47/3450.22	c #Conflicts:     147000 | #Constraints:     673045
3439.47/3450.22	c INPROCESSING
3439.47/3450.22	c GARBAGE COLLECT
3439.47/3450.22	c #Conflicts:     148000 | #Constraints:     666446
3439.47/3450.22	c #Conflicts:     149000 | #Constraints:     667446
3439.47/3450.22	c #Conflicts:     150000 | #Constraints:     668446
3439.47/3450.22	c #Conflicts:     151000 | #Constraints:     669446
3439.47/3450.22	c #Conflicts:     152000 | #Constraints:     670446
3439.47/3450.22	c #Conflicts:     153000 | #Constraints:     671446
3439.47/3450.22	c #Conflicts:     154000 | #Constraints:     672446
3439.47/3450.22	c #Conflicts:     155000 | #Constraints:     673446
3439.47/3450.22	c INPROCESSING
3439.47/3450.22	c GARBAGE COLLECT
3439.47/3450.22	c #Conflicts:     156000 | #Constraints:     666646
3439.47/3450.22	c #Conflicts:     157000 | #Constraints:     667646
3439.47/3450.22	c #Conflicts:     158000 | #Constraints:     668646
3439.47/3450.22	c #Conflicts:     159000 | #Constraints:     669646
3439.47/3450.22	c #Conflicts:     160000 | #Constraints:     670646
3439.47/3450.22	c #Conflicts:     161000 | #Constraints:     671646
3439.47/3450.22	c #Conflicts:     162000 | #Constraints:     672646
3439.47/3450.22	c #Conflicts:     163000 | #Constraints:     673646
3439.47/3450.22	c INPROCESSING
3439.47/3450.22	c GARBAGE COLLECT
3439.47/3450.22	c #Conflicts:     164000 | #Constraints:     666649
3439.47/3450.22	c #Conflicts:     165000 | #Constraints:     667649
3439.47/3450.22	c #Conflicts:     166000 | #Constraints:     668649
3439.47/3450.22	c #Conflicts:     167000 | #Constraints:     669649
3439.47/3450.22	c #Conflicts:     168000 | #Constraints:     670649
3439.47/3450.22	c #Conflicts:     169000 | #Constraints:     671649
3439.47/3450.22	c #Conflicts:     170000 | #Constraints:     672649
3439.47/3450.22	c #Conflicts:     171000 | #Constraints:     673649
3439.47/3450.22	c INPROCESSING
3439.47/3450.22	c GARBAGE COLLECT
3439.47/3450.22	c #Conflicts:     172000 | #Constraints:     666446
3439.47/3450.22	c #Conflicts:     173000 | #Constraints:     667446
3439.47/3450.22	c #Conflicts:     174000 | #Constraints:     668446
3439.47/3450.22	c #Conflicts:     175000 | #Constraints:     669446
3439.47/3450.22	c #Conflicts:     176000 | #Constraints:     670446
3439.47/3450.22	c #Conflicts:     177000 | #Constraints:     671446
3439.47/3450.22	c #Conflicts:     178000 | #Constraints:     672446
3439.47/3450.22	c #Conflicts:     179000 | #Constraints:     673446
3439.47/3450.22	c #Conflicts:     180000 | #Constraints:     674446
3439.47/3450.22	c INPROCESSING
3439.47/3450.22	c GARBAGE COLLECT
3439.47/3450.22	c #Conflicts:     181000 | #Constraints:     667036
3439.47/3450.22	c GLOBAL bounds - >= 0 @ 3432.36
3439.68/3450.49	c GLOBAL bounds - >= 0 @ 3432.63
3600.07/3611.30	c #Conflicts:     182000 | #Constraints:     668040
3600.07/3611.30	c #Conflicts:     183000 | #Constraints:     669040
3600.07/3611.30	c #Conflicts:     184000 | #Constraints:     670040
3600.07/3611.30	c #Conflicts:     185000 | #Constraints:     671040
3600.07/3611.30	c #Conflicts:     186000 | #Constraints:     672040
3600.07/3611.30	c #Conflicts:     187000 | #Constraints:     673040
3600.07/3611.30	c #Conflicts:     188000 | #Constraints:     674040
3600.07/3611.30	c #Conflicts:     189000 | #Constraints:     675040
3600.07/3611.30	c INPROCESSING
3600.07/3611.30	c GARBAGE COLLECT
3600.07/3611.30	c cpu time 3592.82 s
3600.07/3611.30	c deterministic time 1 1.00e+00
3600.07/3611.30	c optimization time 3590.25 s
3600.07/3611.30	c total solve time 0 s
3600.07/3611.30	c core-guided solve time 0 s
3600.07/3611.30	c propagation time 0.343809 s
3600.07/3611.30	c conflict analysis time 0 s
3600.07/3611.30	c propagations 0
3600.07/3611.30	c resolve steps 0
3600.07/3611.30	c decisions 0
3600.07/3611.30	c conflicts 0
3600.07/3611.30	c restarts 0
3600.07/3611.30	c inprocessing phases 0
3600.07/3611.30	c garbage collections 0 ,( -nan )
3600.07/3611.30	c input clauses 656900 ,( 100.00 )
3600.07/3611.30	c input cardinalities 0 ,( 0.00 )
3600.07/3611.30	c input general constraints 0 ,( 0.00 )
3600.07/3611.30	c input average constraint length 2.03
3600.07/3611.30	c input average constraint degree 1.00
3600.07/3611.30	c learned clauses 0 ,( 0.00 )
3600.07/3611.30	c learned cardinalities 0 ,( 0.00 )
3600.07/3611.30	c learned general constraints 0 ,( 0.00 )
3600.07/3611.30	c learned average constraint length 0.00
3600.07/3611.30	c learned average constraint degree 0.00
3600.07/3611.30	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.07/3611.30	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.07/3611.30	c watched   constraints 0 ,( -nan ) 
3600.07/3611.30	c counting  constraints 0 ,( -nan ) 
3600.07/3611.30	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.07/3611.30	c gcd simplifications 0
3600.07/3611.30	c detected cardinalities 0
3600.07/3611.30	c weakened non-implied lits 0
3600.07/3611.30	c weakened non-implying lits 0
3600.07/3611.30	c original variables 10000
3600.07/3611.30	c clausal propagations 0
3600.07/3611.30	c cardinality propagations 0
3600.07/3611.30	c watched propagations 0
3600.07/3611.30	c counting propagations 0
3600.07/3611.30	c watch lookups 0
3600.07/3611.30	c watch backjump lookups 0
3600.07/3611.30	c watch checks 0
3600.07/3611.30	c propagation checks 0
3600.07/3611.30	c constraint additions 0
3600.07/3611.30	c trail pops 0
3600.07/3611.30	c formula constraints 656900
3600.07/3611.30	c learned constraints 0
3600.07/3611.30	c bound constraints 0
3600.07/3611.30	c core-guided constraints 0
3600.07/3611.30	c encountered formula constraints 0
3600.07/3611.30	c encountered learned constraints 0
3600.07/3611.30	c encountered bound constraints 0
3600.07/3611.30	c encountered core-guided constraints 0
3600.07/3611.30	c LP total time 0 s
3600.07/3611.30	c LP solve time 0 s
3600.07/3611.30	c LP constraints added 0
3600.07/3611.30	c LP constraints removed 0
3600.07/3611.30	c LP pivots internal 0
3600.07/3611.30	c LP pivots root 0
3600.07/3611.30	c LP calls 0
3600.07/3611.30	c LP optimalities 0
3600.07/3611.30	c LP no pivot count 0
3600.07/3611.30	c LP infeasibilities 0
3600.07/3611.30	c LP valid Farkas constraints 0
3600.07/3611.30	c LP learned Farkas constraints 0
3600.07/3611.30	c LP basis resets 0
3600.07/3611.30	c LP cycling count 0
3600.07/3611.30	c LP singular count 0
3600.07/3611.30	c LP no primal count 0
3600.07/3611.30	c LP no farkas count 0
3600.07/3611.30	c LP other issue count 0
3600.07/3611.30	c LP Gomory cuts 0
3600.07/3611.30	c LP learned cuts 0
3600.07/3611.30	c LP deleted cuts 0
3600.07/3611.30	c LP encountered Gomory constraints 0
3600.07/3611.30	c LP encountered Farkas constraints 0
3600.07/3611.30	c LP encountered learned Farkas constraints 0
3600.07/3611.30	c CG auxiliary variables introduced 0
3600.07/3611.30	c CG solutions found 0
3600.07/3611.30	c CG cores constructed 0
3600.07/3611.30	c CG core cardinality constraints returned 0
3600.07/3611.30	c CG unit cores 0
3600.07/3611.30	c CG single cores 0
3600.07/3611.30	c CG blocks removed during cardinality reduction 0
3600.07/3611.30	c CG first core best 0
3600.07/3611.30	c CG decision core best 0
3600.07/3611.30	c CG core reduction tie 0
3600.07/3611.30	c CG core degree average 0.00
3600.07/3611.30	c CG core slack average 0.00
3600.07/3611.30	c CG core upper bound improvements 0
3600.07/3611.30	c STR number of successful calls 0
3600.07/3611.30	c STR number of unsuccessful calls 0
3600.07/3611.30	c STR number of inconclusive calls 0
3600.07/3611.30	c STR number of successful attempts 0
3600.07/3611.30	c STR number of unsuccessful attempts 0
3600.07/3611.30	c STR number of inconclusive attempts 0
3600.07/3611.30	c STR average degree increase per successful call inf
3600.07/3611.30	c STR average degree increase per successful attempt inf
3600.07/3611.30	c STR total number of conflicts for successful attempts 0
3600.07/3611.30	c STR total number of conflicts for unsuccessful attempts 0
3600.07/3611.30	c STR total number of conflicts for inconclusive attempts 0
3600.07/3611.30	c STR average number of conflicts per successful attempt inf
3600.07/3611.30	c STR average number of conflicts per unsuccessful attempt inf
3600.07/3611.30	c STR average number of conflicts per inconclusive attempt inf
3600.07/3611.30	c AVG.sumWPerc -nan 
3600.07/3611.30	c bigint constraints 0 
3600.07/3611.30	s UNKNOWN
3600.07/3611.30	c Program interrupted by user.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63794 MiB (63025 MiB free)
  memory of node 1: 64507 MiB (63967 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
Current StackSize limit: 8192 KiB

solver pid=50520, runsolver pid=50508

[startup+0.10007 s]*
/proc/loadavg: 1.07 1.11 1.79 7/256 50529
/proc/meminfo: memFree=130009696/131382120 swapFree=33010416/33010684
[pid=50520] ppid=50508 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/50520/stat : 50520 (run-opt.sh) S 50508 50520 50456 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51851792 4292608 736 18446744073709551615 94222357078016 94222357972549 140735772514320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94222358211600 94222358259344 94222361030656 140735772518765 140735772518888 140735772518888 140735772524490 0
/proc/50520/statm: 1048 736 672 219 0 110 0
[pid=50524] ppid=50520 vsize=57980 memory=12888 CPUtime=0.06 cores=5,7
/proc/50524/stat : 50524 (roundingsat) R 50520 50520 50456 0 -1 4194304 1421 0 0 0 4 2 0 0 20 0 1 0 51851794 59371520 3222 18446744073709551615 4227072 8923433 140724481600384 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 40439808 140724481604002 140724481604136 140724481604136 140724481609706 0
/proc/50524/statm: 14495 3222 1888 1147 0 1922 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 62172 KiB
Current children cumulated memory: 15832 KiB

[startup+0.219045 s]*
/proc/loadavg: 1.07 1.11 1.79 6/256 50529
/proc/meminfo: memFree=130008184/131382120 swapFree=33010416/33010684
[pid=50520] ppid=50508 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/50520/stat : 50520 (run-opt.sh) S 50508 50520 50456 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51851792 4292608 736 18446744073709551615 94222357078016 94222357972549 140735772514320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94222358211600 94222358259344 94222361030656 140735772518765 140735772518888 140735772518888 140735772524490 0
/proc/50520/statm: 1048 736 672 219 0 110 0
[pid=50524] ppid=50520 vsize=58764 memory=13656 CPUtime=0.17 cores=5,7
/proc/50524/stat : 50524 (roundingsat) R 50520 50520 50456 0 -1 4194304 1642 0 0 0 12 5 0 0 20 0 1 0 51851794 60174336 3414 18446744073709551615 4227072 8923433 140724481600384 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 40439808 140724481604002 140724481604136 140724481604136 140724481609706 0
/proc/50524/statm: 14691 3414 1888 1147 0 2118 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 62956 KiB
Current children cumulated memory: 16600 KiB

[startup+0.313993 s]*
/proc/loadavg: 1.07 1.11 1.79 6/256 50529
/proc/meminfo: memFree=130004908/131382120 swapFree=33010416/33010684
[pid=50520] ppid=50508 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/50520/stat : 50520 (run-opt.sh) S 50508 50520 50456 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51851792 4292608 736 18446744073709551615 94222357078016 94222357972549 140735772514320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94222358211600 94222358259344 94222361030656 140735772518765 140735772518888 140735772518888 140735772524490 0
/proc/50520/statm: 1048 736 672 219 0 110 0
[pid=50524] ppid=50520 vsize=59668 memory=14296 CPUtime=0.25 cores=5,7
/proc/50524/stat : 50524 (roundingsat) R 50520 50520 50456 0 -1 4194304 1806 0 0 0 18 7 0 0 20 0 1 0 51851794 61100032 3574 18446744073709551615 4227072 8923433 140724481600384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40439808 140724481604002 140724481604136 140724481604136 140724481609706 0
/proc/50524/statm: 14917 3574 1888 1147 0 2344 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 63860 KiB
Current children cumulated memory: 17240 KiB

[startup+0.700266 s]
/proc/loadavg: 1.07 1.11 1.79 7/256 50529
/proc/meminfo: memFree=129993680/131382120 swapFree=33010416/33010684
[pid=50520] ppid=50508 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/50520/stat : 50520 (run-opt.sh) S 50508 50520 50456 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51851792 4292608 736 18446744073709551615 94222357078016 94222357972549 140735772514320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94222358211600 94222358259344 94222361030656 140735772518765 140735772518888 140735772518888 140735772524490 0
/proc/50520/statm: 1048 736 672 219 0 110 0
[pid=50524] ppid=50520 vsize=63556 memory=20340 CPUtime=0.62 cores=5,7
/proc/50524/stat : 50524 (roundingsat) R 50520 50520 50456 0 -1 4194304 2795 0 0 0 43 19 0 0 20 0 1 0 51851794 65081344 5085 18446744073709551615 4227072 8923433 140724481600384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40439808 140724481604002 140724481604136 140724481604136 140724481609706 0
/proc/50524/statm: 15889 5085 1888 1147 0 3316 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 67748 KiB
Current children cumulated memory: 23284 KiB

[startup+1.50039 s]
/proc/loadavg: 1.30 1.16 1.80 7/256 50529
/proc/meminfo: memFree=129961600/131382120 swapFree=33010416/33010684
[pid=50520] ppid=50508 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/50520/stat : 50520 (run-opt.sh) S 50508 50520 50456 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51851792 4292608 736 18446744073709551615 94222357078016 94222357972549 140735772514320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94222358211600 94222358259344 94222361030656 140735772518765 140735772518888 140735772518888 140735772524490 0
/proc/50520/statm: 1048 736 672 219 0 110 0
[pid=50524] ppid=50520 vsize=84116 memory=39512 CPUtime=1.43 cores=5,7
/proc/50524/stat : 50524 (roundingsat) R 50520 50520 50456 0 -1 4194304 8069 0 0 0 99 44 0 0 20 0 1 0 51851794 86134784 9878 18446744073709551615 4227072 8923433 140724481600384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40439808 140724481604002 140724481604136 140724481604136 140724481609706 0
/proc/50524/statm: 21029 9878 1888 1147 0 8456 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 88308 KiB
Current children cumulated memory: 42456 KiB

[startup+3.1135 s]
/proc/loadavg: 1.30 1.16 1.80 6/256 50529
/proc/meminfo: memFree=128653172/131382120 swapFree=33010416/33010684
[pid=50520] ppid=50508 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/50520/stat : 50520 (run-opt.sh) S 50508 50520 50456 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51851792 4292608 736 18446744073709551615 94222357078016 94222357972549 140735772514320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94222358211600 94222358259344 94222361030656 140735772518765 140735772518888 140735772518888 140735772524490 0
/proc/50520/statm: 1048 736 672 219 0 110 0
[pid=50524] ppid=50520 vsize=433784 memory=293808 CPUtime=3.04 cores=5,7
/proc/50524/stat : 50524 (roundingsat) R 50520 50520 50456 0 -1 4194304 26831 0 0 0 216 88 0 0 20 0 1 0 51851794 444194816 73452 18446744073709551615 4227072 8923433 140724481600384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40439808 140724481604002 140724481604136 140724481604136 140724481609706 0
/proc/50524/statm: 108446 73452 2240 1147 0 95873 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 437976 KiB
Current children cumulated memory: 296752 KiB

[startup+6.30038 s]
/proc/loadavg: 1.60 1.22 1.82 6/256 50529
/proc/meminfo: memFree=126254736/131382120 swapFree=33010416/33010684
[pid=50520] ppid=50508 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/50520/stat : 50520 (run-opt.sh) S 50508 50520 50456 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51851792 4292608 736 18446744073709551615 94222357078016 94222357972549 140735772514320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94222358211600 94222358259344 94222361030656 140735772518765 140735772518888 140735772518888 140735772524490 0
/proc/50520/statm: 1048 736 672 219 0 110 0
[pid=50524] ppid=50520 vsize=1195952 memory=937536 CPUtime=6.22 cores=5,7
/proc/50524/stat : 50524 (roundingsat) R 50520 50520 50456 0 -1 4194304 131308 0 0 0 453 169 0 0 20 0 1 0 51851794 1224654848 234384 18446744073709551615 4227072 8923433 140724481600384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40439808 140724481604002 140724481604136 140724481604136 140724481609706 0
/proc/50524/statm: 298988 234384 2368 1147 0 286415 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 1200144 KiB
Current children cumulated memory: 940480 KiB

[startup+12.7004 s]
/proc/loadavg: 1.79 1.27 1.83 8/257 50531
/proc/meminfo: memFree=126092844/131382120 swapFree=33010416/33010684
[pid=50520] ppid=50508 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/50520/stat : 50520 (run-opt.sh) S 50508 50520 50456 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51851792 4292608 736 18446744073709551615 94222357078016 94222357972549 140735772514320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94222358211600 94222358259344 94222361030656 140735772518765 140735772518888 140735772518888 140735772524490 0
/proc/50520/statm: 1048 736 672 219 0 110 0
[pid=50524] ppid=50520 vsize=1276860 memory=1002228 CPUtime=12.6 cores=5,7
/proc/50524/stat : 50524 (roundingsat) R 50520 50520 50456 0 -1 4194304 132665 0 0 0 1063 197 0 0 20 0 1 0 51851794 1307504640 250557 18446744073709551615 4227072 8923433 140724481600384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40439808 140724481604002 140724481604136 140724481604136 140724481609706 0
/proc/50524/statm: 319215 250557 2368 1147 0 306642 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 1281052 KiB
Current children cumulated memory: 1005172 KiB

[startup+25.5004 s]
/proc/loadavg: 2.13 1.36 1.85 7/257 50531
/proc/meminfo: memFree=125448948/131382120 swapFree=33010416/33010684
[pid=50520] ppid=50508 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/50520/stat : 50520 (run-opt.sh) S 50508 50520 50456 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51851792 4292608 736 18446744073709551615 94222357078016 94222357972549 140735772514320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94222358211600 94222358259344 94222361030656 140735772518765 140735772518888 140735772518888 140735772524490 0
/proc/50520/statm: 1048 736 672 219 0 110 0
[pid=50524] ppid=50520 vsize=1457020 memory=1144900 CPUtime=25.36 cores=5,7
/proc/50524/stat : 50524 (roundingsat) R 50520 50520 50456 0 -1 4194304 152011 0 0 0 2312 224 0 0 20 0 1 0 51851794 1491988480 286225 18446744073709551615 4227072 8923433 140724481600384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40439808 140724481604002 140724481604136 140724481604136 140724481609706 0
/proc/50524/statm: 364255 286225 2368 1147 0 351682 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 1461212 KiB
Current children cumulated memory: 1147844 KiB

[startup+51.1133 s]
/proc/loadavg: 2.99 1.65 1.93 7/257 50531
/proc/meminfo: memFree=124605392/131382120 swapFree=33010416/33010684
[pid=50520] ppid=50508 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/50520/stat : 50520 (run-opt.sh) S 50508 50520 50456 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51851792 4292608 736 18446744073709551615 94222357078016 94222357972549 140735772514320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94222358211600 94222358259344 94222361030656 140735772518765 140735772518888 140735772518888 140735772524490 0
/proc/50520/statm: 1048 736 672 219 0 110 0
[pid=50524] ppid=50520 vsize=1871496 memory=1419432 CPUtime=50.91 cores=5,7
/proc/50524/stat : 50524 (roundingsat) R 50520 50520 50456 0 -1 4194304 200723 0 0 0 4843 248 0 0 20 0 1 0 51851794 1916411904 354858 18446744073709551615 4227072 8923433 140724481600384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40439808 140724481604002 140724481604136 140724481604136 140724481609706 0
/proc/50524/statm: 467874 354858 2368 1147 0 455301 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 1875688 KiB
Current children cumulated memory: 1422376 KiB

[startup+102.3 s]
/proc/loadavg: 3.62 2.03 2.05 7/259 50535
/proc/meminfo: memFree=123980904/131382120 swapFree=33010416/33010684
[pid=50520] ppid=50508 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/50520/stat : 50520 (run-opt.sh) S 50508 50520 50456 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51851792 4292608 736 18446744073709551615 94222357078016 94222357972549 140735772514320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94222358211600 94222358259344 94222361030656 140735772518765 140735772518888 140735772518888 140735772524490 0
/proc/50520/statm: 1048 736 672 219 0 110 0
[pid=50524] ppid=50520 vsize=1970328 memory=1553572 CPUtime=101.95 cores=5,7
/proc/50524/stat : 50524 (roundingsat) R 50520 50520 50456 0 -1 4194304 221495 0 0 0 9923 272 0 0 20 0 1 0 51851794 2017615872 388393 18446744073709551615 4227072 8923433 140724481600384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40439808 140724481604002 140724481604136 140724481604136 140724481609706 0
/proc/50524/statm: 492582 388393 2368 1147 0 480009 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 1974520 KiB
Current children cumulated memory: 1556516 KiB

[startup+162.3 s]
/proc/loadavg: 3.90 2.40 2.18 7/259 50537
/proc/meminfo: memFree=123617060/131382120 swapFree=33010416/33010684
[pid=50520] ppid=50508 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/50520/stat : 50520 (run-opt.sh) S 50508 50520 50456 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51851792 4292608 736 18446744073709551615 94222357078016 94222357972549 140735772514320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94222358211600 94222358259344 94222361030656 140735772518765 140735772518888 140735772518888 140735772524490 0
/proc/50520/statm: 1048 736 672 219 0 110 0
[pid=50524] ppid=50520 vsize=2114960 memory=1732084 CPUtime=161.77 cores=5,7
/proc/50524/stat : 50524 (roundingsat) R 50520 50520 50456 0 -1 4194304 250818 0 0 0 15878 299 0 0 20 0 1 0 51851794 2165719040 433021 18446744073709551615 4227072 8923433 140724481600384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40439808 140724481604002 140724481604136 140724481604136 140724481609706 0
/proc/50524/statm: 528740 433021 2368 1147 0 516167 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 2119152 KiB
Current children cumulated memory: 1735028 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 2.73 2.31 7/260 50546
/proc/meminfo: memFree=123365648/131382120 swapFree=33010416/33010684
[pid=50520] ppid=50508 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/50520/stat : 50520 (run-opt.sh) S 50508 50520 50456 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51851792 4292608 736 18446744073709551615 94222357078016 94222357972549 140735772514320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94222358211600 94222358259344 94222361030656 140735772518765 140735772518888 140735772518888 140735772524490 0
/proc/50520/statm: 1048 736 672 219 0 110 0
[pid=50524] ppid=50520 vsize=2129720 memory=1779564 CPUtime=221.61 cores=5,7
/proc/50524/stat : 50524 (roundingsat) R 50520 50520 50456 0 -1 4194304 257723 0 0 0 21847 314 0 0 20 0 1 0 51851794 2180833280 444891 18446744073709551615 4227072 8923433 140724481600384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40439808 140724481604002 140724481604136 140724481604136 140724481609706 0
/proc/50524/statm: 532430 444891 2368 1147 0 519857 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 2133912 KiB

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

[pid=50524] ppid=50520 vsize=3739116 memory=3048668 CPUtime=3092.68 cores=5,7
/proc/50524/stat : 50524 (roundingsat) R 50520 50520 50456 0 -1 4194304 470442 0 0 0 308583 685 0 0 20 0 1 0 51851794 3828854784 762167 18446744073709551615 4227072 8923433 140724481600384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40439808 140724481604002 140724481604136 140724481604136 140724481609706 0
/proc/50524/statm: 934779 762167 2368 1147 0 922206 0
Current children cumulated CPU time: 3092.68 s
Current children cumulated vsize: 3743308 KiB
Current children cumulated memory: 3051612 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.08 4.02 8/254 50697
/proc/meminfo: memFree=119298452/131382120 swapFree=33010416/33010684
[pid=50520] ppid=50508 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/50520/stat : 50520 (run-opt.sh) S 50508 50520 50456 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51851792 4292608 736 18446744073709551615 94222357078016 94222357972549 140735772514320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94222358211600 94222358259344 94222361030656 140735772518765 140735772518888 140735772518888 140735772524490 0
/proc/50520/statm: 1048 736 672 219 0 110 0
[pid=50524] ppid=50520 vsize=3739376 memory=3048924 CPUtime=3152.49 cores=5,7
/proc/50524/stat : 50524 (roundingsat) R 50520 50520 50456 0 -1 4194304 470539 0 0 0 314559 690 0 0 20 0 1 0 51851794 3829121024 762231 18446744073709551615 4227072 8923433 140724481600384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40439808 140724481604002 140724481604136 140724481604136 140724481609706 0
/proc/50524/statm: 934844 762231 2368 1147 0 922271 0
Current children cumulated CPU time: 3152.49 s
Current children cumulated vsize: 3743568 KiB
Current children cumulated memory: 3051868 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.09 4.03 7/255 50706
/proc/meminfo: memFree=119264936/131382120 swapFree=33010416/33010684
[pid=50520] ppid=50508 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/50520/stat : 50520 (run-opt.sh) S 50508 50520 50456 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51851792 4292608 736 18446744073709551615 94222357078016 94222357972549 140735772514320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94222358211600 94222358259344 94222361030656 140735772518765 140735772518888 140735772518888 140735772524490 0
/proc/50520/statm: 1048 736 672 219 0 110 0
[pid=50524] ppid=50520 vsize=3739376 memory=3048924 CPUtime=3212.31 cores=5,7
/proc/50524/stat : 50524 (roundingsat) R 50520 50520 50456 0 -1 4194304 471102 0 0 0 320536 695 0 0 20 0 1 0 51851794 3829121024 762231 18446744073709551615 4227072 8923433 140724481600384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40439808 140724481604002 140724481604136 140724481604136 140724481609706 0
/proc/50524/statm: 934844 762231 2368 1147 0 922271 0
Current children cumulated CPU time: 3212.31 s
Current children cumulated vsize: 3743568 KiB
Current children cumulated memory: 3051868 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.09 4.03 7/255 50709
/proc/meminfo: memFree=119290612/131382120 swapFree=33010416/33010684
[pid=50520] ppid=50508 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/50520/stat : 50520 (run-opt.sh) S 50508 50520 50456 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51851792 4292608 736 18446744073709551615 94222357078016 94222357972549 140735772514320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94222358211600 94222358259344 94222361030656 140735772518765 140735772518888 140735772518888 140735772524490 0
/proc/50520/statm: 1048 736 672 219 0 110 0
[pid=50524] ppid=50520 vsize=3739376 memory=3048924 CPUtime=3272.11 cores=5,7
/proc/50524/stat : 50524 (roundingsat) R 50520 50520 50456 0 -1 4194304 471150 0 0 0 326512 699 0 0 20 0 1 0 51851794 3829121024 762231 18446744073709551615 4227072 8923433 140724481600384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40439808 140724481604002 140724481604136 140724481604136 140724481609706 0
/proc/50524/statm: 934844 762231 2368 1147 0 922271 0
Current children cumulated CPU time: 3272.11 s
Current children cumulated vsize: 3743568 KiB
Current children cumulated memory: 3051868 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.09 4.03 7/255 50711
/proc/meminfo: memFree=119260836/131382120 swapFree=33010416/33010684
[pid=50520] ppid=50508 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/50520/stat : 50520 (run-opt.sh) S 50508 50520 50456 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51851792 4292608 736 18446744073709551615 94222357078016 94222357972549 140735772514320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94222358211600 94222358259344 94222361030656 140735772518765 140735772518888 140735772518888 140735772524490 0
/proc/50520/statm: 1048 736 672 219 0 110 0
[pid=50524] ppid=50520 vsize=3739376 memory=3048924 CPUtime=3331.92 cores=5,7
/proc/50524/stat : 50524 (roundingsat) R 50520 50520 50456 0 -1 4194304 471224 0 0 0 332489 703 0 0 20 0 1 0 51851794 3829121024 762231 18446744073709551615 4227072 8923433 140724481600384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40439808 140724481604002 140724481604136 140724481604136 140724481609706 0
/proc/50524/statm: 934844 762231 2368 1147 0 922271 0
Current children cumulated CPU time: 3331.92 s
Current children cumulated vsize: 3743568 KiB
Current children cumulated memory: 3051868 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.10 4.04 7/255 50713
/proc/meminfo: memFree=119196744/131382120 swapFree=33010416/33010684
[pid=50520] ppid=50508 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/50520/stat : 50520 (run-opt.sh) S 50508 50520 50456 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51851792 4292608 736 18446744073709551615 94222357078016 94222357972549 140735772514320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94222358211600 94222358259344 94222361030656 140735772518765 140735772518888 140735772518888 140735772524490 0
/proc/50520/statm: 1048 736 672 219 0 110 0
[pid=50524] ppid=50520 vsize=3739376 memory=3049692 CPUtime=3391.73 cores=5,7
/proc/50524/stat : 50524 (roundingsat) R 50520 50520 50456 0 -1 4194304 472111 0 0 0 338465 708 0 0 20 0 1 0 51851794 3829121024 762423 18446744073709551615 4227072 8923433 140724481600384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40439808 140724481604002 140724481604136 140724481604136 140724481609706 0
/proc/50524/statm: 934844 762423 2368 1147 0 922271 0
Current children cumulated CPU time: 3391.73 s
Current children cumulated vsize: 3743568 KiB
Current children cumulated memory: 3052636 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.04 7/255 50715
/proc/meminfo: memFree=119156660/131382120 swapFree=33010416/33010684
[pid=50520] ppid=50508 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/50520/stat : 50520 (run-opt.sh) S 50508 50520 50456 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51851792 4292608 736 18446744073709551615 94222357078016 94222357972549 140735772514320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94222358211600 94222358259344 94222361030656 140735772518765 140735772518888 140735772518888 140735772524490 0
/proc/50520/statm: 1048 736 672 219 0 110 0
[pid=50524] ppid=50520 vsize=3740840 memory=3071864 CPUtime=3451.53 cores=5,7
/proc/50524/stat : 50524 (roundingsat) R 50520 50520 50456 0 -1 4194304 475093 0 0 0 344438 715 0 0 20 0 1 0 51851794 3830620160 767966 18446744073709551615 4227072 8923433 140724481600384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40439808 140724481604002 140724481604136 140724481604136 140724481609706 0
/proc/50524/statm: 935210 767966 2368 1147 0 922637 0
Current children cumulated CPU time: 3451.53 s
Current children cumulated vsize: 3745032 KiB
Current children cumulated memory: 3074808 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.09 4.04 7/254 50717
/proc/meminfo: memFree=119150172/131382120 swapFree=33010416/33010684
[pid=50520] ppid=50508 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/50520/stat : 50520 (run-opt.sh) S 50508 50520 50456 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51851792 4292608 736 18446744073709551615 94222357078016 94222357972549 140735772514320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94222358211600 94222358259344 94222361030656 140735772518765 140735772518888 140735772518888 140735772524490 0
/proc/50520/statm: 1048 736 672 219 0 110 0
[pid=50524] ppid=50520 vsize=3740840 memory=3071864 CPUtime=3511.35 cores=5,7
/proc/50524/stat : 50524 (roundingsat) R 50520 50520 50456 0 -1 4194304 475148 0 0 0 350415 720 0 0 20 0 1 0 51851794 3830620160 767966 18446744073709551615 4227072 8923433 140724481600384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40439808 140724481604002 140724481604136 140724481604136 140724481609706 0
/proc/50524/statm: 935210 767966 2368 1147 0 922637 0
Current children cumulated CPU time: 3511.35 s
Current children cumulated vsize: 3745032 KiB
Current children cumulated memory: 3074808 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.04 7/253 50719
/proc/meminfo: memFree=119149324/131382120 swapFree=33010416/33010684
[pid=50520] ppid=50508 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/50520/stat : 50520 (run-opt.sh) S 50508 50520 50456 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51851792 4292608 736 18446744073709551615 94222357078016 94222357972549 140735772514320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94222358211600 94222358259344 94222361030656 140735772518765 140735772518888 140735772518888 140735772524490 0
/proc/50520/statm: 1048 736 672 219 0 110 0
[pid=50524] ppid=50520 vsize=3740840 memory=3071864 CPUtime=3571.16 cores=5,7
/proc/50524/stat : 50524 (roundingsat) R 50520 50520 50456 0 -1 4194304 475755 0 0 0 356393 723 0 0 20 0 1 0 51851794 3830620160 767966 18446744073709551615 4227072 8923433 140724481600384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40439808 140724481604002 140724481604136 140724481604136 140724481609706 0
/proc/50524/statm: 935210 767966 2368 1147 0 922637 0
Current children cumulated CPU time: 3571.16 s
Current children cumulated vsize: 3745032 KiB
Current children cumulated memory: 3074808 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.3 s]
/proc/loadavg: 4.16 4.10 4.04 7/254 50721
/proc/meminfo: memFree=119129888/131382120 swapFree=33010416/33010684
[pid=50520] ppid=50508 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/50520/stat : 50520 (run-opt.sh) S 50508 50520 50456 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 51851792 4292608 736 18446744073709551615 94222357078016 94222357972549 140735772514320 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94222358211600 94222358259344 94222361030656 140735772518765 140735772518888 140735772518888 140735772524490 0
/proc/50520/statm: 1048 736 672 219 0 110 0
[pid=50524] ppid=50520 vsize=3740840 memory=3071992 CPUtime=3600.07 cores=5,7
/proc/50524/stat : 50524 (roundingsat) R 50520 50520 50456 0 -1 4194304 475788 0 0 0 359282 725 0 0 20 0 1 0 51851794 3830620160 767998 18446744073709551615 4227072 8923433 140724481600384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40439808 140724481604002 140724481604136 140724481604136 140724481609706 0
/proc/50524/statm: 935210 767998 2368 1147 0 922637 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 3745032 KiB
Current children cumulated memory: 3074936 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

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

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

[startup+3611.41 s]*
/proc/loadavg: 4.16 4.10 4.04 6/252 50721
/proc/meminfo: memFree=122997408/131382120 swapFree=33010416/33010684
[pid=50524] ppid=50508 vsize=1195224 memory=949396 CPUtime=3600.19 cores=5,7
/proc/50524/stat : 50524 (roundingsat) R 50508 50520 50456 0 -1 4194304 475893 0 0 0 359289 730 0 0 20 0 1 0 51851794 1223909376 237349 18446744073709551615 4227072 8923433 140724481600384 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 40439808 140724481604002 140724481604136 140724481604136 140724481609706 0
/proc/50524/statm: 298806 237349 2432 1147 0 286233 0
Current cumulated CPU time of completed processes: 0.006071 s
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 1195224 KiB
Current children cumulated memory: 949396 KiB

Child status: 2

Real time (s): 3611.46
CPU time (s): 3600.24
CPU user time (s): 3592.93
CPU system time (s): 7.31507
CPU usage (%): 99.6895
Max. virtual memory (cumulated for all children) (KiB): 3745032
Max. memory (cumulated for all children) (KiB): 3074936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.93
system time used= 7.31507
maximum resident set size= 3072248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 476225
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= 253
involuntary context switches= 1825


# summary of solver processes directly reported to runsolver:
#   pid: 50520,50524
#   total CPU time (s): 3600.24
#   total CPU user time (s): 3592.93
#   total CPU system time (s): 7.31507

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.1405 second user time and 37.2864 second system time

The end

Launcher Data 

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

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

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

MD5SUM BENCH= fd0e2798224bd891f728fecfed3c6d1b
RANDOM SEED=1003632822

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        130036500 kB
MemAvailable:   129948316 kB
Buffers:            2128 kB
Cached:           714224 kB
SwapCached:           12 kB
Active:           392896 kB
Inactive:         389188 kB
Active(anon):      72592 kB
Inactive(anon):    11092 kB
Active(file):     320304 kB
Inactive(file):   378096 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             96304 kB
Writeback:            16 kB
AnonPages:         68808 kB
Mapped:           102240 kB
Shmem:             17948 kB
KReclaimable:     105700 kB
Slab:             189288 kB
SReclaimable:     105700 kB
SUnreclaim:        83588 kB
KernelStack:        3824 kB
PageTables:         2788 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     330820 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149272 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191304 kB
DirectMap2M:    10196992 kB
DirectMap1G:    125829120 kB

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