Trace number 4432303

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)834 3600.36 3486.61

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-4.opb
MD5SUMa0ea3bcd614a437876ff794ba0a9b553
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark813
Best CPU time to get the best result obtained on this benchmark0.143151
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2289
Total number of constraints764
Number of constraints which are clauses360
Number of constraints which are cardinality constraints (but not clauses)404
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint195
Number of terms in the objective function 1798
Biggest coefficient in the objective function 349
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 104116
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 349
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 104116
Number of bits of the biggest sum of numbers17
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.06	c version CUSTOM.v20240707
0.00/0.07	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.07	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.07	c java.vm.version	22.0.1+8-16
0.00/0.07	c java.vm.vendor	Oracle Corporation
0.00/0.07	c sun.arch.data.model	64
0.00/0.07	c java.version		22.0.1
0.00/0.07	c os.name		Linux
0.00/0.07	c os.version		4.18.0-301.1.el8.x86_64
0.00/0.07	c os.arch		amd64
0.00/0.08	c Free memory 		2106806208
0.00/0.08	c Max memory 		16282288128
0.00/0.08	c Total memory 		2113929216
0.00/0.08	c Number of processors 	2
0.14/0.12	--- Begin Solver configuration ---
0.14/0.12	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	Learn all clauses as in MiniSAT
0.14/0.12	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	No reason simplification
0.14/0.12	Glucose 2.1 dynamic restart strategy
0.14/0.12	Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.12	timeout=2147483s
0.14/0.12	DB Simplification allowed=false
0.14/0.12	Listener: none
0.14/0.12	--- End Solver configuration ---
0.14/0.12	c Pseudo Boolean Optimization by upper bound
0.14/0.12	c --- Begin Solver configuration ---
0.14/0.12	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.14/0.12	c Learn all clauses as in MiniSAT
0.14/0.12	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.14/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.14/0.12	c No reason simplification
0.14/0.12	c Glucose 2.1 dynamic restart strategy
0.14/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.14/0.12	c timeout=2147483s
0.14/0.12	c DB Simplification allowed=false
0.14/0.12	c Listener: none
0.14/0.12	c --- End Solver configuration ---
0.14/0.12	c solving HOME/instance-4432303-1721054579.opb
0.14/0.12	c reading problem ... 
0.14/0.12	c  objective function found
0.33/0.21	c ... done. Wall clock time 0.085s.
0.33/0.21	c declared #vars     2289
0.33/0.21	c #constraints  1142
0.33/0.21	c constraints type 
0.33/0.21	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 360
0.33/0.21	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 402
0.33/0.21	c org.sat4j.specs.Constr$1 => 1
0.33/0.21	c org.sat4j.pb.constraints.pb.UnitClausesPB => 1
0.33/0.21	c org.sat4j.pb.constraints.pb.UnitClausePB => 1
0.33/0.21	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 377
0.33/0.21	c 1142 constraints processed.
0.33/0.23	c objective function length is 1798 literals
0.33/0.28	c SATISFIABLE
0.33/0.28	c OPTIMIZING...
0.33/0.29	c Got one! Elapsed wall clock time (in seconds):0.159
0.33/0.29	o 846
0.51/0.32	c Got one! Elapsed wall clock time (in seconds):0.194
0.51/0.32	o 834
1.98/1.32	c cleaning 2517 clauses out of 5034 with flag 10085/5034
3.06/2.34	c cleaning 4258 clauses out of 8517 with flag 22093/11034
4.43/3.55	c cleaning 5629 clauses out of 11258 with flag 36112/18033
5.91/4.92	c cleaning 6815 clauses out of 13629 with flag 52129/26033
7.48/6.48	c cleaning 7908 clauses out of 15815 with flag 70140/35034
9.28/8.18	c cleaning 8951 clauses out of 17906 with flag 90147/45033
11.25/10.07	c cleaning 9975 clauses out of 19955 with flag 112166/56033
13.39/12.16	c cleaning 10991 clauses out of 21981 with flag 136193/68034
15.78/14.47	c cleaning 11991 clauses out of 23990 with flag 162215/81034
18.34/16.99	c cleaning 12999 clauses out of 25998 with flag 190250/95033
21.11/19.69	c cleaning 14000 clauses out of 28000 with flag 220277/110034
24.00/22.48	c cleaning 14996 clauses out of 29999 with flag 252304/126033
27.09/25.40	c cleaning 15998 clauses out of 32004 with flag 286339/143034
30.23/28.51	c cleaning 17001 clauses out of 34005 with flag 322374/161033
33.73/31.95	c cleaning 18001 clauses out of 36004 with flag 360410/180033
37.38/35.53	c cleaning 18999 clauses out of 38003 with flag 400453/200033
41.26/39.35	c cleaning 20001 clauses out of 40004 with flag 442500/221033
45.52/43.41	c cleaning 20995 clauses out of 42004 with flag 486549/243034
49.67/47.55	c cleaning 22002 clauses out of 44008 with flag 532598/266033
54.71/51.94	c cleaning 23001 clauses out of 46007 with flag 580649/290034
59.31/56.40	c cleaning 24003 clauses out of 48006 with flag 630705/315034
64.32/61.24	c cleaning 25000 clauses out of 50003 with flag 682759/341034
69.45/66.23	c cleaning 25998 clauses out of 52003 with flag 736811/368034
74.64/71.38	c cleaning 27003 clauses out of 54005 with flag 792873/396034
80.54/77.04	c cleaning 28001 clauses out of 56001 with flag 850934/425033
86.12/82.63	c cleaning 29000 clauses out of 58001 with flag 910999/455034
91.90/88.45	c cleaning 29996 clauses out of 60000 with flag 973060/486033
97.79/94.35	c cleaning 30995 clauses out of 62004 with flag 1037130/518033
103.97/100.53	c cleaning 32003 clauses out of 64009 with flag 1103203/551033
110.37/106.99	c cleaning 33002 clauses out of 66006 with flag 1171270/585033
116.95/113.59	c cleaning 33999 clauses out of 68005 with flag 1241347/620034
123.83/120.47	c cleaning 34998 clauses out of 70005 with flag 1313418/656033
133.23/128.75	c cleaning 36004 clauses out of 72008 with flag 1387503/693034
141.56/136.29	c cleaning 36998 clauses out of 74004 with flag 1463545/731034
149.44/143.93	c cleaning 38000 clauses out of 76006 with flag 1541587/770034
157.35/151.69	c cleaning 39000 clauses out of 78006 with flag 1621587/810034
165.56/159.65	c cleaning 40000 clauses out of 80006 with flag 1703629/851034
173.97/167.87	c cleaning 41000 clauses out of 82006 with flag 1787629/893034
182.57/176.25	c cleaning 42001 clauses out of 84006 with flag 1873671/936034
193.56/185.73	c cleaning 42998 clauses out of 86005 with flag 1961671/980034
202.29/194.33	c cleaning 43999 clauses out of 88006 with flag 2051676/1025033
211.72/203.54	c cleaning 45003 clauses out of 90007 with flag 2143774/1071033
221.38/212.91	c cleaning 46003 clauses out of 92005 with flag 2237797/1118034
231.25/222.52	c cleaning 46994 clauses out of 94002 with flag 2333797/1166034
241.31/232.36	c cleaning 48003 clauses out of 96008 with flag 2431797/1215034
251.19/242.00	c cleaning 49001 clauses out of 98005 with flag 2531797/1265034
261.49/251.92	c cleaning 49998 clauses out of 100004 with flag 2633797/1316034
271.82/261.92	c cleaning 51002 clauses out of 102005 with flag 2737846/1368033
284.39/272.76	c cleaning 51996 clauses out of 104003 with flag 2843892/1421033
295.49/283.51	c cleaning 52999 clauses out of 106007 with flag 2951916/1475033
306.71/294.47	c cleaning 54001 clauses out of 108008 with flag 3061916/1530033
318.13/305.58	c cleaning 55003 clauses out of 110007 with flag 3173916/1586033
326.62/313.64	c cleaning 55997 clauses out of 112004 with flag 3287916/1643033
333.72/320.41	c cleaning 56997 clauses out of 114008 with flag 3403927/1701034
346.08/332.54	c cleaning 58003 clauses out of 116010 with flag 3521973/1760033
358.69/344.89	c cleaning 59003 clauses out of 118008 with flag 3642029/1820034
371.32/357.16	c cleaning 60001 clauses out of 120005 with flag 3764079/1881034
384.54/370.06	c cleaning 60997 clauses out of 122004 with flag 3888117/1943034
401.29/384.45	c cleaning 61999 clauses out of 124007 with flag 4014171/2006034
414.79/397.70	c cleaning 63001 clauses out of 126007 with flag 4142223/2070033
428.70/411.33	c cleaning 64003 clauses out of 128006 with flag 4272279/2135033
443.15/425.49	c cleaning 65000 clauses out of 130004 with flag 4404337/2201034
457.95/439.84	c cleaning 66000 clauses out of 132004 with flag 4538395/2268034
473.15/454.51	c cleaning 67002 clauses out of 134004 with flag 4674453/2336034
488.04/469.30	c cleaning 67994 clauses out of 136001 with flag 4812509/2405033
502.93/484.01	c cleaning 69002 clauses out of 138008 with flag 4952573/2475034
518.00/498.89	c cleaning 69998 clauses out of 140006 with flag 5094633/2546034
533.74/514.34	c cleaning 71000 clauses out of 142007 with flag 5238691/2618033
549.47/529.83	c cleaning 72000 clauses out of 144008 with flag 5384757/2691034
565.28/545.45	c cleaning 73000 clauses out of 146008 with flag 5532821/2765034
581.56/561.49	c cleaning 73999 clauses out of 148008 with flag 5682885/2840034
597.57/577.10	c cleaning 75001 clauses out of 150009 with flag 5834909/2916034
614.64/592.56	c cleaning 75998 clauses out of 152008 with flag 5988909/2993034
631.10/608.64	c cleaning 77001 clauses out of 154010 with flag 6144909/3071034
647.73/624.95	c cleaning 77999 clauses out of 156009 with flag 6302909/3150034
664.55/641.39	c cleaning 78999 clauses out of 158009 with flag 6462931/3230033
677.30/653.57	c cleaning 80004 clauses out of 160011 with flag 6624957/3311034
689.70/665.56	c cleaning 80999 clauses out of 162007 with flag 6788986/3393034
707.99/683.47	c cleaning 81999 clauses out of 164007 with flag 6955058/3476033
726.50/701.50	c cleaning 83005 clauses out of 166009 with flag 7123138/3560034
745.14/719.86	c cleaning 83999 clauses out of 168003 with flag 7293180/3645033
764.40/738.89	c cleaning 84998 clauses out of 170004 with flag 7465254/3731033
783.79/757.87	c cleaning 86003 clauses out of 172006 with flag 7639328/3818033
803.71/777.11	c cleaning 86997 clauses out of 174003 with flag 7815328/3906033
825.34/795.68	c cleaning 87999 clauses out of 176006 with flag 7993336/3995033
845.67/815.89	c cleaning 89001 clauses out of 178007 with flag 8173412/4085033
866.08/835.97	c cleaning 89998 clauses out of 180006 with flag 8355488/4176033
887.24/856.70	c cleaning 91002 clauses out of 182008 with flag 8539568/4268033
909.37/878.33	c cleaning 91999 clauses out of 184006 with flag 8725644/4361033
930.83/899.22	c cleaning 93002 clauses out of 186007 with flag 8913724/4455033
953.33/921.15	c cleaning 93999 clauses out of 188005 with flag 9103804/4550033
974.80/942.30	c cleaning 95000 clauses out of 190006 with flag 9295808/4646033
995.70/962.82	c cleaning 95994 clauses out of 192006 with flag 9489808/4743033
1017.62/984.33	c cleaning 97002 clauses out of 194012 with flag 9685808/4841033
1039.69/1005.85	c cleaning 98000 clauses out of 196010 with flag 9883854/4940033
1062.49/1028.31	c cleaning 98999 clauses out of 198010 with flag 10083936/5040033
1085.64/1050.79	c cleaning 100003 clauses out of 200011 with flag 10286024/5141033
1111.84/1073.98	c cleaning 100995 clauses out of 202008 with flag 10490110/5243033
1135.80/1097.30	c cleaning 102003 clauses out of 204013 with flag 10696192/5346033
1158.86/1120.15	c cleaning 103002 clauses out of 206010 with flag 10904192/5450033
1183.37/1144.22	c cleaning 104001 clauses out of 208008 with flag 11114280/5555033
1207.05/1167.35	c cleaning 104998 clauses out of 210007 with flag 11326320/5661033
1232.61/1192.19	c cleaning 106002 clauses out of 212009 with flag 11540412/5768033
1257.21/1216.11	c cleaning 106994 clauses out of 214008 with flag 11756480/5876034
1281.39/1239.90	c cleaning 108002 clauses out of 216014 with flag 11974578/5985034
1305.73/1263.99	c cleaning 109000 clauses out of 218012 with flag 12194660/6095034
1330.73/1288.43	c cleaning 110001 clauses out of 220012 with flag 12416660/6206034
1355.01/1312.16	c cleaning 111000 clauses out of 222011 with flag 12640736/6318034
1380.41/1337.00	c cleaning 112001 clauses out of 224011 with flag 12866842/6431034
1406.41/1362.40	c cleaning 112998 clauses out of 226009 with flag 13094951/6545033
1433.32/1388.76	c cleaning 114006 clauses out of 228012 with flag 13325064/6660034
1463.21/1415.45	c cleaning 114999 clauses out of 230005 with flag 13557174/6776033
1489.46/1441.39	c cleaning 116003 clauses out of 232007 with flag 13791200/6893034
1515.92/1467.37	c cleaning 116994 clauses out of 234004 with flag 14027200/7011034
1542.87/1493.83	c cleaning 118001 clauses out of 236010 with flag 14265200/7130034
1571.07/1521.50	c cleaning 119003 clauses out of 238009 with flag 14505308/7250034
1598.25/1548.23	c cleaning 119998 clauses out of 240005 with flag 14747421/7371033
1627.00/1576.64	c cleaning 120997 clauses out of 242007 with flag 14991536/7493033
1655.44/1604.52	c cleaning 122002 clauses out of 244011 with flag 15237632/7616034
1683.07/1631.61	c cleaning 123001 clauses out of 246009 with flag 15485666/7740034
1712.59/1660.72	c cleaning 124001 clauses out of 248008 with flag 15735740/7865034
1743.13/1690.89	c cleaning 125000 clauses out of 250006 with flag 15987856/7991033
1772.72/1720.09	c cleaning 125997 clauses out of 252006 with flag 16241941/8118033
1803.42/1750.30	c cleaning 126998 clauses out of 254010 with flag 16498050/8246034
1834.11/1780.66	c cleaning 128004 clauses out of 256012 with flag 16756114/8375034
1863.12/1809.24	c cleaning 129001 clauses out of 258008 with flag 17016128/8505034
1898.03/1840.86	c cleaning 129997 clauses out of 260007 with flag 17278238/8636034
1930.86/1872.95	c cleaning 131005 clauses out of 262010 with flag 17542348/8768034
1964.64/1906.02	c cleaning 131998 clauses out of 264005 with flag 17808462/8901034
1998.60/1939.24	c cleaning 132999 clauses out of 266007 with flag 18076574/9035034
2030.65/1970.77	c cleaning 133999 clauses out of 268008 with flag 18346594/9170034
2058.81/1997.88	c cleaning 134997 clauses out of 270010 with flag 18652830/9306035
2086.46/2024.74	c cleaning 135997 clauses out of 272011 with flag 18984421/9443033
2115.89/2053.65	c cleaning 137005 clauses out of 274014 with flag 19333141/9581033
2143.29/2080.40	c cleaning 137996 clauses out of 276009 with flag 19679055/9720033
2176.67/2108.78	c cleaning 138996 clauses out of 278013 with flag 20024177/9860033
2206.14/2137.49	c cleaning 140006 clauses out of 280018 with flag 20363700/10001034
2236.03/2166.47	c cleaning 141000 clauses out of 282012 with flag 20723363/10143034
2264.98/2194.56	c cleaning 142006 clauses out of 284011 with flag 21080422/10286033
2295.04/2223.82	c cleaning 142994 clauses out of 286005 with flag 21439559/10430033
2325.38/2253.34	c cleaning 144008 clauses out of 288020 with flag 21802970/10575042
2355.64/2282.92	c cleaning 144996 clauses out of 290005 with flag 22166827/10721035
2386.03/2312.55	c cleaning 145992 clauses out of 292007 with flag 22533872/10868033
2416.19/2342.02	c cleaning 146997 clauses out of 294015 with flag 22904757/11016033
2449.93/2372.17	c cleaning 148007 clauses out of 296018 with flag 23282533/11165033
2481.67/2403.25	c cleaning 148997 clauses out of 298011 with flag 23645629/11315033
2512.78/2433.75	c cleaning 150000 clauses out of 300016 with flag 24018967/11466035
2545.33/2465.17	c cleaning 151001 clauses out of 302014 with flag 24397501/11618033
2576.42/2495.41	c cleaning 152005 clauses out of 304020 with flag 24780257/11771040
2609.02/2527.49	c cleaning 152999 clauses out of 306008 with flag 25168420/11925033
2639.78/2557.47	c cleaning 153999 clauses out of 308009 with flag 25568191/12080033
2671.48/2588.54	c cleaning 155002 clauses out of 310011 with flag 25967931/12236034
2703.53/2619.67	c cleaning 155994 clauses out of 312008 with flag 26369173/12393033
2739.63/2651.56	c cleaning 157006 clauses out of 314014 with flag 26767342/12551033
2774.39/2685.65	c cleaning 157993 clauses out of 316008 with flag 27150604/12710033
2810.04/2720.61	c cleaning 159004 clauses out of 318015 with flag 27547261/12870033
2845.49/2755.13	c cleaning 159992 clauses out of 320011 with flag 27956211/13031033
2881.38/2790.27	c cleaning 161007 clauses out of 322019 with flag 28381207/13193033
2919.14/2827.31	c cleaning 161999 clauses out of 324013 with flag 28793510/13356034
2956.96/2864.55	c cleaning 163008 clauses out of 326024 with flag 29213143/13520044
2996.21/2902.63	c cleaning 163992 clauses out of 328005 with flag 29631789/13685033
3038.72/2940.70	c cleaning 164999 clauses out of 330013 with flag 30046173/13851033
3077.56/2978.84	c cleaning 166004 clauses out of 332015 with flag 30463725/14018034
3117.07/3017.35	c cleaning 167001 clauses out of 334011 with flag 30886469/14186034
3156.80/3056.13	c cleaning 168001 clauses out of 336009 with flag 31315663/14355033
3196.58/3095.22	c cleaning 169008 clauses out of 338019 with flag 31750811/14525044
3236.07/3133.87	c cleaning 169989 clauses out of 340000 with flag 32191938/14696033
3273.67/3170.74	c cleaning 171000 clauses out of 342011 with flag 32632718/14868033
3314.26/3210.22	c cleaning 171986 clauses out of 344011 with flag 33067105/15041033
3358.88/3250.20	c cleaning 173012 clauses out of 346031 with flag 33504368/15215039
3396.67/3287.45	c cleaning 173996 clauses out of 348013 with flag 33964049/15390033
3440.68/3330.59	c cleaning 175006 clauses out of 350017 with flag 34410475/15566033
3488.94/3377.96	c cleaning 176005 clauses out of 352012 with flag 34787148/15743034
3532.89/3420.78	c cleaning 177002 clauses out of 354016 with flag 35195164/15921043
3577.56/3464.64	c cleaning 177993 clauses out of 356004 with flag 35653421/16100033
3600.00/3486.43	c starts		: 7
3600.00/3486.43	c conflicts		: 16205774
3600.00/3486.43	c decisions		: 36579789
3600.00/3486.43	c propagations		: 1018313290
3600.00/3486.43	c inspects		: 4632474193
3600.00/3486.43	c shortcuts		: 0
3600.00/3486.43	c learnt literals	: 0
3600.00/3486.43	c learnt binary clauses	: 0
3600.00/3486.43	c learnt ternary clauses	: 27
3600.00/3486.43	c learnt constraints	: 16205774
3600.00/3486.43	c ignored constraints	: 0
3600.00/3486.43	c root simplifications	: 0
3600.00/3486.43	c removed literals (reason simplification)	: 0
3600.00/3486.43	c reason swapping (by a shorter reason)	: 0
3600.00/3486.43	c Calls to reduceDB	: 175
3600.00/3486.43	c Number of update (reduction) of LBD	: 3218028
3600.00/3486.43	c Imported unit clauses	: 0
3600.00/3486.43	c No decision after first conflict	: false
3600.00/3486.43	c number of reductions to clauses (during analyze)	: 0
3600.00/3486.43	c number of learned constraints concerned by reduction	: 0
3600.00/3486.43	c number of learning phase by resolution	: 0
3600.00/3486.43	c number of learning phase by cutting planes	: 0
3600.00/3486.43	c number of rounding to 1 operations	: 0
3600.00/3486.43	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.00/3486.43	c number of reductions of the coefficients by power 2 	: 0
3600.00/3486.43	c number of right shift for reduction by power 2 	: 0
3600.00/3486.43	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.00/3486.43	c number of ending skipping 	: 0
3600.00/3486.43	c number of internal skipping 	: 0
3600.00/3486.43	c number of derivation steps 	: 0
3600.00/3486.43	c number of skipped derivation steps 	: 0
3600.00/3486.43	c number of remaining unassigned 	: 0
3600.00/3486.43	c number of remaining assigned 	: 0
3600.00/3486.43	c number of falsified literals weakened from reason	: 0
3600.00/3486.43	c number of falsified literals weakened from conflict	: 0
3600.00/3486.43	c time for arithmetic operations	: 0
3600.00/3486.43	c minimum degree of deleted constraints	: null
3600.00/3486.43	c maximum degree of deleted constraints	: null
3600.00/3486.44	c number of deleted constraints	: 0
3600.00/3486.44	c speed (assignments/second)	: 292097.8536552344
3600.00/3486.44	c non guided choices	: 65
3600.22/3486.53	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 283752
3600.22/3486.53	s SATISFIABLE
3600.22/3486.53	c Found 2 solution(s)
3600.22/3486.53	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 -x480 x481 -x482 -x483 -x484 -x485 -x486 x487 -x488 x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 x507 x508 x509 -x510 -x511 -x512 -x513 -x514 x515 x516 -x517 -x518 -x519 -x520 x521 x522 -x523 x524 -x525 x526 -x527 x528 x529 -x530 -x531 x532 x533 x534 x535 x536 x537 x538 x539 x540 -x541 -x542 x543 x544 x545 x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 x560 x561 -x562 -x563 x564 -x565 -x566 x567 x568 -x569 -x570 x571 x572 x573 x574 -x575 -x576 x577 -x578 -x579 x580 -x581 -x582 -x583 -x584 x585 -x586 -x587 -x588 x589 x590 -x591 -x592 -x593 -x594 -x595 x596 -x597 -x598 -x599 -x600 x601 x602 -x603 x604 -x605 x606 -x607 -x608 x609 -x610 -x611 -x612 -x613 x614 x615 -x616 x617 -x618 -x619 -x620 -x621 x622 x623 x624 -x625 x626 x627 x628 x629 -x630 -x631 x632 -x633 x634 -x635 x636 x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 x646 -x647 x648 -x649 x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 x673 -x674 x675 -x676 -x677 -x678 -x679 -x680 x681 -x682 -x683 x684 -x685 -x686 -x687 x688 -x689 -x690 -x691 -x692 -x693 -x694 x695 x696 -x697 -x698 -x699 x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 x741 -x742 -x743 -x744 -x745 -x746 x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 x795 x796 x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 x821 -x822 -x823 -x824 x825 -x826 x827 x828 x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 x837 -x838 -x839 -x840 -x841 -x842 -x843 x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 x860 x861 -x862 -x863 -x864 -x865 x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 x1011 -x1012 -x1013 x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 x1025 -x1026 -x1027 -x1028 x1029 -x1030 x1031 -x1032 x1033 -x1034 x1035 -x1036 x1037 -x1038 -x1039 -x1040 x1041 x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 x1066 x1067 x1068 -x1069 x1070 -x1071 -x1072 x1073 x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 x1086 -x1087 x1088 -x1089 x1090 x1091 -x1092 x1093 -x1094 x1095 -x1096 -x1097 -x1098 x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 x1120 -x1121 -x1122 x1123 x1124 x1125 -x1126 -x1127 -x1128 x1129 -x1130 -x1131 -x1132 x1133 -x1134 -x1135 -x1136 -x1137 x1138 -x1139 -x1140 -x1141 x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 x1149 -x1150 -x1151 -x1152 -x1153 x1154 -x1155 -x1156 -x1157 -x1158 x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 x1169 -x1170 -x1171 -x1172 -x1173 x1174 -x1175 x1176 x1177 -x1178 -x1179 -x1180 -x1181 -x1182 x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 x1198 -x1199 x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 x1225 -x1226 -x1227 -x1228 x1229 -x1230 x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 x1239 -x1240 -x1241 x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 x1331 -x1332 -x1333 -x1334 x1335 -x1336 -x1337 -x1338 -x1339 x1340 -x1341 -x1342 -x1343 -x1344 x1345 x1346 x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 x1383 x1384 -x1385 -x1386 x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 x1435 -x1436 -x1437 -x1438 x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 x1453 x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 x1461 -x1462 -x1463 -x1464 -x1465 x1466 -x1467 -x1468 -x1469 x1470 x1471 -x1472 -x1473 -x1474 x1475 -x1476 x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 x1496 -x1497 -x1498 -x1499 -x1500 -x1501 x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 x1511 -x1512 -x1513 -x1514 -x1515 x1516 -x1517 x1518 -x1519 x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 x1551 -x1552 -x1553 -x1554 -x1555 x1556 -x1557 x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 x1580 -x1581 -x1582 -x1583 -x1584 x1585 x1586 -x1587 -x1588 x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 x1597 -x1598 -x1599 x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 x1699 -x1700 x1701 -x1702 -x1703 x1704 -x1705 -x1706 x1707 -x1708 -x1709 -x1710 -x1711 x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 x1747 -x1748 -x1749 -x1750 -x1751 x1752 -x1753 -x1754 x1755 -x1756 x1757 x1758 -x1759 -x1760 -x1761 -x1762 x1763 x1764 -x1765 x1766 x1767 -x1768 x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 x1788 -x1789 x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 x1797 -x1798 -x1799 -x1800 x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 x1852 -x1853 -x1854 -x1855 -x1856 x1857 -x1858 x1859 -x1860 -x1861 x1862 x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 x1919 -x1920 x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 x1928 -x1929 -x1930 -x1931 -x1932 x1933 -x1934 -x1935 -x1936 -x1937 x1938 -x1939 x1940 -x1941 -x1942 x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 x2018 -x2019 -x2020 x2021 -x2022 x2023 -x2024 x2025 -x2026 x2027 -x2028 -x2029 -x2030 -x2031 x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 x2083 x2084 -x2085 -x2086 -x2087 x2088 -x2089 -x2090 -x2091 -x2092 x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 x2107 -x2108 x2109 x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 x2131 x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 x2166 -x2167 x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 x2188 x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 x2248 -x2249 -x2250 -x2251 -x2252 -x2253 x2254 -x2255 -x2256 -x2257 -x2258 x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 x2266 x2267 x2268 -x2269 x2270 x2271 -x2272 -x2273 -x2274 x2275 -x2276 x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 x2285 -x2286 x2287 -x2288 -x2289 
3600.22/3486.54	c objective function=834
3600.22/3486.54	c Total wall clock time (in seconds): 3486.418

Verifier Data 

OK	834

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432303-1721054579/watcher-4432303-1721054579 -o /tmp/evaluation-result-4432303-1721054579/solver-4432303-1721054579 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721051003-802438 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432303-1721054579.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=804520, runsolver pid=804517

[startup+0.101347 s]*
/proc/loadavg: 4.28 4.26 4.18 6/330 804538
/proc/meminfo: memFree=121280556/131524600 swapFree=131071996/131071996
[pid=804520] ppid=804517 vsize=18975048 memory=62792 CPUtime=0.14 cores=5,7
/proc/804520/stat : 804520 (java) S 804517 804520 802425 0 -1 1077936128 7233 0 0 0 12 2 0 0 20 0 18 0 157627632 19430449152 15698 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
/proc/804520/statm: 4743762 15698 5571 1 0 549338 0
[pid=804520/tid=804522] ppid=804517 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/804520/task/804522/stat : 804522 (java) S 804517 804520 802425 0 -1 1077936192 5750 0 0 0 7 1 0 0 20 0 18 0 157627632 19430449152 15698 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
[pid=804520/tid=804531] ppid=804517 vsize=18975048 memory=228556276070 CPUtime=0 cores=5,7
/proc/804520/task/804531/stat : 804531 (Finalizer) S 804517 804520 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 157627634 19430449152 15698 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
[pid=804520/tid=804538] ppid=804517 vsize=18975048 memory=15817789847927870 CPUtime=0 cores=5,7
/proc/804520/task/804538/stat : 804538 (Common-Cleaner) S 804517 804520 802425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 157627635 19430449152 15698 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62792 KiB

[startup+0.205791 s]*
/proc/loadavg: 4.28 4.26 4.18 6/330 804538
/proc/meminfo: memFree=121263392/131524600 swapFree=131071996/131071996
[pid=804520] ppid=804517 vsize=18975048 memory=80940 CPUtime=0.33 cores=5,7
/proc/804520/stat : 804520 (java) S 804517 804520 802425 0 -1 1077936128 8118 0 0 0 30 3 0 0 20 0 18 0 157627632 19430449152 20235 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
/proc/804520/statm: 4743762 20235 5849 1 0 549863 0
[pid=804520/tid=804522] ppid=804517 vsize=18975048 memory=4782652875487838339 CPUtime=0.15 cores=5,7
/proc/804520/task/804522/stat : 804522 (java) S 804517 804520 802425 0 -1 1077936192 5929 0 0 0 14 1 0 0 20 0 18 0 157627632 19430449152 20235 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
[pid=804520/tid=804531] ppid=804517 vsize=18975048 memory=17963 CPUtime=0 cores=5,7
/proc/804520/task/804531/stat : 804531 (Finalizer) S 804517 804520 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 157627634 19430449152 20235 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
[pid=804520/tid=804538] ppid=804517 vsize=18975048 memory=14697378909259238 CPUtime=0 cores=5,7
/proc/804520/task/804538/stat : 804538 (Common-Cleaner) S 804517 804520 802425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 157627635 19430449152 20235 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 80940 KiB

[startup+0.312268 s]*
/proc/loadavg: 4.28 4.26 4.18 7/331 804539
/proc/meminfo: memFree=121257060/131524600 swapFree=131071996/131071996
[pid=804520] ppid=804517 vsize=19041612 memory=87056 CPUtime=0.51 cores=5,7
/proc/804520/stat : 804520 (java) S 804517 804520 802425 0 -1 1077936128 9469 0 0 0 48 3 0 0 20 0 19 0 157627632 19498610688 21764 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
/proc/804520/statm: 4760403 21764 5886 1 0 551092 0
[pid=804520/tid=804522] ppid=804517 vsize=19041612 memory=-8672918481610842812 CPUtime=0.25 cores=5,7
/proc/804520/task/804522/stat : 804522 (java) R 804517 804520 802425 0 -1 4194368 6063 0 0 0 23 2 0 0 20 0 19 0 157627632 19498610688 21764 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
[pid=804520/tid=804531] ppid=804517 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/804520/task/804531/stat : 804531 (Finalizer) S 804517 804520 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 157627634 19498610688 21764 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
[pid=804520/tid=804538] ppid=804517 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/804520/task/804538/stat : 804538 (Common-Cleaner) S 804517 804520 802425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 157627635 19498610688 21764 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
[pid=804520/tid=804539] ppid=804517 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/804520/task/804539/stat : 804539 (Timer-0) S 804517 804520 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 157627655 19498610688 21764 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 87056 KiB

[startup+0.70627 s]
/proc/loadavg: 4.28 4.26 4.18 7/331 804539
/proc/meminfo: memFree=121251840/131524600 swapFree=131071996/131071996
[pid=804520] ppid=804517 vsize=19041612 memory=102504 CPUtime=1.27 cores=5,7
/proc/804520/stat : 804520 (java) S 804517 804520 802425 0 -1 1077936128 9734 0 0 0 124 3 0 0 20 0 19 0 157627632 19498610688 25626 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
/proc/804520/statm: 4760403 25626 5901 1 0 551231 0
[pid=804520/tid=804522] ppid=804517 vsize=19041612 memory=12312 CPUtime=0.62 cores=5,7
/proc/804520/task/804522/stat : 804522 (java) R 804517 804520 802425 0 -1 4194368 6074 0 0 0 60 2 0 0 20 0 19 0 157627632 19498610688 25626 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
[pid=804520/tid=804531] ppid=804517 vsize=19041612 memory=12312 CPUtime=0 cores=5,7
/proc/804520/task/804531/stat : 804531 (Finalizer) S 804517 804520 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 157627634 19498610688 25626 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
[pid=804520/tid=804538] ppid=804517 vsize=19041612 memory=117636 CPUtime=0 cores=5,7
/proc/804520/task/804538/stat : 804538 (Common-Cleaner) S 804517 804520 802425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 157627635 19498610688 25626 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
[pid=804520/tid=804539] ppid=804517 vsize=19041612 memory=5568 CPUtime=0 cores=5,7
/proc/804520/task/804539/stat : 804539 (Timer-0) S 804517 804520 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 157627655 19498610688 25626 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 102504 KiB

[startup+1.50027 s]
/proc/loadavg: 4.28 4.26 4.18 5/331 804539
/proc/meminfo: memFree=121220252/131524600 swapFree=131071996/131071996
[pid=804520] ppid=804517 vsize=19041612 memory=148244 CPUtime=2.2 cores=5,7
/proc/804520/stat : 804520 (java) S 804517 804520 802425 0 -1 1077936128 12580 0 0 0 215 5 0 0 20 0 19 0 157627632 19498610688 37061 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
/proc/804520/statm: 4760403 37061 5901 1 0 551288 0
[pid=804520/tid=804522] ppid=804517 vsize=19041612 memory=12312 CPUtime=1.41 cores=5,7
/proc/804520/task/804522/stat : 804522 (java) R 804517 804520 802425 0 -1 4194368 7184 0 0 0 138 3 0 0 20 0 19 0 157627632 19498610688 37061 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
[pid=804520/tid=804531] ppid=804517 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/804520/task/804531/stat : 804531 (Finalizer) S 804517 804520 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 157627634 19498610688 37061 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
[pid=804520/tid=804538] ppid=804517 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/804520/task/804538/stat : 804538 (Common-Cleaner) S 804517 804520 802425 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 157627635 19498610688 37061 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
[pid=804520/tid=804539] ppid=804517 vsize=19041612 memory=65 CPUtime=0 cores=5,7
/proc/804520/task/804539/stat : 804539 (Timer-0) S 804517 804520 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 157627655 19498610688 37061 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
Current children cumulated CPU time: 2.2 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 148244 KiB

[startup+3.10552 s]
/proc/loadavg: 4.28 4.26 4.18 5/332 804540
/proc/meminfo: memFree=121118768/131524600 swapFree=131071996/131071996
[pid=804520] ppid=804517 vsize=19108176 memory=219096 CPUtime=3.96 cores=5,7
/proc/804520/stat : 804520 (java) S 804517 804520 802425 0 -1 1077936128 15503 0 0 0 390 6 0 0 20 0 20 0 157627632 19566772224 54774 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
/proc/804520/statm: 4777044 54774 5933 1 0 552350 0
[pid=804520/tid=804522] ppid=804517 vsize=19108176 memory=0 CPUtime=2.95 cores=5,7
/proc/804520/task/804522/stat : 804522 (java) R 804517 804520 802425 0 -1 4194368 7515 0 0 0 291 4 0 0 20 0 20 0 157627632 19566772224 54774 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
[pid=804520/tid=804531] ppid=804517 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/804520/task/804531/stat : 804531 (Finalizer) S 804517 804520 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157627634 19566772224 54774 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
[pid=804520/tid=804538] ppid=804517 vsize=19108176 memory=197764 CPUtime=0 cores=5,7
/proc/804520/task/804538/stat : 804538 (Common-Cleaner) S 804517 804520 802425 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 157627635 19566772224 54774 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
[pid=804520/tid=804539] ppid=804517 vsize=19108176 memory=12312 CPUtime=0 cores=5,7
/proc/804520/task/804539/stat : 804539 (Timer-0) S 804517 804520 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157627655 19566772224 54774 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
Current children cumulated CPU time: 3.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 219096 KiB

[startup+6.30027 s]
/proc/loadavg: 4.26 4.26 4.18 5/331 804609
/proc/meminfo: memFree=123249792/131524600 swapFree=131071996/131071996
[pid=804520] ppid=804517 vsize=19108176 memory=441544 CPUtime=7.38 cores=5,7
/proc/804520/stat : 804520 (java) S 804517 804520 802425 0 -1 1077936128 16525 0 0 0 727 11 0 0 20 0 20 0 157627632 19566772224 110386 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
/proc/804520/statm: 4777044 110386 5933 1 0 552353 0
[pid=804520/tid=804522] ppid=804517 vsize=19108176 memory=12312 CPUtime=5.92 cores=5,7
/proc/804520/task/804522/stat : 804522 (java) R 804517 804520 802425 0 -1 4194368 7585 0 0 0 588 4 0 0 20 0 20 0 157627632 19566772224 110386 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
[pid=804520/tid=804531] ppid=804517 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/804520/task/804531/stat : 804531 (Finalizer) S 804517 804520 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157627634 19566772224 110386 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
[pid=804520/tid=804538] ppid=804517 vsize=19108176 memory=6935655852829335616 CPUtime=0 cores=5,7
/proc/804520/task/804538/stat : 804538 (Common-Cleaner) S 804517 804520 802425 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 157627635 19566772224 110386 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
[pid=804520/tid=804539] ppid=804517 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/804520/task/804539/stat : 804539 (Timer-0) S 804517 804520 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157627655 19566772224 110386 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
Current children cumulated CPU time: 7.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 441544 KiB

[startup+12.7003 s]
/proc/loadavg: 4.24 4.25 4.18 5/332 804610
/proc/meminfo: memFree=122097768/131524600 swapFree=131071996/131071996
[pid=804520] ppid=804517 vsize=19108176 memory=837492 CPUtime=13.99 cores=5,7
/proc/804520/stat : 804520 (java) S 804517 804520 802425 0 -1 1077936128 19781 0 0 0 1381 18 0 0 20 0 20 0 157627632 19566772224 209373 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
/proc/804520/statm: 4777044 209373 5933 1 0 719638 0
[pid=804520/tid=804522] ppid=804517 vsize=19108176 memory=0 CPUtime=12.02 cores=5,7
/proc/804520/task/804522/stat : 804522 (java) R 804517 804520 802425 0 -1 4194368 8263 0 0 0 1196 6 0 0 20 0 20 0 157627632 19566772224 209373 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
[pid=804520/tid=804531] ppid=804517 vsize=19108176 memory=12312 CPUtime=0 cores=5,7
/proc/804520/task/804531/stat : 804531 (Finalizer) S 804517 804520 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157627634 19566772224 209373 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
[pid=804520/tid=804538] ppid=804517 vsize=19108176 memory=730716 CPUtime=0 cores=5,7
/proc/804520/task/804538/stat : 804538 (Common-Cleaner) S 804517 804520 802425 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 157627635 19566772224 209373 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
[pid=804520/tid=804539] ppid=804517 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/804520/task/804539/stat : 804539 (Timer-0) S 804517 804520 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157627655 19566772224 209373 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
Current children cumulated CPU time: 13.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 837492 KiB

[startup+25.5003 s]
/proc/loadavg: 4.48 4.31 4.20 5/332 804681
/proc/meminfo: memFree=122181884/131524600 swapFree=131071996/131071996
[pid=804520] ppid=804517 vsize=19108176 memory=1496488 CPUtime=27.19 cores=5,7
/proc/804520/stat : 804520 (java) S 804517 804520 802425 0 -1 1077936128 23490 0 0 0 2688 31 0 0 20 0 20 0 157627632 19566772224 374122 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
/proc/804520/statm: 4777044 374122 5965 1 0 855417 0
[pid=804520/tid=804522] ppid=804517 vsize=19108176 memory=40256 CPUtime=24.27 cores=5,7
/proc/804520/task/804522/stat : 804522 (java) R 804517 804520 802425 0 -1 4194368 9284 0 0 0 2419 8 0 0 20 0 20 0 157627632 19566772224 374122 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
[pid=804520/tid=804531] ppid=804517 vsize=19108176 memory=1437096 CPUtime=0 cores=5,7
/proc/804520/task/804531/stat : 804531 (Finalizer) S 804517 804520 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157627634 19566772224 374122 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
[pid=804520/tid=804538] ppid=804517 vsize=19108176 memory=1324392 CPUtime=0 cores=5,7
/proc/804520/task/804538/stat : 804538 (Common-Cleaner) S 804517 804520 802425 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 157627635 19566772224 374122 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
[pid=804520/tid=804539] ppid=804517 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/804520/task/804539/stat : 804539 (Timer-0) S 804517 804520 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157627655 19566772224 374122 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
Current children cumulated CPU time: 27.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1496488 KiB

[startup+51.1063 s]
/proc/loadavg: 4.53 4.33 4.20 5/332 804684
/proc/meminfo: memFree=116849100/131524600 swapFree=131071996/131071996
[pid=804520] ppid=804517 vsize=19108176 memory=2557160 CPUtime=53.8 cores=5,7
/proc/804520/stat : 804520 (java) S 804517 804520 802425 0 -1 1077936128 37881 0 0 0 5325 55 0 0 20 0 20 0 157627632 19566772224 639290 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
/proc/804520/statm: 4777044 639290 5965 1 0 985215 0
[pid=804520/tid=804522] ppid=804517 vsize=19108176 memory=2433996 CPUtime=48.78 cores=5,7
/proc/804520/task/804522/stat : 804522 (java) R 804517 804520 802425 0 -1 4194368 10753 0 0 0 4867 11 0 0 20 0 20 0 157627632 19566772224 639290 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0

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

/proc/804520/task/804531/stat : 804531 (Finalizer) S 804517 804520 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157627634 19566772224 3581641 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
[pid=804520/tid=804538] ppid=804517 vsize=19108176 memory=12316 CPUtime=0 cores=5,7
/proc/804520/task/804538/stat : 804538 (Common-Cleaner) S 804517 804520 802425 0 -1 1077936192 1252 0 0 0 0 0 0 0 20 0 20 0 157627635 19566772224 3581641 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
[pid=804520/tid=804539] ppid=804517 vsize=19108176 memory=40644 CPUtime=0 cores=5,7
/proc/804520/task/804539/stat : 804539 (Timer-0) S 804517 804520 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157627655 19566772224 3581641 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
Current children cumulated CPU time: 3203.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14326564 KiB

[startup+3162.3 s]
/proc/loadavg: 4.28 4.36 4.35 5/334 806433
/proc/meminfo: memFree=76893924/131524600 swapFree=131071996/131071996
[pid=804520] ppid=804517 vsize=19108176 memory=14326564 CPUtime=3265.28 cores=5,7
/proc/804520/stat : 804520 (java) S 804517 804520 802425 0 -1 1077936128 458970 0 0 0 326106 422 0 0 20 0 20 0 157627632 19566772224 3581641 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
/proc/804520/statm: 4777044 3581641 5978 1 0 4049483 0
[pid=804520/tid=804522] ppid=804517 vsize=19108176 memory=14326560 CPUtime=3058.63 cores=5,7
/proc/804520/task/804522/stat : 804522 (java) R 804517 804520 802425 0 -1 4194368 100124 0 0 0 305801 62 0 0 20 0 20 0 157627632 19566772224 3581641 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 7 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
[pid=804520/tid=804531] ppid=804517 vsize=19108176 memory=14326564 CPUtime=0 cores=5,7
/proc/804520/task/804531/stat : 804531 (Finalizer) S 804517 804520 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157627634 19566772224 3581641 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
[pid=804520/tid=804538] ppid=804517 vsize=19108176 memory=40644 CPUtime=0 cores=5,7
/proc/804520/task/804538/stat : 804538 (Common-Cleaner) S 804517 804520 802425 0 -1 1077936192 1354 0 0 0 0 0 0 0 20 0 20 0 157627635 19566772224 3581641 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
[pid=804520/tid=804539] ppid=804517 vsize=19108176 memory=12316 CPUtime=0 cores=5,7
/proc/804520/task/804539/stat : 804539 (Timer-0) S 804517 804520 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157627655 19566772224 3581641 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
Current children cumulated CPU time: 3265.28 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14326564 KiB

[startup+3222.3 s]
/proc/loadavg: 4.30 4.35 4.35 5/330 806444
/proc/meminfo: memFree=76354004/131524600 swapFree=131071996/131071996
[pid=804520] ppid=804517 vsize=19108176 memory=14326628 CPUtime=3326.33 cores=5,7
/proc/804520/stat : 804520 (java) S 804517 804520 802425 0 -1 1077936128 461090 0 0 0 332209 424 0 0 20 0 20 0 157627632 19566772224 3581657 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
/proc/804520/statm: 4777044 3581657 5978 1 0 4049483 0
[pid=804520/tid=804522] ppid=804517 vsize=19108176 memory=12312 CPUtime=3117.18 cores=5,7
/proc/804520/task/804522/stat : 804522 (java) R 804517 804520 802425 0 -1 4194368 101214 0 0 0 311656 62 0 0 20 0 20 0 157627632 19566772224 3581657 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
[pid=804520/tid=804531] ppid=804517 vsize=19108176 memory=14326628 CPUtime=0 cores=5,7
/proc/804520/task/804531/stat : 804531 (Finalizer) S 804517 804520 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157627634 19566772224 3581657 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
[pid=804520/tid=804538] ppid=804517 vsize=19108176 memory=12316 CPUtime=0 cores=5,7
/proc/804520/task/804538/stat : 804538 (Common-Cleaner) S 804517 804520 802425 0 -1 1077936192 1354 0 0 0 0 0 0 0 20 0 20 0 157627635 19566772224 3581657 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
[pid=804520/tid=804539] ppid=804517 vsize=19108176 memory=40644 CPUtime=0 cores=5,7
/proc/804520/task/804539/stat : 804539 (Timer-0) S 804517 804520 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157627655 19566772224 3581657 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
Current children cumulated CPU time: 3326.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14326628 KiB

[startup+3282.3 s]
/proc/loadavg: 4.33 4.36 4.36 5/330 806455
/proc/meminfo: memFree=75981108/131524600 swapFree=131071996/131071996
[pid=804520] ppid=804517 vsize=19108176 memory=14468428 CPUtime=3391.61 cores=5,7
/proc/804520/stat : 804520 (java) S 804517 804520 802425 0 -1 1077936128 485516 0 0 0 338730 431 0 0 20 0 20 0 157627632 19566772224 3617107 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
/proc/804520/statm: 4777044 3617107 5994 1 0 4084996 0
[pid=804520/tid=804522] ppid=804517 vsize=19108176 memory=5492 CPUtime=3174.98 cores=5,7
/proc/804520/task/804522/stat : 804522 (java) R 804517 804520 802425 0 -1 4194368 104058 0 0 0 317434 64 0 0 20 0 20 0 157627632 19566772224 3617107 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 8 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
[pid=804520/tid=804531] ppid=804517 vsize=19108176 memory=40644 CPUtime=0 cores=5,7
/proc/804520/task/804531/stat : 804531 (Finalizer) S 804517 804520 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157627634 19566772224 3617107 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
[pid=804520/tid=804538] ppid=804517 vsize=19108176 memory=14468428 CPUtime=0 cores=5,7
/proc/804520/task/804538/stat : 804538 (Common-Cleaner) S 804517 804520 802425 0 -1 1077936192 1354 0 0 0 0 0 0 0 20 0 20 0 157627635 19566772224 3617107 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
[pid=804520/tid=804539] ppid=804517 vsize=19108176 memory=-8672918481610842812 CPUtime=0 cores=5,7
/proc/804520/task/804539/stat : 804539 (Timer-0) S 804517 804520 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157627655 19566772224 3617107 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
Current children cumulated CPU time: 3391.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14468428 KiB

[startup+3342.3 s]
/proc/loadavg: 4.71 4.45 4.39 5/331 806533
/proc/meminfo: memFree=84165864/131524600 swapFree=131071996/131071996
[pid=804520] ppid=804517 vsize=19108176 memory=14468516 CPUtime=3452.84 cores=5,7
/proc/804520/stat : 804520 (java) S 804517 804520 802425 0 -1 1077936128 492974 0 0 0 344851 433 0 0 20 0 20 0 157627632 19566772224 3617129 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
/proc/804520/statm: 4777044 3617129 5994 1 0 4084996 0
[pid=804520/tid=804522] ppid=804517 vsize=19108176 memory=7556 CPUtime=3233.18 cores=5,7
/proc/804520/task/804522/stat : 804522 (java) R 804517 804520 802425 0 -1 4194368 106105 0 0 0 323254 64 0 0 20 0 20 0 157627632 19566772224 3617129 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
[pid=804520/tid=804531] ppid=804517 vsize=19108176 memory=14468512 CPUtime=0 cores=5,7
/proc/804520/task/804531/stat : 804531 (Finalizer) S 804517 804520 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157627634 19566772224 3617129 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
[pid=804520/tid=804538] ppid=804517 vsize=19108176 memory=14468516 CPUtime=0 cores=5,7
/proc/804520/task/804538/stat : 804538 (Common-Cleaner) S 804517 804520 802425 0 -1 1077936192 1355 0 0 0 0 0 0 0 20 0 20 0 157627635 19566772224 3617129 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
[pid=804520/tid=804539] ppid=804517 vsize=19108176 memory=14468516 CPUtime=0 cores=5,7
/proc/804520/task/804539/stat : 804539 (Timer-0) S 804517 804520 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157627655 19566772224 3617129 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
Current children cumulated CPU time: 3452.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14468516 KiB

[startup+3402.3 s]
/proc/loadavg: 4.46 4.43 4.38 5/331 806543
/proc/meminfo: memFree=76837880/131524600 swapFree=131071996/131071996
[pid=804520] ppid=804517 vsize=19108176 memory=14468516 CPUtime=3513.99 cores=5,7
/proc/804520/stat : 804520 (java) S 804517 804520 802425 0 -1 1077936128 495438 0 0 0 350964 435 0 0 20 0 20 0 157627632 19566772224 3617129 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
/proc/804520/statm: 4777044 3617129 5994 1 0 4084996 0
[pid=804520/tid=804522] ppid=804517 vsize=19108176 memory=14468512 CPUtime=3291.7 cores=5,7
/proc/804520/task/804522/stat : 804522 (java) R 804517 804520 802425 0 -1 4194368 107102 0 0 0 329106 64 0 0 20 0 20 0 157627632 19566772224 3617129 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
[pid=804520/tid=804531] ppid=804517 vsize=19108176 memory=14468516 CPUtime=0 cores=5,7
/proc/804520/task/804531/stat : 804531 (Finalizer) S 804517 804520 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157627634 19566772224 3617129 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
[pid=804520/tid=804538] ppid=804517 vsize=19108176 memory=14468516 CPUtime=0 cores=5,7
/proc/804520/task/804538/stat : 804538 (Common-Cleaner) S 804517 804520 802425 0 -1 1077936192 1402 0 0 0 0 0 0 0 20 0 20 0 157627635 19566772224 3617129 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
[pid=804520/tid=804539] ppid=804517 vsize=19108176 memory=14468516 CPUtime=0 cores=5,7
/proc/804520/task/804539/stat : 804539 (Timer-0) S 804517 804520 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157627655 19566772224 3617129 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
Current children cumulated CPU time: 3513.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14468516 KiB

[startup+3462.3 s]
/proc/loadavg: 4.50 4.46 4.40 5/334 806559
/proc/meminfo: memFree=73565356/131524600 swapFree=131071996/131071996
[pid=804520] ppid=804517 vsize=19108176 memory=14468516 CPUtime=3575.27 cores=5,7
/proc/804520/stat : 804520 (java) S 804517 804520 802425 0 -1 1077936128 497713 0 0 0 357089 438 0 0 20 0 20 0 157627632 19566772224 3617129 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
/proc/804520/statm: 4777044 3617129 5994 1 0 4084996 0
[pid=804520/tid=804522] ppid=804517 vsize=19108176 memory=14468512 CPUtime=3350.1 cores=5,7
/proc/804520/task/804522/stat : 804522 (java) R 804517 804520 802425 0 -1 4194368 108068 0 0 0 334945 65 0 0 20 0 20 0 157627632 19566772224 3617129 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
[pid=804520/tid=804531] ppid=804517 vsize=19108176 memory=14468516 CPUtime=0 cores=5,7
/proc/804520/task/804531/stat : 804531 (Finalizer) S 804517 804520 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157627634 19566772224 3617129 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
[pid=804520/tid=804538] ppid=804517 vsize=19108176 memory=14468516 CPUtime=0 cores=5,7
/proc/804520/task/804538/stat : 804538 (Common-Cleaner) S 804517 804520 802425 0 -1 1077936192 1402 0 0 0 0 0 0 0 20 0 20 0 157627635 19566772224 3617129 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
[pid=804520/tid=804539] ppid=804517 vsize=19108176 memory=12316 CPUtime=0 cores=5,7
/proc/804520/task/804539/stat : 804539 (Timer-0) S 804517 804520 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157627655 19566772224 3617129 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
Current children cumulated CPU time: 3575.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14468516 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3486.4 s]
/proc/loadavg: 4.46 4.46 4.40 5/334 806632
/proc/meminfo: memFree=79053960/131524600 swapFree=131071996/131071996
[pid=804520] ppid=804517 vsize=19108176 memory=14468516 CPUtime=3600 cores=5,7
/proc/804520/stat : 804520 (java) S 804517 804520 802425 0 -1 1077936128 498207 0 0 0 359562 438 0 0 20 0 20 0 157627632 19566772224 3617129 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
/proc/804520/statm: 4777044 3617129 5994 1 0 4084996 0
[pid=804520/tid=804522] ppid=804517 vsize=19108176 memory=12316 CPUtime=3373.44 cores=5,7
/proc/804520/task/804522/stat : 804522 (java) R 804517 804520 802425 0 -1 4194368 108272 0 0 0 337279 65 0 0 20 0 20 0 157627632 19566772224 3617129 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
[pid=804520/tid=804531] ppid=804517 vsize=19108176 memory=15976 CPUtime=0 cores=5,7
/proc/804520/task/804531/stat : 804531 (Finalizer) S 804517 804520 802425 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157627634 19566772224 3617129 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
[pid=804520/tid=804538] ppid=804517 vsize=19108176 memory=2220 CPUtime=0 cores=5,7
/proc/804520/task/804538/stat : 804538 (Common-Cleaner) S 804517 804520 802425 0 -1 1077936192 1403 0 0 0 0 0 0 0 20 0 20 0 157627635 19566772224 3617129 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
[pid=804520/tid=804539] ppid=804517 vsize=19108176 memory=-8745256442523919036 CPUtime=0 cores=5,7
/proc/804520/task/804539/stat : 804539 (Timer-0) S 804517 804520 802425 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157627655 19566772224 3617129 134679101440 93838516346880 93838516350576 140731141099120 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93838516358392 93838516359184 93838522126336 140731141104647 140731141104737 140731141104737 140731141111752 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 14468516 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.93 s, system=4.43076 s

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

[startup+3486.6 s]*
/proc/loadavg: 4.46 4.46 4.40 6/316 806635
/proc/meminfo: memFree=91607760/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3486.61
CPU time (s): 3600.36
CPU user time (s): 3595.93
CPU system time (s): 4.43076
CPU usage (%): 103.262
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 14469216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.93
system time used= 4.43076
maximum resident set size= 14470088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 501284
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 118590
involuntary context switches= 21878


# summary of solver processes directly reported to runsolver:
#   pid: 804520
#   total CPU time (s): 3600.36
#   total CPU user time (s): 3595.93
#   total CPU system time (s): 4.43076

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.0942 second user time and 13.2858 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2024-07-15 16:43:11
IDJOB=4432303
IDBENCH=146648
IDSOLVER=3058
FILE ID=nodeC033/4432303-1721054579
RUNJOBID= nodeC033-1721051003-802438
SLURM_JOB_ID= 7505484
Free space on /tmp= 890068 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-4.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432303-1721054579/watcher-4432303-1721054579 -o /tmp/evaluation-result-4432303-1721054579/solver-4432303-1721054579 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721051003-802438 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432303-1721054579.opb

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

MD5SUM BENCH= a0ea3bcd614a437876ff794ba0a9b553
RANDOM SEED=231244553

nodeC033.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.852
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.50
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		: 3633.306
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		: 3665.305
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.50
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		: 3680.040
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		: 3665.358
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.50
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		: 3649.303
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.988
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.50
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		: 3652.470
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:        121322832 kB
MemAvailable:   124155528 kB
Buffers:          370688 kB
Cached:          3269168 kB
SwapCached:            0 kB
Active:           603048 kB
Inactive:        8930688 kB
Active(anon):       1556 kB
Inactive(anon):  5930016 kB
Active(file):     601492 kB
Inactive(file):  3000672 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              4044 kB
Writeback:           144 kB
AnonPages:       5890928 kB
Mapped:           123708 kB
Shmem:             37716 kB
KReclaimable:     140360 kB
Slab:             251100 kB
SReclaimable:     140360 kB
SUnreclaim:       110740 kB
KernelStack:        5040 kB
PageTables:        21708 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    9637440 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            60320 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5597184 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:      256724 kB
DirectMap2M:    25731072 kB
DirectMap1G:    110100480 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC033 at 2024-07-15 17:41:18