Trace number 4516363

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 VeriPB 2025-06-06? (TO) 3600.23 3610.91

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.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.14	c Pseudo Boolean Optimization by upper bound
0.12/0.14	c --- Begin Solver configuration ---
0.12/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.14	c Learn all clauses as in MiniSAT
0.12/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.14	c Expensive reason simplification
0.12/0.14	c Glucose 2.1 dynamic restart strategy
0.12/0.14	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.14	c timeout=2147483s
0.12/0.14	c DB Simplification allowed=false
0.12/0.14	c Listener: none
0.12/0.14	c --- End Solver configuration ---
0.12/0.14	c solving HOME/instance-4516363-1751238419.opb
0.12/0.14	c reading problem ... 
0.12/0.14	c using VERIPB proof format
0.12/0.14	c  no objective function found
0.12/0.16	c ... done. Wall clock time 0.019s.
0.12/0.16	c declared #vars     108
0.12/0.16	c #constraints  109
0.12/0.16	c constraints type 
0.12/0.16	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 108
0.12/0.16	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
0.12/0.16	c 109 constraints processed.
1.06/0.62	c cleaning 2501 clauses out of 5001 with flag 10825/5001
1.85/1.08	c cleaning 4250 clauses out of 8500 with flag 23915/11001
2.63/1.48	c cleaning 5625 clauses out of 11250 with flag 39217/18001
3.43/1.86	c cleaning 6813 clauses out of 13625 with flag 56785/26001
4.43/2.32	c cleaning 7904 clauses out of 15811 with flag 76302/35000
5.03/2.73	c cleaning 8953 clauses out of 17907 with flag 98173/45000
5.61/3.23	c cleaning 9978 clauses out of 19955 with flag 122130/56001
6.11/3.77	c cleaning 10986 clauses out of 21976 with flag 148358/68000
6.82/4.41	c cleaning 11995 clauses out of 23990 with flag 176550/81000
7.43/5.08	c cleaning 12993 clauses out of 25996 with flag 207048/95001
8.12/5.79	c cleaning 13999 clauses out of 28002 with flag 239800/110000
9.05/6.62	c cleaning 15002 clauses out of 30003 with flag 274525/126000
9.98/7.51	c cleaning 16001 clauses out of 32001 with flag 311554/143000
11.31/8.60	c cleaning 16996 clauses out of 34001 with flag 350895/161001
12.30/9.60	c cleaning 18001 clauses out of 36006 with flag 392462/180002
13.40/10.74	c cleaning 18999 clauses out of 38003 with flag 436111/200000
14.61/11.92	c cleaning 20003 clauses out of 40005 with flag 481888/221001
16.00/13.35	c cleaning 21001 clauses out of 42002 with flag 529803/243001
17.60/14.98	c cleaning 22000 clauses out of 44000 with flag 579839/266000
19.20/16.52	c cleaning 23001 clauses out of 46002 with flag 632204/290002
20.80/18.17	c cleaning 23997 clauses out of 48000 with flag 686665/315001
22.71/20.04	c cleaning 24997 clauses out of 50002 with flag 743515/341000
24.59/21.92	c cleaning 26001 clauses out of 52006 with flag 802439/368001
26.50/23.85	c cleaning 27002 clauses out of 54004 with flag 863507/396000
28.71/26.03	c cleaning 28001 clauses out of 56002 with flag 926732/425000
30.70/28.09	c cleaning 28995 clauses out of 58001 with flag 992347/455000
33.09/30.42	c cleaning 30000 clauses out of 60008 with flag 1060048/486002
35.48/32.84	c cleaning 31000 clauses out of 62007 with flag 1129835/518001
38.13/35.76	c cleaning 32001 clauses out of 64006 with flag 1201786/551000
40.92/38.55	c cleaning 33000 clauses out of 66006 with flag 1275808/585001
44.02/41.61	c cleaning 33997 clauses out of 68005 with flag 1352093/620000
47.03/44.68	c cleaning 35002 clauses out of 70008 with flag 1430552/656000
50.52/48.17	c cleaning 36004 clauses out of 72007 with flag 1511473/693001
53.71/51.34	c cleaning 36997 clauses out of 74002 with flag 1594303/731000
57.12/54.72	c cleaning 38002 clauses out of 76006 with flag 1679543/770001
60.36/57.95	c cleaning 38997 clauses out of 78005 with flag 1766907/810002
64.25/61.83	c cleaning 39998 clauses out of 80006 with flag 1856293/851000
67.87/65.68	c cleaning 41004 clauses out of 82010 with flag 1947913/893002
72.46/70.25	c cleaning 42000 clauses out of 84004 with flag 2041788/936000
76.26/74.01	c cleaning 43002 clauses out of 86005 with flag 2137876/980001
80.36/78.12	c cleaning 44001 clauses out of 88002 with flag 2235962/1025000
84.64/82.41	c cleaning 44999 clauses out of 90002 with flag 2336424/1071001
89.45/87.29	c cleaning 45995 clauses out of 92002 with flag 2438842/1118000
93.74/91.58	c cleaning 46995 clauses out of 94008 with flag 2543581/1166001
98.70/96.65	c cleaning 48005 clauses out of 96013 with flag 2650550/1215001
103.50/101.48	c cleaning 49004 clauses out of 98007 with flag 2759516/1265000
108.11/106.09	c cleaning 50001 clauses out of 100003 with flag 2870859/1316000
113.29/111.24	c cleaning 50997 clauses out of 102002 with flag 2984367/1368000
119.08/117.05	c cleaning 52003 clauses out of 104006 with flag 3099909/1421001
125.18/123.13	c cleaning 52995 clauses out of 106003 with flag 3217683/1475001
130.43/128.58	c cleaning 54002 clauses out of 108007 with flag 3337870/1530000
136.22/134.39	c cleaning 55003 clauses out of 110006 with flag 3460077/1586001
142.21/140.34	c cleaning 55993 clauses out of 112003 with flag 3584318/1643001
148.41/146.56	c cleaning 57005 clauses out of 114009 with flag 3710777/1701000
154.50/152.68	c cleaning 58002 clauses out of 116004 with flag 3839483/1760000
161.04/159.37	c cleaning 58999 clauses out of 118002 with flag 3970162/1820000
168.56/166.88	c cleaning 59999 clauses out of 120003 with flag 4103150/1881000
179.23/177.52	c cleaning 60998 clauses out of 122006 with flag 4241948/1943002
191.52/189.44	c cleaning 61999 clauses out of 124007 with flag 4394164/2006001
205.90/203.89	c cleaning 62998 clauses out of 126007 with flag 4547634/2070000
217.50/215.45	c cleaning 64002 clauses out of 128011 with flag 4702040/2135002
232.95/230.98	c cleaning 65000 clauses out of 130007 with flag 4859563/2201000
253.06/251.20	c cleaning 65998 clauses out of 132007 with flag 5017227/2268000
265.85/263.99	c cleaning 67001 clauses out of 134009 with flag 5180294/2336000
276.57/274.64	c cleaning 68003 clauses out of 136009 with flag 5344641/2405001
292.73/290.99	c cleaning 68989 clauses out of 138006 with flag 5508510/2475001
310.19/308.41	c cleaning 70006 clauses out of 140018 with flag 5673454/2546002
327.86/326.27	c cleaning 71004 clauses out of 142010 with flag 5840407/2618000
347.51/346.08	c cleaning 72000 clauses out of 144006 with flag 6010532/2691000
363.91/362.43	c cleaning 72997 clauses out of 146006 with flag 6181382/2765000
391.82/390.52	c cleaning 74001 clauses out of 148009 with flag 6353350/2840000
418.59/417.55	c cleaning 74998 clauses out of 150009 with flag 6525922/2916001
430.82/429.79	c cleaning 76004 clauses out of 152010 with flag 6693865/2993000
440.51/439.60	c cleaning 77003 clauses out of 154006 with flag 6863793/3071000
460.71/459.80	c cleaning 77998 clauses out of 156003 with flag 7038594/3150000
481.66/480.96	c cleaning 79001 clauses out of 158005 with flag 7216731/3230000
508.99/508.45	c cleaning 79997 clauses out of 160004 with flag 7398464/3311000
541.36/541.04	c cleaning 81004 clauses out of 162007 with flag 7583008/3393000
566.46/566.38	c cleaning 81993 clauses out of 164003 with flag 7768031/3476000
580.31/580.18	c cleaning 83003 clauses out of 166011 with flag 7958695/3560001
609.63/610.12	c cleaning 84000 clauses out of 168007 with flag 8163424/3645000
636.28/637.10	c cleaning 84994 clauses out of 170007 with flag 8366393/3731000
648.53/649.60	c cleaning 86002 clauses out of 172013 with flag 8564216/3818000
664.06/665.17	c cleaning 86995 clauses out of 174012 with flag 8762822/3906001
672.88/673.90	c cleaning 88004 clauses out of 176016 with flag 8958475/3995000
690.30/691.78	c cleaning 89003 clauses out of 178013 with flag 9158601/4085001
701.27/702.78	c cleaning 90001 clauses out of 180010 with flag 9357428/4176001
726.53/728.48	c cleaning 90997 clauses out of 182008 with flag 9563261/4268000
751.17/753.24	c cleaning 91998 clauses out of 184012 with flag 9771513/4361001
766.08/768.16	c cleaning 93003 clauses out of 186013 with flag 9982380/4455000
778.71/780.96	c cleaning 94004 clauses out of 188010 with flag 10195882/4550000
800.48/802.84	c cleaning 95001 clauses out of 190007 with flag 10414242/4646001
821.18/823.58	c cleaning 95997 clauses out of 192005 with flag 10636292/4743000
846.15/848.68	c cleaning 97000 clauses out of 194009 with flag 10875225/4841001
872.90/875.51	c cleaning 98002 clauses out of 196008 with flag 11100511/4940000
890.90/893.59	c cleaning 98997 clauses out of 198006 with flag 11326351/5040000
907.60/910.38	c cleaning 100005 clauses out of 200010 with flag 11556661/5141001
922.87/925.71	c cleaning 101002 clauses out of 202005 with flag 11786084/5243001
937.88/940.74	c cleaning 101995 clauses out of 204002 with flag 12016541/5346000
953.15/956.06	c cleaning 103004 clauses out of 206007 with flag 12252541/5450000
974.45/977.55	c cleaning 103994 clauses out of 208003 with flag 12489439/5555000
1008.28/1011.55	c cleaning 105003 clauses out of 210009 with flag 12729307/5661000
1050.67/1054.28	c cleaning 105998 clauses out of 212007 with flag 12972288/5768001
1089.22/1092.91	c cleaning 107003 clauses out of 214008 with flag 13218508/5876000
1106.04/1109.77	c cleaning 108000 clauses out of 216007 with flag 13460280/5985002
1136.91/1140.83	c cleaning 108995 clauses out of 218007 with flag 13706921/6095002
1173.77/1177.83	c cleaning 109998 clauses out of 220010 with flag 13957645/6206000
1195.36/1199.43	c cleaning 111001 clauses out of 222012 with flag 14204789/6318000
1214.14/1218.32	c cleaning 112000 clauses out of 224012 with flag 14453077/6431001
1252.72/1257.81	c cleaning 113004 clauses out of 226011 with flag 14710341/6545000
1285.19/1290.32	c cleaning 113996 clauses out of 228008 with flag 14967721/6660001
1321.71/1326.97	c cleaning 115001 clauses out of 230011 with flag 15225275/6776000
1360.29/1365.66	c cleaning 116000 clauses out of 232010 with flag 15488617/6893000
1416.79/1422.23	c cleaning 117003 clauses out of 234010 with flag 15754565/7011000
1446.58/1452.07	c cleaning 118002 clauses out of 236009 with flag 16019528/7130002
1498.94/1504.60	c cleaning 118999 clauses out of 238005 with flag 16291496/7250000
1554.33/1560.05	c cleaning 119997 clauses out of 240007 with flag 16564116/7371001
1597.12/1602.91	c cleaning 120998 clauses out of 242010 with flag 16838111/7493001
1646.30/1652.29	c cleaning 122003 clauses out of 244012 with flag 17114593/7616001
1696.78/1702.81	c cleaning 122998 clauses out of 246009 with flag 17402127/7740001
1738.85/1744.97	c cleaning 124005 clauses out of 248011 with flag 17688939/7865001
1784.45/1790.66	c cleaning 124990 clauses out of 250006 with flag 17979752/7991001
1829.25/1835.36	c cleaning 125996 clauses out of 252016 with flag 18272973/8118001
1880.52/1886.70	c cleaning 127005 clauses out of 254020 with flag 18565992/8246001
1930.29/1936.68	c cleaning 128006 clauses out of 256014 with flag 18868272/8375000
1978.06/1984.59	c cleaning 129000 clauses out of 258008 with flag 19172385/8505000
2021.18/2027.71	c cleaning 130000 clauses out of 260008 with flag 19480480/8636000
2058.15/2064.76	c cleaning 130999 clauses out of 262008 with flag 19791203/8768000
2115.52/2122.27	c cleaning 131998 clauses out of 264010 with flag 20102608/8901001
2166.48/2173.38	c cleaning 132992 clauses out of 266011 with flag 20419261/9035000
2215.80/2222.72	c cleaning 134001 clauses out of 268019 with flag 20734060/9170000
2278.46/2285.51	c cleaning 135006 clauses out of 270020 with flag 21044765/9306002
2322.37/2329.51	c cleaning 136000 clauses out of 272012 with flag 21354953/9443000
2367.34/2374.59	c cleaning 137003 clauses out of 274013 with flag 21672816/9581001
2401.75/2409.06	c cleaning 137998 clauses out of 276010 with flag 21988924/9720001
2447.55/2454.90	c cleaning 139004 clauses out of 278012 with flag 22320329/9860001
2488.92/2496.33	c cleaning 139999 clauses out of 280009 with flag 22644428/10001002
2526.89/2534.48	c cleaning 140998 clauses out of 282008 with flag 22961646/10143000
2605.97/2613.72	c cleaning 141997 clauses out of 284010 with flag 23290411/10286000
2670.46/2678.33	c cleaning 143001 clauses out of 286013 with flag 23613642/10430000
2725.34/2733.34	c cleaning 144001 clauses out of 288012 with flag 23941146/10575000
2793.60/2801.74	c cleaning 145000 clauses out of 290011 with flag 24271376/10721000
2832.19/2840.49	c cleaning 146002 clauses out of 292011 with flag 24609704/10868000
2852.70/2860.94	c cleaning 147001 clauses out of 294009 with flag 24937223/11016000
2879.53/2887.83	c cleaning 147998 clauses out of 296008 with flag 25269812/11165000
2906.98/2915.36	c cleaning 149004 clauses out of 298010 with flag 25606004/11315000
2946.60/2955.02	c cleaning 149998 clauses out of 300006 with flag 25956024/11466000
2990.05/2998.51	c cleaning 150995 clauses out of 302008 with flag 26306370/11618000
3013.51/3022.05	c cleaning 151999 clauses out of 304013 with flag 26639576/11771000
3033.71/3042.23	c cleaning 153005 clauses out of 306014 with flag 26975194/11925000
3056.31/3065.00	c cleaning 154000 clauses out of 308009 with flag 27313104/12080000
3078.58/3087.24	c cleaning 154996 clauses out of 310009 with flag 27653598/12236000
3103.09/3111.84	c cleaning 156007 clauses out of 312015 with flag 27996072/12393002
3128.83/3137.75	c cleaning 156997 clauses out of 314006 with flag 28340902/12551000
3155.95/3165.01	c cleaning 158003 clauses out of 316009 with flag 28687954/12710000
3184.91/3194.15	c cleaning 159004 clauses out of 318007 with flag 29037378/12870001
3210.29/3219.57	c cleaning 159996 clauses out of 320004 with flag 29387684/13031002
3239.59/3249.00	c cleaning 160995 clauses out of 322007 with flag 29741035/13193001
3267.64/3277.19	c cleaning 161998 clauses out of 324012 with flag 30096478/13356001
3297.82/3307.54	c cleaning 163001 clauses out of 326013 with flag 30454711/13520000
3326.58/3336.35	c cleaning 164004 clauses out of 328013 with flag 30814458/13685001
3360.94/3370.74	c cleaning 164995 clauses out of 330008 with flag 31176505/13851000
3396.79/3407.23	c cleaning 165999 clauses out of 332013 with flag 31540820/14018000
3430.78/3441.39	c cleaning 167002 clauses out of 334015 with flag 31907786/14186001
3461.52/3472.15	c cleaning 168002 clauses out of 336012 with flag 32276360/14355000
3490.66/3501.36	c cleaning 168999 clauses out of 338010 with flag 32647214/14525000
3523.29/3534.00	c cleaning 169996 clauses out of 340012 with flag 33019958/14696001
3557.11/3567.96	c cleaning 171007 clauses out of 342016 with flag 33395455/14868001
3595.59/3606.38	c cleaning 172004 clauses out of 344009 with flag 33773084/15041001
3600.08/3610.81	c starts		: 6511
3600.08/3610.81	c timeout
3600.08/3610.82	c conflicts		: 15073561
3600.08/3610.82	c decisions		: 16268538
3600.08/3610.82	c propagations		: 157649719
3600.08/3610.82	c inspects		: 31350724550
3600.08/3610.82	c shortcuts		: 0
3600.08/3610.82	c learnt literals	: 0
3600.08/3610.82	c learnt binary clauses	: 0
3600.08/3610.82	c learnt ternary clauses	: 0
3600.08/3610.82	c learnt constraints	: 15073561
3600.08/3610.82	c ignored constraints	: 0
3600.08/3610.82	c root simplifications	: 0
3600.08/3610.82	c removed literals (reason simplification)	: 207069905
3600.08/3610.82	c reason swapping (by a shorter reason)	: 0
3600.08/3610.82	c Calls to reduceDB	: 169
3600.08/3610.82	c Number of update (reduction) of LBD	: 258264
3600.08/3610.82	c Imported unit clauses	: 0
3600.08/3610.82	c No decision after first conflict	: false
3600.08/3610.82	c number of reductions to clauses (during analyze)	: 0
3600.08/3610.82	c number of learned constraints concerned by reduction	: 0
3600.08/3610.82	c number of learning phase by resolution	: 0
3600.08/3610.82	c number of learning phase by cutting planes	: 0
3600.08/3610.82	c number of rounding to 1 operations	: 0
3600.08/3610.82	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3610.82	c number of reductions of the coefficients by power 2 	: 0
3600.08/3610.82	c number of right shift for reduction by power 2 	: 0
3600.08/3610.82	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3610.82	c number of ending skipping 	: 0
3600.08/3610.82	c number of internal skipping 	: 0
3600.08/3610.82	c number of derivation steps 	: 0
3600.08/3610.82	c number of skipped derivation steps 	: 0
3600.08/3610.82	c number of remaining unassigned 	: 0
3600.08/3610.82	c number of remaining assigned 	: 0
3600.08/3610.83	c number of falsified literals weakened from reason	: 0
3600.08/3610.83	c number of falsified literals weakened from conflict	: 0
3600.08/3610.83	c time for arithmetic operations	: 0
3600.08/3610.83	c minimum degree of deleted constraints	: null
3600.08/3610.83	c maximum degree of deleted constraints	: null
3600.08/3610.83	c number of deleted constraints	: 0
3600.08/3610.83	c speed (assignments/second)	: 43662.251319978815
3600.08/3610.83	c non guided choices	: 50
3600.08/3610.88	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 204565
3600.08/3610.89	s UNKNOWN
3600.08/3610.89	c Total wall clock time (in seconds): 3610.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 (33557 MiB free)
  memory of node 1: 64465 MiB (55395 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4516363-1751238419/watcher-4516363-1751238419 -o /tmp/evaluation-result-4516363-1751238419/solver-4516363-1751238419 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751234104-34968 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4516363-1751238419 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4516363-1751238419.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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 FSIZE limit: 102400000 KiB
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=36562, runsolver pid=36559

[startup+0.100061 s]*
/proc/loadavg: 4.15 4.19 4.25 6/344 36580
/proc/meminfo: memFree=91056760/131250000 swapFree=33009904/33010684
[pid=36562] ppid=36559 vsize=18930384 memory=55664 CPUtime=0.12 cores=5,7
/proc/36562/stat : 36562 (java) S 36559 36562 34474 0 -1 4194304 6535 0 0 0 10 2 0 0 20 0 18 0 39521302 19384713216 13916 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
/proc/36562/statm: 4732596 13916 5368 1 0 547603 0
[pid=36562/tid=36564] ppid=36559 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/36562/task/36564/stat : 36564 (java) R 36559 36562 34474 0 -1 4194368 5043 0 0 0 6 1 0 0 20 0 18 0 39521303 19384713216 13916 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
[pid=36562/tid=36573] ppid=36559 vsize=18930384 memory=241407623509 CPUtime=0 cores=5,7
/proc/36562/task/36573/stat : 36573 (Finalizer) S 36559 36562 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39521305 19384713216 13916 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
[pid=36562/tid=36580] ppid=36559 vsize=18930384 memory=60684515952020 CPUtime=0 cores=5,7
/proc/36562/task/36580/stat : 36580 (Common-Cleaner) S 36559 36562 34474 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39521305 19384713216 13916 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55664 KiB

[startup+0.205804 s]*
/proc/loadavg: 4.15 4.19 4.25 7/345 36581
/proc/meminfo: memFree=91055836/131250000 swapFree=33009904/33010684
[pid=36562] ppid=36559 vsize=18996948 memory=64292 CPUtime=0.3 cores=5,7
/proc/36562/stat : 36562 (java) S 36559 36562 34474 0 -1 4194304 7080 0 0 0 27 3 0 0 20 0 19 0 39521302 19452874752 16073 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
/proc/36562/statm: 4749237 16073 5432 1 0 548221 0
[pid=36562/tid=36564] ppid=36559 vsize=18996948 memory=4026597660 CPUtime=0.17 cores=5,7
/proc/36562/task/36564/stat : 36564 (java) R 36559 36562 34474 0 -1 4194368 5337 0 0 0 15 2 0 0 20 0 19 0 39521303 19452874752 16073 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
[pid=36562/tid=36573] ppid=36559 vsize=18996948 memory=16898 CPUtime=0 cores=5,7
/proc/36562/task/36573/stat : 36573 (Finalizer) S 36559 36562 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39521305 19452874752 16073 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
[pid=36562/tid=36580] ppid=36559 vsize=18996948 memory=59585004307431 CPUtime=0 cores=5,7
/proc/36562/task/36580/stat : 36580 (Common-Cleaner) S 36559 36562 34474 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39521305 19452874752 16073 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
[pid=36562/tid=36581] ppid=36559 vsize=18996948 memory=4314830 CPUtime=0 cores=5,7
/proc/36562/task/36581/stat : 36581 (Timer-0) S 36559 36562 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39521318 19452874752 16073 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 64292 KiB

[startup+0.305767 s]*
/proc/loadavg: 4.15 4.19 4.25 6/345 36581
/proc/meminfo: memFree=91051300/131250000 swapFree=33009904/33010684
[pid=36562] ppid=36559 vsize=18996948 memory=80104 CPUtime=0.49 cores=5,7
/proc/36562/stat : 36562 (java) S 36559 36562 34474 0 -1 4194304 9070 0 0 0 45 4 0 0 20 0 19 0 39521302 19452874752 20026 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
/proc/36562/statm: 4749237 20026 5432 1 0 549047 0
[pid=36562/tid=36564] ppid=36559 vsize=18996948 memory=-6000919468411545196 CPUtime=0.24 cores=5,7
/proc/36562/task/36564/stat : 36564 (java) R 36559 36562 34474 0 -1 4194368 5369 0 0 0 22 2 0 0 20 0 19 0 39521303 19452874752 20026 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
[pid=36562/tid=36573] ppid=36559 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/36562/task/36573/stat : 36573 (Finalizer) S 36559 36562 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39521305 19452874752 20026 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
[pid=36562/tid=36580] ppid=36559 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/36562/task/36580/stat : 36580 (Common-Cleaner) S 36559 36562 34474 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39521305 19452874752 20026 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
[pid=36562/tid=36581] ppid=36559 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/36562/task/36581/stat : 36581 (Timer-0) S 36559 36562 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39521318 19452874752 20026 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 80104 KiB

[startup+0.700222 s]
/proc/loadavg: 4.15 4.19 4.25 6/345 36581
/proc/meminfo: memFree=90986524/131250000 swapFree=33009904/33010684
[pid=36562] ppid=36559 vsize=19063512 memory=165884 CPUtime=1.25 cores=5,7
/proc/36562/stat : 36562 (java) S 36559 36562 34474 0 -1 4194304 12475 0 0 0 118 7 0 0 20 0 20 0 39521302 19521036288 41471 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
/proc/36562/statm: 4765878 41471 5496 1 0 551568 0
[pid=36562/tid=36564] ppid=36559 vsize=19063512 memory=18048 CPUtime=0.59 cores=5,7
/proc/36562/task/36564/stat : 36564 (java) R 36559 36562 34474 0 -1 4194368 5454 0 0 0 55 4 0 0 20 0 20 0 39521303 19521036288 41471 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
[pid=36562/tid=36573] ppid=36559 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/36562/task/36573/stat : 36573 (Finalizer) S 36559 36562 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39521305 19521036288 41471 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
[pid=36562/tid=36580] ppid=36559 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/36562/task/36580/stat : 36580 (Common-Cleaner) S 36559 36562 34474 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39521305 19521036288 41471 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
[pid=36562/tid=36581] ppid=36559 vsize=19063512 memory=4764 CPUtime=0 cores=5,7
/proc/36562/task/36581/stat : 36581 (Timer-0) S 36559 36562 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39521318 19521036288 41471 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 165884 KiB

[startup+1.50024 s]
/proc/loadavg: 4.15 4.19 4.25 6/346 36582
/proc/meminfo: memFree=90932304/131250000 swapFree=33009904/33010684
[pid=36562] ppid=36559 vsize=19063512 memory=171260 CPUtime=2.83 cores=5,7
/proc/36562/stat : 36562 (java) S 36559 36562 34474 0 -1 4194304 19614 0 0 0 276 7 0 0 20 0 20 0 39521302 19521036288 42815 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
/proc/36562/statm: 4765878 42815 5496 1 0 552745 0
[pid=36562/tid=36564] ppid=36559 vsize=19063512 memory=0 CPUtime=1.36 cores=5,7
/proc/36562/task/36564/stat : 36564 (java) R 36559 36562 34474 0 -1 4194368 5790 0 0 0 132 4 0 0 20 0 20 0 39521303 19521036288 42815 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
[pid=36562/tid=36573] ppid=36559 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/36562/task/36573/stat : 36573 (Finalizer) S 36559 36562 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39521305 19521036288 42815 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
[pid=36562/tid=36580] ppid=36559 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/36562/task/36580/stat : 36580 (Common-Cleaner) S 36559 36562 34474 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39521305 19521036288 42815 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
[pid=36562/tid=36581] ppid=36559 vsize=19063512 memory=4764 CPUtime=0 cores=5,7
/proc/36562/task/36581/stat : 36581 (Timer-0) S 36559 36562 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39521318 19521036288 42815 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 171260 KiB

[startup+3.10569 s]
/proc/loadavg: 4.22 4.20 4.26 5/346 36582
/proc/meminfo: memFree=90749424/131250000 swapFree=33009904/33010684
[pid=36562] ppid=36559 vsize=19063512 memory=320420 CPUtime=5.52 cores=5,7
/proc/36562/stat : 36562 (java) S 36559 36562 34474 0 -1 4194304 21975 0 0 0 538 14 0 0 20 0 20 0 39521302 19521036288 80105 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
/proc/36562/statm: 4765878 80105 5496 1 0 552961 0
[pid=36562/tid=36564] ppid=36559 vsize=19063512 memory=10752 CPUtime=2.94 cores=5,7
/proc/36562/task/36564/stat : 36564 (java) R 36559 36562 34474 0 -1 4194368 6417 0 0 0 284 10 0 0 20 0 20 0 39521303 19521036288 80105 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
[pid=36562/tid=36573] ppid=36559 vsize=19063512 memory=-6000919468411545196 CPUtime=0 cores=5,7
/proc/36562/task/36573/stat : 36573 (Finalizer) S 36559 36562 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39521305 19521036288 80105 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
[pid=36562/tid=36580] ppid=36559 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/36562/task/36580/stat : 36580 (Common-Cleaner) S 36559 36562 34474 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39521305 19521036288 80105 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
[pid=36562/tid=36581] ppid=36559 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/36562/task/36581/stat : 36581 (Timer-0) S 36559 36562 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39521318 19521036288 80105 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
Current children cumulated CPU time: 5.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 320420 KiB

[startup+6.3002 s]
/proc/loadavg: 4.22 4.20 4.26 5/346 36582
/proc/meminfo: memFree=90374300/131250000 swapFree=33009904/33010684
[pid=36562] ppid=36559 vsize=19063512 memory=600500 CPUtime=8.72 cores=5,7
/proc/36562/stat : 36562 (java) S 36559 36562 34474 0 -1 4194304 22339 0 0 0 848 24 0 0 20 0 20 0 39521302 19521036288 150125 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
/proc/36562/statm: 4765878 150125 5496 1 0 552962 0
[pid=36562/tid=36564] ppid=36559 vsize=19063512 memory=0 CPUtime=6.12 cores=5,7
/proc/36562/task/36564/stat : 36564 (java) R 36559 36562 34474 0 -1 4194368 6704 0 0 0 593 19 0 0 20 0 20 0 39521303 19521036288 150125 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
[pid=36562/tid=36573] ppid=36559 vsize=19063512 memory=3328 CPUtime=0 cores=5,7
/proc/36562/task/36573/stat : 36573 (Finalizer) S 36559 36562 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39521305 19521036288 150125 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
[pid=36562/tid=36580] ppid=36559 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/36562/task/36580/stat : 36580 (Common-Cleaner) S 36559 36562 34474 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39521305 19521036288 150125 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
[pid=36562/tid=36581] ppid=36559 vsize=19063512 memory=171260 CPUtime=0 cores=5,7
/proc/36562/task/36581/stat : 36581 (Timer-0) S 36559 36562 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39521318 19521036288 150125 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
Current children cumulated CPU time: 8.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 600500 KiB

[startup+12.7002 s]
/proc/loadavg: 4.18 4.20 4.26 5/346 36582
/proc/meminfo: memFree=89990940/131250000 swapFree=33009904/33010684
[pid=36562] ppid=36559 vsize=19063512 memory=871724 CPUtime=15.41 cores=5,7
/proc/36562/stat : 36562 (java) S 36559 36562 34474 0 -1 4194304 27417 0 0 0 1505 36 0 0 20 0 20 0 39521302 19521036288 217931 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
/proc/36562/statm: 4765878 217931 5496 1 0 552962 0
[pid=36562/tid=36564] ppid=36559 vsize=19063512 memory=171260 CPUtime=12.48 cores=5,7
/proc/36562/task/36564/stat : 36564 (java) R 36559 36562 34474 0 -1 4194368 7822 0 0 0 1218 30 0 0 20 0 20 0 39521303 19521036288 217931 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
[pid=36562/tid=36573] ppid=36559 vsize=19063512 memory=871724 CPUtime=0 cores=5,7
/proc/36562/task/36573/stat : 36573 (Finalizer) S 36559 36562 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39521305 19521036288 217931 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
[pid=36562/tid=36580] ppid=36559 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/36562/task/36580/stat : 36580 (Common-Cleaner) S 36559 36562 34474 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39521305 19521036288 217931 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
[pid=36562/tid=36581] ppid=36559 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/36562/task/36581/stat : 36581 (Timer-0) S 36559 36562 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39521318 19521036288 217931 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
Current children cumulated CPU time: 15.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 871724 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.19 4.25 5/346 36582
/proc/meminfo: memFree=89194468/131250000 swapFree=33009904/33010684
[pid=36562] ppid=36559 vsize=19063512 memory=1312068 CPUtime=28.2 cores=5,7
/proc/36562/stat : 36562 (java) S 36559 36562 34474 0 -1 4194304 31148 0 0 0 2763 57 0 0 20 0 20 0 39521302 19521036288 328017 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
/proc/36562/statm: 4765878 328017 5496 1 0 552962 0
[pid=36562/tid=36564] ppid=36559 vsize=19063512 memory=871724 CPUtime=25.23 cores=5,7
/proc/36562/task/36564/stat : 36564 (java) R 36559 36562 34474 0 -1 4194368 8857 0 0 0 2472 51 0 0 20 0 20 0 39521303 19521036288 328017 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
[pid=36562/tid=36573] ppid=36559 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/36562/task/36573/stat : 36573 (Finalizer) S 36559 36562 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39521305 19521036288 328017 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
[pid=36562/tid=36580] ppid=36559 vsize=19063512 memory=-6000919468411545196 CPUtime=0 cores=5,7
/proc/36562/task/36580/stat : 36580 (Common-Cleaner) S 36559 36562 34474 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39521305 19521036288 328017 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
[pid=36562/tid=36581] ppid=36559 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/36562/task/36581/stat : 36581 (Timer-0) S 36559 36562 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39521318 19521036288 328017 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
Current children cumulated CPU time: 28.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1312068 KiB

[startup+51.1057 s]
/proc/loadavg: 4.36 4.24 4.27 5/345 36583
/proc/meminfo: memFree=87819444/131250000 swapFree=33009904/33010684
[pid=36562] ppid=36559 vsize=19063512 memory=1322328 CPUtime=53.51 cores=5,7
/proc/36562/stat : 36562 (java) S 36559 36562 34474 0 -1 4194304 34513 0 0 0 5275 76 0 0 20 0 20 0 39521302 19521036288 330582 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0

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

/proc/meminfo: memFree=124189016/131250000 swapFree=33009904/33010684
[pid=36562] ppid=36559 vsize=19063512 memory=2160468 CPUtime=3213.08 cores=5,7
/proc/36562/stat : 36562 (java) S 36559 36562 34474 0 -1 4194304 107542 0 0 0 320390 918 0 0 20 0 20 0 39521302 19521036288 540117 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
/proc/36562/statm: 4765878 540117 5528 1 0 554123 0
[pid=36562/tid=36564] ppid=36559 vsize=19063512 memory=2158336 CPUtime=3197.41 cores=5,7
/proc/36562/task/36564/stat : 36564 (java) R 36559 36562 34474 0 -1 4194368 41435 0 0 0 318914 827 0 0 20 0 20 0 39521303 19521036288 540117 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
[pid=36562/tid=36573] ppid=36559 vsize=19063512 memory=2158336 CPUtime=0 cores=5,7
/proc/36562/task/36573/stat : 36573 (Finalizer) S 36559 36562 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39521305 19521036288 540117 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
[pid=36562/tid=36580] ppid=36559 vsize=19063512 memory=2158336 CPUtime=0 cores=5,7
/proc/36562/task/36580/stat : 36580 (Common-Cleaner) S 36559 36562 34474 0 -1 4194368 1864 0 0 0 0 0 0 0 20 0 20 0 39521305 19521036288 540117 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
[pid=36562/tid=36581] ppid=36559 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/36562/task/36581/stat : 36581 (Timer-0) S 36559 36562 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39521318 19521036288 540117 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
Current children cumulated CPU time: 3213.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2160468 KiB

[startup+3282.3 s]
/proc/loadavg: 1.08 1.46 2.63 2/266 36872
/proc/meminfo: memFree=124091480/131250000 swapFree=33009904/33010684
[pid=36562] ppid=36559 vsize=19063512 memory=2160468 CPUtime=3272.78 cores=5,7
/proc/36562/stat : 36562 (java) S 36559 36562 34474 0 -1 4194304 109603 0 0 0 326342 936 0 0 20 0 20 0 39521302 19521036288 540117 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
/proc/36562/statm: 4765878 540117 5528 1 0 554123 0
[pid=36562/tid=36564] ppid=36559 vsize=19063512 memory=2160468 CPUtime=3256.92 cores=5,7
/proc/36562/task/36564/stat : 36564 (java) R 36559 36562 34474 0 -1 4194368 42695 0 0 0 324848 844 0 0 20 0 20 0 39521303 19521036288 540117 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
[pid=36562/tid=36573] ppid=36559 vsize=19063512 memory=2160468 CPUtime=0 cores=5,7
/proc/36562/task/36573/stat : 36573 (Finalizer) S 36559 36562 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39521305 19521036288 540117 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
[pid=36562/tid=36580] ppid=36559 vsize=19063512 memory=2160468 CPUtime=0 cores=5,7
/proc/36562/task/36580/stat : 36580 (Common-Cleaner) S 36559 36562 34474 0 -1 4194368 1997 0 0 0 0 0 0 0 20 0 20 0 39521305 19521036288 540117 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
[pid=36562/tid=36581] ppid=36559 vsize=19063512 memory=14412 CPUtime=0 cores=5,7
/proc/36562/task/36581/stat : 36581 (Timer-0) S 36559 36562 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39521318 19521036288 540117 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
Current children cumulated CPU time: 3272.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2160468 KiB

[startup+3342.3 s]
/proc/loadavg: 1.07 1.39 2.53 2/266 36874
/proc/meminfo: memFree=124007460/131250000 swapFree=33009904/33010684
[pid=36562] ppid=36559 vsize=19063512 memory=2160596 CPUtime=3332.56 cores=5,7
/proc/36562/stat : 36562 (java) S 36559 36562 34474 0 -1 4194304 111389 0 0 0 332302 954 0 0 20 0 20 0 39521302 19521036288 540149 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
/proc/36562/statm: 4765878 540149 5528 1 0 554123 0
[pid=36562/tid=36564] ppid=36559 vsize=19063512 memory=2160596 CPUtime=3316.46 cores=5,7
/proc/36562/task/36564/stat : 36564 (java) R 36559 36562 34474 0 -1 4194368 43422 0 0 0 330786 860 0 0 20 0 20 0 39521303 19521036288 540149 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
[pid=36562/tid=36573] ppid=36559 vsize=19063512 memory=2160596 CPUtime=0 cores=5,7
/proc/36562/task/36573/stat : 36573 (Finalizer) S 36559 36562 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39521305 19521036288 540149 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
[pid=36562/tid=36580] ppid=36559 vsize=19063512 memory=2160596 CPUtime=0 cores=5,7
/proc/36562/task/36580/stat : 36580 (Common-Cleaner) S 36559 36562 34474 0 -1 4194368 2094 0 0 0 0 0 0 0 20 0 20 0 39521305 19521036288 540149 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
[pid=36562/tid=36581] ppid=36559 vsize=19063512 memory=-5155633680935826750 CPUtime=0 cores=5,7
/proc/36562/task/36581/stat : 36581 (Timer-0) S 36559 36562 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39521318 19521036288 540149 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
Current children cumulated CPU time: 3332.56 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2160596 KiB

[startup+3402.3 s]
/proc/loadavg: 1.08 1.33 2.44 2/267 36880
/proc/meminfo: memFree=123929548/131250000 swapFree=33009904/33010684
[pid=36562] ppid=36559 vsize=19063512 memory=2160724 CPUtime=3391.9 cores=5,7
/proc/36562/stat : 36562 (java) S 36559 36562 34474 0 -1 4194304 111451 0 0 0 338221 969 0 0 20 0 20 0 39521302 19521036288 540181 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
/proc/36562/statm: 4765878 540181 5528 1 0 554123 0
[pid=36562/tid=36564] ppid=36559 vsize=19063512 memory=2160596 CPUtime=3375.48 cores=5,7
/proc/36562/task/36564/stat : 36564 (java) R 36559 36562 34474 0 -1 4194368 43425 0 0 0 336673 875 0 0 20 0 20 0 39521303 19521036288 540181 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
[pid=36562/tid=36573] ppid=36559 vsize=19063512 memory=2160724 CPUtime=0 cores=5,7
/proc/36562/task/36573/stat : 36573 (Finalizer) S 36559 36562 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39521305 19521036288 540181 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
[pid=36562/tid=36580] ppid=36559 vsize=19063512 memory=2160724 CPUtime=0 cores=5,7
/proc/36562/task/36580/stat : 36580 (Common-Cleaner) S 36559 36562 34474 0 -1 4194368 2105 0 0 0 0 0 0 0 20 0 20 0 39521305 19521036288 540181 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
[pid=36562/tid=36581] ppid=36559 vsize=19063512 memory=2160724 CPUtime=0 cores=5,7
/proc/36562/task/36581/stat : 36581 (Timer-0) S 36559 36562 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39521318 19521036288 540181 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
Current children cumulated CPU time: 3391.9 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2160724 KiB

[startup+3462.3 s]
/proc/loadavg: 1.07 1.28 2.35 2/267 36882
/proc/meminfo: memFree=123838336/131250000 swapFree=33009904/33010684
[pid=36562] ppid=36559 vsize=19063512 memory=2160724 CPUtime=3451.73 cores=5,7
/proc/36562/stat : 36562 (java) S 36559 36562 34474 0 -1 4194304 111642 0 0 0 344182 991 0 0 20 0 20 0 39521302 19521036288 540181 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
/proc/36562/statm: 4765878 540181 5528 1 0 554123 0
[pid=36562/tid=36564] ppid=36559 vsize=19063512 memory=2160724 CPUtime=3434.97 cores=5,7
/proc/36562/task/36564/stat : 36564 (java) R 36559 36562 34474 0 -1 4194368 43593 0 0 0 342602 895 0 0 20 0 20 0 39521303 19521036288 540181 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
[pid=36562/tid=36573] ppid=36559 vsize=19063512 memory=2160596 CPUtime=0 cores=5,7
/proc/36562/task/36573/stat : 36573 (Finalizer) S 36559 36562 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39521305 19521036288 540181 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
[pid=36562/tid=36580] ppid=36559 vsize=19063512 memory=14412 CPUtime=0 cores=5,7
/proc/36562/task/36580/stat : 36580 (Common-Cleaner) S 36559 36562 34474 0 -1 4194368 2105 0 0 0 0 0 0 0 20 0 20 0 39521305 19521036288 540181 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
[pid=36562/tid=36581] ppid=36559 vsize=19063512 memory=2160724 CPUtime=0 cores=5,7
/proc/36562/task/36581/stat : 36581 (Timer-0) S 36559 36562 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39521318 19521036288 540181 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
Current children cumulated CPU time: 3451.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2160724 KiB

[startup+3522.3 s]
/proc/loadavg: 1.12 1.26 2.27 2/267 36886
/proc/meminfo: memFree=123749556/131250000 swapFree=33009904/33010684
[pid=36562] ppid=36559 vsize=19063512 memory=2160724 CPUtime=3511.57 cores=5,7
/proc/36562/stat : 36562 (java) S 36559 36562 34474 0 -1 4194304 113649 0 0 0 350148 1009 0 0 20 0 20 0 39521302 19521036288 540181 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
/proc/36562/statm: 4765878 540181 5528 1 0 554123 0
[pid=36562/tid=36564] ppid=36559 vsize=19063512 memory=2160724 CPUtime=3494.58 cores=5,7
/proc/36562/task/36564/stat : 36564 (java) R 36559 36562 34474 0 -1 4194368 44701 0 0 0 348546 912 0 0 20 0 20 0 39521303 19521036288 540181 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
[pid=36562/tid=36573] ppid=36559 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/36562/task/36573/stat : 36573 (Finalizer) S 36559 36562 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39521305 19521036288 540181 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
[pid=36562/tid=36580] ppid=36559 vsize=19063512 memory=2160724 CPUtime=0 cores=5,7
/proc/36562/task/36580/stat : 36580 (Common-Cleaner) S 36559 36562 34474 0 -1 4194368 2105 0 0 0 0 0 0 0 20 0 20 0 39521305 19521036288 540181 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
[pid=36562/tid=36581] ppid=36559 vsize=19063512 memory=2160724 CPUtime=0 cores=5,7
/proc/36562/task/36581/stat : 36581 (Timer-0) S 36559 36562 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39521318 19521036288 540181 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
Current children cumulated CPU time: 3511.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2160724 KiB

[startup+3582.3 s]
/proc/loadavg: 1.04 1.21 2.19 2/267 36888
/proc/meminfo: memFree=123763012/131250000 swapFree=33009904/33010684
[pid=36562] ppid=36559 vsize=19063512 memory=2060744 CPUtime=3571.66 cores=5,7
/proc/36562/stat : 36562 (java) S 36559 36562 34474 0 -1 4194304 117137 0 0 0 356137 1029 0 0 20 0 20 0 39521302 19521036288 515186 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
/proc/36562/statm: 4765878 515186 5528 1 0 529092 0
[pid=36562/tid=36564] ppid=36559 vsize=19063512 memory=4480 CPUtime=3554.24 cores=5,7
/proc/36562/task/36564/stat : 36564 (java) R 36559 36562 34474 0 -1 4194368 45827 0 0 0 354493 931 0 0 20 0 20 0 39521303 19521036288 515186 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
[pid=36562/tid=36573] ppid=36559 vsize=19063512 memory=18048 CPUtime=0 cores=5,7
/proc/36562/task/36573/stat : 36573 (Finalizer) S 36559 36562 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39521305 19521036288 515186 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
[pid=36562/tid=36580] ppid=36559 vsize=19063512 memory=2060744 CPUtime=0 cores=5,7
/proc/36562/task/36580/stat : 36580 (Common-Cleaner) S 36559 36562 34474 0 -1 4194368 2162 0 0 0 0 0 0 0 20 0 20 0 39521305 19521036288 515186 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
[pid=36562/tid=36581] ppid=36559 vsize=19063512 memory=14412 CPUtime=0 cores=5,7
/proc/36562/task/36581/stat : 36581 (Timer-0) S 36559 36562 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39521318 19521036288 515186 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
Current children cumulated CPU time: 3571.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2060744 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.8 s]
/proc/loadavg: 1.09 1.21 2.16 2/267 36888
/proc/meminfo: memFree=123731452/131250000 swapFree=33009904/33010684
[pid=36562] ppid=36559 vsize=19063512 memory=2060744 CPUtime=3600.08 cores=5,7
/proc/36562/stat : 36562 (java) S 36559 36562 34474 0 -1 4194304 117721 0 0 0 358973 1035 0 0 20 0 20 0 39521302 19521036288 515186 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
/proc/36562/statm: 4765878 515186 5528 1 0 529095 0
[pid=36562/tid=36564] ppid=36559 vsize=19063512 memory=-6000919468411545196 CPUtime=3582.59 cores=5,7
/proc/36562/task/36564/stat : 36564 (java) R 36559 36562 34474 0 -1 4194368 45919 0 0 0 357323 936 0 0 20 0 20 0 39521303 19521036288 515186 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
[pid=36562/tid=36573] ppid=36559 vsize=19063512 memory=8960 CPUtime=0 cores=5,7
/proc/36562/task/36573/stat : 36573 (Finalizer) S 36559 36562 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39521305 19521036288 515186 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
[pid=36562/tid=36580] ppid=36559 vsize=19063512 memory=26524 CPUtime=0 cores=5,7
/proc/36562/task/36580/stat : 36580 (Common-Cleaner) S 36559 36562 34474 0 -1 4194368 2207 0 0 0 0 0 0 0 20 0 20 0 39521305 19521036288 515186 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
[pid=36562/tid=36581] ppid=36559 vsize=19063512 memory=7092 CPUtime=0 cores=5,7
/proc/36562/task/36581/stat : 36581 (Timer-0) S 36559 36562 34474 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39521318 19521036288 515186 18446744073709551615 94428401901568 94428401905264 140731097449040 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94428401913080 94428401913872 94428432945152 140731097450800 140731097450982 140731097450982 140731097456584 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2060744 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589.85 s, system=10.374 s

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

Child status: 143

Real time (s): 3610.91
CPU time (s): 3600.23
CPU user time (s): 3589.85
CPU system time (s): 10.374
CPU usage (%): 99.7042
Max. virtual memory (cumulated for all children) (KiB): 19064660
Max. memory (cumulated for all children) (KiB): 2160724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.85
system time used= 10.374
maximum resident set size= 2160724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119764
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8791776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114150
involuntary context switches= 9511


# summary of solver processes directly reported to runsolver:
#   pid: 36562
#   total CPU time (s): 3600.23
#   total CPU user time (s): 3589.85
#   total CPU system time (s): 10.374

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.34829 second user time and 16.5979 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2025-06-30 01:06:59
IDJOB=4516363
IDBENCH=170931
IDSOLVER=3364
FILE ID=nodeC033/4516363-1751238419
RUNJOBID= nodeC033-1751234104-34968
SLURM_JOB_ID= 9587701
Free space on /tmp= 432776 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/vertex-cover/noverticaledges-v1/normalized-grid4_27.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4516363-1751238419/watcher-4516363-1751238419 -o /tmp/evaluation-result-4516363-1751238419/solver-4516363-1751238419 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751234104-34968 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4516363-1751238419 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4516363-1751238419.opb

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

MD5SUM BENCH= d84e5b0859c720120d753ed5df1f0f9f
RANDOM SEED=673816592

nodeC033 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		: 3600.076
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	: 7000.13
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.073
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	: 7000.13
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		: 3640.822
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	: 7000.13
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		: 3618.634
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	: 7000.13
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		: 3600.063
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	: 7000.13
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		: 3600.066
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	: 7000.13
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.073
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	: 7000.13
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.682
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	: 7000.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        91087156 kB
MemAvailable:   112908620 kB
Buffers:            2128 kB
Cached:         22603044 kB
SwapCached:           68 kB
Active:         16952136 kB
Inactive:       22444604 kB
Active(anon):   16782792 kB
Inactive(anon):    26864 kB
Active(file):     169344 kB
Inactive(file): 22417740 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009904 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:           3085180 kB
Writeback:             8 kB
AnonPages:      16792584 kB
Mapped:           123692 kB
Shmem:             18028 kB
KReclaimable:     147236 kB
Slab:             332200 kB
SReclaimable:     147236 kB
SUnreclaim:       184964 kB
KernelStack:        5312 kB
PageTables:        36488 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   17359828 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151576 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:  16463872 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:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432780 MiB
End job on nodeC033 at 2025-06-30 02:07:10