Trace number 4485834

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2025-06-06? (TO) 3600.33 3586.63

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-grow7.opb
MD5SUMf6174806ed62bf92db0e2ac6f71348b5
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/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 benchmark1210.43
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7994
Total number of constraints420
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 constraints420
Minimum length of a constraint22
Maximum length of a constraint491
Number of terms in the objective function 623
Biggest coefficient in the objective function 3758096384
Number of bits for the biggest coefficient in the objective function 32
Sum of the numbers in the objective function 68719476658
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 878188741787648
Number of bits of the biggest number in a constraint 50
Biggest sum of numbers in a constraint 4550739094651140
Number of bits of the biggest sum of numbers53
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.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	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.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c Expensive reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	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.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4485834-1751299147.opb
0.13/0.12	c reading problem ... 
0.13/0.12	c  objective function found
0.52/0.32	c ... done. Wall clock time 0.19s.
0.52/0.32	c declared #vars     7994
0.52/0.32	c #constraints  560
0.52/0.32	c constraints type 
0.52/0.32	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 560
0.52/0.32	c 560 constraints processed.
0.52/0.33	c objective function length is 623 literals
1.89/1.09	c cleaning 2480 clauses out of 4999 with flag 12651/5000
2.41/1.42	c cleaning 4259 clauses out of 8521 with flag 25355/11002
3.06/1.80	c cleaning 5627 clauses out of 11260 with flag 40411/18000
3.57/2.28	c cleaning 6810 clauses out of 13633 with flag 61595/26000
4.21/2.88	c cleaning 7908 clauses out of 15823 with flag 84697/35000
4.51/3.13	c cleaning 8953 clauses out of 17916 with flag 106879/45001
5.13/3.76	c cleaning 9981 clauses out of 19962 with flag 129071/56000
5.86/4.45	c cleaning 10985 clauses out of 21982 with flag 153699/68001
6.16/4.73	c cleaning 11989 clauses out of 23996 with flag 179740/81000
6.47/5.01	c cleaning 12995 clauses out of 26008 with flag 207788/95001
6.76/5.34	c cleaning 14003 clauses out of 28013 with flag 237808/110001
7.06/5.69	c cleaning 14995 clauses out of 30009 with flag 269843/126000
7.49/6.06	c cleaning 15999 clauses out of 32014 with flag 303881/143000
7.93/6.48	c cleaning 16999 clauses out of 34015 with flag 339942/161000
8.43/6.90	c cleaning 17996 clauses out of 36016 with flag 377988/180000
8.82/7.38	c cleaning 19001 clauses out of 38020 with flag 418021/200000
9.42/7.92	c cleaning 20002 clauses out of 40019 with flag 460110/221000
9.95/8.49	c cleaning 21002 clauses out of 42018 with flag 504176/243001
10.55/9.08	c cleaning 22001 clauses out of 44015 with flag 550240/266000
11.14/9.69	c cleaning 22997 clauses out of 46015 with flag 599244/290001
12.38/10.80	c cleaning 24008 clauses out of 48017 with flag 653010/315001
13.17/11.61	c cleaning 25002 clauses out of 50008 with flag 705034/341000
14.01/12.40	c cleaning 26002 clauses out of 52006 with flag 759054/368000
14.80/13.22	c cleaning 27000 clauses out of 54005 with flag 815073/396001
15.61/14.09	c cleaning 28002 clauses out of 56007 with flag 873109/425003
17.41/15.70	c cleaning 28998 clauses out of 58002 with flag 939937/455000
19.60/17.82	c cleaning 30003 clauses out of 60005 with flag 1005096/486001
21.21/19.43	c cleaning 30997 clauses out of 62001 with flag 1069145/518000
22.83/21.07	c cleaning 32002 clauses out of 64004 with flag 1135220/551000
24.53/22.80	c cleaning 33002 clauses out of 66003 with flag 1203245/585001
26.32/24.52	c cleaning 34001 clauses out of 68001 with flag 1273306/620001
28.04/26.27	c cleaning 34994 clauses out of 70000 with flag 1345331/656001
29.85/28.02	c cleaning 36000 clauses out of 72006 with flag 1419403/693001
31.64/29.86	c cleaning 37000 clauses out of 74006 with flag 1495456/731001
33.47/31.68	c cleaning 38003 clauses out of 76008 with flag 1573497/770003
35.57/33.72	c cleaning 39001 clauses out of 78004 with flag 1653549/810002
37.66/35.82	c cleaning 40000 clauses out of 80001 with flag 1735606/851000
39.76/37.96	c cleaning 41000 clauses out of 82003 with flag 1819653/893002
41.96/40.16	c cleaning 42001 clauses out of 84001 with flag 1905691/936000
44.15/42.31	c cleaning 42994 clauses out of 86000 with flag 1993759/980000
46.25/44.40	c cleaning 43995 clauses out of 88006 with flag 2083824/1025000
48.54/46.79	c cleaning 45006 clauses out of 90013 with flag 2175909/1071002
50.84/49.06	c cleaning 46001 clauses out of 92005 with flag 2269950/1118000
53.29/51.44	c cleaning 47002 clauses out of 94005 with flag 2366012/1166001
55.68/53.88	c cleaning 47996 clauses out of 96003 with flag 2464081/1215001
58.07/56.27	c cleaning 49003 clauses out of 98006 with flag 2564170/1265000
60.67/58.89	c cleaning 50002 clauses out of 100003 with flag 2666249/1316000
63.46/61.61	c cleaning 50999 clauses out of 102001 with flag 2770320/1368000
66.33/64.42	c cleaning 52001 clauses out of 104002 with flag 2876394/1421000
68.92/67.09	c cleaning 52994 clauses out of 106001 with flag 2984512/1475000
71.61/69.72	c cleaning 54001 clauses out of 108007 with flag 3094583/1530000
74.21/72.36	c cleaning 55000 clauses out of 110006 with flag 3206652/1586000
76.91/75.02	c cleaning 56000 clauses out of 112006 with flag 3320730/1643000
79.95/78.03	c cleaning 56997 clauses out of 114006 with flag 3436821/1701000
82.75/80.84	c cleaning 58000 clauses out of 116010 with flag 3554882/1760001
85.75/83.85	c cleaning 59002 clauses out of 118009 with flag 3674965/1820000
88.64/86.75	c cleaning 60000 clauses out of 120008 with flag 3797084/1881001
91.83/89.94	c cleaning 61003 clauses out of 122009 with flag 3921177/1943002
94.93/93.07	c cleaning 61999 clauses out of 124004 with flag 4047244/2006000
98.49/96.58	c cleaning 63001 clauses out of 126005 with flag 4175305/2070000
102.18/100.20	c cleaning 64001 clauses out of 128004 with flag 4305410/2135000
105.77/103.80	c cleaning 65002 clauses out of 130003 with flag 4437490/2201000
109.36/107.45	c cleaning 66000 clauses out of 132002 with flag 4571613/2268001
113.06/111.12	c cleaning 66999 clauses out of 134002 with flag 4707698/2336001
116.83/114.80	c cleaning 67998 clauses out of 136002 with flag 4845814/2405000
120.42/118.44	c cleaning 68996 clauses out of 138004 with flag 4985915/2475000
124.41/122.44	c cleaning 69997 clauses out of 140009 with flag 5127991/2546001
128.30/126.37	c cleaning 71000 clauses out of 142011 with flag 5272122/2618000
132.19/130.22	c cleaning 72005 clauses out of 144012 with flag 5418243/2691001
136.17/134.16	c cleaning 72998 clauses out of 146007 with flag 5566367/2765001
140.06/138.00	c cleaning 74003 clauses out of 148009 with flag 5716484/2840001
144.54/142.56	c cleaning 74998 clauses out of 150007 with flag 5868584/2916002
148.63/146.60	c cleaning 76000 clauses out of 152007 with flag 6022679/2993000
152.92/150.91	c cleaning 77002 clauses out of 154007 with flag 6178783/3071000
157.16/155.16	c cleaning 78000 clauses out of 156006 with flag 6336895/3150001
161.55/159.59	c cleaning 79002 clauses out of 158006 with flag 6497042/3230001
165.94/163.94	c cleaning 80000 clauses out of 160003 with flag 6659154/3311000
170.63/168.68	c cleaning 81002 clauses out of 162003 with flag 6823272/3393000
175.41/173.43	c cleaning 81997 clauses out of 164001 with flag 6989400/3476000
180.15/178.11	c cleaning 83002 clauses out of 166005 with flag 7157568/3560001
185.24/183.23	c cleaning 84001 clauses out of 168003 with flag 7327712/3645001
190.32/188.36	c cleaning 85000 clauses out of 170002 with flag 7499827/3731001
195.81/193.81	c cleaning 86002 clauses out of 172003 with flag 7673979/3818002
200.78/198.77	c cleaning 87000 clauses out of 174000 with flag 7850072/3906001
205.86/203.83	c cleaning 87996 clauses out of 175999 with flag 8028186/3995000
212.15/210.18	c cleaning 88996 clauses out of 178004 with flag 8208289/4085001
217.24/215.25	c cleaning 90004 clauses out of 180007 with flag 8390448/4176000
222.89/220.80	c cleaning 90998 clauses out of 182003 with flag 8574590/4268000
228.09/226.04	c cleaning 91998 clauses out of 184005 with flag 8760766/4361000
233.27/231.21	c cleaning 92996 clauses out of 186008 with flag 8948946/4455001
238.66/236.64	c cleaning 93999 clauses out of 188012 with flag 9139118/4550001
244.82/242.76	c cleaning 94998 clauses out of 190012 with flag 9331215/4646000
250.21/248.16	c cleaning 96000 clauses out of 192015 with flag 9525351/4743001
255.89/253.81	c cleaning 97001 clauses out of 194014 with flag 9721524/4841000
261.57/259.48	c cleaning 98003 clauses out of 196014 with flag 9919690/4940001
267.45/265.32	c cleaning 99003 clauses out of 198011 with flag 10119856/5040001
273.34/271.29	c cleaning 100003 clauses out of 200008 with flag 10321984/5141001
279.13/277.06	c cleaning 100997 clauses out of 202005 with flag 10526095/5243001
284.91/282.72	c cleaning 101997 clauses out of 204007 with flag 10732246/5346000
291.00/288.85	c cleaning 103004 clauses out of 206011 with flag 10940435/5450001
296.99/294.81	c cleaning 103996 clauses out of 208006 with flag 11150559/5555000
303.48/301.26	c cleaning 105004 clauses out of 210010 with flag 11362690/5661000
309.96/307.72	c cleaning 106001 clauses out of 212007 with flag 11576870/5768001
316.15/313.94	c cleaning 106996 clauses out of 214007 with flag 11793056/5876002
322.84/320.50	c cleaning 108003 clauses out of 216009 with flag 12011198/5985000
329.03/326.77	c cleaning 108998 clauses out of 218006 with flag 12231329/6095000
335.61/333.30	c cleaning 110003 clauses out of 220010 with flag 12453542/6206002
342.00/339.71	c cleaning 110999 clauses out of 222005 with flag 12677700/6318000
348.96/346.63	c cleaning 111997 clauses out of 224007 with flag 12903885/6431001
355.54/353.25	c cleaning 112994 clauses out of 226009 with flag 13132047/6545000
362.93/360.66	c cleaning 114003 clauses out of 228016 with flag 13362237/6660001
369.38/367.07	c cleaning 115001 clauses out of 230014 with flag 13594467/6776002
376.76/374.40	c cleaning 116003 clauses out of 232012 with flag 13828731/6893001
384.04/381.80	c cleaning 116999 clauses out of 234008 with flag 14064929/7011000
391.42/389.09	c cleaning 118002 clauses out of 236009 with flag 14303167/7130000
398.01/395.60	c cleaning 119000 clauses out of 238008 with flag 14543380/7250001
404.99/402.63	c cleaning 119995 clauses out of 240007 with flag 14785539/7371000
412.96/410.58	c cleaning 121004 clauses out of 242012 with flag 15029685/7493000
420.05/417.66	c cleaning 121996 clauses out of 244011 with flag 15275913/7616003
427.93/425.58	c cleaning 123002 clauses out of 246014 with flag 15524097/7740002
435.28/432.84	c cleaning 123998 clauses out of 248011 with flag 15774225/7865001
441.97/439.55	c cleaning 125005 clauses out of 250012 with flag 16029625/7991001
451.15/448.46	c cleaning 125998 clauses out of 252006 with flag 16303926/8118000
462.62/458.57	c cleaning 127002 clauses out of 254008 with flag 16573685/8246000
471.75/467.33	c cleaning 127992 clauses out of 256006 with flag 16848473/8375000
485.90/481.23	c cleaning 128994 clauses out of 258014 with flag 17134408/8505000
496.10/490.92	c cleaning 129998 clauses out of 260020 with flag 17417168/8636000
507.52/501.30	c cleaning 131011 clauses out of 262022 with flag 17698563/8768000
518.35/511.73	c cleaning 131997 clauses out of 264011 with flag 17990478/8901000
528.52/521.67	c cleaning 133004 clauses out of 266011 with flag 18307877/9035000
537.07/530.10	c cleaning 133998 clauses out of 268007 with flag 18579160/9170000
547.50/540.58	c cleaning 134998 clauses out of 270010 with flag 18851265/9306001
557.86/550.78	c cleaning 135999 clauses out of 272010 with flag 19137143/9443000
568.09/560.96	c cleaning 137002 clauses out of 274012 with flag 19413387/9581001
578.18/571.06	c cleaning 137995 clauses out of 276009 with flag 19691658/9720000
587.48/580.35	c cleaning 139004 clauses out of 278016 with flag 19971932/9860002
597.01/589.84	c cleaning 140002 clauses out of 280011 with flag 20254171/10001001
606.09/598.94	c cleaning 141000 clauses out of 282008 with flag 20538520/10143000
615.84/608.68	c cleaning 141997 clauses out of 284008 with flag 20824939/10286000
625.22/618.10	c cleaning 143003 clauses out of 286011 with flag 21113208/10430000
635.77/628.58	c cleaning 144001 clauses out of 288008 with flag 21403546/10575000
645.64/638.47	c cleaning 144997 clauses out of 290007 with flag 21695830/10721000
655.33/648.11	c cleaning 146003 clauses out of 292010 with flag 21990117/10868000
666.17/658.93	c cleaning 147001 clauses out of 294007 with flag 22286399/11016000
676.04/668.82	c cleaning 147997 clauses out of 296007 with flag 22584881/11165001
686.23/679.04	c cleaning 149005 clauses out of 298009 with flag 22885266/11315000
696.96/689.75	c cleaning 149996 clauses out of 300005 with flag 23187698/11466001
707.04/699.84	c cleaning 151000 clauses out of 302009 with flag 23492078/11618001
717.92/710.64	c cleaning 152000 clauses out of 304008 with flag 23798527/11771000
728.10/720.85	c cleaning 152999 clauses out of 306008 with flag 24106831/11925000
739.18/731.98	c cleaning 154001 clauses out of 308010 with flag 24417096/12080001
750.65/743.33	c cleaning 154998 clauses out of 310009 with flag 24729416/12236001
761.83/754.57	c cleaning 156005 clauses out of 312010 with flag 25043732/12393000
774.00/766.75	c cleaning 157000 clauses out of 314007 with flag 25360061/12551002
786.87/779.58	c cleaning 157990 clauses out of 316005 with flag 25678367/12710000
797.84/790.53	c cleaning 159001 clauses out of 318015 with flag 25998719/12870000
809.23/801.82	c cleaning 160000 clauses out of 320015 with flag 26321050/13031001
820.41/813.06	c cleaning 161004 clauses out of 322014 with flag 26645383/13193000
833.39/826.05	c cleaning 162002 clauses out of 324010 with flag 26971696/13356000
845.45/838.01	c cleaning 163003 clauses out of 326009 with flag 27300033/13520001
857.82/850.49	c cleaning 163998 clauses out of 328005 with flag 27630355/13685000
869.93/862.16	c cleaning 165002 clauses out of 330007 with flag 27962635/13851000
882.81/875.02	c cleaning 165999 clauses out of 332005 with flag 28297050/14018000
896.38/888.66	c cleaning 167000 clauses out of 334006 with flag 28633452/14186000
908.52/900.74	c cleaning 167998 clauses out of 336006 with flag 28971827/14355000
921.39/913.61	c cleaning 169000 clauses out of 338008 with flag 29312218/14525000
934.66/926.90	c cleaning 169999 clauses out of 340008 with flag 29654661/14696000
946.92/939.17	c cleaning 170998 clauses out of 342009 with flag 29999119/14868000
959.29/951.58	c cleaning 172001 clauses out of 344011 with flag 30345605/15041000
972.36/964.64	c cleaning 172993 clauses out of 346010 with flag 30694078/15215000
986.43/978.66	c cleaning 174004 clauses out of 348017 with flag 31044397/15390000
999.59/991.80	c cleaning 174999 clauses out of 350014 with flag 31396740/15566001
1012.46/1004.79	c cleaning 176002 clauses out of 352014 with flag 31751267/15743000
1026.03/1018.25	c cleaning 176999 clauses out of 354013 with flag 32107740/15921001
1040.10/1032.30	c cleaning 178002 clauses out of 356014 with flag 32466093/16100001
1054.67/1046.97	c cleaning 179002 clauses out of 358011 with flag 32826510/16280000
1068.17/1060.35	c cleaning 180000 clauses out of 360009 with flag 33189022/16461000
1082.44/1074.64	c cleaning 181005 clauses out of 362010 with flag 33553491/16643001
1096.71/1088.94	c cleaning 181995 clauses out of 364004 with flag 33919853/16826000
1111.89/1104.08	c cleaning 183000 clauses out of 366010 with flag 34288373/17010001
1128.15/1120.34	c cleaning 184000 clauses out of 368009 with flag 34658888/17195000
1142.13/1134.30	c cleaning 185005 clauses out of 370009 with flag 35031284/17381000
1155.72/1147.85	c cleaning 185995 clauses out of 372005 with flag 35405815/17568001
1170.98/1163.17	c cleaning 187002 clauses out of 374009 with flag 35782277/17756000
1185.26/1177.49	c cleaning 187999 clauses out of 376007 with flag 36160806/17945000
1200.21/1192.34	c cleaning 189004 clauses out of 378010 with flag 36541210/18135002
1218.27/1210.46	c cleaning 189994 clauses out of 380004 with flag 36923658/18326000
1235.84/1228.00	c cleaning 190998 clauses out of 382010 with flag 37308237/18518000
1252.91/1245.00	c cleaning 192005 clauses out of 384014 with flag 37694730/18711002
1270.67/1262.84	c cleaning 193001 clauses out of 386007 with flag 38083239/18905000
1286.64/1278.81	c cleaning 193998 clauses out of 388006 with flag 38473667/19100000
1303.03/1295.11	c cleaning 194998 clauses out of 390008 with flag 38866160/19296000
1317.90/1310.08	c cleaning 196004 clauses out of 392010 with flag 39260567/19493000
1334.09/1326.16	c cleaning 196999 clauses out of 394006 with flag 39656928/19691000
1355.04/1347.16	c cleaning 198001 clauses out of 396007 with flag 40055418/19890000
1375.00/1367.17	c cleaning 198993 clauses out of 398006 with flag 40455827/20090000
1392.24/1384.25	c cleaning 200006 clauses out of 400016 with flag 40858295/20291003
1409.81/1401.84	c cleaning 200999 clauses out of 402007 with flag 41262803/20493000
1426.28/1418.31	c cleaning 201998 clauses out of 404008 with flag 41669173/20696000
1441.75/1433.78	c cleaning 203002 clauses out of 406010 with flag 42077605/20900000
1458.41/1450.47	c cleaning 203998 clauses out of 408008 with flag 42488027/21105000
1476.19/1468.12	c cleaning 205000 clauses out of 410010 with flag 42900431/21311000
1493.75/1485.76	c cleaning 205997 clauses out of 412011 with flag 43314864/21518001
1510.42/1502.49	c cleaning 207002 clauses out of 414013 with flag 43731279/21726000
1526.86/1518.85	c cleaning 208000 clauses out of 416011 with flag 44149836/21935000
1542.34/1534.39	c cleaning 209000 clauses out of 418011 with flag 44570429/22145000
1559.40/1551.42	c cleaning 210002 clauses out of 420012 with flag 44992823/22356001
1579.29/1571.30	c cleaning 211005 clauses out of 422010 with flag 45417398/22568001
1595.56/1587.69	c cleaning 211993 clauses out of 424005 with flag 45843933/22781001
1613.19/1605.22	c cleaning 213000 clauses out of 426012 with flag 46272475/22995001
1634.24/1626.34	c cleaning 214000 clauses out of 428012 with flag 46702950/23210001
1653.20/1645.35	c cleaning 215000 clauses out of 430011 with flag 47135359/23426000
1672.44/1664.54	c cleaning 216000 clauses out of 432011 with flag 47569926/23643000
1692.80/1684.94	c cleaning 217003 clauses out of 434012 with flag 48006355/23861001
1711.26/1703.38	c cleaning 218001 clauses out of 436009 with flag 48444974/24080001
1729.02/1721.13	c cleaning 218998 clauses out of 438007 with flag 48885450/24300000
1748.37/1740.54	c cleaning 219999 clauses out of 440009 with flag 49327934/24521000
1766.75/1758.81	c cleaning 220999 clauses out of 442010 with flag 49772435/24743000
1785.60/1777.70	c cleaning 222002 clauses out of 444012 with flag 50218926/24966001
1803.97/1796.03	c cleaning 223004 clauses out of 446010 with flag 50667377/25190001
1824.03/1816.18	c cleaning 224000 clauses out of 448005 with flag 51117846/25415000
1842.69/1834.80	c cleaning 225001 clauses out of 450005 with flag 51570275/25641000
1861.01/1853.08	c cleaning 225991 clauses out of 452004 with flag 52024798/25868000
1880.46/1872.54	c cleaning 227001 clauses out of 454014 with flag 52481247/26096001
1899.65/1891.67	c cleaning 228002 clauses out of 456012 with flag 52939831/26325000
1918.11/1910.19	c cleaning 229001 clauses out of 458010 with flag 53400390/26555000
1937.40/1929.34	c cleaning 230001 clauses out of 460011 with flag 53862931/26786002
1958.75/1950.78	c cleaning 231002 clauses out of 462011 with flag 54327546/27018003
1978.91/1971.00	c cleaning 231999 clauses out of 464006 with flag 54794114/27251000
2000.06/1992.05	c cleaning 232998 clauses out of 466008 with flag 55262713/27485001
2024.29/2016.33	c cleaning 233998 clauses out of 468010 with flag 55733508/27720001
2046.35/2038.36	c cleaning 235000 clauses out of 470012 with flag 56206131/27956001
2066.11/2058.18	c cleaning 236006 clauses out of 472012 with flag 56680789/28193001
2087.11/2079.08	c cleaning 237000 clauses out of 474006 with flag 57157533/28431001
2105.86/2097.86	c cleaning 237998 clauses out of 476005 with flag 57636086/28670000
2127.27/2118.59	c cleaning 239000 clauses out of 478009 with flag 58116672/28910002
2148.23/2139.56	c cleaning 240003 clauses out of 480009 with flag 58599240/29151002
2174.07/2165.30	c cleaning 240993 clauses out of 482004 with flag 59083700/29393000
2195.02/2186.34	c cleaning 241997 clauses out of 484011 with flag 59570155/29636000
2216.18/2207.54	c cleaning 242999 clauses out of 486014 with flag 60058616/29880000
2243.05/2234.48	c cleaning 244004 clauses out of 488016 with flag 60549149/30125001
2267.80/2259.23	c cleaning 245005 clauses out of 490012 with flag 61041902/30371001
2292.56/2283.93	c cleaning 246001 clauses out of 492007 with flag 61536358/30618001
2315.00/2306.41	c cleaning 246998 clauses out of 494005 with flag 62032907/30866000
2340.97/2332.37	c cleaning 248001 clauses out of 496008 with flag 62531491/31115001
2368.51/2359.99	c cleaning 249001 clauses out of 498007 with flag 63032037/31365001
2391.11/2382.46	c cleaning 249999 clauses out of 500006 with flag 63534813/31616001
2412.77/2404.14	c cleaning 250998 clauses out of 502007 with flag 64039395/31868001
2436.64/2427.94	c cleaning 251999 clauses out of 504008 with flag 64546078/32121000
2462.99/2454.32	c cleaning 252996 clauses out of 506010 with flag 65054687/32375001
2484.92/2476.12	c cleaning 254002 clauses out of 508014 with flag 65565184/32630001
2509.17/2500.46	c cleaning 255000 clauses out of 510011 with flag 66077720/32886000
2535.35/2526.54	c cleaning 256001 clauses out of 512011 with flag 66592225/33143000
2559.60/2550.86	c cleaning 257003 clauses out of 514010 with flag 67108770/33401000
2586.70/2577.94	c cleaning 258000 clauses out of 516007 with flag 67627466/33660000
2612.05/2603.39	c cleaning 258997 clauses out of 518008 with flag 68147964/33920001
2636.37/2627.60	c cleaning 260006 clauses out of 520012 with flag 68670537/34181002
2661.42/2652.71	c cleaning 260998 clauses out of 522004 with flag 69195303/34443000
2686.86/2678.24	c cleaning 261999 clauses out of 524007 with flag 69721811/34706001
2712.43/2703.85	c cleaning 262999 clauses out of 526008 with flag 70250374/34970001
2737.39/2728.88	c cleaning 264003 clauses out of 528009 with flag 70780897/35235001
2760.67/2752.10	c cleaning 264999 clauses out of 530006 with flag 71313520/35501001
2796.80/2788.30	c cleaning 266001 clauses out of 532008 with flag 71848108/35768002
2826.31/2817.89	c cleaning 266997 clauses out of 534006 with flag 72384890/36036001
2852.06/2843.62	c cleaning 268001 clauses out of 536008 with flag 72923727/36305000
2879.78/2871.38	c cleaning 269001 clauses out of 538009 with flag 73464551/36575002
2909.11/2900.73	c cleaning 269998 clauses out of 540006 with flag 74007355/36846000
2932.73/2924.34	c cleaning 270999 clauses out of 542008 with flag 74552146/37118000
2960.87/2952.50	c cleaning 272000 clauses out of 544010 with flag 75099056/37391001
2989.50/2981.12	c cleaning 272998 clauses out of 546009 with flag 75647813/37665000
3016.64/3008.33	c cleaning 273995 clauses out of 548011 with flag 76198605/37940000
3041.56/3033.28	c cleaning 275004 clauses out of 550016 with flag 76751593/38216000
3068.11/3059.81	c cleaning 276001 clauses out of 552013 with flag 77306597/38493001
3096.96/3088.67	c cleaning 277001 clauses out of 554011 with flag 77863692/38771000
3123.90/3115.62	c cleaning 278002 clauses out of 556011 with flag 78422517/39050001
3152.52/3144.17	c cleaning 279002 clauses out of 558009 with flag 78983261/39330001
3184.62/3176.10	c cleaning 280002 clauses out of 560008 with flag 79546120/39611002
3211.56/3203.16	c cleaning 280992 clauses out of 562004 with flag 80111203/39893000
3239.28/3230.84	c cleaning 282007 clauses out of 564013 with flag 80677912/40176001
3261.62/3253.20	c cleaning 282995 clauses out of 566004 with flag 81300629/40460000
3292.86/3283.51	c cleaning 284000 clauses out of 568009 with flag 81920611/40745000
3344.39/3334.62	c cleaning 284996 clauses out of 570009 with flag 82563726/41031000
3371.20/3360.50	c cleaning 286005 clauses out of 572013 with flag 83146318/41318000
3402.32/3390.56	c cleaning 287003 clauses out of 574009 with flag 83789910/41606002
3430.25/3417.53	c cleaning 287983 clauses out of 576005 with flag 84426866/41895001
3467.90/3454.02	c cleaning 289004 clauses out of 578022 with flag 85032294/42185001
3504.83/3491.15	c cleaning 290008 clauses out of 580024 with flag 85620255/42476007
3537.15/3523.59	c cleaning 290996 clauses out of 582010 with flag 86209483/42768001
3560.65/3547.09	c cleaning 292006 clauses out of 584013 with flag 86797606/43061000
3600.09/3586.51	c starts		: 36102
3600.09/3586.52	c conflicts		: 43355000
3600.09/3586.52	c decisions		: 50083270
3600.09/3586.52	c propagations		: 865648238
3600.09/3586.52	c inspects		: 17630149755
3600.09/3586.52	c shortcuts		: 0
3600.09/3586.52	c learnt literals	: 9
3600.09/3586.52	c learnt binary clauses	: 22
3600.09/3586.52	c learnt ternary clauses	: 16
3600.09/3586.52	c learnt constraints	: 43354991
3600.09/3586.52	c ignored constraints	: 0
3600.09/3586.52	c root simplifications	: 0
3600.09/3586.52	c removed literals (reason simplification)	: 532069906
3600.09/3586.52	c reason swapping (by a shorter reason)	: 0
3600.09/3586.52	c Calls to reduceDB	: 290
3600.09/3586.52	c Number of update (reduction) of LBD	: 174059
3600.09/3586.52	c Imported unit clauses	: 0
3600.09/3586.52	c No decision after first conflict	: false
3600.09/3586.52	c number of reductions to clauses (during analyze)	: 0
3600.09/3586.52	c number of learned constraints concerned by reduction	: 0
3600.09/3586.52	c number of learning phase by resolution	: 0
3600.09/3586.52	c number of learning phase by cutting planes	: 0
3600.09/3586.52	c number of rounding to 1 operations	: 0
3600.09/3586.52	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3586.52	c number of reductions of the coefficients by power 2 	: 0
3600.09/3586.52	c number of right shift for reduction by power 2 	: 0
3600.09/3586.52	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3586.52	c number of ending skipping 	: 0
3600.09/3586.52	c number of internal skipping 	: 0
3600.09/3586.52	c number of derivation steps 	: 0
3600.09/3586.52	c number of skipped derivation steps 	: 0
3600.09/3586.52	c number of remaining unassigned 	: 0
3600.09/3586.52	c number of remaining assigned 	: 0
3600.09/3586.52	c number of falsified literals weakened from reason	: 0
3600.09/3586.52	c number of falsified literals weakened from conflict	: 0
3600.09/3586.52	c time for arithmetic operations	: 0
3600.09/3586.53	c minimum degree of deleted constraints	: null
3600.09/3586.53	c maximum degree of deleted constraints	: null
3600.09/3586.53	c number of deleted constraints	: 0
3600.09/3586.53	c speed (assignments/second)	: 241383.6171115163
3600.09/3586.53	c non guided choices	: 165926
3600.29/3586.61	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 585985
3600.29/3586.61	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 22
3600.29/3586.61	s UNKNOWN
3600.29/3586.61	c Total wall clock time (in seconds): 3586.486

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485834-1751299147/watcher-4485834-1751299147 -o /tmp/evaluation-result-4485834-1751299147/solver-4485834-1751299147 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751292114-40816 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4485834-1751299147.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=41861, runsolver pid=41858

[startup+0.100058 s]*
/proc/loadavg: 4.20 4.21 4.18 7/338 41879
/proc/meminfo: memFree=121054912/131250000 swapFree=33010684/33010684
[pid=41861] ppid=41858 vsize=18930384 memory=57744 CPUtime=0.13 cores=0,2
/proc/41861/stat : 41861 (java) S 41858 41861 40806 0 -1 4194304 6597 0 0 0 11 2 0 0 20 0 18 0 45594918 19384713216 14436 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
/proc/41861/statm: 4732596 14436 5332 1 0 547635 0
[pid=41861/tid=41863] ppid=41858 vsize=18930384 memory=4026531960 CPUtime=0.08 cores=0,2
/proc/41861/task/41863/stat : 41863 (java) R 41858 41861 40806 0 -1 4194368 5107 0 0 0 7 1 0 0 20 0 18 0 45594919 19384713216 14436 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
[pid=41861/tid=41872] ppid=41858 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/41861/task/41872/stat : 41872 (Finalizer) S 41858 41861 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 45594921 19384713216 14436 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
[pid=41861/tid=41879] ppid=41858 vsize=18930384 memory=59585004340264 CPUtime=0 cores=0,2
/proc/41861/task/41879/stat : 41879 (Common-Cleaner) S 41858 41861 40806 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 45594922 19384713216 14436 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57744 KiB

[startup+0.205498 s]*
/proc/loadavg: 4.20 4.21 4.18 6/338 41879
/proc/meminfo: memFree=121039852/131250000 swapFree=33010684/33010684
[pid=41861] ppid=41858 vsize=18930384 memory=73280 CPUtime=0.33 cores=0,2
/proc/41861/stat : 41861 (java) S 41858 41861 40806 0 -1 4194304 7322 0 0 0 31 2 0 0 20 0 18 0 45594918 19384713216 18320 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
/proc/41861/statm: 4732596 18320 5428 1 0 548217 0
[pid=41861/tid=41863] ppid=41858 vsize=18930384 memory=4026663196 CPUtime=0.17 cores=0,2
/proc/41861/task/41863/stat : 41863 (java) R 41858 41861 40806 0 -1 4194368 5273 0 0 0 16 1 0 0 20 0 18 0 45594919 19384713216 18320 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
[pid=41861/tid=41872] ppid=41858 vsize=18930384 memory=19950 CPUtime=0 cores=0,2
/proc/41861/task/41872/stat : 41872 (Finalizer) S 41858 41861 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 45594921 19384713216 18320 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
[pid=41861/tid=41879] ppid=41858 vsize=18930384 memory=58485492679654 CPUtime=0 cores=0,2
/proc/41861/task/41879/stat : 41879 (Common-Cleaner) S 41858 41861 40806 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 45594922 19384713216 18320 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 73280 KiB

[startup+0.305497 s]*
/proc/loadavg: 4.20 4.21 4.18 8/338 41879
/proc/meminfo: memFree=121003556/131250000 swapFree=33010684/33010684
[pid=41861] ppid=41858 vsize=18930384 memory=112152 CPUtime=0.52 cores=0,2
/proc/41861/stat : 41861 (java) S 41858 41861 40806 0 -1 4194304 8922 0 0 0 49 3 0 0 20 0 18 0 45594918 19384713216 28038 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
/proc/41861/statm: 4732596 28038 5428 1 0 549162 0
[pid=41861/tid=41863] ppid=41858 vsize=18930384 memory=-6000919472706317163 CPUtime=0.24 cores=0,2
/proc/41861/task/41863/stat : 41863 (java) R 41858 41861 40806 0 -1 4194368 5296 0 0 0 23 1 0 0 20 0 18 0 45594919 19384713216 28038 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
[pid=41861/tid=41872] ppid=41858 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/41861/task/41872/stat : 41872 (Finalizer) S 41858 41861 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 45594921 19384713216 28038 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
[pid=41861/tid=41879] ppid=41858 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/41861/task/41879/stat : 41879 (Common-Cleaner) S 41858 41861 40806 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 45594922 19384713216 28038 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 112152 KiB

[startup+0.700242 s]
/proc/loadavg: 4.20 4.21 4.18 6/339 41880
/proc/meminfo: memFree=120984212/131250000 swapFree=33010684/33010684
[pid=41861] ppid=41858 vsize=18996948 memory=142452 CPUtime=1.29 cores=0,2
/proc/41861/stat : 41861 (java) S 41858 41861 40806 0 -1 4194304 16666 0 0 0 124 5 0 0 20 0 19 0 45594918 19452874752 35613 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
/proc/41861/statm: 4749237 35613 5460 1 0 553314 0
[pid=41861/tid=41863] ppid=41858 vsize=18996948 memory=13824 CPUtime=0.61 cores=0,2
/proc/41861/task/41863/stat : 41863 (java) R 41858 41861 40806 0 -1 4194368 5414 0 0 0 59 2 0 0 20 0 19 0 45594919 19452874752 35613 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
[pid=41861/tid=41872] ppid=41858 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/41861/task/41872/stat : 41872 (Finalizer) S 41858 41861 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 45594921 19452874752 35613 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
[pid=41861/tid=41879] ppid=41858 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/41861/task/41879/stat : 41879 (Common-Cleaner) S 41858 41861 40806 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 45594922 19452874752 35613 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
[pid=41861/tid=41880] ppid=41858 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/41861/task/41880/stat : 41880 (Timer-0) S 41858 41861 40806 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 45594953 19452874752 35613 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 142452 KiB

[startup+1.50022 s]
/proc/loadavg: 4.20 4.21 4.18 6/339 41880
/proc/meminfo: memFree=120940260/131250000 swapFree=33010684/33010684
[pid=41861] ppid=41858 vsize=19063512 memory=189172 CPUtime=2.59 cores=0,2
/proc/41861/stat : 41861 (java) S 41858 41861 40806 0 -1 4194304 17086 0 0 0 253 6 0 0 20 0 20 0 45594918 19521036288 47293 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
/proc/41861/statm: 4765878 47293 5524 1 0 553661 0
[pid=41861/tid=41863] ppid=41858 vsize=19063512 memory=0 CPUtime=1.36 cores=0,2
/proc/41861/task/41863/stat : 41863 (java) R 41858 41861 40806 0 -1 4194368 5468 0 0 0 134 2 0 0 20 0 20 0 45594919 19521036288 47293 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
[pid=41861/tid=41872] ppid=41858 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/41861/task/41872/stat : 41872 (Finalizer) S 41858 41861 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45594921 19521036288 47293 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
[pid=41861/tid=41879] ppid=41858 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/41861/task/41879/stat : 41879 (Common-Cleaner) S 41858 41861 40806 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 45594922 19521036288 47293 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
[pid=41861/tid=41880] ppid=41858 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/41861/task/41880/stat : 41880 (Timer-0) S 41858 41861 40806 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45594953 19521036288 47293 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
Current children cumulated CPU time: 2.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 189172 KiB

[startup+3.10536 s]
/proc/loadavg: 4.18 4.21 4.18 5/340 41881
/proc/meminfo: memFree=120854844/131250000 swapFree=33010684/33010684
[pid=41861] ppid=41858 vsize=19063512 memory=253764 CPUtime=4.51 cores=0,2
/proc/41861/stat : 41861 (java) S 41858 41861 40806 0 -1 4194304 19519 0 0 0 444 7 0 0 20 0 20 0 45594918 19521036288 63441 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
/proc/41861/statm: 4765878 63441 5556 1 0 554235 0
[pid=41861/tid=41863] ppid=41858 vsize=19063512 memory=10752 CPUtime=2.88 cores=0,2
/proc/41861/task/41863/stat : 41863 (java) R 41858 41861 40806 0 -1 4194368 5807 0 0 0 286 2 0 0 20 0 20 0 45594919 19521036288 63441 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
[pid=41861/tid=41872] ppid=41858 vsize=19063512 memory=-6000919472706317163 CPUtime=0 cores=0,2
/proc/41861/task/41872/stat : 41872 (Finalizer) S 41858 41861 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45594921 19521036288 63441 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
[pid=41861/tid=41879] ppid=41858 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/41861/task/41879/stat : 41879 (Common-Cleaner) S 41858 41861 40806 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 45594922 19521036288 63441 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
[pid=41861/tid=41880] ppid=41858 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/41861/task/41880/stat : 41880 (Timer-0) S 41858 41861 40806 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45594953 19521036288 63441 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
Current children cumulated CPU time: 4.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 253764 KiB

[startup+6.30021 s]
/proc/loadavg: 4.18 4.21 4.18 5/340 41881
/proc/meminfo: memFree=120399556/131250000 swapFree=33010684/33010684
[pid=41861] ppid=41858 vsize=19063512 memory=448972 CPUtime=7.83 cores=0,2
/proc/41861/stat : 41861 (java) S 41858 41861 40806 0 -1 4194304 23068 0 0 0 771 12 0 0 20 0 20 0 45594918 19521036288 112243 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
/proc/41861/statm: 4765878 112243 5556 1 0 696265 0
[pid=41861/tid=41863] ppid=41858 vsize=19063512 memory=0 CPUtime=5.99 cores=0,2
/proc/41861/task/41863/stat : 41863 (java) R 41858 41861 40806 0 -1 4194368 6166 0 0 0 595 4 0 0 20 0 20 0 45594919 19521036288 112243 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
[pid=41861/tid=41872] ppid=41858 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/41861/task/41872/stat : 41872 (Finalizer) S 41858 41861 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45594921 19521036288 112243 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
[pid=41861/tid=41879] ppid=41858 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/41861/task/41879/stat : 41879 (Common-Cleaner) S 41858 41861 40806 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 45594922 19521036288 112243 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
[pid=41861/tid=41880] ppid=41858 vsize=19063512 memory=191564 CPUtime=0 cores=0,2
/proc/41861/task/41880/stat : 41880 (Timer-0) S 41858 41861 40806 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45594953 19521036288 112243 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
Current children cumulated CPU time: 7.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 448972 KiB

[startup+12.7002 s]
/proc/loadavg: 4.16 4.20 4.18 5/340 41881
/proc/meminfo: memFree=120248516/131250000 swapFree=33010684/33010684
[pid=41861] ppid=41858 vsize=19063512 memory=565996 CPUtime=14.31 cores=0,2
/proc/41861/stat : 41861 (java) S 41858 41861 40806 0 -1 4194304 25709 0 0 0 1416 15 0 0 20 0 20 0 45594918 19521036288 141499 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
/proc/41861/statm: 4765878 141499 5556 1 0 696267 0
[pid=41861/tid=41863] ppid=41858 vsize=19063512 memory=191564 CPUtime=12.27 cores=0,2
/proc/41861/task/41863/stat : 41863 (java) R 41858 41861 40806 0 -1 4194368 6858 0 0 0 1223 4 0 0 20 0 20 0 45594919 19521036288 141499 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
[pid=41861/tid=41872] ppid=41858 vsize=19063512 memory=535164 CPUtime=0 cores=0,2
/proc/41861/task/41872/stat : 41872 (Finalizer) S 41858 41861 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45594921 19521036288 141499 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
[pid=41861/tid=41879] ppid=41858 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/41861/task/41879/stat : 41879 (Common-Cleaner) S 41858 41861 40806 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 45594922 19521036288 141499 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
[pid=41861/tid=41880] ppid=41858 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/41861/task/41880/stat : 41880 (Timer-0) S 41858 41861 40806 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45594953 19521036288 141499 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
Current children cumulated CPU time: 14.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 565996 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.19 4.18 6/340 41882
/proc/meminfo: memFree=119519864/131250000 swapFree=33010684/33010684
[pid=41861] ppid=41858 vsize=19063512 memory=1311172 CPUtime=27.35 cores=0,2
/proc/41861/stat : 41861 (java) S 41858 41861 40806 0 -1 4194304 30469 0 0 0 2707 28 0 0 20 0 20 0 45594918 19521036288 327793 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
/proc/41861/statm: 4765878 327793 5556 1 0 829958 0
[pid=41861/tid=41863] ppid=41858 vsize=19063512 memory=-6000919472706317163 CPUtime=24.78 cores=0,2
/proc/41861/task/41863/stat : 41863 (java) R 41858 41861 40806 0 -1 4194368 7752 0 0 0 2466 12 0 0 20 0 20 0 45594919 19521036288 327793 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
[pid=41861/tid=41872] ppid=41858 vsize=19063512 memory=967080 CPUtime=0 cores=0,2
/proc/41861/task/41872/stat : 41872 (Finalizer) S 41858 41861 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45594921 19521036288 327793 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
[pid=41861/tid=41879] ppid=41858 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/41861/task/41879/stat : 41879 (Common-Cleaner) S 41858 41861 40806 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 45594922 19521036288 327793 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
[pid=41861/tid=41880] ppid=41858 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/41861/task/41880/stat : 41880 (Timer-0) S 41858 41861 40806 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45594953 19521036288 327793 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
Current children cumulated CPU time: 27.35 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1311172 KiB

[startup+51.1055 s]
/proc/loadavg: 4.15 4.19 4.18 5/340 41882
/proc/meminfo: memFree=118336000/131250000 swapFree=33010684/33010684
[pid=41861] ppid=41858 vsize=19063512 memory=2486788 CPUtime=52.99 cores=0,2
/proc/41861/stat : 41861 (java) S 41858 41861 40806 0 -1 4194304 33651 0 0 0 5248 51 0 0 20 0 20 0 45594918 19521036288 621697 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
/proc/41861/statm: 4765878 621697 5556 1 0 829965 0
[pid=41861/tid=41863] ppid=41858 vsize=19063512 memory=1731044 CPUtime=50.23 cores=0,2
/proc/41861/task/41863/stat : 41863 (java) R 41858 41861 40806 0 -1 4194368 9847 0 0 0 4991 32 0 0 20 0 20 0 45594919 19521036288 621697 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
[pid=41861/tid=41872] ppid=41858 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/41861/task/41872/stat : 41872 (Finalizer) S 41858 41861 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45594921 19521036288 621697 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0

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

[startup+3282.3 s]
/proc/loadavg: 3.50 3.95 4.03 4/314 42404
/proc/meminfo: memFree=110611544/131250000 swapFree=33010684/33010684
[pid=41861] ppid=41858 vsize=19063512 memory=4742876 CPUtime=3291.66 cores=0,2
/proc/41861/stat : 41861 (java) S 41858 41861 40806 0 -1 4194304 205174 0 0 0 329010 156 0 0 20 0 20 0 45594918 19521036288 1185719 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
/proc/41861/statm: 4765878 1185719 5556 1 0 1200708 0
[pid=41861/tid=41863] ppid=41858 vsize=19063512 memory=4742876 CPUtime=3260.75 cores=0,2
/proc/41861/task/41863/stat : 41863 (java) R 41858 41861 40806 0 -1 4194368 101615 0 0 0 326013 62 0 0 20 0 20 0 45594919 19521036288 1185719 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
[pid=41861/tid=41872] ppid=41858 vsize=19063512 memory=4738672 CPUtime=0 cores=0,2
/proc/41861/task/41872/stat : 41872 (Finalizer) S 41858 41861 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45594921 19521036288 1185719 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
[pid=41861/tid=41879] ppid=41858 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/41861/task/41879/stat : 41879 (Common-Cleaner) S 41858 41861 40806 0 -1 4194368 2034 0 0 0 0 0 0 0 20 0 20 0 45594922 19521036288 1185719 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
[pid=41861/tid=41880] ppid=41858 vsize=19063512 memory=4742876 CPUtime=0 cores=0,2
/proc/41861/task/41880/stat : 41880 (Timer-0) S 41858 41861 40806 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45594953 19521036288 1185719 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
Current children cumulated CPU time: 3291.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4742876 KiB

[startup+3342.3 s]
/proc/loadavg: 3.23 3.79 3.97 4/314 42406
/proc/meminfo: memFree=110610604/131250000 swapFree=33010684/33010684
[pid=41861] ppid=41858 vsize=19063512 memory=4745056 CPUtime=3352.34 cores=0,2
/proc/41861/stat : 41861 (java) S 41858 41861 40806 0 -1 4194304 207606 0 0 0 335077 157 0 0 20 0 20 0 45594918 19521036288 1186264 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
/proc/41861/statm: 4765878 1186264 5556 1 0 1200708 0
[pid=41861/tid=41863] ppid=41858 vsize=19063512 memory=4742876 CPUtime=3319.77 cores=0,2
/proc/41861/task/41863/stat : 41863 (java) R 41858 41861 40806 0 -1 4194368 102853 0 0 0 331915 62 0 0 20 0 20 0 45594919 19521036288 1186264 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
[pid=41861/tid=41872] ppid=41858 vsize=19063512 memory=4742876 CPUtime=0 cores=0,2
/proc/41861/task/41872/stat : 41872 (Finalizer) S 41858 41861 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45594921 19521036288 1186264 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
[pid=41861/tid=41879] ppid=41858 vsize=19063512 memory=4745056 CPUtime=0 cores=0,2
/proc/41861/task/41879/stat : 41879 (Common-Cleaner) S 41858 41861 40806 0 -1 4194368 2035 0 0 0 0 0 0 0 20 0 20 0 45594922 19521036288 1186264 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
[pid=41861/tid=41880] ppid=41858 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/41861/task/41880/stat : 41880 (Timer-0) S 41858 41861 40806 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45594953 19521036288 1186264 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
Current children cumulated CPU time: 3352.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4745056 KiB

[startup+3402.3 s]
/proc/loadavg: 3.26 3.69 3.92 4/314 42408
/proc/meminfo: memFree=110618916/131250000 swapFree=33010684/33010684
[pid=41861] ppid=41858 vsize=19063512 memory=4745312 CPUtime=3414.63 cores=0,2
/proc/41861/stat : 41861 (java) S 41858 41861 40806 0 -1 4194304 215243 0 0 0 341304 159 0 0 20 0 20 0 45594918 19521036288 1186328 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
/proc/41861/statm: 4765878 1186328 5556 1 0 1200808 0
[pid=41861/tid=41863] ppid=41858 vsize=19063512 memory=4745056 CPUtime=3377.75 cores=0,2
/proc/41861/task/41863/stat : 41863 (java) R 41858 41861 40806 0 -1 4194368 105766 0 0 0 337713 62 0 0 20 0 20 0 45594919 19521036288 1186328 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
[pid=41861/tid=41872] ppid=41858 vsize=19063512 memory=4745312 CPUtime=0 cores=0,2
/proc/41861/task/41872/stat : 41872 (Finalizer) S 41858 41861 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45594921 19521036288 1186328 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
[pid=41861/tid=41879] ppid=41858 vsize=19063512 memory=4745312 CPUtime=0 cores=0,2
/proc/41861/task/41879/stat : 41879 (Common-Cleaner) S 41858 41861 40806 0 -1 4194368 2056 0 0 0 0 0 0 0 20 0 20 0 45594922 19521036288 1186328 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
[pid=41861/tid=41880] ppid=41858 vsize=19063512 memory=7968729598578826112 CPUtime=0 cores=0,2
/proc/41861/task/41880/stat : 41880 (Timer-0) S 41858 41861 40806 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45594953 19521036288 1186328 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
Current children cumulated CPU time: 3414.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4745312 KiB

[startup+3462.3 s]
/proc/loadavg: 2.93 3.53 3.85 3/289 42442
/proc/meminfo: memFree=122743828/131250000 swapFree=33010684/33010684
[pid=41861] ppid=41858 vsize=19063512 memory=5160292 CPUtime=3476.17 cores=0,2
/proc/41861/stat : 41861 (java) S 41858 41861 40806 0 -1 4194304 219544 0 0 0 347448 169 0 0 20 0 20 0 45594918 19521036288 1290073 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
/proc/41861/statm: 4765878 1290073 5556 1 0 1317784 0
[pid=41861/tid=41863] ppid=41858 vsize=19063512 memory=4745056 CPUtime=3436.31 cores=0,2
/proc/41861/task/41863/stat : 41863 (java) R 41858 41861 40806 0 -1 4194368 107073 0 0 0 343562 69 0 0 20 0 20 0 45594919 19521036288 1290073 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
[pid=41861/tid=41872] ppid=41858 vsize=19063512 memory=4745312 CPUtime=0 cores=0,2
/proc/41861/task/41872/stat : 41872 (Finalizer) S 41858 41861 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45594921 19521036288 1290073 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
[pid=41861/tid=41879] ppid=41858 vsize=19063512 memory=4138410710156340891 CPUtime=0 cores=0,2
/proc/41861/task/41879/stat : 41879 (Common-Cleaner) S 41858 41861 40806 0 -1 4194368 2077 0 0 0 0 0 0 0 20 0 20 0 45594922 19521036288 1290073 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
[pid=41861/tid=41880] ppid=41858 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/41861/task/41880/stat : 41880 (Timer-0) S 41858 41861 40806 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45594953 19521036288 1290073 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
Current children cumulated CPU time: 3476.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5160292 KiB

[startup+3522.3 s]
/proc/loadavg: 2.46 3.28 3.74 3/289 42444
/proc/meminfo: memFree=122703272/131250000 swapFree=33010684/33010684
[pid=41861] ppid=41858 vsize=19063512 memory=5205348 CPUtime=3535.95 cores=0,2
/proc/41861/stat : 41861 (java) S 41858 41861 40806 0 -1 4194304 221683 0 0 0 353424 171 0 0 20 0 20 0 45594918 19521036288 1301337 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
/proc/41861/statm: 4765878 1301337 5556 1 0 1317784 0
[pid=41861/tid=41863] ppid=41858 vsize=19063512 memory=164 CPUtime=3495.82 cores=0,2
/proc/41861/task/41863/stat : 41863 (java) R 41858 41861 40806 0 -1 4194368 108268 0 0 0 349512 70 0 0 20 0 20 0 45594919 19521036288 1301337 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
[pid=41861/tid=41872] ppid=41858 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/41861/task/41872/stat : 41872 (Finalizer) S 41858 41861 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45594921 19521036288 1301337 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
[pid=41861/tid=41879] ppid=41858 vsize=19063512 memory=13824 CPUtime=0 cores=0,2
/proc/41861/task/41879/stat : 41879 (Common-Cleaner) S 41858 41861 40806 0 -1 4194368 2077 0 0 0 0 0 0 0 20 0 20 0 45594922 19521036288 1301337 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
[pid=41861/tid=41880] ppid=41858 vsize=19063512 memory=5205348 CPUtime=0 cores=0,2
/proc/41861/task/41880/stat : 41880 (Timer-0) S 41858 41861 40806 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45594953 19521036288 1301337 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
Current children cumulated CPU time: 3535.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5205348 KiB

[startup+3582.3 s]
/proc/loadavg: 2.23 3.06 3.64 3/288 42446
/proc/meminfo: memFree=122703312/131250000 swapFree=33010684/33010684
[pid=41861] ppid=41858 vsize=19063512 memory=5205348 CPUtime=3595.9 cores=0,2
/proc/41861/stat : 41861 (java) S 41858 41861 40806 0 -1 4194304 224052 0 0 0 359418 172 0 0 20 0 20 0 45594918 19521036288 1301337 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
/proc/41861/statm: 4765878 1301337 5556 1 0 1317784 0
[pid=41861/tid=41863] ppid=41858 vsize=19063512 memory=13824 CPUtime=3555.6 cores=0,2
/proc/41861/task/41863/stat : 41863 (java) R 41858 41861 40806 0 -1 4194368 109398 0 0 0 355490 70 0 0 20 0 20 0 45594919 19521036288 1301337 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
[pid=41861/tid=41872] ppid=41858 vsize=19063512 memory=21608 CPUtime=0 cores=0,2
/proc/41861/task/41872/stat : 41872 (Finalizer) S 41858 41861 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45594921 19521036288 1301337 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
[pid=41861/tid=41879] ppid=41858 vsize=19063512 memory=5205348 CPUtime=0 cores=0,2
/proc/41861/task/41879/stat : 41879 (Common-Cleaner) S 41858 41861 40806 0 -1 4194368 2126 0 0 0 0 0 0 0 20 0 20 0 45594922 19521036288 1301337 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
[pid=41861/tid=41880] ppid=41858 vsize=19063512 memory=-6000919472706317163 CPUtime=0 cores=0,2
/proc/41861/task/41880/stat : 41880 (Timer-0) S 41858 41861 40806 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45594953 19521036288 1301337 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
Current children cumulated CPU time: 3595.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5205348 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3586.5 s]
/proc/loadavg: 2.21 3.04 3.63 3/288 42446
/proc/meminfo: memFree=122703312/131250000 swapFree=33010684/33010684
[pid=41861] ppid=41858 vsize=19063512 memory=5205348 CPUtime=3600.09 cores=0,2
/proc/41861/stat : 41861 (java) S 41858 41861 40806 0 -1 4194304 224052 0 0 0 359837 172 0 0 20 0 20 0 45594918 19521036288 1301337 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
/proc/41861/statm: 4765878 1301337 5556 1 0 1317784 0
[pid=41861/tid=41863] ppid=41858 vsize=19063512 memory=5205348 CPUtime=3559.79 cores=0,2
/proc/41861/task/41863/stat : 41863 (java) R 41858 41861 40806 0 -1 4194368 109398 0 0 0 355909 70 0 0 20 0 20 0 45594919 19521036288 1301337 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
[pid=41861/tid=41872] ppid=41858 vsize=19063512 memory=5205348 CPUtime=0 cores=0,2
/proc/41861/task/41872/stat : 41872 (Finalizer) S 41858 41861 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45594921 19521036288 1301337 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
[pid=41861/tid=41879] ppid=41858 vsize=19063512 memory=5205348 CPUtime=0 cores=0,2
/proc/41861/task/41879/stat : 41879 (Common-Cleaner) S 41858 41861 40806 0 -1 4194368 2126 0 0 0 0 0 0 0 20 0 20 0 45594922 19521036288 1301337 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
[pid=41861/tid=41880] ppid=41858 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/41861/task/41880/stat : 41880 (Timer-0) S 41858 41861 40806 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45594953 19521036288 1301337 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5205348 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.59 s, system=1.74586 s

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

[startup+3586.6 s]
/proc/loadavg: 2.21 3.04 3.63 3/288 42446
/proc/meminfo: memFree=122703312/131250000 swapFree=33010684/33010684
[pid=41861] ppid=41858 vsize=19263204 memory=5205988 CPUtime=3600.29 cores=0,2
/proc/41861/stat : 41861 (java) S 41858 41861 40806 0 -1 4194304 226264 0 0 0 359857 172 0 0 20 0 21 0 45594918 19725520896 1301497 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
/proc/41861/statm: 4815801 1301497 5556 1 0 1318703 0
[pid=41861/tid=41863] ppid=41858 vsize=19263204 memory=-6000919472706317163 CPUtime=3559.9 cores=0,2
/proc/41861/task/41863/stat : 41863 (java) R 41858 41861 40806 0 -1 4194368 109398 0 0 0 355920 70 0 0 20 0 21 0 45594919 19725520896 1301497 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
[pid=41861/tid=41872] ppid=41858 vsize=19263204 memory=13824 CPUtime=0 cores=0,2
/proc/41861/task/41872/stat : 41872 (Finalizer) S 41858 41861 40806 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 45594921 19725520896 1301497 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
[pid=41861/tid=41879] ppid=41858 vsize=19263204 memory=10752 CPUtime=0 cores=0,2
/proc/41861/task/41879/stat : 41879 (Common-Cleaner) S 41858 41861 40806 0 -1 4194368 2126 0 0 0 0 0 0 0 20 0 21 0 45594922 19725520896 1301497 18446744073709551615 94465562869760 94465562873456 140724898458304 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94465562881272 94465562882064 94465589895168 140724898462081 140724898462182 140724898462182 140724898467784 0
Current children cumulated CPU time: 3600.29 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 5205988 KiB

Child status: 143

Real time (s): 3586.63
CPU time (s): 3600.33
CPU user time (s): 3598.59
CPU system time (s): 1.74586
CPU usage (%): 100.382
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 5205988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.59
system time used= 1.74587
maximum resident set size= 5206116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 226347
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112514
involuntary context switches= 8313


# summary of solver processes directly reported to runsolver:
#   pid: 41861
#   total CPU time (s): 3600.33
#   total CPU user time (s): 3598.59
#   total CPU system time (s): 1.74586

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.31436 second user time and 15.291 second system time

The end

Launcher Data 

Begin job on nodeC013 at 2025-06-30 17:59:07
IDJOB=4485834
IDBENCH=146890
IDSOLVER=3363
FILE ID=nodeC013/4485834-1751299147
RUNJOBID= nodeC013-1751292114-40816
SLURM_JOB_ID= 9594259
Free space on /tmp= 433016 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-grow7.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4485834-1751299147/watcher-4485834-1751299147 -o /tmp/evaluation-result-4485834-1751299147/solver-4485834-1751299147 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751292114-40816 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4485834-1751299147.opb

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

MD5SUM BENCH= f6174806ed62bf92db0e2ac6f71348b5
RANDOM SEED=106932873

nodeC013 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		: 3603.274
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.67
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.867
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.67
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		: 3599.832
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.67
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		: 3598.926
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.67
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.834
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.67
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		: 3599.832
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.67
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		: 3602.575
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.67
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		: 3598.848
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        121076900 kB
MemAvailable:   121099996 kB
Buffers:            3280 kB
Cached:           824680 kB
SwapCached:            0 kB
Active:          8992064 kB
Inactive:         581044 kB
Active(anon):    8758432 kB
Inactive(anon):        0 kB
Active(file):     233632 kB
Inactive(file):   581044 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1348 kB
Writeback:             0 kB
AnonPages:       8748228 kB
Mapped:           118676 kB
Shmem:             13284 kB
KReclaimable:      94916 kB
Slab:             181964 kB
SReclaimable:      94916 kB
SUnreclaim:        87048 kB
KernelStack:        5168 kB
PageTables:        20768 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   15975252 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151448 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   8476672 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:      215764 kB
DirectMap2M:     8992768 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC013 at 2025-06-30 18:58:53