Trace number 4453474

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution Default 2024-07-07? (TO) 3600.28 3608.63

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
random4reg_opb_shuffle/normalized-subsetcard-eq-random4reg-35.shuf-1.opb
MD5SUMacb26b9ac2b66d2444a9540d0b030c40
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.002075
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables141
Total number of constraints140
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)18
Number of constraints which are nor clauses,nor cardinality constraints122
Minimum length of a constraint4
Maximum length of a constraint5
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.12/0.15	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.15	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.15	c See www.sat4j.org for details.
0.12/0.16	c version CUSTOM.v20240707
0.12/0.19	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.19	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.19	c java.vm.version	22.0.1+8-16
0.12/0.19	c java.vm.vendor	Oracle Corporation
0.12/0.19	c sun.arch.data.model	64
0.12/0.19	c java.version		22.0.1
0.12/0.19	c os.name		Linux
0.12/0.19	c os.version		4.18.0-301.1.el8.x86_64
0.12/0.19	c os.arch		amd64
0.12/0.19	c Free memory 		2113181440
0.12/0.20	c Max memory 		16282288128
0.12/0.20	c Total memory 		2122317824
0.12/0.20	c Number of processors 	2
0.29/0.29	--- Begin Solver configuration ---
0.29/0.29	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.29/0.29	Learn all clauses as in MiniSAT
0.29/0.29	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.29/0.29	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.29/0.29	No reason simplification
0.29/0.29	Glucose 2.1 dynamic restart strategy
0.29/0.29	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.29/0.29	timeout=2147483s
0.29/0.29	DB Simplification allowed=false
0.29/0.29	Listener: none
0.29/0.29	--- End Solver configuration ---
0.29/0.29	c Pseudo Boolean Optimization by upper bound
0.29/0.29	c --- Begin Solver configuration ---
0.29/0.29	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.29/0.29	c Learn all clauses as in MiniSAT
0.29/0.29	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.29/0.29	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.29/0.29	c No reason simplification
0.29/0.29	c Glucose 2.1 dynamic restart strategy
0.29/0.29	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.29/0.29	c timeout=2147483s
0.29/0.29	c DB Simplification allowed=false
0.29/0.29	c Listener: none
0.29/0.29	c --- End Solver configuration ---
0.29/0.29	c solving HOME/instance-4453474-1721458309.opb
0.29/0.29	c reading problem ... 
0.29/0.29	c  no objective function found
0.46/0.34	c ... done. Wall clock time 0.043s.
0.46/0.34	c declared #vars     141
0.46/0.34	c #constraints  140
0.46/0.34	c constraints type 
0.46/0.34	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 140
0.46/0.34	c 140 constraints processed.
1.35/0.86	c cleaning 2496 clauses out of 5000 with flag 31852/5000
1.96/1.19	c cleaning 4249 clauses out of 8504 with flag 71645/11000
2.54/1.47	c cleaning 5624 clauses out of 11256 with flag 119408/18001
3.02/1.78	c cleaning 6814 clauses out of 13631 with flag 180756/26000
3.54/2.11	c cleaning 7907 clauses out of 15817 with flag 250320/35000
4.01/2.45	c cleaning 8946 clauses out of 17910 with flag 320415/45000
4.50/2.83	c cleaning 9973 clauses out of 19964 with flag 398320/56000
5.40/3.73	c cleaning 10987 clauses out of 21992 with flag 485618/68001
6.21/4.51	c cleaning 11999 clauses out of 24005 with flag 578172/81001
6.90/5.23	c cleaning 12997 clauses out of 26006 with flag 683074/95001
7.72/6.08	c cleaning 13999 clauses out of 28008 with flag 805891/110000
8.61/6.95	c cleaning 14996 clauses out of 30009 with flag 925450/126000
9.48/7.73	c cleaning 15997 clauses out of 32015 with flag 1044555/143002
10.34/8.55	c cleaning 16995 clauses out of 34016 with flag 1165725/161000
11.24/9.44	c cleaning 18004 clauses out of 36021 with flag 1297041/180000
12.34/10.52	c cleaning 19007 clauses out of 38019 with flag 1430701/200002
13.43/11.64	c cleaning 19998 clauses out of 40010 with flag 1576604/221000
14.64/12.87	c cleaning 21002 clauses out of 42014 with flag 1726059/243002
15.95/14.18	c cleaning 21991 clauses out of 44010 with flag 1883640/266000
17.34/15.54	c cleaning 22995 clauses out of 46019 with flag 2039936/290000
18.97/17.11	c cleaning 24002 clauses out of 48024 with flag 2201838/315000
20.85/18.96	c cleaning 25011 clauses out of 50023 with flag 2371425/341001
22.75/20.82	c cleaning 26002 clauses out of 52011 with flag 2552922/368000
24.65/22.73	c cleaning 26995 clauses out of 54009 with flag 2743727/396000
26.74/24.87	c cleaning 27996 clauses out of 56016 with flag 2936352/425002
28.85/26.99	c cleaning 29004 clauses out of 58019 with flag 3137651/455001
31.34/29.45	c cleaning 30006 clauses out of 60015 with flag 3351846/486001
33.84/31.91	c cleaning 31000 clauses out of 62009 with flag 3570358/518001
36.53/34.67	c cleaning 31997 clauses out of 64010 with flag 3803965/551002
39.42/37.52	c cleaning 33000 clauses out of 66011 with flag 4035722/585000
42.82/40.91	c cleaning 33993 clauses out of 68011 with flag 4280461/620000
46.21/44.38	c cleaning 34999 clauses out of 70018 with flag 4520258/656000
49.70/47.89	c cleaning 36001 clauses out of 72020 with flag 4781641/693001
53.40/51.56	c cleaning 37000 clauses out of 74019 with flag 5036194/731001
57.09/55.27	c cleaning 38004 clauses out of 76020 with flag 5291063/770002
61.19/59.36	c cleaning 38993 clauses out of 78016 with flag 5566923/810002
65.48/63.69	c cleaning 40004 clauses out of 80023 with flag 5838379/851002
69.78/67.99	c cleaning 40998 clauses out of 82018 with flag 6129592/893001
73.98/72.17	c cleaning 41998 clauses out of 84020 with flag 6425984/936001
78.46/76.66	c cleaning 43003 clauses out of 86021 with flag 6733522/980000
83.66/81.83	c cleaning 43997 clauses out of 88018 with flag 7046983/1025000
88.25/86.45	c cleaning 45000 clauses out of 90022 with flag 7361602/1071001
93.95/92.12	c cleaning 46005 clauses out of 92021 with flag 7678735/1118000
99.33/97.54	c cleaning 46999 clauses out of 94018 with flag 7995153/1166002
105.73/104.00	c cleaning 48005 clauses out of 96017 with flag 8320259/1215000
112.32/110.59	c cleaning 49002 clauses out of 98013 with flag 8643523/1265001
119.12/117.39	c cleaning 49999 clauses out of 100010 with flag 8973433/1316000
126.11/124.33	c cleaning 51004 clauses out of 102011 with flag 9309238/1368000
133.39/131.64	c cleaning 52004 clauses out of 104007 with flag 9655901/1421000
141.19/139.41	c cleaning 52997 clauses out of 106004 with flag 9997100/1475001
149.18/147.40	c cleaning 53999 clauses out of 108008 with flag 10350732/1530002
156.38/154.69	c cleaning 54985 clauses out of 110007 with flag 10716259/1586000
164.06/162.33	c cleaning 56006 clauses out of 112022 with flag 11082235/1643000
171.25/169.54	c cleaning 57001 clauses out of 114016 with flag 11458437/1701000
179.94/178.21	c cleaning 58007 clauses out of 116015 with flag 11860384/1760000
189.43/187.73	c cleaning 59001 clauses out of 118008 with flag 12245320/1820000
198.10/196.40	c cleaning 59989 clauses out of 120009 with flag 12624581/1881002
207.19/205.56	c cleaning 60994 clauses out of 122018 with flag 13018879/1943000
216.87/215.26	c cleaning 62009 clauses out of 124024 with flag 13429663/2006000
227.87/226.22	c cleaning 63006 clauses out of 126015 with flag 13818108/2070000
237.85/236.27	c cleaning 64005 clauses out of 128012 with flag 14243921/2135003
249.54/247.95	c cleaning 64995 clauses out of 130004 with flag 14649708/2201000
261.42/259.89	c cleaning 65996 clauses out of 132010 with flag 15066860/2268001
272.91/271.35	c cleaning 66999 clauses out of 134016 with flag 15521378/2336003
285.99/284.43	c cleaning 67997 clauses out of 136015 with flag 15947094/2405001
300.26/298.72	c cleaning 69006 clauses out of 138018 with flag 16371348/2475001
312.74/311.20	c cleaning 69997 clauses out of 140011 with flag 16799493/2546000
324.84/323.37	c cleaning 70993 clauses out of 142014 with flag 17273565/2618000
335.72/334.29	c cleaning 72002 clauses out of 144022 with flag 17749111/2691001
350.39/348.96	c cleaning 72998 clauses out of 146019 with flag 18209070/2765000
363.07/361.66	c cleaning 73995 clauses out of 148023 with flag 18719185/2840002
379.85/378.47	c cleaning 75010 clauses out of 150026 with flag 19182646/2916000
395.03/393.65	c cleaning 76006 clauses out of 152016 with flag 19653312/2993000
411.79/410.42	c cleaning 77003 clauses out of 154011 with flag 20129555/3071001
429.75/428.46	c cleaning 78003 clauses out of 156009 with flag 20598774/3150002
447.23/445.99	c cleaning 78999 clauses out of 158004 with flag 21067685/3230000
463.79/462.59	c cleaning 79995 clauses out of 160005 with flag 21550750/3311000
481.55/480.30	c cleaning 81006 clauses out of 162011 with flag 22045540/3393001
497.12/495.99	c cleaning 81995 clauses out of 164004 with flag 22545050/3476000
512.20/511.04	c cleaning 82992 clauses out of 166010 with flag 23068982/3560001
530.75/529.68	c cleaning 83993 clauses out of 168018 with flag 23566305/3645001
550.12/549.10	c cleaning 85010 clauses out of 170025 with flag 24064657/3731001
572.00/570.92	c cleaning 85988 clauses out of 172014 with flag 24573191/3818000
591.26/590.26	c cleaning 87005 clauses out of 174026 with flag 25094068/3906000
610.72/609.76	c cleaning 88001 clauses out of 176022 with flag 25640651/3995001
627.59/626.65	c cleaning 88993 clauses out of 178020 with flag 26189860/4085000
644.46/643.57	c cleaning 90006 clauses out of 180028 with flag 26777630/4176001
665.33/664.49	c cleaning 90999 clauses out of 182022 with flag 27319239/4268001
684.51/683.69	c cleaning 91991 clauses out of 184023 with flag 27883170/4361001
708.07/707.22	c cleaning 93007 clauses out of 186032 with flag 28439378/4455001
731.94/731.17	c cleaning 94006 clauses out of 188026 with flag 28985251/4550002
757.10/756.36	c cleaning 94998 clauses out of 190019 with flag 29550320/4646001
781.06/780.30	c cleaning 96004 clauses out of 192020 with flag 30121655/4743000
805.83/805.11	c cleaning 96999 clauses out of 194017 with flag 30692194/4841001
833.15/832.57	c cleaning 97993 clauses out of 196017 with flag 31282956/4940000
858.63/858.23	c cleaning 99009 clauses out of 198024 with flag 31865590/5040000
887.68/887.50	c cleaning 100005 clauses out of 200016 with flag 32441225/5141001
919.22/919.38	c cleaning 100997 clauses out of 202010 with flag 33013028/5243000
943.52/943.85	c cleaning 102003 clauses out of 204015 with flag 33658468/5346002
974.15/974.71	c cleaning 103003 clauses out of 206010 with flag 34241066/5450000
1000.84/1001.64	c cleaning 103988 clauses out of 208008 with flag 34875319/5555001
1031.57/1032.63	c cleaning 105004 clauses out of 210020 with flag 35485935/5661001
1062.41/1063.70	c cleaning 106002 clauses out of 212016 with flag 36116771/5768001
1095.82/1097.44	c cleaning 106990 clauses out of 214014 with flag 36731285/5876001
1123.87/1125.77	c cleaning 108009 clauses out of 216023 with flag 37371720/5985000
1159.76/1161.91	c cleaning 109004 clauses out of 218015 with flag 37999418/6095001
1191.19/1193.62	c cleaning 110005 clauses out of 220012 with flag 38651898/6206002
1226.39/1229.12	c cleaning 110994 clauses out of 222006 with flag 39292894/6318001
1257.72/1260.76	c cleaning 111990 clauses out of 224013 with flag 39936889/6431002
1289.19/1292.41	c cleaning 113004 clauses out of 226022 with flag 40614255/6545001
1321.31/1324.80	c cleaning 114007 clauses out of 228017 with flag 41266750/6660000
1362.95/1366.82	c cleaning 114998 clauses out of 230010 with flag 41920348/6776000
1401.11/1405.39	c cleaning 115996 clauses out of 232012 with flag 42572250/6893000
1437.31/1441.88	c cleaning 117007 clauses out of 234020 with flag 43261017/7011004
1478.16/1483.05	c cleaning 117987 clauses out of 236009 with flag 43925584/7130000
1511.47/1516.61	c cleaning 119000 clauses out of 238024 with flag 44692020/7250002
1544.58/1550.05	c cleaning 119995 clauses out of 240022 with flag 45405651/7371000
1575.62/1581.39	c cleaning 121003 clauses out of 242027 with flag 46094457/7493000
1615.04/1620.83	c cleaning 122009 clauses out of 244030 with flag 46817424/7616006
1657.57/1663.43	c cleaning 123004 clauses out of 246015 with flag 47524751/7740000
1697.30/1703.29	c cleaning 124000 clauses out of 248013 with flag 48234373/7865002
1736.54/1742.54	c cleaning 125001 clauses out of 250011 with flag 49001743/7991000
1775.52/1781.53	c cleaning 126003 clauses out of 252010 with flag 49709780/8118000
1828.63/1834.70	c cleaning 126999 clauses out of 254008 with flag 50440040/8246001
1881.93/1888.12	c cleaning 127985 clauses out of 256009 with flag 51161516/8375001
1928.01/1934.35	c cleaning 129002 clauses out of 258026 with flag 51907360/8505003
1968.27/1974.68	c cleaning 130008 clauses out of 260022 with flag 52642335/8636001
2025.87/2032.30	c cleaning 131000 clauses out of 262014 with flag 53381047/8768001
2072.70/2079.20	c cleaning 131998 clauses out of 264013 with flag 54134237/8901000
2123.31/2129.93	c cleaning 133005 clauses out of 266015 with flag 54885270/9035000
2176.48/2183.14	c cleaning 134003 clauses out of 268010 with flag 55647505/9170000
2229.58/2236.30	c cleaning 134993 clauses out of 270007 with flag 56407116/9306000
2273.21/2280.08	c cleaning 135991 clauses out of 272014 with flag 57180196/9443000
2330.71/2337.66	c cleaning 137011 clauses out of 274026 with flag 57950220/9581003
2385.22/2392.25	c cleaning 137999 clauses out of 276013 with flag 58729123/9720001
2436.55/2443.63	c cleaning 139000 clauses out of 278014 with flag 59530960/9860001
2493.97/2501.17	c cleaning 139992 clauses out of 280013 with flag 60345164/10001000
2564.64/2572.01	c cleaning 140993 clauses out of 282021 with flag 61147237/10143000
2616.76/2624.16	c cleaning 141997 clauses out of 284030 with flag 61937789/10286002
2665.98/2673.47	c cleaning 143003 clauses out of 286031 with flag 62763376/10430000
2728.49/2736.10	c cleaning 143997 clauses out of 288028 with flag 63584217/10575000
2787.18/2794.84	c cleaning 145004 clauses out of 290033 with flag 64402616/10721002
2838.00/2845.74	c cleaning 146002 clauses out of 292028 with flag 65227455/10868001
2899.90/2907.77	c cleaning 147005 clauses out of 294026 with flag 66059139/11016001
2968.20/2976.13	c cleaning 148004 clauses out of 296020 with flag 66867079/11165000
3033.68/3041.74	c cleaning 148995 clauses out of 298016 with flag 67725384/11315000
3096.02/3104.16	c cleaning 149998 clauses out of 300022 with flag 68579750/11466001
3158.92/3167.19	c cleaning 151006 clauses out of 302026 with flag 69460547/11618003
3231.98/3240.31	c cleaning 152001 clauses out of 304018 with flag 70310974/11771001
3291.70/3300.14	c cleaning 153003 clauses out of 306016 with flag 71163772/11925000
3359.51/3367.60	c cleaning 153994 clauses out of 308013 with flag 72015775/12080000
3411.99/3420.24	c cleaning 155008 clauses out of 310020 with flag 72941822/12236001
3468.27/3476.60	c cleaning 156003 clauses out of 312011 with flag 73833512/12393000
3527.14/3535.53	c cleaning 156995 clauses out of 314008 with flag 74736708/12551000
3593.06/3601.56	c cleaning 158002 clauses out of 316013 with flag 75630513/12710000
3600.04/3608.53	c starts		: 61261
3600.04/3608.53	c conflicts		: 12731398
3600.04/3608.53	c decisions		: 16893786
3600.04/3608.53	c propagations		: 287623435
3600.04/3608.54	c inspects		: 54682265278
3600.04/3608.54	c shortcuts		: 0
3600.04/3608.54	c learnt literals	: 0
3600.04/3608.54	c learnt binary clauses	: 0
3600.04/3608.54	c learnt ternary clauses	: 0
3600.04/3608.54	c learnt constraints	: 12731398
3600.04/3608.54	c ignored constraints	: 0
3600.04/3608.54	c root simplifications	: 0
3600.04/3608.54	c removed literals (reason simplification)	: 0
3600.04/3608.54	c reason swapping (by a shorter reason)	: 0
3600.04/3608.54	c Calls to reduceDB	: 155
3600.04/3608.54	c Number of update (reduction) of LBD	: 3098366
3600.04/3608.54	c Imported unit clauses	: 0
3600.04/3608.54	c No decision after first conflict	: false
3600.04/3608.54	c number of reductions to clauses (during analyze)	: 0
3600.04/3608.54	c number of learned constraints concerned by reduction	: 0
3600.04/3608.54	c number of learning phase by resolution	: 0
3600.04/3608.54	c number of learning phase by cutting planes	: 0
3600.04/3608.54	c number of rounding to 1 operations	: 0
3600.04/3608.54	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3608.54	c number of reductions of the coefficients by power 2 	: 0
3600.04/3608.54	c number of right shift for reduction by power 2 	: 0
3600.04/3608.54	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3608.54	c number of ending skipping 	: 0
3600.04/3608.54	c number of internal skipping 	: 0
3600.04/3608.54	c number of derivation steps 	: 0
3600.04/3608.54	c number of skipped derivation steps 	: 0
3600.04/3608.54	c number of remaining unassigned 	: 0
3600.04/3608.54	c number of remaining assigned 	: 0
3600.04/3608.54	c number of falsified literals weakened from reason	: 0
3600.04/3608.54	c number of falsified literals weakened from conflict	: 0
3600.04/3608.54	c time for arithmetic operations	: 0
3600.04/3608.54	c minimum degree of deleted constraints	: null
3600.04/3608.54	c maximum degree of deleted constraints	: null
3600.04/3608.54	c number of deleted constraints	: 0
3600.04/3608.54	c speed (assignments/second)	: 79713.87240944096
3600.04/3608.54	c non guided choices	: 46
3600.04/3608.55	c timeout
3600.04/3608.60	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 179409
3600.04/3608.60	s UNKNOWN
3600.04/3608.60	c Total wall clock time (in seconds): 3608.313

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: 64059 MiB (59568 MiB free)
  memory of node 1: 64510 MiB (60773 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453474-1721458309/watcher-4453474-1721458309 -o /tmp/evaluation-result-4453474-1721458309/solver-4453474-1721458309 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721450898-1058420 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4453474-1721458309.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=1063716, runsolver pid=1063713

[startup+0.102997 s]*
/proc/loadavg: 4.17 4.20 4.18 7/317 1063734
/proc/meminfo: memFree=123195472/131655788 swapFree=131071996/131071996
[pid=1063716] ppid=1063713 vsize=18975048 memory=55452 CPUtime=0.12 cores=4,6
/proc/1063716/stat : 1063716 (java) S 1063713 1063716 1058409 0 -1 1077936128 6463 0 0 0 9 3 0 0 20 0 18 0 197986968 19430449152 13863 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
/proc/1063716/statm: 4743762 13863 5573 1 0 550800 0
[pid=1063716/tid=1063718] ppid=1063713 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/1063716/task/1063718/stat : 1063718 (java) R 1063713 1063716 1058409 0 -1 4194368 5385 0 0 0 6 2 0 0 20 0 18 0 197986969 19430449152 13863 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
[pid=1063716/tid=1063727] ppid=1063713 vsize=18975048 memory=232851243367 CPUtime=0 cores=4,6
/proc/1063716/task/1063727/stat : 1063727 (Finalizer) S 1063713 1063716 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 197986973 19430449152 13863 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
[pid=1063716/tid=1063734] ppid=1063713 vsize=18975048 memory=15255952359842124 CPUtime=0 cores=4,6
/proc/1063716/task/1063734/stat : 1063734 (Common-Cleaner) S 1063713 1063716 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 197986974 19430449152 13863 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55452 KiB

[startup+0.214073 s]*
/proc/loadavg: 4.17 4.20 4.18 7/317 1063734
/proc/meminfo: memFree=123167760/131655788 swapFree=131071996/131071996
[pid=1063716] ppid=1063713 vsize=18975048 memory=62588 CPUtime=0.29 cores=4,6
/proc/1063716/stat : 1063716 (java) S 1063713 1063716 1058409 0 -1 1077936128 7161 0 0 0 26 3 0 0 20 0 18 0 197986968 19430449152 15647 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
/proc/1063716/statm: 4743762 15647 5580 1 0 551384 0
[pid=1063716/tid=1063718] ppid=1063713 vsize=18975048 memory=6876556183782621315 CPUtime=0.18 cores=4,6
/proc/1063716/task/1063718/stat : 1063718 (java) R 1063713 1063716 1058409 0 -1 4194368 5713 0 0 0 16 2 0 0 20 0 18 0 197986969 19430449152 15647 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
[pid=1063716/tid=1063727] ppid=1063713 vsize=18975048 memory=3711 CPUtime=0 cores=4,6
/proc/1063716/task/1063727/stat : 1063727 (Finalizer) S 1063713 1063716 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 197986973 19430449152 15647 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
[pid=1063716/tid=1063734] ppid=1063713 vsize=18975048 memory=13572595761026746 CPUtime=0 cores=4,6
/proc/1063716/task/1063734/stat : 1063734 (Common-Cleaner) S 1063713 1063716 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 197986974 19430449152 15647 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62588 KiB

[startup+0.316992 s]*
/proc/loadavg: 4.17 4.20 4.18 9/317 1063734
/proc/meminfo: memFree=123164592/131655788 swapFree=131071996/131071996
[pid=1063716] ppid=1063713 vsize=18975048 memory=66372 CPUtime=0.46 cores=4,6
/proc/1063716/stat : 1063716 (java) S 1063713 1063716 1058409 0 -1 1077936128 7433 0 0 0 43 3 0 0 20 0 18 0 197986968 19430449152 16593 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
/proc/1063716/statm: 4743762 16593 5755 1 0 551579 0
[pid=1063716/tid=1063718] ppid=1063713 vsize=18975048 memory=-7595423554096753248 CPUtime=0.28 cores=4,6
/proc/1063716/task/1063718/stat : 1063718 (java) R 1063713 1063716 1058409 0 -1 4194368 5885 0 0 0 26 2 0 0 20 0 18 0 197986969 19430449152 16593 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
[pid=1063716/tid=1063727] ppid=1063713 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/1063716/task/1063727/stat : 1063727 (Finalizer) S 1063713 1063716 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 197986973 19430449152 16593 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
[pid=1063716/tid=1063734] ppid=1063713 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/1063716/task/1063734/stat : 1063734 (Common-Cleaner) S 1063713 1063716 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 197986974 19430449152 16593 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66372 KiB

[startup+0.702992 s]
/proc/loadavg: 4.17 4.20 4.18 6/318 1063735
/proc/meminfo: memFree=123158848/131655788 swapFree=131071996/131071996
[pid=1063716] ppid=1063713 vsize=19041612 memory=74044 CPUtime=1.15 cores=4,6
/proc/1063716/stat : 1063716 (java) S 1063713 1063716 1058409 0 -1 1077936128 9435 0 0 0 111 4 0 0 20 0 19 0 197986968 19498610688 18511 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
/proc/1063716/statm: 4760403 18511 5872 1 0 553025 0
[pid=1063716/tid=1063718] ppid=1063713 vsize=19041612 memory=5616 CPUtime=0.62 cores=4,6
/proc/1063716/task/1063718/stat : 1063718 (java) R 1063713 1063716 1058409 0 -1 4194368 5947 0 0 0 59 3 0 0 20 0 19 0 197986969 19498610688 18511 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
[pid=1063716/tid=1063727] ppid=1063713 vsize=19041612 memory=11884 CPUtime=0 cores=4,6
/proc/1063716/task/1063727/stat : 1063727 (Finalizer) S 1063713 1063716 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 197986973 19498610688 18511 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
[pid=1063716/tid=1063734] ppid=1063713 vsize=19041612 memory=164 CPUtime=0 cores=4,6
/proc/1063716/task/1063734/stat : 1063734 (Common-Cleaner) S 1063713 1063716 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 197986974 19498610688 18511 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
[pid=1063716/tid=1063735] ppid=1063713 vsize=19041612 memory=117636 CPUtime=0 cores=4,6
/proc/1063716/task/1063735/stat : 1063735 (Timer-0) S 1063713 1063716 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197987003 19498610688 18511 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 74044 KiB

[startup+1.50098 s]
/proc/loadavg: 4.17 4.20 4.18 6/318 1063735
/proc/meminfo: memFree=123142352/131655788 swapFree=131071996/131071996
[pid=1063716] ppid=1063713 vsize=19041612 memory=92848 CPUtime=2.74 cores=4,6
/proc/1063716/stat : 1063716 (java) S 1063713 1063716 1058409 0 -1 1077936128 18882 0 0 0 267 7 0 0 20 0 19 0 197986968 19498610688 23212 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
/proc/1063716/statm: 4760403 23212 5872 1 0 556103 0
[pid=1063716/tid=1063718] ppid=1063713 vsize=19041612 memory=11884 CPUtime=1.39 cores=4,6
/proc/1063716/task/1063718/stat : 1063718 (java) R 1063713 1063716 1058409 0 -1 4194368 6382 0 0 0 136 3 0 0 20 0 19 0 197986969 19498610688 23212 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
[pid=1063716/tid=1063727] ppid=1063713 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1063716/task/1063727/stat : 1063727 (Finalizer) S 1063713 1063716 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 197986973 19498610688 23212 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
[pid=1063716/tid=1063734] ppid=1063713 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1063716/task/1063734/stat : 1063734 (Common-Cleaner) S 1063713 1063716 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 197986974 19498610688 23212 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
[pid=1063716/tid=1063735] ppid=1063713 vsize=19041612 memory=280377746957584 CPUtime=0 cores=4,6
/proc/1063716/task/1063735/stat : 1063735 (Timer-0) S 1063713 1063716 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197987003 19498610688 23212 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
Current children cumulated CPU time: 2.74 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 92848 KiB

[startup+3.1055 s]
/proc/loadavg: 4.32 4.23 4.19 5/318 1063735
/proc/meminfo: memFree=123125504/131655788 swapFree=131071996/131071996
[pid=1063716] ppid=1063713 vsize=19041612 memory=105588 CPUtime=4.81 cores=4,6
/proc/1063716/stat : 1063716 (java) S 1063713 1063716 1058409 0 -1 1077936128 19871 0 0 0 474 7 0 0 20 0 19 0 197986968 19498610688 26397 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
/proc/1063716/statm: 4760403 26397 5872 1 0 556107 0
[pid=1063716/tid=1063718] ppid=1063713 vsize=19041612 memory=0 CPUtime=2.97 cores=4,6
/proc/1063716/task/1063718/stat : 1063718 (java) R 1063713 1063716 1058409 0 -1 4194368 6632 0 0 0 294 3 0 0 20 0 19 0 197986969 19498610688 26397 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
[pid=1063716/tid=1063727] ppid=1063713 vsize=19041612 memory=11884 CPUtime=0 cores=4,6
/proc/1063716/task/1063727/stat : 1063727 (Finalizer) S 1063713 1063716 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 197986973 19498610688 26397 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
[pid=1063716/tid=1063734] ppid=1063713 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1063716/task/1063734/stat : 1063734 (Common-Cleaner) S 1063713 1063716 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 197986974 19498610688 26397 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
[pid=1063716/tid=1063735] ppid=1063713 vsize=19041612 memory=11596 CPUtime=0 cores=4,6
/proc/1063716/task/1063735/stat : 1063735 (Timer-0) S 1063713 1063716 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197987003 19498610688 26397 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
Current children cumulated CPU time: 4.81 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 105588 KiB

[startup+6.30043 s]
/proc/loadavg: 4.32 4.23 4.19 5/318 1063737
/proc/meminfo: memFree=123116080/131655788 swapFree=131071996/131071996
[pid=1063716] ppid=1063713 vsize=19041612 memory=116948 CPUtime=8.01 cores=4,6
/proc/1063716/stat : 1063716 (java) S 1063713 1063716 1058409 0 -1 1077936128 20322 0 0 0 793 8 0 0 20 0 19 0 197986968 19498610688 29237 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
/proc/1063716/statm: 4760403 29237 5872 1 0 556141 0
[pid=1063716/tid=1063718] ppid=1063713 vsize=19041612 memory=11884 CPUtime=6.16 cores=4,6
/proc/1063716/task/1063718/stat : 1063718 (java) R 1063713 1063716 1058409 0 -1 4194368 6899 0 0 0 613 3 0 0 20 0 19 0 197986969 19498610688 29237 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
[pid=1063716/tid=1063727] ppid=1063713 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1063716/task/1063727/stat : 1063727 (Finalizer) S 1063713 1063716 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 197986973 19498610688 29237 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
[pid=1063716/tid=1063734] ppid=1063713 vsize=19041612 memory=93112 CPUtime=0 cores=4,6
/proc/1063716/task/1063734/stat : 1063734 (Common-Cleaner) S 1063713 1063716 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 197986974 19498610688 29237 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
[pid=1063716/tid=1063735] ppid=1063713 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/1063716/task/1063735/stat : 1063735 (Timer-0) S 1063713 1063716 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197987003 19498610688 29237 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
Current children cumulated CPU time: 8.01 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 116948 KiB

[startup+12.7004 s]
/proc/loadavg: 4.35 4.24 4.19 5/318 1063737
/proc/meminfo: memFree=123044040/131655788 swapFree=131071996/131071996
[pid=1063716] ppid=1063713 vsize=19041612 memory=151808 CPUtime=14.54 cores=4,6
/proc/1063716/stat : 1063716 (java) S 1063713 1063716 1058409 0 -1 1077936128 23223 0 0 0 1444 10 0 0 20 0 19 0 197986968 19498610688 37952 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
/proc/1063716/statm: 4760403 37952 5872 1 0 556141 0
[pid=1063716/tid=1063718] ppid=1063713 vsize=19041612 memory=0 CPUtime=12.54 cores=4,6
/proc/1063716/task/1063718/stat : 1063718 (java) R 1063713 1063716 1058409 0 -1 4194368 7736 0 0 0 1250 4 0 0 20 0 19 0 197986969 19498610688 37952 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
[pid=1063716/tid=1063727] ppid=1063713 vsize=19041612 memory=-7595423554096753248 CPUtime=0 cores=4,6
/proc/1063716/task/1063727/stat : 1063727 (Finalizer) S 1063713 1063716 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 197986973 19498610688 37952 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
[pid=1063716/tid=1063734] ppid=1063713 vsize=19041612 memory=2220 CPUtime=0 cores=4,6
/proc/1063716/task/1063734/stat : 1063734 (Common-Cleaner) S 1063713 1063716 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 197986974 19498610688 37952 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
[pid=1063716/tid=1063735] ppid=1063713 vsize=19041612 memory=11596 CPUtime=0 cores=4,6
/proc/1063716/task/1063735/stat : 1063735 (Timer-0) S 1063713 1063716 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197987003 19498610688 37952 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
Current children cumulated CPU time: 14.54 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 151808 KiB

[startup+25.5005 s]
/proc/loadavg: 4.30 4.23 4.19 5/319 1063739
/proc/meminfo: memFree=122975784/131655788 swapFree=131071996/131071996
[pid=1063716] ppid=1063713 vsize=19108176 memory=183056 CPUtime=27.45 cores=4,6
/proc/1063716/stat : 1063716 (java) S 1063713 1063716 1058409 0 -1 1077936128 29048 0 0 0 2733 12 0 0 20 0 20 0 197986968 19566772224 45764 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
/proc/1063716/statm: 4777044 45764 5920 1 0 556430 0
[pid=1063716/tid=1063718] ppid=1063713 vsize=19108176 memory=11596 CPUtime=25.27 cores=4,6
/proc/1063716/task/1063718/stat : 1063718 (java) R 1063713 1063716 1058409 0 -1 4194368 9115 0 0 0 2522 5 0 0 20 0 20 0 197986969 19566772224 45764 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
[pid=1063716/tid=1063727] ppid=1063713 vsize=19108176 memory=11596 CPUtime=0 cores=4,6
/proc/1063716/task/1063727/stat : 1063727 (Finalizer) S 1063713 1063716 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197986973 19566772224 45764 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
[pid=1063716/tid=1063734] ppid=1063713 vsize=19108176 memory=116948 CPUtime=0 cores=4,6
/proc/1063716/task/1063734/stat : 1063734 (Common-Cleaner) S 1063713 1063716 1058409 0 -1 1077936192 59 0 0 0 0 0 0 0 20 0 20 0 197986974 19566772224 45764 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
[pid=1063716/tid=1063735] ppid=1063713 vsize=19108176 memory=280377746904368 CPUtime=0 cores=4,6
/proc/1063716/task/1063735/stat : 1063735 (Timer-0) S 1063713 1063716 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197987003 19566772224 45764 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
Current children cumulated CPU time: 27.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 183056 KiB

[startup+51.113 s]
/proc/loadavg: 4.33 4.24 4.19 5/319 1063745
/proc/meminfo: memFree=122868576/131655788 swapFree=131071996/131071996
[pid=1063716] ppid=1063713 vsize=19108176 memory=189400 CPUtime=53.01 cores=4,6
/proc/1063716/stat : 1063716 (java) S 1063713 1063716 1058409 0 -1 1077936128 31803 0 0 0 5288 13 0 0 20 0 20 0 197986968 19566772224 47350 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
/proc/1063716/statm: 4777044 47350 5920 1 0 556430 0
[pid=1063716/tid=1063718] ppid=1063713 vsize=19108176 memory=189384 CPUtime=50.77 cores=4,6
/proc/1063716/task/1063718/stat : 1063718 (java) R 1063713 1063716 1058409 0 -1 4194368 10424 0 0 0 5072 5 0 0 20 0 20 0 197986969 19566772224 47350 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
[pid=1063716/tid=1063727] ppid=1063713 vsize=19108176 memory=280377747654016 CPUtime=0 cores=4,6
/proc/1063716/task/1063727/stat : 1063727 (Finalizer) S 1063713 1063716 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197986973 19566772224 47350 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0

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

[startup+3282.3 s]
/proc/loadavg: 4.22 4.30 4.24 5/317 1065501
/proc/meminfo: memFree=118219904/131655788 swapFree=131071996/131071996
[pid=1063716] ppid=1063713 vsize=19108176 memory=1235360 CPUtime=3273.92 cores=4,6
/proc/1063716/stat : 1063716 (java) S 1063713 1063716 1058409 0 -1 1077936128 93744 0 0 0 327214 178 0 0 20 0 20 0 197986968 19566772224 308840 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
/proc/1063716/statm: 4777044 308840 5936 1 0 556464 0
[pid=1063716/tid=1063718] ppid=1063713 vsize=19108176 memory=1235360 CPUtime=3264.82 cores=4,6
/proc/1063716/task/1063718/stat : 1063718 (java) R 1063713 1063716 1058409 0 -1 4194368 42687 0 0 0 326470 12 0 0 20 0 20 0 197986969 19566772224 308840 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
[pid=1063716/tid=1063727] ppid=1063713 vsize=19108176 memory=1235360 CPUtime=0 cores=4,6
/proc/1063716/task/1063727/stat : 1063727 (Finalizer) S 1063713 1063716 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197986973 19566772224 308840 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
[pid=1063716/tid=1063734] ppid=1063713 vsize=19108176 memory=1235360 CPUtime=0 cores=4,6
/proc/1063716/task/1063734/stat : 1063734 (Common-Cleaner) S 1063713 1063716 1058409 0 -1 1077936192 3765 0 0 0 0 0 0 0 20 0 20 0 197986974 19566772224 308840 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
[pid=1063716/tid=1063735] ppid=1063713 vsize=19108176 memory=1235360 CPUtime=0 cores=4,6
/proc/1063716/task/1063735/stat : 1063735 (Timer-0) S 1063713 1063716 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197987003 19566772224 308840 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
Current children cumulated CPU time: 3273.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1235360 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.24 4.22 5/317 1065511
/proc/meminfo: memFree=118129812/131655788 swapFree=131071996/131071996
[pid=1063716] ppid=1063713 vsize=19108176 memory=1322496 CPUtime=3334.25 cores=4,6
/proc/1063716/stat : 1063716 (java) S 1063713 1063716 1058409 0 -1 1077936128 105751 0 0 0 333241 184 0 0 20 0 20 0 197986968 19566772224 330624 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
/proc/1063716/statm: 4777044 330624 5936 1 0 560923 0
[pid=1063716/tid=1063718] ppid=1063713 vsize=19108176 memory=1235360 CPUtime=3324.47 cores=4,6
/proc/1063716/task/1063718/stat : 1063718 (java) R 1063713 1063716 1058409 0 -1 4194368 47598 0 0 0 332435 12 0 0 20 0 20 0 197986969 19566772224 330624 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
[pid=1063716/tid=1063727] ppid=1063713 vsize=19108176 memory=11596 CPUtime=0 cores=4,6
/proc/1063716/task/1063727/stat : 1063727 (Finalizer) S 1063713 1063716 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197986973 19566772224 330624 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
[pid=1063716/tid=1063734] ppid=1063713 vsize=19108176 memory=11596 CPUtime=0 cores=4,6
/proc/1063716/task/1063734/stat : 1063734 (Common-Cleaner) S 1063713 1063716 1058409 0 -1 1077936192 3876 0 0 0 0 0 0 0 20 0 20 0 197986974 19566772224 330624 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
[pid=1063716/tid=1063735] ppid=1063713 vsize=19108176 memory=1322344 CPUtime=0 cores=4,6
/proc/1063716/task/1063735/stat : 1063735 (Timer-0) S 1063713 1063716 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197987003 19566772224 330624 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
Current children cumulated CPU time: 3334.25 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1322496 KiB

[startup+3402.3 s]
/proc/loadavg: 3.50 4.05 4.16 4/291 1065554
/proc/meminfo: memFree=119236156/131655788 swapFree=131071996/131071996
[pid=1063716] ppid=1063713 vsize=19108176 memory=1322496 CPUtime=3394.14 cores=4,6
/proc/1063716/stat : 1063716 (java) S 1063713 1063716 1058409 0 -1 1077936128 106540 0 0 0 339227 187 0 0 20 0 20 0 197986968 19566772224 330624 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
/proc/1063716/statm: 4777044 330624 5936 1 0 560923 0
[pid=1063716/tid=1063718] ppid=1063713 vsize=19108176 memory=1235360 CPUtime=3384.32 cores=4,6
/proc/1063716/task/1063718/stat : 1063718 (java) R 1063713 1063716 1058409 0 -1 4194368 48230 0 0 0 338420 12 0 0 20 0 20 0 197986969 19566772224 330624 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
[pid=1063716/tid=1063727] ppid=1063713 vsize=19108176 memory=1322496 CPUtime=0 cores=4,6
/proc/1063716/task/1063727/stat : 1063727 (Finalizer) S 1063713 1063716 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197986973 19566772224 330624 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
[pid=1063716/tid=1063734] ppid=1063713 vsize=19108176 memory=1322496 CPUtime=0 cores=4,6
/proc/1063716/task/1063734/stat : 1063734 (Common-Cleaner) S 1063713 1063716 1058409 0 -1 1077936192 3933 0 0 0 0 0 0 0 20 0 20 0 197986974 19566772224 330624 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
[pid=1063716/tid=1063735] ppid=1063713 vsize=19108176 memory=-7595423554096753248 CPUtime=0 cores=4,6
/proc/1063716/task/1063735/stat : 1063735 (Timer-0) S 1063713 1063716 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197987003 19566772224 330624 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
Current children cumulated CPU time: 3394.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1322496 KiB

[startup+3462.3 s]
/proc/loadavg: 2.94 3.81 4.07 3/265 1065599
/proc/meminfo: memFree=121278908/131655788 swapFree=131071996/131071996
[pid=1063716] ppid=1063713 vsize=19108176 memory=1322496 CPUtime=3454 cores=4,6
/proc/1063716/stat : 1063716 (java) S 1063713 1063716 1058409 0 -1 1077936128 107470 0 0 0 345211 189 0 0 20 0 20 0 197986968 19566772224 330624 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
/proc/1063716/statm: 4777044 330624 5936 1 0 560923 0
[pid=1063716/tid=1063718] ppid=1063713 vsize=19108176 memory=11596 CPUtime=3444.14 cores=4,6
/proc/1063716/task/1063718/stat : 1063718 (java) R 1063713 1063716 1058409 0 -1 4194368 49022 0 0 0 344402 12 0 0 20 0 20 0 197986969 19566772224 330624 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
[pid=1063716/tid=1063727] ppid=1063713 vsize=19108176 memory=1322496 CPUtime=0 cores=4,6
/proc/1063716/task/1063727/stat : 1063727 (Finalizer) S 1063713 1063716 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197986973 19566772224 330624 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
[pid=1063716/tid=1063734] ppid=1063713 vsize=19108176 memory=11596 CPUtime=0 cores=4,6
/proc/1063716/task/1063734/stat : 1063734 (Common-Cleaner) S 1063713 1063716 1058409 0 -1 1077936192 3960 0 0 0 0 0 0 0 20 0 20 0 197986974 19566772224 330624 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
[pid=1063716/tid=1063735] ppid=1063713 vsize=19108176 memory=11596 CPUtime=0 cores=4,6
/proc/1063716/task/1063735/stat : 1063735 (Timer-0) S 1063713 1063716 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197987003 19566772224 330624 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
Current children cumulated CPU time: 3454 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1322496 KiB

[startup+3522.3 s]
/proc/loadavg: 2.40 3.49 3.94 3/268 1065615
/proc/meminfo: memFree=121274644/131655788 swapFree=131071996/131071996
[pid=1063716] ppid=1063713 vsize=19108176 memory=1326608 CPUtime=3513.96 cores=4,6
/proc/1063716/stat : 1063716 (java) S 1063713 1063716 1058409 0 -1 1077936128 109559 0 0 0 351205 191 0 0 20 0 20 0 197986968 19566772224 331652 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
/proc/1063716/statm: 4777044 331652 5936 1 0 560925 0
[pid=1063716/tid=1063718] ppid=1063713 vsize=19108176 memory=1322496 CPUtime=3503.95 cores=4,6
/proc/1063716/task/1063718/stat : 1063718 (java) R 1063713 1063716 1058409 0 -1 4194368 49844 0 0 0 350383 12 0 0 20 0 20 0 197986969 19566772224 331652 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
[pid=1063716/tid=1063727] ppid=1063713 vsize=19108176 memory=1326608 CPUtime=0 cores=4,6
/proc/1063716/task/1063727/stat : 1063727 (Finalizer) S 1063713 1063716 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197986973 19566772224 331652 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
[pid=1063716/tid=1063734] ppid=1063713 vsize=19108176 memory=1326608 CPUtime=0 cores=4,6
/proc/1063716/task/1063734/stat : 1063734 (Common-Cleaner) S 1063713 1063716 1058409 0 -1 1077936192 4004 0 0 0 0 0 0 0 20 0 20 0 197986974 19566772224 331652 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
[pid=1063716/tid=1063735] ppid=1063713 vsize=19108176 memory=1326608 CPUtime=0 cores=4,6
/proc/1063716/task/1063735/stat : 1063735 (Timer-0) S 1063713 1063716 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197987003 19566772224 331652 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
Current children cumulated CPU time: 3513.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1326608 KiB

[startup+3582.3 s]
/proc/loadavg: 1.59 3.05 3.76 2/242 1065658
/proc/meminfo: memFree=122846032/131655788 swapFree=131071996/131071996
[pid=1063716] ppid=1063713 vsize=19108176 memory=1326668 CPUtime=3573.88 cores=4,6
/proc/1063716/stat : 1063716 (java) S 1063713 1063716 1058409 0 -1 1077936128 111669 0 0 0 357194 194 0 0 20 0 20 0 197986968 19566772224 331667 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
/proc/1063716/statm: 4777044 331667 5936 1 0 560926 0
[pid=1063716/tid=1063718] ppid=1063713 vsize=19108176 memory=1326668 CPUtime=3563.83 cores=4,6
/proc/1063716/task/1063718/stat : 1063718 (java) R 1063713 1063716 1058409 0 -1 4194368 50755 0 0 0 356370 13 0 0 20 0 20 0 197986969 19566772224 331667 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
[pid=1063716/tid=1063727] ppid=1063713 vsize=19108176 memory=11596 CPUtime=0 cores=4,6
/proc/1063716/task/1063727/stat : 1063727 (Finalizer) S 1063713 1063716 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197986973 19566772224 331667 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
[pid=1063716/tid=1063734] ppid=1063713 vsize=19108176 memory=11596 CPUtime=0 cores=4,6
/proc/1063716/task/1063734/stat : 1063734 (Common-Cleaner) S 1063713 1063716 1058409 0 -1 1077936192 4087 0 0 0 0 0 0 0 20 0 20 0 197986974 19566772224 331667 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
[pid=1063716/tid=1063735] ppid=1063713 vsize=19108176 memory=5636 CPUtime=0 cores=4,6
/proc/1063716/task/1063735/stat : 1063735 (Timer-0) S 1063713 1063716 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197987003 19566772224 331667 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
Current children cumulated CPU time: 3573.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1326668 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.5 s]
/proc/loadavg: 1.38 2.89 3.68 2/242 1065664
/proc/meminfo: memFree=122845860/131655788 swapFree=131071996/131071996
[pid=1063716] ppid=1063713 vsize=19108176 memory=1326680 CPUtime=3600.04 cores=4,6
/proc/1063716/stat : 1063716 (java) S 1063713 1063716 1058409 0 -1 1077936128 112150 0 0 0 359809 195 0 0 20 0 20 0 197986968 19566772224 331670 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
/proc/1063716/statm: 4777044 331670 5936 1 0 560929 0
[pid=1063716/tid=1063718] ppid=1063713 vsize=19108176 memory=11884 CPUtime=3589.97 cores=4,6
/proc/1063716/task/1063718/stat : 1063718 (java) R 1063713 1063716 1058409 0 -1 4194368 51228 0 0 0 358984 13 0 0 20 0 20 0 197986969 19566772224 331670 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
[pid=1063716/tid=1063727] ppid=1063713 vsize=19108176 memory=1326668 CPUtime=0 cores=4,6
/proc/1063716/task/1063727/stat : 1063727 (Finalizer) S 1063713 1063716 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197986973 19566772224 331670 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
[pid=1063716/tid=1063734] ppid=1063713 vsize=19108176 memory=1326676 CPUtime=0 cores=4,6
/proc/1063716/task/1063734/stat : 1063734 (Common-Cleaner) S 1063713 1063716 1058409 0 -1 1077936192 4087 0 0 0 0 0 0 0 20 0 20 0 197986974 19566772224 331670 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
[pid=1063716/tid=1063735] ppid=1063713 vsize=19108176 memory=1326680 CPUtime=0 cores=4,6
/proc/1063716/task/1063735/stat : 1063735 (Timer-0) S 1063713 1063716 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197987003 19566772224 331670 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1326680 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.29 s, system=1.98405 s

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

[startup+3608.61 s]
/proc/loadavg: 1.38 2.89 3.68 2/242 1065664
/proc/meminfo: memFree=122845860/131655788 swapFree=131071996/131071996
[pid=1063716] ppid=1063713 vsize=19307868 memory=1327560 CPUtime=3600.25 cores=4,6
/proc/1063716/stat : 1063716 (java) S 1063713 1063716 1058409 0 -1 1077936128 115611 0 0 0 359829 196 0 0 20 0 15 0 197986968 19771256832 331890 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
/proc/1063716/statm: 4826967 331890 5948 1 0 561854 0
[pid=1063716/tid=1063718] ppid=1063713 vsize=19307868 memory=7508 CPUtime=3590 cores=4,6
/proc/1063716/task/1063718/stat : 1063718 (java) S 1063713 1063716 1058409 0 -1 1077936192 51496 0 0 0 358987 13 0 0 20 0 15 0 197986969 19771256832 331890 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
[pid=1063716/tid=1063727] ppid=1063713 vsize=19307868 memory=30160 CPUtime=0 cores=4,6
/proc/1063716/task/1063727/stat : 1063727 (Finalizer) S 1063713 1063716 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 15 0 197986973 19771256832 331890 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
[pid=1063716/tid=1063734] ppid=1063713 vsize=19307868 memory=3776 CPUtime=0 cores=4,6
/proc/1063716/task/1063734/stat : 1063734 (Common-Cleaner) S 1063713 1063716 1058409 0 -1 1077936192 4087 0 0 0 0 0 0 0 20 0 15 0 197986974 19771256832 331890 134679101440 94850227433472 94850227437168 140729535842032 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94850227444984 94850227445776 94850256343040 140729535845381 140729535845471 140729535845471 140729535852488 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 1327560 KiB

Child status: 143

Real time (s): 3608.63
CPU time (s): 3600.28
CPU user time (s): 3598.29
CPU system time (s): 1.98405
CPU usage (%): 99.7684
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 1327560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.29
system time used= 1.98405
maximum resident set size= 1328416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 115659
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103559
involuntary context switches= 11590


# summary of solver processes directly reported to runsolver:
#   pid: 1063716
#   total CPU time (s): 3600.28
#   total CPU user time (s): 3598.29
#   total CPU system time (s): 1.98405

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1483 second user time and 34.5356 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2024-07-20 08:52:01
IDJOB=4453474
IDBENCH=175510
IDSOLVER=3058
FILE ID=nodeC003/4453474-1721458309
RUNJOBID= nodeC003-1721450898-1058420
SLURM_JOB_ID= 7545681
Free space on /tmp= 723780 MiB

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

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

MD5SUM BENCH= acb26b9ac2b66d2444a9540d0b030c40
RANDOM SEED=77272115

nodeC003.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3675.522
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.76
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	: 0xb00001f
cpu MHz		: 3659.608
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.242
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.76
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	: 0xb00001f
cpu MHz		: 1197.330
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.926
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.76
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	: 0xb00001f
cpu MHz		: 3667.199
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.225
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.76
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	: 0xb00001f
cpu MHz		: 1197.330
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        123230572 kB
MemAvailable:   128894136 kB
Buffers:          572052 kB
Cached:          5873636 kB
SwapCached:            0 kB
Active:          1063712 kB
Inactive:        6668504 kB
Active(anon):       1452 kB
Inactive(anon):  1330964 kB
Active(file):    1062260 kB
Inactive(file):  5337540 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:               756 kB
Writeback:            56 kB
AnonPages:       1286524 kB
Mapped:           128348 kB
Shmem:             45896 kB
KReclaimable:     207592 kB
Slab:             323824 kB
SReclaimable:     207592 kB
SUnreclaim:       116232 kB
KernelStack:        4832 kB
PageTables:        12744 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    7287368 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            59072 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1036288 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      275272 kB
DirectMap2M:    31086592 kB
DirectMap1G:    104857600 kB

Free space on /tmp at the end= 723780 MiB
End job on nodeC003 at 2024-07-20 09:52:09