Trace number 4487813

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 VeriPB 2025-06-06SAT (TO)23 3600.3 3614.09

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB05/
sorensson/garden/normalized-g9x9.opb
MD5SUMc74ef50fdcad1c092f72b2454e0c2ee1
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 benchmark20
Best CPU time to get the best result obtained on this benchmark0.017928
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables81
Total number of constraints81
Number of constraints which are clauses81
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 81
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 81
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 81
Number of bits of the biggest sum of numbers7
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.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB25.v20250606
0.00/0.10	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.10	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.10	c java.vm.version	22.0.1+8-16
0.10/0.10	c java.vm.vendor	Oracle Corporation
0.10/0.10	c sun.arch.data.model	64
0.10/0.10	c java.version		22.0.1
0.10/0.10	c os.name		Linux
0.10/0.10	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.10/0.10	c os.arch		amd64
0.10/0.10	c Free memory 		2104792832
0.10/0.11	c Max memory 		16282288128
0.10/0.11	c Total memory 		2113929216
0.10/0.11	c Number of processors 	2
0.10/0.14	c Pseudo Boolean Optimization by upper bound
0.10/0.14	c --- Begin Solver configuration ---
0.10/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.10/0.14	c Learn all clauses as in MiniSAT
0.10/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.14	c Expensive reason simplification
0.10/0.14	c Glucose 2.1 dynamic restart strategy
0.10/0.14	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.10/0.14	c timeout=2147483s
0.10/0.14	c DB Simplification allowed=false
0.10/0.14	c Listener: none
0.10/0.14	c --- End Solver configuration ---
0.10/0.14	c solving HOME/instance-4487813-1751338867.opb
0.10/0.14	c reading problem ... 
0.10/0.15	c using VERIPB proof format
0.10/0.15	c  objective function found
0.10/0.16	c ... done. Wall clock time 0.017s.
0.10/0.16	c declared #vars     81
0.10/0.16	c #constraints  81
0.10/0.16	c constraints type 
0.10/0.16	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 81
0.10/0.16	c 81 constraints processed.
0.10/0.17	c objective function length is 81 literals
0.10/0.18	c SATISFIABLE
0.10/0.18	c OPTIMIZING...
0.10/0.18	c Got one! Elapsed wall clock time (in seconds):0.037
0.10/0.18	o 27
0.10/0.19	c Got one! Elapsed wall clock time (in seconds):0.044
0.10/0.19	o 26
0.29/0.25	c Got one! Elapsed wall clock time (in seconds):0.107
0.29/0.25	o 25
0.86/0.53	c cleaning 2640 clauses out of 5280 with flag 12151/5280
1.43/0.80	c cleaning 4318 clauses out of 8642 with flag 25804/11282
1.84/1.04	c cleaning 5657 clauses out of 11322 with flag 41715/18280
1.84/1.09	c Got one! Elapsed wall clock time (in seconds):0.943
1.84/1.09	o 24
2.22/1.20	c cleaning 5811 clauses out of 11628 with flag 9198/24243
2.43/1.32	c cleaning 5905 clauses out of 11817 with flag 22384/30243
2.62/1.46	c cleaning 6454 clauses out of 12913 with flag 38399/37244
2.98/1.61	c cleaning 7229 clauses out of 14459 with flag 57150/45244
3.09/1.79	c cleaning 8113 clauses out of 16229 with flag 77367/54243
3.30/1.98	c cleaning 9058 clauses out of 18117 with flag 99995/64244
3.61/2.20	c cleaning 10029 clauses out of 20059 with flag 124525/75244
3.80/2.48	c cleaning 11010 clauses out of 22030 with flag 152437/87244
4.11/2.78	c cleaning 12009 clauses out of 24019 with flag 182662/100243
4.41/3.08	c cleaning 12995 clauses out of 26010 with flag 214370/114243
4.71/3.39	c cleaning 14007 clauses out of 28016 with flag 248079/129244
5.16/3.75	c cleaning 15001 clauses out of 30009 with flag 284034/145244
5.56/4.16	c cleaning 15996 clauses out of 32007 with flag 322363/162243
5.96/4.58	c cleaning 17004 clauses out of 34012 with flag 362857/180244
6.47/5.03	c cleaning 18002 clauses out of 36007 with flag 405560/199243
6.96/5.53	c cleaning 18997 clauses out of 38006 with flag 450672/219244
7.46/6.05	c cleaning 19997 clauses out of 40008 with flag 498652/240243
8.05/6.61	c cleaning 21000 clauses out of 42012 with flag 549487/262244
8.66/7.20	c cleaning 22001 clauses out of 44011 with flag 601777/285243
9.25/7.89	c cleaning 22997 clauses out of 46010 with flag 656924/309243
10.07/8.61	c cleaning 24003 clauses out of 48013 with flag 713081/334243
10.66/9.27	c cleaning 24997 clauses out of 50010 with flag 771276/360243
11.36/9.97	c cleaning 26003 clauses out of 52013 with flag 831686/387243
12.16/10.75	c cleaning 26999 clauses out of 54011 with flag 893903/415244
12.95/11.52	c cleaning 28005 clauses out of 56013 with flag 958659/444245
12.95/11.55	c Got one! Elapsed wall clock time (in seconds):11.405
12.95/11.55	o 23
13.17/11.72	c cleaning 16740 clauses out of 33488 with flag 8967/449725
13.27/11.84	c cleaning 11367 clauses out of 22748 with flag 22523/455725
13.37/11.97	c cleaning 9176 clauses out of 18379 with flag 38587/462723
13.71/12.10	c cleaning 8597 clauses out of 17204 with flag 56573/470724
13.86/12.25	c cleaning 8791 clauses out of 17606 with flag 77289/479723
14.07/12.43	c cleaning 9401 clauses out of 18815 with flag 100998/489723
14.27/12.64	c cleaning 10197 clauses out of 20414 with flag 127431/500723
14.46/12.88	c cleaning 11099 clauses out of 22217 with flag 156064/512723
14.77/13.13	c cleaning 12053 clauses out of 24120 with flag 187820/525725
14.96/13.39	c cleaning 13029 clauses out of 26065 with flag 219920/539723
15.26/13.67	c cleaning 14015 clauses out of 28036 with flag 253887/554723
15.56/13.98	c cleaning 15000 clauses out of 30021 with flag 289808/570723
15.96/14.33	c cleaning 16001 clauses out of 32021 with flag 327794/587723
16.36/14.71	c cleaning 17001 clauses out of 34020 with flag 368473/605723
16.66/15.09	c cleaning 18006 clauses out of 36020 with flag 411341/624724
17.16/15.52	c cleaning 19001 clauses out of 38013 with flag 456192/644723
17.56/15.98	c cleaning 20005 clauses out of 40013 with flag 503528/665724
18.16/16.53	c cleaning 21001 clauses out of 42007 with flag 552859/687723
18.66/17.06	c cleaning 21998 clauses out of 44006 with flag 604119/710723
19.26/17.63	c cleaning 23003 clauses out of 46010 with flag 657668/734725
19.86/18.23	c cleaning 23998 clauses out of 48005 with flag 713575/759723
20.45/18.80	c cleaning 24993 clauses out of 50007 with flag 771741/785723
21.06/19.45	c cleaning 25999 clauses out of 52015 with flag 831911/812724
21.77/20.18	c cleaning 26997 clauses out of 54015 with flag 894708/840723
22.56/20.90	c cleaning 28003 clauses out of 56019 with flag 959782/869724
23.35/21.70	c cleaning 29004 clauses out of 58017 with flag 1026905/899725
24.15/22.52	c cleaning 29997 clauses out of 60014 with flag 1096221/930726
24.96/23.34	c cleaning 31003 clauses out of 62014 with flag 1167646/962723
25.86/24.24	c cleaning 31997 clauses out of 64011 with flag 1241749/995723
26.86/25.27	c cleaning 33001 clauses out of 66015 with flag 1319553/1029724
27.86/26.27	c cleaning 33998 clauses out of 68013 with flag 1398436/1064723
28.96/27.30	c cleaning 34998 clauses out of 70016 with flag 1479318/1100724
30.06/28.45	c cleaning 36000 clauses out of 72018 with flag 1565195/1137724
31.36/29.71	c cleaning 37003 clauses out of 74017 with flag 1652368/1175723
32.45/30.85	c cleaning 37998 clauses out of 76015 with flag 1740860/1214724
33.66/32.03	c cleaning 39004 clauses out of 78020 with flag 1830730/1254727
34.86/33.21	c cleaning 39999 clauses out of 80012 with flag 1923358/1295723
36.16/34.51	c cleaning 40998 clauses out of 82014 with flag 2017699/1337724
37.35/35.77	c cleaning 42002 clauses out of 84015 with flag 2114513/1380723
38.95/37.30	c cleaning 42995 clauses out of 86013 with flag 2213110/1424723
40.46/38.82	c cleaning 44001 clauses out of 88018 with flag 2314449/1469723
41.85/40.29	c cleaning 45000 clauses out of 90019 with flag 2417485/1515725
43.45/41.80	c cleaning 46000 clauses out of 92018 with flag 2523078/1562724
45.05/43.43	c cleaning 46998 clauses out of 94018 with flag 2630300/1610724
46.65/45.01	c cleaning 47998 clauses out of 96019 with flag 2740839/1659723
48.45/46.82	c cleaning 48998 clauses out of 98021 with flag 2852788/1709723
50.14/48.58	c cleaning 50001 clauses out of 100023 with flag 2967340/1760723
52.04/50.41	c cleaning 50996 clauses out of 102023 with flag 3084348/1812724
53.84/52.26	c cleaning 52000 clauses out of 104027 with flag 3202983/1865724
56.20/54.42	c cleaning 53008 clauses out of 106027 with flag 3331325/1919724
58.38/56.67	c cleaning 54004 clauses out of 108019 with flag 3458730/1974724
60.47/58.71	c cleaning 55000 clauses out of 110015 with flag 3586300/2030724
62.69/60.98	c cleaning 56002 clauses out of 112014 with flag 3717984/2087723
65.57/63.86	c cleaning 57005 clauses out of 114013 with flag 3852928/2145724
68.25/66.52	c cleaning 58003 clauses out of 116007 with flag 3990338/2204723
71.46/69.75	c cleaning 58997 clauses out of 118005 with flag 4130866/2264724
74.35/72.61	c cleaning 59997 clauses out of 120008 with flag 4270334/2325724
77.45/75.79	c cleaning 61004 clauses out of 122011 with flag 4412437/2387724
80.36/78.66	c cleaning 61998 clauses out of 124007 with flag 4561691/2450724
82.85/81.11	c cleaning 62999 clauses out of 126008 with flag 4708407/2514723
85.86/84.11	c cleaning 63998 clauses out of 128009 with flag 4856081/2579723
88.35/86.66	c cleaning 65002 clauses out of 130012 with flag 5008300/2645724
91.24/89.59	c cleaning 66001 clauses out of 132010 with flag 5164536/2712724
94.75/93.02	c cleaning 67001 clauses out of 134008 with flag 5323614/2780723
98.10/96.58	c cleaning 67999 clauses out of 136010 with flag 5488220/2849726
101.52/99.97	c cleaning 69003 clauses out of 138009 with flag 5655958/2919724
105.11/103.53	c cleaning 69997 clauses out of 140006 with flag 5827292/2990724
109.03/107.42	c cleaning 70998 clauses out of 142008 with flag 5995921/3062723
113.42/111.89	c cleaning 72002 clauses out of 144010 with flag 6176238/3135723
117.12/115.58	c cleaning 72990 clauses out of 146008 with flag 6353116/3209723
120.82/119.20	c cleaning 74005 clauses out of 148019 with flag 6533054/3284724
124.62/123.06	c cleaning 74999 clauses out of 150013 with flag 6710528/3360723
128.82/127.39	c cleaning 76002 clauses out of 152016 with flag 6888405/3437725
133.21/131.72	c cleaning 76999 clauses out of 154012 with flag 7068589/3515723
138.02/136.51	c cleaning 78003 clauses out of 156013 with flag 7255734/3594723
142.70/141.28	c cleaning 79005 clauses out of 158011 with flag 7443058/3674724
147.82/146.39	c cleaning 79997 clauses out of 160005 with flag 7632646/3755723
152.91/151.47	c cleaning 81001 clauses out of 162009 with flag 7829590/3837724
158.53/157.16	c cleaning 82000 clauses out of 164007 with flag 8036438/3920723
164.01/162.64	c cleaning 83002 clauses out of 166007 with flag 8236189/4004723
171.02/169.62	c cleaning 83999 clauses out of 168005 with flag 8444638/4089723
176.41/175.03	c cleaning 85001 clauses out of 170007 with flag 8643474/4175724
181.52/180.11	c cleaning 85997 clauses out of 172006 with flag 8843184/4262724
186.54/185.12	c cleaning 86995 clauses out of 174009 with flag 9042560/4350724
191.21/189.95	c cleaning 87997 clauses out of 176013 with flag 9244594/4439723
196.53/195.21	c cleaning 89002 clauses out of 178016 with flag 9448745/4529723
202.23/200.94	c cleaning 90003 clauses out of 180014 with flag 9655835/4620723
206.84/205.52	c cleaning 91003 clauses out of 182011 with flag 9867558/4712723
212.74/211.47	c cleaning 91994 clauses out of 184010 with flag 10079448/4805725
218.35/217.05	c cleaning 93005 clauses out of 186015 with flag 10291036/4899724
223.86/222.60	c cleaning 94000 clauses out of 188010 with flag 10506430/4994724
229.35/228.15	c cleaning 95000 clauses out of 190009 with flag 10722025/5090723
235.38/234.12	c cleaning 96002 clauses out of 192009 with flag 10940392/5187723
241.21/239.98	c cleaning 96999 clauses out of 194008 with flag 11165090/5285724
246.69/245.48	c cleaning 97998 clauses out of 196008 with flag 11386614/5384723
253.48/252.35	c cleaning 98998 clauses out of 198010 with flag 11613661/5484723
259.63/258.45	c cleaning 100002 clauses out of 200013 with flag 11844344/5585724
267.41/266.29	c cleaning 101005 clauses out of 202012 with flag 12081655/5687725
274.75/273.57	c cleaning 102000 clauses out of 204005 with flag 12315115/5790723
282.64/281.50	c cleaning 102998 clauses out of 206005 with flag 12565314/5894723
290.12/289.03	c cleaning 104003 clauses out of 208007 with flag 12832904/5999723
299.14/298.06	c cleaning 105001 clauses out of 210004 with flag 13105429/6105723
307.97/306.80	c cleaning 105996 clauses out of 212003 with flag 13375685/6212723
316.34/315.30	c cleaning 107002 clauses out of 214007 with flag 13660429/6320723
325.13/324.13	c cleaning 108001 clauses out of 216005 with flag 13917779/6429723
333.48/332.42	c cleaning 108997 clauses out of 218005 with flag 14176204/6539724
342.63/341.74	c cleaning 109997 clauses out of 220007 with flag 14441921/6650723
350.35/349.40	c cleaning 110995 clauses out of 222011 with flag 14707974/6762724
359.10/358.11	c cleaning 112002 clauses out of 224015 with flag 14969087/6875723
368.13/367.20	c cleaning 113002 clauses out of 226013 with flag 15242625/6989723
378.20/377.32	c cleaning 114006 clauses out of 228012 with flag 15514125/7104724
387.94/387.06	c cleaning 115001 clauses out of 230006 with flag 15789506/7220724
398.61/397.56	c cleaning 115995 clauses out of 232005 with flag 16064861/7337724
407.44/406.44	c cleaning 116997 clauses out of 234010 with flag 16330207/7455724
415.56/414.76	c cleaning 118001 clauses out of 236012 with flag 16597783/7574723
423.88/423.03	c cleaning 119005 clauses out of 238011 with flag 16866788/7694723
432.70/432.37	c cleaning 119998 clauses out of 240006 with flag 17138978/7815723
440.39/440.24	c cleaning 121000 clauses out of 242009 with flag 17414680/7937724
448.96/448.87	c cleaning 122000 clauses out of 244008 with flag 17691479/8060723
456.95/457.09	c cleaning 123000 clauses out of 246008 with flag 17970083/8184723
465.76/465.83	c cleaning 124002 clauses out of 248008 with flag 18252053/8309723
474.38/474.58	c cleaning 124997 clauses out of 250007 with flag 18537407/8435724
482.98/483.19	c cleaning 126000 clauses out of 252010 with flag 18823495/8562724
491.60/491.76	c cleaning 126999 clauses out of 254010 with flag 19111155/8690724
499.98/500.21	c cleaning 127999 clauses out of 256012 with flag 19402121/8819725
508.80/509.09	c cleaning 128998 clauses out of 258011 with flag 19696405/8949723
517.91/518.28	c cleaning 130002 clauses out of 260014 with flag 19990474/9080724
527.42/527.70	c cleaning 131004 clauses out of 262011 with flag 20287882/9212723
537.23/537.57	c cleaning 132001 clauses out of 264007 with flag 20588031/9345723
548.56/548.92	c cleaning 133000 clauses out of 266006 with flag 20894398/9479723
559.41/559.73	c cleaning 133998 clauses out of 268007 with flag 21196570/9614724
569.43/570.35	c cleaning 135004 clauses out of 270008 with flag 21505504/9750723
578.86/579.77	c cleaning 135994 clauses out of 272004 with flag 21816430/9887723
588.83/589.71	c cleaning 137002 clauses out of 274010 with flag 22128288/10025723
598.54/599.55	c cleaning 138001 clauses out of 276008 with flag 22442110/10164723
608.74/609.71	c cleaning 138999 clauses out of 278008 with flag 22757810/10304724
620.06/621.12	c cleaning 139999 clauses out of 280009 with flag 23091257/10445724
633.17/634.29	c cleaning 141000 clauses out of 282009 with flag 23428080/10587723
644.21/645.32	c cleaning 141993 clauses out of 284010 with flag 23756452/10730724
656.29/657.44	c cleaning 143007 clauses out of 286016 with flag 24108544/10874723
667.62/668.73	c cleaning 143999 clauses out of 288009 with flag 24442084/11019723
680.55/681.72	c cleaning 144999 clauses out of 290011 with flag 24779262/11165724
691.02/692.29	c cleaning 146006 clauses out of 292011 with flag 25109259/11312723
701.45/702.64	c cleaning 147003 clauses out of 294005 with flag 25445135/11460723
713.71/714.91	c cleaning 147999 clauses out of 296003 with flag 25790660/11609724
727.12/728.46	c cleaning 148997 clauses out of 298003 with flag 26144248/11759723
741.25/742.54	c cleaning 150002 clauses out of 300008 with flag 26505018/11910725
760.50/761.89	c cleaning 150997 clauses out of 302004 with flag 26872669/12062723
775.88/777.28	c cleaning 152004 clauses out of 304012 with flag 27246484/12215728
792.65/794.06	c cleaning 152992 clauses out of 306003 with flag 27626377/12369723
806.20/807.63	c cleaning 154002 clauses out of 308012 with flag 27996111/12524724
823.02/824.43	c cleaning 155001 clauses out of 310009 with flag 28374785/12680723
836.22/837.84	c cleaning 156001 clauses out of 312009 with flag 28754275/12837724
852.13/853.82	c cleaning 157000 clauses out of 314007 with flag 29148752/12995723
868.44/870.11	c cleaning 158004 clauses out of 316007 with flag 29549560/13154723
884.43/887.17	c cleaning 158993 clauses out of 318003 with flag 29955464/13314723
903.60/906.46	c cleaning 160006 clauses out of 320011 with flag 30351979/13475724
925.37/928.43	c cleaning 160997 clauses out of 322004 with flag 30761172/13637723
940.57/943.71	c cleaning 162001 clauses out of 324007 with flag 31124881/13800723
954.60/957.72	c cleaning 163000 clauses out of 326006 with flag 31492254/13964723
968.72/971.90	c cleaning 163996 clauses out of 328006 with flag 31861524/14129723
984.55/987.85	c cleaning 165000 clauses out of 330011 with flag 32232767/14295724
997.75/1001.07	c cleaning 166004 clauses out of 332011 with flag 32606032/14462724
1012.77/1016.17	c cleaning 167004 clauses out of 334007 with flag 32983267/14630724
1025.15/1028.56	c cleaning 167996 clauses out of 336003 with flag 33361902/14799724
1038.62/1042.18	c cleaning 169001 clauses out of 338006 with flag 33742090/14969723
1054.70/1058.34	c cleaning 169999 clauses out of 340006 with flag 34125030/15140724
1070.09/1073.74	c cleaning 170999 clauses out of 342007 with flag 34509327/15312724
1085.51/1089.21	c cleaning 171998 clauses out of 344007 with flag 34899667/15485723
1101.38/1105.17	c cleaning 173001 clauses out of 346009 with flag 35293905/15659723
1116.25/1120.02	c cleaning 173996 clauses out of 348012 with flag 35692601/15834727
1131.85/1135.61	c cleaning 174994 clauses out of 350012 with flag 36087930/16010723
1151.08/1154.95	c cleaning 176006 clauses out of 352019 with flag 36504896/16187724
1167.74/1171.64	c cleaning 177004 clauses out of 354013 with flag 36918070/16365724
1191.65/1195.62	c cleaning 177999 clauses out of 356009 with flag 37329323/16544724
1209.11/1213.19	c cleaning 178998 clauses out of 358010 with flag 37738085/16724724
1231.64/1235.62	c cleaning 180000 clauses out of 360011 with flag 38144840/16905723
1252.54/1256.60	c cleaning 181002 clauses out of 362012 with flag 38566863/17087724
1273.43/1277.62	c cleaning 182003 clauses out of 364011 with flag 39002667/17270725
1299.86/1304.17	c cleaning 182995 clauses out of 366007 with flag 39461762/17454724
1319.38/1323.60	c cleaning 183999 clauses out of 368011 with flag 39877897/17639723
1337.81/1342.20	c cleaning 184996 clauses out of 370012 with flag 40312533/17825723
1361.66/1366.04	c cleaning 186002 clauses out of 372016 with flag 40746125/18012723
1380.83/1385.28	c cleaning 187003 clauses out of 374014 with flag 41169033/18200723
1398.60/1402.84	c cleaning 188005 clauses out of 376012 with flag 41607946/18389724
1417.53/1421.80	c cleaning 188998 clauses out of 378008 with flag 42028344/18579725
1436.00/1440.34	c cleaning 190002 clauses out of 380009 with flag 42450766/18770724
1458.12/1462.52	c cleaning 191001 clauses out of 382007 with flag 42882056/18962724
1481.62/1486.04	c cleaning 191995 clauses out of 384005 with flag 43315672/19155723
1503.50/1507.95	c cleaning 193000 clauses out of 386010 with flag 43763528/19349723
1522.66/1527.11	c cleaning 194001 clauses out of 388010 with flag 44209577/19544723
1545.16/1549.64	c cleaning 195004 clauses out of 390009 with flag 44659047/19740723
1566.29/1571.06	c cleaning 195998 clauses out of 392007 with flag 45104664/19937725
1593.99/1598.82	c cleaning 197000 clauses out of 394008 with flag 45557449/20135724
1617.92/1622.97	c cleaning 197996 clauses out of 396007 with flag 46005422/20334723
1641.65/1646.77	c cleaning 199001 clauses out of 398011 with flag 46450989/20534723
1665.61/1670.99	c cleaning 200001 clauses out of 400010 with flag 46898978/20735723
1687.27/1692.64	c cleaning 200998 clauses out of 402011 with flag 47348064/20937725
1712.47/1717.94	c cleaning 201998 clauses out of 404012 with flag 47798924/21140724
1738.60/1744.11	c cleaning 203000 clauses out of 406015 with flag 48253131/21344725
1767.76/1773.30	c cleaning 204003 clauses out of 408014 with flag 48707883/21549724
1792.38/1798.07	c cleaning 205002 clauses out of 410013 with flag 49166260/21755726
1815.24/1821.08	c cleaning 205999 clauses out of 412008 with flag 49625564/21962723
1838.78/1844.67	c cleaning 206999 clauses out of 414009 with flag 50092672/22170723
1865.79/1871.75	c cleaning 208004 clauses out of 416011 with flag 50558523/22379724
1891.35/1897.38	c cleaning 208997 clauses out of 418006 with flag 51027068/22589723
1920.25/1926.60	c cleaning 210004 clauses out of 420012 with flag 51506021/22800726
1948.38/1954.82	c cleaning 210997 clauses out of 422006 with flag 51989109/23012724
1979.46/1985.94	c cleaning 211998 clauses out of 424009 with flag 52479236/23225724
2006.57/2013.39	c cleaning 213004 clauses out of 426010 with flag 52964326/23439723
2038.90/2046.15	c cleaning 213998 clauses out of 428006 with flag 53473149/23654723
2071.14/2078.43	c cleaning 214996 clauses out of 430009 with flag 53972253/23870724
2105.00/2112.78	c cleaning 215999 clauses out of 432013 with flag 54479383/24087724
2145.50/2153.50	c cleaning 217001 clauses out of 434013 with flag 54995945/24305723
2182.04/2190.26	c cleaning 218000 clauses out of 436012 with flag 55523125/24524723
2211.94/2220.41	c cleaning 218998 clauses out of 438012 with flag 56026640/24744723
2239.86/2248.72	c cleaning 220004 clauses out of 440016 with flag 56523787/24965725
2265.55/2274.43	c cleaning 221000 clauses out of 442010 with flag 57033903/25187723
2312.46/2321.42	c cleaning 222000 clauses out of 444011 with flag 57627824/25410724
2332.45/2341.50	c cleaning 222999 clauses out of 446010 with flag 58140905/25634723
2352.39/2361.53	c cleaning 224001 clauses out of 448013 with flag 58652539/25859725
2373.15/2382.34	c cleaning 225000 clauses out of 450011 with flag 59158716/26085724
2392.19/2401.52	c cleaning 225997 clauses out of 452011 with flag 59674364/26312724
2417.18/2426.95	c cleaning 227000 clauses out of 454015 with flag 60200414/26540725
2441.83/2451.95	c cleaning 227998 clauses out of 456014 with flag 60739415/26769724
2461.52/2471.69	c cleaning 229003 clauses out of 458016 with flag 61253859/26999724
2488.37/2498.80	c cleaning 230004 clauses out of 460013 with flag 61778899/27230724
2523.67/2534.23	c cleaning 230995 clauses out of 462008 with flag 62315985/27462723
2549.94/2560.55	c cleaning 232000 clauses out of 464014 with flag 62837377/27695724
2578.45/2589.19	c cleaning 232997 clauses out of 466014 with flag 63386169/27929724
2603.95/2614.74	c cleaning 234006 clauses out of 468016 with flag 63920158/28164723
2629.07/2639.98	c cleaning 235001 clauses out of 470011 with flag 64463643/28400724
2652.08/2662.98	c cleaning 235997 clauses out of 472010 with flag 64992137/28637724
2678.47/2689.34	c cleaning 237003 clauses out of 474012 with flag 65534750/28875723
2707.01/2717.95	c cleaning 237995 clauses out of 476010 with flag 66086576/29114724
2749.74/2760.88	c cleaning 238998 clauses out of 478014 with flag 66637091/29354723
2779.77/2791.03	c cleaning 240003 clauses out of 480016 with flag 67189282/29595723
2809.33/2820.66	c cleaning 241005 clauses out of 482015 with flag 67743438/29837725
2840.89/2852.41	c cleaning 241999 clauses out of 484009 with flag 68304532/30080724
2866.47/2878.07	c cleaning 242999 clauses out of 486009 with flag 68848860/30324723
2900.11/2911.93	c cleaning 243998 clauses out of 488010 with flag 69407139/30569723
2931.24/2943.14	c cleaning 245003 clauses out of 490013 with flag 69963644/30815724
2962.03/2973.78	c cleaning 246002 clauses out of 492009 with flag 70521361/31062723
2992.53/3004.39	c cleaning 246998 clauses out of 494008 with flag 71076358/31310724
3024.92/3036.96	c cleaning 247996 clauses out of 496010 with flag 71637139/31559724
3064.56/3076.63	c cleaning 248998 clauses out of 498014 with flag 72199623/31809724
3101.77/3113.98	c cleaning 250001 clauses out of 500015 with flag 72762320/32060723
3138.20/3150.62	c cleaning 251003 clauses out of 502014 with flag 73331159/32312723
3176.04/3188.61	c cleaning 252003 clauses out of 504011 with flag 73911479/32565723
3209.27/3221.91	c cleaning 253004 clauses out of 506008 with flag 74494075/32819723
3248.21/3260.94	c cleaning 253995 clauses out of 508004 with flag 75094973/33074723
3286.16/3299.03	c cleaning 254995 clauses out of 510010 with flag 75674419/33330724
3316.67/3329.51	c cleaning 256004 clauses out of 512014 with flag 76243327/33587723
3352.69/3365.69	c cleaning 257001 clauses out of 514012 with flag 76826101/33845725
3386.41/3399.47	c cleaning 258001 clauses out of 516009 with flag 77397822/34104723
3417.02/3430.03	c cleaning 259000 clauses out of 518009 with flag 77975190/34364724
3450.84/3464.13	c cleaning 259996 clauses out of 520009 with flag 78552924/34625724
3486.66/3500.15	c cleaning 261000 clauses out of 522014 with flag 79146082/34887725
3528.89/3542.46	c cleaning 262005 clauses out of 524013 with flag 79800504/35150724
3567.99/3581.64	c cleaning 262998 clauses out of 526007 with flag 80432441/35414723
3600.02/3613.71	c starts		: 23
3600.02/3613.72	c conflicts		: 35679723
3600.02/3613.72	c decisions		: 52712144
3600.02/3613.72	c propagations		: 317243475
3600.02/3613.72	c inspects		: 35256765853
3600.02/3613.72	c shortcuts		: 0
3600.02/3613.72	c learnt literals	: 0
3600.02/3613.72	c learnt binary clauses	: 0
3600.02/3613.72	c learnt ternary clauses	: 0
3600.02/3613.72	c learnt constraints	: 35679723
3600.02/3613.72	c ignored constraints	: 0
3600.02/3613.72	c root simplifications	: 0
3600.02/3613.72	c removed literals (reason simplification)	: 54669049
3600.02/3613.73	c reason swapping (by a shorter reason)	: 0
3600.02/3613.73	c Calls to reduceDB	: 289
3600.02/3613.73	c Number of update (reduction) of LBD	: 3127269
3600.02/3613.73	c Imported unit clauses	: 0
3600.02/3613.73	c No decision after first conflict	: false
3600.02/3613.73	c number of reductions to clauses (during analyze)	: 0
3600.02/3613.73	c number of learned constraints concerned by reduction	: 0
3600.02/3613.73	c number of learning phase by resolution	: 0
3600.02/3613.73	c number of learning phase by cutting planes	: 0
3600.02/3613.73	c number of rounding to 1 operations	: 0
3600.02/3613.73	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3613.73	c number of reductions of the coefficients by power 2 	: 0
3600.02/3613.73	c number of right shift for reduction by power 2 	: 0
3600.02/3613.73	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3613.73	c number of ending skipping 	: 0
3600.02/3613.73	c number of internal skipping 	: 0
3600.02/3613.73	c number of derivation steps 	: 0
3600.02/3613.73	c number of skipped derivation steps 	: 0
3600.02/3613.73	c number of remaining unassigned 	: 0
3600.02/3613.74	c number of remaining assigned 	: 0
3600.02/3613.74	c number of falsified literals weakened from reason	: 0
3600.02/3613.74	c number of falsified literals weakened from conflict	: 0
3600.02/3613.74	c time for arithmetic operations	: 0
3600.02/3613.74	c minimum degree of deleted constraints	: null
3600.02/3613.74	c maximum degree of deleted constraints	: null
3600.02/3613.74	c number of deleted constraints	: 0
3600.02/3613.74	c speed (assignments/second)	: 87792.47811231081
3600.02/3613.75	c non guided choices	: 0
3600.21/3613.82	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 528009
3600.21/3613.82	s SATISFIABLE
3600.21/3613.82	c Found 5 solution(s)
3600.21/3613.82	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 
3600.21/3613.83	c objective function=23
3600.21/3613.83	c Total wall clock time (in seconds): 3613.69

Verifier Data 

OK	23

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: 63665 MiB (61856 MiB free)
  memory of node 1: 64507 MiB (61027 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4487813-1751338867/watcher-4487813-1751338867 -o /tmp/evaluation-result-4487813-1751338867/solver-4487813-1751338867 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751335254-43898 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4487813-1751338867 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4487813-1751338867.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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=44556, runsolver pid=44553
Current StackSize limit: 8192 KiB


[startup+0.10005 s]*
/proc/loadavg: 4.33 4.23 4.13 8/342 44574
/proc/meminfo: memFree=125782372/131249996 swapFree=33010416/33010684
[pid=44556] ppid=44553 vsize=18930384 memory=53108 CPUtime=0.1 cores=4,6
/proc/44556/stat : 44556 (java) S 44553 44556 43887 0 -1 4194304 6422 0 0 0 8 2 0 0 20 0 18 0 49566282 19384713216 13277 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
/proc/44556/statm: 4732596 13277 5337 1 0 547531 0
[pid=44556/tid=44558] ppid=44553 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=4,6
/proc/44556/task/44558/stat : 44558 (java) S 44553 44556 43887 0 -1 4194368 4969 0 0 0 5 1 0 0 20 0 18 0 49566284 19384713216 13277 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
[pid=44556/tid=44567] ppid=44553 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/44556/task/44567/stat : 44567 (Finalizer) S 44553 44556 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 49566286 19384713216 13277 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
[pid=44556/tid=44574] ppid=44553 vsize=18930384 memory=59585004335790 CPUtime=0 cores=4,6
/proc/44556/task/44574/stat : 44574 (Common-Cleaner) S 44553 44556 43887 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 49566287 19384713216 13277 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53108 KiB

[startup+0.205898 s]*
/proc/loadavg: 4.33 4.23 4.13 9/343 44575
/proc/meminfo: memFree=125743344/131249996 swapFree=33010416/33010684
[pid=44556] ppid=44553 vsize=18996948 memory=62572 CPUtime=0.29 cores=4,6
/proc/44556/stat : 44556 (java) S 44553 44556 43887 0 -1 4194304 7125 0 0 0 26 3 0 0 20 0 19 0 49566282 19452874752 15643 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
/proc/44556/statm: 4749237 15643 5497 1 0 548252 0
[pid=44556/tid=44558] ppid=44553 vsize=18996948 memory=4026663196 CPUtime=0.16 cores=4,6
/proc/44556/task/44558/stat : 44558 (java) R 44553 44556 43887 0 -1 4194368 5390 0 0 0 14 2 0 0 20 0 19 0 49566284 19452874752 15643 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
[pid=44556/tid=44567] ppid=44553 vsize=18996948 memory=16912 CPUtime=0 cores=4,6
/proc/44556/task/44567/stat : 44567 (Finalizer) S 44553 44556 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 49566286 19452874752 15643 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
[pid=44556/tid=44574] ppid=44553 vsize=18996948 memory=58485492679654 CPUtime=0 cores=4,6
/proc/44556/task/44574/stat : 44574 (Common-Cleaner) S 44553 44556 43887 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 49566287 19452874752 15643 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
[pid=44556/tid=44575] ppid=44553 vsize=18996948 memory=145353 CPUtime=0 cores=4,6
/proc/44556/task/44575/stat : 44575 (Timer-0) S 44553 44556 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 49566300 19452874752 15643 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 62572 KiB

[startup+0.305893 s]*
/proc/loadavg: 4.33 4.23 4.13 7/344 44576
/proc/meminfo: memFree=125718364/131249996 swapFree=33010416/33010684
[pid=44556] ppid=44553 vsize=18996948 memory=78628 CPUtime=0.48 cores=4,6
/proc/44556/stat : 44556 (java) S 44553 44556 43887 0 -1 4194304 8825 0 0 0 44 4 0 0 20 0 19 0 49566282 19452874752 19657 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
/proc/44556/statm: 4749237 19657 5497 1 0 549078 0
[pid=44556/tid=44558] ppid=44553 vsize=18996948 memory=-6000919494181349483 CPUtime=0.23 cores=4,6
/proc/44556/task/44558/stat : 44558 (java) R 44553 44556 43887 0 -1 4194368 5414 0 0 0 21 2 0 0 20 0 19 0 49566284 19452874752 19657 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
[pid=44556/tid=44567] ppid=44553 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/44556/task/44567/stat : 44567 (Finalizer) S 44553 44556 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 49566286 19452874752 19657 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
[pid=44556/tid=44574] ppid=44553 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/44556/task/44574/stat : 44574 (Common-Cleaner) S 44553 44556 43887 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 49566287 19452874752 19657 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
[pid=44556/tid=44575] ppid=44553 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/44556/task/44575/stat : 44575 (Timer-0) S 44553 44556 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 49566300 19452874752 19657 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 78628 KiB

[startup+0.700241 s]
/proc/loadavg: 4.33 4.23 4.13 7/344 44576
/proc/meminfo: memFree=125627564/131249996 swapFree=33010416/33010684
[pid=44556] ppid=44553 vsize=18996948 memory=165584 CPUtime=1.23 cores=4,6
/proc/44556/stat : 44556 (java) S 44553 44556 43887 0 -1 4194304 13883 0 0 0 117 6 0 0 20 0 19 0 49566282 19452874752 41396 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
/proc/44556/statm: 4749237 41396 5497 1 0 552281 0
[pid=44556/tid=44558] ppid=44553 vsize=18996948 memory=17792 CPUtime=0.58 cores=4,6
/proc/44556/task/44558/stat : 44558 (java) R 44553 44556 43887 0 -1 4194368 5493 0 0 0 55 3 0 0 20 0 19 0 49566284 19452874752 41396 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
[pid=44556/tid=44567] ppid=44553 vsize=18996948 memory=11008 CPUtime=0 cores=4,6
/proc/44556/task/44567/stat : 44567 (Finalizer) S 44553 44556 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 49566286 19452874752 41396 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
[pid=44556/tid=44574] ppid=44553 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/44556/task/44574/stat : 44574 (Common-Cleaner) S 44553 44556 43887 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 49566287 19452874752 41396 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
[pid=44556/tid=44575] ppid=44553 vsize=18996948 memory=4764 CPUtime=0 cores=4,6
/proc/44556/task/44575/stat : 44575 (Timer-0) S 44553 44556 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 49566300 19452874752 41396 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 165584 KiB

[startup+1.50024 s]
/proc/loadavg: 4.33 4.23 4.13 7/346 44578
/proc/meminfo: memFree=125510680/131249996 swapFree=33010416/33010684
[pid=44556] ppid=44553 vsize=19063512 memory=170892 CPUtime=2.81 cores=4,6
/proc/44556/stat : 44556 (java) S 44553 44556 43887 0 -1 4194304 18335 0 0 0 273 8 0 0 20 0 20 0 49566282 19521036288 42723 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
/proc/44556/statm: 4765878 42723 5529 1 0 552594 0
[pid=44556/tid=44558] ppid=44553 vsize=19063512 memory=0 CPUtime=1.36 cores=4,6
/proc/44556/task/44558/stat : 44558 (java) R 44553 44556 43887 0 -1 4194368 5879 0 0 0 131 5 0 0 20 0 20 0 49566284 19521036288 42723 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
[pid=44556/tid=44567] ppid=44553 vsize=19063512 memory=11008 CPUtime=0 cores=4,6
/proc/44556/task/44567/stat : 44567 (Finalizer) S 44553 44556 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49566286 19521036288 42723 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
[pid=44556/tid=44574] ppid=44553 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/44556/task/44574/stat : 44574 (Common-Cleaner) S 44553 44556 43887 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 49566287 19521036288 42723 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
[pid=44556/tid=44575] ppid=44553 vsize=19063512 memory=4764 CPUtime=0 cores=4,6
/proc/44556/task/44575/stat : 44575 (Timer-0) S 44553 44556 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49566300 19521036288 42723 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
Current children cumulated CPU time: 2.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 170892 KiB

[startup+3.10574 s]
/proc/loadavg: 4.47 4.26 4.14 6/346 44578
/proc/meminfo: memFree=124312072/131249996 swapFree=33010416/33010684
[pid=44556] ppid=44553 vsize=19063512 memory=388212 CPUtime=4.51 cores=4,6
/proc/44556/stat : 44556 (java) S 44553 44556 43887 0 -1 4194304 20381 0 0 0 437 14 0 0 20 0 20 0 49566282 19521036288 97053 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
/proc/44556/statm: 4765878 97053 5529 1 0 552599 0
[pid=44556/tid=44558] ppid=44553 vsize=19063512 memory=11008 CPUtime=2.95 cores=4,6
/proc/44556/task/44558/stat : 44558 (java) R 44553 44556 43887 0 -1 4194368 6349 0 0 0 285 10 0 0 20 0 20 0 49566284 19521036288 97053 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
[pid=44556/tid=44567] ppid=44553 vsize=19063512 memory=-6000919494181349483 CPUtime=0 cores=4,6
/proc/44556/task/44567/stat : 44567 (Finalizer) S 44553 44556 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49566286 19521036288 97053 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
[pid=44556/tid=44574] ppid=44553 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/44556/task/44574/stat : 44574 (Common-Cleaner) S 44553 44556 43887 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 49566287 19521036288 97053 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
[pid=44556/tid=44575] ppid=44553 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/44556/task/44575/stat : 44575 (Timer-0) S 44553 44556 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49566300 19521036288 97053 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
Current children cumulated CPU time: 4.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 388212 KiB

[startup+6.3002 s]
/proc/loadavg: 4.47 4.26 4.14 6/346 44578
/proc/meminfo: memFree=121768696/131249996 swapFree=33010416/33010684
[pid=44556] ppid=44553 vsize=19063512 memory=737636 CPUtime=7.75 cores=4,6
/proc/44556/stat : 44556 (java) S 44553 44556 43887 0 -1 4194304 21107 0 0 0 751 24 0 0 20 0 20 0 49566282 19521036288 184409 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
/proc/44556/statm: 4765878 184409 5529 1 0 552600 0
[pid=44556/tid=44558] ppid=44553 vsize=19063512 memory=0 CPUtime=6.13 cores=4,6
/proc/44556/task/44558/stat : 44558 (java) R 44553 44556 43887 0 -1 4194368 6896 0 0 0 592 21 0 0 20 0 20 0 49566284 19521036288 184409 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
[pid=44556/tid=44567] ppid=44553 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/44556/task/44567/stat : 44567 (Finalizer) S 44553 44556 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49566286 19521036288 184409 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
[pid=44556/tid=44574] ppid=44553 vsize=19063512 memory=11008 CPUtime=0 cores=4,6
/proc/44556/task/44574/stat : 44574 (Common-Cleaner) S 44553 44556 43887 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 49566287 19521036288 184409 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
[pid=44556/tid=44575] ppid=44553 vsize=19063512 memory=179128 CPUtime=0 cores=4,6
/proc/44556/task/44575/stat : 44575 (Timer-0) S 44553 44556 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49566300 19521036288 184409 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
Current children cumulated CPU time: 7.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 737636 KiB

[startup+12.7002 s]
/proc/loadavg: 4.55 4.29 4.15 6/346 44578
/proc/meminfo: memFree=117575556/131249996 swapFree=33010416/33010684
[pid=44556] ppid=44553 vsize=19063512 memory=1314556 CPUtime=14.36 cores=4,6
/proc/44556/stat : 44556 (java) S 44553 44556 43887 0 -1 4194304 29899 0 0 0 1391 45 0 0 20 0 20 0 49566282 19521036288 328639 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
/proc/44556/statm: 4765878 328639 5529 1 0 553257 0
[pid=44556/tid=44558] ppid=44553 vsize=19063512 memory=179128 CPUtime=12.49 cores=4,6
/proc/44556/task/44558/stat : 44558 (java) R 44553 44556 43887 0 -1 4194368 8647 0 0 0 1209 40 0 0 20 0 20 0 49566284 19521036288 328639 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
[pid=44556/tid=44567] ppid=44553 vsize=19063512 memory=1307000 CPUtime=0 cores=4,6
/proc/44556/task/44567/stat : 44567 (Finalizer) S 44553 44556 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49566286 19521036288 328639 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
[pid=44556/tid=44574] ppid=44553 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/44556/task/44574/stat : 44574 (Common-Cleaner) S 44553 44556 43887 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 49566287 19521036288 328639 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
[pid=44556/tid=44575] ppid=44553 vsize=19063512 memory=11008 CPUtime=0 cores=4,6
/proc/44556/task/44575/stat : 44575 (Timer-0) S 44553 44556 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49566300 19521036288 328639 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
Current children cumulated CPU time: 14.36 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1314556 KiB

[startup+25.5002 s]
/proc/loadavg: 4.47 4.28 4.15 6/346 44578
/proc/meminfo: memFree=113726876/131249996 swapFree=33010416/33010684
[pid=44556] ppid=44553 vsize=19063512 memory=1315344 CPUtime=27.17 cores=4,6
/proc/44556/stat : 44556 (java) S 44553 44556 43887 0 -1 4194304 32716 0 0 0 2655 62 0 0 20 0 20 0 49566282 19521036288 328836 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
/proc/44556/statm: 4765878 328836 5529 1 0 553257 0
[pid=44556/tid=44558] ppid=44553 vsize=19063512 memory=1307000 CPUtime=25.21 cores=4,6
/proc/44556/task/44558/stat : 44558 (java) R 44553 44556 43887 0 -1 4194368 9507 0 0 0 2466 55 0 0 20 0 20 0 49566284 19521036288 328836 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
[pid=44556/tid=44567] ppid=44553 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/44556/task/44567/stat : 44567 (Finalizer) S 44553 44556 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49566286 19521036288 328836 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
[pid=44556/tid=44574] ppid=44553 vsize=19063512 memory=1307132 CPUtime=0 cores=4,6
/proc/44556/task/44574/stat : 44574 (Common-Cleaner) S 44553 44556 43887 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 49566287 19521036288 328836 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
[pid=44556/tid=44575] ppid=44553 vsize=19063512 memory=17792 CPUtime=0 cores=4,6
/proc/44556/task/44575/stat : 44575 (Timer-0) S 44553 44556 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49566300 19521036288 328836 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
Current children cumulated CPU time: 27.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1315344 KiB

[startup+51.1058 s]
/proc/loadavg: 4.50 4.30 4.16 5/346 44578
/proc/meminfo: memFree=108715980/131249996 swapFree=33010416/33010684
[pid=44556] ppid=44553 vsize=19063512 memory=1323588 CPUtime=52.74 cores=4,6
/proc/44556/stat : 44556 (java) S 44553 44556 43887 0 -1 4194304 36098 0 0 0 5185 89 0 0 20 0 20 0 49566282 19521036288 330897 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
/proc/44556/statm: 4765878 330897 5529 1 0 553257 0

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

/proc/44556/task/44567/stat : 44567 (Finalizer) S 44553 44556 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49566286 19521036288 540682 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
[pid=44556/tid=44574] ppid=44553 vsize=19063512 memory=-6000919494181349483 CPUtime=0 cores=4,6
/proc/44556/task/44574/stat : 44574 (Common-Cleaner) S 44553 44556 43887 0 -1 4194368 1718 0 0 0 0 0 0 0 20 0 20 0 49566287 19521036288 540682 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
[pid=44556/tid=44575] ppid=44553 vsize=19063512 memory=11008 CPUtime=0 cores=4,6
/proc/44556/task/44575/stat : 44575 (Timer-0) S 44553 44556 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49566300 19521036288 540682 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
Current children cumulated CPU time: 3209.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2162728 KiB

[startup+3282.3 s]
/proc/loadavg: 4.45 4.33 4.44 5/348 44830
/proc/meminfo: memFree=54866728/131249996 swapFree=33010416/33010684
[pid=44556] ppid=44553 vsize=19063512 memory=2162728 CPUtime=3269.49 cores=4,6
/proc/44556/stat : 44556 (java) S 44553 44556 43887 0 -1 4194304 107070 0 0 0 325680 1269 0 0 20 0 20 0 49566282 19521036288 540682 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
/proc/44556/statm: 4765878 540682 5561 1 0 554062 0
[pid=44556/tid=44558] ppid=44553 vsize=19063512 memory=2162728 CPUtime=3246.64 cores=4,6
/proc/44556/task/44558/stat : 44558 (java) R 44553 44556 43887 0 -1 4194368 42287 0 0 0 323485 1179 0 0 20 0 20 0 49566284 19521036288 540682 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
[pid=44556/tid=44567] ppid=44553 vsize=19063512 memory=1920 CPUtime=0 cores=4,6
/proc/44556/task/44567/stat : 44567 (Finalizer) S 44553 44556 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49566286 19521036288 540682 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
[pid=44556/tid=44574] ppid=44553 vsize=19063512 memory=17792 CPUtime=0 cores=4,6
/proc/44556/task/44574/stat : 44574 (Common-Cleaner) S 44553 44556 43887 0 -1 4194368 1855 0 0 0 0 0 0 0 20 0 20 0 49566287 19521036288 540682 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
[pid=44556/tid=44575] ppid=44553 vsize=19063512 memory=2162728 CPUtime=0 cores=4,6
/proc/44556/task/44575/stat : 44575 (Timer-0) S 44553 44556 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49566300 19521036288 540682 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
Current children cumulated CPU time: 3269.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2162728 KiB

[startup+3342.3 s]
/proc/loadavg: 4.36 4.32 4.43 5/348 44832
/proc/meminfo: memFree=53554180/131249996 swapFree=33010416/33010684
[pid=44556] ppid=44553 vsize=19063512 memory=2162728 CPUtime=3329.44 cores=4,6
/proc/44556/stat : 44556 (java) S 44553 44556 43887 0 -1 4194304 107162 0 0 0 331661 1283 0 0 20 0 20 0 49566282 19521036288 540682 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
/proc/44556/statm: 4765878 540682 5561 1 0 554062 0
[pid=44556/tid=44558] ppid=44553 vsize=19063512 memory=17792 CPUtime=3306.17 cores=4,6
/proc/44556/task/44558/stat : 44558 (java) R 44553 44556 43887 0 -1 4194368 42297 0 0 0 329425 1192 0 0 20 0 20 0 49566284 19521036288 540682 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
[pid=44556/tid=44567] ppid=44553 vsize=19063512 memory=11008 CPUtime=0 cores=4,6
/proc/44556/task/44567/stat : 44567 (Finalizer) S 44553 44556 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49566286 19521036288 540682 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
[pid=44556/tid=44574] ppid=44553 vsize=19063512 memory=2162728 CPUtime=0 cores=4,6
/proc/44556/task/44574/stat : 44574 (Common-Cleaner) S 44553 44556 43887 0 -1 4194368 1855 0 0 0 0 0 0 0 20 0 20 0 49566287 19521036288 540682 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
[pid=44556/tid=44575] ppid=44553 vsize=19063512 memory=6900 CPUtime=0 cores=4,6
/proc/44556/task/44575/stat : 44575 (Timer-0) S 44553 44556 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49566300 19521036288 540682 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
Current children cumulated CPU time: 3329.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2162728 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.27 4.40 5/348 44834
/proc/meminfo: memFree=52259224/131249996 swapFree=33010416/33010684
[pid=44556] ppid=44553 vsize=19063512 memory=2162728 CPUtime=3389.25 cores=4,6
/proc/44556/stat : 44556 (java) S 44553 44556 43887 0 -1 4194304 107690 0 0 0 337626 1299 0 0 20 0 20 0 49566282 19521036288 540682 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
/proc/44556/statm: 4765878 540682 5561 1 0 554062 0
[pid=44556/tid=44558] ppid=44553 vsize=19063512 memory=9135227315399677377 CPUtime=3365.76 cores=4,6
/proc/44556/task/44558/stat : 44558 (java) R 44553 44556 43887 0 -1 4194368 42751 0 0 0 335369 1207 0 0 20 0 20 0 49566284 19521036288 540682 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
[pid=44556/tid=44567] ppid=44553 vsize=19063512 memory=17792 CPUtime=0 cores=4,6
/proc/44556/task/44567/stat : 44567 (Finalizer) S 44553 44556 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49566286 19521036288 540682 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
[pid=44556/tid=44574] ppid=44553 vsize=19063512 memory=2162728 CPUtime=0 cores=4,6
/proc/44556/task/44574/stat : 44574 (Common-Cleaner) S 44553 44556 43887 0 -1 4194368 1855 0 0 0 0 0 0 0 20 0 20 0 49566287 19521036288 540682 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
[pid=44556/tid=44575] ppid=44553 vsize=19063512 memory=2162728 CPUtime=0 cores=4,6
/proc/44556/task/44575/stat : 44575 (Timer-0) S 44553 44556 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49566300 19521036288 540682 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
Current children cumulated CPU time: 3389.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2162728 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.25 4.39 3/347 44836
/proc/meminfo: memFree=51036076/131249996 swapFree=33010416/33010684
[pid=44556] ppid=44553 vsize=19063512 memory=2162728 CPUtime=3449 cores=4,6
/proc/44556/stat : 44556 (java) S 44553 44556 43887 0 -1 4194304 109209 0 0 0 343584 1316 0 0 20 0 20 0 49566282 19521036288 540682 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
/proc/44556/statm: 4765878 540682 5561 1 0 554062 0
[pid=44556/tid=44558] ppid=44553 vsize=19063512 memory=17792 CPUtime=3425.15 cores=4,6
/proc/44556/task/44558/stat : 44558 (java) R 44553 44556 43887 0 -1 4194368 43625 0 0 0 341292 1223 0 0 20 0 20 0 49566284 19521036288 540682 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
[pid=44556/tid=44567] ppid=44553 vsize=19063512 memory=2162728 CPUtime=0 cores=4,6
/proc/44556/task/44567/stat : 44567 (Finalizer) S 44553 44556 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49566286 19521036288 540682 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
[pid=44556/tid=44574] ppid=44553 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/44556/task/44574/stat : 44574 (Common-Cleaner) S 44553 44556 43887 0 -1 4194368 1947 0 0 0 0 0 0 0 20 0 20 0 49566287 19521036288 540682 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
[pid=44556/tid=44575] ppid=44553 vsize=19063512 memory=2162728 CPUtime=0 cores=4,6
/proc/44556/task/44575/stat : 44575 (Timer-0) S 44553 44556 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49566300 19521036288 540682 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
Current children cumulated CPU time: 3449 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2162728 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.22 4.36 5/347 44841
/proc/meminfo: memFree=49873804/131249996 swapFree=33010416/33010684
[pid=44556] ppid=44553 vsize=19063512 memory=2162728 CPUtime=3508.83 cores=4,6
/proc/44556/stat : 44556 (java) S 44553 44556 43887 0 -1 4194304 110436 0 0 0 349549 1334 0 0 20 0 20 0 49566282 19521036288 540682 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
/proc/44556/statm: 4765878 540682 5561 1 0 554062 0
[pid=44556/tid=44558] ppid=44553 vsize=19063512 memory=2162728 CPUtime=3484.73 cores=4,6
/proc/44556/task/44558/stat : 44558 (java) R 44553 44556 43887 0 -1 4194368 44204 0 0 0 347233 1240 0 0 20 0 20 0 49566284 19521036288 540682 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
[pid=44556/tid=44567] ppid=44553 vsize=19063512 memory=2162728 CPUtime=0 cores=4,6
/proc/44556/task/44567/stat : 44567 (Finalizer) S 44553 44556 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49566286 19521036288 540682 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
[pid=44556/tid=44574] ppid=44553 vsize=19063512 memory=11008 CPUtime=0 cores=4,6
/proc/44556/task/44574/stat : 44574 (Common-Cleaner) S 44553 44556 43887 0 -1 4194368 2041 0 0 0 0 0 0 0 20 0 20 0 49566287 19521036288 540682 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
[pid=44556/tid=44575] ppid=44553 vsize=19063512 memory=14464 CPUtime=0 cores=4,6
/proc/44556/task/44575/stat : 44575 (Timer-0) S 44553 44556 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49566300 19521036288 540682 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
Current children cumulated CPU time: 3508.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2162728 KiB

[startup+3582.3 s]
/proc/loadavg: 4.45 4.32 4.39 5/347 44843
/proc/meminfo: memFree=48731576/131249996 swapFree=33010416/33010684
[pid=44556] ppid=44553 vsize=19063512 memory=2162728 CPUtime=3568.69 cores=4,6
/proc/44556/stat : 44556 (java) S 44553 44556 43887 0 -1 4194304 110471 0 0 0 355522 1347 0 0 20 0 20 0 49566282 19521036288 540682 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
/proc/44556/statm: 4765878 540682 5561 1 0 554062 0
[pid=44556/tid=44558] ppid=44553 vsize=19063512 memory=2162728 CPUtime=3544.37 cores=4,6
/proc/44556/task/44558/stat : 44558 (java) R 44553 44556 43887 0 -1 4194368 44210 0 0 0 353186 1251 0 0 20 0 20 0 49566284 19521036288 540682 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
[pid=44556/tid=44567] ppid=44553 vsize=19063512 memory=11008 CPUtime=0 cores=4,6
/proc/44556/task/44567/stat : 44567 (Finalizer) S 44553 44556 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49566286 19521036288 540682 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
[pid=44556/tid=44574] ppid=44553 vsize=19063512 memory=2162728 CPUtime=0 cores=4,6
/proc/44556/task/44574/stat : 44574 (Common-Cleaner) S 44553 44556 43887 0 -1 4194368 2041 0 0 0 0 0 0 0 20 0 20 0 49566287 19521036288 540682 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
[pid=44556/tid=44575] ppid=44553 vsize=19063512 memory=11008 CPUtime=0 cores=4,6
/proc/44556/task/44575/stat : 44575 (Timer-0) S 44553 44556 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49566300 19521036288 540682 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
Current children cumulated CPU time: 3568.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2162728 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.7 s]
/proc/loadavg: 4.42 4.33 4.39 5/346 44988
/proc/meminfo: memFree=88166308/131249996 swapFree=33010416/33010684
[pid=44556] ppid=44553 vsize=19063512 memory=2162728 CPUtime=3600.02 cores=4,6
/proc/44556/stat : 44556 (java) S 44553 44556 43887 0 -1 4194304 110503 0 0 0 358643 1359 0 0 20 0 20 0 49566282 19521036288 540682 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
/proc/44556/statm: 4765878 540682 5561 1 0 554062 0
[pid=44556/tid=44558] ppid=44553 vsize=19063512 memory=2162728 CPUtime=3575.5 cores=4,6
/proc/44556/task/44558/stat : 44558 (java) R 44553 44556 43887 0 -1 4194368 44225 0 0 0 356287 1263 0 0 20 0 20 0 49566284 19521036288 540682 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
[pid=44556/tid=44567] ppid=44553 vsize=19063512 memory=11008 CPUtime=0 cores=4,6
/proc/44556/task/44567/stat : 44567 (Finalizer) S 44553 44556 43887 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 49566286 19521036288 540682 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
[pid=44556/tid=44574] ppid=44553 vsize=19063512 memory=2162728 CPUtime=0 cores=4,6
/proc/44556/task/44574/stat : 44574 (Common-Cleaner) S 44553 44556 43887 0 -1 4194368 2041 0 0 0 0 0 0 0 20 0 20 0 49566287 19521036288 540682 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
[pid=44556/tid=44575] ppid=44553 vsize=19063512 memory=2162728 CPUtime=0 cores=4,6
/proc/44556/task/44575/stat : 44575 (Timer-0) S 44553 44556 43887 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 49566300 19521036288 540682 18446744073709551615 93959292289024 93959292292720 140726558838000 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 93959292300536 93959292301328 93959320371200 140726558845232 140726558845414 140726558845414 140726558851016 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2162728 KiB

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

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

# cumulated CPU time of all completed processes:  user=3586.69 s, system=13.6127 s

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

[startup+3614.01 s]*
/proc/loadavg: 4.42 4.33 4.39 4/328 44991
/proc/meminfo: memFree=90130948/131249996 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3614.09
CPU time (s): 3600.3
CPU user time (s): 3586.69
CPU system time (s): 13.6127
CPU usage (%): 99.6184
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2163368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.69
system time used= 13.6127
maximum resident set size= 2163496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112963
page faults= 0
swaps= 0
block input operations= 40
block output operations= 12890632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 120572
involuntary context switches= 12472


# summary of solver processes directly reported to runsolver:
#   pid: 44556
#   total CPU time (s): 3600.3
#   total CPU user time (s): 3586.69
#   total CPU system time (s): 13.6127

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.77434 second user time and 17.6351 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2025-07-01 05:01:07
IDJOB=4487813
IDBENCH=147223
IDSOLVER=3364
FILE ID=nodeC030/4487813-1751338867
RUNJOBID= nodeC030-1751335254-43898
SLURM_JOB_ID= 9594379
Free space on /tmp= 433032 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/sorensson/garden/normalized-g9x9.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4487813-1751338867/watcher-4487813-1751338867 -o /tmp/evaluation-result-4487813-1751338867/solver-4487813-1751338867 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751335254-43898 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4487813-1751338867 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4487813-1751338867.opb

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

MD5SUM BENCH= c74ef50fdcad1c092f72b2454e0c2ee1
RANDOM SEED=597928912

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        125905152 kB
MemAvailable:   127552880 kB
Buffers:            2564 kB
Cached:          2442044 kB
SwapCached:           16 kB
Active:          2647808 kB
Inactive:        2090340 kB
Active(anon):    2307296 kB
Inactive(anon):     4660 kB
Active(file):     340512 kB
Inactive(file):  2085680 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            172008 kB
Writeback:             0 kB
AnonPages:       2297404 kB
Mapped:           123196 kB
Shmem:             18048 kB
KReclaimable:     121148 kB
Slab:             214280 kB
SReclaimable:     121148 kB
SUnreclaim:        93132 kB
KernelStack:        5212 kB
PageTables:         7420 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    7446964 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151480 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2127872 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:      189140 kB
DirectMap2M:     9019392 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433032 MiB
End job on nodeC030 at 2025-07-01 06:01:21