Trace number 4504575

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) 3287.56 3318.83

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Multihop/normalized-minisat25_6_4_4_mh.opb
MD5SUMfab5e62eb964e75ef5bb4e0d05cd3bf1
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 benchmark3938224
Best CPU time to get the best result obtained on this benchmark1573.85
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables31350
Total number of constraints73332
Number of constraints which are clauses57050
Number of constraints which are cardinality constraints (but not clauses)32
Number of constraints which are nor clauses,nor cardinality constraints16250
Minimum length of a constraint2
Maximum length of a constraint925
Number of terms in the objective function 16825
Biggest coefficient in the objective function 116930169
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 14114941895
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 116930169
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 14114941895
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-4504575-1751443108.opb'
0.07/0.13	c 	read 2.98MB  (120.17ms)
0.07/0.13	c	 [cnf: #variables 31350 #clauses 73033 #duplicates 300 #arr 238100]
0.07/0.14	c output proof to 'PROOFDIR/proof-4504575-1751443108'
0.07/0.14	c 
0.07/0.14	c make graph and approximate orbits
0.18/0.28	c	 [group: #orbits ~= 1200] (141.20ms)
0.18/0.28	c 
0.18/0.28	c detect special group actions
0.18/0.28	c 	probe for Johnson action (limit=64)
0.18/0.28	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.18/0.29	c 	probe for row symmetry (limit=64, splits=16.78M)
0.18/0.29	c 	 found row 25x2, generating row predicate
0.18/0.30	c 	 found row 25x2, generating row predicate
0.18/0.30	c 	 (17.84ms)
0.18/0.30	c 
0.18/0.30	c detect symmetries on remainder
0.18/0.30	c 	[graph: #vertices 228483 #edges 724400]
0.18/0.30	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.28/0.39	c 	 [group: #symmetries 7.15*10^779 #generators 1177] (97.06ms)
0.28/0.39	c 
0.28/0.39	c optimize generators (opt_passes=64, conjugate_limit=256)
0.28/0.40	c 	ran it=0, +gens=16 
0.85/0.95	c 	con best_support=4, best_gens=1177, +gens=134
0.85/0.95	c 	(553.10ms)
0.85/0.95	c 
0.85/0.95	c finalize break order and special generators
0.85/0.95	c 
0.85/0.95	c add generic predicates (break_depth=20)
0.85/0.95	c 	added predicates for 1327 generators (0.33ms)
0.85/0.96	c 
0.85/0.96	c generation finished
0.85/0.96	c 	[sbp: #constraints 1429 #add_vars 18]
0.85/0.96	c 
0.85/0.96	c write result to 'HOME/instance-4504575-1751443108.opb.pre'
0.85/0.97	c 	wrote 3.04MB (12.94ms)
0.85/0.97	c ------------------------------------------------------------------
0.85/0.97	c                 553.10ms 57.77% optimize_gens
0.85/0.97	c                 141.20ms 14.75% approx_orbits
0.85/0.97	c                 120.17ms 12.55% parse
0.85/0.97	c                  97.06ms 10.14% detect_generic
0.85/0.97	c                  17.84ms  1.86% detect_special
0.85/0.97	c                  12.94ms  1.35% output
0.85/0.97	c                  12.48ms  1.30% other
0.85/0.97	c                   2.34ms  0.24% finalize_order
0.85/0.97	c                   0.33ms  0.03% break_generic
0.85/0.97	c         ───────────────────────────────────────────────
0.85/0.97	c                 957.46ms   100% total
0.85/0.97	c ------------------------------------------------------------------
0.85/1.00	c RoundingSat 2
0.85/1.00	c branch pb25
0.85/1.00	c commit 63f22ad
1.98/2.39	c #variables 31368 #constraints 75665
1.98/2.39	c objective is ce32 
2.38/2.79	c initial watched  CF 32, 64, 128, Arb: 25 , 0 , 0 , 0
2.38/2.79	c initial counting CF 32, 64, 128, Arb: 14726 , 0 , 0 , 0
2.38/2.79	c bounds 59656201 >= -25 @ 1.34314
3.07/3.46	c bounds 46630265 >= -25 @ 1.9702
3.07/3.48	c bounds 46577794 >= -25 @ 1.99106
3.17/3.51	c bounds 46485650 >= -25 @ 2.0191
3.17/3.54	c bounds 46317990 >= -25 @ 2.03999
3.17/3.55	c bounds 46292876 >= -25 @ 2.05552
3.17/3.58	c bounds 46069317 >= -25 @ 2.08084
3.27/3.60	c bounds 46054071 >= -25 @ 2.105
3.27/3.63	c bounds 46005169 >= -25 @ 2.12803
3.27/3.64	c bounds 45985855 >= -25 @ 2.14243
3.27/3.68	c bounds 45966601 >= -25 @ 2.17705
3.36/3.79	c bounds 45955303 >= -25 @ 2.29107
3.46/3.84	c bounds 45950212 >= -25 @ 2.33329
3.57/3.95	c bounds 45920982 >= -25 @ 2.43971
3.66/4.01	c bounds 45167178 >= -25 @ 2.4911
3.66/4.05	c bounds 44949662 >= -25 @ 2.52887
4.46/4.82	c bounds 27312191 >= -25 @ 3.26488
4.56/4.90	c bounds 24122193 >= -25 @ 3.3396
4.56/4.93	c bounds 24073553 >= -25 @ 3.36665
4.65/5.01	c bounds 24057659 >= -25 @ 3.44114
4.95/5.31	c bounds 21449320 >= -25 @ 3.73088
6.34/6.74	c bounds 21426943 >= -25 @ 5.11078
8.32/8.77	c #Conflicts:       1000 | #Constraints:      76686
8.32/8.77	c bounds 21403911 >= -25 @ 7.06872
8.42/8.80	c bounds 21369022 >= -25 @ 7.1056
8.52/8.95	c bounds 21367667 >= -25 @ 7.24535
8.81/9.27	c bounds 21350672 >= -25 @ 7.54545
9.31/9.75	c bounds 21291470 >= -25 @ 8.01184
9.71/10.12	c bounds 21193668 >= -25 @ 8.37326
9.71/10.17	c bounds 21186429 >= -25 @ 8.40979
10.70/11.12	c bounds 21137693 >= -25 @ 9.34191
10.70/11.19	c bounds 21094963 >= -25 @ 9.40782
11.49/11.91	c bounds 21078507 >= -25 @ 10.1134
11.69/12.17	c bounds 18543601 >= -25 @ 10.3614
16.25/16.77	c #Conflicts:       2000 | #Constraints:      77702
16.25/16.77	c INPROCESSING
16.25/16.77	c GARBAGE COLLECT
16.25/16.77	c bounds 18536911 >= -25 @ 14.8199
16.35/16.81	c bounds 18478591 >= -25 @ 14.8637
16.44/16.95	c bounds 18476301 >= -25 @ 14.9983
21.02/21.59	c bounds 18443659 >= -25 @ 19.5137
22.02/22.56	c bounds 18143797 >= -25 @ 20.4617
22.11/22.66	c bounds 18102989 >= -25 @ 20.5615
22.11/22.68	c bounds 16683455 >= -25 @ 20.5822
22.21/22.71	c bounds 15117623 >= -25 @ 20.611
22.21/22.74	c bounds 15079902 >= -25 @ 20.6382
22.21/22.78	c bounds 15060588 >= -25 @ 20.6836
22.31/22.85	c bounds 14948632 >= -25 @ 20.7444
22.31/22.89	c bounds 13283182 >= -25 @ 20.7817
22.42/22.91	c bounds 12967062 >= -25 @ 20.805
24.62/25.13	c #Conflicts:       3000 | #Constraints:      77167
24.62/25.13	c bounds 8721588 >= -25 @ 22.9727
24.71/25.24	c bounds 8682333 >= -25 @ 23.0802
24.71/25.26	c bounds 8650214 >= -25 @ 23.1004
24.71/25.28	c bounds 8641590 >= -25 @ 23.1208
26.40/27.00	c bounds 8634957 >= -25 @ 24.7956
26.51/27.02	c bounds 8626333 >= -25 @ 24.819
26.80/27.39	c bounds 8623120 >= -25 @ 25.1675
33.08/33.65	c #Conflicts:       4000 | #Constraints:      78176
33.08/33.65	c INPROCESSING
33.08/33.65	c GARBAGE COLLECT
33.08/33.65	c rational objective 2.18661e+06
33.89/34.45	c bounds 8620062 >= -25 @ 32.0604
33.98/34.52	c bounds 8605273 >= -25 @ 32.1313
33.98/34.59	c bounds 8603474 >= -25 @ 32.1953
34.28/34.88	c bounds 8601203 >= -25 @ 32.4804
34.50/35.08	c bounds 8592026 >= -25 @ 32.6778
36.68/37.27	c bounds 8590161 >= -25 @ 34.8262
38.37/39.01	c bounds 8571007 >= -25 @ 36.5154
39.87/40.42	c bounds 8549425 >= -25 @ 37.8995
53.93/54.59	c #Conflicts:       5000 | #Constraints:      77290
53.93/54.59	c #Conflicts:       6000 | #Constraints:      78293
53.93/54.59	c INPROCESSING
53.93/54.59	c GARBAGE COLLECT
53.93/54.59	c bounds 8542407 >= -25 @ 51.7669
55.43/56.09	c bounds 6898792 >= -25 @ 53.2183
55.92/56.59	c bounds 6889473 >= -25 @ 53.7054
81.14/81.84	c #Conflicts:       7000 | #Constraints:      74814
81.14/81.84	c #Conflicts:       8000 | #Constraints:      75814
81.14/81.84	c #Conflicts:       9000 | #Constraints:      76814
81.14/81.84	c INPROCESSING
81.14/81.84	c GARBAGE COLLECT
81.14/81.84	c bounds 4269054 >= -25 @ 78.3799
100.16/100.92	c #Conflicts:      10000 | #Constraints:      72271
100.16/100.92	c #Conflicts:      11000 | #Constraints:      73271
100.16/100.92	c #Conflicts:      12000 | #Constraints:      74274
100.16/100.92	c INPROCESSING
100.16/100.92	c GARBAGE COLLECT
100.16/100.92	c rational objective 2.20177e+06
100.85/101.64	c bounds 4236122 >= -25 @ 97.6936
100.95/101.70	c bounds 4226856 >= -25 @ 97.7494
101.24/102.05	c bounds 4218829 >= -25 @ 98.0828
101.34/102.11	c bounds 4195873 >= -25 @ 98.1387
101.64/102.49	c bounds 4186669 >= -25 @ 98.5065
114.35/115.23	c #Conflicts:      13000 | #Constraints:      72627
114.35/115.23	c bounds 4172293 >= -25 @ 110.899
114.44/115.38	c bounds 4154084 >= -25 @ 111.045
116.74/117.70	c #Conflicts:      14000 | #Constraints:      73629
116.74/117.70	c bounds 4146928 >= -25 @ 113.306
116.83/117.76	c bounds 4071888 >= -25 @ 113.374
155.04/156.09	c #Conflicts:      15000 | #Constraints:      74638
155.04/156.09	c INPROCESSING
155.04/156.09	c GARBAGE COLLECT
155.04/156.09	c #Conflicts:      16000 | #Constraints:      72797
155.04/156.09	c #Conflicts:      17000 | #Constraints:      73799
155.04/156.09	c #Conflicts:      18000 | #Constraints:      74802
155.04/156.09	c INPROCESSING
155.04/156.09	c GARBAGE COLLECT
155.04/156.09	c rational objective 2.23652e+06
194.39/195.55	c #Conflicts:      19000 | #Constraints:      72847
194.39/195.55	c #Conflicts:      20000 | #Constraints:      73859
194.39/195.55	c #Conflicts:      21000 | #Constraints:      74869
194.39/195.55	c INPROCESSING
194.39/195.55	c GARBAGE COLLECT
194.39/195.55	c rational objective 2.27492e+06
224.29/225.53	c #Conflicts:      22000 | #Constraints:      72674
224.29/225.53	c #Conflicts:      23000 | #Constraints:      73675
224.29/225.53	c #Conflicts:      24000 | #Constraints:      74676
224.29/225.53	c #Conflicts:      25000 | #Constraints:      75683
224.29/225.53	c INPROCESSING
224.29/225.53	c GARBAGE COLLECT
224.29/225.53	c rational objective 2.35214e+06
256.48/257.89	c #Conflicts:      26000 | #Constraints:      71431
256.48/257.89	c #Conflicts:      27000 | #Constraints:      72432
256.48/257.89	c #Conflicts:      28000 | #Constraints:      73435
256.48/257.89	c #Conflicts:      29000 | #Constraints:      74437
256.48/257.89	c INPROCESSING
256.48/257.89	c GARBAGE COLLECT
256.48/257.89	c rational objective 2.46175e+06
301.06/302.58	c #Conflicts:      30000 | #Constraints:      69795
301.06/302.58	c #Conflicts:      31000 | #Constraints:      70811
301.06/302.58	c #Conflicts:      32000 | #Constraints:      71819
301.06/302.58	c #Conflicts:      33000 | #Constraints:      72829
301.06/302.58	c INPROCESSING
301.06/302.58	c GARBAGE COLLECT
301.06/302.58	c rational objective 2.50396e+06
337.58/339.13	c #Conflicts:      34000 | #Constraints:      70035
337.58/339.13	c #Conflicts:      35000 | #Constraints:      71035
337.58/339.13	c #Conflicts:      36000 | #Constraints:      72035
337.58/339.13	c #Conflicts:      37000 | #Constraints:      73038
337.58/339.13	c INPROCESSING
337.58/339.13	c GARBAGE COLLECT
337.58/339.13	c rational objective 2.51839e+06
383.66/385.46	c #Conflicts:      38000 | #Constraints:      70030
383.66/385.46	c #Conflicts:      39000 | #Constraints:      71037
383.66/385.46	c #Conflicts:      40000 | #Constraints:      72040
383.66/385.46	c #Conflicts:      41000 | #Constraints:      73048
383.66/385.46	c INPROCESSING
383.66/385.46	c GARBAGE COLLECT
383.66/385.46	c rational objective 2.61429e+06
403.32/405.13	c #Conflicts:      42000 | #Constraints:      69855
403.32/405.13	c #Conflicts:      43000 | #Constraints:      70863
403.32/405.13	c bounds 4056218 >= -25 @ 394.151
403.51/405.32	c bounds 4052222 >= -25 @ 394.341
403.91/405.73	c bounds 4051402 >= -25 @ 394.737
415.00/416.93	c #Conflicts:      44000 | #Constraints:      71879
415.00/416.93	c bounds 4043924 >= -25 @ 405.566
434.17/436.19	c #Conflicts:      45000 | #Constraints:      72885
434.17/436.19	c #Conflicts:      46000 | #Constraints:      73889
434.17/436.19	c INPROCESSING
434.17/436.19	c GARBAGE COLLECT
434.17/436.19	c rational objective 2.61606e+06
437.44/439.49	c bounds 4020959 >= -25 @ 427.676
438.53/440.55	c bounds 4019224 >= -25 @ 428.71
438.93/440.95	c bounds 4004671 >= -25 @ 429.102
485.00/487.16	c #Conflicts:      47000 | #Constraints:      70457
485.00/487.16	c #Conflicts:      48000 | #Constraints:      71462
485.00/487.16	c #Conflicts:      49000 | #Constraints:      72469
485.00/487.16	c #Conflicts:      50000 | #Constraints:      73469
485.00/487.16	c #Conflicts:      51000 | #Constraints:      74476
485.00/487.16	c INPROCESSING
485.00/487.16	c GARBAGE COLLECT
485.00/487.16	c rational objective 2.61739e+06
533.73/536.01	c #Conflicts:      52000 | #Constraints:      70909
533.73/536.01	c #Conflicts:      53000 | #Constraints:      71912
533.73/536.01	c #Conflicts:      54000 | #Constraints:      72916
533.73/536.01	c #Conflicts:      55000 | #Constraints:      73921
533.73/536.01	c #Conflicts:      56000 | #Constraints:      74928
533.73/536.01	c INPROCESSING
533.73/536.01	c GARBAGE COLLECT
533.73/536.01	c rational objective 2.62915e+06
589.00/591.55	c #Conflicts:      57000 | #Constraints:      71089
589.00/591.55	c #Conflicts:      58000 | #Constraints:      72095
589.00/591.55	c #Conflicts:      59000 | #Constraints:      73096
589.00/591.55	c #Conflicts:      60000 | #Constraints:      74099
589.00/591.55	c #Conflicts:      61000 | #Constraints:      75106
589.00/591.55	c INPROCESSING
589.00/591.55	c GARBAGE COLLECT
589.00/591.55	c rational objective 2.62988e+06
651.53/654.22	c #Conflicts:      62000 | #Constraints:      71025
651.53/654.22	c #Conflicts:      63000 | #Constraints:      72034
651.53/654.22	c #Conflicts:      64000 | #Constraints:      73046
651.53/654.22	c #Conflicts:      65000 | #Constraints:      74057
651.53/654.22	c #Conflicts:      66000 | #Constraints:      75069
651.53/654.22	c INPROCESSING
651.53/654.22	c GARBAGE COLLECT
651.53/654.22	c rational objective 2.63605e+06
714.12/717.09	c #Conflicts:      67000 | #Constraints:      70843
714.12/717.09	c #Conflicts:      68000 | #Constraints:      71844
714.12/717.09	c #Conflicts:      69000 | #Constraints:      72849
714.12/717.09	c #Conflicts:      70000 | #Constraints:      73856
714.12/717.09	c #Conflicts:      71000 | #Constraints:      74858
714.12/717.09	c #Conflicts:      72000 | #Constraints:      75863
714.12/717.09	c INPROCESSING
714.12/717.09	c GARBAGE COLLECT
714.12/717.09	c rational objective 2.64558e+06
774.79/777.90	c #Conflicts:      73000 | #Constraints:      71444
774.79/777.90	c #Conflicts:      74000 | #Constraints:      72444
774.79/777.90	c #Conflicts:      75000 | #Constraints:      73451
774.79/777.90	c #Conflicts:      76000 | #Constraints:      74459
774.79/777.90	c #Conflicts:      77000 | #Constraints:      75463
774.79/777.90	c #Conflicts:      78000 | #Constraints:      76465
774.79/777.90	c INPROCESSING
774.79/777.90	c GARBAGE COLLECT
774.79/777.90	c rational objective 2.6467e+06
849.08/852.47	c #Conflicts:      79000 | #Constraints:      71869
849.08/852.47	c #Conflicts:      80000 | #Constraints:      72876
849.08/852.47	c #Conflicts:      81000 | #Constraints:      73888
849.08/852.47	c #Conflicts:      82000 | #Constraints:      74899
849.08/852.47	c #Conflicts:      83000 | #Constraints:      75912
849.08/852.47	c #Conflicts:      84000 | #Constraints:      76921
849.08/852.47	c INPROCESSING
849.08/852.47	c GARBAGE COLLECT
849.08/852.47	c rational objective 2.64762e+06
924.47/928.08	c #Conflicts:      85000 | #Constraints:      72061
924.47/928.08	c #Conflicts:      86000 | #Constraints:      73069
924.47/928.08	c #Conflicts:      87000 | #Constraints:      74076
924.47/928.08	c #Conflicts:      88000 | #Constraints:      75082
924.47/928.08	c #Conflicts:      89000 | #Constraints:      76088
924.47/928.08	c #Conflicts:      90000 | #Constraints:      77091
924.47/928.08	c INPROCESSING
924.47/928.08	c GARBAGE COLLECT
924.47/928.08	c rational objective 2.64802e+06
1011.80/1015.63	c #Conflicts:      91000 | #Constraints:      72091
1011.80/1015.63	c #Conflicts:      92000 | #Constraints:      73100
1011.80/1015.63	c #Conflicts:      93000 | #Constraints:      74106
1011.80/1015.63	c #Conflicts:      94000 | #Constraints:      75113
1011.80/1015.63	c #Conflicts:      95000 | #Constraints:      76122
1011.80/1015.63	c #Conflicts:      96000 | #Constraints:      77128
1011.80/1015.63	c INPROCESSING
1011.80/1015.63	c GARBAGE COLLECT
1011.80/1015.63	c rational objective 2.64823e+06
1161.22/1165.58	c #Conflicts:      97000 | #Constraints:      71922
1161.22/1165.58	c #Conflicts:      98000 | #Constraints:      72927
1161.22/1165.58	c #Conflicts:      99000 | #Constraints:      73929
1161.22/1165.58	c #Conflicts:     100000 | #Constraints:      74931
1161.22/1165.58	c #Conflicts:     101000 | #Constraints:      75931
1161.22/1165.58	c #Conflicts:     102000 | #Constraints:      76931
1161.22/1165.58	c #Conflicts:     103000 | #Constraints:      77933
1161.22/1165.58	c INPROCESSING
1161.22/1165.58	c GARBAGE COLLECT
1161.22/1165.58	c #Conflicts:     104000 | #Constraints:      70197
1161.22/1165.58	c #Conflicts:     105000 | #Constraints:      71198
1161.22/1165.58	c #Conflicts:     106000 | #Constraints:      72206
1161.22/1165.58	c #Conflicts:     107000 | #Constraints:      73211
1161.22/1165.58	c #Conflicts:     108000 | #Constraints:      74218
1161.22/1165.58	c #Conflicts:     109000 | #Constraints:      75227
1161.22/1165.58	c #Conflicts:     110000 | #Constraints:      76236
1161.22/1165.58	c INPROCESSING
1161.22/1165.58	c GARBAGE COLLECT
1161.22/1165.58	c rational objective 2.64867e+06
1246.87/1251.41	c #Conflicts:     111000 | #Constraints:      70617
1246.87/1251.41	c #Conflicts:     112000 | #Constraints:      71630
1246.87/1251.41	c #Conflicts:     113000 | #Constraints:      72641
1246.87/1251.41	c #Conflicts:     114000 | #Constraints:      73651
1246.87/1251.41	c #Conflicts:     115000 | #Constraints:      74664
1246.87/1251.41	c #Conflicts:     116000 | #Constraints:      75672
1246.87/1251.41	c #Conflicts:     117000 | #Constraints:      76684
1246.87/1251.41	c INPROCESSING
1246.87/1251.41	c GARBAGE COLLECT
1246.87/1251.41	c rational objective 2.65522e+06
1324.59/1329.41	c #Conflicts:     118000 | #Constraints:      70918
1324.59/1329.41	c #Conflicts:     119000 | #Constraints:      71927
1324.59/1329.41	c #Conflicts:     120000 | #Constraints:      72933
1324.59/1329.41	c #Conflicts:     121000 | #Constraints:      73941
1324.59/1329.41	c #Conflicts:     122000 | #Constraints:      74948
1324.59/1329.41	c #Conflicts:     123000 | #Constraints:      75956
1324.59/1329.41	c #Conflicts:     124000 | #Constraints:      76963
1324.59/1329.41	c INPROCESSING
1324.59/1329.41	c GARBAGE COLLECT
1324.59/1329.41	c rational objective 2.65562e+06
1418.89/1424.10	c #Conflicts:     125000 | #Constraints:      70922
1418.89/1424.10	c #Conflicts:     126000 | #Constraints:      71929
1418.89/1424.10	c #Conflicts:     127000 | #Constraints:      72933
1418.89/1424.10	c #Conflicts:     128000 | #Constraints:      73942
1418.89/1424.10	c #Conflicts:     129000 | #Constraints:      74951
1418.89/1424.10	c #Conflicts:     130000 | #Constraints:      75964
1418.89/1424.10	c #Conflicts:     131000 | #Constraints:      76976
1418.89/1424.10	c INPROCESSING
1418.89/1424.10	c GARBAGE COLLECT
1418.89/1424.10	c rational objective 2.65562e+06
1501.81/1507.29	c #Conflicts:     132000 | #Constraints:      70760
1501.81/1507.29	c #Conflicts:     133000 | #Constraints:      71766
1501.81/1507.29	c #Conflicts:     134000 | #Constraints:      72769
1501.81/1507.29	c #Conflicts:     135000 | #Constraints:      73773
1501.81/1507.29	c #Conflicts:     136000 | #Constraints:      74779
1501.81/1507.29	c #Conflicts:     137000 | #Constraints:      75785
1501.81/1507.29	c #Conflicts:     138000 | #Constraints:      76787
1501.81/1507.29	c #Conflicts:     139000 | #Constraints:      77787
1501.81/1507.29	c INPROCESSING
1501.81/1507.29	c GARBAGE COLLECT
1501.81/1507.29	c rational objective 2.65562e+06
1591.86/1597.66	c #Conflicts:     140000 | #Constraints:      71383
1591.86/1597.66	c #Conflicts:     141000 | #Constraints:      72389
1591.86/1597.66	c #Conflicts:     142000 | #Constraints:      73398
1591.86/1597.66	c #Conflicts:     143000 | #Constraints:      74401
1591.86/1597.66	c #Conflicts:     144000 | #Constraints:      75407
1591.86/1597.66	c #Conflicts:     145000 | #Constraints:      76419
1591.86/1597.66	c #Conflicts:     146000 | #Constraints:      77424
1591.86/1597.66	c #Conflicts:     147000 | #Constraints:      78431
1591.86/1597.66	c INPROCESSING
1591.86/1597.66	c GARBAGE COLLECT
1591.86/1597.66	c rational objective 2.65562e+06
1692.65/1698.71	c #Conflicts:     148000 | #Constraints:      71767
1692.65/1698.71	c #Conflicts:     149000 | #Constraints:      72777
1692.65/1698.71	c #Conflicts:     150000 | #Constraints:      73786
1692.65/1698.71	c #Conflicts:     151000 | #Constraints:      74795
1692.65/1698.71	c #Conflicts:     152000 | #Constraints:      75801
1692.65/1698.71	c #Conflicts:     153000 | #Constraints:      76810
1692.65/1698.71	c #Conflicts:     154000 | #Constraints:      77820
1692.65/1698.71	c #Conflicts:     155000 | #Constraints:      78830
1692.65/1698.71	c INPROCESSING
1692.65/1698.71	c GARBAGE COLLECT
1692.65/1698.71	c rational objective 2.65562e+06
1777.52/1784.01	c #Conflicts:     156000 | #Constraints:      71940
1777.52/1784.01	c #Conflicts:     157000 | #Constraints:      72943
1777.52/1784.01	c #Conflicts:     158000 | #Constraints:      73943
1777.52/1784.01	c #Conflicts:     159000 | #Constraints:      74945
1777.52/1784.01	c #Conflicts:     160000 | #Constraints:      75951
1777.52/1784.01	c #Conflicts:     161000 | #Constraints:      76956
1777.52/1784.01	c #Conflicts:     162000 | #Constraints:      77961
1777.52/1784.01	c #Conflicts:     163000 | #Constraints:      78969
1777.52/1784.01	c INPROCESSING
1777.52/1784.01	c GARBAGE COLLECT
1777.52/1784.01	c rational objective 2.65562e+06
1895.62/1902.45	c #Conflicts:     164000 | #Constraints:      72105
1895.62/1902.45	c #Conflicts:     165000 | #Constraints:      73367
1895.62/1902.45	c #Conflicts:     166000 | #Constraints:      74395
1895.62/1902.45	c #Conflicts:     167000 | #Constraints:      75574
1895.62/1902.45	c #Conflicts:     168000 | #Constraints:      76591
1895.62/1902.45	c #Conflicts:     169000 | #Constraints:      77601
1895.62/1902.45	c #Conflicts:     170000 | #Constraints:      78614
1895.62/1902.45	c #Conflicts:     171000 | #Constraints:      79623
1895.62/1902.45	c INPROCESSING
1895.62/1902.45	c GARBAGE COLLECT
1895.62/1902.45	c rational objective 2.65562e+06
1993.01/2000.39	c #Conflicts:     172000 | #Constraints:      72086
1993.01/2000.39	c #Conflicts:     173000 | #Constraints:      73091
1993.01/2000.39	c #Conflicts:     174000 | #Constraints:      74098
1993.01/2000.39	c #Conflicts:     175000 | #Constraints:      75105
1993.01/2000.39	c #Conflicts:     176000 | #Constraints:      76114
1993.01/2000.39	c #Conflicts:     177000 | #Constraints:      77118
1993.01/2000.39	c #Conflicts:     178000 | #Constraints:      78122
1993.01/2000.39	c #Conflicts:     179000 | #Constraints:      79125
1993.01/2000.39	c #Conflicts:     180000 | #Constraints:      80129
1993.01/2000.39	c INPROCESSING
1993.01/2000.39	c GARBAGE COLLECT
1993.01/2000.39	c rational objective 2.65562e+06
2093.91/2101.68	c #Conflicts:     181000 | #Constraints:      72518
2093.91/2101.68	c #Conflicts:     182000 | #Constraints:      73522
2093.91/2101.68	c #Conflicts:     183000 | #Constraints:      74528
2093.91/2101.68	c #Conflicts:     184000 | #Constraints:      75535
2093.91/2101.68	c #Conflicts:     185000 | #Constraints:      76538
2093.91/2101.68	c #Conflicts:     186000 | #Constraints:      77544
2093.91/2101.68	c #Conflicts:     187000 | #Constraints:      78550
2093.91/2101.68	c #Conflicts:     188000 | #Constraints:      79558
2093.91/2101.68	c #Conflicts:     189000 | #Constraints:      80565
2093.91/2101.68	c INPROCESSING
2093.91/2101.68	c GARBAGE COLLECT
2093.91/2101.68	c rational objective 2.66547e+06
2212.88/2221.03	c #Conflicts:     190000 | #Constraints:      72844
2212.88/2221.03	c #Conflicts:     191000 | #Constraints:      73852
2212.88/2221.03	c #Conflicts:     192000 | #Constraints:      74863
2212.88/2221.03	c #Conflicts:     193000 | #Constraints:      75876
2212.88/2221.03	c #Conflicts:     194000 | #Constraints:      76888
2212.88/2221.03	c #Conflicts:     195000 | #Constraints:      77896
2212.88/2221.03	c #Conflicts:     196000 | #Constraints:      78901
2212.88/2221.03	c #Conflicts:     197000 | #Constraints:      79911
2212.88/2221.03	c #Conflicts:     198000 | #Constraints:      80918
2212.88/2221.03	c INPROCESSING
2212.88/2221.03	c GARBAGE COLLECT
2212.88/2221.03	c rational objective 2.66738e+06
2300.66/2309.11	c #Conflicts:     199000 | #Constraints:      72980
2300.66/2309.11	c #Conflicts:     200000 | #Constraints:      73980
2300.66/2309.11	c #Conflicts:     201000 | #Constraints:      74983
2300.66/2309.11	c #Conflicts:     202000 | #Constraints:      75999
2300.66/2309.11	c #Conflicts:     203000 | #Constraints:      77003
2300.66/2309.11	c #Conflicts:     204000 | #Constraints:      78003
2300.66/2309.11	c #Conflicts:     205000 | #Constraints:      79007
2300.66/2309.11	c #Conflicts:     206000 | #Constraints:      80012
2300.66/2309.11	c #Conflicts:     207000 | #Constraints:      81014
2300.66/2309.11	c INPROCESSING
2300.66/2309.11	c GARBAGE COLLECT
2300.66/2309.11	c rational objective 2.71413e+06
2428.41/2437.34	c #Conflicts:     208000 | #Constraints:      72993
2428.41/2437.34	c #Conflicts:     209000 | #Constraints:      73997
2428.41/2437.34	c #Conflicts:     210000 | #Constraints:      75002
2428.41/2437.34	c #Conflicts:     211000 | #Constraints:      76009
2428.41/2437.34	c #Conflicts:     212000 | #Constraints:      77011
2428.41/2437.34	c #Conflicts:     213000 | #Constraints:      78021
2428.41/2437.34	c #Conflicts:     214000 | #Constraints:      79028
2428.41/2437.34	c #Conflicts:     215000 | #Constraints:      80036
2428.41/2437.34	c #Conflicts:     216000 | #Constraints:      81041
2428.41/2437.34	c INPROCESSING
2428.41/2437.34	c GARBAGE COLLECT
2428.41/2437.34	c rational objective 2.71493e+06
2548.80/2558.26	c #Conflicts:     217000 | #Constraints:      72792
2548.80/2558.26	c #Conflicts:     218000 | #Constraints:      73795
2548.80/2558.26	c #Conflicts:     219000 | #Constraints:      74797
2548.80/2558.26	c #Conflicts:     220000 | #Constraints:      75805
2548.80/2558.26	c #Conflicts:     221000 | #Constraints:      76810
2548.80/2558.26	c #Conflicts:     222000 | #Constraints:      77813
2548.80/2558.26	c #Conflicts:     223000 | #Constraints:      78819
2548.80/2558.26	c #Conflicts:     224000 | #Constraints:      79825
2548.80/2558.26	c #Conflicts:     225000 | #Constraints:      80831
2548.80/2558.26	c #Conflicts:     226000 | #Constraints:      81835
2548.80/2558.26	c INPROCESSING
2548.80/2558.26	c GARBAGE COLLECT
2548.80/2558.26	c rational objective 2.71495e+06
2662.33/2672.13	c #Conflicts:     227000 | #Constraints:      73377
2662.33/2672.13	c #Conflicts:     228000 | #Constraints:      74380
2662.33/2672.13	c #Conflicts:     229000 | #Constraints:      75386
2662.33/2672.13	c #Conflicts:     230000 | #Constraints:      76392
2662.33/2672.13	c #Conflicts:     231000 | #Constraints:      77396
2662.33/2672.13	c #Conflicts:     232000 | #Constraints:      78399
2662.33/2672.13	c #Conflicts:     233000 | #Constraints:      79406
2662.33/2672.13	c #Conflicts:     234000 | #Constraints:      80409
2662.33/2672.13	c #Conflicts:     235000 | #Constraints:      81413
2662.33/2672.13	c #Conflicts:     236000 | #Constraints:      82418
2662.33/2672.13	c INPROCESSING
2662.33/2672.13	c GARBAGE COLLECT
2662.33/2672.13	c rational objective 2.71495e+06
2806.67/2817.11	c #Conflicts:     237000 | #Constraints:      73803
2806.67/2817.11	c #Conflicts:     238000 | #Constraints:      74813
2806.67/2817.11	c #Conflicts:     239000 | #Constraints:      75827
2806.67/2817.11	c #Conflicts:     240000 | #Constraints:      76836
2806.67/2817.11	c #Conflicts:     241000 | #Constraints:      77844
2806.67/2817.11	c #Conflicts:     242000 | #Constraints:      78856
2806.67/2817.11	c #Conflicts:     243000 | #Constraints:      79863
2806.67/2817.11	c #Conflicts:     244000 | #Constraints:      80869
2806.67/2817.11	c #Conflicts:     245000 | #Constraints:      81877
2806.67/2817.11	c #Conflicts:     246000 | #Constraints:      82888
2806.67/2817.11	c INPROCESSING
2806.67/2817.11	c GARBAGE COLLECT
2806.67/2817.11	c rational objective 2.71542e+06
2920.71/2931.51	c #Conflicts:     247000 | #Constraints:      73991
2920.71/2931.51	c #Conflicts:     248000 | #Constraints:      74998
2920.71/2931.51	c #Conflicts:     249000 | #Constraints:      76003
2920.71/2931.51	c #Conflicts:     250000 | #Constraints:      77011
2920.71/2931.51	c #Conflicts:     251000 | #Constraints:      78015
2920.71/2931.51	c #Conflicts:     252000 | #Constraints:      79023
2920.71/2931.51	c #Conflicts:     253000 | #Constraints:      80032
2920.71/2931.51	c #Conflicts:     254000 | #Constraints:      81036
2920.71/2931.51	c #Conflicts:     255000 | #Constraints:      82041
2920.71/2931.51	c #Conflicts:     256000 | #Constraints:      83050
2920.71/2931.51	c INPROCESSING
2920.71/2931.51	c GARBAGE COLLECT
2920.71/2931.51	c rational objective 2.71619e+06
3062.41/3073.70	c #Conflicts:     257000 | #Constraints:      74035
3062.41/3073.70	c #Conflicts:     258000 | #Constraints:      75046
3062.41/3073.70	c #Conflicts:     259000 | #Constraints:      76054
3062.41/3073.70	c #Conflicts:     260000 | #Constraints:      77062
3062.41/3073.70	c #Conflicts:     261000 | #Constraints:      78071
3062.41/3073.70	c #Conflicts:     262000 | #Constraints:      79079
3062.41/3073.70	c #Conflicts:     263000 | #Constraints:      80084
3062.41/3073.70	c #Conflicts:     264000 | #Constraints:      81092
3062.41/3073.70	c #Conflicts:     265000 | #Constraints:      82102
3062.41/3073.70	c #Conflicts:     266000 | #Constraints:      83104
3062.41/3073.70	c INPROCESSING
3062.41/3073.70	c GARBAGE COLLECT
3062.41/3073.70	c rational objective 2.71627e+06
3190.26/3202.09	c #Conflicts:     267000 | #Constraints:      73835
3190.26/3202.09	c #Conflicts:     268000 | #Constraints:      74844
3190.26/3202.09	c #Conflicts:     269000 | #Constraints:      75849
3190.26/3202.09	c #Conflicts:     270000 | #Constraints:      76854
3190.26/3202.09	c #Conflicts:     271000 | #Constraints:      77859
3190.26/3202.09	c #Conflicts:     272000 | #Constraints:      78865
3190.26/3202.09	c #Conflicts:     273000 | #Constraints:      79869
3190.26/3202.09	c #Conflicts:     274000 | #Constraints:      80878
3190.26/3202.09	c #Conflicts:     275000 | #Constraints:      81882
3190.26/3202.09	c #Conflicts:     276000 | #Constraints:      82891
3190.26/3202.09	c #Conflicts:     277000 | #Constraints:      83895
3190.26/3202.09	c INPROCESSING
3190.26/3202.09	c GARBAGE COLLECT
3190.26/3202.09	c rational objective 2.71627e+06
0.95/3318.83	HOME/run-opt-ls-log.sh: line 3: 64926 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 (57814 MiB free)
  memory of node 1: 64465 MiB (61057 MiB free)
  node distances:
     10  21
     21  10

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

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=64923, runsolver pid=64920

[startup+0.100067 s]*
/proc/loadavg: 3.38 3.77 3.97 5/258 64925
/proc/meminfo: memFree=121696100/131382112 swapFree=33010684/33010684
[pid=64923] ppid=64920 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/64923/stat : 64923 (run-opt-ls-log.) S 64920 64923 64796 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 59990205 4292608 736 18446744073709551615 94062178140160 94062179034693 140733210234864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94062179273744 94062179321488 94062209757184 140733210241307 140733210241505 140733210241505 140733210247107 0
/proc/64923/statm: 1048 736 672 219 0 110 0
[pid=64925] ppid=64923 vsize=36736 memory=28320 CPUtime=0.07 cores=5,7
/proc/64925/stat : 64925 (pbsuma) R 64923 64923 64796 0 -1 4194304 3570 0 0 0 6 1 0 0 20 0 1 0 59990206 37617664 7080 18446744073709551615 4210688 4653049 140725382553872 0 0 0 0 0 0 0 0 0 17 7 0 0 0 0 0 4700520 4703148 16805888 140725382555875 140725382556210 140725382556210 140725382561775 0
/proc/64925/statm: 9184 7080 928 108 0 6592 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 40928 KiB
Current children cumulated memory: 31264 KiB

[startup+0.214948 s]*
/proc/loadavg: 3.38 3.77 3.97 5/258 64925
/proc/meminfo: memFree=121664220/131382112 swapFree=33010684/33010684
[pid=64923] ppid=64920 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/64923/stat : 64923 (run-opt-ls-log.) S 64920 64923 64796 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 59990205 4292608 736 18446744073709551615 94062178140160 94062179034693 140733210234864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94062179273744 94062179321488 94062209757184 140733210241307 140733210241505 140733210241505 140733210247107 0
/proc/64923/statm: 1048 736 672 219 0 110 0
[pid=64925] ppid=64923 vsize=79168 memory=59412 CPUtime=0.18 cores=5,7
/proc/64925/stat : 64925 (pbsuma) R 64923 64923 64796 0 -1 4194304 10646 0 0 0 15 3 0 0 20 0 1 0 59990206 81068032 14853 18446744073709551615 4210688 4653049 140725382553872 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 16805888 140725382555875 140725382556210 140725382556210 140725382561775 0
/proc/64925/statm: 19792 14853 992 108 0 17200 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 83360 KiB
Current children cumulated memory: 62356 KiB

[startup+0.314304 s]*
/proc/loadavg: 3.38 3.77 3.97 5/258 64925
/proc/meminfo: memFree=121656912/131382112 swapFree=33010684/33010684
[pid=64923] ppid=64920 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/64923/stat : 64923 (run-opt-ls-log.) S 64920 64923 64796 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 59990205 4292608 736 18446744073709551615 94062178140160 94062179034693 140733210234864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94062179273744 94062179321488 94062209757184 140733210241307 140733210241505 140733210241505 140733210247107 0
/proc/64923/statm: 1048 736 672 219 0 110 0
[pid=64925] ppid=64923 vsize=90800 memory=70936 CPUtime=0.28 cores=5,7
/proc/64925/stat : 64925 (pbsuma) R 64923 64923 64796 0 -1 4194304 15892 0 0 0 23 5 0 0 20 0 1 0 59990206 92979200 17734 18446744073709551615 4210688 4653049 140725382553872 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 16805888 140725382555875 140725382556210 140725382556210 140725382561775 0
/proc/64925/statm: 22700 17734 1024 108 0 20108 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 94992 KiB
Current children cumulated memory: 73880 KiB

[startup+0.700379 s]
/proc/loadavg: 3.38 3.77 3.97 6/258 64925
/proc/meminfo: memFree=121610416/131382112 swapFree=33010684/33010684
[pid=64923] ppid=64920 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/64923/stat : 64923 (run-opt-ls-log.) S 64920 64923 64796 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 59990205 4292608 736 18446744073709551615 94062178140160 94062179034693 140733210234864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94062179273744 94062179321488 94062209757184 140733210241307 140733210241505 140733210241505 140733210247107 0
/proc/64923/statm: 1048 736 672 219 0 110 0
[pid=64925] ppid=64923 vsize=89908 memory=70264 CPUtime=0.65 cores=5,7
/proc/64925/stat : 64925 (pbsuma) R 64923 64923 64796 0 -1 4194304 21524 0 0 0 58 7 0 0 20 0 1 0 59990206 92065792 17566 18446744073709551615 4210688 4653049 140725382553872 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 16805888 140725382555875 140725382556210 140725382556210 140725382561775 0
/proc/64925/statm: 22477 17566 1024 108 0 19885 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 94100 KiB
Current children cumulated memory: 73208 KiB

[startup+1.50032 s]
/proc/loadavg: 3.38 3.77 3.97 4/258 64926
/proc/meminfo: memFree=121600220/131382112 swapFree=33010684/33010684
[pid=64923] ppid=64920 vsize=4192 memory=3072 CPUtime=0.95 cores=5,7
/proc/64923/stat : 64923 (run-opt-ls-log.) S 64920 64923 64796 0 -1 4194304 240 21653 0 0 0 0 87 8 20 0 1 0 59990205 4292608 768 18446744073709551615 94062178140160 94062179034693 140733210234864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94062179273744 94062179321488 94062209757184 140733210241307 140733210241505 140733210241505 140733210247107 0
/proc/64923/statm: 1048 768 704 219 0 110 0
[pid=64926] ppid=64923 vsize=69808 memory=24484 CPUtime=0.24 cores=5,7
/proc/64926/stat : 64926 (roundingsat) R 64923 64923 64796 0 -1 4194304 4664 0 0 0 19 5 0 0 20 0 1 0 59990305 71483392 6121 18446744073709551615 4227072 8923433 140728864938224 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 39370752 140728864946422 140728864946728 140728864946728 140728864952298 0
/proc/64926/statm: 17452 6121 2016 1147 0 4879 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 74000 KiB
Current children cumulated memory: 27556 KiB

[startup+3.10668 s]
/proc/loadavg: 3.43 3.77 3.97 5/258 64926
/proc/meminfo: memFree=121260320/131382112 swapFree=33010684/33010684
[pid=64923] ppid=64920 vsize=4192 memory=3072 CPUtime=0.95 cores=5,7
/proc/64923/stat : 64923 (run-opt-ls-log.) S 64920 64923 64796 0 -1 4194304 240 21653 0 0 0 0 87 8 20 0 1 0 59990205 4292608 768 18446744073709551615 94062178140160 94062179034693 140733210234864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94062179273744 94062179321488 94062209757184 140733210241307 140733210241505 140733210241505 140733210247107 0
/proc/64923/statm: 1048 768 704 219 0 110 0
[pid=64926] ppid=64923 vsize=214432 memory=141260 CPUtime=1.83 cores=5,7
/proc/64926/stat : 64926 (roundingsat) R 64923 64923 64796 0 -1 4194304 22770 0 0 0 163 20 0 0 20 0 1 0 59990305 219578368 35315 18446744073709551615 4227072 8923433 140728864938224 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 39370752 140728864946422 140728864946728 140728864946728 140728864952298 0
/proc/64926/statm: 53608 35315 2368 1147 0 41035 0
Current children cumulated CPU time: 2.78 s
Current children cumulated vsize: 218624 KiB
Current children cumulated memory: 144332 KiB

[startup+6.30016 s]
/proc/loadavg: 3.43 3.77 3.97 5/259 64927
/proc/meminfo: memFree=120761232/131382112 swapFree=33010684/33010684
[pid=64923] ppid=64920 vsize=4192 memory=3072 CPUtime=0.95 cores=5,7
/proc/64923/stat : 64923 (run-opt-ls-log.) S 64920 64923 64796 0 -1 4194304 240 21653 0 0 0 0 87 8 20 0 1 0 59990205 4292608 768 18446744073709551615 94062178140160 94062179034693 140733210234864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94062179273744 94062179321488 94062209757184 140733210241307 140733210241505 140733210241505 140733210247107 0
/proc/64923/statm: 1048 768 704 219 0 110 0
[pid=64926] ppid=64923 vsize=282272 memory=200488 CPUtime=4.99 cores=5,7
/proc/64926/stat : 64926 (roundingsat) R 64923 64923 64796 0 -1 4194304 34997 0 0 0 467 32 0 0 20 0 1 0 59990305 289046528 50122 18446744073709551615 4227072 8923433 140728864938224 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 39370752 140728864946422 140728864946728 140728864946728 140728864952298 0
/proc/64926/statm: 70568 50122 2400 1147 0 57995 0
Current children cumulated CPU time: 5.94 s
Current children cumulated vsize: 286464 KiB
Current children cumulated memory: 203560 KiB

[startup+12.7002 s]
/proc/loadavg: 3.47 3.77 3.97 5/259 64927
/proc/meminfo: memFree=119738180/131382112 swapFree=33010684/33010684
[pid=64923] ppid=64920 vsize=4192 memory=3072 CPUtime=0.95 cores=5,7
/proc/64923/stat : 64923 (run-opt-ls-log.) S 64920 64923 64796 0 -1 4194304 240 21653 0 0 0 0 87 8 20 0 1 0 59990205 4292608 768 18446744073709551615 94062178140160 94062179034693 140733210234864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94062179273744 94062179321488 94062209757184 140733210241307 140733210241505 140733210241505 140733210247107 0
/proc/64923/statm: 1048 768 704 219 0 110 0
[pid=64926] ppid=64923 vsize=398408 memory=317960 CPUtime=11.34 cores=5,7
/proc/64926/stat : 64926 (roundingsat) R 64923 64923 64796 0 -1 4194304 58503 0 0 0 1088 46 0 0 20 0 1 0 59990305 407969792 79490 18446744073709551615 4227072 8923433 140728864938224 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 39370752 140728864946422 140728864946728 140728864946728 140728864952298 0
/proc/64926/statm: 99602 79490 2400 1147 0 87029 0
Current children cumulated CPU time: 12.29 s
Current children cumulated vsize: 402600 KiB
Current children cumulated memory: 321032 KiB

[startup+25.5004 s]
/proc/loadavg: 3.66 3.80 3.98 5/260 64928
/proc/meminfo: memFree=118082356/131382112 swapFree=33010684/33010684
[pid=64923] ppid=64920 vsize=4192 memory=3072 CPUtime=0.95 cores=5,7
/proc/64923/stat : 64923 (run-opt-ls-log.) S 64920 64923 64796 0 -1 4194304 240 21653 0 0 0 0 87 8 20 0 1 0 59990205 4292608 768 18446744073709551615 94062178140160 94062179034693 140733210234864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94062179273744 94062179321488 94062209757184 140733210241307 140733210241505 140733210241505 140733210247107 0
/proc/64923/statm: 1048 768 704 219 0 110 0
[pid=64926] ppid=64923 vsize=460024 memory=368976 CPUtime=24.06 cores=5,7
/proc/64926/stat : 64926 (roundingsat) R 64923 64923 64796 0 -1 4194304 68389 0 0 0 2333 73 0 0 20 0 1 0 59990305 471064576 92244 18446744073709551615 4227072 8923433 140728864938224 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39370752 140728864946422 140728864946728 140728864946728 140728864952298 0
/proc/64926/statm: 115006 92244 2400 1147 0 102433 0
Current children cumulated CPU time: 25.01 s
Current children cumulated vsize: 464216 KiB
Current children cumulated memory: 372048 KiB

[startup+51.1141 s]
/proc/loadavg: 3.78 3.82 3.98 5/261 64930
/proc/meminfo: memFree=114495128/131382112 swapFree=33010684/33010684
[pid=64923] ppid=64920 vsize=4192 memory=3072 CPUtime=0.95 cores=5,7
/proc/64923/stat : 64923 (run-opt-ls-log.) S 64920 64923 64796 0 -1 4194304 240 21653 0 0 0 0 87 8 20 0 1 0 59990205 4292608 768 18446744073709551615 94062178140160 94062179034693 140733210234864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94062179273744 94062179321488 94062209757184 140733210241307 140733210241505 140733210241505 140733210247107 0
/proc/64923/statm: 1048 768 704 219 0 110 0
[pid=64926] ppid=64923 vsize=676388 memory=563416 CPUtime=49.61 cores=5,7
/proc/64926/stat : 64926 (roundingsat) R 64923 64923 64796 0 -1 4194304 104869 0 0 0 4837 124 0 0 20 0 1 0 59990305 692621312 140854 18446744073709551615 4227072 8923433 140728864938224 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39370752 140728864946422 140728864946728 140728864946728 140728864952298 0
/proc/64926/statm: 169097 140854 2400 1147 0 156524 0
Current children cumulated CPU time: 50.56 s
Current children cumulated vsize: 680580 KiB
Current children cumulated memory: 566488 KiB

[startup+102.3 s]
/proc/loadavg: 3.95 3.86 3.99 5/261 64936
/proc/meminfo: memFree=108233544/131382112 swapFree=33010684/33010684
[pid=64923] ppid=64920 vsize=4192 memory=3072 CPUtime=0.95 cores=5,7
/proc/64923/stat : 64923 (run-opt-ls-log.) S 64920 64923 64796 0 -1 4194304 240 21653 0 0 0 0 87 8 20 0 1 0 59990205 4292608 768 18446744073709551615 94062178140160 94062179034693 140733210234864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94062179273744 94062179321488 94062209757184 140733210241307 140733210241505 140733210241505 140733210247107 0
/proc/64923/statm: 1048 768 704 219 0 110 0
[pid=64926] ppid=64923 vsize=893316 memory=699540 CPUtime=100.59 cores=5,7
/proc/64926/stat : 64926 (roundingsat) R 64923 64923 64796 0 -1 4194304 131927 0 0 0 9832 227 0 0 20 0 1 0 59990305 914755584 174885 18446744073709551615 4227072 8923433 140728864938224 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 39370752 140728864946422 140728864946728 140728864946728 140728864952298 0
/proc/64926/statm: 223329 174885 2400 1147 0 210756 0
Current children cumulated CPU time: 101.54 s
Current children cumulated vsize: 897508 KiB
Current children cumulated memory: 702612 KiB

[startup+162.3 s]
/proc/loadavg: 4.53 4.03 4.04 5/261 64949
/proc/meminfo: memFree=100243876/131382112 swapFree=33010684/33010684
[pid=64923] ppid=64920 vsize=4192 memory=3072 CPUtime=0.95 cores=5,7
/proc/64923/stat : 64923 (run-opt-ls-log.) S 64920 64923 64796 0 -1 4194304 240 21653 0 0 0 0 87 8 20 0 1 0 59990205 4292608 768 18446744073709551615 94062178140160 94062179034693 140733210234864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94062179273744 94062179321488 94062209757184 140733210241307 140733210241505 140733210241505 140733210247107 0
/proc/64923/statm: 1048 768 704 219 0 110 0
[pid=64926] ppid=64923 vsize=904276 memory=719192 CPUtime=160.35 cores=5,7
/proc/64926/stat : 64926 (roundingsat) R 64923 64923 64796 0 -1 4194304 135838 0 0 0 15692 343 0 0 20 0 1 0 59990305 925978624 179798 18446744073709551615 4227072 8923433 140728864938224 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39370752 140728864946422 140728864946728 140728864946728 140728864952298 0
/proc/64926/statm: 226069 179798 2400 1147 0 213496 0
Current children cumulated CPU time: 161.3 s
Current children cumulated vsize: 908468 KiB
Current children cumulated memory: 722264 KiB

[startup+222.3 s]
/proc/loadavg: 4.90 4.24 4.11 5/262 64952
/proc/meminfo: memFree=92505516/131382112 swapFree=33010684/33010684
[pid=64923] ppid=64920 vsize=4192 memory=3072 CPUtime=0.95 cores=5,7
/proc/64923/stat : 64923 (run-opt-ls-log.) S 64920 64923 64796 0 -1 4194304 240 21653 0 0 0 0 87 8 20 0 1 0 59990205 4292608 768 18446744073709551615 94062178140160 94062179034693 140733210234864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94062179273744 94062179321488 94062209757184 140733210241307 140733210241505 140733210241505 140733210247107 0
/proc/64923/statm: 1048 768 704 219 0 110 0
[pid=64926] ppid=64923 vsize=950308 memory=796164 CPUtime=220.15 cores=5,7
/proc/64926/stat : 64926 (roundingsat) R 64923 64923 64796 0 -1 4194304 146989 0 0 0 21554 461 0 0 20 0 1 0 59990305 973115392 199041 18446744073709551615 4227072 8923433 140728864938224 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39370752 140728864946422 140728864946728 140728864946728 140728864952298 0
/proc/64926/statm: 237577 199041 2400 1147 0 225004 0

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

/proc/meminfo: memFree=1858512/131382112 swapFree=33010416/33010684
[pid=64923] ppid=64920 vsize=4192 memory=3072 CPUtime=0.95 cores=5,7
/proc/64923/stat : 64923 (run-opt-ls-log.) S 64920 64923 64796 0 -1 4194304 240 21653 0 0 0 0 87 8 20 0 1 0 59990205 4292608 768 18446744073709551615 94062178140160 94062179034693 140733210234864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94062179273744 94062179321488 94062209757184 140733210241307 140733210241505 140733210241505 140733210247107 0
/proc/64923/statm: 1048 768 704 219 0 110 0
[pid=64926] ppid=64923 vsize=2337048 memory=2027852 CPUtime=2970.38 cores=5,7
/proc/64926/stat : 64926 (roundingsat) R 64923 64923 64796 0 -1 4194304 359697 0 1 0 290994 6044 0 0 20 0 1 0 59990305 2393137152 506963 18446744073709551615 4227072 8923433 140728864938224 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39370752 140728864946422 140728864946728 140728864946728 140728864952298 0
/proc/64926/statm: 584262 506963 2528 1147 0 571689 0
Current children cumulated CPU time: 2971.33 s
Current children cumulated vsize: 2341240 KiB
Current children cumulated memory: 2030924 KiB

[startup+3042.3 s]
/proc/loadavg: 4.16 4.38 4.36 5/263 65094
/proc/meminfo: memFree=1860996/131382112 swapFree=33010416/33010684
[pid=64923] ppid=64920 vsize=4192 memory=3072 CPUtime=0.95 cores=5,7
/proc/64923/stat : 64923 (run-opt-ls-log.) S 64920 64923 64796 0 -1 4194304 240 21653 0 0 0 0 87 8 20 0 1 0 59990205 4292608 768 18446744073709551615 94062178140160 94062179034693 140733210234864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94062179273744 94062179321488 94062209757184 140733210241307 140733210241505 140733210241505 140733210247107 0
/proc/64923/statm: 1048 768 704 219 0 110 0
[pid=64926] ppid=64923 vsize=2337048 memory=2027852 CPUtime=3030.19 cores=5,7
/proc/64926/stat : 64926 (roundingsat) R 64923 64923 64796 0 -1 4194304 359770 0 1 0 296861 6158 0 0 20 0 1 0 59990305 2393137152 506963 18446744073709551615 4227072 8923433 140728864938224 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39370752 140728864946422 140728864946728 140728864946728 140728864952298 0
/proc/64926/statm: 584262 506963 2528 1147 0 571689 0
Current children cumulated CPU time: 3031.14 s
Current children cumulated vsize: 2341240 KiB
Current children cumulated memory: 2030924 KiB

[startup+3102.3 s]
/proc/loadavg: 4.15 4.34 4.35 7/263 65100
/proc/meminfo: memFree=1823884/131382112 swapFree=33010416/33010684
[pid=64923] ppid=64920 vsize=4192 memory=3072 CPUtime=0.95 cores=5,7
/proc/64923/stat : 64923 (run-opt-ls-log.) S 64920 64923 64796 0 -1 4194304 240 21653 0 0 0 0 87 8 20 0 1 0 59990205 4292608 768 18446744073709551615 94062178140160 94062179034693 140733210234864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94062179273744 94062179321488 94062209757184 140733210241307 140733210241505 140733210241505 140733210247107 0
/proc/64923/statm: 1048 768 704 219 0 110 0
[pid=64926] ppid=64923 vsize=2337048 memory=2027852 CPUtime=3089.97 cores=5,7
/proc/64926/stat : 64926 (roundingsat) R 64923 64923 64796 0 -1 4194304 359810 0 1 0 302720 6277 0 0 20 0 1 0 59990305 2393137152 506963 18446744073709551615 4227072 8923433 140728864938224 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39370752 140728864946422 140728864946728 140728864946728 140728864952298 0
/proc/64926/statm: 584262 506963 2528 1147 0 571689 0
Current children cumulated CPU time: 3090.92 s
Current children cumulated vsize: 2341240 KiB
Current children cumulated memory: 2030924 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.29 4.33 6/266 65106
/proc/meminfo: memFree=1757568/131382112 swapFree=33010416/33010684
[pid=64923] ppid=64920 vsize=4192 memory=3072 CPUtime=0.95 cores=5,7
/proc/64923/stat : 64923 (run-opt-ls-log.) S 64920 64923 64796 0 -1 4194304 240 21653 0 0 0 0 87 8 20 0 1 0 59990205 4292608 768 18446744073709551615 94062178140160 94062179034693 140733210234864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94062179273744 94062179321488 94062209757184 140733210241307 140733210241505 140733210241505 140733210247107 0
/proc/64923/statm: 1048 768 704 219 0 110 0
[pid=64926] ppid=64923 vsize=2337048 memory=2027852 CPUtime=3149.74 cores=5,7
/proc/64926/stat : 64926 (roundingsat) R 64923 64923 64796 0 -1 4194304 359835 0 1 0 308568 6406 0 0 20 0 1 0 59990305 2393137152 506963 18446744073709551615 4227072 8923433 140728864938224 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39370752 140728864946422 140728864946728 140728864946728 140728864952298 0
/proc/64926/statm: 584262 506963 2528 1147 0 571689 0
Current children cumulated CPU time: 3150.69 s
Current children cumulated vsize: 2341240 KiB
Current children cumulated memory: 2030924 KiB

[startup+3222.3 s]
/proc/loadavg: 4.28 4.31 4.34 5/266 65108
/proc/meminfo: memFree=1800184/131382112 swapFree=33010416/33010684
[pid=64923] ppid=64920 vsize=4192 memory=3072 CPUtime=0.95 cores=5,7
/proc/64923/stat : 64923 (run-opt-ls-log.) S 64920 64923 64796 0 -1 4194304 240 21653 0 0 0 0 87 8 20 0 1 0 59990205 4292608 768 18446744073709551615 94062178140160 94062179034693 140733210234864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94062179273744 94062179321488 94062209757184 140733210241307 140733210241505 140733210241505 140733210247107 0
/proc/64923/statm: 1048 768 704 219 0 110 0
[pid=64926] ppid=64923 vsize=2440632 memory=2108612 CPUtime=3209.53 cores=5,7
/proc/64926/stat : 64926 (roundingsat) R 64923 64923 64796 0 -1 4194304 378069 0 1 0 314418 6535 0 0 20 0 1 0 59990305 2499207168 527153 18446744073709551615 4227072 8923433 140728864938224 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39370752 140728864946422 140728864946728 140728864946728 140728864952298 0
/proc/64926/statm: 610158 527153 2528 1147 0 597585 0
Current children cumulated CPU time: 3210.48 s
Current children cumulated vsize: 2444824 KiB
Current children cumulated memory: 2111684 KiB

[startup+3282.3 s]
/proc/loadavg: 4.19 4.28 4.33 5/265 65110
/proc/meminfo: memFree=1771648/131382112 swapFree=33010416/33010684
[pid=64923] ppid=64920 vsize=4192 memory=3072 CPUtime=0.95 cores=5,7
/proc/64923/stat : 64923 (run-opt-ls-log.) S 64920 64923 64796 0 -1 4194304 240 21653 0 0 0 0 87 8 20 0 1 0 59990205 4292608 768 18446744073709551615 94062178140160 94062179034693 140733210234864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94062179273744 94062179321488 94062209757184 140733210241307 140733210241505 140733210241505 140733210247107 0
/proc/64923/statm: 1048 768 704 219 0 110 0
[pid=64926] ppid=64923 vsize=2440632 memory=2108612 CPUtime=3269.27 cores=5,7
/proc/64926/stat : 64926 (roundingsat) R 64923 64923 64796 0 -1 4194304 378069 0 1 0 320248 6679 0 0 20 0 1 0 59990305 2499207168 527153 18446744073709551615 4227072 8923433 140728864938224 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39370752 140728864946422 140728864946728 140728864946728 140728864952298 0
/proc/64926/statm: 610158 527153 2528 1147 0 597585 0
Current children cumulated CPU time: 3270.22 s
Current children cumulated vsize: 2444824 KiB
Current children cumulated memory: 2111684 KiB

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

# cumulated CPU time of all completed processes:  user=3216.5 s, system=71.0557 s

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

[startup+3302.4 s]
/proc/loadavg: 4.28 4.30 4.33 5/267 65115
/proc/meminfo: memFree=1820720/131382112 swapFree=33010416/33010684
[pid=64923] ppid=64920 vsize=4192 memory=3072 CPUtime=0.95 cores=5,7
/proc/64923/stat : 64923 (run-opt-ls-log.) S 64920 64923 64796 0 -1 4194304 240 21653 0 0 0 0 87 8 20 0 1 0 59990205 4292608 768 18446744073709551615 94062178140160 94062179034693 140733210234864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94062179273744 94062179321488 94062209757184 140733210241307 140733210241505 140733210241505 140733210247107 0
/proc/64923/statm: 1048 768 704 219 0 110 0
[pid=64926] ppid=64923 vsize=2440632 memory=2108612 CPUtime=3283.72 cores=5,7
/proc/64926/stat : 64926 (roundingsat) S 64923 64923 64796 0 -1 4195840 378069 0 1 0 321549 6823 0 0 20 0 1 0 59990305 2499207168 527153 18446744073709551615 4227072 8923433 140728864938224 140728864934776 140001930131287 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 39370752 140728864946422 140728864946728 140728864946728 140728864952298 25
/proc/64926/statm: 610158 527153 2528 1147 0 597585 0
Current children cumulated CPU time: 3284.67 s
Current children cumulated vsize: 2444824 KiB
Current children cumulated memory: 2111684 KiB

[startup+3308.8 s]
/proc/loadavg: 4.34 4.31 4.34 4/267 65122
/proc/meminfo: memFree=4615200/131382112 swapFree=33010416/33010684
[pid=64923] ppid=64920 vsize=4192 memory=3072 CPUtime=0.95 cores=5,7
/proc/64923/stat : 64923 (run-opt-ls-log.) S 64920 64923 64796 0 -1 4194304 240 21653 0 0 0 0 87 8 20 0 1 0 59990205 4292608 768 18446744073709551615 94062178140160 94062179034693 140733210234864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94062179273744 94062179321488 94062209757184 140733210241307 140733210241505 140733210241505 140733210247107 0
/proc/64923/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0.95 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

[startup+3315.2 s]
/proc/loadavg: 4.44 4.33 4.34 4/266 65122
/proc/meminfo: memFree=4051552/131382112 swapFree=33010416/33010684
[pid=64923] ppid=64920 vsize=4192 memory=3072 CPUtime=0.95 cores=5,7
/proc/64923/stat : 64923 (run-opt-ls-log.) S 64920 64923 64796 0 -1 4194304 240 21653 0 0 0 0 87 8 20 0 1 0 59990205 4292608 768 18446744073709551615 94062178140160 94062179034693 140733210234864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94062179273744 94062179321488 94062209757184 140733210241307 140733210241505 140733210241505 140733210247107 0
/proc/64923/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0.95 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

[startup+3316.8 s]
/proc/loadavg: 4.44 4.33 4.34 7/266 65122
/proc/meminfo: memFree=3978672/131382112 swapFree=33010416/33010684
[pid=64923] ppid=64920 vsize=4192 memory=3072 CPUtime=0.95 cores=5,7
/proc/64923/stat : 64923 (run-opt-ls-log.) S 64920 64923 64796 0 -1 4194304 240 21653 0 0 0 0 87 8 20 0 1 0 59990205 4292608 768 18446744073709551615 94062178140160 94062179034693 140733210234864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94062179273744 94062179321488 94062209757184 140733210241307 140733210241505 140733210241505 140733210247107 0
/proc/64923/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0.95 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

[startup+3317.6 s]
/proc/loadavg: 4.44 4.33 4.34 5/266 65122
/proc/meminfo: memFree=3906908/131382112 swapFree=33010416/33010684
[pid=64923] ppid=64920 vsize=4192 memory=3072 CPUtime=0.95 cores=5,7
/proc/64923/stat : 64923 (run-opt-ls-log.) S 64920 64923 64796 0 -1 4194304 240 21653 0 0 0 0 87 8 20 0 1 0 59990205 4292608 768 18446744073709551615 94062178140160 94062179034693 140733210234864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94062179273744 94062179321488 94062209757184 140733210241307 140733210241505 140733210241505 140733210247107 0
/proc/64923/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0.95 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

[startup+3318.4 s]
/proc/loadavg: 4.44 4.33 4.34 5/266 65122
/proc/meminfo: memFree=3934212/131382112 swapFree=33010416/33010684
[pid=64923] ppid=64920 vsize=4192 memory=3072 CPUtime=0.95 cores=5,7
/proc/64923/stat : 64923 (run-opt-ls-log.) S 64920 64923 64796 0 -1 4194304 240 21653 0 0 0 0 87 8 20 0 1 0 59990205 4292608 768 18446744073709551615 94062178140160 94062179034693 140733210234864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94062179273744 94062179321488 94062209757184 140733210241307 140733210241505 140733210241505 140733210247107 0
/proc/64923/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0.95 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

[startup+3318.8 s]
/proc/loadavg: 4.44 4.33 4.34 5/266 65122
/proc/meminfo: memFree=3934212/131382112 swapFree=33010416/33010684
[pid=64923] ppid=64920 vsize=4192 memory=3072 CPUtime=0.95 cores=5,7
/proc/64923/stat : 64923 (run-opt-ls-log.) S 64920 64923 64796 0 -1 4194304 240 21653 0 0 0 0 87 8 20 0 1 0 59990205 4292608 768 18446744073709551615 94062178140160 94062179034693 140733210234864 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94062179273744 94062179321488 94062209757184 140733210241307 140733210241505 140733210241505 140733210247107 0
/proc/64923/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0.95 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB

Child status: 153

Real time (s): 3318.83
CPU time (s): 3287.56
CPU user time (s): 3216.5
CPU system time (s): 71.0557
CPU usage (%): 99.0577
Max. virtual memory (cumulated for all children) (KiB): 2444824
Max. memory (cumulated for all children) (KiB): 2111684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3216.5
system time used= 71.0557
maximum resident set size= 2108612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 399972
page faults= 1
swaps= 0
block input operations= 3656
block output operations= 204805944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 293551
involuntary context switches= 13176


# summary of solver processes directly reported to runsolver:
#   pid: 64923
#   total CPU time (s): 3287.56
#   total CPU user time (s): 3216.5
#   total CPU system time (s): 71.0557

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.3084 second user time and 34.8902 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2025-07-02 09:58:28
IDJOB=4504575
IDBENCH=155664
IDSOLVER=3356
FILE ID=nodeC005/4504575-1751443108
RUNJOBID= nodeC005-1751443065-64809
SLURM_JOB_ID= 9598416
Free space on /tmp= 430096 MiB

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

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

MD5SUM BENCH= fab5e62eb964e75ef5bb4e0d05cd3bf1
RANDOM SEED=1132457162

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		: 3491.888
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		: 3691.516
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.668
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.451
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.970
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		: 3493.387
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.357
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		: 1197.250
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:        121732832 kB
MemAvailable:   126094880 kB
Buffers:            2752 kB
Cached:          5159960 kB
SwapCached:            0 kB
Active:          4166572 kB
Inactive:        4809784 kB
Active(anon):    3823504 kB
Inactive(anon):     8164 kB
Active(file):     343068 kB
Inactive(file):  4801620 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:           2558616 kB
Writeback:             4 kB
AnonPages:       3816780 kB
Mapped:           117312 kB
Shmem:             17960 kB
KReclaimable:     113976 kB
Slab:             279964 kB
SReclaimable:     113976 kB
SUnreclaim:       165988 kB
KernelStack:        4144 kB
PageTables:        10748 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    4942004 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149512 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1474560 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= 429876 MiB
End job on nodeC005 at 2025-07-02 10:53:47