Trace number 4489874

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.18 3611.14

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb
MD5SUM41281aaad41c07f4dcd6eb689ad0db2a
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 benchmark220
Best CPU time to get the best result obtained on this benchmark3586.03
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 497468
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 497468
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
3.06/3.14	c #variables 10000 #constraints 656900
3.06/3.14	c objective is ce32 
4.35/4.45	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
4.35/4.45	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
4.35/4.45	c GLOBAL bounds - >= 0 @ 3.03158
4.65/4.70	c GLOBAL bounds - >= 0 @ 3.253
4.65/4.70	c GLOBAL bounds - >= 0 @ 3.25671
4.65/4.71	c GLOBAL bounds - >= 0 @ 3.26138
4.65/4.73	c GLOBAL bounds - >= 0 @ 3.27108
4.65/4.73	c GLOBAL bounds - >= 0 @ 3.27682
4.65/4.74	c GLOBAL bounds - >= 0 @ 3.28261
4.65/4.75	c GLOBAL bounds - >= 0 @ 3.292
4.65/4.76	c GLOBAL bounds - >= 0 @ 3.29833
4.65/4.77	c GLOBAL bounds - >= 0 @ 3.30673
4.65/4.78	c GLOBAL bounds - >= 0 @ 3.31425
4.65/4.79	c GLOBAL bounds - >= 0 @ 3.32223
4.65/4.79	c GLOBAL bounds - >= 0 @ 3.32772
4.75/4.80	c GLOBAL bounds - >= 0 @ 3.33331
4.75/4.81	c GLOBAL bounds - >= 0 @ 3.33768
4.75/4.82	c GLOBAL bounds - >= 0 @ 3.35222
4.75/4.83	c GLOBAL bounds - >= 0 @ 3.36188
4.75/4.84	c GLOBAL bounds - >= 0 @ 3.36857
4.75/4.85	c GLOBAL bounds - >= 0 @ 3.3767
4.85/4.90	c GLOBAL bounds - >= 0 @ 3.42654
4.85/4.92	c GLOBAL bounds - >= 0 @ 3.44408
4.85/4.93	c GLOBAL bounds - >= 0 @ 3.45062
4.85/4.94	c GLOBAL bounds - >= 0 @ 3.46152
4.85/4.95	c GLOBAL bounds - >= 0 @ 3.47158
4.85/4.96	c GLOBAL bounds - >= 0 @ 3.4771
4.85/4.97	c GLOBAL bounds - >= 0 @ 3.48359
4.85/4.98	c GLOBAL bounds - >= 0 @ 3.49075
4.85/4.99	c GLOBAL bounds - >= 0 @ 3.50167
4.85/5.01	c GLOBAL bounds - >= 0 @ 3.51911
4.97/5.03	c GLOBAL bounds - >= 0 @ 3.53837
4.97/5.04	c GLOBAL bounds - >= 0 @ 3.54688
4.97/5.05	c GLOBAL bounds - >= 0 @ 3.55459
4.97/5.06	c GLOBAL bounds - >= 0 @ 3.56399
4.97/5.07	c GLOBAL bounds - >= 0 @ 3.57311
4.97/5.08	c GLOBAL bounds - >= 0 @ 3.58151
4.97/5.08	c GLOBAL bounds - >= 0 @ 3.5871
4.97/5.09	c GLOBAL bounds - >= 0 @ 3.59719
4.97/5.10	c GLOBAL bounds - >= 0 @ 3.60343
5.06/5.11	c GLOBAL bounds - >= 0 @ 3.61461
5.06/5.12	c GLOBAL bounds - >= 0 @ 3.6205
5.06/5.13	c GLOBAL bounds - >= 0 @ 3.62925
5.06/5.14	c GLOBAL bounds - >= 0 @ 3.63606
5.06/5.14	c GLOBAL bounds - >= 0 @ 3.64089
5.06/5.15	c GLOBAL bounds - >= 0 @ 3.64765
5.06/5.16	c GLOBAL bounds - >= 0 @ 3.65563
5.06/5.17	c GLOBAL bounds - >= 0 @ 3.66333
5.06/5.19	c GLOBAL bounds - >= 0 @ 3.68502
5.15/5.20	c GLOBAL bounds - >= 0 @ 3.69228
5.15/5.21	c GLOBAL bounds - >= 0 @ 3.69902
5.15/5.21	c GLOBAL bounds - >= 0 @ 3.70397
5.15/5.22	c GLOBAL bounds - >= 0 @ 3.70897
5.15/5.23	c GLOBAL bounds - >= 0 @ 3.71652
5.15/5.24	c GLOBAL bounds - >= 0 @ 3.72481
5.15/5.25	c GLOBAL bounds - >= 0 @ 3.74143
5.15/5.27	c GLOBAL bounds - >= 0 @ 3.75045
5.15/5.27	c GLOBAL bounds - >= 0 @ 3.75848
5.15/5.28	c GLOBAL bounds - >= 0 @ 3.76619
5.15/5.29	c GLOBAL bounds - >= 0 @ 3.77724
5.25/5.31	c GLOBAL bounds - >= 0 @ 3.78554
5.25/5.31	c GLOBAL bounds - >= 0 @ 3.79374
5.25/5.33	c GLOBAL bounds - >= 0 @ 3.8034
5.25/5.34	c GLOBAL bounds - >= 0 @ 3.81449
5.25/5.34	c GLOBAL bounds - >= 0 @ 3.81913
5.25/5.36	c GLOBAL bounds - >= 0 @ 3.83215
5.25/5.37	c GLOBAL bounds - >= 0 @ 3.83866
5.25/5.38	c GLOBAL bounds - >= 0 @ 3.84901
5.25/5.39	c GLOBAL bounds - >= 0 @ 3.85615
5.25/5.40	c GLOBAL bounds - >= 0 @ 3.86199
5.35/5.40	c GLOBAL bounds - >= 0 @ 3.86711
5.35/5.41	c GLOBAL bounds - >= 0 @ 3.87208
5.35/5.42	c GLOBAL bounds - >= 0 @ 3.87915
5.35/5.43	c GLOBAL bounds - >= 0 @ 3.89249
5.35/5.44	c GLOBAL bounds - >= 0 @ 3.89994
5.35/5.48	c GLOBAL bounds - >= 0 @ 3.93422
5.35/5.49	c GLOBAL bounds - >= 0 @ 3.94244
5.45/5.50	c GLOBAL bounds - >= 0 @ 3.94919
5.45/5.51	c GLOBAL bounds - >= 0 @ 3.96067
5.45/5.52	c GLOBAL bounds - >= 0 @ 3.96812
5.45/5.58	c GLOBAL bounds - >= 0 @ 4.02513
5.55/5.60	c GLOBAL bounds - >= 0 @ 4.04532
5.55/5.62	c GLOBAL bounds - >= 0 @ 4.06075
5.55/5.62	c GLOBAL bounds - >= 0 @ 4.0678
5.55/5.63	c GLOBAL bounds - >= 0 @ 4.0774
5.55/5.65	c GLOBAL bounds - >= 0 @ 4.09586
5.55/5.67	c GLOBAL bounds - >= 0 @ 4.10634
5.55/5.68	c GLOBAL bounds - >= 0 @ 4.11606
5.55/5.69	c GLOBAL bounds - >= 0 @ 4.12519
5.65/5.70	c GLOBAL bounds - >= 0 @ 4.13531
5.65/5.71	c GLOBAL bounds - >= 0 @ 4.14431
5.65/5.72	c GLOBAL bounds - >= 0 @ 4.15045
5.65/5.74	c GLOBAL bounds - >= 0 @ 4.17037
5.65/5.76	c GLOBAL bounds - >= 0 @ 4.18802
5.65/5.77	c GLOBAL bounds - >= 0 @ 4.19879
5.65/5.78	c GLOBAL bounds - >= 0 @ 4.2059
5.65/5.79	c GLOBAL bounds - >= 0 @ 4.22041
5.75/5.81	c GLOBAL bounds - >= 0 @ 4.23482
5.75/5.83	c GLOBAL bounds - >= 0 @ 4.25321
5.75/5.88	c GLOBAL bounds - >= 0 @ 4.30092
5.75/5.89	c GLOBAL bounds - >= 0 @ 4.31708
5.85/5.90	c GLOBAL bounds - >= 0 @ 4.32599
5.85/5.91	c GLOBAL bounds - >= 0 @ 4.33261
5.85/5.92	c GLOBAL bounds - >= 0 @ 4.34067
5.85/5.93	c GLOBAL bounds - >= 0 @ 4.35344
5.85/5.95	c GLOBAL bounds - >= 0 @ 4.36448
5.85/5.95	c GLOBAL bounds - >= 0 @ 4.36921
5.85/5.96	c GLOBAL bounds - >= 0 @ 4.37852
5.85/5.97	c GLOBAL bounds - >= 0 @ 4.38553
5.85/5.98	c GLOBAL bounds - >= 0 @ 4.39221
5.96/6.02	c GLOBAL bounds - >= 0 @ 4.42933
5.96/6.03	c #Conflicts:       1000 | #Constraints:     658114
5.96/6.03	c GLOBAL bounds - >= 0 @ 4.44099
5.96/6.04	c GLOBAL bounds - >= 0 @ 4.44852
5.96/6.05	c GLOBAL bounds - >= 0 @ 4.45706
5.96/6.07	c GLOBAL bounds - >= 0 @ 4.47283
5.96/6.08	c GLOBAL bounds - >= 0 @ 4.48418
5.96/6.09	c GLOBAL bounds - >= 0 @ 4.48957
5.96/6.10	c GLOBAL bounds - >= 0 @ 4.49914
6.06/6.14	c GLOBAL bounds - >= 0 @ 4.5379
6.14/6.23	c GLOBAL bounds - >= 0 @ 4.63001
6.14/6.24	c GLOBAL bounds - >= 0 @ 4.63714
6.14/6.25	c GLOBAL bounds - >= 0 @ 4.6462
6.14/6.25	c GLOBAL bounds - >= 0 @ 4.65322
6.14/6.26	c GLOBAL bounds - >= 0 @ 4.65998
6.14/6.27	c GLOBAL bounds - >= 0 @ 4.6704
6.14/6.30	c GLOBAL bounds - >= 0 @ 4.69293
6.25/6.31	c GLOBAL bounds - >= 0 @ 4.71067
6.25/6.34	c GLOBAL bounds - >= 0 @ 4.73337
6.25/6.35	c GLOBAL bounds - >= 0 @ 4.74572
6.25/6.36	c GLOBAL bounds - >= 0 @ 4.75448
6.25/6.37	c GLOBAL bounds - >= 0 @ 4.76427
6.25/6.39	c GLOBAL bounds - >= 0 @ 4.77885
6.25/6.40	c GLOBAL bounds - >= 0 @ 4.78777
6.35/6.43	c GLOBAL bounds - >= 0 @ 4.82563
6.35/6.44	c GLOBAL bounds - >= 0 @ 4.83427
6.44/6.51	c GLOBAL bounds - >= 0 @ 4.90033
6.44/6.52	c GLOBAL bounds - >= 0 @ 4.90765
6.44/6.53	c GLOBAL bounds - >= 0 @ 4.918
6.44/6.54	c GLOBAL bounds - >= 0 @ 4.92676
6.44/6.56	c GLOBAL bounds - >= 0 @ 4.95074
6.44/6.57	c GLOBAL bounds - >= 0 @ 4.95654
6.44/6.59	c GLOBAL bounds - >= 0 @ 4.97066
6.55/6.60	c GLOBAL bounds - >= 0 @ 4.98213
6.55/6.62	c GLOBAL bounds - >= 0 @ 5.00155
6.55/6.63	c GLOBAL bounds - >= 0 @ 5.01389
6.55/6.64	c GLOBAL bounds - >= 0 @ 5.02032
6.55/6.66	c GLOBAL bounds - >= 0 @ 5.04017
6.55/6.67	c GLOBAL bounds - >= 0 @ 5.0539
6.55/6.69	c GLOBAL bounds - >= 0 @ 5.06846
6.64/6.70	c GLOBAL bounds - >= 0 @ 5.07445
6.64/6.71	c GLOBAL bounds - >= 0 @ 5.08285
6.64/6.72	c GLOBAL bounds - >= 0 @ 5.09174
6.64/6.73	c GLOBAL bounds - >= 0 @ 5.09905
6.74/6.80	c GLOBAL bounds - >= 0 @ 5.16939
6.74/6.81	c GLOBAL bounds - >= 0 @ 5.1808
6.74/6.83	c GLOBAL bounds - >= 0 @ 5.1933
6.74/6.84	c GLOBAL bounds - >= 0 @ 5.20232
6.74/6.84	c GLOBAL bounds - >= 0 @ 5.20877
6.74/6.86	c GLOBAL bounds - >= 0 @ 5.22473
6.74/6.87	c GLOBAL bounds - >= 0 @ 5.23001
6.74/6.88	c GLOBAL bounds - >= 0 @ 5.23712
6.74/6.89	c GLOBAL bounds - >= 0 @ 5.24981
6.85/6.90	c GLOBAL bounds - >= 0 @ 5.25784
6.85/6.92	c GLOBAL bounds - >= 0 @ 5.26897
6.85/6.93	c GLOBAL bounds - >= 0 @ 5.27901
6.85/6.95	c GLOBAL bounds - >= 0 @ 5.30396
6.85/6.97	c GLOBAL bounds - >= 0 @ 5.32082
6.85/6.98	c GLOBAL bounds - >= 0 @ 5.33162
6.85/6.99	c GLOBAL bounds - >= 0 @ 5.34055
6.96/7.02	c GLOBAL bounds - >= 0 @ 5.36234
6.96/7.03	c GLOBAL bounds - >= 0 @ 5.3724
6.96/7.04	c GLOBAL bounds - >= 0 @ 5.38705
6.96/7.05	c GLOBAL bounds - >= 0 @ 5.39344
6.96/7.07	c GLOBAL bounds - >= 0 @ 5.40523
6.96/7.08	c GLOBAL bounds - >= 0 @ 5.41547
6.96/7.09	c GLOBAL bounds - >= 0 @ 5.4257
6.96/7.11	c GLOBAL bounds - >= 0 @ 5.44191
7.06/7.12	c GLOBAL bounds - >= 0 @ 5.45402
7.06/7.13	c GLOBAL bounds - >= 0 @ 5.46173
7.06/7.14	c GLOBAL bounds - >= 0 @ 5.47324
7.06/7.15	c GLOBAL bounds - >= 0 @ 5.47875
7.06/7.16	c GLOBAL bounds - >= 0 @ 5.48447
7.06/7.19	c GLOBAL bounds - >= 0 @ 5.5203
7.15/7.23	c GLOBAL bounds - >= 0 @ 5.55322
7.15/7.27	c GLOBAL bounds - >= 0 @ 5.59123
7.24/7.30	c GLOBAL bounds - >= 0 @ 5.61491
7.24/7.32	c GLOBAL bounds - >= 0 @ 5.6325
7.24/7.32	c GLOBAL bounds - >= 0 @ 5.64039
7.24/7.34	c GLOBAL bounds - >= 0 @ 5.6529
7.24/7.35	c GLOBAL bounds - >= 0 @ 5.66346
7.24/7.38	c GLOBAL bounds - >= 0 @ 5.68878
7.24/7.40	c GLOBAL bounds - >= 0 @ 5.70551
7.34/7.41	c GLOBAL bounds - >= 0 @ 5.72251
7.34/7.45	c GLOBAL bounds - >= 0 @ 5.75101
7.34/7.47	c GLOBAL bounds - >= 0 @ 5.77192
7.34/7.48	c GLOBAL bounds - >= 0 @ 5.78592
7.34/7.49	c GLOBAL bounds - >= 0 @ 5.79428
7.44/7.51	c GLOBAL bounds - >= 0 @ 5.81014
7.44/7.53	c GLOBAL bounds - >= 0 @ 5.82373
7.44/7.55	c GLOBAL bounds - >= 0 @ 5.85
7.55/7.62	c GLOBAL bounds - >= 0 @ 5.91586
7.55/7.63	c GLOBAL bounds - >= 0 @ 5.92509
7.55/7.64	c GLOBAL bounds - >= 0 @ 5.93403
7.55/7.67	c GLOBAL bounds - >= 0 @ 5.9596
7.55/7.69	c GLOBAL bounds - >= 0 @ 5.97502
7.64/7.72	c GLOBAL bounds - >= 0 @ 6.00126
7.64/7.76	c GLOBAL bounds - >= 0 @ 6.04778
7.96/8.04	c GLOBAL bounds - >= 0 @ 6.32209
7.96/8.08	c GLOBAL bounds - >= 0 @ 6.35489
8.05/8.12	c GLOBAL bounds - >= 0 @ 6.39868
8.05/8.16	c GLOBAL bounds - >= 0 @ 6.43185
8.05/8.19	c GLOBAL bounds - >= 0 @ 6.46401
8.14/8.23	c GLOBAL bounds - >= 0 @ 6.50866
8.25/8.31	c GLOBAL bounds - >= 0 @ 6.5867
8.25/8.36	c GLOBAL bounds - >= 0 @ 6.6345
8.25/8.38	c GLOBAL bounds - >= 0 @ 6.64764
8.34/8.43	c GLOBAL bounds - >= 0 @ 6.70021
8.34/8.45	c GLOBAL bounds - >= 0 @ 6.72004
8.34/8.47	c GLOBAL bounds - >= 0 @ 6.73013
8.34/8.48	c GLOBAL bounds - >= 0 @ 6.74505
8.44/8.51	c GLOBAL bounds - >= 0 @ 6.77165
8.64/8.70	c GLOBAL bounds - >= 0 @ 6.95779
8.64/8.74	c GLOBAL bounds - >= 0 @ 6.99702
8.64/8.77	c GLOBAL bounds - >= 0 @ 7.02537
8.75/8.81	c GLOBAL bounds - >= 0 @ 7.05899
8.75/8.83	c GLOBAL bounds - >= 0 @ 7.08151
8.75/8.86	c GLOBAL bounds - >= 0 @ 7.10759
8.75/8.87	c GLOBAL bounds - >= 0 @ 7.11762
8.75/8.89	c GLOBAL bounds - >= 0 @ 7.13216
8.84/8.92	c GLOBAL bounds - >= 0 @ 7.15756
8.84/8.95	c GLOBAL bounds - >= 0 @ 7.18724
8.84/8.99	c GLOBAL bounds - >= 0 @ 7.22102
9.54/9.66	c GLOBAL bounds - >= 0 @ 7.8871
10.14/10.24	c #Conflicts:       2000 | #Constraints:     659358
10.14/10.24	c INPROCESSING
10.14/10.24	c GLOBAL bounds - >= 0 @ 8.45236
10.14/10.26	c GLOBAL bounds - >= 0 @ 8.47707
10.14/10.28	c GLOBAL bounds - >= 0 @ 8.49527
10.23/10.31	c GLOBAL bounds - >= 0 @ 8.51847
10.34/10.46	c GLOBAL bounds - >= 0 @ 8.66193
10.44/10.52	c GLOBAL bounds - >= 0 @ 8.72331
10.44/10.54	c GLOBAL bounds - >= 0 @ 8.74078
10.53/10.62	c GLOBAL bounds - >= 0 @ 8.81915
10.53/10.64	c GLOBAL bounds - >= 0 @ 8.8385
10.53/10.67	c GLOBAL bounds - >= 0 @ 8.86935
10.63/10.72	c GLOBAL bounds - >= 0 @ 8.90674
10.63/10.73	c GLOBAL bounds - >= 0 @ 8.91662
10.63/10.75	c GLOBAL bounds - >= 0 @ 8.93111
10.63/10.76	c GLOBAL bounds - >= 0 @ 8.94543
10.63/10.79	c GLOBAL bounds - >= 0 @ 8.97118
10.73/10.81	c GLOBAL bounds - >= 0 @ 8.9913
10.73/10.86	c GLOBAL bounds - >= 0 @ 9.03652
10.73/10.88	c GLOBAL bounds - >= 0 @ 9.05489
10.84/10.90	c GLOBAL bounds - >= 0 @ 9.07076
10.84/10.91	c GLOBAL bounds - >= 0 @ 9.08283
11.05/11.12	c GLOBAL bounds - >= 0 @ 9.28687
11.05/11.14	c GLOBAL bounds - >= 0 @ 9.30703
11.05/11.17	c GLOBAL bounds - >= 0 @ 9.33755
11.05/11.19	c GLOBAL bounds - >= 0 @ 9.35459
11.14/11.21	c GLOBAL bounds - >= 0 @ 9.37347
11.14/11.24	c GLOBAL bounds - >= 0 @ 9.39473
11.14/11.26	c GLOBAL bounds - >= 0 @ 9.41487
11.24/11.39	c GLOBAL bounds - >= 0 @ 9.53714
11.33/11.44	c GLOBAL bounds - >= 0 @ 9.58638
11.33/11.45	c GLOBAL bounds - >= 0 @ 9.59794
11.33/11.48	c GLOBAL bounds - >= 0 @ 9.62099
11.43/11.50	c GLOBAL bounds - >= 0 @ 9.64449
11.43/11.53	c GLOBAL bounds - >= 0 @ 9.66788
11.43/11.59	c GLOBAL bounds - >= 0 @ 9.72565
11.53/11.61	c GLOBAL bounds - >= 0 @ 9.7432
11.53/11.63	c GLOBAL bounds - >= 0 @ 9.76032
11.53/11.66	c GLOBAL bounds - >= 0 @ 9.78999
11.53/11.68	c GLOBAL bounds - >= 0 @ 9.81035
11.63/11.73	c GLOBAL bounds - >= 0 @ 9.85001
11.63/11.74	c GLOBAL bounds - >= 0 @ 9.86421
11.63/11.76	c GLOBAL bounds - >= 0 @ 9.88249
11.73/11.83	c GLOBAL bounds - >= 0 @ 9.94523
11.73/11.88	c GLOBAL bounds - >= 0 @ 9.99304
11.83/11.92	c GLOBAL bounds - >= 0 @ 10.0391
11.83/11.96	c GLOBAL bounds - >= 0 @ 10.0678
11.83/11.98	c GLOBAL bounds - >= 0 @ 10.0861
11.94/12.05	c GLOBAL bounds - >= 0 @ 10.1576
11.94/12.07	c GLOBAL bounds - >= 0 @ 10.1751
11.94/12.10	c GLOBAL bounds - >= 0 @ 10.205
12.05/12.16	c GLOBAL bounds - >= 0 @ 10.2612
12.53/12.64	c GLOBAL bounds - >= 0 @ 10.7352
12.63/12.70	c GLOBAL bounds - >= 0 @ 10.791
12.63/12.71	c GLOBAL bounds - >= 0 @ 10.8028
12.63/12.73	c GLOBAL bounds - >= 0 @ 10.8191
12.63/12.75	c GLOBAL bounds - >= 0 @ 10.8335
12.63/12.77	c GLOBAL bounds - >= 0 @ 10.8518
12.73/12.80	c GLOBAL bounds - >= 0 @ 10.8817
13.83/13.91	c GLOBAL bounds - >= 0 @ 11.9801
14.43/14.58	c #Conflicts:       3000 | #Constraints:     659480
14.43/14.58	c GLOBAL bounds - >= 0 @ 12.6403
14.62/14.73	c GLOBAL bounds - >= 0 @ 12.7909
14.62/14.77	c GLOBAL bounds - >= 0 @ 12.8332
14.72/14.80	c GLOBAL bounds - >= 0 @ 12.8574
14.72/14.82	c GLOBAL bounds - >= 0 @ 12.8719
14.72/14.85	c GLOBAL bounds - >= 0 @ 12.9062
14.72/14.88	c GLOBAL bounds - >= 0 @ 12.9338
14.82/14.90	c GLOBAL bounds - >= 0 @ 12.9531
14.82/14.92	c GLOBAL bounds - >= 0 @ 12.9723
14.82/14.96	c GLOBAL bounds - >= 0 @ 13.0091
14.82/15.00	c GLOBAL bounds - >= 0 @ 13.048
15.03/15.13	c GLOBAL bounds - >= 0 @ 13.1774
15.12/15.20	c GLOBAL bounds - >= 0 @ 13.2411
15.12/15.28	c GLOBAL bounds - >= 0 @ 13.3188
15.33/15.41	c GLOBAL bounds - >= 0 @ 13.4447
15.33/15.46	c GLOBAL bounds - >= 0 @ 13.4872
15.33/15.48	c GLOBAL bounds - >= 0 @ 13.5115
15.42/15.56	c GLOBAL bounds - >= 0 @ 13.5805
15.42/15.58	c GLOBAL bounds - >= 0 @ 13.6065
15.53/15.61	c GLOBAL bounds - >= 0 @ 13.6308
15.53/15.67	c GLOBAL bounds - >= 0 @ 13.6893
15.62/15.75	c GLOBAL bounds - >= 0 @ 13.7622
16.32/16.46	c GLOBAL bounds - >= 0 @ 14.4553
16.41/16.57	c GLOBAL bounds - >= 0 @ 14.564
16.62/16.75	c GLOBAL bounds - >= 0 @ 14.7409
16.82/16.98	c GLOBAL bounds - >= 0 @ 14.957
16.92/17.03	c GLOBAL bounds - >= 0 @ 15.0126
16.92/17.06	c GLOBAL bounds - >= 0 @ 15.0366
17.03/17.13	c GLOBAL bounds - >= 0 @ 15.1007
17.11/17.20	c GLOBAL bounds - >= 0 @ 15.1684
17.11/17.29	c GLOBAL bounds - >= 0 @ 15.2529
18.11/18.22	c GLOBAL bounds - >= 0 @ 16.1687
18.22/18.34	c GLOBAL bounds - >= 0 @ 16.2852
18.31/18.48	c GLOBAL bounds - >= 0 @ 16.4177
18.41/18.55	c GLOBAL bounds - >= 0 @ 16.4883
20.41/20.51	c #Conflicts:       4000 | #Constraints:     660550
20.41/20.51	c INPROCESSING
20.41/20.51	c GARBAGE COLLECT
20.41/20.51	c GLOBAL bounds - >= 0 @ 18.4254
20.80/20.98	c GLOBAL bounds - >= 0 @ 18.89
21.21/21.33	c GLOBAL bounds - >= 0 @ 19.2361
21.30/21.40	c GLOBAL bounds - >= 0 @ 19.3032
21.30/21.44	c GLOBAL bounds - >= 0 @ 19.3363
21.40/21.52	c GLOBAL bounds - >= 0 @ 19.4186
21.91/22.06	c GLOBAL bounds - >= 0 @ 19.9457
22.10/22.24	c GLOBAL bounds - >= 0 @ 20.1175
22.10/22.26	c GLOBAL bounds - >= 0 @ 20.1427
22.50/22.69	c GLOBAL bounds - >= 0 @ 20.5663
24.01/24.17	c #Conflicts:       5000 | #Constraints:     659974
24.01/24.17	c GLOBAL bounds - >= 0 @ 22.031
26.78/26.99	c GLOBAL bounds - >= 0 @ 24.84
27.09/27.29	c GLOBAL bounds - >= 0 @ 25.135
32.77/32.94	c #Conflicts:       6000 | #Constraints:     660980
32.77/32.94	c INPROCESSING
32.77/32.94	c GARBAGE COLLECT
32.77/32.94	c GLOBAL bounds - >= 0 @ 30.7034
32.98/33.17	c GLOBAL bounds - >= 0 @ 30.9317
40.86/41.05	c #Conflicts:       7000 | #Constraints:     659987
40.86/41.05	c #Conflicts:       8000 | #Constraints:     660987
40.86/41.05	c GLOBAL bounds - >= 0 @ 38.7624
40.96/41.11	c GLOBAL bounds - >= 0 @ 38.8266
40.96/41.14	c GLOBAL bounds - >= 0 @ 38.8482
40.96/41.16	c GLOBAL bounds - >= 0 @ 38.869
41.04/41.22	c GLOBAL bounds - >= 0 @ 38.9243
41.24/41.43	c GLOBAL bounds - >= 0 @ 39.136
41.24/41.49	c GLOBAL bounds - >= 0 @ 39.1949
42.74/42.96	c GLOBAL bounds - >= 0 @ 40.6491
44.44/44.64	c GLOBAL bounds - >= 0 @ 42.3145
44.54/44.77	c GLOBAL bounds - >= 0 @ 42.4469
45.03/45.20	c GLOBAL bounds - >= 0 @ 42.8616
45.03/45.23	c GLOBAL bounds - >= 0 @ 42.8875
45.13/45.33	c GLOBAL bounds - >= 0 @ 42.9801
45.23/45.42	c GLOBAL bounds - >= 0 @ 43.0645
45.33/45.52	c GLOBAL bounds - >= 0 @ 43.1627
45.33/45.58	c GLOBAL bounds - >= 0 @ 43.2107
45.43/45.65	c GLOBAL bounds - >= 0 @ 43.2744
45.53/45.70	c GLOBAL bounds - >= 0 @ 43.328
45.53/45.77	c GLOBAL bounds - >= 0 @ 43.3849
46.94/47.18	c #Conflicts:       9000 | #Constraints:     662025
46.94/47.18	c GLOBAL bounds - >= 0 @ 44.7606
47.03/47.21	c GLOBAL bounds - >= 0 @ 44.7878
47.12/47.40	c GLOBAL bounds - >= 0 @ 44.9728
47.23/47.49	c GLOBAL bounds - >= 0 @ 45.0615
49.12/49.31	c INPROCESSING
49.12/49.31	c GARBAGE COLLECT
49.12/49.31	c GLOBAL bounds - >= 0 @ 46.8623
49.22/49.45	c GLOBAL bounds - >= 0 @ 47.0055
50.41/50.68	c GLOBAL bounds - >= 0 @ 48.2235
50.93/51.18	c GLOBAL bounds - >= 0 @ 48.7137
54.91/55.16	c #Conflicts:      10000 | #Constraints:     660738
54.91/55.16	c GLOBAL bounds - >= 0 @ 52.662
55.20/55.40	c GLOBAL bounds - >= 0 @ 52.902
55.30/55.57	c GLOBAL bounds - >= 0 @ 53.0658
59.80/60.08	c #Conflicts:      11000 | #Constraints:     661744
59.80/60.08	c GLOBAL bounds - >= 0 @ 57.5382
63.08/63.33	c GLOBAL bounds - >= 0 @ 60.743
96.58/96.96	c #Conflicts:      12000 | #Constraints:     662748
96.58/96.96	c INPROCESSING
96.58/96.96	c GARBAGE COLLECT
96.58/96.96	c #Conflicts:      13000 | #Constraints:     661197
96.58/96.96	c #Conflicts:      14000 | #Constraints:     662197
96.58/96.96	c GLOBAL bounds - >= 0 @ 94.1436
96.58/97.00	c GLOBAL bounds - >= 0 @ 94.1818
143.32/143.80	c #Conflicts:      15000 | #Constraints:     663201
143.32/143.80	c INPROCESSING
143.32/143.80	c GARBAGE COLLECT
143.32/143.80	c #Conflicts:      16000 | #Constraints:     661427
143.32/143.80	c #Conflicts:      17000 | #Constraints:     662427
143.32/143.80	c #Conflicts:      18000 | #Constraints:     663427
143.32/143.80	c INPROCESSING
143.32/143.80	c GARBAGE COLLECT
143.32/143.80	c #Conflicts:      19000 | #Constraints:     661453
143.32/143.80	c GLOBAL bounds - >= 0 @ 140.712
143.54/144.02	c GLOBAL bounds - >= 0 @ 140.927
144.42/144.95	c GLOBAL bounds - >= 0 @ 141.854
144.53/145.01	c GLOBAL bounds - >= 0 @ 141.908
144.53/145.06	c GLOBAL bounds - >= 0 @ 141.952
145.32/145.83	c GLOBAL bounds - >= 0 @ 142.716
145.53/146.09	c GLOBAL bounds - >= 0 @ 142.976
145.72/146.20	c GLOBAL bounds - >= 0 @ 143.09
145.72/146.23	c GLOBAL bounds - >= 0 @ 143.116
146.53/147.07	c GLOBAL bounds - >= 0 @ 143.952
150.90/151.50	c #Conflicts:      20000 | #Constraints:     662473
150.90/151.50	c GLOBAL bounds - >= 0 @ 148.345
186.59/187.20	c #Conflicts:      21000 | #Constraints:     663475
186.59/187.20	c INPROCESSING
186.59/187.20	c GARBAGE COLLECT
186.59/187.20	c #Conflicts:      22000 | #Constraints:     661275
186.59/187.20	c #Conflicts:      23000 | #Constraints:     662275
186.59/187.20	c GLOBAL bounds - >= 0 @ 183.805
217.29/218.01	c #Conflicts:      24000 | #Constraints:     663277
217.29/218.01	c #Conflicts:      25000 | #Constraints:     664277
217.29/218.01	c INPROCESSING
217.29/218.01	c GARBAGE COLLECT
217.29/218.01	c #Conflicts:      26000 | #Constraints:     661881
217.29/218.01	c GLOBAL bounds - >= 0 @ 214.433
223.46/224.29	c #Conflicts:      27000 | #Constraints:     662883
223.46/224.29	c GLOBAL bounds - >= 0 @ 220.677
227.37/228.19	c GLOBAL bounds - >= 0 @ 224.554
235.13/235.92	c #Conflicts:      28000 | #Constraints:     663887
235.13/235.92	c GLOBAL bounds - >= 0 @ 232.238
235.83/236.62	c GLOBAL bounds - >= 0 @ 232.937
240.52/241.34	c GLOBAL bounds - >= 0 @ 237.616
243.32/244.15	c #Conflicts:      29000 | #Constraints:     664893
243.32/244.15	c INPROCESSING
243.32/244.15	c GARBAGE COLLECT
243.32/244.15	c GLOBAL bounds - >= 0 @ 240.399
244.21/245.05	c GLOBAL bounds - >= 0 @ 241.292
246.20/247.02	c GLOBAL bounds - >= 0 @ 243.25
246.39/247.26	c GLOBAL bounds - >= 0 @ 243.483
246.59/247.44	c GLOBAL bounds - >= 0 @ 243.656
252.38/253.23	c #Conflicts:      30000 | #Constraints:     662300
252.38/253.23	c GLOBAL bounds - >= 0 @ 249.403
252.48/253.31	c GLOBAL bounds - >= 0 @ 249.486
390.89/392.12	c #Conflicts:      31000 | #Constraints:     663304
390.89/392.12	c #Conflicts:      32000 | #Constraints:     664304
390.89/392.12	c #Conflicts:      33000 | #Constraints:     665304
390.89/392.12	c INPROCESSING
390.89/392.12	c GARBAGE COLLECT
390.89/392.12	c #Conflicts:      34000 | #Constraints:     662503
390.89/392.12	c #Conflicts:      35000 | #Constraints:     663503
390.89/392.12	c #Conflicts:      36000 | #Constraints:     664503
390.89/392.12	c #Conflicts:      37000 | #Constraints:     665503
390.89/392.12	c INPROCESSING
390.89/392.12	c GARBAGE COLLECT
390.89/392.12	c #Conflicts:      38000 | #Constraints:     662513
390.89/392.12	c #Conflicts:      39000 | #Constraints:     663513
390.89/392.12	c #Conflicts:      40000 | #Constraints:     664513
390.89/392.12	c #Conflicts:      41000 | #Constraints:     665513
390.89/392.12	c INPROCESSING
390.89/392.12	c GARBAGE COLLECT
390.89/392.12	c #Conflicts:      42000 | #Constraints:     662326
390.89/392.12	c #Conflicts:      43000 | #Constraints:     663326
390.89/392.12	c #Conflicts:      44000 | #Constraints:     664326
390.89/392.12	c GLOBAL bounds - >= 0 @ 387.62
394.36/395.65	c GLOBAL bounds - >= 0 @ 391.139
1198.86/1202.63	c #Conflicts:      45000 | #Constraints:     665330
1198.86/1202.63	c #Conflicts:      46000 | #Constraints:     666330
1198.86/1202.63	c INPROCESSING
1198.86/1202.63	c GARBAGE COLLECT
1198.86/1202.63	c #Conflicts:      47000 | #Constraints:     662918
1198.86/1202.63	c #Conflicts:      48000 | #Constraints:     663918
1198.86/1202.63	c #Conflicts:      49000 | #Constraints:     664918
1198.86/1202.63	c #Conflicts:      50000 | #Constraints:     665918
1198.86/1202.63	c #Conflicts:      51000 | #Constraints:     666918
1198.86/1202.63	c INPROCESSING
1198.86/1202.63	c GARBAGE COLLECT
1198.86/1202.63	c #Conflicts:      52000 | #Constraints:     663314
1198.86/1202.63	c #Conflicts:      53000 | #Constraints:     664314
1198.86/1202.63	c #Conflicts:      54000 | #Constraints:     665314
1198.86/1202.63	c #Conflicts:      55000 | #Constraints:     666314
1198.86/1202.63	c #Conflicts:      56000 | #Constraints:     667314
1198.86/1202.63	c INPROCESSING
1198.86/1202.63	c GARBAGE COLLECT
1198.86/1202.63	c #Conflicts:      57000 | #Constraints:     663509
1198.86/1202.63	c #Conflicts:      58000 | #Constraints:     664509
1198.86/1202.63	c #Conflicts:      59000 | #Constraints:     665509
1198.86/1202.63	c #Conflicts:      60000 | #Constraints:     666509
1198.86/1202.63	c #Conflicts:      61000 | #Constraints:     667509
1198.86/1202.63	c INPROCESSING
1198.86/1202.63	c GARBAGE COLLECT
1198.86/1202.63	c #Conflicts:      62000 | #Constraints:     663513
1198.86/1202.63	c #Conflicts:      63000 | #Constraints:     664513
1198.86/1202.63	c #Conflicts:      64000 | #Constraints:     665513
1198.86/1202.63	c #Conflicts:      65000 | #Constraints:     666513
1198.86/1202.63	c #Conflicts:      66000 | #Constraints:     667513
1198.86/1202.63	c INPROCESSING
1198.86/1202.63	c GARBAGE COLLECT
1198.86/1202.63	c #Conflicts:      67000 | #Constraints:     663316
1198.86/1202.63	c #Conflicts:      68000 | #Constraints:     664316
1198.86/1202.63	c #Conflicts:      69000 | #Constraints:     665316
1198.86/1202.63	c #Conflicts:      70000 | #Constraints:     666316
1198.86/1202.63	c #Conflicts:      71000 | #Constraints:     667316
1198.86/1202.63	c #Conflicts:      72000 | #Constraints:     668316
1198.86/1202.63	c INPROCESSING
1198.86/1202.63	c GARBAGE COLLECT
1198.86/1202.63	c #Conflicts:      73000 | #Constraints:     663917
1198.86/1202.63	c #Conflicts:      74000 | #Constraints:     664917
1198.86/1202.63	c #Conflicts:      75000 | #Constraints:     665917
1198.86/1202.63	c #Conflicts:      76000 | #Constraints:     666917
1198.86/1202.63	c #Conflicts:      77000 | #Constraints:     667917
1198.86/1202.63	c #Conflicts:      78000 | #Constraints:     668917
1198.86/1202.63	c INPROCESSING
1198.86/1202.63	c GARBAGE COLLECT
1198.86/1202.63	c #Conflicts:      79000 | #Constraints:     664322
1198.86/1202.63	c #Conflicts:      80000 | #Constraints:     665322
1198.86/1202.63	c #Conflicts:      81000 | #Constraints:     666322
1198.86/1202.63	c #Conflicts:      82000 | #Constraints:     667322
1198.86/1202.63	c #Conflicts:      83000 | #Constraints:     668322
1198.86/1202.63	c #Conflicts:      84000 | #Constraints:     669322
1198.86/1202.63	c INPROCESSING
1198.86/1202.63	c GARBAGE COLLECT
1198.86/1202.63	c #Conflicts:      85000 | #Constraints:     664525
1198.86/1202.63	c #Conflicts:      86000 | #Constraints:     665525
1198.86/1202.63	c #Conflicts:      87000 | #Constraints:     666525
1198.86/1202.63	c #Conflicts:      88000 | #Constraints:     667525
1198.86/1202.63	c #Conflicts:      89000 | #Constraints:     668525
1198.86/1202.63	c GLOBAL bounds - >= 0 @ 1194.35
1367.05/1371.38	c #Conflicts:      90000 | #Constraints:     669527
1367.05/1371.38	c INPROCESSING
1367.05/1371.38	c GARBAGE COLLECT
1367.05/1371.38	c #Conflicts:      91000 | #Constraints:     664530
1367.05/1371.38	c #Conflicts:      92000 | #Constraints:     665530
1367.05/1371.38	c #Conflicts:      93000 | #Constraints:     666530
1367.05/1371.38	c #Conflicts:      94000 | #Constraints:     667530
1367.05/1371.38	c #Conflicts:      95000 | #Constraints:     668530
1367.05/1371.38	c #Conflicts:      96000 | #Constraints:     669530
1367.05/1371.38	c INPROCESSING
1367.05/1371.38	c GARBAGE COLLECT
1367.05/1371.38	c #Conflicts:      97000 | #Constraints:     664331
1367.05/1371.38	c #Conflicts:      98000 | #Constraints:     665331
1367.05/1371.38	c #Conflicts:      99000 | #Constraints:     666331
1367.05/1371.38	c #Conflicts:     100000 | #Constraints:     667331
1367.05/1371.38	c #Conflicts:     101000 | #Constraints:     668331
1367.05/1371.38	c #Conflicts:     102000 | #Constraints:     669331
1367.05/1371.38	c GLOBAL bounds - >= 0 @ 1362.43
1371.84/1376.16	c GLOBAL bounds - >= 0 @ 1367.18
1372.63/1377.01	c GLOBAL bounds - >= 0 @ 1368.02
1374.32/1378.66	c #Conflicts:     103000 | #Constraints:     670337
1374.32/1378.66	c GLOBAL bounds - >= 0 @ 1369.66
1413.71/1418.17	c INPROCESSING
1413.71/1418.17	c GARBAGE COLLECT
1413.71/1418.17	c #Conflicts:     104000 | #Constraints:     664937
1413.71/1418.17	c #Conflicts:     105000 | #Constraints:     665937
1413.71/1418.17	c GLOBAL bounds - >= 0 @ 1408.94
1414.29/1418.75	c GLOBAL bounds - >= 0 @ 1409.52
1418.88/1423.36	c #Conflicts:     106000 | #Constraints:     666941
1418.88/1423.36	c GLOBAL bounds - >= 0 @ 1414.1
1421.59/1426.01	c GLOBAL bounds - >= 0 @ 1416.74
1422.17/1426.65	c GLOBAL bounds - >= 0 @ 1417.36
1422.27/1426.75	c GLOBAL bounds - >= 0 @ 1417.46
1430.95/1435.45	c #Conflicts:     107000 | #Constraints:     667949
1430.95/1435.45	c GLOBAL bounds - >= 0 @ 1426.1
1432.04/1436.52	c GLOBAL bounds - >= 0 @ 1427.16
1434.04/1438.57	c GLOBAL bounds - >= 0 @ 1429.21
1436.92/1441.42	c #Conflicts:     108000 | #Constraints:     668955
1436.92/1441.42	c GLOBAL bounds - >= 0 @ 1432.04
1464.46/1469.02	c #Conflicts:     109000 | #Constraints:     669957
1464.46/1469.02	c #Conflicts:     110000 | #Constraints:     670957
1464.46/1469.02	c INPROCESSING
1464.46/1469.02	c GARBAGE COLLECT
1464.46/1469.02	c GLOBAL bounds - >= 0 @ 1459.45
1497.04/1501.75	c #Conflicts:     111000 | #Constraints:     665361
1497.04/1501.75	c #Conflicts:     112000 | #Constraints:     666361
1497.04/1501.75	c #Conflicts:     113000 | #Constraints:     667361
1497.04/1501.75	c GLOBAL bounds - >= 0 @ 1491.99
1498.24/1502.90	c GLOBAL bounds - >= 0 @ 1493.13
1500.03/1504.74	c GLOBAL bounds - >= 0 @ 1494.97
1583.18/1588.13	c #Conflicts:     114000 | #Constraints:     668367
1583.18/1588.13	c #Conflicts:     115000 | #Constraints:     669367
1583.18/1588.13	c #Conflicts:     116000 | #Constraints:     670367
1583.18/1588.13	c #Conflicts:     117000 | #Constraints:     671367
1583.18/1588.13	c INPROCESSING
1583.18/1588.13	c GARBAGE COLLECT
1583.18/1588.13	c #Conflicts:     118000 | #Constraints:     665565
1583.18/1588.13	c GLOBAL bounds - >= 0 @ 1577.91
1584.37/1589.39	c GLOBAL bounds - >= 0 @ 1579.16
1586.46/1591.40	c GLOBAL bounds - >= 0 @ 1581.17
3103.12/3112.50	c #Conflicts:     119000 | #Constraints:     666571
3103.12/3112.50	c #Conflicts:     120000 | #Constraints:     667571
3103.12/3112.50	c #Conflicts:     121000 | #Constraints:     668571
3103.12/3112.50	c #Conflicts:     122000 | #Constraints:     669571
3103.12/3112.50	c #Conflicts:     123000 | #Constraints:     670571
3103.12/3112.50	c #Conflicts:     124000 | #Constraints:     671571
3103.12/3112.50	c INPROCESSING
3103.12/3112.50	c GARBAGE COLLECT
3103.12/3112.50	c #Conflicts:     125000 | #Constraints:     665567
3103.12/3112.50	c #Conflicts:     126000 | #Constraints:     666567
3103.12/3112.50	c #Conflicts:     127000 | #Constraints:     667567
3103.12/3112.50	c #Conflicts:     128000 | #Constraints:     668567
3103.12/3112.50	c #Conflicts:     129000 | #Constraints:     669567
3103.12/3112.50	c #Conflicts:     130000 | #Constraints:     670567
3103.12/3112.50	c #Conflicts:     131000 | #Constraints:     671567
3103.12/3112.50	c INPROCESSING
3103.12/3112.50	c GARBAGE COLLECT
3103.12/3112.50	c #Conflicts:     132000 | #Constraints:     665368
3103.12/3112.50	c #Conflicts:     133000 | #Constraints:     666368
3103.12/3112.50	c #Conflicts:     134000 | #Constraints:     667368
3103.12/3112.50	c #Conflicts:     135000 | #Constraints:     668368
3103.12/3112.50	c #Conflicts:     136000 | #Constraints:     669368
3103.12/3112.50	c #Conflicts:     137000 | #Constraints:     670368
3103.12/3112.50	c #Conflicts:     138000 | #Constraints:     671368
3103.12/3112.50	c #Conflicts:     139000 | #Constraints:     672368
3103.12/3112.50	c INPROCESSING
3103.12/3112.50	c GARBAGE COLLECT
3103.12/3112.50	c #Conflicts:     140000 | #Constraints:     665967
3103.12/3112.50	c #Conflicts:     141000 | #Constraints:     666967
3103.12/3112.50	c #Conflicts:     142000 | #Constraints:     667967
3103.12/3112.50	c #Conflicts:     143000 | #Constraints:     668967
3103.12/3112.50	c #Conflicts:     144000 | #Constraints:     669967
3103.12/3112.50	c #Conflicts:     145000 | #Constraints:     670967
3103.12/3112.50	c #Conflicts:     146000 | #Constraints:     671967
3103.12/3112.50	c #Conflicts:     147000 | #Constraints:     672967
3103.12/3112.50	c INPROCESSING
3103.12/3112.50	c GARBAGE COLLECT
3103.12/3112.50	c #Conflicts:     148000 | #Constraints:     666380
3103.12/3112.50	c #Conflicts:     149000 | #Constraints:     667380
3103.12/3112.50	c #Conflicts:     150000 | #Constraints:     668380
3103.12/3112.50	c #Conflicts:     151000 | #Constraints:     669380
3103.12/3112.50	c #Conflicts:     152000 | #Constraints:     670380
3103.12/3112.50	c #Conflicts:     153000 | #Constraints:     671380
3103.12/3112.50	c #Conflicts:     154000 | #Constraints:     672380
3103.12/3112.50	c #Conflicts:     155000 | #Constraints:     673380
3103.12/3112.50	c INPROCESSING
3103.12/3112.50	c GARBAGE COLLECT
3103.12/3112.50	c #Conflicts:     156000 | #Constraints:     666577
3103.12/3112.50	c #Conflicts:     157000 | #Constraints:     667577
3103.12/3112.50	c #Conflicts:     158000 | #Constraints:     668577
3103.12/3112.50	c #Conflicts:     159000 | #Constraints:     669577
3103.12/3112.50	c #Conflicts:     160000 | #Constraints:     670577
3103.12/3112.50	c #Conflicts:     161000 | #Constraints:     671577
3103.12/3112.50	c #Conflicts:     162000 | #Constraints:     672577
3103.12/3112.50	c #Conflicts:     163000 | #Constraints:     673577
3103.12/3112.50	c INPROCESSING
3103.12/3112.50	c GARBAGE COLLECT
3103.12/3112.50	c #Conflicts:     164000 | #Constraints:     666574
3103.12/3112.50	c #Conflicts:     165000 | #Constraints:     667574
3103.12/3112.50	c #Conflicts:     166000 | #Constraints:     668574
3103.12/3112.50	c #Conflicts:     167000 | #Constraints:     669574
3103.12/3112.50	c #Conflicts:     168000 | #Constraints:     670574
3103.12/3112.50	c #Conflicts:     169000 | #Constraints:     671574
3103.12/3112.50	c #Conflicts:     170000 | #Constraints:     672574
3103.12/3112.50	c #Conflicts:     171000 | #Constraints:     673574
3103.12/3112.50	c INPROCESSING
3103.12/3112.50	c GARBAGE COLLECT
3103.12/3112.50	c #Conflicts:     172000 | #Constraints:     666372
3103.12/3112.50	c #Conflicts:     173000 | #Constraints:     667372
3103.12/3112.50	c #Conflicts:     174000 | #Constraints:     668372
3103.12/3112.50	c #Conflicts:     175000 | #Constraints:     669372
3103.12/3112.50	c #Conflicts:     176000 | #Constraints:     670372
3103.12/3112.50	c #Conflicts:     177000 | #Constraints:     671372
3103.12/3112.50	c #Conflicts:     178000 | #Constraints:     672372
3103.12/3112.50	c #Conflicts:     179000 | #Constraints:     673372
3103.12/3112.50	c #Conflicts:     180000 | #Constraints:     674372
3103.12/3112.50	c INPROCESSING
3103.12/3112.50	c GARBAGE COLLECT
3103.12/3112.50	c #Conflicts:     181000 | #Constraints:     666972
3103.12/3112.50	c #Conflicts:     182000 | #Constraints:     667972
3103.12/3112.50	c #Conflicts:     183000 | #Constraints:     668972
3103.12/3112.50	c #Conflicts:     184000 | #Constraints:     669972
3103.12/3112.50	c #Conflicts:     185000 | #Constraints:     670972
3103.12/3112.50	c #Conflicts:     186000 | #Constraints:     671972
3103.12/3112.50	c #Conflicts:     187000 | #Constraints:     672972
3103.12/3112.50	c #Conflicts:     188000 | #Constraints:     673972
3103.12/3112.50	c #Conflicts:     189000 | #Constraints:     674972
3103.12/3112.50	c INPROCESSING
3103.12/3112.50	c GARBAGE COLLECT
3103.12/3112.50	c #Conflicts:     190000 | #Constraints:     667387
3103.12/3112.50	c #Conflicts:     191000 | #Constraints:     668387
3103.12/3112.50	c #Conflicts:     192000 | #Constraints:     669387
3600.04/3611.01	c #Conflicts:     193000 | #Constraints:     670387
3600.04/3611.01	c #Conflicts:     194000 | #Constraints:     671387
3600.04/3611.01	c #Conflicts:     195000 | #Constraints:     672387
3600.04/3611.01	c #Conflicts:     196000 | #Constraints:     673387
3600.04/3611.01	c #Conflicts:     197000 | #Constraints:     674387
3600.04/3611.01	c #Conflicts:     198000 | #Constraints:     675387
3600.04/3611.01	c INPROCESSING
3600.04/3611.01	c GARBAGE COLLECT
3600.04/3611.01	c #Conflicts:     199000 | #Constraints:     667592
3600.04/3611.01	c #Conflicts:     200000 | #Constraints:     668592
3600.04/3611.01	c #Conflicts:     201000 | #Constraints:     669592
3600.04/3611.01	c #Conflicts:     202000 | #Constraints:     670592
3600.04/3611.01	c #Conflicts:     203000 | #Constraints:     671592
3600.04/3611.01	c #Conflicts:     204000 | #Constraints:     672592
3600.04/3611.01	c #Conflicts:     205000 | #Constraints:     673592
3600.04/3611.01	c #Conflicts:     206000 | #Constraints:     674592
3600.04/3611.01	c #Conflicts:     207000 | #Constraints:     675592
3600.04/3611.01	c INPROCESSING
3600.04/3611.01	c GARBAGE COLLECT
3600.04/3611.01	c #Conflicts:     208000 | #Constraints:     667591
3600.04/3611.01	c #Conflicts:     209000 | #Constraints:     668591
3600.04/3611.01	c #Conflicts:     210000 | #Constraints:     669591
3600.04/3611.01	c #Conflicts:     211000 | #Constraints:     670591
3600.04/3611.01	c cpu time 3592.76 s
3600.04/3611.01	c deterministic time 1 1.00e+00
3600.04/3611.01	c optimization time 3590.51 s
3600.04/3611.01	c total solve time 0 s
3600.04/3611.01	c core-guided solve time 0 s
3600.04/3611.01	c propagation time 0.280025 s
3600.04/3611.01	c conflict analysis time 0 s
3600.04/3611.01	c propagations 0
3600.04/3611.01	c resolve steps 0
3600.04/3611.01	c decisions 0
3600.04/3611.01	c conflicts 0
3600.04/3611.01	c restarts 0
3600.04/3611.01	c inprocessing phases 0
3600.04/3611.01	c garbage collections 0 ,( -nan )
3600.04/3611.01	c input clauses 656900 ,( 100.00 )
3600.04/3611.01	c input cardinalities 0 ,( 0.00 )
3600.04/3611.01	c input general constraints 0 ,( 0.00 )
3600.04/3611.01	c input average constraint length 2.03
3600.04/3611.01	c input average constraint degree 1.00
3600.04/3611.01	c learned clauses 0 ,( 0.00 )
3600.04/3611.01	c learned cardinalities 0 ,( 0.00 )
3600.04/3611.01	c learned general constraints 0 ,( 0.00 )
3600.04/3611.01	c learned average constraint length 0.00
3600.04/3611.01	c learned average constraint degree 0.00
3600.04/3611.01	c watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.04/3611.01	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.04/3611.01	c watched   constraints 0 ,( -nan ) 
3600.04/3611.01	c counting  constraints 0 ,( -nan ) 
3600.04/3611.01	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.04/3611.01	c gcd simplifications 0
3600.04/3611.01	c detected cardinalities 0
3600.04/3611.01	c weakened non-implied lits 0
3600.04/3611.01	c weakened non-implying lits 0
3600.04/3611.01	c original variables 10000
3600.04/3611.01	c clausal propagations 0
3600.04/3611.01	c cardinality propagations 0
3600.04/3611.01	c watched propagations 0
3600.04/3611.01	c counting propagations 0
3600.04/3611.01	c watch lookups 0
3600.04/3611.01	c watch backjump lookups 0
3600.04/3611.01	c watch checks 0
3600.04/3611.01	c propagation checks 0
3600.04/3611.01	c constraint additions 0
3600.04/3611.01	c trail pops 0
3600.04/3611.01	c formula constraints 656900
3600.04/3611.01	c learned constraints 0
3600.04/3611.01	c bound constraints 0
3600.04/3611.01	c core-guided constraints 0
3600.04/3611.01	c encountered formula constraints 0
3600.04/3611.01	c encountered learned constraints 0
3600.04/3611.01	c encountered bound constraints 0
3600.04/3611.01	c encountered core-guided constraints 0
3600.04/3611.01	c LP total time 0 s
3600.04/3611.01	c LP solve time 0 s
3600.04/3611.01	c LP constraints added 0
3600.04/3611.01	c LP constraints removed 0
3600.04/3611.01	c LP pivots internal 0
3600.04/3611.01	c LP pivots root 0
3600.04/3611.01	c LP calls 0
3600.04/3611.01	c LP optimalities 0
3600.04/3611.01	c LP no pivot count 0
3600.04/3611.01	c LP infeasibilities 0
3600.04/3611.01	c LP valid Farkas constraints 0
3600.04/3611.01	c LP learned Farkas constraints 0
3600.04/3611.01	c LP basis resets 0
3600.04/3611.01	c LP cycling count 0
3600.04/3611.01	c LP singular count 0
3600.04/3611.01	c LP no primal count 0
3600.04/3611.01	c LP no farkas count 0
3600.04/3611.01	c LP other issue count 0
3600.04/3611.01	c LP Gomory cuts 0
3600.04/3611.01	c LP learned cuts 0
3600.04/3611.01	c LP deleted cuts 0
3600.04/3611.01	c LP encountered Gomory constraints 0
3600.04/3611.01	c LP encountered Farkas constraints 0
3600.04/3611.01	c LP encountered learned Farkas constraints 0
3600.04/3611.01	c CG auxiliary variables introduced 0
3600.04/3611.01	c CG solutions found 0
3600.04/3611.01	c CG cores constructed 0
3600.04/3611.01	c CG core cardinality constraints returned 0
3600.04/3611.01	c CG unit cores 0
3600.04/3611.01	c CG single cores 0
3600.04/3611.01	c CG blocks removed during cardinality reduction 0
3600.04/3611.01	c CG first core best 0
3600.04/3611.01	c CG decision core best 0
3600.04/3611.01	c CG core reduction tie 0
3600.04/3611.01	c CG core degree average 0.00
3600.04/3611.01	c CG core slack average 0.00
3600.04/3611.01	c CG core upper bound improvements 0
3600.04/3611.01	c STR number of successful calls 0
3600.04/3611.01	c STR number of unsuccessful calls 0
3600.04/3611.01	c STR number of inconclusive calls 0
3600.04/3611.01	c STR number of successful attempts 0
3600.04/3611.01	c STR number of unsuccessful attempts 0
3600.04/3611.01	c STR number of inconclusive attempts 0
3600.04/3611.01	c STR average degree increase per successful call inf
3600.04/3611.01	c STR average degree increase per successful attempt inf
3600.04/3611.01	c STR total number of conflicts for successful attempts 0
3600.04/3611.01	c STR total number of conflicts for unsuccessful attempts 0
3600.04/3611.01	c STR total number of conflicts for inconclusive attempts 0
3600.04/3611.01	c STR average number of conflicts per successful attempt inf
3600.04/3611.01	c STR average number of conflicts per unsuccessful attempt inf
3600.04/3611.01	c STR average number of conflicts per inconclusive attempt inf
3600.04/3611.01	c AVG.sumWPerc -nan 
3600.04/3611.01	c bigint constraints 0 
3600.04/3611.01	s UNKNOWN
3600.04/3611.01	c Program interrupted by user.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489874-1751365338/watcher-4489874-1751365338 -o /tmp/evaluation-result-4489874-1751365338/solver-4489874-1751365338 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751361724-50468 --watchdog 3760 run-opt.sh HOME/instance-4489874-1751365338.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
Current StackSize limit: 8192 KiB

solver pid=50850, runsolver pid=50846

[startup+0.100107 s]*
/proc/loadavg: 4.14 4.10 4.04 5/240 50852
/proc/meminfo: memFree=129916892/131382120 swapFree=33010416/33010684
[pid=50850] ppid=50846 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/50850/stat : 50850 (run-opt.sh) S 50846 50850 50456 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52213192 4292608 736 18446744073709551615 94434380910592 94434381805125 140728372227872 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94434382044176 94434382091920 94434413850624 140728372234605 140728372234728 140728372234728 140728372240330 0
/proc/50850/statm: 1048 736 672 219 0 110 0
[pid=50852] ppid=50850 vsize=58112 memory=13316 CPUtime=0.09 cores=1,3
/proc/50852/stat : 50852 (roundingsat) R 50850 50850 50456 0 -1 4194304 1500 0 0 0 6 3 0 0 20 0 1 0 52213193 59506688 3329 18446744073709551615 4227072 8923433 140721211896896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33652736 140721211902370 140721211902504 140721211902504 140721211908074 0
/proc/50852/statm: 14528 3329 1920 1147 0 1955 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 62304 KiB
Current children cumulated memory: 16260 KiB

[startup+0.214926 s]*
/proc/loadavg: 4.14 4.10 4.04 3/241 50863
/proc/meminfo: memFree=129923484/131382120 swapFree=33010416/33010684
[pid=50850] ppid=50846 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/50850/stat : 50850 (run-opt.sh) S 50846 50850 50456 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52213192 4292608 736 18446744073709551615 94434380910592 94434381805125 140728372227872 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94434382044176 94434382091920 94434413850624 140728372234605 140728372234728 140728372234728 140728372240330 0
/proc/50850/statm: 1048 736 672 219 0 110 0
[pid=50852] ppid=50850 vsize=59668 memory=14596 CPUtime=0.2 cores=1,3
/proc/50852/stat : 50852 (roundingsat) R 50850 50850 50456 0 -1 4194304 1823 0 0 0 13 7 0 0 20 0 1 0 52213193 61100032 3649 18446744073709551615 4227072 8923433 140721211896896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33652736 140721211902370 140721211902504 140721211902504 140721211908074 0
/proc/50852/statm: 14917 3649 1920 1147 0 2344 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 63860 KiB
Current children cumulated memory: 17540 KiB

[startup+0.315732 s]*
/proc/loadavg: 4.14 4.10 4.04 4/243 50879
/proc/meminfo: memFree=129931316/131382120 swapFree=33010416/33010684
[pid=50850] ppid=50846 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/50850/stat : 50850 (run-opt.sh) S 50846 50850 50456 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52213192 4292608 736 18446744073709551615 94434380910592 94434381805125 140728372227872 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94434382044176 94434382091920 94434413850624 140728372234605 140728372234728 140728372234728 140728372240330 0
/proc/50850/statm: 1048 736 672 219 0 110 0
[pid=50852] ppid=50850 vsize=60724 memory=17904 CPUtime=0.29 cores=1,3
/proc/50852/stat : 50852 (roundingsat) R 50850 50850 50456 0 -1 4194304 2130 0 0 0 19 10 0 0 20 0 1 0 52213193 62181376 4476 18446744073709551615 4227072 8923433 140721211896896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33652736 140721211902370 140721211902504 140721211902504 140721211908074 0
/proc/50852/statm: 15181 4476 1920 1147 0 2608 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 64916 KiB
Current children cumulated memory: 20848 KiB

[startup+0.700336 s]
/proc/loadavg: 4.14 4.10 4.04 7/251 50895
/proc/meminfo: memFree=129943508/131382120 swapFree=33010416/33010684
[pid=50850] ppid=50846 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/50850/stat : 50850 (run-opt.sh) S 50846 50850 50456 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52213192 4292608 736 18446744073709551615 94434380910592 94434381805125 140728372227872 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94434382044176 94434382091920 94434413850624 140728372234605 140728372234728 140728372234728 140728372240330 0
/proc/50850/statm: 1048 736 672 219 0 110 0
[pid=50852] ppid=50850 vsize=71100 memory=26480 CPUtime=0.66 cores=1,3
/proc/50852/stat : 50852 (roundingsat) R 50850 50850 50456 0 -1 4194304 4442 0 0 0 46 20 0 0 20 0 1 0 52213193 72806400 6620 18446744073709551615 4227072 8923433 140721211896896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33652736 140721211902370 140721211902504 140721211902504 140721211908074 0
/proc/50852/statm: 17775 6620 1920 1147 0 5202 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 75292 KiB
Current children cumulated memory: 29424 KiB

[startup+1.50037 s]
/proc/loadavg: 4.14 4.10 4.04 5/251 50895
/proc/meminfo: memFree=129889964/131382120 swapFree=33010416/33010684
[pid=50850] ppid=50846 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/50850/stat : 50850 (run-opt.sh) S 50846 50850 50456 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52213192 4292608 736 18446744073709551615 94434380910592 94434381805125 140728372227872 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94434382044176 94434382091920 94434413850624 140728372234605 140728372234728 140728372234728 140728372240330 0
/proc/50850/statm: 1048 736 672 219 0 110 0
[pid=50852] ppid=50850 vsize=96736 memory=51768 CPUtime=1.45 cores=1,3
/proc/50852/stat : 50852 (roundingsat) R 50850 50850 50456 0 -1 4194304 10751 0 0 0 101 44 0 0 20 0 1 0 52213193 99057664 12942 18446744073709551615 4227072 8923433 140721211896896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33652736 140721211902370 140721211902504 140721211902504 140721211908074 0
/proc/50852/statm: 24184 12942 1920 1147 0 11611 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 100928 KiB
Current children cumulated memory: 54712 KiB

[startup+3.11351 s]
/proc/loadavg: 4.13 4.10 4.04 5/255 50906
/proc/meminfo: memFree=129057992/131382120 swapFree=33010416/33010684
[pid=50850] ppid=50846 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/50850/stat : 50850 (run-opt.sh) S 50846 50850 50456 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52213192 4292608 736 18446744073709551615 94434380910592 94434381805125 140728372227872 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94434382044176 94434382091920 94434413850624 140728372234605 140728372234728 140728372234728 140728372240330 0
/proc/50850/statm: 1048 736 672 219 0 110 0
[pid=50852] ppid=50850 vsize=740672 memory=476552 CPUtime=3.06 cores=1,3
/proc/50852/stat : 50852 (roundingsat) R 50850 50850 50456 0 -1 4194304 36310 0 0 0 222 84 0 0 20 0 1 0 52213193 758448128 119138 18446744073709551615 4227072 8923433 140721211896896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33652736 140721211902370 140721211902504 140721211902504 140721211908074 0
/proc/50852/statm: 185168 119138 2272 1147 0 172595 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 744864 KiB
Current children cumulated memory: 479496 KiB

[startup+6.30034 s]
/proc/loadavg: 4.13 4.10 4.04 5/255 50906
/proc/meminfo: memFree=128397116/131382120 swapFree=33010416/33010684
[pid=50850] ppid=50846 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/50850/stat : 50850 (run-opt.sh) S 50846 50850 50456 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52213192 4292608 736 18446744073709551615 94434380910592 94434381805125 140728372227872 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94434382044176 94434382091920 94434413850624 140728372234605 140728372234728 140728372234728 140728372240330 0
/proc/50850/statm: 1048 736 672 219 0 110 0
[pid=50852] ppid=50850 vsize=1195948 memory=941340 CPUtime=6.25 cores=1,3
/proc/50852/stat : 50852 (roundingsat) R 50850 50850 50456 0 -1 4194304 133331 0 0 0 469 156 0 0 20 0 1 0 52213193 1224650752 235335 18446744073709551615 4227072 8923433 140721211896896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33652736 140721211902370 140721211902504 140721211902504 140721211908074 0
/proc/50852/statm: 298987 235335 2400 1147 0 286414 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 1200140 KiB
Current children cumulated memory: 944284 KiB

[startup+12.7004 s]
/proc/loadavg: 4.12 4.10 4.04 5/255 50906
/proc/meminfo: memFree=128362424/131382120 swapFree=33010416/33010684
[pid=50850] ppid=50846 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/50850/stat : 50850 (run-opt.sh) S 50846 50850 50456 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52213192 4292608 736 18446744073709551615 94434380910592 94434381805125 140728372227872 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94434382044176 94434382091920 94434413850624 140728372234605 140728372234728 140728372234728 140728372240330 0
/proc/50850/statm: 1048 736 672 219 0 110 0
[pid=50852] ppid=50850 vsize=1276856 memory=1003984 CPUtime=12.63 cores=1,3
/proc/50852/stat : 50852 (roundingsat) R 50850 50850 50456 0 -1 4194304 134685 0 0 0 1078 185 0 0 20 0 1 0 52213193 1307500544 250996 18446744073709551615 4227072 8923433 140721211896896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33652736 140721211902370 140721211902504 140721211902504 140721211908074 0
/proc/50852/statm: 319214 250996 2400 1147 0 306641 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1281048 KiB
Current children cumulated memory: 1006928 KiB

[startup+25.5004 s]
/proc/loadavg: 4.09 4.09 4.04 5/256 50908
/proc/meminfo: memFree=128159380/131382120 swapFree=33010416/33010684
[pid=50850] ppid=50846 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/50850/stat : 50850 (run-opt.sh) S 50846 50850 50456 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52213192 4292608 736 18446744073709551615 94434380910592 94434381805125 140728372227872 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94434382044176 94434382091920 94434413850624 140728372234605 140728372234728 140728372234728 140728372240330 0
/proc/50850/statm: 1048 736 672 219 0 110 0
[pid=50852] ppid=50850 vsize=1468136 memory=1151260 CPUtime=25.39 cores=1,3
/proc/50852/stat : 50852 (roundingsat) R 50850 50850 50456 0 -1 4194304 155225 0 0 0 2335 204 0 0 20 0 1 0 52213193 1503371264 287815 18446744073709551615 4227072 8923433 140721211896896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33652736 140721211902370 140721211902504 140721211902504 140721211908074 0
/proc/50852/statm: 367034 287815 2400 1147 0 354461 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1472328 KiB
Current children cumulated memory: 1154204 KiB

[startup+51.1135 s]
/proc/loadavg: 4.05 4.08 4.04 5/254 50922
/proc/meminfo: memFree=128181236/131382120 swapFree=33010416/33010684
[pid=50850] ppid=50846 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/50850/stat : 50850 (run-opt.sh) S 50846 50850 50456 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52213192 4292608 736 18446744073709551615 94434380910592 94434381805125 140728372227872 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94434382044176 94434382091920 94434413850624 140728372234605 140728372234728 140728372234728 140728372240330 0
/proc/50850/statm: 1048 736 672 219 0 110 0
[pid=50852] ppid=50850 vsize=1791912 memory=1347408 CPUtime=50.93 cores=1,3
/proc/50852/stat : 50852 (roundingsat) R 50850 50850 50456 0 -1 4194304 190459 0 0 0 4864 229 0 0 20 0 1 0 52213193 1834917888 336852 18446744073709551615 4227072 8923433 140721211896896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33652736 140721211902370 140721211902504 140721211902504 140721211908074 0
/proc/50852/statm: 447978 336852 2400 1147 0 435405 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1796104 KiB
Current children cumulated memory: 1350352 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.09 4.04 5/257 51002
/proc/meminfo: memFree=127740584/131382120 swapFree=33010416/33010684
[pid=50850] ppid=50846 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/50850/stat : 50850 (run-opt.sh) S 50846 50850 50456 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52213192 4292608 736 18446744073709551615 94434380910592 94434381805125 140728372227872 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94434382044176 94434382091920 94434413850624 140728372234605 140728372234728 140728372234728 140728372240330 0
/proc/50850/statm: 1048 736 672 219 0 110 0
[pid=50852] ppid=50850 vsize=1956388 memory=1528436 CPUtime=101.96 cores=1,3
/proc/50852/stat : 50852 (roundingsat) R 50850 50850 50456 0 -1 4194304 220410 0 0 0 9943 253 0 0 20 0 1 0 52213193 2003341312 382109 18446744073709551615 4227072 8923433 140721211896896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33652736 140721211902370 140721211902504 140721211902504 140721211908074 0
/proc/50852/statm: 489097 382109 2400 1147 0 476524 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 1960580 KiB
Current children cumulated memory: 1531380 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.08 4.04 5/257 51049
/proc/meminfo: memFree=127815516/131382120 swapFree=33010416/33010684
[pid=50850] ppid=50846 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/50850/stat : 50850 (run-opt.sh) S 50846 50850 50456 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52213192 4292608 736 18446744073709551615 94434380910592 94434381805125 140728372227872 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94434382044176 94434382091920 94434413850624 140728372234605 140728372234728 140728372234728 140728372240330 0
/proc/50850/statm: 1048 736 672 219 0 110 0
[pid=50852] ppid=50850 vsize=1971528 memory=1572088 CPUtime=161.77 cores=1,3
/proc/50852/stat : 50852 (roundingsat) R 50850 50850 50456 0 -1 4194304 226387 0 0 0 15906 271 0 0 20 0 1 0 52213193 2018844672 393022 18446744073709551615 4227072 8923433 140721211896896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33652736 140721211902370 140721211902504 140721211902504 140721211908074 0
/proc/50852/statm: 492882 393022 2400 1147 0 480309 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 1975720 KiB
Current children cumulated memory: 1575032 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.10 4.05 5/257 51057
/proc/meminfo: memFree=127724592/131382120 swapFree=33010416/33010684
[pid=50850] ppid=50846 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/50850/stat : 50850 (run-opt.sh) S 50846 50850 50456 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52213192 4292608 736 18446744073709551615 94434380910592 94434381805125 140728372227872 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94434382044176 94434382091920 94434413850624 140728372234605 140728372234728 140728372234728 140728372240330 0
/proc/50850/statm: 1048 736 672 219 0 110 0
[pid=50852] ppid=50850 vsize=2022232 memory=1650720 CPUtime=221.56 cores=1,3
/proc/50852/stat : 50852 (roundingsat) R 50850 50850 50456 0 -1 4194304 237455 0 0 0 21869 287 0 0 20 0 1 0 52213193 2070765568 412680 18446744073709551615 4227072 8923433 140721211896896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33652736 140721211902370 140721211902504 140721211902504 140721211908074 0
/proc/50852/statm: 505558 412680 2400 1147 0 492985 0
Current children cumulated CPU time: 221.56 s

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

[pid=50852] ppid=50850 vsize=3428360 memory=2846012 CPUtime=3092.95 cores=1,3
/proc/50852/stat : 50852 (roundingsat) R 50850 50850 50456 0 -1 4194304 400265 0 0 0 308594 701 0 0 20 0 1 0 52213193 3510640640 711503 18446744073709551615 4227072 8923433 140721211896896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33652736 140721211902370 140721211902504 140721211902504 140721211908074 0
/proc/50852/statm: 857090 711503 2400 1147 0 844517 0
Current children cumulated CPU time: 3092.95 s
Current children cumulated vsize: 3432552 KiB
Current children cumulated memory: 2848956 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.12 4.12 5/255 51392
/proc/meminfo: memFree=126336452/131382120 swapFree=33010416/33010684
[pid=50850] ppid=50846 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/50850/stat : 50850 (run-opt.sh) S 50846 50850 50456 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52213192 4292608 736 18446744073709551615 94434380910592 94434381805125 140728372227872 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94434382044176 94434382091920 94434413850624 140728372234605 140728372234728 140728372234728 140728372240330 0
/proc/50850/statm: 1048 736 672 219 0 110 0
[pid=50852] ppid=50850 vsize=3428360 memory=2846012 CPUtime=3152.76 cores=1,3
/proc/50852/stat : 50852 (roundingsat) R 50850 50850 50456 0 -1 4194304 400265 0 0 0 314571 705 0 0 20 0 1 0 52213193 3510640640 711503 18446744073709551615 4227072 8923433 140721211896896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33652736 140721211902370 140721211902504 140721211902504 140721211908074 0
/proc/50852/statm: 857090 711503 2400 1147 0 844517 0
Current children cumulated CPU time: 3152.76 s
Current children cumulated vsize: 3432552 KiB
Current children cumulated memory: 2848956 KiB

[startup+3222.3 s]
/proc/loadavg: 4.21 4.14 4.13 5/255 51400
/proc/meminfo: memFree=126309104/131382120 swapFree=33010416/33010684
[pid=50850] ppid=50846 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/50850/stat : 50850 (run-opt.sh) S 50846 50850 50456 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52213192 4292608 736 18446744073709551615 94434380910592 94434381805125 140728372227872 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94434382044176 94434382091920 94434413850624 140728372234605 140728372234728 140728372234728 140728372240330 0
/proc/50850/statm: 1048 736 672 219 0 110 0
[pid=50852] ppid=50850 vsize=3428360 memory=2846012 CPUtime=3212.57 cores=1,3
/proc/50852/stat : 50852 (roundingsat) R 50850 50850 50456 0 -1 4194304 400603 0 0 0 320549 708 0 0 20 0 1 0 52213193 3510640640 711503 18446744073709551615 4227072 8923433 140721211896896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33652736 140721211902370 140721211902504 140721211902504 140721211908074 0
/proc/50852/statm: 857090 711503 2400 1147 0 844517 0
Current children cumulated CPU time: 3212.57 s
Current children cumulated vsize: 3432552 KiB
Current children cumulated memory: 2848956 KiB

[startup+3282.3 s]
/proc/loadavg: 4.18 4.14 4.13 5/255 51403
/proc/meminfo: memFree=126312752/131382120 swapFree=33010416/33010684
[pid=50850] ppid=50846 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/50850/stat : 50850 (run-opt.sh) S 50846 50850 50456 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52213192 4292608 736 18446744073709551615 94434380910592 94434381805125 140728372227872 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94434382044176 94434382091920 94434413850624 140728372234605 140728372234728 140728372234728 140728372240330 0
/proc/50850/statm: 1048 736 672 219 0 110 0
[pid=50852] ppid=50850 vsize=3428620 memory=2846396 CPUtime=3272.39 cores=1,3
/proc/50852/stat : 50852 (roundingsat) R 50850 50850 50456 0 -1 4194304 401214 0 0 0 326527 712 0 0 20 0 1 0 52213193 3510906880 711599 18446744073709551615 4227072 8923433 140721211896896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33652736 140721211902370 140721211902504 140721211902504 140721211908074 0
/proc/50852/statm: 857155 711599 2400 1147 0 844582 0
Current children cumulated CPU time: 3272.39 s
Current children cumulated vsize: 3432812 KiB
Current children cumulated memory: 2849340 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.13 4.12 5/254 51405
/proc/meminfo: memFree=126321560/131382120 swapFree=33010416/33010684
[pid=50850] ppid=50846 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/50850/stat : 50850 (run-opt.sh) S 50846 50850 50456 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52213192 4292608 736 18446744073709551615 94434380910592 94434381805125 140728372227872 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94434382044176 94434382091920 94434413850624 140728372234605 140728372234728 140728372234728 140728372240330 0
/proc/50850/statm: 1048 736 672 219 0 110 0
[pid=50852] ppid=50850 vsize=3428620 memory=2846396 CPUtime=3332.2 cores=1,3
/proc/50852/stat : 50852 (roundingsat) R 50850 50850 50456 0 -1 4194304 401214 0 0 0 332505 715 0 0 20 0 1 0 52213193 3510906880 711599 18446744073709551615 4227072 8923433 140721211896896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33652736 140721211902370 140721211902504 140721211902504 140721211908074 0
/proc/50852/statm: 857155 711599 2400 1147 0 844582 0
Current children cumulated CPU time: 3332.2 s
Current children cumulated vsize: 3432812 KiB
Current children cumulated memory: 2849340 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.14 4.12 5/254 51407
/proc/meminfo: memFree=126313340/131382120 swapFree=33010416/33010684
[pid=50850] ppid=50846 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/50850/stat : 50850 (run-opt.sh) S 50846 50850 50456 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52213192 4292608 736 18446744073709551615 94434380910592 94434381805125 140728372227872 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94434382044176 94434382091920 94434413850624 140728372234605 140728372234728 140728372234728 140728372240330 0
/proc/50850/statm: 1048 736 672 219 0 110 0
[pid=50852] ppid=50850 vsize=3428620 memory=2846396 CPUtime=3392 cores=1,3
/proc/50852/stat : 50852 (roundingsat) R 50850 50850 50456 0 -1 4194304 401298 0 0 0 338482 718 0 0 20 0 1 0 52213193 3510906880 711599 18446744073709551615 4227072 8923433 140721211896896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33652736 140721211902370 140721211902504 140721211902504 140721211908074 0
/proc/50852/statm: 857155 711599 2400 1147 0 844582 0
Current children cumulated CPU time: 3392 s
Current children cumulated vsize: 3432812 KiB
Current children cumulated memory: 2849340 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.12 4.12 5/255 51410
/proc/meminfo: memFree=126316340/131382120 swapFree=33010416/33010684
[pid=50850] ppid=50846 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/50850/stat : 50850 (run-opt.sh) S 50846 50850 50456 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52213192 4292608 736 18446744073709551615 94434380910592 94434381805125 140728372227872 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94434382044176 94434382091920 94434413850624 140728372234605 140728372234728 140728372234728 140728372240330 0
/proc/50850/statm: 1048 736 672 219 0 110 0
[pid=50852] ppid=50850 vsize=3428620 memory=2846396 CPUtime=3451.81 cores=1,3
/proc/50852/stat : 50852 (roundingsat) R 50850 50850 50456 0 -1 4194304 402044 0 0 0 344460 721 0 0 20 0 1 0 52213193 3510906880 711599 18446744073709551615 4227072 8923433 140721211896896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33652736 140721211902370 140721211902504 140721211902504 140721211908074 0
/proc/50852/statm: 857155 711599 2400 1147 0 844582 0
Current children cumulated CPU time: 3451.81 s
Current children cumulated vsize: 3432812 KiB
Current children cumulated memory: 2849340 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.13 4.12 5/255 51412
/proc/meminfo: memFree=126256152/131382120 swapFree=33010416/33010684
[pid=50850] ppid=50846 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/50850/stat : 50850 (run-opt.sh) S 50846 50850 50456 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52213192 4292608 736 18446744073709551615 94434380910592 94434381805125 140728372227872 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94434382044176 94434382091920 94434413850624 140728372234605 140728372234728 140728372234728 140728372240330 0
/proc/50850/statm: 1048 736 672 219 0 110 0
[pid=50852] ppid=50850 vsize=3466516 memory=2896956 CPUtime=3511.62 cores=1,3
/proc/50852/stat : 50852 (roundingsat) R 50850 50850 50456 0 -1 4194304 408057 0 0 0 350437 725 0 0 20 0 1 0 52213193 3549712384 724239 18446744073709551615 4227072 8923433 140721211896896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33652736 140721211902370 140721211902504 140721211902504 140721211908074 0
/proc/50852/statm: 866629 724239 2400 1147 0 854056 0
Current children cumulated CPU time: 3511.62 s
Current children cumulated vsize: 3470708 KiB
Current children cumulated memory: 2899900 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.13 4.12 5/256 51414
/proc/meminfo: memFree=126254868/131382120 swapFree=33010416/33010684
[pid=50850] ppid=50846 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/50850/stat : 50850 (run-opt.sh) S 50846 50850 50456 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52213192 4292608 736 18446744073709551615 94434380910592 94434381805125 140728372227872 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94434382044176 94434382091920 94434413850624 140728372234605 140728372234728 140728372234728 140728372240330 0
/proc/50850/statm: 1048 736 672 219 0 110 0
[pid=50852] ppid=50850 vsize=3466516 memory=2896956 CPUtime=3571.44 cores=1,3
/proc/50852/stat : 50852 (roundingsat) R 50850 50850 50456 0 -1 4194304 408057 0 0 0 356416 728 0 0 20 0 1 0 52213193 3549712384 724239 18446744073709551615 4227072 8923433 140721211896896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33652736 140721211902370 140721211902504 140721211902504 140721211908074 0
/proc/50852/statm: 866629 724239 2400 1147 0 854056 0
Current children cumulated CPU time: 3571.44 s
Current children cumulated vsize: 3470708 KiB
Current children cumulated memory: 2899900 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611 s]*
/proc/loadavg: 4.09 4.12 4.11 5/250 51423
/proc/meminfo: memFree=126581336/131382120 swapFree=33010416/33010684
[pid=50850] ppid=50846 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/50850/stat : 50850 (run-opt.sh) S 50846 50850 50456 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 52213192 4292608 736 18446744073709551615 94434380910592 94434381805125 140728372227872 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94434382044176 94434382091920 94434413850624 140728372234605 140728372234728 140728372234728 140728372240330 0
/proc/50850/statm: 1048 736 672 219 0 110 0
[pid=50852] ppid=50850 vsize=3466516 memory=2896956 CPUtime=3600.04 cores=1,3
/proc/50852/stat : 50852 (roundingsat) R 50850 50850 50456 0 -1 4194304 408393 0 0 0 359275 729 0 0 20 0 1 0 52213193 3549712384 724239 18446744073709551615 4227072 8923433 140721211896896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33652736 140721211902370 140721211902504 140721211902504 140721211908074 0
/proc/50852/statm: 866629 724239 2400 1147 0 854056 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 3470708 KiB
Current children cumulated memory: 2899900 KiB

Sending SIGTERM to process tree (bottom up)

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

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

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

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

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

[startup+3611.12 s]*
/proc/loadavg: 4.09 4.12 4.11 4/249 51423
/proc/meminfo: memFree=128414832/131382120 swapFree=33010416/33010684
[pid=50852] ppid=50846 vsize=1306076 memory=718188 CPUtime=3600.16 cores=1,3
/proc/50852/stat : 50852 (roundingsat) R 50846 50850 50456 0 -1 4194304 408606 0 0 0 359285 731 0 0 20 0 1 0 52213193 1337421824 179547 18446744073709551615 4227072 8923433 140721211896896 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 33652736 140721211902370 140721211902504 140721211902504 140721211908074 0
/proc/50852/statm: 326519 179547 2496 1147 0 313946 0
Current cumulated CPU time of completed processes: 0.005163 s
Current children cumulated CPU time: 3600.16 s
Current children cumulated vsize: 1306076 KiB
Current children cumulated memory: 718188 KiB

Child status: 2

Real time (s): 3611.14
CPU time (s): 3600.18
CPU user time (s): 3592.86
CPU system time (s): 7.32462
CPU usage (%): 99.6967
Max. virtual memory (cumulated for all children) (KiB): 3470708
Max. memory (cumulated for all children) (KiB): 2899900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.86
system time used= 7.32462
maximum resident set size= 2897340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 408837
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= 319
involuntary context switches= 1786


# summary of solver processes directly reported to runsolver:
#   pid: 50850,50852
#   total CPU time (s): 3600.18
#   total CPU user time (s): 3592.86
#   total CPU system time (s): 7.32462

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.5561 second user time and 37.7176 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2025-07-01 12:22:18
IDJOB=4489874
IDBENCH=147565
IDSOLVER=3350
FILE ID=nodeC006/4489874-1751365338
RUNJOBID= nodeC006-1751361724-50468
SLURM_JOB_ID= 9598172
Free space on /tmp= 432892 MiB

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

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

MD5SUM BENCH= 41281aaad41c07f4dcd6eb689ad0db2a
RANDOM SEED=73022095

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        129938044 kB
MemAvailable:   129894768 kB
Buffers:            2128 kB
Cached:           759192 kB
SwapCached:           12 kB
Active:           411224 kB
Inactive:         434092 kB
Active(anon):      90904 kB
Inactive(anon):    11092 kB
Active(file):     320320 kB
Inactive(file):   423000 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            115648 kB
Writeback:             0 kB
AnonPages:         87200 kB
Mapped:           102964 kB
Shmem:             17948 kB
KReclaimable:     105676 kB
Slab:             189620 kB
SReclaimable:     105676 kB
SUnreclaim:        83944 kB
KernelStack:        3888 kB
PageTables:         2972 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     350420 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149272 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     30720 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191304 kB
DirectMap2M:    10196992 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 432916 MiB
End job on nodeC006 at 2025-07-01 13:22:30