Trace number 4489598

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 3613.28

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb
MD5SUM9792288b3bfa4387008e61c6fa17d472
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 benchmark245
Best CPU time to get the best result obtained on this benchmark28904.8
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 495293
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 495293
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.04	c RoundingSat 2
0.00/0.04	c branch pb25
0.00/0.04	c commit 63f22ad
3.36/3.53	c #variables 10000 #constraints 656900
3.36/3.53	c objective is ce32 
4.65/4.89	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
4.65/4.89	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
4.65/4.89	c GLOBAL bounds - >= 0 @ 3.24758
4.95/5.15	c GLOBAL bounds - >= 0 @ 3.47922
4.95/5.16	c GLOBAL bounds - >= 0 @ 3.48494
4.95/5.17	c GLOBAL bounds - >= 0 @ 3.49691
4.95/5.18	c GLOBAL bounds - >= 0 @ 3.51011
5.05/5.20	c GLOBAL bounds - >= 0 @ 3.52642
5.05/5.21	c GLOBAL bounds - >= 0 @ 3.53424
5.05/5.22	c GLOBAL bounds - >= 0 @ 3.53826
5.05/5.23	c GLOBAL bounds - >= 0 @ 3.54914
5.05/5.24	c GLOBAL bounds - >= 0 @ 3.55825
5.05/5.24	c GLOBAL bounds - >= 0 @ 3.56438
5.05/5.26	c GLOBAL bounds - >= 0 @ 3.57563
5.05/5.27	c GLOBAL bounds - >= 0 @ 3.58461
5.05/5.30	c GLOBAL bounds - >= 0 @ 3.61197
5.14/5.30	c GLOBAL bounds - >= 0 @ 3.61794
5.14/5.32	c GLOBAL bounds - >= 0 @ 3.62924
5.14/5.34	c GLOBAL bounds - >= 0 @ 3.65161
5.14/5.35	c GLOBAL bounds - >= 0 @ 3.65952
5.14/5.37	c GLOBAL bounds - >= 0 @ 3.67694
5.14/5.37	c GLOBAL bounds - >= 0 @ 3.68215
5.14/5.38	c GLOBAL bounds - >= 0 @ 3.69073
5.14/5.39	c GLOBAL bounds - >= 0 @ 3.69781
5.24/5.40	c GLOBAL bounds - >= 0 @ 3.70498
5.24/5.41	c GLOBAL bounds - >= 0 @ 3.71279
5.24/5.42	c GLOBAL bounds - >= 0 @ 3.72228
5.34/5.57	c GLOBAL bounds - >= 0 @ 3.87722
5.34/5.58	c GLOBAL bounds - >= 0 @ 3.88806
5.34/5.59	c GLOBAL bounds - >= 0 @ 3.89449
5.45/5.60	c GLOBAL bounds - >= 0 @ 3.90145
5.45/5.61	c GLOBAL bounds - >= 0 @ 3.91081
5.45/5.63	c GLOBAL bounds - >= 0 @ 3.92742
5.45/5.64	c GLOBAL bounds - >= 0 @ 3.94435
5.45/5.66	c GLOBAL bounds - >= 0 @ 3.95966
5.45/5.68	c GLOBAL bounds - >= 0 @ 3.97498
5.45/5.68	c GLOBAL bounds - >= 0 @ 3.97991
5.54/5.70	c GLOBAL bounds - >= 0 @ 3.99727
5.54/5.72	c GLOBAL bounds - >= 0 @ 4.01874
5.54/5.73	c GLOBAL bounds - >= 0 @ 4.0235
5.54/5.74	c GLOBAL bounds - >= 0 @ 4.02976
5.54/5.74	c GLOBAL bounds - >= 0 @ 4.03755
5.54/5.75	c GLOBAL bounds - >= 0 @ 4.04452
5.54/5.77	c GLOBAL bounds - >= 0 @ 4.06057
5.54/5.78	c GLOBAL bounds - >= 0 @ 4.07247
5.54/5.79	c GLOBAL bounds - >= 0 @ 4.08337
5.64/5.81	c GLOBAL bounds - >= 0 @ 4.10146
5.64/5.82	c GLOBAL bounds - >= 0 @ 4.11004
5.64/5.83	c GLOBAL bounds - >= 0 @ 4.11506
5.64/5.84	c GLOBAL bounds - >= 0 @ 4.12534
5.64/5.84	c GLOBAL bounds - >= 0 @ 4.13158
5.64/5.85	c GLOBAL bounds - >= 0 @ 4.13629
5.64/5.86	c GLOBAL bounds - >= 0 @ 4.14577
5.64/5.87	c GLOBAL bounds - >= 0 @ 4.15615
5.64/5.89	c GLOBAL bounds - >= 0 @ 4.16891
5.64/5.89	c GLOBAL bounds - >= 0 @ 4.17499
5.74/5.90	c GLOBAL bounds - >= 0 @ 4.18506
5.74/5.91	c GLOBAL bounds - >= 0 @ 4.19082
5.74/5.92	c GLOBAL bounds - >= 0 @ 4.2015
5.74/5.93	c GLOBAL bounds - >= 0 @ 4.21107
5.74/5.95	c GLOBAL bounds - >= 0 @ 4.23097
5.74/5.96	c GLOBAL bounds - >= 0 @ 4.24253
5.74/5.98	c GLOBAL bounds - >= 0 @ 4.25556
5.74/6.00	c GLOBAL bounds - >= 0 @ 4.27028
5.84/6.03	c GLOBAL bounds - >= 0 @ 4.29946
5.84/6.05	c GLOBAL bounds - >= 0 @ 4.32098
5.94/6.11	c GLOBAL bounds - >= 0 @ 4.37395
5.94/6.17	c GLOBAL bounds - >= 0 @ 4.4292
6.14/6.31	c GLOBAL bounds - >= 0 @ 4.56296
6.14/6.34	c GLOBAL bounds - >= 0 @ 4.58315
6.14/6.37	c GLOBAL bounds - >= 0 @ 4.60545
6.24/6.40	c GLOBAL bounds - >= 0 @ 4.63827
6.24/6.44	c GLOBAL bounds - >= 0 @ 4.66813
6.24/6.49	c GLOBAL bounds - >= 0 @ 4.71568
6.34/6.52	c GLOBAL bounds - >= 0 @ 4.74049
6.34/6.55	c GLOBAL bounds - >= 0 @ 4.76788
6.34/6.58	c GLOBAL bounds - >= 0 @ 4.79119
6.44/6.60	c GLOBAL bounds - >= 0 @ 4.80307
6.44/6.65	c GLOBAL bounds - >= 0 @ 4.85191
6.44/6.67	c GLOBAL bounds - >= 0 @ 4.86626
6.54/6.70	c GLOBAL bounds - >= 0 @ 4.89757
6.54/6.73	c GLOBAL bounds - >= 0 @ 4.91937
6.54/6.75	c GLOBAL bounds - >= 0 @ 4.93352
6.54/6.79	c #Conflicts:       1000 | #Constraints:     658058
6.54/6.79	c GLOBAL bounds - >= 0 @ 4.9688
6.64/6.86	c GLOBAL bounds - >= 0 @ 5.03462
6.64/6.88	c GLOBAL bounds - >= 0 @ 5.0501
6.73/6.90	c GLOBAL bounds - >= 0 @ 5.06541
6.73/6.92	c GLOBAL bounds - >= 0 @ 5.08353
6.73/6.93	c GLOBAL bounds - >= 0 @ 5.09524
6.73/6.95	c GLOBAL bounds - >= 0 @ 5.11313
6.73/6.97	c GLOBAL bounds - >= 0 @ 5.13125
6.73/6.99	c GLOBAL bounds - >= 0 @ 5.14574
6.85/7.01	c GLOBAL bounds - >= 0 @ 5.1631
6.85/7.03	c GLOBAL bounds - >= 0 @ 5.18036
6.85/7.04	c GLOBAL bounds - >= 0 @ 5.19297
6.85/7.06	c GLOBAL bounds - >= 0 @ 5.20338
6.85/7.07	c GLOBAL bounds - >= 0 @ 5.21824
6.85/7.10	c GLOBAL bounds - >= 0 @ 5.2368
6.94/7.14	c GLOBAL bounds - >= 0 @ 5.27289
6.94/7.15	c GLOBAL bounds - >= 0 @ 5.28521
6.94/7.19	c GLOBAL bounds - >= 0 @ 5.31928
7.03/7.21	c GLOBAL bounds - >= 0 @ 5.34269
7.03/7.23	c GLOBAL bounds - >= 0 @ 5.35395
7.03/7.26	c GLOBAL bounds - >= 0 @ 5.38186
7.03/7.29	c GLOBAL bounds - >= 0 @ 5.40884
7.13/7.31	c GLOBAL bounds - >= 0 @ 5.42428
7.13/7.33	c GLOBAL bounds - >= 0 @ 5.44949
7.13/7.36	c GLOBAL bounds - >= 0 @ 5.46746
7.13/7.38	c GLOBAL bounds - >= 0 @ 5.48634
7.13/7.39	c GLOBAL bounds - >= 0 @ 5.5005
7.23/7.48	c GLOBAL bounds - >= 0 @ 5.58751
7.34/7.50	c GLOBAL bounds - >= 0 @ 5.59896
7.34/7.51	c GLOBAL bounds - >= 0 @ 5.61241
7.34/7.53	c GLOBAL bounds - >= 0 @ 5.62485
7.34/7.54	c GLOBAL bounds - >= 0 @ 5.63861
7.34/7.59	c GLOBAL bounds - >= 0 @ 5.68175
7.43/7.64	c GLOBAL bounds - >= 0 @ 5.73439
7.43/7.66	c GLOBAL bounds - >= 0 @ 5.75088
7.43/7.68	c GLOBAL bounds - >= 0 @ 5.7659
7.54/7.71	c GLOBAL bounds - >= 0 @ 5.79629
7.54/7.76	c GLOBAL bounds - >= 0 @ 5.83804
7.54/7.77	c GLOBAL bounds - >= 0 @ 5.84713
7.54/7.79	c GLOBAL bounds - >= 0 @ 5.86557
7.73/7.91	c GLOBAL bounds - >= 0 @ 5.98327
7.73/7.92	c GLOBAL bounds - >= 0 @ 5.99319
7.73/7.95	c GLOBAL bounds - >= 0 @ 6.02234
7.73/7.97	c GLOBAL bounds - >= 0 @ 6.04962
7.73/7.99	c GLOBAL bounds - >= 0 @ 6.06269
7.73/8.01	c GLOBAL bounds - >= 0 @ 6.08147
7.84/8.02	c GLOBAL bounds - >= 0 @ 6.09412
7.84/8.03	c GLOBAL bounds - >= 0 @ 6.10653
7.84/8.07	c GLOBAL bounds - >= 0 @ 6.14339
7.84/8.08	c GLOBAL bounds - >= 0 @ 6.15097
7.95/8.11	c GLOBAL bounds - >= 0 @ 6.18301
8.03/8.28	c GLOBAL bounds - >= 0 @ 6.34433
8.13/8.32	c GLOBAL bounds - >= 0 @ 6.3825
8.13/8.34	c GLOBAL bounds - >= 0 @ 6.40123
8.13/8.34	c GLOBAL bounds - >= 0 @ 6.40788
8.13/8.36	c GLOBAL bounds - >= 0 @ 6.42584
8.13/8.38	c GLOBAL bounds - >= 0 @ 6.44111
8.13/8.39	c GLOBAL bounds - >= 0 @ 6.45741
8.23/8.40	c GLOBAL bounds - >= 0 @ 6.46411
8.73/8.98	c GLOBAL bounds - >= 0 @ 7.03638
8.84/9.04	c GLOBAL bounds - >= 0 @ 7.09556
8.84/9.06	c GLOBAL bounds - >= 0 @ 7.11568
8.84/9.10	c GLOBAL bounds - >= 0 @ 7.15559
8.94/9.12	c GLOBAL bounds - >= 0 @ 7.17677
8.94/9.14	c GLOBAL bounds - >= 0 @ 7.18746
8.94/9.15	c GLOBAL bounds - >= 0 @ 7.19771
8.94/9.16	c GLOBAL bounds - >= 0 @ 7.21375
8.94/9.18	c GLOBAL bounds - >= 0 @ 7.22496
8.94/9.18	c GLOBAL bounds - >= 0 @ 7.23283
9.03/9.21	c GLOBAL bounds - >= 0 @ 7.25299
9.03/9.22	c GLOBAL bounds - >= 0 @ 7.26564
9.03/9.24	c GLOBAL bounds - >= 0 @ 7.2806
9.03/9.25	c GLOBAL bounds - >= 0 @ 7.29268
9.13/9.35	c GLOBAL bounds - >= 0 @ 7.38723
9.13/9.39	c GLOBAL bounds - >= 0 @ 7.42396
9.23/9.40	c GLOBAL bounds - >= 0 @ 7.43545
9.23/9.41	c GLOBAL bounds - >= 0 @ 7.44902
9.23/9.44	c GLOBAL bounds - >= 0 @ 7.47661
9.23/9.46	c GLOBAL bounds - >= 0 @ 7.49476
9.23/9.48	c GLOBAL bounds - >= 0 @ 7.51247
9.23/9.49	c GLOBAL bounds - >= 0 @ 7.51966
9.32/9.55	c GLOBAL bounds - >= 0 @ 7.58384
9.32/9.58	c GLOBAL bounds - >= 0 @ 7.60926
9.42/9.61	c GLOBAL bounds - >= 0 @ 7.63729
9.42/9.63	c GLOBAL bounds - >= 0 @ 7.65173
9.42/9.64	c GLOBAL bounds - >= 0 @ 7.66704
9.42/9.66	c GLOBAL bounds - >= 0 @ 7.68435
9.42/9.67	c GLOBAL bounds - >= 0 @ 7.69347
9.42/9.68	c GLOBAL bounds - >= 0 @ 7.70026
9.53/9.70	c GLOBAL bounds - >= 0 @ 7.71686
9.53/9.71	c GLOBAL bounds - >= 0 @ 7.72783
9.53/9.73	c GLOBAL bounds - >= 0 @ 7.74406
9.53/9.75	c GLOBAL bounds - >= 0 @ 7.76359
9.53/9.78	c GLOBAL bounds - >= 0 @ 7.78482
9.53/9.79	c GLOBAL bounds - >= 0 @ 7.79361
9.63/9.80	c GLOBAL bounds - >= 0 @ 7.80631
9.63/9.82	c GLOBAL bounds - >= 0 @ 7.82179
9.63/9.84	c GLOBAL bounds - >= 0 @ 7.83361
9.63/9.86	c GLOBAL bounds - >= 0 @ 7.84923
9.63/9.88	c GLOBAL bounds - >= 0 @ 7.86783
9.63/9.89	c GLOBAL bounds - >= 0 @ 7.88137
9.73/9.91	c GLOBAL bounds - >= 0 @ 7.89897
9.73/9.93	c GLOBAL bounds - >= 0 @ 7.91386
9.73/9.95	c GLOBAL bounds - >= 0 @ 7.93231
9.73/9.96	c GLOBAL bounds - >= 0 @ 7.94024
9.73/9.98	c GLOBAL bounds - >= 0 @ 7.95136
9.73/9.99	c GLOBAL bounds - >= 0 @ 7.95915
9.73/10.01	c GLOBAL bounds - >= 0 @ 7.9796
9.84/10.02	c GLOBAL bounds - >= 0 @ 7.98979
9.84/10.03	c GLOBAL bounds - >= 0 @ 8.00549
9.84/10.10	c GLOBAL bounds - >= 0 @ 8.07338
10.43/10.62	c GLOBAL bounds - >= 0 @ 8.57801
10.43/10.68	c GLOBAL bounds - >= 0 @ 8.63524
10.43/10.69	c GLOBAL bounds - >= 0 @ 8.64599
10.52/10.70	c GLOBAL bounds - >= 0 @ 8.65991
10.52/10.72	c GLOBAL bounds - >= 0 @ 8.67297
10.52/10.73	c GLOBAL bounds - >= 0 @ 8.68704
10.52/10.75	c GLOBAL bounds - >= 0 @ 8.69951
10.63/10.83	c GLOBAL bounds - >= 0 @ 8.77809
10.63/10.84	c GLOBAL bounds - >= 0 @ 8.78983
10.63/10.86	c GLOBAL bounds - >= 0 @ 8.81283
10.63/10.88	c GLOBAL bounds - >= 0 @ 8.82245
11.02/11.26	c #Conflicts:       2000 | #Constraints:     659302
11.02/11.26	c INPROCESSING
11.02/11.26	c GLOBAL bounds - >= 0 @ 9.20702
11.02/11.29	c GLOBAL bounds - >= 0 @ 9.23034
11.13/11.30	c GLOBAL bounds - >= 0 @ 9.24262
11.13/11.31	c GLOBAL bounds - >= 0 @ 9.25616
11.13/11.32	c GLOBAL bounds - >= 0 @ 9.26468
11.13/11.35	c GLOBAL bounds - >= 0 @ 9.2893
11.13/11.36	c GLOBAL bounds - >= 0 @ 9.29801
11.13/11.38	c GLOBAL bounds - >= 0 @ 9.31336
11.22/11.40	c GLOBAL bounds - >= 0 @ 9.33233
11.22/11.42	c GLOBAL bounds - >= 0 @ 9.34835
11.22/11.43	c GLOBAL bounds - >= 0 @ 9.36074
11.32/11.60	c GLOBAL bounds - >= 0 @ 9.52165
11.42/11.62	c GLOBAL bounds - >= 0 @ 9.54646
11.42/11.65	c GLOBAL bounds - >= 0 @ 9.57516
11.42/11.67	c GLOBAL bounds - >= 0 @ 9.58628
11.52/11.76	c GLOBAL bounds - >= 0 @ 9.67297
11.52/11.79	c GLOBAL bounds - >= 0 @ 9.7007
11.62/11.80	c GLOBAL bounds - >= 0 @ 9.71601
11.62/11.82	c GLOBAL bounds - >= 0 @ 9.73433
11.62/11.87	c GLOBAL bounds - >= 0 @ 9.78178
11.62/11.89	c GLOBAL bounds - >= 0 @ 9.80123
11.72/11.92	c GLOBAL bounds - >= 0 @ 9.82777
11.93/12.13	c GLOBAL bounds - >= 0 @ 10.0379
12.22/12.45	c GLOBAL bounds - >= 0 @ 10.3431
12.32/12.56	c GLOBAL bounds - >= 0 @ 10.4577
12.32/12.58	c GLOBAL bounds - >= 0 @ 10.4686
12.32/12.59	c GLOBAL bounds - >= 0 @ 10.4776
12.42/12.61	c GLOBAL bounds - >= 0 @ 10.4952
12.42/12.66	c GLOBAL bounds - >= 0 @ 10.5407
12.52/12.78	c GLOBAL bounds - >= 0 @ 10.6648
12.62/12.84	c GLOBAL bounds - >= 0 @ 10.7161
12.62/12.87	c GLOBAL bounds - >= 0 @ 10.7445
12.62/12.90	c GLOBAL bounds - >= 0 @ 10.7682
12.72/12.91	c GLOBAL bounds - >= 0 @ 10.7782
12.72/12.93	c GLOBAL bounds - >= 0 @ 10.7969
12.72/13.01	c GLOBAL bounds - >= 0 @ 10.8738
12.93/13.15	c GLOBAL bounds - >= 0 @ 11.0142
12.93/13.18	c GLOBAL bounds - >= 0 @ 11.043
13.02/13.21	c GLOBAL bounds - >= 0 @ 11.0664
13.22/13.47	c GLOBAL bounds - >= 0 @ 11.321
13.32/13.52	c GLOBAL bounds - >= 0 @ 11.3746
13.41/13.60	c GLOBAL bounds - >= 0 @ 11.4523
13.41/13.64	c GLOBAL bounds - >= 0 @ 11.4829
13.41/13.66	c GLOBAL bounds - >= 0 @ 11.5012
13.41/13.68	c GLOBAL bounds - >= 0 @ 11.5198
13.51/13.70	c GLOBAL bounds - >= 0 @ 11.5381
13.51/13.72	c GLOBAL bounds - >= 0 @ 11.5588
13.51/13.76	c GLOBAL bounds - >= 0 @ 11.5994
13.51/13.78	c GLOBAL bounds - >= 0 @ 11.6131
13.61/13.80	c GLOBAL bounds - >= 0 @ 11.6327
13.61/13.83	c GLOBAL bounds - >= 0 @ 11.6593
13.61/13.86	c GLOBAL bounds - >= 0 @ 11.682
13.61/13.89	c GLOBAL bounds - >= 0 @ 11.7137
13.71/13.94	c GLOBAL bounds - >= 0 @ 11.7542
13.71/14.00	c GLOBAL bounds - >= 0 @ 11.809
13.83/14.02	c GLOBAL bounds - >= 0 @ 11.8352
13.83/14.05	c GLOBAL bounds - >= 0 @ 11.859
13.83/14.08	c GLOBAL bounds - >= 0 @ 11.8901
13.83/14.11	c GLOBAL bounds - >= 0 @ 11.91
13.93/14.12	c GLOBAL bounds - >= 0 @ 11.9281
13.93/14.15	c GLOBAL bounds - >= 0 @ 11.9473
13.93/14.17	c GLOBAL bounds - >= 0 @ 11.9587
13.93/14.18	c GLOBAL bounds - >= 0 @ 11.9713
13.93/14.20	c GLOBAL bounds - >= 0 @ 11.9834
14.01/14.21	c GLOBAL bounds - >= 0 @ 11.9982
14.01/14.24	c GLOBAL bounds - >= 0 @ 12.0173
14.01/14.25	c GLOBAL bounds - >= 0 @ 12.0289
14.01/14.28	c GLOBAL bounds - >= 0 @ 12.0564
14.11/14.33	c GLOBAL bounds - >= 0 @ 12.1033
14.11/14.36	c GLOBAL bounds - >= 0 @ 12.1347
14.21/14.40	c GLOBAL bounds - >= 0 @ 12.1711
14.21/14.42	c GLOBAL bounds - >= 0 @ 12.1904
14.21/14.46	c GLOBAL bounds - >= 0 @ 12.2236
14.21/14.49	c GLOBAL bounds - >= 0 @ 12.2496
15.82/16.03	c #Conflicts:       3000 | #Constraints:     659455
15.82/16.03	c GLOBAL bounds - >= 0 @ 13.7617
15.82/16.04	c GLOBAL bounds - >= 0 @ 13.775
16.10/16.37	c GLOBAL bounds - >= 0 @ 14.0956
16.21/16.42	c GLOBAL bounds - >= 0 @ 14.1461
16.21/16.49	c GLOBAL bounds - >= 0 @ 14.2065
16.30/16.57	c GLOBAL bounds - >= 0 @ 14.2904
16.41/16.60	c GLOBAL bounds - >= 0 @ 14.3191
17.01/17.23	c GLOBAL bounds - >= 0 @ 14.9294
17.01/17.29	c GLOBAL bounds - >= 0 @ 14.9859
17.11/17.31	c GLOBAL bounds - >= 0 @ 14.9994
17.11/17.33	c GLOBAL bounds - >= 0 @ 15.0246
17.11/17.37	c GLOBAL bounds - >= 0 @ 15.0588
17.11/17.38	c GLOBAL bounds - >= 0 @ 15.0741
17.20/17.40	c GLOBAL bounds - >= 0 @ 15.0909
17.20/17.45	c GLOBAL bounds - >= 0 @ 15.1348
17.41/17.69	c GLOBAL bounds - >= 0 @ 15.3648
17.50/17.75	c GLOBAL bounds - >= 0 @ 15.4125
17.50/17.77	c GLOBAL bounds - >= 0 @ 15.4331
17.60/17.80	c GLOBAL bounds - >= 0 @ 15.4594
17.60/17.85	c GLOBAL bounds - >= 0 @ 15.5033
17.91/18.15	c GLOBAL bounds - >= 0 @ 15.7907
18.00/18.29	c GLOBAL bounds - >= 0 @ 15.9266
18.10/18.36	c GLOBAL bounds - >= 0 @ 15.9989
18.20/18.44	c GLOBAL bounds - >= 0 @ 16.0669
18.30/18.52	c GLOBAL bounds - >= 0 @ 16.148
18.30/18.56	c GLOBAL bounds - >= 0 @ 16.1843
18.30/18.59	c GLOBAL bounds - >= 0 @ 16.2126
18.50/18.74	c GLOBAL bounds - >= 0 @ 16.3564
18.50/18.79	c GLOBAL bounds - >= 0 @ 16.4032
18.81/19.05	c GLOBAL bounds - >= 0 @ 16.6569
18.91/19.15	c GLOBAL bounds - >= 0 @ 16.7529
19.00/19.23	c GLOBAL bounds - >= 0 @ 16.8254
19.00/19.27	c GLOBAL bounds - >= 0 @ 16.8613
19.09/19.32	c GLOBAL bounds - >= 0 @ 16.9051
19.09/19.34	c GLOBAL bounds - >= 0 @ 16.9248
19.20/19.43	c GLOBAL bounds - >= 0 @ 17.0092
20.70/20.91	c #Conflicts:       4000 | #Constraints:     660527
20.70/20.91	c INPROCESSING
20.70/20.91	c GARBAGE COLLECT
20.70/20.91	c GLOBAL bounds - >= 0 @ 18.4699
20.70/21.00	c GLOBAL bounds - >= 0 @ 18.5568
21.09/21.36	c GLOBAL bounds - >= 0 @ 18.9074
21.19/21.46	c GLOBAL bounds - >= 0 @ 19.0136
21.29/21.51	c GLOBAL bounds - >= 0 @ 19.063
21.29/21.53	c GLOBAL bounds - >= 0 @ 19.075
21.29/21.56	c GLOBAL bounds - >= 0 @ 19.1078
21.39/21.63	c GLOBAL bounds - >= 0 @ 19.1744
21.59/21.83	c GLOBAL bounds - >= 0 @ 19.3713
21.69/21.95	c GLOBAL bounds - >= 0 @ 19.485
21.69/21.97	c GLOBAL bounds - >= 0 @ 19.5011
21.69/22.00	c GLOBAL bounds - >= 0 @ 19.5304
21.80/22.03	c GLOBAL bounds - >= 0 @ 19.5556
22.09/22.33	c GLOBAL bounds - >= 0 @ 19.8481
22.09/22.35	c GLOBAL bounds - >= 0 @ 19.8699
22.09/22.38	c GLOBAL bounds - >= 0 @ 19.8915
22.19/22.43	c GLOBAL bounds - >= 0 @ 19.9452
22.39/22.61	c GLOBAL bounds - >= 0 @ 20.1188
22.39/22.67	c GLOBAL bounds - >= 0 @ 20.1816
22.58/22.83	c GLOBAL bounds - >= 0 @ 20.3357
22.58/22.88	c GLOBAL bounds - >= 0 @ 20.3903
22.69/22.92	c GLOBAL bounds - >= 0 @ 20.4199
22.69/22.97	c GLOBAL bounds - >= 0 @ 20.4697
24.79/25.06	c #Conflicts:       5000 | #Constraints:     659984
24.79/25.06	c GLOBAL bounds - >= 0 @ 22.5363
24.98/25.29	c GLOBAL bounds - >= 0 @ 22.7623
25.08/25.34	c GLOBAL bounds - >= 0 @ 22.8118
26.97/27.27	c GLOBAL bounds - >= 0 @ 24.7179
27.07/27.31	c GLOBAL bounds - >= 0 @ 24.7519
27.07/27.35	c GLOBAL bounds - >= 0 @ 24.7893
27.07/27.37	c GLOBAL bounds - >= 0 @ 24.81
32.45/32.78	c #Conflicts:       6000 | #Constraints:     660998
32.45/32.78	c GLOBAL bounds - >= 0 @ 30.1601
35.14/35.49	c INPROCESSING
35.14/35.49	c GARBAGE COLLECT
35.14/35.49	c GLOBAL bounds - >= 0 @ 32.8221
36.14/36.47	c GLOBAL bounds - >= 0 @ 33.7945
47.21/47.58	c #Conflicts:       7000 | #Constraints:     660004
47.21/47.58	c #Conflicts:       8000 | #Constraints:     661004
47.21/47.58	c GLOBAL bounds - >= 0 @ 44.84
49.71/50.10	c GLOBAL bounds - >= 0 @ 47.347
50.20/50.57	c GLOBAL bounds - >= 0 @ 47.8096
139.00/139.68	c #Conflicts:       9000 | #Constraints:     662010
139.00/139.68	c INPROCESSING
139.00/139.68	c GARBAGE COLLECT
139.00/139.68	c #Conflicts:      10000 | #Constraints:     660708
139.00/139.68	c #Conflicts:      11000 | #Constraints:     661708
139.00/139.68	c #Conflicts:      12000 | #Constraints:     662708
139.00/139.68	c INPROCESSING
139.00/139.68	c GARBAGE COLLECT
139.00/139.68	c #Conflicts:      13000 | #Constraints:     661162
139.00/139.68	c #Conflicts:      14000 | #Constraints:     662162
139.00/139.68	c #Conflicts:      15000 | #Constraints:     663162
139.00/139.68	c INPROCESSING
139.00/139.68	c GARBAGE COLLECT
139.00/139.68	c GLOBAL bounds - >= 0 @ 136.341
186.34/187.16	c #Conflicts:      16000 | #Constraints:     661392
186.34/187.16	c #Conflicts:      17000 | #Constraints:     662392
186.34/187.16	c #Conflicts:      18000 | #Constraints:     663392
186.34/187.16	c INPROCESSING
186.34/187.16	c GARBAGE COLLECT
186.34/187.16	c #Conflicts:      19000 | #Constraints:     661414
186.34/187.16	c GLOBAL bounds - >= 0 @ 183.552
189.81/190.67	c GLOBAL bounds - >= 0 @ 187.04
189.91/190.79	c GLOBAL bounds - >= 0 @ 187.16
198.29/199.18	c #Conflicts:      20000 | #Constraints:     662420
198.29/199.18	c GLOBAL bounds - >= 0 @ 195.494
198.87/199.76	c GLOBAL bounds - >= 0 @ 196.066
200.67/201.52	c #Conflicts:      21000 | #Constraints:     663424
200.67/201.52	c GLOBAL bounds - >= 0 @ 197.819
203.06/203.99	c GLOBAL bounds - >= 0 @ 200.276
203.36/204.29	c GLOBAL bounds - >= 0 @ 200.566
203.76/204.61	c GLOBAL bounds - >= 0 @ 200.887
203.86/204.76	c GLOBAL bounds - >= 0 @ 201.031
203.96/204.80	c GLOBAL bounds - >= 0 @ 201.068
204.56/205.40	c GLOBAL bounds - >= 0 @ 201.653
214.91/215.87	c INPROCESSING
214.91/215.87	c GARBAGE COLLECT
214.91/215.87	c #Conflicts:      22000 | #Constraints:     661238
214.91/215.87	c GLOBAL bounds - >= 0 @ 212.018
215.31/216.27	c GLOBAL bounds - >= 0 @ 212.415
218.80/219.73	c #Conflicts:      23000 | #Constraints:     662242
218.80/219.73	c GLOBAL bounds - >= 0 @ 215.846
222.39/223.36	c GLOBAL bounds - >= 0 @ 219.448
222.39/223.39	c GLOBAL bounds - >= 0 @ 219.482
233.44/234.46	c #Conflicts:      24000 | #Constraints:     663248
233.44/234.46	c GLOBAL bounds - >= 0 @ 230.474
241.32/242.37	c #Conflicts:      25000 | #Constraints:     664250
241.32/242.37	c INPROCESSING
241.32/242.37	c GARBAGE COLLECT
241.32/242.37	c GLOBAL bounds - >= 0 @ 238.315
241.62/242.68	c GLOBAL bounds - >= 0 @ 238.614
250.49/251.58	c #Conflicts:      26000 | #Constraints:     661859
250.49/251.58	c #Conflicts:      27000 | #Constraints:     662859
250.49/251.58	c GLOBAL bounds - >= 0 @ 247.475
251.18/252.28	c GLOBAL bounds - >= 0 @ 248.158
251.37/252.42	c GLOBAL bounds - >= 0 @ 248.298
257.46/258.53	c GLOBAL bounds - >= 0 @ 254.352
262.63/263.76	c #Conflicts:      28000 | #Constraints:     663867
262.63/263.76	c GLOBAL bounds - >= 0 @ 259.547
1638.05/1644.38	c #Conflicts:      29000 | #Constraints:     664869
1638.05/1644.38	c INPROCESSING
1638.05/1644.38	c GARBAGE COLLECT
1638.05/1644.38	c #Conflicts:      30000 | #Constraints:     662263
1638.05/1644.38	c #Conflicts:      31000 | #Constraints:     663263
1638.05/1644.38	c #Conflicts:      32000 | #Constraints:     664263
1638.05/1644.38	c #Conflicts:      33000 | #Constraints:     665263
1638.05/1644.38	c INPROCESSING
1638.05/1644.38	c GARBAGE COLLECT
1638.05/1644.38	c #Conflicts:      34000 | #Constraints:     662463
1638.05/1644.38	c #Conflicts:      35000 | #Constraints:     663463
1638.05/1644.38	c #Conflicts:      36000 | #Constraints:     664463
1638.05/1644.38	c #Conflicts:      37000 | #Constraints:     665463
1638.05/1644.38	c INPROCESSING
1638.05/1644.38	c GARBAGE COLLECT
1638.05/1644.38	c #Conflicts:      38000 | #Constraints:     662468
1638.05/1644.38	c #Conflicts:      39000 | #Constraints:     663468
1638.05/1644.38	c #Conflicts:      40000 | #Constraints:     664468
1638.05/1644.38	c #Conflicts:      41000 | #Constraints:     665468
1638.05/1644.38	c INPROCESSING
1638.05/1644.38	c GARBAGE COLLECT
1638.05/1644.38	c #Conflicts:      42000 | #Constraints:     662272
1638.05/1644.38	c #Conflicts:      43000 | #Constraints:     663272
1638.05/1644.38	c #Conflicts:      44000 | #Constraints:     664272
1638.05/1644.38	c #Conflicts:      45000 | #Constraints:     665272
1638.05/1644.38	c #Conflicts:      46000 | #Constraints:     666272
1638.05/1644.38	c INPROCESSING
1638.05/1644.38	c GARBAGE COLLECT
1638.05/1644.38	c #Conflicts:      47000 | #Constraints:     662861
1638.05/1644.38	c #Conflicts:      48000 | #Constraints:     663861
1638.05/1644.38	c #Conflicts:      49000 | #Constraints:     664861
1638.05/1644.38	c #Conflicts:      50000 | #Constraints:     665861
1638.05/1644.38	c #Conflicts:      51000 | #Constraints:     666861
1638.05/1644.38	c INPROCESSING
1638.05/1644.38	c GARBAGE COLLECT
1638.05/1644.38	c #Conflicts:      52000 | #Constraints:     663270
1638.05/1644.38	c #Conflicts:      53000 | #Constraints:     664270
1638.05/1644.38	c #Conflicts:      54000 | #Constraints:     665270
1638.05/1644.38	c #Conflicts:      55000 | #Constraints:     666270
1638.05/1644.38	c #Conflicts:      56000 | #Constraints:     667270
1638.05/1644.38	c INPROCESSING
1638.05/1644.38	c GARBAGE COLLECT
1638.05/1644.38	c #Conflicts:      57000 | #Constraints:     663469
1638.05/1644.38	c #Conflicts:      58000 | #Constraints:     664469
1638.05/1644.38	c #Conflicts:      59000 | #Constraints:     665469
1638.05/1644.38	c #Conflicts:      60000 | #Constraints:     666469
1638.05/1644.38	c #Conflicts:      61000 | #Constraints:     667469
1638.05/1644.38	c INPROCESSING
1638.05/1644.38	c GARBAGE COLLECT
1638.05/1644.38	c #Conflicts:      62000 | #Constraints:     663470
1638.05/1644.38	c #Conflicts:      63000 | #Constraints:     664470
1638.05/1644.38	c #Conflicts:      64000 | #Constraints:     665470
1638.05/1644.38	c #Conflicts:      65000 | #Constraints:     666470
1638.05/1644.38	c #Conflicts:      66000 | #Constraints:     667470
1638.05/1644.38	c INPROCESSING
1638.05/1644.38	c GARBAGE COLLECT
1638.05/1644.38	c #Conflicts:      67000 | #Constraints:     663269
1638.05/1644.38	c #Conflicts:      68000 | #Constraints:     664269
1638.05/1644.38	c #Conflicts:      69000 | #Constraints:     665269
1638.05/1644.38	c #Conflicts:      70000 | #Constraints:     666269
1638.05/1644.38	c #Conflicts:      71000 | #Constraints:     667269
1638.05/1644.38	c #Conflicts:      72000 | #Constraints:     668269
1638.05/1644.38	c INPROCESSING
1638.05/1644.38	c GARBAGE COLLECT
1638.05/1644.38	c #Conflicts:      73000 | #Constraints:     663864
1638.05/1644.38	c #Conflicts:      74000 | #Constraints:     664864
1638.05/1644.38	c #Conflicts:      75000 | #Constraints:     665864
1638.05/1644.38	c #Conflicts:      76000 | #Constraints:     666864
1638.05/1644.38	c #Conflicts:      77000 | #Constraints:     667864
1638.05/1644.38	c #Conflicts:      78000 | #Constraints:     668864
1638.05/1644.38	c INPROCESSING
1638.05/1644.38	c GARBAGE COLLECT
1638.05/1644.38	c #Conflicts:      79000 | #Constraints:     664265
1638.05/1644.38	c #Conflicts:      80000 | #Constraints:     665265
1638.05/1644.38	c #Conflicts:      81000 | #Constraints:     666265
1638.05/1644.38	c #Conflicts:      82000 | #Constraints:     667265
1638.05/1644.38	c #Conflicts:      83000 | #Constraints:     668265
1638.05/1644.38	c #Conflicts:      84000 | #Constraints:     669265
1638.05/1644.38	c INPROCESSING
1638.05/1644.38	c GARBAGE COLLECT
1638.05/1644.38	c #Conflicts:      85000 | #Constraints:     664473
1638.05/1644.38	c #Conflicts:      86000 | #Constraints:     665473
1638.05/1644.38	c #Conflicts:      87000 | #Constraints:     666473
1638.05/1644.38	c #Conflicts:      88000 | #Constraints:     667473
1638.05/1644.38	c #Conflicts:      89000 | #Constraints:     668473
1638.05/1644.38	c #Conflicts:      90000 | #Constraints:     669473
1638.05/1644.38	c INPROCESSING
1638.05/1644.38	c GARBAGE COLLECT
1638.05/1644.38	c #Conflicts:      91000 | #Constraints:     664470
1638.05/1644.38	c #Conflicts:      92000 | #Constraints:     665470
1638.05/1644.38	c #Conflicts:      93000 | #Constraints:     666470
1638.05/1644.38	c #Conflicts:      94000 | #Constraints:     667470
1638.05/1644.38	c #Conflicts:      95000 | #Constraints:     668470
1638.05/1644.38	c #Conflicts:      96000 | #Constraints:     669470
1638.05/1644.38	c INPROCESSING
1638.05/1644.38	c GARBAGE COLLECT
1638.05/1644.38	c #Conflicts:      97000 | #Constraints:     664282
1638.05/1644.38	c #Conflicts:      98000 | #Constraints:     665282
2643.41/2652.93	c #Conflicts:      99000 | #Constraints:     666282
2643.41/2652.93	c #Conflicts:     100000 | #Constraints:     667282
2643.41/2652.93	c #Conflicts:     101000 | #Constraints:     668282
2643.41/2652.93	c #Conflicts:     102000 | #Constraints:     669282
2643.41/2652.93	c #Conflicts:     103000 | #Constraints:     670282
2643.41/2652.93	c INPROCESSING
2643.41/2652.93	c GARBAGE COLLECT
2643.41/2652.93	c #Conflicts:     104000 | #Constraints:     664874
2643.41/2652.93	c #Conflicts:     105000 | #Constraints:     665874
2643.41/2652.93	c #Conflicts:     106000 | #Constraints:     666874
2643.41/2652.93	c #Conflicts:     107000 | #Constraints:     667874
2643.41/2652.93	c #Conflicts:     108000 | #Constraints:     668874
2643.41/2652.93	c #Conflicts:     109000 | #Constraints:     669874
2643.41/2652.93	c #Conflicts:     110000 | #Constraints:     670874
2643.41/2652.93	c INPROCESSING
2643.41/2652.93	c GARBAGE COLLECT
2643.41/2652.93	c #Conflicts:     111000 | #Constraints:     665277
2643.41/2652.93	c #Conflicts:     112000 | #Constraints:     666277
2643.41/2652.93	c #Conflicts:     113000 | #Constraints:     667277
2643.41/2652.93	c #Conflicts:     114000 | #Constraints:     668277
2643.41/2652.93	c #Conflicts:     115000 | #Constraints:     669277
2643.41/2652.93	c #Conflicts:     116000 | #Constraints:     670277
2643.41/2652.93	c #Conflicts:     117000 | #Constraints:     671277
2643.41/2652.93	c INPROCESSING
2643.41/2652.93	c GARBAGE COLLECT
2643.41/2652.93	c #Conflicts:     118000 | #Constraints:     665474
2643.41/2652.93	c #Conflicts:     119000 | #Constraints:     666474
2643.41/2652.93	c #Conflicts:     120000 | #Constraints:     667474
2643.41/2652.93	c #Conflicts:     121000 | #Constraints:     668474
2643.41/2652.93	c #Conflicts:     122000 | #Constraints:     669474
2643.41/2652.93	c #Conflicts:     123000 | #Constraints:     670474
2643.41/2652.93	c #Conflicts:     124000 | #Constraints:     671474
2643.41/2652.93	c INPROCESSING
2643.41/2652.93	c GARBAGE COLLECT
2643.41/2652.93	c #Conflicts:     125000 | #Constraints:     665480
2643.41/2652.93	c #Conflicts:     126000 | #Constraints:     666480
2643.41/2652.93	c #Conflicts:     127000 | #Constraints:     667480
2643.41/2652.93	c #Conflicts:     128000 | #Constraints:     668480
2643.41/2652.93	c #Conflicts:     129000 | #Constraints:     669480
2643.41/2652.93	c #Conflicts:     130000 | #Constraints:     670480
2643.41/2652.93	c #Conflicts:     131000 | #Constraints:     671480
2643.41/2652.93	c INPROCESSING
2643.41/2652.93	c GARBAGE COLLECT
2643.41/2652.93	c #Conflicts:     132000 | #Constraints:     665275
2643.41/2652.93	c #Conflicts:     133000 | #Constraints:     666275
2643.41/2652.93	c GLOBAL bounds - >= 0 @ 2637.15
2901.65/2912.16	c #Conflicts:     134000 | #Constraints:     667277
2901.65/2912.16	c #Conflicts:     135000 | #Constraints:     668277
2901.65/2912.16	c #Conflicts:     136000 | #Constraints:     669277
2901.65/2912.16	c #Conflicts:     137000 | #Constraints:     670277
2901.65/2912.16	c #Conflicts:     138000 | #Constraints:     671277
2901.65/2912.16	c #Conflicts:     139000 | #Constraints:     672277
2901.65/2912.16	c INPROCESSING
2901.65/2912.16	c GARBAGE COLLECT
2901.65/2912.16	c #Conflicts:     140000 | #Constraints:     665880
2901.65/2912.16	c #Conflicts:     141000 | #Constraints:     666880
2901.65/2912.16	c #Conflicts:     142000 | #Constraints:     667880
2901.65/2912.16	c #Conflicts:     143000 | #Constraints:     668880
2901.65/2912.16	c #Conflicts:     144000 | #Constraints:     669880
2901.65/2912.16	c #Conflicts:     145000 | #Constraints:     670880
2901.65/2912.16	c #Conflicts:     146000 | #Constraints:     671880
2901.65/2912.16	c #Conflicts:     147000 | #Constraints:     672880
2901.65/2912.16	c INPROCESSING
2901.65/2912.16	c GARBAGE COLLECT
2901.65/2912.16	c GLOBAL bounds - >= 0 @ 2895.14
3600.06/3613.12	c #Conflicts:     148000 | #Constraints:     666287
3600.06/3613.12	c #Conflicts:     149000 | #Constraints:     667287
3600.06/3613.12	c #Conflicts:     150000 | #Constraints:     668287
3600.06/3613.12	c #Conflicts:     151000 | #Constraints:     669287
3600.06/3613.12	c #Conflicts:     152000 | #Constraints:     670287
3600.06/3613.12	c #Conflicts:     153000 | #Constraints:     671287
3600.06/3613.12	c #Conflicts:     154000 | #Constraints:     672287
3600.06/3613.12	c #Conflicts:     155000 | #Constraints:     673287
3600.06/3613.12	c INPROCESSING
3600.06/3613.12	c GARBAGE COLLECT
3600.06/3613.12	c #Conflicts:     156000 | #Constraints:     666481
3600.06/3613.12	c #Conflicts:     157000 | #Constraints:     667481
3600.06/3613.12	c #Conflicts:     158000 | #Constraints:     668481
3600.06/3613.12	c #Conflicts:     159000 | #Constraints:     669481
3600.06/3613.12	c #Conflicts:     160000 | #Constraints:     670481
3600.06/3613.12	c #Conflicts:     161000 | #Constraints:     671481
3600.06/3613.12	c #Conflicts:     162000 | #Constraints:     672481
3600.06/3613.12	c #Conflicts:     163000 | #Constraints:     673481
3600.06/3613.12	c INPROCESSING
3600.06/3613.12	c GARBAGE COLLECT
3600.06/3613.12	c #Conflicts:     164000 | #Constraints:     666474
3600.06/3613.12	c #Conflicts:     165000 | #Constraints:     667474
3600.06/3613.12	c #Conflicts:     166000 | #Constraints:     668474
3600.06/3613.12	c #Conflicts:     167000 | #Constraints:     669474
3600.06/3613.12	c #Conflicts:     168000 | #Constraints:     670474
3600.06/3613.12	c #Conflicts:     169000 | #Constraints:     671474
3600.06/3613.12	c #Conflicts:     170000 | #Constraints:     672474
3600.06/3613.12	c #Conflicts:     171000 | #Constraints:     673474
3600.06/3613.12	c INPROCESSING
3600.06/3613.12	c GARBAGE COLLECT
3600.06/3613.12	c #Conflicts:     172000 | #Constraints:     666270
3600.06/3613.12	c #Conflicts:     173000 | #Constraints:     667270
3600.06/3613.12	c #Conflicts:     174000 | #Constraints:     668270
3600.06/3613.12	c #Conflicts:     175000 | #Constraints:     669270
3600.06/3613.12	c #Conflicts:     176000 | #Constraints:     670270
3600.06/3613.12	c #Conflicts:     177000 | #Constraints:     671270
3600.06/3613.12	c #Conflicts:     178000 | #Constraints:     672270
3600.06/3613.12	c cpu time 3592.51 s
3600.06/3613.12	c deterministic time 1 1.00e+00
3600.06/3613.12	c optimization time 3590.08 s
3600.06/3613.12	c total solve time 0 s
3600.06/3613.12	c core-guided solve time 0 s
3600.06/3613.12	c propagation time 0.309714 s
3600.06/3613.12	c conflict analysis time 0 s
3600.06/3613.12	c propagations 0
3600.06/3613.12	c resolve steps 0
3600.06/3613.12	c decisions 0
3600.06/3613.12	c conflicts 0
3600.06/3613.12	c restarts 0
3600.06/3613.12	c inprocessing phases 0
3600.06/3613.12	c garbage collections 0 ,( -nan )
3600.06/3613.12	c input clauses 656900 ,( 100.00 )
3600.06/3613.12	c input cardinalities 0 ,( 0.00 )
3600.06/3613.12	c input general constraints 0 ,( 0.00 )
3600.06/3613.12	c input average constraint length 2.03
3600.06/3613.12	c input average constraint degree 1.00
3600.06/3613.12	c learned clauses 0 ,( 0.00 )
3600.06/3613.12	c learned cardinalities 0 ,( 0.00 )
3600.06/3613.12	c learned general constraints 0 ,( 0.00 )
3600.06/3613.12	c learned average constraint length 0.00
3600.06/3613.12	c learned average constraint degree 0.00
3600.06/3613.12	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.06/3613.12	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.06/3613.12	c watched   constraints 0 ,( -nan ) 
3600.06/3613.12	c counting  constraints 0 ,( -nan ) 
3600.06/3613.12	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.06/3613.12	c gcd simplifications 0
3600.06/3613.12	c detected cardinalities 0
3600.06/3613.12	c weakened non-implied lits 0
3600.06/3613.12	c weakened non-implying lits 0
3600.06/3613.12	c original variables 10000
3600.06/3613.12	c clausal propagations 0
3600.06/3613.12	c cardinality propagations 0
3600.06/3613.12	c watched propagations 0
3600.06/3613.12	c counting propagations 0
3600.06/3613.12	c watch lookups 0
3600.06/3613.12	c watch backjump lookups 0
3600.06/3613.12	c watch checks 0
3600.06/3613.12	c propagation checks 0
3600.06/3613.12	c constraint additions 0
3600.06/3613.12	c trail pops 0
3600.06/3613.12	c formula constraints 656900
3600.06/3613.12	c learned constraints 0
3600.06/3613.12	c bound constraints 0
3600.06/3613.12	c core-guided constraints 0
3600.06/3613.12	c encountered formula constraints 0
3600.06/3613.12	c encountered learned constraints 0
3600.06/3613.12	c encountered bound constraints 0
3600.06/3613.12	c encountered core-guided constraints 0
3600.06/3613.12	c LP total time 0 s
3600.06/3613.12	c LP solve time 0 s
3600.06/3613.12	c LP constraints added 0
3600.06/3613.12	c LP constraints removed 0
3600.06/3613.12	c LP pivots internal 0
3600.06/3613.12	c LP pivots root 0
3600.06/3613.12	c LP calls 0
3600.06/3613.12	c LP optimalities 0
3600.06/3613.12	c LP no pivot count 0
3600.06/3613.12	c LP infeasibilities 0
3600.06/3613.12	c LP valid Farkas constraints 0
3600.06/3613.12	c LP learned Farkas constraints 0
3600.06/3613.12	c LP basis resets 0
3600.06/3613.12	c LP cycling count 0
3600.06/3613.12	c LP singular count 0
3600.06/3613.12	c LP no primal count 0
3600.06/3613.12	c LP no farkas count 0
3600.06/3613.12	c LP other issue count 0
3600.06/3613.12	c LP Gomory cuts 0
3600.06/3613.12	c LP learned cuts 0
3600.06/3613.12	c LP deleted cuts 0
3600.06/3613.12	c LP encountered Gomory constraints 0
3600.06/3613.12	c LP encountered Farkas constraints 0
3600.06/3613.12	c LP encountered learned Farkas constraints 0
3600.06/3613.12	c CG auxiliary variables introduced 0
3600.06/3613.12	c CG solutions found 0
3600.06/3613.12	c CG cores constructed 0
3600.06/3613.12	c CG core cardinality constraints returned 0
3600.06/3613.12	c CG unit cores 0
3600.06/3613.12	c CG single cores 0
3600.06/3613.12	c CG blocks removed during cardinality reduction 0
3600.06/3613.12	c CG first core best 0
3600.06/3613.12	c CG decision core best 0
3600.06/3613.12	c CG core reduction tie 0
3600.06/3613.12	c CG core degree average 0.00
3600.06/3613.12	c CG core slack average 0.00
3600.06/3613.12	c CG core upper bound improvements 0
3600.06/3613.12	c STR number of successful calls 0
3600.06/3613.12	c STR number of unsuccessful calls 0
3600.06/3613.12	c STR number of inconclusive calls 0
3600.06/3613.12	c STR number of successful attempts 0
3600.06/3613.12	c STR number of unsuccessful attempts 0
3600.06/3613.12	c STR number of inconclusive attempts 0
3600.06/3613.12	c STR average degree increase per successful call inf
3600.06/3613.12	c STR average degree increase per successful attempt inf
3600.06/3613.12	c STR total number of conflicts for successful attempts 0
3600.06/3613.12	c STR total number of conflicts for unsuccessful attempts 0
3600.06/3613.12	c STR total number of conflicts for inconclusive attempts 0
3600.06/3613.12	c STR average number of conflicts per successful attempt inf
3600.06/3613.12	c STR average number of conflicts per unsuccessful attempt inf
3600.06/3613.12	c STR average number of conflicts per inconclusive attempt inf
3600.06/3613.12	c AVG.sumWPerc -nan 
3600.06/3613.12	c bigint constraints 0 
3600.06/3613.12	s UNKNOWN
3600.06/3613.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: 63794 MiB (63029 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-4489598-1751361724/watcher-4489598-1751361724 -o /tmp/evaluation-result-4489598-1751361724/solver-4489598-1751361724 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751361724-50467 --watchdog 3760 run-opt.sh HOME/instance-4489598-1751361724.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=50512, runsolver pid=50506
Current StackSize limit: 8192 KiB


[startup+0.10007 s]*
/proc/loadavg: 1.07 1.11 1.79 5/256 50529
/proc/meminfo: memFree=130009696/131382120 swapFree=33010416/33010684
[pid=50512] ppid=50506 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/50512/stat : 50512 (run-opt.sh) S 50506 50512 50456 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51851791 4292608 736 18446744073709551615 93838394130432 93838395024965 140737464217456 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93838395264016 93838395311760 93838427099136 140737464224109 140737464224232 140737464224232 140737464229834 0
/proc/50512/statm: 1048 736 672 219 0 110 0
[pid=50522] ppid=50512 vsize=57816 memory=12800 CPUtime=0.06 cores=4,6
/proc/50522/stat : 50522 (roundingsat) R 50512 50512 50456 0 -1 4194304 1394 0 0 0 3 3 0 0 20 0 1 0 51851792 59203584 3200 18446744073709551615 4227072 8923433 140721559248512 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 28299264 140721559251362 140721559251496 140721559251496 140721559257066 0
/proc/50522/statm: 14454 3200 1888 1147 0 1881 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 62008 KiB
Current children cumulated memory: 15744 KiB

[startup+0.217674 s]*
/proc/loadavg: 1.07 1.11 1.79 6/256 50529
/proc/meminfo: memFree=130008184/131382120 swapFree=33010416/33010684
[pid=50512] ppid=50506 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/50512/stat : 50512 (run-opt.sh) S 50506 50512 50456 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51851791 4292608 736 18446744073709551615 93838394130432 93838395024965 140737464217456 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93838395264016 93838395311760 93838427099136 140737464224109 140737464224232 140737464224232 140737464229834 0
/proc/50512/statm: 1048 736 672 219 0 110 0
[pid=50522] ppid=50512 vsize=58764 memory=13696 CPUtime=0.16 cores=4,6
/proc/50522/stat : 50522 (roundingsat) R 50512 50512 50456 0 -1 4194304 1629 0 0 0 11 5 0 0 20 0 1 0 51851792 60174336 3424 18446744073709551615 4227072 8923433 140721559248512 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 28299264 140721559251362 140721559251496 140721559251496 140721559257066 0
/proc/50522/statm: 14691 3424 1888 1147 0 2118 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 62956 KiB
Current children cumulated memory: 16640 KiB

[startup+0.31249 s]*
/proc/loadavg: 1.07 1.11 1.79 6/256 50529
/proc/meminfo: memFree=130004908/131382120 swapFree=33010416/33010684
[pid=50512] ppid=50506 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/50512/stat : 50512 (run-opt.sh) S 50506 50512 50456 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51851791 4292608 736 18446744073709551615 93838394130432 93838395024965 140737464217456 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93838395264016 93838395311760 93838427099136 140737464224109 140737464224232 140737464224232 140737464229834 0
/proc/50512/statm: 1048 736 672 219 0 110 0
[pid=50522] ppid=50512 vsize=59668 memory=14336 CPUtime=0.24 cores=4,6
/proc/50522/stat : 50522 (roundingsat) R 50512 50512 50456 0 -1 4194304 1798 0 0 0 16 8 0 0 20 0 1 0 51851792 61100032 3584 18446744073709551615 4227072 8923433 140721559248512 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 28299264 140721559251362 140721559251496 140721559251496 140721559257066 0
/proc/50522/statm: 14917 3584 1888 1147 0 2344 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 63860 KiB
Current children cumulated memory: 17280 KiB

[startup+0.700236 s]
/proc/loadavg: 1.07 1.11 1.79 5/256 50529
/proc/meminfo: memFree=129993680/131382120 swapFree=33010416/33010684
[pid=50512] ppid=50506 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/50512/stat : 50512 (run-opt.sh) S 50506 50512 50456 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51851791 4292608 736 18446744073709551615 93838394130432 93838395024965 140737464217456 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93838395264016 93838395311760 93838427099136 140737464224109 140737464224232 140737464224232 140737464229834 0
/proc/50512/statm: 1048 736 672 219 0 110 0
[pid=50522] ppid=50512 vsize=63688 memory=20460 CPUtime=0.6 cores=4,6
/proc/50522/stat : 50522 (roundingsat) R 50512 50512 50456 0 -1 4194304 2808 0 0 0 39 21 0 0 20 0 1 0 51851792 65216512 5115 18446744073709551615 4227072 8923433 140721559248512 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 28299264 140721559251362 140721559251496 140721559251496 140721559257066 0
/proc/50522/statm: 15922 5115 1888 1147 0 3349 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 67880 KiB
Current children cumulated memory: 23404 KiB

[startup+1.50024 s]
/proc/loadavg: 1.30 1.16 1.80 5/256 50529
/proc/meminfo: memFree=129961600/131382120 swapFree=33010416/33010684
[pid=50512] ppid=50506 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/50512/stat : 50512 (run-opt.sh) S 50506 50512 50456 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51851791 4292608 736 18446744073709551615 93838394130432 93838395024965 140737464217456 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93838395264016 93838395311760 93838427099136 140737464224109 140737464224232 140737464224232 140737464229834 0
/proc/50512/statm: 1048 736 672 219 0 110 0
[pid=50522] ppid=50512 vsize=93436 memory=43244 CPUtime=1.38 cores=4,6
/proc/50522/stat : 50522 (roundingsat) R 50512 50512 50456 0 -1 4194304 9074 0 0 0 92 46 0 0 20 0 1 0 51851792 95678464 10811 18446744073709551615 4227072 8923433 140721559248512 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 28299264 140721559251362 140721559251496 140721559251496 140721559257066 0
/proc/50522/statm: 23359 10811 1888 1147 0 10786 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 97628 KiB
Current children cumulated memory: 46188 KiB

[startup+3.10554 s]
/proc/loadavg: 1.30 1.16 1.80 5/256 50529
/proc/meminfo: memFree=128665964/131382120 swapFree=33010416/33010684
[pid=50512] ppid=50506 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/50512/stat : 50512 (run-opt.sh) S 50506 50512 50456 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51851791 4292608 736 18446744073709551615 93838394130432 93838395024965 140737464217456 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93838395264016 93838395311760 93838427099136 140737464224109 140737464224232 140737464224232 140737464229834 0
/proc/50512/statm: 1048 736 672 219 0 110 0
[pid=50522] ppid=50512 vsize=439580 memory=352440 CPUtime=2.97 cores=4,6
/proc/50522/stat : 50522 (roundingsat) R 50512 50512 50456 0 -1 4194304 27666 0 0 0 210 87 0 0 20 0 1 0 51851792 450129920 88110 18446744073709551615 4227072 8923433 140721559248512 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 28299264 140721559251362 140721559251496 140721559251496 140721559257066 0
/proc/50522/statm: 109895 88110 2240 1147 0 97322 0
Current children cumulated CPU time: 2.97 s
Current children cumulated vsize: 443772 KiB
Current children cumulated memory: 355384 KiB

[startup+6.30023 s]
/proc/loadavg: 1.60 1.22 1.82 5/256 50529
/proc/meminfo: memFree=126254736/131382120 swapFree=33010416/33010684
[pid=50512] ppid=50506 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/50512/stat : 50512 (run-opt.sh) S 50506 50512 50456 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51851791 4292608 736 18446744073709551615 93838394130432 93838395024965 140737464217456 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93838395264016 93838395311760 93838427099136 140737464224109 140737464224232 140737464224232 140737464229834 0
/proc/50512/statm: 1048 736 672 219 0 110 0
[pid=50522] ppid=50512 vsize=1195948 memory=934352 CPUtime=6.14 cores=4,6
/proc/50522/stat : 50522 (roundingsat) R 50512 50512 50456 0 -1 4194304 131081 0 0 0 455 159 0 0 20 0 1 0 51851792 1224650752 233588 18446744073709551615 4227072 8923433 140721559248512 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28299264 140721559251362 140721559251496 140721559251496 140721559257066 0
/proc/50522/statm: 298987 233588 2368 1147 0 286414 0
Current children cumulated CPU time: 6.14 s
Current children cumulated vsize: 1200140 KiB
Current children cumulated memory: 937296 KiB

[startup+12.7004 s]
/proc/loadavg: 1.79 1.27 1.83 5/257 50531
/proc/meminfo: memFree=126092844/131382120 swapFree=33010416/33010684
[pid=50512] ppid=50506 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/50512/stat : 50512 (run-opt.sh) S 50506 50512 50456 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51851791 4292608 736 18446744073709551615 93838394130432 93838395024965 140737464217456 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93838395264016 93838395311760 93838427099136 140737464224109 140737464224232 140737464224232 140737464229834 0
/proc/50512/statm: 1048 736 672 219 0 110 0
[pid=50522] ppid=50512 vsize=1276856 memory=992900 CPUtime=12.52 cores=4,6
/proc/50522/stat : 50522 (roundingsat) R 50512 50512 50456 0 -1 4194304 132434 0 0 0 1058 194 0 0 20 0 1 0 51851792 1307500544 248225 18446744073709551615 4227072 8923433 140721559248512 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28299264 140721559251362 140721559251496 140721559251496 140721559257066 0
/proc/50522/statm: 319214 248225 2368 1147 0 306641 0
Current children cumulated CPU time: 12.52 s
Current children cumulated vsize: 1281048 KiB
Current children cumulated memory: 995844 KiB

[startup+25.5004 s]
/proc/loadavg: 2.13 1.36 1.85 5/257 50531
/proc/meminfo: memFree=125448948/131382120 swapFree=33010416/33010684
[pid=50512] ppid=50506 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/50512/stat : 50512 (run-opt.sh) S 50506 50512 50456 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51851791 4292608 736 18446744073709551615 93838394130432 93838395024965 140737464217456 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93838395264016 93838395311760 93838427099136 140737464224109 140737464224232 140737464224232 140737464229834 0
/proc/50512/statm: 1048 736 672 219 0 110 0
[pid=50522] ppid=50512 vsize=1487728 memory=1171496 CPUtime=25.28 cores=4,6
/proc/50522/stat : 50522 (roundingsat) R 50512 50512 50456 0 -1 4194304 156732 0 0 0 2296 232 0 0 20 0 1 0 51851792 1523433472 292874 18446744073709551615 4227072 8923433 140721559248512 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28299264 140721559251362 140721559251496 140721559251496 140721559257066 0
/proc/50522/statm: 371932 292874 2368 1147 0 359359 0
Current children cumulated CPU time: 25.28 s
Current children cumulated vsize: 1491920 KiB
Current children cumulated memory: 1174440 KiB

[startup+51.1131 s]
/proc/loadavg: 2.99 1.65 1.93 5/257 50531
/proc/meminfo: memFree=124605392/131382120 swapFree=33010416/33010684
[pid=50512] ppid=50506 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/50512/stat : 50512 (run-opt.sh) S 50506 50512 50456 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51851791 4292608 736 18446744073709551615 93838394130432 93838395024965 140737464217456 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93838395264016 93838395311760 93838427099136 140737464224109 140737464224232 140737464224232 140737464229834 0
/proc/50512/statm: 1048 736 672 219 0 110 0
[pid=50522] ppid=50512 vsize=1723292 memory=1300096 CPUtime=50.81 cores=4,6
/proc/50522/stat : 50522 (roundingsat) R 50512 50512 50456 0 -1 4194304 177629 0 0 0 4835 246 0 0 20 0 1 0 51851792 1764651008 325024 18446744073709551615 4227072 8923433 140721559248512 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28299264 140721559251362 140721559251496 140721559251496 140721559257066 0
/proc/50522/statm: 430823 325024 2368 1147 0 418250 0
Current children cumulated CPU time: 50.81 s
Current children cumulated vsize: 1727484 KiB
Current children cumulated memory: 1303040 KiB

[startup+102.3 s]
/proc/loadavg: 3.62 2.03 2.05 5/259 50535
/proc/meminfo: memFree=123980904/131382120 swapFree=33010416/33010684
[pid=50512] ppid=50506 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/50512/stat : 50512 (run-opt.sh) S 50506 50512 50456 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51851791 4292608 736 18446744073709551615 93838394130432 93838395024965 140737464217456 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93838395264016 93838395311760 93838427099136 140737464224109 140737464224232 140737464224232 140737464229834 0
/proc/50512/statm: 1048 736 672 219 0 110 0
[pid=50522] ppid=50512 vsize=1913148 memory=1473144 CPUtime=101.83 cores=4,6
/proc/50522/stat : 50522 (roundingsat) R 50512 50512 50456 0 -1 4194304 209163 0 0 0 9916 267 0 0 20 0 1 0 51851792 1959063552 368286 18446744073709551615 4227072 8923433 140721559248512 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28299264 140721559251362 140721559251496 140721559251496 140721559257066 0
/proc/50522/statm: 478287 368286 2368 1147 0 465714 0
Current children cumulated CPU time: 101.83 s
Current children cumulated vsize: 1917340 KiB
Current children cumulated memory: 1476088 KiB

[startup+162.3 s]
/proc/loadavg: 3.90 2.40 2.18 5/259 50537
/proc/meminfo: memFree=123617060/131382120 swapFree=33010416/33010684
[pid=50512] ppid=50506 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/50512/stat : 50512 (run-opt.sh) S 50506 50512 50456 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51851791 4292608 736 18446744073709551615 93838394130432 93838395024965 140737464217456 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93838395264016 93838395311760 93838427099136 140737464224109 140737464224232 140737464224232 140737464229834 0
/proc/50512/statm: 1048 736 672 219 0 110 0
[pid=50522] ppid=50512 vsize=1935424 memory=1507884 CPUtime=161.62 cores=4,6
/proc/50522/stat : 50522 (roundingsat) R 50512 50512 50456 0 -1 4194304 214788 0 0 0 15883 279 0 0 20 0 1 0 51851792 1981874176 376971 18446744073709551615 4227072 8923433 140721559248512 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28299264 140721559251362 140721559251496 140721559251496 140721559257066 0
/proc/50522/statm: 483856 376971 2368 1147 0 471283 0
Current children cumulated CPU time: 161.62 s
Current children cumulated vsize: 1939616 KiB
Current children cumulated memory: 1510828 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 2.73 2.31 5/260 50546
/proc/meminfo: memFree=123365648/131382120 swapFree=33010416/33010684
[pid=50512] ppid=50506 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/50512/stat : 50512 (run-opt.sh) S 50506 50512 50456 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51851791 4292608 736 18446744073709551615 93838394130432 93838395024965 140737464217456 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93838395264016 93838395311760 93838427099136 140737464224109 140737464224232 140737464224232 140737464229834 0
/proc/50512/statm: 1048 736 672 219 0 110 0
[pid=50522] ppid=50512 vsize=1979340 memory=1589364 CPUtime=221.39 cores=4,6
/proc/50522/stat : 50522 (roundingsat) R 50512 50512 50456 0 -1 4194304 226021 0 0 0 21839 300 0 0 20 0 1 0 51851792 2026844160 397341 18446744073709551615 4227072 8923433 140721559248512 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28299264 140721559251362 140721559251496 140721559251496 140721559257066 0
/proc/50522/statm: 494835 397341 2368 1147 0 482262 0
Current children cumulated CPU time: 221.39 s

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

[pid=50522] ppid=50512 vsize=2895536 memory=2483784 CPUtime=3091.13 cores=4,6
/proc/50522/stat : 50522 (roundingsat) R 50512 50512 50456 0 -1 4194304 372519 0 0 0 308423 690 0 0 20 0 1 0 51851792 2965028864 620946 18446744073709551615 4227072 8923433 140721559248512 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28299264 140721559251362 140721559251496 140721559251496 140721559257066 0
/proc/50522/statm: 723884 620946 2368 1147 0 711311 0
Current children cumulated CPU time: 3091.13 s
Current children cumulated vsize: 2899728 KiB
Current children cumulated memory: 2486728 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.08 4.02 6/254 50697
/proc/meminfo: memFree=119310740/131382120 swapFree=33010416/33010684
[pid=50512] ppid=50506 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/50512/stat : 50512 (run-opt.sh) S 50506 50512 50456 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51851791 4292608 736 18446744073709551615 93838394130432 93838395024965 140737464217456 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93838395264016 93838395311760 93838427099136 140737464224109 140737464224232 140737464224232 140737464229834 0
/proc/50512/statm: 1048 736 672 219 0 110 0
[pid=50522] ppid=50512 vsize=2895536 memory=2483784 CPUtime=3150.9 cores=4,6
/proc/50522/stat : 50522 (roundingsat) R 50512 50512 50456 0 -1 4194304 372672 0 0 0 314390 700 0 0 20 0 1 0 51851792 2965028864 620946 18446744073709551615 4227072 8923433 140721559248512 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28299264 140721559251362 140721559251496 140721559251496 140721559257066 0
/proc/50522/statm: 723884 620946 2368 1147 0 711311 0
Current children cumulated CPU time: 3150.9 s
Current children cumulated vsize: 2899728 KiB
Current children cumulated memory: 2486728 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.09 4.03 5/255 50706
/proc/meminfo: memFree=119264936/131382120 swapFree=33010416/33010684
[pid=50512] ppid=50506 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/50512/stat : 50512 (run-opt.sh) S 50506 50512 50456 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51851791 4292608 736 18446744073709551615 93838394130432 93838395024965 140737464217456 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93838395264016 93838395311760 93838427099136 140737464224109 140737464224232 140737464224232 140737464229834 0
/proc/50512/statm: 1048 736 672 219 0 110 0
[pid=50522] ppid=50512 vsize=2895536 memory=2483784 CPUtime=3210.68 cores=4,6
/proc/50522/stat : 50522 (roundingsat) R 50512 50512 50456 0 -1 4194304 372722 0 0 0 320361 707 0 0 20 0 1 0 51851792 2965028864 620946 18446744073709551615 4227072 8923433 140721559248512 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28299264 140721559251362 140721559251496 140721559251496 140721559257066 0
/proc/50522/statm: 723884 620946 2368 1147 0 711311 0
Current children cumulated CPU time: 3210.68 s
Current children cumulated vsize: 2899728 KiB
Current children cumulated memory: 2486728 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.09 4.03 5/255 50709
/proc/meminfo: memFree=119290612/131382120 swapFree=33010416/33010684
[pid=50512] ppid=50506 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/50512/stat : 50512 (run-opt.sh) S 50506 50512 50456 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51851791 4292608 736 18446744073709551615 93838394130432 93838395024965 140737464217456 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93838395264016 93838395311760 93838427099136 140737464224109 140737464224232 140737464224232 140737464229834 0
/proc/50512/statm: 1048 736 672 219 0 110 0
[pid=50522] ppid=50512 vsize=2895720 memory=2494832 CPUtime=3270.47 cores=4,6
/proc/50522/stat : 50522 (roundingsat) R 50512 50512 50456 0 -1 4194304 374025 0 0 0 326332 715 0 0 20 0 1 0 51851792 2965217280 623708 18446744073709551615 4227072 8923433 140721559248512 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28299264 140721559251362 140721559251496 140721559251496 140721559257066 0
/proc/50522/statm: 723930 623708 2368 1147 0 711357 0
Current children cumulated CPU time: 3270.47 s
Current children cumulated vsize: 2899912 KiB
Current children cumulated memory: 2497776 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.09 4.03 5/255 50711
/proc/meminfo: memFree=119260836/131382120 swapFree=33010416/33010684
[pid=50512] ppid=50506 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/50512/stat : 50512 (run-opt.sh) S 50506 50512 50456 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51851791 4292608 736 18446744073709551615 93838394130432 93838395024965 140737464217456 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93838395264016 93838395311760 93838427099136 140737464224109 140737464224232 140737464224232 140737464229834 0
/proc/50512/statm: 1048 736 672 219 0 110 0
[pid=50522] ppid=50512 vsize=2895720 memory=2494832 CPUtime=3330.24 cores=4,6
/proc/50522/stat : 50522 (roundingsat) R 50512 50512 50456 0 -1 4194304 374142 0 0 0 332301 723 0 0 20 0 1 0 51851792 2965217280 623708 18446744073709551615 4227072 8923433 140721559248512 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28299264 140721559251362 140721559251496 140721559251496 140721559257066 0
/proc/50522/statm: 723930 623708 2368 1147 0 711357 0
Current children cumulated CPU time: 3330.24 s
Current children cumulated vsize: 2899912 KiB
Current children cumulated memory: 2497776 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.10 4.04 5/255 50713
/proc/meminfo: memFree=119196744/131382120 swapFree=33010416/33010684
[pid=50512] ppid=50506 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/50512/stat : 50512 (run-opt.sh) S 50506 50512 50456 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51851791 4292608 736 18446744073709551615 93838394130432 93838395024965 140737464217456 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93838395264016 93838395311760 93838427099136 140737464224109 140737464224232 140737464224232 140737464229834 0
/proc/50512/statm: 1048 736 672 219 0 110 0
[pid=50522] ppid=50512 vsize=2895720 memory=2494832 CPUtime=3390.02 cores=4,6
/proc/50522/stat : 50522 (roundingsat) R 50512 50512 50456 0 -1 4194304 374225 0 0 0 338271 731 0 0 20 0 1 0 51851792 2965217280 623708 18446744073709551615 4227072 8923433 140721559248512 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28299264 140721559251362 140721559251496 140721559251496 140721559257066 0
/proc/50522/statm: 723930 623708 2368 1147 0 711357 0
Current children cumulated CPU time: 3390.02 s
Current children cumulated vsize: 2899912 KiB
Current children cumulated memory: 2497776 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.04 5/255 50715
/proc/meminfo: memFree=119156660/131382120 swapFree=33010416/33010684
[pid=50512] ppid=50506 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/50512/stat : 50512 (run-opt.sh) S 50506 50512 50456 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51851791 4292608 736 18446744073709551615 93838394130432 93838395024965 140737464217456 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93838395264016 93838395311760 93838427099136 140737464224109 140737464224232 140737464224232 140737464229834 0
/proc/50512/statm: 1048 736 672 219 0 110 0
[pid=50522] ppid=50512 vsize=2895720 memory=2495088 CPUtime=3449.8 cores=4,6
/proc/50522/stat : 50522 (roundingsat) R 50512 50512 50456 0 -1 4194304 374312 0 0 0 344243 737 0 0 20 0 1 0 51851792 2965217280 623772 18446744073709551615 4227072 8923433 140721559248512 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28299264 140721559251362 140721559251496 140721559251496 140721559257066 0
/proc/50522/statm: 723930 623772 2368 1147 0 711357 0
Current children cumulated CPU time: 3449.8 s
Current children cumulated vsize: 2899912 KiB
Current children cumulated memory: 2498032 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.09 4.04 5/254 50717
/proc/meminfo: memFree=119150172/131382120 swapFree=33010416/33010684
[pid=50512] ppid=50506 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/50512/stat : 50512 (run-opt.sh) S 50506 50512 50456 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51851791 4292608 736 18446744073709551615 93838394130432 93838395024965 140737464217456 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93838395264016 93838395311760 93838427099136 140737464224109 140737464224232 140737464224232 140737464229834 0
/proc/50512/statm: 1048 736 672 219 0 110 0
[pid=50522] ppid=50512 vsize=2895720 memory=2495088 CPUtime=3509.57 cores=4,6
/proc/50522/stat : 50522 (roundingsat) R 50512 50512 50456 0 -1 4194304 374312 0 0 0 350212 745 0 0 20 0 1 0 51851792 2965217280 623772 18446744073709551615 4227072 8923433 140721559248512 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28299264 140721559251362 140721559251496 140721559251496 140721559257066 0
/proc/50522/statm: 723930 623772 2368 1147 0 711357 0
Current children cumulated CPU time: 3509.57 s
Current children cumulated vsize: 2899912 KiB
Current children cumulated memory: 2498032 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.04 5/253 50719
/proc/meminfo: memFree=119149324/131382120 swapFree=33010416/33010684
[pid=50512] ppid=50506 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/50512/stat : 50512 (run-opt.sh) S 50506 50512 50456 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51851791 4292608 736 18446744073709551615 93838394130432 93838395024965 140737464217456 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93838395264016 93838395311760 93838427099136 140737464224109 140737464224232 140737464224232 140737464229834 0
/proc/50512/statm: 1048 736 672 219 0 110 0
[pid=50522] ppid=50512 vsize=2895720 memory=2495088 CPUtime=3569.36 cores=4,6
/proc/50522/stat : 50522 (roundingsat) R 50512 50512 50456 0 -1 4194304 374505 0 0 0 356183 753 0 0 20 0 1 0 51851792 2965217280 623772 18446744073709551615 4227072 8923433 140721559248512 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28299264 140721559251362 140721559251496 140721559251496 140721559257066 0
/proc/50522/statm: 723930 623772 2368 1147 0 711357 0
Current children cumulated CPU time: 3569.36 s
Current children cumulated vsize: 2899912 KiB
Current children cumulated memory: 2498032 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.11 s]
/proc/loadavg: 4.14 4.10 4.04 4/243 50773
/proc/meminfo: memFree=127520116/131382120 swapFree=33010416/33010684
[pid=50512] ppid=50506 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/50512/stat : 50512 (run-opt.sh) S 50506 50512 50456 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 51851791 4292608 736 18446744073709551615 93838394130432 93838395024965 140737464217456 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93838395264016 93838395311760 93838427099136 140737464224109 140737464224232 140737464224232 140737464229834 0
/proc/50512/statm: 1048 736 672 219 0 110 0
[pid=50522] ppid=50512 vsize=2895720 memory=2495088 CPUtime=3600.06 cores=4,6
/proc/50522/stat : 50522 (roundingsat) R 50512 50512 50456 0 -1 4194304 374526 0 0 0 359250 756 0 0 20 0 1 0 51851792 2965217280 623772 18446744073709551615 4227072 8923433 140721559248512 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28299264 140721559251362 140721559251496 140721559251496 140721559257066 0
/proc/50522/statm: 723930 623772 2368 1147 0 711357 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 2899912 KiB
Current children cumulated memory: 2498032 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.00078 s, system=0.003903 s

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

# cumulated CPU time of all completed processes:  user=3592.6 s, system=7.63612 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+3613.2 s]*
/proc/loadavg: 4.14 4.10 4.04 2/241 50805
/proc/meminfo: memFree=129127996/131382120 swapFree=33010416/33010684
[pid=50522] ppid=50506 vsize=1138444 memory=891220 CPUtime=3600.15 cores=4,6
/proc/50522/stat : 50522 (roundingsat) R 50506 50512 50456 0 -1 4194304 374563 0 0 0 359254 761 0 0 20 0 1 0 51851792 1165766656 222805 18446744073709551615 4227072 8923433 140721559248512 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28299264 140721559251362 140721559251496 140721559251496 140721559257066 0
/proc/50522/statm: 284611 222805 2464 1147 0 272038 0
Current cumulated CPU time of completed processes: 0.004683 s
Current children cumulated CPU time: 3600.15 s
Current children cumulated vsize: 1138444 KiB
Current children cumulated memory: 891220 KiB

Child status: 2

Real time (s): 3613.28
CPU time (s): 3600.24
CPU user time (s): 3592.6
CPU system time (s): 7.63612
CPU usage (%): 99.639
Max. virtual memory (cumulated for all children) (KiB): 2899912
Max. memory (cumulated for all children) (KiB): 2498032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.6
system time used= 7.63612
maximum resident set size= 2495472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 374967
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= 243
involuntary context switches= 19244


# summary of solver processes directly reported to runsolver:
#   pid: 50512,50522
#   total CPU time (s): 3600.24
#   total CPU user time (s): 3592.6
#   total CPU system time (s): 7.63612

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.5636 second user time and 36.0696 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2025-07-01 11:22:04
IDJOB=4489598
IDBENCH=147558
IDSOLVER=3350
FILE ID=nodeC006/4489598-1751361724
RUNJOBID= nodeC006-1751361724-50467
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_0.opb.PB06.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489598-1751361724/watcher-4489598-1751361724 -o /tmp/evaluation-result-4489598-1751361724/solver-4489598-1751361724 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751361724-50467 --watchdog 3760  run-opt.sh HOME/instance-4489598-1751361724.opb

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.082
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:     330428 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= 433036 MiB
End job on nodeC006 at 2025-07-01 12:22:18