Trace number 4440584

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 2024 2024-07-07SAT (TO)-27 3600.43 3632.74

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-graphpart_2pm-0066-0066.lin.opb
MD5SUMf8aad9764d6c8bddbc050c5a2fe0206c
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-29
Best CPU time to get the best result obtained on this benchmark0.145408
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables324
Total number of constraints468
Number of constraints which are clauses216
Number of constraints which are cardinality constraints (but not clauses)36
Number of constraints which are nor clauses,nor cardinality constraints216
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 216
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 216
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 216
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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.13/0.15	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.13/0.15	c This is free software under the dual EPL/GNU LGPL licenses.
0.13/0.15	c See www.sat4j.org for details.
0.13/0.16	c version CUSTOM.v20240707
0.13/0.18	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.18	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.18	c java.vm.version	22.0.1+8-16
0.13/0.18	c java.vm.vendor	Oracle Corporation
0.13/0.18	c sun.arch.data.model	64
0.13/0.18	c java.version		22.0.1
0.13/0.18	c os.name		Linux
0.13/0.18	c os.version		4.18.0-301.1.el8.x86_64
0.13/0.18	c os.arch		amd64
0.13/0.19	c Free memory 		2113181440
0.13/0.20	c Max memory 		16282288128
0.13/0.20	c Total memory 		2122317824
0.13/0.20	c Number of processors 	2
0.30/0.28	--- Begin Solver configuration ---
0.30/0.28	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.30/0.28	Learn all clauses as in MiniSAT
0.30/0.28	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.30/0.28	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.30/0.28	Expensive reason simplification
0.30/0.28	Glucose 2.1 dynamic restart strategy
0.30/0.28	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.30/0.28	timeout=2147483s
0.30/0.28	DB Simplification allowed=false
0.30/0.28	Listener: none
0.30/0.28	--- End Solver configuration ---
0.30/0.29	c Pseudo Boolean Optimization by upper bound
0.30/0.29	c --- Begin Solver configuration ---
0.30/0.29	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.30/0.29	c Learn all clauses as in MiniSAT
0.30/0.29	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.30/0.29	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.30/0.29	c Expensive reason simplification
0.30/0.29	c Glucose 2.1 dynamic restart strategy
0.30/0.29	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.30/0.29	c timeout=2147483s
0.30/0.29	c DB Simplification allowed=false
0.30/0.29	c Listener: none
0.30/0.29	c --- End Solver configuration ---
0.30/0.29	c solving HOME/instance-4440584-1721825449.opb
0.30/0.29	c reading problem ... 
0.30/0.30	c using VERIPB proof format
0.30/0.30	c  objective function found
0.45/0.39	c ... done. Wall clock time 0.093s.
0.45/0.39	c declared #vars     324
0.45/0.39	c #constraints  504
0.45/0.39	c constraints type 
0.45/0.39	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 36
0.45/0.39	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 216
0.45/0.39	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 252
0.45/0.39	c 504 constraints processed.
0.64/0.42	c objective function length is 216 literals
0.64/0.44	c SATISFIABLE
0.64/0.44	c OPTIMIZING...
0.64/0.44	c Got one! Elapsed wall clock time (in seconds):0.147
0.64/0.44	o -25
2.35/1.35	c cleaning 2501 clauses out of 5001 with flag 10873/5001
3.55/1.97	c cleaning 4250 clauses out of 8500 with flag 23589/11001
4.55/2.43	c cleaning 5625 clauses out of 11249 with flag 38418/18000
5.47/2.90	c cleaning 6811 clauses out of 13624 with flag 55376/26000
6.30/3.41	c cleaning 7907 clauses out of 15813 with flag 74433/35000
6.79/3.88	c cleaning 8952 clauses out of 17907 with flag 95658/45001
7.33/4.37	c cleaning 9973 clauses out of 19955 with flag 118973/56001
7.95/4.98	c cleaning 10991 clauses out of 21981 with flag 146219/68000
8.65/5.61	c cleaning 11996 clauses out of 23991 with flag 175063/81001
9.35/6.32	c cleaning 12994 clauses out of 25994 with flag 204547/95000
10.15/7.14	c cleaning 13998 clauses out of 28001 with flag 236572/110001
11.17/8.11	c cleaning 15001 clauses out of 30002 with flag 270932/126000
12.19/9.03	c cleaning 15993 clauses out of 32001 with flag 307081/143000
13.39/10.11	c cleaning 17004 clauses out of 34008 with flag 344867/161000
14.67/11.43	c cleaning 18002 clauses out of 36004 with flag 384789/180000
15.76/12.59	c cleaning 18999 clauses out of 38002 with flag 427605/200000
16.96/13.74	c cleaning 20002 clauses out of 40003 with flag 472285/221000
18.05/14.88	c cleaning 21002 clauses out of 42003 with flag 518925/243002
20.25/17.06	c cleaning 22000 clauses out of 44001 with flag 568329/266002
21.85/18.65	c cleaning 23000 clauses out of 45999 with flag 618782/290000
23.54/20.31	c cleaning 23996 clauses out of 47999 with flag 672472/315000
25.13/21.99	c cleaning 24999 clauses out of 50004 with flag 728838/341001
26.83/23.66	c cleaning 25998 clauses out of 52005 with flag 787512/368001
28.43/25.29	c cleaning 26999 clauses out of 54007 with flag 847559/396001
30.66/27.48	c cleaning 27996 clauses out of 56007 with flag 910293/425000
32.98/29.59	c cleaning 29001 clauses out of 58011 with flag 974336/455000
36.05/33.80	c cleaning 30007 clauses out of 60014 with flag 1041257/486004
38.44/36.25	c cleaning 30998 clauses out of 62006 with flag 1108707/518003
40.54/38.33	c cleaning 31999 clauses out of 64005 with flag 1179009/551000
43.25/41.03	c cleaning 32997 clauses out of 66006 with flag 1252651/585000
45.64/43.42	c cleaning 34001 clauses out of 68010 with flag 1329113/620001
48.13/45.94	c cleaning 35004 clauses out of 70009 with flag 1408866/656001
51.03/48.83	c cleaning 36003 clauses out of 72005 with flag 1486967/693001
53.43/51.24	c cleaning 36997 clauses out of 74002 with flag 1568309/731001
56.52/54.31	c cleaning 37998 clauses out of 76004 with flag 1653336/770000
59.93/57.72	c cleaning 39001 clauses out of 78006 with flag 1741844/810000
63.53/61.35	c cleaning 40000 clauses out of 80006 with flag 1833028/851001
67.95/66.51	c cleaning 40998 clauses out of 82006 with flag 1926906/893001
71.37/69.98	c cleaning 41997 clauses out of 84007 with flag 2022490/936000
75.57/74.18	c cleaning 43006 clauses out of 86011 with flag 2121771/980001
79.75/78.30	c cleaning 44001 clauses out of 88005 with flag 2222765/1025001
83.98/82.56	c cleaning 45003 clauses out of 90006 with flag 2325643/1071003
88.07/86.62	c cleaning 45998 clauses out of 92000 with flag 2430793/1118000
92.69/91.16	c cleaning 47001 clauses out of 94003 with flag 2539088/1166001
97.69/96.68	c cleaning 48000 clauses out of 96001 with flag 2649063/1215000
102.44/101.38	c cleaning 49000 clauses out of 98005 with flag 2760380/1265004
106.53/105.49	c cleaning 49995 clauses out of 100002 with flag 2871825/1316001
111.95/110.80	c cleaning 51003 clauses out of 102007 with flag 2981955/1368001
116.49/115.38	c cleaning 52002 clauses out of 104006 with flag 3093566/1421003
120.64/119.43	c cleaning 53001 clauses out of 106001 with flag 3206646/1475000
125.75/125.08	c cleaning 53999 clauses out of 108003 with flag 3321765/1530003
131.22/130.58	c cleaning 54998 clauses out of 110004 with flag 3439976/1586003
137.04/136.35	c cleaning 55995 clauses out of 112005 with flag 3564384/1643002
143.80/143.03	c cleaning 57003 clauses out of 114008 with flag 3699095/1701000
148.84/148.03	c cleaning 57998 clauses out of 116005 with flag 3828028/1760000
153.42/152.66	c cleaning 59001 clauses out of 118008 with flag 3957544/1820001
160.50/160.21	c cleaning 59999 clauses out of 120006 with flag 4092598/1881000
167.59/167.32	c cleaning 61002 clauses out of 122008 with flag 4226511/1943001
173.57/173.21	c cleaning 62001 clauses out of 124006 with flag 4364722/2006001
180.37/179.94	c cleaning 62998 clauses out of 126004 with flag 4506791/2070000
187.56/187.87	c cleaning 64003 clauses out of 128007 with flag 4646888/2135001
193.87/194.11	c cleaning 65002 clauses out of 130003 with flag 4789352/2201000
201.64/201.72	c cleaning 66001 clauses out of 132002 with flag 4934409/2268001
211.04/211.12	c cleaning 67002 clauses out of 134003 with flag 5080525/2336003
218.37/218.41	c cleaning 67997 clauses out of 135999 with flag 5227557/2405001
227.16/227.11	c cleaning 69000 clauses out of 138002 with flag 5378804/2475001
235.26/235.13	c cleaning 69993 clauses out of 140001 with flag 5532836/2546000
245.89/245.73	c cleaning 71000 clauses out of 142009 with flag 5688476/2618001
252.99/253.21	c cleaning 71998 clauses out of 144008 with flag 5844130/2691000
260.44/260.64	c cleaning 73000 clauses out of 146010 with flag 6002196/2765000
267.81/268.00	c cleaning 74005 clauses out of 148011 with flag 6160979/2840001
274.91/274.98	c cleaning 75002 clauses out of 150005 with flag 6325891/2916000
283.06/283.49	c cleaning 76001 clauses out of 152006 with flag 6490573/2993003
290.63/290.90	c cleaning 76994 clauses out of 154004 with flag 6655900/3071002
298.91/299.19	c cleaning 77999 clauses out of 156008 with flag 6824868/3150000
308.00/308.65	c cleaning 79003 clauses out of 158009 with flag 6997337/3230000
317.39/317.99	c cleaning 79999 clauses out of 160006 with flag 7172945/3311000
327.88/328.38	c cleaning 81004 clauses out of 162008 with flag 7354985/3393001
338.03/338.87	c cleaning 81999 clauses out of 164003 with flag 7539019/3476000
346.78/347.53	c cleaning 82994 clauses out of 166004 with flag 7722621/3560000
355.44/356.13	c cleaning 84004 clauses out of 168011 with flag 7906415/3645001
364.18/364.83	c cleaning 84996 clauses out of 170008 with flag 8093619/3731002
377.55/378.99	c cleaning 86001 clauses out of 172011 with flag 8290664/3818001
388.58/389.84	c cleaning 87005 clauses out of 174009 with flag 8492812/3906000
400.23/402.07	c cleaning 88000 clauses out of 176004 with flag 8696285/3995000
420.57/422.38	c cleaning 88996 clauses out of 178004 with flag 8914244/4085000
434.73/436.78	c cleaning 89999 clauses out of 180008 with flag 9142798/4176000
447.51/449.44	c cleaning 91001 clauses out of 182010 with flag 9349320/4268001
459.24/461.11	c cleaning 91999 clauses out of 184008 with flag 9555274/4361000
471.20/473.48	c cleaning 93001 clauses out of 186010 with flag 9755501/4455001
482.68/484.84	c cleaning 94002 clauses out of 188012 with flag 9956467/4550004
498.69/501.11	c cleaning 95000 clauses out of 190006 with flag 10169901/4646000
511.26/513.63	c cleaning 96002 clauses out of 192006 with flag 10375689/4743000
527.07/529.88	c cleaning 96994 clauses out of 194005 with flag 10597540/4841001
557.16/559.95	c cleaning 98002 clauses out of 196011 with flag 10856829/4940001
586.92/588.98	c cleaning 99003 clauses out of 198008 with flag 11126555/5040000
604.86/606.87	c cleaning 99997 clauses out of 200005 with flag 11359190/5141000
617.84/620.17	c cleaning 101002 clauses out of 202008 with flag 11580935/5243000
640.17/642.47	c cleaning 102001 clauses out of 204007 with flag 11832184/5346001
691.31/693.93	c cleaning 102998 clauses out of 206005 with flag 12128003/5450000
736.62/739.32	c cleaning 104001 clauses out of 208007 with flag 12444814/5555000
788.95/791.74	c cleaning 104999 clauses out of 210008 with flag 12770317/5661002
823.59/826.37	c cleaning 106000 clauses out of 212008 with flag 13065615/5768001
869.64/872.50	c cleaning 106998 clauses out of 214007 with flag 13400073/5876000
920.72/924.06	c cleaning 108000 clauses out of 216011 with flag 13728204/5985002
960.10/963.56	c cleaning 108999 clauses out of 218009 with flag 14046436/6095000
997.98/1001.35	c cleaning 110002 clauses out of 220010 with flag 14383479/6206000
1016.07/1019.45	c cleaning 111002 clauses out of 222009 with flag 14653872/6318001
1032.60/1035.85	c cleaning 112000 clauses out of 224007 with flag 14921124/6431001
1051.58/1055.50	c cleaning 113000 clauses out of 226008 with flag 15179982/6545002
1070.25/1074.25	c cleaning 113998 clauses out of 228006 with flag 15447330/6660000
1092.69/1096.57	c cleaning 115002 clauses out of 230009 with flag 15716214/6776001
1108.77/1112.68	c cleaning 116001 clauses out of 232006 with flag 15968428/6893000
1123.18/1126.98	c cleaning 117002 clauses out of 234005 with flag 16222646/7011000
1139.09/1142.89	c cleaning 117999 clauses out of 236005 with flag 16480225/7130002
1158.84/1162.56	c cleaning 119004 clauses out of 238007 with flag 16764595/7250003
1174.89/1178.65	c cleaning 119997 clauses out of 240000 with flag 17053810/7371000
1181.11/1184.89	c Got one! Elapsed wall clock time (in seconds):1184.605
1181.11/1184.89	o -26
1184.22/1187.65	c cleaning 93455 clauses out of 186910 with flag 11369/7437907
1185.18/1188.38	c cleaning 49727 clauses out of 99454 with flag 25020/7443906
1186.00/1189.12	c cleaning 28364 clauses out of 56728 with flag 41683/7450907
1186.48/1189.68	c cleaning 18183 clauses out of 36365 with flag 58516/7458908
1187.08/1190.26	c cleaning 13591 clauses out of 27181 with flag 79087/7467907
1188.02/1191.12	c cleaning 11786 clauses out of 23589 with flag 103306/7477906
1188.70/1191.83	c cleaning 11399 clauses out of 22803 with flag 129138/7488906
1189.40/1192.52	c cleaning 11700 clauses out of 23405 with flag 155584/7500907
1190.30/1193.44	c cleaning 12347 clauses out of 24704 with flag 188969/7513906
1191.10/1194.26	c cleaning 13175 clauses out of 26358 with flag 223966/7527907
1192.01/1195.14	c cleaning 14092 clauses out of 28184 with flag 255283/7542908
1192.91/1196.11	c cleaning 15038 clauses out of 30090 with flag 288927/7558906
1194.09/1197.20	c cleaning 16024 clauses out of 32053 with flag 327383/7575907
1195.40/1198.63	c cleaning 17015 clauses out of 34030 with flag 371294/7593908
1197.30/1200.50	c cleaning 18002 clauses out of 36014 with flag 423847/7612907
1199.09/1202.32	c cleaning 19003 clauses out of 38013 with flag 479770/7632908
1200.90/1204.14	c cleaning 20000 clauses out of 40008 with flag 540633/7653906
1202.66/1205.84	c cleaning 20997 clauses out of 42008 with flag 592932/7675906
1204.06/1207.29	c cleaning 22005 clauses out of 44012 with flag 642483/7698907
1205.57/1208.78	c cleaning 22998 clauses out of 46006 with flag 693054/7722906
1207.45/1210.67	c cleaning 24002 clauses out of 48008 with flag 745067/7747906
1209.35/1212.51	c cleaning 25003 clauses out of 50006 with flag 799430/7773906
1211.05/1214.22	c cleaning 25996 clauses out of 52003 with flag 856031/7800906
1213.04/1216.21	c cleaning 27002 clauses out of 54008 with flag 915480/7828907
1214.86/1218.06	c cleaning 28003 clauses out of 56006 with flag 976107/7857907
1217.14/1220.31	c cleaning 28998 clauses out of 58003 with flag 1039081/7887907
1219.04/1222.28	c cleaning 30002 clauses out of 60006 with flag 1104301/7918908
1221.14/1224.34	c cleaning 30996 clauses out of 62002 with flag 1171541/7950906
1223.58/1226.70	c cleaning 31996 clauses out of 64006 with flag 1240891/7983906
1225.68/1228.90	c cleaning 33000 clauses out of 66010 with flag 1312325/8017906
1228.35/1232.44	c Got one! Elapsed wall clock time (in seconds):1232.153
1228.35/1232.44	o -27
1229.15/1233.23	c cleaning 34789 clauses out of 69577 with flag 11045/8054473
1229.55/1233.66	c cleaning 20395 clauses out of 40790 with flag 23880/8060475
1229.97/1234.01	c cleaning 13687 clauses out of 27394 with flag 39100/8067474
1230.36/1234.39	c cleaning 10853 clauses out of 21707 with flag 56966/8075474
1230.90/1234.78	c cleaning 9920 clauses out of 19854 with flag 76307/8084474
1231.40/1235.26	c cleaning 9960 clauses out of 19933 with flag 98100/8094473
1231.99/1235.81	c cleaning 10486 clauses out of 20974 with flag 122409/8105474
1232.68/1236.52	c cleaning 11242 clauses out of 22488 with flag 147689/8117474
1233.29/1237.16	c cleaning 12121 clauses out of 24245 with flag 175051/8130473
1234.08/1237.95	c cleaning 13060 clauses out of 26124 with flag 205376/8144473
1234.88/1238.70	c cleaning 14029 clauses out of 28064 with flag 237332/8159473
1235.75/1239.58	c cleaning 15017 clauses out of 30035 with flag 271121/8175473
1236.78/1240.53	c cleaning 16008 clauses out of 32018 with flag 307065/8192473
1237.67/1241.45	c cleaning 16999 clauses out of 34010 with flag 344874/8210473
1238.87/1242.61	c cleaning 18003 clauses out of 36011 with flag 384708/8229473
1240.17/1243.92	c cleaning 19000 clauses out of 38009 with flag 426484/8249474
1241.38/1245.13	c cleaning 19998 clauses out of 40008 with flag 470573/8270473
1242.66/1246.42	c cleaning 21001 clauses out of 42011 with flag 516403/8292474
1244.20/1247.91	c cleaning 22005 clauses out of 44009 with flag 564831/8315473
1245.60/1249.39	c cleaning 22997 clauses out of 46005 with flag 615526/8339474
1247.31/1251.02	c cleaning 24002 clauses out of 48007 with flag 669303/8364473
1248.99/1252.79	c cleaning 25002 clauses out of 50007 with flag 725226/8390475
1250.69/1254.44	c cleaning 25997 clauses out of 52005 with flag 782407/8417475
1252.58/1256.32	c cleaning 27002 clauses out of 54007 with flag 840939/8445474
1254.58/1258.33	c cleaning 27999 clauses out of 56004 with flag 901790/8474473
1256.62/1260.55	c cleaning 28999 clauses out of 58005 with flag 965078/8504473
1258.71/1262.61	c cleaning 30002 clauses out of 60007 with flag 1030017/8535474
1260.62/1264.55	c cleaning 30998 clauses out of 62005 with flag 1097675/8567474
1263.12/1267.04	c cleaning 32001 clauses out of 64007 with flag 1166741/8600474
1265.31/1269.21	c cleaning 33002 clauses out of 66007 with flag 1238940/8634475
1267.84/1271.72	c cleaning 34000 clauses out of 68003 with flag 1313001/8669473
1270.15/1274.11	c cleaning 34993 clauses out of 70004 with flag 1388473/8705474
1273.43/1277.30	c cleaning 36006 clauses out of 72012 with flag 1467028/8742475
1276.73/1280.68	c cleaning 36997 clauses out of 74004 with flag 1547824/8780473
1279.92/1283.85	c cleaning 38002 clauses out of 76008 with flag 1630378/8819474
1283.52/1287.48	c cleaning 39000 clauses out of 78008 with flag 1715094/8859476
1286.84/1290.97	c cleaning 39999 clauses out of 80005 with flag 1802156/8900473
1290.54/1294.65	c cleaning 41002 clauses out of 82007 with flag 1890952/8942474
1294.13/1298.22	c cleaning 41997 clauses out of 84004 with flag 1982274/8985473
1297.47/1301.54	c cleaning 42998 clauses out of 86007 with flag 2074822/9029473
1301.08/1305.18	c cleaning 43999 clauses out of 88009 with flag 2169663/9074473
1305.16/1309.22	c cleaning 45005 clauses out of 90010 with flag 2266475/9120473
1308.76/1312.89	c cleaning 46003 clauses out of 92005 with flag 2365776/9167473
1312.30/1316.30	c cleaning 47002 clauses out of 94003 with flag 2466934/9215474
1316.82/1320.89	c cleaning 47997 clauses out of 96000 with flag 2570701/9264473
1321.07/1325.29	c cleaning 49002 clauses out of 98006 with flag 2676958/9314476
1325.77/1329.99	c cleaning 49994 clauses out of 100001 with flag 2785546/9365473
1330.37/1334.50	c cleaning 51002 clauses out of 102008 with flag 2896193/9417474
1335.02/1339.12	c cleaning 52003 clauses out of 104005 with flag 3009419/9470473
1339.94/1344.07	c cleaning 53002 clauses out of 106003 with flag 3124358/9524474
1344.52/1348.64	c cleaning 53997 clauses out of 108000 with flag 3241234/9579473
1348.96/1353.02	c cleaning 54999 clauses out of 110003 with flag 3360493/9635473
1354.27/1358.38	c cleaning 56004 clauses out of 112007 with flag 3482098/9692476
1359.15/1363.24	c cleaning 56998 clauses out of 114003 with flag 3605956/9750476
1364.20/1368.28	c cleaning 57999 clauses out of 116003 with flag 3731528/9809474
1369.51/1373.52	c cleaning 58998 clauses out of 118003 with flag 3859138/9869473
1374.22/1378.27	c cleaning 60001 clauses out of 120006 with flag 3989130/9930474
1379.62/1387.68	c cleaning 60999 clauses out of 122004 with flag 4120212/9992473
1385.53/1393.52	c cleaning 61994 clauses out of 124005 with flag 4256507/10055473
1393.23/1401.29	c cleaning 63003 clauses out of 126012 with flag 4396480/10119474
1401.42/1409.42	c cleaning 64006 clauses out of 128012 with flag 4538203/10184477
1409.13/1417.71	c cleaning 64998 clauses out of 130002 with flag 4680666/10250473
1417.37/1425.97	c cleaning 66000 clauses out of 132005 with flag 4827833/10317474
1424.26/1432.89	c cleaning 67003 clauses out of 134005 with flag 4974593/10385474
1431.91/1440.49	c cleaning 67993 clauses out of 136004 with flag 5123295/10454476
1440.23/1449.27	c cleaning 69001 clauses out of 138008 with flag 5273751/10524473
1447.03/1456.10	c cleaning 70002 clauses out of 140008 with flag 5425933/10595474
1452.26/1461.29	c cleaning 70997 clauses out of 142005 with flag 5579485/10667473
1460.75/1469.79	c cleaning 72003 clauses out of 144009 with flag 5732350/10740474
1470.29/1479.80	c cleaning 72999 clauses out of 146006 with flag 5888162/10814474
1481.84/1491.25	c cleaning 73998 clauses out of 148008 with flag 6073150/10889475
1496.04/1505.44	c cleaning 74999 clauses out of 150008 with flag 6261516/10965473
1506.66/1516.35	c cleaning 75997 clauses out of 152009 with flag 6443917/11042473
1516.91/1526.60	c cleaning 77002 clauses out of 154013 with flag 6616998/11120474
1538.47/1548.23	c cleaning 78005 clauses out of 156011 with flag 6792731/11199474
1554.30/1564.10	c cleaning 78998 clauses out of 158005 with flag 6968129/11279473
1567.39/1577.14	c cleaning 80000 clauses out of 160008 with flag 7154575/11360474
1580.08/1589.79	c cleaning 81002 clauses out of 162007 with flag 7343896/11442473
1591.20/1600.89	c cleaning 82001 clauses out of 164008 with flag 7531955/11525476
1602.23/1611.80	c cleaning 83001 clauses out of 166005 with flag 7725501/11609474
1611.83/1621.40	c cleaning 84001 clauses out of 168004 with flag 7914813/11694474
1621.28/1630.90	c cleaning 85000 clauses out of 170003 with flag 8108794/11780474
1630.11/1639.71	c cleaning 86002 clauses out of 172003 with flag 8302555/11867474
1638.68/1648.25	c cleaning 86994 clauses out of 174002 with flag 8493780/11955475
1648.81/1658.32	c cleaning 88003 clauses out of 176007 with flag 8683355/12044474
1658.13/1667.78	c cleaning 88991 clauses out of 178003 with flag 8877406/12134473
1666.96/1676.57	c cleaning 90006 clauses out of 180013 with flag 9073676/12225474
1677.72/1687.25	c cleaning 91001 clauses out of 182007 with flag 9271890/12317474
1687.80/1697.42	c cleaning 92000 clauses out of 184007 with flag 9472424/12410475
1699.45/1709.09	c cleaning 92997 clauses out of 186005 with flag 9674294/12504473
1710.63/1720.22	c cleaning 94001 clauses out of 188008 with flag 9877603/12599473
1722.30/1731.98	c cleaning 94999 clauses out of 190008 with flag 10082796/12695474
1733.99/1743.66	c cleaning 96003 clauses out of 192008 with flag 10285270/12792473
1748.78/1759.24	c cleaning 96998 clauses out of 194006 with flag 10488420/12890474
1763.64/1774.11	c cleaning 98003 clauses out of 196008 with flag 10693457/12989474
1779.71/1789.69	c cleaning 99003 clauses out of 198005 with flag 10901007/13089474
1793.89/1803.84	c cleaning 99995 clauses out of 200003 with flag 11111216/13190475
1820.47/1830.59	c cleaning 100994 clauses out of 202007 with flag 11393060/13292474
1852.23/1862.49	c cleaning 102000 clauses out of 204013 with flag 11697809/13395474
1883.14/1893.43	c cleaning 103004 clauses out of 206013 with flag 12013902/13499474
1916.23/1926.72	c cleaning 104005 clauses out of 208009 with flag 12314510/13604474
1947.07/1957.64	c cleaning 104990 clauses out of 210004 with flag 12624767/13710474
1990.88/2001.56	c cleaning 106003 clauses out of 212014 with flag 12938798/13817474
2026.07/2036.77	c cleaning 106998 clauses out of 214010 with flag 13244368/13925473
2057.75/2068.46	c cleaning 108005 clauses out of 216015 with flag 13549086/14034476
2093.94/2107.38	c cleaning 109000 clauses out of 218009 with flag 13855205/14144475
2132.54/2146.13	c cleaning 110002 clauses out of 220008 with flag 14171877/14255474
2174.29/2188.60	c cleaning 110998 clauses out of 222005 with flag 14491634/14367473
2211.96/2226.30	c cleaning 112000 clauses out of 224007 with flag 14814560/14480473
2244.23/2258.97	c cleaning 113002 clauses out of 226008 with flag 15150040/14594474
2288.22/2303.61	c cleaning 113994 clauses out of 228005 with flag 15484128/14709473
2331.99/2348.06	c cleaning 115004 clauses out of 230011 with flag 15822251/14825473
2382.95/2399.11	c cleaning 116000 clauses out of 232007 with flag 16169622/14942473
2419.49/2435.72	c cleaning 117001 clauses out of 234008 with flag 16516101/15060474
2473.08/2489.54	c cleaning 118003 clauses out of 236009 with flag 16872953/15179476
2532.16/2549.03	c cleaning 118998 clauses out of 238003 with flag 17259152/15299473
2579.33/2596.43	c cleaning 119997 clauses out of 240005 with flag 17622379/15420473
2636.58/2662.18	c cleaning 121000 clauses out of 242008 with flag 17989771/15542473
2690.75/2716.50	c cleaning 121997 clauses out of 244008 with flag 18365452/15665473
2748.13/2774.22	c cleaning 123001 clauses out of 246011 with flag 18743439/15789473
2789.85/2816.01	c cleaning 124000 clauses out of 248010 with flag 19091964/15914473
2844.46/2870.71	c cleaning 124997 clauses out of 250010 with flag 19481915/16040473
2896.02/2922.50	c cleaning 126002 clauses out of 252014 with flag 19867589/16167474
2942.83/2971.89	c cleaning 127006 clauses out of 254013 with flag 20248333/16295475
2989.61/3018.96	c cleaning 128002 clauses out of 256005 with flag 20621499/16424473
3044.74/3074.42	c cleaning 128999 clauses out of 258003 with flag 21003017/16554473
3099.54/3129.59	c cleaning 129994 clauses out of 260006 with flag 21386539/16685475
3181.71/3212.06	c cleaning 130996 clauses out of 262012 with flag 21775303/16817475
3251.47/3282.08	c cleaning 132003 clauses out of 264014 with flag 22184283/16950473
3314.69/3345.87	c cleaning 133000 clauses out of 266012 with flag 22611096/17084474
3368.40/3399.72	c cleaning 134003 clauses out of 268012 with flag 23016399/17219474
3421.28/3452.73	c cleaning 135003 clauses out of 270009 with flag 23407612/17355474
3475.58/3506.26	c cleaning 135997 clauses out of 272005 with flag 23795717/17492473
3533.86/3564.66	c cleaning 136999 clauses out of 274008 with flag 24180510/17630473
3597.22/3629.75	c cleaning 137997 clauses out of 276009 with flag 24566836/17769473
3600.02/3632.52	c starts		: 103074
3600.02/3632.53	c conflicts		: 17781058
3600.02/3632.53	c decisions		: 25342818
3600.02/3632.53	c propagations		: 622806882
3600.02/3632.53	c inspects		: 27198418755
3600.02/3632.53	c shortcuts		: 0
3600.02/3632.53	c learnt literals	: 0
3600.02/3632.53	c learnt binary clauses	: 0
3600.02/3632.53	c learnt ternary clauses	: 0
3600.02/3632.53	c learnt constraints	: 17781058
3600.02/3632.53	c ignored constraints	: 0
3600.02/3632.53	c root simplifications	: 0
3600.02/3632.53	c removed literals (reason simplification)	: 17051654
3600.02/3632.53	c reason swapping (by a shorter reason)	: 0
3600.02/3632.53	c Calls to reduceDB	: 282
3600.02/3632.53	c Number of update (reduction) of LBD	: 789569
3600.02/3632.53	c Imported unit clauses	: 0
3600.02/3632.53	c No decision after first conflict	: false
3600.02/3632.53	c number of reductions to clauses (during analyze)	: 0
3600.02/3632.53	c number of learned constraints concerned by reduction	: 0
3600.02/3632.53	c number of learning phase by resolution	: 0
3600.02/3632.53	c number of learning phase by cutting planes	: 0
3600.02/3632.53	c number of rounding to 1 operations	: 0
3600.02/3632.53	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3632.53	c number of reductions of the coefficients by power 2 	: 0
3600.02/3632.53	c number of right shift for reduction by power 2 	: 0
3600.02/3632.53	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3632.53	c number of ending skipping 	: 0
3600.02/3632.53	c number of internal skipping 	: 0
3600.02/3632.53	c number of derivation steps 	: 0
3600.02/3632.54	c number of skipped derivation steps 	: 0
3600.02/3632.54	c number of remaining unassigned 	: 0
3600.02/3632.54	c number of remaining assigned 	: 0
3600.02/3632.54	c number of falsified literals weakened from reason	: 0
3600.02/3632.54	c number of falsified literals weakened from conflict	: 0
3600.02/3632.54	c time for arithmetic operations	: 0
3600.02/3632.54	c minimum degree of deleted constraints	: null
3600.02/3632.54	c maximum degree of deleted constraints	: null
3600.02/3632.54	c number of deleted constraints	: 0
3600.02/3632.55	c speed (assignments/second)	: 171472.51968484427
3600.02/3632.55	c non guided choices	: 0
3600.22/3632.69	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 149597
3600.22/3632.69	s SATISFIABLE
3600.22/3632.69	c Found 3 solution(s)
3600.22/3632.69	v x1 -x2 -x3 -x4 x5 -x6 x7 -x8 -x9 -x10 x11 -x12 -x13 x14 -x15 -x16 -x17 x18 -x19 -x20 x21 -x22 -x23 x24 x25 -x26 -x27 x28 -x29 -x30 -x31 x32 -x33 -x34 x35 -x36 -x37 x38 -x39 -x40 -x41 x42 x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 x51 -x52 x53 -x54 -x55 -x56 x57 -x58 x59 -x60 x61 -x62 -x63 x64 -x65 -x66 x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 x75 -x76 x77 -x78 x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 x90 -x91 x92 -x93 -x94 -x95 x96 x97 -x98 -x99 x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 x178 x179 -x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 -x190 -x191 x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 x214 x215 -x216 -x217 -x218 -x219 -x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 -x245 -x246 x247 -x248 -x249 x250 x251 -x252 -x253 -x254 -x255 x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 x286 x287 -x288 -x289 -x290 -x291 -x292 x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 x302 -x303 -x304 -x305 x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 x316 -x317 -x318 x319 -x320 -x321 -x322 -x323 -x324 
3600.22/3632.69	c objective function=-27
3600.22/3632.69	c Total wall clock time (in seconds): 3632.394

Verifier Data 

OK	-27

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440584-1721825449/watcher-4440584-1721825449 -o /tmp/evaluation-result-4440584-1721825449/solver-4440584-1721825449 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721820325-176945 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440584-1721825449 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440584-1721825449.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
Current StackSize limit: 8192 KiB

solver pid=181657, runsolver pid=181654

[startup+0.10235 s]*
/proc/loadavg: 4.69 4.66 4.38 6/322 181675
/proc/meminfo: memFree=109192148/131655788 swapFree=131071472/131071996
[pid=181657] ppid=181654 vsize=18975048 memory=57772 CPUtime=0.13 cores=5,7
/proc/181657/stat : 181657 (java) S 181654 181657 176776 0 -1 1077936128 6468 0 0 0 10 3 0 0 20 0 18 0 18533847 19430449152 14443 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
/proc/181657/statm: 4743762 14443 5591 1 0 550842 0
[pid=181657/tid=181659] ppid=181654 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/181657/task/181659/stat : 181659 (java) R 181654 181657 176776 0 -1 4194368 5374 0 0 0 6 2 0 0 20 0 18 0 18533848 19430449152 14443 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
[pid=181657/tid=181668] ppid=181654 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/181657/task/181668/stat : 181668 (Finalizer) S 181654 181657 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18533853 19430449152 14443 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
[pid=181657/tid=181675] ppid=181654 vsize=18975048 memory=3905244537068716064 CPUtime=0 cores=5,7
/proc/181657/task/181675/stat : 181675 (Common-Cleaner) S 181654 181657 176776 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18533854 19430449152 14443 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 57772 KiB

[startup+0.21279 s]*
/proc/loadavg: 4.69 4.66 4.38 7/322 181675
/proc/meminfo: memFree=109184692/131655788 swapFree=131071472/131071996
[pid=181657] ppid=181654 vsize=18975048 memory=65404 CPUtime=0.3 cores=5,7
/proc/181657/stat : 181657 (java) S 181654 181657 176776 0 -1 1077936128 7175 0 0 0 26 4 0 0 20 0 18 0 18533847 19430449152 16351 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
/proc/181657/statm: 4743762 16351 5726 1 0 551390 0
[pid=181657/tid=181659] ppid=181654 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=5,7
/proc/181657/task/181659/stat : 181659 (java) R 181654 181657 176776 0 -1 1077936192 5723 0 0 0 15 3 0 0 20 0 18 0 18533848 19430449152 16351 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
[pid=181657/tid=181668] ppid=181654 vsize=18975048 memory=880909 CPUtime=0 cores=5,7
/proc/181657/task/181668/stat : 181668 (Finalizer) S 181654 181657 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18533853 19430449152 16351 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
[pid=181657/tid=181675] ppid=181654 vsize=18975048 memory=15260341797930584 CPUtime=0 cores=5,7
/proc/181657/task/181675/stat : 181675 (Common-Cleaner) S 181654 181657 176776 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18533854 19430449152 16351 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65404 KiB

[startup+0.311802 s]*
/proc/loadavg: 4.69 4.66 4.38 7/322 181675
/proc/meminfo: memFree=109180964/131655788 swapFree=131071472/131071996
[pid=181657] ppid=181654 vsize=18975048 memory=68500 CPUtime=0.45 cores=5,7
/proc/181657/stat : 181657 (java) S 181654 181657 176776 0 -1 1077936128 7443 0 0 0 41 4 0 0 20 0 18 0 18533847 19430449152 17125 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
/proc/181657/statm: 4743762 17125 5741 1 0 551597 0
[pid=181657/tid=181659] ppid=181654 vsize=18975048 memory=-8887964277057299132 CPUtime=0.26 cores=5,7
/proc/181657/task/181659/stat : 181659 (java) R 181654 181657 176776 0 -1 1077936192 5899 0 0 0 23 3 0 0 20 0 18 0 18533848 19430449152 17125 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
[pid=181657/tid=181668] ppid=181654 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/181657/task/181668/stat : 181668 (Finalizer) S 181654 181657 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18533853 19430449152 17125 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
[pid=181657/tid=181675] ppid=181654 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/181657/task/181675/stat : 181675 (Common-Cleaner) S 181654 181657 176776 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18533854 19430449152 17125 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 68500 KiB

[startup+0.700889 s]
/proc/loadavg: 4.69 4.66 4.38 7/323 181678
/proc/meminfo: memFree=109175428/131655788 swapFree=131071472/131071996
[pid=181657] ppid=181654 vsize=19041612 memory=98028 CPUtime=1.18 cores=5,7
/proc/181657/stat : 181657 (java) S 181654 181657 176776 0 -1 1077936128 9515 0 0 0 112 6 0 0 20 0 19 0 18533847 19498610688 24507 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
/proc/181657/statm: 4760403 24507 5848 1 0 552850 0
[pid=181657/tid=181659] ppid=181654 vsize=19041612 memory=5572 CPUtime=0.62 cores=5,7
/proc/181657/task/181659/stat : 181659 (java) R 181654 181657 176776 0 -1 4194368 6118 0 0 0 58 4 0 0 20 0 19 0 18533848 19498610688 24507 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
[pid=181657/tid=181668] ppid=181654 vsize=19041612 memory=11652 CPUtime=0 cores=5,7
/proc/181657/task/181668/stat : 181668 (Finalizer) S 181654 181657 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 18533853 19498610688 24507 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
[pid=181657/tid=181675] ppid=181654 vsize=19041612 memory=280967902454440 CPUtime=0 cores=5,7
/proc/181657/task/181675/stat : 181675 (Common-Cleaner) S 181654 181657 176776 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 18533854 19498610688 24507 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
[pid=181657/tid=181678] ppid=181654 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/181657/task/181678/stat : 181678 (Timer-0) S 181654 181657 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 18533890 19498610688 24507 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 98028 KiB

[startup+1.50025 s]
/proc/loadavg: 4.69 4.66 4.38 6/323 181678
/proc/meminfo: memFree=109103340/131655788 swapFree=131071472/131071996
[pid=181657] ppid=181654 vsize=19108176 memory=177716 CPUtime=2.75 cores=5,7
/proc/181657/stat : 181657 (java) S 181654 181657 176776 0 -1 1077936128 16473 0 0 0 266 9 0 0 20 0 20 0 18533847 19566772224 44429 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
/proc/181657/statm: 4777044 44429 5870 1 0 555809 0
[pid=181657/tid=181659] ppid=181654 vsize=19108176 memory=11652 CPUtime=1.37 cores=5,7
/proc/181657/task/181659/stat : 181659 (java) R 181654 181657 176776 0 -1 4194368 7059 0 0 0 132 5 0 0 20 0 20 0 18533848 19566772224 44429 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
[pid=181657/tid=181668] ppid=181654 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/181657/task/181668/stat : 181668 (Finalizer) S 181654 181657 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18533853 19566772224 44429 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
[pid=181657/tid=181675] ppid=181654 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/181657/task/181675/stat : 181675 (Common-Cleaner) S 181654 181657 176776 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 18533854 19566772224 44429 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
[pid=181657/tid=181678] ppid=181654 vsize=19108176 memory=280967902307600 CPUtime=0 cores=5,7
/proc/181657/task/181678/stat : 181678 (Timer-0) S 181654 181657 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18533890 19566772224 44429 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
Current children cumulated CPU time: 2.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 177716 KiB

[startup+3.1059 s]
/proc/loadavg: 4.69 4.66 4.38 6/324 181679
/proc/meminfo: memFree=108941416/131655788 swapFree=131071472/131071996
[pid=181657] ppid=181654 vsize=19108176 memory=287616 CPUtime=5.86 cores=5,7
/proc/181657/stat : 181657 (java) S 181654 181657 176776 0 -1 1077936128 20444 0 0 0 573 13 0 0 20 0 20 0 18533847 19566772224 71904 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
/proc/181657/statm: 4777044 71904 5870 1 0 556950 0
[pid=181657/tid=181659] ppid=181654 vsize=19108176 memory=0 CPUtime=2.92 cores=5,7
/proc/181657/task/181659/stat : 181659 (java) R 181654 181657 176776 0 -1 4194368 7622 0 0 0 284 8 0 0 20 0 20 0 18533848 19566772224 71904 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
[pid=181657/tid=181668] ppid=181654 vsize=19108176 memory=11652 CPUtime=0 cores=5,7
/proc/181657/task/181668/stat : 181668 (Finalizer) S 181654 181657 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18533853 19566772224 71904 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
[pid=181657/tid=181675] ppid=181654 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/181657/task/181675/stat : 181675 (Common-Cleaner) S 181654 181657 176776 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 18533854 19566772224 71904 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
[pid=181657/tid=181678] ppid=181654 vsize=19108176 memory=13560 CPUtime=0 cores=5,7
/proc/181657/task/181678/stat : 181678 (Timer-0) S 181654 181657 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18533890 19566772224 71904 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
Current children cumulated CPU time: 5.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 287616 KiB

[startup+6.30088 s]
/proc/loadavg: 4.63 4.65 4.38 6/324 181679
/proc/meminfo: memFree=108449240/131655788 swapFree=131071472/131071996
[pid=181657] ppid=181654 vsize=19108176 memory=855712 CPUtime=9.35 cores=5,7
/proc/181657/stat : 181657 (java) S 181654 181657 176776 0 -1 1077936128 20987 0 0 0 907 28 0 0 20 0 20 0 18533847 19566772224 213928 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
/proc/181657/statm: 4777044 213928 5870 1 0 556952 0
[pid=181657/tid=181659] ppid=181654 vsize=19108176 memory=11652 CPUtime=6.04 cores=5,7
/proc/181657/task/181659/stat : 181659 (java) R 181654 181657 176776 0 -1 4194368 8061 0 0 0 582 22 0 0 20 0 20 0 18533848 19566772224 213928 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
[pid=181657/tid=181668] ppid=181654 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/181657/task/181668/stat : 181668 (Finalizer) S 181654 181657 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18533853 19566772224 213928 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
[pid=181657/tid=181675] ppid=181654 vsize=19108176 memory=-7163974055829550171 CPUtime=0 cores=5,7
/proc/181657/task/181675/stat : 181675 (Common-Cleaner) S 181654 181657 176776 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 18533854 19566772224 213928 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
[pid=181657/tid=181678] ppid=181654 vsize=19108176 memory=178572 CPUtime=0 cores=5,7
/proc/181657/task/181678/stat : 181678 (Timer-0) S 181654 181657 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18533890 19566772224 213928 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
Current children cumulated CPU time: 9.35 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 855712 KiB

[startup+12.7009 s]
/proc/loadavg: 4.58 4.64 4.38 5/324 181681
/proc/meminfo: memFree=107714004/131655788 swapFree=131071472/131071996
[pid=181657] ppid=181654 vsize=19108176 memory=1335044 CPUtime=15.97 cores=5,7
/proc/181657/stat : 181657 (java) S 181654 181657 176776 0 -1 1077936128 25760 0 0 0 1552 45 0 0 20 0 20 0 18533847 19566772224 333761 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
/proc/181657/statm: 4777044 333761 5870 1 0 556952 0
[pid=181657/tid=181659] ppid=181654 vsize=19108176 memory=0 CPUtime=12.27 cores=5,7
/proc/181657/task/181659/stat : 181659 (java) R 181654 181657 176776 0 -1 4194368 8905 0 0 0 1190 37 0 0 20 0 20 0 18533848 19566772224 333761 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
[pid=181657/tid=181668] ppid=181654 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/181657/task/181668/stat : 181668 (Finalizer) S 181654 181657 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18533853 19566772224 333761 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
[pid=181657/tid=181675] ppid=181654 vsize=19108176 memory=1335044 CPUtime=0 cores=5,7
/proc/181657/task/181675/stat : 181675 (Common-Cleaner) S 181654 181657 176776 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 18533854 19566772224 333761 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
[pid=181657/tid=181678] ppid=181654 vsize=19108176 memory=11652 CPUtime=0 cores=5,7
/proc/181657/task/181678/stat : 181678 (Timer-0) S 181654 181657 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18533890 19566772224 333761 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
Current children cumulated CPU time: 15.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1335044 KiB

[startup+25.5005 s]
/proc/loadavg: 4.52 4.62 4.38 5/324 181682
/proc/meminfo: memFree=107575248/131655788 swapFree=131071472/131071996
[pid=181657] ppid=181654 vsize=19108176 memory=1351484 CPUtime=28.75 cores=5,7
/proc/181657/stat : 181657 (java) S 181654 181657 176776 0 -1 1077936128 28594 0 0 0 2819 56 0 0 20 0 20 0 18533847 19566772224 337871 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
/proc/181657/statm: 4777044 337871 5870 1 0 556952 0
[pid=181657/tid=181659] ppid=181654 vsize=19108176 memory=1335044 CPUtime=24.82 cores=5,7
/proc/181657/task/181659/stat : 181659 (java) R 181654 181657 176776 0 -1 4194368 10193 0 0 0 2434 48 0 0 20 0 20 0 18533848 19566772224 337871 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
[pid=181657/tid=181668] ppid=181654 vsize=19108176 memory=-8887964277057299132 CPUtime=0 cores=5,7
/proc/181657/task/181668/stat : 181668 (Finalizer) S 181654 181657 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18533853 19566772224 337871 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
[pid=181657/tid=181675] ppid=181654 vsize=19108176 memory=68272 CPUtime=0 cores=5,7
/proc/181657/task/181675/stat : 181675 (Common-Cleaner) S 181654 181657 176776 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 18533854 19566772224 337871 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
[pid=181657/tid=181678] ppid=181654 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/181657/task/181678/stat : 181678 (Timer-0) S 181654 181657 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18533890 19566772224 337871 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
Current children cumulated CPU time: 28.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1351484 KiB

[startup+51.1135 s]
/proc/loadavg: 4.34 4.57 4.37 5/324 181688
/proc/meminfo: memFree=107335628/131655788 swapFree=131071472/131071996
[pid=181657] ppid=181654 vsize=19108176 memory=1370140 CPUtime=53.34 cores=5,7
/proc/181657/stat : 181657 (java) S 181654 181657 176776 0 -1 1077936128 36233 0 0 0 5255 79 0 0 20 0 20 0 18533847 19566772224 342535 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
/proc/181657/statm: 4777044 342535 5901 1 0 556952 0
[pid=181657/tid=181659] ppid=181654 vsize=19108176 memory=1367952 CPUtime=48.69 cores=5,7
/proc/181657/task/181659/stat : 181659 (java) R 181654 181657 176776 0 -1 4194368 12259 0 0 0 4801 68 0 0 20 0 20 0 18533848 19566772224 342535 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 122 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
[pid=181657/tid=181668] ppid=181654 vsize=19108176 memory=68272 CPUtime=0 cores=5,7
/proc/181657/task/181668/stat : 181668 (Finalizer) S 181654 181657 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18533853 19566772224 342535 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0

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

/proc/181657/task/181659/stat : 181659 (java) R 181654 181657 176776 0 -1 4194368 103197 0 0 0 319138 1254 0 0 20 0 20 0 18533848 19566772224 830867 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4268 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
[pid=181657/tid=181668] ppid=181654 vsize=19108176 memory=11652 CPUtime=0 cores=5,7
/proc/181657/task/181668/stat : 181668 (Finalizer) S 181654 181657 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18533853 19566772224 830867 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
[pid=181657/tid=181675] ppid=181654 vsize=19108176 memory=13560 CPUtime=0 cores=5,7
/proc/181657/task/181675/stat : 181675 (Common-Cleaner) S 181654 181657 176776 0 -1 1077936192 3401 0 0 0 0 0 0 0 20 0 20 0 18533854 19566772224 830867 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
[pid=181657/tid=181678] ppid=181654 vsize=19108176 memory=21012 CPUtime=0 cores=5,7
/proc/181657/task/181678/stat : 181678 (Timer-0) S 181654 181657 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18533890 19566772224 830867 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
Current children cumulated CPU time: 3251.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3323468 KiB

[startup+3342.3 s]
/proc/loadavg: 4.35 4.29 4.30 5/323 184425
/proc/meminfo: memFree=80455472/131655788 swapFree=131071472/131071996
[pid=181657] ppid=181654 vsize=19108176 memory=3323468 CPUtime=3311.19 cores=5,7
/proc/181657/stat : 181657 (java) S 181654 181657 176776 0 -1 1077936128 229977 0 0 0 329668 1451 0 0 20 0 20 0 18533847 19566772224 830867 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
/proc/181657/statm: 4777044 830867 5901 1 0 843297 0
[pid=181657/tid=181659] ppid=181654 vsize=19108176 memory=-8887964277057299132 CPUtime=3262.95 cores=5,7
/proc/181657/task/181659/stat : 181659 (java) R 181654 181657 176776 0 -1 4194368 104826 0 0 0 325029 1266 0 0 20 0 20 0 18533848 19566772224 830867 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4329 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
[pid=181657/tid=181668] ppid=181654 vsize=19108176 memory=5572 CPUtime=0 cores=5,7
/proc/181657/task/181668/stat : 181668 (Finalizer) S 181654 181657 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18533853 19566772224 830867 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
[pid=181657/tid=181675] ppid=181654 vsize=19108176 memory=13560 CPUtime=0 cores=5,7
/proc/181657/task/181675/stat : 181675 (Common-Cleaner) S 181654 181657 176776 0 -1 1077936192 3402 0 0 0 0 0 0 0 20 0 20 0 18533854 19566772224 830867 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
[pid=181657/tid=181678] ppid=181654 vsize=19108176 memory=13560 CPUtime=0 cores=5,7
/proc/181657/task/181678/stat : 181678 (Timer-0) S 181654 181657 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18533890 19566772224 830867 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
Current children cumulated CPU time: 3311.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3323468 KiB

[startup+3402.3 s]
/proc/loadavg: 5.06 4.52 4.39 5/323 184436
/proc/meminfo: memFree=79832128/131655788 swapFree=131071472/131071996
[pid=181657] ppid=181654 vsize=19108176 memory=3323468 CPUtime=3371.05 cores=5,7
/proc/181657/stat : 181657 (java) S 181654 181657 176776 0 -1 1077936128 232412 0 0 0 335637 1468 0 0 20 0 20 0 18533847 19566772224 830867 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
/proc/181657/statm: 4777044 830867 5901 1 0 843297 0
[pid=181657/tid=181659] ppid=181654 vsize=19108176 memory=3323468 CPUtime=3322.19 cores=5,7
/proc/181657/task/181659/stat : 181659 (java) R 181654 181657 176776 0 -1 4194368 106063 0 0 0 330939 1280 0 0 20 0 20 0 18533848 19566772224 830867 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4358 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
[pid=181657/tid=181668] ppid=181654 vsize=19108176 memory=11652 CPUtime=0 cores=5,7
/proc/181657/task/181668/stat : 181668 (Finalizer) S 181654 181657 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18533853 19566772224 830867 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
[pid=181657/tid=181675] ppid=181654 vsize=19108176 memory=3323468 CPUtime=0 cores=5,7
/proc/181657/task/181675/stat : 181675 (Common-Cleaner) S 181654 181657 176776 0 -1 1077936192 3469 0 0 0 0 0 0 0 20 0 20 0 18533854 19566772224 830867 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
[pid=181657/tid=181678] ppid=181654 vsize=19108176 memory=3323468 CPUtime=0 cores=5,7
/proc/181657/task/181678/stat : 181678 (Timer-0) S 181654 181657 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18533890 19566772224 830867 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
Current children cumulated CPU time: 3371.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3323468 KiB

[startup+3462.3 s]
/proc/loadavg: 4.72 4.52 4.39 5/322 184446
/proc/meminfo: memFree=79100272/131655788 swapFree=131071472/131071996
[pid=181657] ppid=181654 vsize=19108176 memory=3323468 CPUtime=3430.86 cores=5,7
/proc/181657/stat : 181657 (java) S 181654 181657 176776 0 -1 1077936128 235165 0 0 0 341603 1483 0 0 20 0 20 0 18533847 19566772224 830867 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
/proc/181657/statm: 4777044 830867 5901 1 0 843297 0
[pid=181657/tid=181659] ppid=181654 vsize=19108176 memory=3323468 CPUtime=3381.53 cores=5,7
/proc/181657/task/181659/stat : 181659 (java) R 181654 181657 176776 0 -1 4194368 107616 0 0 0 336860 1293 0 0 20 0 20 0 18533848 19566772224 830867 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4369 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
[pid=181657/tid=181668] ppid=181654 vsize=19108176 memory=3323468 CPUtime=0 cores=5,7
/proc/181657/task/181668/stat : 181668 (Finalizer) S 181654 181657 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18533853 19566772224 830867 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
[pid=181657/tid=181675] ppid=181654 vsize=19108176 memory=3323468 CPUtime=0 cores=5,7
/proc/181657/task/181675/stat : 181675 (Common-Cleaner) S 181654 181657 176776 0 -1 1077936192 3610 0 0 0 0 0 0 0 20 0 20 0 18533854 19566772224 830867 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
[pid=181657/tid=181678] ppid=181654 vsize=19108176 memory=5460 CPUtime=0 cores=5,7
/proc/181657/task/181678/stat : 181678 (Timer-0) S 181654 181657 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18533890 19566772224 830867 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
Current children cumulated CPU time: 3430.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3323468 KiB

[startup+3522.3 s]
/proc/loadavg: 4.38 4.46 4.38 5/321 184456
/proc/meminfo: memFree=78483028/131655788 swapFree=131071472/131071996
[pid=181657] ppid=181654 vsize=19108176 memory=3323752 CPUtime=3491.61 cores=5,7
/proc/181657/stat : 181657 (java) S 181654 181657 176776 0 -1 1077936128 251265 0 0 0 347660 1501 0 0 20 0 20 0 18533847 19566772224 830938 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
/proc/181657/statm: 4777044 830938 5901 1 0 843306 0
[pid=181657/tid=181659] ppid=181654 vsize=19108176 memory=3323752 CPUtime=3440.87 cores=5,7
/proc/181657/task/181659/stat : 181659 (java) R 181654 181657 176776 0 -1 4194368 114847 0 0 0 342780 1307 0 0 20 0 20 0 18533848 19566772224 830938 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4383 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
[pid=181657/tid=181668] ppid=181654 vsize=19108176 memory=3323752 CPUtime=0 cores=5,7
/proc/181657/task/181668/stat : 181668 (Finalizer) S 181654 181657 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18533853 19566772224 830938 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
[pid=181657/tid=181675] ppid=181654 vsize=19108176 memory=3323468 CPUtime=0 cores=5,7
/proc/181657/task/181675/stat : 181675 (Common-Cleaner) S 181654 181657 176776 0 -1 1077936192 3612 0 0 0 0 0 0 0 20 0 20 0 18533854 19566772224 830938 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
[pid=181657/tid=181678] ppid=181654 vsize=19108176 memory=3323468 CPUtime=0 cores=5,7
/proc/181657/task/181678/stat : 181678 (Timer-0) S 181654 181657 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18533890 19566772224 830938 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
Current children cumulated CPU time: 3491.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3323752 KiB

[startup+3582.3 s]
/proc/loadavg: 4.22 4.41 4.36 5/323 184469
/proc/meminfo: memFree=77906504/131655788 swapFree=131071472/131071996
[pid=181657] ppid=181654 vsize=19108176 memory=3323752 CPUtime=3549.86 cores=5,7
/proc/181657/stat : 181657 (java) S 181654 181657 176776 0 -1 1077936128 253853 0 0 0 353469 1517 0 0 20 0 20 0 18533847 19566772224 830938 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
/proc/181657/statm: 4777044 830938 5901 1 0 843306 0
[pid=181657/tid=181659] ppid=181654 vsize=19108176 memory=3323752 CPUtime=3498.87 cores=5,7
/proc/181657/task/181659/stat : 181659 (java) R 181654 181657 176776 0 -1 4194368 116339 0 0 0 348567 1320 0 0 20 0 20 0 18533848 19566772224 830938 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4556 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
[pid=181657/tid=181668] ppid=181654 vsize=19108176 memory=3323752 CPUtime=0 cores=5,7
/proc/181657/task/181668/stat : 181668 (Finalizer) S 181654 181657 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18533853 19566772224 830938 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
[pid=181657/tid=181675] ppid=181654 vsize=19108176 memory=3323752 CPUtime=0 cores=5,7
/proc/181657/task/181675/stat : 181675 (Common-Cleaner) S 181654 181657 176776 0 -1 1077936192 3647 0 0 0 0 0 0 0 20 0 20 0 18533854 19566772224 830938 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
[pid=181657/tid=181678] ppid=181654 vsize=19108176 memory=13560 CPUtime=0 cores=5,7
/proc/181657/task/181678/stat : 181678 (Timer-0) S 181654 181657 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18533890 19566772224 830938 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
Current children cumulated CPU time: 3549.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3323752 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3632.5 s]
/proc/loadavg: 4.27 4.39 4.36 5/325 184481
/proc/meminfo: memFree=77435544/131655788 swapFree=131071472/131071996
[pid=181657] ppid=181654 vsize=19108176 memory=3323756 CPUtime=3600.02 cores=5,7
/proc/181657/stat : 181657 (java) S 181654 181657 176776 0 -1 1077936128 256014 0 0 0 358474 1528 0 0 20 0 20 0 18533847 19566772224 830939 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
/proc/181657/statm: 4777044 830939 5901 1 0 843306 0
[pid=181657/tid=181659] ppid=181654 vsize=19108176 memory=3323756 CPUtime=3548.8 cores=5,7
/proc/181657/task/181659/stat : 181659 (java) R 181654 181657 176776 0 -1 4194368 116949 0 0 0 353552 1328 0 0 20 0 20 0 18533848 19566772224 830939 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4560 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
[pid=181657/tid=181668] ppid=181654 vsize=19108176 memory=3323468 CPUtime=0 cores=5,7
/proc/181657/task/181668/stat : 181668 (Finalizer) S 181654 181657 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18533853 19566772224 830939 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
[pid=181657/tid=181675] ppid=181654 vsize=19108176 memory=5572 CPUtime=0 cores=5,7
/proc/181657/task/181675/stat : 181675 (Common-Cleaner) S 181654 181657 176776 0 -1 1077936192 3734 0 0 0 0 0 0 0 20 0 20 0 18533854 19566772224 830939 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
[pid=181657/tid=181678] ppid=181654 vsize=19108176 memory=13560 CPUtime=0 cores=5,7
/proc/181657/task/181678/stat : 181678 (Timer-0) S 181654 181657 176776 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18533890 19566772224 830939 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3323756 KiB

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

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

# cumulated CPU time of all completed processes:  user=3585.12 s, system=15.3085 s

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

[startup+3632.6 s]
/proc/loadavg: 4.27 4.39 4.36 5/325 184481
/proc/meminfo: memFree=77435544/131655788 swapFree=131071472/131071996
[pid=181657] ppid=181654 vsize=19307868 memory=3324504 CPUtime=3600.22 cores=5,7
/proc/181657/stat : 181657 (java) S 181654 181657 176776 0 -1 1077936128 258235 0 0 0 358494 1528 0 0 20 0 21 0 18533847 19771256832 831126 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
/proc/181657/statm: 4826967 831126 5900 1 0 844250 0
[pid=181657/tid=181659] ppid=181654 vsize=19307868 memory=2724 CPUtime=3548.88 cores=5,7
/proc/181657/task/181659/stat : 181659 (java) R 181654 181657 176776 0 -1 4194368 117083 0 0 0 353560 1328 0 0 20 0 21 0 18533848 19771256832 831126 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 4560 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
[pid=181657/tid=181668] ppid=181654 vsize=19307868 memory=4936 CPUtime=0 cores=5,7
/proc/181657/task/181668/stat : 181668 (Finalizer) S 181654 181657 176776 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 18533853 19771256832 831126 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
[pid=181657/tid=181675] ppid=181654 vsize=19307868 memory=1931100 CPUtime=0 cores=5,7
/proc/181657/task/181675/stat : 181675 (Common-Cleaner) S 181654 181657 176776 0 -1 1077936192 3734 0 0 0 0 0 0 0 20 0 21 0 18533854 19771256832 831126 134679101440 94049488486400 94049488490096 140734037137200 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94049488497912 94049488498704 94049490210816 140734037140395 140734037140577 140734037140577 140734037147592 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 3324504 KiB

[startup+3632.7 s]*
/proc/loadavg: 4.27 4.39 4.36 7/307 184484
/proc/meminfo: memFree=79672780/131655788 swapFree=131071472/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3632.74
CPU time (s): 3600.43
CPU user time (s): 3585.12
CPU system time (s): 15.3085
CPU usage (%): 99.1104
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 3665464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.12
system time used= 15.3085
maximum resident set size= 3665480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 258657
page faults= 0
swaps= 0
block input operations= 0
block output operations= 20092368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 119793
involuntary context switches= 8150


# summary of solver processes directly reported to runsolver:
#   pid: 181657
#   total CPU time (s): 3600.43
#   total CPU user time (s): 3585.12
#   total CPU system time (s): 15.3085

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.3234 second user time and 40.0213 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2024-07-24 14:50:49
IDJOB=4440584
IDBENCH=158504
IDSOLVER=3079
FILE ID=nodeC004/4440584-1721825449
RUNJOBID= nodeC004-1721820325-176945
SLURM_JOB_ID= 7891447
Free space on /tmp= 723644 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_2pm-0066-0066.lin.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-4440584-1721825449/watcher-4440584-1721825449 -o /tmp/evaluation-result-4440584-1721825449/solver-4440584-1721825449 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721820325-176945 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440584-1721825449 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440584-1721825449.opb

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

MD5SUM BENCH= f8aad9764d6c8bddbc050c5a2fe0206c
RANDOM SEED=390095140

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        109229320 kB
MemAvailable:   116411908 kB
Buffers:          250820 kB
Cached:          7727292 kB
SwapCached:           60 kB
Active:          2690720 kB
Inactive:       19076984 kB
Active(anon):       1436 kB
Inactive(anon): 13842104 kB
Active(file):    2689284 kB
Inactive(file):  5234880 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071472 kB
Dirty:             24132 kB
Writeback:             0 kB
AnonPages:      13787304 kB
Mapped:           134756 kB
Shmem:             53860 kB
KReclaimable:     197248 kB
Slab:             310372 kB
SReclaimable:     197248 kB
SUnreclaim:       113124 kB
KernelStack:        4928 kB
PageTables:        36832 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   26260040 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            20128 kB
HardwareCorrupted:     0 kB
AnonHugePages:  13451264 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:      392008 kB
DirectMap2M:    50892800 kB
DirectMap1G:    84934656 kB

Free space on /tmp at the end= 723768 MiB
End job on nodeC004 at 2024-07-24 15:51:22