Trace number 4504851

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat-ls+pbsuma-log 63f22ad? (exit code) 3403.44 3428.62

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/
normalized-minisat25_4_7_6_mh_ic.opb
MD5SUM1bb082b6412719493b7deb7ac7dad108
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1178861
Best CPU time to get the best result obtained on this benchmark515.301
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables45775
Total number of constraints102733
Number of constraints which are clauses71450
Number of constraints which are cardinality constraints (but not clauses)33
Number of constraints which are nor clauses,nor cardinality constraints31250
Minimum length of a constraint2
Maximum length of a constraint925
Number of terms in the objective function 17425
Biggest coefficient in the objective function 74618461
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 10171756525
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 74618461
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 10171756525
Number of bits of the biggest sum of numbers34
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-4504851-1751450422.opb'
0.00/0.07	c 	read 4.33MB  (62.28ms)
0.00/0.07	c	 [cnf: #variables 45775 #clauses 102434 #duplicates 300 #arr 351525]
0.00/0.08	c output proof to 'PROOFDIR/proof-4504851-1751450422'
0.00/0.09	c 
0.00/0.09	c make graph and approximate orbits
0.08/0.18	c	 [group: #orbits ~= 15616] (95.94ms)
0.08/0.18	c 
0.08/0.18	c detect special group actions
0.08/0.18	c 	probe for Johnson action (limit=64)
0.08/0.18	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.08/0.20	c 	probe for row symmetry (limit=64, splits=16.78M)
0.08/0.20	c 	 found row 25x2, generating row predicate
0.08/0.20	c 	 found row 4x2, generating row predicate
0.08/0.21	c 	 found row 25x2, generating row predicate
0.08/0.21	c 	 found row 4x2, generating row predicate
0.08/0.21	c 	 (26.51ms)
0.08/0.21	c 
0.08/0.21	c detect symmetries on remainder
0.08/0.21	c 	[graph: #vertices 330559 #edges 1067750]
0.08/0.21	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.19/0.31	c 	 [group: #symmetries 5.61*10^886 #generators 1488] (103.54ms)
0.19/0.31	c 
0.19/0.31	c optimize generators (opt_passes=64, conjugate_limit=256)
0.19/0.31	c 	ran it=0, +gens=11 
0.66/0.74	c 	con best_support=4, best_gens=1188, +gens=132
0.66/0.74	c 	(433.15ms)
0.66/0.74	c 
0.66/0.74	c finalize break order and special generators
0.66/0.75	c 
0.66/0.75	c add generic predicates (break_depth=20)
0.66/0.75	c 	added predicates for 1631 generators (0.46ms)
0.66/0.78	c 
0.66/0.78	c generation finished
0.66/0.78	c 	[sbp: #constraints 18815 #add_vars 5710]
0.66/0.79	c 
0.66/0.79	c write result to 'HOME/instance-4504851-1751450422.opb.pre'
0.77/0.80	c 	wrote 5.09MB (11.71ms)
0.77/0.80	c ------------------------------------------------------------------
0.77/0.80	c                 433.15ms 55.14% optimize_gens
0.77/0.80	c                 103.54ms 13.18% detect_generic
0.77/0.80	c                  95.94ms 12.21% approx_orbits
0.77/0.80	c                  62.28ms  7.93% parse
0.77/0.80	c                  49.72ms  6.33% other
0.77/0.80	c                  26.51ms  3.38% detect_special
0.77/0.80	c                  11.71ms  1.49% output
0.77/0.80	c                   2.29ms  0.29% finalize_order
0.77/0.80	c                   0.46ms  0.06% break_generic
0.77/0.80	c         ───────────────────────────────────────────────
0.77/0.80	c                 785.60ms   100% total
0.77/0.80	c ------------------------------------------------------------------
0.77/0.83	c RoundingSat 2
0.77/0.83	c branch pb25
0.77/0.83	c commit 63f22ad
1.53/1.61	c #variables 51485 #constraints 123012
1.53/1.61	c objective is ce32 
1.84/1.94	c initial watched  CF 32, 64, 128, Arb: 25 , 0 , 0 , 0
1.84/1.94	c initial counting CF 32, 64, 128, Arb: 29126 , 0 , 0 , 0
1.84/1.94	c bounds - >= -25 @ 0.964712
2.33/2.49	c bounds 34151542 >= -25 @ 1.45664
2.44/2.53	c bounds 33992089 >= -25 @ 1.4886
2.44/2.55	c bounds 33713212 >= -25 @ 1.51066
2.44/2.59	c bounds 33702445 >= -25 @ 1.54771
2.53/2.62	c bounds 32318430 >= -25 @ 1.57678
2.53/2.67	c bounds 32000316 >= -25 @ 1.6241
2.63/2.76	c bounds 31618176 >= -25 @ 1.7178
2.63/2.79	c bounds 31369572 >= -25 @ 1.74748
2.74/2.87	c bounds 30849785 >= -25 @ 1.81883
2.83/2.96	c bounds 16820801 >= -25 @ 1.90753
2.83/3.00	c bounds 16818259 >= -25 @ 1.94586
2.94/3.03	c bounds 16026096 >= -25 @ 1.97384
2.94/3.05	c bounds 15993996 >= -25 @ 1.99512
7.83/7.92	c #Conflicts:       1000 | #Constraints:     124024
7.83/7.92	c bounds 15631582 >= -25 @ 6.71343
8.03/8.14	c bounds 15604210 >= -25 @ 6.92495
8.03/8.18	c bounds 15601850 >= -25 @ 6.96521
8.13/8.23	c bounds 15575635 >= -25 @ 7.01359
8.43/8.52	c bounds 13079360 >= -25 @ 7.28867
11.31/11.43	c bounds 12651186 >= -25 @ 10.1281
20.09/20.22	c #Conflicts:       2000 | #Constraints:     125030
20.09/20.22	c INPROCESSING
20.09/20.22	c GARBAGE COLLECT
20.09/20.22	c bounds 12642333 >= -25 @ 18.7496
20.19/20.32	c bounds 12614961 >= -25 @ 18.8468
20.19/20.37	c bounds 12612601 >= -25 @ 18.899
21.09/21.21	c bounds 12602388 >= -25 @ 19.7149
21.29/21.44	c bounds 12526880 >= -25 @ 19.9375
21.29/21.48	c bounds 12455713 >= -25 @ 19.9769
21.79/21.99	c bounds 12285742 >= -25 @ 20.4669
21.99/22.18	c bounds 12281316 >= -25 @ 20.65
22.09/22.26	c bounds 12270858 >= -25 @ 20.7327
27.18/27.33	c #Conflicts:       3000 | #Constraints:     124525
27.18/27.33	c bounds 12242009 >= -25 @ 25.6906
27.38/27.57	c bounds 12208673 >= -25 @ 25.9185
27.99/28.19	c bounds 12065006 >= -25 @ 26.5231
28.77/28.93	c bounds 11985481 >= -25 @ 27.245
29.27/29.49	c bounds 11676760 >= -25 @ 27.7829
30.16/30.31	c bounds 11647028 >= -25 @ 28.5886
31.36/31.55	c bounds 11580584 >= -25 @ 29.8059
31.66/31.80	c #Conflicts:       4000 | #Constraints:     125534
31.66/31.80	c bounds 11117245 >= -25 @ 30.05
32.26/32.41	c bounds 11104229 >= -25 @ 30.632
34.76/34.97	c INPROCESSING
34.76/34.97	c GARBAGE COLLECT
34.76/34.97	c bounds 11074044 >= -25 @ 33.1509
34.76/35.00	c bounds 11035517 >= -25 @ 33.1832
34.87/35.06	c bounds 11035394 >= -25 @ 33.2424
43.44/43.75	c #Conflicts:       5000 | #Constraints:     124860
43.44/43.75	c bounds 4375746 >= -25 @ 41.561
43.54/43.80	c bounds 4360166 >= -25 @ 41.6054
43.54/43.86	c bounds 4335936 >= -25 @ 41.6663
46.62/46.93	c #Conflicts:       6000 | #Constraints:     125865
46.62/46.93	c bounds 4267358 >= -25 @ 44.6604
47.33/47.61	c bounds 4261529 >= -25 @ 45.3255
47.43/47.72	c bounds 4259432 >= -25 @ 45.4332
78.10/78.58	c INPROCESSING
78.10/78.58	c GARBAGE COLLECT
78.10/78.58	c #Conflicts:       7000 | #Constraints:     124514
78.10/78.58	c #Conflicts:       8000 | #Constraints:     125514
78.10/78.58	c #Conflicts:       9000 | #Constraints:     126514
78.10/78.58	c INPROCESSING
78.10/78.58	c GARBAGE COLLECT
78.10/78.58	c bounds 4250186 >= -25 @ 75.4673
79.70/80.16	c bounds 4193051 >= -25 @ 77.0049
81.70/82.12	c bounds 4176837 >= -25 @ 78.9353
81.70/82.16	c bounds 4140066 >= -25 @ 78.9691
82.08/82.59	c bounds 4093011 >= -25 @ 79.3972
82.48/83.01	c bounds 4068890 >= -25 @ 79.8016
84.59/85.06	c bounds 4064590 >= -25 @ 81.831
88.76/89.24	c #Conflicts:      10000 | #Constraints:     125230
88.76/89.24	c bounds 4022591 >= -25 @ 85.9026
96.04/96.51	c #Conflicts:      11000 | #Constraints:     126231
96.04/96.51	c bounds 3913397 >= -25 @ 93.0316
96.34/96.89	c bounds 3902117 >= -25 @ 93.4017
96.44/96.95	c bounds 3882974 >= -25 @ 93.4594
96.55/97.04	c bounds 3877164 >= -25 @ 93.5376
97.23/97.77	c bounds 3806128 >= -25 @ 94.2613
97.33/97.83	c bounds 3797332 >= -25 @ 94.3201
98.33/98.89	c bounds 3784879 >= -25 @ 95.3637
99.13/99.60	c bounds 3773527 >= -25 @ 96.0564
118.17/118.78	c #Conflicts:      12000 | #Constraints:     127239
118.17/118.78	c INPROCESSING
118.17/118.78	c GARBAGE COLLECT
118.17/118.78	c #Conflicts:      13000 | #Constraints:     125651
118.17/118.78	c bounds 3765463 >= -25 @ 114.815
127.95/128.54	c #Conflicts:      14000 | #Constraints:     126652
127.95/128.54	c bounds 3724622 >= -25 @ 124.349
128.05/128.64	c bounds 3693705 >= -25 @ 124.449
128.35/128.91	c bounds 3693704 >= -25 @ 124.714
135.83/136.41	c #Conflicts:      15000 | #Constraints:     127656
135.83/136.41	c INPROCESSING
135.83/136.41	c GARBAGE COLLECT
135.83/136.41	c rational objective 410211
136.73/137.33	c bounds 2297151 >= -25 @ 133.037
136.73/137.38	c bounds 2243432 >= -25 @ 133.086
137.03/137.67	c bounds 2204276 >= -25 @ 133.368
137.62/138.20	c bounds 2200788 >= -25 @ 133.871
138.33/138.93	c bounds 2195088 >= -25 @ 134.577
139.62/140.20	c bounds 2183180 >= -25 @ 135.825
139.81/140.40	c bounds 2182638 >= -25 @ 136.024
140.02/140.66	c bounds 2127622 >= -25 @ 136.275
142.53/143.16	c bounds 2081631 >= -25 @ 138.714
143.61/144.23	c bounds 2049627 >= -25 @ 139.769
143.61/144.29	c bounds 2046139 >= -25 @ 139.82
144.52/145.14	c bounds 2021836 >= -25 @ 140.661
175.34/176.02	c #Conflicts:      16000 | #Constraints:     125898
175.34/176.02	c #Conflicts:      17000 | #Constraints:     126898
175.34/176.02	c #Conflicts:      18000 | #Constraints:     127898
175.34/176.02	c INPROCESSING
175.34/176.02	c GARBAGE COLLECT
175.34/176.02	c #Conflicts:      19000 | #Constraints:     124544
175.34/176.02	c bounds 2019928 >= -25 @ 170.862
176.13/176.80	c bounds 2000614 >= -25 @ 171.626
177.13/177.88	c bounds 1976533 >= -25 @ 172.677
180.71/181.45	c #Conflicts:      20000 | #Constraints:     125547
180.71/181.45	c bounds 1950995 >= -25 @ 176.165
180.81/181.59	c bounds 1860512 >= -25 @ 176.3
180.91/181.64	c bounds 1829595 >= -25 @ 176.355
181.71/182.46	c bounds 1827927 >= -25 @ 177.155
182.20/182.91	c bounds 1809828 >= -25 @ 177.595
185.50/186.27	c #Conflicts:      21000 | #Constraints:     126552
185.50/186.27	c bounds 1735540 >= -25 @ 180.879
190.88/191.68	c INPROCESSING
190.88/191.68	c GARBAGE COLLECT
190.88/191.68	c bounds 1679007 >= -25 @ 186.158
197.66/198.45	c #Conflicts:      22000 | #Constraints:     124324
197.66/198.45	c bounds 1616485 >= -25 @ 192.768
197.86/198.65	c bounds 1614211 >= -25 @ 192.964
197.86/198.68	c bounds 1612461 >= -25 @ 192.998
197.96/198.74	c bounds 1608973 >= -25 @ 193.051
198.45/199.27	c bounds 1584779 >= -25 @ 193.573
222.25/223.17	c #Conflicts:      23000 | #Constraints:     125329
222.25/223.17	c #Conflicts:      24000 | #Constraints:     126330
222.25/223.17	c #Conflicts:      25000 | #Constraints:     127331
222.25/223.17	c INPROCESSING
222.25/223.17	c GARBAGE COLLECT
222.25/223.17	c rational objective 411255
223.15/224.10	c bounds 1577587 >= -25 @ 217.765
223.25/224.15	c bounds 1460357 >= -25 @ 217.807
223.25/224.18	c bounds 1399543 >= -25 @ 217.831
258.32/259.37	c #Conflicts:      26000 | #Constraints:     123369
258.32/259.37	c #Conflicts:      27000 | #Constraints:     124378
258.32/259.37	c #Conflicts:      28000 | #Constraints:     125384
258.32/259.37	c bounds 1389414 >= -25 @ 252.198
314.65/315.85	c #Conflicts:      29000 | #Constraints:     126389
314.65/315.85	c INPROCESSING
314.65/315.85	c GARBAGE COLLECT
314.65/315.85	c #Conflicts:      30000 | #Constraints:     123763
314.65/315.85	c #Conflicts:      31000 | #Constraints:     124764
314.65/315.85	c #Conflicts:      32000 | #Constraints:     125767
314.65/315.85	c #Conflicts:      33000 | #Constraints:     126769
314.65/315.85	c INPROCESSING
314.65/315.85	c GARBAGE COLLECT
314.65/315.85	c rational objective 411279
315.65/316.85	c bounds 1381451 >= -25 @ 308.335
326.22/327.42	c #Conflicts:      34000 | #Constraints:     123990
326.22/327.42	c bounds 1363780 >= -25 @ 318.688
336.48/337.75	c #Conflicts:      35000 | #Constraints:     124992
336.48/337.75	c bounds 1325708 >= -25 @ 328.784
337.07/338.32	c bounds 1317958 >= -25 @ 329.342
337.38/338.65	c bounds 1290144 >= -25 @ 329.664
355.72/357.08	c #Conflicts:      36000 | #Constraints:     125995
355.72/357.08	c #Conflicts:      37000 | #Constraints:     126995
355.72/357.08	c INPROCESSING
355.72/357.08	c GARBAGE COLLECT
355.72/357.08	c rational objective 415653
362.38/363.78	c bounds 1277109 >= -25 @ 354.231
451.58/453.22	c #Conflicts:      38000 | #Constraints:     123976
451.58/453.22	c #Conflicts:      39000 | #Constraints:     124978
451.58/453.22	c #Conflicts:      40000 | #Constraints:     125981
451.58/453.22	c #Conflicts:      41000 | #Constraints:     126984
451.58/453.22	c INPROCESSING
451.58/453.22	c GARBAGE COLLECT
451.58/453.22	c #Conflicts:      42000 | #Constraints:     123791
451.58/453.22	c #Conflicts:      43000 | #Constraints:     124798
451.58/453.22	c #Conflicts:      44000 | #Constraints:     125801
451.58/453.22	c #Conflicts:      45000 | #Constraints:     126808
451.58/453.22	c bounds 1218081 >= -25 @ 441.423
467.01/468.76	c #Conflicts:      46000 | #Constraints:     127812
467.01/468.76	c INPROCESSING
467.01/468.76	c GARBAGE COLLECT
467.01/468.76	c rational objective 416941
529.41/531.36	c #Conflicts:      47000 | #Constraints:     124415
529.41/531.36	c #Conflicts:      48000 | #Constraints:     125416
529.41/531.36	c #Conflicts:      49000 | #Constraints:     126417
529.41/531.36	c #Conflicts:      50000 | #Constraints:     127420
529.41/531.36	c #Conflicts:      51000 | #Constraints:     128423
529.41/531.36	c INPROCESSING
529.41/531.36	c GARBAGE COLLECT
529.41/531.36	c rational objective 419760
586.21/588.36	c #Conflicts:      52000 | #Constraints:     124808
586.21/588.36	c #Conflicts:      53000 | #Constraints:     125808
586.21/588.36	c #Conflicts:      54000 | #Constraints:     126808
586.21/588.36	c #Conflicts:      55000 | #Constraints:     127814
586.21/588.36	c #Conflicts:      56000 | #Constraints:     128817
586.21/588.36	c INPROCESSING
586.21/588.36	c GARBAGE COLLECT
586.21/588.36	c rational objective 421966
659.04/661.41	c #Conflicts:      57000 | #Constraints:     125019
659.04/661.41	c #Conflicts:      58000 | #Constraints:     126021
659.04/661.41	c #Conflicts:      59000 | #Constraints:     127026
659.04/661.41	c #Conflicts:      60000 | #Constraints:     128031
659.04/661.41	c #Conflicts:      61000 | #Constraints:     129035
659.04/661.41	c INPROCESSING
659.04/661.41	c GARBAGE COLLECT
659.04/661.41	c rational objective 428677
945.21/948.57	c #Conflicts:      62000 | #Constraints:     123020
945.21/948.57	c #Conflicts:      63000 | #Constraints:     124096
945.21/948.57	c #Conflicts:      64000 | #Constraints:     125117
945.21/948.57	c #Conflicts:      65000 | #Constraints:     126117
945.21/948.57	c #Conflicts:      66000 | #Constraints:     127117
945.21/948.57	c INPROCESSING
945.21/948.57	c GARBAGE COLLECT
945.21/948.57	c #Conflicts:      67000 | #Constraints:     122863
945.21/948.57	c #Conflicts:      68000 | #Constraints:     123863
945.21/948.57	c #Conflicts:      69000 | #Constraints:     124864
945.21/948.57	c #Conflicts:      70000 | #Constraints:     125923
945.21/948.57	c #Conflicts:      71000 | #Constraints:     127394
945.21/948.57	c #Conflicts:      72000 | #Constraints:     128520
945.21/948.57	c INPROCESSING
945.21/948.57	c GARBAGE COLLECT
945.21/948.57	c #Conflicts:      73000 | #Constraints:     123776
945.21/948.57	c #Conflicts:      74000 | #Constraints:     124778
945.21/948.57	c #Conflicts:      75000 | #Constraints:     125806
945.21/948.57	c #Conflicts:      76000 | #Constraints:     126806
945.21/948.57	c #Conflicts:      77000 | #Constraints:     127806
945.21/948.57	c #Conflicts:      78000 | #Constraints:     128806
945.21/948.57	c INPROCESSING
945.21/948.57	c GARBAGE COLLECT
945.21/948.57	c #Conflicts:      79000 | #Constraints:     124007
945.21/948.57	c #Conflicts:      80000 | #Constraints:     125007
945.21/948.57	c #Conflicts:      81000 | #Constraints:     126007
945.21/948.57	c #Conflicts:      82000 | #Constraints:     127008
945.21/948.57	c #Conflicts:      83000 | #Constraints:     128012
945.21/948.57	c #Conflicts:      84000 | #Constraints:     129015
945.21/948.57	c INPROCESSING
945.21/948.57	c GARBAGE COLLECT
945.21/948.57	c rational objective 429483
1025.59/1029.14	c #Conflicts:      85000 | #Constraints:     124131
1025.59/1029.14	c #Conflicts:      86000 | #Constraints:     125132
1025.59/1029.14	c #Conflicts:      87000 | #Constraints:     126134
1025.59/1029.14	c #Conflicts:      88000 | #Constraints:     127136
1025.59/1029.14	c #Conflicts:      89000 | #Constraints:     128139
1025.59/1029.14	c #Conflicts:      90000 | #Constraints:     129142
1025.59/1029.14	c INPROCESSING
1025.59/1029.14	c GARBAGE COLLECT
1025.59/1029.14	c rational objective 432265
1116.30/1120.29	c #Conflicts:      91000 | #Constraints:     124053
1116.30/1120.29	c #Conflicts:      92000 | #Constraints:     125059
1116.30/1120.29	c #Conflicts:      93000 | #Constraints:     126063
1116.30/1120.29	c #Conflicts:      94000 | #Constraints:     127069
1116.30/1120.29	c #Conflicts:      95000 | #Constraints:     128074
1116.30/1120.29	c #Conflicts:      96000 | #Constraints:     129079
1116.30/1120.29	c INPROCESSING
1116.30/1120.29	c GARBAGE COLLECT
1116.30/1120.29	c rational objective 434087
1670.29/1676.16	c #Conflicts:      97000 | #Constraints:     123859
1670.29/1676.16	c #Conflicts:      98000 | #Constraints:     124860
1670.29/1676.16	c #Conflicts:      99000 | #Constraints:     125865
1670.29/1676.16	c #Conflicts:     100000 | #Constraints:     127162
1670.29/1676.16	c #Conflicts:     101000 | #Constraints:     128474
1670.29/1676.16	c #Conflicts:     102000 | #Constraints:     129936
1670.29/1676.16	c #Conflicts:     103000 | #Constraints:     131201
1670.29/1676.16	c INPROCESSING
1670.29/1676.16	c GARBAGE COLLECT
1670.29/1676.16	c #Conflicts:     104000 | #Constraints:     125105
1670.29/1676.16	c #Conflicts:     105000 | #Constraints:     126105
1670.29/1676.16	c #Conflicts:     106000 | #Constraints:     127106
1670.29/1676.16	c #Conflicts:     107000 | #Constraints:     128124
1670.29/1676.16	c #Conflicts:     108000 | #Constraints:     129124
1670.29/1676.16	c #Conflicts:     109000 | #Constraints:     130124
1670.29/1676.16	c #Conflicts:     110000 | #Constraints:     131124
1670.29/1676.16	c INPROCESSING
1670.29/1676.16	c GARBAGE COLLECT
1670.29/1676.16	c #Conflicts:     111000 | #Constraints:     125193
1670.29/1676.16	c #Conflicts:     112000 | #Constraints:     126193
1670.29/1676.16	c #Conflicts:     113000 | #Constraints:     127193
1670.29/1676.16	c #Conflicts:     114000 | #Constraints:     128193
1670.29/1676.16	c #Conflicts:     115000 | #Constraints:     129193
1670.29/1676.16	c #Conflicts:     116000 | #Constraints:     130193
1670.29/1676.16	c #Conflicts:     117000 | #Constraints:     131381
1670.29/1676.16	c INPROCESSING
1670.29/1676.16	c GARBAGE COLLECT
1670.29/1676.16	c #Conflicts:     118000 | #Constraints:     125292
1670.29/1676.16	c #Conflicts:     119000 | #Constraints:     126292
1670.29/1676.16	c #Conflicts:     120000 | #Constraints:     127292
1670.29/1676.16	c #Conflicts:     121000 | #Constraints:     128292
1670.29/1676.16	c #Conflicts:     122000 | #Constraints:     129292
1670.29/1676.16	c #Conflicts:     123000 | #Constraints:     130292
1670.29/1676.16	c #Conflicts:     124000 | #Constraints:     131292
1670.29/1676.16	c INPROCESSING
1670.29/1676.16	c GARBAGE COLLECT
1670.29/1676.16	c #Conflicts:     125000 | #Constraints:     125165
1670.29/1676.16	c #Conflicts:     126000 | #Constraints:     126166
1670.29/1676.16	c #Conflicts:     127000 | #Constraints:     127166
1670.29/1676.16	c #Conflicts:     128000 | #Constraints:     128197
1670.29/1676.16	c #Conflicts:     129000 | #Constraints:     129275
1670.29/1676.16	c #Conflicts:     130000 | #Constraints:     130276
1670.29/1676.16	c #Conflicts:     131000 | #Constraints:     131277
1670.29/1676.16	c INPROCESSING
1670.29/1676.16	c GARBAGE COLLECT
1670.29/1676.16	c #Conflicts:     132000 | #Constraints:     125027
1670.29/1676.16	c #Conflicts:     133000 | #Constraints:     126028
1670.29/1676.16	c #Conflicts:     134000 | #Constraints:     127055
1670.29/1676.16	c #Conflicts:     135000 | #Constraints:     128057
1670.29/1676.16	c #Conflicts:     136000 | #Constraints:     129071
1670.29/1676.16	c #Conflicts:     137000 | #Constraints:     130072
1670.29/1676.16	c #Conflicts:     138000 | #Constraints:     131072
1670.29/1676.16	c #Conflicts:     139000 | #Constraints:     132072
1670.29/1676.16	c INPROCESSING
1670.29/1676.16	c GARBAGE COLLECT
1670.29/1676.16	c rational objective 434725
1767.16/1773.33	c #Conflicts:     140000 | #Constraints:     125565
1767.16/1773.33	c #Conflicts:     141000 | #Constraints:     126565
1767.16/1773.33	c #Conflicts:     142000 | #Constraints:     127565
1767.16/1773.33	c #Conflicts:     143000 | #Constraints:     128568
1767.16/1773.33	c #Conflicts:     144000 | #Constraints:     129572
1767.16/1773.33	c #Conflicts:     145000 | #Constraints:     130576
1767.16/1773.33	c #Conflicts:     146000 | #Constraints:     131580
1767.16/1773.33	c #Conflicts:     147000 | #Constraints:     132582
1767.16/1773.33	c INPROCESSING
1767.16/1773.33	c GARBAGE COLLECT
1767.16/1773.33	c rational objective 435321
1978.37/1985.36	c #Conflicts:     148000 | #Constraints:     126137
1978.37/1985.36	c #Conflicts:     149000 | #Constraints:     127650
1978.37/1985.36	c #Conflicts:     150000 | #Constraints:     128873
1978.37/1985.36	c #Conflicts:     151000 | #Constraints:     129873
1978.37/1985.36	c #Conflicts:     152000 | #Constraints:     130873
1978.37/1985.36	c #Conflicts:     153000 | #Constraints:     131873
1978.37/1985.36	c #Conflicts:     154000 | #Constraints:     132873
1978.37/1985.36	c #Conflicts:     155000 | #Constraints:     133874
1978.37/1985.36	c INPROCESSING
1978.37/1985.36	c GARBAGE COLLECT
1978.37/1985.36	c #Conflicts:     156000 | #Constraints:     126572
1978.37/1985.36	c #Conflicts:     157000 | #Constraints:     127572
1978.37/1985.36	c #Conflicts:     158000 | #Constraints:     128572
1978.37/1985.36	c #Conflicts:     159000 | #Constraints:     129573
1978.37/1985.36	c #Conflicts:     160000 | #Constraints:     130573
1978.37/1985.36	c #Conflicts:     161000 | #Constraints:     131573
1978.37/1985.36	c #Conflicts:     162000 | #Constraints:     132575
1978.37/1985.36	c #Conflicts:     163000 | #Constraints:     133578
1978.37/1985.36	c INPROCESSING
1978.37/1985.36	c GARBAGE COLLECT
1978.37/1985.36	c rational objective 435575
2086.20/2093.52	c #Conflicts:     164000 | #Constraints:     126334
2086.20/2093.52	c #Conflicts:     165000 | #Constraints:     127335
2086.20/2093.52	c #Conflicts:     166000 | #Constraints:     128337
2086.20/2093.52	c #Conflicts:     167000 | #Constraints:     129340
2086.20/2093.52	c #Conflicts:     168000 | #Constraints:     130342
2086.20/2093.52	c #Conflicts:     169000 | #Constraints:     131348
2086.20/2093.52	c #Conflicts:     170000 | #Constraints:     132351
2086.20/2093.52	c #Conflicts:     171000 | #Constraints:     133352
2086.20/2093.52	c INPROCESSING
2086.20/2093.52	c GARBAGE COLLECT
2086.20/2093.52	c rational objective 437149
2304.68/2312.89	c #Conflicts:     172000 | #Constraints:     126003
2304.68/2312.89	c #Conflicts:     173000 | #Constraints:     127003
2304.68/2312.89	c #Conflicts:     174000 | #Constraints:     128004
2304.68/2312.89	c #Conflicts:     175000 | #Constraints:     129004
2304.68/2312.89	c #Conflicts:     176000 | #Constraints:     130144
2304.68/2312.89	c #Conflicts:     177000 | #Constraints:     131145
2304.68/2312.89	c #Conflicts:     178000 | #Constraints:     132257
2304.68/2312.89	c #Conflicts:     179000 | #Constraints:     133575
2304.68/2312.89	c #Conflicts:     180000 | #Constraints:     134575
2304.68/2312.89	c INPROCESSING
2304.68/2312.89	c GARBAGE COLLECT
2304.68/2312.89	c #Conflicts:     181000 | #Constraints:     126888
2304.68/2312.89	c #Conflicts:     182000 | #Constraints:     127888
2304.68/2312.89	c #Conflicts:     183000 | #Constraints:     128888
2304.68/2312.89	c #Conflicts:     184000 | #Constraints:     129888
2304.68/2312.89	c #Conflicts:     185000 | #Constraints:     130888
2304.68/2312.89	c #Conflicts:     186000 | #Constraints:     131888
2304.68/2312.89	c #Conflicts:     187000 | #Constraints:     132889
2304.68/2312.89	c #Conflicts:     188000 | #Constraints:     133889
2304.68/2312.89	c #Conflicts:     189000 | #Constraints:     134889
2304.68/2312.89	c INPROCESSING
2304.68/2312.89	c GARBAGE COLLECT
2304.68/2312.89	c rational objective 439600
2434.99/2443.69	c #Conflicts:     190000 | #Constraints:     127081
2434.99/2443.69	c #Conflicts:     191000 | #Constraints:     128082
2434.99/2443.69	c #Conflicts:     192000 | #Constraints:     129083
2434.99/2443.69	c #Conflicts:     193000 | #Constraints:     130087
2434.99/2443.69	c #Conflicts:     194000 | #Constraints:     131090
2434.99/2443.69	c #Conflicts:     195000 | #Constraints:     132096
2434.99/2443.69	c #Conflicts:     196000 | #Constraints:     133100
2434.99/2443.69	c #Conflicts:     197000 | #Constraints:     134102
2434.99/2443.69	c #Conflicts:     198000 | #Constraints:     135103
2434.99/2443.69	c INPROCESSING
2434.99/2443.69	c GARBAGE COLLECT
2434.99/2443.69	c rational objective 440642
2557.50/2566.57	c #Conflicts:     199000 | #Constraints:     127224
2557.50/2566.57	c #Conflicts:     200000 | #Constraints:     128225
2557.50/2566.57	c #Conflicts:     201000 | #Constraints:     129228
2557.50/2566.57	c #Conflicts:     202000 | #Constraints:     130228
2557.50/2566.57	c #Conflicts:     203000 | #Constraints:     131228
2557.50/2566.57	c #Conflicts:     204000 | #Constraints:     132230
2557.50/2566.57	c #Conflicts:     205000 | #Constraints:     133231
2557.50/2566.57	c #Conflicts:     206000 | #Constraints:     134233
2557.50/2566.57	c #Conflicts:     207000 | #Constraints:     135241
2557.50/2566.57	c INPROCESSING
2557.50/2566.57	c GARBAGE COLLECT
2557.50/2566.57	c rational objective 447127
2688.92/2698.54	c #Conflicts:     208000 | #Constraints:     127142
2688.92/2698.54	c #Conflicts:     209000 | #Constraints:     128149
2688.92/2698.54	c #Conflicts:     210000 | #Constraints:     129151
2688.92/2698.54	c #Conflicts:     211000 | #Constraints:     130156
2688.92/2698.54	c #Conflicts:     212000 | #Constraints:     131163
2688.92/2698.54	c #Conflicts:     213000 | #Constraints:     132166
2688.92/2698.54	c #Conflicts:     214000 | #Constraints:     133169
2688.92/2698.54	c #Conflicts:     215000 | #Constraints:     134173
2688.92/2698.54	c #Conflicts:     216000 | #Constraints:     135178
2688.92/2698.54	c INPROCESSING
2688.92/2698.54	c GARBAGE COLLECT
2688.92/2698.54	c rational objective 447398
2800.65/2810.64	c #Conflicts:     217000 | #Constraints:     126897
2800.65/2810.64	c #Conflicts:     218000 | #Constraints:     127897
2800.65/2810.64	c #Conflicts:     219000 | #Constraints:     128897
2800.65/2810.64	c #Conflicts:     220000 | #Constraints:     129897
2800.65/2810.64	c #Conflicts:     221000 | #Constraints:     130897
2800.65/2810.64	c #Conflicts:     222000 | #Constraints:     131897
2800.65/2810.64	c #Conflicts:     223000 | #Constraints:     132897
2800.65/2810.64	c #Conflicts:     224000 | #Constraints:     133898
2800.65/2810.64	c #Conflicts:     225000 | #Constraints:     134899
2800.65/2810.64	c #Conflicts:     226000 | #Constraints:     135902
2800.65/2810.64	c INPROCESSING
2800.65/2810.64	c GARBAGE COLLECT
2800.65/2810.64	c rational objective 447751
2943.25/2953.78	c #Conflicts:     227000 | #Constraints:     127498
2943.25/2953.78	c #Conflicts:     228000 | #Constraints:     128500
2943.25/2953.78	c #Conflicts:     229000 | #Constraints:     129503
2943.25/2953.78	c #Conflicts:     230000 | #Constraints:     130510
2943.25/2953.78	c #Conflicts:     231000 | #Constraints:     131513
2943.25/2953.78	c #Conflicts:     232000 | #Constraints:     132517
2943.25/2953.78	c #Conflicts:     233000 | #Constraints:     133518
2943.25/2953.78	c #Conflicts:     234000 | #Constraints:     134518
2943.25/2953.78	c #Conflicts:     235000 | #Constraints:     135520
2943.25/2953.78	c #Conflicts:     236000 | #Constraints:     136525
2943.25/2953.78	c INPROCESSING
2943.25/2953.78	c GARBAGE COLLECT
2943.25/2953.78	c rational objective 448765
3217.85/3229.22	c #Conflicts:     237000 | #Constraints:     127925
3217.85/3229.22	c #Conflicts:     238000 | #Constraints:     128928
3217.85/3229.22	c #Conflicts:     239000 | #Constraints:     129966
3217.85/3229.22	c #Conflicts:     240000 | #Constraints:     130978
3217.85/3229.22	c #Conflicts:     241000 | #Constraints:     132005
3217.85/3229.22	c #Conflicts:     242000 | #Constraints:     133005
3217.85/3229.22	c #Conflicts:     243000 | #Constraints:     134008
3217.85/3229.22	c #Conflicts:     244000 | #Constraints:     135008
3217.85/3229.22	c #Conflicts:     245000 | #Constraints:     136008
3217.85/3229.22	c #Conflicts:     246000 | #Constraints:     137008
3217.85/3229.22	c INPROCESSING
3217.85/3229.22	c GARBAGE COLLECT
3217.85/3229.22	c #Conflicts:     247000 | #Constraints:     128202
3217.85/3229.22	c #Conflicts:     248000 | #Constraints:     129202
3217.85/3229.22	c #Conflicts:     249000 | #Constraints:     130203
3217.85/3229.22	c #Conflicts:     250000 | #Constraints:     131203
3217.85/3229.22	c #Conflicts:     251000 | #Constraints:     132203
3217.85/3229.22	c #Conflicts:     252000 | #Constraints:     133205
3217.85/3229.22	c #Conflicts:     253000 | #Constraints:     134206
3217.85/3229.22	c #Conflicts:     254000 | #Constraints:     135210
3217.85/3229.22	c #Conflicts:     255000 | #Constraints:     136212
3217.85/3229.22	c #Conflicts:     256000 | #Constraints:     137216
3217.85/3229.22	c INPROCESSING
3217.85/3229.22	c GARBAGE COLLECT
3217.85/3229.22	c rational objective 448840
3364.45/3376.38	c #Conflicts:     257000 | #Constraints:     128148
3364.45/3376.38	c #Conflicts:     258000 | #Constraints:     129148
3364.45/3376.38	c #Conflicts:     259000 | #Constraints:     130148
3364.45/3376.38	c #Conflicts:     260000 | #Constraints:     131151
3364.45/3376.38	c #Conflicts:     261000 | #Constraints:     132155
3364.45/3376.38	c #Conflicts:     262000 | #Constraints:     133162
3364.45/3376.38	c #Conflicts:     263000 | #Constraints:     134165
3364.45/3376.38	c #Conflicts:     264000 | #Constraints:     135169
3364.45/3376.38	c #Conflicts:     265000 | #Constraints:     136172
3364.45/3376.38	c #Conflicts:     266000 | #Constraints:     137176
3364.45/3376.38	c INPROCESSING
3364.45/3376.38	c GARBAGE COLLECT
3364.45/3376.38	c rational objective 449783
0.78/3428.61	HOME/run-opt-ls-log.sh: line 3: 65695 File size limit exceeded(core dumped) ./roundingsat "$1" --lp-maxconstr=1000000 --ls-opt-initial-iterations=2 --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 (6977 MiB free)
  memory of node 1: 64465 MiB (51633 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=65692, runsolver pid=65689

[startup+0.100106 s]*
/proc/loadavg: 4.32 4.21 4.26 5/266 65694
/proc/meminfo: memFree=59973568/131382112 swapFree=33010416/33010684
[pid=65692] ppid=65689 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/65692/stat : 65692 (run-opt-ls-log.) S 65689 65692 64796 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 60721600 4292608 736 18446744073709551615 94782631047168 94782631941701 140735533159360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94782632180752 94782632228496 94782638415872 140735533160731 140735533160929 140735533160929 140735533166531 0
/proc/65692/statm: 1048 736 672 219 0 110 0
[pid=65694] ppid=65692 vsize=72688 memory=60460 CPUtime=0.08 cores=1,3
/proc/65694/stat : 65694 (pbsuma) R 65692 65692 64796 0 -1 4194304 11241 0 0 0 6 2 0 0 20 0 1 0 60721601 74432512 15115 18446744073709551615 4210688 4653049 140730625619632 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 34283520 140730625624291 140730625624626 140730625624626 140730625630191 0
/proc/65694/statm: 18172 15115 992 108 0 15580 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 76880 KiB
Current children cumulated memory: 63404 KiB

[startup+0.214356 s]*
/proc/loadavg: 4.32 4.21 4.26 6/266 65694
/proc/meminfo: memFree=59901240/131382112 swapFree=33010416/33010684
[pid=65692] ppid=65689 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/65692/stat : 65692 (run-opt-ls-log.) S 65689 65692 64796 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 60721600 4292608 736 18446744073709551615 94782631047168 94782631941701 140735533159360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94782632180752 94782632228496 94782638415872 140735533160731 140735533160929 140735533160929 140735533166531 0
/proc/65692/statm: 1048 736 672 219 0 110 0
[pid=65694] ppid=65692 vsize=118912 memory=93252 CPUtime=0.19 cores=1,3
/proc/65694/stat : 65694 (pbsuma) R 65692 65692 64796 0 -1 4194304 21234 0 0 0 16 3 0 0 20 0 1 0 60721601 121765888 23313 18446744073709551615 4210688 4653049 140730625619632 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 34283520 140730625624291 140730625624626 140730625624626 140730625630191 0
/proc/65694/statm: 29728 23313 1024 108 0 27136 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 123104 KiB
Current children cumulated memory: 96196 KiB

[startup+0.314687 s]*
/proc/loadavg: 4.32 4.21 4.26 5/266 65694
/proc/meminfo: memFree=59856824/131382112 swapFree=33010416/33010684
[pid=65692] ppid=65689 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/65692/stat : 65692 (run-opt-ls-log.) S 65689 65692 64796 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 60721600 4292608 736 18446744073709551615 94782631047168 94782631941701 140735533159360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94782632180752 94782632228496 94782638415872 140735533160731 140735533160929 140735533160929 140735533166531 0
/proc/65692/statm: 1048 736 672 219 0 110 0
[pid=65694] ppid=65692 vsize=117620 memory=92380 CPUtime=0.29 cores=1,3
/proc/65694/stat : 65694 (pbsuma) R 65692 65692 64796 0 -1 4194304 29014 0 0 0 25 4 0 0 20 0 1 0 60721601 120442880 23095 18446744073709551615 4210688 4653049 140730625619632 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 34283520 140730625624291 140730625624626 140730625624626 140730625630191 0
/proc/65694/statm: 29405 23095 1024 108 0 26813 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 121812 KiB
Current children cumulated memory: 95324 KiB

[startup+0.700326 s]
/proc/loadavg: 4.29 4.21 4.26 6/266 65694
/proc/meminfo: memFree=59840696/131382112 swapFree=33010416/33010684
[pid=65692] ppid=65689 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/65692/stat : 65692 (run-opt-ls-log.) S 65689 65692 64796 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 60721600 4292608 736 18446744073709551615 94782631047168 94782631941701 140735533159360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94782632180752 94782632228496 94782638415872 140735533160731 140735533160929 140735533160929 140735533166531 0
/proc/65692/statm: 1048 736 672 219 0 110 0
[pid=65694] ppid=65692 vsize=117620 memory=92380 CPUtime=0.66 cores=1,3
/proc/65694/stat : 65694 (pbsuma) R 65692 65692 64796 0 -1 4194304 29014 0 0 0 62 4 0 0 20 0 1 0 60721601 120442880 23095 18446744073709551615 4210688 4653049 140730625619632 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 34283520 140730625624291 140730625624626 140730625624626 140730625630191 0
/proc/65694/statm: 29405 23095 1024 108 0 26813 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 121812 KiB
Current children cumulated memory: 95324 KiB

[startup+1.50044 s]
/proc/loadavg: 4.29 4.21 4.26 5/266 65695
/proc/meminfo: memFree=59832796/131382112 swapFree=33010416/33010684
[pid=65692] ppid=65689 vsize=4192 memory=3072 CPUtime=0.78 cores=1,3
/proc/65692/stat : 65692 (run-opt-ls-log.) S 65689 65692 64796 0 -1 4194304 241 29305 0 0 0 0 73 5 20 0 1 0 60721600 4292608 768 18446744073709551615 94782631047168 94782631941701 140735533159360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94782632180752 94782632228496 94782638415872 140735533160731 140735533160929 140735533160929 140735533166531 0
/proc/65692/statm: 1048 768 704 219 0 110 0
[pid=65695] ppid=65692 vsize=164292 memory=120144 CPUtime=0.66 cores=1,3
/proc/65695/stat : 65695 (roundingsat) R 65692 65692 64796 0 -1 4194304 21587 0 0 0 54 12 0 0 20 0 1 0 60721682 168235008 30036 18446744073709551615 4227072 8923433 140720369666560 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19738624 140720369674486 140720369674792 140720369674792 140720369680362 0
/proc/65695/statm: 41073 30036 2304 1147 0 28500 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 168484 KiB
Current children cumulated memory: 123216 KiB

[startup+3.11422 s]
/proc/loadavg: 4.29 4.21 4.26 5/266 65695
/proc/meminfo: memFree=59565272/131382112 swapFree=33010416/33010684
[pid=65692] ppid=65689 vsize=4192 memory=3072 CPUtime=0.78 cores=1,3
/proc/65692/stat : 65692 (run-opt-ls-log.) S 65689 65692 64796 0 -1 4194304 241 29305 0 0 0 0 73 5 20 0 1 0 60721600 4292608 768 18446744073709551615 94782631047168 94782631941701 140735533159360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94782632180752 94782632228496 94782638415872 140735533160731 140735533160929 140735533160929 140735533166531 0
/proc/65692/statm: 1048 768 704 219 0 110 0
[pid=65695] ppid=65692 vsize=282288 memory=236736 CPUtime=2.27 cores=1,3
/proc/65695/stat : 65695 (roundingsat) R 65692 65692 64796 0 -1 4194304 36095 0 0 0 205 22 0 0 20 0 1 0 60721682 289062912 59184 18446744073709551615 4227072 8923433 140720369666560 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19738624 140720369674486 140720369674792 140720369674792 140720369680362 0
/proc/65695/statm: 70572 59184 2432 1147 0 57999 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 286480 KiB
Current children cumulated memory: 239808 KiB

[startup+6.30038 s]
/proc/loadavg: 4.27 4.21 4.26 5/266 65695
/proc/meminfo: memFree=59200872/131382112 swapFree=33010416/33010684
[pid=65692] ppid=65689 vsize=4192 memory=3072 CPUtime=0.78 cores=1,3
/proc/65692/stat : 65692 (run-opt-ls-log.) S 65689 65692 64796 0 -1 4194304 241 29305 0 0 0 0 73 5 20 0 1 0 60721600 4292608 768 18446744073709551615 94782631047168 94782631941701 140735533159360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94782632180752 94782632228496 94782638415872 140735533160731 140735533160929 140735533160929 140735533166531 0
/proc/65692/statm: 1048 768 704 219 0 110 0
[pid=65695] ppid=65692 vsize=310216 memory=264852 CPUtime=5.44 cores=1,3
/proc/65695/stat : 65695 (roundingsat) R 65692 65692 64796 0 -1 4194304 41595 0 0 0 513 31 0 0 20 0 1 0 60721682 317661184 66213 18446744073709551615 4227072 8923433 140720369666560 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19738624 140720369674486 140720369674792 140720369674792 140720369680362 0
/proc/65695/statm: 77554 66213 2432 1147 0 64981 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 314408 KiB
Current children cumulated memory: 267924 KiB

[startup+12.7004 s]
/proc/loadavg: 4.25 4.20 4.26 5/266 65695
/proc/meminfo: memFree=58533688/131382112 swapFree=33010416/33010684
[pid=65692] ppid=65689 vsize=4192 memory=3072 CPUtime=0.78 cores=1,3
/proc/65692/stat : 65692 (run-opt-ls-log.) S 65689 65692 64796 0 -1 4194304 241 29305 0 0 0 0 73 5 20 0 1 0 60721600 4292608 768 18446744073709551615 94782631047168 94782631941701 140735533159360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94782632180752 94782632228496 94782638415872 140735533160731 140735533160929 140735533160929 140735533166531 0
/proc/65692/statm: 1048 768 704 219 0 110 0
[pid=65695] ppid=65692 vsize=384668 memory=322432 CPUtime=11.83 cores=1,3
/proc/65695/stat : 65695 (roundingsat) R 65692 65692 64796 0 -1 4194304 52924 0 0 0 1136 47 0 0 20 0 1 0 60721682 393900032 80608 18446744073709551615 4227072 8923433 140720369666560 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19738624 140720369674486 140720369674792 140720369674792 140720369680362 0
/proc/65695/statm: 96167 80608 2432 1147 0 83594 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 388860 KiB
Current children cumulated memory: 325504 KiB

[startup+25.5004 s]
/proc/loadavg: 4.21 4.20 4.26 5/266 65695
/proc/meminfo: memFree=57249620/131382112 swapFree=33010416/33010684
[pid=65692] ppid=65689 vsize=4192 memory=3072 CPUtime=0.78 cores=1,3
/proc/65692/stat : 65692 (run-opt-ls-log.) S 65689 65692 64796 0 -1 4194304 241 29305 0 0 0 0 73 5 20 0 1 0 60721600 4292608 768 18446744073709551615 94782631047168 94782631941701 140735533159360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94782632180752 94782632228496 94782638415872 140735533160731 140735533160929 140735533160929 140735533166531 0
/proc/65692/statm: 1048 768 704 219 0 110 0
[pid=65695] ppid=65692 vsize=438536 memory=381208 CPUtime=24.6 cores=1,3
/proc/65695/stat : 65695 (roundingsat) R 65692 65692 64796 0 -1 4194304 61509 0 0 0 2389 71 0 0 20 0 1 0 60721682 449060864 95302 18446744073709551615 4227072 8923433 140720369666560 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19738624 140720369674486 140720369674792 140720369674792 140720369680362 0
/proc/65695/statm: 109634 95302 2432 1147 0 97061 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 442728 KiB
Current children cumulated memory: 384280 KiB

[startup+51.1138 s]
/proc/loadavg: 4.33 4.22 4.26 4/260 65788
/proc/meminfo: memFree=126193416/131382112 swapFree=33010416/33010684
[pid=65692] ppid=65689 vsize=4192 memory=3072 CPUtime=0.78 cores=1,3
/proc/65692/stat : 65692 (run-opt-ls-log.) S 65689 65692 64796 0 -1 4194304 241 29305 0 0 0 0 73 5 20 0 1 0 60721600 4292608 768 18446744073709551615 94782631047168 94782631941701 140735533159360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94782632180752 94782632228496 94782638415872 140735533160731 140735533160929 140735533160929 140735533166531 0
/proc/65692/statm: 1048 768 704 219 0 110 0
[pid=65695] ppid=65692 vsize=534520 memory=462380 CPUtime=50.03 cores=1,3
/proc/65695/stat : 65695 (roundingsat) R 65692 65692 64796 0 -1 4194304 77368 0 0 0 4869 134 0 0 20 0 1 0 60721682 547348480 115595 18446744073709551615 4227072 8923433 140720369666560 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19738624 140720369674486 140720369674792 140720369674792 140720369680362 0
/proc/65695/statm: 133630 115595 2432 1147 0 121057 0
Current children cumulated CPU time: 50.81 s
Current children cumulated vsize: 538712 KiB
Current children cumulated memory: 465452 KiB

[startup+102.3 s]
/proc/loadavg: 4.23 4.22 4.26 5/259 65806
/proc/meminfo: memFree=118473544/131382112 swapFree=33010416/33010684
[pid=65692] ppid=65689 vsize=4192 memory=3072 CPUtime=0.78 cores=1,3
/proc/65692/stat : 65692 (run-opt-ls-log.) S 65689 65692 64796 0 -1 4194304 241 29305 0 0 0 0 73 5 20 0 1 0 60721600 4292608 768 18446744073709551615 94782631047168 94782631941701 140735533159360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94782632180752 94782632228496 94782638415872 140735533160731 140735533160929 140735533160929 140735533166531 0
/proc/65692/statm: 1048 768 704 219 0 110 0
[pid=65695] ppid=65692 vsize=692120 memory=588280 CPUtime=101.04 cores=1,3
/proc/65695/stat : 65695 (roundingsat) R 65692 65692 64796 0 -1 4194304 101679 0 0 0 9869 235 0 0 20 0 1 0 60721682 708730880 147070 18446744073709551615 4227072 8923433 140720369666560 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19738624 140720369674486 140720369674792 140720369674792 140720369680362 0
/proc/65695/statm: 173030 147070 2432 1147 0 160457 0
Current children cumulated CPU time: 101.82 s
Current children cumulated vsize: 696312 KiB
Current children cumulated memory: 591352 KiB

[startup+162.3 s]
/proc/loadavg: 4.41 4.27 4.28 5/260 65809
/proc/meminfo: memFree=111066172/131382112 swapFree=33010416/33010684
[pid=65692] ppid=65689 vsize=4192 memory=3072 CPUtime=0.78 cores=1,3
/proc/65692/stat : 65692 (run-opt-ls-log.) S 65689 65692 64796 0 -1 4194304 241 29305 0 0 0 0 73 5 20 0 1 0 60721600 4292608 768 18446744073709551615 94782631047168 94782631941701 140735533159360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94782632180752 94782632228496 94782638415872 140735533160731 140735533160929 140735533160929 140735533166531 0
/proc/65692/statm: 1048 768 704 219 0 110 0
[pid=65695] ppid=65692 vsize=770880 memory=673500 CPUtime=160.88 cores=1,3
/proc/65695/stat : 65695 (roundingsat) R 65692 65692 64796 0 -1 4194304 118567 0 0 0 15744 344 0 0 20 0 1 0 60721682 789381120 168375 18446744073709551615 4227072 8923433 140720369666560 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19738624 140720369674486 140720369674792 140720369674792 140720369680362 0
/proc/65695/statm: 192720 168375 2432 1147 0 180147 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 775072 KiB
Current children cumulated memory: 676572 KiB

[startup+222.3 s]
/proc/loadavg: 4.30 4.26 4.27 6/259 65811
/proc/meminfo: memFree=104905920/131382112 swapFree=33010416/33010684
[pid=65692] ppid=65689 vsize=4192 memory=3072 CPUtime=0.78 cores=1,3
/proc/65692/stat : 65692 (run-opt-ls-log.) S 65689 65692 64796 0 -1 4194304 241 29305 0 0 0 0 73 5 20 0 1 0 60721600 4292608 768 18446744073709551615 94782631047168 94782631941701 140735533159360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94782632180752 94782632228496 94782638415872 140735533160731 140735533160929 140735533160929 140735533166531 0
/proc/65692/statm: 1048 768 704 219 0 110 0
[pid=65695] ppid=65692 vsize=801612 memory=705264 CPUtime=220.66 cores=1,3
/proc/65695/stat : 65695 (roundingsat) R 65692 65692 64796 0 -1 4194304 125019 0 0 0 21597 469 0 0 20 0 1 0 60721682 820850688 176316 18446744073709551615 4227072 8923433 140720369666560 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19738624 140720369674486 140720369674792 140720369674792 140720369680362 0
/proc/65695/statm: 200403 176316 2432 1147 0 187830 0

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

/proc/65692/statm: 1048 768 704 219 0 110 0
[pid=65695] ppid=65692 vsize=2217796 memory=1943684 CPUtime=3090.61 cores=1,3
/proc/65695/stat : 65695 (roundingsat) R 65692 65692 64796 0 -1 4194304 423070 0 0 0 302885 6176 0 0 20 0 1 0 60721682 2271023104 485921 18446744073709551615 4227072 8923433 140720369666560 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19738624 140720369674486 140720369674792 140720369674792 140720369680362 0
/proc/65695/statm: 554449 485921 2560 1147 0 541876 0
Current children cumulated CPU time: 3091.39 s
Current children cumulated vsize: 2221988 KiB
Current children cumulated memory: 1946756 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.24 4.29 5/263 66102
/proc/meminfo: memFree=1931096/131382112 swapFree=33010416/33010684
[pid=65692] ppid=65689 vsize=4192 memory=3072 CPUtime=0.78 cores=1,3
/proc/65692/stat : 65692 (run-opt-ls-log.) S 65689 65692 64796 0 -1 4194304 241 29305 0 0 0 0 73 5 20 0 1 0 60721600 4292608 768 18446744073709551615 94782631047168 94782631941701 140735533159360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94782632180752 94782632228496 94782638415872 140735533160731 140735533160929 140735533160929 140735533166531 0
/proc/65692/statm: 1048 768 704 219 0 110 0
[pid=65695] ppid=65692 vsize=2217796 memory=1943684 CPUtime=3150.37 cores=1,3
/proc/65695/stat : 65695 (roundingsat) R 65692 65692 64796 0 -1 4194304 423787 0 0 0 308734 6303 0 0 20 0 1 0 60721682 2271023104 485921 18446744073709551615 4227072 8923433 140720369666560 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19738624 140720369674486 140720369674792 140720369674792 140720369680362 0
/proc/65695/statm: 554449 485921 2560 1147 0 541876 0
Current children cumulated CPU time: 3151.15 s
Current children cumulated vsize: 2221988 KiB
Current children cumulated memory: 1946756 KiB

[startup+3222.3 s]
/proc/loadavg: 4.62 4.37 4.33 5/275 66117
/proc/meminfo: memFree=1946716/131382112 swapFree=33010416/33010684
[pid=65692] ppid=65689 vsize=4192 memory=3072 CPUtime=0.78 cores=1,3
/proc/65692/stat : 65692 (run-opt-ls-log.) S 65689 65692 64796 0 -1 4194304 241 29305 0 0 0 0 73 5 20 0 1 0 60721600 4292608 768 18446744073709551615 94782631047168 94782631941701 140735533159360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94782632180752 94782632228496 94782638415872 140735533160731 140735533160929 140735533160929 140735533166531 0
/proc/65692/statm: 1048 768 704 219 0 110 0
[pid=65695] ppid=65692 vsize=2217796 memory=1943940 CPUtime=3210.19 cores=1,3
/proc/65695/stat : 65695 (roundingsat) R 65692 65692 64796 0 -1 4194304 427894 0 0 0 314592 6427 0 0 20 0 1 0 60721682 2271023104 485985 18446744073709551615 4227072 8923433 140720369666560 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19738624 140720369674486 140720369674792 140720369674792 140720369680362 0
/proc/65695/statm: 554449 485985 2560 1147 0 541876 0
Current children cumulated CPU time: 3210.97 s
Current children cumulated vsize: 2221988 KiB
Current children cumulated memory: 1947012 KiB

[startup+3282.3 s]
/proc/loadavg: 4.27 4.32 4.32 5/277 66121
/proc/meminfo: memFree=2065644/131382112 swapFree=33010416/33010684
[pid=65692] ppid=65689 vsize=4192 memory=3072 CPUtime=0.78 cores=1,3
/proc/65692/stat : 65692 (run-opt-ls-log.) S 65689 65692 64796 0 -1 4194304 241 29305 0 0 0 0 73 5 20 0 1 0 60721600 4292608 768 18446744073709551615 94782631047168 94782631941701 140735533159360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94782632180752 94782632228496 94782638415872 140735533160731 140735533160929 140735533160929 140735533166531 0
/proc/65692/statm: 1048 768 704 219 0 110 0
[pid=65695] ppid=65692 vsize=2223060 memory=1949268 CPUtime=3269.97 cores=1,3
/proc/65695/stat : 65695 (roundingsat) R 65692 65692 64796 0 -1 4194304 429654 0 0 0 320447 6550 0 0 20 0 1 0 60721682 2276413440 487317 18446744073709551615 4227072 8923433 140720369666560 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19738624 140720369674486 140720369674792 140720369674792 140720369680362 0
/proc/65695/statm: 555765 487317 2560 1147 0 543192 0
Current children cumulated CPU time: 3270.75 s
Current children cumulated vsize: 2227252 KiB
Current children cumulated memory: 1952340 KiB

[startup+3342.3 s]
/proc/loadavg: 4.26 4.31 4.31 5/277 66123
/proc/meminfo: memFree=1971344/131382112 swapFree=33010416/33010684
[pid=65692] ppid=65689 vsize=4192 memory=3072 CPUtime=0.78 cores=1,3
/proc/65692/stat : 65692 (run-opt-ls-log.) S 65689 65692 64796 0 -1 4194304 241 29305 0 0 0 0 73 5 20 0 1 0 60721600 4292608 768 18446744073709551615 94782631047168 94782631941701 140735533159360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94782632180752 94782632228496 94782638415872 140735533160731 140735533160929 140735533160929 140735533166531 0
/proc/65692/statm: 1048 768 704 219 0 110 0
[pid=65695] ppid=65692 vsize=2223060 memory=1949524 CPUtime=3329.78 cores=1,3
/proc/65695/stat : 65695 (roundingsat) R 65692 65692 64796 0 -1 4194304 432349 0 0 0 326297 6681 0 0 20 0 1 0 60721682 2276413440 487381 18446744073709551615 4227072 8923433 140720369666560 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19738624 140720369674486 140720369674792 140720369674792 140720369680362 0
/proc/65695/statm: 555765 487381 2560 1147 0 543192 0
Current children cumulated CPU time: 3330.56 s
Current children cumulated vsize: 2227252 KiB
Current children cumulated memory: 1952596 KiB

[startup+3402.3 s]
/proc/loadavg: 4.22 4.28 4.30 5/276 66125
/proc/meminfo: memFree=1972064/131382112 swapFree=33010416/33010684
[pid=65692] ppid=65689 vsize=4192 memory=3072 CPUtime=0.78 cores=1,3
/proc/65692/stat : 65692 (run-opt-ls-log.) S 65689 65692 64796 0 -1 4194304 241 29305 0 0 0 0 73 5 20 0 1 0 60721600 4292608 768 18446744073709551615 94782631047168 94782631941701 140735533159360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94782632180752 94782632228496 94782638415872 140735533160731 140735533160929 140735533160929 140735533166531 0
/proc/65692/statm: 1048 768 704 219 0 110 0
[pid=65695] ppid=65692 vsize=2227884 memory=1949524 CPUtime=3389.58 cores=1,3
/proc/65695/stat : 65695 (roundingsat) R 65692 65692 64796 0 -1 4194304 438803 0 0 0 332160 6798 0 0 20 0 1 0 60721682 2281353216 487381 18446744073709551615 4227072 8923433 140720369666560 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19738624 140720369674486 140720369674792 140720369674792 140720369680362 0
/proc/65695/statm: 556971 487381 2560 1147 0 544398 0
Current children cumulated CPU time: 3390.36 s
Current children cumulated vsize: 2232076 KiB
Current children cumulated memory: 1952596 KiB

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

# cumulated CPU time of all completed processes:  user=3333.31 s, system=70.1233 s

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

[startup+3404.8 s]
/proc/loadavg: 4.22 4.28 4.30 5/276 66125
/proc/meminfo: memFree=2128996/131382112 swapFree=33010416/33010684
[pid=65692] ppid=65689 vsize=4192 memory=3072 CPUtime=0.78 cores=1,3
/proc/65692/stat : 65692 (run-opt-ls-log.) S 65689 65692 64796 0 -1 4194304 241 29305 0 0 0 0 73 5 20 0 1 0 60721600 4292608 768 18446744073709551615 94782631047168 94782631941701 140735533159360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94782632180752 94782632228496 94782638415872 140735533160731 140735533160929 140735533160929 140735533166531 0
/proc/65692/statm: 1048 768 704 219 0 110 0
[pid=65695] ppid=65692 vsize=2227884 memory=1949524 CPUtime=3392.08 cores=1,3
/proc/65695/stat : 65695 (roundingsat) R 65692 65692 64796 0 -1 4194304 438805 0 0 0 332404 6804 0 0 20 0 1 0 60721682 2281353216 487381 18446744073709551615 4227072 8923433 140720369666560 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19738624 140720369674486 140720369674792 140720369674792 140720369680362 0
/proc/65695/statm: 556971 487381 2560 1147 0 544398 0
Current children cumulated CPU time: 3392.86 s
Current children cumulated vsize: 2232076 KiB
Current children cumulated memory: 1952596 KiB

[startup+3417.6 s]
/proc/loadavg: 4.33 4.30 4.30 4/280 66134
/proc/meminfo: memFree=2011708/131382112 swapFree=33010416/33010684
[pid=65692] ppid=65689 vsize=4192 memory=3072 CPUtime=0.78 cores=1,3
/proc/65692/stat : 65692 (run-opt-ls-log.) S 65689 65692 64796 0 -1 4194304 241 29305 0 0 0 0 73 5 20 0 1 0 60721600 4292608 768 18446744073709551615 94782631047168 94782631941701 140735533159360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94782632180752 94782632228496 94782638415872 140735533160731 140735533160929 140735533160929 140735533166531 0
/proc/65692/statm: 1048 768 704 219 0 110 0
[pid=65695] ppid=65692 vsize=2227884 memory=1949524 CPUtime=3401.86 cores=1,3
/proc/65695/stat : 65695 (roundingsat) S 65692 65692 64796 0 -1 4195840 438819 0 0 0 333257 6929 0 0 20 0 1 0 60721682 2281353216 487381 18446744073709551615 4227072 8923433 140720369666560 140720369663608 140140430220119 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 19738624 140720369674486 140720369674792 140720369674792 140720369680362 25
/proc/65695/statm: 556971 487381 2560 1147 0 544398 0
Current children cumulated CPU time: 3402.64 s
Current children cumulated vsize: 2232076 KiB
Current children cumulated memory: 1952596 KiB

[startup+3424 s]*
/proc/loadavg: 4.55 4.34 4.32 4/282 66147
/proc/meminfo: memFree=9135540/131382112 swapFree=33010416/33010684
[pid=65692] ppid=65689 vsize=4192 memory=3072 CPUtime=0.78 cores=1,3
/proc/65692/stat : 65692 (run-opt-ls-log.) S 65689 65692 64796 0 -1 4194304 241 29305 0 0 0 0 73 5 20 0 1 0 60721600 4292608 768 18446744073709551615 94782631047168 94782631941701 140735533159360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94782632180752 94782632228496 94782638415872 140735533160731 140735533160929 140735533160929 140735533166531 0
/proc/65692/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0.78 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

[startup+3427.2 s]
/proc/loadavg: 4.50 4.34 4.32 3/282 66147
/proc/meminfo: memFree=9198004/131382112 swapFree=33010416/33010684
[pid=65692] ppid=65689 vsize=4192 memory=3072 CPUtime=0.78 cores=1,3
/proc/65692/stat : 65692 (run-opt-ls-log.) S 65689 65692 64796 0 -1 4194304 241 29305 0 0 0 0 73 5 20 0 1 0 60721600 4292608 768 18446744073709551615 94782631047168 94782631941701 140735533159360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94782632180752 94782632228496 94782638415872 140735533160731 140735533160929 140735533160929 140735533166531 0
/proc/65692/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0.78 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

[startup+3428 s]*
/proc/loadavg: 4.50 4.34 4.32 3/281 66147
/proc/meminfo: memFree=9182816/131382112 swapFree=33010416/33010684
[pid=65692] ppid=65689 vsize=4192 memory=3072 CPUtime=0.78 cores=1,3
/proc/65692/stat : 65692 (run-opt-ls-log.) S 65689 65692 64796 0 -1 4194304 241 29305 0 0 0 0 73 5 20 0 1 0 60721600 4292608 768 18446744073709551615 94782631047168 94782631941701 140735533159360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94782632180752 94782632228496 94782638415872 140735533160731 140735533160929 140735533160929 140735533166531 0
/proc/65692/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0.78 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

[startup+3428.4 s]
/proc/loadavg: 4.50 4.34 4.32 3/281 66147
/proc/meminfo: memFree=9182816/131382112 swapFree=33010416/33010684
[pid=65692] ppid=65689 vsize=4192 memory=3072 CPUtime=0.78 cores=1,3
/proc/65692/stat : 65692 (run-opt-ls-log.) S 65689 65692 64796 0 -1 4194304 241 29305 0 0 0 0 73 5 20 0 1 0 60721600 4292608 768 18446744073709551615 94782631047168 94782631941701 140735533159360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94782632180752 94782632228496 94782638415872 140735533160731 140735533160929 140735533160929 140735533166531 0
/proc/65692/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0.78 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

[startup+3428.6 s]
/proc/loadavg: 4.50 4.34 4.32 3/281 66147
/proc/meminfo: memFree=9182816/131382112 swapFree=33010416/33010684
[pid=65692] ppid=65689 vsize=4192 memory=3072 CPUtime=0.78 cores=1,3
/proc/65692/stat : 65692 (run-opt-ls-log.) S 65689 65692 64796 0 -1 4194304 241 29305 0 0 0 0 73 5 20 0 1 0 60721600 4292608 768 18446744073709551615 94782631047168 94782631941701 140735533159360 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94782632180752 94782632228496 94782638415872 140735533160731 140735533160929 140735533160929 140735533166531 0
/proc/65692/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0.78 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

Child status: 153

Real time (s): 3428.62
CPU time (s): 3403.44
CPU user time (s): 3333.31
CPU system time (s): 70.1233
CPU usage (%): 99.2656
Max. virtual memory (cumulated for all children) (KiB): 2232076
Max. memory (cumulated for all children) (KiB): 1952596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3333.31
system time used= 70.1233
maximum resident set size= 1949524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 468375
page faults= 0
swaps= 0
block input operations= 0
block output operations= 204809952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55422
involuntary context switches= 24294


# summary of solver processes directly reported to runsolver:
#   pid: 65692
#   total CPU time (s): 3403.44
#   total CPU user time (s): 3333.31
#   total CPU system time (s): 70.1233

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.1033 second user time and 37.0261 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2025-07-02 12:00:22
IDJOB=4504851
IDBENCH=155693
IDSOLVER=3356
FILE ID=nodeC005/4504851-1751450422
RUNJOBID= nodeC005-1751443065-64808
SLURM_JOB_ID= 9598416
Free space on /tmp= 429732 MiB

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

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

MD5SUM BENCH= 1bb082b6412719493b7deb7ac7dad108
RANDOM SEED=115765125

nodeC005 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		: 3662.663
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.90
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		: 3491.938
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.90
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.735
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.211
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.90
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		: 3662.628
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.90
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		: 3662.810
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.90
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.372
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.90
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		: 1198.103
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        60017168 kB
MemAvailable:   117600068 kB
Buffers:            2128 kB
Cached:         58160104 kB
SwapCached:           24 kB
Active:         12823908 kB
Inactive:       57464672 kB
Active(anon):   12141208 kB
Inactive(anon):     3164 kB
Active(file):     682700 kB
Inactive(file): 57461508 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:           1961056 kB
Writeback:             0 kB
AnonPages:      12129544 kB
Mapped:           114188 kB
Shmem:             17936 kB
KReclaimable:     500008 kB
Slab:             656512 kB
SReclaimable:     500008 kB
SUnreclaim:       156504 kB
KernelStack:        4288 kB
PageTables:        28180 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   13786916 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149688 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3432448 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:     8089600 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 429324 MiB
End job on nodeC005 at 2025-07-02 12:57:31