Trace number 4451452

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2024 2024-07-07? (TO) 3600.17 3632.29

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/
subsetcard/normalized-subsetcard-eq-random4regular-75.opb
MD5SUM4657a61cc40ea04220a947ee55001d91
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.002787
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables301
Total number of constraints150
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)150
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version CUSTOM.v20240707
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.12/0.10	c Number of processors 	2
0.12/0.14	--- Begin Solver configuration ---
0.12/0.14	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.12/0.14	Learn all clauses as in MiniSAT
0.12/0.14	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.14	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.14	Expensive reason simplification
0.12/0.14	Glucose 2.1 dynamic restart strategy
0.12/0.14	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.12/0.14	timeout=2147483s
0.12/0.14	DB Simplification allowed=false
0.12/0.14	Listener: none
0.12/0.14	--- End Solver configuration ---
0.12/0.14	c Pseudo Boolean Optimization by upper bound
0.12/0.14	c --- Begin Solver configuration ---
0.12/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.12/0.14	c Learn all clauses as in MiniSAT
0.12/0.14	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.14	c Expensive reason simplification
0.12/0.14	c Glucose 2.1 dynamic restart strategy
0.12/0.14	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.12/0.14	c timeout=2147483s
0.12/0.14	c DB Simplification allowed=false
0.12/0.14	c Listener: none
0.12/0.14	c --- End Solver configuration ---
0.12/0.14	c solving HOME/instance-4451452-1721839920.opb
0.12/0.14	c reading problem ... 
0.12/0.15	c using VERIPB proof format
0.12/0.15	c  no objective function found
0.12/0.17	c ... done. Wall clock time 0.035s.
0.12/0.17	c declared #vars     301
0.12/0.17	c #constraints  300
0.12/0.17	c constraints type 
0.12/0.17	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 300
0.12/0.17	c 300 constraints processed.
1.22/0.71	c cleaning 2494 clauses out of 5001 with flag 37946/5001
1.82/1.04	c cleaning 4251 clauses out of 8507 with flag 84133/11001
2.40/1.32	c cleaning 5618 clauses out of 11255 with flag 136641/18000
3.22/1.73	c cleaning 6812 clauses out of 13637 with flag 203027/26000
3.79/2.18	c cleaning 7898 clauses out of 15826 with flag 277977/35001
4.50/2.78	c cleaning 8948 clauses out of 17927 with flag 369486/45000
4.99/3.29	c cleaning 9979 clauses out of 19979 with flag 467075/56000
5.60/3.85	c cleaning 10998 clauses out of 22001 with flag 577811/68001
6.40/4.60	c cleaning 11993 clauses out of 24002 with flag 701596/81000
7.30/5.57	c cleaning 12995 clauses out of 26010 with flag 850549/95001
8.53/6.45	c cleaning 13991 clauses out of 28014 with flag 991011/110000
9.23/7.14	c cleaning 15006 clauses out of 30023 with flag 1122081/126000
10.18/8.03	c cleaning 16002 clauses out of 32019 with flag 1269521/143002
11.32/9.16	c cleaning 16997 clauses out of 34017 with flag 1429855/161002
12.11/9.99	c cleaning 18006 clauses out of 36020 with flag 1582053/180002
13.21/11.00	c cleaning 18994 clauses out of 38012 with flag 1752950/200000
14.21/12.08	c cleaning 19996 clauses out of 40019 with flag 1934270/221001
15.40/13.22	c cleaning 21000 clauses out of 42022 with flag 2135759/243000
16.60/14.41	c cleaning 21994 clauses out of 44022 with flag 2348709/266000
17.79/15.62	c cleaning 23009 clauses out of 46029 with flag 2539474/290001
18.99/16.89	c cleaning 24004 clauses out of 48019 with flag 2742737/315000
20.38/18.24	c cleaning 25000 clauses out of 50016 with flag 2947462/341001
21.88/19.73	c cleaning 25994 clauses out of 52016 with flag 3172606/368001
23.59/21.41	c cleaning 27002 clauses out of 54021 with flag 3418572/396000
25.31/23.02	c cleaning 27997 clauses out of 56019 with flag 3651013/425000
27.00/24.78	c cleaning 28994 clauses out of 58023 with flag 3903485/455001
28.90/26.65	c cleaning 29991 clauses out of 60028 with flag 4144612/486000
30.79/28.53	c cleaning 31008 clauses out of 62037 with flag 4414916/518000
32.81/30.56	c cleaning 32005 clauses out of 64032 with flag 4686540/551003
34.83/33.07	c cleaning 33005 clauses out of 66024 with flag 4964027/585000
37.23/35.45	c cleaning 34004 clauses out of 68022 with flag 5258740/620003
39.51/37.70	c cleaning 34996 clauses out of 70015 with flag 5571725/656000
42.11/40.35	c cleaning 36001 clauses out of 72021 with flag 5884517/693002
44.70/42.90	c cleaning 36996 clauses out of 74018 with flag 6207624/731000
47.30/45.55	c cleaning 38008 clauses out of 76024 with flag 6529464/770002
50.19/48.45	c cleaning 39007 clauses out of 78016 with flag 6866494/810002
52.98/51.27	c cleaning 39989 clauses out of 80007 with flag 7206154/851000
55.97/54.27	c cleaning 41003 clauses out of 82018 with flag 7554890/893000
59.06/57.34	c cleaning 41998 clauses out of 84016 with flag 7908582/936001
62.05/60.36	c cleaning 43002 clauses out of 86020 with flag 8279376/980003
65.24/63.78	c cleaning 43995 clauses out of 88015 with flag 8650202/1025000
68.83/67.36	c cleaning 44995 clauses out of 90020 with flag 9025898/1071000
72.32/70.85	c cleaning 46003 clauses out of 92025 with flag 9414581/1118000
75.91/74.48	c cleaning 47000 clauses out of 94023 with flag 9835496/1166001
79.81/78.30	c cleaning 47999 clauses out of 96022 with flag 10251279/1215000
83.70/82.29	c cleaning 49007 clauses out of 98024 with flag 10675569/1265001
87.79/86.35	c cleaning 50000 clauses out of 100016 with flag 11100091/1316000
91.98/90.50	c cleaning 51001 clauses out of 102016 with flag 11517516/1368000
96.06/95.49	c cleaning 51999 clauses out of 104016 with flag 11975390/1421001
101.77/101.19	c cleaning 53000 clauses out of 106018 with flag 12488985/1475002
106.44/105.87	c cleaning 53996 clauses out of 108017 with flag 12972783/1530001
111.23/110.62	c cleaning 54998 clauses out of 110020 with flag 13432265/1586000
116.11/115.52	c cleaning 56003 clauses out of 112022 with flag 13929963/1643000
121.00/120.43	c cleaning 57003 clauses out of 114019 with flag 14419843/1701000
126.48/126.40	c cleaning 57998 clauses out of 116018 with flag 14949692/1760002
131.36/131.32	c cleaning 59005 clauses out of 118019 with flag 15467010/1820001
136.85/136.82	c cleaning 59997 clauses out of 120013 with flag 15999228/1881000
144.42/144.41	c cleaning 61002 clauses out of 122018 with flag 16567313/1943002
149.82/149.84	c cleaning 62002 clauses out of 124015 with flag 17086123/2006001
155.67/156.08	c cleaning 63001 clauses out of 126013 with flag 17624979/2070001
161.71/162.13	c cleaning 63994 clauses out of 128011 with flag 18166572/2135000
168.63/169.11	c cleaning 64997 clauses out of 130018 with flag 18762822/2201001
174.79/175.31	c cleaning 65998 clauses out of 132020 with flag 19315078/2268000
181.23/181.89	c cleaning 67009 clauses out of 134023 with flag 19871336/2336001
188.06/188.90	c cleaning 67991 clauses out of 136013 with flag 20464108/2405000
195.14/196.09	c cleaning 69007 clauses out of 138024 with flag 21073330/2475002
202.33/203.20	c cleaning 70004 clauses out of 140017 with flag 21751430/2546002
212.23/213.11	c cleaning 71001 clauses out of 142013 with flag 22431760/2618002
220.26/221.44	c cleaning 72002 clauses out of 144011 with flag 23079762/2691001
227.98/229.13	c cleaning 72995 clauses out of 146009 with flag 23689494/2765001
236.25/237.49	c cleaning 73998 clauses out of 148014 with flag 24330442/2840001
244.45/245.60	c cleaning 74994 clauses out of 150015 with flag 24981308/2916000
253.05/254.42	c cleaning 76001 clauses out of 152021 with flag 25621487/2993000
262.03/263.46	c cleaning 77004 clauses out of 154021 with flag 26251784/3071001
270.65/272.10	c cleaning 77994 clauses out of 156017 with flag 26938361/3150001
279.74/281.97	c cleaning 79003 clauses out of 158024 with flag 27632262/3230002
289.15/291.33	c cleaning 80002 clauses out of 160021 with flag 28318567/3311002
297.76/299.92	c cleaning 81002 clauses out of 162017 with flag 28992795/3393000
307.28/309.70	c cleaning 81992 clauses out of 164017 with flag 29695833/3476002
316.98/319.45	c cleaning 83004 clauses out of 166023 with flag 30415115/3560000
326.80/329.21	c cleaning 83999 clauses out of 168019 with flag 31128114/3645000
336.77/339.63	c cleaning 85005 clauses out of 170020 with flag 31832356/3731000
347.33/350.10	c cleaning 85999 clauses out of 172015 with flag 32567362/3818000
357.75/360.56	c cleaning 87005 clauses out of 174017 with flag 33292776/3906001
369.25/372.43	c cleaning 87993 clauses out of 176011 with flag 34037097/3995000
380.21/383.43	c cleaning 89004 clauses out of 178018 with flag 34776668/4085000
392.22/395.42	c cleaning 90000 clauses out of 180014 with flag 35566088/4176000
405.49/409.10	c cleaning 90993 clauses out of 182015 with flag 36323199/4268001
417.81/421.40	c cleaning 91998 clauses out of 184022 with flag 37077147/4361001
429.59/433.50	c cleaning 92991 clauses out of 186023 with flag 37882210/4455000
442.61/446.63	c cleaning 94011 clauses out of 188034 with flag 38729895/4550002
455.94/460.02	c cleaning 94999 clauses out of 190022 with flag 39506120/4646001
469.81/474.48	c cleaning 96001 clauses out of 192022 with flag 40301765/4743000
483.27/487.91	c cleaning 97001 clauses out of 194021 with flag 41128087/4841000
496.95/501.82	c cleaning 97999 clauses out of 196020 with flag 41944600/4940000
511.34/516.25	c cleaning 99008 clauses out of 198023 with flag 42754229/5040002
524.48/529.54	c cleaning 99998 clauses out of 200013 with flag 43609272/5141000
537.61/542.66	c cleaning 101004 clauses out of 202016 with flag 44447155/5243001
552.66/557.94	c cleaning 102000 clauses out of 204013 with flag 45278403/5346002
567.84/573.11	c cleaning 102996 clauses out of 206011 with flag 46132447/5450000
583.83/589.34	c cleaning 103996 clauses out of 208015 with flag 47041488/5555000
598.82/604.32	c cleaning 105000 clauses out of 210019 with flag 47890519/5661000
613.73/619.44	c cleaning 106002 clauses out of 212019 with flag 48761336/5768000
629.15/634.86	c cleaning 106998 clauses out of 214017 with flag 49633491/5876000
646.16/652.03	c cleaning 108005 clauses out of 216019 with flag 50523108/5985000
663.00/668.93	c cleaning 108986 clauses out of 218014 with flag 51425810/6095000
678.78/684.91	c cleaning 110004 clauses out of 220029 with flag 52318547/6206001
695.66/701.82	c cleaning 111005 clauses out of 222024 with flag 53338685/6318000
712.05/718.44	c cleaning 112000 clauses out of 224020 with flag 54285783/6431001
730.22/736.73	c cleaning 112995 clauses out of 226019 with flag 55228843/6545000
747.49/754.41	c cleaning 113994 clauses out of 228024 with flag 56171451/6660000
766.69/773.98	c cleaning 115007 clauses out of 230031 with flag 57155417/6776001
784.68/792.03	c cleaning 116001 clauses out of 232024 with flag 58133535/6893001
803.71/811.47	c cleaning 116997 clauses out of 234022 with flag 59065631/7011000
822.51/830.51	c cleaning 118002 clauses out of 236025 with flag 60041386/7130000
840.91/848.91	c cleaning 118995 clauses out of 238026 with flag 60998207/7250003
860.32/868.71	c cleaning 120009 clauses out of 240028 with flag 61993698/7371000
879.22/887.68	c cleaning 120991 clauses out of 242019 with flag 63093088/7493000
906.31/915.36	c cleaning 121992 clauses out of 244028 with flag 64265331/7616000
932.18/941.65	c cleaning 122996 clauses out of 246037 with flag 65466121/7740001
952.91/962.89	c cleaning 124014 clauses out of 248042 with flag 66528881/7865002
974.71/984.80	c cleaning 125010 clauses out of 250028 with flag 67539628/7991002
996.10/1006.27	c cleaning 126007 clauses out of 252017 with flag 68563639/8118001
1018.48/1028.89	c cleaning 126998 clauses out of 254009 with flag 69608047/8246000
1040.64/1051.21	c cleaning 128000 clauses out of 256011 with flag 70630443/8375000
1062.73/1073.34	c cleaning 129002 clauses out of 258014 with flag 71672027/8505003
1082.30/1093.15	c cleaning 129994 clauses out of 260009 with flag 72754777/8636000
1105.37/1116.48	c cleaning 130998 clauses out of 262015 with flag 73910202/8768000
1126.56/1137.88	c cleaning 131997 clauses out of 264017 with flag 74974683/8901000
1151.52/1162.85	c cleaning 132999 clauses out of 266020 with flag 76035472/9035000
1175.74/1191.75	c cleaning 133998 clauses out of 268021 with flag 77109897/9170000
1198.39/1214.67	c cleaning 135008 clauses out of 270025 with flag 78160755/9306002
1222.87/1239.26	c cleaning 135999 clauses out of 272015 with flag 79274057/9443000
1246.99/1263.37	c cleaning 137002 clauses out of 274016 with flag 80382746/9581000
1269.24/1285.72	c cleaning 138007 clauses out of 276016 with flag 81556826/9720002
1293.04/1309.69	c cleaning 138997 clauses out of 278007 with flag 82707681/9860000
1315.45/1332.18	c cleaning 139994 clauses out of 280011 with flag 83862281/10001001
1340.24/1357.02	c cleaning 141005 clauses out of 282017 with flag 84973405/10143001
1366.55/1383.45	c cleaning 141990 clauses out of 284012 with flag 86110731/10286001
1391.44/1408.50	c cleaning 143006 clauses out of 286022 with flag 87298613/10430001
1415.68/1433.16	c cleaning 143998 clauses out of 288015 with flag 88442541/10575000
1442.19/1459.99	c cleaning 145002 clauses out of 290017 with flag 89585060/10721000
1470.31/1488.35	c cleaning 145999 clauses out of 292015 with flag 90735718/10868000
1498.14/1516.36	c cleaning 147003 clauses out of 294016 with flag 91868237/11016000
1527.69/1546.02	c cleaning 147999 clauses out of 296014 with flag 93041968/11165001
1554.69/1573.27	c cleaning 148998 clauses out of 298016 with flag 94220471/11315002
1583.24/1601.87	c cleaning 150005 clauses out of 300019 with flag 95392001/11466003
1610.83/1629.75	c cleaning 151000 clauses out of 302012 with flag 96645965/11618001
1638.91/1657.98	c cleaning 151999 clauses out of 304012 with flag 97829801/11771001
1668.93/1688.09	c cleaning 153001 clauses out of 306015 with flag 99005839/11925003
1699.53/1718.99	c cleaning 154005 clauses out of 308013 with flag 100199287/12080002
1728.47/1748.17	c cleaning 154997 clauses out of 310007 with flag 101406153/12236001
1764.38/1784.21	c cleaning 155992 clauses out of 312011 with flag 102657559/12393002
1795.23/1815.25	c cleaning 157000 clauses out of 314017 with flag 103863974/12551000
1825.96/1846.02	c cleaning 158000 clauses out of 316017 with flag 105067109/12710000
1858.25/1878.65	c cleaning 158990 clauses out of 318017 with flag 106312245/12870000
1885.54/1906.22	c cleaning 160001 clauses out of 320027 with flag 107657088/13031000
1919.10/1939.93	c cleaning 161009 clauses out of 322027 with flag 108932839/13193001
1949.28/1970.24	c cleaning 162002 clauses out of 324018 with flag 110234557/13356001
1986.27/2007.49	c cleaning 163002 clauses out of 326016 with flag 111497017/13520001
2021.55/2042.81	c cleaning 164000 clauses out of 328013 with flag 112775146/13685000
2056.42/2078.06	c cleaning 165003 clauses out of 330013 with flag 114057661/13851000
2090.17/2112.13	c cleaning 166000 clauses out of 332011 with flag 115311171/14018001
2126.52/2148.84	c cleaning 167000 clauses out of 334010 with flag 116608977/14186000
2162.95/2185.66	c cleaning 168002 clauses out of 336011 with flag 117868709/14355001
2199.09/2222.04	c cleaning 168998 clauses out of 338008 with flag 119162598/14525000
2234.90/2258.52	c cleaning 170001 clauses out of 340011 with flag 120495238/14696001
2272.29/2296.05	c cleaning 170996 clauses out of 342011 with flag 121870029/14868002
2307.47/2331.37	c cleaning 172000 clauses out of 344013 with flag 123186844/15041000
2349.56/2373.63	c cleaning 172995 clauses out of 346016 with flag 124519680/15215003
2389.90/2414.15	c cleaning 173993 clauses out of 348018 with flag 125851375/15390000
2428.71/2453.09	c cleaning 175004 clauses out of 350026 with flag 127226491/15566001
2465.99/2490.49	c cleaning 176003 clauses out of 352021 with flag 128576177/15743000
2503.25/2528.11	c cleaning 177003 clauses out of 354018 with flag 129875436/15921000
2544.20/2569.27	c cleaning 177998 clauses out of 356016 with flag 131226937/16100001
2581.01/2606.12	c cleaning 179005 clauses out of 358018 with flag 132619549/16280001
2617.39/2642.60	c cleaning 179997 clauses out of 360012 with flag 133992105/16461000
2662.91/2688.45	c cleaning 180999 clauses out of 362016 with flag 135361056/16643001
2701.37/2727.25	c cleaning 182000 clauses out of 364017 with flag 136740231/16826001
2742.98/2769.06	c cleaning 183000 clauses out of 366018 with flag 138157943/17010002
2786.87/2813.33	c cleaning 183998 clauses out of 368016 with flag 139548418/17195000
2834.34/2861.32	c cleaning 184997 clauses out of 370019 with flag 140929679/17381001
2877.38/2904.92	c cleaning 186003 clauses out of 372021 with flag 142343537/17568000
2924.57/2952.61	c cleaning 187001 clauses out of 374019 with flag 143728630/17756001
2971.19/2999.81	c cleaning 187996 clauses out of 376017 with flag 145109120/17945000
3017.11/3046.22	c cleaning 189000 clauses out of 378022 with flag 146522392/18135001
3058.80/3088.46	c cleaning 190003 clauses out of 380022 with flag 147949802/18326001
3100.06/3129.82	c cleaning 190992 clauses out of 382018 with flag 149380914/18518000
3150.52/3180.59	c cleaning 192004 clauses out of 384026 with flag 150808729/18711000
3200.48/3230.69	c cleaning 193009 clauses out of 386022 with flag 152252669/18905000
3244.04/3274.42	c cleaning 193996 clauses out of 388014 with flag 153705210/19100001
3292.69/3323.15	c cleaning 195002 clauses out of 390017 with flag 155222348/19296000
3346.06/3376.89	c cleaning 196000 clauses out of 392016 with flag 156644381/19493001
3392.91/3424.10	c cleaning 197003 clauses out of 394015 with flag 158120202/19691000
3442.24/3473.53	c cleaning 197996 clauses out of 396013 with flag 159608250/19890001
3493.58/3525.15	c cleaning 199005 clauses out of 398017 with flag 161052385/20090001
3543.25/3575.28	c cleaning 200001 clauses out of 400011 with flag 162539217/20291000
3596.18/3628.37	c cleaning 200990 clauses out of 402010 with flag 163996795/20493000
3600.03/3632.21	c starts		: 65609
3600.03/3632.21	c timeout
3600.03/3632.21	c conflicts		: 20510669
3600.03/3632.21	c decisions		: 31167762
3600.03/3632.21	c propagations		: 616579553
3600.03/3632.21	c inspects		: 52399093429
3600.03/3632.21	c shortcuts		: 0
3600.03/3632.21	c learnt literals	: 0
3600.03/3632.21	c learnt binary clauses	: 0
3600.03/3632.21	c learnt ternary clauses	: 0
3600.03/3632.21	c learnt constraints	: 20510669
3600.03/3632.21	c ignored constraints	: 0
3600.03/3632.21	c root simplifications	: 0
3600.03/3632.21	c removed literals (reason simplification)	: 49836610
3600.03/3632.21	c reason swapping (by a shorter reason)	: 0
3600.03/3632.21	c Calls to reduceDB	: 198
3600.03/3632.21	c Number of update (reduction) of LBD	: 6063308
3600.03/3632.21	c Imported unit clauses	: 0
3600.03/3632.21	c No decision after first conflict	: false
3600.03/3632.21	c number of reductions to clauses (during analyze)	: 0
3600.03/3632.21	c number of learned constraints concerned by reduction	: 0
3600.03/3632.21	c number of learning phase by resolution	: 0
3600.03/3632.21	c number of learning phase by cutting planes	: 0
3600.03/3632.21	c number of rounding to 1 operations	: 0
3600.03/3632.21	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3632.21	c number of reductions of the coefficients by power 2 	: 0
3600.03/3632.21	c number of right shift for reduction by power 2 	: 0
3600.03/3632.21	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3632.21	c number of ending skipping 	: 0
3600.03/3632.21	c number of internal skipping 	: 0
3600.03/3632.21	c number of derivation steps 	: 0
3600.03/3632.21	c number of skipped derivation steps 	: 0
3600.03/3632.21	c number of remaining unassigned 	: 0
3600.03/3632.21	c number of remaining assigned 	: 0
3600.03/3632.21	c number of falsified literals weakened from reason	: 0
3600.03/3632.21	c number of falsified literals weakened from conflict	: 0
3600.03/3632.21	c time for arithmetic operations	: 0
3600.03/3632.21	c minimum degree of deleted constraints	: null
3600.03/3632.21	c maximum degree of deleted constraints	: null
3600.03/3632.21	c number of deleted constraints	: 0
3600.03/3632.22	c speed (assignments/second)	: 169761.41012919476
3600.03/3632.22	c non guided choices	: 5007
3600.03/3632.27	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 218689
3600.03/3632.28	s UNKNOWN
3600.03/3632.28	c Total wall clock time (in seconds): 3632.14

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: 63931 MiB (61863 MiB free)
  memory of node 1: 64510 MiB (62146 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=206502, runsolver pid=206495

[startup+0.102478 s]*
/proc/loadavg: 1.99 2.76 3.43 17/332 206560
/proc/meminfo: memFree=126853504/131524600 swapFree=131059368/131071996
[pid=206502] ppid=206495 vsize=18975048 memory=64576 CPUtime=0.12 cores=0,2
/proc/206502/stat : 206502 (java) S 206495 206502 206418 0 -1 1077936128 7050 0 10 0 10 2 0 0 20 0 18 0 20520688 19430449152 16144 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
/proc/206502/statm: 4743762 16144 5651 1 0 549310 0
[pid=206502/tid=206505] ppid=206495 vsize=18975048 memory=4026561586 CPUtime=0.07 cores=0,2
/proc/206502/task/206505/stat : 206505 (java) R 206495 206502 206418 0 -1 4194368 5658 0 9 0 6 1 0 0 20 0 18 0 20520688 19430449152 16144 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
[pid=206502/tid=206528] ppid=206495 vsize=18975048 memory=237146210664 CPUtime=0 cores=0,2
/proc/206502/task/206528/stat : 206528 (Finalizer) S 206495 206502 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 20520692 19430449152 16144 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
[pid=206502/tid=206556] ppid=206495 vsize=18975048 memory=14979961989030310 CPUtime=0 cores=0,2
/proc/206502/task/206556/stat : 206556 (Common-Cleaner) S 206495 206502 206418 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 20520692 19430449152 16144 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64576 KiB

[startup+0.206087 s]*
/proc/loadavg: 1.99 2.76 3.43 13/336 206564
/proc/meminfo: memFree=126819400/131524600 swapFree=131059368/131071996
[pid=206502] ppid=206495 vsize=19041612 memory=70500 CPUtime=0.27 cores=0,2
/proc/206502/stat : 206502 (java) S 206495 206502 206418 0 -1 1077936128 7586 0 10 0 24 3 0 0 20 0 19 0 20520688 19498610688 17625 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
/proc/206502/statm: 4760403 17625 5675 1 0 549904 0
[pid=206502/tid=206505] ppid=206495 vsize=19041612 memory=664970851429515395 CPUtime=0.15 cores=0,2
/proc/206502/task/206505/stat : 206505 (java) R 206495 206502 206418 0 -1 4194368 5921 0 9 0 13 2 0 0 20 0 19 0 20520688 19498610688 17625 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
[pid=206502/tid=206528] ppid=206495 vsize=19041612 memory=1499814 CPUtime=0 cores=0,2
/proc/206502/task/206528/stat : 206528 (Finalizer) S 206495 206502 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20520692 19498610688 17625 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
[pid=206502/tid=206556] ppid=206495 vsize=19041612 memory=14135537057400351 CPUtime=0 cores=0,2
/proc/206502/task/206556/stat : 206556 (Common-Cleaner) S 206495 206502 206418 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 20520692 19498610688 17625 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
[pid=206502/tid=206564] ppid=206495 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/206502/task/206564/stat : 206564 (Timer-0) S 206495 206502 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20520706 19498610688 17625 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 70500 KiB

[startup+0.311041 s]*
/proc/loadavg: 1.99 2.76 3.43 15/336 206564
/proc/meminfo: memFree=126762444/131524600 swapFree=131059368/131071996
[pid=206502] ppid=206495 vsize=19041612 memory=84280 CPUtime=0.47 cores=0,2
/proc/206502/stat : 206502 (java) S 206495 206502 206418 0 -1 1077936128 9659 0 10 0 44 3 0 0 20 0 19 0 20520688 19498610688 21070 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
/proc/206502/statm: 4760403 21070 5784 1 0 551093 0
[pid=206502/tid=206505] ppid=206495 vsize=19041612 memory=-8814782960795099836 CPUtime=0.23 cores=0,2
/proc/206502/task/206505/stat : 206505 (java) R 206495 206502 206418 0 -1 4194368 5948 0 9 0 21 2 0 0 20 0 19 0 20520688 19498610688 21070 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
[pid=206502/tid=206528] ppid=206495 vsize=19041612 memory=1470489529345999449 CPUtime=0 cores=0,2
/proc/206502/task/206528/stat : 206528 (Finalizer) S 206495 206502 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20520692 19498610688 21070 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
[pid=206502/tid=206556] ppid=206495 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/206502/task/206556/stat : 206556 (Common-Cleaner) S 206495 206502 206418 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 20520692 19498610688 21070 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
[pid=206502/tid=206564] ppid=206495 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/206502/task/206564/stat : 206564 (Timer-0) S 206495 206502 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20520706 19498610688 21070 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 84280 KiB

[startup+0.700637 s]
/proc/loadavg: 1.99 2.76 3.43 12/336 206564
/proc/meminfo: memFree=126618008/131524600 swapFree=131059368/131071996
[pid=206502] ppid=206495 vsize=19041612 memory=148900 CPUtime=1.22 cores=0,2
/proc/206502/stat : 206502 (java) S 206495 206502 206418 0 -1 1077936128 14016 0 10 0 117 5 0 0 20 0 19 0 20520688 19498610688 37225 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
/proc/206502/statm: 4760403 37225 5822 1 0 553811 0
[pid=206502/tid=206505] ppid=206495 vsize=19041612 memory=75604 CPUtime=0.59 cores=0,2
/proc/206502/task/206505/stat : 206505 (java) S 206495 206502 206418 0 -1 1077936192 5994 0 9 0 56 3 0 0 20 0 19 0 20520688 19498610688 37225 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
[pid=206502/tid=206528] ppid=206495 vsize=19041612 memory=12316 CPUtime=0 cores=0,2
/proc/206502/task/206528/stat : 206528 (Finalizer) S 206495 206502 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 20520692 19498610688 37225 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
[pid=206502/tid=206556] ppid=206495 vsize=19041612 memory=2272 CPUtime=0 cores=0,2
/proc/206502/task/206556/stat : 206556 (Common-Cleaner) S 206495 206502 206418 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 20520692 19498610688 37225 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
[pid=206502/tid=206564] ppid=206495 vsize=19041612 memory=32140 CPUtime=0 cores=0,2
/proc/206502/task/206564/stat : 206564 (Timer-0) S 206495 206502 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 20520706 19498610688 37225 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 148900 KiB

[startup+1.50448 s]
/proc/loadavg: 1.99 2.76 3.43 12/339 206567
/proc/meminfo: memFree=126382128/131524600 swapFree=131059368/131071996
[pid=206502] ppid=206495 vsize=19108176 memory=181800 CPUtime=2.81 cores=0,2
/proc/206502/stat : 206502 (java) S 206495 206502 206418 0 -1 1077936128 20880 0 10 0 273 8 0 0 20 0 20 0 20520688 19566772224 45450 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
/proc/206502/statm: 4777044 45450 5840 1 0 554836 0
[pid=206502/tid=206505] ppid=206495 vsize=19108176 memory=12316 CPUtime=1.37 cores=0,2
/proc/206502/task/206505/stat : 206505 (java) R 206495 206502 206418 0 -1 4194368 6402 0 9 0 133 4 0 0 20 0 20 0 20520688 19566772224 45450 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
[pid=206502/tid=206528] ppid=206495 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/206502/task/206528/stat : 206528 (Finalizer) S 206495 206502 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 45450 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
[pid=206502/tid=206556] ppid=206495 vsize=19108176 memory=2272 CPUtime=0 cores=0,2
/proc/206502/task/206556/stat : 206556 (Common-Cleaner) S 206495 206502 206418 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 45450 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
[pid=206502/tid=206564] ppid=206495 vsize=19108176 memory=32140 CPUtime=0 cores=0,2
/proc/206502/task/206564/stat : 206564 (Timer-0) S 206495 206502 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20520706 19566772224 45450 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
Current children cumulated CPU time: 2.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 181800 KiB

[startup+3.10604 s]
/proc/loadavg: 1.99 2.76 3.43 6/340 206570
/proc/meminfo: memFree=126099572/131524600 swapFree=131059368/131071996
[pid=206502] ppid=206495 vsize=19108176 memory=255920 CPUtime=4.9 cores=0,2
/proc/206502/stat : 206502 (java) S 206495 206502 206418 0 -1 1077936128 22943 0 10 0 479 11 0 0 20 0 20 0 20520688 19566772224 63980 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
/proc/206502/statm: 4777044 63980 5840 1 0 554839 0
[pid=206502/tid=206505] ppid=206495 vsize=19108176 memory=0 CPUtime=2.96 cores=0,2
/proc/206502/task/206505/stat : 206505 (java) R 206495 206502 206418 0 -1 4194368 6849 0 9 0 289 7 0 0 20 0 20 0 20520688 19566772224 63980 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
[pid=206502/tid=206528] ppid=206495 vsize=19108176 memory=-8814782960795099836 CPUtime=0 cores=0,2
/proc/206502/task/206528/stat : 206528 (Finalizer) S 206495 206502 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 63980 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
[pid=206502/tid=206556] ppid=206495 vsize=19108176 memory=12316 CPUtime=0 cores=0,2
/proc/206502/task/206556/stat : 206556 (Common-Cleaner) S 206495 206502 206418 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 63980 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
[pid=206502/tid=206564] ppid=206495 vsize=19108176 memory=2272 CPUtime=0 cores=0,2
/proc/206502/task/206564/stat : 206564 (Timer-0) S 206495 206502 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20520706 19566772224 63980 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
Current children cumulated CPU time: 4.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 255920 KiB

[startup+6.30026 s]
/proc/loadavg: 2.15 2.78 3.43 6/340 206570
/proc/meminfo: memFree=125281168/131524600 swapFree=131059368/131071996
[pid=206502] ppid=206495 vsize=19108176 memory=567068 CPUtime=8.42 cores=0,2
/proc/206502/stat : 206502 (java) S 206495 206502 206418 0 -1 1077936128 25163 0 10 0 823 19 0 0 20 0 20 0 20520688 19566772224 141767 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
/proc/206502/statm: 4777044 141767 5840 1 0 554841 0
[pid=206502/tid=206505] ppid=206495 vsize=19108176 memory=2272 CPUtime=6.14 cores=0,2
/proc/206502/task/206505/stat : 206505 (java) R 206495 206502 206418 0 -1 4194368 7309 0 9 0 599 15 0 0 20 0 20 0 20520688 19566772224 141767 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
[pid=206502/tid=206528] ppid=206495 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/206502/task/206528/stat : 206528 (Finalizer) S 206495 206502 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 141767 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
[pid=206502/tid=206556] ppid=206495 vsize=19108176 memory=12316 CPUtime=0 cores=0,2
/proc/206502/task/206556/stat : 206556 (Common-Cleaner) S 206495 206502 206418 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 141767 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
[pid=206502/tid=206564] ppid=206495 vsize=19108176 memory=181888 CPUtime=0 cores=0,2
/proc/206502/task/206564/stat : 206564 (Timer-0) S 206495 206502 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20520706 19566772224 141767 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
Current children cumulated CPU time: 8.42 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 567068 KiB

[startup+12.7003 s]
/proc/loadavg: 2.30 2.80 3.43 6/340 206571
/proc/meminfo: memFree=123774300/131524600 swapFree=131059368/131071996
[pid=206502] ppid=206495 vsize=19108176 memory=1148408 CPUtime=14.9 cores=0,2
/proc/206502/stat : 206502 (java) S 206495 206502 206418 0 -1 1077936128 29321 0 10 0 1454 36 0 0 20 0 20 0 20520688 19566772224 287102 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
/proc/206502/statm: 4777044 287102 5840 1 0 554841 0
[pid=206502/tid=206505] ppid=206495 vsize=19108176 memory=181888 CPUtime=12.5 cores=0,2
/proc/206502/task/206505/stat : 206505 (java) R 206495 206502 206418 0 -1 4194368 8669 0 9 0 1219 31 0 0 20 0 20 0 20520688 19566772224 287102 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
[pid=206502/tid=206528] ppid=206495 vsize=19108176 memory=75604 CPUtime=0 cores=0,2
/proc/206502/task/206528/stat : 206528 (Finalizer) S 206495 206502 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 287102 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
[pid=206502/tid=206556] ppid=206495 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/206502/task/206556/stat : 206556 (Common-Cleaner) S 206495 206502 206418 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 287102 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
[pid=206502/tid=206564] ppid=206495 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/206502/task/206564/stat : 206564 (Timer-0) S 206495 206502 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20520706 19566772224 287102 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
Current children cumulated CPU time: 14.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1148408 KiB

[startup+25.5003 s]
/proc/loadavg: 2.68 2.86 3.45 6/340 206573
/proc/meminfo: memFree=121928784/131524600 swapFree=131059368/131071996
[pid=206502] ppid=206495 vsize=19108176 memory=1316596 CPUtime=27.8 cores=0,2
/proc/206502/stat : 206502 (java) S 206495 206502 206418 0 -1 1077936128 38514 0 10 0 2730 50 0 0 20 0 20 0 20520688 19566772224 329149 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
/proc/206502/statm: 4777044 329149 5840 1 0 554841 0
[pid=206502/tid=206505] ppid=206495 vsize=19108176 memory=0 CPUtime=25.23 cores=0,2
/proc/206502/task/206505/stat : 206505 (java) R 206495 206502 206418 0 -1 4194368 10415 0 9 0 2479 44 0 0 20 0 20 0 20520688 19566772224 329149 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
[pid=206502/tid=206528] ppid=206495 vsize=19108176 memory=1318428 CPUtime=0 cores=0,2
/proc/206502/task/206528/stat : 206528 (Finalizer) S 206495 206502 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 329149 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
[pid=206502/tid=206556] ppid=206495 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/206502/task/206556/stat : 206556 (Common-Cleaner) S 206495 206502 206418 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 329149 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
[pid=206502/tid=206564] ppid=206495 vsize=19108176 memory=75604 CPUtime=0 cores=0,2
/proc/206502/task/206564/stat : 206564 (Timer-0) S 206495 206502 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20520706 19566772224 329149 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
Current children cumulated CPU time: 27.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1316596 KiB

[startup+51.106 s]
/proc/loadavg: 3.20 2.97 3.47 6/340 206576
/proc/meminfo: memFree=121170032/131524600 swapFree=131059368/131071996
[pid=206502] ppid=206495 vsize=19108176 memory=1327020 CPUtime=52.89 cores=0,2
/proc/206502/stat : 206502 (java) S 206495 206502 206418 0 -1 1077936128 44374 0 10 0 5222 67 0 0 20 0 20 0 20520688 19566772224 331755 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0

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

/proc/meminfo: memFree=93310448/131524600 swapFree=131059368/131071996
[pid=206502] ppid=206495 vsize=19108176 memory=2133224 CPUtime=3192.15 cores=0,2
/proc/206502/stat : 206502 (java) S 206495 206502 206418 0 -1 1077936128 174459 0 10 0 318194 1021 0 0 20 0 20 0 20520688 19566772224 533306 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
/proc/206502/statm: 4777044 533306 5855 1 0 554847 0
[pid=206502/tid=206505] ppid=206495 vsize=19108176 memory=2133192 CPUtime=3174.38 cores=0,2
/proc/206502/task/206505/stat : 206505 (java) R 206495 206502 206418 0 -1 4194368 80070 0 9 0 316519 919 0 0 20 0 20 0 20520688 19566772224 533306 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2237 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
[pid=206502/tid=206528] ppid=206495 vsize=19108176 memory=2133204 CPUtime=0 cores=0,2
/proc/206502/task/206528/stat : 206528 (Finalizer) S 206495 206502 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 533306 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
[pid=206502/tid=206556] ppid=206495 vsize=19108176 memory=32140 CPUtime=0 cores=0,2
/proc/206502/task/206556/stat : 206556 (Common-Cleaner) S 206495 206502 206418 0 -1 1077936192 3076 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 533306 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
[pid=206502/tid=206564] ppid=206495 vsize=19108176 memory=2133224 CPUtime=0 cores=0,2
/proc/206502/task/206564/stat : 206564 (Timer-0) S 206495 206502 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20520706 19566772224 533306 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
Current children cumulated CPU time: 3192.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2133224 KiB

[startup+3282.3 s]
/proc/loadavg: 4.18 4.15 4.10 6/334 208441
/proc/meminfo: memFree=92952136/131524600 swapFree=131059368/131071996
[pid=206502] ppid=206495 vsize=19108176 memory=2133276 CPUtime=3251.91 cores=0,2
/proc/206502/stat : 206502 (java) S 206495 206502 206418 0 -1 1077936128 177934 0 10 0 324154 1037 0 0 20 0 20 0 20520688 19566772224 533319 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
/proc/206502/statm: 4777044 533319 5855 1 0 554863 0
[pid=206502/tid=206505] ppid=206495 vsize=19108176 memory=2133276 CPUtime=3233.83 cores=0,2
/proc/206502/task/206505/stat : 206505 (java) R 206495 206502 206418 0 -1 4194368 81243 0 9 0 322449 934 0 0 20 0 20 0 20520688 19566772224 533319 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2257 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
[pid=206502/tid=206528] ppid=206495 vsize=19108176 memory=2133224 CPUtime=0 cores=0,2
/proc/206502/task/206528/stat : 206528 (Finalizer) S 206495 206502 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 533319 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
[pid=206502/tid=206556] ppid=206495 vsize=19108176 memory=11384 CPUtime=0 cores=0,2
/proc/206502/task/206556/stat : 206556 (Common-Cleaner) S 206495 206502 206418 0 -1 1077936192 3133 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 533319 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
[pid=206502/tid=206564] ppid=206495 vsize=19108176 memory=2133276 CPUtime=0 cores=0,2
/proc/206502/task/206564/stat : 206564 (Timer-0) S 206495 206502 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20520706 19566772224 533319 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
Current children cumulated CPU time: 3251.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2133276 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.14 4.09 6/335 208452
/proc/meminfo: memFree=92583292/131524600 swapFree=131059368/131071996
[pid=206502] ppid=206495 vsize=19108176 memory=2171492 CPUtime=3311.84 cores=0,2
/proc/206502/stat : 206502 (java) S 206495 206502 206418 0 -1 1077936128 188603 0 10 0 330129 1055 0 0 20 0 20 0 20520688 19566772224 542873 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
/proc/206502/statm: 4777044 542873 5855 1 0 556388 0
[pid=206502/tid=206505] ppid=206495 vsize=19108176 memory=2171452 CPUtime=3293.25 cores=0,2
/proc/206502/task/206505/stat : 206505 (java) R 206495 206502 206418 0 -1 4194368 83212 0 9 0 328376 949 0 0 20 0 20 0 20520688 19566772224 542873 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2278 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
[pid=206502/tid=206528] ppid=206495 vsize=19108176 memory=2171452 CPUtime=0 cores=0,2
/proc/206502/task/206528/stat : 206528 (Finalizer) S 206495 206502 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 542873 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
[pid=206502/tid=206556] ppid=206495 vsize=19108176 memory=2171452 CPUtime=0 cores=0,2
/proc/206502/task/206556/stat : 206556 (Common-Cleaner) S 206495 206502 206418 0 -1 1077936192 3209 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 542873 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
[pid=206502/tid=206564] ppid=206495 vsize=19108176 memory=11384 CPUtime=0 cores=0,2
/proc/206502/task/206564/stat : 206564 (Timer-0) S 206495 206502 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20520706 19566772224 542873 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
Current children cumulated CPU time: 3311.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2171492 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.14 4.09 6/335 208463
/proc/meminfo: memFree=92257560/131524600 swapFree=131059368/131071996
[pid=206502] ppid=206495 vsize=19108176 memory=2171520 CPUtime=3371.42 cores=0,2
/proc/206502/stat : 206502 (java) S 206495 206502 206418 0 -1 1077936128 191703 0 10 0 336073 1069 0 0 20 0 20 0 20520688 19566772224 542880 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
/proc/206502/statm: 4777044 542880 5855 1 0 556391 0
[pid=206502/tid=206505] ppid=206495 vsize=19108176 memory=20752 CPUtime=3352.59 cores=0,2
/proc/206502/task/206505/stat : 206505 (java) R 206495 206502 206418 0 -1 4194368 84744 0 9 0 334298 961 0 0 20 0 20 0 20520688 19566772224 542880 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2299 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
[pid=206502/tid=206528] ppid=206495 vsize=19108176 memory=2171508 CPUtime=0 cores=0,2
/proc/206502/task/206528/stat : 206528 (Finalizer) S 206495 206502 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 542880 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
[pid=206502/tid=206556] ppid=206495 vsize=19108176 memory=129 CPUtime=0 cores=0,2
/proc/206502/task/206556/stat : 206556 (Common-Cleaner) S 206495 206502 206418 0 -1 1077936192 3351 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 542880 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
[pid=206502/tid=206564] ppid=206495 vsize=19108176 memory=11384 CPUtime=0 cores=0,2
/proc/206502/task/206564/stat : 206564 (Timer-0) S 206495 206502 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20520706 19566772224 542880 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
Current children cumulated CPU time: 3371.42 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2171520 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.13 4.09 6/335 208474
/proc/meminfo: memFree=91927776/131524600 swapFree=131059368/131071996
[pid=206502] ppid=206495 vsize=19108176 memory=2171564 CPUtime=3431.07 cores=0,2
/proc/206502/stat : 206502 (java) S 206495 206502 206418 0 -1 1077936128 194448 0 10 0 342024 1083 0 0 20 0 20 0 20520688 19566772224 542891 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
/proc/206502/statm: 4777044 542891 5855 1 0 556400 0
[pid=206502/tid=206505] ppid=206495 vsize=19108176 memory=2171564 CPUtime=3411.91 cores=0,2
/proc/206502/task/206505/stat : 206505 (java) R 206495 206502 206418 0 -1 4194368 85734 0 9 0 340217 974 0 0 20 0 20 0 20520688 19566772224 542891 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2322 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
[pid=206502/tid=206528] ppid=206495 vsize=19108176 memory=2171564 CPUtime=0 cores=0,2
/proc/206502/task/206528/stat : 206528 (Finalizer) S 206495 206502 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 542891 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
[pid=206502/tid=206556] ppid=206495 vsize=19108176 memory=75604 CPUtime=0 cores=0,2
/proc/206502/task/206556/stat : 206556 (Common-Cleaner) S 206495 206502 206418 0 -1 1077936192 3487 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 542891 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
[pid=206502/tid=206564] ppid=206495 vsize=19108176 memory=11384 CPUtime=0 cores=0,2
/proc/206502/task/206564/stat : 206564 (Timer-0) S 206495 206502 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20520706 19566772224 542891 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
Current children cumulated CPU time: 3431.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2171564 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.12 4.09 6/338 208490
/proc/meminfo: memFree=91618016/131524600 swapFree=131059368/131071996
[pid=206502] ppid=206495 vsize=19108176 memory=2171564 CPUtime=3490.78 cores=0,2
/proc/206502/stat : 206502 (java) S 206495 206502 206418 0 -1 1077936128 196936 0 10 0 347981 1097 0 0 20 0 20 0 20520688 19566772224 542891 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
/proc/206502/statm: 4777044 542891 5855 1 0 556400 0
[pid=206502/tid=206505] ppid=206495 vsize=19108176 memory=2171520 CPUtime=3471.42 cores=0,2
/proc/206502/task/206505/stat : 206505 (java) R 206495 206502 206418 0 -1 4194368 86919 0 9 0 346155 987 0 0 20 0 20 0 20520688 19566772224 542891 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2339 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
[pid=206502/tid=206528] ppid=206495 vsize=19108176 memory=11384 CPUtime=0 cores=0,2
/proc/206502/task/206528/stat : 206528 (Finalizer) S 206495 206502 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 542891 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
[pid=206502/tid=206556] ppid=206495 vsize=19108176 memory=11384 CPUtime=0 cores=0,2
/proc/206502/task/206556/stat : 206556 (Common-Cleaner) S 206495 206502 206418 0 -1 1077936192 3614 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 542891 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
[pid=206502/tid=206564] ppid=206495 vsize=19108176 memory=2171564 CPUtime=0 cores=0,2
/proc/206502/task/206564/stat : 206564 (Timer-0) S 206495 206502 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20520706 19566772224 542891 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
Current children cumulated CPU time: 3490.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2171564 KiB

[startup+3582.3 s]
/proc/loadavg: 4.37 4.18 4.11 6/338 208501
/proc/meminfo: memFree=91291704/131524600 swapFree=131059368/131071996
[pid=206502] ppid=206495 vsize=19108176 memory=2171580 CPUtime=3550.36 cores=0,2
/proc/206502/stat : 206502 (java) S 206495 206502 206418 0 -1 1077936128 199318 0 10 0 353923 1113 0 0 20 0 20 0 20520688 19566772224 542895 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
/proc/206502/statm: 4777044 542895 5855 1 0 556400 0
[pid=206502/tid=206505] ppid=206495 vsize=19108176 memory=37140 CPUtime=3530.84 cores=0,2
/proc/206502/task/206505/stat : 206505 (java) R 206495 206502 206418 0 -1 4194368 87980 0 9 0 352084 1000 0 0 20 0 20 0 20520688 19566772224 542895 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2369 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
[pid=206502/tid=206528] ppid=206495 vsize=19108176 memory=11384 CPUtime=0 cores=0,2
/proc/206502/task/206528/stat : 206528 (Finalizer) S 206495 206502 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 542895 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
[pid=206502/tid=206556] ppid=206495 vsize=19108176 memory=37140 CPUtime=0 cores=0,2
/proc/206502/task/206556/stat : 206556 (Common-Cleaner) S 206495 206502 206418 0 -1 1077936192 3750 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 542895 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
[pid=206502/tid=206564] ppid=206495 vsize=19108176 memory=12316 CPUtime=0 cores=0,2
/proc/206502/task/206564/stat : 206564 (Timer-0) S 206495 206502 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20520706 19566772224 542895 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
Current children cumulated CPU time: 3550.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2171580 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3632.2 s]
/proc/loadavg: 4.38 4.21 4.12 5/337 208646
/proc/meminfo: memFree=101307308/131524600 swapFree=131059368/131071996
[pid=206502] ppid=206495 vsize=19108176 memory=2171580 CPUtime=3600.03 cores=0,2
/proc/206502/stat : 206502 (java) S 206495 206502 206418 0 -1 1077936128 201391 0 10 0 358880 1123 0 0 20 0 20 0 20520688 19566772224 542895 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
/proc/206502/statm: 4777044 542895 5855 1 0 556400 0
[pid=206502/tid=206505] ppid=206495 vsize=19108176 memory=1501974 CPUtime=3580.38 cores=0,2
/proc/206502/task/206505/stat : 206505 (java) R 206495 206502 206418 0 -1 4194368 88761 0 9 0 357028 1010 0 0 20 0 20 0 20520688 19566772224 542895 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2383 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
[pid=206502/tid=206528] ppid=206495 vsize=19108176 memory=1500307 CPUtime=0 cores=0,2
/proc/206502/task/206528/stat : 206528 (Finalizer) S 206495 206502 206418 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 542895 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
[pid=206502/tid=206556] ppid=206495 vsize=19108176 memory=1724247 CPUtime=0 cores=0,2
/proc/206502/task/206556/stat : 206556 (Common-Cleaner) S 206495 206502 206418 0 -1 1077936192 3884 0 0 0 0 0 0 0 20 0 20 0 20520692 19566772224 542895 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
[pid=206502/tid=206564] ppid=206495 vsize=19108176 memory=3388 CPUtime=0 cores=0,2
/proc/206502/task/206564/stat : 206564 (Timer-0) S 206495 206502 206418 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 20520706 19566772224 542895 134679101440 94786332573696 94786332577392 140734188721360 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94786332585208 94786332586000 94786358296576 140734188729259 140734188729441 140734188729441 140734188736456 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2171580 KiB

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

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

# cumulated CPU time of all completed processes:  user=3588.92 s, system=11.2477 s

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

Child status: 143

Real time (s): 3632.29
CPU time (s): 3600.17
CPU user time (s): 3588.92
CPU system time (s): 11.2477
CPU usage (%): 99.1156
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2171580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.92
system time used= 11.2477
maximum resident set size= 2173660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 204749
page faults= 10
swaps= 0
block input operations= 2368
block output operations= 10696816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114115
involuntary context switches= 31442


# summary of solver processes directly reported to runsolver:
#   pid: 206502
#   total CPU time (s): 3600.17
#   total CPU user time (s): 3588.92
#   total CPU system time (s): 11.2477

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.04804 second user time and 19.91 second system time

The end

Launcher Data 

Begin job on nodeC021 at 2024-07-24 18:52:00
IDJOB=4451452
IDBENCH=162424
IDSOLVER=3079
FILE ID=nodeC021/4451452-1721839920
RUNJOBID= nodeC021-1721839920-206428
SLURM_JOB_ID= 7891546
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/subsetcard/normalized-subsetcard-eq-random4regular-75.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4451452-1721839920/watcher-4451452-1721839920 -o /tmp/evaluation-result-4451452-1721839920/solver-4451452-1721839920 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721839920-206428 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4451452-1721839920 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4451452-1721839920.opb

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

MD5SUM BENCH= 4657a61cc40ea04220a947ee55001d91
RANDOM SEED=788125551

nodeC021.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		: 3551.635
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	: 7000.35
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		: 3554.781
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	: 7007.41
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		: 3433.596
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	: 7000.35
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		: 3569.280
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	: 7007.41
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		: 3393.914
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	: 7000.35
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		: 3628.938
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	: 7007.41
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		: 3288.588
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	: 7000.35
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		: 3219.790
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	: 7007.41
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127025676 kB
MemAvailable:   129707416 kB
Buffers:          266740 kB
Cached:          3227864 kB
SwapCached:          440 kB
Active:          2570140 kB
Inactive:        1294892 kB
Active(anon):       1604 kB
Inactive(anon):   422324 kB
Active(file):    2568536 kB
Inactive(file):   872568 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131059368 kB
Dirty:              2772 kB
Writeback:             0 kB
AnonPages:        370008 kB
Mapped:           113088 kB
Shmem:             53464 kB
KReclaimable:     160568 kB
Slab:             280396 kB
SReclaimable:     160568 kB
SUnreclaim:       119828 kB
KernelStack:        4144 kB
PageTables:        10176 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     705348 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16704 kB
HardwareCorrupted:     0 kB
AnonHugePages:    251904 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:      322260 kB
DirectMap2M:    40345600 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC021 at 2024-07-24 19:52:33