Trace number 4489690

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.16 3610.27

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb
MD5SUMac2beb72083c40d036c40a53754bf1b9
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 benchmark255
Best CPU time to get the best result obtained on this benchmark30252.2
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 494728
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 494728
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.33/3.48	c #variables 10000 #constraints 656900
3.33/3.48	c objective is ce32 
4.73/4.85	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
4.73/4.85	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
4.73/4.85	c GLOBAL bounds - >= 0 @ 3.25735
4.94/5.10	c GLOBAL bounds - >= 0 @ 3.49221
4.94/5.11	c GLOBAL bounds - >= 0 @ 3.49698
5.04/5.12	c GLOBAL bounds - >= 0 @ 3.50472
5.04/5.13	c GLOBAL bounds - >= 0 @ 3.51079
5.04/5.13	c GLOBAL bounds - >= 0 @ 3.51655
5.04/5.14	c GLOBAL bounds - >= 0 @ 3.52254
5.04/5.15	c GLOBAL bounds - >= 0 @ 3.53138
5.04/5.16	c GLOBAL bounds - >= 0 @ 3.53891
5.04/5.16	c GLOBAL bounds - >= 0 @ 3.54528
5.04/5.17	c GLOBAL bounds - >= 0 @ 3.54973
5.04/5.18	c GLOBAL bounds - >= 0 @ 3.55701
5.04/5.18	c GLOBAL bounds - >= 0 @ 3.56159
5.13/5.20	c GLOBAL bounds - >= 0 @ 3.5751
5.13/5.22	c GLOBAL bounds - >= 0 @ 3.59361
5.13/5.24	c GLOBAL bounds - >= 0 @ 3.61484
5.13/5.26	c GLOBAL bounds - >= 0 @ 3.62866
5.13/5.26	c GLOBAL bounds - >= 0 @ 3.63221
5.13/5.28	c GLOBAL bounds - >= 0 @ 3.64589
5.22/5.30	c GLOBAL bounds - >= 0 @ 3.67298
5.32/5.49	c GLOBAL bounds - >= 0 @ 3.85333
5.42/5.53	c GLOBAL bounds - >= 0 @ 3.89149
5.42/5.53	c GLOBAL bounds - >= 0 @ 3.89985
5.42/5.58	c GLOBAL bounds - >= 0 @ 3.94046
5.53/5.60	c GLOBAL bounds - >= 0 @ 3.96863
5.53/5.62	c GLOBAL bounds - >= 0 @ 3.98371
5.53/5.63	c GLOBAL bounds - >= 0 @ 3.99293
5.53/5.64	c GLOBAL bounds - >= 0 @ 3.99936
5.53/5.65	c GLOBAL bounds - >= 0 @ 4.00405
5.53/5.65	c GLOBAL bounds - >= 0 @ 4.01077
5.53/5.66	c GLOBAL bounds - >= 0 @ 4.02116
5.53/5.67	c GLOBAL bounds - >= 0 @ 4.02983
5.53/5.68	c GLOBAL bounds - >= 0 @ 4.0397
5.53/5.69	c GLOBAL bounds - >= 0 @ 4.0502
5.62/5.70	c GLOBAL bounds - >= 0 @ 4.05797
5.62/5.71	c GLOBAL bounds - >= 0 @ 4.06763
5.62/5.73	c GLOBAL bounds - >= 0 @ 4.08225
5.62/5.74	c GLOBAL bounds - >= 0 @ 4.09424
5.62/5.75	c GLOBAL bounds - >= 0 @ 4.10584
5.62/5.76	c GLOBAL bounds - >= 0 @ 4.1143
5.62/5.78	c GLOBAL bounds - >= 0 @ 4.12468
5.62/5.78	c GLOBAL bounds - >= 0 @ 4.13047
5.72/5.80	c GLOBAL bounds - >= 0 @ 4.14268
5.72/5.81	c GLOBAL bounds - >= 0 @ 4.15484
5.72/5.82	c GLOBAL bounds - >= 0 @ 4.16621
5.72/5.83	c GLOBAL bounds - >= 0 @ 4.1749
5.72/5.84	c GLOBAL bounds - >= 0 @ 4.17889
5.72/5.85	c GLOBAL bounds - >= 0 @ 4.18955
5.72/5.87	c GLOBAL bounds - >= 0 @ 4.20271
5.72/5.88	c GLOBAL bounds - >= 0 @ 4.21323
5.83/5.90	c GLOBAL bounds - >= 0 @ 4.2335
5.83/5.91	c GLOBAL bounds - >= 0 @ 4.24405
5.83/5.93	c GLOBAL bounds - >= 0 @ 4.25718
5.83/5.94	c GLOBAL bounds - >= 0 @ 4.26883
5.83/5.95	c GLOBAL bounds - >= 0 @ 4.27427
5.83/5.96	c GLOBAL bounds - >= 0 @ 4.28693
5.83/5.97	c GLOBAL bounds - >= 0 @ 4.29702
5.83/5.99	c GLOBAL bounds - >= 0 @ 4.3073
5.83/6.00	c GLOBAL bounds - >= 0 @ 4.31536
5.94/6.08	c GLOBAL bounds - >= 0 @ 4.40077
5.94/6.10	c GLOBAL bounds - >= 0 @ 4.4149
6.04/6.11	c GLOBAL bounds - >= 0 @ 4.42286
6.04/6.12	c GLOBAL bounds - >= 0 @ 4.42901
6.04/6.13	c GLOBAL bounds - >= 0 @ 4.43816
6.04/6.14	c GLOBAL bounds - >= 0 @ 4.44523
6.04/6.15	c GLOBAL bounds - >= 0 @ 4.45799
6.04/6.16	c GLOBAL bounds - >= 0 @ 4.4641
6.04/6.17	c GLOBAL bounds - >= 0 @ 4.47239
6.04/6.18	c GLOBAL bounds - >= 0 @ 4.47789
6.04/6.18	c GLOBAL bounds - >= 0 @ 4.48451
6.12/6.22	c #Conflicts:       1000 | #Constraints:     658036
6.12/6.22	c GLOBAL bounds - >= 0 @ 4.51748
6.12/6.25	c GLOBAL bounds - >= 0 @ 4.54406
6.12/6.26	c GLOBAL bounds - >= 0 @ 4.55363
6.12/6.27	c GLOBAL bounds - >= 0 @ 4.55936
6.12/6.28	c GLOBAL bounds - >= 0 @ 4.56918
6.12/6.30	c GLOBAL bounds - >= 0 @ 4.58674
6.23/6.31	c GLOBAL bounds - >= 0 @ 4.59585
6.23/6.32	c GLOBAL bounds - >= 0 @ 4.60382
6.23/6.33	c GLOBAL bounds - >= 0 @ 4.61155
6.23/6.34	c GLOBAL bounds - >= 0 @ 4.62747
6.23/6.36	c GLOBAL bounds - >= 0 @ 4.63995
6.23/6.37	c GLOBAL bounds - >= 0 @ 4.65202
6.23/6.38	c GLOBAL bounds - >= 0 @ 4.66486
6.32/6.40	c GLOBAL bounds - >= 0 @ 4.67483
6.32/6.42	c GLOBAL bounds - >= 0 @ 4.69435
6.32/6.43	c GLOBAL bounds - >= 0 @ 4.70242
6.32/6.44	c GLOBAL bounds - >= 0 @ 4.71135
6.32/6.45	c GLOBAL bounds - >= 0 @ 4.71613
6.32/6.48	c GLOBAL bounds - >= 0 @ 4.75035
6.32/6.49	c GLOBAL bounds - >= 0 @ 4.75997
6.42/6.50	c GLOBAL bounds - >= 0 @ 4.7676
6.42/6.51	c GLOBAL bounds - >= 0 @ 4.77505
6.42/6.52	c GLOBAL bounds - >= 0 @ 4.78416
6.42/6.53	c GLOBAL bounds - >= 0 @ 4.79317
6.42/6.54	c GLOBAL bounds - >= 0 @ 4.80535
6.42/6.56	c GLOBAL bounds - >= 0 @ 4.82743
6.52/6.62	c GLOBAL bounds - >= 0 @ 4.8791
6.52/6.63	c GLOBAL bounds - >= 0 @ 4.89026
6.52/6.64	c GLOBAL bounds - >= 0 @ 4.89615
6.52/6.65	c GLOBAL bounds - >= 0 @ 4.91278
6.52/6.68	c GLOBAL bounds - >= 0 @ 4.94046
6.52/6.69	c GLOBAL bounds - >= 0 @ 4.94667
6.62/6.71	c GLOBAL bounds - >= 0 @ 4.96262
6.62/6.75	c GLOBAL bounds - >= 0 @ 4.99949
6.62/6.79	c GLOBAL bounds - >= 0 @ 5.03322
6.62/6.79	c GLOBAL bounds - >= 0 @ 5.03899
6.72/6.81	c GLOBAL bounds - >= 0 @ 5.05484
6.72/6.83	c GLOBAL bounds - >= 0 @ 5.07786
6.72/6.84	c GLOBAL bounds - >= 0 @ 5.08834
6.72/6.86	c GLOBAL bounds - >= 0 @ 5.1009
6.72/6.87	c GLOBAL bounds - >= 0 @ 5.11193
6.72/6.88	c GLOBAL bounds - >= 0 @ 5.12447
6.82/6.91	c GLOBAL bounds - >= 0 @ 5.143
6.82/6.92	c GLOBAL bounds - >= 0 @ 5.15388
6.82/6.93	c GLOBAL bounds - >= 0 @ 5.16928
6.93/7.04	c GLOBAL bounds - >= 0 @ 5.27334
6.93/7.07	c GLOBAL bounds - >= 0 @ 5.30028
6.93/7.08	c GLOBAL bounds - >= 0 @ 5.31474
6.93/7.09	c GLOBAL bounds - >= 0 @ 5.32224
6.93/7.11	c GLOBAL bounds - >= 0 @ 5.33644
7.04/7.12	c GLOBAL bounds - >= 0 @ 5.34695
7.04/7.15	c GLOBAL bounds - >= 0 @ 5.37892
7.04/7.17	c GLOBAL bounds - >= 0 @ 5.39819
7.04/7.19	c GLOBAL bounds - >= 0 @ 5.41711
7.12/7.20	c GLOBAL bounds - >= 0 @ 5.42927
7.12/7.22	c GLOBAL bounds - >= 0 @ 5.44648
7.12/7.23	c GLOBAL bounds - >= 0 @ 5.455
7.12/7.24	c GLOBAL bounds - >= 0 @ 5.46549
7.12/7.26	c GLOBAL bounds - >= 0 @ 5.48703
7.12/7.27	c GLOBAL bounds - >= 0 @ 5.49818
7.12/7.28	c GLOBAL bounds - >= 0 @ 5.50559
7.22/7.30	c GLOBAL bounds - >= 0 @ 5.52501
7.22/7.36	c GLOBAL bounds - >= 0 @ 5.58058
7.22/7.38	c GLOBAL bounds - >= 0 @ 5.59772
7.32/7.40	c GLOBAL bounds - >= 0 @ 5.62411
7.32/7.43	c GLOBAL bounds - >= 0 @ 5.648
7.32/7.44	c GLOBAL bounds - >= 0 @ 5.66301
7.32/7.47	c GLOBAL bounds - >= 0 @ 5.6819
7.32/7.48	c GLOBAL bounds - >= 0 @ 5.68925
7.32/7.49	c GLOBAL bounds - >= 0 @ 5.70782
7.42/7.51	c GLOBAL bounds - >= 0 @ 5.72286
7.51/7.60	c GLOBAL bounds - >= 0 @ 5.80604
7.51/7.63	c GLOBAL bounds - >= 0 @ 5.83914
7.51/7.64	c GLOBAL bounds - >= 0 @ 5.85037
7.51/7.69	c GLOBAL bounds - >= 0 @ 5.89862
7.62/7.72	c GLOBAL bounds - >= 0 @ 5.91848
7.62/7.73	c GLOBAL bounds - >= 0 @ 5.93217
7.62/7.76	c GLOBAL bounds - >= 0 @ 5.96008
7.62/7.77	c GLOBAL bounds - >= 0 @ 5.97317
7.62/7.79	c GLOBAL bounds - >= 0 @ 5.98641
7.72/7.80	c GLOBAL bounds - >= 0 @ 6.00058
7.72/7.89	c GLOBAL bounds - >= 0 @ 6.08835
7.82/7.91	c GLOBAL bounds - >= 0 @ 6.09838
7.82/7.92	c GLOBAL bounds - >= 0 @ 6.11395
7.82/7.94	c GLOBAL bounds - >= 0 @ 6.12705
7.82/7.95	c GLOBAL bounds - >= 0 @ 6.13763
7.82/7.97	c GLOBAL bounds - >= 0 @ 6.14909
7.82/8.01	c GLOBAL bounds - >= 0 @ 6.19018
7.93/8.03	c GLOBAL bounds - >= 0 @ 6.21497
7.93/8.10	c GLOBAL bounds - >= 0 @ 6.2831
8.03/8.14	c GLOBAL bounds - >= 0 @ 6.32152
8.03/8.15	c GLOBAL bounds - >= 0 @ 6.33304
8.03/8.17	c GLOBAL bounds - >= 0 @ 6.34598
8.03/8.18	c GLOBAL bounds - >= 0 @ 6.35671
8.03/8.19	c GLOBAL bounds - >= 0 @ 6.3674
8.12/8.20	c GLOBAL bounds - >= 0 @ 6.37669
8.12/8.22	c GLOBAL bounds - >= 0 @ 6.39088
8.12/8.23	c GLOBAL bounds - >= 0 @ 6.40001
8.12/8.25	c GLOBAL bounds - >= 0 @ 6.42773
8.22/8.31	c GLOBAL bounds - >= 0 @ 6.48627
8.22/8.33	c GLOBAL bounds - >= 0 @ 6.50122
8.22/8.35	c GLOBAL bounds - >= 0 @ 6.51777
8.22/8.37	c GLOBAL bounds - >= 0 @ 6.53519
8.22/8.38	c GLOBAL bounds - >= 0 @ 6.54325
8.22/8.39	c GLOBAL bounds - >= 0 @ 6.55162
8.32/8.40	c GLOBAL bounds - >= 0 @ 6.56289
8.32/8.49	c GLOBAL bounds - >= 0 @ 6.65294
8.41/8.51	c GLOBAL bounds - >= 0 @ 6.66796
8.41/8.52	c GLOBAL bounds - >= 0 @ 6.67462
8.41/8.54	c GLOBAL bounds - >= 0 @ 6.69484
8.41/8.59	c GLOBAL bounds - >= 0 @ 6.73862
8.52/8.60	c GLOBAL bounds - >= 0 @ 6.74993
8.52/8.63	c GLOBAL bounds - >= 0 @ 6.78242
8.52/8.66	c GLOBAL bounds - >= 0 @ 6.80431
8.52/8.69	c GLOBAL bounds - >= 0 @ 6.84109
8.61/8.71	c GLOBAL bounds - >= 0 @ 6.85622
8.61/8.73	c GLOBAL bounds - >= 0 @ 6.8728
8.61/8.74	c GLOBAL bounds - >= 0 @ 6.88654
8.61/8.76	c GLOBAL bounds - >= 0 @ 6.90217
8.61/8.78	c GLOBAL bounds - >= 0 @ 6.9195
8.61/8.79	c GLOBAL bounds - >= 0 @ 6.93143
8.71/8.80	c GLOBAL bounds - >= 0 @ 6.94044
8.71/8.86	c GLOBAL bounds - >= 0 @ 6.99723
8.71/8.89	c GLOBAL bounds - >= 0 @ 7.02374
8.82/8.97	c GLOBAL bounds - >= 0 @ 7.10792
8.82/8.99	c GLOBAL bounds - >= 0 @ 7.12586
8.93/9.01	c GLOBAL bounds - >= 0 @ 7.14587
8.93/9.04	c GLOBAL bounds - >= 0 @ 7.17038
8.93/9.07	c GLOBAL bounds - >= 0 @ 7.19221
8.93/9.08	c GLOBAL bounds - >= 0 @ 7.20679
8.93/9.09	c GLOBAL bounds - >= 0 @ 7.21443
8.93/9.11	c GLOBAL bounds - >= 0 @ 7.22668
9.03/9.13	c GLOBAL bounds - >= 0 @ 7.24521
9.11/9.20	c GLOBAL bounds - >= 0 @ 7.31499
9.11/9.23	c GLOBAL bounds - >= 0 @ 7.34235
9.11/9.24	c GLOBAL bounds - >= 0 @ 7.35362
9.11/9.26	c GLOBAL bounds - >= 0 @ 7.37139
9.11/9.28	c GLOBAL bounds - >= 0 @ 7.38488
9.21/9.30	c GLOBAL bounds - >= 0 @ 7.40564
9.21/9.32	c GLOBAL bounds - >= 0 @ 7.41862
9.21/9.33	c GLOBAL bounds - >= 0 @ 7.43327
9.21/9.36	c GLOBAL bounds - >= 0 @ 7.45597
9.21/9.37	c GLOBAL bounds - >= 0 @ 7.46447
9.21/9.38	c GLOBAL bounds - >= 0 @ 7.48061
9.31/9.41	c GLOBAL bounds - >= 0 @ 7.50306
9.31/9.43	c GLOBAL bounds - >= 0 @ 7.52621
9.31/9.47	c GLOBAL bounds - >= 0 @ 7.56136
9.31/9.49	c GLOBAL bounds - >= 0 @ 7.58248
9.41/9.51	c GLOBAL bounds - >= 0 @ 7.59653
9.82/9.92	c GLOBAL bounds - >= 0 @ 7.9992
9.82/9.94	c GLOBAL bounds - >= 0 @ 8.02133
9.82/9.98	c GLOBAL bounds - >= 0 @ 8.05854
10.02/10.13	c GLOBAL bounds - >= 0 @ 8.2026
10.02/10.17	c GLOBAL bounds - >= 0 @ 8.23933
10.12/10.21	c GLOBAL bounds - >= 0 @ 8.28175
10.41/10.57	c #Conflicts:       2000 | #Constraints:     659346
10.41/10.57	c INPROCESSING
10.41/10.57	c GLOBAL bounds - >= 0 @ 8.64021
10.51/10.60	c GLOBAL bounds - >= 0 @ 8.66811
10.51/10.63	c GLOBAL bounds - >= 0 @ 8.6909
10.51/10.66	c GLOBAL bounds - >= 0 @ 8.71641
10.61/10.71	c GLOBAL bounds - >= 0 @ 8.76234
10.61/10.72	c GLOBAL bounds - >= 0 @ 8.77399
10.61/10.73	c GLOBAL bounds - >= 0 @ 8.78019
10.92/11.10	c GLOBAL bounds - >= 0 @ 9.14639
11.02/11.16	c GLOBAL bounds - >= 0 @ 9.20707
11.02/11.19	c GLOBAL bounds - >= 0 @ 9.22701
11.11/11.21	c GLOBAL bounds - >= 0 @ 9.24826
11.11/11.24	c GLOBAL bounds - >= 0 @ 9.28029
11.11/11.25	c GLOBAL bounds - >= 0 @ 9.28999
11.11/11.28	c GLOBAL bounds - >= 0 @ 9.31799
11.21/11.31	c GLOBAL bounds - >= 0 @ 9.34441
11.21/11.33	c GLOBAL bounds - >= 0 @ 9.36014
11.21/11.36	c GLOBAL bounds - >= 0 @ 9.39897
11.31/11.41	c GLOBAL bounds - >= 0 @ 9.44311
11.41/11.54	c GLOBAL bounds - >= 0 @ 9.56195
11.51/11.69	c GLOBAL bounds - >= 0 @ 9.71857
13.92/14.05	c #Conflicts:       3000 | #Constraints:     659389
13.92/14.05	c GLOBAL bounds - >= 0 @ 12.0559
14.10/14.30	c GLOBAL bounds - >= 0 @ 12.2987
14.20/14.33	c GLOBAL bounds - >= 0 @ 12.331
14.20/14.36	c GLOBAL bounds - >= 0 @ 12.3562
14.20/14.38	c GLOBAL bounds - >= 0 @ 12.3762
14.50/14.68	c GLOBAL bounds - >= 0 @ 12.6729
14.60/14.73	c GLOBAL bounds - >= 0 @ 12.7241
14.79/14.91	c GLOBAL bounds - >= 0 @ 12.8983
14.79/14.93	c GLOBAL bounds - >= 0 @ 12.9123
14.79/14.95	c GLOBAL bounds - >= 0 @ 12.9372
14.91/15.01	c GLOBAL bounds - >= 0 @ 12.9972
14.91/15.07	c GLOBAL bounds - >= 0 @ 13.0486
15.30/15.44	c GLOBAL bounds - >= 0 @ 13.4134
15.40/15.50	c GLOBAL bounds - >= 0 @ 13.4716
15.40/15.52	c GLOBAL bounds - >= 0 @ 13.4908
15.40/15.58	c GLOBAL bounds - >= 0 @ 13.5463
15.49/15.64	c GLOBAL bounds - >= 0 @ 13.6088
15.49/15.66	c GLOBAL bounds - >= 0 @ 13.6271
15.49/15.69	c GLOBAL bounds - >= 0 @ 13.6503
15.60/15.74	c GLOBAL bounds - >= 0 @ 13.7037
15.60/15.77	c GLOBAL bounds - >= 0 @ 13.73
15.60/15.79	c GLOBAL bounds - >= 0 @ 13.7541
15.70/15.81	c GLOBAL bounds - >= 0 @ 13.7708
15.70/15.83	c GLOBAL bounds - >= 0 @ 13.7901
15.70/15.86	c GLOBAL bounds - >= 0 @ 13.8164
15.70/15.88	c GLOBAL bounds - >= 0 @ 13.8345
15.79/15.92	c GLOBAL bounds - >= 0 @ 13.8762
15.79/16.00	c GLOBAL bounds - >= 0 @ 13.9534
15.91/16.04	c GLOBAL bounds - >= 0 @ 13.9851
15.91/16.06	c GLOBAL bounds - >= 0 @ 14.0031
15.91/16.09	c GLOBAL bounds - >= 0 @ 14.0283
16.00/16.12	c GLOBAL bounds - >= 0 @ 14.0516
16.00/16.16	c GLOBAL bounds - >= 0 @ 14.0929
16.00/16.18	c GLOBAL bounds - >= 0 @ 14.1105
16.09/16.28	c GLOBAL bounds - >= 0 @ 14.209
16.29/16.40	c GLOBAL bounds - >= 0 @ 14.3268
16.49/16.69	c GLOBAL bounds - >= 0 @ 14.601
16.90/17.08	c GLOBAL bounds - >= 0 @ 14.9861
17.00/17.13	c GLOBAL bounds - >= 0 @ 15.0369
17.09/17.22	c GLOBAL bounds - >= 0 @ 15.1227
17.09/17.24	c GLOBAL bounds - >= 0 @ 15.1391
17.39/17.57	c #Conflicts:       4000 | #Constraints:     660471
17.39/17.57	c GLOBAL bounds - >= 0 @ 15.4665
17.49/17.62	c GLOBAL bounds - >= 0 @ 15.5105
17.59/17.72	c GLOBAL bounds - >= 0 @ 15.6046
17.59/17.79	c GLOBAL bounds - >= 0 @ 15.668
18.58/18.71	c INPROCESSING
18.58/18.71	c GARBAGE COLLECT
18.58/18.71	c GLOBAL bounds - >= 0 @ 16.5894
18.58/18.76	c GLOBAL bounds - >= 0 @ 16.6357
18.69/18.85	c GLOBAL bounds - >= 0 @ 16.7204
18.69/18.90	c GLOBAL bounds - >= 0 @ 16.7661
18.79/18.92	c GLOBAL bounds - >= 0 @ 16.7896
18.79/18.93	c GLOBAL bounds - >= 0 @ 16.8028
18.79/18.95	c GLOBAL bounds - >= 0 @ 16.8158
18.79/18.97	c GLOBAL bounds - >= 0 @ 16.8356
18.79/19.01	c GLOBAL bounds - >= 0 @ 16.8717
19.00/19.19	c GLOBAL bounds - >= 0 @ 17.0553
19.09/19.24	c GLOBAL bounds - >= 0 @ 17.096
19.18/19.31	c GLOBAL bounds - >= 0 @ 17.1664
19.18/19.34	c GLOBAL bounds - >= 0 @ 17.2005
19.18/19.38	c GLOBAL bounds - >= 0 @ 17.2325
19.28/19.42	c GLOBAL bounds - >= 0 @ 17.275
19.48/19.62	c GLOBAL bounds - >= 0 @ 17.466
19.48/19.69	c GLOBAL bounds - >= 0 @ 17.5366
19.58/19.70	c GLOBAL bounds - >= 0 @ 17.5476
19.58/19.73	c GLOBAL bounds - >= 0 @ 17.5669
19.58/19.75	c GLOBAL bounds - >= 0 @ 17.5923
20.00/20.15	c GLOBAL bounds - >= 0 @ 17.9825
20.00/20.17	c GLOBAL bounds - >= 0 @ 17.9972
20.08/20.23	c GLOBAL bounds - >= 0 @ 18.0514
20.19/20.33	c GLOBAL bounds - >= 0 @ 18.1526
20.19/20.37	c GLOBAL bounds - >= 0 @ 18.1931
20.19/20.39	c GLOBAL bounds - >= 0 @ 18.2072
20.28/20.41	c GLOBAL bounds - >= 0 @ 18.2223
20.28/20.44	c GLOBAL bounds - >= 0 @ 18.255
20.28/20.49	c GLOBAL bounds - >= 0 @ 18.2977
20.38/20.52	c GLOBAL bounds - >= 0 @ 18.3273
20.38/20.55	c GLOBAL bounds - >= 0 @ 18.3536
20.49/20.62	c GLOBAL bounds - >= 0 @ 18.4242
20.49/20.66	c GLOBAL bounds - >= 0 @ 18.4543
20.58/20.72	c GLOBAL bounds - >= 0 @ 18.5086
21.68/21.83	c GLOBAL bounds - >= 0 @ 19.6119
21.77/21.94	c #Conflicts:       5000 | #Constraints:     659951
21.77/21.94	c GLOBAL bounds - >= 0 @ 19.7127
21.89/22.01	c GLOBAL bounds - >= 0 @ 19.7884
22.27/22.46	c GLOBAL bounds - >= 0 @ 20.2281
22.68/22.83	c GLOBAL bounds - >= 0 @ 20.5935
22.68/22.85	c GLOBAL bounds - >= 0 @ 20.6149
22.68/22.87	c GLOBAL bounds - >= 0 @ 20.6325
23.68/23.89	c GLOBAL bounds - >= 0 @ 21.6432
27.26/27.43	c #Conflicts:       6000 | #Constraints:     660965
27.26/27.43	c GLOBAL bounds - >= 0 @ 25.1402
27.26/27.46	c GLOBAL bounds - >= 0 @ 25.1687
27.56/27.79	c GLOBAL bounds - >= 0 @ 25.4903
27.76/27.96	c GLOBAL bounds - >= 0 @ 25.6541
27.88/28.08	c GLOBAL bounds - >= 0 @ 25.7676
27.88/28.10	c GLOBAL bounds - >= 0 @ 25.7883
27.97/28.17	c GLOBAL bounds - >= 0 @ 25.8569
28.06/28.28	c GLOBAL bounds - >= 0 @ 25.9658
29.87/30.02	c INPROCESSING
29.87/30.02	c GARBAGE COLLECT
29.87/30.02	c GLOBAL bounds - >= 0 @ 27.6765
34.15/34.32	c #Conflicts:       7000 | #Constraints:     659992
34.15/34.32	c GLOBAL bounds - >= 0 @ 31.9568
37.43/37.69	c GLOBAL bounds - >= 0 @ 35.3042
38.34/38.59	c #Conflicts:       8000 | #Constraints:     660996
38.34/38.59	c GLOBAL bounds - >= 0 @ 36.2069
39.03/39.23	c GLOBAL bounds - >= 0 @ 36.8286
39.14/39.33	c GLOBAL bounds - >= 0 @ 36.934
40.13/40.35	c GLOBAL bounds - >= 0 @ 37.9395
40.43/40.61	c GLOBAL bounds - >= 0 @ 38.2013
41.43/41.67	c GLOBAL bounds - >= 0 @ 39.2498
41.52/41.74	c GLOBAL bounds - >= 0 @ 39.3164
41.52/41.80	c GLOBAL bounds - >= 0 @ 39.3695
41.63/41.84	c GLOBAL bounds - >= 0 @ 39.4101
42.53/42.73	c GLOBAL bounds - >= 0 @ 40.2695
42.72/42.98	c GLOBAL bounds - >= 0 @ 40.5158
42.84/43.02	c GLOBAL bounds - >= 0 @ 40.55
42.84/43.08	c GLOBAL bounds - >= 0 @ 40.608
44.83/45.06	c #Conflicts:       9000 | #Constraints:     662022
44.83/45.06	c GLOBAL bounds - >= 0 @ 42.5362
45.83/46.06	c INPROCESSING
45.83/46.06	c GARBAGE COLLECT
45.83/46.06	c GLOBAL bounds - >= 0 @ 43.5237
45.83/46.10	c GLOBAL bounds - >= 0 @ 43.5624
45.92/46.12	c GLOBAL bounds - >= 0 @ 43.5812
47.82/48.09	c GLOBAL bounds - >= 0 @ 45.5399
48.11/48.30	c GLOBAL bounds - >= 0 @ 45.7435
48.11/48.36	c GLOBAL bounds - >= 0 @ 45.8041
51.00/51.21	c #Conflicts:      10000 | #Constraints:     660731
51.00/51.21	c GLOBAL bounds - >= 0 @ 48.6296
61.26/61.58	c #Conflicts:      11000 | #Constraints:     661733
61.26/61.58	c GLOBAL bounds - >= 0 @ 58.9117
67.25/67.50	c #Conflicts:      12000 | #Constraints:     662735
67.25/67.50	c INPROCESSING
67.25/67.50	c GARBAGE COLLECT
67.25/67.50	c GLOBAL bounds - >= 0 @ 64.7816
68.15/68.41	c GLOBAL bounds - >= 0 @ 65.6857
70.24/70.58	c GLOBAL bounds - >= 0 @ 67.8375
308.75/309.79	c #Conflicts:      13000 | #Constraints:     661194
308.75/309.79	c #Conflicts:      14000 | #Constraints:     662194
308.75/309.79	c #Conflicts:      15000 | #Constraints:     663194
308.75/309.79	c INPROCESSING
308.75/309.79	c GARBAGE COLLECT
308.75/309.79	c #Conflicts:      16000 | #Constraints:     661427
308.75/309.79	c #Conflicts:      17000 | #Constraints:     662427
308.75/309.79	c #Conflicts:      18000 | #Constraints:     663427
308.75/309.79	c INPROCESSING
308.75/309.79	c GARBAGE COLLECT
308.75/309.79	c #Conflicts:      19000 | #Constraints:     661448
308.75/309.79	c #Conflicts:      20000 | #Constraints:     662448
308.75/309.79	c #Conflicts:      21000 | #Constraints:     663448
308.75/309.79	c INPROCESSING
308.75/309.79	c GARBAGE COLLECT
308.75/309.79	c #Conflicts:      22000 | #Constraints:     661244
308.75/309.79	c #Conflicts:      23000 | #Constraints:     662244
308.75/309.79	c #Conflicts:      24000 | #Constraints:     663244
308.75/309.79	c #Conflicts:      25000 | #Constraints:     664244
308.75/309.79	c INPROCESSING
308.75/309.79	c GARBAGE COLLECT
308.75/309.79	c #Conflicts:      26000 | #Constraints:     661848
308.75/309.79	c #Conflicts:      27000 | #Constraints:     662848
308.75/309.79	c #Conflicts:      28000 | #Constraints:     663848
308.75/309.79	c GLOBAL bounds - >= 0 @ 305.849
308.84/309.87	c GLOBAL bounds - >= 0 @ 305.93
324.90/325.92	c #Conflicts:      29000 | #Constraints:     664852
324.90/325.92	c INPROCESSING
324.90/325.92	c GARBAGE COLLECT
324.90/325.92	c #Conflicts:      30000 | #Constraints:     662248
324.90/325.92	c GLOBAL bounds - >= 0 @ 321.892
326.29/327.31	c GLOBAL bounds - >= 0 @ 323.273
329.39/330.49	c GLOBAL bounds - >= 0 @ 326.44
1207.67/1211.28	c #Conflicts:      31000 | #Constraints:     663254
1207.67/1211.28	c #Conflicts:      32000 | #Constraints:     664254
1207.67/1211.28	c #Conflicts:      33000 | #Constraints:     665254
1207.67/1211.28	c INPROCESSING
1207.67/1211.28	c GARBAGE COLLECT
1207.67/1211.28	c #Conflicts:      34000 | #Constraints:     662455
1207.67/1211.28	c #Conflicts:      35000 | #Constraints:     663455
1207.67/1211.28	c #Conflicts:      36000 | #Constraints:     664455
1207.67/1211.28	c #Conflicts:      37000 | #Constraints:     665455
1207.67/1211.28	c INPROCESSING
1207.67/1211.28	c GARBAGE COLLECT
1207.67/1211.28	c #Conflicts:      38000 | #Constraints:     662466
1207.67/1211.28	c #Conflicts:      39000 | #Constraints:     663466
1207.67/1211.28	c #Conflicts:      40000 | #Constraints:     664466
1207.67/1211.28	c #Conflicts:      41000 | #Constraints:     665466
1207.67/1211.28	c INPROCESSING
1207.67/1211.28	c GARBAGE COLLECT
1207.67/1211.28	c #Conflicts:      42000 | #Constraints:     662273
1207.67/1211.28	c #Conflicts:      43000 | #Constraints:     663273
1207.67/1211.28	c #Conflicts:      44000 | #Constraints:     664273
1207.67/1211.28	c #Conflicts:      45000 | #Constraints:     665273
1207.67/1211.28	c #Conflicts:      46000 | #Constraints:     666273
1207.67/1211.28	c INPROCESSING
1207.67/1211.28	c GARBAGE COLLECT
1207.67/1211.28	c #Conflicts:      47000 | #Constraints:     662867
1207.67/1211.28	c #Conflicts:      48000 | #Constraints:     663867
1207.67/1211.28	c #Conflicts:      49000 | #Constraints:     664867
1207.67/1211.28	c #Conflicts:      50000 | #Constraints:     665867
1207.67/1211.28	c #Conflicts:      51000 | #Constraints:     666867
1207.67/1211.28	c INPROCESSING
1207.67/1211.28	c GARBAGE COLLECT
1207.67/1211.28	c #Conflicts:      52000 | #Constraints:     663263
1207.67/1211.28	c #Conflicts:      53000 | #Constraints:     664263
1207.67/1211.28	c #Conflicts:      54000 | #Constraints:     665263
1207.67/1211.28	c #Conflicts:      55000 | #Constraints:     666263
1207.67/1211.28	c #Conflicts:      56000 | #Constraints:     667263
1207.67/1211.28	c INPROCESSING
1207.67/1211.28	c GARBAGE COLLECT
1207.67/1211.28	c #Conflicts:      57000 | #Constraints:     663459
1207.67/1211.28	c #Conflicts:      58000 | #Constraints:     664459
1207.67/1211.28	c #Conflicts:      59000 | #Constraints:     665459
1207.67/1211.28	c #Conflicts:      60000 | #Constraints:     666459
1207.67/1211.28	c #Conflicts:      61000 | #Constraints:     667459
1207.67/1211.28	c INPROCESSING
1207.67/1211.28	c GARBAGE COLLECT
1207.67/1211.28	c #Conflicts:      62000 | #Constraints:     663466
1207.67/1211.28	c #Conflicts:      63000 | #Constraints:     664466
1207.67/1211.28	c #Conflicts:      64000 | #Constraints:     665466
1207.67/1211.28	c #Conflicts:      65000 | #Constraints:     666466
1207.67/1211.28	c #Conflicts:      66000 | #Constraints:     667466
1207.67/1211.28	c INPROCESSING
1207.67/1211.28	c GARBAGE COLLECT
1207.67/1211.28	c #Conflicts:      67000 | #Constraints:     663270
1207.67/1211.28	c #Conflicts:      68000 | #Constraints:     664270
1207.67/1211.28	c #Conflicts:      69000 | #Constraints:     665270
1207.67/1211.28	c #Conflicts:      70000 | #Constraints:     666270
1207.67/1211.28	c #Conflicts:      71000 | #Constraints:     667270
1207.67/1211.28	c #Conflicts:      72000 | #Constraints:     668270
1207.67/1211.28	c INPROCESSING
1207.67/1211.28	c GARBAGE COLLECT
1207.67/1211.28	c #Conflicts:      73000 | #Constraints:     663871
1207.67/1211.28	c #Conflicts:      74000 | #Constraints:     664871
1207.67/1211.28	c #Conflicts:      75000 | #Constraints:     665871
1207.67/1211.28	c #Conflicts:      76000 | #Constraints:     666871
1207.67/1211.28	c #Conflicts:      77000 | #Constraints:     667871
1207.67/1211.28	c #Conflicts:      78000 | #Constraints:     668871
1207.67/1211.28	c INPROCESSING
1207.67/1211.28	c GARBAGE COLLECT
1207.67/1211.28	c GLOBAL bounds - >= 0 @ 1203.38
1224.22/1227.80	c #Conflicts:      79000 | #Constraints:     664274
1224.22/1227.80	c #Conflicts:      80000 | #Constraints:     665274
1224.22/1227.80	c GLOBAL bounds - >= 0 @ 1219.83
1283.56/1287.34	c #Conflicts:      81000 | #Constraints:     666276
1283.56/1287.34	c #Conflicts:      82000 | #Constraints:     667276
1283.56/1287.34	c #Conflicts:      83000 | #Constraints:     668276
1283.56/1287.34	c #Conflicts:      84000 | #Constraints:     669276
1283.56/1287.34	c INPROCESSING
1283.56/1287.34	c GARBAGE COLLECT
1283.56/1287.34	c GLOBAL bounds - >= 0 @ 1279.15
1398.37/1402.49	c #Conflicts:      85000 | #Constraints:     664481
1398.37/1402.49	c #Conflicts:      86000 | #Constraints:     665481
1398.37/1402.49	c #Conflicts:      87000 | #Constraints:     666481
1398.37/1402.49	c #Conflicts:      88000 | #Constraints:     667481
1398.37/1402.49	c #Conflicts:      89000 | #Constraints:     668481
1398.37/1402.49	c #Conflicts:      90000 | #Constraints:     669481
1398.37/1402.49	c INPROCESSING
1398.37/1402.49	c GARBAGE COLLECT
1398.37/1402.49	c #Conflicts:      91000 | #Constraints:     664476
1398.37/1402.49	c #Conflicts:      92000 | #Constraints:     665476
1398.37/1402.49	c #Conflicts:      93000 | #Constraints:     666476
1398.37/1402.49	c #Conflicts:      94000 | #Constraints:     667476
1398.37/1402.49	c #Conflicts:      95000 | #Constraints:     668476
1398.37/1402.49	c #Conflicts:      96000 | #Constraints:     669476
1398.37/1402.49	c INPROCESSING
1398.37/1402.49	c GARBAGE COLLECT
1398.37/1402.49	c GLOBAL bounds - >= 0 @ 1393.87
1456.52/1460.79	c #Conflicts:      97000 | #Constraints:     664281
1456.52/1460.79	c #Conflicts:      98000 | #Constraints:     665281
1456.52/1460.79	c #Conflicts:      99000 | #Constraints:     666281
1456.52/1460.79	c #Conflicts:     100000 | #Constraints:     667281
1456.52/1460.79	c #Conflicts:     101000 | #Constraints:     668281
1456.52/1460.79	c #Conflicts:     102000 | #Constraints:     669281
1456.52/1460.79	c GLOBAL bounds - >= 0 @ 1451.93
1459.71/1464.00	c #Conflicts:     103000 | #Constraints:     670283
1459.71/1464.00	c GLOBAL bounds - >= 0 @ 1455.13
1461.31/1465.51	c GLOBAL bounds - >= 0 @ 1456.62
1462.70/1467.00	c INPROCESSING
1462.70/1467.00	c GARBAGE COLLECT
1462.70/1467.00	c GLOBAL bounds - >= 0 @ 1458.09
1465.20/1469.46	c GLOBAL bounds - >= 0 @ 1460.55
1468.00/1472.20	c #Conflicts:     104000 | #Constraints:     664883
1468.00/1472.20	c GLOBAL bounds - >= 0 @ 1463.26
1474.27/1478.52	c GLOBAL bounds - >= 0 @ 1469.55
1490.24/1494.54	c #Conflicts:     105000 | #Constraints:     665887
1490.24/1494.54	c #Conflicts:     106000 | #Constraints:     666887
1490.24/1494.54	c GLOBAL bounds - >= 0 @ 1485.47
1496.42/1500.73	c GLOBAL bounds - >= 0 @ 1491.62
1497.73/1502.04	c GLOBAL bounds - >= 0 @ 1492.92
1497.73/1502.08	c GLOBAL bounds - >= 0 @ 1492.95
1499.82/1504.12	c GLOBAL bounds - >= 0 @ 1494.98
1501.82/1506.12	c #Conflicts:     107000 | #Constraints:     667897
1501.82/1506.12	c GLOBAL bounds - >= 0 @ 1496.97
1502.72/1507.04	c GLOBAL bounds - >= 0 @ 1497.88
1504.59/1508.98	c GLOBAL bounds - >= 0 @ 1499.79
1510.49/1514.83	c #Conflicts:     108000 | #Constraints:     668903
1510.49/1514.83	c GLOBAL bounds - >= 0 @ 1505.61
1516.17/1520.59	c GLOBAL bounds - >= 0 @ 1511.35
1529.64/1534.08	c #Conflicts:     109000 | #Constraints:     669907
1529.64/1534.08	c #Conflicts:     110000 | #Constraints:     670907
1529.64/1534.08	c INPROCESSING
1529.64/1534.08	c GARBAGE COLLECT
1529.64/1534.08	c GLOBAL bounds - >= 0 @ 1524.74
1530.04/1534.43	c GLOBAL bounds - >= 0 @ 1525.09
2032.02/2037.79	c #Conflicts:     111000 | #Constraints:     665314
2032.02/2037.79	c #Conflicts:     112000 | #Constraints:     666314
2032.02/2037.79	c #Conflicts:     113000 | #Constraints:     667314
2032.02/2037.79	c #Conflicts:     114000 | #Constraints:     668314
2032.02/2037.79	c #Conflicts:     115000 | #Constraints:     669314
2032.02/2037.79	c #Conflicts:     116000 | #Constraints:     670314
2032.02/2037.79	c #Conflicts:     117000 | #Constraints:     671314
2032.02/2037.79	c INPROCESSING
2032.02/2037.79	c GARBAGE COLLECT
2032.02/2037.79	c #Conflicts:     118000 | #Constraints:     665520
2032.02/2037.79	c #Conflicts:     119000 | #Constraints:     666520
2032.02/2037.79	c #Conflicts:     120000 | #Constraints:     667520
2032.02/2037.79	c #Conflicts:     121000 | #Constraints:     668520
2032.02/2037.79	c #Conflicts:     122000 | #Constraints:     669520
2032.02/2037.79	c #Conflicts:     123000 | #Constraints:     670520
2032.02/2037.79	c #Conflicts:     124000 | #Constraints:     671520
2032.02/2037.79	c INPROCESSING
2032.02/2037.79	c GARBAGE COLLECT
2032.02/2037.79	c #Conflicts:     125000 | #Constraints:     665526
2032.02/2037.79	c #Conflicts:     126000 | #Constraints:     666526
2032.02/2037.79	c #Conflicts:     127000 | #Constraints:     667526
2032.02/2037.79	c #Conflicts:     128000 | #Constraints:     668526
2032.02/2037.79	c #Conflicts:     129000 | #Constraints:     669526
2032.02/2037.79	c #Conflicts:     130000 | #Constraints:     670526
2032.02/2037.79	c #Conflicts:     131000 | #Constraints:     671526
2032.02/2037.79	c INPROCESSING
2032.02/2037.79	c GARBAGE COLLECT
2032.02/2037.79	c #Conflicts:     132000 | #Constraints:     665324
2032.02/2037.79	c #Conflicts:     133000 | #Constraints:     666324
2032.02/2037.79	c #Conflicts:     134000 | #Constraints:     667324
2032.02/2037.79	c #Conflicts:     135000 | #Constraints:     668324
2032.02/2037.79	c #Conflicts:     136000 | #Constraints:     669324
2032.02/2037.79	c #Conflicts:     137000 | #Constraints:     670324
2032.02/2037.79	c #Conflicts:     138000 | #Constraints:     671324
2032.02/2037.79	c #Conflicts:     139000 | #Constraints:     672324
2032.02/2037.79	c INPROCESSING
2032.02/2037.79	c GARBAGE COLLECT
2032.02/2037.79	c #Conflicts:     140000 | #Constraints:     665926
2032.02/2037.79	c #Conflicts:     141000 | #Constraints:     666926
2032.02/2037.79	c #Conflicts:     142000 | #Constraints:     667926
2032.02/2037.79	c #Conflicts:     143000 | #Constraints:     668926
2032.02/2037.79	c #Conflicts:     144000 | #Constraints:     669926
2032.02/2037.79	c GLOBAL bounds - >= 0 @ 2026.4
2032.43/2038.19	c GLOBAL bounds - >= 0 @ 2026.79
2077.10/2082.92	c #Conflicts:     145000 | #Constraints:     670930
2077.10/2082.92	c #Conflicts:     146000 | #Constraints:     671930
2077.10/2082.92	c #Conflicts:     147000 | #Constraints:     672930
2077.10/2082.92	c INPROCESSING
2077.10/2082.92	c GARBAGE COLLECT
2077.10/2082.92	c GLOBAL bounds - >= 0 @ 2071.35
2122.88/2128.83	c #Conflicts:     148000 | #Constraints:     666330
2122.88/2128.83	c #Conflicts:     149000 | #Constraints:     667330
2122.88/2128.83	c #Conflicts:     150000 | #Constraints:     668330
2122.88/2128.83	c GLOBAL bounds - >= 0 @ 2117.04
2131.36/2137.31	c #Conflicts:     151000 | #Constraints:     669332
2131.36/2137.31	c GLOBAL bounds - >= 0 @ 2125.48
2753.28/2761.03	c #Conflicts:     152000 | #Constraints:     670334
2753.28/2761.03	c #Conflicts:     153000 | #Constraints:     671334
2753.28/2761.03	c #Conflicts:     154000 | #Constraints:     672334
2753.28/2761.03	c #Conflicts:     155000 | #Constraints:     673334
2753.28/2761.03	c INPROCESSING
2753.28/2761.03	c GARBAGE COLLECT
2753.28/2761.03	c #Conflicts:     156000 | #Constraints:     666537
2753.28/2761.03	c #Conflicts:     157000 | #Constraints:     667537
2753.28/2761.03	c #Conflicts:     158000 | #Constraints:     668537
2753.28/2761.03	c #Conflicts:     159000 | #Constraints:     669537
2753.28/2761.03	c #Conflicts:     160000 | #Constraints:     670537
2753.28/2761.03	c #Conflicts:     161000 | #Constraints:     671537
2753.28/2761.03	c #Conflicts:     162000 | #Constraints:     672537
2753.28/2761.03	c #Conflicts:     163000 | #Constraints:     673537
2753.28/2761.03	c INPROCESSING
2753.28/2761.03	c GARBAGE COLLECT
2753.28/2761.03	c #Conflicts:     164000 | #Constraints:     666542
2753.28/2761.03	c #Conflicts:     165000 | #Constraints:     667542
2753.28/2761.03	c #Conflicts:     166000 | #Constraints:     668542
2753.28/2761.03	c #Conflicts:     167000 | #Constraints:     669542
2753.28/2761.03	c #Conflicts:     168000 | #Constraints:     670542
2753.28/2761.03	c #Conflicts:     169000 | #Constraints:     671542
2753.28/2761.03	c #Conflicts:     170000 | #Constraints:     672542
2753.28/2761.03	c #Conflicts:     171000 | #Constraints:     673542
2753.28/2761.03	c INPROCESSING
2753.28/2761.03	c GARBAGE COLLECT
2753.28/2761.03	c #Conflicts:     172000 | #Constraints:     666342
2753.28/2761.03	c #Conflicts:     173000 | #Constraints:     667342
2753.28/2761.03	c #Conflicts:     174000 | #Constraints:     668342
2753.28/2761.03	c #Conflicts:     175000 | #Constraints:     669342
2753.28/2761.03	c #Conflicts:     176000 | #Constraints:     670342
2753.28/2761.03	c #Conflicts:     177000 | #Constraints:     671342
2753.28/2761.03	c #Conflicts:     178000 | #Constraints:     672342
2753.28/2761.03	c #Conflicts:     179000 | #Constraints:     673342
2753.28/2761.03	c #Conflicts:     180000 | #Constraints:     674342
2753.28/2761.03	c INPROCESSING
2753.28/2761.03	c GARBAGE COLLECT
2753.28/2761.03	c #Conflicts:     181000 | #Constraints:     666939
2753.28/2761.03	c #Conflicts:     182000 | #Constraints:     667939
2753.28/2761.03	c #Conflicts:     183000 | #Constraints:     668939
2753.28/2761.03	c #Conflicts:     184000 | #Constraints:     669939
2753.28/2761.03	c GLOBAL bounds - >= 0 @ 2746.48
2766.92/2774.77	c #Conflicts:     185000 | #Constraints:     670941
2766.92/2774.77	c GLOBAL bounds - >= 0 @ 2760.18
2769.72/2777.53	c GLOBAL bounds - >= 0 @ 2762.92
2771.02/2778.89	c GLOBAL bounds - >= 0 @ 2764.28
2845.41/2853.44	c #Conflicts:     186000 | #Constraints:     671947
2845.41/2853.44	c #Conflicts:     187000 | #Constraints:     672947
2845.41/2853.44	c #Conflicts:     188000 | #Constraints:     673947
2845.41/2853.44	c #Conflicts:     189000 | #Constraints:     674947
2845.41/2853.44	c INPROCESSING
2845.41/2853.44	c GARBAGE COLLECT
2845.41/2853.44	c #Conflicts:     190000 | #Constraints:     667352
2845.41/2853.44	c #Conflicts:     191000 | #Constraints:     668352
2845.41/2853.44	c #Conflicts:     192000 | #Constraints:     669352
2845.41/2853.44	c GLOBAL bounds - >= 0 @ 2838.53
2847.40/2855.41	c GLOBAL bounds - >= 0 @ 2840.49
2988.10/2996.50	c #Conflicts:     193000 | #Constraints:     670356
2988.10/2996.50	c #Conflicts:     194000 | #Constraints:     671356
2988.10/2996.50	c #Conflicts:     195000 | #Constraints:     672356
2988.10/2996.50	c #Conflicts:     196000 | #Constraints:     673356
2988.10/2996.50	c #Conflicts:     197000 | #Constraints:     674356
2988.10/2996.50	c #Conflicts:     198000 | #Constraints:     675356
2988.10/2996.50	c INPROCESSING
2988.10/2996.50	c GARBAGE COLLECT
2988.10/2996.50	c #Conflicts:     199000 | #Constraints:     667555
2988.10/2996.50	c #Conflicts:     200000 | #Constraints:     668555
2988.10/2996.50	c #Conflicts:     201000 | #Constraints:     669555
2988.10/2996.50	c #Conflicts:     202000 | #Constraints:     670555
2988.10/2996.50	c GLOBAL bounds - >= 0 @ 2981.02
3081.13/3089.85	c #Conflicts:     203000 | #Constraints:     671557
3081.13/3089.85	c #Conflicts:     204000 | #Constraints:     672557
3081.13/3089.85	c #Conflicts:     205000 | #Constraints:     673557
3081.13/3089.85	c #Conflicts:     206000 | #Constraints:     674557
3081.13/3089.85	c #Conflicts:     207000 | #Constraints:     675557
3081.13/3089.85	c INPROCESSING
3081.13/3089.85	c GARBAGE COLLECT
3081.13/3089.85	c GLOBAL bounds - >= 0 @ 3073.99
3081.53/3090.23	c GLOBAL bounds - >= 0 @ 3074.37
3482.22/3492.05	c #Conflicts:     208000 | #Constraints:     667556
3482.22/3492.05	c #Conflicts:     209000 | #Constraints:     668556
3482.22/3492.05	c #Conflicts:     210000 | #Constraints:     669556
3482.22/3492.05	c #Conflicts:     211000 | #Constraints:     670556
3482.22/3492.05	c #Conflicts:     212000 | #Constraints:     671556
3482.22/3492.05	c #Conflicts:     213000 | #Constraints:     672556
3482.22/3492.05	c #Conflicts:     214000 | #Constraints:     673556
3482.22/3492.05	c #Conflicts:     215000 | #Constraints:     674556
3482.22/3492.05	c #Conflicts:     216000 | #Constraints:     675556
3482.22/3492.05	c INPROCESSING
3482.22/3492.05	c GARBAGE COLLECT
3482.22/3492.05	c #Conflicts:     217000 | #Constraints:     667361
3482.22/3492.05	c #Conflicts:     218000 | #Constraints:     668361
3482.22/3492.05	c #Conflicts:     219000 | #Constraints:     669361
3482.22/3492.05	c #Conflicts:     220000 | #Constraints:     670361
3482.22/3492.05	c #Conflicts:     221000 | #Constraints:     671361
3482.22/3492.05	c #Conflicts:     222000 | #Constraints:     672361
3482.22/3492.05	c #Conflicts:     223000 | #Constraints:     673361
3482.22/3492.05	c #Conflicts:     224000 | #Constraints:     674361
3482.22/3492.05	c #Conflicts:     225000 | #Constraints:     675361
3482.22/3492.05	c #Conflicts:     226000 | #Constraints:     676361
3482.22/3492.05	c INPROCESSING
3482.22/3492.05	c GARBAGE COLLECT
3482.22/3492.05	c #Conflicts:     227000 | #Constraints:     667968
3482.22/3492.05	c #Conflicts:     228000 | #Constraints:     668968
3482.22/3492.05	c #Conflicts:     229000 | #Constraints:     669968
3482.22/3492.05	c #Conflicts:     230000 | #Constraints:     670968
3482.22/3492.05	c #Conflicts:     231000 | #Constraints:     671968
3482.22/3492.05	c GLOBAL bounds - >= 0 @ 3474.65
3484.21/3494.02	c GLOBAL bounds - >= 0 @ 3476.61
3484.60/3494.48	c GLOBAL bounds - >= 0 @ 3477.06
3497.17/3507.08	c GLOBAL bounds - >= 0 @ 3489.59
3600.00/3610.12	c #Conflicts:     232000 | #Constraints:     672976
3600.00/3610.12	c #Conflicts:     233000 | #Constraints:     673976
3600.00/3610.12	c #Conflicts:     234000 | #Constraints:     674976
3600.00/3610.12	c #Conflicts:     235000 | #Constraints:     675976
3600.00/3610.12	c cpu time 3592.19 s
3600.00/3610.12	c deterministic time 1 1.00e+00
3600.00/3610.12	c optimization time 3589.75 s
3600.00/3610.12	c total solve time 0 s
3600.00/3610.12	c core-guided solve time 0 s
3600.00/3610.12	c propagation time 0.303707 s
3600.00/3610.12	c conflict analysis time 0 s
3600.00/3610.12	c propagations 0
3600.00/3610.12	c resolve steps 0
3600.00/3610.12	c decisions 0
3600.00/3610.12	c conflicts 0
3600.00/3610.12	c restarts 0
3600.00/3610.12	c inprocessing phases 0
3600.00/3610.12	c garbage collections 0 ,( -nan )
3600.00/3610.12	c input clauses 656900 ,( 100.00 )
3600.00/3610.12	c input cardinalities 0 ,( 0.00 )
3600.00/3610.12	c input general constraints 0 ,( 0.00 )
3600.00/3610.12	c input average constraint length 2.03
3600.00/3610.12	c input average constraint degree 1.00
3600.00/3610.12	c learned clauses 0 ,( 0.00 )
3600.00/3610.12	c learned cardinalities 0 ,( 0.00 )
3600.00/3610.12	c learned general constraints 0 ,( 0.00 )
3600.00/3610.12	c learned average constraint length 0.00
3600.00/3610.12	c learned average constraint degree 0.00
3600.00/3610.12	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.00/3610.12	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.00/3610.12	c watched   constraints 0 ,( -nan ) 
3600.00/3610.12	c counting  constraints 0 ,( -nan ) 
3600.00/3610.12	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.00/3610.12	c gcd simplifications 0
3600.00/3610.12	c detected cardinalities 0
3600.00/3610.12	c weakened non-implied lits 0
3600.00/3610.12	c weakened non-implying lits 0
3600.00/3610.12	c original variables 10000
3600.00/3610.12	c clausal propagations 0
3600.00/3610.12	c cardinality propagations 0
3600.00/3610.12	c watched propagations 0
3600.00/3610.12	c counting propagations 0
3600.00/3610.12	c watch lookups 0
3600.00/3610.12	c watch backjump lookups 0
3600.00/3610.12	c watch checks 0
3600.00/3610.12	c propagation checks 0
3600.00/3610.12	c constraint additions 0
3600.00/3610.12	c trail pops 0
3600.00/3610.12	c formula constraints 656900
3600.00/3610.12	c learned constraints 0
3600.00/3610.12	c bound constraints 0
3600.00/3610.12	c core-guided constraints 0
3600.00/3610.12	c encountered formula constraints 0
3600.00/3610.12	c encountered learned constraints 0
3600.00/3610.12	c encountered bound constraints 0
3600.00/3610.12	c encountered core-guided constraints 0
3600.00/3610.12	c LP total time 0 s
3600.00/3610.12	c LP solve time 0 s
3600.00/3610.12	c LP constraints added 0
3600.00/3610.12	c LP constraints removed 0
3600.00/3610.12	c LP pivots internal 0
3600.00/3610.12	c LP pivots root 0
3600.00/3610.12	c LP calls 0
3600.00/3610.12	c LP optimalities 0
3600.00/3610.12	c LP no pivot count 0
3600.00/3610.12	c LP infeasibilities 0
3600.00/3610.12	c LP valid Farkas constraints 0
3600.00/3610.12	c LP learned Farkas constraints 0
3600.00/3610.12	c LP basis resets 0
3600.00/3610.12	c LP cycling count 0
3600.00/3610.12	c LP singular count 0
3600.00/3610.12	c LP no primal count 0
3600.00/3610.12	c LP no farkas count 0
3600.00/3610.12	c LP other issue count 0
3600.00/3610.12	c LP Gomory cuts 0
3600.00/3610.12	c LP learned cuts 0
3600.00/3610.12	c LP deleted cuts 0
3600.00/3610.12	c LP encountered Gomory constraints 0
3600.00/3610.12	c LP encountered Farkas constraints 0
3600.00/3610.12	c LP encountered learned Farkas constraints 0
3600.00/3610.12	c CG auxiliary variables introduced 0
3600.00/3610.12	c CG solutions found 0
3600.00/3610.12	c CG cores constructed 0
3600.00/3610.12	c CG core cardinality constraints returned 0
3600.00/3610.12	c CG unit cores 0
3600.00/3610.12	c CG single cores 0
3600.00/3610.12	c CG blocks removed during cardinality reduction 0
3600.00/3610.12	c CG first core best 0
3600.00/3610.12	c CG decision core best 0
3600.00/3610.12	c CG core reduction tie 0
3600.00/3610.12	c CG core degree average 0.00
3600.00/3610.12	c CG core slack average 0.00
3600.00/3610.12	c CG core upper bound improvements 0
3600.00/3610.12	c STR number of successful calls 0
3600.00/3610.12	c STR number of unsuccessful calls 0
3600.00/3610.12	c STR number of inconclusive calls 0
3600.00/3610.12	c STR number of successful attempts 0
3600.00/3610.12	c STR number of unsuccessful attempts 0
3600.00/3610.12	c STR number of inconclusive attempts 0
3600.00/3610.12	c STR average degree increase per successful call inf
3600.00/3610.12	c STR average degree increase per successful attempt inf
3600.00/3610.12	c STR total number of conflicts for successful attempts 0
3600.00/3610.12	c STR total number of conflicts for unsuccessful attempts 0
3600.00/3610.12	c STR total number of conflicts for inconclusive attempts 0
3600.00/3610.12	c STR average number of conflicts per successful attempt inf
3600.00/3610.12	c STR average number of conflicts per unsuccessful attempt inf
3600.00/3610.12	c STR average number of conflicts per inconclusive attempt inf
3600.00/3610.12	c AVG.sumWPerc -nan 
3600.00/3610.12	c bigint constraints 0 
3600.00/3610.12	s UNKNOWN
3600.00/3610.12	c Program interrupted by user.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63837 MiB (63177 MiB free)
  memory of node 1: 64465 MiB (62230 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100068 s]*
/proc/loadavg: 4.05 4.08 4.09 4/241 47952
/proc/meminfo: memFree=129442060/131382116 swapFree=33010684/33010684
[pid=47941] ppid=47938 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/47941/stat : 47941 (run-opt.sh) S 47938 47941 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52020939 4292608 768 18446744073709551615 94769498079232 94769498973765 140734290148592 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94769499212816 94769499260560 94769507450880 140734290151789 140734290151912 140734290151912 140734290157514 0
/proc/47941/statm: 1048 768 704 219 0 110 0
[pid=47944] ppid=47941 vsize=57980 memory=13188 CPUtime=0.07 cores=4,6
/proc/47944/stat : 47944 (roundingsat) R 47941 47941 47556 0 -1 4194304 1425 0 0 0 4 3 0 0 20 0 1 0 52020940 59371520 3297 18446744073709551615 4227072 8923433 140729068296416 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 36880384 140729068304802 140729068304936 140729068304936 140729068310506 0
/proc/47944/statm: 14495 3297 1952 1147 0 1922 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 62172 KiB
Current children cumulated memory: 16260 KiB

[startup+0.213002 s]*
/proc/loadavg: 4.05 4.08 4.09 5/242 47961
/proc/meminfo: memFree=129434128/131382116 swapFree=33010684/33010684
[pid=47941] ppid=47938 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/47941/stat : 47941 (run-opt.sh) S 47938 47941 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52020939 4292608 768 18446744073709551615 94769498079232 94769498973765 140734290148592 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94769499212816 94769499260560 94769507450880 140734290151789 140734290151912 140734290151912 140734290157514 0
/proc/47941/statm: 1048 768 704 219 0 110 0
[pid=47944] ppid=47941 vsize=58764 memory=14084 CPUtime=0.17 cores=4,6
/proc/47944/stat : 47944 (roundingsat) R 47941 47941 47556 0 -1 4194304 1650 0 0 0 12 5 0 0 20 0 1 0 52020940 60174336 3521 18446744073709551615 4227072 8923433 140729068296416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36880384 140729068304802 140729068304936 140729068304936 140729068310506 0
/proc/47944/statm: 14691 3521 1952 1147 0 2118 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 62956 KiB
Current children cumulated memory: 17156 KiB

[startup+0.312383 s]*
/proc/loadavg: 4.05 4.08 4.09 5/243 47962
/proc/meminfo: memFree=129430536/131382116 swapFree=33010684/33010684
[pid=47941] ppid=47938 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/47941/stat : 47941 (run-opt.sh) S 47938 47941 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52020939 4292608 768 18446744073709551615 94769498079232 94769498973765 140734290148592 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94769499212816 94769499260560 94769507450880 140734290151789 140734290151912 140734290151912 140734290157514 0
/proc/47941/statm: 1048 768 704 219 0 110 0
[pid=47944] ppid=47941 vsize=59800 memory=14852 CPUtime=0.26 cores=4,6
/proc/47944/stat : 47944 (roundingsat) R 47941 47941 47556 0 -1 4194304 1859 0 0 0 18 8 0 0 20 0 1 0 52020940 61235200 3713 18446744073709551615 4227072 8923433 140729068296416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36880384 140729068304802 140729068304936 140729068304936 140729068310506 0
/proc/47944/statm: 14950 3713 1952 1147 0 2377 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 63992 KiB
Current children cumulated memory: 17924 KiB

[startup+0.700377 s]
/proc/loadavg: 4.05 4.08 4.09 4/248 47972
/proc/meminfo: memFree=129415164/131382116 swapFree=33010684/33010684
[pid=47941] ppid=47938 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/47941/stat : 47941 (run-opt.sh) S 47938 47941 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52020939 4292608 768 18446744073709551615 94769498079232 94769498973765 140734290148592 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94769499212816 94769499260560 94769507450880 140734290151789 140734290151912 140734290151912 140734290157514 0
/proc/47941/statm: 1048 768 704 219 0 110 0
[pid=47944] ppid=47941 vsize=63556 memory=20696 CPUtime=0.64 cores=4,6
/proc/47944/stat : 47944 (roundingsat) R 47941 47941 47556 0 -1 4194304 2805 0 0 0 44 20 0 0 20 0 1 0 52020940 65081344 5174 18446744073709551615 4227072 8923433 140729068296416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36880384 140729068304802 140729068304936 140729068304936 140729068310506 0
/proc/47944/statm: 15889 5174 1952 1147 0 3316 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 67748 KiB
Current children cumulated memory: 23768 KiB

[startup+1.50043 s]
/proc/loadavg: 4.05 4.08 4.09 4/248 47997
/proc/meminfo: memFree=129407104/131382116 swapFree=33010684/33010684
[pid=47941] ppid=47938 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/47941/stat : 47941 (run-opt.sh) S 47938 47941 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52020939 4292608 768 18446744073709551615 94769498079232 94769498973765 140734290148592 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94769499212816 94769499260560 94769507450880 140734290151789 140734290151912 140734290151912 140734290157514 0
/proc/47941/statm: 1048 768 704 219 0 110 0
[pid=47944] ppid=47941 vsize=93936 memory=44220 CPUtime=1.44 cores=4,6
/proc/47944/stat : 47944 (roundingsat) R 47941 47941 47556 0 -1 4194304 9305 0 0 0 96 48 0 0 20 0 1 0 52020940 96190464 11055 18446744073709551615 4227072 8923433 140729068296416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36880384 140729068304802 140729068304936 140729068304936 140729068310506 0
/proc/47944/statm: 23484 11055 1952 1147 0 10911 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 98128 KiB
Current children cumulated memory: 47292 KiB

[startup+3.11322 s]
/proc/loadavg: 4.05 4.08 4.09 5/253 48010
/proc/meminfo: memFree=128675640/131382116 swapFree=33010684/33010684
[pid=47941] ppid=47938 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/47941/stat : 47941 (run-opt.sh) S 47938 47941 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52020939 4292608 768 18446744073709551615 94769498079232 94769498973765 140734290148592 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94769499212816 94769499260560 94769507450880 140734290151789 140734290151912 140734290151912 140734290157514 0
/proc/47941/statm: 1048 768 704 219 0 110 0
[pid=47944] ppid=47941 vsize=443968 memory=387544 CPUtime=3.05 cores=4,6
/proc/47944/stat : 47944 (roundingsat) R 47941 47941 47556 0 -1 4194304 28748 0 0 0 217 88 0 0 20 0 1 0 52020940 454623232 96886 18446744073709551615 4227072 8923433 140729068296416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36880384 140729068304802 140729068304936 140729068304936 140729068310506 0
/proc/47944/statm: 110992 96886 2272 1147 0 98419 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 448160 KiB
Current children cumulated memory: 390616 KiB

[startup+6.30036 s]
/proc/loadavg: 4.04 4.07 4.08 5/253 48010
/proc/meminfo: memFree=125683192/131382116 swapFree=33010684/33010684
[pid=47941] ppid=47938 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/47941/stat : 47941 (run-opt.sh) S 47938 47941 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52020939 4292608 768 18446744073709551615 94769498079232 94769498973765 140734290148592 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94769499212816 94769499260560 94769507450880 140734290151789 140734290151912 140734290151912 140734290157514 0
/proc/47941/statm: 1048 768 704 219 0 110 0
[pid=47944] ppid=47941 vsize=1195952 memory=937864 CPUtime=6.23 cores=4,6
/proc/47944/stat : 47944 (roundingsat) R 47941 47941 47556 0 -1 4194304 130950 0 0 0 459 164 0 0 20 0 1 0 52020940 1224654848 234466 18446744073709551615 4227072 8923433 140729068296416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36880384 140729068304802 140729068304936 140729068304936 140729068310506 0
/proc/47944/statm: 298988 234466 2400 1147 0 286415 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 1200144 KiB
Current children cumulated memory: 940936 KiB

[startup+12.7004 s]
/proc/loadavg: 4.04 4.07 4.08 5/253 48010
/proc/meminfo: memFree=125521068/131382116 swapFree=33010684/33010684
[pid=47941] ppid=47938 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/47941/stat : 47941 (run-opt.sh) S 47938 47941 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52020939 4292608 768 18446744073709551615 94769498079232 94769498973765 140734290148592 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94769499212816 94769499260560 94769507450880 140734290151789 140734290151912 140734290151912 140734290157514 0
/proc/47941/statm: 1048 768 704 219 0 110 0
[pid=47944] ppid=47941 vsize=1276860 memory=1004604 CPUtime=12.61 cores=4,6
/proc/47944/stat : 47944 (roundingsat) R 47941 47941 47556 0 -1 4194304 132308 0 0 0 1072 189 0 0 20 0 1 0 52020940 1307504640 251151 18446744073709551615 4227072 8923433 140729068296416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36880384 140729068304802 140729068304936 140729068304936 140729068310506 0
/proc/47944/statm: 319215 251151 2400 1147 0 306642 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 1281052 KiB
Current children cumulated memory: 1007676 KiB

[startup+25.5005 s]
/proc/loadavg: 4.10 4.08 4.09 5/254 48012
/proc/meminfo: memFree=124899336/131382116 swapFree=33010684/33010684
[pid=47941] ppid=47938 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/47941/stat : 47941 (run-opt.sh) S 47938 47941 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52020939 4292608 768 18446744073709551615 94769498079232 94769498973765 140734290148592 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94769499212816 94769499260560 94769507450880 140734290151789 140734290151912 140734290151912 140734290157514 0
/proc/47941/statm: 1048 768 704 219 0 110 0
[pid=47944] ppid=47941 vsize=1460864 memory=1153912 CPUtime=25.37 cores=4,6
/proc/47944/stat : 47944 (roundingsat) R 47941 47941 47556 0 -1 4194304 151777 0 0 0 2323 214 0 0 20 0 1 0 52020940 1495924736 288478 18446744073709551615 4227072 8923433 140729068296416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36880384 140729068304802 140729068304936 140729068304936 140729068310506 0
/proc/47944/statm: 365216 288478 2400 1147 0 352643 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 1465056 KiB
Current children cumulated memory: 1156984 KiB

[startup+51.1132 s]
/proc/loadavg: 4.06 4.08 4.09 5/254 48013
/proc/meminfo: memFree=123919876/131382116 swapFree=33010684/33010684
[pid=47941] ppid=47938 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/47941/stat : 47941 (run-opt.sh) S 47938 47941 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52020939 4292608 768 18446744073709551615 94769498079232 94769498973765 140734290148592 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94769499212816 94769499260560 94769507450880 140734290151789 140734290151912 140734290151912 140734290157514 0
/proc/47941/statm: 1048 768 704 219 0 110 0
[pid=47944] ppid=47941 vsize=1855232 memory=1409280 CPUtime=50.91 cores=4,6
/proc/47944/stat : 47944 (roundingsat) R 47941 47941 47556 0 -1 4194304 196593 0 0 0 4853 238 0 0 20 0 1 0 52020940 1899757568 352320 18446744073709551615 4227072 8923433 140729068296416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36880384 140729068304802 140729068304936 140729068304936 140729068310506 0
/proc/47944/statm: 463808 352320 2400 1147 0 451235 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 1859424 KiB
Current children cumulated memory: 1412352 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/257 48024
/proc/meminfo: memFree=123284400/131382116 swapFree=33010684/33010684
[pid=47941] ppid=47938 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/47941/stat : 47941 (run-opt.sh) S 47938 47941 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52020939 4292608 768 18446744073709551615 94769498079232 94769498973765 140734290148592 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94769499212816 94769499260560 94769507450880 140734290151789 140734290151912 140734290151912 140734290157514 0
/proc/47941/statm: 1048 768 704 219 0 110 0
[pid=47944] ppid=47941 vsize=1961748 memory=1527512 CPUtime=101.95 cores=4,6
/proc/47944/stat : 47944 (roundingsat) R 47941 47941 47556 0 -1 4194304 217516 0 0 0 9938 257 0 0 20 0 1 0 52020940 2008829952 381878 18446744073709551615 4227072 8923433 140729068296416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36880384 140729068304802 140729068304936 140729068304936 140729068310506 0
/proc/47944/statm: 490437 381878 2400 1147 0 477864 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 1965940 KiB
Current children cumulated memory: 1530584 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/257 48026
/proc/meminfo: memFree=122971828/131382116 swapFree=33010684/33010684
[pid=47941] ppid=47938 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/47941/stat : 47941 (run-opt.sh) S 47938 47941 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52020939 4292608 768 18446744073709551615 94769498079232 94769498973765 140734290148592 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94769499212816 94769499260560 94769507450880 140734290151789 140734290151912 140734290151912 140734290157514 0
/proc/47941/statm: 1048 768 704 219 0 110 0
[pid=47944] ppid=47941 vsize=1962648 memory=1550488 CPUtime=161.78 cores=4,6
/proc/47944/stat : 47944 (roundingsat) R 47941 47941 47556 0 -1 4194304 220201 0 0 0 15910 268 0 0 20 0 1 0 52020940 2009751552 387622 18446744073709551615 4227072 8923433 140729068296416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36880384 140729068304802 140729068304936 140729068304936 140729068310506 0
/proc/47944/statm: 490662 387622 2400 1147 0 478089 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 1966840 KiB
Current children cumulated memory: 1553560 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/257 48028
/proc/meminfo: memFree=122726996/131382116 swapFree=33010684/33010684
[pid=47941] ppid=47938 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/47941/stat : 47941 (run-opt.sh) S 47938 47941 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52020939 4292608 768 18446744073709551615 94769498079232 94769498973765 140734290148592 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94769499212816 94769499260560 94769507450880 140734290151789 140734290151912 140734290151912 140734290157514 0
/proc/47941/statm: 1048 768 704 219 0 110 0
[pid=47944] ppid=47941 vsize=2043012 memory=1646960 CPUtime=221.61 cores=4,6
/proc/47944/stat : 47944 (roundingsat) R 47941 47941 47556 0 -1 4194304 236315 0 0 0 21877 284 0 0 20 0 1 0 52020940 2092044288 411740 18446744073709551615 4227072 8923433 140729068296416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36880384 140729068304802 140729068304936 140729068304936 140729068310506 0
/proc/47944/statm: 510753 411740 2400 1147 0 498180 0
Current children cumulated CPU time: 221.61 s

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

[pid=47944] ppid=47941 vsize=3636616 memory=2933620 CPUtime=3093.59 cores=4,6
/proc/47944/stat : 47944 (roundingsat) R 47941 47941 47556 0 -1 4194304 414615 0 0 0 308638 721 0 0 20 0 1 0 52020940 3723894784 733405 18446744073709551615 4227072 8923433 140729068296416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36880384 140729068304802 140729068304936 140729068304936 140729068310506 0
/proc/47944/statm: 909154 733405 2400 1147 0 896581 0
Current children cumulated CPU time: 3093.59 s
Current children cumulated vsize: 3640808 KiB
Current children cumulated memory: 2936692 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.12 4.13 5/255 48182
/proc/meminfo: memFree=117736056/131382116 swapFree=33010684/33010684
[pid=47941] ppid=47938 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/47941/stat : 47941 (run-opt.sh) S 47938 47941 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52020939 4292608 768 18446744073709551615 94769498079232 94769498973765 140734290148592 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94769499212816 94769499260560 94769507450880 140734290151789 140734290151912 140734290151912 140734290157514 0
/proc/47941/statm: 1048 768 704 219 0 110 0
[pid=47944] ppid=47941 vsize=3636616 memory=2933620 CPUtime=3153.42 cores=4,6
/proc/47944/stat : 47944 (roundingsat) R 47941 47941 47556 0 -1 4194304 414636 0 0 0 314615 727 0 0 20 0 1 0 52020940 3723894784 733405 18446744073709551615 4227072 8923433 140729068296416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36880384 140729068304802 140729068304936 140729068304936 140729068310506 0
/proc/47944/statm: 909154 733405 2400 1147 0 896581 0
Current children cumulated CPU time: 3153.42 s
Current children cumulated vsize: 3640808 KiB
Current children cumulated memory: 2936692 KiB

[startup+3222.3 s]
/proc/loadavg: 4.18 4.13 4.13 5/255 48184
/proc/meminfo: memFree=117710288/131382116 swapFree=33010684/33010684
[pid=47941] ppid=47938 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/47941/stat : 47941 (run-opt.sh) S 47938 47941 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52020939 4292608 768 18446744073709551615 94769498079232 94769498973765 140734290148592 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94769499212816 94769499260560 94769507450880 140734290151789 140734290151912 140734290151912 140734290157514 0
/proc/47941/statm: 1048 768 704 219 0 110 0
[pid=47944] ppid=47941 vsize=3671080 memory=2961716 CPUtime=3213.26 cores=4,6
/proc/47944/stat : 47944 (roundingsat) R 47941 47941 47556 0 -1 4194304 420209 0 0 0 320592 734 0 0 20 0 1 0 52020940 3759185920 740429 18446744073709551615 4227072 8923433 140729068296416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36880384 140729068304802 140729068304936 140729068304936 140729068310506 0
/proc/47944/statm: 917770 740429 2400 1147 0 905197 0
Current children cumulated CPU time: 3213.26 s
Current children cumulated vsize: 3675272 KiB
Current children cumulated memory: 2964788 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.10 4.12 5/255 48186
/proc/meminfo: memFree=117704760/131382116 swapFree=33010684/33010684
[pid=47941] ppid=47938 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/47941/stat : 47941 (run-opt.sh) S 47938 47941 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52020939 4292608 768 18446744073709551615 94769498079232 94769498973765 140734290148592 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94769499212816 94769499260560 94769507450880 140734290151789 140734290151912 140734290151912 140734290157514 0
/proc/47941/statm: 1048 768 704 219 0 110 0
[pid=47944] ppid=47941 vsize=3671080 memory=2961716 CPUtime=3273.09 cores=4,6
/proc/47944/stat : 47944 (roundingsat) R 47941 47941 47556 0 -1 4194304 420849 0 0 0 326568 741 0 0 20 0 1 0 52020940 3759185920 740429 18446744073709551615 4227072 8923433 140729068296416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36880384 140729068304802 140729068304936 140729068304936 140729068310506 0
/proc/47944/statm: 917770 740429 2400 1147 0 905197 0
Current children cumulated CPU time: 3273.09 s
Current children cumulated vsize: 3675272 KiB
Current children cumulated memory: 2964788 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.12 5/255 48187
/proc/meminfo: memFree=117637676/131382116 swapFree=33010684/33010684
[pid=47941] ppid=47938 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/47941/stat : 47941 (run-opt.sh) S 47938 47941 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52020939 4292608 768 18446744073709551615 94769498079232 94769498973765 140734290148592 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94769499212816 94769499260560 94769507450880 140734290151789 140734290151912 140734290151912 140734290157514 0
/proc/47941/statm: 1048 768 704 219 0 110 0
[pid=47944] ppid=47941 vsize=3671080 memory=2961716 CPUtime=3332.93 cores=4,6
/proc/47944/stat : 47944 (roundingsat) R 47941 47941 47556 0 -1 4194304 420873 0 0 0 332547 746 0 0 20 0 1 0 52020940 3759185920 740429 18446744073709551615 4227072 8923433 140729068296416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36880384 140729068304802 140729068304936 140729068304936 140729068310506 0
/proc/47944/statm: 917770 740429 2400 1147 0 905197 0
Current children cumulated CPU time: 3332.93 s
Current children cumulated vsize: 3675272 KiB
Current children cumulated memory: 2964788 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.12 5/254 48189
/proc/meminfo: memFree=117618864/131382116 swapFree=33010684/33010684
[pid=47941] ppid=47938 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/47941/stat : 47941 (run-opt.sh) S 47938 47941 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52020939 4292608 768 18446744073709551615 94769498079232 94769498973765 140734290148592 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94769499212816 94769499260560 94769507450880 140734290151789 140734290151912 140734290151912 140734290157514 0
/proc/47941/statm: 1048 768 704 219 0 110 0
[pid=47944] ppid=47941 vsize=3675952 memory=2974916 CPUtime=3392.75 cores=4,6
/proc/47944/stat : 47944 (roundingsat) R 47941 47941 47556 0 -1 4194304 422192 0 0 0 338526 749 0 0 20 0 1 0 52020940 3764174848 743729 18446744073709551615 4227072 8923433 140729068296416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36880384 140729068304802 140729068304936 140729068304936 140729068310506 0
/proc/47944/statm: 918988 743729 2400 1147 0 906415 0
Current children cumulated CPU time: 3392.75 s
Current children cumulated vsize: 3680144 KiB
Current children cumulated memory: 2977988 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.10 4.11 5/254 48192
/proc/meminfo: memFree=117566608/131382116 swapFree=33010684/33010684
[pid=47941] ppid=47938 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/47941/stat : 47941 (run-opt.sh) S 47938 47941 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52020939 4292608 768 18446744073709551615 94769498079232 94769498973765 140734290148592 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94769499212816 94769499260560 94769507450880 140734290151789 140734290151912 140734290151912 140734290157514 0
/proc/47941/statm: 1048 768 704 219 0 110 0
[pid=47944] ppid=47941 vsize=3737644 memory=3033936 CPUtime=3452.59 cores=4,6
/proc/47944/stat : 47944 (roundingsat) R 47941 47941 47556 0 -1 4194304 431970 0 0 0 344503 756 0 0 20 0 1 0 52020940 3827347456 758484 18446744073709551615 4227072 8923433 140729068296416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36880384 140729068304802 140729068304936 140729068304936 140729068310506 0
/proc/47944/statm: 934411 758484 2400 1147 0 921838 0
Current children cumulated CPU time: 3452.59 s
Current children cumulated vsize: 3741836 KiB
Current children cumulated memory: 3037008 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.11 4.11 5/255 48195
/proc/meminfo: memFree=117402504/131382116 swapFree=33010684/33010684
[pid=47941] ppid=47938 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/47941/stat : 47941 (run-opt.sh) S 47938 47941 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52020939 4292608 768 18446744073709551615 94769498079232 94769498973765 140734290148592 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94769499212816 94769499260560 94769507450880 140734290151789 140734290151912 140734290151912 140734290157514 0
/proc/47941/statm: 1048 768 704 219 0 110 0
[pid=47944] ppid=47941 vsize=3737644 memory=3033936 CPUtime=3512.42 cores=4,6
/proc/47944/stat : 47944 (roundingsat) R 47941 47941 47556 0 -1 4194304 431996 0 0 0 350473 769 0 0 20 0 1 0 52020940 3827347456 758484 18446744073709551615 4227072 8923433 140729068296416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36880384 140729068304802 140729068304936 140729068304936 140729068310506 0
/proc/47944/statm: 934411 758484 2400 1147 0 921838 0
Current children cumulated CPU time: 3512.42 s
Current children cumulated vsize: 3741836 KiB
Current children cumulated memory: 3037008 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.10 4.10 5/255 48197
/proc/meminfo: memFree=117186832/131382116 swapFree=33010684/33010684
[pid=47941] ppid=47938 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/47941/stat : 47941 (run-opt.sh) S 47938 47941 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52020939 4292608 768 18446744073709551615 94769498079232 94769498973765 140734290148592 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94769499212816 94769499260560 94769507450880 140734290151789 140734290151912 140734290151912 140734290157514 0
/proc/47941/statm: 1048 768 704 219 0 110 0
[pid=47944] ppid=47941 vsize=3737644 memory=3033936 CPUtime=3572.25 cores=4,6
/proc/47944/stat : 47944 (roundingsat) R 47941 47941 47556 0 -1 4194304 432024 0 0 0 356449 776 0 0 20 0 1 0 52020940 3827347456 758484 18446744073709551615 4227072 8923433 140729068296416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36880384 140729068304802 140729068304936 140729068304936 140729068310506 0
/proc/47944/statm: 934411 758484 2400 1147 0 921838 0
Current children cumulated CPU time: 3572.25 s
Current children cumulated vsize: 3741836 KiB
Current children cumulated memory: 3037008 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.11 s]
/proc/loadavg: 4.12 4.11 4.11 5/255 48199
/proc/meminfo: memFree=117187840/131382116 swapFree=33010684/33010684
[pid=47941] ppid=47938 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/47941/stat : 47941 (run-opt.sh) S 47938 47941 47556 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52020939 4292608 768 18446744073709551615 94769498079232 94769498973765 140734290148592 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94769499212816 94769499260560 94769507450880 140734290151789 140734290151912 140734290151912 140734290157514 0
/proc/47941/statm: 1048 768 704 219 0 110 0
[pid=47944] ppid=47941 vsize=3737644 memory=3035984 CPUtime=3600 cores=4,6
/proc/47944/stat : 47944 (roundingsat) R 47941 47941 47556 0 -1 4194304 432548 0 0 0 359219 781 0 0 20 0 1 0 52020940 3827347456 758996 18446744073709551615 4227072 8923433 140729068296416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36880384 140729068304802 140729068304936 140729068304936 140729068310506 0
/proc/47944/statm: 934411 758996 2400 1147 0 921838 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 3741836 KiB
Current children cumulated memory: 3039056 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.000998 s, system=0.004024 s

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

# cumulated CPU time of all completed processes:  user=3592.3 s, system=7.86177 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+3610.2 s]*
/proc/loadavg: 4.12 4.11 4.11 5/254 48199
/proc/meminfo: memFree=118738164/131382116 swapFree=33010684/33010684
[pid=47944] ppid=47938 vsize=1714220 memory=1468632 CPUtime=3600.1 cores=4,6
/proc/47944/stat : 47944 (roundingsat) R 47938 47941 47556 0 -1 4194304 432609 0 0 0 359225 785 0 0 20 0 1 0 52020940 1755361280 367158 18446744073709551615 4227072 8923433 140729068296416 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 36880384 140729068304802 140729068304936 140729068304936 140729068310506 0
/proc/47944/statm: 428555 367158 2496 1147 0 415982 0
Current cumulated CPU time of completed processes: 0.005022 s
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 1714220 KiB
Current children cumulated memory: 1468632 KiB

Child status: 2

Real time (s): 3610.27
CPU time (s): 3600.16
CPU user time (s): 3592.3
CPU system time (s): 7.86177
CPU usage (%): 99.72
Max. virtual memory (cumulated for all children) (KiB): 3741836
Max. memory (cumulated for all children) (KiB): 3039056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.3
system time used= 7.86177
maximum resident set size= 3036368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 432989
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= 277
involuntary context switches= 2941


# summary of solver processes directly reported to runsolver:
#   pid: 47941,47944
#   total CPU time (s): 3600.16
#   total CPU user time (s): 3592.3
#   total CPU system time (s): 7.86177

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6826 second user time and 39.4264 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2025-07-01 11:50:15
IDJOB=4489690
IDBENCH=147561
IDSOLVER=3350
FILE ID=nodeC010/4489690-1751363415
RUNJOBID= nodeC010-1751359802-47567
SLURM_JOB_ID= 9598157
Free space on /tmp= 432636 MiB

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

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

MD5SUM BENCH= ac2beb72083c40d036c40a53754bf1b9
RANDOM SEED=1295137140

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        126515220 kB
MemAvailable:   127015956 kB
Buffers:            3280 kB
Cached:          1307968 kB
SwapCached:            0 kB
Active:          3318496 kB
Inactive:        1002252 kB
Active(anon):    3027528 kB
Inactive(anon):        0 kB
Active(file):     290968 kB
Inactive(file):  1002252 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             42268 kB
Writeback:             0 kB
AnonPages:       3012696 kB
Mapped:           109700 kB
Shmem:             17960 kB
KReclaimable:      94284 kB
Slab:             177972 kB
SReclaimable:      94284 kB
SUnreclaim:        83688 kB
KernelStack:        3888 kB
PageTables:         8884 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    3816804 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149288 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2906112 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205640 kB
DirectMap2M:    12279808 kB
DirectMap1G:    123731968 kB

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