Trace number 4432524

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)-25 3600.5 3595.45

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/
opb/normalized-graphpart_2pm-0066-0066.lin.opb
MD5SUMf8aad9764d6c8bddbc050c5a2fe0206c
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 benchmark-29
Best CPU time to get the best result obtained on this benchmark0.145408
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables324
Total number of constraints468
Number of constraints which are clauses216
Number of constraints which are cardinality constraints (but not clauses)36
Number of constraints which are nor clauses,nor cardinality constraints216
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 216
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 216
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 216
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.12/0.12	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.12/0.12	c This is free software under the dual EPL/GNU LGPL licenses.
0.12/0.12	c See www.sat4j.org for details.
0.12/0.13	c version CUSTOM.v20240707
0.12/0.16	c java.runtime.name	OpenJDK Runtime Environment
0.12/0.16	c java.vm.name		OpenJDK 64-Bit Server VM
0.12/0.16	c java.vm.version	22.0.1+8-16
0.12/0.16	c java.vm.vendor	Oracle Corporation
0.12/0.16	c sun.arch.data.model	64
0.12/0.16	c java.version		22.0.1
0.12/0.16	c os.name		Linux
0.12/0.16	c os.version		4.18.0-301.1.el8.x86_64
0.12/0.16	c os.arch		amd64
0.12/0.16	c Free memory 		2115194816
0.12/0.16	c Max memory 		16282288128
0.12/0.16	c Total memory 		2122317824
0.12/0.17	c Number of processors 	2
0.28/0.26	--- Begin Solver configuration ---
0.28/0.26	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.28/0.26	Learn all clauses as in MiniSAT
0.28/0.26	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.28/0.26	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.28/0.26	No reason simplification
0.28/0.26	Glucose 2.1 dynamic restart strategy
0.28/0.26	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.28/0.26	timeout=2147483s
0.28/0.26	DB Simplification allowed=false
0.28/0.26	Listener: none
0.28/0.26	--- End Solver configuration ---
0.28/0.28	c Pseudo Boolean Optimization by upper bound
0.28/0.28	c --- Begin Solver configuration ---
0.28/0.28	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.28/0.28	c Learn all clauses as in MiniSAT
0.28/0.28	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.28/0.28	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.28/0.28	c No reason simplification
0.28/0.28	c Glucose 2.1 dynamic restart strategy
0.28/0.28	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.28/0.28	c timeout=2147483s
0.28/0.28	c DB Simplification allowed=false
0.28/0.28	c Listener: none
0.28/0.28	c --- End Solver configuration ---
0.28/0.28	c solving HOME/instance-4432524-1721170354.opb
0.28/0.28	c reading problem ... 
0.28/0.28	c  objective function found
0.47/0.38	c ... done. Wall clock time 0.1s.
0.47/0.38	c declared #vars     324
0.47/0.38	c #constraints  504
0.47/0.38	c constraints type 
0.47/0.38	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 36
0.47/0.38	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 216
0.47/0.38	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 252
0.47/0.38	c 504 constraints processed.
0.47/0.41	c objective function length is 216 literals
0.47/0.41	c SATISFIABLE
0.47/0.41	c OPTIMIZING...
0.47/0.41	c Got one! Elapsed wall clock time (in seconds):0.142
0.47/0.42	o -25
1.77/1.08	c cleaning 2501 clauses out of 5002 with flag 11222/5002
2.75/1.50	c cleaning 4246 clauses out of 8499 with flag 23844/11000
3.12/1.75	c cleaning 5627 clauses out of 11253 with flag 38563/18000
3.52/2.05	c cleaning 6811 clauses out of 13628 with flag 55208/26002
3.95/2.36	c cleaning 7905 clauses out of 15815 with flag 74047/35000
4.35/2.70	c cleaning 8957 clauses out of 17913 with flag 94907/45003
4.77/3.09	c cleaning 9975 clauses out of 19953 with flag 117800/56000
5.16/3.50	c cleaning 10989 clauses out of 21979 with flag 142817/68001
5.66/3.94	c cleaning 11995 clauses out of 23989 with flag 169892/81000
6.26/4.57	c cleaning 12997 clauses out of 25994 with flag 199083/95000
6.95/5.29	c cleaning 13997 clauses out of 27997 with flag 230347/110000
8.27/6.59	c cleaning 14998 clauses out of 30000 with flag 263753/126000
9.31/7.45	c cleaning 15995 clauses out of 32002 with flag 299222/143000
10.21/8.33	c cleaning 17003 clauses out of 34007 with flag 336692/161000
11.02/9.16	c cleaning 17999 clauses out of 36004 with flag 376300/180000
12.02/10.17	c cleaning 19000 clauses out of 38005 with flag 417928/200000
13.10/11.24	c cleaning 20003 clauses out of 40006 with flag 461687/221001
14.40/12.54	c cleaning 21001 clauses out of 42002 with flag 507840/243000
15.40/13.54	c cleaning 21999 clauses out of 44003 with flag 556059/266002
16.51/14.69	c cleaning 23002 clauses out of 46003 with flag 606631/290001
17.70/15.89	c cleaning 23997 clauses out of 48000 with flag 659293/315000
19.31/17.48	c cleaning 24997 clauses out of 50004 with flag 714368/341001
20.81/18.90	c cleaning 26002 clauses out of 52007 with flag 770529/368001
22.23/20.37	c cleaning 27002 clauses out of 54004 with flag 828801/396000
23.87/21.90	c cleaning 27998 clauses out of 56003 with flag 889486/425001
25.78/23.80	c cleaning 29000 clauses out of 58004 with flag 952413/455000
27.38/25.46	c cleaning 30002 clauses out of 60004 with flag 1017067/486000
29.28/27.33	c cleaning 31002 clauses out of 62003 with flag 1083048/518001
31.17/29.28	c cleaning 32000 clauses out of 64002 with flag 1152513/551002
33.29/31.39	c cleaning 33001 clauses out of 66001 with flag 1225080/585001
35.20/33.29	c cleaning 33999 clauses out of 68002 with flag 1299926/620003
37.89/36.00	c cleaning 34997 clauses out of 70000 with flag 1376059/656000
40.85/38.82	c cleaning 36002 clauses out of 72003 with flag 1457754/693000
43.65/41.65	c cleaning 36997 clauses out of 74002 with flag 1537622/731001
46.88/44.62	c cleaning 38001 clauses out of 76005 with flag 1619440/770001
49.99/47.71	c cleaning 39002 clauses out of 78004 with flag 1702761/810001
52.79/50.59	c cleaning 39998 clauses out of 80001 with flag 1788831/851000
55.40/53.15	c cleaning 40996 clauses out of 82004 with flag 1878514/893001
58.50/56.26	c cleaning 41998 clauses out of 84007 with flag 1968720/936000
61.40/59.19	c cleaning 43002 clauses out of 86009 with flag 2061460/980000
64.69/62.43	c cleaning 44006 clauses out of 88011 with flag 2155622/1025004
67.99/65.71	c cleaning 44997 clauses out of 90002 with flag 2252910/1071001
71.09/68.83	c cleaning 46003 clauses out of 92005 with flag 2352378/1118001
74.58/72.32	c cleaning 46996 clauses out of 94002 with flag 2452440/1166001
77.57/75.33	c cleaning 47999 clauses out of 96006 with flag 2554532/1215001
80.46/78.30	c cleaning 49001 clauses out of 98006 with flag 2658853/1265000
83.87/81.66	c cleaning 49999 clauses out of 100005 with flag 2765424/1316000
87.18/84.97	c cleaning 51000 clauses out of 102006 with flag 2874076/1368000
90.87/88.65	c cleaning 52002 clauses out of 104006 with flag 2984385/1421000
94.97/92.70	c cleaning 52999 clauses out of 106004 with flag 3096495/1475000
98.56/96.30	c cleaning 54000 clauses out of 108006 with flag 3211111/1530001
103.30/101.07	c cleaning 55001 clauses out of 110006 with flag 3327720/1586001
110.47/108.29	c cleaning 56002 clauses out of 112004 with flag 3451173/1643000
117.68/115.42	c cleaning 57000 clauses out of 114004 with flag 3577714/1701002
123.29/121.04	c cleaning 58001 clauses out of 116002 with flag 3701949/1760000
129.34/127.06	c cleaning 59000 clauses out of 118003 with flag 3830697/1820002
134.21/131.93	c cleaning 60000 clauses out of 120001 with flag 3964600/1881000
139.54/137.26	c cleaning 60993 clauses out of 122001 with flag 4099098/1943000
144.53/142.20	c cleaning 62003 clauses out of 124010 with flag 4230355/2006002
150.12/147.81	c cleaning 63002 clauses out of 126005 with flag 4364208/2070000
156.93/154.62	c cleaning 64000 clauses out of 128003 with flag 4500384/2135000
164.25/161.90	c cleaning 64995 clauses out of 130003 with flag 4646201/2201000
172.13/169.84	c cleaning 65996 clauses out of 132008 with flag 4796906/2268000
178.53/176.26	c cleaning 67007 clauses out of 134013 with flag 4939669/2336001
187.01/184.71	c cleaning 68001 clauses out of 136006 with flag 5084875/2405001
194.00/191.66	c cleaning 69000 clauses out of 138007 with flag 5231443/2475003
201.50/199.13	c cleaning 70000 clauses out of 140005 with flag 5378709/2546001
210.87/208.57	c cleaning 70996 clauses out of 142004 with flag 5528970/2618000
220.83/217.86	c cleaning 71999 clauses out of 144008 with flag 5681086/2691000
229.81/226.87	c cleaning 72999 clauses out of 146009 with flag 5836172/2765000
236.52/233.50	c cleaning 74002 clauses out of 148010 with flag 5993551/2840000
253.50/250.57	c cleaning 75001 clauses out of 150009 with flag 6160892/2916001
262.23/259.29	c cleaning 75998 clauses out of 152009 with flag 6330564/2993002
269.13/266.12	c cleaning 77005 clauses out of 154009 with flag 6493210/3071000
275.64/272.62	c cleaning 77999 clauses out of 156005 with flag 6659221/3150001
284.93/281.95	c cleaning 78996 clauses out of 158006 with flag 6832774/3230001
296.85/293.89	c cleaning 80005 clauses out of 160012 with flag 7015573/3311003
304.94/301.95	c cleaning 81001 clauses out of 162007 with flag 7200664/3393003
315.55/312.52	c cleaning 82000 clauses out of 164003 with flag 7389009/3476000
323.99/320.97	c cleaning 82998 clauses out of 166003 with flag 7570453/3560000
333.28/330.21	c cleaning 84002 clauses out of 168006 with flag 7753410/3645001
340.97/337.97	c cleaning 84994 clauses out of 170003 with flag 7940598/3731000
351.85/348.76	c cleaning 86006 clauses out of 172011 with flag 8128489/3818002
362.42/359.32	c cleaning 86996 clauses out of 174003 with flag 8315681/3906000
372.29/369.14	c cleaning 88004 clauses out of 176008 with flag 8507715/3995001
382.46/379.32	c cleaning 88998 clauses out of 178003 with flag 8703625/4085000
395.27/392.15	c cleaning 89995 clauses out of 180005 with flag 8896828/4176000
405.73/402.64	c cleaning 91004 clauses out of 182011 with flag 9093644/4268001
419.14/415.44	c cleaning 92000 clauses out of 184006 with flag 9292977/4361000
431.75/428.10	c cleaning 93001 clauses out of 186007 with flag 9492816/4455001
442.93/439.29	c cleaning 94003 clauses out of 188005 with flag 9694729/4550000
454.11/450.49	c cleaning 94995 clauses out of 190002 with flag 9899916/4646000
465.91/462.28	c cleaning 96000 clauses out of 192007 with flag 10110324/4743000
478.59/474.95	c cleaning 97002 clauses out of 194007 with flag 10323943/4841000
491.37/487.77	c cleaning 98001 clauses out of 196006 with flag 10542853/4940001
505.56/501.98	c cleaning 98992 clauses out of 198004 with flag 10770156/5040000
515.76/512.15	c cleaning 100007 clauses out of 200015 with flag 10999114/5141003
525.69/522.03	c cleaning 100999 clauses out of 202006 with flag 11233688/5243001
537.27/533.62	c cleaning 102002 clauses out of 204008 with flag 11467703/5346002
548.96/545.39	c cleaning 102995 clauses out of 206004 with flag 11708753/5450000
561.42/557.72	c cleaning 103998 clauses out of 208009 with flag 11959318/5555000
574.89/571.29	c cleaning 105003 clauses out of 210012 with flag 12219918/5661001
584.71/581.09	c cleaning 106001 clauses out of 212009 with flag 12469383/5768001
596.62/592.94	c cleaning 107000 clauses out of 214008 with flag 12717828/5876001
607.30/603.66	c cleaning 108001 clauses out of 216007 with flag 12965022/5985000
619.65/616.00	c cleaning 109001 clauses out of 218010 with flag 13219659/6095004
633.92/630.24	c cleaning 109997 clauses out of 220006 with flag 13485623/6206001
646.06/642.34	c cleaning 110999 clauses out of 222009 with flag 13746350/6318001
658.04/654.34	c cleaning 112004 clauses out of 224010 with flag 13995595/6431001
674.36/670.08	c cleaning 113002 clauses out of 226007 with flag 14239903/6545002
686.92/682.63	c cleaning 114002 clauses out of 228005 with flag 14486240/6660002
705.10/700.83	c cleaning 114995 clauses out of 230001 with flag 14739881/6776000
762.80/758.60	c cleaning 115996 clauses out of 232007 with flag 15055284/6893001
810.08/805.87	c cleaning 117002 clauses out of 234010 with flag 15367186/7011000
852.11/847.95	c cleaning 118000 clauses out of 236010 with flag 15665400/7130002
908.99/904.81	c cleaning 119000 clauses out of 238009 with flag 15990773/7250001
931.46/927.38	c cleaning 120003 clauses out of 240009 with flag 16281396/7371001
951.82/947.69	c cleaning 120992 clauses out of 242005 with flag 16559544/7493000
972.87/968.74	c cleaning 122005 clauses out of 244014 with flag 16844478/7616001
990.31/986.12	c cleaning 123001 clauses out of 246008 with flag 17111990/7740000
1012.05/1007.99	c cleaning 124002 clauses out of 248007 with flag 17387291/7865000
1041.04/1036.95	c cleaning 125000 clauses out of 250005 with flag 17689808/7991000
1058.61/1054.59	c cleaning 125995 clauses out of 252007 with flag 17972984/8118002
1077.57/1073.48	c cleaning 127003 clauses out of 254010 with flag 18283751/8246000
1095.14/1091.03	c cleaning 127994 clauses out of 256007 with flag 18565329/8375000
1111.99/1107.88	c cleaning 129005 clauses out of 258014 with flag 18875149/8505001
1128.66/1124.58	c cleaning 130001 clauses out of 260008 with flag 19207079/8636000
1144.21/1140.03	c cleaning 130997 clauses out of 262008 with flag 19524865/8768001
1162.28/1158.19	c cleaning 131997 clauses out of 264010 with flag 19847292/8901000
1181.54/1177.42	c cleaning 133000 clauses out of 266013 with flag 20187690/9035000
1200.66/1196.52	c cleaning 134004 clauses out of 268015 with flag 20501709/9170002
1215.04/1210.90	c cleaning 135001 clauses out of 270009 with flag 20809467/9306000
1232.32/1228.18	c cleaning 136004 clauses out of 272008 with flag 21124386/9443000
1253.96/1249.85	c cleaning 136997 clauses out of 274004 with flag 21469010/9581000
1277.62/1273.43	c cleaning 138004 clauses out of 276007 with flag 21789535/9720000
1326.53/1322.40	c cleaning 138998 clauses out of 278005 with flag 22135981/9860002
1420.11/1416.02	c cleaning 139999 clauses out of 280008 with flag 22532785/10001003
1507.27/1503.32	c cleaning 141004 clauses out of 282007 with flag 22935909/10143001
1561.53/1557.06	c cleaning 141992 clauses out of 284002 with flag 23291062/10286000
1625.17/1620.79	c cleaning 143004 clauses out of 286010 with flag 23662129/10430000
1650.91/1646.55	c cleaning 143997 clauses out of 288006 with flag 23986119/10575000
1680.64/1676.23	c cleaning 145003 clauses out of 290011 with flag 24303305/10721002
1707.91/1703.47	c cleaning 146000 clauses out of 292007 with flag 24615485/10868001
1738.95/1734.58	c cleaning 147005 clauses out of 294011 with flag 24943529/11016005
1769.08/1764.67	c cleaning 147993 clauses out of 296002 with flag 25267006/11165001
1795.33/1791.00	c cleaning 149002 clauses out of 298008 with flag 25588754/11315000
1829.12/1824.78	c cleaning 150002 clauses out of 300006 with flag 25934607/11466000
1852.46/1848.03	c cleaning 151003 clauses out of 302005 with flag 26272649/11618001
1877.00/1872.68	c cleaning 151995 clauses out of 304002 with flag 26606821/11771001
1901.84/1897.40	c cleaning 153001 clauses out of 306006 with flag 26937703/11925000
1935.86/1931.47	c cleaning 154003 clauses out of 308005 with flag 27268220/12080000
1965.51/1961.14	c cleaning 154994 clauses out of 310002 with flag 27601397/12236000
1996.30/1991.94	c cleaning 156001 clauses out of 312008 with flag 27937340/12393000
2027.94/2023.63	c cleaning 157005 clauses out of 314009 with flag 28269847/12551002
2049.27/2044.94	c cleaning 157998 clauses out of 316002 with flag 28608793/12710000
2078.01/2073.74	c cleaning 158996 clauses out of 318005 with flag 28948618/12870001
2108.04/2103.75	c cleaning 160002 clauses out of 320008 with flag 29291155/13031000
2143.78/2139.52	c cleaning 160999 clauses out of 322006 with flag 29639222/13193000
2183.54/2179.28	c cleaning 162003 clauses out of 324011 with flag 29989070/13356004
2214.19/2209.92	c cleaning 163002 clauses out of 326004 with flag 30341930/13520000
2312.39/2307.47	c cleaning 163995 clauses out of 328005 with flag 30763594/13685003
2418.38/2413.66	c cleaning 165004 clauses out of 330007 with flag 31237329/13851000
2540.87/2536.21	c cleaning 165999 clauses out of 332005 with flag 31701918/14018002
2646.93/2642.24	c cleaning 166996 clauses out of 334005 with flag 32125923/14186001
2751.93/2747.45	c cleaning 167997 clauses out of 336009 with flag 32591665/14355001
2793.52/2788.92	c cleaning 169003 clauses out of 338013 with flag 32992845/14525002
2821.69/2817.17	c cleaning 170000 clauses out of 340008 with flag 33372341/14696000
2847.07/2842.50	c cleaning 170999 clauses out of 342008 with flag 33742485/14868000
2874.56/2870.10	c cleaning 172002 clauses out of 344010 with flag 34112407/15041001
2909.77/2905.21	c cleaning 173001 clauses out of 346010 with flag 34496322/15215003
2950.59/2946.07	c cleaning 174002 clauses out of 348008 with flag 34891864/15390002
3059.62/3055.21	c cleaning 174997 clauses out of 350005 with flag 35352955/15566001
3181.90/3177.72	c cleaning 175993 clauses out of 352008 with flag 35840482/15743001
3275.37/3271.20	c cleaning 177007 clauses out of 354014 with flag 36317895/15921000
3308.40/3304.37	c cleaning 178005 clauses out of 356009 with flag 36716768/16100002
3338.15/3334.05	c cleaning 178994 clauses out of 358002 with flag 37109230/16280000
3363.61/3359.56	c cleaning 180000 clauses out of 360009 with flag 37523825/16461001
3395.75/3391.61	c cleaning 181000 clauses out of 362009 with flag 37943450/16643001
3425.51/3421.48	c cleaning 182002 clauses out of 364009 with flag 38339648/16826001
3453.25/3449.02	c cleaning 183000 clauses out of 366006 with flag 38729819/17010000
3482.11/3478.00	c cleaning 184000 clauses out of 368006 with flag 39136322/17195000
3512.44/3507.75	c cleaning 184996 clauses out of 370006 with flag 39540207/17381000
3537.10/3532.40	c cleaning 186004 clauses out of 372012 with flag 39952246/17568002
3563.78/3559.03	c cleaning 187003 clauses out of 374007 with flag 40376232/17756001
3587.95/3583.12	c cleaning 188001 clauses out of 376004 with flag 40789124/17945001
3600.02/3595.22	c starts		: 41983
3600.02/3595.24	c conflicts		: 18022371
3600.02/3595.24	c decisions		: 22544615
3600.02/3595.24	c propagations		: 677044742
3600.02/3595.24	c inspects		: 30680892201
3600.02/3595.24	c shortcuts		: 0
3600.02/3595.24	c learnt literals	: 0
3600.02/3595.24	c learnt binary clauses	: 0
3600.02/3595.24	c learnt ternary clauses	: 0
3600.02/3595.24	c learnt constraints	: 18022371
3600.02/3595.24	c ignored constraints	: 0
3600.02/3595.24	c root simplifications	: 0
3600.02/3595.24	c removed literals (reason simplification)	: 0
3600.02/3595.24	c reason swapping (by a shorter reason)	: 0
3600.02/3595.24	c Calls to reduceDB	: 185
3600.02/3595.24	c Number of update (reduction) of LBD	: 756381
3600.02/3595.24	c Imported unit clauses	: 0
3600.02/3595.24	c No decision after first conflict	: false
3600.02/3595.25	c number of reductions to clauses (during analyze)	: 0
3600.02/3595.25	c number of learned constraints concerned by reduction	: 0
3600.02/3595.25	c number of learning phase by resolution	: 0
3600.02/3595.25	c number of learning phase by cutting planes	: 0
3600.02/3595.25	c number of rounding to 1 operations	: 0
3600.02/3595.25	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3595.25	c number of reductions of the coefficients by power 2 	: 0
3600.02/3595.25	c number of right shift for reduction by power 2 	: 0
3600.02/3595.25	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3595.25	c number of ending skipping 	: 0
3600.02/3595.25	c number of internal skipping 	: 0
3600.02/3595.25	c number of derivation steps 	: 0
3600.02/3595.25	c number of skipped derivation steps 	: 0
3600.02/3595.25	c number of remaining unassigned 	: 0
3600.02/3595.25	c number of remaining assigned 	: 0
3600.02/3595.25	c number of falsified literals weakened from reason	: 0
3600.02/3595.25	c number of falsified literals weakened from conflict	: 0
3600.02/3595.25	c time for arithmetic operations	: 0
3600.02/3595.26	c minimum degree of deleted constraints	: null
3600.02/3595.26	c maximum degree of deleted constraints	: null
3600.02/3595.26	c number of deleted constraints	: 0
3600.02/3595.26	c speed (assignments/second)	: 188337.56819135835
3600.02/3595.26	c non guided choices	: 0
3600.43/3595.43	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 265373
3600.43/3595.43	s SATISFIABLE
3600.43/3595.43	c Found 1 solution(s)
3600.43/3595.43	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 
3600.43/3595.43	c objective function=-25
3600.43/3595.43	c Total wall clock time (in seconds): 3595.157

Verifier Data 

OK	-25

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432524-1721170354/watcher-4432524-1721170354 -o /tmp/evaluation-result-4432524-1721170354/solver-4432524-1721170354 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721162884-861442 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432524-1721170354.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=866543, runsolver pid=866540

[startup+0.104474 s]*
/proc/loadavg: 5.28 4.86 4.48 6/318 866561
/proc/meminfo: memFree=101054468/131655788 swapFree=131071996/131071996
[pid=866543] ppid=866540 vsize=18975048 memory=56096 CPUtime=0.12 cores=5,7
/proc/866543/stat : 866543 (java) S 866540 866543 861429 0 -1 1077936128 6607 0 0 0 10 2 0 0 20 0 18 0 169194986 19430449152 14024 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
/proc/866543/statm: 4743762 14024 5563 1 0 550924 0
[pid=866543/tid=866545] ppid=866540 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=5,7
/proc/866543/task/866545/stat : 866545 (java) R 866540 866543 861429 0 -1 4194368 5558 0 0 0 7 2 0 0 20 0 18 0 169194987 19430449152 14024 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
[pid=866543/tid=866554] ppid=866540 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/866543/task/866554/stat : 866554 (Finalizer) S 866540 866543 861429 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 169194992 19430449152 14024 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
[pid=866543/tid=866561] ppid=866540 vsize=18975048 memory=15817789915191721 CPUtime=0 cores=5,7
/proc/866543/task/866561/stat : 866561 (Common-Cleaner) S 866540 866543 861429 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 169194993 19430449152 14024 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56096 KiB

[startup+0.213859 s]*
/proc/loadavg: 5.28 4.86 4.48 5/318 866561
/proc/meminfo: memFree=101047544/131655788 swapFree=131071996/131071996
[pid=866543] ppid=866540 vsize=18975048 memory=62360 CPUtime=0.28 cores=5,7
/proc/866543/stat : 866543 (java) S 866540 866543 861429 0 -1 1077936128 7189 0 0 0 25 3 0 0 20 0 18 0 169194986 19430449152 15590 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
/proc/866543/statm: 4743762 15590 5552 1 0 551417 0
[pid=866543/tid=866545] ppid=866540 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=5,7
/proc/866543/task/866545/stat : 866545 (java) S 866540 866543 861429 0 -1 1077936192 5777 0 0 0 16 2 0 0 20 0 18 0 169194987 19430449152 15590 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
[pid=866543/tid=866554] ppid=866540 vsize=18975048 memory=671 CPUtime=0 cores=5,7
/proc/866543/task/866554/stat : 866554 (Finalizer) S 866540 866543 861429 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 169194992 19430449152 15590 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
[pid=866543/tid=866561] ppid=866540 vsize=18975048 memory=14697383271339398 CPUtime=0 cores=5,7
/proc/866543/task/866561/stat : 866561 (Common-Cleaner) S 866540 866543 861429 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 169194993 19430449152 15590 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 62360 KiB

[startup+0.312634 s]*
/proc/loadavg: 5.28 4.86 4.48 7/318 866561
/proc/meminfo: memFree=101046624/131655788 swapFree=131071996/131071996
[pid=866543] ppid=866540 vsize=18975048 memory=64500 CPUtime=0.47 cores=5,7
/proc/866543/stat : 866543 (java) S 866540 866543 861429 0 -1 1077936128 7458 0 0 0 43 4 0 0 20 0 18 0 169194986 19430449152 16125 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
/proc/866543/statm: 4743762 16125 5801 1 0 551609 0
[pid=866543/tid=866545] ppid=866540 vsize=18975048 memory=-9176477206255608508 CPUtime=0.28 cores=5,7
/proc/866543/task/866545/stat : 866545 (java) R 866540 866543 861429 0 -1 4194368 5941 0 0 0 25 3 0 0 20 0 18 0 169194987 19430449152 16125 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
[pid=866543/tid=866554] ppid=866540 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/866543/task/866554/stat : 866554 (Finalizer) S 866540 866543 861429 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 169194992 19430449152 16125 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
[pid=866543/tid=866561] ppid=866540 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/866543/task/866561/stat : 866561 (Common-Cleaner) S 866540 866543 861429 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 169194993 19430449152 16125 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64500 KiB

[startup+0.705635 s]
/proc/loadavg: 5.28 4.86 4.48 7/319 866562
/proc/meminfo: memFree=101043268/131655788 swapFree=131071996/131071996
[pid=866543] ppid=866540 vsize=19041612 memory=77640 CPUtime=1.17 cores=5,7
/proc/866543/stat : 866543 (java) S 866540 866543 861429 0 -1 1077936128 10999 0 0 0 112 5 0 0 20 0 19 0 169194986 19498610688 19410 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
/proc/866543/statm: 4760403 19410 5854 1 0 553495 0
[pid=866543/tid=866545] ppid=866540 vsize=19041612 memory=5544 CPUtime=0.62 cores=5,7
/proc/866543/task/866545/stat : 866545 (java) R 866540 866543 861429 0 -1 4194368 6071 0 0 0 59 3 0 0 20 0 19 0 169194987 19498610688 19410 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
[pid=866543/tid=866554] ppid=866540 vsize=19041612 memory=12776 CPUtime=0 cores=5,7
/proc/866543/task/866554/stat : 866554 (Finalizer) S 866540 866543 861429 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 169194992 19498610688 19410 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
[pid=866543/tid=866561] ppid=866540 vsize=19041612 memory=164 CPUtime=0 cores=5,7
/proc/866543/task/866561/stat : 866561 (Common-Cleaner) S 866540 866543 861429 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 169194993 19498610688 19410 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
[pid=866543/tid=866562] ppid=866540 vsize=19041612 memory=117636 CPUtime=0 cores=5,7
/proc/866543/task/866562/stat : 866562 (Timer-0) S 866540 866543 861429 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 169195027 19498610688 19410 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 77640 KiB

[startup+1.50063 s]
/proc/loadavg: 5.28 4.86 4.48 6/319 866562
/proc/meminfo: memFree=101028852/131655788 swapFree=131071996/131071996
[pid=866543] ppid=866540 vsize=19041612 memory=93204 CPUtime=2.75 cores=5,7
/proc/866543/stat : 866543 (java) S 866540 866543 861429 0 -1 1077936128 17096 0 0 0 268 7 0 0 20 0 19 0 169194986 19498610688 23301 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
/proc/866543/statm: 4760403 23301 5870 1 0 555082 0
[pid=866543/tid=866545] ppid=866540 vsize=19041612 memory=12776 CPUtime=1.38 cores=5,7
/proc/866543/task/866545/stat : 866545 (java) R 866540 866543 861429 0 -1 4194368 6252 0 0 0 135 3 0 0 20 0 19 0 169194987 19498610688 23301 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
[pid=866543/tid=866554] ppid=866540 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/866543/task/866554/stat : 866554 (Finalizer) S 866540 866543 861429 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 169194992 19498610688 23301 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
[pid=866543/tid=866561] ppid=866540 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/866543/task/866561/stat : 866561 (Common-Cleaner) S 866540 866543 861429 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 169194993 19498610688 23301 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
[pid=866543/tid=866562] ppid=866540 vsize=19041612 memory=281018368173328 CPUtime=0 cores=5,7
/proc/866543/task/866562/stat : 866562 (Timer-0) S 866540 866543 861429 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 169195027 19498610688 23301 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
Current children cumulated CPU time: 2.75 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 93204 KiB

[startup+3.10663 s]
/proc/loadavg: 5.28 4.86 4.48 5/319 866564
/proc/meminfo: memFree=100920868/131655788 swapFree=131071996/131071996
[pid=866543] ppid=866540 vsize=19041612 memory=126408 CPUtime=4.86 cores=5,7
/proc/866543/stat : 866543 (java) S 866540 866543 861429 0 -1 1077936128 18172 0 0 0 478 8 0 0 20 0 19 0 169194986 19498610688 31602 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
/proc/866543/statm: 4760403 31602 5870 1 0 555113 0
[pid=866543/tid=866545] ppid=866540 vsize=19041612 memory=0 CPUtime=2.97 cores=5,7
/proc/866543/task/866545/stat : 866545 (java) R 866540 866543 861429 0 -1 4194368 6737 0 0 0 293 4 0 0 20 0 19 0 169194987 19498610688 31602 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
[pid=866543/tid=866554] ppid=866540 vsize=19041612 memory=12776 CPUtime=0 cores=5,7
/proc/866543/task/866554/stat : 866554 (Finalizer) S 866540 866543 861429 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 169194992 19498610688 31602 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
[pid=866543/tid=866561] ppid=866540 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/866543/task/866561/stat : 866561 (Common-Cleaner) S 866540 866543 861429 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 169194993 19498610688 31602 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
[pid=866543/tid=866562] ppid=866540 vsize=19041612 memory=11464 CPUtime=0 cores=5,7
/proc/866543/task/866562/stat : 866562 (Timer-0) S 866540 866543 861429 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 169195027 19498610688 31602 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
Current children cumulated CPU time: 4.86 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 126408 KiB

[startup+6.30047 s]
/proc/loadavg: 5.17 4.85 4.47 5/320 866565
/proc/meminfo: memFree=100863364/131655788 swapFree=131071996/131071996
[pid=866543] ppid=866540 vsize=19108176 memory=181360 CPUtime=8.07 cores=5,7
/proc/866543/stat : 866543 (java) S 866540 866543 861429 0 -1 1077936128 19426 0 0 0 797 10 0 0 20 0 20 0 169194986 19566772224 45340 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
/proc/866543/statm: 4777044 45340 5886 1 0 555403 0
[pid=866543/tid=866545] ppid=866540 vsize=19108176 memory=12776 CPUtime=6.12 cores=5,7
/proc/866543/task/866545/stat : 866545 (java) R 866540 866543 861429 0 -1 4194368 6804 0 0 0 607 5 0 0 20 0 20 0 169194987 19566772224 45340 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
[pid=866543/tid=866554] ppid=866540 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/866543/task/866554/stat : 866554 (Finalizer) S 866540 866543 861429 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169194992 19566772224 45340 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
[pid=866543/tid=866561] ppid=866540 vsize=19108176 memory=93204 CPUtime=0 cores=5,7
/proc/866543/task/866561/stat : 866561 (Common-Cleaner) S 866540 866543 861429 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 169194993 19566772224 45340 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
[pid=866543/tid=866562] ppid=866540 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/866543/task/866562/stat : 866562 (Timer-0) S 866540 866543 861429 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169195027 19566772224 45340 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
Current children cumulated CPU time: 8.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 181360 KiB

[startup+12.7005 s]
/proc/loadavg: 5.08 4.84 4.47 5/320 866566
/proc/meminfo: memFree=100848588/131655788 swapFree=131071996/131071996
[pid=866543] ppid=866540 vsize=19108176 memory=196144 CPUtime=14.6 cores=5,7
/proc/866543/stat : 866543 (java) S 866540 866543 861429 0 -1 1077936128 21437 0 0 0 1448 12 0 0 20 0 20 0 169194986 19566772224 49036 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
/proc/866543/statm: 4777044 49036 5886 1 0 555403 0
[pid=866543/tid=866545] ppid=866540 vsize=19108176 memory=0 CPUtime=12.41 cores=5,7
/proc/866543/task/866545/stat : 866545 (java) R 866540 866543 861429 0 -1 4194368 7279 0 0 0 1236 5 0 0 20 0 20 0 169194987 19566772224 49036 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
[pid=866543/tid=866554] ppid=866540 vsize=19108176 memory=-9176477206255608508 CPUtime=0 cores=5,7
/proc/866543/task/866554/stat : 866554 (Finalizer) S 866540 866543 861429 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169194992 19566772224 49036 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
[pid=866543/tid=866561] ppid=866540 vsize=19108176 memory=2216 CPUtime=0 cores=5,7
/proc/866543/task/866561/stat : 866561 (Common-Cleaner) S 866540 866543 861429 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 169194993 19566772224 49036 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
[pid=866543/tid=866562] ppid=866540 vsize=19108176 memory=11464 CPUtime=0 cores=5,7
/proc/866543/task/866562/stat : 866562 (Timer-0) S 866540 866543 861429 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169195027 19566772224 49036 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
Current children cumulated CPU time: 14.6 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 196144 KiB

[startup+25.5005 s]
/proc/loadavg: 5.00 4.83 4.47 5/320 866568
/proc/meminfo: memFree=100443256/131655788 swapFree=131071996/131071996
[pid=866543] ppid=866540 vsize=19108176 memory=296808 CPUtime=27.48 cores=5,7
/proc/866543/stat : 866543 (java) S 866540 866543 861429 0 -1 1077936128 26261 0 0 0 2732 16 0 0 20 0 20 0 169194986 19566772224 74202 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
/proc/866543/statm: 4777044 74202 5892 1 0 555403 0
[pid=866543/tid=866545] ppid=866540 vsize=19108176 memory=11464 CPUtime=24.9 cores=5,7
/proc/866543/task/866545/stat : 866545 (java) R 866540 866543 861429 0 -1 4194368 8539 0 0 0 2484 6 0 0 20 0 20 0 169194987 19566772224 74202 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
[pid=866543/tid=866554] ppid=866540 vsize=19108176 memory=11464 CPUtime=0 cores=5,7
/proc/866543/task/866554/stat : 866554 (Finalizer) S 866540 866543 861429 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169194992 19566772224 74202 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
[pid=866543/tid=866561] ppid=866540 vsize=19108176 memory=181360 CPUtime=0 cores=5,7
/proc/866543/task/866561/stat : 866561 (Common-Cleaner) S 866540 866543 861429 0 -1 1077936192 55 0 0 0 0 0 0 0 20 0 20 0 169194993 19566772224 74202 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
[pid=866543/tid=866562] ppid=866540 vsize=19108176 memory=281018368120112 CPUtime=0 cores=5,7
/proc/866543/task/866562/stat : 866562 (Timer-0) S 866540 866543 861429 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169195027 19566772224 74202 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
Current children cumulated CPU time: 27.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 296808 KiB

[startup+51.1142 s]
/proc/loadavg: 4.80 4.79 4.47 6/320 866571
/proc/meminfo: memFree=100212888/131655788 swapFree=131071996/131071996
[pid=866543] ppid=866540 vsize=19108176 memory=477216 CPUtime=53.4 cores=5,7
/proc/866543/stat : 866543 (java) S 866540 866543 861429 0 -1 1077936128 34081 0 0 0 5319 21 0 0 20 0 20 0 169194986 19566772224 119304 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
/proc/866543/statm: 4777044 119304 5907 1 0 555403 0
[pid=866543/tid=866545] ppid=866540 vsize=19108176 memory=419916 CPUtime=50.06 cores=5,7
/proc/866543/task/866545/stat : 866545 (java) R 866540 866543 861429 0 -1 4194368 10510 0 0 0 5000 6 0 0 20 0 20 0 169194987 19566772224 119304 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
[pid=866543/tid=866554] ppid=866540 vsize=19108176 memory=281018368869760 CPUtime=0 cores=5,7

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

[startup+3282.3 s]
/proc/loadavg: 2.25 3.01 3.75 3/265 868408
/proc/meminfo: memFree=122224888/131655788 swapFree=131071996/131071996
[pid=866543] ppid=866540 vsize=19108176 memory=2496444 CPUtime=3286.44 cores=5,7
/proc/866543/stat : 866543 (java) S 866540 866543 861429 0 -1 1077936128 135179 0 0 0 328404 240 0 0 20 0 20 0 169194986 19566772224 624111 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
/proc/866543/statm: 4777044 624111 5922 1 0 640932 0
[pid=866543/tid=866545] ppid=866540 vsize=19108176 memory=2496444 CPUtime=3263.05 cores=5,7
/proc/866543/task/866545/stat : 866545 (java) R 866540 866543 861429 0 -1 4194368 48605 0 0 0 326285 20 0 0 20 0 20 0 169194987 19566772224 624111 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
[pid=866543/tid=866554] ppid=866540 vsize=19108176 memory=42240 CPUtime=0 cores=5,7
/proc/866543/task/866554/stat : 866554 (Finalizer) S 866540 866543 861429 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169194992 19566772224 624111 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
[pid=866543/tid=866561] ppid=866540 vsize=19108176 memory=-8621784606602739098 CPUtime=0 cores=5,7
/proc/866543/task/866561/stat : 866561 (Common-Cleaner) S 866540 866543 861429 0 -1 1077936192 1676 0 0 0 0 0 0 0 20 0 20 0 169194993 19566772224 624111 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
[pid=866543/tid=866562] ppid=866540 vsize=19108176 memory=37764 CPUtime=0 cores=5,7
/proc/866543/task/866562/stat : 866562 (Timer-0) S 866540 866543 861429 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169195027 19566772224 624111 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
Current children cumulated CPU time: 3286.44 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2496444 KiB

[startup+3342.3 s]
/proc/loadavg: 1.75 2.74 3.61 2/239 868452
/proc/meminfo: memFree=125833080/131655788 swapFree=131071996/131071996
[pid=866543] ppid=866540 vsize=19108176 memory=2496444 CPUtime=3346.43 cores=5,7
/proc/866543/stat : 866543 (java) S 866540 866543 861429 0 -1 1077936128 136284 0 0 0 334400 243 0 0 20 0 20 0 169194986 19566772224 624111 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
/proc/866543/statm: 4777044 624111 5922 1 0 640932 0
[pid=866543/tid=866545] ppid=866540 vsize=19108176 memory=42240 CPUtime=3322.81 cores=5,7
/proc/866543/task/866545/stat : 866545 (java) R 866540 866543 861429 0 -1 4194368 49404 0 0 0 332261 20 0 0 20 0 20 0 169194987 19566772224 624111 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
[pid=866543/tid=866554] ppid=866540 vsize=19108176 memory=42240 CPUtime=0 cores=5,7
/proc/866543/task/866554/stat : 866554 (Finalizer) S 866540 866543 861429 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169194992 19566772224 624111 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
[pid=866543/tid=866561] ppid=866540 vsize=19108176 memory=11464 CPUtime=0 cores=5,7
/proc/866543/task/866561/stat : 866561 (Common-Cleaner) S 866540 866543 861429 0 -1 1077936192 1676 0 0 0 0 0 0 0 20 0 20 0 169194993 19566772224 624111 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
[pid=866543/tid=866562] ppid=866540 vsize=19108176 memory=1832 CPUtime=0 cores=5,7
/proc/866543/task/866562/stat : 866562 (Timer-0) S 866540 866543 861429 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169195027 19566772224 624111 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
Current children cumulated CPU time: 3346.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2496444 KiB

[startup+3402.3 s]
/proc/loadavg: 1.38 2.45 3.46 2/239 868463
/proc/meminfo: memFree=125832792/131655788 swapFree=131071996/131071996
[pid=866543] ppid=866540 vsize=19108176 memory=2496444 CPUtime=3406.44 cores=5,7
/proc/866543/stat : 866543 (java) S 866540 866543 861429 0 -1 1077936128 137570 0 0 0 340398 246 0 0 20 0 20 0 169194986 19566772224 624111 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
/proc/866543/statm: 4777044 624111 5922 1 0 640932 0
[pid=866543/tid=866545] ppid=866540 vsize=19108176 memory=2496444 CPUtime=3382.59 cores=5,7
/proc/866543/task/866545/stat : 866545 (java) R 866540 866543 861429 0 -1 4194368 49723 0 0 0 338239 20 0 0 20 0 20 0 169194987 19566772224 624111 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
[pid=866543/tid=866554] ppid=866540 vsize=19108176 memory=42240 CPUtime=0 cores=5,7
/proc/866543/task/866554/stat : 866554 (Finalizer) S 866540 866543 861429 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169194992 19566772224 624111 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
[pid=866543/tid=866561] ppid=866540 vsize=19108176 memory=5544 CPUtime=0 cores=5,7
/proc/866543/task/866561/stat : 866561 (Common-Cleaner) S 866540 866543 861429 0 -1 1077936192 1723 0 0 0 0 0 0 0 20 0 20 0 169194993 19566772224 624111 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
[pid=866543/tid=866562] ppid=866540 vsize=19108176 memory=2496444 CPUtime=0 cores=5,7
/proc/866543/task/866562/stat : 866562 (Timer-0) S 866540 866543 861429 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169195027 19566772224 624111 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
Current children cumulated CPU time: 3406.44 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2496444 KiB

[startup+3462.3 s]
/proc/loadavg: 1.27 2.22 3.31 2/239 868473
/proc/meminfo: memFree=125832432/131655788 swapFree=131071996/131071996
[pid=866543] ppid=866540 vsize=19108176 memory=2496456 CPUtime=3466.53 cores=5,7
/proc/866543/stat : 866543 (java) S 866540 866543 861429 0 -1 1077936128 138030 0 0 0 346405 248 0 0 20 0 20 0 169194986 19566772224 624114 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
/proc/866543/statm: 4777044 624114 5922 1 0 640932 0
[pid=866543/tid=866545] ppid=866540 vsize=19108176 memory=32144 CPUtime=3442.27 cores=5,7
/proc/866543/task/866545/stat : 866545 (java) R 866540 866543 861429 0 -1 4194368 49864 0 0 0 344207 20 0 0 20 0 20 0 169194987 19566772224 624114 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
[pid=866543/tid=866554] ppid=866540 vsize=19108176 memory=1832 CPUtime=0 cores=5,7
/proc/866543/task/866554/stat : 866554 (Finalizer) S 866540 866543 861429 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169194992 19566772224 624114 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
[pid=866543/tid=866561] ppid=866540 vsize=19108176 memory=2496456 CPUtime=0 cores=5,7
/proc/866543/task/866561/stat : 866561 (Common-Cleaner) S 866540 866543 861429 0 -1 1077936192 1723 0 0 0 0 0 0 0 20 0 20 0 169194993 19566772224 624114 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
[pid=866543/tid=866562] ppid=866540 vsize=19108176 memory=2496456 CPUtime=0 cores=5,7
/proc/866543/task/866562/stat : 866562 (Timer-0) S 866540 866543 861429 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169195027 19566772224 624114 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
Current children cumulated CPU time: 3466.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2496456 KiB

[startup+3522.3 s]
/proc/loadavg: 1.19 2.02 3.17 2/241 868487
/proc/meminfo: memFree=125681928/131655788 swapFree=131071996/131071996
[pid=866543] ppid=866540 vsize=19108176 memory=2646456 CPUtime=3527.02 cores=5,7
/proc/866543/stat : 866543 (java) S 866540 866543 861429 0 -1 1077936128 147541 0 0 0 352446 256 0 0 20 0 20 0 169194986 19566772224 661614 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
/proc/866543/statm: 4777044 661614 5922 1 0 676440 0
[pid=866543/tid=866545] ppid=866540 vsize=19108176 memory=2646456 CPUtime=3502.01 cores=5,7
/proc/866543/task/866545/stat : 866545 (java) R 866540 866543 861429 0 -1 4194368 51906 0 0 0 350178 23 0 0 20 0 20 0 169194987 19566772224 661614 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
[pid=866543/tid=866554] ppid=866540 vsize=19108176 memory=32144 CPUtime=0 cores=5,7
/proc/866543/task/866554/stat : 866554 (Finalizer) S 866540 866543 861429 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169194992 19566772224 661614 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
[pid=866543/tid=866561] ppid=866540 vsize=19108176 memory=-9176477206255608508 CPUtime=0 cores=5,7
/proc/866543/task/866561/stat : 866561 (Common-Cleaner) S 866540 866543 861429 0 -1 1077936192 1725 0 0 0 0 0 0 0 20 0 20 0 169194993 19566772224 661614 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
[pid=866543/tid=866562] ppid=866540 vsize=19108176 memory=2611640 CPUtime=0 cores=5,7
/proc/866543/task/866562/stat : 866562 (Timer-0) S 866540 866543 861429 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169195027 19566772224 661614 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
Current children cumulated CPU time: 3527.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2646456 KiB

[startup+3582.3 s]
/proc/loadavg: 1.10 1.85 3.04 2/241 868498
/proc/meminfo: memFree=125681632/131655788 swapFree=131071996/131071996
[pid=866543] ppid=866540 vsize=19108176 memory=2646532 CPUtime=3587.14 cores=5,7
/proc/866543/stat : 866543 (java) S 866540 866543 861429 0 -1 1077936128 149623 0 0 0 358455 259 0 0 20 0 20 0 169194986 19566772224 661633 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
/proc/866543/statm: 4777044 661633 5922 1 0 676442 0
[pid=866543/tid=866545] ppid=866540 vsize=19108176 memory=2646532 CPUtime=3561.65 cores=5,7
/proc/866543/task/866545/stat : 866545 (java) R 866540 866543 861429 0 -1 4194368 52398 0 0 0 356142 23 0 0 20 0 20 0 169194987 19566772224 661633 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
[pid=866543/tid=866554] ppid=866540 vsize=19108176 memory=2216 CPUtime=0 cores=5,7
/proc/866543/task/866554/stat : 866554 (Finalizer) S 866540 866543 861429 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169194992 19566772224 661633 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
[pid=866543/tid=866561] ppid=866540 vsize=19108176 memory=-9176477206255608508 CPUtime=0 cores=5,7
/proc/866543/task/866561/stat : 866561 (Common-Cleaner) S 866540 866543 861429 0 -1 1077936192 1780 0 0 0 0 0 0 0 20 0 20 0 169194993 19566772224 661633 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
[pid=866543/tid=866562] ppid=866540 vsize=19108176 memory=2646532 CPUtime=0 cores=5,7
/proc/866543/task/866562/stat : 866562 (Timer-0) S 866540 866543 861429 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169195027 19566772224 661633 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
Current children cumulated CPU time: 3587.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2646532 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3595.2 s]
/proc/loadavg: 1.08 1.81 3.01 2/241 868500
/proc/meminfo: memFree=125681540/131655788 swapFree=131071996/131071996
[pid=866543] ppid=866540 vsize=19108176 memory=2646532 CPUtime=3600.02 cores=5,7
/proc/866543/stat : 866543 (java) S 866540 866543 861429 0 -1 1077936128 149642 0 0 0 359743 259 0 0 20 0 20 0 169194986 19566772224 661633 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
/proc/866543/statm: 4777044 661633 5922 1 0 676442 0
[pid=866543/tid=866545] ppid=866540 vsize=19108176 memory=42240 CPUtime=3574.52 cores=5,7
/proc/866543/task/866545/stat : 866545 (java) R 866540 866543 861429 0 -1 4194368 52417 0 0 0 357429 23 0 0 20 0 20 0 169194987 19566772224 661633 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
[pid=866543/tid=866554] ppid=866540 vsize=19108176 memory=2646532 CPUtime=0 cores=5,7
/proc/866543/task/866554/stat : 866554 (Finalizer) S 866540 866543 861429 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 169194992 19566772224 661633 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
[pid=866543/tid=866561] ppid=866540 vsize=19108176 memory=-9176477206255608508 CPUtime=0 cores=5,7
/proc/866543/task/866561/stat : 866561 (Common-Cleaner) S 866540 866543 861429 0 -1 1077936192 1780 0 0 0 0 0 0 0 20 0 20 0 169194993 19566772224 661633 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
[pid=866543/tid=866562] ppid=866540 vsize=19108176 memory=12776 CPUtime=0 cores=5,7
/proc/866543/task/866562/stat : 866562 (Timer-0) S 866540 866543 861429 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 169195027 19566772224 661633 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2646532 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.88 s, system=2.61945 s

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

[startup+3595.41 s]
/proc/loadavg: 1.08 1.81 3.01 2/241 868500
/proc/meminfo: memFree=125681540/131655788 swapFree=131071996/131071996
[pid=866543] ppid=866540 vsize=19307868 memory=2647268 CPUtime=3600.43 cores=5,7
/proc/866543/stat : 866543 (java) S 866540 866543 861429 0 -1 1077936128 152499 0 0 0 359783 260 0 0 20 0 21 0 169194986 19771256832 661817 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
/proc/866543/statm: 4826967 661817 5921 1 0 677361 0
[pid=866543/tid=866545] ppid=866540 vsize=19307868 memory=16116 CPUtime=3574.71 cores=5,7
/proc/866543/task/866545/stat : 866545 (java) R 866540 866543 861429 0 -1 4194368 52521 0 0 0 357448 23 0 0 20 0 21 0 169194987 19771256832 661817 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
[pid=866543/tid=866554] ppid=866540 vsize=19307868 memory=-9176477206255608508 CPUtime=0 cores=5,7
/proc/866543/task/866554/stat : 866554 (Finalizer) S 866540 866543 861429 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 169194992 19771256832 661817 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
[pid=866543/tid=866561] ppid=866540 vsize=19307868 memory=26164 CPUtime=0 cores=5,7
/proc/866543/task/866561/stat : 866561 (Common-Cleaner) S 866540 866543 861429 0 -1 1077936192 1780 0 0 0 0 0 0 0 20 0 21 0 169194993 19771256832 661817 134679101440 94757246459904 94757246463600 140735799766112 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94757246471416 94757246472208 94757279166464 140735799768071 140735799768161 140735799768161 140735799775176 0
Current children cumulated CPU time: 3600.43 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2647268 KiB

Child status: 143

Real time (s): 3595.45
CPU time (s): 3600.5
CPU user time (s): 3597.88
CPU system time (s): 2.61945
CPU usage (%): 100.141
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2647268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.88
system time used= 2.61945
maximum resident set size= 2648172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 152849
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 108708
involuntary context switches= 2927


# summary of solver processes directly reported to runsolver:
#   pid: 866543
#   total CPU time (s): 3600.5
#   total CPU user time (s): 3597.88
#   total CPU system time (s): 2.61945

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.7464 second user time and 35.6753 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2024-07-17 00:52:46
IDJOB=4432524
IDBENCH=158504
IDSOLVER=3058
FILE ID=nodeC009/4432524-1721170354
RUNJOBID= nodeC009-1721162884-861442
SLURM_JOB_ID= 7505781
Free space on /tmp= 723768 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_2pm-0066-0066.lin.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432524-1721170354/watcher-4432524-1721170354 -o /tmp/evaluation-result-4432524-1721170354/solver-4432524-1721170354 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721162884-861442 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432524-1721170354.opb

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

MD5SUM BENCH= f8aad9764d6c8bddbc050c5a2fe0206c
RANDOM SEED=1452464905

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        101090016 kB
MemAvailable:   102678340 kB
Buffers:          446196 kB
Cached:          1967212 kB
SwapCached:            0 kB
Active:           765996 kB
Inactive:       29181272 kB
Active(anon):       1468 kB
Inactive(anon): 27570092 kB
Active(file):     764528 kB
Inactive(file):  1611180 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              1060 kB
Writeback:           136 kB
AnonPages:      27533584 kB
Mapped:           125212 kB
Shmem:             37700 kB
KReclaimable:     105296 kB
Slab:             204432 kB
SReclaimable:     105296 kB
SUnreclaim:        99136 kB
KernelStack:        4880 kB
PageTables:        64192 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   28981788 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            53984 kB
HardwareCorrupted:     0 kB
AnonHugePages:  27013120 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:      187208 kB
DirectMap2M:    19640320 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 723768 MiB
End job on nodeC009 at 2024-07-17 01:52:41