Trace number 4450594

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.22 3604.3

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size160-round23-5.opb
MD5SUM31f4cbeae6238292a97a65729b160061
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4288
Total number of constraints9536
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)448
Number of constraints which are nor clauses,nor cardinality constraints896
Minimum length of a constraint1
Maximum length of a constraint10
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 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	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-4450594-1721411135.opb
0.14/0.12	c reading problem ... 
0.14/0.12	c  no objective function found
0.34/0.30	c ... done. Wall clock time 0.175s.
0.50/0.31	c declared #vars     4288
0.50/0.31	c #constraints  10880
0.50/0.31	c constraints type 
0.50/0.31	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 134
0.50/0.31	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1786
0.50/0.31	c org.sat4j.specs.Constr$1 => 936
0.50/0.31	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 7488
0.50/0.31	c org.sat4j.pb.constraints.pb.UnitClausePB => 536
0.50/0.31	c 10880 constraints processed.
1.47/0.90	c cleaning 2491 clauses out of 4996 with flag 16819/5000
2.21/1.31	c cleaning 4243 clauses out of 8505 with flag 39429/11000
2.88/1.77	c cleaning 5622 clauses out of 11262 with flag 67221/18000
3.73/2.31	c cleaning 6813 clauses out of 13641 with flag 102325/26001
4.32/2.91	c cleaning 7901 clauses out of 15827 with flag 143021/35000
5.01/3.62	c cleaning 8959 clauses out of 17926 with flag 189056/45000
5.82/4.42	c cleaning 9981 clauses out of 19967 with flag 241802/56000
6.73/5.30	c cleaning 10966 clauses out of 21986 with flag 301517/68000
7.63/6.29	c cleaning 12005 clauses out of 24020 with flag 367748/81000
8.73/7.38	c cleaning 12986 clauses out of 26015 with flag 438912/95000
9.84/8.48	c cleaning 13992 clauses out of 28029 with flag 516955/110000
11.04/9.69	c cleaning 14990 clauses out of 30038 with flag 598120/126001
12.47/11.01	c cleaning 16004 clauses out of 32050 with flag 690582/143003
13.88/12.44	c cleaning 16999 clauses out of 34043 with flag 786196/161000
15.38/13.99	c cleaning 17996 clauses out of 36044 with flag 890551/180000
16.97/15.54	c cleaning 19009 clauses out of 38048 with flag 1005330/200000
18.77/17.36	c cleaning 20015 clauses out of 40039 with flag 1120270/221000
20.77/19.32	c cleaning 20996 clauses out of 42026 with flag 1246035/243002
22.87/21.47	c cleaning 21992 clauses out of 44028 with flag 1373822/266000
25.06/23.69	c cleaning 22992 clauses out of 46036 with flag 1510366/290000
27.46/26.03	c cleaning 24000 clauses out of 48044 with flag 1654305/315000
29.85/28.45	c cleaning 25011 clauses out of 50044 with flag 1802516/341000
32.45/31.00	c cleaning 25999 clauses out of 52034 with flag 1956114/368001
35.25/33.89	c cleaning 26979 clauses out of 54036 with flag 2119655/396002
38.35/36.94	c cleaning 27982 clauses out of 56056 with flag 2286028/425001
41.55/40.17	c cleaning 28984 clauses out of 58073 with flag 2460379/455000
44.83/43.49	c cleaning 30018 clauses out of 60090 with flag 2643678/486001
48.45/47.04	c cleaning 30984 clauses out of 62072 with flag 2829855/518001
52.03/50.63	c cleaning 32024 clauses out of 64087 with flag 3020073/551000
56.02/54.61	c cleaning 32992 clauses out of 66063 with flag 3214897/585000
60.01/58.67	c cleaning 34028 clauses out of 68073 with flag 3420810/620002
64.32/62.99	c cleaning 34997 clauses out of 70043 with flag 3627967/656000
68.91/67.53	c cleaning 35982 clauses out of 72047 with flag 3840325/693001
73.51/72.19	c cleaning 37032 clauses out of 74064 with flag 4060477/731000
78.41/77.03	c cleaning 37999 clauses out of 76034 with flag 4289606/770002
83.50/82.14	c cleaning 38985 clauses out of 78033 with flag 4522854/810000
88.79/87.47	c cleaning 39994 clauses out of 80048 with flag 4762495/851000
94.28/92.92	c cleaning 40981 clauses out of 82054 with flag 5009570/893000
100.10/98.73	c cleaning 41997 clauses out of 84073 with flag 5265790/936000
106.18/104.80	c cleaning 42993 clauses out of 86076 with flag 5524581/980000
112.17/110.89	c cleaning 44018 clauses out of 88083 with flag 5791004/1025000
118.69/117.36	c cleaning 45017 clauses out of 90065 with flag 6061964/1071000
125.48/124.10	c cleaning 45992 clauses out of 92049 with flag 6337951/1118001
132.28/131.00	c cleaning 46999 clauses out of 94057 with flag 6625753/1166001
139.26/137.99	c cleaning 47993 clauses out of 96059 with flag 6914534/1215002
146.85/145.55	c cleaning 48979 clauses out of 98064 with flag 7212677/1265000
154.66/153.33	c cleaning 50010 clauses out of 100085 with flag 7513085/1316000
162.35/161.10	c cleaning 51003 clauses out of 102078 with flag 7821275/1368003
170.63/169.36	c cleaning 51956 clauses out of 104073 with flag 8136581/1421001
179.23/177.98	c cleaning 52992 clauses out of 106116 with flag 8451007/1475000
187.61/186.37	c cleaning 54053 clauses out of 108126 with flag 8776067/1530002
196.43/195.16	c cleaning 54994 clauses out of 110073 with flag 9106345/1586002
205.61/204.33	c cleaning 56003 clauses out of 112077 with flag 9442773/1643000
214.91/213.66	c cleaning 57013 clauses out of 114076 with flag 9784600/1701002
224.49/223.24	c cleaning 58012 clauses out of 116063 with flag 10130300/1760002
234.39/233.17	c cleaning 59009 clauses out of 118049 with flag 10481546/1820000
244.70/243.45	c cleaning 59977 clauses out of 120042 with flag 10836713/1881002
255.17/253.96	c cleaning 61008 clauses out of 122064 with flag 11201308/1943001
265.86/264.61	c cleaning 62010 clauses out of 124055 with flag 11574768/2006000
277.13/275.92	c cleaning 62963 clauses out of 126046 with flag 11949930/2070001
288.56/287.34	c cleaning 64026 clauses out of 128082 with flag 12331226/2135000
300.34/299.14	c cleaning 64985 clauses out of 130056 with flag 12719603/2201000
312.21/311.00	c cleaning 66005 clauses out of 132071 with flag 13112848/2268000
324.68/323.54	c cleaning 66988 clauses out of 134066 with flag 13511794/2336000
337.59/336.41	c cleaning 68025 clauses out of 136078 with flag 13915251/2405000
350.76/349.66	c cleaning 69018 clauses out of 138053 with flag 14323529/2475000
364.24/363.17	c cleaning 69994 clauses out of 140035 with flag 14735389/2546000
377.80/376.73	c cleaning 71003 clauses out of 142042 with flag 15156405/2618001
391.50/390.49	c cleaning 71963 clauses out of 144038 with flag 15583359/2691000
405.77/404.78	c cleaning 73007 clauses out of 146076 with flag 16016041/2765001
420.45/419.40	c cleaning 73992 clauses out of 148068 with flag 16448097/2840000
435.32/434.30	c cleaning 75017 clauses out of 150076 with flag 16894993/2916000
450.85/449.88	c cleaning 76028 clauses out of 152059 with flag 17347529/2993000
466.31/465.35	c cleaning 76981 clauses out of 154031 with flag 17800725/3071000
482.09/481.19	c cleaning 77956 clauses out of 156050 with flag 18261960/3150000
498.86/497.96	c cleaning 79014 clauses out of 158094 with flag 18721308/3230000
515.81/514.98	c cleaning 79986 clauses out of 160080 with flag 19190859/3311000
533.27/532.44	c cleaning 81033 clauses out of 162094 with flag 19667374/3393000
551.49/550.69	c cleaning 82022 clauses out of 164064 with flag 20146571/3476003
569.45/568.64	c cleaning 82967 clauses out of 166039 with flag 20632665/3560000
588.22/587.44	c cleaning 83964 clauses out of 168072 with flag 21126052/3645000
606.89/606.17	c cleaning 85015 clauses out of 170108 with flag 21626519/3731000
626.14/625.40	c cleaning 86005 clauses out of 172093 with flag 22134175/3818000
645.91/645.26	c cleaning 87044 clauses out of 174088 with flag 22646831/3906000
666.39/665.79	c cleaning 87987 clauses out of 176047 with flag 23165863/3995003
687.06/686.42	c cleaning 89007 clauses out of 178060 with flag 23687663/4085003
708.11/707.53	c cleaning 89990 clauses out of 180051 with flag 24206336/4176001
729.27/728.77	c cleaning 91022 clauses out of 182060 with flag 24729036/4268000
751.23/750.73	c cleaning 91990 clauses out of 184038 with flag 25260340/4361000
773.09/772.61	c cleaning 93025 clauses out of 186049 with flag 25798532/4455001
795.50/795.02	c cleaning 94008 clauses out of 188024 with flag 26345605/4550001
818.44/818.01	c cleaning 95002 clauses out of 190016 with flag 26897384/4646001
842.18/841.80	c cleaning 95982 clauses out of 192014 with flag 27445905/4743001
866.43/866.11	c cleaning 97005 clauses out of 194032 with flag 28011943/4841001
890.76/890.52	c cleaning 97987 clauses out of 196028 with flag 28584328/4940002
915.70/915.51	c cleaning 98992 clauses out of 198039 with flag 29156580/5040000
941.49/941.25	c cleaning 99959 clauses out of 200047 with flag 29739267/5141000
967.14/966.95	c cleaning 101034 clauses out of 202088 with flag 30328263/5243000
993.09/992.91	c cleaning 101993 clauses out of 204055 with flag 30924174/5346001
1019.34/1019.23	c cleaning 103018 clauses out of 206061 with flag 31523188/5450000
1046.49/1046.43	c cleaning 104004 clauses out of 208043 with flag 32122377/5555000
1073.93/1073.86	c cleaning 104980 clauses out of 210039 with flag 32744182/5661000
1101.67/1101.60	c cleaning 105978 clauses out of 212060 with flag 33358956/5768001
1129.72/1129.76	c cleaning 107009 clauses out of 214081 with flag 33983122/5876000
1158.97/1159.02	c cleaning 108018 clauses out of 216073 with flag 34604032/5985001
1188.80/1188.91	c cleaning 109014 clauses out of 218056 with flag 35236789/6095002
1219.02/1219.22	c cleaning 110009 clauses out of 220040 with flag 35873203/6206000
1250.15/1250.45	c cleaning 111013 clauses out of 222032 with flag 36511734/6318001
1281.28/1281.31	c cleaning 111979 clauses out of 224021 with flag 37164356/6431003
1313.31/1313.48	c cleaning 113002 clauses out of 226040 with flag 37818593/6545001
1345.76/1346.00	c cleaning 114011 clauses out of 228038 with flag 38474041/6660001
1378.69/1378.98	c cleaning 114946 clauses out of 230027 with flag 39140912/6776001
1412.71/1413.08	c cleaning 116005 clauses out of 232080 with flag 39806256/6893000
1447.42/1447.81	c cleaning 117031 clauses out of 234075 with flag 40477760/7011000
1482.53/1482.96	c cleaning 118019 clauses out of 236045 with flag 41150864/7130001
1517.46/1517.96	c cleaning 118957 clauses out of 238025 with flag 41838000/7250000
1553.60/1554.19	c cleaning 120027 clauses out of 240069 with flag 42527372/7371001
1590.22/1590.84	c cleaning 121017 clauses out of 242042 with flag 43218752/7493001
1627.64/1628.31	c cleaning 121994 clauses out of 244024 with flag 43916771/7616000
1665.55/1666.39	c cleaning 122998 clauses out of 246030 with flag 44624656/7740000
1703.86/1704.72	c cleaning 123976 clauses out of 248034 with flag 45336179/7865002
1743.37/1744.21	c cleaning 124987 clauses out of 250056 with flag 46055453/7991000
1782.58/1783.52	c cleaning 126002 clauses out of 252069 with flag 46776078/8118000
1822.18/1823.24	c cleaning 127029 clauses out of 254067 with flag 47499735/8246000
1862.78/1863.95	c cleaning 128002 clauses out of 256038 with flag 48230690/8375000
1904.28/1905.52	c cleaning 129004 clauses out of 258036 with flag 48968899/8505000
1946.18/1947.58	c cleaning 130009 clauses out of 260032 with flag 49715974/8636000
1989.09/1990.58	c cleaning 131005 clauses out of 262024 with flag 50461985/8768001
2032.60/2034.06	c cleaning 131953 clauses out of 264018 with flag 51209934/8901000
2075.98/2077.58	c cleaning 133004 clauses out of 266065 with flag 51964853/9035000
2120.29/2121.90	c cleaning 134002 clauses out of 268062 with flag 52728650/9170001
2165.10/2166.84	c cleaning 135000 clauses out of 270059 with flag 53498632/9306000
2209.62/2211.42	c cleaning 136011 clauses out of 272060 with flag 54274499/9443001
2256.23/2258.15	c cleaning 137005 clauses out of 274049 with flag 55049399/9581001
2303.34/2305.34	c cleaning 137983 clauses out of 276043 with flag 55828889/9720000
2350.04/2352.01	c cleaning 139003 clauses out of 278062 with flag 56613957/9860002
2396.75/2398.82	c cleaning 140013 clauses out of 280061 with flag 57411242/10001004
2444.06/2446.22	c cleaning 141010 clauses out of 282044 with flag 58214525/10143000
2492.37/2494.66	c cleaning 142006 clauses out of 284034 with flag 59029267/10286000
2541.97/2544.37	c cleaning 142991 clauses out of 286028 with flag 59840408/10430000
2591.77/2594.21	c cleaning 143992 clauses out of 288037 with flag 60661893/10575000
2642.08/2644.56	c cleaning 145018 clauses out of 290045 with flag 61484460/10721000
2693.50/2696.09	c cleaning 145962 clauses out of 292029 with flag 62314573/10868002
2744.79/2747.41	c cleaning 147011 clauses out of 294065 with flag 63150959/11016000
2796.79/2799.58	c cleaning 147983 clauses out of 296054 with flag 63986280/11165000
2849.69/2852.56	c cleaning 149005 clauses out of 298071 with flag 64830487/11315000
2902.88/2905.84	c cleaning 150005 clauses out of 300067 with flag 65682533/11466001
2956.79/2959.87	c cleaning 151004 clauses out of 302061 with flag 66539006/11618000
3011.59/3014.66	c cleaning 151969 clauses out of 304058 with flag 67406879/11771001
3067.29/3070.43	c cleaning 153032 clauses out of 306088 with flag 68267400/11925000
3122.59/3125.87	c cleaning 153996 clauses out of 308059 with flag 69143347/12080003
3179.29/3182.69	c cleaning 154997 clauses out of 310061 with flag 70020856/12236001
3236.59/3240.05	c cleaning 155959 clauses out of 312063 with flag 70908232/12393000
3294.78/3298.39	c cleaning 157043 clauses out of 314104 with flag 71807474/12551000
3354.97/3358.60	c cleaning 157991 clauses out of 316061 with flag 72708768/12710000
3413.46/3417.24	c cleaning 159011 clauses out of 318070 with flag 73607203/12870000
3470.91/3474.72	c cleaning 160004 clauses out of 320059 with flag 74508507/13031000
3529.26/3533.24	c cleaning 160994 clauses out of 322056 with flag 75418163/13193001
3588.30/3592.40	c cleaning 162014 clauses out of 324061 with flag 76332802/13356000
3600.08/3604.21	c starts		: 110640
3600.08/3604.21	c timeout
3600.08/3604.21	c conflicts		: 13398045
3600.08/3604.21	c decisions		: 106929512
3600.08/3604.21	c propagations		: 1670570530
3600.08/3604.21	c inspects		: 38971695862
3600.08/3604.21	c shortcuts		: 0
3600.08/3604.21	c learnt literals	: 4
3600.08/3604.21	c learnt binary clauses	: 87
3600.08/3604.21	c learnt ternary clauses	: 1110
3600.08/3604.21	c learnt constraints	: 13398041
3600.08/3604.21	c ignored constraints	: 0
3600.08/3604.21	c root simplifications	: 0
3600.08/3604.21	c removed literals (reason simplification)	: 0
3600.08/3604.21	c reason swapping (by a shorter reason)	: 0
3600.08/3604.21	c Calls to reduceDB	: 159
3600.08/3604.21	c Number of update (reduction) of LBD	: 2850061
3600.08/3604.21	c Imported unit clauses	: 0
3600.08/3604.21	c No decision after first conflict	: false
3600.08/3604.21	c number of reductions to clauses (during analyze)	: 0
3600.08/3604.21	c number of learned constraints concerned by reduction	: 0
3600.08/3604.22	c number of learning phase by resolution	: 0
3600.08/3604.22	c number of learning phase by cutting planes	: 0
3600.08/3604.22	c number of rounding to 1 operations	: 0
3600.08/3604.22	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3604.22	c number of reductions of the coefficients by power 2 	: 0
3600.08/3604.22	c number of right shift for reduction by power 2 	: 0
3600.08/3604.22	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3604.22	c number of ending skipping 	: 0
3600.08/3604.22	c number of internal skipping 	: 0
3600.08/3604.22	c number of derivation steps 	: 0
3600.08/3604.22	c number of skipped derivation steps 	: 0
3600.08/3604.22	c number of remaining unassigned 	: 0
3600.08/3604.22	c number of remaining assigned 	: 0
3600.08/3604.22	c number of falsified literals weakened from reason	: 0
3600.08/3604.22	c number of falsified literals weakened from conflict	: 0
3600.08/3604.22	c time for arithmetic operations	: 0
3600.08/3604.23	c minimum degree of deleted constraints	: null
3600.08/3604.23	c maximum degree of deleted constraints	: null
3600.08/3604.23	c number of deleted constraints	: 0
3600.08/3604.23	c speed (assignments/second)	: 463545.19548267155
3600.08/3604.23	c non guided choices	: 46597
3600.08/3604.28	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 204005
3600.08/3604.28	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 87
3600.08/3604.28	s UNKNOWN
3600.08/3604.28	c Total wall clock time (in seconds): 3604.164

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450594-1721411135/watcher-4450594-1721411135 -o /tmp/evaluation-result-4450594-1721411135/solver-4450594-1721411135 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721410942-1024585 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4450594-1721411135.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.10022 s]*
/proc/loadavg: 4.06 2.97 3.05 5/330 1025423
/proc/meminfo: memFree=126719920/131524600 swapFree=131071996/131071996
[pid=1025405] ppid=1025402 vsize=18975048 memory=62632 CPUtime=0.14 cores=5,7
/proc/1025405/stat : 1025405 (java) S 1025402 1025405 1024572 0 -1 1077936128 7214 0 0 0 12 2 0 0 20 0 18 0 193279680 19430449152 15658 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
/proc/1025405/statm: 4743762 15658 5559 1 0 549338 0
[pid=1025405/tid=1025407] ppid=1025402 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/1025405/task/1025407/stat : 1025407 (java) R 1025402 1025405 1024572 0 -1 4194368 5742 0 0 0 7 1 0 0 20 0 18 0 193279681 19430449152 15658 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
[pid=1025405/tid=1025416] ppid=1025402 vsize=18975048 memory=228556276070 CPUtime=0 cores=5,7
/proc/1025405/task/1025416/stat : 1025416 (Finalizer) S 1025402 1025405 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 193279683 19430449152 15658 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
[pid=1025405/tid=1025423] ppid=1025402 vsize=18975048 memory=13845278874243994 CPUtime=0 cores=5,7
/proc/1025405/task/1025423/stat : 1025423 (Common-Cleaner) S 1025402 1025405 1024572 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 193279684 19430449152 15658 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62632 KiB

[startup+0.206404 s]*
/proc/loadavg: 4.06 2.97 3.05 6/330 1025423
/proc/meminfo: memFree=126705144/131524600 swapFree=131071996/131071996
[pid=1025405] ppid=1025402 vsize=18976112 memory=78576 CPUtime=0.34 cores=5,7
/proc/1025405/stat : 1025405 (java) S 1025402 1025405 1024572 0 -1 1077936128 8595 0 0 0 32 2 0 0 20 0 18 0 193279680 19431538688 19644 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
/proc/1025405/statm: 4744028 19644 5856 1 0 550416 0
[pid=1025405/tid=1025407] ppid=1025402 vsize=18976112 memory=6876556183782621315 CPUtime=0.17 cores=5,7
/proc/1025405/task/1025407/stat : 1025407 (java) R 1025402 1025405 1024572 0 -1 4194368 5895 0 0 0 16 1 0 0 20 0 18 0 193279681 19431538688 19644 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
[pid=1025405/tid=1025416] ppid=1025402 vsize=18976112 memory=1676398 CPUtime=0 cores=5,7
/proc/1025405/task/1025416/stat : 1025416 (Finalizer) S 1025402 1025405 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 193279683 19431538688 19644 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
[pid=1025405/tid=1025423] ppid=1025402 vsize=18976112 memory=15544020042516215 CPUtime=0 cores=5,7
/proc/1025405/task/1025423/stat : 1025423 (Common-Cleaner) S 1025402 1025405 1024572 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 193279684 19431538688 19644 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18976112 KiB
Current children cumulated memory: 78576 KiB

[startup+0.305828 s]*
/proc/loadavg: 4.06 2.97 3.05 8/330 1025423
/proc/meminfo: memFree=126684808/131524600 swapFree=131071996/131071996
[pid=1025405] ppid=1025402 vsize=18975048 memory=98812 CPUtime=0.5 cores=5,7
/proc/1025405/stat : 1025405 (java) S 1025402 1025405 1024572 0 -1 1077936128 9293 0 0 0 48 2 0 0 20 0 18 0 193279680 19430449152 24703 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
/proc/1025405/statm: 4743762 24703 5856 1 0 550683 0
[pid=1025405/tid=1025407] ppid=1025402 vsize=18975048 memory=-7452434265927805795 CPUtime=0.23 cores=5,7
/proc/1025405/task/1025407/stat : 1025407 (java) R 1025402 1025405 1024572 0 -1 4194368 5956 0 0 0 22 1 0 0 20 0 18 0 193279681 19430449152 24703 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
[pid=1025405/tid=1025416] ppid=1025402 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/1025405/task/1025416/stat : 1025416 (Finalizer) S 1025402 1025405 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 193279683 19430449152 24703 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
[pid=1025405/tid=1025423] ppid=1025402 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/1025405/task/1025423/stat : 1025423 (Common-Cleaner) S 1025402 1025405 1024572 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 193279684 19430449152 24703 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 98812 KiB

[startup+0.700416 s]
/proc/loadavg: 4.06 2.97 3.05 8/331 1025424
/proc/meminfo: memFree=126674600/131524600 swapFree=131071996/131071996
[pid=1025405] ppid=1025402 vsize=19041612 memory=109012 CPUtime=1.27 cores=5,7
/proc/1025405/stat : 1025405 (java) S 1025402 1025405 1024572 0 -1 1077936128 11175 0 0 0 124 3 0 0 20 0 19 0 193279680 19498610688 27253 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
/proc/1025405/statm: 4760403 27253 5872 1 0 552364 0
[pid=1025405/tid=1025407] ppid=1025402 vsize=19041612 memory=5468 CPUtime=0.57 cores=5,7
/proc/1025405/task/1025407/stat : 1025407 (java) R 1025402 1025405 1024572 0 -1 4194368 5988 0 0 0 56 1 0 0 20 0 19 0 193279681 19498610688 27253 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
[pid=1025405/tid=1025416] ppid=1025402 vsize=19041612 memory=12420 CPUtime=0 cores=5,7
/proc/1025405/task/1025416/stat : 1025416 (Finalizer) S 1025402 1025405 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 193279683 19498610688 27253 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
[pid=1025405/tid=1025423] ppid=1025402 vsize=19041612 memory=164 CPUtime=0 cores=5,7
/proc/1025405/task/1025423/stat : 1025423 (Common-Cleaner) S 1025402 1025405 1024572 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 193279684 19498610688 27253 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
[pid=1025405/tid=1025424] ppid=1025402 vsize=19041612 memory=117636 CPUtime=0 cores=5,7
/proc/1025405/task/1025424/stat : 1025424 (Timer-0) S 1025402 1025405 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 193279712 19498610688 27253 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 109012 KiB

[startup+1.50041 s]
/proc/loadavg: 4.06 2.97 3.05 5/331 1025424
/proc/meminfo: memFree=126669244/131524600 swapFree=131071996/131071996
[pid=1025405] ppid=1025402 vsize=19041612 memory=126444 CPUtime=2.59 cores=5,7
/proc/1025405/stat : 1025405 (java) S 1025402 1025405 1024572 0 -1 1077936128 20027 0 0 0 255 4 0 0 20 0 19 0 193279680 19498610688 31611 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
/proc/1025405/statm: 4760403 31611 5872 1 0 554818 0
[pid=1025405/tid=1025407] ppid=1025402 vsize=19041612 memory=12420 CPUtime=1.37 cores=5,7
/proc/1025405/task/1025407/stat : 1025407 (java) R 1025402 1025405 1024572 0 -1 4194368 6399 0 0 0 135 2 0 0 20 0 19 0 193279681 19498610688 31611 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
[pid=1025405/tid=1025416] ppid=1025402 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1025405/task/1025416/stat : 1025416 (Finalizer) S 1025402 1025405 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 193279683 19498610688 31611 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
[pid=1025405/tid=1025423] ppid=1025402 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1025405/task/1025423/stat : 1025423 (Common-Cleaner) S 1025402 1025405 1024572 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 193279684 19498610688 31611 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
[pid=1025405/tid=1025424] ppid=1025402 vsize=19041612 memory=280641350575376 CPUtime=0 cores=5,7
/proc/1025405/task/1025424/stat : 1025424 (Timer-0) S 1025402 1025405 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 193279712 19498610688 31611 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
Current children cumulated CPU time: 2.59 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 126444 KiB

[startup+3.10582 s]
/proc/loadavg: 4.06 2.97 3.05 5/331 1025424
/proc/meminfo: memFree=126637140/131524600 swapFree=131071996/131071996
[pid=1025405] ppid=1025402 vsize=19041612 memory=146036 CPUtime=4.52 cores=5,7
/proc/1025405/stat : 1025405 (java) S 1025402 1025405 1024572 0 -1 1077936128 21750 0 0 0 447 5 0 0 20 0 19 0 193279680 19498610688 36509 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
/proc/1025405/statm: 4760403 36509 5872 1 0 555488 0
[pid=1025405/tid=1025407] ppid=1025402 vsize=19041612 memory=0 CPUtime=2.95 cores=5,7
/proc/1025405/task/1025407/stat : 1025407 (java) R 1025402 1025405 1024572 0 -1 4194368 6645 0 0 0 293 2 0 0 20 0 19 0 193279681 19498610688 36509 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
[pid=1025405/tid=1025416] ppid=1025402 vsize=19041612 memory=12420 CPUtime=0 cores=5,7
/proc/1025405/task/1025416/stat : 1025416 (Finalizer) S 1025402 1025405 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 193279683 19498610688 36509 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
[pid=1025405/tid=1025423] ppid=1025402 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1025405/task/1025423/stat : 1025423 (Common-Cleaner) S 1025402 1025405 1024572 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 193279684 19498610688 36509 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
[pid=1025405/tid=1025424] ppid=1025402 vsize=19041612 memory=11664 CPUtime=0 cores=5,7
/proc/1025405/task/1025424/stat : 1025424 (Timer-0) S 1025402 1025405 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 193279712 19498610688 36509 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
Current children cumulated CPU time: 4.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 146036 KiB

[startup+6.30028 s]
/proc/loadavg: 4.05 2.98 3.06 5/331 1025424
/proc/meminfo: memFree=126621284/131524600 swapFree=131071996/131071996
[pid=1025405] ppid=1025402 vsize=19041612 memory=164076 CPUtime=7.73 cores=5,7
/proc/1025405/stat : 1025405 (java) S 1025402 1025405 1024572 0 -1 1077936128 24138 0 0 0 767 6 0 0 20 0 19 0 193279680 19498610688 41019 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
/proc/1025405/statm: 4760403 41019 5904 1 0 555488 0
[pid=1025405/tid=1025407] ppid=1025402 vsize=19041612 memory=12420 CPUtime=6.14 cores=5,7
/proc/1025405/task/1025407/stat : 1025407 (java) R 1025402 1025405 1024572 0 -1 4194368 7276 0 0 0 611 3 0 0 20 0 19 0 193279681 19498610688 41019 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
[pid=1025405/tid=1025416] ppid=1025402 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1025405/task/1025416/stat : 1025416 (Finalizer) S 1025402 1025405 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 193279683 19498610688 41019 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
[pid=1025405/tid=1025423] ppid=1025402 vsize=19041612 memory=128492 CPUtime=0 cores=5,7
/proc/1025405/task/1025423/stat : 1025423 (Common-Cleaner) S 1025402 1025405 1024572 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 193279684 19498610688 41019 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
[pid=1025405/tid=1025424] ppid=1025402 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1025405/task/1025424/stat : 1025424 (Timer-0) S 1025402 1025405 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 193279712 19498610688 41019 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
Current children cumulated CPU time: 7.73 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 164076 KiB

[startup+12.7003 s]
/proc/loadavg: 4.05 3.00 3.06 5/332 1025427
/proc/meminfo: memFree=126575508/131524600 swapFree=131071996/131071996
[pid=1025405] ppid=1025402 vsize=19108176 memory=189256 CPUtime=14.18 cores=5,7
/proc/1025405/stat : 1025405 (java) S 1025402 1025405 1024572 0 -1 1077936128 28360 0 0 0 1411 7 0 0 20 0 20 0 193279680 19566772224 47314 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
/proc/1025405/statm: 4777044 47314 5952 1 0 555777 0
[pid=1025405/tid=1025407] ppid=1025402 vsize=19108176 memory=0 CPUtime=12.51 cores=5,7
/proc/1025405/task/1025407/stat : 1025407 (java) R 1025402 1025405 1024572 0 -1 4194368 8075 0 0 0 1248 3 0 0 20 0 20 0 193279681 19566772224 47314 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
[pid=1025405/tid=1025416] ppid=1025402 vsize=19108176 memory=-7452434265927805795 CPUtime=0 cores=5,7
/proc/1025405/task/1025416/stat : 1025416 (Finalizer) S 1025402 1025405 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 193279683 19566772224 47314 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
[pid=1025405/tid=1025423] ppid=1025402 vsize=19108176 memory=2248 CPUtime=0 cores=5,7
/proc/1025405/task/1025423/stat : 1025423 (Common-Cleaner) S 1025402 1025405 1024572 0 -1 1077936192 64 0 0 0 0 0 0 0 20 0 20 0 193279684 19566772224 47314 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
[pid=1025405/tid=1025424] ppid=1025402 vsize=19108176 memory=11664 CPUtime=0 cores=5,7
/proc/1025405/task/1025424/stat : 1025424 (Timer-0) S 1025402 1025405 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 193279712 19566772224 47314 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
Current children cumulated CPU time: 14.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 189256 KiB

[startup+25.5003 s]
/proc/loadavg: 4.04 3.05 3.08 5/332 1025428
/proc/meminfo: memFree=126450036/131524600 swapFree=131071996/131071996
[pid=1025405] ppid=1025402 vsize=19108176 memory=195516 CPUtime=26.96 cores=5,7
/proc/1025405/stat : 1025405 (java) S 1025402 1025405 1024572 0 -1 1077936128 31050 0 0 0 2688 8 0 0 20 0 20 0 193279680 19566772224 48879 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
/proc/1025405/statm: 4777044 48879 5952 1 0 555777 0
[pid=1025405/tid=1025407] ppid=1025402 vsize=19108176 memory=11664 CPUtime=25.25 cores=5,7
/proc/1025405/task/1025407/stat : 1025407 (java) R 1025402 1025405 1024572 0 -1 4194368 9092 0 0 0 2522 3 0 0 20 0 20 0 193279681 19566772224 48879 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
[pid=1025405/tid=1025416] ppid=1025402 vsize=19108176 memory=11664 CPUtime=0 cores=5,7
/proc/1025405/task/1025416/stat : 1025416 (Finalizer) S 1025402 1025405 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 193279683 19566772224 48879 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
[pid=1025405/tid=1025423] ppid=1025402 vsize=19108176 memory=164076 CPUtime=0 cores=5,7
/proc/1025405/task/1025423/stat : 1025423 (Common-Cleaner) S 1025402 1025405 1024572 0 -1 1077936192 64 0 0 0 0 0 0 0 20 0 20 0 193279684 19566772224 48879 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
[pid=1025405/tid=1025424] ppid=1025402 vsize=19108176 memory=280641350522160 CPUtime=0 cores=5,7
/proc/1025405/task/1025424/stat : 1025424 (Timer-0) S 1025402 1025405 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 193279712 19566772224 48879 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
Current children cumulated CPU time: 26.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 195516 KiB

[startup+51.1059 s]
/proc/loadavg: 4.08 3.14 3.11 5/332 1025434
/proc/meminfo: memFree=126266372/131524600 swapFree=131071996/131071996
[pid=1025405] ppid=1025402 vsize=19108176 memory=261372 CPUtime=52.53 cores=5,7
/proc/1025405/stat : 1025405 (java) S 1025402 1025405 1024572 0 -1 1077936128 34163 0 0 0 5243 10 0 0 20 0 20 0 193279680 19566772224 65343 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
/proc/1025405/statm: 4777044 65343 5952 1 0 555777 0
[pid=1025405/tid=1025407] ppid=1025402 vsize=19108176 memory=222396 CPUtime=50.68 cores=5,7
/proc/1025405/task/1025407/stat : 1025407 (java) R 1025402 1025405 1024572 0 -1 4194368 10361 0 0 0 5065 3 0 0 20 0 20 0 193279681 19566772224 65343 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
[pid=1025405/tid=1025416] ppid=1025402 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/1025405/task/1025416/stat : 1025416 (Finalizer) S 1025402 1025405 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 193279683 19566772224 65343 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0

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

/proc/meminfo: memFree=116210844/131524600 swapFree=131071996/131071996
[pid=1025405] ppid=1025402 vsize=19108176 memory=2058836 CPUtime=3218.92 cores=5,7
/proc/1025405/stat : 1025405 (java) S 1025402 1025405 1024572 0 -1 1077936128 126024 0 0 0 321756 136 0 0 20 0 20 0 193279680 19566772224 514709 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
/proc/1025405/statm: 4777044 514709 5952 1 0 557752 0
[pid=1025405/tid=1025407] ppid=1025402 vsize=19108176 memory=2058836 CPUtime=3211.63 cores=5,7
/proc/1025405/task/1025407/stat : 1025407 (java) R 1025402 1025405 1024572 0 -1 4194368 58833 0 0 0 321153 10 0 0 20 0 20 0 193279681 19566772224 514709 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
[pid=1025405/tid=1025416] ppid=1025402 vsize=19108176 memory=2058836 CPUtime=0 cores=5,7
/proc/1025405/task/1025416/stat : 1025416 (Finalizer) S 1025402 1025405 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 193279683 19566772224 514709 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
[pid=1025405/tid=1025423] ppid=1025402 vsize=19108176 memory=2058836 CPUtime=0 cores=5,7
/proc/1025405/task/1025423/stat : 1025423 (Common-Cleaner) S 1025402 1025405 1024572 0 -1 1077936192 4287 0 0 0 0 0 0 0 20 0 20 0 193279684 19566772224 514709 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
[pid=1025405/tid=1025424] ppid=1025402 vsize=19108176 memory=2058836 CPUtime=0 cores=5,7
/proc/1025405/task/1025424/stat : 1025424 (Timer-0) S 1025402 1025405 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 193279712 19566772224 514709 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
Current children cumulated CPU time: 3218.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2058836 KiB

[startup+3282.3 s]
/proc/loadavg: 4.41 4.25 4.14 5/333 1027216
/proc/meminfo: memFree=116209980/131524600 swapFree=131071996/131071996
[pid=1025405] ppid=1025402 vsize=19108176 memory=2058836 CPUtime=3278.8 cores=5,7
/proc/1025405/stat : 1025405 (java) S 1025402 1025405 1024572 0 -1 1077936128 127312 0 0 0 327743 137 0 0 20 0 20 0 193279680 19566772224 514709 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
/proc/1025405/statm: 4777044 514709 5952 1 0 557752 0
[pid=1025405/tid=1025407] ppid=1025402 vsize=19108176 memory=2058836 CPUtime=3271.49 cores=5,7
/proc/1025405/task/1025407/stat : 1025407 (java) R 1025402 1025405 1024572 0 -1 4194368 59839 0 0 0 327139 10 0 0 20 0 20 0 193279681 19566772224 514709 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
[pid=1025405/tid=1025416] ppid=1025402 vsize=19108176 memory=-7452434265927805795 CPUtime=0 cores=5,7
/proc/1025405/task/1025416/stat : 1025416 (Finalizer) S 1025402 1025405 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 193279683 19566772224 514709 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
[pid=1025405/tid=1025423] ppid=1025402 vsize=19108176 memory=47456 CPUtime=0 cores=5,7
/proc/1025405/task/1025423/stat : 1025423 (Common-Cleaner) S 1025402 1025405 1024572 0 -1 1077936192 4411 0 0 0 0 0 0 0 20 0 20 0 193279684 19566772224 514709 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
[pid=1025405/tid=1025424] ppid=1025402 vsize=19108176 memory=2058836 CPUtime=0 cores=5,7
/proc/1025405/task/1025424/stat : 1025424 (Timer-0) S 1025402 1025405 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 193279712 19566772224 514709 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
Current children cumulated CPU time: 3278.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2058836 KiB

[startup+3342.3 s]
/proc/loadavg: 4.27 4.25 4.14 5/333 1027228
/proc/meminfo: memFree=116209344/131524600 swapFree=131071996/131071996
[pid=1025405] ppid=1025402 vsize=19108176 memory=2058836 CPUtime=3338.7 cores=5,7
/proc/1025405/stat : 1025405 (java) S 1025402 1025405 1024572 0 -1 1077936128 128431 0 0 0 333731 139 0 0 20 0 20 0 193279680 19566772224 514709 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
/proc/1025405/statm: 4777044 514709 5952 1 0 557752 0
[pid=1025405/tid=1025407] ppid=1025402 vsize=19108176 memory=2058836 CPUtime=3331.35 cores=5,7
/proc/1025405/task/1025407/stat : 1025407 (java) R 1025402 1025405 1024572 0 -1 4194368 60710 0 0 0 333125 10 0 0 20 0 20 0 193279681 19566772224 514709 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
[pid=1025405/tid=1025416] ppid=1025402 vsize=19108176 memory=2058836 CPUtime=0 cores=5,7
/proc/1025405/task/1025416/stat : 1025416 (Finalizer) S 1025402 1025405 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 193279683 19566772224 514709 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
[pid=1025405/tid=1025423] ppid=1025402 vsize=19108176 memory=11664 CPUtime=0 cores=5,7
/proc/1025405/task/1025423/stat : 1025423 (Common-Cleaner) S 1025402 1025405 1024572 0 -1 1077936192 4493 0 0 0 0 0 0 0 20 0 20 0 193279684 19566772224 514709 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
[pid=1025405/tid=1025424] ppid=1025402 vsize=19108176 memory=12420 CPUtime=0 cores=5,7
/proc/1025405/task/1025424/stat : 1025424 (Timer-0) S 1025402 1025405 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 193279712 19566772224 514709 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
Current children cumulated CPU time: 3338.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2058836 KiB

[startup+3402.3 s]
/proc/loadavg: 4.27 4.25 4.15 5/333 1027306
/proc/meminfo: memFree=122834672/131524600 swapFree=131071996/131071996
[pid=1025405] ppid=1025402 vsize=19108176 memory=2058836 CPUtime=3398.58 cores=5,7
/proc/1025405/stat : 1025405 (java) S 1025402 1025405 1024572 0 -1 1077936128 129780 0 0 0 339718 140 0 0 20 0 20 0 193279680 19566772224 514709 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
/proc/1025405/statm: 4777044 514709 5952 1 0 557752 0
[pid=1025405/tid=1025407] ppid=1025402 vsize=19108176 memory=2058836 CPUtime=3391.21 cores=5,7
/proc/1025405/task/1025407/stat : 1025407 (java) R 1025402 1025405 1024572 0 -1 4194368 61855 0 0 0 339111 10 0 0 20 0 20 0 193279681 19566772224 514709 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
[pid=1025405/tid=1025416] ppid=1025402 vsize=19108176 memory=11664 CPUtime=0 cores=5,7
/proc/1025405/task/1025416/stat : 1025416 (Finalizer) S 1025402 1025405 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 193279683 19566772224 514709 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
[pid=1025405/tid=1025423] ppid=1025402 vsize=19108176 memory=5468 CPUtime=0 cores=5,7
/proc/1025405/task/1025423/stat : 1025423 (Common-Cleaner) S 1025402 1025405 1024572 0 -1 1077936192 4510 0 0 0 0 0 0 0 20 0 20 0 193279684 19566772224 514709 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
[pid=1025405/tid=1025424] ppid=1025402 vsize=19108176 memory=12420 CPUtime=0 cores=5,7
/proc/1025405/task/1025424/stat : 1025424 (Timer-0) S 1025402 1025405 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 193279712 19566772224 514709 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
Current children cumulated CPU time: 3398.58 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2058836 KiB

[startup+3462.3 s]
/proc/loadavg: 4.24 4.23 4.15 5/332 1027451
/proc/meminfo: memFree=126528328/131524600 swapFree=131071996/131071996
[pid=1025405] ppid=1025402 vsize=19108176 memory=2159192 CPUtime=3458.55 cores=5,7
/proc/1025405/stat : 1025405 (java) S 1025402 1025405 1024572 0 -1 1077936128 131655 0 0 0 345711 144 0 0 20 0 20 0 193279680 19566772224 539798 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
/proc/1025405/statm: 4777044 539798 5952 1 0 557753 0
[pid=1025405/tid=1025407] ppid=1025402 vsize=19108176 memory=2058836 CPUtime=3450.97 cores=5,7
/proc/1025405/task/1025407/stat : 1025407 (java) R 1025402 1025405 1024572 0 -1 4194368 62542 0 0 0 345087 10 0 0 20 0 20 0 193279681 19566772224 539798 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
[pid=1025405/tid=1025416] ppid=1025402 vsize=19108176 memory=2159192 CPUtime=0 cores=5,7
/proc/1025405/task/1025416/stat : 1025416 (Finalizer) S 1025402 1025405 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 193279683 19566772224 539798 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
[pid=1025405/tid=1025423] ppid=1025402 vsize=19108176 memory=11664 CPUtime=0 cores=5,7
/proc/1025405/task/1025423/stat : 1025423 (Common-Cleaner) S 1025402 1025405 1024572 0 -1 1077936192 4556 0 0 0 0 0 0 0 20 0 20 0 193279684 19566772224 539798 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
[pid=1025405/tid=1025424] ppid=1025402 vsize=19108176 memory=2159192 CPUtime=0 cores=5,7
/proc/1025405/task/1025424/stat : 1025424 (Timer-0) S 1025402 1025405 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 193279712 19566772224 539798 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
Current children cumulated CPU time: 3458.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2159192 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.21 4.14 5/333 1027464
/proc/meminfo: memFree=126239512/131524600 swapFree=131071996/131071996
[pid=1025405] ppid=1025402 vsize=19108176 memory=2159192 CPUtime=3518.39 cores=5,7
/proc/1025405/stat : 1025405 (java) S 1025402 1025405 1024572 0 -1 1077936128 132892 0 0 0 351694 145 0 0 20 0 20 0 193279680 19566772224 539798 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
/proc/1025405/statm: 4777044 539798 5952 1 0 557753 0
[pid=1025405/tid=1025407] ppid=1025402 vsize=19108176 memory=2159192 CPUtime=3510.79 cores=5,7
/proc/1025405/task/1025407/stat : 1025407 (java) R 1025402 1025405 1024572 0 -1 4194368 63452 0 0 0 351068 11 0 0 20 0 20 0 193279681 19566772224 539798 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
[pid=1025405/tid=1025416] ppid=1025402 vsize=19108176 memory=20616 CPUtime=0 cores=5,7
/proc/1025405/task/1025416/stat : 1025416 (Finalizer) S 1025402 1025405 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 193279683 19566772224 539798 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
[pid=1025405/tid=1025423] ppid=1025402 vsize=19108176 memory=2159192 CPUtime=0 cores=5,7
/proc/1025405/task/1025423/stat : 1025423 (Common-Cleaner) S 1025402 1025405 1024572 0 -1 1077936192 4632 0 0 0 0 0 0 0 20 0 20 0 193279684 19566772224 539798 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
[pid=1025405/tid=1025424] ppid=1025402 vsize=19108176 memory=2159192 CPUtime=0 cores=5,7
/proc/1025405/task/1025424/stat : 1025424 (Timer-0) S 1025402 1025405 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 193279712 19566772224 539798 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
Current children cumulated CPU time: 3518.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2159192 KiB

[startup+3582.3 s]
/proc/loadavg: 4.20 4.20 4.14 5/330 1027474
/proc/meminfo: memFree=125942416/131524600 swapFree=131071996/131071996
[pid=1025405] ppid=1025402 vsize=19108176 memory=2159208 CPUtime=3578.23 cores=5,7
/proc/1025405/stat : 1025405 (java) S 1025402 1025405 1024572 0 -1 1077936128 134164 0 0 0 357678 145 0 0 20 0 20 0 193279680 19566772224 539802 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
/proc/1025405/statm: 4777044 539802 5952 1 0 557764 0
[pid=1025405/tid=1025407] ppid=1025402 vsize=19108176 memory=11664 CPUtime=3570.6 cores=5,7
/proc/1025405/task/1025407/stat : 1025407 (java) R 1025402 1025405 1024572 0 -1 4194368 64495 0 0 0 357049 11 0 0 20 0 20 0 193279681 19566772224 539802 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
[pid=1025405/tid=1025416] ppid=1025402 vsize=19108176 memory=2159208 CPUtime=0 cores=5,7
/proc/1025405/task/1025416/stat : 1025416 (Finalizer) S 1025402 1025405 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 193279683 19566772224 539802 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
[pid=1025405/tid=1025423] ppid=1025402 vsize=19108176 memory=2159208 CPUtime=0 cores=5,7
/proc/1025405/task/1025423/stat : 1025423 (Common-Cleaner) S 1025402 1025405 1024572 0 -1 1077936192 4742 0 0 0 0 0 0 0 20 0 20 0 193279684 19566772224 539802 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
[pid=1025405/tid=1025424] ppid=1025402 vsize=19108176 memory=-7452434265927805795 CPUtime=0 cores=5,7
/proc/1025405/task/1025424/stat : 1025424 (Timer-0) S 1025402 1025405 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 193279712 19566772224 539802 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
Current children cumulated CPU time: 3578.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2159208 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3604.2 s]
/proc/loadavg: 4.14 4.18 4.14 5/330 1027477
/proc/meminfo: memFree=125855840/131524600 swapFree=131071996/131071996
[pid=1025405] ppid=1025402 vsize=19108176 memory=2159212 CPUtime=3600.08 cores=5,7
/proc/1025405/stat : 1025405 (java) S 1025402 1025405 1024572 0 -1 1077936128 134854 0 0 0 359862 146 0 0 20 0 20 0 193279680 19566772224 539803 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
/proc/1025405/statm: 4777044 539803 5952 1 0 557764 0
[pid=1025405/tid=1025407] ppid=1025402 vsize=19108176 memory=-7308319077851490659 CPUtime=3592.44 cores=5,7
/proc/1025405/task/1025407/stat : 1025407 (java) R 1025402 1025405 1024572 0 -1 4194368 64978 0 0 0 359233 11 0 0 20 0 20 0 193279681 19566772224 539803 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
[pid=1025405/tid=1025416] ppid=1025402 vsize=19108176 memory=2696 CPUtime=0 cores=5,7
/proc/1025405/task/1025416/stat : 1025416 (Finalizer) S 1025402 1025405 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 193279683 19566772224 539803 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
[pid=1025405/tid=1025423] ppid=1025402 vsize=19108176 memory=4828 CPUtime=0 cores=5,7
/proc/1025405/task/1025423/stat : 1025423 (Common-Cleaner) S 1025402 1025405 1024572 0 -1 1077936192 4742 0 0 0 0 0 0 0 20 0 20 0 193279684 19566772224 539803 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
[pid=1025405/tid=1025424] ppid=1025402 vsize=19108176 memory=385740 CPUtime=0 cores=5,7
/proc/1025405/task/1025424/stat : 1025424 (Timer-0) S 1025402 1025405 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 193279712 19566772224 539803 134679101440 94774344052736 94774344056432 140722799441808 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94774344064248 94774344065040 94774344200192 140722799449093 140722799449183 140722799449183 140722799456200 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2159212 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.75 s, system=1.47415 s

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

Child status: 143

Real time (s): 3604.3
CPU time (s): 3600.22
CPU user time (s): 3598.75
CPU system time (s): 1.47415
CPU usage (%): 99.8869
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2159212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.75
system time used= 1.47415
maximum resident set size= 2160872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 138355
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 102425
involuntary context switches= 1576


# summary of solver processes directly reported to runsolver:
#   pid: 1025405
#   total CPU time (s): 3600.22
#   total CPU user time (s): 3598.75
#   total CPU system time (s): 1.47415

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.19993 second user time and 17.5339 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2024-07-19 19:45:48
IDJOB=4450594
IDBENCH=162170
IDSOLVER=3058
FILE ID=nodeC026/4450594-1721411135
RUNJOBID= nodeC026-1721410942-1024585
SLURM_JOB_ID= 7545477
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size160-round23-5.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450594-1721411135/watcher-4450594-1721411135 -o /tmp/evaluation-result-4450594-1721411135/solver-4450594-1721411135 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721410942-1024585 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4450594-1721411135.opb

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

MD5SUM BENCH= 31f4cbeae6238292a97a65729b160061
RANDOM SEED=707787252

nodeC026.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		: 3666.110
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.74
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		: 3674.399
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.45
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		: 3600.019
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.74
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		: 3641.346
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.45
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		: 3666.083
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.74
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		: 3658.249
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.45
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		: 3600.129
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.74
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		: 3648.180
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.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126762264 kB
MemAvailable:   127254724 kB
Buffers:          561404 kB
Cached:           777876 kB
SwapCached:            0 kB
Active:          1076660 kB
Inactive:        3071408 kB
Active(anon):       1548 kB
Inactive(anon):  2853180 kB
Active(file):    1075112 kB
Inactive(file):   218228 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1268 kB
Writeback:             0 kB
AnonPages:       2805792 kB
Mapped:           127380 kB
Shmem:             45912 kB
KReclaimable:      77888 kB
Slab:             188044 kB
SReclaimable:      77888 kB
SUnreclaim:       110156 kB
KernelStack:        5040 kB
PageTables:        15676 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7322532 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            67808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2533376 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:      260820 kB
DirectMap2M:    27824128 kB
DirectMap1G:    108003328 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC026 at 2024-07-19 20:45:52