Trace number 4489785

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-log 63f22ad? (TO) 3602.31 3624.31

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb
MD5SUM890f6157e6331f3256b55d88c2fb39bb
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark240
Best CPU time to get the best result obtained on this benchmark72000.9
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 494314
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 494314
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.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-4489785-1751368624.opb'
0.27/0.35	c 	read 17.23MB  (337.40ms)
0.27/0.35	c	 [cnf: #variables 10000 #clauses 656901 #duplicates 0 #arr 1343400]
0.27/0.35	c output proof to 'PROOFDIR/proof-4489785-1751368624'
0.27/0.35	c 
0.27/0.35	c make graph and approximate orbits
0.67/0.74	c	 [group: #orbits ~= 0] (389.37ms)
0.67/0.74	c 
0.67/0.74	c detect special group actions
0.67/0.74	c 	probe for Johnson action (limit=64)
0.67/0.75	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.67/0.75	c 	probe for row symmetry (limit=64, splits=16.78M)
0.67/0.76	c 	 (21.61ms)
0.67/0.76	c 
0.67/0.76	c detect symmetries on remainder
0.67/0.76	c 	[graph: #vertices 706703 #edges 2766404]
0.67/0.77	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.76/0.81	c 	 [group: #symmetries 1.00*10^0 #generators 0] (51.82ms)
0.76/0.81	c 
0.76/0.81	c finalize break order and special generators
0.76/0.82	c 
0.76/0.82	c generation finished
0.76/0.82	c 	[sbp: #constraints 0 #add_vars 0]
0.76/0.82	c 
0.76/0.82	c write result to 'HOME/instance-4489785-1751368624.opb.pre'
0.76/0.85	c 	wrote 17.23MB (36.09ms)
0.76/0.85	c ------------------------------------------------------------------
0.76/0.85	c                 389.37ms 46.36% approx_orbits
0.76/0.85	c                 337.40ms 40.17% parse
0.76/0.85	c                  51.82ms  6.17% detect_generic
0.76/0.85	c                  36.09ms  4.30% output
0.76/0.85	c                  21.61ms  2.57% detect_special
0.76/0.85	c                   3.25ms  0.39% other
0.76/0.85	c                   0.40ms  0.05% finalize_order
0.76/0.85	c         ───────────────────────────────────────────────
0.76/0.85	c                 839.94ms   100% total
0.76/0.85	c ------------------------------------------------------------------
0.96/1.00	c RoundingSat 2
0.96/1.00	c branch pb25
0.96/1.00	c commit 63f22ad
4.52/4.62	c #variables 10000 #constraints 656900
4.52/4.62	c objective is ce32 
5.42/5.51	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
5.42/5.51	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
5.42/5.51	c bounds 5350 >= 0 @ 3.75824
7.42/7.59	c rational objective 165.75
11.31/11.40	c bounds 5304 >= 0 @ 9.51622
11.31/11.41	c bounds 5247 >= 0 @ 9.52103
11.31/11.41	c bounds 5243 >= 0 @ 9.52453
11.31/11.42	c bounds 5229 >= 0 @ 9.52859
11.31/11.43	c bounds 5199 >= 0 @ 9.53566
11.31/11.45	c bounds 5189 >= 0 @ 9.55297
11.31/11.46	c bounds 5129 >= 0 @ 9.56459
11.31/11.47	c bounds 5088 >= 0 @ 9.57393
11.31/11.49	c bounds 5055 >= 0 @ 9.58707
11.31/11.50	c bounds 4978 >= 0 @ 9.59295
11.40/11.50	c bounds 4925 >= 0 @ 9.59764
11.40/11.51	c bounds 4923 >= 0 @ 9.60164
11.40/11.51	c bounds 4768 >= 0 @ 9.60745
11.40/11.52	c bounds 4654 >= 0 @ 9.6136
11.40/11.53	c bounds 4648 >= 0 @ 9.61919
11.40/11.55	c bounds 4635 >= 0 @ 9.63138
11.40/11.57	c bounds 4634 >= 0 @ 9.65626
11.40/11.58	c bounds 4549 >= 0 @ 9.6613
11.40/11.59	c bounds 4496 >= 0 @ 9.66736
11.51/11.61	c bounds 4495 >= 0 @ 9.6779
11.51/11.61	c bounds 4446 >= 0 @ 9.68433
11.51/11.63	c bounds 4431 >= 0 @ 9.69676
11.61/11.75	c bounds 4424 >= 0 @ 9.81335
11.61/11.76	c bounds 4293 >= 0 @ 9.82151
11.61/11.77	c bounds 4291 >= 0 @ 9.83313
11.61/11.78	c bounds 4233 >= 0 @ 9.84085
11.70/11.81	c bounds 4221 >= 0 @ 9.86354
11.70/11.82	c bounds 4210 >= 0 @ 9.86898
11.70/11.82	c bounds 4145 >= 0 @ 9.87347
11.70/11.83	c bounds 4131 >= 0 @ 9.88232
11.70/11.84	c bounds 4059 >= 0 @ 9.88797
11.70/11.85	c bounds 4004 >= 0 @ 9.89484
11.70/11.86	c bounds 3945 >= 0 @ 9.90264
11.70/11.87	c bounds 3823 >= 0 @ 9.90872
11.70/11.88	c bounds 3818 >= 0 @ 9.92171
11.70/11.89	c bounds 3768 >= 0 @ 9.9266
11.80/11.90	c bounds 3731 >= 0 @ 9.93017
11.80/11.92	c bounds 3706 >= 0 @ 9.94104
11.80/11.93	c bounds 3693 >= 0 @ 9.95235
11.90/12.02	c bounds 3689 >= 0 @ 10.0386
11.90/12.03	c bounds 3664 >= 0 @ 10.0439
11.90/12.04	c bounds 3599 >= 0 @ 10.0491
11.90/12.05	c bounds 3561 >= 0 @ 10.0554
11.90/12.06	c bounds 3494 >= 0 @ 10.063
11.90/12.07	c bounds 3365 >= 0 @ 10.0687
11.90/12.08	c bounds 3308 >= 0 @ 10.0749
12.00/12.17	c bounds 3154 >= 0 @ 10.1534
12.00/12.18	c bounds 3100 >= 0 @ 10.1599
12.00/12.19	c bounds 3059 >= 0 @ 10.1718
12.10/12.20	c bounds 2890 >= 0 @ 10.1774
12.10/12.21	c bounds 2797 >= 0 @ 10.1819
12.10/12.22	c bounds 2796 >= 0 @ 10.1875
12.10/12.23	c bounds 2778 >= 0 @ 10.1932
12.10/12.26	c bounds 2765 >= 0 @ 10.2147
12.10/12.27	c bounds 2703 >= 0 @ 10.2219
12.10/12.28	c bounds 2695 >= 0 @ 10.2278
12.10/12.29	c bounds 2671 >= 0 @ 10.2348
12.20/12.32	c bounds 2668 >= 0 @ 10.2567
12.20/12.34	c bounds 2638 >= 0 @ 10.2753
12.20/12.36	c bounds 2606 >= 0 @ 10.2815
12.20/12.38	c bounds 2605 >= 0 @ 10.3059
12.40/12.53	c bounds 2599 >= 0 @ 10.4442
12.50/12.69	c bounds 2587 >= 0 @ 10.6021
12.60/12.70	c bounds 2539 >= 0 @ 10.6096
12.60/12.71	c bounds 2465 >= 0 @ 10.6165
12.80/13.00	c bounds 2463 >= 0 @ 10.8931
12.91/13.10	c bounds 2459 >= 0 @ 10.9885
13.60/13.72	c bounds 2415 >= 0 @ 11.5964
13.60/13.73	c bounds 2374 >= 0 @ 11.6018
13.60/13.74	c bounds 2362 >= 0 @ 11.609
13.60/13.75	c bounds 2347 >= 0 @ 11.6174
13.60/13.76	c bounds 2300 >= 0 @ 11.6236
13.60/13.77	c bounds 2298 >= 0 @ 11.6286
13.60/13.78	c bounds 2258 >= 0 @ 11.6359
13.90/14.06	c bounds 2257 >= 0 @ 11.9158
13.90/14.07	c bounds 2250 >= 0 @ 11.9246
13.90/14.08	c bounds 2248 >= 0 @ 11.93
13.90/14.09	c bounds 2161 >= 0 @ 11.9387
14.00/14.11	c bounds 2121 >= 0 @ 11.9524
14.00/14.12	c bounds 2106 >= 0 @ 11.96
14.00/14.13	c bounds 1987 >= 0 @ 11.9681
14.00/14.15	c bounds 1874 >= 0 @ 11.9766
14.00/14.16	c bounds 1804 >= 0 @ 11.982
14.00/14.17	c bounds 1763 >= 0 @ 11.991
14.00/14.18	c bounds 1695 >= 0 @ 12.0003
14.09/14.21	c bounds 1536 >= 0 @ 12.0127
14.09/14.22	c bounds 1430 >= 0 @ 12.0205
14.09/14.23	c bounds 1429 >= 0 @ 12.0261
14.09/14.24	c bounds 1428 >= 0 @ 12.0328
14.09/14.25	c bounds 1382 >= 0 @ 12.0407
14.09/14.26	c bounds 1348 >= 0 @ 12.0483
14.09/14.28	c bounds 1328 >= 0 @ 12.0551
14.09/14.29	c bounds 1288 >= 0 @ 12.0639
14.19/14.30	c bounds 1176 >= 0 @ 12.0716
14.19/14.31	c bounds 1132 >= 0 @ 12.0776
14.19/14.34	c bounds 1086 >= 0 @ 12.0956
14.29/14.44	c bounds 1071 >= 0 @ 12.1835
14.29/14.45	c bounds 1063 >= 0 @ 12.1915
14.69/14.88	c bounds 1060 >= 0 @ 12.6034
14.69/14.88	c bounds 1059 >= 0 @ 12.6085
15.60/15.72	c bounds 1045 >= 0 @ 13.4223
15.60/15.76	c bounds 1032 >= 0 @ 13.4508
15.79/15.90	c bounds 959 >= 0 @ 13.5889
15.79/15.92	c bounds 867 >= 0 @ 13.6015
15.79/15.98	c bounds 857 >= 0 @ 13.6591
16.00/16.16	c #Conflicts:       1000 | #Constraints:     658011
16.00/16.16	c bounds 683 >= 0 @ 13.8294
16.59/16.74	c bounds 634 >= 0 @ 14.3793
16.69/16.81	c bounds 632 >= 0 @ 14.4368
20.48/20.61	c #Conflicts:       2000 | #Constraints:     659014
20.48/20.61	c INPROCESSING
20.48/20.61	c GARBAGE COLLECT
20.48/20.61	c bounds 536 >= 0 @ 18.1685
20.57/20.75	c bounds 445 >= 0 @ 18.3043
27.26/27.45	c #Conflicts:       3000 | #Constraints:     658911
27.26/27.45	c #Conflicts:       4000 | #Constraints:     659911
27.26/27.45	c INPROCESSING
27.26/27.45	c GARBAGE COLLECT
27.26/27.45	c rational objective 167
31.14/31.31	c bounds 439 >= 0 @ 28.756
31.14/31.38	c bounds 434 >= 0 @ 28.8177
31.24/31.44	c bounds 433 >= 0 @ 28.8796
31.24/31.47	c bounds 426 >= 0 @ 28.9114
31.24/31.49	c bounds 419 >= 0 @ 28.9306
32.94/33.11	c bounds 417 >= 0 @ 30.5015
44.30/44.57	c #Conflicts:       5000 | #Constraints:     659334
44.30/44.57	c #Conflicts:       6000 | #Constraints:     660334
44.30/44.57	c INPROCESSING
44.30/44.57	c GARBAGE COLLECT
44.30/44.57	c rational objective 168.44
47.69/47.96	c bounds 412 >= 0 @ 45.2177
47.69/47.98	c bounds 407 >= 0 @ 45.2291
47.69/47.99	c bounds 403 >= 0 @ 45.2389
55.37/55.68	c #Conflicts:       7000 | #Constraints:     659343
55.37/55.68	c bounds 400 >= 0 @ 52.7621
62.24/62.55	c #Conflicts:       8000 | #Constraints:     660344
62.24/62.55	c #Conflicts:       9000 | #Constraints:     661344
62.24/62.55	c INPROCESSING
62.24/62.55	c GARBAGE COLLECT
62.24/62.55	c rational objective 170.808
76.90/77.21	c #Conflicts:      10000 | #Constraints:     660037
76.90/77.21	c #Conflicts:      11000 | #Constraints:     661037
76.90/77.21	c #Conflicts:      12000 | #Constraints:     662037
76.90/77.21	c INPROCESSING
76.90/77.21	c GARBAGE COLLECT
76.90/77.21	c rational objective 173.5
92.93/93.30	c #Conflicts:      13000 | #Constraints:     660494
92.93/93.30	c #Conflicts:      14000 | #Constraints:     661494
92.93/93.30	c #Conflicts:      15000 | #Constraints:     662494
92.93/93.30	c INPROCESSING
92.93/93.30	c GARBAGE COLLECT
92.93/93.30	c rational objective 175.621
129.99/130.51	c #Conflicts:      16000 | #Constraints:     660721
129.99/130.51	c #Conflicts:      17000 | #Constraints:     661721
129.99/130.51	c #Conflicts:      18000 | #Constraints:     662721
129.99/130.51	c INPROCESSING
129.99/130.51	c GARBAGE COLLECT
129.99/130.51	c #Conflicts:      19000 | #Constraints:     660750
129.99/130.51	c #Conflicts:      20000 | #Constraints:     661750
129.99/130.51	c #Conflicts:      21000 | #Constraints:     662750
129.99/130.51	c INPROCESSING
129.99/130.51	c GARBAGE COLLECT
129.99/130.51	c rational objective 175.621
149.11/149.72	c #Conflicts:      22000 | #Constraints:     660552
149.11/149.72	c #Conflicts:      23000 | #Constraints:     661552
149.11/149.72	c #Conflicts:      24000 | #Constraints:     662552
149.11/149.72	c #Conflicts:      25000 | #Constraints:     663552
149.11/149.72	c INPROCESSING
149.11/149.72	c GARBAGE COLLECT
149.11/149.72	c rational objective 175.704
169.58/170.98	c #Conflicts:      26000 | #Constraints:     661152
169.58/170.98	c #Conflicts:      27000 | #Constraints:     662152
169.58/170.98	c #Conflicts:      28000 | #Constraints:     663152
169.58/170.98	c #Conflicts:      29000 | #Constraints:     664152
169.58/170.98	c INPROCESSING
169.58/170.98	c GARBAGE COLLECT
169.58/170.98	c rational objective 175.811
205.25/206.76	c #Conflicts:      30000 | #Constraints:     661564
205.25/206.76	c #Conflicts:      31000 | #Constraints:     662597
205.25/206.76	c #Conflicts:      32000 | #Constraints:     663606
205.25/206.76	c #Conflicts:      33000 | #Constraints:     664616
205.25/206.76	c INPROCESSING
205.25/206.76	c GARBAGE COLLECT
205.25/206.76	c bounds 392 >= 0 @ 201.493
205.84/207.35	c bounds 391 >= 0 @ 202.056
205.84/207.37	c bounds 387 >= 0 @ 202.078
205.94/207.43	c bounds 385 >= 0 @ 202.129
205.94/207.48	c bounds 382 >= 0 @ 202.176
206.24/207.76	c bounds 375 >= 0 @ 202.453
206.54/208.08	c bounds 374 >= 0 @ 202.759
211.82/213.36	c bounds 373 >= 0 @ 207.922
212.62/214.14	c bounds 373 >= 5 @ 208.686
233.84/235.73	c #Conflicts:      34000 | #Constraints:     661809
233.84/235.73	c #Conflicts:      35000 | #Constraints:     662809
233.84/235.73	c #Conflicts:      36000 | #Constraints:     663809
233.84/235.73	c #Conflicts:      37000 | #Constraints:     664809
233.84/235.73	c INPROCESSING
233.84/235.73	c GARBAGE COLLECT
233.84/235.73	c rational objective 175.892
238.63/240.51	c bounds 372 >= 5 @ 234.522
238.63/240.54	c bounds 371 >= 5 @ 234.54
238.63/240.56	c bounds 369 >= 5 @ 234.561
238.73/240.60	c bounds 368 >= 5 @ 234.59
238.83/240.78	c bounds 367 >= 5 @ 234.765
238.93/240.82	c bounds 366 >= 5 @ 234.804
254.57/256.51	c #Conflicts:      38000 | #Constraints:     661806
254.57/256.51	c bounds 362 >= 5 @ 250.19
254.57/256.54	c bounds 362 >= 9 @ 250.21
320.00/322.44	c #Conflicts:      39000 | #Constraints:     662846
320.00/322.44	c #Conflicts:      40000 | #Constraints:     663867
320.00/322.44	c #Conflicts:      41000 | #Constraints:     664879
320.00/322.44	c INPROCESSING
320.00/322.44	c GARBAGE COLLECT
320.00/322.44	c #Conflicts:      42000 | #Constraints:     661621
320.00/322.44	c #Conflicts:      43000 | #Constraints:     662627
320.00/322.44	c #Conflicts:      44000 | #Constraints:     663630
320.00/322.44	c #Conflicts:      45000 | #Constraints:     664647
320.00/322.44	c #Conflicts:      46000 | #Constraints:     665658
320.00/322.44	c INPROCESSING
320.00/322.44	c GARBAGE COLLECT
320.00/322.44	c #Conflicts:      47000 | #Constraints:     662202
320.00/322.44	c #Conflicts:      48000 | #Constraints:     663203
320.00/322.44	c #Conflicts:      49000 | #Constraints:     664207
320.00/322.44	c #Conflicts:      50000 | #Constraints:     665209
320.00/322.44	c #Conflicts:      51000 | #Constraints:     666211
320.00/322.44	c INPROCESSING
320.00/322.44	c GARBAGE COLLECT
320.00/322.44	c rational objective 176.099
347.21/349.74	c #Conflicts:      52000 | #Constraints:     662575
347.21/349.74	c #Conflicts:      53000 | #Constraints:     663576
347.21/349.74	c #Conflicts:      54000 | #Constraints:     664577
347.21/349.74	c #Conflicts:      55000 | #Constraints:     665578
347.21/349.74	c #Conflicts:      56000 | #Constraints:     666578
347.21/349.74	c INPROCESSING
347.21/349.74	c GARBAGE COLLECT
347.21/349.74	c rational objective 176.736
419.14/421.96	c #Conflicts:      57000 | #Constraints:     662767
419.14/421.96	c #Conflicts:      58000 | #Constraints:     663771
419.14/421.96	c #Conflicts:      59000 | #Constraints:     664771
419.14/421.96	c #Conflicts:      60000 | #Constraints:     665771
419.14/421.96	c #Conflicts:      61000 | #Constraints:     666774
419.14/421.96	c INPROCESSING
419.14/421.96	c GARBAGE COLLECT
419.14/421.96	c #Conflicts:      62000 | #Constraints:     662763
419.14/421.96	c #Conflicts:      63000 | #Constraints:     663766
419.14/421.96	c #Conflicts:      64000 | #Constraints:     664771
419.14/421.96	c #Conflicts:      65000 | #Constraints:     665773
419.14/421.96	c #Conflicts:      66000 | #Constraints:     666774
419.14/421.96	c INPROCESSING
419.14/421.96	c GARBAGE COLLECT
419.14/421.96	c rational objective 177.209
463.23/466.31	c #Conflicts:      67000 | #Constraints:     662562
463.23/466.31	c #Conflicts:      68000 | #Constraints:     663565
463.23/466.31	c #Conflicts:      69000 | #Constraints:     664568
463.23/466.31	c #Conflicts:      70000 | #Constraints:     665571
463.23/466.31	c #Conflicts:      71000 | #Constraints:     666579
463.23/466.31	c #Conflicts:      72000 | #Constraints:     667586
463.23/466.31	c INPROCESSING
463.23/466.31	c GARBAGE COLLECT
463.23/466.31	c rational objective 177.578
468.71/471.88	c bounds 358 >= 9 @ 462.768
468.92/472.08	c bounds 357 >= 9 @ 462.964
498.01/501.23	c #Conflicts:      73000 | #Constraints:     663185
498.01/501.23	c #Conflicts:      74000 | #Constraints:     664203
498.01/501.23	c bounds 356 >= 9 @ 491.464
518.44/521.73	c #Conflicts:      75000 | #Constraints:     665217
518.44/521.73	c #Conflicts:      76000 | #Constraints:     666217
518.44/521.73	c #Conflicts:      77000 | #Constraints:     667217
518.44/521.73	c #Conflicts:      78000 | #Constraints:     668217
518.44/521.73	c INPROCESSING
518.44/521.73	c GARBAGE COLLECT
518.44/521.73	c rational objective 178.291
552.23/555.62	c #Conflicts:      79000 | #Constraints:     663580
552.23/555.62	c #Conflicts:      80000 | #Constraints:     664580
552.23/555.62	c #Conflicts:      81000 | #Constraints:     665581
552.23/555.62	c #Conflicts:      82000 | #Constraints:     666581
552.23/555.62	c #Conflicts:      83000 | #Constraints:     667581
552.23/555.62	c #Conflicts:      84000 | #Constraints:     668581
552.23/555.62	c INPROCESSING
552.23/555.62	c GARBAGE COLLECT
552.23/555.62	c rational objective 178.34
591.54/595.16	c #Conflicts:      85000 | #Constraints:     663772
591.54/595.16	c #Conflicts:      86000 | #Constraints:     664772
591.54/595.16	c #Conflicts:      87000 | #Constraints:     665772
591.54/595.16	c #Conflicts:      88000 | #Constraints:     666772
591.54/595.16	c #Conflicts:      89000 | #Constraints:     667772
591.54/595.16	c #Conflicts:      90000 | #Constraints:     668772
591.54/595.16	c INPROCESSING
591.54/595.16	c GARBAGE COLLECT
591.54/595.16	c rational objective 178.362
626.23/629.90	c #Conflicts:      91000 | #Constraints:     663767
626.23/629.90	c #Conflicts:      92000 | #Constraints:     664767
626.23/629.90	c #Conflicts:      93000 | #Constraints:     665767
626.23/629.90	c #Conflicts:      94000 | #Constraints:     666767
626.23/629.90	c #Conflicts:      95000 | #Constraints:     667767
626.23/629.90	c #Conflicts:      96000 | #Constraints:     668767
626.23/629.90	c INPROCESSING
626.23/629.90	c GARBAGE COLLECT
626.23/629.90	c rational objective 178.365
691.21/695.14	c #Conflicts:      97000 | #Constraints:     663570
691.21/695.14	c #Conflicts:      98000 | #Constraints:     664575
691.21/695.14	c #Conflicts:      99000 | #Constraints:     665587
691.21/695.14	c #Conflicts:     100000 | #Constraints:     666600
691.21/695.14	c #Conflicts:     101000 | #Constraints:     667614
691.21/695.14	c #Conflicts:     102000 | #Constraints:     668639
691.21/695.14	c #Conflicts:     103000 | #Constraints:     669648
691.21/695.14	c INPROCESSING
691.21/695.14	c GARBAGE COLLECT
691.21/695.14	c #Conflicts:     104000 | #Constraints:     664203
691.21/695.14	c #Conflicts:     105000 | #Constraints:     665206
691.21/695.14	c #Conflicts:     106000 | #Constraints:     666215
691.21/695.14	c #Conflicts:     107000 | #Constraints:     667220
691.21/695.14	c #Conflicts:     108000 | #Constraints:     668221
691.21/695.14	c #Conflicts:     109000 | #Constraints:     669221
691.21/695.14	c #Conflicts:     110000 | #Constraints:     670221
691.21/695.14	c INPROCESSING
691.21/695.14	c GARBAGE COLLECT
691.21/695.14	c rational objective 178.378
803.17/807.97	c #Conflicts:     111000 | #Constraints:     664595
803.17/807.97	c #Conflicts:     112000 | #Constraints:     665601
803.17/807.97	c #Conflicts:     113000 | #Constraints:     666610
803.17/807.97	c #Conflicts:     114000 | #Constraints:     667623
803.17/807.97	c #Conflicts:     115000 | #Constraints:     668628
803.17/807.97	c #Conflicts:     116000 | #Constraints:     669644
803.17/807.97	c #Conflicts:     117000 | #Constraints:     670662
803.17/807.97	c INPROCESSING
803.17/807.97	c GARBAGE COLLECT
803.17/807.97	c #Conflicts:     118000 | #Constraints:     664817
803.17/807.97	c #Conflicts:     119000 | #Constraints:     665835
803.17/807.97	c #Conflicts:     120000 | #Constraints:     666845
803.17/807.97	c #Conflicts:     121000 | #Constraints:     667855
803.17/807.97	c #Conflicts:     122000 | #Constraints:     668871
803.17/807.97	c #Conflicts:     123000 | #Constraints:     669878
803.17/807.97	c #Conflicts:     124000 | #Constraints:     670892
803.17/807.97	c INPROCESSING
803.17/807.97	c GARBAGE COLLECT
803.17/807.97	c #Conflicts:     125000 | #Constraints:     664846
803.17/807.97	c #Conflicts:     126000 | #Constraints:     665859
803.17/807.97	c #Conflicts:     127000 | #Constraints:     666871
803.17/807.97	c #Conflicts:     128000 | #Constraints:     667880
803.17/807.97	c #Conflicts:     129000 | #Constraints:     668891
803.17/807.97	c #Conflicts:     130000 | #Constraints:     669917
803.17/807.97	c #Conflicts:     131000 | #Constraints:     670952
803.17/807.97	c INPROCESSING
803.17/807.97	c GARBAGE COLLECT
803.17/807.97	c rational objective 178.378
882.66/891.88	c #Conflicts:     132000 | #Constraints:     664668
882.66/891.88	c #Conflicts:     133000 | #Constraints:     665675
882.66/891.88	c #Conflicts:     134000 | #Constraints:     666682
882.66/891.88	c #Conflicts:     135000 | #Constraints:     667709
882.66/891.88	c #Conflicts:     136000 | #Constraints:     668742
882.66/891.88	c #Conflicts:     137000 | #Constraints:     669772
882.66/891.88	c #Conflicts:     138000 | #Constraints:     670790
882.66/891.88	c #Conflicts:     139000 | #Constraints:     671795
882.66/891.88	c INPROCESSING
882.66/891.88	c GARBAGE COLLECT
882.66/891.88	c #Conflicts:     140000 | #Constraints:     665293
882.66/891.88	c #Conflicts:     141000 | #Constraints:     666305
882.66/891.88	c #Conflicts:     142000 | #Constraints:     667324
882.66/891.88	c #Conflicts:     143000 | #Constraints:     668342
882.66/891.88	c #Conflicts:     144000 | #Constraints:     669353
882.66/891.88	c #Conflicts:     145000 | #Constraints:     670386
882.66/891.88	c #Conflicts:     146000 | #Constraints:     671400
882.66/891.88	c #Conflicts:     147000 | #Constraints:     672406
882.66/891.88	c INPROCESSING
882.66/891.88	c GARBAGE COLLECT
882.66/891.88	c bounds 351 >= 9 @ 873.846
882.76/891.90	c bounds 351 >= 11 @ 873.86
882.76/891.91	c bounds 351 >= 13 @ 873.87
882.76/891.93	c bounds 351 >= 15 @ 873.881
882.76/891.95	c bounds 351 >= 17 @ 873.891
882.76/891.97	c bounds 351 >= 19 @ 873.905
884.36/893.59	c bounds 351 >= 21 @ 875.513
884.66/893.83	c bounds 351 >= 23 @ 875.737
885.45/894.65	c bounds 351 >= 25 @ 876.535
889.74/898.93	c #Conflicts:     148000 | #Constraints:     665761
889.74/898.93	c bounds 351 >= 27 @ 880.725
933.20/942.58	c #Conflicts:     149000 | #Constraints:     666779
933.20/942.58	c #Conflicts:     150000 | #Constraints:     667779
933.20/942.58	c #Conflicts:     151000 | #Constraints:     668779
933.20/942.58	c #Conflicts:     152000 | #Constraints:     669779
933.20/942.58	c #Conflicts:     153000 | #Constraints:     670779
933.20/942.58	c #Conflicts:     154000 | #Constraints:     671779
933.20/942.58	c #Conflicts:     155000 | #Constraints:     672779
933.20/942.58	c INPROCESSING
933.20/942.58	c GARBAGE COLLECT
933.20/942.58	c rational objective 178.378
943.65/953.24	c bounds 348 >= 27 @ 934.14
943.84/953.40	c bounds 342 >= 27 @ 934.286
943.84/953.43	c bounds 338 >= 27 @ 934.311
944.14/953.70	c bounds 336 >= 27 @ 934.58
954.61/964.25	c bounds 333 >= 27 @ 945.038
956.71/966.31	c bounds 332 >= 27 @ 947.069
956.90/966.57	c bounds 330 >= 27 @ 947.319
957.20/966.85	c bounds 324 >= 27 @ 947.595
1153.46/1164.60	c #Conflicts:     156000 | #Constraints:     665914
1153.46/1164.60	c #Conflicts:     157000 | #Constraints:     666914
1153.46/1164.60	c #Conflicts:     158000 | #Constraints:     667914
1153.46/1164.60	c #Conflicts:     159000 | #Constraints:     668914
1153.46/1164.60	c #Conflicts:     160000 | #Constraints:     669914
1153.46/1164.60	c #Conflicts:     161000 | #Constraints:     670914
1153.46/1164.60	c #Conflicts:     162000 | #Constraints:     671914
1153.46/1164.60	c #Conflicts:     163000 | #Constraints:     672962
1153.46/1164.60	c INPROCESSING
1153.46/1164.60	c GARBAGE COLLECT
1153.46/1164.60	c rational objective 178.378
1161.14/1172.39	c bounds 324 >= 28 @ 1150.19
1161.24/1172.41	c bounds 324 >= 29 @ 1150.21
1161.24/1172.42	c bounds 324 >= 30 @ 1150.21
1161.24/1172.44	c bounds 324 >= 31 @ 1150.23
1161.24/1172.46	c bounds 324 >= 32 @ 1150.24
1161.24/1172.47	c bounds 324 >= 33 @ 1150.25
1161.24/1172.49	c bounds 324 >= 34 @ 1150.26
1161.34/1172.52	c bounds 324 >= 35 @ 1150.28
1161.34/1172.54	c bounds 324 >= 36 @ 1150.29
1161.34/1172.56	c bounds 324 >= 37 @ 1150.31
1161.34/1172.59	c bounds 324 >= 38 @ 1150.33
1178.08/1189.39	c bounds 324 >= 39 @ 1167.05
1178.18/1189.43	c bounds 324 >= 40 @ 1167.08
1178.18/1189.48	c bounds 324 >= 41 @ 1167.12
1178.28/1189.51	c bounds 324 >= 42 @ 1167.15
1178.28/1189.54	c bounds 324 >= 43 @ 1167.18
1178.28/1189.57	c bounds 324 >= 44 @ 1167.2
1178.38/1189.66	c bounds 324 >= 45 @ 1167.27
1178.48/1189.78	c bounds 324 >= 46 @ 1167.39
1178.79/1190.07	c bounds 324 >= 47 @ 1167.67
1179.07/1190.31	c bounds 324 >= 48 @ 1167.89
1179.47/1190.78	c bounds 324 >= 49 @ 1168.35
1180.18/1191.45	c bounds 324 >= 50 @ 1169.01
1180.67/1191.97	c #Conflicts:     164000 | #Constraints:     666098
1180.67/1191.97	c bounds 324 >= 51 @ 1169.51
1181.56/1192.88	c bounds 324 >= 52 @ 1170.39
1183.07/1194.32	c bounds 324 >= 53 @ 1171.8
1183.77/1195.08	c bounds 324 >= 54 @ 1172.54
1184.65/1195.92	c #Conflicts:     165000 | #Constraints:     667215
1184.65/1195.92	c bounds 324 >= 55 @ 1173.34
1185.46/1196.78	c bounds 324 >= 56 @ 1174.17
1187.05/1198.31	c bounds 324 >= 57 @ 1175.66
1190.12/1201.67	c #Conflicts:     166000 | #Constraints:     668290
1190.12/1201.67	c bounds 324 >= 58 @ 1178.72
1200.09/1211.61	c #Conflicts:     167000 | #Constraints:     669314
1200.09/1211.61	c bounds 324 >= 59 @ 1188.47
1205.77/1217.39	c #Conflicts:     168000 | #Constraints:     670347
1205.77/1217.39	c #Conflicts:     169000 | #Constraints:     671347
1205.77/1217.39	c bounds 324 >= 60 @ 1194.09
1216.33/1227.96	c #Conflicts:     170000 | #Constraints:     672386
1216.33/1227.96	c bounds 324 >= 61 @ 1204.45
1276.79/1288.60	c #Conflicts:     171000 | #Constraints:     673419
1276.79/1288.60	c INPROCESSING
1276.79/1288.60	c GARBAGE COLLECT
1276.79/1288.60	c rational objective 178.378
1285.29/1297.26	c #Conflicts:     172000 | #Constraints:     666030
1285.29/1297.26	c bounds 324 >= 62 @ 1273.08
1293.67/1305.60	c #Conflicts:     173000 | #Constraints:     667061
1293.67/1305.60	c bounds 324 >= 63 @ 1281.26
1304.13/1316.16	c #Conflicts:     174000 | #Constraints:     668085
1304.13/1316.16	c #Conflicts:     175000 | #Constraints:     669085
1304.13/1316.16	c bounds 324 >= 64 @ 1291.61
1333.82/1345.91	c #Conflicts:     176000 | #Constraints:     670127
1333.82/1345.91	c #Conflicts:     177000 | #Constraints:     671127
1333.82/1345.91	c bounds 324 >= 65 @ 1320.9
1486.01/1498.74	c #Conflicts:     178000 | #Constraints:     672166
1486.01/1498.74	c #Conflicts:     179000 | #Constraints:     673166
1486.01/1498.74	c #Conflicts:     180000 | #Constraints:     674166
1486.01/1498.74	c INPROCESSING
1486.01/1498.74	c GARBAGE COLLECT
1486.01/1498.74	c bounds 324 >= 66 @ 1472.53
1502.36/1515.12	c #Conflicts:     181000 | #Constraints:     666698
1502.36/1515.12	c #Conflicts:     182000 | #Constraints:     667698
1502.36/1515.12	c #Conflicts:     183000 | #Constraints:     668698
1502.36/1515.12	c bounds 324 >= 67 @ 1488.59
1530.84/1543.73	c #Conflicts:     184000 | #Constraints:     669728
1530.84/1543.73	c #Conflicts:     185000 | #Constraints:     670728
1530.84/1543.73	c #Conflicts:     186000 | #Constraints:     671728
1530.84/1543.73	c #Conflicts:     187000 | #Constraints:     672728
1530.84/1543.73	c bounds 324 >= 68 @ 1516.69
1621.41/1634.66	c #Conflicts:     188000 | #Constraints:     673764
1621.41/1634.66	c #Conflicts:     189000 | #Constraints:     674764
1621.41/1634.66	c INPROCESSING
1621.41/1634.66	c GARBAGE COLLECT
1621.41/1634.66	c #Conflicts:     190000 | #Constraints:     667081
1621.41/1634.66	c #Conflicts:     191000 | #Constraints:     668081
1621.41/1634.66	c #Conflicts:     192000 | #Constraints:     669081
1621.41/1634.66	c bounds 324 >= 69 @ 1606.63
1808.66/1822.62	c #Conflicts:     193000 | #Constraints:     670136
1808.66/1822.62	c #Conflicts:     194000 | #Constraints:     671136
1808.66/1822.62	c #Conflicts:     195000 | #Constraints:     672136
1808.66/1822.62	c #Conflicts:     196000 | #Constraints:     673136
1808.66/1822.62	c #Conflicts:     197000 | #Constraints:     674136
1808.66/1822.62	c #Conflicts:     198000 | #Constraints:     675136
1808.66/1822.62	c INPROCESSING
1808.66/1822.62	c GARBAGE COLLECT
1808.66/1822.62	c rational objective 178.378
1817.04/1831.09	c bounds 324 >= 70 @ 1801.31
1912.71/1927.00	c #Conflicts:     199000 | #Constraints:     667340
1912.71/1927.00	c #Conflicts:     200000 | #Constraints:     668340
1912.71/1927.00	c #Conflicts:     201000 | #Constraints:     669340
1912.71/1927.00	c #Conflicts:     202000 | #Constraints:     670340
1912.71/1927.00	c #Conflicts:     203000 | #Constraints:     671341
1912.71/1927.00	c #Conflicts:     204000 | #Constraints:     672341
1912.71/1927.00	c #Conflicts:     205000 | #Constraints:     673342
1912.71/1927.00	c #Conflicts:     206000 | #Constraints:     674342
1912.71/1927.00	c #Conflicts:     207000 | #Constraints:     675342
1912.71/1927.00	c INPROCESSING
1912.71/1927.00	c GARBAGE COLLECT
1912.71/1927.00	c rational objective 178.378
1934.54/1948.95	c #Conflicts:     208000 | #Constraints:     667298
1934.54/1948.95	c #Conflicts:     209000 | #Constraints:     668298
1934.54/1948.95	c #Conflicts:     210000 | #Constraints:     669298
1934.54/1948.95	c bounds 324 >= 71 @ 1917.35
1982.78/1997.32	c #Conflicts:     211000 | #Constraints:     670355
1982.78/1997.32	c #Conflicts:     212000 | #Constraints:     671356
1982.78/1997.32	c #Conflicts:     213000 | #Constraints:     672356
1982.78/1997.32	c #Conflicts:     214000 | #Constraints:     673356
1982.78/1997.32	c #Conflicts:     215000 | #Constraints:     674356
1982.78/1997.32	c #Conflicts:     216000 | #Constraints:     675356
1982.78/1997.32	c INPROCESSING
1982.78/1997.32	c GARBAGE COLLECT
1982.78/1997.32	c rational objective 178.378
2153.60/2168.86	c #Conflicts:     217000 | #Constraints:     667127
2153.60/2168.86	c #Conflicts:     218000 | #Constraints:     668127
2153.60/2168.86	c #Conflicts:     219000 | #Constraints:     669127
2153.60/2168.86	c #Conflicts:     220000 | #Constraints:     670127
2153.60/2168.86	c #Conflicts:     221000 | #Constraints:     671127
2153.60/2168.86	c #Conflicts:     222000 | #Constraints:     672127
2153.60/2168.86	c #Conflicts:     223000 | #Constraints:     673127
2153.60/2168.86	c #Conflicts:     224000 | #Constraints:     674127
2153.60/2168.86	c #Conflicts:     225000 | #Constraints:     675127
2153.60/2168.86	c #Conflicts:     226000 | #Constraints:     676127
2153.60/2168.86	c INPROCESSING
2153.60/2168.86	c GARBAGE COLLECT
2153.60/2168.86	c rational objective 178.378
2160.58/2175.86	c bounds 324 >= 72 @ 2141.25
2373.34/2389.49	c #Conflicts:     227000 | #Constraints:     667766
2373.34/2389.49	c #Conflicts:     228000 | #Constraints:     668766
2373.34/2389.49	c #Conflicts:     229000 | #Constraints:     669766
2373.34/2389.49	c #Conflicts:     230000 | #Constraints:     670766
2373.34/2389.49	c #Conflicts:     231000 | #Constraints:     671766
2373.34/2389.49	c #Conflicts:     232000 | #Constraints:     672766
2373.34/2389.49	c #Conflicts:     233000 | #Constraints:     673766
2373.34/2389.49	c #Conflicts:     234000 | #Constraints:     674766
2373.34/2389.49	c #Conflicts:     235000 | #Constraints:     675766
2373.34/2389.49	c #Conflicts:     236000 | #Constraints:     676766
2373.34/2389.49	c INPROCESSING
2373.34/2389.49	c GARBAGE COLLECT
2373.34/2389.49	c #Conflicts:     237000 | #Constraints:     668144
2373.34/2389.49	c #Conflicts:     238000 | #Constraints:     669144
2373.34/2389.49	c #Conflicts:     239000 | #Constraints:     670144
2373.34/2389.49	c #Conflicts:     240000 | #Constraints:     671144
2373.34/2389.49	c #Conflicts:     241000 | #Constraints:     672144
2373.34/2389.49	c #Conflicts:     242000 | #Constraints:     673144
2373.34/2389.49	c #Conflicts:     243000 | #Constraints:     674144
2373.34/2389.49	c #Conflicts:     244000 | #Constraints:     675144
2373.34/2389.49	c #Conflicts:     245000 | #Constraints:     676144
2373.34/2389.49	c #Conflicts:     246000 | #Constraints:     677144
2373.34/2389.49	c INPROCESSING
2373.34/2389.49	c GARBAGE COLLECT
2373.34/2389.49	c rational objective 178.378
2424.46/2440.73	c #Conflicts:     247000 | #Constraints:     668336
2424.46/2440.73	c #Conflicts:     248000 | #Constraints:     669336
2424.46/2440.73	c #Conflicts:     249000 | #Constraints:     670336
2424.46/2440.73	c #Conflicts:     250000 | #Constraints:     671336
2424.46/2440.73	c bounds 324 >= 73 @ 2401.32
2963.50/2981.73	c #Conflicts:     251000 | #Constraints:     672393
2963.50/2981.73	c #Conflicts:     252000 | #Constraints:     673393
2963.50/2981.73	c #Conflicts:     253000 | #Constraints:     674393
2963.50/2981.73	c #Conflicts:     254000 | #Constraints:     675393
2963.50/2981.73	c #Conflicts:     255000 | #Constraints:     676393
2963.50/2981.73	c #Conflicts:     256000 | #Constraints:     677393
2963.50/2981.73	c INPROCESSING
2963.50/2981.73	c GARBAGE COLLECT
2963.50/2981.73	c #Conflicts:     257000 | #Constraints:     668369
2963.50/2981.73	c #Conflicts:     258000 | #Constraints:     669369
2963.50/2981.73	c #Conflicts:     259000 | #Constraints:     670369
2963.50/2981.73	c #Conflicts:     260000 | #Constraints:     671369
2963.50/2981.73	c #Conflicts:     261000 | #Constraints:     672369
2963.50/2981.73	c #Conflicts:     262000 | #Constraints:     673369
2963.50/2981.73	c #Conflicts:     263000 | #Constraints:     674369
2963.50/2981.73	c #Conflicts:     264000 | #Constraints:     675369
2963.50/2981.73	c #Conflicts:     265000 | #Constraints:     676369
2963.50/2981.73	c #Conflicts:     266000 | #Constraints:     677369
2963.50/2981.73	c INPROCESSING
2963.50/2981.73	c GARBAGE COLLECT
2963.50/2981.73	c rational objective 178.378
3051.80/3070.33	c #Conflicts:     267000 | #Constraints:     668156
3051.80/3070.33	c #Conflicts:     268000 | #Constraints:     669156
3051.80/3070.33	c #Conflicts:     269000 | #Constraints:     670156
3051.80/3070.33	c #Conflicts:     270000 | #Constraints:     671156
3051.80/3070.33	c #Conflicts:     271000 | #Constraints:     672156
3051.80/3070.33	c #Conflicts:     272000 | #Constraints:     673156
3051.80/3070.33	c #Conflicts:     273000 | #Constraints:     674156
3051.80/3070.33	c #Conflicts:     274000 | #Constraints:     675156
3051.80/3070.33	c bounds 324 >= 74 @ 3024.46
3222.21/3241.38	c #Conflicts:     275000 | #Constraints:     676222
3222.21/3241.38	c #Conflicts:     276000 | #Constraints:     677222
3222.21/3241.38	c #Conflicts:     277000 | #Constraints:     678222
3222.21/3241.38	c INPROCESSING
3222.21/3241.38	c GARBAGE COLLECT
3222.21/3241.38	c rational objective 178.378
3497.83/3517.86	c #Conflicts:     278000 | #Constraints:     668798
3497.83/3517.86	c #Conflicts:     279000 | #Constraints:     669799
3497.83/3517.86	c #Conflicts:     280000 | #Constraints:     670799
3497.83/3517.86	c #Conflicts:     281000 | #Constraints:     671799
3497.83/3517.86	c #Conflicts:     282000 | #Constraints:     672799
3497.83/3517.86	c #Conflicts:     283000 | #Constraints:     673799
3497.83/3517.86	c #Conflicts:     284000 | #Constraints:     674799
3497.83/3517.86	c #Conflicts:     285000 | #Constraints:     675799
3497.83/3517.86	c #Conflicts:     286000 | #Constraints:     676799
3497.83/3517.86	c #Conflicts:     287000 | #Constraints:     677799
3497.83/3517.86	c #Conflicts:     288000 | #Constraints:     678799
3497.83/3517.86	c INPROCESSING
3497.83/3517.86	c GARBAGE COLLECT
3497.83/3517.86	c rational objective 178.378

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (62935 MiB free)
  memory of node 1: 64507 MiB (63847 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100064 s]*
/proc/loadavg: 2.63 3.76 3.97 5/269 54746
/proc/meminfo: memFree=129413404/131250000 swapFree=33010416/33010684
[pid=54738] ppid=54727 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/54738/stat : 54738 (run-opt-ls-log.) S 54727 54738 54673 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52540303 4292608 736 18446744073709551615 94004507537408 94004508431941 140729262737664 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94004508670992 94004508718736 94004541140992 140729262741787 140729262741985 140729262741985 140729262747587 0
/proc/54738/statm: 1048 736 672 219 0 110 0
[pid=54740] ppid=54738 vsize=162744 memory=145680 CPUtime=0.07 cores=0,2
/proc/54740/stat : 54740 (pbsuma) R 54738 54738 54673 0 -1 4194304 3726 0 0 0 5 2 0 0 20 0 1 0 52540303 166649856 36420 18446744073709551615 4210688 4653049 140727190004320 0 0 0 0 0 0 0 0 0 17 2 0 0 0 0 0 4700520 4703148 36532224 140727190005987 140727190006322 140727190006322 140727190011887 0
/proc/54740/statm: 40686 36420 960 108 0 38094 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 166936 KiB
Current children cumulated memory: 148624 KiB

[startup+0.205595 s]*
/proc/loadavg: 2.63 3.76 3.97 5/269 54746
/proc/meminfo: memFree=129335528/131250000 swapFree=33010416/33010684
[pid=54738] ppid=54727 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/54738/stat : 54738 (run-opt-ls-log.) S 54727 54738 54673 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52540303 4292608 736 18446744073709551615 94004507537408 94004508431941 140729262737664 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94004508670992 94004508718736 94004541140992 140729262741787 140729262741985 140729262741985 140729262747587 0
/proc/54738/statm: 1048 736 672 219 0 110 0
[pid=54740] ppid=54738 vsize=180128 memory=165296 CPUtime=0.18 cores=0,2
/proc/54740/stat : 54740 (pbsuma) R 54738 54738 54673 0 -1 4194304 8823 0 0 0 14 4 0 0 20 0 1 0 52540303 184451072 41324 18446744073709551615 4210688 4653049 140727190004320 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 36532224 140727190005987 140727190006322 140727190006322 140727190011887 0
/proc/54740/statm: 45032 41324 960 108 0 42440 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 184320 KiB
Current children cumulated memory: 168240 KiB

[startup+0.305542 s]*
/proc/loadavg: 2.63 3.76 3.97 5/269 54746
/proc/meminfo: memFree=129211736/131250000 swapFree=33010416/33010684
[pid=54738] ppid=54727 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/54738/stat : 54738 (run-opt-ls-log.) S 54727 54738 54673 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52540303 4292608 736 18446744073709551615 94004507537408 94004508431941 140729262737664 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94004508670992 94004508718736 94004541140992 140729262741787 140729262741985 140729262741985 140729262747587 0
/proc/54738/statm: 1048 736 672 219 0 110 0
[pid=54740] ppid=54738 vsize=193992 memory=182580 CPUtime=0.27 cores=0,2
/proc/54740/stat : 54740 (pbsuma) R 54738 54738 54673 0 -1 4194304 12626 0 0 0 23 4 0 0 20 0 1 0 52540303 198647808 45645 18446744073709551615 4210688 4653049 140727190004320 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 36532224 140727190005987 140727190006322 140727190006322 140727190011887 0
/proc/54740/statm: 48498 45645 960 108 0 45906 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 198184 KiB
Current children cumulated memory: 185524 KiB

[startup+0.700198 s]
/proc/loadavg: 2.63 3.76 3.97 5/269 54746
/proc/meminfo: memFree=128976716/131250000 swapFree=33010416/33010684
[pid=54738] ppid=54727 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/54738/stat : 54738 (run-opt-ls-log.) S 54727 54738 54673 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 52540303 4292608 736 18446744073709551615 94004507537408 94004508431941 140729262737664 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94004508670992 94004508718736 94004541140992 140729262741787 140729262741985 140729262741985 140729262747587 0
/proc/54738/statm: 1048 736 672 219 0 110 0
[pid=54740] ppid=54738 vsize=309824 memory=261884 CPUtime=0.67 cores=0,2
/proc/54740/stat : 54740 (pbsuma) R 54738 54738 54673 0 -1 4194304 23298 0 0 0 60 7 0 0 20 0 1 0 52540303 317259776 65471 18446744073709551615 4210688 4653049 140727190004320 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 36532224 140727190005987 140727190006322 140727190006322 140727190011887 0
/proc/54740/statm: 77456 65471 992 108 0 74864 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 314016 KiB
Current children cumulated memory: 264828 KiB

[startup+1.5002 s]
/proc/loadavg: 2.63 3.76 3.97 4/269 54749
/proc/meminfo: memFree=129371856/131250000 swapFree=33010416/33010684
[pid=54738] ppid=54727 vsize=4192 memory=2944 CPUtime=0.96 cores=0,2
/proc/54738/stat : 54738 (run-opt-ls-log.) S 54727 54738 54673 0 -1 4194304 240 30473 0 0 0 0 86 10 20 0 1 0 52540303 4292608 736 18446744073709551615 94004507537408 94004508431941 140729262737664 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94004508670992 94004508718736 94004541140992 140729262741787 140729262741985 140729262741985 140729262747587 0
/proc/54738/statm: 1048 736 672 219 0 110 0
[pid=54749] ppid=54738 vsize=103896 memory=58056 CPUtime=0.48 cores=0,2
/proc/54749/stat : 54749 (roundingsat) R 54738 54738 54673 0 -1 4194304 12184 0 0 0 36 12 0 0 20 0 1 0 52540402 106389504 14514 18446744073709551615 4227072 8923433 140731593432816 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 20598784 140731593439478 140731593439784 140731593439784 140731593445354 0
/proc/54749/statm: 25974 14514 2048 1147 0 13401 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 108088 KiB
Current children cumulated memory: 61000 KiB

[startup+3.10536 s]
/proc/loadavg: 2.74 3.76 3.97 5/269 54750
/proc/meminfo: memFree=128772252/131250000 swapFree=33010416/33010684
[pid=54738] ppid=54727 vsize=4192 memory=2944 CPUtime=0.96 cores=0,2
/proc/54738/stat : 54738 (run-opt-ls-log.) S 54727 54738 54673 0 -1 4194304 240 30473 0 0 0 0 86 10 20 0 1 0 52540303 4292608 736 18446744073709551615 94004507537408 94004508431941 140729262737664 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94004508670992 94004508718736 94004541140992 140729262741787 140729262741985 140729262741985 140729262747587 0
/proc/54738/statm: 1048 736 672 219 0 110 0
[pid=54749] ppid=54738 vsize=264372 memory=204072 CPUtime=2.08 cores=0,2
/proc/54749/stat : 54749 (roundingsat) R 54738 54738 54673 0 -1 4194304 45542 0 0 0 160 48 0 0 20 0 1 0 52540402 270716928 51018 18446744073709551615 4227072 8923433 140731593432816 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20598784 140731593439478 140731593439784 140731593439784 140731593445354 0
/proc/54749/statm: 66093 51018 2048 1147 0 53520 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 268564 KiB
Current children cumulated memory: 207016 KiB

[startup+6.3002 s]
/proc/loadavg: 2.74 3.76 3.97 5/270 54751
/proc/meminfo: memFree=126177924/131250000 swapFree=33010416/33010684
[pid=54738] ppid=54727 vsize=4192 memory=2944 CPUtime=0.96 cores=0,2
/proc/54738/stat : 54738 (run-opt-ls-log.) S 54727 54738 54673 0 -1 4194304 240 30473 0 0 0 0 86 10 20 0 1 0 52540303 4292608 736 18446744073709551615 94004507537408 94004508431941 140729262737664 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94004508670992 94004508718736 94004541140992 140729262741787 140729262741985 140729262741985 140729262747587 0
/proc/54738/statm: 1048 736 672 219 0 110 0
[pid=54749] ppid=54738 vsize=1067536 memory=806924 CPUtime=5.26 cores=0,2
/proc/54749/stat : 54749 (roundingsat) R 54738 54738 54673 0 -1 4194304 90730 0 0 0 445 81 0 0 20 0 1 0 52540402 1093156864 201731 18446744073709551615 4227072 8923433 140731593432816 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20598784 140731593439478 140731593439784 140731593439784 140731593445354 0
/proc/54749/statm: 266884 201731 2336 1147 0 254311 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 1071728 KiB
Current children cumulated memory: 809868 KiB

[startup+12.7002 s]
/proc/loadavg: 2.84 3.77 3.98 5/270 54751
/proc/meminfo: memFree=125976508/131250000 swapFree=33010416/33010684
[pid=54738] ppid=54727 vsize=4192 memory=2944 CPUtime=0.96 cores=0,2
/proc/54738/stat : 54738 (run-opt-ls-log.) S 54727 54738 54673 0 -1 4194304 240 30473 0 0 0 0 86 10 20 0 1 0 52540303 4292608 736 18446744073709551615 94004507537408 94004508431941 140729262737664 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94004508670992 94004508718736 94004541140992 140729262741787 140729262741985 140729262741985 140729262747587 0
/proc/54738/statm: 1048 736 672 219 0 110 0
[pid=54749] ppid=54738 vsize=1261876 memory=944668 CPUtime=11.64 cores=0,2
/proc/54749/stat : 54749 (roundingsat) R 54738 54738 54673 0 -1 4194304 101085 0 0 0 1060 104 0 0 20 0 1 0 52540402 1292161024 236167 18446744073709551615 4227072 8923433 140731593432816 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20598784 140731593439478 140731593439784 140731593439784 140731593445354 0
/proc/54749/statm: 315469 236167 2432 1147 0 302896 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 1266068 KiB
Current children cumulated memory: 947612 KiB

[startup+25.5002 s]
/proc/loadavg: 3.24 3.81 3.99 5/270 54751
/proc/meminfo: memFree=124672144/131250000 swapFree=33010416/33010684
[pid=54738] ppid=54727 vsize=4192 memory=2944 CPUtime=0.96 cores=0,2
/proc/54738/stat : 54738 (run-opt-ls-log.) S 54727 54738 54673 0 -1 4194304 240 30473 0 0 0 0 86 10 20 0 1 0 52540303 4292608 736 18446744073709551615 94004507537408 94004508431941 140729262737664 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94004508670992 94004508718736 94004541140992 140729262741787 140729262741985 140729262741985 140729262747587 0
/proc/54738/statm: 1048 736 672 219 0 110 0
[pid=54749] ppid=54738 vsize=1356140 memory=1037900 CPUtime=24.4 cores=0,2
/proc/54749/stat : 54749 (roundingsat) R 54738 54738 54673 0 -1 4194304 111647 0 0 0 2297 143 0 0 20 0 1 0 52540402 1388687360 259475 18446744073709551615 4227072 8923433 140731593432816 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20598784 140731593439478 140731593439784 140731593439784 140731593445354 0
/proc/54749/statm: 339035 259475 2432 1147 0 326462 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 1360332 KiB
Current children cumulated memory: 1040844 KiB

[startup+51.1054 s]
/proc/loadavg: 3.50 3.83 3.99 5/271 54755
/proc/meminfo: memFree=123539028/131250000 swapFree=33010416/33010684
[pid=54738] ppid=54727 vsize=4192 memory=2944 CPUtime=0.96 cores=0,2
/proc/54738/stat : 54738 (run-opt-ls-log.) S 54727 54738 54673 0 -1 4194304 240 30473 0 0 0 0 86 10 20 0 1 0 52540303 4292608 736 18446744073709551615 94004507537408 94004508431941 140729262737664 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94004508670992 94004508718736 94004541140992 140729262741787 140729262741985 140729262741985 140729262747587 0
/proc/54738/statm: 1048 736 672 219 0 110 0
[pid=54749] ppid=54738 vsize=1382680 memory=1082592 CPUtime=49.93 cores=0,2
/proc/54749/stat : 54749 (roundingsat) R 54738 54738 54673 0 -1 4194304 114621 0 0 0 4828 165 0 0 20 0 1 0 52540402 1415864320 270648 18446744073709551615 4227072 8923433 140731593432816 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20598784 140731593439478 140731593439784 140731593439784 140731593445354 0
/proc/54749/statm: 345670 270648 2432 1147 0 333097 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 1386872 KiB
Current children cumulated memory: 1085536 KiB

[startup+102.3 s]
/proc/loadavg: 3.91 3.89 4.01 5/273 54758
/proc/meminfo: memFree=122149132/131250000 swapFree=33010416/33010684
[pid=54738] ppid=54727 vsize=4192 memory=2944 CPUtime=0.96 cores=0,2
/proc/54738/stat : 54738 (run-opt-ls-log.) S 54727 54738 54673 0 -1 4194304 240 30473 0 0 0 0 86 10 20 0 1 0 52540303 4292608 736 18446744073709551615 94004507537408 94004508431941 140729262737664 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94004508670992 94004508718736 94004541140992 140729262741787 140729262741985 140729262741985 140729262747587 0
/proc/54738/statm: 1048 736 672 219 0 110 0
[pid=54749] ppid=54738 vsize=1538776 memory=1206060 CPUtime=100.94 cores=0,2
/proc/54749/stat : 54749 (roundingsat) R 54738 54738 54673 0 -1 4194304 127207 0 0 0 9882 212 0 0 20 0 1 0 52540402 1575706624 301515 18446744073709551615 4227072 8923433 140731593432816 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20598784 140731593439478 140731593439784 140731593439784 140731593445354 0
/proc/54749/statm: 384694 301515 2432 1147 0 372121 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 1542968 KiB
Current children cumulated memory: 1209004 KiB

[startup+162.3 s]
/proc/loadavg: 4.03 3.92 4.01 5/273 54760
/proc/meminfo: memFree=121044984/131250000 swapFree=33010416/33010684
[pid=54738] ppid=54727 vsize=4192 memory=2944 CPUtime=0.96 cores=0,2
/proc/54738/stat : 54738 (run-opt-ls-log.) S 54727 54738 54673 0 -1 4194304 240 30473 0 0 0 0 86 10 20 0 1 0 52540303 4292608 736 18446744073709551615 94004507537408 94004508431941 140729262737664 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94004508670992 94004508718736 94004541140992 140729262741787 140729262741985 140729262741985 140729262747587 0
/proc/54738/statm: 1048 736 672 219 0 110 0
[pid=54749] ppid=54738 vsize=1549044 memory=1225140 CPUtime=160.05 cores=0,2
/proc/54749/stat : 54749 (roundingsat) R 54738 54738 54673 0 -1 4194304 127930 0 0 0 15749 256 0 0 20 0 1 0 52540402 1586221056 306285 18446744073709551615 4227072 8923433 140731593432816 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20598784 140731593439478 140731593439784 140731593439784 140731593445354 0
/proc/54749/statm: 387261 306285 2432 1147 0 374688 0
Current children cumulated CPU time: 161.01 s
Current children cumulated vsize: 1553236 KiB
Current children cumulated memory: 1228084 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 3.96 4.01 5/273 54763
/proc/meminfo: memFree=118264236/131250000 swapFree=33010416/33010684
[pid=54738] ppid=54727 vsize=4192 memory=2944 CPUtime=0.96 cores=0,2
/proc/54738/stat : 54738 (run-opt-ls-log.) S 54727 54738 54673 0 -1 4194304 240 30473 0 0 0 0 86 10 20 0 1 0 52540303 4292608 736 18446744073709551615 94004507537408 94004508431941 140729262737664 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94004508670992 94004508718736 94004541140992 140729262741787 140729262741985 140729262741985 140729262747587 0
/proc/54738/statm: 1048 736 672 219 0 110 0
[pid=54749] ppid=54738 vsize=1759804 memory=1387704 CPUtime=219.82 cores=0,2
/proc/54749/stat : 54749 (roundingsat) R 54738 54738 54673 0 -1 4194304 136649 0 0 0 21673 309 0 0 20 0 1 0 52540402 1802039296 346926 18446744073709551615 4227072 8923433 140731593432816 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20598784 140731593439478 140731593439784 140731593439784 140731593445354 0
/proc/54749/statm: 439951 346926 2432 1147 0 427378 0

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

/proc/meminfo: memFree=39691112/131250000 swapFree=33010416/33010684
[pid=54738] ppid=54727 vsize=4192 memory=2944 CPUtime=0.96 cores=0,2
/proc/54738/stat : 54738 (run-opt-ls-log.) S 54727 54738 54673 0 -1 4194304 240 30473 0 0 0 0 86 10 20 0 1 0 52540303 4292608 736 18446744073709551615 94004507537408 94004508431941 140729262737664 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94004508670992 94004508718736 94004541140992 140729262741787 140729262741985 140729262741985 140729262747587 0
/proc/54738/statm: 1048 736 672 219 0 110 0
[pid=54749] ppid=54738 vsize=4344000 memory=3524996 CPUtime=3262.12 cores=0,2
/proc/54749/stat : 54749 (roundingsat) R 54738 54738 54673 0 -1 4194304 535444 0 0 0 323453 2759 0 0 20 0 1 0 52540402 4448256000 881249 18446744073709551615 4227072 8923433 140731593432816 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20598784 140731593439478 140731593439784 140731593439784 140731593445354 0
/proc/54749/statm: 1086000 881249 2528 1147 0 1073427 0
Current children cumulated CPU time: 3263.08 s
Current children cumulated vsize: 4348192 KiB
Current children cumulated memory: 3527940 KiB

[startup+3342.3 s]
/proc/loadavg: 4.21 4.15 4.10 5/273 54940
/proc/meminfo: memFree=38013584/131250000 swapFree=33010416/33010684
[pid=54738] ppid=54727 vsize=4192 memory=2944 CPUtime=0.96 cores=0,2
/proc/54738/stat : 54738 (run-opt-ls-log.) S 54727 54738 54673 0 -1 4194304 240 30473 0 0 0 0 86 10 20 0 1 0 52540303 4292608 736 18446744073709551615 94004507537408 94004508431941 140729262737664 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94004508670992 94004508718736 94004541140992 140729262741787 140729262741985 140729262741985 140729262747587 0
/proc/54738/statm: 1048 736 672 219 0 110 0
[pid=54749] ppid=54738 vsize=4344000 memory=3524996 CPUtime=3321.93 cores=0,2
/proc/54749/stat : 54749 (roundingsat) R 54738 54738 54673 0 -1 4194304 536211 0 0 0 329355 2838 0 0 20 0 1 0 52540402 4448256000 881249 18446744073709551615 4227072 8923433 140731593432816 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20598784 140731593439478 140731593439784 140731593439784 140731593445354 0
/proc/54749/statm: 1086000 881249 2528 1147 0 1073427 0
Current children cumulated CPU time: 3322.89 s
Current children cumulated vsize: 4348192 KiB
Current children cumulated memory: 3527940 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/274 54947
/proc/meminfo: memFree=36451672/131250000 swapFree=33010416/33010684
[pid=54738] ppid=54727 vsize=4192 memory=2944 CPUtime=0.96 cores=0,2
/proc/54738/stat : 54738 (run-opt-ls-log.) S 54727 54738 54673 0 -1 4194304 240 30473 0 0 0 0 86 10 20 0 1 0 52540303 4292608 736 18446744073709551615 94004507537408 94004508431941 140729262737664 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94004508670992 94004508718736 94004541140992 140729262741787 140729262741985 140729262741985 140729262747587 0
/proc/54738/statm: 1048 736 672 219 0 110 0
[pid=54749] ppid=54738 vsize=4346696 memory=3527728 CPUtime=3381.73 cores=0,2
/proc/54749/stat : 54749 (roundingsat) R 54738 54738 54673 0 -1 4194304 537369 0 0 0 335288 2885 0 0 20 0 1 0 52540402 4451016704 881932 18446744073709551615 4227072 8923433 140731593432816 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20598784 140731593439478 140731593439784 140731593439784 140731593445354 0
/proc/54749/statm: 1086674 881932 2528 1147 0 1074101 0
Current children cumulated CPU time: 3382.69 s
Current children cumulated vsize: 4350888 KiB
Current children cumulated memory: 3530672 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/275 54951
/proc/meminfo: memFree=35281848/131250000 swapFree=33010416/33010684
[pid=54738] ppid=54727 vsize=4192 memory=2944 CPUtime=0.96 cores=0,2
/proc/54738/stat : 54738 (run-opt-ls-log.) S 54727 54738 54673 0 -1 4194304 240 30473 0 0 0 0 86 10 20 0 1 0 52540303 4292608 736 18446744073709551615 94004507537408 94004508431941 140729262737664 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94004508670992 94004508718736 94004541140992 140729262741787 140729262741985 140729262741985 140729262747587 0
/proc/54738/statm: 1048 736 672 219 0 110 0
[pid=54749] ppid=54738 vsize=4346696 memory=3527728 CPUtime=3441.54 cores=0,2
/proc/54749/stat : 54749 (roundingsat) R 54738 54738 54673 0 -1 4194304 537377 0 0 0 341265 2889 0 0 20 0 1 0 52540402 4451016704 881932 18446744073709551615 4227072 8923433 140731593432816 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20598784 140731593439478 140731593439784 140731593439784 140731593445354 0
/proc/54749/statm: 1086674 881932 2528 1147 0 1074101 0
Current children cumulated CPU time: 3442.5 s
Current children cumulated vsize: 4350888 KiB
Current children cumulated memory: 3530672 KiB

[startup+3522.3 s]
/proc/loadavg: 4.29 4.18 4.11 5/277 54957
/proc/meminfo: memFree=33447920/131250000 swapFree=33010416/33010684
[pid=54738] ppid=54727 vsize=4192 memory=2944 CPUtime=0.96 cores=0,2
/proc/54738/stat : 54738 (run-opt-ls-log.) S 54727 54738 54673 0 -1 4194304 240 30473 0 0 0 0 86 10 20 0 1 0 52540303 4292608 736 18446744073709551615 94004507537408 94004508431941 140729262737664 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94004508670992 94004508718736 94004541140992 140729262741787 140729262741985 140729262741985 140729262747587 0
/proc/54738/statm: 1048 736 672 219 0 110 0
[pid=54749] ppid=54738 vsize=4346696 memory=3527728 CPUtime=3501.35 cores=0,2
/proc/54749/stat : 54749 (roundingsat) R 54738 54738 54673 0 -1 4194304 537544 0 0 0 347237 2898 0 0 20 0 1 0 52540402 4451016704 881932 18446744073709551615 4227072 8923433 140731593432816 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20598784 140731593439478 140731593439784 140731593439784 140731593445354 0
/proc/54749/statm: 1086674 881932 2528 1147 0 1074101 0
Current children cumulated CPU time: 3502.31 s
Current children cumulated vsize: 4350888 KiB
Current children cumulated memory: 3530672 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.16 4.10 5/278 54960
/proc/meminfo: memFree=30867488/131250000 swapFree=33010416/33010684
[pid=54738] ppid=54727 vsize=4192 memory=2944 CPUtime=0.96 cores=0,2
/proc/54738/stat : 54738 (run-opt-ls-log.) S 54727 54738 54673 0 -1 4194304 240 30473 0 0 0 0 86 10 20 0 1 0 52540303 4292608 736 18446744073709551615 94004507537408 94004508431941 140729262737664 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94004508670992 94004508718736 94004541140992 140729262741787 140729262741985 140729262741985 140729262747587 0
/proc/54738/statm: 1048 736 672 219 0 110 0
[pid=54749] ppid=54738 vsize=4349652 memory=3530004 CPUtime=3561.15 cores=0,2
/proc/54749/stat : 54749 (roundingsat) R 54738 54738 54673 0 -1 4194304 539867 0 0 0 353120 2995 0 0 20 0 1 0 52540402 4454043648 882501 18446744073709551615 4227072 8923433 140731593432816 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20598784 140731593439478 140731593439784 140731593439784 140731593445354 0
/proc/54749/statm: 1087413 882501 2528 1147 0 1074840 0
Current children cumulated CPU time: 3562.11 s
Current children cumulated vsize: 4353844 KiB
Current children cumulated memory: 3532948 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3620.4 s]
/proc/loadavg: 4.28 4.19 4.11 4/276 54962
/proc/meminfo: memFree=29636480/131250000 swapFree=33010416/33010684
[pid=54738] ppid=54727 vsize=4192 memory=2944 CPUtime=0.96 cores=0,2
/proc/54738/stat : 54738 (run-opt-ls-log.) S 54727 54738 54673 0 -1 4194304 240 30473 0 0 0 0 86 10 20 0 1 0 52540303 4292608 736 18446744073709551615 94004507537408 94004508431941 140729262737664 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94004508670992 94004508718736 94004541140992 140729262741787 140729262741985 140729262741985 140729262747587 0
/proc/54738/statm: 1048 736 672 219 0 110 0
[pid=54749] ppid=54738 vsize=4349652 memory=3530104 CPUtime=3599.1 cores=0,2
/proc/54749/stat : 54749 (roundingsat) R 54738 54738 54673 0 -1 4194304 540633 0 0 0 356867 3043 0 0 20 0 1 0 52540402 4454043648 882526 18446744073709551615 4227072 8923433 140731593432816 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20598784 140731593439478 140731593439784 140731593439784 140731593445354 0
/proc/54749/statm: 1087413 882526 2528 1147 0 1074840 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 4353844 KiB
Current children cumulated memory: 3533048 KiB

Sending SIGTERM to process tree (bottom up)

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

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

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

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

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

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

[startup+3620.8 s]
/proc/loadavg: 4.28 4.19 4.11 4/275 54962
/proc/meminfo: memFree=29632504/131250000 swapFree=33010416/33010684
[pid=54749] ppid=54727 vsize=4349652 memory=3530104 CPUtime=3599.5 cores=0,2
/proc/54749/stat : 54749 (roundingsat) R 54727 54738 54673 0 -1 4194304 540633 0 0 0 356907 3043 0 0 20 0 1 0 52540402 4454043648 882526 18446744073709551615 4227072 8923433 140731593432816 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20598784 140731593439478 140731593439784 140731593439784 140731593445354 0
/proc/54749/statm: 1087413 882526 2528 1147 0 1074840 0
Current cumulated CPU time of completed processes: 0.971833 s
Current children cumulated CPU time: 3599.5 s
Current children cumulated vsize: 4349652 KiB
Current children cumulated memory: 3530104 KiB

[startup+3621.6 s]
/proc/loadavg: 4.28 4.19 4.11 5/275 54962
/proc/meminfo: memFree=29647432/131250000 swapFree=33010416/33010684
[pid=54749] ppid=54727 vsize=4349652 memory=3530104 CPUtime=3600.3 cores=0,2
/proc/54749/stat : 54749 (roundingsat) R 54727 54738 54673 0 -1 4194304 540633 0 0 0 356987 3043 0 0 20 0 1 0 52540402 4454043648 882526 18446744073709551615 4227072 8923433 140731593432816 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20598784 140731593439478 140731593439784 140731593439784 140731593445354 0
/proc/54749/statm: 1087413 882526 2528 1147 0 1074840 0
Current cumulated CPU time of completed processes: 0.971833 s
Current children cumulated CPU time: 3600.3 s
Current children cumulated vsize: 4349652 KiB
Current children cumulated memory: 3530104 KiB

[startup+3622 s]*
/proc/loadavg: 4.28 4.19 4.11 4/275 54962
/proc/meminfo: memFree=29658340/131250000 swapFree=33010416/33010684
[pid=54749] ppid=54727 vsize=4349652 memory=3530104 CPUtime=3600.71 cores=0,2
/proc/54749/stat : 54749 (roundingsat) R 54727 54738 54673 0 -1 4194304 540633 0 0 0 357027 3044 0 0 20 0 1 0 52540402 4454043648 882526 18446744073709551615 4227072 8923433 140731593432816 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20598784 140731593439478 140731593439784 140731593439784 140731593445354 0
/proc/54749/statm: 1087413 882526 2528 1147 0 1074840 0
Current cumulated CPU time of completed processes: 0.971833 s
Current children cumulated CPU time: 3600.71 s
Current children cumulated vsize: 4349652 KiB
Current children cumulated memory: 3530104 KiB

[startup+3622.4 s]
/proc/loadavg: 4.28 4.19 4.11 4/275 54962
/proc/meminfo: memFree=29658340/131250000 swapFree=33010416/33010684
[pid=54749] ppid=54727 vsize=4349652 memory=3530104 CPUtime=3601.1 cores=0,2
/proc/54749/stat : 54749 (roundingsat) R 54727 54738 54673 0 -1 4194304 540633 0 0 0 357066 3044 0 0 20 0 1 0 52540402 4454043648 882526 18446744073709551615 4227072 8923433 140731593432816 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20598784 140731593439478 140731593439784 140731593439784 140731593445354 0
/proc/54749/statm: 1087413 882526 2528 1147 0 1074840 0
Current cumulated CPU time of completed processes: 0.971833 s
Current children cumulated CPU time: 3601.1 s
Current children cumulated vsize: 4349652 KiB
Current children cumulated memory: 3530104 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3624.31
CPU time (s): 3602.31
CPU user time (s): 3571.53
CPU system time (s): 30.7806
CPU usage (%): 99.3928
Max. virtual memory (cumulated for all children) (KiB): 4399448
Max. memory (cumulated for all children) (KiB): 3574376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3571.53
system time used= 30.7806
maximum resident set size= 3571488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 571346
page faults= 0
swaps= 0
block input operations= 0
block output operations= 52417152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34831
involuntary context switches= 24178


# summary of solver processes directly reported to runsolver:
#   pid: 54738,54749
#   total CPU time (s): 3602.31
#   total CPU user time (s): 3571.53
#   total CPU system time (s): 30.7806

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.82886 second user time and 16.2089 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2025-07-01 13:17:05
IDJOB=4489785
IDBENCH=147563
IDSOLVER=3356
FILE ID=nodeC018/4489785-1751368624
RUNJOBID= nodeC018-1751368624-54683
SLURM_JOB_ID= 9598184
Free space on /tmp= 432860 MiB

SOLVER NAME= roundingsat-ls+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489785-1751368624/watcher-4489785-1751368624 -o /tmp/evaluation-result-4489785-1751368624/solver-4489785-1751368624 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751368624-54683 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4489785-1751368624.opb PROOFDIR/proof-4489785-1751368624

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

MD5SUM BENCH= 890f6157e6331f3256b55d88c2fb39bb
RANDOM SEED=1688743210

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.555
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.66
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		: 3603.871
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.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.800
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.66
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		: 3599.977
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.66
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		: 3602.231
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.66
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.847
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.66
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		: 3599.533
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.66
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		: 3598.924
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.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129838820 kB
MemAvailable:   129610380 kB
Buffers:            2128 kB
Cached:           573308 kB
SwapCached:           32 kB
Active:           544208 kB
Inactive:         238788 kB
Active(anon):     224068 kB
Inactive(anon):     1564 kB
Active(file):     320140 kB
Inactive(file):   237224 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             89124 kB
Writeback:             0 kB
AnonPages:        210716 kB
Mapped:           103852 kB
Shmem:             18044 kB
KReclaimable:     106472 kB
Slab:             194380 kB
SReclaimable:     106472 kB
SUnreclaim:        87908 kB
KernelStack:        4192 kB
PageTables:         3340 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     508052 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150456 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    141312 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:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432772 MiB
End job on nodeC018 at 2025-07-01 14:17:29