Trace number 4487812

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2025-06-06SAT (TO)23 3600.68 3601.06

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.11/0.16	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.16	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.16	c See www.sat4j.org for details.
0.11/0.17	c version PB25.v20250606
0.11/0.20	c java.runtime.name	OpenJDK Runtime Environment
0.11/0.20	c java.vm.name		OpenJDK 64-Bit Server VM
0.11/0.20	c java.vm.version	22.0.1+8-16
0.11/0.20	c java.vm.vendor	Oracle Corporation
0.11/0.20	c sun.arch.data.model	64
0.11/0.20	c java.version		22.0.1
0.11/0.20	c os.name		Linux
0.11/0.20	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.11/0.20	c os.arch		amd64
0.11/0.20	c Free memory 		2106806208
0.11/0.21	c Max memory 		16282288128
0.11/0.21	c Total memory 		2113929216
0.11/0.21	c Number of processors 	2
0.29/0.31	c Pseudo Boolean Optimization by upper bound
0.29/0.31	c --- Begin Solver configuration ---
0.29/0.31	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.29/0.31	c Learn all clauses as in MiniSAT
0.29/0.31	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.29/0.31	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.29/0.31	c Expensive reason simplification
0.29/0.31	c Glucose 2.1 dynamic restart strategy
0.29/0.31	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.29/0.31	c timeout=2147483s
0.29/0.31	c DB Simplification allowed=false
0.29/0.31	c Listener: none
0.29/0.31	c --- End Solver configuration ---
0.29/0.31	c solving HOME/instance-4487812-1751321271.opb
0.29/0.31	c reading problem ... 
0.29/0.31	c  objective function found
0.44/0.35	c ... done. Wall clock time 0.042s.
0.44/0.35	c declared #vars     81
0.44/0.35	c #constraints  81
0.44/0.35	c constraints type 
0.44/0.36	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 81
0.44/0.36	c 81 constraints processed.
0.44/0.38	c objective function length is 81 literals
0.44/0.39	c SATISFIABLE
0.44/0.39	c OPTIMIZING...
0.44/0.39	c Got one! Elapsed wall clock time (in seconds):0.084
0.44/0.39	o 27
0.44/0.40	c Got one! Elapsed wall clock time (in seconds):0.096
0.44/0.40	o 26
0.65/0.47	c Got one! Elapsed wall clock time (in seconds):0.165
0.65/0.47	o 25
1.15/0.79	c cleaning 2640 clauses out of 5280 with flag 12151/5280
1.76/1.05	c cleaning 4318 clauses out of 8642 with flag 25804/11282
2.14/1.28	c cleaning 5657 clauses out of 11322 with flag 41715/18280
2.34/1.32	c Got one! Elapsed wall clock time (in seconds):1.014
2.34/1.32	o 24
2.54/1.43	c cleaning 5811 clauses out of 11628 with flag 9198/24243
2.73/1.54	c cleaning 5905 clauses out of 11817 with flag 22384/30243
2.92/1.67	c cleaning 6454 clauses out of 12913 with flag 38399/37244
3.22/1.81	c cleaning 7229 clauses out of 14459 with flag 57150/45244
3.33/1.95	c cleaning 8113 clauses out of 16229 with flag 77367/54243
3.54/2.12	c cleaning 9058 clauses out of 18117 with flag 99995/64244
3.64/2.28	c cleaning 10029 clauses out of 20059 with flag 124525/75244
3.85/2.49	c cleaning 11010 clauses out of 22030 with flag 152437/87244
4.15/2.72	c cleaning 12009 clauses out of 24019 with flag 182662/100243
4.34/2.96	c cleaning 12995 clauses out of 26010 with flag 214370/114243
4.68/3.20	c cleaning 14007 clauses out of 28016 with flag 248079/129244
4.91/3.47	c cleaning 15001 clauses out of 30009 with flag 284034/145244
5.29/3.77	c cleaning 15996 clauses out of 32007 with flag 322363/162243
5.59/4.09	c cleaning 17004 clauses out of 34012 with flag 362857/180244
5.98/4.45	c cleaning 18002 clauses out of 36007 with flag 405560/199243
6.38/4.87	c cleaning 18997 clauses out of 38006 with flag 450672/219244
6.78/5.29	c cleaning 19997 clauses out of 40008 with flag 498652/240243
7.28/5.74	c cleaning 21000 clauses out of 42012 with flag 549487/262244
7.69/6.19	c cleaning 22001 clauses out of 44011 with flag 601777/285243
8.28/6.77	c cleaning 22997 clauses out of 46010 with flag 656924/309243
8.88/7.35	c cleaning 24003 clauses out of 48013 with flag 713081/334243
9.48/7.90	c cleaning 24997 clauses out of 50010 with flag 771276/360243
9.98/8.49	c cleaning 26003 clauses out of 52013 with flag 831686/387243
10.69/9.13	c cleaning 26999 clauses out of 54011 with flag 893903/415244
11.27/9.77	c cleaning 28005 clauses out of 56013 with flag 958659/444245
11.27/9.79	c Got one! Elapsed wall clock time (in seconds):9.481
11.27/9.79	o 23
11.49/9.94	c cleaning 16740 clauses out of 33488 with flag 8967/449725
11.60/10.04	c cleaning 11367 clauses out of 22748 with flag 22523/455725
11.70/10.13	c cleaning 9176 clauses out of 18379 with flag 38587/462723
11.83/10.22	c cleaning 8597 clauses out of 17204 with flag 56573/470724
12.03/10.32	c cleaning 8791 clauses out of 17606 with flag 77289/479723
12.22/10.46	c cleaning 9401 clauses out of 18815 with flag 100998/489723
12.57/10.61	c cleaning 10197 clauses out of 20414 with flag 127431/500723
12.72/10.79	c cleaning 11099 clauses out of 22217 with flag 156064/512723
12.92/10.97	c cleaning 12053 clauses out of 24120 with flag 187820/525725
13.13/11.15	c cleaning 13029 clauses out of 26065 with flag 219920/539723
13.32/11.35	c cleaning 14015 clauses out of 28036 with flag 253887/554723
13.64/11.60	c cleaning 15000 clauses out of 30021 with flag 289808/570723
13.84/11.88	c cleaning 16001 clauses out of 32021 with flag 327794/587723
14.15/12.18	c cleaning 17001 clauses out of 34020 with flag 368473/605723
14.43/12.48	c cleaning 18006 clauses out of 36020 with flag 411341/624724
14.83/12.81	c cleaning 19001 clauses out of 38013 with flag 456192/644723
15.15/13.19	c cleaning 20005 clauses out of 40013 with flag 503528/665724
15.63/13.65	c cleaning 21001 clauses out of 42007 with flag 552859/687723
16.04/14.07	c cleaning 21998 clauses out of 44006 with flag 604119/710723
16.53/14.54	c cleaning 23003 clauses out of 46010 with flag 657668/734725
17.04/15.04	c cleaning 23998 clauses out of 48005 with flag 713575/759723
17.53/15.50	c cleaning 24993 clauses out of 50007 with flag 771741/785723
18.04/16.03	c cleaning 25999 clauses out of 52015 with flag 831911/812724
18.63/16.63	c cleaning 26997 clauses out of 54015 with flag 894708/840723
19.23/17.22	c cleaning 28003 clauses out of 56019 with flag 959782/869724
19.92/18.00	c cleaning 29004 clauses out of 58017 with flag 1026905/899725
20.62/18.68	c cleaning 29997 clauses out of 60014 with flag 1096221/930726
21.32/19.37	c cleaning 31003 clauses out of 62014 with flag 1167646/962723
22.13/20.13	c cleaning 31997 clauses out of 64011 with flag 1241749/995723
22.92/20.99	c cleaning 33001 clauses out of 66015 with flag 1319553/1029724
23.81/21.84	c cleaning 33998 clauses out of 68013 with flag 1398436/1064723
24.71/22.72	c cleaning 34998 clauses out of 70016 with flag 1479318/1100724
25.61/23.68	c cleaning 36000 clauses out of 72018 with flag 1565195/1137724
26.81/24.88	c cleaning 37003 clauses out of 74017 with flag 1652368/1175723
27.81/25.87	c cleaning 37998 clauses out of 76015 with flag 1740860/1214724
28.81/26.88	c cleaning 39004 clauses out of 78020 with flag 1830730/1254727
29.90/27.90	c cleaning 39999 clauses out of 80012 with flag 1923358/1295723
31.01/29.02	c cleaning 40998 clauses out of 82014 with flag 2017699/1337724
32.01/30.11	c cleaning 42002 clauses out of 84015 with flag 2114513/1380723
33.40/31.48	c cleaning 42995 clauses out of 86013 with flag 2213110/1424723
34.82/32.85	c cleaning 44001 clauses out of 88018 with flag 2314449/1469723
36.13/34.16	c cleaning 45000 clauses out of 90019 with flag 2417485/1515725
37.42/35.48	c cleaning 46000 clauses out of 92018 with flag 2523078/1562724
38.81/36.88	c cleaning 46998 clauses out of 94018 with flag 2630300/1610724
40.21/38.26	c cleaning 47998 clauses out of 96019 with flag 2740839/1659723
41.81/39.89	c cleaning 48998 clauses out of 98021 with flag 2852788/1709723
43.51/41.58	c cleaning 50001 clauses out of 100023 with flag 2967340/1760723
45.12/43.19	c cleaning 50996 clauses out of 102023 with flag 3084348/1812724
46.80/44.82	c cleaning 52000 clauses out of 104027 with flag 3202983/1865724
49.17/46.74	c cleaning 53008 clauses out of 106027 with flag 3331325/1919724
51.16/48.77	c cleaning 54004 clauses out of 108019 with flag 3458730/1974724
53.27/50.80	c cleaning 55000 clauses out of 110015 with flag 3586300/2030724
55.16/52.79	c cleaning 56002 clauses out of 112014 with flag 3717984/2087723
57.96/55.50	c cleaning 57005 clauses out of 114013 with flag 3852928/2145724
60.35/57.93	c cleaning 58003 clauses out of 116007 with flag 3990338/2204723
63.35/61.00	c cleaning 58997 clauses out of 118005 with flag 4130866/2264724
66.26/63.88	c cleaning 59997 clauses out of 120008 with flag 4270334/2325724
69.26/66.88	c cleaning 61004 clauses out of 122011 with flag 4412437/2387724
71.95/69.54	c cleaning 61998 clauses out of 124007 with flag 4561691/2450724
74.15/71.77	c cleaning 62999 clauses out of 126008 with flag 4708407/2514723
76.94/74.51	c cleaning 63998 clauses out of 128009 with flag 4856081/2579723
79.45/77.02	c cleaning 65002 clauses out of 130012 with flag 5008300/2645724
82.23/79.81	c cleaning 66001 clauses out of 132010 with flag 5164536/2712724
85.33/82.94	c cleaning 67001 clauses out of 134008 with flag 5323614/2780723
88.44/86.09	c cleaning 67999 clauses out of 136010 with flag 5488220/2849726
92.65/90.25	c cleaning 69003 clauses out of 138009 with flag 5655958/2919724
96.14/93.79	c cleaning 69997 clauses out of 140006 with flag 5827292/2990724
99.73/97.39	c cleaning 70998 clauses out of 142008 with flag 5995921/3062723
104.03/101.67	c cleaning 72002 clauses out of 144010 with flag 6176238/3135723
107.63/105.29	c cleaning 72990 clauses out of 146008 with flag 6353116/3209723
111.04/108.62	c cleaning 74005 clauses out of 148019 with flag 6533054/3284724
114.63/112.22	c cleaning 74999 clauses out of 150013 with flag 6710528/3360723
118.61/116.24	c cleaning 76002 clauses out of 152016 with flag 6888405/3437725
123.01/120.61	c cleaning 76999 clauses out of 154012 with flag 7068589/3515723
127.52/125.18	c cleaning 78003 clauses out of 156013 with flag 7255734/3594723
132.09/129.75	c cleaning 79005 clauses out of 158011 with flag 7443058/3674724
136.98/134.63	c cleaning 79997 clauses out of 160005 with flag 7632646/3755723
142.07/139.73	c cleaning 81001 clauses out of 162009 with flag 7829590/3837724
147.47/145.19	c cleaning 82000 clauses out of 164007 with flag 8036438/3920723
152.65/150.37	c cleaning 83002 clauses out of 166007 with flag 8236189/4004723
159.46/157.15	c cleaning 83999 clauses out of 168005 with flag 8444638/4089723
164.83/162.52	c cleaning 85001 clauses out of 170007 with flag 8643474/4175724
169.63/167.38	c cleaning 85997 clauses out of 172006 with flag 8843184/4262724
174.22/171.95	c cleaning 86995 clauses out of 174009 with flag 9042560/4350724
178.72/176.47	c cleaning 87997 clauses out of 176013 with flag 9244594/4439723
183.62/181.32	c cleaning 89002 clauses out of 178016 with flag 9448745/4529723
188.91/186.63	c cleaning 90003 clauses out of 180014 with flag 9655835/4620723
193.11/190.89	c cleaning 91003 clauses out of 182011 with flag 9867558/4712723
198.60/196.38	c cleaning 91994 clauses out of 184010 with flag 10079448/4805725
203.68/201.49	c cleaning 93005 clauses out of 186015 with flag 10291036/4899724
208.79/206.57	c cleaning 94000 clauses out of 188010 with flag 10506430/4994724
213.88/211.67	c cleaning 95000 clauses out of 190009 with flag 10722025/5090723
219.38/217.13	c cleaning 96002 clauses out of 192009 with flag 10940392/5187723
224.69/222.47	c cleaning 96999 clauses out of 194008 with flag 11165090/5285724
229.68/227.40	c cleaning 97998 clauses out of 196008 with flag 11386614/5384723
235.77/233.53	c cleaning 98998 clauses out of 198010 with flag 11613661/5484723
241.15/238.98	c cleaning 100002 clauses out of 200013 with flag 11844344/5585724
248.44/246.29	c cleaning 101005 clauses out of 202012 with flag 12081655/5687725
255.16/252.99	c cleaning 102000 clauses out of 204005 with flag 12315115/5790723
262.36/260.14	c cleaning 102998 clauses out of 206005 with flag 12565314/5894723
269.43/267.21	c cleaning 104003 clauses out of 208007 with flag 12832904/5999723
278.01/275.82	c cleaning 105001 clauses out of 210004 with flag 13105429/6105723
286.10/283.96	c cleaning 105996 clauses out of 212003 with flag 13375685/6212723
294.08/291.95	c cleaning 107002 clauses out of 214007 with flag 13660429/6320723
302.36/300.26	c cleaning 108001 clauses out of 216005 with flag 13917779/6429723
310.05/307.95	c cleaning 108997 clauses out of 218005 with flag 14176204/6539724
318.99/316.82	c cleaning 109997 clauses out of 220007 with flag 14441921/6650723
325.97/323.81	c cleaning 110995 clauses out of 222011 with flag 14707974/6762724
334.05/331.93	c cleaning 112002 clauses out of 224015 with flag 14969087/6875723
342.44/340.37	c cleaning 113002 clauses out of 226013 with flag 15242625/6989723
352.00/349.86	c cleaning 114006 clauses out of 228012 with flag 15514125/7104724
361.19/359.05	c cleaning 115001 clauses out of 230006 with flag 15789506/7220724
371.07/368.95	c cleaning 115995 clauses out of 232005 with flag 16064861/7337724
379.16/377.07	c cleaning 116997 clauses out of 234010 with flag 16330207/7455724
386.71/384.50	c cleaning 118001 clauses out of 236012 with flag 16597783/7574723
394.00/391.90	c cleaning 119005 clauses out of 238011 with flag 16866788/7694723
402.08/399.92	c cleaning 119998 clauses out of 240006 with flag 17138978/7815723
408.87/406.79	c cleaning 121000 clauses out of 242009 with flag 17414680/7937724
417.92/415.74	c cleaning 122000 clauses out of 244008 with flag 17691479/8060723
425.01/422.89	c cleaning 123000 clauses out of 246008 with flag 17970083/8184723
432.89/430.73	c cleaning 124002 clauses out of 248008 with flag 18252053/8309723
440.67/438.54	c cleaning 124997 clauses out of 250007 with flag 18537407/8435724
448.45/446.36	c cleaning 126000 clauses out of 252010 with flag 18823495/8562724
456.57/454.44	c cleaning 126999 clauses out of 254010 with flag 19111155/8690724
464.36/462.25	c cleaning 127999 clauses out of 256012 with flag 19402121/8819725
472.54/470.45	c cleaning 128998 clauses out of 258011 with flag 19696405/8949723
480.82/478.74	c cleaning 130002 clauses out of 260014 with flag 19990474/9080724
489.51/487.43	c cleaning 131004 clauses out of 262011 with flag 20287882/9212723
500.06/497.97	c cleaning 132001 clauses out of 264007 with flag 20588031/9345723
510.54/508.44	c cleaning 133000 clauses out of 266006 with flag 20894398/9479723
520.52/518.49	c cleaning 133998 clauses out of 268007 with flag 21196570/9614724
529.89/527.85	c cleaning 135004 clauses out of 270008 with flag 21505504/9750723
538.38/536.38	c cleaning 135994 clauses out of 272004 with flag 21816430/9887723
547.46/545.49	c cleaning 137002 clauses out of 274010 with flag 22128288/10025723
557.56/555.07	c cleaning 138001 clauses out of 276008 with flag 22442110/10164723
567.55/565.02	c cleaning 138999 clauses out of 278008 with flag 22757810/10304724
578.02/575.57	c cleaning 139999 clauses out of 280009 with flag 23091257/10445724
590.39/587.95	c cleaning 141000 clauses out of 282009 with flag 23428080/10587723
600.28/597.81	c cleaning 141993 clauses out of 284010 with flag 23756452/10730724
612.97/610.51	c cleaning 143007 clauses out of 286016 with flag 24108544/10874723
622.94/620.53	c cleaning 143999 clauses out of 288009 with flag 24442084/11019723
634.63/632.24	c cleaning 144999 clauses out of 290011 with flag 24779262/11165724
644.18/641.71	c cleaning 146006 clauses out of 292011 with flag 25109259/11312723
653.48/651.03	c cleaning 147003 clauses out of 294005 with flag 25445135/11460723
664.74/662.34	c cleaning 147999 clauses out of 296003 with flag 25790660/11609724
677.32/674.95	c cleaning 148997 clauses out of 298003 with flag 26144248/11759723
691.92/689.50	c cleaning 150002 clauses out of 300008 with flag 26505018/11910725
710.68/708.38	c cleaning 150997 clauses out of 302004 with flag 26872669/12062723
725.24/722.99	c cleaning 152004 clauses out of 304012 with flag 27246484/12215728
741.01/738.79	c cleaning 152992 clauses out of 306003 with flag 27626377/12369723
753.73/751.43	c cleaning 154002 clauses out of 308012 with flag 27996111/12524724
769.60/767.30	c cleaning 155001 clauses out of 310009 with flag 28374785/12680723
781.67/779.47	c cleaning 156001 clauses out of 312009 with flag 28754275/12837724
796.74/794.53	c cleaning 157000 clauses out of 314007 with flag 29148752/12995723
813.33/811.12	c cleaning 158004 clauses out of 316007 with flag 29549560/13154723
828.79/826.62	c cleaning 158993 clauses out of 318003 with flag 29955464/13314723
847.17/845.05	c cleaning 160006 clauses out of 320011 with flag 30351979/13475724
868.31/866.23	c cleaning 160997 clauses out of 322004 with flag 30761172/13637723
882.40/880.30	c cleaning 162001 clauses out of 324007 with flag 31124881/13800723
895.09/893.07	c cleaning 163000 clauses out of 326006 with flag 31492254/13964723
908.07/906.03	c cleaning 163996 clauses out of 328006 with flag 31861524/14129723
922.74/920.78	c cleaning 165000 clauses out of 330011 with flag 32232767/14295724
935.12/933.14	c cleaning 166004 clauses out of 332011 with flag 32606032/14462724
949.00/947.06	c cleaning 167004 clauses out of 334007 with flag 32983267/14630724
960.26/958.30	c cleaning 167996 clauses out of 336003 with flag 33361902/14799724
972.44/970.52	c cleaning 169001 clauses out of 338006 with flag 33742090/14969723
987.22/985.39	c cleaning 169999 clauses out of 340006 with flag 34125030/15140724
1001.89/1000.08	c cleaning 170999 clauses out of 342007 with flag 34509327/15312724
1016.66/1014.84	c cleaning 171998 clauses out of 344007 with flag 34899667/15485723
1031.63/1029.89	c cleaning 173001 clauses out of 346009 with flag 35293905/15659723
1045.70/1043.98	c cleaning 173996 clauses out of 348012 with flag 35692601/15834727
1061.99/1060.20	c cleaning 174994 clauses out of 350012 with flag 36087930/16010723
1080.36/1078.66	c cleaning 176006 clauses out of 352019 with flag 36504896/16187724
1096.01/1094.31	c cleaning 177004 clauses out of 354013 with flag 36918070/16365724
1119.28/1117.67	c cleaning 177999 clauses out of 356009 with flag 37329323/16544724
1136.06/1134.45	c cleaning 178998 clauses out of 358010 with flag 37738085/16724724
1157.42/1155.84	c cleaning 180000 clauses out of 360011 with flag 38144840/16905723
1177.69/1176.17	c cleaning 181002 clauses out of 362012 with flag 38566863/17087724
1197.90/1196.32	c cleaning 182003 clauses out of 364011 with flag 39002667/17270725
1223.86/1222.35	c cleaning 182995 clauses out of 366007 with flag 39461762/17454724
1242.41/1240.99	c cleaning 183999 clauses out of 368011 with flag 39877897/17639723
1260.18/1258.76	c cleaning 184996 clauses out of 370012 with flag 40312533/17825723
1284.38/1282.96	c cleaning 186002 clauses out of 372016 with flag 40746125/18012723
1302.75/1301.32	c cleaning 187003 clauses out of 374014 with flag 41169033/18200723
1319.13/1317.76	c cleaning 188005 clauses out of 376012 with flag 41607946/18389724
1337.09/1335.63	c cleaning 188998 clauses out of 378008 with flag 42028344/18579725
1354.46/1353.06	c cleaning 190002 clauses out of 380009 with flag 42450766/18770724
1375.81/1374.47	c cleaning 191001 clauses out of 382007 with flag 42882056/18962724
1398.37/1397.06	c cleaning 191995 clauses out of 384005 with flag 43315672/19155723
1420.59/1419.25	c cleaning 193000 clauses out of 386010 with flag 43763528/19349723
1438.95/1437.60	c cleaning 194001 clauses out of 388010 with flag 44209577/19544723
1460.60/1459.36	c cleaning 195004 clauses out of 390009 with flag 44659047/19740723
1480.56/1479.39	c cleaning 195998 clauses out of 392007 with flag 45104664/19937725
1508.99/1507.78	c cleaning 197000 clauses out of 394008 with flag 45557449/20135724
1532.14/1530.95	c cleaning 197996 clauses out of 396007 with flag 46005422/20334723
1555.19/1554.06	c cleaning 199001 clauses out of 398011 with flag 46450989/20534723
1578.14/1577.02	c cleaning 200001 clauses out of 400010 with flag 46898978/20735723
1599.72/1598.06	c cleaning 200998 clauses out of 402011 with flag 47348064/20937725
1623.77/1622.19	c cleaning 201998 clauses out of 404012 with flag 47798924/21140724
1648.72/1647.20	c cleaning 203000 clauses out of 406015 with flag 48253131/21344725
1677.25/1675.76	c cleaning 204003 clauses out of 408014 with flag 48707883/21549724
1702.17/1700.61	c cleaning 205002 clauses out of 410013 with flag 49166260/21755726
1724.50/1722.97	c cleaning 205999 clauses out of 412008 with flag 49625564/21962723
1747.05/1745.50	c cleaning 206999 clauses out of 414009 with flag 50092672/22170723
1774.43/1772.98	c cleaning 208004 clauses out of 416011 with flag 50558523/22379724
1799.18/1797.75	c cleaning 208997 clauses out of 418006 with flag 51027068/22589723
1827.76/1826.32	c cleaning 210004 clauses out of 420012 with flag 51506021/22800726
1854.51/1853.17	c cleaning 210997 clauses out of 422006 with flag 51989109/23012724
1885.17/1883.87	c cleaning 211998 clauses out of 424009 with flag 52479236/23225724
1911.33/1910.06	c cleaning 213004 clauses out of 426010 with flag 52964326/23439723
1943.25/1942.05	c cleaning 213998 clauses out of 428006 with flag 53473149/23654723
1975.10/1973.95	c cleaning 214996 clauses out of 430009 with flag 53972253/23870724
2008.26/2007.15	c cleaning 215999 clauses out of 432013 with flag 54479383/24087724
2048.89/2047.85	c cleaning 217001 clauses out of 434013 with flag 54995945/24305723
2085.04/2084.07	c cleaning 218000 clauses out of 436012 with flag 55523125/24524723
2115.06/2114.05	c cleaning 218998 clauses out of 438012 with flag 56026640/24744723
2142.68/2141.74	c cleaning 220004 clauses out of 440016 with flag 56523787/24965725
2167.63/2166.79	c cleaning 221000 clauses out of 442010 with flag 57033903/25187723
2214.94/2214.16	c cleaning 222000 clauses out of 444011 with flag 57627824/25410724
2233.80/2233.07	c cleaning 222999 clauses out of 446010 with flag 58140905/25634723
2253.15/2252.39	c cleaning 224001 clauses out of 448013 with flag 58652539/25859725
2272.60/2271.87	c cleaning 225000 clauses out of 450011 with flag 59158716/26085724
2290.26/2289.59	c cleaning 225997 clauses out of 452011 with flag 59674364/26312724
2314.21/2313.51	c cleaning 227000 clauses out of 454015 with flag 60200414/26540725
2336.86/2336.27	c cleaning 227998 clauses out of 456014 with flag 60739415/26769724
2354.63/2354.06	c cleaning 229003 clauses out of 458016 with flag 61253859/26999724
2379.06/2378.57	c cleaning 230004 clauses out of 460013 with flag 61778899/27230724
2413.98/2413.57	c cleaning 230995 clauses out of 462008 with flag 62315985/27462723
2439.83/2439.41	c cleaning 232000 clauses out of 464014 with flag 62837377/27695724
2467.68/2467.38	c cleaning 232997 clauses out of 466014 with flag 63386169/27929724
2491.93/2491.66	c cleaning 234006 clauses out of 468016 with flag 63920158/28164723
2516.20/2515.98	c cleaning 235001 clauses out of 470011 with flag 64463643/28400724
2538.66/2538.46	c cleaning 235997 clauses out of 472010 with flag 64992137/28637724
2564.50/2564.38	c cleaning 237003 clauses out of 474012 with flag 65534750/28875723
2592.96/2592.89	c cleaning 237995 clauses out of 476010 with flag 66086576/29114724
2635.19/2635.20	c cleaning 238998 clauses out of 478014 with flag 66637091/29354723
2663.62/2663.67	c cleaning 240003 clauses out of 480016 with flag 67189282/29595723
2693.99/2693.89	c cleaning 241005 clauses out of 482015 with flag 67743438/29837725
2724.83/2724.74	c cleaning 241999 clauses out of 484009 with flag 68304532/30080724
2749.77/2749.74	c cleaning 242999 clauses out of 486009 with flag 68848860/30324723
2783.89/2783.94	c cleaning 243998 clauses out of 488010 with flag 69407139/30569723
2815.67/2815.68	c cleaning 245003 clauses out of 490013 with flag 69963644/30815724
2845.13/2845.15	c cleaning 246002 clauses out of 492009 with flag 70521361/31062723
2874.67/2874.75	c cleaning 246998 clauses out of 494008 with flag 71076358/31310724
2905.91/2906.07	c cleaning 247996 clauses out of 496010 with flag 71637139/31559724
2946.12/2945.95	c cleaning 248998 clauses out of 498014 with flag 72199623/31809724
2983.17/2983.02	c cleaning 250001 clauses out of 500015 with flag 72762320/32060723
3018.60/3018.54	c cleaning 251003 clauses out of 502014 with flag 73331159/32312723
3055.92/3055.93	c cleaning 252003 clauses out of 504011 with flag 73911479/32565723
3087.65/3087.76	c cleaning 253004 clauses out of 506008 with flag 74494075/32819723
3126.06/3126.24	c cleaning 253995 clauses out of 508004 with flag 75094973/33074723
3164.64/3164.79	c cleaning 254995 clauses out of 510010 with flag 75674419/33330724
3195.90/3196.01	c cleaning 256004 clauses out of 512014 with flag 76243327/33587723
3230.84/3231.04	c cleaning 257001 clauses out of 514012 with flag 76826101/33845725
3263.97/3264.14	c cleaning 258001 clauses out of 516009 with flag 77397822/34104723
3293.81/3294.07	c cleaning 259000 clauses out of 518009 with flag 77975190/34364724
3326.25/3326.59	c cleaning 259996 clauses out of 520009 with flag 78552924/34625724
3361.70/3362.06	c cleaning 261000 clauses out of 522014 with flag 79146082/34887725
3404.00/3404.42	c cleaning 262005 clauses out of 524013 with flag 79800504/35150724
3444.68/3445.11	c cleaning 262998 clauses out of 526007 with flag 80432441/35414723
3478.21/3478.77	c cleaning 264000 clauses out of 528009 with flag 81032394/35679723
3518.83/3519.40	c cleaning 265001 clauses out of 530010 with flag 81629685/35945724
3557.60/3558.25	c cleaning 265995 clauses out of 532008 with flag 82229270/36212723
3592.94/3593.63	c cleaning 266999 clauses out of 534014 with flag 82830972/36480724
3600.02/3600.74	c starts		: 23
3600.02/3600.77	c conflicts		: 36589132
3600.02/3600.77	c decisions		: 54086956
3600.02/3600.77	c propagations		: 325502306
3600.02/3600.77	c inspects		: 36426502573
3600.02/3600.77	c shortcuts		: 0
3600.02/3600.77	c learnt literals	: 0
3600.02/3600.77	c learnt binary clauses	: 0
3600.02/3600.77	c learnt ternary clauses	: 0
3600.02/3600.77	c learnt constraints	: 36589132
3600.02/3600.77	c ignored constraints	: 0
3600.02/3600.77	c root simplifications	: 0
3600.02/3600.78	c removed literals (reason simplification)	: 55371071
3600.02/3600.78	c reason swapping (by a shorter reason)	: 0
3600.02/3600.78	c Calls to reduceDB	: 292
3600.02/3600.78	c Number of update (reduction) of LBD	: 3201109
3600.02/3600.78	c Imported unit clauses	: 0
3600.02/3600.78	c No decision after first conflict	: false
3600.02/3600.78	c number of reductions to clauses (during analyze)	: 0
3600.02/3600.78	c number of learned constraints concerned by reduction	: 0
3600.02/3600.78	c number of learning phase by resolution	: 0
3600.02/3600.78	c number of learning phase by cutting planes	: 0
3600.02/3600.78	c number of rounding to 1 operations	: 0
3600.02/3600.78	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3600.78	c number of reductions of the coefficients by power 2 	: 0
3600.02/3600.78	c number of right shift for reduction by power 2 	: 0
3600.02/3600.78	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3600.79	c number of ending skipping 	: 0
3600.02/3600.79	c number of internal skipping 	: 0
3600.02/3600.79	c number of derivation steps 	: 0
3600.02/3600.79	c number of skipped derivation steps 	: 0
3600.02/3600.79	c number of remaining unassigned 	: 0
3600.02/3600.79	c number of remaining assigned 	: 0
3600.02/3600.79	c number of falsified literals weakened from reason	: 0
3600.02/3600.79	c number of falsified literals weakened from conflict	: 0
3600.02/3600.79	c time for arithmetic operations	: 0
3600.23/3600.81	c minimum degree of deleted constraints	: null
3600.23/3600.82	c maximum degree of deleted constraints	: null
3600.23/3600.82	c number of deleted constraints	: 0
3600.23/3600.82	c speed (assignments/second)	: 90406.45844720856
3600.23/3600.83	c non guided choices	: 0
3600.62/3601.02	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 375423
3600.62/3601.02	s SATISFIABLE
3600.62/3601.02	c Found 5 solution(s)
3600.62/3601.02	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.62/3601.02	c objective function=23
3600.62/3601.03	c Total wall clock time (in seconds): 3600.717

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: 63794 MiB (60863 MiB free)
  memory of node 1: 64507 MiB (62368 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4487812-1751321271/watcher-4487812-1751321271 -o /tmp/evaluation-result-4487812-1751321271/solver-4487812-1751321271 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751314075-42349 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4487812-1751321271.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=43832, runsolver pid=43829

[startup+0.100079 s]*
/proc/loadavg: 4.23 4.18 4.18 5/323 43850
/proc/meminfo: memFree=126174892/131382112 swapFree=33010160/33010684
[pid=43832] ppid=43829 vsize=18930384 memory=50460 CPUtime=0.11 cores=4,6
/proc/43832/stat : 43832 (java) S 43829 43832 42338 0 -1 4194304 5797 0 0 0 8 3 0 0 20 0 18 0 47806020 19384713216 12615 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
/proc/43832/statm: 4732596 12615 5334 1 0 547010 0
[pid=43832/tid=43834] ppid=43829 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/43832/task/43834/stat : 43834 (java) R 43829 43832 42338 0 -1 4194368 4703 0 0 0 5 2 0 0 20 0 18 0 47806021 19384713216 12615 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
[pid=43832/tid=43843] ppid=43829 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/43832/task/43843/stat : 43843 (Finalizer) S 43829 43832 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 47806026 19384713216 12615 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
[pid=43832/tid=43850] ppid=43829 vsize=18930384 memory=61792617516369 CPUtime=0 cores=4,6
/proc/43832/task/43850/stat : 43850 (Common-Cleaner) S 43829 43832 42338 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 47806027 19384713216 12615 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 50460 KiB

[startup+0.222011 s]*
/proc/loadavg: 4.23 4.18 4.18 6/323 43850
/proc/meminfo: memFree=126172876/131382112 swapFree=33010160/33010684
[pid=43832] ppid=43829 vsize=18930384 memory=57400 CPUtime=0.29 cores=4,6
/proc/43832/stat : 43832 (java) S 43829 43832 42338 0 -1 4194304 6463 0 0 0 25 4 0 0 20 0 18 0 47806020 19384713216 14350 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
/proc/43832/statm: 4732596 14350 5366 1 0 547604 0
[pid=43832/tid=43834] ppid=43829 vsize=18930384 memory=4026663196 CPUtime=0.19 cores=4,6
/proc/43832/task/43834/stat : 43834 (java) R 43829 43832 42338 0 -1 4194368 5050 0 0 0 16 3 0 0 20 0 18 0 47806021 19384713216 14350 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
[pid=43832/tid=43843] ppid=43829 vsize=18930384 memory=1593 CPUtime=0 cores=4,6
/proc/43832/task/43843/stat : 43843 (Finalizer) S 43829 43832 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 47806026 19384713216 14350 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
[pid=43832/tid=43850] ppid=43829 vsize=18930384 memory=60693105869820 CPUtime=0 cores=4,6
/proc/43832/task/43850/stat : 43850 (Common-Cleaner) S 43829 43832 42338 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 47806027 19384713216 14350 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57400 KiB

[startup+0.313498 s]*
/proc/loadavg: 4.23 4.18 4.18 8/323 43850
/proc/meminfo: memFree=126172876/131382112 swapFree=33010160/33010684
[pid=43832] ppid=43829 vsize=18930384 memory=58680 CPUtime=0.44 cores=4,6
/proc/43832/stat : 43832 (java) S 43829 43832 42338 0 -1 4194304 6705 0 0 0 40 4 0 0 20 0 18 0 47806020 19384713216 14670 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
/proc/43832/statm: 4732596 14670 5430 1 0 547799 0
[pid=43832/tid=43834] ppid=43829 vsize=18930384 memory=-6000919468461681003 CPUtime=0.28 cores=4,6
/proc/43832/task/43834/stat : 43834 (java) R 43829 43832 42338 0 -1 4194368 5234 0 0 0 25 3 0 0 20 0 18 0 47806021 19384713216 14670 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
[pid=43832/tid=43843] ppid=43829 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/43832/task/43843/stat : 43843 (Finalizer) S 43829 43832 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 47806026 19384713216 14670 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
[pid=43832/tid=43850] ppid=43829 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/43832/task/43850/stat : 43850 (Common-Cleaner) S 43829 43832 42338 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 47806027 19384713216 14670 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58680 KiB

[startup+0.700304 s]
/proc/loadavg: 4.37 4.21 4.19 8/324 43851
/proc/meminfo: memFree=126142756/131382112 swapFree=33010160/33010684
[pid=43832] ppid=43829 vsize=18996948 memory=66968 CPUtime=1.15 cores=4,6
/proc/43832/stat : 43832 (java) S 43829 43832 42338 0 -1 4194304 8499 0 0 0 110 5 0 0 20 0 19 0 47806020 19452874752 16742 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
/proc/43832/statm: 4749237 16742 5462 1 0 549050 0
[pid=43832/tid=43834] ppid=43829 vsize=18996948 memory=17664 CPUtime=0.64 cores=4,6
/proc/43832/task/43834/stat : 43834 (java) R 43829 43832 42338 0 -1 4194368 5387 0 0 0 61 3 0 0 20 0 19 0 47806021 19452874752 16742 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
[pid=43832/tid=43843] ppid=43829 vsize=18996948 memory=11264 CPUtime=0 cores=4,6
/proc/43832/task/43843/stat : 43843 (Finalizer) S 43829 43832 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 47806026 19452874752 16742 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
[pid=43832/tid=43850] ppid=43829 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/43832/task/43850/stat : 43850 (Common-Cleaner) S 43829 43832 42338 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 47806027 19452874752 16742 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
[pid=43832/tid=43851] ppid=43829 vsize=18996948 memory=4892 CPUtime=0 cores=4,6
/proc/43832/task/43851/stat : 43851 (Timer-0) S 43829 43832 42338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 47806059 19452874752 16742 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 66968 KiB

[startup+1.50028 s]
/proc/loadavg: 4.37 4.21 4.19 6/324 43851
/proc/meminfo: memFree=125992404/131382112 swapFree=33010160/33010684
[pid=43832] ppid=43829 vsize=18996948 memory=87264 CPUtime=2.73 cores=4,6
/proc/43832/stat : 43832 (java) S 43829 43832 42338 0 -1 4194304 16323 0 0 0 267 6 0 0 20 0 19 0 47806020 19452874752 21816 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
/proc/43832/statm: 4749237 21816 5462 1 0 551509 0
[pid=43832/tid=43834] ppid=43829 vsize=18996948 memory=0 CPUtime=1.44 cores=4,6
/proc/43832/task/43834/stat : 43834 (java) R 43829 43832 42338 0 -1 4194368 6012 0 0 0 140 4 0 0 20 0 19 0 47806021 19452874752 21816 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
[pid=43832/tid=43843] ppid=43829 vsize=18996948 memory=11264 CPUtime=0 cores=4,6
/proc/43832/task/43843/stat : 43843 (Finalizer) S 43829 43832 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 47806026 19452874752 21816 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
[pid=43832/tid=43850] ppid=43829 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/43832/task/43850/stat : 43850 (Common-Cleaner) S 43829 43832 42338 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 47806027 19452874752 21816 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
[pid=43832/tid=43851] ppid=43829 vsize=18996948 memory=4892 CPUtime=0 cores=4,6
/proc/43832/task/43851/stat : 43851 (Timer-0) S 43829 43832 42338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 47806059 19452874752 21816 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
Current children cumulated CPU time: 2.73 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 87264 KiB

[startup+3.11289 s]
/proc/loadavg: 4.37 4.21 4.19 5/324 43851
/proc/meminfo: memFree=125440924/131382112 swapFree=33010160/33010684
[pid=43832] ppid=43829 vsize=18996948 memory=116064 CPUtime=4.56 cores=4,6
/proc/43832/stat : 43832 (java) S 43829 43832 42338 0 -1 4194304 16911 0 0 0 449 7 0 0 20 0 19 0 47806020 19452874752 29016 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
/proc/43832/statm: 4749237 29016 5462 1 0 551511 0
[pid=43832/tid=43834] ppid=43829 vsize=18996948 memory=11264 CPUtime=3.04 cores=4,6
/proc/43832/task/43834/stat : 43834 (java) R 43829 43832 42338 0 -1 4194368 6287 0 0 0 300 4 0 0 20 0 19 0 47806021 19452874752 29016 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
[pid=43832/tid=43843] ppid=43829 vsize=18996948 memory=-6000919468461681003 CPUtime=0 cores=4,6
/proc/43832/task/43843/stat : 43843 (Finalizer) S 43829 43832 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 47806026 19452874752 29016 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
[pid=43832/tid=43850] ppid=43829 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/43832/task/43850/stat : 43850 (Common-Cleaner) S 43829 43832 42338 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 47806027 19452874752 29016 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
[pid=43832/tid=43851] ppid=43829 vsize=18996948 memory=3200 CPUtime=0 cores=4,6
/proc/43832/task/43851/stat : 43851 (Timer-0) S 43829 43832 42338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 47806059 19452874752 29016 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
Current children cumulated CPU time: 4.56 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 116064 KiB

[startup+6.30042 s]
/proc/loadavg: 4.43 4.22 4.20 5/324 43851
/proc/meminfo: memFree=124604836/131382112 swapFree=33010160/33010684
[pid=43832] ppid=43829 vsize=19063512 memory=169124 CPUtime=7.88 cores=4,6
/proc/43832/stat : 43832 (java) S 43829 43832 42338 0 -1 4194304 20511 0 0 0 779 9 0 0 20 0 20 0 47806020 19521036288 42281 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
/proc/43832/statm: 4765878 42281 5526 1 0 551800 0
[pid=43832/tid=43834] ppid=43829 vsize=19063512 memory=0 CPUtime=6.18 cores=4,6
/proc/43832/task/43834/stat : 43834 (java) R 43829 43832 42338 0 -1 4194368 6748 0 0 0 613 5 0 0 20 0 20 0 47806021 19521036288 42281 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
[pid=43832/tid=43843] ppid=43829 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/43832/task/43843/stat : 43843 (Finalizer) S 43829 43832 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47806026 19521036288 42281 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
[pid=43832/tid=43850] ppid=43829 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/43832/task/43850/stat : 43850 (Common-Cleaner) S 43829 43832 42338 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 47806027 19521036288 42281 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
[pid=43832/tid=43851] ppid=43829 vsize=19063512 memory=87392 CPUtime=0 cores=4,6
/proc/43832/task/43851/stat : 43851 (Timer-0) S 43829 43832 42338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47806059 19521036288 42281 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
Current children cumulated CPU time: 7.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 169124 KiB

[startup+12.7004 s]
/proc/loadavg: 4.55 4.25 4.21 7/303 43946
/proc/meminfo: memFree=125541308/131382112 swapFree=33010160/33010684
[pid=43832] ppid=43829 vsize=19063512 memory=180760 CPUtime=14.73 cores=4,6
/proc/43832/stat : 43832 (java) S 43829 43832 42338 0 -1 4194304 26028 0 0 0 1462 11 0 0 20 0 20 0 47806020 19521036288 45190 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
/proc/43832/statm: 4765878 45190 5526 1 0 552408 0
[pid=43832/tid=43834] ppid=43829 vsize=19063512 memory=87392 CPUtime=12.56 cores=4,6
/proc/43832/task/43834/stat : 43834 (java) R 43829 43832 42338 0 -1 4194368 7532 0 0 0 1251 5 0 0 20 0 20 0 47806021 19521036288 45190 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
[pid=43832/tid=43843] ppid=43829 vsize=19063512 memory=180760 CPUtime=0 cores=4,6
/proc/43832/task/43843/stat : 43843 (Finalizer) S 43829 43832 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47806026 19521036288 45190 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
[pid=43832/tid=43850] ppid=43829 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/43832/task/43850/stat : 43850 (Common-Cleaner) S 43829 43832 42338 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 47806027 19521036288 45190 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
[pid=43832/tid=43851] ppid=43829 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/43832/task/43851/stat : 43851 (Timer-0) S 43829 43832 42338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47806059 19521036288 45190 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
Current children cumulated CPU time: 14.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 180760 KiB

[startup+25.5004 s]
/proc/loadavg: 4.47 4.24 4.20 5/325 43984
/proc/meminfo: memFree=122785784/131382112 swapFree=33010160/33010684
[pid=43832] ppid=43829 vsize=19063512 memory=224992 CPUtime=27.51 cores=4,6
/proc/43832/stat : 43832 (java) S 43829 43832 42338 0 -1 4194304 27620 0 0 0 2739 12 0 0 20 0 20 0 47806020 19521036288 56248 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
/proc/43832/statm: 4765878 56248 5526 1 0 552408 0
[pid=43832/tid=43834] ppid=43829 vsize=19063512 memory=180760 CPUtime=25.1 cores=4,6
/proc/43832/task/43834/stat : 43834 (java) R 43829 43832 42338 0 -1 4194368 7988 0 0 0 2505 5 0 0 20 0 20 0 47806021 19521036288 56248 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
[pid=43832/tid=43843] ppid=43829 vsize=19063512 memory=194168 CPUtime=0 cores=4,6
/proc/43832/task/43843/stat : 43843 (Finalizer) S 43829 43832 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47806026 19521036288 56248 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
[pid=43832/tid=43850] ppid=43829 vsize=19063512 memory=-6000919468461681003 CPUtime=0 cores=4,6
/proc/43832/task/43850/stat : 43850 (Common-Cleaner) S 43829 43832 42338 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 47806027 19521036288 56248 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
[pid=43832/tid=43851] ppid=43829 vsize=19063512 memory=4892 CPUtime=0 cores=4,6
/proc/43832/task/43851/stat : 43851 (Timer-0) S 43829 43832 42338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47806059 19521036288 56248 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
Current children cumulated CPU time: 27.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 224992 KiB

[startup+51.1131 s]
/proc/loadavg: 4.66 4.31 4.23 5/325 43985
/proc/meminfo: memFree=118115964/131382112 swapFree=33010160/33010684
[pid=43832] ppid=43829 vsize=19063512 memory=335176 CPUtime=53.58 cores=4,6
/proc/43832/stat : 43832 (java) S 43829 43832 42338 0 -1 4194304 29444 0 0 0 5341 17 0 0 20 0 20 0 47806020 19521036288 83794 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
/proc/43832/statm: 4765878 83794 5526 1 0 552408 0
[pid=43832/tid=43834] ppid=43829 vsize=19063512 memory=180760 CPUtime=50.28 cores=4,6
/proc/43832/task/43834/stat : 43834 (java) R 43829 43832 42338 0 -1 4194368 8154 0 0 0 5023 5 0 0 20 0 20 0 47806021 19521036288 83794 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
[pid=43832/tid=43843] ppid=43829 vsize=19063512 memory=194168 CPUtime=0 cores=4,6
/proc/43832/task/43843/stat : 43843 (Finalizer) S 43829 43832 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47806026 19521036288 83794 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
[pid=43832/tid=43850] ppid=43829 vsize=19063512 memory=180760 CPUtime=0 cores=4,6

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

[startup+3342.3 s]
/proc/loadavg: 4.20 4.31 4.46 5/326 44415
/proc/meminfo: memFree=109547072/131382112 swapFree=33010160/33010684
[pid=43832] ppid=43829 vsize=19063512 memory=2182212 CPUtime=3342.04 cores=4,6
/proc/43832/stat : 43832 (java) S 43829 43832 42338 0 -1 4194304 82269 0 0 0 333995 209 0 0 20 0 20 0 47806020 19521036288 545553 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
/proc/43832/statm: 4765878 545553 5558 1 0 558746 0
[pid=43832/tid=43834] ppid=43829 vsize=19063512 memory=2182212 CPUtime=3326.01 cores=4,6
/proc/43832/task/43834/stat : 43834 (java) R 43829 43832 42338 0 -1 4194368 32358 0 0 0 332571 30 0 0 20 0 20 0 47806021 19521036288 545553 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
[pid=43832/tid=43843] ppid=43829 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/43832/task/43843/stat : 43843 (Finalizer) S 43829 43832 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47806026 19521036288 545553 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
[pid=43832/tid=43850] ppid=43829 vsize=19063512 memory=2182212 CPUtime=0 cores=4,6
/proc/43832/task/43850/stat : 43850 (Common-Cleaner) S 43829 43832 42338 0 -1 4194368 1762 0 0 0 0 0 0 0 20 0 20 0 47806027 19521036288 545553 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
[pid=43832/tid=43851] ppid=43829 vsize=19063512 memory=2182212 CPUtime=0 cores=4,6
/proc/43832/task/43851/stat : 43851 (Timer-0) S 43829 43832 42338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47806059 19521036288 545553 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
Current children cumulated CPU time: 3342.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2182212 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.27 4.44 5/326 44417
/proc/meminfo: memFree=109546840/131382112 swapFree=33010160/33010684
[pid=43832] ppid=43829 vsize=19063512 memory=2182212 CPUtime=3401.9 cores=4,6
/proc/43832/stat : 43832 (java) S 43829 43832 42338 0 -1 4194304 82642 0 0 0 339979 211 0 0 20 0 20 0 47806020 19521036288 545553 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
/proc/43832/statm: 4765878 545553 5558 1 0 558746 0
[pid=43832/tid=43834] ppid=43829 vsize=19063512 memory=14720 CPUtime=3385.83 cores=4,6
/proc/43832/task/43834/stat : 43834 (java) R 43829 43832 42338 0 -1 4194368 32658 0 0 0 338553 30 0 0 20 0 20 0 47806021 19521036288 545553 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
[pid=43832/tid=43843] ppid=43829 vsize=19063512 memory=2182212 CPUtime=0 cores=4,6
/proc/43832/task/43843/stat : 43843 (Finalizer) S 43829 43832 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47806026 19521036288 545553 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
[pid=43832/tid=43850] ppid=43829 vsize=19063512 memory=2182212 CPUtime=0 cores=4,6
/proc/43832/task/43850/stat : 43850 (Common-Cleaner) S 43829 43832 42338 0 -1 4194368 1762 0 0 0 0 0 0 0 20 0 20 0 47806027 19521036288 545553 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
[pid=43832/tid=43851] ppid=43829 vsize=19063512 memory=2182212 CPUtime=0 cores=4,6
/proc/43832/task/43851/stat : 43851 (Timer-0) S 43829 43832 42338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47806059 19521036288 545553 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
Current children cumulated CPU time: 3401.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2182212 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.25 4.42 5/326 44419
/proc/meminfo: memFree=109544272/131382112 swapFree=33010160/33010684
[pid=43832] ppid=43829 vsize=19063512 memory=2182212 CPUtime=3461.83 cores=4,6
/proc/43832/stat : 43832 (java) S 43829 43832 42338 0 -1 4194304 84250 0 0 0 345970 213 0 0 20 0 20 0 47806020 19521036288 545553 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
/proc/43832/statm: 4765878 545553 5558 1 0 558746 0
[pid=43832/tid=43834] ppid=43829 vsize=19063512 memory=2182212 CPUtime=3445.59 cores=4,6
/proc/43832/task/43834/stat : 43834 (java) R 43829 43832 42338 0 -1 4194368 33453 0 0 0 344528 31 0 0 20 0 20 0 47806021 19521036288 545553 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
[pid=43832/tid=43843] ppid=43829 vsize=19063512 memory=2182212 CPUtime=0 cores=4,6
/proc/43832/task/43843/stat : 43843 (Finalizer) S 43829 43832 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47806026 19521036288 545553 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
[pid=43832/tid=43850] ppid=43829 vsize=19063512 memory=11264 CPUtime=0 cores=4,6
/proc/43832/task/43850/stat : 43850 (Common-Cleaner) S 43829 43832 42338 0 -1 4194368 1809 0 0 0 0 0 0 0 20 0 20 0 47806027 19521036288 545553 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
[pid=43832/tid=43851] ppid=43829 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/43832/task/43851/stat : 43851 (Timer-0) S 43829 43832 42338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47806059 19521036288 545553 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
Current children cumulated CPU time: 3461.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2182212 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.22 4.40 5/326 44421
/proc/meminfo: memFree=108702276/131382112 swapFree=33010160/33010684
[pid=43832] ppid=43829 vsize=19063512 memory=2182212 CPUtime=3521.76 cores=4,6
/proc/43832/stat : 43832 (java) S 43829 43832 42338 0 -1 4194304 85131 0 0 0 351959 217 0 0 20 0 20 0 47806020 19521036288 545553 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
/proc/43832/statm: 4765878 545553 5558 1 0 558746 0
[pid=43832/tid=43834] ppid=43829 vsize=19063512 memory=2182212 CPUtime=3505.38 cores=4,6
/proc/43832/task/43834/stat : 43834 (java) R 43829 43832 42338 0 -1 4194368 33574 0 0 0 350507 31 0 0 20 0 20 0 47806021 19521036288 545553 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
[pid=43832/tid=43843] ppid=43829 vsize=19063512 memory=2182212 CPUtime=0 cores=4,6
/proc/43832/task/43843/stat : 43843 (Finalizer) S 43829 43832 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47806026 19521036288 545553 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
[pid=43832/tid=43850] ppid=43829 vsize=19063512 memory=2182212 CPUtime=0 cores=4,6
/proc/43832/task/43850/stat : 43850 (Common-Cleaner) S 43829 43832 42338 0 -1 4194368 1896 0 0 0 0 0 0 0 20 0 20 0 47806027 19521036288 545553 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
[pid=43832/tid=43851] ppid=43829 vsize=19063512 memory=23532 CPUtime=0 cores=4,6
/proc/43832/task/43851/stat : 43851 (Timer-0) S 43829 43832 42338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47806059 19521036288 545553 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
Current children cumulated CPU time: 3521.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2182212 KiB

[startup+3582.3 s]
/proc/loadavg: 3.63 4.08 4.34 4/301 44456
/proc/meminfo: memFree=112322916/131382112 swapFree=33010160/33010684
[pid=43832] ppid=43829 vsize=19063512 memory=2182212 CPUtime=3581.66 cores=4,6
/proc/43832/stat : 43832 (java) S 43829 43832 42338 0 -1 4194304 85299 0 0 0 357947 219 0 0 20 0 20 0 47806020 19521036288 545553 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
/proc/43832/statm: 4765878 545553 5558 1 0 558746 0
[pid=43832/tid=43834] ppid=43829 vsize=19063512 memory=14720 CPUtime=3565.24 cores=4,6
/proc/43832/task/43834/stat : 43834 (java) R 43829 43832 42338 0 -1 4194368 33737 0 0 0 356493 31 0 0 20 0 20 0 47806021 19521036288 545553 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
[pid=43832/tid=43843] ppid=43829 vsize=19063512 memory=5888 CPUtime=0 cores=4,6
/proc/43832/task/43843/stat : 43843 (Finalizer) S 43829 43832 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47806026 19521036288 545553 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
[pid=43832/tid=43850] ppid=43829 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/43832/task/43850/stat : 43850 (Common-Cleaner) S 43829 43832 42338 0 -1 4194368 1896 0 0 0 0 0 0 0 20 0 20 0 47806027 19521036288 545553 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
[pid=43832/tid=43851] ppid=43829 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/43832/task/43851/stat : 43851 (Timer-0) S 43829 43832 42338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47806059 19521036288 545553 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
Current children cumulated CPU time: 3581.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2182212 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3600.7 s]
/proc/loadavg: 3.56 4.04 4.32 4/301 44457
/proc/meminfo: memFree=112176468/131382112 swapFree=33010160/33010684
[pid=43832] ppid=43829 vsize=19063512 memory=2182212 CPUtime=3600.02 cores=4,6
/proc/43832/stat : 43832 (java) S 43829 43832 42338 0 -1 4194304 85560 0 0 0 359782 220 0 0 20 0 20 0 47806020 19521036288 545553 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
/proc/43832/statm: 4765878 545553 5558 1 0 558746 0
[pid=43832/tid=43834] ppid=43829 vsize=19063512 memory=2182212 CPUtime=3583.58 cores=4,6
/proc/43832/task/43834/stat : 43834 (java) R 43829 43832 42338 0 -1 4194368 33946 0 0 0 358327 31 0 0 20 0 20 0 47806021 19521036288 545553 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
[pid=43832/tid=43843] ppid=43829 vsize=19063512 memory=2182212 CPUtime=0 cores=4,6
/proc/43832/task/43843/stat : 43843 (Finalizer) S 43829 43832 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 47806026 19521036288 545553 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
[pid=43832/tid=43850] ppid=43829 vsize=19063512 memory=17664 CPUtime=0 cores=4,6
/proc/43832/task/43850/stat : 43850 (Common-Cleaner) S 43829 43832 42338 0 -1 4194368 1896 0 0 0 0 0 0 0 20 0 20 0 47806027 19521036288 545553 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
[pid=43832/tid=43851] ppid=43829 vsize=19063512 memory=14720 CPUtime=0 cores=4,6
/proc/43832/task/43851/stat : 43851 (Timer-0) S 43829 43832 42338 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 47806059 19521036288 545553 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2182212 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.45 s, system=2.23165 s

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

[startup+3600.81 s]
/proc/loadavg: 3.56 4.04 4.32 4/301 44457
/proc/meminfo: memFree=112176468/131382112 swapFree=33010160/33010684
[pid=43832] ppid=43829 vsize=19263204 memory=2183108 CPUtime=3600.23 cores=4,6
/proc/43832/stat : 43832 (java) S 43829 43832 42338 0 -1 4194304 87962 0 0 0 359802 221 0 0 20 0 21 0 47806020 19725520896 545777 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
/proc/43832/statm: 4815801 545777 5558 1 0 559705 0
[pid=43832/tid=43834] ppid=43829 vsize=19263204 memory=11264 CPUtime=3583.69 cores=4,6
/proc/43832/task/43834/stat : 43834 (java) R 43829 43832 42338 0 -1 4194368 34328 0 0 0 358338 31 0 0 20 0 21 0 47806021 19725520896 545777 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
[pid=43832/tid=43843] ppid=43829 vsize=19263204 memory=-6000919468461681003 CPUtime=0 cores=4,6
/proc/43832/task/43843/stat : 43843 (Finalizer) S 43829 43832 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 47806026 19725520896 545777 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
[pid=43832/tid=43850] ppid=43829 vsize=19263204 memory=7092 CPUtime=0 cores=4,6
/proc/43832/task/43850/stat : 43850 (Common-Cleaner) S 43829 43832 42338 0 -1 4194368 1896 0 0 0 0 0 0 0 20 0 21 0 47806027 19725520896 545777 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2183108 KiB

[startup+3601 s]*
/proc/loadavg: 3.56 4.04 4.32 5/302 44460
/proc/meminfo: memFree=112176468/131382112 swapFree=33010160/33010684
[pid=43832] ppid=43829 vsize=19263204 memory=2183108 CPUtime=3600.62 cores=4,6
/proc/43832/stat : 43832 (java) S 43829 43832 42338 0 -1 4194304 88084 0 0 0 359841 221 0 0 20 0 21 0 47806020 19725520896 545777 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
/proc/43832/statm: 4815801 545777 5558 1 0 559705 0
[pid=43832/tid=43834] ppid=43829 vsize=19263204 memory=-6000919498510002283 CPUtime=3583.89 cores=4,6
/proc/43832/task/43834/stat : 43834 (java) R 43829 43832 42338 0 -1 4194368 34328 0 0 0 358358 31 0 0 20 0 21 0 47806021 19725520896 545777 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
[pid=43832/tid=43843] ppid=43829 vsize=19263204 memory=7686721470264483783 CPUtime=0 cores=4,6
/proc/43832/task/43843/stat : 43843 (Finalizer) S 43829 43832 42338 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 47806026 19725520896 545777 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
[pid=43832/tid=43850] ppid=43829 vsize=19263204 memory=7686721470264483783 CPUtime=0 cores=4,6
/proc/43832/task/43850/stat : 43850 (Common-Cleaner) S 43829 43832 42338 0 -1 4194368 1896 0 0 0 0 0 0 0 20 0 21 0 47806027 19725520896 545777 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
[pid=43832/tid=44460] ppid=43829 vsize=19263204 memory=3072 CPUtime=0.15 cores=4,6
/proc/43832/task/44460/stat : 44460 (Thread-0) R 43829 43832 42338 0 -1 4194368 312 0 0 0 15 0 0 0 20 0 21 0 48166092 19725520896 545777 18446744073709551615 94600308121600 94600308125296 140734433194288 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94600308133112 94600308133904 94600316809216 140734433196417 140734433196518 140734433196518 140734433202120 0
Current children cumulated CPU time: 3600.62 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2183108 KiB

Child status: 143

Real time (s): 3601.06
CPU time (s): 3600.68
CPU user time (s): 3598.45
CPU system time (s): 2.23165
CPU usage (%): 99.9893
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2183108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.45
system time used= 2.23165
maximum resident set size= 2183364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88327
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 106368
involuntary context switches= 3330


# summary of solver processes directly reported to runsolver:
#   pid: 43832
#   total CPU time (s): 3600.68
#   total CPU user time (s): 3598.45
#   total CPU system time (s): 2.23165

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.0843 second user time and 36.2463 second system time

The end

Launcher Data 

Begin job on nodeC001 at 2025-07-01 00:07:51
IDJOB=4487812
IDBENCH=147223
IDSOLVER=3363
FILE ID=nodeC001/4487812-1751321271
RUNJOBID= nodeC001-1751314075-42349
SLURM_JOB_ID= 9594322
Free space on /tmp= 433056 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/sorensson/garden/normalized-g9x9.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4487812-1751321271/watcher-4487812-1751321271 -o /tmp/evaluation-result-4487812-1751321271/solver-4487812-1751321271 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751314075-42349 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4487812-1751321271.opb

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

MD5SUM BENCH= c74ef50fdcad1c092f72b2454e0c2ee1
RANDOM SEED=1335386795

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        126189964 kB
MemAvailable:   125939500 kB
Buffers:            2128 kB
Cached:           554188 kB
SwapCached:           28 kB
Active:          4361756 kB
Inactive:         255328 kB
Active(anon):    4068320 kB
Inactive(anon):    10380 kB
Active(file):     293436 kB
Inactive(file):   244948 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3404 kB
Writeback:             0 kB
AnonPages:       4063896 kB
Mapped:           122640 kB
Shmem:             17932 kB
KReclaimable:     101176 kB
Slab:             184496 kB
SReclaimable:     101176 kB
SUnreclaim:        83320 kB
KernelStack:        4944 kB
PageTables:        11640 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    9597328 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150264 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3831808 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:      195400 kB
DirectMap2M:     9144320 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC001 at 2025-07-01 01:07:53