Trace number 4532622

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
roundingsat+pbsuma-opt-log 0f876b3? (exit code) 3333.05 3358.6

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.02	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.02	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.02	c │      (c) 2025 Markus Anders                                    │
0.00/0.02	c └────────────────────────────────────────────────────────────────┘
0.00/0.02	c parse 'HOME/instance-4532622-1752683075.opb'
0.00/0.06	c 	read 2.98MB  (45.12ms)
0.00/0.06	c	 [cnf: #variables 31350 #clauses 73033 #duplicates 300 #arr 238100]
0.00/0.06	c output proof to '/tmp/proof-4532622-1752683075'
0.00/0.06	c 
0.00/0.06	c make graph and approximate orbits
0.08/0.12	c	 [group: #orbits ~= 1200] (59.76ms)
0.08/0.12	c 
0.08/0.12	c detect special group actions
0.08/0.12	c 	probe for Johnson action (limit=64)
0.08/0.12	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.08/0.13	c 	probe for row symmetry (limit=64, splits=16.78M)
0.08/0.13	c 	 found row 25x2, generating row predicate
0.08/0.13	c 	 found row 25x2, generating row predicate
0.08/0.13	c 	 (7.26ms)
0.08/0.13	c 
0.08/0.13	c detect symmetries on remainder
0.08/0.13	c 	[graph: #vertices 228483 #edges 724400]
0.08/0.13	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.08/0.17	c 	 [group: #symmetries 7.15*10^779 #generators 1177] (39.80ms)
0.08/0.17	c 
0.08/0.17	c optimize generators (opt_passes=64, conjugate_limit=256)
0.08/0.17	c 	ran it=0, +gens=16 
0.28/0.36	c 	con best_support=4, best_gens=1177, +gens=134
0.28/0.36	c 	(186.92ms)
0.28/0.36	c 
0.28/0.36	c finalize break order and special generators
0.28/0.36	c 
0.28/0.36	c add generic predicates (break_depth=20)
0.28/0.36	c 	added predicates for 1327 generators (0.18ms)
0.28/0.36	c 
0.28/0.36	c generation finished
0.28/0.36	c 	[sbp: #constraints 1429 #add_vars 18]
0.28/0.36	c 
0.28/0.36	c write result to 'HOME/instance-4532622-1752683075.opb.pre'
0.28/0.37	c 	wrote 3.04MB (6.77ms)
0.28/0.37	c ------------------------------------------------------------------
0.28/0.37	c                 186.92ms 52.93% optimize_gens
0.28/0.37	c                  59.76ms 16.92% approx_orbits
0.28/0.37	c                  45.12ms 12.78% parse
0.28/0.37	c                  39.80ms 11.27% detect_generic
0.28/0.37	c                   7.26ms  2.05% detect_special
0.28/0.37	c                   6.77ms  1.92% output
0.28/0.37	c                   6.10ms  1.73% other
0.28/0.37	c                   1.26ms  0.36% finalize_order
0.28/0.37	c                   0.18ms  0.05% break_generic
0.28/0.37	c         ───────────────────────────────────────────────
0.28/0.37	c                 353.17ms   100% total
0.28/0.37	c ------------------------------------------------------------------
0.28/0.39	c RoundingSat 2
0.28/0.39	c branch pb25
0.28/0.39	c commit 0f876b3
0.75/0.85	c #variables 31368 #constraints 75665
0.75/0.85	c objective is ce32 
0.75/0.85	c initial watched  CF 32, 64, 128, Arb: 25 , 0 , 0 , 0
0.75/0.85	c initial counting CF 32, 64, 128, Arb: 14726 , 0 , 0 , 0
0.75/0.85	c bounds - >= -25 @ 0.376982
1.45/1.54	c bounds 439038960 >= -25 @ 1.03588
1.45/1.55	c bounds 437553710 >= -25 @ 1.04798
1.45/1.57	c bounds 420857646 >= -25 @ 1.06453
1.54/1.60	c bounds 419014084 >= -25 @ 1.09061
1.54/1.61	c bounds 207205301 >= -25 @ 1.09971
1.54/1.68	c bounds 123644402 >= -25 @ 1.1701
1.65/1.71	c bounds 109367761 >= -25 @ 1.19655
1.65/1.73	c bounds 109348120 >= -25 @ 1.21472
1.65/1.75	c bounds 107743874 >= -25 @ 1.22928
1.65/1.76	c bounds 107379314 >= -25 @ 1.24583
1.74/1.83	c bounds 107091187 >= -25 @ 1.31427
1.74/1.87	c bounds 107020540 >= -25 @ 1.3485
1.74/1.88	c bounds 106998163 >= -25 @ 1.36099
1.84/1.92	c bounds 106995285 >= -25 @ 1.39421
1.84/1.98	c bounds 106946436 >= -25 @ 1.45547
1.84/2.00	c bounds 106898613 >= -25 @ 1.47448
2.05/2.11	c bounds 106884303 >= -25 @ 1.57891
2.05/2.17	c bounds 88746849 >= -25 @ 1.63785
2.15/2.21	c bounds 86903287 >= -25 @ 1.67639
2.15/2.25	c bounds 86887401 >= -25 @ 1.70878
2.15/2.26	c bounds 86876615 >= -25 @ 1.72256
2.24/2.37	c bounds 86862160 >= -25 @ 1.82705
2.24/2.38	c bounds 86859427 >= -25 @ 1.83975
2.45/2.59	c bounds 78499721 >= -25 @ 2.03845
2.54/2.63	c bounds 78441189 >= -25 @ 2.0803
2.54/2.65	c bounds 77148641 >= -25 @ 2.09996
2.54/2.67	c bounds 77075486 >= -25 @ 2.11739
2.64/2.73	c bounds 76994728 >= -25 @ 2.17413
2.64/2.77	c bounds 76957691 >= -25 @ 2.20918
2.74/2.89	c bounds 76756171 >= -25 @ 2.32331
2.84/2.91	c bounds 76683016 >= -25 @ 2.34797
2.84/2.94	c bounds 76667017 >= -25 @ 2.37158
2.95/3.10	c bounds 76647376 >= -25 @ 2.53079
3.44/3.57	c bounds 62986557 >= -25 @ 2.98268
3.54/3.61	c bounds 62957820 >= -25 @ 3.02784
3.54/3.63	c bounds 62938029 >= -25 @ 3.04225
3.64/3.70	c bounds 62921591 >= -25 @ 3.11176
3.64/3.73	c bounds 62900086 >= -25 @ 3.14109
3.64/3.76	c bounds 62886835 >= -25 @ 3.1656
3.84/3.95	c bounds 62875267 >= -25 @ 3.35178
3.95/4.01	c bounds 62804448 >= -25 @ 3.4093
3.95/4.04	c bounds 62800358 >= -25 @ 3.43967
3.95/4.08	c bounds 62790784 >= -25 @ 3.47566
4.04/4.11	c bounds 62786694 >= -25 @ 3.50667
4.54/4.61	c bounds 62719614 >= -25 @ 3.98531
4.54/4.67	c bounds 62714463 >= -25 @ 4.04259
4.54/4.69	c bounds 51340713 >= -25 @ 4.06173
4.64/4.72	c bounds 49710059 >= -25 @ 4.08882
4.74/4.80	c bounds 37554531 >= -25 @ 4.16089
4.74/4.89	c bounds 19557451 >= -25 @ 4.24274
4.84/4.98	c bounds 19549783 >= -25 @ 4.33111
5.04/5.17	c bounds 19531297 >= -25 @ 4.51884
5.14/5.22	c bounds 19526409 >= -25 @ 4.56727
5.23/5.35	c bounds 19508122 >= -25 @ 4.69369
5.34/5.44	c bounds 19457756 >= -25 @ 4.77889
5.34/5.46	c bounds 19453666 >= -25 @ 4.79976
5.44/5.54	c bounds 19423042 >= -25 @ 4.87857
16.01/16.15	c #Conflicts:       1000 | #Constraints:      76724
16.01/16.15	c #Conflicts:       2000 | #Constraints:      77733
16.01/16.15	c INPROCESSING
16.01/16.15	c GARBAGE COLLECT
16.01/16.15	c bounds 19403585 >= -25 @ 15.2383
17.60/17.75	c bounds 19403083 >= -25 @ 16.8159
17.91/18.01	c bounds 19402304 >= -25 @ 17.07
19.01/19.18	c bounds 19326327 >= -25 @ 18.2174
19.10/19.21	c bounds 19293631 >= -25 @ 18.2468
19.69/19.88	c bounds 19292660 >= -25 @ 18.9058
22.19/22.30	c bounds 19274451 >= -25 @ 21.2888
23.59/23.79	c bounds 9866376 >= -25 @ 22.7599
23.69/23.82	c bounds 9843014 >= -25 @ 22.7837
23.78/23.91	c bounds 9830684 >= -25 @ 22.8738
23.89/24.05	c bounds 9756472 >= -25 @ 23.0091
30.37/30.56	c #Conflicts:       3000 | #Constraints:      77190
30.37/30.56	c #Conflicts:       4000 | #Constraints:      78190
30.37/30.56	c INPROCESSING
30.37/30.56	c GARBAGE COLLECT
30.37/30.56	c rational objective 2.18661e+06
31.07/31.24	c bounds 9752697 >= -25 @ 30.0268
31.16/31.32	c bounds 9709839 >= -25 @ 30.0977
31.57/31.73	c bounds 9699566 >= -25 @ 30.501
33.96/34.13	c bounds 7711132 >= -25 @ 32.8418
34.06/34.25	c bounds 7664765 >= -25 @ 32.9545
34.06/34.28	c bounds 7633283 >= -25 @ 32.9851
34.16/34.30	c bounds 7622913 >= -25 @ 33.0037
34.36/34.51	c bounds 7297905 >= -25 @ 33.2093
34.56/34.74	c bounds 7285222 >= -25 @ 33.4297
35.35/35.55	c bounds 7271429 >= -25 @ 34.2295
37.55/37.71	c #Conflicts:       5000 | #Constraints:      77269
37.55/37.71	c bounds 7171384 >= -25 @ 36.3426
37.55/37.74	c bounds 7132645 >= -25 @ 36.3779
37.65/37.81	c bounds 7093956 >= -25 @ 36.438
37.65/37.88	c bounds 7066963 >= -25 @ 36.5066
37.65/37.89	c bounds 7028224 >= -25 @ 36.5219
38.05/38.24	c bounds 7026272 >= -25 @ 36.8599
38.05/38.26	c bounds 7003779 >= -25 @ 36.8787
38.15/38.39	c bounds 6944039 >= -25 @ 37.0067
38.25/38.42	c bounds 6933002 >= -25 @ 37.0379
38.44/38.62	c bounds 6825254 >= -25 @ 37.2313
38.55/38.78	c bounds 6796325 >= -25 @ 37.3768
45.23/45.47	c #Conflicts:       6000 | #Constraints:      78289
45.23/45.47	c bounds 6795546 >= -25 @ 43.9394
45.33/45.55	c bounds 6794589 >= -25 @ 44.0129
45.43/45.61	c bounds 6750939 >= -25 @ 44.0695
45.63/45.84	c bounds 6719840 >= -25 @ 44.2913
45.83/46.01	c bounds 6713853 >= -25 @ 44.4697
45.93/46.12	c bounds 6686484 >= -25 @ 44.5751
45.93/46.15	c bounds 6646307 >= -25 @ 44.6046
46.43/46.61	c bounds 6646181 >= -25 @ 45.0601
46.93/47.11	c bounds 6582761 >= -25 @ 45.5422
47.02/47.22	c bounds 6565266 >= -25 @ 45.6479
62.19/62.47	c INPROCESSING
62.19/62.47	c GARBAGE COLLECT
62.19/62.47	c #Conflicts:       7000 | #Constraints:      77128
62.19/62.47	c #Conflicts:       8000 | #Constraints:      78131
62.19/62.47	c bounds 6345307 >= -25 @ 60.5938
62.28/62.56	c bounds 6326837 >= -25 @ 60.6804
62.38/62.62	c bounds 5970079 >= -25 @ 60.7439
62.49/62.71	c bounds 5936822 >= -25 @ 60.8262
62.99/63.29	c bounds 5914884 >= -25 @ 61.3912
63.08/63.32	c bounds 5907912 >= -25 @ 61.4213
63.99/64.29	c bounds 5883608 >= -25 @ 62.3768
64.28/64.51	c bounds 5635004 >= -25 @ 62.587
64.28/64.55	c bounds 5614383 >= -25 @ 62.6205
64.28/64.57	c bounds 5589084 >= -25 @ 62.6427
64.68/64.95	c bounds 5180396 >= -25 @ 63.0124
67.47/67.79	c bounds 5178288 >= -25 @ 65.7917
76.05/76.32	c #Conflicts:       9000 | #Constraints:      79143
76.05/76.32	c INPROCESSING
76.05/76.32	c GARBAGE COLLECT
76.05/76.32	c #Conflicts:      10000 | #Constraints:      77838
76.05/76.32	c bounds 5139925 >= -25 @ 74.1449
87.52/87.82	c #Conflicts:      11000 | #Constraints:      78839
87.52/87.82	c bounds 4367683 >= -25 @ 85.3995
87.52/87.87	c bounds 4339278 >= -25 @ 85.4504
87.62/87.90	c bounds 4303657 >= -25 @ 85.4742
87.82/88.13	c bounds 4286007 >= -25 @ 85.7035
88.82/89.14	c bounds 4276098 >= -25 @ 86.7035
89.01/89.38	c bounds 4175874 >= -25 @ 86.9353
89.22/89.53	c bounds 4174009 >= -25 @ 87.0884
89.61/89.94	c bounds 4162409 >= -25 @ 87.4896
89.81/90.17	c bounds 4141019 >= -25 @ 87.7125
91.11/91.43	c bounds 4128331 >= -25 @ 88.9464
93.40/93.76	c #Conflicts:      12000 | #Constraints:      79853
93.40/93.76	c INPROCESSING
93.40/93.76	c GARBAGE COLLECT
93.40/93.76	c rational objective 2.22249e+06
94.20/94.59	c bounds 4110122 >= -25 @ 92.0715
94.40/94.77	c bounds 4095349 >= -25 @ 92.2492
97.99/98.35	c bounds 4093688 >= -25 @ 95.7695
98.29/98.60	c bounds 4048281 >= -25 @ 96.0132
98.99/99.33	c bounds 4018563 >= -25 @ 96.725
99.38/99.79	c bounds 4009918 >= -25 @ 97.1771
125.63/126.08	c #Conflicts:      13000 | #Constraints:      72665
125.63/126.08	c #Conflicts:      14000 | #Constraints:      73673
125.63/126.08	c #Conflicts:      15000 | #Constraints:      74681
125.63/126.08	c INPROCESSING
125.63/126.08	c GARBAGE COLLECT
125.63/126.08	c rational objective 2.2281e+06
183.26/183.80	c #Conflicts:      16000 | #Constraints:      72913
183.26/183.80	c #Conflicts:      17000 | #Constraints:      73916
183.26/183.80	c #Conflicts:      18000 | #Constraints:      74919
183.26/183.80	c INPROCESSING
183.26/183.80	c GARBAGE COLLECT
183.26/183.80	c #Conflicts:      19000 | #Constraints:      72960
183.26/183.80	c #Conflicts:      20000 | #Constraints:      73966
183.26/183.80	c #Conflicts:      21000 | #Constraints:      74967
183.26/183.80	c INPROCESSING
183.26/183.80	c GARBAGE COLLECT
183.26/183.80	c bounds 4007655 >= -25 @ 179.54
190.04/190.65	c #Conflicts:      22000 | #Constraints:      72724
190.04/190.65	c bounds 4006912 >= -25 @ 186.242
193.33/194.00	c bounds 3975019 >= -25 @ 189.522
194.53/195.13	c bounds 3974140 >= -25 @ 190.634
216.67/217.33	c #Conflicts:      23000 | #Constraints:      73735
216.67/217.33	c #Conflicts:      24000 | #Constraints:      74740
216.67/217.33	c #Conflicts:      25000 | #Constraints:      75747
216.67/217.33	c INPROCESSING
216.67/217.33	c GARBAGE COLLECT
216.67/217.33	c rational objective 2.25014e+06
219.26/219.97	c bounds 3957698 >= -25 @ 214.999
261.25/262.02	c #Conflicts:      26000 | #Constraints:      73355
261.25/262.02	c #Conflicts:      27000 | #Constraints:      74363
261.25/262.02	c #Conflicts:      28000 | #Constraints:      75370
261.25/262.02	c #Conflicts:      29000 | #Constraints:      76378
261.25/262.02	c INPROCESSING
261.25/262.02	c GARBAGE COLLECT
261.25/262.02	c rational objective 2.26949e+06
300.03/300.95	c #Conflicts:      30000 | #Constraints:      73773
300.03/300.95	c #Conflicts:      31000 | #Constraints:      74778
300.03/300.95	c #Conflicts:      32000 | #Constraints:      75780
300.03/300.95	c #Conflicts:      33000 | #Constraints:      76785
300.03/300.95	c INPROCESSING
300.03/300.95	c GARBAGE COLLECT
300.03/300.95	c rational objective 2.2887e+06
344.11/345.12	c #Conflicts:      34000 | #Constraints:      73962
344.11/345.12	c #Conflicts:      35000 | #Constraints:      74970
344.11/345.12	c #Conflicts:      36000 | #Constraints:      75971
344.11/345.12	c #Conflicts:      37000 | #Constraints:      76975
344.11/345.12	c INPROCESSING
344.11/345.12	c GARBAGE COLLECT
344.11/345.12	c rational objective 2.29163e+06
384.00/385.16	c #Conflicts:      38000 | #Constraints:      73968
384.00/385.16	c #Conflicts:      39000 | #Constraints:      74970
384.00/385.16	c #Conflicts:      40000 | #Constraints:      75970
384.00/385.16	c #Conflicts:      41000 | #Constraints:      76970
384.00/385.16	c INPROCESSING
384.00/385.16	c GARBAGE COLLECT
384.00/385.16	c rational objective 2.29975e+06
426.38/427.66	c #Conflicts:      42000 | #Constraints:      73769
426.38/427.66	c #Conflicts:      43000 | #Constraints:      74769
426.38/427.66	c #Conflicts:      44000 | #Constraints:      75769
426.38/427.66	c #Conflicts:      45000 | #Constraints:      76769
426.38/427.66	c #Conflicts:      46000 | #Constraints:      77769
426.38/427.66	c INPROCESSING
426.38/427.66	c GARBAGE COLLECT
426.38/427.66	c rational objective 2.30141e+06
530.98/532.50	c #Conflicts:      47000 | #Constraints:      74330
530.98/532.50	c #Conflicts:      48000 | #Constraints:      75330
530.98/532.50	c #Conflicts:      49000 | #Constraints:      76330
530.98/532.50	c #Conflicts:      50000 | #Constraints:      77351
530.98/532.50	c #Conflicts:      51000 | #Constraints:      78858
530.98/532.50	c INPROCESSING
530.98/532.50	c GARBAGE COLLECT
530.98/532.50	c #Conflicts:      52000 | #Constraints:      75039
530.98/532.50	c #Conflicts:      53000 | #Constraints:      76039
530.98/532.50	c #Conflicts:      54000 | #Constraints:      77039
530.98/532.50	c #Conflicts:      55000 | #Constraints:      78042
530.98/532.50	c #Conflicts:      56000 | #Constraints:      79045
530.98/532.50	c INPROCESSING
530.98/532.50	c GARBAGE COLLECT
530.98/532.50	c rational objective 2.31295e+06
582.84/584.53	c #Conflicts:      57000 | #Constraints:      75104
582.84/584.53	c #Conflicts:      58000 | #Constraints:      76107
582.84/584.53	c #Conflicts:      59000 | #Constraints:      77108
582.84/584.53	c #Conflicts:      60000 | #Constraints:      78109
582.84/584.53	c #Conflicts:      61000 | #Constraints:      79112
582.84/584.53	c INPROCESSING
582.84/584.53	c GARBAGE COLLECT
582.84/584.53	c rational objective 2.31551e+06
659.93/661.84	c #Conflicts:      62000 | #Constraints:      74998
659.93/661.84	c #Conflicts:      63000 | #Constraints:      76009
659.93/661.84	c #Conflicts:      64000 | #Constraints:      77024
659.93/661.84	c #Conflicts:      65000 | #Constraints:      78034
659.93/661.84	c #Conflicts:      66000 | #Constraints:      79041
659.93/661.84	c INPROCESSING
659.93/661.84	c GARBAGE COLLECT
659.93/661.84	c rational objective 2.32041e+06
724.14/726.23	c #Conflicts:      67000 | #Constraints:      74815
724.14/726.23	c #Conflicts:      68000 | #Constraints:      75819
724.14/726.23	c #Conflicts:      69000 | #Constraints:      76819
724.14/726.23	c #Conflicts:      70000 | #Constraints:      77819
724.14/726.23	c #Conflicts:      71000 | #Constraints:      78819
724.14/726.23	c #Conflicts:      72000 | #Constraints:      79819
724.14/726.23	c INPROCESSING
724.14/726.23	c GARBAGE COLLECT
724.14/726.23	c rational objective 2.32049e+06
800.43/802.74	c #Conflicts:      73000 | #Constraints:      75308
800.43/802.74	c #Conflicts:      74000 | #Constraints:      76308
800.43/802.74	c #Conflicts:      75000 | #Constraints:      77308
800.43/802.74	c #Conflicts:      76000 | #Constraints:      78316
800.43/802.74	c #Conflicts:      77000 | #Constraints:      79321
800.43/802.74	c #Conflicts:      78000 | #Constraints:      80327
800.43/802.74	c INPROCESSING
800.43/802.74	c GARBAGE COLLECT
800.43/802.74	c rational objective 2.36789e+06
867.75/870.26	c #Conflicts:      79000 | #Constraints:      75786
867.75/870.26	c #Conflicts:      80000 | #Constraints:      76788
867.75/870.26	c #Conflicts:      81000 | #Constraints:      77797
867.75/870.26	c #Conflicts:      82000 | #Constraints:      78806
867.75/870.26	c #Conflicts:      83000 | #Constraints:      79815
867.75/870.26	c #Conflicts:      84000 | #Constraints:      80819
867.75/870.26	c INPROCESSING
867.75/870.26	c GARBAGE COLLECT
867.75/870.26	c rational objective 2.37281e+06
936.27/938.92	c #Conflicts:      85000 | #Constraints:      75973
936.27/938.92	c #Conflicts:      86000 | #Constraints:      76980
936.27/938.92	c #Conflicts:      87000 | #Constraints:      77986
936.27/938.92	c #Conflicts:      88000 | #Constraints:      78990
936.27/938.92	c #Conflicts:      89000 | #Constraints:      80000
936.27/938.92	c #Conflicts:      90000 | #Constraints:      81001
936.27/938.92	c INPROCESSING
936.27/938.92	c GARBAGE COLLECT
936.27/938.92	c rational objective 2.38794e+06
1018.23/1021.15	c #Conflicts:      91000 | #Constraints:      75972
1018.23/1021.15	c #Conflicts:      92000 | #Constraints:      76976
1018.23/1021.15	c #Conflicts:      93000 | #Constraints:      77980
1018.23/1021.15	c #Conflicts:      94000 | #Constraints:      78986
1018.23/1021.15	c #Conflicts:      95000 | #Constraints:      79990
1018.23/1021.15	c #Conflicts:      96000 | #Constraints:      80999
1018.23/1021.15	c INPROCESSING
1018.23/1021.15	c GARBAGE COLLECT
1018.23/1021.15	c rational objective 2.45491e+06
1095.61/1098.72	c #Conflicts:      97000 | #Constraints:      75787
1095.61/1098.72	c #Conflicts:      98000 | #Constraints:      76789
1095.61/1098.72	c #Conflicts:      99000 | #Constraints:      77793
1095.61/1098.72	c #Conflicts:     100000 | #Constraints:      78800
1095.61/1098.72	c #Conflicts:     101000 | #Constraints:      79803
1095.61/1098.72	c #Conflicts:     102000 | #Constraints:      80809
1095.61/1098.72	c #Conflicts:     103000 | #Constraints:      81809
1095.61/1098.72	c INPROCESSING
1095.61/1098.72	c GARBAGE COLLECT
1095.61/1098.72	c rational objective 2.45757e+06
1181.26/1184.64	c #Conflicts:     104000 | #Constraints:      76370
1181.26/1184.64	c #Conflicts:     105000 | #Constraints:      77370
1181.26/1184.64	c #Conflicts:     106000 | #Constraints:      78372
1181.26/1184.64	c #Conflicts:     107000 | #Constraints:      79380
1181.26/1184.64	c #Conflicts:     108000 | #Constraints:      80382
1181.26/1184.64	c #Conflicts:     109000 | #Constraints:      81387
1181.26/1184.64	c #Conflicts:     110000 | #Constraints:      82396
1181.26/1184.64	c INPROCESSING
1181.26/1184.64	c GARBAGE COLLECT
1181.26/1184.64	c rational objective 2.49166e+06
1251.37/1254.95	c #Conflicts:     111000 | #Constraints:      76814
1251.37/1254.95	c #Conflicts:     112000 | #Constraints:      77816
1251.37/1254.95	c #Conflicts:     113000 | #Constraints:      78816
1251.37/1254.95	c #Conflicts:     114000 | #Constraints:      79816
1251.37/1254.95	c #Conflicts:     115000 | #Constraints:      80816
1251.37/1254.95	c #Conflicts:     116000 | #Constraints:      81820
1251.37/1254.95	c #Conflicts:     117000 | #Constraints:      82822
1251.37/1254.95	c INPROCESSING
1251.37/1254.95	c GARBAGE COLLECT
1251.37/1254.95	c rational objective 2.53512e+06
1337.12/1340.99	c #Conflicts:     118000 | #Constraints:      76943
1337.12/1340.99	c #Conflicts:     119000 | #Constraints:      77949
1337.12/1340.99	c #Conflicts:     120000 | #Constraints:      78952
1337.12/1340.99	c #Conflicts:     121000 | #Constraints:      79957
1337.12/1340.99	c #Conflicts:     122000 | #Constraints:      80963
1337.12/1340.99	c #Conflicts:     123000 | #Constraints:      81969
1337.12/1340.99	c #Conflicts:     124000 | #Constraints:      82976
1337.12/1340.99	c INPROCESSING
1337.12/1340.99	c GARBAGE COLLECT
1337.12/1340.99	c rational objective 2.57539e+06
1524.18/1528.52	c #Conflicts:     125000 | #Constraints:      76993
1524.18/1528.52	c #Conflicts:     126000 | #Constraints:      77995
1524.18/1528.52	c #Conflicts:     127000 | #Constraints:      79000
1524.18/1528.52	c #Conflicts:     128000 | #Constraints:      80009
1524.18/1528.52	c #Conflicts:     129000 | #Constraints:      81015
1524.18/1528.52	c #Conflicts:     130000 | #Constraints:      82025
1524.18/1528.52	c #Conflicts:     131000 | #Constraints:      83309
1524.18/1528.52	c INPROCESSING
1524.18/1528.52	c GARBAGE COLLECT
1524.18/1528.52	c #Conflicts:     132000 | #Constraints:      77036
1524.18/1528.52	c #Conflicts:     133000 | #Constraints:      78036
1524.18/1528.52	c #Conflicts:     134000 | #Constraints:      79036
1524.18/1528.52	c #Conflicts:     135000 | #Constraints:      80036
1524.18/1528.52	c #Conflicts:     136000 | #Constraints:      81036
1524.18/1528.52	c #Conflicts:     137000 | #Constraints:      82039
1524.18/1528.52	c #Conflicts:     138000 | #Constraints:      83046
1524.18/1528.52	c #Conflicts:     139000 | #Constraints:      84052
1524.18/1528.52	c INPROCESSING
1524.18/1528.52	c GARBAGE COLLECT
1524.18/1528.52	c rational objective 2.57612e+06
1615.03/1619.64	c #Conflicts:     140000 | #Constraints:      77481
1615.03/1619.64	c #Conflicts:     141000 | #Constraints:      78491
1615.03/1619.64	c #Conflicts:     142000 | #Constraints:      79496
1615.03/1619.64	c #Conflicts:     143000 | #Constraints:      80503
1615.03/1619.64	c #Conflicts:     144000 | #Constraints:      81507
1615.03/1619.64	c #Conflicts:     145000 | #Constraints:      82514
1615.03/1619.64	c #Conflicts:     146000 | #Constraints:      83524
1615.03/1619.64	c #Conflicts:     147000 | #Constraints:      84528
1615.03/1619.64	c INPROCESSING
1615.03/1619.64	c GARBAGE COLLECT
1615.03/1619.64	c rational objective 2.57922e+06
1721.82/1726.72	c #Conflicts:     148000 | #Constraints:      77863
1721.82/1726.72	c #Conflicts:     149000 | #Constraints:      78864
1721.82/1726.72	c #Conflicts:     150000 | #Constraints:      79868
1721.82/1726.72	c #Conflicts:     151000 | #Constraints:      80876
1721.82/1726.72	c #Conflicts:     152000 | #Constraints:      81884
1721.82/1726.72	c #Conflicts:     153000 | #Constraints:      82887
1721.82/1726.72	c #Conflicts:     154000 | #Constraints:      83898
1721.82/1726.72	c #Conflicts:     155000 | #Constraints:      84909
1721.82/1726.72	c INPROCESSING
1721.82/1726.72	c GARBAGE COLLECT
1721.82/1726.72	c rational objective 2.57929e+06
1807.48/1812.67	c #Conflicts:     156000 | #Constraints:      78074
1807.48/1812.67	c #Conflicts:     157000 | #Constraints:      79074
1807.48/1812.67	c #Conflicts:     158000 | #Constraints:      80074
1807.48/1812.67	c #Conflicts:     159000 | #Constraints:      81075
1807.48/1812.67	c #Conflicts:     160000 | #Constraints:      82080
1807.48/1812.67	c #Conflicts:     161000 | #Constraints:      83082
1807.48/1812.67	c #Conflicts:     162000 | #Constraints:      84091
1807.48/1812.67	c #Conflicts:     163000 | #Constraints:      85098
1807.48/1812.67	c INPROCESSING
1807.48/1812.67	c GARBAGE COLLECT
1807.48/1812.67	c rational objective 2.57942e+06
2005.03/2010.70	c #Conflicts:     164000 | #Constraints:      76177
2005.03/2010.70	c #Conflicts:     165000 | #Constraints:      77186
2005.03/2010.70	c #Conflicts:     166000 | #Constraints:      78194
2005.03/2010.70	c #Conflicts:     167000 | #Constraints:      79201
2005.03/2010.70	c #Conflicts:     168000 | #Constraints:      80202
2005.03/2010.70	c #Conflicts:     169000 | #Constraints:      81210
2005.03/2010.70	c #Conflicts:     170000 | #Constraints:      82210
2005.03/2010.70	c #Conflicts:     171000 | #Constraints:      83210
2005.03/2010.70	c INPROCESSING
2005.03/2010.70	c GARBAGE COLLECT
2005.03/2010.70	c #Conflicts:     172000 | #Constraints:      75995
2005.03/2010.70	c #Conflicts:     173000 | #Constraints:      77006
2005.03/2010.70	c #Conflicts:     174000 | #Constraints:      78019
2005.03/2010.70	c #Conflicts:     175000 | #Constraints:      79030
2005.03/2010.70	c #Conflicts:     176000 | #Constraints:      80038
2005.03/2010.70	c #Conflicts:     177000 | #Constraints:      81047
2005.03/2010.70	c #Conflicts:     178000 | #Constraints:      82052
2005.03/2010.70	c #Conflicts:     179000 | #Constraints:      83058
2005.03/2010.70	c #Conflicts:     180000 | #Constraints:      84067
2005.03/2010.70	c INPROCESSING
2005.03/2010.70	c GARBAGE COLLECT
2005.03/2010.70	c rational objective 2.591e+06
2106.85/2112.84	c #Conflicts:     181000 | #Constraints:      76615
2106.85/2112.84	c #Conflicts:     182000 | #Constraints:      77622
2106.85/2112.84	c #Conflicts:     183000 | #Constraints:      78628
2106.85/2112.84	c #Conflicts:     184000 | #Constraints:      79637
2106.85/2112.84	c #Conflicts:     185000 | #Constraints:      80641
2106.85/2112.84	c #Conflicts:     186000 | #Constraints:      81646
2106.85/2112.84	c #Conflicts:     187000 | #Constraints:      82653
2106.85/2112.84	c #Conflicts:     188000 | #Constraints:      83661
2106.85/2112.84	c #Conflicts:     189000 | #Constraints:      84667
2106.85/2112.84	c INPROCESSING
2106.85/2112.84	c GARBAGE COLLECT
2106.85/2112.84	c rational objective 2.59572e+06
2215.16/2221.49	c #Conflicts:     190000 | #Constraints:      77041
2215.16/2221.49	c #Conflicts:     191000 | #Constraints:      78052
2215.16/2221.49	c #Conflicts:     192000 | #Constraints:      79060
2215.16/2221.49	c #Conflicts:     193000 | #Constraints:      80072
2215.16/2221.49	c #Conflicts:     194000 | #Constraints:      81084
2215.16/2221.49	c #Conflicts:     195000 | #Constraints:      82091
2215.16/2221.49	c #Conflicts:     196000 | #Constraints:      83104
2215.16/2221.49	c #Conflicts:     197000 | #Constraints:      84110
2215.16/2221.49	c #Conflicts:     198000 | #Constraints:      85122
2215.16/2221.49	c INPROCESSING
2215.16/2221.49	c GARBAGE COLLECT
2215.16/2221.49	c rational objective 2.59633e+06
2330.35/2336.93	c #Conflicts:     199000 | #Constraints:      77204
2330.35/2336.93	c #Conflicts:     200000 | #Constraints:      78210
2330.35/2336.93	c #Conflicts:     201000 | #Constraints:      79216
2330.35/2336.93	c #Conflicts:     202000 | #Constraints:      80225
2330.35/2336.93	c #Conflicts:     203000 | #Constraints:      81231
2330.35/2336.93	c #Conflicts:     204000 | #Constraints:      82241
2330.35/2336.93	c #Conflicts:     205000 | #Constraints:      83250
2330.35/2336.93	c #Conflicts:     206000 | #Constraints:      84260
2330.35/2336.93	c #Conflicts:     207000 | #Constraints:      85268
2330.35/2336.93	c INPROCESSING
2330.35/2336.93	c GARBAGE COLLECT
2330.35/2336.93	c rational objective 2.59708e+06
2467.66/2474.61	c #Conflicts:     208000 | #Constraints:      77229
2467.66/2474.61	c #Conflicts:     209000 | #Constraints:      78238
2467.66/2474.61	c #Conflicts:     210000 | #Constraints:      79244
2467.66/2474.61	c #Conflicts:     211000 | #Constraints:      80249
2467.66/2474.61	c #Conflicts:     212000 | #Constraints:      81255
2467.66/2474.61	c #Conflicts:     213000 | #Constraints:      82262
2467.66/2474.61	c #Conflicts:     214000 | #Constraints:      83271
2467.66/2474.61	c #Conflicts:     215000 | #Constraints:      84276
2467.66/2474.61	c #Conflicts:     216000 | #Constraints:      85285
2467.66/2474.61	c INPROCESSING
2467.66/2474.61	c GARBAGE COLLECT
2467.66/2474.61	c rational objective 2.59708e+06
2585.05/2592.37	c #Conflicts:     217000 | #Constraints:      77049
2585.05/2592.37	c #Conflicts:     218000 | #Constraints:      78053
2585.05/2592.37	c #Conflicts:     219000 | #Constraints:      79056
2585.05/2592.37	c #Conflicts:     220000 | #Constraints:      80063
2585.05/2592.37	c #Conflicts:     221000 | #Constraints:      81070
2585.05/2592.37	c #Conflicts:     222000 | #Constraints:      82075
2585.05/2592.37	c #Conflicts:     223000 | #Constraints:      83079
2585.05/2592.37	c #Conflicts:     224000 | #Constraints:      84083
2585.05/2592.37	c #Conflicts:     225000 | #Constraints:      85091
2585.05/2592.37	c #Conflicts:     226000 | #Constraints:      86094
2585.05/2592.37	c INPROCESSING
2585.05/2592.37	c GARBAGE COLLECT
2585.05/2592.37	c rational objective 2.60796e+06
2697.05/2704.69	c #Conflicts:     227000 | #Constraints:      77618
2697.05/2704.69	c #Conflicts:     228000 | #Constraints:      78624
2697.05/2704.69	c #Conflicts:     229000 | #Constraints:      79629
2697.05/2704.69	c #Conflicts:     230000 | #Constraints:      80632
2697.05/2704.69	c #Conflicts:     231000 | #Constraints:      81639
2697.05/2704.69	c #Conflicts:     232000 | #Constraints:      82647
2697.05/2704.69	c #Conflicts:     233000 | #Constraints:      83652
2697.05/2704.69	c #Conflicts:     234000 | #Constraints:      84662
2697.05/2704.69	c #Conflicts:     235000 | #Constraints:      85667
2697.05/2704.69	c #Conflicts:     236000 | #Constraints:      86672
2697.05/2704.69	c INPROCESSING
2697.05/2704.69	c GARBAGE COLLECT
2697.05/2704.69	c rational objective 2.61182e+06
2836.88/2844.81	c #Conflicts:     237000 | #Constraints:      78064
2836.88/2844.81	c #Conflicts:     238000 | #Constraints:      79065
2836.88/2844.81	c #Conflicts:     239000 | #Constraints:      80071
2836.88/2844.81	c #Conflicts:     240000 | #Constraints:      81082
2836.88/2844.81	c #Conflicts:     241000 | #Constraints:      82091
2836.88/2844.81	c #Conflicts:     242000 | #Constraints:      83101
2836.88/2844.81	c #Conflicts:     243000 | #Constraints:      84109
2836.88/2844.81	c #Conflicts:     244000 | #Constraints:      85115
2836.88/2844.81	c #Conflicts:     245000 | #Constraints:      86120
2836.88/2844.81	c #Conflicts:     246000 | #Constraints:      87130
2836.88/2844.81	c INPROCESSING
2836.88/2844.81	c GARBAGE COLLECT
2836.88/2844.81	c rational objective 2.61221e+06
3080.70/3089.38	c #Conflicts:     247000 | #Constraints:      78297
3080.70/3089.38	c #Conflicts:     248000 | #Constraints:      79339
3080.70/3089.38	c #Conflicts:     249000 | #Constraints:      80534
3080.70/3089.38	c #Conflicts:     250000 | #Constraints:      81535
3080.70/3089.38	c #Conflicts:     251000 | #Constraints:      82539
3080.70/3089.38	c #Conflicts:     252000 | #Constraints:      83545
3080.70/3089.38	c #Conflicts:     253000 | #Constraints:      84747
3080.70/3089.38	c #Conflicts:     254000 | #Constraints:      86291
3080.70/3089.38	c #Conflicts:     255000 | #Constraints:      87388
3080.70/3089.38	c #Conflicts:     256000 | #Constraints:      88534
3080.70/3089.38	c INPROCESSING
3080.70/3089.38	c GARBAGE COLLECT
3080.70/3089.38	c #Conflicts:     257000 | #Constraints:      78878
3080.70/3089.38	c #Conflicts:     258000 | #Constraints:      79878
3080.70/3089.38	c #Conflicts:     259000 | #Constraints:      80883
3080.70/3089.38	c #Conflicts:     260000 | #Constraints:      81889
3080.70/3089.38	c #Conflicts:     261000 | #Constraints:      82894
3080.70/3089.38	c #Conflicts:     262000 | #Constraints:      83899
3080.70/3089.38	c #Conflicts:     263000 | #Constraints:      84904
3080.70/3089.38	c #Conflicts:     264000 | #Constraints:      85906
3080.70/3089.38	c #Conflicts:     265000 | #Constraints:      86909
3080.70/3089.38	c #Conflicts:     266000 | #Constraints:      87915
3080.70/3089.38	c INPROCESSING
3080.70/3089.38	c GARBAGE COLLECT
3080.70/3089.38	c rational objective 2.97692e+06
3158.03/3166.96	c #Conflicts:     267000 | #Constraints:      33290
3158.03/3166.96	c #Conflicts:     268000 | #Constraints:      34308
3158.03/3166.96	c #Conflicts:     269000 | #Constraints:      35321
3158.03/3166.96	c #Conflicts:     270000 | #Constraints:      36329
3158.03/3166.96	c #Conflicts:     271000 | #Constraints:      37336
3158.03/3166.96	c #Conflicts:     272000 | #Constraints:      38341
3158.03/3166.96	c #Conflicts:     273000 | #Constraints:      39355
3158.03/3166.96	c #Conflicts:     274000 | #Constraints:      40363
3158.03/3166.96	c #Conflicts:     275000 | #Constraints:      41369
3158.03/3166.96	c #Conflicts:     276000 | #Constraints:      42375
3158.03/3166.96	c #Conflicts:     277000 | #Constraints:      43382
3158.03/3166.96	c INPROCESSING
3158.03/3166.96	c GARBAGE COLLECT
3158.03/3166.96	c rational objective 3.07689e+06
3229.42/3238.57	c #Conflicts:     278000 | #Constraints:      34169
3229.42/3238.57	c #Conflicts:     279000 | #Constraints:      35177
3229.42/3238.57	c #Conflicts:     280000 | #Constraints:      36181
3229.42/3238.57	c #Conflicts:     281000 | #Constraints:      37186
3229.42/3238.57	c #Conflicts:     282000 | #Constraints:      38195
3229.42/3238.57	c #Conflicts:     283000 | #Constraints:      39201
3229.42/3238.57	c #Conflicts:     284000 | #Constraints:      40209
3229.42/3238.57	c #Conflicts:     285000 | #Constraints:      41218
3229.42/3238.57	c #Conflicts:     286000 | #Constraints:      42223
3229.42/3238.57	c #Conflicts:     287000 | #Constraints:      43227
3229.42/3238.57	c #Conflicts:     288000 | #Constraints:      44236
3229.42/3238.57	c INPROCESSING
3229.42/3238.57	c GARBAGE COLLECT
3229.42/3238.57	c rational objective 3.17393e+06
3297.61/3306.98	c #Conflicts:     289000 | #Constraints:      34683
3297.61/3306.98	c #Conflicts:     290000 | #Constraints:      35688
3297.61/3306.98	c #Conflicts:     291000 | #Constraints:      36692
3297.61/3306.98	c #Conflicts:     292000 | #Constraints:      37697
3297.61/3306.98	c #Conflicts:     293000 | #Constraints:      38705
3297.61/3306.98	c #Conflicts:     294000 | #Constraints:      39712
3297.61/3306.98	c #Conflicts:     295000 | #Constraints:      40718
3297.61/3306.98	c #Conflicts:     296000 | #Constraints:      41725
3297.61/3306.98	c #Conflicts:     297000 | #Constraints:      42731
3297.61/3306.98	c #Conflicts:     298000 | #Constraints:      43737
3297.61/3306.98	c #Conflicts:     299000 | #Constraints:      44738
3297.61/3306.98	c INPROCESSING
3297.61/3306.98	c GARBAGE COLLECT
3297.61/3306.98	c rational objective 3.20621e+06
0.35/3358.60	HOME/run-opt-break-log.sh: line 3: 139196 File size limit exceeded(core dumped) ./roundingsat "$1" --lp-maxconstr=1000000 --preprocessed-input="$1.pre" --proof-log="$2"

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (49833 MiB free)
  memory of node 1: 64465 MiB (46027 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=139166, runsolver pid=139162

[startup+0.100059 s]*
/proc/loadavg: 0.96 0.31 0.17 3/265 139183
/proc/meminfo: memFree=98057888/131250000 swapFree=33009904/33010684
[pid=139166] ppid=139162 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/139166/stat : 139166 (run-opt-break-l) S 139162 139166 138819 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 183986923 4292608 736 18446744073709551615 94347713884160 94347714778693 140724305270592 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94347715017744 94347715065488 94347718795264 140724305279289 140724305279452 140724305279452 140724305285056 0
/proc/139166/statm: 1048 736 672 219 0 110 0
[pid=139172] ppid=139166 vsize=79172 memory=59692 CPUtime=0.08 cores=0,2
/proc/139172/stat : 139172 (pbsuma) R 139166 139166 138819 0 -1 4194304 11166 0 0 0 6 2 0 0 20 0 1 0 183986924 81072128 14923 18446744073709551615 4210688 4653049 140722190552416 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 12668928 140722190555399 140722190555696 140722190555696 140722190561263 0
/proc/139172/statm: 19793 14923 1024 108 0 17201 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 83364 KiB
Current children cumulated memory: 62636 KiB

[startup+0.205923 s]*
/proc/loadavg: 0.96 0.31 0.17 5/271 139195
/proc/meminfo: memFree=97718108/131250000 swapFree=33009904/33010684
[pid=139166] ppid=139162 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/139166/stat : 139166 (run-opt-break-l) S 139162 139166 138819 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 183986923 4292608 736 18446744073709551615 94347713884160 94347714778693 140724305270592 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94347715017744 94347715065488 94347718795264 140724305279289 140724305279452 140724305279452 140724305285056 0
/proc/139166/statm: 1048 736 672 219 0 110 0
[pid=139172] ppid=139166 vsize=89908 memory=70364 CPUtime=0.18 cores=0,2
/proc/139172/stat : 139172 (pbsuma) R 139166 139166 138819 0 -1 4194304 22027 0 0 0 14 4 0 0 20 0 1 0 183986924 92065792 17591 18446744073709551615 4210688 4653049 140722190552416 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 12668928 140722190555399 140722190555696 140722190555696 140722190561263 0
/proc/139172/statm: 22477 17591 1024 108 0 19885 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 94100 KiB
Current children cumulated memory: 73308 KiB

[startup+0.3058 s]*
/proc/loadavg: 0.96 0.31 0.17 5/271 139195
/proc/meminfo: memFree=97627644/131250000 swapFree=33009904/33010684
[pid=139166] ppid=139162 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/139166/stat : 139166 (run-opt-break-l) S 139162 139166 138819 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 183986923 4292608 736 18446744073709551615 94347713884160 94347714778693 140724305270592 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94347715017744 94347715065488 94347718795264 140724305279289 140724305279452 140724305279452 140724305285056 0
/proc/139166/statm: 1048 736 672 219 0 110 0
[pid=139172] ppid=139166 vsize=89908 memory=70364 CPUtime=0.28 cores=0,2
/proc/139172/stat : 139172 (pbsuma) R 139166 139166 138819 0 -1 4194304 22027 0 0 0 24 4 0 0 20 0 1 0 183986924 92065792 17591 18446744073709551615 4210688 4653049 140722190552416 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 12668928 140722190555399 140722190555696 140722190555696 140722190561263 0
/proc/139172/statm: 22477 17591 1024 108 0 19885 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 94100 KiB
Current children cumulated memory: 73308 KiB

[startup+0.700214 s]
/proc/loadavg: 0.96 0.31 0.17 5/271 139197
/proc/meminfo: memFree=97621512/131250000 swapFree=33009904/33010684
[pid=139166] ppid=139162 vsize=4192 memory=2944 CPUtime=0.35 cores=0,2
/proc/139166/stat : 139166 (run-opt-break-l) S 139162 139166 138819 0 -1 4194304 238 22156 0 0 0 0 31 4 20 0 1 0 183986923 4292608 736 18446744073709551615 94347713884160 94347714778693 140724305270592 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94347715017744 94347715065488 94347718795264 140724305279289 140724305279452 140724305279452 140724305285056 0
/proc/139166/statm: 1048 736 672 219 0 110 0
[pid=139196] ppid=139166 vsize=77508 memory=34720 CPUtime=0.3 cores=0,2
/proc/139196/stat : 139196 (roundingsat) R 139166 139166 138819 0 -1 4194304 6509 0 0 0 25 5 0 0 20 0 1 0 183986961 79368192 8680 18446744073709551615 4227072 8923577 140724561736496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 11370496 140724561738040 140724561738278 140724561738278 140724561743850 0
/proc/139196/statm: 19377 8680 2240 1147 0 6803 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 81700 KiB
Current children cumulated memory: 37664 KiB

[startup+1.5002 s]
/proc/loadavg: 0.96 0.31 0.17 5/271 139197
/proc/meminfo: memFree=97090144/131250000 swapFree=33009904/33010684
[pid=139166] ppid=139162 vsize=4192 memory=2944 CPUtime=0.35 cores=0,2
/proc/139166/stat : 139166 (run-opt-break-l) S 139162 139166 138819 0 -1 4194304 238 22156 0 0 0 0 31 4 20 0 1 0 183986923 4292608 736 18446744073709551615 94347713884160 94347714778693 140724305270592 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94347715017744 94347715065488 94347718795264 140724305279289 140724305279452 140724305279452 140724305285056 0
/proc/139166/statm: 1048 736 672 219 0 110 0
[pid=139196] ppid=139166 vsize=188208 memory=119192 CPUtime=1.1 cores=0,2
/proc/139196/stat : 139196 (roundingsat) R 139166 139166 138819 0 -1 4194304 18772 0 0 0 99 11 0 0 20 0 1 0 183986961 192724992 29798 18446744073709551615 4227072 8923577 140724561736496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 11370496 140724561738040 140724561738278 140724561738278 140724561743850 0
/proc/139196/statm: 47052 29798 2368 1147 0 34478 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 192400 KiB
Current children cumulated memory: 122136 KiB

[startup+3.10547 s]
/proc/loadavg: 0.96 0.31 0.17 5/271 139199
/proc/meminfo: memFree=97282220/131250000 swapFree=33009904/33010684
[pid=139166] ppid=139162 vsize=4192 memory=2944 CPUtime=0.35 cores=0,2
/proc/139166/stat : 139166 (run-opt-break-l) S 139162 139166 138819 0 -1 4194304 238 22156 0 0 0 0 31 4 20 0 1 0 183986923 4292608 736 18446744073709551615 94347713884160 94347714778693 140724305270592 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94347715017744 94347715065488 94347718795264 140724305279289 140724305279452 140724305279452 140724305285056 0
/proc/139166/statm: 1048 736 672 219 0 110 0
[pid=139196] ppid=139166 vsize=237828 memory=167656 CPUtime=2.7 cores=0,2
/proc/139196/stat : 139196 (roundingsat) R 139166 139166 138819 0 -1 4194304 29372 0 0 0 253 17 0 0 20 0 1 0 183986961 243535872 41914 18446744073709551615 4227072 8923577 140724561736496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 11370496 140724561738040 140724561738278 140724561738278 140724561743850 0
/proc/139196/statm: 59457 41914 2368 1147 0 46883 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 242020 KiB
Current children cumulated memory: 170600 KiB

[startup+6.3002 s]
/proc/loadavg: 1.20 0.37 0.19 5/271 139199
/proc/meminfo: memFree=95678708/131250000 swapFree=33009904/33010684
[pid=139166] ppid=139162 vsize=4192 memory=2944 CPUtime=0.35 cores=0,2
/proc/139166/stat : 139166 (run-opt-break-l) S 139162 139166 138819 0 -1 4194304 238 22156 0 0 0 0 31 4 20 0 1 0 183986923 4292608 736 18446744073709551615 94347713884160 94347714778693 140724305270592 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94347715017744 94347715065488 94347718795264 140724305279289 140724305279452 140724305279452 140724305285056 0
/proc/139166/statm: 1048 736 672 219 0 110 0
[pid=139196] ppid=139166 vsize=329784 memory=245608 CPUtime=5.88 cores=0,2
/proc/139196/stat : 139196 (roundingsat) R 139166 139166 138819 0 -1 4194304 43317 0 0 0 561 27 0 0 20 0 1 0 183986961 337698816 61402 18446744073709551615 4227072 8923577 140724561736496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 11370496 140724561738040 140724561738278 140724561738278 140724561743850 0
/proc/139196/statm: 82446 61402 2400 1147 0 69872 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 333976 KiB
Current children cumulated memory: 248552 KiB

[startup+12.7002 s]
/proc/loadavg: 1.51 0.45 0.21 5/271 139199
/proc/meminfo: memFree=94969084/131250000 swapFree=33009904/33010684
[pid=139166] ppid=139162 vsize=4192 memory=2944 CPUtime=0.35 cores=0,2
/proc/139166/stat : 139166 (run-opt-break-l) S 139162 139166 138819 0 -1 4194304 238 22156 0 0 0 0 31 4 20 0 1 0 183986923 4292608 736 18446744073709551615 94347713884160 94347714778693 140724305270592 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94347715017744 94347715065488 94347718795264 140724305279289 140724305279452 140724305279452 140724305285056 0
/proc/139166/statm: 1048 736 672 219 0 110 0
[pid=139196] ppid=139166 vsize=445260 memory=361648 CPUtime=12.26 cores=0,2
/proc/139196/stat : 139196 (roundingsat) R 139166 139166 138819 0 -1 4194304 64703 0 0 0 1185 41 0 0 20 0 1 0 183986961 455946240 90412 18446744073709551615 4227072 8923577 140724561736496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 11370496 140724561738040 140724561738278 140724561738278 140724561743850 0
/proc/139196/statm: 111315 90412 2400 1147 0 98741 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 449452 KiB
Current children cumulated memory: 364592 KiB

[startup+25.5002 s]
/proc/loadavg: 2.06 0.62 0.27 5/271 139199
/proc/meminfo: memFree=92859920/131250000 swapFree=33009904/33010684
[pid=139166] ppid=139162 vsize=4192 memory=2944 CPUtime=0.35 cores=0,2
/proc/139166/stat : 139166 (run-opt-break-l) S 139162 139166 138819 0 -1 4194304 238 22156 0 0 0 0 31 4 20 0 1 0 183986923 4292608 736 18446744073709551615 94347713884160 94347714778693 140724305270592 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94347715017744 94347715065488 94347718795264 140724305279289 140724305279452 140724305279452 140724305285056 0
/proc/139166/statm: 1048 736 672 219 0 110 0
[pid=139196] ppid=139166 vsize=510184 memory=420976 CPUtime=25.03 cores=0,2
/proc/139196/stat : 139196 (roundingsat) R 139166 139166 138819 0 -1 4194304 77528 0 0 0 2441 62 0 0 20 0 1 0 183986961 522428416 105244 18446744073709551615 4227072 8923577 140724561736496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 11370496 140724561738040 140724561738278 140724561738278 140724561743850 0
/proc/139196/statm: 127546 105244 2400 1147 0 114972 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 514376 KiB
Current children cumulated memory: 423920 KiB

[startup+51.1056 s]
/proc/loadavg: 3.01 0.96 0.40 5/271 139200
/proc/meminfo: memFree=89086620/131250000 swapFree=33009904/33010684
[pid=139166] ppid=139162 vsize=4192 memory=2944 CPUtime=0.35 cores=0,2
/proc/139166/stat : 139166 (run-opt-break-l) S 139162 139166 138819 0 -1 4194304 238 22156 0 0 0 0 31 4 20 0 1 0 183986923 4292608 736 18446744073709551615 94347713884160 94347714778693 140724305270592 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94347715017744 94347715065488 94347718795264 140724305279289 140724305279452 140724305279452 140724305285056 0
/proc/139166/statm: 1048 736 672 219 0 110 0
[pid=139196] ppid=139166 vsize=628688 memory=514472 CPUtime=50.58 cores=0,2
/proc/139196/stat : 139196 (roundingsat) R 139166 139166 138819 0 -1 4194304 94355 0 0 0 4948 110 0 0 20 0 1 0 183986961 643776512 128618 18446744073709551615 4227072 8923577 140724561736496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 11370496 140724561738040 140724561738278 140724561738278 140724561743850 0
/proc/139196/statm: 157172 128618 2400 1147 0 144598 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 632880 KiB
Current children cumulated memory: 517416 KiB

[startup+102.3 s]
/proc/loadavg: 4.20 1.60 0.64 5/271 139202
/proc/meminfo: memFree=81865312/131250000 swapFree=33009904/33010684
[pid=139166] ppid=139162 vsize=4192 memory=2944 CPUtime=0.35 cores=0,2
/proc/139166/stat : 139166 (run-opt-break-l) S 139162 139166 138819 0 -1 4194304 238 22156 0 0 0 0 31 4 20 0 1 0 183986923 4292608 736 18446744073709551615 94347713884160 94347714778693 140724305270592 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94347715017744 94347715065488 94347718795264 140724305279289 140724305279452 140724305279452 140724305285056 0
/proc/139166/statm: 1048 736 672 219 0 110 0
[pid=139196] ppid=139166 vsize=720608 memory=601644 CPUtime=101.63 cores=0,2
/proc/139196/stat : 139196 (roundingsat) R 139166 139166 138819 0 -1 4194304 112632 0 0 0 9964 199 0 0 20 0 1 0 183986961 737902592 150411 18446744073709551615 4227072 8923577 140724561736496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 11370496 140724561738040 140724561738278 140724561738278 140724561743850 0
/proc/139196/statm: 180152 150411 2400 1147 0 167578 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 724800 KiB
Current children cumulated memory: 604588 KiB

[startup+162.3 s]
/proc/loadavg: 4.72 2.22 0.92 5/272 139206
/proc/meminfo: memFree=73923976/131250000 swapFree=33009904/33010684
[pid=139166] ppid=139162 vsize=4192 memory=2944 CPUtime=0.35 cores=0,2
/proc/139166/stat : 139166 (run-opt-break-l) S 139162 139166 138819 0 -1 4194304 238 22156 0 0 0 0 31 4 20 0 1 0 183986923 4292608 736 18446744073709551615 94347713884160 94347714778693 140724305270592 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94347715017744 94347715065488 94347718795264 140724305279289 140724305279452 140724305279452 140724305285056 0
/proc/139166/statm: 1048 736 672 219 0 110 0
[pid=139196] ppid=139166 vsize=917424 memory=750216 CPUtime=161.47 cores=0,2
/proc/139196/stat : 139196 (roundingsat) R 139166 139166 138819 0 -1 4194304 140079 0 0 0 15844 303 0 0 20 0 1 0 183986961 939442176 187554 18446744073709551615 4227072 8923577 140724561736496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 11370496 140724561738040 140724561738278 140724561738278 140724561743850 0
/proc/139196/statm: 229356 187554 2400 1147 0 216782 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 921616 KiB
Current children cumulated memory: 753160 KiB

[startup+222.3 s]
/proc/loadavg: 4.80 2.70 1.17 5/273 139209
/proc/meminfo: memFree=66762360/131250000 swapFree=33009904/33010684
[pid=139166] ppid=139162 vsize=4192 memory=2944 CPUtime=0.35 cores=0,2
/proc/139166/stat : 139166 (run-opt-break-l) S 139162 139166 138819 0 -1 4194304 238 22156 0 0 0 0 31 4 20 0 1 0 183986923 4292608 736 18446744073709551615 94347713884160 94347714778693 140724305270592 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94347715017744 94347715065488 94347718795264 140724305279289 140724305279452 140724305279452 140724305285056 0
/proc/139166/statm: 1048 736 672 219 0 110 0
[pid=139196] ppid=139166 vsize=935604 memory=772336 CPUtime=221.31 cores=0,2
/proc/139196/stat : 139196 (roundingsat) R 139166 139166 138819 0 -1 4194304 143626 0 0 0 21727 404 0 0 20 0 1 0 183986961 958058496 193084 18446744073709551615 4227072 8923577 140724561736496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 11370496 140724561738040 140724561738278 140724561738278 140724561743850 0
/proc/139196/statm: 233901 193084 2400 1147 0 221327 0
Current children cumulated CPU time: 221.66 s

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

/proc/139166/stat : 139166 (run-opt-break-l) S 139162 139166 138819 0 -1 4194304 238 22156 0 0 0 0 31 4 20 0 1 0 183986923 4292608 736 18446744073709551615 94347713884160 94347714778693 140724305270592 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94347715017744 94347715065488 94347718795264 140724305279289 140724305279452 140724305279452 140724305285056 0
/proc/139166/statm: 1048 736 672 219 0 110 0
[pid=139196] ppid=139166 vsize=2473308 memory=2172708 CPUtime=3033.49 cores=0,2
/proc/139196/stat : 139196 (roundingsat) R 139166 139166 138819 0 -1 4194304 367906 0 0 0 298176 5173 0 0 20 0 1 0 183986961 2532667392 543177 18446744073709551615 4227072 8923577 140724561736496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 11370496 140724561738040 140724561738278 140724561738278 140724561743850 0
/proc/139196/statm: 618327 543177 2496 1147 0 605753 0
Current children cumulated CPU time: 3033.84 s
Current children cumulated vsize: 2477500 KiB
Current children cumulated memory: 2175652 KiB

[startup+3102.3 s]
/proc/loadavg: 5.10 5.16 5.02 5/273 139384
/proc/meminfo: memFree=607140/131250000 swapFree=33009904/33010684
[pid=139166] ppid=139162 vsize=4192 memory=2944 CPUtime=0.35 cores=0,2
/proc/139166/stat : 139166 (run-opt-break-l) S 139162 139166 138819 0 -1 4194304 238 22156 0 0 0 0 31 4 20 0 1 0 183986923 4292608 736 18446744073709551615 94347713884160 94347714778693 140724305270592 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94347715017744 94347715065488 94347718795264 140724305279289 140724305279452 140724305279452 140724305285056 0
/proc/139166/statm: 1048 736 672 219 0 110 0
[pid=139196] ppid=139166 vsize=2473308 memory=2174500 CPUtime=3093.3 cores=0,2
/proc/139196/stat : 139196 (roundingsat) R 139166 139166 138819 0 -1 4194304 368463 0 0 0 304049 5281 0 0 20 0 1 0 183986961 2532667392 543625 18446744073709551615 4227072 8923577 140724561736496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 11370496 140724561738040 140724561738278 140724561738278 140724561743850 0
/proc/139196/statm: 618327 543625 2496 1147 0 605753 0
Current children cumulated CPU time: 3093.65 s
Current children cumulated vsize: 2477500 KiB
Current children cumulated memory: 2177444 KiB

[startup+3162.3 s]
/proc/loadavg: 5.14 5.16 5.02 5/276 139389
/proc/meminfo: memFree=522188/131250000 swapFree=33009904/33010684
[pid=139166] ppid=139162 vsize=4192 memory=2944 CPUtime=0.35 cores=0,2
/proc/139166/stat : 139166 (run-opt-break-l) S 139162 139166 138819 0 -1 4194304 238 22156 0 0 0 0 31 4 20 0 1 0 183986923 4292608 736 18446744073709551615 94347713884160 94347714778693 140724305270592 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94347715017744 94347715065488 94347718795264 140724305279289 140724305279452 140724305279452 140724305285056 0
/proc/139166/statm: 1048 736 672 219 0 110 0
[pid=139196] ppid=139166 vsize=2473308 memory=2175524 CPUtime=3153.1 cores=0,2
/proc/139196/stat : 139196 (roundingsat) R 139166 139166 138819 0 -1 4194304 368738 0 0 0 309910 5400 0 0 20 0 1 0 183986961 2532667392 543881 18446744073709551615 4227072 8923577 140724561736496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 11370496 140724561738040 140724561738278 140724561738278 140724561743850 0
/proc/139196/statm: 618327 543881 2496 1147 0 605753 0
Current children cumulated CPU time: 3153.45 s
Current children cumulated vsize: 2477500 KiB
Current children cumulated memory: 2178468 KiB

[startup+3222.3 s]
/proc/loadavg: 5.11 5.14 5.02 5/275 139392
/proc/meminfo: memFree=576760/131250000 swapFree=33009904/33010684
[pid=139166] ppid=139162 vsize=4192 memory=2944 CPUtime=0.35 cores=0,2
/proc/139166/stat : 139166 (run-opt-break-l) S 139162 139166 138819 0 -1 4194304 238 22156 0 0 0 0 31 4 20 0 1 0 183986923 4292608 736 18446744073709551615 94347713884160 94347714778693 140724305270592 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94347715017744 94347715065488 94347718795264 140724305279289 140724305279452 140724305279452 140724305285056 0
/proc/139166/statm: 1048 736 672 219 0 110 0
[pid=139196] ppid=139166 vsize=2506936 memory=2209544 CPUtime=3212.91 cores=0,2
/proc/139196/stat : 139196 (roundingsat) R 139166 139166 138819 0 -1 4194304 375182 0 0 0 315775 5516 0 0 20 0 1 0 183986961 2567102464 552386 18446744073709551615 4227072 8923577 140724561736496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 11370496 140724561738040 140724561738278 140724561738278 140724561743850 0
/proc/139196/statm: 626734 552386 2496 1147 0 614160 0
Current children cumulated CPU time: 3213.26 s
Current children cumulated vsize: 2511128 KiB
Current children cumulated memory: 2212488 KiB

[startup+3282.3 s]
/proc/loadavg: 5.19 5.15 5.03 5/276 139395
/proc/meminfo: memFree=711164/131250000 swapFree=33009904/33010684
[pid=139166] ppid=139162 vsize=4192 memory=2944 CPUtime=0.35 cores=0,2
/proc/139166/stat : 139166 (run-opt-break-l) S 139162 139166 138819 0 -1 4194304 238 22156 0 0 0 0 31 4 20 0 1 0 183986923 4292608 736 18446744073709551615 94347713884160 94347714778693 140724305270592 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94347715017744 94347715065488 94347718795264 140724305279289 140724305279452 140724305279452 140724305285056 0
/proc/139166/statm: 1048 736 672 219 0 110 0
[pid=139196] ppid=139166 vsize=2506936 memory=2209544 CPUtime=3272.74 cores=0,2
/proc/139196/stat : 139196 (roundingsat) R 139166 139166 138819 0 -1 4194304 375185 0 0 0 321652 5622 0 0 20 0 1 0 183986961 2567102464 552386 18446744073709551615 4227072 8923577 140724561736496 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9827200 9836688 11370496 140724561738040 140724561738278 140724561738278 140724561743850 0
/proc/139196/statm: 626734 552386 2496 1147 0 614160 0
Current children cumulated CPU time: 3273.09 s
Current children cumulated vsize: 2511128 KiB
Current children cumulated memory: 2212488 KiB

[startup+3342.31 s]
/proc/loadavg: 5.13 5.14 5.03 6/276 139400
/proc/meminfo: memFree=717668/131250000 swapFree=33009904/33010684
[pid=139166] ppid=139162 vsize=4192 memory=2944 CPUtime=0.35 cores=0,2
/proc/139166/stat : 139166 (run-opt-break-l) S 139162 139166 138819 0 -1 4194304 238 22156 0 0 0 0 31 4 20 0 1 0 183986923 4292608 736 18446744073709551615 94347713884160 94347714778693 140724305270592 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94347715017744 94347715065488 94347718795264 140724305279289 140724305279452 140724305279452 140724305285056 0
/proc/139166/statm: 1048 736 672 219 0 110 0
[pid=139196] ppid=139166 vsize=2550092 memory=2236296 CPUtime=3332.49 cores=0,2
/proc/139196/stat : 139196 (roundingsat) S 139166 139166 138819 0 -1 4195840 382712 0 0 0 327470 5779 0 0 20 0 1 0 183986961 2611294208 559074 18446744073709551615 4227072 8923577 140724561736496 140724561733544 140398834998103 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9827200 9836688 11370496 140724561738040 140724561738278 140724561738278 140724561743850 25
/proc/139196/statm: 637523 559074 2496 1147 0 624949 0
Current children cumulated CPU time: 3332.84 s
Current children cumulated vsize: 2554284 KiB
Current children cumulated memory: 2239240 KiB

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

# cumulated CPU time of all completed processes:  user=3275.02 s, system=58.0258 s

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

[startup+3347.2 s]
/proc/loadavg: 5.20 5.15 5.04 5/275 139400
/proc/meminfo: memFree=716124/131250000 swapFree=33009904/33010684
[pid=139166] ppid=139162 vsize=4192 memory=2944 CPUtime=0.35 cores=0,2
/proc/139166/stat : 139166 (run-opt-break-l) S 139162 139166 138819 0 -1 4194304 238 22156 0 0 0 0 31 4 20 0 1 0 183986923 4292608 736 18446744073709551615 94347713884160 94347714778693 140724305270592 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94347715017744 94347715065488 94347718795264 140724305279289 140724305279452 140724305279452 140724305285056 0
/proc/139166/statm: 1048 736 672 219 0 110 0
[pid=139196] ppid=139166 vsize=2550092 memory=2236296 CPUtime=3332.65 cores=0,2
/proc/139196/stat : 139196 (roundingsat) S 139166 139166 138819 0 -1 4195840 382712 0 0 0 327470 5795 0 0 20 0 1 0 183986961 2611294208 559074 18446744073709551615 4227072 8923577 140724561736496 140724561733544 140398834998103 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9827200 9836688 11370496 140724561738040 140724561738278 140724561738278 140724561743850 25
/proc/139196/statm: 637523 559074 2496 1147 0 624949 0
Current children cumulated CPU time: 3333 s
Current children cumulated vsize: 2554284 KiB
Current children cumulated memory: 2239240 KiB

[startup+3353.6 s]
/proc/loadavg: 5.26 5.16 5.04 4/275 139401
/proc/meminfo: memFree=587336/131250000 swapFree=33009904/33010684
[pid=139166] ppid=139162 vsize=4192 memory=2944 CPUtime=0.35 cores=0,2
/proc/139166/stat : 139166 (run-opt-break-l) S 139162 139166 138819 0 -1 4194304 238 22156 0 0 0 0 31 4 20 0 1 0 183986923 4292608 736 18446744073709551615 94347713884160 94347714778693 140724305270592 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94347715017744 94347715065488 94347718795264 140724305279289 140724305279452 140724305279452 140724305285056 0
/proc/139166/statm: 1048 736 672 219 0 110 0
[pid=139196] ppid=139166 vsize=2550092 memory=2236296 CPUtime=3332.65 cores=0,2
/proc/139196/stat : 139196 (roundingsat) S 139166 139166 138819 0 -1 4195840 382712 0 0 0 327470 5795 0 0 20 0 1 0 183986961 2611294208 559074 18446744073709551615 4227072 8923577 140724561736496 140724561733544 140398834998103 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9827200 9836688 11370496 140724561738040 140724561738278 140724561738278 140724561743850 25
/proc/139196/statm: 637523 559074 2496 1147 0 624949 0
Current children cumulated CPU time: 3333 s
Current children cumulated vsize: 2554284 KiB
Current children cumulated memory: 2239240 KiB

[startup+3356.8 s]
/proc/loadavg: 5.32 5.18 5.05 4/275 139401
/proc/meminfo: memFree=544064/131250000 swapFree=33009904/33010684
[pid=139166] ppid=139162 vsize=4192 memory=2944 CPUtime=0.35 cores=0,2
/proc/139166/stat : 139166 (run-opt-break-l) S 139162 139166 138819 0 -1 4194304 238 22156 0 0 0 0 31 4 20 0 1 0 183986923 4292608 736 18446744073709551615 94347713884160 94347714778693 140724305270592 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94347715017744 94347715065488 94347718795264 140724305279289 140724305279452 140724305279452 140724305285056 0
/proc/139166/statm: 1048 736 672 219 0 110 0
[pid=139196] ppid=139166 vsize=2550092 memory=2236296 CPUtime=3332.65 cores=0,2
/proc/139196/stat : 139196 (roundingsat) S 139166 139166 138819 0 -1 4195840 382712 0 0 0 327470 5795 0 0 20 0 1 0 183986961 2611294208 559074 18446744073709551615 4227072 8923577 140724561736496 140724561733544 140398834998103 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9827200 9836688 11370496 140724561738040 140724561738278 140724561738278 140724561743850 25
/proc/139196/statm: 637523 559074 2496 1147 0 624949 0
Current children cumulated CPU time: 3333 s
Current children cumulated vsize: 2554284 KiB
Current children cumulated memory: 2239240 KiB

[startup+3357.6 s]
/proc/loadavg: 5.32 5.18 5.05 4/275 139401
/proc/meminfo: memFree=708056/131250000 swapFree=33009904/33010684
[pid=139166] ppid=139162 vsize=4192 memory=2944 CPUtime=0.35 cores=0,2
/proc/139166/stat : 139166 (run-opt-break-l) S 139162 139166 138819 0 -1 4194304 238 22156 0 0 0 0 31 4 20 0 1 0 183986923 4292608 736 18446744073709551615 94347713884160 94347714778693 140724305270592 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94347715017744 94347715065488 94347718795264 140724305279289 140724305279452 140724305279452 140724305285056 0
/proc/139166/statm: 1048 736 672 219 0 110 0
[pid=139196] ppid=139166 vsize=2550092 memory=2236296 CPUtime=3332.65 cores=0,2
/proc/139196/stat : 139196 (roundingsat) S 139166 139166 138819 0 -1 4195840 382712 0 0 0 327470 5795 0 0 20 0 1 0 183986961 2611294208 559074 18446744073709551615 4227072 8923577 140724561736496 140724561733544 140398834998103 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9827200 9836688 11370496 140724561738040 140724561738278 140724561738278 140724561743850 25
/proc/139196/statm: 637523 559074 2496 1147 0 624949 0
Current children cumulated CPU time: 3333 s
Current children cumulated vsize: 2554284 KiB
Current children cumulated memory: 2239240 KiB

[startup+3358.4 s]
/proc/loadavg: 5.32 5.18 5.05 4/275 139402
/proc/meminfo: memFree=603612/131250000 swapFree=33009904/33010684
[pid=139166] ppid=139162 vsize=4192 memory=2944 CPUtime=0.35 cores=0,2
/proc/139166/stat : 139166 (run-opt-break-l) S 139162 139166 138819 0 -1 4194304 238 22156 0 0 0 0 31 4 20 0 1 0 183986923 4292608 736 18446744073709551615 94347713884160 94347714778693 140724305270592 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94347715017744 94347715065488 94347718795264 140724305279289 140724305279452 140724305279452 140724305285056 0
/proc/139166/statm: 1048 736 672 219 0 110 0
[pid=139196] ppid=139166 vsize=2550092 memory=2236296 CPUtime=3332.65 cores=0,2
/proc/139196/stat : 139196 (roundingsat) S 139166 139166 138819 0 -1 4195840 382712 0 0 0 327470 5795 0 0 20 0 1 0 183986961 2611294208 559074 18446744073709551615 4227072 8923577 140724561736496 140724561733544 140398834998103 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9827200 9836688 11370496 140724561738040 140724561738278 140724561738278 140724561743850 25
/proc/139196/statm: 637523 559074 2496 1147 0 624949 0
Current children cumulated CPU time: 3333 s
Current children cumulated vsize: 2554284 KiB
Current children cumulated memory: 2239240 KiB

[startup+3358.6 s]
/proc/loadavg: 5.32 5.18 5.05 4/275 139402
/proc/meminfo: memFree=603612/131250000 swapFree=33009904/33010684
[pid=139166] ppid=139162 vsize=4192 memory=2944 CPUtime=0.35 cores=0,2
/proc/139166/stat : 139166 (run-opt-break-l) S 139162 139166 138819 0 -1 4194304 238 22156 0 0 0 0 31 4 20 0 1 0 183986923 4292608 736 18446744073709551615 94347713884160 94347714778693 140724305270592 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94347715017744 94347715065488 94347718795264 140724305279289 140724305279452 140724305279452 140724305285056 0
/proc/139166/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB

Child status: 153

Real time (s): 3358.6
CPU time (s): 3333.05
CPU user time (s): 3275.02
CPU system time (s): 58.0258
CPU usage (%): 99.239
Max. virtual memory (cumulated for all children) (KiB): 2554284
Max. memory (cumulated for all children) (KiB): 2239240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3275.02
system time used= 58.0258
maximum resident set size= 2236296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 405116
page faults= 0
swaps= 0
block input operations= 0
block output operations= 204805936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 482
involuntary context switches= 7522


# summary of solver processes directly reported to runsolver:
#   pid: 139166
#   total CPU time (s): 3333.05
#   total CPU user time (s): 3275.02
#   total CPU system time (s): 58.0258

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.79753 second user time and 15.727 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2025-07-16 18:24:35
IDJOB=4532622
IDBENCH=155664
IDSOLVER=3393
FILE ID=nodeC033/4532622-1752683075
RUNJOBID= nodeC033-1752683075-139132
SLURM_JOB_ID= 9686933
Free space on /tmp= 432904 MiB

SOLVER NAME= roundingsat+pbsuma-opt-log 0f876b3
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Multihop/normalized-minisat25_6_4_4_mh.opb
COMMAND LINE= run-opt-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4532622-1752683075/watcher-4532622-1752683075 -o /tmp/evaluation-result-4532622-1752683075/solver-4532622-1752683075 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1752683075-139132 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532622-1752683075.opb /tmp/proof-4532622-1752683075

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

MD5SUM BENCH= fab5e62eb964e75ef5bb4e0d05cd3bf1
RANDOM SEED=768628929

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        98190992 kB
MemAvailable:   129572680 kB
Buffers:            2128 kB
Cached:         32107996 kB
SwapCached:           68 kB
Active:          1001364 kB
Inactive:       31189800 kB
Active(anon):     101976 kB
Inactive(anon):     5284 kB
Active(file):     899388 kB
Inactive(file): 31184516 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             49892 kB
Writeback:            16 kB
AnonPages:         84008 kB
Mapped:           107708 kB
Shmem:             26220 kB
KReclaimable:     274044 kB
Slab:             371328 kB
SReclaimable:     274044 kB
SUnreclaim:        97284 kB
KernelStack:        4116 kB
PageTables:         2644 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     366904 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150440 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:     24576 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:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 62620 MiB
End job on nodeC033 at 2025-07-16 19:20:34