Trace number 4495756

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 2025-06-06? (TO) 3600.35 3593.64

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob10.opb
MD5SUMff70f65d4e56aadb7819a27e192bee4f
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.03463
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables106
Total number of constraints2
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2
Minimum length of a constraint106
Maximum length of a constraint106
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 106925262
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 1723212177
Number of bits of the biggest sum of numbers31
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c Expensive reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/0.13	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.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4495756-1751158654.opb
0.12/0.13	c reading problem ... 
0.12/0.13	c  no objective function found
0.12/0.14	c ... done. Wall clock time 0.009s.
0.12/0.14	c declared #vars     106
0.12/0.14	c #constraints  2
0.12/0.14	c constraints type 
0.12/0.14	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2
0.12/0.14	c 2 constraints processed.
0.71/0.49	c cleaning 2501 clauses out of 5001 with flag 10005/5001
1.28/0.78	c cleaning 4243 clauses out of 8500 with flag 22006/11001
1.89/1.05	c cleaning 5628 clauses out of 11257 with flag 36006/18001
2.19/1.22	c cleaning 6811 clauses out of 13628 with flag 52004/26000
2.46/1.42	c cleaning 7907 clauses out of 15817 with flag 70005/35000
2.75/1.64	c cleaning 8952 clauses out of 17910 with flag 90005/45000
3.01/1.87	c cleaning 9978 clauses out of 19960 with flag 112011/56002
3.32/2.15	c cleaning 10987 clauses out of 21981 with flag 136011/68001
3.61/2.47	c cleaning 11994 clauses out of 23993 with flag 162010/81000
4.02/2.85	c cleaning 12997 clauses out of 26000 with flag 190015/95001
4.42/3.21	c cleaning 13999 clauses out of 28002 with flag 220015/110000
4.84/3.61	c cleaning 15003 clauses out of 30005 with flag 252021/126002
5.27/4.02	c cleaning 15994 clauses out of 32000 with flag 286019/143000
5.77/4.51	c cleaning 17001 clauses out of 34006 with flag 322027/161000
6.17/5.00	c cleaning 17998 clauses out of 36005 with flag 360031/180000
6.88/5.61	c cleaning 19004 clauses out of 38008 with flag 400034/200001
7.48/6.24	c cleaning 20000 clauses out of 40003 with flag 442034/221000
8.18/6.92	c cleaning 21000 clauses out of 42003 with flag 486034/243000
9.00/7.74	c cleaning 22002 clauses out of 44003 with flag 532040/266000
9.93/8.63	c cleaning 22995 clauses out of 46001 with flag 580054/290000
10.73/9.42	c cleaning 24002 clauses out of 48006 with flag 630057/315000
11.62/10.35	c cleaning 24999 clauses out of 50004 with flag 682060/341000
12.66/11.35	c cleaning 26004 clauses out of 52007 with flag 736068/368002
13.96/12.63	c cleaning 27001 clauses out of 54002 with flag 792084/396001
15.15/13.88	c cleaning 27994 clauses out of 56000 with flag 850088/425000
16.10/14.78	c cleaning 29003 clauses out of 58006 with flag 910095/455000
17.10/15.79	c cleaning 29999 clauses out of 60003 with flag 972098/486000
18.09/16.78	c cleaning 31002 clauses out of 62005 with flag 1036106/518001
19.22/17.88	c cleaning 31999 clauses out of 64002 with flag 1102104/551000
20.42/19.01	c cleaning 32999 clauses out of 66005 with flag 1170114/585002
21.82/20.40	c cleaning 34001 clauses out of 68004 with flag 1240131/620000
23.33/21.97	c cleaning 34996 clauses out of 70004 with flag 1312148/656001
24.92/23.59	c cleaning 36001 clauses out of 72007 with flag 1386155/693000
26.43/25.07	c cleaning 37004 clauses out of 74008 with flag 1462168/731002
27.93/26.50	c cleaning 38000 clauses out of 76003 with flag 1540178/770001
29.53/28.18	c cleaning 39001 clauses out of 78002 with flag 1620191/810000
31.24/29.83	c cleaning 39996 clauses out of 80001 with flag 1702196/851000
32.63/31.28	c cleaning 41001 clauses out of 82006 with flag 1786199/893001
34.37/32.93	c cleaning 41997 clauses out of 84004 with flag 1872205/936000
35.67/34.27	c cleaning 43004 clauses out of 86009 with flag 1960221/980002
37.18/35.78	c cleaning 44002 clauses out of 88004 with flag 2050235/1025001
38.88/37.43	c cleaning 44997 clauses out of 90001 with flag 2142240/1071000
40.60/39.11	c cleaning 45997 clauses out of 92006 with flag 2236261/1118002
42.28/40.80	c cleaning 47004 clauses out of 94007 with flag 2332268/1166000
44.21/42.71	c cleaning 47995 clauses out of 96004 with flag 2430281/1215001
46.11/44.68	c cleaning 49000 clauses out of 98008 with flag 2530289/1265000
47.90/46.42	c cleaning 50003 clauses out of 100010 with flag 2632306/1316002
49.73/48.20	c cleaning 51000 clauses out of 102005 with flag 2736316/1368000
51.73/50.24	c cleaning 51999 clauses out of 104005 with flag 2842334/1421000
53.63/52.17	c cleaning 53004 clauses out of 106007 with flag 2950345/1475001
56.71/55.26	c cleaning 53996 clauses out of 108003 with flag 3060355/1530001
59.31/57.83	c cleaning 54999 clauses out of 110006 with flag 3172358/1586000
62.80/61.38	c cleaning 56001 clauses out of 112007 with flag 3286377/1643000
65.29/63.78	c cleaning 56999 clauses out of 114006 with flag 3402387/1701000
67.59/66.06	c cleaning 57998 clauses out of 116007 with flag 3520391/1760000
70.22/68.63	c cleaning 58999 clauses out of 118009 with flag 3640395/1820000
72.31/70.79	c cleaning 59998 clauses out of 120011 with flag 3762406/1881001
74.41/72.85	c cleaning 61007 clauses out of 122013 with flag 3886412/1943001
76.83/75.27	c cleaning 61999 clauses out of 124006 with flag 4012421/2006001
79.22/77.62	c cleaning 63003 clauses out of 126007 with flag 4140430/2070001
83.43/81.81	c cleaning 64002 clauses out of 128005 with flag 4270442/2135002
86.46/84.88	c cleaning 64998 clauses out of 130002 with flag 4402457/2201001
90.16/88.56	c cleaning 65996 clauses out of 132003 with flag 4536469/2268000
93.25/91.64	c cleaning 67005 clauses out of 134009 with flag 4672492/2336002
97.04/95.48	c cleaning 68001 clauses out of 136003 with flag 4810496/2405001
100.92/99.24	c cleaning 68998 clauses out of 138001 with flag 4950517/2475000
105.11/103.44	c cleaning 70001 clauses out of 140003 with flag 5092536/2546000
108.10/106.46	c cleaning 70999 clauses out of 142004 with flag 5236545/2618002
110.99/109.34	c cleaning 72000 clauses out of 144004 with flag 5382544/2691001
114.64/112.70	c cleaning 73003 clauses out of 146006 with flag 5530570/2765003
118.23/116.35	c cleaning 73999 clauses out of 148001 with flag 5680582/2840001
122.03/120.17	c cleaning 74996 clauses out of 150001 with flag 5832587/2916000
125.72/123.87	c cleaning 76000 clauses out of 152005 with flag 5986592/2993000
129.35/127.47	c cleaning 77003 clauses out of 154006 with flag 6142598/3071001
133.45/131.55	c cleaning 78001 clauses out of 156002 with flag 6300612/3150000
138.54/136.60	c cleaning 79002 clauses out of 158003 with flag 6460628/3230002
142.64/140.78	c cleaning 79996 clauses out of 160001 with flag 6622634/3311002
146.72/144.83	c cleaning 80998 clauses out of 162003 with flag 6786633/3393000
150.67/148.73	c cleaning 81996 clauses out of 164005 with flag 6952646/3476000
155.48/153.58	c cleaning 82998 clauses out of 166009 with flag 7120673/3560000
159.67/157.72	c cleaning 84004 clauses out of 168011 with flag 7290673/3645000
164.06/162.17	c cleaning 84998 clauses out of 170008 with flag 7462697/3731001
168.02/166.03	c cleaning 86001 clauses out of 172009 with flag 7636698/3818000
171.51/169.54	c cleaning 87003 clauses out of 174008 with flag 7812707/3906000
175.40/173.43	c cleaning 87997 clauses out of 176008 with flag 7990718/3995003
179.69/177.79	c cleaning 89000 clauses out of 178009 with flag 8170714/4085001
184.17/182.27	c cleaning 90002 clauses out of 180008 with flag 8352718/4176000
188.89/186.90	c cleaning 91001 clauses out of 182008 with flag 8536725/4268002
193.38/191.49	c cleaning 92003 clauses out of 184007 with flag 8722733/4361002
197.97/196.07	c cleaning 92996 clauses out of 186003 with flag 8910734/4455001
203.06/201.16	c cleaning 93998 clauses out of 188006 with flag 9100735/4550000
208.04/206.11	c cleaning 94999 clauses out of 190008 with flag 9292738/4646000
212.94/211.00	c cleaning 96002 clauses out of 192009 with flag 9486745/4743000
219.51/217.61	c cleaning 97000 clauses out of 194008 with flag 9682771/4841001
225.91/224.05	c cleaning 97999 clauses out of 196007 with flag 9880789/4940000
231.69/229.82	c cleaning 99000 clauses out of 198008 with flag 10080795/5040000
237.18/235.30	c cleaning 100001 clauses out of 200008 with flag 10282802/5141000
241.98/240.14	c cleaning 101001 clauses out of 202007 with flag 10486805/5243000
247.75/245.92	c cleaning 102001 clauses out of 204006 with flag 10692810/5346000
256.13/254.38	c cleaning 103001 clauses out of 206005 with flag 10900815/5450000
264.04/262.02	c cleaning 104000 clauses out of 208006 with flag 11110828/5555002
271.04/269.02	c cleaning 104997 clauses out of 210004 with flag 11322846/5661000
279.32/277.37	c cleaning 105998 clauses out of 212007 with flag 11536867/5768000
285.80/283.89	c cleaning 106995 clauses out of 214010 with flag 11752876/5876001
292.19/290.26	c cleaning 108004 clauses out of 216016 with flag 11970900/5985002
299.24/297.16	c cleaning 109005 clauses out of 218010 with flag 12190931/6095000
307.23/305.19	c cleaning 109999 clauses out of 220005 with flag 12412938/6206000
313.61/311.59	c cleaning 110999 clauses out of 222006 with flag 12636944/6318000
324.25/321.55	c cleaning 111994 clauses out of 224008 with flag 12862950/6431001
329.53/326.88	c cleaning 113007 clauses out of 226015 with flag 13090960/6545002
336.82/334.14	c cleaning 113998 clauses out of 228007 with flag 13320971/6660001
343.60/340.98	c cleaning 114998 clauses out of 230010 with flag 13552979/6776002
350.24/347.54	c cleaning 116000 clauses out of 232010 with flag 13786983/6893000
359.32/356.65	c cleaning 117002 clauses out of 234010 with flag 14022987/7011000
366.12/363.49	c cleaning 117998 clauses out of 236008 with flag 14260997/7130000
374.00/371.31	c cleaning 119000 clauses out of 238010 with flag 14501013/7250000
382.96/380.28	c cleaning 120000 clauses out of 240010 with flag 14743019/7371000
389.65/387.00	c cleaning 120997 clauses out of 242010 with flag 14987031/7493000
397.53/394.85	c cleaning 122001 clauses out of 244013 with flag 15233035/7616000
406.81/404.17	c cleaning 122998 clauses out of 246012 with flag 15481052/7740000
414.09/411.43	c cleaning 124006 clauses out of 248016 with flag 15731063/7865002
421.25/418.58	c cleaning 125001 clauses out of 250008 with flag 15983064/7991000
428.43/425.74	c cleaning 126000 clauses out of 252009 with flag 16237078/8118002
436.12/433.40	c cleaning 127002 clauses out of 254007 with flag 16493084/8246000
444.81/442.17	c cleaning 127995 clauses out of 256005 with flag 16751095/8375000
452.09/449.40	c cleaning 129004 clauses out of 258012 with flag 17011103/8505002
460.24/457.50	c cleaning 129998 clauses out of 260006 with flag 17273117/8636000
467.33/464.65	c cleaning 131003 clauses out of 262009 with flag 17537123/8768001
476.01/473.38	c cleaning 132000 clauses out of 264005 with flag 17803137/8901000
484.90/482.25	c cleaning 132998 clauses out of 266007 with flag 18071161/9035002
496.04/493.37	c cleaning 134002 clauses out of 268007 with flag 18341159/9170000
505.61/502.93	c cleaning 134999 clauses out of 270005 with flag 18613164/9306000
517.30/514.65	c cleaning 136001 clauses out of 272006 with flag 18887175/9443000
526.68/524.02	c cleaning 137000 clauses out of 274007 with flag 19163185/9581002
536.25/533.68	c cleaning 137995 clauses out of 276007 with flag 19441206/9720002
545.89/543.23	c cleaning 139003 clauses out of 278012 with flag 19721227/9860002
553.38/550.78	c cleaning 140005 clauses out of 280009 with flag 20003233/10001002
564.15/561.52	c cleaning 140998 clauses out of 282002 with flag 20287241/10143000
572.34/569.76	c cleaning 142000 clauses out of 284005 with flag 20573247/10286001
584.52/581.93	c cleaning 143002 clauses out of 286004 with flag 20861263/10430000
593.56/591.00	c cleaning 144000 clauses out of 288005 with flag 21151273/10575003
602.14/599.52	c cleaning 144999 clauses out of 290003 with flag 21443298/10721001
615.62/613.04	c cleaning 146001 clauses out of 292003 with flag 21737302/10868000
625.80/623.25	c cleaning 146992 clauses out of 294002 with flag 22033306/11016000
636.73/633.48	c cleaning 148001 clauses out of 296011 with flag 22331318/11165001
646.21/642.98	c cleaning 149003 clauses out of 298009 with flag 22631318/11315000
654.79/651.53	c cleaning 149997 clauses out of 300006 with flag 22933331/11466000
663.68/660.40	c cleaning 151000 clauses out of 302010 with flag 23237339/11618001
673.53/670.29	c cleaning 151997 clauses out of 304009 with flag 23543362/11771000
685.71/682.49	c cleaning 152998 clauses out of 306012 with flag 23851364/11925000
696.18/692.91	c cleaning 154005 clauses out of 308015 with flag 24161375/12080001
706.16/702.98	c cleaning 155000 clauses out of 310010 with flag 24473381/12236001
723.74/720.54	c cleaning 156003 clauses out of 312009 with flag 24787386/12393000
740.38/737.13	c cleaning 157004 clauses out of 314008 with flag 25103408/12551002
753.35/750.11	c cleaning 157990 clauses out of 316002 with flag 25421414/12710000
763.83/760.68	c cleaning 159001 clauses out of 318014 with flag 25741428/12870002
779.29/776.12	c cleaning 160002 clauses out of 320014 with flag 26063447/13031003
789.56/786.45	c cleaning 161004 clauses out of 322009 with flag 26387448/13193000
801.24/798.07	c cleaning 161999 clauses out of 324005 with flag 26713455/13356000
812.71/809.52	c cleaning 162996 clauses out of 326006 with flag 27041473/13520000
823.50/820.35	c cleaning 164000 clauses out of 328010 with flag 27371492/13685000
836.07/832.95	c cleaning 164999 clauses out of 330010 with flag 27703536/13851000
847.74/844.62	c cleaning 166005 clauses out of 332013 with flag 28037572/14018002
860.13/857.06	c cleaning 167001 clauses out of 334006 with flag 28373598/14186000
873.69/870.50	c cleaning 167996 clauses out of 336005 with flag 28711620/14355000
884.66/881.57	c cleaning 169004 clauses out of 338009 with flag 29051632/14525000
897.14/894.05	c cleaning 170002 clauses out of 340007 with flag 29393663/14696002
908.32/905.20	c cleaning 171001 clauses out of 342003 with flag 29737665/14868000
920.21/917.16	c cleaning 171997 clauses out of 344002 with flag 30083681/15041000
932.56/929.00	c cleaning 172996 clauses out of 346005 with flag 30431699/15215000
943.63/940.15	c cleaning 173999 clauses out of 348010 with flag 30781728/15390001
954.50/951.03	c cleaning 174999 clauses out of 350012 with flag 31133734/15566002
966.68/963.25	c cleaning 176005 clauses out of 352014 with flag 31487757/15743003
979.57/976.18	c cleaning 176997 clauses out of 354006 with flag 31843762/15921000
992.34/988.92	c cleaning 178001 clauses out of 356009 with flag 32201771/16100000
1008.51/1005.13	c cleaning 178997 clauses out of 358008 with flag 32561790/16280000
1021.57/1018.24	c cleaning 180001 clauses out of 360011 with flag 32923804/16461000
1042.74/1039.44	c cleaning 181002 clauses out of 362010 with flag 33287831/16643000
1056.42/1053.16	c cleaning 181994 clauses out of 364009 with flag 33653850/16826001
1070.78/1067.55	c cleaning 183001 clauses out of 366014 with flag 34021888/17010000
1083.59/1080.21	c cleaning 184004 clauses out of 368015 with flag 34391912/17195002
1096.26/1092.93	c cleaning 185005 clauses out of 370009 with flag 34763927/17381000
1111.04/1107.72	c cleaning 185998 clauses out of 372006 with flag 35137953/17568002
1126.70/1123.40	c cleaning 187001 clauses out of 374008 with flag 35513988/17756002
1143.52/1140.22	c cleaning 188000 clauses out of 376005 with flag 35892009/17945000
1162.58/1159.31	c cleaning 189001 clauses out of 378006 with flag 36272039/18135001
1183.13/1179.72	c cleaning 189992 clauses out of 380005 with flag 36654060/18326001
1200.09/1196.71	c cleaning 191001 clauses out of 382013 with flag 37038081/18518001
1220.85/1217.57	c cleaning 192000 clauses out of 384012 with flag 37424104/18711001
1237.52/1234.23	c cleaning 192998 clauses out of 386011 with flag 37812116/18905000
1251.49/1248.28	c cleaning 194007 clauses out of 388015 with flag 38202127/19100002
1266.76/1263.53	c cleaning 194999 clauses out of 390006 with flag 38594143/19296000
1286.36/1282.20	c cleaning 195999 clauses out of 392007 with flag 38988154/19493000
1302.93/1298.88	c cleaning 196998 clauses out of 394008 with flag 39384169/19691000
1318.40/1314.32	c cleaning 197999 clauses out of 396012 with flag 39782194/19890002
1336.86/1332.88	c cleaning 198997 clauses out of 398011 with flag 40182204/20090000
1354.95/1350.88	c cleaning 199998 clauses out of 400017 with flag 40584223/20291003
1371.42/1367.30	c cleaning 201007 clauses out of 402016 with flag 40988235/20493000
1386.79/1382.75	c cleaning 202002 clauses out of 404009 with flag 41394264/20696000
1405.19/1401.03	c cleaning 202998 clauses out of 406007 with flag 41802274/20900000
1422.45/1418.39	c cleaning 204001 clauses out of 408010 with flag 42212289/21105001
1442.62/1438.56	c cleaning 204999 clauses out of 410008 with flag 42624299/21311000
1458.70/1454.57	c cleaning 205998 clauses out of 412009 with flag 43038317/21518000
1476.36/1472.25	c cleaning 207002 clauses out of 414011 with flag 43454328/21726000
1495.63/1491.56	c cleaning 207998 clauses out of 416010 with flag 43872359/21935001
1511.58/1506.80	c cleaning 209002 clauses out of 418012 with flag 44292375/22145001
1526.75/1522.00	c cleaning 210003 clauses out of 420010 with flag 44714388/22356001
1541.21/1536.53	c cleaning 211001 clauses out of 422007 with flag 45138417/22568001
1558.93/1554.28	c cleaning 211997 clauses out of 424005 with flag 45564426/22781000
1575.09/1570.46	c cleaning 212998 clauses out of 426009 with flag 45992432/22995001
1592.86/1588.20	c cleaning 214000 clauses out of 428012 with flag 46422444/23210002
1611.41/1606.84	c cleaning 214999 clauses out of 430012 with flag 46854461/23426002
1633.94/1629.36	c cleaning 216001 clauses out of 432012 with flag 47288471/23643001
1676.15/1671.66	c cleaning 217000 clauses out of 434010 with flag 47724492/23861000
1702.19/1697.73	c cleaning 218004 clauses out of 436011 with flag 48162515/24080001
1726.53/1722.13	c cleaning 218996 clauses out of 438006 with flag 48602549/24300000
1754.17/1749.89	c cleaning 220003 clauses out of 440010 with flag 49044587/24521000
1776.25/1771.81	c cleaning 220998 clauses out of 442008 with flag 49488633/24743001
1795.31/1790.97	c cleaning 221996 clauses out of 444009 with flag 49934679/24966000
1816.17/1811.83	c cleaning 222998 clauses out of 446013 with flag 50382689/25190000
1840.72/1836.46	c cleaning 224002 clauses out of 448015 with flag 50832708/25415000
1863.23/1858.85	c cleaning 225003 clauses out of 450013 with flag 51284750/25641000
1882.50/1878.18	c cleaning 225999 clauses out of 452010 with flag 51738764/25868000
1900.96/1896.62	c cleaning 227004 clauses out of 454012 with flag 52194793/26096001
1923.30/1919.08	c cleaning 227998 clauses out of 456007 with flag 52652809/26325000
1943.20/1938.30	c cleaning 228998 clauses out of 458009 with flag 53112827/26555000
1964.26/1959.41	c cleaning 230003 clauses out of 460011 with flag 53574846/26786000
1986.92/1982.18	c cleaning 231000 clauses out of 462009 with flag 54038883/27018001
2005.95/2001.06	c cleaning 232001 clauses out of 464011 with flag 54504922/27251003
2029.49/2024.61	c cleaning 232999 clauses out of 466009 with flag 54972950/27485002
2057.03/2052.20	c cleaning 233999 clauses out of 468008 with flag 55442967/27720000
2085.09/2080.36	c cleaning 235005 clauses out of 470011 with flag 55915002/27956002
2107.69/2102.81	c cleaning 235997 clauses out of 472004 with flag 56389033/28193000
2133.55/2128.76	c cleaning 236995 clauses out of 474007 with flag 56865070/28431000
2159.29/2154.54	c cleaning 238001 clauses out of 476012 with flag 57343084/28670000
2180.09/2174.60	c cleaning 239002 clauses out of 478011 with flag 57823113/28910000
2204.15/2198.71	c cleaning 240003 clauses out of 480011 with flag 58305162/29151002
2232.29/2226.93	c cleaning 240999 clauses out of 482009 with flag 58789181/29393003
2254.73/2249.38	c cleaning 242000 clauses out of 484007 with flag 59275189/29636000
2278.48/2273.18	c cleaning 243000 clauses out of 486007 with flag 59763216/29880000
2300.64/2295.34	c cleaning 243999 clauses out of 488008 with flag 60253252/30125001
2325.65/2320.37	c cleaning 244999 clauses out of 490009 with flag 60745267/30371001
2361.87/2356.67	c cleaning 246002 clauses out of 492009 with flag 61239286/30618000
2385.22/2380.10	c cleaning 247002 clauses out of 494008 with flag 61735321/30866001
2415.49/2410.21	c cleaning 247996 clauses out of 496005 with flag 62233388/31115000
2442.74/2437.59	c cleaning 249001 clauses out of 498010 with flag 62733413/31365001
2468.48/2463.33	c cleaning 250003 clauses out of 500008 with flag 63235428/31616000
2493.00/2487.89	c cleaning 250996 clauses out of 502006 with flag 63739456/31868001
2519.14/2514.03	c cleaning 252003 clauses out of 504009 with flag 64245484/32121000
2545.28/2540.23	c cleaning 253000 clauses out of 506006 with flag 64753502/32375000
2574.51/2569.47	c cleaning 253997 clauses out of 508006 with flag 65263551/32630000
2608.04/2603.02	c cleaning 254997 clauses out of 510009 with flag 65775572/32886000
2641.48/2636.58	c cleaning 255999 clauses out of 512012 with flag 66289603/33143000
2669.90/2663.93	c cleaning 257000 clauses out of 514015 with flag 66805658/33401002
2695.25/2689.33	c cleaning 258004 clauses out of 516015 with flag 67323680/33660002
2719.46/2713.59	c cleaning 258998 clauses out of 518009 with flag 67843725/33920000
2749.50/2743.62	c cleaning 260000 clauses out of 520013 with flag 68365742/34181002
2776.65/2770.87	c cleaning 261004 clauses out of 522013 with flag 68889769/34443002
2811.10/2805.26	c cleaning 261998 clauses out of 524009 with flag 69415811/34706002
2844.13/2838.38	c cleaning 263002 clauses out of 526009 with flag 69943830/34970000
2867.98/2862.26	c cleaning 264001 clauses out of 528008 with flag 70473848/35235001
2888.94/2883.11	c cleaning 265000 clauses out of 530006 with flag 71005870/35501000
2908.49/2902.76	c cleaning 266002 clauses out of 532007 with flag 71539898/35768001
2934.83/2929.16	c cleaning 266995 clauses out of 534006 with flag 72075932/36036002
2959.81/2953.56	c cleaning 268000 clauses out of 536012 with flag 72613956/36305003
2987.26/2981.10	c cleaning 268998 clauses out of 538009 with flag 73153992/36575000
3009.41/3003.29	c cleaning 270002 clauses out of 540012 with flag 73696021/36846001
3033.92/3027.71	c cleaning 270997 clauses out of 542009 with flag 74240043/37118000
3060.07/3053.93	c cleaning 271999 clauses out of 544012 with flag 74786052/37391000
3084.91/3078.85	c cleaning 272999 clauses out of 546014 with flag 75334094/37665001
3115.85/3109.87	c cleaning 274005 clauses out of 548014 with flag 75884122/37940000
3164.12/3158.10	c cleaning 274999 clauses out of 550009 with flag 76436147/38216000
3198.25/3192.36	c cleaning 276000 clauses out of 552011 with flag 76990187/38493001
3228.08/3222.28	c cleaning 277003 clauses out of 554010 with flag 77546218/38771000
3266.90/3261.19	c cleaning 277999 clauses out of 556007 with flag 78104245/39050000
3293.32/3287.68	c cleaning 278999 clauses out of 558009 with flag 78664295/39330001
3322.52/3316.71	c cleaning 279999 clauses out of 560009 with flag 79226360/39611000
3354.16/3348.48	c cleaning 280998 clauses out of 562010 with flag 79790398/39893000
3389.18/3383.58	c cleaning 282001 clauses out of 564013 with flag 80356438/40176001
3419.40/3412.69	c cleaning 283004 clauses out of 566011 with flag 80924471/40460000
3442.95/3436.21	c cleaning 283997 clauses out of 568008 with flag 81494508/40745001
3469.39/3462.75	c cleaning 284997 clauses out of 570011 with flag 82066520/41031001
3498.61/3492.00	c cleaning 286001 clauses out of 572013 with flag 82640545/41318000
3532.94/3526.38	c cleaning 286999 clauses out of 574013 with flag 83216583/41606001
3573.85/3567.34	c cleaning 287998 clauses out of 576013 with flag 83794623/41895000
3600.09/3593.51	c starts		: 1
3600.09/3593.52	c conflicts		: 42185000
3600.09/3593.52	c decisions		: 42186814
3600.09/3593.52	c propagations		: 185023879
3600.09/3593.52	c inspects		: 15150522893
3600.09/3593.52	c shortcuts		: 0
3600.09/3593.52	c learnt literals	: 0
3600.09/3593.52	c learnt binary clauses	: 0
3600.09/3593.53	c learnt ternary clauses	: 0
3600.09/3593.53	c learnt constraints	: 42185000
3600.09/3593.53	c ignored constraints	: 0
3600.09/3593.53	c root simplifications	: 0
3600.09/3593.53	c removed literals (reason simplification)	: 487612814
3600.09/3593.53	c reason swapping (by a shorter reason)	: 0
3600.09/3593.53	c Calls to reduceDB	: 286
3600.09/3593.53	c Number of update (reduction) of LBD	: 2633
3600.09/3593.53	c Imported unit clauses	: 0
3600.09/3593.53	c No decision after first conflict	: false
3600.09/3593.53	c number of reductions to clauses (during analyze)	: 0
3600.09/3593.53	c number of learned constraints concerned by reduction	: 0
3600.09/3593.53	c number of learning phase by resolution	: 0
3600.09/3593.53	c number of learning phase by cutting planes	: 0
3600.09/3593.53	c number of rounding to 1 operations	: 0
3600.09/3593.53	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3593.53	c number of reductions of the coefficients by power 2 	: 0
3600.09/3593.53	c number of right shift for reduction by power 2 	: 0
3600.09/3593.53	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3593.53	c number of ending skipping 	: 0
3600.09/3593.53	c number of internal skipping 	: 0
3600.09/3593.53	c number of derivation steps 	: 0
3600.09/3593.53	c number of skipped derivation steps 	: 0
3600.09/3593.53	c number of remaining unassigned 	: 0
3600.09/3593.53	c number of remaining assigned 	: 0
3600.09/3593.53	c number of falsified literals weakened from reason	: 0
3600.09/3593.53	c number of falsified literals weakened from conflict	: 0
3600.09/3593.53	c time for arithmetic operations	: 0
3600.09/3593.54	c minimum degree of deleted constraints	: null
3600.09/3593.54	c maximum degree of deleted constraints	: null
3600.09/3593.54	c number of deleted constraints	: 0
3600.09/3593.55	c speed (assignments/second)	: 51489.93446038138
3600.09/3593.55	c non guided choices	: 94
3600.29/3593.62	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 578015
3600.29/3593.62	s UNKNOWN
3600.29/3593.62	c Total wall clock time (in seconds): 3593.495

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4495756-1751158654/watcher-4495756-1751158654 -o /tmp/evaluation-result-4495756-1751158654/solver-4495756-1751158654 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751158606-20470 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4495756-1751158654.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=22617, runsolver pid=22614

[startup+0.10006 s]*
/proc/loadavg: 3.41 2.27 2.67 5/319 22639
/proc/meminfo: memFree=129039988/131249996 swapFree=33010684/33010684
[pid=22617] ppid=22614 vsize=18930384 memory=57712 CPUtime=0.12 cores=5,7
/proc/22617/stat : 22617 (java) S 22614 22617 20457 0 -1 4194304 6579 0 0 0 10 2 0 0 20 0 18 0 31543107 19384713216 14428 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
/proc/22617/statm: 4732596 14428 5338 1 0 547620 0
[pid=22617/tid=22619] ppid=22614 vsize=18930384 memory=4026531959 CPUtime=0.07 cores=5,7
/proc/22617/task/22619/stat : 22619 (java) R 22614 22617 20457 0 -1 4194368 5071 0 0 0 6 1 0 0 20 0 18 0 31543108 19384713216 14428 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
[pid=22617/tid=22628] ppid=22614 vsize=18930384 memory=224227768828 CPUtime=0 cores=5,7
/proc/22617/task/22628/stat : 22628 (Finalizer) S 22614 22617 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 31543110 19384713216 14428 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
[pid=22617/tid=22635] ppid=22614 vsize=18930384 memory=29854 CPUtime=0 cores=5,7
/proc/22617/task/22635/stat : 22635 (Common-Cleaner) S 22614 22617 20457 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 31543110 19384713216 14428 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57712 KiB

[startup+0.205781 s]*
/proc/loadavg: 3.41 2.27 2.67 6/319 22653
/proc/meminfo: memFree=129035252/131249996 swapFree=33010684/33010684
[pid=22617] ppid=22614 vsize=18996948 memory=63372 CPUtime=0.33 cores=5,7
/proc/22617/stat : 22617 (java) S 22614 22617 20457 0 -1 4194304 7558 0 0 0 30 3 0 0 20 0 19 0 31543107 19452874752 15843 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
/proc/22617/statm: 4749237 15843 5466 1 0 548578 0
[pid=22617/tid=22619] ppid=22614 vsize=18996948 memory=4026612763 CPUtime=0.18 cores=5,7
/proc/22617/task/22619/stat : 22619 (java) R 22614 22617 20457 0 -1 4194368 5305 0 0 0 16 2 0 0 20 0 19 0 31543108 19452874752 15843 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
[pid=22617/tid=22628] ppid=22614 vsize=18996948 memory=219932787024 CPUtime=0 cores=5,7
/proc/22617/task/22628/stat : 22628 (Finalizer) S 22614 22617 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 31543110 19452874752 15843 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
[pid=22617/tid=22635] ppid=22614 vsize=18996948 memory=55186957824232 CPUtime=0 cores=5,7
/proc/22617/task/22635/stat : 22635 (Common-Cleaner) S 22614 22617 20457 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 31543110 19452874752 15843 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
[pid=22617/tid=22648] ppid=22614 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/22617/task/22648/stat : 22648 (Timer-0) S 22614 22617 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 31543121 19452874752 15843 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 63372 KiB

[startup+0.305673 s]*
/proc/loadavg: 3.41 2.27 2.67 6/320 22663
/proc/meminfo: memFree=129022588/131249996 swapFree=33010684/33010684
[pid=22617] ppid=22614 vsize=18996948 memory=71576 CPUtime=0.52 cores=5,7
/proc/22617/stat : 22617 (java) S 22614 22617 20457 0 -1 4194304 10281 0 0 0 49 3 0 0 20 0 19 0 31543107 19452874752 17894 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
/proc/22617/statm: 4749237 17894 5466 1 0 550568 0
[pid=22617/tid=22619] ppid=22614 vsize=18996948 memory=-7380393205450235770 CPUtime=0.27 cores=5,7
/proc/22617/task/22619/stat : 22619 (java) R 22614 22617 20457 0 -1 4194368 5334 0 0 0 25 2 0 0 20 0 19 0 31543108 19452874752 17894 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
[pid=22617/tid=22628] ppid=22614 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/22617/task/22628/stat : 22628 (Finalizer) S 22614 22617 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 31543110 19452874752 17894 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
[pid=22617/tid=22635] ppid=22614 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/22617/task/22635/stat : 22635 (Common-Cleaner) S 22614 22617 20457 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 31543110 19452874752 17894 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
[pid=22617/tid=22648] ppid=22614 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/22617/task/22648/stat : 22648 (Timer-0) S 22614 22617 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 31543121 19452874752 17894 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 71576 KiB

[startup+0.700241 s]
/proc/loadavg: 3.41 2.27 2.67 8/342 22685
/proc/meminfo: memFree=128987368/131249996 swapFree=33010684/33010684
[pid=22617] ppid=22614 vsize=18996948 memory=93516 CPUtime=1.28 cores=5,7
/proc/22617/stat : 22617 (java) S 22614 22617 20457 0 -1 4194304 14658 0 0 0 124 4 0 0 20 0 19 0 31543107 19452874752 23379 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
/proc/22617/statm: 4749237 23379 5466 1 0 553405 0
[pid=22617/tid=22619] ppid=22614 vsize=18996948 memory=17536 CPUtime=0.65 cores=5,7
/proc/22617/task/22619/stat : 22619 (java) R 22614 22617 20457 0 -1 4194368 5421 0 0 0 63 2 0 0 20 0 19 0 31543108 19452874752 23379 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
[pid=22617/tid=22628] ppid=22614 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/22617/task/22628/stat : 22628 (Finalizer) S 22614 22617 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 31543110 19452874752 23379 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
[pid=22617/tid=22635] ppid=22614 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/22617/task/22635/stat : 22635 (Common-Cleaner) S 22614 22617 20457 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 31543110 19452874752 23379 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
[pid=22617/tid=22648] ppid=22614 vsize=18996948 memory=4888 CPUtime=0 cores=5,7
/proc/22617/task/22648/stat : 22648 (Timer-0) S 22614 22617 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 31543121 19452874752 23379 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 93516 KiB

[startup+1.50022 s]
/proc/loadavg: 3.41 2.27 2.67 7/342 22685
/proc/meminfo: memFree=128944084/131249996 swapFree=33010684/33010684
[pid=22617] ppid=22614 vsize=18996948 memory=125864 CPUtime=2.65 cores=5,7
/proc/22617/stat : 22617 (java) S 22614 22617 20457 0 -1 4194304 19790 0 0 0 260 5 0 0 20 0 19 0 31543107 19452874752 31466 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
/proc/22617/statm: 4749237 31466 5466 1 0 554709 0
[pid=22617/tid=22619] ppid=22614 vsize=18996948 memory=10752 CPUtime=1.44 cores=5,7
/proc/22617/task/22619/stat : 22619 (java) R 22614 22617 20457 0 -1 4194368 5805 0 0 0 142 2 0 0 20 0 19 0 31543108 19452874752 31466 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
[pid=22617/tid=22628] ppid=22614 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/22617/task/22628/stat : 22628 (Finalizer) S 22614 22617 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 31543110 19452874752 31466 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
[pid=22617/tid=22635] ppid=22614 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/22617/task/22635/stat : 22635 (Common-Cleaner) S 22614 22617 20457 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 31543110 19452874752 31466 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
[pid=22617/tid=22648] ppid=22614 vsize=18996948 memory=224194199869 CPUtime=0 cores=5,7
/proc/22617/task/22648/stat : 22648 (Timer-0) S 22614 22617 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 31543121 19452874752 31466 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
Current children cumulated CPU time: 2.65 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 125864 KiB

[startup+3.10557 s]
/proc/loadavg: 3.45 2.30 2.68 5/343 22686
/proc/meminfo: memFree=128785760/131249996 swapFree=33010684/33010684
[pid=22617] ppid=22614 vsize=19063512 memory=198128 CPUtime=4.33 cores=5,7
/proc/22617/stat : 22617 (java) S 22614 22617 20457 0 -1 4194304 21684 0 0 0 426 7 0 0 20 0 20 0 31543107 19521036288 49532 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
/proc/22617/statm: 4765878 49532 5466 1 0 554999 0
[pid=22617/tid=22619] ppid=22614 vsize=19063512 memory=10752 CPUtime=3.02 cores=5,7
/proc/22617/task/22619/stat : 22619 (java) R 22614 22617 20457 0 -1 4194368 6162 0 0 0 299 3 0 0 20 0 20 0 31543108 19521036288 49532 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
[pid=22617/tid=22628] ppid=22614 vsize=19063512 memory=-6000919489953426029 CPUtime=0 cores=5,7
/proc/22617/task/22628/stat : 22628 (Finalizer) S 22614 22617 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31543110 19521036288 49532 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
[pid=22617/tid=22635] ppid=22614 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/22617/task/22635/stat : 22635 (Common-Cleaner) S 22614 22617 20457 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 31543110 19521036288 49532 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
[pid=22617/tid=22648] ppid=22614 vsize=19063512 memory=33 CPUtime=0 cores=5,7
/proc/22617/task/22648/stat : 22648 (Timer-0) S 22614 22617 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31543121 19521036288 49532 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
Current children cumulated CPU time: 4.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 198128 KiB

[startup+6.30016 s]
/proc/loadavg: 3.45 2.30 2.68 5/344 22687
/proc/meminfo: memFree=128638164/131249996 swapFree=33010684/33010684
[pid=22617] ppid=22614 vsize=19063512 memory=198252 CPUtime=7.58 cores=5,7
/proc/22617/stat : 22617 (java) S 22614 22617 20457 0 -1 4194304 22149 0 0 0 751 7 0 0 20 0 20 0 31543107 19521036288 49563 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
/proc/22617/statm: 4765878 49563 5466 1 0 554999 0
[pid=22617/tid=22619] ppid=22614 vsize=19063512 memory=0 CPUtime=6.19 cores=5,7
/proc/22617/task/22619/stat : 22619 (java) R 22614 22617 20457 0 -1 4194368 6168 0 0 0 616 3 0 0 20 0 20 0 31543108 19521036288 49563 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
[pid=22617/tid=22628] ppid=22614 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/22617/task/22628/stat : 22628 (Finalizer) S 22614 22617 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31543110 19521036288 49563 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
[pid=22617/tid=22635] ppid=22614 vsize=19063512 memory=14592 CPUtime=0 cores=5,7
/proc/22617/task/22635/stat : 22635 (Common-Cleaner) S 22614 22617 20457 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 31543110 19521036288 49563 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
[pid=22617/tid=22648] ppid=22614 vsize=19063512 memory=17536 CPUtime=0 cores=5,7
/proc/22617/task/22648/stat : 22648 (Timer-0) S 22614 22617 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31543121 19521036288 49563 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
Current children cumulated CPU time: 7.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 198252 KiB

[startup+12.7002 s]
/proc/loadavg: 3.50 2.33 2.69 6/343 22752
/proc/meminfo: memFree=128558928/131249996 swapFree=33010684/33010684
[pid=22617] ppid=22614 vsize=19063512 memory=304944 CPUtime=14.06 cores=5,7
/proc/22617/stat : 22617 (java) S 22614 22617 20457 0 -1 4194304 24101 0 0 0 1397 9 0 0 20 0 20 0 31543107 19521036288 76236 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
/proc/22617/statm: 4765878 76236 5466 1 0 554999 0
[pid=22617/tid=22619] ppid=22614 vsize=19063512 memory=10752 CPUtime=12.5 cores=5,7
/proc/22617/task/22619/stat : 22619 (java) R 22614 22617 20457 0 -1 4194368 6700 0 0 0 1247 3 0 0 20 0 20 0 31543108 19521036288 76236 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
[pid=22617/tid=22628] ppid=22614 vsize=19063512 memory=-6000919489953426029 CPUtime=0 cores=5,7
/proc/22617/task/22628/stat : 22628 (Finalizer) S 22614 22617 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31543110 19521036288 76236 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
[pid=22617/tid=22635] ppid=22614 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/22617/task/22635/stat : 22635 (Common-Cleaner) S 22614 22617 20457 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 31543110 19521036288 76236 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
[pid=22617/tid=22648] ppid=22614 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/22617/task/22648/stat : 22648 (Timer-0) S 22614 22617 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31543121 19521036288 76236 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
Current children cumulated CPU time: 14.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 304944 KiB

[startup+25.5002 s]
/proc/loadavg: 3.69 2.43 2.72 5/344 22820
/proc/meminfo: memFree=128192372/131249996 swapFree=33010684/33010684
[pid=22617] ppid=22614 vsize=19063512 memory=475036 CPUtime=26.93 cores=5,7
/proc/22617/stat : 22617 (java) S 22614 22617 20457 0 -1 4194304 26095 0 0 0 2680 13 0 0 20 0 20 0 31543107 19521036288 118759 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
/proc/22617/statm: 4765878 118759 5466 1 0 554999 0
[pid=22617/tid=22619] ppid=22614 vsize=19063512 memory=10752 CPUtime=25.13 cores=5,7
/proc/22617/task/22619/stat : 22619 (java) R 22614 22617 20457 0 -1 4194368 7405 0 0 0 2509 4 0 0 20 0 20 0 31543108 19521036288 118759 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
[pid=22617/tid=22628] ppid=22614 vsize=19063512 memory=-6000919489953426029 CPUtime=0 cores=5,7
/proc/22617/task/22628/stat : 22628 (Finalizer) S 22614 22617 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 31543110 19521036288 118759 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
[pid=22617/tid=22635] ppid=22614 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/22617/task/22635/stat : 22635 (Common-Cleaner) S 22614 22617 20457 0 -1 4194368 55 0 0 0 0 0 0 0 20 0 20 0 31543110 19521036288 118759 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
[pid=22617/tid=22648] ppid=22614 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/22617/task/22648/stat : 22648 (Timer-0) S 22614 22617 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 31543121 19521036288 118759 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
Current children cumulated CPU time: 26.93 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 475036 KiB

[startup+51.1057 s]
/proc/loadavg: 3.80 2.55 2.75 5/344 22821
/proc/meminfo: memFree=127370084/131249996 swapFree=33010684/33010684
[pid=22617] ppid=22614 vsize=19063512 memory=767984 CPUtime=52.63 cores=5,7
/proc/22617/stat : 22617 (java) S 22614 22617 20457 0 -1 4194304 26342 0 0 0 5245 18 0 0 20 0 20 0 31543107 19521036288 191996 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
/proc/22617/statm: 4765878 191996 5466 1 0 554999 0

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

[startup+3282.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/342 23006
/proc/meminfo: memFree=121235728/131249996 swapFree=33010684/33010684
[pid=22617] ppid=22614 vsize=19130076 memory=2332656 CPUtime=3288.04 cores=5,7
/proc/22617/stat : 22617 (java) S 22614 22617 20457 0 -1 4194304 107359 0 0 0 328675 129 0 0 20 0 21 0 31543107 19589197824 583164 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
/proc/22617/statm: 4782519 583164 5498 1 0 598595 0
[pid=22617/tid=22619] ppid=22614 vsize=19130076 memory=2332656 CPUtime=3268.56 cores=5,7
/proc/22617/task/22619/stat : 22619 (java) R 22614 22617 20457 0 -1 4194368 43922 0 0 0 326830 26 0 0 20 0 21 0 31543108 19589197824 583164 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
[pid=22617/tid=22628] ppid=22614 vsize=19130076 memory=2760 CPUtime=0 cores=5,7
/proc/22617/task/22628/stat : 22628 (Finalizer) S 22614 22617 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 31543110 19589197824 583164 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
[pid=22617/tid=22635] ppid=22614 vsize=19130076 memory=2332656 CPUtime=0 cores=5,7
/proc/22617/task/22635/stat : 22635 (Common-Cleaner) S 22614 22617 20457 0 -1 4194368 1387 0 0 0 0 0 0 0 20 0 21 0 31543110 19589197824 583164 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
[pid=22617/tid=22648] ppid=22614 vsize=19130076 memory=14592 CPUtime=0 cores=5,7
/proc/22617/task/22648/stat : 22648 (Timer-0) S 22614 22617 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 31543121 19589197824 583164 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
Current children cumulated CPU time: 3288.04 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 2332656 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/341 23010
/proc/meminfo: memFree=121235864/131249996 swapFree=33010684/33010684
[pid=22617] ppid=22614 vsize=19130076 memory=2332656 CPUtime=3348.07 cores=5,7
/proc/22617/stat : 22617 (java) S 22614 22617 20457 0 -1 4194304 108144 0 0 0 334676 131 0 0 20 0 21 0 31543107 19589197824 583164 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
/proc/22617/statm: 4782519 583164 5498 1 0 598595 0
[pid=22617/tid=22619] ppid=22614 vsize=19130076 memory=2332656 CPUtime=3328.26 cores=5,7
/proc/22617/task/22619/stat : 22619 (java) R 22614 22617 20457 0 -1 4194368 43959 0 0 0 332800 26 0 0 20 0 21 0 31543108 19589197824 583164 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
[pid=22617/tid=22628] ppid=22614 vsize=19130076 memory=2332656 CPUtime=0 cores=5,7
/proc/22617/task/22628/stat : 22628 (Finalizer) S 22614 22617 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 31543110 19589197824 583164 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
[pid=22617/tid=22635] ppid=22614 vsize=19130076 memory=2332656 CPUtime=0 cores=5,7
/proc/22617/task/22635/stat : 22635 (Common-Cleaner) S 22614 22617 20457 0 -1 4194368 1387 0 0 0 0 0 0 0 20 0 21 0 31543110 19589197824 583164 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
[pid=22617/tid=22648] ppid=22614 vsize=19130076 memory=17536 CPUtime=0 cores=5,7
/proc/22617/task/22648/stat : 22648 (Timer-0) S 22614 22617 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 31543121 19589197824 583164 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
Current children cumulated CPU time: 3348.07 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 2332656 KiB

[startup+3402.3 s]
/proc/loadavg: 4.36 4.18 4.11 5/342 23017
/proc/meminfo: memFree=121244216/131249996 swapFree=33010684/33010684
[pid=22617] ppid=22614 vsize=19130076 memory=2332656 CPUtime=3409.13 cores=5,7
/proc/22617/stat : 22617 (java) S 22614 22617 20457 0 -1 4194304 110410 0 0 0 340780 133 0 0 20 0 21 0 31543107 19589197824 583164 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
/proc/22617/statm: 4782519 583164 5498 1 0 598596 0
[pid=22617/tid=22619] ppid=22614 vsize=19130076 memory=2332656 CPUtime=3387.92 cores=5,7
/proc/22617/task/22619/stat : 22619 (java) R 22614 22617 20457 0 -1 4194368 45528 0 0 0 338765 27 0 0 20 0 21 0 31543108 19589197824 583164 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
[pid=22617/tid=22628] ppid=22614 vsize=19130076 memory=14592 CPUtime=0 cores=5,7
/proc/22617/task/22628/stat : 22628 (Finalizer) S 22614 22617 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 31543110 19589197824 583164 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
[pid=22617/tid=22635] ppid=22614 vsize=19130076 memory=17536 CPUtime=0 cores=5,7
/proc/22617/task/22635/stat : 22635 (Common-Cleaner) S 22614 22617 20457 0 -1 4194368 1387 0 0 0 0 0 0 0 20 0 21 0 31543110 19589197824 583164 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
[pid=22617/tid=22648] ppid=22614 vsize=19130076 memory=2332656 CPUtime=0 cores=5,7
/proc/22617/task/22648/stat : 22648 (Timer-0) S 22614 22617 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 31543121 19589197824 583164 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
Current children cumulated CPU time: 3409.13 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 2332656 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/342 23019
/proc/meminfo: memFree=121244360/131249996 swapFree=33010684/33010684
[pid=22617] ppid=22614 vsize=19130076 memory=2332656 CPUtime=3468.99 cores=5,7
/proc/22617/stat : 22617 (java) S 22614 22617 20457 0 -1 4194304 111217 0 0 0 346765 134 0 0 20 0 21 0 31543107 19589197824 583164 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
/proc/22617/statm: 4782519 583164 5498 1 0 598596 0
[pid=22617/tid=22619] ppid=22614 vsize=19130076 memory=2332656 CPUtime=3447.76 cores=5,7
/proc/22617/task/22619/stat : 22619 (java) R 22614 22617 20457 0 -1 4194368 46188 0 0 0 344749 27 0 0 20 0 21 0 31543108 19589197824 583164 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
[pid=22617/tid=22628] ppid=22614 vsize=19130076 memory=2760 CPUtime=0 cores=5,7
/proc/22617/task/22628/stat : 22628 (Finalizer) S 22614 22617 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 31543110 19589197824 583164 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
[pid=22617/tid=22635] ppid=22614 vsize=19130076 memory=2332656 CPUtime=0 cores=5,7
/proc/22617/task/22635/stat : 22635 (Common-Cleaner) S 22614 22617 20457 0 -1 4194368 1450 0 0 0 0 0 0 0 20 0 21 0 31543110 19589197824 583164 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
[pid=22617/tid=22648] ppid=22614 vsize=19130076 memory=2332656 CPUtime=0 cores=5,7
/proc/22617/task/22648/stat : 22648 (Timer-0) S 22614 22617 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 31543121 19589197824 583164 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
Current children cumulated CPU time: 3468.99 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 2332656 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.15 4.10 5/342 23021
/proc/meminfo: memFree=121244488/131249996 swapFree=33010684/33010684
[pid=22617] ppid=22614 vsize=19130076 memory=2332656 CPUtime=3528.95 cores=5,7
/proc/22617/stat : 22617 (java) S 22614 22617 20457 0 -1 4194304 112408 0 0 0 352760 135 0 0 20 0 21 0 31543107 19589197824 583164 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
/proc/22617/statm: 4782519 583164 5498 1 0 598596 0
[pid=22617/tid=22619] ppid=22614 vsize=19130076 memory=2332656 CPUtime=3507.54 cores=5,7
/proc/22617/task/22619/stat : 22619 (java) R 22614 22617 20457 0 -1 4194368 46677 0 0 0 350727 27 0 0 20 0 21 0 31543108 19589197824 583164 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
[pid=22617/tid=22628] ppid=22614 vsize=19130076 memory=5632 CPUtime=0 cores=5,7
/proc/22617/task/22628/stat : 22628 (Finalizer) S 22614 22617 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 31543110 19589197824 583164 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
[pid=22617/tid=22635] ppid=22614 vsize=19130076 memory=14592 CPUtime=0 cores=5,7
/proc/22617/task/22635/stat : 22635 (Common-Cleaner) S 22614 22617 20457 0 -1 4194368 1451 0 0 0 0 0 0 0 20 0 21 0 31543110 19589197824 583164 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
[pid=22617/tid=22648] ppid=22614 vsize=19130076 memory=9344 CPUtime=0 cores=5,7
/proc/22617/task/22648/stat : 22648 (Timer-0) S 22614 22617 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 31543121 19589197824 583164 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
Current children cumulated CPU time: 3528.95 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 2332656 KiB

[startup+3582.3 s]
/proc/loadavg: 4.24 4.18 4.11 5/342 23156
/proc/meminfo: memFree=125200988/131249996 swapFree=33010684/33010684
[pid=22617] ppid=22614 vsize=19130076 memory=2332656 CPUtime=3588.92 cores=5,7
/proc/22617/stat : 22617 (java) S 22614 22617 20457 0 -1 4194304 113376 0 0 0 358756 136 0 0 20 0 21 0 31543107 19589197824 583164 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
/proc/22617/statm: 4782519 583164 5498 1 0 598596 0
[pid=22617/tid=22619] ppid=22614 vsize=19130076 memory=2332656 CPUtime=3567.26 cores=5,7
/proc/22617/task/22619/stat : 22619 (java) R 22614 22617 20457 0 -1 4194368 46892 0 0 0 356699 27 0 0 20 0 21 0 31543108 19589197824 583164 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
[pid=22617/tid=22628] ppid=22614 vsize=19130076 memory=5632 CPUtime=0 cores=5,7
/proc/22617/task/22628/stat : 22628 (Finalizer) S 22614 22617 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 31543110 19589197824 583164 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
[pid=22617/tid=22635] ppid=22614 vsize=19130076 memory=2332656 CPUtime=0 cores=5,7
/proc/22617/task/22635/stat : 22635 (Common-Cleaner) S 22614 22617 20457 0 -1 4194368 1469 0 0 0 0 0 0 0 20 0 21 0 31543110 19589197824 583164 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
[pid=22617/tid=22648] ppid=22614 vsize=19130076 memory=17536 CPUtime=0 cores=5,7
/proc/22617/task/22648/stat : 22648 (Timer-0) S 22614 22617 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 31543121 19589197824 583164 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
Current children cumulated CPU time: 3588.92 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 2332656 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3593.5 s]
/proc/loadavg: 4.19 4.17 4.11 5/342 23157
/proc/meminfo: memFree=125155940/131249996 swapFree=33010684/33010684
[pid=22617] ppid=22614 vsize=19130076 memory=2332656 CPUtime=3600.09 cores=5,7
/proc/22617/stat : 22617 (java) S 22614 22617 20457 0 -1 4194304 113385 0 0 0 359873 136 0 0 20 0 21 0 31543107 19589197824 583164 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
/proc/22617/statm: 4782519 583164 5498 1 0 598596 0
[pid=22617/tid=22619] ppid=22614 vsize=19130076 memory=2332656 CPUtime=3578.43 cores=5,7
/proc/22617/task/22619/stat : 22619 (java) R 22614 22617 20457 0 -1 4194368 46893 0 0 0 357816 27 0 0 20 0 21 0 31543108 19589197824 583164 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
[pid=22617/tid=22628] ppid=22614 vsize=19130076 memory=2332656 CPUtime=0 cores=5,7
/proc/22617/task/22628/stat : 22628 (Finalizer) S 22614 22617 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 31543110 19589197824 583164 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
[pid=22617/tid=22635] ppid=22614 vsize=19130076 memory=5040 CPUtime=0 cores=5,7
/proc/22617/task/22635/stat : 22635 (Common-Cleaner) S 22614 22617 20457 0 -1 4194368 1469 0 0 0 0 0 0 0 20 0 21 0 31543110 19589197824 583164 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
[pid=22617/tid=22648] ppid=22614 vsize=19130076 memory=14592 CPUtime=0 cores=5,7
/proc/22617/task/22648/stat : 22648 (Timer-0) S 22614 22617 20457 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 31543121 19589197824 583164 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 2332656 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.97 s, system=1.38741 s

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

[startup+3593.6 s]
/proc/loadavg: 4.19 4.17 4.11 5/342 23157
/proc/meminfo: memFree=125155940/131249996 swapFree=33010684/33010684
[pid=22617] ppid=22614 vsize=19329768 memory=2333296 CPUtime=3600.29 cores=5,7
/proc/22617/stat : 22617 (java) S 22614 22617 20457 0 -1 4194304 114790 0 0 0 359892 137 0 0 20 0 22 0 31543107 19793682432 583324 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
/proc/22617/statm: 4832442 583324 5498 1 0 599499 0
[pid=22617/tid=22619] ppid=22614 vsize=19329768 memory=2332656 CPUtime=3578.53 cores=5,7
/proc/22617/task/22619/stat : 22619 (java) R 22614 22617 20457 0 -1 4194368 46894 0 0 0 357826 27 0 0 20 0 22 0 31543108 19793682432 583324 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
[pid=22617/tid=22628] ppid=22614 vsize=19329768 memory=2332656 CPUtime=0 cores=5,7
/proc/22617/task/22628/stat : 22628 (Finalizer) S 22614 22617 20457 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 22 0 31543110 19793682432 583324 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
[pid=22617/tid=22635] ppid=22614 vsize=19329768 memory=14592 CPUtime=0 cores=5,7
/proc/22617/task/22635/stat : 22635 (Common-Cleaner) S 22614 22617 20457 0 -1 4194368 1469 0 0 0 0 0 0 0 20 0 22 0 31543110 19793682432 583324 18446744073709551615 94021879279616 94021879283312 140727604599984 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94021879291128 94021879291920 94021897633792 140727604603265 140727604603366 140727604603366 140727604608968 0
Current children cumulated CPU time: 3600.29 s
Current children cumulated vsize: 19329768 KiB
Current children cumulated memory: 2333296 KiB

Child status: 143

Real time (s): 3593.64
CPU time (s): 3600.35
CPU user time (s): 3598.97
CPU system time (s): 1.38741
CPU usage (%): 100.187
Max. virtual memory (cumulated for all children) (KiB): 19329768
Max. memory (cumulated for all children) (KiB): 2333296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.97
system time used= 1.38741
maximum resident set size= 2333552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114956
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 107298
involuntary context switches= 20476


# summary of solver processes directly reported to runsolver:
#   pid: 22617
#   total CPU time (s): 3600.35
#   total CPU user time (s): 3598.97
#   total CPU system time (s): 1.38741

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.4711 second user time and 16.1787 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2025-06-29 02:57:34
IDJOB=4495756
IDBENCH=148097
IDSOLVER=3363
FILE ID=nodeC021/4495756-1751158654
RUNJOBID= nodeC021-1751158606-20470
SLURM_JOB_ID= 9587494
Free space on /tmp= 433052 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/manquiho/Aardal_1/normalized-prob10.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4495756-1751158654/watcher-4495756-1751158654 -o /tmp/evaluation-result-4495756-1751158654/solver-4495756-1751158654 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751158606-20470 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4495756-1751158654.opb

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

MD5SUM BENCH= ff70f65d4e56aadb7819a27e192bee4f
RANDOM SEED=565713434

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129023036 kB
MemAvailable:   128931356 kB
Buffers:            3280 kB
Cached:           717736 kB
SwapCached:            0 kB
Active:          1150764 kB
Inactive:         461236 kB
Active(anon):     909048 kB
Inactive(anon):        0 kB
Active(file):     241716 kB
Inactive(file):   461236 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               744 kB
Writeback:             0 kB
AnonPages:        893804 kB
Mapped:           122624 kB
Shmem:             18060 kB
KReclaimable:      88812 kB
Slab:             174808 kB
SReclaimable:      88812 kB
SUnreclaim:        85996 kB
KernelStack:        4912 kB
PageTables:         5112 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    4820512 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151144 kB
VmallocChunk:          0 kB
Percpu:             3808 kB
HardwareCorrupted:     0 kB
AnonHugePages:    747520 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433060 MiB
End job on nodeC021 at 2025-06-29 03:57:28