Trace number 4440335

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-07? (TO) 3600.29 3601.73

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
market-split/normalized-market-split_8_70_4.opb
MD5SUMf08684a49e4744afc6bcc5ce80f1fe7b
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables71
Total number of constraints17
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints16
Minimum length of a constraint1
Maximum length of a constraint70
Number of terms in the objective function 1
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 1881
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5644
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.11/0.13	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.11/0.13	c This is free software under the dual EPL/GNU LGPL licenses.
0.11/0.13	c See www.sat4j.org for details.
0.11/0.14	c version CUSTOM.v20240707
0.11/0.16	c java.runtime.name	OpenJDK Runtime Environment
0.11/0.16	c java.vm.name		OpenJDK 64-Bit Server VM
0.11/0.16	c java.vm.version	22.0.1+8-16
0.11/0.16	c java.vm.vendor	Oracle Corporation
0.11/0.16	c sun.arch.data.model	64
0.11/0.16	c java.version		22.0.1
0.11/0.16	c os.name		Linux
0.11/0.16	c os.version		4.18.0-301.1.el8.x86_64
0.11/0.16	c os.arch		amd64
0.11/0.17	c Free memory 		2113181440
0.11/0.17	c Max memory 		16282288128
0.11/0.17	c Total memory 		2122317824
0.11/0.17	c Number of processors 	2
0.30/0.25	--- Begin Solver configuration ---
0.30/0.25	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.30/0.25	Learn all clauses as in MiniSAT
0.30/0.25	LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.30/0.25	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.30/0.25	Expensive reason simplification
0.30/0.25	Glucose 2.1 dynamic restart strategy
0.30/0.25	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.30/0.25	timeout=2147483s
0.30/0.25	DB Simplification allowed=false
0.30/0.25	Listener: none
0.30/0.25	--- End Solver configuration ---
0.30/0.26	c Pseudo Boolean Optimization by upper bound
0.30/0.26	c --- Begin Solver configuration ---
0.30/0.26	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@2401f4c3
0.30/0.26	c Learn all clauses as in MiniSAT
0.30/0.26	c LOGGER=java.util.logging.Logger@762efe5d claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.30/0.26	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.30/0.26	c Expensive reason simplification
0.30/0.26	c Glucose 2.1 dynamic restart strategy
0.30/0.26	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.30/0.26	c timeout=2147483s
0.30/0.26	c DB Simplification allowed=false
0.30/0.26	c Listener: none
0.30/0.26	c --- End Solver configuration ---
0.30/0.27	c solving HOME/instance-4440335-1721772751.opb
0.30/0.27	c reading problem ... 
0.30/0.27	c using VERIPB proof format
0.30/0.27	c  objective function found
0.46/0.33	c ... done. Wall clock time 0.065s.
0.46/0.33	c declared #vars     71
0.46/0.33	c #constraints  17
0.46/0.33	c constraints type 
0.46/0.33	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 16
0.46/0.33	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
0.46/0.33	c 17 constraints processed.
0.46/0.35	c objective function length is 1 literals
1.99/1.20	c cleaning 2500 clauses out of 5000 with flag 10376/5000
3.34/1.87	c cleaning 4252 clauses out of 8504 with flag 22713/11004
4.33/2.38	c cleaning 5621 clauses out of 11248 with flag 37138/18000
5.32/2.86	c cleaning 6815 clauses out of 13629 with flag 53599/26002
6.16/3.33	c cleaning 7900 clauses out of 15813 with flag 72495/35001
6.59/3.75	c cleaning 8956 clauses out of 17914 with flag 93631/45002
7.24/4.26	c cleaning 9980 clauses out of 19959 with flag 116843/56003
7.94/4.83	c cleaning 10988 clauses out of 21976 with flag 141995/68000
8.64/5.50	c cleaning 11996 clauses out of 23992 with flag 169502/81004
9.35/6.27	c cleaning 12994 clauses out of 25995 with flag 199021/95003
10.15/7.08	c cleaning 14000 clauses out of 27999 with flag 230498/110001
11.04/8.00	c cleaning 14995 clauses out of 29999 with flag 264511/126001
12.31/9.08	c cleaning 15999 clauses out of 32003 with flag 300228/143000
13.57/10.18	c cleaning 17002 clauses out of 34005 with flag 338047/161001
14.75/11.36	c cleaning 18001 clauses out of 36004 with flag 378037/180002
16.15/12.70	c cleaning 19001 clauses out of 38007 with flag 420353/200006
17.46/14.09	c cleaning 20000 clauses out of 40001 with flag 464569/221001
19.05/15.62	c cleaning 20998 clauses out of 42000 with flag 510664/243000
20.56/17.16	c cleaning 22001 clauses out of 44004 with flag 558561/266002
22.24/18.82	c cleaning 23002 clauses out of 46003 with flag 609030/290002
23.83/20.48	c cleaning 24001 clauses out of 48001 with flag 662151/315002
25.94/22.55	c cleaning 24999 clauses out of 49999 with flag 716780/341001
28.03/24.66	c cleaning 26001 clauses out of 52004 with flag 773499/368005
30.15/26.77	c cleaning 26997 clauses out of 53999 with flag 832013/396001
32.74/29.30	c cleaning 27996 clauses out of 56002 with flag 893547/425001
35.23/31.80	c cleaning 28999 clauses out of 58006 with flag 957058/455001
37.83/34.51	c cleaning 30000 clauses out of 60006 with flag 1021880/486000
40.45/37.14	c cleaning 30996 clauses out of 62009 with flag 1090069/518003
43.13/39.86	c cleaning 32005 clauses out of 64010 with flag 1159323/551000
46.02/42.70	c cleaning 33002 clauses out of 66009 with flag 1230341/585004
49.32/46.01	c cleaning 34003 clauses out of 68005 with flag 1304361/620002
52.32/49.09	c cleaning 34995 clauses out of 70000 with flag 1380478/656000
55.71/52.42	c cleaning 36001 clauses out of 72005 with flag 1459079/693000
59.00/55.77	c cleaning 37004 clauses out of 74008 with flag 1539859/731004
63.31/60.03	c cleaning 37997 clauses out of 76002 with flag 1623723/770002
66.77/63.53	c cleaning 39002 clauses out of 78003 with flag 1706399/810000
70.39/67.29	c cleaning 40001 clauses out of 80001 with flag 1792589/851000
74.21/70.92	c cleaning 40998 clauses out of 82001 with flag 1881209/893001
77.93/74.63	c cleaning 42001 clauses out of 84004 with flag 1971670/936002
81.63/78.36	c cleaning 43001 clauses out of 86001 with flag 2063510/980000
86.01/82.72	c cleaning 43994 clauses out of 88001 with flag 2157863/1025001
90.50/87.25	c cleaning 45001 clauses out of 90007 with flag 2254464/1071001
94.70/91.49	c cleaning 46000 clauses out of 92005 with flag 2353194/1118000
99.83/96.64	c cleaning 46999 clauses out of 94006 with flag 2453318/1166001
105.33/102.12	c cleaning 48008 clauses out of 96015 with flag 2557557/1215009
111.22/108.04	c cleaning 48995 clauses out of 97999 with flag 2664063/1265001
116.89/113.71	c cleaning 50004 clauses out of 100007 with flag 2772704/1316004
121.61/118.45	c cleaning 50999 clauses out of 102010 with flag 2882138/1368011
126.81/123.68	c cleaning 51989 clauses out of 104000 with flag 2992612/1421000
132.50/129.43	c cleaning 53006 clauses out of 106011 with flag 3105440/1475000
138.30/135.23	c cleaning 54002 clauses out of 108006 with flag 3218636/1530001
144.78/141.75	c cleaning 54998 clauses out of 110009 with flag 3336325/1586006
150.77/147.73	c cleaning 56002 clauses out of 112008 with flag 3455829/1643003
158.69/155.63	c cleaning 56995 clauses out of 114003 with flag 3579543/1701000
166.16/163.23	c cleaning 58004 clauses out of 116009 with flag 3705472/1760001
173.15/170.29	c cleaning 59006 clauses out of 118012 with flag 3832596/1820008
180.33/177.45	c cleaning 59998 clauses out of 120000 with flag 3962574/1881002
186.13/183.26	c cleaning 60996 clauses out of 122003 with flag 4095055/1943003
193.91/191.38	c cleaning 62001 clauses out of 124004 with flag 4229043/2006000
201.10/198.51	c cleaning 63001 clauses out of 126004 with flag 4364899/2070001
210.48/207.99	c cleaning 63994 clauses out of 128002 with flag 4502119/2135000
219.87/217.30	c cleaning 64989 clauses out of 130008 with flag 4642440/2201000
230.40/228.00	c cleaning 66006 clauses out of 132021 with flag 4783646/2268002
241.10/238.60	c cleaning 66999 clauses out of 134013 with flag 4929266/2336000
251.58/249.20	c cleaning 68005 clauses out of 136015 with flag 5075020/2405001
261.51/259.13	c cleaning 69005 clauses out of 138010 with flag 5223167/2475001
271.28/268.87	c cleaning 69999 clauses out of 140005 with flag 5368297/2546001
282.61/280.35	c cleaning 70997 clauses out of 142008 with flag 5517903/2618003
294.90/292.61	c cleaning 72002 clauses out of 144012 with flag 5673185/2691004
308.39/306.16	c cleaning 73002 clauses out of 146007 with flag 5830999/2765001
319.39/317.31	c cleaning 74001 clauses out of 148004 with flag 5987424/2840000
332.57/330.53	c cleaning 74986 clauses out of 150004 with flag 6146557/2916001
346.05/344.15	c cleaning 76007 clauses out of 152017 with flag 6309898/2993000
358.16/356.24	c cleaning 77003 clauses out of 154010 with flag 6473978/3071000
369.95/368.04	c cleaning 78004 clauses out of 156016 with flag 6638913/3150009
380.98/379.20	c cleaning 79001 clauses out of 158004 with flag 6804737/3230001
394.81/393.10	c cleaning 80001 clauses out of 160010 with flag 6977423/3311008
410.42/408.79	c cleaning 81001 clauses out of 162002 with flag 7152763/3393001
426.30/424.50	c cleaning 82001 clauses out of 164004 with flag 7329601/3476004
443.35/441.70	c cleaning 82996 clauses out of 165999 with flag 7510237/3560000
460.30/458.67	c cleaning 84000 clauses out of 168004 with flag 7692481/3645001
473.10/471.43	c cleaning 84998 clauses out of 170008 with flag 7878586/3731005
486.36/484.67	c cleaning 86002 clauses out of 172009 with flag 8067685/3818004
500.24/498.54	c cleaning 86999 clauses out of 174004 with flag 8254939/3906001
513.32/511.65	c cleaning 87999 clauses out of 176006 with flag 8443311/3995002
534.52/532.96	c cleaning 88997 clauses out of 178005 with flag 8637482/4085000
555.29/553.70	c cleaning 89999 clauses out of 180008 with flag 8831358/4176000
575.24/573.76	c cleaning 91003 clauses out of 182012 with flag 9026249/4268003
599.75/598.39	c cleaning 91992 clauses out of 184007 with flag 9224134/4361001
620.73/619.30	c cleaning 93001 clauses out of 186014 with flag 9423754/4455000
640.47/639.06	c cleaning 94008 clauses out of 188015 with flag 9626415/4550002
659.75/658.34	c cleaning 95002 clauses out of 190005 with flag 9832299/4646000
675.59/674.11	c cleaning 95999 clauses out of 192005 with flag 10034978/4743002
689.96/688.50	c cleaning 96986 clauses out of 194005 with flag 10238913/4841001
708.28/706.80	c cleaning 98009 clauses out of 196020 with flag 10442947/4940002
730.59/729.29	c cleaning 99001 clauses out of 198010 with flag 10655921/5040001
748.23/746.87	c cleaning 100004 clauses out of 200010 with flag 10870109/5141002
766.48/765.01	c cleaning 101006 clauses out of 202012 with flag 11085519/5243008
784.36/782.94	c cleaning 101995 clauses out of 203998 with flag 11308269/5346000
799.82/798.36	c cleaning 103003 clauses out of 206005 with flag 11528694/5450002
817.84/816.34	c cleaning 104001 clauses out of 208002 with flag 11750361/5555002
836.44/834.90	c cleaning 105000 clauses out of 210001 with flag 11971964/5661002
859.20/857.66	c cleaning 106003 clauses out of 212005 with flag 12200785/5768006
879.83/878.26	c cleaning 106990 clauses out of 214000 with flag 12431376/5876004
902.53/900.90	c cleaning 107999 clauses out of 216006 with flag 12662266/5985000
921.32/919.78	c cleaning 109000 clauses out of 218007 with flag 12895292/6095000
939.83/938.21	c cleaning 110003 clauses out of 220009 with flag 13127393/6206002
957.62/956.03	c cleaning 111004 clauses out of 222007 with flag 13360838/6318003
984.88/983.31	c cleaning 111999 clauses out of 224000 with flag 13597518/6431000
1012.23/1010.80	c cleaning 112996 clauses out of 226003 with flag 13838477/6545002
1040.89/1039.47	c cleaning 113997 clauses out of 228005 with flag 14085937/6660000
1074.88/1073.47	c cleaning 115002 clauses out of 230010 with flag 14332604/6776002
1102.75/1101.31	c cleaning 115996 clauses out of 232006 with flag 14582509/6893000
1128.55/1127.16	c cleaning 117004 clauses out of 234011 with flag 14833219/7011001
1151.84/1150.45	c cleaning 117996 clauses out of 236006 with flag 15083725/7130000
1186.19/1184.54	c cleaning 119005 clauses out of 238013 with flag 15342016/7250003
1217.42/1215.88	c cleaning 120005 clauses out of 240010 with flag 15599265/7371005
1250.40/1248.81	c cleaning 120999 clauses out of 242001 with flag 15858895/7493001
1280.58/1279.08	c cleaning 121999 clauses out of 244005 with flag 16119804/7616004
1313.26/1311.87	c cleaning 122998 clauses out of 246002 with flag 16384170/7740000
1346.78/1345.46	c cleaning 124003 clauses out of 248007 with flag 16651770/7865003
1382.47/1381.15	c cleaning 124996 clauses out of 250001 with flag 16920831/7991000
1424.46/1423.16	c cleaning 125993 clauses out of 252005 with flag 17192923/8118000
1458.64/1457.31	c cleaning 127003 clauses out of 254012 with flag 17462533/8246000
1491.01/1489.71	c cleaning 128003 clauses out of 256015 with flag 17736763/8375006
1531.17/1529.91	c cleaning 128998 clauses out of 258007 with flag 18014558/8505001
1574.52/1573.36	c cleaning 130000 clauses out of 260008 with flag 18296776/8636000
1613.33/1612.27	c cleaning 131003 clauses out of 262008 with flag 18578908/8768000
1648.57/1647.57	c cleaning 131999 clauses out of 264006 with flag 18861834/8901001
1681.84/1680.89	c cleaning 133006 clauses out of 266012 with flag 19144751/9035006
1715.53/1714.53	c cleaning 133999 clauses out of 268000 with flag 19431962/9170000
1748.23/1747.28	c cleaning 135004 clauses out of 270007 with flag 19722681/9306006
1777.70/1776.78	c cleaning 135996 clauses out of 271999 with flag 20011515/9443002
1814.54/1813.65	c cleaning 136995 clauses out of 274006 with flag 20306984/9581005
1861.59/1860.65	c cleaning 137997 clauses out of 276008 with flag 20605047/9720002
1912.25/1911.37	c cleaning 139004 clauses out of 278010 with flag 20915395/9860001
1959.62/1958.88	c cleaning 140003 clauses out of 280012 with flag 21219300/10001007
2005.29/2004.69	c cleaning 140999 clauses out of 282002 with flag 21526401/10143000
2047.72/2047.17	c cleaning 142000 clauses out of 284005 with flag 21834705/10286002
2087.00/2086.31	c cleaning 143001 clauses out of 286003 with flag 22141045/10430000
2129.69/2129.22	c cleaning 143997 clauses out of 288004 with flag 22447282/10575002
2174.76/2174.39	c cleaning 144998 clauses out of 290005 with flag 22754975/10721000
2226.89/2226.58	c cleaning 146001 clauses out of 292009 with flag 23070224/10868002
2264.24/2263.97	c cleaning 146999 clauses out of 294008 with flag 23382020/11016002
2300.05/2299.82	c cleaning 147988 clauses out of 296008 with flag 23692988/11165001
2344.18/2344.04	c cleaning 149007 clauses out of 298020 with flag 24012403/11315001
2394.17/2394.08	c cleaning 150006 clauses out of 300014 with flag 24336733/11466002
2434.19/2434.17	c cleaning 150996 clauses out of 302007 with flag 24661642/11618001
2470.01/2470.08	c cleaning 151992 clauses out of 304010 with flag 24987211/11771000
2504.28/2504.26	c cleaning 153005 clauses out of 306020 with flag 25311130/11925002
2550.12/2550.52	c cleaning 154001 clauses out of 308014 with flag 25638825/12080001
2610.15/2610.60	c cleaning 155000 clauses out of 310012 with flag 25970182/12236000
2662.33/2662.91	c cleaning 156004 clauses out of 312013 with flag 26300025/12393001
2740.15/2740.88	c cleaning 157004 clauses out of 314012 with flag 26638457/12551004
2797.38/2798.13	c cleaning 158000 clauses out of 316004 with flag 26977670/12710000
2867.84/2868.66	c cleaning 158994 clauses out of 318004 with flag 27323827/12870000
2919.31/2920.14	c cleaning 160002 clauses out of 320010 with flag 27665925/13031000
2965.01/2965.96	c cleaning 161003 clauses out of 322011 with flag 28011840/13193003
3015.54/3016.39	c cleaning 162002 clauses out of 324006 with flag 28361392/13356001
3071.52/3072.47	c cleaning 162995 clauses out of 326003 with flag 28719222/13520000
3114.28/3115.27	c cleaning 163998 clauses out of 328008 with flag 29077842/13685000
3159.48/3160.50	c cleaning 165000 clauses out of 330012 with flag 29435396/13851002
3232.33/3233.52	c cleaning 166005 clauses out of 332010 with flag 29792949/14018000
3296.58/3297.96	c cleaning 167000 clauses out of 334005 with flag 30149683/14186000
3369.93/3371.33	c cleaning 167993 clauses out of 336005 with flag 30512013/14355000
3449.31/3450.85	c cleaning 169002 clauses out of 338012 with flag 30873610/14525000
3527.35/3528.92	c cleaning 170003 clauses out of 340010 with flag 31247207/14696000
3571.68/3573.22	c cleaning 171002 clauses out of 342008 with flag 31619172/14868001
3600.08/3601.62	c timeout
3600.08/3601.62	c starts		: 2031
3600.08/3601.63	c conflicts		: 15024112
3600.08/3601.63	c decisions		: 15691472
3600.08/3601.63	c propagations		: 115115385
3600.08/3601.63	c inspects		: 35230079120
3600.08/3601.63	c shortcuts		: 0
3600.08/3601.63	c learnt literals	: 0
3600.08/3601.63	c learnt binary clauses	: 0
3600.08/3601.63	c learnt ternary clauses	: 0
3600.08/3601.63	c learnt constraints	: 15024112
3600.08/3601.63	c ignored constraints	: 0
3600.08/3601.63	c root simplifications	: 0
3600.08/3601.63	c removed literals (reason simplification)	: 173759143
3600.08/3601.63	c reason swapping (by a shorter reason)	: 0
3600.08/3601.63	c Calls to reduceDB	: 168
3600.08/3601.63	c Number of update (reduction) of LBD	: 1415347
3600.08/3601.63	c Imported unit clauses	: 0
3600.08/3601.63	c No decision after first conflict	: false
3600.08/3601.63	c number of reductions to clauses (during analyze)	: 0
3600.08/3601.63	c number of learned constraints concerned by reduction	: 0
3600.08/3601.63	c number of learning phase by resolution	: 0
3600.08/3601.63	c number of learning phase by cutting planes	: 0
3600.08/3601.63	c number of rounding to 1 operations	: 0
3600.08/3601.63	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.08/3601.63	c number of reductions of the coefficients by power 2 	: 0
3600.08/3601.63	c number of right shift for reduction by power 2 	: 0
3600.08/3601.63	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.08/3601.63	c number of ending skipping 	: 0
3600.08/3601.63	c number of internal skipping 	: 0
3600.08/3601.63	c number of derivation steps 	: 0
3600.08/3601.63	c number of skipped derivation steps 	: 0
3600.08/3601.63	c number of remaining unassigned 	: 0
3600.08/3601.63	c number of remaining assigned 	: 0
3600.08/3601.63	c number of falsified literals weakened from reason	: 0
3600.08/3601.63	c number of falsified literals weakened from conflict	: 0
3600.08/3601.63	c time for arithmetic operations	: 0
3600.08/3601.63	c minimum degree of deleted constraints	: null
3600.08/3601.63	c maximum degree of deleted constraints	: null
3600.08/3601.63	c number of deleted constraints	: 0
3600.08/3601.63	c speed (assignments/second)	: 31965.165957843834
3600.08/3601.63	c non guided choices	: 31
3600.08/3601.70	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 327117
3600.08/3601.70	s UNKNOWN
3600.08/3601.70	c Total wall clock time (in seconds): 3601.436

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (56215 MiB free)
  memory of node 1: 64510 MiB (52626 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440335-1721772751/watcher-4440335-1721772751 -o /tmp/evaluation-result-4440335-1721772751/solver-4440335-1721772751 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721765594-127387 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440335-1721772751 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440335-1721772751.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=132413, runsolver pid=132410

[startup+0.100757 s]*
/proc/loadavg: 4.20 4.19 4.21 5/328 132431
/proc/meminfo: memFree=111413112/131655788 swapFree=131071472/131071996
[pid=132413] ppid=132410 vsize=18975048 memory=59308 CPUtime=0.11 cores=4,6
/proc/132413/stat : 132413 (java) S 132410 132413 127376 0 -1 1077936128 6468 0 0 0 9 2 0 0 20 0 18 0 13264514 19430449152 14827 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
/proc/132413/statm: 4743762 14827 5440 1 0 550925 0
[pid=132413/tid=132415] ppid=132410 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/132413/task/132415/stat : 132415 (java) R 132410 132413 127376 0 -1 4194368 5404 0 0 0 7 1 0 0 20 0 18 0 13264515 19430449152 14827 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
[pid=132413/tid=132424] ppid=132410 vsize=18975048 memory=232851243367 CPUtime=0 cores=4,6
/proc/132413/task/132424/stat : 132424 (Finalizer) S 132410 132413 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13264518 19430449152 14827 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
[pid=132413/tid=132431] ppid=132410 vsize=18975048 memory=4121981368647548960 CPUtime=0 cores=4,6
/proc/132413/task/132431/stat : 132431 (Common-Cleaner) S 132410 132413 127376 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13264518 19430449152 14827 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 59308 KiB

[startup+0.220755 s]*
/proc/loadavg: 4.20 4.19 4.21 7/328 132431
/proc/meminfo: memFree=111402460/131655788 swapFree=131071472/131071996
[pid=132413] ppid=132410 vsize=18975048 memory=69052 CPUtime=0.3 cores=4,6
/proc/132413/stat : 132413 (java) S 132410 132413 127376 0 -1 1077936128 7163 0 0 0 27 3 0 0 20 0 18 0 13264514 19430449152 17263 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
/proc/132413/statm: 4743762 17263 5697 1 0 551516 0
[pid=132413/tid=132415] ppid=132410 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=4,6
/proc/132413/task/132415/stat : 132415 (java) R 132410 132413 127376 0 -1 4194368 5680 0 0 0 17 1 0 0 20 0 18 0 13264515 19430449152 17263 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
[pid=132413/tid=132424] ppid=132410 vsize=18975048 memory=605730 CPUtime=0 cores=4,6
/proc/132413/task/132424/stat : 132424 (Finalizer) S 132410 132413 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13264518 19430449152 17263 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
[pid=132413/tid=132431] ppid=132410 vsize=18975048 memory=15539622046353107 CPUtime=0 cores=4,6
/proc/132413/task/132431/stat : 132431 (Common-Cleaner) S 132410 132413 127376 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13264518 19430449152 17263 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 69052 KiB

[startup+0.311339 s]*
/proc/loadavg: 4.20 4.19 4.21 6/328 132431
/proc/meminfo: memFree=111399620/131655788 swapFree=131071472/131071996
[pid=132413] ppid=132410 vsize=18975048 memory=69972 CPUtime=0.46 cores=4,6
/proc/132413/stat : 132413 (java) S 132410 132413 127376 0 -1 1077936128 7392 0 0 0 43 3 0 0 20 0 18 0 13264514 19430449152 17493 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
/proc/132413/statm: 4743762 17493 5716 1 0 551655 0
[pid=132413/tid=132415] ppid=132410 vsize=18975048 memory=-9177322747928027836 CPUtime=0.25 cores=4,6
/proc/132413/task/132415/stat : 132415 (java) S 132410 132413 127376 0 -1 1077936192 5820 0 0 0 23 2 0 0 20 0 18 0 13264515 19430449152 17493 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
[pid=132413/tid=132424] ppid=132410 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/132413/task/132424/stat : 132424 (Finalizer) S 132410 132413 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 13264518 19430449152 17493 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
[pid=132413/tid=132431] ppid=132410 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/132413/task/132431/stat : 132431 (Common-Cleaner) S 132410 132413 127376 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 13264518 19430449152 17493 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 69972 KiB

[startup+0.70075 s]
/proc/loadavg: 4.20 4.19 4.21 7/329 132432
/proc/meminfo: memFree=111388156/131655788 swapFree=131071472/131071996
[pid=132413] ppid=132410 vsize=19041612 memory=98212 CPUtime=1.18 cores=4,6
/proc/132413/stat : 132413 (java) S 132410 132413 127376 0 -1 1077936128 8781 0 0 0 114 4 0 0 20 0 19 0 13264514 19498610688 24553 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
/proc/132413/statm: 4760403 24553 5839 1 0 552508 0
[pid=132413/tid=132415] ppid=132410 vsize=19041612 memory=5472 CPUtime=0.6 cores=4,6
/proc/132413/task/132415/stat : 132415 (java) R 132410 132413 127376 0 -1 4194368 5980 0 0 0 58 2 0 0 20 0 19 0 13264515 19498610688 24553 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
[pid=132413/tid=132424] ppid=132410 vsize=19041612 memory=12928 CPUtime=0 cores=4,6
/proc/132413/task/132424/stat : 132424 (Finalizer) S 132410 132413 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 13264518 19498610688 24553 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
[pid=132413/tid=132431] ppid=132410 vsize=19041612 memory=164 CPUtime=0 cores=4,6
/proc/132413/task/132431/stat : 132431 (Common-Cleaner) S 132410 132413 127376 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 13264518 19498610688 24553 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
[pid=132413/tid=132432] ppid=132410 vsize=19041612 memory=117636 CPUtime=0 cores=4,6
/proc/132413/task/132432/stat : 132432 (Timer-0) S 132410 132413 127376 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 13264550 19498610688 24553 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
Current children cumulated CPU time: 1.18 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 98212 KiB

[startup+1.50075 s]
/proc/loadavg: 4.20 4.19 4.21 6/329 132434
/proc/meminfo: memFree=111320444/131655788 swapFree=131071472/131071996
[pid=132413] ppid=132410 vsize=19108176 memory=183468 CPUtime=2.74 cores=4,6
/proc/132413/stat : 132413 (java) S 132410 132413 127376 0 -1 1077936128 20388 0 0 0 266 8 0 0 20 0 20 0 13264514 19566772224 45867 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
/proc/132413/statm: 4777044 45867 5855 1 0 556951 0
[pid=132413/tid=132415] ppid=132410 vsize=19108176 memory=12928 CPUtime=1.35 cores=4,6
/proc/132413/task/132415/stat : 132415 (java) R 132410 132413 127376 0 -1 4194368 7137 0 0 0 131 4 0 0 20 0 20 0 13264515 19566772224 45867 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
[pid=132413/tid=132424] ppid=132410 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/132413/task/132424/stat : 132424 (Finalizer) S 132410 132413 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13264518 19566772224 45867 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
[pid=132413/tid=132431] ppid=132410 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/132413/task/132431/stat : 132431 (Common-Cleaner) S 132410 132413 127376 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 13264518 19566772224 45867 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
[pid=132413/tid=132432] ppid=132410 vsize=19108176 memory=645086 CPUtime=0 cores=4,6
/proc/132413/task/132432/stat : 132432 (Timer-0) S 132410 132413 127376 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13264550 19566772224 45867 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
Current children cumulated CPU time: 2.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 183468 KiB

[startup+3.10675 s]
/proc/loadavg: 4.26 4.21 4.21 6/330 132435
/proc/meminfo: memFree=111226376/131655788 swapFree=131071472/131071996
[pid=132413] ppid=132410 vsize=19108176 memory=199880 CPUtime=5.92 cores=4,6
/proc/132413/stat : 132413 (java) S 132410 132413 127376 0 -1 1077936128 22497 0 0 0 581 11 0 0 20 0 20 0 13264514 19566772224 49970 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
/proc/132413/statm: 4777044 49970 5871 1 0 557222 0
[pid=132413/tid=132415] ppid=132410 vsize=19108176 memory=0 CPUtime=2.94 cores=4,6
/proc/132413/task/132415/stat : 132415 (java) R 132410 132413 127376 0 -1 4194368 7637 0 0 0 288 6 0 0 20 0 20 0 13264515 19566772224 49970 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
[pid=132413/tid=132424] ppid=132410 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/132413/task/132424/stat : 132424 (Finalizer) S 132410 132413 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13264518 19566772224 49970 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
[pid=132413/tid=132431] ppid=132410 vsize=19108176 memory=12928 CPUtime=0 cores=4,6
/proc/132413/task/132431/stat : 132431 (Common-Cleaner) S 132410 132413 127376 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 13264518 19566772224 49970 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
[pid=132413/tid=132432] ppid=132410 vsize=19108176 memory=11672 CPUtime=0 cores=4,6
/proc/132413/task/132432/stat : 132432 (Timer-0) S 132410 132413 127376 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13264550 19566772224 49970 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
Current children cumulated CPU time: 5.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 199880 KiB

[startup+6.30045 s]
/proc/loadavg: 4.26 4.21 4.21 5/328 132435
/proc/meminfo: memFree=110832648/131655788 swapFree=131071472/131071996
[pid=132413] ppid=132410 vsize=19108176 memory=553712 CPUtime=9.44 cores=4,6
/proc/132413/stat : 132413 (java) S 132410 132413 127376 0 -1 1077936128 22941 0 0 0 922 22 0 0 20 0 20 0 13264514 19566772224 138428 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
/proc/132413/statm: 4777044 138428 5871 1 0 557222 0
[pid=132413/tid=132415] ppid=132410 vsize=19108176 memory=12928 CPUtime=6.11 cores=4,6
/proc/132413/task/132415/stat : 132415 (java) R 132410 132413 127376 0 -1 4194368 8001 0 0 0 594 17 0 0 20 0 20 0 13264515 19566772224 138428 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
[pid=132413/tid=132424] ppid=132410 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/132413/task/132424/stat : 132424 (Finalizer) S 132410 132413 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13264518 19566772224 138428 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
[pid=132413/tid=132431] ppid=132410 vsize=19108176 memory=39552 CPUtime=0 cores=4,6
/proc/132413/task/132431/stat : 132431 (Common-Cleaner) S 132410 132413 127376 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 13264518 19566772224 138428 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
[pid=132413/tid=132432] ppid=132410 vsize=19108176 memory=-7163974055829550171 CPUtime=0 cores=4,6
/proc/132413/task/132432/stat : 132432 (Timer-0) S 132410 132413 127376 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13264550 19566772224 138428 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
Current children cumulated CPU time: 9.44 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 553712 KiB

[startup+12.7004 s]
/proc/loadavg: 4.30 4.22 4.22 5/328 132436
/proc/meminfo: memFree=110145604/131655788 swapFree=131071472/131071996
[pid=132413] ppid=132410 vsize=19108176 memory=1049392 CPUtime=16.15 cores=4,6
/proc/132413/stat : 132413 (java) S 132410 132413 127376 0 -1 1077936128 27463 0 0 0 1575 40 0 0 20 0 20 0 13264514 19566772224 262348 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
/proc/132413/statm: 4777044 262348 5871 1 0 557222 0
[pid=132413/tid=132415] ppid=132410 vsize=19108176 memory=1049392 CPUtime=12.45 cores=4,6
/proc/132413/task/132415/stat : 132415 (java) R 132410 132413 127376 0 -1 4194368 9040 0 0 0 1211 34 0 0 20 0 20 0 13264515 19566772224 262348 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
[pid=132413/tid=132424] ppid=132410 vsize=19108176 memory=11672 CPUtime=0 cores=4,6
/proc/132413/task/132424/stat : 132424 (Finalizer) S 132410 132413 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13264518 19566772224 262348 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
[pid=132413/tid=132431] ppid=132410 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/132413/task/132431/stat : 132431 (Common-Cleaner) S 132410 132413 127376 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 13264518 19566772224 262348 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
[pid=132413/tid=132432] ppid=132410 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/132413/task/132432/stat : 132432 (Timer-0) S 132410 132413 127376 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13264550 19566772224 262348 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
Current children cumulated CPU time: 16.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1049392 KiB

[startup+25.5005 s]
/proc/loadavg: 4.42 4.24 4.22 4/328 132438
/proc/meminfo: memFree=109560052/131655788 swapFree=131071472/131071996
[pid=132413] ppid=132410 vsize=19108176 memory=1241964 CPUtime=28.93 cores=4,6
/proc/132413/stat : 132413 (java) S 132410 132413 127376 0 -1 1077936128 30923 0 0 0 2838 55 0 0 20 0 20 0 13264514 19566772224 310491 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
/proc/132413/statm: 4777044 310491 5871 1 0 557222 0
[pid=132413/tid=132415] ppid=132410 vsize=19108176 memory=1049392 CPUtime=25.13 cores=4,6
/proc/132413/task/132415/stat : 132415 (java) R 132410 132413 127376 0 -1 4194368 10340 0 0 0 2465 48 0 0 20 0 20 0 13264515 19566772224 310491 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
[pid=132413/tid=132424] ppid=132410 vsize=19108176 memory=1241964 CPUtime=0 cores=4,6
/proc/132413/task/132424/stat : 132424 (Finalizer) S 132410 132413 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13264518 19566772224 310491 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
[pid=132413/tid=132431] ppid=132410 vsize=19108176 memory=1241964 CPUtime=0 cores=4,6
/proc/132413/task/132431/stat : 132431 (Common-Cleaner) S 132410 132413 127376 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 13264518 19566772224 310491 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
[pid=132413/tid=132432] ppid=132410 vsize=19108176 memory=12928 CPUtime=0 cores=4,6
/proc/132413/task/132432/stat : 132432 (Timer-0) S 132410 132413 127376 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13264550 19566772224 310491 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
Current children cumulated CPU time: 28.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1241964 KiB

[startup+51.1139 s]
/proc/loadavg: 4.27 4.22 4.22 5/328 132442
/proc/meminfo: memFree=108845248/131655788 swapFree=131071472/131071996
[pid=132413] ppid=132410 vsize=19108176 memory=1336180 CPUtime=54.42 cores=4,6
/proc/132413/stat : 132413 (java) S 132410 132413 127376 0 -1 1077936128 35830 0 0 0 5363 79 0 0 20 0 20 0 13264514 19566772224 334045 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
/proc/132413/statm: 4777044 334045 5871 1 0 557222 0
[pid=132413/tid=132415] ppid=132410 vsize=19108176 memory=1336180 CPUtime=50.44 cores=4,6
/proc/132413/task/132415/stat : 132415 (java) R 132410 132413 127376 0 -1 4194368 12222 0 0 0 4975 69 0 0 20 0 20 0 13264515 19566772224 334045 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
[pid=132413/tid=132424] ppid=132410 vsize=19108176 memory=1336180 CPUtime=0 cores=4,6
/proc/132413/task/132424/stat : 132424 (Finalizer) S 132410 132413 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13264518 19566772224 334045 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0

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

/proc/132413/task/132424/stat : 132424 (Finalizer) S 132410 132413 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13264518 19566772224 546196 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
[pid=132413/tid=132431] ppid=132410 vsize=19108176 memory=11672 CPUtime=0 cores=4,6
/proc/132413/task/132431/stat : 132431 (Common-Cleaner) S 132410 132413 127376 0 -1 1077936192 3311 0 0 0 0 0 0 0 20 0 20 0 13264518 19566772224 546196 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
[pid=132413/tid=132432] ppid=132410 vsize=19108176 memory=2184760 CPUtime=0 cores=4,6
/proc/132413/task/132432/stat : 132432 (Timer-0) S 132410 132413 127376 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13264550 19566772224 546196 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
Current children cumulated CPU time: 3221.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184784 KiB

[startup+3282.3 s]
/proc/loadavg: 4.84 4.59 4.39 5/323 134240
/proc/meminfo: memFree=75538492/131655788 swapFree=131071472/131071996
[pid=132413] ppid=132410 vsize=19108176 memory=2184796 CPUtime=3281.01 cores=4,6
/proc/132413/stat : 132413 (java) S 132410 132413 127376 0 -1 1077936128 162765 0 0 0 327053 1048 0 0 20 0 20 0 13264514 19566772224 546199 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
/proc/132413/statm: 4777044 546199 5903 1 0 559225 0
[pid=132413/tid=132415] ppid=132410 vsize=19108176 memory=2184796 CPUtime=3254.09 cores=4,6
/proc/132413/task/132415/stat : 132415 (java) R 132410 132413 127376 0 -1 4194368 70700 0 0 0 324532 877 0 0 20 0 20 0 13264515 19566772224 546199 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 527 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
[pid=132413/tid=132424] ppid=132410 vsize=19108176 memory=2184796 CPUtime=0 cores=4,6
/proc/132413/task/132424/stat : 132424 (Finalizer) S 132410 132413 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13264518 19566772224 546199 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
[pid=132413/tid=132431] ppid=132410 vsize=19108176 memory=2184784 CPUtime=0 cores=4,6
/proc/132413/task/132431/stat : 132431 (Common-Cleaner) S 132410 132413 127376 0 -1 1077936192 3312 0 0 0 0 0 0 0 20 0 20 0 13264518 19566772224 546199 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
[pid=132413/tid=132432] ppid=132410 vsize=19108176 memory=12928 CPUtime=0 cores=4,6
/proc/132413/task/132432/stat : 132432 (Timer-0) S 132410 132413 127376 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13264550 19566772224 546199 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
Current children cumulated CPU time: 3281.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184796 KiB

[startup+3342.3 s]
/proc/loadavg: 4.51 4.53 4.37 5/323 134250
/proc/meminfo: memFree=75149412/131655788 swapFree=131071472/131071996
[pid=132413] ppid=132410 vsize=19108176 memory=2184796 CPUtime=3340.99 cores=4,6
/proc/132413/stat : 132413 (java) S 132410 132413 127376 0 -1 1077936128 163325 0 0 0 333039 1060 0 0 20 0 20 0 13264514 19566772224 546199 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
/proc/132413/statm: 4777044 546199 5903 1 0 559225 0
[pid=132413/tid=132415] ppid=132410 vsize=19108176 memory=0 CPUtime=3313.64 cores=4,6
/proc/132413/task/132415/stat : 132415 (java) R 132410 132413 127376 0 -1 4194368 71050 0 0 0 330477 887 0 0 20 0 20 0 13264515 19566772224 546199 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 530 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
[pid=132413/tid=132424] ppid=132410 vsize=19108176 memory=2184796 CPUtime=0 cores=4,6
/proc/132413/task/132424/stat : 132424 (Finalizer) S 132410 132413 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13264518 19566772224 546199 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
[pid=132413/tid=132431] ppid=132410 vsize=19108176 memory=2184796 CPUtime=0 cores=4,6
/proc/132413/task/132431/stat : 132431 (Common-Cleaner) S 132410 132413 127376 0 -1 1077936192 3369 0 0 0 0 0 0 0 20 0 20 0 13264518 19566772224 546199 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
[pid=132413/tid=132432] ppid=132410 vsize=19108176 memory=2184796 CPUtime=0 cores=4,6
/proc/132413/task/132432/stat : 132432 (Timer-0) S 132410 132413 127376 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13264550 19566772224 546199 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
Current children cumulated CPU time: 3340.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184796 KiB

[startup+3402.3 s]
/proc/loadavg: 4.29 4.46 4.36 5/321 134261
/proc/meminfo: memFree=74841296/131655788 swapFree=131071472/131071996
[pid=132413] ppid=132410 vsize=19108176 memory=2184800 CPUtime=3400.92 cores=4,6
/proc/132413/stat : 132413 (java) S 132410 132413 127376 0 -1 1077936128 165228 0 0 0 339018 1074 0 0 20 0 20 0 13264514 19566772224 546200 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
/proc/132413/statm: 4777044 546200 5903 1 0 559225 0
[pid=132413/tid=132415] ppid=132410 vsize=19108176 memory=2184796 CPUtime=3373.44 cores=4,6
/proc/132413/task/132415/stat : 132415 (java) R 132410 132413 127376 0 -1 4194368 71979 0 0 0 336446 898 0 0 20 0 20 0 13264515 19566772224 546200 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 532 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
[pid=132413/tid=132424] ppid=132410 vsize=19108176 memory=2184796 CPUtime=0 cores=4,6
/proc/132413/task/132424/stat : 132424 (Finalizer) S 132410 132413 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13264518 19566772224 546200 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
[pid=132413/tid=132431] ppid=132410 vsize=19108176 memory=12928 CPUtime=0 cores=4,6
/proc/132413/task/132431/stat : 132431 (Common-Cleaner) S 132410 132413 127376 0 -1 1077936192 3496 0 0 0 0 0 0 0 20 0 20 0 13264518 19566772224 546200 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
[pid=132413/tid=132432] ppid=132410 vsize=19108176 memory=2184800 CPUtime=0 cores=4,6
/proc/132413/task/132432/stat : 132432 (Timer-0) S 132410 132413 127376 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13264550 19566772224 546200 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
Current children cumulated CPU time: 3400.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184800 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.39 4.34 5/321 134271
/proc/meminfo: memFree=74494204/131655788 swapFree=131071472/131071996
[pid=132413] ppid=132410 vsize=19108176 memory=2184812 CPUtime=3460.81 cores=4,6
/proc/132413/stat : 132413 (java) S 132410 132413 127376 0 -1 1077936128 166053 0 0 0 344998 1083 0 0 20 0 20 0 13264514 19566772224 546203 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
/proc/132413/statm: 4777044 546203 5903 1 0 559228 0
[pid=132413/tid=132415] ppid=132410 vsize=19108176 memory=2184812 CPUtime=3433.08 cores=4,6
/proc/132413/task/132415/stat : 132415 (java) R 132410 132413 127376 0 -1 4194368 72545 0 0 0 342404 904 0 0 20 0 20 0 13264515 19566772224 546203 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 536 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
[pid=132413/tid=132424] ppid=132410 vsize=19108176 memory=2184796 CPUtime=0 cores=4,6
/proc/132413/task/132424/stat : 132424 (Finalizer) S 132410 132413 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13264518 19566772224 546203 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
[pid=132413/tid=132431] ppid=132410 vsize=19108176 memory=2184796 CPUtime=0 cores=4,6
/proc/132413/task/132431/stat : 132431 (Common-Cleaner) S 132410 132413 127376 0 -1 1077936192 3496 0 0 0 0 0 0 0 20 0 20 0 13264518 19566772224 546203 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
[pid=132413/tid=132432] ppid=132410 vsize=19108176 memory=2184812 CPUtime=0 cores=4,6
/proc/132413/task/132432/stat : 132432 (Timer-0) S 132410 132413 127376 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13264550 19566772224 546203 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
Current children cumulated CPU time: 3460.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184812 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.35 4.33 5/303 134305
/proc/meminfo: memFree=78999604/131655788 swapFree=131071472/131071996
[pid=132413] ppid=132410 vsize=19108176 memory=2184816 CPUtime=3520.75 cores=4,6
/proc/132413/stat : 132413 (java) S 132410 132413 127376 0 -1 1077936128 167471 0 0 0 350980 1095 0 0 20 0 20 0 13264514 19566772224 546204 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
/proc/132413/statm: 4777044 546204 5903 1 0 559228 0
[pid=132413/tid=132415] ppid=132410 vsize=19108176 memory=2184816 CPUtime=3492.78 cores=4,6
/proc/132413/task/132415/stat : 132415 (java) R 132410 132413 127376 0 -1 4194368 73172 0 0 0 348364 914 0 0 20 0 20 0 13264515 19566772224 546204 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 541 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
[pid=132413/tid=132424] ppid=132410 vsize=19108176 memory=100 CPUtime=0 cores=4,6
/proc/132413/task/132424/stat : 132424 (Finalizer) S 132410 132413 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13264518 19566772224 546204 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
[pid=132413/tid=132431] ppid=132410 vsize=19108176 memory=2184816 CPUtime=0 cores=4,6
/proc/132413/task/132431/stat : 132431 (Common-Cleaner) S 132410 132413 127376 0 -1 1077936192 3586 0 0 0 0 0 0 0 20 0 20 0 13264518 19566772224 546204 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
[pid=132413/tid=132432] ppid=132410 vsize=19108176 memory=11672 CPUtime=0 cores=4,6
/proc/132413/task/132432/stat : 132432 (Timer-0) S 132410 132413 127376 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13264550 19566772224 546204 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
Current children cumulated CPU time: 3520.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184816 KiB

[startup+3582.3 s]
/proc/loadavg: 3.23 4.06 4.23 2/246 134401
/proc/meminfo: memFree=119908424/131655788 swapFree=131071472/131071996
[pid=132413] ppid=132410 vsize=19108176 memory=2184816 CPUtime=3580.77 cores=4,6
/proc/132413/stat : 132413 (java) S 132410 132413 127376 0 -1 1077936128 168788 0 0 0 356964 1113 0 0 20 0 20 0 13264514 19566772224 546204 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
/proc/132413/statm: 4777044 546204 5903 1 0 559228 0
[pid=132413/tid=132415] ppid=132410 vsize=19108176 memory=5472 CPUtime=3552.47 cores=4,6
/proc/132413/task/132415/stat : 132415 (java) R 132410 132413 127376 0 -1 4194368 74095 0 0 0 354318 929 0 0 20 0 20 0 13264515 19566772224 546204 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 543 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
[pid=132413/tid=132424] ppid=132410 vsize=19108176 memory=2184816 CPUtime=0 cores=4,6
/proc/132413/task/132424/stat : 132424 (Finalizer) S 132410 132413 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13264518 19566772224 546204 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
[pid=132413/tid=132431] ppid=132410 vsize=19108176 memory=2184816 CPUtime=0 cores=4,6
/proc/132413/task/132431/stat : 132431 (Common-Cleaner) S 132410 132413 127376 0 -1 1077936192 3586 0 0 0 0 0 0 0 20 0 20 0 13264518 19566772224 546204 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
[pid=132413/tid=132432] ppid=132410 vsize=19108176 memory=2184816 CPUtime=0 cores=4,6
/proc/132413/task/132432/stat : 132432 (Timer-0) S 132410 132413 127376 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13264550 19566772224 546204 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
Current children cumulated CPU time: 3580.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184816 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3601.6 s]
/proc/loadavg: 2.67 3.88 4.17 2/246 134405
/proc/meminfo: memFree=119891524/131655788 swapFree=131071472/131071996
[pid=132413] ppid=132410 vsize=19108176 memory=2184816 CPUtime=3600.08 cores=4,6
/proc/132413/stat : 132413 (java) S 132410 132413 127376 0 -1 1077936128 169689 0 0 0 358889 1119 0 0 20 0 20 0 13264514 19566772224 546204 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
/proc/132413/statm: 4777044 546204 5903 1 0 559228 0
[pid=132413/tid=132415] ppid=132410 vsize=19108176 memory=12928 CPUtime=3571.62 cores=4,6
/proc/132413/task/132415/stat : 132415 (java) R 132410 132413 127376 0 -1 4194368 74288 0 0 0 356228 934 0 0 20 0 20 0 13264515 19566772224 546204 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 546 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
[pid=132413/tid=132424] ppid=132410 vsize=19108176 memory=2184816 CPUtime=0 cores=4,6
/proc/132413/task/132424/stat : 132424 (Finalizer) S 132410 132413 127376 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 13264518 19566772224 546204 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
[pid=132413/tid=132431] ppid=132410 vsize=19108176 memory=2316 CPUtime=0 cores=4,6
/proc/132413/task/132431/stat : 132431 (Common-Cleaner) S 132410 132413 127376 0 -1 1077936192 3651 0 0 0 0 0 0 0 20 0 20 0 13264518 19566772224 546204 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
[pid=132413/tid=132432] ppid=132410 vsize=19108176 memory=100 CPUtime=0 cores=4,6
/proc/132413/task/132432/stat : 132432 (Timer-0) S 132410 132413 127376 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 13264550 19566772224 546204 134679101440 94904336879616 94904336883312 140723385575088 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94904336891128 94904336891920 94904339361792 140723385582507 140723385582689 140723385582689 140723385589704 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2184816 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589.07 s, system=11.2146 s

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

[startup+3601.72 s]*
/proc/loadavg: 2.67 3.88 4.17 2/228 134408
/proc/meminfo: memFree=121993128/131655788 swapFree=131071472/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): 3601.73
CPU time (s): 3600.29
CPU user time (s): 3589.07
CPU system time (s): 11.2146
CPU usage (%): 99.96
Max. virtual memory (cumulated for all children) (KiB): 19109528
Max. memory (cumulated for all children) (KiB): 2184816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.07
system time used= 11.2146
maximum resident set size= 2186412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 173000
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7622648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111249
involuntary context switches= 6473


# summary of solver processes directly reported to runsolver:
#   pid: 132413
#   total CPU time (s): 3600.29
#   total CPU user time (s): 3589.07
#   total CPU system time (s): 11.2146

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.8756 second user time and 38.9364 second system time

The end

Launcher Data 

Begin job on nodeC008 at 2024-07-24 00:12:32
IDJOB=4440335
IDBENCH=147583
IDSOLVER=3079
FILE ID=nodeC008/4440335-1721772751
RUNJOBID= nodeC008-1721765594-127387
SLURM_JOB_ID= 7770668
Free space on /tmp= 723604 MiB

SOLVER NAME= Sat4j Resolution 2024 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_4.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-4440335-1721772751/watcher-4440335-1721772751 -o /tmp/evaluation-result-4440335-1721772751/solver-4440335-1721772751 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721765594-127387 --watchdog 3760  java -Dveripb=PROOFDIR/proof-4440335-1721772751 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440335-1721772751.opb

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

MD5SUM BENCH= f08684a49e4744afc6bcc5ce80f1fe7b
RANDOM SEED=546020668

nodeC008.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		: 3645.008
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.19
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		: 3646.355
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.33
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.230
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.19
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.184
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.33
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.635
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.19
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		: 3640.575
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.33
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.124
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.19
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.181
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.33
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        111455420 kB
MemAvailable:   116818804 kB
Buffers:          198732 kB
Cached:          5962848 kB
SwapCached:           48 kB
Active:          1436684 kB
Inactive:       18126596 kB
Active(anon):       1596 kB
Inactive(anon): 13446040 kB
Active(file):    1435088 kB
Inactive(file):  4680556 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071472 kB
Dirty:            282772 kB
Writeback:             0 kB
AnonPages:      13401468 kB
Mapped:           127328 kB
Shmem:             45784 kB
KReclaimable:     175544 kB
Slab:             288860 kB
SReclaimable:     175544 kB
SUnreclaim:       113316 kB
KernelStack:        4972 kB
PageTables:        36584 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   18209776 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            19456 kB
HardwareCorrupted:     0 kB
AnonHugePages:  13086720 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:    27940864 kB
DirectMap1G:    108003328 kB

Free space on /tmp at the end= 723768 MiB
End job on nodeC008 at 2024-07-24 01:12:33