Trace number 4451404

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution Default 2024-07-07? (TO) 3600.2 3605.5

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/
normalized-ECrand4regsplit-v110-n1.opb
MD5SUMc8af151b30782e1495a07a26686ba07d
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.026191
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables219
Total number of constraints110
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)110
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2106806208
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.13	--- Begin Solver configuration ---
0.13/0.13	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.13	Learn all clauses as in MiniSAT
0.13/0.13	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	No reason simplification
0.13/0.13	Glucose 2.1 dynamic restart strategy
0.13/0.13	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	timeout=2147483s
0.13/0.13	DB Simplification allowed=false
0.13/0.13	Listener: none
0.13/0.13	--- End Solver configuration ---
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c No reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4451404-1721433402.opb
0.13/0.13	c reading problem ... 
0.13/0.14	c  no objective function found
0.13/0.15	c ... done. Wall clock time 0.017s.
0.13/0.15	c declared #vars     219
0.13/0.15	c #constraints  220
0.13/0.15	c constraints type 
0.13/0.15	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 2
0.13/0.15	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 218
0.13/0.15	c 220 constraints processed.
0.69/0.43	c cleaning 2499 clauses out of 5001 with flag 30770/5001
0.89/0.60	c cleaning 4246 clauses out of 8502 with flag 72933/11001
1.32/0.83	c cleaning 5624 clauses out of 11255 with flag 123404/18000
1.63/1.08	c cleaning 6806 clauses out of 13631 with flag 178665/26000
1.93/1.37	c cleaning 7908 clauses out of 15825 with flag 249538/35000
2.33/1.73	c cleaning 8951 clauses out of 17917 with flag 320822/45000
2.83/2.19	c cleaning 9978 clauses out of 19967 with flag 400947/56001
3.32/2.62	c cleaning 10976 clauses out of 21988 with flag 483107/68000
3.82/3.13	c cleaning 12001 clauses out of 24014 with flag 585607/81002
4.42/3.78	c cleaning 12997 clauses out of 26011 with flag 703711/95000
5.12/4.47	c cleaning 13998 clauses out of 28014 with flag 831425/110000
5.92/5.22	c cleaning 15005 clauses out of 30017 with flag 961488/126001
6.84/6.17	c cleaning 15998 clauses out of 32012 with flag 1098837/143001
7.96/7.28	c cleaning 17001 clauses out of 34013 with flag 1259225/161000
8.87/8.16	c cleaning 18004 clauses out of 36013 with flag 1403990/180001
9.87/9.15	c cleaning 18995 clauses out of 38008 with flag 1551248/200000
10.96/10.25	c cleaning 19998 clauses out of 40013 with flag 1711899/221000
12.25/11.50	c cleaning 20999 clauses out of 42017 with flag 1892276/243002
13.27/12.58	c cleaning 22006 clauses out of 44018 with flag 2063919/266002
14.57/13.87	c cleaning 23002 clauses out of 46010 with flag 2252400/290000
16.07/15.31	c cleaning 23994 clauses out of 48008 with flag 2444133/315000
17.46/16.78	c cleaning 25000 clauses out of 50014 with flag 2661994/341000
18.96/18.21	c cleaning 25995 clauses out of 52015 with flag 2867016/368001
20.46/19.79	c cleaning 26999 clauses out of 54020 with flag 3089260/396001
22.15/21.45	c cleaning 28000 clauses out of 56020 with flag 3306476/425000
24.05/23.33	c cleaning 29007 clauses out of 58022 with flag 3543077/455002
26.15/25.42	c cleaning 30002 clauses out of 60013 with flag 3801506/486000
28.24/27.53	c cleaning 31003 clauses out of 62011 with flag 4053083/518000
30.34/29.65	c cleaning 31995 clauses out of 64009 with flag 4303887/551001
32.63/31.90	c cleaning 32997 clauses out of 66015 with flag 4579370/585002
35.03/34.32	c cleaning 34002 clauses out of 68017 with flag 4860397/620001
37.52/36.81	c cleaning 35000 clauses out of 70014 with flag 5149207/656000
40.21/39.58	c cleaning 36000 clauses out of 72014 with flag 5441791/693000
43.21/42.51	c cleaning 36998 clauses out of 74015 with flag 5751881/731001
46.20/45.59	c cleaning 38000 clauses out of 76018 with flag 6064801/770002
49.60/48.91	c cleaning 39007 clauses out of 78019 with flag 6417016/810003
53.19/52.53	c cleaning 39998 clauses out of 80009 with flag 6781577/851000
56.70/56.05	c cleaning 40999 clauses out of 82014 with flag 7134034/893003
60.39/59.76	c cleaning 41998 clauses out of 84013 with flag 7502719/936001
64.29/63.63	c cleaning 42997 clauses out of 86014 with flag 7885562/980000
67.89/67.29	c cleaning 43997 clauses out of 88017 with flag 8252617/1025000
71.98/71.34	c cleaning 45004 clauses out of 90021 with flag 8636140/1071001
75.97/75.34	c cleaning 45994 clauses out of 92016 with flag 9043386/1118000
80.26/79.67	c cleaning 46999 clauses out of 94023 with flag 9431188/1166001
84.59/83.94	c cleaning 48006 clauses out of 96023 with flag 9837541/1215000
89.08/88.45	c cleaning 48998 clauses out of 98018 with flag 10260923/1265001
94.07/93.41	c cleaning 50001 clauses out of 100020 with flag 10694137/1316001
99.36/98.71	c cleaning 51001 clauses out of 102018 with flag 11167314/1368000
104.35/103.72	c cleaning 52003 clauses out of 104018 with flag 11613489/1421001
109.35/108.79	c cleaning 53003 clauses out of 106016 with flag 12081209/1475002
115.04/114.43	c cleaning 54001 clauses out of 108012 with flag 12544674/1530001
120.84/120.28	c cleaning 55000 clauses out of 110012 with flag 13027542/1586002
126.52/125.92	c cleaning 55997 clauses out of 112011 with flag 13495154/1643001
132.44/131.80	c cleaning 56997 clauses out of 114015 with flag 13965745/1701002
138.03/137.48	c cleaning 58004 clauses out of 116016 with flag 14449530/1760000
144.21/143.67	c cleaning 58992 clauses out of 118013 with flag 15006517/1820001
150.81/150.28	c cleaning 60005 clauses out of 120020 with flag 15525320/1881000
157.09/156.53	c cleaning 61004 clauses out of 122015 with flag 16032864/1943000
163.59/163.05	c cleaning 62001 clauses out of 124012 with flag 16566945/2006001
170.38/169.83	c cleaning 63001 clauses out of 126012 with flag 17088766/2070002
177.50/176.90	c cleaning 64002 clauses out of 128009 with flag 17630788/2135000
185.18/184.66	c cleaning 65001 clauses out of 130008 with flag 18228634/2201001
192.67/192.19	c cleaning 65992 clauses out of 132007 with flag 18797976/2268001
200.56/200.09	c cleaning 67001 clauses out of 134017 with flag 19389701/2336003
208.66/208.19	c cleaning 67997 clauses out of 136014 with flag 19992956/2405001
217.43/216.95	c cleaning 69003 clauses out of 138016 with flag 20611177/2475000
225.92/225.40	c cleaning 70000 clauses out of 140014 with flag 21202775/2546001
234.64/234.16	c cleaning 71001 clauses out of 142013 with flag 21818724/2618000
243.12/242.60	c cleaning 72003 clauses out of 144012 with flag 22440305/2691000
251.61/251.16	c cleaning 73004 clauses out of 146011 with flag 23061835/2765002
260.90/260.44	c cleaning 73991 clauses out of 148007 with flag 23706193/2840002
269.99/269.50	c cleaning 75001 clauses out of 150015 with flag 24330367/2916001
279.58/279.16	c cleaning 75998 clauses out of 152013 with flag 24988040/2993000
290.05/289.62	c cleaning 76993 clauses out of 154016 with flag 25684237/3071001
300.45/300.03	c cleaning 78009 clauses out of 156022 with flag 26388999/3150000
310.53/310.17	c cleaning 78998 clauses out of 158015 with flag 27086686/3230002
321.00/320.66	c cleaning 80001 clauses out of 160015 with flag 27785408/3311000
331.39/331.06	c cleaning 81001 clauses out of 162015 with flag 28474639/3393001
342.16/341.83	c cleaning 82002 clauses out of 164013 with flag 29166051/3476000
353.45/353.18	c cleaning 82995 clauses out of 166011 with flag 29885693/3560000
365.35/365.03	c cleaning 84001 clauses out of 168017 with flag 30626766/3645001
377.43/377.11	c cleaning 85000 clauses out of 170015 with flag 31372750/3731000
389.50/389.22	c cleaning 86001 clauses out of 172015 with flag 32114421/3818000
401.76/401.54	c cleaning 87004 clauses out of 174014 with flag 32872521/3906000
416.13/416.00	c cleaning 87998 clauses out of 176010 with flag 33654240/3995000
429.31/429.17	c cleaning 89005 clauses out of 178017 with flag 34430001/4085005
442.88/442.79	c cleaning 89997 clauses out of 180007 with flag 35222540/4176000
456.74/456.67	c cleaning 91000 clauses out of 182012 with flag 36034570/4268002
470.81/470.79	c cleaning 91996 clauses out of 184012 with flag 36844911/4361002
484.73/484.62	c cleaning 92999 clauses out of 186015 with flag 37669643/4455001
498.30/498.29	c cleaning 94000 clauses out of 188016 with flag 38526752/4550001
512.87/512.82	c cleaning 95002 clauses out of 190015 with flag 39355811/4646000
527.25/527.20	c cleaning 95999 clauses out of 192014 with flag 40215840/4743001
542.06/542.10	c cleaning 96993 clauses out of 194014 with flag 41053746/4841000
558.51/558.53	c cleaning 98006 clauses out of 196023 with flag 41952419/4940002
573.69/573.70	c cleaning 98995 clauses out of 198016 with flag 42815758/5040001
590.15/590.22	c cleaning 100001 clauses out of 200020 with flag 43711108/5141000
606.93/607.04	c cleaning 101000 clauses out of 202019 with flag 44619303/5243000
623.99/624.06	c cleaning 102005 clauses out of 204019 with flag 45559816/5346000
640.15/640.25	c cleaning 102994 clauses out of 206014 with flag 46452470/5450000
656.52/656.64	c cleaning 104004 clauses out of 208022 with flag 47333829/5555002
674.78/674.93	c cleaning 105002 clauses out of 210016 with flag 48302438/5661000
691.95/692.18	c cleaning 106001 clauses out of 212014 with flag 49245933/5768000
708.84/709.15	c cleaning 106999 clauses out of 214015 with flag 50162699/5876002
726.52/726.92	c cleaning 108005 clauses out of 216015 with flag 51120233/5985001
745.79/746.21	c cleaning 109002 clauses out of 218009 with flag 52084461/6095000
764.55/765.05	c cleaning 109997 clauses out of 220007 with flag 53097589/6206000
783.41/783.96	c cleaning 111000 clauses out of 222011 with flag 54082913/6318001
803.97/804.55	c cleaning 111997 clauses out of 224010 with flag 55071920/6431000
823.00/823.58	c cleaning 113004 clauses out of 226014 with flag 56090432/6545001
849.65/850.27	c cleaning 113998 clauses out of 228009 with flag 57166958/6660000
870.61/871.26	c cleaning 114998 clauses out of 230012 with flag 58200526/6776001
891.86/892.54	c cleaning 115995 clauses out of 232013 with flag 59201170/6893000
913.02/913.75	c cleaning 116995 clauses out of 234019 with flag 60234618/7011001
932.79/933.56	c cleaning 118002 clauses out of 236023 with flag 61234904/7130000
954.25/955.02	c cleaning 119001 clauses out of 238022 with flag 62283747/7250001
977.04/977.89	c cleaning 120004 clauses out of 240024 with flag 63375102/7371004
1003.59/1004.43	c cleaning 121004 clauses out of 242018 with flag 64466144/7493002
1026.64/1027.50	c cleaning 121999 clauses out of 244014 with flag 65582109/7616002
1051.59/1052.54	c cleaning 123000 clauses out of 246013 with flag 66686394/7740000
1075.45/1076.41	c cleaning 123999 clauses out of 248014 with flag 67819207/7865001
1099.90/1100.98	c cleaning 125003 clauses out of 250015 with flag 68928761/7991001
1124.06/1125.13	c cleaning 126000 clauses out of 252012 with flag 70054197/8118001
1148.60/1149.72	c cleaning 127001 clauses out of 254011 with flag 71216971/8246000
1173.57/1174.86	c cleaning 127996 clauses out of 256010 with flag 72388457/8375000
1198.63/1200.12	c cleaning 129003 clauses out of 258015 with flag 73548845/8505001
1223.97/1225.56	c cleaning 129999 clauses out of 260012 with flag 74683037/8636001
1250.42/1252.00	c cleaning 131000 clauses out of 262013 with flag 75840176/8768001
1277.26/1279.00	c cleaning 132000 clauses out of 264012 with flag 77049313/8901000
1305.01/1306.78	c cleaning 133002 clauses out of 266013 with flag 78283145/9035001
1333.63/1335.42	c cleaning 134002 clauses out of 268010 with flag 79532852/9170000
1361.37/1363.27	c cleaning 134997 clauses out of 270008 with flag 80736717/9306000
1390.50/1392.49	c cleaning 136002 clauses out of 272011 with flag 81944749/9443000
1419.13/1421.13	c cleaning 137000 clauses out of 274009 with flag 83134025/9581000
1457.94/1460.08	c cleaning 137998 clauses out of 276010 with flag 84595531/9720001
1486.36/1488.50	c cleaning 138996 clauses out of 278012 with flag 85838816/9860001
1516.39/1518.66	c cleaning 140000 clauses out of 280016 with flag 87052003/10001001
1547.21/1549.59	c cleaning 141003 clauses out of 282015 with flag 88311439/10143000
1577.84/1580.29	c cleaning 142000 clauses out of 284013 with flag 89612560/10286001
1608.67/1611.18	c cleaning 143001 clauses out of 286012 with flag 90871693/10430000
1643.38/1645.92	c cleaning 143994 clauses out of 288011 with flag 92274647/10575000
1675.65/1678.17	c cleaning 145005 clauses out of 290017 with flag 93556747/10721000
1707.08/1709.67	c cleaning 146000 clauses out of 292012 with flag 94847442/10868000
1740.62/1743.21	c cleaning 147001 clauses out of 294013 with flag 96162960/11016001
1775.47/1778.12	c cleaning 148004 clauses out of 296015 with flag 97523514/11165004
1811.69/1814.43	c cleaning 148994 clauses out of 298008 with flag 98988143/11315001
1845.83/1848.60	c cleaning 149996 clauses out of 300013 with flag 100421520/11466000
1880.47/1883.32	c cleaning 151005 clauses out of 302017 with flag 101763659/11618000
1915.34/1917.82	c cleaning 151996 clauses out of 304012 with flag 103068479/11771000
1949.97/1952.56	c cleaning 153002 clauses out of 306017 with flag 104435749/11925001
1986.41/1989.08	c cleaning 153999 clauses out of 308014 with flag 105826908/12080000
2021.35/2024.03	c cleaning 154997 clauses out of 310015 with flag 107186278/12236000
2057.98/2060.76	c cleaning 156007 clauses out of 312021 with flag 108573134/12393003
2093.57/2096.33	c cleaning 156997 clauses out of 314011 with flag 109964825/12551000
2130.45/2133.26	c cleaning 158001 clauses out of 316017 with flag 111359207/12710003
2171.67/2174.56	c cleaning 159003 clauses out of 318014 with flag 112806407/12870001
2210.40/2213.30	c cleaning 159992 clauses out of 320010 with flag 114272789/13031000
2249.83/2252.89	c cleaning 161003 clauses out of 322018 with flag 115758226/13193000
2290.36/2293.49	c cleaning 161999 clauses out of 324015 with flag 117245137/13356000
2330.18/2333.35	c cleaning 163005 clauses out of 326017 with flag 118739291/13520001
2371.91/2375.12	c cleaning 164000 clauses out of 328011 with flag 120201021/13685000
2412.44/2415.74	c cleaning 165001 clauses out of 330012 with flag 121690752/13851001
2453.77/2457.14	c cleaning 166000 clauses out of 332010 with flag 123231824/14018000
2498.97/2502.44	c cleaning 167002 clauses out of 334010 with flag 124740031/14186000
2541.28/2544.77	c cleaning 168000 clauses out of 336009 with flag 126251396/14355001
2586.09/2589.68	c cleaning 168992 clauses out of 338008 with flag 127864715/14525000
2631.52/2635.12	c cleaning 170005 clauses out of 340016 with flag 129404816/14696000
2676.34/2680.07	c cleaning 171002 clauses out of 342013 with flag 130966126/14868002
2721.26/2725.04	c cleaning 171998 clauses out of 344010 with flag 132562717/15041001
2764.88/2768.79	c cleaning 172996 clauses out of 346011 with flag 134066613/15215000
2811.49/2815.46	c cleaning 174006 clauses out of 348016 with flag 135647809/15390001
2858.31/2862.37	c cleaning 174998 clauses out of 350009 with flag 137200786/15566000
2903.63/2907.77	c cleaning 176000 clauses out of 352011 with flag 138801636/15743000
2951.82/2955.97	c cleaning 176999 clauses out of 354011 with flag 140455421/15921000
2998.62/3002.88	c cleaning 178001 clauses out of 356013 with flag 142026362/16100001
3048.01/3052.39	c cleaning 178998 clauses out of 358011 with flag 143711520/16280000
3091.81/3096.23	c cleaning 179999 clauses out of 360014 with flag 145372861/16461001
3133.52/3138.10	c cleaning 180999 clauses out of 362014 with flag 147021876/16643000
3176.51/3181.18	c cleaning 181998 clauses out of 364016 with flag 148669687/16826001
3220.31/3225.00	c cleaning 182996 clauses out of 366017 with flag 150339221/17010000
3262.51/3267.39	c cleaning 184005 clauses out of 368021 with flag 152042303/17195000
3307.71/3312.69	c cleaning 185003 clauses out of 370016 with flag 153756967/17381000
3352.01/3357.00	c cleaning 185998 clauses out of 372014 with flag 155437821/17568001
3396.21/3401.33	c cleaning 187000 clauses out of 374016 with flag 157135190/17756001
3443.03/3448.16	c cleaning 187998 clauses out of 376016 with flag 158878902/17945001
3488.15/3493.35	c cleaning 189003 clauses out of 378017 with flag 160580554/18135000
3535.16/3540.42	c cleaning 190004 clauses out of 380014 with flag 162322497/18326000
3583.87/3589.26	c cleaning 191002 clauses out of 382011 with flag 164053144/18518001
3600.05/3605.41	c starts		: 15753
3600.05/3605.41	c timeout
3600.05/3605.42	c conflicts		: 18590736
3600.05/3605.42	c decisions		: 21082755
3600.05/3605.42	c propagations		: 461829143
3600.05/3605.42	c inspects		: 62866041210
3600.05/3605.42	c shortcuts		: 0
3600.05/3605.42	c learnt literals	: 0
3600.05/3605.42	c learnt binary clauses	: 0
3600.05/3605.42	c learnt ternary clauses	: 0
3600.05/3605.42	c learnt constraints	: 18590736
3600.05/3605.42	c ignored constraints	: 0
3600.05/3605.42	c root simplifications	: 0
3600.05/3605.42	c removed literals (reason simplification)	: 0
3600.05/3605.42	c reason swapping (by a shorter reason)	: 0
3600.05/3605.42	c Calls to reduceDB	: 188
3600.05/3605.43	c Number of update (reduction) of LBD	: 3877767
3600.05/3605.43	c Imported unit clauses	: 0
3600.05/3605.43	c No decision after first conflict	: false
3600.05/3605.43	c number of reductions to clauses (during analyze)	: 0
3600.05/3605.43	c number of learned constraints concerned by reduction	: 0
3600.05/3605.43	c number of learning phase by resolution	: 0
3600.05/3605.43	c number of learning phase by cutting planes	: 0
3600.05/3605.43	c number of rounding to 1 operations	: 0
3600.05/3605.43	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3605.43	c number of reductions of the coefficients by power 2 	: 0
3600.05/3605.43	c number of right shift for reduction by power 2 	: 0
3600.05/3605.43	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3605.43	c number of ending skipping 	: 0
3600.05/3605.43	c number of internal skipping 	: 0
3600.05/3605.43	c number of derivation steps 	: 0
3600.05/3605.43	c number of skipped derivation steps 	: 0
3600.05/3605.43	c number of remaining unassigned 	: 0
3600.05/3605.43	c number of remaining assigned 	: 0
3600.05/3605.43	c number of falsified literals weakened from reason	: 0
3600.05/3605.43	c number of falsified literals weakened from conflict	: 0
3600.05/3605.43	c time for arithmetic operations	: 0
3600.05/3605.44	c minimum degree of deleted constraints	: null
3600.05/3605.44	c maximum degree of deleted constraints	: null
3600.05/3605.44	c number of deleted constraints	: 0
3600.05/3605.44	c speed (assignments/second)	: 128098.31577154671
3600.05/3605.44	c non guided choices	: 9593
3600.05/3605.48	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 263744
3600.05/3605.48	s UNKNOWN
3600.05/3605.48	c Total wall clock time (in seconds): 3605.349

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (59589 MiB free)
  memory of node 1: 64473 MiB (61313 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451404-1721433402/watcher-4451404-1721433402 -o /tmp/evaluation-result-4451404-1721433402/solver-4451404-1721433402 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721425652-1074935 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4451404-1721433402.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.101974 s]*
/proc/loadavg: 4.13 4.19 4.17 5/332 1080734
/proc/meminfo: memFree=123761672/131524600 swapFree=131071996/131071996
[pid=1080716] ppid=1080713 vsize=18975048 memory=62344 CPUtime=0.13 cores=5,7
/proc/1080716/stat : 1080716 (java) S 1080713 1080716 1074922 0 -1 1077936128 7189 0 0 0 11 2 0 0 20 0 18 0 195508264 19430449152 15586 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
/proc/1080716/statm: 4743762 15586 5529 1 0 549308 0
[pid=1080716/tid=1080718] ppid=1080713 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/1080716/task/1080718/stat : 1080718 (java) R 1080713 1080716 1074922 0 -1 1077936192 5722 0 0 0 6 2 0 0 20 0 18 0 195508264 19430449152 15586 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
[pid=1080716/tid=1080727] ppid=1080713 vsize=18975048 memory=237146210664 CPUtime=0 cores=5,7
/proc/1080716/task/1080727/stat : 1080727 (Finalizer) S 1080713 1080716 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 195508267 19430449152 15586 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
[pid=1080716/tid=1080734] ppid=1080713 vsize=18975048 memory=13564899112540450 CPUtime=0 cores=5,7
/proc/1080716/task/1080734/stat : 1080734 (Common-Cleaner) S 1080713 1080716 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 195508267 19430449152 15586 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62344 KiB

[startup+0.209481 s]*
/proc/loadavg: 4.13 4.19 4.17 7/333 1080735
/proc/meminfo: memFree=123756320/131524600 swapFree=131071996/131071996
[pid=1080716] ppid=1080713 vsize=19041612 memory=68708 CPUtime=0.31 cores=5,7
/proc/1080716/stat : 1080716 (java) S 1080713 1080716 1074922 0 -1 1077936128 8685 0 0 0 28 3 0 0 20 0 19 0 195508264 19498610688 17177 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
/proc/1080716/statm: 4760403 17177 5817 1 0 550291 0
[pid=1080716/tid=1080718] ppid=1080713 vsize=19041612 memory=6876556183782621315 CPUtime=0.16 cores=5,7
/proc/1080716/task/1080718/stat : 1080718 (java) R 1080713 1080716 1074922 0 -1 4194368 5930 0 0 0 14 2 0 0 20 0 19 0 195508264 19498610688 17177 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
[pid=1080716/tid=1080727] ppid=1080713 vsize=19041612 memory=17016 CPUtime=0 cores=5,7
/proc/1080716/task/1080727/stat : 1080727 (Finalizer) S 1080713 1080716 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195508267 19498610688 17177 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
[pid=1080716/tid=1080734] ppid=1080713 vsize=19041612 memory=14971170189477532 CPUtime=0 cores=5,7
/proc/1080716/task/1080734/stat : 1080734 (Common-Cleaner) S 1080713 1080716 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 195508267 19498610688 17177 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
[pid=1080716/tid=1080735] ppid=1080713 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1080716/task/1080735/stat : 1080735 (Timer-0) S 1080713 1080716 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 195508280 19498610688 17177 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 68708 KiB

[startup+0.3059 s]*
/proc/loadavg: 4.13 4.19 4.17 7/333 1080735
/proc/meminfo: memFree=123753784/131524600 swapFree=131071996/131071996
[pid=1080716] ppid=1080713 vsize=19041612 memory=70732 CPUtime=0.5 cores=5,7
/proc/1080716/stat : 1080716 (java) S 1080713 1080716 1074922 0 -1 1077936128 9401 0 0 0 47 3 0 0 20 0 19 0 195508264 19498610688 17683 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
/proc/1080716/statm: 4760403 17683 5817 1 0 550674 0
[pid=1080716/tid=1080718] ppid=1080713 vsize=19041612 memory=-7811033386257115744 CPUtime=0.25 cores=5,7
/proc/1080716/task/1080718/stat : 1080718 (java) R 1080713 1080716 1074922 0 -1 4194368 5937 0 0 0 23 2 0 0 20 0 19 0 195508264 19498610688 17683 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
[pid=1080716/tid=1080727] ppid=1080713 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1080716/task/1080727/stat : 1080727 (Finalizer) S 1080713 1080716 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195508267 19498610688 17683 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
[pid=1080716/tid=1080734] ppid=1080713 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1080716/task/1080734/stat : 1080734 (Common-Cleaner) S 1080713 1080716 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 195508267 19498610688 17683 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
[pid=1080716/tid=1080735] ppid=1080713 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1080716/task/1080735/stat : 1080735 (Timer-0) S 1080713 1080716 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 195508280 19498610688 17683 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 70732 KiB

[startup+0.700478 s]
/proc/loadavg: 4.13 4.19 4.17 6/333 1080735
/proc/meminfo: memFree=123740892/131524600 swapFree=131071996/131071996
[pid=1080716] ppid=1080713 vsize=19041612 memory=86648 CPUtime=1.22 cores=5,7
/proc/1080716/stat : 1080716 (java) S 1080713 1080716 1074922 0 -1 1077936128 12123 0 0 0 119 3 0 0 20 0 19 0 195508264 19498610688 21662 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
/proc/1080716/statm: 4760403 21662 5833 1 0 552535 0
[pid=1080716/tid=1080718] ppid=1080713 vsize=19041612 memory=47120 CPUtime=0.61 cores=5,7
/proc/1080716/task/1080718/stat : 1080718 (java) R 1080713 1080716 1074922 0 -1 4194368 5978 0 0 0 59 2 0 0 20 0 19 0 195508264 19498610688 21662 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
[pid=1080716/tid=1080727] ppid=1080713 vsize=19041612 memory=13116 CPUtime=0 cores=5,7
/proc/1080716/task/1080727/stat : 1080727 (Finalizer) S 1080713 1080716 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195508267 19498610688 21662 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
[pid=1080716/tid=1080734] ppid=1080713 vsize=19041612 memory=2212 CPUtime=0 cores=5,7
/proc/1080716/task/1080734/stat : 1080734 (Common-Cleaner) S 1080713 1080716 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 195508267 19498610688 21662 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
[pid=1080716/tid=1080735] ppid=1080713 vsize=19041612 memory=1900 CPUtime=0 cores=5,7
/proc/1080716/task/1080735/stat : 1080735 (Timer-0) S 1080713 1080716 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 195508280 19498610688 21662 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 86648 KiB

[startup+1.50049 s]
/proc/loadavg: 4.13 4.19 4.17 5/333 1080735
/proc/meminfo: memFree=123732836/131524600 swapFree=131071996/131071996
[pid=1080716] ppid=1080713 vsize=19041612 memory=95740 CPUtime=2.13 cores=5,7
/proc/1080716/stat : 1080716 (java) S 1080713 1080716 1074922 0 -1 1077936128 13570 0 0 0 209 4 0 0 20 0 19 0 195508264 19498610688 23935 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
/proc/1080716/statm: 4760403 23935 5833 1 0 552702 0
[pid=1080716/tid=1080718] ppid=1080713 vsize=19041612 memory=13116 CPUtime=1.4 cores=5,7
/proc/1080716/task/1080718/stat : 1080718 (java) R 1080713 1080716 1074922 0 -1 4194368 6294 0 0 0 138 2 0 0 20 0 19 0 195508264 19498610688 23935 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
[pid=1080716/tid=1080727] ppid=1080713 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1080716/task/1080727/stat : 1080727 (Finalizer) S 1080713 1080716 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195508267 19498610688 23935 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
[pid=1080716/tid=1080734] ppid=1080713 vsize=19041612 memory=2212 CPUtime=0 cores=5,7
/proc/1080716/task/1080734/stat : 1080734 (Common-Cleaner) S 1080713 1080716 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 195508267 19498610688 23935 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
[pid=1080716/tid=1080735] ppid=1080713 vsize=19041612 memory=1900 CPUtime=0 cores=5,7
/proc/1080716/task/1080735/stat : 1080735 (Timer-0) S 1080713 1080716 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 195508280 19498610688 23935 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
Current children cumulated CPU time: 2.13 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 95740 KiB

[startup+3.10564 s]
/proc/loadavg: 4.13 4.19 4.17 5/333 1080735
/proc/meminfo: memFree=123708144/131524600 swapFree=131071996/131071996
[pid=1080716] ppid=1080713 vsize=19041612 memory=110348 CPUtime=3.82 cores=5,7
/proc/1080716/stat : 1080716 (java) S 1080713 1080716 1074922 0 -1 1077936128 15992 0 0 0 378 4 0 0 20 0 19 0 195508264 19498610688 27587 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
/proc/1080716/statm: 4760403 27587 5833 1 0 552702 0
[pid=1080716/tid=1080718] ppid=1080713 vsize=19041612 memory=0 CPUtime=3 cores=5,7
/proc/1080716/task/1080718/stat : 1080718 (java) R 1080713 1080716 1074922 0 -1 4194368 6560 0 0 0 297 3 0 0 20 0 19 0 195508264 19498610688 27587 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
[pid=1080716/tid=1080727] ppid=1080713 vsize=19041612 memory=-7811033386257115744 CPUtime=0 cores=5,7
/proc/1080716/task/1080727/stat : 1080727 (Finalizer) S 1080713 1080716 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195508267 19498610688 27587 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
[pid=1080716/tid=1080734] ppid=1080713 vsize=19041612 memory=13116 CPUtime=0 cores=5,7
/proc/1080716/task/1080734/stat : 1080734 (Common-Cleaner) S 1080713 1080716 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 195508267 19498610688 27587 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
[pid=1080716/tid=1080735] ppid=1080713 vsize=19041612 memory=2212 CPUtime=0 cores=5,7
/proc/1080716/task/1080735/stat : 1080735 (Timer-0) S 1080713 1080716 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 195508280 19498610688 27587 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
Current children cumulated CPU time: 3.82 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 110348 KiB

[startup+6.30027 s]
/proc/loadavg: 4.12 4.19 4.17 5/333 1080735
/proc/meminfo: memFree=123680616/131524600 swapFree=131071996/131071996
[pid=1080716] ppid=1080713 vsize=19041612 memory=129472 CPUtime=7.06 cores=5,7
/proc/1080716/stat : 1080716 (java) S 1080713 1080716 1074922 0 -1 1077936128 18941 0 0 0 702 4 0 0 20 0 19 0 195508264 19498610688 32368 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
/proc/1080716/statm: 4760403 32368 5833 1 0 552704 0
[pid=1080716/tid=1080718] ppid=1080713 vsize=19041612 memory=2212 CPUtime=6.18 cores=5,7
/proc/1080716/task/1080718/stat : 1080718 (java) R 1080713 1080716 1074922 0 -1 4194368 7234 0 0 0 615 3 0 0 20 0 19 0 195508264 19498610688 32368 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
[pid=1080716/tid=1080727] ppid=1080713 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1080716/task/1080727/stat : 1080727 (Finalizer) S 1080713 1080716 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 195508267 19498610688 32368 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
[pid=1080716/tid=1080734] ppid=1080713 vsize=19041612 memory=13116 CPUtime=0 cores=5,7
/proc/1080716/task/1080734/stat : 1080734 (Common-Cleaner) S 1080713 1080716 1074922 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 195508267 19498610688 32368 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
[pid=1080716/tid=1080735] ppid=1080713 vsize=19041612 memory=-2832536777585008440 CPUtime=0 cores=5,7
/proc/1080716/task/1080735/stat : 1080735 (Timer-0) S 1080713 1080716 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 195508280 19498610688 32368 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
Current children cumulated CPU time: 7.06 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 129472 KiB

[startup+12.7003 s]
/proc/loadavg: 4.19 4.20 4.17 5/334 1080738
/proc/meminfo: memFree=123620456/131524600 swapFree=131071996/131071996
[pid=1080716] ppid=1080713 vsize=19108176 memory=175204 CPUtime=13.47 cores=5,7
/proc/1080716/stat : 1080716 (java) S 1080713 1080716 1074922 0 -1 1077936128 22156 0 0 0 1341 6 0 0 20 0 20 0 195508264 19566772224 43801 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
/proc/1080716/statm: 4777044 43801 5881 1 0 552993 0
[pid=1080716/tid=1080718] ppid=1080713 vsize=19108176 memory=13116 CPUtime=12.56 cores=5,7
/proc/1080716/task/1080718/stat : 1080718 (java) R 1080713 1080716 1074922 0 -1 4194368 8251 0 0 0 1252 4 0 0 20 0 20 0 195508264 19566772224 43801 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
[pid=1080716/tid=1080727] ppid=1080713 vsize=19108176 memory=149972 CPUtime=0 cores=5,7
/proc/1080716/task/1080727/stat : 1080727 (Finalizer) S 1080713 1080716 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195508267 19566772224 43801 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
[pid=1080716/tid=1080734] ppid=1080713 vsize=19108176 memory=47120 CPUtime=0 cores=5,7
/proc/1080716/task/1080734/stat : 1080734 (Common-Cleaner) S 1080713 1080716 1074922 0 -1 1077936192 61 0 0 0 0 0 0 0 20 0 20 0 195508267 19566772224 43801 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
[pid=1080716/tid=1080735] ppid=1080713 vsize=19108176 memory=13116 CPUtime=0 cores=5,7
/proc/1080716/task/1080735/stat : 1080735 (Timer-0) S 1080713 1080716 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195508280 19566772224 43801 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
Current children cumulated CPU time: 13.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 175204 KiB

[startup+25.5003 s]
/proc/loadavg: 4.15 4.19 4.17 5/334 1080739
/proc/meminfo: memFree=123585316/131524600 swapFree=131071996/131071996
[pid=1080716] ppid=1080713 vsize=19108176 memory=181472 CPUtime=26.25 cores=5,7
/proc/1080716/stat : 1080716 (java) S 1080713 1080716 1074922 0 -1 1077936128 24880 0 0 0 2619 6 0 0 20 0 20 0 195508264 19566772224 45368 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
/proc/1080716/statm: 4777044 45368 5881 1 0 552993 0
[pid=1080716/tid=1080718] ppid=1080713 vsize=19108176 memory=6944656574621848725 CPUtime=25.3 cores=5,7
/proc/1080716/task/1080718/stat : 1080718 (java) R 1080713 1080716 1074922 0 -1 4194368 9483 0 0 0 2526 4 0 0 20 0 20 0 195508264 19566772224 45368 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
[pid=1080716/tid=1080727] ppid=1080713 vsize=19108176 memory=11396 CPUtime=0 cores=5,7
/proc/1080716/task/1080727/stat : 1080727 (Finalizer) S 1080713 1080716 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195508267 19566772224 45368 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
[pid=1080716/tid=1080734] ppid=1080713 vsize=19108176 memory=3522 CPUtime=0 cores=5,7
/proc/1080716/task/1080734/stat : 1080734 (Common-Cleaner) S 1080713 1080716 1074922 0 -1 1077936192 61 0 0 0 0 0 0 0 20 0 20 0 195508267 19566772224 45368 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
[pid=1080716/tid=1080735] ppid=1080713 vsize=19108176 memory=13116 CPUtime=0 cores=5,7
/proc/1080716/task/1080735/stat : 1080735 (Timer-0) S 1080713 1080716 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195508280 19566772224 45368 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
Current children cumulated CPU time: 26.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 181472 KiB

[startup+51.1058 s]
/proc/loadavg: 4.10 4.17 4.16 5/334 1080746
/proc/meminfo: memFree=123434884/131524600 swapFree=131071996/131071996
[pid=1080716] ppid=1080713 vsize=19108176 memory=212240 CPUtime=51.8 cores=5,7
/proc/1080716/stat : 1080716 (java) S 1080713 1080716 1074922 0 -1 1077936128 26733 0 0 0 5173 7 0 0 20 0 20 0 195508264 19566772224 53060 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
/proc/1080716/statm: 4777044 53060 5881 1 0 552993 0

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

/proc/meminfo: memFree=122850416/131524600 swapFree=131071996/131071996
[pid=1080716] ppid=1080713 vsize=19108176 memory=2155404 CPUtime=3217.61 cores=5,7
/proc/1080716/stat : 1080716 (java) S 1080713 1080716 1074922 0 -1 1077936128 118465 0 0 0 321637 124 0 0 20 0 20 0 195508264 19566772224 538851 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
/proc/1080716/statm: 4777044 538851 5929 1 0 557885 0
[pid=1080716/tid=1080718] ppid=1080713 vsize=19108176 memory=0 CPUtime=3212.07 cores=5,7
/proc/1080716/task/1080718/stat : 1080718 (java) R 1080713 1080716 1074922 0 -1 4194368 62526 0 0 0 321186 21 0 0 20 0 20 0 195508264 19566772224 538851 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
[pid=1080716/tid=1080727] ppid=1080713 vsize=19108176 memory=16236 CPUtime=0 cores=5,7
/proc/1080716/task/1080727/stat : 1080727 (Finalizer) S 1080713 1080716 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195508267 19566772224 538851 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
[pid=1080716/tid=1080734] ppid=1080713 vsize=19108176 memory=2155404 CPUtime=0 cores=5,7
/proc/1080716/task/1080734/stat : 1080734 (Common-Cleaner) S 1080713 1080716 1074922 0 -1 1077936192 4391 0 0 0 0 0 0 0 20 0 20 0 195508267 19566772224 538851 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
[pid=1080716/tid=1080735] ppid=1080713 vsize=19108176 memory=2155404 CPUtime=0 cores=5,7
/proc/1080716/task/1080735/stat : 1080735 (Timer-0) S 1080713 1080716 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195508280 19566772224 538851 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
Current children cumulated CPU time: 3217.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2155404 KiB

[startup+3282.3 s]
/proc/loadavg: 2.22 3.13 3.70 3/282 1082282
/proc/meminfo: memFree=122849916/131524600 swapFree=131071996/131071996
[pid=1080716] ppid=1080713 vsize=19108176 memory=2155404 CPUtime=3277.47 cores=5,7
/proc/1080716/stat : 1080716 (java) S 1080713 1080716 1074922 0 -1 1077936128 119814 0 0 0 327622 125 0 0 20 0 20 0 195508264 19566772224 538851 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
/proc/1080716/statm: 4777044 538851 5929 1 0 557885 0
[pid=1080716/tid=1080718] ppid=1080713 vsize=19108176 memory=2155404 CPUtime=3271.91 cores=5,7
/proc/1080716/task/1080718/stat : 1080718 (java) R 1080713 1080716 1074922 0 -1 4194368 63619 0 0 0 327170 21 0 0 20 0 20 0 195508264 19566772224 538851 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
[pid=1080716/tid=1080727] ppid=1080713 vsize=19108176 memory=13116 CPUtime=0 cores=5,7
/proc/1080716/task/1080727/stat : 1080727 (Finalizer) S 1080713 1080716 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195508267 19566772224 538851 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
[pid=1080716/tid=1080734] ppid=1080713 vsize=19108176 memory=2155404 CPUtime=0 cores=5,7
/proc/1080716/task/1080734/stat : 1080734 (Common-Cleaner) S 1080713 1080716 1074922 0 -1 1077936192 4502 0 0 0 0 0 0 0 20 0 20 0 195508267 19566772224 538851 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
[pid=1080716/tid=1080735] ppid=1080713 vsize=19108176 memory=2155404 CPUtime=0 cores=5,7
/proc/1080716/task/1080735/stat : 1080735 (Timer-0) S 1080713 1080716 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195508280 19566772224 538851 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
Current children cumulated CPU time: 3277.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2155404 KiB

[startup+3342.3 s]
/proc/loadavg: 2.14 2.94 3.60 3/281 1082292
/proc/meminfo: memFree=122849044/131524600 swapFree=131071996/131071996
[pid=1080716] ppid=1080713 vsize=19108176 memory=2155404 CPUtime=3337.34 cores=5,7
/proc/1080716/stat : 1080716 (java) S 1080713 1080716 1074922 0 -1 1077936128 121219 0 0 0 333608 126 0 0 20 0 20 0 195508264 19566772224 538851 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
/proc/1080716/statm: 4777044 538851 5929 1 0 557885 0
[pid=1080716/tid=1080718] ppid=1080713 vsize=19108176 memory=2155404 CPUtime=3331.75 cores=5,7
/proc/1080716/task/1080718/stat : 1080718 (java) R 1080713 1080716 1074922 0 -1 4194368 64728 0 0 0 333154 21 0 0 20 0 20 0 195508264 19566772224 538851 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
[pid=1080716/tid=1080727] ppid=1080713 vsize=19108176 memory=2155404 CPUtime=0 cores=5,7
/proc/1080716/task/1080727/stat : 1080727 (Finalizer) S 1080713 1080716 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195508267 19566772224 538851 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
[pid=1080716/tid=1080734] ppid=1080713 vsize=19108176 memory=2155404 CPUtime=0 cores=5,7
/proc/1080716/task/1080734/stat : 1080734 (Common-Cleaner) S 1080713 1080716 1074922 0 -1 1077936192 4626 0 0 0 0 0 0 0 20 0 20 0 195508267 19566772224 538851 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
[pid=1080716/tid=1080735] ppid=1080713 vsize=19108176 memory=2155404 CPUtime=0 cores=5,7
/proc/1080716/task/1080735/stat : 1080735 (Timer-0) S 1080713 1080716 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195508280 19566772224 538851 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
Current children cumulated CPU time: 3337.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2155404 KiB

[startup+3402.3 s]
/proc/loadavg: 2.10 2.78 3.50 3/281 1082303
/proc/meminfo: memFree=122848316/131524600 swapFree=131071996/131071996
[pid=1080716] ppid=1080713 vsize=19108176 memory=2155404 CPUtime=3397.2 cores=5,7
/proc/1080716/stat : 1080716 (java) S 1080713 1080716 1074922 0 -1 1077936128 122669 0 0 0 339593 127 0 0 20 0 20 0 195508264 19566772224 538851 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
/proc/1080716/statm: 4777044 538851 5929 1 0 557885 0
[pid=1080716/tid=1080718] ppid=1080713 vsize=19108176 memory=2155404 CPUtime=3391.59 cores=5,7
/proc/1080716/task/1080718/stat : 1080718 (java) R 1080713 1080716 1074922 0 -1 4194368 65910 0 0 0 339138 21 0 0 20 0 20 0 195508264 19566772224 538851 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
[pid=1080716/tid=1080727] ppid=1080713 vsize=19108176 memory=11396 CPUtime=0 cores=5,7
/proc/1080716/task/1080727/stat : 1080727 (Finalizer) S 1080713 1080716 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195508267 19566772224 538851 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
[pid=1080716/tid=1080734] ppid=1080713 vsize=19108176 memory=2155404 CPUtime=0 cores=5,7
/proc/1080716/task/1080734/stat : 1080734 (Common-Cleaner) S 1080713 1080716 1074922 0 -1 1077936192 4713 0 0 0 0 0 0 0 20 0 20 0 195508267 19566772224 538851 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
[pid=1080716/tid=1080735] ppid=1080713 vsize=19108176 memory=2155404 CPUtime=0 cores=5,7
/proc/1080716/task/1080735/stat : 1080735 (Timer-0) S 1080713 1080716 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195508280 19566772224 538851 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
Current children cumulated CPU time: 3397.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2155404 KiB

[startup+3462.3 s]
/proc/loadavg: 2.14 2.67 3.42 3/281 1082315
/proc/meminfo: memFree=122847132/131524600 swapFree=131071996/131071996
[pid=1080716] ppid=1080713 vsize=19108176 memory=2155432 CPUtime=3457.2 cores=5,7
/proc/1080716/stat : 1080716 (java) S 1080713 1080716 1074922 0 -1 1077936128 125279 0 0 0 345592 128 0 0 20 0 20 0 195508264 19566772224 538858 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
/proc/1080716/statm: 4777044 538858 5929 1 0 557885 0
[pid=1080716/tid=1080718] ppid=1080713 vsize=19108176 memory=2155404 CPUtime=3451.33 cores=5,7
/proc/1080716/task/1080718/stat : 1080718 (java) R 1080713 1080716 1074922 0 -1 4194368 66755 0 0 0 345112 21 0 0 20 0 20 0 195508264 19566772224 538858 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
[pid=1080716/tid=1080727] ppid=1080713 vsize=19108176 memory=11396 CPUtime=0 cores=5,7
/proc/1080716/task/1080727/stat : 1080727 (Finalizer) S 1080713 1080716 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195508267 19566772224 538858 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
[pid=1080716/tid=1080734] ppid=1080713 vsize=19108176 memory=2155404 CPUtime=0 cores=5,7
/proc/1080716/task/1080734/stat : 1080734 (Common-Cleaner) S 1080713 1080716 1074922 0 -1 1077936192 4789 0 0 0 0 0 0 0 20 0 20 0 195508267 19566772224 538858 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
[pid=1080716/tid=1080735] ppid=1080713 vsize=19108176 memory=2155432 CPUtime=0 cores=5,7
/proc/1080716/task/1080735/stat : 1080735 (Timer-0) S 1080713 1080716 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195508280 19566772224 538858 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
Current children cumulated CPU time: 3457.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2155432 KiB

[startup+3522.3 s]
/proc/loadavg: 2.16 2.57 3.33 3/281 1082713
/proc/meminfo: memFree=122945816/131524600 swapFree=131071996/131071996
[pid=1080716] ppid=1080713 vsize=19108176 memory=2155436 CPUtime=3517.1 cores=5,7
/proc/1080716/stat : 1080716 (java) S 1080713 1080716 1074922 0 -1 1077936128 126763 0 0 0 351580 130 0 0 20 0 20 0 195508264 19566772224 538859 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
/proc/1080716/statm: 4777044 538859 5929 1 0 557885 0
[pid=1080716/tid=1080718] ppid=1080713 vsize=19108176 memory=2155432 CPUtime=3511.2 cores=5,7
/proc/1080716/task/1080718/stat : 1080718 (java) R 1080713 1080716 1074922 0 -1 4194368 67784 0 0 0 351099 21 0 0 20 0 20 0 195508264 19566772224 538859 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
[pid=1080716/tid=1080727] ppid=1080713 vsize=19108176 memory=-7811033386257115744 CPUtime=0 cores=5,7
/proc/1080716/task/1080727/stat : 1080727 (Finalizer) S 1080713 1080716 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195508267 19566772224 538859 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
[pid=1080716/tid=1080734] ppid=1080713 vsize=19108176 memory=2155432 CPUtime=0 cores=5,7
/proc/1080716/task/1080734/stat : 1080734 (Common-Cleaner) S 1080713 1080716 1074922 0 -1 1077936192 4913 0 0 0 0 0 0 0 20 0 20 0 195508267 19566772224 538859 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
[pid=1080716/tid=1080735] ppid=1080713 vsize=19108176 memory=2155436 CPUtime=0 cores=5,7
/proc/1080716/task/1080735/stat : 1080735 (Timer-0) S 1080713 1080716 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195508280 19566772224 538859 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
Current children cumulated CPU time: 3517.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2155436 KiB

[startup+3582.3 s]
/proc/loadavg: 2.41 2.58 3.29 3/281 1082723
/proc/meminfo: memFree=122945712/131524600 swapFree=131071996/131071996
[pid=1080716] ppid=1080713 vsize=19108176 memory=2155436 CPUtime=3576.99 cores=5,7
/proc/1080716/stat : 1080716 (java) S 1080713 1080716 1074922 0 -1 1077936128 128105 0 0 0 357568 131 0 0 20 0 20 0 195508264 19566772224 538859 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
/proc/1080716/statm: 4777044 538859 5929 1 0 557885 0
[pid=1080716/tid=1080718] ppid=1080713 vsize=19108176 memory=2155432 CPUtime=3571.08 cores=5,7
/proc/1080716/task/1080718/stat : 1080718 (java) R 1080713 1080716 1074922 0 -1 4194368 68905 0 0 0 357087 21 0 0 20 0 20 0 195508264 19566772224 538859 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
[pid=1080716/tid=1080727] ppid=1080713 vsize=19108176 memory=2155436 CPUtime=0 cores=5,7
/proc/1080716/task/1080727/stat : 1080727 (Finalizer) S 1080713 1080716 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195508267 19566772224 538859 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
[pid=1080716/tid=1080734] ppid=1080713 vsize=19108176 memory=47120 CPUtime=0 cores=5,7
/proc/1080716/task/1080734/stat : 1080734 (Common-Cleaner) S 1080713 1080716 1074922 0 -1 1077936192 5000 0 0 0 0 0 0 0 20 0 20 0 195508267 19566772224 538859 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
[pid=1080716/tid=1080735] ppid=1080713 vsize=19108176 memory=11396 CPUtime=0 cores=5,7
/proc/1080716/task/1080735/stat : 1080735 (Timer-0) S 1080713 1080716 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195508280 19566772224 538859 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
Current children cumulated CPU time: 3576.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2155436 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3605.4 s]
/proc/loadavg: 2.32 2.54 3.25 3/281 1082726
/proc/meminfo: memFree=122945488/131524600 swapFree=131071996/131071996
[pid=1080716] ppid=1080713 vsize=19108176 memory=2155440 CPUtime=3600.05 cores=5,7
/proc/1080716/stat : 1080716 (java) S 1080713 1080716 1074922 0 -1 1077936128 128589 0 0 0 359873 132 0 0 20 0 20 0 195508264 19566772224 538860 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
/proc/1080716/statm: 4777044 538860 5929 1 0 557886 0
[pid=1080716/tid=1080718] ppid=1080713 vsize=19108176 memory=16871 CPUtime=3594.13 cores=5,7
/proc/1080716/task/1080718/stat : 1080718 (java) R 1080713 1080716 1074922 0 -1 4194368 69382 0 0 0 359392 21 0 0 20 0 20 0 195508264 19566772224 538860 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
[pid=1080716/tid=1080727] ppid=1080713 vsize=19108176 memory=4259 CPUtime=0 cores=5,7
/proc/1080716/task/1080727/stat : 1080727 (Finalizer) S 1080713 1080716 1074922 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 195508267 19566772224 538860 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
[pid=1080716/tid=1080734] ppid=1080713 vsize=19108176 memory=4049079319615800155 CPUtime=0 cores=5,7
/proc/1080716/task/1080734/stat : 1080734 (Common-Cleaner) S 1080713 1080716 1074922 0 -1 1077936192 5000 0 0 0 0 0 0 0 20 0 20 0 195508267 19566772224 538860 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
[pid=1080716/tid=1080735] ppid=1080713 vsize=19108176 memory=198340509722 CPUtime=0 cores=5,7
/proc/1080716/task/1080735/stat : 1080735 (Timer-0) S 1080713 1080716 1074922 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 195508280 19566772224 538860 134679101440 94549791772672 94549791776368 140724524651392 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94549791784184 94549791784976 94549819518976 140724524655621 140724524655711 140724524655711 140724524662728 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2155440 KiB

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

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

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

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

Child status: 143

Real time (s): 3605.5
CPU time (s): 3600.2
CPU user time (s): 3598.86
CPU system time (s): 1.33495
CPU usage (%): 99.8529
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2155440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.86
system time used= 1.33495
maximum resident set size= 2157432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131957
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 102218
involuntary context switches= 2882


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

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.50896 second user time and 19.3296 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2024-07-20 01:56:55
IDJOB=4451404
IDBENCH=162397
IDSOLVER=3058
FILE ID=nodeC030/4451404-1721433402
RUNJOBID= nodeC030-1721425652-1074935
SLURM_JOB_ID= 7545616
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand4regsplit-v110-n1.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451404-1721433402/watcher-4451404-1721433402 -o /tmp/evaluation-result-4451404-1721433402/solver-4451404-1721433402 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721425652-1074935 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4451404-1721433402.opb

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

MD5SUM BENCH= c8af151b30782e1495a07a26686ba07d
RANDOM SEED=422517605

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        123803996 kB
MemAvailable:   126287824 kB
Buffers:          524580 kB
Cached:          2779840 kB
SwapCached:            0 kB
Active:          1182952 kB
Inactive:        5860884 kB
Active(anon):       1564 kB
Inactive(anon):  3783440 kB
Active(file):    1181388 kB
Inactive(file):  2077444 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1080 kB
Writeback:             0 kB
AnonPages:       3738716 kB
Mapped:           127684 kB
Shmem:             45912 kB
KReclaimable:     129640 kB
Slab:             248408 kB
SReclaimable:     129640 kB
SUnreclaim:       118768 kB
KernelStack:        5036 kB
PageTables:        17312 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7292768 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            73376 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3512320 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:      262868 kB
DirectMap2M:    23627776 kB
DirectMap1G:    112197632 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC030 at 2024-07-20 02:57:00