Trace number 4514311

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j Resolution VeriPB 2025-06-06? (TO) 3600.35 3603.86

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.12/0.17	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.17	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.17	c See www.sat4j.org for details.
0.12/0.18	c version PB25.v20250606
0.12/0.21	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.21	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.21	c java.vm.version	22.0.1+8-16
0.12/0.21	c java.vm.vendor	Oracle Corporation
0.12/0.21	c sun.arch.data.model	64
0.12/0.21	c java.version		22.0.1
0.12/0.21	c os.name		Linux
0.12/0.21	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.12/0.21	c os.arch		amd64
0.27/0.23	c Free memory 		2104792832
0.27/0.23	c Max memory 		16282288128
0.27/0.23	c Total memory 		2113929216
0.27/0.24	c Number of processors 	2
0.43/0.33	c Pseudo Boolean Optimization by upper bound
0.43/0.33	c --- Begin Solver configuration ---
0.43/0.33	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.43/0.33	c Learn all clauses as in MiniSAT
0.43/0.33	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.43/0.33	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.43/0.33	c Expensive reason simplification
0.43/0.33	c Glucose 2.1 dynamic restart strategy
0.43/0.33	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.43/0.33	c timeout=2147483s
0.43/0.33	c DB Simplification allowed=false
0.43/0.33	c Listener: none
0.43/0.33	c --- End Solver configuration ---
0.43/0.33	c solving HOME/instance-4514311-1751226060.opb
0.43/0.33	c reading problem ... 
0.43/0.33	c using VERIPB proof format
0.43/0.34	c  no objective function found
2.11/1.20	c ... done. Wall clock time 0.861s.
2.11/1.20	c declared #vars     5256
2.11/1.20	c #constraints  25641
2.11/1.20	c constraints type 
2.11/1.20	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 10295
2.11/1.20	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 3
2.11/1.20	c org.sat4j.specs.Constr$1 => 4
2.11/1.20	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 15336
2.11/1.20	c org.sat4j.pb.constraints.pb.UnitClausePB => 3
2.11/1.20	c 25641 constraints processed.
5.07/2.77	c cleaning 2500 clauses out of 5000 with flag 41095/5000
7.28/3.97	c cleaning 4249 clauses out of 8500 with flag 97385/11000
8.65/5.12	c cleaning 5626 clauses out of 11251 with flag 159952/18000
10.79/6.59	c cleaning 6808 clauses out of 13625 with flag 229142/26000
12.44/8.01	c cleaning 7906 clauses out of 15817 with flag 297261/35000
14.03/9.64	c cleaning 8949 clauses out of 17911 with flag 361552/45000
16.03/11.62	c cleaning 9977 clauses out of 19962 with flag 433168/56000
18.61/14.26	c cleaning 10992 clauses out of 21985 with flag 530891/68000
20.39/16.07	c cleaning 11998 clauses out of 23995 with flag 608381/81002
23.29/18.96	c cleaning 12985 clauses out of 25996 with flag 712008/95001
25.50/21.18	c cleaning 14001 clauses out of 28011 with flag 810747/110001
28.67/24.38	c cleaning 15003 clauses out of 30009 with flag 907241/126000
31.44/27.04	c cleaning 15997 clauses out of 32012 with flag 1006134/143006
34.50/30.03	c cleaning 16971 clauses out of 34009 with flag 1148883/161000
37.58/33.23	c cleaning 18016 clauses out of 36038 with flag 1259637/180000
41.37/37.09	c cleaning 18998 clauses out of 38022 with flag 1388579/200000
44.56/40.24	c cleaning 19995 clauses out of 40024 with flag 1517998/221000
48.92/44.68	c cleaning 21004 clauses out of 42031 with flag 1660991/243002
52.40/48.13	c cleaning 22004 clauses out of 44025 with flag 1799491/266000
55.76/51.58	c cleaning 22995 clauses out of 46021 with flag 1947796/290000
59.52/55.34	c cleaning 24006 clauses out of 48026 with flag 2098331/315000
63.30/59.19	c cleaning 25002 clauses out of 50020 with flag 2249338/341000
68.41/64.35	c cleaning 25991 clauses out of 52018 with flag 2400702/368000
72.40/68.32	c cleaning 27013 clauses out of 54027 with flag 2557569/396000
76.49/72.40	c cleaning 28004 clauses out of 56015 with flag 2711949/425001
81.32/77.10	c cleaning 28995 clauses out of 58010 with flag 2871372/455000
87.91/82.51	c cleaning 30009 clauses out of 60017 with flag 3074090/486002
93.49/87.73	c cleaning 30995 clauses out of 62008 with flag 3278431/518002
98.79/93.02	c cleaning 31995 clauses out of 64011 with flag 3476197/551000
104.15/98.44	c cleaning 33000 clauses out of 66016 with flag 3675262/585000
109.63/103.90	c cleaning 33997 clauses out of 68016 with flag 3861604/620000
115.43/109.78	c cleaning 34987 clauses out of 70021 with flag 4083295/656002
121.12/115.42	c cleaning 36011 clauses out of 72032 with flag 4288192/693000
128.39/122.75	c cleaning 37002 clauses out of 74022 with flag 4489574/731001
135.23/129.61	c cleaning 37927 clauses out of 76020 with flag 4705737/770001
141.91/136.38	c cleaning 39046 clauses out of 78096 with flag 4945607/810004
148.90/143.30	c cleaning 40003 clauses out of 80046 with flag 5186865/851000
156.20/150.68	c cleaning 40997 clauses out of 82043 with flag 5452600/893000
163.73/158.23	c cleaning 42005 clauses out of 84048 with flag 5700750/936002
171.32/165.84	c cleaning 42984 clauses out of 86041 with flag 5966446/980000
178.79/173.35	c cleaning 44026 clauses out of 88059 with flag 6223044/1025002
186.28/180.81	c cleaning 45010 clauses out of 90031 with flag 6490034/1071000
194.02/188.65	c cleaning 45983 clauses out of 92021 with flag 6762427/1118000
203.08/197.78	c cleaning 47008 clauses out of 94038 with flag 7040518/1166000
211.48/206.19	c cleaning 48008 clauses out of 96030 with flag 7290279/1215000
220.15/214.90	c cleaning 48998 clauses out of 98023 with flag 7576329/1265001
228.91/223.64	c cleaning 50001 clauses out of 100024 with flag 7881204/1316000
238.30/233.05	c cleaning 50992 clauses out of 102023 with flag 8182882/1368000
247.87/242.64	c cleaning 51981 clauses out of 104031 with flag 8489101/1421000
258.99/253.82	c cleaning 53029 clauses out of 106059 with flag 8798399/1475009
268.07/262.99	c cleaning 54002 clauses out of 108021 with flag 9112368/1530000
278.65/273.55	c cleaning 55004 clauses out of 110019 with flag 9406125/1586000
288.10/283.08	c cleaning 55993 clauses out of 112015 with flag 9724044/1643000
297.67/292.67	c cleaning 56991 clauses out of 114022 with flag 10037481/1701000
308.38/303.39	c cleaning 58014 clauses out of 116032 with flag 10334297/1760001
319.42/314.41	c cleaning 58993 clauses out of 118017 with flag 10705624/1820000
329.81/324.88	c cleaning 60005 clauses out of 120024 with flag 11075042/1881000
340.28/335.36	c cleaning 61007 clauses out of 122019 with flag 11411308/1943000
352.14/347.35	c cleaning 61996 clauses out of 124012 with flag 11767595/2006000
365.25/360.57	c cleaning 63001 clauses out of 126016 with flag 12139683/2070000
377.29/372.65	c cleaning 64008 clauses out of 128020 with flag 12514901/2135005
389.17/384.55	c cleaning 65000 clauses out of 130007 with flag 12927670/2201000
400.94/396.38	c cleaning 65996 clauses out of 132007 with flag 13333016/2268000
413.51/409.09	c cleaning 66991 clauses out of 134012 with flag 13717195/2336001
427.25/422.81	c cleaning 68002 clauses out of 136020 with flag 14131612/2405000
440.68/436.36	c cleaning 68999 clauses out of 138019 with flag 14554454/2475001
454.52/449.82	c cleaning 70004 clauses out of 140018 with flag 15020441/2546001
470.31/465.77	c cleaning 70960 clauses out of 142014 with flag 15480285/2618001
485.80/481.39	c cleaning 72023 clauses out of 144059 with flag 15956744/2691006
499.74/495.36	c cleaning 73010 clauses out of 146031 with flag 16439855/2765001
514.30/510.00	c cleaning 73991 clauses out of 148020 with flag 16912619/2840000
528.48/524.11	c cleaning 74994 clauses out of 150029 with flag 17372649/2916000
543.43/539.16	c cleaning 76000 clauses out of 152035 with flag 17840017/2993000
558.98/554.79	c cleaning 76989 clauses out of 154035 with flag 18343728/3071000
576.56/572.31	c cleaning 77997 clauses out of 156046 with flag 18806861/3150000
593.59/589.46	c cleaning 79006 clauses out of 158049 with flag 19333024/3230000
614.44/609.46	c cleaning 80003 clauses out of 160034 with flag 19912810/3311000
638.32/633.40	c cleaning 80995 clauses out of 162029 with flag 20505513/3393003
656.41/651.68	c cleaning 82007 clauses out of 164031 with flag 21034681/3476000
674.78/670.04	c cleaning 82994 clauses out of 166024 with flag 21537061/3560000
693.51/688.89	c cleaning 84012 clauses out of 168029 with flag 22074527/3645001
713.16/708.52	c cleaning 85002 clauses out of 170017 with flag 22616863/3731001
733.02/728.50	c cleaning 85980 clauses out of 172014 with flag 23115377/3818000
754.69/750.36	c cleaning 86994 clauses out of 174034 with flag 23646989/3906000
773.71/769.33	c cleaning 88017 clauses out of 176044 with flag 24174710/3995004
792.64/788.36	c cleaning 89013 clauses out of 178028 with flag 24727775/4085005
812.75/808.52	c cleaning 89994 clauses out of 180010 with flag 25262174/4176000
833.86/829.67	c cleaning 90985 clauses out of 182016 with flag 25828819/4268000
856.37/852.22	c cleaning 91988 clauses out of 184031 with flag 26417520/4361000
878.56/874.56	c cleaning 93018 clauses out of 186043 with flag 26995786/4455000
899.47/895.48	c cleaning 93997 clauses out of 188025 with flag 27535146/4550000
920.42/916.46	c cleaning 94995 clauses out of 190028 with flag 28090880/4646000
944.56/940.71	c cleaning 96011 clauses out of 192033 with flag 28702245/4743000
967.08/963.31	c cleaning 97009 clauses out of 194022 with flag 29283589/4841000
988.87/985.72	c cleaning 97985 clauses out of 196013 with flag 29901645/4940000
1011.32/1008.20	c cleaning 98987 clauses out of 198028 with flag 30526297/5040000
1035.82/1032.85	c cleaning 100011 clauses out of 200042 with flag 31188051/5141001
1059.48/1056.58	c cleaning 100998 clauses out of 202030 with flag 31837601/5243000
1083.10/1080.28	c cleaning 101957 clauses out of 204032 with flag 32491510/5346000
1108.42/1105.55	c cleaning 103038 clauses out of 206076 with flag 33175457/5450001
1133.32/1130.59	c cleaning 104015 clauses out of 208039 with flag 33851437/5555002
1157.52/1154.86	c cleaning 105005 clauses out of 210022 with flag 34531204/5661000
1184.84/1182.28	c cleaning 106008 clauses out of 212020 with flag 35259307/5768003
1207.68/1205.16	c cleaning 106997 clauses out of 214010 with flag 35926045/5876001
1234.86/1232.35	c cleaning 108001 clauses out of 216012 with flag 36629709/5985000
1257.72/1255.24	c cleaning 109003 clauses out of 218011 with flag 37283477/6095000
1285.45/1283.06	c cleaning 109968 clauses out of 220005 with flag 37964029/6206000
1311.11/1308.73	c cleaning 111006 clauses out of 222037 with flag 38642359/6318000
1338.77/1336.44	c cleaning 112007 clauses out of 224031 with flag 39321388/6431000
1365.47/1363.26	c cleaning 113014 clauses out of 226029 with flag 39992200/6545005
1393.25/1391.08	c cleaning 114000 clauses out of 228010 with flag 40639802/6660000
1421.44/1419.39	c cleaning 115003 clauses out of 230009 with flag 41384388/6776000
1449.32/1447.22	c cleaning 115987 clauses out of 232006 with flag 42094892/6893000
1478.15/1476.04	c cleaning 116998 clauses out of 234026 with flag 42816186/7011009
1510.68/1508.68	c cleaning 117972 clauses out of 236018 with flag 43554062/7130000
1542.38/1540.43	c cleaning 119018 clauses out of 238045 with flag 44296289/7250000
1575.75/1573.93	c cleaning 119990 clauses out of 240026 with flag 45048385/7371000
1606.33/1604.69	c cleaning 121013 clauses out of 242037 with flag 45802269/7493002
1637.94/1636.32	c cleaning 122009 clauses out of 244023 with flag 46541326/7616001
1669.84/1668.38	c cleaning 123002 clauses out of 246015 with flag 47265096/7740002
1703.73/1702.39	c cleaning 124003 clauses out of 248011 with flag 48047836/7865000
1740.64/1739.39	c cleaning 125000 clauses out of 250009 with flag 48857495/7991001
1777.58/1776.33	c cleaning 125979 clauses out of 252008 with flag 49753645/8118000
1811.03/1810.00	c cleaning 127006 clauses out of 254029 with flag 50565650/8246000
1850.25/1849.31	c cleaning 128007 clauses out of 256023 with flag 51421227/8375000
1882.84/1881.94	c cleaning 129000 clauses out of 258016 with flag 52212104/8505000
1919.66/1918.88	c cleaning 130003 clauses out of 260017 with flag 53042550/8636001
1955.04/1954.38	c cleaning 131005 clauses out of 262013 with flag 53878136/8768000
1990.42/1989.88	c cleaning 131998 clauses out of 264010 with flag 54725126/8901002
2026.97/2026.43	c cleaning 132979 clauses out of 266005 with flag 55590469/9035000
2068.44/2068.06	c cleaning 134011 clauses out of 268026 with flag 56400901/9170000
2107.04/2106.71	c cleaning 134997 clauses out of 270015 with flag 57280252/9306000
2142.72/2143.06	c cleaning 136011 clauses out of 272021 with flag 58060216/9443003
2185.55/2186.02	c cleaning 136993 clauses out of 274005 with flag 58908018/9581001
2227.27/2227.85	c cleaning 137998 clauses out of 276011 with flag 59771978/9720000
2268.40/2269.16	c cleaning 138998 clauses out of 278013 with flag 60660855/9860000
2314.16/2315.10	c cleaning 139981 clauses out of 280015 with flag 61493394/10001000
2355.98/2356.99	c cleaning 141010 clauses out of 282034 with flag 62344212/10143000
2396.42/2397.51	c cleaning 142001 clauses out of 284024 with flag 63212282/10286000
2438.85/2440.06	c cleaning 143008 clauses out of 286026 with flag 64060125/10430003
2481.29/2482.68	c cleaning 144005 clauses out of 288016 with flag 64896333/10575002
2527.11/2528.55	c cleaning 144956 clauses out of 290003 with flag 65790493/10721000
2575.88/2577.45	c cleaning 146006 clauses out of 292040 with flag 66693437/10868000
2620.07/2621.77	c cleaning 147011 clauses out of 294038 with flag 67615477/11016004
2664.75/2666.52	c cleaning 148011 clauses out of 296024 with flag 68558925/11165001
2709.94/2711.83	c cleaning 149003 clauses out of 298012 with flag 69565225/11315000
2755.42/2757.49	c cleaning 149999 clauses out of 300010 with flag 70648949/11466001
2800.62/2802.75	c cleaning 150997 clauses out of 302005 with flag 71601593/11618001
2843.94/2846.18	c cleaning 152001 clauses out of 304005 with flag 72466564/11771001
2895.91/2898.24	c cleaning 152991 clauses out of 305998 with flag 73494420/11925000
2945.97/2948.83	c cleaning 153961 clauses out of 308004 with flag 74409634/12080000
2994.18/2997.16	c cleaning 155000 clauses out of 310038 with flag 75300863/12236000
3044.62/3047.66	c cleaning 155987 clauses out of 312038 with flag 76242328/12393000
3094.41/3097.55	c cleaning 157007 clauses out of 314048 with flag 77176744/12551000
3144.33/3147.54	c cleaning 158015 clauses out of 316036 with flag 78092940/12710000
3194.37/3197.62	c cleaning 158997 clauses out of 318021 with flag 79028308/12870001
3247.22/3250.53	c cleaning 159996 clauses out of 320021 with flag 80094183/13031000
3300.99/3304.43	c cleaning 160998 clauses out of 322027 with flag 81196694/13193002
3356.38/3359.97	c cleaning 162002 clauses out of 324024 with flag 82138571/13356000
3408.57/3412.24	c cleaning 162994 clauses out of 326022 with flag 83104538/13520000
3461.33/3465.05	c cleaning 164004 clauses out of 328028 with flag 84087561/13685000
3518.34/3522.22	c cleaning 164986 clauses out of 330023 with flag 85032423/13851000
3580.09/3583.67	c cleaning 166005 clauses out of 332040 with flag 86032874/14018003
3600.03/3603.62	c timeout
3600.03/3603.65	c starts		: 43753
3600.03/3603.65	c conflicts		: 14091014
3600.03/3603.65	c decisions		: 110832153
3600.03/3603.65	c propagations		: 3446730887
3600.03/3603.65	c inspects		: 50474094435
3600.03/3603.65	c shortcuts		: 0
3600.03/3603.67	c learnt literals	: 87
3600.03/3603.67	c learnt binary clauses	: 1149
3600.03/3603.67	c learnt ternary clauses	: 11988
3600.03/3603.67	c learnt constraints	: 14090927
3600.03/3603.67	c ignored constraints	: 0
3600.03/3603.67	c root simplifications	: 0
3600.03/3603.67	c removed literals (reason simplification)	: 215014728
3600.03/3603.67	c reason swapping (by a shorter reason)	: 0
3600.03/3603.67	c Calls to reduceDB	: 163
3600.03/3603.67	c Number of update (reduction) of LBD	: 7347899
3600.03/3603.67	c Imported unit clauses	: 0
3600.03/3603.67	c No decision after first conflict	: false
3600.03/3603.67	c number of reductions to clauses (during analyze)	: 0
3600.03/3603.67	c number of learned constraints concerned by reduction	: 0
3600.03/3603.67	c number of learning phase by resolution	: 0
3600.03/3603.67	c number of learning phase by cutting planes	: 0
3600.03/3603.67	c number of rounding to 1 operations	: 0
3600.03/3603.67	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3603.67	c number of reductions of the coefficients by power 2 	: 0
3600.03/3603.67	c number of right shift for reduction by power 2 	: 0
3600.03/3603.67	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3603.67	c number of ending skipping 	: 0
3600.03/3603.67	c number of internal skipping 	: 0
3600.03/3603.67	c number of derivation steps 	: 0
3600.03/3603.67	c number of skipped derivation steps 	: 0
3600.03/3603.67	c number of remaining unassigned 	: 0
3600.03/3603.67	c number of remaining assigned 	: 0
3600.03/3603.67	c number of falsified literals weakened from reason	: 0
3600.03/3603.67	c number of falsified literals weakened from conflict	: 0
3600.03/3603.67	c time for arithmetic operations	: 0
3600.03/3603.67	c minimum degree of deleted constraints	: null
3600.03/3603.67	c maximum degree of deleted constraints	: null
3600.03/3603.67	c number of deleted constraints	: 0
3600.03/3603.69	c speed (assignments/second)	: 956770.6557985466
3600.03/3603.69	c non guided choices	: 4403
3600.26/3603.83	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 237897
3600.26/3603.83	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 1149
3600.26/3603.83	s UNKNOWN
3600.26/3603.83	c Total wall clock time (in seconds): 3603.503

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

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100071 s]*
/proc/loadavg: 4.30 4.13 4.08 6/328 27706
/proc/meminfo: memFree=125763496/131382120 swapFree=33010684/33010684
[pid=27688] ppid=27685 vsize=18930384 memory=50236 CPUtime=0.12 cores=5,7
/proc/27688/stat : 27688 (java) S 27685 27688 26767 0 -1 4194304 5725 0 0 0 9 3 0 0 20 0 18 0 38284701 19384713216 12559 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
/proc/27688/statm: 4732596 12559 5302 1 0 546955 0
[pid=27688/tid=27690] ppid=27685 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/27688/task/27690/stat : 27690 (java) S 27685 27688 26767 0 -1 4194368 4638 0 0 0 5 2 0 0 20 0 18 0 38284703 19384713216 12559 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
[pid=27688/tid=27699] ppid=27685 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/27688/task/27699/stat : 27699 (Finalizer) S 27685 27688 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 38284707 19384713216 12559 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
[pid=27688/tid=27706] ppid=27685 vsize=18930384 memory=59593594259917 CPUtime=0 cores=5,7
/proc/27688/task/27706/stat : 27706 (Common-Cleaner) S 27685 27688 26767 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 38284708 19384713216 12559 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 50236 KiB

[startup+0.213835 s]*
/proc/loadavg: 4.30 4.13 4.08 7/328 27706
/proc/meminfo: memFree=125739992/131382120 swapFree=33010684/33010684
[pid=27688] ppid=27685 vsize=18930384 memory=55076 CPUtime=0.27 cores=5,7
/proc/27688/stat : 27688 (java) S 27685 27688 26767 0 -1 4194304 6386 0 0 0 24 3 0 0 20 0 18 0 38284701 19384713216 13769 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
/proc/27688/statm: 4732596 13769 5366 1 0 547532 0
[pid=27688/tid=27690] ppid=27685 vsize=18930384 memory=4026597660 CPUtime=0.17 cores=5,7
/proc/27688/task/27690/stat : 27690 (java) S 27685 27688 26767 0 -1 4194368 4978 0 0 0 15 2 0 0 20 0 18 0 38284703 19384713216 13769 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
[pid=27688/tid=27699] ppid=27685 vsize=18930384 memory=16878 CPUtime=0 cores=5,7
/proc/27688/task/27699/stat : 27699 (Finalizer) S 27685 27688 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 38284707 19384713216 13769 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
[pid=27688/tid=27706] ppid=27685 vsize=18930384 memory=58494082614266 CPUtime=0 cores=5,7
/proc/27688/task/27706/stat : 27706 (Common-Cleaner) S 27685 27688 26767 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 38284708 19384713216 13769 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55076 KiB

[startup+0.313687 s]*
/proc/loadavg: 4.30 4.13 4.08 8/328 27706
/proc/meminfo: memFree=125735392/131382120 swapFree=33010684/33010684
[pid=27688] ppid=27685 vsize=18930384 memory=60136 CPUtime=0.43 cores=5,7
/proc/27688/stat : 27688 (java) S 27685 27688 26767 0 -1 4194304 6654 0 0 0 40 3 0 0 20 0 18 0 38284701 19384713216 15034 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
/proc/27688/statm: 4732596 15034 5366 1 0 547769 0
[pid=27688/tid=27690] ppid=27685 vsize=18930384 memory=-6000919485541016941 CPUtime=0.26 cores=5,7
/proc/27688/task/27690/stat : 27690 (java) R 27685 27688 26767 0 -1 4194368 5196 0 0 0 24 2 0 0 20 0 18 0 38284703 19384713216 15034 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
[pid=27688/tid=27699] ppid=27685 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/27688/task/27699/stat : 27699 (Finalizer) S 27685 27688 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 38284707 19384713216 15034 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
[pid=27688/tid=27706] ppid=27685 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/27688/task/27706/stat : 27706 (Common-Cleaner) S 27685 27688 26767 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 38284708 19384713216 15034 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 60136 KiB

[startup+0.700397 s]
/proc/loadavg: 4.30 4.13 4.08 8/328 27706
/proc/meminfo: memFree=125725940/131382120 swapFree=33010684/33010684
[pid=27688] ppid=27685 vsize=18930384 memory=104052 CPUtime=1.14 cores=5,7
/proc/27688/stat : 27688 (java) S 27685 27688 26767 0 -1 4194304 8278 0 0 0 109 5 0 0 20 0 18 0 38284701 19384713216 26013 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
/proc/27688/statm: 4732596 26013 5430 1 0 548889 0
[pid=27688/tid=27690] ppid=27685 vsize=18930384 memory=17920 CPUtime=0.63 cores=5,7
/proc/27688/task/27690/stat : 27690 (java) R 27685 27688 26767 0 -1 4194368 5310 0 0 0 60 3 0 0 20 0 18 0 38284703 19384713216 26013 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
[pid=27688/tid=27699] ppid=27685 vsize=18930384 memory=11136 CPUtime=0 cores=5,7
/proc/27688/task/27699/stat : 27699 (Finalizer) S 27685 27688 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 38284707 19384713216 26013 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
[pid=27688/tid=27706] ppid=27685 vsize=18930384 memory=3200 CPUtime=0 cores=5,7
/proc/27688/task/27706/stat : 27706 (Common-Cleaner) S 27685 27688 26767 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 38284708 19384713216 26013 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 104052 KiB

[startup+1.50025 s]
/proc/loadavg: 4.30 4.13 4.08 6/329 27707
/proc/meminfo: memFree=125634956/131382120 swapFree=33010684/33010684
[pid=27688] ppid=27685 vsize=19063512 memory=169940 CPUtime=2.71 cores=5,7
/proc/27688/stat : 27688 (java) S 27685 27688 26767 0 -1 4194304 16389 0 0 0 262 9 0 0 20 0 20 0 38284701 19521036288 42485 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
/proc/27688/statm: 4765878 42485 5494 1 0 552427 0
[pid=27688/tid=27690] ppid=27685 vsize=19063512 memory=3200 CPUtime=1.31 cores=5,7
/proc/27688/task/27690/stat : 27690 (java) R 27685 27688 26767 0 -1 4194368 6551 0 0 0 126 5 0 0 20 0 20 0 38284703 19521036288 42485 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
[pid=27688/tid=27699] ppid=27685 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/27688/task/27699/stat : 27699 (Finalizer) S 27685 27688 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38284707 19521036288 42485 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
[pid=27688/tid=27706] ppid=27685 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/27688/task/27706/stat : 27706 (Common-Cleaner) S 27685 27688 26767 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 38284708 19521036288 42485 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
Current children cumulated CPU time: 2.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 169940 KiB

[startup+3.10586 s]
/proc/loadavg: 4.30 4.13 4.08 6/330 27708
/proc/meminfo: memFree=125506520/131382120 swapFree=33010684/33010684
[pid=27688] ppid=27685 vsize=19063512 memory=184884 CPUtime=5.87 cores=5,7
/proc/27688/stat : 27688 (java) S 27685 27688 26767 0 -1 4194304 19605 0 0 0 576 11 0 0 20 0 20 0 38284701 19521036288 46221 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
/proc/27688/statm: 4765878 46221 5494 1 0 553365 0
[pid=27688/tid=27690] ppid=27685 vsize=19063512 memory=11136 CPUtime=2.83 cores=5,7
/proc/27688/task/27690/stat : 27690 (java) R 27685 27688 26767 0 -1 4194368 6966 0 0 0 277 6 0 0 20 0 20 0 38284703 19521036288 46221 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
[pid=27688/tid=27699] ppid=27685 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/27688/task/27699/stat : 27699 (Finalizer) S 27685 27688 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38284707 19521036288 46221 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
[pid=27688/tid=27706] ppid=27685 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/27688/task/27706/stat : 27706 (Common-Cleaner) S 27685 27688 26767 0 -1 4194368 40 0 0 0 0 0 0 0 20 0 20 0 38284708 19521036288 46221 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
[pid=27688/tid=27708] ppid=27685 vsize=19063512 memory=5148 CPUtime=0 cores=5,7
/proc/27688/task/27708/stat : 27708 (Timer-0) S 27685 27688 26767 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38284822 19521036288 46221 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
Current children cumulated CPU time: 5.87 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 184884 KiB

[startup+6.30037 s]
/proc/loadavg: 4.36 4.15 4.08 6/330 27708
/proc/meminfo: memFree=125146420/131382120 swapFree=33010684/33010684
[pid=27688] ppid=27685 vsize=19063512 memory=312444 CPUtime=10.38 cores=5,7
/proc/27688/stat : 27688 (java) S 27685 27688 26767 0 -1 4194304 21058 0 0 0 1022 16 0 0 20 0 20 0 38284701 19521036288 78111 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
/proc/27688/statm: 4765878 78111 5494 1 0 554487 0
[pid=27688/tid=27690] ppid=27685 vsize=19063512 memory=0 CPUtime=5.99 cores=5,7
/proc/27688/task/27690/stat : 27690 (java) R 27685 27688 26767 0 -1 4194368 7107 0 0 0 589 10 0 0 20 0 20 0 38284703 19521036288 78111 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
[pid=27688/tid=27699] ppid=27685 vsize=19063512 memory=-8412658736309758876 CPUtime=0 cores=5,7
/proc/27688/task/27699/stat : 27699 (Finalizer) S 27685 27688 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38284707 19521036288 78111 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
[pid=27688/tid=27706] ppid=27685 vsize=19063512 memory=-6000919485541016941 CPUtime=0 cores=5,7
/proc/27688/task/27706/stat : 27706 (Common-Cleaner) S 27685 27688 26767 0 -1 4194368 40 0 0 0 0 0 0 0 20 0 20 0 38284708 19521036288 78111 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
[pid=27688/tid=27708] ppid=27685 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/27688/task/27708/stat : 27708 (Timer-0) S 27685 27688 26767 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38284822 19521036288 78111 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
Current children cumulated CPU time: 10.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 312444 KiB

[startup+12.7004 s]
/proc/loadavg: 4.41 4.16 4.09 5/331 27710
/proc/meminfo: memFree=124484392/131382120 swapFree=33010684/33010684
[pid=27688] ppid=27685 vsize=19063512 memory=489432 CPUtime=17.13 cores=5,7
/proc/27688/stat : 27688 (java) S 27685 27688 26767 0 -1 4194304 23342 0 0 0 1690 23 0 0 20 0 20 0 38284701 19521036288 122358 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
/proc/27688/statm: 4765878 122358 5526 1 0 554487 0
[pid=27688/tid=27690] ppid=27685 vsize=19063512 memory=0 CPUtime=12.3 cores=5,7
/proc/27688/task/27690/stat : 27690 (java) R 27685 27688 26767 0 -1 4194368 8123 0 0 0 1215 15 0 0 20 0 20 0 38284703 19521036288 122358 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
[pid=27688/tid=27699] ppid=27685 vsize=19063512 memory=452552 CPUtime=0 cores=5,7
/proc/27688/task/27699/stat : 27699 (Finalizer) S 27685 27688 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38284707 19521036288 122358 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
[pid=27688/tid=27706] ppid=27685 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/27688/task/27706/stat : 27706 (Common-Cleaner) S 27685 27688 26767 0 -1 4194368 40 0 0 0 0 0 0 0 20 0 20 0 38284708 19521036288 122358 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
[pid=27688/tid=27708] ppid=27685 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/27688/task/27708/stat : 27708 (Timer-0) S 27685 27688 26767 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38284822 19521036288 122358 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
Current children cumulated CPU time: 17.13 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 489432 KiB

[startup+25.5002 s]
/proc/loadavg: 4.32 4.15 4.09 5/331 27710
/proc/meminfo: memFree=123123852/131382120 swapFree=33010684/33010684
[pid=27688] ppid=27685 vsize=19063512 memory=817204 CPUtime=29.94 cores=5,7
/proc/27688/stat : 27688 (java) S 27685 27688 26767 0 -1 4194304 27894 0 0 0 2961 33 0 0 20 0 20 0 38284701 19521036288 204301 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
/proc/27688/statm: 4765878 204301 5526 1 0 554487 0
[pid=27688/tid=27690] ppid=27685 vsize=19063512 memory=-6000919485541016941 CPUtime=24.94 cores=5,7
/proc/27688/task/27690/stat : 27690 (java) R 27685 27688 26767 0 -1 4194368 9416 0 0 0 2470 24 0 0 20 0 20 0 38284703 19521036288 204301 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
[pid=27688/tid=27699] ppid=27685 vsize=19063512 memory=3196 CPUtime=0 cores=5,7
/proc/27688/task/27699/stat : 27699 (Finalizer) S 27685 27688 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38284707 19521036288 204301 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
[pid=27688/tid=27706] ppid=27685 vsize=19063512 memory=548896 CPUtime=0 cores=5,7
/proc/27688/task/27706/stat : 27706 (Common-Cleaner) S 27685 27688 26767 0 -1 4194368 40 0 0 0 0 0 0 0 20 0 20 0 38284708 19521036288 204301 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
[pid=27688/tid=27708] ppid=27685 vsize=19063512 memory=489432 CPUtime=0 cores=5,7
/proc/27688/task/27708/stat : 27708 (Timer-0) S 27685 27688 26767 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38284822 19521036288 204301 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
Current children cumulated CPU time: 29.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 817204 KiB

[startup+51.1054 s]
/proc/loadavg: 4.21 4.14 4.08 5/330 27710
/proc/meminfo: memFree=122370816/131382120 swapFree=33010684/33010684
[pid=27688] ppid=27685 vsize=19063512 memory=1331308 CPUtime=55.37 cores=5,7
/proc/27688/stat : 27688 (java) S 27685 27688 26767 0 -1 4194304 30315 0 0 0 5488 49 0 0 20 0 20 0 38284701 19521036288 332827 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
/proc/27688/statm: 4765878 332827 5526 1 0 554487 0
[pid=27688/tid=27690] ppid=27685 vsize=19063512 memory=1331308 CPUtime=50.17 cores=5,7
/proc/27688/task/27690/stat : 27690 (java) R 27685 27688 26767 0 -1 4194368 10765 0 0 0 4978 39 0 0 20 0 20 0 38284703 19521036288 332827 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
[pid=27688/tid=27699] ppid=27685 vsize=19063512 memory=-6000919485541016941 CPUtime=0 cores=5,7
/proc/27688/task/27699/stat : 27699 (Finalizer) S 27685 27688 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38284707 19521036288 332827 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
[pid=27688/tid=27706] ppid=27685 vsize=19063512 memory=874584 CPUtime=0 cores=5,7
/proc/27688/task/27706/stat : 27706 (Common-Cleaner) S 27685 27688 26767 0 -1 4194368 40 0 0 0 0 0 0 0 20 0 20 0 38284708 19521036288 332827 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
[pid=27688/tid=27708] ppid=27685 vsize=19063512 memory=747552 CPUtime=0 cores=5,7

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

[startup+3282.3 s]
/proc/loadavg: 4.42 4.28 4.19 5/328 27954
/proc/meminfo: memFree=111454008/131382120 swapFree=33010684/33010684
[pid=27688] ppid=27685 vsize=19063512 memory=2130376 CPUtime=3279.01 cores=5,7
/proc/27688/stat : 27688 (java) S 27685 27688 26767 0 -1 4194304 92584 0 0 0 327301 600 0 0 20 0 20 0 38284701 19521036288 532594 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
/proc/27688/statm: 4765878 532594 5526 1 0 555571 0
[pid=27688/tid=27690] ppid=27685 vsize=19063512 memory=16464 CPUtime=3255.44 cores=5,7
/proc/27688/task/27690/stat : 27690 (java) R 27685 27688 26767 0 -1 4194368 38154 0 0 0 325130 414 0 0 20 0 20 0 38284703 19521036288 532594 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
[pid=27688/tid=27699] ppid=27685 vsize=19063512 memory=2130248 CPUtime=0 cores=5,7
/proc/27688/task/27699/stat : 27699 (Finalizer) S 27685 27688 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38284707 19521036288 532594 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
[pid=27688/tid=27706] ppid=27685 vsize=19063512 memory=2130248 CPUtime=0 cores=5,7
/proc/27688/task/27706/stat : 27706 (Common-Cleaner) S 27685 27688 26767 0 -1 4194368 1523 0 0 0 0 0 0 0 20 0 20 0 38284708 19521036288 532594 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
[pid=27688/tid=27708] ppid=27685 vsize=19063512 memory=17920 CPUtime=0 cores=5,7
/proc/27688/task/27708/stat : 27708 (Timer-0) S 27685 27688 26767 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38284822 19521036288 532594 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
Current children cumulated CPU time: 3279.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2130376 KiB

[startup+3342.3 s]
/proc/loadavg: 4.21 4.25 4.18 5/329 27959
/proc/meminfo: memFree=111328428/131382120 swapFree=33010684/33010684
[pid=27688] ppid=27685 vsize=19063512 memory=2130376 CPUtime=3338.83 cores=5,7
/proc/27688/stat : 27688 (java) S 27685 27688 26767 0 -1 4194304 94263 0 0 0 333275 608 0 0 20 0 20 0 38284701 19521036288 532594 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
/proc/27688/statm: 4765878 532594 5526 1 0 555571 0
[pid=27688/tid=27690] ppid=27685 vsize=19063512 memory=11136 CPUtime=3315.02 cores=5,7
/proc/27688/task/27690/stat : 27690 (java) R 27685 27688 26767 0 -1 4194368 38938 0 0 0 331083 419 0 0 20 0 20 0 38284703 19521036288 532594 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
[pid=27688/tid=27699] ppid=27685 vsize=19063512 memory=16464 CPUtime=0 cores=5,7
/proc/27688/task/27699/stat : 27699 (Finalizer) S 27685 27688 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38284707 19521036288 532594 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
[pid=27688/tid=27706] ppid=27685 vsize=19063512 memory=2130376 CPUtime=0 cores=5,7
/proc/27688/task/27706/stat : 27706 (Common-Cleaner) S 27685 27688 26767 0 -1 4194368 1524 0 0 0 0 0 0 0 20 0 20 0 38284708 19521036288 532594 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
[pid=27688/tid=27708] ppid=27685 vsize=19063512 memory=2764 CPUtime=0 cores=5,7
/proc/27688/task/27708/stat : 27708 (Timer-0) S 27685 27688 26767 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38284822 19521036288 532594 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
Current children cumulated CPU time: 3338.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2130376 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.21 4.17 5/329 27962
/proc/meminfo: memFree=111197224/131382120 swapFree=33010684/33010684
[pid=27688] ppid=27685 vsize=19063512 memory=2130376 CPUtime=3398.71 cores=5,7
/proc/27688/stat : 27688 (java) S 27685 27688 26767 0 -1 4194304 94472 0 0 0 339255 616 0 0 20 0 20 0 38284701 19521036288 532594 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
/proc/27688/statm: 4765878 532594 5526 1 0 555571 0
[pid=27688/tid=27690] ppid=27685 vsize=19063512 memory=11136 CPUtime=3374.71 cores=5,7
/proc/27688/task/27690/stat : 27690 (java) R 27685 27688 26767 0 -1 4194368 39069 0 0 0 337047 424 0 0 20 0 20 0 38284703 19521036288 532594 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
[pid=27688/tid=27699] ppid=27685 vsize=19063512 memory=2130376 CPUtime=0 cores=5,7
/proc/27688/task/27699/stat : 27699 (Finalizer) S 27685 27688 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38284707 19521036288 532594 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
[pid=27688/tid=27706] ppid=27685 vsize=19063512 memory=2130376 CPUtime=0 cores=5,7
/proc/27688/task/27706/stat : 27706 (Common-Cleaner) S 27685 27688 26767 0 -1 4194368 1577 0 0 0 0 0 0 0 20 0 20 0 38284708 19521036288 532594 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
[pid=27688/tid=27708] ppid=27685 vsize=19063512 memory=16464 CPUtime=0 cores=5,7
/proc/27688/task/27708/stat : 27708 (Timer-0) S 27685 27688 26767 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38284822 19521036288 532594 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
Current children cumulated CPU time: 3398.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2130376 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.20 4.17 5/329 27964
/proc/meminfo: memFree=111080416/131382120 swapFree=33010684/33010684
[pid=27688] ppid=27685 vsize=19063512 memory=2130376 CPUtime=3458.61 cores=5,7
/proc/27688/stat : 27688 (java) S 27685 27688 26767 0 -1 4194304 94793 0 0 0 345238 623 0 0 20 0 20 0 38284701 19521036288 532594 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
/proc/27688/statm: 4765878 532594 5526 1 0 555571 0
[pid=27688/tid=27690] ppid=27685 vsize=19063512 memory=11136 CPUtime=3434.39 cores=5,7
/proc/27688/task/27690/stat : 27690 (java) R 27685 27688 26767 0 -1 4194368 39365 0 0 0 343011 428 0 0 20 0 20 0 38284703 19521036288 532594 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
[pid=27688/tid=27699] ppid=27685 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/27688/task/27699/stat : 27699 (Finalizer) S 27685 27688 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38284707 19521036288 532594 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
[pid=27688/tid=27706] ppid=27685 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/27688/task/27706/stat : 27706 (Common-Cleaner) S 27685 27688 26767 0 -1 4194368 1577 0 0 0 0 0 0 0 20 0 20 0 38284708 19521036288 532594 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
[pid=27688/tid=27708] ppid=27685 vsize=19063512 memory=2130376 CPUtime=0 cores=5,7
/proc/27688/task/27708/stat : 27708 (Timer-0) S 27685 27688 26767 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38284822 19521036288 532594 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
Current children cumulated CPU time: 3458.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2130376 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.18 4.17 5/330 27967
/proc/meminfo: memFree=110955916/131382120 swapFree=33010684/33010684
[pid=27688] ppid=27685 vsize=19063512 memory=2130376 CPUtime=3518.44 cores=5,7
/proc/27688/stat : 27688 (java) S 27685 27688 26767 0 -1 4194304 96171 0 0 0 351212 632 0 0 20 0 20 0 38284701 19521036288 532594 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
/proc/27688/statm: 4765878 532594 5526 1 0 555571 0
[pid=27688/tid=27690] ppid=27685 vsize=19063512 memory=11136 CPUtime=3493.98 cores=5,7
/proc/27688/task/27690/stat : 27690 (java) R 27685 27688 26767 0 -1 4194368 40484 0 0 0 348965 433 0 0 20 0 20 0 38284703 19521036288 532594 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
[pid=27688/tid=27699] ppid=27685 vsize=19063512 memory=2130376 CPUtime=0 cores=5,7
/proc/27688/task/27699/stat : 27699 (Finalizer) S 27685 27688 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38284707 19521036288 532594 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
[pid=27688/tid=27706] ppid=27685 vsize=19063512 memory=16464 CPUtime=0 cores=5,7
/proc/27688/task/27706/stat : 27706 (Common-Cleaner) S 27685 27688 26767 0 -1 4194368 1621 0 0 0 0 0 0 0 20 0 20 0 38284708 19521036288 532594 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
[pid=27688/tid=27708] ppid=27685 vsize=19063512 memory=5148 CPUtime=0 cores=5,7
/proc/27688/task/27708/stat : 27708 (Timer-0) S 27685 27688 26767 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38284822 19521036288 532594 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
Current children cumulated CPU time: 3518.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2130376 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.16 4.16 5/331 27970
/proc/meminfo: memFree=110794852/131382120 swapFree=33010684/33010684
[pid=27688] ppid=27685 vsize=19063512 memory=2184748 CPUtime=3578.8 cores=5,7
/proc/27688/stat : 27688 (java) S 27685 27688 26767 0 -1 4194304 108735 0 0 0 357237 643 0 0 20 0 20 0 38284701 19521036288 546187 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
/proc/27688/statm: 4765878 546187 5526 1 0 561088 0
[pid=27688/tid=27690] ppid=27685 vsize=19063512 memory=11136 CPUtime=3553.56 cores=5,7
/proc/27688/task/27690/stat : 27690 (java) R 27685 27688 26767 0 -1 4194368 46574 0 0 0 354917 439 0 0 20 0 20 0 38284703 19521036288 546187 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
[pid=27688/tid=27699] ppid=27685 vsize=19063512 memory=16464 CPUtime=0 cores=5,7
/proc/27688/task/27699/stat : 27699 (Finalizer) S 27685 27688 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38284707 19521036288 546187 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
[pid=27688/tid=27706] ppid=27685 vsize=19063512 memory=17920 CPUtime=0 cores=5,7
/proc/27688/task/27706/stat : 27706 (Common-Cleaner) S 27685 27688 26767 0 -1 4194368 1626 0 0 0 0 0 0 0 20 0 20 0 38284708 19521036288 546187 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
[pid=27688/tid=27708] ppid=27685 vsize=19063512 memory=16464 CPUtime=0 cores=5,7
/proc/27688/task/27708/stat : 27708 (Timer-0) S 27685 27688 26767 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38284822 19521036288 546187 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
Current children cumulated CPU time: 3578.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2184748 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3603.6 s]
/proc/loadavg: 4.05 4.15 4.16 5/310 28054
/proc/meminfo: memFree=117545984/131382120 swapFree=33010684/33010684
[pid=27688] ppid=27685 vsize=19063512 memory=2184876 CPUtime=3600.03 cores=5,7
/proc/27688/stat : 27688 (java) S 27685 27688 26767 0 -1 4194304 109567 0 0 0 359357 646 0 0 20 0 20 0 38284701 19521036288 546219 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
/proc/27688/statm: 4765878 546219 5526 1 0 561088 0
[pid=27688/tid=27690] ppid=27685 vsize=19063512 memory=16464 CPUtime=3574.65 cores=5,7
/proc/27688/task/27690/stat : 27690 (java) R 27685 27688 26767 0 -1 4194368 46797 0 0 0 357024 441 0 0 20 0 20 0 38284703 19521036288 546219 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
[pid=27688/tid=27699] ppid=27685 vsize=19063512 memory=17920 CPUtime=0 cores=5,7
/proc/27688/task/27699/stat : 27699 (Finalizer) S 27685 27688 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 38284707 19521036288 546219 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
[pid=27688/tid=27706] ppid=27685 vsize=19063512 memory=11136 CPUtime=0 cores=5,7
/proc/27688/task/27706/stat : 27706 (Common-Cleaner) S 27685 27688 26767 0 -1 4194368 1679 0 0 0 0 0 0 0 20 0 20 0 38284708 19521036288 546219 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
[pid=27688/tid=27708] ppid=27685 vsize=19063512 memory=-6000919485541016941 CPUtime=0 cores=5,7
/proc/27688/task/27708/stat : 27708 (Timer-0) S 27685 27688 26767 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 38284822 19521036288 546219 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2184876 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.85 s, system=6.49695 s

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

[startup+3603.8 s]
/proc/loadavg: 4.05 4.15 4.16 5/310 28054
/proc/meminfo: memFree=117545984/131382120 swapFree=33010684/33010684
[pid=27688] ppid=27685 vsize=19263204 memory=2185772 CPUtime=3600.26 cores=5,7
/proc/27688/stat : 27688 (java) S 27685 27688 26767 0 -1 4194304 112196 0 0 0 359379 647 0 0 20 0 21 0 38284701 19725520896 546443 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
/proc/27688/statm: 4815801 546443 5526 1 0 562081 0
[pid=27688/tid=27690] ppid=27685 vsize=19263204 memory=-6000919489953817709 CPUtime=3574.67 cores=5,7
/proc/27688/task/27690/stat : 27690 (java) S 27685 27688 26767 0 -1 4194368 47153 0 0 0 357026 441 0 0 20 0 21 0 38284703 19725520896 546443 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
[pid=27688/tid=27699] ppid=27685 vsize=19263204 memory=5300 CPUtime=0 cores=5,7
/proc/27688/task/27699/stat : 27699 (Finalizer) S 27685 27688 26767 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 38284707 19725520896 546443 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
[pid=27688/tid=27706] ppid=27685 vsize=19263204 memory=5104 CPUtime=0 cores=5,7
/proc/27688/task/27706/stat : 27706 (Common-Cleaner) S 27685 27688 26767 0 -1 4194368 1679 0 0 0 0 0 0 0 20 0 21 0 38284708 19725520896 546443 18446744073709551615 93854215507968 93854215511664 140723888764544 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93854215519480 93854215520272 93854241308672 140723888773424 140723888773606 140723888773606 140723888779208 0
Current children cumulated CPU time: 3600.26 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2185772 KiB

Child status: 143

Real time (s): 3603.86
CPU time (s): 3600.35
CPU user time (s): 3593.85
CPU system time (s): 6.49695
CPU usage (%): 99.9025
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2185772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.85
system time used= 6.49695
maximum resident set size= 2186028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112465
page faults= 0
swaps= 0
block input operations= 0
block output operations= 6009048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110394
involuntary context switches= 13283


# summary of solver processes directly reported to runsolver:
#   pid: 27688
#   total CPU time (s): 3600.35
#   total CPU user time (s): 3593.85
#   total CPU system time (s): 6.49695

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.1319 second user time and 36.2592 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2025-06-29 21:41:00
IDJOB=4514311
IDBENCH=162621
IDSOLVER=3364
FILE ID=nodeC003/4514311-1751226060
RUNJOBID= nodeC003-1751222447-26780
SLURM_JOB_ID= 9587679
Free space on /tmp= 432748 MiB

SOLVER NAME= Sat4j Resolution VeriPB 2025-06-06
BENCH NAME= PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/d-equals-n_k/normalized-compression64_8.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4514311-1751226060/watcher-4514311-1751226060 -o /tmp/evaluation-result-4514311-1751226060/solver-4514311-1751226060 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751222447-26780 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4514311-1751226060 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4514311-1751226060.opb

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

MD5SUM BENCH= 07ba29cf24b97459f05241f8c3fed802
RANDOM SEED=1629710020

nodeC003 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	: 0xb00001f
cpu MHz		: 3491.718
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 pti 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	: 6983.44
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		: 3660.843
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 pti 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	: 6983.44
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		: 3492.217
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 pti 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	: 6983.44
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.018
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 pti 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	: 6983.44
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.725
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 pti 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	: 6983.44
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		: 1198.262
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 pti 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	: 6983.44
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		: 3391.959
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 pti 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	: 6983.44
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.165
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 pti 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	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        125810816 kB
MemAvailable:   127684484 kB
Buffers:            3280 kB
Cached:          2681132 kB
SwapCached:            0 kB
Active:          2618244 kB
Inactive:        2432588 kB
Active(anon):    2384488 kB
Inactive(anon):        0 kB
Active(file):     233756 kB
Inactive(file):  2432588 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             25016 kB
Writeback:             0 kB
AnonPages:       2369644 kB
Mapped:           123040 kB
Shmem:             17960 kB
KReclaimable:      93904 kB
Slab:             177388 kB
SReclaimable:      93904 kB
SUnreclaim:        83484 kB
KernelStack:        5024 kB
PageTables:         8244 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    7046168 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150328 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2168832 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:      191304 kB
DirectMap2M:    11245568 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 432744 MiB
End job on nodeC003 at 2025-06-29 22:41:04