Trace number 4497194

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-ls+pbsuma 63f22adOPT50769 436.507 437.71

General information on the benchmark

NamePB24/normalized-PB07/OPT-LIN/submittedPB07/
aksoy/trarea_ac/normalized-fir09_trarea_ac.opb
MD5SUMec773b047bf21dab87650e27deaa6768
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark50769
Best CPU time to get the best result obtained on this benchmark4.19641
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3945
Total number of constraints8604
Number of constraints which are clauses8604
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 constraint1
Maximum length of a constraint59
Number of terms in the objective function 1872
Biggest coefficient in the objective function 2110
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 3036193
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 2110
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 3036193
Number of bits of the biggest sum of numbers22
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.01	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.01	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.01	c │      (c) 2025 Markus Anders                                    │
0.00/0.01	c └────────────────────────────────────────────────────────────────┘
0.00/0.01	c parse 'HOME/instance-4497194-1751371414.opb'
0.00/0.02	c 	read 0.27MB  (4.55ms)
0.00/0.02	c	 [cnf: #variables 3945 #clauses 8605 #duplicates 0 #arr 23996]
0.00/0.02	c 
0.00/0.02	c make graph and approximate orbits
0.00/0.02	c	 [group: #orbits ~= 8] (6.12ms)
0.00/0.02	c 
0.00/0.02	c detect special group actions
0.00/0.02	c 	probe for Johnson action (limit=64)
0.00/0.02	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.02	c 	probe for row symmetry (limit=64, splits=16.78M)
0.00/0.02	c 	 (0.82ms)
0.00/0.02	c 
0.00/0.02	c detect symmetries on remainder
0.00/0.02	c 	[graph: #vertices 26254 #edges 75400]
0.00/0.02	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.03	c 	 [group: #symmetries 4.00*10^0 #generators 2] (4.48ms)
0.00/0.03	c 
0.00/0.03	c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.03	c 	(0.00ms)
0.00/0.03	c 
0.00/0.03	c finalize break order and special generators
0.00/0.03	c 
0.00/0.03	c add generic predicates (break_depth=20)
0.00/0.03	c 	added predicates for 2 generators (0.01ms)
0.00/0.03	c 
0.00/0.03	c generation finished
0.00/0.03	c 	[sbp: #constraints 20 #add_vars 6]
0.00/0.03	c 
0.00/0.03	c write result to 'HOME/instance-4497194-1751371414.opb.pre'
0.00/0.03	c 	wrote 0.28MB (0.80ms)
0.00/0.03	c ------------------------------------------------------------------
0.00/0.03	c                   6.12ms 35.44% approx_orbits
0.00/0.03	c                   4.55ms 26.35% parse
0.00/0.03	c                   4.48ms 25.90% detect_generic
0.00/0.03	c                   0.82ms  4.72% detect_special
0.00/0.03	c                   0.80ms  4.65% output
0.00/0.03	c                   0.37ms  2.13% other
0.00/0.03	c                   0.13ms  0.75% finalize_order
0.00/0.03	c                   0.01ms  0.04% break_generic
0.00/0.03	c                   0.00ms  0.02% optimize_gens
0.00/0.03	c         ───────────────────────────────────────────────
0.00/0.03	c                  17.28ms   100% total
0.00/0.03	c ------------------------------------------------------------------
0.00/0.04	c RoundingSat 2
0.00/0.04	c branch pb25
0.00/0.04	c commit 63f22ad
0.00/0.08	c #variables 3951 #constraints 8602
0.00/0.08	c objective is ce32 
0.05/0.13	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.05/0.13	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.05/0.13	c bounds 62411 >= 0 @ 0.074647
0.16/0.28	c bounds 62229 >= 0 @ 0.210401
0.16/0.28	c bounds 62205 >= 0 @ 0.213399
0.16/0.29	c bounds 62147 >= 0 @ 0.21904
1.64/1.73	c #Conflicts:       1000 | #Constraints:       9605
1.64/1.73	c #Conflicts:       2000 | #Constraints:      10605
1.64/1.73	c INPROCESSING
1.64/1.73	c GARBAGE COLLECT
1.64/1.73	c rational objective 49519.9
1.84/1.99	c bounds 61839 >= 0 @ 1.84514
1.95/2.00	c bounds 60563 >= 0 @ 1.85368
2.34/2.45	c bounds 60395 >= 0 @ 2.27437
2.64/2.77	c #Conflicts:       3000 | #Constraints:       9556
2.64/2.77	c bounds 59945 >= 0 @ 2.58119
2.94/3.01	c bounds 59937 >= 0 @ 2.81312
3.44/3.54	c #Conflicts:       4000 | #Constraints:      10569
3.44/3.54	c INPROCESSING
3.44/3.54	c GARBAGE COLLECT
3.44/3.54	c rational objective 49575.4
4.04/4.17	c bounds 59904 >= 0 @ 3.92524
4.34/4.42	c bounds 59846 >= 0 @ 4.16518
5.53/5.69	c #Conflicts:       5000 | #Constraints:       9993
5.53/5.69	c #Conflicts:       6000 | #Constraints:      11006
5.53/5.69	c INPROCESSING
5.53/5.69	c GARBAGE COLLECT
5.53/5.69	c rational objective 49603.3
8.93/9.09	c #Conflicts:       7000 | #Constraints:      10088
8.93/9.09	c #Conflicts:       8000 | #Constraints:      11475
8.93/9.09	c bounds 59672 >= 0 @ 8.75408
10.72/10.89	c #Conflicts:       9000 | #Constraints:      12504
10.72/10.89	c INPROCESSING
10.72/10.89	c GARBAGE COLLECT
10.72/10.89	c rational objective 49734.8
11.41/11.55	c bounds 59647 >= 0 @ 11.1857
11.41/11.59	c bounds 59589 >= 0 @ 11.2248
13.41/13.56	c #Conflicts:      10000 | #Constraints:      10952
13.41/13.56	c #Conflicts:      11000 | #Constraints:      11965
13.41/13.56	c bounds 59580 >= 0 @ 13.1546
15.01/15.18	c bounds 58287 >= 0 @ 14.7765
15.01/15.19	c bounds 56921 >= 0 @ 14.7816
15.10/15.21	c bounds 56912 >= 0 @ 14.8045
16.20/16.32	c #Conflicts:      12000 | #Constraints:      12988
16.20/16.32	c INPROCESSING
16.20/16.32	c GARBAGE COLLECT
16.20/16.32	c rational objective 49736
16.50/16.69	c bounds 56750 >= 0 @ 16.2432
16.60/16.70	c bounds 56576 >= 0 @ 16.2501
17.20/17.39	c #Conflicts:      13000 | #Constraints:      11295
17.20/17.39	c bounds 55472 >= 0 @ 16.9175
18.20/18.40	c #Conflicts:      14000 | #Constraints:      12311
18.20/18.40	c bounds 54262 >= 0 @ 17.8959
18.79/18.90	c #Conflicts:      15000 | #Constraints:      13326
18.79/18.90	c INPROCESSING
18.79/18.90	c GARBAGE COLLECT
18.79/18.90	c rational objective 49747.4
19.19/19.32	c bounds 53912 >= 0 @ 18.8033
19.19/19.33	c bounds 53814 >= 0 @ 18.8063
21.39/21.52	c #Conflicts:      16000 | #Constraints:      11456
21.39/21.52	c #Conflicts:      17000 | #Constraints:      12471
21.39/21.52	c #Conflicts:      18000 | #Constraints:      13485
21.39/21.52	c INPROCESSING
21.39/21.52	c GARBAGE COLLECT
21.39/21.52	c rational objective 49775.7
22.29/22.45	c bounds 53562 >= 0 @ 21.8671
22.59/22.72	c #Conflicts:      19000 | #Constraints:      11439
22.59/22.72	c bounds 53497 >= 0 @ 22.1348
22.59/22.72	c bounds 53489 >= 0 @ 22.1389
22.59/22.73	c bounds 53451 >= 0 @ 22.1433
22.59/22.75	c bounds 53393 >= 0 @ 22.1677
22.59/22.76	c bounds 53387 >= 0 @ 22.1718
25.67/25.83	c #Conflicts:      20000 | #Constraints:      12454
25.67/25.83	c #Conflicts:      21000 | #Constraints:      13462
25.67/25.83	c INPROCESSING
25.67/25.83	c GARBAGE COLLECT
25.67/25.83	c rational objective 49804.6
26.98/27.19	c #Conflicts:      22000 | #Constraints:      11227
26.98/27.19	c bounds 53323 >= 0 @ 26.5284
28.47/28.65	c #Conflicts:      23000 | #Constraints:      12231
28.47/28.65	c bounds 53284 >= 0 @ 27.9608
28.47/28.66	c bounds 53266 >= 0 @ 27.9692
28.47/28.67	c bounds 53174 >= 0 @ 27.9782
28.47/28.68	c bounds 53168 >= 0 @ 27.9865
28.47/28.69	c bounds 53156 >= 0 @ 27.9962
28.57/28.72	c bounds 53087 >= 0 @ 28.0303
30.27/30.47	c #Conflicts:      24000 | #Constraints:      13251
30.27/30.47	c #Conflicts:      25000 | #Constraints:      14256
30.27/30.47	c INPROCESSING
30.27/30.47	c GARBAGE COLLECT
30.27/30.47	c rational objective 49847.8
31.26/31.44	c bounds 53077 >= 0 @ 30.7034
31.26/31.45	c bounds 53060 >= 0 @ 30.7071
32.36/32.56	c #Conflicts:      26000 | #Constraints:      11834
32.36/32.56	c bounds 52736 >= 0 @ 31.8125
35.35/35.58	c #Conflicts:      27000 | #Constraints:      12842
35.35/35.58	c #Conflicts:      28000 | #Constraints:      13845
35.35/35.58	c #Conflicts:      29000 | #Constraints:      14848
35.35/35.58	c INPROCESSING
35.35/35.58	c GARBAGE COLLECT
35.35/35.58	c rational objective 49849
35.86/36.02	c bounds 52640 >= 0 @ 35.2191
36.05/36.23	c bounds 52634 >= 0 @ 35.4263
41.24/41.41	c #Conflicts:      30000 | #Constraints:      12222
41.24/41.41	c #Conflicts:      31000 | #Constraints:      13286
41.24/41.41	c #Conflicts:      32000 | #Constraints:      14447
41.24/41.41	c #Conflicts:      33000 | #Constraints:      15484
41.24/41.41	c INPROCESSING
41.24/41.41	c GARBAGE COLLECT
41.24/41.41	c rational objective 49850.3
49.71/49.98	c #Conflicts:      34000 | #Constraints:      12722
49.71/49.98	c #Conflicts:      35000 | #Constraints:      13961
49.71/49.98	c #Conflicts:      36000 | #Constraints:      14982
49.71/49.98	c #Conflicts:      37000 | #Constraints:      16067
49.71/49.98	c INPROCESSING
49.71/49.98	c GARBAGE COLLECT
49.71/49.98	c rational objective 49850.3
58.29/58.50	c #Conflicts:      38000 | #Constraints:      12799
58.29/58.50	c #Conflicts:      39000 | #Constraints:      13819
58.29/58.50	c #Conflicts:      40000 | #Constraints:      15218
58.29/58.50	c #Conflicts:      41000 | #Constraints:      16268
58.29/58.50	c INPROCESSING
58.29/58.50	c GARBAGE COLLECT
58.29/58.50	c rational objective 49926.7
66.07/66.37	c #Conflicts:      42000 | #Constraints:      12691
66.07/66.37	c #Conflicts:      43000 | #Constraints:      13731
66.07/66.37	c #Conflicts:      44000 | #Constraints:      14787
66.07/66.37	c #Conflicts:      45000 | #Constraints:      15877
66.07/66.37	c #Conflicts:      46000 | #Constraints:      16881
66.07/66.37	c INPROCESSING
66.07/66.37	c GARBAGE COLLECT
66.07/66.37	c rational objective 49942.6
75.04/75.35	c #Conflicts:      47000 | #Constraints:      13138
75.04/75.35	c #Conflicts:      48000 | #Constraints:      14165
75.04/75.35	c #Conflicts:      49000 | #Constraints:      15184
75.04/75.35	c #Conflicts:      50000 | #Constraints:      16185
75.04/75.35	c #Conflicts:      51000 | #Constraints:      17186
75.04/75.35	c INPROCESSING
75.04/75.35	c GARBAGE COLLECT
75.04/75.35	c rational objective 49943.3
81.63/82.00	c #Conflicts:      52000 | #Constraints:      13376
81.63/82.00	c #Conflicts:      53000 | #Constraints:      14389
81.63/82.00	c #Conflicts:      54000 | #Constraints:      15397
81.63/82.00	c #Conflicts:      55000 | #Constraints:      16407
81.63/82.00	c #Conflicts:      56000 | #Constraints:      17412
81.63/82.00	c INPROCESSING
81.63/82.00	c GARBAGE COLLECT
81.63/82.00	c rational objective 49849.2
82.62/82.91	c bounds 52474 >= 0 @ 81.4934
86.41/86.76	c #Conflicts:      57000 | #Constraints:      13520
86.41/86.76	c #Conflicts:      58000 | #Constraints:      14533
86.41/86.76	c #Conflicts:      59000 | #Constraints:      15537
86.41/86.76	c bounds 52362 >= 0 @ 85.2266
86.41/86.77	c bounds 52353 >= 0 @ 85.236
87.81/88.15	c #Conflicts:      60000 | #Constraints:      16552
87.81/88.15	c bounds 52155 >= 0 @ 86.594
87.81/88.16	c bounds 52146 >= 0 @ 86.6026
87.81/88.18	c bounds 52129 >= 0 @ 86.6281
88.41/88.75	c #Conflicts:      61000 | #Constraints:      17558
88.41/88.75	c INPROCESSING
88.41/88.75	c GARBAGE COLLECT
88.41/88.75	c rational objective 49850.3
95.89/96.27	c #Conflicts:      62000 | #Constraints:      13482
95.89/96.27	c #Conflicts:      63000 | #Constraints:      14562
95.89/96.27	c #Conflicts:      64000 | #Constraints:      15594
95.89/96.27	c #Conflicts:      65000 | #Constraints:      16660
95.89/96.27	c #Conflicts:      66000 | #Constraints:      17671
95.89/96.27	c INPROCESSING
95.89/96.27	c GARBAGE COLLECT
95.89/96.27	c rational objective 49853.7
116.24/116.62	c #Conflicts:      67000 | #Constraints:      13479
116.24/116.62	c #Conflicts:      68000 | #Constraints:      14847
116.24/116.62	c #Conflicts:      69000 | #Constraints:      16282
116.24/116.62	c #Conflicts:      70000 | #Constraints:      17546
116.24/116.62	c #Conflicts:      71000 | #Constraints:      18906
116.24/116.62	c #Conflicts:      72000 | #Constraints:      20274
116.24/116.62	c INPROCESSING
116.24/116.62	c GARBAGE COLLECT
116.24/116.62	c rational objective 49856.3
127.90/128.30	c #Conflicts:      73000 | #Constraints:      15120
127.90/128.30	c #Conflicts:      74000 | #Constraints:      16123
127.90/128.30	c #Conflicts:      75000 | #Constraints:      17130
127.90/128.30	c #Conflicts:      76000 | #Constraints:      18137
127.90/128.30	c #Conflicts:      77000 | #Constraints:      19148
127.90/128.30	c #Conflicts:      78000 | #Constraints:      20159
127.90/128.30	c INPROCESSING
127.90/128.30	c GARBAGE COLLECT
127.90/128.30	c rational objective 49853.2
128.30/128.77	c bounds 52078 >= 0 @ 126.693
137.69/138.18	c #Conflicts:      79000 | #Constraints:      14948
137.69/138.18	c #Conflicts:      80000 | #Constraints:      16166
137.69/138.18	c #Conflicts:      81000 | #Constraints:      17169
137.69/138.18	c #Conflicts:      82000 | #Constraints:      18176
137.69/138.18	c #Conflicts:      83000 | #Constraints:      19186
137.69/138.18	c #Conflicts:      84000 | #Constraints:      20188
137.69/138.18	c INPROCESSING
137.69/138.18	c GARBAGE COLLECT
137.69/138.18	c bounds 51956 >= 0 @ 135.986
143.16/143.62	c #Conflicts:      85000 | #Constraints:      15133
143.16/143.62	c #Conflicts:      86000 | #Constraints:      16362
143.16/143.62	c #Conflicts:      87000 | #Constraints:      17461
143.16/143.62	c bounds 51545 >= 0 @ 141.37
146.76/147.21	c #Conflicts:      88000 | #Constraints:      18566
146.76/147.21	c #Conflicts:      89000 | #Constraints:      19575
146.76/147.21	c #Conflicts:      90000 | #Constraints:      20596
146.76/147.21	c INPROCESSING
146.76/147.21	c GARBAGE COLLECT
146.76/147.21	c rational objective 49876.2
165.00/165.58	c #Conflicts:      91000 | #Constraints:      15085
165.00/165.58	c #Conflicts:      92000 | #Constraints:      16228
165.00/165.58	c #Conflicts:      93000 | #Constraints:      17299
165.00/165.58	c #Conflicts:      94000 | #Constraints:      18657
165.00/165.58	c #Conflicts:      95000 | #Constraints:      20116
165.00/165.58	c #Conflicts:      96000 | #Constraints:      21541
165.00/165.58	c INPROCESSING
165.00/165.58	c GARBAGE COLLECT
165.00/165.58	c rational objective 49942.3
170.60/171.14	c #Conflicts:      97000 | #Constraints:      15567
170.60/171.14	c #Conflicts:      98000 | #Constraints:      16670
170.60/171.14	c #Conflicts:      99000 | #Constraints:      17677
170.60/171.14	c bounds 51345 >= 0 @ 168.599
174.78/175.38	c #Conflicts:     100000 | #Constraints:      18685
174.78/175.38	c #Conflicts:     101000 | #Constraints:      19696
174.78/175.38	c #Conflicts:     102000 | #Constraints:      20713
174.78/175.38	c bounds 51332 >= 0 @ 172.792
174.88/175.40	c bounds 51314 >= 0 @ 172.81
176.88/177.48	c #Conflicts:     103000 | #Constraints:      21719
176.88/177.48	c INPROCESSING
176.88/177.48	c GARBAGE COLLECT
176.88/177.48	c rational objective 49905.8
189.04/189.61	c #Conflicts:     104000 | #Constraints:      15680
189.04/189.61	c #Conflicts:     105000 | #Constraints:      16741
189.04/189.61	c #Conflicts:     106000 | #Constraints:      17872
189.04/189.61	c #Conflicts:     107000 | #Constraints:      18956
189.04/189.61	c #Conflicts:     108000 | #Constraints:      19956
189.04/189.61	c #Conflicts:     109000 | #Constraints:      20956
189.04/189.61	c #Conflicts:     110000 | #Constraints:      21957
189.04/189.61	c INPROCESSING
189.04/189.61	c GARBAGE COLLECT
189.04/189.61	c rational objective 49932.3
202.51/203.10	c #Conflicts:     111000 | #Constraints:      15849
202.51/203.10	c #Conflicts:     112000 | #Constraints:      16853
202.51/203.10	c #Conflicts:     113000 | #Constraints:      17859
202.51/203.10	c #Conflicts:     114000 | #Constraints:      18902
202.51/203.10	c #Conflicts:     115000 | #Constraints:      19927
202.51/203.10	c #Conflicts:     116000 | #Constraints:      20934
202.51/203.10	c #Conflicts:     117000 | #Constraints:      21939
202.51/203.10	c INPROCESSING
202.51/203.10	c GARBAGE COLLECT
202.51/203.10	c rational objective 49932.4
217.86/218.55	c #Conflicts:     118000 | #Constraints:      15816
217.86/218.55	c #Conflicts:     119000 | #Constraints:      16845
217.86/218.55	c #Conflicts:     120000 | #Constraints:      17861
217.86/218.55	c #Conflicts:     121000 | #Constraints:      19012
217.86/218.55	c #Conflicts:     122000 | #Constraints:      20188
217.86/218.55	c #Conflicts:     123000 | #Constraints:      21225
217.86/218.55	c #Conflicts:     124000 | #Constraints:      22271
217.86/218.55	c INPROCESSING
217.86/218.55	c GARBAGE COLLECT
217.86/218.55	c rational objective 49932.8
233.22/233.96	c #Conflicts:     125000 | #Constraints:      15908
233.22/233.96	c #Conflicts:     126000 | #Constraints:      16940
233.22/233.96	c #Conflicts:     127000 | #Constraints:      17985
233.22/233.96	c #Conflicts:     128000 | #Constraints:      18994
233.22/233.96	c #Conflicts:     129000 | #Constraints:      20002
233.22/233.96	c #Conflicts:     130000 | #Constraints:      21019
233.22/233.96	c #Conflicts:     131000 | #Constraints:      22031
233.22/233.96	c INPROCESSING
233.22/233.96	c GARBAGE COLLECT
233.22/233.96	c rational objective 49933.3
246.29/247.05	c #Conflicts:     132000 | #Constraints:      15509
246.29/247.05	c #Conflicts:     133000 | #Constraints:      16604
246.29/247.05	c #Conflicts:     134000 | #Constraints:      17614
246.29/247.05	c #Conflicts:     135000 | #Constraints:      18630
246.29/247.05	c #Conflicts:     136000 | #Constraints:      19630
246.29/247.05	c #Conflicts:     137000 | #Constraints:      20643
246.29/247.05	c #Conflicts:     138000 | #Constraints:      21655
246.29/247.05	c #Conflicts:     139000 | #Constraints:      22667
246.29/247.05	c INPROCESSING
246.29/247.05	c GARBAGE COLLECT
246.29/247.05	c rational objective 49933.4
249.57/250.32	c #Conflicts:     140000 | #Constraints:      16135
249.57/250.32	c #Conflicts:     141000 | #Constraints:      17135
249.57/250.32	c bounds 51194 >= 0 @ 246.797
257.06/257.82	c #Conflicts:     142000 | #Constraints:      18137
257.06/257.82	c #Conflicts:     143000 | #Constraints:      19137
257.06/257.82	c #Conflicts:     144000 | #Constraints:      20142
257.06/257.82	c #Conflicts:     145000 | #Constraints:      21152
257.06/257.82	c #Conflicts:     146000 | #Constraints:      22163
257.06/257.82	c #Conflicts:     147000 | #Constraints:      23176
257.06/257.82	c INPROCESSING
257.06/257.82	c GARBAGE COLLECT
257.06/257.82	c rational objective 49933.4
258.06/258.88	c bounds 51110 >= 0 @ 255.245
258.96/259.71	c bounds 50910 >= 0 @ 256.061
264.04/264.86	c #Conflicts:     148000 | #Constraints:      16423
264.04/264.86	c #Conflicts:     149000 | #Constraints:      17424
264.04/264.86	c #Conflicts:     150000 | #Constraints:      18440
264.04/264.86	c #Conflicts:     151000 | #Constraints:      19445
264.04/264.86	c bounds 50808 >= 0 @ 261.092
269.23/270.03	c #Conflicts:     152000 | #Constraints:      20454
269.23/270.03	c #Conflicts:     153000 | #Constraints:      21461
269.23/270.03	c #Conflicts:     154000 | #Constraints:      22477
269.23/270.03	c #Conflicts:     155000 | #Constraints:      23484
269.23/270.03	c INPROCESSING
269.23/270.03	c GARBAGE COLLECT
269.23/270.03	c rational objective 49933.6
277.40/278.22	c #Conflicts:     156000 | #Constraints:      16562
277.40/278.22	c #Conflicts:     157000 | #Constraints:      17574
277.40/278.22	c #Conflicts:     158000 | #Constraints:      18582
277.40/278.22	c #Conflicts:     159000 | #Constraints:      19592
277.40/278.22	c #Conflicts:     160000 | #Constraints:      20600
277.40/278.22	c bounds 50808 >= 4680 @ 274.305
282.10/282.97	c #Conflicts:     161000 | #Constraints:      21605
282.10/282.97	c #Conflicts:     162000 | #Constraints:      22606
282.10/282.97	c #Conflicts:     163000 | #Constraints:      23611
282.10/282.97	c INPROCESSING
282.10/282.97	c GARBAGE COLLECT
282.10/282.97	c rational objective 49933.8
300.15/301.07	c #Conflicts:     164000 | #Constraints:      16518
300.15/301.07	c #Conflicts:     165000 | #Constraints:      17519
300.15/301.07	c #Conflicts:     166000 | #Constraints:      18520
300.15/301.07	c #Conflicts:     167000 | #Constraints:      19521
300.15/301.07	c #Conflicts:     168000 | #Constraints:      20526
300.15/301.07	c #Conflicts:     169000 | #Constraints:      21529
300.15/301.07	c #Conflicts:     170000 | #Constraints:      22538
300.15/301.07	c #Conflicts:     171000 | #Constraints:      23543
300.15/301.07	c INPROCESSING
300.15/301.07	c GARBAGE COLLECT
300.15/301.07	c rational objective 49934.1
312.41/313.33	c #Conflicts:     172000 | #Constraints:      16283
312.41/313.33	c #Conflicts:     173000 | #Constraints:      17288
312.41/313.33	c #Conflicts:     174000 | #Constraints:      18297
312.41/313.33	c #Conflicts:     175000 | #Constraints:      19307
312.41/313.33	c #Conflicts:     176000 | #Constraints:      20310
312.41/313.33	c #Conflicts:     177000 | #Constraints:      21313
312.41/313.33	c #Conflicts:     178000 | #Constraints:      22313
312.41/313.33	c #Conflicts:     179000 | #Constraints:      23314
312.41/313.33	c #Conflicts:     180000 | #Constraints:      24314
312.41/313.33	c INPROCESSING
312.41/313.33	c GARBAGE COLLECT
312.41/313.33	c rational objective 49940.4
327.08/328.07	c #Conflicts:     181000 | #Constraints:      16867
327.08/328.07	c #Conflicts:     182000 | #Constraints:      17907
327.08/328.07	c #Conflicts:     183000 | #Constraints:      19012
327.08/328.07	c #Conflicts:     184000 | #Constraints:      20023
327.08/328.07	c #Conflicts:     185000 | #Constraints:      21028
327.08/328.07	c #Conflicts:     186000 | #Constraints:      22065
327.08/328.07	c #Conflicts:     187000 | #Constraints:      23085
327.08/328.07	c #Conflicts:     188000 | #Constraints:      24086
327.08/328.07	c #Conflicts:     189000 | #Constraints:      25099
327.08/328.07	c INPROCESSING
327.08/328.07	c GARBAGE COLLECT
327.08/328.07	c rational objective 49960.8
331.07/332.03	c #Conflicts:     190000 | #Constraints:      17473
331.07/332.03	c bounds 50769 >= 4680 @ 327.566
339.14/340.17	c #Conflicts:     191000 | #Constraints:      18479
339.14/340.17	c #Conflicts:     192000 | #Constraints:      19482
339.14/340.17	c #Conflicts:     193000 | #Constraints:      20483
339.14/340.17	c #Conflicts:     194000 | #Constraints:      21485
339.14/340.17	c bounds 50769 >= 6554 @ 335.646
349.31/350.33	c #Conflicts:     195000 | #Constraints:      22489
349.31/350.33	c #Conflicts:     196000 | #Constraints:      23489
349.31/350.33	c #Conflicts:     197000 | #Constraints:      24491
349.31/350.33	c #Conflicts:     198000 | #Constraints:      25493
349.31/350.33	c INPROCESSING
349.31/350.33	c GARBAGE COLLECT
349.31/350.33	c rational objective 49964.7
431.08/432.36	c #Conflicts:     199000 | #Constraints:      17550
431.08/432.36	c #Conflicts:     200000 | #Constraints:      18569
431.08/432.36	c #Conflicts:     201000 | #Constraints:      19831
431.08/432.36	c #Conflicts:     202000 | #Constraints:      20868
431.08/432.36	c #Conflicts:     203000 | #Constraints:      21870
431.08/432.36	c #Conflicts:     204000 | #Constraints:      22870
431.08/432.36	c #Conflicts:     205000 | #Constraints:      23871
431.08/432.36	c #Conflicts:     206000 | #Constraints:      24871
431.08/432.36	c #Conflicts:     207000 | #Constraints:      25872
431.08/432.36	c INPROCESSING
431.08/432.36	c GARBAGE COLLECT
431.08/432.36	c #Conflicts:     208000 | #Constraints:      17676
431.08/432.36	c #Conflicts:     209000 | #Constraints:      18704
431.08/432.36	c #Conflicts:     210000 | #Constraints:      19707
431.08/432.36	c #Conflicts:     211000 | #Constraints:      20708
431.08/432.36	c #Conflicts:     212000 | #Constraints:      21710
431.08/432.36	c #Conflicts:     213000 | #Constraints:      22712
431.08/432.36	c #Conflicts:     214000 | #Constraints:      23713
431.08/432.36	c #Conflicts:     215000 | #Constraints:      24714
431.08/432.36	c #Conflicts:     216000 | #Constraints:      25714
431.08/432.36	c INPROCESSING
431.08/432.36	c GARBAGE COLLECT
431.08/432.36	c #Conflicts:     217000 | #Constraints:      17366
431.08/432.36	c #Conflicts:     218000 | #Constraints:      18371
431.08/432.36	c #Conflicts:     219000 | #Constraints:      19374
431.08/432.36	c #Conflicts:     220000 | #Constraints:      20376
431.08/432.36	c #Conflicts:     221000 | #Constraints:      21379
431.08/432.36	c #Conflicts:     222000 | #Constraints:      22380
431.08/432.36	c #Conflicts:     223000 | #Constraints:      23383
431.08/432.36	c #Conflicts:     224000 | #Constraints:      24384
431.08/432.36	c #Conflicts:     225000 | #Constraints:      25385
431.08/432.36	c #Conflicts:     226000 | #Constraints:      26387
431.08/432.36	c INPROCESSING
431.08/432.36	c GARBAGE COLLECT
431.08/432.36	c #Conflicts:     227000 | #Constraints:      17889
431.08/432.36	c #Conflicts:     228000 | #Constraints:      18889
431.08/432.36	c #Conflicts:     229000 | #Constraints:      19890
431.08/432.36	c #Conflicts:     230000 | #Constraints:      20890
431.08/432.36	c #Conflicts:     231000 | #Constraints:      21897
431.08/432.36	c #Conflicts:     232000 | #Constraints:      22904
431.08/432.36	c #Conflicts:     233000 | #Constraints:      23914
431.08/432.36	c #Conflicts:     234000 | #Constraints:      24925
431.08/432.36	c #Conflicts:     235000 | #Constraints:      25932
431.08/432.36	c #Conflicts:     236000 | #Constraints:      26940
431.08/432.36	c INPROCESSING
431.08/432.36	c GARBAGE COLLECT
431.08/432.36	c rational objective 49975
436.08/437.36	c #Conflicts:     237000 | #Constraints:      18284
436.08/437.36	c #Conflicts:     238000 | #Constraints:      19292
436.08/437.36	c bounds 50769 >= 8428 @ 431.952
436.38/437.68	c bounds 50769 >= 50769 @ 432.278
436.38/437.68	c cpu time 432.278 s
436.38/437.68	c deterministic time 28595611241 2.86e+10
436.38/437.68	c optimization time 0.067198 s
436.38/437.68	c total solve time 432.178 s
436.38/437.68	c core-guided solve time 202.436 s
436.38/437.68	c propagation time 229.008 s
436.38/437.68	c conflict analysis time 158.29 s
436.38/437.68	c propagations 187228972
436.38/437.68	c resolve steps 3840970
436.38/437.68	c decisions 3400278
436.38/437.68	c conflicts 238987
436.38/437.68	c restarts 541
436.38/437.68	c inprocessing phases 40
436.38/437.68	c garbage collections 40 ,( 100.00 )
436.38/437.68	c input clauses 8603 ,( 99.22 )
436.38/437.68	c input cardinalities 3 ,( 0.03 )
436.38/437.68	c input general constraints 65 ,( 0.75 )
436.38/437.68	c input average constraint length 15.96
436.38/437.68	c input average constraint degree 20286.85
436.38/437.68	c learned clauses 123588 ,( 49.47 )
436.38/437.68	c learned cardinalities 287 ,( 0.11 )
436.38/437.68	c learned general constraints 125931 ,( 50.41 )
436.38/437.68	c learned average constraint length 665.33
436.38/437.68	c learned average constraint degree 21705614723.63
436.38/437.68	c watched  CF 32, 64, 128, Arb: 23429 , 0 , 0 , 0
436.38/437.68	c counting CF 32, 64, 128, Arb: 102568 , 0 , 0 , 0
436.38/437.68	c watched   constraints 23429 ,( 18.60 ) 
436.38/437.68	c counting  constraints 102567 ,( 81.40 ) 
436.38/437.68	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 88297890 , 1143642 , 158283915 ,( 6730205 , 151553710 )
436.38/437.68	c gcd simplifications 18617
436.38/437.68	c detected cardinalities 66
436.38/437.68	c weakened non-implied lits 205926045
436.38/437.68	c weakened non-implying lits 221134
436.38/437.68	c original variables 3951
436.38/437.68	c clausal propagations 68952026
436.38/437.68	c cardinality propagations 72586
436.38/437.68	c watched propagations 69704
436.38/437.68	c counting propagations 110638819
436.38/437.68	c watch lookups 12661752655
436.38/437.68	c watch backjump lookups 0
436.38/437.68	c watch checks 1823233836
436.38/437.68	c propagation checks 12798460809
436.38/437.68	c constraint additions 930346231
436.38/437.68	c trail pops 190865793
436.38/437.68	c formula constraints 8602
436.38/437.68	c learned constraints 238148
436.38/437.68	c bound constraints 62
436.38/437.68	c core-guided constraints 7
436.38/437.68	c encountered formula constraints 3235411
436.38/437.68	c encountered learned constraints 504669
436.38/437.68	c encountered bound constraints 2238
436.38/437.68	c encountered core-guided constraints 4385
436.38/437.68	c LP total time 95.4021 s
436.38/437.68	c LP solve time 68.6 s
436.38/437.68	c LP constraints added 8653
436.38/437.68	c LP constraints removed 38
436.38/437.68	c LP pivots internal 239056
436.38/437.68	c LP pivots root 83610
436.38/437.68	c LP calls 10930
436.38/437.68	c LP optimalities 116
436.38/437.68	c LP no pivot count 13
436.38/437.68	c LP infeasibilities 10796
436.38/437.68	c LP valid Farkas constraints 10785
436.38/437.68	c LP learned Farkas constraints 837
436.38/437.68	c LP basis resets 25
436.38/437.68	c LP cycling count 4
436.38/437.68	c LP singular count 9
436.38/437.68	c LP no primal count 0
436.38/437.68	c LP no farkas count 11
436.38/437.68	c LP other issue count 1
436.38/437.68	c LP Gomory cuts 36
436.38/437.68	c LP learned cuts 15
436.38/437.68	c LP deleted cuts 38
436.38/437.68	c LP encountered Gomory constraints 0
436.38/437.68	c LP encountered Farkas constraints 314838
436.38/437.68	c LP encountered learned Farkas constraints 17579
436.38/437.68	c CG auxiliary variables introduced 3
436.38/437.68	c CG solutions found 58
436.38/437.68	c CG cores constructed 3
436.38/437.68	c CG core cardinality constraints returned 0
436.38/437.68	c CG unit cores 0
436.38/437.68	c CG single cores 3
436.38/437.68	c CG blocks removed during cardinality reduction 0
436.38/437.68	c CG first core best 0
436.38/437.68	c CG decision core best 0
436.38/437.68	c CG core reduction tie 0
436.38/437.68	c CG core degree average 1.00
436.38/437.68	c CG core slack average 54.33
436.38/437.68	c CG core upper bound improvements 0
436.38/437.68	c STR number of successful calls 0
436.38/437.68	c STR number of unsuccessful calls 0
436.38/437.68	c STR number of inconclusive calls 0
436.38/437.68	c STR number of successful attempts 0
436.38/437.68	c STR number of unsuccessful attempts 0
436.38/437.68	c STR number of inconclusive attempts 0
436.38/437.68	c STR average degree increase per successful call inf
436.38/437.68	c STR average degree increase per successful attempt inf
436.38/437.68	c STR total number of conflicts for successful attempts 0
436.38/437.68	c STR total number of conflicts for unsuccessful attempts 0
436.38/437.68	c STR total number of conflicts for inconclusive attempts 0
436.38/437.68	c STR average number of conflicts per successful attempt inf
436.38/437.68	c STR average number of conflicts per unsuccessful attempt inf
436.38/437.68	c STR average number of conflicts per inconclusive attempt inf
436.38/437.68	c AVG.sumWPerc 69.96 
436.38/437.68	c bigint constraints 0 
436.38/437.68	o 50769
436.38/437.68	s OPTIMUM FOUND
436.38/437.68	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 x207 -x208 -x209 x210 -x211 -x212 x213 x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 x287 x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 x455 x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 x674 x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 x770 x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 x905 x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 x979 x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 x1150 x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 x1337 x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 x1465 x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 x1559 x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 x1655 x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 x1975 x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 x2071 x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 x2291 x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 x2623 x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 x3015 x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 x3394 x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 x3434 x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 x3470 x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 x3634 x3635 x3636 x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 x3646 x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 x3832 x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 x3852 x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 x3864 x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 x3872 x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 x3902 x3903 x3904 x3905 x3906 x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 x3932 x3933 -x3934 -x3935 -x3936 -x3937 x3938 x3939 x3940 x3941 -x3942 -x3943 -x3944 -x3945

Verifier Data 

OK	50769

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: 63708 MiB (61439 MiB free)
  memory of node 1: 64465 MiB (63874 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4497194-1751371414/watcher-4497194-1751371414 -o /tmp/evaluation-result-4497194-1751371414/solver-4497194-1751371414 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751363764-51138 --watchdog 3760 run-opt-ls.sh HOME/instance-4497194-1751371414.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=53569, runsolver pid=53566
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 4.20 4.12 4.10 5/269 53572
/proc/meminfo: memFree=128312968/131249996 swapFree=33005272/33010684
[pid=53569] ppid=53566 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/53569/stat : 53569 (run-opt-ls.sh) S 53566 53569 51126 0 -1 4194304 237 3858 0 0 0 0 1 0 20 0 1 0 52819265 4292608 768 18446744073709551615 94151508119552 94151509014085 140734670199888 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94151509253136 94151509300880 94151519711232 140734670207335 140734670207461 140734670207461 140734670213063 0
/proc/53569/statm: 1048 768 704 219 0 110 0
[pid=53572] ppid=53569 vsize=69140 memory=21552 CPUtime=0.04 cores=1,3
/proc/53572/stat : 53572 (roundingsat) R 53569 53569 51126 0 -1 4194304 3454 0 0 0 4 0 0 0 20 0 1 0 52819269 70799360 5388 18446744073709551615 4227072 8923433 140734131605296 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 36081664 140734131607878 140734131608104 140734131608104 140734131613674 0
/proc/53572/statm: 17285 5388 2304 1147 0 4712 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 73332 KiB
Current children cumulated memory: 24624 KiB

[startup+0.205601 s]*
/proc/loadavg: 4.20 4.12 4.10 5/269 53572
/proc/meminfo: memFree=128312548/131249996 swapFree=33005272/33010684
[pid=53569] ppid=53566 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/53569/stat : 53569 (run-opt-ls.sh) S 53566 53569 51126 0 -1 4194304 237 3858 0 0 0 0 1 0 20 0 1 0 52819265 4292608 768 18446744073709551615 94151508119552 94151509014085 140734670199888 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94151509253136 94151509300880 94151519711232 140734670207335 140734670207461 140734670207461 140734670213063 0
/proc/53569/statm: 1048 768 704 219 0 110 0
[pid=53572] ppid=53569 vsize=75036 memory=27312 CPUtime=0.15 cores=1,3
/proc/53572/stat : 53572 (roundingsat) R 53569 53569 51126 0 -1 4194304 4852 0 0 0 14 1 0 0 20 0 1 0 52819269 76836864 6828 18446744073709551615 4227072 8923433 140734131605296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36081664 140734131607878 140734131608104 140734131608104 140734131613674 0
/proc/53572/statm: 18759 6828 2336 1147 0 6186 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 79228 KiB
Current children cumulated memory: 30384 KiB

[startup+0.305525 s]*
/proc/loadavg: 4.20 4.12 4.10 5/269 53572
/proc/meminfo: memFree=128312548/131249996 swapFree=33005272/33010684
[pid=53569] ppid=53566 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/53569/stat : 53569 (run-opt-ls.sh) S 53566 53569 51126 0 -1 4194304 237 3858 0 0 0 0 1 0 20 0 1 0 52819265 4292608 768 18446744073709551615 94151508119552 94151509014085 140734670199888 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94151509253136 94151509300880 94151519711232 140734670207335 140734670207461 140734670207461 140734670213063 0
/proc/53569/statm: 1048 768 704 219 0 110 0
[pid=53572] ppid=53569 vsize=75368 memory=28208 CPUtime=0.25 cores=1,3
/proc/53572/stat : 53572 (roundingsat) R 53569 53569 51126 0 -1 4194304 5090 0 0 0 23 2 0 0 20 0 1 0 52819269 77176832 7052 18446744073709551615 4227072 8923433 140734131605296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36081664 140734131607878 140734131608104 140734131608104 140734131613674 0
/proc/53572/statm: 18842 7052 2336 1147 0 6269 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 79560 KiB
Current children cumulated memory: 31280 KiB

[startup+0.700185 s]
/proc/loadavg: 4.20 4.12 4.10 5/269 53572
/proc/meminfo: memFree=128312548/131249996 swapFree=33005272/33010684
[pid=53569] ppid=53566 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/53569/stat : 53569 (run-opt-ls.sh) S 53566 53569 51126 0 -1 4194304 237 3858 0 0 0 0 1 0 20 0 1 0 52819265 4292608 768 18446744073709551615 94151508119552 94151509014085 140734670199888 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94151509253136 94151509300880 94151519711232 140734670207335 140734670207461 140734670207461 140734670213063 0
/proc/53569/statm: 1048 768 704 219 0 110 0
[pid=53572] ppid=53569 vsize=92700 memory=48920 CPUtime=0.63 cores=1,3
/proc/53572/stat : 53572 (roundingsat) R 53569 53569 51126 0 -1 4194304 9718 0 0 0 59 4 0 0 20 0 1 0 52819269 94924800 12230 18446744073709551615 4227072 8923433 140734131605296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36081664 140734131607878 140734131608104 140734131608104 140734131613674 0
/proc/53572/statm: 23175 12230 2368 1147 0 10602 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 96892 KiB
Current children cumulated memory: 51992 KiB

[startup+1.50017 s]
/proc/loadavg: 4.20 4.12 4.10 5/269 53572
/proc/meminfo: memFree=128289364/131249996 swapFree=33005272/33010684
[pid=53569] ppid=53566 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/53569/stat : 53569 (run-opt-ls.sh) S 53566 53569 51126 0 -1 4194304 237 3858 0 0 0 0 1 0 20 0 1 0 52819265 4292608 768 18446744073709551615 94151508119552 94151509014085 140734670199888 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94151509253136 94151509300880 94151519711232 140734670207335 140734670207461 140734670207461 140734670213063 0
/proc/53569/statm: 1048 768 704 219 0 110 0
[pid=53572] ppid=53569 vsize=119696 memory=71188 CPUtime=1.44 cores=1,3
/proc/53572/stat : 53572 (roundingsat) R 53569 53569 51126 0 -1 4194304 14284 0 0 0 137 7 0 0 20 0 1 0 52819269 122568704 17797 18446744073709551615 4227072 8923433 140734131605296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36081664 140734131607878 140734131608104 140734131608104 140734131613674 0
/proc/53572/statm: 29924 17797 2368 1147 0 17351 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 123888 KiB
Current children cumulated memory: 74260 KiB

[startup+3.10534 s]
/proc/loadavg: 4.20 4.12 4.10 5/269 53572
/proc/meminfo: memFree=128261964/131249996 swapFree=33005272/33010684
[pid=53569] ppid=53566 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/53569/stat : 53569 (run-opt-ls.sh) S 53566 53569 51126 0 -1 4194304 237 3858 0 0 0 0 1 0 20 0 1 0 52819265 4292608 768 18446744073709551615 94151508119552 94151509014085 140734670199888 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94151509253136 94151509300880 94151519711232 140734670207335 140734670207461 140734670207461 140734670213063 0
/proc/53569/statm: 1048 768 704 219 0 110 0
[pid=53572] ppid=53569 vsize=144960 memory=91324 CPUtime=3.04 cores=1,3
/proc/53572/stat : 53572 (roundingsat) R 53569 53569 51126 0 -1 4194304 18792 0 0 0 290 14 0 0 20 0 1 0 52819269 148439040 22831 18446744073709551615 4227072 8923433 140734131605296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36081664 140734131607878 140734131608104 140734131608104 140734131613674 0
/proc/53572/statm: 36240 22831 2368 1147 0 23667 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 149152 KiB
Current children cumulated memory: 94396 KiB

[startup+6.30015 s]
/proc/loadavg: 4.18 4.11 4.09 5/269 53572
/proc/meminfo: memFree=128254848/131249996 swapFree=33005272/33010684
[pid=53569] ppid=53566 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/53569/stat : 53569 (run-opt-ls.sh) S 53566 53569 51126 0 -1 4194304 237 3858 0 0 0 0 1 0 20 0 1 0 52819265 4292608 768 18446744073709551615 94151508119552 94151509014085 140734670199888 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94151509253136 94151509300880 94151519711232 140734670207335 140734670207461 140734670207461 140734670213063 0
/proc/53569/statm: 1048 768 704 219 0 110 0
[pid=53572] ppid=53569 vsize=151372 memory=100636 CPUtime=6.22 cores=1,3
/proc/53572/stat : 53572 (roundingsat) R 53569 53569 51126 0 -1 4194304 20625 0 0 0 599 23 0 0 20 0 1 0 52819269 155004928 25159 18446744073709551615 4227072 8923433 140734131605296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36081664 140734131607878 140734131608104 140734131608104 140734131613674 0
/proc/53572/statm: 37843 25159 2368 1147 0 25270 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 155564 KiB
Current children cumulated memory: 103708 KiB

[startup+12.7002 s]
/proc/loadavg: 4.17 4.11 4.09 5/269 53572
/proc/meminfo: memFree=128220368/131249996 swapFree=33005272/33010684
[pid=53569] ppid=53566 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/53569/stat : 53569 (run-opt-ls.sh) S 53566 53569 51126 0 -1 4194304 237 3858 0 0 0 0 1 0 20 0 1 0 52819265 4292608 768 18446744073709551615 94151508119552 94151509014085 140734670199888 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94151509253136 94151509300880 94151519711232 140734670207335 140734670207461 140734670207461 140734670213063 0
/proc/53569/statm: 1048 768 704 219 0 110 0
[pid=53572] ppid=53569 vsize=182376 memory=133072 CPUtime=12.61 cores=1,3
/proc/53572/stat : 53572 (roundingsat) R 53569 53569 51126 0 -1 4194304 26184 0 0 0 1231 30 0 0 20 0 1 0 52819269 186753024 33268 18446744073709551615 4227072 8923433 140734131605296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36081664 140734131607878 140734131608104 140734131608104 140734131613674 0
/proc/53572/statm: 45594 33268 2368 1147 0 33021 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 186568 KiB
Current children cumulated memory: 136144 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.11 4.09 5/269 53572
/proc/meminfo: memFree=128173808/131249996 swapFree=33005272/33010684
[pid=53569] ppid=53566 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/53569/stat : 53569 (run-opt-ls.sh) S 53566 53569 51126 0 -1 4194304 237 3858 0 0 0 0 1 0 20 0 1 0 52819265 4292608 768 18446744073709551615 94151508119552 94151509014085 140734670199888 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94151509253136 94151509300880 94151519711232 140734670207335 140734670207461 140734670207461 140734670213063 0
/proc/53569/statm: 1048 768 704 219 0 110 0
[pid=53572] ppid=53569 vsize=202272 memory=149840 CPUtime=25.37 cores=1,3
/proc/53572/stat : 53572 (roundingsat) R 53569 53569 51126 0 -1 4194304 30392 0 0 0 2486 51 0 0 20 0 1 0 52819269 207126528 37460 18446744073709551615 4227072 8923433 140734131605296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36081664 140734131607878 140734131608104 140734131608104 140734131613674 0
/proc/53572/statm: 50568 37460 2368 1147 0 37995 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 206464 KiB
Current children cumulated memory: 152912 KiB

[startup+51.1054 s]
/proc/loadavg: 4.16 4.11 4.09 5/269 53574
/proc/meminfo: memFree=128086280/131249996 swapFree=33005272/33010684
[pid=53569] ppid=53566 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/53569/stat : 53569 (run-opt-ls.sh) S 53566 53569 51126 0 -1 4194304 237 3858 0 0 0 0 1 0 20 0 1 0 52819265 4292608 768 18446744073709551615 94151508119552 94151509014085 140734670199888 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94151509253136 94151509300880 94151519711232 140734670207335 140734670207461 140734670207461 140734670213063 0
/proc/53569/statm: 1048 768 704 219 0 110 0
[pid=53572] ppid=53569 vsize=259388 memory=197680 CPUtime=50.9 cores=1,3
/proc/53572/stat : 53572 (roundingsat) R 53569 53569 51126 0 -1 4194304 39735 0 0 0 5009 81 0 0 20 0 1 0 52819269 265613312 49420 18446744073709551615 4227072 8923433 140734131605296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36081664 140734131607878 140734131608104 140734131608104 140734131613674 0
/proc/53572/statm: 64847 49420 2464 1147 0 52274 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 263580 KiB
Current children cumulated memory: 200752 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/268 53578
/proc/meminfo: memFree=127979356/131249996 swapFree=33005272/33010684
[pid=53569] ppid=53566 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/53569/stat : 53569 (run-opt-ls.sh) S 53566 53569 51126 0 -1 4194304 237 3858 0 0 0 0 1 0 20 0 1 0 52819265 4292608 768 18446744073709551615 94151508119552 94151509014085 140734670199888 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94151509253136 94151509300880 94151519711232 140734670207335 140734670207461 140734670207461 140734670213063 0
/proc/53569/statm: 1048 768 704 219 0 110 0
[pid=53572] ppid=53569 vsize=309880 memory=248944 CPUtime=101.96 cores=1,3
/proc/53572/stat : 53572 (roundingsat) R 53569 53569 51126 0 -1 4194304 51064 0 0 0 10055 141 0 0 20 0 1 0 52819269 317317120 62236 18446744073709551615 4227072 8923433 140734131605296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36081664 140734131607878 140734131608104 140734131608104 140734131613674 0
/proc/53572/statm: 77470 62236 2464 1147 0 64897 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 314072 KiB
Current children cumulated memory: 252016 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/268 53580
/proc/meminfo: memFree=127916456/131249996 swapFree=33005272/33010684
[pid=53569] ppid=53566 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/53569/stat : 53569 (run-opt-ls.sh) S 53566 53569 51126 0 -1 4194304 237 3858 0 0 0 0 1 0 20 0 1 0 52819265 4292608 768 18446744073709551615 94151508119552 94151509014085 140734670199888 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94151509253136 94151509300880 94151519711232 140734670207335 140734670207461 140734670207461 140734670213063 0
/proc/53569/statm: 1048 768 704 219 0 110 0
[pid=53572] ppid=53569 vsize=405416 memory=334196 CPUtime=161.8 cores=1,3
/proc/53572/stat : 53572 (roundingsat) R 53569 53569 51126 0 -1 4194304 66801 0 0 0 15986 194 0 0 20 0 1 0 52819269 415145984 83549 18446744073709551615 4227072 8923433 140734131605296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36081664 140734131607878 140734131608104 140734131608104 140734131613674 0
/proc/53572/statm: 101354 83549 2464 1147 0 88781 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 409608 KiB
Current children cumulated memory: 337268 KiB

[startup+222.3 s]
/proc/loadavg: 4.18 4.12 4.10 5/268 53582
/proc/meminfo: memFree=127856776/131249996 swapFree=33005272/33010684
[pid=53569] ppid=53566 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/53569/stat : 53569 (run-opt-ls.sh) S 53566 53569 51126 0 -1 4194304 237 3858 0 0 0 0 1 0 20 0 1 0 52819265 4292608 768 18446744073709551615 94151508119552 94151509014085 140734670199888 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94151509253136 94151509300880 94151519711232 140734670207335 140734670207461 140734670207461 140734670213063 0
/proc/53569/statm: 1048 768 704 219 0 110 0
[pid=53572] ppid=53569 vsize=431892 memory=365636 CPUtime=221.64 cores=1,3
/proc/53572/stat : 53572 (roundingsat) R 53569 53569 51126 0 -1 4194304 73608 0 0 0 21912 252 0 0 20 0 1 0 52819269 442257408 91409 18446744073709551615 4227072 8923433 140734131605296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36081664 140734131607878 140734131608104 140734131608104 140734131613674 0
/proc/53572/statm: 107973 91409 2496 1147 0 95400 0
Current children cumulated CPU time: 221.65 s

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

/proc/53569/stat : 53569 (run-opt-ls.sh) S 53566 53569 51126 0 -1 4194304 237 3858 0 0 0 0 1 0 20 0 1 0 52819265 4292608 768 18446744073709551615 94151508119552 94151509014085 140734670199888 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94151509253136 94151509300880 94151519711232 140734670207335 140734670207461 140734670207461 140734670213063 0
/proc/53569/statm: 1048 768 704 219 0 110 0
[pid=53572] ppid=53569 vsize=452236 memory=382148 CPUtime=281.48 cores=1,3
/proc/53572/stat : 53572 (roundingsat) R 53569 53569 51126 0 -1 4194304 77716 0 0 0 27831 317 0 0 20 0 1 0 52819269 463089664 95537 18446744073709551615 4227072 8923433 140734131605296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36081664 140734131607878 140734131608104 140734131608104 140734131613674 0
/proc/53572/statm: 113059 95537 2496 1147 0 100486 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 456428 KiB
Current children cumulated memory: 385220 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/267 53774
/proc/meminfo: memFree=124581444/131249996 swapFree=33005272/33010684
[pid=53569] ppid=53566 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/53569/stat : 53569 (run-opt-ls.sh) S 53566 53569 51126 0 -1 4194304 237 3858 0 0 0 0 1 0 20 0 1 0 52819265 4292608 768 18446744073709551615 94151508119552 94151509014085 140734670199888 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94151509253136 94151509300880 94151519711232 140734670207335 140734670207461 140734670207461 140734670213063 0
/proc/53569/statm: 1048 768 704 219 0 110 0
[pid=53572] ppid=53569 vsize=455608 memory=385476 CPUtime=341.32 cores=1,3
/proc/53572/stat : 53572 (roundingsat) R 53569 53569 51126 0 -1 4194304 78569 0 0 0 33775 357 0 0 20 0 1 0 52819269 466542592 96369 18446744073709551615 4227072 8923433 140734131605296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36081664 140734131607878 140734131608104 140734131608104 140734131613674 0
/proc/53572/statm: 113902 96369 2496 1147 0 101329 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 459800 KiB
Current children cumulated memory: 388548 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/267 53777
/proc/meminfo: memFree=123970996/131249996 swapFree=33005272/33010684
[pid=53569] ppid=53566 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/53569/stat : 53569 (run-opt-ls.sh) S 53566 53569 51126 0 -1 4194304 237 3858 0 0 0 0 1 0 20 0 1 0 52819265 4292608 768 18446744073709551615 94151508119552 94151509014085 140734670199888 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94151509253136 94151509300880 94151519711232 140734670207335 140734670207461 140734670207461 140734670213063 0
/proc/53569/statm: 1048 768 704 219 0 110 0
[pid=53572] ppid=53569 vsize=469652 memory=399428 CPUtime=401.16 cores=1,3
/proc/53572/stat : 53572 (roundingsat) R 53569 53569 51126 0 -1 4194304 82091 0 0 0 39723 393 0 0 20 0 1 0 52819269 480923648 99857 18446744073709551615 4227072 8923433 140734131605296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36081664 140734131607878 140734131608104 140734131608104 140734131613674 0
/proc/53572/statm: 117413 99857 2496 1147 0 104840 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 473844 KiB
Current children cumulated memory: 402500 KiB

[startup+437.71 s]
# the end of solver process 53569 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=432.295 s, system=4.2118 s

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

[startup+409.6 s]
/proc/loadavg: 4.06 4.09 4.09 5/267 53777
/proc/meminfo: memFree=123753012/131249996 swapFree=33005272/33010684
[pid=53569] ppid=53566 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/53569/stat : 53569 (run-opt-ls.sh) S 53566 53569 51126 0 -1 4194304 237 3858 0 0 0 0 1 0 20 0 1 0 52819265 4292608 768 18446744073709551615 94151508119552 94151509014085 140734670199888 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94151509253136 94151509300880 94151519711232 140734670207335 140734670207461 140734670207461 140734670213063 0
/proc/53569/statm: 1048 768 704 219 0 110 0
[pid=53572] ppid=53569 vsize=471332 memory=401092 CPUtime=408.44 cores=1,3
/proc/53572/stat : 53572 (roundingsat) R 53569 53569 51126 0 -1 4194304 82509 0 0 0 40447 397 0 0 20 0 1 0 52819269 482643968 100273 18446744073709551615 4227072 8923433 140734131605296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36081664 140734131607878 140734131608104 140734131608104 140734131613674 0
/proc/53572/statm: 117833 100273 2496 1147 0 105260 0
Current children cumulated CPU time: 408.45 s
Current children cumulated vsize: 475524 KiB
Current children cumulated memory: 404164 KiB

[startup+422.4 s]
/proc/loadavg: 4.05 4.09 4.09 5/267 53777
/proc/meminfo: memFree=123706700/131249996 swapFree=33005272/33010684
[pid=53569] ppid=53566 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/53569/stat : 53569 (run-opt-ls.sh) S 53566 53569 51126 0 -1 4194304 237 3858 0 0 0 0 1 0 20 0 1 0 52819265 4292608 768 18446744073709551615 94151508119552 94151509014085 140734670199888 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94151509253136 94151509300880 94151519711232 140734670207335 140734670207461 140734670207461 140734670213063 0
/proc/53569/statm: 1048 768 704 219 0 110 0
[pid=53572] ppid=53569 vsize=480972 memory=409668 CPUtime=421.2 cores=1,3
/proc/53572/stat : 53572 (roundingsat) R 53569 53569 51126 0 -1 4194304 84651 0 0 0 41713 407 0 0 20 0 1 0 52819269 492515328 102417 18446744073709551615 4227072 8923433 140734131605296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36081664 140734131607878 140734131608104 140734131608104 140734131613674 0
/proc/53572/statm: 120243 102417 2496 1147 0 107670 0
Current children cumulated CPU time: 421.21 s
Current children cumulated vsize: 485164 KiB
Current children cumulated memory: 412740 KiB

[startup+428.8 s]
/proc/loadavg: 4.05 4.09 4.09 5/267 53777
/proc/meminfo: memFree=123666132/131249996 swapFree=33005272/33010684
[pid=53569] ppid=53566 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/53569/stat : 53569 (run-opt-ls.sh) S 53566 53569 51126 0 -1 4194304 237 3858 0 0 0 0 1 0 20 0 1 0 52819265 4292608 768 18446744073709551615 94151508119552 94151509014085 140734670199888 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94151509253136 94151509300880 94151519711232 140734670207335 140734670207461 140734670207461 140734670213063 0
/proc/53569/statm: 1048 768 704 219 0 110 0
[pid=53572] ppid=53569 vsize=480972 memory=409668 CPUtime=427.59 cores=1,3
/proc/53572/stat : 53572 (roundingsat) R 53569 53569 51126 0 -1 4194304 84652 0 0 0 42347 412 0 0 20 0 1 0 52819269 492515328 102417 18446744073709551615 4227072 8923433 140734131605296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36081664 140734131607878 140734131608104 140734131608104 140734131613674 0
/proc/53572/statm: 120243 102417 2496 1147 0 107670 0
Current children cumulated CPU time: 427.6 s
Current children cumulated vsize: 485164 KiB
Current children cumulated memory: 412740 KiB

[startup+432 s]*
/proc/loadavg: 4.13 4.10 4.09 5/267 53777
/proc/meminfo: memFree=123653356/131249996 swapFree=33005272/33010684
[pid=53569] ppid=53566 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/53569/stat : 53569 (run-opt-ls.sh) S 53566 53569 51126 0 -1 4194304 237 3858 0 0 0 0 1 0 20 0 1 0 52819265 4292608 768 18446744073709551615 94151508119552 94151509014085 140734670199888 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94151509253136 94151509300880 94151519711232 140734670207335 140734670207461 140734670207461 140734670213063 0
/proc/53569/statm: 1048 768 704 219 0 110 0
[pid=53572] ppid=53569 vsize=480972 memory=409668 CPUtime=430.78 cores=1,3
/proc/53572/stat : 53572 (roundingsat) R 53569 53569 51126 0 -1 4194304 84654 0 0 0 42664 414 0 0 20 0 1 0 52819269 492515328 102417 18446744073709551615 4227072 8923433 140734131605296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36081664 140734131607878 140734131608104 140734131608104 140734131613674 0
/proc/53572/statm: 120243 102417 2496 1147 0 107670 0
Current children cumulated CPU time: 430.79 s
Current children cumulated vsize: 485164 KiB
Current children cumulated memory: 412740 KiB

[startup+435.2 s]
/proc/loadavg: 4.12 4.10 4.09 5/267 53777
/proc/meminfo: memFree=123624940/131249996 swapFree=33005272/33010684
[pid=53569] ppid=53566 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/53569/stat : 53569 (run-opt-ls.sh) S 53566 53569 51126 0 -1 4194304 237 3858 0 0 0 0 1 0 20 0 1 0 52819265 4292608 768 18446744073709551615 94151508119552 94151509014085 140734670199888 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94151509253136 94151509300880 94151519711232 140734670207335 140734670207461 140734670207461 140734670213063 0
/proc/53569/statm: 1048 768 704 219 0 110 0
[pid=53572] ppid=53569 vsize=480972 memory=409668 CPUtime=433.97 cores=1,3
/proc/53572/stat : 53572 (roundingsat) R 53569 53569 51126 0 -1 4194304 84654 0 0 0 42981 416 0 0 20 0 1 0 52819269 492515328 102417 18446744073709551615 4227072 8923433 140734131605296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36081664 140734131607878 140734131608104 140734131608104 140734131613674 0
/proc/53572/statm: 120243 102417 2496 1147 0 107670 0
Current children cumulated CPU time: 433.98 s
Current children cumulated vsize: 485164 KiB
Current children cumulated memory: 412740 KiB

[startup+436.8 s]
/proc/loadavg: 4.12 4.10 4.09 5/267 53777
/proc/meminfo: memFree=123624940/131249996 swapFree=33005272/33010684
[pid=53569] ppid=53566 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/53569/stat : 53569 (run-opt-ls.sh) S 53566 53569 51126 0 -1 4194304 237 3858 0 0 0 0 1 0 20 0 1 0 52819265 4292608 768 18446744073709551615 94151508119552 94151509014085 140734670199888 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94151509253136 94151509300880 94151519711232 140734670207335 140734670207461 140734670207461 140734670213063 0
/proc/53569/statm: 1048 768 704 219 0 110 0
[pid=53572] ppid=53569 vsize=480972 memory=409668 CPUtime=435.56 cores=1,3
/proc/53572/stat : 53572 (roundingsat) R 53569 53569 51126 0 -1 4194304 84654 0 0 0 43139 417 0 0 20 0 1 0 52819269 492515328 102417 18446744073709551615 4227072 8923433 140734131605296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36081664 140734131607878 140734131608104 140734131608104 140734131613674 0
/proc/53572/statm: 120243 102417 2496 1147 0 107670 0
Current children cumulated CPU time: 435.57 s
Current children cumulated vsize: 485164 KiB
Current children cumulated memory: 412740 KiB

[startup+437.2 s]
/proc/loadavg: 4.12 4.10 4.09 5/267 53777
/proc/meminfo: memFree=123604716/131249996 swapFree=33005272/33010684
[pid=53569] ppid=53566 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/53569/stat : 53569 (run-opt-ls.sh) S 53566 53569 51126 0 -1 4194304 237 3858 0 0 0 0 1 0 20 0 1 0 52819265 4292608 768 18446744073709551615 94151508119552 94151509014085 140734670199888 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94151509253136 94151509300880 94151519711232 140734670207335 140734670207461 140734670207461 140734670213063 0
/proc/53569/statm: 1048 768 704 219 0 110 0
[pid=53572] ppid=53569 vsize=480972 memory=409668 CPUtime=435.97 cores=1,3
/proc/53572/stat : 53572 (roundingsat) R 53569 53569 51126 0 -1 4194304 84654 0 0 0 43179 418 0 0 20 0 1 0 52819269 492515328 102417 18446744073709551615 4227072 8923433 140734131605296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36081664 140734131607878 140734131608104 140734131608104 140734131613674 0
/proc/53572/statm: 120243 102417 2496 1147 0 107670 0
Current children cumulated CPU time: 435.98 s
Current children cumulated vsize: 485164 KiB
Current children cumulated memory: 412740 KiB

[startup+437.6 s]
/proc/loadavg: 4.12 4.10 4.09 5/267 53777
/proc/meminfo: memFree=123604716/131249996 swapFree=33005272/33010684
[pid=53569] ppid=53566 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/53569/stat : 53569 (run-opt-ls.sh) S 53566 53569 51126 0 -1 4194304 237 3858 0 0 0 0 1 0 20 0 1 0 52819265 4292608 768 18446744073709551615 94151508119552 94151509014085 140734670199888 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94151509253136 94151509300880 94151519711232 140734670207335 140734670207461 140734670207461 140734670213063 0
/proc/53569/statm: 1048 768 704 219 0 110 0
[pid=53572] ppid=53569 vsize=480972 memory=409668 CPUtime=436.37 cores=1,3
/proc/53572/stat : 53572 (roundingsat) R 53569 53569 51126 0 -1 4194304 84654 0 0 0 43219 418 0 0 20 0 1 0 52819269 492515328 102417 18446744073709551615 4227072 8923433 140734131605296 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36081664 140734131607878 140734131608104 140734131608104 140734131613674 0
/proc/53572/statm: 120243 102417 2496 1147 0 107670 0
Current children cumulated CPU time: 436.38 s
Current children cumulated vsize: 485164 KiB
Current children cumulated memory: 412740 KiB

[startup+437.7 s]
/proc/loadavg: 4.12 4.10 4.09 5/267 53777
/proc/meminfo: memFree=123604716/131249996 swapFree=33005272/33010684
[pid=53569] ppid=53566 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/53569/stat : 53569 (run-opt-ls.sh) S 53566 53569 51126 0 -1 4194304 237 3858 0 0 0 0 1 0 20 0 1 0 52819265 4292608 768 18446744073709551615 94151508119552 94151509014085 140734670199888 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94151509253136 94151509300880 94151519711232 140734670207335 140734670207461 140734670207461 140734670213063 0
/proc/53569/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

Child status: 0

Real time (s): 437.71
CPU time (s): 436.507
CPU user time (s): 432.295
CPU system time (s): 4.2118
CPU usage (%): 99.7252
Max. virtual memory (cumulated for all children) (KiB): 485164
Max. memory (cumulated for all children) (KiB): 412740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 432.295
system time used= 4.2118
maximum resident set size= 409668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88772
page faults= 0
swaps= 0
block input operations= 0
block output operations= 544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 209
involuntary context switches= 730


# summary of solver processes directly reported to runsolver:
#   pid: 53569
#   total CPU time (s): 436.507
#   total CPU user time (s): 432.295
#   total CPU system time (s): 4.2118

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.81186 second user time and 1.90294 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-07-01 14:03:34
IDJOB=4497194
IDBENCH=148155
IDSOLVER=3355
FILE ID=nodeC023/4497194-1751371414
RUNJOBID= nodeC023-1751363764-51138
SLURM_JOB_ID= 9598180
Free space on /tmp= 433036 MiB

SOLVER NAME= roundingsat-ls+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB07/OPT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir09_trarea_ac.opb
COMMAND LINE= run-opt-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4497194-1751371414/watcher-4497194-1751371414 -o /tmp/evaluation-result-4497194-1751371414/solver-4497194-1751371414 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751363764-51138 --watchdog 3760  run-opt-ls.sh HOME/instance-4497194-1751371414.opb

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

MD5SUM BENCH= ec773b047bf21dab87650e27deaa6768
RANDOM SEED=1730455009

nodeC023 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		: 3599.889
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.78
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		: 3522.770
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.78
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		: 3601.259
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.78
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		: 3600.267
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.78
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.880
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.78
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.886
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.78
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		: 3598.971
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.78
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		: 3630.625
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.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        128321516 kB
MemAvailable:   127977276 kB
Buffers:            1328 kB
Cached:           453932 kB
SwapCached:          440 kB
Active:          1943192 kB
Inactive:         297556 kB
Active(anon):    1744220 kB
Inactive(anon):    54640 kB
Active(file):     198972 kB
Inactive(file):   242916 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33005272 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7484 kB
Writeback:            24 kB
AnonPages:       1786248 kB
Mapped:           113248 kB
Shmem:             13368 kB
KReclaimable:     104992 kB
Slab:             193220 kB
SReclaimable:     104992 kB
SUnreclaim:        88228 kB
KernelStack:        4304 kB
PageTables:         6896 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    2355756 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150664 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    557056 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:      197332 kB
DirectMap2M:     9011200 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432996 MiB
End job on nodeC023 at 2025-07-01 14:10:52