Trace number 4443974

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 NameAnswerCPU timeWall clock time
Sat4j Resolution Default 2024-07-07? (TO) 3600.2 3586.32

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k5_l4_n750.opb
MD5SUMd1359993160bf2f1506844981afa3acf
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark28.564
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3750
Total number of constraints467625
Number of constraints which are clauses466875
Number of constraints which are cardinality constraints (but not clauses)750
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint5
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 7
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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.08	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.12	c Pseudo Boolean Optimization by upper bound
0.13/0.12	c --- Begin Solver configuration ---
0.13/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	c Learn all clauses as in MiniSAT
0.13/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	c No reason simplification
0.13/0.12	c Glucose 2.1 dynamic restart strategy
0.13/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	c timeout=2147483s
0.13/0.12	c DB Simplification allowed=false
0.13/0.12	c Listener: none
0.13/0.12	c --- End Solver configuration ---
0.13/0.12	c solving HOME/instance-4443974-1721317787.opb
0.13/0.12	c reading problem ... 
0.13/0.12	c  no objective function found
2.84/1.84	c ... done. Wall clock time 1.713s.
2.84/1.84	c declared #vars     3750
2.84/1.84	c #constraints  468375
2.84/1.84	c constraints type 
2.84/1.84	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 750
2.84/1.84	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 467625
2.84/1.84	c 468375 constraints processed.
4.88/3.13	c cleaning 2495 clauses out of 5002 with flag 19769/5002
6.11/4.26	c cleaning 4254 clauses out of 8509 with flag 45017/11004
7.55/5.50	c cleaning 5623 clauses out of 11252 with flag 76349/18001
8.97/6.99	c cleaning 6809 clauses out of 13630 with flag 111226/26002
10.66/8.66	c cleaning 7900 clauses out of 15819 with flag 150077/35000
12.63/10.55	c cleaning 8954 clauses out of 17920 with flag 195897/45001
14.73/12.67	c cleaning 9979 clauses out of 19966 with flag 244529/56001
16.93/14.86	c cleaning 10985 clauses out of 21986 with flag 300628/68000
19.42/17.39	c cleaning 11998 clauses out of 24002 with flag 356836/81001
22.13/20.10	c cleaning 12995 clauses out of 26003 with flag 419340/95000
25.01/22.96	c cleaning 13992 clauses out of 28010 with flag 487818/110002
28.35/26.17	c cleaning 15007 clauses out of 30017 with flag 560984/126001
31.66/29.42	c cleaning 15997 clauses out of 32009 with flag 633892/143000
35.08/32.84	c cleaning 17006 clauses out of 34013 with flag 718290/161001
38.68/36.47	c cleaning 17990 clauses out of 36006 with flag 803118/180000
42.67/40.37	c cleaning 19002 clauses out of 38017 with flag 894990/200001
46.56/44.26	c cleaning 20003 clauses out of 40015 with flag 992786/221001
50.65/48.39	c cleaning 20999 clauses out of 42011 with flag 1093952/243000
55.26/52.84	c cleaning 21986 clauses out of 44012 with flag 1200928/266000
59.85/57.40	c cleaning 23010 clauses out of 46027 with flag 1311814/290001
64.45/62.04	c cleaning 24005 clauses out of 48016 with flag 1430435/315000
69.74/67.25	c cleaning 25006 clauses out of 50015 with flag 1549493/341004
74.83/72.39	c cleaning 25994 clauses out of 52005 with flag 1673611/368000
80.13/77.69	c cleaning 26992 clauses out of 54012 with flag 1809667/396001
86.13/83.59	c cleaning 28002 clauses out of 56019 with flag 1938684/425000
91.92/89.32	c cleaning 28998 clauses out of 58018 with flag 2081008/455001
98.13/95.43	c cleaning 30005 clauses out of 60019 with flag 2226190/486000
104.31/101.67	c cleaning 30993 clauses out of 62016 with flag 2375695/518002
110.70/108.10	c cleaning 32011 clauses out of 64022 with flag 2529992/551001
117.55/114.80	c cleaning 32996 clauses out of 66012 with flag 2687524/585002
124.44/121.74	c cleaning 33999 clauses out of 68015 with flag 2844171/620001
131.74/128.97	c cleaning 35000 clauses out of 70016 with flag 3005289/656001
138.93/136.18	c cleaning 36003 clauses out of 72015 with flag 3175676/693000
146.49/143.61	c cleaning 36997 clauses out of 74014 with flag 3352915/731002
154.27/151.41	c cleaning 38003 clauses out of 76020 with flag 3534175/770005
162.24/159.30	c cleaning 39001 clauses out of 78013 with flag 3718569/810001
170.57/167.55	c cleaning 40000 clauses out of 80011 with flag 3908915/851000
178.79/175.89	c cleaning 41000 clauses out of 82011 with flag 4104968/893000
187.25/184.21	c cleaning 41993 clauses out of 84011 with flag 4307059/936000
195.73/192.74	c cleaning 42998 clauses out of 86018 with flag 4514612/980000
204.69/201.66	c cleaning 44003 clauses out of 88021 with flag 4725128/1025001
213.77/210.76	c cleaning 44996 clauses out of 90017 with flag 4939837/1071000
223.51/220.42	c cleaning 46006 clauses out of 92024 with flag 5156279/1118003
233.00/229.93	c cleaning 47008 clauses out of 94016 with flag 5381637/1166001
243.18/240.01	c cleaning 47996 clauses out of 96008 with flag 5604026/1215001
253.05/249.97	c cleaning 48992 clauses out of 98011 with flag 5838506/1265000
263.75/260.52	c cleaning 50004 clauses out of 100019 with flag 6071332/1316000
274.33/271.19	c cleaning 51001 clauses out of 102015 with flag 6314695/1368000
285.37/282.03	c cleaning 52002 clauses out of 104015 with flag 6568823/1421001
296.27/293.01	c cleaning 53004 clauses out of 106012 with flag 6819019/1475000
307.65/304.49	c cleaning 53995 clauses out of 108008 with flag 7069799/1530000
319.25/316.17	c cleaning 55000 clauses out of 110014 with flag 7322555/1586001
330.93/327.86	c cleaning 56001 clauses out of 112014 with flag 7588447/1643001
342.52/339.55	c cleaning 56997 clauses out of 114012 with flag 7861277/1701000
355.03/352.10	c cleaning 57995 clauses out of 116016 with flag 8129502/1760001
367.41/364.52	c cleaning 58997 clauses out of 118021 with flag 8409895/1820001
380.25/377.20	c cleaning 60002 clauses out of 120024 with flag 8697040/1881001
393.12/390.15	c cleaning 61001 clauses out of 122021 with flag 8978297/1943000
406.43/403.37	c cleaning 62007 clauses out of 124022 with flag 9267079/2006002
419.80/416.71	c cleaning 62984 clauses out of 126013 with flag 9559927/2070000
433.41/430.25	c cleaning 63996 clauses out of 128029 with flag 9862611/2135000
446.68/443.56	c cleaning 64997 clauses out of 130033 with flag 10180436/2201000
461.01/457.76	c cleaning 65996 clauses out of 132036 with flag 10493109/2268000
475.18/472.03	c cleaning 67010 clauses out of 134041 with flag 10813554/2336001
489.77/486.63	c cleaning 67999 clauses out of 136030 with flag 11132503/2405000
504.33/501.31	c cleaning 69008 clauses out of 138032 with flag 11453966/2475001
519.98/516.38	c cleaning 69996 clauses out of 140023 with flag 11785604/2546000
535.00/531.33	c cleaning 71005 clauses out of 142028 with flag 12126374/2618001
550.40/546.60	c cleaning 72003 clauses out of 144027 with flag 12465115/2691005
566.34/562.41	c cleaning 72994 clauses out of 146019 with flag 12806531/2765000
582.59/578.57	c cleaning 74007 clauses out of 148026 with flag 13154155/2840001
598.92/594.78	c cleaning 74997 clauses out of 150019 with flag 13520399/2916001
615.64/611.34	c cleaning 76004 clauses out of 152021 with flag 13885289/2993000
632.31/628.09	c cleaning 77003 clauses out of 154018 with flag 14245527/3071001
649.51/645.28	c cleaning 77990 clauses out of 156014 with flag 14615507/3150000
666.58/662.39	c cleaning 79004 clauses out of 158025 with flag 14995825/3230001
684.11/679.82	c cleaning 80002 clauses out of 160023 with flag 15375681/3311003
701.48/697.27	c cleaning 81000 clauses out of 162020 with flag 15761470/3393002
719.37/715.08	c cleaning 81996 clauses out of 164018 with flag 16155930/3476000
737.82/733.57	c cleaning 83000 clauses out of 166026 with flag 16543169/3560004
756.52/752.12	c cleaning 84000 clauses out of 168022 with flag 16939652/3645000
775.08/770.78	c cleaning 85005 clauses out of 170022 with flag 17339638/3731000
794.40/789.97	c cleaning 85988 clauses out of 172018 with flag 17743490/3818001
813.86/809.41	c cleaning 87008 clauses out of 174030 with flag 18154612/3906001
833.60/829.03	c cleaning 88002 clauses out of 176022 with flag 18571484/3995001
853.06/848.52	c cleaning 88996 clauses out of 178019 with flag 18995891/4085000
873.34/868.70	c cleaning 89992 clauses out of 180023 with flag 19417105/4176000
893.39/888.85	c cleaning 91008 clauses out of 182033 with flag 19851585/4268002
914.26/909.52	c cleaning 92003 clauses out of 184023 with flag 20285637/4361000
934.91/930.24	c cleaning 93001 clauses out of 186026 with flag 20718464/4455006
955.73/951.04	c cleaning 94000 clauses out of 188019 with flag 21168922/4550000
977.25/972.62	c cleaning 94998 clauses out of 190020 with flag 21606330/4646001
998.74/994.00	c cleaning 96006 clauses out of 192025 with flag 22060858/4743004
1020.19/1015.50	c cleaning 97000 clauses out of 194016 with flag 22525431/4841001
1042.80/1038.00	c cleaning 98005 clauses out of 196015 with flag 22983073/4940000
1065.20/1060.23	c cleaning 98996 clauses out of 198010 with flag 23452445/5040000
1089.41/1083.39	c cleaning 99999 clauses out of 200015 with flag 23928643/5141001
1112.70/1106.65	c cleaning 101001 clauses out of 202015 with flag 24402376/5243000
1135.91/1129.84	c cleaning 101991 clauses out of 204016 with flag 24883592/5346002
1159.86/1153.68	c cleaning 103002 clauses out of 206027 with flag 25361890/5450004
1183.46/1177.24	c cleaning 104007 clauses out of 208022 with flag 25862767/5555001
1207.73/1201.41	c cleaning 105002 clauses out of 210017 with flag 26355085/5661003
1231.68/1225.49	c cleaning 105988 clauses out of 212012 with flag 26852163/5768000
1256.11/1249.92	c cleaning 106997 clauses out of 214024 with flag 27360916/5876000
1280.28/1274.12	c cleaning 108008 clauses out of 216029 with flag 27873978/5985002
1305.35/1299.25	c cleaning 108993 clauses out of 218020 with flag 28386963/6095001
1330.43/1324.39	c cleaning 110000 clauses out of 220028 with flag 28906804/6206002
1355.97/1349.75	c cleaning 111006 clauses out of 222026 with flag 29435729/6318000
1382.23/1375.95	c cleaning 111999 clauses out of 224022 with flag 29955215/6431002
1408.65/1402.25	c cleaning 112998 clauses out of 226023 with flag 30477962/6545002
1435.15/1428.60	c cleaning 114006 clauses out of 228023 with flag 31015438/6660000
1461.67/1455.05	c cleaning 115001 clauses out of 230017 with flag 31564064/6776000
1489.52/1482.29	c cleaning 115998 clauses out of 232020 with flag 32114149/6893004
1517.24/1509.89	c cleaning 116990 clauses out of 234020 with flag 32654485/7011002
1544.94/1537.54	c cleaning 118005 clauses out of 236028 with flag 33204797/7130000
1573.08/1565.70	c cleaning 119008 clauses out of 238024 with flag 33762202/7250001
1601.07/1593.47	c cleaning 120001 clauses out of 240015 with flag 34348025/7371000
1629.35/1621.67	c cleaning 121001 clauses out of 242016 with flag 34928047/7493002
1658.15/1650.44	c cleaning 121992 clauses out of 244013 with flag 35500204/7616000
1687.20/1679.48	c cleaning 123004 clauses out of 246022 with flag 36078120/7740001
1716.67/1708.89	c cleaning 124003 clauses out of 248018 with flag 36660435/7865001
1747.10/1739.08	c cleaning 124989 clauses out of 250016 with flag 37242441/7991002
1777.40/1769.27	c cleaning 126008 clauses out of 252028 with flag 37839636/8118003
1807.90/1799.77	c cleaning 127003 clauses out of 254017 with flag 38430862/8246000
1837.68/1829.54	c cleaning 128002 clauses out of 256016 with flag 39041568/8375002
1868.74/1860.45	c cleaning 129000 clauses out of 258012 with flag 39648894/8505000
1899.79/1891.67	c cleaning 129990 clauses out of 260016 with flag 40260662/8636004
1930.44/1922.50	c cleaning 131001 clauses out of 262022 with flag 40884899/8768000
1961.97/1954.06	c cleaning 132001 clauses out of 264023 with flag 41510390/8901002
1994.26/1986.26	c cleaning 133005 clauses out of 266020 with flag 42131492/9035000
2026.03/2018.07	c cleaning 134003 clauses out of 268020 with flag 42776789/9170005
2058.95/2050.85	c cleaning 135000 clauses out of 270013 with flag 43410616/9306001
2091.83/2083.78	c cleaning 136003 clauses out of 272012 with flag 44041225/9443000
2125.97/2117.76	c cleaning 136992 clauses out of 274011 with flag 44677922/9581002
2159.56/2151.39	c cleaning 137999 clauses out of 276020 with flag 45325535/9720003
2193.22/2184.97	c cleaning 138998 clauses out of 278018 with flag 45988113/9860000
2227.67/2219.21	c cleaning 139999 clauses out of 280021 with flag 46646766/10001001
2262.25/2253.84	c cleaning 141003 clauses out of 282024 with flag 47304388/10143003
2297.26/2288.58	c cleaning 142003 clauses out of 284019 with flag 47981488/10286001
2332.89/2323.80	c cleaning 142998 clauses out of 286016 with flag 48658990/10430001
2368.93/2359.70	c cleaning 144006 clauses out of 288017 with flag 49333818/10575000
2406.25/2395.86	c cleaning 144994 clauses out of 290011 with flag 50017730/10721000
2442.78/2432.20	c cleaning 146002 clauses out of 292020 with flag 50700522/10868003
2479.17/2468.50	c cleaning 147005 clauses out of 294019 with flag 51399495/11016004
2516.12/2505.25	c cleaning 147994 clauses out of 296012 with flag 52101153/11165002
2553.51/2542.68	c cleaning 149000 clauses out of 298020 with flag 52792911/11315004
2591.28/2580.02	c cleaning 149980 clauses out of 300016 with flag 53511008/11466000
2629.02/2617.86	c cleaning 151007 clauses out of 302036 with flag 54218460/11618000
2667.22/2656.27	c cleaning 152008 clauses out of 304031 with flag 54921887/11771002
2705.52/2694.42	c cleaning 152997 clauses out of 306021 with flag 55646798/11925000
2743.66/2732.45	c cleaning 154000 clauses out of 308026 with flag 56382818/12080002
2782.61/2771.05	c cleaning 154998 clauses out of 310025 with flag 57124208/12236001
2821.95/2810.25	c cleaning 156004 clauses out of 312027 with flag 57850095/12393001
2861.63/2849.57	c cleaning 156985 clauses out of 314022 with flag 58598137/12551000
2901.11/2888.87	c cleaning 158011 clauses out of 316037 with flag 59341451/12710000
2940.88/2928.59	c cleaning 158999 clauses out of 318026 with flag 60100056/12870000
2981.46/2968.81	c cleaning 160001 clauses out of 320027 with flag 60853192/13031000
3021.95/3009.29	c cleaning 161001 clauses out of 322026 with flag 61613266/13193000
3062.98/3050.01	c cleaning 161988 clauses out of 324025 with flag 62383799/13356000
3103.77/3090.85	c cleaning 163017 clauses out of 326039 with flag 63155655/13520002
3146.09/3132.86	c cleaning 163998 clauses out of 328022 with flag 63916196/13685002
3187.60/3174.24	c cleaning 164997 clauses out of 330023 with flag 64702077/13851001
3229.81/3216.15	c cleaning 166008 clauses out of 332026 with flag 65496154/14018001
3274.07/3259.82	c cleaning 166996 clauses out of 334017 with flag 66266856/14186000
3317.02/3303.10	c cleaning 168004 clauses out of 336024 with flag 67053918/14355003
3360.19/3346.43	c cleaning 168986 clauses out of 338017 with flag 67856593/14525000
3403.64/3390.18	c cleaning 170004 clauses out of 340032 with flag 68658138/14696001
3447.14/3433.90	c cleaning 171002 clauses out of 342027 with flag 69475240/14868000
3491.95/3478.45	c cleaning 172004 clauses out of 344025 with flag 70291977/15041000
3536.70/3523.12	c cleaning 173001 clauses out of 346021 with flag 71121125/15215000
3580.97/3567.15	c cleaning 173998 clauses out of 348020 with flag 71941980/15390000
3600.02/3586.22	c timeout
3600.02/3586.22	c starts		: 69092
3600.02/3586.22	c conflicts		: 15471475
3600.02/3586.22	c decisions		: 61996985
3600.02/3586.22	c propagations		: 3248241518
3600.02/3586.22	c inspects		: 37157083677
3600.02/3586.22	c shortcuts		: 0
3600.02/3586.22	c learnt literals	: 0
3600.02/3586.23	c learnt binary clauses	: 0
3600.02/3586.23	c learnt ternary clauses	: 0
3600.02/3586.23	c learnt constraints	: 15471475
3600.02/3586.23	c ignored constraints	: 0
3600.02/3586.23	c root simplifications	: 0
3600.02/3586.23	c removed literals (reason simplification)	: 0
3600.02/3586.23	c reason swapping (by a shorter reason)	: 0
3600.02/3586.23	c Calls to reduceDB	: 171
3600.02/3586.23	c Number of update (reduction) of LBD	: 5680996
3600.02/3586.23	c Imported unit clauses	: 0
3600.02/3586.23	c No decision after first conflict	: false
3600.02/3586.23	c number of reductions to clauses (during analyze)	: 0
3600.02/3586.23	c number of learned constraints concerned by reduction	: 0
3600.02/3586.23	c number of learning phase by resolution	: 0
3600.02/3586.23	c number of learning phase by cutting planes	: 0
3600.02/3586.23	c number of rounding to 1 operations	: 0
3600.02/3586.23	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3586.23	c number of reductions of the coefficients by power 2 	: 0
3600.02/3586.23	c number of right shift for reduction by power 2 	: 0
3600.02/3586.23	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3586.23	c number of ending skipping 	: 0
3600.02/3586.23	c number of internal skipping 	: 0
3600.02/3586.23	c number of derivation steps 	: 0
3600.02/3586.23	c number of skipped derivation steps 	: 0
3600.02/3586.23	c number of remaining unassigned 	: 0
3600.02/3586.23	c number of remaining assigned 	: 0
3600.02/3586.23	c number of falsified literals weakened from reason	: 0
3600.02/3586.23	c number of falsified literals weakened from conflict	: 0
3600.02/3586.23	c time for arithmetic operations	: 0
3600.02/3586.23	c minimum degree of deleted constraints	: null
3600.02/3586.23	c maximum degree of deleted constraints	: null
3600.02/3586.23	c number of deleted constraints	: 0
3600.02/3586.23	c speed (assignments/second)	: 906220.0399789643
3600.02/3586.23	c non guided choices	: 683
3600.02/3586.28	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 255497
3600.02/3586.28	s UNKNOWN
3600.02/3586.28	c Total wall clock time (in seconds): 3586.167

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: 63931 MiB (62553 MiB free)
  memory of node 1: 64510 MiB (62899 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443974-1721317787/watcher-4443974-1721317787 -o /tmp/evaluation-result-4443974-1721317787/solver-4443974-1721317787 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721317800-980849 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4443974-1721317787.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=980933, runsolver pid=980930

[startup+0.100236 s]*
/proc/loadavg: 1.13 1.37 2.00 9/301 980951
/proc/meminfo: memFree=128350060/131524600 swapFree=131071996/131071996
[pid=980933] ppid=980930 vsize=18975048 memory=65036 CPUtime=0.13 cores=4,6
/proc/980933/stat : 980933 (java) S 980930 980933 980838 0 -1 1077936128 7195 0 0 0 12 1 0 0 20 0 18 0 183946984 19430449152 16259 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
/proc/980933/statm: 4743762 16259 5656 1 0 549340 0
[pid=980933/tid=980935] ppid=980930 vsize=18975048 memory=4026532157 CPUtime=0.09 cores=4,6
/proc/980933/task/980935/stat : 980935 (java) R 980930 980933 980838 0 -1 4194368 5749 0 0 0 8 1 0 0 20 0 18 0 183946984 19430449152 16259 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
[pid=980933/tid=980944] ppid=980930 vsize=18975048 memory=215671374179 CPUtime=0 cores=4,6
/proc/980933/task/980944/stat : 980944 (Finalizer) S 980930 980933 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 183946986 19430449152 16259 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
[pid=980933/tid=980951] ppid=980930 vsize=18975048 memory=14692980862747101 CPUtime=0 cores=4,6
/proc/980933/task/980951/stat : 980951 (Common-Cleaner) S 980930 980933 980838 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 183946987 19430449152 16259 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65036 KiB

[startup+0.206231 s]*
/proc/loadavg: 1.13 1.37 2.00 11/324 980979
/proc/meminfo: memFree=128190168/131524600 swapFree=131071996/131071996
[pid=980933] ppid=980930 vsize=18975048 memory=84772 CPUtime=0.33 cores=4,6
/proc/980933/stat : 980933 (java) S 980930 980933 980838 0 -1 1077936128 8101 0 0 0 31 2 0 0 20 0 18 0 183946984 19430449152 21193 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
/proc/980933/statm: 4743762 21193 5835 1 0 550056 0
[pid=980933/tid=980935] ppid=980930 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=4,6
/proc/980933/task/980935/stat : 980935 (java) R 980930 980933 980838 0 -1 4194368 5898 0 0 0 17 1 0 0 20 0 18 0 183946984 19430449152 21193 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
[pid=980933/tid=980944] ppid=980930 vsize=18975048 memory=15945 CPUtime=0 cores=4,6
/proc/980933/task/980944/stat : 980944 (Finalizer) S 980930 980933 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 183946986 19430449152 21193 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
[pid=980933/tid=980951] ppid=980930 vsize=18975048 memory=14418111545738801 CPUtime=0 cores=4,6
/proc/980933/task/980951/stat : 980951 (Common-Cleaner) S 980930 980933 980838 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 183946987 19430449152 21193 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 84772 KiB

[startup+0.305706 s]*
/proc/loadavg: 1.13 1.37 2.00 13/326 980981
/proc/meminfo: memFree=128107872/131524600 swapFree=131071996/131071996
[pid=980933] ppid=980930 vsize=18975048 memory=124012 CPUtime=0.52 cores=4,6
/proc/980933/stat : 980933 (java) S 980930 980933 980838 0 -1 1077936128 8998 0 0 0 50 2 0 0 20 0 18 0 183946984 19430449152 31003 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
/proc/980933/statm: 4743762 31003 5835 1 0 550564 0
[pid=980933/tid=980935] ppid=980930 vsize=18975048 memory=-8599730606665147068 CPUtime=0.27 cores=4,6
/proc/980933/task/980935/stat : 980935 (java) R 980930 980933 980838 0 -1 4194368 5919 0 0 0 25 2 0 0 20 0 18 0 183946984 19430449152 31003 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
[pid=980933/tid=980944] ppid=980930 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/980933/task/980944/stat : 980944 (Finalizer) S 980930 980933 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 183946986 19430449152 31003 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
[pid=980933/tid=980951] ppid=980930 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/980933/task/980951/stat : 980951 (Common-Cleaner) S 980930 980933 980838 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 183946987 19430449152 31003 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 124012 KiB

[startup+0.700415 s]
/proc/loadavg: 1.13 1.37 2.00 12/329 980984
/proc/meminfo: memFree=127913336/131524600 swapFree=131071996/131071996
[pid=980933] ppid=980930 vsize=19041612 memory=200232 CPUtime=1.27 cores=4,6
/proc/980933/stat : 980933 (java) S 980930 980933 980838 0 -1 1077936128 16389 0 0 0 122 5 0 0 20 0 19 0 183946984 19498610688 50058 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
/proc/980933/statm: 4760403 50058 5835 1 0 555866 0
[pid=980933/tid=980935] ppid=980930 vsize=19041612 memory=44056 CPUtime=0.6 cores=4,6
/proc/980933/task/980935/stat : 980935 (java) R 980930 980933 980838 0 -1 4194368 5942 0 0 0 58 2 0 0 20 0 19 0 183946984 19498610688 50058 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
[pid=980933/tid=980944] ppid=980930 vsize=19041612 memory=13120 CPUtime=0 cores=4,6
/proc/980933/task/980944/stat : 980944 (Finalizer) S 980930 980933 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 183946986 19498610688 50058 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
[pid=980933/tid=980951] ppid=980930 vsize=19041612 memory=2228 CPUtime=0 cores=4,6
/proc/980933/task/980951/stat : 980951 (Common-Cleaner) S 980930 980933 980838 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 183946987 19498610688 50058 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 200232 KiB

[startup+1.50442 s]
/proc/loadavg: 1.13 1.37 2.00 10/330 980985
/proc/meminfo: memFree=127715328/131524600 swapFree=131071996/131071996
[pid=980933] ppid=980930 vsize=19041612 memory=461148 CPUtime=2.49 cores=4,6
/proc/980933/stat : 980933 (java) S 980930 980933 980838 0 -1 1077936128 17722 0 0 0 239 10 0 0 20 0 19 0 183946984 19498610688 115287 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
/proc/980933/statm: 4760403 115287 5867 1 0 1082317 0
[pid=980933/tid=980935] ppid=980930 vsize=19041612 memory=13120 CPUtime=1.25 cores=4,6
/proc/980933/task/980935/stat : 980935 (java) S 980930 980933 980838 0 -1 1077936192 6043 0 0 0 119 6 0 0 20 0 19 0 183946984 19498610688 115287 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
[pid=980933/tid=980944] ppid=980930 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/980933/task/980944/stat : 980944 (Finalizer) S 980930 980933 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 183946986 19498610688 115287 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
[pid=980933/tid=980951] ppid=980930 vsize=19041612 memory=33 CPUtime=0 cores=4,6
/proc/980933/task/980951/stat : 980951 (Common-Cleaner) S 980930 980933 980838 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 183946987 19498610688 115287 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
Current children cumulated CPU time: 2.49 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 461148 KiB

[startup+3.106 s]
/proc/loadavg: 1.36 1.42 2.02 6/331 980986
/proc/meminfo: memFree=126582816/131524600 swapFree=131071996/131071996
[pid=980933] ppid=980930 vsize=19108176 memory=629996 CPUtime=4.88 cores=4,6
/proc/980933/stat : 980933 (java) S 980930 980933 980838 0 -1 1077936128 18999 0 0 0 474 14 0 0 20 0 20 0 183946984 19566772224 157499 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
/proc/980933/statm: 4777044 157499 5883 1 0 1684274 0
[pid=980933/tid=980935] ppid=980930 vsize=19108176 memory=33 CPUtime=2.77 cores=4,6
/proc/980933/task/980935/stat : 980935 (java) R 980930 980933 980838 0 -1 4194368 6167 0 0 0 268 9 0 0 20 0 20 0 183946984 19566772224 157499 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
[pid=980933/tid=980944] ppid=980930 vsize=19108176 memory=198340509722 CPUtime=0 cores=4,6
/proc/980933/task/980944/stat : 980944 (Finalizer) S 980930 980933 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183946986 19566772224 157499 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
[pid=980933/tid=980951] ppid=980930 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/980933/task/980951/stat : 980951 (Common-Cleaner) S 980930 980933 980838 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 183946987 19566772224 157499 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
[pid=980933/tid=980986] ppid=980930 vsize=19108176 memory=13120 CPUtime=0 cores=4,6
/proc/980933/task/980986/stat : 980986 (Timer-0) S 980930 980933 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183947168 19566772224 157499 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
Current children cumulated CPU time: 4.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 629996 KiB

[startup+6.30028 s]
/proc/loadavg: 1.36 1.42 2.02 5/311 981003
/proc/meminfo: memFree=127514040/131524600 swapFree=131071996/131071996
[pid=980933] ppid=980930 vsize=19108176 memory=690900 CPUtime=8.36 cores=4,6
/proc/980933/stat : 980933 (java) S 980930 980933 980838 0 -1 1077936128 19122 0 0 0 821 15 0 0 20 0 20 0 183946984 19566772224 172725 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
/proc/980933/statm: 4777044 172725 5883 1 0 1684320 0
[pid=980933/tid=980935] ppid=980930 vsize=19108176 memory=33 CPUtime=5.96 cores=4,6
/proc/980933/task/980935/stat : 980935 (java) R 980930 980933 980838 0 -1 4194368 6246 0 0 0 585 11 0 0 20 0 20 0 183946984 19566772224 172725 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
[pid=980933/tid=980944] ppid=980930 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/980933/task/980944/stat : 980944 (Finalizer) S 980930 980933 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183946986 19566772224 172725 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
[pid=980933/tid=980951] ppid=980930 vsize=19108176 memory=13120 CPUtime=0 cores=4,6
/proc/980933/task/980951/stat : 980951 (Common-Cleaner) S 980930 980933 980838 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 183946987 19566772224 172725 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
[pid=980933/tid=980986] ppid=980930 vsize=19108176 memory=11392 CPUtime=0 cores=4,6
/proc/980933/task/980986/stat : 980986 (Timer-0) S 980930 980933 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183947168 19566772224 172725 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
Current children cumulated CPU time: 8.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 690900 KiB

[startup+12.7003 s]
/proc/loadavg: 1.73 1.50 2.04 5/333 981058
/proc/meminfo: memFree=127204724/131524600 swapFree=131071996/131071996
[pid=980933] ppid=980930 vsize=19108176 memory=882408 CPUtime=14.83 cores=4,6
/proc/980933/stat : 980933 (java) S 980930 980933 980838 0 -1 1077936128 22171 0 0 0 1464 19 0 0 20 0 20 0 183946984 19566772224 220602 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
/proc/980933/statm: 4777044 220602 5899 1 0 1684335 0
[pid=980933/tid=980935] ppid=980930 vsize=19108176 memory=33 CPUtime=12.2 cores=4,6
/proc/980933/task/980935/stat : 980935 (java) R 980930 980933 980838 0 -1 4194368 7023 0 0 0 1208 12 0 0 20 0 20 0 183946984 19566772224 220602 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
[pid=980933/tid=980944] ppid=980930 vsize=19108176 memory=697356 CPUtime=0 cores=4,6
/proc/980933/task/980944/stat : 980944 (Finalizer) S 980930 980933 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183946986 19566772224 220602 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
[pid=980933/tid=980951] ppid=980930 vsize=19108176 memory=882408 CPUtime=0 cores=4,6
/proc/980933/task/980951/stat : 980951 (Common-Cleaner) S 980930 980933 980838 0 -1 1077936192 63 0 0 0 0 0 0 0 20 0 20 0 183946987 19566772224 220602 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
[pid=980933/tid=980986] ppid=980930 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/980933/task/980986/stat : 980986 (Timer-0) S 980930 980933 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183947168 19566772224 220602 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
Current children cumulated CPU time: 14.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 882408 KiB

[startup+25.5003 s]
/proc/loadavg: 2.53 1.68 2.09 7/333 981324
/proc/meminfo: memFree=126846480/131524600 swapFree=131071996/131071996
[pid=980933] ppid=980930 vsize=19108176 memory=1040428 CPUtime=27.75 cores=4,6
/proc/980933/stat : 980933 (java) S 980930 980933 980838 0 -1 1077936128 25949 0 0 0 2752 23 0 0 20 0 20 0 183946984 19566772224 260107 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
/proc/980933/statm: 4777044 260107 5899 1 0 1684353 0
[pid=980933/tid=980935] ppid=980930 vsize=19108176 memory=33 CPUtime=24.82 cores=4,6
/proc/980933/task/980935/stat : 980935 (java) R 980930 980933 980838 0 -1 4194368 7921 0 0 0 2470 12 0 0 20 0 20 0 183946984 19566772224 260107 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
[pid=980933/tid=980944] ppid=980930 vsize=19108176 memory=882408 CPUtime=0 cores=4,6
/proc/980933/task/980944/stat : 980944 (Finalizer) S 980930 980933 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183946986 19566772224 260107 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
[pid=980933/tid=980951] ppid=980930 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/980933/task/980951/stat : 980951 (Common-Cleaner) S 980930 980933 980838 0 -1 1077936192 63 0 0 0 0 0 0 0 20 0 20 0 183946987 19566772224 260107 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
[pid=980933/tid=980986] ppid=980930 vsize=19108176 memory=1904 CPUtime=0 cores=4,6
/proc/980933/task/980986/stat : 980986 (Timer-0) S 980930 980933 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183947168 19566772224 260107 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
Current children cumulated CPU time: 27.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1040428 KiB

[startup+51.1058 s]
/proc/loadavg: 3.19 1.90 2.15 4/312 981674
/proc/meminfo: memFree=126260356/131524600 swapFree=131071996/131071996
[pid=980933] ppid=980930 vsize=19108176 memory=1147276 CPUtime=53.46 cores=4,6
/proc/980933/stat : 980933 (java) S 980930 980933 980838 0 -1 1077936128 31819 0 0 0 5320 26 0 0 20 0 20 0 183946984 19566772224 286819 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
/proc/980933/statm: 4777044 286819 5930 1 0 1684353 0
[pid=980933/tid=980935] ppid=980930 vsize=19108176 memory=1147268 CPUtime=50.24 cores=4,6
/proc/980933/task/980935/stat : 980935 (java) R 980930 980933 980838 0 -1 4194368 9614 0 0 0 5011 13 0 0 20 0 20 0 183946984 19566772224 286819 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
[pid=980933/tid=980944] ppid=980930 vsize=19108176 memory=1147268 CPUtime=0 cores=4,6
/proc/980933/task/980944/stat : 980944 (Finalizer) S 980930 980933 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183946986 19566772224 286819 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
[pid=980933/tid=980951] ppid=980930 vsize=19108176 memory=1040576 CPUtime=0 cores=4,6
/proc/980933/task/980951/stat : 980951 (Common-Cleaner) S 980930 980933 980838 0 -1 1077936192 63 0 0 0 0 0 0 0 20 0 20 0 183946987 19566772224 286819 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
[pid=980933/tid=980986] ppid=980930 vsize=19108176 memory=5428 CPUtime=0 cores=4,6
/proc/980933/task/980986/stat : 980986 (Timer-0) S 980930 980933 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183947168 19566772224 286819 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0

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

/proc/980933/task/980944/stat : 980944 (Finalizer) S 980930 980933 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183946986 19566772224 2288699 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
[pid=980933/tid=980951] ppid=980930 vsize=19108176 memory=8739052 CPUtime=0 cores=4,6
/proc/980933/task/980951/stat : 980951 (Common-Cleaner) S 980930 980933 980838 0 -1 1077936192 3237 0 0 0 0 0 0 0 20 0 20 0 183946987 19566772224 2288699 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
[pid=980933/tid=980986] ppid=980930 vsize=19108176 memory=8739052 CPUtime=0 cores=4,6
/proc/980933/task/980986/stat : 980986 (Timer-0) S 980930 980933 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183947168 19566772224 2288699 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
Current children cumulated CPU time: 3236 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9154796 KiB

[startup+3282.3 s]
/proc/loadavg: 4.17 4.18 4.10 5/334 984901
/proc/meminfo: memFree=109612792/131524600 swapFree=131071996/131071996
[pid=980933] ppid=980930 vsize=19108176 memory=10245180 CPUtime=3296.51 cores=4,6
/proc/980933/stat : 980933 (java) S 980930 980933 980838 0 -1 1077936128 366112 0 0 0 329327 324 0 0 20 0 20 0 183946984 19566772224 2561295 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
/proc/980933/statm: 4777044 2561295 5930 1 0 3660532 0
[pid=980933/tid=980935] ppid=980930 vsize=19108176 memory=9946172 CPUtime=3246.78 cores=4,6
/proc/980933/task/980935/stat : 980935 (java) R 980930 980933 980838 0 -1 4194368 170578 0 0 0 324624 54 0 0 20 0 20 0 183946984 19566772224 2561295 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 17 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
[pid=980933/tid=980944] ppid=980930 vsize=19108176 memory=11392 CPUtime=0 cores=4,6
/proc/980933/task/980944/stat : 980944 (Finalizer) S 980930 980933 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183946986 19566772224 2561295 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
[pid=980933/tid=980951] ppid=980930 vsize=19108176 memory=-9176754308921991868 CPUtime=0 cores=4,6
/proc/980933/task/980951/stat : 980951 (Common-Cleaner) S 980930 980933 980838 0 -1 1077936192 3295 0 0 0 0 0 0 0 20 0 20 0 183946987 19566772224 2561295 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
[pid=980933/tid=980986] ppid=980930 vsize=19108176 memory=10245180 CPUtime=0 cores=4,6
/proc/980933/task/980986/stat : 980986 (Timer-0) S 980930 980933 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183947168 19566772224 2561295 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
Current children cumulated CPU time: 3296.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10245180 KiB

[startup+3342.3 s]
/proc/loadavg: 4.24 4.19 4.11 5/332 984912
/proc/meminfo: memFree=109248612/131524600 swapFree=131071996/131071996
[pid=980933] ppid=980930 vsize=19108176 memory=10468468 CPUtime=3356.13 cores=4,6
/proc/980933/stat : 980933 (java) S 980930 980933 980838 0 -1 1077936128 374088 0 0 0 335283 330 0 0 20 0 20 0 183946984 19566772224 2617117 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
/proc/980933/statm: 4777044 2617117 5930 1 0 3660538 0
[pid=980933/tid=980935] ppid=980930 vsize=19108176 memory=1848 CPUtime=3305.99 cores=4,6
/proc/980933/task/980935/stat : 980935 (java) R 980930 980933 980838 0 -1 4194368 174966 0 0 0 330545 54 0 0 20 0 20 0 183946984 19566772224 2617117 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 17 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
[pid=980933/tid=980944] ppid=980930 vsize=19108176 memory=10468468 CPUtime=0 cores=4,6
/proc/980933/task/980944/stat : 980944 (Finalizer) S 980930 980933 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183946986 19566772224 2617117 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
[pid=980933/tid=980951] ppid=980930 vsize=19108176 memory=10468468 CPUtime=0 cores=4,6
/proc/980933/task/980951/stat : 980951 (Common-Cleaner) S 980930 980933 980838 0 -1 1077936192 3388 0 0 0 0 0 0 0 20 0 20 0 183946987 19566772224 2617117 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
[pid=980933/tid=980986] ppid=980930 vsize=19108176 memory=11392 CPUtime=0 cores=4,6
/proc/980933/task/980986/stat : 980986 (Timer-0) S 980930 980933 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183947168 19566772224 2617117 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
Current children cumulated CPU time: 3356.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10468468 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.17 4.10 5/332 984922
/proc/meminfo: memFree=109247872/131524600 swapFree=131071996/131071996
[pid=980933] ppid=980930 vsize=19108176 memory=10468480 CPUtime=3415.82 cores=4,6
/proc/980933/stat : 980933 (java) S 980930 980933 980838 0 -1 1077936128 382514 0 0 0 341250 332 0 0 20 0 20 0 183946984 19566772224 2617120 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
/proc/980933/statm: 4777044 2617120 5930 1 0 3660541 0
[pid=980933/tid=980935] ppid=980930 vsize=19108176 memory=11392 CPUtime=3365.12 cores=4,6
/proc/980933/task/980935/stat : 980935 (java) R 980930 980933 980838 0 -1 4194368 179297 0 0 0 336458 54 0 0 20 0 20 0 183946984 19566772224 2617120 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 17 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
[pid=980933/tid=980944] ppid=980930 vsize=19108176 memory=10468468 CPUtime=0 cores=4,6
/proc/980933/task/980944/stat : 980944 (Finalizer) S 980930 980933 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183946986 19566772224 2617120 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
[pid=980933/tid=980951] ppid=980930 vsize=19108176 memory=10468468 CPUtime=0 cores=4,6
/proc/980933/task/980951/stat : 980951 (Common-Cleaner) S 980930 980933 980838 0 -1 1077936192 3532 0 0 0 0 0 0 0 20 0 20 0 183946987 19566772224 2617120 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
[pid=980933/tid=980986] ppid=980930 vsize=19108176 memory=11392 CPUtime=0 cores=4,6
/proc/980933/task/980986/stat : 980986 (Timer-0) S 980930 980933 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183947168 19566772224 2617120 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
Current children cumulated CPU time: 3415.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10468480 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.18 4.11 7/332 984934
/proc/meminfo: memFree=109247112/131524600 swapFree=131071996/131071996
[pid=980933] ppid=980930 vsize=19108176 memory=10468480 CPUtime=3475.42 cores=4,6
/proc/980933/stat : 980933 (java) S 980930 980933 980838 0 -1 1077936128 389581 0 0 0 347208 334 0 0 20 0 20 0 183946984 19566772224 2617120 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
/proc/980933/statm: 4777044 2617120 5930 1 0 3660541 0
[pid=980933/tid=980935] ppid=980930 vsize=19108176 memory=10468468 CPUtime=3424.49 cores=4,6
/proc/980933/task/980935/stat : 980935 (java) R 980930 980933 980838 0 -1 4194368 182575 0 0 0 342395 54 0 0 20 0 20 0 183946984 19566772224 2617120 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 17 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
[pid=980933/tid=980944] ppid=980930 vsize=19108176 memory=11392 CPUtime=0 cores=4,6
/proc/980933/task/980944/stat : 980944 (Finalizer) S 980930 980933 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183946986 19566772224 2617120 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
[pid=980933/tid=980951] ppid=980930 vsize=19108176 memory=10468480 CPUtime=0 cores=4,6
/proc/980933/task/980951/stat : 980951 (Common-Cleaner) S 980930 980933 980838 0 -1 1077936192 3676 0 0 0 0 0 0 0 20 0 20 0 183946987 19566772224 2617120 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
[pid=980933/tid=980986] ppid=980930 vsize=19108176 memory=10468480 CPUtime=0 cores=4,6
/proc/980933/task/980986/stat : 980986 (Timer-0) S 980930 980933 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183947168 19566772224 2617120 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
Current children cumulated CPU time: 3475.42 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10468480 KiB

[startup+3522.3 s]
/proc/loadavg: 4.18 4.18 4.11 5/331 984944
/proc/meminfo: memFree=109246420/131524600 swapFree=131071996/131071996
[pid=980933] ppid=980930 vsize=19108176 memory=10468488 CPUtime=3535.9 cores=4,6
/proc/980933/stat : 980933 (java) S 980930 980933 980838 0 -1 1077936128 397339 0 0 0 353253 337 0 0 20 0 20 0 183946984 19566772224 2617122 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
/proc/980933/statm: 4777044 2617122 5930 1 0 3660542 0
[pid=980933/tid=980935] ppid=980930 vsize=19108176 memory=10468480 CPUtime=3483.18 cores=4,6
/proc/980933/task/980935/stat : 980935 (java) R 980930 980933 980838 0 -1 4194368 185741 0 0 0 348263 55 0 0 20 0 20 0 183946984 19566772224 2617122 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 17 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
[pid=980933/tid=980944] ppid=980930 vsize=19108176 memory=10468480 CPUtime=0 cores=4,6
/proc/980933/task/980944/stat : 980944 (Finalizer) S 980930 980933 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183946986 19566772224 2617122 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
[pid=980933/tid=980951] ppid=980930 vsize=19108176 memory=10468488 CPUtime=0 cores=4,6
/proc/980933/task/980951/stat : 980951 (Common-Cleaner) S 980930 980933 980838 0 -1 1077936192 3823 0 0 0 0 0 0 0 20 0 20 0 183946987 19566772224 2617122 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
[pid=980933/tid=980986] ppid=980930 vsize=19108176 memory=10468484 CPUtime=0 cores=4,6
/proc/980933/task/980986/stat : 980986 (Timer-0) S 980930 980933 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183947168 19566772224 2617122 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
Current children cumulated CPU time: 3535.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10468488 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.18 4.11 5/331 986007
/proc/meminfo: memFree=111969776/131524600 swapFree=131071996/131071996
[pid=980933] ppid=980930 vsize=19108176 memory=10468496 CPUtime=3596.13 cores=4,6
/proc/980933/stat : 980933 (java) S 980930 980933 980838 0 -1 1077936128 404718 0 0 0 359274 339 0 0 20 0 20 0 183946984 19566772224 2617124 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
/proc/980933/statm: 4777044 2617124 5930 1 0 3660544 0
[pid=980933/tid=980935] ppid=980930 vsize=19108176 memory=32340 CPUtime=3542.61 cores=4,6
/proc/980933/task/980935/stat : 980935 (java) R 980930 980933 980838 0 -1 4194368 188864 0 0 0 354205 56 0 0 20 0 20 0 183946984 19566772224 2617124 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 17 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
[pid=980933/tid=980944] ppid=980930 vsize=19108176 memory=2228 CPUtime=0 cores=4,6
/proc/980933/task/980944/stat : 980944 (Finalizer) S 980930 980933 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183946986 19566772224 2617124 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
[pid=980933/tid=980951] ppid=980930 vsize=19108176 memory=10468496 CPUtime=0 cores=4,6
/proc/980933/task/980951/stat : 980951 (Common-Cleaner) S 980930 980933 980838 0 -1 1077936192 3970 0 0 0 0 0 0 0 20 0 20 0 183946987 19566772224 2617124 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
[pid=980933/tid=980986] ppid=980930 vsize=19108176 memory=10468496 CPUtime=0 cores=4,6
/proc/980933/task/980986/stat : 980986 (Timer-0) S 980930 980933 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183947168 19566772224 2617124 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
Current children cumulated CPU time: 3596.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10468496 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3586.2 s]
/proc/loadavg: 4.25 4.19 4.12 5/331 986007
/proc/meminfo: memFree=111969748/131524600 swapFree=131071996/131071996
[pid=980933] ppid=980930 vsize=19108176 memory=10468496 CPUtime=3600.02 cores=4,6
/proc/980933/stat : 980933 (java) S 980930 980933 980838 0 -1 1077936128 404757 0 0 0 359663 339 0 0 20 0 20 0 183946984 19566772224 2617124 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
/proc/980933/statm: 4777044 2617124 5930 1 0 3660544 0
[pid=980933/tid=980935] ppid=980930 vsize=19108176 memory=2848 CPUtime=3546.5 cores=4,6
/proc/980933/task/980935/stat : 980935 (java) R 980930 980933 980838 0 -1 4194368 188901 0 0 0 354594 56 0 0 20 0 20 0 183946984 19566772224 2617124 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 17 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
[pid=980933/tid=980944] ppid=980930 vsize=19108176 memory=4792 CPUtime=0 cores=4,6
/proc/980933/task/980944/stat : 980944 (Finalizer) S 980930 980933 980838 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 183946986 19566772224 2617124 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
[pid=980933/tid=980951] ppid=980930 vsize=19108176 memory=10468496 CPUtime=0 cores=4,6
/proc/980933/task/980951/stat : 980951 (Common-Cleaner) S 980930 980933 980838 0 -1 1077936192 3970 0 0 0 0 0 0 0 20 0 20 0 183946987 19566772224 2617124 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
[pid=980933/tid=980986] ppid=980930 vsize=19108176 memory=2736 CPUtime=0 cores=4,6
/proc/980933/task/980986/stat : 980986 (Timer-0) S 980930 980933 980838 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 183947168 19566772224 2617124 134679101440 94804755689472 94804755693168 140729819972848 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94804755700984 94804755701776 94804781666304 140729819980806 140729819980896 140729819980896 140729819987912 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 10468496 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.77 s, system=3.43024 s

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

[startup+3586.3 s]*
/proc/loadavg: 4.25 4.19 4.12 8/314 986010
/proc/meminfo: memFree=117735652/131524600 swapFree=131071996/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): 3586.32
CPU time (s): 3600.2
CPU user time (s): 3596.77
CPU system time (s): 3.43024
CPU usage (%): 100.387
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 10468496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.77
system time used= 3.43024
maximum resident set size= 10470120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 407672
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112838
involuntary context switches= 13774


# summary of solver processes directly reported to runsolver:
#   pid: 980933
#   total CPU time (s): 3600.2
#   total CPU user time (s): 3596.77
#   total CPU system time (s): 3.43024

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.4339 second user time and 16.3032 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2024-07-18 17:50:00
IDJOB=4443974
IDBENCH=147892
IDSOLVER=3058
FILE ID=nodeC031/4443974-1721317787
RUNJOBID= nodeC031-1721317800-980849
SLURM_JOB_ID= 7542669
Free space on /tmp= 890024 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/vdw/normalized-vdw_k5_l4_n750.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443974-1721317787/watcher-4443974-1721317787 -o /tmp/evaluation-result-4443974-1721317787/solver-4443974-1721317787 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1721317800-980849 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4443974-1721317787.opb

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

MD5SUM BENCH= d1359993160bf2f1506844981afa3acf
RANDOM SEED=1070236304

nodeC031.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		: 3615.965
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.55
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		: 3621.082
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	: 7006.11
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		: 3613.306
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.55
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		: 3600.053
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	: 7006.11
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		: 3622.581
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.55
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		: 3615.062
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	: 7006.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128478044 kB
MemAvailable:   129603584 kB
Buffers:          468376 kB
Cached:          1489824 kB
SwapCached:            0 kB
Active:           933716 kB
Inactive:        1495984 kB
Active(anon):       1536 kB
Inactive(anon):   507776 kB
Active(file):     932180 kB
Inactive(file):   988208 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             61500 kB
Writeback:             0 kB
AnonPages:        470204 kB
Mapped:           126252 kB
Shmem:             37720 kB
KReclaimable:      89600 kB
Slab:             200380 kB
SReclaimable:      89600 kB
SUnreclaim:       110780 kB
KernelStack:        4608 kB
PageTables:        10588 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    5223596 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            69376 kB
HardwareCorrupted:     0 kB
AnonHugePages:    288768 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:      185044 kB
DirectMap2M:    16365568 kB
DirectMap1G:    119537664 kB

Free space on /tmp at the end= 890052 MiB
End job on nodeC031 at 2024-07-18 18:49:46