Trace number 4432160

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution Default 2024-07-07SAT (TO)307 3600.72 3592.06

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.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.13	c Pseudo Boolean Optimization by upper bound
0.13/0.13	c --- Begin Solver configuration ---
0.13/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.13	c Learn all clauses as in MiniSAT
0.13/0.13	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.13	c No reason simplification
0.13/0.13	c Glucose 2.1 dynamic restart strategy
0.13/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.13	c timeout=2147483s
0.13/0.13	c DB Simplification allowed=false
0.13/0.13	c Listener: none
0.13/0.13	c --- End Solver configuration ---
0.13/0.13	c solving HOME/instance-4432160-1721070468.opb
0.13/0.13	c reading problem ... 
0.13/0.13	c  objective function found
0.13/0.15	c ... done. Wall clock time 0.022s.
0.13/0.15	c declared #vars     319
0.13/0.15	c #constraints  6
0.13/0.15	c constraints type 
0.13/0.15	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6
0.13/0.15	c 6 constraints processed.
0.13/0.16	c objective function length is 319 literals
0.13/0.17	c SATISFIABLE
0.13/0.17	c OPTIMIZING...
0.13/0.17	c Got one! Elapsed wall clock time (in seconds):0.041
0.13/0.17	o 359
0.34/0.28	c Got one! Elapsed wall clock time (in seconds):0.158
0.34/0.28	o 309
0.34/0.29	c Got one! Elapsed wall clock time (in seconds):0.166
0.34/0.29	o 307
1.29/0.78	c cleaning 2851 clauses out of 5710 with flag 10957/5710
1.80/1.10	c cleaning 4417 clauses out of 8854 with flag 25010/11705
2.32/1.52	c cleaning 5701 clauses out of 11437 with flag 41596/18705
2.82/2.02	c cleaning 6860 clauses out of 13737 with flag 61962/26706
3.37/2.59	c cleaning 7923 clauses out of 15876 with flag 83803/35705
4.10/3.23	c cleaning 8968 clauses out of 17953 with flag 108662/45705
4.80/3.97	c cleaning 9987 clauses out of 19985 with flag 135475/56705
5.64/4.78	c cleaning 10993 clauses out of 21998 with flag 165462/68705
6.53/5.65	c cleaning 11988 clauses out of 24005 with flag 197439/81705
7.57/6.61	c cleaning 13006 clauses out of 26018 with flag 231748/95706
8.62/7.63	c cleaning 13997 clauses out of 28011 with flag 268952/110705
9.75/8.72	c cleaning 14997 clauses out of 30014 with flag 309897/126705
10.92/9.82	c cleaning 15990 clauses out of 32018 with flag 352279/143706
12.27/11.11	c cleaning 17005 clauses out of 34028 with flag 396682/161706
13.66/12.59	c cleaning 18006 clauses out of 36029 with flag 439005/180712
15.31/14.18	c cleaning 19006 clauses out of 38022 with flag 488700/200711
17.16/15.96	c cleaning 19987 clauses out of 40010 with flag 538862/221705
19.45/18.25	c cleaning 21011 clauses out of 42033 with flag 586182/243715
21.62/20.38	c cleaning 22001 clauses out of 44017 with flag 641233/266710
24.29/22.95	c cleaning 22995 clauses out of 46014 with flag 693037/290708
27.29/25.99	c cleaning 23998 clauses out of 48018 with flag 747935/315707
30.16/28.76	c cleaning 24990 clauses out of 50028 with flag 806275/341715
33.75/32.21	c cleaning 26012 clauses out of 52030 with flag 868470/368707
37.13/35.53	c cleaning 26996 clauses out of 54016 with flag 933350/396705
40.72/39.05	c cleaning 28006 clauses out of 56021 with flag 1002386/425706
43.58/41.80	c cleaning 28991 clauses out of 58014 with flag 1079131/455705
46.07/44.37	c cleaning 29991 clauses out of 60027 with flag 1160238/486709
49.09/47.39	c cleaning 31002 clauses out of 62033 with flag 1236393/518706
53.02/51.14	c cleaning 32027 clauses out of 64054 with flag 1315471/551729
61.76/59.28	c cleaning 33004 clauses out of 66007 with flag 1388461/585709
76.18/73.61	c cleaning 34058 clauses out of 68116 with flag 1464066/620822
88.33/85.58	c cleaning 34999 clauses out of 69998 with flag 1539744/656762
102.00/99.16	c cleaning 35985 clauses out of 71970 with flag 1619271/693733
110.38/107.57	c cleaning 37018 clauses out of 74035 with flag 1712323/731783
119.04/116.04	c cleaning 37955 clauses out of 75941 with flag 1802664/770707
126.86/123.60	c cleaning 38988 clauses out of 78008 with flag 1911623/810729
141.12/137.61	c cleaning 40023 clauses out of 80046 with flag 1998477/851755
150.09/146.57	c cleaning 40981 clauses out of 81973 with flag 2104034/893705
159.97/156.47	c cleaning 41996 clauses out of 83992 with flag 2211526/936705
173.15/169.59	c cleaning 42957 clauses out of 85996 with flag 2318897/980705
181.78/178.09	c cleaning 44042 clauses out of 88083 with flag 2441017/1025749
191.26/187.55	c cleaning 45002 clauses out of 90004 with flag 2561712/1071712
199.74/195.99	c cleaning 45966 clauses out of 91995 with flag 2670989/1118705
209.83/206.10	c cleaning 47056 clauses out of 94111 with flag 2788965/1166787
229.79/225.95	c cleaning 48044 clauses out of 96087 with flag 2897869/1215819
250.87/246.93	c cleaning 48966 clauses out of 97934 with flag 3005192/1265710
263.14/259.26	c cleaning 49935 clauses out of 99963 with flag 3132424/1316705
283.54/279.58	c cleaning 51015 clauses out of 102036 with flag 3254059/1368713
297.59/293.44	c cleaning 52009 clauses out of 104017 with flag 3398609/1421709
310.06/305.94	c cleaning 53010 clauses out of 106046 with flag 3538707/1475747
323.04/318.42	c cleaning 54012 clauses out of 108027 with flag 3681129/1530738
336.44/331.86	c cleaning 55001 clauses out of 110002 with flag 3837792/1586725
357.12/352.40	c cleaning 55984 clauses out of 111981 with flag 3972693/1643705
372.54/367.70	c cleaning 57011 clauses out of 114021 with flag 4114274/1701729
386.61/381.84	c cleaning 57995 clauses out of 115997 with flag 4272587/1760716
407.25/402.59	c cleaning 58983 clauses out of 117995 with flag 4423043/1820709
421.12/416.55	c cleaning 59947 clauses out of 120009 with flag 4579520/1881706
440.52/435.93	c cleaning 61084 clauses out of 122168 with flag 4739952/1943812
461.93/457.51	c cleaning 61984 clauses out of 123977 with flag 4899952/2006705
485.05/480.50	c cleaning 62999 clauses out of 125997 with flag 5057371/2070709
504.19/499.55	c cleaning 63996 clauses out of 127994 with flag 5228902/2135705
517.16/512.56	c cleaning 65002 clauses out of 130004 with flag 5413842/2201711
535.16/530.45	c cleaning 65962 clauses out of 131996 with flag 5595758/2268705
558.31/553.44	c cleaning 67013 clauses out of 134034 with flag 5775113/2336705
574.69/569.87	c cleaning 67999 clauses out of 136027 with flag 5963642/2405711
593.13/587.82	c cleaning 68999 clauses out of 138022 with flag 6146439/2475705
609.80/604.44	c cleaning 70003 clauses out of 140023 with flag 6337031/2546705
633.15/627.87	c cleaning 71010 clauses out of 142030 with flag 6528602/2618715
655.88/650.41	c cleaning 71969 clauses out of 144010 with flag 6720162/2691705
681.31/675.74	c cleaning 73014 clauses out of 146042 with flag 6902062/2765706
711.90/706.36	c cleaning 74017 clauses out of 148034 with flag 7097796/2840712
741.41/735.96	c cleaning 74986 clauses out of 150011 with flag 7283644/2916706
774.42/768.86	c cleaning 76042 clauses out of 152091 with flag 7466093/2993772
804.59/798.90	c cleaning 77005 clauses out of 154012 with flag 7627820/3071735
834.93/829.37	c cleaning 77965 clauses out of 155978 with flag 7836387/3150706
857.66/852.07	c cleaning 79018 clauses out of 158035 with flag 8067504/3230728
894.33/888.65	c cleaning 80038 clauses out of 160075 with flag 8250146/3311786
929.43/923.38	c cleaning 80967 clauses out of 161956 with flag 8452080/3393705
958.48/952.54	c cleaning 81995 clauses out of 163989 with flag 8662687/3476705
985.82/980.12	c cleaning 82996 clauses out of 166023 with flag 8893438/3560734
1018.97/1013.20	c cleaning 83998 clauses out of 167999 with flag 9114281/3645706
1052.37/1046.79	c cleaning 85028 clauses out of 170134 with flag 9317138/3731839
1087.18/1081.56	c cleaning 85987 clauses out of 171973 with flag 9522139/3818706
1139.06/1133.65	c cleaning 87001 clauses out of 174002 with flag 9729743/3906722
1179.15/1173.79	c cleaning 87993 clauses out of 175985 with flag 9948146/3995706
1213.93/1208.57	c cleaning 89003 clauses out of 178010 with flag 10165230/4085724
1252.19/1246.42	c cleaning 90037 clauses out of 180085 with flag 10388038/4176802
1290.11/1284.42	c cleaning 90987 clauses out of 181974 with flag 10607834/4268728
1328.87/1323.46	c cleaning 91979 clauses out of 183966 with flag 10831186/4361707
1369.50/1364.46	c cleaning 92986 clauses out of 185986 with flag 11089320/4455706
1409.73/1404.88	c cleaning 93990 clauses out of 188000 with flag 11344729/4550706
1447.40/1442.58	c cleaning 95041 clauses out of 190086 with flag 11580320/4646782
1480.03/1475.16	c cleaning 95985 clauses out of 191969 with flag 11851311/4743706
1519.96/1515.18	c cleaning 97053 clauses out of 194123 with flag 12094370/4841845
1563.97/1558.85	c cleaning 98017 clauses out of 196034 with flag 12317211/4940809
1613.26/1608.02	c cleaning 98951 clauses out of 197914 with flag 12560972/5040706
1662.13/1656.32	c cleaning 99974 clauses out of 199962 with flag 12807652/5141705
1705.24/1699.46	c cleaning 100996 clauses out of 201997 with flag 13046036/5243714
1741.15/1735.21	c cleaning 101990 clauses out of 203992 with flag 13306208/5346705
1776.87/1770.82	c cleaning 103019 clauses out of 206052 with flag 13577196/5450755
1829.32/1823.28	c cleaning 104016 clauses out of 208034 with flag 13832337/5555756
1867.69/1861.53	c cleaning 104980 clauses out of 209967 with flag 14104324/5661705
1919.71/1913.59	c cleaning 106026 clauses out of 212053 with flag 14364735/5768771
1977.27/1971.01	c cleaning 106976 clauses out of 213961 with flag 14622622/5876705
2013.83/2007.07	c cleaning 108024 clauses out of 216048 with flag 14912331/5985768
2049.08/2042.11	c cleaning 109002 clauses out of 218059 with flag 15219059/6095803
2085.50/2078.53	c cleaning 109986 clauses out of 219981 with flag 15522884/6206727
2125.61/2118.87	c cleaning 110989 clauses out of 221978 with flag 15813935/6318710
2165.08/2158.54	c cleaning 111973 clauses out of 223984 with flag 16109927/6431705
2212.81/2206.09	c cleaning 113012 clauses out of 226023 with flag 16388524/6545717
2251.11/2244.20	c cleaning 114074 clauses out of 228153 with flag 16689466/6660859
2309.09/2301.61	c cleaning 114998 clauses out of 230015 with flag 16977241/6776795
2360.80/2353.35	c cleaning 115940 clauses out of 231927 with flag 17267797/6893705
2415.49/2408.23	c cleaning 117050 clauses out of 234100 with flag 17546088/7011818
2480.66/2473.84	c cleaning 118014 clauses out of 236029 with flag 17841954/7130797
2532.09/2525.25	c cleaning 118929 clauses out of 237923 with flag 18150617/7250705
2582.21/2575.48	c cleaning 120026 clauses out of 240051 with flag 18454545/7371762
2626.18/2619.50	c cleaning 120979 clauses out of 241971 with flag 18783076/7493708
2677.94/2670.88	c cleaning 121969 clauses out of 243997 with flag 19083870/7616713
2733.80/2726.75	c cleaning 123011 clauses out of 246021 with flag 19380594/7740706
2783.34/2776.23	c cleaning 124002 clauses out of 248010 with flag 19711072/7865706
2831.97/2824.59	c cleaning 124985 clauses out of 250007 with flag 20034649/7991705
2878.39/2871.05	c cleaning 126021 clauses out of 252043 with flag 20350918/8118726
2921.77/2914.62	c cleaning 126998 clauses out of 254002 with flag 20680144/8246706
2973.16/2965.33	c cleaning 128000 clauses out of 256007 with flag 21012185/8375709
3012.72/3004.87	c cleaning 129001 clauses out of 258003 with flag 21334826/8505705
3068.11/3060.42	c cleaning 130005 clauses out of 260009 with flag 21666768/8636712
3114.62/3106.76	c cleaning 131014 clauses out of 262027 with flag 22004316/8768735
3177.54/3170.12	c cleaning 131988 clauses out of 263983 with flag 22318345/8901705
3239.18/3231.88	c cleaning 132963 clauses out of 265995 with flag 22651489/9035705
3288.47/3280.54	c cleaning 133961 clauses out of 268032 with flag 23004225/9170705
3348.62/3340.77	c cleaning 135037 clauses out of 270073 with flag 23345060/9306707
3406.16/3398.21	c cleaning 136012 clauses out of 272034 with flag 23692411/9443705
3474.37/3466.42	c cleaning 136994 clauses out of 274022 with flag 24044404/9581705
3526.94/3518.25	c cleaning 137992 clauses out of 276041 with flag 24389969/9720718
3584.10/3575.61	c cleaning 139017 clauses out of 278036 with flag 24742160/9860705
3600.44/3591.94	c starts		: 19102
3600.44/3591.94	c conflicts		: 9910241
3600.44/3591.94	c decisions		: 37182832
3600.44/3591.94	c propagations		: 822088497
3600.44/3591.94	c inspects		: 26576330505
3600.44/3591.94	c shortcuts		: 0
3600.44/3591.94	c learnt literals	: 0
3600.44/3591.94	c learnt binary clauses	: 84
3600.44/3591.94	c learnt ternary clauses	: 97
3600.44/3591.94	c learnt constraints	: 9910241
3600.44/3591.94	c ignored constraints	: 0
3600.44/3591.94	c root simplifications	: 0
3600.44/3591.94	c removed literals (reason simplification)	: 0
3600.44/3591.94	c reason swapping (by a shorter reason)	: 0
3600.44/3591.94	c Calls to reduceDB	: 136
3600.44/3591.94	c Number of update (reduction) of LBD	: 2257341
3600.44/3591.94	c Imported unit clauses	: 0
3600.44/3591.94	c No decision after first conflict	: false
3600.44/3591.94	c number of reductions to clauses (during analyze)	: 0
3600.44/3591.94	c number of learned constraints concerned by reduction	: 0
3600.44/3591.94	c number of learning phase by resolution	: 0
3600.44/3591.94	c number of learning phase by cutting planes	: 0
3600.44/3591.94	c number of rounding to 1 operations	: 0
3600.44/3591.94	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.44/3591.94	c number of reductions of the coefficients by power 2 	: 0
3600.44/3591.94	c number of right shift for reduction by power 2 	: 0
3600.44/3591.94	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.44/3591.94	c number of ending skipping 	: 0
3600.44/3591.94	c number of internal skipping 	: 0
3600.44/3591.94	c number of derivation steps 	: 0
3600.44/3591.94	c number of skipped derivation steps 	: 0
3600.44/3591.94	c number of remaining unassigned 	: 0
3600.44/3591.94	c number of remaining assigned 	: 0
3600.44/3591.94	c number of falsified literals weakened from reason	: 0
3600.44/3591.94	c number of falsified literals weakened from conflict	: 0
3600.44/3591.94	c time for arithmetic operations	: 0
3600.44/3591.94	c minimum degree of deleted constraints	: null
3600.44/3591.95	c maximum degree of deleted constraints	: null
3600.44/3591.95	c number of deleted constraints	: 0
3600.44/3591.95	c speed (assignments/second)	: 228880.59009198507
3600.44/3591.95	c non guided choices	: 0
3600.64/3592.02	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 188471
3600.64/3592.02	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 84
3600.64/3592.02	s SATISFIABLE
3600.64/3592.02	c Found 3 solution(s)
3600.64/3592.02	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.64/3592.02	c objective function=307
3600.64/3592.02	c Total wall clock time (in seconds): 3591.899

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432160-1721070468/watcher-4432160-1721070468 -o /tmp/evaluation-result-4432160-1721070468/solver-4432160-1721070468 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721070467-815594 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432160-1721070468.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=816045, runsolver pid=816042

[startup+0.10066 s]*
/proc/loadavg: 3.91 4.07 4.08 6/329 816063
/proc/meminfo: memFree=127112780/131524600 swapFree=131071996/131071996
[pid=816045] ppid=816042 vsize=18975048 memory=65396 CPUtime=0.13 cores=1,3
/proc/816045/stat : 816045 (java) S 816042 816045 815582 0 -1 1077936128 7176 0 0 0 11 2 0 0 20 0 18 0 159210299 19430449152 16349 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
/proc/816045/statm: 4743762 16349 5712 1 0 549318 0
[pid=816045/tid=816047] ppid=816042 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/816045/task/816047/stat : 816047 (java) R 816042 816045 815582 0 -1 4194368 5735 0 0 0 7 1 0 0 20 0 18 0 159210299 19430449152 16349 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
[pid=816045/tid=816056] ppid=816042 vsize=18975048 memory=228556276070 CPUtime=0 cores=1,3
/proc/816045/task/816056/stat : 816056 (Finalizer) S 816042 816045 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 159210302 19430449152 16349 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
[pid=816045/tid=816063] ppid=816042 vsize=18975048 memory=16102567654487328 CPUtime=0 cores=1,3
/proc/816045/task/816063/stat : 816063 (Common-Cleaner) S 816042 816045 815582 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 159210302 19430449152 16349 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65396 KiB

[startup+0.206564 s]*
/proc/loadavg: 3.91 4.07 4.08 7/330 816064
/proc/meminfo: memFree=127108884/131524600 swapFree=131071996/131071996
[pid=816045] ppid=816042 vsize=19041612 memory=69356 CPUtime=0.34 cores=1,3
/proc/816045/stat : 816045 (java) S 816042 816045 815582 0 -1 1077936128 7616 0 0 0 31 3 0 0 20 0 19 0 159210299 19498610688 17339 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
/proc/816045/statm: 4760403 17339 5852 1 0 549939 0
[pid=816045/tid=816047] ppid=816042 vsize=19041612 memory=4782652875487838339 CPUtime=0.18 cores=1,3
/proc/816045/task/816047/stat : 816047 (java) R 816042 816045 815582 0 -1 4194368 6013 0 0 0 16 2 0 0 20 0 19 0 159210299 19498610688 17339 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
[pid=816045/tid=816056] ppid=816042 vsize=19041612 memory=1623 CPUtime=0 cores=1,3
/proc/816045/task/816056/stat : 816056 (Finalizer) S 816042 816045 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 159210302 19498610688 17339 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
[pid=816045/tid=816063] ppid=816042 vsize=19041612 memory=14695192770905705 CPUtime=0 cores=1,3
/proc/816045/task/816063/stat : 816063 (Common-Cleaner) S 816042 816045 815582 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 159210302 19498610688 17339 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
[pid=816045/tid=816064] ppid=816042 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/816045/task/816064/stat : 816064 (Timer-0) S 816042 816045 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 159210315 19498610688 17339 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 69356 KiB

[startup+0.308562 s]*
/proc/loadavg: 3.91 4.07 4.08 6/330 816064
/proc/meminfo: memFree=127099048/131524600 swapFree=131071996/131071996
[pid=816045] ppid=816042 vsize=19041612 memory=79392 CPUtime=0.53 cores=1,3
/proc/816045/stat : 816045 (java) S 816042 816045 815582 0 -1 1077936128 10466 0 0 0 50 3 0 0 20 0 19 0 159210299 19498610688 19848 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
/proc/816045/statm: 4760403 19848 5868 1 0 551415 0
[pid=816045/tid=816047] ppid=816042 vsize=19041612 memory=-9032367515821777596 CPUtime=0.28 cores=1,3
/proc/816045/task/816047/stat : 816047 (java) R 816042 816045 815582 0 -1 4194368 6047 0 0 0 26 2 0 0 20 0 19 0 159210299 19498610688 19848 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
[pid=816045/tid=816056] ppid=816042 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/816045/task/816056/stat : 816056 (Finalizer) S 816042 816045 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 159210302 19498610688 19848 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
[pid=816045/tid=816063] ppid=816042 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/816045/task/816063/stat : 816063 (Common-Cleaner) S 816042 816045 815582 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 159210302 19498610688 19848 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
[pid=816045/tid=816064] ppid=816042 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/816045/task/816064/stat : 816064 (Timer-0) S 816042 816045 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 159210315 19498610688 19848 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 79392 KiB

[startup+0.700564 s]
/proc/loadavg: 4.07 4.10 4.09 6/330 816064
/proc/meminfo: memFree=127084888/131524600 swapFree=131071996/131071996
[pid=816045] ppid=816042 vsize=19041612 memory=109944 CPUtime=1.29 cores=1,3
/proc/816045/stat : 816045 (java) S 816042 816045 815582 0 -1 1077936128 13587 0 0 0 125 4 0 0 20 0 19 0 159210299 19498610688 27486 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
/proc/816045/statm: 4760403 27486 5868 1 0 553909 0
[pid=816045/tid=816047] ppid=816042 vsize=19041612 memory=40860 CPUtime=0.65 cores=1,3
/proc/816045/task/816047/stat : 816047 (java) R 816042 816045 815582 0 -1 4194368 6087 0 0 0 63 2 0 0 20 0 19 0 159210299 19498610688 27486 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
[pid=816045/tid=816056] ppid=816042 vsize=19041612 memory=12292 CPUtime=0 cores=1,3
/proc/816045/task/816056/stat : 816056 (Finalizer) S 816042 816045 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 159210302 19498610688 27486 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
[pid=816045/tid=816063] ppid=816042 vsize=19041612 memory=2236 CPUtime=0 cores=1,3
/proc/816045/task/816063/stat : 816063 (Common-Cleaner) S 816042 816045 815582 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 159210302 19498610688 27486 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
[pid=816045/tid=816064] ppid=816042 vsize=19041612 memory=5484 CPUtime=0 cores=1,3
/proc/816045/task/816064/stat : 816064 (Timer-0) S 816042 816045 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 159210315 19498610688 27486 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 109944 KiB

[startup+1.50056 s]
/proc/loadavg: 4.07 4.10 4.09 5/330 816064
/proc/meminfo: memFree=127015864/131524600 swapFree=131071996/131071996
[pid=816045] ppid=816042 vsize=19041612 memory=163968 CPUtime=2.32 cores=1,3
/proc/816045/stat : 816045 (java) S 816042 816045 815582 0 -1 1077936128 14706 0 0 0 227 5 0 0 20 0 19 0 159210299 19498610688 40992 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
/proc/816045/statm: 4760403 40992 5868 1 0 553971 0
[pid=816045/tid=816047] ppid=816042 vsize=19041612 memory=12292 CPUtime=1.44 cores=1,3
/proc/816045/task/816047/stat : 816047 (java) R 816042 816045 815582 0 -1 4194368 6538 0 0 0 141 3 0 0 20 0 19 0 159210299 19498610688 40992 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
[pid=816045/tid=816056] ppid=816042 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/816045/task/816056/stat : 816056 (Finalizer) S 816042 816045 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 159210302 19498610688 40992 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
[pid=816045/tid=816063] ppid=816042 vsize=19041612 memory=2236 CPUtime=0 cores=1,3
/proc/816045/task/816063/stat : 816063 (Common-Cleaner) S 816042 816045 815582 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 159210302 19498610688 40992 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
[pid=816045/tid=816064] ppid=816042 vsize=19041612 memory=5484 CPUtime=0 cores=1,3
/proc/816045/task/816064/stat : 816064 (Timer-0) S 816042 816045 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 159210315 19498610688 40992 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
Current children cumulated CPU time: 2.32 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 163968 KiB

[startup+3.10556 s]
/proc/loadavg: 4.07 4.10 4.09 5/331 816065
/proc/meminfo: memFree=126890040/131524600 swapFree=131071996/131071996
[pid=816045] ppid=816042 vsize=19108176 memory=256840 CPUtime=4.01 cores=1,3
/proc/816045/stat : 816045 (java) S 816042 816045 815582 0 -1 1077936128 18659 0 0 0 394 7 0 0 20 0 20 0 159210299 19566772224 64210 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
/proc/816045/statm: 4777044 64210 5884 1 0 554263 0
[pid=816045/tid=816047] ppid=816042 vsize=19108176 memory=0 CPUtime=2.94 cores=1,3
/proc/816045/task/816047/stat : 816047 (java) R 816042 816045 815582 0 -1 4194368 6814 0 0 0 291 3 0 0 20 0 20 0 159210299 19566772224 64210 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
[pid=816045/tid=816056] ppid=816042 vsize=19108176 memory=-9032367515821777596 CPUtime=0 cores=1,3
/proc/816045/task/816056/stat : 816056 (Finalizer) S 816042 816045 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159210302 19566772224 64210 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
[pid=816045/tid=816063] ppid=816042 vsize=19108176 memory=12292 CPUtime=0 cores=1,3
/proc/816045/task/816063/stat : 816063 (Common-Cleaner) S 816042 816045 815582 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 159210302 19566772224 64210 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
[pid=816045/tid=816064] ppid=816042 vsize=19108176 memory=2236 CPUtime=0 cores=1,3
/proc/816045/task/816064/stat : 816064 (Timer-0) S 816042 816045 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159210315 19566772224 64210 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
Current children cumulated CPU time: 4.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 256840 KiB

[startup+6.30056 s]
/proc/loadavg: 4.07 4.10 4.09 6/331 816065
/proc/meminfo: memFree=126694812/131524600 swapFree=131071996/131071996
[pid=816045] ppid=816042 vsize=19108176 memory=359364 CPUtime=7.27 cores=1,3
/proc/816045/stat : 816045 (java) S 816042 816045 815582 0 -1 1077936128 19182 0 0 0 718 9 0 0 20 0 20 0 159210299 19566772224 89841 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
/proc/816045/statm: 4777044 89841 5884 1 0 554263 0
[pid=816045/tid=816047] ppid=816042 vsize=19108176 memory=12292 CPUtime=6 cores=1,3
/proc/816045/task/816047/stat : 816047 (java) R 816042 816045 815582 0 -1 4194368 6913 0 0 0 597 3 0 0 20 0 20 0 159210299 19566772224 89841 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
[pid=816045/tid=816056] ppid=816042 vsize=19108176 memory=2236 CPUtime=0 cores=1,3
/proc/816045/task/816056/stat : 816056 (Finalizer) S 816042 816045 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159210302 19566772224 89841 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
[pid=816045/tid=816063] ppid=816042 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/816045/task/816063/stat : 816063 (Common-Cleaner) S 816042 816045 815582 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 159210302 19566772224 89841 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
[pid=816045/tid=816064] ppid=816042 vsize=19108176 memory=170112 CPUtime=0 cores=1,3
/proc/816045/task/816064/stat : 816064 (Timer-0) S 816042 816045 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159210315 19566772224 89841 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
Current children cumulated CPU time: 7.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 359364 KiB

[startup+12.7002 s]
/proc/loadavg: 4.06 4.10 4.09 5/331 816067
/proc/meminfo: memFree=126290636/131524600 swapFree=131071996/131071996
[pid=816045] ppid=816042 vsize=19108176 memory=694576 CPUtime=13.86 cores=1,3
/proc/816045/stat : 816045 (java) S 816042 816045 815582 0 -1 1077936128 21863 0 0 0 1370 16 0 0 20 0 20 0 159210299 19566772224 173644 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
/proc/816045/statm: 4777044 173644 5884 1 0 660782 0
[pid=816045/tid=816047] ppid=816042 vsize=19108176 memory=170112 CPUtime=12.2 cores=1,3
/proc/816045/task/816047/stat : 816047 (java) R 816042 816045 815582 0 -1 4194368 7557 0 0 0 1215 5 0 0 20 0 20 0 159210299 19566772224 173644 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
[pid=816045/tid=816056] ppid=816042 vsize=19108176 memory=694576 CPUtime=0 cores=1,3
/proc/816045/task/816056/stat : 816056 (Finalizer) S 816042 816045 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159210302 19566772224 173644 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
[pid=816045/tid=816063] ppid=816042 vsize=19108176 memory=606360 CPUtime=0 cores=1,3
/proc/816045/task/816063/stat : 816063 (Common-Cleaner) S 816042 816045 815582 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 159210302 19566772224 173644 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
[pid=816045/tid=816064] ppid=816042 vsize=19108176 memory=12064 CPUtime=0 cores=1,3
/proc/816045/task/816064/stat : 816064 (Timer-0) S 816042 816045 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159210315 19566772224 173644 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
Current children cumulated CPU time: 13.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 694576 KiB

[startup+25.5003 s]
/proc/loadavg: 4.05 4.09 4.09 5/331 816068
/proc/meminfo: memFree=125360420/131524600 swapFree=131071996/131071996
[pid=816045] ppid=816042 vsize=19108176 memory=1183948 CPUtime=26.89 cores=1,3
/proc/816045/stat : 816045 (java) S 816042 816045 815582 0 -1 1077936128 24571 0 0 0 2662 27 0 0 20 0 20 0 159210299 19566772224 295987 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
/proc/816045/statm: 4777044 295987 5884 1 0 788222 0
[pid=816045/tid=816047] ppid=816042 vsize=19108176 memory=32412 CPUtime=24.66 cores=1,3
/proc/816045/task/816047/stat : 816047 (java) R 816042 816045 815582 0 -1 4194368 8348 0 0 0 2459 7 0 0 20 0 20 0 159210299 19566772224 295987 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
[pid=816045/tid=816056] ppid=816042 vsize=19108176 memory=12064 CPUtime=0 cores=1,3
/proc/816045/task/816056/stat : 816056 (Finalizer) S 816042 816045 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159210302 19566772224 295987 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
[pid=816045/tid=816063] ppid=816042 vsize=19108176 memory=1183948 CPUtime=0 cores=1,3
/proc/816045/task/816063/stat : 816063 (Common-Cleaner) S 816042 816045 815582 0 -1 1077936192 45 0 0 0 0 0 0 0 20 0 20 0 159210302 19566772224 295987 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
[pid=816045/tid=816064] ppid=816042 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/816045/task/816064/stat : 816064 (Timer-0) S 816042 816045 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159210315 19566772224 295987 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
Current children cumulated CPU time: 26.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1183948 KiB

[startup+51.1056 s]
/proc/loadavg: 4.16 4.12 4.10 5/331 816073
/proc/meminfo: memFree=123533172/131524600 swapFree=131071996/131071996
[pid=816045] ppid=816042 vsize=19108176 memory=1942508 CPUtime=53.02 cores=1,3
/proc/816045/stat : 816045 (java) S 816042 816045 815582 0 -1 1077936128 28990 0 0 0 5261 41 0 0 20 0 20 0 159210299 19566772224 485627 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
/proc/816045/statm: 4777044 485627 5884 1 0 788222 0

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

/proc/meminfo: memFree=116694256/131524600 swapFree=131071996/131071996
[pid=816045] ppid=816042 vsize=19108176 memory=3116488 CPUtime=3290.26 cores=1,3
/proc/816045/stat : 816045 (java) S 816042 816045 815582 0 -1 1077936128 254658 0 0 0 328867 159 0 0 20 0 20 0 159210299 19566772224 779122 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
/proc/816045/statm: 4777044 779122 5948 1 0 794225 0
[pid=816045/tid=816047] ppid=816042 vsize=19108176 memory=3116268 CPUtime=3251.59 cores=1,3
/proc/816045/task/816047/stat : 816047 (java) R 816042 816045 815582 0 -1 4194368 77213 0 0 0 325133 26 0 0 20 0 20 0 159210299 19566772224 779122 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
[pid=816045/tid=816056] ppid=816042 vsize=19108176 memory=3116268 CPUtime=0 cores=1,3
/proc/816045/task/816056/stat : 816056 (Finalizer) S 816042 816045 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159210302 19566772224 779122 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
[pid=816045/tid=816063] ppid=816042 vsize=19108176 memory=40860 CPUtime=0 cores=1,3
/proc/816045/task/816063/stat : 816063 (Common-Cleaner) S 816042 816045 815582 0 -1 1077936192 1641 0 0 0 0 0 0 0 20 0 20 0 159210302 19566772224 779122 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
[pid=816045/tid=816064] ppid=816042 vsize=19108176 memory=12064 CPUtime=0 cores=1,3
/proc/816045/task/816064/stat : 816064 (Timer-0) S 816042 816045 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159210315 19566772224 779122 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
Current children cumulated CPU time: 3290.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3116488 KiB

[startup+3342.3 s]
/proc/loadavg: 4.29 4.21 4.16 5/335 817854
/proc/meminfo: memFree=116694048/131524600 swapFree=131071996/131071996
[pid=816045] ppid=816042 vsize=19108176 memory=3116488 CPUtime=3350.22 cores=1,3
/proc/816045/stat : 816045 (java) S 816042 816045 815582 0 -1 1077936128 254712 0 0 0 334861 161 0 0 20 0 20 0 159210299 19566772224 779122 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
/proc/816045/statm: 4777044 779122 5948 1 0 794225 0
[pid=816045/tid=816047] ppid=816042 vsize=19108176 memory=26360 CPUtime=3311.39 cores=1,3
/proc/816045/task/816047/stat : 816047 (java) R 816042 816045 815582 0 -1 4194368 77256 0 0 0 331113 26 0 0 20 0 20 0 159210299 19566772224 779122 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
[pid=816045/tid=816056] ppid=816042 vsize=19108176 memory=16224 CPUtime=0 cores=1,3
/proc/816045/task/816056/stat : 816056 (Finalizer) S 816042 816045 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159210302 19566772224 779122 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
[pid=816045/tid=816063] ppid=816042 vsize=19108176 memory=3116488 CPUtime=0 cores=1,3
/proc/816045/task/816063/stat : 816063 (Common-Cleaner) S 816042 816045 815582 0 -1 1077936192 1641 0 0 0 0 0 0 0 20 0 20 0 159210302 19566772224 779122 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
[pid=816045/tid=816064] ppid=816042 vsize=19108176 memory=12292 CPUtime=0 cores=1,3
/proc/816045/task/816064/stat : 816064 (Timer-0) S 816042 816045 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159210315 19566772224 779122 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
Current children cumulated CPU time: 3350.22 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3116488 KiB

[startup+3402.3 s]
/proc/loadavg: 4.21 4.20 4.16 5/333 817866
/proc/meminfo: memFree=116693652/131524600 swapFree=131071996/131071996
[pid=816045] ppid=816042 vsize=19108176 memory=3116496 CPUtime=3410.41 cores=1,3
/proc/816045/stat : 816045 (java) S 816042 816045 815582 0 -1 1077936128 255515 0 0 0 340878 163 0 0 20 0 20 0 159210299 19566772224 779124 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
/proc/816045/statm: 4777044 779124 5948 1 0 794225 0
[pid=816045/tid=816047] ppid=816042 vsize=19108176 memory=16224 CPUtime=3370.93 cores=1,3
/proc/816045/task/816047/stat : 816047 (java) R 816042 816045 815582 0 -1 4194368 77808 0 0 0 337067 26 0 0 20 0 20 0 159210299 19566772224 779124 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
[pid=816045/tid=816056] ppid=816042 vsize=19108176 memory=3116488 CPUtime=0 cores=1,3
/proc/816045/task/816056/stat : 816056 (Finalizer) S 816042 816045 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159210302 19566772224 779124 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
[pid=816045/tid=816063] ppid=816042 vsize=19108176 memory=3116496 CPUtime=0 cores=1,3
/proc/816045/task/816063/stat : 816063 (Common-Cleaner) S 816042 816045 815582 0 -1 1077936192 1641 0 0 0 0 0 0 0 20 0 20 0 159210302 19566772224 779124 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
[pid=816045/tid=816064] ppid=816042 vsize=19108176 memory=12064 CPUtime=0 cores=1,3
/proc/816045/task/816064/stat : 816064 (Timer-0) S 816042 816045 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159210315 19566772224 779124 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
Current children cumulated CPU time: 3410.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3116496 KiB

[startup+3462.3 s]
/proc/loadavg: 4.36 4.24 4.18 5/333 817876
/proc/meminfo: memFree=116692560/131524600 swapFree=131071996/131071996
[pid=816045] ppid=816042 vsize=19108176 memory=3116496 CPUtime=3470.29 cores=1,3
/proc/816045/stat : 816045 (java) S 816042 816045 815582 0 -1 1077936128 256296 0 0 0 346864 165 0 0 20 0 20 0 159210299 19566772224 779124 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
/proc/816045/statm: 4777044 779124 5948 1 0 794225 0
[pid=816045/tid=816047] ppid=816042 vsize=19108176 memory=16224 CPUtime=3430.77 cores=1,3
/proc/816045/task/816047/stat : 816047 (java) R 816042 816045 815582 0 -1 4194368 78413 0 0 0 343051 26 0 0 20 0 20 0 159210299 19566772224 779124 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
[pid=816045/tid=816056] ppid=816042 vsize=19108176 memory=3116488 CPUtime=0 cores=1,3
/proc/816045/task/816056/stat : 816056 (Finalizer) S 816042 816045 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159210302 19566772224 779124 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
[pid=816045/tid=816063] ppid=816042 vsize=19108176 memory=3116496 CPUtime=0 cores=1,3
/proc/816045/task/816063/stat : 816063 (Common-Cleaner) S 816042 816045 815582 0 -1 1077936192 1641 0 0 0 0 0 0 0 20 0 20 0 159210302 19566772224 779124 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
[pid=816045/tid=816064] ppid=816042 vsize=19108176 memory=-9032367515821777596 CPUtime=0 cores=1,3
/proc/816045/task/816064/stat : 816064 (Timer-0) S 816042 816045 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159210315 19566772224 779124 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
Current children cumulated CPU time: 3470.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3116496 KiB

[startup+3522.3 s]
/proc/loadavg: 4.23 4.22 4.18 5/330 817886
/proc/meminfo: memFree=116691968/131524600 swapFree=131071996/131071996
[pid=816045] ppid=816042 vsize=19108176 memory=3116520 CPUtime=3531.03 cores=1,3
/proc/816045/stat : 816045 (java) S 816042 816045 815582 0 -1 1077936128 266990 0 0 0 352936 167 0 0 20 0 20 0 159210299 19566772224 779130 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
/proc/816045/statm: 4777044 779130 5948 1 0 794226 0
[pid=816045/tid=816047] ppid=816042 vsize=19108176 memory=5436 CPUtime=3490.24 cores=1,3
/proc/816045/task/816047/stat : 816047 (java) R 816042 816045 815582 0 -1 4194368 80099 0 0 0 348998 26 0 0 20 0 20 0 159210299 19566772224 779130 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 7 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
[pid=816045/tid=816056] ppid=816042 vsize=19108176 memory=12064 CPUtime=0 cores=1,3
/proc/816045/task/816056/stat : 816056 (Finalizer) S 816042 816045 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159210302 19566772224 779130 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
[pid=816045/tid=816063] ppid=816042 vsize=19108176 memory=40860 CPUtime=0 cores=1,3
/proc/816045/task/816063/stat : 816063 (Common-Cleaner) S 816042 816045 815582 0 -1 1077936192 1684 0 0 0 0 0 0 0 20 0 20 0 159210302 19566772224 779130 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
[pid=816045/tid=816064] ppid=816042 vsize=19108176 memory=3116520 CPUtime=0 cores=1,3
/proc/816045/task/816064/stat : 816064 (Timer-0) S 816042 816045 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159210315 19566772224 779130 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
Current children cumulated CPU time: 3531.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3116520 KiB

[startup+3582.3 s]
/proc/loadavg: 4.32 4.24 4.18 5/330 817965
/proc/meminfo: memFree=120851728/131524600 swapFree=131071996/131071996
[pid=816045] ppid=816042 vsize=19108176 memory=3116524 CPUtime=3590.73 cores=1,3
/proc/816045/stat : 816045 (java) S 816042 816045 815582 0 -1 1077936128 267126 0 0 0 358905 168 0 0 20 0 20 0 159210299 19566772224 779131 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
/proc/816045/statm: 4777044 779131 5948 1 0 794226 0
[pid=816045/tid=816047] ppid=816042 vsize=19108176 memory=12292 CPUtime=3549.67 cores=1,3
/proc/816045/task/816047/stat : 816047 (java) R 816042 816045 815582 0 -1 4194368 80150 0 0 0 354941 26 0 0 20 0 20 0 159210299 19566772224 779131 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
[pid=816045/tid=816056] ppid=816042 vsize=19108176 memory=3116524 CPUtime=0 cores=1,3
/proc/816045/task/816056/stat : 816056 (Finalizer) S 816042 816045 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159210302 19566772224 779131 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
[pid=816045/tid=816063] ppid=816042 vsize=19108176 memory=3116524 CPUtime=0 cores=1,3
/proc/816045/task/816063/stat : 816063 (Common-Cleaner) S 816042 816045 815582 0 -1 1077936192 1684 0 0 0 0 0 0 0 20 0 20 0 159210302 19566772224 779131 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
[pid=816045/tid=816064] ppid=816042 vsize=19108176 memory=3116524 CPUtime=0 cores=1,3
/proc/816045/task/816064/stat : 816064 (Timer-0) S 816042 816045 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159210315 19566772224 779131 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
Current children cumulated CPU time: 3590.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3116524 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3591.7 s]
/proc/loadavg: 4.62 4.31 4.21 5/330 818169
/proc/meminfo: memFree=124521640/131524600 swapFree=131071996/131071996
[pid=816045] ppid=816042 vsize=19108176 memory=3116524 CPUtime=3600.06 cores=1,3
/proc/816045/stat : 816045 (java) S 816042 816045 815582 0 -1 1077936128 267186 0 0 0 359837 169 0 0 20 0 20 0 159210299 19566772224 779131 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
/proc/816045/statm: 4777044 779131 5948 1 0 794226 0
[pid=816045/tid=816047] ppid=816042 vsize=19108176 memory=3116524 CPUtime=3558.98 cores=1,3
/proc/816045/task/816047/stat : 816047 (java) R 816042 816045 815582 0 -1 4194368 80210 0 0 0 355872 26 0 0 20 0 20 0 159210299 19566772224 779131 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
[pid=816045/tid=816056] ppid=816042 vsize=19108176 memory=12064 CPUtime=0 cores=1,3
/proc/816045/task/816056/stat : 816056 (Finalizer) S 816042 816045 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159210302 19566772224 779131 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
[pid=816045/tid=816063] ppid=816042 vsize=19108176 memory=3116524 CPUtime=0 cores=1,3
/proc/816045/task/816063/stat : 816063 (Common-Cleaner) S 816042 816045 815582 0 -1 1077936192 1684 0 0 0 0 0 0 0 20 0 20 0 159210302 19566772224 779131 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
[pid=816045/tid=816064] ppid=816042 vsize=19108176 memory=3116524 CPUtime=0 cores=1,3
/proc/816045/task/816064/stat : 816064 (Timer-0) S 816042 816045 815582 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159210315 19566772224 779131 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3116524 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.01 s, system=1.70839 s

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

[startup+3592 s]*
/proc/loadavg: 4.57 4.30 4.20 8/331 818172
/proc/meminfo: memFree=124476072/131524600 swapFree=131071996/131071996
[pid=816045] ppid=816042 vsize=19307868 memory=3117160 CPUtime=3600.64 cores=1,3
/proc/816045/stat : 816045 (java) S 816042 816045 815582 0 -1 1077936128 269237 0 0 0 359895 169 0 0 20 0 21 0 159210299 19771256832 779290 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
/proc/816045/statm: 4826967 779290 5947 1 0 795133 0
[pid=816045/tid=816047] ppid=816042 vsize=19307868 memory=-9032366407720215228 CPUtime=3559.1 cores=1,3
/proc/816045/task/816047/stat : 816047 (java) R 816042 816045 815582 0 -1 4194368 80374 0 0 0 355884 26 0 0 20 0 21 0 159210299 19771256832 779290 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
[pid=816045/tid=816056] ppid=816042 vsize=19307868 memory=1480 CPUtime=0 cores=1,3
/proc/816045/task/816056/stat : 816056 (Finalizer) S 816042 816045 815582 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 159210302 19771256832 779290 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
[pid=816045/tid=816063] ppid=816042 vsize=19307868 memory=17970 CPUtime=0 cores=1,3
/proc/816045/task/816063/stat : 816063 (Common-Cleaner) S 816042 816045 815582 0 -1 1077936192 1684 0 0 0 0 0 0 0 20 0 21 0 159210302 19771256832 779290 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
[pid=816045/tid=818171] ppid=816042 vsize=19307868 memory=4050204124423158499 CPUtime=0.06 cores=1,3
/proc/816045/task/818171/stat : 818171 (Thread-0) R 816042 816045 815582 0 -1 4194368 180 0 0 0 6 0 0 0 20 0 21 0 159569471 19771256832 779290 134679101440 94578684817408 94578684821104 140724032699632 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94578684828920 94578684829712 94578717360128 140724032701447 140724032701537 140724032701537 140724032708552 0
Current children cumulated CPU time: 3600.64 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 3117160 KiB

Child status: 143

Real time (s): 3592.06
CPU time (s): 3600.72
CPU user time (s): 3599.01
CPU system time (s): 1.70839
CPU usage (%): 100.241
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 3117160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.01
system time used= 1.70839
maximum resident set size= 3117988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269999
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 109969
involuntary context switches= 15412


# summary of solver processes directly reported to runsolver:
#   pid: 816045
#   total CPU time (s): 3600.72
#   total CPU user time (s): 3599.01
#   total CPU system time (s): 1.70839

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.59233 second user time and 18.091 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2024-07-15 21:08:01
IDJOB=4432160
IDBENCH=146929
IDSOLVER=3058
FILE ID=nodeC020/4432160-1721070468
RUNJOBID= nodeC020-1721070467-815594
SLURM_JOB_ID= 7505528
Free space on /tmp= 890076 MiB

SOLVER NAME= Sat4j Resolution Default 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 -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432160-1721070468/watcher-4432160-1721070468 -o /tmp/evaluation-result-4432160-1721070468/solver-4432160-1721070468 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721070467-815594 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432160-1721070468.opb

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

MD5SUM BENCH= d3e48ed9182b9fed4d29a9ec4b7209aa
RANDOM SEED=1660271054

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3673.250
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3644.140
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.071
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3652.025
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3673.203
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3678.401
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.228
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7000.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3640.206
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        127157080 kB
MemAvailable:   128644220 kB
Buffers:          373500 kB
Cached:          1938980 kB
SwapCached:            0 kB
Active:           606312 kB
Inactive:        3142692 kB
Active(anon):       1568 kB
Inactive(anon):  1472652 kB
Active(file):     604744 kB
Inactive(file):  1670040 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             10208 kB
Writeback:             0 kB
AnonPages:       1435816 kB
Mapped:           123568 kB
Shmem:             37720 kB
KReclaimable:     104356 kB
Slab:             210908 kB
SReclaimable:     104356 kB
SUnreclaim:       106552 kB
KernelStack:        5024 kB
PageTables:        12968 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    8723912 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            58816 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1181696 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:      189140 kB
DirectMap2M:    15312896 kB
DirectMap1G:    120586240 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC020 at 2024-07-15 22:07:53