Trace number 4432233

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)229 3600.26 3549.25

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb
MD5SUM1da12ebdd4ab5e725928f3bf845b8b1e
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark186
Best CPU time to get the best result obtained on this benchmark3558
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables479
Total number of constraints479
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints479
Minimum length of a constraint4
Maximum length of a constraint17
Number of terms in the objective function 479
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 479
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 479
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.06	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.06	c See www.sat4j.org for details.
0.00/0.07	c version CUSTOM.v20240707
0.00/0.08	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.08	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.08	c java.vm.version	22.0.1+8-16
0.00/0.08	c java.vm.vendor	Oracle Corporation
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		22.0.1
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		2104792832
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-4432233-1721086325.opb
0.14/0.12	c reading problem ... 
0.14/0.12	c  objective function found
0.14/0.16	c ... done. Wall clock time 0.036s.
0.14/0.16	c declared #vars     479
0.14/0.16	c #constraints  479
0.14/0.16	c constraints type 
0.14/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 479
0.14/0.16	c 479 constraints processed.
0.14/0.17	c objective function length is 479 literals
0.14/0.18	c SATISFIABLE
0.14/0.18	c OPTIMIZING...
0.14/0.18	c Got one! Elapsed wall clock time (in seconds):0.057
0.14/0.18	o 233
0.34/0.21	c Got one! Elapsed wall clock time (in seconds):0.094
0.34/0.21	o 232
0.53/0.34	c Got one! Elapsed wall clock time (in seconds):0.217
0.53/0.34	o 231
1.29/0.74	c cleaning 2569 clauses out of 5149 with flag 9388/5149
1.29/0.78	c Got one! Elapsed wall clock time (in seconds):0.652
1.29/0.78	o 230
1.69/0.96	c cleaning 4174 clauses out of 8359 with flag 10765/10928
2.13/1.24	c cleaning 5085 clauses out of 10185 with flag 24081/16928
2.55/1.54	c cleaning 6043 clauses out of 12099 with flag 38788/23927
2.94/1.84	c cleaning 7025 clauses out of 14057 with flag 55668/31928
3.24/2.11	c Got one! Elapsed wall clock time (in seconds):1.99
3.24/2.11	o 229
3.56/2.31	c cleaning 9891 clauses out of 19801 with flag 11313/44697
3.81/2.59	c cleaning 7947 clauses out of 15911 with flag 24334/50698
4.11/2.84	c cleaning 7473 clauses out of 14963 with flag 39463/57697
4.42/3.16	c cleaning 7736 clauses out of 15490 with flag 56261/65697
4.85/3.57	c cleaning 8368 clauses out of 16754 with flag 75544/74697
5.25/3.98	c cleaning 9187 clauses out of 18387 with flag 96643/84698
5.78/4.46	c cleaning 10092 clauses out of 20200 with flag 120072/95698
6.28/4.91	c cleaning 11048 clauses out of 22107 with flag 145436/107697
6.93/5.53	c cleaning 12021 clauses out of 24059 with flag 172867/120697
7.45/6.07	c cleaning 13010 clauses out of 26038 with flag 202836/134697
8.33/6.80	c cleaning 14005 clauses out of 28029 with flag 234764/149698
8.93/7.49	c cleaning 15003 clauses out of 30024 with flag 268306/165698
9.91/8.35	c cleaning 15998 clauses out of 32021 with flag 304116/182698
10.63/9.07	c cleaning 17001 clauses out of 34022 with flag 342013/200697
11.69/10.00	c cleaning 18002 clauses out of 36022 with flag 382453/219698
12.58/10.96	c cleaning 19002 clauses out of 38019 with flag 424542/239697
13.73/12.03	c cleaning 19998 clauses out of 40017 with flag 468629/260697
14.73/13.06	c cleaning 21001 clauses out of 42019 with flag 514442/282697
15.90/14.17	c cleaning 22000 clauses out of 44018 with flag 562630/305697
17.29/15.51	c cleaning 22999 clauses out of 46018 with flag 613166/329697
18.76/16.96	c cleaning 24002 clauses out of 48019 with flag 666259/354697
20.46/18.67	c cleaning 25002 clauses out of 50017 with flag 721627/380697
22.48/20.58	c cleaning 26003 clauses out of 52017 with flag 778422/407699
25.09/23.02	c cleaning 27000 clauses out of 54012 with flag 837085/435697
26.98/25.00	c cleaning 27996 clauses out of 56012 with flag 898206/464697
29.17/27.09	c cleaning 28999 clauses out of 58017 with flag 961207/494698
31.24/29.07	c cleaning 30001 clauses out of 60017 with flag 1026861/525697
33.53/31.34	c cleaning 31000 clauses out of 62016 with flag 1095693/557697
35.90/33.65	c cleaning 32002 clauses out of 64017 with flag 1165051/590698
38.56/36.20	c cleaning 32998 clauses out of 66014 with flag 1236708/624697
40.85/38.48	c cleaning 33996 clauses out of 68016 with flag 1310247/659697
43.35/40.91	c cleaning 34999 clauses out of 70020 with flag 1387281/695697
45.83/43.36	c cleaning 36000 clauses out of 72021 with flag 1465388/732697
48.81/46.24	c cleaning 37000 clauses out of 74021 with flag 1545108/770697
51.31/48.71	c cleaning 37999 clauses out of 76021 with flag 1627599/809697
53.89/51.22	c cleaning 38998 clauses out of 78022 with flag 1712510/849697
56.92/53.82	c cleaning 40002 clauses out of 80025 with flag 1799678/890698
59.56/56.40	c cleaning 41001 clauses out of 82023 with flag 1888030/932698
61.84/58.76	c cleaning 42004 clauses out of 84021 with flag 1979359/975697
64.17/61.09	c cleaning 42998 clauses out of 86018 with flag 2073060/1019698
67.25/64.13	c cleaning 44003 clauses out of 88020 with flag 2168258/1064698
69.92/66.70	c cleaning 44997 clauses out of 90017 with flag 2265458/1110698
73.21/69.95	c cleaning 46001 clauses out of 92020 with flag 2364942/1157698
75.91/72.64	c cleaning 46999 clauses out of 94019 with flag 2467945/1205698
79.42/76.03	c cleaning 48000 clauses out of 96019 with flag 2572928/1254697
82.51/79.14	c cleaning 49000 clauses out of 98021 with flag 2678885/1304699
85.67/82.23	c cleaning 50005 clauses out of 100020 with flag 2788819/1355698
89.96/86.51	c cleaning 51000 clauses out of 102014 with flag 2900275/1407697
93.84/90.27	c cleaning 52002 clauses out of 104014 with flag 3013309/1460697
97.54/93.83	c cleaning 52996 clauses out of 106012 with flag 3128206/1514697
100.84/97.17	c cleaning 53996 clauses out of 108016 with flag 3246263/1569697
104.49/100.73	c cleaning 54998 clauses out of 110021 with flag 3366398/1625698
108.82/104.90	c cleaning 56004 clauses out of 112022 with flag 3488220/1682697
113.71/109.81	c cleaning 57000 clauses out of 114020 with flag 3611031/1740699
118.48/114.56	c cleaning 57999 clauses out of 116019 with flag 3735539/1799698
122.87/118.92	c cleaning 58998 clauses out of 118020 with flag 3862835/1859698
127.90/123.43	c cleaning 60000 clauses out of 120022 with flag 3992528/1920698
132.51/127.97	c cleaning 60999 clauses out of 122021 with flag 4122515/1982697
137.70/133.14	c cleaning 62002 clauses out of 124022 with flag 4255275/2045697
142.72/138.00	c cleaning 63001 clauses out of 126021 with flag 4388999/2109698
148.59/143.77	c cleaning 64001 clauses out of 128019 with flag 4525085/2174697
153.30/148.46	c cleaning 65004 clauses out of 130018 with flag 4663293/2240697
157.98/153.04	c cleaning 65997 clauses out of 132014 with flag 4804791/2307697
163.75/158.65	c cleaning 67002 clauses out of 134017 with flag 4948398/2375697
170.15/164.83	c cleaning 67999 clauses out of 136016 with flag 5095067/2444698
175.47/170.19	c cleaning 69002 clauses out of 138017 with flag 5244024/2514698
180.57/174.83	c cleaning 69997 clauses out of 140015 with flag 5394679/2585698
186.55/179.99	c cleaning 70998 clauses out of 142017 with flag 5547675/2657697
192.08/185.38	c cleaning 71999 clauses out of 144019 with flag 5701935/2730697
197.27/190.54	c cleaning 73003 clauses out of 146021 with flag 5858410/2804698
201.79/195.03	c cleaning 73999 clauses out of 148018 with flag 6020270/2879698
207.16/200.36	c cleaning 74999 clauses out of 150018 with flag 6181218/2955697
212.82/206.01	c cleaning 76000 clauses out of 152019 with flag 6344325/3032697
218.59/211.85	c cleaning 77000 clauses out of 154019 with flag 6511960/3110697
223.64/216.93	c cleaning 77993 clauses out of 156020 with flag 6683412/3189698
229.60/222.84	c cleaning 79004 clauses out of 158027 with flag 6855334/3269698
236.04/229.34	c cleaning 80002 clauses out of 160023 with flag 7027131/3350698
243.22/236.31	c cleaning 81000 clauses out of 162022 with flag 7200205/3432699
250.53/243.51	c cleaning 81998 clauses out of 164020 with flag 7376267/3515697
257.52/250.48	c cleaning 83001 clauses out of 166023 with flag 7555957/3599698
264.28/257.01	c cleaning 83999 clauses out of 168022 with flag 7738330/3684698
271.55/264.16	c cleaning 85000 clauses out of 170023 with flag 7919483/3770698
279.71/272.14	c cleaning 85999 clauses out of 172022 with flag 8104653/3857697
287.27/279.53	c cleaning 87004 clauses out of 174024 with flag 8290397/3945698
294.70/286.89	c cleaning 87998 clauses out of 176020 with flag 8477545/4034698
302.75/294.75	c cleaning 89000 clauses out of 178021 with flag 8667102/4124697
310.98/302.17	c cleaning 90001 clauses out of 180021 with flag 8861401/4215697
317.32/308.57	c cleaning 91000 clauses out of 182020 with flag 9056010/4307697
324.35/315.46	c cleaning 92001 clauses out of 184020 with flag 9251934/4400697
332.68/323.69	c cleaning 93001 clauses out of 186020 with flag 9450302/4494698
339.24/330.03	c cleaning 93997 clauses out of 188018 with flag 9651324/4589697
346.03/336.76	c cleaning 94997 clauses out of 190021 with flag 9857110/4685697
352.78/343.39	c cleaning 96000 clauses out of 192024 with flag 10066187/4782697
360.53/350.96	c cleaning 97000 clauses out of 194025 with flag 10275084/4880698
368.07/358.37	c cleaning 98002 clauses out of 196025 with flag 10486146/4979698
378.02/368.19	c cleaning 98999 clauses out of 198022 with flag 10700906/5079697
386.50/376.34	c cleaning 100003 clauses out of 200024 with flag 10914603/5180698
394.39/384.15	c cleaning 100998 clauses out of 202021 with flag 11129720/5282698
404.24/394.01	c cleaning 101998 clauses out of 204022 with flag 11345951/5385697
414.14/403.66	c cleaning 103003 clauses out of 206024 with flag 11565021/5489697
425.49/414.83	c cleaning 104003 clauses out of 208021 with flag 11786451/5594697
435.63/424.89	c cleaning 105002 clauses out of 210019 with flag 12010199/5700698
449.17/437.46	c cleaning 105999 clauses out of 212016 with flag 12235053/5807697
462.19/450.38	c cleaning 106998 clauses out of 214017 with flag 12461105/5915697
473.27/461.33	c cleaning 107997 clauses out of 216020 with flag 12689801/6024698
485.71/473.76	c cleaning 109002 clauses out of 218023 with flag 12920528/6134698
497.06/485.06	c cleaning 110002 clauses out of 220021 with flag 13153828/6245698
510.08/497.93	c cleaning 111000 clauses out of 222019 with flag 13388385/6357698
523.09/510.89	c cleaning 111997 clauses out of 224018 with flag 13624773/6470697
534.72/522.43	c cleaning 112998 clauses out of 226021 with flag 13862559/6584697
544.80/532.42	c cleaning 113996 clauses out of 228023 with flag 14106621/6699697
555.25/542.71	c cleaning 115006 clauses out of 230029 with flag 14351139/6815699
566.53/553.81	c cleaning 116002 clauses out of 232022 with flag 14602514/6932698
579.46/566.67	c cleaning 116997 clauses out of 234019 with flag 14853815/7050697
590.87/577.90	c cleaning 118002 clauses out of 236022 with flag 15105141/7169697
601.28/588.23	c cleaning 119002 clauses out of 238021 with flag 15360995/7289698
613.59/600.50	c cleaning 119998 clauses out of 240018 with flag 15619106/7410697
627.93/614.73	c cleaning 120996 clauses out of 242020 with flag 15876949/7532697
642.59/629.35	c cleaning 122003 clauses out of 244024 with flag 16136392/7655697
657.38/644.02	c cleaning 122998 clauses out of 246022 with flag 16398931/7779698
671.88/658.21	c cleaning 124001 clauses out of 248024 with flag 16664095/7904698
685.98/672.25	c cleaning 125000 clauses out of 250023 with flag 16932950/8030698
698.94/685.14	c cleaning 125999 clauses out of 252023 with flag 17205369/8157698
712.36/698.39	c cleaning 127002 clauses out of 254025 with flag 17479130/8285699
728.38/713.16	c cleaning 127998 clauses out of 256022 with flag 17752398/8414698
740.50/725.23	c cleaning 129004 clauses out of 258024 with flag 18030294/8544698
753.95/738.63	c cleaning 129999 clauses out of 260019 with flag 18311939/8675697
768.64/753.18	c cleaning 131002 clauses out of 262021 with flag 18591403/8807698
784.86/768.96	c cleaning 131997 clauses out of 264019 with flag 18874665/8940698
801.04/785.06	c cleaning 132997 clauses out of 266022 with flag 19157691/9074698
815.54/799.26	c cleaning 133998 clauses out of 268024 with flag 19442612/9209697
827.58/811.11	c cleaning 134999 clauses out of 270026 with flag 19735883/9345697
838.26/821.56	c cleaning 136001 clauses out of 272027 with flag 20032351/9482697
850.21/833.36	c cleaning 136999 clauses out of 274026 with flag 20331863/9620697
866.11/848.96	c cleaning 138000 clauses out of 276027 with flag 20628806/9759697
884.48/867.12	c cleaning 139001 clauses out of 278027 with flag 20934009/9899697
902.77/885.14	c cleaning 140003 clauses out of 280027 with flag 21233162/10040698
920.21/902.41	c cleaning 141003 clauses out of 282025 with flag 21537366/10182699
937.70/919.79	c cleaning 142000 clauses out of 284022 with flag 21841586/10325699
955.92/937.87	c cleaning 142999 clauses out of 286021 with flag 22149058/10469698
970.28/951.96	c cleaning 144002 clauses out of 288022 with flag 22459913/10614698
986.50/968.18	c cleaning 144999 clauses out of 290019 with flag 22770287/10760697
1006.25/987.74	c cleaning 146001 clauses out of 292020 with flag 23080711/10907697
1024.87/1005.06	c cleaning 146999 clauses out of 294020 with flag 23394939/11055698
1041.44/1021.67	c cleaning 147995 clauses out of 296020 with flag 23710927/11204697
1060.39/1040.32	c cleaning 149002 clauses out of 298025 with flag 24026249/11354697
1078.29/1058.03	c cleaning 150001 clauses out of 300024 with flag 24348125/11505698
1095.13/1074.74	c cleaning 150995 clauses out of 302022 with flag 24671677/11657697
1113.27/1092.56	c cleaning 152005 clauses out of 304027 with flag 24995795/11810697
1132.61/1111.67	c cleaning 153002 clauses out of 306023 with flag 25320318/11964698
1152.67/1131.50	c cleaning 154000 clauses out of 308021 with flag 25648956/12119698
1169.03/1147.61	c cleaning 154999 clauses out of 310021 with flag 25981237/12275698
1184.72/1163.26	c cleaning 155998 clauses out of 312023 with flag 26320920/12432699
1198.00/1176.40	c cleaning 156998 clauses out of 314024 with flag 26665694/12590698
1215.31/1193.30	c cleaning 158001 clauses out of 316025 with flag 27004720/12749697
1235.30/1213.16	c cleaning 159002 clauses out of 318024 with flag 27343156/12909697
1252.74/1230.26	c cleaning 160001 clauses out of 320022 with flag 27687249/13070697
1268.07/1245.32	c cleaning 161002 clauses out of 322022 with flag 28032925/13232698
1283.61/1260.73	c cleaning 162000 clauses out of 324019 with flag 28380669/13395697
1301.08/1277.70	c cleaning 162999 clauses out of 326020 with flag 28726373/13559698
1319.94/1296.42	c cleaning 164000 clauses out of 328020 with flag 29073057/13724697
1340.67/1316.83	c cleaning 164999 clauses out of 330020 with flag 29425148/13890697
1360.07/1336.15	c cleaning 166002 clauses out of 332023 with flag 29778687/14057699
1378.24/1354.37	c cleaning 166999 clauses out of 334020 with flag 30136437/14225698
1404.01/1379.83	c cleaning 168005 clauses out of 336020 with flag 30501789/14394697
1427.42/1401.67	c cleaning 168997 clauses out of 338015 with flag 30861513/14564697
1448.12/1422.25	c cleaning 170001 clauses out of 340019 with flag 31225759/14735698
1472.67/1446.72	c cleaning 170998 clauses out of 342018 with flag 31591777/14907698
1494.29/1468.08	c cleaning 172000 clauses out of 344020 with flag 31961211/15080698
1513.49/1487.06	c cleaning 172997 clauses out of 346020 with flag 32337359/15254698
1532.33/1505.62	c cleaning 174002 clauses out of 348022 with flag 32709661/15429697
1555.51/1528.66	c cleaning 174997 clauses out of 350021 with flag 33087620/15605698
1578.34/1551.34	c cleaning 176000 clauses out of 352024 with flag 33462498/15782698
1603.93/1576.88	c cleaning 177000 clauses out of 354024 with flag 33839606/15960698
1627.16/1599.66	c cleaning 178002 clauses out of 356023 with flag 34220700/16139697
1647.52/1619.88	c cleaning 179003 clauses out of 358022 with flag 34603014/16319698
1667.53/1639.64	c cleaning 179998 clauses out of 360018 with flag 34992100/16500697
1693.68/1665.60	c cleaning 180995 clauses out of 362020 with flag 35378702/16682697
1726.02/1697.66	c cleaning 182002 clauses out of 364025 with flag 35776271/16865697
1752.22/1723.75	c cleaning 183002 clauses out of 366024 with flag 36168154/17049698
1773.17/1744.63	c cleaning 184001 clauses out of 368022 with flag 36564425/17234698
1795.56/1766.97	c cleaning 184996 clauses out of 370021 with flag 36962455/17420698
1817.47/1788.47	c cleaning 186005 clauses out of 372024 with flag 37362682/17607697
1843.04/1813.72	c cleaning 187000 clauses out of 374019 with flag 37760540/17795697
1867.21/1837.78	c cleaning 187999 clauses out of 376019 with flag 38165687/17984697
1889.90/1860.33	c cleaning 188997 clauses out of 378020 with flag 38573252/18174697
1911.34/1881.11	c cleaning 189999 clauses out of 380024 with flag 38986126/18365698
1931.51/1901.06	c cleaning 190998 clauses out of 382024 with flag 39394037/18557697
1958.58/1927.93	c cleaning 192004 clauses out of 384026 with flag 39804293/18750697
1982.87/1951.74	c cleaning 193006 clauses out of 386023 with flag 40218820/18944698
2002.38/1970.93	c cleaning 193994 clauses out of 388016 with flag 40645307/19139697
2024.96/1991.52	c cleaning 195000 clauses out of 390023 with flag 41074635/19335698
2047.37/2013.73	c cleaning 196001 clauses out of 392022 with flag 41494268/19532697
2067.98/2034.17	c cleaning 197001 clauses out of 394022 with flag 41914385/19730698
2091.81/2057.53	c cleaning 197999 clauses out of 396020 with flag 42338659/19929697
2112.72/2078.38	c cleaning 199003 clauses out of 398022 with flag 42764241/20129698
2132.87/2098.47	c cleaning 199999 clauses out of 400018 with flag 43194058/20330697
2159.08/2124.64	c cleaning 200999 clauses out of 402020 with flag 43624432/20532698
2183.88/2149.46	c cleaning 201997 clauses out of 404020 with flag 44053410/20735697
2207.99/2173.50	c cleaning 202999 clauses out of 406023 with flag 44485112/20939697
2231.67/2196.91	c cleaning 203996 clauses out of 408024 with flag 44918387/21144697
2253.78/2219.00	c cleaning 205003 clauses out of 410029 with flag 45358805/21350698
2276.19/2241.28	c cleaning 206006 clauses out of 412026 with flag 45800387/21557698
2300.30/2265.28	c cleaning 206997 clauses out of 414019 with flag 46248390/21765697
2323.91/2288.79	c cleaning 208003 clauses out of 416024 with flag 46698461/21974699
2345.81/2310.09	c cleaning 208999 clauses out of 418020 with flag 47162298/22184698
2369.71/2333.54	c cleaning 210001 clauses out of 420021 with flag 47620143/22395698
2391.76/2355.29	c cleaning 210998 clauses out of 422020 with flag 48077638/22607698
2415.97/2379.12	c cleaning 211998 clauses out of 424022 with flag 48530705/22820698
2440.64/2403.57	c cleaning 213004 clauses out of 426024 with flag 48986580/23034698
2465.19/2427.90	c cleaning 214001 clauses out of 428020 with flag 49446544/23249698
2488.89/2451.36	c cleaning 214999 clauses out of 430018 with flag 49906192/23465697
2511.77/2474.00	c cleaning 215997 clauses out of 432020 with flag 50367840/23682698
2537.58/2499.70	c cleaning 216998 clauses out of 434023 with flag 50828937/23900698
2561.54/2523.61	c cleaning 218003 clauses out of 436024 with flag 51297446/24119697
2582.83/2544.71	c cleaning 219000 clauses out of 438021 with flag 51767214/24339697
2607.23/2569.13	c cleaning 219995 clauses out of 440022 with flag 52234155/24560698
2633.24/2594.72	c cleaning 221001 clauses out of 442026 with flag 52705624/24782697
2660.41/2621.78	c cleaning 221999 clauses out of 444026 with flag 53176675/25005698
2686.05/2647.16	c cleaning 222998 clauses out of 446026 with flag 53650480/25229697
2712.88/2673.85	c cleaning 224003 clauses out of 448029 with flag 54129194/25454698
2736.91/2697.80	c cleaning 224998 clauses out of 450025 with flag 54618330/25680697
2765.31/2726.13	c cleaning 225997 clauses out of 452028 with flag 55106983/25907698
2789.90/2750.66	c cleaning 227004 clauses out of 454031 with flag 55598287/26135698
2824.04/2781.53	c cleaning 227998 clauses out of 456026 with flag 56091456/26364697
2851.19/2808.39	c cleaning 228998 clauses out of 458028 with flag 56589473/26594697
2876.65/2833.50	c cleaning 230002 clauses out of 460030 with flag 57089793/26825697
2903.24/2859.98	c cleaning 231004 clauses out of 462028 with flag 57594365/27057697
2937.53/2894.11	c cleaning 232003 clauses out of 464025 with flag 58110619/27290698
2963.18/2919.14	c cleaning 232995 clauses out of 466021 with flag 58638757/27524697
2994.88/2950.53	c cleaning 234003 clauses out of 468027 with flag 59158931/27759698
3019.09/2974.46	c cleaning 234999 clauses out of 470024 with flag 59669450/27995698
3047.17/3002.29	c cleaning 235998 clauses out of 472024 with flag 60174662/28232697
3077.98/3032.92	c cleaning 237001 clauses out of 474027 with flag 60683409/28470698
3113.65/3068.33	c cleaning 238001 clauses out of 476026 with flag 61190115/28709698
3145.51/3099.98	c cleaning 238997 clauses out of 478024 with flag 61702691/28949697
3177.45/3131.74	c cleaning 240001 clauses out of 480027 with flag 62216287/29190697
3213.35/3167.74	c cleaning 241000 clauses out of 482027 with flag 62727387/29432698
3241.95/3195.90	c cleaning 241998 clauses out of 484026 with flag 63253799/29675697
3270.53/3224.18	c cleaning 243002 clauses out of 486028 with flag 63785373/29919697
3309.25/3262.66	c cleaning 244003 clauses out of 488027 with flag 64307572/30164698
3341.71/3294.98	c cleaning 244995 clauses out of 490023 with flag 64833142/30410697
3379.65/3332.32	c cleaning 246005 clauses out of 492028 with flag 65366903/30657697
3419.47/3371.87	c cleaning 247000 clauses out of 494025 with flag 65895748/30905699
3457.09/3409.20	c cleaning 248003 clauses out of 496024 with flag 66427023/31154698
3498.78/3450.81	c cleaning 248998 clauses out of 498020 with flag 66970094/31404697
3537.53/3489.25	c cleaning 249998 clauses out of 500022 with flag 67507536/31655697
3577.39/3526.60	c cleaning 251005 clauses out of 502025 with flag 68041351/31907698
3600.00/3549.12	c starts		: 6
3600.00/3549.12	c conflicts		: 32160698
3600.00/3549.12	c decisions		: 44440354
3600.00/3549.12	c propagations		: 580184216
3600.00/3549.12	c inspects		: 23750838595
3600.00/3549.12	c shortcuts		: 0
3600.00/3549.12	c learnt literals	: 0
3600.00/3549.12	c learnt binary clauses	: 0
3600.00/3549.12	c learnt ternary clauses	: 0
3600.00/3549.12	c learnt constraints	: 32160698
3600.00/3549.12	c ignored constraints	: 0
3600.00/3549.12	c root simplifications	: 0
3600.00/3549.12	c removed literals (reason simplification)	: 0
3600.00/3549.12	c reason swapping (by a shorter reason)	: 0
3600.00/3549.12	c Calls to reduceDB	: 254
3600.00/3549.12	c Number of update (reduction) of LBD	: 1454007
3600.00/3549.12	c Imported unit clauses	: 0
3600.00/3549.12	c No decision after first conflict	: false
3600.00/3549.12	c number of reductions to clauses (during analyze)	: 0
3600.00/3549.12	c number of learned constraints concerned by reduction	: 0
3600.00/3549.12	c number of learning phase by resolution	: 0
3600.00/3549.12	c number of learning phase by cutting planes	: 0
3600.00/3549.12	c number of rounding to 1 operations	: 0
3600.00/3549.12	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3549.12	c number of reductions of the coefficients by power 2 	: 0
3600.00/3549.12	c number of right shift for reduction by power 2 	: 0
3600.00/3549.12	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3549.12	c number of ending skipping 	: 0
3600.00/3549.12	c number of internal skipping 	: 0
3600.00/3549.12	c number of derivation steps 	: 0
3600.00/3549.12	c number of skipped derivation steps 	: 0
3600.00/3549.12	c number of remaining unassigned 	: 0
3600.00/3549.12	c number of remaining assigned 	: 0
3600.00/3549.12	c number of falsified literals weakened from reason	: 0
3600.00/3549.12	c number of falsified literals weakened from conflict	: 0
3600.00/3549.12	c time for arithmetic operations	: 0
3600.00/3549.13	c minimum degree of deleted constraints	: null
3600.00/3549.13	c maximum degree of deleted constraints	: null
3600.00/3549.13	c number of deleted constraints	: 0
3600.00/3549.13	c speed (assignments/second)	: 163480.38872309664
3600.00/3549.13	c non guided choices	: 0
3600.00/3549.21	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 504020
3600.00/3549.21	s SATISFIABLE
3600.00/3549.21	c Found 5 solution(s)
3600.00/3549.21	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 x401 -x402 -x403 -x404 -x405 -x406 x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 
3600.00/3549.21	c objective function=229
3600.21/3549.21	c Total wall clock time (in seconds): 3549.081

Verifier Data 

OK	229

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432233-1721086325/watcher-4432233-1721086325 -o /tmp/evaluation-result-4432233-1721086325/solver-4432233-1721086325 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721083519-822113 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432233-1721086325.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
solver pid=824080, runsolver pid=824077
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 5.30 5.52 5.45 6/334 824098
/proc/meminfo: memFree=90058780/131524600 swapFree=131071996/131071996
[pid=824080] ppid=824077 vsize=18975048 memory=66720 CPUtime=0.14 cores=1,3
/proc/824080/stat : 824080 (java) S 824077 824080 822101 0 -1 1077936128 7096 0 0 0 12 2 0 0 20 0 18 0 160792730 19430449152 16680 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
/proc/824080/statm: 4743762 16680 5644 1 0 549348 0
[pid=824080/tid=824082] ppid=824077 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/824080/task/824082/stat : 824082 (java) R 824077 824080 822101 0 -1 4194368 5660 0 0 0 7 1 0 0 20 0 18 0 160792730 19430449152 16680 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
[pid=824080/tid=824091] ppid=824077 vsize=18975048 memory=237146210664 CPUtime=0 cores=1,3
/proc/824080/task/824091/stat : 824091 (Finalizer) S 824077 824080 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 160792733 19430449152 16680 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
[pid=824080/tid=824098] ppid=824077 vsize=18975048 memory=14690799019387218 CPUtime=0 cores=1,3
/proc/824080/task/824098/stat : 824098 (Common-Cleaner) S 824077 824080 822101 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 160792733 19430449152 16680 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66720 KiB

[startup+0.205902 s]*
/proc/loadavg: 5.30 5.52 5.45 8/335 824099
/proc/meminfo: memFree=90052572/131524600 swapFree=131071996/131071996
[pid=824080] ppid=824077 vsize=19041612 memory=73368 CPUtime=0.34 cores=1,3
/proc/824080/stat : 824080 (java) S 824077 824080 822101 0 -1 1077936128 7622 0 0 0 32 2 0 0 20 0 19 0 160792730 19498610688 18342 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
/proc/824080/statm: 4760403 18342 5884 1 0 549948 0
[pid=824080/tid=824082] ppid=824077 vsize=19041612 memory=4782652875487838339 CPUtime=0.19 cores=1,3
/proc/824080/task/824082/stat : 824082 (java) R 824077 824080 822101 0 -1 4194368 5929 0 0 0 17 2 0 0 20 0 19 0 160792730 19498610688 18342 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
[pid=824080/tid=824091] ppid=824077 vsize=19041612 memory=16967 CPUtime=0 cores=1,3
/proc/824080/task/824091/stat : 824091 (Finalizer) S 824077 824080 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 160792733 19498610688 18342 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
[pid=824080/tid=824098] ppid=824077 vsize=19041612 memory=16097074391287456 CPUtime=0 cores=1,3
/proc/824080/task/824098/stat : 824098 (Common-Cleaner) S 824077 824080 822101 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 160792733 19498610688 18342 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
[pid=824080/tid=824099] ppid=824077 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/824080/task/824099/stat : 824099 (Timer-0) S 824077 824080 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 160792747 19498610688 18342 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 73368 KiB

[startup+0.305986 s]*
/proc/loadavg: 5.30 5.52 5.45 8/335 824099
/proc/meminfo: memFree=90043632/131524600 swapFree=131071996/131071996
[pid=824080] ppid=824077 vsize=19041612 memory=82388 CPUtime=0.53 cores=1,3
/proc/824080/stat : 824080 (java) S 824077 824080 822101 0 -1 1077936128 10332 0 0 0 50 3 0 0 20 0 19 0 160792730 19498610688 20597 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
/proc/824080/statm: 4760403 20597 5884 1 0 551144 0
[pid=824080/tid=824082] ppid=824077 vsize=19041612 memory=-8671235129275163324 CPUtime=0.29 cores=1,3
/proc/824080/task/824082/stat : 824082 (java) R 824077 824080 822101 0 -1 4194368 5960 0 0 0 27 2 0 0 20 0 19 0 160792730 19498610688 20597 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
[pid=824080/tid=824091] ppid=824077 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/824080/task/824091/stat : 824091 (Finalizer) S 824077 824080 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 160792733 19498610688 20597 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
[pid=824080/tid=824098] ppid=824077 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/824080/task/824098/stat : 824098 (Common-Cleaner) S 824077 824080 822101 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 160792733 19498610688 20597 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
[pid=824080/tid=824099] ppid=824077 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/824080/task/824099/stat : 824099 (Timer-0) S 824077 824080 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 160792747 19498610688 20597 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 82388 KiB

[startup+0.700288 s]
/proc/loadavg: 5.30 5.52 5.45 8/335 824099
/proc/meminfo: memFree=90031756/131524600 swapFree=131071996/131071996
[pid=824080] ppid=824077 vsize=19041612 memory=102884 CPUtime=1.29 cores=1,3
/proc/824080/stat : 824080 (java) S 824077 824080 822101 0 -1 1077936128 11916 0 0 0 125 4 0 0 20 0 19 0 160792730 19498610688 25721 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
/proc/824080/statm: 4760403 25721 5899 1 0 552063 0
[pid=824080/tid=824082] ppid=824077 vsize=19041612 memory=41652 CPUtime=0.67 cores=1,3
/proc/824080/task/824082/stat : 824082 (java) R 824077 824080 822101 0 -1 4194368 5975 0 0 0 65 2 0 0 20 0 19 0 160792730 19498610688 25721 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
[pid=824080/tid=824091] ppid=824077 vsize=19041612 memory=12740 CPUtime=0 cores=1,3
/proc/824080/task/824091/stat : 824091 (Finalizer) S 824077 824080 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 160792733 19498610688 25721 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
[pid=824080/tid=824098] ppid=824077 vsize=19041612 memory=2248 CPUtime=0 cores=1,3
/proc/824080/task/824098/stat : 824098 (Common-Cleaner) S 824077 824080 822101 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 160792733 19498610688 25721 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
[pid=824080/tid=824099] ppid=824077 vsize=19041612 memory=1904 CPUtime=0 cores=1,3
/proc/824080/task/824099/stat : 824099 (Timer-0) S 824077 824080 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 160792747 19498610688 25721 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 102884 KiB

[startup+1.50027 s]
/proc/loadavg: 5.30 5.52 5.45 6/335 824099
/proc/meminfo: memFree=89993052/131524600 swapFree=131071996/131071996
[pid=824080] ppid=824077 vsize=19108176 memory=213140 CPUtime=2.55 cores=1,3
/proc/824080/stat : 824080 (java) S 824077 824080 822101 0 -1 1077936128 17881 0 0 0 248 7 0 0 20 0 20 0 160792730 19566772224 53285 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
/proc/824080/statm: 4777044 53285 5915 1 0 553540 0
[pid=824080/tid=824082] ppid=824077 vsize=19108176 memory=12740 CPUtime=1.43 cores=1,3
/proc/824080/task/824082/stat : 824082 (java) R 824077 824080 822101 0 -1 4194368 6512 0 0 0 140 3 0 0 20 0 20 0 160792730 19566772224 53285 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
[pid=824080/tid=824091] ppid=824077 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/824080/task/824091/stat : 824091 (Finalizer) S 824077 824080 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160792733 19566772224 53285 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
[pid=824080/tid=824098] ppid=824077 vsize=19108176 memory=2248 CPUtime=0 cores=1,3
/proc/824080/task/824098/stat : 824098 (Common-Cleaner) S 824077 824080 822101 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 20 0 160792733 19566772224 53285 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
[pid=824080/tid=824099] ppid=824077 vsize=19108176 memory=1904 CPUtime=0 cores=1,3
/proc/824080/task/824099/stat : 824099 (Timer-0) S 824077 824080 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160792747 19566772224 53285 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
Current children cumulated CPU time: 2.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 213140 KiB

[startup+3.10578 s]
/proc/loadavg: 5.30 5.52 5.45 6/336 824100
/proc/meminfo: memFree=89684256/131524600 swapFree=131071996/131071996
[pid=824080] ppid=824077 vsize=19108176 memory=270960 CPUtime=4.42 cores=1,3
/proc/824080/stat : 824080 (java) S 824077 824080 822101 0 -1 1077936128 19863 0 0 0 434 8 0 0 20 0 20 0 160792730 19566772224 67740 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
/proc/824080/statm: 4777044 67740 5931 1 0 553540 0
[pid=824080/tid=824082] ppid=824077 vsize=19108176 memory=0 CPUtime=2.98 cores=1,3
/proc/824080/task/824082/stat : 824082 (java) R 824077 824080 822101 0 -1 4194368 7040 0 0 0 295 3 0 0 20 0 20 0 160792730 19566772224 67740 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
[pid=824080/tid=824091] ppid=824077 vsize=19108176 memory=-8671235129275163324 CPUtime=0 cores=1,3
/proc/824080/task/824091/stat : 824091 (Finalizer) S 824077 824080 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160792733 19566772224 67740 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
[pid=824080/tid=824098] ppid=824077 vsize=19108176 memory=12740 CPUtime=0 cores=1,3
/proc/824080/task/824098/stat : 824098 (Common-Cleaner) S 824077 824080 822101 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 20 0 160792733 19566772224 67740 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
[pid=824080/tid=824099] ppid=824077 vsize=19108176 memory=2248 CPUtime=0 cores=1,3
/proc/824080/task/824099/stat : 824099 (Timer-0) S 824077 824080 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160792747 19566772224 67740 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
Current children cumulated CPU time: 4.42 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 270960 KiB

[startup+6.30029 s]
/proc/loadavg: 5.43 5.54 5.46 6/336 824102
/proc/meminfo: memFree=89396696/131524600 swapFree=131071996/131071996
[pid=824080] ppid=824077 vsize=19108176 memory=514752 CPUtime=7.77 cores=1,3
/proc/824080/stat : 824080 (java) S 824077 824080 822101 0 -1 1077936128 20818 0 0 0 764 13 0 0 20 0 20 0 160792730 19566772224 128688 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
/proc/824080/statm: 4777044 128688 5931 1 0 737341 0
[pid=824080/tid=824082] ppid=824077 vsize=19108176 memory=2248 CPUtime=6.01 cores=1,3
/proc/824080/task/824082/stat : 824082 (java) R 824077 824080 822101 0 -1 4194368 7189 0 0 0 595 6 0 0 20 0 20 0 160792730 19566772224 128688 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
[pid=824080/tid=824091] ppid=824077 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/824080/task/824091/stat : 824091 (Finalizer) S 824077 824080 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160792733 19566772224 128688 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
[pid=824080/tid=824098] ppid=824077 vsize=19108176 memory=12740 CPUtime=0 cores=1,3
/proc/824080/task/824098/stat : 824098 (Common-Cleaner) S 824077 824080 822101 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 20 0 160792733 19566772224 128688 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
[pid=824080/tid=824099] ppid=824077 vsize=19108176 memory=-5158697563450915880 CPUtime=0 cores=1,3
/proc/824080/task/824099/stat : 824099 (Timer-0) S 824077 824080 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160792747 19566772224 128688 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
Current children cumulated CPU time: 7.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 514752 KiB

[startup+12.7003 s]
/proc/loadavg: 5.48 5.55 5.46 7/336 824102
/proc/meminfo: memFree=88774000/131524600 swapFree=131071996/131071996
[pid=824080] ppid=824077 vsize=19108176 memory=1021608 CPUtime=14.42 cores=1,3
/proc/824080/stat : 824080 (java) S 824077 824080 822101 0 -1 1077936128 23930 0 0 0 1419 23 0 0 20 0 20 0 160792730 19566772224 255402 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
/proc/824080/statm: 4777044 255402 5931 1 0 1013076 0
[pid=824080/tid=824082] ppid=824077 vsize=19108176 memory=12740 CPUtime=12.07 cores=1,3
/proc/824080/task/824082/stat : 824082 (java) R 824077 824080 822101 0 -1 4194368 7996 0 0 0 1199 8 0 0 20 0 20 0 160792730 19566772224 255402 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
[pid=824080/tid=824091] ppid=824077 vsize=19108176 memory=775400 CPUtime=0 cores=1,3
/proc/824080/task/824091/stat : 824091 (Finalizer) S 824077 824080 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160792733 19566772224 255402 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
[pid=824080/tid=824098] ppid=824077 vsize=19108176 memory=41652 CPUtime=0 cores=1,3
/proc/824080/task/824098/stat : 824098 (Common-Cleaner) S 824077 824080 822101 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 20 0 160792733 19566772224 255402 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
[pid=824080/tid=824099] ppid=824077 vsize=19108176 memory=12740 CPUtime=0 cores=1,3
/proc/824080/task/824099/stat : 824099 (Timer-0) S 824077 824080 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160792747 19566772224 255402 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
Current children cumulated CPU time: 14.42 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1021608 KiB

[startup+25.5003 s]
/proc/loadavg: 5.36 5.52 5.45 7/336 824171
/proc/meminfo: memFree=103324108/131524600 swapFree=131071996/131071996
[pid=824080] ppid=824077 vsize=19108176 memory=1622140 CPUtime=27.63 cores=1,3
/proc/824080/stat : 824080 (java) S 824077 824080 822101 0 -1 1077936128 26141 0 0 0 2728 35 0 0 20 0 20 0 160792730 19566772224 405535 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
/proc/824080/statm: 4777044 405535 5947 1 0 1013085 0
[pid=824080/tid=824082] ppid=824077 vsize=19108176 memory=1560648 CPUtime=24.39 cores=1,3
/proc/824080/task/824082/stat : 824082 (java) S 824077 824080 822101 0 -1 1077936192 8601 0 0 0 2429 10 0 0 20 0 20 0 160792730 19566772224 405535 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
[pid=824080/tid=824091] ppid=824077 vsize=19108176 memory=11400 CPUtime=0 cores=1,3
/proc/824080/task/824091/stat : 824091 (Finalizer) S 824077 824080 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160792733 19566772224 405535 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
[pid=824080/tid=824098] ppid=824077 vsize=19108176 memory=132 CPUtime=0 cores=1,3
/proc/824080/task/824098/stat : 824098 (Common-Cleaner) S 824077 824080 822101 0 -1 1077936192 44 0 0 0 0 0 0 0 20 0 20 0 160792733 19566772224 405535 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
[pid=824080/tid=824099] ppid=824077 vsize=19108176 memory=1560644 CPUtime=0 cores=1,3
/proc/824080/task/824099/stat : 824099 (Timer-0) S 824077 824080 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160792747 19566772224 405535 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
Current children cumulated CPU time: 27.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1622140 KiB

[startup+51.1058 s]
/proc/loadavg: 4.95 5.42 5.42 5/336 824244
/proc/meminfo: memFree=116541492/131524600 swapFree=131071996/131071996
[pid=824080] ppid=824077 vsize=19108176 memory=2404572 CPUtime=53.79 cores=1,3
/proc/824080/stat : 824080 (java) S 824077 824080 822101 0 -1 1077936128 29202 0 0 0 5328 51 0 0 20 0 20 0 160792730 19566772224 601143 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
/proc/824080/statm: 4777044 601143 5947 1 0 1013087 0

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

[startup+3222.3 s]
/proc/loadavg: 4.18 4.20 4.24 5/333 825798
/proc/meminfo: memFree=70901232/131524600 swapFree=131071996/131071996
[pid=824080] ppid=824077 vsize=19108176 memory=14601052 CPUtime=3268.73 cores=1,3
/proc/824080/stat : 824080 (java) S 824077 824080 822101 0 -1 1077936128 330345 0 0 0 326473 400 0 0 20 0 20 0 160792730 19566772224 3650263 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
/proc/824080/statm: 4777044 3650263 5979 1 0 4087697 0
[pid=824080/tid=824082] ppid=824077 vsize=19108176 memory=14596956 CPUtime=3158.99 cores=1,3
/proc/824080/task/824082/stat : 824082 (java) R 824077 824080 822101 0 -1 4194368 111929 0 0 0 315816 83 0 0 20 0 20 0 160792730 19566772224 3650263 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
[pid=824080/tid=824091] ppid=824077 vsize=19108176 memory=14596956 CPUtime=0 cores=1,3
/proc/824080/task/824091/stat : 824091 (Finalizer) S 824077 824080 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160792733 19566772224 3650263 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
[pid=824080/tid=824098] ppid=824077 vsize=19108176 memory=16028 CPUtime=0 cores=1,3
/proc/824080/task/824098/stat : 824098 (Common-Cleaner) S 824077 824080 822101 0 -1 1077936192 1112 0 0 0 0 0 0 0 20 0 20 0 160792733 19566772224 3650263 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
[pid=824080/tid=824099] ppid=824077 vsize=19108176 memory=14601052 CPUtime=0 cores=1,3
/proc/824080/task/824099/stat : 824099 (Timer-0) S 824077 824080 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160792747 19566772224 3650263 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
Current children cumulated CPU time: 3268.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14601052 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.16 4.22 5/333 825808
/proc/meminfo: memFree=70896840/131524600 swapFree=131071996/131071996
[pid=824080] ppid=824077 vsize=19108176 memory=14601056 CPUtime=3329.13 cores=1,3
/proc/824080/stat : 824080 (java) S 824077 824080 822101 0 -1 1077936128 335471 0 0 0 332512 401 0 0 20 0 20 0 160792730 19566772224 3650264 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
/proc/824080/statm: 4777044 3650264 5979 1 0 4087697 0
[pid=824080/tid=824082] ppid=824077 vsize=19108176 memory=14601056 CPUtime=3218.27 cores=1,3
/proc/824080/task/824082/stat : 824082 (java) R 824077 824080 822101 0 -1 4194368 113880 0 0 0 321744 83 0 0 20 0 20 0 160792730 19566772224 3650264 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
[pid=824080/tid=824091] ppid=824077 vsize=19108176 memory=14601056 CPUtime=0 cores=1,3
/proc/824080/task/824091/stat : 824091 (Finalizer) S 824077 824080 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160792733 19566772224 3650264 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
[pid=824080/tid=824098] ppid=824077 vsize=19108176 memory=14601056 CPUtime=0 cores=1,3
/proc/824080/task/824098/stat : 824098 (Common-Cleaner) S 824077 824080 822101 0 -1 1077936192 1216 0 0 0 0 0 0 0 20 0 20 0 160792733 19566772224 3650264 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
[pid=824080/tid=824099] ppid=824077 vsize=19108176 memory=14601056 CPUtime=0 cores=1,3
/proc/824080/task/824099/stat : 824099 (Timer-0) S 824077 824080 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160792747 19566772224 3650264 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
Current children cumulated CPU time: 3329.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14601056 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.17 4.22 5/333 825819
/proc/meminfo: memFree=70811616/131524600 swapFree=131071996/131071996
[pid=824080] ppid=824077 vsize=19108176 memory=14603104 CPUtime=3389.62 cores=1,3
/proc/824080/stat : 824080 (java) S 824077 824080 822101 0 -1 1077936128 337082 0 0 0 338558 404 0 0 20 0 20 0 160792730 19566772224 3650776 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
/proc/824080/statm: 4777044 3650776 5979 1 0 4087697 0
[pid=824080/tid=824082] ppid=824077 vsize=19108176 memory=5448 CPUtime=3277.5 cores=1,3
/proc/824080/task/824082/stat : 824082 (java) R 824077 824080 822101 0 -1 4194368 115097 0 0 0 327666 84 0 0 20 0 20 0 160792730 19566772224 3650776 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
[pid=824080/tid=824091] ppid=824077 vsize=19108176 memory=14603104 CPUtime=0 cores=1,3
/proc/824080/task/824091/stat : 824091 (Finalizer) S 824077 824080 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160792733 19566772224 3650776 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
[pid=824080/tid=824098] ppid=824077 vsize=19108176 memory=11400 CPUtime=0 cores=1,3
/proc/824080/task/824098/stat : 824098 (Common-Cleaner) S 824077 824080 822101 0 -1 1077936192 1217 0 0 0 0 0 0 0 20 0 20 0 160792733 19566772224 3650776 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
[pid=824080/tid=824099] ppid=824077 vsize=19108176 memory=100 CPUtime=0 cores=1,3
/proc/824080/task/824099/stat : 824099 (Timer-0) S 824077 824080 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160792747 19566772224 3650776 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
Current children cumulated CPU time: 3389.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14603104 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.18 4.22 5/335 825999
/proc/meminfo: memFree=70595312/131524600 swapFree=131071996/131071996
[pid=824080] ppid=824077 vsize=19108176 memory=14603108 CPUtime=3450.2 cores=1,3
/proc/824080/stat : 824080 (java) S 824077 824080 822101 0 -1 1077936128 338739 0 0 0 344614 406 0 0 20 0 20 0 160792730 19566772224 3650777 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
/proc/824080/statm: 4777044 3650777 5979 1 0 4087697 0
[pid=824080/tid=824082] ppid=824077 vsize=19108176 memory=5448 CPUtime=3336.62 cores=1,3
/proc/824080/task/824082/stat : 824082 (java) R 824077 824080 822101 0 -1 4194368 116301 0 0 0 333578 84 0 0 20 0 20 0 160792730 19566772224 3650777 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
[pid=824080/tid=824091] ppid=824077 vsize=19108176 memory=14603104 CPUtime=0 cores=1,3
/proc/824080/task/824091/stat : 824091 (Finalizer) S 824077 824080 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160792733 19566772224 3650777 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
[pid=824080/tid=824098] ppid=824077 vsize=19108176 memory=-8671235129275163324 CPUtime=0 cores=1,3
/proc/824080/task/824098/stat : 824098 (Common-Cleaner) S 824077 824080 822101 0 -1 1077936192 1217 0 0 0 0 0 0 0 20 0 20 0 160792733 19566772224 3650777 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
[pid=824080/tid=824099] ppid=824077 vsize=19108176 memory=5448 CPUtime=0 cores=1,3
/proc/824080/task/824099/stat : 824099 (Timer-0) S 824077 824080 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160792747 19566772224 3650777 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
Current children cumulated CPU time: 3450.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14603108 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.18 4.22 5/335 826009
/proc/meminfo: memFree=70401492/131524600 swapFree=131071996/131071996
[pid=824080] ppid=824077 vsize=19108176 memory=14605160 CPUtime=3510.31 cores=1,3
/proc/824080/stat : 824080 (java) S 824077 824080 822101 0 -1 1077936128 343432 0 0 0 350623 408 0 0 20 0 20 0 160792730 19566772224 3651290 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
/proc/824080/statm: 4777044 3651290 5979 1 0 4087697 0
[pid=824080/tid=824082] ppid=824077 vsize=19108176 memory=14605160 CPUtime=3396.19 cores=1,3
/proc/824080/task/824082/stat : 824082 (java) R 824077 824080 822101 0 -1 4194368 118068 0 0 0 339535 84 0 0 20 0 20 0 160792730 19566772224 3651290 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 6 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
[pid=824080/tid=824091] ppid=824077 vsize=19108176 memory=5448 CPUtime=0 cores=1,3
/proc/824080/task/824091/stat : 824091 (Finalizer) S 824077 824080 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160792733 19566772224 3651290 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
[pid=824080/tid=824098] ppid=824077 vsize=19108176 memory=14605160 CPUtime=0 cores=1,3
/proc/824080/task/824098/stat : 824098 (Common-Cleaner) S 824077 824080 822101 0 -1 1077936192 1320 0 0 0 0 0 0 0 20 0 20 0 160792733 19566772224 3651290 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
[pid=824080/tid=824099] ppid=824077 vsize=19108176 memory=100 CPUtime=0 cores=1,3
/proc/824080/task/824099/stat : 824099 (Timer-0) S 824077 824080 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160792747 19566772224 3651290 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
Current children cumulated CPU time: 3510.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14605160 KiB

[startup+3522.3 s]
/proc/loadavg: 4.28 4.21 4.22 5/336 826080
/proc/meminfo: memFree=69353900/131524600 swapFree=131071996/131071996
[pid=824080] ppid=824077 vsize=19108176 memory=14695972 CPUtime=3573.13 cores=1,3
/proc/824080/stat : 824080 (java) S 824077 824080 822101 0 -1 1077936128 364967 0 0 0 356899 414 0 0 20 0 20 0 160792730 19566772224 3673993 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
/proc/824080/statm: 4777044 3673993 5995 1 0 4088360 0
[pid=824080/tid=824082] ppid=824077 vsize=19108176 memory=11400 CPUtime=3454.82 cores=1,3
/proc/824080/task/824082/stat : 824082 (java) R 824077 824080 822101 0 -1 4194368 124688 0 0 0 345398 84 0 0 20 0 20 0 160792730 19566772224 3673993 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 6 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
[pid=824080/tid=824091] ppid=824077 vsize=19108176 memory=14695972 CPUtime=0 cores=1,3
/proc/824080/task/824091/stat : 824091 (Finalizer) S 824077 824080 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160792733 19566772224 3673993 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
[pid=824080/tid=824098] ppid=824077 vsize=19108176 memory=-7306096053494308736 CPUtime=0 cores=1,3
/proc/824080/task/824098/stat : 824098 (Common-Cleaner) S 824077 824080 822101 0 -1 1077936192 1320 0 0 0 0 0 0 0 20 0 20 0 160792733 19566772224 3673993 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
[pid=824080/tid=824099] ppid=824077 vsize=19108176 memory=11400 CPUtime=0 cores=1,3
/proc/824080/task/824099/stat : 824099 (Timer-0) S 824077 824080 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160792747 19566772224 3673993 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
Current children cumulated CPU time: 3573.13 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14695972 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3549.11 s]
/proc/loadavg: 4.41 4.24 4.23 5/336 826153
/proc/meminfo: memFree=82375300/131524600 swapFree=131071996/131071996
[pid=824080] ppid=824077 vsize=19108176 memory=14696016 CPUtime=3600 cores=1,3
/proc/824080/stat : 824080 (java) S 824077 824080 822101 0 -1 1077936128 365877 0 0 0 359586 414 0 0 20 0 20 0 160792730 19566772224 3674004 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
/proc/824080/statm: 4777044 3674004 5995 1 0 4088360 0
[pid=824080/tid=824082] ppid=824077 vsize=19108176 memory=11400 CPUtime=3481.18 cores=1,3
/proc/824080/task/824082/stat : 824082 (java) R 824077 824080 822101 0 -1 4194368 125365 0 0 0 348034 84 0 0 20 0 20 0 160792730 19566772224 3674004 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
[pid=824080/tid=824091] ppid=824077 vsize=19108176 memory=14696016 CPUtime=0 cores=1,3
/proc/824080/task/824091/stat : 824091 (Finalizer) S 824077 824080 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 160792733 19566772224 3674004 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
[pid=824080/tid=824098] ppid=824077 vsize=19108176 memory=14695972 CPUtime=0 cores=1,3
/proc/824080/task/824098/stat : 824098 (Common-Cleaner) S 824077 824080 822101 0 -1 1077936192 1320 0 0 0 0 0 0 0 20 0 20 0 160792733 19566772224 3674004 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
[pid=824080/tid=824099] ppid=824077 vsize=19108176 memory=14695972 CPUtime=0 cores=1,3
/proc/824080/task/824099/stat : 824099 (Timer-0) S 824077 824080 822101 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 160792747 19566772224 3674004 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14696016 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.06 s, system=4.19299 s

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

[startup+3549.21 s]
/proc/loadavg: 4.41 4.24 4.23 5/336 826153
/proc/meminfo: memFree=82375300/131524600 swapFree=131071996/131071996
[pid=824080] ppid=824077 vsize=19307868 memory=14696736 CPUtime=3600.21 cores=1,3
/proc/824080/stat : 824080 (java) S 824077 824080 822101 0 -1 1077936128 367897 0 0 0 359606 415 0 0 20 0 21 0 160792730 19771256832 3674184 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
/proc/824080/statm: 4826967 3674184 5994 1 0 4089278 0
[pid=824080/tid=824082] ppid=824077 vsize=19307868 memory=1904 CPUtime=3481.25 cores=1,3
/proc/824080/task/824082/stat : 824082 (java) R 824077 824080 822101 0 -1 4194368 125365 0 0 0 348041 84 0 0 20 0 21 0 160792730 19771256832 3674184 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 9 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
[pid=824080/tid=824091] ppid=824077 vsize=19307868 memory=33020 CPUtime=0 cores=1,3
/proc/824080/task/824091/stat : 824091 (Finalizer) S 824077 824080 822101 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 160792733 19771256832 3674184 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
[pid=824080/tid=824098] ppid=824077 vsize=19307868 memory=100 CPUtime=0 cores=1,3
/proc/824080/task/824098/stat : 824098 (Common-Cleaner) S 824077 824080 822101 0 -1 1077936192 1320 0 0 0 0 0 0 0 20 0 21 0 160792733 19771256832 3674184 134679101440 93868118077440 93868118081136 140733612916976 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 93868118088952 93868118089744 93868139184128 140733612925959 140733612926049 140733612926049 140733612933064 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 14696736 KiB

Child status: 143

Real time (s): 3549.25
CPU time (s): 3600.26
CPU user time (s): 3596.06
CPU system time (s): 4.19299
CPU usage (%): 101.437
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 14696736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.06
system time used= 4.19299
maximum resident set size= 14697476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 367953
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 116806
involuntary context switches= 15487


# summary of solver processes directly reported to runsolver:
#   pid: 824080
#   total CPU time (s): 3600.26
#   total CPU user time (s): 3596.06
#   total CPU system time (s): 4.19299

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.22284 second user time and 16.0362 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2024-07-16 01:32:17
IDJOB=4432233
IDBENCH=147541
IDSOLVER=3058
FILE ID=nodeC015/4432233-1721086325
RUNJOBID= nodeC015-1721083519-822113
SLURM_JOB_ID= 7505571
Free space on /tmp= 890080 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432233-1721086325/watcher-4432233-1721086325 -o /tmp/evaluation-result-4432233-1721086325/solver-4432233-1721086325 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721083519-822113 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432233-1721086325.opb

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

MD5SUM BENCH= 1da12ebdd4ab5e725928f3bf845b8b1e
RANDOM SEED=385662887

nodeC015.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		: 3599.803
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.61
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		: 3662.761
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.25
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.803
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.61
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		: 3645.187
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.25
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		: 3600.044
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.61
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		: 3690.054
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.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        90104776 kB
MemAvailable:   95363732 kB
Buffers:          367348 kB
Cached:          5720596 kB
SwapCached:            0 kB
Active:          1195044 kB
Inactive:       39544604 kB
Active(anon):       1548 kB
Inactive(anon): 34687880 kB
Active(file):    1193496 kB
Inactive(file):  4856724 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1800 kB
Writeback:             0 kB
AnonPages:      34649996 kB
Mapped:           124080 kB
Shmem:             37720 kB
KReclaimable:      96764 kB
Slab:             204384 kB
SReclaimable:      96764 kB
SUnreclaim:       107620 kB
KernelStack:        5104 kB
PageTables:        77764 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   37188900 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61984 kB
HardwareCorrupted:     0 kB
AnonHugePages:  34054144 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:      228052 kB
DirectMap2M:    33099776 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 890064 MiB
End job on nodeC015 at 2024-07-16 02:31:27