Trace number 4440220

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)307 3600.7 3590.74

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-mod008.opb
MD5SUMd3e48ed9182b9fed4d29a9ec4b7209aa
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 benchmark307
Best CPU time to get the best result obtained on this benchmark0.085356
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables319
Total number of constraints6
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 constraints6
Minimum length of a constraint186
Maximum length of a constraint231
Number of terms in the objective function 319
Biggest coefficient in the objective function 87
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 23554
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 22000
Number of bits of the biggest number in a constraint 15
Biggest sum of numbers in a constraint 1027256
Number of bits of the biggest sum of numbers20
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version CUSTOM.v20240707
0.00/0.10	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.10	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.10	c java.vm.version	22.0.1+8-16
0.00/0.10	c java.vm.vendor	Oracle Corporation
0.00/0.10	c sun.arch.data.model	64
0.00/0.10	c java.version		22.0.1
0.00/0.10	c os.name		Linux
0.00/0.10	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.10	c os.arch		amd64
0.00/0.10	c Free memory 		2115194816
0.00/0.10	c Max memory 		16282288128
0.00/0.10	c Total memory 		2122317824
0.16/0.12	c Number of processors 	2
0.16/0.15	--- Begin Solver configuration ---
0.16/0.15	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.16/0.15	Learn all clauses as in MiniSAT
0.16/0.15	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.16/0.15	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.16/0.15	Expensive reason simplification
0.16/0.15	Glucose 2.1 dynamic restart strategy
0.16/0.15	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.16/0.15	timeout=2147483s
0.16/0.15	DB Simplification allowed=false
0.16/0.15	Listener: none
0.16/0.15	--- End Solver configuration ---
0.16/0.15	c Pseudo Boolean Optimization by upper bound
0.16/0.15	c --- Begin Solver configuration ---
0.16/0.15	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.16/0.15	c Learn all clauses as in MiniSAT
0.16/0.15	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.16/0.15	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.16/0.15	c Expensive reason simplification
0.16/0.15	c Glucose 2.1 dynamic restart strategy
0.16/0.15	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.16/0.15	c timeout=2147483s
0.16/0.15	c DB Simplification allowed=false
0.16/0.15	c Listener: none
0.16/0.15	c --- End Solver configuration ---
0.16/0.15	c solving HOME/instance-4440220-1721768773.opb
0.16/0.15	c reading problem ... 
0.16/0.16	c using VERIPB proof format
0.16/0.16	c  objective function found
0.16/0.20	c ... done. Wall clock time 0.043s.
0.16/0.20	c declared #vars     319
0.16/0.20	c #constraints  6
0.16/0.20	c constraints type 
0.16/0.20	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6
0.16/0.20	c 6 constraints processed.
0.16/0.21	c objective function length is 319 literals
0.16/0.23	c SATISFIABLE
0.16/0.23	c OPTIMIZING...
0.16/0.23	c Got one! Elapsed wall clock time (in seconds):0.069
0.16/0.23	o 359
1.26/0.72	c Got one! Elapsed wall clock time (in seconds):0.566
1.26/0.72	o 307
4.20/2.23	c cleaning 2868 clauses out of 5751 with flag 11564/5751
5.84/3.18	c cleaning 4439 clauses out of 8890 with flag 25653/11758
6.97/4.13	c cleaning 5721 clauses out of 11447 with flag 42260/18754
8.39/5.32	c cleaning 6850 clauses out of 13724 with flag 61919/26752
10.59/7.12	c cleaning 7912 clauses out of 15873 with flag 84058/35751
12.18/8.66	c cleaning 8978 clauses out of 17961 with flag 109110/45751
14.53/10.92	c cleaning 9988 clauses out of 19986 with flag 136138/56754
16.28/12.61	c cleaning 10973 clauses out of 21995 with flag 166049/68751
18.15/14.41	c cleaning 11998 clauses out of 24022 with flag 198453/81751
20.33/16.51	c cleaning 13009 clauses out of 26024 with flag 232619/95751
22.82/18.97	c cleaning 13992 clauses out of 28016 with flag 269789/110752
25.53/21.56	c cleaning 14998 clauses out of 30025 with flag 310529/126753
29.59/24.84	c cleaning 15998 clauses out of 32026 with flag 351873/143752
33.28/28.23	c cleaning 17011 clauses out of 34037 with flag 395897/161761
36.09/30.90	c cleaning 17993 clauses out of 36016 with flag 438648/180751
38.88/33.72	c cleaning 19003 clauses out of 38028 with flag 488856/200756
42.81/38.15	c cleaning 20016 clauses out of 40040 with flag 535893/221771
46.62/41.84	c cleaning 20991 clauses out of 42007 with flag 586681/243754
51.66/46.77	c cleaning 22004 clauses out of 44027 with flag 637181/266765
56.97/51.81	c cleaning 22984 clauses out of 46011 with flag 690429/290753
62.99/57.76	c cleaning 24016 clauses out of 48044 with flag 746049/315770
69.19/63.84	c cleaning 24994 clauses out of 50012 with flag 805644/341754
76.54/71.44	c cleaning 26008 clauses out of 52023 with flag 868150/368759
84.05/78.89	c cleaning 26978 clauses out of 54012 with flag 933142/396756
89.53/84.15	c cleaning 27994 clauses out of 56034 with flag 1003951/425756
95.00/89.56	c cleaning 29008 clauses out of 58035 with flag 1080480/455751
100.76/95.16	c cleaning 30003 clauses out of 60027 with flag 1157707/486751
106.19/100.95	c cleaning 31008 clauses out of 62033 with flag 1237750/518760
113.17/108.00	c cleaning 32004 clauses out of 64025 with flag 1321407/551760
121.50/116.19	c cleaning 33021 clauses out of 66048 with flag 1406578/585787
129.05/123.25	c cleaning 34004 clauses out of 68015 with flag 1484421/620775
135.97/130.37	c cleaning 34979 clauses out of 69987 with flag 1577779/656751
142.77/136.84	c cleaning 35997 clauses out of 72020 with flag 1673129/693763
150.40/144.34	c cleaning 36985 clauses out of 74014 with flag 1768148/731754
158.52/152.36	c cleaning 37992 clauses out of 76027 with flag 1866389/770752
168.94/162.83	c cleaning 39009 clauses out of 78036 with flag 1972677/810753
177.39/171.19	c cleaning 40033 clauses out of 80073 with flag 2066037/851799
186.14/179.77	c cleaning 40980 clauses out of 81994 with flag 2164676/893753
195.99/189.55	c cleaning 41994 clauses out of 84019 with flag 2270628/936758
205.72/199.12	c cleaning 42997 clauses out of 86022 with flag 2378285/980755
216.30/209.67	c cleaning 43986 clauses out of 88021 with flag 2489159/1025751
226.42/219.64	c cleaning 45003 clauses out of 90036 with flag 2602998/1071752
236.31/229.58	c cleaning 45978 clauses out of 92037 with flag 2717457/1118756
246.39/239.65	c cleaning 47013 clauses out of 94063 with flag 2829437/1166760
258.19/251.67	c cleaning 48012 clauses out of 96049 with flag 2948132/1215759
269.80/263.19	c cleaning 49011 clauses out of 98035 with flag 3069851/1265757
281.54/274.66	c cleaning 49991 clauses out of 100035 with flag 3186907/1316768
295.81/288.99	c cleaning 51025 clauses out of 102057 with flag 3302351/1368781
327.33/318.22	c cleaning 52006 clauses out of 104012 with flag 3420960/1421761
348.91/339.79	c cleaning 52966 clauses out of 105998 with flag 3553256/1475753
373.59/363.36	c cleaning 54022 clauses out of 108050 with flag 3684568/1530771
399.91/389.70	c cleaning 55018 clauses out of 110036 with flag 3810599/1586779
425.92/415.72	c cleaning 55923 clauses out of 111992 with flag 3942926/1643753
456.47/446.46	c cleaning 57018 clauses out of 114074 with flag 4087417/1701758
483.14/473.37	c cleaning 58049 clauses out of 116099 with flag 4235447/1760801
510.84/501.28	c cleaning 58988 clauses out of 118010 with flag 4369688/1820761
533.69/524.19	c cleaning 59998 clauses out of 120012 with flag 4521094/1881751
557.45/548.02	c cleaning 61007 clauses out of 122017 with flag 4675752/1943754
581.05/571.40	c cleaning 62000 clauses out of 124010 with flag 4840791/2006754
604.81/594.77	c cleaning 62972 clauses out of 126007 with flag 5017335/2070751
630.70/620.47	c cleaning 64082 clauses out of 128163 with flag 5175873/2135879
671.61/661.48	c cleaning 65014 clauses out of 130028 with flag 5311197/2201826
699.23/689.24	c cleaning 65976 clauses out of 131951 with flag 5465116/2268763
725.69/715.63	c cleaning 66931 clauses out of 133963 with flag 5619228/2336751
755.95/745.98	c cleaning 68029 clauses out of 136057 with flag 5779023/2405776
787.74/777.83	c cleaning 68991 clauses out of 138003 with flag 5938403/2475751
819.42/809.57	c cleaning 70009 clauses out of 140020 with flag 6105943/2546759
857.34/847.67	c cleaning 71056 clauses out of 142111 with flag 6270718/2618859
896.86/887.28	c cleaning 71886 clauses out of 143957 with flag 6433756/2691761
920.36/910.86	c cleaning 72997 clauses out of 146074 with flag 6626379/2765764
943.45/933.87	c cleaning 74039 clauses out of 148103 with flag 6834180/2840790
976.00/966.42	c cleaning 75046 clauses out of 150092 with flag 7034469/2916818
1013.56/1003.82	c cleaning 76052 clauses out of 152104 with flag 7212008/2993876
1044.18/1034.22	c cleaning 76970 clauses out of 153942 with flag 7407829/3071766
1094.18/1084.21	c cleaning 77974 clauses out of 155958 with flag 7604761/3150752
1127.45/1117.55	c cleaning 78976 clauses out of 157983 with flag 7793237/3230751
1162.86/1152.74	c cleaning 79986 clauses out of 160025 with flag 8002178/3311769
1203.62/1193.51	c cleaning 80983 clauses out of 162068 with flag 8204249/3393798
1240.14/1230.05	c cleaning 81977 clauses out of 164043 with flag 8417062/3476756
1279.15/1268.32	c cleaning 83043 clauses out of 166086 with flag 8613633/3560776
1313.92/1303.23	c cleaning 84040 clauses out of 168080 with flag 8815444/3645813
1362.61/1351.99	c cleaning 84935 clauses out of 169978 with flag 9033271/3731751
1411.70/1401.02	c cleaning 86018 clauses out of 172043 with flag 9231649/3818751
1459.05/1448.33	c cleaning 86978 clauses out of 174028 with flag 9409864/3906754
1523.92/1513.68	c cleaning 88066 clauses out of 176132 with flag 9597305/3995836
1556.66/1546.32	c cleaning 89011 clauses out of 178022 with flag 9805504/4085792
1589.13/1578.60	c cleaning 89980 clauses out of 179970 with flag 10056952/4176751
1639.85/1629.63	c cleaning 90908 clauses out of 182001 with flag 10263006/4268762
1674.16/1663.80	c cleaning 92003 clauses out of 184082 with flag 10517106/4361751
1725.00/1714.45	c cleaning 93038 clauses out of 186079 with flag 10749977/4455751
1782.54/1771.99	c cleaning 94075 clauses out of 188150 with flag 10961135/4550860
1844.56/1834.11	c cleaning 94940 clauses out of 189966 with flag 11198598/4646751
1891.84/1881.14	c cleaning 96009 clauses out of 192026 with flag 11441403/4743751
1945.30/1934.58	c cleaning 97012 clauses out of 194025 with flag 11674569/4841759
2000.63/1989.98	c cleaning 97998 clauses out of 196006 with flag 11916219/4940752
2044.55/2033.86	c cleaning 98992 clauses out of 198013 with flag 12183702/5040757
2089.05/2078.16	c cleaning 99997 clauses out of 200016 with flag 12464295/5141752
2151.56/2140.74	c cleaning 101083 clauses out of 202166 with flag 12709177/5243899
2206.13/2195.17	c cleaning 102001 clauses out of 204001 with flag 12949288/5346817
2256.38/2245.22	c cleaning 103009 clauses out of 206017 with flag 13194801/5450834
2316.65/2305.79	c cleaning 104003 clauses out of 208006 with flag 13464902/5555832
2370.13/2359.23	c cleaning 104977 clauses out of 209955 with flag 13740158/5661784
2429.13/2419.37	c cleaning 106040 clauses out of 212080 with flag 13996757/5768886
2494.44/2485.81	c cleaning 106963 clauses out of 213925 with flag 14257349/5876771
2547.08/2539.40	c cleaning 107970 clauses out of 215945 with flag 14530280/5985754
2593.56/2586.08	c cleaning 108979 clauses out of 217975 with flag 14824351/6095754
2642.59/2634.93	c cleaning 109981 clauses out of 219994 with flag 15133896/6206752
2695.29/2687.46	c cleaning 111024 clauses out of 222048 with flag 15424351/6318787
2757.18/2748.64	c cleaning 111979 clauses out of 223988 with flag 15705129/6431751
2814.36/2805.84	c cleaning 112988 clauses out of 226013 with flag 15995888/6545755
2870.08/2861.46	c cleaning 114016 clauses out of 228031 with flag 16292405/6660761
2918.67/2910.07	c cleaning 114991 clauses out of 230005 with flag 16607251/6776751
2991.88/2983.02	c cleaning 116069 clauses out of 232138 with flag 16911886/6893875
3059.00/3050.20	c cleaning 116955 clauses out of 233984 with flag 17198693/7011790
3136.63/3127.69	c cleaning 117946 clauses out of 235996 with flag 17482938/7130757
3203.10/3194.17	c cleaning 119023 clauses out of 238046 with flag 17785968/7250753
3271.96/3262.91	c cleaning 120018 clauses out of 240035 with flag 18092695/7371765
3327.86/3318.71	c cleaning 121072 clauses out of 242144 with flag 18398075/7493892
3399.44/3390.08	c cleaning 121917 clauses out of 243937 with flag 18679567/7616757
3493.79/3484.48	c cleaning 123055 clauses out of 246109 with flag 18973473/7740846
3547.77/3538.28	c cleaning 123970 clauses out of 247962 with flag 19317880/7865754
3600.00/3590.32	c starts		: 5616
3600.00/3590.34	c conflicts		: 7989551
3600.00/3590.36	c decisions		: 33905901
3600.00/3590.36	c propagations		: 656753791
3600.00/3590.36	c inspects		: 28415046517
3600.00/3590.36	c shortcuts		: 0
3600.00/3590.36	c learnt literals	: 0
3600.00/3590.36	c learnt binary clauses	: 356
3600.00/3590.36	c learnt ternary clauses	: 14983
3600.00/3590.37	c learnt constraints	: 7989551
3600.00/3590.37	c ignored constraints	: 0
3600.00/3590.37	c root simplifications	: 0
3600.00/3590.37	c removed literals (reason simplification)	: 278844552
3600.00/3590.37	c reason swapping (by a shorter reason)	: 0
3600.00/3590.37	c Calls to reduceDB	: 121
3600.00/3590.37	c Number of update (reduction) of LBD	: 1940708
3600.00/3590.38	c Imported unit clauses	: 0
3600.00/3590.38	c No decision after first conflict	: false
3600.00/3590.38	c number of reductions to clauses (during analyze)	: 0
3600.00/3590.38	c number of learned constraints concerned by reduction	: 0
3600.00/3590.38	c number of learning phase by resolution	: 0
3600.00/3590.38	c number of learning phase by cutting planes	: 0
3600.00/3590.38	c number of rounding to 1 operations	: 0
3600.00/3590.38	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3590.38	c number of reductions of the coefficients by power 2 	: 0
3600.00/3590.39	c number of right shift for reduction by power 2 	: 0
3600.00/3590.39	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3590.39	c number of ending skipping 	: 0
3600.00/3590.39	c number of internal skipping 	: 0
3600.00/3590.39	c number of derivation steps 	: 0
3600.00/3590.39	c number of skipped derivation steps 	: 0
3600.00/3590.39	c number of remaining unassigned 	: 0
3600.00/3590.39	c number of remaining assigned 	: 0
3600.00/3590.39	c number of falsified literals weakened from reason	: 0
3600.00/3590.39	c number of falsified literals weakened from conflict	: 0
3600.00/3590.39	c time for arithmetic operations	: 0
3600.00/3590.39	c minimum degree of deleted constraints	: null
3600.00/3590.39	c maximum degree of deleted constraints	: null
3600.00/3590.39	c number of deleted constraints	: 0
3600.00/3590.40	c speed (assignments/second)	: 182930.5516908479
3600.21/3590.40	c non guided choices	: 0
3600.60/3590.62	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 247433
3600.60/3590.62	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 356
3600.60/3590.62	s SATISFIABLE
3600.60/3590.62	c Found 2 solution(s)
3600.60/3590.62	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 
3600.60/3590.65	c objective function=307
3600.60/3590.65	c Total wall clock time (in seconds): 3590.493

Verifier Data 

OK	307

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: 64059 MiB (36278 MiB free)
  memory of node 1: 64510 MiB (12683 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440220-1721768773/watcher-4440220-1721768773 -o /tmp/evaluation-result-4440220-1721768773/solver-4440220-1721768773 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721765593-126367 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440220-1721768773 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440220-1721768773.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=128459, runsolver pid=128456

[startup+0.100068 s]*
/proc/loadavg: 4.59 4.65 4.63 8/330 128477
/proc/meminfo: memFree=50100076/131655788 swapFree=131070448/131071996
[pid=128459] ppid=128456 vsize=18993908 memory=62408 CPUtime=0.16 cores=4,6
/proc/128459/stat : 128459 (java) S 128456 128459 126356 0 -1 1077936128 6898 0 0 0 14 2 0 0 20 0 18 0 12866724 19449761792 15602 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
/proc/128459/statm: 4748477 15602 5825 1 0 551127 0
[pid=128459/tid=128461] ppid=128456 vsize=18993908 memory=4026561586 CPUtime=0.1 cores=4,6
/proc/128459/task/128461/stat : 128461 (java) R 128456 128459 126356 0 -1 4194368 5819 0 0 0 8 2 0 0 20 0 18 0 12866724 19449761792 15602 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
[pid=128459/tid=128470] ppid=128456 vsize=18993908 memory=232851243367 CPUtime=0 cores=4,6
/proc/128459/task/128470/stat : 128470 (Finalizer) S 128456 128459 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 12866727 19449761792 15602 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
[pid=128459/tid=128477] ppid=128456 vsize=18993908 memory=3618136736603162089 CPUtime=0 cores=4,6
/proc/128459/task/128477/stat : 128477 (Common-Cleaner) S 128456 128459 126356 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 12866728 19449761792 15602 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 62408 KiB

[startup+0.22547 s]*
/proc/loadavg: 4.59 4.65 4.63 8/331 128478
/proc/meminfo: memFree=50086420/131655788 swapFree=131070448/131071996
[pid=128459] ppid=128456 vsize=19060472 memory=70436 CPUtime=0.38 cores=4,6
/proc/128459/stat : 128459 (java) S 128456 128459 126356 0 -1 1077936128 7750 0 0 0 35 3 0 0 20 0 19 0 12866724 19517923328 17609 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
/proc/128459/statm: 4765118 17609 6037 1 0 552134 0
[pid=128459/tid=128461] ppid=128456 vsize=19060472 memory=4782652875487838339 CPUtime=0.21 cores=4,6
/proc/128459/task/128461/stat : 128461 (java) R 128456 128459 126356 0 -1 4194368 6166 0 0 0 19 2 0 0 20 0 19 0 12866724 19517923328 17609 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
[pid=128459/tid=128470] ppid=128456 vsize=19060472 memory=881198 CPUtime=0 cores=4,6
/proc/128459/task/128470/stat : 128470 (Finalizer) S 128456 128459 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 12866727 19517923328 17609 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
[pid=128459/tid=128477] ppid=128456 vsize=19060472 memory=3689070655443366200 CPUtime=0 cores=4,6
/proc/128459/task/128477/stat : 128477 (Common-Cleaner) S 128456 128459 126356 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 12866728 19517923328 17609 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
[pid=128459/tid=128478] ppid=128456 vsize=19060472 memory=0 CPUtime=0 cores=4,6
/proc/128459/task/128478/stat : 128478 (Timer-0) S 128456 128459 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 12866745 19517923328 17609 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 70436 KiB

[startup+0.317464 s]*
/proc/loadavg: 4.59 4.65 4.63 7/331 128478
/proc/meminfo: memFree=50080028/131655788 swapFree=131070448/131071996
[pid=128459] ppid=128456 vsize=19060472 memory=75356 CPUtime=0.55 cores=4,6
/proc/128459/stat : 128459 (java) S 128456 128459 126356 0 -1 1077936128 7897 0 0 0 52 3 0 0 20 0 19 0 12866724 19517923328 18839 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
/proc/128459/statm: 4765118 18839 6117 1 0 552212 0
[pid=128459/tid=128461] ppid=128456 vsize=19060472 memory=-8743851258040591036 CPUtime=0.27 cores=4,6
/proc/128459/task/128461/stat : 128461 (java) R 128456 128459 126356 0 -1 4194368 6182 0 0 0 25 2 0 0 20 0 19 0 12866724 19517923328 18839 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
[pid=128459/tid=128470] ppid=128456 vsize=19060472 memory=0 CPUtime=0 cores=4,6
/proc/128459/task/128470/stat : 128470 (Finalizer) S 128456 128459 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 12866727 19517923328 18839 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
[pid=128459/tid=128477] ppid=128456 vsize=19060472 memory=0 CPUtime=0 cores=4,6
/proc/128459/task/128477/stat : 128477 (Common-Cleaner) S 128456 128459 126356 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 12866728 19517923328 18839 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
[pid=128459/tid=128478] ppid=128456 vsize=19060472 memory=0 CPUtime=0 cores=4,6
/proc/128459/task/128478/stat : 128478 (Timer-0) S 128456 128459 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 12866745 19517923328 18839 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 75356 KiB

[startup+0.70046 s]
/proc/loadavg: 4.59 4.65 4.63 8/331 128478
/proc/meminfo: memFree=50057476/131655788 swapFree=131070448/131071996
[pid=128459] ppid=128456 vsize=19060472 memory=129832 CPUtime=1.26 cores=4,6
/proc/128459/stat : 128459 (java) S 128456 128459 126356 0 -1 1077936128 12006 0 0 0 121 5 0 0 20 0 19 0 12866724 19517923328 32458 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
/proc/128459/statm: 4765118 32458 6129 1 0 554046 0
[pid=128459/tid=128461] ppid=128456 vsize=19060472 memory=50044 CPUtime=0.62 cores=4,6
/proc/128459/task/128461/stat : 128461 (java) R 128456 128459 126356 0 -1 4194368 6231 0 0 0 58 4 0 0 20 0 19 0 12866724 19517923328 32458 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
[pid=128459/tid=128470] ppid=128456 vsize=19060472 memory=12240 CPUtime=0 cores=4,6
/proc/128459/task/128470/stat : 128470 (Finalizer) S 128456 128459 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 12866727 19517923328 32458 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
[pid=128459/tid=128477] ppid=128456 vsize=19060472 memory=2232 CPUtime=0 cores=4,6
/proc/128459/task/128477/stat : 128477 (Common-Cleaner) S 128456 128459 126356 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 12866728 19517923328 32458 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
[pid=128459/tid=128478] ppid=128456 vsize=19060472 memory=1896 CPUtime=0 cores=4,6
/proc/128459/task/128478/stat : 128478 (Timer-0) S 128456 128459 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 12866745 19517923328 32458 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19060472 KiB
Current children cumulated memory: 129832 KiB

[startup+1.50047 s]
/proc/loadavg: 4.59 4.65 4.63 6/332 128479
/proc/meminfo: memFree=49961596/131655788 swapFree=131070448/131071996
[pid=128459] ppid=128456 vsize=19127036 memory=186092 CPUtime=2.84 cores=4,6
/proc/128459/stat : 128459 (java) S 128456 128459 126356 0 -1 1077936128 19336 0 0 0 276 8 0 0 20 0 20 0 12866724 19586084864 46523 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
/proc/128459/statm: 4781759 46523 6193 1 0 556215 0
[pid=128459/tid=128461] ppid=128456 vsize=19127036 memory=12240 CPUtime=1.35 cores=4,6
/proc/128459/task/128461/stat : 128461 (java) R 128456 128459 126356 0 -1 4194368 6630 0 0 0 130 5 0 0 20 0 20 0 12866724 19586084864 46523 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
[pid=128459/tid=128470] ppid=128456 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/128459/task/128470/stat : 128470 (Finalizer) S 128456 128459 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12866727 19586084864 46523 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
[pid=128459/tid=128477] ppid=128456 vsize=19127036 memory=2232 CPUtime=0 cores=4,6
/proc/128459/task/128477/stat : 128477 (Common-Cleaner) S 128456 128459 126356 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 12866728 19586084864 46523 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
[pid=128459/tid=128478] ppid=128456 vsize=19127036 memory=1896 CPUtime=0 cores=4,6
/proc/128459/task/128478/stat : 128478 (Timer-0) S 128456 128459 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12866745 19586084864 46523 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 186092 KiB

[startup+3.10609 s]
/proc/loadavg: 4.59 4.65 4.63 5/332 128479
/proc/meminfo: memFree=49673296/131655788 swapFree=131070448/131071996
[pid=128459] ppid=128456 vsize=19127036 memory=467036 CPUtime=5.84 cores=4,6
/proc/128459/stat : 128459 (java) S 128456 128459 126356 0 -1 1077936128 25550 0 0 0 568 16 0 0 20 0 20 0 12866724 19586084864 116759 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
/proc/128459/statm: 4781759 116759 6193 1 0 710427 0
[pid=128459/tid=128461] ppid=128456 vsize=19127036 memory=0 CPUtime=2.87 cores=4,6
/proc/128459/task/128461/stat : 128461 (java) R 128456 128459 126356 0 -1 4194368 7973 0 0 0 275 12 0 0 20 0 20 0 12866724 19586084864 116759 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
[pid=128459/tid=128470] ppid=128456 vsize=19127036 memory=-8743851258040591036 CPUtime=0 cores=4,6
/proc/128459/task/128470/stat : 128470 (Finalizer) S 128456 128459 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12866727 19586084864 116759 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
[pid=128459/tid=128477] ppid=128456 vsize=19127036 memory=12240 CPUtime=0 cores=4,6
/proc/128459/task/128477/stat : 128477 (Common-Cleaner) S 128456 128459 126356 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 20 0 12866728 19586084864 116759 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
[pid=128459/tid=128478] ppid=128456 vsize=19127036 memory=2232 CPUtime=0 cores=4,6
/proc/128459/task/128478/stat : 128478 (Timer-0) S 128456 128459 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12866745 19586084864 116759 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
Current children cumulated CPU time: 5.84 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 467036 KiB

[startup+6.30047 s]
/proc/loadavg: 4.54 4.64 4.63 5/332 128479
/proc/meminfo: memFree=48900584/131655788 swapFree=131070448/131071996
[pid=128459] ppid=128456 vsize=19127036 memory=1103888 CPUtime=9.81 cores=4,6
/proc/128459/stat : 128459 (java) S 128456 128459 126356 0 -1 1077936128 26747 0 0 0 949 32 0 0 20 0 20 0 12866724 19586084864 275972 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
/proc/128459/statm: 4781759 275972 6193 1 0 1222234 0
[pid=128459/tid=128461] ppid=128456 vsize=19127036 memory=12240 CPUtime=5.65 cores=4,6
/proc/128459/task/128461/stat : 128461 (java) R 128456 128459 126356 0 -1 4194368 8234 0 0 0 541 24 0 0 20 0 20 0 12866724 19586084864 275972 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
[pid=128459/tid=128470] ppid=128456 vsize=19127036 memory=2232 CPUtime=0 cores=4,6
/proc/128459/task/128470/stat : 128470 (Finalizer) S 128456 128459 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12866727 19586084864 275972 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
[pid=128459/tid=128477] ppid=128456 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/128459/task/128477/stat : 128477 (Common-Cleaner) S 128456 128459 126356 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 20 0 12866728 19586084864 275972 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
[pid=128459/tid=128478] ppid=128456 vsize=19127036 memory=188256 CPUtime=0 cores=4,6
/proc/128459/task/128478/stat : 128478 (Timer-0) S 128456 128459 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12866745 19586084864 275972 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
Current children cumulated CPU time: 9.81 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1103888 KiB

[startup+12.7005 s]
/proc/loadavg: 4.66 4.66 4.64 5/332 128481
/proc/meminfo: memFree=48337888/131655788 swapFree=131070448/131071996
[pid=128459] ppid=128456 vsize=19127036 memory=1489092 CPUtime=16.38 cores=4,6
/proc/128459/stat : 128459 (java) S 128456 128459 126356 0 -1 1077936128 26989 0 0 0 1592 46 0 0 20 0 20 0 12866724 19586084864 372273 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
/proc/128459/statm: 4781759 372273 6193 1 0 1222235 0
[pid=128459/tid=128461] ppid=128456 vsize=19127036 memory=188256 CPUtime=11.77 cores=4,6
/proc/128459/task/128461/stat : 128461 (java) R 128456 128459 126356 0 -1 4194368 8356 0 0 0 1143 34 0 0 20 0 20 0 12866724 19586084864 372273 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
[pid=128459/tid=128470] ppid=128456 vsize=19127036 memory=1454276 CPUtime=0 cores=4,6
/proc/128459/task/128470/stat : 128470 (Finalizer) S 128456 128459 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12866727 19586084864 372273 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
[pid=128459/tid=128477] ppid=128456 vsize=19127036 memory=1407064 CPUtime=0 cores=4,6
/proc/128459/task/128477/stat : 128477 (Common-Cleaner) S 128456 128459 126356 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 20 0 12866728 19586084864 372273 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
[pid=128459/tid=128478] ppid=128456 vsize=19127036 memory=12240 CPUtime=0 cores=4,6
/proc/128459/task/128478/stat : 128478 (Timer-0) S 128456 128459 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12866745 19586084864 372273 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
Current children cumulated CPU time: 16.38 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 1489092 KiB

[startup+25.5005 s]
/proc/loadavg: 4.51 4.63 4.63 6/338 128488
/proc/meminfo: memFree=46074944/131655788 swapFree=131070448/131071996
[pid=128459] ppid=128456 vsize=19127036 memory=3288784 CPUtime=30.47 cores=4,6
/proc/128459/stat : 128459 (java) S 128456 128459 126356 0 -1 1077936128 30409 0 0 0 2953 94 0 0 20 0 20 0 12866724 19586084864 822196 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
/proc/128459/statm: 4781759 822196 6193 1 0 1777887 0
[pid=128459/tid=128461] ppid=128456 vsize=19127036 memory=3223280 CPUtime=23.82 cores=4,6
/proc/128459/task/128461/stat : 128461 (java) R 128456 128459 126356 0 -1 4194368 9643 0 0 0 2312 70 0 0 20 0 20 0 12866724 19586084864 822196 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
[pid=128459/tid=128470] ppid=128456 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/128459/task/128470/stat : 128470 (Finalizer) S 128456 128459 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12866727 19586084864 822196 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
[pid=128459/tid=128477] ppid=128456 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/128459/task/128477/stat : 128477 (Common-Cleaner) S 128456 128459 126356 0 -1 1077936192 37 0 0 0 0 0 0 0 20 0 20 0 12866728 19586084864 822196 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
[pid=128459/tid=128478] ppid=128456 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/128459/task/128478/stat : 128478 (Timer-0) S 128456 128459 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12866745 19586084864 822196 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
Current children cumulated CPU time: 30.47 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 3288784 KiB

[startup+51.1144 s]
/proc/loadavg: 4.34 4.58 4.61 5/338 128494
/proc/meminfo: memFree=44213704/131655788 swapFree=131070448/131071996
[pid=128459] ppid=128456 vsize=19127036 memory=4440552 CPUtime=56.29 cores=4,6
/proc/128459/stat : 128459 (java) S 128456 128459 126356 0 -1 1077936128 35181 0 0 0 5489 140 0 0 20 0 20 0 12866724 19586084864 1110138 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0

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

/proc/128459/statm: 4781759 1086027 6220 1 0 1098703 0
[pid=128459/tid=128461] ppid=128456 vsize=19127036 memory=4344108 CPUtime=3298.14 cores=4,6
/proc/128459/task/128461/stat : 128461 (java) R 128456 128459 126356 0 -1 4194368 105497 0 0 0 328997 817 0 0 20 0 20 0 12866724 19586084864 1086027 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1211 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
[pid=128459/tid=128470] ppid=128456 vsize=19127036 memory=4344108 CPUtime=0 cores=4,6
/proc/128459/task/128470/stat : 128470 (Finalizer) S 128456 128459 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12866727 19586084864 1086027 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
[pid=128459/tid=128477] ppid=128456 vsize=19127036 memory=12264 CPUtime=0 cores=4,6
/proc/128459/task/128477/stat : 128477 (Common-Cleaner) S 128456 128459 126356 0 -1 1077936192 2583 0 0 0 0 0 0 0 20 0 20 0 12866728 19586084864 1086027 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
[pid=128459/tid=128478] ppid=128456 vsize=19127036 memory=37788 CPUtime=0 cores=4,6
/proc/128459/task/128478/stat : 128478 (Timer-0) S 128456 128459 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12866745 19586084864 1086027 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
Current children cumulated CPU time: 3351.52 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 4344108 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.44 4.77 5/325 131215
/proc/meminfo: memFree=61041452/131655788 swapFree=131052932/131071996
[pid=128459] ppid=128456 vsize=19127036 memory=4344108 CPUtime=3411.66 cores=4,6
/proc/128459/stat : 128459 (java) S 128456 128459 126356 0 -1 1077936128 261022 0 0 0 340117 1049 0 0 20 0 20 0 12866724 19586084864 1086027 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
/proc/128459/statm: 4781759 1086027 6220 1 0 1098703 0
[pid=128459/tid=128461] ppid=128456 vsize=19127036 memory=4344108 CPUtime=3357.52 cores=4,6
/proc/128459/task/128461/stat : 128461 (java) R 128456 128459 126356 0 -1 4194368 105786 0 0 0 334927 825 0 0 20 0 20 0 12866724 19586084864 1086027 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1222 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
[pid=128459/tid=128470] ppid=128456 vsize=19127036 memory=17828 CPUtime=0 cores=4,6
/proc/128459/task/128470/stat : 128470 (Finalizer) S 128456 128459 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12866727 19586084864 1086027 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
[pid=128459/tid=128477] ppid=128456 vsize=19127036 memory=4344108 CPUtime=0 cores=4,6
/proc/128459/task/128477/stat : 128477 (Common-Cleaner) S 128456 128459 126356 0 -1 1077936192 2653 0 0 0 0 0 0 0 20 0 20 0 12866728 19586084864 1086027 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
[pid=128459/tid=128478] ppid=128456 vsize=19127036 memory=4344108 CPUtime=0 cores=4,6
/proc/128459/task/128478/stat : 128478 (Timer-0) S 128456 128459 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12866745 19586084864 1086027 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
Current children cumulated CPU time: 3411.66 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 4344108 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.38 4.72 5/324 131227
/proc/meminfo: memFree=60151020/131655788 swapFree=131052932/131071996
[pid=128459] ppid=128456 vsize=19127036 memory=4344108 CPUtime=3471.59 cores=4,6
/proc/128459/stat : 128459 (java) S 128456 128459 126356 0 -1 1077936128 261928 0 0 0 346102 1057 0 0 20 0 20 0 12866724 19586084864 1086027 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
/proc/128459/statm: 4781759 1086027 6220 1 0 1098703 0
[pid=128459/tid=128461] ppid=128456 vsize=19127036 memory=4344108 CPUtime=3417.21 cores=4,6
/proc/128459/task/128461/stat : 128461 (java) R 128456 128459 126356 0 -1 4194368 106602 0 0 0 340890 831 0 0 20 0 20 0 12866724 19586084864 1086027 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1227 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
[pid=128459/tid=128470] ppid=128456 vsize=19127036 memory=-8743851258040591036 CPUtime=0 cores=4,6
/proc/128459/task/128470/stat : 128470 (Finalizer) S 128456 128459 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12866727 19586084864 1086027 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
[pid=128459/tid=128477] ppid=128456 vsize=19127036 memory=17828 CPUtime=0 cores=4,6
/proc/128459/task/128477/stat : 128477 (Common-Cleaner) S 128456 128459 126356 0 -1 1077936192 2653 0 0 0 0 0 0 0 20 0 20 0 12866728 19586084864 1086027 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
[pid=128459/tid=128478] ppid=128456 vsize=19127036 memory=4344108 CPUtime=0 cores=4,6
/proc/128459/task/128478/stat : 128478 (Timer-0) S 128456 128459 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12866745 19586084864 1086027 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
Current children cumulated CPU time: 3471.59 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 4344108 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.32 4.68 5/324 131238
/proc/meminfo: memFree=59162080/131655788 swapFree=131052932/131071996
[pid=128459] ppid=128456 vsize=19127036 memory=4344108 CPUtime=3531.72 cores=4,6
/proc/128459/stat : 128459 (java) S 128456 128459 126356 0 -1 1077936128 263302 0 0 0 352103 1069 0 0 20 0 20 0 12866724 19586084864 1086027 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
/proc/128459/statm: 4781759 1086027 6220 1 0 1098703 0
[pid=128459/tid=128461] ppid=128456 vsize=19127036 memory=4344108 CPUtime=3476.67 cores=4,6
/proc/128459/task/128461/stat : 128461 (java) R 128456 128459 126356 0 -1 4194368 107355 0 0 0 346826 841 0 0 20 0 20 0 12866724 19586084864 1086027 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1233 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
[pid=128459/tid=128470] ppid=128456 vsize=19127036 memory=4344108 CPUtime=0 cores=4,6
/proc/128459/task/128470/stat : 128470 (Finalizer) S 128456 128459 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12866727 19586084864 1086027 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
[pid=128459/tid=128477] ppid=128456 vsize=19127036 memory=4344108 CPUtime=0 cores=4,6
/proc/128459/task/128477/stat : 128477 (Common-Cleaner) S 128456 128459 126356 0 -1 1077936192 2654 0 0 0 0 0 0 0 20 0 20 0 12866728 19586084864 1086027 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
[pid=128459/tid=128478] ppid=128456 vsize=19127036 memory=-8743851258040591036 CPUtime=0 cores=4,6
/proc/128459/task/128478/stat : 128478 (Timer-0) S 128456 128459 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12866745 19586084864 1086027 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
Current children cumulated CPU time: 3531.72 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 4344108 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.29 4.65 5/322 131248
/proc/meminfo: memFree=58178640/131655788 swapFree=131052932/131071996
[pid=128459] ppid=128456 vsize=19127036 memory=4344108 CPUtime=3592.01 cores=4,6
/proc/128459/stat : 128459 (java) S 128456 128459 126356 0 -1 1077936128 263958 0 0 0 358116 1085 0 0 20 0 20 0 12866724 19586084864 1086027 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
/proc/128459/statm: 4781759 1086027 6220 1 0 1098703 0
[pid=128459/tid=128461] ppid=128456 vsize=19127036 memory=12240 CPUtime=3535.91 cores=4,6
/proc/128459/task/128461/stat : 128461 (java) R 128456 128459 126356 0 -1 4194368 107711 0 0 0 352737 854 0 0 20 0 20 0 12866724 19586084864 1086027 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1241 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
[pid=128459/tid=128470] ppid=128456 vsize=19127036 memory=-8743851258040591036 CPUtime=0 cores=4,6
/proc/128459/task/128470/stat : 128470 (Finalizer) S 128456 128459 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12866727 19586084864 1086027 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
[pid=128459/tid=128477] ppid=128456 vsize=19127036 memory=1896 CPUtime=0 cores=4,6
/proc/128459/task/128477/stat : 128477 (Common-Cleaner) S 128456 128459 126356 0 -1 1077936192 2708 0 0 0 0 0 0 0 20 0 20 0 12866728 19586084864 1086027 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
[pid=128459/tid=128478] ppid=128456 vsize=19127036 memory=50044 CPUtime=0 cores=4,6
/proc/128459/task/128478/stat : 128478 (Timer-0) S 128456 128459 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12866745 19586084864 1086027 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
Current children cumulated CPU time: 3592.01 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 4344108 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3590.3 s]
/proc/loadavg: 4.19 4.30 4.65 5/322 131249
/proc/meminfo: memFree=58036592/131655788 swapFree=131052932/131071996
[pid=128459] ppid=128456 vsize=19127036 memory=4344108 CPUtime=3600 cores=4,6
/proc/128459/stat : 128459 (java) S 128456 128459 126356 0 -1 1077936128 263967 0 0 0 358914 1086 0 0 20 0 20 0 12866724 19586084864 1086027 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
/proc/128459/statm: 4781759 1086027 6220 1 0 1098703 0
[pid=128459/tid=128461] ppid=128456 vsize=19127036 memory=2232 CPUtime=3543.89 cores=4,6
/proc/128459/task/128461/stat : 128461 (java) R 128456 128459 126356 0 -1 4194368 107720 0 0 0 353534 855 0 0 20 0 20 0 12866724 19586084864 1086027 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1241 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
[pid=128459/tid=128470] ppid=128456 vsize=19127036 memory=4344108 CPUtime=0 cores=4,6
/proc/128459/task/128470/stat : 128470 (Finalizer) S 128456 128459 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 12866727 19586084864 1086027 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
[pid=128459/tid=128477] ppid=128456 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/128459/task/128477/stat : 128477 (Common-Cleaner) S 128456 128459 126356 0 -1 1077936192 2708 0 0 0 0 0 0 0 20 0 20 0 12866728 19586084864 1086027 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
[pid=128459/tid=128478] ppid=128456 vsize=19127036 memory=4344108 CPUtime=0 cores=4,6
/proc/128459/task/128478/stat : 128478 (Timer-0) S 128456 128459 126356 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 12866745 19586084864 1086027 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 4344108 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589.81 s, system=10.8922 s

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

[startup+3590.41 s]
/proc/loadavg: 4.19 4.30 4.65 5/322 131249
/proc/meminfo: memFree=58036592/131655788 swapFree=131052932/131071996
[pid=128459] ppid=128456 vsize=19326728 memory=4344792 CPUtime=3600.21 cores=4,6
/proc/128459/stat : 128459 (java) S 128456 128459 126356 0 -1 1077936128 265934 0 0 0 358934 1087 0 0 20 0 21 0 12866724 19790569472 1086198 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
/proc/128459/statm: 4831682 1086198 6219 1 0 1099658 0
[pid=128459/tid=128461] ppid=128456 vsize=19326728 memory=17828 CPUtime=3544 cores=4,6
/proc/128459/task/128461/stat : 128461 (java) R 128456 128459 126356 0 -1 4194368 107823 0 0 0 353545 855 0 0 20 0 21 0 12866724 19790569472 1086198 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1241 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
[pid=128459/tid=128470] ppid=128456 vsize=19326728 memory=2232 CPUtime=0 cores=4,6
/proc/128459/task/128470/stat : 128470 (Finalizer) S 128456 128459 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 12866727 19790569472 1086198 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
[pid=128459/tid=128477] ppid=128456 vsize=19326728 memory=12264 CPUtime=0 cores=4,6
/proc/128459/task/128477/stat : 128477 (Common-Cleaner) S 128456 128459 126356 0 -1 1077936192 2708 0 0 0 0 0 0 0 20 0 21 0 12866728 19790569472 1086198 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 19326728 KiB
Current children cumulated memory: 4344792 KiB

[startup+3590.61 s]
/proc/loadavg: 4.19 4.30 4.65 5/322 131249
/proc/meminfo: memFree=58036592/131655788 swapFree=131052932/131071996
[pid=128459] ppid=128456 vsize=19326728 memory=4344812 CPUtime=3600.6 cores=4,6
/proc/128459/stat : 128459 (java) S 128456 128459 126356 0 -1 1077936128 265978 0 0 0 358973 1087 0 0 20 0 21 0 12866724 19790569472 1086203 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
/proc/128459/statm: 4831682 1086203 6219 1 0 1099658 0
[pid=128459/tid=128461] ppid=128456 vsize=19326728 memory=4960 CPUtime=3544.2 cores=4,6
/proc/128459/task/128461/stat : 128461 (java) R 128456 128459 126356 0 -1 4194368 107823 0 0 0 353565 855 0 0 20 0 21 0 12866724 19790569472 1086203 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 1241 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
[pid=128459/tid=128470] ppid=128456 vsize=19326728 memory=4344108 CPUtime=0 cores=4,6
/proc/128459/task/128470/stat : 128470 (Finalizer) S 128456 128459 126356 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 12866727 19790569472 1086203 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
[pid=128459/tid=128477] ppid=128456 vsize=19326728 memory=-8743851258040591036 CPUtime=0 cores=4,6
/proc/128459/task/128477/stat : 128477 (Common-Cleaner) S 128456 128459 126356 0 -1 1077936192 2708 0 0 0 0 0 0 0 20 0 21 0 12866728 19790569472 1086203 134679101440 94500676038656 94500676042352 140734076149616 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94500676050168 94500676050960 94500678766592 140734076158895 140734076159077 140734076159077 140734076166088 0
Current children cumulated CPU time: 3600.6 s
Current children cumulated vsize: 19326728 KiB
Current children cumulated memory: 4344812 KiB

[startup+3590.7 s]*
/proc/loadavg: 4.19 4.30 4.65 6/304 131252
/proc/meminfo: memFree=62351212/131655788 swapFree=131052932/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): 3590.74
CPU time (s): 3600.7
CPU user time (s): 3589.81
CPU system time (s): 10.8922
CPU usage (%): 100.277
Max. virtual memory (cumulated for all children) (KiB): 19326728
Max. memory (cumulated for all children) (KiB): 6931412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.81
system time used= 10.8922
maximum resident set size= 6931656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 266374
page faults= 0
swaps= 0
block input operations= 16
block output operations= 14025344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113651
involuntary context switches= 8502


# summary of solver processes directly reported to runsolver:
#   pid: 128459
#   total CPU time (s): 3600.7
#   total CPU user time (s): 3589.81
#   total CPU system time (s): 10.8922

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.8056 second user time and 40.5259 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-23 23:06:13
IDJOB=4440220
IDBENCH=146929
IDSOLVER=3079
FILE ID=nodeC005/4440220-1721768773
RUNJOBID= nodeC005-1721765593-126367
SLURM_JOB_ID= 7770667
Free space on /tmp= 723780 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod008.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-4440220-1721768773/watcher-4440220-1721768773 -o /tmp/evaluation-result-4440220-1721768773/solver-4440220-1721768773 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721765593-126367 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440220-1721768773 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440220-1721768773.opb

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

MD5SUM BENCH= d3e48ed9182b9fed4d29a9ec4b7209aa
RANDOM SEED=1402718968

nodeC005.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	: 0xb00001f
cpu MHz		: 3618.050
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.14
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	: 0xb00001f
cpu MHz		: 3609.031
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 1197.110
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.14
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	: 0xb00001f
cpu MHz		: 1197.311
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 3491.593
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.14
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	: 0xb00001f
cpu MHz		: 3656.202
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 1197.120
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.14
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	: 0xb00001f
cpu MHz		: 1197.212
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        50137048 kB
MemAvailable:   94411312 kB
Buffers:          176452 kB
Cached:         44834520 kB
SwapCached:          124 kB
Active:          1198000 kB
Inactive:       79532152 kB
Active(anon):       1588 kB
Inactive(anon): 35762568 kB
Active(file):    1196412 kB
Inactive(file): 43769584 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131070448 kB
Dirty:             81396 kB
Writeback:            60 kB
AnonPages:      35715512 kB
Mapped:           126560 kB
Shmem:             45208 kB
KReclaimable:     296600 kB
Slab:             401716 kB
SReclaimable:     296600 kB
SUnreclaim:       105116 kB
KernelStack:        5040 kB
PageTables:        80104 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   36211744 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            14816 kB
HardwareCorrupted:     0 kB
AnonHugePages:  33036288 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:      275272 kB
DirectMap2M:    22697984 kB
DirectMap1G:    113246208 kB

Free space on /tmp at the end= 723744 MiB
End job on nodeC005 at 2024-07-24 00:06:04