Trace number 4459967

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution Default 2024-07-07SAT (TO)-35 3600.27 3546.14

General information on the benchmark

NamePB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/bsg/normalized-bsg_200_10_2.opb
MD5SUM2ee40362659bac8ce3ae96da1e16af6a
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-58
Best CPU time to get the best result obtained on this benchmark71396.6
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)4984
Sum of products size (including duplicates)9968
Number of different products2492
Sum of products size4984

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	No reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/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.14/0.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c No reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/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.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4459967-1721943341.opb
0.14/0.12	c reading problem ... 
0.14/0.12	c  objective function found
0.35/0.25	c ... done. Wall clock time 0.118s.
0.35/0.25	c declared #vars     400
0.35/0.25	c internal #vars     2892
0.35/0.25	c #constraints  5586
0.35/0.25	c constraints type 
0.35/0.25	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 200
0.35/0.25	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 402
0.35/0.25	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2492
0.35/0.25	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2492
0.35/0.25	c 5586 constraints processed.
0.35/0.25	c objective function length is 200 literals
2.38/1.52	c cleaning 2498 clauses out of 5000 with flag 20336/5000
3.57/2.65	c cleaning 4250 clauses out of 8502 with flag 35328/11000
3.68/2.70	c SATISFIABLE
3.68/2.70	c OPTIMIZING...
3.68/2.71	c Got one! Elapsed wall clock time (in seconds):2.59
3.68/2.71	o -28
3.99/3.00	c Got one! Elapsed wall clock time (in seconds):2.883
3.99/3.00	o -34
4.50/3.58	c cleaning 5037 clauses out of 10075 with flag 12402/16823
5.20/4.22	c cleaning 5525 clauses out of 11050 with flag 29460/22835
5.99/4.99	c cleaning 6281 clauses out of 12562 with flag 54390/29872
7.10/6.06	c cleaning 7114 clauses out of 14254 with flag 76975/37845
8.04/6.94	c cleaning 8064 clauses out of 16127 with flag 100671/46832
8.91/7.79	c cleaning 9023 clauses out of 18056 with flag 128244/56825
10.08/8.80	c cleaning 10014 clauses out of 20031 with flag 155508/67823
11.91/10.64	c cleaning 11011 clauses out of 22022 with flag 181481/79828
13.31/12.01	c cleaning 12020 clauses out of 24039 with flag 209851/92856
15.05/13.73	c cleaning 13018 clauses out of 26035 with flag 241821/106872
17.03/15.67	c cleaning 14008 clauses out of 28017 with flag 273235/121872
19.34/17.89	c cleaning 15004 clauses out of 30010 with flag 307254/137873
21.55/19.90	c cleaning 15981 clauses out of 31962 with flag 342923/154829
23.63/22.08	c cleaning 16988 clauses out of 33976 with flag 380418/172824
26.38/24.74	c cleaning 17965 clauses out of 36005 with flag 419946/191841
28.95/27.21	c cleaning 18970 clauses out of 38022 with flag 463684/211823
33.84/32.09	c cleaning 20045 clauses out of 40105 with flag 508927/232876
37.44/35.52	c cleaning 21013 clauses out of 42026 with flag 556615/254842
41.11/39.13	c cleaning 21993 clauses out of 43994 with flag 605197/277823
44.29/42.25	c cleaning 22947 clauses out of 46002 with flag 655310/301824
47.18/45.05	c cleaning 24034 clauses out of 48067 with flag 708687/326836
50.57/48.37	c cleaning 24996 clauses out of 50023 with flag 765957/352826
55.40/53.06	c cleaning 26008 clauses out of 52024 with flag 830448/379823
59.74/56.94	c cleaning 27007 clauses out of 54019 with flag 891067/407826
64.80/61.94	c cleaning 27967 clauses out of 56024 with flag 957727/436838
70.48/67.42	c cleaning 29015 clauses out of 58042 with flag 1021425/466823
75.95/72.80	c cleaning 29978 clauses out of 60028 with flag 1089891/497824
80.04/76.89	c cleaning 31044 clauses out of 62088 with flag 1158427/529862
84.95/81.69	c cleaning 31997 clauses out of 64016 with flag 1229204/562834
92.60/89.29	c cleaning 33006 clauses out of 66011 with flag 1309658/596826
100.66/97.18	c cleaning 33989 clauses out of 68002 with flag 1387948/631823
107.84/103.88	c cleaning 34972 clauses out of 70014 with flag 1471508/667824
113.31/109.25	c cleaning 36020 clauses out of 72046 with flag 1569316/704828
119.35/115.15	c cleaning 36996 clauses out of 74026 with flag 1657624/742828
123.70/119.53	c cleaning 38016 clauses out of 76046 with flag 1753086/781844
130.23/125.81	c cleaning 38968 clauses out of 78009 with flag 1850481/821823
136.81/132.23	c cleaning 39994 clauses out of 80041 with flag 1947136/862823
142.49/137.98	c cleaning 40993 clauses out of 82048 with flag 2045284/904824
148.07/143.44	c cleaning 42009 clauses out of 84055 with flag 2140191/947824
153.97/149.29	c cleaning 42990 clauses out of 86047 with flag 2238854/991825
158.65/153.87	c cleaning 44023 clauses out of 88061 with flag 2338073/1036829
164.67/158.90	c cleaning 45003 clauses out of 90032 with flag 2439201/1082823
169.37/163.52	c cleaning 46006 clauses out of 92031 with flag 2546037/1129825
175.82/169.81	c cleaning 47012 clauses out of 94024 with flag 2651119/1177824
181.66/175.55	c cleaning 48008 clauses out of 96017 with flag 2758554/1226829
189.25/183.08	c cleaning 48958 clauses out of 98003 with flag 2881397/1276823
198.19/191.97	c cleaning 49987 clauses out of 100045 with flag 3005392/1327823
207.29/200.74	c cleaning 51024 clauses out of 102058 with flag 3121246/1379823
212.20/205.55	c cleaning 52025 clauses out of 104050 with flag 3237640/1432839
227.19/220.39	c cleaning 52996 clauses out of 106009 with flag 3380730/1486823
235.78/228.86	c cleaning 54006 clauses out of 108013 with flag 3579611/1541823
245.77/238.81	c cleaning 55004 clauses out of 110015 with flag 3733438/1597831
256.00/248.85	c cleaning 55979 clauses out of 112005 with flag 3864611/1654825
268.13/260.49	c cleaning 57008 clauses out of 114024 with flag 4022482/1712823
276.05/268.20	c cleaning 58001 clauses out of 116016 with flag 4255040/1771823
283.44/275.56	c cleaning 58968 clauses out of 118015 with flag 4486805/1831823
292.91/284.70	c cleaning 60017 clauses out of 120048 with flag 4682217/1892824
301.71/293.41	c cleaning 60977 clauses out of 122032 with flag 4897455/1954825
310.25/301.94	c cleaning 61995 clauses out of 124053 with flag 5087296/2017823
319.62/311.39	c cleaning 63006 clauses out of 126080 with flag 5291954/2081845
329.57/321.00	c cleaning 64035 clauses out of 128070 with flag 5533115/2146841
338.38/329.77	c cleaning 64990 clauses out of 130017 with flag 5754026/2212823
348.41/339.66	c cleaning 66001 clauses out of 132027 with flag 5960031/2279823
357.93/349.04	c cleaning 67005 clauses out of 134027 with flag 6161105/2347824
367.65/358.49	c cleaning 68011 clauses out of 136021 with flag 6378561/2416823
376.18/366.84	c cleaning 68981 clauses out of 138010 with flag 6595968/2486823
388.42/378.34	c cleaning 70007 clauses out of 140029 with flag 6773307/2557823
408.74/398.48	c cleaning 71013 clauses out of 142031 with flag 6966411/2629832
425.73/415.30	c cleaning 71971 clauses out of 144009 with flag 7170968/2702823
445.52/434.85	c cleaning 72991 clauses out of 146040 with flag 7352469/2776825
461.64/450.67	c cleaning 74011 clauses out of 148068 with flag 7522541/2851844
471.19/459.87	c cleaning 75005 clauses out of 150036 with flag 7695357/2927823
489.07/477.44	c cleaning 76006 clauses out of 152036 with flag 7882672/3004828
502.79/490.00	c cleaning 76974 clauses out of 154029 with flag 8090055/3082827
517.93/504.80	c cleaning 78019 clauses out of 156056 with flag 8344131/3161828
541.13/527.71	c cleaning 78982 clauses out of 158032 with flag 8553251/3241823
566.25/552.75	c cleaning 80029 clauses out of 160068 with flag 8751718/3322841
589.11/575.46	c cleaning 80981 clauses out of 162021 with flag 8939259/3404823
603.58/589.61	c cleaning 82009 clauses out of 164040 with flag 9129996/3487823
621.48/607.24	c cleaning 83001 clauses out of 166031 with flag 9344191/3571823
645.76/630.64	c cleaning 83993 clauses out of 168033 with flag 9551407/3656826
667.02/651.77	c cleaning 84973 clauses out of 170038 with flag 9744756/3742824
689.49/673.93	c cleaning 85993 clauses out of 172064 with flag 10008396/3829823
707.16/691.49	c cleaning 87035 clauses out of 174075 with flag 10313832/3917827
719.25/703.22	c cleaning 88009 clauses out of 176037 with flag 10616520/4006824
734.23/717.99	c cleaning 88973 clauses out of 178027 with flag 10881474/4096823
754.59/738.04	c cleaning 89985 clauses out of 180055 with flag 11125977/4187824
774.38/757.55	c cleaning 91035 clauses out of 182069 with flag 11374617/4279823
793.88/776.04	c cleaning 91972 clauses out of 184034 with flag 11625885/4372823
813.17/795.03	c cleaning 92983 clauses out of 186063 with flag 11920385/4466824
833.34/814.90	c cleaning 94029 clauses out of 188087 with flag 12185491/4561831
851.96/833.23	c cleaning 94979 clauses out of 190050 with flag 12463097/4657823
872.73/853.88	c cleaning 96001 clauses out of 192071 with flag 12715352/4754823
897.05/877.98	c cleaning 97023 clauses out of 194090 with flag 12996763/4852843
935.18/915.80	c cleaning 98015 clauses out of 196068 with flag 13297987/4951844
958.24/938.74	c cleaning 99008 clauses out of 198032 with flag 13563583/5051823
972.41/951.51	c cleaning 100010 clauses out of 200024 with flag 13876735/5152823
972.81/951.93	c Got one! Elapsed wall clock time (in seconds):951.814
972.81/951.93	o -35
974.30/953.43	c cleaning 56587 clauses out of 113174 with flag 13283/5165983
975.29/954.48	c cleaning 31247 clauses out of 62583 with flag 27010/5171979
976.49/955.64	c cleaning 19165 clauses out of 38341 with flag 42541/5178984
977.17/956.38	c cleaning 13559 clauses out of 27171 with flag 62181/5186979
978.22/957.39	c cleaning 11320 clauses out of 22644 with flag 84614/5196011
979.21/958.36	c cleaning 10626 clauses out of 21292 with flag 107257/5205979
980.10/959.29	c cleaning 10833 clauses out of 21666 with flag 139299/5216979
981.09/960.26	c cleaning 11409 clauses out of 22836 with flag 170843/5228982
982.78/961.84	c cleaning 12208 clauses out of 24424 with flag 199535/5241979
984.36/963.49	c cleaning 13115 clauses out of 26231 with flag 231467/5255994
985.65/964.70	c cleaning 14013 clauses out of 28101 with flag 274322/5270979
986.84/965.95	c cleaning 15061 clauses out of 30146 with flag 318085/5287037
988.97/967.90	c cleaning 16012 clauses out of 32027 with flag 356493/5303979
990.95/969.96	c cleaning 16973 clauses out of 34025 with flag 398341/5321989
993.13/972.13	c cleaning 17996 clauses out of 36048 with flag 442434/5340985
995.64/974.57	c cleaning 19031 clauses out of 38078 with flag 488841/5361011
998.33/977.24	c cleaning 20034 clauses out of 40071 with flag 537014/5382035
1001.24/980.05	c cleaning 20990 clauses out of 41982 with flag 586407/5403980
1004.03/982.88	c cleaning 21960 clauses out of 43991 with flag 637699/5426979
1007.00/985.78	c cleaning 23024 clauses out of 46056 with flag 693451/5451004
1010.19/988.94	c cleaning 24016 clauses out of 48033 with flag 750775/5476005
1013.68/992.45	c cleaning 25009 clauses out of 50025 with flag 811227/5502013
1017.17/995.91	c cleaning 26009 clauses out of 52020 with flag 874104/5529017
1021.07/999.80	c cleaning 26953 clauses out of 53977 with flag 937756/5556983
1024.90/1003.53	c cleaning 28008 clauses out of 56066 with flag 1003023/5586025
1029.39/1008.00	c cleaning 29002 clauses out of 58014 with flag 1068491/5615981
1034.12/1012.63	c cleaning 30016 clauses out of 60036 with flag 1137966/5647005
1038.18/1016.77	c cleaning 31005 clauses out of 62019 with flag 1210915/5679004
1042.72/1021.25	c cleaning 31992 clauses out of 63997 with flag 1283873/5711987
1046.98/1025.59	c cleaning 33003 clauses out of 66028 with flag 1360600/5746010
1052.00/1030.49	c cleaning 33989 clauses out of 67994 with flag 1436782/5780979
1056.96/1035.41	c cleaning 35018 clauses out of 70042 with flag 1518345/5817016
1062.49/1040.84	c cleaning 35996 clauses out of 72023 with flag 1602094/5854015
1068.03/1046.47	c cleaning 36990 clauses out of 74008 with flag 1693224/5891996
1073.92/1052.29	c cleaning 37963 clauses out of 76009 with flag 1785104/5930987
1080.09/1058.21	c cleaning 39020 clauses out of 78050 with flag 1876305/5970991
1085.84/1064.03	c cleaning 39979 clauses out of 80019 with flag 1970947/6011980
1092.20/1070.46	c cleaning 41042 clauses out of 82090 with flag 2066419/6054030
1098.34/1076.67	c cleaning 41993 clauses out of 83997 with flag 2165575/6096979
1104.96/1083.27	c cleaning 42965 clauses out of 86004 with flag 2263496/6140979
1112.79/1090.87	c cleaning 44012 clauses out of 88065 with flag 2368786/6186005
1119.73/1097.87	c cleaning 45008 clauses out of 90027 with flag 2472747/6231979
1126.93/1105.05	c cleaning 46025 clauses out of 92057 with flag 2578755/6279017
1134.40/1112.44	c cleaning 46974 clauses out of 93995 with flag 2688821/6326980
1141.73/1119.83	c cleaning 48009 clauses out of 96020 with flag 2798372/6375979
1150.29/1128.49	c cleaning 49020 clauses out of 98047 with flag 2914688/6426015
1160.30/1138.54	c cleaning 49964 clauses out of 99992 with flag 3031152/6476980
1169.25/1147.42	c cleaning 51042 clauses out of 102087 with flag 3151375/6529039
1178.56/1156.82	c cleaning 51993 clauses out of 104009 with flag 3273721/6582003
1188.76/1166.93	c cleaning 52966 clauses out of 106002 with flag 3394374/6635989
1199.78/1177.86	c cleaning 54006 clauses out of 108031 with flag 3520778/6690984
1209.69/1187.67	c cleaning 54986 clauses out of 110034 with flag 3649116/6746993
1219.99/1197.82	c cleaning 56017 clauses out of 112034 with flag 3778458/6803979
1230.97/1208.78	c cleaning 57007 clauses out of 114026 with flag 3906903/6861988
1241.60/1219.24	c cleaning 58005 clauses out of 116010 with flag 4038297/6920979
1253.16/1230.04	c cleaning 58995 clauses out of 118012 with flag 4174112/6980986
1263.74/1240.69	c cleaning 60004 clauses out of 120014 with flag 4312002/7041983
1274.92/1251.76	c cleaning 60999 clauses out of 122006 with flag 4453051/7103979
1286.25/1263.19	c cleaning 61982 clauses out of 124007 with flag 4594388/7166979
1297.41/1274.38	c cleaning 63013 clauses out of 126030 with flag 4739615/7230984
1308.75/1285.51	c cleaning 64002 clauses out of 128014 with flag 4885515/7295981
1320.07/1296.86	c cleaning 64977 clauses out of 130016 with flag 5031824/7361985
1330.78/1307.51	c cleaning 65999 clauses out of 132039 with flag 5182423/7428985
1345.27/1322.02	c cleaning 67010 clauses out of 134043 with flag 5341216/7496988
1357.60/1334.21	c cleaning 67986 clauses out of 136024 with flag 5507155/7565979
1369.58/1346.19	c cleaning 69003 clauses out of 138056 with flag 5670622/7635997
1384.18/1360.86	c cleaning 70005 clauses out of 140042 with flag 5826931/7706986
1398.66/1375.42	c cleaning 71004 clauses out of 142052 with flag 5980830/7779001
1410.04/1386.69	c cleaning 72023 clauses out of 144057 with flag 6147785/7852010
1424.41/1400.87	c cleaning 72994 clauses out of 146015 with flag 6327914/7925991
1436.13/1412.54	c cleaning 73979 clauses out of 148009 with flag 6504111/8000979
1449.07/1425.44	c cleaning 75014 clauses out of 150059 with flag 6678018/8077008
1463.79/1439.83	c cleaning 76020 clauses out of 152039 with flag 6867021/8154002
1475.55/1451.51	c cleaning 76998 clauses out of 153996 with flag 7055197/8231979
1489.81/1465.44	c cleaning 77992 clauses out of 156020 with flag 7235897/8311001
1504.06/1479.58	c cleaning 78988 clauses out of 158006 with flag 7426011/8390979
1518.88/1494.02	c cleaning 79984 clauses out of 160026 with flag 7631657/8471987
1534.10/1509.19	c cleaning 80989 clauses out of 162041 with flag 7829965/8553986
1551.59/1525.62	c cleaning 82002 clauses out of 164049 with flag 8037151/8636983
1567.21/1541.05	c cleaning 83016 clauses out of 166047 with flag 8256516/8720983
1582.58/1556.26	c cleaning 83987 clauses out of 168029 with flag 8450730/8805981
1599.07/1572.55	c cleaning 84986 clauses out of 170040 with flag 8647803/8891979
1614.51/1587.73	c cleaning 85985 clauses out of 172057 with flag 8852354/8978982
1630.09/1603.14	c cleaning 87038 clauses out of 174083 with flag 9052569/9066993
1644.39/1617.22	c cleaning 87982 clauses out of 176031 with flag 9268115/9155979
1660.68/1633.35	c cleaning 89019 clauses out of 178053 with flag 9492888/9245983
1677.78/1650.18	c cleaning 90006 clauses out of 180052 with flag 9709714/9337001
1696.76/1668.84	c cleaning 91012 clauses out of 182025 with flag 9936236/9428980
1714.73/1686.59	c cleaning 91996 clauses out of 184013 with flag 10172467/9521980
1732.97/1703.82	c cleaning 92970 clauses out of 186016 with flag 10424794/9615979
1749.14/1719.75	c cleaning 94018 clauses out of 188050 with flag 10682116/9710983
1768.22/1738.58	c cleaning 95009 clauses out of 190031 with flag 10937133/9806982
1785.49/1755.54	c cleaning 96021 clauses out of 192051 with flag 11196834/9904011
1802.35/1772.31	c cleaning 96977 clauses out of 193999 with flag 11459562/10001980
1820.62/1790.52	c cleaning 97981 clauses out of 196021 with flag 11721990/10100979
1840.09/1809.96	c cleaning 99014 clauses out of 198040 with flag 11978858/10200979
1856.34/1826.03	c cleaning 100004 clauses out of 200027 with flag 12248264/10301980
1874.19/1843.70	c cleaning 100999 clauses out of 202022 with flag 12553440/10403979
1893.36/1862.73	c cleaning 102010 clauses out of 204023 with flag 12840035/10506979
1912.28/1881.43	c cleaning 103001 clauses out of 206013 with flag 13143071/10610979
1930.68/1899.52	c cleaning 104007 clauses out of 208031 with flag 13433594/10715998
1952.07/1919.46	c cleaning 105002 clauses out of 210009 with flag 13714004/10821983
1972.49/1939.50	c cleaning 105962 clauses out of 212010 with flag 14036468/10928986
1993.87/1960.68	c cleaning 107007 clauses out of 214055 with flag 14343745/11036993
2014.69/1981.42	c cleaning 108013 clauses out of 216069 with flag 14664274/11146014
2034.28/2000.93	c cleaning 109007 clauses out of 218022 with flag 14982719/11255980
2055.82/2022.39	c cleaning 109982 clauses out of 220014 with flag 15291151/11366979
2077.92/2044.29	c cleaning 110994 clauses out of 222034 with flag 15572798/11478981
2099.61/2065.82	c cleaning 111970 clauses out of 224039 with flag 15888629/11591980
2121.21/2087.37	c cleaning 113025 clauses out of 226072 with flag 16183331/11705983
2143.33/2109.31	c cleaning 114022 clauses out of 228057 with flag 16508422/11820993
2163.44/2129.32	c cleaning 115014 clauses out of 230038 with flag 16831694/11936996
2186.63/2152.34	c cleaning 115964 clauses out of 232009 with flag 17135790/12053981
2208.68/2174.04	c cleaning 117024 clauses out of 234054 with flag 17445093/12171990
2231.64/2196.51	c cleaning 117981 clauses out of 236030 with flag 17762629/12290990
2256.77/2220.22	c cleaning 119002 clauses out of 238038 with flag 18085120/12410979
2278.96/2242.00	c cleaning 120009 clauses out of 240036 with flag 18404748/12531979
2301.81/2264.59	c cleaning 121012 clauses out of 242033 with flag 18738933/12653985
2328.38/2290.92	c cleaning 122012 clauses out of 244035 with flag 19076194/12776999
2352.93/2315.12	c cleaning 122999 clauses out of 246006 with flag 19407977/12900982
2378.89/2340.81	c cleaning 123976 clauses out of 248004 with flag 19733428/13025979
2403.06/2364.50	c cleaning 125009 clauses out of 250034 with flag 20059490/13151985
2428.53/2389.68	c cleaning 126008 clauses out of 252035 with flag 20389863/13278995
2461.86/2422.70	c cleaning 126967 clauses out of 254011 with flag 20743269/13406979
2488.05/2448.71	c cleaning 128026 clauses out of 256062 with flag 21107201/13535997
2514.95/2475.51	c cleaning 128993 clauses out of 258030 with flag 21470615/13665991
2544.27/2503.72	c cleaning 130017 clauses out of 260034 with flag 21810833/13796988
2572.92/2532.00	c cleaning 130998 clauses out of 262028 with flag 22174078/13928999
2602.21/2560.81	c cleaning 131986 clauses out of 264026 with flag 22532862/14061995
2631.12/2589.57	c cleaning 133010 clauses out of 266034 with flag 22886405/14195989
2659.55/2617.88	c cleaning 134002 clauses out of 268018 with flag 23238017/14330983
2691.25/2649.14	c cleaning 134983 clauses out of 270018 with flag 23592596/14466985
2723.51/2681.21	c cleaning 136010 clauses out of 272030 with flag 23961303/14603980
2753.91/2711.53	c cleaning 136996 clauses out of 274020 with flag 24327844/14741980
2787.89/2745.29	c cleaning 137998 clauses out of 276031 with flag 24700544/14880987
2819.30/2776.43	c cleaning 138982 clauses out of 278025 with flag 25081886/15020979
2853.33/2809.12	c cleaning 139982 clauses out of 280049 with flag 25452352/15161985
2885.95/2841.20	c cleaning 140992 clauses out of 282062 with flag 25814071/15303980
2917.17/2872.06	c cleaning 142019 clauses out of 284077 with flag 26168163/15446987
2947.98/2902.62	c cleaning 143012 clauses out of 286055 with flag 26517165/15590984
2980.96/2935.36	c cleaning 144001 clauses out of 288040 with flag 26898048/15735981
3014.00/2968.23	c cleaning 144989 clauses out of 290037 with flag 27267605/15881979
3051.97/3005.96	c cleaning 145991 clauses out of 292055 with flag 27708664/16028986
3083.96/3037.77	c cleaning 147027 clauses out of 294073 with flag 28140521/16176995
3119.43/3073.15	c cleaning 148013 clauses out of 296041 with flag 28531843/16325990
3155.17/3108.65	c cleaning 148984 clauses out of 298017 with flag 28929121/16475979
3194.58/3146.63	c cleaning 149995 clauses out of 300033 with flag 29328911/16626979
3232.15/3184.19	c cleaning 150989 clauses out of 302040 with flag 29736242/16778981
3269.63/3221.26	c cleaning 151999 clauses out of 304059 with flag 30135218/16931989
3308.16/3259.33	c cleaning 153012 clauses out of 306053 with flag 30567759/17085982
3339.19/3290.00	c cleaning 154006 clauses out of 308042 with flag 30985457/17240983
3376.03/3326.43	c cleaning 154994 clauses out of 310035 with flag 31387268/17396982
3410.00/3359.89	c cleaning 156019 clauses out of 312043 with flag 31801063/17553984
3447.74/3397.16	c cleaning 156985 clauses out of 314020 with flag 32214502/17711980
3482.08/3431.22	c cleaning 158014 clauses out of 316034 with flag 32635545/17870979
3515.66/3464.28	c cleaning 158980 clauses out of 318021 with flag 33049544/18030980
3548.25/3494.48	c cleaning 160036 clauses out of 320071 with flag 33732964/18192010
3600.01/3546.03	c starts		: 12962
3600.01/3546.03	c conflicts		: 18313791
3600.01/3546.03	c decisions		: 65375965
3600.01/3546.03	c propagations		: 556916320
3600.01/3546.03	c inspects		: 19913764695
3600.01/3546.03	c shortcuts		: 0
3600.01/3546.03	c learnt literals	: 0
3600.01/3546.03	c learnt binary clauses	: 10
3600.01/3546.03	c learnt ternary clauses	: 1369
3600.01/3546.03	c learnt constraints	: 18313791
3600.01/3546.03	c ignored constraints	: 0
3600.01/3546.03	c root simplifications	: 0
3600.01/3546.03	c removed literals (reason simplification)	: 0
3600.01/3546.03	c reason swapping (by a shorter reason)	: 0
3600.01/3546.03	c Calls to reduceDB	: 256
3600.01/3546.03	c Number of update (reduction) of LBD	: 3548496
3600.01/3546.03	c Imported unit clauses	: 0
3600.01/3546.03	c No decision after first conflict	: false
3600.01/3546.03	c number of reductions to clauses (during analyze)	: 0
3600.01/3546.03	c number of learned constraints concerned by reduction	: 0
3600.01/3546.03	c number of learning phase by resolution	: 0
3600.01/3546.03	c number of learning phase by cutting planes	: 0
3600.01/3546.03	c number of rounding to 1 operations	: 0
3600.01/3546.03	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.01/3546.03	c number of reductions of the coefficients by power 2 	: 0
3600.01/3546.03	c number of right shift for reduction by power 2 	: 0
3600.01/3546.03	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.01/3546.03	c number of ending skipping 	: 0
3600.01/3546.03	c number of internal skipping 	: 0
3600.01/3546.03	c number of derivation steps 	: 0
3600.01/3546.03	c number of skipped derivation steps 	: 0
3600.01/3546.03	c number of remaining unassigned 	: 0
3600.01/3546.03	c number of remaining assigned 	: 0
3600.01/3546.03	c number of falsified literals weakened from reason	: 0
3600.01/3546.03	c number of falsified literals weakened from conflict	: 0
3600.01/3546.03	c time for arithmetic operations	: 0
3600.01/3546.03	c minimum degree of deleted constraints	: null
3600.01/3546.05	c maximum degree of deleted constraints	: null
3600.01/3546.05	c number of deleted constraints	: 0
3600.01/3546.05	c speed (assignments/second)	: 157064.5443315716
3600.01/3546.05	c non guided choices	: 0
3600.01/3546.11	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 281806
3600.01/3546.11	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 10
3600.01/3546.11	s SATISFIABLE
3600.01/3546.11	c Found 3 solution(s)
3600.01/3546.11	v -x1 -x2 -x3 x4 -x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20 -x21 -x22 x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 x36 x37 x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 x69 x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 x142 x143 -x144 -x145 x146 x147 -x148 -x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 x206 x207 -x208 -x209 x210 -x211 x212 x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 x245 -x246 -x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 x255 x256 -x257 -x258 -x259 x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 x281 -x282 -x283 -x284 -x285 -x286 x287 x288 -x289 -x290 -x291 -x292 x293 -x294 -x295 -x296 -x297 -x298 x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 x312 -x313 -x314 -x315 -x316 -x317 x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 x333 -x334 x335 -x336 x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 x365 -x366 x367 -x368 -x369 -x370 -x371 x372 -x373 -x374 -x375 x376 -x377 x378 -x379 x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 x393 -x394 -x395 x396 -x397 -x398 -x399 -x400 
3600.01/3546.11	c objective function=-35
3600.01/3546.11	c Total wall clock time (in seconds): 3545.989

Verifier Data 

OK	-35

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459967-1721943341/watcher-4459967-1721943341 -o /tmp/evaluation-result-4459967-1721943341/solver-4459967-1721943341 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721943062-255545 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4459967-1721943341.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=255847, runsolver pid=255844

[startup+0.100272 s]*
/proc/loadavg: 4.11 3.07 1.95 7/335 255865
/proc/meminfo: memFree=116423716/131524600 swapFree=131061428/131071996
[pid=255847] ppid=255844 vsize=18975048 memory=65112 CPUtime=0.14 cores=0,2
/proc/255847/stat : 255847 (java) S 255844 255847 253150 0 -1 1077936128 7234 0 0 0 12 2 0 0 20 0 18 0 30857031 19430449152 16278 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
/proc/255847/statm: 4743762 16278 5654 1 0 549343 0
[pid=255847/tid=255849] ppid=255844 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=0,2
/proc/255847/task/255849/stat : 255849 (java) R 255844 255847 253150 0 -1 4194368 5758 0 0 0 7 2 0 0 20 0 18 0 30857031 19430449152 16278 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
[pid=255847/tid=255858] ppid=255844 vsize=18975048 memory=237146210664 CPUtime=0 cores=0,2
/proc/255847/task/255858/stat : 255858 (Finalizer) S 255844 255847 253150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30857034 19430449152 16278 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
[pid=255847/tid=255865] ppid=255844 vsize=18975048 memory=13855165888404792 CPUtime=0 cores=0,2
/proc/255847/task/255865/stat : 255865 (Common-Cleaner) S 255844 255847 253150 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 30857034 19430449152 16278 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65112 KiB

[startup+0.206228 s]*
/proc/loadavg: 4.11 3.07 1.95 7/335 255865
/proc/meminfo: memFree=116411236/131524600 swapFree=131061428/131071996
[pid=255847] ppid=255844 vsize=18975048 memory=75604 CPUtime=0.35 cores=0,2
/proc/255847/stat : 255847 (java) S 255844 255847 253150 0 -1 1077936128 7856 0 0 0 32 3 0 0 20 0 18 0 30857031 19430449152 18901 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
/proc/255847/statm: 4743762 18901 5787 1 0 549682 0
[pid=255847/tid=255849] ppid=255844 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=0,2
/proc/255847/task/255849/stat : 255849 (java) R 255844 255847 253150 0 -1 4194368 5918 0 0 0 16 2 0 0 20 0 18 0 30857031 19430449152 18901 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
[pid=255847/tid=255858] ppid=255844 vsize=18975048 memory=1121866 CPUtime=0 cores=0,2
/proc/255847/task/255858/stat : 255858 (Finalizer) S 255844 255847 253150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 30857034 19430449152 18901 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
[pid=255847/tid=255865] ppid=255844 vsize=18975048 memory=14415916817450633 CPUtime=0 cores=0,2
/proc/255847/task/255865/stat : 255865 (Common-Cleaner) S 255844 255847 253150 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 30857034 19430449152 18901 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 75604 KiB

[startup+0.306231 s]*
/proc/loadavg: 4.11 3.07 1.95 7/336 255866
/proc/meminfo: memFree=116394976/131524600 swapFree=131061428/131071996
[pid=255847] ppid=255844 vsize=19041612 memory=89796 CPUtime=0.53 cores=0,2
/proc/255847/stat : 255847 (java) S 255844 255847 253150 0 -1 1077936128 10500 0 0 0 50 3 0 0 20 0 19 0 30857031 19498610688 22449 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
/proc/255847/statm: 4760403 22449 5847 1 0 551353 0
[pid=255847/tid=255849] ppid=255844 vsize=19041612 memory=-8888243535881151164 CPUtime=0.25 cores=0,2
/proc/255847/task/255849/stat : 255849 (java) R 255844 255847 253150 0 -1 4194368 6060 0 0 0 23 2 0 0 20 0 19 0 30857031 19498610688 22449 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
[pid=255847/tid=255858] ppid=255844 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/255847/task/255858/stat : 255858 (Finalizer) S 255844 255847 253150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 30857034 19498610688 22449 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
[pid=255847/tid=255865] ppid=255844 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/255847/task/255865/stat : 255865 (Common-Cleaner) S 255844 255847 253150 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 30857034 19498610688 22449 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
[pid=255847/tid=255866] ppid=255844 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/255847/task/255866/stat : 255866 (Timer-0) S 255844 255847 253150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 30857057 19498610688 22449 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 89796 KiB

[startup+0.701232 s]
/proc/loadavg: 4.11 3.07 1.95 6/336 255866
/proc/meminfo: memFree=116389312/131524600 swapFree=131061428/131071996
[pid=255847] ppid=255844 vsize=19041612 memory=99116 CPUtime=1.3 cores=0,2
/proc/255847/stat : 255847 (java) S 255844 255847 253150 0 -1 1077936128 11217 0 0 0 126 4 0 0 20 0 19 0 30857031 19498610688 24779 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
/proc/255847/statm: 4760403 24779 5879 1 0 551915 0
[pid=255847/tid=255849] ppid=255844 vsize=19041612 memory=13524 CPUtime=0.62 cores=0,2
/proc/255847/task/255849/stat : 255849 (java) R 255844 255847 253150 0 -1 4194368 6072 0 0 0 60 2 0 0 20 0 19 0 30857031 19498610688 24779 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
[pid=255847/tid=255858] ppid=255844 vsize=19041612 memory=13524 CPUtime=0 cores=0,2
/proc/255847/task/255858/stat : 255858 (Finalizer) S 255844 255847 253150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 30857034 19498610688 24779 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
[pid=255847/tid=255865] ppid=255844 vsize=19041612 memory=117636 CPUtime=0 cores=0,2
/proc/255847/task/255865/stat : 255865 (Common-Cleaner) S 255844 255847 253150 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 30857034 19498610688 24779 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
[pid=255847/tid=255866] ppid=255844 vsize=19041612 memory=1896 CPUtime=0 cores=0,2
/proc/255847/task/255866/stat : 255866 (Timer-0) S 255844 255847 253150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 30857057 19498610688 24779 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
Current children cumulated CPU time: 1.3 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 99116 KiB

[startup+1.50023 s]
/proc/loadavg: 4.11 3.07 1.95 5/336 255868
/proc/meminfo: memFree=116363716/131524600 swapFree=131061428/131071996
[pid=255847] ppid=255844 vsize=19041612 memory=110296 CPUtime=2.38 cores=0,2
/proc/255847/stat : 255847 (java) S 255844 255847 253150 0 -1 1077936128 14242 0 0 0 234 4 0 0 20 0 19 0 30857031 19498610688 27574 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
/proc/255847/statm: 4760403 27574 5879 1 0 552083 0
[pid=255847/tid=255849] ppid=255844 vsize=19041612 memory=13524 CPUtime=1.42 cores=0,2
/proc/255847/task/255849/stat : 255849 (java) R 255844 255847 253150 0 -1 4194368 6275 0 0 0 140 2 0 0 20 0 19 0 30857031 19498610688 27574 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
[pid=255847/tid=255858] ppid=255844 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/255847/task/255858/stat : 255858 (Finalizer) S 255844 255847 253150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 30857034 19498610688 27574 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
[pid=255847/tid=255865] ppid=255844 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/255847/task/255865/stat : 255865 (Common-Cleaner) S 255844 255847 253150 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 30857034 19498610688 27574 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
[pid=255847/tid=255866] ppid=255844 vsize=19041612 memory=65 CPUtime=0 cores=0,2
/proc/255847/task/255866/stat : 255866 (Timer-0) S 255844 255847 253150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 30857057 19498610688 27574 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
Current children cumulated CPU time: 2.38 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 110296 KiB

[startup+3.10577 s]
/proc/loadavg: 4.26 3.12 1.97 5/336 255868
/proc/meminfo: memFree=116082496/131524600 swapFree=131061428/131071996
[pid=255847] ppid=255844 vsize=19041612 memory=135156 CPUtime=4.09 cores=0,2
/proc/255847/stat : 255847 (java) S 255844 255847 253150 0 -1 1077936128 16570 0 0 0 405 4 0 0 20 0 19 0 30857031 19498610688 33789 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
/proc/255847/statm: 4760403 33789 5879 1 0 552149 0
[pid=255847/tid=255849] ppid=255844 vsize=19041612 memory=0 CPUtime=3.01 cores=0,2
/proc/255847/task/255849/stat : 255849 (java) R 255844 255847 253150 0 -1 4194368 8022 0 0 0 299 2 0 0 20 0 19 0 30857031 19498610688 33789 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
[pid=255847/tid=255858] ppid=255844 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/255847/task/255858/stat : 255858 (Finalizer) S 255844 255847 253150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 30857034 19498610688 33789 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
[pid=255847/tid=255865] ppid=255844 vsize=19041612 memory=114580 CPUtime=0 cores=0,2
/proc/255847/task/255865/stat : 255865 (Common-Cleaner) S 255844 255847 253150 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 30857034 19498610688 33789 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
[pid=255847/tid=255866] ppid=255844 vsize=19041612 memory=13524 CPUtime=0 cores=0,2
/proc/255847/task/255866/stat : 255866 (Timer-0) S 255844 255847 253150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 30857057 19498610688 33789 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
Current children cumulated CPU time: 4.09 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 135156 KiB

[startup+6.30027 s]
/proc/loadavg: 4.26 3.12 1.97 6/337 255869
/proc/meminfo: memFree=116019416/131524600 swapFree=131061428/131071996
[pid=255847] ppid=255844 vsize=19108176 memory=245104 CPUtime=7.44 cores=0,2
/proc/255847/stat : 255847 (java) S 255844 255847 253150 0 -1 1077936128 20565 0 0 0 737 7 0 0 20 0 20 0 30857031 19566772224 61276 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
/proc/255847/statm: 4777044 61276 5895 1 0 552442 0
[pid=255847/tid=255849] ppid=255844 vsize=19108176 memory=13524 CPUtime=6.11 cores=0,2
/proc/255847/task/255849/stat : 255849 (java) R 255844 255847 253150 0 -1 4194368 8435 0 0 0 608 3 0 0 20 0 20 0 30857031 19566772224 61276 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
[pid=255847/tid=255858] ppid=255844 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/255847/task/255858/stat : 255858 (Finalizer) S 255844 255847 253150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30857034 19566772224 61276 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
[pid=255847/tid=255865] ppid=255844 vsize=19108176 memory=6297278465576489556 CPUtime=0 cores=0,2
/proc/255847/task/255865/stat : 255865 (Common-Cleaner) S 255844 255847 253150 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 30857034 19566772224 61276 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
[pid=255847/tid=255866] ppid=255844 vsize=19108176 memory=5516 CPUtime=0 cores=0,2
/proc/255847/task/255866/stat : 255866 (Timer-0) S 255844 255847 253150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30857057 19566772224 61276 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
Current children cumulated CPU time: 7.44 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 245104 KiB

[startup+12.7012 s]
/proc/loadavg: 4.37 3.18 2.01 5/332 255870
/proc/meminfo: memFree=115624056/131524600 swapFree=131061428/131071996
[pid=255847] ppid=255844 vsize=19108176 memory=571124 CPUtime=14.06 cores=0,2
/proc/255847/stat : 255847 (java) S 255844 255847 253150 0 -1 1077936128 22687 0 0 0 1393 13 0 0 20 0 20 0 30857031 19566772224 142781 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
/proc/255847/statm: 4777044 142781 5911 1 0 711190 0
[pid=255847/tid=255849] ppid=255844 vsize=19108176 memory=0 CPUtime=12.2 cores=0,2
/proc/255847/task/255849/stat : 255849 (java) R 255844 255847 253150 0 -1 4194368 8829 0 0 0 1216 4 0 0 20 0 20 0 30857031 19566772224 142781 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
[pid=255847/tid=255858] ppid=255844 vsize=19108176 memory=471360 CPUtime=0 cores=0,2
/proc/255847/task/255858/stat : 255858 (Finalizer) S 255844 255847 253150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30857034 19566772224 142781 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
[pid=255847/tid=255865] ppid=255844 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/255847/task/255865/stat : 255865 (Common-Cleaner) S 255844 255847 253150 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 30857034 19566772224 142781 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
[pid=255847/tid=255866] ppid=255844 vsize=19108176 memory=16100 CPUtime=0 cores=0,2
/proc/255847/task/255866/stat : 255866 (Timer-0) S 255844 255847 253150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30857057 19566772224 142781 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
Current children cumulated CPU time: 14.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 571124 KiB

[startup+25.5012 s]
/proc/loadavg: 4.32 3.21 2.03 5/332 255872
/proc/meminfo: memFree=114867620/131524600 swapFree=131061428/131071996
[pid=255847] ppid=255844 vsize=19108176 memory=1358916 CPUtime=27.26 cores=0,2
/proc/255847/stat : 255847 (java) S 255844 255847 253150 0 -1 1077936128 28612 0 0 0 2695 31 0 0 20 0 20 0 30857031 19566772224 339729 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
/proc/255847/statm: 4777044 339729 5911 1 0 847100 0
[pid=255847/tid=255849] ppid=255844 vsize=19108176 memory=471360 CPUtime=24.41 cores=0,2
/proc/255847/task/255849/stat : 255849 (java) R 255844 255847 253150 0 -1 4194368 9572 0 0 0 2433 8 0 0 20 0 20 0 30857031 19566772224 339729 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
[pid=255847/tid=255858] ppid=255844 vsize=19108176 memory=16100 CPUtime=0 cores=0,2
/proc/255847/task/255858/stat : 255858 (Finalizer) S 255844 255847 253150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30857034 19566772224 339729 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
[pid=255847/tid=255865] ppid=255844 vsize=19108176 memory=904200 CPUtime=0 cores=0,2
/proc/255847/task/255865/stat : 255865 (Common-Cleaner) S 255844 255847 253150 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 20 0 30857034 19566772224 339729 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
[pid=255847/tid=255866] ppid=255844 vsize=19108176 memory=12156 CPUtime=0 cores=0,2
/proc/255847/task/255866/stat : 255866 (Timer-0) S 255844 255847 253150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30857057 19566772224 339729 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
Current children cumulated CPU time: 27.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1358916 KiB

[startup+51.1058 s]
/proc/loadavg: 4.41 3.32 2.10 5/331 255877
/proc/meminfo: memFree=113235992/131524600 swapFree=131061428/131071996
[pid=255847] ppid=255844 vsize=19108176 memory=2437508 CPUtime=53.5 cores=0,2
/proc/255847/stat : 255847 (java) S 255844 255847 253150 0 -1 1077936128 31842 0 0 0 5297 53 0 0 20 0 20 0 30857031 19566772224 609377 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
/proc/255847/statm: 4777044 609377 5911 1 0 976614 0
[pid=255847/tid=255849] ppid=255844 vsize=19108176 memory=1986936 CPUtime=49.1 cores=0,2
/proc/255847/task/255849/stat : 255849 (java) R 255844 255847 253150 0 -1 4194368 10545 0 0 0 4899 11 0 0 20 0 20 0 30857031 19566772224 609377 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0

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

[startup+3222.3 s]
/proc/loadavg: 4.24 4.30 4.22 5/332 258136
/proc/meminfo: memFree=84456188/131524600 swapFree=131061428/131071996
[pid=255847] ppid=255844 vsize=19108176 memory=8987336 CPUtime=3270.73 cores=0,2
/proc/255847/stat : 255847 (java) S 255844 255847 253150 0 -1 1077936128 285317 0 0 0 326771 302 0 0 20 0 20 0 30857031 19566772224 2246834 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
/proc/255847/statm: 4777044 2246834 5926 1 0 2379110 0
[pid=255847/tid=255849] ppid=255844 vsize=19108176 memory=2212 CPUtime=3140.67 cores=0,2
/proc/255847/task/255849/stat : 255849 (java) R 255844 255847 253150 0 -1 4194368 55896 0 0 0 313994 73 0 0 20 0 20 0 30857031 19566772224 2246834 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
[pid=255847/tid=255858] ppid=255844 vsize=19108176 memory=8454940 CPUtime=0 cores=0,2
/proc/255847/task/255858/stat : 255858 (Finalizer) S 255844 255847 253150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30857034 19566772224 2246834 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
[pid=255847/tid=255865] ppid=255844 vsize=19108176 memory=-8888243535881151164 CPUtime=0 cores=0,2
/proc/255847/task/255865/stat : 255865 (Common-Cleaner) S 255844 255847 253150 0 -1 1077936192 794 0 0 0 0 0 0 0 20 0 20 0 30857034 19566772224 2246834 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
[pid=255847/tid=255866] ppid=255844 vsize=19108176 memory=12156 CPUtime=0 cores=0,2
/proc/255847/task/255866/stat : 255866 (Timer-0) S 255844 255847 253150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30857057 19566772224 2246834 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
Current children cumulated CPU time: 3270.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 8987336 KiB

[startup+3282.3 s]
/proc/loadavg: 3.12 4.02 4.13 2/254 258249
/proc/meminfo: memFree=115127244/131524600 swapFree=131061428/131071996
[pid=255847] ppid=255844 vsize=19108176 memory=8987336 CPUtime=3331.61 cores=0,2
/proc/255847/stat : 255847 (java) S 255844 255847 253150 0 -1 1077936128 285605 0 0 0 332857 304 0 0 20 0 20 0 30857031 19566772224 2246834 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
/proc/255847/statm: 4777044 2246834 5926 1 0 2379110 0
[pid=255847/tid=255849] ppid=255844 vsize=19108176 memory=8987336 CPUtime=3199.36 cores=0,2
/proc/255847/task/255849/stat : 255849 (java) R 255844 255847 253150 0 -1 4194368 55978 0 0 0 319863 73 0 0 20 0 20 0 30857031 19566772224 2246834 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
[pid=255847/tid=255858] ppid=255844 vsize=19108176 memory=8987336 CPUtime=0 cores=0,2
/proc/255847/task/255858/stat : 255858 (Finalizer) S 255844 255847 253150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30857034 19566772224 2246834 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
[pid=255847/tid=255865] ppid=255844 vsize=19108176 memory=8987336 CPUtime=0 cores=0,2
/proc/255847/task/255865/stat : 255865 (Common-Cleaner) S 255844 255847 253150 0 -1 1077936192 794 0 0 0 0 0 0 0 20 0 20 0 30857034 19566772224 2246834 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
[pid=255847/tid=255866] ppid=255844 vsize=19108176 memory=8987336 CPUtime=0 cores=0,2
/proc/255847/task/255866/stat : 255866 (Timer-0) S 255844 255847 253150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30857057 19566772224 2246834 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
Current children cumulated CPU time: 3331.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 8987336 KiB

[startup+3342.3 s]
/proc/loadavg: 1.89 3.50 3.94 2/256 258318
/proc/meminfo: memFree=115126696/131524600 swapFree=131061428/131071996
[pid=255847] ppid=255844 vsize=19108176 memory=8987392 CPUtime=3392.24 cores=0,2
/proc/255847/stat : 255847 (java) S 255844 255847 253150 0 -1 1077936128 288506 0 0 0 338918 306 0 0 20 0 20 0 30857031 19566772224 2246848 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
/proc/255847/statm: 4777044 2246848 5926 1 0 2379110 0
[pid=255847/tid=255849] ppid=255844 vsize=19108176 memory=634 CPUtime=3258.46 cores=0,2
/proc/255847/task/255849/stat : 255849 (java) R 255844 255847 253150 0 -1 4194368 56599 0 0 0 325773 73 0 0 20 0 20 0 30857031 19566772224 2246848 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
[pid=255847/tid=255858] ppid=255844 vsize=19108176 memory=167 CPUtime=0 cores=0,2
/proc/255847/task/255858/stat : 255858 (Finalizer) S 255844 255847 253150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30857034 19566772224 2246848 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
[pid=255847/tid=255865] ppid=255844 vsize=19108176 memory=69212 CPUtime=0 cores=0,2
/proc/255847/task/255865/stat : 255865 (Common-Cleaner) S 255844 255847 253150 0 -1 1077936192 794 0 0 0 0 0 0 0 20 0 20 0 30857034 19566772224 2246848 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
[pid=255847/tid=255866] ppid=255844 vsize=19108176 memory=69212 CPUtime=0 cores=0,2
/proc/255847/task/255866/stat : 255866 (Timer-0) S 255844 255847 253150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30857057 19566772224 2246848 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
Current children cumulated CPU time: 3392.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 8987392 KiB

[startup+3402.3 s]
/proc/loadavg: 1.37 3.05 3.76 2/256 258331
/proc/meminfo: memFree=115125968/131524600 swapFree=131061428/131071996
[pid=255847] ppid=255844 vsize=19108176 memory=8987392 CPUtime=3453.07 cores=0,2
/proc/255847/stat : 255847 (java) S 255844 255847 253150 0 -1 1077936128 289649 0 0 0 344999 308 0 0 20 0 20 0 30857031 19566772224 2246848 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
/proc/255847/statm: 4777044 2246848 5926 1 0 2379110 0
[pid=255847/tid=255849] ppid=255844 vsize=19108176 memory=8987392 CPUtime=3317.34 cores=0,2
/proc/255847/task/255849/stat : 255849 (java) R 255844 255847 253150 0 -1 4194368 56901 0 0 0 331661 73 0 0 20 0 20 0 30857031 19566772224 2246848 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
[pid=255847/tid=255858] ppid=255844 vsize=19108176 memory=8987392 CPUtime=0 cores=0,2
/proc/255847/task/255858/stat : 255858 (Finalizer) S 255844 255847 253150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30857034 19566772224 2246848 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
[pid=255847/tid=255865] ppid=255844 vsize=19108176 memory=12156 CPUtime=0 cores=0,2
/proc/255847/task/255865/stat : 255865 (Common-Cleaner) S 255844 255847 253150 0 -1 1077936192 843 0 0 0 0 0 0 0 20 0 20 0 30857034 19566772224 2246848 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
[pid=255847/tid=255866] ppid=255844 vsize=19108176 memory=8987392 CPUtime=0 cores=0,2
/proc/255847/task/255866/stat : 255866 (Timer-0) S 255844 255847 253150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30857057 19566772224 2246848 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
Current children cumulated CPU time: 3453.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 8987392 KiB

[startup+3462.3 s]
/proc/loadavg: 1.32 2.72 3.60 2/256 258342
/proc/meminfo: memFree=115122492/131524600 swapFree=131061428/131071996
[pid=255847] ppid=255844 vsize=19108176 memory=8990016 CPUtime=3513.77 cores=0,2
/proc/255847/stat : 255847 (java) S 255844 255847 253150 0 -1 1077936128 291021 0 0 0 351068 309 0 0 20 0 20 0 30857031 19566772224 2247504 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
/proc/255847/statm: 4777044 2247504 5926 1 0 2379110 0
[pid=255847/tid=255849] ppid=255844 vsize=19108176 memory=8987392 CPUtime=3376.11 cores=0,2
/proc/255847/task/255849/stat : 255849 (java) R 255844 255847 253150 0 -1 4194368 57084 0 0 0 337538 73 0 0 20 0 20 0 30857031 19566772224 2247504 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
[pid=255847/tid=255858] ppid=255844 vsize=19108176 memory=12156 CPUtime=0 cores=0,2
/proc/255847/task/255858/stat : 255858 (Finalizer) S 255844 255847 253150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30857034 19566772224 2247504 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
[pid=255847/tid=255865] ppid=255844 vsize=19108176 memory=12156 CPUtime=0 cores=0,2
/proc/255847/task/255865/stat : 255865 (Common-Cleaner) S 255844 255847 253150 0 -1 1077936192 843 0 0 0 0 0 0 0 20 0 20 0 30857034 19566772224 2247504 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
[pid=255847/tid=255866] ppid=255844 vsize=19108176 memory=8990016 CPUtime=0 cores=0,2
/proc/255847/task/255866/stat : 255866 (Timer-0) S 255844 255847 253150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30857057 19566772224 2247504 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
Current children cumulated CPU time: 3513.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 8990016 KiB

[startup+3522.3 s]
/proc/loadavg: 1.22 2.44 3.44 2/256 258354
/proc/meminfo: memFree=114367060/131524600 swapFree=131061428/131071996
[pid=255847] ppid=255844 vsize=19108176 memory=9743188 CPUtime=3576.36 cores=0,2
/proc/255847/stat : 255847 (java) S 255844 255847 253150 0 -1 1077936128 314973 0 0 0 357310 326 0 0 20 0 20 0 30857031 19566772224 2435797 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
/proc/255847/statm: 4777044 2435797 5926 1 0 2865012 0
[pid=255847/tid=255849] ppid=255844 vsize=19108176 memory=8990016 CPUtime=3435.13 cores=0,2
/proc/255847/task/255849/stat : 255849 (java) R 255844 255847 253150 0 -1 4194368 61042 0 0 0 343432 81 0 0 20 0 20 0 30857031 19566772224 2435797 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
[pid=255847/tid=255858] ppid=255844 vsize=19108176 memory=8989444 CPUtime=0 cores=0,2
/proc/255847/task/255858/stat : 255858 (Finalizer) S 255844 255847 253150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30857034 19566772224 2435797 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
[pid=255847/tid=255865] ppid=255844 vsize=19108176 memory=-8888243535881151164 CPUtime=0 cores=0,2
/proc/255847/task/255865/stat : 255865 (Common-Cleaner) S 255844 255847 253150 0 -1 1077936192 843 0 0 0 0 0 0 0 20 0 20 0 30857034 19566772224 2435797 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
[pid=255847/tid=255866] ppid=255844 vsize=19108176 memory=-8888243535881151164 CPUtime=0 cores=0,2
/proc/255847/task/255866/stat : 255866 (Timer-0) S 255844 255847 253150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30857057 19566772224 2435797 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
Current children cumulated CPU time: 3576.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9743188 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3546 s]*
/proc/loadavg: 1.15 2.32 3.38 2/256 258357
/proc/meminfo: memFree=114366492/131524600 swapFree=131061428/131071996
[pid=255847] ppid=255844 vsize=19108176 memory=9743256 CPUtime=3600.01 cores=0,2
/proc/255847/stat : 255847 (java) S 255844 255847 253150 0 -1 1077936128 315121 0 0 0 359675 326 0 0 20 0 20 0 30857031 19566772224 2435814 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
/proc/255847/statm: 4777044 2435814 5926 1 0 2865054 0
[pid=255847/tid=255849] ppid=255844 vsize=19108176 memory=39692 CPUtime=3458.77 cores=0,2
/proc/255847/task/255849/stat : 255849 (java) R 255844 255847 253150 0 -1 4194368 61187 0 0 0 345796 81 0 0 20 0 20 0 30857031 19566772224 2435814 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
[pid=255847/tid=255858] ppid=255844 vsize=19108176 memory=32096 CPUtime=0 cores=0,2
/proc/255847/task/255858/stat : 255858 (Finalizer) S 255844 255847 253150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 30857034 19566772224 2435814 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
[pid=255847/tid=255865] ppid=255844 vsize=19108176 memory=4270431478482867297 CPUtime=0 cores=0,2
/proc/255847/task/255865/stat : 255865 (Common-Cleaner) S 255844 255847 253150 0 -1 1077936192 844 0 0 0 0 0 0 0 20 0 20 0 30857034 19566772224 2435814 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
[pid=255847/tid=255866] ppid=255844 vsize=19108176 memory=28512 CPUtime=0 cores=0,2
/proc/255847/task/255866/stat : 255866 (Timer-0) S 255844 255847 253150 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 30857057 19566772224 2435814 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9743256 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.97 s, system=3.29942 s

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

[startup+3546.11 s]
/proc/loadavg: 1.15 2.32 3.38 2/256 258357
/proc/meminfo: memFree=114366492/131524600 swapFree=131061428/131071996
[pid=255847] ppid=255844 vsize=19307868 memory=9744036 CPUtime=3600.23 cores=0,2
/proc/255847/stat : 255847 (java) S 255844 255847 253150 0 -1 1077936128 316714 0 0 0 359696 327 0 0 20 0 21 0 30857031 19771256832 2436009 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
/proc/255847/statm: 4826967 2436009 5925 1 0 2865960 0
[pid=255847/tid=255849] ppid=255844 vsize=19307868 memory=9743188 CPUtime=3458.87 cores=0,2
/proc/255847/task/255849/stat : 255849 (java) R 255844 255847 253150 0 -1 4194368 61259 0 0 0 345806 81 0 0 20 0 21 0 30857031 19771256832 2436009 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
[pid=255847/tid=255858] ppid=255844 vsize=19307868 memory=12156 CPUtime=0 cores=0,2
/proc/255847/task/255858/stat : 255858 (Finalizer) S 255844 255847 253150 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 30857034 19771256832 2436009 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
[pid=255847/tid=255865] ppid=255844 vsize=19307868 memory=16100 CPUtime=0 cores=0,2
/proc/255847/task/255865/stat : 255865 (Common-Cleaner) S 255844 255847 253150 0 -1 1077936192 844 0 0 0 0 0 0 0 20 0 21 0 30857034 19771256832 2436009 134679101440 94062197215232 94062197218928 140722676520112 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94062197226744 94062197227536 94062223331328 140722676524038 140722676524128 140722676524128 140722676531144 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 9744036 KiB

Child status: 143

Real time (s): 3546.14
CPU time (s): 3600.27
CPU user time (s): 3596.97
CPU system time (s): 3.29942
CPU usage (%): 101.526
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 9744036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.97
system time used= 3.29942
maximum resident set size= 9745248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 316766
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 122974
involuntary context switches= 38962


# summary of solver processes directly reported to runsolver:
#   pid: 255847
#   total CPU time (s): 3600.27
#   total CPU user time (s): 3596.97
#   total CPU system time (s): 3.29942

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.53486 second user time and 17.6163 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2024-07-25 23:35:41
IDJOB=4459967
IDBENCH=148699
IDSOLVER=3058
FILE ID=nodeC022/4459967-1721943341
RUNJOBID= nodeC022-1721943062-255545
SLURM_JOB_ID= 8247243
Free space on /tmp= 890076 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_10_2.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459967-1721943341/watcher-4459967-1721943341 -o /tmp/evaluation-result-4459967-1721943341/solver-4459967-1721943341 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721943062-255545 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4459967-1721943341.opb

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

MD5SUM BENCH= 2ee40362659bac8ce3ae96da1e16af6a
RANDOM SEED=1677222434

nodeC022.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		: 3633.438
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.87
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		: 3600.276
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.75
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		: 3656.379
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.87
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		: 3688.724
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.75
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		: 3679.057
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.87
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		: 3688.723
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.75
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		: 3609.523
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.87
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		: 3600.075
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        116472280 kB
MemAvailable:   122016164 kB
Buffers:          344768 kB
Cached:          5948476 kB
SwapCached:         1424 kB
Active:          2658232 kB
Inactive:       11607208 kB
Active(anon):       1932 kB
Inactive(anon):  8023988 kB
Active(file):    2656300 kB
Inactive(file):  3583220 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131061428 kB
Dirty:              1080 kB
Writeback:             0 kB
AnonPages:       7970832 kB
Mapped:           135424 kB
Shmem:             53732 kB
KReclaimable:     292116 kB
Slab:             416708 kB
SReclaimable:     292116 kB
SUnreclaim:       124592 kB
KernelStack:        5120 kB
PageTables:        25848 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   13592896 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            17248 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7608320 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:      334548 kB
DirectMap2M:    36139008 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 890084 MiB
End job on nodeC022 at 2024-07-26 00:34:47