Trace number 4457499

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 2024 2024-07-07SAT (TO)-354 3600.33 3655.18

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
profit_ceiling/normalized-knapPI_15_50_1000_5_-1047.opb
MD5SUM0ca7653980f86b2f84ce865c198a6840
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-354
Best CPU time to get the best result obtained on this benchmark0.00714
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables250
Total number of constraints1
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint250
Maximum length of a constraint250
Number of terms in the objective function 250
Biggest coefficient in the objective function 333
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 42465
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 1037
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 128168
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	Expensive reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/0.12	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.14/0.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c Expensive reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/0.12	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.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4457499-1721886864.opb
0.14/0.12	c reading problem ... 
0.18/1.02	c using VERIPB proof format
0.18/1.02	c  objective function found
0.18/1.03	c ... done. Wall clock time 0.91s.
0.18/1.03	c declared #vars     250
0.18/1.03	c #constraints  1
0.18/1.03	c constraints type 
0.18/1.03	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
0.18/1.03	c 1 constraints processed.
0.18/1.04	c objective function length is 250 literals
0.18/1.05	c SATISFIABLE
0.18/1.05	c OPTIMIZING...
0.18/1.05	c Got one! Elapsed wall clock time (in seconds):0.927
0.18/1.05	o -347
0.18/1.07	c Got one! Elapsed wall clock time (in seconds):0.943
0.18/1.07	o -348
0.18/1.08	c Got one! Elapsed wall clock time (in seconds):0.955
0.18/1.08	o -351
0.18/1.09	c Got one! Elapsed wall clock time (in seconds):0.964
0.18/1.09	o -352
0.33/1.16	c Got one! Elapsed wall clock time (in seconds):1.036
0.33/1.17	o -353
2.68/2.30	c cleaning 2552 clauses out of 5104 with flag 9999/5108
4.85/3.49	c cleaning 4277 clauses out of 8553 with flag 22001/11109
6.09/4.41	c cleaning 5636 clauses out of 11276 with flag 36001/18109
7.32/5.51	c cleaning 6820 clauses out of 13640 with flag 52001/26109
8.69/7.89	c cleaning 7906 clauses out of 15820 with flag 70001/35109
10.24/9.18	c cleaning 8957 clauses out of 17914 with flag 90002/45109
12.13/10.93	c cleaning 9976 clauses out of 19956 with flag 112001/56108
13.98/12.73	c cleaning 10989 clauses out of 21980 with flag 136001/68108
16.12/14.85	c cleaning 11995 clauses out of 23991 with flag 162002/81108
18.37/17.08	c cleaning 12999 clauses out of 25998 with flag 190007/95110
21.04/19.60	c cleaning 14000 clauses out of 28000 with flag 220009/110111
23.66/22.19	c cleaning 14997 clauses out of 29998 with flag 252005/126109
26.68/25.06	c cleaning 15998 clauses out of 32000 with flag 286004/143108
30.10/28.34	c cleaning 16998 clauses out of 34002 with flag 322005/161108
33.58/31.74	c cleaning 18000 clauses out of 36006 with flag 360009/180110
37.43/35.54	c cleaning 19001 clauses out of 38004 with flag 400005/200108
41.07/49.57	c cleaning 19997 clauses out of 40003 with flag 442006/221108
45.25/53.66	c cleaning 21002 clauses out of 42007 with flag 486008/243109
49.89/58.12	c cleaning 22000 clauses out of 44005 with flag 532008/266109
54.56/62.80	c cleaning 23002 clauses out of 46005 with flag 580008/290109
59.71/98.46	c cleaning 24001 clauses out of 48003 with flag 630008/315109
64.94/103.57	c cleaning 25000 clauses out of 50003 with flag 682011/341110
70.90/109.31	c cleaning 25997 clauses out of 52002 with flag 736009/368109
76.92/115.25	c cleaning 27002 clauses out of 54005 with flag 792010/396109
82.60/120.99	c cleaning 27992 clauses out of 56002 with flag 850008/425108
89.51/127.70	c cleaning 29000 clauses out of 58010 with flag 910011/455108
97.37/135.61	c cleaning 30005 clauses out of 60013 with flag 972019/486111
99.26/137.55	c Got one! Elapsed wall clock time (in seconds):137.428
99.26/137.55	o -354
99.96/138.22	c cleaning 21870 clauses out of 43745 with flag 9997/499849
100.95/139.00	c cleaning 13933 clauses out of 27875 with flag 21997/505849
101.55/139.64	c cleaning 10468 clauses out of 20944 with flag 36001/512851
102.42/140.41	c cleaning 9232 clauses out of 18476 with flag 52002/520851
103.30/141.29	c cleaning 9122 clauses out of 18244 with flag 70004/529851
104.29/142.25	c cleaning 9559 clauses out of 19120 with flag 90000/539849
105.69/143.54	c cleaning 10280 clauses out of 20561 with flag 112000/550849
107.08/144.90	c cleaning 11140 clauses out of 22282 with flag 136004/562850
108.48/146.35	c cleaning 12069 clauses out of 24143 with flag 162006/575851
110.17/147.98	c cleaning 13033 clauses out of 26072 with flag 190002/589849
111.96/149.73	c cleaning 14021 clauses out of 28041 with flag 220007/604851
114.26/151.98	c cleaning 15006 clauses out of 30018 with flag 252008/620849
116.66/154.30	c cleaning 16005 clauses out of 32014 with flag 286014/637851
118.95/156.63	c cleaning 17001 clauses out of 34007 with flag 322010/655849
121.83/159.45	c cleaning 18001 clauses out of 36007 with flag 360013/674850
124.74/162.76	c cleaning 18997 clauses out of 38006 with flag 400017/694850
128.11/166.01	c cleaning 20001 clauses out of 40008 with flag 442017/715849
131.44/169.28	c cleaning 21001 clauses out of 42008 with flag 486022/737850
134.93/172.78	c cleaning 22001 clauses out of 44006 with flag 532029/760849
139.26/176.90	c cleaning 22998 clauses out of 46005 with flag 580030/784849
143.75/181.49	c cleaning 24002 clauses out of 48007 with flag 630030/809849
148.96/186.52	c cleaning 25000 clauses out of 50005 with flag 682038/835849
154.30/192.02	c cleaning 26001 clauses out of 52006 with flag 736042/862850
159.96/197.78	c cleaning 26999 clauses out of 54005 with flag 792042/890850
165.62/203.21	c cleaning 27998 clauses out of 56005 with flag 850043/919849
171.59/209.10	c cleaning 29002 clauses out of 58008 with flag 910049/949850
178.45/215.89	c cleaning 30001 clauses out of 60006 with flag 972057/980850
184.96/222.45	c cleaning 30999 clauses out of 62005 with flag 1036065/1012850
192.25/229.60	c cleaning 32002 clauses out of 64006 with flag 1102071/1045850
200.03/237.34	c cleaning 33000 clauses out of 66004 with flag 1170081/1079850
208.83/246.05	c cleaning 34001 clauses out of 68004 with flag 1240087/1114850
218.98/256.21	c cleaning 35000 clauses out of 70002 with flag 1312088/1150849
229.09/266.23	c cleaning 35998 clauses out of 72002 with flag 1386094/1187849
237.41/274.53	c cleaning 37001 clauses out of 74004 with flag 1462108/1225849
246.72/284.91	c cleaning 37999 clauses out of 76003 with flag 1540116/1264849
256.55/294.59	c cleaning 39001 clauses out of 78004 with flag 1620125/1304849
267.60/305.08	c cleaning 39996 clauses out of 80004 with flag 1702138/1345850
279.78/317.45	c cleaning 41004 clauses out of 82007 with flag 1786147/1387849
291.46/329.18	c cleaning 41998 clauses out of 84003 with flag 1872157/1430849
304.01/341.64	c cleaning 43001 clauses out of 86005 with flag 1960163/1474849
316.69/354.41	c cleaning 43999 clauses out of 88004 with flag 2050167/1519849
328.60/366.38	c cleaning 45000 clauses out of 90006 with flag 2142180/1565850
342.54/380.30	c cleaning 45998 clauses out of 92006 with flag 2236188/1612850
356.84/394.53	c cleaning 47002 clauses out of 94008 with flag 2332194/1660850
371.86/409.41	c cleaning 48002 clauses out of 96006 with flag 2430201/1709850
388.05/425.57	c cleaning 49000 clauses out of 98003 with flag 2530206/1759849
403.93/444.03	c cleaning 50003 clauses out of 100006 with flag 2632218/1810852
421.88/461.62	c cleaning 50996 clauses out of 102001 with flag 2736225/1862850
441.32/481.02	c cleaning 52003 clauses out of 104005 with flag 2842232/1915850
456.05/495.59	c cleaning 52997 clauses out of 106001 with flag 2950244/1969849
471.71/511.16	c cleaning 54002 clauses out of 108004 with flag 3060262/2024849
489.95/529.42	c cleaning 54999 clauses out of 110004 with flag 3172281/2080851
508.43/547.79	c cleaning 56004 clauses out of 112007 with flag 3286298/2137853
527.56/567.07	c cleaning 56993 clauses out of 113999 with flag 3402296/2195849
546.76/586.17	c cleaning 58001 clauses out of 116008 with flag 3520321/2254851
566.86/606.24	c cleaning 59003 clauses out of 118006 with flag 3640326/2314850
585.36/624.68	c cleaning 59995 clauses out of 120002 with flag 3762327/2375849
604.07/643.38	c cleaning 61002 clauses out of 122009 with flag 3886338/2437851
625.70/665.10	c cleaning 62002 clauses out of 124005 with flag 4012343/2500849
651.47/690.80	c cleaning 62995 clauses out of 126004 with flag 4140355/2564850
673.39/712.69	c cleaning 64001 clauses out of 128008 with flag 4270363/2629849
698.06/736.77	c cleaning 65002 clauses out of 130009 with flag 4402375/2695851
721.50/760.50	c cleaning 66000 clauses out of 132006 with flag 4536381/2762850
745.66/784.87	c cleaning 67002 clauses out of 134005 with flag 4672387/2830849
773.62/812.71	c cleaning 68001 clauses out of 136003 with flag 4810413/2899849
798.73/837.86	c cleaning 68996 clauses out of 138004 with flag 4950430/2969851
825.87/864.82	c cleaning 70002 clauses out of 140009 with flag 5092445/3040852
849.79/888.92	c cleaning 70995 clauses out of 142005 with flag 5236453/3112850
877.03/926.44	c cleaning 72000 clauses out of 144010 with flag 5382459/3185850
903.31/952.85	c cleaning 73005 clauses out of 146010 with flag 5530468/3259850
928.98/978.46	c cleaning 73999 clauses out of 148005 with flag 5680480/3334850
958.88/1020.00	c cleaning 75002 clauses out of 150006 with flag 5832483/3410850
987.82/1048.80	c cleaning 76001 clauses out of 152004 with flag 5986487/3487850
1021.50/1082.93	c cleaning 77000 clauses out of 154002 with flag 6142497/3565849
1055.41/1116.96	c cleaning 77998 clauses out of 156003 with flag 6300512/3644850
1082.89/1144.26	c cleaning 78997 clauses out of 158005 with flag 6460524/3724850
1113.76/1174.31	c cleaning 80002 clauses out of 160007 with flag 6622533/3805849
1147.70/1208.49	c cleaning 80995 clauses out of 162005 with flag 6786550/3887849
1195.99/1256.95	c cleaning 82002 clauses out of 164012 with flag 6952573/3970851
1238.86/1300.10	c cleaning 82998 clauses out of 166008 with flag 7120584/4054849
1284.07/1345.22	c cleaning 84003 clauses out of 168011 with flag 7290608/4139850
1326.43/1388.10	c cleaning 85001 clauses out of 170008 with flag 7462631/4225850
1372.92/1434.80	c cleaning 86002 clauses out of 172006 with flag 7636644/4312849
1419.57/1482.04	c cleaning 87002 clauses out of 174004 with flag 7812663/4400849
1468.60/1530.65	c cleaning 88000 clauses out of 176002 with flag 7990686/4489849
1505.46/1567.85	c cleaning 88997 clauses out of 178002 with flag 8170694/4579849
1544.62/1607.21	c cleaning 90003 clauses out of 180005 with flag 8352697/4670849
1585.40/1648.11	c cleaning 90996 clauses out of 182002 with flag 8536713/4762849
1624.12/1687.66	c cleaning 91998 clauses out of 184006 with flag 8722736/4855849
1665.28/1728.97	c cleaning 93001 clauses out of 186008 with flag 8910741/4949849
1708.59/1772.52	c cleaning 93996 clauses out of 188007 with flag 9100744/5044849
1754.38/1818.70	c cleaning 95006 clauses out of 190014 with flag 9292761/5140852
1803.36/1868.06	c cleaning 95997 clauses out of 192005 with flag 9486766/5237849
1854.33/1919.67	c cleaning 97001 clauses out of 194009 with flag 9682775/5335850
1900.69/1966.69	c cleaning 98000 clauses out of 196008 with flag 9880781/5434850
1954.42/2019.58	c cleaning 99003 clauses out of 198007 with flag 10080790/5534849
2010.62/2076.08	c cleaning 100001 clauses out of 200006 with flag 10282813/5635851
2070.27/2135.96	c cleaning 101002 clauses out of 202005 with flag 10486825/5737851
2137.91/2203.22	c cleaning 101999 clauses out of 204001 with flag 10692828/5840849
2201.34/2266.67	c cleaning 102998 clauses out of 206002 with flag 10900847/5944849
2265.51/2330.75	c cleaning 103999 clauses out of 208004 with flag 11110863/6049849
2329.12/2395.90	c cleaning 105002 clauses out of 210005 with flag 11322877/6155849
2386.02/2452.75	c cleaning 105999 clauses out of 212005 with flag 11536906/6262851
2447.53/2514.04	c cleaning 106999 clauses out of 214004 with flag 11752926/6370849
2511.06/2576.79	c cleaning 107995 clauses out of 216005 with flag 11970953/6479849
2572.37/2637.99	c cleaning 108995 clauses out of 218010 with flag 12190968/6589849
2636.20/2701.74	c cleaning 110005 clauses out of 220016 with flag 12412983/6700850
2700.40/2764.95	c cleaning 111002 clauses out of 222010 with flag 12636988/6812849
2755.56/2820.09	c cleaning 112000 clauses out of 224008 with flag 12863000/6925849
2822.63/2886.04	c cleaning 112998 clauses out of 226008 with flag 13091016/7039849
2894.31/2957.63	c cleaning 113998 clauses out of 228010 with flag 13321035/7154849
2957.18/3019.65	c cleaning 115006 clauses out of 230015 with flag 13553049/7270852
3023.99/3085.12	c cleaning 116000 clauses out of 232008 with flag 13787054/7387851
3094.42/3155.42	c cleaning 117004 clauses out of 234007 with flag 14023080/7505850
3171.81/3231.89	c cleaning 117997 clauses out of 236003 with flag 14261099/7624850
3242.28/3302.04	c cleaning 118997 clauses out of 238006 with flag 14501128/7744850
3317.28/3375.92	c cleaning 120003 clauses out of 240008 with flag 14743143/7865849
3391.40/3449.91	c cleaning 121004 clauses out of 242007 with flag 14987170/7987851
3459.72/3517.34	c cleaning 122002 clauses out of 244003 with flag 15233192/8110851
3526.79/3583.18	c cleaning 122998 clauses out of 245999 with flag 15481198/8234849
3590.79/3645.76	c cleaning 123996 clauses out of 248001 with flag 15731219/8359849
3600.08/3655.02	c starts		: 8
3600.08/3655.02	c conflicts		: 8384165
3600.08/3655.02	c decisions		: 8385823
3600.08/3655.02	c propagations		: 40304674
3600.08/3655.02	c inspects		: 11884792436
3600.08/3655.02	c shortcuts		: 0
3600.08/3655.02	c learnt literals	: 5
3600.08/3655.02	c learnt binary clauses	: 0
3600.08/3655.02	c learnt ternary clauses	: 0
3600.08/3655.02	c learnt constraints	: 8384160
3600.08/3655.02	c ignored constraints	: 0
3600.08/3655.02	c root simplifications	: 0
3600.08/3655.02	c removed literals (reason simplification)	: 100695507
3600.08/3655.02	c reason swapping (by a shorter reason)	: 0
3600.08/3655.02	c Calls to reduceDB	: 148
3600.08/3655.02	c Number of update (reduction) of LBD	: 847
3600.08/3655.02	c Imported unit clauses	: 0
3600.08/3655.02	c No decision after first conflict	: false
3600.08/3655.02	c number of reductions to clauses (during analyze)	: 0
3600.08/3655.02	c number of learned constraints concerned by reduction	: 0
3600.08/3655.02	c number of learning phase by resolution	: 0
3600.08/3655.02	c number of learning phase by cutting planes	: 0
3600.08/3655.02	c number of rounding to 1 operations	: 0
3600.08/3655.02	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3655.02	c number of reductions of the coefficients by power 2 	: 0
3600.08/3655.02	c number of right shift for reduction by power 2 	: 0
3600.08/3655.02	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3655.02	c number of ending skipping 	: 0
3600.08/3655.02	c number of internal skipping 	: 0
3600.08/3655.02	c number of derivation steps 	: 0
3600.08/3655.02	c number of skipped derivation steps 	: 0
3600.08/3655.02	c number of remaining unassigned 	: 0
3600.08/3655.02	c number of remaining assigned 	: 0
3600.08/3655.02	c number of falsified literals weakened from reason	: 0
3600.08/3655.02	c number of falsified literals weakened from conflict	: 0
3600.08/3655.02	c time for arithmetic operations	: 0
3600.08/3655.02	c minimum degree of deleted constraints	: null
3600.08/3655.02	c maximum degree of deleted constraints	: null
3600.08/3655.02	c number of deleted constraints	: 0
3600.08/3655.03	c speed (assignments/second)	: 11030.354862563485
3600.08/3655.03	c non guided choices	: 0
3600.08/3655.08	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 148321
3600.08/3655.09	s SATISFIABLE
3600.08/3655.09	c Found 6 solution(s)
3600.08/3655.09	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 
3600.28/3655.12	c objective function=-354
3600.28/3655.12	c Total wall clock time (in seconds): 3654.995

Verifier Data 

OK	-354

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: 63968 MiB (57030 MiB free)
  memory of node 1: 64473 MiB (57760 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457499-1721886864/watcher-4457499-1721886864 -o /tmp/evaluation-result-4457499-1721886864/solver-4457499-1721886864 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721886864-278000 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4457499-1721886864 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4457499-1721886864.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
solver pid=278054, runsolver pid=278043
Starting watchdog thread
Current StackSize limit: 8192 KiB


[startup+0.10035 s]*
/proc/loadavg: 2.38 3.67 3.96 7/326 278129
/proc/meminfo: memFree=117365920/131524600 swapFree=131071728/131071996
[pid=278054] ppid=278043 vsize=18975048 memory=66004 CPUtime=0.14 cores=5,7
/proc/278054/stat : 278054 (java) S 278043 278054 277987 0 -1 1077936128 7098 0 0 0 12 2 0 0 20 0 18 0 25209419 19430449152 16501 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
/proc/278054/statm: 4743762 16501 5500 1 0 549373 0
[pid=278054/tid=278065] ppid=278043 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=5,7
/proc/278054/task/278065/stat : 278065 (java) R 278043 278054 277987 0 -1 4194368 5669 0 0 0 7 1 0 0 20 0 18 0 25209420 19430449152 16501 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
[pid=278054/tid=278099] ppid=278043 vsize=18975048 memory=770575 CPUtime=0 cores=5,7
/proc/278054/task/278099/stat : 278099 (Finalizer) S 278043 278054 277987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 25209423 19430449152 16501 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
[pid=278054/tid=278126] ppid=278043 vsize=18975048 memory=15816698926204594 CPUtime=0 cores=5,7
/proc/278054/task/278126/stat : 278126 (Common-Cleaner) S 278043 278054 277987 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 25209423 19430449152 16501 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66004 KiB

[startup+0.206385 s]*
/proc/loadavg: 2.38 3.67 3.96 2/326 278129
/proc/meminfo: memFree=117361492/131524600 swapFree=131071728/131071996
[pid=278054] ppid=278043 vsize=18975048 memory=67668 CPUtime=0.18 cores=5,7
/proc/278054/stat : 278054 (java) S 278043 278054 277987 0 -1 1077936128 7278 0 0 0 16 2 0 0 20 0 18 0 25209419 19430449152 16917 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
/proc/278054/statm: 4743762 16917 5710 1 0 549477 0
[pid=278054/tid=278065] ppid=278043 vsize=18975048 memory=4782652875487838339 CPUtime=0.1 cores=5,7
/proc/278054/task/278065/stat : 278065 (java) D 278043 278054 277987 0 -1 1078198336 5774 0 0 0 9 1 0 0 20 0 18 0 25209420 19430449152 16917 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
[pid=278054/tid=278099] ppid=278043 vsize=18975048 memory=770575 CPUtime=0 cores=5,7
/proc/278054/task/278099/stat : 278099 (Finalizer) S 278043 278054 277987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 25209423 19430449152 16917 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
[pid=278054/tid=278126] ppid=278043 vsize=18975048 memory=15816698926204594 CPUtime=0 cores=5,7
/proc/278054/task/278126/stat : 278126 (Common-Cleaner) S 278043 278054 277987 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 25209423 19430449152 16917 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 67668 KiB

[startup+0.306566 s]*
/proc/loadavg: 2.38 3.67 3.96 4/326 278129
/proc/meminfo: memFree=117360544/131524600 swapFree=131071728/131071996
[pid=278054] ppid=278043 vsize=18975048 memory=67668 CPUtime=0.18 cores=5,7
/proc/278054/stat : 278054 (java) S 278043 278054 277987 0 -1 1077936128 7278 0 0 0 16 2 0 0 20 0 18 0 25209419 19430449152 16917 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
/proc/278054/statm: 4743762 16917 5710 1 0 549477 0
[pid=278054/tid=278065] ppid=278043 vsize=18975048 memory=-8888252319055717052 CPUtime=0.1 cores=5,7
/proc/278054/task/278065/stat : 278065 (java) D 278043 278054 277987 0 -1 1078198336 5774 0 0 0 9 1 0 0 20 0 18 0 25209420 19430449152 16917 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
[pid=278054/tid=278099] ppid=278043 vsize=18975048 memory=1469087630579761753 CPUtime=0 cores=5,7
/proc/278054/task/278099/stat : 278099 (Finalizer) S 278043 278054 277987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 25209423 19430449152 16917 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
[pid=278054/tid=278126] ppid=278043 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/278054/task/278126/stat : 278126 (Common-Cleaner) S 278043 278054 277987 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 25209423 19430449152 16917 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 67668 KiB

[startup+0.700194 s]
/proc/loadavg: 2.38 3.67 3.96 1/326 278129
/proc/meminfo: memFree=117360280/131524600 swapFree=131071728/131071996
[pid=278054] ppid=278043 vsize=18975048 memory=67668 CPUtime=0.18 cores=5,7
/proc/278054/stat : 278054 (java) S 278043 278054 277987 0 -1 1077936128 7278 0 0 0 16 2 0 0 20 0 18 0 25209419 19430449152 16917 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
/proc/278054/statm: 4743762 16917 5710 1 0 549477 0
[pid=278054/tid=278065] ppid=278043 vsize=18975048 memory=5592 CPUtime=0.1 cores=5,7
/proc/278054/task/278065/stat : 278065 (java) D 278043 278054 277987 0 -1 1078198336 5774 0 0 0 9 1 0 0 20 0 18 0 25209420 19430449152 16917 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
[pid=278054/tid=278099] ppid=278043 vsize=18975048 memory=12264 CPUtime=0 cores=5,7
/proc/278054/task/278099/stat : 278099 (Finalizer) S 278043 278054 277987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 25209423 19430449152 16917 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
[pid=278054/tid=278126] ppid=278043 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/278054/task/278126/stat : 278126 (Common-Cleaner) S 278043 278054 277987 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 25209423 19430449152 16917 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 67668 KiB

[startup+1.50076 s]
/proc/loadavg: 2.38 3.67 3.96 3/326 278129
/proc/meminfo: memFree=117359800/131524600 swapFree=131071728/131071996
[pid=278054] ppid=278043 vsize=19108176 memory=175316 CPUtime=1.11 cores=5,7
/proc/278054/stat : 278054 (java) S 278043 278054 277987 0 -1 1077936128 11841 0 0 0 106 5 0 0 20 0 20 0 25209419 19566772224 43829 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
/proc/278054/statm: 4777044 43829 5849 1 0 553024 0
[pid=278054/tid=278065] ppid=278043 vsize=19108176 memory=0 CPUtime=0.52 cores=5,7
/proc/278054/task/278065/stat : 278065 (java) R 278043 278054 277987 0 -1 4194368 6031 0 0 0 48 4 0 0 20 0 20 0 25209420 19566772224 43829 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
[pid=278054/tid=278099] ppid=278043 vsize=19108176 memory=5592 CPUtime=0 cores=5,7
/proc/278054/task/278099/stat : 278099 (Finalizer) S 278043 278054 277987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25209423 19566772224 43829 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
[pid=278054/tid=278126] ppid=278043 vsize=19108176 memory=12264 CPUtime=0 cores=5,7
/proc/278054/task/278126/stat : 278126 (Common-Cleaner) S 278043 278054 277987 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 25209423 19566772224 43829 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 175316 KiB

[startup+3.10576 s]
/proc/loadavg: 3.07 3.79 4.00 11/333 278203
/proc/meminfo: memFree=116648120/131524600 swapFree=131071728/131071996
[pid=278054] ppid=278043 vsize=19108176 memory=311692 CPUtime=4.29 cores=5,7
/proc/278054/stat : 278054 (java) S 278043 278054 277987 0 -1 1077936128 22662 0 0 0 418 11 0 0 20 0 20 0 25209419 19566772224 77923 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
/proc/278054/statm: 4777044 77923 5865 1 0 557095 0
[pid=278054/tid=278065] ppid=278043 vsize=19108176 memory=12264 CPUtime=2.02 cores=5,7
/proc/278054/task/278065/stat : 278065 (java) R 278043 278054 277987 0 -1 4194368 6463 0 0 0 195 7 0 0 20 0 20 0 25209420 19566772224 77923 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
[pid=278054/tid=278099] ppid=278043 vsize=19108176 memory=-8960309913093644988 CPUtime=0 cores=5,7
/proc/278054/task/278099/stat : 278099 (Finalizer) S 278043 278054 277987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25209423 19566772224 77923 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
[pid=278054/tid=278126] ppid=278043 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/278054/task/278126/stat : 278126 (Common-Cleaner) S 278043 278054 277987 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 25209423 19566772224 77923 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
[pid=278054/tid=278130] ppid=278043 vsize=19108176 memory=184536 CPUtime=0 cores=5,7
/proc/278054/task/278130/stat : 278130 (Timer-0) S 278043 278054 277987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25209524 19566772224 77923 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
Current children cumulated CPU time: 4.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 311692 KiB

[startup+6.30076 s]
/proc/loadavg: 3.07 3.79 4.00 6/334 278204
/proc/meminfo: memFree=114507492/131524600 swapFree=131071728/131071996
[pid=278054] ppid=278043 vsize=19108176 memory=866828 CPUtime=8.23 cores=5,7
/proc/278054/stat : 278054 (java) S 278043 278054 277987 0 -1 1077936128 29397 0 0 0 795 28 0 0 20 0 20 0 25209419 19566772224 216707 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
/proc/278054/statm: 4777044 216707 5865 1 0 732603 0
[pid=278054/tid=278065] ppid=278043 vsize=19108176 memory=0 CPUtime=5.04 cores=5,7
/proc/278054/task/278065/stat : 278065 (java) R 278043 278054 277987 0 -1 4194368 7215 0 0 0 483 21 0 0 20 0 20 0 25209420 19566772224 216707 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
[pid=278054/tid=278099] ppid=278043 vsize=19108176 memory=199960 CPUtime=0 cores=5,7
/proc/278054/task/278099/stat : 278099 (Finalizer) S 278043 278054 277987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25209423 19566772224 216707 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
[pid=278054/tid=278126] ppid=278043 vsize=19108176 memory=12264 CPUtime=0 cores=5,7
/proc/278054/task/278126/stat : 278126 (Common-Cleaner) S 278043 278054 277987 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 25209423 19566772224 216707 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
[pid=278054/tid=278130] ppid=278043 vsize=19108176 memory=7505920079183829648 CPUtime=0 cores=5,7
/proc/278054/task/278130/stat : 278130 (Timer-0) S 278043 278054 277987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25209524 19566772224 216707 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
Current children cumulated CPU time: 8.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 866828 KiB

[startup+12.7003 s]
/proc/loadavg: 3.21 3.80 4.00 7/335 278207
/proc/meminfo: memFree=112278768/131524600 swapFree=131071728/131071996
[pid=278054] ppid=278043 vsize=19108176 memory=2042012 CPUtime=13.98 cores=5,7
/proc/278054/stat : 278054 (java) S 278043 278054 277987 0 -1 1077936128 32034 0 0 0 1342 56 0 0 20 0 20 0 25209419 19566772224 510503 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
/proc/278054/statm: 4777044 510503 5865 1 0 1006317 0
[pid=278054/tid=278065] ppid=278043 vsize=19108176 memory=12264 CPUtime=10.04 cores=5,7
/proc/278054/task/278065/stat : 278065 (java) R 278043 278054 277987 0 -1 4194368 7824 0 0 0 958 46 0 0 20 0 20 0 25209420 19566772224 510503 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 113 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
[pid=278054/tid=278099] ppid=278043 vsize=19108176 memory=1974428 CPUtime=0 cores=5,7
/proc/278054/task/278099/stat : 278099 (Finalizer) S 278043 278054 277987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25209423 19566772224 510503 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
[pid=278054/tid=278126] ppid=278043 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/278054/task/278126/stat : 278126 (Common-Cleaner) S 278043 278054 277987 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 25209423 19566772224 510503 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
[pid=278054/tid=278130] ppid=278043 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/278054/task/278130/stat : 278130 (Timer-0) S 278043 278054 277987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25209524 19566772224 510503 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
Current children cumulated CPU time: 13.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2042012 KiB

[startup+25.5003 s]
/proc/loadavg: 3.33 3.80 4.00 6/335 278209
/proc/meminfo: memFree=108370908/131524600 swapFree=131071728/131071996
[pid=278054] ppid=278043 vsize=19108176 memory=2182292 CPUtime=27.22 cores=5,7
/proc/278054/stat : 278054 (java) S 278043 278054 277987 0 -1 1077936128 38088 0 0 0 2648 74 0 0 20 0 20 0 25209419 19566772224 545573 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
/proc/278054/statm: 4777044 545573 5865 1 0 1006319 0
[pid=278054/tid=278065] ppid=278043 vsize=19108176 memory=12264 CPUtime=22.42 cores=5,7
/proc/278054/task/278065/stat : 278065 (java) R 278043 278054 277987 0 -1 4194368 9172 0 0 0 2180 62 0 0 20 0 20 0 25209420 19566772224 545573 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 113 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
[pid=278054/tid=278099] ppid=278043 vsize=19108176 memory=11616 CPUtime=0 cores=5,7
/proc/278054/task/278099/stat : 278099 (Finalizer) S 278043 278054 277987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25209423 19566772224 545573 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
[pid=278054/tid=278126] ppid=278043 vsize=19108176 memory=5592 CPUtime=0 cores=5,7
/proc/278054/task/278126/stat : 278126 (Common-Cleaner) S 278043 278054 277987 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 25209423 19566772224 545573 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
[pid=278054/tid=278130] ppid=278043 vsize=19108176 memory=16084 CPUtime=0 cores=5,7
/proc/278054/task/278130/stat : 278130 (Timer-0) S 278043 278054 277987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25209524 19566772224 545573 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
Current children cumulated CPU time: 27.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2182292 KiB

[startup+51.1058 s]
/proc/loadavg: 3.70 3.85 4.01 3/336 278214
/proc/meminfo: memFree=100459720/131524600 swapFree=131071728/131071996
[pid=278054] ppid=278043 vsize=19108176 memory=2998680 CPUtime=42.65 cores=5,7
/proc/278054/stat : 278054 (java) S 278043 278054 277987 0 -1 1077936128 41642 0 0 0 4157 108 0 0 20 0 20 0 25209419 19566772224 749670 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
/proc/278054/statm: 4777044 749670 5865 1 0 1129557 0
[pid=278054/tid=278065] ppid=278043 vsize=19108176 memory=2998680 CPUtime=37.23 cores=5,7
/proc/278054/task/278065/stat : 278065 (java) R 278043 278054 277987 0 -1 4194368 11603 0 0 0 3634 89 0 0 20 0 20 0 25209420 19566772224 749670 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 1145 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
[pid=278054/tid=278099] ppid=278043 vsize=19108176 memory=2998680 CPUtime=0 cores=5,7
/proc/278054/task/278099/stat : 278099 (Finalizer) S 278043 278054 277987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25209423 19566772224 749670 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
[pid=278054/tid=278126] ppid=278043 vsize=19108176 memory=2998680 CPUtime=0 cores=5,7
/proc/278054/task/278126/stat : 278126 (Common-Cleaner) S 278043 278054 277987 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 25209423 19566772224 749670 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
[pid=278054/tid=278130] ppid=278043 vsize=19108176 memory=2042012 CPUtime=0 cores=5,7
/proc/278054/task/278130/stat : 278130 (Timer-0) S 278043 278054 277987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25209524 19566772224 749670 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0

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

[startup+3342.3 s]
/proc/loadavg: 4.26 4.45 4.52 6/339 280139
/proc/meminfo: memFree=40076848/131524600 swapFree=131061696/131071996
[pid=278054] ppid=278043 vsize=19108176 memory=4088696 CPUtime=3283.41 cores=5,7
/proc/278054/stat : 278054 (java) S 278043 278054 277987 0 -1 1077936128 404746 0 0 0 326560 1781 0 0 20 0 20 0 25209419 19566772224 1022174 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
/proc/278054/statm: 4777044 1022174 5913 1 0 1034906 0
[pid=278054/tid=278065] ppid=278043 vsize=19108176 memory=12264 CPUtime=3204.03 cores=5,7
/proc/278054/task/278065/stat : 278065 (java) R 278043 278054 277987 0 -1 4194368 143184 0 0 0 318790 1613 0 0 20 0 20 0 25209420 19566772224 1022174 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 9121 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
[pid=278054/tid=278099] ppid=278043 vsize=19108176 memory=4088680 CPUtime=0 cores=5,7
/proc/278054/task/278099/stat : 278099 (Finalizer) S 278043 278054 277987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25209423 19566772224 1022174 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
[pid=278054/tid=278126] ppid=278043 vsize=19108176 memory=4088680 CPUtime=0 cores=5,7
/proc/278054/task/278126/stat : 278126 (Common-Cleaner) S 278043 278054 277987 0 -1 1077936192 2415 0 0 0 0 0 0 0 20 0 20 0 25209423 19566772224 1022174 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
[pid=278054/tid=278130] ppid=278043 vsize=19108176 memory=281279288125440 CPUtime=0 cores=5,7
/proc/278054/task/278130/stat : 278130 (Timer-0) S 278043 278054 277987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25209524 19566772224 1022174 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
Current children cumulated CPU time: 3283.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4088696 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.40 4.49 5/342 280221
/proc/meminfo: memFree=82004940/131524600 swapFree=131061696/131071996
[pid=278054] ppid=278043 vsize=19108176 memory=4088696 CPUtime=3343.63 cores=5,7
/proc/278054/stat : 278054 (java) S 278043 278054 277987 0 -1 1077936128 405639 0 0 0 332557 1806 0 0 20 0 20 0 25209419 19566772224 1022174 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
/proc/278054/statm: 4777044 1022174 5913 1 0 1034906 0
[pid=278054/tid=278065] ppid=278043 vsize=19108176 memory=7378981333666780005 CPUtime=3263.22 cores=5,7
/proc/278054/task/278065/stat : 278065 (java) R 278043 278054 277987 0 -1 4194368 143837 0 0 0 324686 1636 0 0 20 0 20 0 25209420 19566772224 1022174 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 9134 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
[pid=278054/tid=278099] ppid=278043 vsize=19108176 memory=4088696 CPUtime=0 cores=5,7
/proc/278054/task/278099/stat : 278099 (Finalizer) S 278043 278054 277987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25209423 19566772224 1022174 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
[pid=278054/tid=278126] ppid=278043 vsize=19108176 memory=12264 CPUtime=0 cores=5,7
/proc/278054/task/278126/stat : 278126 (Common-Cleaner) S 278043 278054 277987 0 -1 1077936192 2415 0 0 0 0 0 0 0 20 0 20 0 25209423 19566772224 1022174 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
[pid=278054/tid=278130] ppid=278043 vsize=19108176 memory=4088696 CPUtime=0 cores=5,7
/proc/278054/task/278130/stat : 278130 (Timer-0) S 278043 278054 277987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25209524 19566772224 1022174 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
Current children cumulated CPU time: 3343.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4088696 KiB

[startup+3462.3 s]
/proc/loadavg: 4.21 4.37 4.47 5/317 280262
/proc/meminfo: memFree=81651440/131524600 swapFree=131061696/131071996
[pid=278054] ppid=278043 vsize=19108176 memory=4088696 CPUtime=3403.77 cores=5,7
/proc/278054/stat : 278054 (java) S 278043 278054 277987 0 -1 1077936128 409005 0 0 0 338548 1829 0 0 20 0 20 0 25209419 19566772224 1022174 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
/proc/278054/statm: 4777044 1022174 5913 1 0 1034906 0
[pid=278054/tid=278065] ppid=278043 vsize=19108176 memory=7378981333666780005 CPUtime=3322.39 cores=5,7
/proc/278054/task/278065/stat : 278065 (java) R 278043 278054 277987 0 -1 4194368 145687 0 0 0 330582 1657 0 0 20 0 20 0 25209420 19566772224 1022174 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 9152 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
[pid=278054/tid=278099] ppid=278043 vsize=19108176 memory=4088696 CPUtime=0 cores=5,7
/proc/278054/task/278099/stat : 278099 (Finalizer) S 278043 278054 277987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25209423 19566772224 1022174 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
[pid=278054/tid=278126] ppid=278043 vsize=19108176 memory=4088696 CPUtime=0 cores=5,7
/proc/278054/task/278126/stat : 278126 (Common-Cleaner) S 278043 278054 277987 0 -1 1077936192 2415 0 0 0 0 0 0 0 20 0 20 0 25209423 19566772224 1022174 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
[pid=278054/tid=278130] ppid=278043 vsize=19108176 memory=2028 CPUtime=0 cores=5,7
/proc/278054/task/278130/stat : 278130 (Timer-0) S 278043 278054 277987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25209524 19566772224 1022174 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
Current children cumulated CPU time: 3403.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4088696 KiB

[startup+3522.3 s]
/proc/loadavg: 4.22 4.35 4.46 5/341 280311
/proc/meminfo: memFree=79174312/131524600 swapFree=131061696/131071996
[pid=278054] ppid=278043 vsize=19108176 memory=4088816 CPUtime=3464.61 cores=5,7
/proc/278054/stat : 278054 (java) S 278043 278054 277987 0 -1 1077936128 421493 0 0 0 344606 1855 0 0 20 0 20 0 25209419 19566772224 1022204 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
/proc/278054/statm: 4777044 1022204 5913 1 0 1034936 0
[pid=278054/tid=278065] ppid=278043 vsize=19108176 memory=4088696 CPUtime=3381.44 cores=5,7
/proc/278054/task/278065/stat : 278065 (java) R 278043 278054 277987 0 -1 4194368 149497 0 0 0 336464 1680 0 0 20 0 20 0 25209420 19566772224 1022204 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 9166 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
[pid=278054/tid=278099] ppid=278043 vsize=19108176 memory=4088816 CPUtime=0 cores=5,7
/proc/278054/task/278099/stat : 278099 (Finalizer) S 278043 278054 277987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25209423 19566772224 1022204 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
[pid=278054/tid=278126] ppid=278043 vsize=19108176 memory=16084 CPUtime=0 cores=5,7
/proc/278054/task/278126/stat : 278126 (Common-Cleaner) S 278043 278054 277987 0 -1 1077936192 2444 0 0 0 0 0 0 0 20 0 20 0 25209423 19566772224 1022204 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
[pid=278054/tid=278130] ppid=278043 vsize=19108176 memory=11616 CPUtime=0 cores=5,7
/proc/278054/task/278130/stat : 278130 (Timer-0) S 278043 278054 277987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25209524 19566772224 1022204 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
Current children cumulated CPU time: 3464.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4088816 KiB

[startup+3582.3 s]
/proc/loadavg: 4.22 4.33 4.45 5/338 280322
/proc/meminfo: memFree=77249964/131524600 swapFree=131061696/131071996
[pid=278054] ppid=278043 vsize=19108176 memory=4088860 CPUtime=3526 cores=5,7
/proc/278054/stat : 278054 (java) S 278043 278054 277987 0 -1 1077936128 423099 0 0 0 350721 1879 0 0 20 0 20 0 25209419 19566772224 1022215 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
/proc/278054/statm: 4777044 1022215 5913 1 0 1034948 0
[pid=278054/tid=278065] ppid=278043 vsize=19108176 memory=4088816 CPUtime=3440.25 cores=5,7
/proc/278054/task/278065/stat : 278065 (java) R 278043 278054 277987 0 -1 4194368 150193 0 0 0 342324 1701 0 0 20 0 20 0 25209420 19566772224 1022215 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 9179 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
[pid=278054/tid=278099] ppid=278043 vsize=19108176 memory=4088860 CPUtime=0 cores=5,7
/proc/278054/task/278099/stat : 278099 (Finalizer) S 278043 278054 277987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25209423 19566772224 1022215 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
[pid=278054/tid=278126] ppid=278043 vsize=19108176 memory=4088860 CPUtime=0 cores=5,7
/proc/278054/task/278126/stat : 278126 (Common-Cleaner) S 278043 278054 277987 0 -1 1077936192 2445 0 0 0 0 0 0 0 20 0 20 0 25209423 19566772224 1022215 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
[pid=278054/tid=278130] ppid=278043 vsize=19108176 memory=4088860 CPUtime=0 cores=5,7
/proc/278054/task/278130/stat : 278130 (Timer-0) S 278043 278054 277987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25209524 19566772224 1022215 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
Current children cumulated CPU time: 3526 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4088860 KiB

[startup+3642.3 s]
/proc/loadavg: 4.20 4.30 4.43 5/315 280350
/proc/meminfo: memFree=92127608/131524600 swapFree=131061696/131071996
[pid=278054] ppid=278043 vsize=19108176 memory=4088896 CPUtime=3587.38 cores=5,7
/proc/278054/stat : 278054 (java) S 278043 278054 277987 0 -1 1077936128 433500 0 0 0 356833 1905 0 0 20 0 20 0 25209419 19566772224 1022224 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
/proc/278054/statm: 4777044 1022224 5913 1 0 1034960 0
[pid=278054/tid=278065] ppid=278043 vsize=19108176 memory=11616 CPUtime=3499.13 cores=5,7
/proc/278054/task/278065/stat : 278065 (java) R 278043 278054 277987 0 -1 4194368 155139 0 0 0 348189 1724 0 0 20 0 20 0 25209420 19566772224 1022224 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 9188 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
[pid=278054/tid=278099] ppid=278043 vsize=19108176 memory=281279288462912 CPUtime=0 cores=5,7
/proc/278054/task/278099/stat : 278099 (Finalizer) S 278043 278054 277987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25209423 19566772224 1022224 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
[pid=278054/tid=278126] ppid=278043 vsize=19108176 memory=11616 CPUtime=0 cores=5,7
/proc/278054/task/278126/stat : 278126 (Common-Cleaner) S 278043 278054 277987 0 -1 1077936192 2450 0 0 0 0 0 0 0 20 0 20 0 25209423 19566772224 1022224 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
[pid=278054/tid=278130] ppid=278043 vsize=19108176 memory=-8960309913093644988 CPUtime=0 cores=5,7
/proc/278054/task/278130/stat : 278130 (Timer-0) S 278043 278054 277987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25209524 19566772224 1022224 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
Current children cumulated CPU time: 3587.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4088896 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3655 s]*
/proc/loadavg: 4.33 4.32 4.44 6/337 280403
/proc/meminfo: memFree=102475928/131524600 swapFree=131061696/131071996
[pid=278054] ppid=278043 vsize=19108176 memory=4088944 CPUtime=3600.08 cores=5,7
/proc/278054/stat : 278054 (java) S 278043 278054 277987 0 -1 1077936128 438510 0 0 0 358098 1910 0 0 20 0 20 0 25209419 19566772224 1022236 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
/proc/278054/statm: 4777044 1022236 5913 1 0 1034960 0
[pid=278054/tid=278065] ppid=278043 vsize=19108176 memory=-8599174253781951164 CPUtime=3511.73 cores=5,7
/proc/278054/task/278065/stat : 278065 (java) R 278043 278054 277987 0 -1 4194368 155302 0 0 0 349444 1729 0 0 20 0 20 0 25209420 19566772224 1022236 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 9196 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
[pid=278054/tid=278099] ppid=278043 vsize=19108176 memory=34504 CPUtime=0 cores=5,7
/proc/278054/task/278099/stat : 278099 (Finalizer) S 278043 278054 277987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 25209423 19566772224 1022236 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
[pid=278054/tid=278126] ppid=278043 vsize=19108176 memory=31788 CPUtime=0 cores=5,7
/proc/278054/task/278126/stat : 278126 (Common-Cleaner) S 278043 278054 277987 0 -1 1077936192 2450 0 0 0 0 0 0 0 20 0 20 0 25209423 19566772224 1022236 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
[pid=278054/tid=278130] ppid=278043 vsize=19108176 memory=7528 CPUtime=0 cores=5,7
/proc/278054/task/278130/stat : 278130 (Timer-0) S 278043 278054 277987 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 25209524 19566772224 1022236 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4088944 KiB

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

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

# cumulated CPU time of all completed processes:  user=3581.21 s, system=19.1281 s

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

[startup+3655.11 s]
/proc/loadavg: 4.33 4.32 4.44 6/337 280403
/proc/meminfo: memFree=102475928/131524600 swapFree=131061696/131071996
[pid=278054] ppid=278043 vsize=19307868 memory=4089604 CPUtime=3600.28 cores=5,7
/proc/278054/stat : 278054 (java) S 278043 278054 277987 0 -1 1077936128 441635 0 0 0 358118 1910 0 0 20 0 21 0 25209419 19771256832 1022401 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
/proc/278054/statm: 4826967 1022401 5912 1 0 1035897 0
[pid=278054/tid=278065] ppid=278043 vsize=19307868 memory=11616 CPUtime=3511.8 cores=5,7
/proc/278054/task/278065/stat : 278065 (java) R 278043 278054 277987 0 -1 4194368 155373 0 0 0 349451 1729 0 0 20 0 21 0 25209420 19771256832 1022401 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 9196 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
[pid=278054/tid=278099] ppid=278043 vsize=19307868 memory=281279288462912 CPUtime=0 cores=5,7
/proc/278054/task/278099/stat : 278099 (Finalizer) S 278043 278054 277987 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 25209423 19771256832 1022401 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
[pid=278054/tid=278126] ppid=278043 vsize=19307868 memory=11616 CPUtime=0 cores=5,7
/proc/278054/task/278126/stat : 278126 (Common-Cleaner) S 278043 278054 277987 0 -1 1077936192 2450 0 0 0 0 0 0 0 20 0 21 0 25209423 19771256832 1022401 134679101440 94733245689856 94733245693552 140726248771376 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94733245701368 94733245702160 94733253996544 140726248780715 140726248780897 140726248780897 140726248787912 0
Current children cumulated CPU time: 3600.28 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 4089604 KiB

Child status: 143

Real time (s): 3655.18
CPU time (s): 3600.33
CPU user time (s): 3581.21
CPU system time (s): 19.1281
CPU usage (%): 98.4996
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 4471716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.21
system time used= 19.1281
maximum resident set size= 4471716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 441820
page faults= 0
swaps= 0
block input operations= 8
block output operations= 24801792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 121650
involuntary context switches= 14985


# summary of solver processes directly reported to runsolver:
#   pid: 278054
#   total CPU time (s): 3600.33
#   total CPU user time (s): 3581.21
#   total CPU system time (s): 19.1281

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.8303 second user time and 20.7394 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2024-07-25 07:54:24
IDJOB=4457499
IDBENCH=176371
IDSOLVER=3079
FILE ID=nodeC024/4457499-1721886864
RUNJOBID= nodeC024-1721886864-278000
SLURM_JOB_ID= 8089288
Free space on /tmp= 890084 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/profit_ceiling/normalized-knapPI_15_50_1000_5_-1047.opb
COMMAND LINE= java -Dveripb=PROOFFILE -jar sat4j-pb.jar ResolutionPB24 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457499-1721886864/watcher-4457499-1721886864 -o /tmp/evaluation-result-4457499-1721886864/solver-4457499-1721886864 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721886864-278000 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4457499-1721886864 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4457499-1721886864.opb

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

MD5SUM BENCH= 0ca7653980f86b2f84ce865c198a6840
RANDOM SEED=303067873

nodeC024.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3501.572
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.87
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		: 3623.420
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.58
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		: 3235.734
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.87
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		: 3586.879
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.58
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		: 3767.744
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.87
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		: 3669.732
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.58
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		: 3729.346
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.87
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		: 3607.486
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        117548848 kB
MemAvailable:   129640436 kB
Buffers:          303136 kB
Cached:         12546740 kB
SwapCached:           92 kB
Active:          2709424 kB
Inactive:       10515536 kB
Active(anon):       1456 kB
Inactive(anon):   427640 kB
Active(file):    2707968 kB
Inactive(file): 10087896 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071728 kB
Dirty:              2300 kB
Writeback:             0 kB
AnonPages:        374536 kB
Mapped:           118592 kB
Shmem:             54012 kB
KReclaimable:     271092 kB
Slab:             393804 kB
SReclaimable:     271092 kB
SUnreclaim:       122712 kB
KernelStack:        3812 kB
PageTables:         8848 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     690024 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            20032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    241664 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      408276 kB
DirectMap2M:    48648192 kB
DirectMap1G:    87031808 kB

Free space on /tmp at the end= 890080 MiB
End job on nodeC024 at 2024-07-25 08:55:19