Trace number 4489828

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.25 3613.99

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb
MD5SUM446effd89caaa2fd386cf7c17951a1a5
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark239
Best CPU time to get the best result obtained on this benchmark3587.14
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 494177
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 494177
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.26/3.37	c #variables 10000 #constraints 656900
3.26/3.37	c objective is ce32 
4.56/4.69	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
4.56/4.69	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
4.56/4.69	c GLOBAL bounds - >= 0 @ 3.21877
4.85/4.93	c GLOBAL bounds - >= 0 @ 3.44689
4.85/4.94	c GLOBAL bounds - >= 0 @ 3.45185
4.85/4.95	c GLOBAL bounds - >= 0 @ 3.45872
4.85/4.95	c GLOBAL bounds - >= 0 @ 3.46405
4.85/4.97	c GLOBAL bounds - >= 0 @ 3.47497
4.85/4.97	c GLOBAL bounds - >= 0 @ 3.47798
4.85/4.99	c GLOBAL bounds - >= 0 @ 3.49218
4.85/5.00	c GLOBAL bounds - >= 0 @ 3.50193
4.85/5.01	c GLOBAL bounds - >= 0 @ 3.50642
4.97/5.01	c GLOBAL bounds - >= 0 @ 3.51562
4.97/5.07	c GLOBAL bounds - >= 0 @ 3.5692
4.97/5.08	c GLOBAL bounds - >= 0 @ 3.57673
4.97/5.08	c GLOBAL bounds - >= 0 @ 3.58121
4.97/5.09	c GLOBAL bounds - >= 0 @ 3.59181
4.97/5.10	c GLOBAL bounds - >= 0 @ 3.60022
5.06/5.12	c GLOBAL bounds - >= 0 @ 3.61611
5.06/5.14	c GLOBAL bounds - >= 0 @ 3.63278
5.06/5.18	c GLOBAL bounds - >= 0 @ 3.6782
5.06/5.19	c GLOBAL bounds - >= 0 @ 3.68554
5.16/5.20	c GLOBAL bounds - >= 0 @ 3.69002
5.16/5.28	c GLOBAL bounds - >= 0 @ 3.76778
5.25/5.30	c GLOBAL bounds - >= 0 @ 3.79369
5.25/5.31	c GLOBAL bounds - >= 0 @ 3.80194
5.25/5.32	c GLOBAL bounds - >= 0 @ 3.80659
5.25/5.32	c GLOBAL bounds - >= 0 @ 3.81108
5.25/5.37	c GLOBAL bounds - >= 0 @ 3.85378
5.25/5.38	c GLOBAL bounds - >= 0 @ 3.8602
5.25/5.39	c GLOBAL bounds - >= 0 @ 3.87648
5.35/5.40	c GLOBAL bounds - >= 0 @ 3.8833
5.35/5.41	c GLOBAL bounds - >= 0 @ 3.89155
5.35/5.41	c GLOBAL bounds - >= 0 @ 3.89634
5.35/5.42	c GLOBAL bounds - >= 0 @ 3.90404
5.35/5.43	c GLOBAL bounds - >= 0 @ 3.91256
5.35/5.44	c GLOBAL bounds - >= 0 @ 3.92204
5.35/5.45	c GLOBAL bounds - >= 0 @ 3.93281
5.35/5.47	c GLOBAL bounds - >= 0 @ 3.94478
5.35/5.47	c GLOBAL bounds - >= 0 @ 3.94931
5.35/5.49	c GLOBAL bounds - >= 0 @ 3.96723
5.45/5.50	c GLOBAL bounds - >= 0 @ 3.97204
5.45/5.51	c GLOBAL bounds - >= 0 @ 3.98307
5.45/5.53	c GLOBAL bounds - >= 0 @ 3.99805
5.45/5.58	c GLOBAL bounds - >= 0 @ 4.0519
5.45/5.59	c GLOBAL bounds - >= 0 @ 4.05692
5.45/5.59	c GLOBAL bounds - >= 0 @ 4.06201
5.55/5.60	c GLOBAL bounds - >= 0 @ 4.06745
5.55/5.61	c GLOBAL bounds - >= 0 @ 4.07902
5.55/5.62	c GLOBAL bounds - >= 0 @ 4.08595
5.55/5.63	c GLOBAL bounds - >= 0 @ 4.09527
5.55/5.64	c GLOBAL bounds - >= 0 @ 4.10337
5.55/5.65	c GLOBAL bounds - >= 0 @ 4.11034
5.55/5.66	c GLOBAL bounds - >= 0 @ 4.12069
5.55/5.67	c GLOBAL bounds - >= 0 @ 4.12797
5.55/5.68	c GLOBAL bounds - >= 0 @ 4.13592
5.55/5.69	c GLOBAL bounds - >= 0 @ 4.14726
5.65/5.71	c GLOBAL bounds - >= 0 @ 4.15967
5.65/5.72	c GLOBAL bounds - >= 0 @ 4.17588
5.65/5.73	c GLOBAL bounds - >= 0 @ 4.18423
5.65/5.74	c GLOBAL bounds - >= 0 @ 4.19485
5.65/5.75	c GLOBAL bounds - >= 0 @ 4.20275
5.65/5.76	c GLOBAL bounds - >= 0 @ 4.21017
5.65/5.77	c GLOBAL bounds - >= 0 @ 4.21805
5.65/5.78	c GLOBAL bounds - >= 0 @ 4.22903
5.65/5.79	c GLOBAL bounds - >= 0 @ 4.23874
5.75/5.80	c GLOBAL bounds - >= 0 @ 4.24743
5.75/5.81	c GLOBAL bounds - >= 0 @ 4.25466
5.75/5.82	c GLOBAL bounds - >= 0 @ 4.26262
5.75/5.84	c GLOBAL bounds - >= 0 @ 4.27791
5.75/5.84	c GLOBAL bounds - >= 0 @ 4.28748
5.75/5.86	c GLOBAL bounds - >= 0 @ 4.29817
5.75/5.87	c GLOBAL bounds - >= 0 @ 4.30569
5.75/5.88	c GLOBAL bounds - >= 0 @ 4.31609
5.85/5.90	c GLOBAL bounds - >= 0 @ 4.3341
5.85/5.91	c GLOBAL bounds - >= 0 @ 4.34434
5.85/5.92	c GLOBAL bounds - >= 0 @ 4.35707
5.85/5.93	c GLOBAL bounds - >= 0 @ 4.36417
5.85/5.94	c GLOBAL bounds - >= 0 @ 4.36935
5.85/5.96	c GLOBAL bounds - >= 0 @ 4.38946
5.85/6.00	c GLOBAL bounds - >= 0 @ 4.42367
6.06/6.18	c #Conflicts:       1000 | #Constraints:     658054
6.06/6.18	c GLOBAL bounds - >= 0 @ 4.6018
6.15/6.25	c GLOBAL bounds - >= 0 @ 4.6746
6.15/6.26	c GLOBAL bounds - >= 0 @ 4.68193
6.15/6.29	c GLOBAL bounds - >= 0 @ 4.70164
6.25/6.31	c GLOBAL bounds - >= 0 @ 4.71965
6.25/6.32	c GLOBAL bounds - >= 0 @ 4.7293
6.25/6.33	c GLOBAL bounds - >= 0 @ 4.73645
6.25/6.36	c GLOBAL bounds - >= 0 @ 4.76439
6.25/6.37	c GLOBAL bounds - >= 0 @ 4.78123
6.25/6.39	c GLOBAL bounds - >= 0 @ 4.79394
6.25/6.40	c GLOBAL bounds - >= 0 @ 4.80277
6.35/6.41	c GLOBAL bounds - >= 0 @ 4.81136
6.35/6.42	c GLOBAL bounds - >= 0 @ 4.82205
6.35/6.46	c GLOBAL bounds - >= 0 @ 4.85906
6.35/6.47	c GLOBAL bounds - >= 0 @ 4.87041
6.35/6.48	c GLOBAL bounds - >= 0 @ 4.87814
6.35/6.48	c GLOBAL bounds - >= 0 @ 4.88475
6.45/6.50	c GLOBAL bounds - >= 0 @ 4.89686
6.45/6.51	c GLOBAL bounds - >= 0 @ 4.90668
6.45/6.52	c GLOBAL bounds - >= 0 @ 4.91855
6.45/6.57	c GLOBAL bounds - >= 0 @ 4.95286
6.45/6.58	c GLOBAL bounds - >= 0 @ 4.96298
6.45/6.59	c GLOBAL bounds - >= 0 @ 4.97361
6.55/6.60	c GLOBAL bounds - >= 0 @ 4.98041
6.55/6.61	c GLOBAL bounds - >= 0 @ 4.99021
6.55/6.62	c GLOBAL bounds - >= 0 @ 5.0009
6.55/6.63	c GLOBAL bounds - >= 0 @ 5.01037
6.55/6.65	c GLOBAL bounds - >= 0 @ 5.03085
6.55/6.66	c GLOBAL bounds - >= 0 @ 5.0393
6.55/6.67	c GLOBAL bounds - >= 0 @ 5.04894
6.55/6.69	c GLOBAL bounds - >= 0 @ 5.0565
6.64/6.70	c GLOBAL bounds - >= 0 @ 5.06705
6.64/6.71	c GLOBAL bounds - >= 0 @ 5.07994
6.64/6.74	c GLOBAL bounds - >= 0 @ 5.10933
6.64/6.75	c GLOBAL bounds - >= 0 @ 5.11884
6.75/6.90	c GLOBAL bounds - >= 0 @ 5.26013
6.85/6.91	c GLOBAL bounds - >= 0 @ 5.2731
6.85/6.92	c GLOBAL bounds - >= 0 @ 5.28602
6.85/6.93	c GLOBAL bounds - >= 0 @ 5.2951
6.85/6.94	c GLOBAL bounds - >= 0 @ 5.3063
6.85/6.98	c GLOBAL bounds - >= 0 @ 5.33896
6.85/7.00	c GLOBAL bounds - >= 0 @ 5.35592
6.96/7.02	c GLOBAL bounds - >= 0 @ 5.3781
6.96/7.04	c GLOBAL bounds - >= 0 @ 5.39459
6.96/7.05	c GLOBAL bounds - >= 0 @ 5.40911
6.96/7.08	c GLOBAL bounds - >= 0 @ 5.43888
6.96/7.09	c GLOBAL bounds - >= 0 @ 5.44688
6.96/7.11	c GLOBAL bounds - >= 0 @ 5.46246
7.06/7.13	c GLOBAL bounds - >= 0 @ 5.48092
7.15/7.25	c GLOBAL bounds - >= 0 @ 5.59943
7.15/7.27	c GLOBAL bounds - >= 0 @ 5.62451
7.15/7.28	c GLOBAL bounds - >= 0 @ 5.63539
7.24/7.30	c GLOBAL bounds - >= 0 @ 5.64968
7.24/7.32	c GLOBAL bounds - >= 0 @ 5.6681
7.24/7.35	c GLOBAL bounds - >= 0 @ 5.69322
7.24/7.36	c GLOBAL bounds - >= 0 @ 5.70478
7.24/7.37	c GLOBAL bounds - >= 0 @ 5.71393
7.35/7.45	c GLOBAL bounds - >= 0 @ 5.79636
7.45/7.51	c GLOBAL bounds - >= 0 @ 5.85352
7.45/7.53	c GLOBAL bounds - >= 0 @ 5.87397
7.45/7.55	c GLOBAL bounds - >= 0 @ 5.88476
7.45/7.59	c GLOBAL bounds - >= 0 @ 5.93012
7.55/7.61	c GLOBAL bounds - >= 0 @ 5.94172
7.55/7.63	c GLOBAL bounds - >= 0 @ 5.96141
7.55/7.64	c GLOBAL bounds - >= 0 @ 5.97513
7.55/7.66	c GLOBAL bounds - >= 0 @ 5.98659
7.55/7.67	c GLOBAL bounds - >= 0 @ 5.99727
7.55/7.69	c GLOBAL bounds - >= 0 @ 6.00973
7.64/7.71	c GLOBAL bounds - >= 0 @ 6.02554
7.64/7.75	c GLOBAL bounds - >= 0 @ 6.06286
7.75/7.88	c GLOBAL bounds - >= 0 @ 6.1878
7.84/7.98	c GLOBAL bounds - >= 0 @ 6.28561
7.84/8.01	c GLOBAL bounds - >= 0 @ 6.31215
7.95/8.02	c GLOBAL bounds - >= 0 @ 6.3246
7.95/8.04	c GLOBAL bounds - >= 0 @ 6.35011
7.95/8.05	c GLOBAL bounds - >= 0 @ 6.36089
7.95/8.08	c GLOBAL bounds - >= 0 @ 6.38706
7.95/8.09	c GLOBAL bounds - >= 0 @ 6.3981
8.06/8.11	c GLOBAL bounds - >= 0 @ 6.41705
8.06/8.13	c GLOBAL bounds - >= 0 @ 6.434
8.06/8.14	c GLOBAL bounds - >= 0 @ 6.44328
8.06/8.16	c GLOBAL bounds - >= 0 @ 6.45944
8.14/8.28	c GLOBAL bounds - >= 0 @ 6.57753
8.24/8.30	c GLOBAL bounds - >= 0 @ 6.59249
8.24/8.32	c GLOBAL bounds - >= 0 @ 6.61001
8.24/8.33	c GLOBAL bounds - >= 0 @ 6.6201
8.24/8.34	c GLOBAL bounds - >= 0 @ 6.63134
8.24/8.35	c GLOBAL bounds - >= 0 @ 6.64076
8.24/8.37	c GLOBAL bounds - >= 0 @ 6.65527
8.24/8.39	c GLOBAL bounds - >= 0 @ 6.67836
8.34/8.41	c GLOBAL bounds - >= 0 @ 6.69705
8.34/8.43	c GLOBAL bounds - >= 0 @ 6.70946
8.34/8.44	c GLOBAL bounds - >= 0 @ 6.71962
8.34/8.50	c GLOBAL bounds - >= 0 @ 6.77417
8.44/8.54	c GLOBAL bounds - >= 0 @ 6.8217
8.44/8.56	c GLOBAL bounds - >= 0 @ 6.8385
8.44/8.58	c GLOBAL bounds - >= 0 @ 6.85543
8.54/8.60	c GLOBAL bounds - >= 0 @ 6.87366
8.54/8.62	c GLOBAL bounds - >= 0 @ 6.8928
8.54/8.64	c GLOBAL bounds - >= 0 @ 6.91171
8.54/8.67	c GLOBAL bounds - >= 0 @ 6.93784
8.54/8.68	c GLOBAL bounds - >= 0 @ 6.9498
8.64/8.71	c GLOBAL bounds - >= 0 @ 6.97399
8.64/8.72	c GLOBAL bounds - >= 0 @ 6.98497
8.64/8.73	c GLOBAL bounds - >= 0 @ 6.99524
8.64/8.75	c GLOBAL bounds - >= 0 @ 7.01162
8.64/8.77	c GLOBAL bounds - >= 0 @ 7.03377
8.64/8.79	c GLOBAL bounds - >= 0 @ 7.0496
8.74/8.84	c GLOBAL bounds - >= 0 @ 7.09632
8.74/8.87	c GLOBAL bounds - >= 0 @ 7.12284
8.74/8.88	c GLOBAL bounds - >= 0 @ 7.13223
8.74/8.89	c GLOBAL bounds - >= 0 @ 7.14678
8.85/8.91	c GLOBAL bounds - >= 0 @ 7.16176
8.85/8.94	c GLOBAL bounds - >= 0 @ 7.18399
8.85/8.95	c GLOBAL bounds - >= 0 @ 7.19779
8.95/9.06	c GLOBAL bounds - >= 0 @ 7.31027
8.95/9.09	c GLOBAL bounds - >= 0 @ 7.33382
8.95/9.10	c GLOBAL bounds - >= 0 @ 7.34293
9.06/9.11	c GLOBAL bounds - >= 0 @ 7.35527
9.06/9.13	c GLOBAL bounds - >= 0 @ 7.36901
9.14/9.24	c GLOBAL bounds - >= 0 @ 7.48002
9.14/9.27	c GLOBAL bounds - >= 0 @ 7.5106
9.14/9.28	c GLOBAL bounds - >= 0 @ 7.51761
9.34/9.45	c GLOBAL bounds - >= 0 @ 7.68349
9.34/9.48	c GLOBAL bounds - >= 0 @ 7.70342
9.34/9.50	c GLOBAL bounds - >= 0 @ 7.72373
9.44/9.53	c GLOBAL bounds - >= 0 @ 7.75854
9.95/10.06	c #Conflicts:       2000 | #Constraints:     659308
9.95/10.06	c INPROCESSING
9.95/10.06	c GLOBAL bounds - >= 0 @ 8.27814
9.95/10.07	c GLOBAL bounds - >= 0 @ 8.28919
9.95/10.09	c GLOBAL bounds - >= 0 @ 8.3048
9.95/10.10	c GLOBAL bounds - >= 0 @ 8.32071
10.04/10.13	c GLOBAL bounds - >= 0 @ 8.35007
10.14/10.20	c GLOBAL bounds - >= 0 @ 8.41259
10.14/10.21	c GLOBAL bounds - >= 0 @ 8.42856
10.14/10.27	c GLOBAL bounds - >= 0 @ 8.47815
10.14/10.29	c GLOBAL bounds - >= 0 @ 8.50108
10.24/10.33	c GLOBAL bounds - >= 0 @ 8.5396
10.24/10.34	c GLOBAL bounds - >= 0 @ 8.55109
10.24/10.39	c GLOBAL bounds - >= 0 @ 8.59939
10.33/10.40	c GLOBAL bounds - >= 0 @ 8.61237
10.33/10.49	c GLOBAL bounds - >= 0 @ 8.70019
10.44/10.51	c GLOBAL bounds - >= 0 @ 8.71853
10.44/10.54	c GLOBAL bounds - >= 0 @ 8.74155
10.44/10.56	c GLOBAL bounds - >= 0 @ 8.76169
10.44/10.59	c GLOBAL bounds - >= 0 @ 8.78685
10.53/10.61	c GLOBAL bounds - >= 0 @ 8.80578
10.53/10.62	c GLOBAL bounds - >= 0 @ 8.8141
10.53/10.63	c GLOBAL bounds - >= 0 @ 8.82436
10.53/10.66	c GLOBAL bounds - >= 0 @ 8.85754
10.53/10.68	c GLOBAL bounds - >= 0 @ 8.87618
10.64/10.70	c GLOBAL bounds - >= 0 @ 8.89263
10.64/10.72	c GLOBAL bounds - >= 0 @ 8.90567
10.64/10.73	c GLOBAL bounds - >= 0 @ 8.91344
10.64/10.75	c GLOBAL bounds - >= 0 @ 8.93236
10.64/10.78	c GLOBAL bounds - >= 0 @ 8.95641
10.73/10.84	c GLOBAL bounds - >= 0 @ 9.01393
10.73/10.88	c GLOBAL bounds - >= 0 @ 9.05847
10.84/10.90	c GLOBAL bounds - >= 0 @ 9.07667
10.84/10.93	c GLOBAL bounds - >= 0 @ 9.10557
10.84/10.95	c GLOBAL bounds - >= 0 @ 9.11911
10.84/10.97	c GLOBAL bounds - >= 0 @ 9.13682
10.84/10.99	c GLOBAL bounds - >= 0 @ 9.15356
10.84/11.00	c GLOBAL bounds - >= 0 @ 9.1659
10.95/11.03	c GLOBAL bounds - >= 0 @ 9.19147
10.95/11.05	c GLOBAL bounds - >= 0 @ 9.20846
11.04/11.13	c GLOBAL bounds - >= 0 @ 9.28548
11.13/11.23	c GLOBAL bounds - >= 0 @ 9.38324
11.13/11.24	c GLOBAL bounds - >= 0 @ 9.39467
11.13/11.25	c GLOBAL bounds - >= 0 @ 9.40356
11.13/11.28	c GLOBAL bounds - >= 0 @ 9.42685
11.23/11.30	c GLOBAL bounds - >= 0 @ 9.44943
11.23/11.33	c GLOBAL bounds - >= 0 @ 9.4764
11.23/11.35	c GLOBAL bounds - >= 0 @ 9.49759
11.23/11.37	c GLOBAL bounds - >= 0 @ 9.5167
11.23/11.39	c GLOBAL bounds - >= 0 @ 9.53051
11.33/11.42	c GLOBAL bounds - >= 0 @ 9.55501
11.33/11.43	c GLOBAL bounds - >= 0 @ 9.56623
12.04/12.19	c GLOBAL bounds - >= 0 @ 10.3146
12.13/12.24	c GLOBAL bounds - >= 0 @ 10.3631
12.13/12.28	c GLOBAL bounds - >= 0 @ 10.402
13.72/13.82	c #Conflicts:       3000 | #Constraints:     659422
13.72/13.82	c GLOBAL bounds - >= 0 @ 11.9141
13.82/13.99	c GLOBAL bounds - >= 0 @ 12.0858
13.93/14.09	c GLOBAL bounds - >= 0 @ 12.1898
14.13/14.28	c GLOBAL bounds - >= 0 @ 12.3701
14.23/14.34	c GLOBAL bounds - >= 0 @ 12.4314
14.32/14.46	c GLOBAL bounds - >= 0 @ 12.5473
14.32/14.48	c GLOBAL bounds - >= 0 @ 12.5725
14.42/14.51	c GLOBAL bounds - >= 0 @ 12.5932
14.42/14.54	c GLOBAL bounds - >= 0 @ 12.6279
14.53/14.62	c GLOBAL bounds - >= 0 @ 12.7061
15.22/15.38	c GLOBAL bounds - >= 0 @ 13.453
15.32/15.40	c GLOBAL bounds - >= 0 @ 13.4723
15.52/15.68	c GLOBAL bounds - >= 0 @ 13.7458
15.62/15.74	c GLOBAL bounds - >= 0 @ 13.8009
15.62/15.77	c GLOBAL bounds - >= 0 @ 13.8378
16.42/16.53	c GLOBAL bounds - >= 0 @ 14.5861
16.82/16.97	c #Conflicts:       4000 | #Constraints:     660454
16.82/16.97	c GLOBAL bounds - >= 0 @ 15.01
16.93/17.10	c GLOBAL bounds - >= 0 @ 15.1334
17.02/17.11	c GLOBAL bounds - >= 0 @ 15.1491
17.02/17.13	c GLOBAL bounds - >= 0 @ 15.1678
17.02/17.15	c GLOBAL bounds - >= 0 @ 15.1863
17.02/17.17	c GLOBAL bounds - >= 0 @ 15.2055
17.11/17.21	c GLOBAL bounds - >= 0 @ 15.2376
17.11/17.24	c GLOBAL bounds - >= 0 @ 15.2667
18.21/18.33	c INPROCESSING
18.21/18.33	c GARBAGE COLLECT
18.21/18.33	c GLOBAL bounds - >= 0 @ 16.3448
18.21/18.37	c GLOBAL bounds - >= 0 @ 16.3788
18.21/18.39	c GLOBAL bounds - >= 0 @ 16.3967
18.61/18.70	c GLOBAL bounds - >= 0 @ 16.7054
19.02/19.11	c GLOBAL bounds - >= 0 @ 17.1127
19.02/19.15	c GLOBAL bounds - >= 0 @ 17.151
19.21/19.38	c GLOBAL bounds - >= 0 @ 17.3694
19.31/19.49	c GLOBAL bounds - >= 0 @ 17.4854
19.40/19.53	c GLOBAL bounds - >= 0 @ 17.5202
19.80/20.01	c GLOBAL bounds - >= 0 @ 17.9933
19.91/20.03	c GLOBAL bounds - >= 0 @ 18.017
20.21/20.31	c GLOBAL bounds - >= 0 @ 18.2945
20.21/20.39	c GLOBAL bounds - >= 0 @ 18.3715
20.30/20.42	c GLOBAL bounds - >= 0 @ 18.4003
20.40/20.50	c GLOBAL bounds - >= 0 @ 18.4775
21.10/21.20	c #Conflicts:       5000 | #Constraints:     659898
21.10/21.20	c GLOBAL bounds - >= 0 @ 19.1759
21.40/21.51	c GLOBAL bounds - >= 0 @ 19.4783
21.50/21.61	c GLOBAL bounds - >= 0 @ 19.5786
21.50/21.65	c GLOBAL bounds - >= 0 @ 19.6121
21.60/21.78	c GLOBAL bounds - >= 0 @ 19.7408
26.99/27.13	c #Conflicts:       6000 | #Constraints:     660908
26.99/27.13	c GLOBAL bounds - >= 0 @ 25.0326
29.07/29.24	c INPROCESSING
29.07/29.24	c GARBAGE COLLECT
29.07/29.24	c GLOBAL bounds - >= 0 @ 27.1166
32.36/32.59	c #Conflicts:       7000 | #Constraints:     659924
32.36/32.59	c GLOBAL bounds - >= 0 @ 30.4375
32.66/32.85	c GLOBAL bounds - >= 0 @ 30.6988
32.76/32.94	c GLOBAL bounds - >= 0 @ 30.787
32.76/32.97	c GLOBAL bounds - >= 0 @ 30.807
33.05/33.22	c GLOBAL bounds - >= 0 @ 31.062
34.15/34.30	c GLOBAL bounds - >= 0 @ 32.1349
34.25/34.41	c GLOBAL bounds - >= 0 @ 32.2444
34.25/34.45	c GLOBAL bounds - >= 0 @ 32.2841
34.25/34.48	c GLOBAL bounds - >= 0 @ 32.3091
34.35/34.51	c GLOBAL bounds - >= 0 @ 32.3374
34.35/34.56	c GLOBAL bounds - >= 0 @ 32.3902
34.35/34.59	c GLOBAL bounds - >= 0 @ 32.4108
34.45/34.63	c GLOBAL bounds - >= 0 @ 32.4587
34.55/34.72	c GLOBAL bounds - >= 0 @ 32.5425
34.55/34.74	c GLOBAL bounds - >= 0 @ 32.5572
34.55/34.76	c GLOBAL bounds - >= 0 @ 32.5757
34.55/34.78	c GLOBAL bounds - >= 0 @ 32.6007
35.64/35.84	c GLOBAL bounds - >= 0 @ 33.6438
35.86/36.08	c GLOBAL bounds - >= 0 @ 33.8816
35.96/36.16	c GLOBAL bounds - >= 0 @ 33.9601
36.04/36.20	c GLOBAL bounds - >= 0 @ 33.999
36.04/36.26	c #Conflicts:       8000 | #Constraints:     660966
36.04/36.26	c GLOBAL bounds - >= 0 @ 34.0582
36.15/36.33	c GLOBAL bounds - >= 0 @ 34.1188
36.54/36.75	c GLOBAL bounds - >= 0 @ 34.5345
36.64/36.80	c GLOBAL bounds - >= 0 @ 34.5823
36.74/36.95	c GLOBAL bounds - >= 0 @ 34.7269
36.74/36.99	c GLOBAL bounds - >= 0 @ 34.7656
36.86/37.02	c GLOBAL bounds - >= 0 @ 34.7897
36.86/37.04	c GLOBAL bounds - >= 0 @ 34.8092
36.86/37.11	c GLOBAL bounds - >= 0 @ 34.8708
36.95/37.14	c GLOBAL bounds - >= 0 @ 34.903
36.95/37.17	c GLOBAL bounds - >= 0 @ 34.9274
37.04/37.25	c GLOBAL bounds - >= 0 @ 35.0095
37.04/37.30	c GLOBAL bounds - >= 0 @ 35.0514
37.14/37.34	c GLOBAL bounds - >= 0 @ 35.0965
37.63/37.87	c GLOBAL bounds - >= 0 @ 35.6146
38.14/38.33	c GLOBAL bounds - >= 0 @ 36.0628
38.44/38.67	c GLOBAL bounds - >= 0 @ 36.4037
38.63/38.83	c GLOBAL bounds - >= 0 @ 36.5578
39.33/39.56	c GLOBAL bounds - >= 0 @ 37.2736
39.43/39.64	c GLOBAL bounds - >= 0 @ 37.3588
39.43/39.68	c GLOBAL bounds - >= 0 @ 37.3974
39.53/39.72	c GLOBAL bounds - >= 0 @ 37.4294
39.53/39.74	c GLOBAL bounds - >= 0 @ 37.4475
41.32/41.53	c #Conflicts:       9000 | #Constraints:     662012
41.32/41.53	c GLOBAL bounds - >= 0 @ 39.1936
43.12/43.34	c INPROCESSING
43.12/43.34	c GARBAGE COLLECT
43.12/43.34	c GLOBAL bounds - >= 0 @ 40.9849
43.22/43.42	c GLOBAL bounds - >= 0 @ 41.0655
43.22/43.48	c GLOBAL bounds - >= 0 @ 41.1293
43.32/43.54	c GLOBAL bounds - >= 0 @ 41.1785
44.41/44.65	c GLOBAL bounds - >= 0 @ 42.2743
44.62/44.80	c GLOBAL bounds - >= 0 @ 42.4262
44.83/45.02	c GLOBAL bounds - >= 0 @ 42.6435
45.11/45.38	c GLOBAL bounds - >= 0 @ 42.9946
45.92/46.19	c GLOBAL bounds - >= 0 @ 43.7948
46.31/46.55	c #Conflicts:      10000 | #Constraints:     660725
46.31/46.55	c GLOBAL bounds - >= 0 @ 44.1531
48.30/48.51	c GLOBAL bounds - >= 0 @ 46.1045
52.59/52.89	c #Conflicts:      11000 | #Constraints:     661729
52.59/52.89	c GLOBAL bounds - >= 0 @ 50.45
53.38/53.68	c GLOBAL bounds - >= 0 @ 51.2278
54.48/54.71	c GLOBAL bounds - >= 0 @ 52.2461
56.37/56.62	c GLOBAL bounds - >= 0 @ 54.1296
56.46/56.74	c GLOBAL bounds - >= 0 @ 54.2532
56.46/56.78	c GLOBAL bounds - >= 0 @ 54.2883
76.89/77.27	c #Conflicts:      12000 | #Constraints:     662741
76.89/77.27	c INPROCESSING
76.89/77.27	c GARBAGE COLLECT
76.89/77.27	c #Conflicts:      13000 | #Constraints:     661194
76.89/77.27	c #Conflicts:      14000 | #Constraints:     662194
76.89/77.27	c GLOBAL bounds - >= 0 @ 74.621
77.09/77.41	c GLOBAL bounds - >= 0 @ 74.7597
77.09/77.44	c GLOBAL bounds - >= 0 @ 74.7915
77.19/77.57	c GLOBAL bounds - >= 0 @ 74.9142
78.89/79.22	c GLOBAL bounds - >= 0 @ 76.5539
79.09/79.49	c GLOBAL bounds - >= 0 @ 76.8261
79.19/79.57	c GLOBAL bounds - >= 0 @ 76.8996
80.97/81.32	c GLOBAL bounds - >= 0 @ 78.6324
81.08/81.45	c GLOBAL bounds - >= 0 @ 78.7609
84.06/84.41	c #Conflicts:      15000 | #Constraints:     663212
84.06/84.41	c INPROCESSING
84.06/84.41	c GARBAGE COLLECT
84.06/84.41	c GLOBAL bounds - >= 0 @ 81.676
128.79/129.30	c #Conflicts:      16000 | #Constraints:     661441
128.79/129.30	c #Conflicts:      17000 | #Constraints:     662441
128.79/129.30	c #Conflicts:      18000 | #Constraints:     663441
128.79/129.30	c INPROCESSING
128.79/129.30	c GARBAGE COLLECT
128.79/129.30	c #Conflicts:      19000 | #Constraints:     661467
128.79/129.30	c GLOBAL bounds - >= 0 @ 126.32
140.35/140.93	c #Conflicts:      20000 | #Constraints:     662469
140.35/140.93	c GLOBAL bounds - >= 0 @ 137.887
180.10/180.80	c #Conflicts:      21000 | #Constraints:     663471
180.10/180.80	c INPROCESSING
180.10/180.80	c GARBAGE COLLECT
180.10/180.80	c #Conflicts:      22000 | #Constraints:     661269
180.10/180.80	c #Conflicts:      23000 | #Constraints:     662269
180.10/180.80	c GLOBAL bounds - >= 0 @ 177.486
185.17/186.00	c GLOBAL bounds - >= 0 @ 182.652
185.58/186.36	c GLOBAL bounds - >= 0 @ 183.012
186.28/187.08	c GLOBAL bounds - >= 0 @ 183.724
189.16/189.91	c GLOBAL bounds - >= 0 @ 186.52
223.63/224.54	c #Conflicts:      24000 | #Constraints:     663279
223.63/224.54	c #Conflicts:      25000 | #Constraints:     664279
223.63/224.54	c INPROCESSING
223.63/224.54	c GARBAGE COLLECT
223.63/224.54	c #Conflicts:      26000 | #Constraints:     661882
223.63/224.54	c #Conflicts:      27000 | #Constraints:     662882
223.63/224.54	c GLOBAL bounds - >= 0 @ 220.906
287.38/288.50	c #Conflicts:      28000 | #Constraints:     663884
287.38/288.50	c #Conflicts:      29000 | #Constraints:     664884
287.38/288.50	c INPROCESSING
287.38/288.50	c GARBAGE COLLECT
287.38/288.50	c #Conflicts:      30000 | #Constraints:     662280
287.38/288.50	c #Conflicts:      31000 | #Constraints:     663280
287.38/288.50	c #Conflicts:      32000 | #Constraints:     664280
287.38/288.50	c #Conflicts:      33000 | #Constraints:     665280
287.38/288.50	c INPROCESSING
287.38/288.50	c GARBAGE COLLECT
287.38/288.50	c GLOBAL bounds - >= 0 @ 284.419
292.87/294.05	c #Conflicts:      34000 | #Constraints:     662488
292.87/294.05	c GLOBAL bounds - >= 0 @ 289.939
302.22/303.44	c #Conflicts:      35000 | #Constraints:     663490
302.22/303.44	c GLOBAL bounds - >= 0 @ 299.254
302.62/303.80	c GLOBAL bounds - >= 0 @ 299.606
311.19/312.42	c #Conflicts:      36000 | #Constraints:     664494
311.19/312.42	c GLOBAL bounds - >= 0 @ 308.178
327.62/328.95	c #Conflicts:      37000 | #Constraints:     665496
327.62/328.95	c INPROCESSING
327.62/328.95	c GARBAGE COLLECT
327.62/328.95	c #Conflicts:      38000 | #Constraints:     662503
327.62/328.95	c GLOBAL bounds - >= 0 @ 324.614
330.73/332.04	c GLOBAL bounds - >= 0 @ 327.682
331.12/332.40	c GLOBAL bounds - >= 0 @ 328.038
331.21/332.51	c GLOBAL bounds - >= 0 @ 328.142
355.52/356.91	c #Conflicts:      39000 | #Constraints:     663511
355.52/356.91	c #Conflicts:      40000 | #Constraints:     664511
355.52/356.91	c #Conflicts:      41000 | #Constraints:     665511
355.52/356.91	c INPROCESSING
355.52/356.91	c GARBAGE COLLECT
355.52/356.91	c #Conflicts:      42000 | #Constraints:     662312
355.52/356.91	c GLOBAL bounds - >= 0 @ 352.415
356.52/358.00	c GLOBAL bounds - >= 0 @ 353.49
382.63/384.20	c #Conflicts:      43000 | #Constraints:     663316
382.63/384.20	c #Conflicts:      44000 | #Constraints:     664316
382.63/384.20	c #Conflicts:      45000 | #Constraints:     665316
382.63/384.20	c GLOBAL bounds - >= 0 @ 379.538
386.21/387.74	c GLOBAL bounds - >= 0 @ 383.067
475.77/477.62	c #Conflicts:      46000 | #Constraints:     666320
475.77/477.62	c INPROCESSING
475.77/477.62	c GARBAGE COLLECT
475.77/477.62	c #Conflicts:      47000 | #Constraints:     662914
475.77/477.62	c #Conflicts:      48000 | #Constraints:     663914
475.77/477.62	c #Conflicts:      49000 | #Constraints:     664914
475.77/477.62	c #Conflicts:      50000 | #Constraints:     665914
475.77/477.62	c #Conflicts:      51000 | #Constraints:     666914
475.77/477.62	c INPROCESSING
475.77/477.62	c GARBAGE COLLECT
475.77/477.62	c #Conflicts:      52000 | #Constraints:     663309
475.77/477.62	c #Conflicts:      53000 | #Constraints:     664309
475.77/477.62	c GLOBAL bounds - >= 0 @ 472.325
477.06/478.99	c GLOBAL bounds - >= 0 @ 473.681
481.94/483.82	c GLOBAL bounds - >= 0 @ 478.486
482.25/484.19	c GLOBAL bounds - >= 0 @ 478.844
484.73/486.63	c #Conflicts:      54000 | #Constraints:     665317
484.73/486.63	c GLOBAL bounds - >= 0 @ 481.268
495.88/497.85	c #Conflicts:      55000 | #Constraints:     666319
495.88/497.85	c GLOBAL bounds - >= 0 @ 492.421
687.96/690.64	c #Conflicts:      56000 | #Constraints:     667321
687.96/690.64	c INPROCESSING
687.96/690.64	c GARBAGE COLLECT
687.96/690.64	c #Conflicts:      57000 | #Constraints:     663516
687.96/690.64	c #Conflicts:      58000 | #Constraints:     664516
687.96/690.64	c #Conflicts:      59000 | #Constraints:     665516
687.96/690.64	c #Conflicts:      60000 | #Constraints:     666516
687.96/690.64	c #Conflicts:      61000 | #Constraints:     667516
687.96/690.64	c INPROCESSING
687.96/690.64	c GARBAGE COLLECT
687.96/690.64	c #Conflicts:      62000 | #Constraints:     663525
687.96/690.64	c #Conflicts:      63000 | #Constraints:     664525
687.96/690.64	c #Conflicts:      64000 | #Constraints:     665525
687.96/690.64	c #Conflicts:      65000 | #Constraints:     666525
687.96/690.64	c #Conflicts:      66000 | #Constraints:     667525
687.96/690.64	c INPROCESSING
687.96/690.64	c GARBAGE COLLECT
687.96/690.64	c #Conflicts:      67000 | #Constraints:     663325
687.96/690.64	c #Conflicts:      68000 | #Constraints:     664325
687.96/690.64	c #Conflicts:      69000 | #Constraints:     665325
687.96/690.64	c #Conflicts:      70000 | #Constraints:     666325
687.96/690.64	c #Conflicts:      71000 | #Constraints:     667325
687.96/690.64	c #Conflicts:      72000 | #Constraints:     668325
687.96/690.64	c INPROCESSING
687.96/690.64	c GARBAGE COLLECT
687.96/690.64	c #Conflicts:      73000 | #Constraints:     663922
687.96/690.64	c GLOBAL bounds - >= 0 @ 683.966
719.35/722.19	c #Conflicts:      74000 | #Constraints:     664924
719.35/722.19	c #Conflicts:      75000 | #Constraints:     665924
719.35/722.19	c #Conflicts:      76000 | #Constraints:     666924
719.35/722.19	c GLOBAL bounds - >= 0 @ 715.348
884.81/888.20	c #Conflicts:      77000 | #Constraints:     667926
884.81/888.20	c #Conflicts:      78000 | #Constraints:     668926
884.81/888.20	c INPROCESSING
884.81/888.20	c GARBAGE COLLECT
884.81/888.20	c #Conflicts:      79000 | #Constraints:     664333
884.81/888.20	c #Conflicts:      80000 | #Constraints:     665333
884.81/888.20	c #Conflicts:      81000 | #Constraints:     666333
884.81/888.20	c #Conflicts:      82000 | #Constraints:     667333
884.81/888.20	c #Conflicts:      83000 | #Constraints:     668333
884.81/888.20	c #Conflicts:      84000 | #Constraints:     669333
884.81/888.20	c INPROCESSING
884.81/888.20	c GARBAGE COLLECT
884.81/888.20	c #Conflicts:      85000 | #Constraints:     664539
884.81/888.20	c #Conflicts:      86000 | #Constraints:     665539
884.81/888.20	c #Conflicts:      87000 | #Constraints:     666539
884.81/888.20	c #Conflicts:      88000 | #Constraints:     667539
884.81/888.20	c #Conflicts:      89000 | #Constraints:     668539
884.81/888.20	c #Conflicts:      90000 | #Constraints:     669539
884.81/888.20	c INPROCESSING
884.81/888.20	c GARBAGE COLLECT
884.81/888.20	c GLOBAL bounds - >= 0 @ 880.466
911.00/914.51	c #Conflicts:      91000 | #Constraints:     664542
911.00/914.51	c #Conflicts:      92000 | #Constraints:     665542
911.00/914.51	c #Conflicts:      93000 | #Constraints:     666542
911.00/914.51	c GLOBAL bounds - >= 0 @ 906.637
911.71/915.27	c GLOBAL bounds - >= 0 @ 907.389
999.48/1003.33	c #Conflicts:      94000 | #Constraints:     667546
999.48/1003.33	c #Conflicts:      95000 | #Constraints:     668546
999.48/1003.33	c #Conflicts:      96000 | #Constraints:     669546
999.48/1003.33	c INPROCESSING
999.48/1003.33	c GARBAGE COLLECT
999.48/1003.33	c #Conflicts:      97000 | #Constraints:     664347
999.48/1003.33	c #Conflicts:      98000 | #Constraints:     665347
999.48/1003.33	c #Conflicts:      99000 | #Constraints:     666347
999.48/1003.33	c #Conflicts:     100000 | #Constraints:     667347
999.48/1003.33	c #Conflicts:     101000 | #Constraints:     668347
999.48/1003.33	c #Conflicts:     102000 | #Constraints:     669347
999.48/1003.33	c GLOBAL bounds - >= 0 @ 995.004
1014.23/1018.18	c #Conflicts:     103000 | #Constraints:     670349
1014.23/1018.18	c INPROCESSING
1014.23/1018.18	c GARBAGE COLLECT
1014.23/1018.18	c GLOBAL bounds - >= 0 @ 1009.73
1016.71/1020.64	c GLOBAL bounds - >= 0 @ 1012.17
1316.77/1321.87	c #Conflicts:     104000 | #Constraints:     664945
1316.77/1321.87	c #Conflicts:     105000 | #Constraints:     665945
1316.77/1321.87	c #Conflicts:     106000 | #Constraints:     666945
1316.77/1321.87	c #Conflicts:     107000 | #Constraints:     667945
1316.77/1321.87	c #Conflicts:     108000 | #Constraints:     668945
1316.77/1321.87	c #Conflicts:     109000 | #Constraints:     669945
1316.77/1321.87	c #Conflicts:     110000 | #Constraints:     670945
1316.77/1321.87	c INPROCESSING
1316.77/1321.87	c GARBAGE COLLECT
1316.77/1321.87	c #Conflicts:     111000 | #Constraints:     665347
1316.77/1321.87	c #Conflicts:     112000 | #Constraints:     666347
1316.77/1321.87	c #Conflicts:     113000 | #Constraints:     667347
1316.77/1321.87	c #Conflicts:     114000 | #Constraints:     668347
1316.77/1321.87	c #Conflicts:     115000 | #Constraints:     669347
1316.77/1321.87	c #Conflicts:     116000 | #Constraints:     670347
1316.77/1321.87	c #Conflicts:     117000 | #Constraints:     671347
1316.77/1321.87	c INPROCESSING
1316.77/1321.87	c GARBAGE COLLECT
1316.77/1321.87	c #Conflicts:     118000 | #Constraints:     665544
1316.77/1321.87	c #Conflicts:     119000 | #Constraints:     666544
1316.77/1321.87	c #Conflicts:     120000 | #Constraints:     667544
1316.77/1321.87	c #Conflicts:     121000 | #Constraints:     668544
1316.77/1321.87	c #Conflicts:     122000 | #Constraints:     669544
1316.77/1321.87	c GLOBAL bounds - >= 0 @ 1311.66
2199.82/2208.29	c #Conflicts:     123000 | #Constraints:     670546
2199.82/2208.29	c #Conflicts:     124000 | #Constraints:     671546
2199.82/2208.29	c INPROCESSING
2199.82/2208.29	c GARBAGE COLLECT
2199.82/2208.29	c #Conflicts:     125000 | #Constraints:     665540
2199.82/2208.29	c #Conflicts:     126000 | #Constraints:     666540
2199.82/2208.29	c #Conflicts:     127000 | #Constraints:     667540
2199.82/2208.29	c #Conflicts:     128000 | #Constraints:     668540
2199.82/2208.29	c #Conflicts:     129000 | #Constraints:     669540
2199.82/2208.29	c #Conflicts:     130000 | #Constraints:     670540
2199.82/2208.29	c #Conflicts:     131000 | #Constraints:     671540
2199.82/2208.29	c INPROCESSING
2199.82/2208.29	c GARBAGE COLLECT
2199.82/2208.29	c #Conflicts:     132000 | #Constraints:     665349
2199.82/2208.29	c #Conflicts:     133000 | #Constraints:     666349
2199.82/2208.29	c #Conflicts:     134000 | #Constraints:     667349
2199.82/2208.29	c #Conflicts:     135000 | #Constraints:     668349
2199.82/2208.29	c #Conflicts:     136000 | #Constraints:     669349
2199.82/2208.29	c #Conflicts:     137000 | #Constraints:     670349
2199.82/2208.29	c #Conflicts:     138000 | #Constraints:     671349
2199.82/2208.29	c #Conflicts:     139000 | #Constraints:     672349
2199.82/2208.29	c INPROCESSING
2199.82/2208.29	c GARBAGE COLLECT
2199.82/2208.29	c #Conflicts:     140000 | #Constraints:     665963
2199.82/2208.29	c #Conflicts:     141000 | #Constraints:     666963
2199.82/2208.29	c #Conflicts:     142000 | #Constraints:     667963
2199.82/2208.29	c #Conflicts:     143000 | #Constraints:     668963
2199.82/2208.29	c #Conflicts:     144000 | #Constraints:     669963
2199.82/2208.29	c #Conflicts:     145000 | #Constraints:     670963
2199.82/2208.29	c #Conflicts:     146000 | #Constraints:     671963
2199.82/2208.29	c #Conflicts:     147000 | #Constraints:     672963
2199.82/2208.29	c INPROCESSING
2199.82/2208.29	c GARBAGE COLLECT
2199.82/2208.29	c #Conflicts:     148000 | #Constraints:     666377
2199.82/2208.29	c #Conflicts:     149000 | #Constraints:     667377
2199.82/2208.29	c #Conflicts:     150000 | #Constraints:     668377
2199.82/2208.29	c #Conflicts:     151000 | #Constraints:     669377
2199.82/2208.29	c #Conflicts:     152000 | #Constraints:     670377
2199.82/2208.29	c #Conflicts:     153000 | #Constraints:     671377
2199.82/2208.29	c #Conflicts:     154000 | #Constraints:     672377
2199.82/2208.29	c #Conflicts:     155000 | #Constraints:     673377
2199.82/2208.29	c INPROCESSING
2199.82/2208.29	c GARBAGE COLLECT
2199.82/2208.29	c #Conflicts:     156000 | #Constraints:     666578
2199.82/2208.29	c #Conflicts:     157000 | #Constraints:     667578
2199.82/2208.29	c #Conflicts:     158000 | #Constraints:     668578
2199.82/2208.29	c #Conflicts:     159000 | #Constraints:     669578
2199.82/2208.29	c #Conflicts:     160000 | #Constraints:     670578
2199.82/2208.29	c #Conflicts:     161000 | #Constraints:     671578
2199.82/2208.29	c #Conflicts:     162000 | #Constraints:     672578
2199.82/2208.29	c #Conflicts:     163000 | #Constraints:     673578
2199.82/2208.29	c INPROCESSING
2199.82/2208.29	c GARBAGE COLLECT
2199.82/2208.29	c #Conflicts:     164000 | #Constraints:     666576
2199.82/2208.29	c #Conflicts:     165000 | #Constraints:     667576
2199.82/2208.29	c #Conflicts:     166000 | #Constraints:     668576
2199.82/2208.29	c #Conflicts:     167000 | #Constraints:     669576
2199.82/2208.29	c #Conflicts:     168000 | #Constraints:     670576
2199.82/2208.29	c #Conflicts:     169000 | #Constraints:     671576
2199.82/2208.29	c #Conflicts:     170000 | #Constraints:     672576
2199.82/2208.29	c #Conflicts:     171000 | #Constraints:     673576
2199.82/2208.29	c INPROCESSING
2199.82/2208.29	c GARBAGE COLLECT
2199.82/2208.29	c GLOBAL bounds - >= 0 @ 2193.48
2199.92/2208.36	c GLOBAL bounds - >= 0 @ 2193.55
2201.63/2210.02	c GLOBAL bounds - >= 0 @ 2195.19
2201.92/2210.34	c #Conflicts:     172000 | #Constraints:     666372
2201.92/2210.34	c GLOBAL bounds - >= 0 @ 2195.51
2202.31/2210.77	c GLOBAL bounds - >= 0 @ 2195.94
2202.73/2211.12	c GLOBAL bounds - >= 0 @ 2196.29
2251.82/2260.43	c #Conflicts:     173000 | #Constraints:     667378
2251.82/2260.43	c #Conflicts:     174000 | #Constraints:     668378
2251.82/2260.43	c #Conflicts:     175000 | #Constraints:     669378
2251.82/2260.43	c GLOBAL bounds - >= 0 @ 2245.3
2261.79/2270.46	c #Conflicts:     176000 | #Constraints:     670380
2261.79/2270.46	c GLOBAL bounds - >= 0 @ 2255.27
2269.06/2277.79	c GLOBAL bounds - >= 0 @ 2262.55
3366.65/3379.50	c #Conflicts:     177000 | #Constraints:     671384
3366.65/3379.50	c #Conflicts:     178000 | #Constraints:     672384
3366.65/3379.50	c #Conflicts:     179000 | #Constraints:     673384
3366.65/3379.50	c #Conflicts:     180000 | #Constraints:     674384
3366.65/3379.50	c INPROCESSING
3366.65/3379.50	c GARBAGE COLLECT
3366.65/3379.50	c #Conflicts:     181000 | #Constraints:     666967
3366.65/3379.50	c #Conflicts:     182000 | #Constraints:     667967
3366.65/3379.50	c #Conflicts:     183000 | #Constraints:     668967
3366.65/3379.50	c #Conflicts:     184000 | #Constraints:     669967
3366.65/3379.50	c #Conflicts:     185000 | #Constraints:     670967
3366.65/3379.50	c #Conflicts:     186000 | #Constraints:     671967
3366.65/3379.50	c #Conflicts:     187000 | #Constraints:     672967
3366.65/3379.50	c #Conflicts:     188000 | #Constraints:     673967
3366.65/3379.50	c #Conflicts:     189000 | #Constraints:     674967
3366.65/3379.50	c INPROCESSING
3366.65/3379.50	c GARBAGE COLLECT
3366.65/3379.50	c #Conflicts:     190000 | #Constraints:     667376
3366.65/3379.50	c #Conflicts:     191000 | #Constraints:     668376
3366.65/3379.50	c #Conflicts:     192000 | #Constraints:     669376
3366.65/3379.50	c #Conflicts:     193000 | #Constraints:     670376
3366.65/3379.50	c #Conflicts:     194000 | #Constraints:     671376
3366.65/3379.50	c #Conflicts:     195000 | #Constraints:     672376
3366.65/3379.50	c #Conflicts:     196000 | #Constraints:     673376
3366.65/3379.50	c #Conflicts:     197000 | #Constraints:     674376
3366.65/3379.50	c #Conflicts:     198000 | #Constraints:     675376
3366.65/3379.50	c INPROCESSING
3366.65/3379.50	c GARBAGE COLLECT
3366.65/3379.50	c #Conflicts:     199000 | #Constraints:     667583
3366.65/3379.50	c #Conflicts:     200000 | #Constraints:     668583
3366.65/3379.50	c #Conflicts:     201000 | #Constraints:     669583
3366.65/3379.50	c #Conflicts:     202000 | #Constraints:     670583
3366.65/3379.50	c #Conflicts:     203000 | #Constraints:     671583
3366.65/3379.50	c #Conflicts:     204000 | #Constraints:     672583
3366.65/3379.50	c #Conflicts:     205000 | #Constraints:     673583
3366.65/3379.50	c #Conflicts:     206000 | #Constraints:     674583
3366.65/3379.50	c #Conflicts:     207000 | #Constraints:     675583
3366.65/3379.50	c INPROCESSING
3366.65/3379.50	c GARBAGE COLLECT
3366.65/3379.50	c #Conflicts:     208000 | #Constraints:     667591
3366.65/3379.50	c #Conflicts:     209000 | #Constraints:     668591
3366.65/3379.50	c #Conflicts:     210000 | #Constraints:     669591
3366.65/3379.50	c #Conflicts:     211000 | #Constraints:     670591
3366.65/3379.50	c #Conflicts:     212000 | #Constraints:     671591
3366.65/3379.50	c #Conflicts:     213000 | #Constraints:     672591
3366.65/3379.50	c #Conflicts:     214000 | #Constraints:     673591
3366.65/3379.50	c #Conflicts:     215000 | #Constraints:     674591
3366.65/3379.50	c #Conflicts:     216000 | #Constraints:     675591
3366.65/3379.50	c INPROCESSING
3366.65/3379.50	c GARBAGE COLLECT
3366.65/3379.50	c #Conflicts:     217000 | #Constraints:     667390
3366.65/3379.50	c #Conflicts:     218000 | #Constraints:     668390
3366.65/3379.50	c #Conflicts:     219000 | #Constraints:     669390
3366.65/3379.50	c #Conflicts:     220000 | #Constraints:     670390
3366.65/3379.50	c #Conflicts:     221000 | #Constraints:     671390
3366.65/3379.50	c #Conflicts:     222000 | #Constraints:     672390
3366.65/3379.50	c #Conflicts:     223000 | #Constraints:     673390
3366.65/3379.50	c #Conflicts:     224000 | #Constraints:     674390
3366.65/3379.50	c #Conflicts:     225000 | #Constraints:     675390
3366.65/3379.50	c #Conflicts:     226000 | #Constraints:     676390
3366.65/3379.50	c INPROCESSING
3366.65/3379.50	c GARBAGE COLLECT
3366.65/3379.50	c #Conflicts:     227000 | #Constraints:     667994
3366.65/3379.50	c #Conflicts:     228000 | #Constraints:     668994
3366.65/3379.50	c #Conflicts:     229000 | #Constraints:     669994
3366.65/3379.50	c #Conflicts:     230000 | #Constraints:     670994
3366.65/3379.50	c #Conflicts:     231000 | #Constraints:     671994
3366.65/3379.50	c #Conflicts:     232000 | #Constraints:     672994
3366.65/3379.50	c #Conflicts:     233000 | #Constraints:     673994
3366.65/3379.50	c #Conflicts:     234000 | #Constraints:     674994
3366.65/3379.50	c #Conflicts:     235000 | #Constraints:     675994
3366.65/3379.50	c #Conflicts:     236000 | #Constraints:     676994
3366.65/3379.50	c INPROCESSING
3366.65/3379.50	c GARBAGE COLLECT
3366.65/3379.50	c #Conflicts:     237000 | #Constraints:     668382
3366.65/3379.50	c #Conflicts:     238000 | #Constraints:     669382
3366.65/3379.50	c #Conflicts:     239000 | #Constraints:     670382
3366.65/3379.50	c #Conflicts:     240000 | #Constraints:     671382
3366.65/3379.50	c GLOBAL bounds - >= 0 @ 3358.89
3600.05/3613.80	c #Conflicts:     241000 | #Constraints:     672384
3600.05/3613.80	c #Conflicts:     242000 | #Constraints:     673384
3600.05/3613.80	c #Conflicts:     243000 | #Constraints:     674384
3600.05/3613.80	c #Conflicts:     244000 | #Constraints:     675384
3600.05/3613.80	c #Conflicts:     245000 | #Constraints:     676384
3600.05/3613.80	c #Conflicts:     246000 | #Constraints:     677384
3600.05/3613.80	c INPROCESSING
3600.05/3613.80	c GARBAGE COLLECT
3600.05/3613.80	c #Conflicts:     247000 | #Constraints:     668589
3600.05/3613.80	c #Conflicts:     248000 | #Constraints:     669589
3600.05/3613.80	c #Conflicts:     249000 | #Constraints:     670589
3600.05/3613.80	c cpu time 3591.83 s
3600.05/3613.80	c deterministic time 1 1.00e+00
3600.05/3613.80	c optimization time 3589.39 s
3600.05/3613.80	c total solve time 0 s
3600.05/3613.80	c core-guided solve time 0 s
3600.05/3613.80	c propagation time 0.304878 s
3600.05/3613.80	c conflict analysis time 0 s
3600.05/3613.80	c propagations 0
3600.05/3613.80	c resolve steps 0
3600.05/3613.80	c decisions 0
3600.05/3613.80	c conflicts 0
3600.05/3613.80	c restarts 0
3600.05/3613.80	c inprocessing phases 0
3600.05/3613.80	c garbage collections 0 ,( -nan )
3600.05/3613.80	c input clauses 656900 ,( 100.00 )
3600.05/3613.80	c input cardinalities 0 ,( 0.00 )
3600.05/3613.80	c input general constraints 0 ,( 0.00 )
3600.05/3613.80	c input average constraint length 2.03
3600.05/3613.80	c input average constraint degree 1.00
3600.05/3613.80	c learned clauses 0 ,( 0.00 )
3600.05/3613.80	c learned cardinalities 0 ,( 0.00 )
3600.05/3613.80	c learned general constraints 0 ,( 0.00 )
3600.05/3613.80	c learned average constraint length 0.00
3600.05/3613.80	c learned average constraint degree 0.00
3600.05/3613.80	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.05/3613.80	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.05/3613.80	c watched   constraints 0 ,( -nan ) 
3600.05/3613.80	c counting  constraints 0 ,( -nan ) 
3600.05/3613.80	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.05/3613.80	c gcd simplifications 0
3600.05/3613.80	c detected cardinalities 0
3600.05/3613.80	c weakened non-implied lits 0
3600.05/3613.80	c weakened non-implying lits 0
3600.05/3613.80	c original variables 10000
3600.05/3613.80	c clausal propagations 0
3600.05/3613.80	c cardinality propagations 0
3600.05/3613.80	c watched propagations 0
3600.05/3613.80	c counting propagations 0
3600.05/3613.80	c watch lookups 0
3600.05/3613.80	c watch backjump lookups 0
3600.05/3613.80	c watch checks 0
3600.05/3613.80	c propagation checks 0
3600.05/3613.80	c constraint additions 0
3600.05/3613.80	c trail pops 0
3600.05/3613.80	c formula constraints 656900
3600.05/3613.80	c learned constraints 0
3600.05/3613.80	c bound constraints 0
3600.05/3613.80	c core-guided constraints 0
3600.05/3613.80	c encountered formula constraints 0
3600.05/3613.80	c encountered learned constraints 0
3600.05/3613.80	c encountered bound constraints 0
3600.05/3613.80	c encountered core-guided constraints 0
3600.05/3613.80	c LP total time 0 s
3600.05/3613.80	c LP solve time 0 s
3600.05/3613.80	c LP constraints added 0
3600.05/3613.80	c LP constraints removed 0
3600.05/3613.80	c LP pivots internal 0
3600.05/3613.80	c LP pivots root 0
3600.05/3613.80	c LP calls 0
3600.05/3613.80	c LP optimalities 0
3600.05/3613.80	c LP no pivot count 0
3600.05/3613.80	c LP infeasibilities 0
3600.05/3613.80	c LP valid Farkas constraints 0
3600.05/3613.80	c LP learned Farkas constraints 0
3600.05/3613.80	c LP basis resets 0
3600.05/3613.80	c LP cycling count 0
3600.05/3613.80	c LP singular count 0
3600.05/3613.80	c LP no primal count 0
3600.05/3613.80	c LP no farkas count 0
3600.05/3613.80	c LP other issue count 0
3600.05/3613.80	c LP Gomory cuts 0
3600.05/3613.80	c LP learned cuts 0
3600.05/3613.80	c LP deleted cuts 0
3600.05/3613.80	c LP encountered Gomory constraints 0
3600.05/3613.80	c LP encountered Farkas constraints 0
3600.05/3613.80	c LP encountered learned Farkas constraints 0
3600.05/3613.80	c CG auxiliary variables introduced 0
3600.05/3613.80	c CG solutions found 0
3600.05/3613.80	c CG cores constructed 0
3600.05/3613.80	c CG core cardinality constraints returned 0
3600.05/3613.80	c CG unit cores 0
3600.05/3613.80	c CG single cores 0
3600.05/3613.80	c CG blocks removed during cardinality reduction 0
3600.05/3613.80	c CG first core best 0
3600.05/3613.80	c CG decision core best 0
3600.05/3613.80	c CG core reduction tie 0
3600.05/3613.80	c CG core degree average 0.00
3600.05/3613.80	c CG core slack average 0.00
3600.05/3613.80	c CG core upper bound improvements 0
3600.05/3613.80	c STR number of successful calls 0
3600.05/3613.80	c STR number of unsuccessful calls 0
3600.05/3613.80	c STR number of inconclusive calls 0
3600.05/3613.80	c STR number of successful attempts 0
3600.05/3613.80	c STR number of unsuccessful attempts 0
3600.05/3613.80	c STR number of inconclusive attempts 0
3600.05/3613.80	c STR average degree increase per successful call inf
3600.05/3613.80	c STR average degree increase per successful attempt inf
3600.05/3613.80	c STR total number of conflicts for successful attempts 0
3600.05/3613.80	c STR total number of conflicts for unsuccessful attempts 0
3600.05/3613.80	c STR total number of conflicts for inconclusive attempts 0
3600.05/3613.80	c STR average number of conflicts per successful attempt inf
3600.05/3613.80	c STR average number of conflicts per unsuccessful attempt inf
3600.05/3613.80	c STR average number of conflicts per inconclusive attempt inf
3600.05/3613.80	c AVG.sumWPerc -nan 
3600.05/3613.80	c bigint constraints 0 
3600.05/3613.80	s UNKNOWN
3600.05/3613.80	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 (63113 MiB free)
  memory of node 1: 64465 MiB (63186 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.10007 s]*
/proc/loadavg: 4.05 4.08 4.09 5/253 48010
/proc/meminfo: memFree=129311668/131382116 swapFree=33010684/33010684
[pid=48008] ppid=48005 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/48008/stat : 48008 (run-opt.sh) S 48005 48008 47556 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52021105 4292608 768 18446744073709551615 94910205706240 94910206600773 140731116012256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94910206839824 94910206887568 94910230286336 140731116013933 140731116014056 140731116014056 140731116019658 0
/proc/48008/statm: 1048 768 704 219 0 110 0
[pid=48010] ppid=48008 vsize=57980 memory=12884 CPUtime=0.08 cores=1,3
/proc/48010/stat : 48010 (roundingsat) R 48008 48008 47556 0 -1 4194304 1452 0 0 0 5 3 0 0 20 0 1 0 52021106 59371520 3221 18446744073709551615 4227072 8923433 140730905391168 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21319680 140730905393570 140730905393704 140730905393704 140730905399274 0
/proc/48010/statm: 14495 3221 1856 1147 0 1922 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 62172 KiB
Current children cumulated memory: 15956 KiB

[startup+0.211533 s]*
/proc/loadavg: 4.05 4.08 4.09 5/253 48010
/proc/meminfo: memFree=129301524/131382116 swapFree=33010684/33010684
[pid=48008] ppid=48005 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/48008/stat : 48008 (run-opt.sh) S 48005 48008 47556 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52021105 4292608 768 18446744073709551615 94910205706240 94910206600773 140731116012256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94910206839824 94910206887568 94910230286336 140731116013933 140731116014056 140731116014056 140731116019658 0
/proc/48008/statm: 1048 768 704 219 0 110 0
[pid=48010] ppid=48008 vsize=59028 memory=13908 CPUtime=0.19 cores=1,3
/proc/48010/stat : 48010 (roundingsat) R 48008 48008 47556 0 -1 4194304 1719 0 0 0 12 7 0 0 20 0 1 0 52021106 60444672 3477 18446744073709551615 4227072 8923433 140730905391168 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21319680 140730905393570 140730905393704 140730905393704 140730905399274 0
/proc/48010/statm: 14757 3477 1856 1147 0 2184 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 63220 KiB
Current children cumulated memory: 16980 KiB

[startup+0.311354 s]*
/proc/loadavg: 4.05 4.08 4.09 5/253 48010
/proc/meminfo: memFree=129297492/131382116 swapFree=33010684/33010684
[pid=48008] ppid=48005 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/48008/stat : 48008 (run-opt.sh) S 48005 48008 47556 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52021105 4292608 768 18446744073709551615 94910205706240 94910206600773 140731116012256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94910206839824 94910206887568 94910230286336 140731116013933 140731116014056 140731116014056 140731116019658 0
/proc/48008/statm: 1048 768 704 219 0 110 0
[pid=48010] ppid=48008 vsize=60328 memory=14932 CPUtime=0.29 cores=1,3
/proc/48010/stat : 48010 (roundingsat) R 48008 48008 47556 0 -1 4194304 1982 0 0 0 20 9 0 0 20 0 1 0 52021106 61775872 3733 18446744073709551615 4227072 8923433 140730905391168 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21319680 140730905393570 140730905393704 140730905393704 140730905399274 0
/proc/48010/statm: 15082 3733 1856 1147 0 2509 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 64520 KiB
Current children cumulated memory: 18004 KiB

[startup+0.700343 s]
/proc/loadavg: 4.05 4.08 4.09 5/253 48010
/proc/meminfo: memFree=129273236/131382116 swapFree=33010684/33010684
[pid=48008] ppid=48005 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/48008/stat : 48008 (run-opt.sh) S 48005 48008 47556 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52021105 4292608 768 18446744073709551615 94910205706240 94910206600773 140731116012256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94910206839824 94910206887568 94910230286336 140731116013933 140731116014056 140731116014056 140731116019658 0
/proc/48008/statm: 1048 768 704 219 0 110 0
[pid=48010] ppid=48008 vsize=66540 memory=21056 CPUtime=0.66 cores=1,3
/proc/48010/stat : 48010 (roundingsat) R 48008 48008 47556 0 -1 4194304 3027 0 0 0 46 20 0 0 20 0 1 0 52021106 68136960 5264 18446744073709551615 4227072 8923433 140730905391168 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21319680 140730905393570 140730905393704 140730905393704 140730905399274 0
/proc/48010/statm: 16635 5264 1856 1147 0 4062 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 70732 KiB
Current children cumulated memory: 24128 KiB

[startup+1.50038 s]
/proc/loadavg: 4.05 4.08 4.09 5/253 48010
/proc/meminfo: memFree=129036104/131382116 swapFree=33010684/33010684
[pid=48008] ppid=48005 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/48008/stat : 48008 (run-opt.sh) S 48005 48008 47556 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52021105 4292608 768 18446744073709551615 94910205706240 94910206600773 140731116012256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94910206839824 94910206887568 94910230286336 140731116013933 140731116014056 140731116014056 140731116019658 0
/proc/48008/statm: 1048 768 704 219 0 110 0
[pid=48010] ppid=48008 vsize=94464 memory=45348 CPUtime=1.47 cores=1,3
/proc/48010/stat : 48010 (roundingsat) R 48008 48008 47556 0 -1 4194304 9723 0 0 0 103 44 0 0 20 0 1 0 52021106 96731136 11337 18446744073709551615 4227072 8923433 140730905391168 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21319680 140730905393570 140730905393704 140730905393704 140730905399274 0
/proc/48010/statm: 23616 11337 1856 1147 0 11043 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 98656 KiB
Current children cumulated memory: 48420 KiB

[startup+3.11328 s]
/proc/loadavg: 4.05 4.08 4.09 5/253 48010
/proc/meminfo: memFree=126309420/131382116 swapFree=33010684/33010684
[pid=48008] ppid=48005 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/48008/stat : 48008 (run-opt.sh) S 48005 48008 47556 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52021105 4292608 768 18446744073709551615 94910205706240 94910206600773 140731116012256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94910206839824 94910206887568 94910230286336 140731116013933 140731116014056 140731116014056 140731116019658 0
/proc/48008/statm: 1048 768 704 219 0 110 0
[pid=48010] ppid=48008 vsize=996788 memory=525412 CPUtime=3.07 cores=1,3
/proc/48010/stat : 48010 (roundingsat) R 48008 48008 47556 0 -1 4194304 32629 0 0 0 223 84 0 0 20 0 1 0 52021106 1020710912 131353 18446744073709551615 4227072 8923433 140730905391168 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21319680 140730905393570 140730905393704 140730905393704 140730905399274 0
/proc/48010/statm: 249197 131353 2208 1147 0 236624 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 1000980 KiB
Current children cumulated memory: 528484 KiB

[startup+6.30035 s]
/proc/loadavg: 4.04 4.07 4.08 5/253 48010
/proc/meminfo: memFree=125659252/131382116 swapFree=33010684/33010684
[pid=48008] ppid=48005 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/48008/stat : 48008 (run-opt.sh) S 48005 48008 47556 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52021105 4292608 768 18446744073709551615 94910205706240 94910206600773 140731116012256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94910206839824 94910206887568 94910230286336 140731116013933 140731116014056 140731116014056 140731116019658 0
/proc/48008/statm: 1048 768 704 219 0 110 0
[pid=48010] ppid=48008 vsize=1195952 memory=936436 CPUtime=6.25 cores=1,3
/proc/48010/stat : 48010 (roundingsat) R 48008 48008 47556 0 -1 4194304 131514 0 0 0 471 154 0 0 20 0 1 0 52021106 1224654848 234109 18446744073709551615 4227072 8923433 140730905391168 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21319680 140730905393570 140730905393704 140730905393704 140730905399274 0
/proc/48010/statm: 298988 234109 2336 1147 0 286415 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 1200144 KiB
Current children cumulated memory: 939508 KiB

[startup+12.7004 s]
/proc/loadavg: 4.04 4.07 4.08 5/253 48010
/proc/meminfo: memFree=125451444/131382116 swapFree=33010684/33010684
[pid=48008] ppid=48005 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/48008/stat : 48008 (run-opt.sh) S 48005 48008 47556 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52021105 4292608 768 18446744073709551615 94910205706240 94910206600773 140731116012256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94910206839824 94910206887568 94910230286336 140731116013933 140731116014056 140731116014056 140731116019658 0
/proc/48008/statm: 1048 768 704 219 0 110 0
[pid=48010] ppid=48008 vsize=1276860 memory=1003176 CPUtime=12.63 cores=1,3
/proc/48010/stat : 48010 (roundingsat) R 48008 48008 47556 0 -1 4194304 132871 0 0 0 1081 182 0 0 20 0 1 0 52021106 1307504640 250794 18446744073709551615 4227072 8923433 140730905391168 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21319680 140730905393570 140730905393704 140730905393704 140730905399274 0
/proc/48010/statm: 319215 250794 2336 1147 0 306642 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1281052 KiB
Current children cumulated memory: 1006248 KiB

[startup+25.5004 s]
/proc/loadavg: 4.10 4.08 4.09 5/254 48013
/proc/meminfo: memFree=124765556/131382116 swapFree=33010684/33010684
[pid=48008] ppid=48005 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/48008/stat : 48008 (run-opt.sh) S 48005 48008 47556 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52021105 4292608 768 18446744073709551615 94910205706240 94910206600773 140731116012256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94910206839824 94910206887568 94910230286336 140731116013933 140731116014056 140731116014056 140731116019658 0
/proc/48008/statm: 1048 768 704 219 0 110 0
[pid=48010] ppid=48008 vsize=1475764 memory=1171892 CPUtime=25.38 cores=1,3
/proc/48010/stat : 48010 (roundingsat) R 48008 48008 47556 0 -1 4194304 156215 0 0 0 2342 196 0 0 20 0 1 0 52021106 1511182336 292973 18446744073709551615 4227072 8923433 140730905391168 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21319680 140730905393570 140730905393704 140730905393704 140730905399274 0
/proc/48010/statm: 368941 292973 2336 1147 0 356368 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1479956 KiB
Current children cumulated memory: 1174964 KiB

[startup+51.1135 s]
/proc/loadavg: 4.06 4.08 4.09 5/254 48013
/proc/meminfo: memFree=123919876/131382116 swapFree=33010684/33010684
[pid=48008] ppid=48005 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/48008/stat : 48008 (run-opt.sh) S 48005 48008 47556 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52021105 4292608 768 18446744073709551615 94910205706240 94910206600773 140731116012256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94910206839824 94910206887568 94910230286336 140731116013933 140731116014056 140731116014056 140731116019658 0
/proc/48008/statm: 1048 768 704 219 0 110 0
[pid=48010] ppid=48008 vsize=1803484 memory=1350732 CPUtime=50.91 cores=1,3
/proc/48010/stat : 48010 (roundingsat) R 48008 48008 47556 0 -1 4194304 188156 0 0 0 4868 223 0 0 20 0 1 0 52021106 1846767616 337683 18446744073709551615 4227072 8923433 140730905391168 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21319680 140730905393570 140730905393704 140730905393704 140730905399274 0
/proc/48010/statm: 450871 337683 2336 1147 0 438298 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 1807676 KiB
Current children cumulated memory: 1353804 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=48008] ppid=48005 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/48008/stat : 48008 (run-opt.sh) S 48005 48008 47556 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52021105 4292608 768 18446744073709551615 94910205706240 94910206600773 140731116012256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94910206839824 94910206887568 94910230286336 140731116013933 140731116014056 140731116014056 140731116019658 0
/proc/48008/statm: 1048 768 704 219 0 110 0
[pid=48010] ppid=48008 vsize=1952756 memory=1519712 CPUtime=101.9 cores=1,3
/proc/48010/stat : 48010 (roundingsat) R 48008 48008 47556 0 -1 4194304 215595 0 0 0 9947 243 0 0 20 0 1 0 52021106 1999622144 379928 18446744073709551615 4227072 8923433 140730905391168 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21319680 140730905393570 140730905393704 140730905393704 140730905399274 0
/proc/48010/statm: 488189 379928 2336 1147 0 475616 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 1956948 KiB
Current children cumulated memory: 1522784 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/257 48026
/proc/meminfo: memFree=122959920/131382116 swapFree=33010684/33010684
[pid=48008] ppid=48005 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/48008/stat : 48008 (run-opt.sh) S 48005 48008 47556 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52021105 4292608 768 18446744073709551615 94910205706240 94910206600773 140731116012256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94910206839824 94910206887568 94910230286336 140731116013933 140731116014056 140731116014056 140731116019658 0
/proc/48008/statm: 1048 768 704 219 0 110 0
[pid=48010] ppid=48008 vsize=2075020 memory=1678476 CPUtime=161.67 cores=1,3
/proc/48010/stat : 48010 (roundingsat) R 48008 48008 47556 0 -1 4194304 241008 0 0 0 15908 259 0 0 20 0 1 0 52021106 2124820480 419619 18446744073709551615 4227072 8923433 140730905391168 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21319680 140730905393570 140730905393704 140730905393704 140730905399274 0
/proc/48010/statm: 518755 419619 2336 1147 0 506182 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 2079212 KiB
Current children cumulated memory: 1681548 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/257 48028
/proc/meminfo: memFree=122702676/131382116 swapFree=33010684/33010684
[pid=48008] ppid=48005 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/48008/stat : 48008 (run-opt.sh) S 48005 48008 47556 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52021105 4292608 768 18446744073709551615 94910205706240 94910206600773 140731116012256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94910206839824 94910206887568 94910230286336 140731116013933 140731116014056 140731116014056 140731116019658 0
/proc/48008/statm: 1048 768 704 219 0 110 0
[pid=48010] ppid=48008 vsize=2107536 memory=1742180 CPUtime=221.43 cores=1,3
/proc/48010/stat : 48010 (roundingsat) R 48008 48008 47556 0 -1 4194304 250364 0 0 0 21868 275 0 0 20 0 1 0 52021106 2158116864 435545 18446744073709551615 4227072 8923433 140730905391168 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21319680 140730905393570 140730905393704 140730905393704 140730905399274 0
/proc/48010/statm: 526884 435545 2336 1147 0 514311 0
Current children cumulated CPU time: 221.43 s

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

[pid=48010] ppid=48008 vsize=3459408 memory=2781432 CPUtime=3090.5 cores=1,3
/proc/48010/stat : 48010 (roundingsat) R 48008 48008 47556 0 -1 4194304 413953 0 0 0 308308 742 0 0 20 0 1 0 52021106 3542433792 695358 18446744073709551615 4227072 8923433 140730905391168 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21319680 140730905393570 140730905393704 140730905393704 140730905399274 0
/proc/48010/statm: 864852 695358 2336 1147 0 852279 0
Current children cumulated CPU time: 3090.5 s
Current children cumulated vsize: 3463600 KiB
Current children cumulated memory: 2784504 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=48008] ppid=48005 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/48008/stat : 48008 (run-opt.sh) S 48005 48008 47556 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52021105 4292608 768 18446744073709551615 94910205706240 94910206600773 140731116012256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94910206839824 94910206887568 94910230286336 140731116013933 140731116014056 140731116014056 140731116019658 0
/proc/48008/statm: 1048 768 704 219 0 110 0
[pid=48010] ppid=48008 vsize=3459408 memory=2781432 CPUtime=3150.28 cores=1,3
/proc/48010/stat : 48010 (roundingsat) R 48008 48008 47556 0 -1 4194304 413953 0 0 0 314282 746 0 0 20 0 1 0 52021106 3542433792 695358 18446744073709551615 4227072 8923433 140730905391168 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21319680 140730905393570 140730905393704 140730905393704 140730905399274 0
/proc/48010/statm: 864852 695358 2336 1147 0 852279 0
Current children cumulated CPU time: 3150.28 s
Current children cumulated vsize: 3463600 KiB
Current children cumulated memory: 2784504 KiB

[startup+3222.3 s]
/proc/loadavg: 4.18 4.13 4.13 5/255 48184
/proc/meminfo: memFree=117710304/131382116 swapFree=33010684/33010684
[pid=48008] ppid=48005 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/48008/stat : 48008 (run-opt.sh) S 48005 48008 47556 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52021105 4292608 768 18446744073709551615 94910205706240 94910206600773 140731116012256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94910206839824 94910206887568 94910230286336 140731116013933 140731116014056 140731116014056 140731116019658 0
/proc/48008/statm: 1048 768 704 219 0 110 0
[pid=48010] ppid=48008 vsize=3459408 memory=2781432 CPUtime=3210.04 cores=1,3
/proc/48010/stat : 48010 (roundingsat) R 48008 48008 47556 0 -1 4194304 414231 0 0 0 320250 754 0 0 20 0 1 0 52021106 3542433792 695358 18446744073709551615 4227072 8923433 140730905391168 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21319680 140730905393570 140730905393704 140730905393704 140730905399274 0
/proc/48010/statm: 864852 695358 2336 1147 0 852279 0
Current children cumulated CPU time: 3210.04 s
Current children cumulated vsize: 3463600 KiB
Current children cumulated memory: 2784504 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.10 4.12 5/255 48186
/proc/meminfo: memFree=117705028/131382116 swapFree=33010684/33010684
[pid=48008] ppid=48005 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/48008/stat : 48008 (run-opt.sh) S 48005 48008 47556 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52021105 4292608 768 18446744073709551615 94910205706240 94910206600773 140731116012256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94910206839824 94910206887568 94910230286336 140731116013933 140731116014056 140731116014056 140731116019658 0
/proc/48008/statm: 1048 768 704 219 0 110 0
[pid=48010] ppid=48008 vsize=3462920 memory=2789752 CPUtime=3269.82 cores=1,3
/proc/48010/stat : 48010 (roundingsat) R 48008 48008 47556 0 -1 4194304 416451 0 0 0 326220 762 0 0 20 0 1 0 52021106 3546030080 697438 18446744073709551615 4227072 8923433 140730905391168 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21319680 140730905393570 140730905393704 140730905393704 140730905399274 0
/proc/48010/statm: 865730 697438 2336 1147 0 853157 0
Current children cumulated CPU time: 3269.82 s
Current children cumulated vsize: 3467112 KiB
Current children cumulated memory: 2792824 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.12 5/255 48188
/proc/meminfo: memFree=117637928/131382116 swapFree=33010684/33010684
[pid=48008] ppid=48005 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/48008/stat : 48008 (run-opt.sh) S 48005 48008 47556 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52021105 4292608 768 18446744073709551615 94910205706240 94910206600773 140731116012256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94910206839824 94910206887568 94910230286336 140731116013933 140731116014056 140731116014056 140731116019658 0
/proc/48008/statm: 1048 768 704 219 0 110 0
[pid=48010] ppid=48008 vsize=3544588 memory=2861844 CPUtime=3329.6 cores=1,3
/proc/48010/stat : 48010 (roundingsat) R 48008 48008 47556 0 -1 4194304 429188 0 0 0 332187 773 0 0 20 0 1 0 52021106 3629658112 715461 18446744073709551615 4227072 8923433 140730905391168 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21319680 140730905393570 140730905393704 140730905393704 140730905399274 0
/proc/48010/statm: 886147 715461 2336 1147 0 873574 0
Current children cumulated CPU time: 3329.6 s
Current children cumulated vsize: 3548780 KiB
Current children cumulated memory: 2864916 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.10 4.12 5/254 48189
/proc/meminfo: memFree=117614768/131382116 swapFree=33010684/33010684
[pid=48008] ppid=48005 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/48008/stat : 48008 (run-opt.sh) S 48005 48008 47556 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52021105 4292608 768 18446744073709551615 94910205706240 94910206600773 140731116012256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94910206839824 94910206887568 94910230286336 140731116013933 140731116014056 140731116014056 140731116019658 0
/proc/48008/statm: 1048 768 704 219 0 110 0
[pid=48010] ppid=48008 vsize=3544588 memory=2861844 CPUtime=3389.37 cores=1,3
/proc/48010/stat : 48010 (roundingsat) R 48008 48008 47556 0 -1 4194304 429226 0 0 0 338157 780 0 0 20 0 1 0 52021106 3629658112 715461 18446744073709551615 4227072 8923433 140730905391168 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21319680 140730905393570 140730905393704 140730905393704 140730905399274 0
/proc/48010/statm: 886147 715461 2336 1147 0 873574 0
Current children cumulated CPU time: 3389.37 s
Current children cumulated vsize: 3548780 KiB
Current children cumulated memory: 2864916 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.10 4.11 5/254 48192
/proc/meminfo: memFree=117566860/131382116 swapFree=33010684/33010684
[pid=48008] ppid=48005 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/48008/stat : 48008 (run-opt.sh) S 48005 48008 47556 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52021105 4292608 768 18446744073709551615 94910205706240 94910206600773 140731116012256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94910206839824 94910206887568 94910230286336 140731116013933 140731116014056 140731116014056 140731116019658 0
/proc/48008/statm: 1048 768 704 219 0 110 0
[pid=48010] ppid=48008 vsize=3544588 memory=2862100 CPUtime=3449.15 cores=1,3
/proc/48010/stat : 48010 (roundingsat) R 48008 48008 47556 0 -1 4194304 429372 0 0 0 344128 787 0 0 20 0 1 0 52021106 3629658112 715525 18446744073709551615 4227072 8923433 140730905391168 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21319680 140730905393570 140730905393704 140730905393704 140730905399274 0
/proc/48010/statm: 886147 715525 2336 1147 0 873574 0
Current children cumulated CPU time: 3449.15 s
Current children cumulated vsize: 3548780 KiB
Current children cumulated memory: 2865172 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.11 4.11 5/255 48195
/proc/meminfo: memFree=117394440/131382116 swapFree=33010684/33010684
[pid=48008] ppid=48005 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/48008/stat : 48008 (run-opt.sh) S 48005 48008 47556 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52021105 4292608 768 18446744073709551615 94910205706240 94910206600773 140731116012256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94910206839824 94910206887568 94910230286336 140731116013933 140731116014056 140731116014056 140731116019658 0
/proc/48008/statm: 1048 768 704 219 0 110 0
[pid=48010] ppid=48008 vsize=3754516 memory=3034080 CPUtime=3508.92 cores=1,3
/proc/48010/stat : 48010 (roundingsat) R 48008 48008 47556 0 -1 4194304 466813 0 0 0 350090 802 0 0 20 0 1 0 52021106 3844624384 758520 18446744073709551615 4227072 8923433 140730905391168 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21319680 140730905393570 140730905393704 140730905393704 140730905399274 0
/proc/48010/statm: 938629 758520 2336 1147 0 926056 0
Current children cumulated CPU time: 3508.92 s
Current children cumulated vsize: 3758708 KiB
Current children cumulated memory: 3037152 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.10 4.10 5/255 48197
/proc/meminfo: memFree=117186580/131382116 swapFree=33010684/33010684
[pid=48008] ppid=48005 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/48008/stat : 48008 (run-opt.sh) S 48005 48008 47556 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52021105 4292608 768 18446744073709551615 94910205706240 94910206600773 140731116012256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94910206839824 94910206887568 94910230286336 140731116013933 140731116014056 140731116014056 140731116019658 0
/proc/48008/statm: 1048 768 704 219 0 110 0
[pid=48010] ppid=48008 vsize=3966752 memory=3233532 CPUtime=3568.69 cores=1,3
/proc/48010/stat : 48010 (roundingsat) R 48008 48008 47556 0 -1 4194304 502907 0 0 0 356053 816 0 0 20 0 1 0 52021106 4061954048 808383 18446744073709551615 4227072 8923433 140730905391168 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21319680 140730905393570 140730905393704 140730905393704 140730905399274 0
/proc/48010/statm: 991688 808383 2336 1147 0 979115 0
Current children cumulated CPU time: 3568.69 s
Current children cumulated vsize: 3970944 KiB
Current children cumulated memory: 3236604 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.8 s]
/proc/loadavg: 4.11 4.11 4.10 5/256 48338
/proc/meminfo: memFree=126175388/131382116 swapFree=33010684/33010684
[pid=48008] ppid=48005 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/48008/stat : 48008 (run-opt.sh) S 48005 48008 47556 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52021105 4292608 768 18446744073709551615 94910205706240 94910206600773 140731116012256 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94910206839824 94910206887568 94910230286336 140731116013933 140731116014056 140731116014056 140731116019658 0
/proc/48008/statm: 1048 768 704 219 0 110 0
[pid=48010] ppid=48008 vsize=3966752 memory=3233532 CPUtime=3600.05 cores=1,3
/proc/48010/stat : 48010 (roundingsat) R 48008 48008 47556 0 -1 4194304 502949 0 0 0 359183 822 0 0 20 0 1 0 52021106 4061954048 808383 18446744073709551615 4227072 8923433 140730905391168 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21319680 140730905393570 140730905393704 140730905393704 140730905399274 0
/proc/48010/statm: 991688 808383 2336 1147 0 979115 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 3970944 KiB
Current children cumulated memory: 3236604 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.001764 s, system=0.003479 s

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

# cumulated CPU time of all completed processes:  user=3591.94 s, system=8.31379 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.9 s]*
/proc/loadavg: 4.10 4.11 4.10 5/255 48338
/proc/meminfo: memFree=128011660/131382116 swapFree=33010684/33010684
[pid=48010] ppid=48005 vsize=1630772 memory=1381480 CPUtime=3600.17 cores=1,3
/proc/48010/stat : 48010 (roundingsat) R 48005 48008 47556 0 -1 4194304 503039 0 0 0 359190 827 0 0 20 0 1 0 52021106 1669910528 345370 18446744073709551615 4227072 8923433 140730905391168 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 21319680 140730905393570 140730905393704 140730905393704 140730905399274 0
/proc/48010/statm: 407693 345370 2400 1147 0 395120 0
Current cumulated CPU time of completed processes: 0.005243 s
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 1630772 KiB
Current children cumulated memory: 1381480 KiB

Child status: 2

Real time (s): 3613.99
CPU time (s): 3600.25
CPU user time (s): 3591.94
CPU system time (s): 8.31379
CPU usage (%): 99.6198
Max. virtual memory (cumulated for all children) (KiB): 3970944
Max. memory (cumulated for all children) (KiB): 3236604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.94
system time used= 8.31379
maximum resident set size= 3233788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 503350
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= 145
involuntary context switches= 19344


# summary of solver processes directly reported to runsolver:
#   pid: 48008,48010
#   total CPU time (s): 3600.25
#   total CPU user time (s): 3591.94
#   total CPU system time (s): 8.31379

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9279 second user time and 38.4203 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2025-07-01 11:50:17
IDJOB=4489828
IDBENCH=147564
IDSOLVER=3350
FILE ID=nodeC010/4489828-1751363416
RUNJOBID= nodeC010-1751359802-47568
SLURM_JOB_ID= 9598157
Free space on /tmp= 432604 MiB

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

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

MD5SUM BENCH= 446effd89caaa2fd386cf7c17951a1a5
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		: 2494.072
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		: 1197.145
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.215
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.140
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		: 2494.054
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		: 1795.718
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.372
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.233
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:        129335100 kB
MemAvailable:   129867000 kB
Buffers:            3280 kB
Cached:          1339060 kB
SwapCached:            0 kB
Active:           471784 kB
Inactive:        1033408 kB
Active(anon):     180816 kB
Inactive(anon):        0 kB
Active(file):     290968 kB
Inactive(file):  1033408 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             96964 kB
Writeback:             4 kB
AnonPages:        165988 kB
Mapped:           112476 kB
Shmem:             17960 kB
KReclaimable:      94304 kB
Slab:             178324 kB
SReclaimable:      94304 kB
SUnreclaim:        84020 kB
KernelStack:        4064 kB
PageTables:         3456 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     513436 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149368 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 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= 432644 MiB
End job on nodeC010 at 2025-07-01 12:50:31