Trace number 4504899

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+pbsuma-opt-log 63f22ad? (exit code) 3388.01 3504.14

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat35_4_11_2_mh_ic.opb
MD5SUM5a166d04cd3e9d201c89375e6d39e5e9
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 benchmark2333311
Best CPU time to get the best result obtained on this benchmark72002.3
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables126385
Total number of constraints286973
Number of constraints which are clauses201180
Number of constraints which are cardinality constraints (but not clauses)43
Number of constraints which are nor clauses,nor cardinality constraints85750
Minimum length of a constraint2
Maximum length of a constraint1820
Number of terms in the objective function 46445
Biggest coefficient in the objective function 141420761
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 32708356419
Number of bits of the sum of numbers in the objective function 35
Biggest number in a constraint 141420761
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 32708356419
Number of bits of the biggest sum of numbers35
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-4504899-1751446960.opb'
0.29/0.35	c 	read 12.66MB  (342.05ms)
0.29/0.35	c	 [cnf: #variables 126385 #clauses 286379 #duplicates 595 #arr 982485]
0.29/0.36	c output proof to 'PROOFDIR/proof-4504899-1751446960'
0.29/0.36	c 
0.29/0.36	c make graph and approximate orbits
0.76/0.88	c	 [group: #orbits ~= 42808] (517.96ms)
0.76/0.88	c 
0.76/0.88	c detect special group actions
0.76/0.88	c 	probe for Johnson action (limit=64)
0.76/0.88	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.86/0.94	c 	probe for row symmetry (limit=64, splits=16.78M)
0.86/0.95	c 	 found row 35x2, generating row predicate
0.86/0.97	c 	 found row 4x2, generating row predicate
0.86/0.98	c 	 found row 4x2, generating row predicate
0.86/1.00	c 	 found row 4x2, generating row predicate
0.86/1.00	c 	 (115.24ms)
0.86/1.00	c 
0.86/1.00	c detect symmetries on remainder
0.86/1.00	c 	[graph: #vertices 916904 #edges 2973250]
0.97/1.01	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
1.26/1.39	c 	 [group: #symmetries 9.03*10^1974 #generators 3018] (387.03ms)
1.26/1.39	c 
1.26/1.39	c optimize generators (opt_passes=64, conjugate_limit=256)
1.36/1.40	c 	ran it=0, +gens=14 
2.26/2.34	c 	con best_support=4, best_gens=2423, +gens=120
2.26/2.34	c 	(955.04ms)
2.26/2.34	c 
2.26/2.34	c finalize break order and special generators
2.26/2.35	c 
2.26/2.35	c add generic predicates (break_depth=20)
2.26/2.35	c 	added predicates for 3152 generators (1.52ms)
2.36/2.45	c 
2.36/2.45	c generation finished
2.36/2.45	c 	[sbp: #constraints 37146 #add_vars 11317]
2.36/2.45	c 
2.36/2.45	c write result to 'HOME/instance-4504899-1751446960.opb.pre'
2.36/2.48	c 	wrote 14.26MB (32.77ms)
2.36/2.48	c ------------------------------------------------------------------
2.36/2.48	c                 955.04ms 38.63% optimize_gens
2.36/2.48	c                 517.96ms 20.95% approx_orbits
2.36/2.48	c                 387.03ms 15.66% detect_generic
2.36/2.48	c                 342.04ms 13.84% parse
2.36/2.48	c                 115.24ms  4.66% detect_special
2.36/2.48	c                 113.43ms  4.59% other
2.36/2.48	c                  32.77ms  1.33% output
2.36/2.48	c                   7.12ms  0.29% finalize_order
2.36/2.48	c                   1.52ms  0.06% break_generic
2.36/2.48	c         ───────────────────────────────────────────────
2.36/2.48	c                2472.16ms   100% total
2.36/2.48	c ------------------------------------------------------------------
2.45/2.57	c RoundingSat 2
2.45/2.57	c branch pb25
2.45/2.57	c commit 63f22ad
4.42/4.57	c #variables 137702 #constraints 327053
4.42/4.57	c objective is ce32 
4.42/4.57	c initial watched  CF 32, 64, 128, Arb: 35 , 0 , 0 , 0
4.42/4.57	c initial counting CF 32, 64, 128, Arb: 81551 , 0 , 0 , 0
4.42/4.57	c bounds - >= -35 @ 1.63583
7.31/7.43	c #Conflicts:       1000 | #Constraints:     328052
7.31/7.43	c bounds 132282803 >= -35 @ 4.35108
7.41/7.55	c bounds 132223482 >= -35 @ 4.46834
7.51/7.67	c bounds 73582310 >= -35 @ 4.58026
7.71/7.83	c bounds 72437771 >= -35 @ 4.73803
7.81/7.91	c bounds 72256556 >= -35 @ 4.81263
9.51/9.62	c bounds 72153848 >= -35 @ 6.4849
11.30/11.45	c bounds 72149559 >= -35 @ 8.26566
11.91/12.02	c bounds 72090070 >= -35 @ 8.8343
14.50/14.61	c bounds 71856355 >= -35 @ 11.3689
14.50/14.69	c bounds 71542006 >= -35 @ 11.4452
14.79/14.94	c bounds 71442971 >= -35 @ 11.688
16.29/16.48	c bounds 71408384 >= -35 @ 13.1844
16.90/17.05	c bounds 71392127 >= -35 @ 13.7447
18.79/18.93	c bounds 71384703 >= -35 @ 15.5824
24.46/24.65	c #Conflicts:       2000 | #Constraints:     329066
24.46/24.65	c INPROCESSING
24.46/24.65	c GARBAGE COLLECT
24.46/24.65	c bounds 70772643 >= -35 @ 21.2444
24.56/24.79	c bounds 70541430 >= -35 @ 21.3839
24.77/24.94	c bounds 69679435 >= -35 @ 21.5261
24.88/25.09	c bounds 69652571 >= -35 @ 21.6723
33.65/33.84	c bounds 49149955 >= -35 @ 30.1766
33.95/34.16	c bounds 49148645 >= -35 @ 30.4991
34.04/34.25	c bounds 36206951 >= -35 @ 30.5873
34.73/34.92	c bounds 34573295 >= -35 @ 31.2362
35.04/35.21	c bounds 33120599 >= -35 @ 31.5225
35.04/35.29	c bounds 33101711 >= -35 @ 31.6001
35.13/35.37	c bounds 33055695 >= -35 @ 31.6778
35.34/35.52	c bounds 32991452 >= -35 @ 31.8236
35.43/35.65	c bounds 32970798 >= -35 @ 31.9504
35.73/35.94	c bounds 32910006 >= -35 @ 32.2252
35.85/36.06	c bounds 28457163 >= -35 @ 32.3431
44.21/44.45	c bounds 28279900 >= -35 @ 40.5018
78.11/78.45	c #Conflicts:       3000 | #Constraints:     328956
78.11/78.45	c #Conflicts:       4000 | #Constraints:     329957
78.11/78.45	c INPROCESSING
78.11/78.45	c GARBAGE COLLECT
78.11/78.45	c bounds 28261101 >= -35 @ 73.6516
78.22/78.55	c bounds 28128301 >= -35 @ 73.7472
78.73/79.07	c bounds 27973339 >= -35 @ 74.2585
87.08/87.47	c bounds 27917623 >= -35 @ 82.4615
93.46/93.83	c bounds 27784042 >= -35 @ 88.6635
95.26/95.63	c bounds 27778417 >= -35 @ 90.4269
95.56/95.93	c bounds 27749020 >= -35 @ 90.7241
96.56/96.95	c #Conflicts:       5000 | #Constraints:     328749
96.56/96.95	c bounds 27730372 >= -35 @ 91.7211
97.77/98.12	c bounds 27639581 >= -35 @ 92.8671
99.85/100.29	c bounds 27583548 >= -35 @ 94.9971
144.91/145.45	c #Conflicts:       6000 | #Constraints:     329753
144.91/145.45	c bounds 25990385 >= -35 @ 139.056
159.17/159.79	c INPROCESSING
159.17/159.79	c GARBAGE COLLECT
159.17/159.79	c bounds 25960896 >= -35 @ 153.285
159.37/159.91	c bounds 25933300 >= -35 @ 153.407
159.77/160.35	c bounds 22502715 >= -35 @ 153.829
160.06/160.64	c bounds 22475701 >= -35 @ 154.117
161.17/161.76	c bounds 22053709 >= -35 @ 155.217
162.47/163.05	c bounds 22042102 >= -35 @ 156.48
164.36/164.97	c bounds 22024141 >= -35 @ 158.352
164.47/165.05	c bounds 22001364 >= -35 @ 158.43
192.27/192.90	c #Conflicts:       7000 | #Constraints:     328711
192.27/192.90	c #Conflicts:       8000 | #Constraints:     329711
192.27/192.90	c bounds 21907212 >= -35 @ 185.648
202.04/202.71	c bounds 20571348 >= -35 @ 195.238
202.64/203.35	c bounds 20556295 >= -35 @ 195.866
202.74/203.47	c bounds 20511268 >= -35 @ 195.978
256.86/257.72	c #Conflicts:       9000 | #Constraints:     330716
256.86/257.72	c INPROCESSING
256.86/257.72	c GARBAGE COLLECT
256.86/257.72	c #Conflicts:      10000 | #Constraints:     329254
256.86/257.72	c #Conflicts:      11000 | #Constraints:     330254
256.86/257.72	c bounds 20355160 >= -35 @ 249.022
256.96/257.82	c bounds 20302646 >= -35 @ 249.12
257.07/258.00	c bounds 20258286 >= -35 @ 249.295
257.28/258.14	c bounds 20250969 >= -35 @ 249.428
257.37/258.22	c bounds 20233155 >= -35 @ 249.513
257.46/258.35	c bounds 20179992 >= -35 @ 249.641
257.77/258.63	c bounds 20108069 >= -35 @ 249.91
258.17/259.08	c bounds 20086352 >= -35 @ 250.353
259.28/260.14	c bounds 20009877 >= -35 @ 251.388
261.85/262.70	c bounds 19644814 >= -35 @ 253.897
262.75/263.60	c bounds 19640569 >= -35 @ 254.776
263.64/264.52	c bounds 19542636 >= -35 @ 255.677
263.75/264.67	c bounds 19525022 >= -35 @ 255.821
264.54/265.45	c bounds 19508861 >= -35 @ 256.583
264.94/265.88	c bounds 18034897 >= -35 @ 256.999
265.26/266.11	c bounds 17994381 >= -35 @ 257.232
265.34/266.24	c bounds 17960596 >= -35 @ 257.356
265.44/266.37	c bounds 17143679 >= -35 @ 257.488
265.64/266.55	c bounds 15150820 >= -35 @ 257.66
266.54/267.45	c bounds 13966850 >= -35 @ 258.543
266.64/267.53	c bounds 13896767 >= -35 @ 258.627
266.74/267.68	c bounds 13763081 >= -35 @ 258.772
267.34/268.21	c bounds 13742327 >= -35 @ 259.288
267.44/268.35	c bounds 13717256 >= -35 @ 259.433
269.63/270.50	c bounds 11295909 >= -35 @ 261.547
269.63/270.59	c bounds 11238939 >= -35 @ 261.632
269.82/270.72	c bounds 11174305 >= -35 @ 261.755
271.92/272.88	c bounds 11165923 >= -35 @ 263.859
272.23/273.18	c bounds 11095840 >= -35 @ 264.148
277.11/278.10	c #Conflicts:      12000 | #Constraints:     331283
277.11/278.10	c INPROCESSING
277.11/278.10	c GARBAGE COLLECT
277.11/278.10	c bounds 11084527 >= -35 @ 268.951
277.61/278.52	c bounds 11079541 >= -35 @ 269.365
279.50/280.43	c bounds 10917831 >= -35 @ 271.238
279.60/280.56	c bounds 10850223 >= -35 @ 271.36
283.20/284.17	c bounds 10751481 >= -35 @ 274.887
283.29/284.26	c bounds 10744209 >= -35 @ 274.976
304.72/305.72	c #Conflicts:      13000 | #Constraints:     329139
304.72/305.72	c bounds 10406119 >= -35 @ 295.975
305.71/306.70	c bounds 10247234 >= -35 @ 296.927
325.16/326.28	c #Conflicts:      14000 | #Constraints:     330141
325.16/326.28	c bounds 10223234 >= -35 @ 315.975
334.63/335.72	c bounds 10214852 >= -35 @ 325.187
399.64/400.93	c #Conflicts:      15000 | #Constraints:     331143
399.64/400.93	c INPROCESSING
399.64/400.93	c GARBAGE COLLECT
399.64/400.93	c bounds 10194668 >= -35 @ 389.247
403.22/404.58	c #Conflicts:      16000 | #Constraints:     329342
403.22/404.58	c bounds 9422729 >= -35 @ 392.796
407.11/408.46	c bounds 9373786 >= -35 @ 396.59
408.11/409.48	c bounds 9248222 >= -35 @ 397.576
408.50/409.83	c bounds 9215981 >= -35 @ 397.921
408.61/409.97	c bounds 9215043 >= -35 @ 398.053
408.72/410.10	c bounds 9210595 >= -35 @ 398.185
455.28/456.76	c #Conflicts:      17000 | #Constraints:     330348
455.28/456.76	c #Conflicts:      18000 | #Constraints:     331349
455.28/456.76	c INPROCESSING
455.28/456.76	c GARBAGE COLLECT
455.28/456.76	c bounds 9187964 >= -35 @ 443.726
455.37/456.84	c bounds 9179711 >= -35 @ 443.8
456.37/457.86	c bounds 9144415 >= -35 @ 444.801
471.64/473.14	c bounds 9108182 >= -35 @ 459.703
471.82/473.31	c bounds 9090449 >= -35 @ 459.87
476.81/478.39	c #Conflicts:      19000 | #Constraints:     329312
476.81/478.39	c bounds 9044932 >= -35 @ 464.826
478.30/479.89	c bounds 8774904 >= -35 @ 466.288
478.51/480.06	c bounds 8512368 >= -35 @ 466.454
478.62/480.16	c bounds 8450330 >= -35 @ 466.544
478.80/480.35	c bounds 8432597 >= -35 @ 466.732
563.66/565.42	c #Conflicts:      20000 | #Constraints:     330319
563.66/565.42	c #Conflicts:      21000 | #Constraints:     331319
563.66/565.42	c INPROCESSING
563.66/565.42	c GARBAGE COLLECT
563.66/565.42	c #Conflicts:      22000 | #Constraints:     329071
563.66/565.42	c bounds 8374354 >= -35 @ 549.991
565.05/566.82	c bounds 8309131 >= -35 @ 551.347
580.01/581.82	c #Conflicts:      23000 | #Constraints:     330073
580.01/581.82	c bounds 8279767 >= -35 @ 566.007
582.21/584.03	c bounds 8274100 >= -35 @ 568.163
585.21/587.10	c bounds 8269666 >= -35 @ 571.142
590.88/592.79	c bounds 8210842 >= -35 @ 576.689
627.08/629.08	c #Conflicts:      24000 | #Constraints:     331078
627.08/629.08	c bounds 8192281 >= -35 @ 612.153
627.66/629.67	c bounds 8180543 >= -35 @ 612.729
628.36/630.34	c bounds 8169617 >= -35 @ 613.378
752.93/834.12	c #Conflicts:      25000 | #Constraints:     332082
752.93/834.12	c INPROCESSING
752.93/834.12	c GARBAGE COLLECT
752.93/834.12	c #Conflicts:      26000 | #Constraints:     329642
752.93/834.12	c #Conflicts:      27000 | #Constraints:     330642
752.93/834.12	c #Conflicts:      28000 | #Constraints:     331642
752.93/834.12	c bounds 6022997 >= -35 @ 735.458
753.01/834.28	c bounds 5988522 >= -35 @ 735.605
753.22/834.42	c bounds 5959084 >= -35 @ 735.745
753.32/834.54	c bounds 5937792 >= -35 @ 735.853
755.21/836.45	c bounds 5528583 >= -35 @ 737.706
774.45/855.77	c #Conflicts:      29000 | #Constraints:     332649
774.45/855.77	c INPROCESSING
774.45/855.77	c GARBAGE COLLECT
774.45/855.77	c rational objective 693928
781.32/862.60	c bounds 5488272 >= -35 @ 763.608
783.12/864.45	c bounds 5479151 >= -35 @ 765.41
787.02/868.31	c bounds 5464165 >= -35 @ 769.172
787.02/868.39	c bounds 5460777 >= -35 @ 769.249
797.97/879.34	c bounds 5445060 >= -35 @ 779.931
800.47/881.80	c bounds 5442521 >= -35 @ 782.341
807.55/888.91	c #Conflicts:      30000 | #Constraints:     329757
807.55/888.91	c bounds 5397584 >= -35 @ 789.278
809.54/890.98	c bounds 5388463 >= -35 @ 791.274
810.54/891.93	c bounds 5387550 >= -35 @ 792.197
832.89/915.63	c #Conflicts:      31000 | #Constraints:     330761
832.89/915.63	c bounds 5373258 >= -35 @ 814.054
884.75/977.34	c #Conflicts:      32000 | #Constraints:     331768
884.75/977.34	c #Conflicts:      33000 | #Constraints:     332769
884.75/977.34	c INPROCESSING
884.75/977.34	c GARBAGE COLLECT
884.75/977.34	c bounds 5371392 >= -35 @ 864.818
884.85/977.46	c bounds 5314808 >= -35 @ 864.931
884.95/977.57	c bounds 5282550 >= -35 @ 865.032
889.83/982.47	c bounds 4933125 >= -35 @ 869.819
890.13/982.70	c bounds 4883936 >= -35 @ 870.049
935.86/1031.00	c #Conflicts:      34000 | #Constraints:     329960
935.86/1031.00	c bounds 4868612 >= -35 @ 914.984
1174.71/1271.16	c #Conflicts:      35000 | #Constraints:     330968
1174.71/1271.16	c #Conflicts:      36000 | #Constraints:     331979
1174.71/1271.16	c #Conflicts:      37000 | #Constraints:     332980
1174.71/1271.16	c INPROCESSING
1174.71/1271.16	c GARBAGE COLLECT
1174.71/1271.16	c #Conflicts:      38000 | #Constraints:     329950
1174.71/1271.16	c #Conflicts:      39000 | #Constraints:     330954
1174.71/1271.16	c #Conflicts:      40000 | #Constraints:     331957
1174.71/1271.16	c #Conflicts:      41000 | #Constraints:     332960
1174.71/1271.16	c INPROCESSING
1174.71/1271.16	c GARBAGE COLLECT
1174.71/1271.16	c rational objective 696172
1455.03/1552.35	c #Conflicts:      42000 | #Constraints:     329751
1455.03/1552.35	c #Conflicts:      43000 | #Constraints:     330752
1455.03/1552.35	c #Conflicts:      44000 | #Constraints:     331752
1455.03/1552.35	c #Conflicts:      45000 | #Constraints:     332752
1455.03/1552.35	c #Conflicts:      46000 | #Constraints:     333755
1455.03/1552.35	c INPROCESSING
1455.03/1552.35	c GARBAGE COLLECT
1455.03/1552.35	c #Conflicts:      47000 | #Constraints:     330336
1455.03/1552.35	c #Conflicts:      48000 | #Constraints:     331340
1455.03/1552.35	c #Conflicts:      49000 | #Constraints:     332342
1455.03/1552.35	c #Conflicts:      50000 | #Constraints:     333342
1455.03/1552.35	c #Conflicts:      51000 | #Constraints:     334342
1455.03/1552.35	c INPROCESSING
1455.03/1552.35	c GARBAGE COLLECT
1455.03/1552.35	c bounds 4783436 >= -35 @ 1424.24
1455.32/1552.61	c bounds 4759854 >= -35 @ 1424.5
1474.79/1572.17	c #Conflicts:      52000 | #Constraints:     330729
1474.79/1572.17	c bounds 4744950 >= -35 @ 1443.58
1484.14/1581.52	c bounds 4697026 >= -35 @ 1452.71
1485.65/1583.09	c bounds 4684862 >= -35 @ 1454.24
1507.58/1605.02	c #Conflicts:      53000 | #Constraints:     331732
1507.58/1605.02	c bounds 4681002 >= -35 @ 1475.69
1510.76/1608.26	c bounds 4674563 >= -35 @ 1478.87
1512.76/1610.23	c bounds 4646688 >= -35 @ 1480.78
1514.95/1612.48	c bounds 4645480 >= -35 @ 1482.99
1515.14/1612.64	c bounds 4625563 >= -35 @ 1483.15
1530.69/1628.28	c #Conflicts:      54000 | #Constraints:     332737
1530.69/1628.28	c bounds 4624368 >= -35 @ 1498.47
1531.09/1628.60	c bounds 4416059 >= -35 @ 1498.78
1531.19/1628.71	c bounds 4289397 >= -35 @ 1498.88
1531.29/1628.82	c bounds 4180054 >= -35 @ 1498.99
1535.97/1633.52	c bounds 4106470 >= -35 @ 1503.57
1544.15/1641.78	c bounds 4061502 >= -35 @ 1511.66
1587.43/1685.12	c #Conflicts:      55000 | #Constraints:     333743
1587.43/1685.12	c #Conflicts:      56000 | #Constraints:     334743
1587.43/1685.12	c INPROCESSING
1587.43/1685.12	c GARBAGE COLLECT
1587.43/1685.12	c rational objective 698436
1592.90/1690.60	c bounds 4025845 >= -35 @ 1559.41
1594.09/1691.83	c bounds 4001321 >= -35 @ 1560.6
1594.49/1692.24	c bounds 3994926 >= -35 @ 1561.01
1597.79/1695.56	c bounds 3794543 >= -35 @ 1564.25
1600.29/1698.04	c bounds 3794052 >= -35 @ 1566.66
1608.85/1706.63	c bounds 3661502 >= -35 @ 1575.07
1609.36/1707.19	c bounds 3647124 >= -35 @ 1575.62
1609.55/1707.34	c bounds 3643173 >= -35 @ 1575.76
1718.12/1816.21	c #Conflicts:      57000 | #Constraints:     330833
1718.12/1816.21	c #Conflicts:      58000 | #Constraints:     331833
1718.12/1816.21	c #Conflicts:      59000 | #Constraints:     332833
1718.12/1816.21	c #Conflicts:      60000 | #Constraints:     333833
1718.12/1816.21	c #Conflicts:      61000 | #Constraints:     334833
1718.12/1816.21	c INPROCESSING
1718.12/1816.21	c GARBAGE COLLECT
1718.12/1816.21	c bounds 3635002 >= -35 @ 1682.03
1719.71/1817.87	c bounds 3634348 >= -35 @ 1683.66
1720.20/1818.38	c bounds 3629579 >= -35 @ 1684.16
1723.50/1821.60	c bounds 3582902 >= -35 @ 1687.36
1814.72/1913.14	c #Conflicts:      62000 | #Constraints:     330743
1814.72/1913.14	c #Conflicts:      63000 | #Constraints:     331743
1814.72/1913.14	c #Conflicts:      64000 | #Constraints:     332743
1814.72/1913.14	c bounds 3301584 >= -35 @ 1776.95
2030.24/2129.31	c #Conflicts:      65000 | #Constraints:     333744
2030.24/2129.31	c #Conflicts:      66000 | #Constraints:     334744
2030.24/2129.31	c INPROCESSING
2030.24/2129.31	c GARBAGE COLLECT
2030.24/2129.31	c #Conflicts:      67000 | #Constraints:     330478
2030.24/2129.31	c #Conflicts:      68000 | #Constraints:     331478
2030.24/2129.31	c #Conflicts:      69000 | #Constraints:     332478
2030.24/2129.31	c #Conflicts:      70000 | #Constraints:     333479
2030.24/2129.31	c #Conflicts:      71000 | #Constraints:     334480
2030.24/2129.31	c #Conflicts:      72000 | #Constraints:     335481
2030.24/2129.31	c INPROCESSING
2030.24/2129.31	c GARBAGE COLLECT
2030.24/2129.31	c rational objective 700463
2200.87/2300.43	c #Conflicts:      73000 | #Constraints:     331071
2200.87/2300.43	c #Conflicts:      74000 | #Constraints:     332071
2200.87/2300.43	c #Conflicts:      75000 | #Constraints:     333071
2200.87/2300.43	c #Conflicts:      76000 | #Constraints:     334071
2200.87/2300.43	c #Conflicts:      77000 | #Constraints:     335071
2200.87/2300.43	c #Conflicts:      78000 | #Constraints:     336071
2200.87/2300.43	c INPROCESSING
2200.87/2300.43	c GARBAGE COLLECT
2200.87/2300.43	c bounds 3251275 >= -35 @ 2154.99
2202.67/2302.25	c bounds 3249504 >= -35 @ 2156.77
2210.84/2310.41	c bounds 3160837 >= -35 @ 2164.75
2219.22/2318.86	c bounds 3139115 >= -35 @ 2173.03
2222.01/2321.66	c bounds 3048766 >= -35 @ 2175.8
2239.27/2338.98	c #Conflicts:      79000 | #Constraints:     331465
2239.27/2338.98	c bounds 3041518 >= -35 @ 2192.78
2240.26/2339.93	c bounds 2997139 >= -35 @ 2193.71
2435.64/2535.97	c #Conflicts:      80000 | #Constraints:     332469
2435.64/2535.97	c #Conflicts:      81000 | #Constraints:     333471
2435.64/2535.97	c #Conflicts:      82000 | #Constraints:     334475
2435.64/2535.97	c #Conflicts:      83000 | #Constraints:     335476
2435.64/2535.97	c #Conflicts:      84000 | #Constraints:     336481
2435.64/2535.97	c INPROCESSING
2435.64/2535.97	c GARBAGE COLLECT
2435.64/2535.97	c rational objective 708702
2502.33/2602.89	c #Conflicts:      85000 | #Constraints:     331638
2502.33/2602.89	c #Conflicts:      86000 | #Constraints:     332638
2502.33/2602.89	c bounds 2995519 >= -35 @ 2451.81
2511.30/2611.84	c bounds 2958412 >= -35 @ 2460.59
2512.11/2612.69	c bounds 2956792 >= -35 @ 2461.42
2683.57/2784.61	c #Conflicts:      87000 | #Constraints:     333643
2683.57/2784.61	c #Conflicts:      88000 | #Constraints:     334650
2683.57/2784.61	c #Conflicts:      89000 | #Constraints:     335652
2683.57/2784.61	c #Conflicts:      90000 | #Constraints:     336656
2683.57/2784.61	c INPROCESSING
2683.57/2784.61	c GARBAGE COLLECT
2683.57/2784.61	c #Conflicts:      91000 | #Constraints:     331633
2683.57/2784.61	c bounds 2888815 >= -35 @ 2629.41
2685.66/2786.79	c bounds 2885902 >= -35 @ 2631.54
2688.85/2789.92	c bounds 2882683 >= -35 @ 2634.61
2703.51/2804.69	c bounds 2878639 >= -35 @ 2649.07
2703.92/2805.10	c bounds 2865031 >= -35 @ 2649.47
2718.46/2819.68	c #Conflicts:      92000 | #Constraints:     332644
2718.46/2819.68	c bounds 2863411 >= -35 @ 2663.69
2719.36/2820.51	c bounds 2812225 >= -35 @ 2664.5
2719.56/2820.79	c bounds 2808421 >= -35 @ 2664.78
2723.05/2824.25	c bounds 2806093 >= -35 @ 2668.17
2726.63/2827.82	c bounds 2699636 >= -35 @ 2671.66
2742.79/2844.08	c #Conflicts:      93000 | #Constraints:     333649
2742.79/2844.08	c bounds 2698062 >= -35 @ 2687.59
2864.09/2965.76	c #Conflicts:      94000 | #Constraints:     334650
2864.09/2965.76	c #Conflicts:      95000 | #Constraints:     335650
2864.09/2965.76	c #Conflicts:      96000 | #Constraints:     336651
2864.09/2965.76	c INPROCESSING
2864.09/2965.76	c GARBAGE COLLECT
2864.09/2965.76	c rational objective 714645
2872.87/2974.52	c bounds 2694603 >= -35 @ 2815.45
3036.60/3139.09	c #Conflicts:      97000 | #Constraints:     331440
3036.60/3139.09	c #Conflicts:      98000 | #Constraints:     332440
3036.60/3139.09	c #Conflicts:      99000 | #Constraints:     333440
3036.60/3139.09	c #Conflicts:     100000 | #Constraints:     334440
3036.60/3139.09	c #Conflicts:     101000 | #Constraints:     335441
3036.60/3139.09	c #Conflicts:     102000 | #Constraints:     336441
3036.60/3139.09	c bounds 2694018 >= -35 @ 2975.85
3291.78/3394.93	c #Conflicts:     103000 | #Constraints:     337442
3291.78/3394.93	c INPROCESSING
3291.78/3394.93	c GARBAGE COLLECT
3291.78/3394.93	c #Conflicts:     104000 | #Constraints:     332054
3291.78/3394.93	c #Conflicts:     105000 | #Constraints:     333054
3291.78/3394.93	c #Conflicts:     106000 | #Constraints:     334054
3291.78/3394.93	c #Conflicts:     107000 | #Constraints:     335057
3291.78/3394.93	c #Conflicts:     108000 | #Constraints:     336061
3291.78/3394.93	c #Conflicts:     109000 | #Constraints:     337063
3291.78/3394.93	c #Conflicts:     110000 | #Constraints:     338066
3291.78/3394.93	c INPROCESSING
3291.78/3394.93	c GARBAGE COLLECT
3291.78/3394.93	c rational objective 719338
2.50/3504.14	HOME/run-opt-break-log.sh: line 3: 73264 File size limit exceeded(core dumped) ./roundingsat "$1" --lp-maxconstr=1000000 --preprocessed-input="$1.pre" --proof-log="$2"

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63837 MiB (53430 MiB free)
  memory of node 1: 64465 MiB (53223 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4504899-1751446960/watcher-4504899-1751446960 -o /tmp/evaluation-result-4504899-1751446960/solver-4504899-1751446960 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751443245-72775 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4504899-1751446960.opb PROOFDIR/proof-4504899-1751446960 

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
Starting watchdog thread
solver pid=73261, runsolver pid=73258
Current StackSize limit: 8192 KiB


[startup+0.100064 s]*
/proc/loadavg: 4.14 4.42 4.35 5/264 73263
/proc/meminfo: memFree=109144628/131382112 swapFree=33005784/33010684
[pid=73261] ppid=73258 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/73261/stat : 73261 (run-opt-break-l) S 73258 73261 72765 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 60375113 4292608 736 18446744073709551615 94423767605248 94423768499781 140730176185968 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94423768738832 94423768786576 94423781769216 140730176190741 140730176190942 140730176190942 140730176196544 0
/proc/73261/statm: 1048 736 672 219 0 110 0
[pid=73263] ppid=73261 vsize=99672 memory=89800 CPUtime=0.08 cores=0,2
/proc/73263/stat : 73263 (pbsuma) R 73261 73261 72765 0 -1 4194304 5718 0 0 0 6 2 0 0 20 0 1 0 60375113 102064128 22450 18446744073709551615 4210688 4653049 140732385424864 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 18026496 140732385433827 140732385434162 140732385434162 140732385439727 0
/proc/73263/statm: 24918 22450 992 108 0 22326 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 103864 KiB
Current children cumulated memory: 92744 KiB

[startup+0.205747 s]*
/proc/loadavg: 4.14 4.42 4.35 5/264 73263
/proc/meminfo: memFree=109092268/131382112 swapFree=33005784/33010684
[pid=73261] ppid=73258 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/73261/stat : 73261 (run-opt-break-l) S 73258 73261 72765 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 60375113 4292608 736 18446744073709551615 94423767605248 94423768499781 140730176185968 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94423768738832 94423768786576 94423781769216 140730176190741 140730176190942 140730176190942 140730176196544 0
/proc/73261/statm: 1048 736 672 219 0 110 0
[pid=73263] ppid=73261 vsize=107200 memory=97868 CPUtime=0.19 cores=0,2
/proc/73263/stat : 73263 (pbsuma) R 73261 73261 72765 0 -1 4194304 7609 0 0 0 16 3 0 0 20 0 1 0 60375113 109772800 24467 18446744073709551615 4210688 4653049 140732385424864 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 18026496 140732385433827 140732385434162 140732385434162 140732385439727 0
/proc/73263/statm: 26800 24467 992 108 0 24208 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 111392 KiB
Current children cumulated memory: 100812 KiB

[startup+0.305839 s]*
/proc/loadavg: 4.14 4.42 4.35 5/264 73263
/proc/meminfo: memFree=109063980/131382112 swapFree=33005784/33010684
[pid=73261] ppid=73258 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/73261/stat : 73261 (run-opt-break-l) S 73258 73261 72765 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 60375113 4292608 736 18446744073709551615 94423767605248 94423768499781 140730176185968 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94423768738832 94423768786576 94423781769216 140730176190741 140730176190942 140730176190942 140730176196544 0
/proc/73261/statm: 1048 736 672 219 0 110 0
[pid=73263] ppid=73261 vsize=119884 memory=108808 CPUtime=0.29 cores=0,2
/proc/73263/stat : 73263 (pbsuma) R 73261 73261 72765 0 -1 4194304 10033 0 0 0 25 4 0 0 20 0 1 0 60375113 122761216 27202 18446744073709551615 4210688 4653049 140732385424864 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 18026496 140732385433827 140732385434162 140732385434162 140732385439727 0
/proc/73263/statm: 29971 27202 992 108 0 27379 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 124076 KiB
Current children cumulated memory: 111752 KiB

[startup+0.700361 s]
/proc/loadavg: 4.14 4.42 4.35 5/264 73263
/proc/meminfo: memFree=109007284/131382112 swapFree=33005784/33010684
[pid=73261] ppid=73258 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/73261/stat : 73261 (run-opt-break-l) S 73258 73261 72765 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 60375113 4292608 736 18446744073709551615 94423767605248 94423768499781 140730176185968 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94423768738832 94423768786576 94423781769216 140730176190741 140730176190942 140730176190942 140730176196544 0
/proc/73261/statm: 1048 736 672 219 0 110 0
[pid=73263] ppid=73261 vsize=284260 memory=232336 CPUtime=0.66 cores=0,2
/proc/73263/stat : 73263 (pbsuma) R 73261 73261 72765 0 -1 4194304 21651 0 0 0 57 9 0 0 20 0 1 0 60375113 291082240 58084 18446744073709551615 4210688 4653049 140732385424864 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 18026496 140732385433827 140732385434162 140732385434162 140732385439727 0
/proc/73263/statm: 71065 58084 1024 108 0 68473 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 288452 KiB
Current children cumulated memory: 235280 KiB

[startup+1.5004 s]
/proc/loadavg: 4.14 4.42 4.35 5/264 73263
/proc/meminfo: memFree=108869392/131382112 swapFree=33005784/33010684
[pid=73261] ppid=73258 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/73261/stat : 73261 (run-opt-break-l) S 73258 73261 72765 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 60375113 4292608 736 18446744073709551615 94423767605248 94423768499781 140730176185968 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94423768738832 94423768786576 94423781769216 140730176190741 140730176190942 140730176190942 140730176196544 0
/proc/73261/statm: 1048 736 672 219 0 110 0
[pid=73263] ppid=73261 vsize=326332 memory=273756 CPUtime=1.46 cores=0,2
/proc/73263/stat : 73263 (pbsuma) R 73261 73261 72765 0 -1 4194304 45022 0 0 0 128 18 0 0 20 0 1 0 60375113 334163968 68439 18446744073709551615 4210688 4653049 140732385424864 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 18026496 140732385433827 140732385434162 140732385434162 140732385439727 0
/proc/73263/statm: 81583 68439 1024 108 0 78991 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 330524 KiB
Current children cumulated memory: 276700 KiB

[startup+3.1145 s]
/proc/loadavg: 4.14 4.42 4.35 5/264 73264
/proc/meminfo: memFree=108772440/131382112 swapFree=33005784/33010684
[pid=73261] ppid=73258 vsize=4192 memory=2944 CPUtime=2.5 cores=0,2
/proc/73261/stat : 73261 (run-opt-break-l) S 73258 73261 72765 0 -1 4194304 243 45962 0 0 0 0 230 20 20 0 1 0 60375113 4292608 736 18446744073709551615 94423767605248 94423768499781 140730176185968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94423768738832 94423768786576 94423781769216 140730176190741 140730176190942 140730176190942 140730176196544 0
/proc/73261/statm: 1048 736 672 219 0 110 0
[pid=73264] ppid=73261 vsize=106772 memory=61492 CPUtime=0.53 cores=0,2
/proc/73264/stat : 73264 (roundingsat) R 73261 73261 72765 0 -1 4194304 11370 0 0 0 44 9 0 0 20 0 1 0 60375369 109334528 15373 18446744073709551615 4227072 8923433 140734560825520 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20283392 140734560827668 140734560827944 140734560827944 140734560833514 0
/proc/73264/statm: 26693 15373 1984 1147 0 14120 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 110964 KiB
Current children cumulated memory: 64436 KiB

[startup+6.3004 s]
/proc/loadavg: 4.13 4.41 4.35 5/262 73264
/proc/meminfo: memFree=108053008/131382112 swapFree=33005784/33010684
[pid=73261] ppid=73258 vsize=4192 memory=2944 CPUtime=2.5 cores=0,2
/proc/73261/stat : 73261 (run-opt-break-l) S 73258 73261 72765 0 -1 4194304 243 45962 0 0 0 0 230 20 20 0 1 0 60375113 4292608 736 18446744073709551615 94423767605248 94423768499781 140730176185968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94423768738832 94423768786576 94423781769216 140730176190741 140730176190942 140730176190942 140730176196544 0
/proc/73261/statm: 1048 736 672 219 0 110 0
[pid=73264] ppid=73261 vsize=640112 memory=481480 CPUtime=3.72 cores=0,2
/proc/73264/stat : 73264 (roundingsat) R 73261 73261 72765 0 -1 4194304 46060 0 0 0 326 46 0 0 20 0 1 0 60375369 655474688 120370 18446744073709551615 4227072 8923433 140734560825520 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20283392 140734560827668 140734560827944 140734560827944 140734560833514 0
/proc/73264/statm: 160028 120370 2400 1147 0 147455 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 644304 KiB
Current children cumulated memory: 484424 KiB

[startup+12.7004 s]
/proc/loadavg: 4.12 4.41 4.35 5/262 73264
/proc/meminfo: memFree=107243208/131382112 swapFree=33005784/33010684
[pid=73261] ppid=73258 vsize=4192 memory=2944 CPUtime=2.5 cores=0,2
/proc/73261/stat : 73261 (run-opt-break-l) S 73258 73261 72765 0 -1 4194304 243 45962 0 0 0 0 230 20 20 0 1 0 60375113 4292608 736 18446744073709551615 94423767605248 94423768499781 140730176185968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94423768738832 94423768786576 94423781769216 140730176190741 140730176190942 140730176190942 140730176196544 0
/proc/73261/statm: 1048 736 672 219 0 110 0
[pid=73264] ppid=73261 vsize=707736 memory=552692 CPUtime=10.09 cores=0,2
/proc/73264/stat : 73264 (roundingsat) R 73261 73261 72765 0 -1 4194304 59812 0 0 0 949 60 0 0 20 0 1 0 60375369 724721664 138173 18446744073709551615 4227072 8923433 140734560825520 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20283392 140734560827668 140734560827944 140734560827944 140734560833514 0
/proc/73264/statm: 176934 138173 2400 1147 0 164361 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 711928 KiB
Current children cumulated memory: 555636 KiB

[startup+25.5004 s]
/proc/loadavg: 4.29 4.43 4.36 5/264 73266
/proc/meminfo: memFree=105814996/131382112 swapFree=33005784/33010684
[pid=73261] ppid=73258 vsize=4192 memory=2944 CPUtime=2.5 cores=0,2
/proc/73261/stat : 73261 (run-opt-break-l) S 73258 73261 72765 0 -1 4194304 243 45962 0 0 0 0 230 20 20 0 1 0 60375113 4292608 736 18446744073709551615 94423767605248 94423768499781 140730176185968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94423768738832 94423768786576 94423781769216 140730176190741 140730176190942 140730176190942 140730176196544 0
/proc/73261/statm: 1048 736 672 219 0 110 0
[pid=73264] ppid=73261 vsize=820592 memory=647004 CPUtime=22.87 cores=0,2
/proc/73264/stat : 73264 (roundingsat) R 73261 73261 72765 0 -1 4194304 71185 0 0 0 2208 79 0 0 20 0 1 0 60375369 840286208 161751 18446744073709551615 4227072 8923433 140734560825520 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20283392 140734560827668 140734560827944 140734560827944 140734560833514 0
/proc/73264/statm: 205148 161751 2400 1147 0 192575 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 824784 KiB
Current children cumulated memory: 649948 KiB

[startup+51.1135 s]
/proc/loadavg: 4.25 4.41 4.35 5/265 73268
/proc/meminfo: memFree=103058372/131382112 swapFree=33005784/33010684
[pid=73261] ppid=73258 vsize=4192 memory=2944 CPUtime=2.5 cores=0,2
/proc/73261/stat : 73261 (run-opt-break-l) S 73258 73261 72765 0 -1 4194304 243 45962 0 0 0 0 230 20 20 0 1 0 60375113 4292608 736 18446744073709551615 94423767605248 94423768499781 140730176185968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94423768738832 94423768786576 94423781769216 140730176190741 140730176190942 140730176190942 140730176196544 0
/proc/73261/statm: 1048 736 672 219 0 110 0
[pid=73264] ppid=73261 vsize=1033336 memory=841868 CPUtime=48.41 cores=0,2
/proc/73264/stat : 73264 (roundingsat) R 73261 73261 72765 0 -1 4194304 100344 0 0 0 4704 137 0 0 20 0 1 0 60375369 1058136064 210467 18446744073709551615 4227072 8923433 140734560825520 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20283392 140734560827668 140734560827944 140734560827944 140734560833514 0
/proc/73264/statm: 258334 210467 2400 1147 0 245761 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 1037528 KiB
Current children cumulated memory: 844812 KiB

[startup+102.3 s]
/proc/loadavg: 4.43 4.41 4.35 5/270 73275
/proc/meminfo: memFree=96648088/131382112 swapFree=33005784/33010684
[pid=73261] ppid=73258 vsize=4192 memory=2944 CPUtime=2.5 cores=0,2
/proc/73261/stat : 73261 (run-opt-break-l) S 73258 73261 72765 0 -1 4194304 243 45962 0 0 0 0 230 20 20 0 1 0 60375113 4292608 736 18446744073709551615 94423767605248 94423768499781 140730176185968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94423768738832 94423768786576 94423781769216 140730176190741 140730176190942 140730176190942 140730176196544 0
/proc/73261/statm: 1048 736 672 219 0 110 0
[pid=73264] ppid=73261 vsize=1239892 memory=1008108 CPUtime=99.44 cores=0,2
/proc/73264/stat : 73264 (roundingsat) R 73261 73261 72765 0 -1 4194304 131231 0 0 0 9696 248 0 0 20 0 1 0 60375369 1269649408 252027 18446744073709551615 4227072 8923433 140734560825520 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20283392 140734560827668 140734560827944 140734560827944 140734560833514 0
/proc/73264/statm: 309973 252027 2400 1147 0 297400 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 1244084 KiB
Current children cumulated memory: 1011052 KiB

[startup+162.3 s]
/proc/loadavg: 4.32 4.38 4.35 5/271 73278
/proc/meminfo: memFree=89113776/131382112 swapFree=33005784/33010684
[pid=73261] ppid=73258 vsize=4192 memory=2944 CPUtime=2.5 cores=0,2
/proc/73261/stat : 73261 (run-opt-break-l) S 73258 73261 72765 0 -1 4194304 243 45962 0 0 0 0 230 20 20 0 1 0 60375113 4292608 736 18446744073709551615 94423767605248 94423768499781 140730176185968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94423768738832 94423768786576 94423781769216 140730176190741 140730176190942 140730176190942 140730176196544 0
/proc/73261/statm: 1048 736 672 219 0 110 0
[pid=73264] ppid=73261 vsize=1621108 memory=1306056 CPUtime=159.26 cores=0,2
/proc/73264/stat : 73264 (roundingsat) R 73261 73261 72765 0 -1 4194304 182547 0 0 0 15574 352 0 0 20 0 1 0 60375369 1660014592 326514 18446744073709551615 4227072 8923433 140734560825520 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20283392 140734560827668 140734560827944 140734560827944 140734560833514 0
/proc/73264/statm: 405277 326514 2400 1147 0 392704 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 1625300 KiB
Current children cumulated memory: 1309000 KiB

[startup+222.3 s]
/proc/loadavg: 4.45 4.39 4.35 5/271 73280
/proc/meminfo: memFree=82014536/131382112 swapFree=33005784/33010684
[pid=73261] ppid=73258 vsize=4192 memory=2944 CPUtime=2.5 cores=0,2
/proc/73261/stat : 73261 (run-opt-break-l) S 73258 73261 72765 0 -1 4194304 243 45962 0 0 0 0 230 20 20 0 1 0 60375113 4292608 736 18446744073709551615 94423767605248 94423768499781 140730176185968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94423768738832 94423768786576 94423781769216 140730176190741 140730176190942 140730176190942 140730176196544 0
/proc/73261/statm: 1048 736 672 219 0 110 0
[pid=73264] ppid=73261 vsize=1629860 memory=1322684 CPUtime=219.08 cores=0,2
/proc/73264/stat : 73264 (roundingsat) R 73261 73261 72765 0 -1 4194304 185810 0 0 0 21442 466 0 0 20 0 1 0 60375369 1668976640 330671 18446744073709551615 4227072 8923433 140734560825520 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20283392 140734560827668 140734560827944 140734560827944 140734560833514 0
/proc/73264/statm: 407465 330671 2400 1147 0 394892 0

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

/proc/meminfo: memFree=40074828/131382112 swapFree=33005784/33010684
[pid=73261] ppid=73258 vsize=4192 memory=2944 CPUtime=2.5 cores=0,2
/proc/73261/stat : 73261 (run-opt-break-l) S 73258 73261 72765 0 -1 4194304 243 45962 0 0 0 0 230 20 20 0 1 0 60375113 4292608 736 18446744073709551615 94423767605248 94423768499781 140730176185968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94423768738832 94423768786576 94423781769216 140730176190741 140730176190942 140730176190942 140730176196544 0
/proc/73261/statm: 1048 736 672 219 0 110 0
[pid=73264] ppid=73261 vsize=4155548 memory=3631372 CPUtime=3117.15 cores=0,2
/proc/73264/stat : 73264 (roundingsat) R 73261 73261 72765 0 -1 4194304 596336 0 0 0 305716 5999 0 0 20 0 1 0 60375369 4255281152 907843 18446744073709551615 4227072 8923433 140734560825520 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20283392 140734560827668 140734560827944 140734560827944 140734560833514 0
/proc/73264/statm: 1038887 907843 2400 1147 0 1026314 0
Current children cumulated CPU time: 3119.65 s
Current children cumulated vsize: 4159740 KiB
Current children cumulated memory: 3634316 KiB

[startup+3282.3 s]
/proc/loadavg: 4.19 4.24 4.25 6/264 73680
/proc/meminfo: memFree=33847356/131382112 swapFree=33005784/33010684
[pid=73261] ppid=73258 vsize=4192 memory=2944 CPUtime=2.5 cores=0,2
/proc/73261/stat : 73261 (run-opt-break-l) S 73258 73261 72765 0 -1 4194304 243 45962 0 0 0 0 230 20 20 0 1 0 60375113 4292608 736 18446744073709551615 94423767605248 94423768499781 140730176185968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94423768738832 94423768786576 94423781769216 140730176190741 140730176190942 140730176190942 140730176196544 0
/proc/73261/statm: 1048 736 672 219 0 110 0
[pid=73264] ppid=73261 vsize=4155548 memory=3631372 CPUtime=3177 cores=0,2
/proc/73264/stat : 73264 (roundingsat) R 73261 73261 72765 0 -1 4194304 596405 0 0 0 311590 6110 0 0 20 0 1 0 60375369 4255281152 907843 18446744073709551615 4227072 8923433 140734560825520 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20283392 140734560827668 140734560827944 140734560827944 140734560833514 0
/proc/73264/statm: 1038887 907843 2400 1147 0 1026314 0
Current children cumulated CPU time: 3179.5 s
Current children cumulated vsize: 4159740 KiB
Current children cumulated memory: 3634316 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.22 4.25 6/263 73684
/proc/meminfo: memFree=27019928/131382112 swapFree=33005784/33010684
[pid=73261] ppid=73258 vsize=4192 memory=2944 CPUtime=2.5 cores=0,2
/proc/73261/stat : 73261 (run-opt-break-l) S 73258 73261 72765 0 -1 4194304 243 45962 0 0 0 0 230 20 20 0 1 0 60375113 4292608 736 18446744073709551615 94423767605248 94423768499781 140730176185968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94423768738832 94423768786576 94423781769216 140730176190741 140730176190942 140730176190942 140730176196544 0
/proc/73261/statm: 1048 736 672 219 0 110 0
[pid=73264] ppid=73261 vsize=4155548 memory=3631500 CPUtime=3236.84 cores=0,2
/proc/73264/stat : 73264 (roundingsat) R 73261 73261 72765 0 -1 4194304 596567 0 0 0 317457 6227 0 0 20 0 1 0 60375369 4255281152 907875 18446744073709551615 4227072 8923433 140734560825520 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20283392 140734560827668 140734560827944 140734560827944 140734560833514 0
/proc/73264/statm: 1038887 907875 2400 1147 0 1026314 0
Current children cumulated CPU time: 3239.34 s
Current children cumulated vsize: 4159740 KiB
Current children cumulated memory: 3634444 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.19 4.24 6/263 73686
/proc/meminfo: memFree=22805692/131382112 swapFree=33005784/33010684
[pid=73261] ppid=73258 vsize=4192 memory=2944 CPUtime=2.5 cores=0,2
/proc/73261/stat : 73261 (run-opt-break-l) S 73258 73261 72765 0 -1 4194304 243 45962 0 0 0 0 230 20 20 0 1 0 60375113 4292608 736 18446744073709551615 94423767605248 94423768499781 140730176185968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94423768738832 94423768786576 94423781769216 140730176190741 140730176190942 140730176190942 140730176196544 0
/proc/73261/statm: 1048 736 672 219 0 110 0
[pid=73264] ppid=73261 vsize=4160660 memory=3640332 CPUtime=3296.66 cores=0,2
/proc/73264/stat : 73264 (roundingsat) R 73261 73261 72765 0 -1 4194304 599104 0 0 0 323352 6314 0 0 20 0 1 0 60375369 4260515840 910083 18446744073709551615 4227072 8923433 140734560825520 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20283392 140734560827668 140734560827944 140734560827944 140734560833514 0
/proc/73264/statm: 1040165 910083 2400 1147 0 1027592 0
Current children cumulated CPU time: 3299.16 s
Current children cumulated vsize: 4164852 KiB
Current children cumulated memory: 3643276 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.19 4.23 6/262 73691
/proc/meminfo: memFree=17667924/131382112 swapFree=33005784/33010684
[pid=73261] ppid=73258 vsize=4192 memory=2944 CPUtime=2.5 cores=0,2
/proc/73261/stat : 73261 (run-opt-break-l) S 73258 73261 72765 0 -1 4194304 243 45962 0 0 0 0 230 20 20 0 1 0 60375113 4292608 736 18446744073709551615 94423767605248 94423768499781 140730176185968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94423768738832 94423768786576 94423781769216 140730176190741 140730176190942 140730176190942 140730176196544 0
/proc/73261/statm: 1048 736 672 219 0 110 0
[pid=73264] ppid=73261 vsize=4167732 memory=3644692 CPUtime=3356.48 cores=0,2
/proc/73264/stat : 73264 (roundingsat) R 73261 73261 72765 0 -1 4194304 599209 0 0 0 329219 6429 0 0 20 0 1 0 60375369 4267757568 911173 18446744073709551615 4227072 8923433 140734560825520 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20283392 140734560827668 140734560827944 140734560827944 140734560833514 0
/proc/73264/statm: 1041933 911173 2400 1147 0 1029360 0
Current children cumulated CPU time: 3358.98 s
Current children cumulated vsize: 4171924 KiB
Current children cumulated memory: 3647636 KiB

[startup+3504.14 s]
# the end of solver process 73261 was just reported to runsolver
# Child status: 153

# cumulated CPU time of all completed processes:  user=3320.01 s, system=68.0008 s

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

[startup+3481.6 s]
/proc/loadavg: 4.36 4.24 4.25 6/263 73745
/proc/meminfo: memFree=64409788/131382112 swapFree=33005784/33010684
[pid=73261] ppid=73258 vsize=4192 memory=2944 CPUtime=2.5 cores=0,2
/proc/73261/stat : 73261 (run-opt-break-l) S 73258 73261 72765 0 -1 4194304 243 45962 0 0 0 0 230 20 20 0 1 0 60375113 4292608 736 18446744073709551615 94423767605248 94423768499781 140730176185968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94423768738832 94423768786576 94423781769216 140730176190741 140730176190942 140730176190942 140730176196544 0
/proc/73261/statm: 1048 736 672 219 0 110 0
[pid=73264] ppid=73261 vsize=4167732 memory=3644820 CPUtime=3375.71 cores=0,2
/proc/73264/stat : 73264 (roundingsat) R 73261 73261 72765 0 -1 4194304 599247 0 0 0 331118 6453 0 0 20 0 1 0 60375369 4267757568 911205 18446744073709551615 4227072 8923433 140734560825520 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 20283392 140734560827668 140734560827944 140734560827944 140734560833514 0
/proc/73264/statm: 1041933 911205 2400 1147 0 1029360 0
Current children cumulated CPU time: 3378.21 s
Current children cumulated vsize: 4171924 KiB
Current children cumulated memory: 3647764 KiB

[startup+3494.4 s]
/proc/loadavg: 4.30 4.23 4.25 6/264 73797
/proc/meminfo: memFree=62328432/131382112 swapFree=33005784/33010684
[pid=73261] ppid=73258 vsize=4192 memory=2944 CPUtime=2.5 cores=0,2
/proc/73261/stat : 73261 (run-opt-break-l) S 73258 73261 72765 0 -1 4194304 243 45962 0 0 0 0 230 20 20 0 1 0 60375113 4292608 736 18446744073709551615 94423767605248 94423768499781 140730176185968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94423768738832 94423768786576 94423781769216 140730176190741 140730176190942 140730176190942 140730176196544 0
/proc/73261/statm: 1048 736 672 219 0 110 0
[pid=73264] ppid=73261 vsize=4167732 memory=3645076 CPUtime=3383.63 cores=0,2
/proc/73264/stat : 73264 (roundingsat) S 73261 73261 72765 0 -1 4195840 599247 0 0 0 331767 6596 0 0 20 0 1 0 60375369 4267757568 911269 18446744073709551615 4227072 8923433 140734560825520 140734560822072 139673117669207 0 0 0 8405026 1 0 0 17 2 0 0 0 0 0 9823104 9832592 20283392 140734560827668 140734560827944 140734560827944 140734560833514 25
/proc/73264/statm: 1041933 911269 2400 1147 0 1029360 0
Current children cumulated CPU time: 3386.13 s
Current children cumulated vsize: 4171924 KiB
Current children cumulated memory: 3648020 KiB

[startup+3500.8 s]
/proc/loadavg: 4.28 4.23 4.24 6/266 73804
/proc/meminfo: memFree=66883448/131382112 swapFree=33005784/33010684
[pid=73261] ppid=73258 vsize=4192 memory=2944 CPUtime=2.5 cores=0,2
/proc/73261/stat : 73261 (run-opt-break-l) S 73258 73261 72765 0 -1 4194304 243 45962 0 0 0 0 230 20 20 0 1 0 60375113 4292608 736 18446744073709551615 94423767605248 94423768499781 140730176185968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94423768738832 94423768786576 94423781769216 140730176190741 140730176190942 140730176190942 140730176196544 0
/proc/73261/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 2.5 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB

[startup+3502.4 s]
/proc/loadavg: 4.25 4.22 4.24 5/265 73815
/proc/meminfo: memFree=66809568/131382112 swapFree=33005784/33010684
[pid=73261] ppid=73258 vsize=4192 memory=2944 CPUtime=2.5 cores=0,2
/proc/73261/stat : 73261 (run-opt-break-l) S 73258 73261 72765 0 -1 4194304 243 45962 0 0 0 0 230 20 20 0 1 0 60375113 4292608 736 18446744073709551615 94423767605248 94423768499781 140730176185968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94423768738832 94423768786576 94423781769216 140730176190741 140730176190942 140730176190942 140730176196544 0
/proc/73261/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 2.5 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB

[startup+3503.2 s]
/proc/loadavg: 4.25 4.22 4.24 5/265 73815
/proc/meminfo: memFree=66790688/131382112 swapFree=33005784/33010684
[pid=73261] ppid=73258 vsize=4192 memory=2944 CPUtime=2.5 cores=0,2
/proc/73261/stat : 73261 (run-opt-break-l) S 73258 73261 72765 0 -1 4194304 243 45962 0 0 0 0 230 20 20 0 1 0 60375113 4292608 736 18446744073709551615 94423767605248 94423768499781 140730176185968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94423768738832 94423768786576 94423781769216 140730176190741 140730176190942 140730176190942 140730176196544 0
/proc/73261/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 2.5 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB

[startup+3503.6 s]
/proc/loadavg: 4.25 4.22 4.24 5/265 73815
/proc/meminfo: memFree=66790688/131382112 swapFree=33005784/33010684
[pid=73261] ppid=73258 vsize=4192 memory=2944 CPUtime=2.5 cores=0,2
/proc/73261/stat : 73261 (run-opt-break-l) S 73258 73261 72765 0 -1 4194304 243 45962 0 0 0 0 230 20 20 0 1 0 60375113 4292608 736 18446744073709551615 94423767605248 94423768499781 140730176185968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94423768738832 94423768786576 94423781769216 140730176190741 140730176190942 140730176190942 140730176196544 0
/proc/73261/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 2.5 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB

[startup+3504 s]*
/proc/loadavg: 4.25 4.22 4.24 6/265 73815
/proc/meminfo: memFree=66789780/131382112 swapFree=33005784/33010684
[pid=73261] ppid=73258 vsize=4192 memory=2944 CPUtime=2.5 cores=0,2
/proc/73261/stat : 73261 (run-opt-break-l) S 73258 73261 72765 0 -1 4194304 243 45962 0 0 0 0 230 20 20 0 1 0 60375113 4292608 736 18446744073709551615 94423767605248 94423768499781 140730176185968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94423768738832 94423768786576 94423781769216 140730176190741 140730176190942 140730176190942 140730176196544 0
/proc/73261/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 2.5 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB

[startup+3504.11 s]
/proc/loadavg: 4.25 4.22 4.24 6/265 73815
/proc/meminfo: memFree=66789780/131382112 swapFree=33005784/33010684
[pid=73261] ppid=73258 vsize=4192 memory=2944 CPUtime=2.5 cores=0,2
/proc/73261/stat : 73261 (run-opt-break-l) S 73258 73261 72765 0 -1 4194304 243 45962 0 0 0 0 230 20 20 0 1 0 60375113 4292608 736 18446744073709551615 94423767605248 94423768499781 140730176185968 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94423768738832 94423768786576 94423781769216 140730176190741 140730176190942 140730176190942 140730176196544 0
/proc/73261/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 2.5 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB

Child status: 153

Real time (s): 3504.14
CPU time (s): 3388.01
CPU user time (s): 3320.01
CPU system time (s): 68.0008
CPU usage (%): 96.6859
Max. virtual memory (cumulated for all children) (KiB): 4180924
Max. memory (cumulated for all children) (KiB): 3648020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3320.01
system time used= 68.0008
maximum resident set size= 3655052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 645464
page faults= 0
swaps= 0
block input operations= 0
block output operations= 204828000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 121680
involuntary context switches= 8738


# summary of solver processes directly reported to runsolver:
#   pid: 73261
#   total CPU time (s): 3388.01
#   total CPU user time (s): 3320.01
#   total CPU system time (s): 68.0008

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.14 second user time and 36.1497 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2025-07-02 11:02:40
IDJOB=4504899
IDBENCH=155700
IDSOLVER=3360
FILE ID=nodeC007/4504899-1751446960
RUNJOBID= nodeC007-1751443245-72775
SLURM_JOB_ID= 9598417
Free space on /tmp= 431560 MiB

SOLVER NAME= roundingsat+pbsuma-opt-log 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/normalized-minisat35_4_11_2_mh_ic.opb
COMMAND LINE= run-opt-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4504899-1751446960/watcher-4504899-1751446960 -o /tmp/evaluation-result-4504899-1751446960/solver-4504899-1751446960 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751443245-72775 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4504899-1751446960.opb PROOFDIR/proof-4504899-1751446960

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

MD5SUM BENCH= 5a166d04cd3e9d201c89375e6d39e5e9
RANDOM SEED=1897584906

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        109254896 kB
MemAvailable:   128078440 kB
Buffers:              16 kB
Cached:         19514488 kB
SwapCached:          216 kB
Active:          1754928 kB
Inactive:       19295864 kB
Active(anon):    1500664 kB
Inactive(anon):    49160 kB
Active(file):     254264 kB
Inactive(file): 19246704 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33005784 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:           7885584 kB
Writeback:             0 kB
AnonPages:       1539528 kB
Mapped:           111324 kB
Shmem:             13492 kB
KReclaimable:     324408 kB
Slab:             659212 kB
SReclaimable:     324408 kB
SUnreclaim:       334804 kB
KernelStack:        4256 kB
PageTables:         6168 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    2050220 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149656 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    550912 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:      201544 kB
DirectMap2M:    10186752 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 430692 MiB
End job on nodeC007 at 2025-07-02 12:01:04