Trace number 4512906

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.23 3605.83

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size144-round23-2.opb
MD5SUM37b3a609918eb30d871bb851627bd55e
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4288
Total number of constraints9520
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)432
Number of constraints which are nor clauses,nor cardinality constraints896
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.10	c Free memory 		2104792832
0.00/0.10	c Max memory 		16282288128
0.00/0.10	c Total memory 		2113929216
0.10/0.10	c Number of processors 	2
0.10/0.14	c Pseudo Boolean Optimization by upper bound
0.10/0.14	c --- Begin Solver configuration ---
0.10/0.14	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.10/0.14	c Learn all clauses as in MiniSAT
0.10/0.14	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.14	c Expensive reason simplification
0.10/0.14	c Glucose 2.1 dynamic restart strategy
0.10/0.14	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.14	c timeout=2147483s
0.10/0.14	c DB Simplification allowed=false
0.10/0.14	c Listener: none
0.10/0.14	c --- End Solver configuration ---
0.10/0.14	c solving HOME/instance-4512906-1751208407.opb
0.10/0.14	c reading problem ... 
0.10/0.14	c  no objective function found
0.29/0.30	c ... done. Wall clock time 0.155s.
0.49/0.31	c declared #vars     4288
0.49/0.31	c #constraints  10848
0.49/0.31	c constraints type 
0.49/0.31	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 134
0.49/0.31	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1786
0.49/0.31	c org.sat4j.specs.Constr$1 => 920
0.49/0.31	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 7488
0.49/0.31	c org.sat4j.pb.constraints.pb.UnitClausePB => 520
0.49/0.31	c 10848 constraints processed.
1.65/0.99	c cleaning 2490 clauses out of 4998 with flag 16578/5000
2.56/1.47	c cleaning 4234 clauses out of 8509 with flag 38401/11001
3.38/1.98	c cleaning 5630 clauses out of 11276 with flag 68923/18002
3.98/2.56	c cleaning 6810 clauses out of 13644 with flag 103018/26000
4.58/3.17	c cleaning 7873 clauses out of 15834 with flag 145708/35000
5.38/3.90	c cleaning 8973 clauses out of 17961 with flag 192191/45000
6.18/4.76	c cleaning 9970 clauses out of 19989 with flag 246129/56001
7.08/5.67	c cleaning 11001 clauses out of 22018 with flag 307206/68000
8.18/6.71	c cleaning 12002 clauses out of 24018 with flag 371350/81001
9.19/7.80	c cleaning 12996 clauses out of 26017 with flag 447129/95002
10.39/8.97	c cleaning 13980 clauses out of 28019 with flag 525838/110000
11.69/10.25	c cleaning 15014 clauses out of 30039 with flag 618048/126000
13.11/11.61	c cleaning 15984 clauses out of 32025 with flag 716480/143000
14.54/13.09	c cleaning 17008 clauses out of 34043 with flag 818510/161002
16.23/14.74	c cleaning 17963 clauses out of 36033 with flag 924928/180000
18.03/16.56	c cleaning 19032 clauses out of 38070 with flag 1037086/200000
19.92/18.46	c cleaning 19990 clauses out of 40038 with flag 1156201/221000
22.02/20.54	c cleaning 21005 clauses out of 42049 with flag 1285824/243001
24.22/22.74	c cleaning 21983 clauses out of 44043 with flag 1418784/266000
26.51/25.03	c cleaning 23024 clauses out of 46060 with flag 1559344/290000
28.90/27.48	c cleaning 24004 clauses out of 48036 with flag 1707702/315000
31.50/30.07	c cleaning 24999 clauses out of 50032 with flag 1863029/341000
34.28/32.84	c cleaning 26014 clauses out of 52034 with flag 2021951/368001
37.30/35.87	c cleaning 26998 clauses out of 54019 with flag 2186605/396000
40.39/38.97	c cleaning 27984 clauses out of 56021 with flag 2359727/425000
43.79/42.33	c cleaning 28965 clauses out of 58037 with flag 2535689/455000
47.28/45.84	c cleaning 30028 clauses out of 60073 with flag 2723919/486001
51.01/49.52	c cleaning 30994 clauses out of 62044 with flag 2912722/518000
54.70/53.29	c cleaning 31991 clauses out of 64050 with flag 3110671/551000
58.79/57.30	c cleaning 33018 clauses out of 66059 with flag 3315261/585000
62.98/61.51	c cleaning 33998 clauses out of 68042 with flag 3525127/620001
67.40/65.96	c cleaning 34992 clauses out of 70043 with flag 3741586/656000
72.09/70.67	c cleaning 36011 clauses out of 72051 with flag 3965311/693000
76.98/75.54	c cleaning 36991 clauses out of 74040 with flag 4193391/731000
82.06/80.66	c cleaning 37964 clauses out of 76049 with flag 4425545/770000
87.48/86.02	c cleaning 39013 clauses out of 78085 with flag 4669573/810000
92.86/91.48	c cleaning 39974 clauses out of 80072 with flag 4918465/851000
98.55/97.15	c cleaning 41001 clauses out of 82098 with flag 5172775/893000
104.36/102.95	c cleaning 41992 clauses out of 84100 with flag 5435811/936003
110.24/108.87	c cleaning 43015 clauses out of 86106 with flag 5707118/980001
116.53/115.13	c cleaning 44021 clauses out of 88090 with flag 5982675/1025000
123.03/121.65	c cleaning 45020 clauses out of 90069 with flag 6262827/1071000
129.81/128.44	c cleaning 46000 clauses out of 92049 with flag 6547865/1118000
136.79/135.44	c cleaning 47005 clauses out of 94051 with flag 6838350/1166002
144.00/142.67	c cleaning 47982 clauses out of 96044 with flag 7137890/1215000
151.49/150.18	c cleaning 48977 clauses out of 98062 with flag 7441868/1265000
159.21/157.89	c cleaning 50013 clauses out of 100085 with flag 7756686/1316000
167.09/165.77	c cleaning 50996 clauses out of 102074 with flag 8077614/1368002
175.37/174.03	c cleaning 52007 clauses out of 104076 with flag 8401989/1421000
183.98/182.61	c cleaning 53014 clauses out of 106070 with flag 8724095/1475001
192.56/191.28	c cleaning 53996 clauses out of 108055 with flag 9059795/1530000
201.73/200.41	c cleaning 55009 clauses out of 110059 with flag 9392910/1586000
211.03/209.72	c cleaning 56010 clauses out of 112050 with flag 9739652/1643000
220.70/219.43	c cleaning 56977 clauses out of 114040 with flag 10089253/1701000
230.69/229.46	c cleaning 57969 clauses out of 116063 with flag 10443907/1760000
240.96/239.74	c cleaning 59041 clauses out of 118095 with flag 10804006/1820001
251.48/250.22	c cleaning 59995 clauses out of 120053 with flag 11170639/1881000
262.15/260.94	c cleaning 61019 clauses out of 122058 with flag 11545696/1943000
273.33/272.17	c cleaning 62000 clauses out of 124039 with flag 11921783/2006000
284.79/283.60	c cleaning 63009 clauses out of 126040 with flag 12302456/2070001
296.41/295.24	c cleaning 63988 clauses out of 128030 with flag 12690319/2135000
308.49/307.39	c cleaning 64996 clauses out of 130042 with flag 13082303/2201000
320.85/319.79	c cleaning 65993 clauses out of 132046 with flag 13488129/2268000
333.62/332.55	c cleaning 66959 clauses out of 134053 with flag 13888657/2336000
346.93/345.82	c cleaning 68000 clauses out of 136095 with flag 14297306/2405001
360.41/359.39	c cleaning 69003 clauses out of 138094 with flag 14715844/2475000
374.47/373.41	c cleaning 70038 clauses out of 140092 with flag 15139242/2546001
388.63/387.66	c cleaning 71015 clauses out of 142053 with flag 15567140/2618000
403.27/402.28	c cleaning 71931 clauses out of 144038 with flag 15998629/2691000
418.14/417.15	c cleaning 73032 clauses out of 146108 with flag 16439909/2765001
433.30/432.38	c cleaning 74012 clauses out of 148076 with flag 16884699/2840001
448.86/447.95	c cleaning 75025 clauses out of 150063 with flag 17336590/2916000
464.82/463.97	c cleaning 75994 clauses out of 152040 with flag 17795038/2993002
481.34/480.41	c cleaning 77010 clauses out of 154044 with flag 18257891/3071000
497.80/496.98	c cleaning 77965 clauses out of 156035 with flag 18728563/3150001
514.97/514.13	c cleaning 78993 clauses out of 158069 with flag 19196388/3230000
532.32/531.51	c cleaning 80023 clauses out of 160078 with flag 19677604/3311002
550.17/549.46	c cleaning 80969 clauses out of 162054 with flag 20159511/3393001
568.44/567.77	c cleaning 82006 clauses out of 164084 with flag 20653131/3476000
586.94/586.23	c cleaning 82982 clauses out of 166078 with flag 21149321/3560000
605.49/604.89	c cleaning 83999 clauses out of 168097 with flag 21655005/3645001
625.14/624.53	c cleaning 85041 clauses out of 170097 with flag 22158897/3731000
644.80/644.28	c cleaning 86000 clauses out of 172056 with flag 22672168/3818000
665.14/664.64	c cleaning 87000 clauses out of 174056 with flag 23185584/3906000
686.10/685.67	c cleaning 87968 clauses out of 176056 with flag 23708401/3995000
707.42/706.95	c cleaning 89025 clauses out of 178088 with flag 24236593/4085000
729.06/728.65	c cleaning 90004 clauses out of 180064 with flag 24772751/4176001
750.81/750.48	c cleaning 91009 clauses out of 182059 with flag 25312937/4268000
773.24/772.99	c cleaning 91999 clauses out of 184050 with flag 25857443/4361000
796.39/796.18	c cleaning 92994 clauses out of 186051 with flag 26408305/4455000
819.32/819.19	c cleaning 94000 clauses out of 188057 with flag 26968003/4550000
842.95/842.88	c cleaning 94970 clauses out of 190059 with flag 27530872/4646002
867.26/867.12	c cleaning 96035 clauses out of 192087 with flag 28101206/4743000
891.99/891.92	c cleaning 96996 clauses out of 194052 with flag 28669144/4841000
917.22/917.26	c cleaning 98015 clauses out of 196056 with flag 29251296/4940000
943.04/943.12	c cleaning 98999 clauses out of 198041 with flag 29833824/5040000
969.77/969.96	c cleaning 100021 clauses out of 200042 with flag 30419203/5141000
996.69/996.95	c cleaning 100959 clauses out of 202022 with flag 31016928/5243001
1024.12/1024.40	c cleaning 101978 clauses out of 204062 with flag 31615422/5346000
1051.98/1052.28	c cleaning 103021 clauses out of 206084 with flag 32223748/5450000
1080.21/1080.53	c cleaning 103999 clauses out of 208063 with flag 32829263/5555000
1108.75/1109.19	c cleaning 105004 clauses out of 210064 with flag 33447825/5661000
1137.57/1138.02	c cleaning 106005 clauses out of 212060 with flag 34072916/5768000
1167.60/1168.19	c cleaning 106996 clauses out of 214055 with flag 34696630/5876000
1197.82/1198.47	c cleaning 107981 clauses out of 216060 with flag 35328508/5985001
1228.84/1229.47	c cleaning 108999 clauses out of 218078 with flag 35967140/6095000
1259.96/1260.67	c cleaning 110005 clauses out of 220079 with flag 36604455/6206000
1291.69/1292.44	c cleaning 110997 clauses out of 222075 with flag 37247868/6318001
1323.90/1324.71	c cleaning 112000 clauses out of 224077 with flag 37897406/6431000
1356.53/1357.45	c cleaning 113039 clauses out of 226078 with flag 38555436/6545001
1390.35/1391.30	c cleaning 114010 clauses out of 228040 with flag 39216007/6660002
1424.46/1425.50	c cleaning 114991 clauses out of 230028 with flag 39888303/6776000
1458.84/1459.96	c cleaning 116013 clauses out of 232037 with flag 40563424/6893000
1494.16/1495.31	c cleaning 116977 clauses out of 234024 with flag 41243028/7011000
1530.35/1531.67	c cleaning 117989 clauses out of 236047 with flag 41918873/7130000
1566.27/1567.60	c cleaning 119017 clauses out of 238058 with flag 42614603/7250000
1603.28/1604.73	c cleaning 120009 clauses out of 240041 with flag 43311383/7371000
1640.50/1642.07	c cleaning 121002 clauses out of 242032 with flag 44017331/7493000
1679.10/1680.71	c cleaning 121970 clauses out of 244030 with flag 44724647/7616000
1718.06/1719.66	c cleaning 123026 clauses out of 246060 with flag 45438280/7740000
1758.26/1759.96	c cleaning 124012 clauses out of 248035 with flag 46152901/7865001
1798.64/1800.42	c cleaning 124980 clauses out of 250023 with flag 46874077/7991001
1838.92/1840.86	c cleaning 126007 clauses out of 252043 with flag 47604943/8118001
1880.71/1882.73	c cleaning 127002 clauses out of 254035 with flag 48338494/8246000
1922.49/1924.65	c cleaning 127999 clauses out of 256034 with flag 49078677/8375001
1964.66/1966.98	c cleaning 129017 clauses out of 258036 with flag 49822532/8505002
2008.11/2010.15	c cleaning 129967 clauses out of 260018 with flag 50570774/8636001
2051.19/2053.35	c cleaning 131022 clauses out of 262052 with flag 51325155/8768002
2095.15/2097.41	c cleaning 131998 clauses out of 264028 with flag 52092921/8901000
2139.23/2141.68	c cleaning 133000 clauses out of 266031 with flag 52863798/9035001
2184.31/2186.87	c cleaning 133979 clauses out of 268030 with flag 53634049/9170000
2229.87/2232.52	c cleaning 135011 clauses out of 270052 with flag 54413097/9306001
2276.23/2278.96	c cleaning 135982 clauses out of 272040 with flag 55197182/9443000
2323.82/2326.64	c cleaning 137022 clauses out of 274059 with flag 55986310/9581001
2371.90/2374.87	c cleaning 138002 clauses out of 276038 with flag 56779444/9720002
2420.09/2423.15	c cleaning 138996 clauses out of 278035 with flag 57586565/9860001
2469.16/2472.34	c cleaning 140020 clauses out of 280039 with flag 58392229/10001001
2518.85/2522.11	c cleaning 140975 clauses out of 282018 with flag 59210514/10143000
2568.83/2572.26	c cleaning 141995 clauses out of 284044 with flag 60030827/10286001
2620.21/2623.75	c cleaning 143003 clauses out of 286051 with flag 60861510/10430003
2671.99/2675.56	c cleaning 143979 clauses out of 288046 with flag 61687399/10575001
2725.06/2728.76	c cleaning 145026 clauses out of 290066 with flag 62520121/10721000
2778.02/2781.82	c cleaning 146010 clauses out of 292040 with flag 63360173/10868000
2832.09/2836.03	c cleaning 147004 clauses out of 294031 with flag 64206286/11016001
2886.66/2890.74	c cleaning 147965 clauses out of 296026 with flag 65061164/11165000
2942.42/2946.62	c cleaning 149004 clauses out of 298062 with flag 65914747/11315001
2998.58/3002.90	c cleaning 150007 clauses out of 300057 with flag 66778511/11466000
3055.38/3059.76	c cleaning 151018 clauses out of 302051 with flag 67650732/11618001
3113.34/3117.82	c cleaning 152005 clauses out of 304032 with flag 68525703/11771000
3171.00/3175.67	c cleaning 152970 clauses out of 306028 with flag 69399957/11925001
3229.26/3234.01	c cleaning 154001 clauses out of 308058 with flag 70285049/12080001
3289.60/3294.53	c cleaning 155015 clauses out of 310057 with flag 71167368/12236001
3349.93/3355.04	c cleaning 155997 clauses out of 312042 with flag 72065773/12393001
3411.56/3416.85	c cleaning 157018 clauses out of 314044 with flag 72968887/12551000
3473.80/3479.11	c cleaning 157968 clauses out of 316027 with flag 73878999/12710001
3536.43/3541.92	c cleaning 159017 clauses out of 318059 with flag 74785963/12870001
3600.08/3605.71	c starts		: 107668
3600.08/3605.71	c conflicts		: 13030452
3600.08/3605.71	c decisions		: 108970235
3600.08/3605.71	c propagations		: 1670248777
3600.08/3605.71	c inspects		: 37725228714
3600.08/3605.71	c shortcuts		: 0
3600.08/3605.71	c learnt literals	: 2
3600.08/3605.71	c learnt binary clauses	: 76
3600.08/3605.71	c learnt ternary clauses	: 883
3600.08/3605.71	c learnt constraints	: 13030450
3600.08/3605.71	c ignored constraints	: 0
3600.08/3605.71	c root simplifications	: 0
3600.08/3605.71	c removed literals (reason simplification)	: 12799185
3600.08/3605.71	c reason swapping (by a shorter reason)	: 0
3600.08/3605.71	c Calls to reduceDB	: 156
3600.08/3605.71	c Number of update (reduction) of LBD	: 2786345
3600.08/3605.71	c Imported unit clauses	: 0
3600.08/3605.71	c No decision after first conflict	: false
3600.08/3605.71	c number of reductions to clauses (during analyze)	: 0
3600.08/3605.71	c number of learned constraints concerned by reduction	: 0
3600.08/3605.71	c number of learning phase by resolution	: 0
3600.08/3605.71	c number of learning phase by cutting planes	: 0
3600.08/3605.71	c number of rounding to 1 operations	: 0
3600.08/3605.71	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3605.71	c number of reductions of the coefficients by power 2 	: 0
3600.08/3605.71	c number of right shift for reduction by power 2 	: 0
3600.08/3605.71	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3605.71	c number of ending skipping 	: 0
3600.08/3605.71	c number of internal skipping 	: 0
3600.08/3605.71	c number of derivation steps 	: 0
3600.08/3605.71	c number of skipped derivation steps 	: 0
3600.08/3605.71	c number of remaining unassigned 	: 0
3600.08/3605.71	c number of remaining assigned 	: 0
3600.08/3605.71	c number of falsified literals weakened from reason	: 0
3600.08/3605.71	c number of falsified literals weakened from conflict	: 0
3600.08/3605.71	c time for arithmetic operations	: 0
3600.08/3605.72	c timeout
3600.08/3605.72	c minimum degree of deleted constraints	: null
3600.08/3605.72	c maximum degree of deleted constraints	: null
3600.08/3605.72	c number of deleted constraints	: 0
3600.08/3605.73	c speed (assignments/second)	: 463261.9425424411
3600.08/3605.73	c non guided choices	: 47362
3600.08/3605.79	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 319417
3600.08/3605.79	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 76
3600.08/3605.79	s UNKNOWN
3600.08/3605.79	c Total wall clock time (in seconds): 3605.649

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100058 s]*
/proc/loadavg: 1.14 1.34 1.84 10/338 26997
/proc/meminfo: memFree=129020788/131249996 swapFree=33010684/33010684
[pid=26920] ppid=26911 vsize=18930384 memory=53204 CPUtime=0.1 cores=0,2
/proc/26920/stat : 26920 (java) S 26911 26920 26860 0 -1 4194304 6462 0 0 0 9 1 0 0 20 0 18 0 36518504 19384713216 13301 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
/proc/26920/statm: 4732596 13301 5352 1 0 547552 0
[pid=26920/tid=26931] ppid=26911 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=0,2
/proc/26920/task/26931/stat : 26931 (java) R 26911 26920 26860 0 -1 4194368 4995 0 0 0 6 0 0 0 20 0 18 0 36518507 19384713216 13301 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
[pid=26920/tid=26966] ppid=26911 vsize=18930384 memory=16880 CPUtime=0 cores=0,2
/proc/26920/task/26966/stat : 26966 (Finalizer) S 26911 26920 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 36518509 19384713216 13301 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
[pid=26920/tid=26975] ppid=26911 vsize=18930384 memory=59585004307431 CPUtime=0 cores=0,2
/proc/26920/task/26975/stat : 26975 (Common-Cleaner) S 26911 26920 26860 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 36518509 19384713216 13836 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53204 KiB

[startup+0.205156 s]*
/proc/loadavg: 1.14 1.34 1.84 14/338 26997
/proc/meminfo: memFree=128980936/131249996 swapFree=33010684/33010684
[pid=26920] ppid=26911 vsize=18930384 memory=63736 CPUtime=0.29 cores=0,2
/proc/26920/stat : 26920 (java) S 26911 26920 26860 0 -1 4194304 6971 0 0 0 27 2 0 0 20 0 18 0 36518504 19384713216 15934 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
/proc/26920/statm: 4732596 15934 5416 1 0 547884 0
[pid=26920/tid=26931] ppid=26911 vsize=18930384 memory=4026597660 CPUtime=0.15 cores=0,2
/proc/26920/task/26931/stat : 26931 (java) R 26911 26920 26860 0 -1 4194368 5257 0 0 0 14 1 0 0 20 0 18 0 36518507 19384713216 15934 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
[pid=26920/tid=26966] ppid=26911 vsize=18930384 memory=16880 CPUtime=0 cores=0,2
/proc/26920/task/26966/stat : 26966 (Finalizer) S 26911 26920 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 36518509 19384713216 15934 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
[pid=26920/tid=26975] ppid=26911 vsize=18930384 memory=59585004307431 CPUtime=0 cores=0,2
/proc/26920/task/26975/stat : 26975 (Common-Cleaner) S 26911 26920 26860 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 36518509 19384713216 15934 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 63736 KiB

[startup+0.305183 s]*
/proc/loadavg: 1.14 1.34 1.84 10/338 26997
/proc/meminfo: memFree=128876588/131249996 swapFree=33010684/33010684
[pid=26920] ppid=26911 vsize=18930384 memory=96920 CPUtime=0.49 cores=0,2
/proc/26920/stat : 26920 (java) S 26911 26920 26860 0 -1 4194304 8541 0 0 0 46 3 0 0 20 0 18 0 36518504 19384713216 24230 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
/proc/26920/statm: 4732596 24230 5416 1 0 548947 0
[pid=26920/tid=26931] ppid=26911 vsize=18930384 memory=-6000919494248195693 CPUtime=0.23 cores=0,2
/proc/26920/task/26931/stat : 26931 (java) R 26911 26920 26860 0 -1 4194368 5308 0 0 0 22 1 0 0 20 0 18 0 36518507 19384713216 24230 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
[pid=26920/tid=26966] ppid=26911 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/26920/task/26966/stat : 26966 (Finalizer) S 26911 26920 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 36518509 19384713216 24230 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
[pid=26920/tid=26975] ppid=26911 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/26920/task/26975/stat : 26975 (Common-Cleaner) S 26911 26920 26860 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 36518509 19384713216 24230 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 96920 KiB

[startup+0.700197 s]
/proc/loadavg: 1.14 1.34 1.84 10/342 27001
/proc/meminfo: memFree=128827320/131249996 swapFree=33010684/33010684
[pid=26920] ppid=26911 vsize=18996948 memory=109308 CPUtime=1.26 cores=0,2
/proc/26920/stat : 26920 (java) S 26911 26920 26860 0 -1 4194304 12553 0 0 0 122 4 0 0 20 0 19 0 36518504 19452874752 27327 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
/proc/26920/statm: 4749237 27327 5448 1 0 552186 0
[pid=26920/tid=26931] ppid=26911 vsize=18996948 memory=17408 CPUtime=0.59 cores=0,2
/proc/26920/task/26931/stat : 26931 (java) R 26911 26920 26860 0 -1 4194368 5375 0 0 0 58 1 0 0 20 0 19 0 36518507 19452874752 27327 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
[pid=26920/tid=26966] ppid=26911 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/26920/task/26966/stat : 26966 (Finalizer) S 26911 26920 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 36518509 19452874752 27327 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
[pid=26920/tid=26975] ppid=26911 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/26920/task/26975/stat : 26975 (Common-Cleaner) S 26911 26920 26860 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 36518509 19452874752 27327 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
[pid=26920/tid=26999] ppid=26911 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/26920/task/26999/stat : 26999 (Timer-0) S 26911 26920 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 36518536 19452874752 27327 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 109308 KiB

[startup+1.50021 s]
/proc/loadavg: 1.14 1.34 1.84 10/342 27001
/proc/meminfo: memFree=128787816/131249996 swapFree=33010684/33010684
[pid=26920] ppid=26911 vsize=18996948 memory=120428 CPUtime=2.69 cores=0,2
/proc/26920/stat : 26920 (java) S 26911 26920 26860 0 -1 4194304 16544 0 0 0 265 4 0 0 20 0 19 0 36518504 19452874752 30107 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
/proc/26920/statm: 4749237 30107 5448 1 0 552721 0
[pid=26920/tid=26931] ppid=26911 vsize=18996948 memory=10752 CPUtime=1.36 cores=0,2
/proc/26920/task/26931/stat : 26931 (java) R 26911 26920 26860 0 -1 4194368 5717 0 0 0 134 2 0 0 20 0 19 0 36518507 19452874752 30107 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
[pid=26920/tid=26966] ppid=26911 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/26920/task/26966/stat : 26966 (Finalizer) S 26911 26920 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 36518509 19452874752 30107 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
[pid=26920/tid=26975] ppid=26911 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/26920/task/26975/stat : 26975 (Common-Cleaner) S 26911 26920 26860 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 36518509 19452874752 30107 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
[pid=26920/tid=26999] ppid=26911 vsize=18996948 memory=4764 CPUtime=0 cores=0,2
/proc/26920/task/26999/stat : 26999 (Timer-0) S 26911 26920 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 36518536 19452874752 30107 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
Current children cumulated CPU time: 2.69 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 120428 KiB

[startup+3.10515 s]
/proc/loadavg: 1.14 1.34 1.84 6/342 27001
/proc/meminfo: memFree=128704916/131249996 swapFree=33010684/33010684
[pid=26920] ppid=26911 vsize=18996948 memory=139676 CPUtime=4.58 cores=0,2
/proc/26920/stat : 26920 (java) S 26911 26920 26860 0 -1 4194304 20856 0 0 0 453 5 0 0 20 0 19 0 36518504 19452874752 34919 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
/proc/26920/statm: 4749237 34919 5448 1 0 553885 0
[pid=26920/tid=26931] ppid=26911 vsize=18996948 memory=10752 CPUtime=2.95 cores=0,2
/proc/26920/task/26931/stat : 26931 (java) R 26911 26920 26860 0 -1 4194368 6023 0 0 0 293 2 0 0 20 0 19 0 36518507 19452874752 34919 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
[pid=26920/tid=26966] ppid=26911 vsize=18996948 memory=-6000919502838130285 CPUtime=0 cores=0,2
/proc/26920/task/26966/stat : 26966 (Finalizer) S 26911 26920 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 36518509 19452874752 34919 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
[pid=26920/tid=26975] ppid=26911 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/26920/task/26975/stat : 26975 (Common-Cleaner) S 26911 26920 26860 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 36518509 19452874752 34919 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
[pid=26920/tid=26999] ppid=26911 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/26920/task/26999/stat : 26999 (Timer-0) S 26911 26920 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 36518536 19452874752 34919 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
Current children cumulated CPU time: 4.58 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 139676 KiB

[startup+6.30016 s]
/proc/loadavg: 1.37 1.39 1.85 6/342 27001
/proc/meminfo: memFree=128614840/131249996 swapFree=33010684/33010684
[pid=26920] ppid=26911 vsize=18996948 memory=161744 CPUtime=7.78 cores=0,2
/proc/26920/stat : 26920 (java) S 26911 26920 26860 0 -1 4194304 21087 0 0 0 773 5 0 0 20 0 19 0 36518504 19452874752 40436 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
/proc/26920/statm: 4749237 40436 5480 1 0 553885 0
[pid=26920/tid=26931] ppid=26911 vsize=18996948 memory=0 CPUtime=6.14 cores=0,2
/proc/26920/task/26931/stat : 26931 (java) R 26911 26920 26860 0 -1 4194368 6145 0 0 0 612 2 0 0 20 0 19 0 36518507 19452874752 40436 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
[pid=26920/tid=26966] ppid=26911 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/26920/task/26966/stat : 26966 (Finalizer) S 26911 26920 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 36518509 19452874752 40436 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
[pid=26920/tid=26975] ppid=26911 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/26920/task/26975/stat : 26975 (Common-Cleaner) S 26911 26920 26860 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 36518509 19452874752 40436 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
[pid=26920/tid=26999] ppid=26911 vsize=18996948 memory=126584 CPUtime=0 cores=0,2
/proc/26920/task/26999/stat : 26999 (Timer-0) S 26911 26920 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 36518536 19452874752 40436 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
Current children cumulated CPU time: 7.78 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 161744 KiB

[startup+12.7002 s]
/proc/loadavg: 1.58 1.43 1.86 6/346 27005
/proc/meminfo: memFree=128532080/131249996 swapFree=33010684/33010684
[pid=26920] ppid=26911 vsize=19063512 memory=176472 CPUtime=14.24 cores=0,2
/proc/26920/stat : 26920 (java) S 26911 26920 26860 0 -1 4194304 25204 0 0 0 1418 6 0 0 20 0 20 0 36518504 19521036288 44118 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
/proc/26920/statm: 4765878 44118 5480 1 0 554174 0
[pid=26920/tid=26931] ppid=26911 vsize=19063512 memory=126584 CPUtime=12.51 cores=0,2
/proc/26920/task/26931/stat : 26931 (java) R 26911 26920 26860 0 -1 4194368 6890 0 0 0 1249 2 0 0 20 0 20 0 36518507 19521036288 44118 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
[pid=26920/tid=26966] ppid=26911 vsize=19063512 memory=176472 CPUtime=0 cores=0,2
/proc/26920/task/26966/stat : 26966 (Finalizer) S 26911 26920 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36518509 19521036288 44118 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
[pid=26920/tid=26975] ppid=26911 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/26920/task/26975/stat : 26975 (Common-Cleaner) S 26911 26920 26860 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 36518509 19521036288 44118 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
[pid=26920/tid=26999] ppid=26911 vsize=19063512 memory=280662825740672 CPUtime=0 cores=0,2
/proc/26920/task/26999/stat : 26999 (Timer-0) S 26911 26920 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36518536 19521036288 44118 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
Current children cumulated CPU time: 14.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 176472 KiB

[startup+25.5002 s]
/proc/loadavg: 2.12 1.56 1.90 6/344 27005
/proc/meminfo: memFree=128499076/131249996 swapFree=33010684/33010684
[pid=26920] ppid=26911 vsize=19063512 memory=182712 CPUtime=27.01 cores=0,2
/proc/26920/stat : 26920 (java) S 26911 26920 26860 0 -1 4194304 27489 0 0 0 2695 6 0 0 20 0 20 0 36518504 19521036288 45678 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
/proc/26920/statm: 4765878 45678 5480 1 0 554174 0
[pid=26920/tid=26931] ppid=26911 vsize=19063512 memory=-6000919502838130285 CPUtime=25.26 cores=0,2
/proc/26920/task/26931/stat : 26931 (java) R 26911 26920 26860 0 -1 4194368 7785 0 0 0 2524 2 0 0 20 0 20 0 36518507 19521036288 45678 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
[pid=26920/tid=26966] ppid=26911 vsize=19063512 memory=14384 CPUtime=0 cores=0,2
/proc/26920/task/26966/stat : 26966 (Finalizer) S 26911 26920 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36518509 19521036288 45678 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
[pid=26920/tid=26975] ppid=26911 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/26920/task/26975/stat : 26975 (Common-Cleaner) S 26911 26920 26860 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 36518509 19521036288 45678 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
[pid=26920/tid=26999] ppid=26911 vsize=19063512 memory=31476554 CPUtime=0 cores=0,2
/proc/26920/task/26999/stat : 26999 (Timer-0) S 26911 26920 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36518536 19521036288 45678 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
Current children cumulated CPU time: 27.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 182712 KiB

[startup+51.1052 s]
/proc/loadavg: 2.83 1.77 1.96 6/345 27007
/proc/meminfo: memFree=128335124/131249996 swapFree=33010684/33010684
[pid=26920] ppid=26911 vsize=19063512 memory=240308 CPUtime=52.61 cores=0,2
/proc/26920/stat : 26920 (java) S 26911 26920 26860 0 -1 4194304 29616 0 0 0 5253 8 0 0 20 0 20 0 36518504 19521036288 60077 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
/proc/26920/statm: 4765878 60077 5480 1 0 554174 0
[pid=26920/tid=26931] ppid=26911 vsize=19063512 memory=161744 CPUtime=50.73 cores=0,2
/proc/26920/task/26931/stat : 26931 (java) R 26911 26920 26860 0 -1 4194368 8671 0 0 0 5071 2 0 0 20 0 20 0 36518507 19521036288 60077 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
[pid=26920/tid=26966] ppid=26911 vsize=19063512 memory=205420 CPUtime=0 cores=0,2
/proc/26920/task/26966/stat : 26966 (Finalizer) S 26911 26920 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36518509 19521036288 60077 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0

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

/proc/meminfo: memFree=121320320/131249996 swapFree=33010684/33010684
[pid=26920] ppid=26911 vsize=19063512 memory=2157812 CPUtime=3277.43 cores=0,2
/proc/26920/stat : 26920 (java) S 26911 26920 26860 0 -1 4194304 70520 0 0 0 327643 100 0 0 20 0 20 0 36518504 19521036288 539453 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
/proc/26920/statm: 4765878 539453 5480 1 0 556752 0
[pid=26920/tid=26931] ppid=26911 vsize=19063512 memory=2157812 CPUtime=3271.01 cores=0,2
/proc/26920/task/26931/stat : 26931 (java) R 26911 26920 26860 0 -1 4194368 29423 0 0 0 327091 10 0 0 20 0 20 0 36518507 19521036288 539453 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
[pid=26920/tid=26966] ppid=26911 vsize=19063512 memory=2157812 CPUtime=0 cores=0,2
/proc/26920/task/26966/stat : 26966 (Finalizer) S 26911 26920 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36518509 19521036288 539453 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
[pid=26920/tid=26975] ppid=26911 vsize=19063512 memory=14384 CPUtime=0 cores=0,2
/proc/26920/task/26975/stat : 26975 (Common-Cleaner) S 26911 26920 26860 0 -1 4194368 807 0 0 0 0 0 0 0 20 0 20 0 36518509 19521036288 539453 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
[pid=26920/tid=26999] ppid=26911 vsize=19063512 memory=14384 CPUtime=0 cores=0,2
/proc/26920/task/26999/stat : 26999 (Timer-0) S 26911 26920 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36518536 19521036288 539453 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
Current children cumulated CPU time: 3277.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2157812 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.09 4.02 6/340 27249
/proc/meminfo: memFree=121320056/131249996 swapFree=33010684/33010684
[pid=26920] ppid=26911 vsize=19063512 memory=2157812 CPUtime=3337.27 cores=0,2
/proc/26920/stat : 26920 (java) S 26911 26920 26860 0 -1 4194304 71399 0 0 0 333626 101 0 0 20 0 20 0 36518504 19521036288 539453 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
/proc/26920/statm: 4765878 539453 5480 1 0 556752 0
[pid=26920/tid=26931] ppid=26911 vsize=19063512 memory=2157812 CPUtime=3330.82 cores=0,2
/proc/26920/task/26931/stat : 26931 (java) R 26911 26920 26860 0 -1 4194368 30090 0 0 0 333072 10 0 0 20 0 20 0 36518507 19521036288 539453 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
[pid=26920/tid=26966] ppid=26911 vsize=19063512 memory=17408 CPUtime=0 cores=0,2
/proc/26920/task/26966/stat : 26966 (Finalizer) S 26911 26920 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36518509 19521036288 539453 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
[pid=26920/tid=26975] ppid=26911 vsize=19063512 memory=2157812 CPUtime=0 cores=0,2
/proc/26920/task/26975/stat : 26975 (Common-Cleaner) S 26911 26920 26860 0 -1 4194368 877 0 0 0 0 0 0 0 20 0 20 0 36518509 19521036288 539453 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
[pid=26920/tid=26999] ppid=26911 vsize=19063512 memory=2157812 CPUtime=0 cores=0,2
/proc/26920/task/26999/stat : 26999 (Timer-0) S 26911 26920 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36518536 19521036288 539453 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
Current children cumulated CPU time: 3337.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2157812 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.10 4.03 6/340 27251
/proc/meminfo: memFree=121320104/131249996 swapFree=33010684/33010684
[pid=26920] ppid=26911 vsize=19063512 memory=2157812 CPUtime=3397.1 cores=0,2
/proc/26920/stat : 26920 (java) S 26911 26920 26860 0 -1 4194304 72095 0 0 0 339608 102 0 0 20 0 20 0 36518504 19521036288 539453 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
/proc/26920/statm: 4765878 539453 5480 1 0 556752 0
[pid=26920/tid=26931] ppid=26911 vsize=19063512 memory=2157812 CPUtime=3390.63 cores=0,2
/proc/26920/task/26931/stat : 26931 (java) R 26911 26920 26860 0 -1 4194368 30680 0 0 0 339053 10 0 0 20 0 20 0 36518507 19521036288 539453 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
[pid=26920/tid=26966] ppid=26911 vsize=19063512 memory=2157812 CPUtime=0 cores=0,2
/proc/26920/task/26966/stat : 26966 (Finalizer) S 26911 26920 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36518509 19521036288 539453 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
[pid=26920/tid=26975] ppid=26911 vsize=19063512 memory=2157812 CPUtime=0 cores=0,2
/proc/26920/task/26975/stat : 26975 (Common-Cleaner) S 26911 26920 26860 0 -1 4194368 951 0 0 0 0 0 0 0 20 0 20 0 36518509 19521036288 539453 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
[pid=26920/tid=26999] ppid=26911 vsize=19063512 memory=2157812 CPUtime=0 cores=0,2
/proc/26920/task/26999/stat : 26999 (Timer-0) S 26911 26920 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36518536 19521036288 539453 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
Current children cumulated CPU time: 3397.1 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2157812 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.10 4.03 6/339 27253
/proc/meminfo: memFree=121320152/131249996 swapFree=33010684/33010684
[pid=26920] ppid=26911 vsize=19063512 memory=2157812 CPUtime=3457.03 cores=0,2
/proc/26920/stat : 26920 (java) S 26911 26920 26860 0 -1 4194304 72724 0 0 0 345600 103 0 0 20 0 20 0 36518504 19521036288 539453 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
/proc/26920/statm: 4765878 539453 5480 1 0 556753 0
[pid=26920/tid=26931] ppid=26911 vsize=19063512 memory=2157812 CPUtime=3450.36 cores=0,2
/proc/26920/task/26931/stat : 26931 (java) R 26911 26920 26860 0 -1 4194368 30849 0 0 0 345026 10 0 0 20 0 20 0 36518507 19521036288 539453 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
[pid=26920/tid=26966] ppid=26911 vsize=19063512 memory=2157812 CPUtime=0 cores=0,2
/proc/26920/task/26966/stat : 26966 (Finalizer) S 26911 26920 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36518509 19521036288 539453 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
[pid=26920/tid=26975] ppid=26911 vsize=19063512 memory=14384 CPUtime=0 cores=0,2
/proc/26920/task/26975/stat : 26975 (Common-Cleaner) S 26911 26920 26860 0 -1 4194368 951 0 0 0 0 0 0 0 20 0 20 0 36518509 19521036288 539453 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
[pid=26920/tid=26999] ppid=26911 vsize=19063512 memory=4352 CPUtime=0 cores=0,2
/proc/26920/task/26999/stat : 26999 (Timer-0) S 26911 26920 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36518536 19521036288 539453 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
Current children cumulated CPU time: 3457.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2157812 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.09 4.03 6/339 27255
/proc/meminfo: memFree=121320104/131249996 swapFree=33010684/33010684
[pid=26920] ppid=26911 vsize=19063512 memory=2157812 CPUtime=3516.88 cores=0,2
/proc/26920/stat : 26920 (java) S 26911 26920 26860 0 -1 4194304 73066 0 0 0 351584 104 0 0 20 0 20 0 36518504 19521036288 539453 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
/proc/26920/statm: 4765878 539453 5480 1 0 556753 0
[pid=26920/tid=26931] ppid=26911 vsize=19063512 memory=4352 CPUtime=3510.19 cores=0,2
/proc/26920/task/26931/stat : 26931 (java) R 26911 26920 26860 0 -1 4194368 31161 0 0 0 351009 10 0 0 20 0 20 0 36518507 19521036288 539453 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
[pid=26920/tid=26966] ppid=26911 vsize=19063512 memory=2157812 CPUtime=0 cores=0,2
/proc/26920/task/26966/stat : 26966 (Finalizer) S 26911 26920 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36518509 19521036288 539453 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
[pid=26920/tid=26975] ppid=26911 vsize=19063512 memory=14384 CPUtime=0 cores=0,2
/proc/26920/task/26975/stat : 26975 (Common-Cleaner) S 26911 26920 26860 0 -1 4194368 951 0 0 0 0 0 0 0 20 0 20 0 36518509 19521036288 539453 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
[pid=26920/tid=26999] ppid=26911 vsize=19063512 memory=2157812 CPUtime=0 cores=0,2
/proc/26920/task/26999/stat : 26999 (Timer-0) S 26911 26920 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36518536 19521036288 539453 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
Current children cumulated CPU time: 3516.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2157812 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.10 4.03 6/340 27258
/proc/meminfo: memFree=121307860/131249996 swapFree=33010684/33010684
[pid=26920] ppid=26911 vsize=19063512 memory=2157812 CPUtime=3576.74 cores=0,2
/proc/26920/stat : 26920 (java) S 26911 26920 26860 0 -1 4194304 73796 0 0 0 357569 105 0 0 20 0 20 0 36518504 19521036288 539453 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
/proc/26920/statm: 4765878 539453 5480 1 0 556753 0
[pid=26920/tid=26931] ppid=26911 vsize=19063512 memory=2157812 CPUtime=3570.02 cores=0,2
/proc/26920/task/26931/stat : 26931 (java) R 26911 26920 26860 0 -1 4194368 31784 0 0 0 356992 10 0 0 20 0 20 0 36518507 19521036288 539453 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
[pid=26920/tid=26966] ppid=26911 vsize=19063512 memory=2157812 CPUtime=0 cores=0,2
/proc/26920/task/26966/stat : 26966 (Finalizer) S 26911 26920 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36518509 19521036288 539453 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
[pid=26920/tid=26975] ppid=26911 vsize=19063512 memory=14384 CPUtime=0 cores=0,2
/proc/26920/task/26975/stat : 26975 (Common-Cleaner) S 26911 26920 26860 0 -1 4194368 1025 0 0 0 0 0 0 0 20 0 20 0 36518509 19521036288 539453 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
[pid=26920/tid=26999] ppid=26911 vsize=19063512 memory=17408 CPUtime=0 cores=0,2
/proc/26920/task/26999/stat : 26999 (Timer-0) S 26911 26920 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36518536 19521036288 539453 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
Current children cumulated CPU time: 3576.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2157812 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3605.7 s]
/proc/loadavg: 4.08 4.09 4.03 3/294 27282
/proc/meminfo: memFree=125310592/131249996 swapFree=33010684/33010684
[pid=26920] ppid=26911 vsize=19063512 memory=2157812 CPUtime=3600.08 cores=0,2
/proc/26920/stat : 26920 (java) S 26911 26920 26860 0 -1 4194304 73835 0 0 0 359903 105 0 0 20 0 20 0 36518504 19521036288 539453 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
/proc/26920/statm: 4765878 539453 5480 1 0 556754 0
[pid=26920/tid=26931] ppid=26911 vsize=19063512 memory=14384 CPUtime=3593.36 cores=0,2
/proc/26920/task/26931/stat : 26931 (java) R 26911 26920 26860 0 -1 4194368 31819 0 0 0 359326 10 0 0 20 0 20 0 36518507 19521036288 539453 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
[pid=26920/tid=26966] ppid=26911 vsize=19063512 memory=17408 CPUtime=0 cores=0,2
/proc/26920/task/26966/stat : 26966 (Finalizer) S 26911 26920 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36518509 19521036288 539453 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
[pid=26920/tid=26975] ppid=26911 vsize=19063512 memory=2157812 CPUtime=0 cores=0,2
/proc/26920/task/26975/stat : 26975 (Common-Cleaner) S 26911 26920 26860 0 -1 4194368 1025 0 0 0 0 0 0 0 20 0 20 0 36518509 19521036288 539453 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
[pid=26920/tid=26999] ppid=26911 vsize=19063512 memory=198340509722 CPUtime=0 cores=0,2
/proc/26920/task/26999/stat : 26999 (Timer-0) S 26911 26920 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36518536 19521036288 539453 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2157812 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.16 s, system=1.07085 s

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

[startup+3605.7 s]
/proc/loadavg: 4.08 4.09 4.03 3/294 27282
/proc/meminfo: memFree=125310592/131249996 swapFree=33010684/33010684
[pid=26920] ppid=26911 vsize=19063512 memory=2157812 CPUtime=3600.08 cores=0,2
/proc/26920/stat : 26920 (java) S 26911 26920 26860 0 -1 4194304 73835 0 0 0 359903 105 0 0 20 0 20 0 36518504 19521036288 539453 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
/proc/26920/statm: 4765878 539453 5480 1 0 556754 0
[pid=26920/tid=26931] ppid=26911 vsize=19063512 memory=14384 CPUtime=3593.36 cores=0,2
/proc/26920/task/26931/stat : 26931 (java) R 26911 26920 26860 0 -1 4194368 31819 0 0 0 359326 10 0 0 20 0 20 0 36518507 19521036288 539453 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
[pid=26920/tid=26966] ppid=26911 vsize=19063512 memory=17408 CPUtime=0 cores=0,2
/proc/26920/task/26966/stat : 26966 (Finalizer) S 26911 26920 26860 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 36518509 19521036288 539453 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
[pid=26920/tid=26975] ppid=26911 vsize=19063512 memory=2157812 CPUtime=0 cores=0,2
/proc/26920/task/26975/stat : 26975 (Common-Cleaner) S 26911 26920 26860 0 -1 4194368 1025 0 0 0 0 0 0 0 20 0 20 0 36518509 19521036288 539453 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
[pid=26920/tid=26999] ppid=26911 vsize=19063512 memory=198340509722 CPUtime=0 cores=0,2
/proc/26920/task/26999/stat : 26999 (Timer-0) S 26911 26920 26860 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 36518536 19521036288 539453 18446744073709551615 94651620487168 94651620490864 140731565408320 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94651620498680 94651620499472 94651644940288 140731565410689 140731565410790 140731565410790 140731565416392 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2157812 KiB

Child status: 143

Real time (s): 3605.83
CPU time (s): 3600.23
CPU user time (s): 3599.16
CPU system time (s): 1.07085
CPU usage (%): 99.8449
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2157812

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.16
system time used= 1.07085
maximum resident set size= 2158836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76182
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103394
involuntary context switches= 9561


# summary of solver processes directly reported to runsolver:
#   pid: 26920
#   total CPU time (s): 3600.23
#   total CPU user time (s): 3599.16
#   total CPU system time (s): 1.07085

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.0272 second user time and 15.2069 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2025-06-29 16:46:47
IDJOB=4512906
IDBENCH=162196
IDSOLVER=3363
FILE ID=nodeC022/4512906-1751208407
RUNJOBID= nodeC022-1751208407-26870
SLURM_JOB_ID= 9587640
Free space on /tmp= 433064 MiB

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

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

MD5SUM BENCH= 37b3a609918eb30d871bb851627bd55e
RANDOM SEED=565763248

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.733
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		: 3599.699
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.630
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.762
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		: 3600.217
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.722
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		: 3476.841
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:        129147600 kB
MemAvailable:   129797472 kB
Buffers:            3280 kB
Cached:          1454464 kB
SwapCached:            0 kB
Active:           315468 kB
Inactive:        1206120 kB
Active(anon):      81904 kB
Inactive(anon):        0 kB
Active(file):     233564 kB
Inactive(file):  1206120 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              2968 kB
Writeback:             0 kB
AnonPages:         67076 kB
Mapped:           102212 kB
Shmem:             18060 kB
KReclaimable:      98456 kB
Slab:             185084 kB
SReclaimable:      98456 kB
SUnreclaim:        86628 kB
KernelStack:        4256 kB
PageTables:         2948 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     331456 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150472 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433060 MiB
End job on nodeC022 at 2025-06-29 17:46:53