Trace number 4513086

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size160-round22-1.opb
MD5SUM1c3bde2857450970636e675d32ef1343
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark595.932
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4128
Total number of constraints8736
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)448
Number of constraints which are nor clauses,nor cardinality constraints864
Minimum length of a constraint1
Maximum length of a constraint10
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 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.07	c version PB25.v20250606
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c Expensive reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4513086-1751212013.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c  no objective function found
0.32/0.29	c ... done. Wall clock time 0.162s.
0.32/0.29	c declared #vars     4128
0.32/0.30	c #constraints  10048
0.32/0.30	c constraints type 
0.32/0.30	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 134
0.32/0.30	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1722
0.32/0.30	c org.sat4j.specs.Constr$1 => 936
0.32/0.30	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6720
0.32/0.30	c org.sat4j.pb.constraints.pb.UnitClausePB => 536
0.32/0.30	c 10048 constraints processed.
1.67/0.96	c cleaning 2495 clauses out of 4998 with flag 16324/5000
2.27/1.36	c cleaning 4236 clauses out of 8506 with flag 38577/11003
3.03/1.87	c cleaning 5631 clauses out of 11267 with flag 65411/18000
3.75/2.47	c cleaning 6803 clauses out of 13636 with flag 99131/26000
4.46/3.13	c cleaning 7899 clauses out of 15834 with flag 139451/35001
5.17/3.86	c cleaning 8957 clauses out of 17934 with flag 184645/45000
6.02/4.68	c cleaning 9970 clauses out of 19978 with flag 236332/56001
7.03/5.61	c cleaning 10975 clauses out of 22008 with flag 297036/68001
8.03/6.66	c cleaning 12011 clauses out of 24032 with flag 362549/81000
9.23/7.83	c cleaning 13002 clauses out of 26021 with flag 434880/95000
10.44/9.04	c cleaning 14003 clauses out of 28020 with flag 511781/110001
11.64/10.28	c cleaning 14986 clauses out of 30018 with flag 596645/126002
13.06/11.66	c cleaning 16002 clauses out of 32032 with flag 687244/143002
14.58/13.13	c cleaning 16993 clauses out of 34028 with flag 786778/161000
16.17/14.75	c cleaning 18007 clauses out of 36035 with flag 891254/180000
17.87/16.48	c cleaning 19004 clauses out of 38028 with flag 1003485/200000
19.76/18.32	c cleaning 20006 clauses out of 40025 with flag 1122600/221001
21.76/20.33	c cleaning 21004 clauses out of 42019 with flag 1246274/243001
23.97/22.54	c cleaning 21969 clauses out of 44014 with flag 1377818/266000
26.36/24.92	c cleaning 22967 clauses out of 46045 with flag 1513728/290000
28.86/27.43	c cleaning 23984 clauses out of 48078 with flag 1659831/315000
31.46/30.04	c cleaning 25033 clauses out of 50094 with flag 1811669/341000
34.24/32.81	c cleaning 26000 clauses out of 52061 with flag 1970737/368000
37.14/35.70	c cleaning 27006 clauses out of 54061 with flag 2139478/396000
40.26/38.82	c cleaning 28004 clauses out of 56055 with flag 2308798/425000
43.56/42.12	c cleaning 28957 clauses out of 58051 with flag 2486929/455000
47.04/45.66	c cleaning 30026 clauses out of 60096 with flag 2671397/486002
50.74/49.36	c cleaning 30970 clauses out of 62068 with flag 2862043/518000
54.77/53.32	c cleaning 32028 clauses out of 64098 with flag 3060906/551000
58.86/57.45	c cleaning 32999 clauses out of 66070 with flag 3261103/585000
63.15/61.75	c cleaning 34027 clauses out of 68071 with flag 3470659/620000
67.74/66.31	c cleaning 35011 clauses out of 70045 with flag 3682337/656001
72.47/71.01	c cleaning 35988 clauses out of 72033 with flag 3906733/693000
77.35/75.90	c cleaning 37009 clauses out of 74045 with flag 4138006/731000
82.45/81.02	c cleaning 37987 clauses out of 76036 with flag 4372007/770000
87.83/86.43	c cleaning 39010 clauses out of 78049 with flag 4616756/810000
93.35/91.96	c cleaning 40015 clauses out of 80040 with flag 4864891/851001
99.14/97.75	c cleaning 41004 clauses out of 82024 with flag 5119050/893000
105.02/103.60	c cleaning 41950 clauses out of 84020 with flag 5381177/936000
111.34/109.96	c cleaning 43020 clauses out of 86070 with flag 5650511/980000
117.93/116.53	c cleaning 44015 clauses out of 88050 with flag 5924241/1025000
124.71/123.31	c cleaning 45010 clauses out of 90035 with flag 6205266/1071000
131.82/130.40	c cleaning 45989 clauses out of 92025 with flag 6492078/1118000
139.01/137.62	c cleaning 46999 clauses out of 94036 with flag 6789559/1166000
146.40/145.09	c cleaning 48014 clauses out of 96038 with flag 7091028/1215001
154.30/152.90	c cleaning 49000 clauses out of 98023 with flag 7401052/1265000
162.28/160.96	c cleaning 50000 clauses out of 100023 with flag 7718310/1316000
170.82/169.40	c cleaning 50997 clauses out of 102023 with flag 8034677/1368000
179.30/178.00	c cleaning 51989 clauses out of 104027 with flag 8356196/1421001
188.28/186.95	c cleaning 53019 clauses out of 106038 with flag 8696361/1475001
197.28/195.97	c cleaning 53978 clauses out of 108019 with flag 9039350/1530001
206.66/205.36	c cleaning 55007 clauses out of 110040 with flag 9386456/1586000
216.17/214.89	c cleaning 55973 clauses out of 112035 with flag 9742808/1643002
225.95/224.69	c cleaning 57027 clauses out of 114060 with flag 10104273/1701000
236.34/235.07	c cleaning 58005 clauses out of 116033 with flag 10468052/1760000
247.15/245.86	c cleaning 59006 clauses out of 118029 with flag 10844460/1820001
258.02/256.76	c cleaning 59997 clauses out of 120024 with flag 11224562/1881002
269.41/268.16	c cleaning 61006 clauses out of 122025 with flag 11604449/1943000
280.87/279.68	c cleaning 61986 clauses out of 124022 with flag 11992310/2006003
292.89/291.65	c cleaning 63000 clauses out of 126033 with flag 12387373/2070000
305.16/303.96	c cleaning 63987 clauses out of 128034 with flag 12788496/2135001
317.74/316.52	c cleaning 65009 clauses out of 130046 with flag 13197266/2201000
330.61/329.44	c cleaning 65998 clauses out of 132037 with flag 13610778/2268000
343.92/342.71	c cleaning 67001 clauses out of 134039 with flag 14028553/2336000
357.69/356.54	c cleaning 67982 clauses out of 136038 with flag 14448894/2405000
371.56/370.48	c cleaning 69010 clauses out of 138056 with flag 14880476/2475000
386.24/385.13	c cleaning 70009 clauses out of 140047 with flag 15318311/2546001
400.95/399.81	c cleaning 70973 clauses out of 142037 with flag 15759109/2618000
415.92/414.81	c cleaning 71987 clauses out of 144065 with flag 16205139/2691001
431.19/430.14	c cleaning 73031 clauses out of 146079 with flag 16662588/2765002
446.85/445.81	c cleaning 73979 clauses out of 148046 with flag 17125345/2840000
463.02/462.07	c cleaning 75025 clauses out of 150067 with flag 17590720/2916000
479.53/478.51	c cleaning 76005 clauses out of 152042 with flag 18060258/2993000
496.28/495.36	c cleaning 77000 clauses out of 154037 with flag 18541399/3071000
513.44/512.53	c cleaning 77989 clauses out of 156040 with flag 19029436/3150003
531.40/530.55	c cleaning 78969 clauses out of 158049 with flag 19522426/3230001
549.55/548.78	c cleaning 80025 clauses out of 160079 with flag 20023389/3311000
568.30/567.50	c cleaning 80985 clauses out of 162055 with flag 20524575/3393001
587.39/586.63	c cleaning 82021 clauses out of 164070 with flag 21028812/3476001
607.06/606.31	c cleaning 83000 clauses out of 166048 with flag 21543401/3560000
626.79/626.14	c cleaning 84018 clauses out of 168048 with flag 22064649/3645000
647.24/646.69	c cleaning 85000 clauses out of 170030 with flag 22590367/3731000
667.99/667.44	c cleaning 85935 clauses out of 172030 with flag 23120840/3818000
689.23/688.76	c cleaning 87040 clauses out of 174095 with flag 23660419/3906000
710.93/710.45	c cleaning 88028 clauses out of 176055 with flag 24200427/3995000
732.97/732.54	c cleaning 88972 clauses out of 178027 with flag 24750608/4085000
755.22/754.86	c cleaning 90006 clauses out of 180055 with flag 25306539/4176000
777.76/777.47	c cleaning 91008 clauses out of 182049 with flag 25872452/4268000
801.81/801.52	c cleaning 92003 clauses out of 184042 with flag 26437051/4361001
826.15/825.97	c cleaning 92999 clauses out of 186038 with flag 27007988/4455000
850.75/850.52	c cleaning 94015 clauses out of 188039 with flag 27590807/4550000
875.89/875.70	c cleaning 94964 clauses out of 190026 with flag 28176686/4646002
901.03/900.92	c cleaning 95995 clauses out of 192060 with flag 28764758/4743000
926.76/926.78	c cleaning 96995 clauses out of 194065 with flag 29362773/4841000
953.40/953.47	c cleaning 98012 clauses out of 196070 with flag 29958252/4940000
980.43/980.53	c cleaning 99010 clauses out of 198058 with flag 30562700/5040000
1008.00/1008.01	c cleaning 100018 clauses out of 200049 with flag 31175632/5141001
1035.65/1035.74	c cleaning 100979 clauses out of 202030 with flag 31793715/5243000
1063.48/1063.66	c cleaning 101996 clauses out of 204051 with flag 32416761/5346000
1092.23/1092.41	c cleaning 103024 clauses out of 206056 with flag 33046453/5450001
1121.77/1122.05	c cleaning 103989 clauses out of 208032 with flag 33676370/5555001
1151.80/1152.08	c cleaning 105005 clauses out of 210042 with flag 34313184/5661000
1182.03/1182.36	c cleaning 106004 clauses out of 212038 with flag 34960158/5768001
1212.76/1213.11	c cleaning 107017 clauses out of 214033 with flag 35610676/5876000
1243.79/1244.24	c cleaning 107942 clauses out of 216016 with flag 36272053/5985000
1275.63/1276.12	c cleaning 109014 clauses out of 218074 with flag 36934675/6095000
1307.85/1308.41	c cleaning 109986 clauses out of 220061 with flag 37612251/6206001
1341.32/1341.69	c cleaning 111024 clauses out of 222074 with flag 38292359/6318000
1374.85/1375.25	c cleaning 112017 clauses out of 224050 with flag 38975939/6431000
1408.77/1409.27	c cleaning 112992 clauses out of 226033 with flag 39666748/6545000
1443.70/1444.21	c cleaning 113992 clauses out of 228042 with flag 40358710/6660001
1478.73/1479.30	c cleaning 114968 clauses out of 230049 with flag 41064725/6776000
1514.05/1514.71	c cleaning 115998 clauses out of 232081 with flag 41773571/6893000
1550.76/1551.42	c cleaning 116995 clauses out of 234083 with flag 42491084/7011000
1587.49/1588.20	c cleaning 117995 clauses out of 236088 with flag 43211507/7130000
1624.91/1625.73	c cleaning 119021 clauses out of 238094 with flag 43937741/7250001
1662.82/1663.71	c cleaning 120018 clauses out of 240073 with flag 44670719/7371001
1701.04/1702.03	c cleaning 121006 clauses out of 242054 with flag 45406365/7493000
1739.84/1740.97	c cleaning 121977 clauses out of 244049 with flag 46152357/7616001
1779.76/1780.93	c cleaning 123017 clauses out of 246072 with flag 46899180/7740001
1820.74/1821.91	c cleaning 124014 clauses out of 248055 with flag 47656955/7865001
1862.05/1863.33	c cleaning 125003 clauses out of 250040 with flag 48412288/7991000
1904.26/1905.66	c cleaning 125950 clauses out of 252038 with flag 49177970/8118001
1946.67/1948.14	c cleaning 126977 clauses out of 254087 with flag 49940604/8246000
1990.47/1992.08	c cleaning 128038 clauses out of 256110 with flag 50711418/8375000
2033.87/2035.58	c cleaning 128981 clauses out of 258073 with flag 51494101/8505001
2078.18/2079.99	c cleaning 130032 clauses out of 260091 with flag 52279274/8636000
2122.86/2124.66	c cleaning 130992 clauses out of 262059 with flag 53064220/8768000
2168.04/2169.90	c cleaning 132004 clauses out of 264067 with flag 53864280/8901000
2213.62/2215.67	c cleaning 133013 clauses out of 266066 with flag 54667669/9035003
2260.61/2262.71	c cleaning 134007 clauses out of 268050 with flag 55473815/9170000
2307.88/2310.14	c cleaning 134988 clauses out of 270045 with flag 56286531/9306002
2355.96/2358.38	c cleaning 136019 clauses out of 272056 with flag 57101635/9443001
2404.64/2407.17	c cleaning 136983 clauses out of 274036 with flag 57927539/9581000
2453.81/2456.34	c cleaning 137988 clauses out of 276055 with flag 58752870/9720002
2503.61/2506.20	c cleaning 139017 clauses out of 278065 with flag 59585089/9860000
2554.41/2557.13	c cleaning 139984 clauses out of 280048 with flag 60429924/10001000
2605.48/2608.32	c cleaning 141000 clauses out of 282065 with flag 61276765/10143001
2657.08/2660.03	c cleaning 141964 clauses out of 284065 with flag 62140867/10286001
2709.54/2712.66	c cleaning 143033 clauses out of 286101 with flag 63005559/10430001
2763.51/2766.74	c cleaning 144030 clauses out of 288068 with flag 63868107/10575001
2817.10/2820.32	c cleaning 144964 clauses out of 290037 with flag 64737726/10721000
2871.47/2874.81	c cleaning 146017 clauses out of 292074 with flag 65616975/10868001
2926.53/2930.06	c cleaning 147024 clauses out of 294056 with flag 66497949/11016000
2982.48/2986.12	c cleaning 148000 clauses out of 296033 with flag 67379273/11165001
3039.63/3043.46	c cleaning 149003 clauses out of 298032 with flag 68273797/11315000
3097.59/3101.53	c cleaning 149986 clauses out of 300030 with flag 69170129/11466001
3156.24/3160.36	c cleaning 150992 clauses out of 302043 with flag 70077214/11618000
3215.14/3219.27	c cleaning 151998 clauses out of 304052 with flag 70990688/11771001
3274.32/3278.50	c cleaning 153000 clauses out of 306056 with flag 71911098/11925003
3334.68/3339.08	c cleaning 153998 clauses out of 308056 with flag 72834811/12080003
3396.25/3400.73	c cleaning 155007 clauses out of 310055 with flag 73758862/12236000
3457.99/3462.66	c cleaning 155964 clauses out of 312048 with flag 74691986/12393000
3520.93/3525.70	c cleaning 157003 clauses out of 314084 with flag 75628904/12551000
3584.18/3589.14	c cleaning 158034 clauses out of 316082 with flag 76577596/12710001
3600.03/3605.01	c starts		: 113377
3600.03/3605.02	c conflicts		: 12760709
3600.03/3605.02	c decisions		: 104319732
3600.03/3605.02	c propagations		: 1615714264
3600.03/3605.02	c inspects		: 38624909201
3600.03/3605.02	c shortcuts		: 0
3600.03/3605.02	c learnt literals	: 2
3600.03/3605.02	c learnt binary clauses	: 81
3600.03/3605.02	c learnt ternary clauses	: 1112
3600.03/3605.02	c learnt constraints	: 12760707
3600.03/3605.02	c ignored constraints	: 0
3600.03/3605.02	c root simplifications	: 0
3600.03/3605.02	c removed literals (reason simplification)	: 13019245
3600.03/3605.02	c reason swapping (by a shorter reason)	: 0
3600.03/3605.02	c Calls to reduceDB	: 155
3600.03/3605.02	c Number of update (reduction) of LBD	: 2711697
3600.03/3605.02	c Imported unit clauses	: 0
3600.03/3605.02	c No decision after first conflict	: false
3600.03/3605.02	c number of reductions to clauses (during analyze)	: 0
3600.03/3605.02	c number of learned constraints concerned by reduction	: 0
3600.03/3605.02	c number of learning phase by resolution	: 0
3600.03/3605.02	c number of learning phase by cutting planes	: 0
3600.03/3605.02	c number of rounding to 1 operations	: 0
3600.03/3605.02	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3605.02	c number of reductions of the coefficients by power 2 	: 0
3600.03/3605.02	c number of right shift for reduction by power 2 	: 0
3600.03/3605.02	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3605.02	c number of ending skipping 	: 0
3600.03/3605.02	c number of internal skipping 	: 0
3600.03/3605.02	c number of derivation steps 	: 0
3600.03/3605.02	c number of skipped derivation steps 	: 0
3600.03/3605.02	c number of remaining unassigned 	: 0
3600.03/3605.02	c number of remaining assigned 	: 0
3600.03/3605.02	c number of falsified literals weakened from reason	: 0
3600.03/3605.02	c number of falsified literals weakened from conflict	: 0
3600.03/3605.02	c time for arithmetic operations	: 0
3600.03/3605.02	c minimum degree of deleted constraints	: null
3600.03/3605.02	c maximum degree of deleted constraints	: null
3600.03/3605.02	c number of deleted constraints	: 0
3600.03/3605.02	c speed (assignments/second)	: 448222.8438776801
3600.03/3605.02	c non guided choices	: 29779
3600.03/3605.04	c timeout
3600.03/3605.08	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 208675
3600.03/3605.08	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 81
3600.03/3605.08	s UNKNOWN
3600.03/3605.08	c Total wall clock time (in seconds): 3604.955

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (60936 MiB free)
  memory of node 1: 64507 MiB (61443 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4513086-1751212013/watcher-4513086-1751212013 -o /tmp/evaluation-result-4513086-1751212013/solver-4513086-1751212013 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751208407-26871 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4513086-1751212013.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=27364, runsolver pid=27353
Current StackSize limit: 8192 KiB


[startup+0.100057 s]*
/proc/loadavg: 4.08 4.09 4.03 8/315 27393
/proc/meminfo: memFree=127390316/131249996 swapFree=33010684/33010684
[pid=27364] ppid=27353 vsize=18930384 memory=57820 CPUtime=0.13 cores=4,6
/proc/27364/stat : 27364 (java) S 27353 27364 26860 0 -1 4194304 6599 0 0 0 11 2 0 0 20 0 18 0 36879077 19384713216 14455 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
/proc/27364/statm: 4732596 14455 5340 1 0 547640 0
[pid=27364/tid=27375] ppid=27353 vsize=18930384 memory=4026532124 CPUtime=0.08 cores=4,6
/proc/27364/task/27375/stat : 27375 (java) R 27353 27364 26860 0 -1 4194368 5094 0 0 0 7 1 0 0 20 0 18 0 36879078 19384713216 14455 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
[pid=27364/tid=27386] ppid=27353 vsize=18930384 memory=16880 CPUtime=0 cores=4,6
/proc/27364/task/27386/stat : 27386 (Finalizer) S 27353 27364 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 36879080 19384713216 14455 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
[pid=27364/tid=27393] ppid=27353 vsize=18930384 memory=59585004307431 CPUtime=0 cores=4,6
/proc/27364/task/27393/stat : 27393 (Common-Cleaner) S 27353 27364 26860 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 36879080 19384713216 14455 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57820 KiB

[startup+0.205776 s]*
/proc/loadavg: 4.08 4.09 4.03 9/313 27401
/proc/meminfo: memFree=127378372/131249996 swapFree=33010684/33010684
[pid=27364] ppid=27353 vsize=18930384 memory=66628 CPUtime=0.32 cores=4,6
/proc/27364/stat : 27364 (java) S 27353 27364 26860 0 -1 4194304 7152 0 0 0 30 2 0 0 20 0 18 0 36879077 19384713216 16657 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
/proc/27364/statm: 4732596 16657 5436 1 0 548031 0
[pid=27364/tid=27375] ppid=27353 vsize=18930384 memory=4026597495 CPUtime=0.17 cores=4,6
/proc/27364/task/27375/stat : 27375 (java) R 27353 27364 26860 0 -1 4194368 5263 0 0 0 16 1 0 0 20 0 18 0 36879078 19384713216 16657 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
[pid=27364/tid=27386] ppid=27353 vsize=18930384 memory=215637835981 CPUtime=0 cores=4,6
/proc/27364/task/27386/stat : 27386 (Finalizer) S 27353 27364 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 36879080 19384713216 16657 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
[pid=27364/tid=27393] ppid=27353 vsize=18930384 memory=32749 CPUtime=0 cores=4,6
/proc/27364/task/27393/stat : 27393 (Common-Cleaner) S 27353 27364 26860 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 36879080 19384713216 16657 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 66628 KiB

[startup+0.305842 s]*
/proc/loadavg: 4.08 4.09 4.03 8/314 27402
/proc/meminfo: memFree=127328592/131249996 swapFree=33010684/33010684
[pid=27364] ppid=27353 vsize=18930384 memory=93228 CPUtime=0.52 cores=4,6
/proc/27364/stat : 27364 (java) S 27353 27364 26860 0 -1 4194304 8626 0 0 0 48 4 0 0 20 0 18 0 36879077 19384713216 23307 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
/proc/27364/statm: 4732596 23307 5436 1 0 548999 0
[pid=27364/tid=27375] ppid=27353 vsize=18930384 memory=-6000919507032499821 CPUtime=0.24 cores=4,6
/proc/27364/task/27375/stat : 27375 (java) R 27353 27364 26860 0 -1 4194368 5319 0 0 0 22 2 0 0 20 0 18 0 36879078 19384713216 23307 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
[pid=27364/tid=27386] ppid=27353 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/27364/task/27386/stat : 27386 (Finalizer) S 27353 27364 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 36879080 19384713216 23307 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
[pid=27364/tid=27393] ppid=27353 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/27364/task/27393/stat : 27393 (Common-Cleaner) S 27353 27364 26860 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 36879080 19384713216 23307 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 93228 KiB

[startup+0.700234 s]
/proc/loadavg: 4.08 4.09 4.03 6/315 27405
/proc/meminfo: memFree=127292492/131249996 swapFree=33010684/33010684
[pid=27364] ppid=27353 vsize=18996948 memory=106476 CPUtime=1.27 cores=4,6
/proc/27364/stat : 27364 (java) S 27353 27364 26860 0 -1 4194304 14064 0 0 0 122 5 0 0 20 0 19 0 36879077 19452874752 26619 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
/proc/27364/statm: 4749237 26619 5436 1 0 552028 0
[pid=27364/tid=27375] ppid=27353 vsize=18996948 memory=17408 CPUtime=0.6 cores=4,6
/proc/27364/task/27375/stat : 27375 (java) R 27353 27364 26860 0 -1 4194368 5350 0 0 0 58 2 0 0 20 0 19 0 36879078 19452874752 26619 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
[pid=27364/tid=27386] ppid=27353 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/27364/task/27386/stat : 27386 (Finalizer) S 27353 27364 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 36879080 19452874752 26619 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
[pid=27364/tid=27393] ppid=27353 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/27364/task/27393/stat : 27393 (Common-Cleaner) S 27353 27364 26860 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 36879080 19452874752 26619 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
[pid=27364/tid=27403] ppid=27353 vsize=18996948 memory=4764 CPUtime=0 cores=4,6
/proc/27364/task/27403/stat : 27403 (Timer-0) S 27353 27364 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 36879108 19452874752 26619 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 106476 KiB

[startup+1.50025 s]
/proc/loadavg: 4.08 4.09 4.03 8/336 27457
/proc/meminfo: memFree=127270044/131249996 swapFree=33010684/33010684
[pid=27364] ppid=27353 vsize=18996948 memory=117928 CPUtime=2.67 cores=4,6
/proc/27364/stat : 27364 (java) S 27353 27364 26860 0 -1 4194304 21440 0 0 0 260 7 0 0 20 0 19 0 36879077 19452874752 29482 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
/proc/27364/statm: 4749237 29482 5436 1 0 553299 0
[pid=27364/tid=27375] ppid=27353 vsize=18996948 memory=10752 CPUtime=1.39 cores=4,6
/proc/27364/task/27375/stat : 27375 (java) R 27353 27364 26860 0 -1 4194368 5696 0 0 0 136 3 0 0 20 0 19 0 36879078 19452874752 29482 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
[pid=27364/tid=27386] ppid=27353 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/27364/task/27386/stat : 27386 (Finalizer) S 27353 27364 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 36879080 19452874752 29482 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
[pid=27364/tid=27393] ppid=27353 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/27364/task/27393/stat : 27393 (Common-Cleaner) S 27353 27364 26860 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 36879080 19452874752 29482 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
[pid=27364/tid=27403] ppid=27353 vsize=18996948 memory=4764 CPUtime=0 cores=4,6
/proc/27364/task/27403/stat : 27403 (Timer-0) S 27353 27364 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 36879108 19452874752 29482 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
Current children cumulated CPU time: 2.67 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 117928 KiB

[startup+3.10569 s]
/proc/loadavg: 4.08 4.09 4.03 6/337 27458
/proc/meminfo: memFree=127147460/131249996 swapFree=33010684/33010684
[pid=27364] ppid=27353 vsize=18996948 memory=130992 CPUtime=4.46 cores=4,6
/proc/27364/stat : 27364 (java) S 27353 27364 26860 0 -1 4194304 22320 0 0 0 439 7 0 0 20 0 19 0 36879077 19452874752 32748 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
/proc/27364/statm: 4749237 32748 5436 1 0 553457 0
[pid=27364/tid=27375] ppid=27353 vsize=18996948 memory=-6000919494181479789 CPUtime=2.99 cores=4,6
/proc/27364/task/27375/stat : 27375 (java) R 27353 27364 26860 0 -1 4194368 6008 0 0 0 296 3 0 0 20 0 19 0 36879078 19452874752 32748 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
[pid=27364/tid=27386] ppid=27353 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/27364/task/27386/stat : 27386 (Finalizer) S 27353 27364 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 36879080 19452874752 32748 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
[pid=27364/tid=27393] ppid=27353 vsize=18996948 memory=10752 CPUtime=0 cores=4,6
/proc/27364/task/27393/stat : 27393 (Common-Cleaner) S 27353 27364 26860 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 36879080 19452874752 32748 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
[pid=27364/tid=27403] ppid=27353 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/27364/task/27403/stat : 27403 (Timer-0) S 27353 27364 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 36879108 19452874752 32748 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
Current children cumulated CPU time: 4.46 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 130992 KiB

[startup+6.30021 s]
/proc/loadavg: 4.16 4.11 4.04 5/337 27458
/proc/meminfo: memFree=127086340/131249996 swapFree=33010684/33010684
[pid=27364] ppid=27353 vsize=18996948 memory=145736 CPUtime=7.73 cores=4,6
/proc/27364/stat : 27364 (java) S 27353 27364 26860 0 -1 4194304 22497 0 0 0 765 8 0 0 20 0 19 0 36879077 19452874752 36434 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
/proc/27364/statm: 4749237 36434 5468 1 0 553457 0
[pid=27364/tid=27375] ppid=27353 vsize=18996948 memory=10752 CPUtime=6.17 cores=4,6
/proc/27364/task/27375/stat : 27375 (java) R 27353 27364 26860 0 -1 4194368 6117 0 0 0 614 3 0 0 20 0 19 0 36879078 19452874752 36434 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
[pid=27364/tid=27386] ppid=27353 vsize=18996948 memory=3328 CPUtime=0 cores=4,6
/proc/27364/task/27386/stat : 27386 (Finalizer) S 27353 27364 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 36879080 19452874752 36434 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
[pid=27364/tid=27393] ppid=27353 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/27364/task/27393/stat : 27393 (Common-Cleaner) S 27353 27364 26860 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 36879080 19452874752 36434 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
[pid=27364/tid=27403] ppid=27353 vsize=18996948 memory=118568 CPUtime=0 cores=4,6
/proc/27364/task/27403/stat : 27403 (Timer-0) S 27353 27364 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 36879108 19452874752 36434 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
Current children cumulated CPU time: 7.73 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 145736 KiB

[startup+12.7002 s]
/proc/loadavg: 4.23 4.12 4.04 5/340 27461
/proc/meminfo: memFree=126988048/131249996 swapFree=33010684/33010684
[pid=27364] ppid=27353 vsize=19063512 memory=177136 CPUtime=14.18 cores=4,6
/proc/27364/stat : 27364 (java) S 27353 27364 26860 0 -1 4194304 26493 0 0 0 1409 9 0 0 20 0 20 0 36879077 19521036288 44284 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
/proc/27364/statm: 4765878 44284 5532 1 0 553746 0
[pid=27364/tid=27375] ppid=27353 vsize=19063512 memory=118568 CPUtime=12.54 cores=4,6
/proc/27364/task/27375/stat : 27375 (java) R 27353 27364 26860 0 -1 4194368 6821 0 0 0 1250 4 0 0 20 0 20 0 36879078 19521036288 44284 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
[pid=27364/tid=27386] ppid=27353 vsize=19063512 memory=177136 CPUtime=0 cores=4,6
/proc/27364/task/27386/stat : 27386 (Finalizer) S 27353 27364 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36879080 19521036288 44284 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
[pid=27364/tid=27393] ppid=27353 vsize=19063512 memory=14384 CPUtime=0 cores=4,6
/proc/27364/task/27393/stat : 27393 (Common-Cleaner) S 27353 27364 26860 0 -1 4194368 61 0 0 0 0 0 0 0 20 0 20 0 36879080 19521036288 44284 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
[pid=27364/tid=27403] ppid=27353 vsize=19063512 memory=177136 CPUtime=0 cores=4,6
/proc/27364/task/27403/stat : 27403 (Timer-0) S 27353 27364 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36879108 19521036288 44284 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
Current children cumulated CPU time: 14.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 177136 KiB

[startup+25.5002 s]
/proc/loadavg: 4.17 4.12 4.04 5/339 27461
/proc/meminfo: memFree=126979856/131249996 swapFree=33010684/33010684
[pid=27364] ppid=27353 vsize=19063512 memory=183340 CPUtime=26.96 cores=4,6
/proc/27364/stat : 27364 (java) S 27353 27364 26860 0 -1 4194304 28562 0 0 0 2686 10 0 0 20 0 20 0 36879077 19521036288 45835 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
/proc/27364/statm: 4765878 45835 5532 1 0 553746 0
[pid=27364/tid=27375] ppid=27353 vsize=19063512 memory=177136 CPUtime=25.29 cores=4,6
/proc/27364/task/27375/stat : 27375 (java) R 27353 27364 26860 0 -1 4194368 7551 0 0 0 2525 4 0 0 20 0 20 0 36879078 19521036288 45835 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
[pid=27364/tid=27386] ppid=27353 vsize=19063512 memory=-6000919494181479789 CPUtime=0 cores=4,6
/proc/27364/task/27386/stat : 27386 (Finalizer) S 27353 27364 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36879080 19521036288 45835 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
[pid=27364/tid=27393] ppid=27353 vsize=19063512 memory=-6000919494181479789 CPUtime=0 cores=4,6
/proc/27364/task/27393/stat : 27393 (Common-Cleaner) S 27353 27364 26860 0 -1 4194368 61 0 0 0 0 0 0 0 20 0 20 0 36879080 19521036288 45835 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 1 0 0 -1 4 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
[pid=27364/tid=27403] ppid=27353 vsize=19063512 memory=3328 CPUtime=0 cores=4,6
/proc/27364/task/27403/stat : 27403 (Timer-0) S 27353 27364 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36879108 19521036288 45835 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
Current children cumulated CPU time: 26.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 183340 KiB

[startup+51.106 s]
/proc/loadavg: 4.11 4.11 4.04 5/339 27461
/proc/meminfo: memFree=126856756/131249996 swapFree=33010684/33010684
[pid=27364] ppid=27353 vsize=19063512 memory=214368 CPUtime=52.54 cores=4,6
/proc/27364/stat : 27364 (java) S 27353 27364 26860 0 -1 4194304 29600 0 0 0 5243 11 0 0 20 0 20 0 36879077 19521036288 53592 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
/proc/27364/statm: 4765878 53592 5532 1 0 553746 0
[pid=27364/tid=27375] ppid=27353 vsize=19063512 memory=3328 CPUtime=50.81 cores=4,6
/proc/27364/task/27375/stat : 27375 (java) R 27353 27364 26860 0 -1 4194368 7834 0 0 0 5077 4 0 0 20 0 20 0 36879078 19521036288 53592 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
[pid=27364/tid=27386] ppid=27353 vsize=19063512 memory=214368 CPUtime=0 cores=4,6
/proc/27364/task/27386/stat : 27386 (Finalizer) S 27353 27364 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36879080 19521036288 53592 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0

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

/proc/meminfo: memFree=121785632/131249996 swapFree=33010684/33010684
[pid=27364] ppid=27353 vsize=19063512 memory=2082776 CPUtime=3218.23 cores=4,6
/proc/27364/stat : 27364 (java) S 27353 27364 26860 0 -1 4194304 68001 0 0 0 321705 118 0 0 20 0 20 0 36879077 19521036288 520694 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
/proc/27364/statm: 4765878 520694 5532 1 0 555922 0
[pid=27364/tid=27375] ppid=27353 vsize=19063512 memory=10752 CPUtime=3211.84 cores=4,6
/proc/27364/task/27375/stat : 27375 (java) R 27353 27364 26860 0 -1 4194368 26216 0 0 0 321161 23 0 0 20 0 20 0 36879078 19521036288 520694 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
[pid=27364/tid=27386] ppid=27353 vsize=19063512 memory=14384 CPUtime=0 cores=4,6
/proc/27364/task/27386/stat : 27386 (Finalizer) S 27353 27364 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36879080 19521036288 520694 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
[pid=27364/tid=27393] ppid=27353 vsize=19063512 memory=1963968 CPUtime=0 cores=4,6
/proc/27364/task/27393/stat : 27393 (Common-Cleaner) S 27353 27364 26860 0 -1 4194368 860 0 0 0 0 0 0 0 20 0 20 0 36879080 19521036288 520694 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
[pid=27364/tid=27403] ppid=27353 vsize=19063512 memory=2082776 CPUtime=0 cores=4,6
/proc/27364/task/27403/stat : 27403 (Timer-0) S 27353 27364 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36879108 19521036288 520694 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
Current children cumulated CPU time: 3218.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2082776 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/341 27759
/proc/meminfo: memFree=121612612/131249996 swapFree=33010684/33010684
[pid=27364] ppid=27353 vsize=19063512 memory=2082776 CPUtime=3278.11 cores=4,6
/proc/27364/stat : 27364 (java) S 27353 27364 26860 0 -1 4194304 68011 0 0 0 327691 120 0 0 20 0 20 0 36879077 19521036288 520694 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
/proc/27364/statm: 4765878 520694 5532 1 0 555922 0
[pid=27364/tid=27375] ppid=27353 vsize=19063512 memory=2082776 CPUtime=3271.69 cores=4,6
/proc/27364/task/27375/stat : 27375 (java) R 27353 27364 26860 0 -1 4194368 26217 0 0 0 327146 23 0 0 20 0 20 0 36879078 19521036288 520694 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
[pid=27364/tid=27386] ppid=27353 vsize=19063512 memory=2082776 CPUtime=0 cores=4,6
/proc/27364/task/27386/stat : 27386 (Finalizer) S 27353 27364 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36879080 19521036288 520694 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
[pid=27364/tid=27393] ppid=27353 vsize=19063512 memory=2082776 CPUtime=0 cores=4,6
/proc/27364/task/27393/stat : 27393 (Common-Cleaner) S 27353 27364 26860 0 -1 4194368 860 0 0 0 0 0 0 0 20 0 20 0 36879080 19521036288 520694 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
[pid=27364/tid=27403] ppid=27353 vsize=19063512 memory=2082776 CPUtime=0 cores=4,6
/proc/27364/task/27403/stat : 27403 (Timer-0) S 27353 27364 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36879108 19521036288 520694 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
Current children cumulated CPU time: 3278.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2082776 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/338 27767
/proc/meminfo: memFree=121611824/131249996 swapFree=33010684/33010684
[pid=27364] ppid=27353 vsize=19063512 memory=2082776 CPUtime=3337.97 cores=4,6
/proc/27364/stat : 27364 (java) S 27353 27364 26860 0 -1 4194304 68396 0 0 0 333677 120 0 0 20 0 20 0 36879077 19521036288 520694 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
/proc/27364/statm: 4765878 520694 5532 1 0 555922 0
[pid=27364/tid=27375] ppid=27353 vsize=19063512 memory=2082776 CPUtime=3331.53 cores=4,6
/proc/27364/task/27375/stat : 27375 (java) R 27353 27364 26860 0 -1 4194368 26594 0 0 0 333130 23 0 0 20 0 20 0 36879078 19521036288 520694 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
[pid=27364/tid=27386] ppid=27353 vsize=19063512 memory=14384 CPUtime=0 cores=4,6
/proc/27364/task/27386/stat : 27386 (Finalizer) S 27353 27364 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36879080 19521036288 520694 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
[pid=27364/tid=27393] ppid=27353 vsize=19063512 memory=2082776 CPUtime=0 cores=4,6
/proc/27364/task/27393/stat : 27393 (Common-Cleaner) S 27353 27364 26860 0 -1 4194368 860 0 0 0 0 0 0 0 20 0 20 0 36879080 19521036288 520694 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
[pid=27364/tid=27403] ppid=27353 vsize=19063512 memory=2082776 CPUtime=0 cores=4,6
/proc/27364/task/27403/stat : 27403 (Timer-0) S 27353 27364 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36879108 19521036288 520694 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
Current children cumulated CPU time: 3337.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2082776 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/338 27769
/proc/meminfo: memFree=121504184/131249996 swapFree=33010684/33010684
[pid=27364] ppid=27353 vsize=19063512 memory=2082776 CPUtime=3397.84 cores=4,6
/proc/27364/stat : 27364 (java) S 27353 27364 26860 0 -1 4194304 68974 0 0 0 339662 122 0 0 20 0 20 0 36879077 19521036288 520694 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
/proc/27364/statm: 4765878 520694 5532 1 0 555922 0
[pid=27364/tid=27375] ppid=27353 vsize=19063512 memory=2082776 CPUtime=3391.37 cores=4,6
/proc/27364/task/27375/stat : 27375 (java) R 27353 27364 26860 0 -1 4194368 27077 0 0 0 339114 23 0 0 20 0 20 0 36879078 19521036288 520694 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
[pid=27364/tid=27386] ppid=27353 vsize=19063512 memory=2082776 CPUtime=0 cores=4,6
/proc/27364/task/27386/stat : 27386 (Finalizer) S 27353 27364 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36879080 19521036288 520694 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
[pid=27364/tid=27393] ppid=27353 vsize=19063512 memory=14384 CPUtime=0 cores=4,6
/proc/27364/task/27393/stat : 27393 (Common-Cleaner) S 27353 27364 26860 0 -1 4194368 937 0 0 0 0 0 0 0 20 0 20 0 36879080 19521036288 520694 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
[pid=27364/tid=27403] ppid=27353 vsize=19063512 memory=2082776 CPUtime=0 cores=4,6
/proc/27364/task/27403/stat : 27403 (Timer-0) S 27353 27364 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36879108 19521036288 520694 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
Current children cumulated CPU time: 3397.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2082776 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/338 27771
/proc/meminfo: memFree=121504320/131249996 swapFree=33010684/33010684
[pid=27364] ppid=27353 vsize=19063512 memory=2082776 CPUtime=3457.69 cores=4,6
/proc/27364/stat : 27364 (java) S 27353 27364 26860 0 -1 4194304 69426 0 0 0 345646 123 0 0 20 0 20 0 36879077 19521036288 520694 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
/proc/27364/statm: 4765878 520694 5532 1 0 555933 0
[pid=27364/tid=27375] ppid=27353 vsize=19063512 memory=2082776 CPUtime=3451.21 cores=4,6
/proc/27364/task/27375/stat : 27375 (java) R 27353 27364 26860 0 -1 4194368 27435 0 0 0 345097 24 0 0 20 0 20 0 36879078 19521036288 520694 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
[pid=27364/tid=27386] ppid=27353 vsize=19063512 memory=14384 CPUtime=0 cores=4,6
/proc/27364/task/27386/stat : 27386 (Finalizer) S 27353 27364 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36879080 19521036288 520694 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
[pid=27364/tid=27393] ppid=27353 vsize=19063512 memory=10752 CPUtime=0 cores=4,6
/proc/27364/task/27393/stat : 27393 (Common-Cleaner) S 27353 27364 26860 0 -1 4194368 1011 0 0 0 0 0 0 0 20 0 20 0 36879080 19521036288 520694 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
[pid=27364/tid=27403] ppid=27353 vsize=19063512 memory=2082776 CPUtime=0 cores=4,6
/proc/27364/task/27403/stat : 27403 (Timer-0) S 27353 27364 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36879108 19521036288 520694 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
Current children cumulated CPU time: 3457.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2082776 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/338 27773
/proc/meminfo: memFree=121279168/131249996 swapFree=33010684/33010684
[pid=27364] ppid=27353 vsize=19063512 memory=2082776 CPUtime=3517.54 cores=4,6
/proc/27364/stat : 27364 (java) S 27353 27364 26860 0 -1 4194304 69663 0 0 0 351629 125 0 0 20 0 20 0 36879077 19521036288 520694 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
/proc/27364/statm: 4765878 520694 5532 1 0 555933 0
[pid=27364/tid=27375] ppid=27353 vsize=19063512 memory=2082776 CPUtime=3511.03 cores=4,6
/proc/27364/task/27375/stat : 27375 (java) R 27353 27364 26860 0 -1 4194368 27666 0 0 0 351079 24 0 0 20 0 20 0 36879078 19521036288 520694 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
[pid=27364/tid=27386] ppid=27353 vsize=19063512 memory=14384 CPUtime=0 cores=4,6
/proc/27364/task/27386/stat : 27386 (Finalizer) S 27353 27364 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36879080 19521036288 520694 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
[pid=27364/tid=27393] ppid=27353 vsize=19063512 memory=2082776 CPUtime=0 cores=4,6
/proc/27364/task/27393/stat : 27393 (Common-Cleaner) S 27353 27364 26860 0 -1 4194368 1011 0 0 0 0 0 0 0 20 0 20 0 36879080 19521036288 520694 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
[pid=27364/tid=27403] ppid=27353 vsize=19063512 memory=5632 CPUtime=0 cores=4,6
/proc/27364/task/27403/stat : 27403 (Timer-0) S 27353 27364 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36879108 19521036288 520694 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
Current children cumulated CPU time: 3517.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2082776 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/338 27775
/proc/meminfo: memFree=121274952/131249996 swapFree=33010684/33010684
[pid=27364] ppid=27353 vsize=19063512 memory=2082776 CPUtime=3577.38 cores=4,6
/proc/27364/stat : 27364 (java) S 27353 27364 26860 0 -1 4194304 70172 0 0 0 357612 126 0 0 20 0 20 0 36879077 19521036288 520694 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
/proc/27364/statm: 4765878 520694 5532 1 0 555933 0
[pid=27364/tid=27375] ppid=27353 vsize=19063512 memory=2082776 CPUtime=3570.86 cores=4,6
/proc/27364/task/27375/stat : 27375 (java) R 27353 27364 26860 0 -1 4194368 28169 0 0 0 357062 24 0 0 20 0 20 0 36879078 19521036288 520694 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
[pid=27364/tid=27386] ppid=27353 vsize=19063512 memory=2082776 CPUtime=0 cores=4,6
/proc/27364/task/27386/stat : 27386 (Finalizer) S 27353 27364 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36879080 19521036288 520694 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
[pid=27364/tid=27393] ppid=27353 vsize=19063512 memory=4380 CPUtime=0 cores=4,6
/proc/27364/task/27393/stat : 27393 (Common-Cleaner) S 27353 27364 26860 0 -1 4194368 1011 0 0 0 0 0 0 0 20 0 20 0 36879080 19521036288 520694 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
[pid=27364/tid=27403] ppid=27353 vsize=19063512 memory=17408 CPUtime=0 cores=4,6
/proc/27364/task/27403/stat : 27403 (Timer-0) S 27353 27364 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36879108 19521036288 520694 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
Current children cumulated CPU time: 3577.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2082776 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3605 s]*
/proc/loadavg: 4.10 4.10 4.09 5/338 27776
/proc/meminfo: memFree=121274508/131249996 swapFree=33010684/33010684
[pid=27364] ppid=27353 vsize=19063512 memory=2082776 CPUtime=3600.03 cores=4,6
/proc/27364/stat : 27364 (java) S 27353 27364 26860 0 -1 4194304 70671 0 0 0 359876 127 0 0 20 0 20 0 36879077 19521036288 520694 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
/proc/27364/statm: 4765878 520694 5532 1 0 555933 0
[pid=27364/tid=27375] ppid=27353 vsize=19063512 memory=-6000919485574571373 CPUtime=3593.5 cores=4,6
/proc/27364/task/27375/stat : 27375 (java) R 27353 27364 26860 0 -1 4194368 28644 0 0 0 359325 25 0 0 20 0 20 0 36879078 19521036288 520694 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
[pid=27364/tid=27386] ppid=27353 vsize=19063512 memory=-4050210904893931919 CPUtime=0 cores=4,6
/proc/27364/task/27386/stat : 27386 (Finalizer) S 27353 27364 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36879080 19521036288 520694 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
[pid=27364/tid=27393] ppid=27353 vsize=19063512 memory=5060 CPUtime=0 cores=4,6
/proc/27364/task/27393/stat : 27393 (Common-Cleaner) S 27353 27364 26860 0 -1 4194368 1011 0 0 0 0 0 0 0 20 0 20 0 36879080 19521036288 520694 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
[pid=27364/tid=27403] ppid=27353 vsize=19063512 memory=6892 CPUtime=0 cores=4,6
/proc/27364/task/27403/stat : 27403 (Timer-0) S 27353 27364 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36879108 19521036288 520694 18446744073709551615 94742922104832 94742922108528 140725472304320 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94742922116344 94742922117136 94742925254656 140725472307585 140725472307686 140725472307686 140725472313288 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2082776 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.89 s, system=1.28969 s

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

Child status: 143

Real time (s): 3605.11
CPU time (s): 3600.18
CPU user time (s): 3598.89
CPU system time (s): 1.28969
CPU usage (%): 99.8633
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2082776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.89
system time used= 1.28969
maximum resident set size= 2083928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72842
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103387
involuntary context switches= 2893


# summary of solver processes directly reported to runsolver:
#   pid: 27364
#   total CPU time (s): 3600.18
#   total CPU user time (s): 3598.89
#   total CPU system time (s): 1.28969

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.22131 second user time and 18.7569 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2025-06-29 17:46:53
IDJOB=4513086
IDBENCH=162262
IDSOLVER=3363
FILE ID=nodeC022/4513086-1751212013
RUNJOBID= nodeC022-1751208407-26871
SLURM_JOB_ID= 9587640
Free space on /tmp= 433060 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size160-round22-1.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4513086-1751212013/watcher-4513086-1751212013 -o /tmp/evaluation-result-4513086-1751212013/solver-4513086-1751212013 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751208407-26871 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4513086-1751212013.opb

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

MD5SUM BENCH= 1c3bde2857450970636e675d32ef1343
RANDOM SEED=7533661

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        125334564 kB
MemAvailable:   125988040 kB
Buffers:            3280 kB
Cached:          1458112 kB
SwapCached:            0 kB
Active:          4143524 kB
Inactive:        1209752 kB
Active(anon):    3909944 kB
Inactive(anon):        0 kB
Active(file):     233580 kB
Inactive(file):  1209752 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              2028 kB
Writeback:             0 kB
AnonPages:       3894976 kB
Mapped:           122328 kB
Shmem:             18060 kB
KReclaimable:      98368 kB
Slab:             185920 kB
SReclaimable:      98368 kB
SUnreclaim:        87552 kB
KernelStack:        4864 kB
PageTables:        11000 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    4840472 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151192 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3733504 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC022 at 2025-06-29 18:46:58