Trace number 4498990

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2025-06-06? (TO) 3600.31 3595.33

General information on the benchmark

NamePB24/normalized-PB09/
OPT-LIN/flexray/normalized-fx97.opb
MD5SUMb17790bf3951ca85a67cd8038da17b4d
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/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 benchmark8655.85
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8424
Total number of constraints9089
Number of constraints which are clauses8415
Number of constraints which are cardinality constraints (but not clauses)98
Number of constraints which are nor clauses,nor cardinality constraints576
Minimum length of a constraint2
Maximum length of a constraint576
Number of terms in the objective function 9
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 9
Number of bits of the sum of numbers in the objective function 4
Biggest number in a constraint 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1199
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.12/0.17	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.17	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.17	c See www.sat4j.org for details.
0.12/0.18	c version PB25.v20250606
0.12/0.20	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.20	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.20	c java.vm.version	22.0.1+8-16
0.12/0.20	c java.vm.vendor	Oracle Corporation
0.12/0.20	c sun.arch.data.model	64
0.12/0.20	c java.version		22.0.1
0.12/0.20	c os.name		Linux
0.12/0.20	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.12/0.21	c os.arch		amd64
0.28/0.23	c Free memory 		2104792832
0.28/0.23	c Max memory 		16282288128
0.28/0.23	c Total memory 		2113929216
0.28/0.24	c Number of processors 	2
0.43/0.34	c Pseudo Boolean Optimization by upper bound
0.43/0.34	c --- Begin Solver configuration ---
0.43/0.34	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.43/0.34	c Learn all clauses as in MiniSAT
0.43/0.34	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.43/0.34	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.43/0.34	c Expensive reason simplification
0.43/0.34	c Glucose 2.1 dynamic restart strategy
0.43/0.34	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.43/0.34	c timeout=2147483s
0.43/0.34	c DB Simplification allowed=false
0.43/0.34	c Listener: none
0.43/0.34	c --- End Solver configuration ---
0.43/0.34	c solving HOME/instance-4498990-1751403859.opb
0.43/0.34	c reading problem ... 
0.43/0.34	c  objective function found
1.14/0.76	c ... done. Wall clock time 0.41s.
1.14/0.76	c declared #vars     8424
1.14/0.76	c #constraints  9186
1.14/0.76	c constraints type 
1.14/0.76	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 8415
1.14/0.76	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 97
1.14/0.76	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 576
1.14/0.76	c org.sat4j.pb.constraints.pb.UnitClausesPB => 1
1.14/0.76	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 97
1.14/0.76	c 9186 constraints processed.
1.14/0.79	c objective function length is 9 literals
3.68/2.15	c cleaning 2492 clauses out of 5000 with flag 22183/5000
4.59/2.95	c cleaning 4250 clauses out of 8510 with flag 47521/11002
5.84/3.90	c cleaning 5622 clauses out of 11258 with flag 81034/18000
7.70/5.54	c cleaning 6812 clauses out of 13636 with flag 118591/26000
9.11/6.94	c cleaning 7894 clauses out of 15824 with flag 153662/35000
10.71/8.60	c cleaning 8952 clauses out of 17931 with flag 186218/45001
12.02/9.81	c cleaning 9978 clauses out of 19979 with flag 226622/56001
13.52/11.32	c cleaning 10987 clauses out of 22002 with flag 272429/68002
15.12/12.94	c cleaning 11976 clauses out of 24014 with flag 311357/81001
17.02/14.88	c cleaning 13001 clauses out of 26038 with flag 362507/95001
19.16/16.96	c cleaning 13987 clauses out of 28036 with flag 416618/110000
21.25/18.98	c cleaning 15011 clauses out of 30052 with flag 469429/126003
24.02/21.65	c cleaning 16010 clauses out of 32040 with flag 506533/143002
27.38/24.94	c cleaning 17004 clauses out of 34028 with flag 546435/161000
30.98/28.50	c cleaning 18003 clauses out of 36025 with flag 587940/180001
34.17/31.72	c cleaning 18995 clauses out of 38023 with flag 638346/200002
37.14/34.69	c cleaning 20003 clauses out of 40026 with flag 694109/221000
40.54/38.09	c cleaning 20998 clauses out of 42023 with flag 785974/243000
44.22/41.79	c cleaning 22002 clauses out of 44027 with flag 890627/266002
48.53/46.03	c cleaning 22998 clauses out of 46023 with flag 998289/290000
53.52/51.03	c cleaning 24005 clauses out of 48027 with flag 1090754/315002
58.40/55.95	c cleaning 25000 clauses out of 50022 with flag 1193694/341002
63.68/61.20	c cleaning 26001 clauses out of 52020 with flag 1322821/368000
68.78/66.39	c cleaning 26995 clauses out of 54019 with flag 1480616/396000
74.06/71.66	c cleaning 28000 clauses out of 56025 with flag 1648517/425001
79.66/77.23	c cleaning 28997 clauses out of 58024 with flag 1815123/455000
85.96/83.53	c cleaning 30009 clauses out of 60027 with flag 1987921/486000
91.35/88.95	c cleaning 31008 clauses out of 62019 with flag 2083710/518001
98.64/96.27	c cleaning 32003 clauses out of 64010 with flag 2154475/551000
104.80/102.35	c cleaning 32992 clauses out of 66007 with flag 2247070/585000
111.90/109.46	c cleaning 33996 clauses out of 68015 with flag 2347538/620000
117.60/115.09	c cleaning 35000 clauses out of 70019 with flag 2494569/656000
124.38/121.89	c cleaning 36005 clauses out of 72020 with flag 2678311/693001
131.16/128.67	c cleaning 36994 clauses out of 74014 with flag 2814078/731000
137.03/134.47	c cleaning 38007 clauses out of 76021 with flag 2943101/770001
144.92/142.24	c cleaning 38994 clauses out of 78013 with flag 3059666/810000
152.31/149.61	c cleaning 40001 clauses out of 80019 with flag 3197867/851000
160.30/157.64	c cleaning 40998 clauses out of 82018 with flag 3339801/893000
168.38/165.75	c cleaning 42003 clauses out of 84020 with flag 3493032/936000
178.55/175.92	c cleaning 43000 clauses out of 86018 with flag 3619097/980001
189.42/186.75	c cleaning 44005 clauses out of 88020 with flag 3755982/1025003
200.71/198.11	c cleaning 44995 clauses out of 90012 with flag 3920825/1071000
212.38/209.73	c cleaning 46001 clauses out of 92018 with flag 4058759/1118001
224.16/221.52	c cleaning 46992 clauses out of 94017 with flag 4206891/1166001
236.65/234.06	c cleaning 48004 clauses out of 96024 with flag 4363073/1215000
251.30/248.65	c cleaning 49000 clauses out of 98020 with flag 4533132/1265000
265.57/262.90	c cleaning 50003 clauses out of 100022 with flag 4721566/1316002
279.96/277.30	c cleaning 51003 clauses out of 102017 with flag 4921856/1368000
290.04/287.36	c cleaning 51997 clauses out of 104014 with flag 5082724/1421000
300.42/297.76	c cleaning 53003 clauses out of 106017 with flag 5252942/1475000
310.50/307.79	c cleaning 53995 clauses out of 108014 with flag 5489555/1530000
322.88/320.19	c cleaning 55006 clauses out of 110020 with flag 5632438/1586001
334.35/331.65	c cleaning 55997 clauses out of 112013 with flag 5770243/1643000
343.69/341.00	c cleaning 56999 clauses out of 114018 with flag 5930089/1701002
354.37/351.52	c cleaning 58001 clauses out of 116019 with flag 6174119/1760002
364.88/361.48	c cleaning 58988 clauses out of 118016 with flag 6372293/1820000
377.06/373.61	c cleaning 59994 clauses out of 120031 with flag 6585126/1881003
393.05/389.69	c cleaning 61002 clauses out of 122034 with flag 6792698/1943000
408.12/404.78	c cleaning 62005 clauses out of 124032 with flag 7009414/2006000
423.50/420.18	c cleaning 62996 clauses out of 126028 with flag 7231063/2070001
439.97/436.68	c cleaning 64001 clauses out of 128032 with flag 7448240/2135001
458.96/455.66	c cleaning 65002 clauses out of 130030 with flag 7661943/2201000
476.82/473.50	c cleaning 65999 clauses out of 132029 with flag 7874353/2268001
490.70/487.49	c cleaning 67002 clauses out of 134031 with flag 8040211/2336002
504.34/501.05	c cleaning 68000 clauses out of 136028 with flag 8257455/2405001
520.60/517.34	c cleaning 69003 clauses out of 138027 with flag 8481415/2475000
537.72/534.44	c cleaning 70002 clauses out of 140025 with flag 8692653/2546001
554.19/550.97	c cleaning 70997 clauses out of 142023 with flag 8927636/2618001
573.37/570.12	c cleaning 72000 clauses out of 144025 with flag 9140780/2691000
591.11/587.97	c cleaning 73001 clauses out of 146026 with flag 9399887/2765001
606.89/603.78	c cleaning 74000 clauses out of 148024 with flag 9652529/2840000
621.95/618.90	c cleaning 75002 clauses out of 150024 with flag 9922553/2916000
635.34/632.24	c cleaning 76003 clauses out of 152023 with flag 10153568/2993001
652.11/648.97	c cleaning 76995 clauses out of 154019 with flag 10342233/3071000
670.19/667.04	c cleaning 77994 clauses out of 156024 with flag 10610636/3150000
690.90/687.72	c cleaning 79001 clauses out of 158031 with flag 10903137/3230001
710.06/706.90	c cleaning 80002 clauses out of 160030 with flag 11200012/3311001
731.73/728.62	c cleaning 80997 clauses out of 162027 with flag 11451193/3393000
753.17/750.03	c cleaning 82001 clauses out of 164031 with flag 11727440/3476001
774.82/771.76	c cleaning 82999 clauses out of 166029 with flag 11995262/3560000
790.68/787.66	c cleaning 84000 clauses out of 168031 with flag 12234980/3645001
808.89/805.82	c cleaning 85008 clauses out of 170032 with flag 12492367/3731002
825.77/822.66	c cleaning 86000 clauses out of 172022 with flag 12764624/3818000
841.53/838.39	c cleaning 87003 clauses out of 174022 with flag 13019191/3906000
858.06/854.19	c cleaning 88004 clauses out of 176019 with flag 13294200/3995000
879.59/875.79	c cleaning 89001 clauses out of 178015 with flag 13501876/4085000
901.16/897.30	c cleaning 89995 clauses out of 180015 with flag 13840458/4176001
918.01/914.14	c cleaning 91002 clauses out of 182019 with flag 14169263/4268000
940.32/936.41	c cleaning 92001 clauses out of 184018 with flag 14483072/4361001
963.89/960.04	c cleaning 93000 clauses out of 186017 with flag 14810400/4455001
987.63/983.74	c cleaning 93993 clauses out of 188017 with flag 15118035/4550001
1012.19/1008.30	c cleaning 95000 clauses out of 190024 with flag 15436037/4646001
1038.44/1034.68	c cleaning 95996 clauses out of 192023 with flag 15768152/4743000
1064.17/1060.33	c cleaning 97010 clauses out of 194028 with flag 16174896/4841001
1090.43/1086.62	c cleaning 97999 clauses out of 196018 with flag 16714059/4940001
1117.08/1113.38	c cleaning 99005 clauses out of 198018 with flag 17109184/5040000
1145.42/1141.60	c cleaning 100001 clauses out of 200013 with flag 17524263/5141000
1174.79/1171.06	c cleaning 101002 clauses out of 202013 with flag 17948381/5243001
1200.23/1196.33	c cleaning 101992 clauses out of 204010 with flag 18313849/5346000
1225.90/1222.04	c cleaning 102998 clauses out of 206018 with flag 18667894/5450000
1251.71/1247.83	c cleaning 103999 clauses out of 208020 with flag 19040108/5555000
1280.46/1276.64	c cleaning 104996 clauses out of 210021 with flag 19374605/5661000
1309.71/1305.85	c cleaning 106006 clauses out of 212025 with flag 19772523/5768000
1335.07/1331.27	c cleaning 107000 clauses out of 214019 with flag 20019478/5876000
1358.64/1354.75	c cleaning 107992 clauses out of 216022 with flag 20288965/5985003
1382.91/1379.05	c cleaning 109000 clauses out of 218027 with flag 20688843/6095000
1411.20/1406.74	c cleaning 109987 clauses out of 220027 with flag 21019467/6206000
1439.03/1434.60	c cleaning 110998 clauses out of 222040 with flag 21344658/6318000
1476.00/1471.66	c cleaning 112006 clauses out of 224042 with flag 21689201/6431000
1508.75/1504.44	c cleaning 113006 clauses out of 226040 with flag 22059743/6545004
1546.78/1542.57	c cleaning 113997 clauses out of 228032 with flag 22419762/6660002
1572.16/1567.85	c cleaning 114998 clauses out of 230033 with flag 22792912/6776000
1595.67/1591.22	c cleaning 116008 clauses out of 232035 with flag 23130004/6893000
1629.02/1624.60	c cleaning 117000 clauses out of 234027 with flag 23499571/7011000
1652.67/1648.28	c cleaning 118008 clauses out of 236028 with flag 23870201/7130001
1685.18/1680.77	c cleaning 118995 clauses out of 238021 with flag 24233580/7250002
1713.44/1709.08	c cleaning 120008 clauses out of 240026 with flag 24680755/7371002
1739.98/1735.51	c cleaning 120982 clauses out of 242017 with flag 25063893/7493001
1774.38/1769.91	c cleaning 121997 clauses out of 244035 with flag 25474652/7616001
1808.13/1803.75	c cleaning 122994 clauses out of 246037 with flag 25892938/7740000
1843.06/1838.64	c cleaning 123996 clauses out of 248044 with flag 26352093/7865001
1870.00/1865.53	c cleaning 125010 clauses out of 250047 with flag 26850471/7991000
1901.79/1896.90	c cleaning 126008 clauses out of 252038 with flag 27215063/8118001
1926.53/1921.69	c cleaning 127007 clauses out of 254030 with flag 27761543/8246001
1954.30/1949.38	c cleaning 128000 clauses out of 256023 with flag 28119584/8375001
1986.87/1981.84	c cleaning 129004 clauses out of 258022 with flag 28512089/8505000
2014.92/2009.98	c cleaning 130000 clauses out of 260018 with flag 28866341/8636000
2052.06/2047.02	c cleaning 130999 clauses out of 262019 with flag 29539114/8768001
2080.02/2075.01	c cleaning 131964 clauses out of 264020 with flag 30014758/8901001
2111.26/2106.33	c cleaning 133021 clauses out of 266057 with flag 30469364/9035002
2147.64/2142.75	c cleaning 134007 clauses out of 268034 with flag 30937971/9170000
2187.99/2183.11	c cleaning 135004 clauses out of 270027 with flag 31376500/9306000
2217.35/2212.48	c cleaning 136004 clauses out of 272025 with flag 31786625/9443002
2254.00/2249.15	c cleaning 136998 clauses out of 274019 with flag 32245397/9581000
2287.50/2282.69	c cleaning 137998 clauses out of 276021 with flag 32740227/9720000
2324.64/2319.89	c cleaning 139002 clauses out of 278024 with flag 33181533/9860001
2360.56/2355.74	c cleaning 140002 clauses out of 280021 with flag 33631448/10001000
2396.69/2392.01	c cleaning 140995 clauses out of 282020 with flag 34153856/10143001
2439.33/2434.67	c cleaning 142003 clauses out of 284025 with flag 34641430/10286001
2481.52/2476.84	c cleaning 143007 clauses out of 286021 with flag 35108381/10430000
2521.76/2517.18	c cleaning 144000 clauses out of 288014 with flag 35566540/10575000
2564.49/2559.92	c cleaning 145000 clauses out of 290015 with flag 36048751/10721001
2606.87/2602.32	c cleaning 146000 clauses out of 292014 with flag 36525116/10868000
2648.91/2644.42	c cleaning 147001 clauses out of 294014 with flag 37000032/11016000
2693.14/2688.73	c cleaning 148002 clauses out of 296014 with flag 37468851/11165001
2740.02/2735.67	c cleaning 148992 clauses out of 298011 with flag 37950329/11315000
2785.63/2781.33	c cleaning 150002 clauses out of 300020 with flag 38437707/11466001
2836.02/2831.84	c cleaning 151002 clauses out of 302019 with flag 38925560/11618002
2872.80/2868.60	c cleaning 151988 clauses out of 304018 with flag 39442810/11771003
2911.49/2907.33	c cleaning 153006 clauses out of 306027 with flag 39936744/11925000
2948.19/2943.90	c cleaning 154001 clauses out of 308021 with flag 40610403/12080000
2989.84/2985.19	c cleaning 154997 clauses out of 310020 with flag 41324402/12236000
3026.81/3022.11	c cleaning 155999 clauses out of 312024 with flag 41865224/12393001
3058.76/3053.92	c cleaning 157002 clauses out of 314024 with flag 42474334/12551000
3095.00/3090.27	c cleaning 158002 clauses out of 316022 with flag 43004368/12710000
3128.76/3123.89	c cleaning 158995 clauses out of 318021 with flag 43472732/12870001
3166.65/3161.68	c cleaning 159994 clauses out of 320025 with flag 43956011/13031000
3213.36/3208.43	c cleaning 161001 clauses out of 322032 with flag 44530841/13193001
3263.05/3258.28	c cleaning 162001 clauses out of 324030 with flag 45109494/13356000
3312.94/3308.18	c cleaning 162993 clauses out of 326029 with flag 45625396/13520000
3361.96/3357.26	c cleaning 164000 clauses out of 328037 with flag 46187864/13685001
3404.47/3399.75	c cleaning 165008 clauses out of 330037 with flag 46781273/13851001
3441.03/3436.27	c cleaning 166003 clauses out of 332030 with flag 47275666/14018002
3478.75/3473.92	c cleaning 166998 clauses out of 334026 with flag 47695576/14186001
3516.90/3512.04	c cleaning 168010 clauses out of 336027 with flag 48100670/14355000
3554.58/3549.72	c cleaning 168995 clauses out of 338017 with flag 48615865/14525000
3600.06/3595.13	c starts		: 9439
3600.06/3595.14	c conflicts		: 14690663
3600.06/3595.14	c decisions		: 26479427
3600.06/3595.14	c timeout
3600.06/3595.14	c propagations		: 10025701231
3600.06/3595.14	c inspects		: 24109005074
3600.06/3595.15	c shortcuts		: 0
3600.06/3595.15	c learnt literals	: 0
3600.06/3595.15	c learnt binary clauses	: 0
3600.06/3595.15	c learnt ternary clauses	: 0
3600.06/3595.15	c learnt constraints	: 14690663
3600.06/3595.15	c ignored constraints	: 0
3600.06/3595.15	c root simplifications	: 0
3600.06/3595.15	c removed literals (reason simplification)	: 5571017
3600.06/3595.15	c reason swapping (by a shorter reason)	: 0
3600.06/3595.15	c Calls to reduceDB	: 166
3600.06/3595.15	c Number of update (reduction) of LBD	: 2858984
3600.06/3595.15	c Imported unit clauses	: 0
3600.06/3595.15	c No decision after first conflict	: false
3600.06/3595.15	c number of reductions to clauses (during analyze)	: 0
3600.06/3595.15	c number of learned constraints concerned by reduction	: 0
3600.06/3595.15	c number of learning phase by resolution	: 0
3600.06/3595.15	c number of learning phase by cutting planes	: 0
3600.06/3595.15	c number of rounding to 1 operations	: 0
3600.06/3595.15	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3595.15	c number of reductions of the coefficients by power 2 	: 0
3600.06/3595.15	c number of right shift for reduction by power 2 	: 0
3600.06/3595.15	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3595.15	c number of ending skipping 	: 0
3600.06/3595.15	c number of internal skipping 	: 0
3600.06/3595.15	c number of derivation steps 	: 0
3600.06/3595.15	c number of skipped derivation steps 	: 0
3600.06/3595.15	c number of remaining unassigned 	: 0
3600.06/3595.15	c number of remaining assigned 	: 0
3600.06/3595.15	c number of falsified literals weakened from reason	: 0
3600.06/3595.15	c number of falsified literals weakened from conflict	: 0
3600.06/3595.15	c time for arithmetic operations	: 0
3600.06/3595.15	c minimum degree of deleted constraints	: null
3600.06/3595.15	c maximum degree of deleted constraints	: null
3600.06/3595.15	c number of deleted constraints	: 0
3600.06/3595.15	c speed (assignments/second)	: 2789289.9954818054
3600.06/3595.15	c non guided choices	: 543602
3600.19/3595.28	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 334685
3600.19/3595.28	s UNKNOWN
3600.19/3595.28	c Total wall clock time (in seconds): 3594.944

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498990-1751403859/watcher-4498990-1751403859 -o /tmp/evaluation-result-4498990-1751403859/solver-4498990-1751403859 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751396661-59138 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4498990-1751403859.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=60335, runsolver pid=60332

[startup+0.10007 s]*
/proc/loadavg: 4.13 4.17 4.22 7/322 60353
/proc/meminfo: memFree=105620428/131382112 swapFree=33010160/33010684
[pid=60335] ppid=60332 vsize=18930384 memory=50172 CPUtime=0.12 cores=4,6
/proc/60335/stat : 60335 (java) S 60332 60335 59127 0 -1 4194304 5726 0 0 0 9 3 0 0 20 0 18 0 56065677 19384713216 12543 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
/proc/60335/statm: 4732596 12543 5320 1 0 546954 0
[pid=60335/tid=60337] ppid=60332 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=4,6
/proc/60335/task/60337/stat : 60337 (java) R 60332 60335 59127 0 -1 4194368 4638 0 0 0 5 2 0 0 20 0 18 0 56065679 19384713216 12543 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
[pid=60335/tid=60346] ppid=60332 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/60335/task/60346/stat : 60346 (Finalizer) S 60332 60335 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 56065684 19384713216 12543 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
[pid=60335/tid=60353] ppid=60332 vsize=18930384 memory=59593594258114 CPUtime=0 cores=4,6
/proc/60335/task/60353/stat : 60353 (Common-Cleaner) S 60332 60335 59127 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 56065685 19384713216 12543 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 50172 KiB

[startup+0.213704 s]*
/proc/loadavg: 4.13 4.17 4.22 6/322 60353
/proc/meminfo: memFree=105606140/131382112 swapFree=33010160/33010684
[pid=60335] ppid=60332 vsize=18930384 memory=54984 CPUtime=0.28 cores=4,6
/proc/60335/stat : 60335 (java) S 60332 60335 59127 0 -1 4194304 6386 0 0 0 24 4 0 0 20 0 18 0 56065677 19384713216 13746 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
/proc/60335/statm: 4732596 13746 5352 1 0 547532 0
[pid=60335/tid=60337] ppid=60332 vsize=18930384 memory=4026663196 CPUtime=0.16 cores=4,6
/proc/60335/task/60337/stat : 60337 (java) R 60332 60335 59127 0 -1 4194368 4980 0 0 0 14 2 0 0 20 0 18 0 56065679 19384713216 13746 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
[pid=60335/tid=60346] ppid=60332 vsize=18930384 memory=16142 CPUtime=0 cores=4,6
/proc/60335/task/60346/stat : 60346 (Finalizer) S 60332 60335 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 56065684 19384713216 13746 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
[pid=60335/tid=60353] ppid=60332 vsize=18930384 memory=58494082614266 CPUtime=0 cores=4,6
/proc/60335/task/60353/stat : 60353 (Common-Cleaner) S 60332 60335 59127 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 56065685 19384713216 13746 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 54984 KiB

[startup+0.313641 s]*
/proc/loadavg: 4.13 4.17 4.22 8/322 60353
/proc/meminfo: memFree=105385172/131382112 swapFree=33010160/33010684
[pid=60335] ppid=60332 vsize=18930384 memory=60088 CPUtime=0.43 cores=4,6
/proc/60335/stat : 60335 (java) S 60332 60335 59127 0 -1 4194304 6641 0 0 0 39 4 0 0 20 0 18 0 56065677 19384713216 15022 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
/proc/60335/statm: 4732596 15022 5352 1 0 547753 0
[pid=60335/tid=60337] ppid=60332 vsize=18930384 memory=-6000919498510003305 CPUtime=0.25 cores=4,6
/proc/60335/task/60337/stat : 60337 (java) R 60332 60335 59127 0 -1 4194368 5174 0 0 0 23 2 0 0 20 0 18 0 56065679 19384713216 15022 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
[pid=60335/tid=60346] ppid=60332 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/60335/task/60346/stat : 60346 (Finalizer) S 60332 60335 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 56065684 19384713216 15022 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
[pid=60335/tid=60353] ppid=60332 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/60335/task/60353/stat : 60353 (Common-Cleaner) S 60332 60335 59127 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 56065685 19384713216 15022 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 60088 KiB

[startup+0.700497 s]
/proc/loadavg: 4.36 4.22 4.23 6/322 60353
/proc/meminfo: memFree=105364692/131382112 swapFree=33010160/33010684
[pid=60335] ppid=60332 vsize=18930384 memory=118760 CPUtime=1.14 cores=4,6
/proc/60335/stat : 60335 (java) S 60332 60335 59127 0 -1 4194304 8348 0 0 0 108 6 0 0 20 0 18 0 56065677 19384713216 29690 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
/proc/60335/statm: 4732596 29690 5448 1 0 548955 0
[pid=60335/tid=60337] ppid=60332 vsize=18930384 memory=17920 CPUtime=0.58 cores=4,6
/proc/60335/task/60337/stat : 60337 (java) R 60332 60335 59127 0 -1 4194368 5314 0 0 0 55 3 0 0 20 0 18 0 56065679 19384713216 29690 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
[pid=60335/tid=60346] ppid=60332 vsize=18930384 memory=10624 CPUtime=0 cores=4,6
/proc/60335/task/60346/stat : 60346 (Finalizer) S 60332 60335 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 56065684 19384713216 29690 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
[pid=60335/tid=60353] ppid=60332 vsize=18930384 memory=3200 CPUtime=0 cores=4,6
/proc/60335/task/60353/stat : 60353 (Common-Cleaner) S 60332 60335 59127 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 56065685 19384713216 29690 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 118760 KiB

[startup+1.50024 s]
/proc/loadavg: 4.36 4.22 4.23 6/323 60354
/proc/meminfo: memFree=105302812/131382112 swapFree=33010160/33010684
[pid=60335] ppid=60332 vsize=18996948 memory=149780 CPUtime=2.72 cores=4,6
/proc/60335/stat : 60335 (java) S 60332 60335 59127 0 -1 4194304 17308 0 0 0 264 8 0 0 20 0 19 0 56065677 19452874752 37445 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
/proc/60335/statm: 4749237 37445 5480 1 0 552292 0
[pid=60335/tid=60337] ppid=60332 vsize=18996948 memory=3200 CPUtime=1.29 cores=4,6
/proc/60335/task/60337/stat : 60337 (java) R 60332 60335 59127 0 -1 4194368 5663 0 0 0 125 4 0 0 20 0 19 0 56065679 19452874752 37445 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
[pid=60335/tid=60346] ppid=60332 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/60335/task/60346/stat : 60346 (Finalizer) S 60332 60335 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 56065684 19452874752 37445 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
[pid=60335/tid=60353] ppid=60332 vsize=18996948 memory=10624 CPUtime=0 cores=4,6
/proc/60335/task/60353/stat : 60353 (Common-Cleaner) S 60332 60335 59127 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 56065685 19452874752 37445 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
[pid=60335/tid=60354] ppid=60332 vsize=18996948 memory=14560 CPUtime=0 cores=4,6
/proc/60335/task/60354/stat : 60354 (Timer-0) S 60332 60335 59127 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 56065757 19452874752 37445 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 149780 KiB

[startup+3.10475 s]
/proc/loadavg: 4.36 4.22 4.23 6/325 60356
/proc/meminfo: memFree=105233628/131382112 swapFree=33010160/33010684
[pid=60335] ppid=60332 vsize=19063512 memory=181548 CPUtime=4.94 cores=4,6
/proc/60335/stat : 60335 (java) S 60332 60335 59127 0 -1 4194304 20259 0 0 0 485 9 0 0 20 0 20 0 56065677 19521036288 45387 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
/proc/60335/statm: 4765878 45387 5512 1 0 552616 0
[pid=60335/tid=60337] ppid=60332 vsize=19063512 memory=14560 CPUtime=2.87 cores=4,6
/proc/60335/task/60337/stat : 60337 (java) R 60332 60335 59127 0 -1 4194368 6665 0 0 0 282 5 0 0 20 0 20 0 56065679 19521036288 45387 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
[pid=60335/tid=60346] ppid=60332 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/60335/task/60346/stat : 60346 (Finalizer) S 60332 60335 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56065684 19521036288 45387 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
[pid=60335/tid=60353] ppid=60332 vsize=19063512 memory=10624 CPUtime=0 cores=4,6
/proc/60335/task/60353/stat : 60353 (Common-Cleaner) S 60332 60335 59127 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 20 0 56065685 19521036288 45387 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
[pid=60335/tid=60354] ppid=60332 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/60335/task/60354/stat : 60354 (Timer-0) S 60332 60335 59127 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56065757 19521036288 45387 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
Current children cumulated CPU time: 4.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 181548 KiB

[startup+6.30038 s]
/proc/loadavg: 4.41 4.23 4.24 5/325 60356
/proc/meminfo: memFree=105048288/131382112 swapFree=33010160/33010684
[pid=60335] ppid=60332 vsize=19063512 memory=177148 CPUtime=8.51 cores=4,6
/proc/60335/stat : 60335 (java) S 60332 60335 59127 0 -1 4194304 23796 0 0 0 841 10 0 0 20 0 20 0 56065677 19521036288 44287 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
/proc/60335/statm: 4765878 44287 5544 1 0 552634 0
[pid=60335/tid=60337] ppid=60332 vsize=19063512 memory=0 CPUtime=6.05 cores=4,6
/proc/60335/task/60337/stat : 60337 (java) R 60332 60335 59127 0 -1 4194368 7109 0 0 0 600 5 0 0 20 0 20 0 56065679 19521036288 44287 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
[pid=60335/tid=60346] ppid=60332 vsize=19063512 memory=10624 CPUtime=0 cores=4,6
/proc/60335/task/60346/stat : 60346 (Finalizer) S 60332 60335 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56065684 19521036288 44287 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
[pid=60335/tid=60353] ppid=60332 vsize=19063512 memory=3200 CPUtime=0 cores=4,6
/proc/60335/task/60353/stat : 60353 (Common-Cleaner) S 60332 60335 59127 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 20 0 56065685 19521036288 44287 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
[pid=60335/tid=60354] ppid=60332 vsize=19063512 memory=151960 CPUtime=0 cores=4,6
/proc/60335/task/60354/stat : 60354 (Timer-0) S 60332 60335 59127 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56065757 19521036288 44287 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
Current children cumulated CPU time: 8.51 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 177148 KiB

[startup+12.7005 s]
/proc/loadavg: 4.38 4.22 4.24 6/325 60356
/proc/meminfo: memFree=104274476/131382112 swapFree=33010160/33010684
[pid=60335] ppid=60332 vsize=19063512 memory=247028 CPUtime=14.92 cores=4,6
/proc/60335/stat : 60335 (java) S 60332 60335 59127 0 -1 4194304 25902 0 0 0 1479 13 0 0 20 0 20 0 56065677 19521036288 61757 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
/proc/60335/statm: 4765878 61757 5544 1 0 552634 0
[pid=60335/tid=60337] ppid=60332 vsize=19063512 memory=151960 CPUtime=12.1 cores=4,6
/proc/60335/task/60337/stat : 60337 (java) R 60332 60335 59127 0 -1 4194368 7667 0 0 0 1205 5 0 0 20 0 20 0 56065679 19521036288 61757 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
[pid=60335/tid=60346] ppid=60332 vsize=19063512 memory=247028 CPUtime=0 cores=4,6
/proc/60335/task/60346/stat : 60346 (Finalizer) S 60332 60335 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56065684 19521036288 61757 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
[pid=60335/tid=60353] ppid=60332 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/60335/task/60353/stat : 60353 (Common-Cleaner) S 60332 60335 59127 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 20 0 56065685 19521036288 61757 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
[pid=60335/tid=60354] ppid=60332 vsize=19063512 memory=10624 CPUtime=0 cores=4,6
/proc/60335/task/60354/stat : 60354 (Timer-0) S 60332 60335 59127 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56065757 19521036288 61757 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
Current children cumulated CPU time: 14.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 247028 KiB

[startup+25.5005 s]
/proc/loadavg: 4.55 4.27 4.25 5/325 60357
/proc/meminfo: memFree=103133804/131382112 swapFree=33010160/33010684
[pid=60335] ppid=60332 vsize=19063512 memory=401112 CPUtime=27.98 cores=4,6
/proc/60335/stat : 60335 (java) S 60332 60335 59127 0 -1 4194304 29707 0 0 0 2780 18 0 0 20 0 20 0 56065677 19521036288 100278 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
/proc/60335/statm: 4765878 100278 5544 1 0 552637 0
[pid=60335/tid=60337] ppid=60332 vsize=19063512 memory=0 CPUtime=24.53 cores=4,6
/proc/60335/task/60337/stat : 60337 (java) R 60332 60335 59127 0 -1 4194368 8440 0 0 0 2448 5 0 0 20 0 20 0 56065679 19521036288 100278 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
[pid=60335/tid=60346] ppid=60332 vsize=19063512 memory=14560 CPUtime=0 cores=4,6
/proc/60335/task/60346/stat : 60346 (Finalizer) S 60332 60335 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56065684 19521036288 100278 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
[pid=60335/tid=60353] ppid=60332 vsize=19063512 memory=401112 CPUtime=0 cores=4,6
/proc/60335/task/60353/stat : 60353 (Common-Cleaner) S 60332 60335 59127 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 20 0 56065685 19521036288 100278 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
[pid=60335/tid=60354] ppid=60332 vsize=19063512 memory=401112 CPUtime=0 cores=4,6
/proc/60335/task/60354/stat : 60354 (Timer-0) S 60332 60335 59127 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56065757 19521036288 100278 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
Current children cumulated CPU time: 27.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 401112 KiB

[startup+51.113 s]
/proc/loadavg: 4.54 4.29 4.26 5/326 60358
/proc/meminfo: memFree=100822844/131382112 swapFree=33010160/33010684
[pid=60335] ppid=60332 vsize=19063512 memory=507040 CPUtime=53.62 cores=4,6
/proc/60335/stat : 60335 (java) S 60332 60335 59127 0 -1 4194304 30723 0 0 0 5341 21 0 0 20 0 20 0 56065677 19521036288 126760 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
/proc/60335/statm: 4765878 126760 5544 1 0 700924 0
[pid=60335/tid=60337] ppid=60332 vsize=19063512 memory=401112 CPUtime=49.99 cores=4,6
/proc/60335/task/60337/stat : 60337 (java) R 60332 60335 59127 0 -1 4194368 8553 0 0 0 4994 5 0 0 20 0 20 0 56065679 19521036288 126760 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
[pid=60335/tid=60346] ppid=60332 vsize=19063512 memory=12416 CPUtime=0 cores=4,6
/proc/60335/task/60346/stat : 60346 (Finalizer) S 60332 60335 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56065684 19521036288 126760 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
[pid=60335/tid=60353] ppid=60332 vsize=19063512 memory=2308 CPUtime=0 cores=4,6
/proc/60335/task/60353/stat : 60353 (Common-Cleaner) S 60332 60335 59127 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 20 0 56065685 19521036288 126760 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
[pid=60335/tid=60354] ppid=60332 vsize=19063512 memory=247028 CPUtime=0 cores=4,6

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

/proc/60335/task/60337/stat : 60337 (java) R 60332 60335 59127 0 -1 4194368 42481 0 0 0 326315 12 0 0 20 0 20 0 56065679 19521036288 594312 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
[pid=60335/tid=60346] ppid=60332 vsize=19063512 memory=7686721470264483783 CPUtime=0 cores=4,6
/proc/60335/task/60346/stat : 60346 (Finalizer) S 60332 60335 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56065684 19521036288 594312 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
[pid=60335/tid=60353] ppid=60332 vsize=19063512 memory=5760 CPUtime=0 cores=4,6
/proc/60335/task/60353/stat : 60353 (Common-Cleaner) S 60332 60335 59127 0 -1 4194368 1087 0 0 0 0 0 0 0 20 0 20 0 56065685 19521036288 594312 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
[pid=60335/tid=60354] ppid=60332 vsize=19063512 memory=2377248 CPUtime=0 cores=4,6
/proc/60335/task/60354/stat : 60354 (Timer-0) S 60332 60335 59127 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56065757 19521036288 594312 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
Current children cumulated CPU time: 3287.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2377248 KiB

[startup+3342.3 s]
/proc/loadavg: 3.84 4.08 4.17 4/303 60560
/proc/meminfo: memFree=91985084/131382112 swapFree=33010160/33010684
[pid=60335] ppid=60332 vsize=19063512 memory=2377248 CPUtime=3347.08 cores=4,6
/proc/60335/stat : 60335 (java) S 60332 60335 59127 0 -1 4194304 99539 0 0 0 334503 205 0 0 20 0 20 0 56065677 19521036288 594312 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
/proc/60335/statm: 4765878 594312 5576 1 0 710596 0
[pid=60335/tid=60337] ppid=60332 vsize=19063512 memory=2377248 CPUtime=3323.14 cores=4,6
/proc/60335/task/60337/stat : 60337 (java) R 60332 60335 59127 0 -1 4194368 42882 0 0 0 332302 12 0 0 20 0 20 0 56065679 19521036288 594312 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
[pid=60335/tid=60346] ppid=60332 vsize=19063512 memory=-6000919498510003305 CPUtime=0 cores=4,6
/proc/60335/task/60346/stat : 60346 (Finalizer) S 60332 60335 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56065684 19521036288 594312 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
[pid=60335/tid=60353] ppid=60332 vsize=19063512 memory=2377248 CPUtime=0 cores=4,6
/proc/60335/task/60353/stat : 60353 (Common-Cleaner) S 60332 60335 59127 0 -1 4194368 1087 0 0 0 0 0 0 0 20 0 20 0 56065685 19521036288 594312 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
[pid=60335/tid=60354] ppid=60332 vsize=19063512 memory=1920 CPUtime=0 cores=4,6
/proc/60335/task/60354/stat : 60354 (Timer-0) S 60332 60335 59127 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56065757 19521036288 594312 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
Current children cumulated CPU time: 3347.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2377248 KiB

[startup+3402.3 s]
/proc/loadavg: 3.40 3.91 4.11 4/307 60576
/proc/meminfo: memFree=91982748/131382112 swapFree=33010160/33010684
[pid=60335] ppid=60332 vsize=19063512 memory=2377248 CPUtime=3407.07 cores=4,6
/proc/60335/stat : 60335 (java) S 60332 60335 59127 0 -1 4194304 101126 0 0 0 340500 207 0 0 20 0 20 0 56065677 19521036288 594312 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
/proc/60335/statm: 4765878 594312 5576 1 0 710596 0
[pid=60335/tid=60337] ppid=60332 vsize=19063512 memory=-6000919498510003305 CPUtime=3382.91 cores=4,6
/proc/60335/task/60337/stat : 60337 (java) R 60332 60335 59127 0 -1 4194368 43668 0 0 0 338279 12 0 0 20 0 20 0 56065679 19521036288 594312 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
[pid=60335/tid=60346] ppid=60332 vsize=19063512 memory=2377248 CPUtime=0 cores=4,6
/proc/60335/task/60346/stat : 60346 (Finalizer) S 60332 60335 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56065684 19521036288 594312 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
[pid=60335/tid=60353] ppid=60332 vsize=19063512 memory=2377248 CPUtime=0 cores=4,6
/proc/60335/task/60353/stat : 60353 (Common-Cleaner) S 60332 60335 59127 0 -1 4194368 1103 0 0 0 0 0 0 0 20 0 20 0 56065685 19521036288 594312 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
[pid=60335/tid=60354] ppid=60332 vsize=19063512 memory=164 CPUtime=0 cores=4,6
/proc/60335/task/60354/stat : 60354 (Timer-0) S 60332 60335 59127 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56065757 19521036288 594312 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
Current children cumulated CPU time: 3407.07 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2377248 KiB

[startup+3462.3 s]
/proc/loadavg: 3.25 3.77 4.04 4/307 60593
/proc/meminfo: memFree=91982796/131382112 swapFree=33010160/33010684
[pid=60335] ppid=60332 vsize=19063512 memory=2377248 CPUtime=3467.17 cores=4,6
/proc/60335/stat : 60335 (java) S 60332 60335 59127 0 -1 4194304 102331 0 0 0 346508 209 0 0 20 0 20 0 56065677 19521036288 594312 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
/proc/60335/statm: 4765878 594312 5576 1 0 710596 0
[pid=60335/tid=60337] ppid=60332 vsize=19063512 memory=-6000919498510003305 CPUtime=3442.47 cores=4,6
/proc/60335/task/60337/stat : 60337 (java) R 60332 60335 59127 0 -1 4194368 44190 0 0 0 344235 12 0 0 20 0 20 0 56065679 19521036288 594312 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
[pid=60335/tid=60346] ppid=60332 vsize=19063512 memory=2377248 CPUtime=0 cores=4,6
/proc/60335/task/60346/stat : 60346 (Finalizer) S 60332 60335 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56065684 19521036288 594312 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
[pid=60335/tid=60353] ppid=60332 vsize=19063512 memory=2377248 CPUtime=0 cores=4,6
/proc/60335/task/60353/stat : 60353 (Common-Cleaner) S 60332 60335 59127 0 -1 4194368 1127 0 0 0 0 0 0 0 20 0 20 0 56065685 19521036288 594312 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
[pid=60335/tid=60354] ppid=60332 vsize=19063512 memory=2377248 CPUtime=0 cores=4,6
/proc/60335/task/60354/stat : 60354 (Timer-0) S 60332 60335 59127 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56065757 19521036288 594312 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
Current children cumulated CPU time: 3467.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2377248 KiB

[startup+3522.3 s]
/proc/loadavg: 3.15 3.65 3.98 4/306 60595
/proc/meminfo: memFree=91983812/131382112 swapFree=33010160/33010684
[pid=60335] ppid=60332 vsize=19063512 memory=2377248 CPUtime=3527.23 cores=4,6
/proc/60335/stat : 60335 (java) S 60332 60335 59127 0 -1 4194304 102469 0 0 0 352513 210 0 0 20 0 20 0 56065677 19521036288 594312 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
/proc/60335/statm: 4765878 594312 5576 1 0 710596 0
[pid=60335/tid=60337] ppid=60332 vsize=19063512 memory=14560 CPUtime=3502.06 cores=4,6
/proc/60335/task/60337/stat : 60337 (java) R 60332 60335 59127 0 -1 4194368 44205 0 0 0 350194 12 0 0 20 0 20 0 56065679 19521036288 594312 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
[pid=60335/tid=60346] ppid=60332 vsize=19063512 memory=2377248 CPUtime=0 cores=4,6
/proc/60335/task/60346/stat : 60346 (Finalizer) S 60332 60335 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56065684 19521036288 594312 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
[pid=60335/tid=60353] ppid=60332 vsize=19063512 memory=-6000919498510003305 CPUtime=0 cores=4,6
/proc/60335/task/60353/stat : 60353 (Common-Cleaner) S 60332 60335 59127 0 -1 4194368 1130 0 0 0 0 0 0 0 20 0 20 0 56065685 19521036288 594312 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
[pid=60335/tid=60354] ppid=60332 vsize=19063512 memory=2377248 CPUtime=0 cores=4,6
/proc/60335/task/60354/stat : 60354 (Timer-0) S 60332 60335 59127 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56065757 19521036288 594312 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
Current children cumulated CPU time: 3527.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2377248 KiB

[startup+3582.3 s]
/proc/loadavg: 2.08 3.26 3.83 2/255 60665
/proc/meminfo: memFree=117462940/131382112 swapFree=33010160/33010684
[pid=60335] ppid=60332 vsize=19063512 memory=2377248 CPUtime=3587.27 cores=4,6
/proc/60335/stat : 60335 (java) S 60332 60335 59127 0 -1 4194304 102926 0 0 0 358515 212 0 0 20 0 20 0 56065677 19521036288 594312 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
/proc/60335/statm: 4765878 594312 5576 1 0 710596 0
[pid=60335/tid=60337] ppid=60332 vsize=19063512 memory=2377248 CPUtime=3561.78 cores=4,6
/proc/60335/task/60337/stat : 60337 (java) R 60332 60335 59127 0 -1 4194368 44592 0 0 0 356166 12 0 0 20 0 20 0 56065679 19521036288 594312 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
[pid=60335/tid=60346] ppid=60332 vsize=19063512 memory=2377248 CPUtime=0 cores=4,6
/proc/60335/task/60346/stat : 60346 (Finalizer) S 60332 60335 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56065684 19521036288 594312 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
[pid=60335/tid=60353] ppid=60332 vsize=19063512 memory=2377248 CPUtime=0 cores=4,6
/proc/60335/task/60353/stat : 60353 (Common-Cleaner) S 60332 60335 59127 0 -1 4194368 1130 0 0 0 0 0 0 0 20 0 20 0 56065685 19521036288 594312 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
[pid=60335/tid=60354] ppid=60332 vsize=19063512 memory=14560 CPUtime=0 cores=4,6
/proc/60335/task/60354/stat : 60354 (Timer-0) S 60332 60335 59127 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56065757 19521036288 594312 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
Current children cumulated CPU time: 3587.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2377248 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3595.11 s]
/proc/loadavg: 1.91 3.19 3.80 2/255 60665
/proc/meminfo: memFree=117463192/131382112 swapFree=33010160/33010684
[pid=60335] ppid=60332 vsize=19063512 memory=2377248 CPUtime=3600.06 cores=4,6
/proc/60335/stat : 60335 (java) S 60332 60335 59127 0 -1 4194304 103024 0 0 0 359794 212 0 0 20 0 20 0 56065677 19521036288 594312 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
/proc/60335/statm: 4765878 594312 5576 1 0 710596 0
[pid=60335/tid=60337] ppid=60332 vsize=19063512 memory=2377248 CPUtime=3574.56 cores=4,6
/proc/60335/task/60337/stat : 60337 (java) R 60332 60335 59127 0 -1 4194368 44690 0 0 0 357444 12 0 0 20 0 20 0 56065679 19521036288 594312 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
[pid=60335/tid=60346] ppid=60332 vsize=19063512 memory=2377248 CPUtime=0 cores=4,6
/proc/60335/task/60346/stat : 60346 (Finalizer) S 60332 60335 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 56065684 19521036288 594312 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
[pid=60335/tid=60353] ppid=60332 vsize=19063512 memory=-6000919498510003305 CPUtime=0 cores=4,6
/proc/60335/task/60353/stat : 60353 (Common-Cleaner) S 60332 60335 59127 0 -1 4194368 1130 0 0 0 0 0 0 0 20 0 20 0 56065685 19521036288 594312 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
[pid=60335/tid=60354] ppid=60332 vsize=19063512 memory=-6000919498510003305 CPUtime=0 cores=4,6
/proc/60335/task/60354/stat : 60354 (Timer-0) S 60332 60335 59127 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 56065757 19521036288 594312 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2377248 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.16 s, system=2.1494 s

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

[startup+3595.21 s]
/proc/loadavg: 1.91 3.19 3.80 2/255 60665
/proc/meminfo: memFree=117463192/131382112 swapFree=33010160/33010684
[pid=60335] ppid=60332 vsize=19263204 memory=2377888 CPUtime=3600.19 cores=4,6
/proc/60335/stat : 60335 (java) S 60332 60335 59127 0 -1 4194304 105043 0 0 0 359807 212 0 0 20 0 21 0 56065677 19725520896 594472 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
/proc/60335/statm: 4815801 594472 5576 1 0 711520 0
[pid=60335/tid=60337] ppid=60332 vsize=19263204 memory=2377248 CPUtime=3574.59 cores=4,6
/proc/60335/task/60337/stat : 60337 (java) S 60332 60335 59127 0 -1 4194368 44832 0 0 0 357447 12 0 0 20 0 21 0 56065679 19725520896 594472 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
[pid=60335/tid=60346] ppid=60332 vsize=19263204 memory=1920 CPUtime=0 cores=4,6
/proc/60335/task/60346/stat : 60346 (Finalizer) S 60332 60335 59127 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 56065684 19725520896 594472 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
[pid=60335/tid=60353] ppid=60332 vsize=19263204 memory=-6000919498510003305 CPUtime=0 cores=4,6
/proc/60335/task/60353/stat : 60353 (Common-Cleaner) S 60332 60335 59127 0 -1 4194368 1130 0 0 0 0 0 0 0 20 0 21 0 56065685 19725520896 594472 18446744073709551615 94172299173888 94172299177584 140735996886592 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94172299185400 94172299186192 94172302393344 140735996889473 140735996889574 140735996889574 140735996895176 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2377888 KiB

[startup+3595.3 s]*
/proc/loadavg: 1.91 3.19 3.80 2/237 60668
/proc/meminfo: memFree=119715612/131382112 swapFree=33010160/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3595.33
CPU time (s): 3600.31
CPU user time (s): 3598.16
CPU system time (s): 2.1494
CPU usage (%): 100.138
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2377888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.16
system time used= 2.1494
maximum resident set size= 2378016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105192
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111778
involuntary context switches= 5006


# summary of solver processes directly reported to runsolver:
#   pid: 60335
#   total CPU time (s): 3600.31
#   total CPU user time (s): 3598.16
#   total CPU system time (s): 2.1494

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.0648 second user time and 34.0908 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2025-07-01 23:04:19
IDJOB=4498990
IDBENCH=148768
IDSOLVER=3363
FILE ID=nodeC009/4498990-1751403859
RUNJOBID= nodeC009-1751396661-59138
SLURM_JOB_ID= 9598271
Free space on /tmp= 432468 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx97.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4498990-1751403859/watcher-4498990-1751403859 -o /tmp/evaluation-result-4498990-1751403859/solver-4498990-1751403859 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1751396661-59138 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4498990-1751403859.opb

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

MD5SUM BENCH= b17790bf3951ca85a67cd8038da17b4d
RANDOM SEED=458157190

nodeC009 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		: 3658.186
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.85
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		: 3491.794
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.85
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.244
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.85
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.438
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.85
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.233
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.85
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		: 1595.973
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.85
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.448
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.85
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		: 1596.313
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.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        105654384 kB
MemAvailable:   115883112 kB
Buffers:            2144 kB
Cached:         10981368 kB
SwapCached:           24 kB
Active:         14410976 kB
Inactive:       10631208 kB
Active(anon):   14071552 kB
Inactive(anon):     5056 kB
Active(file):     339424 kB
Inactive(file): 10626152 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            189668 kB
Writeback:             0 kB
AnonPages:      14061776 kB
Mapped:           123320 kB
Shmem:             17936 kB
KReclaimable:     205176 kB
Slab:             290608 kB
SReclaimable:     205176 kB
SUnreclaim:        85432 kB
KernelStack:        4944 kB
PageTables:        31168 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   33180412 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150232 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  13842432 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:      172872 kB
DirectMap2M:     9166848 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432656 MiB
End job on nodeC009 at 2025-07-02 00:04:15