Trace number 4452544

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.19 3579.42

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-neos-506428.0.u.opb
MD5SUMbe38a350659e0c4d627f3ed91afb1797
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 benchmark574.907
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables42981
Total number of constraints129926
Number of constraints which are clauses129808
Number of constraints which are cardinality constraints (but not clauses)96
Number of constraints which are nor clauses,nor cardinality constraints22
Minimum length of a constraint2
Maximum length of a constraint1969
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 6515545
Number of bits of the biggest number in a constraint 23
Biggest sum of numbers in a constraint 500000069
Number of bits of the biggest sum of numbers29
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.09	c Number of processors 	2
0.13/0.12	--- Begin Solver configuration ---
0.13/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.13/0.12	Learn all clauses as in MiniSAT
0.13/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.12	No reason simplification
0.13/0.12	Glucose 2.1 dynamic restart strategy
0.13/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.12	timeout=2147483s
0.13/0.12	DB Simplification allowed=false
0.13/0.12	Listener: none
0.13/0.12	--- End Solver configuration ---
0.13/0.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-4452544-1721448587.opb
0.13/0.12	c reading problem ... 
0.13/0.13	c  no objective function found
1.28/0.75	c ... done. Wall clock time 0.618s.
1.28/0.75	c declared #vars     42981
1.28/0.75	c #constraints  130021
1.28/0.75	c constraints type 
1.28/0.75	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 88939
1.28/0.75	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 95
1.28/0.75	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 23
1.28/0.75	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 40964
1.28/0.75	c 130021 constraints processed.
4.41/2.60	c cleaning 2497 clauses out of 5000 with flag 10965/5000
5.41/3.37	c cleaning 4250 clauses out of 8503 with flag 24381/11000
6.02/3.96	c cleaning 5625 clauses out of 11253 with flag 39256/18000
6.92/4.85	c cleaning 6811 clauses out of 13629 with flag 56833/26001
10.84/8.71	c cleaning 7912 clauses out of 15823 with flag 77812/35006
16.34/14.14	c cleaning 8950 clauses out of 17905 with flag 102782/45000
18.33/16.16	c cleaning 9978 clauses out of 19956 with flag 126594/56001
20.47/18.21	c cleaning 10988 clauses out of 21977 with flag 152488/68000
22.07/19.84	c cleaning 11989 clauses out of 23990 with flag 180217/81001
23.17/20.90	c cleaning 12997 clauses out of 26000 with flag 209011/95000
24.40/22.15	c cleaning 14000 clauses out of 28003 with flag 239932/110000
25.62/23.31	c cleaning 15002 clauses out of 30004 with flag 272783/126001
27.22/24.99	c cleaning 15994 clauses out of 32002 with flag 308294/143001
31.04/28.72	c cleaning 16996 clauses out of 34007 with flag 347741/161000
36.76/34.48	c cleaning 17996 clauses out of 36012 with flag 392129/180001
47.25/44.92	c cleaning 19006 clauses out of 38015 with flag 449289/200000
57.37/55.06	c cleaning 20000 clauses out of 40011 with flag 503071/221002
68.45/66.13	c cleaning 20996 clauses out of 42010 with flag 560365/243001
72.07/69.73	c cleaning 22003 clauses out of 44014 with flag 610305/266001
74.07/71.78	c cleaning 22997 clauses out of 46010 with flag 658802/290000
76.26/73.98	c cleaning 23998 clauses out of 48013 with flag 709352/315000
78.69/76.35	c cleaning 25001 clauses out of 50016 with flag 761824/341001
80.89/78.55	c cleaning 26001 clauses out of 52014 with flag 816394/368000
84.83/82.40	c cleaning 27006 clauses out of 54013 with flag 882935/396000
87.23/84.81	c cleaning 27998 clauses out of 56007 with flag 949842/425000
89.86/87.46	c cleaning 29000 clauses out of 58011 with flag 1018590/455002
92.15/89.78	c cleaning 29998 clauses out of 60009 with flag 1087740/486000
94.79/92.39	c cleaning 31004 clauses out of 62012 with flag 1159241/518001
99.09/96.60	c cleaning 31999 clauses out of 64008 with flag 1237334/551001
112.52/110.00	c cleaning 32996 clauses out of 66008 with flag 1321960/585000
115.52/113.09	c cleaning 34004 clauses out of 68013 with flag 1392497/620001
120.23/117.78	c cleaning 35001 clauses out of 70008 with flag 1467728/656000
133.20/130.72	c cleaning 35996 clauses out of 72008 with flag 1562099/693001
137.26/134.83	c cleaning 37003 clauses out of 74011 with flag 1647394/731000
145.39/142.99	c cleaning 37997 clauses out of 76008 with flag 1738410/770000
152.99/150.58	c cleaning 39001 clauses out of 78012 with flag 1833931/810001
156.25/153.72	c cleaning 40001 clauses out of 80010 with flag 1923619/851000
162.43/159.97	c cleaning 40999 clauses out of 82009 with flag 2015792/893000
169.86/166.90	c cleaning 42001 clauses out of 84011 with flag 2108489/936001
182.14/179.18	c cleaning 42992 clauses out of 86009 with flag 2214181/980000
196.73/193.61	c cleaning 44000 clauses out of 88017 with flag 2329539/1025000
207.61/204.55	c cleaning 45006 clauses out of 90019 with flag 2433823/1071002
217.96/214.80	c cleaning 45998 clauses out of 92012 with flag 2538825/1118001
229.48/226.10	c cleaning 47004 clauses out of 94013 with flag 2650347/1166000
241.47/238.02	c cleaning 47998 clauses out of 96009 with flag 2765455/1215000
248.05/244.68	c cleaning 49004 clauses out of 98012 with flag 2872112/1265001
254.85/251.45	c cleaning 50000 clauses out of 100007 with flag 2995092/1316000
275.41/271.98	c cleaning 50997 clauses out of 102007 with flag 3147754/1368000
279.30/275.83	c cleaning 51997 clauses out of 104010 with flag 3274277/1421000
285.06/281.18	c cleaning 53005 clauses out of 106014 with flag 3408844/1475001
307.15/303.42	c cleaning 54003 clauses out of 108008 with flag 3565266/1530000
324.60/321.09	c cleaning 55001 clauses out of 110006 with flag 3717066/1586001
338.31/334.73	c cleaning 56001 clauses out of 112004 with flag 3873837/1643000
343.30/339.76	c cleaning 56992 clauses out of 114003 with flag 4016647/1701000
350.38/346.80	c cleaning 58004 clauses out of 116012 with flag 4159636/1760001
367.09/363.49	c cleaning 59004 clauses out of 118007 with flag 4307187/1820000
373.13/369.55	c cleaning 59994 clauses out of 120004 with flag 4484530/1881001
379.58/376.10	c cleaning 60995 clauses out of 122009 with flag 4669176/1943000
386.42/382.81	c cleaning 61995 clauses out of 124014 with flag 4865975/2006000
392.86/389.31	c cleaning 63004 clauses out of 126019 with flag 5064409/2070000
399.21/395.70	c cleaning 63997 clauses out of 128015 with flag 5264890/2135000
406.05/402.65	c cleaning 64995 clauses out of 130019 with flag 5447100/2201001
412.83/409.45	c cleaning 66007 clauses out of 132025 with flag 5627980/2268002
425.23/421.76	c cleaning 67006 clauses out of 134019 with flag 5822622/2336003
431.48/428.01	c cleaning 67997 clauses out of 136011 with flag 5981141/2405001
437.63/434.24	c cleaning 69006 clauses out of 138013 with flag 6138261/2475000
445.97/442.56	c cleaning 70000 clauses out of 140007 with flag 6300252/2546000
460.94/457.65	c cleaning 70990 clauses out of 142007 with flag 6497386/2618000
477.19/474.10	c cleaning 72003 clauses out of 144017 with flag 6698434/2691000
503.36/500.35	c cleaning 73004 clauses out of 146015 with flag 6925912/2765001
528.15/524.58	c cleaning 74004 clauses out of 148014 with flag 7141583/2840004
557.55/554.04	c cleaning 74999 clauses out of 150007 with flag 7410117/2916001
593.01/589.55	c cleaning 75994 clauses out of 152007 with flag 7678991/2993000
607.79/604.23	c cleaning 77003 clauses out of 154014 with flag 7894721/3071001
633.48/629.78	c cleaning 77995 clauses out of 156010 with flag 8137497/3150000
651.80/648.04	c cleaning 79004 clauses out of 158015 with flag 8356910/3230000
664.80/660.92	c cleaning 80001 clauses out of 160012 with flag 8571670/3311001
681.87/677.57	c cleaning 80996 clauses out of 162011 with flag 8758598/3393001
703.37/699.24	c cleaning 82003 clauses out of 164015 with flag 8960180/3476001
730.67/725.96	c cleaning 83007 clauses out of 166013 with flag 9191496/3560002
758.03/753.16	c cleaning 83997 clauses out of 168005 with flag 9440552/3645001
778.90/773.94	c cleaning 84992 clauses out of 170009 with flag 9697632/3731002
800.68/795.54	c cleaning 86001 clauses out of 172016 with flag 9971751/3818001
820.73/815.65	c cleaning 87001 clauses out of 174014 with flag 10226369/3906000
851.29/846.04	c cleaning 88001 clauses out of 176014 with flag 10573335/3995001
870.68/864.74	c cleaning 89001 clauses out of 178012 with flag 10835374/4085000
880.27/874.37	c cleaning 90000 clauses out of 180011 with flag 11034421/4176000
899.52/893.52	c cleaning 90998 clauses out of 182013 with flag 11295751/4268002
916.49/910.56	c cleaning 91998 clauses out of 184014 with flag 11564995/4361001
952.83/946.86	c cleaning 93001 clauses out of 186015 with flag 11875289/4455000
969.01/962.94	c cleaning 94000 clauses out of 188015 with flag 12115812/4550001
982.97/976.79	c cleaning 95005 clauses out of 190015 with flag 12358764/4646001
1007.53/1001.23	c cleaning 96002 clauses out of 192009 with flag 12618560/4743000
1022.59/1016.47	c cleaning 96995 clauses out of 194007 with flag 12884859/4841000
1038.92/1032.75	c cleaning 97999 clauses out of 196012 with flag 13146397/4940000
1067.32/1061.03	c cleaning 99002 clauses out of 198013 with flag 13450432/5040000
1087.99/1081.79	c cleaning 99997 clauses out of 200011 with flag 13725941/5141000
1100.18/1093.87	c cleaning 101000 clauses out of 202014 with flag 13993369/5243000
1124.87/1118.46	c cleaning 102005 clauses out of 204014 with flag 14291905/5346000
1159.93/1152.68	c cleaning 102997 clauses out of 206009 with flag 14681351/5450000
1176.87/1169.45	c cleaning 103996 clauses out of 208013 with flag 14967353/5555001
1190.93/1183.41	c cleaning 105003 clauses out of 210016 with flag 15268893/5661000
1206.79/1199.10	c cleaning 105998 clauses out of 212013 with flag 15526382/5768000
1217.07/1209.41	c cleaning 107004 clauses out of 214017 with flag 15756173/5876002
1245.36/1237.81	c cleaning 108003 clauses out of 216013 with flag 16064682/5985002
1262.64/1255.16	c cleaning 109002 clauses out of 218008 with flag 16365666/6095000
1303.20/1295.70	c cleaning 109998 clauses out of 220006 with flag 16746265/6206000
1325.87/1318.35	c cleaning 110998 clauses out of 222008 with flag 17076242/6318000
1338.72/1331.08	c cleaning 112003 clauses out of 224013 with flag 17390387/6431003
1360.87/1353.27	c cleaning 112999 clauses out of 226009 with flag 17732617/6545002
1384.11/1376.47	c cleaning 114001 clauses out of 228009 with flag 18041077/6660001
1400.07/1392.25	c cleaning 114994 clauses out of 230008 with flag 18312596/6776001
1412.44/1404.66	c cleaning 115997 clauses out of 232014 with flag 18556116/6893001
1430.13/1421.28	c cleaning 117004 clauses out of 234016 with flag 18854480/7011000
1459.07/1450.18	c cleaning 117997 clauses out of 236012 with flag 19225638/7130000
1475.41/1466.43	c cleaning 119002 clauses out of 238015 with flag 19553709/7250000
1490.98/1481.98	c cleaning 120006 clauses out of 240013 with flag 19870622/7371000
1519.05/1509.80	c cleaning 120996 clauses out of 242007 with flag 20225593/7493000
1541.15/1531.81	c cleaning 122001 clauses out of 244012 with flag 20573059/7616001
1553.83/1544.41	c cleaning 123000 clauses out of 246010 with flag 20871043/7740000
1567.30/1558.00	c cleaning 123995 clauses out of 248011 with flag 21177081/7865001
1580.41/1570.90	c cleaning 125003 clauses out of 250016 with flag 21487795/7991001
1592.20/1582.87	c cleaning 126006 clauses out of 252013 with flag 21792926/8118001
1615.68/1606.37	c cleaning 126994 clauses out of 254007 with flag 22141138/8246001
1660.04/1650.51	c cleaning 127998 clauses out of 256012 with flag 22589360/8375000
1683.10/1673.55	c cleaning 129000 clauses out of 258016 with flag 23026687/8505002
1706.90/1697.28	c cleaning 129999 clauses out of 260014 with flag 23364060/8636000
1734.26/1724.52	c cleaning 130990 clauses out of 262016 with flag 23734915/8768001
1757.34/1747.57	c cleaning 132003 clauses out of 264025 with flag 24079579/8901000
1776.07/1766.00	c cleaning 133010 clauses out of 266022 with flag 24460876/9035000
1793.88/1782.61	c cleaning 134004 clauses out of 268012 with flag 24833580/9170000
1812.95/1801.61	c cleaning 134995 clauses out of 270009 with flag 25209221/9306001
1838.31/1827.04	c cleaning 136003 clauses out of 272013 with flag 25588874/9443000
1858.48/1847.18	c cleaning 136995 clauses out of 274010 with flag 25930790/9581000
1888.41/1876.99	c cleaning 138002 clauses out of 276015 with flag 26353083/9720000
1925.74/1914.31	c cleaning 138998 clauses out of 278014 with flag 26782613/9860001
1954.75/1943.47	c cleaning 139993 clauses out of 280015 with flag 27175672/10001000
1976.25/1965.17	c cleaning 141003 clauses out of 282022 with flag 27522060/10143000
2008.85/1997.72	c cleaning 142004 clauses out of 284020 with flag 27966048/10286001
2041.45/2030.36	c cleaning 142999 clauses out of 286016 with flag 28419148/10430001
2081.47/2070.38	c cleaning 144003 clauses out of 288018 with flag 28924893/10575002
2116.50/2105.48	c cleaning 144996 clauses out of 290013 with flag 29393879/10721000
2149.23/2138.20	c cleaning 145998 clauses out of 292017 with flag 29822636/10868000
2186.05/2175.13	c cleaning 146999 clauses out of 294020 with flag 30323733/11016001
2213.67/2202.62	c cleaning 147999 clauses out of 296020 with flag 30750898/11165000
2252.89/2241.94	c cleaning 149008 clauses out of 298023 with flag 31269931/11315002
2276.45/2265.63	c cleaning 149996 clauses out of 300013 with flag 31682784/11466000
2311.55/2300.74	c cleaning 151001 clauses out of 302017 with flag 32181539/11618000
2336.57/2325.71	c cleaning 152004 clauses out of 304016 with flag 32617516/11771000
2365.02/2353.76	c cleaning 153000 clauses out of 306013 with flag 33084769/11925001
2386.14/2374.88	c cleaning 153998 clauses out of 308012 with flag 33502292/12080000
2423.36/2411.01	c cleaning 155001 clauses out of 310014 with flag 34018246/12236000
2464.13/2451.80	c cleaning 156000 clauses out of 312015 with flag 34501066/12393002
2506.34/2493.76	c cleaning 157002 clauses out of 314013 with flag 35081052/12551000
2549.01/2536.16	c cleaning 158000 clauses out of 316012 with flag 35606461/12710001
2587.21/2574.16	c cleaning 158995 clauses out of 318011 with flag 36123001/12870000
2633.45/2620.16	c cleaning 159998 clauses out of 320016 with flag 36641275/13031000
2680.92/2667.34	c cleaning 161005 clauses out of 322019 with flag 37146843/13193001
2723.76/2709.95	c cleaning 161991 clauses out of 324014 with flag 37677735/13356001
2767.60/2752.22	c cleaning 162997 clauses out of 326022 with flag 38227510/13520000
2795.02/2779.30	c cleaning 164010 clauses out of 328025 with flag 38733455/13685000
2821.52/2805.58	c cleaning 165000 clauses out of 330015 with flag 39229417/13851000
2865.38/2849.28	c cleaning 165995 clauses out of 332017 with flag 39817101/14018002
2894.65/2878.60	c cleaning 167005 clauses out of 334021 with flag 40334596/14186001
2922.79/2906.95	c cleaning 168004 clauses out of 336015 with flag 40827408/14355000
2944.05/2928.36	c cleaning 168998 clauses out of 338011 with flag 41292762/14525000
2970.56/2954.88	c cleaning 170004 clauses out of 340015 with flag 41775436/14696002
3006.76/2990.63	c cleaning 170999 clauses out of 342009 with flag 42337568/14868000
3044.18/3027.71	c cleaning 171996 clauses out of 344010 with flag 42886748/15041000
3081.25/3064.55	c cleaning 172998 clauses out of 346015 with flag 43434860/15215001
3110.38/3093.49	c cleaning 174004 clauses out of 348017 with flag 43925713/15390001
3143.63/3126.31	c cleaning 175002 clauses out of 350012 with flag 44521081/15566000
3191.80/3174.11	c cleaning 175995 clauses out of 352010 with flag 45196039/15743000
3238.37/3218.65	c cleaning 177000 clauses out of 354018 with flag 45851684/15921003
3273.03/3253.19	c cleaning 178001 clauses out of 356015 with flag 46383035/16100000
3304.49/3284.46	c cleaning 178999 clauses out of 358014 with flag 46911568/16280000
3347.38/3327.19	c cleaning 179999 clauses out of 360015 with flag 47497067/16461000
3408.39/3388.18	c cleaning 180999 clauses out of 362017 with flag 48064346/16643001
3465.17/3444.95	c cleaning 182001 clauses out of 364017 with flag 48690349/16826000
3516.73/3496.37	c cleaning 183000 clauses out of 366016 with flag 49354759/17010000
3559.24/3538.69	c cleaning 183996 clauses out of 368016 with flag 49961430/17195000
3591.44/3570.75	c cleaning 185005 clauses out of 370020 with flag 50504419/17381000
3600.03/3579.31	c starts		: 45312
3600.03/3579.31	c timeout
3600.03/3579.32	c conflicts		: 17429274
3600.03/3579.32	c decisions		: 21673830
3600.03/3579.32	c propagations		: 8859683020
3600.03/3579.32	c inspects		: 36954466849
3600.03/3579.32	c shortcuts		: 0
3600.03/3579.32	c learnt literals	: 0
3600.03/3579.32	c learnt binary clauses	: 37
3600.03/3579.32	c learnt ternary clauses	: 273
3600.03/3579.32	c learnt constraints	: 17429274
3600.03/3579.32	c ignored constraints	: 0
3600.03/3579.32	c root simplifications	: 0
3600.03/3579.32	c removed literals (reason simplification)	: 0
3600.03/3579.32	c reason swapping (by a shorter reason)	: 0
3600.03/3579.32	c Calls to reduceDB	: 182
3600.03/3579.32	c Number of update (reduction) of LBD	: 667594
3600.03/3579.32	c Imported unit clauses	: 0
3600.03/3579.32	c No decision after first conflict	: false
3600.03/3579.32	c number of reductions to clauses (during analyze)	: 0
3600.03/3579.32	c number of learned constraints concerned by reduction	: 0
3600.03/3579.32	c number of learning phase by resolution	: 0
3600.03/3579.32	c number of learning phase by cutting planes	: 0
3600.03/3579.32	c number of rounding to 1 operations	: 0
3600.03/3579.32	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.03/3579.32	c number of reductions of the coefficients by power 2 	: 0
3600.03/3579.32	c number of right shift for reduction by power 2 	: 0
3600.03/3579.32	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.03/3579.32	c number of ending skipping 	: 0
3600.03/3579.32	c number of internal skipping 	: 0
3600.03/3579.32	c number of derivation steps 	: 0
3600.03/3579.32	c number of skipped derivation steps 	: 0
3600.03/3579.32	c number of remaining unassigned 	: 0
3600.03/3579.32	c number of remaining assigned 	: 0
3600.03/3579.32	c number of falsified literals weakened from reason	: 0
3600.03/3579.32	c number of falsified literals weakened from conflict	: 0
3600.03/3579.32	c time for arithmetic operations	: 0
3600.03/3579.32	c minimum degree of deleted constraints	: null
3600.03/3579.32	c maximum degree of deleted constraints	: null
3600.03/3579.32	c number of deleted constraints	: 0
3600.03/3579.34	c speed (assignments/second)	: 2475766.2491246485
3600.03/3579.34	c non guided choices	: 273131
3600.03/3579.38	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 233252
3600.03/3579.38	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 37
3600.03/3579.38	s UNKNOWN
3600.03/3579.38	c Total wall clock time (in seconds): 3579.259

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452544-1721448587/watcher-4452544-1721448587 -o /tmp/evaluation-result-4452544-1721448587/solver-4452544-1721448587 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721444951-1015389 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4452544-1721448587.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=1017846, runsolver pid=1017843

[startup+0.101305 s]*
/proc/loadavg: 4.52 4.64 4.76 5/328 1017864
/proc/meminfo: memFree=111323008/131524600 swapFree=131071996/131071996
[pid=1017846] ppid=1017843 vsize=18975048 memory=65032 CPUtime=0.13 cores=1,3
/proc/1017846/stat : 1017846 (java) S 1017843 1017846 1015377 0 -1 1077936128 7107 0 0 0 11 2 0 0 20 0 18 0 197019249 19430449152 16258 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
/proc/1017846/statm: 4743762 16258 5691 1 0 549333 0
[pid=1017846/tid=1017848] ppid=1017843 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=1,3
/proc/1017846/task/1017848/stat : 1017848 (java) R 1017843 1017846 1015377 0 -1 1078198336 5677 0 0 0 7 2 0 0 20 0 18 0 197019250 19430449152 16258 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
[pid=1017846/tid=1017857] ppid=1017843 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/1017846/task/1017857/stat : 1017857 (Finalizer) S 1017843 1017846 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 197019253 19430449152 16258 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
[pid=1017846/tid=1017864] ppid=1017843 vsize=18975048 memory=14699582227506071 CPUtime=0 cores=1,3
/proc/1017846/task/1017864/stat : 1017864 (Common-Cleaner) S 1017843 1017846 1015377 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 197019253 19430449152 16258 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65032 KiB

[startup+0.205747 s]*
/proc/loadavg: 4.52 4.64 4.76 6/328 1017864
/proc/meminfo: memFree=111278208/131524600 swapFree=131071996/131071996
[pid=1017846] ppid=1017843 vsize=18975048 memory=109996 CPUtime=0.32 cores=1,3
/proc/1017846/stat : 1017846 (java) S 1017843 1017846 1015377 0 -1 1077936128 7532 0 0 0 29 3 0 0 20 0 18 0 197019249 19430449152 27499 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
/proc/1017846/statm: 4743762 27499 5842 1 0 549581 0
[pid=1017846/tid=1017848] ppid=1017843 vsize=18975048 memory=6876556183782621315 CPUtime=0.17 cores=1,3
/proc/1017846/task/1017848/stat : 1017848 (java) R 1017843 1017846 1015377 0 -1 1077936192 5874 0 0 0 15 2 0 0 20 0 18 0 197019250 19430449152 27499 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
[pid=1017846/tid=1017857] ppid=1017843 vsize=18975048 memory=14994 CPUtime=0 cores=1,3
/proc/1017846/task/1017857/stat : 1017857 (Finalizer) S 1017843 1017846 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 197019253 19430449152 27499 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
[pid=1017846/tid=1017864] ppid=1017843 vsize=18975048 memory=15537410087847364 CPUtime=0 cores=1,3
/proc/1017846/task/1017864/stat : 1017864 (Common-Cleaner) S 1017843 1017846 1015377 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 197019253 19430449152 27499 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 109996 KiB

[startup+0.305843 s]*
/proc/loadavg: 4.52 4.64 4.76 7/328 1017864
/proc/meminfo: memFree=111234844/131524600 swapFree=131071996/131071996
[pid=1017846] ppid=1017843 vsize=18975048 memory=150976 CPUtime=0.52 cores=1,3
/proc/1017846/stat : 1017846 (java) S 1017843 1017846 1015377 0 -1 1077936128 9042 0 0 0 48 4 0 0 20 0 18 0 197019249 19430449152 37744 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
/proc/1017846/statm: 4743762 37744 5842 1 0 550560 0
[pid=1017846/tid=1017848] ppid=1017843 vsize=18975048 memory=-7308600552828594015 CPUtime=0.27 cores=1,3
/proc/1017846/task/1017848/stat : 1017848 (java) R 1017843 1017846 1015377 0 -1 4194368 5893 0 0 0 24 3 0 0 20 0 18 0 197019250 19430449152 37744 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
[pid=1017846/tid=1017857] ppid=1017843 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/1017846/task/1017857/stat : 1017857 (Finalizer) S 1017843 1017846 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 197019253 19430449152 37744 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
[pid=1017846/tid=1017864] ppid=1017843 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/1017846/task/1017864/stat : 1017864 (Common-Cleaner) S 1017843 1017846 1015377 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 197019253 19430449152 37744 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 150976 KiB

[startup+0.702974 s]
/proc/loadavg: 4.52 4.64 4.76 7/329 1017865
/proc/meminfo: memFree=111202180/131524600 swapFree=131071996/131071996
[pid=1017846] ppid=1017843 vsize=19041612 memory=214988 CPUtime=1.28 cores=1,3
/proc/1017846/stat : 1017846 (java) S 1017843 1017846 1015377 0 -1 1077936128 16403 0 0 0 123 5 0 0 20 0 19 0 197019249 19498610688 53747 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
/proc/1017846/statm: 4760403 53747 5842 1 0 555904 0
[pid=1017846/tid=1017848] ppid=1017843 vsize=19041612 memory=5560 CPUtime=0.6 cores=1,3
/proc/1017846/task/1017848/stat : 1017848 (java) R 1017843 1017846 1015377 0 -1 4194368 5901 0 0 0 57 3 0 0 20 0 19 0 197019250 19498610688 53747 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
[pid=1017846/tid=1017857] ppid=1017843 vsize=19041612 memory=13012 CPUtime=0 cores=1,3
/proc/1017846/task/1017857/stat : 1017857 (Finalizer) S 1017843 1017846 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 197019253 19498610688 53747 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
[pid=1017846/tid=1017864] ppid=1017843 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/1017846/task/1017864/stat : 1017864 (Common-Cleaner) S 1017843 1017846 1015377 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 197019253 19498610688 53747 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 214988 KiB

[startup+1.50098 s]
/proc/loadavg: 4.52 4.64 4.76 7/330 1017866
/proc/meminfo: memFree=111168968/131524600 swapFree=131071996/131071996
[pid=1017846] ppid=1017843 vsize=19108176 memory=217708 CPUtime=2.85 cores=1,3
/proc/1017846/stat : 1017846 (java) S 1017843 1017846 1015377 0 -1 1077936128 18315 0 0 0 279 6 0 0 20 0 20 0 197019249 19566772224 54427 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
/proc/1017846/statm: 4777044 54427 5858 1 0 556728 0
[pid=1017846/tid=1017848] ppid=1017843 vsize=19108176 memory=13012 CPUtime=1.33 cores=1,3
/proc/1017846/task/1017848/stat : 1017848 (java) R 1017843 1017846 1015377 0 -1 4194368 5952 0 0 0 130 3 0 0 20 0 20 0 197019250 19566772224 54427 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
[pid=1017846/tid=1017857] ppid=1017843 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1017846/task/1017857/stat : 1017857 (Finalizer) S 1017843 1017846 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197019253 19566772224 54427 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
[pid=1017846/tid=1017864] ppid=1017843 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1017846/task/1017864/stat : 1017864 (Common-Cleaner) S 1017843 1017846 1015377 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 197019253 19566772224 54427 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
[pid=1017846/tid=1017866] ppid=1017843 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1017846/task/1017866/stat : 1017866 (Timer-0) S 1017843 1017846 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197019326 19566772224 54427 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 217708 KiB

[startup+3.10999 s]
/proc/loadavg: 4.56 4.65 4.76 5/330 1017866
/proc/meminfo: memFree=111168040/131524600 swapFree=131071996/131071996
[pid=1017846] ppid=1017843 vsize=19108176 memory=219572 CPUtime=5.15 cores=1,3
/proc/1017846/stat : 1017846 (java) S 1017843 1017846 1015377 0 -1 1077936128 26773 0 0 0 507 8 0 0 20 0 20 0 197019249 19566772224 54893 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
/proc/1017846/statm: 4777044 54893 5905 1 0 556969 0
[pid=1017846/tid=1017848] ppid=1017843 vsize=19108176 memory=0 CPUtime=2.92 cores=1,3
/proc/1017846/task/1017848/stat : 1017848 (java) R 1017843 1017846 1015377 0 -1 4194368 6833 0 0 0 289 3 0 0 20 0 20 0 197019250 19566772224 54893 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
[pid=1017846/tid=1017857] ppid=1017843 vsize=19108176 memory=11488 CPUtime=0 cores=1,3
/proc/1017846/task/1017857/stat : 1017857 (Finalizer) S 1017843 1017846 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197019253 19566772224 54893 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
[pid=1017846/tid=1017864] ppid=1017843 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1017846/task/1017864/stat : 1017864 (Common-Cleaner) S 1017843 1017846 1015377 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 197019253 19566772224 54893 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
[pid=1017846/tid=1017866] ppid=1017843 vsize=19108176 memory=13012 CPUtime=0 cores=1,3
/proc/1017846/task/1017866/stat : 1017866 (Timer-0) S 1017843 1017846 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197019326 19566772224 54893 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
Current children cumulated CPU time: 5.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 219572 KiB

[startup+6.30099 s]
/proc/loadavg: 4.56 4.65 4.76 5/330 1017867
/proc/meminfo: memFree=111173208/131524600 swapFree=131071996/131071996
[pid=1017846] ppid=1017843 vsize=19108176 memory=237108 CPUtime=8.44 cores=1,3
/proc/1017846/stat : 1017846 (java) S 1017843 1017846 1015377 0 -1 1077936128 28481 0 0 0 835 9 0 0 20 0 20 0 197019249 19566772224 59277 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
/proc/1017846/statm: 4777044 59277 5921 1 0 556983 0
[pid=1017846/tid=1017848] ppid=1017843 vsize=19108176 memory=0 CPUtime=6.05 cores=1,3
/proc/1017846/task/1017848/stat : 1017848 (java) R 1017843 1017846 1015377 0 -1 4194368 7210 0 0 0 602 3 0 0 20 0 20 0 197019250 19566772224 59277 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
[pid=1017846/tid=1017857] ppid=1017843 vsize=19108176 memory=13012 CPUtime=0 cores=1,3
/proc/1017846/task/1017857/stat : 1017857 (Finalizer) S 1017843 1017846 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197019253 19566772224 59277 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
[pid=1017846/tid=1017864] ppid=1017843 vsize=19108176 memory=11488 CPUtime=0 cores=1,3
/proc/1017846/task/1017864/stat : 1017864 (Common-Cleaner) S 1017843 1017846 1015377 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 20 0 197019253 19566772224 59277 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
[pid=1017846/tid=1017866] ppid=1017843 vsize=19108176 memory=47000 CPUtime=0 cores=1,3
/proc/1017846/task/1017866/stat : 1017866 (Timer-0) S 1017843 1017846 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197019326 19566772224 59277 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
Current children cumulated CPU time: 8.44 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 237108 KiB

[startup+12.7003 s]
/proc/loadavg: 4.47 4.63 4.75 5/330 1017867
/proc/meminfo: memFree=111107328/131524600 swapFree=131071996/131071996
[pid=1017846] ppid=1017843 vsize=19108176 memory=237132 CPUtime=14.88 cores=1,3
/proc/1017846/stat : 1017846 (java) S 1017843 1017846 1015377 0 -1 1077936128 31517 0 0 0 1479 9 0 0 20 0 20 0 197019249 19566772224 59283 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
/proc/1017846/statm: 4777044 59283 5921 1 0 556983 0
[pid=1017846/tid=1017848] ppid=1017843 vsize=19108176 memory=215912 CPUtime=12.42 cores=1,3
/proc/1017846/task/1017848/stat : 1017848 (java) R 1017843 1017846 1015377 0 -1 4194368 7526 0 0 0 1239 3 0 0 20 0 20 0 197019250 19566772224 59283 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
[pid=1017846/tid=1017857] ppid=1017843 vsize=19108176 memory=237132 CPUtime=0 cores=1,3
/proc/1017846/task/1017857/stat : 1017857 (Finalizer) S 1017843 1017846 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197019253 19566772224 59283 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
[pid=1017846/tid=1017864] ppid=1017843 vsize=19108176 memory=219580 CPUtime=0 cores=1,3
/proc/1017846/task/1017864/stat : 1017864 (Common-Cleaner) S 1017843 1017846 1015377 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 20 0 197019253 19566772224 59283 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
[pid=1017846/tid=1017866] ppid=1017843 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1017846/task/1017866/stat : 1017866 (Timer-0) S 1017843 1017846 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197019326 19566772224 59283 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
Current children cumulated CPU time: 14.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 237132 KiB

[startup+25.5003 s]
/proc/loadavg: 4.40 4.60 4.74 5/332 1017875
/proc/meminfo: memFree=110991616/131524600 swapFree=131071996/131071996
[pid=1017846] ppid=1017843 vsize=19108176 memory=335772 CPUtime=27.85 cores=1,3
/proc/1017846/stat : 1017846 (java) S 1017843 1017846 1015377 0 -1 1077936128 40048 0 0 0 2773 12 0 0 20 0 20 0 197019249 19566772224 83943 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
/proc/1017846/statm: 4777044 83943 5921 1 0 556983 0
[pid=1017846/tid=1017848] ppid=1017843 vsize=19108176 memory=237132 CPUtime=25.07 cores=1,3
/proc/1017846/task/1017848/stat : 1017848 (java) R 1017843 1017846 1015377 0 -1 4194368 9280 0 0 0 2504 3 0 0 20 0 20 0 197019250 19566772224 83943 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
[pid=1017846/tid=1017857] ppid=1017843 vsize=19108176 memory=276240 CPUtime=0 cores=1,3
/proc/1017846/task/1017857/stat : 1017857 (Finalizer) S 1017843 1017846 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197019253 19566772224 83943 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
[pid=1017846/tid=1017864] ppid=1017843 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/1017846/task/1017864/stat : 1017864 (Common-Cleaner) S 1017843 1017846 1015377 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 20 0 197019253 19566772224 83943 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
[pid=1017846/tid=1017866] ppid=1017843 vsize=19108176 memory=6943526294502006880 CPUtime=0 cores=1,3
/proc/1017846/task/1017866/stat : 1017866 (Timer-0) S 1017843 1017846 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197019326 19566772224 83943 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
Current children cumulated CPU time: 27.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 335772 KiB

[startup+51.1059 s]
/proc/loadavg: 4.40 4.59 4.73 5/332 1017878
/proc/meminfo: memFree=110718060/131524600 swapFree=131071996/131071996
[pid=1017846] ppid=1017843 vsize=19108176 memory=500032 CPUtime=53.46 cores=1,3
/proc/1017846/stat : 1017846 (java) S 1017843 1017846 1015377 0 -1 1077936128 44187 0 0 0 5330 16 0 0 20 0 20 0 197019249 19566772224 125008 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
/proc/1017846/statm: 4777044 125008 5921 1 0 556983 0
[pid=1017846/tid=1017848] ppid=1017843 vsize=19108176 memory=370740 CPUtime=50.35 cores=1,3
/proc/1017846/task/1017848/stat : 1017848 (java) R 1017843 1017846 1015377 0 -1 4194368 11040 0 0 0 5031 4 0 0 20 0 20 0 197019250 19566772224 125008 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
[pid=1017846/tid=1017857] ppid=1017843 vsize=19108176 memory=370740 CPUtime=0 cores=1,3
/proc/1017846/task/1017857/stat : 1017857 (Finalizer) S 1017843 1017846 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197019253 19566772224 125008 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
[pid=1017846/tid=1017864] ppid=1017843 vsize=19108176 memory=11488 CPUtime=0 cores=1,3
/proc/1017846/task/1017864/stat : 1017864 (Common-Cleaner) S 1017843 1017846 1015377 0 -1 1077936192 42 0 0 0 0 0 0 0 20 0 20 0 197019253 19566772224 125008 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0

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

/proc/1017846/task/1017857/stat : 1017857 (Finalizer) S 1017843 1017846 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197019253 19566772224 1577263 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
[pid=1017846/tid=1017864] ppid=1017843 vsize=19108176 memory=279769204146560 CPUtime=0 cores=1,3
/proc/1017846/task/1017864/stat : 1017864 (Common-Cleaner) S 1017843 1017846 1015377 0 -1 1077936192 1450 0 0 0 0 0 0 0 20 0 20 0 197019253 19566772224 1577263 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
[pid=1017846/tid=1017866] ppid=1017843 vsize=19108176 memory=6077628 CPUtime=0 cores=1,3
/proc/1017846/task/1017866/stat : 1017866 (Timer-0) S 1017843 1017846 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197019326 19566772224 1577263 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
Current children cumulated CPU time: 3179.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6309052 KiB

[startup+3222.3 s]
/proc/loadavg: 4.19 4.23 4.26 5/333 1019780
/proc/meminfo: memFree=102990196/131524600 swapFree=131071996/131071996
[pid=1017846] ppid=1017843 vsize=19108176 memory=7149656 CPUtime=3242.07 cores=1,3
/proc/1017846/stat : 1017846 (java) S 1017843 1017846 1015377 0 -1 1077936128 271486 0 0 0 323950 257 0 0 20 0 20 0 197019249 19566772224 1787414 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
/proc/1017846/statm: 4777044 1787414 5934 1 0 2480050 0
[pid=1017846/tid=1017848] ppid=1017843 vsize=19108176 memory=5928112 CPUtime=3186.39 cores=1,3
/proc/1017846/task/1017848/stat : 1017848 (java) R 1017843 1017846 1015377 0 -1 4194368 86891 0 0 0 318579 60 0 0 20 0 20 0 197019250 19566772224 1787414 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
[pid=1017846/tid=1017857] ppid=1017843 vsize=19108176 memory=5928088 CPUtime=0 cores=1,3
/proc/1017846/task/1017857/stat : 1017857 (Finalizer) S 1017843 1017846 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197019253 19566772224 1787414 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
[pid=1017846/tid=1017864] ppid=1017843 vsize=19108176 memory=47000 CPUtime=0 cores=1,3
/proc/1017846/task/1017864/stat : 1017864 (Common-Cleaner) S 1017843 1017846 1015377 0 -1 1077936192 1451 0 0 0 0 0 0 0 20 0 20 0 197019253 19566772224 1787414 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
[pid=1017846/tid=1017866] ppid=1017843 vsize=19108176 memory=7098456 CPUtime=0 cores=1,3
/proc/1017846/task/1017866/stat : 1017866 (Timer-0) S 1017843 1017846 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197019326 19566772224 1787414 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
Current children cumulated CPU time: 3242.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7149656 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.22 4.25 5/332 1019860
/proc/meminfo: memFree=107237304/131524600 swapFree=131071996/131071996
[pid=1017846] ppid=1017843 vsize=19108176 memory=7630940 CPUtime=3302.4 cores=1,3
/proc/1017846/stat : 1017846 (java) S 1017843 1017846 1015377 0 -1 1077936128 272845 0 0 0 329971 269 0 0 20 0 20 0 197019249 19566772224 1907735 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
/proc/1017846/statm: 4777044 1907735 5934 1 0 2480050 0
[pid=1017846/tid=1017848] ppid=1017843 vsize=19108176 memory=13012 CPUtime=3245.75 cores=1,3
/proc/1017846/task/1017848/stat : 1017848 (java) R 1017843 1017846 1015377 0 -1 4194368 87498 0 0 0 324508 67 0 0 20 0 20 0 197019250 19566772224 1907735 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
[pid=1017846/tid=1017857] ppid=1017843 vsize=19108176 memory=-7308600552828594015 CPUtime=0 cores=1,3
/proc/1017846/task/1017857/stat : 1017857 (Finalizer) S 1017843 1017846 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197019253 19566772224 1907735 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
[pid=1017846/tid=1017864] ppid=1017843 vsize=19108176 memory=6728896 CPUtime=0 cores=1,3
/proc/1017846/task/1017864/stat : 1017864 (Common-Cleaner) S 1017843 1017846 1015377 0 -1 1077936192 1452 0 0 0 0 0 0 0 20 0 20 0 197019253 19566772224 1907735 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
[pid=1017846/tid=1017866] ppid=1017843 vsize=19108176 memory=47000 CPUtime=0 cores=1,3
/proc/1017846/task/1017866/stat : 1017866 (Timer-0) S 1017843 1017846 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197019326 19566772224 1907735 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
Current children cumulated CPU time: 3302.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7630940 KiB

[startup+3342.3 s]
/proc/loadavg: 4.26 4.24 4.26 5/330 1019871
/proc/meminfo: memFree=105273700/131524600 swapFree=131071996/131071996
[pid=1017846] ppid=1017843 vsize=19108176 memory=7630956 CPUtime=3362.55 cores=1,3
/proc/1017846/stat : 1017846 (java) S 1017843 1017846 1015377 0 -1 1077936128 273635 0 0 0 335984 271 0 0 20 0 20 0 197019249 19566772224 1907739 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
/proc/1017846/statm: 4777044 1907739 5934 1 0 2480050 0
[pid=1017846/tid=1017848] ppid=1017843 vsize=19108176 memory=47000 CPUtime=3304.99 cores=1,3
/proc/1017846/task/1017848/stat : 1017848 (java) R 1017843 1017846 1015377 0 -1 4194368 87744 0 0 0 330432 67 0 0 20 0 20 0 197019250 19566772224 1907739 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
[pid=1017846/tid=1017857] ppid=1017843 vsize=19108176 memory=2636 CPUtime=0 cores=1,3
/proc/1017846/task/1017857/stat : 1017857 (Finalizer) S 1017843 1017846 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197019253 19566772224 1907739 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
[pid=1017846/tid=1017864] ppid=1017843 vsize=19108176 memory=7630956 CPUtime=0 cores=1,3
/proc/1017846/task/1017864/stat : 1017864 (Common-Cleaner) S 1017843 1017846 1015377 0 -1 1077936192 1452 0 0 0 0 0 0 0 20 0 20 0 197019253 19566772224 1907739 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
[pid=1017846/tid=1017866] ppid=1017843 vsize=19108176 memory=13292 CPUtime=0 cores=1,3
/proc/1017846/task/1017866/stat : 1017866 (Timer-0) S 1017843 1017846 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197019326 19566772224 1907739 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
Current children cumulated CPU time: 3362.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7630956 KiB

[startup+3402.3 s]
/proc/loadavg: 4.31 4.25 4.26 5/330 1019881
/proc/meminfo: memFree=103660564/131524600 swapFree=131071996/131071996
[pid=1017846] ppid=1017843 vsize=19108176 memory=7631004 CPUtime=3422.63 cores=1,3
/proc/1017846/stat : 1017846 (java) S 1017843 1017846 1015377 0 -1 1077936128 278751 0 0 0 341990 273 0 0 20 0 20 0 197019249 19566772224 1907751 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
/proc/1017846/statm: 4777044 1907751 5934 1 0 2480050 0
[pid=1017846/tid=1017848] ppid=1017843 vsize=19108176 memory=7630956 CPUtime=3364.45 cores=1,3
/proc/1017846/task/1017848/stat : 1017848 (java) R 1017843 1017846 1015377 0 -1 4194368 89300 0 0 0 336377 68 0 0 20 0 20 0 197019250 19566772224 1907751 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
[pid=1017846/tid=1017857] ppid=1017843 vsize=19108176 memory=7630956 CPUtime=0 cores=1,3
/proc/1017846/task/1017857/stat : 1017857 (Finalizer) S 1017843 1017846 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197019253 19566772224 1907751 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
[pid=1017846/tid=1017864] ppid=1017843 vsize=19108176 memory=11488 CPUtime=0 cores=1,3
/proc/1017846/task/1017864/stat : 1017864 (Common-Cleaner) S 1017843 1017846 1015377 0 -1 1077936192 1453 0 0 0 0 0 0 0 20 0 20 0 197019253 19566772224 1907751 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
[pid=1017846/tid=1017866] ppid=1017843 vsize=19108176 memory=1836 CPUtime=0 cores=1,3
/proc/1017846/task/1017866/stat : 1017866 (Timer-0) S 1017843 1017846 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197019326 19566772224 1907751 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
Current children cumulated CPU time: 3422.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7631004 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.20 4.24 5/330 1019893
/proc/meminfo: memFree=103169916/131524600 swapFree=131071996/131071996
[pid=1017846] ppid=1017843 vsize=19108176 memory=7631004 CPUtime=3482.51 cores=1,3
/proc/1017846/stat : 1017846 (java) S 1017843 1017846 1015377 0 -1 1077936128 280276 0 0 0 347976 275 0 0 20 0 20 0 197019249 19566772224 1907751 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
/proc/1017846/statm: 4777044 1907751 5934 1 0 2480050 0
[pid=1017846/tid=1017848] ppid=1017843 vsize=19108176 memory=7630956 CPUtime=3423.44 cores=1,3
/proc/1017846/task/1017848/stat : 1017848 (java) R 1017843 1017846 1015377 0 -1 4194368 89777 0 0 0 342276 68 0 0 20 0 20 0 197019250 19566772224 1907751 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
[pid=1017846/tid=1017857] ppid=1017843 vsize=19108176 memory=7631004 CPUtime=0 cores=1,3
/proc/1017846/task/1017857/stat : 1017857 (Finalizer) S 1017843 1017846 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197019253 19566772224 1907751 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
[pid=1017846/tid=1017864] ppid=1017843 vsize=19108176 memory=7631004 CPUtime=0 cores=1,3
/proc/1017846/task/1017864/stat : 1017864 (Common-Cleaner) S 1017843 1017846 1015377 0 -1 1077936192 1502 0 0 0 0 0 0 0 20 0 20 0 197019253 19566772224 1907751 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
[pid=1017846/tid=1017866] ppid=1017843 vsize=19108176 memory=11488 CPUtime=0 cores=1,3
/proc/1017846/task/1017866/stat : 1017866 (Timer-0) S 1017843 1017846 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197019326 19566772224 1907751 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
Current children cumulated CPU time: 3482.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7631004 KiB

[startup+3522.3 s]
/proc/loadavg: 4.23 4.21 4.24 5/330 1019905
/proc/meminfo: memFree=102112844/131524600 swapFree=131071996/131071996
[pid=1017846] ppid=1017843 vsize=19108176 memory=7631004 CPUtime=3542.72 cores=1,3
/proc/1017846/stat : 1017846 (java) S 1017843 1017846 1015377 0 -1 1077936128 280960 0 0 0 353995 277 0 0 20 0 20 0 197019249 19566772224 1907751 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
/proc/1017846/statm: 4777044 1907751 5934 1 0 2480050 0
[pid=1017846/tid=1017848] ppid=1017843 vsize=19108176 memory=7631004 CPUtime=3482.86 cores=1,3
/proc/1017846/task/1017848/stat : 1017848 (java) R 1017843 1017846 1015377 0 -1 4194368 90057 0 0 0 348218 68 0 0 20 0 20 0 197019250 19566772224 1907751 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
[pid=1017846/tid=1017857] ppid=1017843 vsize=19108176 memory=7631004 CPUtime=0 cores=1,3
/proc/1017846/task/1017857/stat : 1017857 (Finalizer) S 1017843 1017846 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197019253 19566772224 1907751 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
[pid=1017846/tid=1017864] ppid=1017843 vsize=19108176 memory=7631004 CPUtime=0 cores=1,3
/proc/1017846/task/1017864/stat : 1017864 (Common-Cleaner) S 1017843 1017846 1015377 0 -1 1077936192 1502 0 0 0 0 0 0 0 20 0 20 0 197019253 19566772224 1907751 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
[pid=1017846/tid=1017866] ppid=1017843 vsize=19108176 memory=7631004 CPUtime=0 cores=1,3
/proc/1017846/task/1017866/stat : 1017866 (Timer-0) S 1017843 1017846 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197019326 19566772224 1907751 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
Current children cumulated CPU time: 3542.72 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7631004 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3579.3 s]
/proc/loadavg: 4.20 4.20 4.24 5/330 1019915
/proc/meminfo: memFree=101689060/131524600 swapFree=131071996/131071996
[pid=1017846] ppid=1017843 vsize=19108176 memory=7631008 CPUtime=3600.03 cores=1,3
/proc/1017846/stat : 1017846 (java) S 1017843 1017846 1015377 0 -1 1077936128 281422 0 0 0 359724 279 0 0 20 0 20 0 197019249 19566772224 1907752 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
/proc/1017846/statm: 4777044 1907752 5934 1 0 2480050 0
[pid=1017846/tid=1017848] ppid=1017843 vsize=19108176 memory=13012 CPUtime=3539.2 cores=1,3
/proc/1017846/task/1017848/stat : 1017848 (java) R 1017843 1017846 1015377 0 -1 4194368 90211 0 0 0 353852 68 0 0 20 0 20 0 197019250 19566772224 1907752 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
[pid=1017846/tid=1017857] ppid=1017843 vsize=19108176 memory=13012 CPUtime=0 cores=1,3
/proc/1017846/task/1017857/stat : 1017857 (Finalizer) S 1017843 1017846 1015377 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 197019253 19566772224 1907752 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
[pid=1017846/tid=1017864] ppid=1017843 vsize=19108176 memory=11488 CPUtime=0 cores=1,3
/proc/1017846/task/1017864/stat : 1017864 (Common-Cleaner) S 1017843 1017846 1015377 0 -1 1077936192 1502 0 0 0 0 0 0 0 20 0 20 0 197019253 19566772224 1907752 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
[pid=1017846/tid=1017866] ppid=1017843 vsize=19108176 memory=13012 CPUtime=0 cores=1,3
/proc/1017846/task/1017866/stat : 1017866 (Timer-0) S 1017843 1017846 1015377 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 197019326 19566772224 1907752 134679101440 94427803332608 94427803336304 140724404919104 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94427803344120 94427803344912 94427808608256 140724404921349 140724404921439 140724404921439 140724404928456 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 7631008 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.37 s, system=2.81657 s

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

[startup+3579.41 s]*
/proc/loadavg: 4.20 4.20 4.24 5/312 1019918
/proc/meminfo: memFree=109069180/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): 3579.42
CPU time (s): 3600.19
CPU user time (s): 3597.37
CPU system time (s): 2.81657
CPU usage (%): 100.58
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 7631008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.37
system time used= 2.81657
maximum resident set size= 7632860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 284096
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114233
involuntary context switches= 14977


# summary of solver processes directly reported to runsolver:
#   pid: 1017846
#   total CPU time (s): 3600.19
#   total CPU user time (s): 3597.37
#   total CPU system time (s): 2.81657

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.56047 second user time and 17.534 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2024-07-20 06:09:58
IDJOB=4452544
IDBENCH=164450
IDSOLVER=3058
FILE ID=nodeC016/4452544-1721448587
RUNJOBID= nodeC016-1721444951-1015389
SLURM_JOB_ID= 7545662
Free space on /tmp= 890076 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2010/normalized-neos-506428.0.u.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452544-1721448587/watcher-4452544-1721448587 -o /tmp/evaluation-result-4452544-1721448587/solver-4452544-1721448587 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721444951-1015389 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4452544-1721448587.opb

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

MD5SUM BENCH= be38a350659e0c4d627f3ed91afb1797
RANDOM SEED=824627139

nodeC016.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		: 3637.997
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.70
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		: 3673.245
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.63
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		: 3599.994
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.70
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		: 3651.205
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.63
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		: 3664.400
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.70
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		: 3675.947
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.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.134
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.70
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		: 3634.611
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.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        111366896 kB
MemAvailable:   115197504 kB
Buffers:          423036 kB
Cached:          4249184 kB
SwapCached:            0 kB
Active:           700960 kB
Inactive:       18806072 kB
Active(anon):       1584 kB
Inactive(anon): 14879132 kB
Active(file):     699376 kB
Inactive(file):  3926940 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              4988 kB
Writeback:             0 kB
AnonPages:      14833388 kB
Mapped:           127924 kB
Shmem:             45912 kB
KReclaimable:      87880 kB
Slab:             200484 kB
SReclaimable:      87880 kB
SUnreclaim:       112604 kB
KernelStack:        4976 kB
PageTables:        39244 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   20579940 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            73600 kB
HardwareCorrupted:     0 kB
AnonHugePages:  14469120 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:      207572 kB
DirectMap2M:    13197312 kB
DirectMap1G:    122683392 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC016 at 2024-07-20 07:09:38