Trace number 4452592

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2024 2024-07-07? (TO) 3600.34 3632.54

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/
MIPLIB01/dec/miplib2010/normalized-iis-100-0-cov.0.u.opb
MD5SUMaf9f746f4378befb3a20d04b26ba3b05
Bench CategoryDEC-LIN (decision problem, linear constraints, no 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 benchmark1628.09
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables100
Total number of constraints3832
Number of constraints which are clauses3831
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint6
Maximum length of a constraint100
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 28
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 128
Number of bits of the biggest sum of numbers8
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.10	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.10	c See www.sat4j.org for details.
0.08/0.10	c version CUSTOM.v20240707
0.08/0.11	c java.runtime.name	OpenJDK Runtime Environment
0.08/0.11	c java.vm.name		OpenJDK 64-Bit Server VM
0.08/0.11	c java.vm.version	22.0.1+8-16
0.08/0.11	c java.vm.vendor	Oracle Corporation
0.08/0.11	c sun.arch.data.model	64
0.08/0.11	c java.version		22.0.1
0.08/0.11	c os.name		Linux
0.08/0.11	c os.version		4.18.0-301.1.el8.x86_64
0.08/0.11	c os.arch		amd64
0.08/0.12	c Free memory 		2106806208
0.08/0.12	c Max memory 		16282288128
0.08/0.12	c Total memory 		2113929216
0.08/0.12	c Number of processors 	2
0.08/0.15	--- Begin Solver configuration ---
0.08/0.15	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.08/0.15	Learn all clauses as in MiniSAT
0.08/0.15	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.15	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.15	Expensive reason simplification
0.08/0.15	Glucose 2.1 dynamic restart strategy
0.08/0.15	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.08/0.15	timeout=2147483s
0.08/0.15	DB Simplification allowed=false
0.08/0.15	Listener: none
0.08/0.15	--- End Solver configuration ---
0.08/0.16	c Pseudo Boolean Optimization by upper bound
0.08/0.16	c --- Begin Solver configuration ---
0.08/0.16	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.08/0.16	c Learn all clauses as in MiniSAT
0.08/0.16	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.16	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.16	c Expensive reason simplification
0.08/0.16	c Glucose 2.1 dynamic restart strategy
0.08/0.16	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.08/0.16	c timeout=2147483s
0.08/0.16	c DB Simplification allowed=false
0.08/0.16	c Listener: none
0.08/0.16	c --- End Solver configuration ---
0.08/0.16	c solving HOME/instance-4452592-1721841437.opb
0.08/0.16	c reading problem ... 
0.08/0.16	c using VERIPB proof format
0.08/0.16	c  no objective function found
0.27/0.25	c ... done. Wall clock time 0.087s.
0.27/0.25	c declared #vars     100
0.27/0.25	c #constraints  3832
0.27/0.25	c constraints type 
0.27/0.25	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.27/0.25	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3831
0.27/0.25	c 3832 constraints processed.
1.03/0.64	c cleaning 2497 clauses out of 5002 with flag 10948/5002
1.62/0.93	c cleaning 4249 clauses out of 8503 with flag 25455/11000
2.21/1.21	c cleaning 5626 clauses out of 11254 with flag 41550/18000
2.61/1.43	c cleaning 6813 clauses out of 13628 with flag 59553/26000
3.00/1.65	c cleaning 7906 clauses out of 15815 with flag 80233/35000
3.40/1.87	c cleaning 8948 clauses out of 17909 with flag 102970/45000
3.96/2.12	c cleaning 9981 clauses out of 19961 with flag 127950/56000
4.33/2.40	c cleaning 10987 clauses out of 21980 with flag 155368/68000
4.65/2.73	c cleaning 11998 clauses out of 23995 with flag 185752/81002
4.99/3.06	c cleaning 12995 clauses out of 25995 with flag 217838/95000
5.29/3.39	c cleaning 13992 clauses out of 28000 with flag 251931/110000
5.80/3.81	c cleaning 15000 clauses out of 30008 with flag 288214/126000
6.23/4.27	c cleaning 16001 clauses out of 32009 with flag 326010/143001
6.80/4.78	c cleaning 17001 clauses out of 34007 with flag 366970/161000
7.39/5.34	c cleaning 18001 clauses out of 36007 with flag 410531/180001
7.98/5.95	c cleaning 19002 clauses out of 38005 with flag 456714/200000
8.58/6.53	c cleaning 19999 clauses out of 40003 with flag 504194/221000
9.20/7.13	c cleaning 20999 clauses out of 42004 with flag 553236/243000
9.72/7.69	c cleaning 21999 clauses out of 44005 with flag 604680/266000
10.42/8.39	c cleaning 23003 clauses out of 46007 with flag 659383/290001
11.23/9.12	c cleaning 23998 clauses out of 48003 with flag 716456/315000
12.02/9.90	c cleaning 25001 clauses out of 50005 with flag 775176/341000
12.85/10.70	c cleaning 26004 clauses out of 52008 with flag 835965/368004
13.66/11.53	c cleaning 26993 clauses out of 54000 with flag 898990/396000
14.62/12.46	c cleaning 28000 clauses out of 56007 with flag 963868/425000
15.71/13.59	c cleaning 29004 clauses out of 58007 with flag 1032191/455000
17.11/14.97	c cleaning 29993 clauses out of 60003 with flag 1101824/486000
18.22/16.04	c cleaning 31001 clauses out of 62010 with flag 1173257/518000
19.34/17.15	c cleaning 32002 clauses out of 64009 with flag 1247411/551000
20.54/18.36	c cleaning 33000 clauses out of 66008 with flag 1324243/585001
21.73/19.56	c cleaning 33997 clauses out of 68008 with flag 1401799/620001
22.92/20.78	c cleaning 34998 clauses out of 70010 with flag 1482717/656000
24.33/22.13	c cleaning 36002 clauses out of 72014 with flag 1566213/693002
25.83/23.64	c cleaning 37005 clauses out of 74010 with flag 1651940/731000
27.43/25.22	c cleaning 38000 clauses out of 76007 with flag 1739709/770002
29.04/26.82	c cleaning 39000 clauses out of 78005 with flag 1828935/810000
30.63/28.40	c cleaning 39997 clauses out of 80005 with flag 1921456/851000
32.35/30.11	c cleaning 41003 clauses out of 82009 with flag 2016187/893001
34.00/31.98	c cleaning 42003 clauses out of 84005 with flag 2114125/936000
35.80/33.79	c cleaning 42999 clauses out of 86003 with flag 2212256/980001
37.70/35.68	c cleaning 43997 clauses out of 88004 with flag 2312309/1025001
39.76/37.73	c cleaning 45004 clauses out of 90007 with flag 2415138/1071001
42.04/40.10	c cleaning 46001 clauses out of 92002 with flag 2521551/1118000
44.31/42.33	c cleaning 47000 clauses out of 94004 with flag 2629719/1166003
46.59/44.67	c cleaning 47998 clauses out of 96003 with flag 2738691/1215002
48.98/47.08	c cleaning 48995 clauses out of 98003 with flag 2849809/1265000
51.34/49.40	c cleaning 49998 clauses out of 100008 with flag 2962615/1316000
53.54/51.60	c cleaning 51002 clauses out of 102011 with flag 3079490/1368001
55.82/53.99	c cleaning 51999 clauses out of 104008 with flag 3197598/1421000
58.30/56.43	c cleaning 52999 clauses out of 106010 with flag 3317322/1475001
60.90/59.03	c cleaning 54002 clauses out of 108011 with flag 3439232/1530001
63.47/61.61	c cleaning 55000 clauses out of 110009 with flag 3563614/1586001
66.22/64.53	c cleaning 56001 clauses out of 112008 with flag 3690956/1643000
69.21/67.55	c cleaning 57000 clauses out of 114007 with flag 3822150/1701000
72.11/70.48	c cleaning 58000 clauses out of 116007 with flag 3954018/1760000
75.32/73.63	c cleaning 58997 clauses out of 118007 with flag 4089382/1820000
78.62/76.96	c cleaning 60004 clauses out of 120010 with flag 4226332/1881000
81.92/80.20	c cleaning 61000 clauses out of 122006 with flag 4365153/1943000
85.51/83.88	c cleaning 62000 clauses out of 124006 with flag 4505519/2006000
89.01/87.36	c cleaning 62997 clauses out of 126006 with flag 4651237/2070000
92.53/90.84	c cleaning 64003 clauses out of 128011 with flag 4798868/2135002
96.32/94.73	c cleaning 64997 clauses out of 130006 with flag 4947691/2201000
100.40/98.83	c cleaning 65996 clauses out of 132009 with flag 5099712/2268000
104.31/102.78	c cleaning 67007 clauses out of 134013 with flag 5253229/2336000
108.10/106.53	c cleaning 67999 clauses out of 136007 with flag 5408454/2405001
112.20/110.63	c cleaning 69004 clauses out of 138009 with flag 5565425/2475002
116.79/115.21	c cleaning 70001 clauses out of 140004 with flag 5725992/2546001
122.07/120.57	c cleaning 70999 clauses out of 142003 with flag 5889369/2618001
126.03/124.42	c cleaning 71993 clauses out of 144003 with flag 6052457/2691000
130.42/128.85	c cleaning 72999 clauses out of 146011 with flag 6217163/2765001
134.32/132.77	c cleaning 74004 clauses out of 148011 with flag 6384174/2840000
138.62/137.05	c cleaning 74996 clauses out of 150008 with flag 6553341/2916001
143.20/141.63	c cleaning 76004 clauses out of 152011 with flag 6723366/2993000
148.19/146.61	c cleaning 76994 clauses out of 154007 with flag 6895733/3071000
153.00/151.40	c cleaning 78000 clauses out of 156013 with flag 7071544/3150000
157.87/156.49	c cleaning 79004 clauses out of 158014 with flag 7251334/3230001
162.76/161.33	c cleaning 80006 clauses out of 160011 with flag 7434074/3311002
167.95/166.55	c cleaning 80999 clauses out of 162003 with flag 7619062/3393000
173.96/172.59	c cleaning 82000 clauses out of 164004 with flag 7804560/3476000
179.67/178.27	c cleaning 82995 clauses out of 166004 with flag 7994107/3560000
186.28/185.47	c cleaning 83998 clauses out of 168009 with flag 8186680/3645000
192.49/191.61	c cleaning 85007 clauses out of 170013 with flag 8379640/3731002
198.57/197.74	c cleaning 86002 clauses out of 172005 with flag 8573926/3818001
204.89/204.02	c cleaning 86999 clauses out of 174002 with flag 8769673/3906000
211.66/210.80	c cleaning 87992 clauses out of 176003 with flag 8968860/3995000
219.11/218.43	c cleaning 89001 clauses out of 178011 with flag 9167262/4085000
226.21/225.57	c cleaning 90000 clauses out of 180010 with flag 9367872/4176000
233.63/232.92	c cleaning 91006 clauses out of 182011 with flag 9571581/4268001
240.47/239.70	c cleaning 91991 clauses out of 184004 with flag 9778779/4361000
246.65/245.96	c cleaning 93003 clauses out of 186015 with flag 9988327/4455002
253.42/252.76	c cleaning 94001 clauses out of 188011 with flag 10201016/4550001
259.67/258.96	c cleaning 95000 clauses out of 190011 with flag 10414860/4646002
266.06/265.38	c cleaning 95999 clauses out of 192010 with flag 10629567/4743001
273.10/272.31	c cleaning 96998 clauses out of 194010 with flag 10849395/4841000
280.46/279.72	c cleaning 98004 clauses out of 196012 with flag 11070020/4940000
287.84/287.17	c cleaning 98998 clauses out of 198009 with flag 11294722/5040001
295.79/295.04	c cleaning 100000 clauses out of 200010 with flag 11519739/5141000
303.73/302.99	c cleaning 100998 clauses out of 202010 with flag 11749322/5243000
311.21/310.46	c cleaning 101997 clauses out of 204013 with flag 11981862/5346001
319.18/318.49	c cleaning 103005 clauses out of 206016 with flag 12217342/5450001
328.02/327.25	c cleaning 103994 clauses out of 208010 with flag 12452828/5555000
336.96/336.11	c cleaning 105000 clauses out of 210016 with flag 12691492/5661000
346.16/345.43	c cleaning 106003 clauses out of 212016 with flag 12929827/5768000
355.00/354.29	c cleaning 107002 clauses out of 214014 with flag 13171321/5876001
364.31/363.57	c cleaning 108006 clauses out of 216012 with flag 13413642/5985001
374.88/374.17	c cleaning 108999 clauses out of 218006 with flag 13658520/6095001
384.15/383.47	c cleaning 109997 clauses out of 220008 with flag 13904567/6206002
394.66/393.97	c cleaning 110997 clauses out of 222009 with flag 14155139/6318000
404.62/403.93	c cleaning 112002 clauses out of 224013 with flag 14407119/6431001
415.52/414.81	c cleaning 112996 clauses out of 226010 with flag 14662245/6545000
426.69/426.06	c cleaning 114005 clauses out of 228014 with flag 14921647/6660000
438.44/437.80	c cleaning 114999 clauses out of 230009 with flag 15182271/6776000
449.36/448.77	c cleaning 116003 clauses out of 232010 with flag 15443831/6893000
460.72/460.02	c cleaning 117004 clauses out of 234009 with flag 15710968/7011002
473.12/472.53	c cleaning 118002 clauses out of 236004 with flag 15979769/7130001
485.84/485.25	c cleaning 118995 clauses out of 238002 with flag 16250347/7250001
500.40/499.81	c cleaning 119999 clauses out of 240006 with flag 16522473/7371000
514.17/513.68	c cleaning 120999 clauses out of 242007 with flag 16796551/7493000
525.04/524.56	c cleaning 121999 clauses out of 244009 with flag 17069960/7616001
536.35/535.88	c cleaning 123001 clauses out of 246009 with flag 17346576/7740000
548.47/547.92	c cleaning 123999 clauses out of 248009 with flag 17625885/7865001
559.10/558.64	c cleaning 125002 clauses out of 250010 with flag 17907989/7991001
571.12/570.62	c cleaning 125999 clauses out of 252008 with flag 18194314/8118001
583.02/582.54	c cleaning 126996 clauses out of 254008 with flag 18481432/8246000
594.70/594.22	c cleaning 128000 clauses out of 256013 with flag 18768585/8375001
605.76/605.38	c cleaning 129001 clauses out of 258013 with flag 19059304/8505001
616.31/617.87	c cleaning 130001 clauses out of 260013 with flag 19353290/8636002
628.91/630.48	c cleaning 130998 clauses out of 262010 with flag 19646662/8768000
641.29/642.85	c cleaning 132004 clauses out of 264014 with flag 19940694/8901002
654.65/656.24	c cleaning 132999 clauses out of 266008 with flag 20237914/9035000
668.26/669.89	c cleaning 133999 clauses out of 268009 with flag 20539685/9170000
683.14/684.74	c cleaning 134999 clauses out of 270011 with flag 20843499/9306001
697.58/699.16	c cleaning 136003 clauses out of 272012 with flag 21148031/9443001
711.64/713.30	c cleaning 136996 clauses out of 274008 with flag 21456882/9581000
726.26/727.87	c cleaning 137996 clauses out of 276012 with flag 21765865/9720000
741.53/743.16	c cleaning 139001 clauses out of 278016 with flag 22079595/9860000
754.65/756.22	c cleaning 140000 clauses out of 280015 with flag 22391873/10001000
769.19/770.70	c cleaning 141004 clauses out of 282015 with flag 22709535/10143000
783.89/785.56	c cleaning 142006 clauses out of 284012 with flag 23027367/10286001
800.07/801.88	c cleaning 142999 clauses out of 286005 with flag 23352487/10430000
816.02/817.95	c cleaning 144001 clauses out of 288008 with flag 23677154/10575002
832.08/834.17	c cleaning 144998 clauses out of 290005 with flag 24000623/10721000
847.83/850.07	c cleaning 145998 clauses out of 292007 with flag 24327024/10868000
863.12/865.41	c cleaning 146999 clauses out of 294009 with flag 24652573/11016000
881.19/883.66	c cleaning 147999 clauses out of 296010 with flag 24982150/11165000
898.57/901.06	c cleaning 149000 clauses out of 298011 with flag 25311691/11315000
917.09/919.60	c cleaning 150004 clauses out of 300011 with flag 25641396/11466000
932.86/935.57	c cleaning 150998 clauses out of 302007 with flag 25976974/11618000
950.53/953.27	c cleaning 152001 clauses out of 304010 with flag 26317042/11771001
966.77/969.57	c cleaning 152999 clauses out of 306008 with flag 26658462/11925000
984.67/987.48	c cleaning 154001 clauses out of 308009 with flag 27004383/12080000
1000.92/1003.72	c cleaning 154998 clauses out of 310008 with flag 27351916/12236000
1020.31/1023.28	c cleaning 155998 clauses out of 312010 with flag 27702894/12393000
1039.29/1042.12	c cleaning 157004 clauses out of 314014 with flag 28052193/12551002
1056.17/1059.10	c cleaning 158000 clauses out of 316008 with flag 28406603/12710000
1074.16/1077.10	c cleaning 159000 clauses out of 318011 with flag 28767499/12870003
1091.51/1094.44	c cleaning 160002 clauses out of 320010 with flag 29129451/13031002
1111.01/1114.02	c cleaning 160999 clauses out of 322008 with flag 29495952/13193002
1129.62/1132.64	c cleaning 162000 clauses out of 324008 with flag 29863204/13356001
1149.65/1152.75	c cleaning 162999 clauses out of 326007 with flag 30233010/13520000
1170.34/1173.49	c cleaning 164005 clauses out of 328009 with flag 30604058/13685001
1192.35/1195.43	c cleaning 165001 clauses out of 330004 with flag 30973301/13851001
1211.51/1214.61	c cleaning 165999 clauses out of 332002 with flag 31346963/14018000
1231.91/1235.08	c cleaning 166994 clauses out of 334004 with flag 31721704/14186001
1250.90/1254.05	c cleaning 168005 clauses out of 336009 with flag 32097023/14355000
1272.72/1275.92	c cleaning 168995 clauses out of 338004 with flag 32477103/14525000
1298.71/1302.02	c cleaning 170001 clauses out of 340009 with flag 32861504/14696000
1322.64/1326.07	c cleaning 170996 clauses out of 342009 with flag 33243123/14868001
1343.16/1346.35	c cleaning 172001 clauses out of 344012 with flag 33626426/15041000
1366.31/1369.50	c cleaning 173004 clauses out of 346012 with flag 34014522/15215001
1387.44/1392.59	c cleaning 173996 clauses out of 348008 with flag 34404181/15390001
1410.54/1415.67	c cleaning 175004 clauses out of 350014 with flag 34795403/15566003
1434.77/1439.96	c cleaning 175997 clauses out of 352007 with flag 35191862/15743000
1457.94/1463.11	c cleaning 177005 clauses out of 354010 with flag 35591333/15921000
1483.19/1488.41	c cleaning 177998 clauses out of 356005 with flag 35993177/16100000
1511.37/1517.04	c cleaning 178996 clauses out of 358008 with flag 36397324/16280001
1534.99/1540.67	c cleaning 180003 clauses out of 360011 with flag 36799672/16461000
1556.93/1562.61	c cleaning 180999 clauses out of 362009 with flag 37203757/16643001
1575.85/1581.72	c cleaning 181997 clauses out of 364010 with flag 37608469/16826001
1598.72/1604.76	c cleaning 183003 clauses out of 366012 with flag 38013037/17010000
1622.27/1628.49	c cleaning 184000 clauses out of 368009 with flag 38422786/17195000
1644.69/1651.62	c cleaning 184999 clauses out of 370009 with flag 38829489/17381000
1666.33/1673.33	c cleaning 185998 clauses out of 372011 with flag 39241719/17568001
1690.07/1697.06	c cleaning 186999 clauses out of 374013 with flag 39660576/17756001
1714.40/1721.48	c cleaning 188007 clauses out of 376013 with flag 40083004/17945000
1736.22/1743.49	c cleaning 188994 clauses out of 378008 with flag 40508768/18135002
1760.19/1767.60	c cleaning 190002 clauses out of 380012 with flag 40932345/18326000
1784.93/1792.32	c cleaning 191003 clauses out of 382011 with flag 41357339/18518001
1809.13/1816.60	c cleaning 191994 clauses out of 384007 with flag 41790504/18711000
1833.35/1840.97	c cleaning 193000 clauses out of 386014 with flag 42224695/18905001
1856.89/1864.56	c cleaning 194003 clauses out of 388013 with flag 42656895/19100000
1879.05/1886.72	c cleaning 194996 clauses out of 390010 with flag 43091895/19296000
1905.26/1912.95	c cleaning 196006 clauses out of 392016 with flag 43528714/19493002
1930.78/1938.53	c cleaning 197001 clauses out of 394008 with flag 43970123/19691000
1955.91/1963.65	c cleaning 197997 clauses out of 396007 with flag 44413869/19890000
1982.67/1990.47	c cleaning 198998 clauses out of 398010 with flag 44860520/20090000
2009.41/2017.46	c cleaning 200002 clauses out of 400012 with flag 45305310/20291000
2035.13/2043.35	c cleaning 201000 clauses out of 402010 with flag 45754772/20493000
2061.98/2070.47	c cleaning 202001 clauses out of 404012 with flag 46206183/20696002
2092.34/2101.06	c cleaning 202996 clauses out of 406009 with flag 46659884/20900000
2124.94/2133.93	c cleaning 204005 clauses out of 408014 with flag 47113714/21105001
2154.62/2163.78	c cleaning 204992 clauses out of 410008 with flag 47568503/21311000
2179.75/2188.86	c cleaning 205996 clauses out of 412016 with flag 48019688/21518000
2204.23/2213.33	c cleaning 207008 clauses out of 414020 with flag 48476421/21726000
2229.22/2238.89	c cleaning 207999 clauses out of 416012 with flag 48938728/21935000
2255.43/2265.13	c cleaning 209000 clauses out of 418013 with flag 49402385/22145000
2284.73/2294.42	c cleaning 209997 clauses out of 420015 with flag 49872334/22356002
2313.46/2323.24	c cleaning 211005 clauses out of 422017 with flag 50340936/22568001
2344.08/2353.99	c cleaning 212003 clauses out of 424011 with flag 50808031/22781000
2373.16/2383.12	c cleaning 213003 clauses out of 426009 with flag 51281048/22995001
2401.03/2411.07	c cleaning 213996 clauses out of 428005 with flag 51761781/23210000
2431.36/2441.45	c cleaning 215002 clauses out of 430009 with flag 52244576/23426000
2462.70/2472.80	c cleaning 215998 clauses out of 432008 with flag 52728195/23643001
2494.98/2505.19	c cleaning 216996 clauses out of 434010 with flag 53213636/23861001
2527.65/2537.85	c cleaning 218006 clauses out of 436013 with flag 53695702/24080000
2558.21/2568.26	c cleaning 219002 clauses out of 438009 with flag 54181780/24300002
2589.61/2599.96	c cleaning 219995 clauses out of 440005 with flag 54673356/24521000
2619.62/2630.02	c cleaning 221002 clauses out of 442012 with flag 55163719/24743002
2653.93/2664.94	c cleaning 221999 clauses out of 444008 with flag 55661389/24966000
2683.77/2694.85	c cleaning 222997 clauses out of 446010 with flag 56155877/25190001
2718.43/2729.65	c cleaning 224004 clauses out of 448014 with flag 56650116/25415002
2752.49/2764.07	c cleaning 224996 clauses out of 450008 with flag 57150464/25641000
2787.10/2798.97	c cleaning 226005 clauses out of 452012 with flag 57657721/25868000
2820.48/2832.67	c cleaning 226999 clauses out of 454008 with flag 58168015/26096001
2857.15/2869.48	c cleaning 228002 clauses out of 456008 with flag 58677582/26325000
2895.66/2908.06	c cleaning 229000 clauses out of 458006 with flag 59185626/26555000
2934.05/2946.68	c cleaning 229995 clauses out of 460006 with flag 59697666/26786000
2974.44/2987.27	c cleaning 231003 clauses out of 462013 with flag 60214587/27018002
3010.76/3023.73	c cleaning 232004 clauses out of 464011 with flag 60731367/27251003
3051.67/3064.76	c cleaning 232993 clauses out of 466004 with flag 61251636/27485000
3093.12/3106.24	c cleaning 233999 clauses out of 468011 with flag 61771098/27720000
3138.20/3151.43	c cleaning 235005 clauses out of 470014 with flag 62291926/27956002
3180.32/3193.79	c cleaning 236002 clauses out of 472008 with flag 62815742/28193001
3224.38/3238.08	c cleaning 236999 clauses out of 474006 with flag 63345455/28431001
3269.01/3282.74	c cleaning 237996 clauses out of 476007 with flag 63883089/28670001
3307.44/3321.15	c cleaning 239005 clauses out of 478011 with flag 64427436/28910001
3347.43/3361.20	c cleaning 239997 clauses out of 480006 with flag 64969064/29151001
3384.66/3416.53	c cleaning 241001 clauses out of 482009 with flag 65514892/29393001
3425.93/3457.95	c cleaning 242003 clauses out of 484008 with flag 66055314/29636001
3471.75/3503.88	c cleaning 242999 clauses out of 486004 with flag 66596593/29880000
3514.95/3547.19	c cleaning 243999 clauses out of 488006 with flag 67147122/30125001
3558.79/3591.06	c cleaning 245001 clauses out of 490006 with flag 67703031/30371000
3600.09/3632.42	c starts		: 79
3600.09/3632.42	c conflicts		: 30618000
3600.09/3632.42	c decisions		: 41079421
3600.09/3632.42	c propagations		: 156212764
3600.09/3632.42	c inspects		: 28493556629
3600.09/3632.42	c shortcuts		: 0
3600.09/3632.42	c learnt literals	: 0
3600.09/3632.42	c learnt binary clauses	: 0
3600.09/3632.42	c learnt ternary clauses	: 0
3600.09/3632.42	c learnt constraints	: 30618000
3600.09/3632.42	c ignored constraints	: 0
3600.09/3632.42	c root simplifications	: 0
3600.09/3632.42	c removed literals (reason simplification)	: 81902450
3600.09/3632.42	c reason swapping (by a shorter reason)	: 0
3600.09/3632.42	c Calls to reduceDB	: 243
3600.09/3632.42	c Number of update (reduction) of LBD	: 3044826
3600.09/3632.42	c Imported unit clauses	: 0
3600.09/3632.42	c No decision after first conflict	: false
3600.09/3632.42	c number of reductions to clauses (during analyze)	: 0
3600.09/3632.42	c number of learned constraints concerned by reduction	: 0
3600.09/3632.42	c number of learning phase by resolution	: 0
3600.09/3632.42	c number of learning phase by cutting planes	: 0
3600.09/3632.42	c number of rounding to 1 operations	: 0
3600.09/3632.42	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.09/3632.42	c number of reductions of the coefficients by power 2 	: 0
3600.09/3632.42	c number of right shift for reduction by power 2 	: 0
3600.09/3632.42	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.09/3632.42	c number of ending skipping 	: 0
3600.09/3632.42	c number of internal skipping 	: 0
3600.09/3632.42	c number of derivation steps 	: 0
3600.09/3632.42	c number of skipped derivation steps 	: 0
3600.09/3632.42	c number of remaining unassigned 	: 0
3600.09/3632.42	c number of remaining assigned 	: 0
3600.09/3632.42	c number of falsified literals weakened from reason	: 0
3600.09/3632.42	c number of falsified literals weakened from conflict	: 0
3600.09/3632.42	c time for arithmetic operations	: 0
3600.09/3632.42	c minimum degree of deleted constraints	: null
3600.09/3632.42	c maximum degree of deleted constraints	: null
3600.09/3632.42	c number of deleted constraints	: 0
3600.09/3632.42	c speed (assignments/second)	: 43008.12104282593
3600.09/3632.42	c non guided choices	: 32
3600.30/3632.52	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 492005
3600.30/3632.52	s UNKNOWN
3600.30/3632.52	c Total wall clock time (in seconds): 3632.363

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452592-1721841437/watcher-4452592-1721841437 -o /tmp/evaluation-result-4452592-1721841437/solver-4452592-1721841437 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721841436-199509 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4452592-1721841437 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4452592-1721841437.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100058 s]*
/proc/loadavg: 0.48 0.95 1.31 9/328 199642
/proc/meminfo: memFree=122245652/131524600 swapFree=131054968/131071996
[pid=199558] ppid=199551 vsize=18975048 memory=58484 CPUtime=0.08 cores=4,6
/proc/199558/stat : 199558 (java) S 199551 199558 199498 0 -1 1077936128 6646 0 23 0 6 2 0 0 20 0 18 0 20667040 19430449152 14621 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
/proc/199558/statm: 4743762 14621 5594 1 0 548900 0
[pid=199558/tid=199570] ppid=199551 vsize=18975048 memory=4026531971 CPUtime=0.05 cores=4,6
/proc/199558/task/199570/stat : 199570 (java) R 199551 199558 199498 0 -1 4194368 5571 0 20 0 4 1 0 0 20 0 18 0 20667040 19430449152 14621 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
[pid=199558/tid=199612] ppid=199551 vsize=18975048 memory=1535086 CPUtime=0 cores=4,6
/proc/199558/task/199612/stat : 199612 (Finalizer) S 199551 199558 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20667046 19430449152 14621 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
[pid=199558/tid=199642] ppid=199551 vsize=18975048 memory=13855165887284878 CPUtime=0 cores=4,6
/proc/199558/task/199642/stat : 199642 (Common-Cleaner) S 199551 199558 199498 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 20667047 19430449152 14621 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 58484 KiB

[startup+0.209422 s]*
/proc/loadavg: 0.48 0.95 1.31 13/328 199642
/proc/meminfo: memFree=122155164/131524600 swapFree=131054968/131071996
[pid=199558] ppid=199551 vsize=18975048 memory=70520 CPUtime=0.27 cores=4,6
/proc/199558/stat : 199558 (java) S 199551 199558 199498 0 -1 1077936128 7521 0 23 0 25 2 0 0 20 0 18 0 20667040 19430449152 17630 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
/proc/199558/statm: 4743762 17630 5782 1 0 549592 0
[pid=199558/tid=199570] ppid=199551 vsize=18975048 memory=4782652875487838339 CPUtime=0.16 cores=4,6
/proc/199558/task/199570/stat : 199570 (java) R 199551 199558 199498 0 -1 4194368 5901 0 20 0 14 2 0 0 20 0 18 0 20667040 19430449152 17630 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
[pid=199558/tid=199612] ppid=199551 vsize=18975048 memory=1535086 CPUtime=0 cores=4,6
/proc/199558/task/199612/stat : 199612 (Finalizer) S 199551 199558 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20667046 19430449152 17630 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
[pid=199558/tid=199642] ppid=199551 vsize=18975048 memory=13855165887284878 CPUtime=0 cores=4,6
/proc/199558/task/199642/stat : 199642 (Common-Cleaner) S 199551 199558 199498 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 20667047 19430449152 17630 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 70520 KiB

[startup+0.306251 s]*
/proc/loadavg: 0.48 0.95 1.31 13/331 199645
/proc/meminfo: memFree=122068036/131524600 swapFree=131054968/131071996
[pid=199558] ppid=199551 vsize=19041612 memory=89752 CPUtime=0.46 cores=4,6
/proc/199558/stat : 199558 (java) S 199551 199558 199498 0 -1 1077936128 9191 0 23 0 43 3 0 0 20 0 19 0 20667040 19498610688 22438 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
/proc/199558/statm: 4760403 22438 5814 1 0 550980 0
[pid=199558/tid=199570] ppid=199551 vsize=19041612 memory=-9103575174352773820 CPUtime=0.25 cores=4,6
/proc/199558/task/199570/stat : 199570 (java) R 199551 199558 199498 0 -1 4194368 5981 0 20 0 23 2 0 0 20 0 19 0 20667040 19498610688 22438 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
[pid=199558/tid=199612] ppid=199551 vsize=19041612 memory=1471061275443364185 CPUtime=0 cores=4,6
/proc/199558/task/199612/stat : 199612 (Finalizer) S 199551 199558 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20667046 19498610688 22438 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
[pid=199558/tid=199642] ppid=199551 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/199558/task/199642/stat : 199642 (Common-Cleaner) S 199551 199558 199498 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 20667047 19498610688 22438 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
[pid=199558/tid=199644] ppid=199551 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/199558/task/199644/stat : 199644 (Timer-0) S 199551 199558 199498 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20667065 19498610688 22438 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 89752 KiB

[startup+0.700421 s]
/proc/loadavg: 0.48 0.95 1.31 12/332 199646
/proc/meminfo: memFree=121929304/131524600 swapFree=131054968/131071996
[pid=199558] ppid=199551 vsize=19041612 memory=166680 CPUtime=1.22 cores=4,6
/proc/199558/stat : 199558 (java) S 199551 199558 199498 0 -1 1077936128 11326 0 23 0 118 4 0 0 20 0 19 0 20667040 19498610688 41670 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
/proc/199558/statm: 4760403 41670 5838 1 0 551951 0
[pid=199558/tid=199570] ppid=199551 vsize=19041612 memory=12304 CPUtime=0.62 cores=4,6
/proc/199558/task/199570/stat : 199570 (java) R 199551 199558 199498 0 -1 4194368 6055 0 20 0 58 4 0 0 20 0 19 0 20667040 19498610688 41670 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
[pid=199558/tid=199612] ppid=199551 vsize=19041612 memory=12304 CPUtime=0 cores=4,6
/proc/199558/task/199612/stat : 199612 (Finalizer) S 199551 199558 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20667046 19498610688 41670 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
[pid=199558/tid=199642] ppid=199551 vsize=19041612 memory=139802393447952 CPUtime=0 cores=4,6
/proc/199558/task/199642/stat : 199642 (Common-Cleaner) S 199551 199558 199498 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 20667047 19498610688 41670 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
[pid=199558/tid=199644] ppid=199551 vsize=19041612 memory=25596 CPUtime=0 cores=4,6
/proc/199558/task/199644/stat : 199644 (Timer-0) S 199551 199558 199498 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20667065 19498610688 41670 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 166680 KiB

[startup+1.50343 s]
/proc/loadavg: 1.33 1.12 1.36 12/335 199649
/proc/meminfo: memFree=121735776/131524600 swapFree=131054968/131071996
[pid=199558] ppid=199551 vsize=19108176 memory=183572 CPUtime=2.8 cores=4,6
/proc/199558/stat : 199558 (java) S 199551 199558 199498 0 -1 1077936128 19449 0 23 0 274 6 0 0 20 0 20 0 20667040 19566772224 45893 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
/proc/199558/statm: 4777044 45893 5838 1 0 554705 0
[pid=199558/tid=199570] ppid=199551 vsize=19108176 memory=12304 CPUtime=1.39 cores=4,6
/proc/199558/task/199570/stat : 199570 (java) R 199551 199558 199498 0 -1 4194368 6435 0 20 0 134 5 0 0 20 0 20 0 20667040 19566772224 45893 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
[pid=199558/tid=199612] ppid=199551 vsize=19108176 memory=25596 CPUtime=0 cores=4,6
/proc/199558/task/199612/stat : 199612 (Finalizer) S 199551 199558 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20667046 19566772224 45893 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
[pid=199558/tid=199642] ppid=199551 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/199558/task/199642/stat : 199642 (Common-Cleaner) S 199551 199558 199498 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20667047 19566772224 45893 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
[pid=199558/tid=199644] ppid=199551 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/199558/task/199644/stat : 199644 (Timer-0) S 199551 199558 199498 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20667065 19566772224 45893 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
Current children cumulated CPU time: 2.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 183572 KiB

[startup+3.10642 s]
/proc/loadavg: 1.33 1.12 1.36 10/335 199716
/proc/meminfo: memFree=121432624/131524600 swapFree=131054968/131071996
[pid=199558] ppid=199551 vsize=19108176 memory=374664 CPUtime=5.08 cores=4,6
/proc/199558/stat : 199558 (java) S 199551 199558 199498 0 -1 1077936128 21197 0 23 0 495 13 0 0 20 0 20 0 20667040 19566772224 93666 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
/proc/199558/statm: 4777044 93666 5838 1 0 554707 0
[pid=199558/tid=199570] ppid=199551 vsize=19108176 memory=0 CPUtime=2.94 cores=4,6
/proc/199558/task/199570/stat : 199570 (java) R 199551 199558 199498 0 -1 4194368 6934 0 20 0 283 11 0 0 20 0 20 0 20667040 19566772224 93666 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
[pid=199558/tid=199612] ppid=199551 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/199558/task/199612/stat : 199612 (Finalizer) S 199551 199558 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20667046 19566772224 93666 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
[pid=199558/tid=199642] ppid=199551 vsize=19108176 memory=12304 CPUtime=0 cores=4,6
/proc/199558/task/199642/stat : 199642 (Common-Cleaner) S 199551 199558 199498 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20667047 19566772224 93666 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
[pid=199558/tid=199644] ppid=199551 vsize=19108176 memory=11944 CPUtime=0 cores=4,6
/proc/199558/task/199644/stat : 199644 (Timer-0) S 199551 199558 199498 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20667065 19566772224 93666 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
Current children cumulated CPU time: 5.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 374664 KiB

[startup+6.30027 s]
/proc/loadavg: 1.70 1.20 1.38 7/335 199784
/proc/meminfo: memFree=120598500/131524600 swapFree=131054968/131071996
[pid=199558] ppid=199551 vsize=19108176 memory=1091924 CPUtime=8.38 cores=4,6
/proc/199558/stat : 199558 (java) S 199551 199558 199498 0 -1 1077936128 21981 0 23 0 805 33 0 0 20 0 20 0 20667040 19566772224 272981 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
/proc/199558/statm: 4777044 272981 5838 1 0 554708 0
[pid=199558/tid=199570] ppid=199551 vsize=19108176 memory=0 CPUtime=6.09 cores=4,6
/proc/199558/task/199570/stat : 199570 (java) R 199551 199558 199498 0 -1 4194368 7644 0 20 0 579 30 0 0 20 0 20 0 20667040 19566772224 272981 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
[pid=199558/tid=199612] ppid=199551 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/199558/task/199612/stat : 199612 (Finalizer) S 199551 199558 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20667046 19566772224 272981 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
[pid=199558/tid=199642] ppid=199551 vsize=19108176 memory=279604787210352 CPUtime=0 cores=4,6
/proc/199558/task/199642/stat : 199642 (Common-Cleaner) S 199551 199558 199498 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20667047 19566772224 272981 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
[pid=199558/tid=199644] ppid=199551 vsize=19108176 memory=12304 CPUtime=0 cores=4,6
/proc/199558/task/199644/stat : 199644 (Timer-0) S 199551 199558 199498 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20667065 19566772224 272981 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
Current children cumulated CPU time: 8.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1091924 KiB

[startup+12.7003 s]
/proc/loadavg: 1.89 1.25 1.40 5/336 199787
/proc/meminfo: memFree=119027288/131524600 swapFree=131054968/131071996
[pid=199558] ppid=199551 vsize=19108176 memory=1321496 CPUtime=14.92 cores=4,6
/proc/199558/stat : 199558 (java) S 199551 199558 199498 0 -1 1077936128 27428 0 23 0 1444 48 0 0 20 0 20 0 20667040 19566772224 330374 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
/proc/199558/statm: 4777044 330374 5838 1 0 554708 0
[pid=199558/tid=199570] ppid=199551 vsize=19108176 memory=12304 CPUtime=12.45 cores=4,6
/proc/199558/task/199570/stat : 199570 (java) R 199551 199558 199498 0 -1 4194368 8592 0 20 0 1201 44 0 0 20 0 20 0 20667040 19566772224 330374 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
[pid=199558/tid=199612] ppid=199551 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/199558/task/199612/stat : 199612 (Finalizer) S 199551 199558 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20667046 19566772224 330374 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
[pid=199558/tid=199642] ppid=199551 vsize=19108176 memory=1321304 CPUtime=0 cores=4,6
/proc/199558/task/199642/stat : 199642 (Common-Cleaner) S 199551 199558 199498 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20667047 19566772224 330374 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
[pid=199558/tid=199644] ppid=199551 vsize=19108176 memory=1321476 CPUtime=0 cores=4,6
/proc/199558/task/199644/stat : 199644 (Timer-0) S 199551 199558 199498 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20667065 19566772224 330374 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
Current children cumulated CPU time: 14.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1321496 KiB

[startup+25.5003 s]
/proc/loadavg: 2.21 1.34 1.43 5/312 199885
/proc/meminfo: memFree=117977688/131524600 swapFree=131054968/131071996
[pid=199558] ppid=199551 vsize=19108176 memory=1331772 CPUtime=27.74 cores=4,6
/proc/199558/stat : 199558 (java) S 199551 199558 199498 0 -1 1077936128 30593 0 23 0 2709 65 0 0 20 0 20 0 20667040 19566772224 332943 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
/proc/199558/statm: 4777044 332943 5838 1 0 554708 0
[pid=199558/tid=199570] ppid=199551 vsize=19108176 memory=1325608 CPUtime=25.17 cores=4,6
/proc/199558/task/199570/stat : 199570 (java) R 199551 199558 199498 0 -1 4194368 10094 0 20 0 2456 61 0 0 20 0 20 0 20667040 19566772224 332943 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
[pid=199558/tid=199612] ppid=199551 vsize=19108176 memory=11944 CPUtime=0 cores=4,6
/proc/199558/task/199612/stat : 199612 (Finalizer) S 199551 199558 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20667046 19566772224 332943 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
[pid=199558/tid=199642] ppid=199551 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/199558/task/199642/stat : 199642 (Common-Cleaner) S 199551 199558 199498 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 20667047 19566772224 332943 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
[pid=199558/tid=199644] ppid=199551 vsize=19108176 memory=12304 CPUtime=0 cores=4,6
/proc/199558/task/199644/stat : 199644 (Timer-0) S 199551 199558 199498 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20667065 19566772224 332943 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
Current children cumulated CPU time: 27.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1331772 KiB

[startup+51.1064 s]
/proc/loadavg: 3.14 1.65 1.53 5/336 199929
/proc/meminfo: memFree=115009352/131524600 swapFree=131054968/131071996
[pid=199558] ppid=199551 vsize=19108176 memory=1335916 CPUtime=53.06 cores=4,6
/proc/199558/stat : 199558 (java) S 199551 199558 199498 0 -1 1077936128 38028 0 23 0 5208 98 0 0 20 0 20 0 20667040 19566772224 333979 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
/proc/199558/statm: 4777044 333979 5838 1 0 554708 0
[pid=199558/tid=199570] ppid=199551 vsize=19108176 memory=11944 CPUtime=50.29 cores=4,6
/proc/199558/task/199570/stat : 199570 (java) R 199551 199558 199498 0 -1 4194368 12038 0 20 0 4935 94 0 0 20 0 20 0 20667040 19566772224 333979 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 18 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0

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

[startup+3282.3 s]
/proc/loadavg: 4.27 4.28 4.19 5/337 202287
/proc/meminfo: memFree=59970164/131524600 swapFree=131054968/131071996
[pid=199558] ppid=199551 vsize=19108176 memory=2177072 CPUtime=3268.61 cores=4,6
/proc/199558/stat : 199558 (java) S 199551 199558 199498 0 -1 1077936128 165178 0 23 0 325099 1762 0 0 20 0 20 0 20667040 19566772224 544268 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
/proc/199558/statm: 4777044 544268 5870 1 0 556286 0
[pid=199558/tid=199570] ppid=199551 vsize=19108176 memory=2177072 CPUtime=3245.13 cores=4,6
/proc/199558/task/199570/stat : 199570 (java) R 199551 199558 199498 0 -1 4194368 77618 0 20 0 322865 1648 0 0 20 0 20 0 20667040 19566772224 544268 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1231 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
[pid=199558/tid=199612] ppid=199551 vsize=19108176 memory=2177072 CPUtime=0 cores=4,6
/proc/199558/task/199612/stat : 199612 (Finalizer) S 199551 199558 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20667046 19566772224 544268 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
[pid=199558/tid=199642] ppid=199551 vsize=19108176 memory=68244 CPUtime=0 cores=4,6
/proc/199558/task/199642/stat : 199642 (Common-Cleaner) S 199551 199558 199498 0 -1 1077936192 3285 0 0 0 0 0 0 0 20 0 20 0 20667047 19566772224 544268 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
[pid=199558/tid=199644] ppid=199551 vsize=19108176 memory=5432 CPUtime=0 cores=4,6
/proc/199558/task/199644/stat : 199644 (Timer-0) S 199551 199558 199498 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20667065 19566772224 544268 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
Current children cumulated CPU time: 3268.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2177072 KiB

[startup+3342.3 s]
/proc/loadavg: 4.24 4.26 4.19 6/337 202299
/proc/meminfo: memFree=59132980/131524600 swapFree=131054968/131071996
[pid=199558] ppid=199551 vsize=19108176 memory=2177072 CPUtime=3328.6 cores=4,6
/proc/199558/stat : 199558 (java) S 199551 199558 199498 0 -1 1077936128 167212 0 23 0 331073 1787 0 0 20 0 20 0 20667040 19566772224 544268 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
/proc/199558/statm: 4777044 544268 5870 1 0 556286 0
[pid=199558/tid=199570] ppid=199551 vsize=19108176 memory=2177072 CPUtime=3304.65 cores=4,6
/proc/199558/task/199570/stat : 199570 (java) R 199551 199558 199498 0 -1 4194368 78796 0 20 0 328794 1671 0 0 20 0 20 0 20667040 19566772224 544268 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1238 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
[pid=199558/tid=199612] ppid=199551 vsize=19108176 memory=68244 CPUtime=0 cores=4,6
/proc/199558/task/199612/stat : 199612 (Finalizer) S 199551 199558 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20667046 19566772224 544268 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
[pid=199558/tid=199642] ppid=199551 vsize=19108176 memory=2177072 CPUtime=0 cores=4,6
/proc/199558/task/199642/stat : 199642 (Common-Cleaner) S 199551 199558 199498 0 -1 1077936192 3368 0 0 0 0 0 0 0 20 0 20 0 20667047 19566772224 544268 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
[pid=199558/tid=199644] ppid=199551 vsize=19108176 memory=2177072 CPUtime=0 cores=4,6
/proc/199558/task/199644/stat : 199644 (Timer-0) S 199551 199558 199498 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20667065 19566772224 544268 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
Current children cumulated CPU time: 3328.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2177072 KiB

[startup+3402.3 s]
/proc/loadavg: 4.29 4.27 4.19 1/337 202309
/proc/meminfo: memFree=58443544/131524600 swapFree=131054968/131071996
[pid=199558] ppid=199551 vsize=19108176 memory=2177080 CPUtime=3376.05 cores=4,6
/proc/199558/stat : 199558 (java) S 199551 199558 199498 0 -1 1077936128 168742 0 23 0 335801 1804 0 0 20 0 20 0 20667040 19566772224 544270 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
/proc/199558/statm: 4777044 544270 5870 1 0 556286 0
[pid=199558/tid=199570] ppid=199551 vsize=19108176 memory=2177072 CPUtime=3352.01 cores=4,6
/proc/199558/task/199570/stat : 199570 (java) D 199551 199558 199498 0 -1 4194368 79696 0 20 0 333515 1686 0 0 20 0 20 0 20667040 19566772224 544270 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1241 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
[pid=199558/tid=199612] ppid=199551 vsize=19108176 memory=2177072 CPUtime=0 cores=4,6
/proc/199558/task/199612/stat : 199612 (Finalizer) S 199551 199558 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20667046 19566772224 544270 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
[pid=199558/tid=199642] ppid=199551 vsize=19108176 memory=2177080 CPUtime=0 cores=4,6
/proc/199558/task/199642/stat : 199642 (Common-Cleaner) S 199551 199558 199498 0 -1 1077936192 3486 0 0 0 0 0 0 0 20 0 20 0 20667047 19566772224 544270 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
[pid=199558/tid=199644] ppid=199551 vsize=19108176 memory=2177080 CPUtime=0 cores=4,6
/proc/199558/task/199644/stat : 199644 (Timer-0) S 199551 199558 199498 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20667065 19566772224 544270 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
Current children cumulated CPU time: 3376.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2177080 KiB

[startup+3462.3 s]
/proc/loadavg: 4.42 4.32 4.21 5/337 202322
/proc/meminfo: memFree=57774776/131524600 swapFree=131054968/131071996
[pid=199558] ppid=199551 vsize=19108176 memory=2177088 CPUtime=3430.32 cores=4,6
/proc/199558/stat : 199558 (java) S 199551 199558 199498 0 -1 1077936128 170501 0 23 0 341207 1825 0 0 20 0 20 0 20667040 19566772224 544272 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
/proc/199558/statm: 4777044 544272 5870 1 0 556286 0
[pid=199558/tid=199570] ppid=199551 vsize=19108176 memory=2177072 CPUtime=3406.02 cores=4,6
/proc/199558/task/199570/stat : 199570 (java) R 199551 199558 199498 0 -1 4194368 80709 0 20 0 338896 1706 0 0 20 0 20 0 20667040 19566772224 544272 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3051 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
[pid=199558/tid=199612] ppid=199551 vsize=19108176 memory=12304 CPUtime=0 cores=4,6
/proc/199558/task/199612/stat : 199612 (Finalizer) S 199551 199558 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20667046 19566772224 544272 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
[pid=199558/tid=199642] ppid=199551 vsize=19108176 memory=12304 CPUtime=0 cores=4,6
/proc/199558/task/199642/stat : 199642 (Common-Cleaner) S 199551 199558 199498 0 -1 1077936192 3571 0 0 0 0 0 0 0 20 0 20 0 20667047 19566772224 544272 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
[pid=199558/tid=199644] ppid=199551 vsize=19108176 memory=2177088 CPUtime=0 cores=4,6
/proc/199558/task/199644/stat : 199644 (Timer-0) S 199551 199558 199498 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20667065 19566772224 544272 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
Current children cumulated CPU time: 3430.32 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2177088 KiB

[startup+3522.3 s]
/proc/loadavg: 4.26 4.29 4.21 5/335 202333
/proc/meminfo: memFree=57015976/131524600 swapFree=131054968/131071996
[pid=199558] ppid=199551 vsize=19108176 memory=2177088 CPUtime=3490.23 cores=4,6
/proc/199558/stat : 199558 (java) S 199551 199558 199498 0 -1 1077936128 172344 0 23 0 347173 1850 0 0 20 0 20 0 20667040 19566772224 544272 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
/proc/199558/statm: 4777044 544272 5870 1 0 556286 0
[pid=199558/tid=199570] ppid=199551 vsize=19108176 memory=2177088 CPUtime=3465.66 cores=4,6
/proc/199558/task/199570/stat : 199570 (java) R 199551 199558 199498 0 -1 4194368 81773 0 20 0 344837 1729 0 0 20 0 20 0 20667040 19566772224 544272 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3057 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
[pid=199558/tid=199612] ppid=199551 vsize=19108176 memory=11944 CPUtime=0 cores=4,6
/proc/199558/task/199612/stat : 199612 (Finalizer) S 199551 199558 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20667046 19566772224 544272 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
[pid=199558/tid=199642] ppid=199551 vsize=19108176 memory=2177088 CPUtime=0 cores=4,6
/proc/199558/task/199642/stat : 199642 (Common-Cleaner) S 199551 199558 199498 0 -1 1077936192 3669 0 0 0 0 0 0 0 20 0 20 0 20667047 19566772224 544272 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
[pid=199558/tid=199644] ppid=199551 vsize=19108176 memory=2177088 CPUtime=0 cores=4,6
/proc/199558/task/199644/stat : 199644 (Timer-0) S 199551 199558 199498 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20667065 19566772224 544272 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
Current children cumulated CPU time: 3490.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2177088 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.25 4.20 5/334 202344
/proc/meminfo: memFree=56165808/131524600 swapFree=131054968/131071996
[pid=199558] ppid=199551 vsize=19108176 memory=2177088 CPUtime=3550.1 cores=4,6
/proc/199558/stat : 199558 (java) S 199551 199558 199498 0 -1 1077936128 174241 0 23 0 353140 1870 0 0 20 0 20 0 20667040 19566772224 544272 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
/proc/199558/statm: 4777044 544272 5870 1 0 556286 0
[pid=199558/tid=199570] ppid=199551 vsize=19108176 memory=2296 CPUtime=3525.34 cores=4,6
/proc/199558/task/199570/stat : 199570 (java) R 199551 199558 199498 0 -1 4194368 82912 0 20 0 350786 1748 0 0 20 0 20 0 20667040 19566772224 544272 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3064 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
[pid=199558/tid=199612] ppid=199551 vsize=19108176 memory=39732 CPUtime=0 cores=4,6
/proc/199558/task/199612/stat : 199612 (Finalizer) S 199551 199558 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20667046 19566772224 544272 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
[pid=199558/tid=199642] ppid=199551 vsize=19108176 memory=11944 CPUtime=0 cores=4,6
/proc/199558/task/199642/stat : 199642 (Common-Cleaner) S 199551 199558 199498 0 -1 1077936192 3769 0 0 0 0 0 0 0 20 0 20 0 20667047 19566772224 544272 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
[pid=199558/tid=199644] ppid=199551 vsize=19108176 memory=2177088 CPUtime=0 cores=4,6
/proc/199558/task/199644/stat : 199644 (Timer-0) S 199551 199558 199498 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20667065 19566772224 544272 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
Current children cumulated CPU time: 3550.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2177088 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3632.4 s]
/proc/loadavg: 4.10 4.23 4.19 5/334 202353
/proc/meminfo: memFree=55507576/131524600 swapFree=131054968/131071996
[pid=199558] ppid=199551 vsize=19108176 memory=2177092 CPUtime=3600.09 cores=4,6
/proc/199558/stat : 199558 (java) S 199551 199558 199498 0 -1 1077936128 175837 0 23 0 358123 1886 0 0 20 0 20 0 20667040 19566772224 544273 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
/proc/199558/statm: 4777044 544273 5870 1 0 556286 0
[pid=199558/tid=199570] ppid=199551 vsize=19108176 memory=-9104138124306195132 CPUtime=3575.17 cores=4,6
/proc/199558/task/199570/stat : 199570 (java) R 199551 199558 199498 0 -1 4194368 83796 0 20 0 355754 1763 0 0 20 0 20 0 20667040 19566772224 544273 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3071 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
[pid=199558/tid=199612] ppid=199551 vsize=19108176 memory=31160 CPUtime=0 cores=4,6
/proc/199558/task/199612/stat : 199612 (Finalizer) S 199551 199558 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20667046 19566772224 544273 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
[pid=199558/tid=199642] ppid=199551 vsize=19108176 memory=3364 CPUtime=0 cores=4,6
/proc/199558/task/199642/stat : 199642 (Common-Cleaner) S 199551 199558 199498 0 -1 1077936192 3869 0 0 0 0 0 0 0 20 0 20 0 20667047 19566772224 544273 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
[pid=199558/tid=199644] ppid=199551 vsize=19108176 memory=26412 CPUtime=0 cores=4,6
/proc/199558/task/199644/stat : 199644 (Timer-0) S 199551 199558 199498 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20667065 19566772224 544273 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2177092 KiB

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

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

# cumulated CPU time of all completed processes:  user=3581.47 s, system=18.872 s

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

[startup+3632.51 s]
/proc/loadavg: 4.10 4.23 4.19 5/334 202353
/proc/meminfo: memFree=55507576/131524600 swapFree=131054968/131071996
[pid=199558] ppid=199551 vsize=19307868 memory=2177708 CPUtime=3600.3 cores=4,6
/proc/199558/stat : 199558 (java) S 199551 199558 199498 0 -1 1077936128 178080 0 23 0 358144 1886 0 0 20 0 21 0 20667040 19771256832 544427 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
/proc/199558/statm: 4826967 544427 5869 1 0 557173 0
[pid=199558/tid=199570] ppid=199551 vsize=19307868 memory=2177080 CPUtime=3575.28 cores=4,6
/proc/199558/task/199570/stat : 199570 (java) R 199551 199558 199498 0 -1 4194368 83796 0 20 0 355765 1763 0 0 20 0 21 0 20667040 19771256832 544427 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3071 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
[pid=199558/tid=199612] ppid=199551 vsize=19307868 memory=2177088 CPUtime=0 cores=4,6
/proc/199558/task/199612/stat : 199612 (Finalizer) S 199551 199558 199498 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 20667046 19771256832 544427 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
[pid=199558/tid=199642] ppid=199551 vsize=19307868 memory=5596 CPUtime=0 cores=4,6
/proc/199558/task/199642/stat : 199642 (Common-Cleaner) S 199551 199558 199498 0 -1 1077936192 3869 0 0 0 0 0 0 0 20 0 21 0 20667047 19771256832 544427 134679101440 94387061972992 94387061976688 140730878696560 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94387061984504 94387061985296 94387072462848 140730878698411 140730878698593 140730878698593 140730878705608 0
Current children cumulated CPU time: 3600.3 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2177708 KiB

Child status: 143

Real time (s): 3632.54
CPU time (s): 3600.34
CPU user time (s): 3581.47
CPU system time (s): 18.872
CPU usage (%): 99.1135
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2177708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.47
system time used= 18.872
maximum resident set size= 2178556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 178370
page faults= 23
swaps= 0
block input operations= 7976
block output operations= 13771144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 116970
involuntary context switches= 13870


# summary of solver processes directly reported to runsolver:
#   pid: 199558
#   total CPU time (s): 3600.34
#   total CPU user time (s): 3581.47
#   total CPU system time (s): 18.872

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.09797 second user time and 17.6209 second system time

The end

Launcher Data 

Begin job on nodeC028 at 2024-07-24 19:17:17
IDJOB=4452592
IDBENCH=164452
IDSOLVER=3079
FILE ID=nodeC028/4452592-1721841437
RUNJOBID= nodeC028-1721841436-199509
SLURM_JOB_ID= 7891563
Free space on /tmp= 890064 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2010/normalized-iis-100-0-cov.0.u.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452592-1721841437/watcher-4452592-1721841437 -o /tmp/evaluation-result-4452592-1721841437/solver-4452592-1721841437 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721841436-199509 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4452592-1721841437 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4452592-1721841437.opb

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

MD5SUM BENCH= af9f746f4378befb3a20d04b26ba3b05
RANDOM SEED=1137233412

nodeC028.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		: 3641.136
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	: 6999.46
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		: 3401.723
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.51
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		: 3633.398
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	: 6999.46
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		: 3639.241
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.51
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		: 3527.387
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	: 6999.46
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		: 3417.962
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.51
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		: 3630.773
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	: 6999.46
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		: 3479.449
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        122403160 kB
MemAvailable:   129689172 kB
Buffers:          265592 kB
Cached:          7806144 kB
SwapCached:          264 kB
Active:          2262264 kB
Inactive:        6176932 kB
Active(anon):       4380 kB
Inactive(anon):   415180 kB
Active(file):    2257884 kB
Inactive(file):  5761752 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131054968 kB
Dirty:              5540 kB
Writeback:             4 kB
AnonPages:        366640 kB
Mapped:            95740 kB
Shmem:             52100 kB
KReclaimable:     212396 kB
Slab:             333364 kB
SReclaimable:     212396 kB
SUnreclaim:       120968 kB
KernelStack:        3832 kB
PageTables:         9284 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     661184 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            13440 kB
HardwareCorrupted:     0 kB
AnonHugePages:    237568 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:      443092 kB
DirectMap2M:    51759104 kB
DirectMap1G:    83886080 kB

Free space on /tmp at the end= 890060 MiB
End job on nodeC028 at 2024-07-24 20:17:49