Trace number 4513662

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 3605.4

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/elffers/
EC_RANDOM_GRAPHS/normalized-ECrand6reg-v051-n1.opb
MD5SUM9fac4249a105f22015b6c608ca9c575b
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.026432
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables153
Total number of constraints51
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)51
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint6
Maximum length of a constraint6
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 9
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.14	c Pseudo Boolean Optimization by upper bound
0.12/0.14	c --- Begin Solver configuration ---
0.12/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.14	c Learn all clauses as in MiniSAT
0.12/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.14	c Expensive reason simplification
0.12/0.14	c Glucose 2.1 dynamic restart strategy
0.12/0.14	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.14	c timeout=2147483s
0.12/0.14	c DB Simplification allowed=false
0.12/0.14	c Listener: none
0.12/0.14	c --- End Solver configuration ---
0.12/0.14	c solving HOME/instance-4513662-1751221085.opb
0.12/0.14	c reading problem ... 
0.12/0.14	c  no objective function found
0.12/0.15	c ... done. Wall clock time 0.016s.
0.12/0.15	c declared #vars     153
0.12/0.16	c #constraints  102
0.12/0.16	c constraints type 
0.12/0.16	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 102
0.12/0.16	c 102 constraints processed.
0.69/0.42	c cleaning 2495 clauses out of 5000 with flag 24849/5000
1.07/0.67	c cleaning 4241 clauses out of 8505 with flag 64484/11000
1.47/0.88	c cleaning 5630 clauses out of 11264 with flag 111690/18000
1.78/1.07	c cleaning 6810 clauses out of 13636 with flag 156242/26002
2.05/1.29	c cleaning 7905 clauses out of 15825 with flag 213545/35001
2.45/1.55	c cleaning 8953 clauses out of 17919 with flag 271709/45000
2.84/1.83	c cleaning 9973 clauses out of 19967 with flag 338468/56001
3.15/2.19	c cleaning 10985 clauses out of 21996 with flag 410015/68003
3.55/2.58	c cleaning 11992 clauses out of 24008 with flag 499121/81000
3.95/2.99	c cleaning 13002 clauses out of 26017 with flag 584173/95001
4.55/3.56	c cleaning 13999 clauses out of 28015 with flag 682434/110001
5.34/4.35	c cleaning 14999 clauses out of 30015 with flag 789080/126000
6.27/5.21	c cleaning 16001 clauses out of 32017 with flag 916358/143001
6.90/5.86	c cleaning 17003 clauses out of 34017 with flag 1037286/161002
7.59/6.56	c cleaning 18001 clauses out of 36012 with flag 1165390/180000
8.50/7.43	c cleaning 18982 clauses out of 38011 with flag 1315213/200000
9.80/8.79	c cleaning 19990 clauses out of 40029 with flag 1493546/221000
10.80/9.74	c cleaning 21014 clauses out of 42039 with flag 1643542/243000
11.70/10.69	c cleaning 22007 clauses out of 44025 with flag 1788581/266000
12.69/11.65	c cleaning 23002 clauses out of 46020 with flag 1935354/290002
13.79/12.74	c cleaning 24003 clauses out of 48018 with flag 2097386/315002
14.99/13.92	c cleaning 25000 clauses out of 50014 with flag 2265898/341001
16.29/15.25	c cleaning 26000 clauses out of 52013 with flag 2455344/368000
17.58/16.56	c cleaning 26999 clauses out of 54014 with flag 2648189/396001
18.98/17.97	c cleaning 27991 clauses out of 56014 with flag 2839402/425000
20.59/19.54	c cleaning 29005 clauses out of 58023 with flag 3042989/455000
22.19/21.14	c cleaning 29998 clauses out of 60018 with flag 3248741/486000
23.88/22.81	c cleaning 30997 clauses out of 62020 with flag 3458311/518000
25.97/24.91	c cleaning 32002 clauses out of 64023 with flag 3689953/551000
27.77/26.75	c cleaning 33000 clauses out of 66022 with flag 3915805/585001
29.87/28.84	c cleaning 34003 clauses out of 68021 with flag 4156664/620000
32.07/31.00	c cleaning 35003 clauses out of 70018 with flag 4420056/656000
34.38/33.39	c cleaning 35992 clauses out of 72015 with flag 4683356/693000
36.78/35.71	c cleaning 36996 clauses out of 74024 with flag 4950798/731001
39.57/38.58	c cleaning 38006 clauses out of 76027 with flag 5227890/770000
42.17/41.15	c cleaning 39003 clauses out of 78021 with flag 5511929/810000
44.96/43.94	c cleaning 39998 clauses out of 80018 with flag 5795897/851000
47.85/46.80	c cleaning 40997 clauses out of 82020 with flag 6089592/893000
50.88/49.85	c cleaning 42005 clauses out of 84024 with flag 6400766/936001
53.97/52.98	c cleaning 43004 clauses out of 86018 with flag 6706016/980000
56.96/55.96	c cleaning 44001 clauses out of 88015 with flag 7011177/1025001
60.06/59.07	c cleaning 44998 clauses out of 90014 with flag 7331121/1071001
63.35/62.38	c cleaning 45999 clauses out of 92015 with flag 7657116/1118000
67.17/66.11	c cleaning 47003 clauses out of 94017 with flag 7975722/1166001
70.76/69.75	c cleaning 48003 clauses out of 96013 with flag 8316830/1215000
74.55/73.57	c cleaning 49000 clauses out of 98011 with flag 8669174/1265001
78.34/77.32	c cleaning 49998 clauses out of 100010 with flag 9049548/1316000
82.46/81.42	c cleaning 50983 clauses out of 102013 with flag 9415727/1368001
86.66/85.68	c cleaning 52005 clauses out of 104031 with flag 9806628/1421002
90.75/89.75	c cleaning 53005 clauses out of 106026 with flag 10174873/1475002
95.54/94.57	c cleaning 54001 clauses out of 108021 with flag 10585313/1530002
99.97/98.99	c cleaning 55003 clauses out of 110018 with flag 10977196/1586000
104.56/103.50	c cleaning 55998 clauses out of 112016 with flag 11386162/1643001
109.65/108.60	c cleaning 56999 clauses out of 114017 with flag 11815207/1701000
115.05/114.04	c cleaning 58001 clauses out of 116018 with flag 12244038/1760000
120.07/119.00	c cleaning 59000 clauses out of 118018 with flag 12707361/1820001
125.27/124.16	c cleaning 60003 clauses out of 120018 with flag 13180364/1881001
130.75/129.67	c cleaning 60999 clauses out of 122014 with flag 13624749/1943000
136.24/135.11	c cleaning 62002 clauses out of 124015 with flag 14056168/2006000
142.13/141.06	c cleaning 63000 clauses out of 126013 with flag 14523524/2070000
147.82/146.70	c cleaning 63994 clauses out of 128014 with flag 14987831/2135001
153.70/152.65	c cleaning 65000 clauses out of 130020 with flag 15485096/2201001
159.89/158.86	c cleaning 65997 clauses out of 132019 with flag 15994413/2268000
166.11/165.10	c cleaning 67007 clauses out of 134022 with flag 16472309/2336000
172.69/171.66	c cleaning 67993 clauses out of 136015 with flag 16972785/2405000
179.08/178.09	c cleaning 69008 clauses out of 138023 with flag 17490202/2475001
185.69/184.68	c cleaning 69997 clauses out of 140015 with flag 17993870/2546001
193.27/192.22	c cleaning 71000 clauses out of 142017 with flag 18536063/2618000
200.75/199.78	c cleaning 72000 clauses out of 144017 with flag 19099634/2691000
207.74/206.73	c cleaning 73000 clauses out of 146017 with flag 19624625/2765000
215.05/214.06	c cleaning 74007 clauses out of 148020 with flag 20175965/2840003
222.13/221.11	c cleaning 74999 clauses out of 150011 with flag 20749267/2916001
229.91/228.97	c cleaning 76000 clauses out of 152011 with flag 21331927/2993000
238.00/237.08	c cleaning 76997 clauses out of 154011 with flag 21909445/3071000
246.38/245.49	c cleaning 77995 clauses out of 156015 with flag 22515253/3150001
255.40/254.45	c cleaning 79004 clauses out of 158019 with flag 23117169/3230000
264.28/263.37	c cleaning 79997 clauses out of 160016 with flag 23755013/3311001
272.87/271.96	c cleaning 80998 clauses out of 162018 with flag 24364089/3393000
282.84/281.95	c cleaning 82006 clauses out of 164020 with flag 25028327/3476000
292.32/291.41	c cleaning 83000 clauses out of 166015 with flag 25709153/3560001
301.55/300.60	c cleaning 83995 clauses out of 168015 with flag 26357979/3645001
310.73/309.84	c cleaning 85002 clauses out of 170021 with flag 26984825/3731002
320.51/319.67	c cleaning 86002 clauses out of 172019 with flag 27612793/3818002
331.18/330.32	c cleaning 87000 clauses out of 174015 with flag 28326516/3906000
342.06/341.28	c cleaning 88002 clauses out of 176016 with flag 29002675/3995001
352.85/352.00	c cleaning 88999 clauses out of 178013 with flag 29680899/4085000
363.76/362.90	c cleaning 90001 clauses out of 180015 with flag 30358532/4176001
374.23/373.40	c cleaning 90998 clauses out of 182014 with flag 31043073/4268001
385.11/384.38	c cleaning 91996 clauses out of 184015 with flag 31746079/4361000
397.69/396.98	c cleaning 93004 clauses out of 186019 with flag 32503907/4455000
409.56/408.83	c cleaning 94003 clauses out of 188017 with flag 33267006/4550002
422.23/421.52	c cleaning 94996 clauses out of 190012 with flag 34006838/4646000
434.76/434.04	c cleaning 96001 clauses out of 192020 with flag 34736132/4743004
447.23/446.53	c cleaning 97003 clauses out of 194015 with flag 35483674/4841000
459.20/458.56	c cleaning 97997 clauses out of 196013 with flag 36213884/4940001
472.57/471.98	c cleaning 99001 clauses out of 198015 with flag 36959019/5040000
485.75/485.13	c cleaning 99999 clauses out of 200015 with flag 37728296/5141001
499.01/498.49	c cleaning 100996 clauses out of 202016 with flag 38501182/5243001
512.29/511.76	c cleaning 101999 clauses out of 204019 with flag 39289685/5346000
526.53/525.91	c cleaning 103006 clauses out of 206021 with flag 40096251/5450001
541.49/540.94	c cleaning 103998 clauses out of 208014 with flag 40923545/5555000
555.96/555.45	c cleaning 104991 clauses out of 210017 with flag 41729829/5661001
570.33/569.85	c cleaning 106003 clauses out of 212026 with flag 42568241/5768001
584.90/584.43	c cleaning 107002 clauses out of 214023 with flag 43375656/5876001
600.47/600.03	c cleaning 108007 clauses out of 216022 with flag 44216332/5985002
615.30/614.81	c cleaning 108996 clauses out of 218014 with flag 45065703/6095001
631.47/631.03	c cleaning 109996 clauses out of 220018 with flag 45904038/6206001
647.33/646.92	c cleaning 110996 clauses out of 222021 with flag 46863764/6318000
664.29/663.92	c cleaning 112005 clauses out of 224026 with flag 47771504/6431001
681.25/680.91	c cleaning 113001 clauses out of 226021 with flag 48696429/6545001
699.81/699.51	c cleaning 114010 clauses out of 228022 with flag 49597233/6660003
716.07/715.82	c cleaning 114997 clauses out of 230010 with flag 50469187/6776001
733.72/733.45	c cleaning 115992 clauses out of 232012 with flag 51366360/6893000
751.38/751.12	c cleaning 117003 clauses out of 234021 with flag 52289439/7011001
769.73/769.53	c cleaning 118003 clauses out of 236017 with flag 53187454/7130000
787.70/787.59	c cleaning 118999 clauses out of 238014 with flag 54109578/7250000
805.96/805.87	c cleaning 120003 clauses out of 240015 with flag 55067237/7371000
825.01/824.95	c cleaning 121001 clauses out of 242012 with flag 55997677/7493000
843.88/843.87	c cleaning 121998 clauses out of 244012 with flag 56930132/7616001
863.24/863.26	c cleaning 122999 clauses out of 246013 with flag 57889401/7740000
884.38/884.39	c cleaning 123990 clauses out of 248014 with flag 58873907/7865000
904.14/904.14	c cleaning 124999 clauses out of 250024 with flag 59870630/7991000
924.99/925.08	c cleaning 126005 clauses out of 252025 with flag 60873758/8118000
945.54/945.63	c cleaning 127001 clauses out of 254021 with flag 61875721/8246001
967.09/967.27	c cleaning 127998 clauses out of 256020 with flag 62886773/8375001
990.45/990.63	c cleaning 129005 clauses out of 258026 with flag 63938554/8505005
1012.50/1012.71	c cleaning 130001 clauses out of 260018 with flag 64970813/8636002
1033.95/1034.29	c cleaning 131003 clauses out of 262015 with flag 65995091/8768000
1057.88/1058.15	c cleaning 132000 clauses out of 264012 with flag 67063298/8901000
1078.93/1079.28	c cleaning 133000 clauses out of 266013 with flag 68095061/9035001
1102.98/1103.31	c cleaning 133997 clauses out of 268013 with flag 69170835/9170001
1127.13/1127.53	c cleaning 135001 clauses out of 270017 with flag 70226632/9306002
1151.77/1152.23	c cleaning 136001 clauses out of 272015 with flag 71306811/9443001
1176.02/1176.54	c cleaning 136994 clauses out of 274014 with flag 72421222/9581001
1202.05/1202.60	c cleaning 138001 clauses out of 276020 with flag 73494111/9720001
1228.19/1228.82	c cleaning 138987 clauses out of 278018 with flag 74605554/9860000
1254.62/1255.31	c cleaning 140009 clauses out of 280032 with flag 75713332/10001001
1282.54/1283.30	c cleaning 141006 clauses out of 282022 with flag 76861643/10143000
1306.48/1307.39	c cleaning 141996 clauses out of 284019 with flag 77982476/10286003
1333.51/1334.43	c cleaning 143001 clauses out of 286020 with flag 79107032/10430000
1360.54/1361.59	c cleaning 144002 clauses out of 288019 with flag 80231440/10575000
1388.66/1389.75	c cleaning 145003 clauses out of 290017 with flag 81377888/10721000
1417.09/1418.26	c cleaning 145999 clauses out of 292014 with flag 82602000/10868000
1446.71/1448.00	c cleaning 147000 clauses out of 294016 with flag 83780025/11016001
1475.04/1476.37	c cleaning 148000 clauses out of 296015 with flag 85031568/11165000
1503.16/1504.51	c cleaning 148984 clauses out of 298015 with flag 86414553/11315000
1530.94/1532.29	c cleaning 150002 clauses out of 300031 with flag 87725634/11466000
1560.88/1562.23	c cleaning 151012 clauses out of 302029 with flag 88950520/11618000
1590.62/1592.04	c cleaning 151989 clauses out of 304017 with flag 90168811/11771000
1623.54/1625.05	c cleaning 153010 clauses out of 306031 with flag 91519796/11925003
1652.98/1654.55	c cleaning 153999 clauses out of 308018 with flag 92774685/12080000
1683.41/1685.07	c cleaning 155002 clauses out of 310020 with flag 94030010/12236001
1714.75/1716.41	c cleaning 156003 clauses out of 312018 with flag 95279659/12393001
1744.39/1746.10	c cleaning 157000 clauses out of 314015 with flag 96633431/12551001
1777.61/1779.49	c cleaning 158000 clauses out of 316015 with flag 97970245/12710001
1807.83/1809.60	c cleaning 158999 clauses out of 318015 with flag 99248870/12870001
1840.67/1842.56	c cleaning 160004 clauses out of 320015 with flag 100591987/13031000
1873.49/1875.47	c cleaning 160979 clauses out of 322011 with flag 101928551/13193000
1907.41/1909.49	c cleaning 162008 clauses out of 324032 with flag 103232165/13356000
1942.95/1945.07	c cleaning 163004 clauses out of 326024 with flag 104646343/13520000
1978.26/1980.46	c cleaning 164007 clauses out of 328021 with flag 105997121/13685001
2013.49/2015.70	c cleaning 165000 clauses out of 330016 with flag 107404476/13851003
2053.11/2055.41	c cleaning 166002 clauses out of 332013 with flag 108810802/14018000
2086.63/2089.03	c cleaning 166992 clauses out of 334012 with flag 110289829/14186001
2123.95/2126.49	c cleaning 168002 clauses out of 336020 with flag 111716952/14355001
2165.48/2167.63	c cleaning 169002 clauses out of 338020 with flag 113148116/14525003
2201.99/2204.23	c cleaning 170001 clauses out of 340017 with flag 114534627/14696002
2238.02/2240.37	c cleaning 171000 clauses out of 342014 with flag 115987778/14868000
2279.83/2282.29	c cleaning 171996 clauses out of 344014 with flag 117447625/15041000
2318.95/2321.44	c cleaning 172997 clauses out of 346018 with flag 118904454/15215000
2357.96/2360.57	c cleaning 173998 clauses out of 348021 with flag 120340220/15390000
2395.68/2398.37	c cleaning 175002 clauses out of 350024 with flag 121749795/15566001
2434.60/2437.38	c cleaning 176008 clauses out of 352022 with flag 123213837/15743001
2477.01/2479.85	c cleaning 176992 clauses out of 354014 with flag 124730993/15921001
2519.03/2521.93	c cleaning 178001 clauses out of 356021 with flag 126192788/16100000
2562.45/2565.48	c cleaning 178999 clauses out of 358021 with flag 127842487/16280001
2606.75/2609.89	c cleaning 179984 clauses out of 360021 with flag 129364767/16461000
2653.95/2657.13	c cleaning 181000 clauses out of 362037 with flag 130928301/16643000
2695.87/2699.18	c cleaning 182014 clauses out of 364038 with flag 132501015/16826001
2740.26/2743.64	c cleaning 183005 clauses out of 366025 with flag 134049572/17010002
2786.97/2790.46	c cleaning 184004 clauses out of 368019 with flag 135621048/17195001
2834.47/2838.02	c cleaning 184999 clauses out of 370016 with flag 137116910/17381002
2878.66/2882.30	c cleaning 185999 clauses out of 372016 with flag 138612541/17568001
2924.17/2927.90	c cleaning 187004 clauses out of 374017 with flag 140182382/17756001
2970.80/2974.68	c cleaning 187999 clauses out of 376012 with flag 141794707/17945000
3021.79/3025.72	c cleaning 189000 clauses out of 378013 with flag 143416276/18135000
3067.18/3071.27	c cleaning 189998 clauses out of 380014 with flag 145007393/18326001
3115.86/3120.01	c cleaning 190993 clauses out of 382015 with flag 146633229/18518000
3165.93/3170.24	c cleaning 192005 clauses out of 384022 with flag 148254933/18711000
3217.59/3222.08	c cleaning 192998 clauses out of 386019 with flag 149865924/18905002
3268.66/3273.28	c cleaning 193995 clauses out of 388019 with flag 151517905/19100000
3321.92/3326.68	c cleaning 195000 clauses out of 390024 with flag 153194330/19296000
3370.21/3375.07	c cleaning 196006 clauses out of 392024 with flag 154771953/19493000
3425.46/3430.46	c cleaning 196999 clauses out of 394019 with flag 156465949/19691001
3478.23/3483.37	c cleaning 197984 clauses out of 396019 with flag 158190036/19890000
3535.70/3540.86	c cleaning 199009 clauses out of 398036 with flag 160150217/20090001
3590.66/3596.00	c cleaning 200004 clauses out of 400027 with flag 161843909/20291001
3600.04/3605.31	c timeout
3600.04/3605.32	c starts		: 39243
3600.04/3605.32	c conflicts		: 20332103
3600.04/3605.32	c decisions		: 26260270
3600.04/3605.32	c propagations		: 343668125
3600.04/3605.32	c inspects		: 58757518831
3600.04/3605.32	c shortcuts		: 0
3600.04/3605.32	c learnt literals	: 0
3600.04/3605.32	c learnt binary clauses	: 0
3600.04/3605.32	c learnt ternary clauses	: 0
3600.04/3605.32	c learnt constraints	: 20332103
3600.04/3605.32	c ignored constraints	: 0
3600.04/3605.32	c root simplifications	: 0
3600.04/3605.32	c removed literals (reason simplification)	: 30995243
3600.04/3605.32	c reason swapping (by a shorter reason)	: 0
3600.04/3605.32	c Calls to reduceDB	: 197
3600.04/3605.32	c Number of update (reduction) of LBD	: 5628768
3600.04/3605.32	c Imported unit clauses	: 0
3600.04/3605.32	c No decision after first conflict	: false
3600.04/3605.32	c number of reductions to clauses (during analyze)	: 0
3600.04/3605.32	c number of learned constraints concerned by reduction	: 0
3600.04/3605.32	c number of learning phase by resolution	: 0
3600.04/3605.32	c number of learning phase by cutting planes	: 0
3600.04/3605.32	c number of rounding to 1 operations	: 0
3600.04/3605.32	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.04/3605.32	c number of reductions of the coefficients by power 2 	: 0
3600.04/3605.32	c number of right shift for reduction by power 2 	: 0
3600.04/3605.32	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.04/3605.32	c number of ending skipping 	: 0
3600.04/3605.32	c number of internal skipping 	: 0
3600.04/3605.32	c number of derivation steps 	: 0
3600.04/3605.33	c number of skipped derivation steps 	: 0
3600.04/3605.33	c number of remaining unassigned 	: 0
3600.04/3605.33	c number of remaining assigned 	: 0
3600.04/3605.33	c number of falsified literals weakened from reason	: 0
3600.04/3605.33	c number of falsified literals weakened from conflict	: 0
3600.04/3605.33	c time for arithmetic operations	: 0
3600.04/3605.33	c minimum degree of deleted constraints	: null
3600.04/3605.33	c maximum degree of deleted constraints	: null
3600.04/3605.33	c number of deleted constraints	: 0
3600.04/3605.33	c speed (assignments/second)	: 95326.4686547375
3600.04/3605.33	c non guided choices	: 7028
3600.04/3605.39	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 241125
3600.04/3605.39	s UNKNOWN
3600.04/3605.39	c Total wall clock time (in seconds): 3605.251

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: 63665 MiB (62193 MiB free)
  memory of node 1: 64507 MiB (60587 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4513662-1751221085/watcher-4513662-1751221085 -o /tmp/evaluation-result-4513662-1751221085/solver-4513662-1751221085 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751219267-28440 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4513662-1751221085.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Current StackSize limit: 8192 KiB

solver pid=28920, runsolver pid=28917

[startup+0.10006 s]*
/proc/loadavg: 4.12 4.22 4.08 5/339 28938
/proc/meminfo: memFree=125709588/131249996 swapFree=33010684/33010684
[pid=28920] ppid=28917 vsize=18930384 memory=57756 CPUtime=0.12 cores=4,6
/proc/28920/stat : 28920 (java) S 28917 28920 28429 0 -1 4194304 6556 0 0 0 10 2 0 0 20 0 18 0 37786274 19384713216 14439 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
/proc/28920/statm: 4732596 14439 5350 1 0 547603 0
[pid=28920/tid=28922] ppid=28917 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/28920/task/28922/stat : 28922 (java) R 28917 28920 28429 0 -1 4194368 5069 0 0 0 6 1 0 0 20 0 18 0 37786275 19384713216 14439 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
[pid=28920/tid=28931] ppid=28917 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/28920/task/28931/stat : 28931 (Finalizer) S 28917 28920 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 37786277 19384713216 14439 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
[pid=28920/tid=28938] ppid=28917 vsize=18930384 memory=60684515966010 CPUtime=0 cores=4,6
/proc/28920/task/28938/stat : 28938 (Common-Cleaner) S 28917 28920 28429 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 37786278 19384713216 14439 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57756 KiB

[startup+0.205795 s]*
/proc/loadavg: 4.12 4.22 4.08 7/340 28939
/proc/meminfo: memFree=125699380/131249996 swapFree=33010684/33010684
[pid=28920] ppid=28917 vsize=18996948 memory=64356 CPUtime=0.31 cores=4,6
/proc/28920/stat : 28920 (java) S 28917 28920 28429 0 -1 4194304 8361 0 0 0 29 2 0 0 20 0 19 0 37786274 19452874752 16089 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
/proc/28920/statm: 4749237 16089 5446 1 0 548809 0
[pid=28920/tid=28922] ppid=28917 vsize=18996948 memory=4026597660 CPUtime=0.16 cores=4,6
/proc/28920/task/28922/stat : 28922 (java) R 28917 28920 28429 0 -1 4194368 5293 0 0 0 15 1 0 0 20 0 19 0 37786275 19452874752 16089 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
[pid=28920/tid=28931] ppid=28917 vsize=18996948 memory=16880 CPUtime=0 cores=4,6
/proc/28920/task/28931/stat : 28931 (Finalizer) S 28917 28920 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37786277 19452874752 16089 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
[pid=28920/tid=28938] ppid=28917 vsize=18996948 memory=59585004307431 CPUtime=0 cores=4,6
/proc/28920/task/28938/stat : 28938 (Common-Cleaner) S 28917 28920 28429 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 37786278 19452874752 16089 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
[pid=28920/tid=28939] ppid=28917 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/28920/task/28939/stat : 28939 (Timer-0) S 28917 28920 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37786290 19452874752 16089 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 64356 KiB

[startup+0.305724 s]*
/proc/loadavg: 4.12 4.22 4.08 6/340 28939
/proc/meminfo: memFree=125699380/131249996 swapFree=33010684/33010684
[pid=28920] ppid=28917 vsize=18996948 memory=69312 CPUtime=0.5 cores=4,6
/proc/28920/stat : 28920 (java) S 28917 28920 28429 0 -1 4194304 10204 0 0 0 48 2 0 0 20 0 19 0 37786274 19452874752 17328 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
/proc/28920/statm: 4749237 17328 5446 1 0 549992 0
[pid=28920/tid=28922] ppid=28917 vsize=18996948 memory=-6000919477068325997 CPUtime=0.25 cores=4,6
/proc/28920/task/28922/stat : 28922 (java) R 28917 28920 28429 0 -1 4194368 5297 0 0 0 24 1 0 0 20 0 19 0 37786275 19452874752 17328 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
[pid=28920/tid=28931] ppid=28917 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/28920/task/28931/stat : 28931 (Finalizer) S 28917 28920 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37786277 19452874752 17328 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
[pid=28920/tid=28938] ppid=28917 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/28920/task/28938/stat : 28938 (Common-Cleaner) S 28917 28920 28429 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 37786278 19452874752 17328 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
[pid=28920/tid=28939] ppid=28917 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/28920/task/28939/stat : 28939 (Timer-0) S 28917 28920 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37786290 19452874752 17328 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 69312 KiB

[startup+0.700249 s]
/proc/loadavg: 4.12 4.22 4.08 6/340 28939
/proc/meminfo: memFree=125695284/131249996 swapFree=33010684/33010684
[pid=28920] ppid=28917 vsize=18996948 memory=82532 CPUtime=1.26 cores=4,6
/proc/28920/stat : 28920 (java) S 28917 28920 28429 0 -1 4194304 12512 0 0 0 124 2 0 0 20 0 19 0 37786274 19452874752 20633 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
/proc/28920/statm: 4749237 20633 5446 1 0 551640 0
[pid=28920/tid=28922] ppid=28917 vsize=18996948 memory=17408 CPUtime=0.61 cores=4,6
/proc/28920/task/28922/stat : 28922 (java) R 28917 28920 28429 0 -1 4194368 5339 0 0 0 60 1 0 0 20 0 19 0 37786275 19452874752 20633 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
[pid=28920/tid=28931] ppid=28917 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/28920/task/28931/stat : 28931 (Finalizer) S 28917 28920 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37786277 19452874752 20633 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
[pid=28920/tid=28938] ppid=28917 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/28920/task/28938/stat : 28938 (Common-Cleaner) S 28917 28920 28429 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 37786278 19452874752 20633 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
[pid=28920/tid=28939] ppid=28917 vsize=18996948 memory=4764 CPUtime=0 cores=4,6
/proc/28920/task/28939/stat : 28939 (Timer-0) S 28917 28920 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37786290 19452874752 20633 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 82532 KiB

[startup+1.50023 s]
/proc/loadavg: 4.12 4.22 4.08 5/340 28939
/proc/meminfo: memFree=125685644/131249996 swapFree=33010684/33010684
[pid=28920] ppid=28917 vsize=18996948 memory=95184 CPUtime=2.45 cores=4,6
/proc/28920/stat : 28920 (java) S 28917 28920 28429 0 -1 4194304 16412 0 0 0 242 3 0 0 20 0 19 0 37786274 19452874752 23796 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
/proc/28920/statm: 4749237 23796 5446 1 0 551643 0
[pid=28920/tid=28922] ppid=28917 vsize=18996948 memory=0 CPUtime=1.4 cores=4,6
/proc/28920/task/28922/stat : 28922 (java) R 28917 28920 28429 0 -1 4194368 5674 0 0 0 139 1 0 0 20 0 19 0 37786275 19452874752 23796 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
[pid=28920/tid=28931] ppid=28917 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/28920/task/28931/stat : 28931 (Finalizer) S 28917 28920 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37786277 19452874752 23796 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
[pid=28920/tid=28938] ppid=28917 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/28920/task/28938/stat : 28938 (Common-Cleaner) S 28917 28920 28429 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 37786278 19452874752 23796 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
[pid=28920/tid=28939] ppid=28917 vsize=18996948 memory=4764 CPUtime=0 cores=4,6
/proc/28920/task/28939/stat : 28939 (Timer-0) S 28917 28920 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37786290 19452874752 23796 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
Current children cumulated CPU time: 2.45 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 95184 KiB

[startup+3.10549 s]
/proc/loadavg: 4.11 4.22 4.08 5/340 28939
/proc/meminfo: memFree=125656868/131249996 swapFree=33010684/33010684
[pid=28920] ppid=28917 vsize=18996948 memory=115792 CPUtime=4.16 cores=4,6
/proc/28920/stat : 28920 (java) S 28917 28920 28429 0 -1 4194304 17032 0 0 0 412 4 0 0 20 0 19 0 37786274 19452874752 28948 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
/proc/28920/statm: 4749237 28948 5446 1 0 551660 0
[pid=28920/tid=28922] ppid=28917 vsize=18996948 memory=10752 CPUtime=3.01 cores=4,6
/proc/28920/task/28922/stat : 28922 (java) R 28917 28920 28429 0 -1 4194368 5929 0 0 0 299 2 0 0 20 0 19 0 37786275 19452874752 28948 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
[pid=28920/tid=28931] ppid=28917 vsize=18996948 memory=-6000919477068325997 CPUtime=0 cores=4,6
/proc/28920/task/28931/stat : 28931 (Finalizer) S 28917 28920 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37786277 19452874752 28948 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
[pid=28920/tid=28938] ppid=28917 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/28920/task/28938/stat : 28938 (Common-Cleaner) S 28917 28920 28429 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 37786278 19452874752 28948 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
[pid=28920/tid=28939] ppid=28917 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/28920/task/28939/stat : 28939 (Timer-0) S 28917 28920 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37786290 19452874752 28948 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
Current children cumulated CPU time: 4.16 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 115792 KiB

[startup+6.30021 s]
/proc/loadavg: 4.11 4.22 4.08 5/340 28939
/proc/meminfo: memFree=125632040/131249996 swapFree=33010684/33010684
[pid=28920] ppid=28917 vsize=18996948 memory=141312 CPUtime=7.39 cores=4,6
/proc/28920/stat : 28920 (java) S 28917 28920 28429 0 -1 4194304 17532 0 0 0 734 5 0 0 20 0 19 0 37786274 19452874752 35328 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
/proc/28920/statm: 4749237 35328 5446 1 0 551661 0
[pid=28920/tid=28922] ppid=28917 vsize=18996948 memory=0 CPUtime=6.2 cores=4,6
/proc/28920/task/28922/stat : 28922 (java) R 28917 28920 28429 0 -1 4194368 6051 0 0 0 617 3 0 0 20 0 19 0 37786275 19452874752 35328 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
[pid=28920/tid=28931] ppid=28917 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/28920/task/28931/stat : 28931 (Finalizer) S 28917 28920 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 37786277 19452874752 35328 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
[pid=28920/tid=28938] ppid=28917 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/28920/task/28938/stat : 28938 (Common-Cleaner) S 28917 28920 28429 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 37786278 19452874752 35328 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
[pid=28920/tid=28939] ppid=28917 vsize=18996948 memory=97232 CPUtime=0 cores=4,6
/proc/28920/task/28939/stat : 28939 (Timer-0) S 28917 28920 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 37786290 19452874752 35328 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
Current children cumulated CPU time: 7.39 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 141312 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.21 4.08 5/341 28940
/proc/meminfo: memFree=125595176/131249996 swapFree=33010684/33010684
[pid=28920] ppid=28917 vsize=19063512 memory=176624 CPUtime=13.79 cores=4,6
/proc/28920/stat : 28920 (java) S 28917 28920 28429 0 -1 4194304 20099 0 0 0 1373 6 0 0 20 0 20 0 37786274 19521036288 44156 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
/proc/28920/statm: 4765878 44156 5478 1 0 551950 0
[pid=28920/tid=28922] ppid=28917 vsize=19063512 memory=97232 CPUtime=12.56 cores=4,6
/proc/28920/task/28922/stat : 28922 (java) R 28917 28920 28429 0 -1 4194368 6924 0 0 0 1253 3 0 0 20 0 20 0 37786275 19521036288 44156 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
[pid=28920/tid=28931] ppid=28917 vsize=19063512 memory=176624 CPUtime=0 cores=4,6
/proc/28920/task/28931/stat : 28931 (Finalizer) S 28917 28920 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37786277 19521036288 44156 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
[pid=28920/tid=28938] ppid=28917 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/28920/task/28938/stat : 28938 (Common-Cleaner) S 28917 28920 28429 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 37786278 19521036288 44156 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
[pid=28920/tid=28939] ppid=28917 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/28920/task/28939/stat : 28939 (Timer-0) S 28917 28920 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37786290 19521036288 44156 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
Current children cumulated CPU time: 13.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 176624 KiB

[startup+25.5002 s]
/proc/loadavg: 4.14 4.22 4.08 5/341 28941
/proc/meminfo: memFree=125562164/131249996 swapFree=33010684/33010684
[pid=28920] ppid=28917 vsize=19063512 memory=182812 CPUtime=26.57 cores=4,6
/proc/28920/stat : 28920 (java) S 28917 28920 28429 0 -1 4194304 21623 0 0 0 2651 6 0 0 20 0 20 0 37786274 19521036288 45703 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
/proc/28920/statm: 4765878 45703 5478 1 0 551950 0
[pid=28920/tid=28922] ppid=28917 vsize=19063512 memory=176624 CPUtime=25.32 cores=4,6
/proc/28920/task/28922/stat : 28922 (java) R 28917 28920 28429 0 -1 4194368 7144 0 0 0 2529 3 0 0 20 0 20 0 37786275 19521036288 45703 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
[pid=28920/tid=28931] ppid=28917 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/28920/task/28931/stat : 28931 (Finalizer) S 28917 28920 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37786277 19521036288 45703 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
[pid=28920/tid=28938] ppid=28917 vsize=19063512 memory=182812 CPUtime=0 cores=4,6
/proc/28920/task/28938/stat : 28938 (Common-Cleaner) S 28917 28920 28429 0 -1 4194368 51 0 0 0 0 0 0 0 20 0 20 0 37786278 19521036288 45703 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
[pid=28920/tid=28939] ppid=28917 vsize=19063512 memory=17408 CPUtime=0 cores=4,6
/proc/28920/task/28939/stat : 28939 (Timer-0) S 28917 28920 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37786290 19521036288 45703 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
Current children cumulated CPU time: 26.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 182812 KiB

[startup+51.1056 s]
/proc/loadavg: 4.09 4.20 4.08 5/341 28941
/proc/meminfo: memFree=125414456/131249996 swapFree=33010684/33010684
[pid=28920] ppid=28917 vsize=19063512 memory=226056 CPUtime=52.18 cores=4,6
/proc/28920/stat : 28920 (java) S 28917 28920 28429 0 -1 4194304 21799 0 0 0 5210 8 0 0 20 0 20 0 37786274 19521036288 56514 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
/proc/28920/statm: 4765878 56514 5478 1 0 551950 0
[pid=28920/tid=28922] ppid=28917 vsize=19063512 memory=197304 CPUtime=50.82 cores=4,6

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

/proc/meminfo: memFree=122829852/131249996 swapFree=33010684/33010684
[pid=28920] ppid=28917 vsize=19063512 memory=2151624 CPUtime=3277.73 cores=4,6
/proc/28920/stat : 28920 (java) S 28917 28920 28429 0 -1 4194304 66441 0 0 0 327674 99 0 0 20 0 20 0 37786274 19521036288 537906 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
/proc/28920/statm: 4765878 537906 5510 1 0 555826 0
[pid=28920/tid=28922] ppid=28917 vsize=19063512 memory=2151624 CPUtime=3272.41 cores=4,6
/proc/28920/task/28922/stat : 28922 (java) R 28917 28920 28429 0 -1 4194368 29351 0 0 0 327218 23 0 0 20 0 20 0 37786275 19521036288 537906 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
[pid=28920/tid=28931] ppid=28917 vsize=19063512 memory=6856 CPUtime=0 cores=4,6
/proc/28920/task/28931/stat : 28931 (Finalizer) S 28917 28920 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37786277 19521036288 537906 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
[pid=28920/tid=28938] ppid=28917 vsize=19063512 memory=1920 CPUtime=0 cores=4,6
/proc/28920/task/28938/stat : 28938 (Common-Cleaner) S 28917 28920 28429 0 -1 4194368 799 0 0 0 0 0 0 0 20 0 20 0 37786278 19521036288 537906 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
[pid=28920/tid=28939] ppid=28917 vsize=19063512 memory=2151624 CPUtime=0 cores=4,6
/proc/28920/task/28939/stat : 28939 (Timer-0) S 28917 28920 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37786290 19521036288 537906 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
Current children cumulated CPU time: 3277.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2151624 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/339 29306
/proc/meminfo: memFree=122768452/131249996 swapFree=33010684/33010684
[pid=28920] ppid=28917 vsize=19063512 memory=2151624 CPUtime=3337.59 cores=4,6
/proc/28920/stat : 28920 (java) S 28917 28920 28429 0 -1 4194304 66707 0 0 0 333658 101 0 0 20 0 20 0 37786274 19521036288 537906 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
/proc/28920/statm: 4765878 537906 5510 1 0 555827 0
[pid=28920/tid=28922] ppid=28917 vsize=19063512 memory=2151624 CPUtime=3332.23 cores=4,6
/proc/28920/task/28922/stat : 28922 (java) R 28917 28920 28429 0 -1 4194368 29612 0 0 0 333200 23 0 0 20 0 20 0 37786275 19521036288 537906 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
[pid=28920/tid=28931] ppid=28917 vsize=19063512 memory=2151624 CPUtime=0 cores=4,6
/proc/28920/task/28931/stat : 28931 (Finalizer) S 28917 28920 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37786277 19521036288 537906 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
[pid=28920/tid=28938] ppid=28917 vsize=19063512 memory=2151624 CPUtime=0 cores=4,6
/proc/28920/task/28938/stat : 28938 (Common-Cleaner) S 28917 28920 28429 0 -1 4194368 799 0 0 0 0 0 0 0 20 0 20 0 37786278 19521036288 537906 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
[pid=28920/tid=28939] ppid=28917 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/28920/task/28939/stat : 28939 (Timer-0) S 28917 28920 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37786290 19521036288 537906 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
Current children cumulated CPU time: 3337.59 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2151624 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/339 29308
/proc/meminfo: memFree=122727340/131249996 swapFree=33010684/33010684
[pid=28920] ppid=28917 vsize=19063512 memory=2151624 CPUtime=3397.43 cores=4,6
/proc/28920/stat : 28920 (java) S 28917 28920 28429 0 -1 4194304 67459 0 0 0 339642 101 0 0 20 0 20 0 37786274 19521036288 537906 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
/proc/28920/statm: 4765878 537906 5510 1 0 555828 0
[pid=28920/tid=28922] ppid=28917 vsize=19063512 memory=2151624 CPUtime=3392.06 cores=4,6
/proc/28920/task/28922/stat : 28922 (java) R 28917 28920 28429 0 -1 4194368 30252 0 0 0 339183 23 0 0 20 0 20 0 37786275 19521036288 537906 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
[pid=28920/tid=28931] ppid=28917 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/28920/task/28931/stat : 28931 (Finalizer) S 28917 28920 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37786277 19521036288 537906 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
[pid=28920/tid=28938] ppid=28917 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/28920/task/28938/stat : 28938 (Common-Cleaner) S 28917 28920 28429 0 -1 4194368 799 0 0 0 0 0 0 0 20 0 20 0 37786278 19521036288 537906 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
[pid=28920/tid=28939] ppid=28917 vsize=19063512 memory=2151624 CPUtime=0 cores=4,6
/proc/28920/task/28939/stat : 28939 (Timer-0) S 28917 28920 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37786290 19521036288 537906 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
Current children cumulated CPU time: 3397.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2151624 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/339 29376
/proc/meminfo: memFree=124648204/131249996 swapFree=33010684/33010684
[pid=28920] ppid=28917 vsize=19063512 memory=2151624 CPUtime=3457.28 cores=4,6
/proc/28920/stat : 28920 (java) S 28917 28920 28429 0 -1 4194304 68338 0 0 0 345625 103 0 0 20 0 20 0 37786274 19521036288 537906 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
/proc/28920/statm: 4765878 537906 5510 1 0 555829 0
[pid=28920/tid=28922] ppid=28917 vsize=19063512 memory=2151624 CPUtime=3451.88 cores=4,6
/proc/28920/task/28922/stat : 28922 (java) R 28917 28920 28429 0 -1 4194368 30973 0 0 0 345165 23 0 0 20 0 20 0 37786275 19521036288 537906 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
[pid=28920/tid=28931] ppid=28917 vsize=19063512 memory=2151624 CPUtime=0 cores=4,6
/proc/28920/task/28931/stat : 28931 (Finalizer) S 28917 28920 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37786277 19521036288 537906 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
[pid=28920/tid=28938] ppid=28917 vsize=19063512 memory=14384 CPUtime=0 cores=4,6
/proc/28920/task/28938/stat : 28938 (Common-Cleaner) S 28917 28920 28429 0 -1 4194368 813 0 0 0 0 0 0 0 20 0 20 0 37786278 19521036288 537906 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
[pid=28920/tid=28939] ppid=28917 vsize=19063512 memory=2151624 CPUtime=0 cores=4,6
/proc/28920/task/28939/stat : 28939 (Timer-0) S 28917 28920 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37786290 19521036288 537906 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
Current children cumulated CPU time: 3457.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2151624 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/339 29378
/proc/meminfo: memFree=124586176/131249996 swapFree=33010684/33010684
[pid=28920] ppid=28917 vsize=19063512 memory=2153796 CPUtime=3517.24 cores=4,6
/proc/28920/stat : 28920 (java) S 28917 28920 28429 0 -1 4194304 69463 0 0 0 351620 104 0 0 20 0 20 0 37786274 19521036288 538449 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
/proc/28920/statm: 4765878 538449 5510 1 0 555830 0
[pid=28920/tid=28922] ppid=28917 vsize=19063512 memory=2153796 CPUtime=3511.63 cores=4,6
/proc/28920/task/28922/stat : 28922 (java) R 28917 28920 28429 0 -1 4194368 31049 0 0 0 351140 23 0 0 20 0 20 0 37786275 19521036288 538449 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
[pid=28920/tid=28931] ppid=28917 vsize=19063512 memory=14384 CPUtime=0 cores=4,6
/proc/28920/task/28931/stat : 28931 (Finalizer) S 28917 28920 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37786277 19521036288 538449 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
[pid=28920/tid=28938] ppid=28917 vsize=19063512 memory=14384 CPUtime=0 cores=4,6
/proc/28920/task/28938/stat : 28938 (Common-Cleaner) S 28917 28920 28429 0 -1 4194368 817 0 0 0 0 0 0 0 20 0 20 0 37786278 19521036288 538449 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
[pid=28920/tid=28939] ppid=28917 vsize=19063512 memory=14384 CPUtime=0 cores=4,6
/proc/28920/task/28939/stat : 28939 (Timer-0) S 28917 28920 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37786290 19521036288 538449 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
Current children cumulated CPU time: 3517.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2153796 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/339 29383
/proc/meminfo: memFree=124401508/131249996 swapFree=33010684/33010684
[pid=28920] ppid=28917 vsize=19063512 memory=2153924 CPUtime=3577.1 cores=4,6
/proc/28920/stat : 28920 (java) S 28917 28920 28429 0 -1 4194304 69490 0 0 0 357604 106 0 0 20 0 20 0 37786274 19521036288 538481 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
/proc/28920/statm: 4765878 538481 5510 1 0 555834 0
[pid=28920/tid=28922] ppid=28917 vsize=19063512 memory=14384 CPUtime=3571.46 cores=4,6
/proc/28920/task/28922/stat : 28922 (java) R 28917 28920 28429 0 -1 4194368 31066 0 0 0 357123 23 0 0 20 0 20 0 37786275 19521036288 538481 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
[pid=28920/tid=28931] ppid=28917 vsize=19063512 memory=2153924 CPUtime=0 cores=4,6
/proc/28920/task/28931/stat : 28931 (Finalizer) S 28917 28920 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37786277 19521036288 538481 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
[pid=28920/tid=28938] ppid=28917 vsize=19063512 memory=2153924 CPUtime=0 cores=4,6
/proc/28920/task/28938/stat : 28938 (Common-Cleaner) S 28917 28920 28429 0 -1 4194368 819 0 0 0 0 0 0 0 20 0 20 0 37786278 19521036288 538481 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
[pid=28920/tid=28939] ppid=28917 vsize=19063512 memory=5028 CPUtime=0 cores=4,6
/proc/28920/task/28939/stat : 28939 (Timer-0) S 28917 28920 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37786290 19521036288 538481 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
Current children cumulated CPU time: 3577.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2153924 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3605.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/339 29388
/proc/meminfo: memFree=124401652/131249996 swapFree=33010684/33010684
[pid=28920] ppid=28917 vsize=19063512 memory=2153924 CPUtime=3600.04 cores=4,6
/proc/28920/stat : 28920 (java) S 28917 28920 28429 0 -1 4194304 69547 0 0 0 359898 106 0 0 20 0 20 0 37786274 19521036288 538481 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
/proc/28920/statm: 4765878 538481 5510 1 0 555837 0
[pid=28920/tid=28922] ppid=28917 vsize=19063512 memory=2153924 CPUtime=3594.4 cores=4,6
/proc/28920/task/28922/stat : 28922 (java) R 28917 28920 28429 0 -1 4194368 31075 0 0 0 359417 23 0 0 20 0 20 0 37786275 19521036288 538481 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
[pid=28920/tid=28931] ppid=28917 vsize=19063512 memory=2153924 CPUtime=0 cores=4,6
/proc/28920/task/28931/stat : 28931 (Finalizer) S 28917 28920 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37786277 19521036288 538481 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
[pid=28920/tid=28938] ppid=28917 vsize=19063512 memory=14384 CPUtime=0 cores=4,6
/proc/28920/task/28938/stat : 28938 (Common-Cleaner) S 28917 28920 28429 0 -1 4194368 819 0 0 0 0 0 0 0 20 0 20 0 37786278 19521036288 538481 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
[pid=28920/tid=28939] ppid=28917 vsize=19063512 memory=2153924 CPUtime=0 cores=4,6
/proc/28920/task/28939/stat : 28939 (Timer-0) S 28917 28920 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37786290 19521036288 538481 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2153924 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.11 s, system=1.07199 s

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

[startup+3605.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/339 29388
/proc/meminfo: memFree=124401652/131249996 swapFree=33010684/33010684
[pid=28920] ppid=28917 vsize=19063512 memory=2153924 CPUtime=3600.04 cores=4,6
/proc/28920/stat : 28920 (java) S 28917 28920 28429 0 -1 4194304 69547 0 0 0 359898 106 0 0 20 0 20 0 37786274 19521036288 538481 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
/proc/28920/statm: 4765878 538481 5510 1 0 555837 0
[pid=28920/tid=28922] ppid=28917 vsize=19063512 memory=2153924 CPUtime=3594.4 cores=4,6
/proc/28920/task/28922/stat : 28922 (java) R 28917 28920 28429 0 -1 4194368 31075 0 0 0 359417 23 0 0 20 0 20 0 37786275 19521036288 538481 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
[pid=28920/tid=28931] ppid=28917 vsize=19063512 memory=2153924 CPUtime=0 cores=4,6
/proc/28920/task/28931/stat : 28931 (Finalizer) S 28917 28920 28429 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 37786277 19521036288 538481 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
[pid=28920/tid=28938] ppid=28917 vsize=19063512 memory=14384 CPUtime=0 cores=4,6
/proc/28920/task/28938/stat : 28938 (Common-Cleaner) S 28917 28920 28429 0 -1 4194368 819 0 0 0 0 0 0 0 20 0 20 0 37786278 19521036288 538481 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
[pid=28920/tid=28939] ppid=28917 vsize=19063512 memory=2153924 CPUtime=0 cores=4,6
/proc/28920/task/28939/stat : 28939 (Timer-0) S 28917 28920 28429 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 37786290 19521036288 538481 18446744073709551615 94095085735936 94095085739632 140721872249168 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94095085747448 94095085748240 94095108214784 140721872255361 140721872255462 140721872255462 140721872261064 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2153924 KiB

Child status: 143

Real time (s): 3605.4
CPU time (s): 3600.18
CPU user time (s): 3599.11
CPU system time (s): 1.07199
CPU usage (%): 99.8551
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2153924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.11
system time used= 1.07199
maximum resident set size= 2155076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71240
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 102871
involuntary context switches= 2678


# summary of solver processes directly reported to runsolver:
#   pid: 28920
#   total CPU time (s): 3600.18
#   total CPU user time (s): 3599.11
#   total CPU system time (s): 1.07199

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.55236 second user time and 16.7087 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2025-06-29 20:18:05
IDJOB=4513662
IDBENCH=162394
IDSOLVER=3363
FILE ID=nodeC022/4513662-1751221085
RUNJOBID= nodeC022-1751219267-28440
SLURM_JOB_ID= 9587670
Free space on /tmp= 433060 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/normalized-ECrand6reg-v051-n1.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4513662-1751221085/watcher-4513662-1751221085 -o /tmp/evaluation-result-4513662-1751221085/solver-4513662-1751221085 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751219267-28440 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4513662-1751221085.opb

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

MD5SUM BENCH= 9fac4249a105f22015b6c608ca9c575b
RANDOM SEED=6861102

nodeC022 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.724
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.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	: 0xb00002a
cpu MHz		: 3599.712
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.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	: 0xb00002a
cpu MHz		: 3600.697
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.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	: 0xb00002a
cpu MHz		: 3609.487
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.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	: 0xb00002a
cpu MHz		: 3599.711
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.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	: 0xb00002a
cpu MHz		: 3599.744
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.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	: 0xb00002a
cpu MHz		: 3598.962
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.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	: 0xb00002a
cpu MHz		: 3700.000
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        125728112 kB
MemAvailable:   126384484 kB
Buffers:            3280 kB
Cached:          1460900 kB
SwapCached:            0 kB
Active:          3732804 kB
Inactive:        1212540 kB
Active(anon):    3499224 kB
Inactive(anon):        0 kB
Active(file):     233580 kB
Inactive(file):  1212540 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               752 kB
Writeback:             0 kB
AnonPages:       3484268 kB
Mapped:           122268 kB
Shmem:             18060 kB
KReclaimable:      98584 kB
Slab:             185740 kB
SReclaimable:      98584 kB
SUnreclaim:        87156 kB
KernelStack:        5180 kB
PageTables:        10564 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    7053236 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151464 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3280896 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433060 MiB
End job on nodeC022 at 2025-06-29 21:18:11