Trace number 4514310

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution 2025-06-06? (TO) 3600.18 3604.23

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_8.opb
MD5SUM07ba29cf24b97459f05241f8c3fed802
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 benchmark4.43848
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5256
Total number of constraints25637
Number of constraints which are clauses25632
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint72
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 8
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 80
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c Expensive reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4514310-1751225757.opb
0.13/0.12	c reading problem ... 
0.13/0.12	c  no objective function found
0.90/0.55	c ... done. Wall clock time 0.421s.
0.90/0.55	c declared #vars     5256
0.90/0.55	c #constraints  25641
0.90/0.55	c constraints type 
0.90/0.55	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 10295
0.90/0.55	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 3
0.90/0.55	c org.sat4j.specs.Constr$1 => 4
0.90/0.55	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 15336
0.90/0.55	c org.sat4j.pb.constraints.pb.UnitClausePB => 3
0.90/0.55	c 25641 constraints processed.
2.94/1.75	c cleaning 2500 clauses out of 5000 with flag 41095/5000
4.27/2.81	c cleaning 4249 clauses out of 8500 with flag 97385/11000
5.64/3.92	c cleaning 5626 clauses out of 11251 with flag 159952/18000
7.06/5.30	c cleaning 6808 clauses out of 13625 with flag 229142/26000
8.37/6.69	c cleaning 7906 clauses out of 15817 with flag 297261/35000
10.07/8.30	c cleaning 8949 clauses out of 17911 with flag 361552/45000
11.97/10.28	c cleaning 9977 clauses out of 19962 with flag 433168/56000
13.87/12.15	c cleaning 10992 clauses out of 21985 with flag 530891/68000
15.66/13.99	c cleaning 11998 clauses out of 23995 with flag 608381/81002
17.89/16.14	c cleaning 12985 clauses out of 25996 with flag 712008/95001
19.98/18.26	c cleaning 14001 clauses out of 28011 with flag 810747/110001
22.57/20.82	c cleaning 15003 clauses out of 30009 with flag 907241/126000
24.99/23.28	c cleaning 15997 clauses out of 32012 with flag 1006134/143006
28.01/26.24	c cleaning 16971 clauses out of 34009 with flag 1148883/161000
30.91/29.13	c cleaning 18016 clauses out of 36038 with flag 1259637/180000
34.00/32.25	c cleaning 18998 clauses out of 38022 with flag 1388579/200000
37.09/35.39	c cleaning 19995 clauses out of 40024 with flag 1517998/221000
40.58/38.89	c cleaning 21004 clauses out of 42031 with flag 1660991/243002
44.29/42.56	c cleaning 22004 clauses out of 44025 with flag 1799491/266000
47.99/46.26	c cleaning 22995 clauses out of 46021 with flag 1947796/290000
52.08/50.34	c cleaning 24006 clauses out of 48026 with flag 2098331/315000
56.17/54.45	c cleaning 25002 clauses out of 50020 with flag 2249338/341000
60.66/58.90	c cleaning 25991 clauses out of 52018 with flag 2400702/368000
64.96/63.20	c cleaning 27013 clauses out of 54027 with flag 2557569/396000
69.25/67.51	c cleaning 28004 clauses out of 56015 with flag 2711949/425001
74.38/72.48	c cleaning 28995 clauses out of 58010 with flag 2871372/455000
80.06/78.03	c cleaning 30009 clauses out of 60017 with flag 3074090/486002
85.72/83.60	c cleaning 30995 clauses out of 62008 with flag 3278431/518002
91.61/89.53	c cleaning 31995 clauses out of 64011 with flag 3476197/551000
97.40/95.38	c cleaning 33000 clauses out of 66016 with flag 3675262/585000
103.39/101.34	c cleaning 33997 clauses out of 68016 with flag 3861604/620000
109.73/107.65	c cleaning 34987 clauses out of 70021 with flag 4083295/656002
115.71/113.61	c cleaning 36011 clauses out of 72032 with flag 4288192/693000
122.11/120.01	c cleaning 37002 clauses out of 74022 with flag 4489574/731001
129.09/127.08	c cleaning 37927 clauses out of 76020 with flag 4705737/770001
136.37/134.35	c cleaning 39046 clauses out of 78096 with flag 4945607/810004
143.75/141.78	c cleaning 40003 clauses out of 80046 with flag 5186865/851000
151.77/149.74	c cleaning 40997 clauses out of 82043 with flag 5452600/893000
159.75/157.73	c cleaning 42005 clauses out of 84048 with flag 5700750/936002
168.05/166.02	c cleaning 42984 clauses out of 86041 with flag 5966446/980000
176.13/174.11	c cleaning 44026 clauses out of 88059 with flag 6223044/1025002
184.44/182.48	c cleaning 45010 clauses out of 90031 with flag 6490034/1071000
193.02/191.08	c cleaning 45983 clauses out of 92021 with flag 6762427/1118000
201.60/199.66	c cleaning 47008 clauses out of 94038 with flag 7040518/1166000
210.68/208.71	c cleaning 48008 clauses out of 96030 with flag 7290279/1215000
220.26/218.34	c cleaning 48998 clauses out of 98023 with flag 7576329/1265001
229.79/227.82	c cleaning 50001 clauses out of 100024 with flag 7881204/1316000
240.16/238.23	c cleaning 50992 clauses out of 102023 with flag 8182882/1368000
250.74/248.87	c cleaning 51981 clauses out of 104031 with flag 8489101/1421000
261.12/259.25	c cleaning 53029 clauses out of 106059 with flag 8798399/1475009
271.24/269.33	c cleaning 54002 clauses out of 108021 with flag 9112368/1530000
282.32/280.47	c cleaning 55004 clauses out of 110019 with flag 9406125/1586000
293.09/291.25	c cleaning 55993 clauses out of 112015 with flag 9724044/1643000
303.57/301.76	c cleaning 56991 clauses out of 114022 with flag 10037481/1701000
315.39/313.55	c cleaning 58014 clauses out of 116032 with flag 10334297/1760001
327.57/325.78	c cleaning 58993 clauses out of 118017 with flag 10705624/1820000
339.24/337.49	c cleaning 60005 clauses out of 120024 with flag 11075042/1881000
351.22/349.46	c cleaning 61007 clauses out of 122019 with flag 11411308/1943000
364.12/362.35	c cleaning 61996 clauses out of 124012 with flag 11767595/2006000
376.49/374.72	c cleaning 63001 clauses out of 126016 with flag 12139683/2070000
390.17/388.44	c cleaning 64008 clauses out of 128020 with flag 12514901/2135005
403.64/401.92	c cleaning 65000 clauses out of 130007 with flag 12927670/2201000
417.43/415.73	c cleaning 65996 clauses out of 132007 with flag 13333016/2268000
430.82/429.11	c cleaning 66991 clauses out of 134012 with flag 13717195/2336001
445.48/443.83	c cleaning 68002 clauses out of 136020 with flag 14131612/2405000
459.35/457.76	c cleaning 68999 clauses out of 138019 with flag 14554454/2475001
474.66/472.99	c cleaning 70004 clauses out of 140018 with flag 15020441/2546001
491.62/489.93	c cleaning 70960 clauses out of 142014 with flag 15480285/2618001
507.88/506.25	c cleaning 72023 clauses out of 144059 with flag 15956744/2691006
523.56/521.94	c cleaning 73010 clauses out of 146031 with flag 16439855/2765001
539.52/537.92	c cleaning 73991 clauses out of 148020 with flag 16912619/2840000
555.03/553.49	c cleaning 74994 clauses out of 150029 with flag 17372649/2916000
571.50/570.00	c cleaning 76000 clauses out of 152035 with flag 17840017/2993000
588.77/587.27	c cleaning 76989 clauses out of 154035 with flag 18343728/3071000
605.73/604.24	c cleaning 77997 clauses out of 156046 with flag 18806861/3150000
624.20/622.74	c cleaning 79006 clauses out of 158049 with flag 19333024/3230000
644.98/643.42	c cleaning 80003 clauses out of 160034 with flag 19912810/3311000
666.83/665.37	c cleaning 80995 clauses out of 162029 with flag 20505513/3393003
685.69/684.25	c cleaning 82007 clauses out of 164031 with flag 21034681/3476000
704.34/702.96	c cleaning 82994 clauses out of 166024 with flag 21537061/3560000
724.51/723.16	c cleaning 84012 clauses out of 168029 with flag 22074527/3645001
744.12/742.73	c cleaning 85002 clauses out of 170017 with flag 22616863/3731001
763.67/762.32	c cleaning 85980 clauses out of 172014 with flag 23115377/3818000
785.13/783.83	c cleaning 86994 clauses out of 174034 with flag 23646989/3906000
805.69/804.46	c cleaning 88017 clauses out of 176044 with flag 24174710/3995004
826.25/825.02	c cleaning 89013 clauses out of 178028 with flag 24727775/4085005
847.30/846.12	c cleaning 89994 clauses out of 180010 with flag 25262174/4176000
869.01/867.84	c cleaning 90985 clauses out of 182016 with flag 25828819/4268000
892.26/891.11	c cleaning 91988 clauses out of 184031 with flag 26417520/4361000
913.41/912.34	c cleaning 93018 clauses out of 186043 with flag 26995786/4455000
934.17/933.11	c cleaning 93997 clauses out of 188025 with flag 27535146/4550000
956.81/955.80	c cleaning 94995 clauses out of 190028 with flag 28090880/4646000
980.17/979.29	c cleaning 96011 clauses out of 192033 with flag 28702245/4743000
1003.42/1002.58	c cleaning 97009 clauses out of 194022 with flag 29283589/4841000
1027.03/1026.16	c cleaning 97985 clauses out of 196013 with flag 29901645/4940000
1051.07/1050.22	c cleaning 98987 clauses out of 198028 with flag 30526297/5040000
1075.62/1074.89	c cleaning 100011 clauses out of 200042 with flag 31188051/5141001
1099.77/1099.10	c cleaning 100998 clauses out of 202030 with flag 31837601/5243000
1125.02/1124.35	c cleaning 101957 clauses out of 204032 with flag 32491510/5346000
1151.85/1151.23	c cleaning 103038 clauses out of 206076 with flag 33175457/5450001
1177.00/1176.45	c cleaning 104015 clauses out of 208039 with flag 33851437/5555002
1201.44/1200.96	c cleaning 105005 clauses out of 210022 with flag 34531204/5661000
1228.39/1227.93	c cleaning 106008 clauses out of 212020 with flag 35259307/5768003
1252.71/1252.28	c cleaning 106997 clauses out of 214010 with flag 35926045/5876001
1279.85/1279.49	c cleaning 108001 clauses out of 216012 with flag 36629709/5985000
1304.29/1303.94	c cleaning 109003 clauses out of 218011 with flag 37283477/6095000
1332.13/1331.87	c cleaning 109968 clauses out of 220005 with flag 37964029/6206000
1359.17/1358.96	c cleaning 111006 clauses out of 222037 with flag 38642359/6318000
1387.11/1386.90	c cleaning 112007 clauses out of 224031 with flag 39321388/6431000
1415.25/1415.11	c cleaning 113014 clauses out of 226029 with flag 39992200/6545005
1442.99/1442.91	c cleaning 114000 clauses out of 228010 with flag 40639802/6660000
1473.73/1473.66	c cleaning 115003 clauses out of 230009 with flag 41384388/6776000
1503.36/1503.36	c cleaning 115987 clauses out of 232006 with flag 42094892/6893000
1533.79/1533.83	c cleaning 116998 clauses out of 234026 with flag 42816186/7011009
1567.12/1567.24	c cleaning 117972 clauses out of 236018 with flag 43554062/7130000
1600.14/1600.33	c cleaning 119018 clauses out of 238045 with flag 44296289/7250000
1633.78/1634.02	c cleaning 119990 clauses out of 240026 with flag 45048385/7371000
1664.71/1665.00	c cleaning 121013 clauses out of 242037 with flag 45802269/7493002
1697.64/1698.00	c cleaning 122009 clauses out of 244023 with flag 46541326/7616001
1731.66/1731.83	c cleaning 123002 clauses out of 246015 with flag 47265096/7740002
1765.49/1765.73	c cleaning 124003 clauses out of 248011 with flag 48047836/7865000
1802.90/1803.29	c cleaning 125000 clauses out of 250009 with flag 48857495/7991001
1840.71/1841.19	c cleaning 125979 clauses out of 252008 with flag 49753645/8118000
1874.92/1875.44	c cleaning 127006 clauses out of 254029 with flag 50565650/8246000
1912.92/1913.56	c cleaning 128007 clauses out of 256023 with flag 51421227/8375000
1946.94/1947.61	c cleaning 129000 clauses out of 258016 with flag 52212104/8505000
1985.45/1986.28	c cleaning 130003 clauses out of 260017 with flag 53042550/8636001
2020.62/2021.48	c cleaning 131005 clauses out of 262013 with flag 53878136/8768000
2055.74/2056.68	c cleaning 131998 clauses out of 264010 with flag 54725126/8901002
2093.75/2094.70	c cleaning 132979 clauses out of 266005 with flag 55590469/9035000
2133.96/2135.05	c cleaning 134011 clauses out of 268026 with flag 56400901/9170000
2172.89/2174.07	c cleaning 134997 clauses out of 270015 with flag 57280252/9306000
2208.91/2210.12	c cleaning 136011 clauses out of 272021 with flag 58060216/9443003
2250.11/2251.41	c cleaning 136993 clauses out of 274005 with flag 58908018/9581001
2291.32/2292.79	c cleaning 137998 clauses out of 276011 with flag 59771978/9720000
2332.54/2334.04	c cleaning 138998 clauses out of 278013 with flag 60660855/9860000
2376.23/2377.72	c cleaning 139981 clauses out of 280015 with flag 61493394/10001000
2419.03/2420.62	c cleaning 141010 clauses out of 282034 with flag 62344212/10143000
2458.85/2460.59	c cleaning 142001 clauses out of 284024 with flag 63212282/10286000
2500.26/2502.02	c cleaning 143008 clauses out of 286026 with flag 64060125/10430003
2542.66/2544.59	c cleaning 144005 clauses out of 288016 with flag 64896333/10575002
2589.26/2591.28	c cleaning 144956 clauses out of 290003 with flag 65790493/10721000
2639.06/2641.14	c cleaning 146006 clauses out of 292040 with flag 66693437/10868000
2683.95/2686.15	c cleaning 147011 clauses out of 294038 with flag 67615477/11016004
2730.04/2732.37	c cleaning 148011 clauses out of 296024 with flag 68558925/11165001
2774.75/2777.13	c cleaning 149003 clauses out of 298012 with flag 69565225/11315000
2820.85/2823.39	c cleaning 149999 clauses out of 300010 with flag 70648949/11466001
2866.83/2869.30	c cleaning 150997 clauses out of 302005 with flag 71601593/11618001
2911.62/2914.25	c cleaning 152001 clauses out of 304005 with flag 72466564/11771001
2965.10/2967.82	c cleaning 152991 clauses out of 305998 with flag 73494420/11925000
3016.20/3019.05	c cleaning 153961 clauses out of 308004 with flag 74409634/12080000
3066.07/3069.09	c cleaning 155000 clauses out of 310038 with flag 75300863/12236000
3117.23/3120.37	c cleaning 155987 clauses out of 312038 with flag 76242328/12393000
3168.91/3172.18	c cleaning 157007 clauses out of 314048 with flag 77176744/12551000
3219.48/3222.89	c cleaning 158015 clauses out of 316036 with flag 78092940/12710000
3270.85/3274.32	c cleaning 158997 clauses out of 318021 with flag 79028308/12870001
3325.42/3329.03	c cleaning 159996 clauses out of 320021 with flag 80094183/13031000
3380.20/3383.84	c cleaning 160998 clauses out of 322027 with flag 81196694/13193002
3436.18/3439.90	c cleaning 162002 clauses out of 324024 with flag 82138571/13356000
3488.76/3492.63	c cleaning 162994 clauses out of 326022 with flag 83104538/13520000
3542.04/3546.02	c cleaning 164004 clauses out of 328028 with flag 84087561/13685000
3598.42/3602.53	c cleaning 164986 clauses out of 330023 with flag 85032423/13851000
3600.02/3604.12	c timeout
3600.02/3604.13	c starts		: 42904
3600.02/3604.14	c conflicts		: 13858463
3600.02/3604.14	c decisions		: 109290441
3600.02/3604.14	c propagations		: 3393644285
3600.02/3604.14	c inspects		: 49505697779
3600.02/3604.14	c shortcuts		: 0
3600.02/3604.14	c learnt literals	: 87
3600.02/3604.14	c learnt binary clauses	: 1119
3600.02/3604.14	c learnt ternary clauses	: 11759
3600.02/3604.14	c learnt constraints	: 13858376
3600.02/3604.14	c ignored constraints	: 0
3600.02/3604.14	c root simplifications	: 0
3600.02/3604.14	c removed literals (reason simplification)	: 212176841
3600.02/3604.14	c reason swapping (by a shorter reason)	: 0
3600.02/3604.14	c Calls to reduceDB	: 162
3600.02/3604.14	c Number of update (reduction) of LBD	: 7224210
3600.02/3604.14	c Imported unit clauses	: 0
3600.02/3604.14	c No decision after first conflict	: false
3600.02/3604.14	c number of reductions to clauses (during analyze)	: 0
3600.02/3604.14	c number of learned constraints concerned by reduction	: 0
3600.02/3604.14	c number of learning phase by resolution	: 0
3600.02/3604.14	c number of learning phase by cutting planes	: 0
3600.02/3604.14	c number of rounding to 1 operations	: 0
3600.02/3604.14	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3604.14	c number of reductions of the coefficients by power 2 	: 0
3600.02/3604.14	c number of right shift for reduction by power 2 	: 0
3600.02/3604.14	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3604.14	c number of ending skipping 	: 0
3600.02/3604.15	c number of internal skipping 	: 0
3600.02/3604.15	c number of derivation steps 	: 0
3600.02/3604.15	c number of skipped derivation steps 	: 0
3600.02/3604.15	c number of remaining unassigned 	: 0
3600.02/3604.15	c number of remaining assigned 	: 0
3600.02/3604.15	c number of falsified literals weakened from reason	: 0
3600.02/3604.15	c number of falsified literals weakened from conflict	: 0
3600.02/3604.15	c time for arithmetic operations	: 0
3600.02/3604.15	c minimum degree of deleted constraints	: null
3600.02/3604.15	c maximum degree of deleted constraints	: null
3600.02/3604.15	c number of deleted constraints	: 0
3600.02/3604.16	c speed (assignments/second)	: 941738.0148224122
3600.02/3604.16	c non guided choices	: 4403
3600.13/3604.21	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 171381
3600.13/3604.21	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 1119
3600.13/3604.21	s UNKNOWN
3600.13/3604.22	c Total wall clock time (in seconds): 3604.093

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4514310-1751225757/watcher-4514310-1751225757 -o /tmp/evaluation-result-4514310-1751225757/solver-4514310-1751225757 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751222147-28932 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4514310-1751225757.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100059 s]*
/proc/loadavg: 4.14 4.20 4.13 6/337 29844
/proc/meminfo: memFree=128370048/131250000 swapFree=33010684/33010684
[pid=29826] ppid=29823 vsize=18930384 memory=59540 CPUtime=0.13 cores=0,2
/proc/29826/stat : 29826 (java) S 29823 29826 28922 0 -1 4194304 6519 0 0 0 11 2 0 0 20 0 18 0 38253234 19384713216 14885 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
/proc/29826/statm: 4732596 14885 5336 1 0 547642 0
[pid=29826/tid=29828] ppid=29823 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/29826/task/29828/stat : 29828 (java) R 29823 29826 28922 0 -1 4194368 5091 0 0 0 6 1 0 0 20 0 18 0 38253235 19384713216 14885 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
[pid=29826/tid=29837] ppid=29823 vsize=18930384 memory=241407623509 CPUtime=0 cores=0,2
/proc/29826/task/29837/stat : 29837 (Finalizer) S 29823 29826 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 38253237 19384713216 14885 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
[pid=29826/tid=29844] ppid=29823 vsize=18930384 memory=60684515934839 CPUtime=0 cores=0,2
/proc/29826/task/29844/stat : 29844 (Common-Cleaner) S 29823 29826 28922 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 38253237 19384713216 14885 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59540 KiB

[startup+0.2057 s]*
/proc/loadavg: 4.14 4.20 4.13 7/337 29844
/proc/meminfo: memFree=128362424/131250000 swapFree=33010684/33010684
[pid=29826] ppid=29823 vsize=18930384 memory=76568 CPUtime=0.33 cores=0,2
/proc/29826/stat : 29826 (java) S 29823 29826 28922 0 -1 4194304 8023 0 0 0 31 2 0 0 20 0 18 0 38253234 19384713216 19142 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
/proc/29826/statm: 4732596 19142 5432 1 0 548698 0
[pid=29826/tid=29828] ppid=29823 vsize=18930384 memory=4026597660 CPUtime=0.16 cores=0,2
/proc/29826/task/29828/stat : 29828 (java) R 29823 29826 28922 0 -1 4194368 5260 0 0 0 14 2 0 0 20 0 18 0 38253235 19384713216 19142 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
[pid=29826/tid=29837] ppid=29823 vsize=18930384 memory=15987 CPUtime=0 cores=0,2
/proc/29826/task/29837/stat : 29837 (Finalizer) S 29823 29826 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 38253237 19384713216 19142 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
[pid=29826/tid=29844] ppid=29823 vsize=18930384 memory=59585004307431 CPUtime=0 cores=0,2
/proc/29826/task/29844/stat : 29844 (Common-Cleaner) S 29823 29826 28922 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 38253237 19384713216 19142 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 76568 KiB

[startup+0.305773 s]*
/proc/loadavg: 4.14 4.20 4.13 6/337 29844
/proc/meminfo: memFree=128316612/131250000 swapFree=33010684/33010684
[pid=29826] ppid=29823 vsize=18930384 memory=118584 CPUtime=0.52 cores=0,2
/proc/29826/stat : 29826 (java) S 29823 29826 28922 0 -1 4194304 8340 0 0 0 49 3 0 0 20 0 18 0 38253234 19384713216 29646 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
/proc/29826/statm: 4732596 29646 5432 1 0 548934 0
[pid=29826/tid=29828] ppid=29823 vsize=18930384 memory=-6000919494231483245 CPUtime=0.25 cores=0,2
/proc/29826/task/29828/stat : 29828 (java) R 29823 29826 28922 0 -1 4194368 5281 0 0 0 23 2 0 0 20 0 18 0 38253235 19384713216 29646 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
[pid=29826/tid=29837] ppid=29823 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/29826/task/29837/stat : 29837 (Finalizer) S 29823 29826 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 38253237 19384713216 29646 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
[pid=29826/tid=29844] ppid=29823 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/29826/task/29844/stat : 29844 (Common-Cleaner) S 29823 29826 28922 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 38253237 19384713216 29646 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 118584 KiB

[startup+0.70023 s]
/proc/loadavg: 4.14 4.20 4.13 6/338 29845
/proc/meminfo: memFree=128267912/131250000 swapFree=33010684/33010684
[pid=29826] ppid=29823 vsize=19063512 memory=164792 CPUtime=1.28 cores=0,2
/proc/29826/stat : 29826 (java) S 29823 29826 28922 0 -1 4194304 10584 0 0 0 124 4 0 0 20 0 20 0 38253234 19521036288 41198 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
/proc/29826/statm: 4765878 41198 5496 1 0 551121 0
[pid=29826/tid=29828] ppid=29823 vsize=19063512 memory=17536 CPUtime=0.57 cores=0,2
/proc/29826/task/29828/stat : 29828 (java) R 29823 29826 28922 0 -1 4194368 5346 0 0 0 54 3 0 0 20 0 20 0 38253235 19521036288 41198 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
[pid=29826/tid=29837] ppid=29823 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/29826/task/29837/stat : 29837 (Finalizer) S 29823 29826 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38253237 19521036288 41198 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
[pid=29826/tid=29844] ppid=29823 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/29826/task/29844/stat : 29844 (Common-Cleaner) S 29823 29826 28922 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 38253237 19521036288 41198 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 164792 KiB

[startup+1.50022 s]
/proc/loadavg: 4.14 4.20 4.13 6/339 29846
/proc/meminfo: memFree=128251656/131250000 swapFree=33010684/33010684
[pid=29826] ppid=29823 vsize=19063512 memory=172664 CPUtime=2.64 cores=0,2
/proc/29826/stat : 29826 (java) S 29823 29826 28922 0 -1 4194304 15556 0 0 0 259 5 0 0 20 0 20 0 38253234 19521036288 43166 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
/proc/29826/statm: 4765878 43166 5496 1 0 553018 0
[pid=29826/tid=29828] ppid=29823 vsize=19063512 memory=3200 CPUtime=1.37 cores=0,2
/proc/29826/task/29828/stat : 29828 (java) R 29823 29826 28922 0 -1 4194368 5465 0 0 0 133 4 0 0 20 0 20 0 38253235 19521036288 43166 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
[pid=29826/tid=29837] ppid=29823 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/29826/task/29837/stat : 29837 (Finalizer) S 29823 29826 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38253237 19521036288 43166 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
[pid=29826/tid=29844] ppid=29823 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/29826/task/29844/stat : 29844 (Common-Cleaner) S 29823 29826 28922 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 38253237 19521036288 43166 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
[pid=29826/tid=29846] ppid=29823 vsize=19063512 memory=14432 CPUtime=0 cores=0,2
/proc/29826/task/29846/stat : 29846 (Timer-0) S 29823 29826 28922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38253290 19521036288 43166 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
Current children cumulated CPU time: 2.64 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 172664 KiB

[startup+3.10546 s]
/proc/loadavg: 4.14 4.20 4.13 6/339 29846
/proc/meminfo: memFree=128231352/131250000 swapFree=33010684/33010684
[pid=29826] ppid=29823 vsize=19063512 memory=173688 CPUtime=4.68 cores=0,2
/proc/29826/stat : 29826 (java) S 29823 29826 28922 0 -1 4194304 20298 0 0 0 463 5 0 0 20 0 20 0 38253234 19521036288 43422 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
/proc/29826/statm: 4765878 43422 5496 1 0 553191 0
[pid=29826/tid=29828] ppid=29823 vsize=19063512 memory=14432 CPUtime=2.96 cores=0,2
/proc/29826/task/29828/stat : 29828 (java) R 29823 29826 28922 0 -1 4194368 6708 0 0 0 292 4 0 0 20 0 20 0 38253235 19521036288 43422 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
[pid=29826/tid=29837] ppid=29823 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/29826/task/29837/stat : 29837 (Finalizer) S 29823 29826 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38253237 19521036288 43422 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
[pid=29826/tid=29844] ppid=29823 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/29826/task/29844/stat : 29844 (Common-Cleaner) S 29823 29826 28922 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 38253237 19521036288 43422 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
[pid=29826/tid=29846] ppid=29823 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/29826/task/29846/stat : 29846 (Timer-0) S 29823 29826 28922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38253290 19521036288 43422 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
Current children cumulated CPU time: 4.68 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 173688 KiB

[startup+6.30022 s]
/proc/loadavg: 4.13 4.20 4.12 5/339 29846
/proc/meminfo: memFree=128213532/131250000 swapFree=33010684/33010684
[pid=29826] ppid=29823 vsize=19063512 memory=170168 CPUtime=8.07 cores=0,2
/proc/29826/stat : 29826 (java) S 29823 29826 28922 0 -1 4194304 20460 0 0 0 802 5 0 0 20 0 20 0 38253234 19521036288 42542 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
/proc/29826/statm: 4765878 42542 5496 1 0 553192 0
[pid=29826/tid=29828] ppid=29823 vsize=19063512 memory=0 CPUtime=6.15 cores=0,2
/proc/29826/task/29828/stat : 29828 (java) R 29823 29826 28922 0 -1 4194368 6812 0 0 0 611 4 0 0 20 0 20 0 38253235 19521036288 42542 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
[pid=29826/tid=29837] ppid=29823 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/29826/task/29837/stat : 29837 (Finalizer) S 29823 29826 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38253237 19521036288 42542 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
[pid=29826/tid=29844] ppid=29823 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/29826/task/29844/stat : 29844 (Common-Cleaner) S 29823 29826 28922 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 38253237 19521036288 42542 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
[pid=29826/tid=29846] ppid=29823 vsize=19063512 memory=172664 CPUtime=0 cores=0,2
/proc/29826/task/29846/stat : 29846 (Timer-0) S 29823 29826 28922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38253290 19521036288 42542 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
Current children cumulated CPU time: 8.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 170168 KiB

[startup+12.7002 s]
/proc/loadavg: 4.20 4.21 4.13 5/339 29846
/proc/meminfo: memFree=128160852/131250000 swapFree=33010684/33010684
[pid=29826] ppid=29823 vsize=19063512 memory=170296 CPUtime=14.46 cores=0,2
/proc/29826/stat : 29826 (java) S 29823 29826 28922 0 -1 4194304 22244 0 0 0 1441 5 0 0 20 0 20 0 38253234 19521036288 42574 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
/proc/29826/statm: 4765878 42574 5528 1 0 553192 0
[pid=29826/tid=29828] ppid=29823 vsize=19063512 memory=172664 CPUtime=12.53 cores=0,2
/proc/29826/task/29828/stat : 29828 (java) R 29823 29826 28922 0 -1 4194368 7907 0 0 0 1249 4 0 0 20 0 20 0 38253235 19521036288 42574 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
[pid=29826/tid=29837] ppid=29823 vsize=19063512 memory=170296 CPUtime=0 cores=0,2
/proc/29826/task/29837/stat : 29837 (Finalizer) S 29823 29826 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38253237 19521036288 42574 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
[pid=29826/tid=29844] ppid=29823 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/29826/task/29844/stat : 29844 (Common-Cleaner) S 29823 29826 28922 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 38253237 19521036288 42574 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
[pid=29826/tid=29846] ppid=29823 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/29826/task/29846/stat : 29846 (Timer-0) S 29823 29826 28922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38253290 19521036288 42574 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
Current children cumulated CPU time: 14.46 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 170296 KiB

[startup+25.5002 s]
/proc/loadavg: 4.23 4.22 4.13 5/340 29848
/proc/meminfo: memFree=128091232/131250000 swapFree=33010684/33010684
[pid=29826] ppid=29823 vsize=19063512 memory=184816 CPUtime=27.32 cores=0,2
/proc/29826/stat : 29826 (java) S 29823 29826 28922 0 -1 4194304 26316 0 0 0 2726 6 0 0 20 0 20 0 38253234 19521036288 46204 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
/proc/29826/statm: 4765878 46204 5528 1 0 553192 0
[pid=29826/tid=29828] ppid=29823 vsize=19063512 memory=0 CPUtime=25.28 cores=0,2
/proc/29826/task/29828/stat : 29828 (java) R 29823 29826 28922 0 -1 4194368 8406 0 0 0 2524 4 0 0 20 0 20 0 38253235 19521036288 46204 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
[pid=29826/tid=29837] ppid=29823 vsize=19063512 memory=14432 CPUtime=0 cores=0,2
/proc/29826/task/29837/stat : 29837 (Finalizer) S 29823 29826 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38253237 19521036288 46204 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
[pid=29826/tid=29844] ppid=29823 vsize=19063512 memory=184816 CPUtime=0 cores=0,2
/proc/29826/task/29844/stat : 29844 (Common-Cleaner) S 29823 29826 28922 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 38253237 19521036288 46204 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
[pid=29826/tid=29846] ppid=29823 vsize=19063512 memory=184816 CPUtime=0 cores=0,2
/proc/29826/task/29846/stat : 29846 (Timer-0) S 29823 29826 28922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38253290 19521036288 46204 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
Current children cumulated CPU time: 27.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 184816 KiB

[startup+51.1055 s]
/proc/loadavg: 4.15 4.20 4.13 5/341 29849
/proc/meminfo: memFree=128012944/131250000 swapFree=33010684/33010684
[pid=29826] ppid=29823 vsize=19063512 memory=197256 CPUtime=52.88 cores=0,2
/proc/29826/stat : 29826 (java) S 29823 29826 28922 0 -1 4194304 27361 0 0 0 5282 6 0 0 20 0 20 0 38253234 19521036288 49314 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
/proc/29826/statm: 4765878 49314 5528 1 0 553192 0
[pid=29826/tid=29828] ppid=29823 vsize=19063512 memory=184816 CPUtime=50.8 cores=0,2
/proc/29826/task/29828/stat : 29828 (java) R 29823 29826 28922 0 -1 4194368 8459 0 0 0 5076 4 0 0 20 0 20 0 38253235 19521036288 49314 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
[pid=29826/tid=29837] ppid=29823 vsize=19063512 memory=12800 CPUtime=0 cores=0,2
/proc/29826/task/29837/stat : 29837 (Finalizer) S 29823 29826 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38253237 19521036288 49314 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
[pid=29826/tid=29844] ppid=29823 vsize=19063512 memory=2308 CPUtime=0 cores=0,2
/proc/29826/task/29844/stat : 29844 (Common-Cleaner) S 29823 29826 28922 0 -1 4194368 49 0 0 0 0 0 0 0 20 0 20 0 38253237 19521036288 49314 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
[pid=29826/tid=29846] ppid=29823 vsize=19063512 memory=170296 CPUtime=0 cores=0,2

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

[startup+3282.3 s]
/proc/loadavg: 4.11 4.17 4.12 5/342 30094
/proc/meminfo: memFree=123613956/131250000 swapFree=33010684/33010684
[pid=29826] ppid=29823 vsize=19063512 memory=1654192 CPUtime=3278.83 cores=0,2
/proc/29826/stat : 29826 (java) S 29823 29826 28922 0 -1 4194304 75719 0 0 0 327761 122 0 0 20 0 20 0 38253234 19521036288 413548 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
/proc/29826/statm: 4765878 413548 5528 1 0 558463 0
[pid=29826/tid=29828] ppid=29823 vsize=19063512 memory=1654192 CPUtime=3272.07 cores=0,2
/proc/29826/task/29828/stat : 29828 (java) R 29823 29826 28922 0 -1 4194368 30062 0 0 0 327198 9 0 0 20 0 20 0 38253235 19521036288 413548 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
[pid=29826/tid=29837] ppid=29823 vsize=19063512 memory=1654192 CPUtime=0 cores=0,2
/proc/29826/task/29837/stat : 29837 (Finalizer) S 29823 29826 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38253237 19521036288 413548 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
[pid=29826/tid=29844] ppid=29823 vsize=19063512 memory=-6000919494231483245 CPUtime=0 cores=0,2
/proc/29826/task/29844/stat : 29844 (Common-Cleaner) S 29823 29826 28922 0 -1 4194368 1186 0 0 0 0 0 0 0 20 0 20 0 38253237 19521036288 413548 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
[pid=29826/tid=29846] ppid=29823 vsize=19063512 memory=1654192 CPUtime=0 cores=0,2
/proc/29826/task/29846/stat : 29846 (Timer-0) S 29823 29826 28922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38253290 19521036288 413548 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
Current children cumulated CPU time: 3278.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1654192 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.17 4.12 5/342 30097
/proc/meminfo: memFree=123616676/131250000 swapFree=33010684/33010684
[pid=29826] ppid=29823 vsize=19063512 memory=1654192 CPUtime=3338.79 cores=0,2
/proc/29826/stat : 29826 (java) S 29823 29826 28922 0 -1 4194304 77049 0 0 0 333755 124 0 0 20 0 20 0 38253234 19521036288 413548 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
/proc/29826/statm: 4765878 413548 5528 1 0 558463 0
[pid=29826/tid=29828] ppid=29823 vsize=19063512 memory=1654192 CPUtime=3331.78 cores=0,2
/proc/29826/task/29828/stat : 29828 (java) R 29823 29826 28922 0 -1 4194368 30542 0 0 0 333169 9 0 0 20 0 20 0 38253235 19521036288 413548 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
[pid=29826/tid=29837] ppid=29823 vsize=19063512 memory=280499751480464 CPUtime=0 cores=0,2
/proc/29826/task/29837/stat : 29837 (Finalizer) S 29823 29826 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38253237 19521036288 413548 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
[pid=29826/tid=29844] ppid=29823 vsize=19063512 memory=1654192 CPUtime=0 cores=0,2
/proc/29826/task/29844/stat : 29844 (Common-Cleaner) S 29823 29826 28922 0 -1 4194368 1197 0 0 0 0 0 0 0 20 0 20 0 38253237 19521036288 413548 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
[pid=29826/tid=29846] ppid=29823 vsize=19063512 memory=2760 CPUtime=0 cores=0,2
/proc/29826/task/29846/stat : 29846 (Timer-0) S 29823 29826 28922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38253290 19521036288 413548 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
Current children cumulated CPU time: 3338.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1654192 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.17 4.12 5/342 30099
/proc/meminfo: memFree=123615808/131250000 swapFree=33010684/33010684
[pid=29826] ppid=29823 vsize=19063512 memory=1654192 CPUtime=3398.65 cores=0,2
/proc/29826/stat : 29826 (java) S 29823 29826 28922 0 -1 4194304 77311 0 0 0 339740 125 0 0 20 0 20 0 38253234 19521036288 413548 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
/proc/29826/statm: 4765878 413548 5528 1 0 558463 0
[pid=29826/tid=29828] ppid=29823 vsize=19063512 memory=1654192 CPUtime=3391.63 cores=0,2
/proc/29826/task/29828/stat : 29828 (java) R 29823 29826 28922 0 -1 4194368 30698 0 0 0 339154 9 0 0 20 0 20 0 38253235 19521036288 413548 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
[pid=29826/tid=29837] ppid=29823 vsize=19063512 memory=280499751480464 CPUtime=0 cores=0,2
/proc/29826/task/29837/stat : 29837 (Finalizer) S 29823 29826 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38253237 19521036288 413548 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
[pid=29826/tid=29844] ppid=29823 vsize=19063512 memory=1654192 CPUtime=0 cores=0,2
/proc/29826/task/29844/stat : 29844 (Common-Cleaner) S 29823 29826 28922 0 -1 4194368 1227 0 0 0 0 0 0 0 20 0 20 0 38253237 19521036288 413548 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
[pid=29826/tid=29846] ppid=29823 vsize=19063512 memory=1654192 CPUtime=0 cores=0,2
/proc/29826/task/29846/stat : 29846 (Timer-0) S 29823 29826 28922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38253290 19521036288 413548 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
Current children cumulated CPU time: 3398.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1654192 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.16 4.12 5/340 30101
/proc/meminfo: memFree=123611608/131250000 swapFree=33010684/33010684
[pid=29826] ppid=29823 vsize=19063512 memory=1654192 CPUtime=3458.52 cores=0,2
/proc/29826/stat : 29826 (java) S 29823 29826 28922 0 -1 4194304 77401 0 0 0 345725 127 0 0 20 0 20 0 38253234 19521036288 413548 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
/proc/29826/statm: 4765878 413548 5528 1 0 558463 0
[pid=29826/tid=29828] ppid=29823 vsize=19063512 memory=1654192 CPUtime=3451.48 cores=0,2
/proc/29826/task/29828/stat : 29828 (java) R 29823 29826 28922 0 -1 4194368 30758 0 0 0 345138 10 0 0 20 0 20 0 38253235 19521036288 413548 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
[pid=29826/tid=29837] ppid=29823 vsize=19063512 memory=280499751480464 CPUtime=0 cores=0,2
/proc/29826/task/29837/stat : 29837 (Finalizer) S 29823 29826 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38253237 19521036288 413548 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
[pid=29826/tid=29844] ppid=29823 vsize=19063512 memory=1654192 CPUtime=0 cores=0,2
/proc/29826/task/29844/stat : 29844 (Common-Cleaner) S 29823 29826 28922 0 -1 4194368 1227 0 0 0 0 0 0 0 20 0 20 0 38253237 19521036288 413548 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
[pid=29826/tid=29846] ppid=29823 vsize=19063512 memory=14432 CPUtime=0 cores=0,2
/proc/29826/task/29846/stat : 29846 (Timer-0) S 29823 29826 28922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38253290 19521036288 413548 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
Current children cumulated CPU time: 3458.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1654192 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.15 4.11 5/340 30106
/proc/meminfo: memFree=123611496/131250000 swapFree=33010684/33010684
[pid=29826] ppid=29823 vsize=19063512 memory=1654192 CPUtime=3518.4 cores=0,2
/proc/29826/stat : 29826 (java) S 29823 29826 28922 0 -1 4194304 77767 0 0 0 351711 129 0 0 20 0 20 0 38253234 19521036288 413548 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
/proc/29826/statm: 4765878 413548 5528 1 0 558463 0
[pid=29826/tid=29828] ppid=29823 vsize=19063512 memory=1654192 CPUtime=3511.33 cores=0,2
/proc/29826/task/29828/stat : 29828 (java) R 29823 29826 28922 0 -1 4194368 31035 0 0 0 351123 10 0 0 20 0 20 0 38253235 19521036288 413548 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
[pid=29826/tid=29837] ppid=29823 vsize=19063512 memory=1654192 CPUtime=0 cores=0,2
/proc/29826/task/29837/stat : 29837 (Finalizer) S 29823 29826 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38253237 19521036288 413548 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
[pid=29826/tid=29844] ppid=29823 vsize=19063512 memory=1654192 CPUtime=0 cores=0,2
/proc/29826/task/29844/stat : 29844 (Common-Cleaner) S 29823 29826 28922 0 -1 4194368 1227 0 0 0 0 0 0 0 20 0 20 0 38253237 19521036288 413548 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
[pid=29826/tid=29846] ppid=29823 vsize=19063512 memory=14432 CPUtime=0 cores=0,2
/proc/29826/task/29846/stat : 29846 (Timer-0) S 29823 29826 28922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38253290 19521036288 413548 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
Current children cumulated CPU time: 3518.4 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1654192 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.13 4.11 5/339 30108
/proc/meminfo: memFree=123611384/131250000 swapFree=33010684/33010684
[pid=29826] ppid=29823 vsize=19063512 memory=1654192 CPUtime=3578.26 cores=0,2
/proc/29826/stat : 29826 (java) S 29823 29826 28922 0 -1 4194304 78533 0 0 0 357696 130 0 0 20 0 20 0 38253234 19521036288 413548 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
/proc/29826/statm: 4765878 413548 5528 1 0 558463 0
[pid=29826/tid=29828] ppid=29823 vsize=19063512 memory=19968 CPUtime=3571.17 cores=0,2
/proc/29826/task/29828/stat : 29828 (java) R 29823 29826 28922 0 -1 4194368 31670 0 0 0 357107 10 0 0 20 0 20 0 38253235 19521036288 413548 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
[pid=29826/tid=29837] ppid=29823 vsize=19063512 memory=1654192 CPUtime=0 cores=0,2
/proc/29826/task/29837/stat : 29837 (Finalizer) S 29823 29826 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38253237 19521036288 413548 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
[pid=29826/tid=29844] ppid=29823 vsize=19063512 memory=1654192 CPUtime=0 cores=0,2
/proc/29826/task/29844/stat : 29844 (Common-Cleaner) S 29823 29826 28922 0 -1 4194368 1244 0 0 0 0 0 0 0 20 0 20 0 38253237 19521036288 413548 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
[pid=29826/tid=29846] ppid=29823 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/29826/task/29846/stat : 29846 (Timer-0) S 29823 29826 28922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38253290 19521036288 413548 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
Current children cumulated CPU time: 3578.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1654192 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3604.11 s]
/proc/loadavg: 4.14 4.14 4.11 4/316 30147
/proc/meminfo: memFree=125557856/131250000 swapFree=33010684/33010684
[pid=29826] ppid=29823 vsize=19063512 memory=1654192 CPUtime=3600.02 cores=0,2
/proc/29826/stat : 29826 (java) S 29823 29826 28922 0 -1 4194304 79117 0 0 0 359871 131 0 0 20 0 20 0 38253234 19521036288 413548 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
/proc/29826/statm: 4765878 413548 5528 1 0 558463 0
[pid=29826/tid=29828] ppid=29823 vsize=19063512 memory=19968 CPUtime=3592.92 cores=0,2
/proc/29826/task/29828/stat : 29828 (java) R 29823 29826 28922 0 -1 4194368 32112 0 0 0 359282 10 0 0 20 0 20 0 38253235 19521036288 413548 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
[pid=29826/tid=29837] ppid=29823 vsize=19063512 memory=1654192 CPUtime=0 cores=0,2
/proc/29826/task/29837/stat : 29837 (Finalizer) S 29823 29826 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38253237 19521036288 413548 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
[pid=29826/tid=29844] ppid=29823 vsize=19063512 memory=1654192 CPUtime=0 cores=0,2
/proc/29826/task/29844/stat : 29844 (Common-Cleaner) S 29823 29826 28922 0 -1 4194368 1244 0 0 0 0 0 0 0 20 0 20 0 38253237 19521036288 413548 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
[pid=29826/tid=29846] ppid=29823 vsize=19063512 memory=1654192 CPUtime=0 cores=0,2
/proc/29826/task/29846/stat : 29846 (Timer-0) S 29823 29826 28922 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38253290 19521036288 413548 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1654192 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.85 s, system=1.32585 s

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

[startup+3604.2 s]
/proc/loadavg: 4.14 4.14 4.11 4/316 30147
/proc/meminfo: memFree=125557856/131250000 swapFree=33010684/33010684
[pid=29826] ppid=29823 vsize=19263204 memory=1655088 CPUtime=3600.13 cores=0,2
/proc/29826/stat : 29826 (java) S 29823 29826 28922 0 -1 4194304 81288 0 0 0 359882 131 0 0 20 0 21 0 38253234 19725520896 413772 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
/proc/29826/statm: 4815801 413772 5560 1 0 559428 0
[pid=29826/tid=29828] ppid=29823 vsize=19263204 memory=6980 CPUtime=3592.93 cores=0,2
/proc/29826/task/29828/stat : 29828 (java) S 29823 29826 28922 0 -1 4194368 32291 0 0 0 359283 10 0 0 20 0 21 0 38253235 19725520896 413772 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
[pid=29826/tid=29837] ppid=29823 vsize=19263204 memory=-6000919494231483245 CPUtime=0 cores=0,2
/proc/29826/task/29837/stat : 29837 (Finalizer) S 29823 29826 28922 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 38253237 19725520896 413772 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
[pid=29826/tid=29844] ppid=29823 vsize=19263204 memory=215587488049 CPUtime=0 cores=0,2
/proc/29826/task/29844/stat : 29844 (Common-Cleaner) S 29823 29826 28922 0 -1 4194368 1244 0 0 0 0 0 0 0 20 0 21 0 38253237 19725520896 413772 18446744073709551615 94896593113088 94896593116784 140733309040672 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94896593124600 94896593125392 94896599392256 140733309049217 140733309049318 140733309049318 140733309054920 0
Current children cumulated CPU time: 3600.13 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 1655088 KiB

Child status: 143

Real time (s): 3604.23
CPU time (s): 3600.18
CPU user time (s): 3598.85
CPU system time (s): 1.32585
CPU usage (%): 99.8875
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 1655088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.85
system time used= 1.32585
maximum resident set size= 1655216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81466
page faults= 0
swaps= 0
block input operations= 0
block output operations= 9496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113483
involuntary context switches= 6353


# summary of solver processes directly reported to runsolver:
#   pid: 29826
#   total CPU time (s): 3600.18
#   total CPU user time (s): 3598.85
#   total CPU system time (s): 1.32585

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.19896 second user time and 16.4158 second system time

The end

Launcher Data 

Begin job on nodeC019 at 2025-06-29 21:35:57
IDJOB=4514310
IDBENCH=162621
IDSOLVER=3363
FILE ID=nodeC019/4514310-1751225757
RUNJOBID= nodeC019-1751222147-28932
SLURM_JOB_ID= 9587678
Free space on /tmp= 433060 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_8.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4514310-1751225757/watcher-4514310-1751225757 -o /tmp/evaluation-result-4514310-1751225757/solver-4514310-1751225757 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751222147-28932 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4514310-1751225757.opb

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

MD5SUM BENCH= 07ba29cf24b97459f05241f8c3fed802
RANDOM SEED=478497310

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.673
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.37
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		: 3599.706
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.320
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.37
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		: 3599.687
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.678
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.678
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.37
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		: 3587.476
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.37
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		: 3663.826
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128408732 kB
MemAvailable:   128293344 kB
Buffers:            3280 kB
Cached:           693872 kB
SwapCached:            0 kB
Active:          1845600 kB
Inactive:         437120 kB
Active(anon):    1603636 kB
Inactive(anon):        0 kB
Active(file):     241964 kB
Inactive(file):   437120 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              4232 kB
Writeback:            72 kB
AnonPages:       1588688 kB
Mapped:           122944 kB
Shmem:             18064 kB
KReclaimable:      89536 kB
Slab:             175324 kB
SReclaimable:      89536 kB
SUnreclaim:        85788 kB
KernelStack:        5104 kB
PageTables:         6600 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    7023940 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151400 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1400832 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:      176852 kB
DirectMap2M:     9031680 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC019 at 2025-06-29 22:36:02