Trace number 4518234

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-06SAT (TO)-182837 3600.58 3518.47

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated/
normalized-knapPI_1_500_10000_2_-399276.opb
MD5SUM8a3dc4c2b7829f560f37e3a7b2c16990
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-527203
Best CPU time to get the best result obtained on this benchmark0.054571
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1000
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 constraint1000
Maximum length of a constraint1000
Number of terms in the objective function 1000
Biggest coefficient in the objective function 9992
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 4908981
Number of bits of the sum of numbers in the objective function 23
Biggest number in a constraint 49898
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 5093718
Number of bits of the biggest sum of numbers23
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.13/0.16	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.13/0.16	c This is free software under the dual EPL/GNU LGPL licenses.
0.13/0.16	c See www.sat4j.org for details.
0.13/0.18	c version PB25.v20250606
0.13/0.20	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.20	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.20	c java.vm.version	22.0.1+8-16
0.13/0.20	c java.vm.vendor	Oracle Corporation
0.13/0.20	c sun.arch.data.model	64
0.13/0.20	c java.version		22.0.1
0.13/0.20	c os.name		Linux
0.13/0.20	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.13/0.20	c os.arch		amd64
0.13/0.21	c Free memory 		2104792832
0.13/0.21	c Max memory 		16282288128
0.13/0.21	c Total memory 		2113929216
0.13/0.22	c Number of processors 	2
0.32/0.31	c Pseudo Boolean Optimization by upper bound
0.32/0.31	c --- Begin Solver configuration ---
0.32/0.31	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.32/0.31	c Learn all clauses as in MiniSAT
0.32/0.31	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.32/0.31	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.32/0.31	c Expensive reason simplification
0.32/0.31	c Glucose 2.1 dynamic restart strategy
0.32/0.31	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.32/0.31	c timeout=2147483s
0.32/0.31	c DB Simplification allowed=false
0.32/0.31	c Listener: none
0.32/0.31	c --- End Solver configuration ---
0.32/0.31	c solving HOME/instance-4518234-1751542747.opb
0.32/0.31	c reading problem ... 
0.32/0.32	c  objective function found
0.48/0.40	c ... done. Wall clock time 0.08s.
0.48/0.40	c declared #vars     1000
0.48/0.40	c #constraints  1
0.48/0.40	c constraints type 
0.48/0.40	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
0.48/0.40	c 1 constraints processed.
0.48/0.42	c objective function length is 1000 literals
0.66/0.47	c SATISFIABLE
0.66/0.47	c OPTIMIZING...
0.66/0.47	c Got one! Elapsed wall clock time (in seconds):0.155
0.66/0.47	o -97082
0.66/0.50	c Got one! Elapsed wall clock time (in seconds):0.19
0.66/0.50	o -98872
0.66/0.52	c Got one! Elapsed wall clock time (in seconds):0.212
0.66/0.52	o -100838
0.83/0.54	c Got one! Elapsed wall clock time (in seconds):0.229
0.83/0.54	o -101630
0.83/0.59	c Got one! Elapsed wall clock time (in seconds):0.274
0.83/0.59	o -102179
0.83/0.60	c Got one! Elapsed wall clock time (in seconds):0.284
0.83/0.60	o -102213
0.99/0.62	c Got one! Elapsed wall clock time (in seconds):0.306
0.99/0.62	o -105092
0.99/0.69	c Got one! Elapsed wall clock time (in seconds):0.373
0.99/0.69	o -107063
0.99/0.69	c Got one! Elapsed wall clock time (in seconds):0.38
0.99/0.69	o -107635
1.16/0.70	c Got one! Elapsed wall clock time (in seconds):0.386
1.16/0.70	o -109601
1.16/0.70	c Got one! Elapsed wall clock time (in seconds):0.392
1.16/0.70	o -110393
1.16/0.72	c Got one! Elapsed wall clock time (in seconds):0.408
1.16/0.72	o -110517
1.16/0.74	c Got one! Elapsed wall clock time (in seconds):0.426
1.16/0.74	o -111982
1.16/0.76	c Got one! Elapsed wall clock time (in seconds):0.446
1.16/0.76	o -113275
1.16/0.77	c Got one! Elapsed wall clock time (in seconds):0.461
1.16/0.77	o -115885
1.16/0.79	c Got one! Elapsed wall clock time (in seconds):0.474
1.16/0.79	o -116677
1.56/0.99	c Got one! Elapsed wall clock time (in seconds):0.676
1.56/0.99	o -117226
1.97/1.15	c Got one! Elapsed wall clock time (in seconds):0.839
1.97/1.15	o -117778
2.15/1.20	c Got one! Elapsed wall clock time (in seconds):0.889
2.15/1.20	o -119256
2.15/1.27	c Got one! Elapsed wall clock time (in seconds):0.959
2.15/1.27	o -119468
2.15/1.28	c Got one! Elapsed wall clock time (in seconds):0.967
2.15/1.28	o -121631
2.15/1.28	c Got one! Elapsed wall clock time (in seconds):0.972
2.15/1.28	o -123774
2.15/1.29	c Got one! Elapsed wall clock time (in seconds):0.976
2.15/1.29	o -126532
2.35/1.34	c Got one! Elapsed wall clock time (in seconds):1.024
2.35/1.34	o -128108
2.35/1.34	c Got one! Elapsed wall clock time (in seconds):1.029
2.35/1.34	o -128938
2.35/1.35	c Got one! Elapsed wall clock time (in seconds):1.04
2.35/1.35	o -129253
2.35/1.36	c Got one! Elapsed wall clock time (in seconds):1.044
2.35/1.36	o -132151
2.55/1.46	c Got one! Elapsed wall clock time (in seconds):1.149
2.55/1.46	o -132770
2.94/1.70	c Got one! Elapsed wall clock time (in seconds):1.384
2.94/1.70	o -133124
3.14/1.74	c Got one! Elapsed wall clock time (in seconds):1.431
3.14/1.74	o -133158
5.17/3.17	c Got one! Elapsed wall clock time (in seconds):2.856
5.17/3.17	o -134392
5.93/3.78	c cleaning 3824 clauses out of 7647 with flag 2087/7647
6.07/3.84	c Got one! Elapsed wall clock time (in seconds):3.524
6.07/3.84	o -135033
7.87/5.42	c cleaning 4528 clauses out of 9056 with flag 11077/12880
9.21/6.41	c Got one! Elapsed wall clock time (in seconds):6.094
9.21/6.41	o -136070
9.21/6.42	c Got one! Elapsed wall clock time (in seconds):6.104
9.21/6.42	o -136827
9.53/6.72	c Got one! Elapsed wall clock time (in seconds):6.404
9.53/6.72	o -137767
9.53/6.72	c Got one! Elapsed wall clock time (in seconds):6.413
9.53/6.72	o -139375
9.64/6.81	c Got one! Elapsed wall clock time (in seconds):6.503
9.64/6.82	o -140925
10.07/7.19	c Got one! Elapsed wall clock time (in seconds):6.875
10.07/7.19	o -141138
10.37/7.45	c cleaning 5992 clauses out of 11986 with flag 2144/20338
12.16/9.04	c cleaning 5992 clauses out of 11995 with flag 15025/26339
14.58/10.90	c cleaning 6504 clauses out of 13007 with flag 29815/33343
15.85/11.94	c Got one! Elapsed wall clock time (in seconds):11.63
15.85/11.94	o -144316
15.85/11.99	c Got one! Elapsed wall clock time (in seconds):11.675
15.85/11.99	o -144567
16.05/12.04	c Got one! Elapsed wall clock time (in seconds):11.731
16.05/12.04	o -144702
16.54/12.54	c cleaning 6314 clauses out of 12636 with flag 4180/39476
18.93/14.91	c cleaning 6159 clauses out of 12325 with flag 16994/45479
21.20/17.07	c cleaning 6579 clauses out of 13161 with flag 31949/52474
23.48/19.35	c cleaning 7289 clauses out of 14582 with flag 48957/60474
24.38/20.28	c Got one! Elapsed wall clock time (in seconds):19.967
24.38/20.28	o -146520
24.48/20.30	c Got one! Elapsed wall clock time (in seconds):19.986
24.48/20.30	o -146593
24.48/20.32	c Got one! Elapsed wall clock time (in seconds):20.006
24.48/20.32	o -146642
25.72/21.37	c cleaning 6515 clauses out of 13030 with flag 4344/66211
26.43/22.10	c Got one! Elapsed wall clock time (in seconds):21.788
26.43/22.10	o -146828
26.62/22.23	c Got one! Elapsed wall clock time (in seconds):21.916
26.62/22.23	o -148762
28.32/23.92	c cleaning 6103 clauses out of 12206 with flag 8703/71902
30.22/25.85	c cleaning 6045 clauses out of 12096 with flag 21871/77895
33.15/28.54	c cleaning 6534 clauses out of 13078 with flag 37466/84922
36.05/31.40	c cleaning 7258 clauses out of 14519 with flag 55406/92897
38.38/33.57	c Got one! Elapsed wall clock time (in seconds):33.259
38.38/33.57	o -149072
38.68/33.80	c Got one! Elapsed wall clock time (in seconds):33.491
38.68/33.80	o -150157
39.18/34.31	c Got one! Elapsed wall clock time (in seconds):33.997
39.18/34.31	o -150885
39.58/34.73	c Got one! Elapsed wall clock time (in seconds):34.414
39.58/34.73	o -152614
41.77/36.96	c cleaning 9814 clauses out of 19630 with flag 9569/105266
45.00/39.88	c cleaning 7907 clauses out of 15818 with flag 22602/111268
47.66/42.47	c cleaning 7453 clauses out of 14907 with flag 38454/118264
52.08/46.61	c cleaning 7726 clauses out of 15454 with flag 57428/126264
57.06/51.32	c cleaning 8364 clauses out of 16731 with flag 78520/135267
61.46/55.75	c cleaning 9183 clauses out of 18365 with flag 103459/145265
67.32/61.39	c cleaning 10089 clauses out of 20180 with flag 131825/156263
67.72/61.75	c Got one! Elapsed wall clock time (in seconds):61.439
67.72/61.75	o -152849
69.15/62.97	c cleaning 7586 clauses out of 15177 with flag 8411/161349
70.37/64.19	c Got one! Elapsed wall clock time (in seconds):63.878
70.37/64.19	o -152876
70.56/64.39	c cleaning 6544 clauses out of 13091 with flag 2095/166849
70.86/64.64	c Got one! Elapsed wall clock time (in seconds):64.333
70.86/64.64	o -152978
71.28/65.03	c Got one! Elapsed wall clock time (in seconds):64.717
71.28/65.03	o -153170
71.89/65.67	c cleaning 6420 clauses out of 12846 with flag 6358/173148
74.55/68.24	c cleaning 6202 clauses out of 12417 with flag 19380/179139
76.33/70.07	c cleaning 6608 clauses out of 13217 with flag 34707/186141
78.58/72.25	c cleaning 7306 clauses out of 14611 with flag 51733/194143
82.61/76.10	c cleaning 8151 clauses out of 16303 with flag 71523/203141
86.29/79.75	c cleaning 9076 clauses out of 18151 with flag 94507/213140
90.31/83.65	c cleaning 10040 clauses out of 20082 with flag 119454/224147
94.79/87.91	c cleaning 11022 clauses out of 22044 with flag 145185/236149
101.26/93.12	c cleaning 12007 clauses out of 24013 with flag 174153/249140
108.00/99.83	c cleaning 13003 clauses out of 26009 with flag 205771/263143
114.16/106.10	c cleaning 13998 clauses out of 28003 with flag 239352/278140
115.62/107.34	c Got one! Elapsed wall clock time (in seconds):107.028
115.62/107.34	o -153310
116.23/107.97	c cleaning 9669 clauses out of 19346 with flag 4205/283481
118.02/109.73	c cleaning 7835 clauses out of 15676 with flag 17789/289480
118.82/110.52	c Got one! Elapsed wall clock time (in seconds):110.208
118.82/110.52	o -153325
119.93/111.66	c cleaning 6566 clauses out of 13133 with flag 4171/294772
121.93/113.61	c cleaning 6275 clauses out of 12564 with flag 17251/300769
124.53/116.11	c cleaning 6641 clauses out of 13302 with flag 32719/307782
126.81/118.35	c Got one! Elapsed wall clock time (in seconds):118.043
126.81/118.35	o -156297
128.62/120.15	c Got one! Elapsed wall clock time (in seconds):119.835
128.62/120.15	o -157277
129.11/120.60	c cleaning 9790 clauses out of 19594 with flag 2362/320715
131.33/122.75	c cleaning 7901 clauses out of 15804 with flag 15972/326715
133.64/125.05	c cleaning 7455 clauses out of 14914 with flag 32052/333726
137.51/128.90	c cleaning 7724 clauses out of 15449 with flag 50386/341716
141.38/132.60	c cleaning 8362 clauses out of 16724 with flag 71160/350715
142.63/133.85	c Got one! Elapsed wall clock time (in seconds):133.539
142.63/133.85	o -158164
143.44/134.67	c cleaning 7136 clauses out of 14284 with flag 5131/356637
145.73/136.79	c cleaning 6567 clauses out of 13150 with flag 19490/362639
146.73/137.76	c Got one! Elapsed wall clock time (in seconds):137.452
146.73/137.76	o -159804
147.34/138.37	c cleaning 6078 clauses out of 12184 with flag 4976/368240
149.15/140.19	c cleaning 6051 clauses out of 12109 with flag 19563/374243
151.21/142.17	c cleaning 6521 clauses out of 13055 with flag 35987/381240
154.81/145.53	c cleaning 7273 clauses out of 14545 with flag 55955/389251
158.18/148.95	c cleaning 8132 clauses out of 16263 with flag 78359/398242
163.41/153.92	c cleaning 9063 clauses out of 18130 with flag 103814/408241
168.64/158.95	c cleaning 10030 clauses out of 20065 with flag 133164/419239
175.06/165.12	c cleaning 11017 clauses out of 22036 with flag 166414/431240
180.89/170.76	c cleaning 12007 clauses out of 24020 with flag 200246/444241
181.39/171.25	c Got one! Elapsed wall clock time (in seconds):170.936
181.39/171.25	o -159977
181.39/171.29	c Got one! Elapsed wall clock time (in seconds):170.978
181.39/171.29	o -160027
181.52/171.36	c Got one! Elapsed wall clock time (in seconds):171.052
181.52/171.36	o -160098
182.46/172.24	c cleaning 8907 clauses out of 17814 with flag 6186/450042
184.27/174.04	c cleaning 7444 clauses out of 14905 with flag 18884/456040
186.68/175.65	c Got one! Elapsed wall clock time (in seconds):175.34
186.68/175.65	o -160102
188.47/177.48	c cleaning 8822 clauses out of 17643 with flag 10452/466222
190.47/179.36	c cleaning 7409 clauses out of 14821 with flag 23663/472222
192.37/181.21	c cleaning 7202 clauses out of 14412 with flag 38510/479222
195.44/184.29	c cleaning 7600 clauses out of 15210 with flag 55278/487222
198.51/187.36	c cleaning 8305 clauses out of 16610 with flag 75261/496222
202.40/191.21	c cleaning 9158 clauses out of 18318 with flag 97252/506235
208.31/196.95	c cleaning 10075 clauses out of 20149 with flag 123745/517224
214.36/202.77	c cleaning 11035 clauses out of 22072 with flag 150128/529222
220.45/208.65	c cleaning 12021 clauses out of 24043 with flag 178470/542228
226.24/214.17	c cleaning 13006 clauses out of 26015 with flag 208651/556221
233.46/221.19	c cleaning 14020 clauses out of 28039 with flag 241618/571251
241.98/229.53	c cleaning 14991 clauses out of 29993 with flag 275198/587225
243.87/231.47	c Got one! Elapsed wall clock time (in seconds):231.154
243.87/231.47	o -160457
244.07/231.61	c Got one! Elapsed wall clock time (in seconds):231.298
244.07/231.61	o -160566
244.41/231.89	c Got one! Elapsed wall clock time (in seconds):231.58
244.41/231.89	o -160580
244.60/231.94	c Got one! Elapsed wall clock time (in seconds):231.627
244.60/231.94	o -160828
245.29/232.61	c cleaning 10771 clauses out of 21567 with flag 2116/593790
247.39/234.76	c cleaning 8397 clauses out of 16799 with flag 15223/599793
250.09/237.37	c cleaning 7695 clauses out of 15399 with flag 30166/606790
252.68/239.95	c cleaning 7846 clauses out of 15704 with flag 47866/614790
253.80/241.06	c Got one! Elapsed wall clock time (in seconds):240.749
253.80/241.06	o -161255
253.90/241.14	c Got one! Elapsed wall clock time (in seconds):240.829
253.90/241.14	o -162522
254.48/241.56	c Got one! Elapsed wall clock time (in seconds):241.253
254.48/241.56	o -162901
255.16/242.24	c cleaning 6778 clauses out of 13577 with flag 2145/620509
257.34/244.42	c cleaning 6389 clauses out of 12799 with flag 15237/626509
259.78/246.75	c cleaning 6699 clauses out of 13413 with flag 30186/633512
262.65/249.61	c cleaning 7355 clauses out of 14712 with flag 48082/641510
266.09/253.10	c cleaning 8178 clauses out of 16357 with flag 68077/650510
270.76/257.51	c cleaning 9085 clauses out of 18178 with flag 90299/660509
275.05/261.80	c cleaning 10049 clauses out of 20099 with flag 115999/671515
278.72/265.33	c Got one! Elapsed wall clock time (in seconds):265.016
278.72/265.33	o -162926
278.72/265.36	c Got one! Elapsed wall clock time (in seconds):265.046
278.72/265.36	o -163610
278.72/265.39	c Got one! Elapsed wall clock time (in seconds):265.08
278.72/265.39	o -165552
278.86/265.42	c Got one! Elapsed wall clock time (in seconds):265.109
278.86/265.42	o -165953
279.99/266.58	c Got one! Elapsed wall clock time (in seconds):266.271
279.99/266.58	o -167761
281.89/268.40	c cleaning 12421 clauses out of 24845 with flag 6736/686310
283.34/269.78	c Got one! Elapsed wall clock time (in seconds):269.463
283.34/269.78	o -169401
284.25/270.68	c cleaning 8903 clauses out of 17819 with flag 4654/691705
286.34/272.72	c cleaning 7452 clauses out of 14910 with flag 18185/697699
289.65/275.13	c cleaning 7231 clauses out of 14461 with flag 33710/704702
293.06/278.47	c cleaning 7611 clauses out of 15228 with flag 51845/712700
296.13/281.58	c cleaning 8306 clauses out of 16617 with flag 72174/721700
299.90/285.34	c cleaning 9156 clauses out of 18319 with flag 94284/731708
304.32/289.71	c cleaning 10077 clauses out of 20159 with flag 120176/742704
310.14/295.42	c cleaning 11045 clauses out of 22092 with flag 147784/754714
318.08/303.15	c cleaning 12019 clauses out of 24040 with flag 178049/767707
326.46/311.32	c cleaning 13003 clauses out of 26014 with flag 212161/781700
335.87/320.64	c cleaning 14017 clauses out of 28033 with flag 251321/796722
343.92/328.29	c cleaning 14997 clauses out of 29996 with flag 289443/812702
353.50/337.61	c cleaning 16002 clauses out of 32004 with flag 328023/829707
364.53/348.45	c cleaning 16994 clauses out of 33994 with flag 370243/847699
374.60/358.34	c cleaning 18007 clauses out of 36014 with flag 415996/866713
383.95/367.24	c cleaning 18996 clauses out of 37995 with flag 461607/886701
386.74/369.93	c Got one! Elapsed wall clock time (in seconds):369.618
386.74/369.93	o -169446
386.83/370.04	c Got one! Elapsed wall clock time (in seconds):369.725
386.83/370.04	o -170053
386.83/370.08	c Got one! Elapsed wall clock time (in seconds):369.768
386.83/370.08	o -170766
386.93/370.10	c Got one! Elapsed wall clock time (in seconds):369.793
386.93/370.11	o -172440
386.93/370.13	c Got one! Elapsed wall clock time (in seconds):369.815
386.93/370.13	o -174861
387.10/370.21	c Got one! Elapsed wall clock time (in seconds):369.895
387.10/370.21	o -176632
387.10/370.25	c Got one! Elapsed wall clock time (in seconds):369.936
387.10/370.25	o -177255
389.20/372.31	c cleaning 15674 clauses out of 31349 with flag 10722/899051
391.75/374.72	c cleaning 10849 clauses out of 21698 with flag 23437/905074
393.43/376.48	c Got one! Elapsed wall clock time (in seconds):376.173
393.43/376.48	o -177563
395.95/378.82	c cleaning 10523 clauses out of 21045 with flag 11063/915270
397.83/380.74	c cleaning 8248 clauses out of 16510 with flag 24125/921258
400.31/383.27	c cleaning 7609 clauses out of 15262 with flag 39194/928258
403.51/386.34	c cleaning 7821 clauses out of 15653 with flag 56905/936258
407.10/389.90	c cleaning 8417 clauses out of 16833 with flag 76964/945259
412.01/394.80	c cleaning 9206 clauses out of 18416 with flag 99162/955259
417.29/400.02	c cleaning 10101 clauses out of 20210 with flag 124283/966259
422.69/405.31	c cleaning 11052 clauses out of 22108 with flag 151368/978258
428.49/410.94	c cleaning 12030 clauses out of 24060 with flag 181561/991262
435.47/417.77	c cleaning 13009 clauses out of 26026 with flag 212600/1005258
444.14/426.07	c cleaning 14006 clauses out of 28017 with flag 246658/1020258
451.46/433.15	c cleaning 15010 clauses out of 30020 with flag 281862/1036267
461.58/442.91	c cleaning 16002 clauses out of 32003 with flag 319670/1053260
472.62/452.44	c cleaning 17000 clauses out of 34001 with flag 359985/1071260
484.68/464.27	c cleaning 17999 clauses out of 36000 with flag 403391/1090259
498.84/478.20	c cleaning 19000 clauses out of 38000 with flag 450811/1110258
517.23/496.44	c cleaning 20000 clauses out of 40001 with flag 503165/1131259
531.52/510.24	c cleaning 20999 clauses out of 42000 with flag 555022/1153258
544.77/523.09	c cleaning 22004 clauses out of 44011 with flag 605313/1176268
561.84/539.77	c cleaning 22993 clauses out of 45998 with flag 658448/1200259
578.86/556.45	c cleaning 24005 clauses out of 48010 with flag 716579/1225264
597.24/574.52	c cleaning 25000 clauses out of 50003 with flag 774219/1251262
599.48/576.57	c Got one! Elapsed wall clock time (in seconds):576.261
599.48/576.57	o -177673
600.09/577.11	c cleaning 15074 clauses out of 30164 with flag 2201/1256423
602.48/579.60	c cleaning 10530 clauses out of 21070 with flag 15428/1262403
606.18/583.26	c cleaning 8765 clauses out of 17535 with flag 31588/1269398
609.97/586.98	c cleaning 8388 clauses out of 16779 with flag 51031/1277407
613.48/590.49	c cleaning 8703 clauses out of 17405 with flag 70997/1286421
618.09/595.02	c cleaning 9341 clauses out of 18683 with flag 96016/1296402
622.37/599.32	c cleaning 10165 clauses out of 20348 with flag 122345/1307408
627.58/604.41	c cleaning 11086 clauses out of 22177 with flag 148030/1319402
633.89/610.79	c cleaning 12042 clauses out of 24087 with flag 176715/1332398
641.48/618.13	c cleaning 13022 clauses out of 26046 with flag 210727/1346399
648.44/624.92	c cleaning 14010 clauses out of 28024 with flag 244581/1361399
657.92/633.09	c cleaning 15001 clauses out of 30013 with flag 279994/1377398
662.30/637.40	c Got one! Elapsed wall clock time (in seconds):637.085
662.30/637.40	o -177979
662.30/637.49	c Got one! Elapsed wall clock time (in seconds):637.18
662.30/637.49	o -180127
662.40/637.52	c Got one! Elapsed wall clock time (in seconds):637.21
662.40/637.52	o -181977
665.45/640.30	c cleaning 14143 clauses out of 28299 with flag 10907/1390685
667.94/642.89	c cleaning 10076 clauses out of 20160 with flag 24425/1396689
670.39/645.26	c cleaning 8527 clauses out of 17072 with flag 39560/1403677
673.21/648.07	c cleaning 8264 clauses out of 16544 with flag 57059/1411676
676.00/650.83	c cleaning 8639 clauses out of 17280 with flag 76504/1420676
680.84/655.60	c cleaning 9332 clauses out of 18664 with flag 98670/1430699
685.22/659.93	c cleaning 10154 clauses out of 20309 with flag 123161/1441676
691.21/665.72	c cleaning 11078 clauses out of 22157 with flag 149279/1453678
697.33/671.84	c cleaning 12039 clauses out of 24079 with flag 179007/1466678
705.04/679.20	c cleaning 13016 clauses out of 26038 with flag 210162/1480676
711.79/685.89	c cleaning 14010 clauses out of 28026 with flag 243702/1495680
720.41/694.39	c cleaning 15012 clauses out of 30024 with flag 279440/1511688
729.82/703.56	c cleaning 16005 clauses out of 32012 with flag 318504/1528688
739.61/713.07	c cleaning 16998 clauses out of 33996 with flag 361302/1546677
751.80/725.09	c cleaning 18013 clauses out of 36025 with flag 404491/1565704
762.61/735.50	c cleaning 18996 clauses out of 37992 with flag 450771/1585684
772.59/745.06	c Got one! Elapsed wall clock time (in seconds):744.747
772.59/745.06	o -182056
775.14/747.67	c cleaning 20382 clauses out of 40767 with flag 10811/1607455
777.80/750.13	c cleaning 13194 clauses out of 26388 with flag 23891/1613458
780.89/753.27	c cleaning 10095 clauses out of 20191 with flag 39947/1620455
784.64/756.91	c cleaning 9054 clauses out of 18108 with flag 57676/1628467
788.97/761.14	c cleaning 9005 clauses out of 18046 with flag 77799/1637459
793.24/765.21	c cleaning 9519 clauses out of 19042 with flag 100398/1647460
797.64/769.42	c cleaning 10256 clauses out of 20518 with flag 125038/1658455
803.63/775.29	c cleaning 11131 clauses out of 22261 with flag 152141/1670454
810.18/781.74	c cleaning 12063 clauses out of 24130 with flag 181973/1683454
818.11/789.55	c cleaning 13034 clauses out of 26071 with flag 214831/1697458
825.95/797.26	c cleaning 14017 clauses out of 28042 with flag 252044/1712463
836.04/807.05	c cleaning 15006 clauses out of 30016 with flag 294013/1728454
842.77/812.39	c Got one! Elapsed wall clock time (in seconds):812.074
842.77/812.39	o -182107
846.14/815.76	c cleaning 15960 clauses out of 31933 with flag 10799/1745377
849.72/819.21	c cleaning 10973 clauses out of 21965 with flag 23937/1751369
852.13/821.65	c cleaning 8990 clauses out of 17991 with flag 39738/1758368
856.04/825.51	c cleaning 8487 clauses out of 17002 with flag 57330/1766369
859.86/829.39	c cleaning 8753 clauses out of 17516 with flag 77690/1775370
864.58/833.94	c cleaning 9379 clauses out of 18762 with flag 100610/1785369
869.72/838.91	c cleaning 10198 clauses out of 20397 with flag 125159/1796383
876.18/845.21	c cleaning 11093 clauses out of 22187 with flag 152641/1808371
882.10/851.08	c cleaning 12049 clauses out of 24099 with flag 181929/1821376
888.85/857.65	c cleaning 13020 clauses out of 26043 with flag 212822/1835369
896.21/864.94	c cleaning 14011 clauses out of 28022 with flag 247029/1850368
905.62/874.18	c cleaning 15004 clauses out of 30012 with flag 282756/1866369
915.24/883.68	c cleaning 16005 clauses out of 32012 with flag 321139/1883373
926.47/894.50	c cleaning 17006 clauses out of 34013 with flag 362189/1901379
937.89/905.87	c cleaning 18002 clauses out of 36006 with flag 408081/1920378
952.76/920.48	c cleaning 18996 clauses out of 37993 with flag 454542/1940367
967.32/934.75	c cleaning 19999 clauses out of 39998 with flag 502870/1961368
981.76/948.83	c cleaning 20994 clauses out of 41998 with flag 552237/1983367
999.60/966.27	c cleaning 22000 clauses out of 44004 with flag 605913/2006367
1018.94/985.29	c cleaning 23003 clauses out of 46005 with flag 666185/2030368
1039.19/1005.12	c cleaning 24001 clauses out of 48001 with flag 731718/2055367
1061.51/1025.81	c cleaning 24996 clauses out of 50001 with flag 794107/2081368
1083.10/1046.90	c cleaning 26007 clauses out of 52013 with flag 860260/2108376
1101.26/1064.95	c cleaning 26992 clauses out of 54002 with flag 928065/2136372
1124.42/1087.79	c cleaning 28016 clauses out of 56032 with flag 1000884/2165394
1147.80/1110.52	c cleaning 28995 clauses out of 57989 with flag 1078026/2195367
1177.54/1139.79	c cleaning 30003 clauses out of 60014 with flag 1154589/2226387
1208.04/1169.97	c cleaning 31002 clauses out of 62004 with flag 1243285/2258380
1234.57/1195.98	c cleaning 31993 clauses out of 63990 with flag 1329909/2291368
1262.01/1222.85	c cleaning 32997 clauses out of 65997 with flag 1419847/2325368
1294.10/1254.55	c cleaning 34005 clauses out of 68009 with flag 1509051/2360377
1325.36/1284.80	c cleaning 34994 clauses out of 69999 with flag 1607313/2396372
1360.58/1319.59	c cleaning 35994 clauses out of 72002 with flag 1708341/2433369
1395.99/1351.62	c cleaning 37003 clauses out of 74007 with flag 1818588/2471368
1428.07/1383.44	c cleaning 38003 clauses out of 76007 with flag 1935297/2510371
1474.79/1429.25	c cleaning 39003 clauses out of 78011 with flag 2064488/2550378
1521.67/1475.29	c cleaning 39993 clauses out of 80000 with flag 2196677/2591370
1533.77/1487.49	c Got one! Elapsed wall clock time (in seconds):1487.18
1533.77/1487.49	o -182137
1538.66/1491.84	c cleaning 32166 clauses out of 64344 with flag 10672/2615707
1541.54/1494.74	c cleaning 19077 clauses out of 38178 with flag 24102/2621707
1544.51/1497.75	c cleaning 13047 clauses out of 26101 with flag 39461/2628707
1548.38/1501.40	c cleaning 10520 clauses out of 21056 with flag 57128/2636709
1551.67/1504.79	c cleaning 9757 clauses out of 19545 with flag 76830/2645718
1555.68/1508.72	c cleaning 9883 clauses out of 19778 with flag 98317/2655708
1561.12/1514.11	c cleaning 10455 clauses out of 20909 with flag 123160/2666722
1566.16/1519.28	c cleaning 11225 clauses out of 22449 with flag 152074/2678717
1572.48/1525.44	c cleaning 12107 clauses out of 24215 with flag 181926/2691708
1579.38/1532.35	c cleaning 13054 clauses out of 26108 with flag 213188/2705708
1587.01/1539.97	c cleaning 14025 clauses out of 28066 with flag 248542/2720720
1595.58/1548.15	c cleaning 15015 clauses out of 30029 with flag 283397/2736708
1604.92/1557.59	c cleaning 16010 clauses out of 32019 with flag 321301/2753713
1614.92/1567.53	c cleaning 17008 clauses out of 34018 with flag 362424/2771722
1624.96/1577.40	c cleaning 17999 clauses out of 36007 with flag 404139/2790719
1634.89/1587.45	c Got one! Elapsed wall clock time (in seconds):1587.141
1634.89/1587.45	o -182182
1637.40/1589.95	c cleaning 20236 clauses out of 40474 with flag 11112/2813185
1639.69/1592.27	c cleaning 13116 clauses out of 26243 with flag 24153/2819190
1642.29/1594.85	c cleaning 10045 clauses out of 20122 with flag 39252/2826185
1645.50/1597.91	c cleaning 9031 clauses out of 18078 with flag 56354/2834186
1648.61/1601.10	c cleaning 9018 clauses out of 18048 with flag 76496/2843187
1652.88/1605.21	c cleaning 9512 clauses out of 19028 with flag 97789/2853185
1657.17/1609.58	c cleaning 10258 clauses out of 20529 with flag 123543/2864198
1662.32/1614.41	c cleaning 11128 clauses out of 22257 with flag 149670/2876184
1667.94/1620.01	c cleaning 12067 clauses out of 24133 with flag 178500/2889188
1675.30/1627.27	c cleaning 13032 clauses out of 26063 with flag 209825/2903185
1682.54/1634.51	c cleaning 14016 clauses out of 28031 with flag 245786/2918185
1692.31/1644.34	c cleaning 15010 clauses out of 30021 with flag 286729/2934191
1703.35/1655.14	c cleaning 16004 clauses out of 32007 with flag 331024/2951187
1711.93/1663.74	c cleaning 17000 clauses out of 34000 with flag 373847/2969184
1721.35/1673.07	c cleaning 18000 clauses out of 36000 with flag 415726/2988184
1732.80/1684.28	c cleaning 18996 clauses out of 38001 with flag 459934/3008185
1744.98/1696.12	c cleaning 20001 clauses out of 40007 with flag 505806/3029187
1759.67/1710.65	c cleaning 20994 clauses out of 42008 with flag 555854/3051189
1775.86/1726.86	c cleaning 22002 clauses out of 44010 with flag 611664/3074185
1789.84/1740.52	c cleaning 22998 clauses out of 46007 with flag 667361/3098184
1804.03/1754.54	c cleaning 24003 clauses out of 48013 with flag 721200/3123188
1819.22/1769.43	c cleaning 24997 clauses out of 50006 with flag 778433/3149184
1837.42/1787.38	c cleaning 26005 clauses out of 52009 with flag 837544/3176184
1858.79/1808.26	c cleaning 27014 clauses out of 54027 with flag 900679/3204207
1880.99/1830.23	c cleaning 27995 clauses out of 55990 with flag 969886/3233184
1903.79/1852.29	c cleaning 28997 clauses out of 57995 with flag 1038668/3263184
1930.27/1878.27	c cleaning 29996 clauses out of 59998 with flag 1110380/3294184
1949.64/1897.20	c cleaning 30993 clauses out of 62009 with flag 1181657/3326191
1972.46/1917.84	c cleaning 32006 clauses out of 64011 with flag 1254090/3359186
1997.98/1942.56	c cleaning 33003 clauses out of 66010 with flag 1329519/3393191
2026.00/1970.04	c cleaning 34004 clauses out of 68009 with flag 1407351/3428193
2052.52/1996.20	c cleaning 34995 clauses out of 69996 with flag 1490597/3464184
2083.38/2026.29	c cleaning 35997 clauses out of 72002 with flag 1571142/3501185
2118.13/2060.41	c cleaning 36998 clauses out of 74005 with flag 1659796/3539185
2154.69/2096.85	c cleaning 38031 clauses out of 76061 with flag 1757341/3578239
2192.68/2133.98	c cleaning 38989 clauses out of 77981 with flag 1849146/3618190
2229.68/2170.45	c cleaning 39992 clauses out of 79986 with flag 1939684/3659184
2270.51/2210.32	c cleaning 40992 clauses out of 81999 with flag 2042720/3701189
2314.79/2254.16	c cleaning 42011 clauses out of 84022 with flag 2143153/3744204
2353.88/2292.45	c cleaning 42993 clauses out of 85995 with flag 2243177/3788188
2393.24/2330.86	c cleaning 43995 clauses out of 88000 with flag 2348458/3833186
2435.65/2372.77	c cleaning 44998 clauses out of 90019 with flag 2455453/3879200
2482.80/2419.30	c cleaning 46001 clauses out of 92007 with flag 2563989/3926186
2532.19/2468.31	c Got one! Elapsed wall clock time (in seconds):2468.001
2532.19/2468.31	o -182837
2539.26/2474.88	c cleaning 47978 clauses out of 95968 with flag 11016/3976148
2542.93/2478.52	c cleaning 26989 clauses out of 53986 with flag 24983/3982144
2546.30/2481.90	c cleaning 16980 clauses out of 33994 with flag 40550/3989141
2549.37/2485.08	c cleaning 12502 clauses out of 25016 with flag 57622/3997143
2553.04/2488.64	c cleaning 10750 clauses out of 21515 with flag 77217/4006144
2556.80/2492.49	c cleaning 10375 clauses out of 20763 with flag 100952/4016142
2560.57/2496.29	c cleaning 10695 clauses out of 21389 with flag 124764/4027143
2565.16/2500.87	c cleaning 11342 clauses out of 22692 with flag 150700/4039141
2570.41/2506.12	c cleaning 12175 clauses out of 24350 with flag 179291/4052141
2577.63/2513.26	c cleaning 13087 clauses out of 26175 with flag 211148/4066141
2585.32/2520.99	c cleaning 14038 clauses out of 28090 with flag 245467/4081143
2594.04/2529.50	c cleaning 15023 clauses out of 30050 with flag 284864/4097141
2605.44/2539.64	c cleaning 16016 clauses out of 32042 with flag 326962/4114156
2614.58/2548.39	c cleaning 17003 clauses out of 34014 with flag 372427/4132144
2626.31/2559.98	c cleaning 18009 clauses out of 36022 with flag 415841/4151155
2636.01/2569.39	c cleaning 19001 clauses out of 38006 with flag 459918/4171148
2647.50/2580.92	c cleaning 19998 clauses out of 39998 with flag 507410/4192141
2660.62/2594.01	c cleaning 20999 clauses out of 42003 with flag 555579/4214144
2675.98/2609.36	c cleaning 21999 clauses out of 44001 with flag 612220/4237141
2689.87/2623.00	c cleaning 22997 clauses out of 46008 with flag 666477/4261147
2706.60/2639.52	c cleaning 24001 clauses out of 48008 with flag 721125/4286144
2721.42/2654.05	c cleaning 24994 clauses out of 50005 with flag 780770/4312142
2741.58/2673.92	c cleaning 26001 clauses out of 52013 with flag 840417/4339144
2761.68/2693.78	c cleaning 27003 clauses out of 54010 with flag 902829/4367142
2785.70/2717.30	c cleaning 28007 clauses out of 56016 with flag 970473/4396151
2808.54/2739.81	c cleaning 29000 clauses out of 58003 with flag 1041418/4426145
2831.59/2762.62	c cleaning 29998 clauses out of 60009 with flag 1111788/4457151
2855.88/2786.74	c cleaning 31003 clauses out of 62008 with flag 1186728/4489148
2879.41/2809.83	c cleaning 31998 clauses out of 64000 with flag 1259776/4522143
2908.98/2838.94	c cleaning 32997 clauses out of 66000 with flag 1340793/4556141
2937.26/2866.80	c cleaning 34000 clauses out of 68004 with flag 1421521/4591142
2966.55/2895.91	c cleaning 35000 clauses out of 70005 with flag 1504680/4627143
2996.01/2924.83	c cleaning 36000 clauses out of 72010 with flag 1592473/4664148
3025.42/2953.98	c cleaning 37003 clauses out of 74007 with flag 1678657/4702145
3062.01/2990.38	c cleaning 38008 clauses out of 76015 with flag 1766584/4741156
3093.25/3021.06	c cleaning 38993 clauses out of 77997 with flag 1858981/4781146
3131.34/3058.64	c cleaning 40002 clauses out of 80004 with flag 1953122/4822146
3163.77/3090.50	c cleaning 41002 clauses out of 82006 with flag 2045723/4864150
3202.67/3129.48	c cleaning 42001 clauses out of 84012 with flag 2145567/4907158
3248.28/3174.79	c cleaning 42998 clauses out of 86003 with flag 2247823/4951150
3292.35/3218.27	c cleaning 43992 clauses out of 87996 with flag 2363584/4996141
3335.26/3258.09	c cleaning 45005 clauses out of 90012 with flag 2464547/5042149
3377.53/3299.49	c cleaning 45992 clauses out of 92000 with flag 2572175/5089142
3420.52/3341.96	c cleaning 47002 clauses out of 94012 with flag 2680229/5137146
3464.65/3384.80	c cleaning 47996 clauses out of 96012 with flag 2792108/5186148
3515.10/3434.63	c cleaning 49003 clauses out of 98011 with flag 2911347/5236143
3561.03/3479.63	c cleaning 50003 clauses out of 100009 with flag 3032829/5287144
3600.08/3518.23	c starts		: 25315
3600.08/3518.25	c conflicts		: 5335171
3600.08/3518.26	c decisions		: 6787537
3600.08/3518.26	c propagations		: 117572220
3600.08/3518.26	c inspects		: 5480093938
3600.08/3518.26	c shortcuts		: 0
3600.08/3518.26	c learnt literals	: 0
3600.08/3518.26	c learnt binary clauses	: 0
3600.08/3518.26	c learnt ternary clauses	: 0
3600.08/3518.26	c learnt constraints	: 5335171
3600.08/3518.26	c ignored constraints	: 0
3600.08/3518.26	c root simplifications	: 0
3600.08/3518.26	c removed literals (reason simplification)	: 144219200
3600.08/3518.26	c reason swapping (by a shorter reason)	: 0
3600.08/3518.26	c Calls to reduceDB	: 303
3600.08/3518.26	c Number of update (reduction) of LBD	: 342698
3600.08/3518.26	c Imported unit clauses	: 0
3600.08/3518.26	c No decision after first conflict	: false
3600.08/3518.26	c number of reductions to clauses (during analyze)	: 0
3600.08/3518.26	c number of learned constraints concerned by reduction	: 0
3600.08/3518.26	c number of learning phase by resolution	: 0
3600.08/3518.27	c number of learning phase by cutting planes	: 0
3600.08/3518.27	c number of rounding to 1 operations	: 0
3600.08/3518.27	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3518.27	c number of reductions of the coefficients by power 2 	: 0
3600.08/3518.27	c number of right shift for reduction by power 2 	: 0
3600.08/3518.27	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3518.27	c number of ending skipping 	: 0
3600.08/3518.27	c number of internal skipping 	: 0
3600.08/3518.27	c number of derivation steps 	: 0
3600.08/3518.27	c number of skipped derivation steps 	: 0
3600.08/3518.27	c number of remaining unassigned 	: 0
3600.08/3518.27	c number of remaining assigned 	: 0
3600.08/3518.27	c number of falsified literals weakened from reason	: 0
3600.08/3518.27	c number of falsified literals weakened from conflict	: 0
3600.08/3518.28	c time for arithmetic operations	: 0
3600.08/3518.28	c minimum degree of deleted constraints	: null
3600.08/3518.28	c maximum degree of deleted constraints	: null
3600.08/3518.28	c number of deleted constraints	: 0
3600.08/3518.29	c speed (assignments/second)	: 33421.80264538082
3600.08/3518.29	c non guided choices	: 8
3600.47/3518.41	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 98033
3600.47/3518.41	s SATISFIABLE
3600.47/3518.41	c Found 94 solution(s)
3600.47/3518.42	v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 -x523 -x524 -x525 x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 x942 -x943 x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 x988 -x989 -x990 x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 
3600.47/3518.42	c objective function=-182837
3600.47/3518.43	c Total wall clock time (in seconds): 3518.113

Verifier Data 

OK	-182837

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=74233, runsolver pid=74230

[startup+0.100072 s]*
/proc/loadavg: 3.16 3.31 3.80 6/300 74251
/proc/meminfo: memFree=123924036/131382120 swapFree=33010416/33010684
[pid=74233] ppid=74230 vsize=18930384 memory=48372 CPUtime=0.13 cores=4,6
/proc/74233/stat : 74233 (java) S 74230 74233 73492 0 -1 4194304 5796 0 0 0 9 4 0 0 20 0 18 0 69953543 19384713216 12093 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
/proc/74233/statm: 4732596 12093 5326 1 0 547006 0
[pid=74233/tid=74235] ppid=74230 vsize=18930384 memory=4026531959 CPUtime=0.08 cores=4,6
/proc/74233/task/74235/stat : 74235 (java) R 74230 74233 73492 0 -1 4194368 4696 0 0 0 6 2 0 0 20 0 18 0 69953545 19384713216 12093 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
[pid=74233/tid=74244] ppid=74230 vsize=18930384 memory=215637821677 CPUtime=0 cores=4,6
/proc/74233/task/74244/stat : 74244 (Finalizer) S 74230 74233 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69953550 19384713216 12093 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
[pid=74233/tid=74251] ppid=74230 vsize=18930384 memory=19982 CPUtime=0 cores=4,6
/proc/74233/task/74251/stat : 74251 (Common-Cleaner) S 74230 74233 73492 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 69953551 19384713216 12125 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 48372 KiB

[startup+0.21865 s]*
/proc/loadavg: 3.16 3.31 3.80 5/300 74251
/proc/meminfo: memFree=123919940/131382120 swapFree=33010416/33010684
[pid=74233] ppid=74230 vsize=18930384 memory=55448 CPUtime=0.32 cores=4,6
/proc/74233/stat : 74233 (java) S 74230 74233 73492 0 -1 4194304 6532 0 0 0 27 5 0 0 20 0 18 0 69953543 19384713216 13862 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
/proc/74233/statm: 4732596 13862 5326 1 0 547603 0
[pid=74233/tid=74235] ppid=74230 vsize=18930384 memory=4026772745 CPUtime=0.19 cores=4,6
/proc/74233/task/74235/stat : 74235 (java) R 74230 74233 73492 0 -1 4194368 5048 0 0 0 17 2 0 0 20 0 18 0 69953545 19384713216 13862 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
[pid=74233/tid=74244] ppid=74230 vsize=18930384 memory=211342852430 CPUtime=0 cores=4,6
/proc/74233/task/74244/stat : 74244 (Finalizer) S 74230 74233 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69953550 19384713216 13862 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
[pid=74233/tid=74251] ppid=74230 vsize=18930384 memory=59589299292739 CPUtime=0 cores=4,6
/proc/74233/task/74251/stat : 74251 (Common-Cleaner) S 74230 74233 73492 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 69953551 19384713216 13862 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55448 KiB

[startup+0.316249 s]*
/proc/loadavg: 3.16 3.31 3.80 6/300 74251
/proc/meminfo: memFree=123915844/131382120 swapFree=33010416/33010684
[pid=74233] ppid=74230 vsize=18930384 memory=58608 CPUtime=0.48 cores=4,6
/proc/74233/stat : 74233 (java) S 74230 74233 73492 0 -1 4194304 6784 0 0 0 43 5 0 0 20 0 18 0 69953543 19384713216 14652 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
/proc/74233/statm: 4732596 14652 5358 1 0 547772 0
[pid=74233/tid=74235] ppid=74230 vsize=18930384 memory=-6000919507100002408 CPUtime=0.29 cores=4,6
/proc/74233/task/74235/stat : 74235 (java) R 74230 74233 73492 0 -1 4194368 5212 0 0 0 26 3 0 0 20 0 18 0 69953545 19384713216 14652 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
[pid=74233/tid=74244] ppid=74230 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/74233/task/74244/stat : 74244 (Finalizer) S 74230 74233 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 69953550 19384713216 14652 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
[pid=74233/tid=74251] ppid=74230 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/74233/task/74251/stat : 74251 (Common-Cleaner) S 74230 74233 73492 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 69953551 19384713216 14652 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58608 KiB

[startup+0.700335 s]
/proc/loadavg: 3.16 3.31 3.80 6/301 74252
/proc/meminfo: memFree=123911076/131382120 swapFree=33010416/33010684
[pid=74233] ppid=74230 vsize=18996948 memory=69808 CPUtime=1.16 cores=4,6
/proc/74233/stat : 74233 (java) S 74230 74233 73492 0 -1 4194304 7789 0 0 0 110 6 0 0 20 0 19 0 69953543 19452874752 17452 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
/proc/74233/statm: 4749237 17452 5486 1 0 548426 0
[pid=74233/tid=74235] ppid=74230 vsize=18996948 memory=17920 CPUtime=0.63 cores=4,6
/proc/74233/task/74235/stat : 74235 (java) R 74230 74233 73492 0 -1 4194368 5383 0 0 0 60 3 0 0 20 0 19 0 69953545 19452874752 17452 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
[pid=74233/tid=74244] ppid=74230 vsize=18996948 memory=11264 CPUtime=0 cores=4,6
/proc/74233/task/74244/stat : 74244 (Finalizer) S 74230 74233 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 69953550 19452874752 17452 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
[pid=74233/tid=74251] ppid=74230 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/74233/task/74251/stat : 74251 (Common-Cleaner) S 74230 74233 73492 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 69953551 19452874752 17452 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
[pid=74233/tid=74252] ppid=74230 vsize=18996948 memory=4896 CPUtime=0 cores=4,6
/proc/74233/task/74252/stat : 74252 (Timer-0) S 74230 74233 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 69953588 19452874752 17452 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 69808 KiB

[startup+1.50031 s]
/proc/loadavg: 3.16 3.31 3.80 5/301 74252
/proc/meminfo: memFree=123883964/131382120 swapFree=33010416/33010684
[pid=74233] ppid=74230 vsize=18996948 memory=121816 CPUtime=2.74 cores=4,6
/proc/74233/stat : 74233 (java) S 74230 74233 73492 0 -1 4194304 18876 0 0 0 264 10 0 0 20 0 19 0 69953543 19452874752 30454 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
/proc/74233/statm: 4749237 30454 5486 1 0 553198 0
[pid=74233/tid=74235] ppid=74230 vsize=18996948 memory=11264 CPUtime=1.41 cores=4,6
/proc/74233/task/74235/stat : 74235 (java) R 74230 74233 73492 0 -1 4194368 6285 0 0 0 137 4 0 0 20 0 19 0 69953545 19452874752 30454 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
[pid=74233/tid=74244] ppid=74230 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/74233/task/74244/stat : 74244 (Finalizer) S 74230 74233 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 69953550 19452874752 30454 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
[pid=74233/tid=74251] ppid=74230 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/74233/task/74251/stat : 74251 (Common-Cleaner) S 74230 74233 73492 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 69953551 19452874752 30454 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
[pid=74233/tid=74252] ppid=74230 vsize=18996948 memory=211309297979 CPUtime=0 cores=4,6
/proc/74233/task/74252/stat : 74252 (Timer-0) S 74230 74233 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 69953588 19452874752 30454 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
Current children cumulated CPU time: 2.74 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 121816 KiB

[startup+3.10881 s]
/proc/loadavg: 3.16 3.31 3.80 5/302 74253
/proc/meminfo: memFree=123727184/131382120 swapFree=33010416/33010684
[pid=74233] ppid=74230 vsize=19063512 memory=250380 CPUtime=5.17 cores=4,6
/proc/74233/stat : 74233 (java) S 74230 74233 73492 0 -1 4194304 21702 0 0 0 503 14 0 0 20 0 20 0 69953543 19521036288 62595 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
/proc/74233/statm: 4765878 62595 5518 1 0 554156 0
[pid=74233/tid=74235] ppid=74230 vsize=19063512 memory=11264 CPUtime=2.95 cores=4,6
/proc/74233/task/74235/stat : 74235 (java) R 74230 74233 73492 0 -1 4194368 6531 0 0 0 290 5 0 0 20 0 20 0 69953545 19521036288 62595 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
[pid=74233/tid=74244] ppid=74230 vsize=19063512 memory=-6000919507100002408 CPUtime=0 cores=4,6
/proc/74233/task/74244/stat : 74244 (Finalizer) S 74230 74233 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69953550 19521036288 62595 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
[pid=74233/tid=74251] ppid=74230 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/74233/task/74251/stat : 74251 (Common-Cleaner) S 74230 74233 73492 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 69953551 19521036288 62595 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
[pid=74233/tid=74252] ppid=74230 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/74233/task/74252/stat : 74252 (Timer-0) S 74230 74233 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69953588 19521036288 62595 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
Current children cumulated CPU time: 5.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 250380 KiB

[startup+6.30047 s]
/proc/loadavg: 3.14 3.31 3.80 4/302 74253
/proc/meminfo: memFree=123563328/131382120 swapFree=33010416/33010684
[pid=74233] ppid=74230 vsize=19063512 memory=477100 CPUtime=9.11 cores=4,6
/proc/74233/stat : 74233 (java) S 74230 74233 73492 0 -1 4194304 23016 0 0 0 890 21 0 0 20 0 20 0 69953543 19521036288 119275 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
/proc/74233/statm: 4765878 119275 5518 1 0 554202 0
[pid=74233/tid=74235] ppid=74230 vsize=19063512 memory=0 CPUtime=5.69 cores=4,6
/proc/74233/task/74235/stat : 74235 (java) R 74230 74233 73492 0 -1 4194368 7152 0 0 0 564 5 0 0 20 0 20 0 69953545 19521036288 119275 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
[pid=74233/tid=74244] ppid=74230 vsize=19063512 memory=3761413001621683703 CPUtime=0 cores=4,6
/proc/74233/task/74244/stat : 74244 (Finalizer) S 74230 74233 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69953550 19521036288 119275 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
[pid=74233/tid=74251] ppid=74230 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/74233/task/74251/stat : 74251 (Common-Cleaner) S 74230 74233 73492 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 69953551 19521036288 119275 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
[pid=74233/tid=74252] ppid=74230 vsize=19063512 memory=126040 CPUtime=0 cores=4,6
/proc/74233/task/74252/stat : 74252 (Timer-0) S 74230 74233 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69953588 19521036288 119275 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
Current children cumulated CPU time: 9.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 477100 KiB

[startup+12.7004 s]
/proc/loadavg: 3.13 3.30 3.80 4/302 74253
/proc/meminfo: memFree=122912380/131382120 swapFree=33010416/33010684
[pid=74233] ppid=74230 vsize=19063512 memory=1049872 CPUtime=16.74 cores=4,6
/proc/74233/stat : 74233 (java) S 74230 74233 73492 0 -1 4194304 26530 0 0 0 1641 33 0 0 20 0 20 0 69953543 19521036288 262468 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
/proc/74233/statm: 4765878 262468 5518 1 0 1049258 0
[pid=74233/tid=74235] ppid=74230 vsize=19063512 memory=126040 CPUtime=11.59 cores=4,6
/proc/74233/task/74235/stat : 74235 (java) R 74230 74233 73492 0 -1 4194368 8108 0 0 0 1150 9 0 0 20 0 20 0 69953545 19521036288 262468 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
[pid=74233/tid=74244] ppid=74230 vsize=19063512 memory=1048464 CPUtime=0 cores=4,6
/proc/74233/task/74244/stat : 74244 (Finalizer) S 74230 74233 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69953550 19521036288 262468 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
[pid=74233/tid=74251] ppid=74230 vsize=19063512 memory=872280 CPUtime=0 cores=4,6
/proc/74233/task/74251/stat : 74251 (Common-Cleaner) S 74230 74233 73492 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 69953551 19521036288 262468 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
[pid=74233/tid=74252] ppid=74230 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/74233/task/74252/stat : 74252 (Timer-0) S 74230 74233 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69953588 19521036288 262468 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
Current children cumulated CPU time: 16.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1049872 KiB

[startup+25.5005 s]
/proc/loadavg: 3.18 3.30 3.79 4/302 74253
/proc/meminfo: memFree=122109124/131382120 swapFree=33010416/33010684
[pid=74233] ppid=74230 vsize=19063512 memory=1828316 CPUtime=29.92 cores=4,6
/proc/74233/stat : 74233 (java) S 74230 74233 73492 0 -1 4194304 30022 0 0 0 2942 50 0 0 20 0 20 0 69953543 19521036288 457079 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
/proc/74233/statm: 4765878 457079 5518 1 0 1657128 0
[pid=74233/tid=74235] ppid=74230 vsize=19063512 memory=1048464 CPUtime=23.34 cores=4,6
/proc/74233/task/74235/stat : 74235 (java) R 74230 74233 73492 0 -1 4194368 9031 0 0 0 2320 14 0 0 20 0 20 0 69953545 19521036288 457079 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
[pid=74233/tid=74244] ppid=74230 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/74233/task/74244/stat : 74244 (Finalizer) S 74230 74233 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69953550 19521036288 457079 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
[pid=74233/tid=74251] ppid=74230 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/74233/task/74251/stat : 74251 (Common-Cleaner) S 74230 74233 73492 0 -1 4194368 58 0 0 0 0 0 0 0 20 0 20 0 69953551 19521036288 457079 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
[pid=74233/tid=74252] ppid=74230 vsize=19063512 memory=-6000919507100002408 CPUtime=0 cores=4,6
/proc/74233/task/74252/stat : 74252 (Timer-0) S 74230 74233 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69953588 19521036288 457079 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
Current children cumulated CPU time: 29.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1828316 KiB

[startup+51.1132 s]
/proc/loadavg: 3.27 3.31 3.78 4/302 74254
/proc/meminfo: memFree=120505432/131382120 swapFree=33010416/33010684
[pid=74233] ppid=74230 vsize=19063512 memory=2739824 CPUtime=56.88 cores=4,6
/proc/74233/stat : 74233 (java) S 74230 74233 73492 0 -1 4194304 34986 0 0 0 5615 73 0 0 20 0 20 0 69953543 19521036288 684956 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
/proc/74233/statm: 4765878 684956 5518 1 0 1657128 0
[pid=74233/tid=74235] ppid=74230 vsize=19063512 memory=14464 CPUtime=47.51 cores=4,6
/proc/74233/task/74235/stat : 74235 (java) R 74230 74233 73492 0 -1 4194368 10695 0 0 0 4736 15 0 0 20 0 20 0 69953545 19521036288 684956 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
[pid=74233/tid=74244] ppid=74230 vsize=19063512 memory=2602596 CPUtime=0 cores=4,6
/proc/74233/task/74244/stat : 74244 (Finalizer) S 74230 74233 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69953550 19521036288 684956 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
[pid=74233/tid=74251] ppid=74230 vsize=19063512 memory=14464 CPUtime=0 cores=4,6

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

[startup+3162.3 s]
/proc/loadavg: 3.28 3.24 3.28 4/302 74477
/proc/meminfo: memFree=88348060/131382120 swapFree=33010416/33010684
[pid=74233] ppid=74230 vsize=19063512 memory=12618072 CPUtime=3235.9 cores=4,6
/proc/74233/stat : 74233 (java) S 74230 74233 73492 0 -1 4194304 238442 0 0 0 323066 524 0 0 20 0 20 0 69953543 19521036288 3154518 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
/proc/74233/statm: 4765878 3154518 5550 1 0 3323944 0
[pid=74233/tid=74235] ppid=74230 vsize=19063512 memory=12618072 CPUtime=3054.19 cores=4,6
/proc/74233/task/74235/stat : 74235 (java) R 74230 74233 73492 0 -1 4194368 111836 0 0 0 305357 62 0 0 20 0 20 0 69953545 19521036288 3154518 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
[pid=74233/tid=74244] ppid=74230 vsize=19063512 memory=12609732 CPUtime=0 cores=4,6
/proc/74233/task/74244/stat : 74244 (Finalizer) S 74230 74233 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69953550 19521036288 3154518 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
[pid=74233/tid=74251] ppid=74230 vsize=19063512 memory=12609732 CPUtime=0 cores=4,6
/proc/74233/task/74251/stat : 74251 (Common-Cleaner) S 74230 74233 73492 0 -1 4194368 1682 0 0 0 0 0 0 0 20 0 20 0 69953551 19521036288 3154518 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
[pid=74233/tid=74252] ppid=74230 vsize=19063512 memory=5504 CPUtime=0 cores=4,6
/proc/74233/task/74252/stat : 74252 (Timer-0) S 74230 74233 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69953588 19521036288 3154518 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
Current children cumulated CPU time: 3235.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 12618072 KiB

[startup+3222.3 s]
/proc/loadavg: 3.10 3.20 3.26 4/301 74479
/proc/meminfo: memFree=87963060/131382120 swapFree=33010416/33010684
[pid=74233] ppid=74230 vsize=19063512 memory=12782008 CPUtime=3296.44 cores=4,6
/proc/74233/stat : 74233 (java) S 74230 74233 73492 0 -1 4194304 243820 0 0 0 329112 532 0 0 20 0 20 0 69953543 19521036288 3195502 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
/proc/74233/statm: 4765878 3195502 5550 1 0 3323944 0
[pid=74233/tid=74235] ppid=74230 vsize=19063512 memory=12620120 CPUtime=3112.16 cores=4,6
/proc/74233/task/74235/stat : 74235 (java) R 74230 74233 73492 0 -1 4194368 115994 0 0 0 311153 63 0 0 20 0 20 0 69953545 19521036288 3195502 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
[pid=74233/tid=74244] ppid=74230 vsize=19063512 memory=12620120 CPUtime=0 cores=4,6
/proc/74233/task/74244/stat : 74244 (Finalizer) S 74230 74233 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69953550 19521036288 3195502 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
[pid=74233/tid=74251] ppid=74230 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/74233/task/74251/stat : 74251 (Common-Cleaner) S 74230 74233 73492 0 -1 4194368 1791 0 0 0 0 0 0 0 20 0 20 0 69953551 19521036288 3195502 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
[pid=74233/tid=74252] ppid=74230 vsize=19063512 memory=12782008 CPUtime=0 cores=4,6
/proc/74233/task/74252/stat : 74252 (Timer-0) S 74230 74233 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69953588 19521036288 3195502 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
Current children cumulated CPU time: 3296.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 12782008 KiB

[startup+3282.3 s]
/proc/loadavg: 3.22 3.22 3.27 5/302 74484
/proc/meminfo: memFree=86681704/131382120 swapFree=33010416/33010684
[pid=74233] ppid=74230 vsize=19063512 memory=13891628 CPUtime=3359.65 cores=4,6
/proc/74233/stat : 74233 (java) S 74230 74233 73492 0 -1 4194304 252523 0 0 0 335403 562 0 0 20 0 20 0 69953543 19521036288 3472907 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
/proc/74233/statm: 4765878 3472907 5550 1 0 4084483 0
[pid=74233/tid=74235] ppid=74230 vsize=19063512 memory=13891628 CPUtime=3171.14 cores=4,6
/proc/74233/task/74235/stat : 74235 (java) R 74230 74233 73492 0 -1 4194368 119975 0 0 0 317040 74 0 0 20 0 20 0 69953545 19521036288 3472907 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
[pid=74233/tid=74244] ppid=74230 vsize=19063512 memory=13891628 CPUtime=0 cores=4,6
/proc/74233/task/74244/stat : 74244 (Finalizer) S 74230 74233 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69953550 19521036288 3472907 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
[pid=74233/tid=74251] ppid=74230 vsize=19063512 memory=13891628 CPUtime=0 cores=4,6
/proc/74233/task/74251/stat : 74251 (Common-Cleaner) S 74230 74233 73492 0 -1 4194368 1907 0 0 0 0 0 0 0 20 0 20 0 69953551 19521036288 3472907 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
[pid=74233/tid=74252] ppid=74230 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/74233/task/74252/stat : 74252 (Timer-0) S 74230 74233 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69953588 19521036288 3472907 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
Current children cumulated CPU time: 3359.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 13891628 KiB

[startup+3342.3 s]
/proc/loadavg: 3.30 3.24 3.27 5/302 74486
/proc/meminfo: memFree=86435888/131382120 swapFree=33010416/33010684
[pid=74233] ppid=74230 vsize=19063512 memory=14137388 CPUtime=3420.91 cores=4,6
/proc/74233/stat : 74233 (java) S 74230 74233 73492 0 -1 4194304 258158 0 0 0 341518 573 0 0 20 0 20 0 69953543 19521036288 3534347 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
/proc/74233/statm: 4765878 3534347 5550 1 0 4084483 0
[pid=74233/tid=74235] ppid=74230 vsize=19063512 memory=14137388 CPUtime=3229.46 cores=4,6
/proc/74233/task/74235/stat : 74235 (java) R 74230 74233 73492 0 -1 4194368 123790 0 0 0 322868 78 0 0 20 0 20 0 69953545 19521036288 3534347 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
[pid=74233/tid=74244] ppid=74230 vsize=19063512 memory=14137388 CPUtime=0 cores=4,6
/proc/74233/task/74244/stat : 74244 (Finalizer) S 74230 74233 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69953550 19521036288 3534347 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
[pid=74233/tid=74251] ppid=74230 vsize=19063512 memory=14137388 CPUtime=0 cores=4,6
/proc/74233/task/74251/stat : 74251 (Common-Cleaner) S 74230 74233 73492 0 -1 4194368 1907 0 0 0 0 0 0 0 20 0 20 0 69953551 19521036288 3534347 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
[pid=74233/tid=74252] ppid=74230 vsize=19063512 memory=5504 CPUtime=0 cores=4,6
/proc/74233/task/74252/stat : 74252 (Timer-0) S 74230 74233 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69953588 19521036288 3534347 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
Current children cumulated CPU time: 3420.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14137388 KiB

[startup+3402.3 s]
/proc/loadavg: 3.15 3.21 3.26 5/302 74488
/proc/meminfo: memFree=86436132/131382120 swapFree=33010416/33010684
[pid=74233] ppid=74230 vsize=19063512 memory=14137388 CPUtime=3482.12 cores=4,6
/proc/74233/stat : 74233 (java) S 74230 74233 73492 0 -1 4194304 263469 0 0 0 347635 577 0 0 20 0 20 0 69953543 19521036288 3534347 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
/proc/74233/statm: 4765878 3534347 5550 1 0 4084483 0
[pid=74233/tid=74235] ppid=74230 vsize=19063512 memory=14137388 CPUtime=3287.77 cores=4,6
/proc/74233/task/74235/stat : 74235 (java) R 74230 74233 73492 0 -1 4194368 127231 0 0 0 328699 78 0 0 20 0 20 0 69953545 19521036288 3534347 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
[pid=74233/tid=74244] ppid=74230 vsize=19063512 memory=14137388 CPUtime=0 cores=4,6
/proc/74233/task/74244/stat : 74244 (Finalizer) S 74230 74233 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69953550 19521036288 3534347 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
[pid=74233/tid=74251] ppid=74230 vsize=19063512 memory=14137388 CPUtime=0 cores=4,6
/proc/74233/task/74251/stat : 74251 (Common-Cleaner) S 74230 74233 73492 0 -1 4194368 1949 0 0 0 0 0 0 0 20 0 20 0 69953551 19521036288 3534347 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
[pid=74233/tid=74252] ppid=74230 vsize=19063512 memory=14137388 CPUtime=0 cores=4,6
/proc/74233/task/74252/stat : 74252 (Timer-0) S 74230 74233 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69953588 19521036288 3534347 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
Current children cumulated CPU time: 3482.12 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14137388 KiB

[startup+3462.3 s]
/proc/loadavg: 3.34 3.27 3.28 5/301 74557
/proc/meminfo: memFree=100644812/131382120 swapFree=33010416/33010684
[pid=74233] ppid=74230 vsize=19063512 memory=14137388 CPUtime=3543.09 cores=4,6
/proc/74233/stat : 74233 (java) S 74230 74233 73492 0 -1 4194304 266378 0 0 0 353728 581 0 0 20 0 20 0 69953543 19521036288 3534347 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
/proc/74233/statm: 4765878 3534347 5550 1 0 4084483 0
[pid=74233/tid=74235] ppid=74230 vsize=19063512 memory=14137388 CPUtime=3345.69 cores=4,6
/proc/74233/task/74235/stat : 74235 (java) R 74230 74233 73492 0 -1 4194368 128413 0 0 0 334491 78 0 0 20 0 20 0 69953545 19521036288 3534347 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
[pid=74233/tid=74244] ppid=74230 vsize=19063512 memory=4252 CPUtime=0 cores=4,6
/proc/74233/task/74244/stat : 74244 (Finalizer) S 74230 74233 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69953550 19521036288 3534347 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
[pid=74233/tid=74251] ppid=74230 vsize=19063512 memory=17920 CPUtime=0 cores=4,6
/proc/74233/task/74251/stat : 74251 (Common-Cleaner) S 74230 74233 73492 0 -1 4194368 1992 0 0 0 0 0 0 0 20 0 20 0 69953551 19521036288 3534347 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
[pid=74233/tid=74252] ppid=74230 vsize=19063512 memory=14137388 CPUtime=0 cores=4,6
/proc/74233/task/74252/stat : 74252 (Timer-0) S 74230 74233 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69953588 19521036288 3534347 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
Current children cumulated CPU time: 3543.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14137388 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3518.2 s]
/proc/loadavg: 3.32 3.27 3.28 4/305 74568
/proc/meminfo: memFree=100479812/131382120 swapFree=33010416/33010684
[pid=74233] ppid=74230 vsize=19063512 memory=14137388 CPUtime=3600.08 cores=4,6
/proc/74233/stat : 74233 (java) S 74230 74233 73492 0 -1 4194304 269777 0 0 0 359424 584 0 0 20 0 20 0 69953543 19521036288 3534347 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
/proc/74233/statm: 4765878 3534347 5550 1 0 4084483 0
[pid=74233/tid=74235] ppid=74230 vsize=19063512 memory=14352116 CPUtime=3399.32 cores=4,6
/proc/74233/task/74235/stat : 74235 (java) R 74230 74233 73492 0 -1 4194368 130530 0 0 0 339853 79 0 0 20 0 20 0 69953545 19521036288 3534347 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
[pid=74233/tid=74244] ppid=74230 vsize=19063512 memory=6896 CPUtime=0 cores=4,6
/proc/74233/task/74244/stat : 74244 (Finalizer) S 74230 74233 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 69953550 19521036288 3534347 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
[pid=74233/tid=74251] ppid=74230 vsize=19063512 memory=405236 CPUtime=0 cores=4,6
/proc/74233/task/74251/stat : 74251 (Common-Cleaner) S 74230 74233 73492 0 -1 4194368 1992 0 0 0 0 0 0 0 20 0 20 0 69953551 19521036288 3534347 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
[pid=74233/tid=74252] ppid=74230 vsize=19063512 memory=2736 CPUtime=0 cores=4,6
/proc/74233/task/74252/stat : 74252 (Timer-0) S 74230 74233 73492 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 69953588 19521036288 3534347 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 14137388 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3518.47 s]
# the end of solver process 74233 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3594.69 s, system=5.89804 s

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

[startup+3518.4 s]
/proc/loadavg: 3.32 3.27 3.28 4/305 74568
/proc/meminfo: memFree=100479812/131382120 swapFree=33010416/33010684
[pid=74233] ppid=74230 vsize=19263204 memory=14138156 CPUtime=3600.47 cores=4,6
/proc/74233/stat : 74233 (java) S 74230 74233 73492 0 -1 4194304 272301 0 0 0 359462 585 0 0 20 0 21 0 69953543 19725520896 3534539 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
/proc/74233/statm: 4815801 3534539 5582 1 0 4085422 0
[pid=74233/tid=74235] ppid=74230 vsize=19263204 memory=14137388 CPUtime=3399.5 cores=4,6
/proc/74233/task/74235/stat : 74235 (java) R 74230 74233 73492 0 -1 4194368 130893 0 0 0 339871 79 0 0 20 0 21 0 69953545 19725520896 3534539 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
[pid=74233/tid=74244] ppid=74230 vsize=19263204 memory=17920 CPUtime=0 cores=4,6
/proc/74233/task/74244/stat : 74244 (Finalizer) S 74230 74233 73492 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 69953550 19725520896 3534539 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
[pid=74233/tid=74251] ppid=74230 vsize=19263204 memory=-6000919507100002408 CPUtime=0 cores=4,6
/proc/74233/task/74251/stat : 74251 (Common-Cleaner) S 74230 74233 73492 0 -1 4194368 1992 0 0 0 0 0 0 0 20 0 21 0 69953551 19725520896 3534539 18446744073709551615 94186643689472 94186643693168 140735092031712 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94186643700984 94186643701776 94186652729344 140735092033921 140735092034022 140735092034022 140735092039624 0
Current children cumulated CPU time: 3600.47 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 14138156 KiB

Child status: 143

Real time (s): 3518.47
CPU time (s): 3600.58
CPU user time (s): 3594.69
CPU system time (s): 5.89804
CPU usage (%): 102.334
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 14138156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.69
system time used= 5.89804
maximum resident set size= 14138412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272642
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 118660
involuntary context switches= 30908


# summary of solver processes directly reported to runsolver:
#   pid: 74233
#   total CPU time (s): 3600.58
#   total CPU user time (s): 3594.69
#   total CPU system time (s): 5.89804

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.7647 second user time and 29.3842 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2025-07-03 13:39:07
IDJOB=4518234
IDBENCH=176692
IDSOLVER=3363
FILE ID=nodeC002/4518234-1751542747
RUNJOBID= nodeC002-1751539206-73503
SLURM_JOB_ID= 9598696
Free space on /tmp= 432692 MiB

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

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

MD5SUM BENCH= 8a3dc4c2b7829f560f37e3a7b2c16990
RANDOM SEED=1920164947

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		: 3506.060
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.309
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.286
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.431
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.453
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		: 3662.530
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.227
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.494
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:        123939848 kB
MemAvailable:   124511136 kB
Buffers:            2128 kB
Cached:          1376964 kB
SwapCached:           28 kB
Active:          5824332 kB
Inactive:        1073876 kB
Active(anon):    5530644 kB
Inactive(anon):     6404 kB
Active(file):     293688 kB
Inactive(file):  1067472 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1016 kB
Writeback:            36 kB
AnonPages:       5521676 kB
Mapped:           123100 kB
Shmem:             17932 kB
KReclaimable:      99512 kB
Slab:             183696 kB
SReclaimable:      99512 kB
SUnreclaim:        84184 kB
KernelStack:        4560 kB
PageTables:        14112 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    7896396 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149960 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5306368 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= 432692 MiB
End job on nodeC002 at 2025-07-03 14:37:46