Trace number 4457635

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 Default 2024-07-07SAT (TO)-48992 3600.32 3345.16

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/
subset_sum/normalized-knapPI_6_200_10000_5_-48992.opb
MD5SUMa84e76f0e449bb256266dd60911e5184
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-48992
Best CPU time to get the best result obtained on this benchmark0.01426
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1000
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 constraint1000
Maximum length of a constraint1000
Number of terms in the objective function 1000
Biggest coefficient in the objective function 9984
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 5085234
Number of bits of the sum of numbers in the objective function 23
Biggest number in a constraint 48992
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 5134226
Number of bits of the biggest sum of numbers23
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.09	c Number of processors 	2
0.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@cac736f 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	No 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@5e91993f
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@cac736f 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 No 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-4457635-1721865115.opb
0.14/0.13	c reading problem ... 
0.14/0.13	c  objective function found
0.14/0.16	c ... done. Wall clock time 0.03s.
0.14/0.16	c declared #vars     1000
0.14/0.16	c #constraints  1
0.14/0.16	c constraints type 
0.14/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
0.14/0.16	c 1 constraints processed.
0.14/0.16	c objective function length is 1000 literals
0.14/0.18	c SATISFIABLE
0.14/0.18	c OPTIMIZING...
0.14/0.18	c Got one! Elapsed wall clock time (in seconds):0.053
0.14/0.18	o -48976
0.33/0.21	c Got one! Elapsed wall clock time (in seconds):0.092
0.33/0.21	o -48990
0.33/0.23	c Got one! Elapsed wall clock time (in seconds):0.106
0.33/0.23	o -48992
2.44/1.62	c cleaning 2503 clauses out of 5005 with flag 10008/5005
3.93/2.97	c cleaning 4250 clauses out of 8500 with flag 22004/11003
5.78/4.65	c cleaning 5621 clauses out of 11250 with flag 36004/18003
7.82/6.62	c cleaning 6811 clauses out of 13628 with flag 52002/26002
10.37/8.94	c cleaning 7909 clauses out of 15819 with flag 70006/35004
12.79/11.28	c cleaning 8954 clauses out of 17911 with flag 90008/45005
15.74/14.07	c cleaning 9979 clauses out of 19958 with flag 112010/56006
19.04/17.00	c cleaning 10982 clauses out of 21975 with flag 136002/68002
22.19/20.01	c cleaning 11996 clauses out of 23994 with flag 162004/81003
25.51/23.20	c cleaning 12999 clauses out of 25998 with flag 190004/95003
29.48/26.85	c cleaning 13997 clauses out of 27998 with flag 220002/110002
33.46/30.63	c cleaning 15000 clauses out of 30001 with flag 252002/126002
38.42/35.16	c cleaning 15993 clauses out of 32004 with flag 286008/143005
42.80/39.35	c cleaning 17002 clauses out of 34010 with flag 322006/161004
48.23/43.70	c cleaning 18003 clauses out of 36006 with flag 360002/180002
52.62/47.71	c cleaning 18997 clauses out of 38005 with flag 400006/200004
57.01/51.69	c cleaning 19997 clauses out of 40006 with flag 442002/221002
61.17/55.59	c cleaning 21005 clauses out of 42010 with flag 486004/243003
66.88/60.77	c cleaning 22002 clauses out of 44006 with flag 532006/266004
72.77/65.90	c cleaning 22995 clauses out of 46002 with flag 580002/290002
78.34/71.38	c cleaning 24004 clauses out of 48007 with flag 630002/315002
85.18/76.73	c cleaning 25001 clauses out of 50004 with flag 682004/341003
90.94/82.28	c cleaning 25999 clauses out of 52003 with flag 736004/368003
96.95/87.80	c cleaning 26997 clauses out of 54003 with flag 792002/396002
102.98/93.48	c cleaning 27995 clauses out of 56006 with flag 850002/425002
110.28/100.13	c cleaning 29007 clauses out of 58013 with flag 910006/455004
117.32/106.70	c cleaning 30002 clauses out of 60004 with flag 972002/486002
126.12/113.56	c cleaning 31000 clauses out of 62003 with flag 1036004/518003
133.31/120.48	c cleaning 31995 clauses out of 64003 with flag 1102004/551003
140.97/127.59	c cleaning 33003 clauses out of 66008 with flag 1170004/585003
150.11/136.20	c cleaning 34001 clauses out of 68004 with flag 1240002/620002
159.46/145.02	c cleaning 35002 clauses out of 70005 with flag 1312006/656004
168.27/153.48	c cleaning 36000 clauses out of 72003 with flag 1386006/693004
177.20/161.89	c cleaning 37000 clauses out of 74001 with flag 1462002/731002
187.83/171.90	c cleaning 38000 clauses out of 76002 with flag 1540004/770003
197.65/181.21	c cleaning 38997 clauses out of 78002 with flag 1620004/810003
208.20/191.18	c cleaning 39995 clauses out of 80004 with flag 1702002/851002
218.89/201.33	c cleaning 41007 clauses out of 82016 with flag 1786016/893009
231.79/211.58	c cleaning 41993 clauses out of 84002 with flag 1872002/936002
241.84/221.25	c cleaning 43000 clauses out of 86012 with flag 1960008/980005
253.64/232.30	c cleaning 44005 clauses out of 88010 with flag 2050004/1025003
267.37/245.43	c cleaning 45002 clauses out of 90004 with flag 2142002/1071002
279.31/256.89	c cleaning 45998 clauses out of 92003 with flag 2236004/1118003
292.89/269.72	c cleaning 47001 clauses out of 94004 with flag 2332002/1166002
305.96/282.23	c cleaning 48000 clauses out of 96004 with flag 2430004/1215003
319.33/295.06	c cleaning 49002 clauses out of 98005 with flag 2530006/1265004
332.30/307.35	c cleaning 49991 clauses out of 100002 with flag 2632004/1316003
346.41/320.68	c cleaning 51002 clauses out of 102010 with flag 2736002/1368002
358.50/332.00	c cleaning 51997 clauses out of 104008 with flag 2842002/1421002
377.86/348.09	c cleaning 52998 clauses out of 106012 with flag 2950004/1475003
398.32/367.70	c cleaning 54004 clauses out of 108013 with flag 3060002/1530002
414.71/383.31	c cleaning 55001 clauses out of 110011 with flag 3172006/1586004
430.30/398.57	c cleaning 56003 clauses out of 112008 with flag 3286002/1643002
446.87/414.18	c cleaning 57003 clauses out of 114008 with flag 3402008/1701005
463.16/429.66	c cleaning 58002 clauses out of 116003 with flag 3520004/1760003
483.40/449.14	c cleaning 58993 clauses out of 118003 with flag 3640008/1820005
505.23/470.23	c cleaning 60003 clauses out of 120007 with flag 3762002/1881002
524.04/488.10	c cleaning 60995 clauses out of 122004 with flag 3886002/1943002
542.04/505.30	c cleaning 62006 clauses out of 124011 with flag 4012006/2006004
561.57/523.95	c cleaning 62997 clauses out of 126003 with flag 4140002/2070002
583.09/541.52	c cleaning 64004 clauses out of 128008 with flag 4270006/2135004
601.13/558.67	c cleaning 64996 clauses out of 130002 with flag 4402002/2201002
620.50/577.17	c cleaning 65997 clauses out of 132006 with flag 4536002/2268002
640.14/595.93	c cleaning 67000 clauses out of 134009 with flag 4672002/2336002
660.72/615.65	c cleaning 68005 clauses out of 136009 with flag 4810002/2405002
682.48/636.83	c cleaning 69002 clauses out of 138005 with flag 4950004/2475003
703.99/656.99	c cleaning 69989 clauses out of 140003 with flag 5092004/2546003
723.40/675.52	c cleaning 71004 clauses out of 142015 with flag 5236006/2618004
745.58/697.00	c cleaning 72002 clauses out of 144010 with flag 5382004/2691003
775.36/722.49	c cleaning 73003 clauses out of 146007 with flag 5530002/2765002
803.76/750.00	c cleaning 74001 clauses out of 148004 with flag 5680002/2840002
831.97/777.42	c cleaning 75000 clauses out of 150003 with flag 5832002/2916002
856.20/800.33	c cleaning 75997 clauses out of 152004 with flag 5986004/2993003
879.47/822.76	c cleaning 76992 clauses out of 154007 with flag 6142004/3071003
904.80/846.80	c cleaning 78008 clauses out of 156017 with flag 6300008/3150005
930.82/872.07	c cleaning 79001 clauses out of 158010 with flag 6460010/3230006
965.03/900.86	c cleaning 80002 clauses out of 160006 with flag 6622004/3311003
992.45/927.48	c cleaning 80996 clauses out of 162003 with flag 6786002/3393002
1018.22/951.82	c cleaning 81994 clauses out of 164007 with flag 6952002/3476002
1047.36/980.15	c cleaning 83005 clauses out of 166013 with flag 7120002/3560002
1076.80/1008.45	c cleaning 83997 clauses out of 168010 with flag 7290006/3645004
1106.24/1036.41	c cleaning 85006 clauses out of 170014 with flag 7462008/3731005
1135.60/1060.19	c cleaning 86004 clauses out of 172008 with flag 7636008/3818005
1165.27/1088.66	c cleaning 86997 clauses out of 174001 with flag 7812002/3906002
1192.40/1114.41	c cleaning 88003 clauses out of 176005 with flag 7990004/3995003
1229.63/1150.06	c cleaning 88996 clauses out of 178002 with flag 8170004/4085003
1262.25/1181.55	c cleaning 90001 clauses out of 180005 with flag 8352002/4176002
1298.73/1216.79	c cleaning 91006 clauses out of 182012 with flag 8536018/4268010
1334.27/1247.34	c cleaning 91993 clauses out of 183998 with flag 8722002/4361002
1366.55/1278.38	c cleaning 92999 clauses out of 186005 with flag 8910002/4455002
1397.37/1307.93	c cleaning 93999 clauses out of 188007 with flag 9100004/4550003
1427.58/1336.73	c cleaning 95005 clauses out of 190010 with flag 9292008/4646005
1453.54/1361.54	c cleaning 95987 clauses out of 192003 with flag 9486004/4743003
1481.91/1388.61	c cleaning 97000 clauses out of 194018 with flag 9682008/4841005
1518.06/1417.93	c cleaning 98006 clauses out of 196015 with flag 9880002/4940002
1546.53/1444.76	c cleaning 99001 clauses out of 198011 with flag 10080006/5040004
1580.24/1476.79	c cleaning 100000 clauses out of 200010 with flag 10282006/5141004
1610.09/1504.98	c cleaning 101002 clauses out of 202009 with flag 10486004/5243003
1645.95/1539.43	c cleaning 101999 clauses out of 204008 with flag 10692006/5346004
1679.31/1567.12	c cleaning 103004 clauses out of 206008 with flag 10900004/5450003
1711.03/1597.11	c cleaning 104002 clauses out of 208003 with flag 11110002/5555002
1753.93/1638.47	c cleaning 105000 clauses out of 210001 with flag 11322002/5661002
1803.51/1686.86	c cleaning 106001 clauses out of 212003 with flag 11536006/5768004
1859.65/1733.57	c cleaning 106997 clauses out of 214000 with flag 11752002/5876002
1897.62/1770.06	c cleaning 108000 clauses out of 216003 with flag 11970002/5985002
1940.13/1811.09	c cleaning 108998 clauses out of 218006 with flag 12190008/6095005
1979.74/1848.91	c cleaning 109999 clauses out of 220005 with flag 12412002/6206002
2037.70/1898.85	c cleaning 111003 clauses out of 222009 with flag 12636008/6318005
2093.23/1952.71	c cleaning 112001 clauses out of 224004 with flag 12862004/6431003
2141.72/1999.19	c cleaning 113001 clauses out of 226002 with flag 13090002/6545002
2180.64/2036.55	c cleaning 113998 clauses out of 228002 with flag 13320004/6660003
2228.98/2078.51	c cleaning 114999 clauses out of 230003 with flag 13552002/6776002
2271.21/2119.27	c cleaning 116000 clauses out of 232006 with flag 13786006/6893004
2324.66/2170.56	c cleaning 117001 clauses out of 234004 with flag 14022002/7011002
2382.68/2226.78	c cleaning 118002 clauses out of 236004 with flag 14260004/7130003
2435.08/2272.29	c cleaning 118998 clauses out of 238002 with flag 14500004/7250003
2490.25/2326.19	c cleaning 119998 clauses out of 240004 with flag 14742004/7371003
2548.00/2382.07	c cleaning 121004 clauses out of 242007 with flag 14986006/7493004
2601.17/2433.69	c cleaning 122000 clauses out of 244001 with flag 15232002/7616002
2648.75/2474.12	c cleaning 122995 clauses out of 246002 with flag 15480004/7740003
2694.24/2517.42	c cleaning 124004 clauses out of 248007 with flag 15730004/7865003
2733.40/2554.30	c cleaning 124993 clauses out of 250003 with flag 15982004/7991003
2791.88/2603.06	c cleaning 126002 clauses out of 252010 with flag 16236004/8118003
2834.07/2643.28	c cleaning 126996 clauses out of 254008 with flag 16492004/8246003
2883.65/2690.74	c cleaning 128003 clauses out of 256013 with flag 16750006/8375004
2943.90/2742.59	c cleaning 129003 clauses out of 258008 with flag 17010002/8505002
2986.46/2783.26	c cleaning 130002 clauses out of 260006 with flag 17272004/8636003
3027.79/2822.69	c cleaning 130996 clauses out of 262003 with flag 17536002/8768002
3086.46/2871.95	c cleaning 132000 clauses out of 264009 with flag 17802006/8901004
3130.80/2914.58	c cleaning 133001 clauses out of 266008 with flag 18070004/9035003
3175.50/2956.97	c cleaning 134002 clauses out of 268008 with flag 18340006/9170004
3231.70/3004.01	c cleaning 135000 clauses out of 270005 with flag 18612004/9306003
3273.59/3044.24	c cleaning 136000 clauses out of 272005 with flag 18886004/9443003
3322.25/3091.22	c cleaning 137004 clauses out of 274007 with flag 19162008/9581005
3383.06/3142.62	c cleaning 137996 clauses out of 276001 with flag 19440004/9720003
3426.91/3184.62	c cleaning 139001 clauses out of 278004 with flag 19720002/9860002
3478.79/3234.36	c cleaning 139999 clauses out of 280003 with flag 20002002/10001002
3541.90/3289.28	c cleaning 141002 clauses out of 282005 with flag 20286004/10143003
3590.46/3336.16	c cleaning 141998 clauses out of 284002 with flag 20572002/10286002
3600.07/3345.04	c starts		: 4
3600.07/3345.04	c conflicts		: 10324680
3600.07/3345.04	c decisions		: 10327342
3600.07/3345.04	c propagations		: 69480345
3600.07/3345.04	c inspects		: 5481100497
3600.07/3345.04	c shortcuts		: 0
3600.07/3345.04	c learnt literals	: 0
3600.07/3345.04	c learnt binary clauses	: 0
3600.07/3345.04	c learnt ternary clauses	: 0
3600.07/3345.04	c learnt constraints	: 10324680
3600.07/3345.04	c ignored constraints	: 0
3600.07/3345.04	c root simplifications	: 0
3600.07/3345.04	c removed literals (reason simplification)	: 0
3600.07/3345.04	c reason swapping (by a shorter reason)	: 0
3600.07/3345.04	c Calls to reduceDB	: 139
3600.07/3345.04	c Number of update (reduction) of LBD	: 0
3600.07/3345.04	c Imported unit clauses	: 0
3600.07/3345.04	c No decision after first conflict	: false
3600.07/3345.04	c number of reductions to clauses (during analyze)	: 0
3600.07/3345.04	c number of learned constraints concerned by reduction	: 0
3600.07/3345.04	c number of learning phase by resolution	: 0
3600.07/3345.04	c number of learning phase by cutting planes	: 0
3600.07/3345.04	c number of rounding to 1 operations	: 0
3600.07/3345.04	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.07/3345.04	c number of reductions of the coefficients by power 2 	: 0
3600.07/3345.04	c number of right shift for reduction by power 2 	: 0
3600.07/3345.04	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.07/3345.04	c number of ending skipping 	: 0
3600.07/3345.04	c number of internal skipping 	: 0
3600.07/3345.04	c number of derivation steps 	: 0
3600.07/3345.04	c number of skipped derivation steps 	: 0
3600.07/3345.04	c number of remaining unassigned 	: 0
3600.07/3345.04	c number of remaining assigned 	: 0
3600.07/3345.04	c number of falsified literals weakened from reason	: 0
3600.07/3345.04	c number of falsified literals weakened from conflict	: 0
3600.07/3345.04	c time for arithmetic operations	: 0
3600.07/3345.04	c minimum degree of deleted constraints	: null
3600.07/3345.04	c maximum degree of deleted constraints	: null
3600.07/3345.04	c number of deleted constraints	: 0
3600.07/3345.04	c speed (assignments/second)	: 20772.17982734781
3600.07/3345.05	c non guided choices	: 0
3600.07/3345.10	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 180682
3600.07/3345.10	s SATISFIABLE
3600.07/3345.10	c Found 3 solution(s)
3600.07/3345.11	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 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 x451 -x452 -x453 -x454 x455 -x456 -x457 -x458 x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 x739 x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 x748 -x749 -x750 x751 -x752 -x753 x754 -x755 -x756 -x757 -x758 x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 x782 -x783 -x784 -x785 x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 x829 -x830 -x831 -x832 -x833 -x834 -x835 x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 x920 -x921 -x922 -x923 -x924 -x925 x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 x990 -x991 x992 -x993 -x994 x995 -x996 -x997 -x998 x999 -x1000 
3600.07/3345.11	c objective function=-48992
3600.07/3345.11	c Total wall clock time (in seconds): 3344.986

Verifier Data 

OK	-48992

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457635-1721865115/watcher-4457635-1721865115 -o /tmp/evaluation-result-4457635-1721865115/solver-4457635-1721865115 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721865114-266851 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4457635-1721865115.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=267035, runsolver pid=267032

[startup+0.102193 s]*
/proc/loadavg: 0.13 0.10 0.09 13/330 267053
/proc/meminfo: memFree=122812476/131524600 swapFree=131056796/131071996
[pid=267035] ppid=267032 vsize=18975048 memory=64908 CPUtime=0.14 cores=4,6
/proc/267035/stat : 267035 (java) S 267032 267035 266840 0 -1 1077936128 7214 0 0 0 12 2 0 0 20 0 18 0 23035488 19430449152 16227 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
/proc/267035/statm: 4743762 16227 5604 1 0 549329 0
[pid=267035/tid=267037] ppid=267032 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/267035/task/267037/stat : 267037 (java) R 267032 267035 266840 0 -1 4194368 5757 0 0 0 7 1 0 0 20 0 18 0 23035488 19430449152 16227 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
[pid=267035/tid=267046] ppid=267032 vsize=18975048 memory=237146210664 CPUtime=0 cores=4,6
/proc/267035/task/267046/stat : 267046 (Finalizer) S 267032 267035 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 23035490 19430449152 16227 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
[pid=267035/tid=267053] ppid=267032 vsize=18975048 memory=13565998625714195 CPUtime=0 cores=4,6
/proc/267035/task/267053/stat : 267053 (Common-Cleaner) S 267032 267035 266840 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 23035491 19430449152 16227 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64908 KiB

[startup+0.206062 s]*
/proc/loadavg: 0.13 0.10 0.09 12/331 267054
/proc/meminfo: memFree=122764368/131524600 swapFree=131056796/131071996
[pid=267035] ppid=267032 vsize=19041612 memory=69628 CPUtime=0.33 cores=4,6
/proc/267035/stat : 267035 (java) S 267032 267035 266840 0 -1 1077936128 7727 0 0 0 31 2 0 0 20 0 19 0 23035488 19498610688 17407 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
/proc/267035/statm: 4760403 17407 5855 1 0 549898 0
[pid=267035/tid=267037] ppid=267032 vsize=19041612 memory=4782652875487838339 CPUtime=0.18 cores=4,6
/proc/267035/task/267037/stat : 267037 (java) R 267032 267035 266840 0 -1 4194368 6019 0 0 0 17 1 0 0 20 0 19 0 23035488 19498610688 17407 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
[pid=267035/tid=267046] ppid=267032 vsize=19041612 memory=1574935 CPUtime=0 cores=4,6
/proc/267035/task/267046/stat : 267046 (Finalizer) S 267032 267035 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23035490 19498610688 17407 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
[pid=267035/tid=267053] ppid=267032 vsize=19041612 memory=14127849065940646 CPUtime=0 cores=4,6
/proc/267035/task/267053/stat : 267053 (Common-Cleaner) S 267032 267035 266840 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 23035491 19498610688 17407 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
[pid=267035/tid=267054] ppid=267032 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/267035/task/267054/stat : 267054 (Timer-0) S 267032 267035 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 23035505 19498610688 17407 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 69628 KiB

[startup+0.305982 s]*
/proc/loadavg: 0.13 0.10 0.09 10/332 267055
/proc/meminfo: memFree=122718520/131524600 swapFree=131056796/131071996
[pid=267035] ppid=267032 vsize=19041612 memory=77504 CPUtime=0.52 cores=4,6
/proc/267035/stat : 267035 (java) S 267032 267035 266840 0 -1 1077936128 9585 0 0 0 50 2 0 0 20 0 19 0 23035488 19498610688 19376 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
/proc/267035/statm: 4760403 19376 5871 1 0 550734 0
[pid=267035/tid=267037] ppid=267032 vsize=19041612 memory=-9032648986420028092 CPUtime=0.28 cores=4,6
/proc/267035/task/267037/stat : 267037 (java) R 267032 267035 266840 0 -1 4194368 6041 0 0 0 27 1 0 0 20 0 19 0 23035488 19498610688 19376 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
[pid=267035/tid=267046] ppid=267032 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/267035/task/267046/stat : 267046 (Finalizer) S 267032 267035 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23035490 19498610688 19376 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
[pid=267035/tid=267053] ppid=267032 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/267035/task/267053/stat : 267053 (Common-Cleaner) S 267032 267035 266840 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 23035491 19498610688 19376 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
[pid=267035/tid=267054] ppid=267032 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/267035/task/267054/stat : 267054 (Timer-0) S 267032 267035 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 23035505 19498610688 19376 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 77504 KiB

[startup+0.700555 s]
/proc/loadavg: 0.13 0.10 0.09 6/332 267055
/proc/meminfo: memFree=122612176/131524600 swapFree=131056796/131071996
[pid=267035] ppid=267032 vsize=19041612 memory=104476 CPUtime=1.28 cores=4,6
/proc/267035/stat : 267035 (java) S 267032 267035 266840 0 -1 1077936128 12574 0 0 0 125 3 0 0 20 0 19 0 23035488 19498610688 26119 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
/proc/267035/statm: 4760403 26119 5887 1 0 552876 0
[pid=267035/tid=267037] ppid=267032 vsize=19041612 memory=73996 CPUtime=0.67 cores=4,6
/proc/267035/task/267037/stat : 267037 (java) R 267032 267035 266840 0 -1 4194368 6090 0 0 0 66 1 0 0 20 0 19 0 23035488 19498610688 26119 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
[pid=267035/tid=267046] ppid=267032 vsize=19041612 memory=12992 CPUtime=0 cores=4,6
/proc/267035/task/267046/stat : 267046 (Finalizer) S 267032 267035 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23035490 19498610688 26119 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
[pid=267035/tid=267053] ppid=267032 vsize=19041612 memory=2336 CPUtime=0 cores=4,6
/proc/267035/task/267053/stat : 267053 (Common-Cleaner) S 267032 267035 266840 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 23035491 19498610688 26119 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
[pid=267035/tid=267054] ppid=267032 vsize=19041612 memory=32404 CPUtime=0 cores=4,6
/proc/267035/task/267054/stat : 267054 (Timer-0) S 267032 267035 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 23035505 19498610688 26119 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 104476 KiB

[startup+1.50056 s]
/proc/loadavg: 0.13 0.10 0.09 5/333 267056
/proc/meminfo: memFree=122397904/131524600 swapFree=131056796/131071996
[pid=267035] ppid=267032 vsize=19108176 memory=257040 CPUtime=2.28 cores=4,6
/proc/267035/stat : 267035 (java) S 267032 267035 266840 0 -1 1077936128 15805 0 0 0 221 7 0 0 20 0 20 0 23035488 19566772224 64260 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
/proc/267035/statm: 4777044 64260 5887 1 0 553184 0
[pid=267035/tid=267037] ppid=267032 vsize=19108176 memory=12992 CPUtime=1.39 cores=4,6
/proc/267035/task/267037/stat : 267037 (java) R 267032 267035 266840 0 -1 4194368 6290 0 0 0 137 2 0 0 20 0 20 0 23035488 19566772224 64260 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
[pid=267035/tid=267046] ppid=267032 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/267035/task/267046/stat : 267046 (Finalizer) S 267032 267035 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23035490 19566772224 64260 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
[pid=267035/tid=267053] ppid=267032 vsize=19108176 memory=2336 CPUtime=0 cores=4,6
/proc/267035/task/267053/stat : 267053 (Common-Cleaner) S 267032 267035 266840 0 -1 1077936192 49 0 0 0 0 0 0 0 20 0 20 0 23035491 19566772224 64260 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
[pid=267035/tid=267054] ppid=267032 vsize=19108176 memory=32404 CPUtime=0 cores=4,6
/proc/267035/task/267054/stat : 267054 (Timer-0) S 267032 267035 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23035505 19566772224 64260 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
Current children cumulated CPU time: 2.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 257040 KiB

[startup+3.10655 s]
/proc/loadavg: 0.52 0.18 0.12 5/335 267060
/proc/meminfo: memFree=121646020/131524600 swapFree=131056796/131071996
[pid=267035] ppid=267032 vsize=19108176 memory=352800 CPUtime=4.17 cores=4,6
/proc/267035/stat : 267035 (java) S 267032 267035 266840 0 -1 1077936128 19380 0 0 0 408 9 0 0 20 0 20 0 23035488 19566772224 88200 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
/proc/267035/statm: 4777044 88200 5903 1 0 553438 0
[pid=267035/tid=267037] ppid=267032 vsize=19108176 memory=0 CPUtime=2.89 cores=4,6
/proc/267035/task/267037/stat : 267037 (java) S 267032 267035 266840 0 -1 1077936192 7214 0 0 0 287 2 0 0 20 0 20 0 23035488 19566772224 88200 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
[pid=267035/tid=267046] ppid=267032 vsize=19108176 memory=-9032648986420028092 CPUtime=0 cores=4,6
/proc/267035/task/267046/stat : 267046 (Finalizer) S 267032 267035 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23035490 19566772224 88200 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
[pid=267035/tid=267053] ppid=267032 vsize=19108176 memory=12992 CPUtime=0 cores=4,6
/proc/267035/task/267053/stat : 267053 (Common-Cleaner) S 267032 267035 266840 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 23035491 19566772224 88200 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
[pid=267035/tid=267054] ppid=267032 vsize=19108176 memory=2336 CPUtime=0 cores=4,6
/proc/267035/task/267054/stat : 267054 (Timer-0) S 267032 267035 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23035505 19566772224 88200 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
Current children cumulated CPU time: 4.17 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 352800 KiB

[startup+6.30055 s]
/proc/loadavg: 0.52 0.18 0.12 5/335 267060
/proc/meminfo: memFree=120633768/131524600 swapFree=131056796/131071996
[pid=267035] ppid=267032 vsize=19108176 memory=697024 CPUtime=7.53 cores=4,6
/proc/267035/stat : 267035 (java) S 267032 267035 266840 0 -1 1077936128 20098 0 0 0 737 16 0 0 20 0 20 0 23035488 19566772224 174256 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
/proc/267035/statm: 4777044 174256 5903 1 0 937773 0
[pid=267035/tid=267037] ppid=267032 vsize=19108176 memory=2336 CPUtime=5.85 cores=4,6
/proc/267035/task/267037/stat : 267037 (java) R 267032 267035 266840 0 -1 4194368 7376 0 0 0 580 5 0 0 20 0 20 0 23035488 19566772224 174256 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
[pid=267035/tid=267046] ppid=267032 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/267035/task/267046/stat : 267046 (Finalizer) S 267032 267035 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23035490 19566772224 174256 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
[pid=267035/tid=267053] ppid=267032 vsize=19108176 memory=12992 CPUtime=0 cores=4,6
/proc/267035/task/267053/stat : 267053 (Common-Cleaner) S 267032 267035 266840 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 23035491 19566772224 174256 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
[pid=267035/tid=267054] ppid=267032 vsize=19108176 memory=-5158697563450915880 CPUtime=0 cores=4,6
/proc/267035/task/267054/stat : 267054 (Timer-0) S 267032 267035 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23035505 19566772224 174256 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
Current children cumulated CPU time: 7.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 697024 KiB

[startup+12.7003 s]
/proc/loadavg: 1.06 0.30 0.16 6/335 267063
/proc/meminfo: memFree=118510672/131524600 swapFree=131056796/131071996
[pid=267035] ppid=267032 vsize=19108176 memory=1418428 CPUtime=14.43 cores=4,6
/proc/267035/stat : 267035 (java) S 267032 267035 266840 0 -1 1077936128 21796 0 0 0 1413 30 0 0 20 0 20 0 23035488 19566772224 354607 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
/proc/267035/statm: 4777044 354607 5903 1 0 1292887 0
[pid=267035/tid=267037] ppid=267032 vsize=19108176 memory=12992 CPUtime=11.68 cores=4,6
/proc/267035/task/267037/stat : 267037 (java) R 267032 267035 266840 0 -1 4194368 7515 0 0 0 1161 7 0 0 20 0 20 0 23035488 19566772224 354607 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
[pid=267035/tid=267046] ppid=267032 vsize=19108176 memory=1057540 CPUtime=0 cores=4,6
/proc/267035/task/267046/stat : 267046 (Finalizer) S 267032 267035 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23035490 19566772224 354607 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
[pid=267035/tid=267053] ppid=267032 vsize=19108176 memory=73996 CPUtime=0 cores=4,6
/proc/267035/task/267053/stat : 267053 (Common-Cleaner) S 267032 267035 266840 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 23035491 19566772224 354607 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
[pid=267035/tid=267054] ppid=267032 vsize=19108176 memory=12992 CPUtime=0 cores=4,6
/proc/267035/task/267054/stat : 267054 (Timer-0) S 267032 267035 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23035505 19566772224 354607 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
Current children cumulated CPU time: 14.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1418428 KiB

[startup+25.5003 s]
/proc/loadavg: 1.59 0.44 0.21 5/335 267064
/proc/meminfo: memFree=114782052/131524600 swapFree=131056796/131071996
[pid=267035] ppid=267032 vsize=19108176 memory=2694484 CPUtime=27.97 cores=4,6
/proc/267035/stat : 267035 (java) S 267032 267035 266840 0 -1 1077936128 26469 0 0 0 2740 57 0 0 20 0 20 0 23035488 19566772224 673621 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
/proc/267035/statm: 4777044 673621 5911 1 0 1503867 0
[pid=267035/tid=267037] ppid=267032 vsize=19108176 memory=6943526294502006880 CPUtime=23.59 cores=4,6
/proc/267035/task/267037/stat : 267037 (java) R 267032 267035 266840 0 -1 4194368 8904 0 0 0 2344 15 0 0 20 0 20 0 23035488 19566772224 673621 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
[pid=267035/tid=267046] ppid=267032 vsize=19108176 memory=11624 CPUtime=0 cores=4,6
/proc/267035/task/267046/stat : 267046 (Finalizer) S 267032 267035 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23035490 19566772224 673621 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
[pid=267035/tid=267053] ppid=267032 vsize=19108176 memory=3551 CPUtime=0 cores=4,6
/proc/267035/task/267053/stat : 267053 (Common-Cleaner) S 267032 267035 266840 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 23035491 19566772224 673621 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
[pid=267035/tid=267054] ppid=267032 vsize=19108176 memory=12992 CPUtime=0 cores=4,6
/proc/267035/task/267054/stat : 267054 (Timer-0) S 267032 267035 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23035505 19566772224 673621 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
Current children cumulated CPU time: 27.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2694484 KiB

[startup+51.1066 s]
/proc/loadavg: 2.72 0.79 0.33 6/335 267068
/proc/meminfo: memFree=106561768/131524600 swapFree=131056796/131071996
[pid=267035] ppid=267032 vsize=19108176 memory=4934852 CPUtime=56.39 cores=4,6
/proc/267035/stat : 267035 (java) S 267032 267035 266840 0 -1 1077936128 47824 0 0 0 5536 103 0 0 20 0 20 0 23035488 19566772224 1233713 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
/proc/267035/statm: 4777044 1233713 5911 1 0 1761198 0

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

/proc/267035/task/267046/stat : 267046 (Finalizer) S 267032 267035 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23035490 19566772224 3689488 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
[pid=267035/tid=267053] ppid=267032 vsize=19108176 memory=14757952 CPUtime=0 cores=4,6
/proc/267035/task/267053/stat : 267053 (Common-Cleaner) S 267032 267035 266840 0 -1 1077936192 1079 0 0 0 0 0 0 0 20 0 20 0 23035491 19566772224 3689488 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
[pid=267035/tid=267054] ppid=267032 vsize=19108176 memory=11624 CPUtime=0 cores=4,6
/proc/267035/task/267054/stat : 267054 (Timer-0) S 267032 267035 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23035505 19566772224 3689488 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
Current children cumulated CPU time: 3209.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14757952 KiB

[startup+3042.3 s]
/proc/loadavg: 4.60 4.72 4.68 5/332 268880
/proc/meminfo: memFree=63165980/131524600 swapFree=131056796/131071996
[pid=267035] ppid=267032 vsize=19108176 memory=14758000 CPUtime=3271.71 cores=4,6
/proc/267035/stat : 267035 (java) S 267032 267035 266840 0 -1 1077936128 591879 0 0 0 326688 483 0 0 20 0 20 0 23035488 19566772224 3689500 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
/proc/267035/statm: 4777044 3689500 5952 1 0 4084851 0
[pid=267035/tid=267037] ppid=267032 vsize=19108176 memory=14758000 CPUtime=2875.68 cores=4,6
/proc/267035/task/267037/stat : 267037 (java) R 267032 267035 266840 0 -1 4194368 125950 0 0 0 287466 102 0 0 20 0 20 0 23035488 19566772224 3689500 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 20 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
[pid=267035/tid=267046] ppid=267032 vsize=19108176 memory=14757956 CPUtime=0 cores=4,6
/proc/267035/task/267046/stat : 267046 (Finalizer) S 267032 267035 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23035490 19566772224 3689500 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
[pid=267035/tid=267053] ppid=267032 vsize=19108176 memory=14758000 CPUtime=0 cores=4,6
/proc/267035/task/267053/stat : 267053 (Common-Cleaner) S 267032 267035 266840 0 -1 1077936192 1081 0 0 0 0 0 0 0 20 0 20 0 23035491 19566772224 3689500 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
[pid=267035/tid=267054] ppid=267032 vsize=19108176 memory=14758000 CPUtime=0 cores=4,6
/proc/267035/task/267054/stat : 267054 (Timer-0) S 267032 267035 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23035505 19566772224 3689500 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
Current children cumulated CPU time: 3271.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14758000 KiB

[startup+3102.3 s]
/proc/loadavg: 4.37 4.63 4.65 5/332 268890
/proc/meminfo: memFree=63165576/131524600 swapFree=131056796/131071996
[pid=267035] ppid=267032 vsize=19108176 memory=14758028 CPUtime=3333.85 cores=4,6
/proc/267035/stat : 267035 (java) S 267032 267035 266840 0 -1 1077936128 594615 0 0 0 332900 485 0 0 20 0 20 0 23035488 19566772224 3689507 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
/proc/267035/statm: 4777044 3689507 5952 1 0 4084851 0
[pid=267035/tid=267037] ppid=267032 vsize=19108176 memory=-9032648986420028092 CPUtime=2932.56 cores=4,6
/proc/267035/task/267037/stat : 267037 (java) R 267032 267035 266840 0 -1 4194368 127090 0 0 0 293153 103 0 0 20 0 20 0 23035488 19566772224 3689507 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 20 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
[pid=267035/tid=267046] ppid=267032 vsize=19108176 memory=14758028 CPUtime=0 cores=4,6
/proc/267035/task/267046/stat : 267046 (Finalizer) S 267032 267035 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23035490 19566772224 3689507 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
[pid=267035/tid=267053] ppid=267032 vsize=19108176 memory=14758028 CPUtime=0 cores=4,6
/proc/267035/task/267053/stat : 267053 (Common-Cleaner) S 267032 267035 266840 0 -1 1077936192 1081 0 0 0 0 0 0 0 20 0 20 0 23035491 19566772224 3689507 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
[pid=267035/tid=267054] ppid=267032 vsize=19108176 memory=11624 CPUtime=0 cores=4,6
/proc/267035/task/267054/stat : 267054 (Timer-0) S 267032 267035 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23035505 19566772224 3689507 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
Current children cumulated CPU time: 3333.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14758028 KiB

[startup+3162.3 s]
/proc/loadavg: 4.56 4.66 4.66 5/332 268902
/proc/meminfo: memFree=62893768/131524600 swapFree=131056796/131071996
[pid=267035] ppid=267032 vsize=19108176 memory=14758048 CPUtime=3403.57 cores=4,6
/proc/267035/stat : 267035 (java) S 267032 267035 266840 0 -1 1077936128 610716 0 0 0 339864 493 0 0 20 0 20 0 23035488 19566772224 3689512 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
/proc/267035/statm: 4777044 3689512 5952 1 0 4084851 0
[pid=267035/tid=267037] ppid=267032 vsize=19108176 memory=-9032648986420028092 CPUtime=2989.6 cores=4,6
/proc/267035/task/267037/stat : 267037 (java) R 267032 267035 266840 0 -1 4194368 129222 0 0 0 298856 104 0 0 20 0 20 0 23035488 19566772224 3689512 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 21 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
[pid=267035/tid=267046] ppid=267032 vsize=19108176 memory=14758044 CPUtime=0 cores=4,6
/proc/267035/task/267046/stat : 267046 (Finalizer) S 267032 267035 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23035490 19566772224 3689512 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
[pid=267035/tid=267053] ppid=267032 vsize=19108176 memory=2708 CPUtime=0 cores=4,6
/proc/267035/task/267053/stat : 267053 (Common-Cleaner) S 267032 267035 266840 0 -1 1077936192 1128 0 0 0 0 0 0 0 20 0 20 0 23035491 19566772224 3689512 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
[pid=267035/tid=267054] ppid=267032 vsize=19108176 memory=-9032648986420028092 CPUtime=0 cores=4,6
/proc/267035/task/267054/stat : 267054 (Timer-0) S 267032 267035 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23035505 19566772224 3689512 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
Current children cumulated CPU time: 3403.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14758048 KiB

[startup+3222.3 s]
/proc/loadavg: 4.85 4.72 4.68 6/331 268913
/proc/meminfo: memFree=62784012/131524600 swapFree=131056796/131071996
[pid=267035] ppid=267032 vsize=19108176 memory=14758052 CPUtime=3466.31 cores=4,6
/proc/267035/stat : 267035 (java) S 267032 267035 266840 0 -1 1077936128 614181 0 0 0 346136 495 0 0 20 0 20 0 23035488 19566772224 3689513 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
/proc/267035/statm: 4777044 3689513 5952 1 0 4084851 0
[pid=267035/tid=267037] ppid=267032 vsize=19108176 memory=14758052 CPUtime=3046.26 cores=4,6
/proc/267035/task/267037/stat : 267037 (java) R 267032 267035 266840 0 -1 4194368 130387 0 0 0 304522 104 0 0 20 0 20 0 23035488 19566772224 3689513 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 21 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
[pid=267035/tid=267046] ppid=267032 vsize=19108176 memory=14758052 CPUtime=0 cores=4,6
/proc/267035/task/267046/stat : 267046 (Finalizer) S 267032 267035 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23035490 19566772224 3689513 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
[pid=267035/tid=267053] ppid=267032 vsize=19108176 memory=14758052 CPUtime=0 cores=4,6
/proc/267035/task/267053/stat : 267053 (Common-Cleaner) S 267032 267035 266840 0 -1 1077936192 1142 0 0 0 0 0 0 0 20 0 20 0 23035491 19566772224 3689513 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
[pid=267035/tid=267054] ppid=267032 vsize=19108176 memory=14758052 CPUtime=0 cores=4,6
/proc/267035/task/267054/stat : 267054 (Timer-0) S 267032 267035 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23035505 19566772224 3689513 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
Current children cumulated CPU time: 3466.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14758052 KiB

[startup+3282.3 s]
/proc/loadavg: 4.49 4.64 4.65 5/331 268990
/proc/meminfo: memFree=77466536/131524600 swapFree=131056796/131071996
[pid=267035] ppid=267032 vsize=19108176 memory=14758056 CPUtime=3535.06 cores=4,6
/proc/267035/stat : 267035 (java) S 267032 267035 266840 0 -1 1077936128 625241 0 0 0 353005 501 0 0 20 0 20 0 23035488 19566772224 3689514 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
/proc/267035/statm: 4777044 3689514 5952 1 0 4084853 0
[pid=267035/tid=267037] ppid=267032 vsize=19108176 memory=14758056 CPUtime=3103.23 cores=4,6
/proc/267035/task/267037/stat : 267037 (java) R 267032 267035 266840 0 -1 4194368 132375 0 0 0 310218 105 0 0 20 0 20 0 23035488 19566772224 3689514 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 21 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
[pid=267035/tid=267046] ppid=267032 vsize=19108176 memory=14758056 CPUtime=0 cores=4,6
/proc/267035/task/267046/stat : 267046 (Finalizer) S 267032 267035 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23035490 19566772224 3689514 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
[pid=267035/tid=267053] ppid=267032 vsize=19108176 memory=14758052 CPUtime=0 cores=4,6
/proc/267035/task/267053/stat : 267053 (Common-Cleaner) S 267032 267035 266840 0 -1 1077936192 1143 0 0 0 0 0 0 0 20 0 20 0 23035491 19566772224 3689514 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
[pid=267035/tid=267054] ppid=267032 vsize=19108176 memory=14758056 CPUtime=0 cores=4,6
/proc/267035/task/267054/stat : 267054 (Timer-0) S 267032 267035 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23035505 19566772224 3689514 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
Current children cumulated CPU time: 3535.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14758056 KiB

[startup+3342.3 s]
/proc/loadavg: 4.48 4.61 4.64 5/331 269002
/proc/meminfo: memFree=76883832/131524600 swapFree=131056796/131071996
[pid=267035] ppid=267032 vsize=19108176 memory=14758068 CPUtime=3596.74 cores=4,6
/proc/267035/stat : 267035 (java) S 267032 267035 266840 0 -1 1077936128 626875 0 0 0 359170 504 0 0 20 0 20 0 23035488 19566772224 3689517 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
/proc/267035/statm: 4777044 3689517 5952 1 0 4084853 0
[pid=267035/tid=267037] ppid=267032 vsize=19108176 memory=14758068 CPUtime=3160.56 cores=4,6
/proc/267035/task/267037/stat : 267037 (java) R 267032 267035 266840 0 -1 4194368 133306 0 0 0 315950 106 0 0 20 0 20 0 23035488 19566772224 3689517 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 21 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
[pid=267035/tid=267046] ppid=267032 vsize=19108176 memory=14758068 CPUtime=0 cores=4,6
/proc/267035/task/267046/stat : 267046 (Finalizer) S 267032 267035 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23035490 19566772224 3689517 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
[pid=267035/tid=267053] ppid=267032 vsize=19108176 memory=14758068 CPUtime=0 cores=4,6
/proc/267035/task/267053/stat : 267053 (Common-Cleaner) S 267032 267035 266840 0 -1 1077936192 1143 0 0 0 0 0 0 0 20 0 20 0 23035491 19566772224 3689517 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
[pid=267035/tid=267054] ppid=267032 vsize=19108176 memory=14758068 CPUtime=0 cores=4,6
/proc/267035/task/267054/stat : 267054 (Timer-0) S 267032 267035 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23035505 19566772224 3689517 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
Current children cumulated CPU time: 3596.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14758068 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3345 s]*
/proc/loadavg: 4.48 4.61 4.64 5/331 269003
/proc/meminfo: memFree=76883552/131524600 swapFree=131056796/131071996
[pid=267035] ppid=267032 vsize=19108176 memory=14758072 CPUtime=3600.07 cores=4,6
/proc/267035/stat : 267035 (java) S 267032 267035 266840 0 -1 1077936128 627014 0 0 0 359503 504 0 0 20 0 20 0 23035488 19566772224 3689518 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
/proc/267035/statm: 4777044 3689518 5952 1 0 4084853 0
[pid=267035/tid=267037] ppid=267032 vsize=19108176 memory=-8599730572339421884 CPUtime=3162.58 cores=4,6
/proc/267035/task/267037/stat : 267037 (java) R 267032 267035 266840 0 -1 4194368 133306 0 0 0 316152 106 0 0 20 0 20 0 23035488 19566772224 3689518 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 21 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
[pid=267035/tid=267046] ppid=267032 vsize=19108176 memory=3368 CPUtime=0 cores=4,6
/proc/267035/task/267046/stat : 267046 (Finalizer) S 267032 267035 266840 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23035490 19566772224 3689518 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
[pid=267035/tid=267053] ppid=267032 vsize=19108176 memory=26496 CPUtime=0 cores=4,6
/proc/267035/task/267053/stat : 267053 (Common-Cleaner) S 267032 267035 266840 0 -1 1077936192 1143 0 0 0 0 0 0 0 20 0 20 0 23035491 19566772224 3689518 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
[pid=267035/tid=267054] ppid=267032 vsize=19108176 memory=30916 CPUtime=0 cores=4,6
/proc/267035/task/267054/stat : 267054 (Timer-0) S 267032 267035 266840 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23035505 19566772224 3689518 134679101440 94870360633344 94870360637040 140737182897168 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94870360644856 94870360645648 94870374735872 140737182905351 140737182905441 140737182905441 140737182912456 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14758072 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.23 s, system=5.0874 s

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

[startup+3345.15 s]*
/proc/loadavg: 4.48 4.61 4.64 6/313 269006
/proc/meminfo: memFree=91214304/131524600 swapFree=131056796/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3345.16
CPU time (s): 3600.32
CPU user time (s): 3595.23
CPU system time (s): 5.0874
CPU usage (%): 107.628
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 14758072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.23
system time used= 5.08739
maximum resident set size= 14759404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 628913
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 116814
involuntary context switches= 28742


# summary of solver processes directly reported to runsolver:
#   pid: 267035
#   total CPU time (s): 3600.32
#   total CPU user time (s): 3595.23
#   total CPU system time (s): 5.0874

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.59524 second user time and 18.011 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2024-07-25 01:51:55
IDJOB=4457635
IDBENCH=176641
IDSOLVER=3058
FILE ID=nodeC030/4457635-1721865115
RUNJOBID= nodeC030-1721865114-266851
SLURM_JOB_ID= 8089185
Free space on /tmp= 890076 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/subset_sum/normalized-knapPI_6_200_10000_5_-48992.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457635-1721865115/watcher-4457635-1721865115 -o /tmp/evaluation-result-4457635-1721865115/solver-4457635-1721865115 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1721865114-266851 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4457635-1721865115.opb

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

MD5SUM BENCH= a84e76f0e449bb256266dd60911e5184
RANDOM SEED=1189201240

nodeC030.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		: 3667.923
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.45
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.719
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.46
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		: 3667.918
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.45
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.719
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.46
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.784
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.45
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.719
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.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.772
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.45
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.719
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.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        122889624 kB
MemAvailable:   129436740 kB
Buffers:          267980 kB
Cached:          7066464 kB
SwapCached:          300 kB
Active:          2559044 kB
Inactive:        5385228 kB
Active(anon):       2192 kB
Inactive(anon):   660664 kB
Active(file):    2556852 kB
Inactive(file):  4724564 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131056796 kB
Dirty:              4144 kB
Writeback:             0 kB
AnonPages:        606368 kB
Mapped:           129616 kB
Shmem:             53048 kB
KReclaimable:     211048 kB
Slab:             333192 kB
SReclaimable:     211048 kB
SUnreclaim:       122144 kB
KernelStack:        5024 kB
PageTables:        11256 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7252348 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            18176 kB
HardwareCorrupted:     0 kB
AnonHugePages:    342016 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:      344788 kB
DirectMap2M:    39274496 kB
DirectMap1G:    96468992 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC030 at 2024-07-25 02:47:41