Trace number 4453444

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.31 3602.54

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-75.shuf-3.opb
MD5SUM2250f6fb3aae6ce944dd5cd9d2eb392c
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.00249
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables301
Total number of constraints150
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)17
Number of constraints which are nor clauses,nor cardinality constraints133
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
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.13/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.13/0.14	c This is free software under the dual EPL/GNU LGPL licenses.
0.13/0.14	c See www.sat4j.org for details.
0.13/0.15	c version CUSTOM.v20240707
0.13/0.18	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.18	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.18	c java.vm.version	22.0.1+8-16
0.13/0.18	c java.vm.vendor	Oracle Corporation
0.13/0.18	c sun.arch.data.model	64
0.13/0.18	c java.version		22.0.1
0.13/0.18	c os.name		Linux
0.13/0.18	c os.version		4.18.0-301.1.el8.x86_64
0.13/0.18	c os.arch		amd64
0.13/0.19	c Free memory 		2115194816
0.13/0.19	c Max memory 		16282288128
0.13/0.19	c Total memory 		2122317824
0.13/0.19	c Number of processors 	2
0.31/0.29	--- Begin Solver configuration ---
0.31/0.29	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.31/0.29	Learn all clauses as in MiniSAT
0.31/0.29	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.31/0.29	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.31/0.29	No reason simplification
0.31/0.29	Glucose 2.1 dynamic restart strategy
0.31/0.29	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.31/0.29	timeout=2147483s
0.31/0.29	DB Simplification allowed=false
0.31/0.29	Listener: none
0.31/0.29	--- End Solver configuration ---
0.31/0.29	c Pseudo Boolean Optimization by upper bound
0.31/0.29	c --- Begin Solver configuration ---
0.31/0.29	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.31/0.29	c Learn all clauses as in MiniSAT
0.31/0.29	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.31/0.30	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.31/0.30	c No reason simplification
0.31/0.30	c Glucose 2.1 dynamic restart strategy
0.31/0.30	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.31/0.30	c timeout=2147483s
0.31/0.30	c DB Simplification allowed=false
0.31/0.30	c Listener: none
0.31/0.30	c --- End Solver configuration ---
0.31/0.30	c solving HOME/instance-4453444-1721458229.opb
0.31/0.30	c reading problem ... 
0.31/0.31	c  no objective function found
0.46/0.35	c ... done. Wall clock time 0.054s.
0.46/0.35	c declared #vars     301
0.46/0.35	c #constraints  150
0.46/0.35	c constraints type 
0.46/0.35	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 150
0.46/0.35	c 150 constraints processed.
1.78/1.03	c cleaning 2498 clauses out of 5000 with flag 52708/5000
2.37/1.37	c cleaning 4245 clauses out of 8502 with flag 120915/11000
2.86/1.65	c cleaning 5624 clauses out of 11257 with flag 211956/18000
3.27/1.91	c cleaning 6777 clauses out of 13633 with flag 308026/26000
3.57/2.28	c cleaning 7908 clauses out of 15858 with flag 407322/35002
4.08/2.59	c cleaning 8954 clauses out of 17948 with flag 498862/45000
4.70/3.14	c cleaning 9979 clauses out of 19996 with flag 615218/56002
5.09/3.58	c cleaning 10968 clauses out of 22016 with flag 729590/68001
5.49/3.96	c cleaning 12015 clauses out of 24047 with flag 867826/81000
6.90/5.30	c cleaning 12998 clauses out of 26032 with flag 1011642/95000
7.61/6.05	c cleaning 13982 clauses out of 28036 with flag 1177991/110002
8.09/6.57	c cleaning 15006 clauses out of 30054 with flag 1345770/126002
8.78/7.15	c cleaning 16002 clauses out of 32046 with flag 1512897/143000
9.63/7.98	c cleaning 17015 clauses out of 34047 with flag 1715064/161003
10.33/8.68	c cleaning 17981 clauses out of 36030 with flag 1915719/180001
11.12/9.45	c cleaning 19013 clauses out of 38048 with flag 2138594/200000
12.62/10.90	c cleaning 20007 clauses out of 40035 with flag 2427619/221000
13.92/12.26	c cleaning 21001 clauses out of 42029 with flag 2759996/243001
15.02/13.30	c cleaning 21993 clauses out of 44030 with flag 3026826/266003
16.42/14.72	c cleaning 22989 clauses out of 46036 with flag 3319943/290002
17.92/16.26	c cleaning 24002 clauses out of 48047 with flag 3646121/315002
19.11/17.47	c cleaning 24996 clauses out of 50044 with flag 3912794/341001
20.91/19.21	c cleaning 26002 clauses out of 52049 with flag 4251904/368002
22.82/21.13	c cleaning 27001 clauses out of 54047 with flag 4633504/396002
25.20/23.57	c cleaning 28001 clauses out of 56045 with flag 5042533/425001
27.49/25.83	c cleaning 29002 clauses out of 58044 with flag 5458104/455001
30.09/28.43	c cleaning 29997 clauses out of 60041 with flag 5878439/486000
32.70/31.08	c cleaning 30998 clauses out of 62046 with flag 6281209/518002
35.48/33.83	c cleaning 32000 clauses out of 64046 with flag 6711402/551000
38.79/37.15	c cleaning 32997 clauses out of 66047 with flag 7177214/585001
41.98/40.39	c cleaning 33997 clauses out of 68049 with flag 7625016/620000
45.98/44.33	c cleaning 35001 clauses out of 70052 with flag 8130121/656000
49.87/48.24	c cleaning 35998 clauses out of 72051 with flag 8608523/693000
54.06/52.49	c cleaning 36997 clauses out of 74054 with flag 9107168/731001
56.96/55.39	c cleaning 38016 clauses out of 76056 with flag 9538074/770000
59.77/58.11	c cleaning 38997 clauses out of 78040 with flag 9983092/810000
63.05/61.46	c cleaning 40006 clauses out of 80043 with flag 10464713/851000
65.25/63.69	c cleaning 41007 clauses out of 82040 with flag 10880789/893003
69.05/67.43	c cleaning 42008 clauses out of 84031 with flag 11366669/936001
73.04/71.43	c cleaning 43002 clauses out of 86024 with flag 11841192/980002
76.06/74.46	c cleaning 43993 clauses out of 88021 with flag 12256211/1025001
78.96/77.38	c cleaning 45003 clauses out of 90027 with flag 12685591/1071000
81.77/80.17	c cleaning 46004 clauses out of 92025 with flag 13134275/1118001
85.76/84.14	c cleaning 46996 clauses out of 94021 with flag 13618415/1166001
89.04/87.44	c cleaning 47993 clauses out of 96025 with flag 14152844/1215001
94.05/92.45	c cleaning 48990 clauses out of 98032 with flag 14719986/1265001
97.34/95.71	c cleaning 49992 clauses out of 100042 with flag 15229940/1316001
100.75/99.13	c cleaning 51012 clauses out of 102050 with flag 15739324/1368001
104.64/103.01	c cleaning 52005 clauses out of 104038 with flag 16262012/1421001
109.35/107.72	c cleaning 53009 clauses out of 106033 with flag 16808713/1475001
113.14/111.56	c cleaning 53997 clauses out of 108023 with flag 17353698/1530000
117.33/115.72	c cleaning 54995 clauses out of 110027 with flag 17904309/1586001
121.74/120.18	c cleaning 56002 clauses out of 112031 with flag 18455457/1643000
126.75/125.14	c cleaning 57005 clauses out of 114029 with flag 19055519/1701000
132.83/131.22	c cleaning 58004 clauses out of 116025 with flag 19722151/1760001
139.02/137.40	c cleaning 59000 clauses out of 118021 with flag 20559987/1820001
146.41/144.85	c cleaning 59996 clauses out of 120022 with flag 21378418/1881002
153.42/151.84	c cleaning 61005 clauses out of 122025 with flag 22151823/1943001
160.61/159.02	c cleaning 61999 clauses out of 124019 with flag 22974081/2006000
165.39/163.89	c cleaning 62999 clauses out of 126020 with flag 23636853/2070000
171.10/169.51	c cleaning 64003 clauses out of 128024 with flag 24318251/2135003
176.20/174.66	c cleaning 65002 clauses out of 130019 with flag 24950225/2201001
181.09/179.56	c cleaning 65995 clauses out of 132017 with flag 25590900/2268001
186.17/184.66	c cleaning 67005 clauses out of 134022 with flag 26240772/2336001
192.07/190.52	c cleaning 67996 clauses out of 136016 with flag 26912843/2405000
198.57/197.07	c cleaning 68999 clauses out of 138020 with flag 27661849/2475000
204.56/203.08	c cleaning 70002 clauses out of 140022 with flag 28363319/2546001
215.34/213.81	c cleaning 71005 clauses out of 142019 with flag 29163196/2618000
222.02/220.58	c cleaning 71992 clauses out of 144014 with flag 29985176/2691000
234.61/233.14	c cleaning 72998 clauses out of 146022 with flag 30778906/2765000
241.41/239.98	c cleaning 74008 clauses out of 148024 with flag 31520696/2840000
249.30/247.80	c cleaning 74997 clauses out of 150017 with flag 32248084/2916001
256.68/255.26	c cleaning 75993 clauses out of 152019 with flag 33035998/2993000
264.18/262.76	c cleaning 76990 clauses out of 154027 with flag 33813885/3071001
272.66/271.28	c cleaning 78012 clauses out of 156036 with flag 34625317/3150000
280.47/279.02	c cleaning 78995 clauses out of 158026 with flag 35432403/3230002
288.56/287.13	c cleaning 80002 clauses out of 160029 with flag 36251547/3311000
297.23/295.84	c cleaning 81000 clauses out of 162027 with flag 37061824/3393000
305.42/304.07	c cleaning 82009 clauses out of 164029 with flag 37920964/3476002
314.41/313.07	c cleaning 82998 clauses out of 166018 with flag 38769020/3560000
325.57/324.26	c cleaning 84004 clauses out of 168020 with flag 39695600/3645000
336.07/334.73	c cleaning 85003 clauses out of 170016 with flag 40615970/3731000
345.06/343.74	c cleaning 85996 clauses out of 172013 with flag 41469203/3818000
354.14/352.89	c cleaning 87003 clauses out of 174018 with flag 42379680/3906001
363.35/362.12	c cleaning 87999 clauses out of 176014 with flag 43270310/3995000
372.52/371.39	c cleaning 88985 clauses out of 178016 with flag 44204070/4085001
381.70/380.54	c cleaning 90008 clauses out of 180031 with flag 45142400/4176001
391.78/390.65	c cleaning 91006 clauses out of 182022 with flag 46041183/4268000
403.07/402.00	c cleaning 91997 clauses out of 184017 with flag 47019490/4361001
413.45/412.34	c cleaning 92994 clauses out of 186019 with flag 48008303/4455000
425.25/424.13	c cleaning 94002 clauses out of 188025 with flag 49064897/4550000
435.82/434.77	c cleaning 95007 clauses out of 190023 with flag 50023913/4646000
447.24/446.12	c cleaning 96001 clauses out of 192018 with flag 50967699/4743002
458.71/457.63	c cleaning 96996 clauses out of 194015 with flag 51973084/4841000
468.89/467.86	c cleaning 97991 clauses out of 196020 with flag 52985741/4940001
479.87/478.80	c cleaning 99006 clauses out of 198028 with flag 54004066/5040000
492.27/491.25	c cleaning 100005 clauses out of 200022 with flag 55019599/5141000
504.85/503.87	c cleaning 101007 clauses out of 202017 with flag 56051260/5243000
515.63/514.61	c cleaning 101996 clauses out of 204012 with flag 57100332/5346002
528.36/527.31	c cleaning 102999 clauses out of 206014 with flag 58170193/5450000
539.24/538.24	c cleaning 103991 clauses out of 208016 with flag 59258057/5555001
552.03/551.03	c cleaning 105005 clauses out of 210026 with flag 60387863/5661002
566.70/565.72	c cleaning 106003 clauses out of 212020 with flag 61453389/5768001
580.80/579.80	c cleaning 107003 clauses out of 214016 with flag 62556469/5876000
594.68/593.75	c cleaning 107984 clauses out of 216014 with flag 63633192/5985001
609.07/608.16	c cleaning 108999 clauses out of 218032 with flag 64686801/6095003
623.07/622.19	c cleaning 110011 clauses out of 220032 with flag 65820911/6206002
637.44/636.53	c cleaning 110991 clauses out of 222019 with flag 66945658/6318000
653.19/652.37	c cleaning 112006 clauses out of 224028 with flag 68078736/6431000
668.40/667.54	c cleaning 113002 clauses out of 226025 with flag 69166788/6545003
683.47/682.66	c cleaning 113996 clauses out of 228021 with flag 70289403/6660001
698.55/697.72	c cleaning 115006 clauses out of 230025 with flag 71438323/6776001
714.72/713.90	c cleaning 116003 clauses out of 232018 with flag 72571309/6893000
730.91/730.14	c cleaning 116996 clauses out of 234015 with flag 73768735/7011000
747.17/746.46	c cleaning 118003 clauses out of 236021 with flag 74950955/7130002
764.64/763.97	c cleaning 119000 clauses out of 238017 with flag 76103494/7250001
781.83/781.16	c cleaning 119999 clauses out of 240016 with flag 77287059/7371000
797.19/796.56	c cleaning 121000 clauses out of 242017 with flag 78583348/7493000
815.61/814.90	c cleaning 122000 clauses out of 244019 with flag 79721917/7616002
835.08/834.47	c cleaning 122994 clauses out of 246017 with flag 80893127/7740000
853.44/852.85	c cleaning 124002 clauses out of 248023 with flag 82071001/7865000
871.00/870.46	c cleaning 125008 clauses out of 250021 with flag 83342291/7991000
892.60/891.95	c cleaning 125997 clauses out of 252014 with flag 84655266/8118001
913.56/912.96	c cleaning 127001 clauses out of 254017 with flag 85870131/8246001
933.11/932.50	c cleaning 128003 clauses out of 256016 with flag 87082827/8375001
950.09/949.54	c cleaning 128990 clauses out of 258014 with flag 88299926/8505002
968.57/968.06	c cleaning 130001 clauses out of 260022 with flag 89544131/8636000
989.43/988.96	c cleaning 131000 clauses out of 262023 with flag 90814519/8768002
1009.24/1008.70	c cleaning 131997 clauses out of 264022 with flag 92046669/8901001
1029.70/1029.23	c cleaning 133003 clauses out of 266024 with flag 93330951/9035000
1052.37/1051.97	c cleaning 133993 clauses out of 268022 with flag 94600174/9170001
1072.15/1071.78	c cleaning 134997 clauses out of 270029 with flag 95894037/9306001
1093.61/1093.24	c cleaning 136012 clauses out of 272035 with flag 97224410/9443004
1114.08/1113.78	c cleaning 137005 clauses out of 274021 with flag 98518349/9581002
1136.50/1136.13	c cleaning 137999 clauses out of 276015 with flag 99871246/9720001
1157.01/1156.62	c cleaning 138996 clauses out of 278015 with flag 101184222/9860000
1182.38/1182.04	c cleaning 139995 clauses out of 280019 with flag 102504223/10001000
1206.98/1206.62	c cleaning 141001 clauses out of 282025 with flag 103806054/10143001
1230.35/1230.02	c cleaning 142003 clauses out of 284024 with flag 105201382/10286001
1254.49/1254.27	c cleaning 143001 clauses out of 286020 with flag 106547551/10430000
1278.69/1278.40	c cleaning 143999 clauses out of 288019 with flag 107947815/10575000
1301.65/1301.46	c cleaning 145001 clauses out of 290021 with flag 109310750/10721001
1326.81/1326.64	c cleaning 145992 clauses out of 292020 with flag 110690837/10868001
1353.36/1353.29	c cleaning 147010 clauses out of 294030 with flag 112071892/11016003
1382.61/1382.52	c cleaning 147998 clauses out of 296018 with flag 113434709/11165001
1406.78/1406.75	c cleaning 148998 clauses out of 298020 with flag 114874780/11315001
1431.22/1431.27	c cleaning 149999 clauses out of 300023 with flag 116380185/11466002
1465.17/1465.25	c cleaning 151004 clauses out of 302022 with flag 118018588/11618000
1492.53/1492.69	c cleaning 151997 clauses out of 304018 with flag 119415749/11771000
1520.08/1520.12	c cleaning 152995 clauses out of 306021 with flag 120874514/11925000
1548.52/1548.68	c cleaning 154002 clauses out of 308026 with flag 122309003/12080000
1578.78/1578.97	c cleaning 154992 clauses out of 310024 with flag 123749370/12236000
1608.13/1608.31	c cleaning 156012 clauses out of 312034 with flag 125251717/12393002
1639.48/1639.78	c cleaning 157006 clauses out of 314021 with flag 126775739/12551001
1668.33/1668.61	c cleaning 158000 clauses out of 316014 with flag 128326061/12710000
1699.37/1699.65	c cleaning 158989 clauses out of 318015 with flag 129778520/12870001
1729.62/1729.99	c cleaning 160010 clauses out of 320025 with flag 131233407/13031000
1757.41/1757.71	c cleaning 161002 clauses out of 322015 with flag 132726507/13193000
1788.77/1789.16	c cleaning 161992 clauses out of 324013 with flag 134197555/13356000
1819.80/1820.21	c cleaning 162997 clauses out of 326021 with flag 135707921/13520000
1849.87/1850.39	c cleaning 164006 clauses out of 328025 with flag 137194249/13685001
1879.64/1880.15	c cleaning 165003 clauses out of 330019 with flag 138737252/13851001
1911.86/1912.44	c cleaning 165983 clauses out of 332016 with flag 140343016/14018001
1944.81/1945.44	c cleaning 167003 clauses out of 334032 with flag 141890073/14186000
1976.96/1977.67	c cleaning 168008 clauses out of 336029 with flag 143413022/14355000
2017.36/2018.04	c cleaning 169005 clauses out of 338021 with flag 144946320/14525000
2048.50/2049.25	c cleaning 169998 clauses out of 340016 with flag 146516683/14696000
2083.25/2084.05	c cleaning 171004 clauses out of 342018 with flag 148103290/14868000
2120.86/2121.76	c cleaning 171989 clauses out of 344015 with flag 149656632/15041001
2155.73/2156.60	c cleaning 173002 clauses out of 346025 with flag 151184328/15215000
2187.68/2188.60	c cleaning 174000 clauses out of 348023 with flag 152806076/15390000
2224.03/2225.08	c cleaning 175000 clauses out of 350023 with flag 154377501/15566000
2264.48/2265.58	c cleaning 176005 clauses out of 352023 with flag 155976649/15743000
2304.51/2305.67	c cleaning 177003 clauses out of 354019 with flag 157541620/15921001
2340.66/2341.88	c cleaning 177996 clauses out of 356016 with flag 159256384/16100001
2381.59/2382.81	c cleaning 178998 clauses out of 358019 with flag 160873029/16280000
2412.85/2414.13	c cleaning 180004 clauses out of 360022 with flag 162529758/16461001
2451.22/2452.52	c cleaning 180994 clauses out of 362017 with flag 164370503/16643000
2494.23/2495.66	c cleaning 182002 clauses out of 364023 with flag 166008027/16826000
2531.01/2532.49	c cleaning 182999 clauses out of 366021 with flag 167743509/17010000
2576.33/2577.83	c cleaning 183994 clauses out of 368022 with flag 169367644/17195000
2616.20/2617.79	c cleaning 184999 clauses out of 370029 with flag 171048373/17381001
2661.83/2663.42	c cleaning 186001 clauses out of 372029 with flag 172738493/17568000
2707.55/2709.28	c cleaning 187009 clauses out of 374029 with flag 174389124/17756001
2751.32/2753.06	c cleaning 187994 clauses out of 376020 with flag 176055439/17945001
2792.83/2794.62	c cleaning 189000 clauses out of 378025 with flag 177722257/18135000
2839.14/2841.02	c cleaning 190008 clauses out of 380027 with flag 179399902/18326002
2881.40/2883.34	c cleaning 191002 clauses out of 382017 with flag 181154571/18518000
2926.92/2928.92	c cleaning 192000 clauses out of 384015 with flag 182886303/18711000
2967.97/2970.10	c cleaning 192997 clauses out of 386017 with flag 184653982/18905002
3019.80/3021.94	c cleaning 193997 clauses out of 388018 with flag 186348393/19100000
3064.02/3066.27	c cleaning 195003 clauses out of 390022 with flag 188131051/19296001
3109.53/3111.85	c cleaning 196000 clauses out of 392019 with flag 189898546/19493001
3165.06/3167.45	c cleaning 197007 clauses out of 394021 with flag 191644284/19691003
3212.28/3214.73	c cleaning 197998 clauses out of 396011 with flag 193434637/19890000
3263.79/3266.35	c cleaning 199004 clauses out of 398013 with flag 195179868/20090000
3313.00/3315.62	c cleaning 199993 clauses out of 400010 with flag 196965793/20291001
3364.25/3366.41	c cleaning 201000 clauses out of 402016 with flag 198718771/20493000
3407.55/3409.78	c cleaning 201996 clauses out of 404017 with flag 200532393/20696001
3453.39/3455.63	c cleaning 202996 clauses out of 406020 with flag 202328533/20900000
3497.30/3499.56	c cleaning 204004 clauses out of 408024 with flag 204144403/21105000
3540.44/3542.73	c cleaning 205003 clauses out of 410020 with flag 205928896/21311000
3585.50/3587.83	c cleaning 205999 clauses out of 412018 with flag 207728521/21518001
3600.07/3602.43	c starts		: 61365
3600.07/3602.43	c timeout
3600.07/3602.44	c conflicts		: 21602168
3600.07/3602.44	c decisions		: 33975758
3600.07/3602.44	c propagations		: 654371044
3600.07/3602.44	c inspects		: 54760686108
3600.07/3602.44	c shortcuts		: 0
3600.07/3602.44	c learnt literals	: 0
3600.07/3602.44	c learnt binary clauses	: 0
3600.07/3602.44	c learnt ternary clauses	: 0
3600.07/3602.44	c learnt constraints	: 21602168
3600.07/3602.44	c ignored constraints	: 0
3600.07/3602.44	c root simplifications	: 0
3600.07/3602.44	c removed literals (reason simplification)	: 0
3600.07/3602.44	c reason swapping (by a shorter reason)	: 0
3600.07/3602.44	c Calls to reduceDB	: 203
3600.07/3602.44	c Number of update (reduction) of LBD	: 7259211
3600.07/3602.44	c Imported unit clauses	: 0
3600.07/3602.44	c No decision after first conflict	: false
3600.07/3602.44	c number of reductions to clauses (during analyze)	: 0
3600.07/3602.44	c number of learned constraints concerned by reduction	: 0
3600.07/3602.44	c number of learning phase by resolution	: 0
3600.07/3602.44	c number of learning phase by cutting planes	: 0
3600.07/3602.44	c number of rounding to 1 operations	: 0
3600.07/3602.44	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.07/3602.44	c number of reductions of the coefficients by power 2 	: 0
3600.07/3602.44	c number of right shift for reduction by power 2 	: 0
3600.07/3602.44	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.07/3602.44	c number of ending skipping 	: 0
3600.07/3602.44	c number of internal skipping 	: 0
3600.07/3602.44	c number of derivation steps 	: 0
3600.07/3602.44	c number of skipped derivation steps 	: 0
3600.07/3602.44	c number of remaining unassigned 	: 0
3600.07/3602.44	c number of remaining assigned 	: 0
3600.07/3602.44	c number of falsified literals weakened from reason	: 0
3600.07/3602.44	c number of falsified literals weakened from conflict	: 0
3600.07/3602.44	c time for arithmetic operations	: 0
3600.07/3602.44	c minimum degree of deleted constraints	: null
3600.07/3602.44	c maximum degree of deleted constraints	: null
3600.07/3602.44	c number of deleted constraints	: 0
3600.07/3602.44	c speed (assignments/second)	: 181664.57084287875
3600.07/3602.44	c non guided choices	: 6245
3600.26/3602.51	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 290186
3600.26/3602.51	s UNKNOWN
3600.26/3602.51	c Total wall clock time (in seconds): 3602.218

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453444-1721458229/watcher-4453444-1721458229 -o /tmp/evaluation-result-4453444-1721458229/solver-4453444-1721458229 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721450898-1058422 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4453444-1721458229.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=1063635, runsolver pid=1063632

[startup+0.100558 s]*
/proc/loadavg: 4.09 4.19 4.18 7/317 1063653
/proc/meminfo: memFree=120750076/131655788 swapFree=131071996/131071996
[pid=1063635] ppid=1063632 vsize=18975048 memory=56284 CPUtime=0.13 cores=5,7
/proc/1063635/stat : 1063635 (java) S 1063632 1063635 1058409 0 -1 1077936128 6509 0 0 0 11 2 0 0 20 0 18 0 197978971 19430449152 14071 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
/proc/1063635/statm: 4743762 14071 5690 1 0 550855 0
[pid=1063635/tid=1063637] ppid=1063632 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/1063635/task/1063637/stat : 1063637 (java) R 1063632 1063635 1058409 0 -1 4194368 5410 0 0 0 6 2 0 0 20 0 18 0 197978972 19430449152 14071 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
[pid=1063635/tid=1063646] ppid=1063632 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/1063635/task/1063646/stat : 1063646 (Finalizer) S 1063632 1063635 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 197978976 19430449152 14071 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
[pid=1063635/tid=1063653] ppid=1063632 vsize=18975048 memory=15255952359842124 CPUtime=0 cores=5,7
/proc/1063635/task/1063653/stat : 1063653 (Common-Cleaner) S 1063632 1063635 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 197978977 19430449152 14071 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56284 KiB

[startup+0.220141 s]*
/proc/loadavg: 4.09 4.19 4.18 5/317 1063653
/proc/meminfo: memFree=120742900/131655788 swapFree=131071996/131071996
[pid=1063635] ppid=1063632 vsize=18975048 memory=63216 CPUtime=0.31 cores=5,7
/proc/1063635/stat : 1063635 (java) S 1063632 1063635 1058409 0 -1 1077936128 7188 0 0 0 28 3 0 0 20 0 18 0 197978971 19430449152 15804 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
/proc/1063635/statm: 4743762 15804 5698 1 0 551397 0
[pid=1063635/tid=1063637] ppid=1063632 vsize=18975048 memory=6876556183782621315 CPUtime=0.19 cores=5,7
/proc/1063635/task/1063637/stat : 1063637 (java) R 1063632 1063635 1058409 0 -1 1077936192 5715 0 0 0 17 2 0 0 20 0 18 0 197978972 19430449152 15804 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
[pid=1063635/tid=1063646] ppid=1063632 vsize=18975048 memory=3711 CPUtime=0 cores=5,7
/proc/1063635/task/1063646/stat : 1063646 (Finalizer) S 1063632 1063635 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 197978976 19430449152 15804 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
[pid=1063635/tid=1063653] ppid=1063632 vsize=18975048 memory=13572595761026746 CPUtime=0 cores=5,7
/proc/1063635/task/1063653/stat : 1063653 (Common-Cleaner) S 1063632 1063635 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 197978977 19430449152 15804 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63216 KiB

[startup+0.313572 s]*
/proc/loadavg: 4.09 4.19 4.18 7/317 1063653
/proc/meminfo: memFree=120741948/131655788 swapFree=131071996/131071996
[pid=1063635] ppid=1063632 vsize=18975048 memory=64072 CPUtime=0.46 cores=5,7
/proc/1063635/stat : 1063635 (java) S 1063632 1063635 1058409 0 -1 1077936128 7431 0 0 0 42 4 0 0 20 0 18 0 197978971 19430449152 16018 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
/proc/1063635/statm: 4743762 16018 5714 1 0 551570 0
[pid=1063635/tid=1063637] ppid=1063632 vsize=18975048 memory=-7595423554096818273 CPUtime=0.26 cores=5,7
/proc/1063635/task/1063637/stat : 1063637 (java) R 1063632 1063635 1058409 0 -1 1077936192 5865 0 0 0 24 2 0 0 20 0 18 0 197978972 19430449152 16018 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
[pid=1063635/tid=1063646] ppid=1063632 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/1063635/task/1063646/stat : 1063646 (Finalizer) S 1063632 1063635 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 197978976 19430449152 16018 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
[pid=1063635/tid=1063653] ppid=1063632 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/1063635/task/1063653/stat : 1063653 (Common-Cleaner) S 1063632 1063635 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 197978977 19430449152 16018 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64072 KiB

[startup+0.70054 s]
/proc/loadavg: 4.09 4.19 4.18 6/318 1063654
/proc/meminfo: memFree=120735896/131655788 swapFree=131071996/131071996
[pid=1063635] ppid=1063632 vsize=19041612 memory=75524 CPUtime=1.17 cores=5,7
/proc/1063635/stat : 1063635 (java) S 1063632 1063635 1058409 0 -1 1077936128 11290 0 0 0 112 5 0 0 20 0 19 0 197978971 19498610688 18881 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
/proc/1063635/statm: 4760403 18881 5846 1 0 554061 0
[pid=1063635/tid=1063637] ppid=1063632 vsize=19041612 memory=5616 CPUtime=0.61 cores=5,7
/proc/1063635/task/1063637/stat : 1063637 (java) R 1063632 1063635 1058409 0 -1 4194368 5927 0 0 0 59 2 0 0 20 0 19 0 197978972 19498610688 18881 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
[pid=1063635/tid=1063646] ppid=1063632 vsize=19041612 memory=11884 CPUtime=0 cores=5,7
/proc/1063635/task/1063646/stat : 1063646 (Finalizer) S 1063632 1063635 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 197978976 19498610688 18881 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
[pid=1063635/tid=1063653] ppid=1063632 vsize=19041612 memory=164 CPUtime=0 cores=5,7
/proc/1063635/task/1063653/stat : 1063653 (Common-Cleaner) S 1063632 1063635 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 197978977 19498610688 18881 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
[pid=1063635/tid=1063654] ppid=1063632 vsize=19041612 memory=117636 CPUtime=0 cores=5,7
/proc/1063635/task/1063654/stat : 1063654 (Timer-0) S 1063632 1063635 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197979007 19498610688 18881 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 75524 KiB

[startup+1.50054 s]
/proc/loadavg: 4.09 4.19 4.18 7/318 1063654
/proc/meminfo: memFree=120722844/131655788 swapFree=131071996/131071996
[pid=1063635] ppid=1063632 vsize=19041612 memory=92080 CPUtime=2.73 cores=5,7
/proc/1063635/stat : 1063635 (java) S 1063632 1063635 1058409 0 -1 1077936128 17043 0 0 0 267 6 0 0 20 0 19 0 197978971 19498610688 23020 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
/proc/1063635/statm: 4760403 23020 5862 1 0 555354 0
[pid=1063635/tid=1063637] ppid=1063632 vsize=19041612 memory=11884 CPUtime=1.38 cores=5,7
/proc/1063635/task/1063637/stat : 1063637 (java) R 1063632 1063635 1058409 0 -1 4194368 6344 0 0 0 135 3 0 0 20 0 19 0 197978972 19498610688 23020 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
[pid=1063635/tid=1063646] ppid=1063632 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1063635/task/1063646/stat : 1063646 (Finalizer) S 1063632 1063635 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 197978976 19498610688 23020 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
[pid=1063635/tid=1063653] ppid=1063632 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1063635/task/1063653/stat : 1063653 (Common-Cleaner) S 1063632 1063635 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 197978977 19498610688 23020 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
[pid=1063635/tid=1063654] ppid=1063632 vsize=19041612 memory=280025291203856 CPUtime=0 cores=5,7
/proc/1063635/task/1063654/stat : 1063654 (Timer-0) S 1063632 1063635 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197979007 19498610688 23020 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
Current children cumulated CPU time: 2.73 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 92080 KiB

[startup+3.10654 s]
/proc/loadavg: 4.24 4.22 4.19 6/318 1063654
/proc/meminfo: memFree=120695572/131655788 swapFree=131071996/131071996
[pid=1063635] ppid=1063632 vsize=19041612 memory=110732 CPUtime=4.7 cores=5,7
/proc/1063635/stat : 1063635 (java) S 1063632 1063635 1058409 0 -1 1077936128 17802 0 0 0 463 7 0 0 20 0 19 0 197978971 19498610688 27683 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
/proc/1063635/statm: 4760403 27683 5862 1 0 555356 0
[pid=1063635/tid=1063637] ppid=1063632 vsize=19041612 memory=0 CPUtime=2.97 cores=5,7
/proc/1063635/task/1063637/stat : 1063637 (java) R 1063632 1063635 1058409 0 -1 4194368 6630 0 0 0 294 3 0 0 20 0 19 0 197978972 19498610688 27683 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
[pid=1063635/tid=1063646] ppid=1063632 vsize=19041612 memory=11884 CPUtime=0 cores=5,7
/proc/1063635/task/1063646/stat : 1063646 (Finalizer) S 1063632 1063635 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 197978976 19498610688 27683 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
[pid=1063635/tid=1063653] ppid=1063632 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1063635/task/1063653/stat : 1063653 (Common-Cleaner) S 1063632 1063635 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 197978977 19498610688 27683 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
[pid=1063635/tid=1063654] ppid=1063632 vsize=19041612 memory=11596 CPUtime=0 cores=5,7
/proc/1063635/task/1063654/stat : 1063654 (Timer-0) S 1063632 1063635 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197979007 19498610688 27683 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
Current children cumulated CPU time: 4.7 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 110732 KiB

[startup+6.30038 s]
/proc/loadavg: 4.24 4.22 4.19 5/318 1063656
/proc/meminfo: memFree=120678620/131655788 swapFree=131071996/131071996
[pid=1063635] ppid=1063632 vsize=19041612 memory=129328 CPUtime=7.9 cores=5,7
/proc/1063635/stat : 1063635 (java) S 1063632 1063635 1058409 0 -1 1077936128 18371 0 0 0 782 8 0 0 20 0 19 0 197978971 19498610688 32332 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
/proc/1063635/statm: 4760403 32332 5875 1 0 555374 0
[pid=1063635/tid=1063637] ppid=1063632 vsize=19041612 memory=11884 CPUtime=6.15 cores=5,7
/proc/1063635/task/1063637/stat : 1063637 (java) R 1063632 1063635 1058409 0 -1 4194368 6992 0 0 0 611 4 0 0 20 0 19 0 197978972 19498610688 32332 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
[pid=1063635/tid=1063646] ppid=1063632 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1063635/task/1063646/stat : 1063646 (Finalizer) S 1063632 1063635 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 197978976 19498610688 32332 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
[pid=1063635/tid=1063653] ppid=1063632 vsize=19041612 memory=92080 CPUtime=0 cores=5,7
/proc/1063635/task/1063653/stat : 1063653 (Common-Cleaner) S 1063632 1063635 1058409 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 197978977 19498610688 32332 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
[pid=1063635/tid=1063654] ppid=1063632 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/1063635/task/1063654/stat : 1063654 (Timer-0) S 1063632 1063635 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 197979007 19498610688 32332 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
Current children cumulated CPU time: 7.9 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 129328 KiB

[startup+12.7004 s]
/proc/loadavg: 4.20 4.21 4.18 5/319 1063657
/proc/meminfo: memFree=120629044/131655788 swapFree=131071996/131071996
[pid=1063635] ppid=1063632 vsize=19108176 memory=177012 CPUtime=14.42 cores=5,7
/proc/1063635/stat : 1063635 (java) S 1063632 1063635 1058409 0 -1 1077936128 22143 0 0 0 1432 10 0 0 20 0 20 0 197978971 19566772224 44253 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
/proc/1063635/statm: 4777044 44253 5923 1 0 555663 0
[pid=1063635/tid=1063637] ppid=1063632 vsize=19108176 memory=0 CPUtime=12.5 cores=5,7
/proc/1063635/task/1063637/stat : 1063637 (java) R 1063632 1063635 1058409 0 -1 4194368 7744 0 0 0 1245 5 0 0 20 0 20 0 197978972 19566772224 44253 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
[pid=1063635/tid=1063646] ppid=1063632 vsize=19108176 memory=-7595423554096818273 CPUtime=0 cores=5,7
/proc/1063635/task/1063646/stat : 1063646 (Finalizer) S 1063632 1063635 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197978976 19566772224 44253 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
[pid=1063635/tid=1063653] ppid=1063632 vsize=19108176 memory=2220 CPUtime=0 cores=5,7
/proc/1063635/task/1063653/stat : 1063653 (Common-Cleaner) S 1063632 1063635 1058409 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 197978977 19566772224 44253 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
[pid=1063635/tid=1063654] ppid=1063632 vsize=19108176 memory=11596 CPUtime=0 cores=5,7
/proc/1063635/task/1063654/stat : 1063654 (Timer-0) S 1063632 1063635 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197979007 19566772224 44253 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
Current children cumulated CPU time: 14.42 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 177012 KiB

[startup+25.5005 s]
/proc/loadavg: 4.17 4.20 4.18 5/319 1063658
/proc/meminfo: memFree=120571488/131655788 swapFree=131071996/131071996
[pid=1063635] ppid=1063632 vsize=19108176 memory=185364 CPUtime=27.2 cores=5,7
/proc/1063635/stat : 1063635 (java) S 1063632 1063635 1058409 0 -1 1077936128 24600 0 0 0 2708 12 0 0 20 0 20 0 197978971 19566772224 46341 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
/proc/1063635/statm: 4777044 46341 5923 1 0 555663 0
[pid=1063635/tid=1063637] ppid=1063632 vsize=19108176 memory=11596 CPUtime=25.21 cores=5,7
/proc/1063635/task/1063637/stat : 1063637 (java) R 1063632 1063635 1058409 0 -1 4194368 8703 0 0 0 2515 6 0 0 20 0 20 0 197978972 19566772224 46341 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
[pid=1063635/tid=1063646] ppid=1063632 vsize=19108176 memory=11596 CPUtime=0 cores=5,7
/proc/1063635/task/1063646/stat : 1063646 (Finalizer) S 1063632 1063635 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197978976 19566772224 46341 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
[pid=1063635/tid=1063653] ppid=1063632 vsize=19108176 memory=131376 CPUtime=0 cores=5,7
/proc/1063635/task/1063653/stat : 1063653 (Common-Cleaner) S 1063632 1063635 1058409 0 -1 1077936192 53 0 0 0 0 0 0 0 20 0 20 0 197978977 19566772224 46341 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
[pid=1063635/tid=1063654] ppid=1063632 vsize=19108176 memory=280025291150640 CPUtime=0 cores=5,7
/proc/1063635/task/1063654/stat : 1063654 (Timer-0) S 1063632 1063635 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197979007 19566772224 46341 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
Current children cumulated CPU time: 27.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 185364 KiB

[startup+51.1131 s]
/proc/loadavg: 4.19 4.20 4.18 5/319 1063663
/proc/meminfo: memFree=120472360/131655788 swapFree=131071996/131071996
[pid=1063635] ppid=1063632 vsize=19108176 memory=212132 CPUtime=52.77 cores=5,7
/proc/1063635/stat : 1063635 (java) S 1063632 1063635 1058409 0 -1 1077936128 27133 0 0 0 5263 14 0 0 20 0 20 0 197978971 19566772224 53033 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
/proc/1063635/statm: 4777044 53033 5923 1 0 555663 0
[pid=1063635/tid=1063637] ppid=1063632 vsize=19108176 memory=212132 CPUtime=50.65 cores=5,7
/proc/1063635/task/1063637/stat : 1063637 (java) R 1063632 1063635 1058409 0 -1 4194368 9900 0 0 0 5059 6 0 0 20 0 20 0 197978972 19566772224 53033 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
[pid=1063635/tid=1063646] ppid=1063632 vsize=19108176 memory=280025291900288 CPUtime=0 cores=5,7
/proc/1063635/task/1063646/stat : 1063646 (Finalizer) S 1063632 1063635 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197978976 19566772224 53033 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0

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

[startup+3282.3 s]
/proc/loadavg: 4.38 4.35 4.25 5/319 1065487
/proc/meminfo: memFree=118289640/131655788 swapFree=131071996/131071996
[pid=1063635] ppid=1063632 vsize=19108176 memory=1471360 CPUtime=3279.75 cores=5,7
/proc/1063635/stat : 1063635 (java) S 1063632 1063635 1058409 0 -1 1077936128 96742 0 0 0 327765 210 0 0 20 0 20 0 197978971 19566772224 367840 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
/proc/1063635/statm: 4777044 367840 5939 1 0 556391 0
[pid=1063635/tid=1063637] ppid=1063632 vsize=19108176 memory=1471360 CPUtime=3266.84 cores=5,7
/proc/1063635/task/1063637/stat : 1063637 (java) R 1063632 1063635 1058409 0 -1 4194368 36973 0 0 0 326668 16 0 0 20 0 20 0 197978972 19566772224 367840 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
[pid=1063635/tid=1063646] ppid=1063632 vsize=19108176 memory=11884 CPUtime=0 cores=5,7
/proc/1063635/task/1063646/stat : 1063646 (Finalizer) S 1063632 1063635 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197978976 19566772224 367840 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
[pid=1063635/tid=1063653] ppid=1063632 vsize=19108176 memory=26108 CPUtime=0 cores=5,7
/proc/1063635/task/1063653/stat : 1063653 (Common-Cleaner) S 1063632 1063635 1058409 0 -1 1077936192 2472 0 0 0 0 0 0 0 20 0 20 0 197978977 19566772224 367840 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
[pid=1063635/tid=1063654] ppid=1063632 vsize=19108176 memory=1471356 CPUtime=0 cores=5,7
/proc/1063635/task/1063654/stat : 1063654 (Timer-0) S 1063632 1063635 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197979007 19566772224 367840 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
Current children cumulated CPU time: 3279.75 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1471360 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.30 4.24 5/317 1065498
/proc/meminfo: memFree=118289216/131655788 swapFree=131071996/131071996
[pid=1063635] ppid=1063632 vsize=19108176 memory=1471392 CPUtime=3339.72 cores=5,7
/proc/1063635/stat : 1063635 (java) S 1063632 1063635 1058409 0 -1 1077936128 97846 0 0 0 333757 215 0 0 20 0 20 0 197978971 19566772224 367848 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
/proc/1063635/statm: 4777044 367848 5939 1 0 556410 0
[pid=1063635/tid=1063637] ppid=1063632 vsize=19108176 memory=11884 CPUtime=3326.7 cores=5,7
/proc/1063635/task/1063637/stat : 1063637 (java) R 1063632 1063635 1058409 0 -1 4194368 37551 0 0 0 332653 17 0 0 20 0 20 0 197978972 19566772224 367848 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
[pid=1063635/tid=1063646] ppid=1063632 vsize=19108176 memory=11596 CPUtime=0 cores=5,7
/proc/1063635/task/1063646/stat : 1063646 (Finalizer) S 1063632 1063635 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197978976 19566772224 367848 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
[pid=1063635/tid=1063653] ppid=1063632 vsize=19108176 memory=39916 CPUtime=0 cores=5,7
/proc/1063635/task/1063653/stat : 1063653 (Common-Cleaner) S 1063632 1063635 1058409 0 -1 1077936192 2599 0 0 0 0 0 0 0 20 0 20 0 197978977 19566772224 367848 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
[pid=1063635/tid=1063654] ppid=1063632 vsize=19108176 memory=1471392 CPUtime=0 cores=5,7
/proc/1063635/task/1063654/stat : 1063654 (Timer-0) S 1063632 1063635 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197979007 19566772224 367848 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
Current children cumulated CPU time: 3339.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1471392 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.26 4.23 5/317 1065508
/proc/meminfo: memFree=118217408/131655788 swapFree=131071996/131071996
[pid=1063635] ppid=1063632 vsize=19108176 memory=1542836 CPUtime=3400.16 cores=5,7
/proc/1063635/stat : 1063635 (java) S 1063632 1063635 1058409 0 -1 1077936128 106505 0 0 0 339795 221 0 0 20 0 20 0 197978971 19566772224 385709 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
/proc/1063635/statm: 4777044 385709 5939 1 0 557885 0
[pid=1063635/tid=1063637] ppid=1063632 vsize=19108176 memory=1542836 CPUtime=3386.23 cores=5,7
/proc/1063635/task/1063637/stat : 1063637 (java) R 1063632 1063635 1058409 0 -1 4194368 40340 0 0 0 338606 17 0 0 20 0 20 0 197978972 19566772224 385709 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
[pid=1063635/tid=1063646] ppid=1063632 vsize=19108176 memory=1471392 CPUtime=0 cores=5,7
/proc/1063635/task/1063646/stat : 1063646 (Finalizer) S 1063632 1063635 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197978976 19566772224 385709 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
[pid=1063635/tid=1063653] ppid=1063632 vsize=19108176 memory=50296 CPUtime=0 cores=5,7
/proc/1063635/task/1063653/stat : 1063653 (Common-Cleaner) S 1063632 1063635 1058409 0 -1 1077936192 2599 0 0 0 0 0 0 0 20 0 20 0 197978977 19566772224 385709 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
[pid=1063635/tid=1063654] ppid=1063632 vsize=19108176 memory=1471384 CPUtime=0 cores=5,7
/proc/1063635/task/1063654/stat : 1063654 (Timer-0) S 1063632 1063635 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197979007 19566772224 385709 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
Current children cumulated CPU time: 3400.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1542836 KiB

[startup+3462.3 s]
/proc/loadavg: 3.70 4.13 4.18 4/291 1065551
/proc/meminfo: memFree=119236184/131655788 swapFree=131071996/131071996
[pid=1063635] ppid=1063632 vsize=19108176 memory=1583820 CPUtime=3460.08 cores=5,7
/proc/1063635/stat : 1063635 (java) S 1063632 1063635 1058409 0 -1 1077936128 108231 0 0 0 345783 225 0 0 20 0 20 0 197978971 19566772224 395955 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
/proc/1063635/statm: 4777044 395955 5939 1 0 557885 0
[pid=1063635/tid=1063637] ppid=1063632 vsize=19108176 memory=50296 CPUtime=3445.92 cores=5,7
/proc/1063635/task/1063637/stat : 1063637 (java) R 1063632 1063635 1058409 0 -1 4194368 40999 0 0 0 344574 18 0 0 20 0 20 0 197978972 19566772224 395955 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
[pid=1063635/tid=1063646] ppid=1063632 vsize=19108176 memory=1471384 CPUtime=0 cores=5,7
/proc/1063635/task/1063646/stat : 1063646 (Finalizer) S 1063632 1063635 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197978976 19566772224 395955 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
[pid=1063635/tid=1063653] ppid=1063632 vsize=19108176 memory=1583820 CPUtime=0 cores=5,7
/proc/1063635/task/1063653/stat : 1063653 (Common-Cleaner) S 1063632 1063635 1058409 0 -1 1077936192 2712 0 0 0 0 0 0 0 20 0 20 0 197978977 19566772224 395955 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
[pid=1063635/tid=1063654] ppid=1063632 vsize=19108176 memory=1583820 CPUtime=0 cores=5,7
/proc/1063635/task/1063654/stat : 1063654 (Timer-0) S 1063632 1063635 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197979007 19566772224 395955 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
Current children cumulated CPU time: 3460.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1583820 KiB

[startup+3522.3 s]
/proc/loadavg: 3.22 3.92 4.11 3/265 1065596
/proc/meminfo: memFree=121278876/131655788 swapFree=131071996/131071996
[pid=1063635] ppid=1063632 vsize=19108176 memory=1587992 CPUtime=3520.06 cores=5,7
/proc/1063635/stat : 1063635 (java) S 1063632 1063635 1058409 0 -1 1077936128 108828 0 0 0 351778 228 0 0 20 0 20 0 197978971 19566772224 396998 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
/proc/1063635/statm: 4777044 396998 5939 1 0 557885 0
[pid=1063635/tid=1063637] ppid=1063632 vsize=19108176 memory=1583820 CPUtime=3505.7 cores=5,7
/proc/1063635/task/1063637/stat : 1063637 (java) R 1063632 1063635 1058409 0 -1 4194368 41351 0 0 0 350552 18 0 0 20 0 20 0 197978972 19566772224 396998 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
[pid=1063635/tid=1063646] ppid=1063632 vsize=19108176 memory=11884 CPUtime=0 cores=5,7
/proc/1063635/task/1063646/stat : 1063646 (Finalizer) S 1063632 1063635 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197978976 19566772224 396998 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
[pid=1063635/tid=1063653] ppid=1063632 vsize=19108176 memory=11596 CPUtime=0 cores=5,7
/proc/1063635/task/1063653/stat : 1063653 (Common-Cleaner) S 1063632 1063635 1058409 0 -1 1077936192 2712 0 0 0 0 0 0 0 20 0 20 0 197978977 19566772224 396998 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
[pid=1063635/tid=1063654] ppid=1063632 vsize=19108176 memory=1587992 CPUtime=0 cores=5,7
/proc/1063635/task/1063654/stat : 1063654 (Timer-0) S 1063632 1063635 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197979007 19566772224 396998 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
Current children cumulated CPU time: 3520.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1587992 KiB

[startup+3582.3 s]
/proc/loadavg: 2.56 3.60 3.98 3/268 1065612
/proc/meminfo: memFree=121274700/131655788 swapFree=131071996/131071996
[pid=1063635] ppid=1063632 vsize=19108176 memory=1588000 CPUtime=3580.01 cores=5,7
/proc/1063635/stat : 1063635 (java) S 1063632 1063635 1058409 0 -1 1077936128 110031 0 0 0 357770 231 0 0 20 0 20 0 197978971 19566772224 397000 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
/proc/1063635/statm: 4777044 397000 5939 1 0 557885 0
[pid=1063635/tid=1063637] ppid=1063632 vsize=19108176 memory=32868 CPUtime=3565.52 cores=5,7
/proc/1063635/task/1063637/stat : 1063637 (java) R 1063632 1063635 1058409 0 -1 4194368 41560 0 0 0 356534 18 0 0 20 0 20 0 197978972 19566772224 397000 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
[pid=1063635/tid=1063646] ppid=1063632 vsize=19108176 memory=1588000 CPUtime=0 cores=5,7
/proc/1063635/task/1063646/stat : 1063646 (Finalizer) S 1063632 1063635 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197978976 19566772224 397000 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
[pid=1063635/tid=1063653] ppid=1063632 vsize=19108176 memory=-7592359703270285944 CPUtime=0 cores=5,7
/proc/1063635/task/1063653/stat : 1063653 (Common-Cleaner) S 1063632 1063635 1058409 0 -1 1077936192 2712 0 0 0 0 0 0 0 20 0 20 0 197978977 19566772224 397000 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
[pid=1063635/tid=1063654] ppid=1063632 vsize=19108176 memory=4980 CPUtime=0 cores=5,7
/proc/1063635/task/1063654/stat : 1063654 (Timer-0) S 1063632 1063635 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197979007 19566772224 397000 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
Current children cumulated CPU time: 3580.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1588000 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3602.4 s]
/proc/loadavg: 2.40 3.49 3.94 3/268 1065615
/proc/meminfo: memFree=121274652/131655788 swapFree=131071996/131071996
[pid=1063635] ppid=1063632 vsize=19108176 memory=1588000 CPUtime=3600.07 cores=5,7
/proc/1063635/stat : 1063635 (java) S 1063632 1063635 1058409 0 -1 1077936128 110353 0 0 0 359776 231 0 0 20 0 20 0 197978971 19566772224 397000 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
/proc/1063635/statm: 4777044 397000 5939 1 0 557885 0
[pid=1063635/tid=1063637] ppid=1063632 vsize=19108176 memory=1588000 CPUtime=3585.57 cores=5,7
/proc/1063635/task/1063637/stat : 1063637 (java) R 1063632 1063635 1058409 0 -1 4194368 41873 0 0 0 358539 18 0 0 20 0 20 0 197978972 19566772224 397000 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
[pid=1063635/tid=1063646] ppid=1063632 vsize=19108176 memory=-7595423554096818273 CPUtime=0 cores=5,7
/proc/1063635/task/1063646/stat : 1063646 (Finalizer) S 1063632 1063635 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197978976 19566772224 397000 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
[pid=1063635/tid=1063653] ppid=1063632 vsize=19108176 memory=40472 CPUtime=0 cores=5,7
/proc/1063635/task/1063653/stat : 1063653 (Common-Cleaner) S 1063632 1063635 1058409 0 -1 1077936192 2712 0 0 0 0 0 0 0 20 0 20 0 197978977 19566772224 397000 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
[pid=1063635/tid=1063654] ppid=1063632 vsize=19108176 memory=29060 CPUtime=0 cores=5,7
/proc/1063635/task/1063654/stat : 1063654 (Timer-0) S 1063632 1063635 1058409 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197979007 19566772224 397000 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1588000 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.97 s, system=2.33966 s

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

[startup+3602.5 s]
/proc/loadavg: 2.40 3.49 3.94 3/268 1065615
/proc/meminfo: memFree=121274652/131655788 swapFree=131071996/131071996
[pid=1063635] ppid=1063632 vsize=19307868 memory=1588636 CPUtime=3600.26 cores=5,7
/proc/1063635/stat : 1063635 (java) S 1063632 1063635 1058409 0 -1 1077936128 113292 0 0 0 359794 232 0 0 20 0 21 0 197978971 19771256832 397159 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
/proc/1063635/statm: 4826967 397159 5938 1 0 558804 0
[pid=1063635/tid=1063637] ppid=1063632 vsize=19307868 memory=1587992 CPUtime=3585.6 cores=5,7
/proc/1063635/task/1063637/stat : 1063637 (java) S 1063632 1063635 1058409 0 -1 1077936192 42135 0 0 0 358542 18 0 0 20 0 21 0 197978972 19771256832 397159 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
[pid=1063635/tid=1063646] ppid=1063632 vsize=19307868 memory=1587992 CPUtime=0 cores=5,7
/proc/1063635/task/1063646/stat : 1063646 (Finalizer) S 1063632 1063635 1058409 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 197978976 19771256832 397159 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
[pid=1063635/tid=1063653] ppid=1063632 vsize=19307868 memory=11596 CPUtime=0 cores=5,7
/proc/1063635/task/1063653/stat : 1063653 (Common-Cleaner) S 1063632 1063635 1058409 0 -1 1077936192 2712 0 0 0 0 0 0 0 20 0 21 0 197978977 19771256832 397159 134679101440 94413758754816 94413758758512 140726541610928 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94413758766328 94413758767120 94413781655552 140726541616133 140726541616223 140726541616223 140726541623240 0
Current children cumulated CPU time: 3600.26 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 1588636 KiB

Child status: 143

Real time (s): 3602.54
CPU time (s): 3600.31
CPU user time (s): 3597.97
CPU system time (s): 2.33966
CPU usage (%): 99.9381
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 1588636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.97
system time used= 2.33966
maximum resident set size= 1589516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113613
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105663
involuntary context switches= 2131


# summary of solver processes directly reported to runsolver:
#   pid: 1063635
#   total CPU time (s): 3600.31
#   total CPU user time (s): 3597.97
#   total CPU system time (s): 2.33966

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.8352 second user time and 35.8868 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2024-07-20 08:50:41
IDJOB=4453444
IDBENCH=175500
IDSOLVER=3058
FILE ID=nodeC003/4453444-1721458229
RUNJOBID= nodeC003-1721450898-1058422
SLURM_JOB_ID= 7545681
Free space on /tmp= 723780 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-75.shuf-3.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453444-1721458229/watcher-4453444-1721458229 -o /tmp/evaluation-result-4453444-1721458229/solver-4453444-1721458229 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721450898-1058422 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4453444-1721458229.opb

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

MD5SUM BENCH= 2250f6fb3aae6ce944dd5cd9d2eb392c
RANDOM SEED=1943620418

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        120785228 kB
MemAvailable:   126448748 kB
Buffers:          571936 kB
Cached:          5873424 kB
SwapCached:            0 kB
Active:          1063772 kB
Inactive:        9109000 kB
Active(anon):       1468 kB
Inactive(anon):  3771548 kB
Active(file):    1062304 kB
Inactive(file):  5337452 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:               772 kB
Writeback:             4 kB
AnonPages:       3727136 kB
Mapped:           128268 kB
Shmem:             45896 kB
KReclaimable:     207592 kB
Slab:             324084 kB
SReclaimable:     207592 kB
SUnreclaim:       116492 kB
KernelStack:        4780 kB
PageTables:        17448 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    8012956 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            59072 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3426304 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      275272 kB
DirectMap2M:    31086592 kB
DirectMap1G:    104857600 kB

Free space on /tmp at the end= 723780 MiB
End job on nodeC003 at 2024-07-20 09:50:43