Trace number 4453624

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.21 3602.01

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/random4reg_opb/normalized-subsetcard-geq-random4reg-3500.opb
MD5SUM0add631ef3bf04b19f39ae45ede738e0
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.721576
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables14001
Total number of constraints7000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)7000
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint5
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 8
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	No reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c No reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4453624-1721491673.opb
0.14/0.12	c reading problem ... 
0.14/0.12	c  no objective function found
0.52/0.39	c ... done. Wall clock time 0.269s.
0.52/0.41	c declared #vars     14001
0.52/0.41	c #constraints  7000
0.52/0.41	c constraints type 
0.52/0.41	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 7000
0.52/0.41	c 7000 constraints processed.
2.16/1.25	c cleaning 2493 clauses out of 5003 with flag 44673/5003
2.75/1.77	c cleaning 4241 clauses out of 8508 with flag 105928/11001
3.53/2.40	c cleaning 5627 clauses out of 11266 with flag 183151/18000
4.43/3.15	c cleaning 6809 clauses out of 13639 with flag 276783/26000
5.33/4.04	c cleaning 7883 clauses out of 15830 with flag 391177/35000
6.32/5.07	c cleaning 8922 clauses out of 17947 with flag 529401/45000
7.42/6.14	c cleaning 9965 clauses out of 20027 with flag 667295/56002
8.61/7.36	c cleaning 10990 clauses out of 22060 with flag 830071/68000
9.91/8.65	c cleaning 11992 clauses out of 24071 with flag 996353/81001
11.42/10.14	c cleaning 12951 clauses out of 26079 with flag 1190396/95001
13.02/11.73	c cleaning 13999 clauses out of 28127 with flag 1390061/110000
14.61/13.39	c cleaning 14986 clauses out of 30128 with flag 1594943/126000
16.63/15.37	c cleaning 15973 clauses out of 32143 with flag 1839603/143001
19.06/17.73	c cleaning 17001 clauses out of 34170 with flag 2152641/161001
21.25/19.92	c cleaning 17979 clauses out of 36169 with flag 2434553/180001
23.45/22.15	c cleaning 19001 clauses out of 38189 with flag 2715622/200000
25.95/24.61	c cleaning 19977 clauses out of 40189 with flag 3040967/221001
28.35/27.03	c cleaning 20974 clauses out of 42211 with flag 3361254/243000
30.73/29.46	c cleaning 21987 clauses out of 44240 with flag 3694854/266003
33.43/32.16	c cleaning 23007 clauses out of 46250 with flag 4053312/290000
36.52/35.24	c cleaning 23982 clauses out of 48244 with flag 4467662/315001
39.51/38.24	c cleaning 24982 clauses out of 50262 with flag 4869941/341001
42.61/41.36	c cleaning 26055 clauses out of 52279 with flag 5292557/368000
45.81/44.57	c cleaning 27034 clauses out of 54224 with flag 5720217/396000
48.81/47.58	c cleaning 27981 clauses out of 56191 with flag 6142966/425001
52.30/51.07	c cleaning 28954 clauses out of 58209 with flag 6626919/455000
55.89/54.61	c cleaning 29984 clauses out of 60257 with flag 7131528/486002
59.69/58.40	c cleaning 31030 clauses out of 62271 with flag 7680331/518000
63.39/62.11	c cleaning 32115 clauses out of 64242 with flag 8215106/551001
67.57/66.34	c cleaning 32915 clauses out of 66128 with flag 8831362/585002
71.90/70.62	c cleaning 33968 clauses out of 68213 with flag 9406743/620002
76.09/74.88	c cleaning 34955 clauses out of 70243 with flag 10037460/656000
80.48/79.22	c cleaning 36022 clauses out of 72289 with flag 10669838/693001
84.98/83.71	c cleaning 37024 clauses out of 74266 with flag 11308818/731000
89.83/88.53	c cleaning 37989 clauses out of 76242 with flag 11993461/770000
94.44/93.19	c cleaning 38955 clauses out of 78253 with flag 12697200/810000
99.52/98.16	c cleaning 40001 clauses out of 80299 with flag 13409720/851001
104.51/103.19	c cleaning 40963 clauses out of 82298 with flag 14166356/893001
109.69/108.36	c cleaning 42026 clauses out of 84334 with flag 14947017/936000
115.06/113.61	c cleaning 42994 clauses out of 86308 with flag 15731948/980000
120.57/119.12	c cleaning 43988 clauses out of 88314 with flag 16574403/1025000
126.05/124.63	c cleaning 44994 clauses out of 90326 with flag 17439349/1071000
132.00/130.50	c cleaning 45972 clauses out of 92332 with flag 18329310/1118000
137.68/136.22	c cleaning 47030 clauses out of 94362 with flag 19226674/1166002
143.65/142.11	c cleaning 48030 clauses out of 96332 with flag 20144562/1215002
149.64/148.19	c cleaning 48985 clauses out of 98300 with flag 21081015/1265000
156.10/154.57	c cleaning 50158 clauses out of 100316 with flag 22059100/1316001
162.48/160.95	c cleaning 50910 clauses out of 102160 with flag 23071039/1368003
169.07/167.49	c cleaning 51997 clauses out of 104247 with flag 24072887/1421000
175.36/173.70	c cleaning 52986 clauses out of 106252 with flag 25064864/1475002
182.14/180.51	c cleaning 53974 clauses out of 108265 with flag 26152277/1530001
189.08/187.41	c cleaning 54970 clauses out of 110292 with flag 27261132/1586002
195.87/194.27	c cleaning 56011 clauses out of 112321 with flag 28379524/1643001
202.72/201.04	c cleaning 57003 clauses out of 114309 with flag 29479568/1701000
209.90/208.15	c cleaning 57932 clauses out of 116306 with flag 30634364/1760000
217.08/215.35	c cleaning 59038 clauses out of 118374 with flag 31792351/1820000
224.64/222.80	c cleaning 59975 clauses out of 120336 with flag 33011260/1881000
232.24/230.45	c cleaning 61055 clauses out of 122361 with flag 34245560/1943000
240.08/238.26	c cleaning 61980 clauses out of 124306 with flag 35502364/2006000
247.97/246.17	c cleaning 63013 clauses out of 126327 with flag 36817916/2070001
255.74/253.85	c cleaning 64004 clauses out of 128314 with flag 38056475/2135001
263.63/261.72	c cleaning 64997 clauses out of 130310 with flag 39344496/2201001
271.61/269.74	c cleaning 65988 clauses out of 132312 with flag 40670700/2268000
280.23/278.37	c cleaning 67024 clauses out of 134328 with flag 42064549/2336004
288.72/286.87	c cleaning 68021 clauses out of 136303 with flag 43471976/2405003
297.52/295.55	c cleaning 68952 clauses out of 138280 with flag 44892987/2475001
306.30/304.38	c cleaning 69990 clauses out of 140327 with flag 46374077/2546000
315.18/313.27	c cleaning 70965 clauses out of 142337 with flag 47838974/2618000
324.07/322.03	c cleaning 72019 clauses out of 144372 with flag 49301854/2691000
333.24/331.25	c cleaning 73005 clauses out of 146353 with flag 50822756/2765000
342.52/340.58	c cleaning 74011 clauses out of 148348 with flag 52374167/2840000
351.91/349.86	c cleaning 74984 clauses out of 150338 with flag 53894907/2916001
361.49/359.48	c cleaning 75983 clauses out of 152354 with flag 55516058/2993001
371.08/369.02	c cleaning 76993 clauses out of 154370 with flag 57133172/3071000
380.74/378.74	c cleaning 77978 clauses out of 156379 with flag 58744703/3150002
390.81/388.77	c cleaning 79200 clauses out of 158399 with flag 60411944/3230000
400.59/398.55	c cleaning 79940 clauses out of 160199 with flag 62085664/3311000
410.67/408.63	c cleaning 81130 clauses out of 162259 with flag 63796914/3393000
421.25/419.25	c cleaning 81840 clauses out of 164130 with flag 65565980/3476001
431.83/429.74	c cleaning 82970 clauses out of 166290 with flag 67324079/3560001
442.41/440.33	c cleaning 83969 clauses out of 168319 with flag 69084794/3645000
453.09/451.04	c cleaning 85047 clauses out of 170350 with flag 70899584/3731000
463.86/461.82	c cleaning 86029 clauses out of 172303 with flag 72746955/3818000
475.27/473.19	c cleaning 86961 clauses out of 174274 with flag 74643991/3906000
485.94/483.86	c cleaning 87985 clauses out of 176313 with flag 76467932/3995000
497.72/495.63	c cleaning 89036 clauses out of 178328 with flag 78433242/4085000
509.49/507.46	c cleaning 89949 clauses out of 180294 with flag 80431116/4176002
522.14/519.65	c cleaning 91024 clauses out of 182343 with flag 82443783/4268000
533.72/531.22	c cleaning 91996 clauses out of 184319 with flag 84404113/4361000
545.50/543.07	c cleaning 92992 clauses out of 186324 with flag 86382204/4455001
557.53/555.14	c cleaning 93994 clauses out of 188331 with flag 88365586/4550000
569.60/567.30	c cleaning 95000 clauses out of 190340 with flag 90369918/4646003
582.19/580.02	c cleaning 96014 clauses out of 192338 with flag 92457977/4743001
595.10/592.93	c cleaning 96972 clauses out of 194324 with flag 94593406/4841001
607.67/605.69	c cleaning 97985 clauses out of 196352 with flag 96746001/4940001
620.55/618.60	c cleaning 99044 clauses out of 198367 with flag 98906119/5040001
633.75/631.75	c cleaning 99987 clauses out of 200323 with flag 101070208/5141001
646.62/644.62	c cleaning 100990 clauses out of 202335 with flag 103215562/5243000
659.97/657.94	c cleaning 101984 clauses out of 204345 with flag 105459193/5346000
673.36/671.22	c cleaning 102980 clauses out of 206361 with flag 107682304/5450000
686.93/684.80	c cleaning 104045 clauses out of 208381 with flag 109988374/5555000
700.00/697.97	c cleaning 105001 clauses out of 210336 with flag 112205420/5661000
713.56/711.47	c cleaning 106021 clauses out of 212335 with flag 114480441/5768000
727.15/725.04	c cleaning 106982 clauses out of 214314 with flag 116807520/5876000
741.81/739.72	c cleaning 108015 clauses out of 216332 with flag 119278871/5985000
755.88/753.85	c cleaning 108977 clauses out of 218318 with flag 121673137/6095001
770.10/767.92	c cleaning 109995 clauses out of 220340 with flag 124019495/6206000
784.56/782.46	c cleaning 111006 clauses out of 222346 with flag 126485220/6318001
799.32/797.25	c cleaning 112030 clauses out of 224339 with flag 128987962/6431000
814.39/812.30	c cleaning 113124 clauses out of 226309 with flag 131500442/6545000
829.81/827.73	c cleaning 113893 clauses out of 228186 with flag 134092934/6660001
845.15/843.26	c cleaning 114988 clauses out of 230292 with flag 136686239/6776000
860.40/858.64	c cleaning 115972 clauses out of 232304 with flag 139241891/6893000
875.85/874.22	c cleaning 116979 clauses out of 234333 with flag 141869448/7011001
891.62/890.10	c cleaning 118035 clauses out of 236353 with flag 144501907/7130000
907.46/906.08	c cleaning 118982 clauses out of 238319 with flag 147178431/7250001
923.22/921.99	c cleaning 120042 clauses out of 240336 with flag 149810984/7371000
939.56/938.25	c cleaning 120969 clauses out of 242294 with flag 152570802/7493000
955.82/954.59	c cleaning 122159 clauses out of 244326 with flag 155278266/7616001
972.49/971.22	c cleaning 122942 clauses out of 246169 with flag 158106412/7740003
989.37/988.17	c cleaning 123948 clauses out of 248224 with flag 160942333/7865000
1006.10/1004.88	c cleaning 124993 clauses out of 250276 with flag 163748275/7991000
1023.47/1022.22	c cleaning 125968 clauses out of 252283 with flag 166666025/8118000
1040.83/1039.64	c cleaning 127146 clauses out of 254315 with flag 169609467/8246000
1058.09/1056.94	c cleaning 127919 clauses out of 256171 with flag 172538514/8375002
1075.40/1074.19	c cleaning 128984 clauses out of 258251 with flag 175406167/8505001
1092.57/1091.36	c cleaning 129963 clauses out of 260266 with flag 178323985/8636000
1110.12/1108.90	c cleaning 130972 clauses out of 262304 with flag 181318899/8768001
1128.30/1127.14	c cleaning 131984 clauses out of 264335 with flag 184411839/8901004
1146.97/1145.88	c cleaning 133021 clauses out of 266347 with flag 187521011/9035000
1165.69/1164.74	c cleaning 134022 clauses out of 268327 with flag 190645822/9170001
1184.70/1183.92	c cleaning 134999 clauses out of 270306 with flag 193778181/9306002
1202.83/1202.28	c cleaning 135990 clauses out of 272305 with flag 196870083/9443000
1221.39/1220.80	c cleaning 136993 clauses out of 274319 with flag 199969058/9581004
1240.11/1239.72	c cleaning 138049 clauses out of 276324 with flag 203168402/9720002
1259.03/1258.84	c cleaning 138963 clauses out of 278274 with flag 206378859/9860001
1278.54/1278.52	c cleaning 139947 clauses out of 280310 with flag 209680540/10001000
1298.94/1298.52	c cleaning 141055 clauses out of 282363 with flag 212966996/10143000
1318.51/1318.14	c cleaning 142016 clauses out of 284308 with flag 216309045/10286000
1338.47/1338.18	c cleaning 142940 clauses out of 286292 with flag 219704928/10430000
1358.21/1357.95	c cleaning 144017 clauses out of 288354 with flag 223022936/10575002
1378.87/1378.56	c cleaning 145037 clauses out of 290338 with flag 226496792/10721003
1399.73/1399.48	c cleaning 145992 clauses out of 292298 with flag 230032144/10868000
1420.48/1420.23	c cleaning 146990 clauses out of 294306 with flag 233566764/11016000
1441.25/1441.07	c cleaning 147977 clauses out of 296316 with flag 237089178/11165000
1462.79/1462.46	c cleaning 149008 clauses out of 298340 with flag 240687299/11315001
1484.25/1483.98	c cleaning 150012 clauses out of 300333 with flag 244275879/11466002
1505.10/1504.87	c cleaning 150988 clauses out of 302320 with flag 247805531/11618001
1526.86/1526.64	c cleaning 152019 clauses out of 304331 with flag 251454492/11771000
1548.93/1548.72	c cleaning 153005 clauses out of 306312 with flag 255185410/11925000
1570.22/1570.21	c cleaning 154155 clauses out of 308309 with flag 258763820/12080002
1592.11/1592.34	c cleaning 154969 clauses out of 310153 with flag 262511101/12236001
1614.39/1614.85	c cleaning 155934 clauses out of 312186 with flag 266322822/12393003
1637.50/1638.03	c cleaning 156984 clauses out of 314250 with flag 270163606/12551001
1659.56/1660.14	c cleaning 157953 clauses out of 316265 with flag 273891775/12710000
1682.31/1682.95	c cleaning 159001 clauses out of 318312 with flag 277763694/12870000
1704.56/1705.21	c cleaning 160037 clauses out of 320312 with flag 281560020/13031001
1727.77/1728.33	c cleaning 160999 clauses out of 322275 with flag 285467461/13193001
1750.82/1751.43	c cleaning 162013 clauses out of 324275 with flag 289399435/13356000
1773.47/1774.13	c cleaning 162991 clauses out of 326262 with flag 293281588/13520000
1797.52/1798.28	c cleaning 163966 clauses out of 328271 with flag 297382139/13685000
1821.37/1821.98	c cleaning 165004 clauses out of 330305 with flag 301357391/13851000
1844.81/1845.45	c cleaning 165956 clauses out of 332302 with flag 305329745/14018001
1868.55/1869.24	c cleaning 166980 clauses out of 334345 with flag 309370245/14186000
1892.69/1893.40	c cleaning 168020 clauses out of 336365 with flag 313495892/14355000
1916.83/1917.52	c cleaning 169035 clauses out of 338346 with flag 317607148/14525001
1940.97/1941.77	c cleaning 170012 clauses out of 340312 with flag 321759702/14696002
1965.61/1966.43	c cleaning 170999 clauses out of 342299 with flag 325981333/14868001
1990.16/1991.07	c cleaning 172000 clauses out of 344300 with flag 330203508/15041001
2015.42/2016.18	c cleaning 172999 clauses out of 346299 with flag 334426572/15215000
2040.57/2041.36	c cleaning 174009 clauses out of 348303 with flag 338764874/15390003
2065.81/2066.66	c cleaning 174944 clauses out of 350291 with flag 343107335/15566000
2091.54/2092.39	c cleaning 176013 clauses out of 352347 with flag 347518458/15743000
2117.10/2117.94	c cleaning 176998 clauses out of 354335 with flag 351890735/15921001
2143.15/2144.02	c cleaning 178031 clauses out of 356338 with flag 356306152/16100002
2169.47/2170.46	c cleaning 178963 clauses out of 358307 with flag 360851204/16280002
2196.38/2197.15	c cleaning 180033 clauses out of 360343 with flag 365351488/16461001
2224.00/2224.63	c cleaning 180982 clauses out of 362310 with flag 370074855/16643001
2250.45/2251.37	c cleaning 181961 clauses out of 364327 with flag 374589601/16826000
2276.93/2278.04	c cleaning 182985 clauses out of 366366 with flag 379114898/17010000
2304.62/2305.84	c cleaning 183991 clauses out of 368383 with flag 383743367/17195002
2332.37/2333.81	c cleaning 185003 clauses out of 370391 with flag 388494815/17381001
2359.99/2361.26	c cleaning 186194 clauses out of 372387 with flag 393166760/17568000
2388.34/2389.61	c cleaning 186936 clauses out of 374193 with flag 397987923/17756000
2415.95/2417.28	c cleaning 187996 clauses out of 376257 with flag 402699820/17945000
2443.29/2444.67	c cleaning 188971 clauses out of 378261 with flag 407349454/18135000
2471.49/2472.77	c cleaning 189949 clauses out of 380290 with flag 412167620/18326000
2500.03/2501.36	c cleaning 191170 clauses out of 382341 with flag 417136453/18518000
2529.34/2530.51	c cleaning 191908 clauses out of 384171 with flag 422014239/18711000
2558.28/2559.53	c cleaning 192951 clauses out of 386264 with flag 427005286/18905001
2587.66/2588.87	c cleaning 193942 clauses out of 388312 with flag 431986712/19100000
2616.60/2617.85	c cleaning 195028 clauses out of 390373 with flag 436950311/19296003
2645.89/2647.03	c cleaning 196019 clauses out of 392342 with flag 441922636/19493000
2675.32/2676.51	c cleaning 196981 clauses out of 394323 with flag 446971632/19691000
2705.69/2706.69	c cleaning 198026 clauses out of 396342 with flag 452055511/19890000
2735.51/2736.35	c cleaning 198974 clauses out of 398316 with flag 457138692/20090000
2766.12/2766.87	c cleaning 200021 clauses out of 400343 with flag 462357804/20291001
2796.66/2797.48	c cleaning 201161 clauses out of 402323 with flag 467600830/20493002
2827.23/2828.01	c cleaning 201932 clauses out of 404161 with flag 472838279/20696001
2858.07/2858.81	c cleaning 202962 clauses out of 406229 with flag 478051669/20900001
2889.20/2889.82	c cleaning 203973 clauses out of 408266 with flag 483277282/21105000
2920.23/2920.94	c cleaning 205015 clauses out of 410294 with flag 488640782/21311001
2951.98/2952.76	c cleaning 205988 clauses out of 412278 with flag 494031516/21518000
2982.80/2983.66	c cleaning 206991 clauses out of 414290 with flag 499324667/21726000
3014.24/3015.10	c cleaning 207997 clauses out of 416299 with flag 504665446/21935000
3045.75/3046.69	c cleaning 208974 clauses out of 418302 with flag 510128522/22145000
3077.74/3078.56	c cleaning 210027 clauses out of 420329 with flag 515610022/22356001
3110.18/3111.09	c cleaning 211024 clauses out of 422301 with flag 521162805/22568000
3142.64/3143.44	c cleaning 211997 clauses out of 424277 with flag 526721269/22781000
3174.78/3175.65	c cleaning 213003 clauses out of 426283 with flag 532224407/22995003
3208.53/3209.26	c cleaning 214013 clauses out of 428277 with flag 537969397/23210000
3241.97/3242.75	c cleaning 214983 clauses out of 430265 with flag 543719776/23426001
3275.36/3275.87	c cleaning 215962 clauses out of 432281 with flag 549431886/23643000
3308.99/3309.54	c cleaning 217002 clauses out of 434320 with flag 555199741/23861001
3343.36/3343.91	c cleaning 217947 clauses out of 436318 with flag 560995604/24080001
3377.89/3378.50	c cleaning 219011 clauses out of 438371 with flag 566799866/24300001
3411.91/3412.63	c cleaning 220034 clauses out of 440360 with flag 572632938/24521001
3446.90/3447.54	c cleaning 221005 clauses out of 442327 with flag 578558031/24743002
3481.27/3482.24	c cleaning 222026 clauses out of 444321 with flag 584466159/24966001
3516.45/3517.60	c cleaning 223003 clauses out of 446294 with flag 590444551/25190000
3551.82/3553.32	c cleaning 224003 clauses out of 448292 with flag 596477485/25415001
3586.99/3588.88	c cleaning 225145 clauses out of 450289 with flag 602448711/25641001
3600.05/3601.92	c starts		: 179917
3600.05/3601.92	c timeout
3600.05/3601.92	c conflicts		: 25727683
3600.05/3601.93	c decisions		: 1278589969
3600.05/3601.93	c propagations		: 12494236724
3600.05/3601.93	c inspects		: 19347165289
3600.05/3601.93	c shortcuts		: 0
3600.05/3601.93	c learnt literals	: 0
3600.05/3601.93	c learnt binary clauses	: 0
3600.05/3601.93	c learnt ternary clauses	: 0
3600.05/3601.93	c learnt constraints	: 25727683
3600.05/3601.93	c ignored constraints	: 0
3600.05/3601.93	c root simplifications	: 0
3600.05/3601.93	c removed literals (reason simplification)	: 0
3600.05/3601.93	c reason swapping (by a shorter reason)	: 0
3600.05/3601.93	c Calls to reduceDB	: 222
3600.05/3601.93	c Number of update (reduction) of LBD	: 10699259
3600.05/3601.93	c Imported unit clauses	: 0
3600.05/3601.93	c No decision after first conflict	: false
3600.05/3601.93	c number of reductions to clauses (during analyze)	: 0
3600.05/3601.93	c number of learned constraints concerned by reduction	: 0
3600.05/3601.93	c number of learning phase by resolution	: 0
3600.05/3601.93	c number of learning phase by cutting planes	: 0
3600.05/3601.93	c number of rounding to 1 operations	: 0
3600.05/3601.93	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3601.93	c number of reductions of the coefficients by power 2 	: 0
3600.05/3601.93	c number of right shift for reduction by power 2 	: 0
3600.05/3601.93	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3601.93	c number of ending skipping 	: 0
3600.05/3601.93	c number of internal skipping 	: 0
3600.05/3601.93	c number of derivation steps 	: 0
3600.05/3601.93	c number of skipped derivation steps 	: 0
3600.05/3601.93	c number of remaining unassigned 	: 0
3600.05/3601.93	c number of remaining assigned 	: 0
3600.05/3601.93	c number of falsified literals weakened from reason	: 0
3600.05/3601.93	c number of falsified literals weakened from conflict	: 0
3600.05/3601.93	c time for arithmetic operations	: 0
3600.05/3601.93	c minimum degree of deleted constraints	: null
3600.05/3601.93	c maximum degree of deleted constraints	: null
3600.05/3601.93	c number of deleted constraints	: 0
3600.05/3601.93	c speed (assignments/second)	: 3469157.5204795534
3600.05/3601.93	c non guided choices	: 59615700
3600.05/3601.98	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 311826
3600.05/3601.99	s UNKNOWN
3600.05/3601.99	c Total wall clock time (in seconds): 3601.863

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453624-1721491673/watcher-4453624-1721491673 -o /tmp/evaluation-result-4453624-1721491673/solver-4453624-1721491673 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721491686-1073500 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4453624-1721491673.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=1073546, runsolver pid=1073540

[startup+0.101156 s]*
/proc/loadavg: 1.04 1.10 1.25 8/323 1073630
/proc/meminfo: memFree=127951048/131524600 swapFree=131070704/131071996
[pid=1073546] ppid=1073540 vsize=18975048 memory=63148 CPUtime=0.14 cores=1,3
/proc/1073546/stat : 1073546 (java) S 1073540 1073546 1073488 0 -1 1077936128 7219 0 0 0 12 2 0 0 20 0 18 0 201332304 19430449152 15787 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
/proc/1073546/statm: 4743762 15787 5673 1 0 549335 0
[pid=1073546/tid=1073557] ppid=1073540 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=1,3
/proc/1073546/task/1073557/stat : 1073557 (java) R 1073540 1073546 1073488 0 -1 1078198336 5740 0 0 0 7 1 0 0 20 0 18 0 201332304 19430449152 15787 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
[pid=1073546/tid=1073594] ppid=1073540 vsize=18975048 memory=1783847 CPUtime=0 cores=1,3
/proc/1073546/task/1073594/stat : 1073594 (Finalizer) S 1073540 1073546 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 201332307 19430449152 15787 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
[pid=1073546/tid=1073617] ppid=1073540 vsize=18975048 memory=15252649461155485 CPUtime=0 cores=1,3
/proc/1073546/task/1073617/stat : 1073617 (Common-Cleaner) S 1073540 1073546 1073488 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 201332307 19430449152 15787 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63148 KiB

[startup+0.206451 s]*
/proc/loadavg: 1.04 1.10 1.25 12/326 1073633
/proc/meminfo: memFree=127583104/131524600 swapFree=131070704/131071996
[pid=1073546] ppid=1073540 vsize=19041612 memory=157616 CPUtime=0.33 cores=1,3
/proc/1073546/stat : 1073546 (java) S 1073540 1073546 1073488 0 -1 1077936128 7724 0 0 0 29 4 0 0 20 0 19 0 201332304 19498610688 39404 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
/proc/1073546/statm: 4760403 39404 5831 1 0 549852 0
[pid=1073546/tid=1073557] ppid=1073540 vsize=19041612 memory=6876556183782621315 CPUtime=0.18 cores=1,3
/proc/1073546/task/1073557/stat : 1073557 (java) R 1073540 1073546 1073488 0 -1 1077936192 5934 0 0 0 15 3 0 0 20 0 19 0 201332304 19498610688 39404 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
[pid=1073546/tid=1073594] ppid=1073540 vsize=19041612 memory=1783847 CPUtime=0 cores=1,3
/proc/1073546/task/1073594/stat : 1073594 (Finalizer) S 1073540 1073546 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 201332307 19498610688 39404 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
[pid=1073546/tid=1073617] ppid=1073540 vsize=19041612 memory=15252649461155485 CPUtime=0 cores=1,3
/proc/1073546/task/1073617/stat : 1073617 (Common-Cleaner) S 1073540 1073546 1073488 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 201332307 19498610688 39404 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 157616 KiB

[startup+0.310385 s]*
/proc/loadavg: 1.04 1.10 1.25 13/327 1073634
/proc/meminfo: memFree=127202796/131524600 swapFree=131070704/131071996
[pid=1073546] ppid=1073540 vsize=19041612 memory=302888 CPUtime=0.52 cores=1,3
/proc/1073546/stat : 1073546 (java) S 1073540 1073546 1073488 0 -1 1077936128 9283 0 0 0 45 7 0 0 20 0 19 0 201332304 19498610688 75722 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
/proc/1073546/statm: 4760403 75722 5847 1 0 550828 0
[pid=1073546/tid=1073557] ppid=1073540 vsize=19041612 memory=-7595142079120172386 CPUtime=0.26 cores=1,3
/proc/1073546/task/1073557/stat : 1073557 (java) R 1073540 1073546 1073488 0 -1 4194368 6001 0 0 0 20 6 0 0 20 0 19 0 201332304 19498610688 75722 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
[pid=1073546/tid=1073594] ppid=1073540 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1073546/task/1073594/stat : 1073594 (Finalizer) S 1073540 1073546 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 201332307 19498610688 75722 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
[pid=1073546/tid=1073617] ppid=1073540 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1073546/task/1073617/stat : 1073617 (Common-Cleaner) S 1073540 1073546 1073488 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 201332307 19498610688 75722 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 302888 KiB

[startup+0.700386 s]
/proc/loadavg: 1.04 1.10 1.25 14/331 1073638
/proc/meminfo: memFree=125920572/131524600 swapFree=131070704/131071996
[pid=1073546] ppid=1073540 vsize=19108176 memory=475264 CPUtime=1.27 cores=1,3
/proc/1073546/stat : 1073546 (java) S 1073540 1073546 1073488 0 -1 1077936128 13808 0 0 0 116 11 0 0 20 0 20 0 201332304 19566772224 118816 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
/proc/1073546/statm: 4777044 118816 5863 1 0 553157 0
[pid=1073546/tid=1073557] ppid=1073540 vsize=19108176 memory=5432 CPUtime=0.6 cores=1,3
/proc/1073546/task/1073557/stat : 1073557 (java) R 1073540 1073546 1073488 0 -1 4194368 6129 0 0 0 51 9 0 0 20 0 20 0 201332304 19566772224 118816 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
[pid=1073546/tid=1073594] ppid=1073540 vsize=19108176 memory=12952 CPUtime=0 cores=1,3
/proc/1073546/task/1073594/stat : 1073594 (Finalizer) S 1073540 1073546 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 118816 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
[pid=1073546/tid=1073617] ppid=1073540 vsize=19108176 memory=2244 CPUtime=0 cores=1,3
/proc/1073546/task/1073617/stat : 1073617 (Common-Cleaner) S 1073540 1073546 1073488 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 118816 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
[pid=1073546/tid=1073635] ppid=1073540 vsize=19108176 memory=117636 CPUtime=0 cores=1,3
/proc/1073546/task/1073635/stat : 1073635 (Timer-0) S 1073540 1073546 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332345 19566772224 118816 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 475264 KiB

[startup+1.50026 s]
/proc/loadavg: 1.04 1.10 1.25 12/331 1073638
/proc/meminfo: memFree=125873404/131524600 swapFree=131070704/131071996
[pid=1073546] ppid=1073540 vsize=19108176 memory=477204 CPUtime=2.55 cores=1,3
/proc/1073546/stat : 1073546 (java) S 1073540 1073546 1073488 0 -1 1077936128 14251 0 0 0 243 12 0 0 20 0 20 0 201332304 19566772224 119301 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
/proc/1073546/statm: 4777044 119301 5863 1 0 553439 0
[pid=1073546/tid=1073557] ppid=1073540 vsize=19108176 memory=12952 CPUtime=1.4 cores=1,3
/proc/1073546/task/1073557/stat : 1073557 (java) R 1073540 1073546 1073488 0 -1 4194368 6176 0 0 0 131 9 0 0 20 0 20 0 201332304 19566772224 119301 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
[pid=1073546/tid=1073594] ppid=1073540 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1073546/task/1073594/stat : 1073594 (Finalizer) S 1073540 1073546 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 119301 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
[pid=1073546/tid=1073617] ppid=1073540 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1073546/task/1073617/stat : 1073617 (Common-Cleaner) S 1073540 1073546 1073488 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 119301 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
[pid=1073546/tid=1073635] ppid=1073540 vsize=19108176 memory=280774762997040 CPUtime=0 cores=1,3
/proc/1073546/task/1073635/stat : 1073635 (Timer-0) S 1073540 1073546 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332345 19566772224 119301 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
Current children cumulated CPU time: 2.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 477204 KiB

[startup+3.10594 s]
/proc/loadavg: 1.04 1.10 1.25 5/331 1073638
/proc/meminfo: memFree=125862024/131524600 swapFree=131070704/131071996
[pid=1073546] ppid=1073540 vsize=19108176 memory=477688 CPUtime=4.43 cores=1,3
/proc/1073546/stat : 1073546 (java) S 1073540 1073546 1073488 0 -1 1077936128 18028 0 0 0 431 12 0 0 20 0 20 0 201332304 19566772224 119422 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
/proc/1073546/statm: 4777044 119422 5895 1 0 553447 0
[pid=1073546/tid=1073557] ppid=1073540 vsize=19108176 memory=0 CPUtime=3 cores=1,3
/proc/1073546/task/1073557/stat : 1073557 (java) R 1073540 1073546 1073488 0 -1 4194368 6582 0 0 0 291 9 0 0 20 0 20 0 201332304 19566772224 119422 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
[pid=1073546/tid=1073594] ppid=1073540 vsize=19108176 memory=12952 CPUtime=0 cores=1,3
/proc/1073546/task/1073594/stat : 1073594 (Finalizer) S 1073540 1073546 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 119422 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
[pid=1073546/tid=1073617] ppid=1073540 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1073546/task/1073617/stat : 1073617 (Common-Cleaner) S 1073540 1073546 1073488 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 119422 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
[pid=1073546/tid=1073635] ppid=1073540 vsize=19108176 memory=11648 CPUtime=0 cores=1,3
/proc/1073546/task/1073635/stat : 1073635 (Timer-0) S 1073540 1073546 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332345 19566772224 119422 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
Current children cumulated CPU time: 4.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 477688 KiB

[startup+6.30023 s]
/proc/loadavg: 1.27 1.15 1.27 5/331 1073638
/proc/meminfo: memFree=125876852/131524600 swapFree=131070704/131071996
[pid=1073546] ppid=1073540 vsize=19108176 memory=474624 CPUtime=7.62 cores=1,3
/proc/1073546/stat : 1073546 (java) S 1073540 1073546 1073488 0 -1 1077936128 18935 0 0 0 750 12 0 0 20 0 20 0 201332304 19566772224 118656 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
/proc/1073546/statm: 4777044 118656 5895 1 0 553447 0
[pid=1073546/tid=1073557] ppid=1073540 vsize=19108176 memory=12952 CPUtime=6.18 cores=1,3
/proc/1073546/task/1073557/stat : 1073557 (java) R 1073540 1073546 1073488 0 -1 4194368 7373 0 0 0 609 9 0 0 20 0 20 0 201332304 19566772224 118656 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
[pid=1073546/tid=1073594] ppid=1073540 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1073546/task/1073594/stat : 1073594 (Finalizer) S 1073540 1073546 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 118656 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
[pid=1073546/tid=1073617] ppid=1073540 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1073546/task/1073617/stat : 1073617 (Common-Cleaner) S 1073540 1073546 1073488 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 118656 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
[pid=1073546/tid=1073635] ppid=1073540 vsize=19108176 memory=-6303866975680447118 CPUtime=0 cores=1,3
/proc/1073546/task/1073635/stat : 1073635 (Timer-0) S 1073540 1073546 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332345 19566772224 118656 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
Current children cumulated CPU time: 7.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 474624 KiB

[startup+12.7003 s]
/proc/loadavg: 1.49 1.20 1.28 5/331 1073640
/proc/meminfo: memFree=125876728/131524600 swapFree=131070704/131071996
[pid=1073546] ppid=1073540 vsize=19108176 memory=474740 CPUtime=14.01 cores=1,3
/proc/1073546/stat : 1073546 (java) S 1073540 1073546 1073488 0 -1 1077936128 21329 0 0 0 1389 12 0 0 20 0 20 0 201332304 19566772224 118685 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
/proc/1073546/statm: 4777044 118685 5895 1 0 553447 0
[pid=1073546/tid=1073557] ppid=1073540 vsize=19108176 memory=0 CPUtime=12.57 cores=1,3
/proc/1073546/task/1073557/stat : 1073557 (java) R 1073540 1073546 1073488 0 -1 4194368 8532 0 0 0 1248 9 0 0 20 0 20 0 201332304 19566772224 118685 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
[pid=1073546/tid=1073594] ppid=1073540 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1073546/task/1073594/stat : 1073594 (Finalizer) S 1073540 1073546 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 118685 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
[pid=1073546/tid=1073617] ppid=1073540 vsize=19108176 memory=474740 CPUtime=0 cores=1,3
/proc/1073546/task/1073617/stat : 1073617 (Common-Cleaner) S 1073540 1073546 1073488 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 118685 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
[pid=1073546/tid=1073635] ppid=1073540 vsize=19108176 memory=-7595142079120238434 CPUtime=0 cores=1,3
/proc/1073546/task/1073635/stat : 1073635 (Timer-0) S 1073540 1073546 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332345 19566772224 118685 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
Current children cumulated CPU time: 14.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 474740 KiB

[startup+25.5003 s]
/proc/loadavg: 2.21 1.37 1.34 5/331 1073641
/proc/meminfo: memFree=125700312/131524600 swapFree=131070704/131071996
[pid=1073546] ppid=1073540 vsize=19108176 memory=601868 CPUtime=26.84 cores=1,3
/proc/1073546/stat : 1073546 (java) S 1073540 1073546 1073488 0 -1 1077936128 25082 0 0 0 2669 15 0 0 20 0 20 0 201332304 19566772224 150467 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
/proc/1073546/statm: 4777044 150467 5895 1 0 553447 0
[pid=1073546/tid=1073557] ppid=1073540 vsize=19108176 memory=474740 CPUtime=25.33 cores=1,3
/proc/1073546/task/1073557/stat : 1073557 (java) R 1073540 1073546 1073488 0 -1 4194368 10312 0 0 0 2522 11 0 0 20 0 20 0 201332304 19566772224 150467 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
[pid=1073546/tid=1073594] ppid=1073540 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1073546/task/1073594/stat : 1073594 (Finalizer) S 1073540 1073546 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 150467 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
[pid=1073546/tid=1073617] ppid=1073540 vsize=19108176 memory=7594828625742292057 CPUtime=0 cores=1,3
/proc/1073546/task/1073617/stat : 1073617 (Common-Cleaner) S 1073540 1073546 1073488 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 150467 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
[pid=1073546/tid=1073635] ppid=1073540 vsize=19108176 memory=587532 CPUtime=0 cores=1,3
/proc/1073546/task/1073635/stat : 1073635 (Timer-0) S 1073540 1073546 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332345 19566772224 150467 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
Current children cumulated CPU time: 26.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 601868 KiB

[startup+51.1062 s]
/proc/loadavg: 2.88 1.60 1.41 5/331 1073646
/proc/meminfo: memFree=124496312/131524600 swapFree=131070704/131071996
[pid=1073546] ppid=1073540 vsize=19108176 memory=1012336 CPUtime=52.4 cores=1,3
/proc/1073546/stat : 1073546 (java) S 1073540 1073546 1073488 0 -1 1077936128 29043 0 0 0 5217 23 0 0 20 0 20 0 201332304 19566772224 253084 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
/proc/1073546/statm: 4777044 253084 5911 1 0 1079830 0
[pid=1073546/tid=1073557] ppid=1073540 vsize=19108176 memory=983664 CPUtime=50.82 cores=1,3
/proc/1073546/task/1073557/stat : 1073557 (java) R 1073540 1073546 1073488 0 -1 4194368 11814 0 0 0 5063 19 0 0 20 0 20 0 201332304 19566772224 253084 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
[pid=1073546/tid=1073594] ppid=1073540 vsize=19108176 memory=946800 CPUtime=0 cores=1,3
/proc/1073546/task/1073594/stat : 1073594 (Finalizer) S 1073540 1073546 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 253084 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0

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

/proc/1073546/task/1073594/stat : 1073594 (Finalizer) S 1073540 1073546 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 1069837 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
[pid=1073546/tid=1073617] ppid=1073540 vsize=19108176 memory=11648 CPUtime=0 cores=1,3
/proc/1073546/task/1073617/stat : 1073617 (Common-Cleaner) S 1073540 1073546 1073488 0 -1 1077936192 3382 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 1069837 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
[pid=1073546/tid=1073635] ppid=1073540 vsize=19108176 memory=4279348 CPUtime=0 cores=1,3
/proc/1073546/task/1073635/stat : 1073635 (Timer-0) S 1073540 1073546 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332345 19566772224 1069837 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
Current children cumulated CPU time: 3221.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4279348 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.15 4.09 5/333 1075417
/proc/meminfo: memFree=110002200/131524600 swapFree=131070704/131071996
[pid=1073546] ppid=1073540 vsize=19108176 memory=4632840 CPUtime=3281.85 cores=1,3
/proc/1073546/stat : 1073546 (java) S 1073540 1073546 1073488 0 -1 1077936128 249002 0 0 0 327997 188 0 0 20 0 20 0 201332304 19566772224 1158210 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
/proc/1073546/statm: 4777044 1158210 5911 1 0 1242751 0
[pid=1073546/tid=1073557] ppid=1073540 vsize=19108176 memory=4432136 CPUtime=3260.33 cores=1,3
/proc/1073546/task/1073557/stat : 1073557 (java) R 1073540 1073546 1073488 0 -1 4194368 112624 0 0 0 325993 40 0 0 20 0 20 0 201332304 19566772224 1158210 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
[pid=1073546/tid=1073594] ppid=1073540 vsize=19108176 memory=4481288 CPUtime=0 cores=1,3
/proc/1073546/task/1073594/stat : 1073594 (Finalizer) S 1073540 1073546 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 1158210 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
[pid=1073546/tid=1073617] ppid=1073540 vsize=19108176 memory=11648 CPUtime=0 cores=1,3
/proc/1073546/task/1073617/stat : 1073617 (Common-Cleaner) S 1073540 1073546 1073488 0 -1 1077936192 3436 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 1158210 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
[pid=1073546/tid=1073635] ppid=1073540 vsize=19108176 memory=48084 CPUtime=0 cores=1,3
/proc/1073546/task/1073635/stat : 1073635 (Timer-0) S 1073540 1073546 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332345 19566772224 1158210 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
Current children cumulated CPU time: 3281.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4632840 KiB

[startup+3342.3 s]
/proc/loadavg: 4.27 4.18 4.10 5/333 1075428
/proc/meminfo: memFree=109615820/131524600 swapFree=131070704/131071996
[pid=1073546] ppid=1073540 vsize=19108176 memory=4913416 CPUtime=3341.76 cores=1,3
/proc/1073546/stat : 1073546 (java) S 1073540 1073546 1073488 0 -1 1077936128 250875 0 0 0 333982 194 0 0 20 0 20 0 201332304 19566772224 1228354 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
/proc/1073546/statm: 4777044 1228354 5911 1 0 1242751 0
[pid=1073546/tid=1073557] ppid=1073540 vsize=19108176 memory=26496 CPUtime=3320.13 cores=1,3
/proc/1073546/task/1073557/stat : 1073557 (java) R 1073540 1073546 1073488 0 -1 4194368 114383 0 0 0 331968 45 0 0 20 0 20 0 201332304 19566772224 1228354 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
[pid=1073546/tid=1073594] ppid=1073540 vsize=19108176 memory=4913416 CPUtime=0 cores=1,3
/proc/1073546/task/1073594/stat : 1073594 (Finalizer) S 1073540 1073546 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 1228354 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
[pid=1073546/tid=1073617] ppid=1073540 vsize=19108176 memory=4913416 CPUtime=0 cores=1,3
/proc/1073546/task/1073617/stat : 1073617 (Common-Cleaner) S 1073540 1073546 1073488 0 -1 1077936192 3463 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 1228354 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
[pid=1073546/tid=1073635] ppid=1073540 vsize=19108176 memory=4913416 CPUtime=0 cores=1,3
/proc/1073546/task/1073635/stat : 1073635 (Timer-0) S 1073540 1073546 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332345 19566772224 1228354 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
Current children cumulated CPU time: 3341.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4913416 KiB

[startup+3402.3 s]
/proc/loadavg: 4.26 4.19 4.11 5/332 1075439
/proc/meminfo: memFree=109112516/131524600 swapFree=131070704/131071996
[pid=1073546] ppid=1073540 vsize=19108176 memory=4913416 CPUtime=3401.63 cores=1,3
/proc/1073546/stat : 1073546 (java) S 1073540 1073546 1073488 0 -1 1077936128 254166 0 0 0 339968 195 0 0 20 0 20 0 201332304 19566772224 1228354 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
/proc/1073546/statm: 4777044 1228354 5911 1 0 1242751 0
[pid=1073546/tid=1073557] ppid=1073540 vsize=19108176 memory=4913416 CPUtime=3379.98 cores=1,3
/proc/1073546/task/1073557/stat : 1073557 (java) R 1073540 1073546 1073488 0 -1 4194368 117349 0 0 0 337952 46 0 0 20 0 20 0 201332304 19566772224 1228354 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
[pid=1073546/tid=1073594] ppid=1073540 vsize=19108176 memory=4913416 CPUtime=0 cores=1,3
/proc/1073546/task/1073594/stat : 1073594 (Finalizer) S 1073540 1073546 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 1228354 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
[pid=1073546/tid=1073617] ppid=1073540 vsize=19108176 memory=4837640 CPUtime=0 cores=1,3
/proc/1073546/task/1073617/stat : 1073617 (Common-Cleaner) S 1073540 1073546 1073488 0 -1 1077936192 3592 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 1228354 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
[pid=1073546/tid=1073635] ppid=1073540 vsize=19108176 memory=4913416 CPUtime=0 cores=1,3
/proc/1073546/task/1073635/stat : 1073635 (Timer-0) S 1073540 1073546 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332345 19566772224 1228354 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
Current children cumulated CPU time: 3401.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4913416 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.17 4.10 5/330 1075449
/proc/meminfo: memFree=108723488/131524600 swapFree=131070704/131071996
[pid=1073546] ppid=1073540 vsize=19108176 memory=4913612 CPUtime=3461.56 cores=1,3
/proc/1073546/stat : 1073546 (java) S 1073540 1073546 1073488 0 -1 1077936128 258876 0 0 0 345959 197 0 0 20 0 20 0 201332304 19566772224 1228403 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
/proc/1073546/statm: 4777044 1228403 5911 1 0 1242751 0
[pid=1073546/tid=1073557] ppid=1073540 vsize=19108176 memory=4913416 CPUtime=3439.4 cores=1,3
/proc/1073546/task/1073557/stat : 1073557 (java) R 1073540 1073546 1073488 0 -1 4194368 120164 0 0 0 343894 46 0 0 20 0 20 0 201332304 19566772224 1228403 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
[pid=1073546/tid=1073594] ppid=1073540 vsize=19108176 memory=4837640 CPUtime=0 cores=1,3
/proc/1073546/task/1073594/stat : 1073594 (Finalizer) S 1073540 1073546 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 1228403 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
[pid=1073546/tid=1073617] ppid=1073540 vsize=19108176 memory=4913612 CPUtime=0 cores=1,3
/proc/1073546/task/1073617/stat : 1073617 (Common-Cleaner) S 1073540 1073546 1073488 0 -1 1077936192 3679 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 1228403 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
[pid=1073546/tid=1073635] ppid=1073540 vsize=19108176 memory=11648 CPUtime=0 cores=1,3
/proc/1073546/task/1073635/stat : 1073635 (Timer-0) S 1073540 1073546 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332345 19566772224 1228403 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
Current children cumulated CPU time: 3461.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4913612 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.18 4.11 5/330 1075459
/proc/meminfo: memFree=108646492/131524600 swapFree=131070704/131071996
[pid=1073546] ppid=1073540 vsize=19108176 memory=4913612 CPUtime=3521.11 cores=1,3
/proc/1073546/stat : 1073546 (java) S 1073540 1073546 1073488 0 -1 1077936128 262170 0 0 0 351912 199 0 0 20 0 20 0 201332304 19566772224 1228403 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
/proc/1073546/statm: 4777044 1228403 5911 1 0 1242751 0
[pid=1073546/tid=1073557] ppid=1073540 vsize=19108176 memory=4913612 CPUtime=3498.69 cores=1,3
/proc/1073546/task/1073557/stat : 1073557 (java) R 1073540 1073546 1073488 0 -1 4194368 121940 0 0 0 349823 46 0 0 20 0 20 0 201332304 19566772224 1228403 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
[pid=1073546/tid=1073594] ppid=1073540 vsize=19108176 memory=280774763821408 CPUtime=0 cores=1,3
/proc/1073546/task/1073594/stat : 1073594 (Finalizer) S 1073540 1073546 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 1228403 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
[pid=1073546/tid=1073617] ppid=1073540 vsize=19108176 memory=12952 CPUtime=0 cores=1,3
/proc/1073546/task/1073617/stat : 1073617 (Common-Cleaner) S 1073540 1073546 1073488 0 -1 1077936192 3733 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 1228403 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
[pid=1073546/tid=1073635] ppid=1073540 vsize=19108176 memory=4913612 CPUtime=0 cores=1,3
/proc/1073546/task/1073635/stat : 1073635 (Timer-0) S 1073540 1073546 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332345 19566772224 1228403 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
Current children cumulated CPU time: 3521.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4913612 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.16 4.10 5/330 1075470
/proc/meminfo: memFree=108459028/131524600 swapFree=131070704/131071996
[pid=1073546] ppid=1073540 vsize=19108176 memory=4913620 CPUtime=3580.55 cores=1,3
/proc/1073546/stat : 1073546 (java) S 1073540 1073546 1073488 0 -1 1077936128 264759 0 0 0 357854 201 0 0 20 0 20 0 201332304 19566772224 1228405 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
/proc/1073546/statm: 4777044 1228405 5911 1 0 1242753 0
[pid=1073546/tid=1073557] ppid=1073540 vsize=19108176 memory=5432 CPUtime=3558.11 cores=1,3
/proc/1073546/task/1073557/stat : 1073557 (java) R 1073540 1073546 1073488 0 -1 4194368 124352 0 0 0 355764 47 0 0 20 0 20 0 201332304 19566772224 1228405 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
[pid=1073546/tid=1073594] ppid=1073540 vsize=19108176 memory=5544 CPUtime=0 cores=1,3
/proc/1073546/task/1073594/stat : 1073594 (Finalizer) S 1073540 1073546 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 1228405 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
[pid=1073546/tid=1073617] ppid=1073540 vsize=19108176 memory=4913616 CPUtime=0 cores=1,3
/proc/1073546/task/1073617/stat : 1073617 (Common-Cleaner) S 1073540 1073546 1073488 0 -1 1077936192 3787 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 1228405 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
[pid=1073546/tid=1073635] ppid=1073540 vsize=19108176 memory=12952 CPUtime=0 cores=1,3
/proc/1073546/task/1073635/stat : 1073635 (Timer-0) S 1073540 1073546 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332345 19566772224 1228405 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
Current children cumulated CPU time: 3580.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4913620 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3601.9 s]
/proc/loadavg: 4.01 4.14 4.10 3/279 1075610
/proc/meminfo: memFree=123082020/131524600 swapFree=131070704/131071996
[pid=1073546] ppid=1073540 vsize=19108176 memory=4913632 CPUtime=3600.05 cores=1,3
/proc/1073546/stat : 1073546 (java) S 1073540 1073546 1073488 0 -1 1077936128 267509 0 0 0 359804 201 0 0 20 0 20 0 201332304 19566772224 1228408 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
/proc/1073546/statm: 4777044 1228408 5911 1 0 1242755 0
[pid=1073546/tid=1073557] ppid=1073540 vsize=19108176 memory=4913624 CPUtime=3577.43 cores=1,3
/proc/1073546/task/1073557/stat : 1073557 (java) R 1073540 1073546 1073488 0 -1 4194368 125431 0 0 0 357696 47 0 0 20 0 20 0 201332304 19566772224 1228408 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
[pid=1073546/tid=1073594] ppid=1073540 vsize=19108176 memory=4913616 CPUtime=0 cores=1,3
/proc/1073546/task/1073594/stat : 1073594 (Finalizer) S 1073540 1073546 1073488 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 1228408 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
[pid=1073546/tid=1073617] ppid=1073540 vsize=19108176 memory=4913616 CPUtime=0 cores=1,3
/proc/1073546/task/1073617/stat : 1073617 (Common-Cleaner) S 1073540 1073546 1073488 0 -1 1077936192 3876 0 0 0 0 0 0 0 20 0 20 0 201332307 19566772224 1228408 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
[pid=1073546/tid=1073635] ppid=1073540 vsize=19108176 memory=48084 CPUtime=0 cores=1,3
/proc/1073546/task/1073635/stat : 1073635 (Timer-0) S 1073540 1073546 1073488 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 201332345 19566772224 1228408 134679101440 94087410843648 94087410847344 140737324026560 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94087410855160 94087410855952 94087429324800 140737324028933 140737324029023 140737324029023 140737324036040 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4913632 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.17 s, system=2.03485 s

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

[startup+3602.01 s]*
/proc/loadavg: 4.01 4.14 4.10 3/261 1075613
/proc/meminfo: memFree=127981340/131524600 swapFree=131070704/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): 3602.01
CPU time (s): 3600.21
CPU user time (s): 3598.17
CPU system time (s): 2.03485
CPU usage (%): 99.9499
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 4913632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.17
system time used= 2.03485
maximum resident set size= 4914340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269960
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109517
involuntary context switches= 10964


# summary of solver processes directly reported to runsolver:
#   pid: 1073546
#   total CPU time (s): 3600.21
#   total CPU user time (s): 3598.17
#   total CPU system time (s): 2.03485

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.51733 second user time and 17.0552 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2024-07-20 18:08:06
IDJOB=4453624
IDBENCH=175725
IDSOLVER=3058
FILE ID=nodeC023/4453624-1721491673
RUNJOBID= nodeC023-1721491686-1073500
SLURM_JOB_ID= 7545788
Free space on /tmp= 890084 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/larger/random4reg_opb/normalized-subsetcard-geq-random4reg-3500.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453624-1721491673/watcher-4453624-1721491673 -o /tmp/evaluation-result-4453624-1721491673/solver-4453624-1721491673 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721491686-1073500 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4453624-1721491673.opb

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

MD5SUM BENCH= 0add631ef3bf04b19f39ae45ede738e0
RANDOM SEED=443794095

nodeC023.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		: 3094.224
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.61
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		: 3612.303
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.48
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		: 3556.820
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.61
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		: 3652.214
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.48
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		: 3575.672
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.61
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		: 3565.208
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.48
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		: 3471.330
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.61
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		: 3577.606
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.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128121468 kB
MemAvailable:   129757116 kB
Buffers:          618180 kB
Cached:          1862420 kB
SwapCached:           80 kB
Active:          1291084 kB
Inactive:        1561620 kB
Active(anon):       1472 kB
Inactive(anon):   416360 kB
Active(file):    1289612 kB
Inactive(file):  1145260 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070704 kB
Dirty:              1504 kB
Writeback:             0 kB
AnonPages:        372184 kB
Mapped:           106404 kB
Shmem:             45728 kB
KReclaimable:      81868 kB
Slab:             174536 kB
SReclaimable:      81868 kB
SUnreclaim:        92668 kB
KernelStack:        3872 kB
PageTables:         9536 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     675340 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            33760 kB
HardwareCorrupted:     0 kB
AnonHugePages:    249856 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:      316116 kB
DirectMap2M:    38254592 kB
DirectMap1G:    97517568 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC023 at 2024-07-20 19:08:08