Trace number 4517912

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
Sat4j Resolution 2025-06-06? (exit code) 3507.79 2759.78

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/strongly_correlated/
normalized-knapPI_3_5000_1000_4_-199683.opb
MD5SUM1078a8a599ac53eb8b654d06ccbdcce3
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 benchmark-296283
Best CPU time to get the best result obtained on this benchmark0.170606
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables20000
Total number of constraints1
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint20000
Maximum length of a constraint20000
Number of terms in the objective function 20000
Biggest coefficient in the objective function 1100
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 12057080
Number of bits of the sum of numbers in the objective function 24
Biggest number in a constraint 99583
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 12057080
Number of bits of the biggest sum of numbers24
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.10/0.19	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.10/0.19	c This is free software under the dual EPL/GNU LGPL licenses.
0.10/0.19	c See www.sat4j.org for details.
0.10/0.20	c version PB25.v20250606
0.27/0.23	c java.runtime.name	OpenJDK Runtime Environment
0.27/0.23	c java.vm.name		OpenJDK 64-Bit Server VM
0.27/0.23	c java.vm.version	22.0.1+8-16
0.27/0.23	c java.vm.vendor	Oracle Corporation
0.27/0.23	c sun.arch.data.model	64
0.27/0.23	c java.version		22.0.1
0.27/0.23	c os.name		Linux
0.27/0.23	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.27/0.23	c os.arch		amd64
0.27/0.25	c Free memory 		2104792832
0.27/0.25	c Max memory 		16282288128
0.27/0.25	c Total memory 		2113929216
0.27/0.26	c Number of processors 	2
0.43/0.39	c Pseudo Boolean Optimization by upper bound
0.43/0.39	c --- Begin Solver configuration ---
0.43/0.39	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.43/0.39	c Learn all clauses as in MiniSAT
0.43/0.39	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.43/0.39	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.43/0.39	c Expensive reason simplification
0.43/0.39	c Glucose 2.1 dynamic restart strategy
0.43/0.39	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.43/0.39	c timeout=2147483s
0.43/0.39	c DB Simplification allowed=false
0.43/0.39	c Listener: none
0.43/0.39	c --- End Solver configuration ---
0.43/0.39	c solving HOME/instance-4517912-1751539206.opb
0.43/0.39	c reading problem ... 
0.43/0.39	c  objective function found
1.11/0.71	c ... done. Wall clock time 0.313s.
1.11/0.71	c declared #vars     20000
1.11/0.71	c #constraints  1
1.11/0.71	c constraints type 
1.11/0.72	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1.11/0.72	c 1 constraints processed.
1.11/0.75	c objective function length is 20000 literals
1.29/0.88	c SATISFIABLE
1.29/0.88	c OPTIMIZING...
1.29/0.88	c Got one! Elapsed wall clock time (in seconds):0.49
1.29/0.88	o -109583
2.74/1.99	c Got one! Elapsed wall clock time (in seconds):1.599
2.74/1.99	o -109642
4.05/2.78	c Got one! Elapsed wall clock time (in seconds):2.395
4.05/2.78	o -109743
5.30/3.54	c Got one! Elapsed wall clock time (in seconds):3.154
5.30/3.54	o -109844
6.06/4.28	c Got one! Elapsed wall clock time (in seconds):3.897
6.06/4.28	o -109945
6.95/5.03	c Got one! Elapsed wall clock time (in seconds):4.639
6.95/5.03	o -110046
7.81/5.75	c Got one! Elapsed wall clock time (in seconds):5.367
7.81/5.75	o -110147
8.76/6.46	c Got one! Elapsed wall clock time (in seconds):6.075
8.76/6.46	o -110248
9.65/7.19	c Got one! Elapsed wall clock time (in seconds):6.802
9.65/7.19	o -110349
10.48/7.90	c Got one! Elapsed wall clock time (in seconds):7.508
10.48/7.90	o -110450
11.45/8.61	c Got one! Elapsed wall clock time (in seconds):8.225
11.45/8.61	o -110551
12.37/9.31	c Got one! Elapsed wall clock time (in seconds):8.92
12.37/9.31	o -110652
13.12/10.00	c Got one! Elapsed wall clock time (in seconds):9.609
13.12/10.00	o -110753
13.91/10.68	c Got one! Elapsed wall clock time (in seconds):10.296
13.91/10.68	o -110854
14.69/11.37	c Got one! Elapsed wall clock time (in seconds):10.981
14.69/11.37	o -110955
15.43/12.05	c Got one! Elapsed wall clock time (in seconds):11.666
15.43/12.05	o -110956
16.11/12.73	c Got one! Elapsed wall clock time (in seconds):12.347
16.11/12.73	o -111057
16.82/13.42	c Got one! Elapsed wall clock time (in seconds):13.029
16.82/13.42	o -111058
17.43/14.10	c Got one! Elapsed wall clock time (in seconds):13.71
17.43/14.10	o -111159
18.22/14.83	c Got one! Elapsed wall clock time (in seconds):14.447
18.22/14.83	o -111160
18.91/15.54	c Got one! Elapsed wall clock time (in seconds):15.154
18.91/15.54	o -111261
19.61/16.23	c Got one! Elapsed wall clock time (in seconds):15.841
19.61/16.23	o -111262
20.33/16.92	c Got one! Elapsed wall clock time (in seconds):16.53
20.33/16.92	o -111363
20.97/17.60	c Got one! Elapsed wall clock time (in seconds):17.217
20.97/17.60	o -111364
21.71/18.29	c Got one! Elapsed wall clock time (in seconds):17.903
21.71/18.29	o -111465
22.45/18.97	c Got one! Elapsed wall clock time (in seconds):18.588
22.45/18.98	o -111466
23.15/19.69	c Got one! Elapsed wall clock time (in seconds):19.298
23.15/19.69	o -111567
24.62/20.46	c Got one! Elapsed wall clock time (in seconds):20.068
24.62/20.46	o -111568
25.45/21.15	c Got one! Elapsed wall clock time (in seconds):20.761
25.45/21.15	o -111669
26.14/21.84	c Got one! Elapsed wall clock time (in seconds):21.451
26.14/21.84	o -111670
26.84/22.53	c Got one! Elapsed wall clock time (in seconds):22.14
26.84/22.53	o -111771
27.54/23.22	c Got one! Elapsed wall clock time (in seconds):22.829
27.54/23.22	o -111873
28.26/23.92	c Got one! Elapsed wall clock time (in seconds):23.534
28.26/23.92	o -111975
28.97/24.61	c Got one! Elapsed wall clock time (in seconds):24.221
28.97/24.61	o -112077
29.58/25.30	c Got one! Elapsed wall clock time (in seconds):24.909
29.58/25.30	o -112179
30.30/25.98	c Got one! Elapsed wall clock time (in seconds):25.594
30.30/25.98	o -112281
31.00/26.66	c Got one! Elapsed wall clock time (in seconds):26.277
31.00/26.67	o -112383
31.85/27.36	c Got one! Elapsed wall clock time (in seconds):26.968
31.85/27.36	o -112485
32.72/28.07	c Got one! Elapsed wall clock time (in seconds):27.681
32.72/28.07	o -112587
33.40/28.78	c Got one! Elapsed wall clock time (in seconds):28.397
33.40/28.78	o -112689
34.10/29.49	c Got one! Elapsed wall clock time (in seconds):29.1
34.10/29.49	o -112791
34.81/30.19	c Got one! Elapsed wall clock time (in seconds):29.803
34.81/30.19	o -112893
35.51/30.89	c Got one! Elapsed wall clock time (in seconds):30.505
35.51/30.89	o -112995
36.75/32.02	c Got one! Elapsed wall clock time (in seconds):31.629
36.75/32.02	o -113097
37.79/32.94	c Got one! Elapsed wall clock time (in seconds):32.553
37.79/32.94	o -113199
38.84/33.84	c Got one! Elapsed wall clock time (in seconds):33.45
38.84/33.84	o -113301
39.64/34.69	c Got one! Elapsed wall clock time (in seconds):34.298
39.64/34.69	o -113403
40.54/35.54	c Got one! Elapsed wall clock time (in seconds):35.153
40.54/35.54	o -113404
41.44/36.41	c Got one! Elapsed wall clock time (in seconds):36.026
41.44/36.41	o -113506
42.24/37.29	c Got one! Elapsed wall clock time (in seconds):36.901
42.24/37.29	o -113507
43.15/38.17	c Got one! Elapsed wall clock time (in seconds):37.779
43.15/38.17	o -113508
45.35/40.32	c Got one! Elapsed wall clock time (in seconds):39.937
45.35/40.32	o -113610
46.35/41.35	c Got one! Elapsed wall clock time (in seconds):40.968
46.35/41.35	o -113712
47.25/42.25	c Got one! Elapsed wall clock time (in seconds):41.864
47.25/42.25	o -113713
48.16/43.12	c Got one! Elapsed wall clock time (in seconds):42.728
48.16/43.12	o -113815
48.95/43.99	c Got one! Elapsed wall clock time (in seconds):43.605
48.95/43.99	o -113816
49.85/44.86	c Got one! Elapsed wall clock time (in seconds):44.469
49.85/44.86	o -113918
50.55/45.56	c Got one! Elapsed wall clock time (in seconds):45.177
50.55/45.56	o -114020
51.24/46.27	c Got one! Elapsed wall clock time (in seconds):45.887
51.24/46.27	o -114021
51.94/46.98	c Got one! Elapsed wall clock time (in seconds):46.588
51.94/46.98	o -114123
53.78/48.76	c Got one! Elapsed wall clock time (in seconds):48.375
53.78/48.76	o -114124
54.88/49.81	c Got one! Elapsed wall clock time (in seconds):49.421
54.88/49.81	o -114226
55.58/50.56	c Got one! Elapsed wall clock time (in seconds):50.17
55.58/50.56	o -114227
57.68/52.63	c Got one! Elapsed wall clock time (in seconds):52.239
57.68/52.63	o -114329
59.58/54.53	c Got one! Elapsed wall clock time (in seconds):54.139
59.58/54.53	o -114330
61.49/56.41	c Got one! Elapsed wall clock time (in seconds):56.026
61.49/56.41	o -114432
63.20/58.15	c Got one! Elapsed wall clock time (in seconds):57.761
63.20/58.15	o -114535
65.81/60.74	c Got one! Elapsed wall clock time (in seconds):60.355
65.81/60.74	o -114638
67.12/62.02	c Got one! Elapsed wall clock time (in seconds):61.637
67.12/62.02	o -114741
68.31/63.23	c Got one! Elapsed wall clock time (in seconds):62.839
68.31/63.23	o -114844
69.31/64.27	c Got one! Elapsed wall clock time (in seconds):63.883
69.31/64.27	o -114947
70.41/65.31	c Got one! Elapsed wall clock time (in seconds):64.927
70.41/65.31	o -115050
71.41/66.35	c Got one! Elapsed wall clock time (in seconds):65.967
71.41/66.35	o -115153
72.58/67.47	c Got one! Elapsed wall clock time (in seconds):67.086
72.58/67.47	o -115154
73.68/68.51	c Got one! Elapsed wall clock time (in seconds):68.119
73.68/68.51	o -115257
74.68/69.54	c Got one! Elapsed wall clock time (in seconds):69.149
74.68/69.54	o -115258
75.68/70.56	c Got one! Elapsed wall clock time (in seconds):70.176
75.68/70.56	o -115361
76.67/71.60	c Got one! Elapsed wall clock time (in seconds):71.208
76.67/71.60	o -115362
77.88/72.79	c Got one! Elapsed wall clock time (in seconds):72.406
77.88/72.79	o -115464
79.08/73.98	c Got one! Elapsed wall clock time (in seconds):73.596
79.08/73.98	o -115567
80.44/75.27	c Got one! Elapsed wall clock time (in seconds):74.879
80.44/75.27	o -115568
81.64/76.47	c Got one! Elapsed wall clock time (in seconds):76.079
81.64/76.47	o -115671
82.94/77.70	c Got one! Elapsed wall clock time (in seconds):77.315
82.94/77.70	o -115672
84.14/78.92	c Got one! Elapsed wall clock time (in seconds):78.531
84.14/78.92	o -115775
85.35/80.14	c Got one! Elapsed wall clock time (in seconds):79.75
85.35/80.14	o -115776
86.79/81.58	c Got one! Elapsed wall clock time (in seconds):81.188
86.79/81.58	o -115879
87.99/82.78	c Got one! Elapsed wall clock time (in seconds):82.396
87.99/82.78	o -115880
89.18/84.00	c Got one! Elapsed wall clock time (in seconds):83.615
89.18/84.00	o -115983
90.48/85.21	c Got one! Elapsed wall clock time (in seconds):84.822
90.48/85.21	o -115984
91.39/86.12	c Got one! Elapsed wall clock time (in seconds):85.729
91.39/86.12	o -116087
93.47/88.18	c Got one! Elapsed wall clock time (in seconds):87.796
93.47/88.18	o -116088
94.55/89.23	c Got one! Elapsed wall clock time (in seconds):88.847
94.55/89.23	o -116191
95.36/90.08	c Got one! Elapsed wall clock time (in seconds):89.69
95.36/90.08	o -116192
96.15/90.87	c Got one! Elapsed wall clock time (in seconds):90.483
96.15/90.87	o -116295
96.94/91.65	c Got one! Elapsed wall clock time (in seconds):91.263
96.94/91.65	o -116399
97.75/92.42	c Got one! Elapsed wall clock time (in seconds):92.031
97.75/92.42	o -116503
98.73/93.35	c Got one! Elapsed wall clock time (in seconds):92.965
98.73/93.35	o -116504
99.64/94.26	c Got one! Elapsed wall clock time (in seconds):93.871
99.64/94.26	o -116508
100.55/95.12	c Got one! Elapsed wall clock time (in seconds):94.728
100.55/95.12	o -116612
101.34/95.97	c Got one! Elapsed wall clock time (in seconds):95.583
101.34/95.97	o -116613
102.50/97.01	c Got one! Elapsed wall clock time (in seconds):96.627
102.50/97.01	o -116717
103.29/97.88	c Got one! Elapsed wall clock time (in seconds):97.491
103.29/97.88	o -116718
104.19/98.76	c Got one! Elapsed wall clock time (in seconds):98.368
104.19/98.76	o -116822
105.09/99.64	c Got one! Elapsed wall clock time (in seconds):99.25
105.09/99.64	o -116823
105.99/100.54	c Got one! Elapsed wall clock time (in seconds):100.156
105.99/100.54	o -116927
107.26/101.76	c Got one! Elapsed wall clock time (in seconds):101.376
107.26/101.76	o -117029
108.16/102.65	c Got one! Elapsed wall clock time (in seconds):102.262
108.16/102.65	o -117030
109.06/103.54	c Got one! Elapsed wall clock time (in seconds):103.154
109.06/103.54	o -117031
109.96/104.44	c Got one! Elapsed wall clock time (in seconds):104.057
109.96/104.44	o -117135
111.24/105.69	c Got one! Elapsed wall clock time (in seconds):105.301
111.24/105.69	o -117239
112.14/106.57	c Got one! Elapsed wall clock time (in seconds):106.187
112.14/106.57	o -117240
113.14/107.50	c Got one! Elapsed wall clock time (in seconds):107.112
113.14/107.50	o -117344
113.94/108.37	c Got one! Elapsed wall clock time (in seconds):107.979
113.94/108.37	o -117448
114.85/109.28	c Got one! Elapsed wall clock time (in seconds):108.893
114.85/109.28	o -117552
116.02/110.30	c Got one! Elapsed wall clock time (in seconds):109.913
116.02/110.30	o -117656
116.92/111.21	c Got one! Elapsed wall clock time (in seconds):110.819
116.92/111.21	o -117657
117.84/112.14	c Got one! Elapsed wall clock time (in seconds):111.755
117.84/112.14	o -117761
118.62/112.97	c Got one! Elapsed wall clock time (in seconds):112.584
118.62/112.97	o -117865
119.52/113.80	c Got one! Elapsed wall clock time (in seconds):113.411
119.52/113.80	o -117969
120.32/114.62	c Got one! Elapsed wall clock time (in seconds):114.228
120.32/114.62	o -118074
121.11/115.49	c Got one! Elapsed wall clock time (in seconds):115.098
121.11/115.49	o -118179
122.02/116.33	c Got one! Elapsed wall clock time (in seconds):115.945
122.02/116.33	o -118284
123.00/117.21	c Got one! Elapsed wall clock time (in seconds):116.818
123.00/117.21	o -118389
125.69/119.91	c Got one! Elapsed wall clock time (in seconds):119.527
125.69/119.91	o -118396
126.49/120.79	c Got one! Elapsed wall clock time (in seconds):120.407
126.49/120.79	o -118500
127.40/121.64	c Got one! Elapsed wall clock time (in seconds):121.252
127.40/121.64	o -118501
128.30/122.50	c Got one! Elapsed wall clock time (in seconds):122.11
128.30/122.50	o -118606
129.10/123.39	c Got one! Elapsed wall clock time (in seconds):123.004
129.10/123.39	o -118607
130.27/124.43	c Got one! Elapsed wall clock time (in seconds):124.047
130.27/124.43	o -118712
131.31/125.46	c Got one! Elapsed wall clock time (in seconds):125.07
131.31/125.46	o -118816
132.31/126.46	c Got one! Elapsed wall clock time (in seconds):126.075
132.31/126.46	o -118921
133.11/127.30	c Got one! Elapsed wall clock time (in seconds):126.909
133.11/127.30	o -118922
134.02/128.13	c Got one! Elapsed wall clock time (in seconds):127.739
134.02/128.13	o -119027
134.80/128.94	c Got one! Elapsed wall clock time (in seconds):128.554
134.80/128.94	o -119132
135.60/129.77	c Got one! Elapsed wall clock time (in seconds):129.378
135.60/129.77	o -119237
136.60/130.68	c Got one! Elapsed wall clock time (in seconds):130.292
136.60/130.68	o -119238
137.50/131.50	c Got one! Elapsed wall clock time (in seconds):131.112
137.50/131.50	o -119343
138.30/132.32	c Got one! Elapsed wall clock time (in seconds):131.927
138.30/132.32	o -119448
139.01/133.07	c Got one! Elapsed wall clock time (in seconds):132.685
139.01/133.07	o -119553
139.80/133.83	c Got one! Elapsed wall clock time (in seconds):133.442
139.80/133.83	o -119659
140.50/134.58	c Got one! Elapsed wall clock time (in seconds):134.197
140.50/134.58	o -119765
141.29/135.34	c Got one! Elapsed wall clock time (in seconds):134.953
141.29/135.34	o -119871
142.01/136.09	c Got one! Elapsed wall clock time (in seconds):135.706
142.01/136.09	o -119977
142.79/136.84	c Got one! Elapsed wall clock time (in seconds):136.451
142.79/136.84	o -120083
143.68/137.66	c Got one! Elapsed wall clock time (in seconds):137.278
143.68/137.67	o -120084
144.57/138.52	c Got one! Elapsed wall clock time (in seconds):138.13
144.57/138.52	o -120088
145.37/139.34	c Got one! Elapsed wall clock time (in seconds):138.956
145.37/139.34	o -120089
146.18/140.19	c Got one! Elapsed wall clock time (in seconds):139.798
146.18/140.19	o -120195
146.97/141.01	c Got one! Elapsed wall clock time (in seconds):140.621
146.97/141.01	o -120301
147.87/141.85	c Got one! Elapsed wall clock time (in seconds):141.461
147.87/141.85	o -120407
148.67/142.68	c Got one! Elapsed wall clock time (in seconds):142.291
148.67/142.68	o -120513
149.88/143.79	c Got one! Elapsed wall clock time (in seconds):143.399
149.88/143.79	o -120619
150.78/144.62	c Got one! Elapsed wall clock time (in seconds):144.235
150.78/144.62	o -120620
151.58/145.45	c Got one! Elapsed wall clock time (in seconds):145.065
151.58/145.45	o -120726
152.38/146.27	c Got one! Elapsed wall clock time (in seconds):145.884
152.38/146.27	o -120832
153.19/147.09	c Got one! Elapsed wall clock time (in seconds):146.704
153.19/147.09	o -120938
154.08/147.94	c Got one! Elapsed wall clock time (in seconds):147.55
154.08/147.94	o -120939
155.08/148.94	c Got one! Elapsed wall clock time (in seconds):148.551
155.08/148.94	o -120941
156.32/150.05	c Got one! Elapsed wall clock time (in seconds):149.659
156.32/150.05	o -120942
157.32/151.03	c Got one! Elapsed wall clock time (in seconds):150.64
157.32/151.03	o -121048
158.20/151.99	c Got one! Elapsed wall clock time (in seconds):151.6
158.20/151.99	o -121049
159.20/152.97	c Got one! Elapsed wall clock time (in seconds):152.581
159.20/152.97	o -121156
160.20/153.95	c Got one! Elapsed wall clock time (in seconds):153.566
160.20/153.95	o -121261
162.12/155.07	c Got one! Elapsed wall clock time (in seconds):154.687
162.12/155.07	o -121262
164.10/156.07	c Got one! Elapsed wall clock time (in seconds):155.685
164.10/156.07	o -121369
166.08/157.02	c Got one! Elapsed wall clock time (in seconds):156.632
166.08/157.02	o -121476
167.02/157.97	c Got one! Elapsed wall clock time (in seconds):157.582
167.02/157.97	o -121583
168.02/158.90	c Got one! Elapsed wall clock time (in seconds):158.511
168.02/158.90	o -121690
168.92/159.81	c Got one! Elapsed wall clock time (in seconds):159.427
168.92/159.81	o -121797
171.25/162.03	c Got one! Elapsed wall clock time (in seconds):161.641
171.25/162.03	o -121904
172.44/163.23	c Got one! Elapsed wall clock time (in seconds):162.841
172.44/163.23	o -122011
173.35/164.17	c Got one! Elapsed wall clock time (in seconds):163.783
173.35/164.17	o -122118
174.25/165.08	c Got one! Elapsed wall clock time (in seconds):164.689
174.25/165.08	o -122119
175.14/165.99	c Got one! Elapsed wall clock time (in seconds):165.606
175.14/165.99	o -122226
176.13/166.96	c Got one! Elapsed wall clock time (in seconds):166.571
176.13/166.96	o -122227
177.13/167.95	c Got one! Elapsed wall clock time (in seconds):167.565
177.13/167.95	o -122334
179.37/170.06	c Got one! Elapsed wall clock time (in seconds):169.674
179.37/170.06	o -122335
180.57/171.22	c Got one! Elapsed wall clock time (in seconds):170.834
180.57/171.22	o -122442
181.48/172.14	c Got one! Elapsed wall clock time (in seconds):171.75
181.48/172.14	o -122548
182.38/173.06	c Got one! Elapsed wall clock time (in seconds):172.677
182.38/173.06	o -122655
183.27/173.93	c Got one! Elapsed wall clock time (in seconds):173.54
183.27/173.93	o -122656
184.27/174.98	c Got one! Elapsed wall clock time (in seconds):174.591
184.27/174.98	o -122663
186.70/177.26	c Got one! Elapsed wall clock time (in seconds):176.87
186.70/177.26	o -122770
187.90/178.47	c Got one! Elapsed wall clock time (in seconds):178.081
187.90/178.47	o -122772
189.00/179.54	c Got one! Elapsed wall clock time (in seconds):179.155
189.00/179.54	o -122879
190.00/180.56	c Got one! Elapsed wall clock time (in seconds):180.168
190.00/180.56	o -122986
191.10/181.67	c Got one! Elapsed wall clock time (in seconds):181.281
191.10/181.67	o -123091
192.55/182.91	c Got one! Elapsed wall clock time (in seconds):182.522
192.55/182.91	o -123093
193.66/184.02	c Got one! Elapsed wall clock time (in seconds):183.633
193.66/184.02	o -123200
194.66/185.04	c Got one! Elapsed wall clock time (in seconds):184.652
194.66/185.04	o -123307
195.66/186.04	c Got one! Elapsed wall clock time (in seconds):185.657
195.66/186.04	o -123415
196.88/187.14	c Got one! Elapsed wall clock time (in seconds):186.757
196.88/187.15	o -123523
197.89/188.19	c Got one! Elapsed wall clock time (in seconds):187.804
197.89/188.19	o -123631
198.89/189.14	c Got one! Elapsed wall clock time (in seconds):188.756
198.89/189.14	o -123738
199.89/190.19	c Got one! Elapsed wall clock time (in seconds):189.8
199.89/190.19	o -123739
200.89/191.18	c Got one! Elapsed wall clock time (in seconds):190.794
200.89/191.18	o -123847
201.89/192.15	c Got one! Elapsed wall clock time (in seconds):191.764
201.89/192.15	o -123955
203.21/193.33	c Got one! Elapsed wall clock time (in seconds):192.941
203.21/193.33	o -124062
204.21/194.30	c Got one! Elapsed wall clock time (in seconds):193.912
204.21/194.30	o -124063
205.20/195.34	c Got one! Elapsed wall clock time (in seconds):194.95
205.20/195.34	o -124064
206.20/196.37	c Got one! Elapsed wall clock time (in seconds):195.982
206.20/196.37	o -124172
207.31/197.44	c Got one! Elapsed wall clock time (in seconds):197.05
207.31/197.44	o -124280
208.31/198.41	c Got one! Elapsed wall clock time (in seconds):198.02
208.31/198.41	o -124387
209.41/199.55	c Got one! Elapsed wall clock time (in seconds):199.158
209.41/199.55	o -124392
210.77/200.76	c Got one! Elapsed wall clock time (in seconds):200.375
210.77/200.76	o -124393
211.87/201.85	c Got one! Elapsed wall clock time (in seconds):201.458
211.87/201.85	o -124502
212.97/202.91	c Got one! Elapsed wall clock time (in seconds):202.521
212.97/202.91	o -124607
214.08/204.03	c Got one! Elapsed wall clock time (in seconds):203.646
214.08/204.03	o -124608
215.08/205.09	c Got one! Elapsed wall clock time (in seconds):204.704
215.08/205.09	o -124609
217.54/206.37	c Got one! Elapsed wall clock time (in seconds):205.979
217.54/206.37	o -124718
219.74/207.44	c Got one! Elapsed wall clock time (in seconds):207.053
219.74/207.44	o -124826
221.72/208.49	c Got one! Elapsed wall clock time (in seconds):208.106
221.72/208.49	o -124931
223.48/209.56	c Got one! Elapsed wall clock time (in seconds):209.175
223.48/209.56	o -125039
224.58/210.63	c Got one! Elapsed wall clock time (in seconds):210.24
224.58/210.63	o -125040
226.03/211.92	c Got one! Elapsed wall clock time (in seconds):211.536
226.03/211.92	o -125148
227.03/212.99	c Got one! Elapsed wall clock time (in seconds):212.604
227.03/212.99	o -125256
228.14/214.07	c Got one! Elapsed wall clock time (in seconds):213.683
228.14/214.07	o -125364
229.24/215.15	c Got one! Elapsed wall clock time (in seconds):214.767
229.24/215.15	o -125473
230.24/216.17	c Got one! Elapsed wall clock time (in seconds):215.783
230.24/216.17	o -125474
231.24/217.19	c Got one! Elapsed wall clock time (in seconds):216.804
231.24/217.19	o -125475
233.00/218.54	c Got one! Elapsed wall clock time (in seconds):218.152
233.00/218.54	o -125582
239.13/224.42	c Got one! Elapsed wall clock time (in seconds):224.031
239.13/224.42	o -125583
424.46/396.31	c cleaning 4797 clauses out of 9593 with flag 11508/9593
635.47/597.55	c cleaning 5392 clauses out of 10784 with flag 24782/15581
793.68/745.32	c cleaning 6187 clauses out of 12376 with flag 46589/22565
869.90/810.00	c cleaning 7102 clauses out of 14203 with flag 62622/30579
955.51/880.70	c cleaning 8049 clauses out of 16101 with flag 80622/39579
1062.78/969.42	c cleaning 9023 clauses out of 18045 with flag 100608/49572
1170.59/1071.67	c cleaning 10014 clauses out of 20027 with flag 122618/60577
1311.66/1196.35	c cleaning 11002 clauses out of 22004 with flag 146600/72568
1402.82/1266.84	c cleaning 12000 clauses out of 24000 with flag 172698/85566
1535.59/1375.20	c cleaning 12972 clauses out of 26002 with flag 200702/99568
1721.60/1540.69	c cleaning 14018 clauses out of 28035 with flag 230712/114573
1914.78/1711.12	c cleaning 15017 clauses out of 30033 with flag 262745/130589
2158.11/1907.64	c cleaning 15984 clauses out of 31995 with flag 296703/147568
2456.81/2142.30	c cleaning 16998 clauses out of 34011 with flag 332703/165568
3255.70/2632.86	
3255.70/2632.86	Exception: java.lang.OutOfMemoryError thrown from the UncaughtExceptionHandler in thread "main"

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 (62868 MiB free)
  memory of node 1: 64465 MiB (63488 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4517912-1751539206/watcher-4517912-1751539206 -o /tmp/evaluation-result-4517912-1751539206/solver-4517912-1751539206 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751539206-73504 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4517912-1751539206.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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 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=73557, runsolver pid=73546

[startup+0.100074 s]*
/proc/loadavg: 0.66 1.69 2.93 9/320 73630
/proc/meminfo: memFree=129311580/131382120 swapFree=33010416/33010684
[pid=73557] ppid=73546 vsize=18930344 memory=50324 CPUtime=0.1 cores=1,3
/proc/73557/stat : 73557 (java) S 73546 73557 73492 0 -1 4194304 5546 0 75 0 6 4 0 0 20 0 18 0 69599405 19384672256 12581 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
/proc/73557/statm: 4732586 12581 4946 1 0 546861 0
[pid=73557/tid=73565] ppid=73546 vsize=18930344 memory=4026532124 CPUtime=0.06 cores=1,3
/proc/73557/task/73565/stat : 73565 (java) R 73546 73557 73492 0 -1 4194368 4497 0 75 0 4 2 0 0 20 0 18 0 69599408 19384672256 12581 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
[pid=73557/tid=73614] ppid=73546 vsize=18930344 memory=2576 CPUtime=0 cores=1,3
/proc/73557/task/73614/stat : 73614 (Finalizer) S 73546 73557 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69599413 19384672256 12613 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
[pid=73557/tid=73628] ppid=73546 vsize=18930344 memory=54096036103158 CPUtime=0 cores=1,3
/proc/73557/task/73628/stat : 73628 (Common-Cleaner) S 73546 73557 73492 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 69599414 19384672256 12613 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930344 KiB
Current children cumulated memory: 50324 KiB

[startup+0.215127 s]*
/proc/loadavg: 1.01 1.75 2.94 10/320 73630
/proc/meminfo: memFree=129302312/131382120 swapFree=33010416/33010684
[pid=73557] ppid=73546 vsize=18930384 memory=55888 CPUtime=0.27 cores=1,3
/proc/73557/stat : 73557 (java) S 73546 73557 73492 0 -1 4194304 6013 0 75 0 22 5 0 0 20 0 18 0 69599405 19384713216 13972 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
/proc/73557/statm: 4732596 13972 5362 1 0 547235 0
[pid=73557/tid=73565] ppid=73546 vsize=18930384 memory=4026728732 CPUtime=0.17 cores=1,3
/proc/73557/task/73565/stat : 73565 (java) R 73546 73557 73492 0 -1 4194368 4891 0 75 0 14 3 0 0 20 0 18 0 69599408 19384713216 13972 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
[pid=73557/tid=73614] ppid=73546 vsize=18930384 memory=2576 CPUtime=0 cores=1,3
/proc/73557/task/73614/stat : 73614 (Finalizer) S 73546 73557 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69599413 19384713216 13972 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
[pid=73557/tid=73628] ppid=73546 vsize=18930384 memory=54096036103158 CPUtime=0 cores=1,3
/proc/73557/task/73628/stat : 73628 (Common-Cleaner) S 73546 73557 73492 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 69599414 19384713216 13972 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55888 KiB

[startup+0.314588 s]*
/proc/loadavg: 1.01 1.75 2.94 10/320 73630
/proc/meminfo: memFree=129288580/131382120 swapFree=33010416/33010684
[pid=73557] ppid=73546 vsize=18930384 memory=62056 CPUtime=0.43 cores=1,3
/proc/73557/stat : 73557 (java) S 73546 73557 73492 0 -1 4194304 6534 0 75 0 37 6 0 0 20 0 18 0 69599405 19384713216 15514 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
/proc/73557/statm: 4732596 15514 5362 1 0 547745 0
[pid=73557/tid=73565] ppid=73546 vsize=18930384 memory=-6000919485608192360 CPUtime=0.25 cores=1,3
/proc/73557/task/73565/stat : 73565 (java) R 73546 73557 73492 0 -1 4194368 5046 0 75 0 22 3 0 0 20 0 18 0 69599408 19384713216 15514 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
[pid=73557/tid=73614] ppid=73546 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/73557/task/73614/stat : 73614 (Finalizer) S 73546 73557 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69599413 19384713216 15514 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
[pid=73557/tid=73628] ppid=73546 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/73557/task/73628/stat : 73628 (Common-Cleaner) S 73546 73557 73492 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 69599414 19384713216 15514 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 62056 KiB

[startup+0.700341 s]
/proc/loadavg: 1.01 1.75 2.94 11/320 73630
/proc/meminfo: memFree=129270940/131382120 swapFree=33010416/33010684
[pid=73557] ppid=73546 vsize=18930384 memory=97188 CPUtime=1.11 cores=1,3
/proc/73557/stat : 73557 (java) S 73546 73557 73492 0 -1 4194304 8761 0 75 0 103 8 0 0 20 0 18 0 69599405 19384713216 24297 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
/proc/73557/statm: 4732596 24297 5458 1 0 549204 0
[pid=73557/tid=73565] ppid=73546 vsize=18930384 memory=17920 CPUtime=0.58 cores=1,3
/proc/73557/task/73565/stat : 73565 (java) R 73546 73557 73492 0 -1 4194368 5207 0 75 0 54 4 0 0 20 0 18 0 69599408 19384713216 24297 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
[pid=73557/tid=73614] ppid=73546 vsize=18930384 memory=11264 CPUtime=0 cores=1,3
/proc/73557/task/73614/stat : 73614 (Finalizer) S 73546 73557 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69599413 19384713216 24297 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
[pid=73557/tid=73628] ppid=73546 vsize=18930384 memory=3200 CPUtime=0 cores=1,3
/proc/73557/task/73628/stat : 73628 (Common-Cleaner) S 73546 73557 73492 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 69599414 19384713216 24297 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 97188 KiB

[startup+1.50027 s]
/proc/loadavg: 1.01 1.75 2.94 9/324 73634
/proc/meminfo: memFree=129177116/131382120 swapFree=33010416/33010684
[pid=73557] ppid=73546 vsize=18996948 memory=108364 CPUtime=2.34 cores=1,3
/proc/73557/stat : 73557 (java) S 73546 73557 73492 0 -1 4194304 9474 0 75 0 224 10 0 0 20 0 19 0 69599405 19452874752 27091 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
/proc/73557/statm: 4749237 27091 5490 1 0 549646 0
[pid=73557/tid=73565] ppid=73546 vsize=18996948 memory=3200 CPUtime=1.29 cores=1,3
/proc/73557/task/73565/stat : 73565 (java) R 73546 73557 73492 0 -1 4194368 5334 0 75 0 124 5 0 0 20 0 19 0 69599408 19452874752 27091 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
[pid=73557/tid=73614] ppid=73546 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/73557/task/73614/stat : 73614 (Finalizer) S 73546 73557 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 69599413 19452874752 27091 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
[pid=73557/tid=73628] ppid=73546 vsize=18996948 memory=11264 CPUtime=0 cores=1,3
/proc/73557/task/73628/stat : 73628 (Common-Cleaner) S 73546 73557 73492 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 69599414 19452874752 27091 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
[pid=73557/tid=73634] ppid=73546 vsize=18996948 memory=14464 CPUtime=0 cores=1,3
/proc/73557/task/73634/stat : 73634 (Timer-0) S 73546 73557 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 69599484 19452874752 27091 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
Current children cumulated CPU time: 2.34 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 108364 KiB

[startup+3.10922 s]
/proc/loadavg: 1.01 1.75 2.94 6/324 73634
/proc/meminfo: memFree=129082236/131382120 swapFree=33010416/33010684
[pid=73557] ppid=73546 vsize=18996948 memory=129072 CPUtime=4.79 cores=1,3
/proc/73557/stat : 73557 (java) S 73546 73557 73492 0 -1 4194304 14504 0 75 0 468 11 0 0 20 0 19 0 69599405 19452874752 32268 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
/proc/73557/statm: 4749237 32268 5490 1 0 550653 0
[pid=73557/tid=73565] ppid=73546 vsize=18996948 memory=14464 CPUtime=2.9 cores=1,3
/proc/73557/task/73565/stat : 73565 (java) R 73546 73557 73492 0 -1 4194368 6755 0 75 0 284 6 0 0 20 0 19 0 69599408 19452874752 32268 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
[pid=73557/tid=73614] ppid=73546 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/73557/task/73614/stat : 73614 (Finalizer) S 73546 73557 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 69599413 19452874752 32268 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
[pid=73557/tid=73628] ppid=73546 vsize=18996948 memory=11264 CPUtime=0 cores=1,3
/proc/73557/task/73628/stat : 73628 (Common-Cleaner) S 73546 73557 73492 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 69599414 19452874752 32268 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
[pid=73557/tid=73634] ppid=73546 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/73557/task/73634/stat : 73634 (Timer-0) S 73546 73557 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 69599484 19452874752 32268 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
Current children cumulated CPU time: 4.79 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 129072 KiB

[startup+6.30035 s]
/proc/loadavg: 1.33 1.80 2.95 7/322 73698
/proc/meminfo: memFree=129040640/131382120 swapFree=33010416/33010684
[pid=73557] ppid=73546 vsize=18996948 memory=163688 CPUtime=8.66 cores=1,3
/proc/73557/stat : 73557 (java) S 73546 73557 73492 0 -1 4194304 16332 0 75 0 851 15 0 0 20 0 19 0 69599405 19452874752 40922 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
/proc/73557/statm: 4749237 40922 5490 1 0 551574 0
[pid=73557/tid=73565] ppid=73546 vsize=18996948 memory=0 CPUtime=6.05 cores=1,3
/proc/73557/task/73565/stat : 73565 (java) R 73546 73557 73492 0 -1 4194368 6821 0 75 0 596 9 0 0 20 0 19 0 69599408 19452874752 40922 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
[pid=73557/tid=73614] ppid=73546 vsize=18996948 memory=11264 CPUtime=0 cores=1,3
/proc/73557/task/73614/stat : 73614 (Finalizer) S 73546 73557 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 69599413 19452874752 40922 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
[pid=73557/tid=73628] ppid=73546 vsize=18996948 memory=3200 CPUtime=0 cores=1,3
/proc/73557/task/73628/stat : 73628 (Common-Cleaner) S 73546 73557 73492 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 69599414 19452874752 40922 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
[pid=73557/tid=73634] ppid=73546 vsize=18996948 memory=108364 CPUtime=0 cores=1,3
/proc/73557/task/73634/stat : 73634 (Timer-0) S 73546 73557 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 69599484 19452874752 40922 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
Current children cumulated CPU time: 8.66 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 163688 KiB

[startup+12.7004 s]
/proc/loadavg: 1.70 1.87 2.97 5/326 73767
/proc/meminfo: memFree=128727876/131382120 swapFree=33010416/33010684
[pid=73557] ppid=73546 vsize=19063512 memory=180204 CPUtime=16.11 cores=1,3
/proc/73557/stat : 73557 (java) S 73546 73557 73492 0 -1 4194304 23063 0 75 0 1594 17 0 0 20 0 20 0 69599405 19521036288 45051 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
/proc/73557/statm: 4765878 45051 5522 1 0 551863 0
[pid=73557/tid=73565] ppid=73546 vsize=19063512 memory=108364 CPUtime=12.4 cores=1,3
/proc/73557/task/73565/stat : 73565 (java) R 73546 73557 73492 0 -1 4194368 8234 0 75 0 1230 10 0 0 20 0 20 0 69599408 19521036288 45051 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
[pid=73557/tid=73614] ppid=73546 vsize=19063512 memory=180204 CPUtime=0 cores=1,3
/proc/73557/task/73614/stat : 73614 (Finalizer) S 73546 73557 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69599413 19521036288 45051 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
[pid=73557/tid=73628] ppid=73546 vsize=19063512 memory=180204 CPUtime=0 cores=1,3
/proc/73557/task/73628/stat : 73628 (Common-Cleaner) S 73546 73557 73492 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 69599414 19521036288 45051 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
[pid=73557/tid=73634] ppid=73546 vsize=19063512 memory=11264 CPUtime=0 cores=1,3
/proc/73557/task/73634/stat : 73634 (Timer-0) S 73546 73557 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69599484 19521036288 45051 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
Current children cumulated CPU time: 16.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 180204 KiB

[startup+25.5004 s]
/proc/loadavg: 2.29 1.99 3.00 5/327 73769
/proc/meminfo: memFree=128054456/131382120 swapFree=33010416/33010684
[pid=73557] ppid=73546 vsize=19063512 memory=198260 CPUtime=29.9 cores=1,3
/proc/73557/stat : 73557 (java) S 73546 73557 73492 0 -1 4194304 29350 0 75 0 2969 21 0 0 20 0 20 0 69599405 19521036288 49565 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
/proc/73557/statm: 4765878 49565 5522 1 0 553271 0
[pid=73557/tid=73565] ppid=73546 vsize=19063512 memory=180204 CPUtime=25.09 cores=1,3
/proc/73557/task/73565/stat : 73565 (java) R 73546 73557 73492 0 -1 4194368 8578 0 75 0 2499 10 0 0 20 0 20 0 69599408 19521036288 49565 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
[pid=73557/tid=73614] ppid=73546 vsize=19063512 memory=11264 CPUtime=0 cores=1,3
/proc/73557/task/73614/stat : 73614 (Finalizer) S 73546 73557 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69599413 19521036288 49565 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
[pid=73557/tid=73628] ppid=73546 vsize=19063512 memory=14464 CPUtime=0 cores=1,3
/proc/73557/task/73628/stat : 73628 (Common-Cleaner) S 73546 73557 73492 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 69599414 19521036288 49565 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
[pid=73557/tid=73634] ppid=73546 vsize=19063512 memory=17920 CPUtime=0 cores=1,3
/proc/73557/task/73634/stat : 73634 (Timer-0) S 73546 73557 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69599484 19521036288 49565 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
Current children cumulated CPU time: 29.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 198260 KiB

[startup+51.1134 s]
/proc/loadavg: 3.14 2.23 3.05 5/327 73837
/proc/meminfo: memFree=124750976/131382120 swapFree=33010416/33010684
[pid=73557] ppid=73546 vsize=19063512 memory=298952 CPUtime=56.19 cores=1,3
/proc/73557/stat : 73557 (java) S 73546 73557 73492 0 -1 4194304 31057 0 75 0 5596 23 0 0 20 0 20 0 69599405 19521036288 74738 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
/proc/73557/statm: 4765878 74738 5522 1 0 553271 0
[pid=73557/tid=73565] ppid=73546 vsize=19063512 memory=298952 CPUtime=50.36 cores=1,3
/proc/73557/task/73565/stat : 73565 (java) R 73546 73557 73492 0 -1 4194368 9503 0 75 0 5026 10 0 0 20 0 20 0 69599408 19521036288 74738 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
[pid=73557/tid=73614] ppid=73546 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/73557/task/73614/stat : 73614 (Finalizer) S 73546 73557 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69599413 19521036288 74738 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
[pid=73557/tid=73628] ppid=73546 vsize=19063512 memory=11264 CPUtime=0 cores=1,3
/proc/73557/task/73628/stat : 73628 (Common-Cleaner) S 73546 73557 73492 0 -1 4194368 60 0 0 0 0 0 0 0 20 0 20 0 69599414 19521036288 74738 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
[pid=73557/tid=73634] ppid=73546 vsize=19063512 memory=259960 CPUtime=0 cores=1,3

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

/proc/73557/task/73634/stat : 73634 (Timer-0) S 73546 73557 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69599484 19521036288 4071825 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
Current children cumulated CPU time: 3354 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16287300 KiB

[startup+2742.3 s]
/proc/loadavg: 5.19 4.98 4.61 6/326 74043
/proc/meminfo: memFree=85777240/131382120 swapFree=33010416/33010684
[pid=73557] ppid=73546 vsize=19063512 memory=16287296 CPUtime=3473.18 cores=1,3
/proc/73557/stat : 73557 (java) S 73546 73557 73492 0 -1 4194304 428266 0 75 0 346754 564 0 0 20 0 20 0 69599405 19521036288 4071824 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
/proc/73557/statm: 4765878 4071824 5554 1 0 4083879 0
[pid=73557/tid=73565] ppid=73546 vsize=19063512 memory=16287352 CPUtime=2217.35 cores=1,3
/proc/73557/task/73565/stat : 73565 (java) S 73546 73557 73492 0 -1 4194368 91271 0 75 0 221663 72 0 0 20 0 20 0 69599408 19521036288 4071824 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
[pid=73557/tid=73614] ppid=73546 vsize=19063512 memory=14464 CPUtime=0 cores=1,3
/proc/73557/task/73614/stat : 73614 (Finalizer) S 73546 73557 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69599413 19521036288 4071824 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
[pid=73557/tid=73628] ppid=73546 vsize=19063512 memory=16287296 CPUtime=0 cores=1,3
/proc/73557/task/73628/stat : 73628 (Common-Cleaner) S 73546 73557 73492 0 -1 4194368 1697 0 0 0 0 0 0 0 20 0 20 0 69599414 19521036288 4071824 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
[pid=73557/tid=73634] ppid=73546 vsize=19063512 memory=16287296 CPUtime=0 cores=1,3
/proc/73557/task/73634/stat : 73634 (Timer-0) S 73546 73557 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69599484 19521036288 4071824 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
Current children cumulated CPU time: 3473.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16287296 KiB

[startup+2759.78 s]
# the end of solver process 73557 was just reported to runsolver
# Child status: 1

# cumulated CPU time of all completed processes:  user=3502.09 s, system=5.70081 s

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

[startup+2752 s]*
/proc/loadavg: 5.16 4.98 4.61 6/326 74043
/proc/meminfo: memFree=85777248/131382120 swapFree=33010416/33010684
[pid=73557] ppid=73546 vsize=19063512 memory=16287296 CPUtime=3492.43 cores=1,3
/proc/73557/stat : 73557 (java) S 73546 73557 73492 0 -1 4194304 431423 0 75 0 348679 564 0 0 20 0 20 0 69599405 19521036288 4071824 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
/proc/73557/statm: 4765878 4071824 5554 1 0 4083879 0
[pid=73557/tid=73565] ppid=73546 vsize=19063512 memory=16287296 CPUtime=2217.35 cores=1,3
/proc/73557/task/73565/stat : 73565 (java) S 73546 73557 73492 0 -1 4194368 91271 0 75 0 221663 72 0 0 20 0 20 0 69599408 19521036288 4071824 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
[pid=73557/tid=73614] ppid=73546 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=1,3
/proc/73557/task/73614/stat : 73614 (Finalizer) S 73546 73557 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69599413 19521036288 4071824 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
[pid=73557/tid=73628] ppid=73546 vsize=19063512 memory=4788 CPUtime=0 cores=1,3
/proc/73557/task/73628/stat : 73628 (Common-Cleaner) S 73546 73557 73492 0 -1 4194368 1697 0 0 0 0 0 0 0 20 0 20 0 69599414 19521036288 4071824 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
[pid=73557/tid=73634] ppid=73546 vsize=19063512 memory=6900 CPUtime=0 cores=1,3
/proc/73557/task/73634/stat : 73634 (Timer-0) S 73546 73557 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69599484 19521036288 4071824 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
Current children cumulated CPU time: 3492.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16287296 KiB

[startup+2755.2 s]
/proc/loadavg: 5.16 4.98 4.61 6/326 74043
/proc/meminfo: memFree=85777248/131382120 swapFree=33010416/33010684
[pid=73557] ppid=73546 vsize=19063512 memory=16287296 CPUtime=3498.77 cores=1,3
/proc/73557/stat : 73557 (java) S 73546 73557 73492 0 -1 4194304 434295 0 75 0 349312 565 0 0 20 0 20 0 69599405 19521036288 4071824 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
/proc/73557/statm: 4765878 4071824 5554 1 0 4083879 0
[pid=73557/tid=73565] ppid=73546 vsize=19063512 memory=11264 CPUtime=2217.35 cores=1,3
/proc/73557/task/73565/stat : 73565 (java) S 73546 73557 73492 0 -1 4194368 91271 0 75 0 221663 72 0 0 20 0 20 0 69599408 19521036288 4071824 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
[pid=73557/tid=73614] ppid=73546 vsize=19063512 memory=16287296 CPUtime=0 cores=1,3
/proc/73557/task/73614/stat : 73614 (Finalizer) S 73546 73557 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69599413 19521036288 4071824 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
[pid=73557/tid=73628] ppid=73546 vsize=19063512 memory=-6000919481313225064 CPUtime=0 cores=1,3
/proc/73557/task/73628/stat : 73628 (Common-Cleaner) S 73546 73557 73492 0 -1 4194368 1697 0 0 0 0 0 0 0 20 0 20 0 69599414 19521036288 4071824 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
[pid=73557/tid=73634] ppid=73546 vsize=19063512 memory=14464 CPUtime=0 cores=1,3
/proc/73557/task/73634/stat : 73634 (Timer-0) S 73546 73557 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69599484 19521036288 4071824 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
Current children cumulated CPU time: 3498.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16287296 KiB

[startup+2756.8 s]
/proc/loadavg: 5.15 4.98 4.61 6/326 74043
/proc/meminfo: memFree=85777248/131382120 swapFree=33010416/33010684
[pid=73557] ppid=73546 vsize=19063512 memory=16287296 CPUtime=3501.96 cores=1,3
/proc/73557/stat : 73557 (java) S 73546 73557 73492 0 -1 4194304 434295 0 75 0 349631 565 0 0 20 0 20 0 69599405 19521036288 4071824 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
/proc/73557/statm: 4765878 4071824 5554 1 0 4083879 0
[pid=73557/tid=73565] ppid=73546 vsize=19063512 memory=17920 CPUtime=2217.35 cores=1,3
/proc/73557/task/73565/stat : 73565 (java) S 73546 73557 73492 0 -1 4194368 91271 0 75 0 221663 72 0 0 20 0 20 0 69599408 19521036288 4071824 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
[pid=73557/tid=73614] ppid=73546 vsize=19063512 memory=16287296 CPUtime=0 cores=1,3
/proc/73557/task/73614/stat : 73614 (Finalizer) S 73546 73557 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69599413 19521036288 4071824 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
[pid=73557/tid=73628] ppid=73546 vsize=19063512 memory=6724 CPUtime=0 cores=1,3
/proc/73557/task/73628/stat : 73628 (Common-Cleaner) S 73546 73557 73492 0 -1 4194368 1697 0 0 0 0 0 0 0 20 0 20 0 69599414 19521036288 4071824 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
[pid=73557/tid=73634] ppid=73546 vsize=19063512 memory=11255736 CPUtime=0 cores=1,3
/proc/73557/task/73634/stat : 73634 (Timer-0) S 73546 73557 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69599484 19521036288 4071824 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
Current children cumulated CPU time: 3501.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16287296 KiB

[startup+2758.4 s]
/proc/loadavg: 5.15 4.98 4.61 6/326 74043
/proc/meminfo: memFree=85777248/131382120 swapFree=33010416/33010684
[pid=73557] ppid=73546 vsize=19063512 memory=16287296 CPUtime=3505.13 cores=1,3
/proc/73557/stat : 73557 (java) S 73546 73557 73492 0 -1 4194304 434295 0 75 0 349948 565 0 0 20 0 20 0 69599405 19521036288 4071824 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
/proc/73557/statm: 4765878 4071824 5554 1 0 4083879 0
[pid=73557/tid=73565] ppid=73546 vsize=19063512 memory=16287296 CPUtime=2217.35 cores=1,3
/proc/73557/task/73565/stat : 73565 (java) S 73546 73557 73492 0 -1 4194368 91271 0 75 0 221663 72 0 0 20 0 20 0 69599408 19521036288 4071824 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
[pid=73557/tid=73614] ppid=73546 vsize=19063512 memory=1745800 CPUtime=0 cores=1,3
/proc/73557/task/73614/stat : 73614 (Finalizer) S 73546 73557 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69599413 19521036288 4071824 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
[pid=73557/tid=73628] ppid=73546 vsize=19063512 memory=16287296 CPUtime=0 cores=1,3
/proc/73557/task/73628/stat : 73628 (Common-Cleaner) S 73546 73557 73492 0 -1 4194368 1697 0 0 0 0 0 0 0 20 0 20 0 69599414 19521036288 4071824 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
[pid=73557/tid=73634] ppid=73546 vsize=19063512 memory=14464 CPUtime=0 cores=1,3
/proc/73557/task/73634/stat : 73634 (Timer-0) S 73546 73557 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69599484 19521036288 4071824 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
Current children cumulated CPU time: 3505.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16287296 KiB

[startup+2759.2 s]
/proc/loadavg: 5.15 4.98 4.61 6/326 74043
/proc/meminfo: memFree=85777248/131382120 swapFree=33010416/33010684
[pid=73557] ppid=73546 vsize=19063512 memory=16287296 CPUtime=3506.72 cores=1,3
/proc/73557/stat : 73557 (java) S 73546 73557 73492 0 -1 4194304 434295 0 75 0 350107 565 0 0 20 0 20 0 69599405 19521036288 4071824 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
/proc/73557/statm: 4765878 4071824 5554 1 0 4083879 0
[pid=73557/tid=73565] ppid=73546 vsize=19063512 memory=4252 CPUtime=2217.35 cores=1,3
/proc/73557/task/73565/stat : 73565 (java) S 73546 73557 73492 0 -1 4194368 91271 0 75 0 221663 72 0 0 20 0 20 0 69599408 19521036288 4071824 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
[pid=73557/tid=73614] ppid=73546 vsize=19063512 memory=14464 CPUtime=0 cores=1,3
/proc/73557/task/73614/stat : 73614 (Finalizer) S 73546 73557 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69599413 19521036288 4071824 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
[pid=73557/tid=73628] ppid=73546 vsize=19063512 memory=17920 CPUtime=0 cores=1,3
/proc/73557/task/73628/stat : 73628 (Common-Cleaner) S 73546 73557 73492 0 -1 4194368 1697 0 0 0 0 0 0 0 20 0 20 0 69599414 19521036288 4071824 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
[pid=73557/tid=73634] ppid=73546 vsize=19063512 memory=11264 CPUtime=0 cores=1,3
/proc/73557/task/73634/stat : 73634 (Timer-0) S 73546 73557 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69599484 19521036288 4071824 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
Current children cumulated CPU time: 3506.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16287296 KiB

[startup+2759.6 s]
/proc/loadavg: 5.15 4.98 4.61 6/326 74043
/proc/meminfo: memFree=85777248/131382120 swapFree=33010416/33010684
[pid=73557] ppid=73546 vsize=19063512 memory=16287296 CPUtime=3507.52 cores=1,3
/proc/73557/stat : 73557 (java) S 73546 73557 73492 0 -1 4194304 434295 0 75 0 350187 565 0 0 20 0 20 0 69599405 19521036288 4071824 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
/proc/73557/statm: 4765878 4071824 5554 1 0 4083879 0
[pid=73557/tid=73565] ppid=73546 vsize=19063512 memory=3200 CPUtime=2217.35 cores=1,3
/proc/73557/task/73565/stat : 73565 (java) S 73546 73557 73492 0 -1 4194368 91271 0 75 0 221663 72 0 0 20 0 20 0 69599408 19521036288 4071824 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
[pid=73557/tid=73614] ppid=73546 vsize=19063512 memory=4896 CPUtime=0 cores=1,3
/proc/73557/task/73614/stat : 73614 (Finalizer) S 73546 73557 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69599413 19521036288 4071824 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
[pid=73557/tid=73628] ppid=73546 vsize=19063512 memory=2888 CPUtime=0 cores=1,3
/proc/73557/task/73628/stat : 73628 (Common-Cleaner) S 73546 73557 73492 0 -1 4194368 1697 0 0 0 0 0 0 0 20 0 20 0 69599414 19521036288 4071824 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
[pid=73557/tid=73634] ppid=73546 vsize=19063512 memory=-6000919481313225064 CPUtime=0 cores=1,3
/proc/73557/task/73634/stat : 73634 (Timer-0) S 73546 73557 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69599484 19521036288 4071824 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
Current children cumulated CPU time: 3507.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16287296 KiB

[startup+2759.7 s]
/proc/loadavg: 5.15 4.98 4.61 6/326 74043
/proc/meminfo: memFree=85777248/131382120 swapFree=33010416/33010684
[pid=73557] ppid=73546 vsize=19063512 memory=16287296 CPUtime=3507.69 cores=1,3
/proc/73557/stat : 73557 (java) S 73546 73557 73492 0 -1 4194304 437067 0 75 0 350204 565 0 0 20 0 20 0 69599405 19521036288 4071824 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
/proc/73557/statm: 4765878 4071824 5554 1 0 4083879 0
[pid=73557/tid=73565] ppid=73546 vsize=19063512 memory=16287352 CPUtime=2217.35 cores=1,3
/proc/73557/task/73565/stat : 73565 (java) S 73546 73557 73492 0 -1 4194368 91271 0 75 0 221663 72 0 0 20 0 20 0 69599408 19521036288 4071824 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
[pid=73557/tid=73614] ppid=73546 vsize=19063512 memory=16287296 CPUtime=0 cores=1,3
/proc/73557/task/73614/stat : 73614 (Finalizer) S 73546 73557 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69599413 19521036288 4071824 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
[pid=73557/tid=73628] ppid=73546 vsize=19063512 memory=2888 CPUtime=0 cores=1,3
/proc/73557/task/73628/stat : 73628 (Common-Cleaner) S 73546 73557 73492 0 -1 4194368 1697 0 0 0 0 0 0 0 20 0 20 0 69599414 19521036288 4071824 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
[pid=73557/tid=73634] ppid=73546 vsize=19063512 memory=11264 CPUtime=0 cores=1,3
/proc/73557/task/73634/stat : 73634 (Timer-0) S 73546 73557 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69599484 19521036288 4071824 18446744073709551615 94574843248640 94574843252336 140724367014864 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94574843260152 94574843260944 94574860161024 140724367022465 140724367022566 140724367022566 140724367028168 0
Current children cumulated CPU time: 3507.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16287296 KiB

Child status: 1

Real time (s): 2759.78
CPU time (s): 3507.79
CPU user time (s): 3502.09
CPU system time (s): 5.70081
CPU usage (%): 127.104
Max. virtual memory (cumulated for all children) (KiB): 19067616
Max. memory (cumulated for all children) (KiB): 16287392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3502.09
system time used= 5.70081
maximum resident set size= 16287392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 437175
page faults= 75
swaps= 0
block input operations= 0
block output operations= 2944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 90901
involuntary context switches= 34012


# summary of solver processes directly reported to runsolver:
#   pid: 73557
#   total CPU time (s): 3507.79
#   total CPU user time (s): 3502.09
#   total CPU system time (s): 5.70081

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.6267 second user time and 24.5148 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2025-07-03 12:40:06
IDJOB=4517912
IDBENCH=176207
IDSOLVER=3363
FILE ID=nodeC002/4517912-1751539206
RUNJOBID= nodeC002-1751539206-73504
SLURM_JOB_ID= 9598696
Free space on /tmp= 432748 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/strongly_correlated/normalized-knapPI_3_5000_1000_4_-199683.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4517912-1751539206/watcher-4517912-1751539206 -o /tmp/evaluation-result-4517912-1751539206/solver-4517912-1751539206 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1751539206-73504 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4517912-1751539206.opb

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

MD5SUM BENCH= 1078a8a599ac53eb8b654d06ccbdcce3
RANDOM SEED=1970767242

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        129384500 kB
MemAvailable:   129894640 kB
Buffers:            2128 kB
Cached:          1315984 kB
SwapCached:           28 kB
Active:           369084 kB
Inactive:        1012912 kB
Active(anon):      75412 kB
Inactive(anon):     6404 kB
Active(file):     293672 kB
Inactive(file):  1006508 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              4040 kB
Writeback:             0 kB
AnonPages:         67116 kB
Mapped:           103404 kB
Shmem:             17932 kB
KReclaimable:      99176 kB
Slab:             182684 kB
SReclaimable:      99176 kB
SUnreclaim:        83508 kB
KernelStack:        4000 kB
PageTables:         2992 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     332984 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149288 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 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:      181064 kB
DirectMap2M:     8110080 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432744 MiB
End job on nodeC002 at 2025-07-03 13:26:06