Trace number 4432273

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 Default 2024-07-07? (TO) 3600.2 3604.6

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
market-split/normalized-market-split_5_40_2.opb
MD5SUM52024caa2fcec9d840e113a681eace59
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark40876.6
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables41
Total number of constraints11
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints10
Minimum length of a constraint1
Maximum length of a constraint40
Number of terms in the objective function 1
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 1196
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 3589
Number of bits of the biggest sum of numbers12
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 CUSTOM.v20240707
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		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	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	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
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@5e91993f
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@cac736f 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 No 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-4432273-1721097803.opb
0.13/0.12	c reading problem ... 
0.13/0.12	c  objective function found
0.13/0.13	c ... done. Wall clock time 0.012s.
0.13/0.13	c declared #vars     41
0.13/0.13	c #constraints  11
0.13/0.13	c constraints type 
0.13/0.13	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 10
0.13/0.13	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
0.13/0.13	c 11 constraints processed.
0.13/0.14	c objective function length is 1 literals
0.72/0.41	c cleaning 2501 clauses out of 5001 with flag 10239/5001
0.93/0.57	c cleaning 4251 clauses out of 8502 with flag 22479/11003
1.49/0.80	c cleaning 5625 clauses out of 11249 with flag 36849/18001
1.91/1.02	c cleaning 6812 clauses out of 13625 with flag 53106/26002
2.10/1.18	c cleaning 7905 clauses out of 15812 with flag 71274/35001
2.30/1.39	c cleaning 8954 clauses out of 17907 with flag 91585/45001
2.70/1.61	c cleaning 9976 clauses out of 19952 with flag 114260/56000
2.91/1.88	c cleaning 10987 clauses out of 21976 with flag 138718/68000
3.31/2.21	c cleaning 11995 clauses out of 23989 with flag 165669/81000
3.61/2.53	c cleaning 12998 clauses out of 25996 with flag 194546/95002
3.91/2.83	c cleaning 13994 clauses out of 27996 with flag 225147/110000
4.32/3.26	c cleaning 15002 clauses out of 30003 with flag 258319/126001
4.77/3.63	c cleaning 16000 clauses out of 32001 with flag 293111/143001
5.27/4.10	c cleaning 17001 clauses out of 34002 with flag 329776/161002
5.76/4.60	c cleaning 18002 clauses out of 36004 with flag 368500/180005
6.36/5.20	c cleaning 18998 clauses out of 37998 with flag 409018/200001
6.96/5.80	c cleaning 20000 clauses out of 39999 with flag 451691/221000
7.55/6.48	c cleaning 20999 clauses out of 42000 with flag 496368/243001
8.26/7.15	c cleaning 22000 clauses out of 44003 with flag 543625/266003
9.06/7.92	c cleaning 22999 clauses out of 46000 with flag 593184/290000
9.76/8.67	c cleaning 23999 clauses out of 48002 with flag 644588/315001
10.76/9.60	c cleaning 25002 clauses out of 50004 with flag 698029/341002
11.46/10.39	c cleaning 25996 clauses out of 52000 with flag 753266/368000
12.26/11.11	c cleaning 26997 clauses out of 54004 with flag 810211/396000
12.96/11.85	c cleaning 28004 clauses out of 56007 with flag 868774/425000
13.75/12.60	c cleaning 29000 clauses out of 58003 with flag 929595/455000
14.75/13.67	c cleaning 30002 clauses out of 60003 with flag 992937/486000
15.95/14.86	c cleaning 30999 clauses out of 62001 with flag 1059236/518000
17.36/16.26	c cleaning 32000 clauses out of 64003 with flag 1127139/551001
18.56/17.46	c cleaning 32999 clauses out of 66002 with flag 1197099/585000
19.96/18.82	c cleaning 34002 clauses out of 68006 with flag 1268949/620003
21.46/20.33	c cleaning 35001 clauses out of 70007 with flag 1343316/656006
22.85/21.76	c cleaning 36000 clauses out of 72002 with flag 1420187/693002
24.45/23.32	c cleaning 36996 clauses out of 74001 with flag 1498527/731001
26.04/24.91	c cleaning 38000 clauses out of 76005 with flag 1579341/770001
27.87/26.77	c cleaning 39002 clauses out of 78007 with flag 1662455/810003
29.97/28.87	c cleaning 40000 clauses out of 80005 with flag 1746020/851003
31.97/30.81	c cleaning 41001 clauses out of 82005 with flag 1831934/893003
34.06/32.97	c cleaning 41993 clauses out of 84002 with flag 1919926/936001
36.06/34.90	c cleaning 43003 clauses out of 86008 with flag 2010726/980000
38.16/37.07	c cleaning 43999 clauses out of 88005 with flag 2104064/1025000
40.96/39.83	c cleaning 45002 clauses out of 90008 with flag 2199314/1071002
43.66/42.54	c cleaning 46002 clauses out of 92008 with flag 2296860/1118004
46.45/45.35	c cleaning 46996 clauses out of 94002 with flag 2395850/1166000
49.15/48.05	c cleaning 48002 clauses out of 96010 with flag 2497619/1215004
52.44/51.37	c cleaning 49003 clauses out of 98005 with flag 2600903/1265001
55.24/54.12	c cleaning 50003 clauses out of 100005 with flag 2705799/1316004
58.76/57.61	c cleaning 51000 clauses out of 102001 with flag 2813693/1368003
61.95/60.89	c cleaning 51999 clauses out of 104002 with flag 2922745/1421004
64.55/63.41	c cleaning 52997 clauses out of 105999 with flag 3034294/1475000
67.64/66.52	c cleaning 53999 clauses out of 108002 with flag 3147697/1530000
71.33/70.30	c cleaning 54998 clauses out of 110004 with flag 3263849/1586001
74.86/73.71	c cleaning 56000 clauses out of 112007 with flag 3382458/1643002
77.95/76.80	c cleaning 57000 clauses out of 114007 with flag 3502439/1701002
81.64/80.51	c cleaning 58000 clauses out of 116005 with flag 3625362/1760000
85.65/84.52	c cleaning 59000 clauses out of 118005 with flag 3749469/1820000
89.87/88.72	c cleaning 59999 clauses out of 120006 with flag 3875668/1881001
93.67/92.54	c cleaning 61003 clauses out of 122008 with flag 4003477/1943002
99.16/98.05	c cleaning 61998 clauses out of 124003 with flag 4133975/2006000
104.15/103.09	c cleaning 62999 clauses out of 126006 with flag 4267003/2070001
108.97/107.84	c cleaning 64002 clauses out of 128007 with flag 4401849/2135001
113.16/112.04	c cleaning 65001 clauses out of 130004 with flag 4538503/2201000
117.96/116.88	c cleaning 65999 clauses out of 132005 with flag 4676436/2268002
122.85/121.71	c cleaning 66996 clauses out of 134005 with flag 4817087/2336001
128.33/127.23	c cleaning 68006 clauses out of 136013 with flag 4960069/2405005
132.10/131.01	c cleaning 69000 clauses out of 138002 with flag 5105017/2475000
136.55/135.51	c cleaning 70001 clauses out of 140004 with flag 5252004/2546002
142.90/141.96	c cleaning 70997 clauses out of 142004 with flag 5402361/2618003
149.39/148.40	c cleaning 71996 clauses out of 144005 with flag 5556386/2691001
154.44/153.54	c cleaning 72994 clauses out of 146008 with flag 5711810/2765000
159.89/159.02	c cleaning 74000 clauses out of 148015 with flag 5868541/2840001
165.25/164.48	c cleaning 75006 clauses out of 150017 with flag 6027100/2916003
171.02/170.25	c cleaning 76003 clauses out of 152009 with flag 6186013/2993001
177.38/176.64	c cleaning 76998 clauses out of 154005 with flag 6347991/3071000
184.73/184.08	c cleaning 78002 clauses out of 156008 with flag 6510694/3150001
191.44/190.77	c cleaning 79004 clauses out of 158008 with flag 6676176/3230003
198.53/197.89	c cleaning 80000 clauses out of 160005 with flag 6843918/3311004
205.61/204.98	c cleaning 80994 clauses out of 162002 with flag 7013447/3393001
214.03/213.35	c cleaning 82000 clauses out of 164007 with flag 7185747/3476000
219.42/218.70	c cleaning 83004 clauses out of 166008 with flag 7360586/3560001
225.32/224.63	c cleaning 84001 clauses out of 168004 with flag 7535452/3645001
231.40/230.75	c cleaning 85000 clauses out of 170003 with flag 7712187/3731001
238.61/237.97	c cleaning 85999 clauses out of 172003 with flag 7892957/3818001
245.60/244.98	c cleaning 87000 clauses out of 174005 with flag 8077366/3906002
251.88/251.23	c cleaning 87998 clauses out of 176005 with flag 8261764/3995002
259.27/258.66	c cleaning 89002 clauses out of 178005 with flag 8448422/4085000
267.15/266.54	c cleaning 89996 clauses out of 180003 with flag 8638267/4176000
275.54/274.97	c cleaning 91000 clauses out of 182007 with flag 8829513/4268000
283.82/283.27	c cleaning 92005 clauses out of 184010 with flag 9022741/4361003
291.11/290.55	c cleaning 92996 clauses out of 186004 with flag 9216527/4455002
299.69/299.16	c cleaning 94001 clauses out of 188008 with flag 9411923/4550002
307.71/307.17	c cleaning 95000 clauses out of 190005 with flag 9609973/4646000
317.28/316.77	c cleaning 95996 clauses out of 192006 with flag 9812332/4743001
323.77/323.23	c cleaning 97002 clauses out of 194009 with flag 10012816/4841000
329.56/329.06	c cleaning 97998 clauses out of 196007 with flag 10218587/4940000
336.94/336.48	c cleaning 99001 clauses out of 198011 with flag 10425278/5040002
348.62/348.19	c cleaning 100001 clauses out of 200010 with flag 10634736/5141002
359.18/358.62	c cleaning 101003 clauses out of 202010 with flag 10848005/5243003
368.56/368.02	c cleaning 102001 clauses out of 204006 with flag 11064724/5346002
378.55/378.02	c cleaning 102996 clauses out of 206003 with flag 11280425/5450000
390.52/390.02	c cleaning 104003 clauses out of 208008 with flag 11499505/5555001
401.04/400.54	c cleaning 104997 clauses out of 210004 with flag 11721264/5661000
414.11/413.65	c cleaning 106000 clauses out of 212010 with flag 11944732/5768003
428.39/427.98	c cleaning 107001 clauses out of 214009 with flag 12168823/5876002
441.85/441.45	c cleaning 108001 clauses out of 216006 with flag 12394841/5985000
449.44/449.08	c cleaning 109003 clauses out of 218008 with flag 12622784/6095003
458.91/458.54	c cleaning 110002 clauses out of 220005 with flag 12851715/6206003
471.44/471.05	c cleaning 110999 clauses out of 222000 with flag 13083003/6318000
482.70/482.38	c cleaning 111997 clauses out of 224001 with flag 13318946/6431000
497.77/497.46	c cleaning 112997 clauses out of 226005 with flag 13559220/6545001
511.34/511.03	c cleaning 114004 clauses out of 228009 with flag 13797656/6660002
525.20/524.96	c cleaning 115000 clauses out of 230003 with flag 14040248/6776000
535.04/534.77	c cleaning 116001 clauses out of 232004 with flag 14286138/6893001
545.72/545.42	c cleaning 117002 clauses out of 234006 with flag 14533797/7011004
559.60/559.38	c cleaning 118002 clauses out of 236003 with flag 14785223/7130003
577.17/576.95	c cleaning 118998 clauses out of 237998 with flag 15036899/7250000
588.94/588.76	c cleaning 120001 clauses out of 240001 with flag 15289879/7371001
604.91/604.77	c cleaning 120999 clauses out of 242000 with flag 15546346/7493001
619.68/619.50	c cleaning 121996 clauses out of 244000 with flag 15804126/7616000
633.77/633.52	c cleaning 123002 clauses out of 246007 with flag 16062166/7740003
648.54/648.35	c cleaning 123997 clauses out of 248002 with flag 16319027/7865000
664.00/663.81	c cleaning 124997 clauses out of 250008 with flag 16580719/7991003
678.58/678.45	c cleaning 126001 clauses out of 252010 with flag 16847533/8118002
693.94/693.81	c cleaning 127001 clauses out of 254011 with flag 17112568/8246004
714.01/713.99	c cleaning 127998 clauses out of 256006 with flag 17388724/8375000
730.66/730.63	c cleaning 129006 clauses out of 258011 with flag 17661319/8505003
747.58/747.50	c cleaning 129996 clauses out of 260005 with flag 17939386/8636003
764.05/764.03	c cleaning 131001 clauses out of 262007 with flag 18215666/8768001
778.31/778.34	c cleaning 132001 clauses out of 264008 with flag 18498953/8901003
798.09/798.11	c cleaning 133000 clauses out of 266006 with flag 18782654/9035002
822.83/823.00	c cleaning 134003 clauses out of 268007 with flag 19065138/9170003
843.10/843.24	c cleaning 134999 clauses out of 270001 with flag 19351084/9306000
854.37/854.50	c cleaning 135997 clauses out of 272002 with flag 19636253/9443000
869.77/869.64	c cleaning 136995 clauses out of 274005 with flag 19928732/9581000
882.95/882.87	c cleaning 138003 clauses out of 276010 with flag 20215166/9720000
901.51/901.47	c cleaning 139000 clauses out of 278012 with flag 20505991/9860005
927.96/927.99	c cleaning 140001 clauses out of 280007 with flag 20802553/10001000
950.52/950.54	c cleaning 140995 clauses out of 282006 with flag 21102502/10143000
974.36/974.48	c cleaning 142005 clauses out of 284013 with flag 21399674/10286002
1001.00/1001.18	c cleaning 142998 clauses out of 286006 with flag 21704007/10430000
1019.92/1020.04	c cleaning 144000 clauses out of 288008 with flag 22011539/10575000
1046.27/1046.44	c cleaning 145000 clauses out of 290010 with flag 22317779/10721002
1068.22/1068.49	c cleaning 146003 clauses out of 292008 with flag 22628605/10868000
1091.28/1091.51	c cleaning 146999 clauses out of 294005 with flag 22939456/11016000
1109.05/1109.36	c cleaning 148001 clauses out of 296008 with flag 23257068/11165002
1132.41/1132.74	c cleaning 149004 clauses out of 298009 with flag 23572223/11315004
1158.15/1158.54	c cleaning 150000 clauses out of 300004 with flag 23886920/11466003
1180.48/1180.89	c cleaning 150998 clauses out of 302001 with flag 24203432/11618000
1196.55/1196.98	c cleaning 152000 clauses out of 304005 with flag 24524645/11771002
1210.02/1210.48	c cleaning 152998 clauses out of 306003 with flag 24842939/11925000
1238.17/1238.68	c cleaning 154002 clauses out of 308007 with flag 25164976/12080002
1263.63/1264.13	c cleaning 154999 clauses out of 310003 with flag 25493147/12236000
1288.16/1288.72	c cleaning 156000 clauses out of 312004 with flag 25820462/12393000
1313.11/1313.77	c cleaning 156995 clauses out of 314005 with flag 26147837/12551001
1332.58/1333.26	c cleaning 158002 clauses out of 316009 with flag 26480016/12710000
1359.13/1359.88	c cleaning 159001 clauses out of 318007 with flag 26810878/12870000
1385.58/1386.39	c cleaning 160001 clauses out of 320006 with flag 27156561/13031000
1413.61/1414.47	c cleaning 160996 clauses out of 322005 with flag 27495801/13193000
1438.85/1439.77	c cleaning 162004 clauses out of 324011 with flag 27838151/13356002
1467.87/1468.86	c cleaning 163003 clauses out of 326007 with flag 28183105/13520002
1487.83/1488.80	c cleaning 164001 clauses out of 328002 with flag 28529437/13685000
1523.84/1524.99	c cleaning 164991 clauses out of 330001 with flag 28876214/13851000
1554.06/1555.20	c cleaning 166001 clauses out of 332010 with flag 29228643/14018000
1590.68/1591.90	c cleaning 167000 clauses out of 334010 with flag 29580683/14186001
1619.89/1621.06	c cleaning 168005 clauses out of 336009 with flag 29937629/14355000
1652.22/1653.46	c cleaning 169001 clauses out of 338005 with flag 30297980/14525001
1683.36/1684.65	c cleaning 169994 clauses out of 340003 with flag 30659111/14696000
1713.71/1715.01	c cleaning 171003 clauses out of 342013 with flag 31020503/14868004
1745.74/1747.15	c cleaning 172000 clauses out of 344007 with flag 31385004/15041001
1777.68/1779.13	c cleaning 172999 clauses out of 346008 with flag 31751322/15215002
1810.41/1811.91	c cleaning 174002 clauses out of 348009 with flag 32115964/15390002
1845.34/1846.97	c cleaning 174999 clauses out of 350007 with flag 32486037/15566002
1883.56/1885.26	c cleaning 176002 clauses out of 352006 with flag 32857881/15743000
1909.88/1911.57	c cleaning 176995 clauses out of 354004 with flag 33234563/15921000
1942.63/1944.42	c cleaning 178000 clauses out of 356010 with flag 33613478/16100001
1971.97/1973.80	c cleaning 179002 clauses out of 358011 with flag 33988519/16280002
1998.92/2000.83	c cleaning 180002 clauses out of 360008 with flag 34372188/16461001
2030.37/2032.33	c cleaning 181000 clauses out of 362005 with flag 34754639/16643000
2065.00/2067.06	c cleaning 181999 clauses out of 364005 with flag 35146046/16826000
2094.13/2096.18	c cleaning 183003 clauses out of 366007 with flag 35533073/17010001
2136.32/2138.41	c cleaning 183997 clauses out of 368003 with flag 35922585/17195000
2167.64/2169.88	c cleaning 184996 clauses out of 370006 with flag 36314209/17381000
2216.62/2218.98	c cleaning 185997 clauses out of 372010 with flag 36710517/17568000
2258.82/2261.27	c cleaning 186999 clauses out of 374014 with flag 37108193/17756001
2299.12/2301.63	c cleaning 188002 clauses out of 376014 with flag 37507159/17945000
2344.12/2346.72	c cleaning 189004 clauses out of 378012 with flag 37906979/18135000
2378.54/2381.23	c cleaning 189998 clauses out of 380008 with flag 38309962/18326000
2415.62/2418.37	c cleaning 191002 clauses out of 382010 with flag 38713101/18518000
2451.95/2454.76	c cleaning 192003 clauses out of 384009 with flag 39122018/18711001
2481.39/2484.23	c cleaning 193000 clauses out of 386006 with flag 39536312/18905001
2510.03/2512.91	c cleaning 193999 clauses out of 388005 with flag 39949554/19100000
2538.09/2541.03	c cleaning 195001 clauses out of 390007 with flag 40360427/19296001
2578.81/2581.82	c cleaning 195996 clauses out of 392006 with flag 40778741/19493001
2625.12/2628.24	c cleaning 196998 clauses out of 394010 with flag 41197495/19691001
2663.15/2666.39	c cleaning 198002 clauses out of 396011 with flag 41618590/19890000
2709.87/2713.13	c cleaning 199004 clauses out of 398009 with flag 42036751/20090000
2757.30/2760.58	c cleaning 199999 clauses out of 400006 with flag 42461655/20291001
2802.99/2806.34	c cleaning 200999 clauses out of 402006 with flag 42885510/20493000
2845.98/2849.49	c cleaning 202002 clauses out of 404007 with flag 43315672/20696000
2887.18/2890.77	c cleaning 202999 clauses out of 406007 with flag 43742207/20900002
2921.40/2925.06	c cleaning 203996 clauses out of 408008 with flag 44172617/21105002
2968.08/2971.86	c cleaning 205001 clauses out of 410010 with flag 44605299/21311000
3015.18/3019.04	c cleaning 205999 clauses out of 412009 with flag 45043440/21518000
3059.48/3063.36	c cleaning 207004 clauses out of 414011 with flag 45482707/21726001
3109.87/3113.88	c cleaning 207996 clauses out of 416007 with flag 45923737/21935001
3163.38/3167.41	c cleaning 208997 clauses out of 418010 with flag 46368496/22145000
3206.69/3210.81	c cleaning 210003 clauses out of 420014 with flag 46815560/22356001
3256.30/3260.50	c cleaning 211002 clauses out of 422010 with flag 47260741/22568000
3301.31/3305.65	c cleaning 211999 clauses out of 424010 with flag 47708316/22781002
3337.94/3342.39	c cleaning 213003 clauses out of 426014 with flag 48156910/22995005
3384.96/3389.40	c cleaning 214002 clauses out of 428009 with flag 48615786/23210003
3429.51/3433.69	c cleaning 215001 clauses out of 430005 with flag 49073555/23426001
3480.31/3484.53	c cleaning 215998 clauses out of 432003 with flag 49532731/23643000
3531.11/3535.40	c cleaning 217000 clauses out of 434008 with flag 49990404/23861003
3580.60/3585.05	c cleaning 218000 clauses out of 436008 with flag 50454153/24080003
3600.05/3604.51	c starts		: 6840
3600.05/3604.51	c timeout
3600.05/3604.52	c conflicts		: 24221358
3600.05/3604.52	c decisions		: 24766339
3600.05/3604.52	c propagations		: 154714551
3600.05/3604.52	c inspects		: 43439111428
3600.05/3604.52	c shortcuts		: 0
3600.05/3604.52	c learnt literals	: 0
3600.05/3604.52	c learnt binary clauses	: 0
3600.05/3604.52	c learnt ternary clauses	: 0
3600.05/3604.52	c learnt constraints	: 24221358
3600.05/3604.52	c ignored constraints	: 0
3600.05/3604.52	c root simplifications	: 0
3600.05/3604.52	c removed literals (reason simplification)	: 0
3600.05/3604.52	c reason swapping (by a shorter reason)	: 0
3600.05/3604.52	c Calls to reduceDB	: 215
3600.05/3604.52	c Number of update (reduction) of LBD	: 898466
3600.05/3604.52	c Imported unit clauses	: 0
3600.05/3604.52	c No decision after first conflict	: false
3600.05/3604.52	c number of reductions to clauses (during analyze)	: 0
3600.05/3604.52	c number of learned constraints concerned by reduction	: 0
3600.05/3604.52	c number of learning phase by resolution	: 0
3600.05/3604.52	c number of learning phase by cutting planes	: 0
3600.05/3604.52	c number of rounding to 1 operations	: 0
3600.05/3604.52	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3604.52	c number of reductions of the coefficients by power 2 	: 0
3600.05/3604.52	c number of right shift for reduction by power 2 	: 0
3600.05/3604.52	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3604.52	c number of ending skipping 	: 0
3600.05/3604.52	c number of internal skipping 	: 0
3600.05/3604.53	c number of derivation steps 	: 0
3600.05/3604.53	c number of skipped derivation steps 	: 0
3600.05/3604.53	c number of remaining unassigned 	: 0
3600.05/3604.53	c number of remaining assigned 	: 0
3600.05/3604.53	c number of falsified literals weakened from reason	: 0
3600.05/3604.53	c number of falsified literals weakened from conflict	: 0
3600.05/3604.53	c time for arithmetic operations	: 0
3600.05/3604.53	c minimum degree of deleted constraints	: null
3600.05/3604.53	c maximum degree of deleted constraints	: null
3600.05/3604.53	c number of deleted constraints	: 0
3600.05/3604.53	c speed (assignments/second)	: 42924.06373582349
3600.05/3604.53	c non guided choices	: 18
3600.05/3604.58	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 359363
3600.05/3604.58	s UNKNOWN
3600.05/3604.58	c Total wall clock time (in seconds): 3604.463

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: 63968 MiB (60225 MiB free)
  memory of node 1: 64473 MiB (62673 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432273-1721097803/watcher-4432273-1721097803 -o /tmp/evaluation-result-4432273-1721097803/solver-4432273-1721097803 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721094210-831820 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432273-1721097803.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=833999, runsolver pid=833996
Current StackSize limit: 8192 KiB


[startup+0.100246 s]*
/proc/loadavg: 4.57 4.33 4.20 5/310 834017
/proc/meminfo: memFree=125806028/131524600 swapFree=131071996/131071996
[pid=833999] ppid=833996 vsize=18975048 memory=63404 CPUtime=0.13 cores=5,7
/proc/833999/stat : 833999 (java) S 833996 833999 831807 0 -1 1077936128 7218 0 0 0 12 1 0 0 20 0 18 0 161943765 19430449152 15851 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
/proc/833999/statm: 4743762 15851 5692 1 0 549341 0
[pid=833999/tid=834001] ppid=833996 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/833999/task/834001/stat : 834001 (java) R 833996 833999 831807 0 -1 4194368 5753 0 0 0 7 1 0 0 20 0 18 0 161943765 19430449152 15851 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
[pid=833999/tid=834010] ppid=833996 vsize=18975048 memory=228556276070 CPUtime=0 cores=5,7
/proc/833999/task/834010/stat : 834010 (Finalizer) S 833996 833999 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 161943768 19430449152 15851 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
[pid=833999/tid=834017] ppid=833996 vsize=18975048 memory=16102567654487328 CPUtime=0 cores=5,7
/proc/833999/task/834017/stat : 834017 (Common-Cleaner) S 833996 833999 831807 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 161943768 19430449152 15851 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63404 KiB

[startup+0.206018 s]*
/proc/loadavg: 4.57 4.33 4.20 7/311 834018
/proc/meminfo: memFree=125798996/131524600 swapFree=131071996/131071996
[pid=833999] ppid=833996 vsize=19041612 memory=71052 CPUtime=0.34 cores=5,7
/proc/833999/stat : 833999 (java) S 833996 833999 831807 0 -1 1077936128 9095 0 0 0 32 2 0 0 20 0 19 0 161943765 19498610688 17763 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
/proc/833999/statm: 4760403 17763 5869 1 0 550743 0
[pid=833999/tid=834001] ppid=833996 vsize=19041612 memory=4782652875487838339 CPUtime=0.18 cores=5,7
/proc/833999/task/834001/stat : 834001 (java) R 833996 833999 831807 0 -1 4194368 6005 0 0 0 17 1 0 0 20 0 19 0 161943765 19498610688 17763 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
[pid=833999/tid=834010] ppid=833996 vsize=19041612 memory=1623 CPUtime=0 cores=5,7
/proc/833999/task/834010/stat : 834010 (Finalizer) S 833996 833999 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 161943768 19498610688 17763 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
[pid=833999/tid=834017] ppid=833996 vsize=19041612 memory=14695192770905705 CPUtime=0 cores=5,7
/proc/833999/task/834017/stat : 834017 (Common-Cleaner) S 833996 833999 831807 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 161943768 19498610688 17763 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
[pid=833999/tid=834018] ppid=833996 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/833999/task/834018/stat : 834018 (Timer-0) S 833996 833999 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 161943779 19498610688 17763 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 71052 KiB

[startup+0.312027 s]*
/proc/loadavg: 4.57 4.33 4.20 6/311 834018
/proc/meminfo: memFree=125797652/131524600 swapFree=131071996/131071996
[pid=833999] ppid=833996 vsize=19041612 memory=71924 CPUtime=0.54 cores=5,7
/proc/833999/stat : 833999 (java) S 833996 833999 831807 0 -1 1077936128 9432 0 0 0 52 2 0 0 20 0 19 0 161943765 19498610688 17981 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
/proc/833999/statm: 4760403 17981 5869 1 0 550881 0
[pid=833999/tid=834001] ppid=833996 vsize=19041612 memory=-8742719882033210044 CPUtime=0.28 cores=5,7
/proc/833999/task/834001/stat : 834001 (java) R 833996 833999 831807 0 -1 4194368 6008 0 0 0 27 1 0 0 20 0 19 0 161943765 19498610688 17981 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
[pid=833999/tid=834010] ppid=833996 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/833999/task/834010/stat : 834010 (Finalizer) S 833996 833999 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 161943768 19498610688 17981 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
[pid=833999/tid=834017] ppid=833996 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/833999/task/834017/stat : 834017 (Common-Cleaner) S 833996 833999 831807 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 161943768 19498610688 17981 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
[pid=833999/tid=834018] ppid=833996 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/833999/task/834018/stat : 834018 (Timer-0) S 833996 833999 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 161943779 19498610688 17981 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 71924 KiB

[startup+0.701019 s]
/proc/loadavg: 4.57 4.33 4.20 6/311 834018
/proc/meminfo: memFree=125785436/131524600 swapFree=131071996/131071996
[pid=833999] ppid=833996 vsize=19041612 memory=93476 CPUtime=1.29 cores=5,7
/proc/833999/stat : 833999 (java) S 833996 833999 831807 0 -1 1077936128 14291 0 0 0 126 3 0 0 20 0 19 0 161943765 19498610688 23369 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
/proc/833999/statm: 4760403 23369 5901 1 0 554207 0
[pid=833999/tid=834001] ppid=833996 vsize=19041612 memory=41324 CPUtime=0.66 cores=5,7
/proc/833999/task/834001/stat : 834001 (java) R 833996 833999 831807 0 -1 4194368 6063 0 0 0 65 1 0 0 20 0 19 0 161943765 19498610688 23369 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
[pid=833999/tid=834010] ppid=833996 vsize=19041612 memory=12292 CPUtime=0 cores=5,7
/proc/833999/task/834010/stat : 834010 (Finalizer) S 833996 833999 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 161943768 19498610688 23369 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
[pid=833999/tid=834017] ppid=833996 vsize=19041612 memory=2236 CPUtime=0 cores=5,7
/proc/833999/task/834017/stat : 834017 (Common-Cleaner) S 833996 833999 831807 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 161943768 19498610688 23369 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
[pid=833999/tid=834018] ppid=833996 vsize=19041612 memory=5484 CPUtime=0 cores=5,7
/proc/833999/task/834018/stat : 834018 (Timer-0) S 833996 833999 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 161943779 19498610688 23369 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 93476 KiB

[startup+1.50102 s]
/proc/loadavg: 4.57 4.33 4.20 6/311 834018
/proc/meminfo: memFree=125773384/131524600 swapFree=131071996/131071996
[pid=833999] ppid=833996 vsize=19041612 memory=106572 CPUtime=2.53 cores=5,7
/proc/833999/stat : 833999 (java) S 833996 833999 831807 0 -1 1077936128 18220 0 0 0 249 4 0 0 20 0 19 0 161943765 19498610688 26643 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
/proc/833999/statm: 4760403 26643 5901 1 0 554209 0
[pid=833999/tid=834001] ppid=833996 vsize=19041612 memory=12292 CPUtime=1.46 cores=5,7
/proc/833999/task/834001/stat : 834001 (java) R 833996 833999 831807 0 -1 4194368 6356 0 0 0 145 1 0 0 20 0 19 0 161943765 19498610688 26643 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
[pid=833999/tid=834010] ppid=833996 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/833999/task/834010/stat : 834010 (Finalizer) S 833996 833999 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 161943768 19498610688 26643 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
[pid=833999/tid=834017] ppid=833996 vsize=19041612 memory=2236 CPUtime=0 cores=5,7
/proc/833999/task/834017/stat : 834017 (Common-Cleaner) S 833996 833999 831807 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 161943768 19498610688 26643 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
[pid=833999/tid=834018] ppid=833996 vsize=19041612 memory=5484 CPUtime=0 cores=5,7
/proc/833999/task/834018/stat : 834018 (Timer-0) S 833996 833999 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 161943779 19498610688 26643 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
Current children cumulated CPU time: 2.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 106572 KiB

[startup+3.10563 s]
/proc/loadavg: 4.52 4.32 4.19 6/331 834068
/proc/meminfo: memFree=125715384/131524600 swapFree=131071996/131071996
[pid=833999] ppid=833996 vsize=19041612 memory=129240 CPUtime=4.22 cores=5,7
/proc/833999/stat : 833999 (java) S 833996 833999 831807 0 -1 1077936128 18933 0 0 0 417 5 0 0 20 0 19 0 161943765 19498610688 32310 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
/proc/833999/statm: 4760403 32310 5906 1 0 554212 0
[pid=833999/tid=834001] ppid=833996 vsize=19041612 memory=0 CPUtime=3.06 cores=5,7
/proc/833999/task/834001/stat : 834001 (java) R 833996 833999 831807 0 -1 4194368 6646 0 0 0 304 2 0 0 20 0 19 0 161943765 19498610688 32310 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
[pid=833999/tid=834010] ppid=833996 vsize=19041612 memory=-8742719882033210044 CPUtime=0 cores=5,7
/proc/833999/task/834010/stat : 834010 (Finalizer) S 833996 833999 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 161943768 19498610688 32310 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
[pid=833999/tid=834017] ppid=833996 vsize=19041612 memory=12292 CPUtime=0 cores=5,7
/proc/833999/task/834017/stat : 834017 (Common-Cleaner) S 833996 833999 831807 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 161943768 19498610688 32310 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
[pid=833999/tid=834018] ppid=833996 vsize=19041612 memory=2236 CPUtime=0 cores=5,7
/proc/833999/task/834018/stat : 834018 (Timer-0) S 833996 833999 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 161943779 19498610688 32310 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
Current children cumulated CPU time: 4.22 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 129240 KiB

[startup+6.30023 s]
/proc/loadavg: 4.52 4.32 4.19 5/331 834069
/proc/meminfo: memFree=125566216/131524600 swapFree=131071996/131071996
[pid=833999] ppid=833996 vsize=19041612 memory=160464 CPUtime=7.45 cores=5,7
/proc/833999/stat : 833999 (java) S 833996 833999 831807 0 -1 1077936128 20037 0 0 0 740 5 0 0 20 0 19 0 161943765 19498610688 40116 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
/proc/833999/statm: 4760403 40116 5906 1 0 554212 0
[pid=833999/tid=834001] ppid=833996 vsize=19041612 memory=12292 CPUtime=6.25 cores=5,7
/proc/833999/task/834001/stat : 834001 (java) R 833996 833999 831807 0 -1 4194368 7070 0 0 0 622 3 0 0 20 0 19 0 161943765 19498610688 40116 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
[pid=833999/tid=834010] ppid=833996 vsize=19041612 memory=2236 CPUtime=0 cores=5,7
/proc/833999/task/834010/stat : 834010 (Finalizer) S 833996 833999 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 161943768 19498610688 40116 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
[pid=833999/tid=834017] ppid=833996 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/833999/task/834017/stat : 834017 (Common-Cleaner) S 833996 833999 831807 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 161943768 19498610688 40116 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
[pid=833999/tid=834018] ppid=833996 vsize=19041612 memory=12064 CPUtime=0 cores=5,7
/proc/833999/task/834018/stat : 834018 (Timer-0) S 833996 833999 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 161943779 19498610688 40116 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
Current children cumulated CPU time: 7.45 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 160464 KiB

[startup+12.7002 s]
/proc/loadavg: 4.44 4.31 4.19 5/333 834071
/proc/meminfo: memFree=125471428/131524600 swapFree=131071996/131071996
[pid=833999] ppid=833996 vsize=19108176 memory=181476 CPUtime=13.85 cores=5,7
/proc/833999/stat : 833999 (java) S 833996 833999 831807 0 -1 1077936128 22349 0 0 0 1379 6 0 0 20 0 20 0 161943765 19566772224 45369 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
/proc/833999/statm: 4777044 45369 5954 1 0 554501 0
[pid=833999/tid=834001] ppid=833996 vsize=19108176 memory=181468 CPUtime=12.62 cores=5,7
/proc/833999/task/834001/stat : 834001 (java) R 833996 833999 831807 0 -1 4194368 7631 0 0 0 1259 3 0 0 20 0 20 0 161943765 19566772224 45369 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
[pid=833999/tid=834010] ppid=833996 vsize=19108176 memory=12292 CPUtime=0 cores=5,7
/proc/833999/task/834010/stat : 834010 (Finalizer) S 833996 833999 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161943768 19566772224 45369 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
[pid=833999/tid=834017] ppid=833996 vsize=19108176 memory=-8742719882033210044 CPUtime=0 cores=5,7
/proc/833999/task/834017/stat : 834017 (Common-Cleaner) S 833996 833999 831807 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 20 0 161943768 19566772224 45369 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
[pid=833999/tid=834018] ppid=833996 vsize=19108176 memory=16224 CPUtime=0 cores=5,7
/proc/833999/task/834018/stat : 834018 (Timer-0) S 833996 833999 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161943779 19566772224 45369 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
Current children cumulated CPU time: 13.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 181476 KiB

[startup+25.5003 s]
/proc/loadavg: 4.61 4.35 4.20 5/333 834074
/proc/meminfo: memFree=125275700/131524600 swapFree=131071996/131071996
[pid=833999] ppid=833996 vsize=19108176 memory=189836 CPUtime=26.64 cores=5,7
/proc/833999/stat : 833999 (java) S 833996 833999 831807 0 -1 1077936128 24838 0 0 0 2657 7 0 0 20 0 20 0 161943765 19566772224 47459 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
/proc/833999/statm: 4777044 47459 5954 1 0 554501 0
[pid=833999/tid=834001] ppid=833996 vsize=19108176 memory=189836 CPUtime=25.38 cores=5,7
/proc/833999/task/834001/stat : 834001 (java) R 833996 833999 831807 0 -1 4194368 8611 0 0 0 2535 3 0 0 20 0 20 0 161943765 19566772224 47459 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
[pid=833999/tid=834010] ppid=833996 vsize=19108176 memory=189836 CPUtime=0 cores=5,7
/proc/833999/task/834010/stat : 834010 (Finalizer) S 833996 833999 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161943768 19566772224 47459 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
[pid=833999/tid=834017] ppid=833996 vsize=19108176 memory=12064 CPUtime=0 cores=5,7
/proc/833999/task/834017/stat : 834017 (Common-Cleaner) S 833996 833999 831807 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 20 0 161943768 19566772224 47459 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
[pid=833999/tid=834018] ppid=833996 vsize=19108176 memory=160464 CPUtime=0 cores=5,7
/proc/833999/task/834018/stat : 834018 (Timer-0) S 833996 833999 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161943779 19566772224 47459 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
Current children cumulated CPU time: 26.64 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 189836 KiB

[startup+51.1057 s]
/proc/loadavg: 4.59 4.37 4.22 5/333 834079
/proc/meminfo: memFree=124948332/131524600 swapFree=131071996/131071996
[pid=833999] ppid=833996 vsize=19108176 memory=268084 CPUtime=52.25 cores=5,7
/proc/833999/stat : 833999 (java) S 833996 833999 831807 0 -1 1077936128 28383 0 0 0 5215 10 0 0 20 0 20 0 161943765 19566772224 67021 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
/proc/833999/statm: 4777044 67021 5954 1 0 554501 0

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

/proc/meminfo: memFree=121090080/131524600 swapFree=131071996/131071996
[pid=833999] ppid=833996 vsize=19108176 memory=2094624 CPUtime=3278.05 cores=5,7
/proc/833999/stat : 833999 (java) S 833996 833999 831807 0 -1 1077936128 113299 0 0 0 327682 123 0 0 20 0 20 0 161943765 19566772224 523656 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
/proc/833999/statm: 4777044 523656 5985 1 0 555492 0
[pid=833999/tid=834001] ppid=833996 vsize=19108176 memory=2094624 CPUtime=3271.3 cores=5,7
/proc/833999/task/834001/stat : 834001 (java) R 833996 833999 831807 0 -1 4194368 52625 0 0 0 327114 16 0 0 20 0 20 0 161943765 19566772224 523656 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
[pid=833999/tid=834010] ppid=833996 vsize=19108176 memory=41324 CPUtime=0 cores=5,7
/proc/833999/task/834010/stat : 834010 (Finalizer) S 833996 833999 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161943768 19566772224 523656 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
[pid=833999/tid=834017] ppid=833996 vsize=19108176 memory=2094624 CPUtime=0 cores=5,7
/proc/833999/task/834017/stat : 834017 (Common-Cleaner) S 833996 833999 831807 0 -1 1077936192 4093 0 0 0 0 0 0 0 20 0 20 0 161943768 19566772224 523656 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
[pid=833999/tid=834018] ppid=833996 vsize=19108176 memory=12064 CPUtime=0 cores=5,7
/proc/833999/task/834018/stat : 834018 (Timer-0) S 833996 833999 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161943779 19566772224 523656 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
Current children cumulated CPU time: 3278.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2094624 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/330 835847
/proc/meminfo: memFree=121089840/131524600 swapFree=131071996/131071996
[pid=833999] ppid=833996 vsize=19108176 memory=2094624 CPUtime=3337.94 cores=5,7
/proc/833999/stat : 833999 (java) S 833996 833999 831807 0 -1 1077936128 114138 0 0 0 333670 124 0 0 20 0 20 0 161943765 19566772224 523656 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
/proc/833999/statm: 4777044 523656 5985 1 0 555492 0
[pid=833999/tid=834001] ppid=833996 vsize=19108176 memory=2094624 CPUtime=3331.18 cores=5,7
/proc/833999/task/834001/stat : 834001 (java) R 833996 833999 831807 0 -1 4194368 53239 0 0 0 333101 17 0 0 20 0 20 0 161943765 19566772224 523656 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
[pid=833999/tid=834010] ppid=833996 vsize=19108176 memory=2094624 CPUtime=0 cores=5,7
/proc/833999/task/834010/stat : 834010 (Finalizer) S 833996 833999 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161943768 19566772224 523656 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
[pid=833999/tid=834017] ppid=833996 vsize=19108176 memory=2094624 CPUtime=0 cores=5,7
/proc/833999/task/834017/stat : 834017 (Common-Cleaner) S 833996 833999 831807 0 -1 1077936192 4178 0 0 0 0 0 0 0 20 0 20 0 161943768 19566772224 523656 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
[pid=833999/tid=834018] ppid=833996 vsize=19108176 memory=2094624 CPUtime=0 cores=5,7
/proc/833999/task/834018/stat : 834018 (Timer-0) S 833996 833999 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161943779 19566772224 523656 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
Current children cumulated CPU time: 3337.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2094624 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/330 835857
/proc/meminfo: memFree=121083464/131524600 swapFree=131071996/131071996
[pid=833999] ppid=833996 vsize=19108176 memory=2100796 CPUtime=3398.26 cores=5,7
/proc/833999/stat : 833999 (java) S 833996 833999 831807 0 -1 1077936128 124010 0 0 0 339699 127 0 0 20 0 20 0 161943765 19566772224 525199 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
/proc/833999/statm: 4777044 525199 5985 1 0 555953 0
[pid=833999/tid=834001] ppid=833996 vsize=19108176 memory=2094624 CPUtime=3390.95 cores=5,7
/proc/833999/task/834001/stat : 834001 (java) R 833996 833999 831807 0 -1 4194368 56290 0 0 0 339078 17 0 0 20 0 20 0 161943765 19566772224 525199 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
[pid=833999/tid=834010] ppid=833996 vsize=19108176 memory=2094624 CPUtime=0 cores=5,7
/proc/833999/task/834010/stat : 834010 (Finalizer) S 833996 833999 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161943768 19566772224 525199 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
[pid=833999/tid=834017] ppid=833996 vsize=19108176 memory=5436 CPUtime=0 cores=5,7
/proc/833999/task/834017/stat : 834017 (Common-Cleaner) S 833996 833999 831807 0 -1 1077936192 4262 0 0 0 0 0 0 0 20 0 20 0 161943768 19566772224 525199 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
[pid=833999/tid=834018] ppid=833996 vsize=19108176 memory=2100544 CPUtime=0 cores=5,7
/proc/833999/task/834018/stat : 834018 (Timer-0) S 833996 833999 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161943779 19566772224 525199 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
Current children cumulated CPU time: 3398.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2100796 KiB

[startup+3462.3 s]
/proc/loadavg: 4.28 4.16 4.10 5/332 835873
/proc/meminfo: memFree=121083124/131524600 swapFree=131071996/131071996
[pid=833999] ppid=833996 vsize=19108176 memory=2100796 CPUtime=3458.15 cores=5,7
/proc/833999/stat : 833999 (java) S 833996 833999 831807 0 -1 1077936128 124721 0 0 0 345687 128 0 0 20 0 20 0 161943765 19566772224 525199 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
/proc/833999/statm: 4777044 525199 5985 1 0 555953 0
[pid=833999/tid=834001] ppid=833996 vsize=19108176 memory=2094624 CPUtime=3450.82 cores=5,7
/proc/833999/task/834001/stat : 834001 (java) R 833996 833999 831807 0 -1 4194368 56879 0 0 0 345065 17 0 0 20 0 20 0 161943765 19566772224 525199 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
[pid=833999/tid=834010] ppid=833996 vsize=19108176 memory=2094624 CPUtime=0 cores=5,7
/proc/833999/task/834010/stat : 834010 (Finalizer) S 833996 833999 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161943768 19566772224 525199 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
[pid=833999/tid=834017] ppid=833996 vsize=19108176 memory=12292 CPUtime=0 cores=5,7
/proc/833999/task/834017/stat : 834017 (Common-Cleaner) S 833996 833999 831807 0 -1 1077936192 4284 0 0 0 0 0 0 0 20 0 20 0 161943768 19566772224 525199 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
[pid=833999/tid=834018] ppid=833996 vsize=19108176 memory=32412 CPUtime=0 cores=5,7
/proc/833999/task/834018/stat : 834018 (Timer-0) S 833996 833999 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161943779 19566772224 525199 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
Current children cumulated CPU time: 3458.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2100796 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/333 835884
/proc/meminfo: memFree=121082988/131524600 swapFree=131071996/131071996
[pid=833999] ppid=833996 vsize=19108176 memory=2100796 CPUtime=3518.04 cores=5,7
/proc/833999/stat : 833999 (java) S 833996 833999 831807 0 -1 1077936128 125783 0 0 0 351674 130 0 0 20 0 20 0 161943765 19566772224 525199 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
/proc/833999/statm: 4777044 525199 5985 1 0 555953 0
[pid=833999/tid=834001] ppid=833996 vsize=19108176 memory=2100796 CPUtime=3510.68 cores=5,7
/proc/833999/task/834001/stat : 834001 (java) R 833996 833999 831807 0 -1 4194368 57740 0 0 0 351051 17 0 0 20 0 20 0 161943765 19566772224 525199 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
[pid=833999/tid=834010] ppid=833996 vsize=19108176 memory=2100796 CPUtime=0 cores=5,7
/proc/833999/task/834010/stat : 834010 (Finalizer) S 833996 833999 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161943768 19566772224 525199 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
[pid=833999/tid=834017] ppid=833996 vsize=19108176 memory=2100796 CPUtime=0 cores=5,7
/proc/833999/task/834017/stat : 834017 (Common-Cleaner) S 833996 833999 831807 0 -1 1077936192 4369 0 0 0 0 0 0 0 20 0 20 0 161943768 19566772224 525199 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
[pid=833999/tid=834018] ppid=833996 vsize=19108176 memory=2100796 CPUtime=0 cores=5,7
/proc/833999/task/834018/stat : 834018 (Timer-0) S 833996 833999 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161943779 19566772224 525199 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
Current children cumulated CPU time: 3518.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2100796 KiB

[startup+3582.3 s]
/proc/loadavg: 4.32 4.19 4.12 5/333 836097
/proc/meminfo: memFree=124541412/131524600 swapFree=131071996/131071996
[pid=833999] ppid=833996 vsize=19108176 memory=2100796 CPUtime=3577.9 cores=5,7
/proc/833999/stat : 833999 (java) S 833996 833999 831807 0 -1 1077936128 126863 0 0 0 357658 132 0 0 20 0 20 0 161943765 19566772224 525199 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
/proc/833999/statm: 4777044 525199 5985 1 0 555953 0
[pid=833999/tid=834001] ppid=833996 vsize=19108176 memory=2100796 CPUtime=3570.52 cores=5,7
/proc/833999/task/834001/stat : 834001 (java) R 833996 833999 831807 0 -1 4194368 58584 0 0 0 357035 17 0 0 20 0 20 0 161943765 19566772224 525199 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
[pid=833999/tid=834010] ppid=833996 vsize=19108176 memory=12064 CPUtime=0 cores=5,7
/proc/833999/task/834010/stat : 834010 (Finalizer) S 833996 833999 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161943768 19566772224 525199 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
[pid=833999/tid=834017] ppid=833996 vsize=19108176 memory=4980 CPUtime=0 cores=5,7
/proc/833999/task/834017/stat : 834017 (Common-Cleaner) S 833996 833999 831807 0 -1 1077936192 4481 0 0 0 0 0 0 0 20 0 20 0 161943768 19566772224 525199 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
[pid=833999/tid=834018] ppid=833996 vsize=19108176 memory=12292 CPUtime=0 cores=5,7
/proc/833999/task/834018/stat : 834018 (Timer-0) S 833996 833999 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161943779 19566772224 525199 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
Current children cumulated CPU time: 3577.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2100796 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3604.5 s]
/proc/loadavg: 4.29 4.20 4.12 5/311 836103
/proc/meminfo: memFree=125455256/131524600 swapFree=131071996/131071996
[pid=833999] ppid=833996 vsize=19108176 memory=2100796 CPUtime=3600.05 cores=5,7
/proc/833999/stat : 833999 (java) S 833996 833999 831807 0 -1 1077936128 127617 0 0 0 359873 132 0 0 20 0 20 0 161943765 19566772224 525199 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
/proc/833999/statm: 4777044 525199 5985 1 0 555953 0
[pid=833999/tid=834001] ppid=833996 vsize=19108176 memory=39408 CPUtime=3592.66 cores=5,7
/proc/833999/task/834001/stat : 834001 (java) R 833996 833999 831807 0 -1 4194368 59208 0 0 0 359249 17 0 0 20 0 20 0 161943765 19566772224 525199 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
[pid=833999/tid=834010] ppid=833996 vsize=19108176 memory=2100796 CPUtime=0 cores=5,7
/proc/833999/task/834010/stat : 834010 (Finalizer) S 833996 833999 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161943768 19566772224 525199 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
[pid=833999/tid=834017] ppid=833996 vsize=19108176 memory=2100796 CPUtime=0 cores=5,7
/proc/833999/task/834017/stat : 834017 (Common-Cleaner) S 833996 833999 831807 0 -1 1077936192 4481 0 0 0 0 0 0 0 20 0 20 0 161943768 19566772224 525199 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
[pid=833999/tid=834018] ppid=833996 vsize=19108176 memory=2100796 CPUtime=0 cores=5,7
/proc/833999/task/834018/stat : 834018 (Timer-0) S 833996 833999 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161943779 19566772224 525199 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2100796 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.86 s, system=1.34076 s

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

[startup+3604.5 s]
/proc/loadavg: 4.29 4.20 4.12 5/311 836103
/proc/meminfo: memFree=125455256/131524600 swapFree=131071996/131071996
[pid=833999] ppid=833996 vsize=19108176 memory=2100796 CPUtime=3600.05 cores=5,7
/proc/833999/stat : 833999 (java) S 833996 833999 831807 0 -1 1077936128 127617 0 0 0 359873 132 0 0 20 0 20 0 161943765 19566772224 525199 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
/proc/833999/statm: 4777044 525199 5985 1 0 555953 0
[pid=833999/tid=834001] ppid=833996 vsize=19108176 memory=39408 CPUtime=3592.66 cores=5,7
/proc/833999/task/834001/stat : 834001 (java) R 833996 833999 831807 0 -1 4194368 59208 0 0 0 359249 17 0 0 20 0 20 0 161943765 19566772224 525199 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
[pid=833999/tid=834010] ppid=833996 vsize=19108176 memory=2100796 CPUtime=0 cores=5,7
/proc/833999/task/834010/stat : 834010 (Finalizer) S 833996 833999 831807 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161943768 19566772224 525199 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
[pid=833999/tid=834017] ppid=833996 vsize=19108176 memory=2100796 CPUtime=0 cores=5,7
/proc/833999/task/834017/stat : 834017 (Common-Cleaner) S 833996 833999 831807 0 -1 1077936192 4481 0 0 0 0 0 0 0 20 0 20 0 161943768 19566772224 525199 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
[pid=833999/tid=834018] ppid=833996 vsize=19108176 memory=2100796 CPUtime=0 cores=5,7
/proc/833999/task/834018/stat : 834018 (Timer-0) S 833996 833999 831807 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161943779 19566772224 525199 134679101440 94834854133760 94834854137456 140727630817728 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94834854145272 94834854146064 94834874257408 140727630820359 140727630820449 140727630820449 140727630827464 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2100796 KiB

Child status: 143

Real time (s): 3604.6
CPU time (s): 3600.2
CPU user time (s): 3598.86
CPU system time (s): 1.34076
CPU usage (%): 99.878
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2100796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.86
system time used= 1.34076
maximum resident set size= 2102296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 130960
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 102605
involuntary context switches= 2650


# summary of solver processes directly reported to runsolver:
#   pid: 833999
#   total CPU time (s): 3600.2
#   total CPU user time (s): 3598.86
#   total CPU system time (s): 1.34076

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.54334 second user time and 17.8848 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2024-07-16 04:43:36
IDJOB=4432273
IDBENCH=147576
IDSOLVER=3058
FILE ID=nodeC020/4432273-1721097803
RUNJOBID= nodeC020-1721094210-831820
SLURM_JOB_ID= 7505599
Free space on /tmp= 889968 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-market-split_5_40_2.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432273-1721097803/watcher-4432273-1721097803 -o /tmp/evaluation-result-4432273-1721097803/solver-4432273-1721097803 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721094210-831820 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432273-1721097803.opb

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

MD5SUM BENCH= 52024caa2fcec9d840e113a681eace59
RANDOM SEED=976203774

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3669.647
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.05
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		: 3682.945
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.100
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.05
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		: 3660.344
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.84
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		: 3669.701
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.05
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		: 3653.257
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.329
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.05
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		: 3637.320
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125848412 kB
MemAvailable:   127539832 kB
Buffers:          396592 kB
Cached:          2118072 kB
SwapCached:            0 kB
Active:           743240 kB
Inactive:        4307308 kB
Active(anon):       1584 kB
Inactive(anon):  2572012 kB
Active(file):     741656 kB
Inactive(file):  1735296 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1388 kB
Writeback:             0 kB
AnonPages:       2534904 kB
Mapped:           124132 kB
Shmem:             37720 kB
KReclaimable:     108584 kB
Slab:             215840 kB
SReclaimable:     108584 kB
SUnreclaim:       107256 kB
KernelStack:        4720 kB
PageTables:        14916 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    5961668 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            59584 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2295808 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      189140 kB
DirectMap2M:    15312896 kB
DirectMap1G:    120586240 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC020 at 2024-07-16 05:43:40