Trace number 4447694

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 NameAnswerCPU timeWall clock time
Sat4j Resolution Default 2024-07-07? (TO) 3600.27 3598.21

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n182-d3-i1-r1.cnf.gz-plain.pb.metafix.opb
MD5SUMc8e53a529ce10df137c21c2a3460ac47
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables273
Total number of constraints728
Number of constraints which are clauses728
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 constraint3
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.14/0.17	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.14/0.17	c This is free software under the dual EPL/GNU LGPL licenses.
0.14/0.17	c See www.sat4j.org for details.
0.14/0.18	c version CUSTOM.v20240707
0.14/0.21	c java.runtime.name	OpenJDK Runtime Environment
0.14/0.21	c java.vm.name		OpenJDK 64-Bit Server VM
0.14/0.21	c java.vm.version	22.0.1+8-16
0.14/0.21	c java.vm.vendor	Oracle Corporation
0.14/0.21	c sun.arch.data.model	64
0.14/0.21	c java.version		22.0.1
0.14/0.21	c os.name		Linux
0.14/0.21	c os.version		4.18.0-301.1.el8.x86_64
0.14/0.21	c os.arch		amd64
0.14/0.22	c Free memory 		2115194816
0.14/0.22	c Max memory 		16282288128
0.14/0.22	c Total memory 		2122317824
0.14/0.23	c Number of processors 	2
0.33/0.31	--- Begin Solver configuration ---
0.33/0.31	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.33/0.31	Learn all clauses as in MiniSAT
0.33/0.31	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.33/0.31	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.33/0.31	No reason simplification
0.33/0.31	Glucose 2.1 dynamic restart strategy
0.33/0.31	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.33/0.31	timeout=2147483s
0.33/0.31	DB Simplification allowed=false
0.33/0.31	Listener: none
0.33/0.31	--- End Solver configuration ---
0.33/0.32	c Pseudo Boolean Optimization by upper bound
0.33/0.32	c --- Begin Solver configuration ---
0.33/0.32	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.33/0.32	c Learn all clauses as in MiniSAT
0.33/0.32	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.33/0.32	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.33/0.32	c No reason simplification
0.33/0.32	c Glucose 2.1 dynamic restart strategy
0.33/0.32	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.33/0.32	c timeout=2147483s
0.33/0.32	c DB Simplification allowed=false
0.33/0.32	c Listener: none
0.33/0.32	c --- End Solver configuration ---
0.33/0.32	c solving HOME/instance-4447694-1721354353.opb
0.33/0.32	c reading problem ... 
0.33/0.33	c  no objective function found
0.66/0.44	c ... done. Wall clock time 0.098s.
0.66/0.44	c declared #vars     273
0.66/0.44	c #constraints  728
0.66/0.44	c constraints type 
0.66/0.44	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 728
0.66/0.44	c 728 constraints processed.
1.58/0.99	c cleaning 2495 clauses out of 5001 with flag 17564/5001
2.15/1.21	c cleaning 4248 clauses out of 8506 with flag 39801/11001
2.36/1.38	c cleaning 5625 clauses out of 11258 with flag 71166/18001
2.74/1.51	c cleaning 6811 clauses out of 13632 with flag 101893/26000
2.85/1.64	c cleaning 7905 clauses out of 15821 with flag 135723/35000
3.14/1.80	c cleaning 8950 clauses out of 17917 with flag 174423/45001
3.32/1.96	c cleaning 9977 clauses out of 19966 with flag 217420/56000
3.52/2.13	c cleaning 10986 clauses out of 21990 with flag 266747/68001
3.71/2.30	c cleaning 11995 clauses out of 24005 with flag 314375/81002
3.81/2.49	c cleaning 12999 clauses out of 26009 with flag 369220/95001
4.16/2.70	c cleaning 14000 clauses out of 28009 with flag 436969/110000
4.36/2.92	c cleaning 14998 clauses out of 30010 with flag 509542/126001
4.63/3.18	c cleaning 15994 clauses out of 32012 with flag 584325/143001
5.09/3.51	c cleaning 17001 clauses out of 34017 with flag 662689/161000
5.29/3.77	c cleaning 18001 clauses out of 36017 with flag 751881/180001
5.58/4.06	c cleaning 19001 clauses out of 38016 with flag 841598/200001
5.88/4.34	c cleaning 20000 clauses out of 40015 with flag 940887/221001
6.18/4.62	c cleaning 20996 clauses out of 42015 with flag 1044012/243001
6.48/4.95	c cleaning 22003 clauses out of 44018 with flag 1156782/266000
6.87/5.33	c cleaning 23002 clauses out of 46015 with flag 1275765/290000
7.27/5.73	c cleaning 24001 clauses out of 48013 with flag 1402221/315000
7.67/6.16	c cleaning 25001 clauses out of 50014 with flag 1532348/341002
8.06/6.59	c cleaning 25997 clauses out of 52011 with flag 1661792/368000
8.56/7.03	c cleaning 27002 clauses out of 54014 with flag 1790195/396000
9.05/7.56	c cleaning 27998 clauses out of 56013 with flag 1937859/425001
9.56/8.06	c cleaning 29003 clauses out of 58014 with flag 2087340/455000
10.15/8.61	c cleaning 29997 clauses out of 60012 with flag 2236424/486001
10.84/9.30	c cleaning 31001 clauses out of 62014 with flag 2393818/518000
11.44/9.92	c cleaning 31999 clauses out of 64013 with flag 2572259/551000
12.13/10.65	c cleaning 32998 clauses out of 66014 with flag 2743243/585000
13.42/11.95	c cleaning 34003 clauses out of 68016 with flag 2916794/620000
14.53/13.02	c cleaning 35001 clauses out of 70013 with flag 3105428/656000
15.43/13.98	c cleaning 35998 clauses out of 72013 with flag 3290998/693001
16.22/14.78	c cleaning 37006 clauses out of 74015 with flag 3486716/731001
17.26/15.74	c cleaning 37996 clauses out of 76009 with flag 3679484/770001
18.46/16.90	c cleaning 39001 clauses out of 78013 with flag 3869715/810001
19.36/17.85	c cleaning 40002 clauses out of 80011 with flag 4077400/851000
20.36/18.80	c cleaning 40997 clauses out of 82009 with flag 4299930/893000
21.26/19.77	c cleaning 42002 clauses out of 84012 with flag 4520177/936000
22.67/21.14	c cleaning 43000 clauses out of 86010 with flag 4749570/980000
23.87/22.35	c cleaning 44002 clauses out of 88011 with flag 4976217/1025001
24.87/23.37	c cleaning 44997 clauses out of 90009 with flag 5201003/1071001
26.06/24.51	c cleaning 46000 clauses out of 92012 with flag 5435566/1118001
27.26/25.70	c cleaning 46999 clauses out of 94011 with flag 5675222/1166000
28.27/26.74	c cleaning 47999 clauses out of 96012 with flag 5919658/1215000
29.97/28.41	c cleaning 49000 clauses out of 98014 with flag 6177882/1265001
31.07/29.55	c cleaning 50000 clauses out of 100013 with flag 6439229/1316000
32.36/30.84	c cleaning 50996 clauses out of 102013 with flag 6736244/1368000
33.86/32.38	c cleaning 52002 clauses out of 104017 with flag 7072642/1421000
35.82/34.26	c cleaning 53000 clauses out of 106016 with flag 7440575/1475001
37.81/36.25	c cleaning 54000 clauses out of 108015 with flag 7775018/1530000
39.31/37.77	c cleaning 55004 clauses out of 110015 with flag 8053245/1586000
41.01/39.47	c cleaning 55997 clauses out of 112011 with flag 8330990/1643000
42.82/41.22	c cleaning 57001 clauses out of 114014 with flag 8621612/1701000
44.32/42.73	c cleaning 57997 clauses out of 116014 with flag 8912598/1760001
46.42/44.84	c cleaning 59002 clauses out of 118016 with flag 9225705/1820000
48.12/46.56	c cleaning 60002 clauses out of 120014 with flag 9519802/1881000
49.85/48.23	c cleaning 61002 clauses out of 122012 with flag 9824498/1943000
51.56/49.97	c cleaning 61995 clauses out of 124011 with flag 10133341/2006001
53.26/51.61	c cleaning 62997 clauses out of 126016 with flag 10435916/2070001
55.26/53.63	c cleaning 64002 clauses out of 128018 with flag 10757179/2135000
57.56/55.91	c cleaning 65002 clauses out of 130016 with flag 11083654/2201000
59.55/57.94	c cleaning 66001 clauses out of 132015 with flag 11422109/2268001
61.55/60.00	c cleaning 66998 clauses out of 134013 with flag 11765571/2336000
63.99/62.39	c cleaning 68001 clauses out of 136015 with flag 12137832/2405000
66.38/64.76	c cleaning 69001 clauses out of 138015 with flag 12457775/2475001
68.49/66.80	c cleaning 69996 clauses out of 140013 with flag 12806925/2546000
71.12/69.43	c cleaning 70995 clauses out of 142017 with flag 13158221/2618000
73.62/71.92	c cleaning 72001 clauses out of 144023 with flag 13490656/2691001
76.21/74.58	c cleaning 73001 clauses out of 146021 with flag 13832800/2765000
78.95/77.25	c cleaning 74000 clauses out of 148021 with flag 14188807/2840001
81.25/79.52	c cleaning 75002 clauses out of 150020 with flag 14549321/2916000
83.54/81.88	c cleaning 76003 clauses out of 152019 with flag 14932385/2993001
86.94/85.25	c cleaning 77001 clauses out of 154015 with flag 15329216/3071000
89.44/87.72	c cleaning 77999 clauses out of 156014 with flag 15699099/3150000
92.43/90.79	c cleaning 79000 clauses out of 158016 with flag 16095827/3230001
95.36/93.69	c cleaning 80001 clauses out of 160015 with flag 16479094/3311000
97.86/96.18	c cleaning 81000 clauses out of 162014 with flag 16881005/3393000
100.94/99.26	c cleaning 82004 clauses out of 164015 with flag 17287007/3476001
103.64/101.98	c cleaning 83002 clauses out of 166011 with flag 17675780/3560001
106.76/105.10	c cleaning 84000 clauses out of 168008 with flag 18050740/3645000
109.58/107.82	c cleaning 85001 clauses out of 170008 with flag 18459926/3731000
112.08/110.31	c cleaning 85993 clauses out of 172008 with flag 18890273/3818001
115.07/113.33	c cleaning 87003 clauses out of 174015 with flag 19376315/3906001
122.63/120.93	c cleaning 87994 clauses out of 176012 with flag 19843532/3995001
126.10/124.42	c cleaning 89002 clauses out of 178018 with flag 20318485/4085001
130.77/129.14	c cleaning 90003 clauses out of 180016 with flag 20783961/4176001
134.46/132.82	c cleaning 91001 clauses out of 182012 with flag 21275271/4268000
140.01/138.48	c cleaning 91997 clauses out of 184011 with flag 21775110/4361000
144.18/142.61	c cleaning 93002 clauses out of 186015 with flag 22276355/4455001
149.44/147.96	c cleaning 93997 clauses out of 188012 with flag 22774901/4550000
154.89/153.47	c cleaning 95000 clauses out of 190016 with flag 23214844/4646001
159.06/157.64	c cleaning 96008 clauses out of 192017 with flag 23691684/4743002
164.62/163.21	c cleaning 96999 clauses out of 194007 with flag 24153262/4841000
170.42/169.07	c cleaning 97995 clauses out of 196009 with flag 24641844/4940001
174.34/172.96	c cleaning 99001 clauses out of 198013 with flag 25099770/5040000
177.93/176.58	c cleaning 100001 clauses out of 200013 with flag 25591761/5141001
181.72/180.38	c cleaning 101000 clauses out of 202013 with flag 26067697/5243002
185.64/184.24	c cleaning 101997 clauses out of 204011 with flag 26526472/5346000
189.84/188.42	c cleaning 103000 clauses out of 206014 with flag 27022874/5450000
194.52/192.67	c cleaning 103998 clauses out of 208014 with flag 27551031/5555000
199.51/197.64	c cleaning 105005 clauses out of 210016 with flag 28029638/5661000
203.30/201.46	c cleaning 106001 clauses out of 212012 with flag 28511111/5768001
207.80/205.97	c cleaning 106997 clauses out of 214010 with flag 29011406/5876000
211.80/209.98	c cleaning 107999 clauses out of 216013 with flag 29540827/5985000
217.01/215.19	c cleaning 108999 clauses out of 218015 with flag 30048007/6095001
221.39/219.53	c cleaning 110000 clauses out of 220015 with flag 30572537/6206000
225.78/223.99	c cleaning 111005 clauses out of 222015 with flag 31108962/6318000
230.78/228.91	c cleaning 111998 clauses out of 224010 with flag 31656923/6431000
236.39/234.55	c cleaning 113000 clauses out of 226013 with flag 32187837/6545001
243.47/241.69	c cleaning 113998 clauses out of 228012 with flag 32696713/6660000
248.38/246.56	c cleaning 114997 clauses out of 230015 with flag 33253394/6776001
253.27/251.41	c cleaning 115999 clauses out of 232017 with flag 33786647/6893000
261.60/259.89	c cleaning 117000 clauses out of 234019 with flag 34176182/7011001
267.65/265.92	c cleaning 118003 clauses out of 236018 with flag 34628716/7130000
271.82/270.10	c cleaning 118995 clauses out of 238015 with flag 35193843/7250000
276.59/274.92	c cleaning 120002 clauses out of 240021 with flag 35760768/7371001
282.64/281.04	c cleaning 120997 clauses out of 242018 with flag 36342555/7493000
287.34/285.77	c cleaning 122006 clauses out of 244022 with flag 36945963/7616001
294.09/292.57	c cleaning 123001 clauses out of 246016 with flag 37495648/7740001
303.99/302.53	c cleaning 123999 clauses out of 248014 with flag 38080708/7865000
309.45/308.04	c cleaning 124999 clauses out of 250015 with flag 38668750/7991000
314.19/312.86	c cleaning 126004 clauses out of 252017 with flag 39285467/8118001
320.53/319.27	c cleaning 127001 clauses out of 254013 with flag 39932786/8246001
327.29/326.08	c cleaning 127995 clauses out of 256011 with flag 40561213/8375000
332.24/331.01	c cleaning 129000 clauses out of 258016 with flag 41164446/8505000
338.19/337.03	c cleaning 130002 clauses out of 260017 with flag 41796497/8636001
344.04/342.92	c cleaning 130999 clauses out of 262014 with flag 42468403/8768000
349.39/348.39	c cleaning 131998 clauses out of 264016 with flag 43094351/8901001
356.51/355.46	c cleaning 133003 clauses out of 266017 with flag 43754282/9035000
361.90/360.85	c cleaning 134000 clauses out of 268015 with flag 44400484/9170001
367.49/366.42	c cleaning 134999 clauses out of 270014 with flag 45013180/9306000
373.62/372.54	c cleaning 135998 clauses out of 272016 with flag 45639970/9443001
381.42/380.36	c cleaning 137003 clauses out of 274018 with flag 46260107/9581001
391.70/390.61	c cleaning 137994 clauses out of 276014 with flag 46865104/9720000
399.45/398.36	c cleaning 139005 clauses out of 278020 with flag 47532005/9860000
408.64/407.57	c cleaning 140001 clauses out of 280015 with flag 48195228/10001000
414.93/413.82	c cleaning 140997 clauses out of 282014 with flag 48854634/10143000
423.72/422.69	c cleaning 142004 clauses out of 284017 with flag 49554380/10286000
429.52/428.41	c cleaning 142998 clauses out of 286013 with flag 50256134/10430000
436.53/435.45	c cleaning 144004 clauses out of 288016 with flag 50909995/10575001
446.01/444.96	c cleaning 145000 clauses out of 290011 with flag 51670136/10721000
452.40/451.35	c cleaning 146000 clauses out of 292012 with flag 52366934/10868001
459.46/458.34	c cleaning 146997 clauses out of 294011 with flag 53034472/11016000
468.26/467.15	c cleaning 148002 clauses out of 296015 with flag 53745643/11165001
475.25/474.15	c cleaning 148995 clauses out of 298012 with flag 54419548/11315000
485.18/484.08	c cleaning 150001 clauses out of 300017 with flag 55146359/11466000
494.75/493.65	c cleaning 150998 clauses out of 302016 with flag 55861219/11618000
502.34/501.25	c cleaning 152001 clauses out of 304019 with flag 56589975/11771001
512.28/510.67	c cleaning 152998 clauses out of 306017 with flag 57354975/11925000
521.86/520.24	c cleaning 154002 clauses out of 308020 with flag 58117439/12080001
532.83/531.20	c cleaning 155001 clauses out of 310018 with flag 58896632/12236001
541.92/540.39	c cleaning 155998 clauses out of 312016 with flag 59632105/12393000
549.94/548.34	c cleaning 156999 clauses out of 314018 with flag 60339290/12551000
559.20/557.65	c cleaning 158004 clauses out of 316019 with flag 61076978/12710000
571.99/570.54	c cleaning 159004 clauses out of 318015 with flag 61812443/12870000
580.36/578.90	c cleaning 159997 clauses out of 320011 with flag 62522455/13031000
590.75/589.37	c cleaning 161004 clauses out of 322015 with flag 63290765/13193001
598.66/597.22	c cleaning 161999 clauses out of 324011 with flag 64014828/13356001
609.94/608.53	c cleaning 162998 clauses out of 326012 with flag 64741468/13520001
618.86/617.45	c cleaning 164001 clauses out of 328013 with flag 65498913/13685000
626.28/624.82	c cleaning 164994 clauses out of 330012 with flag 66272714/13851000
635.06/633.69	c cleaning 166001 clauses out of 332018 with flag 67082908/14018000
642.86/641.46	c cleaning 167002 clauses out of 334017 with flag 67884328/14186000
651.25/649.84	c cleaning 167997 clauses out of 336015 with flag 68672441/14355000
661.34/659.97	c cleaning 169001 clauses out of 338018 with flag 69508706/14525000
669.75/668.38	c cleaning 170000 clauses out of 340018 with flag 70314100/14696001
679.35/677.97	c cleaning 171002 clauses out of 342018 with flag 71109617/14868001
687.83/686.42	c cleaning 172002 clauses out of 344016 with flag 71868036/15041001
702.26/700.82	c cleaning 172996 clauses out of 346013 with flag 72672443/15215000
710.86/709.40	c cleaning 174005 clauses out of 348017 with flag 73513136/15390000
720.14/718.75	c cleaning 175001 clauses out of 350012 with flag 74376818/15566000
729.33/727.98	c cleaning 175998 clauses out of 352011 with flag 75192741/15743000
736.73/735.32	c cleaning 176994 clauses out of 354013 with flag 76028692/15921000
747.17/745.71	c cleaning 178001 clauses out of 356019 with flag 76901342/16100000
759.05/757.69	c cleaning 179000 clauses out of 358018 with flag 77787697/16280000
770.13/768.74	c cleaning 180001 clauses out of 360018 with flag 78680135/16461000
782.40/781.01	c cleaning 181002 clauses out of 362018 with flag 79610443/16643001
794.87/793.44	c cleaning 181997 clauses out of 364015 with flag 80585829/16826000
804.16/802.71	c cleaning 183000 clauses out of 366018 with flag 81539866/17010000
814.81/813.31	c cleaning 184005 clauses out of 368018 with flag 82392084/17195000
826.30/824.88	c cleaning 185003 clauses out of 370013 with flag 83299246/17381000
838.70/836.89	c cleaning 186000 clauses out of 372011 with flag 84175693/17568001
847.69/845.84	c cleaning 186999 clauses out of 374010 with flag 85000646/17756000
859.89/858.03	c cleaning 188004 clauses out of 376011 with flag 85853748/17945000
870.76/868.92	c cleaning 188998 clauses out of 378008 with flag 86746583/18135001
881.88/880.01	c cleaning 189998 clauses out of 380009 with flag 87639017/18326000
893.96/892.16	c cleaning 190997 clauses out of 382012 with flag 88513984/18518001
903.35/901.56	c cleaning 192005 clauses out of 384015 with flag 89420627/18711001
915.91/914.04	c cleaning 192997 clauses out of 386009 with flag 90297552/18905000
926.48/924.70	c cleaning 193996 clauses out of 388012 with flag 91122376/19100000
936.08/934.25	c cleaning 195003 clauses out of 390016 with flag 92062010/19296000
953.70/951.85	c cleaning 195998 clauses out of 392014 with flag 92923425/19493001
969.18/967.30	c cleaning 197001 clauses out of 394015 with flag 93778033/19691000
991.04/989.19	c cleaning 198002 clauses out of 396014 with flag 94640110/19890000
1001.40/999.57	c cleaning 198998 clauses out of 398013 with flag 95543837/20090001
1012.92/1011.01	c cleaning 199999 clauses out of 400014 with flag 96497677/20291000
1025.19/1023.39	c cleaning 201002 clauses out of 402016 with flag 97417283/20493001
1036.82/1034.90	c cleaning 202004 clauses out of 404013 with flag 98368294/20696000
1046.91/1045.05	c cleaning 202993 clauses out of 406010 with flag 99317272/20900001
1060.40/1058.50	c cleaning 203999 clauses out of 408018 with flag 100295028/21105002
1073.38/1071.56	c cleaning 204997 clauses out of 410018 with flag 101246259/21311001
1086.10/1084.26	c cleaning 206001 clauses out of 412021 with flag 102215503/21518001
1097.28/1095.44	c cleaning 207002 clauses out of 414019 with flag 103196683/21726000
1111.10/1109.29	c cleaning 208002 clauses out of 416018 with flag 104229137/21935001
1122.99/1121.17	c cleaning 209000 clauses out of 418015 with flag 105254565/22145000
1135.51/1133.68	c cleaning 209999 clauses out of 420016 with flag 106262754/22356001
1149.59/1147.71	c cleaning 210997 clauses out of 422017 with flag 107244000/22568001
1164.24/1162.33	c cleaning 212002 clauses out of 424019 with flag 108219443/22781000
1174.63/1172.73	c cleaning 212998 clauses out of 426018 with flag 109231172/22995001
1188.88/1186.99	c cleaning 214007 clauses out of 428019 with flag 110119246/23210000
1202.66/1200.72	c cleaning 215004 clauses out of 430013 with flag 111176375/23426001
1216.84/1214.93	c cleaning 216001 clauses out of 432009 with flag 112259362/23643001
1230.00/1228.03	c cleaning 216999 clauses out of 434007 with flag 113348938/23861000
1245.25/1243.30	c cleaning 217995 clauses out of 436009 with flag 114380589/24080001
1257.43/1255.57	c cleaning 219007 clauses out of 438014 with flag 115386557/24300001
1270.08/1268.17	c cleaning 219997 clauses out of 440007 with flag 116447258/24521001
1280.95/1279.08	c cleaning 220999 clauses out of 442009 with flag 117499789/24743000
1292.33/1290.45	c cleaning 221992 clauses out of 444010 with flag 118539193/24966000
1311.80/1309.92	c cleaning 223005 clauses out of 446019 with flag 119623291/25190001
1328.92/1327.09	c cleaning 224002 clauses out of 448013 with flag 120735617/25415000
1342.68/1340.89	c cleaning 225001 clauses out of 450012 with flag 121808904/25641001
1356.75/1354.82	c cleaning 225995 clauses out of 452010 with flag 122891351/25868000
1372.42/1370.51	c cleaning 227000 clauses out of 454017 with flag 123985626/26096002
1386.30/1384.41	c cleaning 228000 clauses out of 456016 with flag 125044504/26325001
1406.79/1404.97	c cleaning 229001 clauses out of 458016 with flag 126085475/26555001
1419.98/1418.17	c cleaning 229995 clauses out of 460015 with flag 127145078/26786001
1432.45/1430.66	c cleaning 231006 clauses out of 462019 with flag 128188576/27018000
1449.03/1447.20	c cleaning 231998 clauses out of 464013 with flag 129234288/27251000
1465.75/1463.96	c cleaning 232997 clauses out of 466016 with flag 130281050/27485001
1479.84/1478.08	c cleaning 234006 clauses out of 468018 with flag 131317797/27720000
1492.41/1490.60	c cleaning 234999 clauses out of 470012 with flag 132406944/27956000
1508.41/1506.64	c cleaning 236000 clauses out of 472013 with flag 133527069/28193000
1529.28/1527.52	c cleaning 236999 clauses out of 474013 with flag 134668060/28431000
1542.66/1540.97	c cleaning 237997 clauses out of 476014 with flag 135787834/28670000
1559.81/1558.08	c cleaning 239001 clauses out of 478017 with flag 136913786/28910000
1577.98/1576.28	c cleaning 240004 clauses out of 480017 with flag 138057087/29151001
1594.44/1592.69	c cleaning 241002 clauses out of 482013 with flag 139168570/29393001
1607.23/1605.47	c cleaning 242000 clauses out of 484010 with flag 140307367/29636000
1621.00/1619.17	c cleaning 242998 clauses out of 486010 with flag 141459996/29880000
1634.77/1632.94	c cleaning 244006 clauses out of 488013 with flag 142573152/30125001
1660.23/1658.47	c cleaning 244994 clauses out of 490007 with flag 143595974/30371001
1674.54/1672.77	c cleaning 245996 clauses out of 492013 with flag 144675298/30618001
1698.50/1696.79	c cleaning 246997 clauses out of 494016 with flag 145794194/30866000
1715.55/1713.73	c cleaning 248006 clauses out of 496019 with flag 146920257/31115000
1736.32/1734.53	c cleaning 248996 clauses out of 498013 with flag 148137775/31365000
1752.50/1750.32	c cleaning 250003 clauses out of 500017 with flag 149359048/31616000
1773.71/1771.57	c cleaning 251001 clauses out of 502015 with flag 150553682/31868001
1792.43/1790.28	c cleaning 251999 clauses out of 504014 with flag 151782164/32121001
1811.18/1808.95	c cleaning 253001 clauses out of 506014 with flag 152982847/32375000
1831.22/1829.06	c cleaning 253996 clauses out of 508014 with flag 154132720/32630001
1850.03/1847.88	c cleaning 255002 clauses out of 510017 with flag 155284442/32886000
1870.21/1868.10	c cleaning 256000 clauses out of 512016 with flag 156499117/33143001
1886.25/1884.10	c cleaning 257002 clauses out of 514015 with flag 157706380/33401000
1903.22/1901.07	c cleaning 258002 clauses out of 516014 with flag 158898939/33660001
1921.38/1919.27	c cleaning 258998 clauses out of 518011 with flag 160126143/33920000
1936.84/1934.66	c cleaning 259999 clauses out of 520014 with flag 161335539/34181001
1953.60/1951.47	c cleaning 260997 clauses out of 522014 with flag 162578677/34443000
1967.48/1965.33	c cleaning 261997 clauses out of 524018 with flag 163873273/34706001
1986.49/1984.38	c cleaning 263003 clauses out of 526020 with flag 165055172/34970000
2004.27/2002.15	c cleaning 264000 clauses out of 528018 with flag 166268645/35235001
2021.04/2018.98	c cleaning 265001 clauses out of 530017 with flag 167444712/35501000
2038.87/2036.73	c cleaning 265998 clauses out of 532016 with flag 168694920/35768000
2059.95/2057.89	c cleaning 266999 clauses out of 534019 with flag 170092641/36036001
2082.13/2080.06	c cleaning 267996 clauses out of 536020 with flag 171509759/36305001
2105.32/2103.19	c cleaning 269000 clauses out of 538024 with flag 172931203/36575001
2128.46/2126.38	c cleaning 270003 clauses out of 540024 with flag 174365284/36846001
2152.33/2150.27	c cleaning 271000 clauses out of 542021 with flag 175886071/37118001
2175.62/2173.40	c cleaning 272003 clauses out of 544020 with flag 177413741/37391000
2199.48/2197.33	c cleaning 272998 clauses out of 546018 with flag 178945857/37665001
2221.65/2219.40	c cleaning 273998 clauses out of 548020 with flag 180492460/37940001
2243.92/2241.70	c cleaning 275000 clauses out of 550021 with flag 182024793/38216000
2266.57/2264.42	c cleaning 276001 clauses out of 552022 with flag 183551316/38493001
2290.50/2288.38	c cleaning 276994 clauses out of 554020 with flag 185082767/38771000
2314.17/2312.09	c cleaning 278001 clauses out of 556026 with flag 186617879/39050000
2338.92/2336.86	c cleaning 278998 clauses out of 558025 with flag 188158361/39330000
2364.66/2362.54	c cleaning 280001 clauses out of 560027 with flag 189704362/39611000
2388.82/2386.74	c cleaning 281000 clauses out of 562026 with flag 191255907/39893000
2412.79/2410.71	c cleaning 282004 clauses out of 564027 with flag 192834466/40176001
2436.48/2434.35	c cleaning 283002 clauses out of 566022 with flag 194420663/40460000
2460.63/2458.53	c cleaning 283999 clauses out of 568021 with flag 196005884/40745001
2484.98/2482.91	c cleaning 284997 clauses out of 570022 with flag 197605902/41031001
2509.73/2507.71	c cleaning 286002 clauses out of 572025 with flag 199197158/41318001
2531.41/2529.47	c cleaning 286999 clauses out of 574022 with flag 200546496/41606000
2553.90/2552.01	c cleaning 288006 clauses out of 576024 with flag 201850404/41895001
2587.32/2585.30	c cleaning 289000 clauses out of 578018 with flag 203144590/42185001
2618.07/2616.09	c cleaning 289999 clauses out of 580017 with flag 204371391/42476000
2638.43/2636.48	c cleaning 291002 clauses out of 582018 with flag 205696901/42768000
2659.68/2657.67	c cleaning 292003 clauses out of 584017 with flag 207072255/43061001
2679.39/2677.35	c cleaning 293000 clauses out of 586013 with flag 208385338/43355000
2705.14/2703.02	c cleaning 293999 clauses out of 588014 with flag 209801493/43650001
2727.11/2725.11	c cleaning 295000 clauses out of 590015 with flag 211104116/43946001
2750.94/2748.80	c cleaning 296004 clauses out of 592014 with flag 212435942/44243000
2773.30/2771.25	c cleaning 296998 clauses out of 594011 with flag 213854344/44541001
2796.99/2795.00	c cleaning 297998 clauses out of 596013 with flag 215237877/44840001
2817.68/2815.69	c cleaning 298997 clauses out of 598015 with flag 216511768/45140001
2844.86/2842.46	c cleaning 300001 clauses out of 600017 with flag 217844753/45441000
2890.33/2888.00	c cleaning 301003 clauses out of 602017 with flag 219183950/45743001
2925.55/2923.28	c cleaning 301999 clauses out of 604013 with flag 220448921/46046000
2959.93/2957.61	c cleaning 302998 clauses out of 606014 with flag 221938932/46350000
2990.56/2988.26	c cleaning 303996 clauses out of 608017 with flag 223225166/46655001
3016.92/3014.66	c cleaning 304996 clauses out of 610020 with flag 224528987/46961000
3048.38/3046.08	c cleaning 306000 clauses out of 612024 with flag 225833982/47268000
3077.03/3074.78	c cleaning 306999 clauses out of 614024 with flag 227167977/47576000
3109.20/3106.82	c cleaning 308002 clauses out of 616025 with flag 228514924/47885000
3136.75/3134.44	c cleaning 308995 clauses out of 618024 with flag 229840541/48195001
3166.28/3163.94	c cleaning 310002 clauses out of 620028 with flag 231196258/48506000
3199.13/3196.81	c cleaning 311004 clauses out of 622026 with flag 232610205/48818000
3230.17/3227.91	c cleaning 312000 clauses out of 624023 with flag 234014716/49131001
3263.02/3260.71	c cleaning 313001 clauses out of 626023 with flag 235410422/49445001
3294.87/3292.62	c cleaning 313996 clauses out of 628022 with flag 236794496/49760001
3327.81/3325.67	c cleaning 315000 clauses out of 630026 with flag 238186553/50076001
3358.04/3355.87	c cleaning 315997 clauses out of 632025 with flag 239592695/50393000
3390.67/3388.58	c cleaning 316995 clauses out of 634029 with flag 241007138/50711001
3422.22/3420.16	c cleaning 318006 clauses out of 636033 with flag 242387283/51030000
3453.53/3451.44	c cleaning 319001 clauses out of 638028 with flag 243765830/51350001
3486.63/3484.50	c cleaning 319999 clauses out of 640026 with flag 245133395/51671000
3518.47/3516.45	c cleaning 321000 clauses out of 642027 with flag 246531096/51993000
3552.61/3550.65	c cleaning 321998 clauses out of 644027 with flag 247932553/52316000
3587.03/3585.09	c cleaning 323002 clauses out of 646029 with flag 249318930/52640000
3600.00/3598.03	c starts		: 56195
3600.00/3598.04	c conflicts		: 52927122
3600.00/3598.04	c decisions		: 60986388
3600.00/3598.04	c propagations		: 433997098
3600.00/3598.04	c timeout
3600.00/3598.04	c inspects		: 32480247888
3600.00/3598.04	c shortcuts		: 0
3600.00/3598.04	c learnt literals	: 0
3600.00/3598.04	c learnt binary clauses	: 0
3600.00/3598.04	c learnt ternary clauses	: 8
3600.00/3598.04	c learnt constraints	: 52927122
3600.00/3598.04	c ignored constraints	: 0
3600.00/3598.04	c root simplifications	: 0
3600.00/3598.04	c removed literals (reason simplification)	: 0
3600.00/3598.05	c reason swapping (by a shorter reason)	: 0
3600.00/3598.05	c Calls to reduceDB	: 320
3600.00/3598.05	c Number of update (reduction) of LBD	: 5161152
3600.00/3598.05	c Imported unit clauses	: 0
3600.00/3598.05	c No decision after first conflict	: false
3600.00/3598.05	c number of reductions to clauses (during analyze)	: 0
3600.00/3598.05	c number of learned constraints concerned by reduction	: 0
3600.00/3598.05	c number of learning phase by resolution	: 0
3600.00/3598.05	c number of learning phase by cutting planes	: 0
3600.00/3598.05	c number of rounding to 1 operations	: 0
3600.00/3598.05	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3598.05	c number of reductions of the coefficients by power 2 	: 0
3600.00/3598.05	c number of right shift for reduction by power 2 	: 0
3600.00/3598.05	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3598.05	c number of ending skipping 	: 0
3600.00/3598.05	c number of internal skipping 	: 0
3600.00/3598.05	c number of derivation steps 	: 0
3600.00/3598.05	c number of skipped derivation steps 	: 0
3600.00/3598.05	c number of remaining unassigned 	: 0
3600.00/3598.05	c number of remaining assigned 	: 0
3600.00/3598.05	c number of falsified literals weakened from reason	: 0
3600.00/3598.05	c number of falsified literals weakened from conflict	: 0
3600.00/3598.05	c time for arithmetic operations	: 0
3600.00/3598.05	c minimum degree of deleted constraints	: null
3600.00/3598.05	c maximum degree of deleted constraints	: null
3600.00/3598.05	c number of deleted constraints	: 0
3600.00/3598.06	c speed (assignments/second)	: 120634.8711046698
3600.00/3598.06	c non guided choices	: 74279
3600.16/3598.19	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 610149
3600.16/3598.19	s UNKNOWN
3600.16/3598.19	c Total wall clock time (in seconds): 3597.877

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (62885 MiB free)
  memory of node 1: 64510 MiB (61782 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447694-1721354353/watcher-4447694-1721354353 -o /tmp/evaluation-result-4447694-1721354353/solver-4447694-1721354353 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721354365-980650 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4447694-1721354353.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=980708, runsolver pid=980695

[startup+0.102295 s]*
/proc/loadavg: 1.22 1.80 2.57 14/313 980781
/proc/meminfo: memFree=127521200/131655788 swapFree=131071996/131071996
[pid=980708] ppid=980695 vsize=18975048 memory=55944 CPUtime=0.14 cores=4,6
/proc/980708/stat : 980708 (java) S 980695 980708 980639 0 -1 1077936128 6527 0 0 0 10 4 0 0 20 0 18 0 187591747 19430449152 13986 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
/proc/980708/statm: 4743762 13986 5639 1 0 550851 0
[pid=980708/tid=980714] ppid=980695 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=4,6
/proc/980708/task/980714/stat : 980714 (java) R 980695 980708 980639 0 -1 4194368 5406 0 0 0 6 3 0 0 20 0 18 0 187591748 19430449152 13986 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 187591751 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
[pid=980708/tid=980752] ppid=980695 vsize=18975048 memory=232851243367 CPUtime=0 cores=4,6
/proc/980708/task/980752/stat : 980752 (Finalizer) S 980695 980708 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 187591754 19430449152 13986 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
[pid=980708/tid=980779] ppid=980695 vsize=18975048 memory=16101481095009462 CPUtime=0 cores=4,6
/proc/980708/task/980779/stat : 980779 (Common-Cleaner) S 980695 980708 980639 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 187591755 19430449152 13986 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55944 KiB

[startup+0.224807 s]*
/proc/loadavg: 1.22 1.80 2.57 14/313 980781
/proc/meminfo: memFree=127506636/131655788 swapFree=131071996/131071996
[pid=980708] ppid=980695 vsize=18975048 memory=60720 CPUtime=0.33 cores=4,6
/proc/980708/stat : 980708 (java) S 980695 980708 980639 0 -1 1077936128 7175 0 0 0 28 5 0 0 20 0 18 0 187591747 19430449152 15180 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
/proc/980708/statm: 4743762 15180 5647 1 0 551355 0
[pid=980708/tid=980714] ppid=980695 vsize=18975048 memory=664970851429515395 CPUtime=0.21 cores=4,6
/proc/980708/task/980714/stat : 980714 (java) R 980695 980708 980639 0 -1 4194368 5721 0 0 0 17 4 0 0 20 0 18 0 187591748 19430449152 15180 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 187591751 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
[pid=980708/tid=980752] ppid=980695 vsize=18975048 memory=5697 CPUtime=0 cores=4,6
/proc/980708/task/980752/stat : 980752 (Finalizer) S 980695 980708 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 187591754 19430449152 15189 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
[pid=980708/tid=980779] ppid=980695 vsize=18975048 memory=14699599474464555 CPUtime=0 cores=4,6
/proc/980708/task/980779/stat : 980779 (Common-Cleaner) S 980695 980708 980639 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 187591755 19430449152 15189 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 60720 KiB

[startup+0.315296 s]*
/proc/loadavg: 1.22 1.80 2.57 17/313 980781
/proc/meminfo: memFree=127486172/131655788 swapFree=131071996/131071996
[pid=980708] ppid=980695 vsize=18975048 memory=63996 CPUtime=0.49 cores=4,6
/proc/980708/stat : 980708 (java) S 980695 980708 980639 0 -1 1077936128 7449 0 0 0 43 6 0 0 20 0 18 0 187591747 19430449152 15999 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
/proc/980708/statm: 4743762 15999 5718 1 0 551572 0
[pid=980708/tid=980714] ppid=980695 vsize=18975048 memory=-8814780787406971580 CPUtime=0.3 cores=4,6
/proc/980708/task/980714/stat : 980714 (java) R 980695 980708 980639 0 -1 4194368 5908 0 0 0 26 4 0 0 20 0 18 0 187591748 19430449152 15999 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 187591751 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
[pid=980708/tid=980752] ppid=980695 vsize=18975048 memory=-9044459746194447340 CPUtime=0 cores=4,6
/proc/980708/task/980752/stat : 980752 (Finalizer) S 980695 980708 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 187591754 19430449152 15999 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
[pid=980708/tid=980779] ppid=980695 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/980708/task/980779/stat : 980779 (Common-Cleaner) S 980695 980708 980639 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 187591755 19430449152 15999 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63996 KiB

[startup+0.701282 s]
/proc/loadavg: 1.22 1.80 2.57 14/317 980785
/proc/meminfo: memFree=127469308/131655788 swapFree=131071996/131071996
[pid=980708] ppid=980695 vsize=19041612 memory=72536 CPUtime=1.18 cores=4,6
/proc/980708/stat : 980708 (java) S 980695 980708 980639 0 -1 1077936128 9981 0 0 0 111 7 0 0 20 0 19 0 187591747 19498610688 18134 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
/proc/980708/statm: 4760403 18134 5820 1 0 553354 0
[pid=980708/tid=980714] ppid=980695 vsize=19041612 memory=5512 CPUtime=0.6 cores=4,6
/proc/980708/task/980714/stat : 980714 (java) R 980695 980708 980639 0 -1 4194368 5978 0 0 0 56 4 0 0 20 0 19 0 187591748 19498610688 18134 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 187591751 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
[pid=980708/tid=980752] ppid=980695 vsize=19041612 memory=11992 CPUtime=0 cores=4,6
/proc/980708/task/980752/stat : 980752 (Finalizer) S 980695 980708 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187591754 19498610688 18134 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
[pid=980708/tid=980779] ppid=980695 vsize=19041612 memory=279368295572136 CPUtime=0 cores=4,6
/proc/980708/task/980779/stat : 980779 (Common-Cleaner) S 980695 980708 980639 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187591755 19498610688 18134 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
[pid=980708/tid=980785] ppid=980695 vsize=19041612 memory=279368295576484 CPUtime=0 cores=4,6
/proc/980708/task/980785/stat : 980785 (Timer-0) S 980695 980708 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187591792 19498610688 18134 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 72536 KiB

[startup+1.50027 s]
/proc/loadavg: 1.22 1.80 2.57 12/317 980785
/proc/meminfo: memFree=127418408/131655788 swapFree=131071996/131071996
[pid=980708] ppid=980695 vsize=19041612 memory=90128 CPUtime=2.74 cores=4,6
/proc/980708/stat : 980708 (java) S 980695 980708 980639 0 -1 1077936128 15238 0 0 0 265 9 0 0 20 0 19 0 187591747 19498610688 22532 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
/proc/980708/statm: 4760403 22532 5836 1 0 554378 0
[pid=980708/tid=980714] ppid=980695 vsize=19041612 memory=11992 CPUtime=1.39 cores=4,6
/proc/980708/task/980714/stat : 980714 (java) R 980695 980708 980639 0 -1 4194368 6360 0 0 0 134 5 0 0 20 0 19 0 187591748 19498610688 22532 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 187591751 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
[pid=980708/tid=980752] ppid=980695 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/980708/task/980752/stat : 980752 (Finalizer) S 980695 980708 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187591754 19498610688 22532 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
[pid=980708/tid=980779] ppid=980695 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/980708/task/980779/stat : 980779 (Common-Cleaner) S 980695 980708 980639 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187591755 19498610688 22532 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
[pid=980708/tid=980785] ppid=980695 vsize=19041612 memory=279368295425296 CPUtime=0 cores=4,6
/proc/980708/task/980785/stat : 980785 (Timer-0) S 980695 980708 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187591792 19498610688 22532 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
Current children cumulated CPU time: 2.74 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 90128 KiB

[startup+3.10627 s]
/proc/loadavg: 1.60 1.87 2.58 8/317 980917
/proc/meminfo: memFree=127316116/131655788 swapFree=131071996/131071996
[pid=980708] ppid=980695 vsize=19041612 memory=127028 CPUtime=4.63 cores=4,6
/proc/980708/stat : 980708 (java) S 980695 980708 980639 0 -1 1077936128 16532 0 0 0 453 10 0 0 20 0 19 0 187591747 19498610688 31757 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
/proc/980708/statm: 4760403 31757 5849 1 0 554787 0
[pid=980708/tid=980714] ppid=980695 vsize=19041612 memory=0 CPUtime=2.97 cores=4,6
/proc/980708/task/980714/stat : 980714 (java) R 980695 980708 980639 0 -1 4194368 6702 0 0 0 291 6 0 0 20 0 19 0 187591748 19498610688 31757 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 187591751 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
[pid=980708/tid=980752] ppid=980695 vsize=19041612 memory=11992 CPUtime=0 cores=4,6
/proc/980708/task/980752/stat : 980752 (Finalizer) S 980695 980708 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 187591754 19498610688 31757 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
[pid=980708/tid=980779] ppid=980695 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/980708/task/980779/stat : 980779 (Common-Cleaner) S 980695 980708 980639 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 187591755 19498610688 31757 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
[pid=980708/tid=980785] ppid=980695 vsize=19041612 memory=11600 CPUtime=0 cores=4,6
/proc/980708/task/980785/stat : 980785 (Timer-0) S 980695 980708 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 187591792 19498610688 31757 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
Current children cumulated CPU time: 4.63 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 127028 KiB

[startup+6.30027 s]
/proc/loadavg: 1.60 1.87 2.58 7/318 980918
/proc/meminfo: memFree=127155960/131655788 swapFree=131071996/131071996
[pid=980708] ppid=980695 vsize=19108176 memory=177236 CPUtime=7.86 cores=4,6
/proc/980708/stat : 980708 (java) S 980695 980708 980639 0 -1 1077936128 17422 0 0 0 775 11 0 0 20 0 20 0 187591747 19566772224 44309 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
/proc/980708/statm: 4777044 44309 5868 1 0 555076 0
[pid=980708/tid=980714] ppid=980695 vsize=19108176 memory=11992 CPUtime=6.11 cores=4,6
/proc/980708/task/980714/stat : 980714 (java) R 980695 980708 980639 0 -1 4194368 6753 0 0 0 604 7 0 0 20 0 20 0 187591748 19566772224 44309 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 187591751 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
[pid=980708/tid=980752] ppid=980695 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/980708/task/980752/stat : 980752 (Finalizer) S 980695 980708 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187591754 19566772224 44309 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
[pid=980708/tid=980779] ppid=980695 vsize=19108176 memory=-7163974055829550171 CPUtime=0 cores=4,6
/proc/980708/task/980779/stat : 980779 (Common-Cleaner) S 980695 980708 980639 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 187591755 19566772224 44309 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
[pid=980708/tid=980785] ppid=980695 vsize=19108176 memory=11992 CPUtime=0 cores=4,6
/proc/980708/task/980785/stat : 980785 (Timer-0) S 980695 980708 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187591792 19566772224 44309 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
Current children cumulated CPU time: 7.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 177236 KiB

[startup+12.7004 s]
/proc/loadavg: 1.95 1.94 2.60 6/320 980988
/proc/meminfo: memFree=127070564/131655788 swapFree=131071996/131071996
[pid=980708] ppid=980695 vsize=19108176 memory=185772 CPUtime=14.22 cores=4,6
/proc/980708/stat : 980708 (java) S 980695 980708 980639 0 -1 1077936128 19483 0 0 0 1410 12 0 0 20 0 20 0 187591747 19566772224 46443 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
/proc/980708/statm: 4777044 46443 5885 1 0 555076 0
[pid=980708/tid=980714] ppid=980695 vsize=19108176 memory=670 CPUtime=12.39 cores=4,6
/proc/980708/task/980714/stat : 980714 (java) R 980695 980708 980639 0 -1 4194368 7452 0 0 0 1232 7 0 0 20 0 20 0 187591748 19566772224 46443 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 187591751 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
[pid=980708/tid=980752] ppid=980695 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/980708/task/980752/stat : 980752 (Finalizer) S 980695 980708 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187591754 19566772224 46443 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
[pid=980708/tid=980779] ppid=980695 vsize=19108176 memory=185768 CPUtime=0 cores=4,6
/proc/980708/task/980779/stat : 980779 (Common-Cleaner) S 980695 980708 980639 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 187591755 19566772224 46443 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
[pid=980708/tid=980785] ppid=980695 vsize=19108176 memory=185760 CPUtime=0 cores=4,6
/proc/980708/task/980785/stat : 980785 (Timer-0) S 980695 980708 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187591792 19566772224 46443 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
Current children cumulated CPU time: 14.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 185772 KiB

[startup+25.5004 s]
/proc/loadavg: 2.41 2.04 2.63 6/321 980990
/proc/meminfo: memFree=126863704/131655788 swapFree=131071996/131071996
[pid=980708] ppid=980695 vsize=19108176 memory=247608 CPUtime=27.06 cores=4,6
/proc/980708/stat : 980708 (java) S 980695 980708 980639 0 -1 1077936128 22306 0 0 0 2692 14 0 0 20 0 20 0 187591747 19566772224 61902 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
/proc/980708/statm: 4777044 61902 5901 1 0 555076 0
[pid=980708/tid=980714] ppid=980695 vsize=19108176 memory=185768 CPUtime=25 cores=4,6
/proc/980708/task/980714/stat : 980714 (java) R 980695 980708 980639 0 -1 4194368 8313 0 0 0 2493 7 0 0 20 0 20 0 187591748 19566772224 61902 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 187591751 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
[pid=980708/tid=980752] ppid=980695 vsize=19108176 memory=247608 CPUtime=0 cores=4,6
/proc/980708/task/980752/stat : 980752 (Finalizer) S 980695 980708 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187591754 19566772224 61902 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
[pid=980708/tid=980779] ppid=980695 vsize=19108176 memory=247608 CPUtime=0 cores=4,6
/proc/980708/task/980779/stat : 980779 (Common-Cleaner) S 980695 980708 980639 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 187591755 19566772224 61902 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
[pid=980708/tid=980785] ppid=980695 vsize=19108176 memory=-8814780787406971580 CPUtime=0 cores=4,6
/proc/980708/task/980785/stat : 980785 (Timer-0) S 980695 980708 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187591792 19566772224 61902 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
Current children cumulated CPU time: 27.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 247608 KiB

[startup+51.1133 s]
/proc/loadavg: 3.01 2.22 2.67 6/321 980995
/proc/meminfo: memFree=126314928/131655788 swapFree=131071996/131071996
[pid=980708] ppid=980695 vsize=19108176 memory=436456 CPUtime=52.77 cores=4,6
/proc/980708/stat : 980708 (java) S 980695 980708 980639 0 -1 1077936128 27265 0 0 0 5256 21 0 0 20 0 20 0 187591747 19566772224 109114 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
/proc/980708/statm: 4777044 109114 5901 1 0 555076 0
[pid=980708/tid=980714] ppid=980695 vsize=19108176 memory=-8814780787406971580 CPUtime=50.1 cores=4,6
/proc/980708/task/980714/stat : 980714 (java) R 980695 980708 980639 0 -1 4194368 10207 0 0 0 5003 7 0 0 20 0 20 0 187591748 19566772224 109114 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 187591751 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
[pid=980708/tid=980752] ppid=980695 vsize=19108176 memory=350132 CPUtime=0 cores=4,6
/proc/980708/task/980752/stat : 980752 (Finalizer) S 980695 980708 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187591754 19566772224 109114 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0

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

[startup+3282.3 s]
/proc/loadavg: 4.17 4.24 4.18 6/320 983799
/proc/meminfo: memFree=120360184/131655788 swapFree=131071996/131071996
[pid=980708] ppid=980695 vsize=19108176 memory=2446476 CPUtime=3284.59 cores=4,6
/proc/980708/stat : 980708 (java) S 980695 980708 980639 0 -1 1077936128 107192 0 0 0 328267 192 0 0 20 0 20 0 187591747 19566772224 611619 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
/proc/980708/statm: 4777044 611619 5901 1 0 624459 0
[pid=980708/tid=980714] ppid=980695 vsize=19108176 memory=2446476 CPUtime=3259.07 cores=4,6
/proc/980708/task/980714/stat : 980714 (java) R 980695 980708 980639 0 -1 4194368 37319 0 0 0 325889 18 0 0 20 0 20 0 187591748 19566772224 611619 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 187591753 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
[pid=980708/tid=980752] ppid=980695 vsize=19108176 memory=2446476 CPUtime=0 cores=4,6
/proc/980708/task/980752/stat : 980752 (Finalizer) S 980695 980708 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187591754 19566772224 611619 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
[pid=980708/tid=980779] ppid=980695 vsize=19108176 memory=11600 CPUtime=0 cores=4,6
/proc/980708/task/980779/stat : 980779 (Common-Cleaner) S 980695 980708 980639 0 -1 1077936192 1485 0 0 0 0 0 0 0 20 0 20 0 187591755 19566772224 611619 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
[pid=980708/tid=980785] ppid=980695 vsize=19108176 memory=43996 CPUtime=0 cores=4,6
/proc/980708/task/980785/stat : 980785 (Timer-0) S 980695 980708 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187591792 19566772224 611619 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
Current children cumulated CPU time: 3284.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2446476 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.24 4.18 6/320 983810
/proc/meminfo: memFree=120246568/131655788 swapFree=131071996/131071996
[pid=980708] ppid=980695 vsize=19108176 memory=2446476 CPUtime=3344.56 cores=4,6
/proc/980708/stat : 980708 (java) S 980695 980708 980639 0 -1 1077936128 107322 0 0 0 334262 194 0 0 20 0 20 0 187591747 19566772224 611619 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
/proc/980708/statm: 4777044 611619 5901 1 0 624459 0
[pid=980708/tid=980714] ppid=980695 vsize=19108176 memory=2446476 CPUtime=3318.83 cores=4,6
/proc/980708/task/980714/stat : 980714 (java) R 980695 980708 980639 0 -1 4194368 37365 0 0 0 331865 18 0 0 20 0 20 0 187591748 19566772224 611619 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 187591753 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
[pid=980708/tid=980752] ppid=980695 vsize=19108176 memory=2446476 CPUtime=0 cores=4,6
/proc/980708/task/980752/stat : 980752 (Finalizer) S 980695 980708 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187591754 19566772224 611619 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
[pid=980708/tid=980779] ppid=980695 vsize=19108176 memory=2446476 CPUtime=0 cores=4,6
/proc/980708/task/980779/stat : 980779 (Common-Cleaner) S 980695 980708 980639 0 -1 1077936192 1485 0 0 0 0 0 0 0 20 0 20 0 187591755 19566772224 611619 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
[pid=980708/tid=980785] ppid=980695 vsize=19108176 memory=2446476 CPUtime=0 cores=4,6
/proc/980708/task/980785/stat : 980785 (Timer-0) S 980695 980708 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187591792 19566772224 611619 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
Current children cumulated CPU time: 3344.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2446476 KiB

[startup+3402.3 s]
/proc/loadavg: 4.27 4.25 4.19 5/317 984335
/proc/meminfo: memFree=121219784/131655788 swapFree=131071996/131071996
[pid=980708] ppid=980695 vsize=19108176 memory=2446476 CPUtime=3404.45 cores=4,6
/proc/980708/stat : 980708 (java) S 980695 980708 980639 0 -1 1077936128 107334 0 0 0 340248 197 0 0 20 0 20 0 187591747 19566772224 611619 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
/proc/980708/statm: 4777044 611619 5901 1 0 624459 0
[pid=980708/tid=980714] ppid=980695 vsize=19108176 memory=2446476 CPUtime=3378.68 cores=4,6
/proc/980708/task/980714/stat : 980714 (java) R 980695 980708 980639 0 -1 4194368 37372 0 0 0 337850 18 0 0 20 0 20 0 187591748 19566772224 611619 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 187591753 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
[pid=980708/tid=980752] ppid=980695 vsize=19108176 memory=2446476 CPUtime=0 cores=4,6
/proc/980708/task/980752/stat : 980752 (Finalizer) S 980695 980708 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187591754 19566772224 611619 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
[pid=980708/tid=980779] ppid=980695 vsize=19108176 memory=2446476 CPUtime=0 cores=4,6
/proc/980708/task/980779/stat : 980779 (Common-Cleaner) S 980695 980708 980639 0 -1 1077936192 1485 0 0 0 0 0 0 0 20 0 20 0 187591755 19566772224 611619 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
[pid=980708/tid=980785] ppid=980695 vsize=19108176 memory=2446476 CPUtime=0 cores=4,6
/proc/980708/task/980785/stat : 980785 (Timer-0) S 980695 980708 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187591792 19566772224 611619 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
Current children cumulated CPU time: 3404.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2446476 KiB

[startup+3462.3 s]
/proc/loadavg: 4.19 4.24 4.18 5/317 984345
/proc/meminfo: memFree=120997656/131655788 swapFree=131071996/131071996
[pid=980708] ppid=980695 vsize=19108176 memory=2446564 CPUtime=3464.46 cores=4,6
/proc/980708/stat : 980708 (java) S 980695 980708 980639 0 -1 1077936128 108512 0 0 0 346247 199 0 0 20 0 20 0 187591747 19566772224 611641 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
/proc/980708/statm: 4777044 611641 5901 1 0 624459 0
[pid=980708/tid=980714] ppid=980695 vsize=19108176 memory=2446476 CPUtime=3438.25 cores=4,6
/proc/980708/task/980714/stat : 980714 (java) R 980695 980708 980639 0 -1 4194368 37812 0 0 0 343807 18 0 0 20 0 20 0 187591748 19566772224 611641 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 187591753 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
[pid=980708/tid=980752] ppid=980695 vsize=19108176 memory=2446476 CPUtime=0 cores=4,6
/proc/980708/task/980752/stat : 980752 (Finalizer) S 980695 980708 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187591754 19566772224 611641 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
[pid=980708/tid=980779] ppid=980695 vsize=19108176 memory=-8814780787406971580 CPUtime=0 cores=4,6
/proc/980708/task/980779/stat : 980779 (Common-Cleaner) S 980695 980708 980639 0 -1 1077936192 1485 0 0 0 0 0 0 0 20 0 20 0 187591755 19566772224 611641 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
[pid=980708/tid=980785] ppid=980695 vsize=19108176 memory=2446504 CPUtime=0 cores=4,6
/proc/980708/task/980785/stat : 980785 (Timer-0) S 980695 980708 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187591792 19566772224 611641 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
Current children cumulated CPU time: 3464.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2446564 KiB

[startup+3522.3 s]
/proc/loadavg: 4.19 4.22 4.18 5/317 984355
/proc/meminfo: memFree=120765312/131655788 swapFree=131071996/131071996
[pid=980708] ppid=980695 vsize=19108176 memory=2446564 CPUtime=3524.36 cores=4,6
/proc/980708/stat : 980708 (java) S 980695 980708 980639 0 -1 1077936128 108843 0 0 0 352235 201 0 0 20 0 20 0 187591747 19566772224 611641 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
/proc/980708/statm: 4777044 611641 5901 1 0 624459 0
[pid=980708/tid=980714] ppid=980695 vsize=19108176 memory=2446476 CPUtime=3498.12 cores=4,6
/proc/980708/task/980714/stat : 980714 (java) R 980695 980708 980639 0 -1 4194368 38088 0 0 0 349794 18 0 0 20 0 20 0 187591748 19566772224 611641 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 187591753 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
[pid=980708/tid=980752] ppid=980695 vsize=19108176 memory=2446564 CPUtime=0 cores=4,6
/proc/980708/task/980752/stat : 980752 (Finalizer) S 980695 980708 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187591754 19566772224 611641 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
[pid=980708/tid=980779] ppid=980695 vsize=19108176 memory=2446564 CPUtime=0 cores=4,6
/proc/980708/task/980779/stat : 980779 (Common-Cleaner) S 980695 980708 980639 0 -1 1077936192 1534 0 0 0 0 0 0 0 20 0 20 0 187591755 19566772224 611641 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
[pid=980708/tid=980785] ppid=980695 vsize=19108176 memory=2446564 CPUtime=0 cores=4,6
/proc/980708/task/980785/stat : 980785 (Timer-0) S 980695 980708 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187591792 19566772224 611641 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
Current children cumulated CPU time: 3524.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2446564 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.20 4.18 5/321 984539
/proc/meminfo: memFree=120610208/131655788 swapFree=131071996/131071996
[pid=980708] ppid=980695 vsize=19108176 memory=2446564 CPUtime=3584.32 cores=4,6
/proc/980708/stat : 980708 (java) S 980695 980708 980639 0 -1 1077936128 109057 0 0 0 358228 204 0 0 20 0 20 0 187591747 19566772224 611641 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
/proc/980708/statm: 4777044 611641 5901 1 0 624459 0
[pid=980708/tid=980714] ppid=980695 vsize=19108176 memory=11992 CPUtime=3557.93 cores=4,6
/proc/980708/task/980714/stat : 980714 (java) R 980695 980708 980639 0 -1 4194368 38241 0 0 0 355775 18 0 0 20 0 20 0 187591748 19566772224 611641 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 187591753 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
[pid=980708/tid=980752] ppid=980695 vsize=19108176 memory=2446564 CPUtime=0 cores=4,6
/proc/980708/task/980752/stat : 980752 (Finalizer) S 980695 980708 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187591754 19566772224 611641 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
[pid=980708/tid=980779] ppid=980695 vsize=19108176 memory=16252 CPUtime=0 cores=4,6
/proc/980708/task/980779/stat : 980779 (Common-Cleaner) S 980695 980708 980639 0 -1 1077936192 1534 0 0 0 0 0 0 0 20 0 20 0 187591755 19566772224 611641 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
[pid=980708/tid=980785] ppid=980695 vsize=19108176 memory=11600 CPUtime=0 cores=4,6
/proc/980708/task/980785/stat : 980785 (Timer-0) S 980695 980708 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187591792 19566772224 611641 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
Current children cumulated CPU time: 3584.32 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2446564 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3598 s]*
/proc/loadavg: 4.10 4.19 4.17 5/321 984543
/proc/meminfo: memFree=120581232/131655788 swapFree=131071996/131071996
[pid=980708] ppid=980695 vsize=19108176 memory=2446564 CPUtime=3600 cores=4,6
/proc/980708/stat : 980708 (java) S 980695 980708 980639 0 -1 1077936128 109075 0 0 0 359795 205 0 0 20 0 20 0 187591747 19566772224 611641 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
/proc/980708/statm: 4777044 611641 5901 1 0 624459 0
[pid=980708/tid=980714] ppid=980695 vsize=19108176 memory=2268 CPUtime=3573.61 cores=4,6
/proc/980708/task/980714/stat : 980714 (java) R 980695 980708 980639 0 -1 4194368 38257 0 0 0 357343 18 0 0 20 0 20 0 187591748 19566772224 611641 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 187591753 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
[pid=980708/tid=980752] ppid=980695 vsize=19108176 memory=3360 CPUtime=0 cores=4,6
/proc/980708/task/980752/stat : 980752 (Finalizer) S 980695 980708 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 187591754 19566772224 611641 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
[pid=980708/tid=980779] ppid=980695 vsize=19108176 memory=-7448521292198077307 CPUtime=0 cores=4,6
/proc/980708/task/980779/stat : 980779 (Common-Cleaner) S 980695 980708 980639 0 -1 1077936192 1534 0 0 0 0 0 0 0 20 0 20 0 187591755 19566772224 611641 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
[pid=980708/tid=980785] ppid=980695 vsize=19108176 memory=11252 CPUtime=0 cores=4,6
/proc/980708/task/980785/stat : 980785 (Timer-0) S 980695 980708 980639 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 187591792 19566772224 611641 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2446564 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.19 s, system=2.07309 s

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

[startup+3598.12 s]
/proc/loadavg: 4.10 4.19 4.17 5/321 984543
/proc/meminfo: memFree=120581232/131655788 swapFree=131071996/131071996
[pid=980708] ppid=980695 vsize=19307868 memory=2447224 CPUtime=3600.16 cores=4,6
/proc/980708/stat : 980708 (java) S 980695 980708 980639 0 -1 1077936128 111154 0 0 0 359810 206 0 0 20 0 21 0 187591747 19771256832 611806 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
/proc/980708/statm: 4826967 611806 5900 1 0 625385 0
[pid=980708/tid=980714] ppid=980695 vsize=19307868 memory=2446564 CPUtime=3573.63 cores=4,6
/proc/980708/task/980714/stat : 980714 (java) S 980695 980708 980639 0 -1 1077936192 38421 0 0 0 357345 18 0 0 20 0 21 0 187591748 19771256832 611806 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 187591753 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
[pid=980708/tid=980752] ppid=980695 vsize=19307868 memory=2446564 CPUtime=0 cores=4,6
/proc/980708/task/980752/stat : 980752 (Finalizer) S 980695 980708 980639 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 187591754 19771256832 611806 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
[pid=980708/tid=980779] ppid=980695 vsize=19307868 memory=2446564 CPUtime=0 cores=4,6
/proc/980708/task/980779/stat : 980779 (Common-Cleaner) S 980695 980708 980639 0 -1 1077936192 1534 0 0 0 0 0 0 0 20 0 21 0 187591755 19771256832 611806 134679101440 94843118952448 94843118956144 140722967753696 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94843118963960 94843118964752 94843133865984 140722967761926 140722967762016 140722967762016 140722967769032 0
Current children cumulated CPU time: 3600.16 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2447224 KiB

Child status: 143

Real time (s): 3598.21
CPU time (s): 3600.27
CPU user time (s): 3598.19
CPU system time (s): 2.07309
CPU usage (%): 100.057
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2447224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.19
system time used= 2.07309
maximum resident set size= 2448300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111406
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110251
involuntary context switches= 4992


# summary of solver processes directly reported to runsolver:
#   pid: 980708
#   total CPU time (s): 3600.27
#   total CPU user time (s): 3598.19
#   total CPU system time (s): 2.07309

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0474 second user time and 36.3292 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2024-07-19 03:59:25
IDJOB=4447694
IDBENCH=160024
IDSOLVER=3058
FILE ID=nodeC008/4447694-1721354353
RUNJOBID= nodeC008-1721354365-980650
SLURM_JOB_ID= 7542775
Free space on /tmp= 723768 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n182-d3-i1-r1.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447694-1721354353/watcher-4447694-1721354353 -o /tmp/evaluation-result-4447694-1721354353/solver-4447694-1721354353 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721354365-980650 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4447694-1721354353.opb

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

MD5SUM BENCH= c8e53a529ce10df137c21c2a3460ac47
RANDOM SEED=1085579946

nodeC008.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.257
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.246
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
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.245
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.247
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.265
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.91
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.249
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
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.245
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.251
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        127662080 kB
MemAvailable:   129933224 kB
Buffers:          541228 kB
Cached:          2548812 kB
SwapCached:            0 kB
Active:          1053964 kB
Inactive:        2352080 kB
Active(anon):       1376 kB
Inactive(anon):   352312 kB
Active(file):    1052588 kB
Inactive(file):  1999768 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              2700 kB
Writeback:             0 kB
AnonPages:        316024 kB
Mapped:           105968 kB
Shmem:             37704 kB
KReclaimable:     117636 kB
Slab:             221776 kB
SReclaimable:     117636 kB
SUnreclaim:       104140 kB
KernelStack:        3652 kB
PageTables:         9712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     656928 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            58656 kB
HardwareCorrupted:     0 kB
AnonHugePages:    186368 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      203592 kB
DirectMap2M:    24866816 kB
DirectMap1G:    111149056 kB

Free space on /tmp at the end= 723764 MiB
End job on nodeC008 at 2024-07-19 04:59:24