Trace number 4498372

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution 2025-06-06SAT (TO)-35 3600.23 3593.32

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/bsg/normalized-bsg_200_10_4.opb
MD5SUM86f61e8a82c20cbcbe91e875a0628a87
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-61
Best CPU time to get the best result obtained on this benchmark72001.6
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)5048
Sum of products size (including duplicates)10096
Number of different products2524
Sum of products size5048

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.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.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c Expensive reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/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.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4498372-1751390552.opb
0.12/0.13	c reading problem ... 
0.12/0.14	c  objective function found
0.31/0.24	c ... done. Wall clock time 0.102s.
0.31/0.24	c declared #vars     400
0.31/0.24	c internal #vars     2924
0.31/0.24	c #constraints  5650
0.31/0.24	c constraints type 
0.31/0.24	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 200
0.31/0.24	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 402
0.31/0.24	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2524
0.31/0.24	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2524
0.31/0.24	c 5650 constraints processed.
0.31/0.25	c objective function length is 200 literals
1.96/1.34	c cleaning 2495 clauses out of 5001 with flag 23747/5001
2.42/1.71	c SATISFIABLE
2.42/1.71	c OPTIMIZING...
2.42/1.71	c Got one! Elapsed wall clock time (in seconds):1.577
2.42/1.71	o -28
2.66/1.92	c Got one! Elapsed wall clock time (in seconds):1.787
2.66/1.92	o -31
2.66/1.99	c Got one! Elapsed wall clock time (in seconds):1.851
2.66/1.99	o -35
3.07/2.31	c cleaning 3970 clauses out of 8016 with flag 12250/10511
4.07/3.23	c cleaning 5021 clauses out of 10043 with flag 41983/16508
5.46/4.57	c cleaning 6002 clauses out of 12023 with flag 82117/23509
7.26/6.37	c cleaning 7017 clauses out of 14034 with flag 126403/31522
9.26/8.35	c cleaning 8000 clauses out of 16002 with flag 170261/40507
11.06/10.11	c cleaning 9000 clauses out of 18006 with flag 226301/50511
13.45/12.54	c cleaning 9994 clauses out of 20005 with flag 286356/61510
15.35/14.48	c cleaning 10987 clauses out of 22008 with flag 356053/73507
19.35/18.45	c cleaning 12002 clauses out of 24022 with flag 411492/86508
23.64/22.74	c cleaning 13007 clauses out of 26020 with flag 506829/100508
27.84/27.00	c cleaning 13992 clauses out of 28015 with flag 589861/115510
31.68/30.74	c cleaning 14973 clauses out of 30021 with flag 666576/131508
35.93/34.92	c cleaning 16018 clauses out of 32049 with flag 749466/148509
41.45/40.48	c cleaning 17012 clauses out of 34031 with flag 830261/166509
46.74/45.74	c cleaning 17997 clauses out of 36017 with flag 903164/185507
51.78/50.73	c cleaning 19006 clauses out of 38026 with flag 996103/205513
57.56/56.55	c cleaning 20007 clauses out of 40020 with flag 1086607/226513
62.78/61.72	c cleaning 20999 clauses out of 42008 with flag 1193260/248508
70.66/69.67	c cleaning 21967 clauses out of 44009 with flag 1291740/271508
79.30/78.27	c cleaning 23026 clauses out of 46051 with flag 1380471/295517
87.38/86.37	c cleaning 24010 clauses out of 48027 with flag 1496848/320519
94.21/93.18	c cleaning 25001 clauses out of 50008 with flag 1619385/346510
102.36/101.25	c cleaning 25984 clauses out of 52004 with flag 1726315/373507
110.04/108.95	c cleaning 27005 clauses out of 54021 with flag 1848478/401508
119.96/118.82	c cleaning 27998 clauses out of 56020 with flag 1949508/430512
128.99/127.84	c cleaning 29010 clauses out of 58020 with flag 2052922/460510
136.98/135.87	c cleaning 29984 clauses out of 60011 with flag 2208414/491511
146.99/145.81	c cleaning 30967 clauses out of 62024 with flag 2346904/523508
158.53/157.38	c cleaning 32035 clauses out of 64069 with flag 2520600/556520
168.96/167.73	c cleaning 33009 clauses out of 66024 with flag 2676391/590510
179.49/178.27	c cleaning 34000 clauses out of 68017 with flag 2835716/625512
188.22/186.96	c cleaning 35005 clauses out of 70016 with flag 2971563/661511
198.86/197.52	c cleaning 36003 clauses out of 72014 with flag 3121913/698514
209.94/208.67	c cleaning 36977 clauses out of 74011 with flag 3271541/736514
222.26/220.70	c cleaning 38010 clauses out of 76029 with flag 3420461/775509
235.39/233.88	c cleaning 38986 clauses out of 78024 with flag 3576635/815514
249.87/248.36	c cleaning 40017 clauses out of 80044 with flag 3725335/856520
266.20/264.67	c cleaning 41005 clauses out of 82014 with flag 3861522/898507
278.87/277.33	c cleaning 41990 clauses out of 84014 with flag 4035907/941512
289.74/288.24	c cleaning 42990 clauses out of 86038 with flag 4210568/985526
301.72/300.27	c cleaning 43999 clauses out of 88029 with flag 4367091/1030507
313.40/311.95	c cleaning 44995 clauses out of 90030 with flag 4535063/1076507
325.77/324.35	c cleaning 46015 clauses out of 92035 with flag 4716516/1123507
342.53/341.15	c cleaning 47005 clauses out of 94021 with flag 4902994/1171508
358.50/357.11	c cleaning 48007 clauses out of 96024 with flag 5057417/1220516
376.75/375.49	c cleaning 48993 clauses out of 98008 with flag 5234316/1270507
393.62/392.33	c cleaning 49974 clauses out of 100016 with flag 5398972/1321508
411.03/409.43	c cleaning 51015 clauses out of 102048 with flag 5558570/1373514
426.32/424.67	c cleaning 51990 clauses out of 104027 with flag 5748365/1426508
442.08/440.41	c cleaning 53013 clauses out of 106036 with flag 5932410/1480507
461.04/459.34	c cleaning 54010 clauses out of 108023 with flag 6090015/1535507
483.55/481.52	c cleaning 54998 clauses out of 110018 with flag 6258029/1591512
502.21/500.27	c cleaning 55995 clauses out of 112016 with flag 6470311/1648508
517.69/515.72	c cleaning 56987 clauses out of 114023 with flag 6684526/1706510
536.25/534.39	c cleaning 57985 clauses out of 116034 with flag 6878126/1765508
558.61/556.62	c cleaning 59017 clauses out of 118048 with flag 7073185/1825507
578.77/576.82	c cleaning 60004 clauses out of 120034 with flag 7302961/1886510
599.72/597.85	c cleaning 61016 clauses out of 122032 with flag 7534433/1948512
620.21/618.25	c cleaning 62006 clauses out of 124014 with flag 7750954/2011510
640.37/638.49	c cleaning 62986 clauses out of 126007 with flag 7991618/2075509
664.52/662.60	c cleaning 63997 clauses out of 128024 with flag 8196278/2140512
698.50/696.53	c cleaning 64993 clauses out of 130034 with flag 8419067/2206519
723.65/721.78	c cleaning 66013 clauses out of 132032 with flag 8647481/2273510
749.50/747.66	c cleaning 67013 clauses out of 134028 with flag 8847435/2341519
769.59/767.67	c cleaning 67999 clauses out of 136003 with flag 9078361/2410507
792.44/790.54	c cleaning 68983 clauses out of 138005 with flag 9296945/2480508
813.10/811.23	c cleaning 70010 clauses out of 140024 with flag 9540452/2551510
831.59/829.64	c cleaning 70967 clauses out of 142011 with flag 9796876/2623507
854.24/852.39	c cleaning 71971 clauses out of 144044 with flag 10060993/2696507
879.64/877.63	c cleaning 73014 clauses out of 146074 with flag 10326506/2770508
902.72/900.31	c cleaning 74030 clauses out of 148062 with flag 10579578/2845510
930.27/927.96	c cleaning 74989 clauses out of 150030 with flag 10811253/2921508
951.21/948.88	c cleaning 75994 clauses out of 152042 with flag 11046840/2998509
978.24/975.90	c cleaning 77016 clauses out of 154050 with flag 11276339/3076511
1012.54/1010.13	c cleaning 77988 clauses out of 156031 with flag 11504428/3155508
1066.03/1063.78	c cleaning 79008 clauses out of 158043 with flag 11729557/3235508
1124.64/1122.25	c cleaning 79997 clauses out of 160039 with flag 11939601/3316512
1187.02/1184.53	c cleaning 80999 clauses out of 162039 with flag 12136460/3398509
1269.54/1267.26	c cleaning 82000 clauses out of 164038 with flag 12370929/3481507
1301.16/1298.70	c cleaning 83013 clauses out of 166050 with flag 12669799/3565519
1349.36/1346.90	c cleaning 83977 clauses out of 168026 with flag 12882204/3650508
1384.33/1381.49	c cleaning 85004 clauses out of 170050 with flag 13111439/3736509
1438.27/1435.45	c cleaning 85999 clauses out of 172044 with flag 13388546/3823507
1467.42/1464.68	c cleaning 87022 clauses out of 174054 with flag 13668716/3911516
1499.80/1496.95	c cleaning 87990 clauses out of 176024 with flag 13953743/4000508
1549.29/1546.52	c cleaning 89004 clauses out of 178040 with flag 14204701/4090514
1587.37/1584.56	c cleaning 90002 clauses out of 180035 with flag 14511690/4181513
1640.77/1638.06	c cleaning 90980 clauses out of 182040 with flag 14781317/4273520
1703.23/1700.40	c cleaning 91973 clauses out of 184049 with flag 14988892/4366509
1741.16/1738.21	c cleaning 93025 clauses out of 186076 with flag 15280832/4460509
1769.79/1766.98	c cleaning 94002 clauses out of 188057 with flag 15599739/4555515
1805.20/1802.30	c cleaning 95025 clauses out of 190052 with flag 15931538/4651512
1831.27/1827.99	c cleaning 95993 clauses out of 192037 with flag 16272395/4748522
1860.87/1857.59	c cleaning 97013 clauses out of 194043 with flag 16594967/4846521
1886.33/1883.07	c cleaning 97989 clauses out of 196018 with flag 16915467/4945509
1916.16/1912.88	c cleaning 99010 clauses out of 198027 with flag 17268833/5045507
1956.54/1953.03	c cleaning 99986 clauses out of 200018 with flag 17580085/5146508
1983.88/1980.46	c cleaning 101009 clauses out of 202033 with flag 17929307/5248509
2020.91/2017.41	c cleaning 101960 clauses out of 204022 with flag 18238129/5351507
2065.30/2061.74	c cleaning 103016 clauses out of 206066 with flag 18642799/5455511
2097.16/2093.58	c cleaning 103972 clauses out of 208048 with flag 19054677/5560509
2135.83/2131.61	c cleaning 105041 clauses out of 210086 with flag 19520476/5666519
2176.73/2172.56	c cleaning 106013 clauses out of 212038 with flag 19871488/5773512
2209.34/2205.05	c cleaning 106977 clauses out of 214020 with flag 20214475/5881507
2245.26/2241.07	c cleaning 108001 clauses out of 216043 with flag 20610977/5990507
2283.67/2279.43	c cleaning 109010 clauses out of 218065 with flag 20992136/6100530
2339.50/2335.23	c cleaning 110015 clauses out of 220051 with flag 21340744/6211526
2374.54/2370.13	c cleaning 110973 clauses out of 222040 with flag 21752513/6323530
2412.18/2407.73	c cleaning 111984 clauses out of 224044 with flag 22175777/6436507
2455.23/2450.26	c cleaning 113008 clauses out of 226064 with flag 22586528/6550511
2493.15/2488.24	c cleaning 113992 clauses out of 228053 with flag 23004742/6665508
2532.40/2527.43	c cleaning 115029 clauses out of 230060 with flag 23434561/6781507
2568.51/2563.42	c cleaning 115998 clauses out of 232032 with flag 23824418/6898508
2602.41/2597.24	c cleaning 116989 clauses out of 234033 with flag 24274523/7016507
2636.48/2631.21	c cleaning 118004 clauses out of 236045 with flag 24721473/7135508
2673.61/2668.34	c cleaning 119018 clauses out of 238040 with flag 25155750/7255507
2711.46/2705.76	c cleaning 120002 clauses out of 240028 with flag 25557642/7376513
2839.47/2833.93	c cleaning 120978 clauses out of 242021 with flag 25932675/7498508
2985.70/2980.25	c cleaning 122006 clauses out of 244056 with flag 26251041/7621521
3052.59/3047.01	c cleaning 122998 clauses out of 246037 with flag 26656717/7745508
3103.26/3097.64	c cleaning 124016 clauses out of 248039 with flag 27043457/7870508
3146.39/3140.74	c cleaning 125014 clauses out of 250030 with flag 27451185/7996515
3190.78/3184.50	c cleaning 126006 clauses out of 252014 with flag 27851115/8123513
3233.78/3227.68	c cleaning 126945 clauses out of 254002 with flag 28278461/8251507
3270.15/3263.99	c cleaning 128024 clauses out of 256063 with flag 28739411/8380513
3318.70/3312.49	c cleaning 128999 clauses out of 258034 with flag 29147081/8510508
3387.61/3381.31	c cleaning 130023 clauses out of 260050 with flag 29535088/8641523
3443.05/3436.77	c cleaning 131006 clauses out of 262011 with flag 29951947/8773507
3497.92/3491.53	c cleaning 132001 clauses out of 264007 with flag 30339995/8906509
3587.44/3580.67	c cleaning 132925 clauses out of 266017 with flag 30677629/9040520
3600.02/3593.21	c starts		: 15128
3600.02/3593.21	c conflicts		: 9081437
3600.02/3593.22	c decisions		: 71217685
3600.02/3593.22	c propagations		: 641696293
3600.02/3593.22	c inspects		: 24827561003
3600.02/3593.22	c shortcuts		: 0
3600.02/3593.22	c learnt literals	: 0
3600.02/3593.22	c learnt binary clauses	: 9
3600.02/3593.22	c learnt ternary clauses	: 2374
3600.02/3593.22	c learnt constraints	: 9081437
3600.02/3593.22	c ignored constraints	: 0
3600.02/3593.22	c root simplifications	: 0
3600.02/3593.22	c removed literals (reason simplification)	: 1220963987
3600.02/3593.22	c reason swapping (by a shorter reason)	: 0
3600.02/3593.22	c Calls to reduceDB	: 131
3600.02/3593.22	c Number of update (reduction) of LBD	: 2048043
3600.02/3593.22	c Imported unit clauses	: 0
3600.02/3593.22	c No decision after first conflict	: false
3600.02/3593.22	c number of reductions to clauses (during analyze)	: 0
3600.02/3593.22	c number of learned constraints concerned by reduction	: 0
3600.02/3593.22	c number of learning phase by resolution	: 0
3600.02/3593.22	c number of learning phase by cutting planes	: 0
3600.02/3593.22	c number of rounding to 1 operations	: 0
3600.02/3593.22	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3593.22	c number of reductions of the coefficients by power 2 	: 0
3600.02/3593.22	c number of right shift for reduction by power 2 	: 0
3600.02/3593.22	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3593.22	c number of ending skipping 	: 0
3600.02/3593.22	c number of internal skipping 	: 0
3600.02/3593.22	c number of derivation steps 	: 0
3600.02/3593.22	c number of skipped derivation steps 	: 0
3600.02/3593.22	c number of remaining unassigned 	: 0
3600.02/3593.22	c number of remaining assigned 	: 0
3600.02/3593.22	c number of falsified literals weakened from reason	: 0
3600.02/3593.22	c number of falsified literals weakened from conflict	: 0
3600.02/3593.22	c time for arithmetic operations	: 0
3600.02/3593.23	c minimum degree of deleted constraints	: null
3600.02/3593.23	c maximum degree of deleted constraints	: null
3600.02/3593.23	c number of deleted constraints	: 0
3600.02/3593.23	c speed (assignments/second)	: 178597.63254486813
3600.02/3593.23	c non guided choices	: 0
3600.02/3593.29	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 174000
3600.02/3593.29	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 9
3600.02/3593.29	s SATISFIABLE
3600.02/3593.29	c Found 3 solution(s)
3600.02/3593.30	v x1 x2 -x3 x4 -x5 -x6 -x7 x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 x16 -x17 x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 x32 x33 x34 -x35 x36 x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 x65 -x66 x67 x68 x69 -x70 x71 -x72 x73 x74 x75 x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 x129 -x130 x131 -x132 x133 x134 -x135 -x136 x137 x138 x139 x140 -x141 x142 x143 -x144 -x145 -x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 x251 -x252 -x253 -x254 -x255 -x256 -x257 x258 x259 x260 -x261 -x262 -x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 x292 -x293 -x294 -x295 -x296 -x297 -x298 x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 x309 x310 -x311 x312 -x313 x314 x315 -x316 -x317 -x318 -x319 -x320 x321 -x322 x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 x354 -x355 -x356 x357 x358 x359 -x360 -x361 -x362 x363 -x364 -x365 x366 x367 -x368 -x369 -x370 -x371 x372 -x373 -x374 -x375 -x376 -x377 x378 -x379 -x380 -x381 x382 -x383 -x384 -x385 -x386 -x387 x388 -x389 -x390 x391 x392 x393 -x394 -x395 -x396 x397 -x398 x399 -x400 
3600.02/3593.30	c objective function=-35
3600.02/3593.30	c Total wall clock time (in seconds): 3593.165

Verifier Data 

OK	-35

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: 63708 MiB (62569 MiB free)
  memory of node 1: 64465 MiB (63395 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498372-1751390552/watcher-4498372-1751390552 -o /tmp/evaluation-result-4498372-1751390552/solver-4498372-1751390552 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751383337-55328 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4498372-1751390552.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.10006 s]*
/proc/loadavg: 4.17 4.19 4.13 7/335 56434
/proc/meminfo: memFree=128962152/131249988 swapFree=33010684/33010684
[pid=56416] ppid=56413 vsize=18930384 memory=55616 CPUtime=0.12 cores=0,2
/proc/56416/stat : 56416 (java) S 56413 56416 55318 0 -1 4194304 6546 0 0 0 10 2 0 0 20 0 18 0 54732800 19384713216 13904 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
/proc/56416/statm: 4732596 13904 5353 1 0 547604 0
[pid=56416/tid=56418] ppid=56413 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/56416/task/56418/stat : 56418 (java) R 56413 56416 55318 0 -1 4194368 5041 0 0 0 6 1 0 0 20 0 18 0 54732802 19384713216 13904 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
[pid=56416/tid=56427] ppid=56413 vsize=18930384 memory=228522721619 CPUtime=0 cores=0,2
/proc/56416/task/56427/stat : 56427 (Finalizer) S 56413 56416 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 54732804 19384713216 13904 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
[pid=56416/tid=56434] ppid=56413 vsize=18930384 memory=55186957824150 CPUtime=0 cores=0,2
/proc/56416/task/56434/stat : 56434 (Common-Cleaner) S 56413 56416 55318 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 54732804 19384713216 13904 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55616 KiB

[startup+0.205561 s]*
/proc/loadavg: 4.17 4.19 4.13 7/335 56434
/proc/meminfo: memFree=128955920/131249988 swapFree=33010684/33010684
[pid=56416] ppid=56413 vsize=18930384 memory=66164 CPUtime=0.31 cores=0,2
/proc/56416/stat : 56416 (java) S 56413 56416 55318 0 -1 4194304 7042 0 0 0 29 2 0 0 20 0 18 0 54732800 19384713216 16541 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
/proc/56416/statm: 4732596 16541 5449 1 0 547899 0
[pid=56416/tid=56418] ppid=56413 vsize=18930384 memory=4026663196 CPUtime=0.16 cores=0,2
/proc/56416/task/56418/stat : 56418 (java) R 56413 56416 55318 0 -1 4194368 5291 0 0 0 15 1 0 0 20 0 18 0 54732802 19384713216 16541 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
[pid=56416/tid=56427] ppid=56413 vsize=18930384 memory=17146 CPUtime=0 cores=0,2
/proc/56416/task/56427/stat : 56427 (Finalizer) S 56413 56416 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 54732804 19384713216 16541 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
[pid=56416/tid=56434] ppid=56413 vsize=18930384 memory=54087446168546 CPUtime=0 cores=0,2
/proc/56416/task/56434/stat : 56434 (Common-Cleaner) S 56413 56416 55318 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 54732804 19384713216 16541 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 66164 KiB

[startup+0.305515 s]*
/proc/loadavg: 4.17 4.19 4.13 6/336 56435
/proc/meminfo: memFree=128943632/131249988 swapFree=33010684/33010684
[pid=56416] ppid=56413 vsize=18996948 memory=80280 CPUtime=0.5 cores=0,2
/proc/56416/stat : 56416 (java) S 56413 56416 55318 0 -1 4194304 7768 0 0 0 47 3 0 0 20 0 19 0 54732800 19452874752 20070 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
/proc/56416/statm: 4749237 20070 5481 1 0 548508 0
[pid=56416/tid=56418] ppid=56413 vsize=18996948 memory=-6000919494248523370 CPUtime=0.25 cores=0,2
/proc/56416/task/56418/stat : 56418 (java) R 56413 56416 55318 0 -1 4194368 5408 0 0 0 23 2 0 0 20 0 19 0 54732802 19452874752 20070 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
[pid=56416/tid=56427] ppid=56413 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/56416/task/56427/stat : 56427 (Finalizer) S 56413 56416 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54732804 19452874752 20070 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
[pid=56416/tid=56434] ppid=56413 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/56416/task/56434/stat : 56434 (Common-Cleaner) S 56413 56416 55318 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 54732804 19452874752 20070 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
[pid=56416/tid=56435] ppid=56413 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/56416/task/56435/stat : 56435 (Timer-0) S 56413 56416 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54732826 19452874752 20070 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 80280 KiB

[startup+0.70023 s]
/proc/loadavg: 4.17 4.19 4.13 6/336 56435
/proc/meminfo: memFree=128939096/131249988 swapFree=33010684/33010684
[pid=56416] ppid=56413 vsize=18996948 memory=89552 CPUtime=1.26 cores=0,2
/proc/56416/stat : 56416 (java) S 56413 56416 55318 0 -1 4194304 11079 0 0 0 123 3 0 0 20 0 19 0 54732800 19452874752 22388 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
/proc/56416/statm: 4749237 22388 5481 1 0 550700 0
[pid=56416/tid=56418] ppid=56413 vsize=18996948 memory=18304 CPUtime=0.64 cores=0,2
/proc/56416/task/56418/stat : 56418 (java) R 56413 56416 55318 0 -1 4194368 5425 0 0 0 62 2 0 0 20 0 19 0 54732802 19452874752 22388 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
[pid=56416/tid=56427] ppid=56413 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/56416/task/56427/stat : 56427 (Finalizer) S 56413 56416 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54732804 19452874752 22388 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
[pid=56416/tid=56434] ppid=56413 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/56416/task/56434/stat : 56434 (Common-Cleaner) S 56413 56416 55318 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 54732804 19452874752 22388 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
[pid=56416/tid=56435] ppid=56413 vsize=18996948 memory=4760 CPUtime=0 cores=0,2
/proc/56416/task/56435/stat : 56435 (Timer-0) S 56413 56416 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54732826 19452874752 22388 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 89552 KiB

[startup+1.50024 s]
/proc/loadavg: 4.17 4.19 4.13 5/336 56435
/proc/meminfo: memFree=128934008/131249988 swapFree=33010684/33010684
[pid=56416] ppid=56413 vsize=18996948 memory=94064 CPUtime=2.22 cores=0,2
/proc/56416/stat : 56416 (java) S 56413 56416 55318 0 -1 4194304 14055 0 0 0 218 4 0 0 20 0 19 0 54732800 19452874752 23516 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
/proc/56416/statm: 4749237 23516 5481 1 0 550729 0
[pid=56416/tid=56418] ppid=56413 vsize=18996948 memory=10752 CPUtime=1.43 cores=0,2
/proc/56416/task/56418/stat : 56418 (java) R 56413 56416 55318 0 -1 4194368 6443 0 0 0 141 2 0 0 20 0 19 0 54732802 19452874752 23516 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
[pid=56416/tid=56427] ppid=56413 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/56416/task/56427/stat : 56427 (Finalizer) S 56413 56416 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54732804 19452874752 23516 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
[pid=56416/tid=56434] ppid=56413 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/56416/task/56434/stat : 56434 (Common-Cleaner) S 56413 56416 55318 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 54732804 19452874752 23516 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
[pid=56416/tid=56435] ppid=56413 vsize=18996948 memory=4760 CPUtime=0 cores=0,2
/proc/56416/task/56435/stat : 56435 (Timer-0) S 56413 56416 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54732826 19452874752 23516 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
Current children cumulated CPU time: 2.22 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 94064 KiB

[startup+3.10537 s]
/proc/loadavg: 4.23 4.20 4.13 7/337 56437
/proc/meminfo: memFree=128912972/131249988 swapFree=33010684/33010684
[pid=56416] ppid=56413 vsize=18996948 memory=104640 CPUtime=3.98 cores=0,2
/proc/56416/stat : 56416 (java) S 56413 56416 55318 0 -1 4194304 15915 0 0 0 394 4 0 0 20 0 19 0 54732800 19452874752 26160 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
/proc/56416/statm: 4749237 26160 5481 1 0 550752 0
[pid=56416/tid=56418] ppid=56413 vsize=18996948 memory=10752 CPUtime=3.03 cores=0,2
/proc/56416/task/56418/stat : 56418 (java) R 56413 56416 55318 0 -1 4194368 7117 0 0 0 301 2 0 0 20 0 19 0 54732802 19452874752 26160 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
[pid=56416/tid=56427] ppid=56413 vsize=18996948 memory=-6000919494248523370 CPUtime=0 cores=0,2
/proc/56416/task/56427/stat : 56427 (Finalizer) S 56413 56416 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54732804 19452874752 26160 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
[pid=56416/tid=56434] ppid=56413 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/56416/task/56434/stat : 56434 (Common-Cleaner) S 56413 56416 55318 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 54732804 19452874752 26160 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
[pid=56416/tid=56435] ppid=56413 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/56416/task/56435/stat : 56435 (Timer-0) S 56413 56416 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54732826 19452874752 26160 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
Current children cumulated CPU time: 3.98 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 104640 KiB

[startup+6.30021 s]
/proc/loadavg: 4.23 4.20 4.13 5/337 56437
/proc/meminfo: memFree=128874608/131249988 swapFree=33010684/33010684
[pid=56416] ppid=56413 vsize=18996948 memory=127932 CPUtime=7.26 cores=0,2
/proc/56416/stat : 56416 (java) S 56413 56416 55318 0 -1 4194304 19718 0 0 0 720 6 0 0 20 0 19 0 54732800 19452874752 31983 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
/proc/56416/statm: 4749237 31983 5481 1 0 550854 0
[pid=56416/tid=56418] ppid=56413 vsize=18996948 memory=0 CPUtime=6.22 cores=0,2
/proc/56416/task/56418/stat : 56418 (java) R 56413 56416 55318 0 -1 4194368 7748 0 0 0 619 3 0 0 20 0 19 0 54732802 19452874752 31983 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
[pid=56416/tid=56427] ppid=56413 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/56416/task/56427/stat : 56427 (Finalizer) S 56413 56416 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54732804 19452874752 31983 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
[pid=56416/tid=56434] ppid=56413 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/56416/task/56434/stat : 56434 (Common-Cleaner) S 56413 56416 55318 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 19 0 54732804 19452874752 31983 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
[pid=56416/tid=56435] ppid=56413 vsize=18996948 memory=94064 CPUtime=0 cores=0,2
/proc/56416/task/56435/stat : 56435 (Timer-0) S 56413 56416 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 54732826 19452874752 31983 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
Current children cumulated CPU time: 7.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 127932 KiB

[startup+12.7002 s]
/proc/loadavg: 4.20 4.19 4.13 5/339 56439
/proc/meminfo: memFree=128792436/131249988 swapFree=33010684/33010684
[pid=56416] ppid=56413 vsize=19063512 memory=173436 CPUtime=13.65 cores=0,2
/proc/56416/stat : 56416 (java) S 56413 56416 55318 0 -1 4194304 22095 0 0 0 1359 6 0 0 20 0 20 0 54732800 19521036288 43359 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
/proc/56416/statm: 4765878 43359 5513 1 0 551143 0
[pid=56416/tid=56418] ppid=56413 vsize=19063512 memory=94064 CPUtime=12.58 cores=0,2
/proc/56416/task/56418/stat : 56418 (java) R 56413 56416 55318 0 -1 4194368 8430 0 0 0 1255 3 0 0 20 0 20 0 54732802 19521036288 43359 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
[pid=56416/tid=56427] ppid=56413 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/56416/task/56427/stat : 56427 (Finalizer) S 56413 56416 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54732804 19521036288 43359 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
[pid=56416/tid=56434] ppid=56413 vsize=19063512 memory=173436 CPUtime=0 cores=0,2
/proc/56416/task/56434/stat : 56434 (Common-Cleaner) S 56413 56416 55318 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 54732804 19521036288 43359 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
[pid=56416/tid=56435] ppid=56413 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/56416/task/56435/stat : 56435 (Timer-0) S 56413 56416 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54732826 19521036288 43359 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
Current children cumulated CPU time: 13.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 173436 KiB

[startup+25.5002 s]
/proc/loadavg: 4.25 4.20 4.13 5/340 56440
/proc/meminfo: memFree=128743284/131249988 swapFree=33010684/33010684
[pid=56416] ppid=56413 vsize=19063512 memory=183960 CPUtime=26.44 cores=0,2
/proc/56416/stat : 56416 (java) S 56413 56416 55318 0 -1 4194304 25453 0 0 0 2637 7 0 0 20 0 20 0 54732800 19521036288 45990 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
/proc/56416/statm: 4765878 45990 5545 1 0 551143 0
[pid=56416/tid=56418] ppid=56413 vsize=19063512 memory=10752 CPUtime=25.35 cores=0,2
/proc/56416/task/56418/stat : 56418 (java) R 56413 56416 55318 0 -1 4194368 9667 0 0 0 2531 4 0 0 20 0 20 0 54732802 19521036288 45990 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
[pid=56416/tid=56427] ppid=56413 vsize=19063512 memory=173436 CPUtime=0 cores=0,2
/proc/56416/task/56427/stat : 56427 (Finalizer) S 56413 56416 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54732804 19521036288 45990 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
[pid=56416/tid=56434] ppid=56413 vsize=19063512 memory=5276 CPUtime=0 cores=0,2
/proc/56416/task/56434/stat : 56434 (Common-Cleaner) S 56413 56416 55318 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 54732804 19521036288 45990 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
[pid=56416/tid=56435] ppid=56413 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/56416/task/56435/stat : 56435 (Timer-0) S 56413 56416 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54732826 19521036288 45990 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
Current children cumulated CPU time: 26.44 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 183960 KiB

[startup+51.1054 s]
/proc/loadavg: 4.23 4.20 4.14 5/340 56440
/proc/meminfo: memFree=128616068/131249988 swapFree=33010684/33010684
[pid=56416] ppid=56413 vsize=19063512 memory=291372 CPUtime=52.18 cores=0,2
/proc/56416/stat : 56416 (java) S 56413 56416 55318 0 -1 4194304 28211 0 0 0 5207 11 0 0 20 0 20 0 54732800 19521036288 72843 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
/proc/56416/statm: 4765878 72843 5545 1 0 551143 0
[pid=56416/tid=56418] ppid=56413 vsize=19063512 memory=291372 CPUtime=50.81 cores=0,2
/proc/56416/task/56418/stat : 56418 (java) R 56413 56416 55318 0 -1 4194368 9707 0 0 0 5077 4 0 0 20 0 20 0 54732802 19521036288 72843 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0

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

[startup+3282.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/338 56605
/proc/meminfo: memFree=121809872/131249988 swapFree=33010684/33010684
[pid=56416] ppid=56413 vsize=19063512 memory=2492852 CPUtime=3288.67 cores=0,2
/proc/56416/stat : 56416 (java) S 56413 56416 55318 0 -1 4194304 130290 0 0 0 328726 141 0 0 20 0 20 0 54732800 19521036288 623213 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
/proc/56416/statm: 4765878 623213 5545 1 0 636033 0
[pid=56416/tid=56418] ppid=56413 vsize=19063512 memory=5276 CPUtime=3265.08 cores=0,2
/proc/56416/task/56418/stat : 56418 (java) R 56413 56416 55318 0 -1 4194368 51647 0 0 0 326476 32 0 0 20 0 20 0 54732802 19521036288 623213 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
[pid=56416/tid=56427] ppid=56413 vsize=19063512 memory=2492852 CPUtime=0 cores=0,2
/proc/56416/task/56427/stat : 56427 (Finalizer) S 56413 56416 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54732804 19521036288 623213 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
[pid=56416/tid=56434] ppid=56413 vsize=19063512 memory=2492852 CPUtime=0 cores=0,2
/proc/56416/task/56434/stat : 56434 (Common-Cleaner) S 56413 56416 55318 0 -1 4194368 1794 0 0 0 0 0 0 0 20 0 20 0 54732804 19521036288 623213 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
[pid=56416/tid=56435] ppid=56413 vsize=19063512 memory=1920 CPUtime=0 cores=0,2
/proc/56416/task/56435/stat : 56435 (Timer-0) S 56413 56416 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54732826 19521036288 623213 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
Current children cumulated CPU time: 3288.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2492852 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/338 56607
/proc/meminfo: memFree=121570680/131249988 swapFree=33010684/33010684
[pid=56416] ppid=56413 vsize=19063512 memory=2492852 CPUtime=3348.54 cores=0,2
/proc/56416/stat : 56416 (java) S 56413 56416 55318 0 -1 4194304 131098 0 0 0 334712 142 0 0 20 0 20 0 54732800 19521036288 623213 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
/proc/56416/statm: 4765878 623213 5545 1 0 636033 0
[pid=56416/tid=56418] ppid=56413 vsize=19063512 memory=2492852 CPUtime=3324.94 cores=0,2
/proc/56416/task/56418/stat : 56418 (java) R 56413 56416 55318 0 -1 4194368 52245 0 0 0 332462 32 0 0 20 0 20 0 54732802 19521036288 623213 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
[pid=56416/tid=56427] ppid=56413 vsize=19063512 memory=2492852 CPUtime=0 cores=0,2
/proc/56416/task/56427/stat : 56427 (Finalizer) S 56413 56416 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54732804 19521036288 623213 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
[pid=56416/tid=56434] ppid=56413 vsize=19063512 memory=2492852 CPUtime=0 cores=0,2
/proc/56416/task/56434/stat : 56434 (Common-Cleaner) S 56413 56416 55318 0 -1 4194368 1917 0 0 0 0 0 0 0 20 0 20 0 54732804 19521036288 623213 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
[pid=56416/tid=56435] ppid=56413 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/56416/task/56435/stat : 56435 (Timer-0) S 56413 56416 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54732826 19521036288 623213 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
Current children cumulated CPU time: 3348.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2492852 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/338 56609
/proc/meminfo: memFree=121569560/131249988 swapFree=33010684/33010684
[pid=56416] ppid=56413 vsize=19063512 memory=2492852 CPUtime=3408.57 cores=0,2
/proc/56416/stat : 56416 (java) S 56413 56416 55318 0 -1 4194304 132031 0 0 0 340714 143 0 0 20 0 20 0 54732800 19521036288 623213 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
/proc/56416/statm: 4765878 623213 5545 1 0 636033 0
[pid=56416/tid=56418] ppid=56413 vsize=19063512 memory=14848 CPUtime=3384.65 cores=0,2
/proc/56416/task/56418/stat : 56418 (java) R 56413 56416 55318 0 -1 4194368 52285 0 0 0 338433 32 0 0 20 0 20 0 54732802 19521036288 623213 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
[pid=56416/tid=56427] ppid=56413 vsize=19063512 memory=2492852 CPUtime=0 cores=0,2
/proc/56416/task/56427/stat : 56427 (Finalizer) S 56413 56416 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54732804 19521036288 623213 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
[pid=56416/tid=56434] ppid=56413 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/56416/task/56434/stat : 56434 (Common-Cleaner) S 56413 56416 55318 0 -1 4194368 1917 0 0 0 0 0 0 0 20 0 20 0 54732804 19521036288 623213 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
[pid=56416/tid=56435] ppid=56413 vsize=19063512 memory=2492852 CPUtime=0 cores=0,2
/proc/56416/task/56435/stat : 56435 (Timer-0) S 56413 56416 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54732826 19521036288 623213 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
Current children cumulated CPU time: 3408.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2492852 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/340 56617
/proc/meminfo: memFree=121569664/131249988 swapFree=33010684/33010684
[pid=56416] ppid=56413 vsize=19063512 memory=2492852 CPUtime=3468.61 cores=0,2
/proc/56416/stat : 56416 (java) S 56413 56416 55318 0 -1 4194304 132853 0 0 0 346716 145 0 0 20 0 20 0 54732800 19521036288 623213 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
/proc/56416/statm: 4765878 623213 5545 1 0 636033 0
[pid=56416/tid=56418] ppid=56413 vsize=19063512 memory=2492852 CPUtime=3444.35 cores=0,2
/proc/56416/task/56418/stat : 56418 (java) R 56413 56416 55318 0 -1 4194368 52898 0 0 0 344403 32 0 0 20 0 20 0 54732802 19521036288 623213 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
[pid=56416/tid=56427] ppid=56413 vsize=19063512 memory=5276 CPUtime=0 cores=0,2
/proc/56416/task/56427/stat : 56427 (Finalizer) S 56413 56416 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54732804 19521036288 623213 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
[pid=56416/tid=56434] ppid=56413 vsize=19063512 memory=14848 CPUtime=0 cores=0,2
/proc/56416/task/56434/stat : 56434 (Common-Cleaner) S 56413 56416 55318 0 -1 4194368 1917 0 0 0 0 0 0 0 20 0 20 0 54732804 19521036288 623213 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
[pid=56416/tid=56435] ppid=56413 vsize=19063512 memory=18304 CPUtime=0 cores=0,2
/proc/56416/task/56435/stat : 56435 (Timer-0) S 56413 56416 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54732826 19521036288 623213 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
Current children cumulated CPU time: 3468.61 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2492852 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/340 56619
/proc/meminfo: memFree=121569784/131249988 swapFree=33010684/33010684
[pid=56416] ppid=56413 vsize=19063512 memory=2492980 CPUtime=3529.15 cores=0,2
/proc/56416/stat : 56416 (java) S 56413 56416 55318 0 -1 4194304 137426 0 0 0 352768 147 0 0 20 0 20 0 54732800 19521036288 623245 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
/proc/56416/statm: 4765878 623245 5545 1 0 636060 0
[pid=56416/tid=56418] ppid=56413 vsize=19063512 memory=-6000919494248523370 CPUtime=3503.94 cores=0,2
/proc/56416/task/56418/stat : 56418 (java) R 56413 56416 55318 0 -1 4194368 53907 0 0 0 350362 32 0 0 20 0 20 0 54732802 19521036288 623245 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
[pid=56416/tid=56427] ppid=56413 vsize=19063512 memory=2764 CPUtime=0 cores=0,2
/proc/56416/task/56427/stat : 56427 (Finalizer) S 56413 56416 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54732804 19521036288 623245 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
[pid=56416/tid=56434] ppid=56413 vsize=19063512 memory=2492980 CPUtime=0 cores=0,2
/proc/56416/task/56434/stat : 56434 (Common-Cleaner) S 56413 56416 55318 0 -1 4194368 1966 0 0 0 0 0 0 0 20 0 20 0 54732804 19521036288 623245 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
[pid=56416/tid=56435] ppid=56413 vsize=19063512 memory=2492980 CPUtime=0 cores=0,2
/proc/56416/task/56435/stat : 56435 (Timer-0) S 56413 56416 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54732826 19521036288 623245 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
Current children cumulated CPU time: 3529.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2492980 KiB

[startup+3582.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/340 56621
/proc/meminfo: memFree=121549192/131249988 swapFree=33010684/33010684
[pid=56416] ppid=56413 vsize=19063512 memory=2492980 CPUtime=3589.14 cores=0,2
/proc/56416/stat : 56416 (java) S 56413 56416 55318 0 -1 4194304 138709 0 0 0 358765 149 0 0 20 0 20 0 54732800 19521036288 623245 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
/proc/56416/statm: 4765878 623245 5545 1 0 636060 0
[pid=56416/tid=56418] ppid=56413 vsize=19063512 memory=18304 CPUtime=3563.7 cores=0,2
/proc/56416/task/56418/stat : 56418 (java) R 56413 56416 55318 0 -1 4194368 54353 0 0 0 356337 33 0 0 20 0 20 0 54732802 19521036288 623245 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
[pid=56416/tid=56427] ppid=56413 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/56416/task/56427/stat : 56427 (Finalizer) S 56413 56416 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54732804 19521036288 623245 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
[pid=56416/tid=56434] ppid=56413 vsize=19063512 memory=5632 CPUtime=0 cores=0,2
/proc/56416/task/56434/stat : 56434 (Common-Cleaner) S 56413 56416 55318 0 -1 4194368 2093 0 0 0 0 0 0 0 20 0 20 0 54732804 19521036288 623245 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
[pid=56416/tid=56435] ppid=56413 vsize=19063512 memory=2492980 CPUtime=0 cores=0,2
/proc/56416/task/56435/stat : 56435 (Timer-0) S 56413 56416 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54732826 19521036288 623245 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
Current children cumulated CPU time: 3589.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2492980 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3593.2 s]
/proc/loadavg: 4.11 4.09 4.09 5/340 56621
/proc/meminfo: memFree=121549200/131249988 swapFree=33010684/33010684
[pid=56416] ppid=56413 vsize=19063512 memory=2492980 CPUtime=3600.02 cores=0,2
/proc/56416/stat : 56416 (java) S 56413 56416 55318 0 -1 4194304 138718 0 0 0 359853 149 0 0 20 0 20 0 54732800 19521036288 623245 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
/proc/56416/statm: 4765878 623245 5545 1 0 636060 0
[pid=56416/tid=56418] ppid=56413 vsize=19063512 memory=5276 CPUtime=3574.57 cores=0,2
/proc/56416/task/56418/stat : 56418 (java) R 56413 56416 55318 0 -1 4194368 54357 0 0 0 357424 33 0 0 20 0 20 0 54732802 19521036288 623245 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
[pid=56416/tid=56427] ppid=56413 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/56416/task/56427/stat : 56427 (Finalizer) S 56413 56416 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54732804 19521036288 623245 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
[pid=56416/tid=56434] ppid=56413 vsize=19063512 memory=4760 CPUtime=0 cores=0,2
/proc/56416/task/56434/stat : 56434 (Common-Cleaner) S 56413 56416 55318 0 -1 4194368 2093 0 0 0 0 0 0 0 20 0 20 0 54732804 19521036288 623245 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
[pid=56416/tid=56435] ppid=56413 vsize=19063512 memory=2764 CPUtime=0 cores=0,2
/proc/56416/task/56435/stat : 56435 (Timer-0) S 56413 56416 55318 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54732826 19521036288 623245 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2492980 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.72 s, system=1.51084 s

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

[startup+3593.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/340 56621
/proc/meminfo: memFree=121549200/131249988 swapFree=33010684/33010684
[pid=56416] ppid=56413 vsize=19263204 memory=2493876 CPUtime=3600.22 cores=0,2
/proc/56416/stat : 56416 (java) S 56413 56416 55318 0 -1 4194304 140919 0 0 0 359872 150 0 0 20 0 15 0 54732800 19725520896 623469 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
/proc/56416/statm: 4815801 623469 5577 1 0 636983 0
[pid=56416/tid=56418] ppid=56413 vsize=19263204 memory=5632 CPUtime=3574.66 cores=0,2
/proc/56416/task/56418/stat : 56418 (java) S 56413 56416 55318 0 -1 4194368 54462 0 0 0 357433 33 0 0 20 0 15 0 54732802 19725520896 623469 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
[pid=56416/tid=56427] ppid=56413 vsize=19263204 memory=14848 CPUtime=0 cores=0,2
/proc/56416/task/56427/stat : 56427 (Finalizer) S 56413 56416 55318 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 15 0 54732804 19725520896 623469 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
[pid=56416/tid=56434] ppid=56413 vsize=19263204 memory=2492724 CPUtime=0 cores=0,2
/proc/56416/task/56434/stat : 56434 (Common-Cleaner) S 56413 56416 55318 0 -1 4194368 2093 0 0 0 0 0 0 0 20 0 15 0 54732804 19725520896 623469 18446744073709551615 94070522359808 94070522363504 140731435471504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94070522371320 94070522372112 94070524436480 140731435473281 140731435473382 140731435473382 140731435478984 0
Current children cumulated CPU time: 3600.22 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2493876 KiB

Child status: 143

Real time (s): 3593.32
CPU time (s): 3600.23
CPU user time (s): 3598.72
CPU system time (s): 1.51084
CPU usage (%): 100.193
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2493876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.72
system time used= 1.51084
maximum resident set size= 2494004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140946
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 108384
involuntary context switches= 6539


# summary of solver processes directly reported to runsolver:
#   pid: 56416
#   total CPU time (s): 3600.23
#   total CPU user time (s): 3598.72
#   total CPU system time (s): 1.51084

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.08502 second user time and 17.0969 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2025-07-01 19:22:32
IDJOB=4498372
IDBENCH=148640
IDSOLVER=3363
FILE ID=nodeC020/4498372-1751390552
RUNJOBID= nodeC020-1751383337-55328
SLURM_JOB_ID= 9598231
Free space on /tmp= 432944 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_10_4.opb
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4498372-1751390552/watcher-4498372-1751390552 -o /tmp/evaluation-result-4498372-1751390552/solver-4498372-1751390552 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751383337-55328 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4498372-1751390552.opb

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

MD5SUM BENCH= 86f61e8a82c20cbcbe91e875a0628a87
RANDOM SEED=981862928

nodeC020 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.896
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.79
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.882
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.79
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.620
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.79
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.928
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.79
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.891
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.79
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.896
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.79
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		: 3554.920
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.79
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		: 3599.970
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.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        128987984 kB
MemAvailable:   129442116 kB
Buffers:            3280 kB
Cached:          1258040 kB
SwapCached:            0 kB
Active:           735768 kB
Inactive:         948968 kB
Active(anon):     441472 kB
Inactive(anon):        0 kB
Active(file):     294296 kB
Inactive(file):   948968 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              5544 kB
Writeback:             0 kB
AnonPages:        426128 kB
Mapped:           123444 kB
Shmem:             18056 kB
KReclaimable:     100216 kB
Slab:             188560 kB
SReclaimable:     100216 kB
SUnreclaim:        88344 kB
KernelStack:        5168 kB
PageTables:         4476 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    7062900 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151336 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    219136 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:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432944 MiB
End job on nodeC020 at 2025-07-01 20:22:26