Trace number 4516362

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 2025-06-06? (TO) 3600.18 3604.9

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/noverticaledges-v1/normalized-grid4_27.opb
MD5SUMd84e5b0859c720120d753ed5df1f0f9f
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.016446
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables108
Total number of constraints109
Number of constraints which are clauses108
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint108
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 54
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 162
Number of bits of the biggest sum of numbers8
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.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
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		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	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.00/0.09	c Number of processors 	2
0.13/0.14	c Pseudo Boolean Optimization by upper bound
0.13/0.14	c --- Begin Solver configuration ---
0.13/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.14	c Learn all clauses as in MiniSAT
0.13/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.14	c Expensive reason simplification
0.13/0.14	c Glucose 2.1 dynamic restart strategy
0.13/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.13/0.14	c timeout=2147483s
0.13/0.14	c DB Simplification allowed=false
0.13/0.14	c Listener: none
0.13/0.14	c --- End Solver configuration ---
0.13/0.14	c solving HOME/instance-4516362-1751239481.opb
0.13/0.14	c reading problem ... 
0.13/0.14	c  no objective function found
0.13/0.16	c ... done. Wall clock time 0.014s.
0.13/0.16	c declared #vars     108
0.13/0.16	c #constraints  109
0.13/0.16	c constraints type 
0.13/0.16	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 108
0.13/0.16	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.13/0.16	c 109 constraints processed.
0.70/0.43	c cleaning 2501 clauses out of 5001 with flag 10825/5001
1.08/0.67	c cleaning 4250 clauses out of 8500 with flag 23915/11001
1.47/0.88	c cleaning 5625 clauses out of 11250 with flag 39217/18001
2.00/1.11	c cleaning 6813 clauses out of 13625 with flag 56785/26001
2.21/1.38	c cleaning 7904 clauses out of 15811 with flag 76302/35000
2.61/1.71	c cleaning 8953 clauses out of 17907 with flag 98173/45000
3.00/2.10	c cleaning 9978 clauses out of 19955 with flag 122130/56001
3.49/2.52	c cleaning 10986 clauses out of 21976 with flag 148358/68000
4.00/3.04	c cleaning 11995 clauses out of 23990 with flag 176550/81000
4.60/3.61	c cleaning 12993 clauses out of 25996 with flag 207048/95001
5.19/4.21	c cleaning 13999 clauses out of 28002 with flag 239800/110000
5.92/4.90	c cleaning 15002 clauses out of 30003 with flag 274525/126000
6.63/5.62	c cleaning 16001 clauses out of 32001 with flag 311554/143000
7.54/6.54	c cleaning 16996 clauses out of 34001 with flag 350895/161001
8.44/7.41	c cleaning 18001 clauses out of 36006 with flag 392462/180002
9.45/8.44	c cleaning 18999 clauses out of 38003 with flag 436111/200000
10.45/9.47	c cleaning 20003 clauses out of 40005 with flag 481888/221001
11.84/10.82	c cleaning 21001 clauses out of 42002 with flag 529803/243001
13.34/12.35	c cleaning 22000 clauses out of 44000 with flag 579839/266000
14.74/13.72	c cleaning 23001 clauses out of 46002 with flag 632204/290002
16.14/15.14	c cleaning 23997 clauses out of 48000 with flag 686665/315001
17.73/16.79	c cleaning 24997 clauses out of 50002 with flag 743515/341000
19.43/18.50	c cleaning 26001 clauses out of 52006 with flag 802439/368001
21.33/20.30	c cleaning 27002 clauses out of 54004 with flag 863507/396000
23.33/22.39	c cleaning 28001 clauses out of 56002 with flag 926732/425000
25.32/24.38	c cleaning 28995 clauses out of 58001 with flag 992347/455000
27.62/26.61	c cleaning 30000 clauses out of 60008 with flag 1060048/486002
29.81/28.89	c cleaning 31000 clauses out of 62007 with flag 1129835/518001
32.41/31.40	c cleaning 32001 clauses out of 64006 with flag 1201786/551000
35.01/34.04	c cleaning 33000 clauses out of 66006 with flag 1275808/585001
38.03/37.03	c cleaning 33997 clauses out of 68005 with flag 1352093/620000
41.12/40.15	c cleaning 35002 clauses out of 70008 with flag 1430552/656000
44.61/43.64	c cleaning 36004 clauses out of 72007 with flag 1511473/693001
47.70/46.73	c cleaning 36997 clauses out of 74002 with flag 1594303/731000
50.89/50.00	c cleaning 38002 clauses out of 76006 with flag 1679543/770001
54.35/53.30	c cleaning 38997 clauses out of 78005 with flag 1766907/810002
58.15/57.15	c cleaning 39998 clauses out of 80006 with flag 1856293/851000
61.73/60.70	c cleaning 41004 clauses out of 82010 with flag 1947913/893002
65.82/64.80	c cleaning 42000 clauses out of 84004 with flag 2041788/936000
69.32/68.34	c cleaning 43002 clauses out of 86005 with flag 2137876/980001
73.44/72.43	c cleaning 44001 clauses out of 88002 with flag 2235962/1025000
77.73/76.72	c cleaning 44999 clauses out of 90002 with flag 2336424/1071001
82.52/81.53	c cleaning 45995 clauses out of 92002 with flag 2438842/1118000
86.91/85.91	c cleaning 46995 clauses out of 94008 with flag 2543581/1166001
91.84/90.83	c cleaning 48005 clauses out of 96013 with flag 2650550/1215001
96.53/95.59	c cleaning 49004 clauses out of 98007 with flag 2759516/1265000
101.13/100.14	c cleaning 50001 clauses out of 100003 with flag 2870859/1316000
106.31/105.37	c cleaning 50997 clauses out of 102002 with flag 2984367/1368000
112.14/111.17	c cleaning 52003 clauses out of 104006 with flag 3099909/1421001
118.13/117.19	c cleaning 52995 clauses out of 106003 with flag 3217683/1475001
123.41/122.41	c cleaning 54002 clauses out of 108007 with flag 3337870/1530000
129.31/128.39	c cleaning 55003 clauses out of 110006 with flag 3460077/1586001
135.22/134.24	c cleaning 55993 clauses out of 112003 with flag 3584318/1643001
141.41/140.45	c cleaning 57005 clauses out of 114009 with flag 3710777/1701000
148.10/147.16	c cleaning 58002 clauses out of 116004 with flag 3839483/1760000
154.58/153.63	c cleaning 58999 clauses out of 118002 with flag 3970162/1820000
161.97/161.02	c cleaning 59999 clauses out of 120003 with flag 4103150/1881000
172.85/171.92	c cleaning 60998 clauses out of 122006 with flag 4241948/1943002
186.26/185.17	c cleaning 61999 clauses out of 124007 with flag 4394164/2006001
201.92/200.87	c cleaning 62998 clauses out of 126007 with flag 4547634/2070000
212.89/211.83	c cleaning 64002 clauses out of 128011 with flag 4702040/2135002
226.51/225.49	c cleaning 65000 clauses out of 130007 with flag 4859563/2201000
245.47/244.45	c cleaning 65998 clauses out of 132007 with flag 5017227/2268000
256.15/255.17	c cleaning 67001 clauses out of 134009 with flag 5180294/2336000
265.35/264.37	c cleaning 68003 clauses out of 136009 with flag 5344641/2405001
279.41/278.41	c cleaning 68989 clauses out of 138006 with flag 5508510/2475001
294.61/293.68	c cleaning 70006 clauses out of 140018 with flag 5673454/2546002
312.46/311.52	c cleaning 71004 clauses out of 142010 with flag 5840407/2618000
331.12/330.29	c cleaning 72000 clauses out of 144006 with flag 6010532/2691000
345.38/344.55	c cleaning 72997 clauses out of 146006 with flag 6181382/2765000
371.23/370.45	c cleaning 74001 clauses out of 148009 with flag 6353350/2840000
396.07/395.33	c cleaning 74998 clauses out of 150009 with flag 6525922/2916001
406.95/406.20	c cleaning 76004 clauses out of 152010 with flag 6693865/2993000
415.22/414.51	c cleaning 77003 clauses out of 154006 with flag 6863793/3071000
432.53/431.84	c cleaning 77998 clauses out of 156003 with flag 7038594/3150000
451.70/451.03	c cleaning 79001 clauses out of 158005 with flag 7216731/3230000
476.13/475.50	c cleaning 79997 clauses out of 160004 with flag 7398464/3311000
504.96/504.44	c cleaning 81004 clauses out of 162007 with flag 7583008/3393000
526.47/525.91	c cleaning 81993 clauses out of 164003 with flag 7768031/3476000
537.24/536.74	c cleaning 83003 clauses out of 166011 with flag 7958695/3560001
562.97/562.53	c cleaning 84000 clauses out of 168007 with flag 8163424/3645000
586.61/586.26	c cleaning 84994 clauses out of 170007 with flag 8366393/3731000
596.85/596.43	c cleaning 86002 clauses out of 172013 with flag 8564216/3818000
610.31/609.93	c cleaning 86995 clauses out of 174012 with flag 8762822/3906001
617.40/617.02	c cleaning 88004 clauses out of 176016 with flag 8958475/3995000
632.75/632.42	c cleaning 89003 clauses out of 178013 with flag 9158601/4085001
642.17/641.86	c cleaning 90001 clauses out of 180010 with flag 9357428/4176001
664.71/664.41	c cleaning 90997 clauses out of 182008 with flag 9563261/4268000
686.66/686.41	c cleaning 91998 clauses out of 184012 with flag 9771513/4361001
699.83/699.66	c cleaning 93003 clauses out of 186013 with flag 9982380/4455000
710.40/710.29	c cleaning 94004 clauses out of 188010 with flag 10195882/4550000
729.86/729.75	c cleaning 95001 clauses out of 190007 with flag 10414242/4646001
748.40/748.38	c cleaning 95997 clauses out of 192005 with flag 10636292/4743000
770.31/770.25	c cleaning 97000 clauses out of 194009 with flag 10875225/4841001
794.25/794.21	c cleaning 98002 clauses out of 196008 with flag 11100511/4940000
809.92/809.98	c cleaning 98997 clauses out of 198006 with flag 11326351/5040000
824.28/824.32	c cleaning 100005 clauses out of 200010 with flag 11556661/5141001
837.14/837.28	c cleaning 101002 clauses out of 202005 with flag 11786084/5243001
850.21/850.31	c cleaning 101995 clauses out of 204002 with flag 12016541/5346000
863.37/863.57	c cleaning 103004 clauses out of 206007 with flag 12252541/5450000
881.84/881.92	c cleaning 103994 clauses out of 208003 with flag 12489439/5555000
910.86/911.10	c cleaning 105003 clauses out of 210009 with flag 12729307/5661000
948.66/948.92	c cleaning 105998 clauses out of 212007 with flag 12972288/5768001
982.88/983.29	c cleaning 107003 clauses out of 214008 with flag 13218508/5876000
998.04/998.45	c cleaning 108000 clauses out of 216007 with flag 13460280/5985002
1025.47/1025.91	c cleaning 108995 clauses out of 218007 with flag 13706921/6095002
1058.43/1058.53	c cleaning 109998 clauses out of 220010 with flag 13957645/6206000
1076.99/1077.13	c cleaning 111001 clauses out of 222012 with flag 14204789/6318000
1093.44/1093.66	c cleaning 112000 clauses out of 224012 with flag 14453077/6431001
1127.86/1128.20	c cleaning 113004 clauses out of 226011 with flag 14710341/6545000
1156.89/1157.25	c cleaning 113996 clauses out of 228008 with flag 14967721/6660001
1189.50/1189.96	c cleaning 115001 clauses out of 230011 with flag 15225275/6776000
1223.29/1223.79	c cleaning 116000 clauses out of 232010 with flag 15488617/6893000
1272.57/1273.10	c cleaning 117003 clauses out of 234010 with flag 15754565/7011000
1298.31/1298.91	c cleaning 118002 clauses out of 236009 with flag 16019528/7130002
1345.08/1345.89	c cleaning 118999 clauses out of 238005 with flag 16291496/7250000
1394.45/1395.38	c cleaning 119997 clauses out of 240007 with flag 16564116/7371001
1432.86/1433.86	c cleaning 120998 clauses out of 242010 with flag 16838111/7493001
1477.14/1478.11	c cleaning 122003 clauses out of 244012 with flag 17114593/7616001
1521.74/1522.84	c cleaning 122998 clauses out of 246009 with flag 17402127/7740001
1558.97/1560.13	c cleaning 124005 clauses out of 248011 with flag 17688939/7865001
1600.48/1601.71	c cleaning 124990 clauses out of 250006 with flag 17979752/7991001
1640.27/1641.62	c cleaning 125996 clauses out of 252016 with flag 18272973/8118001
1685.85/1687.30	c cleaning 127005 clauses out of 254020 with flag 18565992/8246001
1731.34/1732.94	c cleaning 128006 clauses out of 256014 with flag 18868272/8375000
1776.44/1778.04	c cleaning 129000 clauses out of 258008 with flag 19172385/8505000
1815.96/1817.60	c cleaning 130000 clauses out of 260008 with flag 19480480/8636000
1850.39/1852.19	c cleaning 130999 clauses out of 262008 with flag 19791203/8768000
1903.87/1905.73	c cleaning 131998 clauses out of 264010 with flag 20102608/8901001
1950.27/1952.26	c cleaning 132992 clauses out of 266011 with flag 20419261/9035000
1996.37/1998.35	c cleaning 134001 clauses out of 268019 with flag 20734060/9170000
2055.34/2057.46	c cleaning 135006 clauses out of 270020 with flag 21044765/9306002
2096.54/2098.77	c cleaning 136000 clauses out of 272012 with flag 21354953/9443000
2137.43/2139.79	c cleaning 137003 clauses out of 274013 with flag 21672816/9581001
2168.75/2171.19	c cleaning 137998 clauses out of 276010 with flag 21988924/9720001
2210.65/2213.15	c cleaning 139004 clauses out of 278012 with flag 22320329/9860001
2249.54/2252.00	c cleaning 139999 clauses out of 280009 with flag 22644428/10001002
2284.17/2286.71	c cleaning 140998 clauses out of 282008 with flag 22961646/10143000
2359.48/2362.26	c cleaning 141997 clauses out of 284010 with flag 23290411/10286000
2418.92/2421.86	c cleaning 143001 clauses out of 286013 with flag 23613642/10430000
2471.99/2475.07	c cleaning 144001 clauses out of 288012 with flag 23941146/10575000
2543.00/2546.28	c cleaning 145000 clauses out of 290011 with flag 24271376/10721000
2583.11/2586.43	c cleaning 146002 clauses out of 292011 with flag 24609704/10868000
2602.75/2606.17	c cleaning 147001 clauses out of 294009 with flag 24937223/11016000
2629.59/2633.03	c cleaning 147998 clauses out of 296008 with flag 25269812/11165000
2656.91/2660.48	c cleaning 149004 clauses out of 298010 with flag 25606004/11315000
2697.60/2701.20	c cleaning 149998 clauses out of 300006 with flag 25956024/11466000
2742.39/2746.15	c cleaning 150995 clauses out of 302008 with flag 26306370/11618000
2765.23/2769.10	c cleaning 151999 clauses out of 304013 with flag 26639576/11771000
2784.57/2788.43	c cleaning 153005 clauses out of 306014 with flag 26975194/11925000
2806.98/2810.77	c cleaning 154000 clauses out of 308009 with flag 27313104/12080000
2828.53/2832.38	c cleaning 154996 clauses out of 310009 with flag 27653598/12236000
2852.58/2856.49	c cleaning 156007 clauses out of 312015 with flag 27996072/12393002
2877.94/2881.89	c cleaning 156997 clauses out of 314006 with flag 28340902/12551000
2904.78/2908.76	c cleaning 158003 clauses out of 316009 with flag 28687954/12710000
2934.32/2937.89	c cleaning 159004 clauses out of 318007 with flag 29037378/12870001
2959.37/2962.95	c cleaning 159996 clauses out of 320004 with flag 29387684/13031002
2988.61/2992.26	c cleaning 160995 clauses out of 322007 with flag 29741035/13193001
3016.64/3020.38	c cleaning 161998 clauses out of 324012 with flag 30096478/13356001
3046.79/3050.53	c cleaning 163001 clauses out of 326013 with flag 30454711/13520000
3075.72/3079.53	c cleaning 164004 clauses out of 328013 with flag 30814458/13685001
3110.06/3113.96	c cleaning 164995 clauses out of 330008 with flag 31176505/13851000
3146.67/3150.51	c cleaning 165999 clauses out of 332013 with flag 31540820/14018000
3180.90/3184.88	c cleaning 167002 clauses out of 334015 with flag 31907786/14186001
3211.53/3215.56	c cleaning 168002 clauses out of 336012 with flag 32276360/14355000
3240.68/3244.74	c cleaning 168999 clauses out of 338010 with flag 32647214/14525000
3273.20/3277.38	c cleaning 169996 clauses out of 340012 with flag 33019958/14696001
3307.53/3311.75	c cleaning 171007 clauses out of 342016 with flag 33395455/14868001
3346.66/3350.97	c cleaning 172004 clauses out of 344009 with flag 33773084/15041001
3407.83/3412.29	c cleaning 172988 clauses out of 346004 with flag 34164636/15215000
3497.25/3501.85	c cleaning 174002 clauses out of 348017 with flag 34562959/15390001
3557.93/3562.66	c cleaning 175004 clauses out of 350014 with flag 34956413/15566000
3600.03/3604.81	c timeout
3600.03/3604.82	c starts		: 6905
3600.03/3604.82	c conflicts		: 15724283
3600.03/3604.82	c decisions		: 16984696
3600.03/3604.82	c propagations		: 165623873
3600.03/3604.82	c inspects		: 33589732081
3600.03/3604.82	c shortcuts		: 0
3600.03/3604.82	c learnt literals	: 0
3600.03/3604.82	c learnt binary clauses	: 0
3600.03/3604.82	c learnt ternary clauses	: 0
3600.03/3604.82	c learnt constraints	: 15724283
3600.03/3604.82	c ignored constraints	: 0
3600.03/3604.82	c root simplifications	: 0
3600.03/3604.82	c removed literals (reason simplification)	: 214933563
3600.03/3604.82	c reason swapping (by a shorter reason)	: 0
3600.03/3604.82	c Calls to reduceDB	: 172
3600.03/3604.82	c Number of update (reduction) of LBD	: 270666
3600.03/3604.82	c Imported unit clauses	: 0
3600.03/3604.82	c No decision after first conflict	: false
3600.03/3604.82	c number of reductions to clauses (during analyze)	: 0
3600.03/3604.82	c number of learned constraints concerned by reduction	: 0
3600.03/3604.82	c number of learning phase by resolution	: 0
3600.03/3604.82	c number of learning phase by cutting planes	: 0
3600.03/3604.82	c number of rounding to 1 operations	: 0
3600.03/3604.82	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3604.83	c number of reductions of the coefficients by power 2 	: 0
3600.03/3604.83	c number of right shift for reduction by power 2 	: 0
3600.03/3604.83	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3604.83	c number of ending skipping 	: 0
3600.03/3604.83	c number of internal skipping 	: 0
3600.03/3604.83	c number of derivation steps 	: 0
3600.03/3604.83	c number of skipped derivation steps 	: 0
3600.03/3604.83	c number of remaining unassigned 	: 0
3600.03/3604.83	c number of remaining assigned 	: 0
3600.03/3604.83	c number of falsified literals weakened from reason	: 0
3600.03/3604.83	c number of falsified literals weakened from conflict	: 0
3600.03/3604.83	c time for arithmetic operations	: 0
3600.03/3604.83	c minimum degree of deleted constraints	: null
3600.03/3604.83	c maximum degree of deleted constraints	: null
3600.03/3604.83	c number of deleted constraints	: 0
3600.03/3604.83	c speed (assignments/second)	: 45947.06612289013
3600.03/3604.83	c non guided choices	: 50
3600.03/3604.89	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 333293
3600.03/3604.89	s UNKNOWN
3600.03/3604.89	c Total wall clock time (in seconds): 3604.747

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: 63708 MiB (58154 MiB free)
  memory of node 1: 64465 MiB (59607 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4516362-1751239481/watcher-4516362-1751239481 -o /tmp/evaluation-result-4516362-1751239481/solver-4516362-1751239481 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751232650-31771 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4516362-1751239481.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=32915, runsolver pid=32912
Current StackSize limit: 8192 KiB


[startup+0.100061 s]*
/proc/loadavg: 4.17 4.15 4.17 5/338 32933
/proc/meminfo: memFree=120565360/131249988 swapFree=33010684/33010684
[pid=32915] ppid=32912 vsize=18930384 memory=55688 CPUtime=0.13 cores=1,3
/proc/32915/stat : 32915 (java) S 32912 32915 31759 0 -1 4194304 6550 0 0 0 11 2 0 0 20 0 18 0 39625699 19384713216 13922 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
/proc/32915/statm: 4732596 13922 5369 1 0 547603 0
[pid=32915/tid=32917] ppid=32912 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/32915/task/32917/stat : 32917 (java) R 32912 32915 31759 0 -1 4194368 5047 0 0 0 6 1 0 0 20 0 18 0 39625701 19384713216 13922 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
[pid=32915/tid=32926] ppid=32912 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/32915/task/32926/stat : 32926 (Finalizer) S 32912 32915 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39625703 19384713216 13922 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
[pid=32915/tid=32933] ppid=32912 vsize=18930384 memory=55186957824150 CPUtime=0 cores=1,3
/proc/32915/task/32933/stat : 32933 (Common-Cleaner) S 32912 32915 31759 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39625703 19384713216 13922 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55688 KiB

[startup+0.20582 s]*
/proc/loadavg: 4.17 4.15 4.17 7/339 32934
/proc/meminfo: memFree=120556160/131249988 swapFree=33010684/33010684
[pid=32915] ppid=32912 vsize=18996948 memory=60828 CPUtime=0.31 cores=1,3
/proc/32915/stat : 32915 (java) S 32912 32915 31759 0 -1 4194304 7484 0 0 0 29 2 0 0 20 0 19 0 39625699 19452874752 15207 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
/proc/32915/statm: 4749237 15207 5433 1 0 548453 0
[pid=32915/tid=32917] ppid=32912 vsize=18996948 memory=4026597660 CPUtime=0.16 cores=1,3
/proc/32915/task/32917/stat : 32917 (java) R 32912 32915 31759 0 -1 4194368 5279 0 0 0 15 1 0 0 20 0 19 0 39625701 19452874752 15207 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
[pid=32915/tid=32926] ppid=32912 vsize=18996948 memory=17146 CPUtime=0 cores=1,3
/proc/32915/task/32926/stat : 32926 (Finalizer) S 32912 32915 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39625703 19452874752 15207 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
[pid=32915/tid=32933] ppid=32912 vsize=18996948 memory=54087446168546 CPUtime=0 cores=1,3
/proc/32915/task/32933/stat : 32933 (Common-Cleaner) S 32912 32915 31759 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39625703 19452874752 15207 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
[pid=32915/tid=32934] ppid=32912 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/32915/task/32934/stat : 32934 (Timer-0) S 32912 32915 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39625716 19452874752 15207 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 60828 KiB

[startup+0.305804 s]*
/proc/loadavg: 4.17 4.15 4.17 6/339 32934
/proc/meminfo: memFree=120545512/131249988 swapFree=33010684/33010684
[pid=32915] ppid=32912 vsize=18996948 memory=69236 CPUtime=0.5 cores=1,3
/proc/32915/stat : 32915 (java) S 32912 32915 31759 0 -1 4194304 10214 0 0 0 47 3 0 0 20 0 19 0 39625699 19452874752 17309 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
/proc/32915/statm: 4749237 17309 5433 1 0 550044 0
[pid=32915/tid=32917] ppid=32912 vsize=18996948 memory=-6000919498543164012 CPUtime=0.25 cores=1,3
/proc/32915/task/32917/stat : 32917 (java) R 32912 32915 31759 0 -1 4194368 5287 0 0 0 24 1 0 0 20 0 19 0 39625701 19452874752 17309 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
[pid=32915/tid=32926] ppid=32912 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/32915/task/32926/stat : 32926 (Finalizer) S 32912 32915 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39625703 19452874752 17309 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
[pid=32915/tid=32933] ppid=32912 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/32915/task/32933/stat : 32933 (Common-Cleaner) S 32912 32915 31759 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39625703 19452874752 17309 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
[pid=32915/tid=32934] ppid=32912 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/32915/task/32934/stat : 32934 (Timer-0) S 32912 32915 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39625716 19452874752 17309 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 69236 KiB

[startup+0.700242 s]
/proc/loadavg: 4.17 4.15 4.17 6/339 32934
/proc/meminfo: memFree=120538140/131249988 swapFree=33010684/33010684
[pid=32915] ppid=32912 vsize=18996948 memory=80996 CPUtime=1.27 cores=1,3
/proc/32915/stat : 32915 (java) S 32912 32915 31759 0 -1 4194304 12342 0 0 0 123 4 0 0 20 0 19 0 39625699 19452874752 20249 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
/proc/32915/statm: 4749237 20249 5433 1 0 551305 0
[pid=32915/tid=32917] ppid=32912 vsize=18996948 memory=17536 CPUtime=0.63 cores=1,3
/proc/32915/task/32917/stat : 32917 (java) R 32912 32915 31759 0 -1 4194368 5348 0 0 0 61 2 0 0 20 0 19 0 39625701 19452874752 20249 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
[pid=32915/tid=32926] ppid=32912 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/32915/task/32926/stat : 32926 (Finalizer) S 32912 32915 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39625703 19452874752 20249 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
[pid=32915/tid=32933] ppid=32912 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/32915/task/32933/stat : 32933 (Common-Cleaner) S 32912 32915 31759 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39625703 19452874752 20249 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
[pid=32915/tid=32934] ppid=32912 vsize=18996948 memory=4760 CPUtime=0 cores=1,3
/proc/32915/task/32934/stat : 32934 (Timer-0) S 32912 32915 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39625716 19452874752 20249 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 80996 KiB

[startup+1.50024 s]
/proc/loadavg: 4.17 4.15 4.17 6/339 32934
/proc/meminfo: memFree=120516464/131249988 swapFree=33010684/33010684
[pid=32915] ppid=32912 vsize=18996948 memory=95668 CPUtime=2.41 cores=1,3
/proc/32915/stat : 32915 (java) S 32912 32915 31759 0 -1 4194304 13763 0 0 0 237 4 0 0 20 0 19 0 39625699 19452874752 23917 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
/proc/32915/statm: 4749237 23917 5433 1 0 551307 0
[pid=32915/tid=32917] ppid=32912 vsize=18996948 memory=0 CPUtime=1.42 cores=1,3
/proc/32915/task/32917/stat : 32917 (java) R 32912 32915 31759 0 -1 4194368 5713 0 0 0 140 2 0 0 20 0 19 0 39625701 19452874752 23917 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
[pid=32915/tid=32926] ppid=32912 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/32915/task/32926/stat : 32926 (Finalizer) S 32912 32915 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39625703 19452874752 23917 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
[pid=32915/tid=32933] ppid=32912 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/32915/task/32933/stat : 32933 (Common-Cleaner) S 32912 32915 31759 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39625703 19452874752 23917 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
[pid=32915/tid=32934] ppid=32912 vsize=18996948 memory=4760 CPUtime=0 cores=1,3
/proc/32915/task/32934/stat : 32934 (Timer-0) S 32912 32915 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39625716 19452874752 23917 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
Current children cumulated CPU time: 2.41 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 95668 KiB

[startup+3.10566 s]
/proc/loadavg: 4.16 4.14 4.16 5/339 32934
/proc/meminfo: memFree=120471552/131249988 swapFree=33010684/33010684
[pid=32915] ppid=32912 vsize=18996948 memory=114228 CPUtime=4.1 cores=1,3
/proc/32915/stat : 32915 (java) S 32912 32915 31759 0 -1 4194304 16693 0 0 0 405 5 0 0 20 0 19 0 39625699 19452874752 28557 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
/proc/32915/statm: 4749237 28557 5433 1 0 551308 0
[pid=32915/tid=32917] ppid=32912 vsize=18996948 memory=10752 CPUtime=3.02 cores=1,3
/proc/32915/task/32917/stat : 32917 (java) R 32912 32915 31759 0 -1 4194368 5992 0 0 0 300 2 0 0 20 0 19 0 39625701 19452874752 28557 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
[pid=32915/tid=32926] ppid=32912 vsize=18996948 memory=-6000919498543164012 CPUtime=0 cores=1,3
/proc/32915/task/32926/stat : 32926 (Finalizer) S 32912 32915 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39625703 19452874752 28557 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
[pid=32915/tid=32933] ppid=32912 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/32915/task/32933/stat : 32933 (Common-Cleaner) S 32912 32915 31759 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39625703 19452874752 28557 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
[pid=32915/tid=32934] ppid=32912 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/32915/task/32934/stat : 32934 (Timer-0) S 32912 32915 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39625716 19452874752 28557 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
Current children cumulated CPU time: 4.1 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 114228 KiB

[startup+6.3002 s]
/proc/loadavg: 4.16 4.14 4.16 5/339 32934
/proc/meminfo: memFree=120414416/131249988 swapFree=33010684/33010684
[pid=32915] ppid=32912 vsize=18996948 memory=142668 CPUtime=7.34 cores=1,3
/proc/32915/stat : 32915 (java) S 32912 32915 31759 0 -1 4194304 19880 0 0 0 728 6 0 0 20 0 19 0 39625699 19452874752 35667 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
/proc/32915/statm: 4749237 35667 5433 1 0 551309 0
[pid=32915/tid=32917] ppid=32912 vsize=18996948 memory=0 CPUtime=6.21 cores=1,3
/proc/32915/task/32917/stat : 32917 (java) R 32912 32915 31759 0 -1 4194368 6612 0 0 0 618 3 0 0 20 0 19 0 39625701 19452874752 35667 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
[pid=32915/tid=32926] ppid=32912 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/32915/task/32926/stat : 32926 (Finalizer) S 32912 32915 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39625703 19452874752 35667 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
[pid=32915/tid=32933] ppid=32912 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/32915/task/32933/stat : 32933 (Common-Cleaner) S 32912 32915 31759 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39625703 19452874752 35667 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
[pid=32915/tid=32934] ppid=32912 vsize=18996948 memory=95668 CPUtime=0 cores=1,3
/proc/32915/task/32934/stat : 32934 (Timer-0) S 32912 32915 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 39625716 19452874752 35667 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
Current children cumulated CPU time: 7.34 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 142668 KiB

[startup+12.7002 s]
/proc/loadavg: 4.15 4.14 4.16 5/340 32935
/proc/meminfo: memFree=120344784/131249988 swapFree=33010684/33010684
[pid=32915] ppid=32912 vsize=19063512 memory=176056 CPUtime=13.74 cores=1,3
/proc/32915/stat : 32915 (java) S 32912 32915 31759 0 -1 4194304 21894 0 0 0 1367 7 0 0 20 0 20 0 39625699 19521036288 44014 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
/proc/32915/statm: 4765878 44014 5497 1 0 551598 0
[pid=32915/tid=32917] ppid=32912 vsize=19063512 memory=95668 CPUtime=12.58 cores=1,3
/proc/32915/task/32917/stat : 32917 (java) R 32912 32915 31759 0 -1 4194368 7171 0 0 0 1254 4 0 0 20 0 20 0 39625701 19521036288 44014 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
[pid=32915/tid=32926] ppid=32912 vsize=19063512 memory=176056 CPUtime=0 cores=1,3
/proc/32915/task/32926/stat : 32926 (Finalizer) S 32912 32915 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39625703 19521036288 44014 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
[pid=32915/tid=32933] ppid=32912 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/32915/task/32933/stat : 32933 (Common-Cleaner) S 32912 32915 31759 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 39625703 19521036288 44014 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
[pid=32915/tid=32934] ppid=32912 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/32915/task/32934/stat : 32934 (Timer-0) S 32912 32915 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39625716 19521036288 44014 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
Current children cumulated CPU time: 13.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 176056 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.13 4.16 5/340 32935
/proc/meminfo: memFree=120279248/131249988 swapFree=33010684/33010684
[pid=32915] ppid=32912 vsize=19063512 memory=182252 CPUtime=26.52 cores=1,3
/proc/32915/stat : 32915 (java) S 32912 32915 31759 0 -1 4194304 22759 0 0 0 2644 8 0 0 20 0 20 0 39625699 19521036288 45563 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
/proc/32915/statm: 4765878 45563 5497 1 0 551598 0
[pid=32915/tid=32917] ppid=32912 vsize=19063512 memory=176056 CPUtime=25.33 cores=1,3
/proc/32915/task/32917/stat : 32917 (java) R 32912 32915 31759 0 -1 4194368 7533 0 0 0 2529 4 0 0 20 0 20 0 39625701 19521036288 45563 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
[pid=32915/tid=32926] ppid=32912 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/32915/task/32926/stat : 32926 (Finalizer) S 32912 32915 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39625703 19521036288 45563 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
[pid=32915/tid=32933] ppid=32912 vsize=19063512 memory=182252 CPUtime=0 cores=1,3
/proc/32915/task/32933/stat : 32933 (Common-Cleaner) S 32912 32915 31759 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 39625703 19521036288 45563 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
[pid=32915/tid=32934] ppid=32912 vsize=19063512 memory=17536 CPUtime=0 cores=1,3
/proc/32915/task/32934/stat : 32934 (Timer-0) S 32912 32915 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39625716 19521036288 45563 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
Current children cumulated CPU time: 26.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 182252 KiB

[startup+51.1058 s]
/proc/loadavg: 4.15 4.14 4.16 5/340 32935
/proc/meminfo: memFree=120213728/131249988 swapFree=33010684/33010684
[pid=32915] ppid=32912 vsize=19063512 memory=211160 CPUtime=52.1 cores=1,3
/proc/32915/stat : 32915 (java) S 32912 32915 31759 0 -1 4194304 23348 0 0 0 5201 9 0 0 20 0 20 0 39625699 19521036288 52790 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
/proc/32915/statm: 4765878 52790 5497 1 0 551598 0
[pid=32915/tid=32917] ppid=32912 vsize=19063512 memory=182252 CPUtime=50.84 cores=1,3

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

/proc/meminfo: memFree=121040736/131249988 swapFree=33010684/33010684
[pid=32915] ppid=32912 vsize=19063512 memory=2160208 CPUtime=3218.32 cores=1,3
/proc/32915/stat : 32915 (java) S 32912 32915 31759 0 -1 4194304 61943 0 0 0 321731 101 0 0 20 0 20 0 39625699 19521036288 540052 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
/proc/32915/statm: 4765878 540052 5529 1 0 554592 0
[pid=32915/tid=32917] ppid=32912 vsize=19063512 memory=2160208 CPUtime=3211.83 cores=1,3
/proc/32915/task/32917/stat : 32917 (java) R 32912 32915 31759 0 -1 4194368 23262 0 0 0 321167 16 0 0 20 0 20 0 39625701 19521036288 540052 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
[pid=32915/tid=32926] ppid=32912 vsize=19063512 memory=2160208 CPUtime=0 cores=1,3
/proc/32915/task/32926/stat : 32926 (Finalizer) S 32912 32915 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39625703 19521036288 540052 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
[pid=32915/tid=32933] ppid=32912 vsize=19063512 memory=2160208 CPUtime=0 cores=1,3
/proc/32915/task/32933/stat : 32933 (Common-Cleaner) S 32912 32915 31759 0 -1 4194368 850 0 0 0 0 0 0 0 20 0 20 0 39625703 19521036288 540052 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
[pid=32915/tid=32934] ppid=32912 vsize=19063512 memory=2160208 CPUtime=0 cores=1,3
/proc/32915/task/32934/stat : 32934 (Timer-0) S 32912 32915 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39625716 19521036288 540052 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
Current children cumulated CPU time: 3218.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2160208 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/340 33436
/proc/meminfo: memFree=121045136/131249988 swapFree=33010684/33010684
[pid=32915] ppid=32912 vsize=19063512 memory=2160208 CPUtime=3278.2 cores=1,3
/proc/32915/stat : 32915 (java) S 32912 32915 31759 0 -1 4194304 62199 0 0 0 327717 103 0 0 20 0 20 0 39625699 19521036288 540052 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
/proc/32915/statm: 4765878 540052 5529 1 0 554592 0
[pid=32915/tid=32917] ppid=32912 vsize=19063512 memory=2160208 CPUtime=3271.69 cores=1,3
/proc/32915/task/32917/stat : 32917 (java) R 32912 32915 31759 0 -1 4194368 23513 0 0 0 327153 16 0 0 20 0 20 0 39625701 19521036288 540052 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
[pid=32915/tid=32926] ppid=32912 vsize=19063512 memory=2160208 CPUtime=0 cores=1,3
/proc/32915/task/32926/stat : 32926 (Finalizer) S 32912 32915 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39625703 19521036288 540052 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
[pid=32915/tid=32933] ppid=32912 vsize=19063512 memory=2160208 CPUtime=0 cores=1,3
/proc/32915/task/32933/stat : 32933 (Common-Cleaner) S 32912 32915 31759 0 -1 4194368 850 0 0 0 0 0 0 0 20 0 20 0 39625703 19521036288 540052 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
[pid=32915/tid=32934] ppid=32912 vsize=19063512 memory=28544 CPUtime=0 cores=1,3
/proc/32915/task/32934/stat : 32934 (Timer-0) S 32912 32915 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39625716 19521036288 540052 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
Current children cumulated CPU time: 3278.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2160208 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/340 33441
/proc/meminfo: memFree=121047004/131249988 swapFree=33010684/33010684
[pid=32915] ppid=32912 vsize=19063512 memory=2160208 CPUtime=3338.08 cores=1,3
/proc/32915/stat : 32915 (java) S 32912 32915 31759 0 -1 4194304 63023 0 0 0 333704 104 0 0 20 0 20 0 39625699 19521036288 540052 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
/proc/32915/statm: 4765878 540052 5529 1 0 554592 0
[pid=32915/tid=32917] ppid=32912 vsize=19063512 memory=4760 CPUtime=3331.54 cores=1,3
/proc/32915/task/32917/stat : 32917 (java) R 32912 32915 31759 0 -1 4194368 24221 0 0 0 333138 16 0 0 20 0 20 0 39625701 19521036288 540052 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
[pid=32915/tid=32926] ppid=32912 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/32915/task/32926/stat : 32926 (Finalizer) S 32912 32915 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39625703 19521036288 540052 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
[pid=32915/tid=32933] ppid=32912 vsize=19063512 memory=2160208 CPUtime=0 cores=1,3
/proc/32915/task/32933/stat : 32933 (Common-Cleaner) S 32912 32915 31759 0 -1 4194368 949 0 0 0 0 0 0 0 20 0 20 0 39625703 19521036288 540052 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
[pid=32915/tid=32934] ppid=32912 vsize=19063512 memory=2160208 CPUtime=0 cores=1,3
/proc/32915/task/32934/stat : 32934 (Timer-0) S 32912 32915 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39625716 19521036288 540052 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
Current children cumulated CPU time: 3338.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2160208 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/341 33446
/proc/meminfo: memFree=121059312/131249988 swapFree=33010684/33010684
[pid=32915] ppid=32912 vsize=19063512 memory=2160208 CPUtime=3397.95 cores=1,3
/proc/32915/stat : 32915 (java) S 32912 32915 31759 0 -1 4194304 63521 0 0 0 339690 105 0 0 20 0 20 0 39625699 19521036288 540052 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
/proc/32915/statm: 4765878 540052 5529 1 0 554592 0
[pid=32915/tid=32917] ppid=32912 vsize=19063512 memory=2160208 CPUtime=3391.4 cores=1,3
/proc/32915/task/32917/stat : 32917 (java) R 32912 32915 31759 0 -1 4194368 24598 0 0 0 339124 16 0 0 20 0 20 0 39625701 19521036288 540052 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
[pid=32915/tid=32926] ppid=32912 vsize=19063512 memory=2160208 CPUtime=0 cores=1,3
/proc/32915/task/32926/stat : 32926 (Finalizer) S 32912 32915 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39625703 19521036288 540052 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
[pid=32915/tid=32933] ppid=32912 vsize=19063512 memory=2160208 CPUtime=0 cores=1,3
/proc/32915/task/32933/stat : 32933 (Common-Cleaner) S 32912 32915 31759 0 -1 4194368 1047 0 0 0 0 0 0 0 20 0 20 0 39625703 19521036288 540052 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
[pid=32915/tid=32934] ppid=32912 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/32915/task/32934/stat : 32934 (Timer-0) S 32912 32915 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39625716 19521036288 540052 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
Current children cumulated CPU time: 3397.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2160208 KiB

[startup+3462.3 s]
/proc/loadavg: 4.24 4.12 4.10 5/342 33451
/proc/meminfo: memFree=121059184/131249988 swapFree=33010684/33010684
[pid=32915] ppid=32912 vsize=19063512 memory=2160208 CPUtime=3457.82 cores=1,3
/proc/32915/stat : 32915 (java) S 32912 32915 31759 0 -1 4194304 63780 0 0 0 345676 106 0 0 20 0 20 0 39625699 19521036288 540052 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
/proc/32915/statm: 4765878 540052 5529 1 0 554595 0
[pid=32915/tid=32917] ppid=32912 vsize=19063512 memory=2160208 CPUtime=3451.25 cores=1,3
/proc/32915/task/32917/stat : 32917 (java) R 32912 32915 31759 0 -1 4194368 24852 0 0 0 345109 16 0 0 20 0 20 0 39625701 19521036288 540052 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
[pid=32915/tid=32926] ppid=32912 vsize=19063512 memory=17536 CPUtime=0 cores=1,3
/proc/32915/task/32926/stat : 32926 (Finalizer) S 32912 32915 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39625703 19521036288 540052 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
[pid=32915/tid=32933] ppid=32912 vsize=19063512 memory=2160208 CPUtime=0 cores=1,3
/proc/32915/task/32933/stat : 32933 (Common-Cleaner) S 32912 32915 31759 0 -1 4194368 1047 0 0 0 0 0 0 0 20 0 20 0 39625703 19521036288 540052 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
[pid=32915/tid=32934] ppid=32912 vsize=19063512 memory=164 CPUtime=0 cores=1,3
/proc/32915/task/32934/stat : 32934 (Timer-0) S 32912 32915 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39625716 19521036288 540052 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
Current children cumulated CPU time: 3457.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2160208 KiB

[startup+3522.3 s]
/proc/loadavg: 4.28 4.17 4.12 5/342 33453
/proc/meminfo: memFree=121059224/131249988 swapFree=33010684/33010684
[pid=32915] ppid=32912 vsize=19063512 memory=2160208 CPUtime=3517.7 cores=1,3
/proc/32915/stat : 32915 (java) S 32912 32915 31759 0 -1 4194304 64402 0 0 0 351663 107 0 0 20 0 20 0 39625699 19521036288 540052 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
/proc/32915/statm: 4765878 540052 5529 1 0 554600 0
[pid=32915/tid=32917] ppid=32912 vsize=19063512 memory=14848 CPUtime=3511.11 cores=1,3
/proc/32915/task/32917/stat : 32917 (java) R 32912 32915 31759 0 -1 4194368 25447 0 0 0 351095 16 0 0 20 0 20 0 39625701 19521036288 540052 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
[pid=32915/tid=32926] ppid=32912 vsize=19063512 memory=2160208 CPUtime=0 cores=1,3
/proc/32915/task/32926/stat : 32926 (Finalizer) S 32912 32915 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39625703 19521036288 540052 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
[pid=32915/tid=32933] ppid=32912 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/32915/task/32933/stat : 32933 (Common-Cleaner) S 32912 32915 31759 0 -1 4194368 1047 0 0 0 0 0 0 0 20 0 20 0 39625703 19521036288 540052 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
[pid=32915/tid=32934] ppid=32912 vsize=19063512 memory=-6000919498543164012 CPUtime=0 cores=1,3
/proc/32915/task/32934/stat : 32934 (Timer-0) S 32912 32915 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39625716 19521036288 540052 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
Current children cumulated CPU time: 3517.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2160208 KiB

[startup+3582.3 s]
/proc/loadavg: 4.21 4.16 4.12 5/342 33455
/proc/meminfo: memFree=121058836/131249988 swapFree=33010684/33010684
[pid=32915] ppid=32912 vsize=19063512 memory=2160208 CPUtime=3577.59 cores=1,3
/proc/32915/stat : 32915 (java) S 32912 32915 31759 0 -1 4194304 65371 0 0 0 357650 109 0 0 20 0 20 0 39625699 19521036288 540052 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
/proc/32915/statm: 4765878 540052 5529 1 0 554603 0
[pid=32915/tid=32917] ppid=32912 vsize=19063512 memory=17536 CPUtime=3570.97 cores=1,3
/proc/32915/task/32917/stat : 32917 (java) R 32912 32915 31759 0 -1 4194368 26291 0 0 0 357081 16 0 0 20 0 20 0 39625701 19521036288 540052 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
[pid=32915/tid=32926] ppid=32912 vsize=19063512 memory=2160208 CPUtime=0 cores=1,3
/proc/32915/task/32926/stat : 32926 (Finalizer) S 32912 32915 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39625703 19521036288 540052 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
[pid=32915/tid=32933] ppid=32912 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/32915/task/32933/stat : 32933 (Common-Cleaner) S 32912 32915 31759 0 -1 4194368 1144 0 0 0 0 0 0 0 20 0 20 0 39625703 19521036288 540052 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
[pid=32915/tid=32934] ppid=32912 vsize=19063512 memory=2160208 CPUtime=0 cores=1,3
/proc/32915/task/32934/stat : 32934 (Timer-0) S 32912 32915 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39625716 19521036288 540052 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
Current children cumulated CPU time: 3577.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2160208 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3604.8 s]
/proc/loadavg: 4.14 4.15 4.11 5/342 33456
/proc/meminfo: memFree=121059652/131249988 swapFree=33010684/33010684
[pid=32915] ppid=32912 vsize=19063512 memory=2160208 CPUtime=3600.03 cores=1,3
/proc/32915/stat : 32915 (java) S 32912 32915 31759 0 -1 4194304 65432 0 0 0 359894 109 0 0 20 0 20 0 39625699 19521036288 540052 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
/proc/32915/statm: 4765878 540052 5529 1 0 554603 0
[pid=32915/tid=32917] ppid=32912 vsize=19063512 memory=-6000919498543164012 CPUtime=3593.42 cores=1,3
/proc/32915/task/32917/stat : 32917 (java) R 32912 32915 31759 0 -1 4194368 26348 0 0 0 359326 16 0 0 20 0 20 0 39625701 19521036288 540052 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
[pid=32915/tid=32926] ppid=32912 vsize=19063512 memory=-6000919498543164012 CPUtime=0 cores=1,3
/proc/32915/task/32926/stat : 32926 (Finalizer) S 32912 32915 31759 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39625703 19521036288 540052 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
[pid=32915/tid=32933] ppid=32912 vsize=19063512 memory=2160208 CPUtime=0 cores=1,3
/proc/32915/task/32933/stat : 32933 (Common-Cleaner) S 32912 32915 31759 0 -1 4194368 1144 0 0 0 0 0 0 0 20 0 20 0 39625703 19521036288 540052 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
[pid=32915/tid=32934] ppid=32912 vsize=19063512 memory=-6000919498543164012 CPUtime=0 cores=1,3
/proc/32915/task/32934/stat : 32934 (Timer-0) S 32912 32915 31759 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39625716 19521036288 540052 18446744073709551615 94631031558144 94631031561840 140729241860416 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94631031569656 94631031570448 94631050366976 140729241868673 140729241868774 140729241868774 140729241874376 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2160208 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.08 s, system=1.10662 s

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

Child status: 143

Real time (s): 3604.9
CPU time (s): 3600.18
CPU user time (s): 3599.08
CPU system time (s): 1.10662
CPU usage (%): 99.869
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2160208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.08
system time used= 1.10662
maximum resident set size= 2161104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67685
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103451
involuntary context switches= 5740


# summary of solver processes directly reported to runsolver:
#   pid: 32915
#   total CPU time (s): 3600.18
#   total CPU user time (s): 3599.08
#   total CPU system time (s): 1.10662

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.34503 second user time and 16.394 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2025-06-30 01:24:41
IDJOB=4516362
IDBENCH=170931
IDSOLVER=3363
FILE ID=nodeC020/4516362-1751239481
RUNJOBID= nodeC020-1751232650-31771
SLURM_JOB_ID= 9587710
Free space on /tmp= 433060 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/vertex-cover/noverticaledges-v1/normalized-grid4_27.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4516362-1751239481/watcher-4516362-1751239481 -o /tmp/evaluation-result-4516362-1751239481/solver-4516362-1751239481 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751232650-31771 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4516362-1751239481.opb

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

MD5SUM BENCH= d84e5b0859c720120d753ed5df1f0f9f
RANDOM SEED=841439475

nodeC020 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.892
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
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		: 3600.011
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
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		: 3599.563
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
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		: 3603.250
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
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		: 3599.893
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
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		: 3599.879
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
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		: 3597.290
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
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		: 3599.912
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        120587976 kB
MemAvailable:   120702232 kB
Buffers:            3280 kB
Cached:           920580 kB
SwapCached:            0 kB
Active:          9461248 kB
Inactive:         613280 kB
Active(anon):    9168724 kB
Inactive(anon):        0 kB
Active(file):     292524 kB
Inactive(file):   613280 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               752 kB
Writeback:             0 kB
AnonPages:       9153112 kB
Mapped:           122628 kB
Shmem:             18056 kB
KReclaimable:      95384 kB
Slab:             182568 kB
SReclaimable:      95384 kB
SUnreclaim:        87184 kB
KernelStack:        5232 kB
PageTables:        21504 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:   10669116 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151480 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   8902656 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433060 MiB
End job on nodeC020 at 2025-06-30 02:24:46