Trace number 4497874

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.63 3601.52

General information on the benchmark

NamePB24/normalized-PB07/DEC-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_10_5_15.opb
MD5SUM11fc8a6762580f0495bee8fdc052661f
Bench CategoryDEC-NLC (decision problem, non-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 benchmark931.221
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables100
Total number of constraints152
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints101
Minimum length of a constraint2
Maximum length of a constraint100
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 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1212
Sum of products size (including duplicates)2424
Number of different products606
Sum of products size1212

Solver Data 

0.10/0.19	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.10/0.19	c This is free software under the dual EPL/GNU LGPL licenses.
0.10/0.19	c See www.sat4j.org for details.
0.10/0.20	c version PB25.v20250606
0.10/0.23	c java.runtime.name	OpenJDK Runtime Environment
0.10/0.23	c java.vm.name		OpenJDK 64-Bit Server VM
0.10/0.23	c java.vm.version	22.0.1+8-16
0.10/0.23	c java.vm.vendor	Oracle Corporation
0.10/0.23	c sun.arch.data.model	64
0.10/0.23	c java.version		22.0.1
0.10/0.23	c os.name		Linux
0.10/0.23	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.10/0.23	c os.arch		amd64
0.28/0.24	c Free memory 		2104792832
0.28/0.25	c Max memory 		16282288128
0.28/0.25	c Total memory 		2113929216
0.28/0.26	c Number of processors 	2
0.42/0.37	c Pseudo Boolean Optimization by upper bound
0.42/0.37	c --- Begin Solver configuration ---
0.42/0.37	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.42/0.37	c Learn all clauses as in MiniSAT
0.42/0.37	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.42/0.37	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.42/0.37	c Expensive reason simplification
0.42/0.37	c Glucose 2.1 dynamic restart strategy
0.42/0.37	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.42/0.37	c timeout=2147483s
0.42/0.37	c DB Simplification allowed=false
0.42/0.37	c Listener: none
0.42/0.37	c --- End Solver configuration ---
0.42/0.37	c solving HOME/instance-4497874-1751270048.opb
0.42/0.37	c reading problem ... 
0.42/0.38	c  no objective function found
0.77/0.55	c ... done. Wall clock time 0.17s.
0.77/0.55	c declared #vars     100
0.77/0.55	c internal #vars     706
0.77/0.55	c #constraints  1365
0.77/0.55	c constraints type 
0.77/0.55	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 50
0.77/0.55	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 103
0.77/0.55	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 606
0.77/0.55	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 606
0.77/0.55	c 1365 constraints processed.
2.10/1.25	c cleaning 2496 clauses out of 5002 with flag 13055/5002
3.09/1.72	c cleaning 4253 clauses out of 8506 with flag 28557/11002
3.85/2.13	c cleaning 5626 clauses out of 11251 with flag 47330/18000
4.19/2.49	c cleaning 6811 clauses out of 13625 with flag 70381/26000
4.71/2.81	c cleaning 7898 clauses out of 15814 with flag 96657/35000
5.37/3.24	c cleaning 8959 clauses out of 17919 with flag 128503/45003
5.87/3.71	c cleaning 9978 clauses out of 19960 with flag 160424/56003
6.28/4.17	c cleaning 10985 clauses out of 21980 with flag 192359/68001
6.76/4.69	c cleaning 11998 clauses out of 23995 with flag 229804/81001
7.38/5.25	c cleaning 12994 clauses out of 25996 with flag 267128/95000
7.98/5.87	c cleaning 13996 clauses out of 28004 with flag 317270/110002
8.83/6.64	c cleaning 14998 clauses out of 30007 with flag 370545/126001
9.80/7.56	c cleaning 16004 clauses out of 32008 with flag 422038/143000
10.56/8.24	c cleaning 16991 clauses out of 34004 with flag 475709/161000
11.60/9.04	c cleaning 17996 clauses out of 36013 with flag 539587/180000
12.49/9.90	c cleaning 19006 clauses out of 38017 with flag 603085/200000
13.49/10.96	c cleaning 20004 clauses out of 40011 with flag 670258/221000
14.48/11.92	c cleaning 21004 clauses out of 42008 with flag 745588/243001
15.50/12.91	c cleaning 21996 clauses out of 44004 with flag 823893/266001
16.63/14.07	c cleaning 23003 clauses out of 46008 with flag 905467/290001
18.12/15.50	c cleaning 23998 clauses out of 48004 with flag 992630/315000
19.62/17.06	c cleaning 25002 clauses out of 50007 with flag 1071522/341001
21.31/18.75	c cleaning 26002 clauses out of 52004 with flag 1159992/368000
22.90/20.33	c cleaning 26990 clauses out of 54003 with flag 1249526/396001
24.81/22.20	c cleaning 27997 clauses out of 56012 with flag 1343703/425000
26.50/23.91	c cleaning 29000 clauses out of 58015 with flag 1443883/455000
28.40/25.88	c cleaning 30005 clauses out of 60016 with flag 1539936/486001
30.29/27.79	c cleaning 31003 clauses out of 62010 with flag 1632793/518000
32.50/29.91	c cleaning 31994 clauses out of 64008 with flag 1744196/551001
34.30/31.76	c cleaning 32999 clauses out of 66013 with flag 1851804/585000
36.20/33.64	c cleaning 33989 clauses out of 68015 with flag 1968688/620001
37.99/35.45	c cleaning 35008 clauses out of 70025 with flag 2084870/656000
40.10/37.59	c cleaning 36003 clauses out of 72018 with flag 2209337/693001
42.39/39.84	c cleaning 37002 clauses out of 74015 with flag 2334017/731001
45.08/42.50	c cleaning 38002 clauses out of 76012 with flag 2463820/770000
47.78/45.20	c cleaning 39003 clauses out of 78010 with flag 2592115/810000
50.89/48.34	c cleaning 40002 clauses out of 80007 with flag 2712752/851000
54.08/51.56	c cleaning 40994 clauses out of 82005 with flag 2838714/893000
57.38/54.82	c cleaning 42004 clauses out of 84012 with flag 2979365/936001
60.59/58.02	c cleaning 43002 clauses out of 86007 with flag 3112943/980000
64.02/61.41	c cleaning 43999 clauses out of 88005 with flag 3240245/1025000
67.51/64.99	c cleaning 45002 clauses out of 90006 with flag 3397829/1071000
71.30/68.75	c cleaning 46003 clauses out of 92006 with flag 3550446/1118002
75.91/73.33	c cleaning 46991 clauses out of 94001 with flag 3695799/1166000
79.71/77.17	c cleaning 47999 clauses out of 96010 with flag 3849102/1215000
83.99/81.47	c cleaning 49002 clauses out of 98011 with flag 4008097/1265000
88.60/86.08	c cleaning 49992 clauses out of 100009 with flag 4173373/1316000
92.99/90.41	c cleaning 51002 clauses out of 102019 with flag 4337416/1368002
97.98/95.45	c cleaning 52008 clauses out of 104015 with flag 4506837/1421000
103.97/101.44	c cleaning 52995 clauses out of 106008 with flag 4683000/1475001
109.87/107.31	c cleaning 53999 clauses out of 108014 with flag 4863063/1530002
116.06/113.56	c cleaning 55003 clauses out of 110013 with flag 5040496/1586000
120.58/118.01	c cleaning 56005 clauses out of 112012 with flag 5228318/1643002
125.16/122.64	c cleaning 57004 clauses out of 114007 with flag 5414228/1701002
130.75/128.22	c cleaning 58001 clauses out of 116001 with flag 5605018/1760000
135.49/133.00	c cleaning 58999 clauses out of 118001 with flag 5805792/1820001
142.60/140.10	c cleaning 59994 clauses out of 120002 with flag 6009218/1881001
149.37/146.87	c cleaning 61003 clauses out of 122007 with flag 6210524/1943000
155.58/153.06	c cleaning 62001 clauses out of 124004 with flag 6408640/2006000
162.46/159.91	c cleaning 62993 clauses out of 126005 with flag 6620478/2070002
170.84/168.30	c cleaning 63995 clauses out of 128011 with flag 6842685/2135001
178.67/176.13	c cleaning 65001 clauses out of 130016 with flag 7056424/2201001
186.14/183.68	c cleaning 65998 clauses out of 132014 with flag 7272539/2268000
193.14/190.65	c cleaning 66997 clauses out of 134016 with flag 7484258/2336000
198.43/196.00	c cleaning 68008 clauses out of 136020 with flag 7722853/2405001
204.32/201.86	c cleaning 69001 clauses out of 138011 with flag 7967728/2475000
210.71/208.20	c cleaning 69991 clauses out of 140010 with flag 8203376/2546000
218.89/216.47	c cleaning 70993 clauses out of 142021 with flag 8445746/2618002
228.59/226.19	c cleaning 72001 clauses out of 144026 with flag 8689681/2691000
235.76/233.37	c cleaning 73002 clauses out of 146025 with flag 8943916/2765000
245.14/242.78	c cleaning 73998 clauses out of 148023 with flag 9210042/2840000
253.56/251.19	c cleaning 75006 clauses out of 150026 with flag 9469098/2916001
262.64/260.27	c cleaning 76004 clauses out of 152019 with flag 9723820/2993000
272.06/269.65	c cleaning 77002 clauses out of 154019 with flag 9977998/3071004
282.84/280.46	c cleaning 77992 clauses out of 156013 with flag 10227272/3150000
291.53/289.16	c cleaning 78993 clauses out of 158021 with flag 10488071/3230000
301.41/299.04	c cleaning 79989 clauses out of 160029 with flag 10764284/3311001
312.51/310.14	c cleaning 81000 clauses out of 162040 with flag 11032413/3393001
325.77/323.47	c cleaning 82007 clauses out of 164042 with flag 11311510/3476003
336.55/334.12	c cleaning 82999 clauses out of 166033 with flag 11578352/3560001
349.11/346.72	c cleaning 84008 clauses out of 168033 with flag 11842807/3645000
361.18/358.81	c cleaning 84997 clauses out of 170025 with flag 12106400/3731000
375.22/372.46	c cleaning 85998 clauses out of 172031 with flag 12388063/3818003
392.38/389.68	c cleaning 87000 clauses out of 174031 with flag 12670293/3906001
407.15/404.47	c cleaning 88002 clauses out of 176033 with flag 12952475/3995003
425.06/422.31	c cleaning 88999 clauses out of 178028 with flag 13254636/4085000
440.63/437.90	c cleaning 89999 clauses out of 180030 with flag 13555866/4176001
457.39/454.77	c cleaning 90988 clauses out of 182030 with flag 13856868/4268000
476.07/473.43	c cleaning 92012 clauses out of 184042 with flag 14156588/4361000
490.34/487.74	c cleaning 93005 clauses out of 186030 with flag 14449930/4455000
507.49/505.01	c cleaning 93999 clauses out of 188025 with flag 14762433/4550000
519.24/516.62	c cleaning 94999 clauses out of 190026 with flag 15064047/4646000
532.21/529.66	c cleaning 96006 clauses out of 192027 with flag 15359383/4743000
545.59/543.03	c cleaning 96994 clauses out of 194021 with flag 15700504/4841000
556.86/554.37	c cleaning 97991 clauses out of 196028 with flag 16040606/4940001
573.49/570.95	c cleaning 99013 clauses out of 198037 with flag 16386758/5040001
586.86/584.36	c cleaning 100000 clauses out of 200023 with flag 16711442/5141000
603.09/600.53	c cleaning 100993 clauses out of 202023 with flag 17045826/5243000
620.15/617.68	c cleaning 101988 clauses out of 204030 with flag 17373347/5346000
639.63/637.14	c cleaning 103000 clauses out of 206042 with flag 17721024/5450000
655.67/653.27	c cleaning 103992 clauses out of 208042 with flag 18081255/5555000
670.40/667.94	c cleaning 105007 clauses out of 210050 with flag 18436412/5661000
684.37/681.93	c cleaning 106006 clauses out of 212043 with flag 18799891/5768000
704.33/701.99	c cleaning 107006 clauses out of 214038 with flag 19196490/5876001
726.09/723.79	c cleaning 108003 clauses out of 216031 with flag 19574008/5985000
749.55/747.24	c cleaning 108994 clauses out of 218028 with flag 19952817/6095000
776.40/774.19	c cleaning 110001 clauses out of 220034 with flag 20334340/6206000
800.14/797.99	c cleaning 111010 clauses out of 222035 with flag 20675223/6318002
828.97/826.76	c cleaning 111997 clauses out of 224023 with flag 21005849/6431000
852.22/850.07	c cleaning 113001 clauses out of 226027 with flag 21329072/6545001
873.66/871.59	c cleaning 113996 clauses out of 228026 with flag 21686665/6660001
894.41/892.37	c cleaning 115006 clauses out of 230029 with flag 22080278/6776000
914.25/912.21	c cleaning 115996 clauses out of 232024 with flag 22481516/6893001
944.28/942.33	c cleaning 117005 clauses out of 234027 with flag 22901988/7011000
967.72/965.78	c cleaning 118005 clauses out of 236023 with flag 23295622/7130001
990.17/988.25	c cleaning 118992 clauses out of 238017 with flag 23701611/7250000
1015.63/1013.74	c cleaning 120008 clauses out of 240025 with flag 24121373/7371000
1049.55/1047.78	c cleaning 120994 clauses out of 242017 with flag 24559655/7493000
1091.96/1090.26	c cleaning 121999 clauses out of 244023 with flag 25020102/7616000
1121.11/1119.42	c cleaning 123000 clauses out of 246024 with flag 25463540/7740000
1154.97/1153.20	c cleaning 124009 clauses out of 248024 with flag 25923632/7865000
1189.29/1187.60	c cleaning 124998 clauses out of 250016 with flag 26369514/7991001
1223.73/1222.11	c cleaning 126001 clauses out of 252017 with flag 26820314/8118000
1243.67/1242.14	c cleaning 127000 clauses out of 254018 with flag 27229392/8246002
1274.89/1273.39	c cleaning 127998 clauses out of 256017 with flag 27669817/8375001
1304.33/1302.90	c cleaning 129005 clauses out of 258019 with flag 28088690/8505001
1333.29/1331.85	c cleaning 130004 clauses out of 260014 with flag 28515337/8636001
1361.63/1360.26	c cleaning 131000 clauses out of 262011 with flag 28948251/8768002
1392.97/1391.63	c cleaning 131995 clauses out of 264012 with flag 29383180/8901003
1427.50/1426.26	c cleaning 132993 clauses out of 266014 with flag 29814042/9035000
1455.54/1454.37	c cleaning 134004 clauses out of 268021 with flag 30243130/9170000
1490.64/1489.47	c cleaning 135002 clauses out of 270017 with flag 30733837/9306000
1531.17/1530.04	c cleaning 135994 clauses out of 272015 with flag 31212158/9443000
1568.98/1568.01	c cleaning 137004 clauses out of 274021 with flag 31687240/9581000
1608.29/1607.33	c cleaning 138004 clauses out of 276017 with flag 32184714/9720000
1645.53/1644.68	c cleaning 138997 clauses out of 278014 with flag 32659793/9860001
1685.26/1684.48	c cleaning 139998 clauses out of 280017 with flag 33152173/10001001
1719.59/1718.87	c cleaning 140985 clauses out of 282018 with flag 33680717/10143000
1749.56/1748.70	c cleaning 142008 clauses out of 284036 with flag 34196001/10286003
1781.29/1780.56	c cleaning 143004 clauses out of 286026 with flag 34677777/10430001
1823.69/1823.09	c cleaning 143998 clauses out of 288022 with flag 35173383/10575001
1853.90/1853.37	c cleaning 145010 clauses out of 290024 with flag 35668079/10721001
1897.39/1896.92	c cleaning 145994 clauses out of 292014 with flag 36202365/10868001
1941.28/1940.98	c cleaning 147007 clauses out of 294021 with flag 36727825/11016002
1978.10/1977.11	c cleaning 147995 clauses out of 296012 with flag 37261231/11165000
2019.51/2018.61	c cleaning 148992 clauses out of 298017 with flag 37820969/11315000
2052.55/2051.77	c cleaning 150001 clauses out of 300025 with flag 38364609/11466000
2097.05/2096.33	c cleaning 151007 clauses out of 302024 with flag 38928905/11618000
2132.68/2132.08	c cleaning 152007 clauses out of 304017 with flag 39456746/11771000
2175.46/2174.91	c cleaning 153003 clauses out of 306012 with flag 39953264/11925002
2217.71/2217.18	c cleaning 153998 clauses out of 308008 with flag 40429972/12080001
2260.02/2259.53	c cleaning 154996 clauses out of 310009 with flag 40912812/12236000
2304.63/2304.27	c cleaning 155991 clauses out of 312013 with flag 41410360/12393000
2337.57/2337.22	c cleaning 156999 clauses out of 314023 with flag 41923053/12551001
2360.54/2360.15	c cleaning 158006 clauses out of 316023 with flag 42413880/12710000
2394.85/2394.55	c cleaning 159000 clauses out of 318018 with flag 42911795/12870001
2419.49/2419.29	c cleaning 160004 clauses out of 320018 with flag 43410505/13031001
2447.72/2447.52	c cleaning 161004 clauses out of 322014 with flag 43919270/13193001
2481.34/2481.29	c cleaning 161994 clauses out of 324010 with flag 44434535/13356001
2520.17/2520.02	c cleaning 163002 clauses out of 326016 with flag 44995041/13520001
2554.87/2554.80	c cleaning 164005 clauses out of 328013 with flag 45509322/13685000
2586.19/2586.28	c cleaning 164984 clauses out of 330008 with flag 46018303/13851000
2616.03/2616.14	c cleaning 166004 clauses out of 332024 with flag 46505036/14018000
2648.43/2648.58	c cleaning 166997 clauses out of 334020 with flag 47009305/14186000
2678.76/2678.94	c cleaning 168003 clauses out of 336023 with flag 47522514/14355000
2707.41/2707.62	c cleaning 169002 clauses out of 338020 with flag 48042767/14525000
2736.95/2737.28	c cleaning 170006 clauses out of 340020 with flag 48564489/14696002
2765.01/2765.29	c cleaning 171001 clauses out of 342012 with flag 49077931/14868000
2801.05/2801.36	c cleaning 171999 clauses out of 344013 with flag 49590148/15041002
2827.48/2827.84	c cleaning 172989 clauses out of 346012 with flag 50093292/15215000
2856.54/2856.99	c cleaning 174001 clauses out of 348023 with flag 50603145/15390000
2889.60/2889.97	c cleaning 175005 clauses out of 350022 with flag 51105205/15566000
2920.04/2920.43	c cleaning 175994 clauses out of 352019 with flag 51607049/15743002
2951.87/2952.30	c cleaning 177003 clauses out of 354023 with flag 52141656/15921000
2988.59/2989.16	c cleaning 178001 clauses out of 356021 with flag 52666872/16100001
3022.23/3022.79	c cleaning 178996 clauses out of 358020 with flag 53172223/16280001
3051.58/3052.13	c cleaning 179999 clauses out of 360023 with flag 53679481/16461000
3097.29/3097.90	c cleaning 181006 clauses out of 362024 with flag 54202845/16643000
3136.51/3137.21	c cleaning 182007 clauses out of 364019 with flag 54740564/16826001
3178.16/3178.89	c cleaning 182993 clauses out of 366011 with flag 55275297/17010000
3218.39/3219.17	c cleaning 184003 clauses out of 368018 with flag 55804942/17195000
3260.80/3261.61	c cleaning 185003 clauses out of 370019 with flag 56351516/17381004
3306.88/3307.87	c cleaning 185987 clauses out of 372012 with flag 56884054/17568000
3358.47/3359.50	c cleaning 187008 clauses out of 374026 with flag 57421866/17756001
3401.00/3401.79	c cleaning 188001 clauses out of 376018 with flag 57957665/17945001
3447.23/3448.06	c cleaning 188997 clauses out of 378016 with flag 58490195/18135000
3492.52/3493.47	c cleaning 190005 clauses out of 380019 with flag 59025047/18326000
3539.15/3540.17	c cleaning 190993 clauses out of 382016 with flag 59569029/18518002
3589.63/3590.79	c cleaning 192007 clauses out of 384021 with flag 60107020/18711000
3600.20/3601.30	c timeout
3600.20/3601.30	c starts		: 267
3600.39/3601.32	c conflicts		: 18789974
3600.39/3601.32	c decisions		: 27774036
3600.39/3601.32	c propagations		: 241545071
3600.39/3601.32	c inspects		: 30023241080
3600.39/3601.32	c shortcuts		: 0
3600.39/3601.32	c learnt literals	: 0
3600.39/3601.32	c learnt binary clauses	: 0
3600.39/3601.32	c learnt ternary clauses	: 4726
3600.39/3601.33	c learnt constraints	: 18789974
3600.39/3601.33	c ignored constraints	: 0
3600.39/3601.33	c root simplifications	: 0
3600.39/3601.33	c removed literals (reason simplification)	: 591459327
3600.39/3601.33	c reason swapping (by a shorter reason)	: 0
3600.39/3601.33	c Calls to reduceDB	: 189
3600.39/3601.33	c Number of update (reduction) of LBD	: 5382727
3600.39/3601.33	c Imported unit clauses	: 0
3600.39/3601.33	c No decision after first conflict	: false
3600.39/3601.33	c number of reductions to clauses (during analyze)	: 0
3600.39/3601.33	c number of learned constraints concerned by reduction	: 0
3600.39/3601.33	c number of learning phase by resolution	: 0
3600.39/3601.33	c number of learning phase by cutting planes	: 0
3600.39/3601.33	c number of rounding to 1 operations	: 0
3600.39/3601.33	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.39/3601.33	c number of reductions of the coefficients by power 2 	: 0
3600.39/3601.33	c number of right shift for reduction by power 2 	: 0
3600.39/3601.33	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.39/3601.33	c number of ending skipping 	: 0
3600.39/3601.33	c number of internal skipping 	: 0
3600.39/3601.33	c number of derivation steps 	: 0
3600.39/3601.33	c number of skipped derivation steps 	: 0
3600.39/3601.33	c number of remaining unassigned 	: 0
3600.39/3601.33	c number of remaining assigned 	: 0
3600.39/3601.33	c number of falsified literals weakened from reason	: 0
3600.39/3601.33	c number of falsified literals weakened from conflict	: 0
3600.39/3601.33	c time for arithmetic operations	: 0
3600.39/3601.34	c minimum degree of deleted constraints	: null
3600.39/3601.34	c maximum degree of deleted constraints	: null
3600.39/3601.34	c number of deleted constraints	: 0
3600.39/3601.35	c speed (assignments/second)	: 67081.37465885835
3600.39/3601.35	c non guided choices	: 641
3600.49/3601.49	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 270988
3600.60/3601.50	s UNKNOWN
3600.60/3601.50	c Total wall clock time (in seconds): 3601.126

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: 63794 MiB (63183 MiB free)
  memory of node 1: 64507 MiB (63891 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497874-1751270048/watcher-4497874-1751270048 -o /tmp/evaluation-result-4497874-1751270048/solver-4497874-1751270048 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751270048-35794 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4497874-1751270048.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100074 s]*
/proc/loadavg: 7.89 8.05 7.01 10/320 35921
/proc/meminfo: memFree=130080896/131382112 swapFree=33010684/33010684
[pid=35844] ppid=35835 vsize=18930384 memory=49112 CPUtime=0.1 cores=0,2
/proc/35844/stat : 35844 (java) S 35835 35844 35496 0 -1 4194304 5603 0 0 0 7 3 0 0 20 0 18 0 42684549 19384713216 12278 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
/proc/35844/statm: 4732596 12278 5135 1 0 546841 0
[pid=35844/tid=35860] ppid=35835 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=0,2
/proc/35844/task/35860/stat : 35860 (java) R 35835 35844 35496 0 -1 4194368 4596 0 0 0 4 2 0 0 20 0 18 0 42684552 19384713216 12342 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
[pid=35844/tid=35896] ppid=35835 vsize=18930384 memory=1707 CPUtime=0 cores=0,2
/proc/35844/task/35896/stat : 35896 (Finalizer) S 35835 35844 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 42684557 19384713216 12342 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
[pid=35844/tid=35918] ppid=35835 vsize=18930384 memory=56295059358712 CPUtime=0 cores=0,2
/proc/35844/task/35918/stat : 35918 (Common-Cleaner) S 35835 35844 35496 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 42684558 19384713216 12342 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 49112 KiB

[startup+0.219869 s]*
/proc/loadavg: 7.89 8.05 7.01 9/320 35921
/proc/meminfo: memFree=130072340/131382112 swapFree=33010684/33010684
[pid=35844] ppid=35835 vsize=18930384 memory=53672 CPUtime=0.28 cores=0,2
/proc/35844/stat : 35844 (java) S 35835 35844 35496 0 -1 4194304 6092 0 0 0 24 4 0 0 20 0 18 0 42684549 19384713216 13418 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
/proc/35844/statm: 4732596 13418 5327 1 0 547253 0
[pid=35844/tid=35860] ppid=35835 vsize=18930384 memory=4026597660 CPUtime=0.18 cores=0,2
/proc/35844/task/35860/stat : 35860 (java) R 35835 35844 35496 0 -1 4194368 4979 0 0 0 15 3 0 0 20 0 18 0 42684552 19384713216 13418 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
[pid=35844/tid=35896] ppid=35835 vsize=18930384 memory=1707 CPUtime=0 cores=0,2
/proc/35844/task/35896/stat : 35896 (Finalizer) S 35835 35844 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 42684557 19384713216 13418 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
[pid=35844/tid=35918] ppid=35835 vsize=18930384 memory=56295059358712 CPUtime=0 cores=0,2
/proc/35844/task/35918/stat : 35918 (Common-Cleaner) S 35835 35844 35496 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 42684558 19384713216 13418 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53672 KiB

[startup+0.314366 s]*
/proc/loadavg: 7.89 8.05 7.01 9/320 35921
/proc/meminfo: memFree=130047672/131382112 swapFree=33010684/33010684
[pid=35844] ppid=35835 vsize=18930384 memory=59928 CPUtime=0.42 cores=0,2
/proc/35844/stat : 35844 (java) S 35835 35844 35496 0 -1 4194304 6565 0 0 0 37 5 0 0 20 0 18 0 42684549 19384713216 14982 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
/proc/35844/statm: 4732596 14982 5359 1 0 547694 0
[pid=35844/tid=35860] ppid=35835 vsize=18930384 memory=-6000919502787864428 CPUtime=0.25 cores=0,2
/proc/35844/task/35860/stat : 35860 (java) S 35835 35844 35496 0 -1 4194368 5133 0 0 0 22 3 0 0 20 0 18 0 42684552 19384713216 14982 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
[pid=35844/tid=35896] ppid=35835 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/35844/task/35896/stat : 35896 (Finalizer) S 35835 35844 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 42684557 19384713216 14982 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
[pid=35844/tid=35918] ppid=35835 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/35844/task/35918/stat : 35918 (Common-Cleaner) S 35835 35844 35496 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 42684558 19384713216 14982 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59928 KiB

[startup+0.700365 s]
/proc/loadavg: 7.89 8.05 7.01 13/320 35921
/proc/meminfo: memFree=130034692/131382112 swapFree=33010684/33010684
[pid=35844] ppid=35835 vsize=18996948 memory=67556 CPUtime=1.12 cores=0,2
/proc/35844/stat : 35844 (java) S 35835 35844 35496 0 -1 4194304 8038 0 0 0 106 6 0 0 20 0 19 0 42684549 19452874752 16889 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
/proc/35844/statm: 4749237 16889 5455 1 0 548759 0
[pid=35844/tid=35860] ppid=35835 vsize=18996948 memory=17664 CPUtime=0.53 cores=0,2
/proc/35844/task/35860/stat : 35860 (java) R 35835 35844 35496 0 -1 4194368 5346 0 0 0 49 4 0 0 20 0 19 0 42684552 19452874752 16889 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
[pid=35844/tid=35896] ppid=35835 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/35844/task/35896/stat : 35896 (Finalizer) S 35835 35844 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 42684557 19452874752 16889 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
[pid=35844/tid=35918] ppid=35835 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/35844/task/35918/stat : 35918 (Common-Cleaner) S 35835 35844 35496 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 42684558 19452874752 16889 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 67556 KiB

[startup+1.50035 s]
/proc/loadavg: 7.89 8.05 7.01 9/324 35925
/proc/meminfo: memFree=129807904/131382112 swapFree=33010684/33010684
[pid=35844] ppid=35835 vsize=18996948 memory=89400 CPUtime=2.69 cores=0,2
/proc/35844/stat : 35844 (java) S 35835 35844 35496 0 -1 4194304 17194 0 0 0 260 9 0 0 20 0 19 0 42684549 19452874752 22350 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
/proc/35844/statm: 4749237 22350 5455 1 0 552086 0
[pid=35844/tid=35860] ppid=35835 vsize=18996948 memory=3200 CPUtime=1.29 cores=0,2
/proc/35844/task/35860/stat : 35860 (java) R 35835 35844 35496 0 -1 4194368 6426 0 0 0 124 5 0 0 20 0 19 0 42684552 19452874752 22350 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
[pid=35844/tid=35896] ppid=35835 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/35844/task/35896/stat : 35896 (Finalizer) S 35835 35844 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 42684557 19452874752 22350 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
[pid=35844/tid=35918] ppid=35835 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/35844/task/35918/stat : 35918 (Common-Cleaner) S 35835 35844 35496 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 42684558 19452874752 22350 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
[pid=35844/tid=35922] ppid=35835 vsize=18996948 memory=14848 CPUtime=0 cores=0,2
/proc/35844/task/35922/stat : 35922 (Timer-0) S 35835 35844 35496 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 42684605 19452874752 22350 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
Current children cumulated CPU time: 2.69 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 89400 KiB

[startup+3.11027 s]
/proc/loadavg: 7.89 8.05 7.01 6/327 35928
/proc/meminfo: memFree=129630236/131382112 swapFree=33010684/33010684
[pid=35844] ppid=35835 vsize=18996948 memory=112324 CPUtime=5.24 cores=0,2
/proc/35844/stat : 35844 (java) S 35835 35844 35496 0 -1 4194304 17916 0 0 0 514 10 0 0 20 0 19 0 42684549 19452874752 28081 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
/proc/35844/statm: 4749237 28081 5455 1 0 552091 0
[pid=35844/tid=35860] ppid=35835 vsize=18996948 memory=14848 CPUtime=2.89 cores=0,2
/proc/35844/task/35860/stat : 35860 (java) R 35835 35844 35496 0 -1 4194368 6700 0 0 0 284 5 0 0 20 0 19 0 42684552 19452874752 28081 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
[pid=35844/tid=35896] ppid=35835 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/35844/task/35896/stat : 35896 (Finalizer) S 35835 35844 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 42684557 19452874752 28081 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
[pid=35844/tid=35918] ppid=35835 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/35844/task/35918/stat : 35918 (Common-Cleaner) S 35835 35844 35496 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 42684558 19452874752 28081 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
[pid=35844/tid=35922] ppid=35835 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/35844/task/35922/stat : 35922 (Timer-0) S 35835 35844 35496 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 42684605 19452874752 28081 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
Current children cumulated CPU time: 5.24 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 112324 KiB

[startup+6.30039 s]
/proc/loadavg: 7.66 8.00 7.00 5/327 35928
/proc/meminfo: memFree=129391832/131382112 swapFree=33010684/33010684
[pid=35844] ppid=35835 vsize=18996948 memory=153496 CPUtime=8.53 cores=0,2
/proc/35844/stat : 35844 (java) S 35835 35844 35496 0 -1 4194304 20474 0 0 0 842 11 0 0 20 0 19 0 42684549 19452874752 38374 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
/proc/35844/statm: 4749237 38374 5455 1 0 552092 0
[pid=35844/tid=35860] ppid=35835 vsize=18996948 memory=0 CPUtime=6.07 cores=0,2
/proc/35844/task/35860/stat : 35860 (java) R 35835 35844 35496 0 -1 4194368 7409 0 0 0 601 6 0 0 20 0 19 0 42684552 19452874752 38374 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
[pid=35844/tid=35896] ppid=35835 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/35844/task/35896/stat : 35896 (Finalizer) S 35835 35844 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 42684557 19452874752 38374 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
[pid=35844/tid=35918] ppid=35835 vsize=18996948 memory=3200 CPUtime=0 cores=0,2
/proc/35844/task/35918/stat : 35918 (Common-Cleaner) S 35835 35844 35496 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 42684558 19452874752 38374 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
[pid=35844/tid=35922] ppid=35835 vsize=18996948 memory=89528 CPUtime=0 cores=0,2
/proc/35844/task/35922/stat : 35922 (Timer-0) S 35835 35844 35496 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 42684605 19452874752 38374 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
Current children cumulated CPU time: 8.53 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 153496 KiB

[startup+12.7004 s]
/proc/loadavg: 7.36 7.93 6.98 5/328 35929
/proc/meminfo: memFree=128976216/131382112 swapFree=33010684/33010684
[pid=35844] ppid=35835 vsize=19063512 memory=178540 CPUtime=15.29 cores=0,2
/proc/35844/stat : 35844 (java) S 35835 35844 35496 0 -1 4194304 24836 0 0 0 1516 13 0 0 20 0 20 0 42684549 19521036288 44635 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
/proc/35844/statm: 4765878 44635 5487 1 0 552381 0
[pid=35844/tid=35860] ppid=35835 vsize=19063512 memory=89528 CPUtime=12.39 cores=0,2
/proc/35844/task/35860/stat : 35860 (java) R 35835 35844 35496 0 -1 4194368 7894 0 0 0 1232 7 0 0 20 0 20 0 42684552 19521036288 44635 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
[pid=35844/tid=35896] ppid=35835 vsize=19063512 memory=178540 CPUtime=0 cores=0,2
/proc/35844/task/35896/stat : 35896 (Finalizer) S 35835 35844 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684557 19521036288 44635 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
[pid=35844/tid=35918] ppid=35835 vsize=19063512 memory=178540 CPUtime=0 cores=0,2
/proc/35844/task/35918/stat : 35918 (Common-Cleaner) S 35835 35844 35496 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 42684558 19521036288 44635 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
[pid=35844/tid=35922] ppid=35835 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/35844/task/35922/stat : 35922 (Timer-0) S 35835 35844 35496 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684605 19521036288 44635 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
Current children cumulated CPU time: 15.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 178540 KiB

[startup+25.5004 s]
/proc/loadavg: 6.62 7.74 6.93 5/328 35930
/proc/meminfo: memFree=127915780/131382112 swapFree=33010684/33010684
[pid=35844] ppid=35835 vsize=19063512 memory=236364 CPUtime=28.1 cores=0,2
/proc/35844/stat : 35844 (java) S 35835 35844 35496 0 -1 4194304 26693 0 0 0 2796 14 0 0 20 0 20 0 42684549 19521036288 59091 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
/proc/35844/statm: 4765878 59091 5487 1 0 552381 0
[pid=35844/tid=35860] ppid=35835 vsize=19063512 memory=182744 CPUtime=25 cores=0,2
/proc/35844/task/35860/stat : 35860 (java) R 35835 35844 35496 0 -1 4194368 8405 0 0 0 2493 7 0 0 20 0 20 0 42684552 19521036288 59091 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
[pid=35844/tid=35896] ppid=35835 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/35844/task/35896/stat : 35896 (Finalizer) S 35835 35844 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684557 19521036288 59091 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
[pid=35844/tid=35918] ppid=35835 vsize=19063512 memory=236364 CPUtime=0 cores=0,2
/proc/35844/task/35918/stat : 35918 (Common-Cleaner) S 35835 35844 35496 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 42684558 19521036288 59091 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
[pid=35844/tid=35922] ppid=35835 vsize=19063512 memory=-6000919485624772460 CPUtime=0 cores=0,2
/proc/35844/task/35922/stat : 35922 (Timer-0) S 35835 35844 35496 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684605 19521036288 59091 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
Current children cumulated CPU time: 28.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 236364 KiB

[startup+51.1136 s]
/proc/loadavg: 5.79 7.45 6.86 5/328 35930
/proc/meminfo: memFree=126484280/131382112 swapFree=33010684/33010684
[pid=35844] ppid=35835 vsize=19063512 memory=388312 CPUtime=53.69 cores=0,2
/proc/35844/stat : 35844 (java) S 35835 35844 35496 0 -1 4194304 26997 0 0 0 5350 19 0 0 20 0 20 0 42684549 19521036288 97078 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
/proc/35844/statm: 4765878 97078 5487 1 0 552381 0
[pid=35844/tid=35860] ppid=35835 vsize=19063512 memory=236364 CPUtime=50.11 cores=0,2
/proc/35844/task/35860/stat : 35860 (java) R 35835 35844 35496 0 -1 4194368 8466 0 0 0 5004 7 0 0 20 0 20 0 42684552 19521036288 97078 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
[pid=35844/tid=35896] ppid=35835 vsize=19063512 memory=330768 CPUtime=0 cores=0,2
/proc/35844/task/35896/stat : 35896 (Finalizer) S 35835 35844 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684557 19521036288 97078 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
[pid=35844/tid=35918] ppid=35835 vsize=19063512 memory=297932 CPUtime=0 cores=0,2
/proc/35844/task/35918/stat : 35918 (Common-Cleaner) S 35835 35844 35496 0 -1 4194368 50 0 0 0 0 0 0 0 20 0 20 0 42684558 19521036288 97078 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
[pid=35844/tid=35922] ppid=35835 vsize=19063512 memory=17664 CPUtime=0 cores=0,2

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

Current children cumulated CPU time: 3341.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1569552 KiB

[startup+3402.3 s]
/proc/loadavg: 4.19 4.16 4.22 5/327 36164
/proc/meminfo: memFree=114125216/131382112 swapFree=33010684/33010684
[pid=35844] ppid=35835 vsize=19063512 memory=1569936 CPUtime=3401.6 cores=0,2
/proc/35844/stat : 35844 (java) S 35835 35844 35496 0 -1 4194304 70571 0 0 0 339923 237 0 0 20 0 20 0 42684549 19521036288 392484 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
/proc/35844/statm: 4765878 392484 5487 1 0 555495 0
[pid=35844/tid=35860] ppid=35835 vsize=19063512 memory=1569936 CPUtime=3387.21 cores=0,2
/proc/35844/task/35860/stat : 35860 (java) R 35835 35844 35496 0 -1 4194368 28854 0 0 0 338709 12 0 0 20 0 20 0 42684552 19521036288 392484 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
[pid=35844/tid=35896] ppid=35835 vsize=19063512 memory=1569936 CPUtime=0 cores=0,2
/proc/35844/task/35896/stat : 35896 (Finalizer) S 35835 35844 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684557 19521036288 392484 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
[pid=35844/tid=35918] ppid=35835 vsize=19063512 memory=1569936 CPUtime=0 cores=0,2
/proc/35844/task/35918/stat : 35918 (Common-Cleaner) S 35835 35844 35496 0 -1 4194368 915 0 0 0 0 0 0 0 20 0 20 0 42684558 19521036288 392484 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
[pid=35844/tid=35922] ppid=35835 vsize=19063512 memory=1569936 CPUtime=0 cores=0,2
/proc/35844/task/35922/stat : 35922 (Timer-0) S 35835 35844 35496 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684605 19521036288 392484 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
Current children cumulated CPU time: 3401.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1569936 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.15 4.21 5/326 36166
/proc/meminfo: memFree=113690728/131382112 swapFree=33010684/33010684
[pid=35844] ppid=35835 vsize=19063512 memory=1569936 CPUtime=3461.48 cores=0,2
/proc/35844/stat : 35844 (java) S 35835 35844 35496 0 -1 4194304 70911 0 0 0 345908 240 0 0 20 0 20 0 42684549 19521036288 392484 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
/proc/35844/statm: 4765878 392484 5487 1 0 555495 0
[pid=35844/tid=35860] ppid=35835 vsize=19063512 memory=2764 CPUtime=3447.06 cores=0,2
/proc/35844/task/35860/stat : 35860 (java) R 35835 35844 35496 0 -1 4194368 29188 0 0 0 344694 12 0 0 20 0 20 0 42684552 19521036288 392484 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
[pid=35844/tid=35896] ppid=35835 vsize=19063512 memory=-6000919485624772460 CPUtime=0 cores=0,2
/proc/35844/task/35896/stat : 35896 (Finalizer) S 35835 35844 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684557 19521036288 392484 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
[pid=35844/tid=35918] ppid=35835 vsize=19063512 memory=1569936 CPUtime=0 cores=0,2
/proc/35844/task/35918/stat : 35918 (Common-Cleaner) S 35835 35844 35496 0 -1 4194368 915 0 0 0 0 0 0 0 20 0 20 0 42684558 19521036288 392484 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
[pid=35844/tid=35922] ppid=35835 vsize=19063512 memory=1569936 CPUtime=0 cores=0,2
/proc/35844/task/35922/stat : 35922 (Timer-0) S 35835 35844 35496 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684605 19521036288 392484 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
Current children cumulated CPU time: 3461.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1569936 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.15 4.20 5/326 36168
/proc/meminfo: memFree=113021376/131382112 swapFree=33010684/33010684
[pid=35844] ppid=35835 vsize=19063512 memory=1569936 CPUtime=3521.37 cores=0,2
/proc/35844/stat : 35844 (java) S 35835 35844 35496 0 -1 4194304 71648 0 0 0 351894 243 0 0 20 0 20 0 42684549 19521036288 392484 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
/proc/35844/statm: 4765878 392484 5487 1 0 555495 0
[pid=35844/tid=35860] ppid=35835 vsize=19063512 memory=1569936 CPUtime=3506.9 cores=0,2
/proc/35844/task/35860/stat : 35860 (java) R 35835 35844 35496 0 -1 4194368 29815 0 0 0 350678 12 0 0 20 0 20 0 42684552 19521036288 392484 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
[pid=35844/tid=35896] ppid=35835 vsize=19063512 memory=1569936 CPUtime=0 cores=0,2
/proc/35844/task/35896/stat : 35896 (Finalizer) S 35835 35844 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684557 19521036288 392484 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
[pid=35844/tid=35918] ppid=35835 vsize=19063512 memory=1569936 CPUtime=0 cores=0,2
/proc/35844/task/35918/stat : 35918 (Common-Cleaner) S 35835 35844 35496 0 -1 4194368 948 0 0 0 0 0 0 0 20 0 20 0 42684558 19521036288 392484 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
[pid=35844/tid=35922] ppid=35835 vsize=19063512 memory=1569936 CPUtime=0 cores=0,2
/proc/35844/task/35922/stat : 35922 (Timer-0) S 35835 35844 35496 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684605 19521036288 392484 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
Current children cumulated CPU time: 3521.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1569936 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.15 4.20 7/324 36302
/proc/meminfo: memFree=120731908/131382112 swapFree=33010684/33010684
[pid=35844] ppid=35835 vsize=19063512 memory=1569936 CPUtime=3581.25 cores=0,2
/proc/35844/stat : 35844 (java) S 35835 35844 35496 0 -1 4194304 72239 0 0 0 357880 245 0 0 20 0 20 0 42684549 19521036288 392484 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
/proc/35844/statm: 4765878 392484 5487 1 0 555495 0
[pid=35844/tid=35860] ppid=35835 vsize=19063512 memory=5632 CPUtime=3566.73 cores=0,2
/proc/35844/task/35860/stat : 35860 (java) R 35835 35844 35496 0 -1 4194368 30253 0 0 0 356661 12 0 0 20 0 20 0 42684552 19521036288 392484 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
[pid=35844/tid=35896] ppid=35835 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/35844/task/35896/stat : 35896 (Finalizer) S 35835 35844 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684557 19521036288 392484 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
[pid=35844/tid=35918] ppid=35835 vsize=19063512 memory=1569936 CPUtime=0 cores=0,2
/proc/35844/task/35918/stat : 35918 (Common-Cleaner) S 35835 35844 35496 0 -1 4194368 948 0 0 0 0 0 0 0 20 0 20 0 42684558 19521036288 392484 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
[pid=35844/tid=35922] ppid=35835 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/35844/task/35922/stat : 35922 (Timer-0) S 35835 35844 35496 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684605 19521036288 392484 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
Current children cumulated CPU time: 3581.25 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1569936 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3601.11 s]
/proc/loadavg: 4.26 4.17 4.20 5/325 36303
/proc/meminfo: memFree=119230028/131382112 swapFree=33010684/33010684
[pid=35844] ppid=35835 vsize=19063512 memory=1569936 CPUtime=3600.02 cores=0,2
/proc/35844/stat : 35844 (java) S 35835 35844 35496 0 -1 4194304 72342 0 0 0 359756 246 0 0 20 0 20 0 42684549 19521036288 392484 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
/proc/35844/statm: 4765878 392484 5487 1 0 555495 0
[pid=35844/tid=35860] ppid=35835 vsize=19063512 memory=1569936 CPUtime=3585.48 cores=0,2
/proc/35844/task/35860/stat : 35860 (java) R 35835 35844 35496 0 -1 4194368 30354 0 0 0 358536 12 0 0 20 0 20 0 42684552 19521036288 392484 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
[pid=35844/tid=35896] ppid=35835 vsize=19063512 memory=1569936 CPUtime=0 cores=0,2
/proc/35844/task/35896/stat : 35896 (Finalizer) S 35835 35844 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 42684557 19521036288 392484 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
[pid=35844/tid=35918] ppid=35835 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/35844/task/35918/stat : 35918 (Common-Cleaner) S 35835 35844 35496 0 -1 4194368 948 0 0 0 0 0 0 0 20 0 20 0 42684558 19521036288 392484 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
[pid=35844/tid=35922] ppid=35835 vsize=19063512 memory=4764 CPUtime=0 cores=0,2
/proc/35844/task/35922/stat : 35922 (Timer-0) S 35835 35844 35496 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 42684605 19521036288 392484 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1569936 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.14 s, system=2.4903 s

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

[startup+3601.21 s]
/proc/loadavg: 4.26 4.17 4.20 5/325 36303
/proc/meminfo: memFree=119230028/131382112 swapFree=33010684/33010684
[pid=35844] ppid=35835 vsize=19263204 memory=1586984 CPUtime=3600.2 cores=0,2
/proc/35844/stat : 35844 (java) S 35835 35844 35496 0 -1 4194304 74127 0 0 0 359773 247 0 0 20 0 21 0 42684549 19725520896 396746 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
/proc/35844/statm: 4815801 396746 5519 1 0 556370 0
[pid=35844/tid=35860] ppid=35835 vsize=19263204 memory=12416 CPUtime=3585.5 cores=0,2
/proc/35844/task/35860/stat : 35860 (java) S 35835 35844 35496 0 -1 4194368 30444 0 0 0 358538 12 0 0 20 0 21 0 42684552 19725520896 396746 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
[pid=35844/tid=35896] ppid=35835 vsize=19263204 memory=9984 CPUtime=0 cores=0,2
/proc/35844/task/35896/stat : 35896 (Finalizer) S 35835 35844 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 42684557 19725520896 396746 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
[pid=35844/tid=35918] ppid=35835 vsize=19263204 memory=5692 CPUtime=0 cores=0,2
/proc/35844/task/35918/stat : 35918 (Common-Cleaner) S 35835 35844 35496 0 -1 4194368 948 0 0 0 0 0 0 0 20 0 21 0 42684558 19725520896 396746 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 1586984 KiB

[startup+3601.4 s]
/proc/loadavg: 4.26 4.17 4.20 5/325 36303
/proc/meminfo: memFree=119230028/131382112 swapFree=33010684/33010684
[pid=35844] ppid=35835 vsize=19263204 memory=1587240 CPUtime=3600.49 cores=0,2
/proc/35844/stat : 35844 (java) S 35835 35844 35496 0 -1 4194304 74845 0 0 0 359802 247 0 0 20 0 21 0 42684549 19725520896 396810 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
/proc/35844/statm: 4815801 396810 5519 1 0 556413 0
[pid=35844/tid=35860] ppid=35835 vsize=19263204 memory=-6000919485624772460 CPUtime=3585.51 cores=0,2
/proc/35844/task/35860/stat : 35860 (java) S 35835 35844 35496 0 -1 4194368 30622 0 0 0 358539 12 0 0 20 0 21 0 42684552 19725520896 396810 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
[pid=35844/tid=35896] ppid=35835 vsize=19263204 memory=5044 CPUtime=0 cores=0,2
/proc/35844/task/35896/stat : 35896 (Finalizer) S 35835 35844 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 42684557 19725520896 396810 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
[pid=35844/tid=35918] ppid=35835 vsize=19263204 memory=7028 CPUtime=0 cores=0,2
/proc/35844/task/35918/stat : 35918 (Common-Cleaner) S 35835 35844 35496 0 -1 4194368 950 0 0 0 0 0 0 0 20 0 21 0 42684558 19725520896 396810 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
Current children cumulated CPU time: 3600.49 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 1587240 KiB

[startup+3601.5 s]
/proc/loadavg: 4.26 4.17 4.20 5/325 36303
/proc/meminfo: memFree=119230028/131382112 swapFree=33010684/33010684
[pid=35844] ppid=35835 vsize=19263204 memory=1587240 CPUtime=3600.6 cores=0,2
/proc/35844/stat : 35844 (java) S 35835 35844 35496 0 -1 4194304 74931 0 0 0 359813 247 0 0 20 0 21 0 42684549 19725520896 396810 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
/proc/35844/statm: 4815801 396810 5519 1 0 556432 0
[pid=35844/tid=35860] ppid=35835 vsize=19263204 memory=1569936 CPUtime=3585.51 cores=0,2
/proc/35844/task/35860/stat : 35860 (java) S 35835 35844 35496 0 -1 4194368 30622 0 0 0 358539 12 0 0 20 0 21 0 42684552 19725520896 396810 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
[pid=35844/tid=35896] ppid=35835 vsize=19263204 memory=1569936 CPUtime=0 cores=0,2
/proc/35844/task/35896/stat : 35896 (Finalizer) S 35835 35844 35496 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 42684557 19725520896 396810 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
[pid=35844/tid=35918] ppid=35835 vsize=19263204 memory=-6000919507016115820 CPUtime=0 cores=0,2
/proc/35844/task/35918/stat : 35918 (Common-Cleaner) S 35835 35844 35496 0 -1 4194368 950 0 0 0 0 0 0 0 20 0 21 0 42684558 19725520896 396810 18446744073709551615 93860561408000 93860561411696 140723100348528 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93860561419512 93860561420304 93860592349184 140723100354945 140723100355046 140723100355046 140723100360648 0
Current children cumulated CPU time: 3600.6 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 1587240 KiB

Child status: 143

Real time (s): 3601.52
CPU time (s): 3600.63
CPU user time (s): 3598.14
CPU system time (s): 2.4903
CPU usage (%): 99.9754
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 1587240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.14
system time used= 2.4903
maximum resident set size= 1587368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74995
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105438
involuntary context switches= 9454


# summary of solver processes directly reported to runsolver:
#   pid: 35844
#   total CPU time (s): 3600.63
#   total CPU user time (s): 3598.14
#   total CPU system time (s): 2.4903

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.9406 second user time and 38.471 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2025-06-30 09:54:08
IDJOB=4497874
IDBENCH=148208
IDSOLVER=3363
FILE ID=nodeC012/4497874-1751270048
RUNJOBID= nodeC012-1751270048-35794
SLURM_JOB_ID= 9594179
Free space on /tmp= 433060 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB07/DEC-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_50_10_5_15.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4497874-1751270048/watcher-4497874-1751270048 -o /tmp/evaluation-result-4497874-1751270048/solver-4497874-1751270048 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751270048-35794 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4497874-1751270048.opb

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

MD5SUM BENCH= 11fc8a6762580f0495bee8fdc052661f
RANDOM SEED=317870248

nodeC012 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		: 1197.221
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.39
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		: 1197.169
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.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.002
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.39
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.132
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.39
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		: 1197.167
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.39
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		: 1196.416
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.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.201
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.39
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.123
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.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        130124196 kB
MemAvailable:   129916236 kB
Buffers:            3280 kB
Cached:           601592 kB
SwapCached:            0 kB
Active:           317168 kB
Inactive:         352956 kB
Active(anon):      83212 kB
Inactive(anon):        0 kB
Active(file):     233956 kB
Inactive(file):   352956 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              2628 kB
Writeback:            12 kB
AnonPages:         68368 kB
Mapped:           102412 kB
Shmem:             17960 kB
KReclaimable:      89128 kB
Slab:             171040 kB
SReclaimable:      89128 kB
SUnreclaim:        81912 kB
KernelStack:        3904 kB
PageTables:         2824 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     330048 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149288 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 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:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC012 at 2025-06-30 10:54:10