Trace number 4489829

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-log 63f22ad? (TO) 3601.2 3623.15

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.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
2.95/3.10	c #variables 10000 #constraints 656900
2.95/3.10	c objective is ce32 
4.85/4.95	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
4.85/4.95	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
4.85/4.95	c GLOBAL bounds - >= 0 @ 3.69402
5.14/5.22	c GLOBAL bounds - >= 0 @ 3.95613
5.14/5.24	c GLOBAL bounds - >= 0 @ 3.96542
5.14/5.25	c GLOBAL bounds - >= 0 @ 3.97857
5.14/5.26	c GLOBAL bounds - >= 0 @ 3.9864
5.14/5.28	c GLOBAL bounds - >= 0 @ 4.00687
5.14/5.29	c GLOBAL bounds - >= 0 @ 4.0162
5.24/5.32	c GLOBAL bounds - >= 0 @ 4.04274
5.24/5.34	c GLOBAL bounds - >= 0 @ 4.0617
5.24/5.35	c GLOBAL bounds - >= 0 @ 4.07042
5.24/5.37	c GLOBAL bounds - >= 0 @ 4.08387
5.34/5.47	c GLOBAL bounds - >= 0 @ 4.18618
5.34/5.48	c GLOBAL bounds - >= 0 @ 4.19889
5.44/5.50	c GLOBAL bounds - >= 0 @ 4.21091
5.44/5.51	c GLOBAL bounds - >= 0 @ 4.22744
5.44/5.53	c GLOBAL bounds - >= 0 @ 4.24051
5.44/5.55	c GLOBAL bounds - >= 0 @ 4.26438
5.44/5.58	c GLOBAL bounds - >= 0 @ 4.29124
5.54/5.66	c GLOBAL bounds - >= 0 @ 4.3743
5.54/5.68	c GLOBAL bounds - >= 0 @ 4.38706
5.54/5.69	c GLOBAL bounds - >= 0 @ 4.39558
5.74/5.83	c GLOBAL bounds - >= 0 @ 4.53356
5.74/5.87	c GLOBAL bounds - >= 0 @ 4.57758
5.74/5.89	c GLOBAL bounds - >= 0 @ 4.58764
5.84/5.90	c GLOBAL bounds - >= 0 @ 4.59579
5.84/5.90	c GLOBAL bounds - >= 0 @ 4.60328
5.84/5.98	c GLOBAL bounds - >= 0 @ 4.67787
5.84/6.00	c GLOBAL bounds - >= 0 @ 4.69138
5.95/6.02	c GLOBAL bounds - >= 0 @ 4.71833
5.95/6.04	c GLOBAL bounds - >= 0 @ 4.72782
5.95/6.05	c GLOBAL bounds - >= 0 @ 4.74024
5.95/6.06	c GLOBAL bounds - >= 0 @ 4.74762
5.95/6.07	c GLOBAL bounds - >= 0 @ 4.7609
5.95/6.09	c GLOBAL bounds - >= 0 @ 4.77503
6.04/6.11	c GLOBAL bounds - >= 0 @ 4.79083
6.04/6.12	c GLOBAL bounds - >= 0 @ 4.80684
6.04/6.14	c GLOBAL bounds - >= 0 @ 4.8245
6.04/6.15	c GLOBAL bounds - >= 0 @ 4.83358
6.04/6.18	c GLOBAL bounds - >= 0 @ 4.85963
6.04/6.19	c GLOBAL bounds - >= 0 @ 4.86745
6.14/6.21	c GLOBAL bounds - >= 0 @ 4.88542
6.14/6.23	c GLOBAL bounds - >= 0 @ 4.9096
6.24/6.31	c GLOBAL bounds - >= 0 @ 4.98439
6.24/6.32	c GLOBAL bounds - >= 0 @ 4.99217
6.24/6.33	c GLOBAL bounds - >= 0 @ 5.00132
6.24/6.34	c GLOBAL bounds - >= 0 @ 5.00822
6.24/6.36	c GLOBAL bounds - >= 0 @ 5.02704
6.24/6.37	c GLOBAL bounds - >= 0 @ 5.03928
6.24/6.39	c GLOBAL bounds - >= 0 @ 5.0556
6.34/6.40	c GLOBAL bounds - >= 0 @ 5.06923
6.34/6.42	c GLOBAL bounds - >= 0 @ 5.0814
6.34/6.44	c GLOBAL bounds - >= 0 @ 5.09845
6.34/6.45	c GLOBAL bounds - >= 0 @ 5.11192
6.34/6.46	c GLOBAL bounds - >= 0 @ 5.12584
6.34/6.48	c GLOBAL bounds - >= 0 @ 5.14304
6.44/6.50	c GLOBAL bounds - >= 0 @ 5.16145
6.44/6.53	c GLOBAL bounds - >= 0 @ 5.18617
6.44/6.54	c GLOBAL bounds - >= 0 @ 5.19711
6.44/6.56	c GLOBAL bounds - >= 0 @ 5.21158
6.44/6.58	c GLOBAL bounds - >= 0 @ 5.22487
6.44/6.59	c GLOBAL bounds - >= 0 @ 5.23707
6.54/6.60	c GLOBAL bounds - >= 0 @ 5.25023
6.54/6.62	c GLOBAL bounds - >= 0 @ 5.26728
6.54/6.64	c GLOBAL bounds - >= 0 @ 5.27832
6.54/6.65	c GLOBAL bounds - >= 0 @ 5.28995
6.54/6.66	c GLOBAL bounds - >= 0 @ 5.29936
6.54/6.68	c GLOBAL bounds - >= 0 @ 5.31549
6.64/6.71	c GLOBAL bounds - >= 0 @ 5.33929
6.64/6.72	c GLOBAL bounds - >= 0 @ 5.35176
6.64/6.74	c GLOBAL bounds - >= 0 @ 5.36884
6.64/6.76	c GLOBAL bounds - >= 0 @ 5.38147
6.64/6.78	c GLOBAL bounds - >= 0 @ 5.40086
6.74/6.81	c GLOBAL bounds - >= 0 @ 5.42835
6.74/6.82	c GLOBAL bounds - >= 0 @ 5.4422
6.74/6.85	c GLOBAL bounds - >= 0 @ 5.46277
6.74/6.86	c GLOBAL bounds - >= 0 @ 5.4726
6.74/6.87	c GLOBAL bounds - >= 0 @ 5.48172
6.84/6.91	c GLOBAL bounds - >= 0 @ 5.51811
6.84/6.97	c GLOBAL bounds - >= 0 @ 5.58338
7.23/7.30	c #Conflicts:       1000 | #Constraints:     658054
7.23/7.30	c GLOBAL bounds - >= 0 @ 5.90088
7.33/7.43	c GLOBAL bounds - >= 0 @ 6.02646
7.33/7.44	c GLOBAL bounds - >= 0 @ 6.04115
7.33/7.48	c GLOBAL bounds - >= 0 @ 6.07723
7.44/7.51	c GLOBAL bounds - >= 0 @ 6.11283
7.44/7.53	c GLOBAL bounds - >= 0 @ 6.12706
7.44/7.54	c GLOBAL bounds - >= 0 @ 6.1382
7.44/7.59	c GLOBAL bounds - >= 0 @ 6.18593
7.54/7.62	c GLOBAL bounds - >= 0 @ 6.21294
7.54/7.64	c GLOBAL bounds - >= 0 @ 6.23234
7.54/7.65	c GLOBAL bounds - >= 0 @ 6.24319
7.54/7.67	c GLOBAL bounds - >= 0 @ 6.25639
7.54/7.69	c GLOBAL bounds - >= 0 @ 6.27507
7.64/7.75	c GLOBAL bounds - >= 0 @ 6.33727
7.64/7.77	c GLOBAL bounds - >= 0 @ 6.35367
7.64/7.78	c GLOBAL bounds - >= 0 @ 6.36258
7.64/7.79	c GLOBAL bounds - >= 0 @ 6.37245
7.73/7.82	c GLOBAL bounds - >= 0 @ 6.39459
7.73/7.83	c GLOBAL bounds - >= 0 @ 6.40928
7.73/7.85	c GLOBAL bounds - >= 0 @ 6.42812
7.83/7.91	c GLOBAL bounds - >= 0 @ 6.48227
7.83/7.93	c GLOBAL bounds - >= 0 @ 6.49569
7.83/7.95	c GLOBAL bounds - >= 0 @ 6.51276
7.83/7.96	c GLOBAL bounds - >= 0 @ 6.52317
7.83/7.98	c GLOBAL bounds - >= 0 @ 6.54117
7.83/8.00	c GLOBAL bounds - >= 0 @ 6.56068
7.94/8.01	c GLOBAL bounds - >= 0 @ 6.57605
7.94/8.05	c GLOBAL bounds - >= 0 @ 6.60703
7.94/8.06	c GLOBAL bounds - >= 0 @ 6.61809
7.94/8.08	c GLOBAL bounds - >= 0 @ 6.63353
7.94/8.09	c GLOBAL bounds - >= 0 @ 6.64919
8.04/8.11	c GLOBAL bounds - >= 0 @ 6.66181
8.04/8.13	c GLOBAL bounds - >= 0 @ 6.67888
8.04/8.18	c GLOBAL bounds - >= 0 @ 6.72724
8.13/8.20	c GLOBAL bounds - >= 0 @ 6.74004
8.34/8.45	c GLOBAL bounds - >= 0 @ 6.98714
8.34/8.47	c GLOBAL bounds - >= 0 @ 7.00626
8.34/8.49	c GLOBAL bounds - >= 0 @ 7.02476
8.43/8.50	c GLOBAL bounds - >= 0 @ 7.0394
8.43/8.52	c GLOBAL bounds - >= 0 @ 7.05765
8.43/8.59	c GLOBAL bounds - >= 0 @ 7.11755
8.53/8.61	c GLOBAL bounds - >= 0 @ 7.14605
8.53/8.64	c GLOBAL bounds - >= 0 @ 7.17408
8.53/8.67	c GLOBAL bounds - >= 0 @ 7.19679
8.53/8.69	c GLOBAL bounds - >= 0 @ 7.21627
8.63/8.73	c GLOBAL bounds - >= 0 @ 7.25994
8.63/8.74	c GLOBAL bounds - >= 0 @ 7.27033
8.63/8.77	c GLOBAL bounds - >= 0 @ 7.29544
8.73/8.80	c GLOBAL bounds - >= 0 @ 7.32308
8.93/9.02	c GLOBAL bounds - >= 0 @ 7.53478
8.93/9.06	c GLOBAL bounds - >= 0 @ 7.57913
8.93/9.08	c GLOBAL bounds - >= 0 @ 7.59781
9.04/9.10	c GLOBAL bounds - >= 0 @ 7.61792
9.04/9.14	c GLOBAL bounds - >= 0 @ 7.65003
9.04/9.18	c GLOBAL bounds - >= 0 @ 7.68762
9.13/9.20	c GLOBAL bounds - >= 0 @ 7.70661
9.13/9.21	c GLOBAL bounds - >= 0 @ 7.71889
9.24/9.34	c GLOBAL bounds - >= 0 @ 7.84644
9.33/9.44	c GLOBAL bounds - >= 0 @ 7.94483
9.33/9.47	c GLOBAL bounds - >= 0 @ 7.97865
9.33/9.49	c GLOBAL bounds - >= 0 @ 7.99575
9.43/9.56	c GLOBAL bounds - >= 0 @ 8.06322
9.43/9.58	c GLOBAL bounds - >= 0 @ 8.08504
9.53/9.61	c GLOBAL bounds - >= 0 @ 8.11208
9.53/9.64	c GLOBAL bounds - >= 0 @ 8.13524
9.53/9.66	c GLOBAL bounds - >= 0 @ 8.15496
9.53/9.68	c GLOBAL bounds - >= 0 @ 8.17636
9.63/9.71	c GLOBAL bounds - >= 0 @ 8.19609
9.63/9.73	c GLOBAL bounds - >= 0 @ 8.21974
9.73/9.80	c GLOBAL bounds - >= 0 @ 8.28595
9.93/10.00	c GLOBAL bounds - >= 0 @ 8.48043
10.04/10.18	c GLOBAL bounds - >= 0 @ 8.65209
10.13/10.22	c GLOBAL bounds - >= 0 @ 8.69464
10.13/10.24	c GLOBAL bounds - >= 0 @ 8.70978
10.13/10.28	c GLOBAL bounds - >= 0 @ 8.75433
10.23/10.30	c GLOBAL bounds - >= 0 @ 8.77003
10.23/10.34	c GLOBAL bounds - >= 0 @ 8.81172
10.23/10.36	c GLOBAL bounds - >= 0 @ 8.82977
10.23/10.39	c GLOBAL bounds - >= 0 @ 8.85828
10.33/10.42	c GLOBAL bounds - >= 0 @ 8.88435
10.33/10.43	c GLOBAL bounds - >= 0 @ 8.89603
10.33/10.46	c GLOBAL bounds - >= 0 @ 8.92204
10.53/10.67	c GLOBAL bounds - >= 0 @ 9.12702
10.53/10.69	c GLOBAL bounds - >= 0 @ 9.14622
10.62/10.72	c GLOBAL bounds - >= 0 @ 9.17495
10.62/10.74	c GLOBAL bounds - >= 0 @ 9.18965
10.62/10.76	c GLOBAL bounds - >= 0 @ 9.20761
10.62/10.77	c GLOBAL bounds - >= 0 @ 9.22267
10.73/10.80	c GLOBAL bounds - >= 0 @ 9.24567
10.73/10.83	c GLOBAL bounds - >= 0 @ 9.27641
10.73/10.86	c GLOBAL bounds - >= 0 @ 9.29961
10.73/10.88	c GLOBAL bounds - >= 0 @ 9.32093
10.83/10.90	c GLOBAL bounds - >= 0 @ 9.33787
10.83/10.99	c GLOBAL bounds - >= 0 @ 9.42534
10.93/11.06	c GLOBAL bounds - >= 0 @ 9.49448
10.93/11.08	c GLOBAL bounds - >= 0 @ 9.51877
11.03/11.11	c GLOBAL bounds - >= 0 @ 9.54545
11.03/11.14	c GLOBAL bounds - >= 0 @ 9.57138
11.03/11.17	c GLOBAL bounds - >= 0 @ 9.60195
11.03/11.19	c GLOBAL bounds - >= 0 @ 9.62655
11.12/11.23	c GLOBAL bounds - >= 0 @ 9.66434
11.12/11.25	c GLOBAL bounds - >= 0 @ 9.6777
11.12/11.29	c GLOBAL bounds - >= 0 @ 9.71335
11.23/11.30	c GLOBAL bounds - >= 0 @ 9.72989
11.23/11.32	c GLOBAL bounds - >= 0 @ 9.74462
11.23/11.35	c GLOBAL bounds - >= 0 @ 9.7645
11.23/11.38	c GLOBAL bounds - >= 0 @ 9.79621
11.32/11.40	c GLOBAL bounds - >= 0 @ 9.81632
11.32/11.48	c GLOBAL bounds - >= 0 @ 9.88824
11.42/11.51	c GLOBAL bounds - >= 0 @ 9.92751
11.42/11.53	c GLOBAL bounds - >= 0 @ 9.9387
11.42/11.55	c GLOBAL bounds - >= 0 @ 9.95873
11.42/11.58	c GLOBAL bounds - >= 0 @ 9.98328
11.52/11.61	c GLOBAL bounds - >= 0 @ 10.0144
11.52/11.64	c GLOBAL bounds - >= 0 @ 10.0357
11.73/11.82	c GLOBAL bounds - >= 0 @ 10.2162
11.73/11.86	c GLOBAL bounds - >= 0 @ 10.2503
11.73/11.87	c GLOBAL bounds - >= 0 @ 10.2632
11.73/11.89	c GLOBAL bounds - >= 0 @ 10.2811
11.82/11.91	c GLOBAL bounds - >= 0 @ 10.3003
11.93/12.08	c GLOBAL bounds - >= 0 @ 10.4755
12.02/12.13	c GLOBAL bounds - >= 0 @ 10.5214
12.02/12.15	c GLOBAL bounds - >= 0 @ 10.533
12.32/12.43	c GLOBAL bounds - >= 0 @ 10.8119
12.32/12.46	c GLOBAL bounds - >= 0 @ 10.8399
12.32/12.49	c GLOBAL bounds - >= 0 @ 10.8669
12.43/12.55	c GLOBAL bounds - >= 0 @ 10.9226
13.03/13.18	c #Conflicts:       2000 | #Constraints:     659308
13.03/13.18	c INPROCESSING
13.03/13.18	c GLOBAL bounds - >= 0 @ 11.5373
13.03/13.19	c GLOBAL bounds - >= 0 @ 11.5537
13.12/13.22	c GLOBAL bounds - >= 0 @ 11.5789
13.12/13.24	c GLOBAL bounds - >= 0 @ 11.5984
13.12/13.28	c GLOBAL bounds - >= 0 @ 11.6397
13.23/13.39	c GLOBAL bounds - >= 0 @ 11.7409
13.32/13.41	c GLOBAL bounds - >= 0 @ 11.7649
13.42/13.50	c GLOBAL bounds - >= 0 @ 11.8502
13.42/13.54	c GLOBAL bounds - >= 0 @ 11.8829
13.52/13.60	c GLOBAL bounds - >= 0 @ 11.9448
13.52/13.62	c GLOBAL bounds - >= 0 @ 11.9611
13.52/13.69	c GLOBAL bounds - >= 0 @ 12.0321
13.62/13.71	c GLOBAL bounds - >= 0 @ 12.0477
13.72/13.84	c GLOBAL bounds - >= 0 @ 12.1741
13.72/13.87	c GLOBAL bounds - >= 0 @ 12.2015
13.82/13.91	c GLOBAL bounds - >= 0 @ 12.2394
13.82/13.94	c GLOBAL bounds - >= 0 @ 12.2665
13.82/13.97	c GLOBAL bounds - >= 0 @ 12.2991
13.93/14.00	c GLOBAL bounds - >= 0 @ 12.3267
13.93/14.02	c GLOBAL bounds - >= 0 @ 12.3405
13.93/14.03	c GLOBAL bounds - >= 0 @ 12.3526
13.93/14.08	c GLOBAL bounds - >= 0 @ 12.4009
14.02/14.11	c GLOBAL bounds - >= 0 @ 12.4266
14.02/14.13	c GLOBAL bounds - >= 0 @ 12.4479
14.02/14.16	c GLOBAL bounds - >= 0 @ 12.4705
14.02/14.17	c GLOBAL bounds - >= 0 @ 12.484
14.12/14.20	c GLOBAL bounds - >= 0 @ 12.5093
14.12/14.24	c GLOBAL bounds - >= 0 @ 12.5461
14.22/14.35	c GLOBAL bounds - >= 0 @ 12.6474
14.32/14.42	c GLOBAL bounds - >= 0 @ 12.7176
14.32/14.45	c GLOBAL bounds - >= 0 @ 12.7451
14.32/14.49	c GLOBAL bounds - >= 0 @ 12.789
14.42/14.51	c GLOBAL bounds - >= 0 @ 12.8058
14.42/14.54	c GLOBAL bounds - >= 0 @ 12.8352
14.42/14.57	c GLOBAL bounds - >= 0 @ 12.859
14.42/14.59	c GLOBAL bounds - >= 0 @ 12.8759
14.52/14.63	c GLOBAL bounds - >= 0 @ 12.9127
14.52/14.65	c GLOBAL bounds - >= 0 @ 12.9374
14.61/14.79	c GLOBAL bounds - >= 0 @ 13.0691
14.82/14.93	c GLOBAL bounds - >= 0 @ 13.2086
14.82/14.95	c GLOBAL bounds - >= 0 @ 13.2252
14.82/14.97	c GLOBAL bounds - >= 0 @ 13.2389
14.92/15.00	c GLOBAL bounds - >= 0 @ 13.2727
14.92/15.04	c GLOBAL bounds - >= 0 @ 13.3051
14.92/15.08	c GLOBAL bounds - >= 0 @ 13.3447
15.03/15.11	c GLOBAL bounds - >= 0 @ 13.374
15.03/15.14	c GLOBAL bounds - >= 0 @ 13.3988
15.03/15.17	c GLOBAL bounds - >= 0 @ 13.4229
15.12/15.21	c GLOBAL bounds - >= 0 @ 13.4578
15.12/15.22	c GLOBAL bounds - >= 0 @ 13.4703
16.31/16.44	c GLOBAL bounds - >= 0 @ 14.67
16.41/16.51	c GLOBAL bounds - >= 0 @ 14.7333
16.41/16.57	c GLOBAL bounds - >= 0 @ 14.7888
18.81/18.99	c #Conflicts:       3000 | #Constraints:     659422
18.81/18.99	c GLOBAL bounds - >= 0 @ 17.1633
19.10/19.22	c GLOBAL bounds - >= 0 @ 17.3911
19.20/19.36	c GLOBAL bounds - >= 0 @ 17.532
19.50/19.61	c GLOBAL bounds - >= 0 @ 17.7734
19.61/19.70	c GLOBAL bounds - >= 0 @ 17.8578
19.71/19.88	c GLOBAL bounds - >= 0 @ 18.0361
19.80/19.92	c GLOBAL bounds - >= 0 @ 18.0702
19.80/19.94	c GLOBAL bounds - >= 0 @ 18.0962
19.80/19.99	c GLOBAL bounds - >= 0 @ 18.1445
20.01/20.11	c GLOBAL bounds - >= 0 @ 18.2605
21.10/21.20	c GLOBAL bounds - >= 0 @ 19.3241
21.10/21.23	c GLOBAL bounds - >= 0 @ 19.3465
21.50/21.63	c GLOBAL bounds - >= 0 @ 19.7347
21.60/21.70	c GLOBAL bounds - >= 0 @ 19.8045
21.60/21.74	c GLOBAL bounds - >= 0 @ 19.8458
22.80/22.95	c GLOBAL bounds - >= 0 @ 21.0216
23.39/23.58	c #Conflicts:       4000 | #Constraints:     660454
23.39/23.58	c GLOBAL bounds - >= 0 @ 21.6344
23.59/23.75	c GLOBAL bounds - >= 0 @ 21.7995
23.59/23.77	c GLOBAL bounds - >= 0 @ 21.8157
23.69/23.80	c GLOBAL bounds - >= 0 @ 21.8398
23.69/23.82	c GLOBAL bounds - >= 0 @ 21.8631
23.69/23.85	c GLOBAL bounds - >= 0 @ 21.8842
23.69/23.89	c GLOBAL bounds - >= 0 @ 21.9207
23.79/23.93	c GLOBAL bounds - >= 0 @ 21.9602
25.00/25.17	c INPROCESSING
25.00/25.17	c GARBAGE COLLECT
25.00/25.17	c GLOBAL bounds - >= 0 @ 23.1774
25.09/25.21	c GLOBAL bounds - >= 0 @ 23.2229
25.09/25.24	c GLOBAL bounds - >= 0 @ 23.2441
25.59/25.75	c GLOBAL bounds - >= 0 @ 23.7495
26.19/26.35	c GLOBAL bounds - >= 0 @ 24.3385
26.28/26.40	c GLOBAL bounds - >= 0 @ 24.3866
26.58/26.75	c GLOBAL bounds - >= 0 @ 24.7231
26.79/26.93	c GLOBAL bounds - >= 0 @ 24.8987
26.79/26.98	c GLOBAL bounds - >= 0 @ 24.9514
27.69/27.80	c GLOBAL bounds - >= 0 @ 25.7536
27.69/27.83	c GLOBAL bounds - >= 0 @ 25.783
28.08/28.22	c GLOBAL bounds - >= 0 @ 26.1704
28.18/28.33	c GLOBAL bounds - >= 0 @ 26.2725
28.18/28.37	c GLOBAL bounds - >= 0 @ 26.3071
28.28/28.48	c GLOBAL bounds - >= 0 @ 26.4108
29.38/29.54	c #Conflicts:       5000 | #Constraints:     659898
29.38/29.54	c GLOBAL bounds - >= 0 @ 27.4563
29.78/29.99	c GLOBAL bounds - >= 0 @ 27.8948
29.99/30.13	c GLOBAL bounds - >= 0 @ 28.0266
29.99/30.17	c GLOBAL bounds - >= 0 @ 28.0727
30.18/30.37	c GLOBAL bounds - >= 0 @ 28.262
37.66/37.82	c #Conflicts:       6000 | #Constraints:     660908
37.66/37.82	c GLOBAL bounds - >= 0 @ 35.5886
39.86/40.09	c INPROCESSING
39.86/40.09	c GARBAGE COLLECT
39.86/40.09	c GLOBAL bounds - >= 0 @ 37.8241
44.13/44.32	c #Conflicts:       7000 | #Constraints:     659924
44.13/44.32	c GLOBAL bounds - >= 0 @ 41.9986
44.43/44.61	c GLOBAL bounds - >= 0 @ 42.2914
44.53/44.72	c GLOBAL bounds - >= 0 @ 42.3966
44.53/44.75	c GLOBAL bounds - >= 0 @ 42.4224
44.84/45.09	c GLOBAL bounds - >= 0 @ 42.7554
46.53/46.71	c GLOBAL bounds - >= 0 @ 44.3447
46.62/46.87	c GLOBAL bounds - >= 0 @ 44.5065
46.72/46.92	c GLOBAL bounds - >= 0 @ 44.5529
46.72/46.95	c GLOBAL bounds - >= 0 @ 44.5819
46.72/46.99	c GLOBAL bounds - >= 0 @ 44.6175
46.83/47.06	c GLOBAL bounds - >= 0 @ 44.6803
46.83/47.09	c GLOBAL bounds - >= 0 @ 44.7041
46.92/47.15	c GLOBAL bounds - >= 0 @ 44.7677
47.03/47.28	c GLOBAL bounds - >= 0 @ 44.8942
47.12/47.30	c GLOBAL bounds - >= 0 @ 44.9123
47.12/47.32	c GLOBAL bounds - >= 0 @ 44.9304
47.12/47.35	c GLOBAL bounds - >= 0 @ 44.9576
48.72/48.96	c GLOBAL bounds - >= 0 @ 46.5326
49.01/49.26	c GLOBAL bounds - >= 0 @ 46.8273
49.11/49.36	c GLOBAL bounds - >= 0 @ 46.9191
49.22/49.40	c GLOBAL bounds - >= 0 @ 46.9614
49.22/49.48	c #Conflicts:       8000 | #Constraints:     660966
49.22/49.48	c GLOBAL bounds - >= 0 @ 47.0334
49.31/49.56	c GLOBAL bounds - >= 0 @ 47.1102
49.92/50.16	c GLOBAL bounds - >= 0 @ 47.6904
50.01/50.22	c GLOBAL bounds - >= 0 @ 47.7504
50.21/50.43	c GLOBAL bounds - >= 0 @ 47.9522
50.21/50.48	c GLOBAL bounds - >= 0 @ 48.0036
50.32/50.52	c GLOBAL bounds - >= 0 @ 48.034
50.32/50.55	c GLOBAL bounds - >= 0 @ 48.0585
50.41/50.64	c GLOBAL bounds - >= 0 @ 48.145
50.41/50.68	c GLOBAL bounds - >= 0 @ 48.1795
50.51/50.71	c GLOBAL bounds - >= 0 @ 48.2106
50.61/50.83	c GLOBAL bounds - >= 0 @ 48.3193
50.61/50.88	c GLOBAL bounds - >= 0 @ 48.3744
50.71/50.94	c GLOBAL bounds - >= 0 @ 48.4286
51.41/51.67	c GLOBAL bounds - >= 0 @ 49.1416
52.10/52.33	c GLOBAL bounds - >= 0 @ 49.7836
52.60/52.81	c GLOBAL bounds - >= 0 @ 50.2534
52.81/53.00	c GLOBAL bounds - >= 0 @ 50.4407
53.70/53.94	c GLOBAL bounds - >= 0 @ 51.3485
53.81/54.04	c GLOBAL bounds - >= 0 @ 51.4439
53.81/54.09	c GLOBAL bounds - >= 0 @ 51.4891
53.91/54.13	c GLOBAL bounds - >= 0 @ 51.5237
53.91/54.15	c GLOBAL bounds - >= 0 @ 51.544
56.39/56.63	c #Conflicts:       9000 | #Constraints:     662012
56.39/56.63	c GLOBAL bounds - >= 0 @ 53.962
58.48/58.72	c INPROCESSING
58.48/58.72	c GARBAGE COLLECT
58.48/58.72	c GLOBAL bounds - >= 0 @ 56.007
58.58/58.81	c GLOBAL bounds - >= 0 @ 56.1011
58.58/58.89	c GLOBAL bounds - >= 0 @ 56.1721
58.68/58.95	c GLOBAL bounds - >= 0 @ 56.2344
60.28/60.59	c GLOBAL bounds - >= 0 @ 57.8409
60.48/60.78	c GLOBAL bounds - >= 0 @ 58.0305
60.79/61.05	c GLOBAL bounds - >= 0 @ 58.2929
61.27/61.54	c GLOBAL bounds - >= 0 @ 58.7627
62.37/62.62	c GLOBAL bounds - >= 0 @ 59.8245
62.88/63.12	c #Conflicts:      10000 | #Constraints:     660725
62.88/63.12	c GLOBAL bounds - >= 0 @ 60.3104
65.26/65.50	c GLOBAL bounds - >= 0 @ 62.6573
70.85/71.14	c #Conflicts:      11000 | #Constraints:     661729
70.85/71.14	c GLOBAL bounds - >= 0 @ 68.235
71.75/72.09	c GLOBAL bounds - >= 0 @ 69.1647
73.03/73.35	c GLOBAL bounds - >= 0 @ 70.3984
75.33/75.63	c GLOBAL bounds - >= 0 @ 72.6606
75.43/75.78	c GLOBAL bounds - >= 0 @ 72.8009
75.53/75.82	c GLOBAL bounds - >= 0 @ 72.8422
99.56/99.91	c #Conflicts:      12000 | #Constraints:     662741
99.56/99.91	c INPROCESSING
99.56/99.91	c GARBAGE COLLECT
99.56/99.91	c #Conflicts:      13000 | #Constraints:     661194
99.56/99.91	c #Conflicts:      14000 | #Constraints:     662194
99.56/99.91	c GLOBAL bounds - >= 0 @ 96.6478
99.66/100.06	c GLOBAL bounds - >= 0 @ 96.7932
99.66/100.09	c GLOBAL bounds - >= 0 @ 96.8271
99.85/100.23	c GLOBAL bounds - >= 0 @ 96.9602
102.05/102.47	c GLOBAL bounds - >= 0 @ 99.1681
102.34/102.78	c GLOBAL bounds - >= 0 @ 99.4759
102.44/102.87	c GLOBAL bounds - >= 0 @ 99.5562
104.53/104.98	c GLOBAL bounds - >= 0 @ 101.629
104.74/105.13	c GLOBAL bounds - >= 0 @ 101.772
108.33/108.73	c #Conflicts:      15000 | #Constraints:     663212
108.33/108.73	c INPROCESSING
108.33/108.73	c GARBAGE COLLECT
108.33/108.73	c GLOBAL bounds - >= 0 @ 105.311
160.75/161.33	c #Conflicts:      16000 | #Constraints:     661441
160.75/161.33	c #Conflicts:      17000 | #Constraints:     662441
160.75/161.33	c #Conflicts:      18000 | #Constraints:     663441
160.75/161.33	c INPROCESSING
160.75/161.33	c GARBAGE COLLECT
160.75/161.33	c #Conflicts:      19000 | #Constraints:     661467
160.75/161.33	c GLOBAL bounds - >= 0 @ 157.333
173.41/174.02	c #Conflicts:      20000 | #Constraints:     662469
173.41/174.02	c GLOBAL bounds - >= 0 @ 169.909
216.28/217.07	c #Conflicts:      21000 | #Constraints:     663471
216.28/217.07	c INPROCESSING
216.28/217.07	c GARBAGE COLLECT
216.28/217.07	c #Conflicts:      22000 | #Constraints:     661269
216.28/217.07	c #Conflicts:      23000 | #Constraints:     662269
216.28/217.07	c GLOBAL bounds - >= 0 @ 212.559
221.96/222.73	c GLOBAL bounds - >= 0 @ 218.165
222.36/223.13	c GLOBAL bounds - >= 0 @ 218.558
223.16/223.90	c GLOBAL bounds - >= 0 @ 219.316
226.36/227.15	c GLOBAL bounds - >= 0 @ 222.522
267.14/268.01	c #Conflicts:      24000 | #Constraints:     663279
267.14/268.01	c #Conflicts:      25000 | #Constraints:     664279
267.14/268.01	c INPROCESSING
267.14/268.01	c GARBAGE COLLECT
267.14/268.01	c #Conflicts:      26000 | #Constraints:     661882
267.14/268.01	c #Conflicts:      27000 | #Constraints:     662882
267.14/268.01	c GLOBAL bounds - >= 0 @ 262.884
339.63/340.79	c #Conflicts:      28000 | #Constraints:     663884
339.63/340.79	c #Conflicts:      29000 | #Constraints:     664884
339.63/340.79	c INPROCESSING
339.63/340.79	c GARBAGE COLLECT
339.63/340.79	c #Conflicts:      30000 | #Constraints:     662280
339.63/340.79	c #Conflicts:      31000 | #Constraints:     663280
339.63/340.79	c #Conflicts:      32000 | #Constraints:     664280
339.63/340.79	c #Conflicts:      33000 | #Constraints:     665280
339.63/340.79	c INPROCESSING
339.63/340.79	c GARBAGE COLLECT
339.63/340.79	c GLOBAL bounds - >= 0 @ 334.88
346.51/347.62	c #Conflicts:      34000 | #Constraints:     662488
346.51/347.62	c GLOBAL bounds - >= 0 @ 341.618
356.58/357.70	c #Conflicts:      35000 | #Constraints:     663490
356.58/357.70	c GLOBAL bounds - >= 0 @ 351.6
356.89/358.09	c GLOBAL bounds - >= 0 @ 351.978
367.55/368.73	c #Conflicts:      36000 | #Constraints:     664494
367.55/368.73	c GLOBAL bounds - >= 0 @ 362.505
387.19/388.45	c #Conflicts:      37000 | #Constraints:     665496
387.19/388.45	c INPROCESSING
387.19/388.45	c GARBAGE COLLECT
387.19/388.45	c #Conflicts:      38000 | #Constraints:     662503
387.19/388.45	c GLOBAL bounds - >= 0 @ 382
390.68/392.00	c GLOBAL bounds - >= 0 @ 385.501
391.08/392.37	c GLOBAL bounds - >= 0 @ 385.871
391.18/392.48	c GLOBAL bounds - >= 0 @ 385.98
421.00/422.37	c #Conflicts:      39000 | #Constraints:     663511
421.00/422.37	c #Conflicts:      40000 | #Constraints:     664511
421.00/422.37	c #Conflicts:      41000 | #Constraints:     665511
421.00/422.37	c INPROCESSING
421.00/422.37	c GARBAGE COLLECT
421.00/422.37	c #Conflicts:      42000 | #Constraints:     662312
421.00/422.37	c GLOBAL bounds - >= 0 @ 415.503
422.39/423.72	c GLOBAL bounds - >= 0 @ 416.834
452.31/453.76	c #Conflicts:      43000 | #Constraints:     663316
452.31/453.76	c #Conflicts:      44000 | #Constraints:     664316
452.31/453.76	c #Conflicts:      45000 | #Constraints:     665316
452.31/453.76	c GLOBAL bounds - >= 0 @ 446.554
456.09/457.59	c GLOBAL bounds - >= 0 @ 450.344
557.90/559.65	c #Conflicts:      46000 | #Constraints:     666320
557.90/559.65	c INPROCESSING
557.90/559.65	c GARBAGE COLLECT
557.90/559.65	c #Conflicts:      47000 | #Constraints:     662914
557.90/559.65	c #Conflicts:      48000 | #Constraints:     663914
557.90/559.65	c #Conflicts:      49000 | #Constraints:     664914
557.90/559.65	c #Conflicts:      50000 | #Constraints:     665914
557.90/559.65	c #Conflicts:      51000 | #Constraints:     666914
557.90/559.65	c INPROCESSING
557.90/559.65	c GARBAGE COLLECT
557.90/559.65	c #Conflicts:      52000 | #Constraints:     663309
557.90/559.65	c #Conflicts:      53000 | #Constraints:     664309
557.90/559.65	c GLOBAL bounds - >= 0 @ 551.255
559.40/561.13	c GLOBAL bounds - >= 0 @ 552.717
564.68/566.48	c GLOBAL bounds - >= 0 @ 557.998
565.07/566.87	c GLOBAL bounds - >= 0 @ 558.383
568.07/569.87	c #Conflicts:      54000 | #Constraints:     665317
568.07/569.87	c GLOBAL bounds - >= 0 @ 561.339
581.13/582.91	c #Conflicts:      55000 | #Constraints:     666319
581.13/582.91	c GLOBAL bounds - >= 0 @ 574.208
803.50/805.97	c #Conflicts:      56000 | #Constraints:     667321
803.50/805.97	c INPROCESSING
803.50/805.97	c GARBAGE COLLECT
803.50/805.97	c #Conflicts:      57000 | #Constraints:     663516
803.50/805.97	c #Conflicts:      58000 | #Constraints:     664516
803.50/805.97	c #Conflicts:      59000 | #Constraints:     665516
803.50/805.97	c #Conflicts:      60000 | #Constraints:     666516
803.50/805.97	c #Conflicts:      61000 | #Constraints:     667516
803.50/805.97	c INPROCESSING
803.50/805.97	c GARBAGE COLLECT
803.50/805.97	c #Conflicts:      62000 | #Constraints:     663525
803.50/805.97	c #Conflicts:      63000 | #Constraints:     664525
803.50/805.97	c #Conflicts:      64000 | #Constraints:     665525
803.50/805.97	c #Conflicts:      65000 | #Constraints:     666525
803.50/805.97	c #Conflicts:      66000 | #Constraints:     667525
803.50/805.97	c INPROCESSING
803.50/805.97	c GARBAGE COLLECT
803.50/805.97	c #Conflicts:      67000 | #Constraints:     663325
803.50/805.97	c #Conflicts:      68000 | #Constraints:     664325
803.50/805.97	c #Conflicts:      69000 | #Constraints:     665325
803.50/805.97	c #Conflicts:      70000 | #Constraints:     666325
803.50/805.97	c #Conflicts:      71000 | #Constraints:     667325
803.50/805.97	c #Conflicts:      72000 | #Constraints:     668325
803.50/805.97	c INPROCESSING
803.50/805.97	c GARBAGE COLLECT
803.50/805.97	c #Conflicts:      73000 | #Constraints:     663922
803.50/805.97	c GLOBAL bounds - >= 0 @ 794.833
838.61/841.14	c #Conflicts:      74000 | #Constraints:     664924
838.61/841.14	c #Conflicts:      75000 | #Constraints:     665924
838.61/841.14	c #Conflicts:      76000 | #Constraints:     666924
838.61/841.14	c GLOBAL bounds - >= 0 @ 829.658
1029.54/1032.67	c #Conflicts:      77000 | #Constraints:     667926
1029.54/1032.67	c #Conflicts:      78000 | #Constraints:     668926
1029.54/1032.67	c INPROCESSING
1029.54/1032.67	c GARBAGE COLLECT
1029.54/1032.67	c #Conflicts:      79000 | #Constraints:     664333
1029.54/1032.67	c #Conflicts:      80000 | #Constraints:     665333
1029.54/1032.67	c #Conflicts:      81000 | #Constraints:     666333
1029.54/1032.67	c #Conflicts:      82000 | #Constraints:     667333
1029.54/1032.67	c #Conflicts:      83000 | #Constraints:     668333
1029.54/1032.67	c #Conflicts:      84000 | #Constraints:     669333
1029.54/1032.67	c INPROCESSING
1029.54/1032.67	c GARBAGE COLLECT
1029.54/1032.67	c #Conflicts:      85000 | #Constraints:     664539
1029.54/1032.67	c #Conflicts:      86000 | #Constraints:     665539
1029.54/1032.67	c #Conflicts:      87000 | #Constraints:     666539
1029.54/1032.67	c #Conflicts:      88000 | #Constraints:     667539
1029.54/1032.67	c #Conflicts:      89000 | #Constraints:     668539
1029.54/1032.67	c #Conflicts:      90000 | #Constraints:     669539
1029.54/1032.67	c INPROCESSING
1029.54/1032.67	c GARBAGE COLLECT
1029.54/1032.67	c GLOBAL bounds - >= 0 @ 1019.21
1060.85/1064.05	c #Conflicts:      91000 | #Constraints:     664542
1060.85/1064.05	c #Conflicts:      92000 | #Constraints:     665542
1060.85/1064.05	c #Conflicts:      93000 | #Constraints:     666542
1060.85/1064.05	c GLOBAL bounds - >= 0 @ 1050.2
1061.65/1064.85	c GLOBAL bounds - >= 0 @ 1050.99
1166.83/1170.30	c #Conflicts:      94000 | #Constraints:     667546
1166.83/1170.30	c #Conflicts:      95000 | #Constraints:     668546
1166.83/1170.30	c #Conflicts:      96000 | #Constraints:     669546
1166.83/1170.30	c INPROCESSING
1166.83/1170.30	c GARBAGE COLLECT
1166.83/1170.30	c #Conflicts:      97000 | #Constraints:     664347
1166.83/1170.30	c #Conflicts:      98000 | #Constraints:     665347
1166.83/1170.30	c #Conflicts:      99000 | #Constraints:     666347
1166.83/1170.30	c #Conflicts:     100000 | #Constraints:     667347
1166.83/1170.30	c #Conflicts:     101000 | #Constraints:     668347
1166.83/1170.30	c #Conflicts:     102000 | #Constraints:     669347
1166.83/1170.30	c GLOBAL bounds - >= 0 @ 1155.26
1182.69/1186.24	c #Conflicts:     103000 | #Constraints:     670349
1182.69/1186.24	c INPROCESSING
1182.69/1186.24	c GARBAGE COLLECT
1182.69/1186.24	c GLOBAL bounds - >= 0 @ 1171.03
1185.68/1189.29	c GLOBAL bounds - >= 0 @ 1174.04
1508.76/1513.33	c #Conflicts:     104000 | #Constraints:     664945
1508.76/1513.33	c #Conflicts:     105000 | #Constraints:     665945
1508.76/1513.33	c #Conflicts:     106000 | #Constraints:     666945
1508.76/1513.33	c #Conflicts:     107000 | #Constraints:     667945
1508.76/1513.33	c #Conflicts:     108000 | #Constraints:     668945
1508.76/1513.33	c #Conflicts:     109000 | #Constraints:     669945
1508.76/1513.33	c #Conflicts:     110000 | #Constraints:     670945
1508.76/1513.33	c INPROCESSING
1508.76/1513.33	c GARBAGE COLLECT
1508.76/1513.33	c #Conflicts:     111000 | #Constraints:     665347
1508.76/1513.33	c #Conflicts:     112000 | #Constraints:     666347
1508.76/1513.33	c #Conflicts:     113000 | #Constraints:     667347
1508.76/1513.33	c #Conflicts:     114000 | #Constraints:     668347
1508.76/1513.33	c #Conflicts:     115000 | #Constraints:     669347
1508.76/1513.33	c #Conflicts:     116000 | #Constraints:     670347
1508.76/1513.33	c #Conflicts:     117000 | #Constraints:     671347
1508.76/1513.33	c INPROCESSING
1508.76/1513.33	c GARBAGE COLLECT
1508.76/1513.33	c #Conflicts:     118000 | #Constraints:     665544
1508.76/1513.33	c #Conflicts:     119000 | #Constraints:     666544
1508.76/1513.33	c #Conflicts:     120000 | #Constraints:     667544
1508.76/1513.33	c #Conflicts:     121000 | #Constraints:     668544
1508.76/1513.33	c #Conflicts:     122000 | #Constraints:     669544
1508.76/1513.33	c GLOBAL bounds - >= 0 @ 1495.1
2466.37/2474.12	c #Conflicts:     123000 | #Constraints:     670546
2466.37/2474.12	c #Conflicts:     124000 | #Constraints:     671546
2466.37/2474.12	c INPROCESSING
2466.37/2474.12	c GARBAGE COLLECT
2466.37/2474.12	c #Conflicts:     125000 | #Constraints:     665540
2466.37/2474.12	c #Conflicts:     126000 | #Constraints:     666540
2466.37/2474.12	c #Conflicts:     127000 | #Constraints:     667540
2466.37/2474.12	c #Conflicts:     128000 | #Constraints:     668540
2466.37/2474.12	c #Conflicts:     129000 | #Constraints:     669540
2466.37/2474.12	c #Conflicts:     130000 | #Constraints:     670540
2466.37/2474.12	c #Conflicts:     131000 | #Constraints:     671540
2466.37/2474.12	c INPROCESSING
2466.37/2474.12	c GARBAGE COLLECT
2466.37/2474.12	c #Conflicts:     132000 | #Constraints:     665349
2466.37/2474.12	c #Conflicts:     133000 | #Constraints:     666349
2466.37/2474.12	c #Conflicts:     134000 | #Constraints:     667349
2466.37/2474.12	c #Conflicts:     135000 | #Constraints:     668349
2466.37/2474.12	c #Conflicts:     136000 | #Constraints:     669349
2466.37/2474.12	c #Conflicts:     137000 | #Constraints:     670349
2466.37/2474.12	c #Conflicts:     138000 | #Constraints:     671349
2466.37/2474.12	c #Conflicts:     139000 | #Constraints:     672349
2466.37/2474.12	c INPROCESSING
2466.37/2474.12	c GARBAGE COLLECT
2466.37/2474.12	c #Conflicts:     140000 | #Constraints:     665963
2466.37/2474.12	c #Conflicts:     141000 | #Constraints:     666963
2466.37/2474.12	c #Conflicts:     142000 | #Constraints:     667963
2466.37/2474.12	c #Conflicts:     143000 | #Constraints:     668963
2466.37/2474.12	c #Conflicts:     144000 | #Constraints:     669963
2466.37/2474.12	c #Conflicts:     145000 | #Constraints:     670963
2466.37/2474.12	c #Conflicts:     146000 | #Constraints:     671963
2466.37/2474.12	c #Conflicts:     147000 | #Constraints:     672963
2466.37/2474.12	c INPROCESSING
2466.37/2474.12	c GARBAGE COLLECT
2466.37/2474.12	c #Conflicts:     148000 | #Constraints:     666377
2466.37/2474.12	c #Conflicts:     149000 | #Constraints:     667377
2466.37/2474.12	c #Conflicts:     150000 | #Constraints:     668377
2466.37/2474.12	c #Conflicts:     151000 | #Constraints:     669377
2466.37/2474.12	c #Conflicts:     152000 | #Constraints:     670377
2466.37/2474.12	c #Conflicts:     153000 | #Constraints:     671377
2466.37/2474.12	c #Conflicts:     154000 | #Constraints:     672377
2466.37/2474.12	c #Conflicts:     155000 | #Constraints:     673377
2466.37/2474.12	c INPROCESSING
2466.37/2474.12	c GARBAGE COLLECT
2466.37/2474.12	c #Conflicts:     156000 | #Constraints:     666578
2466.37/2474.12	c #Conflicts:     157000 | #Constraints:     667578
2466.37/2474.12	c #Conflicts:     158000 | #Constraints:     668578
2466.37/2474.12	c #Conflicts:     159000 | #Constraints:     669578
2466.37/2474.12	c #Conflicts:     160000 | #Constraints:     670578
2466.37/2474.12	c #Conflicts:     161000 | #Constraints:     671578
2466.37/2474.12	c #Conflicts:     162000 | #Constraints:     672578
2466.37/2474.12	c #Conflicts:     163000 | #Constraints:     673578
2466.37/2474.12	c INPROCESSING
2466.37/2474.12	c GARBAGE COLLECT
2466.37/2474.12	c #Conflicts:     164000 | #Constraints:     666576
2466.37/2474.12	c #Conflicts:     165000 | #Constraints:     667576
2466.37/2474.12	c #Conflicts:     166000 | #Constraints:     668576
2466.37/2474.12	c #Conflicts:     167000 | #Constraints:     669576
2466.37/2474.12	c #Conflicts:     168000 | #Constraints:     670576
2466.37/2474.12	c #Conflicts:     169000 | #Constraints:     671576
2466.37/2474.12	c #Conflicts:     170000 | #Constraints:     672576
2466.37/2474.12	c #Conflicts:     171000 | #Constraints:     673576
2466.37/2474.12	c INPROCESSING
2466.37/2474.12	c GARBAGE COLLECT
2466.37/2474.12	c GLOBAL bounds - >= 0 @ 2447.31
2466.37/2474.19	c GLOBAL bounds - >= 0 @ 2447.38
2468.26/2476.10	c GLOBAL bounds - >= 0 @ 2449.28
2468.65/2476.47	c #Conflicts:     172000 | #Constraints:     666372
2468.65/2476.47	c GLOBAL bounds - >= 0 @ 2449.65
2469.15/2476.97	c GLOBAL bounds - >= 0 @ 2450.13
2469.56/2477.38	c GLOBAL bounds - >= 0 @ 2450.54
2523.90/2531.85	c #Conflicts:     173000 | #Constraints:     667378
2523.90/2531.85	c #Conflicts:     174000 | #Constraints:     668378
2523.90/2531.85	c #Conflicts:     175000 | #Constraints:     669378
2523.90/2531.85	c GLOBAL bounds - >= 0 @ 2504.47
2534.47/2542.46	c #Conflicts:     176000 | #Constraints:     670380
2534.47/2542.46	c GLOBAL bounds - >= 0 @ 2514.98
2541.84/2549.81	c GLOBAL bounds - >= 0 @ 2522.28
3600.05/3611.20	c #Conflicts:     177000 | #Constraints:     671384
3600.05/3611.20	c #Conflicts:     178000 | #Constraints:     672384
3600.05/3611.20	c #Conflicts:     179000 | #Constraints:     673384
3600.05/3611.20	c #Conflicts:     180000 | #Constraints:     674384
3600.05/3611.20	c INPROCESSING
3600.05/3611.20	c GARBAGE COLLECT
3600.05/3611.20	c #Conflicts:     181000 | #Constraints:     666967
3600.05/3611.20	c #Conflicts:     182000 | #Constraints:     667967
3600.05/3611.20	c #Conflicts:     183000 | #Constraints:     668967
3600.05/3611.20	c #Conflicts:     184000 | #Constraints:     669967
3600.05/3611.20	c #Conflicts:     185000 | #Constraints:     670967
3600.05/3611.20	c #Conflicts:     186000 | #Constraints:     671967
3600.05/3611.20	c #Conflicts:     187000 | #Constraints:     672967
3600.05/3611.20	c #Conflicts:     188000 | #Constraints:     673967
3600.05/3611.20	c #Conflicts:     189000 | #Constraints:     674967
3600.05/3611.20	c INPROCESSING
3600.05/3611.20	c GARBAGE COLLECT
3600.05/3611.20	c #Conflicts:     190000 | #Constraints:     667376
3600.05/3611.20	c #Conflicts:     191000 | #Constraints:     668376
3600.05/3611.20	c #Conflicts:     192000 | #Constraints:     669376
3600.05/3611.20	c #Conflicts:     193000 | #Constraints:     670376
3600.05/3611.20	c #Conflicts:     194000 | #Constraints:     671376
3600.05/3611.20	c #Conflicts:     195000 | #Constraints:     672376
3600.05/3611.20	c #Conflicts:     196000 | #Constraints:     673376
3600.05/3611.20	c #Conflicts:     197000 | #Constraints:     674376
3600.05/3611.20	c #Conflicts:     198000 | #Constraints:     675376
3600.05/3611.20	c INPROCESSING
3600.05/3611.20	c GARBAGE COLLECT
3600.05/3611.20	c #Conflicts:     199000 | #Constraints:     667583
3600.05/3611.20	c #Conflicts:     200000 | #Constraints:     668583
3600.05/3611.20	c #Conflicts:     201000 | #Constraints:     669583
3600.05/3611.20	c #Conflicts:     202000 | #Constraints:     670583
3600.05/3611.20	c #Conflicts:     203000 | #Constraints:     671583
3600.05/3611.20	c #Conflicts:     204000 | #Constraints:     672583
3600.05/3611.20	c #Conflicts:     205000 | #Constraints:     673583
3600.05/3611.20	c #Conflicts:     206000 | #Constraints:     674583
3600.05/3611.20	c #Conflicts:     207000 | #Constraints:     675583
3600.05/3611.20	c INPROCESSING
3600.05/3611.20	c GARBAGE COLLECT
3600.05/3611.20	c #Conflicts:     208000 | #Constraints:     667591
3600.05/3611.20	c #Conflicts:     209000 | #Constraints:     668591
3600.05/3611.20	c #Conflicts:     210000 | #Constraints:     669591
3600.05/3611.20	c #Conflicts:     211000 | #Constraints:     670591
3600.05/3611.20	c #Conflicts:     212000 | #Constraints:     671591
3600.05/3611.20	c #Conflicts:     213000 | #Constraints:     672591
3600.05/3611.20	c #Conflicts:     214000 | #Constraints:     673591
3600.05/3611.20	c #Conflicts:     215000 | #Constraints:     674591
3600.05/3611.20	c #Conflicts:     216000 | #Constraints:     675591
3600.05/3611.20	c INPROCESSING
3600.05/3611.20	c GARBAGE COLLECT
3600.05/3611.20	c #Conflicts:     217000 | #Constraints:     667390
3600.05/3611.20	c #Conflicts:     218000 | #Constraints:     668390
3600.05/3611.20	c #Conflicts:     219000 | #Constraints:     669390
3600.05/3611.20	c #Conflicts:     220000 | #Constraints:     670390
3600.05/3611.20	c #Conflicts:     221000 | #Constraints:     671390
3600.05/3611.20	c #Conflicts:     222000 | #Constraints:     672390
3600.05/3611.20	c #Conflicts:     223000 | #Constraints:     673390
3600.05/3611.20	c #Conflicts:     224000 | #Constraints:     674390
3600.05/3611.20	c #Conflicts:     225000 | #Constraints:     675390
3600.05/3611.20	c #Conflicts:     226000 | #Constraints:     676390
3600.05/3611.20	c INPROCESSING
3600.05/3611.20	c GARBAGE COLLECT
3600.05/3611.20	c #Conflicts:     227000 | #Constraints:     667994
3600.05/3611.20	c #Conflicts:     228000 | #Constraints:     668994
3600.05/3611.20	c #Conflicts:     229000 | #Constraints:     669994
3600.05/3611.20	c #Conflicts:     230000 | #Constraints:     670994
3600.05/3611.20	c #Conflicts:     231000 | #Constraints:     671994
3600.05/3611.20	c #Conflicts:     232000 | #Constraints:     672994
3600.05/3611.20	c #Conflicts:     233000 | #Constraints:     673994
3600.05/3611.20	c #Conflicts:     234000 | #Constraints:     674994
3600.05/3611.20	c cpu time 3575.04 s
3600.05/3611.20	c deterministic time 1 1.00e+00
3600.05/3611.20	c optimization time 3572.64 s
3600.05/3611.20	c total solve time 0 s
3600.05/3611.20	c core-guided solve time 0 s
3600.05/3611.20	c propagation time 0.21452 s
3600.05/3611.20	c conflict analysis time 0 s
3600.05/3611.20	c propagations 0
3600.05/3611.20	c resolve steps 0
3600.05/3611.20	c decisions 0
3600.05/3611.20	c conflicts 0
3600.05/3611.20	c restarts 0
3600.05/3611.20	c inprocessing phases 0
3600.05/3611.20	c garbage collections 0 ,( -nan )
3600.05/3611.20	c input clauses 656900 ,( 100.00 )
3600.05/3611.20	c input cardinalities 0 ,( 0.00 )
3600.05/3611.20	c input general constraints 0 ,( 0.00 )
3600.05/3611.20	c input average constraint length 2.03
3600.05/3611.20	c input average constraint degree 1.00
3600.05/3611.20	c learned clauses 0 ,( 0.00 )
3600.05/3611.20	c learned cardinalities 0 ,( 0.00 )
3600.05/3611.20	c learned general constraints 0 ,( 0.00 )
3600.05/3611.20	c learned average constraint length 0.00
3600.05/3611.20	c learned average constraint degree 0.00
3600.05/3611.20	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.05/3611.20	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.05/3611.20	c watched   constraints 0 ,( -nan ) 
3600.05/3611.20	c counting  constraints 0 ,( -nan ) 
3600.05/3611.20	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.05/3611.20	c gcd simplifications 0
3600.05/3611.20	c detected cardinalities 0
3600.05/3611.20	c weakened non-implied lits 0
3600.05/3611.20	c weakened non-implying lits 0
3600.05/3611.20	c original variables 10000
3600.05/3611.20	c clausal propagations 0
3600.05/3611.20	c cardinality propagations 0
3600.05/3611.20	c watched propagations 0
3600.05/3611.20	c counting propagations 0
3600.05/3611.20	c watch lookups 0
3600.05/3611.20	c watch backjump lookups 0
3600.05/3611.20	c watch checks 0
3600.05/3611.20	c propagation checks 0
3600.05/3611.20	c constraint additions 0
3600.05/3611.20	c trail pops 0
3600.05/3611.20	c formula constraints 656900
3600.05/3611.20	c learned constraints 0
3600.05/3611.20	c bound constraints 0
3600.05/3611.20	c core-guided constraints 0
3600.05/3611.20	c encountered formula constraints 0
3600.05/3611.20	c encountered learned constraints 0
3600.05/3611.20	c encountered bound constraints 0
3600.05/3611.20	c encountered core-guided constraints 0
3600.05/3611.20	c LP total time 0 s
3600.05/3611.20	c LP solve time 0 s
3600.05/3611.20	c LP constraints added 0
3600.05/3611.20	c LP constraints removed 0
3600.05/3611.20	c LP pivots internal 0
3600.05/3611.20	c LP pivots root 0
3600.05/3611.20	c LP calls 0
3600.05/3611.20	c LP optimalities 0
3600.05/3611.20	c LP no pivot count 0
3600.05/3611.20	c LP infeasibilities 0
3600.05/3611.20	c LP valid Farkas constraints 0
3600.05/3611.20	c LP learned Farkas constraints 0
3600.05/3611.20	c LP basis resets 0
3600.05/3611.20	c LP cycling count 0
3600.05/3611.20	c LP singular count 0
3600.05/3611.20	c LP no primal count 0
3600.05/3611.20	c LP no farkas count 0
3600.05/3611.20	c LP other issue count 0
3600.05/3611.20	c LP Gomory cuts 0
3600.05/3611.20	c LP learned cuts 0
3600.05/3611.20	c LP deleted cuts 0
3600.05/3611.20	c LP encountered Gomory constraints 0
3600.05/3611.20	c LP encountered Farkas constraints 0
3600.05/3611.20	c LP encountered learned Farkas constraints 0
3600.05/3611.20	c CG auxiliary variables introduced 0
3600.05/3611.20	c CG solutions found 0
3600.05/3611.20	c CG cores constructed 0
3600.05/3611.20	c CG core cardinality constraints returned 0
3600.05/3611.20	c CG unit cores 0
3600.05/3611.20	c CG single cores 0
3600.05/3611.20	c CG blocks removed during cardinality reduction 0
3600.05/3611.20	c CG first core best 0
3600.05/3611.20	c CG decision core best 0
3600.05/3611.20	c CG core reduction tie 0
3600.05/3611.20	c CG core degree average 0.00
3600.05/3611.20	c CG core slack average 0.00
3600.05/3611.20	c CG core upper bound improvements 0
3600.05/3611.20	c STR number of successful calls 0
3600.05/3611.20	c STR number of unsuccessful calls 0
3600.05/3611.20	c STR number of inconclusive calls 0
3600.05/3611.20	c STR number of successful attempts 0
3600.05/3611.20	c STR number of unsuccessful attempts 0
3600.05/3611.20	c STR number of inconclusive attempts 0
3600.05/3611.20	c STR average degree increase per successful call inf
3600.05/3611.20	c STR average degree increase per successful attempt inf
3600.05/3611.20	c STR total number of conflicts for successful attempts 0
3600.05/3611.20	c STR total number of conflicts for unsuccessful attempts 0
3600.05/3611.20	c STR total number of conflicts for inconclusive attempts 0
3600.05/3611.20	c STR average number of conflicts per successful attempt inf
3600.05/3611.20	c STR average number of conflicts per unsuccessful attempt inf
3600.05/3611.20	c STR average number of conflicts per inconclusive attempt inf
3600.05/3611.20	c AVG.sumWPerc -nan 
3600.05/3611.20	c bigint constraints 0 
3600.05/3611.20	s UNKNOWN
3600.05/3611.20	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: 63665 MiB (62624 MiB free)
  memory of node 1: 64507 MiB (62937 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489829-1751363658/watcher-4489829-1751363658 -o /tmp/evaluation-result-4489829-1751363658/solver-4489829-1751363658 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751360042-49683 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4489829-1751363658.opb PROOFDIR/proof-4489829-1751363658 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100056 s]*
/proc/loadavg: 4.13 4.10 4.09 5/273 50142
/proc/meminfo: memFree=128530392/131249988 swapFree=33010160/33010684
[pid=50140] ppid=50137 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/50140/stat : 50140 (run-opt-log.sh) S 50137 50140 49673 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52044668 4292608 736 18446744073709551615 94540561682432 94540562576965 140730044373072 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94540562816016 94540562863760 94540574031872 140730044381473 140730044381668 140730044381668 140730044387270 0
/proc/50140/statm: 1048 736 672 219 0 110 0
[pid=50142] ppid=50140 vsize=60076 memory=15420 CPUtime=0.06 cores=0,2
/proc/50142/stat : 50142 (roundingsat) R 50140 50140 49673 0 -1 4194304 1982 0 0 0 4 2 0 0 20 0 1 0 52044670 61517824 3855 18446744073709551615 4227072 8923433 140736717259456 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37945344 140736717265234 140736717265448 140736717265448 140736717271018 0
/proc/50142/statm: 15019 3855 1984 1147 0 2446 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 64268 KiB
Current children cumulated memory: 18364 KiB

[startup+0.205539 s]*
/proc/loadavg: 4.13 4.10 4.09 5/273 50142
/proc/meminfo: memFree=128469148/131249988 swapFree=33010160/33010684
[pid=50140] ppid=50137 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/50140/stat : 50140 (run-opt-log.sh) S 50137 50140 49673 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52044668 4292608 736 18446744073709551615 94540561682432 94540562576965 140730044373072 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94540562816016 94540562863760 94540574031872 140730044381473 140730044381668 140730044381668 140730044387270 0
/proc/50140/statm: 1048 736 672 219 0 110 0
[pid=50142] ppid=50140 vsize=63544 memory=21040 CPUtime=0.17 cores=0,2
/proc/50142/stat : 50142 (roundingsat) R 50140 50140 49673 0 -1 4194304 2861 0 0 0 13 4 0 0 20 0 1 0 52044670 65069056 5260 18446744073709551615 4227072 8923433 140736717259456 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37945344 140736717265234 140736717265448 140736717265448 140736717271018 0
/proc/50142/statm: 15886 5260 1984 1147 0 3313 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 67736 KiB
Current children cumulated memory: 23984 KiB

[startup+0.305454 s]*
/proc/loadavg: 4.13 4.10 4.09 5/273 50142
/proc/meminfo: memFree=128388056/131249988 swapFree=33010160/33010684
[pid=50140] ppid=50137 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/50140/stat : 50140 (run-opt-log.sh) S 50137 50140 49673 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52044668 4292608 736 18446744073709551615 94540561682432 94540562576965 140730044373072 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94540562816016 94540562863760 94540574031872 140730044381473 140730044381668 140730044381668 140730044387270 0
/proc/50140/statm: 1048 736 672 219 0 110 0
[pid=50142] ppid=50140 vsize=68380 memory=25520 CPUtime=0.27 cores=0,2
/proc/50142/stat : 50142 (roundingsat) R 50140 50140 49673 0 -1 4194304 3988 0 0 0 20 7 0 0 20 0 1 0 52044670 70021120 6380 18446744073709551615 4227072 8923433 140736717259456 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37945344 140736717265234 140736717265448 140736717265448 140736717271018 0
/proc/50142/statm: 17095 6380 1984 1147 0 4522 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 72572 KiB
Current children cumulated memory: 28464 KiB

[startup+0.700152 s]
/proc/loadavg: 4.13 4.10 4.09 5/273 50142
/proc/meminfo: memFree=128335252/131249988 swapFree=33010160/33010684
[pid=50140] ppid=50137 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/50140/stat : 50140 (run-opt-log.sh) S 50137 50140 49673 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52044668 4292608 736 18446744073709551615 94540561682432 94540562576965 140730044373072 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94540562816016 94540562863760 94540574031872 140730044381473 140730044381668 140730044381668 140730044387270 0
/proc/50140/statm: 1048 736 672 219 0 110 0
[pid=50142] ppid=50140 vsize=89656 memory=46312 CPUtime=0.65 cores=0,2
/proc/50142/stat : 50142 (roundingsat) R 50140 50140 49673 0 -1 4194304 8765 0 0 0 49 16 0 0 20 0 1 0 52044670 91807744 11578 18446744073709551615 4227072 8923433 140736717259456 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37945344 140736717265234 140736717265448 140736717265448 140736717271018 0
/proc/50142/statm: 22414 11578 1984 1147 0 9841 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 93848 KiB
Current children cumulated memory: 49256 KiB

[startup+1.50018 s]
/proc/loadavg: 4.13 4.10 4.09 5/273 50142
/proc/meminfo: memFree=127892152/131249988 swapFree=33010160/33010684
[pid=50140] ppid=50137 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/50140/stat : 50140 (run-opt-log.sh) S 50137 50140 49673 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52044668 4292608 736 18446744073709551615 94540561682432 94540562576965 140730044373072 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94540562816016 94540562863760 94540574031872 140730044381473 140730044381668 140730044381668 140730044387270 0
/proc/50140/statm: 1048 736 672 219 0 110 0
[pid=50142] ppid=50140 vsize=144224 memory=87960 CPUtime=1.45 cores=0,2
/proc/50142/stat : 50142 (roundingsat) R 50140 50140 49673 0 -1 4194304 17714 0 0 0 109 36 0 0 20 0 1 0 52044670 147685376 21990 18446744073709551615 4227072 8923433 140736717259456 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37945344 140736717265234 140736717265448 140736717265448 140736717271018 0
/proc/50142/statm: 36056 21990 1984 1147 0 23483 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 148416 KiB
Current children cumulated memory: 90904 KiB

[startup+3.10531 s]
/proc/loadavg: 4.12 4.10 4.09 5/273 50142
/proc/meminfo: memFree=126065472/131249988 swapFree=33010160/33010684
[pid=50140] ppid=50137 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/50140/stat : 50140 (run-opt-log.sh) S 50137 50140 49673 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52044668 4292608 736 18446744073709551615 94540561682432 94540562576965 140730044373072 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94540562816016 94540562863760 94540574031872 140730044381473 140730044381668 140730044381668 140730044387270 0
/proc/50140/statm: 1048 736 672 219 0 110 0
[pid=50142] ppid=50140 vsize=767312 memory=520516 CPUtime=3.05 cores=0,2
/proc/50142/stat : 50142 (roundingsat) R 50140 50140 49673 0 -1 4194304 40939 0 0 0 240 65 0 0 20 0 1 0 52044670 785727488 130129 18446744073709551615 4227072 8923433 140736717259456 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37945344 140736717265234 140736717265448 140736717265448 140736717271018 0
/proc/50142/statm: 191828 130129 2336 1147 0 179255 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 771504 KiB
Current children cumulated memory: 523460 KiB

[startup+6.30015 s]
/proc/loadavg: 4.12 4.10 4.09 5/273 50142
/proc/meminfo: memFree=125450424/131249988 swapFree=33010160/33010684
[pid=50140] ppid=50137 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/50140/stat : 50140 (run-opt-log.sh) S 50137 50140 49673 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52044668 4292608 736 18446744073709551615 94540561682432 94540562576965 140730044373072 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94540562816016 94540562863760 94540574031872 140730044381473 140730044381668 140730044381668 140730044387270 0
/proc/50140/statm: 1048 736 672 219 0 110 0
[pid=50142] ppid=50140 vsize=1222672 memory=958620 CPUtime=6.24 cores=0,2
/proc/50142/stat : 50142 (roundingsat) R 50140 50140 49673 0 -1 4194304 136472 0 0 0 496 128 0 0 20 0 1 0 52044670 1252016128 239655 18446744073709551615 4227072 8923433 140736717259456 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37945344 140736717265234 140736717265448 140736717265448 140736717271018 0
/proc/50142/statm: 305668 239655 2368 1147 0 293095 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1226864 KiB
Current children cumulated memory: 961564 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.10 4.09 5/273 50142
/proc/meminfo: memFree=124862448/131249988 swapFree=33010160/33010684
[pid=50140] ppid=50137 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/50140/stat : 50140 (run-opt-log.sh) S 50137 50140 49673 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52044668 4292608 736 18446744073709551615 94540561682432 94540562576965 140730044373072 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94540562816016 94540562863760 94540574031872 140730044381473 140730044381668 140730044381668 140730044387270 0
/proc/50140/statm: 1048 736 672 219 0 110 0
[pid=50142] ppid=50140 vsize=1253492 memory=1001628 CPUtime=12.62 cores=0,2
/proc/50142/stat : 50142 (roundingsat) R 50140 50140 49673 0 -1 4194304 137005 0 0 0 1106 156 0 0 20 0 1 0 52044670 1283575808 250407 18446744073709551615 4227072 8923433 140736717259456 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37945344 140736717265234 140736717265448 140736717265448 140736717271018 0
/proc/50142/statm: 313373 250407 2368 1147 0 300800 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 1257684 KiB
Current children cumulated memory: 1004572 KiB

[startup+25.5002 s]
/proc/loadavg: 4.08 4.09 4.09 5/273 50142
/proc/meminfo: memFree=123207612/131249988 swapFree=33010160/33010684
[pid=50140] ppid=50137 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/50140/stat : 50140 (run-opt-log.sh) S 50137 50140 49673 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52044668 4292608 736 18446744073709551615 94540561682432 94540562576965 140730044373072 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94540562816016 94540562863760 94540574031872 140730044381473 140730044381668 140730044381668 140730044387270 0
/proc/50140/statm: 1048 736 672 219 0 110 0
[pid=50142] ppid=50140 vsize=1476832 memory=1158912 CPUtime=25.39 cores=0,2
/proc/50142/stat : 50142 (roundingsat) R 50140 50140 49673 0 -1 4194304 154412 0 0 0 2349 190 0 0 20 0 1 0 52044670 1512275968 289728 18446744073709551615 4227072 8923433 140736717259456 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37945344 140736717265234 140736717265448 140736717265448 140736717271018 0
/proc/50142/statm: 369208 289728 2368 1147 0 356635 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1481024 KiB
Current children cumulated memory: 1161856 KiB

[startup+51.1055 s]
/proc/loadavg: 4.20 4.12 4.10 5/274 50144
/proc/meminfo: memFree=121035424/131249988 swapFree=33010160/33010684
[pid=50140] ppid=50137 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/50140/stat : 50140 (run-opt-log.sh) S 50137 50140 49673 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52044668 4292608 736 18446744073709551615 94540561682432 94540562576965 140730044373072 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94540562816016 94540562863760 94540574031872 140730044381473 140730044381668 140730044381668 140730044387270 0
/proc/50140/statm: 1048 736 672 219 0 110 0
[pid=50142] ppid=50140 vsize=1546676 memory=1258060 CPUtime=50.92 cores=0,2
/proc/50142/stat : 50142 (roundingsat) R 50140 50140 49673 0 -1 4194304 169492 0 0 0 4858 234 0 0 20 0 1 0 52044670 1583796224 314515 18446744073709551615 4227072 8923433 140736717259456 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37945344 140736717265234 140736717265448 140736717265448 140736717271018 0
/proc/50142/statm: 386669 314515 2368 1147 0 374096 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1550868 KiB
Current children cumulated memory: 1261004 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/274 50146
/proc/meminfo: memFree=117468380/131249988 swapFree=33010160/33010684
[pid=50140] ppid=50137 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/50140/stat : 50140 (run-opt-log.sh) S 50137 50140 49673 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52044668 4292608 736 18446744073709551615 94540561682432 94540562576965 140730044373072 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94540562816016 94540562863760 94540574031872 140730044381473 140730044381668 140730044381668 140730044387270 0
/proc/50140/statm: 1048 736 672 219 0 110 0
[pid=50142] ppid=50140 vsize=1914204 memory=1478408 CPUtime=101.95 cores=0,2
/proc/50142/stat : 50142 (roundingsat) R 50140 50140 49673 0 -1 4194304 209270 0 0 0 9899 296 0 0 20 0 1 0 52044670 1960144896 369602 18446744073709551615 4227072 8923433 140736717259456 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37945344 140736717265234 140736717265448 140736717265448 140736717271018 0
/proc/50142/statm: 478551 369602 2368 1147 0 465978 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 1918396 KiB
Current children cumulated memory: 1481352 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/274 50149
/proc/meminfo: memFree=114467200/131249988 swapFree=33010160/33010684
[pid=50140] ppid=50137 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/50140/stat : 50140 (run-opt-log.sh) S 50137 50140 49673 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52044668 4292608 736 18446744073709551615 94540561682432 94540562576965 140730044373072 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94540562816016 94540562863760 94540574031872 140730044381473 140730044381668 140730044381668 140730044387270 0
/proc/50140/statm: 1048 736 672 219 0 110 0
[pid=50142] ppid=50140 vsize=2028820 memory=1613132 CPUtime=161.74 cores=0,2
/proc/50142/stat : 50142 (roundingsat) R 50140 50140 49673 0 -1 4194304 231207 0 0 0 15828 346 0 0 20 0 1 0 52044670 2077511680 403283 18446744073709551615 4227072 8923433 140736717259456 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37945344 140736717265234 140736717265448 140736717265448 140736717271018 0
/proc/50142/statm: 507205 403283 2368 1147 0 494632 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 2033012 KiB
Current children cumulated memory: 1616076 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/275 50155
/proc/meminfo: memFree=112301348/131249988 swapFree=33010160/33010684
[pid=50140] ppid=50137 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/50140/stat : 50140 (run-opt-log.sh) S 50137 50140 49673 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52044668 4292608 736 18446744073709551615 94540561682432 94540562576965 140730044373072 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94540562816016 94540562863760 94540574031872 140730044381473 140730044381668 140730044381668 140730044387270 0
/proc/50140/statm: 1048 736 672 219 0 110 0
[pid=50142] ppid=50140 vsize=2102656 memory=1707536 CPUtime=221.56 cores=0,2
/proc/50142/stat : 50142 (roundingsat) R 50140 50140 49673 0 -1 4194304 245675 0 0 0 21773 383 0 0 20 0 1 0 52044670 2153119744 426884 18446744073709551615 4227072 8923433 140736717259456 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37945344 140736717265234 140736717265448 140736717265448 140736717271018 0
/proc/50142/statm: 525664 426884 2368 1147 0 513091 0
Current children cumulated CPU time: 221.56 s

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

[startup+3282.3 s]
/proc/loadavg: 4.10 4.12 4.12 5/274 50325
/proc/meminfo: memFree=26436960/131249988 swapFree=33010160/33010684
[pid=50140] ppid=50137 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/50140/stat : 50140 (run-opt-log.sh) S 50137 50140 49673 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52044668 4292608 736 18446744073709551615 94540561682432 94540562576965 140730044373072 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94540562816016 94540562863760 94540574031872 140730044381473 140730044381668 140730044381668 140730044387270 0
/proc/50140/statm: 1048 736 672 219 0 110 0
[pid=50142] ppid=50140 vsize=3472992 memory=2783580 CPUtime=3272.15 cores=0,2
/proc/50142/stat : 50142 (roundingsat) R 50140 50140 49673 0 -1 4194304 414052 0 0 0 324857 2358 0 0 20 0 1 0 52044670 3556343808 695895 18446744073709551615 4227072 8923433 140736717259456 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37945344 140736717265234 140736717265448 140736717265448 140736717271018 0
/proc/50142/statm: 868248 695895 2368 1147 0 855675 0
Current children cumulated CPU time: 3272.15 s
Current children cumulated vsize: 3477184 KiB
Current children cumulated memory: 2786524 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.12 5/273 50327
/proc/meminfo: memFree=24893132/131249988 swapFree=33010160/33010684
[pid=50140] ppid=50137 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/50140/stat : 50140 (run-opt-log.sh) S 50137 50140 49673 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52044668 4292608 736 18446744073709551615 94540561682432 94540562576965 140730044373072 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94540562816016 94540562863760 94540574031872 140730044381473 140730044381668 140730044381668 140730044387270 0
/proc/50140/statm: 1048 736 672 219 0 110 0
[pid=50142] ppid=50140 vsize=3472992 memory=2783580 CPUtime=3331.98 cores=0,2
/proc/50142/stat : 50142 (roundingsat) R 50140 50140 49673 0 -1 4194304 414128 0 0 0 330813 2385 0 0 20 0 1 0 52044670 3556343808 695895 18446744073709551615 4227072 8923433 140736717259456 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37945344 140736717265234 140736717265448 140736717265448 140736717271018 0
/proc/50142/statm: 868248 695895 2368 1147 0 855675 0
Current children cumulated CPU time: 3331.98 s
Current children cumulated vsize: 3477184 KiB
Current children cumulated memory: 2786524 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.10 4.11 5/274 50331
/proc/meminfo: memFree=23485272/131249988 swapFree=33010160/33010684
[pid=50140] ppid=50137 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/50140/stat : 50140 (run-opt-log.sh) S 50137 50140 49673 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52044668 4292608 736 18446744073709551615 94540561682432 94540562576965 140730044373072 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94540562816016 94540562863760 94540574031872 140730044381473 140730044381668 140730044381668 140730044387270 0
/proc/50140/statm: 1048 736 672 219 0 110 0
[pid=50142] ppid=50140 vsize=3472992 memory=2783580 CPUtime=3391.8 cores=0,2
/proc/50142/stat : 50142 (roundingsat) R 50140 50140 49673 0 -1 4194304 414151 0 0 0 336770 2410 0 0 20 0 1 0 52044670 3556343808 695895 18446744073709551615 4227072 8923433 140736717259456 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37945344 140736717265234 140736717265448 140736717265448 140736717271018 0
/proc/50142/statm: 868248 695895 2368 1147 0 855675 0
Current children cumulated CPU time: 3391.8 s
Current children cumulated vsize: 3477184 KiB
Current children cumulated memory: 2786524 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.11 5/273 50337
/proc/meminfo: memFree=21946724/131249988 swapFree=33010160/33010684
[pid=50140] ppid=50137 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/50140/stat : 50140 (run-opt-log.sh) S 50137 50140 49673 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52044668 4292608 736 18446744073709551615 94540561682432 94540562576965 140730044373072 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94540562816016 94540562863760 94540574031872 140730044381473 140730044381668 140730044381668 140730044387270 0
/proc/50140/statm: 1048 736 672 219 0 110 0
[pid=50142] ppid=50140 vsize=3490148 memory=2811444 CPUtime=3451.64 cores=0,2
/proc/50142/stat : 50142 (roundingsat) R 50140 50140 49673 0 -1 4194304 417564 0 0 0 342728 2436 0 0 20 0 1 0 52044670 3573911552 702861 18446744073709551615 4227072 8923433 140736717259456 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37945344 140736717265234 140736717265448 140736717265448 140736717271018 0
/proc/50142/statm: 872537 702861 2368 1147 0 859964 0
Current children cumulated CPU time: 3451.64 s
Current children cumulated vsize: 3494340 KiB
Current children cumulated memory: 2814388 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.09 4.10 5/274 50340
/proc/meminfo: memFree=20383336/131249988 swapFree=33010160/33010684
[pid=50140] ppid=50137 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/50140/stat : 50140 (run-opt-log.sh) S 50137 50140 49673 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52044668 4292608 736 18446744073709551615 94540561682432 94540562576965 140730044373072 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94540562816016 94540562863760 94540574031872 140730044381473 140730044381668 140730044381668 140730044387270 0
/proc/50140/statm: 1048 736 672 219 0 110 0
[pid=50142] ppid=50140 vsize=3490148 memory=2811444 CPUtime=3511.42 cores=0,2
/proc/50142/stat : 50142 (roundingsat) R 50140 50140 49673 0 -1 4194304 417643 0 0 0 348678 2464 0 0 20 0 1 0 52044670 3573911552 702861 18446744073709551615 4227072 8923433 140736717259456 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37945344 140736717265234 140736717265448 140736717265448 140736717271018 0
/proc/50142/statm: 872537 702861 2368 1147 0 859964 0
Current children cumulated CPU time: 3511.42 s
Current children cumulated vsize: 3494340 KiB
Current children cumulated memory: 2814388 KiB

[startup+3582.3 s]
/proc/loadavg: 4.20 4.12 4.11 5/275 50343
/proc/meminfo: memFree=18866932/131249988 swapFree=33010160/33010684
[pid=50140] ppid=50137 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/50140/stat : 50140 (run-opt-log.sh) S 50137 50140 49673 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52044668 4292608 736 18446744073709551615 94540561682432 94540562576965 140730044373072 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94540562816016 94540562863760 94540574031872 140730044381473 140730044381668 140730044381668 140730044387270 0
/proc/50140/statm: 1048 736 672 219 0 110 0
[pid=50142] ppid=50140 vsize=3490148 memory=2811444 CPUtime=3571.25 cores=0,2
/proc/50142/stat : 50142 (roundingsat) R 50140 50140 49673 0 -1 4194304 417644 0 0 0 354636 2489 0 0 20 0 1 0 52044670 3573911552 702861 18446744073709551615 4227072 8923433 140736717259456 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37945344 140736717265234 140736717265448 140736717265448 140736717271018 0
/proc/50142/statm: 872537 702861 2368 1147 0 859964 0
Current children cumulated CPU time: 3571.25 s
Current children cumulated vsize: 3494340 KiB
Current children cumulated memory: 2814388 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.2 s]
/proc/loadavg: 4.12 4.11 4.10 2/262 50397
/proc/meminfo: memFree=24131548/131249988 swapFree=33010160/33010684
[pid=50140] ppid=50137 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/50140/stat : 50140 (run-opt-log.sh) S 50137 50140 49673 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52044668 4292608 736 18446744073709551615 94540561682432 94540562576965 140730044373072 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94540562816016 94540562863760 94540574031872 140730044381473 140730044381668 140730044381668 140730044387270 0
/proc/50140/statm: 1048 736 672 219 0 110 0
[pid=50142] ppid=50140 vsize=3490148 memory=2811444 CPUtime=3600.05 cores=0,2
/proc/50142/stat : 50142 (roundingsat) R 50140 50140 49673 0 -1 4194304 417663 0 0 0 357502 2503 0 0 20 0 1 0 52044670 3573911552 702861 18446744073709551615 4227072 8923433 140736717259456 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37945344 140736717265234 140736717265448 140736717265448 140736717271018 0
/proc/50142/statm: 872537 702861 2368 1147 0 859964 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 3494340 KiB
Current children cumulated memory: 2814388 KiB

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

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

# cumulated CPU time of all completed processes:  user=0 s, system=0.001943 s

Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:

[startup+0 s]*
/proc/loadavg: 4.11 4.10 4.10 1/260 50397
/proc/meminfo: memFree=24091844/131249988 swapFree=33010160/33010684
[pid=50142] ppid=50137 vsize=3490148 memory=2811828 CPUtime=3600.73 cores=0,2
/proc/50142/stat : 50142 (roundingsat) R 50137 50140 49673 0 -1 4194304 417669 0 0 0 357503 2570 0 0 20 0 1 0 52044670 3573911552 702957 18446744073709551615 4227072 8923433 140736717259456 0 0 256 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 37945344 140736717265234 140736717265448 140736717265448 140736717271018 9
/proc/50142/statm: 872537 702957 2464 1147 0 859964 0
??? kill 50142 sig 9
??? end of watcher thread

[startup+3623.15 s]
# the end of solver process 50142 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

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

Solver just ended.
Dumping a history of the last processes samples

[startup+3612 s]*
/proc/loadavg: 4.12 4.11 4.10 1/260 50397
/proc/meminfo: memFree=24083288/131249988 swapFree=33010160/33010684
[pid=50142] ppid=50137 vsize=3490148 memory=2811828 CPUtime=3600.71 cores=0,2
/proc/50142/stat : 50142 (roundingsat) D 50137 50140 49673 0 -1 4194304 417669 0 0 0 357503 2568 0 0 20 0 1 0 52044670 3573911552 702957 18446744073709551615 4227072 8923433 140736717259456 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 37945344 140736717265234 140736717265448 140736717265448 140736717271018 0
/proc/50142/statm: 872537 702957 2464 1147 0 859964 0
Current cumulated CPU time of completed processes: 0.001943 s
Current children cumulated CPU time: 3600.71 s
Current children cumulated vsize: 3490148 KiB
Current children cumulated memory: 2811828 KiB

[startup+3612.8 s]
/proc/loadavg: 4.12 4.11 4.10 1/260 50397
/proc/meminfo: memFree=24083288/131249988 swapFree=33010160/33010684
[pid=50142] ppid=50137 vsize=3490148 memory=2811828 CPUtime=3600.73 cores=0,2
/proc/50142/stat : 50142 (roundingsat) D 50137 50140 49673 0 -1 4194304 417669 0 0 0 357503 2570 0 0 20 0 1 0 52044670 3573911552 702957 18446744073709551615 4227072 8923433 140736717259456 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 37945344 140736717265234 140736717265448 140736717265448 140736717271018 0
/proc/50142/statm: 872537 702957 2464 1147 0 859964 0
Current cumulated CPU time of completed processes: 0.001943 s
Current children cumulated CPU time: 3600.73 s
Current children cumulated vsize: 3490148 KiB
Current children cumulated memory: 2811828 KiB

[startup+3613.2 s]
/proc/loadavg: 4.12 4.11 4.10 4/260 50397
/proc/meminfo: memFree=24091132/131249988 swapFree=33010160/33010684
[pid=50142] ppid=50137 vsize=3490148 memory=2811828 CPUtime=3600.73 cores=0,2
/proc/50142/stat : 50142 (roundingsat) D 50137 50140 49673 0 -1 4194304 417669 0 0 0 357503 2570 0 0 20 0 1 0 52044670 3573911552 702957 18446744073709551615 4227072 8923433 140736717259456 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 37945344 140736717265234 140736717265448 140736717265448 140736717271018 0
/proc/50142/statm: 872537 702957 2464 1147 0 859964 0
Current cumulated CPU time of completed processes: 0.001943 s
Current children cumulated CPU time: 3600.73 s
Current children cumulated vsize: 3490148 KiB
Current children cumulated memory: 2811828 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3623.15
CPU time (s): 3601.2
CPU user time (s): 3575.07
CPU system time (s): 26.1221
CPU usage (%): 99.3942
Max. virtual memory (cumulated for all children) (KiB): 3494340
Max. memory (cumulated for all children) (KiB): 2814388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3575.07
system time used= 26.1221
maximum resident set size= 2811828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 417876
page faults= 0
swaps= 0
block input operations= 0
block output operations= 54171888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 244867
involuntary context switches= 10078


# summary of solver processes directly reported to runsolver:
#   pid: 50140,50142
#   total CPU time (s): 3601.2
#   total CPU user time (s): 3575.07
#   total CPU system time (s): 26.1221

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.94614 second user time and 16.6176 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2025-07-01 11:54:18
IDJOB=4489829
IDBENCH=147564
IDSOLVER=3351
FILE ID=nodeC034/4489829-1751363658
RUNJOBID= nodeC034-1751360042-49683
SLURM_JOB_ID= 9598159
Free space on /tmp= 432968 MiB

SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_5.opb.PB06.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489829-1751363658/watcher-4489829-1751363658 -o /tmp/evaluation-result-4489829-1751363658/solver-4489829-1751363658 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751360042-49683 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4489829-1751363658.opb PROOFDIR/proof-4489829-1751363658

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

MD5SUM BENCH= 446effd89caaa2fd386cf7c17951a1a5
RANDOM SEED=517955440

nodeC034 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	: 0xb00002a
cpu MHz		: 3600.320
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.53
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	: 0xb00002a
cpu MHz		: 3599.760
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.53
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	: 0xb00002a
cpu MHz		: 3599.743
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.53
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	: 0xb00002a
cpu MHz		: 3667.621
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.53
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	: 0xb00002a
cpu MHz		: 3599.756
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.53
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	: 0xb00002a
cpu MHz		: 3599.753
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.53
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	: 0xb00002a
cpu MHz		: 3583.395
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.53
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	: 0xb00002a
cpu MHz		: 3600.136
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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	: 6999.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        128588544 kB
MemAvailable:   128590004 kB
Buffers:            2128 kB
Cached:           765656 kB
SwapCached:           36 kB
Active:          1528612 kB
Inactive:         326228 kB
Active(anon):    1100916 kB
Inactive(anon):     4208 kB
Active(file):     427696 kB
Inactive(file):   322020 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             83780 kB
Writeback:             8 kB
AnonPages:       1090456 kB
Mapped:           114552 kB
Shmem:             18068 kB
KReclaimable:     181564 kB
Slab:             273232 kB
SReclaimable:     181564 kB
SUnreclaim:        91668 kB
KernelStack:        4352 kB
PageTables:         5024 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    1643284 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150600 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    415744 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:      189140 kB
DirectMap2M:     7970816 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432992 MiB
End job on nodeC034 at 2025-07-01 12:54:41