Trace number 4504715

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) 3372.96 3400.28

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat35_4_11_0_mh_ic.opb
MD5SUM981ef51cec9b68890fa336e7b4cc767b
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 benchmark2314936
Best CPU time to get the best result obtained on this benchmark72002.6
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 127263527
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 24281357407
Number of bits of the sum of numbers in the objective function 35
Biggest number in a constraint 127263527
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 24281357407
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.02	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.02	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.02	c │      (c) 2025 Markus Anders                                    │
0.00/0.02	c └────────────────────────────────────────────────────────────────┘
0.00/0.02	c parse 'HOME/instance-4504715-1751443245.opb'
0.39/0.50	c 	read 12.66MB  (484.21ms)
0.39/0.50	c	 [cnf: #variables 126385 #clauses 286379 #duplicates 595 #arr 982485]
0.39/0.50	c output proof to 'PROOFDIR/proof-4504715-1751443245'
0.39/0.51	c 
0.39/0.51	c make graph and approximate orbits
0.98/1.09	c	 [group: #orbits ~= 42804] (581.44ms)
0.98/1.09	c 
0.98/1.09	c detect special group actions
0.98/1.09	c 	probe for Johnson action (limit=64)
0.98/1.09	c 	probe for row-column symmetry (limit=64, splits=16.78M)
1.08/1.14	c 	probe for row symmetry (limit=64, splits=16.78M)
1.08/1.16	c 	 found row 35x2, generating row predicate
1.08/1.17	c 	 found row 4x2, generating row predicate
1.08/1.18	c 	 (85.82ms)
1.08/1.18	c 
1.08/1.18	c detect symmetries on remainder
1.08/1.18	c 	[graph: #vertices 916904 #edges 2973250]
1.08/1.19	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
1.46/1.58	c 	 [group: #symmetries 4.68*10^1979 #generators 3026] (405.68ms)
1.46/1.58	c 
1.46/1.58	c optimize generators (opt_passes=64, conjugate_limit=256)
1.46/1.60	c 	ran it=0, +gens=21 
2.46/2.58	c 	con best_support=4, best_gens=2431, +gens=112
2.46/2.58	c 	(995.84ms)
2.46/2.58	c 
2.46/2.58	c finalize break order and special generators
2.46/2.58	c 
2.46/2.58	c add generic predicates (break_depth=20)
2.46/2.58	c 	added predicates for 3159 generators (1.28ms)
2.56/2.68	c 
2.56/2.68	c generation finished
2.56/2.68	c 	[sbp: #constraints 37222 #add_vars 11342]
2.56/2.68	c 
2.56/2.68	c write result to 'HOME/instance-4504715-1751443245.opb.pre'
2.66/2.71	c 	wrote 14.25MB (31.62ms)
2.66/2.71	c ------------------------------------------------------------------
2.66/2.71	c                 995.84ms 36.95% optimize_gens
2.66/2.71	c                 581.44ms 21.57% approx_orbits
2.66/2.71	c                 484.20ms 17.96% parse
2.66/2.71	c                 405.68ms 15.05% detect_generic
2.66/2.71	c                 102.43ms  3.80% other
2.66/2.71	c                  85.82ms  3.18% detect_special
2.66/2.71	c                  31.62ms  1.17% output
2.66/2.71	c                   6.97ms  0.26% finalize_order
2.66/2.71	c                   1.28ms  0.05% break_generic
2.66/2.71	c         ───────────────────────────────────────────────
2.66/2.71	c                2695.28ms   100% total
2.66/2.71	c ------------------------------------------------------------------
2.66/2.79	c RoundingSat 2
2.66/2.79	c branch pb25
2.66/2.79	c commit 63f22ad
4.61/4.72	c #variables 137727 #constraints 327139
4.61/4.72	c objective is ce32 
4.61/4.73	c initial watched  CF 32, 64, 128, Arb: 35 , 0 , 0 , 0
4.61/4.73	c initial counting CF 32, 64, 128, Arb: 81551 , 0 , 0 , 0
4.61/4.73	c bounds - >= -35 @ 1.55907
7.60/7.78	c #Conflicts:       1000 | #Constraints:     328138
7.60/7.78	c bounds 158595916 >= -35 @ 4.44988
7.70/7.87	c bounds 124316412 >= -35 @ 4.52726
7.80/7.99	c bounds 98022975 >= -35 @ 4.6415
8.02/8.13	c bounds 97746090 >= -35 @ 4.77228
8.10/8.21	c bounds 97045974 >= -35 @ 4.85805
8.10/8.30	c bounds 96888416 >= -35 @ 4.93801
8.31/8.43	c bounds 96819274 >= -35 @ 5.07462
8.51/8.65	c bounds 96807121 >= -35 @ 5.27606
8.80/8.94	c bounds 96802092 >= -35 @ 5.56512
9.50/9.60	c bounds 96749870 >= -35 @ 6.21751
10.19/10.39	c bounds 94717254 >= -35 @ 6.99974
10.40/10.54	c bounds 94716504 >= -35 @ 7.13937
10.49/10.66	c bounds 94689358 >= -35 @ 7.25628
10.69/10.82	c bounds 94620216 >= -35 @ 7.41038
10.91/11.06	c bounds 93707172 >= -35 @ 7.63634
11.10/11.23	c bounds 93638030 >= -35 @ 7.80414
12.31/13.38	c bounds 93205399 >= -35 @ 9.04864
12.52/13.52	c bounds 92892261 >= -35 @ 9.19279
12.91/13.99	c bounds 92813623 >= -35 @ 9.65573
13.03/14.08	c bounds 92720107 >= -35 @ 9.73962
13.21/14.26	c bounds 92649489 >= -35 @ 9.92288
13.31/14.37	c bounds 92622343 >= -35 @ 10.028
15.81/16.84	c bounds 92515210 >= -35 @ 12.433
15.91/16.93	c bounds 92491104 >= -35 @ 12.5172
16.02/17.04	c bounds 92461858 >= -35 @ 12.629
16.31/17.37	c bounds 92426883 >= -35 @ 12.9466
16.41/17.46	c bounds 92402777 >= -35 @ 13.0262
16.60/17.60	c bounds 91949660 >= -35 @ 13.1624
22.49/23.52	c bounds 90439899 >= -35 @ 18.9315
22.58/23.60	c bounds 90436362 >= -35 @ 19.0075
22.58/23.68	c bounds 90431333 >= -35 @ 19.0844
22.69/23.78	c bounds 90411889 >= -35 @ 19.1772
22.88/23.98	c bounds 90400819 >= -35 @ 19.3758
23.00/24.08	c bounds 90157561 >= -35 @ 19.4675
32.55/33.61	c #Conflicts:       2000 | #Constraints:     329172
32.55/33.61	c INPROCESSING
32.55/33.61	c GARBAGE COLLECT
32.55/33.61	c bounds 90033068 >= -35 @ 28.9158
33.25/34.39	c bounds 90027092 >= -35 @ 29.6764
33.75/34.85	c bounds 89999784 >= -35 @ 30.1228
34.06/35.11	c bounds 89982352 >= -35 @ 30.3872
43.81/45.00	c bounds 89883188 >= -35 @ 40.0805
44.41/45.56	c bounds 89881878 >= -35 @ 40.6201
44.92/46.10	c bounds 89864446 >= -35 @ 41.1488
46.80/47.95	c bounds 76162376 >= -35 @ 42.9476
46.92/48.04	c bounds 76112962 >= -35 @ 43.0337
47.02/48.14	c bounds 76107933 >= -35 @ 43.1269
47.10/48.25	c bounds 76088949 >= -35 @ 43.2321
47.40/48.58	c bounds 76084386 >= -35 @ 43.5504
47.50/48.67	c bounds 76064844 >= -35 @ 43.6398
62.06/63.23	c #Conflicts:       3000 | #Constraints:     329144
62.06/63.23	c bounds 76051178 >= -35 @ 57.8517
62.55/63.77	c bounds 76040103 >= -35 @ 58.3799
63.26/64.41	c bounds 63773286 >= -35 @ 59.0007
63.35/64.50	c bounds 63770747 >= -35 @ 59.0901
63.66/64.80	c bounds 63755854 >= -35 @ 59.3847
65.86/67.09	c bounds 63614801 >= -35 @ 61.6238
68.44/69.66	c bounds 63507439 >= -35 @ 64.1234
73.62/74.84	c bounds 62744241 >= -35 @ 69.189
73.73/74.94	c bounds 62723337 >= -35 @ 69.2819
73.84/75.08	c bounds 62714426 >= -35 @ 69.4175
74.22/75.41	c bounds 62652047 >= -35 @ 69.732
74.32/75.57	c bounds 62649825 >= -35 @ 69.886
86.98/88.29	c bounds 12732647 >= -35 @ 82.3443
87.08/88.39	c #Conflicts:       4000 | #Constraints:     330162
87.08/88.39	c bounds 12723119 >= -35 @ 82.4449
87.39/88.60	c bounds 12665180 >= -35 @ 82.6414
87.39/88.69	c bounds 12644550 >= -35 @ 82.7258
87.59/88.87	c bounds 12631357 >= -35 @ 82.9019
87.89/89.14	c bounds 12627346 >= -35 @ 83.1577
87.98/89.23	c bounds 12543864 >= -35 @ 83.2431
88.48/89.74	c bounds 12519569 >= -35 @ 83.7469
88.58/89.83	c bounds 12501470 >= -35 @ 83.8308
88.68/89.92	c bounds 12468302 >= -35 @ 83.9164
89.78/91.07	c bounds 12424282 >= -35 @ 85.044
89.89/91.19	c bounds 12384921 >= -35 @ 85.1599
91.78/93.11	c bounds 12331051 >= -35 @ 87.0268
91.97/93.21	c bounds 12296892 >= -35 @ 87.1291
95.16/96.48	c INPROCESSING
95.16/96.48	c GARBAGE COLLECT
95.16/96.48	c bounds 12243833 >= -35 @ 90.3373
95.55/96.82	c bounds 11516354 >= -35 @ 90.666
96.77/98.03	c bounds 11496257 >= -35 @ 91.8574
96.77/98.10	c bounds 11480484 >= -35 @ 91.9269
100.94/102.26	c bounds 11480408 >= -35 @ 96.015
101.14/102.40	c bounds 11477336 >= -35 @ 96.1504
117.59/118.94	c #Conflicts:       5000 | #Constraints:     328356
117.59/118.94	c bounds 11330437 >= -35 @ 112.297
117.71/119.05	c bounds 11296334 >= -35 @ 112.409
172.68/174.27	c #Conflicts:       6000 | #Constraints:     329360
172.68/174.27	c INPROCESSING
172.68/174.27	c GARBAGE COLLECT
172.68/174.27	c bounds 11280344 >= -35 @ 166.7
172.98/174.55	c bounds 11247300 >= -35 @ 166.964
173.48/175.04	c bounds 11246560 >= -35 @ 167.433
173.77/175.38	c bounds 11202802 >= -35 @ 167.764
177.93/179.58	c bounds 11137758 >= -35 @ 171.878
180.21/181.83	c bounds 11135693 >= -35 @ 174.071
180.31/181.95	c bounds 11119703 >= -35 @ 174.185
194.07/195.73	c #Conflicts:       7000 | #Constraints:     328318
194.07/195.73	c bounds 11115549 >= -35 @ 187.634
210.24/211.96	c #Conflicts:       8000 | #Constraints:     329319
210.24/211.96	c bounds 10651055 >= -35 @ 203.522
210.54/212.23	c bounds 10637473 >= -35 @ 203.781
210.63/212.33	c bounds 10626535 >= -35 @ 203.882
210.84/212.55	c bounds 10607982 >= -35 @ 204.102
211.03/212.70	c bounds 9916082 >= -35 @ 204.25
211.13/212.80	c bounds 9888546 >= -35 @ 204.346
211.23/212.98	c bounds 9870138 >= -35 @ 204.512
211.35/213.09	c bounds 9851157 >= -35 @ 204.619
211.63/213.32	c bounds 9751937 >= -35 @ 204.847
213.13/214.88	c bounds 9746429 >= -35 @ 206.366
230.86/232.67	c bounds 9724877 >= -35 @ 223.727
231.07/232.87	c bounds 9722941 >= -35 @ 223.917
231.87/233.60	c bounds 9679183 >= -35 @ 224.627
236.43/238.29	c bounds 9676485 >= -35 @ 229.191
240.50/242.38	c bounds 9648107 >= -35 @ 233.17
240.90/242.75	c bounds 9581290 >= -35 @ 233.531
253.56/255.49	c #Conflicts:       9000 | #Constraints:     330335
253.56/255.49	c INPROCESSING
253.56/255.49	c GARBAGE COLLECT
253.56/255.49	c bounds 9571551 >= -35 @ 246.042
254.46/256.37	c bounds 9561262 >= -35 @ 246.902
254.86/256.80	c bounds 9561103 >= -35 @ 247.307
255.45/257.31	c bounds 9542739 >= -35 @ 247.81
255.65/257.60	c bounds 9319622 >= -35 @ 248.085
255.74/257.67	c bounds 9272893 >= -35 @ 248.162
269.31/271.26	c bounds 9247272 >= -35 @ 261.435
272.91/274.85	c #Conflicts:      10000 | #Constraints:     328941
272.91/274.85	c bounds 9240506 >= -35 @ 264.93
275.49/277.41	c bounds 9178319 >= -35 @ 267.438
276.79/278.76	c bounds 9173905 >= -35 @ 268.766
358.86/361.10	c #Conflicts:      11000 | #Constraints:     329944
358.86/361.10	c #Conflicts:      12000 | #Constraints:     330944
358.86/361.10	c INPROCESSING
358.86/361.10	c GARBAGE COLLECT
358.86/361.10	c #Conflicts:      13000 | #Constraints:     329372
358.86/361.10	c bounds 8787596 >= -35 @ 349.457
367.84/370.04	c bounds 8786275 >= -35 @ 358.216
367.95/370.18	c bounds 8774677 >= -35 @ 358.352
368.42/370.64	c bounds 8764305 >= -35 @ 358.8
368.53/370.79	c bounds 8758899 >= -35 @ 358.954
368.83/371.02	c bounds 8758221 >= -35 @ 359.175
407.17/409.52	c #Conflicts:      14000 | #Constraints:     330378
407.17/409.52	c #Conflicts:      15000 | #Constraints:     331378
407.17/409.52	c INPROCESSING
407.17/409.52	c GARBAGE COLLECT
407.17/409.52	c rational objective 507917
416.95/419.35	c bounds 8748134 >= -35 @ 406.415
417.05/419.42	c bounds 8739286 >= -35 @ 406.499
417.14/419.52	c bounds 8719503 >= -35 @ 406.594
424.02/426.40	c bounds 8225540 >= -35 @ 413.329
442.77/445.25	c #Conflicts:      16000 | #Constraints:     329579
442.77/445.25	c bounds 8196990 >= -35 @ 431.803
445.47/448.00	c bounds 8196167 >= -35 @ 434.505
449.76/452.27	c bounds 8177910 >= -35 @ 438.666
449.95/452.47	c bounds 8172192 >= -35 @ 438.872
450.05/452.58	c bounds 8152409 >= -35 @ 438.975
458.92/461.40	c bounds 7992210 >= -35 @ 447.596
459.02/461.55	c bounds 7975109 >= -35 @ 447.742
459.13/461.69	c bounds 7966261 >= -35 @ 447.886
459.32/461.83	c bounds 7962625 >= -35 @ 448.019
461.32/463.81	c bounds 7956003 >= -35 @ 449.966
461.82/464.33	c bounds 7930764 >= -35 @ 450.47
462.72/465.23	c bounds 7906861 >= -35 @ 451.346
462.81/465.39	c bounds 7906038 >= -35 @ 451.502
464.81/467.34	c bounds 7875896 >= -35 @ 453.412
465.11/467.66	c bounds 7872260 >= -35 @ 453.724
467.62/470.15	c #Conflicts:      17000 | #Constraints:     330594
467.62/470.15	c bounds 7616354 >= -35 @ 456.151
468.01/470.59	c bounds 7486221 >= -35 @ 456.579
469.09/471.62	c bounds 7475416 >= -35 @ 457.59
469.20/471.74	c bounds 7444522 >= -35 @ 457.71
469.90/472.41	c bounds 7430117 >= -35 @ 458.367
502.64/505.34	c #Conflicts:      18000 | #Constraints:     331599
502.64/505.34	c INPROCESSING
502.64/505.34	c GARBAGE COLLECT
502.64/505.34	c bounds 7421429 >= -35 @ 490.418
527.88/530.66	c #Conflicts:      19000 | #Constraints:     329483
527.88/530.66	c bounds 7400367 >= -35 @ 515.246
527.97/530.75	c bounds 7350551 >= -35 @ 515.337
587.82/590.78	c #Conflicts:      20000 | #Constraints:     330485
587.82/590.78	c #Conflicts:      21000 | #Constraints:     331485
587.82/590.78	c INPROCESSING
587.82/590.78	c GARBAGE COLLECT
587.82/590.78	c bounds 7348022 >= -35 @ 574.115
588.02/590.91	c bounds 7185697 >= -35 @ 574.239
593.71/596.68	c bounds 7181970 >= -35 @ 579.902
595.00/597.98	c bounds 7164761 >= -35 @ 581.181
597.79/600.74	c #Conflicts:      22000 | #Constraints:     329301
597.79/600.74	c bounds 7156640 >= -35 @ 583.87
601.48/604.40	c bounds 7140227 >= -35 @ 587.457
602.19/605.17	c bounds 7121875 >= -35 @ 588.208
604.37/607.35	c bounds 7008278 >= -35 @ 590.345
614.53/617.55	c bounds 6857176 >= -35 @ 600.294
614.73/617.70	c bounds 6832881 >= -35 @ 600.447
615.04/618.09	c bounds 6771188 >= -35 @ 600.832
615.72/618.78	c bounds 6692781 >= -35 @ 601.5
616.03/619.08	c bounds 6679385 >= -35 @ 601.795
616.92/619.91	c bounds 6651260 >= -35 @ 602.612
617.31/620.36	c bounds 6601718 >= -35 @ 603.046
617.92/620.98	c bounds 6583619 >= -35 @ 603.655
625.64/628.77	c #Conflicts:      23000 | #Constraints:     330313
625.64/628.77	c bounds 6568861 >= -35 @ 611.244
812.45/816.29	c #Conflicts:      24000 | #Constraints:     331315
812.45/816.29	c #Conflicts:      25000 | #Constraints:     332315
812.45/816.29	c INPROCESSING
812.45/816.29	c GARBAGE COLLECT
812.45/816.29	c #Conflicts:      26000 | #Constraints:     329865
812.45/816.29	c #Conflicts:      27000 | #Constraints:     330868
812.45/816.29	c #Conflicts:      28000 | #Constraints:     331871
812.45/816.29	c #Conflicts:      29000 | #Constraints:     332874
812.45/816.29	c INPROCESSING
812.45/816.29	c GARBAGE COLLECT
812.45/816.29	c rational objective 512995
896.30/900.48	c #Conflicts:      30000 | #Constraints:     330249
896.30/900.48	c #Conflicts:      31000 | #Constraints:     331249
896.30/900.48	c #Conflicts:      32000 | #Constraints:     332249
896.30/900.48	c bounds 5878847 >= -35 @ 876.757
896.41/900.58	c bounds 5793225 >= -35 @ 876.847
898.30/902.41	c bounds 5715608 >= -35 @ 878.637
899.40/903.50	c bounds 5556077 >= -35 @ 879.697
899.79/903.98	c bounds 5548515 >= -35 @ 880.167
901.59/905.79	c bounds 5541036 >= -35 @ 881.936
901.69/905.89	c bounds 5533474 >= -35 @ 882.028
902.01/906.13	c bounds 5502097 >= -35 @ 882.27
902.09/906.27	c bounds 5495080 >= -35 @ 882.405
902.79/906.95	c bounds 5491290 >= -35 @ 883.06
1006.28/1010.83	c #Conflicts:      33000 | #Constraints:     333260
1006.28/1010.83	c INPROCESSING
1006.28/1010.83	c GARBAGE COLLECT
1006.28/1010.83	c #Conflicts:      34000 | #Constraints:     330345
1006.28/1010.83	c #Conflicts:      35000 | #Constraints:     331345
1006.28/1010.83	c #Conflicts:      36000 | #Constraints:     332346
1006.28/1010.83	c #Conflicts:      37000 | #Constraints:     333346
1006.28/1010.83	c INPROCESSING
1006.28/1010.83	c GARBAGE COLLECT
1006.28/1010.83	c bounds 5423965 >= -35 @ 984.235
1006.39/1010.99	c bounds 5410483 >= -35 @ 984.39
1006.88/1011.45	c bounds 5303137 >= -35 @ 984.835
1009.38/1014.00	c bounds 5258136 >= -35 @ 987.314
1009.67/1014.29	c bounds 5250574 >= -35 @ 987.606
1011.58/1016.18	c bounds 5231101 >= -35 @ 989.45
1015.36/1020.01	c bounds 5018059 >= -35 @ 993.194
1016.05/1020.63	c bounds 4999675 >= -35 @ 993.8
1022.55/1027.18	c bounds 4990729 >= -35 @ 1000.26
1044.97/1049.61	c #Conflicts:      38000 | #Constraints:     330411
1044.97/1049.61	c bounds 4942535 >= -35 @ 1022.41
1244.44/1249.87	c #Conflicts:      39000 | #Constraints:     331412
1244.44/1249.87	c #Conflicts:      40000 | #Constraints:     332412
1244.44/1249.87	c #Conflicts:      41000 | #Constraints:     333412
1244.44/1249.87	c INPROCESSING
1244.44/1249.87	c GARBAGE COLLECT
1244.44/1249.87	c #Conflicts:      42000 | #Constraints:     330141
1244.44/1249.87	c #Conflicts:      43000 | #Constraints:     331141
1244.44/1249.87	c #Conflicts:      44000 | #Constraints:     332141
1244.44/1249.87	c #Conflicts:      45000 | #Constraints:     333141
1244.44/1249.87	c #Conflicts:      46000 | #Constraints:     334141
1244.44/1249.87	c INPROCESSING
1244.44/1249.87	c GARBAGE COLLECT
1244.44/1249.87	c bounds 4911923 >= -35 @ 1217.44
1250.52/1256.00	c bounds 4902861 >= -35 @ 1223.44
1259.28/1264.78	c #Conflicts:      47000 | #Constraints:     330767
1259.28/1264.78	c bounds 4314249 >= -35 @ 1232.01
1363.25/1369.15	c #Conflicts:      48000 | #Constraints:     331768
1363.25/1369.15	c #Conflicts:      49000 | #Constraints:     332768
1363.25/1369.15	c #Conflicts:      50000 | #Constraints:     333769
1363.25/1369.15	c #Conflicts:      51000 | #Constraints:     334769
1363.25/1369.15	c INPROCESSING
1363.25/1369.15	c GARBAGE COLLECT
1363.25/1369.15	c bounds 4305982 >= -35 @ 1333.46
1407.19/1413.26	c #Conflicts:      52000 | #Constraints:     331025
1407.19/1413.26	c #Conflicts:      53000 | #Constraints:     332025
1407.19/1413.26	c bounds 4109164 >= -35 @ 1376.56
1649.58/1656.40	c #Conflicts:      54000 | #Constraints:     333026
1649.58/1656.40	c #Conflicts:      55000 | #Constraints:     334027
1649.58/1656.40	c #Conflicts:      56000 | #Constraints:     335027
1649.58/1656.40	c INPROCESSING
1649.58/1656.40	c GARBAGE COLLECT
1649.58/1656.40	c #Conflicts:      57000 | #Constraints:     331214
1649.58/1656.40	c #Conflicts:      58000 | #Constraints:     332216
1649.58/1656.40	c #Conflicts:      59000 | #Constraints:     333217
1649.58/1656.40	c #Conflicts:      60000 | #Constraints:     334220
1649.58/1656.40	c #Conflicts:      61000 | #Constraints:     335224
1649.58/1656.40	c INPROCESSING
1649.58/1656.40	c GARBAGE COLLECT
1649.58/1656.40	c rational objective 513849
1652.37/1659.27	c bounds 4089424 >= -35 @ 1616.98
1680.55/1687.55	c #Conflicts:      62000 | #Constraints:     328912
1680.55/1687.55	c bounds 4079766 >= -35 @ 1644.61
1735.01/1742.23	c #Conflicts:      63000 | #Constraints:     329918
1735.01/1742.23	c #Conflicts:      64000 | #Constraints:     330918
1735.01/1742.23	c bounds 4040802 >= -35 @ 1697.9
1807.24/1814.79	c #Conflicts:      65000 | #Constraints:     331919
1807.24/1814.79	c #Conflicts:      66000 | #Constraints:     332919
1807.24/1814.79	c INPROCESSING
1807.24/1814.79	c GARBAGE COLLECT
1807.24/1814.79	c bounds 4010405 >= -35 @ 1768.63
1864.00/1871.75	c #Conflicts:      67000 | #Constraints:     328725
1864.00/1871.75	c #Conflicts:      68000 | #Constraints:     329725
1864.00/1871.75	c bounds 3952313 >= -35 @ 1824.02
2147.47/2156.22	c #Conflicts:      69000 | #Constraints:     330726
2147.47/2156.22	c #Conflicts:      70000 | #Constraints:     331726
2147.47/2156.22	c #Conflicts:      71000 | #Constraints:     332726
2147.47/2156.22	c #Conflicts:      72000 | #Constraints:     333726
2147.47/2156.22	c INPROCESSING
2147.47/2156.22	c GARBAGE COLLECT
2147.47/2156.22	c #Conflicts:      73000 | #Constraints:     329363
2147.47/2156.22	c #Conflicts:      74000 | #Constraints:     330363
2147.47/2156.22	c #Conflicts:      75000 | #Constraints:     331363
2147.47/2156.22	c #Conflicts:      76000 | #Constraints:     332363
2147.47/2156.22	c #Conflicts:      77000 | #Constraints:     333363
2147.47/2156.22	c #Conflicts:      78000 | #Constraints:     334364
2147.47/2156.22	c INPROCESSING
2147.47/2156.22	c GARBAGE COLLECT
2147.47/2156.22	c rational objective 536871
3210.95/3223.31	c #Conflicts:      79000 | #Constraints:     329752
3210.95/3223.31	c #Conflicts:      80000 | #Constraints:     330752
3210.95/3223.31	c #Conflicts:      81000 | #Constraints:     331752
3210.95/3223.31	c #Conflicts:      82000 | #Constraints:     332752
3210.95/3223.31	c #Conflicts:      83000 | #Constraints:     333752
3210.95/3223.31	c #Conflicts:      84000 | #Constraints:     334752
3210.95/3223.31	c INPROCESSING
3210.95/3223.31	c GARBAGE COLLECT
3210.95/3223.31	c #Conflicts:      85000 | #Constraints:     329895
3210.95/3223.31	c #Conflicts:      86000 | #Constraints:     330895
3210.95/3223.31	c #Conflicts:      87000 | #Constraints:     331895
3210.95/3223.31	c #Conflicts:      88000 | #Constraints:     332895
3210.95/3223.31	c #Conflicts:      89000 | #Constraints:     333895
3210.95/3223.31	c #Conflicts:      90000 | #Constraints:     335205
3210.95/3223.31	c INPROCESSING
3210.95/3223.31	c GARBAGE COLLECT
3210.95/3223.31	c #Conflicts:      91000 | #Constraints:     330116
3210.95/3223.31	c #Conflicts:      92000 | #Constraints:     331116
3210.95/3223.31	c #Conflicts:      93000 | #Constraints:     332116
3210.95/3223.31	c #Conflicts:      94000 | #Constraints:     333116
3210.95/3223.31	c #Conflicts:      95000 | #Constraints:     334116
3210.95/3223.31	c #Conflicts:      96000 | #Constraints:     335116
3210.95/3223.31	c INPROCESSING
3210.95/3223.31	c GARBAGE COLLECT
3210.95/3223.31	c #Conflicts:      97000 | #Constraints:     329842
3210.95/3223.31	c #Conflicts:      98000 | #Constraints:     330842
3210.95/3223.31	c #Conflicts:      99000 | #Constraints:     331842
3210.95/3223.31	c #Conflicts:     100000 | #Constraints:     332842
3210.95/3223.31	c #Conflicts:     101000 | #Constraints:     333842
3210.95/3223.31	c #Conflicts:     102000 | #Constraints:     334842
3210.95/3223.31	c #Conflicts:     103000 | #Constraints:     335842
3210.95/3223.31	c INPROCESSING
3210.95/3223.31	c GARBAGE COLLECT
3210.95/3223.31	c #Conflicts:     104000 | #Constraints:     330439
3210.95/3223.31	c #Conflicts:     105000 | #Constraints:     331439
3210.95/3223.31	c #Conflicts:     106000 | #Constraints:     332439
3210.95/3223.31	c #Conflicts:     107000 | #Constraints:     333439
3210.95/3223.31	c #Conflicts:     108000 | #Constraints:     334439
3210.95/3223.31	c #Conflicts:     109000 | #Constraints:     335439
3210.95/3223.31	c #Conflicts:     110000 | #Constraints:     336439
3210.95/3223.31	c INPROCESSING
3210.95/3223.31	c GARBAGE COLLECT
3210.95/3223.31	c #Conflicts:     111000 | #Constraints:     330857
3210.95/3223.31	c #Conflicts:     112000 | #Constraints:     331857
3210.95/3223.31	c #Conflicts:     113000 | #Constraints:     332857
3210.95/3223.31	c #Conflicts:     114000 | #Constraints:     333857
3210.95/3223.31	c #Conflicts:     115000 | #Constraints:     334857
3210.95/3223.31	c #Conflicts:     116000 | #Constraints:     335857
3210.95/3223.31	c #Conflicts:     117000 | #Constraints:     336857
3210.95/3223.31	c INPROCESSING
3210.95/3223.31	c GARBAGE COLLECT
3210.95/3223.31	c bounds 3718324 >= -35 @ 3143.59
2.72/3400.28	HOME/run-opt-break-log.sh: line 3: 72843 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 (62501 MiB free)
  memory of node 1: 64465 MiB (63411 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Current StackSize limit: 8192 KiB

solver pid=72815, runsolver pid=72812

[startup+0.100073 s]*
/proc/loadavg: 1.12 1.82 2.01 5/244 72819
/proc/meminfo: memFree=128816600/131382112 swapFree=33005784/33010684
[pid=72815] ppid=72812 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/72815/stat : 72815 (run-opt-break-l) S 72812 72815 72765 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 60003686 4292608 768 18446744073709551615 94072178036736 94072178931269 140734446574400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94072179170320 94072179218064 94072191356928 140734446577941 140734446578142 140734446578142 140734446583744 0
/proc/72815/statm: 1048 768 704 219 0 110 0
[pid=72817] ppid=72815 vsize=92724 memory=79628 CPUtime=0.08 cores=5,7
/proc/72817/stat : 72817 (pbsuma) R 72815 72815 72765 0 -1 4194304 3755 0 0 0 6 2 0 0 20 0 1 0 60003687 94949376 19907 18446744073709551615 4210688 4653049 140732825435248 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 7979008 140732825438435 140732825438770 140732825438770 140732825444335 0
/proc/72817/statm: 23181 19907 928 108 0 20589 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 96916 KiB
Current children cumulated memory: 82700 KiB

[startup+0.214032 s]*
/proc/loadavg: 1.12 1.82 2.01 4/247 72828
/proc/meminfo: memFree=128764668/131382112 swapFree=33005784/33010684
[pid=72815] ppid=72812 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/72815/stat : 72815 (run-opt-break-l) S 72812 72815 72765 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 60003686 4292608 768 18446744073709551615 94072178036736 94072178931269 140734446574400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94072179170320 94072179218064 94072191356928 140734446577941 140734446578142 140734446578142 140734446583744 0
/proc/72815/statm: 1048 768 704 219 0 110 0
[pid=72817] ppid=72815 vsize=99540 memory=89276 CPUtime=0.2 cores=5,7
/proc/72817/stat : 72817 (pbsuma) R 72815 72815 72765 0 -1 4194304 5646 0 0 0 16 4 0 0 20 0 1 0 60003687 101928960 22319 18446744073709551615 4210688 4653049 140732825435248 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 7979008 140732825438435 140732825438770 140732825438770 140732825444335 0
/proc/72817/statm: 24885 22319 928 108 0 22293 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 103732 KiB
Current children cumulated memory: 92348 KiB

[startup+0.315151 s]*
/proc/loadavg: 1.12 1.82 2.01 5/255 72839
/proc/meminfo: memFree=128687048/131382112 swapFree=33005784/33010684
[pid=72815] ppid=72812 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/72815/stat : 72815 (run-opt-break-l) S 72812 72815 72765 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 60003686 4292608 768 18446744073709551615 94072178036736 94072178931269 140734446574400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94072179170320 94072179218064 94072191356928 140734446577941 140734446578142 140734446578142 140734446583744 0
/proc/72815/statm: 1048 768 704 219 0 110 0
[pid=72817] ppid=72815 vsize=106408 memory=96536 CPUtime=0.29 cores=5,7
/proc/72817/stat : 72817 (pbsuma) R 72815 72815 72765 0 -1 4194304 7315 0 0 0 24 5 0 0 20 0 1 0 60003687 108961792 24134 18446744073709551615 4210688 4653049 140732825435248 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 7979008 140732825438435 140732825438770 140732825438770 140732825444335 0
/proc/72817/statm: 26602 24134 928 108 0 24010 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 110600 KiB
Current children cumulated memory: 99608 KiB

[startup+0.70043 s]
/proc/loadavg: 1.12 1.82 2.01 5/255 72839
/proc/meminfo: memFree=128420576/131382112 swapFree=33005784/33010684
[pid=72815] ppid=72812 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/72815/stat : 72815 (run-opt-break-l) S 72812 72815 72765 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 60003686 4292608 768 18446744073709551615 94072178036736 94072178931269 140734446574400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94072179170320 94072179218064 94072191356928 140734446577941 140734446578142 140734446578142 140734446583744 0
/proc/72815/statm: 1048 768 704 219 0 110 0
[pid=72817] ppid=72815 vsize=212616 memory=179748 CPUtime=0.66 cores=5,7
/proc/72817/stat : 72817 (pbsuma) R 72815 72815 72765 0 -1 4194304 19250 0 0 0 55 11 0 0 20 0 1 0 60003687 217718784 44937 18446744073709551615 4210688 4653049 140732825435248 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 7979008 140732825438435 140732825438770 140732825438770 140732825444335 0
/proc/72817/statm: 53154 44937 992 108 0 50562 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 216808 KiB
Current children cumulated memory: 182820 KiB

[startup+1.50043 s]
/proc/loadavg: 1.12 1.82 2.01 5/255 72840
/proc/meminfo: memFree=128226824/131382112 swapFree=33005784/33010684
[pid=72815] ppid=72812 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/72815/stat : 72815 (run-opt-break-l) S 72812 72815 72765 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 60003686 4292608 768 18446744073709551615 94072178036736 94072178931269 140734446574400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94072179170320 94072179218064 94072191356928 140734446577941 140734446578142 140734446578142 140734446583744 0
/proc/72815/statm: 1048 768 704 219 0 110 0
[pid=72817] ppid=72815 vsize=484788 memory=362124 CPUtime=1.46 cores=5,7
/proc/72817/stat : 72817 (pbsuma) R 72815 72815 72765 0 -1 4194304 46979 0 0 0 123 23 0 0 20 0 1 0 60003687 496422912 90531 18446744073709551615 4210688 4653049 140732825435248 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 7979008 140732825438435 140732825438770 140732825438770 140732825444335 0
/proc/72817/statm: 121197 90531 992 108 0 118605 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 488980 KiB
Current children cumulated memory: 365196 KiB

[startup+3.11345 s]
/proc/loadavg: 1.12 1.82 2.01 5/255 72843
/proc/meminfo: memFree=128152392/131382112 swapFree=33005784/33010684
[pid=72815] ppid=72812 vsize=4192 memory=3072 CPUtime=2.72 cores=5,7
/proc/72815/stat : 72815 (run-opt-break-l) S 72812 72815 72765 0 -1 4194304 240 49054 0 0 0 0 246 26 20 0 1 0 60003686 4292608 768 18446744073709551615 94072178036736 94072178931269 140734446574400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94072179170320 94072179218064 94072191356928 140734446577941 140734446578142 140734446578142 140734446583744 0
/proc/72815/statm: 1048 768 704 219 0 110 0
[pid=72843] ppid=72815 vsize=96156 memory=52292 CPUtime=0.31 cores=5,7
/proc/72843/stat : 72843 (roundingsat) R 72815 72815 72765 0 -1 4194304 8951 0 0 0 23 8 0 0 20 0 1 0 60003964 98463744 13073 18446744073709551615 4227072 8923433 140729775126768 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37523456 140729775130900 140729775131176 140729775131176 140729775136746 0
/proc/72843/statm: 24039 13073 1984 1147 0 11466 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 100348 KiB
Current children cumulated memory: 55364 KiB

[startup+6.30041 s]
/proc/loadavg: 1.35 1.86 2.02 5/255 72843
/proc/meminfo: memFree=126302160/131382112 swapFree=33005784/33010684
[pid=72815] ppid=72812 vsize=4192 memory=3072 CPUtime=2.72 cores=5,7
/proc/72815/stat : 72815 (run-opt-break-l) S 72812 72815 72765 0 -1 4194304 240 49054 0 0 0 0 246 26 20 0 1 0 60003686 4292608 768 18446744073709551615 94072178036736 94072178931269 140734446574400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94072179170320 94072179218064 94072191356928 140734446577941 140734446578142 140734446578142 140734446583744 0
/proc/72815/statm: 1048 768 704 219 0 110 0
[pid=72843] ppid=72815 vsize=640128 memory=486408 CPUtime=3.49 cores=5,7
/proc/72843/stat : 72843 (roundingsat) R 72815 72815 72765 0 -1 4194304 45192 0 0 0 301 48 0 0 20 0 1 0 60003964 655491072 121602 18446744073709551615 4227072 8923433 140729775126768 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37523456 140729775130900 140729775131176 140729775131176 140729775136746 0
/proc/72843/statm: 160032 121602 2400 1147 0 147459 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 644320 KiB
Current children cumulated memory: 489480 KiB

[startup+12.7004 s]
/proc/loadavg: 1.56 1.89 2.03 4/259 72848
/proc/meminfo: memFree=125731124/131382112 swapFree=33005784/33010684
[pid=72815] ppid=72812 vsize=4192 memory=3072 CPUtime=2.72 cores=5,7
/proc/72815/stat : 72815 (run-opt-break-l) S 72812 72815 72765 0 -1 4194304 240 49054 0 0 0 0 246 26 20 0 1 0 60003686 4292608 768 18446744073709551615 94072178036736 94072178931269 140734446574400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94072179170320 94072179218064 94072191356928 140734446577941 140734446578142 140734446578142 140734446583744 0
/proc/72815/statm: 1048 768 704 219 0 110 0
[pid=72843] ppid=72815 vsize=711076 memory=558972 CPUtime=9 cores=5,7
/proc/72843/stat : 72843 (roundingsat) R 72815 72815 72765 0 -1 4194304 59309 0 0 0 838 62 0 0 20 0 1 0 60003964 728141824 139743 18446744073709551615 4227072 8923433 140729775126768 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37523456 140729775130900 140729775131176 140729775131176 140729775136746 0
/proc/72843/statm: 177769 139743 2400 1147 0 165196 0
Current children cumulated CPU time: 11.72 s
Current children cumulated vsize: 715268 KiB
Current children cumulated memory: 562044 KiB

[startup+25.5004 s]
/proc/loadavg: 2.10 2.00 2.06 5/259 72859
/proc/meminfo: memFree=123598736/131382112 swapFree=33005784/33010684
[pid=72815] ppid=72812 vsize=4192 memory=3072 CPUtime=2.72 cores=5,7
/proc/72815/stat : 72815 (run-opt-break-l) S 72812 72815 72765 0 -1 4194304 240 49054 0 0 0 0 246 26 20 0 1 0 60003686 4292608 768 18446744073709551615 94072178036736 94072178931269 140734446574400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94072179170320 94072179218064 94072191356928 140734446577941 140734446578142 140734446578142 140734446583744 0
/proc/72815/statm: 1048 768 704 219 0 110 0
[pid=72843] ppid=72815 vsize=875776 memory=712788 CPUtime=21.76 cores=5,7
/proc/72843/stat : 72843 (roundingsat) R 72815 72815 72765 0 -1 4194304 82460 0 0 0 2086 90 0 0 20 0 1 0 60003964 896794624 178197 18446744073709551615 4227072 8923433 140729775126768 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37523456 140729775130900 140729775131176 140729775131176 140729775136746 0
/proc/72843/statm: 218944 178197 2432 1147 0 206371 0
Current children cumulated CPU time: 24.48 s
Current children cumulated vsize: 879968 KiB
Current children cumulated memory: 715860 KiB

[startup+51.1135 s]
/proc/loadavg: 2.83 2.17 2.12 5/260 72860
/proc/meminfo: memFree=119861720/131382112 swapFree=33005784/33010684
[pid=72815] ppid=72812 vsize=4192 memory=3072 CPUtime=2.72 cores=5,7
/proc/72815/stat : 72815 (run-opt-break-l) S 72812 72815 72765 0 -1 4194304 240 49054 0 0 0 0 246 26 20 0 1 0 60003686 4292608 768 18446744073709551615 94072178036736 94072178931269 140734446574400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94072179170320 94072179218064 94072191356928 140734446577941 140734446578142 140734446578142 140734446583744 0
/proc/72815/statm: 1048 768 704 219 0 110 0
[pid=72843] ppid=72815 vsize=1023868 memory=843204 CPUtime=47.28 cores=5,7
/proc/72843/stat : 72843 (roundingsat) R 72815 72815 72765 0 -1 4194304 104694 0 0 0 4601 127 0 0 20 0 1 0 60003964 1048440832 210801 18446744073709551615 4227072 8923433 140729775126768 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37523456 140729775130900 140729775131176 140729775131176 140729775136746 0
/proc/72843/statm: 255967 210801 2432 1147 0 243394 0
Current children cumulated CPU time: 50 s
Current children cumulated vsize: 1028060 KiB
Current children cumulated memory: 846276 KiB

[startup+102.3 s]
/proc/loadavg: 3.55 2.47 2.23 5/261 72863
/proc/meminfo: memFree=113599916/131382112 swapFree=33005784/33010684
[pid=72815] ppid=72812 vsize=4192 memory=3072 CPUtime=2.72 cores=5,7
/proc/72815/stat : 72815 (run-opt-break-l) S 72812 72815 72765 0 -1 4194304 240 49054 0 0 0 0 246 26 20 0 1 0 60003686 4292608 768 18446744073709551615 94072178036736 94072178931269 140734446574400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94072179170320 94072179218064 94072191356928 140734446577941 140734446578142 140734446578142 140734446583744 0
/proc/72815/statm: 1048 768 704 219 0 110 0
[pid=72843] ppid=72815 vsize=1588296 memory=1275352 CPUtime=98.32 cores=5,7
/proc/72843/stat : 72843 (roundingsat) R 72815 72815 72765 0 -1 4194304 167693 0 0 0 9605 227 0 0 20 0 1 0 60003964 1626415104 318838 18446744073709551615 4227072 8923433 140729775126768 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37523456 140729775130900 140729775131176 140729775131176 140729775136746 0
/proc/72843/statm: 397074 318838 2432 1147 0 384501 0
Current children cumulated CPU time: 101.04 s
Current children cumulated vsize: 1592488 KiB
Current children cumulated memory: 1278424 KiB

[startup+162.3 s]
/proc/loadavg: 3.88 2.77 2.35 5/262 72866
/proc/meminfo: memFree=108245684/131382112 swapFree=33005784/33010684
[pid=72815] ppid=72812 vsize=4192 memory=3072 CPUtime=2.72 cores=5,7
/proc/72815/stat : 72815 (run-opt-break-l) S 72812 72815 72765 0 -1 4194304 240 49054 0 0 0 0 246 26 20 0 1 0 60003686 4292608 768 18446744073709551615 94072178036736 94072178931269 140734446574400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94072179170320 94072179218064 94072191356928 140734446577941 140734446578142 140734446578142 140734446583744 0
/proc/72815/statm: 1048 768 704 219 0 110 0
[pid=72843] ppid=72815 vsize=1620872 memory=1312068 CPUtime=158.14 cores=5,7
/proc/72843/stat : 72843 (roundingsat) R 72815 72815 72765 0 -1 4194304 172917 0 0 0 15483 331 0 0 20 0 1 0 60003964 1659772928 328017 18446744073709551615 4227072 8923433 140729775126768 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37523456 140729775130900 140729775131176 140729775131176 140729775136746 0
/proc/72843/statm: 405218 328017 2432 1147 0 392645 0
Current children cumulated CPU time: 160.86 s
Current children cumulated vsize: 1625064 KiB
Current children cumulated memory: 1315140 KiB

[startup+222.3 s]
/proc/loadavg: 4.24 3.07 2.48 5/262 72868
/proc/meminfo: memFree=101263952/131382112 swapFree=33005784/33010684
[pid=72815] ppid=72812 vsize=4192 memory=3072 CPUtime=2.72 cores=5,7
/proc/72815/stat : 72815 (run-opt-break-l) S 72812 72815 72765 0 -1 4194304 240 49054 0 0 0 0 246 26 20 0 1 0 60003686 4292608 768 18446744073709551615 94072178036736 94072178931269 140734446574400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94072179170320 94072179218064 94072191356928 140734446577941 140734446578142 140734446578142 140734446583744 0
/proc/72815/statm: 1048 768 704 219 0 110 0
[pid=72843] ppid=72815 vsize=1653412 memory=1368960 CPUtime=217.89 cores=5,7
/proc/72843/stat : 72843 (roundingsat) R 72815 72815 72765 0 -1 4194304 182620 0 0 0 21363 426 0 0 20 0 1 0 60003964 1693093888 342240 18446744073709551615 4227072 8923433 140729775126768 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37523456 140729775130900 140729775131176 140729775131176 140729775136746 0
/proc/72843/statm: 413353 342240 2432 1147 0 400780 0

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

/proc/72815/statm: 1048 768 704 219 0 110 0
[pid=72843] ppid=72815 vsize=4313676 memory=3812600 CPUtime=3087.62 cores=5,7
/proc/72843/stat : 72843 (roundingsat) R 72815 72815 72765 0 -1 4194304 897111 0 1 0 302585 6177 0 0 20 0 1 0 60003964 4417204224 953150 18446744073709551615 4227072 8923433 140729775126768 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37523456 140729775130900 140729775131176 140729775131176 140729775136746 0
/proc/72843/statm: 1078419 953150 2528 1147 0 1065846 0
Current children cumulated CPU time: 3090.34 s
Current children cumulated vsize: 4317868 KiB
Current children cumulated memory: 3815672 KiB

[startup+3162.3 s]
/proc/loadavg: 4.27 4.39 4.25 4/263 73019
/proc/meminfo: memFree=1600420/131382112 swapFree=33005784/33010684
[pid=72815] ppid=72812 vsize=4192 memory=3072 CPUtime=2.72 cores=5,7
/proc/72815/stat : 72815 (run-opt-break-l) S 72812 72815 72765 0 -1 4194304 240 49054 0 0 0 0 246 26 20 0 1 0 60003686 4292608 768 18446744073709551615 94072178036736 94072178931269 140734446574400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94072179170320 94072179218064 94072191356928 140734446577941 140734446578142 140734446578142 140734446583744 0
/proc/72815/statm: 1048 768 704 219 0 110 0
[pid=72843] ppid=72815 vsize=4313676 memory=3812600 CPUtime=3147.42 cores=5,7
/proc/72843/stat : 72843 (roundingsat) R 72815 72815 72765 0 -1 4194304 910411 0 1 0 308417 6325 0 0 20 0 1 0 60003964 4417204224 953150 18446744073709551615 4227072 8923433 140729775126768 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37523456 140729775130900 140729775131176 140729775131176 140729775136746 0
/proc/72843/statm: 1078419 953150 2528 1147 0 1065846 0
Current children cumulated CPU time: 3150.14 s
Current children cumulated vsize: 4317868 KiB
Current children cumulated memory: 3815672 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.33 4.24 5/263 73021
/proc/meminfo: memFree=1480580/131382112 swapFree=33005784/33010684
[pid=72815] ppid=72812 vsize=4192 memory=3072 CPUtime=2.72 cores=5,7
/proc/72815/stat : 72815 (run-opt-break-l) S 72812 72815 72765 0 -1 4194304 240 49054 0 0 0 0 246 26 20 0 1 0 60003686 4292608 768 18446744073709551615 94072178036736 94072178931269 140734446574400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94072179170320 94072179218064 94072191356928 140734446577941 140734446578142 140734446578142 140734446583744 0
/proc/72815/statm: 1048 768 704 219 0 110 0
[pid=72843] ppid=72815 vsize=4313676 memory=3812600 CPUtime=3207.24 cores=5,7
/proc/72843/stat : 72843 (roundingsat) R 72815 72815 72765 0 -1 4194304 935355 0 1 0 314260 6464 0 0 20 0 1 0 60003964 4417204224 953150 18446744073709551615 4227072 8923433 140729775126768 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37523456 140729775130900 140729775131176 140729775131176 140729775136746 0
/proc/72843/statm: 1078419 953150 2528 1147 0 1065846 0
Current children cumulated CPU time: 3209.96 s
Current children cumulated vsize: 4317868 KiB
Current children cumulated memory: 3815672 KiB

[startup+3282.3 s]
/proc/loadavg: 4.33 4.36 4.26 5/263 73023
/proc/meminfo: memFree=1450936/131382112 swapFree=33005784/33010684
[pid=72815] ppid=72812 vsize=4192 memory=3072 CPUtime=2.72 cores=5,7
/proc/72815/stat : 72815 (run-opt-break-l) S 72812 72815 72765 0 -1 4194304 240 49054 0 0 0 0 246 26 20 0 1 0 60003686 4292608 768 18446744073709551615 94072178036736 94072178931269 140734446574400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94072179170320 94072179218064 94072191356928 140734446577941 140734446578142 140734446578142 140734446583744 0
/proc/72815/statm: 1048 768 704 219 0 110 0
[pid=72843] ppid=72815 vsize=4313676 memory=3812600 CPUtime=3267.08 cores=5,7
/proc/72843/stat : 72843 (roundingsat) R 72815 72815 72765 0 -1 4194304 954516 0 1 0 320122 6586 0 0 20 0 1 0 60003964 4417204224 953150 18446744073709551615 4227072 8923433 140729775126768 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37523456 140729775130900 140729775131176 140729775131176 140729775136746 0
/proc/72843/statm: 1078419 953150 2528 1147 0 1065846 0
Current children cumulated CPU time: 3269.8 s
Current children cumulated vsize: 4317868 KiB
Current children cumulated memory: 3815672 KiB

[startup+3342.3 s]
/proc/loadavg: 4.27 4.35 4.26 5/263 73030
/proc/meminfo: memFree=1665352/131382112 swapFree=33005784/33010684
[pid=72815] ppid=72812 vsize=4192 memory=3072 CPUtime=2.72 cores=5,7
/proc/72815/stat : 72815 (run-opt-break-l) S 72812 72815 72765 0 -1 4194304 240 49054 0 0 0 0 246 26 20 0 1 0 60003686 4292608 768 18446744073709551615 94072178036736 94072178931269 140734446574400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94072179170320 94072179218064 94072191356928 140734446577941 140734446578142 140734446578142 140734446583744 0
/proc/72815/statm: 1048 768 704 219 0 110 0
[pid=72843] ppid=72815 vsize=4321284 memory=3814392 CPUtime=3326.75 cores=5,7
/proc/72843/stat : 72843 (roundingsat) R 72815 72815 72765 0 -1 4194304 978596 0 1 0 325971 6704 0 0 20 0 1 0 60003964 4424994816 953598 18446744073709551615 4227072 8923433 140729775126768 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 37523456 140729775130900 140729775131176 140729775131176 140729775136746 0
/proc/72843/statm: 1080321 953598 2528 1147 0 1067748 0
Current children cumulated CPU time: 3329.47 s
Current children cumulated vsize: 4325476 KiB
Current children cumulated memory: 3817464 KiB

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

# cumulated CPU time of all completed processes:  user=3302.5 s, system=70.4555 s

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

[startup+3353.6 s]
/proc/loadavg: 4.30 4.35 4.26 5/263 73030
/proc/meminfo: memFree=1463248/131382112 swapFree=33005784/33010684
[pid=72815] ppid=72812 vsize=4192 memory=3072 CPUtime=2.72 cores=5,7
/proc/72815/stat : 72815 (run-opt-break-l) S 72812 72815 72765 0 -1 4194304 240 49054 0 0 0 0 246 26 20 0 1 0 60003686 4292608 768 18446744073709551615 94072178036736 94072178931269 140734446574400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94072179170320 94072179218064 94072191356928 140734446577941 140734446578142 140734446578142 140734446583744 0
/proc/72815/statm: 1048 768 704 219 0 110 0
[pid=72843] ppid=72815 vsize=4321284 memory=3814392 CPUtime=3337.95 cores=5,7
/proc/72843/stat : 72843 (roundingsat) R 72815 72815 72765 0 -1 4194304 984729 0 1 0 327069 6726 0 0 20 0 1 0 60003964 4424994816 953598 18446744073709551615 4227072 8923433 140729775126768 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 37523456 140729775130900 140729775131176 140729775131176 140729775136746 0
/proc/72843/statm: 1080321 953598 2528 1147 0 1067748 0
Current children cumulated CPU time: 3340.67 s
Current children cumulated vsize: 4325476 KiB
Current children cumulated memory: 3817464 KiB

[startup+3379.2 s]
/proc/loadavg: 4.18 4.32 4.25 5/263 73031
/proc/meminfo: memFree=1715584/131382112 swapFree=33005784/33010684
[pid=72815] ppid=72812 vsize=4192 memory=3072 CPUtime=2.72 cores=5,7
/proc/72815/stat : 72815 (run-opt-break-l) S 72812 72815 72765 0 -1 4194304 240 49054 0 0 0 0 246 26 20 0 1 0 60003686 4292608 768 18446744073709551615 94072178036736 94072178931269 140734446574400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94072179170320 94072179218064 94072191356928 140734446577941 140734446578142 140734446578142 140734446583744 0
/proc/72815/statm: 1048 768 704 219 0 110 0
[pid=72843] ppid=72815 vsize=4321284 memory=3814392 CPUtime=3363.4 cores=5,7
/proc/72843/stat : 72843 (roundingsat) R 72815 72815 72765 0 -1 4194304 995859 0 1 0 329567 6773 0 0 20 0 1 0 60003964 4424994816 953598 18446744073709551615 4227072 8923433 140729775126768 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 37523456 140729775130900 140729775131176 140729775131176 140729775136746 0
/proc/72843/statm: 1080321 953598 2528 1147 0 1067748 0
Current children cumulated CPU time: 3366.12 s
Current children cumulated vsize: 4325476 KiB
Current children cumulated memory: 3817464 KiB

[startup+3392 s]*
/proc/loadavg: 4.82 4.46 4.30 3/266 73039
/proc/meminfo: memFree=1464720/131382112 swapFree=33005784/33010684
[pid=72815] ppid=72812 vsize=4192 memory=3072 CPUtime=2.72 cores=5,7
/proc/72815/stat : 72815 (run-opt-break-l) S 72812 72815 72765 0 -1 4194304 240 49054 0 0 0 0 246 26 20 0 1 0 60003686 4292608 768 18446744073709551615 94072178036736 94072178931269 140734446574400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94072179170320 94072179218064 94072191356928 140734446577941 140734446578142 140734446578142 140734446583744 0
/proc/72815/statm: 1048 768 704 219 0 110 0
[pid=72843] ppid=72815 vsize=4321284 memory=3814392 CPUtime=3368.67 cores=5,7
/proc/72843/stat : 72843 (roundingsat) S 72815 72815 72765 0 -1 4195840 997141 0 1 0 329997 6870 0 0 20 0 1 0 60003964 4424994816 953598 18446744073709551615 4227072 8923433 140729775126768 140729775123176 140231733950295 0 0 0 8405026 1 0 0 17 7 0 0 0 0 0 9823104 9832592 37523456 140729775130900 140729775131176 140729775131176 140729775136746 25
/proc/72843/statm: 1080321 953598 2528 1147 0 1067748 0
Current children cumulated CPU time: 3371.39 s
Current children cumulated vsize: 4325476 KiB
Current children cumulated memory: 3817464 KiB

[startup+3395.2 s]
/proc/loadavg: 5.00 4.50 4.32 4/267 73049
/proc/meminfo: memFree=9324116/131382112 swapFree=33005784/33010684
[pid=72815] ppid=72812 vsize=4192 memory=3072 CPUtime=2.72 cores=5,7
/proc/72815/stat : 72815 (run-opt-break-l) S 72812 72815 72765 0 -1 4194304 240 49054 0 0 0 0 246 26 20 0 1 0 60003686 4292608 768 18446744073709551615 94072178036736 94072178931269 140734446574400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94072179170320 94072179218064 94072191356928 140734446577941 140734446578142 140734446578142 140734446583744 0
/proc/72815/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

[startup+3398.4 s]
/proc/loadavg: 5.00 4.50 4.32 5/267 73049
/proc/meminfo: memFree=9249688/131382112 swapFree=33005784/33010684
[pid=72815] ppid=72812 vsize=4192 memory=3072 CPUtime=2.72 cores=5,7
/proc/72815/stat : 72815 (run-opt-break-l) S 72812 72815 72765 0 -1 4194304 240 49054 0 0 0 0 246 26 20 0 1 0 60003686 4292608 768 18446744073709551615 94072178036736 94072178931269 140734446574400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94072179170320 94072179218064 94072191356928 140734446577941 140734446578142 140734446578142 140734446583744 0
/proc/72815/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

[startup+3399.2 s]
/proc/loadavg: 5.00 4.51 4.32 3/266 73049
/proc/meminfo: memFree=9210992/131382112 swapFree=33005784/33010684
[pid=72815] ppid=72812 vsize=4192 memory=3072 CPUtime=2.72 cores=5,7
/proc/72815/stat : 72815 (run-opt-break-l) S 72812 72815 72765 0 -1 4194304 240 49054 0 0 0 0 246 26 20 0 1 0 60003686 4292608 768 18446744073709551615 94072178036736 94072178931269 140734446574400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94072179170320 94072179218064 94072191356928 140734446577941 140734446578142 140734446578142 140734446583744 0
/proc/72815/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

[startup+3400 s]*
/proc/loadavg: 5.00 4.51 4.32 4/266 73049
/proc/meminfo: memFree=9193920/131382112 swapFree=33005784/33010684
[pid=72815] ppid=72812 vsize=4192 memory=3072 CPUtime=2.72 cores=5,7
/proc/72815/stat : 72815 (run-opt-break-l) S 72812 72815 72765 0 -1 4194304 240 49054 0 0 0 0 246 26 20 0 1 0 60003686 4292608 768 18446744073709551615 94072178036736 94072178931269 140734446574400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94072179170320 94072179218064 94072191356928 140734446577941 140734446578142 140734446578142 140734446583744 0
/proc/72815/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

[startup+3400.2 s]
/proc/loadavg: 5.00 4.51 4.32 4/266 73049
/proc/meminfo: memFree=9193920/131382112 swapFree=33005784/33010684
[pid=72815] ppid=72812 vsize=4192 memory=3072 CPUtime=2.72 cores=5,7
/proc/72815/stat : 72815 (run-opt-break-l) S 72812 72815 72765 0 -1 4194304 240 49054 0 0 0 0 246 26 20 0 1 0 60003686 4292608 768 18446744073709551615 94072178036736 94072178931269 140734446574400 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94072179170320 94072179218064 94072191356928 140734446577941 140734446578142 140734446578142 140734446583744 0
/proc/72815/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

Child status: 153

Real time (s): 3400.28
CPU time (s): 3372.96
CPU user time (s): 3302.5
CPU system time (s): 70.4555
CPU usage (%): 99.1964
Max. virtual memory (cumulated for all children) (KiB): 4405192
Max. memory (cumulated for all children) (KiB): 3898068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3302.5
system time used= 70.4555
maximum resident set size= 3894996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1046446
page faults= 1
swaps= 0
block input operations= 3784
block output operations= 204827856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104207
involuntary context switches= 20591


# summary of solver processes directly reported to runsolver:
#   pid: 72815
#   total CPU time (s): 3372.96
#   total CPU user time (s): 3302.5
#   total CPU system time (s): 70.4555

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.6701 second user time and 35.592 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2025-07-02 10:00:45
IDJOB=4504715
IDBENCH=155672
IDSOLVER=3360
FILE ID=nodeC007/4504715-1751443245
RUNJOBID= nodeC007-1751443245-72778
SLURM_JOB_ID= 9598417
Free space on /tmp= 431952 MiB

SOLVER NAME= roundingsat+pbsuma-opt-log 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/normalized-minisat35_4_11_0_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-4504715-1751443245/watcher-4504715-1751443245 -o /tmp/evaluation-result-4504715-1751443245/solver-4504715-1751443245 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751443245-72778 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4504715-1751443245.opb PROOFDIR/proof-4504715-1751443245

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

MD5SUM BENCH= 981ef51cec9b68890fa336e7b4cc767b
RANDOM SEED=2022989769

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		: 1296.975
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.205
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		: 1197.251
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		: 3700.000
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		: 3700.000
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		: 1197.200
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.198
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		: 3700.000
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:        128940052 kB
MemAvailable:   129823640 kB
Buffers:              16 kB
Cached:          1575308 kB
SwapCached:          216 kB
Active:           249408 kB
Inactive:        1435232 kB
Active(anon):      73948 kB
Inactive(anon):    48892 kB
Active(file):     175460 kB
Inactive(file):  1386340 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33005784 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             77032 kB
Writeback:             0 kB
AnonPages:        112420 kB
Mapped:            98212 kB
Shmem:             13492 kB
KReclaimable:     322828 kB
Slab:             410028 kB
SReclaimable:     322828 kB
SUnreclaim:        87200 kB
KernelStack:        3940 kB
PageTables:         2740 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     401096 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149320 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     43008 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= 431468 MiB
End job on nodeC007 at 2025-07-02 10:57:26