Trace number 4453534

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 3608.01

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/random4reg_opb_shuffle/normalized-subsetcard-eq-random4reg-3250.shuf-1.opb
MD5SUM72fe440e4863f7934b33500c5b515746
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.483324
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables13001
Total number of constraints13000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)1534
Number of constraints which are nor clauses,nor cardinality constraints11466
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 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.08	c Free memory 		2104792832
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-4453534-1721488196.opb
0.14/0.12	c reading problem ... 
0.14/0.12	c  no objective function found
0.71/0.51	c ... done. Wall clock time 0.383s.
0.71/0.51	c declared #vars     13001
0.71/0.51	c #constraints  13000
0.71/0.51	c constraints type 
0.90/0.51	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 13000
0.90/0.51	c 13000 constraints processed.
2.47/1.39	c cleaning 2497 clauses out of 5003 with flag 33575/5003
3.55/2.03	c cleaning 4240 clauses out of 8504 with flag 81326/11001
4.54/2.96	c cleaning 5611 clauses out of 11265 with flag 161116/18002
5.75/4.19	c cleaning 6795 clauses out of 13652 with flag 266309/26000
7.04/5.50	c cleaning 7891 clauses out of 15858 with flag 374606/35001
8.54/6.96	c cleaning 8916 clauses out of 17969 with flag 495491/45003
10.23/8.67	c cleaning 9954 clauses out of 20050 with flag 637830/56000
12.03/10.42	c cleaning 10976 clauses out of 22096 with flag 779852/68000
14.33/12.71	c cleaning 11950 clauses out of 24120 with flag 966934/81000
16.32/14.78	c cleaning 12986 clauses out of 26170 with flag 1135967/95000
18.63/17.06	c cleaning 13978 clauses out of 28185 with flag 1330398/110001
21.62/20.11	c cleaning 14974 clauses out of 30206 with flag 1576078/126000
24.44/22.89	c cleaning 15982 clauses out of 32232 with flag 1804076/143000
27.67/26.09	c cleaning 16988 clauses out of 34253 with flag 2066263/161003
30.95/29.33	c cleaning 17958 clauses out of 36262 with flag 2339853/180000
34.25/32.69	c cleaning 19001 clauses out of 38304 with flag 2624975/200000
37.64/36.06	c cleaning 20009 clauses out of 40306 with flag 2916984/221003
41.53/39.92	c cleaning 20993 clauses out of 42294 with flag 3252283/243000
45.73/44.19	c cleaning 22082 clauses out of 44301 with flag 3622628/266000
49.92/48.35	c cleaning 22964 clauses out of 46219 with flag 3987513/290000
54.40/52.82	c cleaning 23966 clauses out of 48255 with flag 4376179/315000
59.10/57.53	c cleaning 25020 clauses out of 50289 with flag 4791635/341000
63.59/62.01	c cleaning 25981 clauses out of 52269 with flag 5183479/368000
68.97/67.46	c cleaning 26979 clauses out of 54289 with flag 5652738/396001
74.97/73.44	c cleaning 27941 clauses out of 56310 with flag 6157368/425001
79.87/78.35	c cleaning 29062 clauses out of 58369 with flag 6637076/455001
84.66/83.14	c cleaning 30012 clauses out of 60306 with flag 7110352/486000
89.84/88.31	c cleaning 30981 clauses out of 62294 with flag 7616284/518000
95.15/93.60	c cleaning 32015 clauses out of 64314 with flag 8126974/551001
101.04/99.55	c cleaning 32953 clauses out of 66299 with flag 8689154/585001
106.72/105.28	c cleaning 34005 clauses out of 68346 with flag 9247062/620001
113.11/111.62	c cleaning 34983 clauses out of 70341 with flag 9851253/656001
119.29/117.86	c cleaning 36002 clauses out of 72357 with flag 10442592/693000
126.02/124.59	c cleaning 36974 clauses out of 74355 with flag 11078322/731000
132.82/131.31	c cleaning 38014 clauses out of 76382 with flag 11733898/770001
139.70/138.21	c cleaning 38988 clauses out of 78370 with flag 12396618/810003
147.09/145.68	c cleaning 40027 clauses out of 80380 with flag 13102546/851001
154.33/152.91	c cleaning 40998 clauses out of 82352 with flag 13785885/893000
161.55/160.18	c cleaning 42048 clauses out of 84356 with flag 14468091/936002
169.28/167.94	c cleaning 42966 clauses out of 86306 with flag 15211323/980000
177.01/175.71	c cleaning 43996 clauses out of 88340 with flag 15947738/1025000
184.61/183.32	c cleaning 45029 clauses out of 90344 with flag 16673183/1071000
192.15/190.92	c cleaning 45987 clauses out of 92319 with flag 17409624/1118004
200.08/198.91	c cleaning 47003 clauses out of 94331 with flag 18194179/1166003
208.53/207.48	c cleaning 48163 clauses out of 96326 with flag 18995936/1215001
217.35/216.30	c cleaning 48893 clauses out of 98162 with flag 19850801/1265000
226.14/225.13	c cleaning 49984 clauses out of 100269 with flag 20702324/1316000
235.17/234.21	c cleaning 50964 clauses out of 102285 with flag 21580792/1368000
244.58/243.63	c cleaning 51977 clauses out of 104321 with flag 22497244/1421000
253.40/252.52	c cleaning 52985 clauses out of 106344 with flag 23391414/1475000
263.11/262.33	c cleaning 53972 clauses out of 108363 with flag 24377717/1530004
273.16/272.47	c cleaning 54991 clauses out of 110387 with flag 25364781/1586000
282.48/281.83	c cleaning 56002 clauses out of 112397 with flag 26298831/1643001
292.44/291.80	c cleaning 57012 clauses out of 114395 with flag 27277897/1701001
302.15/301.67	c cleaning 58021 clauses out of 116384 with flag 28255132/1760002
312.02/311.51	c cleaning 58988 clauses out of 118362 with flag 29233797/1820001
323.00/322.53	c cleaning 60015 clauses out of 120373 with flag 30317555/1881000
333.63/333.14	c cleaning 60975 clauses out of 122358 with flag 31365762/1943000
344.40/343.98	c cleaning 62012 clauses out of 124383 with flag 32463720/2006000
355.84/355.35	c cleaning 63012 clauses out of 126371 with flag 33575975/2070000
366.62/366.16	c cleaning 64017 clauses out of 128361 with flag 34665713/2135002
377.79/377.25	c cleaning 64987 clauses out of 130342 with flag 35766407/2201000
389.46/388.91	c cleaning 66002 clauses out of 132357 with flag 36942830/2268002
400.44/399.98	c cleaning 67015 clauses out of 134355 with flag 38068805/2336002
412.53/412.04	c cleaning 68021 clauses out of 136339 with flag 39254045/2405001
424.32/423.96	c cleaning 69001 clauses out of 138317 with flag 40415097/2475000
436.41/436.13	c cleaning 69919 clauses out of 140316 with flag 41594768/2546000
448.72/448.43	c cleaning 71032 clauses out of 142398 with flag 42790584/2618001
460.69/460.45	c cleaning 71998 clauses out of 144366 with flag 44013549/2691001
473.28/473.03	c cleaning 73022 clauses out of 146367 with flag 45272668/2765000
486.45/486.17	c cleaning 73973 clauses out of 148349 with flag 46553620/2840004
498.52/498.24	c cleaning 75027 clauses out of 150372 with flag 47805228/2916000
512.10/511.88	c cleaning 76011 clauses out of 152345 with flag 49169771/2993000
525.87/525.64	c cleaning 76973 clauses out of 154335 with flag 50515441/3071001
540.22/539.93	c cleaning 78117 clauses out of 156361 with flag 51890616/3150000
554.29/554.07	c cleaning 78958 clauses out of 158245 with flag 53301626/3230001
568.06/567.88	c cleaning 79966 clauses out of 160286 with flag 54653733/3311000
582.12/581.91	c cleaning 80985 clauses out of 162321 with flag 56023191/3393001
596.30/596.09	c cleaning 81994 clauses out of 164335 with flag 57421242/3476000
610.76/610.51	c cleaning 83028 clauses out of 166342 with flag 58851407/3560001
625.34/625.15	c cleaning 83963 clauses out of 168313 with flag 60313859/3645000
640.00/639.88	c cleaning 85008 clauses out of 170350 with flag 61757459/3731000
655.50/655.22	c cleaning 86019 clauses out of 172343 with flag 63229183/3818001
671.46/671.23	c cleaning 87072 clauses out of 174324 with flag 64786064/3906001
687.34/687.14	c cleaning 87926 clauses out of 176251 with flag 66325416/3995000
702.60/702.41	c cleaning 89023 clauses out of 178327 with flag 67812134/4085002
719.08/718.89	c cleaning 89968 clauses out of 180302 with flag 69393633/4176000
735.35/735.13	c cleaning 90971 clauses out of 182336 with flag 70978135/4268002
752.20/752.01	c cleaning 91973 clauses out of 184364 with flag 72583608/4361001
768.17/768.07	c cleaning 93030 clauses out of 186392 with flag 74128846/4455002
784.84/784.66	c cleaning 94009 clauses out of 188361 with flag 75718510/4550001
801.91/801.78	c cleaning 95053 clauses out of 190352 with flag 77372564/4646001
818.96/818.88	c cleaning 96008 clauses out of 192298 with flag 79037254/4743000
836.83/836.71	c cleaning 96983 clauses out of 194291 with flag 80745465/4841001
855.55/855.00	c cleaning 98009 clauses out of 196307 with flag 82507531/4940000
873.63/873.04	c cleaning 98992 clauses out of 198299 with flag 84291232/5040001
891.27/890.71	c cleaning 99975 clauses out of 200307 with flag 86050987/5141001
908.94/908.30	c cleaning 100989 clauses out of 202331 with flag 87768268/5243000
926.37/925.94	c cleaning 102022 clauses out of 204344 with flag 89480879/5346002
945.01/944.63	c cleaning 102966 clauses out of 206320 with flag 91258135/5450000
963.94/963.75	c cleaning 104009 clauses out of 208356 with flag 93060693/5555002
983.06/983.04	c cleaning 105017 clauses out of 210346 with flag 94890244/5661001
1001.76/1001.85	c cleaning 105986 clauses out of 212328 with flag 96694447/5768000
1021.38/1021.63	c cleaning 107032 clauses out of 214344 with flag 98555011/5876002
1041.19/1041.64	c cleaning 107998 clauses out of 216310 with flag 100484051/5985000
1061.92/1062.41	c cleaning 108933 clauses out of 218312 with flag 102428426/6095000
1082.02/1082.74	c cleaning 110004 clauses out of 220381 with flag 104362871/6206002
1103.32/1104.15	c cleaning 111014 clauses out of 222375 with flag 106364778/6318000
1124.12/1125.16	c cleaning 111981 clauses out of 224361 with flag 108351133/6431000
1144.53/1145.75	c cleaning 113034 clauses out of 226380 with flag 110378933/6545000
1166.02/1167.43	c cleaning 114004 clauses out of 228347 with flag 112421356/6660001
1187.47/1189.01	c cleaning 115011 clauses out of 230342 with flag 114483617/6776000
1208.96/1210.72	c cleaning 116024 clauses out of 232335 with flag 116543701/6893004
1230.05/1232.04	c cleaning 116990 clauses out of 234307 with flag 118573872/7011000
1251.24/1253.46	c cleaning 118022 clauses out of 236318 with flag 120673945/7130001
1274.22/1276.62	c cleaning 118992 clauses out of 238295 with flag 122864133/7250000
1296.47/1298.94	c cleaning 119972 clauses out of 240303 with flag 125023282/7371000
1317.86/1320.54	c cleaning 121008 clauses out of 242331 with flag 127158806/7493000
1341.43/1344.32	c cleaning 122023 clauses out of 244323 with flag 129395008/7616000
1364.91/1368.05	c cleaning 122989 clauses out of 246302 with flag 131648295/7740002
1387.38/1390.75	c cleaning 124011 clauses out of 248311 with flag 133824804/7865000
1411.17/1414.51	c cleaning 124937 clauses out of 250301 with flag 136058100/7991001
1434.42/1437.83	c cleaning 126045 clauses out of 252365 with flag 138325893/8118002
1458.76/1462.21	c cleaning 127033 clauses out of 254318 with flag 140648260/8246000
1482.21/1485.75	c cleaning 128032 clauses out of 256287 with flag 142946657/8375002
1506.25/1509.86	c cleaning 128974 clauses out of 258253 with flag 145247186/8505000
1531.12/1534.67	c cleaning 129980 clauses out of 260281 with flag 147625328/8636002
1555.77/1559.32	c cleaning 130972 clauses out of 262299 with flag 150005573/8768000
1579.71/1583.37	c cleaning 132004 clauses out of 264327 with flag 152382024/8901000
1603.86/1607.59	c cleaning 133020 clauses out of 266323 with flag 154736748/9035000
1628.73/1632.33	c cleaning 133982 clauses out of 268304 with flag 157148497/9170001
1654.49/1658.14	c cleaning 135011 clauses out of 270322 with flag 159673812/9306001
1680.13/1683.85	c cleaning 135956 clauses out of 272310 with flag 162219395/9443000
1705.58/1709.37	c cleaning 136986 clauses out of 274354 with flag 164697774/9581000
1732.59/1736.27	c cleaning 137981 clauses out of 276373 with flag 167259853/9720005
1758.83/1762.53	c cleaning 139012 clauses out of 278387 with flag 169789222/9860000
1784.39/1788.16	c cleaning 140037 clauses out of 280375 with flag 172319571/10001000
1810.12/1813.98	c cleaning 141029 clauses out of 282339 with flag 174899664/10143001
1836.62/1840.32	c cleaning 141968 clauses out of 284309 with flag 177492441/10286000
1863.17/1866.96	c cleaning 143022 clauses out of 286343 with flag 180077624/10430002
1891.01/1894.85	c cleaning 143993 clauses out of 288320 with flag 182712458/10575001
1919.16/1923.06	c cleaning 144988 clauses out of 290328 with flag 185430687/10721002
1948.94/1952.25	c cleaning 146001 clauses out of 292339 with flag 188147923/10868001
1975.98/1979.37	c cleaning 147008 clauses out of 294337 with flag 190834164/11016000
2003.33/2006.77	c cleaning 148003 clauses out of 296331 with flag 193538581/11165002
2030.98/2034.45	c cleaning 149012 clauses out of 298327 with flag 196232671/11315001
2058.68/2062.17	c cleaning 149977 clauses out of 300314 with flag 198883245/11466000
2087.12/2090.60	c cleaning 151169 clauses out of 302338 with flag 201641548/11618001
2115.36/2118.99	c cleaning 151906 clauses out of 304168 with flag 204404944/11771000
2144.41/2148.04	c cleaning 152960 clauses out of 306262 with flag 207194082/11925000
2173.75/2177.41	c cleaning 154003 clauses out of 308302 with flag 209988753/12080000
2203.02/2206.68	c cleaning 154994 clauses out of 310301 with flag 212788370/12236002
2232.67/2236.35	c cleaning 155995 clauses out of 312307 with flag 215672639/12393002
2262.61/2266.31	c cleaning 157002 clauses out of 314312 with flag 218530032/12551002
2291.75/2295.56	c cleaning 158023 clauses out of 316312 with flag 221341424/12710004
2322.28/2325.95	c cleaning 159074 clauses out of 318285 with flag 224194224/12870000
2353.98/2357.90	c cleaning 159889 clauses out of 320213 with flag 227182646/13031002
2384.20/2388.46	c cleaning 161023 clauses out of 322322 with flag 230083161/13193000
2416.06/2420.35	c cleaning 162005 clauses out of 324300 with flag 233112420/13356001
2448.08/2452.49	c cleaning 162953 clauses out of 326294 with flag 236153207/13520000
2480.20/2484.65	c cleaning 163979 clauses out of 328343 with flag 239211870/13685002
2512.02/2516.51	c cleaning 165002 clauses out of 330362 with flag 242222306/13851000
2543.67/2548.12	c cleaning 166013 clauses out of 332360 with flag 245248124/14018000
2575.17/2579.99	c cleaning 166997 clauses out of 334347 with flag 248306291/14186000
2608.93/2614.07	c cleaning 167996 clauses out of 336351 with flag 251493088/14355001
2642.56/2647.76	c cleaning 169020 clauses out of 338354 with flag 254688283/14525000
2675.99/2681.26	c cleaning 170013 clauses out of 340334 with flag 257878351/14696000
2708.92/2714.22	c cleaning 171001 clauses out of 342323 with flag 261042633/14868002
2742.26/2747.64	c cleaning 172018 clauses out of 344320 with flag 264184299/15041000
2776.73/2782.02	c cleaning 173023 clauses out of 346303 with flag 267469159/15215001
2810.85/2816.20	c cleaning 174015 clauses out of 348279 with flag 270699936/15390000
2846.38/2851.80	c cleaning 174990 clauses out of 350264 with flag 273983948/15566000
2882.21/2887.70	c cleaning 175992 clauses out of 352275 with flag 277401774/15743001
2915.54/2921.08	c cleaning 176986 clauses out of 354282 with flag 280641041/15921000
2950.86/2956.48	c cleaning 177989 clauses out of 356297 with flag 283986180/16100001
2985.60/2991.21	c cleaning 179041 clauses out of 358307 with flag 287298730/16280000
3021.12/3026.80	c cleaning 179996 clauses out of 360267 with flag 290695925/16461001
3057.29/3062.85	c cleaning 180982 clauses out of 362273 with flag 294079358/16643003
3091.52/3097.12	c cleaning 182008 clauses out of 364290 with flag 297424151/16826002
3128.16/3133.71	c cleaning 182995 clauses out of 366280 with flag 300875857/17010000
3163.99/3169.65	c cleaning 183968 clauses out of 368285 with flag 304292440/17195000
3199.31/3205.08	c cleaning 185022 clauses out of 370317 with flag 307716857/17381000
3236.44/3242.23	c cleaning 185992 clauses out of 372298 with flag 311247434/17568003
3273.47/3279.59	c cleaning 186997 clauses out of 374304 with flag 314802316/17756001
3311.48/3317.91	c cleaning 187966 clauses out of 376306 with flag 318354687/17945000
3348.61/3355.44	c cleaning 189029 clauses out of 378340 with flag 321887193/18135000
3385.44/3392.61	c cleaning 189994 clauses out of 380311 with flag 325393905/18326000
3423.33/3430.79	c cleaning 191001 clauses out of 382317 with flag 329086326/18518000
3461.64/3469.47	c cleaning 192015 clauses out of 384316 with flag 332727714/18711000
3500.04/3508.28	c cleaning 192999 clauses out of 386303 with flag 336420175/18905002
3537.69/3545.40	c cleaning 193961 clauses out of 388302 with flag 339979616/19100000
3575.11/3582.96	c cleaning 195013 clauses out of 390342 with flag 343574157/19296001
3600.05/3607.91	c starts		: 157695
3600.05/3607.91	c conflicts		: 19430281
3600.05/3607.91	c decisions		: 1137954677
3600.05/3607.91	c propagations		: 7838286467
3600.05/3607.91	c inspects		: 18089115512
3600.05/3607.91	c shortcuts		: 0
3600.05/3607.91	c learnt literals	: 0
3600.05/3607.91	c learnt binary clauses	: 0
3600.05/3607.91	c learnt ternary clauses	: 0
3600.05/3607.91	c learnt constraints	: 19430281
3600.05/3607.91	c ignored constraints	: 0
3600.05/3607.91	c root simplifications	: 0
3600.05/3607.91	c removed literals (reason simplification)	: 0
3600.05/3607.91	c reason swapping (by a shorter reason)	: 0
3600.05/3607.91	c Calls to reduceDB	: 192
3600.05/3607.91	c Number of update (reduction) of LBD	: 6920276
3600.05/3607.91	c Imported unit clauses	: 0
3600.05/3607.91	c No decision after first conflict	: false
3600.05/3607.91	c number of reductions to clauses (during analyze)	: 0
3600.05/3607.91	c number of learned constraints concerned by reduction	: 0
3600.05/3607.91	c number of learning phase by resolution	: 0
3600.05/3607.91	c number of learning phase by cutting planes	: 0
3600.05/3607.91	c number of rounding to 1 operations	: 0
3600.05/3607.91	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.05/3607.91	c number of reductions of the coefficients by power 2 	: 0
3600.05/3607.91	c number of right shift for reduction by power 2 	: 0
3600.05/3607.92	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.05/3607.92	c number of ending skipping 	: 0
3600.05/3607.92	c timeout
3600.05/3607.92	c number of internal skipping 	: 0
3600.05/3607.92	c number of derivation steps 	: 0
3600.05/3607.92	c number of skipped derivation steps 	: 0
3600.05/3607.92	c number of remaining unassigned 	: 0
3600.05/3607.92	c number of remaining assigned 	: 0
3600.05/3607.92	c number of falsified literals weakened from reason	: 0
3600.05/3607.92	c number of falsified literals weakened from conflict	: 0
3600.05/3607.92	c time for arithmetic operations	: 0
3600.05/3607.93	c minimum degree of deleted constraints	: null
3600.05/3607.93	c maximum degree of deleted constraints	: null
3600.05/3607.93	c number of deleted constraints	: 0
3600.05/3607.93	c speed (assignments/second)	: 2172827.582259087
3600.05/3607.93	c non guided choices	: 33128475
3600.05/3607.99	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 329609
3600.05/3607.99	s UNKNOWN
3600.05/3607.99	c Total wall clock time (in seconds): 3607.868

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453534-1721488196/watcher-4453534-1721488196 -o /tmp/evaluation-result-4453534-1721488196/solver-4453534-1721488196 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721488208-1089315 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4453534-1721488196.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=1089373, runsolver pid=1089366

[startup+0.100336 s]*
/proc/loadavg: 4.04 4.10 4.09 11/325 1089445
/proc/meminfo: memFree=126506936/131524600 swapFree=131071216/131071996
[pid=1089373] ppid=1089366 vsize=18975048 memory=65528 CPUtime=0.14 cores=1,3
/proc/1089373/stat : 1089373 (java) S 1089366 1089373 1089301 0 -1 1077936128 7217 0 0 0 11 3 0 0 20 0 18 0 200982042 19430449152 16382 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
/proc/1089373/statm: 4743762 16382 5719 1 0 549335 0
[pid=1089373/tid=1089384] ppid=1089366 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=1,3
/proc/1089373/task/1089384/stat : 1089384 (java) R 1089366 1089373 1089301 0 -1 1078198336 5747 0 0 0 6 2 0 0 20 0 18 0 200982043 19430449152 16382 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
[pid=1089373/tid=1089434] ppid=1089366 vsize=18975048 memory=1905144 CPUtime=0 cores=1,3
/proc/1089373/task/1089434/stat : 1089434 (Finalizer) S 1089366 1089373 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 200982045 19430449152 16382 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
[pid=1089373/tid=1089443] ppid=1089366 vsize=18975048 memory=15538522484377282 CPUtime=0 cores=1,3
/proc/1089373/task/1089443/stat : 1089443 (Common-Cleaner) S 1089366 1089373 1089301 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 200982046 19430449152 16382 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65528 KiB

[startup+0.209384 s]*
/proc/loadavg: 4.04 4.10 4.09 16/329 1089449
/proc/meminfo: memFree=126220984/131524600 swapFree=131071216/131071996
[pid=1089373] ppid=1089366 vsize=19041612 memory=157588 CPUtime=0.33 cores=1,3
/proc/1089373/stat : 1089373 (java) S 1089366 1089373 1089301 0 -1 1077936128 7753 0 0 0 27 6 0 0 20 0 19 0 200982042 19498610688 39397 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
/proc/1089373/statm: 4760403 39397 5819 1 0 549897 0
[pid=1089373/tid=1089384] ppid=1089366 vsize=19041612 memory=8603368907145347203 CPUtime=0.17 cores=1,3
/proc/1089373/task/1089384/stat : 1089384 (java) S 1089366 1089373 1089301 0 -1 1077936192 5934 0 0 0 12 5 0 0 20 0 19 0 200982043 19498610688 39397 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
[pid=1089373/tid=1089434] ppid=1089366 vsize=19041612 memory=1905144 CPUtime=0 cores=1,3
/proc/1089373/task/1089434/stat : 1089434 (Finalizer) S 1089366 1089373 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 200982045 19498610688 39397 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
[pid=1089373/tid=1089443] ppid=1089366 vsize=19041612 memory=15538522484377282 CPUtime=0 cores=1,3
/proc/1089373/task/1089443/stat : 1089443 (Common-Cleaner) S 1089366 1089373 1089301 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 200982046 19498610688 39397 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 157588 KiB

[startup+0.306529 s]*
/proc/loadavg: 4.04 4.10 4.09 14/331 1089451
/proc/meminfo: memFree=126080512/131524600 swapFree=131071216/131071996
[pid=1089373] ppid=1089366 vsize=19041612 memory=300704 CPUtime=0.52 cores=1,3
/proc/1089373/stat : 1089373 (java) S 1089366 1089373 1089301 0 -1 1077936128 9274 0 0 0 43 9 0 0 20 0 19 0 200982042 19498610688 75176 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
/proc/1089373/statm: 4760403 75176 5819 1 0 550824 0
[pid=1089373/tid=1089384] ppid=1089366 vsize=19041612 memory=-7162515039915697508 CPUtime=0.26 cores=1,3
/proc/1089373/task/1089384/stat : 1089384 (java) R 1089366 1089373 1089301 0 -1 4194368 6000 0 0 0 18 8 0 0 20 0 19 0 200982043 19498610688 75176 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
[pid=1089373/tid=1089434] ppid=1089366 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1089373/task/1089434/stat : 1089434 (Finalizer) S 1089366 1089373 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 200982045 19498610688 75176 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
[pid=1089373/tid=1089443] ppid=1089366 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1089373/task/1089443/stat : 1089443 (Common-Cleaner) S 1089366 1089373 1089301 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 200982046 19498610688 75688 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 300704 KiB

[startup+0.700372 s]
/proc/loadavg: 4.04 4.10 4.09 13/331 1089451
/proc/meminfo: memFree=125730908/131524600 swapFree=131071216/131071996
[pid=1089373] ppid=1089366 vsize=19108176 memory=623712 CPUtime=1.27 cores=1,3
/proc/1089373/stat : 1089373 (java) S 1089366 1089373 1089301 0 -1 1077936128 15432 0 0 0 111 16 0 0 20 0 20 0 200982042 19566772224 155928 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
/proc/1089373/statm: 4777044 155928 5819 1 0 555044 0
[pid=1089373/tid=1089384] ppid=1089366 vsize=19108176 memory=5628 CPUtime=0.61 cores=1,3
/proc/1089373/task/1089384/stat : 1089384 (java) R 1089366 1089373 1089301 0 -1 4194368 6208 0 0 0 47 14 0 0 20 0 20 0 200982043 19566772224 155928 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
[pid=1089373/tid=1089434] ppid=1089366 vsize=19108176 memory=13124 CPUtime=0 cores=1,3
/proc/1089373/task/1089434/stat : 1089434 (Finalizer) S 1089366 1089373 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 200982045 19566772224 155928 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
[pid=1089373/tid=1089443] ppid=1089366 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1089373/task/1089443/stat : 1089443 (Common-Cleaner) S 1089366 1089373 1089301 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 200982046 19566772224 155928 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 623712 KiB

[startup+1.50039 s]
/proc/loadavg: 4.04 4.10 4.09 11/332 1089452
/proc/meminfo: memFree=125692088/131524600 swapFree=131071216/131071996
[pid=1089373] ppid=1089366 vsize=19108176 memory=638712 CPUtime=2.82 cores=1,3
/proc/1089373/stat : 1089373 (java) S 1089366 1089373 1089301 0 -1 1077936128 16108 0 0 0 265 17 0 0 20 0 20 0 200982042 19566772224 159678 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
/proc/1089373/statm: 4777044 159678 5851 1 0 555455 0
[pid=1089373/tid=1089384] ppid=1089366 vsize=19108176 memory=13124 CPUtime=1.39 cores=1,3
/proc/1089373/task/1089384/stat : 1089384 (java) R 1089366 1089373 1089301 0 -1 4194368 6283 0 0 0 125 14 0 0 20 0 20 0 200982043 19566772224 159678 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
[pid=1089373/tid=1089434] ppid=1089366 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1089373/task/1089434/stat : 1089434 (Finalizer) S 1089366 1089373 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 200982045 19566772224 159678 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
[pid=1089373/tid=1089443] ppid=1089366 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1089373/task/1089443/stat : 1089443 (Common-Cleaner) S 1089366 1089373 1089301 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 200982046 19566772224 159678 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
[pid=1089373/tid=1089452] ppid=1089366 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1089373/task/1089452/stat : 1089452 (Timer-0) S 1089366 1089373 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200982094 19566772224 159678 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
Current children cumulated CPU time: 2.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 638712 KiB

[startup+3.10537 s]
/proc/loadavg: 4.36 4.16 4.11 7/332 1089452
/proc/meminfo: memFree=125627508/131524600 swapFree=131071216/131071996
[pid=1089373] ppid=1089366 vsize=19108176 memory=663616 CPUtime=4.75 cores=1,3
/proc/1089373/stat : 1089373 (java) S 1089366 1089373 1089301 0 -1 1077936128 16328 0 0 0 457 18 0 0 20 0 20 0 200982042 19566772224 165904 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
/proc/1089373/statm: 4777044 165904 5851 1 0 555464 0
[pid=1089373/tid=1089384] ppid=1089366 vsize=19108176 memory=0 CPUtime=2.98 cores=1,3
/proc/1089373/task/1089384/stat : 1089384 (java) R 1089366 1089373 1089301 0 -1 4194368 6428 0 0 0 283 15 0 0 20 0 20 0 200982043 19566772224 165904 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
[pid=1089373/tid=1089434] ppid=1089366 vsize=19108176 memory=14364 CPUtime=0 cores=1,3
/proc/1089373/task/1089434/stat : 1089434 (Finalizer) S 1089366 1089373 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 200982045 19566772224 165904 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
[pid=1089373/tid=1089443] ppid=1089366 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1089373/task/1089443/stat : 1089443 (Common-Cleaner) S 1089366 1089373 1089301 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 200982046 19566772224 165904 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
[pid=1089373/tid=1089452] ppid=1089366 vsize=19108176 memory=13124 CPUtime=0 cores=1,3
/proc/1089373/task/1089452/stat : 1089452 (Timer-0) S 1089366 1089373 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200982094 19566772224 165904 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
Current children cumulated CPU time: 4.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 663616 KiB

[startup+6.30022 s]
/proc/loadavg: 4.36 4.16 4.11 7/332 1089452
/proc/meminfo: memFree=125581728/131524600 swapFree=131071216/131071996
[pid=1089373] ppid=1089366 vsize=19108176 memory=689460 CPUtime=7.94 cores=1,3
/proc/1089373/stat : 1089373 (java) S 1089366 1089373 1089301 0 -1 1077936128 17965 0 0 0 775 19 0 0 20 0 20 0 200982042 19566772224 172365 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
/proc/1089373/statm: 4777044 172365 5867 1 0 555464 0
[pid=1089373/tid=1089384] ppid=1089366 vsize=19108176 memory=0 CPUtime=6.17 cores=1,3
/proc/1089373/task/1089384/stat : 1089384 (java) R 1089366 1089373 1089301 0 -1 4194368 7256 0 0 0 601 16 0 0 20 0 20 0 200982043 19566772224 172365 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
[pid=1089373/tid=1089434] ppid=1089366 vsize=19108176 memory=13124 CPUtime=0 cores=1,3
/proc/1089373/task/1089434/stat : 1089434 (Finalizer) S 1089366 1089373 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 200982045 19566772224 172365 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
[pid=1089373/tid=1089443] ppid=1089366 vsize=19108176 memory=14364 CPUtime=0 cores=1,3
/proc/1089373/task/1089443/stat : 1089443 (Common-Cleaner) S 1089366 1089373 1089301 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 200982046 19566772224 172365 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
[pid=1089373/tid=1089452] ppid=1089366 vsize=19108176 memory=50976 CPUtime=0 cores=1,3
/proc/1089373/task/1089452/stat : 1089452 (Timer-0) S 1089366 1089373 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200982094 19566772224 172365 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
Current children cumulated CPU time: 7.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 689460 KiB

[startup+12.7002 s]
/proc/loadavg: 4.30 4.16 4.11 7/332 1089454
/proc/meminfo: memFree=125429688/131524600 swapFree=131071216/131071996
[pid=1089373] ppid=1089366 vsize=19108176 memory=746844 CPUtime=14.33 cores=1,3
/proc/1089373/stat : 1089373 (java) S 1089366 1089373 1089301 0 -1 1077936128 18913 0 0 0 1413 20 0 0 20 0 20 0 200982042 19566772224 186711 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
/proc/1089373/statm: 4777044 186711 5867 1 0 555464 0
[pid=1089373/tid=1089384] ppid=1089366 vsize=19108176 memory=728412 CPUtime=12.55 cores=1,3
/proc/1089373/task/1089384/stat : 1089384 (java) R 1089366 1089373 1089301 0 -1 4194368 7961 0 0 0 1238 17 0 0 20 0 20 0 200982043 19566772224 186711 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
[pid=1089373/tid=1089434] ppid=1089366 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1089373/task/1089434/stat : 1089434 (Finalizer) S 1089366 1089373 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 200982045 19566772224 186711 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
[pid=1089373/tid=1089443] ppid=1089366 vsize=19108176 memory=736604 CPUtime=0 cores=1,3
/proc/1089373/task/1089443/stat : 1089443 (Common-Cleaner) S 1089366 1089373 1089301 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 200982046 19566772224 186711 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
[pid=1089373/tid=1089452] ppid=1089366 vsize=19108176 memory=13124 CPUtime=0 cores=1,3
/proc/1089373/task/1089452/stat : 1089452 (Timer-0) S 1089366 1089373 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200982094 19566772224 186711 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
Current children cumulated CPU time: 14.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 746844 KiB

[startup+25.5003 s]
/proc/loadavg: 4.26 4.15 4.10 7/333 1089456
/proc/meminfo: memFree=125117148/131524600 swapFree=131071216/131071996
[pid=1089373] ppid=1089366 vsize=19108176 memory=845356 CPUtime=27.16 cores=1,3
/proc/1089373/stat : 1089373 (java) S 1089366 1089373 1089301 0 -1 1077936128 23814 0 0 0 2694 22 0 0 20 0 20 0 200982042 19566772224 211339 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
/proc/1089373/statm: 4777044 211339 5874 1 0 555464 0
[pid=1089373/tid=1089384] ppid=1089366 vsize=19108176 memory=0 CPUtime=25.32 cores=1,3
/proc/1089373/task/1089384/stat : 1089384 (java) R 1089366 1089373 1089301 0 -1 4194368 9849 0 0 0 2513 19 0 0 20 0 20 0 200982043 19566772224 211339 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
[pid=1089373/tid=1089434] ppid=1089366 vsize=19108176 memory=736604 CPUtime=0 cores=1,3
/proc/1089373/task/1089434/stat : 1089434 (Finalizer) S 1089366 1089373 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 200982045 19566772224 211339 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
[pid=1089373/tid=1089443] ppid=1089366 vsize=19108176 memory=720220 CPUtime=0 cores=1,3
/proc/1089373/task/1089443/stat : 1089443 (Common-Cleaner) S 1089366 1089373 1089301 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 200982046 19566772224 211339 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
[pid=1089373/tid=1089452] ppid=1089366 vsize=19108176 memory=-7162515039915566436 CPUtime=0 cores=1,3
/proc/1089373/task/1089452/stat : 1089452 (Timer-0) S 1089366 1089373 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200982094 19566772224 211339 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
Current children cumulated CPU time: 27.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 845356 KiB

[startup+51.1055 s]
/proc/loadavg: 4.23 4.16 4.10 7/333 1089461
/proc/meminfo: memFree=124327904/131524600 swapFree=131071216/131071996
[pid=1089373] ppid=1089366 vsize=19108176 memory=1033796 CPUtime=52.71 cores=1,3
/proc/1089373/stat : 1089373 (java) S 1089366 1089373 1089301 0 -1 1077936128 27104 0 0 0 5244 27 0 0 20 0 20 0 200982042 19566772224 258449 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
/proc/1089373/statm: 4777044 258449 5874 1 0 555464 0
[pid=1089373/tid=1089384] ppid=1089366 vsize=19108176 memory=980548 CPUtime=50.86 cores=1,3
/proc/1089373/task/1089384/stat : 1089384 (java) R 1089366 1089373 1089301 0 -1 4194368 12690 0 0 0 5063 23 0 0 20 0 20 0 200982043 19566772224 258449 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
[pid=1089373/tid=1089434] ppid=1089366 vsize=19108176 memory=14364 CPUtime=0 cores=1,3
/proc/1089373/task/1089434/stat : 1089434 (Finalizer) S 1089366 1089373 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 200982045 19566772224 258449 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
[pid=1089373/tid=1089443] ppid=1089366 vsize=19108176 memory=50976 CPUtime=0 cores=1,3
/proc/1089373/task/1089443/stat : 1089443 (Common-Cleaner) S 1089366 1089373 1089301 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 200982046 19566772224 258449 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0

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

/proc/1089373/task/1089434/stat : 1089434 (Finalizer) S 1089366 1089373 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 200982045 19566772224 928227 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
[pid=1089373/tid=1089443] ppid=1089366 vsize=19108176 memory=3712908 CPUtime=0 cores=1,3
/proc/1089373/task/1089443/stat : 1089443 (Common-Cleaner) S 1089366 1089373 1089301 0 -1 1077936192 4379 0 0 0 0 0 0 0 20 0 20 0 200982046 19566772224 928227 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
[pid=1089373/tid=1089452] ppid=1089366 vsize=19108176 memory=3712908 CPUtime=0 cores=1,3
/proc/1089373/task/1089452/stat : 1089452 (Timer-0) S 1089366 1089373 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200982094 19566772224 928227 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
Current children cumulated CPU time: 3216.58 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3712908 KiB

[startup+3282.3 s]
/proc/loadavg: 4.26 4.22 4.18 7/331 1091222
/proc/meminfo: memFree=116320080/131524600 swapFree=131071216/131071996
[pid=1089373] ppid=1089366 vsize=19108176 memory=3712908 CPUtime=3276.24 cores=1,3
/proc/1089373/stat : 1089373 (java) S 1089366 1089373 1089301 0 -1 1077936128 205525 0 0 0 327438 186 0 0 20 0 20 0 200982042 19566772224 928227 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
/proc/1089373/statm: 4777044 928227 5890 1 0 970894 0
[pid=1089373/tid=1089384] ppid=1089366 vsize=19108176 memory=13124 CPUtime=3261.27 cores=1,3
/proc/1089373/task/1089384/stat : 1089384 (java) R 1089366 1089373 1089301 0 -1 4194368 104749 0 0 0 326079 48 0 0 20 0 20 0 200982043 19566772224 928227 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
[pid=1089373/tid=1089434] ppid=1089366 vsize=19108176 memory=14364 CPUtime=0 cores=1,3
/proc/1089373/task/1089434/stat : 1089434 (Finalizer) S 1089366 1089373 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 200982045 19566772224 928227 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
[pid=1089373/tid=1089443] ppid=1089366 vsize=19108176 memory=51092 CPUtime=0 cores=1,3
/proc/1089373/task/1089443/stat : 1089443 (Common-Cleaner) S 1089366 1089373 1089301 0 -1 1077936192 4426 0 0 0 0 0 0 0 20 0 20 0 200982046 19566772224 928227 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
[pid=1089373/tid=1089452] ppid=1089366 vsize=19108176 memory=13124 CPUtime=0 cores=1,3
/proc/1089373/task/1089452/stat : 1089452 (Timer-0) S 1089366 1089373 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200982094 19566772224 928227 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
Current children cumulated CPU time: 3276.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3712908 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.19 4.17 7/331 1091232
/proc/meminfo: memFree=115986300/131524600 swapFree=131071216/131071996
[pid=1089373] ppid=1089366 vsize=19108176 memory=3712908 CPUtime=3335.64 cores=1,3
/proc/1089373/stat : 1089373 (java) S 1089366 1089373 1089301 0 -1 1077936128 207533 0 0 0 333376 188 0 0 20 0 20 0 200982042 19566772224 928227 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
/proc/1089373/statm: 4777044 928227 5890 1 0 970894 0
[pid=1089373/tid=1089384] ppid=1089366 vsize=19108176 memory=14364 CPUtime=3320.64 cores=1,3
/proc/1089373/task/1089384/stat : 1089384 (java) R 1089366 1089373 1089301 0 -1 4194368 106473 0 0 0 332016 48 0 0 20 0 20 0 200982043 19566772224 928227 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
[pid=1089373/tid=1089434] ppid=1089366 vsize=19108176 memory=5596 CPUtime=0 cores=1,3
/proc/1089373/task/1089434/stat : 1089434 (Finalizer) S 1089366 1089373 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 200982045 19566772224 928227 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
[pid=1089373/tid=1089443] ppid=1089366 vsize=19108176 memory=3712908 CPUtime=0 cores=1,3
/proc/1089373/task/1089443/stat : 1089443 (Common-Cleaner) S 1089366 1089373 1089301 0 -1 1077936192 4566 0 0 0 0 0 0 0 20 0 20 0 200982046 19566772224 928227 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
[pid=1089373/tid=1089452] ppid=1089366 vsize=19108176 memory=51092 CPUtime=0 cores=1,3
/proc/1089373/task/1089452/stat : 1089452 (Timer-0) S 1089366 1089373 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200982094 19566772224 928227 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
Current children cumulated CPU time: 3335.64 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3712908 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.17 4.17 7/330 1091243
/proc/meminfo: memFree=115969600/131524600 swapFree=131071216/131071996
[pid=1089373] ppid=1089366 vsize=19108176 memory=3712908 CPUtime=3395.04 cores=1,3
/proc/1089373/stat : 1089373 (java) S 1089366 1089373 1089301 0 -1 1077936128 210194 0 0 0 339314 190 0 0 20 0 20 0 200982042 19566772224 928227 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
/proc/1089373/statm: 4777044 928227 5890 1 0 970894 0
[pid=1089373/tid=1089384] ppid=1089366 vsize=19108176 memory=51092 CPUtime=3380 cores=1,3
/proc/1089373/task/1089384/stat : 1089384 (java) R 1089366 1089373 1089301 0 -1 4194368 108538 0 0 0 337952 48 0 0 20 0 20 0 200982043 19566772224 928227 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
[pid=1089373/tid=1089434] ppid=1089366 vsize=19108176 memory=5628 CPUtime=0 cores=1,3
/proc/1089373/task/1089434/stat : 1089434 (Finalizer) S 1089366 1089373 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 200982045 19566772224 928227 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
[pid=1089373/tid=1089443] ppid=1089366 vsize=19108176 memory=3712908 CPUtime=0 cores=1,3
/proc/1089373/task/1089443/stat : 1089443 (Common-Cleaner) S 1089366 1089373 1089301 0 -1 1077936192 4652 0 0 0 0 0 0 0 20 0 20 0 200982046 19566772224 928227 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
[pid=1089373/tid=1089452] ppid=1089366 vsize=19108176 memory=3712908 CPUtime=0 cores=1,3
/proc/1089373/task/1089452/stat : 1089452 (Timer-0) S 1089366 1089373 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200982094 19566772224 928227 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
Current children cumulated CPU time: 3395.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3712908 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.15 4.16 7/330 1091254
/proc/meminfo: memFree=115903516/131524600 swapFree=131071216/131071996
[pid=1089373] ppid=1089366 vsize=19108176 memory=3712908 CPUtime=3454.62 cores=1,3
/proc/1089373/stat : 1089373 (java) S 1089366 1089373 1089301 0 -1 1077936128 212847 0 0 0 345270 192 0 0 20 0 20 0 200982042 19566772224 928227 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
/proc/1089373/statm: 4777044 928227 5890 1 0 970894 0
[pid=1089373/tid=1089384] ppid=1089366 vsize=19108176 memory=51092 CPUtime=3439.21 cores=1,3
/proc/1089373/task/1089384/stat : 1089384 (java) R 1089366 1089373 1089301 0 -1 4194368 109878 0 0 0 343872 49 0 0 20 0 20 0 200982043 19566772224 928227 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
[pid=1089373/tid=1089434] ppid=1089366 vsize=19108176 memory=51092 CPUtime=0 cores=1,3
/proc/1089373/task/1089434/stat : 1089434 (Finalizer) S 1089366 1089373 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 200982045 19566772224 928227 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
[pid=1089373/tid=1089443] ppid=1089366 vsize=19108176 memory=2328 CPUtime=0 cores=1,3
/proc/1089373/task/1089443/stat : 1089443 (Common-Cleaner) S 1089366 1089373 1089301 0 -1 1077936192 4702 0 0 0 0 0 0 0 20 0 20 0 200982046 19566772224 928227 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
[pid=1089373/tid=1089452] ppid=1089366 vsize=19108176 memory=3712908 CPUtime=0 cores=1,3
/proc/1089373/task/1089452/stat : 1089452 (Timer-0) S 1089366 1089373 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200982094 19566772224 928227 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
Current children cumulated CPU time: 3454.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3712908 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.15 4.16 7/330 1091264
/proc/meminfo: memFree=115903140/131524600 swapFree=131071216/131071996
[pid=1089373] ppid=1089366 vsize=19108176 memory=3712908 CPUtime=3514.01 cores=1,3
/proc/1089373/stat : 1089373 (java) S 1089366 1089373 1089301 0 -1 1077936128 215031 0 0 0 351207 194 0 0 20 0 20 0 200982042 19566772224 928227 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
/proc/1089373/statm: 4777044 928227 5890 1 0 970894 0
[pid=1089373/tid=1089384] ppid=1089366 vsize=19108176 memory=3712908 CPUtime=3498.57 cores=1,3
/proc/1089373/task/1089384/stat : 1089384 (java) R 1089366 1089373 1089301 0 -1 4194368 111750 0 0 0 349808 49 0 0 20 0 20 0 200982043 19566772224 928227 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
[pid=1089373/tid=1089434] ppid=1089366 vsize=19108176 memory=3712908 CPUtime=0 cores=1,3
/proc/1089373/task/1089434/stat : 1089434 (Finalizer) S 1089366 1089373 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 200982045 19566772224 928227 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
[pid=1089373/tid=1089443] ppid=1089366 vsize=19108176 memory=3712908 CPUtime=0 cores=1,3
/proc/1089373/task/1089443/stat : 1089443 (Common-Cleaner) S 1089366 1089373 1089301 0 -1 1077936192 4803 0 0 0 0 0 0 0 20 0 20 0 200982046 19566772224 928227 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
[pid=1089373/tid=1089452] ppid=1089366 vsize=19108176 memory=3712908 CPUtime=0 cores=1,3
/proc/1089373/task/1089452/stat : 1089452 (Timer-0) S 1089366 1089373 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200982094 19566772224 928227 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
Current children cumulated CPU time: 3514.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3712908 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.15 4.16 7/330 1091274
/proc/meminfo: memFree=115612572/131524600 swapFree=131071216/131071996
[pid=1089373] ppid=1089366 vsize=19108176 memory=3714308 CPUtime=3574.51 cores=1,3
/proc/1089373/stat : 1089373 (java) S 1089366 1089373 1089301 0 -1 1077936128 230753 0 0 0 357254 197 0 0 20 0 20 0 200982042 19566772224 928577 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
/proc/1089373/statm: 4777044 928577 5890 1 0 971230 0
[pid=1089373/tid=1089384] ppid=1089366 vsize=19108176 memory=20776 CPUtime=3558.18 cores=1,3
/proc/1089373/task/1089384/stat : 1089384 (java) R 1089366 1089373 1089301 0 -1 4194368 118357 0 0 0 355769 49 0 0 20 0 20 0 200982043 19566772224 928577 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
[pid=1089373/tid=1089434] ppid=1089366 vsize=19108176 memory=2328 CPUtime=0 cores=1,3
/proc/1089373/task/1089434/stat : 1089434 (Finalizer) S 1089366 1089373 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 200982045 19566772224 928577 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
[pid=1089373/tid=1089443] ppid=1089366 vsize=19108176 memory=3714308 CPUtime=0 cores=1,3
/proc/1089373/task/1089443/stat : 1089443 (Common-Cleaner) S 1089366 1089373 1089301 0 -1 1077936192 4827 0 0 0 0 0 0 0 20 0 20 0 200982046 19566772224 928577 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
[pid=1089373/tid=1089452] ppid=1089366 vsize=19108176 memory=14364 CPUtime=0 cores=1,3
/proc/1089373/task/1089452/stat : 1089452 (Timer-0) S 1089366 1089373 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200982094 19566772224 928577 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
Current children cumulated CPU time: 3574.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3714308 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3607.9 s]
/proc/loadavg: 4.09 4.14 4.16 6/305 1091355
/proc/meminfo: memFree=120480796/131524600 swapFree=131071216/131071996
[pid=1089373] ppid=1089366 vsize=19108176 memory=3714308 CPUtime=3600.05 cores=1,3
/proc/1089373/stat : 1089373 (java) S 1089366 1089373 1089301 0 -1 1077936128 231681 0 0 0 359808 197 0 0 20 0 20 0 200982042 19566772224 928577 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
/proc/1089373/statm: 4777044 928577 5890 1 0 971230 0
[pid=1089373/tid=1089384] ppid=1089366 vsize=19108176 memory=13124 CPUtime=3583.72 cores=1,3
/proc/1089373/task/1089384/stat : 1089384 (java) R 1089366 1089373 1089301 0 -1 4194368 119275 0 0 0 358322 50 0 0 20 0 20 0 200982043 19566772224 928577 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
[pid=1089373/tid=1089434] ppid=1089366 vsize=19108176 memory=3714308 CPUtime=0 cores=1,3
/proc/1089373/task/1089434/stat : 1089434 (Finalizer) S 1089366 1089373 1089301 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 200982045 19566772224 928577 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
[pid=1089373/tid=1089443] ppid=1089366 vsize=19108176 memory=3714308 CPUtime=0 cores=1,3
/proc/1089373/task/1089443/stat : 1089443 (Common-Cleaner) S 1089366 1089373 1089301 0 -1 1077936192 4827 0 0 0 0 0 0 0 20 0 20 0 200982046 19566772224 928577 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
[pid=1089373/tid=1089452] ppid=1089366 vsize=19108176 memory=3714308 CPUtime=0 cores=1,3
/proc/1089373/task/1089452/stat : 1089452 (Timer-0) S 1089366 1089373 1089301 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 200982094 19566772224 928577 134679101440 94720128888832 94720128892528 140720323559456 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94720128900344 94720128901136 94720134127616 140720323568645 140720323568735 140720323568735 140720323575752 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3714308 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.22 s, system=1.99602 s

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

[startup+3608 s]*
/proc/loadavg: 4.16 4.15 4.16 7/310 1091414
/proc/meminfo: memFree=123098552/131524600 swapFree=131071216/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): 3608.01
CPU time (s): 3600.21
CPU user time (s): 3598.22
CPU system time (s): 1.99602
CPU usage (%): 99.7838
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 3714308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.22
system time used= 1.99602
maximum resident set size= 3715992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 235152
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110042
involuntary context switches= 17086


# summary of solver processes directly reported to runsolver:
#   pid: 1089373
#   total CPU time (s): 3600.21
#   total CPU user time (s): 3598.22
#   total CPU system time (s): 1.99602

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.77099 second user time and 18.2474 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2024-07-20 17:10:08
IDJOB=4453534
IDBENCH=175630
IDSOLVER=3058
FILE ID=nodeC018/4453534-1721488196
RUNJOBID= nodeC018-1721488208-1089315
SLURM_JOB_ID= 7545781
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/larger/random4reg_opb_shuffle/normalized-subsetcard-eq-random4reg-3250.shuf-1.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453534-1721488196/watcher-4453534-1721488196 -o /tmp/evaluation-result-4453534-1721488196/solver-4453534-1721488196 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1721488208-1089315 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4453534-1721488196.opb

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

MD5SUM BENCH= 72fe440e4863f7934b33500c5b515746
RANDOM SEED=1329716445

nodeC018.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		: 3365.417
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.52
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		: 3461.792
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.30
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		: 3613.360
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.52
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		: 3556.488
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.30
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		: 3504.497
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.52
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		: 3295.539
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.30
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		: 3528.535
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.52
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		: 3589.088
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.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126683180 kB
MemAvailable:   129752268 kB
Buffers:          580536 kB
Cached:          3304136 kB
SwapCached:          148 kB
Active:          1157680 kB
Inactive:        3062188 kB
Active(anon):       1472 kB
Inactive(anon):   379192 kB
Active(file):    1156208 kB
Inactive(file):  2682996 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071216 kB
Dirty:              3292 kB
Writeback:             4 kB
AnonPages:        334744 kB
Mapped:           109808 kB
Shmem:             45784 kB
KReclaimable:     139412 kB
Slab:             240112 kB
SReclaimable:     139412 kB
SUnreclaim:       100700 kB
KernelStack:        3840 kB
PageTables:        10088 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     777896 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            37568 kB
HardwareCorrupted:     0 kB
AnonHugePages:    208896 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:      283348 kB
DirectMap2M:    28850176 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC018 at 2024-07-20 18:10:17